Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.04 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb |
MD5SUM | d2e31bd1942364d9129e439b3449a3af |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -70 |
Best CPU time to get the best result obtained on this benchmark | 1.05884 |
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 | 29788 |
Number of constraints which are clauses | 29788 |
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 | 326 |
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 | 326 |
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-3460128-1307118045.opb. 0.00/0.00 c Instance file HOME/instance-3460128-1307118045.opb 0.00/0.00 c File size is 985937 bytes. 0.00/0.06 c Highest Coefficient sum: 4 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 2025 | 0.00/0.06 c | Number Clauses: 29788 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 0 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2025 29788 88194 | 9929 0 -nan | 0.000 % | 0.29/0.37 c core #1 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -325 0.29/0.37 c Current CPU time: 0.069989 s 0.29/0.37 c 0.29/0.37 c core #2 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -322 0.29/0.37 c Current CPU time: 0.076988 s 0.29/0.37 c 0.29/0.37 c core #3 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -320 0.29/0.37 c Current CPU time: 0.084987 s 0.29/0.37 c 0.29/0.37 c core #4 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -318 0.29/0.37 c Current CPU time: 0.091986 s 0.29/0.37 c 0.29/0.37 c core #5 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -316 0.29/0.37 c Current CPU time: 0.098984 s 0.29/0.37 c 0.29/0.37 c core #6 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -313 0.29/0.37 c Current CPU time: 0.105983 s 0.29/0.37 c 0.29/0.37 c core #7 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -310 0.29/0.37 c Current CPU time: 0.112982 s 0.29/0.37 c 0.29/0.37 c core #8 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -309 0.29/0.37 c Current CPU time: 0.119981 s 0.29/0.37 c 0.29/0.37 c core #9 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -308 0.29/0.37 c Current CPU time: 0.12698 s 0.29/0.37 c 0.29/0.37 c core #10 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -307 0.29/0.37 c Current CPU time: 0.133979 s 0.29/0.37 c 0.29/0.37 c core #11 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -306 0.29/0.37 c Current CPU time: 0.141978 s 0.29/0.37 c 0.29/0.37 c core #12 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 3 Total Weight: -303 0.29/0.37 c Current CPU time: 0.148977 s 0.29/0.37 c 0.29/0.37 c core #13 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -300 0.29/0.37 c Current CPU time: 0.155976 s 0.29/0.37 c 0.29/0.37 c core #14 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -299 0.29/0.37 c Current CPU time: 0.162975 s 0.29/0.37 c 0.29/0.37 c core #15 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -298 0.29/0.37 c Current CPU time: 0.169974 s 0.29/0.37 c 0.29/0.37 c core #16 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -297 0.29/0.37 c Current CPU time: 0.176973 s 0.29/0.37 c 0.29/0.37 c core #17 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -296 0.29/0.37 c Current CPU time: 0.183972 s 0.29/0.37 c 0.29/0.37 c core #18 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -295 0.29/0.37 c Current CPU time: 0.19097 s 0.29/0.37 c 0.29/0.37 c core #19 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -293 0.29/0.37 c Current CPU time: 0.198969 s 0.29/0.37 c 0.29/0.37 c core #20 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -292 0.29/0.37 c Current CPU time: 0.205968 s 0.29/0.37 c 0.29/0.37 c core #21 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -291 0.29/0.37 c Current CPU time: 0.212967 s 0.29/0.37 c 0.29/0.37 c core #22 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -288 0.29/0.37 c Current CPU time: 0.219966 s 0.29/0.37 c 0.29/0.37 c core #23 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -287 0.29/0.37 c Current CPU time: 0.226965 s 0.29/0.37 c 0.29/0.37 c core #24 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -286 0.29/0.37 c Current CPU time: 0.233964 s 0.29/0.37 c 0.29/0.37 c core #25 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -285 0.29/0.37 c Current CPU time: 0.240963 s 0.29/0.37 c 0.29/0.37 c core #26 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -284 0.29/0.37 c Current CPU time: 0.247962 s 0.29/0.37 c 0.29/0.37 c core #27 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -283 0.29/0.37 c Current CPU time: 0.255961 s 0.29/0.37 c 0.29/0.37 c core #28 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 7 Core Weight: 1 Total Weight: -282 0.29/0.37 c Current CPU time: 0.26296 s 0.29/0.37 c 0.29/0.37 c core #29 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 3 Total Weight: -279 0.29/0.37 c Current CPU time: 0.269958 s 0.29/0.37 c 0.29/0.37 c core #30 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -278 0.29/0.37 c Current CPU time: 0.277957 s 0.29/0.37 c 0.29/0.37 c core #31 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -277 0.29/0.37 c Current CPU time: 0.284956 s 0.29/0.37 c 0.29/0.37 c core #32 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 4 Total Weight: -273 0.29/0.37 c Current CPU time: 0.291955 s 0.29/0.37 c 0.29/0.37 c core #33 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 1 Total Weight: -272 0.29/0.37 c Current CPU time: 0.299954 s 0.29/0.37 c 0.29/0.37 c core #34 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 2 Total Weight: -270 0.29/0.37 c Current CPU time: 0.306953 s 0.29/0.37 c 0.29/0.37 c core #35 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -269 0.29/0.37 c Current CPU time: 0.314952 s 0.29/0.37 c 0.29/0.37 c core #36 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -268 0.29/0.37 c Current CPU time: 0.32295 s 0.29/0.37 c 0.29/0.37 c core #37 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 5 Core Weight: 2 Total Weight: -266 0.29/0.37 c Current CPU time: 0.329949 s 0.29/0.37 c 0.29/0.37 c core #38 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 10 Core Weight: 1 Total Weight: -265 0.29/0.37 c Current CPU time: 0.337948 s 0.29/0.37 c 0.29/0.37 c core #39 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: -264 0.29/0.37 c Current CPU time: 0.345947 s 0.29/0.37 c 0.29/0.37 c core #40 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: -263 0.29/0.37 c Current CPU time: 0.353946 s 0.29/0.37 c 0.29/0.37 c core #41 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: -262 0.29/0.37 c Current CPU time: 0.361944 s 0.29/0.37 c 0.29/0.37 c core #42 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 11 Core Weight: 1 Total Weight: -261 0.69/0.77 c Current CPU time: 0.370943 s 0.69/0.77 c 0.69/0.77 c core #43 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -260 0.69/0.77 c Current CPU time: 0.378942 s 0.69/0.77 c 0.69/0.77 c core #44 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -259 0.69/0.77 c Current CPU time: 0.387941 s 0.69/0.77 c 0.69/0.77 c core #45 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 7 Core Weight: 1 Total Weight: -258 0.69/0.77 c Current CPU time: 0.395939 s 0.69/0.77 c 0.69/0.77 c core #46 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -257 0.69/0.77 c Current CPU time: 0.404938 s 0.69/0.77 c 0.69/0.77 c core #47 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -256 0.69/0.77 c Current CPU time: 0.413937 s 0.69/0.77 c 0.69/0.77 c core #48 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 15 Core Weight: 2 Total Weight: -254 0.69/0.77 c Current CPU time: 0.422935 s 0.69/0.77 c 0.69/0.77 c core #49 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 15 Core Weight: 1 Total Weight: -253 0.69/0.77 c Current CPU time: 0.431934 s 0.69/0.77 c 0.69/0.77 c core #50 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 15 Core Weight: 1 Total Weight: -252 0.69/0.77 c Current CPU time: 0.439933 s 0.69/0.77 c 0.69/0.77 c core #51 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 15 Core Weight: 1 Total Weight: -251 0.69/0.77 c Current CPU time: 0.448931 s 0.69/0.77 c 0.69/0.77 c core #52 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 2 Total Weight: -249 0.69/0.77 c Current CPU time: 0.45793 s 0.69/0.77 c 0.69/0.77 c core #53 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -248 0.69/0.77 c Current CPU time: 0.467928 s 0.69/0.77 c 0.69/0.77 c core #54 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 2 Total Weight: -246 0.69/0.77 c Current CPU time: 0.476927 s 0.69/0.77 c 0.69/0.77 c core #55 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -245 0.69/0.77 c Current CPU time: 0.486925 s 0.69/0.77 c 0.69/0.77 c core #56 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -244 0.69/0.77 c Current CPU time: 0.495924 s 0.69/0.77 c 0.69/0.77 c core #57 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 8 Core Weight: 1 Total Weight: -243 0.69/0.77 c Current CPU time: 0.505923 s 0.69/0.77 c 0.69/0.77 c core #58 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -242 0.69/0.77 c Current CPU time: 0.514921 s 0.69/0.77 c 0.69/0.77 c core #59 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -241 0.69/0.77 c Current CPU time: 0.52492 s 0.69/0.77 c 0.69/0.77 c core #60 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 7 Core Weight: 1 Total Weight: -240 0.69/0.77 c Current CPU time: 0.534918 s 0.69/0.77 c 0.69/0.77 c core #61 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 7 Core Weight: 1 Total Weight: -239 0.69/0.77 c Current CPU time: 0.544917 s 0.69/0.77 c 0.69/0.77 c core #62 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -238 0.69/0.77 c Current CPU time: 0.553915 s 0.69/0.77 c 0.69/0.77 c core #63 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -237 0.69/0.77 c Current CPU time: 0.563914 s 0.69/0.77 c 0.69/0.77 c core #64 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -236 0.69/0.77 c Current CPU time: 0.573912 s 0.69/0.77 c 0.69/0.77 c core #65 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -235 0.69/0.77 c Current CPU time: 0.583911 s 0.69/0.77 c 0.69/0.77 c core #66 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 14 Core Weight: 1 Total Weight: -234 0.69/0.77 c Current CPU time: 0.593909 s 0.69/0.77 c 0.69/0.77 c core #67 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -233 0.69/0.77 c Current CPU time: 0.603908 s 0.69/0.77 c 0.69/0.77 c core #68 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -232 0.69/0.77 c Current CPU time: 0.613906 s 0.69/0.77 c 0.69/0.77 c core #69 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 13 Core Weight: 1 Total Weight: -231 0.69/0.77 c Current CPU time: 0.623905 s 0.69/0.77 c 0.69/0.77 c core #70 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 2 Total Weight: -229 0.69/0.77 c Current CPU time: 0.633903 s 0.69/0.77 c 0.69/0.77 c core #71 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 8 Core Weight: 2 Total Weight: -227 0.69/0.77 c Current CPU time: 0.644901 s 0.69/0.77 c 0.69/0.77 c core #72 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -226 0.69/0.77 c Current CPU time: 0.6549 s 0.69/0.77 c 0.69/0.77 c core #73 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -225 0.69/0.77 c Current CPU time: 0.665898 s 0.69/0.77 c 0.69/0.77 c core #74 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 17 Core Weight: 1 Total Weight: -224 0.69/0.77 c Current CPU time: 0.675897 s 0.69/0.77 c 0.69/0.77 c core #75 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -223 0.69/0.77 c Current CPU time: 0.686895 s 0.69/0.77 c 0.69/0.77 c core #76 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 10 Core Weight: 1 Total Weight: -222 0.69/0.77 c Current CPU time: 0.696894 s 0.69/0.77 c 0.69/0.77 c core #77 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 11 Core Weight: 1 Total Weight: -221 0.69/0.77 c Current CPU time: 0.707892 s 0.69/0.77 c 0.69/0.77 c core #78 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -220 0.69/0.77 c Current CPU time: 0.71889 s 0.69/0.77 c 0.69/0.77 c core #79 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: -219 0.69/0.77 c Current CPU time: 0.728889 s 0.69/0.77 c 0.69/0.77 c core #80 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 16 Core Weight: 1 Total Weight: -218 0.69/0.77 c Current CPU time: 0.739887 s 0.69/0.77 c 0.69/0.77 c core #81 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 13 Core Weight: 1 Total Weight: -217 0.69/0.77 c Current CPU time: 0.750885 s 0.69/0.77 c 0.69/0.77 c core #82 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 9 Core Weight: 1 Total Weight: -216 0.69/0.77 c Current CPU time: 0.761884 s 0.69/0.77 c 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2238 30119 88449 | 10039 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #83 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 9 Core Weight: 1 Total Weight: -215 0.69/0.78 c Current CPU time: 0.772882 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 2242 30121 88463 | 10040 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.79/0.80 c core #84 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 12 Core Weight: 1 Total Weight: -214 0.79/0.80 c Current CPU time: 0.78388 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 2245 30124 88471 | 10041 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #85 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 18 Core Weight: 1 Total Weight: -213 0.79/0.81 c Current CPU time: 0.794879 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 2274 30127 88931 | 10042 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #86 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 8 Core Weight: 1 Total Weight: -212 0.79/0.82 c Current CPU time: 0.805877 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 2280 30128 88955 | 10042 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #87 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 11 Core Weight: 1 Total Weight: -211 0.79/0.83 c Current CPU time: 0.817875 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 2285 30133 88973 | 10044 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #88 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 10 Core Weight: 2 Total Weight: -209 0.79/0.84 c Current CPU time: 0.828873 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 2288 30134 88979 | 10044 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #89 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 11 Core Weight: 1 Total Weight: -208 0.79/0.85 c Current CPU time: 0.839872 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2296 30139 89001 | 10046 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #90 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 11 Core Weight: 1 Total Weight: -207 0.79/0.86 c Current CPU time: 0.85187 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 2303 30143 89018 | 10047 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.88 c core #91 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 12 Core Weight: 1 Total Weight: -206 0.79/0.88 c Current CPU time: 0.862868 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2314 30144 89050 | 10048 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #92 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 15 Core Weight: 1 Total Weight: -205 0.79/0.89 c Current CPU time: 0.873867 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2324 30154 89090 | 10051 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #93 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 18 Core Weight: 1 Total Weight: -204 0.89/0.90 c Current CPU time: 0.885865 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2332 30160 89117 | 10053 0 -nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #94 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 11 Core Weight: 1 Total Weight: -203 0.89/0.91 c Current CPU time: 0.896863 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2338 30162 89132 | 10054 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #95 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 7 Core Weight: 1 Total Weight: -202 0.89/0.92 c Current CPU time: 0.908861 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2341 30164 89140 | 10054 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #96 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 20 Core Weight: 1 Total Weight: -201 0.89/0.93 c Current CPU time: 0.91986 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 | 2352 30167 89166 | 10055 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #97 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 28 Core Weight: 1 Total Weight: -200 0.89/0.94 c Current CPU time: 0.931858 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 | 2373 30170 89212 | 10056 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #98 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 9 Core Weight: 1 Total Weight: -199 0.89/0.96 c Current CPU time: 0.943856 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 | 2377 30174 89226 | 10058 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #99 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 10 Core Weight: 1 Total Weight: -198 0.89/0.97 c Current CPU time: 0.954854 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 2381 30175 89234 | 10058 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #100 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 20 Core Weight: 1 Total Weight: -197 0.89/0.98 c Current CPU time: 0.966853 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 2387 30178 89250 | 10059 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #101 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 14 Core Weight: 1 Total Weight: -196 0.89/0.99 c Current CPU time: 0.978851 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2393 30180 89264 | 10060 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.99/1.00 c core #102 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 21 Core Weight: 1 Total Weight: -195 0.99/1.00 c Current CPU time: 0.989849 s 0.99/1.00 c 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 2403 30182 89286 | 10060 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.01 c core #103 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 22 Core Weight: 1 Total Weight: -194 0.99/1.01 c Current CPU time: 1.00185 s 0.99/1.01 c 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 2412 30186 89311 | 10062 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #104 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 20 Core Weight: 1 Total Weight: -193 0.99/1.03 c Current CPU time: 1.01385 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 2428 30190 89349 | 10063 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.04 c core #105 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 17 Core Weight: 1 Total Weight: -192 0.99/1.04 c Current CPU time: 1.02584 s 0.99/1.04 c 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 2444 30193 89385 | 10064 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.05 c core #106 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 11 Core Weight: 1 Total Weight: -191 0.99/1.05 c Current CPU time: 1.03784 s 0.99/1.05 c 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 2449 30197 89401 | 10065 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.06 c core #107 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 11 Core Weight: 1 Total Weight: -190 0.99/1.06 c Current CPU time: 1.04984 s 0.99/1.06 c 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 2454 30198 89411 | 10066 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.07 c core #108 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 21 Core Weight: 1 Total Weight: -189 0.99/1.07 c Current CPU time: 1.06184 s 0.99/1.07 c 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 2466 30200 89438 | 10066 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #109 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 30 Core Weight: 1 Total Weight: -188 0.99/1.09 c Current CPU time: 1.07484 s 0.99/1.09 c 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 2483 30205 89482 | 10068 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #110 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 16 Core Weight: 1 Total Weight: -187 0.99/1.10 c Current CPU time: 1.08683 s 0.99/1.10 c 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 2492 30210 89510 | 10070 0 -nan | 0.000 % | 0.99/1.10 c =============================================================================== 0.99/1.11 c core #111 0.99/1.11 c 0.99/1.11 c 0.99/1.11 c Core size: 8 Core Weight: 1 Total Weight: -186 0.99/1.11 c Current CPU time: 1.09883 s 0.99/1.11 c 0.99/1.11 c ============================[ Search Statistics ]============================== 0.99/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.11 c =============================================================================== 0.99/1.11 c | 0 | 2476 30212 89516 | 10070 0 -nan | 0.000 % | 0.99/1.11 c =============================================================================== 1.10/1.12 c core #112 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 15 Core Weight: 1 Total Weight: -185 1.10/1.12 c Current CPU time: 1.11083 s 1.10/1.12 c 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 2483 30214 89528 | 10071 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.14 c core #113 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 23 Core Weight: 1 Total Weight: -184 1.10/1.14 c Current CPU time: 1.12283 s 1.10/1.14 c 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 2509 30216 89551 | 10072 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.15 c core #114 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 21 Core Weight: 1 Total Weight: -183 1.10/1.15 c Current CPU time: 1.13383 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 | 2521 30219 89581 | 10073 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #115 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 23 Core Weight: 1 Total Weight: -182 1.10/1.16 c Current CPU time: 1.14583 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 2535 30224 89618 | 10074 0 -nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.17 c core #116 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 13 Core Weight: 1 Total Weight: -181 1.10/1.17 c Current CPU time: 1.15782 s 1.10/1.17 c 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 2543 30233 89651 | 10077 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #117 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 24 Core Weight: 1 Total Weight: -180 1.10/1.18 c Current CPU time: 1.16982 s 1.10/1.18 c 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 2553 30239 89682 | 10079 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #118 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 31 Core Weight: 1 Total Weight: -179 1.10/1.19 c Current CPU time: 1.18182 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 | 2572 30241 89723 | 10080 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.21 c core #119 1.10/1.21 c 1.10/1.21 c 1.10/1.21 c Core size: 34 Core Weight: 1 Total Weight: -178 1.10/1.21 c Current CPU time: 1.19382 s 1.10/1.21 c 1.10/1.21 c ============================[ Search Statistics ]============================== 1.10/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.21 c =============================================================================== 1.10/1.21 c | 0 | 2585 30242 89749 | 10080 0 -nan | 0.000 % | 1.10/1.21 c =============================================================================== 1.21/1.22 c core #120 1.21/1.22 c 1.21/1.22 c 1.21/1.22 c Core size: 24 Core Weight: 1 Total Weight: -177 1.21/1.22 c Current CPU time: 1.20582 s 1.21/1.22 c 1.21/1.22 c ============================[ Search Statistics ]============================== 1.21/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.22 c =============================================================================== 1.21/1.22 c | 0 | 2599 30246 89784 | 10082 0 -nan | 0.000 % | 1.21/1.22 c =============================================================================== 1.21/1.23 c core #121 1.21/1.23 c 1.21/1.23 c 1.21/1.23 c Core size: 29 Core Weight: 1 Total Weight: -176 1.21/1.23 c Current CPU time: 1.21781 s 1.21/1.23 c 1.21/1.23 c ============================[ Search Statistics ]============================== 1.21/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.23 c =============================================================================== 1.21/1.23 c | 0 | 2620 30250 89834 | 10083 0 -nan | 0.000 % | 1.21/1.23 c =============================================================================== 1.21/1.24 c core #122 1.21/1.24 c 1.21/1.24 c 1.21/1.24 c Core size: 25 Core Weight: 1 Total Weight: -175 1.21/1.24 c Current CPU time: 1.22981 s 1.21/1.24 c 1.21/1.24 c ============================[ Search Statistics ]============================== 1.21/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.24 c =============================================================================== 1.21/1.24 c | 0 | 2632 30258 89873 | 10086 0 -nan | 0.000 % | 1.21/1.24 c =============================================================================== 1.21/1.25 c core #123 1.21/1.25 c 1.21/1.25 c 1.21/1.25 c Core size: 18 Core Weight: 1 Total Weight: -174 1.21/1.25 c Current CPU time: 1.24181 s 1.21/1.25 c 1.21/1.25 c ============================[ Search Statistics ]============================== 1.21/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.25 c =============================================================================== 1.21/1.25 c | 0 | 2644 30261 89902 | 10087 0 -nan | 0.000 % | 1.21/1.25 c =============================================================================== 1.21/1.27 c core #124 1.21/1.27 c 1.21/1.27 c 1.21/1.27 c Core size: 11 Core Weight: 1 Total Weight: -173 1.21/1.27 c Current CPU time: 1.25281 s 1.21/1.27 c 1.21/1.27 c ============================[ Search Statistics ]============================== 1.21/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.27 c =============================================================================== 1.21/1.27 c | 0 | 2649 30262 89912 | 10087 0 -nan | 0.000 % | 1.21/1.27 c =============================================================================== 1.21/1.28 c core #125 1.21/1.28 c 1.21/1.28 c 1.21/1.28 c Core size: 14 Core Weight: 1 Total Weight: -172 1.21/1.28 c Current CPU time: 1.26581 s 1.21/1.28 c 1.21/1.28 c ============================[ Search Statistics ]============================== 1.21/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.28 c =============================================================================== 1.21/1.28 c | 0 | 2650 30271 89938 | 10090 0 -nan | 0.000 % | 1.21/1.28 c =============================================================================== 1.21/1.29 c core #126 1.21/1.29 c 1.21/1.29 c 1.21/1.29 c Core size: 31 Core Weight: 1 Total Weight: -171 1.21/1.29 c Current CPU time: 1.27781 s 1.21/1.29 c 1.21/1.29 c ============================[ Search Statistics ]============================== 1.21/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.29 c =============================================================================== 1.21/1.29 c | 0 | 2670 30278 89986 | 10092 0 -nan | 0.000 % | 1.21/1.29 c =============================================================================== 1.29/1.30 c core #127 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 13 Core Weight: 1 Total Weight: -170 1.29/1.30 c Current CPU time: 1.2898 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 | 2680 30282 90015 | 10094 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #128 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 51 Core Weight: 1 Total Weight: -169 1.29/1.31 c Current CPU time: 1.3018 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 | 2718 30286 90098 | 10095 0 -nan | 0.000 % | 1.29/1.32 c | 102 | 2717 30286 90098 | 11104 102 15 | 0.294 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #129 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 56 Core Weight: 1 Total Weight: -168 1.29/1.33 c Current CPU time: 1.3168 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 2767 30293 90213 | 10097 0 -nan | 0.000 % | 1.29/1.33 c | 101 | 2767 30293 90213 | 11107 101 33 | 0.252 % | 1.29/1.33 c | 252 | 2766 30293 90213 | 12218 252 26 | 0.288 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #130 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 52 Core Weight: 1 Total Weight: -167 1.29/1.35 c Current CPU time: 1.3338 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 | 2809 30300 90315 | 10100 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #131 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 48 Core Weight: 1 Total Weight: -166 1.29/1.36 c Current CPU time: 1.3478 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 | 2843 30306 90395 | 10102 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #132 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 47 Core Weight: 1 Total Weight: -165 1.29/1.37 c Current CPU time: 1.36079 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 2875 30316 90482 | 10105 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.39 c core #133 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 24 Core Weight: 1 Total Weight: -164 1.29/1.39 c Current CPU time: 1.37279 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 | 2888 30323 90523 | 10107 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #134 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 35 Core Weight: 1 Total Weight: -163 1.39/1.40 c Current CPU time: 1.38579 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 | 2916 30325 90581 | 10108 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #135 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 32 Core Weight: 1 Total Weight: -162 1.39/1.41 c Current CPU time: 1.39879 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 2944 30335 90656 | 10111 0 -nan | 0.000 % | 1.39/1.41 c | 102 | 2944 30335 90656 | 11122 102 14 | 0.305 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #136 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 88 Core Weight: 1 Total Weight: -161 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 | 3006 30345 90806 | 10115 0 -nan | 0.000 % | 1.39/1.43 c | 100 | 3003 30345 90806 | 11126 100 8 | 0.431 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #137 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 52 Core Weight: 1 Total Weight: -160 1.39/1.44 c Current CPU time: 1.42978 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 | 3049 30363 90939 | 10121 0 -nan | 0.000 % | 1.39/1.45 c | 102 | 3049 30363 90939 | 11133 102 23 | 0.359 % | 1.39/1.45 c | 252 | 3048 30363 90939 | 12246 252 19 | 0.392 % | 1.39/1.45 c | 478 | 3048 30363 90939 | 13471 478 19 | 0.392 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #138 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 99 Core Weight: 1 Total Weight: -159 1.39/1.47 c Current CPU time: 1.45578 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 | 3123 30376 91119 | 10125 0 -nan | 0.000 % | 1.39/1.47 c | 101 | 3123 30376 91119 | 11137 101 17 | 0.383 % | 1.39/1.47 c =============================================================================== 1.39/1.49 c core #139 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 52 Core Weight: 1 Total Weight: -158 1.39/1.49 c Current CPU time: 1.47178 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 3154 30395 91231 | 10131 0 -nan | 0.000 % | 1.39/1.49 c | 100 | 3154 30395 91231 | 11144 100 44 | 0.379 % | 1.39/1.49 c | 250 | 3154 30395 91231 | 12259 250 34 | 0.379 % | 1.49/1.50 c | 476 | 3154 30395 91231 | 13485 476 29 | 0.379 % | 1.49/1.50 c | 815 | 3154 30395 91231 | 14833 815 29 | 0.379 % | 1.49/1.52 c | 1323 | 3154 30395 91231 | 16317 1323 27 | 0.379 % | 1.49/1.54 c | 2082 | 3154 30395 91231 | 17948 2082 26 | 0.379 % | 1.49/1.59 c | 3222 | 3135 30395 91231 | 19743 3222 26 | 0.979 % | 1.49/1.59 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: 80 Core Weight: 1 Total Weight: -157 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 | 3214 30419 91414 | 10139 0 -nan | 0.000 % | 1.59/1.62 c | 100 | 3214 30419 91414 | 11153 100 48 | 0.372 % | 1.59/1.62 c | 250 | 3214 30419 91414 | 12268 250 42 | 0.372 % | 1.59/1.63 c | 475 | 3214 30419 91414 | 13495 475 36 | 0.372 % | 1.59/1.63 c | 812 | 3214 30419 91414 | 14845 812 33 | 0.372 % | 1.59/1.65 c | 1319 | 3214 30419 91414 | 16330 1319 33 | 0.372 % | 1.59/1.67 c | 2080 | 3214 30419 91414 | 17963 2080 32 | 0.372 % | 1.69/1.72 c | 3220 | 3214 30419 91414 | 19759 3220 34 | 0.372 % | 1.79/1.81 c | 4930 | 3214 30419 91414 | 21735 4930 35 | 0.372 % | 1.89/1.97 c | 7493 | 3214 30419 91414 | 23908 7493 39 | 0.372 % | 2.21/2.27 c | 11337 | 3214 30419 91414 | 26299 11337 40 | 0.372 % | 2.69/2.79 c | 17104 | 3214 30419 91414 | 28929 17104 39 | 0.372 % | 3.59/3.68 c =============================================================================== 3.69/3.79 c core #141 3.69/3.79 c 3.69/3.79 c 3.69/3.79 c Core size: 108 Core Weight: 1 Total Weight: -156 3.69/3.79 c Current CPU time: 3.74543 s 3.69/3.79 c 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 3300 30483 91757 | 10161 0 -nan | 0.000 % | 3.79/3.80 c | 101 | 3298 30483 91757 | 11177 101 24 | 0.423 % | 3.79/3.80 c | 252 | 3298 30483 91757 | 12294 252 27 | 0.423 % | 3.79/3.80 c | 478 | 3298 30483 91757 | 13524 478 32 | 0.423 % | 3.79/3.81 c | 817 | 3298 30483 91757 | 14876 817 38 | 0.423 % | 3.79/3.83 c | 1323 | 3298 30483 91757 | 16364 1323 39 | 0.423 % | 3.79/3.86 c | 2083 | 3298 30483 91757 | 18000 2083 39 | 0.423 % | 3.79/3.89 c =============================================================================== 3.89/3.91 c core #142 3.89/3.91 c 3.89/3.91 c 3.89/3.91 c Core size: 63 Core Weight: 1 Total Weight: -155 3.89/3.91 c Current CPU time: 3.86641 s 3.89/3.91 c 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 3336 30536 91969 | 10178 0 -nan | 0.000 % | 3.89/3.91 c | 100 | 3336 30536 91969 | 11196 100 37 | 0.418 % | 3.89/3.91 c | 251 | 3336 30536 91969 | 12316 251 35 | 0.418 % | 3.89/3.92 c | 478 | 3336 30536 91969 | 13547 478 38 | 0.418 % | 3.89/3.93 c | 817 | 3336 30536 91969 | 14902 817 35 | 0.418 % | 3.89/3.94 c | 1323 | 3336 30536 91969 | 16392 1323 42 | 0.418 % | 3.89/3.97 c | 2082 | 3336 30536 91969 | 18032 2082 50 | 0.418 % | 3.99/4.02 c | 3223 | 3336 30536 91969 | 19835 3223 54 | 0.418 % | 4.09/4.15 c | 4931 | 3336 30536 91969 | 21818 4931 58 | 0.418 % | 4.29/4.33 c | 7497 | 3336 30536 91969 | 24000 7497 58 | 0.418 % | 4.59/4.64 c | 11345 | 3336 30536 91969 | 26400 11345 61 | 0.418 % | 5.09/5.18 c | 17111 | 3336 30536 91969 | 29040 17111 60 | 0.418 % | 6.09/6.16 c | 25762 | 3336 30536 91969 | 31945 25762 60 | 0.418 % | 7.70/7.75 c | 38740 | 3336 30536 91969 | 35139 19202 55 | 0.418 % | 12.00/12.04 c | 58203 | 3336 30536 91969 | 38653 15913 65 | 0.418 % | 17.09/17.17 c | 87399 | 3309 30536 91969 | 42518 19702 58 | 1.224 % | 17.99/18.09 c =============================================================================== 18.59/18.66 c core #143 18.59/18.66 c 18.59/18.66 c 18.59/18.66 c Core size: 121 Core Weight: 1 Total Weight: -154 18.59/18.66 c Current CPU time: 18.5062 s 18.59/18.66 c 18.59/18.66 c ============================[ Search Statistics ]============================== 18.59/18.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.59/18.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.59/18.66 c =============================================================================== 18.59/18.66 c | 0 | 3432 30571 92252 | 10190 0 -nan | 0.000 % | 18.59/18.67 c | 104 | 3432 30571 92252 | 11209 104 30 | 0.406 % | 18.59/18.67 c | 256 | 3432 30571 92252 | 12330 256 25 | 0.406 % | 18.59/18.67 c | 481 | 3432 30571 92252 | 13563 481 24 | 0.406 % | 18.59/18.68 c | 818 | 3432 30571 92252 | 14919 818 24 | 0.406 % | 18.59/18.69 c | 1324 | 3432 30571 92252 | 16411 1324 22 | 0.406 % | 18.59/18.71 c | 2089 | 3432 30571 92252 | 18052 2089 22 | 0.406 % | 18.70/18.75 c | 3228 | 3432 30571 92252 | 19858 3228 24 | 0.406 % | 18.70/18.81 c | 4937 | 3432 30571 92252 | 21843 4937 26 | 0.406 % | 18.81/18.85 c =============================================================================== 18.81/18.88 c core #144 18.81/18.88 c 18.81/18.88 c 18.81/18.88 c Core size: 72 Core Weight: 1 Total Weight: -153 18.81/18.88 c Current CPU time: 18.7641 s 18.81/18.88 c 18.81/18.88 c ============================[ Search Statistics ]============================== 18.81/18.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.81/18.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.81/18.88 c =============================================================================== 18.81/18.88 c | 0 | 3485 30591 92410 | 10197 0 -nan | 0.000 % | 18.81/18.88 c | 100 | 3485 30591 92410 | 11216 100 42 | 0.400 % | 18.81/18.89 c | 253 | 3485 30591 92410 | 12338 253 30 | 0.400 % | 18.81/18.89 c | 479 | 3485 30591 92410 | 13572 479 24 | 0.400 % | 18.81/18.89 c | 816 | 3476 30591 92410 | 14929 816 19 | 1.172 % | 18.81/18.89 c =============================================================================== 18.89/18.91 c core #145 18.89/18.91 c 18.89/18.91 c 18.89/18.91 c Core size: 57 Core Weight: 1 Total Weight: -152 18.89/18.91 c Current CPU time: 18.7931 s 18.89/18.91 c 18.89/18.91 c ============================[ Search Statistics ]============================== 18.89/18.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.89/18.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.89/18.91 c =============================================================================== 18.89/18.91 c | 0 | 3523 30610 92534 | 10203 0 -nan | 0.000 % | 18.89/18.91 c | 101 | 3523 30610 92534 | 11223 101 37 | 0.396 % | 18.89/18.91 c | 251 | 3523 30610 92534 | 12346 251 33 | 0.396 % | 18.89/18.92 c | 476 | 3523 30610 92534 | 13580 476 35 | 0.396 % | 18.89/18.93 c | 817 | 3523 30610 92534 | 14938 817 37 | 0.396 % | 18.89/18.94 c | 1323 | 3523 30610 92534 | 16432 1323 36 | 0.396 % | 18.89/18.97 c | 2082 | 3523 30610 92534 | 18075 2082 36 | 0.396 % | 18.99/19.01 c | 3226 | 3523 30610 92534 | 19883 3226 34 | 0.396 % | 19.09/19.10 c | 4934 | 3523 30610 92534 | 21871 4934 37 | 0.396 % | 19.20/19.27 c | 7502 | 3523 30610 92534 | 24058 7502 37 | 0.396 % | 19.39/19.49 c | 11348 | 3523 30610 92534 | 26464 11348 36 | 0.396 % | 19.49/19.56 c =============================================================================== 19.59/19.62 c core #146 19.59/19.62 c 19.59/19.62 c 19.59/19.62 c Core size: 54 Core Weight: 1 Total Weight: -151 19.59/19.62 c Current CPU time: 19.492 s 19.59/19.62 c 19.59/19.62 c ============================[ Search Statistics ]============================== 19.59/19.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.62 c =============================================================================== 19.59/19.62 c | 0 | 3564 30646 92711 | 10215 0 -nan | 0.000 % | 19.59/19.62 c | 102 | 3564 30646 92711 | 11236 102 101 | 0.391 % | 19.59/19.63 c | 253 | 3564 30646 92711 | 12360 253 57 | 0.391 % | 19.59/19.63 c | 479 | 3564 30646 92711 | 13596 479 53 | 0.391 % | 19.59/19.64 c | 817 | 3564 30646 92711 | 14956 817 50 | 0.391 % | 19.59/19.66 c | 1323 | 3564 30646 92711 | 16451 1323 46 | 0.391 % | 19.59/19.68 c | 2082 | 3564 30646 92711 | 18097 2082 46 | 0.391 % | 19.69/19.72 c | 3221 | 3564 30646 92711 | 19906 3221 46 | 0.391 % | 19.69/19.80 c | 4929 | 3564 30646 92711 | 21897 4929 53 | 0.391 % | 19.90/19.98 c | 7491 | 3564 30646 92711 | 24087 7491 53 | 0.391 % | 20.29/20.36 c | 11337 | 3564 30646 92711 | 26495 11337 60 | 0.391 % | 21.09/21.11 c | 17105 | 3563 30646 92711 | 29145 17105 62 | 0.419 % | 22.39/22.49 c | 25754 | 3562 30646 92711 | 32060 25754 62 | 0.447 % | 24.99/25.05 c | 38732 | 3562 30646 92711 | 35266 19788 56 | 0.447 % | 29.09/29.14 c =============================================================================== 29.49/29.52 c core #147 29.49/29.52 c 29.49/29.52 c 29.49/29.52 c Core size: 109 Core Weight: 1 Total Weight: -150 29.49/29.52 c Current CPU time: 29.3245 s 29.49/29.52 c 29.49/29.52 c ============================[ Search Statistics ]============================== 29.49/29.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.49/29.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.49/29.52 c =============================================================================== 29.49/29.52 c | 0 | 3655 30751 93178 | 10250 0 -nan | 0.000 % | 29.49/29.53 c | 100 | 3655 30751 93178 | 11275 100 72 | 0.490 % | 29.49/29.53 c | 253 | 3655 30751 93178 | 12402 253 52 | 0.490 % | 29.49/29.54 c | 478 | 3655 30751 93178 | 13643 478 55 | 0.490 % | 29.49/29.55 c | 816 | 3655 30751 93178 | 15007 816 63 | 0.490 % | 29.49/29.57 c | 1323 | 3655 30751 93178 | 16508 1323 70 | 0.490 % | 29.59/29.62 c | 2083 | 3655 30751 93178 | 18159 2083 78 | 0.490 % | 29.59/29.70 c | 3225 | 3655 30751 93178 | 19974 3225 79 | 0.490 % | 29.89/29.91 c | 4935 | 3655 30751 93178 | 21972 4935 87 | 0.490 % | 30.20/30.23 c | 7499 | 3655 30751 93178 | 24169 7499 92 | 0.490 % | 30.91/30.99 c | 11345 | 3655 30751 93178 | 26586 11345 99 | 0.490 % | 32.19/32.27 c | 17111 | 3655 30751 93178 | 29245 17111 103 | 0.490 % | 35.49/35.56 c | 25760 | 3655 30751 93178 | 32169 25760 105 | 0.490 % | 41.39/41.46 c | 38735 | 3655 30751 93178 | 35386 19843 102 | 0.490 % | 45.69/45.71 c | 58197 | 3655 30751 93178 | 38925 16492 91 | 0.490 % | 53.59/53.68 c | 87390 | 3655 30751 93178 | 42818 19683 82 | 0.490 % | 64.39/64.43 c | 131182 | 3654 30751 93178 | 47100 34611 85 | 0.517 % | 81.89/81.98 c | 196866 | 3654 30751 93178 | 51810 34675 80 | 0.517 % | 109.60/109.66 c | 295394 | 3653 30751 93178 | 56991 19992 74 | 0.545 % | 152.00/152.06 c | 443186 | 3653 30751 93178 | 62690 39594 82 | 0.545 % | 222.20/222.30 c | 664872 | 3652 30751 93178 | 68959 23125 71 | 0.572 % | 335.90/335.98 c =============================================================================== 336.40/336.43 c core #148 336.40/336.43 c 336.40/336.43 c 336.40/336.43 c Core size: 43 Core Weight: 1 Total Weight: -149 336.40/336.43 c Current CPU time: 334.931 s 336.40/336.43 c 336.40/336.43 c ============================[ Search Statistics ]============================== 336.40/336.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 336.40/336.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 336.40/336.43 c =============================================================================== 336.40/336.43 c | 0 | 3682 30821 93399 | 10273 0 -nan | 0.000 % | 336.40/336.44 c | 101 | 3682 30821 93399 | 11301 101 65 | 0.594 % | 336.40/336.44 c | 252 | 3682 30821 93399 | 12431 252 41 | 0.594 % | 336.40/336.45 c | 478 | 3682 30821 93399 | 13674 478 42 | 0.594 % | 336.40/336.46 c | 815 | 3682 30821 93399 | 15041 815 54 | 0.594 % | 336.40/336.47 c | 1321 | 3682 30821 93399 | 16545 1321 53 | 0.594 % | 336.50/336.51 c | 2081 | 3682 30821 93399 | 18200 2081 60 | 0.594 % | 336.50/336.57 c | 3222 | 3682 30821 93399 | 20020 3222 62 | 0.594 % | 336.62/336.69 c | 4930 | 3682 30821 93399 | 22022 4930 65 | 0.594 % | 337.00/337.01 c | 7492 | 3682 30821 93399 | 24224 7492 69 | 0.594 % | 337.71/337.72 c | 11344 | 3682 30821 93399 | 26647 11344 72 | 0.594 % | 338.92/338.92 c | 17116 | 3682 30821 93399 | 29311 17116 70 | 0.594 % | 340.90/340.95 c | 25769 | 3682 30821 93399 | 32243 25769 69 | 0.594 % | 344.20/344.21 c | 38747 | 3682 30821 93399 | 35467 19315 65 | 0.594 % | 349.10/349.12 c | 58208 | 3682 30821 93399 | 39014 16969 65 | 0.594 % | 355.71/355.73 c | 87400 | 3682 30821 93399 | 42915 21802 61 | 0.594 % | 359.31/359.36 c =============================================================================== 360.21/360.23 c core #149 360.21/360.23 c 360.21/360.23 c 360.21/360.23 c Core size: 88 Core Weight: 1 Total Weight: -148 360.21/360.23 c Current CPU time: 359.01 s 360.21/360.23 c 360.21/360.23 c ============================[ Search Statistics ]============================== 360.21/360.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 360.21/360.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 360.21/360.23 c =============================================================================== 360.21/360.23 c | 0 | 3738 30846 93577 | 10282 0 -nan | 0.000 % | 360.21/360.24 c | 100 | 3738 30846 93577 | 11310 100 62 | 0.585 % | 360.21/360.24 c | 250 | 3738 30846 93577 | 12441 250 44 | 0.585 % | 360.21/360.24 c | 475 | 3738 30846 93577 | 13685 475 47 | 0.585 % | 360.21/360.25 c | 812 | 3738 30846 93577 | 15053 812 50 | 0.585 % | 360.21/360.27 c | 1318 | 3738 30846 93577 | 16559 1318 56 | 0.585 % | 360.31/360.32 c | 2080 | 3738 30846 93577 | 18215 2080 65 | 0.585 % | 360.40/360.40 c | 3221 | 3738 30846 93577 | 20036 3221 69 | 0.585 % | 360.60/360.62 c | 4931 | 3738 30846 93577 | 22040 4931 72 | 0.585 % | 360.92/360.95 c | 7494 | 3738 30846 93577 | 24244 7494 73 | 0.585 % | 361.61/361.62 c | 11340 | 3738 30846 93577 | 26668 11340 75 | 0.585 % | 362.90/362.95 c | 17109 | 3738 30846 93577 | 29335 17109 78 | 0.585 % | 365.21/365.31 c | 25760 | 3738 30846 93577 | 32269 25760 80 | 0.585 % | 367.20/367.25 c | 38736 | 3738 30846 93577 | 35496 18982 76 | 0.585 % | 372.70/372.77 c | 58197 | 3738 30846 93577 | 39045 15854 78 | 0.585 % | 378.80/378.87 c | 87392 | 3738 30846 93577 | 42950 19124 73 | 0.585 % | 389.10/389.18 c | 131184 | 3738 30846 93577 | 47245 33666 88 | 0.585 % | 406.02/406.07 c | 196869 | 3738 30846 93577 | 51970 33315 76 | 0.585 % | 431.40/431.45 c | 295398 | 3737 30846 93577 | 57167 16896 65 | 0.612 % | 449.41/449.44 c =============================================================================== 450.02/450.08 c core #150 450.02/450.08 c 450.02/450.08 c 450.02/450.08 c Core size: 113 Core Weight: 1 Total Weight: -147 450.02/450.08 c Current CPU time: 448.394 s 450.02/450.08 c 450.02/450.08 c ============================[ Search Statistics ]============================== 450.02/450.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 450.02/450.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 450.02/450.08 c =============================================================================== 450.02/450.08 c | 0 | 3808 30894 93838 | 10298 0 -nan | 0.000 % | 450.02/450.08 c | 100 | 3808 30894 93838 | 11327 100 81 | 0.626 % | 450.02/450.09 c | 250 | 3808 30894 93838 | 12460 250 56 | 0.626 % | 450.02/450.09 c | 475 | 3808 30894 93838 | 13706 475 51 | 0.626 % | 450.10/450.10 c | 813 | 3808 30894 93838 | 15077 813 52 | 0.626 % | 450.10/450.13 c | 1320 | 3808 30894 93838 | 16585 1320 54 | 0.626 % | 450.10/450.16 c | 2079 | 3808 30894 93838 | 18243 2079 57 | 0.626 % | 450.20/450.21 c | 3219 | 3808 30894 93838 | 20067 3219 57 | 0.626 % | 450.30/450.30 c | 4928 | 3808 30894 93838 | 22074 4928 61 | 0.626 % | 450.40/450.45 c | 7491 | 3808 30894 93838 | 24282 7491 64 | 0.626 % | 450.81/450.87 c | 11335 | 3808 30894 93838 | 26710 11335 74 | 0.626 % | 451.60/451.62 c | 17101 | 3808 30894 93838 | 29381 17101 80 | 0.626 % | 452.61/452.65 c | 25750 | 3808 30894 93838 | 32319 25750 81 | 0.626 % | 454.61/454.60 c | 38725 | 3808 30894 93838 | 35551 19097 80 | 0.626 % | 459.81/459.85 c | 58187 | 3808 30894 93838 | 39106 16555 83 | 0.626 % | 466.90/466.96 c | 87379 | 3808 30894 93838 | 43017 20199 74 | 0.626 % | 476.91/476.97 c | 131168 | 3808 30894 93838 | 47319 34722 80 | 0.626 % | 493.61/493.62 c | 196856 | 3808 30894 93838 | 52050 34341 78 | 0.626 % | 527.10/527.17 c | 295383 | 3808 30894 93838 | 57256 21427 70 | 0.626 % | 570.51/570.57 c | 443173 | 3808 30894 93838 | 62981 40350 96 | 0.626 % | 608.21/608.27 c =============================================================================== 608.61/608.62 c core #151 608.61/608.62 c 608.61/608.62 c 608.61/608.62 c Core size: 97 Core Weight: 1 Total Weight: -146 608.61/608.62 c Current CPU time: 606.376 s 608.61/608.62 c 608.61/608.62 c ============================[ Search Statistics ]============================== 608.61/608.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 608.61/608.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 608.61/608.62 c =============================================================================== 608.61/608.62 c | 0 | 3867 30981 94189 | 10327 0 -nan | 0.000 % | 608.61/608.62 c | 105 | 3867 30981 94189 | 11359 105 101 | 0.642 % | 608.61/608.63 c | 255 | 3867 30981 94189 | 12495 255 106 | 0.642 % | 608.61/608.63 c | 480 | 3867 30981 94189 | 13745 480 71 | 0.642 % | 608.61/608.64 c | 818 | 3867 30981 94189 | 15119 818 60 | 0.642 % | 608.61/608.65 c | 1324 | 3867 30981 94189 | 16631 1324 54 | 0.642 % | 608.61/608.67 c | 2083 | 3867 30981 94189 | 18294 2083 54 | 0.642 % | 608.71/608.72 c | 3224 | 3867 30981 94189 | 20124 3224 65 | 0.642 % | 608.81/608.83 c | 4933 | 3867 30981 94189 | 22136 4933 75 | 0.642 % | 609.01/609.03 c | 7495 | 3867 30981 94189 | 24350 7495 77 | 0.642 % | 609.42/609.49 c | 11339 | 3867 30981 94189 | 26785 11339 79 | 0.642 % | 610.31/610.34 c | 17106 | 3867 30981 94189 | 29464 17106 82 | 0.642 % | 611.81/611.85 c | 25755 | 3867 30981 94189 | 32410 25755 88 | 0.642 % | 614.92/615.01 c | 38730 | 3867 30981 94189 | 35651 18895 88 | 0.642 % | 618.71/618.71 c | 58198 | 3867 30981 94189 | 39216 14732 71 | 0.642 % | 623.72/623.73 c | 87390 | 3867 30981 94189 | 43138 18727 95 | 0.642 % | 636.31/636.31 c | 131182 | 3867 30981 94189 | 47452 33759 99 | 0.642 % | 659.71/659.73 c | 196872 | 3867 30981 94189 | 52197 32554 129 | 0.642 % | 696.61/696.66 c | 295399 | 3867 30981 94189 | 57417 18283 114 | 0.642 % | 748.62/748.67 c | 443188 | 3867 30981 94189 | 63158 40841 132 | 0.642 % | 835.72/835.76 c | 664874 | 3867 30981 94189 | 69474 21475 129 | 0.642 % | 981.12/981.21 c | 997400 | 3867 30981 94189 | 76422 33018 133 | 0.642 % | 1201.43/1201.45 c | 1496188 | 3867 30981 94189 | 84064 42202 116 | 0.642 % | 1538.34/1538.31 c | 2244371 | 3867 30981 94189 | 92471 28132 117 | 0.642 % |
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-3460128-1307118045/watcher-3460128-1307118045 -o /tmp/evaluation-result-3460128-1307118045/solver-3460128-1307118045 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460128-1307118045.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.20 1.57 2/456 15514 /proc/meminfo: memFree=28666532/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=3692 CPUtime=0 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 497 0 0 0 0 0 0 0 23 0 1 0 823402490 3780608 451 33554432000 4194304 5714214 140735858501088 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 923 451 196 372 0 307 0 [startup+0.107024 s] /proc/loadavg: 1.07 1.20 1.57 2/456 15514 /proc/meminfo: memFree=28666532/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=7276 CPUtime=0.1 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 2057 0 0 0 10 0 0 0 23 0 1 0 823402490 7450624 1533 33554432000 4194304 5714214 140735858501088 18446744073709551615 4355799 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 1819 1533 175 372 0 1444 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 7276 [startup+0.201009 s] /proc/loadavg: 1.07 1.20 1.57 2/456 15514 /proc/meminfo: memFree=28666532/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=7064 CPUtime=0.19 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 2086 0 0 0 19 0 0 0 24 0 1 0 823402490 7233536 1476 33554432000 4194304 5714214 140735858501088 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 1766 1476 175 372 0 1391 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7064 [startup+0.300994 s] /proc/loadavg: 1.07 1.20 1.57 2/456 15514 /proc/meminfo: memFree=28666532/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=7036 CPUtime=0.29 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 2172 0 0 0 29 0 0 0 25 0 1 0 823402490 7204864 1489 33554432000 4194304 5714214 140735858501088 18446744073709551615 4977551 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 1759 1489 175 372 0 1384 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7036 [startup+0.700916 s] /proc/loadavg: 1.07 1.20 1.57 2/456 15514 /proc/meminfo: memFree=28666532/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=8276 CPUtime=0.69 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 3039 0 0 0 69 0 0 0 25 0 1 0 823402490 8474624 1775 33554432000 4194304 5714214 140735858501088 18446744073709551615 4336679 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 2069 1775 175 372 0 1694 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8276 [startup+1.50077 s] /proc/loadavg: 1.07 1.20 1.57 3/462 15521 /proc/meminfo: memFree=28640956/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=9796 CPUtime=1.49 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 3872 0 0 0 149 0 0 0 25 0 1 0 823402490 10031104 2171 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 2449 2171 180 372 0 2074 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9796 [startup+3.10048 s] /proc/loadavg: 1.07 1.20 1.57 3/462 15521 /proc/meminfo: memFree=28636988/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=14108 CPUtime=3.09 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 4920 0 0 0 307 2 0 0 25 0 1 0 823402490 14446592 3219 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 3527 3219 180 372 0 3152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14108 [startup+6.3009 s] /proc/loadavg: 1.15 1.22 1.57 3/462 15521 /proc/meminfo: memFree=28613868/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=20040 CPUtime=6.29 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 6450 0 0 0 624 5 0 0 25 0 1 0 823402490 20520960 4749 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 5010 4749 180 372 0 4635 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20040 [startup+12.7008 s] /proc/loadavg: 1.21 1.23 1.57 3/462 15521 /proc/meminfo: memFree=28598396/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=28348 CPUtime=12.7 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 8467 0 0 0 1262 8 0 0 25 0 1 0 823402490 29028352 6766 33554432000 4194304 5714214 140735858501088 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 7087 6766 180 372 0 6712 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 28348 [startup+25.5004 s] /proc/loadavg: 1.39 1.27 1.58 3/462 15521 /proc/meminfo: memFree=28573824/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=39524 CPUtime=25.49 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 11225 0 0 0 2534 15 0 0 25 0 1 0 823402490 40472576 9524 33554432000 4194304 5714214 140735858501088 18446744073709551615 4320074 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 9881 9524 180 372 0 9506 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39524 [startup+51.1008 s] /proc/loadavg: 1.60 1.32 1.59 3/462 15522 /proc/meminfo: memFree=28564768/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=39524 CPUtime=51.09 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 11312 0 0 0 5088 21 0 0 25 0 1 0 823402490 40472576 9611 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 9881 9611 180 372 0 9506 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 39524 [startup+102.3 s] /proc/loadavg: 1.94 1.46 1.62 3/462 15523 /proc/meminfo: memFree=28499892/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=73892 CPUtime=102.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 19710 0 0 0 10191 39 0 0 25 0 1 0 823402490 75665408 18009 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 18473 18009 180 372 0 18098 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73892 [startup+162.301 s] /proc/loadavg: 2.03 1.57 1.65 3/462 15525 /proc/meminfo: memFree=28429552/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=111564 CPUtime=162.29 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 28974 0 0 0 16171 58 0 0 25 0 1 0 823402490 114241536 27273 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 27891 27273 180 372 0 27516 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 111564 [startup+222.317 s] /proc/loadavg: 2.01 1.64 1.66 3/462 15526 /proc/meminfo: memFree=28378936/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=144060 CPUtime=222.32 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 36882 0 0 0 22154 78 0 0 25 0 1 0 823402490 147517440 35181 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 36015 35181 180 372 0 35640 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 144060 [startup+282.301 s] /proc/loadavg: 2.05 1.72 1.69 3/462 15528 /proc/meminfo: memFree=28333260/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=175040 CPUtime=282.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 44497 0 0 0 28136 94 0 0 25 0 1 0 823402490 179240960 42796 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 43760 42796 180 372 0 43385 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 175040 [startup+342.301 s] /proc/loadavg: 2.02 1.77 1.70 3/462 15530 /proc/meminfo: memFree=28314740/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=191884 CPUtime=342.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 48821 0 0 0 34121 109 0 0 25 0 1 0 823402490 196489216 46984 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47971 46984 180 372 0 47596 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 191884 [startup+402.301 s] /proc/loadavg: 2.00 1.81 1.72 3/462 15531 /proc/meminfo: memFree=28313720/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=191884 CPUtime=402.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 48831 0 0 0 40098 132 0 0 25 0 1 0 823402490 196489216 46994 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47971 46994 180 372 0 47596 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 191884 [startup+462.3 s] /proc/loadavg: 2.00 1.84 1.74 3/462 15533 /proc/meminfo: memFree=28310220/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=191884 CPUtime=462.31 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 49045 0 0 0 46076 155 0 0 25 0 1 0 823402490 196489216 47208 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47971 47208 180 372 0 47596 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 191884 [startup+522.3 s] /proc/loadavg: 2.00 1.87 1.75 3/462 15534 /proc/meminfo: memFree=28291824/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=191884 CPUtime=522.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 49047 0 0 0 52055 175 0 0 25 0 1 0 823402490 196489216 47210 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47971 47210 180 372 0 47596 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 191884 [startup+582.3 s] /proc/loadavg: 2.00 1.89 1.76 3/462 15536 /proc/meminfo: memFree=28271192/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=191884 CPUtime=582.3 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 49265 0 0 0 58038 192 0 0 25 0 1 0 823402490 196489216 47428 33554432000 4194304 5714214 140735858501088 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47971 47428 180 372 0 47596 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 191884 [startup+642.301 s] ################ # More data... # ################ [startup+882.317 s] /proc/loadavg: 2.03 1.99 1.83 3/462 15544 /proc/meminfo: memFree=28185588/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=190576 CPUtime=882.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 51100 0 0 0 87965 269 0 0 25 0 1 0 823402490 195149824 47314 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 47644 47314 180 372 0 47269 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 190576 [startup+942.3 s] /proc/loadavg: 2.01 1.99 1.84 3/462 15546 /proc/meminfo: memFree=28162728/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=210420 CPUtime=942.31 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 55891 0 0 0 93948 283 0 0 25 0 1 0 823402490 215470080 52105 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 52605 52105 180 372 0 52230 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 210420 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.84 3/462 15547 /proc/meminfo: memFree=28130696/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=232740 CPUtime=1002.32 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 61425 0 0 0 99934 298 0 0 25 0 1 0 823402490 238325760 57639 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 58185 57639 180 372 0 57810 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 232740 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.85 3/462 15549 /proc/meminfo: memFree=28095300/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=253336 CPUtime=1062.32 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 66384 0 0 0 105922 310 0 0 25 0 1 0 823402490 259416064 62598 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 63334 62598 180 372 0 62959 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 253336 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.85 3/462 15550 /proc/meminfo: memFree=28046028/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=273492 CPUtime=1122.33 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 71351 0 0 0 111910 323 0 0 25 0 1 0 823402490 280055808 67565 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 68373 67565 180 372 0 67998 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 273492 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.86 3/462 15552 /proc/meminfo: memFree=28019696/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=289784 CPUtime=1182.32 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 75282 0 0 0 117896 336 0 0 25 0 1 0 823402490 296738816 71496 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 72446 71496 180 372 0 72071 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 289784 [startup+1242.3 s] /proc/loadavg: 2.08 2.02 1.88 3/462 15554 /proc/meminfo: memFree=27973408/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=317180 CPUtime=1242.33 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 81942 0 0 0 123884 349 0 0 25 0 1 0 823402490 324792320 78156 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 79295 78156 180 372 0 78920 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 317180 [startup+1302.3 s] /proc/loadavg: 2.07 2.03 1.89 3/462 15555 /proc/meminfo: memFree=27945708/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=337660 CPUtime=1302.33 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 86894 0 0 0 129874 359 0 0 25 0 1 0 823402490 345763840 83108 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 84415 83108 180 372 0 84040 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 337660 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 1.89 3/462 15557 /proc/meminfo: memFree=27904008/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=357604 CPUtime=1362.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 91711 0 0 0 135861 373 0 0 25 0 1 0 823402490 366186496 87925 33554432000 4194304 5714214 140735858501088 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 89401 87925 180 372 0 89026 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 357604 [startup+1422.3 s] /proc/loadavg: 2.04 2.03 1.91 3/462 15558 /proc/meminfo: memFree=27870236/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=383864 CPUtime=1422.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 98222 0 0 0 141844 390 0 0 25 0 1 0 823402490 393076736 94436 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 95966 94436 180 372 0 95591 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 383864 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.91 3/462 15560 /proc/meminfo: memFree=27828292/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=404156 CPUtime=1482.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 103277 0 0 0 147831 403 0 0 25 0 1 0 823402490 413855744 99491 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 101039 99491 180 372 0 100664 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 404156 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 1.91 3/462 15562 /proc/meminfo: memFree=27801696/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=423248 CPUtime=1542.36 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 108100 0 0 0 153819 417 0 0 25 0 1 0 823402490 433405952 104314 33554432000 4194304 5714214 140735858501088 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 105812 104314 180 372 0 105437 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 423248 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.91 3/462 15563 /proc/meminfo: memFree=27758868/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=447636 CPUtime=1602.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 114053 0 0 0 159804 430 0 0 25 0 1 0 823402490 458379264 110267 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 111909 110267 180 372 0 111534 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 447636 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/462 15565 /proc/meminfo: memFree=27734632/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=467960 CPUtime=1662.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 119015 0 0 0 165789 445 0 0 25 0 1 0 823402490 479191040 115229 33554432000 4194304 5714214 140735858501088 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 116990 115229 180 372 0 116615 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 467960 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/462 15566 /proc/meminfo: memFree=27681776/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=493084 CPUtime=1722.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 125253 0 0 0 171775 459 0 0 25 0 1 0 823402490 504918016 121467 33554432000 4194304 5714214 140735858501088 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 123271 121467 180 372 0 122896 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 493084 [startup+1782.3 s] /proc/loadavg: 2.06 2.01 1.91 3/462 15568 /proc/meminfo: memFree=27652968/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=506020 CPUtime=1782.34 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 128361 0 0 0 177762 472 0 0 25 0 1 0 823402490 518164480 124575 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 126505 124575 180 372 0 126130 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 506020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 1.91 3/462 15569 /proc/meminfo: memFree=27638932/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=515468 CPUtime=1800.06 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 130710 0 0 0 179530 476 0 0 25 0 1 0 823402490 527839232 126924 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 128867 126924 180 372 0 128492 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 515468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.04 2.01 1.91 3/462 15569 /proc/meminfo: memFree=27638932/32951124 swapFree=41830676/67111528 [pid=15514] ppid=15512 vsize=515468 CPUtime=1800.06 cores=0,2,4,6 /proc/15514/stat : 15514 (wbo1.6) R 15512 15514 12829 0 -1 4202496 130710 0 0 0 179530 476 0 0 25 0 1 0 823402490 527839232 126924 33554432000 4194304 5714214 140735858501088 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15514/statm: 128867 126924 180 372 0 128492 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 515468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.09 CPU user time (s): 1795.31 CPU system time (s): 4.78527 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 515468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.31 system time used= 4.78527 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130710 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= 8 involuntary context switches= 2794 runsolver used 8.36573 second user time and 17.8573 second system time The end
Begin job on node138 at 2011-06-03 18:20:45 IDJOB=3460128 IDBENCH=71827 IDSOLVER=1953 FILE ID=node138/3460128-1307118045 RUNJOBID= node138-1307118045-15500 PBS_JOBID= 13497998 Free space on /tmp= 73660 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-2000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460128-1307118045/watcher-3460128-1307118045 -o /tmp/evaluation-result-3460128-1307118045/solver-3460128-1307118045 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460128-1307118045.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2e31bd1942364d9129e439b3449a3af RANDOM SEED=1968988274 node138.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.854 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.70 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.80 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.854 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.854 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28663596 kB Buffers: 298424 kB Cached: 1078772 kB SwapCached: 44568 kB Active: 2196088 kB Inactive: 1802364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28663596 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 6996 kB Writeback: 0 kB AnonPages: 2587696 kB Mapped: 15960 kB Slab: 128324 kB PageTables: 92780 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 130637124 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= 73648 MiB End job on node138 at 2011-06-03 18:50:47