| 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-250-false-45-90-4-7000opt.opb |
| MD5SUM | 2dd11ebefc05ae8ac770ff3615713305 |
| 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 | -172 |
| Best CPU time to get the best result obtained on this benchmark | 11.0973 |
| 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 | 62231 |
| Number of constraints which are clauses | 62231 |
| 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 | 347 |
| 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 | 347 |
| 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-3460131-1307118294.opb. 0.00/0.00 c Instance file HOME/instance-3460131-1307118294.opb 0.00/0.00 c File size is 2075649 bytes. 0.10/0.13 c Highest Coefficient sum: 4 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.13 s | 0.10/0.13 c | Number Variables: 2025 | 0.10/0.13 c | Number Clauses: 62231 | 0.10/0.13 c | Number Cardinality: 0 | 0.10/0.13 c | Number PB Constraints: 0 | 0.10/0.13 c ============================[ Search Statistics ]============================== 0.10/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.13 c =============================================================================== 0.10/0.13 c | 0 | 2025 62231 185523 | 20743 0 -nan | 0.000 % | 0.79/0.80 c core #1 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 3 Total Weight: -344 0.79/0.80 c Current CPU time: 0.149977 s 0.79/0.80 c 0.79/0.80 c core #2 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 7 Core Weight: 1 Total Weight: -343 0.79/0.80 c Current CPU time: 0.163975 s 0.79/0.80 c 0.79/0.80 c core #3 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 2 Total Weight: -341 0.79/0.80 c Current CPU time: 0.178972 s 0.79/0.80 c 0.79/0.80 c core #4 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -340 0.79/0.80 c Current CPU time: 0.19397 s 0.79/0.80 c 0.79/0.80 c core #5 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 2 Total Weight: -338 0.79/0.80 c Current CPU time: 0.208968 s 0.79/0.80 c 0.79/0.80 c core #6 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -337 0.79/0.80 c Current CPU time: 0.222966 s 0.79/0.80 c 0.79/0.80 c core #7 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -336 0.79/0.80 c Current CPU time: 0.237963 s 0.79/0.80 c 0.79/0.80 c core #8 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -335 0.79/0.80 c Current CPU time: 0.252961 s 0.79/0.80 c 0.79/0.80 c core #9 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 4 Total Weight: -331 0.79/0.80 c Current CPU time: 0.267959 s 0.79/0.80 c 0.79/0.80 c core #10 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -330 0.79/0.80 c Current CPU time: 0.282956 s 0.79/0.80 c 0.79/0.80 c core #11 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -329 0.79/0.80 c Current CPU time: 0.298954 s 0.79/0.80 c 0.79/0.80 c core #12 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -328 0.79/0.80 c Current CPU time: 0.313952 s 0.79/0.80 c 0.79/0.80 c core #13 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 7 Core Weight: 2 Total Weight: -326 0.79/0.80 c Current CPU time: 0.328949 s 0.79/0.80 c 0.79/0.80 c core #14 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 7 Core Weight: 1 Total Weight: -325 0.79/0.80 c Current CPU time: 0.343947 s 0.79/0.80 c 0.79/0.80 c core #15 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -324 0.79/0.80 c Current CPU time: 0.359945 s 0.79/0.80 c 0.79/0.80 c core #16 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -323 0.79/0.80 c Current CPU time: 0.375942 s 0.79/0.80 c 0.79/0.80 c core #17 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -322 0.79/0.80 c Current CPU time: 0.39094 s 0.79/0.80 c 0.79/0.80 c core #18 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -321 0.79/0.80 c Current CPU time: 0.405938 s 0.79/0.80 c 0.79/0.80 c core #19 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -320 0.79/0.80 c Current CPU time: 0.421935 s 0.79/0.80 c 0.79/0.80 c core #20 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -319 0.79/0.80 c Current CPU time: 0.436933 s 0.79/0.80 c 0.79/0.80 c core #21 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 6 Core Weight: 1 Total Weight: -318 0.79/0.80 c Current CPU time: 0.452931 s 0.79/0.80 c 0.79/0.80 c core #22 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 4 Total Weight: -314 0.79/0.80 c Current CPU time: 0.467928 s 0.79/0.80 c 0.79/0.80 c core #23 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 3 Total Weight: -311 0.79/0.80 c Current CPU time: 0.483926 s 0.79/0.80 c 0.79/0.80 c core #24 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 5 Core Weight: 1 Total Weight: -310 0.79/0.80 c Current CPU time: 0.499924 s 0.79/0.80 c 0.79/0.80 c core #25 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 8 Core Weight: 1 Total Weight: -309 0.79/0.80 c Current CPU time: 0.515921 s 0.79/0.80 c 0.79/0.80 c core #26 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 9 Core Weight: 2 Total Weight: -307 0.79/0.80 c Current CPU time: 0.531919 s 0.79/0.80 c 0.79/0.80 c core #27 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 9 Core Weight: 1 Total Weight: -306 0.79/0.80 c Current CPU time: 0.546916 s 0.79/0.80 c 0.79/0.80 c core #28 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 9 Core Weight: 1 Total Weight: -305 0.79/0.80 c Current CPU time: 0.562914 s 0.79/0.80 c 0.79/0.80 c core #29 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 10 Core Weight: 1 Total Weight: -304 0.79/0.80 c Current CPU time: 0.579911 s 0.79/0.80 c 0.79/0.80 c core #30 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -303 0.79/0.80 c Current CPU time: 0.595909 s 0.79/0.80 c 0.79/0.80 c core #31 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 2 Total Weight: -301 0.79/0.80 c Current CPU time: 0.611906 s 0.79/0.80 c 0.79/0.80 c core #32 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 2 Total Weight: -299 0.79/0.80 c Current CPU time: 0.627904 s 0.79/0.80 c 0.79/0.80 c core #33 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 16 Core Weight: 1 Total Weight: -298 0.79/0.80 c Current CPU time: 0.644901 s 0.79/0.80 c 0.79/0.80 c core #34 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 10 Core Weight: 1 Total Weight: -297 0.79/0.80 c Current CPU time: 0.660899 s 0.79/0.80 c 0.79/0.80 c core #35 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 2 Total Weight: -295 0.79/0.80 c Current CPU time: 0.677896 s 0.79/0.80 c 0.79/0.80 c core #36 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -294 0.79/0.80 c Current CPU time: 0.694894 s 0.79/0.80 c 0.79/0.80 c core #37 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -293 0.79/0.80 c Current CPU time: 0.711891 s 0.79/0.80 c 0.79/0.80 c core #38 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -292 0.79/0.80 c Current CPU time: 0.729889 s 0.79/0.80 c 0.79/0.80 c core #39 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 9 Core Weight: 1 Total Weight: -291 0.79/0.80 c Current CPU time: 0.746886 s 0.79/0.80 c 0.79/0.80 c core #40 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 10 Core Weight: 1 Total Weight: -290 0.79/0.80 c Current CPU time: 0.764883 s 0.79/0.80 c 0.79/0.80 c core #41 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -289 0.79/0.80 c Current CPU time: 0.78288 s 0.79/0.80 c 0.79/0.80 c core #42 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 11 Core Weight: 1 Total Weight: -288 1.39/1.42 c Current CPU time: 0.799878 s 1.39/1.42 c 1.39/1.42 c core #43 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 11 Core Weight: 1 Total Weight: -287 1.39/1.42 c Current CPU time: 0.817875 s 1.39/1.42 c 1.39/1.42 c core #44 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 11 Core Weight: 1 Total Weight: -286 1.39/1.42 c Current CPU time: 0.835872 s 1.39/1.42 c 1.39/1.42 c core #45 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 11 Core Weight: 1 Total Weight: -285 1.39/1.42 c Current CPU time: 0.85287 s 1.39/1.42 c 1.39/1.42 c core #46 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 12 Core Weight: 1 Total Weight: -284 1.39/1.42 c Current CPU time: 0.870867 s 1.39/1.42 c 1.39/1.42 c core #47 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 12 Core Weight: 1 Total Weight: -283 1.39/1.42 c Current CPU time: 0.889864 s 1.39/1.42 c 1.39/1.42 c core #48 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 8 Core Weight: 1 Total Weight: -282 1.39/1.42 c Current CPU time: 0.907861 s 1.39/1.42 c 1.39/1.42 c core #49 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 9 Core Weight: 1 Total Weight: -281 1.39/1.42 c Current CPU time: 0.925859 s 1.39/1.42 c 1.39/1.42 c core #50 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 18 Core Weight: 1 Total Weight: -280 1.39/1.42 c Current CPU time: 0.944856 s 1.39/1.42 c 1.39/1.42 c core #51 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 18 Core Weight: 1 Total Weight: -279 1.39/1.42 c Current CPU time: 0.962853 s 1.39/1.42 c 1.39/1.42 c core #52 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 15 Core Weight: 1 Total Weight: -278 1.39/1.42 c Current CPU time: 0.98185 s 1.39/1.42 c 1.39/1.42 c core #53 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 18 Core Weight: 1 Total Weight: -277 1.39/1.42 c Current CPU time: 1.00085 s 1.39/1.42 c 1.39/1.42 c core #54 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 19 Core Weight: 1 Total Weight: -276 1.39/1.42 c Current CPU time: 1.01984 s 1.39/1.42 c 1.39/1.42 c core #55 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -275 1.39/1.42 c Current CPU time: 1.03884 s 1.39/1.42 c 1.39/1.42 c core #56 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 13 Core Weight: 1 Total Weight: -274 1.39/1.42 c Current CPU time: 1.05784 s 1.39/1.42 c 1.39/1.42 c core #57 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 18 Core Weight: 1 Total Weight: -273 1.39/1.42 c Current CPU time: 1.07684 s 1.39/1.42 c 1.39/1.42 c core #58 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 18 Core Weight: 1 Total Weight: -272 1.39/1.42 c Current CPU time: 1.09683 s 1.39/1.42 c 1.39/1.42 c core #59 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 11 Core Weight: 1 Total Weight: -271 1.39/1.42 c Current CPU time: 1.11683 s 1.39/1.42 c 1.39/1.42 c core #60 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 11 Core Weight: 1 Total Weight: -270 1.39/1.42 c Current CPU time: 1.13683 s 1.39/1.42 c 1.39/1.42 c core #61 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 26 Core Weight: 1 Total Weight: -269 1.39/1.42 c Current CPU time: 1.15682 s 1.39/1.42 c 1.39/1.42 c core #62 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 17 Core Weight: 1 Total Weight: -268 1.39/1.42 c Current CPU time: 1.17782 s 1.39/1.42 c 1.39/1.42 c core #63 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 17 Core Weight: 1 Total Weight: -267 1.39/1.42 c Current CPU time: 1.19882 s 1.39/1.42 c 1.39/1.42 c core #64 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 17 Core Weight: 1 Total Weight: -266 1.39/1.42 c Current CPU time: 1.21981 s 1.39/1.42 c 1.39/1.42 c core #65 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 22 Core Weight: 1 Total Weight: -265 1.39/1.42 c Current CPU time: 1.24181 s 1.39/1.42 c 1.39/1.42 c core #66 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 22 Core Weight: 1 Total Weight: -264 1.39/1.42 c Current CPU time: 1.26281 s 1.39/1.42 c 1.39/1.42 c core #67 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -263 1.39/1.42 c Current CPU time: 1.2848 s 1.39/1.42 c 1.39/1.42 c core #68 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -262 1.39/1.42 c Current CPU time: 1.3068 s 1.39/1.42 c 1.39/1.42 c core #69 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 30 Core Weight: 1 Total Weight: -261 1.39/1.42 c Current CPU time: 1.3288 s 1.39/1.42 c 1.39/1.42 c core #70 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -260 1.39/1.42 c Current CPU time: 1.35079 s 1.39/1.42 c 1.39/1.42 c core #71 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 20 Core Weight: 1 Total Weight: -259 1.39/1.42 c Current CPU time: 1.37379 s 1.39/1.42 c 1.39/1.42 c core #72 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 19 Core Weight: 1 Total Weight: -258 1.39/1.42 c Current CPU time: 1.39679 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 | 2204 62590 178780 | 20863 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.44 c core #73 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 15 Core Weight: 1 Total Weight: -257 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 | 2211 62596 178797 | 20865 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.46 c core #74 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 16 Core Weight: 1 Total Weight: -256 1.39/1.46 c Current CPU time: 1.44278 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 2226 62601 179454 | 20867 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.49 c core #75 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 11 Core Weight: 1 Total Weight: -255 1.39/1.49 c Current CPU time: 1.46678 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 | 2231 62605 179470 | 20868 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.51 c core #76 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 14 Core Weight: 1 Total Weight: -254 1.49/1.51 c Current CPU time: 1.48977 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 2253 62606 180964 | 20868 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.53 c core #77 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 19 Core Weight: 1 Total Weight: -253 1.49/1.53 c Current CPU time: 1.51277 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 2263 62612 180991 | 20870 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.56 c core #78 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 19 Core Weight: 1 Total Weight: -252 1.49/1.56 c Current CPU time: 1.53677 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 2295 62616 183122 | 20872 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.58 c core #79 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 8 Core Weight: 1 Total Weight: -251 1.49/1.58 c Current CPU time: 1.55976 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 2302 62618 183508 | 20872 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.59/1.61 c core #80 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 11 Core Weight: 1 Total Weight: -250 1.59/1.61 c Current CPU time: 1.58376 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 2306 62621 183520 | 20873 0 -nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.63 c core #81 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 16 Core Weight: 1 Total Weight: -249 1.59/1.63 c Current CPU time: 1.60776 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 2327 62623 184516 | 20874 0 -nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.66 c core #82 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 35 Core Weight: 1 Total Weight: -248 1.59/1.66 c Current CPU time: 1.63275 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 2362 62626 185833 | 20875 0 -nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.68 c core #83 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 28 Core Weight: 1 Total Weight: -247 1.59/1.68 c Current CPU time: 1.65775 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 2380 62629 186234 | 20876 0 -nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.69/1.71 c core #84 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 20 Core Weight: 1 Total Weight: -246 1.69/1.71 c Current CPU time: 1.68174 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 2397 62630 186594 | 20876 0 -nan | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.73 c core #85 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 56 Core Weight: 1 Total Weight: -245 1.69/1.73 c Current CPU time: 1.70774 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 2430 62633 186671 | 20877 0 -nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.76 c core #86 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 30 Core Weight: 1 Total Weight: -244 1.69/1.76 c Current CPU time: 1.73274 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 2444 62645 186723 | 20881 0 -nan | 0.000 % | 1.69/1.76 c =============================================================================== 1.69/1.78 c core #87 1.69/1.78 c 1.69/1.78 c 1.69/1.78 c Core size: 20 Core Weight: 1 Total Weight: -243 1.69/1.78 c Current CPU time: 1.75773 s 1.69/1.78 c 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 2457 62649 186755 | 20883 0 -nan | 0.000 % | 1.69/1.78 c =============================================================================== 1.79/1.81 c core #88 1.79/1.81 c 1.79/1.81 c 1.79/1.81 c Core size: 24 Core Weight: 1 Total Weight: -242 1.79/1.81 c Current CPU time: 1.78173 s 1.79/1.81 c 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 2468 62655 186788 | 20885 0 -nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.83 c core #89 1.79/1.83 c 1.79/1.83 c 1.79/1.83 c Core size: 22 Core Weight: 1 Total Weight: -241 1.79/1.83 c Current CPU time: 1.80673 s 1.79/1.83 c 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 2482 62658 186821 | 20886 0 -nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.86 c core #90 1.79/1.86 c 1.79/1.86 c 1.79/1.86 c Core size: 35 Core Weight: 1 Total Weight: -240 1.79/1.86 c Current CPU time: 1.83172 s 1.79/1.86 c 1.79/1.86 c ============================[ Search Statistics ]============================== 1.79/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.86 c =============================================================================== 1.79/1.86 c | 0 | 2506 62662 186875 | 20887 0 -nan | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.88 c core #91 1.79/1.88 c 1.79/1.88 c 1.79/1.88 c Core size: 30 Core Weight: 1 Total Weight: -239 1.79/1.88 c Current CPU time: 1.85672 s 1.79/1.88 c 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 2520 62664 186905 | 20888 0 -nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.89/1.91 c core #92 1.89/1.91 c 1.89/1.91 c 1.89/1.91 c Core size: 42 Core Weight: 1 Total Weight: -238 1.89/1.91 c Current CPU time: 1.88271 s 1.89/1.91 c 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 2543 62668 186959 | 20889 0 -nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.93 c core #93 1.89/1.93 c 1.89/1.93 c 1.89/1.93 c Core size: 8 Core Weight: 1 Total Weight: -237 1.89/1.93 c Current CPU time: 1.90771 s 1.89/1.93 c 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 2547 62670 186969 | 20890 0 -nan | 0.000 % | 1.89/1.93 c =============================================================================== 1.89/1.96 c core #94 1.89/1.96 c 1.89/1.96 c 1.89/1.96 c Core size: 7 Core Weight: 2 Total Weight: -235 1.89/1.96 c Current CPU time: 1.93271 s 1.89/1.96 c 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 2548 62672 186973 | 20890 0 -nan | 0.000 % | 1.89/1.96 c =============================================================================== 1.89/1.98 c core #95 1.89/1.98 c 1.89/1.98 c 1.89/1.98 c Core size: 16 Core Weight: 1 Total Weight: -234 1.89/1.98 c Current CPU time: 1.9567 s 1.89/1.98 c 1.89/1.98 c ============================[ Search Statistics ]============================== 1.89/1.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.98 c =============================================================================== 1.89/1.98 c | 0 | 2557 62675 187002 | 20891 0 -nan | 0.000 % | 1.89/1.98 c =============================================================================== 1.99/2.00 c core #96 1.99/2.00 c 1.99/2.00 c 1.99/2.00 c Core size: 6 Core Weight: 1 Total Weight: -233 1.99/2.00 c Current CPU time: 1.9807 s 1.99/2.00 c 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 2560 62677 187010 | 20892 0 -nan | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.03 c core #97 1.99/2.03 c 1.99/2.03 c 1.99/2.03 c Core size: 23 Core Weight: 1 Total Weight: -232 1.99/2.03 c Current CPU time: 2.00569 s 1.99/2.03 c 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 2568 62683 187039 | 20894 0 -nan | 0.000 % | 1.99/2.03 c =============================================================================== 1.99/2.05 c core #98 1.99/2.05 c 1.99/2.05 c 1.99/2.05 c Core size: 10 Core Weight: 1 Total Weight: -231 1.99/2.05 c Current CPU time: 2.03069 s 1.99/2.05 c 1.99/2.05 c ============================[ Search Statistics ]============================== 1.99/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.05 c =============================================================================== 1.99/2.05 c | 0 | 2573 62684 187049 | 20894 0 -nan | 0.000 % | 1.99/2.06 c =============================================================================== 1.99/2.08 c core #99 1.99/2.08 c 1.99/2.08 c 1.99/2.08 c Core size: 27 Core Weight: 1 Total Weight: -230 1.99/2.08 c Current CPU time: 2.05569 s 1.99/2.08 c 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 2593 62686 187085 | 20895 0 -nan | 0.000 % | 1.99/2.08 c =============================================================================== 2.09/2.11 c core #100 2.09/2.11 c 2.09/2.11 c 2.09/2.11 c Core size: 36 Core Weight: 1 Total Weight: -229 2.09/2.11 c Current CPU time: 2.08168 s 2.09/2.11 c 2.09/2.11 c ============================[ Search Statistics ]============================== 2.09/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.11 c =============================================================================== 2.09/2.11 c | 0 | 2611 62689 187126 | 20896 0 -nan | 0.000 % | 2.09/2.11 c =============================================================================== 2.09/2.13 c core #101 2.09/2.13 c 2.09/2.13 c 2.09/2.13 c Core size: 30 Core Weight: 1 Total Weight: -228 2.09/2.13 c Current CPU time: 2.10868 s 2.09/2.13 c 2.09/2.13 c ============================[ Search Statistics ]============================== 2.09/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.13 c =============================================================================== 2.09/2.13 c | 0 | 2638 62694 187189 | 20898 0 -nan | 0.000 % | 2.09/2.13 c =============================================================================== 2.09/2.16 c core #102 2.09/2.16 c 2.09/2.16 c 2.09/2.16 c Core size: 24 Core Weight: 1 Total Weight: -227 2.09/2.16 c Current CPU time: 2.13468 s 2.09/2.16 c 2.09/2.16 c ============================[ Search Statistics ]============================== 2.09/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.16 c =============================================================================== 2.09/2.16 c | 0 | 2656 62698 187232 | 20899 0 -nan | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.18 c core #103 2.09/2.18 c 2.09/2.18 c 2.09/2.18 c Core size: 28 Core Weight: 1 Total Weight: -226 2.09/2.18 c Current CPU time: 2.16067 s 2.09/2.18 c 2.09/2.18 c ============================[ Search Statistics ]============================== 2.09/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.18 c =============================================================================== 2.09/2.18 c | 0 | 2676 62700 187274 | 20900 0 -nan | 0.000 % | 2.09/2.19 c =============================================================================== 2.20/2.21 c core #104 2.20/2.21 c 2.20/2.21 c 2.20/2.21 c Core size: 70 Core Weight: 1 Total Weight: -225 2.20/2.21 c Current CPU time: 2.18867 s 2.20/2.21 c 2.20/2.21 c ============================[ Search Statistics ]============================== 2.20/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.21 c =============================================================================== 2.20/2.21 c | 0 | 2730 62712 187409 | 20904 0 -nan | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.24 c core #105 2.20/2.24 c 2.20/2.24 c 2.20/2.24 c Core size: 74 Core Weight: 1 Total Weight: -224 2.20/2.24 c Current CPU time: 2.21766 s 2.20/2.24 c 2.20/2.24 c ============================[ Search Statistics ]============================== 2.20/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.24 c =============================================================================== 2.20/2.24 c | 0 | 2780 62720 187530 | 20906 0 -nan | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.27 c core #106 2.20/2.27 c 2.20/2.27 c 2.20/2.27 c Core size: 66 Core Weight: 1 Total Weight: -223 2.20/2.27 c Current CPU time: 2.24566 s 2.20/2.27 c 2.20/2.27 c ============================[ Search Statistics ]============================== 2.20/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.27 c =============================================================================== 2.20/2.27 c | 0 | 2828 62728 187645 | 20909 0 -nan | 0.000 % | 2.20/2.28 c | 101 | 2825 62728 187645 | 23000 101 8 | 0.742 % | 2.20/2.28 c =============================================================================== 2.20/2.30 c core #107 2.20/2.30 c 2.20/2.30 c 2.20/2.30 c Core size: 48 Core Weight: 1 Total Weight: -222 2.20/2.30 c Current CPU time: 2.27565 s 2.20/2.30 c 2.20/2.30 c ============================[ Search Statistics ]============================== 2.20/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.30 c =============================================================================== 2.20/2.30 c | 0 | 2861 62739 187736 | 20913 0 -nan | 0.000 % | 2.20/2.31 c | 101 | 2859 62739 187736 | 23004 101 12 | 0.384 % | 2.20/2.31 c | 251 | 2858 62739 187736 | 25304 251 12 | 0.523 % | 2.30/2.31 c | 477 | 2849 62739 187736 | 27835 477 13 | 2.094 % | 2.30/2.31 c =============================================================================== 2.30/2.34 c core #108 2.30/2.34 c 2.30/2.34 c 2.30/2.34 c Core size: 62 Core Weight: 1 Total Weight: -221 2.30/2.34 c Current CPU time: 2.31065 s 2.30/2.34 c 2.30/2.34 c ============================[ Search Statistics ]============================== 2.30/2.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.30/2.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.30/2.34 c =============================================================================== 2.30/2.34 c | 0 | 2905 62750 187847 | 20916 0 -nan | 0.000 % | 2.30/2.34 c | 100 | 2903 62750 187847 | 23008 100 22 | 0.412 % | 2.30/2.35 c | 251 | 2903 62750 187847 | 25309 251 23 | 0.412 % | 2.30/2.35 c | 477 | 2903 62750 187847 | 27840 477 22 | 0.412 % | 2.30/2.36 c | 814 | 2903 62750 187847 | 30624 814 22 | 0.412 % | 2.30/2.37 c | 1320 | 2902 62750 187847 | 33686 1320 22 | 0.412 % | 2.30/2.39 c | 2081 | 2901 62750 187847 | 37055 2081 22 | 0.412 % | 2.39/2.41 c =============================================================================== 2.39/2.44 c core #109 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 94 Core Weight: 1 Total Weight: -220 2.39/2.44 c Current CPU time: 2.40763 s 2.39/2.44 c 2.39/2.44 c ============================[ Search Statistics ]============================== 2.39/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.44 c =============================================================================== 2.39/2.44 c | 0 | 2985 62759 188029 | 20919 0 -nan | 0.000 % | 2.39/2.45 c | 101 | 2981 62759 188029 | 23011 101 7 | 1.170 % | 2.39/2.45 c =============================================================================== 2.39/2.48 c core #110 2.39/2.48 c 2.39/2.48 c 2.39/2.48 c Core size: 102 Core Weight: 1 Total Weight: -219 2.39/2.48 c Current CPU time: 2.44263 s 2.39/2.48 c 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 3065 62771 188217 | 20923 0 -nan | 0.000 % | 2.39/2.48 c | 104 | 3065 62771 188217 | 23016 104 24 | 0.293 % | 2.39/2.48 c | 258 | 3065 62771 188217 | 25317 258 31 | 0.293 % | 2.39/2.49 c | 486 | 3065 62771 188217 | 27849 486 32 | 0.293 % | 2.49/2.50 c | 824 | 3065 62771 188217 | 30634 824 31 | 0.293 % | 2.49/2.51 c | 1330 | 3065 62771 188217 | 33697 1330 29 | 0.293 % | 2.49/2.54 c | 2089 | 3065 62771 188217 | 37067 2089 27 | 0.293 % | 2.49/2.57 c =============================================================================== 2.59/2.60 c core #111 2.59/2.60 c 2.59/2.60 c 2.59/2.60 c Core size: 175 Core Weight: 1 Total Weight: -218 2.59/2.60 c Current CPU time: 2.56361 s 2.59/2.60 c 2.59/2.60 c ============================[ Search Statistics ]============================== 2.59/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.60 c =============================================================================== 2.59/2.60 c | 0 | 3207 62786 188539 | 20928 0 -nan | 0.000 % | 2.59/2.60 c | 103 | 3206 62786 188539 | 23021 103 14 | 0.342 % | 2.59/2.61 c | 254 | 3205 62786 188539 | 25323 254 15 | 0.342 % | 2.59/2.61 c | 479 | 3205 62786 188539 | 27856 479 17 | 0.342 % | 2.59/2.62 c | 817 | 3205 62786 188539 | 30641 817 17 | 0.342 % | 2.59/2.64 c | 1324 | 3205 62786 188539 | 33705 1324 18 | 0.342 % | 2.59/2.67 c =============================================================================== 2.69/2.70 c core #112 2.69/2.70 c 2.69/2.70 c 2.69/2.70 c Core size: 134 Core Weight: 1 Total Weight: -217 2.69/2.70 c Current CPU time: 2.66559 s 2.69/2.70 c 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 3328 62806 188828 | 20935 0 -nan | 0.000 % | 2.69/2.71 c | 101 | 3322 62806 188828 | 23028 101 15 | 0.539 % | 2.69/2.71 c | 252 | 3321 62806 188828 | 25331 252 14 | 0.779 % | 2.69/2.71 c | 479 | 3321 62806 188828 | 27864 479 15 | 0.809 % | 2.69/2.72 c | 817 | 3320 62806 188828 | 30651 817 15 | 0.809 % | 2.69/2.74 c | 1324 | 3316 62806 188828 | 33716 1324 16 | 0.809 % | 2.69/2.76 c =============================================================================== 2.69/2.78 c core #113 2.69/2.78 c 2.69/2.78 c 2.69/2.78 c Core size: 113 Core Weight: 1 Total Weight: -216 2.69/2.78 c Current CPU time: 2.74358 s 2.69/2.78 c 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 3414 62825 189048 | 20941 0 -nan | 0.000 % | 2.69/2.79 c | 102 | 3413 62825 189048 | 23035 102 23 | 0.382 % | 2.69/2.79 c | 253 | 3413 62825 189048 | 25339 253 19 | 0.379 % | 2.79/2.80 c | 480 | 3413 62825 189048 | 27873 480 20 | 0.379 % | 2.79/2.81 c | 818 | 3413 62825 189048 | 30660 818 21 | 0.379 % | 2.79/2.83 c | 1325 | 3413 62825 189048 | 33726 1325 22 | 0.379 % | 2.79/2.86 c | 2088 | 3413 62825 189048 | 37099 2088 24 | 0.379 % | 2.89/2.91 c | 3232 | 3413 62825 189048 | 40809 3232 26 | 0.379 % | 2.99/3.00 c | 4942 | 3413 62825 189048 | 44890 4942 28 | 0.380 % | 2.99/3.02 c =============================================================================== 2.99/3.07 c core #114 2.99/3.07 c 2.99/3.07 c 2.99/3.07 c Core size: 176 Core Weight: 1 Total Weight: -215 2.99/3.07 c Current CPU time: 3.01454 s 2.99/3.07 c 2.99/3.07 c ============================[ Search Statistics ]============================== 2.99/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.07 c =============================================================================== 2.99/3.07 c | 0 | 3553 62844 189377 | 20948 0 -nan | 0.000 % | 2.99/3.07 c | 105 | 3553 62844 189377 | 23042 105 32 | 0.365 % | 2.99/3.08 c | 255 | 3553 62844 189377 | 25347 255 25 | 0.365 % | 2.99/3.09 c | 480 | 3553 62844 189377 | 27881 480 22 | 0.365 % | 3.09/3.10 c | 818 | 3553 62844 189377 | 30669 818 25 | 0.365 % | 3.09/3.11 c | 1325 | 3553 62844 189377 | 33736 1325 24 | 0.365 % | 3.09/3.13 c | 2086 | 3553 62844 189377 | 37110 2086 27 | 0.365 % | 3.09/3.17 c | 3227 | 3553 62844 189377 | 40821 3227 28 | 0.365 % | 3.19/3.24 c | 4936 | 3553 62844 189377 | 44903 4936 28 | 0.365 % | 3.30/3.39 c | 7498 | 3553 62844 189377 | 49394 7498 29 | 0.365 % | 3.59/3.63 c | 11343 | 3553 62844 189377 | 54333 11343 30 | 0.365 % | 3.99/4.05 c | 17113 | 3546 62844 189377 | 59767 17113 32 | 0.617 % | 4.59/4.64 c =============================================================================== 4.69/4.78 c core #115 4.69/4.78 c 4.69/4.78 c 4.69/4.78 c Core size: 189 Core Weight: 1 Total Weight: -214 4.69/4.78 c Current CPU time: 4.67729 s 4.69/4.78 c 4.69/4.78 c ============================[ Search Statistics ]============================== 4.69/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.78 c =============================================================================== 4.69/4.78 c | 0 | 3708 62868 189751 | 20956 0 -nan | 0.000 % | 4.69/4.78 c | 103 | 3708 62868 189751 | 23051 103 33 | 0.349 % | 4.69/4.79 c | 253 | 3708 62868 189751 | 25356 253 38 | 0.349 % | 4.69/4.80 c | 478 | 3708 62868 189751 | 27892 478 39 | 0.349 % | 4.79/4.81 c | 817 | 3708 62868 189751 | 30681 817 47 | 0.349 % | 4.79/4.83 c | 1324 | 3708 62868 189751 | 33749 1324 54 | 0.349 % | 4.79/4.87 c | 2083 | 3708 62868 189751 | 37124 2083 54 | 0.349 % | 4.89/4.92 c | 3222 | 3708 62868 189751 | 40837 3222 52 | 0.349 % | 4.99/5.00 c | 4934 | 3708 62868 189751 | 44921 4934 57 | 0.349 % | 5.09/5.19 c | 7501 | 3708 62868 189751 | 49413 7501 60 | 0.349 % | 5.39/5.50 c | 11347 | 3708 62868 189751 | 54354 11347 62 | 0.349 % | 6.09/6.12 c | 17115 | 3708 62868 189751 | 59789 17115 68 | 0.349 % | 7.19/7.20 c | 25766 | 3708 62868 189751 | 65768 25766 69 | 0.349 % | 9.49/9.59 c | 38744 | 3708 62868 189751 | 72345 38744 73 | 0.349 % | 13.79/13.82 c | 58206 | 3708 62868 189751 | 79580 58206 75 | 0.349 % | 19.99/20.04 c | 87400 | 3708 62868 189751 | 87538 21649 76 | 0.349 % | 32.19/32.28 c | 131189 | 3708 62868 189751 | 96292 65438 79 | 0.349 % | 50.29/50.39 c | 196876 | 3708 62868 189751 | 105921 50382 75 | 0.349 % | 80.40/80.48 c | 295404 | 3708 62868 189751 | 116513 58733 83 | 0.349 % | 135.69/135.72 c | 443194 | 3708 62868 189751 | 128164 105327 79 | 0.349 % | 182.71/182.74 c =============================================================================== 187.00/187.11 c core #116 187.00/187.11 c 187.00/187.11 c 187.00/187.11 c Core size: 245 Core Weight: 1 Total Weight: -213 187.00/187.11 c Current CPU time: 186.083 s 187.00/187.11 c 187.00/187.11 c ============================[ Search Statistics ]============================== 187.00/187.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.00/187.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.00/187.11 c =============================================================================== 187.00/187.11 c | 0 | 3891 62896 190193 | 20965 0 -nan | 0.000 % | 187.11/187.12 c | 102 | 3891 62896 190193 | 23061 102 65 | 0.359 % | 187.11/187.12 c | 253 | 3891 62896 190193 | 25368 253 61 | 0.359 % | 187.11/187.13 c | 478 | 3891 62896 190193 | 27904 478 46 | 0.359 % | 187.11/187.14 c | 815 | 3891 62896 190193 | 30695 815 39 | 0.359 % | 187.11/187.17 c | 1321 | 3891 62896 190193 | 33764 1321 39 | 0.359 % | 187.19/187.21 c | 2081 | 3891 62896 190193 | 37141 2081 46 | 0.359 % | 187.29/187.30 c | 3220 | 3891 62896 190193 | 40855 3220 50 | 0.359 % | 187.39/187.43 c | 4932 | 3891 62896 190193 | 44941 4932 58 | 0.359 % | 187.59/187.64 c | 7494 | 3891 62896 190193 | 49435 7494 66 | 0.359 % | 187.99/188.01 c | 11341 | 3891 62896 190193 | 54378 11341 73 | 0.359 % | 188.59/188.64 c | 17122 | 3891 62896 190193 | 59816 17122 83 | 0.359 % | 189.99/190.06 c | 25775 | 3891 62896 190193 | 65798 25775 93 | 0.359 % | 191.59/191.69 c | 38750 | 3891 62896 190193 | 72378 38750 92 | 0.359 % | 195.90/195.97 c | 58211 | 3891 62896 190193 | 79615 58211 91 | 0.359 % | 204.29/204.30 c | 87405 | 3891 62896 190193 | 87577 22086 97 | 0.359 % | 217.19/217.25 c | 131195 | 3891 62896 190193 | 96335 65876 88 | 0.359 % | 241.49/241.52 c | 196879 | 3891 62896 190193 | 105968 49252 94 | 0.359 % | 290.69/290.71 c | 295407 | 3891 62896 190193 | 116565 57224 99 | 0.359 % | 381.10/381.16 c | 443197 | 3891 62896 190193 | 128222 105862 101 | 0.359 % | 474.60/474.67 c | 664882 | 3891 62896 190193 | 141044 102595 90 | 0.359 % | 650.22/650.26 c | 997407 | 3890 62896 190193 | 155148 59884 93 | 0.384 % | 985.51/985.53 c | 1496195 | 3890 62896 190193 | 170663 145647 112 | 0.384 % | 1615.22/1615.23 c | 2244377 | 3890 62896 190193 | 187729 129621 105 | 0.384 % |
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-3460131-1307118294/watcher-3460131-1307118294 -o /tmp/evaluation-result-3460131-1307118294/solver-3460131-1307118294 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460131-1307118294.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 2.00 1.99 1/468 26805 /proc/meminfo: memFree=20397676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=4980 CPUtime=0.01 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 545 0 0 0 1 0 0 0 22 0 1 0 823429028 5099520 498 33554432000 4194304 5714214 140736583453392 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 1245 499 210 372 0 363 0 [startup+0.10811 s] /proc/loadavg: 1.85 2.00 1.99 1/468 26805 /proc/meminfo: memFree=20397676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=8672 CPUtime=0.1 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 1848 0 0 0 10 0 0 0 23 0 1 0 823429028 8880128 1768 33554432000 4194304 5714214 140736583453392 18446744073709551615 4964958 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 2168 1768 577 372 0 1286 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 8672 [startup+0.201096 s] /proc/loadavg: 1.85 2.00 1.99 1/468 26805 /proc/meminfo: memFree=20397676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=11724 CPUtime=0.19 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 3414 0 0 0 19 0 0 0 23 0 1 0 823429028 12005376 2583 33554432000 4194304 5714214 140736583453392 18446744073709551615 4336794 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 2931 2583 175 372 0 2556 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11724 [startup+0.301078 s] /proc/loadavg: 1.85 2.00 1.99 1/468 26805 /proc/meminfo: memFree=20397676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=11492 CPUtime=0.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 3661 0 0 0 29 0 0 0 23 0 1 0 823429028 11767808 2578 33554432000 4194304 5714214 140736583453392 18446744073709551615 4956336 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 2873 2578 175 372 0 2498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11492 [startup+0.701117 s] /proc/loadavg: 1.85 2.00 1.99 1/468 26805 /proc/meminfo: memFree=20397676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=12288 CPUtime=0.69 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 3783 0 0 0 69 0 0 0 25 0 1 0 823429028 12582912 2700 33554432000 4194304 5714214 140736583453392 18446744073709551615 4345824 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 3072 2700 175 372 0 2697 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12288 [startup+1.50098 s] /proc/loadavg: 1.85 2.00 1.99 3/474 26816 /proc/meminfo: memFree=20367336/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=13888 CPUtime=1.49 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 4198 0 0 0 149 0 0 0 18 0 1 0 823429028 14221312 3115 33554432000 4194304 5714214 140736583453392 18446744073709551615 4964930 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 3472 3115 179 372 0 3097 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13888 [startup+3.10065 s] /proc/loadavg: 1.85 2.00 1.99 3/474 26816 /proc/meminfo: memFree=20362004/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=17084 CPUtime=3.09 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 5134 0 0 0 306 3 0 0 18 0 1 0 823429028 17494016 3895 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 4271 3895 180 372 0 3896 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17084 [startup+6.30102 s] /proc/loadavg: 1.94 2.01 1.99 3/474 26816 /proc/meminfo: memFree=20347376/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=24856 CPUtime=6.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 7069 0 0 0 621 8 0 0 25 0 1 0 823429028 25452544 5830 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 6214 5830 180 372 0 5839 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24856 [startup+12.7009 s] /proc/loadavg: 2.03 2.03 2.00 3/474 26817 /proc/meminfo: memFree=20319700/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=37452 CPUtime=12.69 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 10216 0 0 0 1258 11 0 0 25 0 1 0 823429028 38350848 8977 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 9363 8977 180 372 0 8988 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37452 [startup+25.5008 s] /proc/loadavg: 2.09 2.04 2.00 3/474 26817 /proc/meminfo: memFree=20288000/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=54328 CPUtime=25.49 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 14350 0 0 0 2532 17 0 0 25 0 1 0 823429028 55631872 13111 33554432000 4194304 5714214 140736583453392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 13582 13111 180 372 0 13207 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54328 [startup+51.1012 s] /proc/loadavg: 2.06 2.04 2.00 3/474 26818 /proc/meminfo: memFree=20236256/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=76128 CPUtime=51.09 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 19604 0 0 0 5082 27 0 0 25 0 1 0 823429028 77955072 18365 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 19032 18365 180 372 0 18657 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 76128 [startup+102.301 s] /proc/loadavg: 2.12 2.06 2.01 3/474 26819 /proc/meminfo: memFree=20166296/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=110608 CPUtime=102.3 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 27937 0 0 0 10188 42 0 0 25 0 1 0 823429028 113262592 26698 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 27652 26698 180 372 0 27277 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 110608 [startup+162.301 s] /proc/loadavg: 2.04 2.05 2.00 3/474 26821 /proc/meminfo: memFree=20103636/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=138560 CPUtime=162.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 34894 0 0 0 16167 62 0 0 25 0 1 0 823429028 141885440 33655 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 34640 33655 180 372 0 34265 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 138560 [startup+222.318 s] /proc/loadavg: 2.01 2.04 2.00 3/474 26822 /proc/meminfo: memFree=20038000/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=175540 CPUtime=222.31 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 44321 0 0 0 22147 84 0 0 25 0 1 0 823429028 179752960 42831 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 43885 42831 180 372 0 43510 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 175540 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 26824 /proc/meminfo: memFree=20016404/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=175540 CPUtime=282.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 44478 0 0 0 28134 95 0 0 25 0 1 0 823429028 179752960 42988 33554432000 4194304 5714214 140736583453392 18446744073709551615 4311600 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 43885 42988 180 372 0 43510 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 175540 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26825 /proc/meminfo: memFree=19981516/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=175540 CPUtime=342.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 44758 0 0 0 34125 104 0 0 25 0 1 0 823429028 179752960 43268 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 43885 43268 180 372 0 43510 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 175540 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26827 /proc/meminfo: memFree=19957676/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=175540 CPUtime=402.29 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 44865 0 0 0 40112 117 0 0 25 0 1 0 823429028 179752960 43375 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 43885 43375 180 372 0 43510 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 175540 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26829 /proc/meminfo: memFree=19914872/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=182044 CPUtime=462.3 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 46578 0 0 0 46094 136 0 0 25 0 1 0 823429028 186413056 45088 33554432000 4194304 5714214 140736583453392 18446744073709551615 4320159 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 45511 45088 180 372 0 45136 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 182044 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26830 /proc/meminfo: memFree=19878016/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=206704 CPUtime=522.3 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 52588 0 0 0 52079 151 0 0 25 0 1 0 823429028 211664896 51098 33554432000 4194304 5714214 140736583453392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 51676 51098 180 372 0 51301 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 206704 [startup+582.301 s] /proc/loadavg: 2.13 2.03 2.01 3/474 26832 /proc/meminfo: memFree=19840776/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=228412 CPUtime=582.3 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 57769 0 0 0 58068 162 0 0 25 0 1 0 823429028 233893888 56279 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 57103 56279 180 372 0 56728 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 228412 [startup+642.301 s] ################ # More data... # ################ [startup+882.318 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26840 /proc/meminfo: memFree=19638704/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=317180 CPUtime=882.33 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 79500 0 0 0 88011 222 0 0 25 0 1 0 823429028 324792320 78010 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 79295 78010 180 372 0 78920 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 317180 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26841 /proc/meminfo: memFree=19591912/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=335584 CPUtime=942.31 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 83924 0 0 0 93997 234 0 0 25 0 1 0 823429028 343638016 82434 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 83896 82434 180 372 0 83521 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 335584 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26843 /proc/meminfo: memFree=19538808/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=357112 CPUtime=1002.31 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 89176 0 0 0 99984 247 0 0 25 0 1 0 823429028 365682688 87686 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 89278 87686 180 372 0 88903 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 357112 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26845 /proc/meminfo: memFree=19530832/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=365736 CPUtime=1062.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 91082 0 0 0 105971 261 0 0 25 0 1 0 823429028 374513664 89592 33554432000 4194304 5714214 140736583453392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 91434 89592 180 372 0 91059 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 365736 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26846 /proc/meminfo: memFree=19432948/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=390152 CPUtime=1122.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 97185 0 0 0 111962 270 0 0 25 0 1 0 823429028 399515648 95695 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 97538 95695 180 372 0 97163 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 390152 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.01 3/474 26848 /proc/meminfo: memFree=19421148/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=397288 CPUtime=1182.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 98908 0 0 0 117954 278 0 0 25 0 1 0 823429028 406822912 97418 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 99322 97418 180 372 0 98947 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 397288 [startup+1242.3 s] /proc/loadavg: 2.13 2.06 2.02 3/474 26849 /proc/meminfo: memFree=19408704/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=409060 CPUtime=1242.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 101752 0 0 0 123946 286 0 0 25 0 1 0 823429028 418877440 100262 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 102265 100262 180 372 0 101890 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 409060 [startup+1302.3 s] /proc/loadavg: 2.05 2.05 2.01 3/474 26851 /proc/meminfo: memFree=19386596/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=429916 CPUtime=1302.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 106982 0 0 0 129935 297 0 0 25 0 1 0 823429028 440233984 105492 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 107479 105492 180 372 0 107104 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 429916 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/474 26853 /proc/meminfo: memFree=19386820/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=429916 CPUtime=1362.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 107047 0 0 0 135926 306 0 0 25 0 1 0 823429028 440233984 105557 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 107479 105557 180 372 0 107104 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 429916 [startup+1422.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 26854 /proc/meminfo: memFree=19368180/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=449184 CPUtime=1422.34 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 111809 0 0 0 141918 316 0 0 25 0 1 0 823429028 459964416 110319 33554432000 4194304 5714214 140736583453392 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 112296 110319 180 372 0 111921 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 449184 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26856 /proc/meminfo: memFree=19364780/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=451132 CPUtime=1482.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 112207 0 0 0 147902 330 0 0 25 0 1 0 823429028 461959168 110717 33554432000 4194304 5714214 140736583453392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 112783 110717 180 372 0 112408 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 451132 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.00 3/474 26857 /proc/meminfo: memFree=19356312/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=460324 CPUtime=1542.34 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 114386 0 0 0 153897 337 0 0 25 0 1 0 823429028 471371776 112896 33554432000 4194304 5714214 140736583453392 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 115081 112896 180 372 0 114706 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 460324 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 26859 /proc/meminfo: memFree=19353796/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=462756 CPUtime=1602.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 114922 0 0 0 159883 349 0 0 25 0 1 0 823429028 473862144 113432 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 115689 113432 180 372 0 115314 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 462756 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 26861 /proc/meminfo: memFree=19335036/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=481776 CPUtime=1662.32 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 119605 0 0 0 165874 358 0 0 25 0 1 0 823429028 493338624 118115 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 120444 118115 180 372 0 120069 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 481776 [startup+1722.3 s] /proc/loadavg: 2.10 2.03 2.01 3/474 26862 /proc/meminfo: memFree=19320492/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=495632 CPUtime=1722.33 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 123088 0 0 0 171863 370 0 0 25 0 1 0 823429028 507527168 121598 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 123908 121598 180 372 0 123533 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 495632 [startup+1782.3 s] /proc/loadavg: 2.18 2.07 2.02 3/474 26864 /proc/meminfo: memFree=19315124/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=499160 CPUtime=1782.33 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 123920 0 0 0 177851 382 0 0 25 0 1 0 823429028 511139840 122430 33554432000 4194304 5714214 140736583453392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 124790 122430 180 372 0 124415 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 499160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.13 2.06 2.02 3/474 26864 /proc/meminfo: memFree=19304568/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=510924 CPUtime=1800.05 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 126724 0 0 0 179619 386 0 0 25 0 1 0 823429028 523186176 125234 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 127731 125234 180 372 0 127356 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 510924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.13 2.06 2.02 3/474 26864 /proc/meminfo: memFree=19304568/32950928 swapFree=61858088/67111528 [pid=26805] ppid=26803 vsize=510924 CPUtime=1800.05 cores=0,2,4,6 /proc/26805/stat : 26805 (wbo1.6) R 26803 26805 24628 0 -1 4202496 126724 0 0 0 179619 386 0 0 25 0 1 0 823429028 523186176 125234 33554432000 4194304 5714214 140736583453392 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/26805/statm: 127731 125234 180 372 0 127356 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 510924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.08 CPU user time (s): 1796.2 CPU system time (s): 3.88441 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 510924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.2 system time used= 3.88441 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126724 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= 32 involuntary context switches= 2097 runsolver used 8.74067 second user time and 19.0691 second system time The end
Begin job on node125 at 2011-06-03 18:24:54 IDJOB=3460131 IDBENCH=71830 IDSOLVER=1953 FILE ID=node125/3460131-1307118294 RUNJOBID= node125-1307118293-26795 PBS_JOBID= 13497977 Free space on /tmp= 73760 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460131-1307118294/watcher-3460131-1307118294 -o /tmp/evaluation-result-3460131-1307118294/solver-3460131-1307118294 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460131-1307118294.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305 RANDOM SEED=349062790 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20397956 kB Buffers: 344308 kB Cached: 3495284 kB SwapCached: 3616 kB Active: 8839036 kB Inactive: 3369284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20397956 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 8366288 kB Mapped: 33776 kB Slab: 214384 kB PageTables: 61504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130004028 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= 73748 MiB End job on node125 at 2011-06-03 18:54:56