Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.25 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb |
MD5SUM | a25a52544be0f6847f2aa8f54184e900 |
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 | -68 |
Best CPU time to get the best result obtained on this benchmark | 0.995848 |
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 | 29069 |
Number of constraints which are clauses | 29069 |
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-3460126-1307117638.opb. 0.00/0.00 c Instance file HOME/instance-3460126-1307117638.opb 0.00/0.00 c File size is 961894 bytes. 0.05/0.06 c Highest Coefficient sum: 4 0.05/0.06 c ============================[ Problem Statistics ]============================= 0.05/0.06 c | | 0.05/0.06 c | Parsing time: 0.06 s | 0.05/0.06 c | Number Variables: 2025 | 0.05/0.06 c | Number Clauses: 29069 | 0.05/0.06 c | Number Cardinality: 0 | 0.05/0.06 c | Number PB Constraints: 0 | 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 2025 29069 86037 | 9689 0 -nan | 0.000 % | 0.39/0.41 c core #1 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -346 0.39/0.41 c Current CPU time: 0.076988 s 0.39/0.41 c 0.39/0.41 c core #2 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -345 0.39/0.41 c Current CPU time: 0.084987 s 0.39/0.41 c 0.39/0.41 c core #3 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -343 0.39/0.41 c Current CPU time: 0.091986 s 0.39/0.41 c 0.39/0.41 c core #4 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -341 0.39/0.41 c Current CPU time: 0.099984 s 0.39/0.41 c 0.39/0.41 c core #5 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 3 Total Weight: -338 0.39/0.41 c Current CPU time: 0.107983 s 0.39/0.41 c 0.39/0.41 c core #6 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 1 Total Weight: -337 0.39/0.41 c Current CPU time: 0.114982 s 0.39/0.41 c 0.39/0.41 c core #7 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 2 Total Weight: -335 0.39/0.41 c Current CPU time: 0.122981 s 0.39/0.41 c 0.39/0.41 c core #8 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -334 0.39/0.41 c Current CPU time: 0.13098 s 0.39/0.41 c 0.39/0.41 c core #9 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 2 Total Weight: -332 0.39/0.41 c Current CPU time: 0.137979 s 0.39/0.41 c 0.39/0.41 c core #10 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -331 0.39/0.41 c Current CPU time: 0.145977 s 0.39/0.41 c 0.39/0.41 c core #11 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -330 0.39/0.41 c Current CPU time: 0.153976 s 0.39/0.41 c 0.39/0.41 c core #12 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 4 Total Weight: -326 0.39/0.41 c Current CPU time: 0.161975 s 0.39/0.41 c 0.39/0.41 c core #13 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 2 Total Weight: -324 0.39/0.41 c Current CPU time: 0.168974 s 0.39/0.41 c 0.39/0.41 c core #14 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -323 0.39/0.41 c Current CPU time: 0.176973 s 0.39/0.41 c 0.39/0.41 c core #15 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -322 0.39/0.41 c Current CPU time: 0.184971 s 0.39/0.41 c 0.39/0.41 c core #16 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -321 0.39/0.41 c Current CPU time: 0.19297 s 0.39/0.41 c 0.39/0.41 c core #17 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 2 Total Weight: -319 0.39/0.41 c Current CPU time: 0.200969 s 0.39/0.41 c 0.39/0.41 c core #18 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 1 Total Weight: -318 0.39/0.41 c Current CPU time: 0.208968 s 0.39/0.41 c 0.39/0.41 c core #19 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -316 0.39/0.41 c Current CPU time: 0.216967 s 0.39/0.41 c 0.39/0.41 c core #20 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -315 0.39/0.41 c Current CPU time: 0.224965 s 0.39/0.41 c 0.39/0.41 c core #21 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 4 Total Weight: -311 0.39/0.41 c Current CPU time: 0.232964 s 0.39/0.41 c 0.39/0.41 c core #22 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -310 0.39/0.41 c Current CPU time: 0.240963 s 0.39/0.41 c 0.39/0.41 c core #23 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -309 0.39/0.41 c Current CPU time: 0.248962 s 0.39/0.41 c 0.39/0.41 c core #24 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 2 Total Weight: -307 0.39/0.41 c Current CPU time: 0.25696 s 0.39/0.41 c 0.39/0.41 c core #25 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -306 0.39/0.41 c Current CPU time: 0.264959 s 0.39/0.41 c 0.39/0.41 c core #26 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 1 Total Weight: -305 0.39/0.41 c Current CPU time: 0.272958 s 0.39/0.41 c 0.39/0.41 c core #27 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -304 0.39/0.41 c Current CPU time: 0.281957 s 0.39/0.41 c 0.39/0.41 c core #28 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -303 0.39/0.41 c Current CPU time: 0.289955 s 0.39/0.41 c 0.39/0.41 c core #29 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 2 Total Weight: -301 0.39/0.41 c Current CPU time: 0.297954 s 0.39/0.41 c 0.39/0.41 c core #30 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 7 Core Weight: 1 Total Weight: -300 0.39/0.41 c Current CPU time: 0.306953 s 0.39/0.41 c 0.39/0.41 c core #31 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -298 0.39/0.41 c Current CPU time: 0.314952 s 0.39/0.41 c 0.39/0.41 c core #32 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -297 0.39/0.41 c Current CPU time: 0.32395 s 0.39/0.41 c 0.39/0.41 c core #33 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -295 0.39/0.41 c Current CPU time: 0.331949 s 0.39/0.41 c 0.39/0.41 c core #34 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 2 Total Weight: -293 0.39/0.41 c Current CPU time: 0.340948 s 0.39/0.41 c 0.39/0.41 c core #35 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 1 Total Weight: -292 0.39/0.41 c Current CPU time: 0.348946 s 0.39/0.41 c 0.39/0.41 c core #36 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -290 0.39/0.41 c Current CPU time: 0.357945 s 0.39/0.41 c 0.39/0.41 c core #37 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -289 0.39/0.41 c Current CPU time: 0.365944 s 0.39/0.41 c 0.39/0.41 c core #38 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -288 0.39/0.41 c Current CPU time: 0.374943 s 0.39/0.41 c 0.39/0.41 c core #39 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -287 0.39/0.41 c Current CPU time: 0.382941 s 0.39/0.41 c 0.39/0.41 c core #40 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 4 Total Weight: -283 0.39/0.41 c Current CPU time: 0.39194 s 0.39/0.41 c 0.39/0.41 c core #41 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -282 0.39/0.41 c Current CPU time: 0.400939 s 0.39/0.41 c 0.39/0.41 c core #42 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 5 Core Weight: 3 Total Weight: -279 0.79/0.83 c Current CPU time: 0.408937 s 0.79/0.83 c 0.79/0.83 c core #43 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: -278 0.79/0.83 c Current CPU time: 0.417936 s 0.79/0.83 c 0.79/0.83 c core #44 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 6 Core Weight: 1 Total Weight: -277 0.79/0.83 c Current CPU time: 0.426935 s 0.79/0.83 c 0.79/0.83 c core #45 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 7 Core Weight: 1 Total Weight: -276 0.79/0.83 c Current CPU time: 0.435933 s 0.79/0.83 c 0.79/0.83 c core #46 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: -275 0.79/0.83 c Current CPU time: 0.444932 s 0.79/0.83 c 0.79/0.83 c core #47 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: -274 0.79/0.83 c Current CPU time: 0.45393 s 0.79/0.83 c 0.79/0.83 c core #48 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 5 Core Weight: 1 Total Weight: -273 0.79/0.83 c Current CPU time: 0.462929 s 0.79/0.83 c 0.79/0.83 c core #49 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 7 Core Weight: 2 Total Weight: -271 0.79/0.83 c Current CPU time: 0.471928 s 0.79/0.83 c 0.79/0.83 c core #50 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 6 Core Weight: 2 Total Weight: -269 0.79/0.83 c Current CPU time: 0.480926 s 0.79/0.83 c 0.79/0.83 c core #51 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -268 0.79/0.83 c Current CPU time: 0.489925 s 0.79/0.83 c 0.79/0.83 c core #52 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 2 Total Weight: -266 0.79/0.83 c Current CPU time: 0.498924 s 0.79/0.83 c 0.79/0.83 c core #53 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -265 0.79/0.83 c Current CPU time: 0.508922 s 0.79/0.83 c 0.79/0.83 c core #54 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -264 0.79/0.83 c Current CPU time: 0.517921 s 0.79/0.83 c 0.79/0.83 c core #55 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 2 Total Weight: -262 0.79/0.83 c Current CPU time: 0.527919 s 0.79/0.83 c 0.79/0.83 c core #56 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -261 0.79/0.83 c Current CPU time: 0.537918 s 0.79/0.83 c 0.79/0.83 c core #57 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -260 0.79/0.83 c Current CPU time: 0.547916 s 0.79/0.83 c 0.79/0.83 c core #58 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -259 0.79/0.83 c Current CPU time: 0.557915 s 0.79/0.83 c 0.79/0.83 c core #59 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 14 Core Weight: 1 Total Weight: -258 0.79/0.83 c Current CPU time: 0.567913 s 0.79/0.83 c 0.79/0.83 c core #60 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -257 0.79/0.83 c Current CPU time: 0.577912 s 0.79/0.83 c 0.79/0.83 c core #61 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -256 0.79/0.83 c Current CPU time: 0.58791 s 0.79/0.83 c 0.79/0.83 c core #62 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -255 0.79/0.83 c Current CPU time: 0.598908 s 0.79/0.83 c 0.79/0.83 c core #63 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -254 0.79/0.83 c Current CPU time: 0.609907 s 0.79/0.83 c 0.79/0.83 c core #64 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -253 0.79/0.83 c Current CPU time: 0.619905 s 0.79/0.83 c 0.79/0.83 c core #65 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -252 0.79/0.83 c Current CPU time: 0.630904 s 0.79/0.83 c 0.79/0.83 c core #66 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -251 0.79/0.83 c Current CPU time: 0.641902 s 0.79/0.83 c 0.79/0.83 c core #67 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -250 0.79/0.83 c Current CPU time: 0.6529 s 0.79/0.83 c 0.79/0.83 c core #68 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -249 0.79/0.83 c Current CPU time: 0.663899 s 0.79/0.83 c 0.79/0.83 c core #69 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 13 Core Weight: 1 Total Weight: -248 0.79/0.83 c Current CPU time: 0.674897 s 0.79/0.83 c 0.79/0.83 c core #70 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 2 Total Weight: -246 0.79/0.83 c Current CPU time: 0.685895 s 0.79/0.83 c 0.79/0.83 c core #71 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -245 0.79/0.83 c Current CPU time: 0.696894 s 0.79/0.83 c 0.79/0.83 c core #72 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -244 0.79/0.83 c Current CPU time: 0.707892 s 0.79/0.83 c 0.79/0.83 c core #73 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -243 0.79/0.83 c Current CPU time: 0.71989 s 0.79/0.83 c 0.79/0.83 c core #74 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -242 0.79/0.83 c Current CPU time: 0.730888 s 0.79/0.83 c 0.79/0.83 c core #75 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 10 Core Weight: 1 Total Weight: -241 0.79/0.83 c Current CPU time: 0.741887 s 0.79/0.83 c 0.79/0.83 c core #76 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -240 0.79/0.83 c Current CPU time: 0.753885 s 0.79/0.83 c 0.79/0.83 c core #77 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 8 Core Weight: 1 Total Weight: -239 0.79/0.83 c Current CPU time: 0.764883 s 0.79/0.83 c 0.79/0.83 c core #78 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 2 Total Weight: -237 0.79/0.83 c Current CPU time: 0.775882 s 0.79/0.83 c 0.79/0.83 c core #79 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -236 0.79/0.83 c Current CPU time: 0.78788 s 0.79/0.83 c 0.79/0.83 c core #80 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 12 Core Weight: 1 Total Weight: -235 0.79/0.83 c Current CPU time: 0.798878 s 0.79/0.83 c 0.79/0.83 c core #81 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -234 0.79/0.83 c Current CPU time: 0.810876 s 0.79/0.83 c 0.79/0.83 c core #82 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 13 Core Weight: 1 Total Weight: -233 0.79/0.83 c Current CPU time: 0.821875 s 0.79/0.83 c 0.79/0.83 c core #83 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 16 Core Weight: 1 Total Weight: -232 0.79/0.83 c Current CPU time: 0.833873 s 0.79/0.89 c 0.79/0.89 c core #84 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 9 Core Weight: 1 Total Weight: -231 0.79/0.89 c Current CPU time: 0.844871 s 0.79/0.89 c 0.79/0.89 c core #85 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 11 Core Weight: 1 Total Weight: -230 0.79/0.89 c Current CPU time: 0.856869 s 0.79/0.89 c 0.79/0.89 c core #86 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 9 Core Weight: 2 Total Weight: -228 0.79/0.89 c Current CPU time: 0.867868 s 0.79/0.89 c 0.79/0.89 c core #87 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 8 Core Weight: 1 Total Weight: -227 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 | 2243 29410 86258 | 9803 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #88 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 9 Core Weight: 1 Total Weight: -226 0.89/0.90 c Current CPU time: 0.891864 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 | 2258 29414 86410 | 9804 0 -nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #89 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 8 Core Weight: 1 Total Weight: -225 0.89/0.91 c Current CPU time: 0.903862 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 | 2262 29418 86421 | 9806 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.93 c core #90 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 16 Core Weight: 1 Total Weight: -224 0.89/0.93 c Current CPU time: 0.91586 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2278 29419 86633 | 9806 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #91 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 19 Core Weight: 1 Total Weight: -223 0.89/0.94 c Current CPU time: 0.927858 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 | 2285 29421 86646 | 9807 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #92 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 13 Core Weight: 1 Total Weight: -222 0.89/0.95 c Current CPU time: 0.939857 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2296 29424 86826 | 9808 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #93 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 9 Core Weight: 1 Total Weight: -221 0.89/0.96 c Current CPU time: 0.951855 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 | 2300 29427 86836 | 9809 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #94 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 11 Core Weight: 1 Total Weight: -220 0.89/0.97 c Current CPU time: 0.963853 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 | 2305 29432 86852 | 9810 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.99 c core #95 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 9 Core Weight: 1 Total Weight: -219 0.89/0.99 c Current CPU time: 0.974851 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 | 2312 29433 86888 | 9811 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/1.01 c core #96 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 10 Core Weight: 1 Total Weight: -218 0.89/1.01 c Current CPU time: 0.986849 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 | 2320 29441 86919 | 9813 0 -nan | 0.000 % | 0.89/1.01 c =============================================================================== 0.89/1.01 c core #97 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 13 Core Weight: 1 Total Weight: -217 0.89/1.01 c Current CPU time: 0.999848 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 | 2329 29444 86941 | 9814 0 -nan | 0.000 % | 0.89/1.01 c =============================================================================== 1.01/1.02 c core #98 1.01/1.02 c 1.01/1.02 c 1.01/1.02 c Core size: 12 Core Weight: 1 Total Weight: -216 1.01/1.02 c Current CPU time: 1.01285 s 1.01/1.02 c 1.01/1.02 c ============================[ Search Statistics ]============================== 1.01/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.02 c =============================================================================== 1.01/1.02 c | 0 | 2338 29450 86969 | 9816 0 -nan | 0.000 % | 1.01/1.03 c =============================================================================== 1.01/1.04 c core #99 1.01/1.04 c 1.01/1.04 c 1.01/1.04 c Core size: 10 Core Weight: 1 Total Weight: -215 1.01/1.04 c Current CPU time: 1.02484 s 1.01/1.04 c 1.01/1.04 c ============================[ Search Statistics ]============================== 1.01/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.04 c =============================================================================== 1.01/1.04 c | 0 | 2344 29453 86986 | 9817 0 -nan | 0.000 % | 1.01/1.04 c =============================================================================== 1.01/1.05 c core #100 1.01/1.05 c 1.01/1.05 c 1.01/1.05 c Core size: 35 Core Weight: 1 Total Weight: -214 1.01/1.05 c Current CPU time: 1.03684 s 1.01/1.05 c 1.01/1.05 c ============================[ Search Statistics ]============================== 1.01/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.05 c =============================================================================== 1.01/1.05 c | 0 | 2361 29457 87027 | 9819 0 -nan | 0.000 % | 1.01/1.05 c =============================================================================== 1.01/1.06 c core #101 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 17 Core Weight: 1 Total Weight: -213 1.01/1.06 c Current CPU time: 1.04984 s 1.01/1.06 c 1.01/1.06 c ============================[ Search Statistics ]============================== 1.01/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.06 c =============================================================================== 1.01/1.06 c | 0 | 2372 29461 87055 | 9820 0 -nan | 0.000 % | 1.01/1.06 c =============================================================================== 1.01/1.07 c core #102 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 10 Core Weight: 2 Total Weight: -211 1.01/1.07 c Current CPU time: 1.06184 s 1.01/1.07 c 1.01/1.07 c ============================[ Search Statistics ]============================== 1.01/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.07 c =============================================================================== 1.01/1.07 c | 0 | 2374 29465 87065 | 9821 0 -nan | 0.000 % | 1.01/1.07 c =============================================================================== 1.01/1.09 c core #103 1.01/1.09 c 1.01/1.09 c 1.01/1.09 c Core size: 8 Core Weight: 1 Total Weight: -210 1.01/1.09 c Current CPU time: 1.07384 s 1.01/1.09 c 1.01/1.09 c ============================[ Search Statistics ]============================== 1.01/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.09 c =============================================================================== 1.01/1.09 c | 0 | 2379 29472 87088 | 9824 0 -nan | 0.000 % | 1.01/1.09 c =============================================================================== 1.01/1.10 c core #104 1.01/1.10 c 1.01/1.10 c 1.01/1.10 c Core size: 17 Core Weight: 1 Total Weight: -209 1.01/1.10 c Current CPU time: 1.08583 s 1.01/1.10 c 1.01/1.10 c ============================[ Search Statistics ]============================== 1.01/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.10 c =============================================================================== 1.01/1.10 c | 0 | 2389 29476 87115 | 9825 0 -nan | 0.000 % | 1.01/1.10 c =============================================================================== 1.01/1.11 c core #105 1.01/1.11 c 1.01/1.11 c 1.01/1.11 c Core size: 15 Core Weight: 1 Total Weight: -208 1.01/1.11 c Current CPU time: 1.09783 s 1.01/1.11 c 1.01/1.11 c ============================[ Search Statistics ]============================== 1.01/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.11 c =============================================================================== 1.01/1.11 c | 0 | 2395 29478 87129 | 9826 0 -nan | 0.000 % | 1.01/1.11 c =============================================================================== 1.11/1.12 c core #106 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 10 Core Weight: 1 Total Weight: -207 1.11/1.12 c Current CPU time: 1.10983 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 2402 29480 87146 | 9826 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.13 c core #107 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 12 Core Weight: 1 Total Weight: -206 1.11/1.13 c Current CPU time: 1.12183 s 1.11/1.13 c 1.11/1.13 c ============================[ Search Statistics ]============================== 1.11/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.13 c =============================================================================== 1.11/1.13 c | 0 | 2408 29485 87166 | 9828 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.15 c core #108 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 8 Core Weight: 1 Total Weight: -205 1.11/1.15 c Current CPU time: 1.13483 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 2410 29488 87174 | 9829 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.17 c core #109 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 10 Core Weight: 1 Total Weight: -204 1.11/1.17 c Current CPU time: 1.14682 s 1.11/1.17 c 1.11/1.17 c core #110 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 11 Core Weight: 1 Total Weight: -203 1.11/1.17 c Current CPU time: 1.15782 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 2416 29491 87188 | 9830 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.18 c core #111 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 14 Core Weight: 1 Total Weight: -202 1.11/1.18 c Current CPU time: 1.17082 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 2421 29494 87202 | 9831 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.19 c core #112 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 12 Core Weight: 1 Total Weight: -201 1.11/1.19 c Current CPU time: 1.18182 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 2427 29495 87214 | 9831 0 -nan | 0.000 % | 1.11/1.19 c =============================================================================== 1.19/1.22 c core #113 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 7 Core Weight: 2 Total Weight: -199 1.19/1.22 c Current CPU time: 1.19482 s 1.19/1.22 c 1.19/1.22 c core #114 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 8 Core Weight: 1 Total Weight: -198 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 | 2430 29498 87222 | 9832 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.23 c core #115 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 6 Core Weight: 1 Total Weight: -197 1.19/1.23 c Current CPU time: 1.21881 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 | 2432 29501 87230 | 9833 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.25 c core #116 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 7 Core Weight: 1 Total Weight: -196 1.19/1.25 c Current CPU time: 1.23081 s 1.19/1.25 c 1.19/1.25 c core #117 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 9 Core Weight: 2 Total Weight: -194 1.19/1.25 c Current CPU time: 1.24281 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 2437 29504 87242 | 9834 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.27 c core #118 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 28 Core Weight: 1 Total Weight: -193 1.19/1.27 c Current CPU time: 1.25481 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 | 2452 29507 87276 | 9835 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #119 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 15 Core Weight: 1 Total Weight: -192 1.19/1.28 c Current CPU time: 1.26681 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 | 2460 29509 87294 | 9836 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #120 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 25 Core Weight: 1 Total Weight: -191 1.19/1.29 c Current CPU time: 1.27981 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 | 2456 29512 87325 | 9837 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #121 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 29 Core Weight: 1 Total Weight: -190 1.29/1.30 c Current CPU time: 1.2918 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 | 2477 29515 87343 | 9838 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.32 c core #122 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 11 Core Weight: 1 Total Weight: -189 1.29/1.32 c Current CPU time: 1.3048 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 | 2489 29520 87371 | 9840 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #123 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 14 Core Weight: 1 Total Weight: -188 1.29/1.33 c Current CPU time: 1.3168 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 | 2489 29528 87389 | 9842 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #124 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 15 Core Weight: 1 Total Weight: -187 1.29/1.34 c Current CPU time: 1.3288 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 | 2501 29532 87417 | 9844 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #125 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 34 Core Weight: 1 Total Weight: -186 1.29/1.35 c Current CPU time: 1.3418 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 | 2517 29537 87457 | 9845 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.37 c core #126 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 33 Core Weight: 1 Total Weight: -185 1.29/1.37 c Current CPU time: 1.35379 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 | 2542 29540 87513 | 9846 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.38 c core #127 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 15 Core Weight: 1 Total Weight: -184 1.29/1.38 c Current CPU time: 1.36679 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 2553 29543 87539 | 9847 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #128 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 7 Core Weight: 1 Total Weight: -183 1.29/1.39 c Current CPU time: 1.37879 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 | 2554 29545 87543 | 9848 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #129 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 7 Core Weight: 1 Total Weight: -182 1.39/1.40 c Current CPU time: 1.39079 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 | 2553 29547 87549 | 9849 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.42 c core #130 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 13 Core Weight: 1 Total Weight: -181 1.39/1.42 c Current CPU time: 1.40379 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 | 2565 29552 87575 | 9850 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #131 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 23 Core Weight: 1 Total Weight: -180 1.39/1.43 c Current CPU time: 1.41578 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 2577 29556 87606 | 9852 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #132 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 22 Core Weight: 1 Total Weight: -179 1.39/1.44 c Current CPU time: 1.42878 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 | 2586 29564 87641 | 9854 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #133 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 34 Core Weight: 1 Total Weight: -178 1.39/1.45 c Current CPU time: 1.44178 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 | 2610 29570 87699 | 9856 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.47 c core #134 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 21 Core Weight: 1 Total Weight: -177 1.39/1.47 c Current CPU time: 1.45378 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 | 2618 29571 87715 | 9857 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #135 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 25 Core Weight: 1 Total Weight: -176 1.39/1.48 c Current CPU time: 1.46678 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 2632 29573 87746 | 9857 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #136 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 49 Core Weight: 1 Total Weight: -175 1.39/1.49 c Current CPU time: 1.48077 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 | 2660 29576 87808 | 9858 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.51 c core #137 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 55 Core Weight: 1 Total Weight: -174 1.49/1.51 c Current CPU time: 1.49477 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 | 2712 29588 87940 | 9862 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.52 c core #138 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 13 Core Weight: 1 Total Weight: -173 1.49/1.52 c Current CPU time: 1.50877 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 2717 29596 87966 | 9865 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.53 c core #139 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 40 Core Weight: 1 Total Weight: -172 1.49/1.53 c Current CPU time: 1.52277 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 | 2745 29605 88041 | 9868 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.55 c core #140 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 7 Core Weight: 2 Total Weight: -170 1.49/1.55 c Current CPU time: 1.53577 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 2748 29609 88055 | 9869 0 -nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.56 c core #141 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 7 Core Weight: 1 Total Weight: -169 1.49/1.56 c Current CPU time: 1.54876 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 | 2751 29610 88061 | 9870 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #142 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 8 Core Weight: 1 Total Weight: -168 1.49/1.57 c Current CPU time: 1.56176 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 2756 29617 88086 | 9872 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.59 c core #143 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 11 Core Weight: 1 Total Weight: -167 1.49/1.59 c Current CPU time: 1.57376 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 2762 29622 88107 | 9874 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.59/1.60 c core #144 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 13 Core Weight: 1 Total Weight: -166 1.59/1.60 c Current CPU time: 1.58676 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 2771 29629 88140 | 9876 0 -nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.61 c core #145 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 10 Core Weight: 1 Total Weight: -165 1.59/1.61 c Current CPU time: 1.59876 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 | 2779 29634 88166 | 9878 0 -nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.62 c core #146 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 39 Core Weight: 1 Total Weight: -164 1.59/1.62 c Current CPU time: 1.61175 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 2798 29637 88208 | 9879 0 -nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #147 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 48 Core Weight: 1 Total Weight: -163 1.59/1.64 c Current CPU time: 1.62575 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 2829 29641 88277 | 9880 0 -nan | 0.000 % | 1.59/1.64 c | 100 | 2829 29641 88277 | 10868 100 17 | 0.702 % | 1.59/1.64 c | 252 | 2824 29641 88277 | 11955 252 14 | 2.106 % | 1.59/1.64 c =============================================================================== 1.59/1.65 c core #148 1.59/1.65 c 1.59/1.65 c 1.59/1.65 c Core size: 66 Core Weight: 1 Total Weight: -162 1.59/1.65 c Current CPU time: 1.64275 s 1.59/1.65 c 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 2880 29649 88398 | 9883 0 -nan | 0.000 % | 1.59/1.66 c | 101 | 2880 29649 88398 | 10871 101 33 | 0.690 % | 1.59/1.66 c | 252 | 2880 29649 88398 | 11958 252 29 | 0.690 % | 1.59/1.66 c | 479 | 2880 29649 88398 | 13154 479 25 | 0.690 % | 1.59/1.67 c =============================================================================== 1.59/1.69 c core #149 1.59/1.69 c 1.59/1.69 c 1.59/1.69 c Core size: 87 Core Weight: 1 Total Weight: -161 1.59/1.69 c Current CPU time: 1.67375 s 1.59/1.69 c 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 2950 29664 88577 | 9888 0 -nan | 0.000 % | 1.59/1.69 c | 101 | 2949 29664 88577 | 10876 101 16 | 0.707 % | 1.59/1.69 c | 251 | 2949 29664 88577 | 11964 251 19 | 0.707 % | 1.69/1.70 c | 476 | 2949 29664 88577 | 13160 476 26 | 0.707 % | 1.69/1.70 c =============================================================================== 1.69/1.72 c core #150 1.69/1.72 c 1.69/1.72 c 1.69/1.72 c Core size: 89 Core Weight: 1 Total Weight: -160 1.69/1.72 c Current CPU time: 1.70574 s 1.69/1.72 c 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 3020 29681 88759 | 9893 0 -nan | 0.000 % | 1.69/1.72 c | 100 | 3020 29681 88759 | 10883 100 77 | 0.691 % | 1.69/1.73 c | 253 | 3020 29681 88759 | 11971 253 68 | 0.691 % | 1.69/1.73 c | 480 | 3020 29681 88759 | 13168 480 53 | 0.691 % | 1.69/1.74 c | 817 | 3020 29681 88759 | 14485 817 42 | 0.691 % | 1.69/1.76 c | 1324 | 3019 29681 88759 | 15933 1324 37 | 0.724 % | 1.69/1.78 c =============================================================================== 1.69/1.79 c core #151 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 94 Core Weight: 1 Total Weight: -159 1.69/1.79 c Current CPU time: 1.77773 s 1.69/1.79 c 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 3098 29713 89001 | 9904 0 -nan | 0.000 % | 1.79/1.80 c | 100 | 3097 29713 89001 | 10894 100 55 | 0.769 % | 1.79/1.80 c | 250 | 3097 29713 89001 | 11984 250 32 | 0.769 % | 1.79/1.80 c | 475 | 3097 29713 89001 | 13182 475 33 | 0.769 % | 1.79/1.81 c | 812 | 3096 29713 89001 | 14500 812 32 | 0.833 % | 1.79/1.83 c | 1320 | 3096 29713 89001 | 15951 1320 29 | 0.833 % | 1.79/1.84 c =============================================================================== 1.79/1.85 c core #152 1.79/1.85 c 1.79/1.85 c 1.79/1.85 c Core size: 130 Core Weight: 1 Total Weight: -158 1.79/1.85 c Current CPU time: 1.83572 s 1.79/1.85 c 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 3190 29757 89307 | 9919 0 -nan | 0.000 % | 1.79/1.86 c | 100 | 3190 29757 89307 | 10910 100 43 | 0.839 % | 1.79/1.86 c | 251 | 3189 29757 89307 | 12001 251 33 | 0.870 % | 1.79/1.87 c | 476 | 3189 29757 89307 | 13202 476 33 | 0.870 % | 1.79/1.88 c | 815 | 3189 29757 89307 | 14522 815 31 | 0.870 % | 1.79/1.89 c | 1323 | 3189 29757 89307 | 15974 1323 30 | 0.870 % | 1.88/1.92 c | 2084 | 3189 29757 89307 | 17572 2084 33 | 0.870 % | 1.88/1.98 c | 3223 | 3189 29757 89307 | 19329 3223 33 | 0.870 % | 1.98/2.06 c | 4935 | 3189 29757 89307 | 21262 4935 35 | 0.871 % | 2.10/2.21 c | 7499 | 3186 29757 89307 | 23388 7499 37 | 0.964 % | 2.29/2.34 c =============================================================================== 2.29/2.38 c core #153 2.29/2.38 c 2.29/2.38 c 2.29/2.38 c Core size: 126 Core Weight: 1 Total Weight: -157 2.29/2.38 c Current CPU time: 2.35664 s 2.29/2.38 c 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 3288 29808 89644 | 9936 0 -nan | 0.000 % | 2.29/2.39 c | 102 | 3288 29808 89644 | 10929 102 36 | 0.904 % | 2.29/2.39 c | 254 | 3288 29808 89644 | 12022 254 22 | 0.904 % | 2.39/2.40 c | 479 | 3288 29808 89644 | 13224 479 19 | 0.904 % | 2.39/2.40 c | 816 | 3288 29808 89644 | 14547 816 18 | 0.904 % | 2.39/2.42 c | 1322 | 3288 29808 89644 | 16002 1322 17 | 0.904 % | 2.39/2.44 c =============================================================================== 2.39/2.46 c core #154 2.39/2.46 c 2.39/2.46 c 2.39/2.46 c Core size: 133 Core Weight: 1 Total Weight: -156 2.39/2.46 c Current CPU time: 2.42963 s 2.39/2.46 c 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 3392 29854 89977 | 9951 0 -nan | 0.000 % | 2.39/2.46 c | 100 | 3392 29854 89977 | 10946 100 33 | 0.877 % | 2.39/2.46 c | 250 | 3392 29854 89977 | 12041 250 31 | 0.877 % | 2.39/2.47 c | 476 | 3391 29854 89977 | 13245 476 37 | 0.906 % | 2.39/2.48 c | 813 | 3391 29854 89977 | 14569 813 40 | 0.906 % | 2.49/2.50 c | 1320 | 3391 29854 89977 | 16026 1320 41 | 0.906 % | 2.49/2.53 c | 2081 | 3391 29854 89977 | 17629 2081 36 | 0.906 % | 2.49/2.58 c | 3222 | 3391 29854 89977 | 19392 3222 35 | 0.906 % | 2.59/2.66 c | 4930 | 3391 29854 89977 | 21331 4930 34 | 0.906 % | 2.68/2.74 c =============================================================================== 2.68/2.77 c core #155 2.68/2.77 c 2.68/2.77 c 2.68/2.77 c Core size: 174 Core Weight: 1 Total Weight: -155 2.68/2.77 c Current CPU time: 2.73558 s 2.68/2.77 c 2.68/2.77 c ============================[ Search Statistics ]============================== 2.68/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.77 c =============================================================================== 2.68/2.77 c | 0 | 3538 29919 90439 | 9973 0 -nan | 0.000 % | 2.68/2.77 c | 104 | 3538 29919 90439 | 10970 104 88 | 0.924 % | 2.68/2.78 c | 257 | 3538 29919 90439 | 12067 257 50 | 0.924 % | 2.68/2.78 c | 482 | 3538 29919 90439 | 13274 482 34 | 0.924 % | 2.68/2.79 c | 820 | 3538 29919 90439 | 14601 820 28 | 0.924 % | 2.78/2.80 c | 1326 | 3521 29919 90439 | 16061 1326 25 | 1.400 % | 2.78/2.80 c =============================================================================== 2.78/2.82 c core #156 2.78/2.82 c 2.78/2.82 c 2.78/2.82 c Core size: 44 Core Weight: 1 Total Weight: -154 2.78/2.82 c Current CPU time: 2.78658 s 2.78/2.82 c 2.78/2.82 c ============================[ Search Statistics ]============================== 2.78/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.82 c =============================================================================== 2.78/2.82 c | 0 | 3567 29951 90583 | 9983 0 -nan | 0.000 % | 2.78/2.82 c | 101 | 3567 29951 90583 | 10982 101 66 | 0.917 % | 2.78/2.83 c | 251 | 3566 29951 90583 | 12080 251 59 | 0.944 % | 2.78/2.84 c | 476 | 3566 29951 90583 | 13288 476 58 | 0.944 % | 2.78/2.85 c | 814 | 3566 29951 90583 | 14617 814 60 | 0.944 % | 2.78/2.87 c | 1321 | 3566 29951 90583 | 16078 1321 66 | 0.944 % | 2.89/2.91 c | 2082 | 3566 29951 90583 | 17686 2082 73 | 0.944 % | 2.89/2.98 c | 3223 | 3566 29951 90583 | 19455 3223 73 | 0.944 % | 3.09/3.11 c | 4931 | 3566 29951 90583 | 21400 4931 73 | 0.944 % | 3.21/3.30 c | 7493 | 3566 29951 90583 | 23540 7493 72 | 0.944 % | 3.69/3.74 c | 11337 | 3566 29951 90583 | 25895 11337 75 | 0.944 % | 4.49/4.57 c | 17104 | 3566 29951 90583 | 28484 17104 73 | 0.944 % | 5.99/6.03 c | 25756 | 3566 29951 90583 | 31333 25756 75 | 0.944 % | 8.88/8.91 c | 38730 | 3566 29951 90583 | 34466 19652 75 | 0.944 % | 12.89/12.91 c | 58192 | 3566 29951 90583 | 37912 17195 72 | 0.944 % | 19.89/19.95 c | 87387 | 3566 29951 90583 | 41704 21892 79 | 0.944 % | 30.39/30.46 c | 131177 | 3560 29951 90583 | 45874 36774 75 | 1.139 % | 47.09/47.20 c =============================================================================== 47.98/48.08 c core #157 47.98/48.08 c 47.98/48.08 c 47.98/48.08 c Core size: 130 Core Weight: 1 Total Weight: -153 47.98/48.08 c Current CPU time: 47.7747 s 47.98/48.08 c 47.98/48.08 c ============================[ Search Statistics ]============================== 47.98/48.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.98/48.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.98/48.08 c =============================================================================== 47.98/48.08 c | 0 | 3658 29995 90866 | 9998 0 -nan | 0.000 % | 47.98/48.08 c | 100 | 3658 29995 90866 | 10998 100 104 | 0.921 % | 47.98/48.09 c | 250 | 3658 29995 90866 | 12097 250 59 | 0.921 % | 47.98/48.09 c | 477 | 3658 29995 90866 | 13307 477 58 | 0.921 % | 48.08/48.10 c | 817 | 3658 29995 90866 | 14638 817 48 | 0.921 % | 48.08/48.12 c | 1323 | 3658 29995 90866 | 16102 1323 44 | 0.921 % | 48.08/48.15 c | 2082 | 3658 29995 90866 | 17712 2082 44 | 0.921 % | 48.19/48.20 c | 3221 | 3658 29995 90866 | 19483 3221 48 | 0.921 % | 48.19/48.29 c | 4929 | 3658 29995 90866 | 21432 4929 49 | 0.921 % | 48.49/48.51 c | 7493 | 3658 29995 90866 | 23575 7493 51 | 0.921 % | 48.78/48.83 c | 11337 | 3657 29995 90866 | 25933 11337 48 | 0.948 % | 49.29/49.38 c | 17104 | 3657 29995 90866 | 28526 17104 49 | 0.948 % | 50.51/50.54 c | 25757 | 3654 29995 90866 | 31379 25757 50 | 1.029 % | 51.49/51.51 c =============================================================================== 51.60/51.69 c core #158 51.60/51.69 c 51.60/51.69 c 51.60/51.69 c Core size: 113 Core Weight: 1 Total Weight: -152 51.60/51.69 c Current CPU time: 51.4482 s 51.60/51.69 c 51.60/51.69 c ============================[ Search Statistics ]============================== 51.60/51.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.60/51.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.60/51.69 c =============================================================================== 51.60/51.69 c | 0 | 3748 30096 91325 | 10032 0 -nan | 0.000 % | 51.60/51.70 c | 102 | 3748 30096 91325 | 11035 102 38 | 0.951 % | 51.60/51.70 c | 252 | 3748 30096 91325 | 12138 252 39 | 0.951 % | 51.60/51.71 c | 478 | 3748 30096 91325 | 13352 478 38 | 0.951 % | 51.71/51.72 c | 817 | 3748 30096 91325 | 14687 817 41 | 0.951 % | 51.71/51.73 c | 1323 | 3748 30096 91325 | 16156 1323 48 | 0.951 % | 51.71/51.77 c | 2082 | 3748 30096 91325 | 17772 2082 59 | 0.951 % | 51.79/51.85 c | 3225 | 3748 30096 91325 | 19549 3225 66 | 0.951 % | 51.89/51.99 c | 4935 | 3748 30096 91325 | 21504 4935 67 | 0.951 % | 52.18/52.22 c | 7497 | 3748 30096 91325 | 23654 7497 66 | 0.951 % | 52.59/52.63 c | 11345 | 3748 30096 91325 | 26020 11345 67 | 0.951 % | 53.39/53.49 c | 17113 | 3748 30096 91325 | 28622 17113 67 | 0.951 % | 55.29/55.30 c | 25762 | 3748 30096 91325 | 31484 25762 70 | 0.951 % | 58.30/58.36 c | 38736 | 3748 30096 91325 | 34633 20241 67 | 0.951 % | 62.09/62.18 c | 58202 | 3748 30096 91325 | 38096 17244 63 | 0.951 % | 69.79/69.89 c | 87396 | 3748 30096 91325 | 41906 22176 76 | 0.951 % | 76.79/76.86 c | 131185 | 3748 30096 91325 | 46096 37542 58 | 0.951 % | 91.48/91.57 c | 196871 | 3748 30096 91325 | 50706 39550 55 | 0.951 % | 114.59/114.66 c | 295398 | 3748 30096 91325 | 55777 30666 66 | 0.951 % | 155.28/155.34 c | 443190 | 3732 30096 91325 | 61354 53707 76 | 1.374 % | 236.40/236.55 c | 664873 | 3732 30096 91325 | 67490 47253 97 | 1.374 % | 250.07/250.22 c =============================================================================== 257.88/258.00 c core #159 257.88/258.00 c 257.88/258.00 c 257.88/258.00 c Core size: 136 Core Weight: 1 Total Weight: -151 257.88/258.00 c Current CPU time: 256.575 s 257.88/258.00 c 257.88/258.00 c ============================[ Search Statistics ]============================== 257.88/258.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 257.88/258.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 257.88/258.00 c =============================================================================== 257.88/258.00 c | 0 | 3844 30136 91610 | 10045 0 -nan | 0.000 % | 257.88/258.01 c | 101 | 3844 30136 91610 | 11049 101 43 | 0.928 % | 257.88/258.01 c | 251 | 3844 30136 91610 | 12154 251 47 | 0.928 % | 257.88/258.02 c | 477 | 3844 30136 91610 | 13370 477 50 | 0.928 % | 257.88/258.03 c | 815 | 3844 30136 91610 | 14707 815 58 | 0.928 % | 257.88/258.05 c | 1322 | 3844 30136 91610 | 16178 1322 54 | 0.928 % | 257.88/258.09 c | 2081 | 3844 30136 91610 | 17795 2081 58 | 0.928 % | 257.97/258.15 c | 3221 | 3844 30136 91610 | 19575 3221 68 | 0.928 % | 258.07/258.27 c | 4929 | 3844 30136 91610 | 21533 4929 73 | 0.928 % | 258.40/258.52 c | 7497 | 3844 30136 91610 | 23686 7497 77 | 0.928 % | 258.77/258.92 c | 11342 | 3844 30136 91610 | 26055 11342 78 | 0.928 % | 259.27/259.50 c | 17108 | 3844 30136 91610 | 28660 17108 75 | 0.928 % | 260.67/260.88 c | 25757 | 3844 30136 91610 | 31526 25757 81 | 0.928 % | 263.47/263.67 c | 38738 | 3844 30136 91610 | 34679 19184 97 | 0.928 % | 267.58/267.74 c | 58199 | 3844 30136 91610 | 38147 16518 92 | 0.928 % | 272.59/272.77 c | 87391 | 3844 30136 91610 | 41961 19673 103 | 0.928 % | 280.97/281.17 c | 131181 | 3844 30136 91610 | 46158 34902 74 | 0.928 % | 295.48/295.67 c | 196867 | 3840 30136 91610 | 50773 34480 75 | 1.031 % | 302.87/303.05 c =============================================================================== 304.37/304.53 c core #160 304.37/304.53 c 304.37/304.53 c 304.37/304.53 c Core size: 191 Core Weight: 1 Total Weight: -150 304.37/304.53 c Current CPU time: 303.211 s 304.37/304.53 c 304.37/304.53 c ============================[ Search Statistics ]============================== 304.37/304.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 304.37/304.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 304.37/304.53 c =============================================================================== 304.37/304.53 c | 0 | 3982 30176 91985 | 10058 0 -nan | 0.000 % | 304.37/304.54 c | 100 | 3982 30176 91985 | 11064 100 93 | 0.896 % | 304.37/304.54 c | 251 | 3982 30176 91985 | 12170 251 59 | 0.896 % | 304.37/304.55 c | 476 | 3982 30176 91985 | 13388 476 49 | 0.896 % | 304.37/304.56 c | 813 | 3982 30176 91985 | 14726 813 53 | 0.896 % | 304.37/304.58 c | 1319 | 3982 30176 91985 | 16199 1319 64 | 0.896 % | 304.49/304.62 c | 2078 | 3982 30176 91985 | 17819 2078 82 | 0.896 % | 304.49/304.71 c | 3217 | 3982 30176 91985 | 19601 3217 91 | 0.896 % | 304.77/304.91 c | 4926 | 3982 30176 91985 | 21561 4926 99 | 0.896 % | 305.18/305.36 c | 7488 | 3982 30176 91985 | 23717 7488 105 | 0.896 % | 305.78/305.90 c | 11333 | 3982 30176 91985 | 26089 11333 103 | 0.896 % | 307.07/307.24 c | 17100 | 3982 30176 91985 | 28698 17100 104 | 0.896 % | 309.99/310.22 c | 25750 | 3982 30176 91985 | 31568 25750 109 | 0.896 % | 314.97/315.12 c | 38724 | 3982 30176 91985 | 34725 19672 106 | 0.896 % | 317.27/317.46 c | 58185 | 3982 30176 91985 | 38197 16603 68 | 0.896 % | 321.98/322.16 c | 87378 | 3982 30176 91985 | 42017 20426 74 | 0.896 % | 329.28/329.47 c | 131168 | 3982 30176 91985 | 46219 35497 82 | 0.896 % | 346.17/346.39 c | 196853 | 3982 30176 91985 | 50841 36277 80 | 0.896 % | 370.97/371.11 c | 295386 | 3980 30176 91985 | 55925 24220 65 | 0.946 % | 417.17/417.34 c | 443177 | 3980 30176 91985 | 61517 49672 85 | 0.946 % | 485.99/486.22 c | 664864 | 3818 30176 91985 | 67669 39513 68 | 4.978 % | 486.17/486.30 c =============================================================================== 492.07/492.27 c core #161 492.07/492.27 c 492.07/492.27 c 492.07/492.27 c Core size: 105 Core Weight: 1 Total Weight: -149 492.07/492.27 c Current CPU time: 490.114 s 492.07/492.27 c 492.07/492.27 c ============================[ Search Statistics ]============================== 492.07/492.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 492.07/492.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 492.07/492.27 c =============================================================================== 492.07/492.27 c | 0 | 4050 30227 92252 | 10075 0 -nan | 0.000 % | 492.07/492.27 c | 100 | 4050 30227 92252 | 11083 100 118 | 0.881 % | 492.07/492.28 c | 252 | 4050 30227 92252 | 12191 252 70 | 0.881 % | 492.07/492.29 c | 477 | 4050 30227 92252 | 13410 477 72 | 0.881 % | 492.17/492.30 c | 814 | 4050 30227 92252 | 14751 814 67 | 0.881 % | 492.17/492.32 c | 1320 | 4050 30227 92252 | 16226 1320 66 | 0.881 % | 492.17/492.36 c | 2081 | 4050 30227 92252 | 17849 2081 67 | 0.881 % | 492.27/492.44 c | 3222 | 4050 30227 92252 | 19634 3222 70 | 0.881 % | 492.47/492.60 c | 4930 | 4050 30227 92252 | 21598 4930 73 | 0.881 % | 492.77/492.91 c | 7493 | 4050 30227 92252 | 23757 7493 75 | 0.881 % | 493.38/493.60 c | 11337 | 4050 30227 92252 | 26133 11337 75 | 0.881 % | 494.37/494.59 c | 17105 | 4050 30227 92252 | 28747 17105 77 | 0.881 % | 495.67/495.89 c | 25754 | 4049 30227 92252 | 31621 25754 77 | 0.906 % | 498.37/498.51 c | 38732 | 4049 30227 92252 | 34783 19312 79 | 0.906 % | 502.97/503.15 c | 58195 | 4049 30227 92252 | 38262 17021 83 | 0.906 % | 511.07/511.21 c | 87387 | 4049 30227 92252 | 42088 21628 86 | 0.906 % | 521.29/521.47 c | 131181 | 4049 30227 92252 | 46297 36280 83 | 0.906 % | 536.27/536.43 c | 196868 | 4049 30227 92252 | 50927 37402 74 | 0.906 % | 560.67/560.80 c | 295397 | 4047 30227 92252 | 56019 25431 67 | 0.954 % | 572.78/572.97 c =============================================================================== 576.08/576.20 c core #162 576.08/576.20 c 576.08/576.20 c 576.08/576.20 c Core size: 136 Core Weight: 1 Total Weight: -148 576.08/576.20 c Current CPU time: 573.962 s 576.08/576.20 c 576.08/576.20 c ============================[ Search Statistics ]============================== 576.08/576.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 576.08/576.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 576.08/576.20 c =============================================================================== 576.08/576.20 c | 0 | 4151 30271 92565 | 10090 0 -nan | 0.000 % | 576.08/576.20 c | 100 | 4151 30271 92565 | 11099 100 63 | 0.931 % | 576.08/576.21 c | 251 | 4151 30271 92565 | 12209 251 52 | 0.931 % | 576.08/576.22 c | 476 | 4151 30271 92565 | 13430 476 57 | 0.931 % | 576.08/576.23 c | 814 | 4151 30271 92565 | 14773 814 54 | 0.931 % | 576.08/576.25 c | 1322 | 4151 30271 92565 | 16250 1322 54 | 0.931 % | 576.08/576.28 c | 2083 | 4151 30271 92565 | 17875 2083 54 | 0.931 % | 576.19/576.35 c | 3222 | 4151 30271 92565 | 19663 3222 61 | 0.931 % | 576.38/576.50 c | 4930 | 4151 30271 92565 | 21629 4930 72 | 0.931 % | 576.67/576.80 c | 7493 | 4151 30271 92565 | 23792 7493 81 | 0.931 % | 577.17/577.42 c | 11338 | 4151 30271 92565 | 26171 11338 88 | 0.931 % | 578.50/578.64 c | 17106 | 4151 30271 92565 | 28788 17106 90 | 0.931 % | 581.07/581.29 c | 25760 | 4151 30271 92565 | 31667 25760 93 | 0.931 % | 584.37/584.51 c | 38735 | 4151 30271 92565 | 34834 19741 92 | 0.931 % | 592.68/592.85 c | 58201 | 4151 30271 92565 | 38318 18079 106 | 0.931 % | 601.87/602.04 c | 87395 | 4151 30271 92565 | 42149 22863 132 | 0.931 % | 616.57/616.70 c | 131185 | 4151 30271 92565 | 46364 37516 128 | 0.931 % | 636.37/636.51 c | 196870 | 4151 30271 92565 | 51001 36790 107 | 0.931 % | 669.57/669.78 c | 295397 | 4151 30271 92565 | 56101 25511 95 | 0.931 % | 725.07/725.23 c | 443187 | 4151 30271 92565 | 61711 48303 132 | 0.931 % | 806.28/806.40 c | 664871 | 4151 30271 92565 | 67882 40364 105 | 0.931 % | 916.77/916.98 c | 997399 | 4151 30271 92565 | 74670 58387 109 | 0.931 % | 1116.56/1116.77 c | 1496190 | 4151 30271 92565 | 82138 27812 117 | 0.931 % | 1472.46/1472.62 c | 2244373 | 4151 30271 92565 | 90351 51432 127 | 0.931 % |
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-3460126-1307117638/watcher-3460126-1307117638 -o /tmp/evaluation-result-3460126-1307117638/solver-3460126-1307117638 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460126-1307117638.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.84 1.99 1.99 4/520 24476 /proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=3796 CPUtime=0.01 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 542 0 0 0 1 0 0 0 21 0 1 0 804179321 3887104 496 33554432000 4194304 5714214 140733927562768 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 949 496 209 372 0 339 0 [startup+0.059631 s] /proc/loadavg: 1.84 1.99 1.99 4/520 24476 /proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=5416 CPUtime=0.05 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 1074 0 0 0 5 0 0 0 21 0 1 0 804179321 5545984 1028 33554432000 4194304 5714214 140733927562768 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 1354 1028 362 372 0 744 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5416 [startup+0.100592 s] /proc/loadavg: 1.84 1.99 1.99 4/520 24476 /proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=6936 CPUtime=0.09 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 1956 0 0 0 9 0 0 0 21 0 1 0 804179321 7102464 1456 33554432000 4194304 5714214 140733927562768 18446744073709551615 4973062 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 1734 1456 175 372 0 1359 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6936 [startup+0.30056 s] /proc/loadavg: 1.84 1.99 1.99 4/520 24476 /proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=7244 CPUtime=0.29 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 2239 0 0 0 29 0 0 0 22 0 1 0 804179321 7417856 1545 33554432000 4194304 5714214 140733927562768 18446744073709551615 4356032 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 1811 1545 175 372 0 1436 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7244 [startup+0.700518 s] /proc/loadavg: 1.84 1.99 1.99 4/520 24476 /proc/meminfo: memFree=21634008/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=8400 CPUtime=0.69 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 2611 0 0 0 69 0 0 0 23 0 1 0 804179321 8601600 1804 33554432000 4194304 5714214 140733927562768 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 2100 1804 175 372 0 1725 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8400 [startup+1.50036 s] /proc/loadavg: 1.84 1.99 1.99 4/522 24478 /proc/meminfo: memFree=21613904/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=9296 CPUtime=1.49 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 3286 0 0 0 149 0 0 0 25 0 1 0 804179321 9519104 2015 33554432000 4194304 5714214 140733927562768 18446744073709551615 4964901 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 2324 2015 179 372 0 1949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9296 [startup+3.10107 s] /proc/loadavg: 1.84 1.99 1.99 3/522 24478 /proc/meminfo: memFree=21608820/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=13056 CPUtime=3.09 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 4366 0 0 0 307 2 0 0 18 0 1 0 804179321 13369344 2983 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 3264 2983 180 372 0 2889 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13056 [startup+6.30049 s] /proc/loadavg: 1.85 1.99 1.99 4/522 24478 /proc/meminfo: memFree=21595452/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=21140 CPUtime=6.28 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 6397 0 0 0 624 4 0 0 25 0 1 0 804179321 21647360 5014 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 5285 5014 180 372 0 4910 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21140 [startup+12.7003 s] /proc/loadavg: 1.87 1.99 1.99 4/522 24478 /proc/meminfo: memFree=21572828/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=29332 CPUtime=12.69 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 8400 0 0 0 1262 7 0 0 25 0 1 0 804179321 30035968 7017 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 7333 7017 180 372 0 6958 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29332 [startup+25.501 s] /proc/loadavg: 1.89 1.99 1.99 4/522 24479 /proc/meminfo: memFree=21544120/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=41656 CPUtime=25.49 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 11403 0 0 0 2538 11 0 0 25 0 1 0 804179321 42655744 10020 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 10414 10020 180 372 0 10039 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41656 [startup+51.1003 s] /proc/loadavg: 1.93 1.99 1.99 4/522 24479 /proc/meminfo: memFree=21493840/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=60472 CPUtime=51.09 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 16058 0 0 0 5088 21 0 0 25 0 1 0 804179321 61923328 14584 33554432000 4194304 5714214 140733927562768 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 15118 14584 180 372 0 14743 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 60472 [startup+102.321 s] /proc/loadavg: 2.15 2.04 2.00 4/522 24481 /proc/meminfo: memFree=21478548/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=64800 CPUtime=102.3 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 17383 0 0 0 10190 40 0 0 25 0 1 0 804179321 66355200 15909 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 16200 15910 180 372 0 15825 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 64800 [startup+162.301 s] /proc/loadavg: 2.17 2.06 2.01 4/522 24482 /proc/meminfo: memFree=21412320/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=106616 CPUtime=162.28 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 27498 0 0 0 16165 63 0 0 25 0 1 0 804179321 109174784 26024 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 26654 26024 180 372 0 26279 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 106616 [startup+222.301 s] /proc/loadavg: 2.06 2.05 2.00 4/522 24484 /proc/meminfo: memFree=21347068/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=140104 CPUtime=222.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 35574 0 0 0 22138 79 0 0 25 0 1 0 804179321 143466496 34100 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 35026 34100 180 372 0 34651 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 140104 [startup+282.301 s] /proc/loadavg: 2.02 2.04 2.00 4/522 24485 /proc/meminfo: memFree=21285776/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=282.18 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 43842 0 0 0 28119 99 0 0 25 0 1 0 804179321 177156096 42235 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42235 180 372 0 42876 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 173004 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 4/522 24487 /proc/meminfo: memFree=21268252/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=342.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 43866 0 0 0 34097 120 0 0 25 0 1 0 804179321 177156096 42259 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42259 180 372 0 42876 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 173004 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24489 /proc/meminfo: memFree=21253728/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=402.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 44198 0 0 0 40078 139 0 0 25 0 1 0 804179321 177156096 42591 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42591 180 372 0 42876 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 173004 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24490 /proc/meminfo: memFree=21233504/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=462.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 44457 0 0 0 46061 156 0 0 25 0 1 0 804179321 177156096 42850 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42850 180 372 0 42876 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 173004 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 4/522 24492 /proc/meminfo: memFree=21206168/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=522.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 44582 0 0 0 52043 174 0 0 25 0 1 0 804179321 177156096 42975 33554432000 4194304 5714214 140733927562768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42975 180 372 0 42876 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 173004 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 4/522 24493 /proc/meminfo: memFree=21186180/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=582.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 44582 0 0 0 58025 192 0 0 25 0 1 0 804179321 177156096 42975 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42975 180 372 0 42876 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 173004 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.04 2.01 4/522 24503 /proc/meminfo: memFree=21082576/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=173004 CPUtime=822.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 44592 0 0 0 81970 247 0 0 25 0 1 0 804179321 177156096 42985 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 43251 42985 180 372 0 42876 0 Current children cumulated CPU time (s) 822.17 Current children cumulated vsize (KiB) 173004 [startup+882.301 s] /proc/loadavg: 2.01 2.03 2.00 4/522 24504 /proc/meminfo: memFree=21042624/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=206572 CPUtime=882.18 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 52773 0 0 0 87952 266 0 0 25 0 1 0 804179321 211529728 51166 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 51643 51166 180 372 0 51268 0 Current children cumulated CPU time (s) 882.18 Current children cumulated vsize (KiB) 206572 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24506 /proc/meminfo: memFree=21004036/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=233024 CPUtime=942.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 59265 0 0 0 93936 281 0 0 25 0 1 0 804179321 238616576 57658 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 58256 57658 180 372 0 57881 0 Current children cumulated CPU time (s) 942.17 Current children cumulated vsize (KiB) 233024 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24508 /proc/meminfo: memFree=20968404/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=256352 CPUtime=1002.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 64927 0 0 0 99921 296 0 0 25 0 1 0 804179321 262504448 63320 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 64088 63320 180 372 0 63713 0 Current children cumulated CPU time (s) 1002.17 Current children cumulated vsize (KiB) 256352 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 4/522 24509 /proc/meminfo: memFree=20930300/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=280272 CPUtime=1062.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 70796 0 0 0 105909 308 0 0 25 0 1 0 804179321 286998528 69189 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 70068 69189 180 372 0 69693 0 Current children cumulated CPU time (s) 1062.17 Current children cumulated vsize (KiB) 280272 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 4/522 24511 /proc/meminfo: memFree=20885004/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=307976 CPUtime=1122.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 77577 0 0 0 111895 322 0 0 25 0 1 0 804179321 315367424 75970 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 76994 75970 180 372 0 76619 0 Current children cumulated CPU time (s) 1122.17 Current children cumulated vsize (KiB) 307976 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 4/522 24512 /proc/meminfo: memFree=20858308/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=329804 CPUtime=1182.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 82797 0 0 0 117879 338 0 0 25 0 1 0 804179321 337719296 81190 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 82451 81190 180 372 0 82076 0 Current children cumulated CPU time (s) 1182.17 Current children cumulated vsize (KiB) 329804 [startup+1242.3 s] /proc/loadavg: 2.09 2.03 2.01 4/522 24514 /proc/meminfo: memFree=20803712/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=356672 CPUtime=1242.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 89481 0 0 0 123864 353 0 0 25 0 1 0 804179321 365232128 87874 33554432000 4194304 5714214 140733927562768 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 89168 87874 180 372 0 88793 0 Current children cumulated CPU time (s) 1242.17 Current children cumulated vsize (KiB) 356672 [startup+1302.3 s] /proc/loadavg: 2.11 2.05 2.01 4/522 24516 /proc/meminfo: memFree=20774808/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=382472 CPUtime=1302.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 95569 0 0 0 129853 364 0 0 25 0 1 0 804179321 391651328 93962 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 95618 93962 180 372 0 95243 0 Current children cumulated CPU time (s) 1302.17 Current children cumulated vsize (KiB) 382472 [startup+1362.3 s] /proc/loadavg: 2.04 2.04 2.01 4/522 24517 /proc/meminfo: memFree=20735356/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=403180 CPUtime=1362.16 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 100605 0 0 0 135842 374 0 0 25 0 1 0 804179321 412856320 98998 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 100795 98998 180 372 0 100420 0 Current children cumulated CPU time (s) 1362.16 Current children cumulated vsize (KiB) 403180 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 4/522 24519 /proc/meminfo: memFree=20707556/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=423788 CPUtime=1422.17 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 105778 0 0 0 141829 388 0 0 25 0 1 0 804179321 433958912 104171 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 105947 104171 180 372 0 105572 0 Current children cumulated CPU time (s) 1422.17 Current children cumulated vsize (KiB) 423788 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24520 /proc/meminfo: memFree=20657804/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=451740 CPUtime=1482.16 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 112603 0 0 0 147813 403 0 0 25 0 1 0 804179321 462581760 110996 33554432000 4194304 5714214 140733927562768 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 112935 110996 180 372 0 112560 0 Current children cumulated CPU time (s) 1482.16 Current children cumulated vsize (KiB) 451740 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 4/522 24522 /proc/meminfo: memFree=20615860/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=470252 CPUtime=1542.14 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 117102 0 0 0 153792 422 0 0 25 0 1 0 804179321 481538048 115495 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319893 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 117563 115495 180 372 0 117188 0 Current children cumulated CPU time (s) 1542.14 Current children cumulated vsize (KiB) 470252 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 4/522 24524 /proc/meminfo: memFree=20584700/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=493548 CPUtime=1602.14 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 122772 0 0 0 159776 438 0 0 25 0 1 0 804179321 505393152 121165 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 123387 121165 180 372 0 123012 0 Current children cumulated CPU time (s) 1602.14 Current children cumulated vsize (KiB) 493548 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 4/522 24525 /proc/meminfo: memFree=20530608/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=513008 CPUtime=1662.14 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 127576 0 0 0 165761 453 0 0 25 0 1 0 804179321 525320192 125969 33554432000 4194304 5714214 140733927562768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 128252 125969 180 372 0 127877 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 513008 [startup+1722.3 s] /proc/loadavg: 2.20 2.05 2.02 4/522 24527 /proc/meminfo: memFree=20473172/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=539864 CPUtime=1722.14 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 134137 0 0 0 171749 465 0 0 25 0 1 0 804179321 552820736 132530 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 134966 132530 180 372 0 134591 0 Current children cumulated CPU time (s) 1722.14 Current children cumulated vsize (KiB) 539864 [startup+1782.3 s] /proc/loadavg: 2.20 2.07 2.02 4/522 24528 /proc/meminfo: memFree=20433356/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=555996 CPUtime=1782.15 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 138040 0 0 0 177739 476 0 0 25 0 1 0 804179321 569339904 136433 33554432000 4194304 5714214 140733927562768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 138999 136433 180 372 0 138624 0 Current children cumulated CPU time (s) 1782.15 Current children cumulated vsize (KiB) 555996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.2 s] /proc/loadavg: 2.14 2.06 2.02 2/520 24530 /proc/meminfo: memFree=21070716/32951124 swapFree=58800704/67111528 [pid=24474] ppid=24471 vsize=565864 CPUtime=1800.06 cores=0,2,4,6 /proc/24474/stat : 24474 (wbo1.6) R 24471 24474 22695 0 -1 4202496 140417 0 0 0 179527 479 0 0 25 0 1 0 804179321 579444736 138810 33554432000 4194304 5714214 140733927562768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24474/statm: 141466 138810 180 372 0 141091 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 565864 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.25 CPU time (s): 1800.1 CPU user time (s): 1795.28 CPU system time (s): 4.81727 CPU usage (%): 99.9919 Max. virtual memory (cumulated for all children) (KiB): 565864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.28 system time used= 4.81727 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 140417 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= 16 involuntary context switches= 4077 runsolver used 10.0545 second user time and 22.1266 second system time The end
Begin job on node142 at 2011-06-03 18:13:58 IDJOB=3460126 IDBENCH=71825 IDSOLVER=1953 FILE ID=node142/3460126-1307117638 RUNJOBID= node142-1307117638-24457 PBS_JOBID= 13497966 Free space on /tmp= 73920 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-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-3460126-1307117638/watcher-3460126-1307117638 -o /tmp/evaluation-result-3460126-1307117638/solver-3460126-1307117638 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460126-1307117638.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a25a52544be0f6847f2aa8f54184e900 RANDOM SEED=1208781712 node142.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.846 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.69 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.846 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 : 5131.95 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.67 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.846 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.81 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.82 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21634444 kB Buffers: 241424 kB Cached: 401812 kB SwapCached: 11452 kB Active: 9287448 kB Inactive: 1767608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21634444 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 11268 kB Writeback: 0 kB AnonPages: 10409448 kB Mapped: 31336 kB Slab: 116180 kB PageTables: 74816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145380084 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node142 at 2011-06-03 18:44:01