Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.03 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb |
MD5SUM | 3c1368de4464ff81756c1b99158c803c |
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 | -75 |
Best CPU time to get the best result obtained on this benchmark | 0.796878 |
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 | 29711 |
Number of constraints which are clauses | 29711 |
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 | 356 |
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 | 356 |
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-3460140-1307649846.opb. 0.00/0.00 c Instance file HOME/instance-3460140-1307649846.opb 0.00/0.00 c File size is 982467 bytes. 0.03/0.07 c Highest Coefficient sum: 4 0.03/0.07 c ============================[ Problem Statistics ]============================= 0.03/0.07 c | | 0.03/0.07 c | Parsing time: 0.07 s | 0.03/0.07 c | Number Variables: 2025 | 0.03/0.07 c | Number Clauses: 29711 | 0.03/0.07 c | Number Cardinality: 0 | 0.03/0.07 c | Number PB Constraints: 0 | 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 2025 29711 87963 | 9903 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: 2 Total Weight: -354 0.39/0.42 c Current CPU time: 0.081987 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: 2 Total Weight: -352 0.39/0.42 c Current CPU time: 0.089986 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: 2 Total Weight: -350 0.39/0.42 c Current CPU time: 0.097985 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: 6 Core Weight: 1 Total Weight: -349 0.39/0.42 c Current CPU time: 0.105983 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: -348 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: 5 Core Weight: 2 Total Weight: -346 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: 6 Core Weight: 1 Total Weight: -345 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: -344 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: -341 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: 6 Core Weight: 1 Total Weight: -340 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: 5 Core Weight: 2 Total Weight: -338 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: 6 Core Weight: 2 Total Weight: -336 0.39/0.42 c Current CPU time: 0.168974 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: -335 0.39/0.42 c Current CPU time: 0.175973 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: 5 Core Weight: 2 Total Weight: -333 0.39/0.42 c Current CPU time: 0.183972 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: 5 Core Weight: 1 Total Weight: -332 0.39/0.42 c Current CPU time: 0.19197 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: 5 Core Weight: 2 Total Weight: -330 0.39/0.42 c Current CPU time: 0.199969 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: 2 Total Weight: -328 0.39/0.42 c Current CPU time: 0.208968 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: -327 0.39/0.42 c Current CPU time: 0.216967 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: 6 Core Weight: 2 Total Weight: -325 0.39/0.42 c Current CPU time: 0.224965 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: 5 Core Weight: 1 Total Weight: -324 0.39/0.42 c Current CPU time: 0.232964 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: 2 Total Weight: -322 0.39/0.42 c Current CPU time: 0.240963 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: 5 Core Weight: 1 Total Weight: -321 0.39/0.42 c Current CPU time: 0.249962 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: 6 Core Weight: 1 Total Weight: -320 0.39/0.42 c Current CPU time: 0.25796 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: 5 Core Weight: 1 Total Weight: -319 0.39/0.42 c Current CPU time: 0.265959 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: 6 Core Weight: 2 Total Weight: -317 0.39/0.42 c Current CPU time: 0.273958 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: 7 Core Weight: 1 Total Weight: -316 0.39/0.42 c Current CPU time: 0.282956 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: 5 Core Weight: 3 Total Weight: -313 0.39/0.42 c Current CPU time: 0.290955 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: -312 0.39/0.42 c Current CPU time: 0.298954 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: 5 Core Weight: 1 Total Weight: -311 0.39/0.42 c Current CPU time: 0.307953 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: 2 Total Weight: -309 0.39/0.42 c Current CPU time: 0.315951 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: 6 Core Weight: 1 Total Weight: -308 0.39/0.42 c Current CPU time: 0.32395 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: 5 Core Weight: 1 Total Weight: -307 0.39/0.42 c Current CPU time: 0.332949 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: 5 Core Weight: 1 Total Weight: -306 0.39/0.42 c Current CPU time: 0.340948 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: 6 Core Weight: 3 Total Weight: -303 0.39/0.42 c Current CPU time: 0.348946 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: 3 Total Weight: -300 0.39/0.42 c Current CPU time: 0.357945 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: 6 Core Weight: 2 Total Weight: -298 0.39/0.42 c Current CPU time: 0.366944 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: 7 Core Weight: 2 Total Weight: -296 0.39/0.42 c Current CPU time: 0.374943 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: 5 Core Weight: 1 Total Weight: -295 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: 6 Core Weight: 2 Total Weight: -293 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: 5 Core Weight: 1 Total Weight: -292 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: 5 Core Weight: 2 Total Weight: -290 0.39/0.42 c Current CPU time: 0.409937 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: -289 0.79/0.85 c Current CPU time: 0.417936 s 0.79/0.85 c 0.79/0.85 c core #43 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 7 Core Weight: 3 Total Weight: -286 0.79/0.85 c Current CPU time: 0.426935 s 0.79/0.85 c 0.79/0.85 c core #44 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 5 Core Weight: 2 Total Weight: -284 0.79/0.85 c Current CPU time: 0.435933 s 0.79/0.85 c 0.79/0.85 c core #45 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 6 Core Weight: 1 Total Weight: -283 0.79/0.85 c Current CPU time: 0.445932 s 0.79/0.85 c 0.79/0.85 c core #46 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 6 Core Weight: 2 Total Weight: -281 0.79/0.85 c Current CPU time: 0.45493 s 0.79/0.85 c 0.79/0.85 c core #47 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 5 Core Weight: 1 Total Weight: -280 0.79/0.85 c Current CPU time: 0.463929 s 0.79/0.85 c 0.79/0.85 c core #48 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 5 Core Weight: 3 Total Weight: -277 0.79/0.85 c Current CPU time: 0.473927 s 0.79/0.85 c 0.79/0.85 c core #49 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 6 Core Weight: 1 Total Weight: -276 0.79/0.85 c Current CPU time: 0.482926 s 0.79/0.85 c 0.79/0.85 c core #50 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 12 Core Weight: 1 Total Weight: -275 0.79/0.85 c Current CPU time: 0.492925 s 0.79/0.85 c 0.79/0.85 c core #51 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 9 Core Weight: 1 Total Weight: -274 0.79/0.85 c Current CPU time: 0.502923 s 0.79/0.85 c 0.79/0.85 c core #52 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 2 Total Weight: -272 0.79/0.85 c Current CPU time: 0.511922 s 0.79/0.85 c 0.79/0.85 c core #53 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -271 0.79/0.85 c Current CPU time: 0.52192 s 0.79/0.85 c 0.79/0.85 c core #54 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 8 Core Weight: 1 Total Weight: -270 0.79/0.85 c Current CPU time: 0.531919 s 0.79/0.85 c 0.79/0.85 c core #55 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 2 Total Weight: -268 0.79/0.85 c Current CPU time: 0.541917 s 0.79/0.85 c 0.79/0.85 c core #56 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -267 0.79/0.85 c Current CPU time: 0.551916 s 0.79/0.85 c 0.79/0.85 c core #57 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -266 0.79/0.85 c Current CPU time: 0.562914 s 0.79/0.85 c 0.79/0.85 c core #58 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 2 Total Weight: -264 0.79/0.85 c Current CPU time: 0.572912 s 0.79/0.85 c 0.79/0.85 c core #59 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -263 0.79/0.85 c Current CPU time: 0.583911 s 0.79/0.85 c 0.79/0.85 c core #60 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 8 Core Weight: 1 Total Weight: -262 0.79/0.85 c Current CPU time: 0.593909 s 0.79/0.85 c 0.79/0.85 c core #61 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 2 Total Weight: -260 0.79/0.85 c Current CPU time: 0.604908 s 0.79/0.85 c 0.79/0.85 c core #62 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -259 0.79/0.85 c Current CPU time: 0.615906 s 0.79/0.85 c 0.79/0.85 c core #63 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -258 0.79/0.85 c Current CPU time: 0.625904 s 0.79/0.85 c 0.79/0.85 c core #64 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -257 0.79/0.85 c Current CPU time: 0.636903 s 0.79/0.85 c 0.79/0.85 c core #65 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -256 0.79/0.85 c Current CPU time: 0.647901 s 0.79/0.85 c 0.79/0.85 c core #66 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -255 0.79/0.85 c Current CPU time: 0.658899 s 0.79/0.85 c 0.79/0.85 c core #67 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -254 0.79/0.85 c Current CPU time: 0.669898 s 0.79/0.85 c 0.79/0.85 c core #68 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -253 0.79/0.85 c Current CPU time: 0.680896 s 0.79/0.85 c 0.79/0.85 c core #69 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -252 0.79/0.85 c Current CPU time: 0.692894 s 0.79/0.85 c 0.79/0.85 c core #70 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -251 0.79/0.85 c Current CPU time: 0.703892 s 0.79/0.85 c 0.79/0.85 c core #71 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -250 0.79/0.85 c Current CPU time: 0.714891 s 0.79/0.85 c 0.79/0.85 c core #72 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -249 0.79/0.85 c Current CPU time: 0.725889 s 0.79/0.85 c 0.79/0.85 c core #73 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -248 0.79/0.85 c Current CPU time: 0.737887 s 0.79/0.85 c 0.79/0.85 c core #74 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 15 Core Weight: 1 Total Weight: -247 0.79/0.85 c Current CPU time: 0.748886 s 0.79/0.85 c 0.79/0.85 c core #75 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -246 0.79/0.85 c Current CPU time: 0.759884 s 0.79/0.85 c 0.79/0.85 c core #76 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -245 0.79/0.85 c Current CPU time: 0.771882 s 0.79/0.85 c 0.79/0.85 c core #77 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 2 Total Weight: -243 0.79/0.85 c Current CPU time: 0.78288 s 0.79/0.85 c 0.79/0.85 c core #78 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -242 0.79/0.85 c Current CPU time: 0.794879 s 0.79/0.85 c 0.79/0.85 c core #79 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -241 0.79/0.85 c Current CPU time: 0.806877 s 0.79/0.85 c 0.79/0.85 c core #80 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -240 0.79/0.85 c Current CPU time: 0.817875 s 0.79/0.85 c 0.79/0.85 c core #81 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 2 Total Weight: -238 0.79/0.85 c Current CPU time: 0.829873 s 0.79/0.85 c 0.79/0.85 c core #82 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 10 Core Weight: 1 Total Weight: -237 0.79/0.85 c Current CPU time: 0.841872 s 0.79/0.85 c 0.79/0.85 c core #83 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -236 0.89/0.93 c Current CPU time: 0.85387 s 0.89/0.93 c 0.89/0.93 c core #84 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 9 Core Weight: 3 Total Weight: -233 0.89/0.93 c Current CPU time: 0.865868 s 0.89/0.93 c 0.89/0.93 c core #85 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 9 Core Weight: 1 Total Weight: -232 0.89/0.93 c Current CPU time: 0.877866 s 0.89/0.93 c 0.89/0.93 c core #86 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 9 Core Weight: 1 Total Weight: -231 0.89/0.93 c Current CPU time: 0.889864 s 0.89/0.93 c 0.89/0.93 c core #87 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 7 Core Weight: 3 Total Weight: -228 0.89/0.93 c Current CPU time: 0.901862 s 0.89/0.93 c 0.89/0.93 c core #88 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 9 Core Weight: 1 Total Weight: -227 0.89/0.93 c Current CPU time: 0.913861 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 | 2246 30046 88225 | 10015 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #89 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 10 Core Weight: 1 Total Weight: -226 0.89/0.94 c Current CPU time: 0.926859 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 | 2256 30052 88470 | 10017 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #90 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 13 Core Weight: 1 Total Weight: -225 0.89/0.95 c Current CPU time: 0.938857 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2269 30054 88501 | 10018 0 -nan | 0.000 % | 0.89/0.95 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: 11 Core Weight: 1 Total Weight: -224 0.89/0.96 c Current CPU time: 0.950855 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 | 2279 30059 88708 | 10019 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.98 c core #92 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 8 Core Weight: 1 Total Weight: -223 0.89/0.98 c Current CPU time: 0.962853 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 | 2283 30060 88716 | 10020 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #93 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 12 Core Weight: 1 Total Weight: -222 0.89/0.99 c Current CPU time: 0.974851 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2293 30064 88767 | 10021 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/1.00 c core #94 0.89/1.00 c 0.89/1.00 c 0.89/1.00 c Core size: 10 Core Weight: 1 Total Weight: -221 0.89/1.00 c Current CPU time: 0.987849 s 0.89/1.00 c 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 2301 30067 88788 | 10022 0 -nan | 0.000 % | 0.89/1.00 c =============================================================================== 1.00/1.01 c core #95 1.00/1.01 c 1.00/1.01 c 1.00/1.01 c Core size: 18 Core Weight: 1 Total Weight: -220 1.00/1.01 c Current CPU time: 1.00085 s 1.00/1.01 c 1.00/1.01 c ============================[ Search Statistics ]============================== 1.00/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.01 c =============================================================================== 1.00/1.01 c | 0 | 2315 30068 88816 | 10022 0 -nan | 0.000 % | 1.00/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: -219 1.00/1.03 c Current CPU time: 1.01385 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 | 2320 30070 88828 | 10023 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.04 c core #97 1.00/1.04 c 1.00/1.04 c 1.00/1.04 c Core size: 5 Core Weight: 3 Total Weight: -216 1.00/1.04 c Current CPU time: 1.02584 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 | 2322 30071 88832 | 10023 0 -nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.05 c core #98 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 18 Core Weight: 1 Total Weight: -215 1.00/1.05 c Current CPU time: 1.03884 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 2327 30076 88850 | 10025 0 -nan | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.08 c core #99 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 7 Core Weight: 1 Total Weight: -214 1.00/1.08 c Current CPU time: 1.05084 s 1.00/1.08 c 1.00/1.08 c core #100 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 9 Core Weight: 1 Total Weight: -213 1.00/1.08 c Current CPU time: 1.06384 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 2331 30079 88860 | 10026 0 -nan | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.09 c core #101 1.00/1.09 c 1.00/1.09 c 1.00/1.09 c Core size: 11 Core Weight: 1 Total Weight: -212 1.00/1.09 c Current CPU time: 1.07584 s 1.00/1.09 c 1.00/1.09 c ============================[ Search Statistics ]============================== 1.00/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.09 c =============================================================================== 1.00/1.09 c | 0 | 2336 30084 88878 | 10028 0 -nan | 0.000 % | 1.00/1.09 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: 9 Core Weight: 1 Total Weight: -211 1.00/1.10 c Current CPU time: 1.08883 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 | 2339 30085 88884 | 10028 0 -nan | 0.000 % | 1.00/1.10 c =============================================================================== 1.10/1.11 c core #103 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 11 Core Weight: 1 Total Weight: -210 1.10/1.11 c Current CPU time: 1.10183 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 2346 30087 88901 | 10029 0 -nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.13 c core #104 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 18 Core Weight: 1 Total Weight: -209 1.10/1.13 c Current CPU time: 1.11383 s 1.10/1.13 c 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 2358 30096 88941 | 10032 0 -nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.14 c core #105 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 16 Core Weight: 1 Total Weight: -208 1.10/1.14 c Current CPU time: 1.12683 s 1.10/1.14 c 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 2367 30102 88970 | 10034 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.15 c core #106 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 7 Core Weight: 1 Total Weight: -207 1.10/1.15 c Current CPU time: 1.14083 s 1.10/1.15 c 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 2372 30105 88984 | 10035 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.17 c core #107 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 7 Core Weight: 1 Total Weight: -206 1.10/1.17 c Current CPU time: 1.15382 s 1.10/1.17 c 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 2374 30106 88988 | 10035 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #108 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 27 Core Weight: 1 Total Weight: -205 1.10/1.18 c Current CPU time: 1.16682 s 1.10/1.18 c 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 2390 30112 89031 | 10037 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #109 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 35 Core Weight: 1 Total Weight: -204 1.10/1.19 c Current CPU time: 1.17982 s 1.10/1.19 c 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 2411 30122 89092 | 10040 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.19/1.21 c core #110 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 13 Core Weight: 1 Total Weight: -203 1.19/1.21 c Current CPU time: 1.19382 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 | 2419 30125 89112 | 10041 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #111 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 8 Core Weight: 1 Total Weight: -202 1.19/1.22 c Current CPU time: 1.20682 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 2425 30127 89127 | 10042 0 -nan | 0.000 % | 1.19/1.22 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: 8 Core Weight: 1 Total Weight: -201 1.19/1.23 c Current CPU time: 1.21981 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 | 2431 30131 89146 | 10043 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.25 c core #113 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 11 Core Weight: 1 Total Weight: -200 1.19/1.25 c Current CPU time: 1.23281 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 | 2439 30137 89172 | 10045 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.26 c core #114 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 16 Core Weight: 1 Total Weight: -199 1.19/1.26 c Current CPU time: 1.24581 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 2451 30139 89198 | 10046 0 -nan | 0.000 % | 1.19/1.26 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: 21 Core Weight: 1 Total Weight: -198 1.19/1.27 c Current CPU time: 1.25881 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 | 2469 30145 89245 | 10048 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.29 c core #116 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 11 Core Weight: 1 Total Weight: -197 1.19/1.29 c Current CPU time: 1.27181 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 | 2474 30146 89255 | 10048 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #117 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 15 Core Weight: 1 Total Weight: -196 1.29/1.30 c Current CPU time: 1.2838 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 2486 30150 89285 | 10050 0 -nan | 0.000 % | 1.29/1.30 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: 21 Core Weight: 1 Total Weight: -195 1.29/1.31 c Current CPU time: 1.2978 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 2504 30152 89324 | 10050 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: 13 Core Weight: 1 Total Weight: -194 1.29/1.32 c Current CPU time: 1.3108 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 | 2510 30157 89344 | 10052 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #120 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 10 Core Weight: 1 Total Weight: -193 1.29/1.34 c Current CPU time: 1.3228 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 2511 30162 89356 | 10054 0 -nan | 0.000 % | 1.29/1.34 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: 13 Core Weight: 1 Total Weight: -192 1.29/1.35 c Current CPU time: 1.3358 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 | 2520 30164 89376 | 10054 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: -191 1.29/1.36 c Current CPU time: 1.34879 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 | 2528 30166 89394 | 10055 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: 36 Core Weight: 1 Total Weight: -190 1.29/1.38 c Current CPU time: 1.36179 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 | 2544 30169 89430 | 10056 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: 19 Core Weight: 1 Total Weight: -189 1.29/1.39 c Current CPU time: 1.37479 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 | 2557 30175 89467 | 10058 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: 20 Core Weight: 1 Total Weight: -188 1.39/1.40 c Current CPU time: 1.38879 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 | 2563 30182 89491 | 10060 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.42 c core #126 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -187 1.39/1.42 c Current CPU time: 1.40179 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 2571 30187 89515 | 10062 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: 27 Core Weight: 1 Total Weight: -186 1.39/1.43 c Current CPU time: 1.41478 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 | 2587 30189 89549 | 10063 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: 14 Core Weight: 1 Total Weight: -185 1.39/1.44 c Current CPU time: 1.42778 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 | 2593 30191 89564 | 10063 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.46 c core #129 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 15 Core Weight: 1 Total Weight: -184 1.39/1.46 c Current CPU time: 1.44178 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 2600 30194 89583 | 10064 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: 33 Core Weight: 1 Total Weight: -183 1.39/1.47 c Current CPU time: 1.45478 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 | 2621 30200 89638 | 10066 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: 32 Core Weight: 1 Total Weight: -182 1.39/1.48 c Current CPU time: 1.46878 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 | 2642 30204 89686 | 10068 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.50 c core #132 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 43 Core Weight: 1 Total Weight: -181 1.49/1.50 c Current CPU time: 1.48177 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 2674 30213 89771 | 10071 0 -nan | 0.000 % | 1.49/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: 19 Core Weight: 1 Total Weight: -180 1.49/1.51 c Current CPU time: 1.49577 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 | 2683 30217 89795 | 10072 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.53 c core #134 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 14 Core Weight: 2 Total Weight: -178 1.49/1.53 c Current CPU time: 1.50877 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 2690 30225 89824 | 10075 0 -nan | 0.000 % | 1.49/1.53 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: 26 Core Weight: 1 Total Weight: -177 1.49/1.54 c Current CPU time: 1.52277 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 | 2703 30229 89859 | 10076 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: 50 Core Weight: 1 Total Weight: -176 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 | 2742 30236 89953 | 10078 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: 51 Core Weight: 1 Total Weight: -175 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 | 2792 30244 90073 | 10081 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #138 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 49 Core Weight: 1 Total Weight: -174 1.49/1.58 c Current CPU time: 1.56776 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 2824 30253 90157 | 10084 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.59/1.60 c core #139 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 16 Core Weight: 1 Total Weight: -173 1.59/1.60 c Current CPU time: 1.58076 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 2831 30260 90185 | 10086 0 -nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.61 c core #140 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 31 Core Weight: 1 Total Weight: -172 1.59/1.61 c Current CPU time: 1.59476 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 | 2856 30267 90250 | 10089 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 2850 30267 90250 | 11097 100 10 | 1.291 % | 1.59/1.61 c =============================================================================== 1.59/1.63 c core #141 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 69 Core Weight: 1 Total Weight: -171 1.59/1.63 c Current CPU time: 1.61076 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 2913 30280 90396 | 10093 0 -nan | 0.000 % | 1.59/1.63 c | 104 | 2913 30280 90396 | 11102 104 19 | 0.376 % | 1.59/1.63 c | 255 | 2913 30280 90396 | 12212 255 17 | 0.376 % | 1.59/1.64 c | 482 | 2913 30280 90396 | 13434 482 18 | 0.376 % | 1.59/1.65 c =============================================================================== 1.59/1.66 c core #142 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 94 Core Weight: 1 Total Weight: -170 1.59/1.66 c Current CPU time: 1.64475 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 | 2995 30288 90580 | 10096 0 -nan | 0.000 % | 1.59/1.66 c | 101 | 2994 30288 90580 | 11105 101 17 | 0.432 % | 1.59/1.67 c | 253 | 2994 30288 90580 | 12216 253 17 | 0.432 % | 1.59/1.67 c =============================================================================== 1.59/1.68 c core #143 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 48 Core Weight: 1 Total Weight: -169 1.59/1.68 c Current CPU time: 1.66675 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 | 3038 30304 90701 | 10101 0 -nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.69/1.70 c core #144 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 13 Core Weight: 1 Total Weight: -168 1.69/1.70 c Current CPU time: 1.68074 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 3048 30310 90733 | 10103 0 -nan | 0.000 % | 1.69/1.70 c | 102 | 3048 30310 90733 | 11113 102 11 | 0.490 % | 1.69/1.70 c | 252 | 3045 30310 90733 | 12225 252 13 | 0.555 % | 1.69/1.71 c | 477 | 3045 30310 90733 | 13447 477 14 | 0.555 % | 1.69/1.72 c =============================================================================== 1.69/1.73 c core #145 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 99 Core Weight: 1 Total Weight: -167 1.69/1.73 c Current CPU time: 1.71374 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 3112 30334 90926 | 10111 0 -nan | 0.000 % | 1.69/1.74 c | 103 | 3112 30334 90926 | 11122 103 28 | 0.480 % | 1.69/1.74 c | 254 | 3112 30334 90926 | 12234 254 20 | 0.480 % | 1.69/1.74 c | 479 | 3112 30334 90926 | 13458 479 16 | 0.480 % | 1.69/1.75 c =============================================================================== 1.69/1.76 c core #146 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 77 Core Weight: 1 Total Weight: -166 1.69/1.76 c Current CPU time: 1.74473 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 3182 30368 91155 | 10122 0 -nan | 0.000 % | 1.69/1.77 c | 101 | 3182 30368 91155 | 11134 101 29 | 0.500 % | 1.69/1.77 c | 252 | 3182 30368 91155 | 12248 252 34 | 0.500 % | 1.69/1.78 c | 482 | 3182 30368 91155 | 13473 482 33 | 0.500 % | 1.69/1.79 c | 820 | 3182 30368 91155 | 14820 820 35 | 0.500 % | 1.79/1.80 c | 1331 | 3181 30368 91155 | 16302 1331 29 | 0.532 % | 1.79/1.82 c | 2090 | 3180 30368 91155 | 17932 2090 25 | 0.563 % | 1.79/1.82 c =============================================================================== 1.79/1.83 c core #147 1.79/1.83 c 1.79/1.83 c 1.79/1.83 c Core size: 64 Core Weight: 1 Total Weight: -165 1.79/1.83 c Current CPU time: 1.81572 s 1.79/1.83 c 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 3231 30443 91454 | 10147 0 -nan | 0.000 % | 1.79/1.84 c | 100 | 3231 30443 91454 | 11162 100 32 | 0.554 % | 1.79/1.84 c | 250 | 3231 30443 91454 | 12278 250 20 | 0.554 % | 1.79/1.84 c | 476 | 3231 30443 91454 | 13506 476 17 | 0.554 % | 1.79/1.85 c | 815 | 3229 30443 91454 | 14857 815 16 | 0.616 % | 1.79/1.86 c =============================================================================== 1.79/1.87 c core #148 1.79/1.87 c 1.79/1.87 c 1.79/1.87 c Core size: 59 Core Weight: 1 Total Weight: -164 1.79/1.87 c Current CPU time: 1.85372 s 1.79/1.87 c 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 3271 30463 91584 | 10154 0 -nan | 0.000 % | 1.79/1.88 c | 100 | 3271 30463 91584 | 11169 100 37 | 0.638 % | 1.79/1.88 c | 250 | 3271 30463 91584 | 12286 250 32 | 0.638 % | 1.79/1.89 c | 479 | 3271 30463 91584 | 13515 479 32 | 0.638 % | 1.89/1.90 c | 816 | 3271 30463 91584 | 14866 816 30 | 0.638 % | 1.89/1.92 c | 1324 | 3271 30463 91584 | 16353 1324 30 | 0.638 % | 1.89/1.94 c | 2084 | 3271 30463 91584 | 17989 2084 32 | 0.638 % | 1.89/1.99 c | 3227 | 3271 30463 91584 | 19787 3227 33 | 0.638 % | 1.99/2.07 c | 4935 | 3260 30463 91584 | 21766 4935 33 | 1.397 % | 2.10/2.15 c =============================================================================== 2.10/2.19 c core #149 2.10/2.19 c 2.10/2.19 c 2.10/2.19 c Core size: 98 Core Weight: 1 Total Weight: -163 2.10/2.19 c Current CPU time: 2.16467 s 2.10/2.19 c 2.10/2.19 c ============================[ Search Statistics ]============================== 2.10/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.19 c =============================================================================== 2.10/2.19 c | 0 | 3342 30491 91798 | 10163 0 -nan | 0.000 % | 2.10/2.19 c | 100 | 3342 30491 91798 | 11180 100 39 | 0.684 % | 2.10/2.20 c | 251 | 3342 30491 91798 | 12298 251 36 | 0.684 % | 2.20/2.20 c | 479 | 3342 30491 91798 | 13527 479 32 | 0.684 % | 2.20/2.21 c | 816 | 3342 30491 91798 | 14880 816 30 | 0.684 % | 2.20/2.23 c | 1324 | 3342 30491 91798 | 16368 1324 30 | 0.684 % | 2.20/2.27 c | 2083 | 3342 30491 91798 | 18005 2083 34 | 0.684 % | 2.29/2.32 c | 3222 | 3341 30491 91798 | 19806 3222 34 | 0.713 % | 2.29/2.35 c =============================================================================== 2.29/2.37 c core #150 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 117 Core Weight: 1 Total Weight: -162 2.29/2.37 c Current CPU time: 2.34264 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 3425 30545 92118 | 10181 0 -nan | 0.000 % | 2.29/2.38 c | 100 | 3425 30545 92118 | 11199 100 49 | 0.667 % | 2.29/2.38 c | 250 | 3425 30545 92118 | 12319 250 27 | 0.667 % | 2.29/2.38 c | 478 | 3425 30545 92118 | 13551 478 31 | 0.667 % | 2.29/2.39 c | 816 | 3425 30545 92118 | 14906 816 42 | 0.667 % | 2.40/2.41 c | 1323 | 3425 30545 92118 | 16397 1323 46 | 0.667 % | 2.40/2.44 c | 2083 | 3425 30545 92118 | 18037 2083 55 | 0.667 % | 2.40/2.49 c | 3224 | 3425 30545 92118 | 19841 3224 61 | 0.667 % | 2.59/2.60 c | 4932 | 3425 30545 92118 | 21825 4932 67 | 0.667 % | 2.79/2.84 c | 7497 | 3425 30545 92118 | 24007 7497 74 | 0.667 % | 3.20/3.27 c | 11341 | 3425 30545 92118 | 26408 11341 72 | 0.667 % | 3.79/3.89 c | 17109 | 3425 30545 92118 | 29049 17109 68 | 0.667 % | 4.89/4.92 c | 25758 | 3425 30545 92118 | 31954 25758 66 | 0.667 % | 7.49/7.56 c | 38732 | 3425 30545 92118 | 35149 19538 68 | 0.667 % | 11.09/11.11 c | 58194 | 3425 30545 92118 | 38664 17168 62 | 0.667 % | 12.39/12.43 c =============================================================================== 12.69/12.76 c core #151 12.69/12.76 c 12.69/12.76 c 12.69/12.76 c Core size: 125 Core Weight: 1 Total Weight: -161 12.69/12.76 c Current CPU time: 12.6421 s 12.69/12.76 c 12.69/12.76 c ============================[ Search Statistics ]============================== 12.69/12.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.69/12.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.69/12.76 c =============================================================================== 12.69/12.76 c | 0 | 3532 30604 92496 | 10201 0 -nan | 0.000 % | 12.69/12.77 c | 100 | 3532 30604 92496 | 11221 100 48 | 0.675 % | 12.69/12.77 c | 252 | 3532 30604 92496 | 12343 252 31 | 0.675 % | 12.69/12.77 c | 478 | 3532 30604 92496 | 13577 478 27 | 0.675 % | 12.69/12.78 c | 817 | 3532 30604 92496 | 14935 817 25 | 0.675 % | 12.79/12.80 c | 1325 | 3531 30604 92496 | 16429 1325 23 | 0.703 % | 12.79/12.82 c | 2085 | 3531 30604 92496 | 18072 2085 22 | 0.703 % | 12.79/12.84 c =============================================================================== 12.79/12.86 c core #152 12.79/12.86 c 12.79/12.86 c 12.79/12.86 c Core size: 113 Core Weight: 1 Total Weight: -160 12.79/12.86 c Current CPU time: 12.7781 s 12.79/12.86 c 12.79/12.86 c ============================[ Search Statistics ]============================== 12.79/12.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.86 c =============================================================================== 12.79/12.86 c | 0 | 3612 30632 92729 | 10210 0 -nan | 0.000 % | 12.79/12.87 c | 100 | 3612 30632 92729 | 11231 100 59 | 0.687 % | 12.79/12.87 c | 252 | 3612 30632 92729 | 12354 252 43 | 0.687 % | 12.79/12.88 c | 479 | 3612 30632 92729 | 13590 479 35 | 0.687 % | 12.79/12.89 c | 819 | 3612 30632 92729 | 14949 819 37 | 0.687 % | 12.89/12.91 c | 1328 | 3612 30632 92729 | 16444 1328 39 | 0.687 % | 12.89/12.95 c | 2089 | 3612 30632 92729 | 18088 2089 41 | 0.687 % | 12.99/13.03 c | 3228 | 3612 30632 92729 | 19897 3228 43 | 0.687 % | 13.09/13.16 c | 4937 | 3612 30632 92729 | 21887 4937 44 | 0.687 % | 13.29/13.35 c | 7500 | 3612 30632 92729 | 24076 7500 42 | 0.687 % | 13.59/13.63 c | 11345 | 3612 30632 92729 | 26483 11345 43 | 0.687 % | 13.90/13.90 c =============================================================================== 13.90/13.98 c core #153 13.90/13.98 c 13.90/13.98 c 13.90/13.98 c Core size: 116 Core Weight: 1 Total Weight: -159 13.90/13.98 c Current CPU time: 13.8729 s 13.90/13.98 c 13.90/13.98 c ============================[ Search Statistics ]============================== 13.90/13.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.90/13.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.90/13.98 c =============================================================================== 13.90/13.98 c | 0 | 3690 30660 92955 | 10220 0 -nan | 0.000 % | 13.90/13.98 c | 100 | 3690 30660 92955 | 11242 100 38 | 0.673 % | 13.90/13.99 c | 251 | 3690 30660 92955 | 12366 251 30 | 0.673 % | 13.90/13.99 c | 477 | 3690 30660 92955 | 13602 477 41 | 0.673 % | 14.00/14.00 c | 814 | 3690 30660 92955 | 14963 814 46 | 0.673 % | 14.00/14.02 c | 1320 | 3690 30660 92955 | 16459 1320 46 | 0.673 % | 14.00/14.05 c | 2080 | 3690 30660 92955 | 18105 2080 46 | 0.673 % | 14.09/14.10 c | 3219 | 3690 30660 92955 | 19915 3219 46 | 0.673 % | 14.20/14.21 c | 4928 | 3690 30660 92955 | 21907 4928 48 | 0.673 % | 14.30/14.37 c | 7498 | 3690 30660 92955 | 24098 7498 48 | 0.673 % | 14.79/14.85 c | 11342 | 3690 30660 92955 | 26508 11342 51 | 0.673 % | 15.49/15.57 c | 17111 | 3690 30660 92955 | 29158 17111 52 | 0.673 % | 17.29/17.33 c | 25761 | 3690 30660 92955 | 32074 25761 55 | 0.673 % | 19.99/20.03 c | 38738 | 3690 30660 92955 | 35282 20295 54 | 0.673 % | 23.89/23.95 c | 58200 | 3690 30660 92955 | 38810 17260 67 | 0.673 % | 30.39/30.40 c | 87393 | 3690 30660 92955 | 42691 20572 70 | 0.673 % | 40.79/40.89 c | 131192 | 3688 30660 92955 | 46960 35032 66 | 0.727 % | 56.19/56.27 c | 196876 | 3688 30660 92955 | 51656 32635 68 | 0.727 % | 61.39/61.49 c =============================================================================== 63.20/63.23 c core #154 63.20/63.23 c 63.20/63.23 c 63.20/63.23 c Core size: 101 Core Weight: 1 Total Weight: -158 63.20/63.23 c Current CPU time: 62.8194 s 63.20/63.23 c 63.20/63.23 c ============================[ Search Statistics ]============================== 63.20/63.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.20/63.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.20/63.23 c =============================================================================== 63.20/63.23 c | 0 | 3776 30671 93148 | 10223 0 -nan | 0.000 % | 63.20/63.23 c | 100 | 3776 30671 93148 | 11246 100 43 | 0.710 % | 63.20/63.24 c | 250 | 3776 30671 93148 | 12370 250 42 | 0.710 % | 63.20/63.24 c | 475 | 3776 30671 93148 | 13607 475 38 | 0.710 % | 63.20/63.25 c | 813 | 3776 30671 93148 | 14968 813 39 | 0.710 % | 63.20/63.27 c | 1323 | 3776 30671 93148 | 16465 1323 41 | 0.710 % | 63.30/63.30 c | 2084 | 3776 30671 93148 | 18111 2084 50 | 0.710 % | 63.30/63.35 c | 3225 | 3776 30671 93148 | 19923 3225 58 | 0.710 % | 63.39/63.47 c | 4933 | 3776 30671 93148 | 21915 4933 67 | 0.710 % | 63.59/63.69 c | 7495 | 3776 30671 93148 | 24106 7495 67 | 0.710 % | 64.09/64.10 c | 11339 | 3776 30671 93148 | 26517 11339 68 | 0.710 % | 64.80/64.82 c | 17106 | 3776 30671 93148 | 29169 17106 75 | 0.710 % | 66.20/66.28 c | 25756 | 3775 30671 93148 | 32086 25756 78 | 0.736 % | 68.69/68.72 c | 38730 | 3775 30671 93148 | 35294 19005 78 | 0.736 % | 74.09/74.11 c | 58192 | 3775 30671 93148 | 38824 16714 85 | 0.736 % | 79.30/79.31 c | 87384 | 3775 30671 93148 | 42706 19999 87 | 0.736 % | 89.59/89.64 c | 131173 | 3775 30671 93148 | 46977 35236 95 | 0.736 % | 108.40/108.44 c | 196859 | 3775 30671 93148 | 51675 34936 104 | 0.736 % | 142.10/142.19 c | 295386 | 3775 30671 93148 | 56842 19897 85 | 0.736 % | 183.40/183.46 c | 443175 | 3775 30671 93148 | 62527 41288 91 | 0.736 % | 256.91/256.91 c | 664859 | 3775 30671 93148 | 68779 27191 87 | 0.736 % | 276.11/276.12 c =============================================================================== 276.50/276.52 c core #155 276.50/276.52 c 276.50/276.52 c 276.50/276.52 c Core size: 65 Core Weight: 1 Total Weight: -157 276.50/276.52 c Current CPU time: 275.249 s 276.50/276.52 c 276.50/276.52 c ============================[ Search Statistics ]============================== 276.50/276.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.50/276.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.50/276.52 c =============================================================================== 276.50/276.52 c | 0 | 3814 30743 93402 | 10247 0 -nan | 0.000 % | 276.50/276.52 c | 100 | 3814 30743 93402 | 11272 100 80 | 0.729 % | 276.50/276.53 c | 250 | 3814 30743 93402 | 12399 250 50 | 0.729 % | 276.50/276.54 c | 476 | 3814 30743 93402 | 13639 476 46 | 0.729 % | 276.50/276.55 c | 814 | 3814 30743 93402 | 15003 814 47 | 0.729 % | 276.50/276.57 c | 1324 | 3814 30743 93402 | 16503 1324 59 | 0.729 % | 276.60/276.60 c | 2083 | 3814 30743 93402 | 18154 2083 66 | 0.729 % | 276.60/276.68 c | 3222 | 3814 30743 93402 | 19969 3222 68 | 0.729 % | 276.81/276.83 c | 4931 | 3814 30743 93402 | 21966 4931 72 | 0.729 % | 277.00/277.03 c | 7499 | 3814 30743 93402 | 24163 7499 79 | 0.729 % | 277.40/277.41 c | 11345 | 3814 30743 93402 | 26579 11345 82 | 0.729 % | 278.11/278.14 c | 17118 | 3814 30743 93402 | 29237 17118 83 | 0.729 % | 279.80/279.85 c | 25771 | 3814 30743 93402 | 32161 25771 81 | 0.729 % | 282.31/282.36 c | 38745 | 3814 30743 93402 | 35377 18546 75 | 0.729 % | 289.51/289.57 c | 58206 | 3814 30743 93402 | 38915 16032 96 | 0.729 % | 296.81/296.90 c | 87401 | 3814 30743 93402 | 42807 19580 82 | 0.729 % | 308.20/308.23 c | 131190 | 3814 30743 93402 | 47087 33740 97 | 0.729 % | 328.01/328.01 c | 196874 | 3814 30743 93402 | 51796 32024 103 | 0.729 % | 361.11/361.12 c | 295400 | 3814 30743 93402 | 56976 18857 92 | 0.729 % | 409.81/409.83 c | 443191 | 3814 30743 93402 | 62673 38777 113 | 0.729 % | 503.83/503.87 c | 664874 | 3814 30743 93402 | 68941 21793 89 | 0.729 % | 649.12/649.19 c | 997400 | 3814 30743 93402 | 75835 31364 127 | 0.729 % | 888.74/888.75 c | 1496188 | 3814 30743 93402 | 83418 42601 110 | 0.729 % | 1165.95/1165.95 c | 2244381 | 3814 30743 93402 | 91760 47726 98 | 0.729 % | 1220.95/1220.91 c =============================================================================== 1251.65/1251.61 c core #156 1251.65/1251.61 c 1251.65/1251.61 c 1251.65/1251.61 c Core size: 132 Core Weight: 1 Total Weight: -156 1251.65/1251.61 c Current CPU time: 1247.03 s 1251.65/1251.61 c 1251.65/1251.61 c ============================[ Search Statistics ]============================== 1251.65/1251.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1251.65/1251.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1251.65/1251.61 c =============================================================================== 1251.65/1251.61 c | 0 | 3904 30756 93615 | 10252 0 -nan | 0.000 % | 1251.65/1251.62 c | 100 | 3904 30756 93615 | 11277 100 73 | 0.712 % | 1251.65/1251.62 c | 250 | 3904 30756 93615 | 12404 250 43 | 0.712 % | 1251.65/1251.63 c | 475 | 3904 30756 93615 | 13645 475 35 | 0.712 % | 1251.65/1251.64 c | 814 | 3904 30756 93615 | 15009 814 36 | 0.712 % | 1251.65/1251.66 c | 1320 | 3904 30756 93615 | 16510 1320 37 | 0.712 % | 1251.65/1251.69 c | 2079 | 3904 30756 93615 | 18162 2079 35 | 0.712 % | 1251.76/1251.72 c | 3219 | 3904 30756 93615 | 19978 3219 32 | 0.712 % | 1251.76/1251.80 c | 4927 | 3904 30756 93615 | 21976 4927 31 | 0.712 % | 1251.95/1251.99 c | 7489 | 3904 30756 93615 | 24173 7489 31 | 0.712 % | 1252.25/1252.24 c =============================================================================== 1252.35/1252.30 c core #157 1252.35/1252.30 c 1252.35/1252.30 c 1252.35/1252.30 c Core size: 91 Core Weight: 1 Total Weight: -155 1252.35/1252.30 c Current CPU time: 1249.22 s 1252.35/1252.30 c 1252.35/1252.30 c ============================[ Search Statistics ]============================== 1252.35/1252.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1252.35/1252.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1252.35/1252.30 c =============================================================================== 1252.35/1252.30 c | 0 | 3971 30799 93862 | 10266 0 -nan | 0.000 % | 1252.35/1252.30 c | 103 | 3971 30799 93862 | 11292 103 67 | 0.700 % | 1252.35/1252.30 c | 254 | 3971 30799 93862 | 12422 254 49 | 0.700 % | 1252.35/1252.31 c | 480 | 3971 30799 93862 | 13664 480 42 | 0.700 % | 1252.35/1252.32 c | 819 | 3971 30799 93862 | 15030 819 47 | 0.700 % | 1252.35/1252.34 c | 1325 | 3971 30799 93862 | 16534 1325 53 | 0.700 % | 1252.35/1252.37 c | 2086 | 3971 30799 93862 | 18187 2086 53 | 0.700 % | 1252.45/1252.42 c | 3225 | 3971 30799 93862 | 20006 3225 58 | 0.700 % | 1252.55/1252.52 c | 4937 | 3971 30799 93862 | 22006 4937 61 | 0.700 % | 1252.75/1252.76 c | 7501 | 3971 30799 93862 | 24207 7501 70 | 0.700 % | 1253.35/1253.30 c | 11345 | 3971 30799 93862 | 26628 11345 76 | 0.700 % | 1253.96/1253.95 c | 17112 | 3971 30799 93862 | 29291 17112 73 | 0.700 % | 1255.35/1255.36 c | 25765 | 3971 30799 93862 | 32220 25765 77 | 0.700 % | 1257.36/1257.37 c | 38739 | 3971 30799 93862 | 35442 19036 74 | 0.700 % | 1260.85/1260.88 c | 58200 | 3971 30799 93862 | 38986 15830 59 | 0.700 % | 1266.45/1266.40 c | 87392 | 3971 30799 93862 | 42885 20502 66 | 0.700 % | 1275.46/1275.44 c | 131184 | 3971 30799 93862 | 47173 36296 59 | 0.700 % | 1284.55/1284.58 c =============================================================================== 1285.96/1285.96 c core #158 1285.96/1285.96 c 1285.96/1285.96 c 1285.96/1285.96 c Core size: 163 Core Weight: 1 Total Weight: -154 1285.96/1285.96 c Current CPU time: 1282.62 s 1285.96/1285.96 c 1285.96/1285.96 c ============================[ Search Statistics ]============================== 1285.96/1285.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1285.96/1285.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1285.96/1285.96 c =============================================================================== 1285.96/1285.96 c | 0 | 4083 30826 94150 | 10275 0 -nan | 0.000 % | 1285.96/1285.97 c | 100 | 4083 30826 94150 | 11302 100 69 | 0.681 % | 1285.96/1285.97 c | 251 | 4083 30826 94150 | 12433 251 68 | 0.681 % | 1285.96/1285.98 c | 476 | 4083 30826 94150 | 13676 476 77 | 0.681 % | 1285.96/1285.99 c | 814 | 4083 30826 94150 | 15044 814 87 | 0.681 % | 1286.05/1286.02 c | 1321 | 4083 30826 94150 | 16548 1321 98 | 0.681 % | 1286.05/1286.06 c | 2081 | 4083 30826 94150 | 18203 2081 107 | 0.681 % | 1286.15/1286.15 c | 3220 | 4083 30826 94150 | 20023 3220 99 | 0.681 % | 1286.25/1286.28 c | 4930 | 4083 30826 94150 | 22026 4930 94 | 0.681 % | 1286.46/1286.47 c | 7492 | 4083 30826 94150 | 24228 7492 102 | 0.681 % | 1286.85/1286.82 c | 11336 | 4083 30826 94150 | 26651 11336 102 | 0.681 % | 1287.65/1287.63 c | 17109 | 4083 30826 94150 | 29316 17109 108 | 0.681 % | 1289.25/1289.22 c | 25761 | 4083 30826 94150 | 32248 25761 121 | 0.681 % | 1291.76/1291.79 c | 38735 | 4083 30826 94150 | 35473 19112 131 | 0.681 % | 1296.96/1296.97 c | 58199 | 4083 30826 94150 | 39020 16377 126 | 0.681 % | 1305.65/1305.67 c | 87391 | 4083 30826 94150 | 42922 19520 127 | 0.681 % | 1318.26/1318.27 c | 131182 | 4083 30826 94150 | 47214 34433 113 | 0.681 % | 1338.96/1338.99 c | 196868 | 4083 30826 94150 | 51936 32233 116 | 0.681 % | 1385.76/1385.74 c | 295394 | 4083 30826 94150 | 57130 19617 113 | 0.681 % | 1458.56/1458.60 c | 443186 | 4083 30826 94150 | 62843 39611 117 | 0.681 % | 1568.77/1568.77 c | 664870 | 4083 30826 94150 | 69127 23089 137 | 0.681 % | 1734.07/1734.00 c | 997395 | 4083 30826 94150 | 76040 34254 130 | 0.681 % |
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-3460140-1307649846/watcher-3460140-1307649846 -o /tmp/evaluation-result-3460140-1307649846/solver-3460140-1307649846 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460140-1307649846.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.99 2/172 9337 /proc/meminfo: memFree=32461488/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=3556 CPUtime=0 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 1 0 876581256 3641344 397 33554432000 4194304 5714214 140734566834256 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/9337/statm: 889 397 178 372 0 274 0 [startup+0.0391049 s] /proc/loadavg: 2.00 2.00 1.99 2/172 9337 /proc/meminfo: memFree=32461488/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=4836 CPUtime=0.03 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 850 0 0 0 3 0 0 0 25 0 1 0 876581256 4952064 803 33554432000 4194304 5714214 140734566834256 18446744073709551615 4967686 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 1209 803 292 372 0 594 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4836 [startup+0.101179 s] /proc/loadavg: 2.00 2.00 1.99 2/172 9337 /proc/meminfo: memFree=32461488/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=6836 CPUtime=0.1 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 1942 0 0 0 10 0 0 0 18 0 1 0 876581256 7000064 1434 33554432000 4194304 5714214 140734566834256 18446744073709551615 4337054 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 1709 1435 175 372 0 1334 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6836 [startup+0.301142 s] /proc/loadavg: 2.00 2.00 1.99 2/172 9337 /proc/meminfo: memFree=32461488/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=7036 CPUtime=0.29 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 2209 0 0 0 29 0 0 0 18 0 1 0 876581256 7204864 1490 33554432000 4194304 5714214 140734566834256 18446744073709551615 4977077 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 1759 1490 175 372 0 1384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7036 [startup+0.701058 s] /proc/loadavg: 2.00 2.00 1.99 2/172 9337 /proc/meminfo: memFree=32461488/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=8232 CPUtime=0.69 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 2762 0 0 0 69 0 0 0 18 0 1 0 876581256 8429568 1768 33554432000 4194304 5714214 140734566834256 18446744073709551615 4967823 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 2058 1768 175 372 0 1683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8232 [startup+1.50092 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9348 /proc/meminfo: memFree=32438940/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=9264 CPUtime=1.49 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 3564 0 0 0 149 0 0 0 18 0 1 0 876581256 9486336 1977 33554432000 4194304 5714214 140734566834256 18446744073709551615 4337027 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 2316 1977 179 372 0 1941 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9264 [startup+3.10059 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9348 /proc/meminfo: memFree=32435096/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=11860 CPUtime=3.09 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 4360 0 0 0 307 2 0 0 20 0 1 0 876581256 12144640 2673 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 2965 2673 180 372 0 2590 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11860 [startup+6.30095 s] /proc/loadavg: 2.08 2.02 1.99 3/178 9348 /proc/meminfo: memFree=32420572/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=22420 CPUtime=6.29 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 6993 0 0 0 625 4 0 0 25 0 1 0 876581256 22958080 5306 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 5605 5306 180 372 0 5230 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22420 [startup+12.7007 s] /proc/loadavg: 2.07 2.02 1.99 3/178 9348 /proc/meminfo: memFree=32396292/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=28576 CPUtime=12.69 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 8478 0 0 0 1262 7 0 0 25 0 1 0 876581256 29261824 6791 33554432000 4194304 5714214 140734566834256 18446744073709551615 4324560 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 7144 6791 180 372 0 6769 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28576 [startup+25.5011 s] /proc/loadavg: 2.06 2.01 1.99 3/178 9351 /proc/meminfo: memFree=32388400/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=30912 CPUtime=25.5 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 9115 0 0 0 2536 14 0 0 25 0 1 0 876581256 31653888 7428 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 7728 7428 180 372 0 7353 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 30912 [startup+51.101 s] /proc/loadavg: 2.04 2.01 1.99 3/178 9352 /proc/meminfo: memFree=32351080/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=51084 CPUtime=51.09 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 13979 0 0 0 5087 22 0 0 25 0 1 0 876581256 52310016 12292 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 12771 12292 180 372 0 12396 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51084 [startup+102.307 s] /proc/loadavg: 2.01 2.01 1.99 3/178 9354 /proc/meminfo: memFree=32302672/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=62024 CPUtime=102.3 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 16990 0 0 0 10191 39 0 0 25 0 1 0 876581256 63512576 15201 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 15506 15201 180 372 0 15131 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 62024 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9355 /proc/meminfo: memFree=32218900/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=95316 CPUtime=162.3 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 24907 0 0 0 16173 57 0 0 25 0 1 0 876581256 97603584 23118 33554432000 4194304 5714214 140734566834256 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 23829 23118 180 372 0 23454 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 95316 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9357 /proc/meminfo: memFree=32169852/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=125776 CPUtime=222.31 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 32331 0 0 0 22158 73 0 0 25 0 1 0 876581256 128794624 30542 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 31444 30542 180 372 0 31069 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 125776 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9359 /proc/meminfo: memFree=32104936/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=153340 CPUtime=282.31 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 39318 0 0 0 28139 92 0 0 25 0 1 0 876581256 157020160 37394 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 38335 37394 180 372 0 37960 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 153340 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9360 /proc/meminfo: memFree=32089608/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=153340 CPUtime=342.31 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 39350 0 0 0 34125 106 0 0 25 0 1 0 876581256 157020160 37426 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 38335 37426 180 372 0 37960 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 153340 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9362 /proc/meminfo: memFree=32071812/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=153340 CPUtime=402.32 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 39503 0 0 0 40109 123 0 0 25 0 1 0 876581256 157020160 37579 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 38335 37579 180 372 0 37960 0 Current children cumulated CPU time (s) 402.32 Current children cumulated vsize (KiB) 153340 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9363 /proc/meminfo: memFree=32045080/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=153340 CPUtime=462.31 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 39805 0 0 0 46095 136 0 0 25 0 1 0 876581256 157020160 37881 33554432000 4194304 5714214 140734566834256 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 38335 37881 180 372 0 37960 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 153340 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9365 /proc/meminfo: memFree=32011436/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=161172 CPUtime=522.32 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 41860 0 0 0 52081 151 0 0 25 0 1 0 876581256 165040128 39936 33554432000 4194304 5714214 140734566834256 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 40293 39936 180 372 0 39918 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 161172 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9367 /proc/meminfo: memFree=31969352/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=187396 CPUtime=582.32 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 48113 0 0 0 58068 164 0 0 25 0 1 0 876581256 191893504 46189 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 46849 46189 180 372 0 46474 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 187396 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9373 /proc/meminfo: memFree=31826780/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=264856 CPUtime=822.33 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 66703 0 0 0 82025 208 0 0 25 0 1 0 876581256 271212544 64779 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 66214 64779 180 372 0 65839 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 264856 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9375 /proc/meminfo: memFree=31782220/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=289420 CPUtime=882.34 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 72794 0 0 0 88009 225 0 0 25 0 1 0 876581256 296366080 70870 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 72355 70870 180 372 0 71980 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 289420 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9376 /proc/meminfo: memFree=31683824/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=304660 CPUtime=942.34 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 76559 0 0 0 93994 240 0 0 25 0 1 0 876581256 311971840 74635 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 76165 74635 180 372 0 75790 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 304660 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9378 /proc/meminfo: memFree=31657576/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=331276 CPUtime=1002.34 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 83119 0 0 0 99979 255 0 0 25 0 1 0 876581256 339226624 81195 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 82819 81195 180 372 0 82444 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 331276 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9379 /proc/meminfo: memFree=31636540/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=352968 CPUtime=1062.35 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 88407 0 0 0 105968 267 0 0 25 0 1 0 876581256 361439232 86483 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 88242 86483 180 372 0 87867 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 352968 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9381 /proc/meminfo: memFree=31609452/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=377864 CPUtime=1122.35 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 94571 0 0 0 111955 280 0 0 25 0 1 0 876581256 386932736 92647 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 94466 92647 180 372 0 94091 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 377864 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9383 /proc/meminfo: memFree=31581248/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=406692 CPUtime=1182.35 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 101776 0 0 0 117939 296 0 0 25 0 1 0 876581256 416452608 99852 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 101673 99852 180 372 0 101298 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 406692 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.99 4/178 9384 /proc/meminfo: memFree=31477164/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=508620 CPUtime=1242.35 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 127232 0 0 0 123925 310 0 0 25 0 1 0 876581256 520826880 125308 33554432000 4194304 5714214 140734566834256 18446744073709551615 4324560 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127155 125308 180 372 0 126780 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 508620 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9386 /proc/meminfo: memFree=31473988/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1302.36 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 127878 0 0 0 129902 334 0 0 25 0 1 0 876581256 523505664 125954 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 125954 180 372 0 127434 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 511236 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9387 /proc/meminfo: memFree=31473924/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1362.36 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 127909 0 0 0 135886 350 0 0 25 0 1 0 876581256 523505664 125985 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 125985 180 372 0 127434 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 511236 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9389 /proc/meminfo: memFree=31473508/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1422.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 127976 0 0 0 141877 360 0 0 25 0 1 0 876581256 523505664 126052 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126052 180 372 0 127434 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 511236 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9391 /proc/meminfo: memFree=31473188/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1482.36 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 127986 0 0 0 147865 371 0 0 25 0 1 0 876581256 523505664 126062 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126062 180 372 0 127434 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 511236 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9392 /proc/meminfo: memFree=31472504/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1542.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128011 0 0 0 153857 380 0 0 25 0 1 0 876581256 523505664 126087 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126087 180 372 0 127434 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 511236 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9394 /proc/meminfo: memFree=31472080/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1602.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128068 0 0 0 159848 389 0 0 25 0 1 0 876581256 523505664 126144 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126144 180 372 0 127434 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 511236 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9395 /proc/meminfo: memFree=31471644/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1662.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128122 0 0 0 165839 398 0 0 25 0 1 0 876581256 523505664 126198 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126198 180 372 0 127434 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 511236 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9397 /proc/meminfo: memFree=31471604/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1722.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128141 0 0 0 171830 407 0 0 25 0 1 0 876581256 523505664 126217 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126217 180 372 0 127434 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 511236 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9399 /proc/meminfo: memFree=31471168/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1782.37 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128186 0 0 0 177821 416 0 0 25 0 1 0 876581256 523505664 126262 33554432000 4194304 5714214 140734566834256 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126262 180 372 0 127434 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 511236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.99 3/178 9399 /proc/meminfo: memFree=31470904/32950928 swapFree=67053604/67111528 [pid=9337] ppid=9335 vsize=511236 CPUtime=1800.08 cores=0,2,4,6 /proc/9337/stat : 9337 (wbo1.6) R 9335 9337 8582 0 -1 4202496 128186 0 0 0 179587 421 0 0 25 0 1 0 876581256 523505664 126262 33554432000 4194304 5714214 140734566834256 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9337/statm: 127809 126262 180 372 0 127434 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 511236 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.03 CPU time (s): 1800.11 CPU user time (s): 1795.88 CPU system time (s): 4.23336 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 511236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.88 system time used= 4.23336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128186 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= 5044 runsolver used 2.84857 second user time and 5.58215 second system time The end
Begin job on node149 at 2011-06-09 22:04:06 IDJOB=3460140 IDBENCH=71839 IDSOLVER=1953 FILE ID=node149/3460140-1307649846 RUNJOBID= node149-1307648043-9184 PBS_JOBID= 13549399 Free space on /tmp= 74000 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-10000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460140-1307649846/watcher-3460140-1307649846 -o /tmp/evaluation-result-3460140-1307649846/solver-3460140-1307649846 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460140-1307649846.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c1368de4464ff81756c1b99158c803c RANDOM SEED=620090770 node149.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.806 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.61 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.806 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.83 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.806 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.83 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.806 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.73 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.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 32458444 kB Buffers: 41296 kB Cached: 294424 kB SwapCached: 10180 kB Active: 113076 kB Inactive: 244144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 32458444 kB SwapTotal: 67111528 kB SwapFree: 67053604 kB Dirty: 6640 kB Writeback: 40 kB AnonPages: 18684 kB Mapped: 8260 kB Slab: 69840 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 195612 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= 73992 MiB End job on node149 at 2011-06-09 22:34:08