| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.6 | ? (TO) | 1800.08 | 1800.04 |
| Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb |
| MD5SUM | d02d20784bc67f5ad08bddab69f126bc |
| 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 | -81 |
| Best CPU time to get the best result obtained on this benchmark | 0.834872 |
| 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 | 30406 |
| Number of constraints which are clauses | 30406 |
| 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 | 340 |
| 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 | 340 |
| 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-3460138-1307118735.opb. 0.00/0.00 c Instance file HOME/instance-3460138-1307118735.opb 0.00/0.00 c File size is 1007225 bytes. 0.01/0.06 c Highest Coefficient sum: 4 0.01/0.06 c ============================[ Problem Statistics ]============================= 0.01/0.06 c | | 0.01/0.06 c | Parsing time: 0.06 s | 0.01/0.06 c | Number Variables: 2025 | 0.01/0.06 c | Number Clauses: 30406 | 0.01/0.06 c | Number Cardinality: 0 | 0.01/0.06 c | Number PB Constraints: 0 | 0.01/0.06 c ============================[ Search Statistics ]============================== 0.01/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 2025 30406 90048 | 10135 0 -nan | 0.000 % | 0.29/0.38 c core #1 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -338 0.29/0.38 c Current CPU time: 0.072988 s 0.29/0.38 c 0.29/0.38 c core #2 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -337 0.29/0.38 c Current CPU time: 0.079987 s 0.29/0.38 c 0.29/0.38 c core #3 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -336 0.29/0.38 c Current CPU time: 0.086986 s 0.29/0.38 c 0.29/0.38 c core #4 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -335 0.29/0.38 c Current CPU time: 0.093985 s 0.29/0.38 c 0.29/0.38 c core #5 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 3 Total Weight: -332 0.29/0.38 c Current CPU time: 0.100984 s 0.29/0.38 c 0.29/0.38 c core #6 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -331 0.29/0.38 c Current CPU time: 0.107983 s 0.29/0.38 c 0.29/0.38 c core #7 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -329 0.29/0.38 c Current CPU time: 0.114982 s 0.29/0.38 c 0.29/0.38 c core #8 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -328 0.29/0.38 c Current CPU time: 0.122981 s 0.29/0.38 c 0.29/0.38 c core #9 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -327 0.29/0.38 c Current CPU time: 0.12998 s 0.29/0.38 c 0.29/0.38 c core #10 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -326 0.29/0.38 c Current CPU time: 0.137979 s 0.29/0.38 c 0.29/0.38 c core #11 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 3 Total Weight: -323 0.29/0.38 c Current CPU time: 0.144977 s 0.29/0.38 c 0.29/0.38 c core #12 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -322 0.29/0.38 c Current CPU time: 0.152976 s 0.29/0.38 c 0.29/0.38 c core #13 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -321 0.29/0.38 c Current CPU time: 0.159975 s 0.29/0.38 c 0.29/0.38 c core #14 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -320 0.29/0.38 c Current CPU time: 0.167974 s 0.29/0.38 c 0.29/0.38 c core #15 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 3 Total Weight: -317 0.29/0.38 c Current CPU time: 0.174973 s 0.29/0.38 c 0.29/0.38 c core #16 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -316 0.29/0.38 c Current CPU time: 0.182972 s 0.29/0.38 c 0.29/0.38 c core #17 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -315 0.29/0.38 c Current CPU time: 0.189971 s 0.29/0.38 c 0.29/0.38 c core #18 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -314 0.29/0.38 c Current CPU time: 0.197969 s 0.29/0.38 c 0.29/0.38 c core #19 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -313 0.29/0.38 c Current CPU time: 0.204968 s 0.29/0.38 c 0.29/0.38 c core #20 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -312 0.29/0.38 c Current CPU time: 0.211967 s 0.29/0.38 c 0.29/0.38 c core #21 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -311 0.29/0.38 c Current CPU time: 0.219966 s 0.29/0.38 c 0.29/0.38 c core #22 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 3 Total Weight: -308 0.29/0.38 c Current CPU time: 0.226965 s 0.29/0.38 c 0.29/0.38 c core #23 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -307 0.29/0.38 c Current CPU time: 0.234964 s 0.29/0.38 c 0.29/0.38 c core #24 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 2 Total Weight: -305 0.29/0.38 c Current CPU time: 0.242963 s 0.29/0.38 c 0.29/0.38 c core #25 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -304 0.29/0.38 c Current CPU time: 0.249962 s 0.29/0.38 c 0.29/0.38 c core #26 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -302 0.29/0.38 c Current CPU time: 0.25796 s 0.29/0.38 c 0.29/0.38 c core #27 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 4 Total Weight: -298 0.29/0.38 c Current CPU time: 0.264959 s 0.29/0.38 c 0.29/0.38 c core #28 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -296 0.29/0.38 c Current CPU time: 0.272958 s 0.29/0.38 c 0.29/0.38 c core #29 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -295 0.29/0.38 c Current CPU time: 0.279957 s 0.29/0.38 c 0.29/0.38 c core #30 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: -294 0.29/0.38 c Current CPU time: 0.287956 s 0.29/0.38 c 0.29/0.38 c core #31 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: -293 0.29/0.38 c Current CPU time: 0.295955 s 0.29/0.38 c 0.29/0.38 c core #32 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -292 0.29/0.38 c Current CPU time: 0.302953 s 0.29/0.38 c 0.29/0.38 c core #33 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -291 0.29/0.38 c Current CPU time: 0.310952 s 0.29/0.38 c 0.29/0.38 c core #34 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -289 0.29/0.38 c Current CPU time: 0.318951 s 0.29/0.38 c 0.29/0.38 c core #35 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -288 0.29/0.38 c Current CPU time: 0.32595 s 0.29/0.38 c 0.29/0.38 c core #36 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -287 0.29/0.38 c Current CPU time: 0.333949 s 0.29/0.38 c 0.29/0.38 c core #37 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -285 0.29/0.38 c Current CPU time: 0.341948 s 0.29/0.38 c 0.29/0.38 c core #38 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -284 0.29/0.38 c Current CPU time: 0.349946 s 0.29/0.38 c 0.29/0.38 c core #39 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -283 0.29/0.38 c Current CPU time: 0.356945 s 0.29/0.38 c 0.29/0.38 c core #40 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -282 0.29/0.38 c Current CPU time: 0.364944 s 0.29/0.38 c 0.29/0.38 c core #41 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -280 0.29/0.38 c Current CPU time: 0.372943 s 0.29/0.38 c 0.29/0.38 c core #42 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -279 0.69/0.77 c Current CPU time: 0.379942 s 0.69/0.77 c 0.69/0.77 c core #43 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 5 Core Weight: 1 Total Weight: -278 0.69/0.77 c Current CPU time: 0.387941 s 0.69/0.77 c 0.69/0.77 c core #44 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 6 Core Weight: 2 Total Weight: -276 0.69/0.77 c Current CPU time: 0.395939 s 0.69/0.77 c 0.69/0.77 c core #45 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 7 Core Weight: 2 Total Weight: -274 0.69/0.77 c Current CPU time: 0.403938 s 0.69/0.77 c 0.69/0.77 c core #46 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 5 Core Weight: 1 Total Weight: -273 0.69/0.77 c Current CPU time: 0.411937 s 0.69/0.77 c 0.69/0.77 c core #47 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -272 0.69/0.77 c Current CPU time: 0.419936 s 0.69/0.77 c 0.69/0.77 c core #48 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -271 0.69/0.77 c Current CPU time: 0.427934 s 0.69/0.77 c 0.69/0.77 c core #49 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 2 Total Weight: -269 0.69/0.77 c Current CPU time: 0.436933 s 0.69/0.77 c 0.69/0.77 c core #50 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -268 0.69/0.77 c Current CPU time: 0.444932 s 0.69/0.77 c 0.69/0.77 c core #51 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -267 0.69/0.77 c Current CPU time: 0.45393 s 0.69/0.77 c 0.69/0.77 c core #52 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -266 0.69/0.77 c Current CPU time: 0.461929 s 0.69/0.77 c 0.69/0.77 c core #53 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -265 0.69/0.77 c Current CPU time: 0.470928 s 0.69/0.77 c 0.69/0.77 c core #54 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -264 0.69/0.77 c Current CPU time: 0.479927 s 0.69/0.77 c 0.69/0.77 c core #55 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -263 0.69/0.77 c Current CPU time: 0.488925 s 0.69/0.77 c 0.69/0.77 c core #56 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -262 0.69/0.77 c Current CPU time: 0.497924 s 0.69/0.77 c 0.69/0.77 c core #57 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -261 0.69/0.77 c Current CPU time: 0.506922 s 0.69/0.77 c 0.69/0.77 c core #58 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 13 Core Weight: 1 Total Weight: -260 0.69/0.77 c Current CPU time: 0.516921 s 0.69/0.77 c 0.69/0.77 c core #59 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 13 Core Weight: 1 Total Weight: -259 0.69/0.77 c Current CPU time: 0.52592 s 0.69/0.77 c 0.69/0.77 c core #60 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -258 0.69/0.77 c Current CPU time: 0.535918 s 0.69/0.77 c 0.69/0.77 c core #61 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 13 Core Weight: 1 Total Weight: -257 0.69/0.77 c Current CPU time: 0.544917 s 0.69/0.77 c 0.69/0.77 c core #62 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 14 Core Weight: 1 Total Weight: -256 0.69/0.77 c Current CPU time: 0.554915 s 0.69/0.77 c 0.69/0.77 c core #63 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 8 Core Weight: 1 Total Weight: -255 0.69/0.77 c Current CPU time: 0.564914 s 0.69/0.77 c 0.69/0.77 c core #64 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 8 Core Weight: 2 Total Weight: -253 0.69/0.77 c Current CPU time: 0.573912 s 0.69/0.77 c 0.69/0.77 c core #65 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -252 0.69/0.77 c Current CPU time: 0.583911 s 0.69/0.77 c 0.69/0.77 c core #66 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -251 0.69/0.77 c Current CPU time: 0.593909 s 0.69/0.77 c 0.69/0.77 c core #67 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -250 0.69/0.77 c Current CPU time: 0.603908 s 0.69/0.77 c 0.69/0.77 c core #68 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -249 0.69/0.77 c Current CPU time: 0.613906 s 0.69/0.77 c 0.69/0.77 c core #69 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -248 0.69/0.77 c Current CPU time: 0.623905 s 0.69/0.77 c 0.69/0.77 c core #70 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -247 0.69/0.77 c Current CPU time: 0.633903 s 0.69/0.77 c 0.69/0.77 c core #71 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -246 0.69/0.77 c Current CPU time: 0.643902 s 0.69/0.77 c 0.69/0.77 c core #72 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -245 0.69/0.77 c Current CPU time: 0.6549 s 0.69/0.77 c 0.69/0.77 c core #73 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -244 0.69/0.77 c Current CPU time: 0.664898 s 0.69/0.77 c 0.69/0.77 c core #74 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -243 0.69/0.77 c Current CPU time: 0.674897 s 0.69/0.77 c 0.69/0.77 c core #75 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -242 0.69/0.77 c Current CPU time: 0.685895 s 0.69/0.77 c 0.69/0.77 c core #76 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -241 0.69/0.77 c Current CPU time: 0.695894 s 0.69/0.77 c 0.69/0.77 c core #77 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -240 0.69/0.77 c Current CPU time: 0.705892 s 0.69/0.77 c 0.69/0.77 c core #78 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -239 0.69/0.77 c Current CPU time: 0.716891 s 0.69/0.77 c 0.69/0.77 c core #79 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -238 0.69/0.77 c Current CPU time: 0.726889 s 0.69/0.77 c 0.69/0.77 c core #80 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -237 0.69/0.77 c Current CPU time: 0.737887 s 0.69/0.77 c 0.69/0.77 c core #81 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -236 0.69/0.77 c Current CPU time: 0.748886 s 0.69/0.77 c 0.69/0.77 c core #82 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 8 Core Weight: 1 Total Weight: -235 0.69/0.77 c Current CPU time: 0.758884 s 0.69/0.77 c 0.69/0.77 c core #83 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -234 0.79/0.87 c Current CPU time: 0.769882 s 0.79/0.87 c 0.79/0.87 c core #84 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 8 Core Weight: 1 Total Weight: -233 0.79/0.87 c Current CPU time: 0.780881 s 0.79/0.87 c 0.79/0.87 c core #85 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 9 Core Weight: 1 Total Weight: -232 0.79/0.87 c Current CPU time: 0.791879 s 0.79/0.87 c 0.79/0.87 c core #86 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 10 Core Weight: 1 Total Weight: -231 0.79/0.87 c Current CPU time: 0.802877 s 0.79/0.87 c 0.79/0.87 c core #87 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 9 Core Weight: 1 Total Weight: -230 0.79/0.87 c Current CPU time: 0.813876 s 0.79/0.87 c 0.79/0.87 c core #88 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 9 Core Weight: 1 Total Weight: -229 0.79/0.87 c Current CPU time: 0.823874 s 0.79/0.87 c 0.79/0.87 c core #89 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 8 Core Weight: 1 Total Weight: -228 0.79/0.87 c Current CPU time: 0.834873 s 0.79/0.87 c 0.79/0.87 c core #90 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 10 Core Weight: 1 Total Weight: -227 0.79/0.87 c Current CPU time: 0.845871 s 0.79/0.87 c 0.79/0.87 c core #91 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 9 Core Weight: 1 Total Weight: -226 0.79/0.87 c Current CPU time: 0.856869 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2278 30772 90570 | 10257 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.88 c core #92 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 8 Core Weight: 1 Total Weight: -225 0.79/0.88 c Current CPU time: 0.868867 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2289 30774 90687 | 10258 0 -nan | 0.000 % | 0.79/0.88 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: 8 Core Weight: 2 Total Weight: -223 0.79/0.89 c Current CPU time: 0.879866 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 | 2293 30776 90694 | 10258 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #94 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 8 Core Weight: 1 Total Weight: -222 0.89/0.90 c Current CPU time: 0.890864 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2302 30778 90855 | 10259 0 -nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #95 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 12 Core Weight: 1 Total Weight: -221 0.89/0.91 c Current CPU time: 0.902862 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 | 2310 30780 90880 | 10260 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #96 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 25 Core Weight: 1 Total Weight: -220 0.89/0.92 c Current CPU time: 0.913861 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 | 2326 30784 90926 | 10261 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #97 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 18 Core Weight: 1 Total Weight: -219 0.89/0.94 c Current CPU time: 0.925859 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 | 2335 30787 90958 | 10262 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #98 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 16 Core Weight: 1 Total Weight: -218 0.89/0.95 c Current CPU time: 0.936857 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 | 2340 30789 90970 | 10263 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #99 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 11 Core Weight: 1 Total Weight: -217 0.89/0.96 c Current CPU time: 0.947855 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 | 2346 30793 90988 | 10264 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #100 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 29 Core Weight: 1 Total Weight: -216 0.89/0.97 c Current CPU time: 0.959854 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2363 30797 91028 | 10265 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #101 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 29 Core Weight: 1 Total Weight: -215 0.89/0.98 c Current CPU time: 0.970852 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 | 2381 30801 91071 | 10267 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #102 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 8 Core Weight: 1 Total Weight: -214 0.89/0.99 c Current CPU time: 0.98185 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 | 2387 30805 91090 | 10268 0 -nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.01 c core #103 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 23 Core Weight: 1 Total Weight: -213 0.89/1.01 c Current CPU time: 0.993848 s 0.89/1.01 c 0.89/1.01 c ============================[ Search Statistics ]============================== 0.89/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.01 c =============================================================================== 0.89/1.01 c | 0 | 2398 30810 91121 | 10270 0 -nan | 0.000 % | 0.89/1.01 c =============================================================================== 1.00/1.02 c core #104 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 16 Core Weight: 1 Total Weight: -212 1.00/1.02 c Current CPU time: 1.00485 s 1.00/1.02 c 1.00/1.02 c ============================[ Search Statistics ]============================== 1.00/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.02 c =============================================================================== 1.00/1.02 c | 0 | 2404 30813 91137 | 10271 0 -nan | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.03 c core #105 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 16 Core Weight: 1 Total Weight: -211 1.00/1.03 c Current CPU time: 1.01684 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 2410 30815 91151 | 10271 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.04 c core #106 1.00/1.04 c 1.00/1.04 c 1.00/1.04 c Core size: 7 Core Weight: 1 Total Weight: -210 1.00/1.04 c Current CPU time: 1.02784 s 1.00/1.04 c 1.00/1.04 c ============================[ Search Statistics ]============================== 1.00/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.04 c =============================================================================== 1.00/1.04 c | 0 | 2415 30820 91169 | 10273 0 -nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.05 c core #107 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 18 Core Weight: 1 Total Weight: -209 1.00/1.05 c Current CPU time: 1.03984 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 2422 30821 91183 | 10273 0 -nan | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.07 c core #108 1.00/1.07 c 1.00/1.07 c 1.00/1.07 c Core size: 11 Core Weight: 1 Total Weight: -208 1.00/1.07 c Current CPU time: 1.05184 s 1.00/1.07 c 1.00/1.07 c ============================[ Search Statistics ]============================== 1.00/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.07 c =============================================================================== 1.00/1.07 c | 0 | 2429 30823 91200 | 10274 0 -nan | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.08 c core #109 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 16 Core Weight: 1 Total Weight: -207 1.00/1.08 c Current CPU time: 1.06384 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 2438 30830 91230 | 10276 0 -nan | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.09 c core #110 1.00/1.09 c 1.00/1.09 c 1.00/1.09 c Core size: 14 Core Weight: 1 Total Weight: -206 1.00/1.09 c Current CPU time: 1.07584 s 1.00/1.09 c 1.00/1.09 c ============================[ Search Statistics ]============================== 1.00/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.09 c =============================================================================== 1.00/1.09 c | 0 | 2446 30831 91246 | 10277 0 -nan | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.10 c core #111 1.00/1.10 c 1.00/1.10 c 1.00/1.10 c Core size: 25 Core Weight: 1 Total Weight: -205 1.00/1.10 c Current CPU time: 1.08783 s 1.00/1.10 c 1.00/1.10 c ============================[ Search Statistics ]============================== 1.00/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.10 c =============================================================================== 1.00/1.10 c | 0 | 2459 30833 91274 | 10277 0 -nan | 0.000 % | 1.00/1.10 c =============================================================================== 1.10/1.11 c core #112 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 8 Core Weight: 1 Total Weight: -204 1.10/1.11 c Current CPU time: 1.09883 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 2463 30837 91288 | 10279 0 -nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.13 c core #113 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 14 Core Weight: 1 Total Weight: -203 1.10/1.13 c Current CPU time: 1.11083 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 | 2469 30839 91302 | 10279 0 -nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.14 c core #114 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 5 Core Weight: 1 Total Weight: -202 1.10/1.14 c Current CPU time: 1.12283 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 | 2472 30841 91310 | 10280 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.15 c core #115 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 25 Core Weight: 1 Total Weight: -201 1.10/1.15 c Current CPU time: 1.13483 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 | 2487 30846 91349 | 10282 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #116 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 14 Core Weight: 1 Total Weight: -200 1.10/1.16 c Current CPU time: 1.14583 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 | 2493 30847 91361 | 10282 0 -nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.17 c core #117 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 30 Core Weight: 1 Total Weight: -199 1.10/1.17 c Current CPU time: 1.15782 s 1.10/1.17 c 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 2506 30851 91393 | 10283 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #118 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 27 Core Weight: 1 Total Weight: -198 1.10/1.18 c Current CPU time: 1.16982 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 | 2517 30852 91415 | 10284 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.19/1.20 c core #119 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 15 Core Weight: 1 Total Weight: -197 1.19/1.20 c Current CPU time: 1.18082 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 2530 30856 91448 | 10285 0 -nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.21 c core #120 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 25 Core Weight: 1 Total Weight: -196 1.19/1.21 c Current CPU time: 1.19282 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 2545 30859 91483 | 10286 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #121 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 34 Core Weight: 1 Total Weight: -195 1.19/1.22 c Current CPU time: 1.20582 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 2565 30864 91532 | 10288 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.23 c core #122 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 24 Core Weight: 1 Total Weight: -194 1.19/1.23 c Current CPU time: 1.21781 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 2581 30867 91569 | 10289 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.24 c core #123 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 16 Core Weight: 1 Total Weight: -193 1.19/1.24 c Current CPU time: 1.22881 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 2589 30869 91588 | 10289 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.26 c core #124 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 14 Core Weight: 1 Total Weight: -192 1.19/1.26 c Current CPU time: 1.24081 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 2595 30872 91605 | 10290 0 -nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.27 c core #125 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 14 Core Weight: 1 Total Weight: -191 1.19/1.27 c Current CPU time: 1.25281 s 1.19/1.27 c 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 2604 30877 91631 | 10292 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #126 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 28 Core Weight: 1 Total Weight: -190 1.19/1.28 c Current CPU time: 1.26381 s 1.19/1.28 c 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 2615 30883 91665 | 10294 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #127 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 23 Core Weight: 1 Total Weight: -189 1.19/1.29 c Current CPU time: 1.27581 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 2615 30889 91683 | 10296 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #128 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 24 Core Weight: 1 Total Weight: -188 1.29/1.30 c Current CPU time: 1.2868 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 | 2623 30894 91702 | 10298 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.32 c core #129 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 25 Core Weight: 1 Total Weight: -187 1.29/1.32 c Current CPU time: 1.2988 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 2637 30904 91743 | 10301 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #130 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 28 Core Weight: 1 Total Weight: -186 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 | 2653 30909 91787 | 10303 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #131 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 9 Core Weight: 1 Total Weight: -185 1.29/1.34 c Current CPU time: 1.3228 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 | 2658 30912 91801 | 10304 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #132 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 16 Core Weight: 1 Total Weight: -184 1.29/1.35 c Current CPU time: 1.3348 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 | 2667 30917 91828 | 10305 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #133 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 28 Core Weight: 1 Total Weight: -183 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 | 2686 30921 91874 | 10307 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #134 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 5 Core Weight: 1 Total Weight: -182 1.29/1.37 c Current CPU time: 1.35779 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 30923 91882 | 10307 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.39 c core #135 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 15 Core Weight: 1 Total Weight: -181 1.29/1.39 c Current CPU time: 1.36979 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 | 2697 30929 91909 | 10309 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #136 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 44 Core Weight: 1 Total Weight: -180 1.39/1.40 c Current CPU time: 1.38179 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 | 2722 30934 91970 | 10311 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #137 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 17 Core Weight: 1 Total Weight: -179 1.39/1.41 c Current CPU time: 1.39479 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 | 2730 30942 92004 | 10314 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #138 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 26 Core Weight: 1 Total Weight: -178 1.39/1.42 c Current CPU time: 1.40679 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 | 2747 30945 92042 | 10315 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.44 c core #139 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 49 Core Weight: 1 Total Weight: -177 1.39/1.44 c Current CPU time: 1.41978 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 | 2778 30950 92115 | 10316 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #140 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 59 Core Weight: 1 Total Weight: -176 1.39/1.45 c Current CPU time: 1.43378 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 | 2823 30962 92234 | 10320 0 -nan | 0.000 % | 1.39/1.45 c | 103 | 2823 30962 92234 | 11352 103 13 | 0.494 % | 1.39/1.45 c =============================================================================== 1.39/1.47 c core #141 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 75 Core Weight: 1 Total Weight: -175 1.39/1.47 c Current CPU time: 1.44978 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 2880 30985 92407 | 10328 0 -nan | 0.000 % | 1.39/1.47 c | 104 | 2880 30985 92407 | 11361 104 52 | 0.518 % | 1.39/1.47 c | 254 | 2880 30985 92407 | 12497 254 38 | 0.553 % | 1.39/1.48 c | 479 | 2879 30985 92407 | 13747 479 31 | 0.553 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #142 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 110 Core Weight: 1 Total Weight: -174 1.39/1.49 c Current CPU time: 1.47477 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 | 2967 31013 92654 | 10337 0 -nan | 0.000 % | 1.39/1.49 c | 100 | 2967 31013 92654 | 11371 100 28 | 0.536 % | 1.50/1.50 c | 250 | 2967 31013 92654 | 12508 250 21 | 0.536 % | 1.50/1.50 c =============================================================================== 1.50/1.52 c core #143 1.50/1.52 c 1.50/1.52 c 1.50/1.52 c Core size: 70 Core Weight: 1 Total Weight: -173 1.50/1.52 c Current CPU time: 1.49677 s 1.50/1.52 c 1.50/1.52 c ============================[ Search Statistics ]============================== 1.50/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.52 c =============================================================================== 1.50/1.52 c | 0 | 3027 31034 92829 | 10344 0 -nan | 0.000 % | 1.50/1.52 c | 100 | 3027 31034 92829 | 11379 100 17 | 0.526 % | 1.50/1.52 c | 253 | 3027 31034 92829 | 12517 253 13 | 0.526 % | 1.50/1.53 c | 478 | 3027 31034 92829 | 13768 478 14 | 0.526 % | 1.50/1.53 c | 815 | 3027 31034 92829 | 15145 815 14 | 0.526 % | 1.50/1.54 c =============================================================================== 1.50/1.55 c core #144 1.50/1.55 c 1.50/1.55 c 1.50/1.55 c Core size: 124 Core Weight: 1 Total Weight: -172 1.50/1.55 c Current CPU time: 1.52977 s 1.50/1.55 c 1.50/1.55 c ============================[ Search Statistics ]============================== 1.50/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.55 c =============================================================================== 1.50/1.55 c | 0 | 3128 31059 93095 | 10353 0 -nan | 0.000 % | 1.50/1.56 c | 101 | 3128 31059 93095 | 11388 101 38 | 0.509 % | 1.50/1.56 c | 251 | 3128 31059 93095 | 12527 251 28 | 0.509 % | 1.50/1.56 c | 476 | 3128 31059 93095 | 13779 476 23 | 0.509 % | 1.50/1.57 c =============================================================================== 1.50/1.58 c core #145 1.50/1.58 c 1.50/1.58 c 1.50/1.58 c Core size: 65 Core Weight: 1 Total Weight: -171 1.50/1.58 c Current CPU time: 1.55976 s 1.50/1.58 c 1.50/1.58 c ============================[ Search Statistics ]============================== 1.50/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.58 c =============================================================================== 1.50/1.58 c | 0 | 3178 31078 93243 | 10359 0 -nan | 0.000 % | 1.50/1.58 c | 100 | 3178 31078 93243 | 11395 100 47 | 0.501 % | 1.50/1.59 c | 250 | 3178 31078 93243 | 12534 250 32 | 0.501 % | 1.50/1.59 c | 477 | 3178 31078 93243 | 13788 477 28 | 0.501 % | 1.59/1.60 c | 814 | 3178 31078 93243 | 15167 814 25 | 0.501 % | 1.59/1.62 c | 1321 | 3178 31078 93243 | 16683 1321 26 | 0.501 % | 1.59/1.65 c | 2081 | 3178 31078 93243 | 18352 2081 26 | 0.501 % | 1.70/1.70 c | 3221 | 3156 31078 93243 | 20187 3221 26 | 1.284 % | 1.70/1.70 c =============================================================================== 1.70/1.72 c core #146 1.70/1.72 c 1.70/1.72 c 1.70/1.72 c Core size: 82 Core Weight: 1 Total Weight: -170 1.70/1.72 c Current CPU time: 1.69574 s 1.70/1.72 c 1.70/1.72 c ============================[ Search Statistics ]============================== 1.70/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.70/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.70/1.72 c =============================================================================== 1.70/1.72 c | 0 | 3237 31095 93406 | 10365 0 -nan | 0.000 % | 1.70/1.73 c | 100 | 3237 31095 93406 | 11401 100 43 | 0.492 % | 1.70/1.73 c | 251 | 3236 31095 93406 | 12541 251 40 | 0.523 % | 1.70/1.74 c | 476 | 3235 31095 93406 | 13795 476 31 | 0.553 % | 1.70/1.74 c =============================================================================== 1.70/1.75 c core #147 1.70/1.75 c 1.70/1.75 c 1.70/1.75 c Core size: 56 Core Weight: 1 Total Weight: -169 1.70/1.75 c Current CPU time: 1.72274 s 1.70/1.75 c 1.70/1.75 c ============================[ Search Statistics ]============================== 1.70/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.70/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.70/1.75 c =============================================================================== 1.70/1.75 c | 0 | 3275 31110 93518 | 10370 0 -nan | 0.000 % | 1.70/1.75 c | 100 | 3275 31110 93518 | 11407 100 28 | 0.577 % | 1.70/1.76 c | 252 | 3275 31110 93518 | 12547 252 31 | 0.577 % | 1.70/1.76 c | 479 | 3275 31110 93518 | 13802 479 32 | 0.577 % | 1.70/1.77 c | 817 | 3274 31110 93518 | 15182 817 26 | 0.607 % | 1.70/1.78 c =============================================================================== 1.70/1.79 c core #148 1.70/1.79 c 1.70/1.79 c 1.70/1.79 c Core size: 53 Core Weight: 1 Total Weight: -168 1.70/1.79 c Current CPU time: 1.76073 s 1.70/1.79 c 1.70/1.79 c ============================[ Search Statistics ]============================== 1.70/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.70/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.70/1.79 c =============================================================================== 1.70/1.79 c | 0 | 3312 31134 93652 | 10378 0 -nan | 0.000 % | 1.70/1.80 c | 100 | 3312 31134 93652 | 11415 100 72 | 0.570 % | 1.79/1.80 c | 251 | 3312 31134 93652 | 12557 251 53 | 0.570 % | 1.79/1.80 c | 476 | 3312 31134 93652 | 13813 476 39 | 0.570 % | 1.79/1.81 c | 814 | 3312 31134 93652 | 15194 814 31 | 0.570 % | 1.79/1.82 c | 1323 | 3312 31134 93652 | 16713 1323 29 | 0.570 % | 1.79/1.84 c | 2084 | 3312 31134 93652 | 18385 2084 29 | 0.570 % | 1.79/1.89 c | 3223 | 3312 31134 93652 | 20223 3223 28 | 0.571 % | 1.89/1.93 c =============================================================================== 1.89/1.95 c core #149 1.89/1.95 c 1.89/1.95 c 1.89/1.95 c Core size: 66 Core Weight: 1 Total Weight: -167 1.89/1.95 c Current CPU time: 1.90771 s 1.89/1.95 c 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 3369 31161 93838 | 10387 0 -nan | 0.000 % | 1.89/1.95 c | 101 | 3369 31161 93838 | 11425 101 34 | 0.590 % | 1.89/1.96 c | 251 | 3369 31161 93838 | 12568 251 29 | 0.590 % | 1.89/1.96 c | 478 | 3369 31161 93838 | 13825 478 22 | 0.590 % | 1.89/1.97 c | 815 | 3369 31161 93838 | 15207 815 22 | 0.590 % | 1.89/1.98 c | 1322 | 3369 31161 93838 | 16728 1322 21 | 0.590 % | 1.99/2.01 c | 2081 | 3369 31161 93838 | 18401 2081 21 | 0.590 % | 1.99/2.05 c | 3221 | 3367 31161 93838 | 20241 3221 21 | 0.649 % | 1.99/2.10 c =============================================================================== 2.10/2.13 c core #150 2.10/2.13 c 2.10/2.13 c 2.10/2.13 c Core size: 72 Core Weight: 1 Total Weight: -166 2.10/2.13 c Current CPU time: 2.07468 s 2.10/2.13 c 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 3424 31217 94100 | 10405 0 -nan | 0.000 % | 2.10/2.13 c | 101 | 3424 31217 94100 | 11446 101 53 | 0.638 % | 2.10/2.13 c | 251 | 3424 31217 94100 | 12590 251 47 | 0.638 % | 2.10/2.14 c | 477 | 3423 31217 94100 | 13849 477 39 | 0.667 % | 2.10/2.15 c | 815 | 3423 31217 94100 | 15234 815 34 | 0.667 % | 2.10/2.17 c | 1323 | 3423 31217 94100 | 16758 1323 34 | 0.667 % | 2.10/2.20 c | 2083 | 3423 31217 94100 | 18434 2083 37 | 0.667 % | 2.20/2.25 c | 3227 | 3423 31217 94100 | 20277 3227 39 | 0.667 % | 2.29/2.35 c | 4936 | 3423 31217 94100 | 22305 4936 40 | 0.667 % | 2.49/2.55 c | 7500 | 3423 31217 94100 | 24536 7500 42 | 0.667 % | 2.89/2.91 c | 11344 | 3423 31217 94100 | 26989 11344 44 | 0.667 % | 3.59/3.64 c | 17110 | 3423 31217 94100 | 29688 17110 44 | 0.667 % | 5.09/5.15 c =============================================================================== 5.19/5.27 c core #151 5.19/5.27 c 5.19/5.27 c 5.19/5.27 c Core size: 84 Core Weight: 1 Total Weight: -165 5.19/5.27 c Current CPU time: 5.14122 s 5.19/5.27 c 5.19/5.27 c ============================[ Search Statistics ]============================== 5.19/5.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.27 c =============================================================================== 5.19/5.27 c | 0 | 3476 31270 94344 | 10423 0 -nan | 0.000 % | 5.19/5.27 c | 101 | 3476 31270 94344 | 11465 101 61 | 0.686 % | 5.19/5.28 c | 253 | 3476 31270 94344 | 12612 253 42 | 0.686 % | 5.19/5.28 c | 478 | 3476 31270 94344 | 13873 478 33 | 0.686 % | 5.19/5.29 c | 817 | 3476 31270 94344 | 15260 817 35 | 0.686 % | 5.29/5.31 c | 1327 | 3476 31270 94344 | 16786 1327 38 | 0.686 % | 5.29/5.34 c | 2091 | 3476 31270 94344 | 18465 2091 42 | 0.686 % | 5.29/5.40 c | 3231 | 3476 31270 94344 | 20312 3231 44 | 0.686 % | 5.40/5.49 c | 4940 | 3476 31270 94344 | 22343 4940 43 | 0.686 % | 5.59/5.65 c | 7504 | 3476 31270 94344 | 24577 7504 44 | 0.686 % | 5.89/5.92 c | 11348 | 3476 31270 94344 | 27035 11348 43 | 0.686 % | 6.50/6.53 c | 17115 | 3476 31270 94344 | 29738 17115 45 | 0.686 % | 7.49/7.54 c | 25764 | 3469 31270 94344 | 32712 25764 44 | 1.000 % | 7.79/7.84 c =============================================================================== 7.89/7.98 c core #152 7.89/7.98 c 7.89/7.98 c 7.89/7.98 c Core size: 89 Core Weight: 1 Total Weight: -164 7.89/7.98 c Current CPU time: 7.79181 s 7.89/7.98 c 7.89/7.98 c ============================[ Search Statistics ]============================== 7.89/7.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.98 c =============================================================================== 7.89/7.98 c | 0 | 3538 31299 94547 | 10433 0 -nan | 0.000 % | 7.89/7.98 c | 100 | 3538 31299 94547 | 11476 100 56 | 0.702 % | 7.89/7.99 c | 250 | 3538 31299 94547 | 12623 250 48 | 0.702 % | 7.89/7.99 c | 475 | 3538 31299 94547 | 13886 475 38 | 0.702 % | 7.99/8.00 c | 812 | 3538 31299 94547 | 15274 812 42 | 0.702 % | 7.99/8.02 c | 1318 | 3538 31299 94547 | 16802 1318 50 | 0.702 % | 7.99/8.07 c | 2084 | 3538 31299 94547 | 18482 2084 57 | 0.702 % | 8.09/8.15 c | 3226 | 3538 31299 94547 | 20330 3226 60 | 0.702 % | 8.19/8.29 c | 4934 | 3538 31299 94547 | 22364 4934 63 | 0.702 % | 8.59/8.62 c | 7498 | 3538 31299 94547 | 24600 7498 65 | 0.702 % | 9.09/9.15 c | 11342 | 3538 31299 94547 | 27060 11342 68 | 0.702 % | 10.09/10.18 c | 17109 | 3538 31299 94547 | 29766 17109 71 | 0.702 % | 12.00/12.07 c | 25758 | 3538 31299 94547 | 32743 25758 72 | 0.702 % | 15.31/15.41 c | 38732 | 3538 31299 94547 | 36017 19055 72 | 0.702 % | 19.39/19.46 c | 58194 | 3538 31299 94547 | 39619 15382 74 | 0.702 % | 25.59/25.67 c | 87388 | 3538 31299 94547 | 43581 17763 76 | 0.702 % | 34.69/34.72 c | 131179 | 3538 31299 94547 | 47939 31779 72 | 0.702 % | 52.19/52.27 c | 196863 | 3538 31299 94547 | 52733 30576 81 | 0.702 % | 73.60/73.68 c =============================================================================== 75.91/75.93 c core #153 75.91/75.93 c 75.91/75.93 c 75.91/75.93 c Core size: 131 Core Weight: 1 Total Weight: -163 75.91/75.93 c Current CPU time: 74.9776 s 75.91/75.93 c 75.91/75.93 c ============================[ Search Statistics ]============================== 75.91/75.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.91/75.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.91/75.93 c =============================================================================== 75.91/75.93 c | 0 | 3623 31346 94839 | 10448 0 -nan | 0.000 % | 75.91/75.94 c | 100 | 3623 31346 94839 | 11493 100 53 | 0.713 % | 75.91/75.94 c | 250 | 3623 31346 94839 | 12642 250 51 | 0.713 % | 75.91/75.95 c | 475 | 3623 31346 94839 | 13907 475 55 | 0.713 % | 75.91/75.96 c | 812 | 3623 31346 94839 | 15297 812 60 | 0.713 % | 75.91/75.98 c | 1318 | 3623 31346 94839 | 16827 1318 65 | 0.713 % | 76.00/76.01 c | 2082 | 3623 31346 94839 | 18510 2082 71 | 0.713 % | 76.00/76.06 c | 3224 | 3623 31346 94839 | 20361 3224 73 | 0.713 % | 76.19/76.26 c | 4932 | 3623 31346 94839 | 22397 4932 81 | 0.713 % | 76.59/76.60 c | 7494 | 3623 31346 94839 | 24637 7494 77 | 0.713 % | 77.01/77.09 c | 11341 | 3623 31346 94839 | 27101 11341 78 | 0.713 % | 77.80/77.87 c | 17108 | 3623 31346 94839 | 29811 17108 80 | 0.713 % | 79.29/79.33 c | 25759 | 3623 31346 94839 | 32792 25759 86 | 0.713 % | 81.70/81.74 c | 38734 | 3623 31346 94839 | 36071 18828 98 | 0.713 % | 86.10/86.18 c | 58195 | 3623 31346 94839 | 39678 14977 95 | 0.713 % | 92.31/92.39 c | 87389 | 3623 31346 94839 | 43646 18054 85 | 0.713 % | 102.59/102.63 c | 131178 | 3623 31346 94839 | 48011 32184 82 | 0.713 % | 119.19/119.21 c | 196864 | 3622 31346 94839 | 52812 27994 68 | 0.740 % | 132.29/132.33 c =============================================================================== 133.79/133.88 c core #154 133.79/133.88 c 133.79/133.88 c 133.79/133.88 c Core size: 136 Core Weight: 1 Total Weight: -162 133.79/133.88 c Current CPU time: 132.383 s 133.79/133.88 c 133.79/133.88 c ============================[ Search Statistics ]============================== 133.79/133.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.79/133.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.79/133.88 c =============================================================================== 133.79/133.88 c | 0 | 3713 31363 95061 | 10454 0 -nan | 0.000 % | 133.79/133.89 c | 100 | 3713 31363 95061 | 11499 100 84 | 0.695 % | 133.79/133.89 c | 250 | 3713 31363 95061 | 12649 250 64 | 0.695 % | 133.89/133.90 c | 475 | 3713 31363 95061 | 13914 475 57 | 0.695 % | 133.89/133.91 c | 812 | 3713 31363 95061 | 15306 812 61 | 0.695 % | 133.89/133.93 c | 1320 | 3713 31363 95061 | 16836 1320 69 | 0.695 % | 133.89/133.97 c | 2081 | 3713 31363 95061 | 18520 2081 76 | 0.695 % | 134.00/134.04 c | 3221 | 3713 31363 95061 | 20372 3221 85 | 0.695 % | 134.11/134.15 c | 4929 | 3713 31363 95061 | 22409 4929 87 | 0.695 % | 134.40/134.43 c | 7491 | 3713 31363 95061 | 24650 7491 91 | 0.695 % | 134.89/134.90 c | 11337 | 3713 31363 95061 | 27115 11337 99 | 0.695 % | 135.50/135.57 c | 17104 | 3713 31363 95061 | 29827 17104 102 | 0.695 % | 136.31/136.39 c | 25754 | 3713 31363 95061 | 32810 25754 103 | 0.695 % | 138.30/138.37 c | 38731 | 3713 31363 95061 | 36091 17711 91 | 0.695 % | 141.59/141.68 c | 58192 | 3713 31363 95061 | 39700 13739 103 | 0.695 % | 148.59/148.64 c | 87387 | 3713 31363 95061 | 43670 15924 113 | 0.695 % | 162.39/162.45 c | 131177 | 3711 31363 95061 | 48037 28964 109 | 0.749 % | 184.90/184.94 c | 196864 | 3711 31363 95061 | 52841 26679 89 | 0.749 % | 218.30/218.36 c | 295392 | 3711 31363 95061 | 58125 49847 123 | 0.749 % | 228.09/228.19 c =============================================================================== 229.19/229.26 c core #155 229.19/229.26 c 229.19/229.26 c 229.19/229.26 c Core size: 147 Core Weight: 1 Total Weight: -161 229.19/229.26 c Current CPU time: 226.99 s 229.19/229.26 c 229.19/229.26 c ============================[ Search Statistics ]============================== 229.19/229.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.19/229.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.19/229.26 c =============================================================================== 229.19/229.26 c | 0 | 3809 31419 95403 | 10473 0 -nan | 0.000 % | 229.19/229.27 c | 100 | 3809 31419 95403 | 11520 100 23 | 0.730 % | 229.19/229.27 c | 252 | 3809 31419 95403 | 12672 252 20 | 0.730 % | 229.19/229.28 c | 479 | 3809 31419 95403 | 13939 479 20 | 0.730 % | 229.19/229.28 c | 817 | 3809 31419 95403 | 15333 817 20 | 0.730 % | 229.30/229.30 c | 1324 | 3803 31419 95403 | 16866 1324 18 | 0.964 % | 229.30/229.30 c =============================================================================== 229.30/229.32 c core #156 229.30/229.32 c 229.30/229.32 c 229.30/229.32 c Core size: 54 Core Weight: 1 Total Weight: -160 229.30/229.32 c Current CPU time: 227.192 s 229.30/229.32 c 229.30/229.32 c ============================[ Search Statistics ]============================== 229.30/229.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.30/229.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.30/229.32 c =============================================================================== 229.30/229.32 c | 0 | 3848 31438 95528 | 10479 0 -nan | 0.000 % | 229.30/229.32 c | 102 | 3848 31438 95528 | 11527 102 44 | 0.722 % | 229.30/229.33 c | 254 | 3848 31438 95528 | 12679 254 46 | 0.722 % | 229.30/229.33 c | 479 | 3848 31438 95528 | 13947 479 48 | 0.722 % | 229.30/229.35 c | 816 | 3848 31438 95528 | 15342 816 48 | 0.722 % | 229.30/229.37 c | 1323 | 3848 31438 95528 | 16877 1323 51 | 0.722 % | 229.40/229.41 c | 2082 | 3848 31438 95528 | 18564 2082 53 | 0.722 % | 229.40/229.49 c | 3223 | 3848 31438 95528 | 20421 3223 55 | 0.722 % | 229.59/229.65 c | 4932 | 3848 31438 95528 | 22463 4932 58 | 0.722 % | 230.00/230.03 c | 7498 | 3848 31438 95528 | 24709 7498 59 | 0.722 % | 230.50/230.59 c | 11343 | 3848 31438 95528 | 27180 11343 61 | 0.722 % | 231.80/231.80 c | 17112 | 3848 31438 95528 | 29898 17112 63 | 0.722 % | 233.49/233.55 c | 25764 | 3848 31438 95528 | 32888 25764 65 | 0.722 % | 236.70/236.70 c | 38739 | 3848 31438 95528 | 36177 18583 61 | 0.722 % | 240.10/240.17 c | 58200 | 3848 31438 95528 | 39795 14563 57 | 0.722 % | 242.50/242.53 c =============================================================================== 242.50/242.58 c core #157 242.50/242.58 c 242.50/242.58 c 242.50/242.58 c Core size: 65 Core Weight: 1 Total Weight: -159 242.50/242.58 c Current CPU time: 240.262 s 242.50/242.58 c 242.50/242.58 c ============================[ Search Statistics ]============================== 242.50/242.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 242.50/242.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 242.50/242.58 c =============================================================================== 242.50/242.58 c | 0 | 3895 31490 95756 | 10496 0 -nan | 0.000 % | 242.50/242.59 c | 104 | 3895 31490 95756 | 11546 104 86 | 0.714 % | 242.50/242.59 c | 258 | 3895 31490 95756 | 12700 258 70 | 0.714 % | 242.59/242.60 c | 484 | 3895 31490 95756 | 13971 484 70 | 0.714 % | 242.59/242.61 c | 822 | 3895 31490 95756 | 15368 822 80 | 0.714 % | 242.59/242.63 c | 1328 | 3895 31490 95756 | 16904 1328 87 | 0.714 % | 242.59/242.66 c | 2089 | 3895 31490 95756 | 18595 2089 87 | 0.714 % | 242.70/242.71 c | 3228 | 3895 31490 95756 | 20455 3228 96 | 0.714 % | 242.80/242.82 c | 4939 | 3895 31490 95756 | 22500 4939 106 | 0.714 % | 243.01/243.11 c | 7503 | 3895 31490 95756 | 24750 7503 121 | 0.714 % | 243.70/243.73 c | 11349 | 3895 31490 95756 | 27225 11349 130 | 0.714 % | 244.80/244.87 c | 17116 | 3895 31490 95756 | 29948 17116 136 | 0.714 % | 246.70/246.78 c | 25765 | 3895 31490 95756 | 32943 25765 134 | 0.714 % | 249.10/249.17 c | 38741 | 3895 31490 95756 | 36237 17691 133 | 0.714 % | 256.70/256.73 c | 58204 | 3895 31490 95756 | 39861 14062 140 | 0.714 % | 267.90/267.95 c | 87397 | 3895 31490 95756 | 43847 16853 136 | 0.714 % | 284.81/284.90 c | 131191 | 3895 31490 95756 | 48231 30791 144 | 0.714 % | 309.20/309.28 c | 196877 | 3895 31490 95756 | 53055 27691 161 | 0.714 % | 354.90/354.95 c | 295404 | 3895 31490 95756 | 58360 48303 150 | 0.714 % | 418.30/418.36 c | 443197 | 3895 31490 95756 | 64196 20216 137 | 0.714 % | 529.02/529.02 c | 664881 | 3895 31490 95756 | 70616 46379 137 | 0.714 % | 666.71/666.74 c | 997406 | 3895 31490 95756 | 77677 37725 139 | 0.714 % | 975.12/975.12 c | 1496195 | 3895 31490 95756 | 85445 35097 150 | 0.714 % | 1457.73/1457.76 c | 2244378 | 3895 31490 95756 | 93990 82523 172 | 0.714 % |
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-3460138-1307118735/watcher-3460138-1307118735 -o /tmp/evaluation-result-3460138-1307118735/solver-3460138-1307118735 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460138-1307118735.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.16 1.54 2/386 30274 /proc/meminfo: memFree=23807728/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=3844 CPUtime=0.01 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 545 0 0 0 1 0 0 0 22 0 1 0 823476291 3936256 498 33554432000 4194304 5714214 140736916015824 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 961 498 209 372 0 340 0 [startup+0.015336 s] /proc/loadavg: 1.00 1.16 1.54 2/386 30274 /proc/meminfo: memFree=23807728/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=3976 CPUtime=0.01 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 565 0 0 0 1 0 0 0 22 0 1 0 823476291 4071424 518 33554432000 4194304 5714214 140736916015824 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 994 518 214 372 0 373 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3976 [startup+0.100318 s] /proc/loadavg: 1.00 1.16 1.54 2/386 30274 /proc/meminfo: memFree=23807728/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=7096 CPUtime=0.09 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 2043 0 0 0 9 0 0 0 22 0 1 0 823476291 7266304 1501 33554432000 4194304 5714214 140736916015824 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 1774 1501 175 372 0 1399 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7096 [startup+0.300279 s] /proc/loadavg: 1.00 1.16 1.54 2/386 30274 /proc/meminfo: memFree=23807728/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=7416 CPUtime=0.29 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 2105 0 0 0 29 0 0 0 23 0 1 0 823476291 7593984 1563 33554432000 4194304 5714214 140736916015824 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 1854 1563 175 372 0 1479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7416 [startup+0.700209 s] /proc/loadavg: 1.00 1.16 1.54 2/386 30274 /proc/meminfo: memFree=23807728/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=8324 CPUtime=0.69 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 2315 0 0 0 69 0 0 0 25 0 1 0 823476291 8523776 1773 33554432000 4194304 5714214 140736916015824 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 2081 1773 175 372 0 1706 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8324 [startup+1.50107 s] /proc/loadavg: 1.00 1.16 1.54 3/387 30275 /proc/meminfo: memFree=23793104/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=9600 CPUtime=1.5 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 2855 0 0 0 149 1 0 0 18 0 1 0 823476291 9830400 2144 33554432000 4194304 5714214 140736916015824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 2400 2144 180 372 0 2025 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9600 [startup+3.10078 s] /proc/loadavg: 1.00 1.16 1.54 3/387 30275 /proc/meminfo: memFree=23788764/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=11792 CPUtime=3.09 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 3378 0 0 0 302 7 0 0 19 0 1 0 823476291 12075008 2667 33554432000 4194304 5714214 140736916015824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 2948 2667 180 372 0 2573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11792 [startup+6.30021 s] /proc/loadavg: 1.16 1.19 1.55 4/387 30275 /proc/meminfo: memFree=23770312/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=21548 CPUtime=6.29 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 5761 0 0 0 615 14 0 0 18 0 1 0 823476291 22065152 5050 33554432000 4194304 5714214 140736916015824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 5387 5050 180 372 0 5012 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21548 [startup+12.7011 s] /proc/loadavg: 1.23 1.20 1.55 4/387 30275 /proc/meminfo: memFree=23759200/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=22920 CPUtime=12.69 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 6130 0 0 0 1247 22 0 0 25 0 1 0 823476291 23470080 5419 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 5730 5419 180 372 0 5355 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22920 [startup+25.5008 s] /proc/loadavg: 1.40 1.24 1.56 3/387 30276 /proc/meminfo: memFree=23727484/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=38432 CPUtime=25.5 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 9941 0 0 0 2515 35 0 0 25 0 1 0 823476291 39354368 9230 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 9608 9230 180 372 0 9233 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 38432 [startup+51.1003 s] /proc/loadavg: 1.60 1.30 1.56 3/387 30276 /proc/meminfo: memFree=23702304/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=59648 CPUtime=51.09 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 15056 0 0 0 5050 59 0 0 25 0 1 0 823476291 61079552 14345 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 14912 14345 180 372 0 14537 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 59648 [startup+102.314 s] /proc/loadavg: 1.83 1.41 1.58 3/387 30278 /proc/meminfo: memFree=23636192/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=90764 CPUtime=102.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 22858 0 0 0 10123 108 0 0 25 0 1 0 823476291 92942336 22043 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 22691 22043 180 372 0 22316 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 90764 [startup+162.301 s] /proc/loadavg: 1.93 1.51 1.61 3/387 30279 /proc/meminfo: memFree=23604548/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=90764 CPUtime=162.29 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 23253 0 0 0 16067 162 0 0 25 0 1 0 823476291 92942336 22438 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 22691 22438 180 372 0 22316 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 90764 [startup+222.301 s] /proc/loadavg: 1.97 1.60 1.63 3/387 30281 /proc/meminfo: memFree=23560884/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=96996 CPUtime=222.3 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 24675 0 0 0 22025 205 0 0 25 0 1 0 823476291 99323904 23860 33554432000 4194304 5714214 140736916015824 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 24249 23860 180 372 0 23874 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 96996 [startup+282.3 s] /proc/loadavg: 1.99 1.67 1.65 3/387 30282 /proc/meminfo: memFree=23547420/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=91408 CPUtime=282.29 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 25001 0 0 0 27974 255 0 0 25 0 1 0 823476291 93601792 22583 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 22852 22583 180 372 0 22477 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 91408 [startup+342.301 s] /proc/loadavg: 1.99 1.73 1.67 3/387 30284 /proc/meminfo: memFree=23521500/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=91864 CPUtime=342.3 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 25116 0 0 0 33947 283 0 0 25 0 1 0 823476291 94068736 22698 33554432000 4194304 5714214 140736916015824 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 22966 22698 180 372 0 22591 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 91864 [startup+402.301 s] /proc/loadavg: 2.03 1.79 1.69 3/387 30286 /proc/meminfo: memFree=23473488/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=116660 CPUtime=402.3 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 31088 0 0 0 39918 312 0 0 25 0 1 0 823476291 119459840 28670 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 29165 28670 180 372 0 28790 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 116660 [startup+462.3 s] /proc/loadavg: 2.15 1.87 1.72 3/387 30287 /proc/meminfo: memFree=23433872/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=135548 CPUtime=462.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 35690 0 0 0 45892 339 0 0 25 0 1 0 823476291 138801152 33272 33554432000 4194304 5714214 140736916015824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 33887 33272 180 372 0 33512 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 135548 [startup+522.301 s] /proc/loadavg: 2.05 1.89 1.74 3/387 30289 /proc/meminfo: memFree=23392064/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=156136 CPUtime=522.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 40784 0 0 0 51863 368 0 0 25 0 1 0 823476291 159883264 38366 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 39034 38366 180 372 0 38659 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 156136 [startup+582.301 s] /proc/loadavg: 2.02 1.91 1.75 3/387 30290 /proc/meminfo: memFree=23341816/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=190300 CPUtime=582.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 49139 0 0 0 57827 404 0 0 25 0 1 0 823476291 194867200 46721 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 47575 46721 180 372 0 47200 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 190300 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.95 1.80 3/387 30297 /proc/meminfo: memFree=23182972/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=258628 CPUtime=822.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 65879 0 0 0 81719 512 0 0 25 0 1 0 823476291 264835072 63461 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 64657 63461 180 372 0 64282 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 258628 [startup+882.301 s] /proc/loadavg: 2.00 1.95 1.81 3/387 30298 /proc/meminfo: memFree=23156176/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=279764 CPUtime=882.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 71035 0 0 0 87696 535 0 0 25 0 1 0 823476291 286478336 68617 33554432000 4194304 5714214 140736916015824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 69941 68617 180 372 0 69566 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 279764 [startup+942.301 s] /proc/loadavg: 2.05 1.97 1.82 3/387 30300 /proc/meminfo: memFree=23122820/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=292220 CPUtime=942.31 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 74075 0 0 0 93675 556 0 0 25 0 1 0 823476291 299233280 71657 33554432000 4194304 5714214 140736916015824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 73055 71657 180 372 0 72680 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 292220 [startup+1002.3 s] /proc/loadavg: 2.10 2.00 1.84 3/387 30302 /proc/meminfo: memFree=23086304/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=303940 CPUtime=1002.32 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 76890 0 0 0 99661 571 0 0 25 0 1 0 823476291 311234560 74472 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 75985 74472 180 372 0 75610 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 303940 [startup+1062.3 s] /proc/loadavg: 2.08 2.01 1.85 3/387 30303 /proc/meminfo: memFree=23057360/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=327096 CPUtime=1062.32 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 82637 0 0 0 105637 595 0 0 25 0 1 0 823476291 334946304 80219 33554432000 4194304 5714214 140736916015824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 81774 80219 180 372 0 81399 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 327096 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 1.86 3/387 30305 /proc/meminfo: memFree=23019508/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=340144 CPUtime=1122.32 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 85769 0 0 0 111618 614 0 0 25 0 1 0 823476291 348307456 83351 33554432000 4194304 5714214 140736916015824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 85036 83351 180 372 0 84661 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 340144 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.86 3/387 30306 /proc/meminfo: memFree=22985860/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=357644 CPUtime=1182.32 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 90109 0 0 0 117600 632 0 0 25 0 1 0 823476291 366227456 87691 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 89411 87691 180 372 0 89036 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 357644 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.87 3/387 30308 /proc/meminfo: memFree=22955840/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=369204 CPUtime=1242.32 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 92977 0 0 0 123585 647 0 0 25 0 1 0 823476291 378064896 90559 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 92301 90559 180 372 0 91926 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 369204 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.87 3/387 30310 /proc/meminfo: memFree=22930504/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=377556 CPUtime=1302.34 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 95046 0 0 0 129571 663 0 0 25 0 1 0 823476291 386617344 92628 33554432000 4194304 5714214 140736916015824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 94389 92628 180 372 0 94014 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 377556 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.88 3/387 30311 /proc/meminfo: memFree=22900340/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=384872 CPUtime=1362.33 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 96808 0 0 0 135548 685 0 0 25 0 1 0 823476291 394108928 94390 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 96218 94390 180 372 0 95843 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 384872 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.88 3/387 30313 /proc/meminfo: memFree=22859272/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=410728 CPUtime=1422.34 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 103155 0 0 0 141526 708 0 0 25 0 1 0 823476291 420585472 100737 33554432000 4194304 5714214 140736916015824 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 102682 100737 180 372 0 102307 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 410728 [startup+1482.3 s] /proc/loadavg: 2.07 2.02 1.90 3/387 30314 /proc/meminfo: memFree=22805924/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=438976 CPUtime=1482.33 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 110052 0 0 0 147493 740 0 0 25 0 1 0 823476291 449511424 107634 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 109744 107634 180 372 0 109369 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 438976 [startup+1542.3 s] /proc/loadavg: 2.15 2.04 1.91 3/387 30316 /proc/meminfo: memFree=22778992/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=447492 CPUtime=1542.33 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 112077 0 0 0 153472 761 0 0 25 0 1 0 823476291 458231808 109659 33554432000 4194304 5714214 140736916015824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 111873 109659 180 372 0 111498 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 447492 [startup+1602.3 s] /proc/loadavg: 2.11 2.05 1.92 3/387 30318 /proc/meminfo: memFree=22726024/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=477920 CPUtime=1602.34 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 119477 0 0 0 159451 783 0 0 25 0 1 0 823476291 489390080 117059 33554432000 4194304 5714214 140736916015824 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 119480 117059 180 372 0 119105 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 477920 [startup+1662.3 s] /proc/loadavg: 2.04 2.03 1.92 3/387 30319 /proc/meminfo: memFree=22697812/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=490316 CPUtime=1662.33 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 122582 0 0 0 165422 811 0 0 25 0 1 0 823476291 502083584 120164 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 122579 120164 180 372 0 122204 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 490316 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 1.92 3/387 30321 /proc/meminfo: memFree=22655272/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=508648 CPUtime=1722.34 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 127097 0 0 0 171400 834 0 0 25 0 1 0 823476291 520855552 124679 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 127162 124679 180 372 0 126787 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 508648 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.92 3/387 30331 /proc/meminfo: memFree=22612972/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=526800 CPUtime=1782.34 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 131596 0 0 0 177378 856 0 0 25 0 1 0 823476291 539443200 129178 33554432000 4194304 5714214 140736916015824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 131700 129178 180 372 0 131325 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 526800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 1.92 3/388 30333 /proc/meminfo: memFree=22630072/32951124 swapFree=49244120/67111528 [pid=30274] ppid=30272 vsize=543148 CPUtime=1800.05 cores=1,3,5,7 /proc/30274/stat : 30274 (wbo1.6) R 30272 30274 27315 0 -1 4202496 135526 0 0 0 179143 862 0 0 25 0 1 0 823476291 556183552 133108 33554432000 4194304 5714214 140736916015824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30274/statm: 135787 133108 180 372 0 135412 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 543148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.08 CPU user time (s): 1791.44 CPU system time (s): 8.64568 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 543148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.44 system time used= 8.64569 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135526 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= 24 involuntary context switches= 3967 runsolver used 6.33004 second user time and 15.1327 second system time The end
Begin job on node101 at 2011-06-03 18:32:15 IDJOB=3460138 IDBENCH=71837 IDSOLVER=1953 FILE ID=node101/3460138-1307118735 RUNJOBID= node101-1307118735-30255 PBS_JOBID= 13497974 Free space on /tmp= 73948 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-3000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460138-1307118735/watcher-3460138-1307118735 -o /tmp/evaluation-result-3460138-1307118735/solver-3460138-1307118735 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460138-1307118735.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d02d20784bc67f5ad08bddab69f126bc RANDOM SEED=437766964 node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23808024 kB Buffers: 244984 kB Cached: 483304 kB SwapCached: 27120 kB Active: 8441132 kB Inactive: 425668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23808024 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 10496 kB Writeback: 0 kB AnonPages: 8133644 kB Mapped: 19176 kB Slab: 134728 kB PageTables: 75120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78607020 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73944 MiB End job on node101 at 2011-06-03 19:02:17