Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.05 | 1800.05 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb |
MD5SUM | b413d11d214e81d6bb556d5c8775428f |
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 | -70 |
Best CPU time to get the best result obtained on this benchmark | 0.835872 |
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 | 30912 |
Number of constraints which are clauses | 30912 |
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 | 317 |
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 | 317 |
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-3460141-1307118894.opb. 0.00/0.00 c Instance file HOME/instance-3460141-1307118894.opb 0.00/0.00 c File size is 1025005 bytes. 0.00/0.07 c Highest Coefficient sum: 4 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 2025 | 0.00/0.07 c | Number Clauses: 30912 | 0.00/0.07 c | Number Cardinality: 0 | 0.00/0.07 c | Number PB Constraints: 0 | 0.06/0.07 c ============================[ Search Statistics ]============================== 0.06/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 2025 30912 91566 | 10304 0 -nan | 0.000 % | 0.39/0.42 c core #1 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -316 0.39/0.42 c Current CPU time: 0.079987 s 0.39/0.42 c 0.39/0.42 c core #2 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -315 0.39/0.42 c Current CPU time: 0.087986 s 0.39/0.42 c 0.39/0.42 c core #3 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -314 0.39/0.42 c Current CPU time: 0.095985 s 0.39/0.42 c 0.39/0.42 c core #4 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 2 Total Weight: -312 0.39/0.42 c Current CPU time: 0.103984 s 0.39/0.42 c 0.39/0.42 c core #5 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -311 0.39/0.42 c Current CPU time: 0.112982 s 0.39/0.42 c 0.39/0.42 c core #6 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -310 0.39/0.42 c Current CPU time: 0.120981 s 0.39/0.42 c 0.39/0.42 c core #7 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 3 Total Weight: -307 0.39/0.42 c Current CPU time: 0.12898 s 0.39/0.42 c 0.39/0.42 c core #8 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -306 0.39/0.42 c Current CPU time: 0.136979 s 0.39/0.42 c 0.39/0.42 c core #9 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 3 Total Weight: -303 0.39/0.42 c Current CPU time: 0.144977 s 0.39/0.42 c 0.39/0.42 c core #10 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -302 0.39/0.42 c Current CPU time: 0.152976 s 0.39/0.42 c 0.39/0.42 c core #11 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 2 Total Weight: -300 0.39/0.42 c Current CPU time: 0.160975 s 0.39/0.42 c 0.39/0.42 c core #12 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -299 0.39/0.42 c Current CPU time: 0.169974 s 0.39/0.42 c 0.39/0.42 c core #13 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -298 0.39/0.42 c Current CPU time: 0.177972 s 0.39/0.42 c 0.39/0.42 c core #14 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -297 0.39/0.42 c Current CPU time: 0.185971 s 0.39/0.42 c 0.39/0.42 c core #15 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -296 0.39/0.42 c Current CPU time: 0.19397 s 0.39/0.42 c 0.39/0.42 c core #16 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -295 0.39/0.42 c Current CPU time: 0.201969 s 0.39/0.42 c 0.39/0.42 c core #17 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -294 0.39/0.42 c Current CPU time: 0.210967 s 0.39/0.42 c 0.39/0.42 c core #18 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -293 0.39/0.42 c Current CPU time: 0.218966 s 0.39/0.42 c 0.39/0.42 c core #19 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -292 0.39/0.42 c Current CPU time: 0.226965 s 0.39/0.42 c 0.39/0.42 c core #20 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 2 Total Weight: -290 0.39/0.42 c Current CPU time: 0.234964 s 0.39/0.42 c 0.39/0.42 c core #21 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -289 0.39/0.42 c Current CPU time: 0.242963 s 0.39/0.42 c 0.39/0.42 c core #22 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -288 0.39/0.42 c Current CPU time: 0.251961 s 0.39/0.42 c 0.39/0.42 c core #23 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -287 0.39/0.42 c Current CPU time: 0.25996 s 0.39/0.42 c 0.39/0.42 c core #24 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -286 0.39/0.42 c Current CPU time: 0.267959 s 0.39/0.42 c 0.39/0.42 c core #25 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -285 0.39/0.42 c Current CPU time: 0.275958 s 0.39/0.42 c 0.39/0.42 c core #26 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -284 0.39/0.42 c Current CPU time: 0.284956 s 0.39/0.42 c 0.39/0.42 c core #27 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -283 0.39/0.42 c Current CPU time: 0.292955 s 0.39/0.42 c 0.39/0.42 c core #28 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -282 0.39/0.42 c Current CPU time: 0.300954 s 0.39/0.42 c 0.39/0.42 c core #29 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -281 0.39/0.42 c Current CPU time: 0.308953 s 0.39/0.42 c 0.39/0.42 c core #30 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -280 0.39/0.42 c Current CPU time: 0.317951 s 0.39/0.42 c 0.39/0.42 c core #31 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -279 0.39/0.42 c Current CPU time: 0.32595 s 0.39/0.42 c 0.39/0.42 c core #32 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -278 0.39/0.42 c Current CPU time: 0.333949 s 0.39/0.42 c 0.39/0.42 c core #33 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -277 0.39/0.42 c Current CPU time: 0.342947 s 0.39/0.42 c 0.39/0.42 c core #34 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -276 0.39/0.42 c Current CPU time: 0.350946 s 0.39/0.42 c 0.39/0.42 c core #35 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -275 0.39/0.42 c Current CPU time: 0.358945 s 0.39/0.42 c 0.39/0.42 c core #36 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -274 0.39/0.42 c Current CPU time: 0.367944 s 0.39/0.42 c 0.39/0.42 c core #37 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 2 Total Weight: -272 0.39/0.42 c Current CPU time: 0.375942 s 0.39/0.42 c 0.39/0.42 c core #38 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 2 Total Weight: -270 0.39/0.42 c Current CPU time: 0.383941 s 0.39/0.42 c 0.39/0.42 c core #39 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -269 0.39/0.42 c Current CPU time: 0.39194 s 0.39/0.42 c 0.39/0.42 c core #40 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -268 0.39/0.42 c Current CPU time: 0.400939 s 0.39/0.42 c 0.39/0.42 c core #41 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -267 0.39/0.42 c Current CPU time: 0.408937 s 0.39/0.42 c 0.39/0.42 c core #42 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 7 Core Weight: 1 Total Weight: -266 0.79/0.84 c Current CPU time: 0.417936 s 0.79/0.84 c 0.79/0.84 c core #43 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 6 Core Weight: 1 Total Weight: -265 0.79/0.84 c Current CPU time: 0.425935 s 0.79/0.84 c 0.79/0.84 c core #44 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 7 Core Weight: 1 Total Weight: -264 0.79/0.84 c Current CPU time: 0.433934 s 0.79/0.84 c 0.79/0.84 c core #45 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: -263 0.79/0.84 c Current CPU time: 0.442932 s 0.79/0.84 c 0.79/0.84 c core #46 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 5 Core Weight: 2 Total Weight: -261 0.79/0.84 c Current CPU time: 0.450931 s 0.79/0.84 c 0.79/0.84 c core #47 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 4 Total Weight: -257 0.79/0.84 c Current CPU time: 0.45993 s 0.79/0.84 c 0.79/0.84 c core #48 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -256 0.79/0.84 c Current CPU time: 0.469928 s 0.79/0.84 c 0.79/0.84 c core #49 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 8 Core Weight: 1 Total Weight: -255 0.79/0.84 c Current CPU time: 0.478927 s 0.79/0.84 c 0.79/0.84 c core #50 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -254 0.79/0.84 c Current CPU time: 0.487925 s 0.79/0.84 c 0.79/0.84 c core #51 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -253 0.79/0.84 c Current CPU time: 0.496924 s 0.79/0.84 c 0.79/0.84 c core #52 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 2 Total Weight: -251 0.79/0.84 c Current CPU time: 0.505923 s 0.79/0.84 c 0.79/0.84 c core #53 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -250 0.79/0.84 c Current CPU time: 0.515921 s 0.79/0.84 c 0.79/0.84 c core #54 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -249 0.79/0.84 c Current CPU time: 0.52492 s 0.79/0.84 c 0.79/0.84 c core #55 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 2 Total Weight: -247 0.79/0.84 c Current CPU time: 0.534918 s 0.79/0.84 c 0.79/0.84 c core #56 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 2 Total Weight: -245 0.79/0.84 c Current CPU time: 0.544917 s 0.79/0.84 c 0.79/0.84 c core #57 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -244 0.79/0.84 c Current CPU time: 0.553915 s 0.79/0.84 c 0.79/0.84 c core #58 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -243 0.79/0.84 c Current CPU time: 0.563914 s 0.79/0.84 c 0.79/0.84 c core #59 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -242 0.79/0.84 c Current CPU time: 0.573912 s 0.79/0.84 c 0.79/0.84 c core #60 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -241 0.79/0.84 c Current CPU time: 0.583911 s 0.79/0.84 c 0.79/0.84 c core #61 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -240 0.79/0.84 c Current CPU time: 0.593909 s 0.79/0.84 c 0.79/0.84 c core #62 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 2 Total Weight: -238 0.79/0.84 c Current CPU time: 0.603908 s 0.79/0.84 c 0.79/0.84 c core #63 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -237 0.79/0.84 c Current CPU time: 0.614906 s 0.79/0.84 c 0.79/0.84 c core #64 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -236 0.79/0.84 c Current CPU time: 0.624905 s 0.79/0.84 c 0.79/0.84 c core #65 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -235 0.79/0.84 c Current CPU time: 0.635903 s 0.79/0.84 c 0.79/0.84 c core #66 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -234 0.79/0.84 c Current CPU time: 0.646901 s 0.79/0.84 c 0.79/0.84 c core #67 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -233 0.79/0.84 c Current CPU time: 0.657899 s 0.79/0.84 c 0.79/0.84 c core #68 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -232 0.79/0.84 c Current CPU time: 0.668898 s 0.79/0.84 c 0.79/0.84 c core #69 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -231 0.79/0.84 c Current CPU time: 0.679896 s 0.79/0.84 c 0.79/0.84 c core #70 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: -230 0.79/0.84 c Current CPU time: 0.690894 s 0.79/0.84 c 0.79/0.84 c core #71 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: -229 0.79/0.84 c Current CPU time: 0.701893 s 0.79/0.84 c 0.79/0.84 c core #72 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 14 Core Weight: 1 Total Weight: -228 0.79/0.84 c Current CPU time: 0.713891 s 0.79/0.84 c 0.79/0.84 c core #73 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 14 Core Weight: 1 Total Weight: -227 0.79/0.84 c Current CPU time: 0.724889 s 0.79/0.84 c 0.79/0.84 c core #74 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -226 0.79/0.84 c Current CPU time: 0.736887 s 0.79/0.84 c 0.79/0.84 c core #75 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -225 0.79/0.84 c Current CPU time: 0.748886 s 0.79/0.84 c 0.79/0.84 c core #76 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 8 Core Weight: 1 Total Weight: -224 0.79/0.84 c Current CPU time: 0.759884 s 0.79/0.84 c 0.79/0.84 c core #77 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 8 Core Weight: 1 Total Weight: -223 0.79/0.84 c Current CPU time: 0.770882 s 0.79/0.84 c 0.79/0.84 c core #78 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -222 0.79/0.84 c Current CPU time: 0.78288 s 0.79/0.84 c 0.79/0.84 c core #79 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -221 0.79/0.84 c Current CPU time: 0.793879 s 0.79/0.84 c 0.79/0.84 c core #80 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 11 Core Weight: 1 Total Weight: -220 0.79/0.84 c Current CPU time: 0.805877 s 0.79/0.84 c 0.79/0.84 c core #81 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 8 Core Weight: 1 Total Weight: -219 0.79/0.84 c Current CPU time: 0.817875 s 0.79/0.84 c 0.79/0.84 c core #82 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 1 Total Weight: -218 0.79/0.84 c Current CPU time: 0.829873 s 0.79/0.84 c 0.79/0.84 c core #83 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 9 Core Weight: 3 Total Weight: -215 0.79/0.89 c Current CPU time: 0.842871 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: 14 Core Weight: 1 Total Weight: -214 0.79/0.89 c Current CPU time: 0.85487 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: 9 Core Weight: 1 Total Weight: -213 0.79/0.89 c Current CPU time: 0.865868 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: 1 Total Weight: -212 0.79/0.89 c Current CPU time: 0.878866 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 | 2222 31254 90866 | 10418 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #87 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 20 Core Weight: 1 Total Weight: -211 0.89/0.90 c Current CPU time: 0.890864 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2266 31260 92155 | 10420 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #88 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 10 Core Weight: 1 Total Weight: -210 0.89/0.92 c Current CPU time: 0.903862 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2271 31264 92178 | 10421 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #89 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 12 Core Weight: 1 Total Weight: -209 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 | 2283 31268 92335 | 10422 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #90 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 16 Core Weight: 1 Total Weight: -208 0.89/0.94 c Current CPU time: 0.928858 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2289 31271 92345 | 10423 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.96 c core #91 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 7 Core Weight: 1 Total Weight: -207 0.89/0.96 c Current CPU time: 0.941856 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 | 2299 31274 92386 | 10424 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #92 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 11 Core Weight: 1 Total Weight: -206 0.89/0.97 c Current CPU time: 0.953854 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 31277 92402 | 10425 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #93 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 10 Core Weight: 1 Total Weight: -205 0.89/0.98 c Current CPU time: 0.966853 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2312 31283 92433 | 10427 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #94 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 13 Core Weight: 1 Total Weight: -204 0.89/0.99 c Current CPU time: 0.978851 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 | 2319 31287 92454 | 10429 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/1.01 c core #95 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 13 Core Weight: 1 Total Weight: -203 0.89/1.01 c Current CPU time: 0.991849 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 | 2326 31288 92468 | 10429 0 -nan | 0.000 % | 0.89/1.01 c =============================================================================== 1.00/1.03 c core #96 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 9 Core Weight: 1 Total Weight: -202 1.00/1.03 c Current CPU time: 1.00585 s 1.00/1.03 c 1.00/1.03 c core #97 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 8 Core Weight: 1 Total Weight: -201 1.00/1.03 c Current CPU time: 1.01784 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 2331 31292 92482 | 10430 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.04 c core #98 1.00/1.04 c 1.00/1.04 c 1.00/1.04 c Core size: 12 Core Weight: 1 Total Weight: -200 1.00/1.04 c Current CPU time: 1.03084 s 1.00/1.04 c 1.00/1.04 c ============================[ Search Statistics ]============================== 1.00/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.04 c =============================================================================== 1.00/1.04 c | 0 | 2336 31294 92494 | 10431 0 -nan | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.06 c core #99 1.00/1.06 c 1.00/1.06 c 1.00/1.06 c Core size: 10 Core Weight: 2 Total Weight: -198 1.00/1.06 c Current CPU time: 1.04384 s 1.00/1.06 c 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 2340 31297 92506 | 10432 0 -nan | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.07 c core #100 1.00/1.07 c 1.00/1.07 c 1.00/1.07 c Core size: 9 Core Weight: 1 Total Weight: -197 1.00/1.07 c Current CPU time: 1.05584 s 1.00/1.07 c 1.00/1.07 c ============================[ Search Statistics ]============================== 1.00/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.07 c =============================================================================== 1.00/1.07 c | 0 | 2343 31300 92516 | 10433 0 -nan | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.08 c core #101 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 11 Core Weight: 1 Total Weight: -196 1.00/1.08 c Current CPU time: 1.06884 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 2346 31302 92524 | 10434 0 -nan | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.10 c core #102 1.00/1.10 c 1.00/1.10 c 1.00/1.10 c Core size: 12 Core Weight: 1 Total Weight: -195 1.00/1.10 c Current CPU time: 1.08184 s 1.00/1.10 c 1.00/1.10 c ============================[ Search Statistics ]============================== 1.00/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.10 c =============================================================================== 1.00/1.10 c | 0 | 2351 31305 92538 | 10435 0 -nan | 0.000 % | 1.00/1.10 c =============================================================================== 1.00/1.11 c core #103 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 10 Core Weight: 1 Total Weight: -194 1.00/1.11 c Current CPU time: 1.09383 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 2350 31309 92548 | 10436 0 -nan | 0.000 % | 1.00/1.11 c =============================================================================== 1.11/1.12 c core #104 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 14 Core Weight: 1 Total Weight: -193 1.11/1.12 c Current CPU time: 1.10683 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 | 2363 31314 92577 | 10438 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.13 c core #105 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 17 Core Weight: 1 Total Weight: -192 1.11/1.13 c Current CPU time: 1.11983 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 | 2371 31319 92601 | 10439 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.15 c core #106 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 21 Core Weight: 1 Total Weight: -191 1.11/1.15 c Current CPU time: 1.13283 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 | 2381 31322 92625 | 10440 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.16 c core #107 1.11/1.16 c 1.11/1.16 c 1.11/1.16 c Core size: 38 Core Weight: 1 Total Weight: -190 1.11/1.16 c Current CPU time: 1.14583 s 1.11/1.16 c 1.11/1.16 c ============================[ Search Statistics ]============================== 1.11/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.16 c =============================================================================== 1.11/1.16 c | 0 | 2395 31324 92655 | 10441 0 -nan | 0.000 % | 1.11/1.16 c =============================================================================== 1.11/1.17 c core #108 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 40 Core Weight: 1 Total Weight: -189 1.11/1.17 c Current CPU time: 1.15982 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 | 2423 31326 92713 | 10442 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.19 c core #109 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 27 Core Weight: 1 Total Weight: -188 1.11/1.19 c Current CPU time: 1.17282 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 | 2438 31328 92746 | 10442 0 -nan | 0.000 % | 1.11/1.19 c =============================================================================== 1.19/1.20 c core #110 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 41 Core Weight: 1 Total Weight: -187 1.19/1.20 c Current CPU time: 1.18682 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 2461 31331 92797 | 10443 0 -nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.21 c core #111 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 9 Core Weight: 1 Total Weight: -186 1.19/1.21 c Current CPU time: 1.19982 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 2469 31334 92819 | 10444 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.23 c core #112 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 16 Core Weight: 1 Total Weight: -185 1.19/1.23 c Current CPU time: 1.21182 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 | 2476 31337 92838 | 10445 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.24 c core #113 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 12 Core Weight: 1 Total Weight: -184 1.19/1.24 c Current CPU time: 1.22481 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 2482 31338 92850 | 10446 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.25 c core #114 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 20 Core Weight: 1 Total Weight: -183 1.19/1.25 c Current CPU time: 1.23881 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 | 2479 31344 92868 | 10448 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.27 c core #115 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 20 Core Weight: 1 Total Weight: -182 1.19/1.27 c Current CPU time: 1.25181 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 | 2498 31346 92896 | 10448 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #116 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 16 Core Weight: 1 Total Weight: -181 1.19/1.28 c Current CPU time: 1.26481 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 | 2508 31350 92924 | 10450 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #117 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 25 Core Weight: 1 Total Weight: -180 1.19/1.29 c Current CPU time: 1.2788 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 | 2525 31353 92962 | 10451 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.31 c core #118 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 16 Core Weight: 1 Total Weight: -179 1.29/1.31 c Current CPU time: 1.2918 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 2535 31357 92990 | 10452 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.32 c core #119 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 23 Core Weight: 1 Total Weight: -178 1.29/1.32 c Current CPU time: 1.3058 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 | 2546 31361 93019 | 10453 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #120 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 17 Core Weight: 1 Total Weight: -177 1.29/1.33 c Current CPU time: 1.3188 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 | 2555 31363 93039 | 10454 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.35 c core #121 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 18 Core Weight: 1 Total Weight: -176 1.29/1.35 c Current CPU time: 1.3328 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 | 2568 31364 93065 | 10454 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #122 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 14 Core Weight: 1 Total Weight: -175 1.29/1.36 c Current CPU time: 1.3458 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 2577 31367 93089 | 10455 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.38 c core #123 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 15 Core Weight: 1 Total Weight: -174 1.29/1.38 c Current CPU time: 1.35879 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 | 2583 31368 93101 | 10456 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #124 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 7 Core Weight: 1 Total Weight: -173 1.29/1.39 c Current CPU time: 1.37179 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 | 2586 31371 93111 | 10457 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #125 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 9 Core Weight: 1 Total Weight: -172 1.39/1.40 c Current CPU time: 1.38479 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 | 2591 31374 93126 | 10458 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #126 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 6 Core Weight: 1 Total Weight: -171 1.39/1.41 c Current CPU time: 1.39879 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 2594 31375 93132 | 10458 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #127 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 6 Core Weight: 1 Total Weight: -170 1.39/1.43 c Current CPU time: 1.41179 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 | 2599 31379 93149 | 10459 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #128 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 18 Core Weight: 1 Total Weight: -169 1.39/1.44 c Current CPU time: 1.42478 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 | 2608 31385 93180 | 10461 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #129 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 15 Core Weight: 1 Total Weight: -168 1.39/1.45 c Current CPU time: 1.43878 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 | 2619 31389 93209 | 10463 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #130 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 11 Core Weight: 1 Total Weight: -167 1.39/1.47 c Current CPU time: 1.45178 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 | 2625 31391 93223 | 10463 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #131 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 17 Core Weight: 1 Total Weight: -166 1.39/1.48 c Current CPU time: 1.46478 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 | 2633 31398 93252 | 10466 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #132 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 22 Core Weight: 1 Total Weight: -165 1.39/1.49 c Current CPU time: 1.47877 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 | 2649 31403 93293 | 10467 0 -nan | 0.000 % | 1.39/1.50 c =============================================================================== 1.49/1.51 c core #133 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 33 Core Weight: 1 Total Weight: -164 1.49/1.51 c Current CPU time: 1.49277 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 | 2671 31411 93356 | 10470 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.52 c core #134 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 80 Core Weight: 1 Total Weight: -163 1.49/1.52 c Current CPU time: 1.50577 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 2719 31414 93457 | 10471 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.54 c core #135 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 68 Core Weight: 1 Total Weight: -162 1.49/1.54 c Current CPU time: 1.52177 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 2774 31426 93596 | 10475 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.55 c core #136 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 63 Core Weight: 1 Total Weight: -161 1.49/1.55 c Current CPU time: 1.53677 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 | 2825 31437 93723 | 10479 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #137 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 65 Core Weight: 1 Total Weight: -160 1.49/1.57 c Current CPU time: 1.55276 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 | 2869 31449 93837 | 10483 0 -nan | 0.000 % | 1.49/1.57 c | 100 | 2868 31449 93837 | 11531 100 12 | 0.520 % | 1.49/1.58 c | 250 | 2866 31449 93837 | 12684 250 13 | 0.694 % | 1.49/1.58 c =============================================================================== 1.49/1.59 c core #138 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 70 Core Weight: 1 Total Weight: -159 1.49/1.59 c Current CPU time: 1.57276 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 | 2922 31463 93975 | 10487 0 -nan | 0.000 % | 1.49/1.59 c | 100 | 2921 31463 93975 | 11536 100 8 | 0.511 % | 1.49/1.59 c =============================================================================== 1.59/1.61 c core #139 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 56 Core Weight: 1 Total Weight: -158 1.59/1.61 c Current CPU time: 1.58876 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 | 2961 31476 94084 | 10492 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 2961 31476 94084 | 11541 100 18 | 0.504 % | 1.59/1.61 c | 251 | 2961 31476 94084 | 12695 251 16 | 0.504 % | 1.59/1.62 c | 476 | 2961 31476 94084 | 13964 476 17 | 0.504 % | 1.59/1.63 c | 814 | 2961 31476 94084 | 15361 814 18 | 0.504 % | 1.59/1.64 c =============================================================================== 1.59/1.66 c core #140 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 123 Core Weight: 1 Total Weight: -157 1.59/1.66 c Current CPU time: 1.63775 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 3047 31503 94329 | 10501 0 -nan | 0.000 % | 1.59/1.66 c | 102 | 3047 31503 94329 | 11551 102 30 | 0.522 % | 1.59/1.66 c | 257 | 3046 31503 94329 | 12706 257 18 | 0.555 % | 1.59/1.67 c =============================================================================== 1.59/1.68 c core #141 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 101 Core Weight: 1 Total Weight: -156 1.59/1.68 c Current CPU time: 1.66275 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 3120 31522 94519 | 10507 0 -nan | 0.000 % | 1.59/1.69 c | 102 | 3120 31522 94519 | 11558 102 38 | 0.510 % | 1.59/1.69 c | 256 | 3120 31522 94519 | 12713 256 27 | 0.510 % | 1.59/1.70 c | 482 | 3120 31522 94519 | 13985 482 24 | 0.510 % | 1.68/1.71 c | 819 | 3120 31522 94519 | 15383 819 23 | 0.510 % | 1.68/1.72 c =============================================================================== 1.68/1.74 c core #142 1.68/1.74 c 1.68/1.74 c 1.68/1.74 c Core size: 119 Core Weight: 1 Total Weight: -155 1.68/1.74 c Current CPU time: 1.71674 s 1.68/1.74 c 1.68/1.74 c ============================[ Search Statistics ]============================== 1.68/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.74 c =============================================================================== 1.68/1.74 c | 0 | 3211 31574 94833 | 10524 0 -nan | 0.000 % | 1.68/1.74 c | 101 | 3210 31574 94833 | 11577 101 19 | 0.527 % | 1.68/1.74 c | 251 | 3210 31574 94833 | 12734 251 23 | 0.527 % | 1.68/1.75 c | 476 | 3210 31574 94833 | 14008 476 24 | 0.527 % | 1.68/1.76 c | 814 | 3210 31574 94833 | 15409 814 25 | 0.527 % | 1.68/1.78 c | 1320 | 3209 31574 94833 | 16950 1320 29 | 0.558 % | 1.79/1.81 c | 2079 | 3209 31574 94833 | 18645 2079 32 | 0.558 % | 1.79/1.86 c | 3219 | 3209 31574 94833 | 20509 3219 30 | 0.558 % | 1.89/1.94 c | 4929 | 3209 31574 94833 | 22560 4929 31 | 0.558 % | 2.10/2.12 c | 7495 | 3209 31574 94833 | 24816 7495 33 | 0.558 % | 2.49/2.53 c | 11340 | 3209 31574 94833 | 27298 11340 37 | 0.558 % | 3.20/3.29 c | 17106 | 3205 31574 94833 | 30028 17106 39 | 0.713 % | 3.59/3.61 c =============================================================================== 3.69/3.72 c core #143 3.69/3.72 c 3.69/3.72 c 3.69/3.72 c Core size: 95 Core Weight: 1 Total Weight: -154 3.69/3.72 c Current CPU time: 3.67544 s 3.69/3.72 c 3.69/3.72 c ============================[ Search Statistics ]============================== 3.69/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.72 c =============================================================================== 3.69/3.72 c | 0 | 3283 31653 95188 | 10551 0 -nan | 0.000 % | 3.69/3.72 c | 100 | 3283 31653 95188 | 11606 100 19 | 0.545 % | 3.69/3.73 c | 251 | 3283 31653 95188 | 12766 251 15 | 0.545 % | 3.69/3.73 c | 476 | 3280 31653 95188 | 14043 476 14 | 0.666 % | 3.69/3.74 c | 813 | 3280 31653 95188 | 15447 813 15 | 0.667 % | 3.69/3.74 c =============================================================================== 3.69/3.76 c core #144 3.69/3.76 c 3.69/3.76 c 3.69/3.76 c Core size: 99 Core Weight: 1 Total Weight: -153 3.69/3.76 c Current CPU time: 3.71943 s 3.69/3.76 c 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 3365 31678 95417 | 10559 0 -nan | 0.000 % | 3.69/3.76 c | 100 | 3365 31678 95417 | 11615 100 30 | 0.532 % | 3.69/3.76 c | 252 | 3365 31678 95417 | 12776 252 25 | 0.532 % | 3.69/3.77 c | 479 | 3365 31678 95417 | 14054 479 23 | 0.532 % | 3.69/3.78 c | 818 | 3365 31678 95417 | 15459 818 21 | 0.532 % | 3.69/3.79 c | 1325 | 3365 31678 95417 | 17005 1325 25 | 0.532 % | 3.78/3.82 c | 2086 | 3365 31678 95417 | 18706 2086 26 | 0.532 % | 3.78/3.87 c | 3228 | 3365 31678 95417 | 20577 3228 28 | 0.532 % | 3.88/3.97 c | 4938 | 3345 31678 95417 | 22634 4938 29 | 1.182 % | 3.88/3.99 c =============================================================================== 3.99/4.02 c core #145 3.99/4.02 c 3.99/4.02 c 3.99/4.02 c Core size: 81 Core Weight: 1 Total Weight: -152 3.99/4.02 c Current CPU time: 3.97439 s 3.99/4.02 c 3.99/4.02 c ============================[ Search Statistics ]============================== 3.99/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.02 c =============================================================================== 3.99/4.02 c | 0 | 3422 31721 95648 | 10573 0 -nan | 0.000 % | 3.99/4.02 c | 100 | 3422 31721 95648 | 11631 100 51 | 0.523 % | 3.99/4.03 c | 251 | 3422 31721 95648 | 12794 251 37 | 0.523 % | 3.99/4.03 c | 478 | 3422 31721 95648 | 14073 478 33 | 0.523 % | 3.99/4.04 c | 816 | 3422 31721 95648 | 15480 816 35 | 0.523 % | 3.99/4.06 c | 1323 | 3422 31721 95648 | 17028 1323 39 | 0.523 % | 3.99/4.09 c | 2083 | 3422 31721 95648 | 18731 2083 32 | 0.523 % | 4.09/4.14 c | 3224 | 3422 31721 95648 | 20605 3224 34 | 0.523 % | 4.19/4.24 c | 4933 | 3421 31721 95648 | 22665 4933 35 | 0.552 % | 4.19/4.28 c =============================================================================== 4.30/4.31 c core #146 4.30/4.31 c 4.30/4.31 c 4.30/4.31 c Core size: 75 Core Weight: 1 Total Weight: -151 4.30/4.31 c Current CPU time: 4.26635 s 4.30/4.31 c 4.30/4.31 c ============================[ Search Statistics ]============================== 4.30/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.31 c =============================================================================== 4.30/4.31 c | 0 | 3476 31776 95904 | 10592 0 -nan | 0.000 % | 4.30/4.32 c | 101 | 3476 31776 95904 | 11651 101 55 | 0.544 % | 4.30/4.32 c | 251 | 3476 31776 95904 | 12816 251 51 | 0.544 % | 4.30/4.33 c | 476 | 3476 31776 95904 | 14097 476 48 | 0.544 % | 4.30/4.34 c | 814 | 3476 31776 95904 | 15507 814 54 | 0.544 % | 4.30/4.36 c | 1322 | 3476 31776 95904 | 17058 1322 61 | 0.544 % | 4.30/4.39 c | 2082 | 3476 31776 95904 | 18764 2082 64 | 0.544 % | 4.41/4.47 c | 3221 | 3476 31776 95904 | 20640 3221 67 | 0.544 % | 4.49/4.59 c | 4929 | 3476 31776 95904 | 22704 4929 69 | 0.544 % | 4.69/4.79 c | 7495 | 3476 31776 95904 | 24975 7495 70 | 0.544 % | 4.99/5.06 c | 11339 | 3476 31776 95904 | 27472 11339 69 | 0.544 % | 5.59/5.62 c | 17106 | 3475 31776 95904 | 30220 17106 69 | 0.572 % | 7.19/7.28 c | 25757 | 3475 31776 95904 | 33242 25757 74 | 0.572 % | 9.90/9.92 c | 38731 | 3475 31776 95904 | 36566 18258 79 | 0.572 % | 14.79/14.89 c | 58193 | 3475 31776 95904 | 40223 14581 70 | 0.572 % | 21.09/21.19 c | 87386 | 3475 31776 95904 | 44245 17587 56 | 0.572 % | 22.01/22.08 c =============================================================================== 22.59/22.68 c core #147 22.59/22.68 c 22.59/22.68 c 22.59/22.68 c Core size: 150 Core Weight: 1 Total Weight: -150 22.59/22.68 c Current CPU time: 22.4726 s 22.59/22.68 c 22.59/22.68 c ============================[ Search Statistics ]============================== 22.59/22.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.68 c =============================================================================== 22.59/22.68 c | 0 | 3573 31881 96383 | 10627 0 -nan | 0.000 % | 22.59/22.68 c | 101 | 3573 31881 96383 | 11689 101 35 | 0.557 % | 22.59/22.69 c | 251 | 3573 31881 96383 | 12858 251 45 | 0.557 % | 22.59/22.69 c | 478 | 3573 31881 96383 | 14144 478 38 | 0.557 % | 22.69/22.70 c | 816 | 3573 31881 96383 | 15558 816 51 | 0.557 % | 22.69/22.72 c | 1327 | 3573 31881 96383 | 17114 1327 57 | 0.557 % | 22.69/22.76 c | 2087 | 3573 31881 96383 | 18826 2087 65 | 0.557 % | 22.79/22.84 c | 3233 | 3573 31881 96383 | 20709 3233 71 | 0.557 % | 22.89/22.94 c | 4942 | 3573 31881 96383 | 22779 4942 71 | 0.557 % | 23.10/23.19 c | 7505 | 3573 31881 96383 | 25057 7505 70 | 0.557 % | 23.59/23.64 c | 11350 | 3573 31881 96383 | 27563 11350 70 | 0.557 % | 24.29/24.39 c | 17117 | 3573 31881 96383 | 30320 17117 67 | 0.557 % | 25.39/25.40 c | 25768 | 3573 31881 96383 | 33352 25768 69 | 0.557 % | 28.98/29.10 c | 38743 | 3573 31881 96383 | 36687 18109 94 | 0.557 % | 33.89/33.90 c | 58204 | 3572 31881 96383 | 40356 14638 79 | 0.585 % | 40.60/40.62 c | 87397 | 3572 31881 96383 | 44391 18600 71 | 0.584 % | 49.19/49.29 c | 131188 | 3554 31881 96383 | 48830 32030 65 | 1.503 % | 49.40/49.49 c =============================================================================== 50.50/50.51 c core #148 50.50/50.51 c 50.50/50.51 c 50.50/50.51 c Core size: 132 Core Weight: 1 Total Weight: -149 50.50/50.51 c Current CPU time: 50.1664 s 50.50/50.51 c 50.50/50.51 c ============================[ Search Statistics ]============================== 50.50/50.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.50/50.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.50/50.51 c =============================================================================== 50.50/50.51 c | 0 | 3671 31932 96713 | 10644 0 -nan | 0.000 % | 50.50/50.52 c | 101 | 3671 31932 96713 | 11708 101 61 | 0.569 % | 50.50/50.52 c | 253 | 3671 31932 96713 | 12879 253 41 | 0.569 % | 50.50/50.53 c | 478 | 3671 31932 96713 | 14167 478 57 | 0.569 % | 50.50/50.54 c | 819 | 3671 31932 96713 | 15583 819 60 | 0.569 % | 50.50/50.56 c | 1326 | 3671 31932 96713 | 17142 1326 53 | 0.569 % | 50.50/50.59 c | 2085 | 3671 31932 96713 | 18856 2085 46 | 0.569 % | 50.60/50.64 c | 3224 | 3669 31932 96713 | 20742 3224 45 | 0.623 % | 50.68/50.71 c | 4934 | 3669 31932 96713 | 22816 4934 49 | 0.623 % | 50.78/50.87 c | 7499 | 3669 31932 96713 | 25097 7499 50 | 0.623 % | 51.19/51.26 c | 11344 | 3669 31932 96713 | 27607 11344 53 | 0.623 % | 51.88/51.92 c | 17114 | 3669 31932 96713 | 30368 17114 53 | 0.623 % | 52.81/52.86 c | 25766 | 3669 31932 96713 | 33405 25766 52 | 0.623 % | 54.90/55.00 c | 38743 | 3646 31932 96713 | 36745 18586 50 | 1.246 % | 55.79/55.89 c =============================================================================== 56.11/56.18 c core #149 56.11/56.18 c 56.11/56.18 c 56.11/56.18 c Core size: 96 Core Weight: 1 Total Weight: -148 56.11/56.18 c Current CPU time: 55.8555 s 56.11/56.18 c 56.11/56.18 c ============================[ Search Statistics ]============================== 56.11/56.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.11/56.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.11/56.18 c =============================================================================== 56.11/56.18 c | 0 | 3739 31990 97002 | 10663 0 -nan | 0.000 % | 56.11/56.19 c | 102 | 3739 31990 97002 | 11729 102 43 | 0.611 % | 56.11/56.19 c | 254 | 3739 31990 97002 | 12902 254 65 | 0.611 % | 56.19/56.20 c | 480 | 3739 31990 97002 | 14192 480 73 | 0.611 % | 56.19/56.21 c | 817 | 3739 31990 97002 | 15612 817 89 | 0.611 % | 56.19/56.24 c | 1327 | 3739 31990 97002 | 17173 1327 108 | 0.611 % | 56.19/56.29 c | 2087 | 3739 31990 97002 | 18890 2087 114 | 0.611 % | 56.29/56.39 c | 3226 | 3739 31990 97002 | 20779 3226 118 | 0.611 % | 56.49/56.52 c | 4937 | 3739 31990 97002 | 22857 4937 121 | 0.611 % | 56.79/56.85 c | 7499 | 3739 31990 97002 | 25143 7499 130 | 0.611 % | 57.69/57.79 c | 11344 | 3739 31990 97002 | 27657 11344 136 | 0.611 % | 58.39/58.43 c | 17110 | 3739 31990 97002 | 30423 17110 116 | 0.611 % | 59.41/59.45 c | 25759 | 3731 31990 97002 | 33466 25759 98 | 1.303 % | 60.79/60.86 c =============================================================================== 60.89/60.95 c core #150 60.89/60.95 c 60.89/60.95 c 60.89/60.95 c Core size: 106 Core Weight: 1 Total Weight: -147 60.89/60.95 c Current CPU time: 60.5988 s 60.89/60.95 c 60.89/60.95 c ============================[ Search Statistics ]============================== 60.89/60.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.89/60.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.89/60.95 c =============================================================================== 60.89/60.95 c | 0 | 3809 32028 97241 | 10676 0 -nan | 0.000 % | 60.89/60.95 c | 101 | 3809 32028 97241 | 11743 101 70 | 0.600 % | 60.89/60.96 c | 251 | 3809 32028 97241 | 12917 251 44 | 0.600 % | 60.89/60.96 c | 481 | 3809 32028 97241 | 14209 481 36 | 0.600 % | 60.89/60.97 c | 818 | 3809 32028 97241 | 15630 818 35 | 0.600 % | 60.89/60.99 c | 1324 | 3809 32028 97241 | 17193 1324 36 | 0.600 % | 60.99/61.01 c | 2085 | 3809 32028 97241 | 18913 2085 36 | 0.600 % | 60.99/61.05 c | 3225 | 3809 32028 97241 | 20804 3225 38 | 0.600 % | 61.09/61.14 c | 4933 | 3809 32028 97241 | 22884 4933 40 | 0.600 % | 61.29/61.34 c | 7495 | 3809 32028 97241 | 25173 7495 44 | 0.600 % | 61.78/61.83 c | 11340 | 3809 32028 97241 | 27690 11340 50 | 0.600 % | 62.60/62.62 c | 17107 | 3809 32028 97241 | 30459 17107 52 | 0.600 % | 64.09/64.18 c | 25756 | 3809 32028 97241 | 33505 25756 56 | 0.600 % | 66.59/66.63 c | 38730 | 3809 32028 97241 | 36856 18418 58 | 0.600 % | 70.59/70.65 c | 58194 | 3809 32028 97241 | 40542 14334 63 | 0.600 % | 76.79/76.81 c | 87388 | 3809 32028 97241 | 44596 14939 59 | 0.600 % | 84.79/84.80 c | 131178 | 3809 32028 97241 | 49055 28133 66 | 0.600 % | 101.10/101.18 c | 196866 | 3809 32028 97241 | 53961 25963 66 | 0.600 % | 126.19/126.29 c | 295392 | 3786 32028 97241 | 59357 43599 67 | 1.201 % | 131.09/131.15 c =============================================================================== 133.69/133.79 c core #151 133.69/133.79 c 133.69/133.79 c 133.69/133.79 c Core size: 102 Core Weight: 1 Total Weight: -146 133.69/133.79 c Current CPU time: 133.038 s 133.69/133.79 c 133.69/133.79 c ============================[ Search Statistics ]============================== 133.69/133.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 133.69/133.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 133.69/133.79 c =============================================================================== 133.69/133.79 c | 0 | 3877 32044 97415 | 10681 0 -nan | 0.000 % | 133.79/133.80 c | 101 | 3877 32044 97415 | 11749 101 83 | 0.590 % | 133.79/133.80 c | 254 | 3877 32044 97415 | 12924 254 65 | 0.590 % | 133.79/133.81 c | 482 | 3877 32044 97415 | 14216 482 57 | 0.590 % | 133.79/133.82 c | 819 | 3877 32044 97415 | 15638 819 59 | 0.590 % | 133.79/133.83 c | 1325 | 3877 32044 97415 | 17202 1325 57 | 0.590 % | 133.79/133.86 c | 2085 | 3877 32044 97415 | 18922 2085 57 | 0.590 % | 133.89/133.91 c | 3224 | 3877 32044 97415 | 20814 3224 57 | 0.590 % | 133.89/133.99 c | 4932 | 3877 32044 97415 | 22896 4932 56 | 0.590 % | 134.11/134.15 c | 7494 | 3877 32044 97415 | 25186 7494 55 | 0.590 % | 134.39/134.47 c | 11340 | 3877 32044 97415 | 27704 11340 57 | 0.590 % | 135.09/135.15 c | 17108 | 3877 32044 97415 | 30475 17108 59 | 0.590 % | 136.31/136.39 c | 25758 | 3861 32044 97415 | 33522 25758 59 | 1.000 % | 136.99/137.03 c =============================================================================== 137.19/137.20 c core #152 137.19/137.20 c 137.19/137.20 c 137.19/137.20 c Core size: 80 Core Weight: 1 Total Weight: -145 137.19/137.20 c Current CPU time: 136.592 s 137.19/137.20 c 137.19/137.20 c ============================[ Search Statistics ]============================== 137.19/137.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 137.19/137.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 137.19/137.20 c =============================================================================== 137.19/137.20 c | 0 | 3932 32105 97693 | 10701 0 -nan | 0.000 % | 137.19/137.21 c | 100 | 3932 32105 97693 | 11771 100 76 | 0.582 % | 137.19/137.21 c | 251 | 3932 32105 97693 | 12949 251 58 | 0.582 % | 137.19/137.22 c | 478 | 3932 32105 97693 | 14243 478 55 | 0.582 % | 137.19/137.23 c | 815 | 3932 32105 97693 | 15668 815 56 | 0.582 % | 137.19/137.24 c | 1321 | 3932 32105 97693 | 17235 1321 56 | 0.582 % | 137.19/137.28 c | 2081 | 3932 32105 97693 | 18958 2081 60 | 0.582 % | 137.29/137.33 c | 3221 | 3932 32105 97693 | 20854 3221 60 | 0.582 % | 137.40/137.43 c | 4929 | 3932 32105 97693 | 22939 4929 64 | 0.582 % | 137.59/137.64 c | 7491 | 3932 32105 97693 | 25233 7491 66 | 0.582 % | 137.99/138.05 c | 11336 | 3932 32105 97693 | 27757 11336 72 | 0.582 % | 138.99/139.02 c | 17103 | 3932 32105 97693 | 30533 17103 73 | 0.582 % | 140.70/140.73 c | 25758 | 3932 32105 97693 | 33586 25758 73 | 0.582 % | 143.49/143.54 c | 38732 | 3932 32105 97693 | 36945 17543 74 | 0.582 % | 150.89/150.91 c | 58194 | 3932 32105 97693 | 40639 37005 78 | 0.582 % | 159.30/159.39 c | 87387 | 3932 32105 97693 | 44703 39721 75 | 0.582 % | 169.59/169.62 c | 131179 | 3932 32105 97693 | 49173 21542 81 | 0.582 % | 187.79/187.82 c | 196864 | 3932 32105 97693 | 54091 15820 88 | 0.582 % | 219.19/219.27 c | 295393 | 3932 32105 97693 | 59500 35622 95 | 0.582 % | 265.60/265.68 c | 443183 | 3932 32105 97693 | 65450 48657 92 | 0.582 % | 336.20/336.28 c | 664866 | 3932 32105 97693 | 71995 15989 85 | 0.582 % | 470.51/470.58 c | 997393 | 3932 32105 97693 | 79195 61936 114 | 0.582 % | 694.31/694.37 c | 1496181 | 3932 32105 97693 | 87114 51648 96 | 0.582 % | 993.02/993.03 c | 2244367 | 3932 32105 97693 | 95825 84592 101 | 0.582 % | 1444.39/1444.41 c | 3366641 | 3910 32105 97693 | 105408 74680 96 | 1.138 % |
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-3460141-1307118894/watcher-3460141-1307118894 -o /tmp/evaluation-result-3460141-1307118894/solver-3460141-1307118894 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460141-1307118894.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.94 2.01 1.99 3/455 18721 /proc/meminfo: memFree=24408552/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=3732 CPUtime=0 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 487 0 0 0 0 0 0 0 25 0 1 0 804305338 3821568 440 33554432000 4194304 5714214 140736550625904 18446744073709551615 5014044 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 933 441 192 372 0 307 0 [startup+0.0729991 s] /proc/loadavg: 1.94 2.01 1.99 3/455 18721 /proc/meminfo: memFree=24408552/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=5268 CPUtime=0.06 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 1327 0 0 0 6 0 0 0 25 0 1 0 804305338 5394432 1029 33554432000 4194304 5714214 140736550625904 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 1350 1049 170 372 0 975 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5268 [startup+0.100994 s] /proc/loadavg: 1.94 2.01 1.99 3/455 18721 /proc/meminfo: memFree=24408552/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=6880 CPUtime=0.09 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 2002 0 0 0 9 0 0 0 18 0 1 0 804305338 7045120 1443 33554432000 4194304 5714214 140736550625904 18446744073709551615 4967899 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 1720 1443 175 372 0 1345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6880 [startup+0.300955 s] /proc/loadavg: 1.94 2.01 1.99 3/455 18721 /proc/meminfo: memFree=24408552/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=7248 CPUtime=0.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 2187 0 0 0 29 0 0 0 18 0 1 0 804305338 7421952 1555 33554432000 4194304 5714214 140736550625904 18446744073709551615 4356127 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 1812 1555 175 372 0 1437 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7248 [startup+0.700885 s] /proc/loadavg: 1.94 2.01 1.99 3/455 18721 /proc/meminfo: memFree=24408552/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=8284 CPUtime=0.69 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 2601 0 0 0 69 0 0 0 18 0 1 0 804305338 8482816 1810 33554432000 4194304 5714214 140736550625904 18446744073709551615 4964904 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 2071 1810 175 372 0 1696 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8284 [startup+1.50078 s] /proc/loadavg: 1.94 2.01 1.99 3/456 18722 /proc/meminfo: memFree=24400732/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=9064 CPUtime=1.49 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 3553 0 0 0 149 0 0 0 19 0 1 0 804305338 9281536 2003 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 2266 2003 179 372 0 1891 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9064 [startup+3.10049 s] /proc/loadavg: 1.94 2.01 1.99 3/456 18722 /proc/meminfo: memFree=24398624/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=12588 CPUtime=3.09 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 4563 0 0 0 307 2 0 0 25 0 1 0 804305338 12890112 2894 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 3147 2894 180 372 0 2772 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12588 [startup+6.30086 s] /proc/loadavg: 1.94 2.01 1.99 3/456 18722 /proc/meminfo: memFree=24390316/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=17872 CPUtime=6.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 5895 0 0 0 625 4 0 0 25 0 1 0 804305338 18300928 4226 33554432000 4194304 5714214 140736550625904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 4468 4226 180 372 0 4093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17872 [startup+12.7007 s] /proc/loadavg: 1.95 2.01 1.99 3/456 18722 /proc/meminfo: memFree=24380724/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=27716 CPUtime=12.69 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 8269 0 0 0 1261 8 0 0 25 0 1 0 804305338 28381184 6600 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 6929 6600 180 372 0 6554 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27716 [startup+25.5004 s] /proc/loadavg: 1.96 2.01 1.99 3/456 18723 /proc/meminfo: memFree=24361872/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=38184 CPUtime=25.49 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 10823 0 0 0 2533 16 0 0 23 0 1 0 804305338 39100416 9154 33554432000 4194304 5714214 140736550625904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 9546 9154 180 372 0 9171 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38184 [startup+51.1006 s] /proc/loadavg: 1.97 2.00 1.99 3/456 18723 /proc/meminfo: memFree=24343344/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=50820 CPUtime=51.09 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 14103 0 0 0 5083 26 0 0 25 0 1 0 804305338 52039680 12347 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 12705 12347 180 372 0 12330 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 50820 [startup+102.317 s] /proc/loadavg: 2.08 2.03 2.00 3/456 18725 /proc/meminfo: memFree=24338736/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=54808 CPUtime=102.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 15158 0 0 0 10184 46 0 0 25 0 1 0 804305338 56123392 13402 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 13702 13402 180 372 0 13327 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 54808 [startup+162.301 s] /proc/loadavg: 2.07 2.04 2.00 3/456 18726 /proc/meminfo: memFree=24280280/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=94020 CPUtime=162.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 24771 0 0 0 16163 66 0 0 25 0 1 0 804305338 96276480 23015 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 23505 23015 180 372 0 23130 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 94020 [startup+222.301 s] /proc/loadavg: 2.02 2.03 2.00 3/456 18728 /proc/meminfo: memFree=24267844/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=94020 CPUtime=222.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 24828 0 0 0 22146 83 0 0 25 0 1 0 804305338 96276480 23072 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 23505 23072 180 372 0 23130 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 94020 [startup+282.301 s] /proc/loadavg: 2.01 2.02 2.00 3/456 18729 /proc/meminfo: memFree=24216468/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=112764 CPUtime=282.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 29472 0 0 0 28131 99 0 0 25 0 1 0 804305338 115470336 27716 33554432000 4194304 5714214 140736550625904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 28191 27716 180 372 0 27816 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 112764 [startup+342.301 s] /proc/loadavg: 2.05 2.03 2.00 3/456 18731 /proc/meminfo: memFree=24153936/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=141564 CPUtime=342.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 36445 0 0 0 34114 116 0 0 25 0 1 0 804305338 144961536 34689 33554432000 4194304 5714214 140736550625904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 35391 34689 180 372 0 35016 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 141564 [startup+402.301 s] /proc/loadavg: 2.02 2.02 2.00 3/456 18733 /proc/meminfo: memFree=24106280/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=173644 CPUtime=402.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 44293 0 0 0 40101 129 0 0 25 0 1 0 804305338 177811456 42537 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 43411 42537 180 372 0 43036 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 173644 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/456 18734 /proc/meminfo: memFree=24060624/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=196924 CPUtime=462.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 49892 0 0 0 46090 140 0 0 25 0 1 0 804305338 201650176 48136 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 49231 48136 180 372 0 48856 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 196924 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/456 18736 /proc/meminfo: memFree=24038512/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=217768 CPUtime=522.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 54978 0 0 0 52080 150 0 0 25 0 1 0 804305338 222994432 53222 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 54442 53222 180 372 0 54067 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 217768 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/456 18737 /proc/meminfo: memFree=23969540/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=236472 CPUtime=582.31 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 59535 0 0 0 58067 164 0 0 25 0 1 0 804305338 242147328 57779 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 59118 57779 180 372 0 58743 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 236472 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.02 2.00 3/456 18744 /proc/meminfo: memFree=23842468/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=324316 CPUtime=822.31 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 80992 0 0 0 82018 213 0 0 25 0 1 0 804305338 332099584 79236 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 81079 79236 180 372 0 80704 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 324316 [startup+882.3 s] /proc/loadavg: 2.08 2.03 2.00 3/456 18745 /proc/meminfo: memFree=23803260/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=353212 CPUtime=882.32 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 88055 0 0 0 88003 229 0 0 25 0 1 0 804305338 361689088 86299 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 88303 86299 180 372 0 87928 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 353212 [startup+942.3 s] /proc/loadavg: 2.03 2.02 2.00 3/456 18747 /proc/meminfo: memFree=23759716/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=375352 CPUtime=942.32 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 93574 0 0 0 93990 242 0 0 25 0 1 0 804305338 384360448 91818 33554432000 4194304 5714214 140736550625904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 93838 91818 180 372 0 93463 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 375352 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/456 18749 /proc/meminfo: memFree=23734020/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=400952 CPUtime=1002.32 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 99808 0 0 0 99977 255 0 0 25 0 1 0 804305338 410574848 98052 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 100238 98052 180 372 0 99863 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 400952 [startup+1062.3 s] /proc/loadavg: 1.92 2.00 1.99 3/453 18781 /proc/meminfo: memFree=24232892/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=413732 CPUtime=1062.32 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 102934 0 0 0 105964 268 0 0 25 0 1 0 804305338 423661568 101178 33554432000 4194304 5714214 140736550625904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18721/statm: 103433 101178 180 372 0 103058 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 413732 [startup+1122.3 s] /proc/loadavg: 1.97 2.00 1.99 3/456 18810 /proc/meminfo: memFree=24116148/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=430524 CPUtime=1122.28 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 107101 0 0 0 111946 282 0 0 25 0 1 0 804305338 440856576 105345 33554432000 4194304 5714214 140736550625904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 107631 105345 180 372 0 107256 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 430524 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 1.99 3/456 18811 /proc/meminfo: memFree=24059844/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=453576 CPUtime=1182.28 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 112831 0 0 0 117932 296 0 0 25 0 1 0 804305338 464461824 111075 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 113394 111075 180 372 0 113019 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 453576 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 1.99 3/456 18813 /proc/meminfo: memFree=24006984/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=476216 CPUtime=1242.28 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 118421 0 0 0 123918 310 0 0 25 0 1 0 804305338 487645184 116665 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 119054 116665 180 372 0 118679 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 476216 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 1.99 3/456 18816 /proc/meminfo: memFree=23969508/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=502144 CPUtime=1302.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 124873 0 0 0 129903 327 0 0 25 0 1 0 804305338 514195456 123117 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 125536 123117 180 372 0 125161 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 502144 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 1.99 3/456 18817 /proc/meminfo: memFree=23928204/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=525456 CPUtime=1362.28 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 130649 0 0 0 135888 340 0 0 25 0 1 0 804305338 538066944 128893 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 131364 128893 180 372 0 130989 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 525456 [startup+1422.32 s] /proc/loadavg: 2.08 2.03 2.00 3/456 18819 /proc/meminfo: memFree=23901392/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=542076 CPUtime=1422.31 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 134755 0 0 0 141876 355 0 0 25 0 1 0 804305338 555085824 132999 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 135519 132999 180 372 0 135144 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 542076 [startup+1482.3 s] /proc/loadavg: 2.15 2.06 2.01 3/456 18820 /proc/meminfo: memFree=23859812/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=563336 CPUtime=1482.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 139999 0 0 0 147859 370 0 0 25 0 1 0 804305338 576856064 138243 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 140834 138243 180 372 0 140459 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 563336 [startup+1542.3 s] /proc/loadavg: 2.09 2.06 2.01 3/456 18823 /proc/meminfo: memFree=23820832/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=585216 CPUtime=1542.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 145408 0 0 0 153846 383 0 0 25 0 1 0 804305338 599261184 143652 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 146304 143652 180 372 0 145929 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 585216 [startup+1602.3 s] /proc/loadavg: 2.03 2.05 2.01 3/456 18835 /proc/meminfo: memFree=23777136/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=609220 CPUtime=1602.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 151238 0 0 0 159837 392 0 0 25 0 1 0 804305338 623841280 149482 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 152305 149482 180 372 0 151930 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 609220 [startup+1662.3 s] /proc/loadavg: 2.01 2.04 2.00 3/456 18836 /proc/meminfo: memFree=23757268/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=627896 CPUtime=1662.3 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 155734 0 0 0 165826 404 0 0 25 0 1 0 804305338 642965504 153978 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 156974 153978 180 372 0 156599 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 627896 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/456 18838 /proc/meminfo: memFree=23726232/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=640080 CPUtime=1722.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 158770 0 0 0 171813 416 0 0 25 0 1 0 804305338 655441920 157014 33554432000 4194304 5714214 140736550625904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 160020 157014 180 372 0 159645 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 640080 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/456 18839 /proc/meminfo: memFree=23702776/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=658548 CPUtime=1782.29 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 163323 0 0 0 177802 427 0 0 25 0 1 0 804305338 674353152 161567 33554432000 4194304 5714214 140736550625904 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 164637 161567 180 372 0 164262 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 658548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/456 18840 /proc/meminfo: memFree=23702396/32951124 swapFree=60476376/67111528 [pid=18721] ppid=18719 vsize=658548 CPUtime=1800.01 cores=0,2,4,6 /proc/18721/stat : 18721 (wbo1.6) R 18719 18721 16547 0 -1 4202496 163336 0 0 0 179570 431 0 0 25 0 1 0 804305338 674353152 161580 33554432000 4194304 5714214 140736550625904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18721/statm: 164637 161580 180 372 0 164262 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 658548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.05 CPU user time (s): 1795.71 CPU system time (s): 4.34434 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 658548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 4.34434 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163336 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 3942 runsolver used 8.25474 second user time and 17.9783 second system time The end
Begin job on node147 at 2011-06-03 18:34:54 IDJOB=3460141 IDBENCH=71840 IDSOLVER=1953 FILE ID=node147/3460141-1307118894 RUNJOBID= node147-1307111681-17801 PBS_JOBID= 13498009 Free space on /tmp= 73680 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460141-1307118894/watcher-3460141-1307118894 -o /tmp/evaluation-result-3460141-1307118894/solver-3460141-1307118894 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460141-1307118894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b413d11d214e81d6bb556d5c8775428f RANDOM SEED=75925306 node147.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.836 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.67 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 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.75 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.76 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.836 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.836 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: 24408832 kB Buffers: 292608 kB Cached: 1436588 kB SwapCached: 11164 kB Active: 6951124 kB Inactive: 1332444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24408832 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 5452 kB Writeback: 0 kB AnonPages: 6551336 kB Mapped: 23380 kB Slab: 132352 kB PageTables: 59308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 121014564 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= 73672 MiB End job on node147 at 2011-06-03 19:04:56