Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.04 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb |
MD5SUM | 78d7b4bc270e158c16f301038a8fbfa0 |
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 | -82 |
Best CPU time to get the best result obtained on this benchmark | 0.394939 |
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 | 30390 |
Number of constraints which are clauses | 30390 |
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 | 316 |
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 | 316 |
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-3460122-1307117492.opb. 0.00/0.00 c Instance file HOME/instance-3460122-1307117492.opb 0.00/0.00 c File size is 1006550 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: 30390 | 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 30390 90000 | 10130 0 -nan | 0.000 % | 0.29/0.38 c core #1 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -315 0.29/0.38 c Current CPU time: 0.071989 s 0.29/0.38 c 0.29/0.38 c core #2 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -314 0.29/0.38 c Current CPU time: 0.078987 s 0.29/0.38 c 0.29/0.38 c core #3 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -312 0.29/0.38 c Current CPU time: 0.085986 s 0.29/0.38 c 0.29/0.38 c core #4 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -311 0.29/0.38 c Current CPU time: 0.093985 s 0.29/0.38 c 0.29/0.38 c core #5 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -310 0.29/0.38 c Current CPU time: 0.100984 s 0.29/0.38 c 0.29/0.38 c core #6 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 3 Total Weight: -307 0.29/0.38 c Current CPU time: 0.107983 s 0.29/0.38 c 0.29/0.38 c core #7 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -306 0.29/0.38 c Current CPU time: 0.115982 s 0.29/0.38 c 0.29/0.38 c core #8 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -305 0.29/0.38 c Current CPU time: 0.122981 s 0.29/0.38 c 0.29/0.38 c core #9 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -303 0.29/0.38 c Current CPU time: 0.12998 s 0.29/0.38 c 0.29/0.38 c core #10 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -301 0.29/0.38 c Current CPU time: 0.136979 s 0.29/0.38 c 0.29/0.38 c core #11 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -299 0.29/0.38 c Current CPU time: 0.144977 s 0.29/0.38 c 0.29/0.38 c core #12 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 2 Total Weight: -297 0.29/0.38 c Current CPU time: 0.151976 s 0.29/0.38 c 0.29/0.38 c core #13 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -296 0.29/0.38 c Current CPU time: 0.158975 s 0.29/0.38 c 0.29/0.38 c core #14 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -295 0.29/0.38 c Current CPU time: 0.166974 s 0.29/0.38 c 0.29/0.38 c core #15 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -294 0.29/0.38 c Current CPU time: 0.173973 s 0.29/0.38 c 0.29/0.38 c core #16 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -293 0.29/0.38 c Current CPU time: 0.181972 s 0.29/0.38 c 0.29/0.38 c core #17 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: -292 0.29/0.38 c Current CPU time: 0.188971 s 0.29/0.38 c 0.29/0.38 c core #18 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 4 Total Weight: -288 0.29/0.38 c Current CPU time: 0.19697 s 0.29/0.38 c 0.29/0.38 c core #19 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -287 0.29/0.38 c Current CPU time: 0.203968 s 0.29/0.38 c 0.29/0.38 c core #20 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -286 0.29/0.38 c Current CPU time: 0.211967 s 0.29/0.38 c 0.29/0.38 c core #21 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -285 0.29/0.38 c Current CPU time: 0.219966 s 0.29/0.38 c 0.29/0.38 c core #22 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -284 0.29/0.38 c Current CPU time: 0.226965 s 0.29/0.38 c 0.29/0.38 c core #23 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -283 0.29/0.38 c Current CPU time: 0.234964 s 0.29/0.38 c 0.29/0.38 c core #24 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -282 0.29/0.38 c Current CPU time: 0.241963 s 0.29/0.38 c 0.29/0.38 c core #25 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -281 0.29/0.38 c Current CPU time: 0.249962 s 0.29/0.38 c 0.29/0.38 c core #26 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -279 0.29/0.38 c Current CPU time: 0.25696 s 0.29/0.38 c 0.29/0.38 c core #27 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -278 0.29/0.38 c Current CPU time: 0.264959 s 0.29/0.38 c 0.29/0.38 c core #28 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -277 0.29/0.38 c Current CPU time: 0.271958 s 0.29/0.38 c 0.29/0.38 c core #29 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -276 0.29/0.38 c Current CPU time: 0.279957 s 0.29/0.38 c 0.29/0.38 c core #30 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 3 Total Weight: -273 0.29/0.38 c Current CPU time: 0.287956 s 0.29/0.38 c 0.29/0.38 c core #31 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -272 0.29/0.38 c Current CPU time: 0.294955 s 0.29/0.38 c 0.29/0.38 c core #32 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -271 0.29/0.38 c Current CPU time: 0.302953 s 0.29/0.38 c 0.29/0.38 c core #33 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -270 0.29/0.38 c Current CPU time: 0.309952 s 0.29/0.38 c 0.29/0.38 c core #34 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -268 0.29/0.38 c Current CPU time: 0.317951 s 0.29/0.38 c 0.29/0.38 c core #35 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -267 0.29/0.38 c Current CPU time: 0.32595 s 0.29/0.38 c 0.29/0.38 c core #36 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 3 Total Weight: -264 0.29/0.38 c Current CPU time: 0.332949 s 0.29/0.38 c 0.29/0.38 c core #37 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 6 Core Weight: 3 Total Weight: -261 0.29/0.38 c Current CPU time: 0.340948 s 0.29/0.38 c 0.29/0.38 c core #38 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: -260 0.29/0.38 c Current CPU time: 0.347947 s 0.29/0.38 c 0.29/0.38 c core #39 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: -259 0.29/0.38 c Current CPU time: 0.355945 s 0.29/0.38 c 0.29/0.38 c core #40 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: -258 0.29/0.38 c Current CPU time: 0.363944 s 0.29/0.38 c 0.29/0.38 c core #41 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: -257 0.29/0.38 c Current CPU time: 0.371943 s 0.29/0.38 c 0.29/0.38 c core #42 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: -256 0.69/0.77 c Current CPU time: 0.379942 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: 11 Core Weight: 1 Total Weight: -255 0.69/0.77 c Current CPU time: 0.387941 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: -254 0.69/0.77 c Current CPU time: 0.395939 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: 10 Core Weight: 1 Total Weight: -253 0.69/0.77 c Current CPU time: 0.404938 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: 10 Core Weight: 1 Total Weight: -252 0.69/0.77 c Current CPU time: 0.413937 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: 10 Core Weight: 1 Total Weight: -251 0.69/0.77 c Current CPU time: 0.421935 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: 11 Core Weight: 1 Total Weight: -250 0.69/0.77 c Current CPU time: 0.430934 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: 10 Core Weight: 1 Total Weight: -249 0.69/0.77 c Current CPU time: 0.439933 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: 9 Core Weight: 1 Total Weight: -248 0.69/0.77 c Current CPU time: 0.448931 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: 10 Core Weight: 1 Total Weight: -247 0.69/0.77 c Current CPU time: 0.45793 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: 1 Total Weight: -246 0.69/0.77 c Current CPU time: 0.466929 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: -245 0.69/0.77 c Current CPU time: 0.476927 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: 1 Total Weight: -244 0.69/0.77 c Current CPU time: 0.485926 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: 11 Core Weight: 1 Total Weight: -243 0.69/0.77 c Current CPU time: 0.494924 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: 11 Core Weight: 1 Total Weight: -242 0.69/0.77 c Current CPU time: 0.503923 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: 10 Core Weight: 2 Total Weight: -240 0.69/0.77 c Current CPU time: 0.513921 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: 10 Core Weight: 1 Total Weight: -239 0.69/0.77 c Current CPU time: 0.52292 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: 8 Core Weight: 1 Total Weight: -238 0.69/0.77 c Current CPU time: 0.532918 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: 9 Core Weight: 1 Total Weight: -237 0.69/0.77 c Current CPU time: 0.542917 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: 10 Core Weight: 1 Total Weight: -236 0.69/0.77 c Current CPU time: 0.551916 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: 11 Core Weight: 1 Total Weight: -235 0.69/0.77 c Current CPU time: 0.561914 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: -234 0.69/0.77 c Current CPU time: 0.571913 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: -233 0.69/0.77 c Current CPU time: 0.581911 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: 10 Core Weight: 1 Total Weight: -232 0.69/0.77 c Current CPU time: 0.59191 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: 9 Core Weight: 1 Total Weight: -231 0.69/0.77 c Current CPU time: 0.601908 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: 11 Core Weight: 1 Total Weight: -230 0.69/0.77 c Current CPU time: 0.612906 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: 13 Core Weight: 1 Total Weight: -229 0.69/0.77 c Current CPU time: 0.622905 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: 14 Core Weight: 1 Total Weight: -228 0.69/0.77 c Current CPU time: 0.632903 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: 13 Core Weight: 2 Total Weight: -226 0.69/0.77 c Current CPU time: 0.642902 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: 14 Core Weight: 1 Total Weight: -225 0.69/0.77 c Current CPU time: 0.6539 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: 11 Core Weight: 2 Total Weight: -223 0.69/0.77 c Current CPU time: 0.663899 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: 14 Core Weight: 1 Total Weight: -222 0.69/0.77 c Current CPU time: 0.674897 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: 10 Core Weight: 1 Total Weight: -221 0.69/0.77 c Current CPU time: 0.685895 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: 14 Core Weight: 1 Total Weight: -220 0.69/0.77 c Current CPU time: 0.695894 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: -219 0.69/0.77 c Current CPU time: 0.706892 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: 8 Core Weight: 1 Total Weight: -218 0.69/0.77 c Current CPU time: 0.71789 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: 12 Core Weight: 1 Total Weight: -217 0.69/0.77 c Current CPU time: 0.727889 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: 9 Core Weight: 1 Total Weight: -216 0.69/0.77 c Current CPU time: 0.738887 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: 9 Core Weight: 1 Total Weight: -215 0.69/0.77 c Current CPU time: 0.749886 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: 21 Core Weight: 1 Total Weight: -214 0.69/0.77 c Current CPU time: 0.760884 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 | 2242 30720 89828 | 10240 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #82 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 13 Core Weight: 1 Total Weight: -213 0.69/0.78 c Current CPU time: 0.771882 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 | 2261 30722 90137 | 10240 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.79 c core #83 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 18 Core Weight: 1 Total Weight: -212 0.69/0.79 c Current CPU time: 0.78288 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 2268 30727 90153 | 10242 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: 8 Core Weight: 1 Total Weight: -211 0.79/0.80 c Current CPU time: 0.794879 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.81 c | 0 | 2271 30729 90158 | 10243 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #85 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 9 Core Weight: 1 Total Weight: -210 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 | 2283 30730 90545 | 10243 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #86 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 9 Core Weight: 1 Total Weight: -209 0.79/0.83 c Current CPU time: 0.816875 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 | 2288 30734 90558 | 10244 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #87 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 12 Core Weight: 1 Total Weight: -208 0.79/0.84 c Current CPU time: 0.827874 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 | 2293 30736 90567 | 10245 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #88 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 7 Core Weight: 2 Total Weight: -206 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 30738 90575 | 10246 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #89 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 20 Core Weight: 1 Total Weight: -205 0.79/0.86 c Current CPU time: 0.85087 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 | 2308 30743 90822 | 10247 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.87 c core #90 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 12 Core Weight: 1 Total Weight: -204 0.79/0.87 c Current CPU time: 0.861868 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2317 30744 90858 | 10248 0 -nan | 0.000 % | 0.79/0.87 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: 11 Core Weight: 1 Total Weight: -203 0.79/0.88 c Current CPU time: 0.873867 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 | 2323 30746 90872 | 10248 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.90 c core #92 0.79/0.90 c 0.79/0.90 c 0.79/0.90 c Core size: 16 Core Weight: 1 Total Weight: -202 0.79/0.90 c Current CPU time: 0.884865 s 0.79/0.90 c 0.79/0.90 c ============================[ Search Statistics ]============================== 0.79/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.90 c =============================================================================== 0.79/0.90 c | 0 | 2334 30749 90899 | 10249 0 -nan | 0.000 % | 0.79/0.90 c =============================================================================== 0.89/0.91 c core #93 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 16 Core Weight: 1 Total Weight: -201 0.89/0.91 c Current CPU time: 0.895863 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 | 2345 30750 90921 | 10250 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #94 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 17 Core Weight: 1 Total Weight: -200 0.89/0.92 c Current CPU time: 0.907861 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 | 2355 30757 90953 | 10252 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #95 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 19 Core Weight: 1 Total Weight: -199 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 | 2363 30759 90971 | 10253 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #96 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 21 Core Weight: 1 Total Weight: -198 0.89/0.94 c Current CPU time: 0.930858 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 | 2374 30762 90998 | 10254 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #97 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 21 Core Weight: 1 Total Weight: -197 0.89/0.95 c Current CPU time: 0.942856 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2386 30764 91024 | 10254 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: 24 Core Weight: 1 Total Weight: -196 0.89/0.96 c Current CPU time: 0.953854 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.97 c | 0 | 2396 30769 91052 | 10256 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #99 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 14 Core Weight: 1 Total Weight: -195 0.89/0.98 c Current CPU time: 0.965853 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 | 2404 30774 91077 | 10258 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #100 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 19 Core Weight: 1 Total Weight: -194 0.89/0.99 c Current CPU time: 0.976851 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 | 2412 30776 91095 | 10258 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.99/1.00 c core #101 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 16 Core Weight: 1 Total Weight: -193 0.99/1.00 c Current CPU time: 0.988849 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 | 2418 30777 91107 | 10259 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.01 c core #102 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 30 Core Weight: 1 Total Weight: -192 0.99/1.01 c Current CPU time: 1.00085 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 | 2431 30779 91135 | 10259 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.02 c core #103 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 15 Core Weight: 1 Total Weight: -191 0.99/1.02 c Current CPU time: 1.01185 s 0.99/1.02 c 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 2439 30782 91155 | 10260 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.04 c core #104 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 20 Core Weight: 1 Total Weight: -190 0.99/1.04 c Current CPU time: 1.02384 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 | 2451 30785 91183 | 10261 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.05 c core #105 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 13 Core Weight: 1 Total Weight: -189 0.99/1.05 c Current CPU time: 1.03484 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 | 2456 30787 91195 | 10262 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.06 c core #106 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 12 Core Weight: 1 Total Weight: -188 0.99/1.06 c Current CPU time: 1.04684 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 | 2462 30791 91213 | 10263 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.07 c core #107 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 18 Core Weight: 1 Total Weight: -187 0.99/1.07 c Current CPU time: 1.05884 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 | 2471 30794 91235 | 10264 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #108 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 20 Core Weight: 1 Total Weight: -186 0.99/1.08 c Current CPU time: 1.06984 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 2482 30795 91257 | 10265 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: 23 Core Weight: 1 Total Weight: -185 0.99/1.09 c Current CPU time: 1.08283 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 | 2495 30797 91286 | 10265 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 1.10/1.11 c core #110 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 29 Core Weight: 1 Total Weight: -184 1.10/1.11 c Current CPU time: 1.09483 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 2514 30803 91335 | 10267 0 -nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.12 c core #111 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 23 Core Weight: 1 Total Weight: -183 1.10/1.12 c Current CPU time: 1.10683 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 | 2530 30804 91367 | 10268 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.13 c core #112 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 39 Core Weight: 1 Total Weight: -182 1.10/1.13 c Current CPU time: 1.11983 s 1.10/1.13 c 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 2548 30806 91406 | 10268 0 -nan | 0.000 % | 1.10/1.13 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: 55 Core Weight: 1 Total Weight: -181 1.10/1.14 c Current CPU time: 1.13283 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 | 2576 30814 91479 | 10271 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #114 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 35 Core Weight: 1 Total Weight: -180 1.10/1.16 c Current CPU time: 1.14482 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 | 2588 30818 91511 | 10272 0 -nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.17 c core #115 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 40 Core Weight: 1 Total Weight: -179 1.10/1.17 c Current CPU time: 1.15682 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 | 2618 30828 91592 | 10276 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #116 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 38 Core Weight: 1 Total Weight: -178 1.10/1.18 c Current CPU time: 1.16882 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 | 2648 30840 91678 | 10280 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #117 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 33 Core Weight: 1 Total Weight: -177 1.10/1.19 c Current CPU time: 1.18082 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 | 2667 30845 91724 | 10281 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.21 c core #118 1.10/1.21 c 1.10/1.21 c 1.10/1.21 c Core size: 24 Core Weight: 1 Total Weight: -176 1.10/1.21 c Current CPU time: 1.19182 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 | 2680 30850 91758 | 10283 0 -nan | 0.000 % | 1.10/1.21 c =============================================================================== 1.20/1.22 c core #119 1.20/1.22 c 1.20/1.22 c 1.20/1.22 c Core size: 10 Core Weight: 1 Total Weight: -175 1.20/1.22 c Current CPU time: 1.20482 s 1.20/1.22 c 1.20/1.22 c ============================[ Search Statistics ]============================== 1.20/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.22 c =============================================================================== 1.20/1.22 c | 0 | 2685 30858 91784 | 10286 0 -nan | 0.000 % | 1.20/1.22 c =============================================================================== 1.20/1.23 c core #120 1.20/1.23 c 1.20/1.23 c 1.20/1.23 c Core size: 9 Core Weight: 2 Total Weight: -173 1.20/1.23 c Current CPU time: 1.21582 s 1.20/1.23 c 1.20/1.23 c ============================[ Search Statistics ]============================== 1.20/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.23 c =============================================================================== 1.20/1.23 c | 0 | 2690 30861 91798 | 10287 0 -nan | 0.000 % | 1.20/1.23 c =============================================================================== 1.20/1.24 c core #121 1.20/1.24 c 1.20/1.24 c 1.20/1.24 c Core size: 25 Core Weight: 1 Total Weight: -172 1.20/1.24 c Current CPU time: 1.22681 s 1.20/1.24 c 1.20/1.24 c ============================[ Search Statistics ]============================== 1.20/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.24 c =============================================================================== 1.20/1.24 c | 0 | 2701 30865 91827 | 10288 0 -nan | 0.000 % | 1.20/1.24 c =============================================================================== 1.20/1.25 c core #122 1.20/1.25 c 1.20/1.25 c 1.20/1.25 c Core size: 51 Core Weight: 1 Total Weight: -171 1.20/1.25 c Current CPU time: 1.23881 s 1.20/1.25 c 1.20/1.25 c ============================[ Search Statistics ]============================== 1.20/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.25 c =============================================================================== 1.20/1.25 c | 0 | 2730 30866 91885 | 10288 0 -nan | 0.000 % | 1.20/1.26 c =============================================================================== 1.20/1.27 c core #123 1.20/1.27 c 1.20/1.27 c 1.20/1.27 c Core size: 52 Core Weight: 1 Total Weight: -170 1.20/1.27 c Current CPU time: 1.25181 s 1.20/1.27 c 1.20/1.27 c ============================[ Search Statistics ]============================== 1.20/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.27 c =============================================================================== 1.20/1.27 c | 0 | 2768 30872 91972 | 10290 0 -nan | 0.000 % | 1.20/1.27 c | 100 | 2768 30872 91972 | 11319 100 11 | 0.253 % | 1.20/1.27 c | 251 | 2766 30872 91972 | 12451 251 12 | 0.325 % | 1.20/1.27 c =============================================================================== 1.20/1.29 c core #124 1.20/1.29 c 1.20/1.29 c 1.20/1.29 c Core size: 110 Core Weight: 1 Total Weight: -169 1.20/1.29 c Current CPU time: 1.26981 s 1.20/1.29 c 1.20/1.29 c ============================[ Search Statistics ]============================== 1.20/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.29 c =============================================================================== 1.20/1.29 c | 0 | 2846 30888 92167 | 10296 0 -nan | 0.000 % | 1.20/1.29 c | 100 | 2846 30888 92167 | 11325 100 16 | 0.315 % | 1.20/1.29 c =============================================================================== 1.30/1.30 c core #125 1.30/1.30 c 1.30/1.30 c 1.30/1.30 c Core size: 61 Core Weight: 1 Total Weight: -168 1.30/1.30 c Current CPU time: 1.2838 s 1.30/1.30 c 1.30/1.30 c ============================[ Search Statistics ]============================== 1.30/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.30 c =============================================================================== 1.30/1.30 c | 0 | 2891 30897 92277 | 10299 0 -nan | 0.000 % | 1.30/1.30 c =============================================================================== 1.30/1.31 c core #126 1.30/1.31 c 1.30/1.31 c 1.30/1.31 c Core size: 18 Core Weight: 1 Total Weight: -167 1.30/1.31 c Current CPU time: 1.2978 s 1.30/1.31 c 1.30/1.31 c ============================[ Search Statistics ]============================== 1.30/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.31 c =============================================================================== 1.30/1.31 c | 0 | 2902 30910 92328 | 10303 0 -nan | 0.000 % | 1.30/1.32 c =============================================================================== 1.30/1.33 c core #127 1.30/1.33 c 1.30/1.33 c 1.30/1.33 c Core size: 36 Core Weight: 1 Total Weight: -166 1.30/1.33 c Current CPU time: 1.3098 s 1.30/1.33 c 1.30/1.33 c ============================[ Search Statistics ]============================== 1.30/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.33 c =============================================================================== 1.30/1.33 c | 0 | 2917 30918 92373 | 10306 0 -nan | 0.000 % | 1.30/1.33 c =============================================================================== 1.30/1.34 c core #128 1.30/1.34 c 1.30/1.34 c 1.30/1.34 c Core size: 43 Core Weight: 1 Total Weight: -165 1.30/1.34 c Current CPU time: 1.3238 s 1.30/1.34 c 1.30/1.34 c ============================[ Search Statistics ]============================== 1.30/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.34 c =============================================================================== 1.30/1.34 c | 0 | 2944 30926 92446 | 10308 0 -nan | 0.000 % | 1.30/1.34 c | 100 | 2944 30926 92446 | 11339 100 15 | 0.406 % | 1.30/1.35 c | 252 | 2944 30926 92446 | 12473 252 18 | 0.406 % | 1.30/1.35 c | 480 | 2940 30926 92446 | 13720 480 19 | 0.541 % | 1.30/1.35 c =============================================================================== 1.30/1.36 c core #129 1.30/1.36 c 1.30/1.36 c 1.30/1.36 c Core size: 50 Core Weight: 1 Total Weight: -164 1.30/1.36 c Current CPU time: 1.34679 s 1.30/1.36 c 1.30/1.36 c ============================[ Search Statistics ]============================== 1.30/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.36 c =============================================================================== 1.30/1.36 c | 0 | 2980 30937 92546 | 10312 0 -nan | 0.000 % | 1.30/1.37 c | 101 | 2980 30937 92546 | 11343 101 32 | 0.401 % | 1.30/1.37 c | 251 | 2980 30937 92546 | 12477 251 30 | 0.401 % | 1.30/1.38 c | 478 | 2980 30937 92546 | 13725 478 32 | 0.401 % | 1.30/1.39 c | 817 | 2976 30937 92546 | 15098 817 30 | 0.535 % | 1.39/1.40 c | 1325 | 2974 30937 92546 | 16608 1325 30 | 0.635 % | 1.39/1.42 c | 2085 | 2974 30937 92546 | 18268 2085 31 | 0.635 % | 1.39/1.45 c =============================================================================== 1.39/1.47 c core #130 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 60 Core Weight: 1 Total Weight: -163 1.39/1.47 c Current CPU time: 1.44778 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 | 3033 30961 92716 | 10320 0 -nan | 0.000 % | 1.39/1.48 c | 100 | 3032 30961 92716 | 11352 100 17 | 0.427 % | 1.39/1.48 c | 252 | 3032 30961 92716 | 12487 252 15 | 0.427 % | 1.39/1.48 c | 477 | 3032 30961 92716 | 13736 477 15 | 0.427 % | 1.39/1.49 c =============================================================================== 1.50/1.50 c core #131 1.50/1.50 c 1.50/1.50 c 1.50/1.50 c Core size: 66 Core Weight: 1 Total Weight: -162 1.50/1.50 c Current CPU time: 1.47278 s 1.50/1.50 c 1.50/1.50 c ============================[ Search Statistics ]============================== 1.50/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.50 c =============================================================================== 1.50/1.50 c | 0 | 3088 30980 92876 | 10326 0 -nan | 0.000 % | 1.50/1.50 c | 100 | 3088 30980 92876 | 11359 100 20 | 0.451 % | 1.50/1.51 c | 252 | 3088 30980 92876 | 12495 252 18 | 0.451 % | 1.50/1.51 c | 478 | 3088 30980 92876 | 13744 478 18 | 0.451 % | 1.50/1.52 c | 816 | 3088 30980 92876 | 15119 816 17 | 0.484 % | 1.50/1.52 c =============================================================================== 1.50/1.53 c core #132 1.50/1.53 c 1.50/1.53 c 1.50/1.53 c Core size: 79 Core Weight: 1 Total Weight: -161 1.50/1.53 c Current CPU time: 1.50377 s 1.50/1.53 c 1.50/1.53 c ============================[ Search Statistics ]============================== 1.50/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.53 c =============================================================================== 1.50/1.53 c | 0 | 3151 31003 93060 | 10334 0 -nan | 0.000 % | 1.50/1.54 c | 102 | 3150 31003 93060 | 11367 102 20 | 0.505 % | 1.50/1.54 c | 252 | 3150 31003 93060 | 12504 252 19 | 0.505 % | 1.50/1.54 c | 479 | 3150 31003 93060 | 13754 479 21 | 0.505 % | 1.50/1.55 c | 817 | 3150 31003 93060 | 15130 817 23 | 0.505 % | 1.50/1.56 c =============================================================================== 1.50/1.58 c core #133 1.50/1.58 c 1.50/1.58 c 1.50/1.58 c Core size: 65 Core Weight: 1 Total Weight: -160 1.50/1.58 c Current CPU time: 1.54377 s 1.50/1.58 c 1.50/1.58 c ============================[ Search Statistics ]============================== 1.50/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.50/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.50/1.58 c =============================================================================== 1.50/1.58 c | 0 | 3205 31009 93179 | 10336 0 -nan | 0.000 % | 1.50/1.58 c | 100 | 3205 31009 93179 | 11369 100 37 | 0.497 % | 1.50/1.58 c | 250 | 3205 31009 93179 | 12506 250 28 | 0.497 % | 1.50/1.59 c | 478 | 3205 31009 93179 | 13757 478 30 | 0.497 % | 1.59/1.60 c | 815 | 3205 31009 93179 | 15133 815 34 | 0.497 % | 1.59/1.61 c | 1321 | 3205 31009 93179 | 16646 1321 33 | 0.497 % | 1.59/1.64 c | 2080 | 3205 31009 93179 | 18311 2080 34 | 0.497 % | 1.59/1.68 c | 3221 | 3205 31009 93179 | 20142 3221 36 | 0.497 % | 1.69/1.76 c | 4930 | 3205 31009 93179 | 22156 4930 39 | 0.497 % | 1.89/1.91 c | 7497 | 3205 31009 93179 | 24372 7497 44 | 0.497 % | 2.09/2.16 c | 11345 | 3205 31009 93179 | 26809 11345 49 | 0.497 % | 2.79/2.83 c | 17111 | 3200 31009 93179 | 29490 17111 52 | 0.652 % | 3.79/3.83 c | 25762 | 3200 31009 93179 | 32439 25762 55 | 0.652 % | 5.89/5.98 c | 38736 | 3200 31009 93179 | 35683 19440 57 | 0.652 % | 8.49/8.55 c | 58197 | 3200 31009 93179 | 39252 15846 63 | 0.652 % | 15.29/15.38 c | 87389 | 3200 31009 93179 | 43177 20491 64 | 0.652 % | 26.70/26.77 c | 131181 | 3186 31009 93179 | 47495 35383 69 | 1.646 % | 26.80/26.81 c =============================================================================== 27.51/27.58 c core #134 27.51/27.58 c 27.51/27.58 c 27.51/27.58 c Core size: 93 Core Weight: 1 Total Weight: -159 27.51/27.58 c Current CPU time: 27.2139 s 27.51/27.58 c 27.51/27.58 c ============================[ Search Statistics ]============================== 27.51/27.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.51/27.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.51/27.58 c =============================================================================== 27.51/27.58 c | 0 | 3277 31034 93386 | 10344 0 -nan | 0.000 % | 27.51/27.58 c | 100 | 3277 31034 93386 | 11379 100 51 | 0.486 % | 27.51/27.59 c | 250 | 3277 31034 93386 | 12517 250 37 | 0.486 % | 27.51/27.59 c | 475 | 3277 31034 93386 | 13768 475 29 | 0.486 % | 27.51/27.60 c | 813 | 3277 31034 93386 | 15145 813 30 | 0.486 % | 27.61/27.61 c | 1320 | 3277 31034 93386 | 16660 1320 34 | 0.486 % | 27.61/27.64 c | 2094 | 3277 31034 93386 | 18326 2094 38 | 0.486 % | 27.70/27.70 c | 3237 | 3277 31034 93386 | 20158 3237 44 | 0.486 % | 27.70/27.79 c | 4945 | 3277 31034 93386 | 22174 4945 54 | 0.486 % | 27.89/27.97 c | 7509 | 3277 31034 93386 | 24392 7509 59 | 0.486 % | 28.39/28.49 c | 11358 | 3277 31034 93386 | 26831 11358 64 | 0.486 % | 29.29/29.37 c | 17124 | 3277 31034 93386 | 29514 17124 69 | 0.486 % | 30.70/30.81 c | 25774 | 3277 31034 93386 | 32465 25774 75 | 0.486 % | 32.19/32.28 c | 38749 | 3269 31034 93386 | 35712 18104 58 | 0.941 % | 34.50/34.56 c | 58212 | 3261 31034 93386 | 39283 14438 60 | 0.972 % | 34.79/34.83 c =============================================================================== 34.89/34.98 c core #135 34.89/34.98 c 34.89/34.98 c 34.89/34.98 c Core size: 102 Core Weight: 1 Total Weight: -158 34.89/34.98 c Current CPU time: 34.5218 s 34.89/34.98 c 34.89/34.98 c ============================[ Search Statistics ]============================== 34.89/34.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.89/34.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.89/34.98 c =============================================================================== 34.89/34.98 c | 0 | 3355 31056 93594 | 10352 0 -nan | 0.000 % | 34.89/34.99 c | 101 | 3355 31056 93594 | 11387 101 81 | 0.475 % | 34.89/34.99 c | 251 | 3355 31056 93594 | 12525 251 55 | 0.475 % | 34.89/35.00 c | 476 | 3355 31056 93594 | 13778 476 59 | 0.475 % | 34.99/35.01 c | 815 | 3355 31056 93594 | 15156 815 64 | 0.475 % | 34.99/35.03 c | 1328 | 3355 31056 93594 | 16671 1328 73 | 0.475 % | 34.99/35.06 c | 2087 | 3355 31056 93594 | 18339 2087 77 | 0.475 % | 35.09/35.11 c | 3228 | 3355 31056 93594 | 20173 3228 78 | 0.475 % | 35.20/35.22 c | 4943 | 3355 31056 93594 | 22190 4943 85 | 0.475 % | 35.50/35.51 c | 7512 | 3355 31056 93594 | 24409 7512 92 | 0.475 % | 35.99/36.06 c | 11356 | 3355 31056 93594 | 26850 11356 94 | 0.475 % | 37.20/37.21 c | 17122 | 3355 31056 93594 | 29535 17122 97 | 0.475 % | 40.49/40.52 c | 25772 | 3355 31056 93594 | 32489 25772 101 | 0.475 % | 44.79/44.84 c | 38747 | 3354 31056 93594 | 35737 20113 100 | 0.504 % | 51.71/51.80 c | 58208 | 3350 31056 93594 | 39311 16392 95 | 0.623 % | 60.09/60.12 c | 87402 | 3350 31056 93594 | 43242 18617 109 | 0.623 % | 82.10/82.10 c | 131191 | 3350 31056 93594 | 47567 33349 112 | 0.623 % | 109.29/109.39 c | 196877 | 3350 31056 93594 | 52323 30012 106 | 0.623 % | 154.20/154.26 c | 295403 | 3350 31056 93594 | 57556 50904 100 | 0.623 % | 201.90/201.99 c | 443196 | 3348 31056 93594 | 63311 25618 85 | 0.682 % | 272.91/272.98 c | 664881 | 3348 31056 93594 | 69643 51314 105 | 0.682 % | 425.71/425.72 c | 997407 | 3348 31056 93594 | 76607 60369 105 | 0.682 % | 676.81/676.86 c | 1496196 | 3346 31056 93594 | 84268 73156 97 | 0.771 % | 756.51/756.51 c =============================================================================== 773.92/773.91 c core #136 773.92/773.91 c 773.92/773.91 c 773.92/773.91 c Core size: 140 Core Weight: 1 Total Weight: -157 773.92/773.91 c Current CPU time: 769.057 s 773.92/773.91 c 773.92/773.91 c ============================[ Search Statistics ]============================== 773.92/773.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 773.92/773.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 773.92/773.91 c =============================================================================== 773.92/773.91 c | 0 | 3463 31086 93870 | 10362 0 -nan | 0.000 % | 773.92/773.92 c | 101 | 3463 31086 93870 | 11398 101 102 | 0.546 % | 773.92/773.92 c | 253 | 3463 31086 93870 | 12538 253 59 | 0.546 % | 773.92/773.93 c | 490 | 3463 31086 93870 | 13791 490 57 | 0.546 % | 773.92/773.94 c | 828 | 3463 31086 93870 | 15171 828 53 | 0.546 % | 773.92/773.96 c | 1335 | 3463 31086 93870 | 16688 1335 56 | 0.546 % | 773.92/773.99 c | 2095 | 3463 31086 93870 | 18356 2095 55 | 0.546 % | 774.02/774.03 c | 3234 | 3463 31086 93870 | 20192 3234 51 | 0.546 % | 774.02/774.08 c | 4944 | 3463 31086 93870 | 22211 4944 48 | 0.546 % | 774.21/774.27 c | 7509 | 3463 31086 93870 | 24433 7509 58 | 0.546 % | 774.72/774.70 c | 11354 | 3463 31086 93870 | 26876 11354 70 | 0.546 % | 775.32/775.32 c | 17120 | 3463 31086 93870 | 29563 17120 76 | 0.546 % | 776.74/776.76 c | 25772 | 3463 31086 93870 | 32520 25772 73 | 0.546 % | 779.21/779.25 c | 38746 | 3463 31086 93870 | 35772 18545 90 | 0.546 % | 782.24/782.26 c | 58211 | 3463 31086 93870 | 39349 14482 89 | 0.546 % | 790.32/790.38 c | 87406 | 3463 31086 93870 | 43284 17806 85 | 0.546 % | 799.52/799.53 c | 131196 | 3463 31086 93870 | 47613 32137 72 | 0.546 % | 814.92/814.92 c | 196881 | 3463 31086 93870 | 52374 29657 73 | 0.546 % | 823.02/823.02 c =============================================================================== 823.12/823.14 c core #137 823.12/823.14 c 823.12/823.14 c 823.12/823.14 c Core size: 95 Core Weight: 1 Total Weight: -156 823.12/823.14 c Current CPU time: 818.69 s 823.12/823.14 c 823.12/823.14 c ============================[ Search Statistics ]============================== 823.12/823.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 823.12/823.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 823.12/823.14 c =============================================================================== 823.12/823.14 c | 0 | 3528 31167 94221 | 10389 0 -nan | 0.000 % | 823.12/823.15 c | 101 | 3528 31167 94221 | 11427 101 105 | 0.536 % | 823.12/823.15 c | 251 | 3528 31167 94221 | 12570 251 70 | 0.536 % | 823.12/823.16 c | 478 | 3528 31167 94221 | 13827 478 76 | 0.536 % | 823.12/823.17 c | 816 | 3528 31167 94221 | 15210 816 75 | 0.536 % | 823.12/823.19 c | 1324 | 3528 31167 94221 | 16731 1324 79 | 0.536 % | 823.22/823.25 c | 2083 | 3528 31167 94221 | 18404 2083 81 | 0.536 % | 823.32/823.32 c | 3223 | 3528 31167 94221 | 20245 3223 81 | 0.536 % | 823.52/823.55 c | 4931 | 3528 31167 94221 | 22269 4931 80 | 0.536 % | 823.93/823.91 c | 7493 | 3528 31167 94221 | 24496 7493 78 | 0.536 % | 824.42/824.41 c | 11339 | 3528 31167 94221 | 26946 11339 83 | 0.536 % | 825.72/825.73 c | 17105 | 3528 31167 94221 | 29641 17105 88 | 0.536 % | 827.81/827.89 c | 25755 | 3528 31167 94221 | 32605 25755 92 | 0.536 % | 831.32/831.38 c | 38730 | 3528 31167 94221 | 35865 19431 92 | 0.536 % | 836.22/836.29 c | 58200 | 3528 31167 94221 | 39452 15581 120 | 0.536 % | 844.72/844.75 c | 87393 | 3528 31167 94221 | 43397 18565 96 | 0.536 % | 855.83/855.87 c | 131187 | 3528 31167 94221 | 47737 32149 105 | 0.536 % | 875.42/875.49 c | 196873 | 3528 31167 94221 | 52510 29797 89 | 0.536 % | 910.62/910.61 c | 295400 | 3528 31167 94221 | 57761 13245 103 | 0.536 % | 959.83/959.85 c | 443190 | 3528 31167 94221 | 63538 30638 86 | 0.536 % | 1046.42/1046.46 c | 664875 | 3528 31167 94221 | 69891 58920 109 | 0.536 % | 1175.83/1175.89 c | 997401 | 3528 31167 94221 | 76881 61536 93 | 0.536 % | 1413.33/1413.34 c | 1496191 | 3528 31167 94221 | 84569 71598 100 | 0.536 % | 1774.75/1774.74 c | 2244377 | 3528 31167 94221 | 93026 71916 142 | 0.536 % |
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-3460122-1307117492/watcher-3460122-1307117492 -o /tmp/evaluation-result-3460122-1307117492/solver-3460122-1307117492 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460122-1307117492.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.01 1.88 2/436 23714 /proc/meminfo: memFree=20465524/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=3844 CPUtime=0.01 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 542 0 0 0 1 0 0 0 23 0 1 0 823347103 3936256 495 33554432000 4194304 5714214 140734309292672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 961 496 208 372 0 340 0 [startup+0.111115 s] /proc/loadavg: 2.08 2.01 1.88 2/436 23714 /proc/meminfo: memFree=20465524/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=7096 CPUtime=0.1 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 2032 0 0 0 10 0 0 0 24 0 1 0 823347103 7266304 1504 33554432000 4194304 5714214 140734309292672 18446744073709551615 4964956 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 1774 1504 175 372 0 1399 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 7096 [startup+0.201101 s] /proc/loadavg: 2.08 2.01 1.88 2/436 23714 /proc/meminfo: memFree=20465524/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=7412 CPUtime=0.19 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 2091 0 0 0 19 0 0 0 24 0 1 0 823347103 7589888 1563 33554432000 4194304 5714214 140734309292672 18446744073709551615 4202080 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 1853 1563 175 372 0 1478 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7412 [startup+0.301081 s] /proc/loadavg: 2.08 2.01 1.88 2/436 23714 /proc/meminfo: memFree=20465524/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=7412 CPUtime=0.29 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 2091 0 0 0 29 0 0 0 25 0 1 0 823347103 7589888 1563 33554432000 4194304 5714214 140734309292672 18446744073709551615 4199344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 1853 1563 175 372 0 1478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7412 [startup+0.701005 s] /proc/loadavg: 2.08 2.01 1.88 2/436 23714 /proc/meminfo: memFree=20465524/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=8440 CPUtime=0.69 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 2722 0 0 0 69 0 0 0 25 0 1 0 823347103 8642560 1821 33554432000 4194304 5714214 140734309292672 18446744073709551615 4315267 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 2110 1821 175 372 0 1735 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8440 [startup+1.50086 s] /proc/loadavg: 2.08 2.01 1.88 3/437 23715 /proc/meminfo: memFree=20457808/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=10572 CPUtime=1.5 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 3609 0 0 0 148 2 0 0 18 0 1 0 823347103 10825728 2342 33554432000 4194304 5714214 140734309292672 18446744073709551615 4355585 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 2643 2343 180 372 0 2268 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10572 [startup+3.10056 s] /proc/loadavg: 2.08 2.01 1.88 3/437 23715 /proc/meminfo: memFree=20454640/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=15348 CPUtime=3.09 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 4792 0 0 0 302 7 0 0 20 0 1 0 823347103 15716352 3525 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 3837 3525 180 372 0 3462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15348 [startup+6.30097 s] /proc/loadavg: 2.07 2.01 1.88 3/437 23715 /proc/meminfo: memFree=20444396/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=21848 CPUtime=6.3 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 6406 0 0 0 619 11 0 0 22 0 1 0 823347103 22372352 5139 33554432000 4194304 5714214 140734309292672 18446744073709551615 4322960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 5462 5139 180 372 0 5087 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 21848 [startup+12.7008 s] /proc/loadavg: 2.07 2.01 1.88 3/437 23715 /proc/meminfo: memFree=20430876/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=31488 CPUtime=12.7 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 8749 0 0 0 1252 18 0 0 25 0 1 0 823347103 32243712 7482 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 7872 7482 180 372 0 7497 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 31488 [startup+25.5004 s] /proc/loadavg: 2.05 2.00 1.88 3/437 23716 /proc/meminfo: memFree=20416488/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=42764 CPUtime=25.5 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 11425 0 0 0 2522 28 0 0 25 0 1 0 823347103 43790336 10158 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 10691 10158 180 372 0 10316 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 42764 [startup+51.1007 s] /proc/loadavg: 2.10 2.02 1.89 3/437 23716 /proc/meminfo: memFree=20398700/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=50780 CPUtime=51.09 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 13691 0 0 0 5054 55 0 0 25 0 1 0 823347103 51998720 12339 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 12695 12339 180 372 0 12320 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 50780 [startup+102.301 s] /proc/loadavg: 2.04 2.01 1.90 3/437 23718 /proc/meminfo: memFree=20366660/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=65064 CPUtime=102.31 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 17076 0 0 0 10153 78 0 0 25 0 1 0 823347103 66625536 15724 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 16266 15724 180 372 0 15891 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 65064 [startup+162.301 s] /proc/loadavg: 2.01 2.01 1.90 3/437 23719 /proc/meminfo: memFree=20328160/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=92900 CPUtime=162.29 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 23757 0 0 0 16124 105 0 0 25 0 1 0 823347103 95129600 22405 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 23225 22405 180 372 0 22850 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 92900 [startup+222.317 s] /proc/loadavg: 2.00 2.00 1.91 3/437 23748 /proc/meminfo: memFree=20689816/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=123168 CPUtime=222.32 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 31077 0 0 0 22087 145 0 0 25 0 1 0 823347103 126124032 29725 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 30792 29725 180 372 0 30417 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 123168 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.91 3/437 23749 /proc/meminfo: memFree=20603264/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=156148 CPUtime=282.3 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 39198 0 0 0 28050 180 0 0 25 0 1 0 823347103 159895552 37846 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 39037 37846 180 372 0 38662 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 156148 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.91 3/437 23751 /proc/meminfo: memFree=20556220/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=176840 CPUtime=342.3 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 44247 0 0 0 34025 205 0 0 25 0 1 0 823347103 181084160 42895 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 44210 42895 180 372 0 43835 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 176840 [startup+402.301 s] /proc/loadavg: 2.05 2.01 1.91 3/437 23753 /proc/meminfo: memFree=20535092/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=193192 CPUtime=402.31 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 48232 0 0 0 39995 236 0 0 25 0 1 0 823347103 197828608 46881 33554432000 4194304 5714214 140734309292672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 48298 46881 180 372 0 47923 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 193192 [startup+462.3 s] /proc/loadavg: 2.14 2.04 1.93 3/437 23754 /proc/meminfo: memFree=20478272/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=213632 CPUtime=462.31 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 53194 0 0 0 45973 258 0 0 25 0 1 0 823347103 218759168 51842 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 53408 51842 180 372 0 53033 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 213632 [startup+522.3 s] /proc/loadavg: 2.11 2.04 1.93 3/437 23756 /proc/meminfo: memFree=20430984/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=228412 CPUtime=522.31 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 56892 0 0 0 51947 284 0 0 25 0 1 0 823347103 233893888 55540 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 57103 55540 180 372 0 56728 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 228412 [startup+582.3 s] /proc/loadavg: 2.04 2.03 1.93 3/437 23757 /proc/meminfo: memFree=20389164/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=249912 CPUtime=582.31 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 62148 0 0 0 57922 309 0 0 25 0 1 0 823347103 255909888 60796 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 62478 60796 180 372 0 62103 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 249912 [startup+642.301 s] ################ # More data... # ################ [startup+882.317 s] /proc/loadavg: 2.15 2.03 1.94 3/437 23765 /proc/meminfo: memFree=20143700/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=882.34 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 92854 0 0 0 87752 482 0 0 25 0 1 0 823347103 382271488 91336 33554432000 4194304 5714214 140734309292672 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 91336 180 372 0 92953 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 373312 [startup+942.301 s] /proc/loadavg: 2.12 2.04 1.95 3/437 23767 /proc/meminfo: memFree=20123940/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=942.33 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 93111 0 0 0 93719 514 0 0 25 0 1 0 823347103 382271488 91593 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 91593 180 372 0 92953 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 373312 [startup+1002.3 s] /proc/loadavg: 2.04 2.03 1.95 3/437 23769 /proc/meminfo: memFree=20099604/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1002.32 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 93277 0 0 0 99691 541 0 0 25 0 1 0 823347103 382271488 91759 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 91759 180 372 0 92953 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 373312 [startup+1062.3 s] /proc/loadavg: 2.05 2.03 1.95 3/437 23770 /proc/meminfo: memFree=20087936/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1062.33 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 93542 0 0 0 105661 572 0 0 25 0 1 0 823347103 382271488 92024 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92024 180 372 0 92953 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 373312 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 1.95 3/437 23772 /proc/meminfo: memFree=20069548/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1122.33 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 93749 0 0 0 111632 601 0 0 25 0 1 0 823347103 382271488 92231 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92231 180 372 0 92953 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 373312 [startup+1182.3 s] /proc/loadavg: 2.05 2.03 1.96 3/437 23773 /proc/meminfo: memFree=20032688/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1182.33 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 93796 0 0 0 117605 628 0 0 25 0 1 0 823347103 382271488 92278 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92278 180 372 0 92953 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 373312 [startup+1242.3 s] /proc/loadavg: 2.08 2.04 1.96 3/437 23775 /proc/meminfo: memFree=20011060/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1242.33 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94013 0 0 0 123577 656 0 0 25 0 1 0 823347103 382271488 92495 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92495 180 372 0 92953 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 373312 [startup+1302.3 s] /proc/loadavg: 2.11 2.05 1.97 3/437 23777 /proc/meminfo: memFree=19988220/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1302.34 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94342 0 0 0 129555 679 0 0 25 0 1 0 823347103 382271488 92824 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92824 180 372 0 92953 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 373312 [startup+1362.3 s] /proc/loadavg: 2.04 2.03 1.97 3/437 23778 /proc/meminfo: memFree=19969708/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1362.34 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94389 0 0 0 135530 704 0 0 25 0 1 0 823347103 382271488 92871 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92871 180 372 0 92953 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 373312 [startup+1422.3 s] /proc/loadavg: 2.05 2.04 1.97 3/437 23780 /proc/meminfo: memFree=19949332/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1422.35 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94444 0 0 0 141503 732 0 0 25 0 1 0 823347103 382271488 92926 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 92926 180 372 0 92953 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 373312 [startup+1482.3 s] /proc/loadavg: 2.09 2.06 1.98 3/437 23781 /proc/meminfo: memFree=19929336/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1482.34 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94545 0 0 0 147475 759 0 0 25 0 1 0 823347103 382271488 93027 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 93027 180 372 0 92953 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 373312 [startup+1542.32 s] /proc/loadavg: 2.13 2.08 2.00 3/437 23783 /proc/meminfo: memFree=19914176/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=373312 CPUtime=1542.36 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94545 0 0 0 153455 781 0 0 25 0 1 0 823347103 382271488 93027 33554432000 4194304 5714214 140734309292672 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93328 93027 180 372 0 92953 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 373312 [startup+1602.3 s] /proc/loadavg: 2.09 2.07 2.00 3/437 23785 /proc/meminfo: memFree=19887976/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=374616 CPUtime=1602.34 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 94819 0 0 0 159436 798 0 0 25 0 1 0 823347103 383606784 93301 33554432000 4194304 5714214 140734309292672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 93654 93301 180 372 0 93279 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 374616 [startup+1662.3 s] /proc/loadavg: 2.03 2.06 2.00 3/437 23786 /proc/meminfo: memFree=19841936/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=395704 CPUtime=1662.35 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 99816 0 0 0 165408 827 0 0 25 0 1 0 823347103 405200896 98298 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 98926 98298 180 372 0 98551 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 395704 [startup+1722.3 s] /proc/loadavg: 2.01 2.05 2.00 3/437 23788 /proc/meminfo: memFree=19808044/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=413972 CPUtime=1722.35 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 104316 0 0 0 171377 858 0 0 25 0 1 0 823347103 423907328 102798 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 103493 102798 180 372 0 103118 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 413972 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.00 3/437 23789 /proc/meminfo: memFree=19770680/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=431144 CPUtime=1782.35 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 108450 0 0 0 177350 885 0 0 25 0 1 0 823347103 441491456 106932 33554432000 4194304 5714214 140734309292672 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 107786 106932 180 372 0 107411 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 431144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 3/437 23790 /proc/meminfo: memFree=19756400/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=440160 CPUtime=1800.06 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 110601 0 0 0 179111 895 0 0 25 0 1 0 823347103 450723840 109083 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 110040 109083 180 372 0 109665 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 440160 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.00 2.03 2.00 3/437 23790 /proc/meminfo: memFree=19756400/32951124 swapFree=60787360/67111528 [pid=23714] ppid=23712 vsize=440160 CPUtime=1800.06 cores=1,3,5,7 /proc/23714/stat : 23714 (wbo1.6) R 23712 23714 18464 0 -1 4202496 110601 0 0 0 179111 895 0 0 25 0 1 0 823347103 450723840 109083 33554432000 4194304 5714214 140734309292672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23714/statm: 110040 109083 180 372 0 109665 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 440160 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.1 CPU user time (s): 1791.12 CPU system time (s): 8.97463 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 440160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.12 system time used= 8.97463 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110601 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= 40 involuntary context switches= 2063 runsolver used 7.33988 second user time and 18.8591 second system time The end
Begin job on node135 at 2011-06-03 18:11:32 IDJOB=3460122 IDBENCH=71821 IDSOLVER=1953 FILE ID=node135/3460122-1307117492 RUNJOBID= node135-1307116712-23527 PBS_JOBID= 13497982 Free space on /tmp= 73952 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460122-1307117492/watcher-3460122-1307117492 -o /tmp/evaluation-result-3460122-1307117492/solver-3460122-1307117492 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460122-1307117492.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0 RANDOM SEED=1733537276 node135.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.851 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.75 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.851 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 : 6640.14 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.851 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.78 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.851 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.851 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.74 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.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20465556 kB Buffers: 237404 kB Cached: 518092 kB SwapCached: 6168 kB Active: 11786548 kB Inactive: 440868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20465556 kB SwapTotal: 67111528 kB SwapFree: 60787360 kB Dirty: 5456 kB Writeback: 0 kB AnonPages: 11471588 kB Mapped: 26616 kB Slab: 125064 kB PageTables: 66272 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 124765580 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node135 at 2011-06-03 18:41:34