Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1800.95 |
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 | 2.5976 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1874910-1245218762.opb. 0.00/0.00 c Instance file HOME/instance-1874910-1245218762.opb 0.00/0.00 c File size is 1006550 bytes. 0.09/0.13 c Highest Coefficient sum: 4 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.13 s | 0.09/0.13 c | Number Variables: 2025 | 0.09/0.13 c | Number Clauses: 30525 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 0 | 0.09/0.13 c core #1 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: -315 0.09/0.13 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.15 c core #2 0.09/0.15 c Core size: 6 Core Weight: 1 Total Weight: -314 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #3 0.09/0.17 c Core size: 6 Core Weight: 2 Total Weight: -312 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.19 c core #4 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: -311 0.09/0.19 c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #5 0.19/0.20 c Core size: 5 Core Weight: 1 Total Weight: -310 0.19/0.20 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 6 Core Weight: 3 Total Weight: -307 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #7 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: -306 0.19/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #8 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: -305 0.19/0.26 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #9 0.19/0.28 c Core size: 6 Core Weight: 2 Total Weight: -303 0.19/0.28 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #10 0.29/0.30 c Core size: 5 Core Weight: 2 Total Weight: -301 0.29/0.30 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #11 0.29/0.32 c Core size: 5 Core Weight: 2 Total Weight: -299 0.29/0.32 c Elapsed CPU time: 0.32495 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #12 0.29/0.34 c Core size: 7 Core Weight: 2 Total Weight: -297 0.29/0.34 c Elapsed CPU time: 0.344947 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #13 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: -296 0.29/0.36 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #14 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -295 0.29/0.38 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #15 0.39/0.40 c Core size: 5 Core Weight: 1 Total Weight: -294 0.39/0.40 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #16 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: -293 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #17 0.39/0.45 c Core size: 7 Core Weight: 1 Total Weight: -292 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #18 0.39/0.47 c Core size: 5 Core Weight: 4 Total Weight: -288 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #19 0.39/0.49 c Core size: 5 Core Weight: 1 Total Weight: -287 0.39/0.49 c Elapsed CPU time: 0.488925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #20 0.49/0.51 c Core size: 5 Core Weight: 1 Total Weight: -286 0.49/0.51 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #21 0.49/0.53 c Core size: 6 Core Weight: 1 Total Weight: -285 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #22 0.49/0.55 c Core size: 5 Core Weight: 1 Total Weight: -284 0.49/0.55 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #23 0.49/0.57 c Core size: 6 Core Weight: 1 Total Weight: -283 0.49/0.57 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #24 0.49/0.59 c Core size: 5 Core Weight: 1 Total Weight: -282 0.49/0.59 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #25 0.59/0.61 c Core size: 6 Core Weight: 1 Total Weight: -281 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #26 0.59/0.62 c Core size: 5 Core Weight: 2 Total Weight: -279 0.59/0.62 c Elapsed CPU time: 0.624905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #27 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: -278 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #28 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: -277 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #29 0.59/0.68 c Core size: 6 Core Weight: 1 Total Weight: -276 0.59/0.68 c Elapsed CPU time: 0.684895 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #30 0.69/0.71 c Core size: 6 Core Weight: 3 Total Weight: -273 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #31 0.69/0.73 c Core size: 5 Core Weight: 1 Total Weight: -272 0.69/0.73 c Elapsed CPU time: 0.728889 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #32 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: -271 0.69/0.75 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #33 0.69/0.77 c Core size: 5 Core Weight: 1 Total Weight: -270 0.69/0.77 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #34 0.69/0.79 c Core size: 5 Core Weight: 2 Total Weight: -268 0.69/0.79 c Elapsed CPU time: 0.794879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #35 0.79/0.82 c Core size: 6 Core Weight: 1 Total Weight: -267 0.79/0.82 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #36 0.79/0.84 c Core size: 6 Core Weight: 3 Total Weight: -264 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #37 0.79/0.86 c Core size: 6 Core Weight: 3 Total Weight: -261 0.79/0.86 c Elapsed CPU time: 0.859869 s Remaining CPU time: 1799.14 s 0.79/0.88 c core #38 0.79/0.88 c Core size: 10 Core Weight: 1 Total Weight: -260 0.79/0.88 c Elapsed CPU time: 0.882865 s Remaining CPU time: 1799.12 s 0.89/0.90 c core #39 0.89/0.90 c Core size: 11 Core Weight: 1 Total Weight: -259 0.89/0.90 c Elapsed CPU time: 0.904862 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #40 0.89/0.93 c Core size: 11 Core Weight: 1 Total Weight: -258 0.89/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #41 0.89/0.95 c Core size: 11 Core Weight: 1 Total Weight: -257 0.89/0.95 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.98 c core #42 0.89/0.98 c Core size: 10 Core Weight: 1 Total Weight: -256 0.89/0.98 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 0.89/1.00 c core #43 0.89/1.00 c Core size: 11 Core Weight: 1 Total Weight: -255 0.89/1.00 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 1.00/1.02 c core #44 1.00/1.02 c Core size: 11 Core Weight: 1 Total Weight: -254 1.00/1.02 c Elapsed CPU time: 1.02284 s Remaining CPU time: 1798.98 s 1.00/1.05 c core #45 1.00/1.05 c Core size: 10 Core Weight: 1 Total Weight: -253 1.00/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.07 c core #46 1.00/1.07 c Core size: 10 Core Weight: 1 Total Weight: -252 1.00/1.07 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.00/1.10 c core #47 1.00/1.10 c Core size: 10 Core Weight: 1 Total Weight: -251 1.00/1.10 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.10/1.12 c core #48 1.10/1.12 c Core size: 11 Core Weight: 1 Total Weight: -250 1.10/1.12 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.10/1.15 c core #49 1.10/1.15 c Core size: 10 Core Weight: 1 Total Weight: -249 1.10/1.15 c Elapsed CPU time: 1.14783 s Remaining CPU time: 1798.85 s 1.10/1.17 c core #50 1.10/1.17 c Core size: 9 Core Weight: 1 Total Weight: -248 1.10/1.17 c Elapsed CPU time: 1.17382 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #51 1.19/1.20 c Core size: 10 Core Weight: 1 Total Weight: -247 1.19/1.20 c Elapsed CPU time: 1.19982 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #52 1.19/1.23 c Core size: 11 Core Weight: 1 Total Weight: -246 1.19/1.23 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #53 1.19/1.26 c Core size: 11 Core Weight: 1 Total Weight: -245 1.19/1.26 c Elapsed CPU time: 1.25581 s Remaining CPU time: 1798.74 s 1.19/1.28 c core #54 1.19/1.28 c Core size: 11 Core Weight: 1 Total Weight: -244 1.19/1.28 c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #55 1.29/1.31 c Core size: 11 Core Weight: 1 Total Weight: -243 1.29/1.31 c Elapsed CPU time: 1.3098 s Remaining CPU time: 1798.69 s 1.29/1.34 c core #56 1.29/1.34 c Core size: 11 Core Weight: 1 Total Weight: -242 1.29/1.34 c Elapsed CPU time: 1.3368 s Remaining CPU time: 1798.66 s 1.29/1.37 c core #57 1.29/1.37 c Core size: 10 Core Weight: 2 Total Weight: -240 1.29/1.37 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 10 Core Weight: 1 Total Weight: -239 1.29/1.39 c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s 1.39/1.42 c core #59 1.39/1.42 c Core size: 8 Core Weight: 1 Total Weight: -238 1.39/1.42 c Elapsed CPU time: 1.42278 s Remaining CPU time: 1798.58 s 1.39/1.45 c core #60 1.39/1.45 c Core size: 9 Core Weight: 1 Total Weight: -237 1.39/1.45 c Elapsed CPU time: 1.45178 s Remaining CPU time: 1798.55 s 1.39/1.48 c core #61 1.39/1.48 c Core size: 10 Core Weight: 1 Total Weight: -236 1.39/1.48 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.49/1.51 c core #62 1.49/1.51 c Core size: 11 Core Weight: 1 Total Weight: -235 1.49/1.51 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.54 c core #63 1.49/1.54 c Core size: 10 Core Weight: 1 Total Weight: -234 1.49/1.54 c Elapsed CPU time: 1.53477 s Remaining CPU time: 1798.47 s 1.49/1.57 c core #64 1.49/1.57 c Core size: 11 Core Weight: 1 Total Weight: -233 1.49/1.57 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.60 c core #65 1.49/1.60 c Core size: 10 Core Weight: 1 Total Weight: -232 1.59/1.60 c Elapsed CPU time: 1.59276 s Remaining CPU time: 1798.41 s 1.59/1.63 c core #66 1.59/1.63 c Core size: 9 Core Weight: 1 Total Weight: -231 1.59/1.63 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.59/1.66 c core #67 1.59/1.66 c Core size: 11 Core Weight: 1 Total Weight: -230 1.59/1.66 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.59/1.69 c core #68 1.59/1.69 c Core size: 13 Core Weight: 1 Total Weight: -229 1.59/1.69 c Elapsed CPU time: 1.68574 s Remaining CPU time: 1798.31 s 1.69/1.72 c core #69 1.69/1.72 c Core size: 14 Core Weight: 1 Total Weight: -228 1.69/1.72 c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s 1.69/1.75 c core #70 1.69/1.75 c Core size: 13 Core Weight: 2 Total Weight: -226 1.69/1.75 c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s 1.69/1.78 c core #71 1.69/1.78 c Core size: 14 Core Weight: 1 Total Weight: -225 1.69/1.78 c Elapsed CPU time: 1.77773 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #72 1.79/1.81 c Core size: 11 Core Weight: 2 Total Weight: -223 1.79/1.81 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.79/1.84 c core #73 1.79/1.84 c Core size: 14 Core Weight: 1 Total Weight: -222 1.79/1.84 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.79/1.87 c core #74 1.79/1.87 c Core size: 10 Core Weight: 1 Total Weight: -221 1.79/1.87 c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s 1.88/1.91 c core #75 1.88/1.91 c Core size: 14 Core Weight: 1 Total Weight: -220 1.88/1.91 c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s 1.88/1.94 c core #76 1.88/1.94 c Core size: 10 Core Weight: 1 Total Weight: -219 1.88/1.94 c Elapsed CPU time: 1.93471 s Remaining CPU time: 1798.07 s 1.88/1.97 c core #77 1.88/1.97 c Core size: 8 Core Weight: 1 Total Weight: -218 1.88/1.97 c Elapsed CPU time: 1.9677 s Remaining CPU time: 1798.03 s 1.98/2.01 c core #78 1.98/2.01 c Core size: 12 Core Weight: 1 Total Weight: -217 1.98/2.01 c Elapsed CPU time: 2.00069 s Remaining CPU time: 1798 s 1.98/2.04 c core #79 1.98/2.04 c Core size: 9 Core Weight: 1 Total Weight: -216 1.98/2.04 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.98/2.08 c core #80 1.98/2.08 c Core size: 9 Core Weight: 1 Total Weight: -215 1.98/2.08 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 2.09/2.11 c core #81 2.09/2.11 c Core size: 18 Core Weight: 1 Total Weight: -214 2.09/2.11 c Elapsed CPU time: 2.10368 s Remaining CPU time: 1797.9 s 2.09/2.15 c ============================[ Search Statistics ]============================== 2.09/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.15 c =============================================================================== 2.09/2.15 c | 0 | 2240 30719 89824 | 10239 0 nan | 0.000 % | 2.09/2.15 c =============================================================================== 2.09/2.15 c core #82 2.09/2.15 c Core size: 17 Core Weight: 1 Total Weight: -213 2.09/2.15 c Elapsed CPU time: 2.13967 s Remaining CPU time: 1797.86 s 2.09/2.18 c Learning 1 hard constraints 2.09/2.18 c ============================[ Search Statistics ]============================== 2.09/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.18 c =============================================================================== 2.09/2.18 c | 0 | 2246 30722 89837 | 10240 0 nan | 0.000 % | 2.09/2.19 c =============================================================================== 2.09/2.19 c core #83 2.09/2.19 c Core size: 25 Core Weight: 1 Total Weight: -212 2.09/2.19 c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s 2.19/2.22 c ============================[ Search Statistics ]============================== 2.19/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.22 c =============================================================================== 2.19/2.22 c | 0 | 2253 30728 89858 | 10242 0 nan | 0.000 % | 2.19/2.22 c =============================================================================== 2.19/2.22 c core #84 2.19/2.22 c Core size: 11 Core Weight: 1 Total Weight: -211 2.19/2.22 c Elapsed CPU time: 2.21366 s Remaining CPU time: 1797.79 s 2.19/2.26 c Learning 1 hard constraints 2.19/2.26 c ============================[ Search Statistics ]============================== 2.19/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.26 c =============================================================================== 2.19/2.26 c | 0 | 2257 30731 89869 | 10243 0 nan | 0.000 % | 2.19/2.26 c =============================================================================== 2.19/2.26 c core #85 2.19/2.26 c Core size: 12 Core Weight: 1 Total Weight: -210 2.19/2.26 c Elapsed CPU time: 2.24966 s Remaining CPU time: 1797.75 s 2.19/2.29 c ============================[ Search Statistics ]============================== 2.19/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.29 c =============================================================================== 2.19/2.29 c | 0 | 2271 30732 90243 | 10244 0 nan | 0.000 % | 2.19/2.30 c =============================================================================== 2.19/2.30 c core #86 2.19/2.30 c Core size: 13 Core Weight: 1 Total Weight: -209 2.19/2.30 c Elapsed CPU time: 2.28565 s Remaining CPU time: 1797.71 s 2.28/2.33 c Learning 1 hard constraints 2.28/2.33 c ============================[ Search Statistics ]============================== 2.28/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.33 c =============================================================================== 2.28/2.33 c | 0 | 2286 30735 90562 | 10245 0 nan | 0.000 % | 2.28/2.33 c =============================================================================== 2.28/2.33 c core #87 2.28/2.33 c Core size: 11 Core Weight: 3 Total Weight: -206 2.28/2.33 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.28/2.37 c Learning 1 hard constraints 2.28/2.37 c ============================[ Search Statistics ]============================== 2.28/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.37 c =============================================================================== 2.28/2.37 c | 0 | 2289 30737 90572 | 10245 0 nan | 0.000 % | 2.28/2.37 c =============================================================================== 2.28/2.37 c core #88 2.28/2.37 c Core size: 18 Core Weight: 1 Total Weight: -205 2.28/2.37 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.38/2.40 c ============================[ Search Statistics ]============================== 2.38/2.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.40 c =============================================================================== 2.38/2.40 c | 0 | 2294 30739 90581 | 10246 0 nan | 0.000 % | 2.38/2.41 c =============================================================================== 2.38/2.41 c core #89 2.38/2.41 c Core size: 20 Core Weight: 1 Total Weight: -204 2.38/2.41 c Elapsed CPU time: 2.39563 s Remaining CPU time: 1797.6 s 2.38/2.44 c Learning 1 hard constraints 2.38/2.44 c ============================[ Search Statistics ]============================== 2.38/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.44 c =============================================================================== 2.38/2.44 c | 0 | 2303 30742 90814 | 10247 0 nan | 0.000 % | 2.38/2.44 c =============================================================================== 2.38/2.44 c core #90 2.38/2.44 c Core size: 19 Core Weight: 1 Total Weight: -203 2.38/2.44 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.38/2.48 c ============================[ Search Statistics ]============================== 2.38/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.48 c =============================================================================== 2.38/2.48 c | 0 | 2312 30743 90850 | 10247 0 nan | 0.000 % | 2.38/2.48 c =============================================================================== 2.38/2.48 c core #91 2.38/2.48 c Core size: 22 Core Weight: 1 Total Weight: -202 2.38/2.48 c Elapsed CPU time: 2.46862 s Remaining CPU time: 1797.53 s 2.48/2.51 c Learning 1 hard constraints 2.48/2.51 c ============================[ Search Statistics ]============================== 2.48/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.51 c =============================================================================== 2.48/2.52 c | 0 | 2319 30745 90867 | 10248 0 nan | 0.000 % | 2.48/2.52 c =============================================================================== 2.48/2.52 c core #92 2.48/2.52 c Core size: 55 Core Weight: 1 Total Weight: -201 2.48/2.52 c Elapsed CPU time: 2.50662 s Remaining CPU time: 1797.49 s 2.48/2.55 c Learning 2 hard constraints 2.48/2.55 c ============================[ Search Statistics ]============================== 2.48/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.55 c =============================================================================== 2.48/2.55 c | 0 | 2337 30751 90916 | 10250 0 nan | 0.000 % | 2.48/2.55 c =============================================================================== 2.48/2.56 c core #93 2.48/2.56 c Core size: 39 Core Weight: 1 Total Weight: -200 2.48/2.56 c Elapsed CPU time: 2.54361 s Remaining CPU time: 1797.46 s 2.48/2.59 c Learning 1 hard constraints 2.48/2.59 c ============================[ Search Statistics ]============================== 2.48/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.59 c =============================================================================== 2.48/2.59 c | 0 | 2348 30753 90942 | 10251 0 nan | 0.000 % | 2.48/2.59 c =============================================================================== 2.48/2.59 c core #94 2.48/2.59 c Core size: 23 Core Weight: 1 Total Weight: -199 2.48/2.59 c Elapsed CPU time: 2.58061 s Remaining CPU time: 1797.42 s 2.58/2.63 c Learning 5 hard constraints 2.58/2.63 c ============================[ Search Statistics ]============================== 2.58/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.63 c =============================================================================== 2.58/2.63 c | 0 | 2355 30764 90984 | 10254 0 nan | 0.000 % | 2.58/2.63 c =============================================================================== 2.58/2.63 c core #95 2.58/2.63 c Core size: 17 Core Weight: 1 Total Weight: -198 2.58/2.63 c Elapsed CPU time: 2.6196 s Remaining CPU time: 1797.38 s 2.58/2.67 c Learning 2 hard constraints 2.58/2.67 c ============================[ Search Statistics ]============================== 2.58/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.67 c =============================================================================== 2.58/2.67 c | 0 | 2360 30767 90999 | 10255 0 nan | 0.000 % | 2.58/2.67 c =============================================================================== 2.58/2.67 c core #96 2.58/2.67 c Core size: 29 Core Weight: 1 Total Weight: -197 2.58/2.67 c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s 2.68/2.70 c ============================[ Search Statistics ]============================== 2.68/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.70 c =============================================================================== 2.68/2.70 c | 0 | 2367 30768 91013 | 10256 0 nan | 0.000 % | 2.68/2.71 c =============================================================================== 2.68/2.71 c core #97 2.68/2.71 c Core size: 31 Core Weight: 1 Total Weight: -196 2.68/2.71 c Elapsed CPU time: 2.69559 s Remaining CPU time: 1797.3 s 2.68/2.74 c Learning 1 hard constraints 2.68/2.74 c ============================[ Search Statistics ]============================== 2.68/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.74 c =============================================================================== 2.68/2.74 c | 0 | 2376 30770 91035 | 10256 0 nan | 0.000 % | 2.68/2.74 c =============================================================================== 2.68/2.75 c core #98 2.68/2.75 c Core size: 37 Core Weight: 1 Total Weight: -195 2.68/2.75 c Elapsed CPU time: 2.73258 s Remaining CPU time: 1797.27 s 2.68/2.78 c Learning 2 hard constraints 2.68/2.78 c ============================[ Search Statistics ]============================== 2.68/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.78 c =============================================================================== 2.68/2.78 c | 0 | 2387 30774 91065 | 10258 0 nan | 0.000 % | 2.68/2.78 c =============================================================================== 2.68/2.78 c core #99 2.68/2.78 c Core size: 40 Core Weight: 1 Total Weight: -194 2.68/2.78 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.78/2.82 c Learning 3 hard constraints 2.78/2.82 c ============================[ Search Statistics ]============================== 2.78/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.82 c =============================================================================== 2.78/2.82 c | 0 | 2399 30778 91100 | 10259 0 nan | 0.000 % | 2.78/2.82 c =============================================================================== 2.78/2.82 c core #100 2.78/2.82 c Core size: 62 Core Weight: 1 Total Weight: -193 2.78/2.82 c Elapsed CPU time: 2.80857 s Remaining CPU time: 1797.19 s 2.78/2.86 c Learning 4 hard constraints 2.78/2.86 c ============================[ Search Statistics ]============================== 2.78/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.86 c =============================================================================== 2.78/2.86 c | 0 | 2416 30784 91151 | 10261 0 nan | 0.000 % | 2.78/2.86 c =============================================================================== 2.78/2.86 c core #101 2.78/2.86 c Core size: 64 Core Weight: 1 Total Weight: -192 2.78/2.86 c Elapsed CPU time: 2.84757 s Remaining CPU time: 1797.15 s 2.78/2.90 c Learning 4 hard constraints 2.78/2.90 c ============================[ Search Statistics ]============================== 2.78/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.90 c =============================================================================== 2.78/2.90 c | 0 | 2434 30789 91201 | 10263 0 nan | 0.000 % | 2.88/2.90 c =============================================================================== 2.88/2.90 c core #102 2.88/2.90 c Core size: 13 Core Weight: 2 Total Weight: -190 2.88/2.90 c Elapsed CPU time: 2.88456 s Remaining CPU time: 1797.12 s 2.88/2.93 c Learning 3 hard constraints 2.88/2.93 c ============================[ Search Statistics ]============================== 2.88/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.93 c =============================================================================== 2.88/2.93 c | 0 | 2437 30793 91216 | 10264 0 nan | 0.000 % | 2.88/2.94 c =============================================================================== 2.88/2.94 c core #103 2.88/2.94 c Core size: 36 Core Weight: 1 Total Weight: -189 2.88/2.94 c Elapsed CPU time: 2.91956 s Remaining CPU time: 1797.08 s 2.88/2.97 c Learning 3 hard constraints 2.88/2.97 c ============================[ Search Statistics ]============================== 2.88/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.97 c =============================================================================== 2.88/2.97 c | 0 | 2440 30805 91256 | 10268 0 nan | 0.000 % | 2.88/2.97 c =============================================================================== 2.88/2.97 c core #104 2.88/2.97 c Core size: 29 Core Weight: 1 Total Weight: -188 2.88/2.97 c Elapsed CPU time: 2.95455 s Remaining CPU time: 1797.05 s 2.97/3.01 c Learning 3 hard constraints 2.97/3.01 c ============================[ Search Statistics ]============================== 2.97/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.01 c =============================================================================== 2.97/3.01 c | 0 | 2455 30809 91285 | 10269 0 nan | 0.000 % | 2.97/3.01 c =============================================================================== 2.97/3.01 c core #105 2.97/3.01 c Core size: 19 Core Weight: 1 Total Weight: -187 2.97/3.01 c Elapsed CPU time: 2.99055 s Remaining CPU time: 1797.01 s 2.97/3.04 c Learning 1 hard constraints 2.97/3.04 c ============================[ Search Statistics ]============================== 2.97/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.04 c =============================================================================== 2.97/3.04 c | 0 | 2460 30813 91302 | 10271 0 nan | 0.000 % | 2.97/3.05 c =============================================================================== 2.97/3.05 c core #106 2.97/3.05 c Core size: 39 Core Weight: 1 Total Weight: -186 2.97/3.05 c Elapsed CPU time: 3.02854 s Remaining CPU time: 1796.97 s 2.97/3.08 c Learning 2 hard constraints 2.97/3.08 c ============================[ Search Statistics ]============================== 2.97/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.97/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.97/3.08 c =============================================================================== 2.97/3.08 c | 0 | 2470 30816 91329 | 10272 0 nan | 0.000 % | 2.97/3.08 c =============================================================================== 2.97/3.09 c core #107 2.97/3.09 c Core size: 69 Core Weight: 1 Total Weight: -185 2.97/3.09 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 3.07/3.12 c ============================[ Search Statistics ]============================== 3.07/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.12 c =============================================================================== 3.07/3.12 c | 0 | 2486 30817 91361 | 10272 0 nan | 0.000 % | 3.07/3.12 c =============================================================================== 3.07/3.12 c core #108 3.07/3.12 c Core size: 27 Core Weight: 1 Total Weight: -184 3.07/3.12 c Elapsed CPU time: 3.10353 s Remaining CPU time: 1796.9 s 3.07/3.16 c Learning 2 hard constraints 3.07/3.16 c ============================[ Search Statistics ]============================== 3.07/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.16 c =============================================================================== 3.07/3.16 c | 0 | 2491 30820 91375 | 10273 0 nan | 0.000 % | 3.07/3.16 c =============================================================================== 3.07/3.16 c core #109 3.07/3.16 c Core size: 34 Core Weight: 1 Total Weight: -183 3.07/3.16 c Elapsed CPU time: 3.14152 s Remaining CPU time: 1796.86 s 3.07/3.20 c Learning 1 hard constraints 3.07/3.20 c ============================[ Search Statistics ]============================== 3.07/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.20 c =============================================================================== 3.07/3.20 c | 0 | 2500 30827 91407 | 10275 0 nan | 0.000 % | 3.07/3.20 c =============================================================================== 3.07/3.20 c core #110 3.07/3.20 c Core size: 43 Core Weight: 1 Total Weight: -182 3.07/3.20 c Elapsed CPU time: 3.17952 s Remaining CPU time: 1796.82 s 3.17/3.24 c ============================[ Search Statistics ]============================== 3.17/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.24 c =============================================================================== 3.17/3.24 c | 0 | 2511 30830 91433 | 10276 0 nan | 0.000 % | 3.17/3.24 c =============================================================================== 3.17/3.24 c core #111 3.17/3.24 c Core size: 76 Core Weight: 1 Total Weight: -181 3.17/3.24 c Elapsed CPU time: 3.22051 s Remaining CPU time: 1796.78 s 3.17/3.28 c Learning 4 hard constraints 3.17/3.28 c ============================[ Search Statistics ]============================== 3.17/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.28 c =============================================================================== 3.17/3.28 c | 0 | 2532 30837 91490 | 10279 0 nan | 0.000 % | 3.17/3.28 c =============================================================================== 3.17/3.28 c core #112 3.17/3.28 c Core size: 24 Core Weight: 1 Total Weight: -180 3.17/3.28 c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s 3.27/3.31 c Learning 2 hard constraints 3.27/3.31 c ============================[ Search Statistics ]============================== 3.27/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.31 c =============================================================================== 3.27/3.31 c | 0 | 2538 30841 91508 | 10280 0 nan | 0.000 % | 3.27/3.32 c =============================================================================== 3.27/3.32 c core #113 3.27/3.32 c Core size: 47 Core Weight: 1 Total Weight: -179 3.27/3.32 c Elapsed CPU time: 3.2945 s Remaining CPU time: 1796.71 s 3.27/3.35 c Learning 1 hard constraints 3.27/3.35 c ============================[ Search Statistics ]============================== 3.27/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.35 c =============================================================================== 3.27/3.35 c | 0 | 2552 30844 91540 | 10281 0 nan | 0.000 % | 3.27/3.36 c =============================================================================== 3.27/3.36 c core #114 3.27/3.36 c Core size: 29 Core Weight: 1 Total Weight: -178 3.27/3.36 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.27/3.39 c Learning 2 hard constraints 3.27/3.39 c ============================[ Search Statistics ]============================== 3.27/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.39 c =============================================================================== 3.27/3.39 c | 0 | 2565 30847 91573 | 10282 0 nan | 0.000 % | 3.27/3.40 c =============================================================================== 3.27/3.40 c core #115 3.27/3.40 c Core size: 41 Core Weight: 1 Total Weight: -177 3.27/3.40 c Elapsed CPU time: 3.37049 s Remaining CPU time: 1796.63 s 3.37/3.43 c Learning 3 hard constraints 3.37/3.43 c ============================[ Search Statistics ]============================== 3.37/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.43 c =============================================================================== 3.37/3.43 c | 0 | 2576 30853 91607 | 10284 0 nan | 0.000 % | 3.37/3.43 c =============================================================================== 3.37/3.43 c core #116 3.37/3.43 c Core size: 53 Core Weight: 1 Total Weight: -176 3.37/3.43 c Elapsed CPU time: 3.40748 s Remaining CPU time: 1796.59 s 3.37/3.47 c ============================[ Search Statistics ]============================== 3.37/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.37/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.37/3.47 c =============================================================================== 3.37/3.47 c | 0 | 2592 30857 91645 | 10285 0 nan | 0.000 % | 3.37/3.47 c =============================================================================== 3.37/3.47 c core #117 3.37/3.47 c Core size: 18 Core Weight: 1 Total Weight: -175 3.37/3.47 c Elapsed CPU time: 3.44548 s Remaining CPU time: 1796.55 s 3.47/3.51 c Learning 1 hard constraints 3.47/3.51 c ============================[ Search Statistics ]============================== 3.47/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.51 c =============================================================================== 3.47/3.51 c | 0 | 2589 30859 91653 | 10286 0 nan | 0.000 % | 3.47/3.51 c =============================================================================== 3.47/3.51 c core #118 3.47/3.51 c Core size: 21 Core Weight: 1 Total Weight: -174 3.47/3.51 c Elapsed CPU time: 3.48247 s Remaining CPU time: 1796.52 s 3.47/3.54 c Learning 1 hard constraints 3.47/3.54 c ============================[ Search Statistics ]============================== 3.47/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.54 c =============================================================================== 3.47/3.54 c | 0 | 2603 30861 91671 | 10287 0 nan | 0.000 % | 3.47/3.55 c =============================================================================== 3.47/3.55 c core #119 3.47/3.55 c Core size: 48 Core Weight: 1 Total Weight: -173 3.47/3.55 c Elapsed CPU time: 3.52046 s Remaining CPU time: 1796.48 s 3.47/3.58 c Learning 2 hard constraints 3.47/3.58 c ============================[ Search Statistics ]============================== 3.47/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.58 c =============================================================================== 3.47/3.58 c | 0 | 2618 30865 91710 | 10288 0 nan | 0.000 % | 3.47/3.59 c =============================================================================== 3.47/3.59 c core #120 3.47/3.59 c Core size: 34 Core Weight: 1 Total Weight: -172 3.47/3.59 c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s 3.57/3.62 c Learning 2 hard constraints 3.57/3.62 c ============================[ Search Statistics ]============================== 3.57/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.62 c =============================================================================== 3.57/3.62 c | 0 | 2628 30871 91744 | 10290 0 nan | 0.000 % | 3.57/3.63 c =============================================================================== 3.57/3.63 c core #121 3.57/3.63 c Core size: 18 Core Weight: 1 Total Weight: -171 3.57/3.63 c Elapsed CPU time: 3.59645 s Remaining CPU time: 1796.4 s 3.57/3.66 c Learning 1 hard constraints 3.57/3.66 c ============================[ Search Statistics ]============================== 3.57/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.66 c =============================================================================== 3.57/3.66 c | 0 | 2633 30876 91762 | 10292 0 nan | 0.000 % | 3.57/3.67 c =============================================================================== 3.57/3.67 c core #122 3.57/3.67 c Core size: 20 Core Weight: 1 Total Weight: -170 3.57/3.67 c Elapsed CPU time: 3.63345 s Remaining CPU time: 1796.37 s 3.67/3.70 c ============================[ Search Statistics ]============================== 3.67/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.70 c =============================================================================== 3.67/3.70 c | 0 | 2639 30880 91780 | 10293 0 nan | 0.000 % | 3.67/3.70 c =============================================================================== 3.67/3.70 c core #123 3.67/3.70 c Core size: 52 Core Weight: 1 Total Weight: -169 3.67/3.70 c Elapsed CPU time: 3.67044 s Remaining CPU time: 1796.33 s 3.67/3.74 c Learning 3 hard constraints 3.67/3.74 c ============================[ Search Statistics ]============================== 3.67/3.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.74 c =============================================================================== 3.67/3.74 c | 0 | 2654 30887 91828 | 10295 0 nan | 0.000 % | 3.67/3.74 c =============================================================================== 3.67/3.74 c core #124 3.67/3.74 c Core size: 58 Core Weight: 1 Total Weight: -168 3.67/3.74 c Elapsed CPU time: 3.70944 s Remaining CPU time: 1796.29 s 3.67/3.78 c Learning 5 hard constraints 3.67/3.78 c ============================[ Search Statistics ]============================== 3.67/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.78 c =============================================================================== 3.67/3.78 c | 0 | 2671 30893 91874 | 10297 0 nan | 0.000 % | 3.67/3.78 c =============================================================================== 3.67/3.78 c core #125 3.67/3.78 c Core size: 56 Core Weight: 1 Total Weight: -167 3.67/3.78 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.77/3.82 c Learning 5 hard constraints 3.77/3.82 c ============================[ Search Statistics ]============================== 3.77/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.77/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.77/3.82 c =============================================================================== 3.77/3.82 c | 0 | 2688 30899 91923 | 10299 0 nan | 0.000 % | 3.77/3.82 c =============================================================================== 3.77/3.82 c core #126 3.77/3.82 c Core size: 83 Core Weight: 1 Total Weight: -166 3.77/3.82 c Elapsed CPU time: 3.78842 s Remaining CPU time: 1796.21 s 3.77/3.86 c Learning 7 hard constraints 3.77/3.86 c ============================[ Search Statistics ]============================== 3.77/3.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.77/3.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.77/3.86 c =============================================================================== 3.77/3.86 c | 0 | 2708 30908 91987 | 10302 0 nan | 0.000 % | 3.77/3.87 c =============================================================================== 3.77/3.87 c core #127 3.77/3.87 c Core size: 200 Core Weight: 1 Total Weight: -165 3.77/3.87 c Elapsed CPU time: 3.83242 s Remaining CPU time: 1796.17 s 3.87/3.90 c Learning 9 hard constraints 3.87/3.90 c ============================[ Search Statistics ]============================== 3.87/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.90 c =============================================================================== 3.87/3.90 c | 0 | 2759 30919 92120 | 10306 0 nan | 0.000 % | 3.87/3.91 c =============================================================================== 3.87/3.91 c core #128 3.87/3.91 c Core size: 95 Core Weight: 1 Total Weight: -164 3.87/3.91 c Elapsed CPU time: 3.87341 s Remaining CPU time: 1796.13 s 3.87/3.94 c Learning 5 hard constraints 3.87/3.94 c ============================[ Search Statistics ]============================== 3.87/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.95 c =============================================================================== 3.87/3.95 c | 0 | 2783 30926 92185 | 10308 0 nan | 0.000 % | 3.87/3.95 c =============================================================================== 3.87/3.95 c core #129 3.87/3.95 c Core size: 173 Core Weight: 1 Total Weight: -163 3.87/3.95 c Elapsed CPU time: 3.9174 s Remaining CPU time: 1796.08 s 3.87/3.99 c Learning 9 hard constraints 3.87/3.99 c ============================[ Search Statistics ]============================== 3.87/3.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.99 c =============================================================================== 3.87/3.99 c | 0 | 2837 30936 92318 | 10312 0 nan | 0.000 % | 3.96/4.00 c | 100 | 2836 30936 92318 | 11343 100 18 | 0.421 % | 3.96/4.00 c =============================================================================== 3.96/4.00 c core #130 3.96/4.00 c Core size: 178 Core Weight: 1 Total Weight: -162 3.96/4.00 c Elapsed CPU time: 3.9644 s Remaining CPU time: 1796.04 s 3.96/4.04 c Learning 6 hard constraints 3.96/4.04 c ============================[ Search Statistics ]============================== 3.96/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.96/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.96/4.04 c =============================================================================== 3.96/4.04 c | 0 | 2895 30943 92452 | 10314 0 nan | 0.000 % | 3.96/4.05 c | 102 | 2895 30943 92452 | 11345 102 13 | 0.413 % | 3.96/4.06 c | 252 | 2895 30943 92452 | 12480 252 16 | 0.413 % | 3.96/4.07 c | 477 | 2895 30943 92452 | 13728 477 17 | 0.413 % | 3.96/4.09 c =============================================================================== 3.96/4.09 c core #131 3.96/4.09 c Core size: 312 Core Weight: 1 Total Weight: -161 3.96/4.09 c Elapsed CPU time: 4.05138 s Remaining CPU time: 1795.95 s 4.06/4.13 c Learning 41 hard constraints 4.06/4.13 c ============================[ Search Statistics ]============================== 4.06/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.13 c =============================================================================== 4.06/4.13 c | 0 | 2957 30985 92706 | 10328 0 nan | 0.000 % | 4.06/4.14 c | 100 | 2955 30985 92706 | 11361 100 11 | 0.505 % | 4.06/4.15 c | 251 | 2952 30985 92706 | 12497 251 11 | 0.842 % | 4.06/4.15 c =============================================================================== 4.06/4.15 c core #132 4.06/4.15 c Core size: 175 Core Weight: 1 Total Weight: -160 4.06/4.15 c Elapsed CPU time: 4.11137 s Remaining CPU time: 1795.89 s 4.06/4.19 c Learning 17 hard constraints 4.06/4.19 c ============================[ Search Statistics ]============================== 4.06/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.06/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.06/4.19 c =============================================================================== 4.06/4.19 c | 0 | 2992 31006 92841 | 10335 0 nan | 0.000 % | 4.16/4.20 c | 101 | 2992 31006 92841 | 11368 101 18 | 0.499 % | 4.16/4.21 c | 251 | 2991 31006 92841 | 12505 251 16 | 0.499 % | 4.16/4.22 c | 478 | 2990 31006 92841 | 13756 478 16 | 0.533 % | 4.16/4.22 c =============================================================================== 4.16/4.23 c core #133 4.16/4.23 c Core size: 207 Core Weight: 1 Total Weight: -159 4.16/4.23 c Elapsed CPU time: 4.18036 s Remaining CPU time: 1795.82 s 4.16/4.26 c Learning 14 hard constraints 4.16/4.26 c ============================[ Search Statistics ]============================== 4.16/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.16/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.16/4.26 c =============================================================================== 4.16/4.26 c | 0 | 3039 31024 92983 | 10341 0 nan | 0.000 % | 4.16/4.27 c | 100 | 3039 31024 92983 | 11375 100 32 | 0.426 % | 4.16/4.28 c | 252 | 3039 31024 92983 | 12513 252 32 | 0.426 % | 4.16/4.30 c | 477 | 3039 31024 92983 | 13764 477 34 | 0.426 % | 4.27/4.32 c | 815 | 3039 31024 92983 | 15140 815 35 | 0.426 % | 4.27/4.37 c | 1326 | 3038 31024 92983 | 16654 1326 35 | 0.459 % | 4.37/4.45 c | 2086 | 3037 31024 92983 | 18320 2085 36 | 0.492 % | 4.56/4.60 c | 3225 | 3037 31024 92983 | 20152 3224 35 | 0.492 % | 4.76/4.87 c | 4935 | 3037 31024 92983 | 22167 4934 35 | 0.491 % | 4.87/4.99 c =============================================================================== 4.96/5.04 c core #134 4.96/5.04 c Core size: 421 Core Weight: 1 Total Weight: -158 4.96/5.04 c Elapsed CPU time: 4.98324 s Remaining CPU time: 1795.02 s 4.96/5.09 c Learning 43 hard constraints 4.96/5.09 c ============================[ Search Statistics ]============================== 4.96/5.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.96/5.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.96/5.09 c =============================================================================== 4.96/5.09 c | 0 | 3102 31068 93261 | 10356 0 nan | 0.000 % | 4.96/5.10 c | 101 | 3102 31068 93261 | 11391 101 46 | 0.417 % | 5.06/5.11 c | 251 | 3102 31068 93261 | 12530 251 39 | 0.417 % | 5.06/5.12 c | 478 | 3102 31068 93261 | 13783 478 47 | 0.417 % | 5.06/5.15 c | 816 | 3102 31068 93261 | 15162 816 49 | 0.417 % | 5.16/5.21 c | 1325 | 3102 31068 93261 | 16678 1325 52 | 0.417 % | 5.26/5.32 c | 2089 | 3102 31068 93261 | 18346 2089 52 | 0.417 % | 5.46/5.51 c | 3229 | 3102 31068 93261 | 20180 3229 51 | 0.417 % | 5.76/5.84 c | 4937 | 3102 31068 93261 | 22199 4937 50 | 0.417 % | 6.26/6.32 c | 7500 | 3097 31068 93261 | 24418 7499 47 | 0.578 % | 6.36/6.43 c =============================================================================== 6.36/6.49 c core #135 6.36/6.49 c Core size: 473 Core Weight: 1 Total Weight: -157 6.36/6.49 c Elapsed CPU time: 6.40303 s Remaining CPU time: 1793.6 s 6.46/6.53 c Learning 65 hard constraints 6.46/6.53 c ============================[ Search Statistics ]============================== 6.46/6.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.46/6.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.46/6.53 c =============================================================================== 6.46/6.53 c | 0 | 3175 31134 93630 | 10378 0 nan | 0.000 % | 6.46/6.54 c | 100 | 3175 31134 93630 | 11415 100 61 | 0.408 % | 6.46/6.55 c | 250 | 3175 31134 93630 | 12557 250 64 | 0.408 % | 6.46/6.57 c | 475 | 3175 31134 93630 | 13813 475 68 | 0.408 % | 6.56/6.61 c | 816 | 3175 31134 93630 | 15194 816 67 | 0.408 % | 6.56/6.69 c | 1323 | 3175 31134 93630 | 16713 1323 71 | 0.408 % | 6.76/6.83 c | 2084 | 3175 31134 93630 | 18385 2084 74 | 0.408 % | 7.06/7.11 c | 3224 | 3175 31134 93630 | 20223 3224 75 | 0.408 % | 7.56/7.67 c | 4935 | 3175 31134 93630 | 22246 4935 76 | 0.408 % | 8.45/8.51 c | 7497 | 3174 31134 93630 | 24470 7496 74 | 0.439 % | 9.96/10.04 c | 11343 | 3174 31134 93630 | 26917 11342 74 | 0.439 % | 12.75/12.86 c | 17109 | 3173 31134 93630 | 29609 17107 74 | 0.471 % | 18.26/18.31 c | 25759 | 3173 31134 93630 | 32570 25757 73 | 0.471 % | 21.35/21.40 c =============================================================================== 21.35/21.42 c core #136 21.35/21.42 c Core size: 457 Core Weight: 1 Total Weight: -156 21.35/21.42 c Elapsed CPU time: 21.2518 s Remaining CPU time: 1778.75 s 21.35/21.49 c Learning 112 hard constraints 21.35/21.49 c ============================[ Search Statistics ]============================== 21.35/21.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.35/21.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.35/21.49 c =============================================================================== 21.35/21.49 c | 0 | 3229 31247 94132 | 10415 0 nan | 0.000 % | 21.46/21.50 c | 102 | 3229 31247 94132 | 11457 102 41 | 0.432 % | 21.46/21.51 c | 252 | 3229 31247 94132 | 12602 252 30 | 0.432 % | 21.46/21.52 c | 477 | 3229 31247 94132 | 13863 477 25 | 0.432 % | 21.46/21.54 c | 814 | 3229 31247 94132 | 15249 814 23 | 0.432 % | 21.46/21.57 c | 1322 | 3229 31247 94132 | 16774 1322 20 | 0.432 % | 21.46/21.60 c =============================================================================== 21.55/21.60 c core #137 21.55/21.60 c Core size: 428 Core Weight: 1 Total Weight: -155 21.55/21.60 c Elapsed CPU time: 21.4337 s Remaining CPU time: 1778.57 s 21.55/21.64 c Learning 74 hard constraints 21.55/21.64 c ============================[ Search Statistics ]============================== 21.55/21.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.55/21.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.55/21.64 c =============================================================================== 21.55/21.64 c | 0 | 3285 31322 94488 | 10440 0 nan | 0.000 % | 21.55/21.65 c | 100 | 3285 31322 94488 | 11484 100 70 | 0.424 % | 21.55/21.66 c | 250 | 3285 31322 94488 | 12633 250 45 | 0.424 % | 21.55/21.67 c | 477 | 3285 31322 94488 | 13896 477 38 | 0.424 % | 21.55/21.69 c | 814 | 3285 31322 94488 | 15286 814 35 | 0.424 % | 21.65/21.73 c | 1322 | 3285 31322 94488 | 16814 1322 35 | 0.424 % | 21.65/21.80 c | 2083 | 3285 31322 94488 | 18496 2083 34 | 0.424 % | 21.85/21.92 c | 3222 | 3285 31322 94488 | 20345 3222 35 | 0.424 % | 22.05/22.14 c | 4930 | 3285 31322 94488 | 22380 4930 33 | 0.424 % | 22.05/22.16 c =============================================================================== 22.05/22.16 c core #138 22.05/22.16 c Core size: 322 Core Weight: 1 Total Weight: -154 22.05/22.16 c Elapsed CPU time: 21.9837 s Remaining CPU time: 1778.02 s 22.15/22.20 c Learning 76 hard constraints 22.15/22.20 c ============================[ Search Statistics ]============================== 22.15/22.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.15/22.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.15/22.20 c =============================================================================== 22.15/22.20 c | 0 | 3328 31399 94845 | 10466 0 nan | 0.000 % | 22.15/22.21 c | 100 | 3328 31399 94845 | 11512 100 70 | 0.419 % | 22.15/22.22 c | 251 | 3328 31399 94845 | 12664 251 47 | 0.419 % | 22.15/22.24 c | 477 | 3327 31399 94845 | 13930 477 43 | 0.449 % | 22.15/22.27 c | 814 | 3327 31399 94845 | 15323 814 46 | 0.449 % | 22.25/22.31 c | 1320 | 3327 31399 94845 | 16856 1320 58 | 0.449 % | 22.35/22.41 c | 2081 | 3327 31399 94845 | 18541 2080 68 | 0.449 % | 22.55/22.60 c | 3220 | 3327 31399 94845 | 20395 3219 74 | 0.449 % | 22.75/22.84 c | 4929 | 3327 31399 94845 | 22435 4928 73 | 0.449 % | 23.14/23.25 c | 7495 | 3325 31399 94845 | 24679 7407 65 | 0.509 % | 24.05/24.12 c | 11341 | 3325 31399 94845 | 27146 11253 66 | 0.509 % | 26.05/26.11 c | 17107 | 3325 31399 94845 | 29861 17019 64 | 0.509 % | 30.25/30.36 c | 25756 | 3325 31399 94845 | 32847 25668 60 | 0.509 % | 36.04/36.10 c | 38734 | 3300 31399 94845 | 36132 4031 22 | 1.376 % | 36.25/36.32 c =============================================================================== 36.74/36.84 c core #139 36.74/36.84 c Core size: 709 Core Weight: 1 Total Weight: -153 36.74/36.84 c Elapsed CPU time: 36.5654 s Remaining CPU time: 1763.43 s 36.84/36.92 c Learning 62 hard constraints 36.84/36.92 c ============================[ Search Statistics ]============================== 36.84/36.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.84/36.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.84/36.92 c =============================================================================== 36.84/36.92 c | 0 | 3406 31462 95220 | 10487 0 nan | 0.000 % | 36.84/36.93 c | 103 | 3406 31462 95220 | 11536 103 71 | 0.409 % | 36.84/36.94 c | 254 | 3406 31462 95220 | 12689 254 53 | 0.409 % | 36.84/36.96 c | 482 | 3406 31462 95220 | 13958 482 49 | 0.409 % | 36.84/36.98 c | 825 | 3406 31462 95220 | 15354 825 49 | 0.409 % | 36.94/37.03 c | 1333 | 3406 31462 95220 | 16889 1333 50 | 0.409 % | 37.04/37.10 c | 2095 | 3406 31462 95220 | 18578 2095 49 | 0.409 % | 37.15/37.22 c | 3234 | 3406 31462 95220 | 20436 3234 47 | 0.409 % | 37.35/37.48 c | 4943 | 3406 31462 95220 | 22480 4943 48 | 0.409 % | 37.94/38.03 c | 7508 | 3406 31462 95220 | 24728 7508 46 | 0.409 % | 38.95/39.05 c | 11352 | 3401 31462 95220 | 27201 3044 40 | 0.556 % | 39.14/39.29 c =============================================================================== 39.34/39.43 c core #140 39.34/39.43 c Core size: 593 Core Weight: 1 Total Weight: -152 39.34/39.43 c Elapsed CPU time: 39.1121 s Remaining CPU time: 1760.89 s 39.34/39.47 c Learning 82 hard constraints 39.34/39.48 c ============================[ Search Statistics ]============================== 39.34/39.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.34/39.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.34/39.48 c =============================================================================== 39.34/39.48 c | 0 | 3487 31545 95672 | 10515 0 nan | 0.000 % | 39.34/39.49 c | 104 | 3487 31545 95672 | 11566 104 59 | 0.400 % | 39.34/39.50 c | 254 | 3487 31545 95672 | 12723 254 52 | 0.400 % | 39.44/39.51 c | 479 | 3487 31545 95672 | 13995 479 39 | 0.400 % | 39.44/39.53 c | 817 | 3487 31545 95672 | 15395 817 39 | 0.400 % | 39.44/39.57 c | 1325 | 3487 31545 95672 | 16934 1325 41 | 0.400 % | 39.55/39.65 c | 2088 | 3487 31545 95672 | 18627 2088 47 | 0.400 % | 39.64/39.78 c | 3227 | 3487 31545 95672 | 20490 3227 52 | 0.400 % | 40.04/40.10 c | 4935 | 3487 31545 95672 | 22539 4935 56 | 0.400 % | 40.34/40.48 c | 7499 | 3487 31545 95672 | 24793 7499 54 | 0.400 % | 41.14/41.23 c | 11347 | 3487 31545 95672 | 27273 11347 57 | 0.400 % | 43.14/43.26 c | 17115 | 3487 31545 95672 | 30000 17115 62 | 0.400 % | 47.74/47.81 c | 25765 | 3487 31545 95672 | 33000 25765 62 | 0.400 % | 56.64/56.78 c | 38739 | 3487 31545 95672 | 36300 19162 59 | 0.400 % | 75.73/75.85 c | 58202 | 3487 31545 95672 | 39930 15545 60 | 0.400 % | 92.32/92.40 c =============================================================================== 93.82/93.96 c core #141 93.82/93.96 c Core size: 1451 Core Weight: 1 Total Weight: -151 93.82/93.96 c Elapsed CPU time: 93.3468 s Remaining CPU time: 1706.65 s 94.02/94.10 c Learning 161 hard constraints 94.02/94.10 c ============================[ Search Statistics ]============================== 94.02/94.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.02/94.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.02/94.10 c =============================================================================== 94.02/94.10 c | 0 | 3562 31707 96388 | 10569 0 nan | 0.000 % | 94.02/94.12 c | 100 | 3562 31707 96388 | 11625 100 76 | 0.392 % | 94.02/94.13 c | 250 | 3562 31707 96388 | 12788 250 48 | 0.392 % | 94.02/94.15 c | 475 | 3562 31707 96388 | 14067 475 51 | 0.392 % | 94.02/94.18 c | 812 | 3562 31707 96388 | 15474 812 56 | 0.392 % | 94.12/94.23 c | 1318 | 3562 31707 96388 | 17021 1318 75 | 0.392 % | 94.22/94.34 c | 2078 | 3562 31707 96388 | 18723 2078 86 | 0.392 % | 94.43/94.60 c | 3219 | 3562 31707 96388 | 20595 3219 99 | 0.392 % | 94.82/94.96 c | 4927 | 3562 31707 96388 | 22655 4927 107 | 0.392 % | 95.42/95.57 c | 7489 | 3562 31707 96388 | 24921 7489 109 | 0.392 % | 96.52/96.61 c | 11334 | 3562 31707 96388 | 27413 11334 109 | 0.392 % | 99.92/100.01 c | 17100 | 3562 31707 96388 | 30154 17100 111 | 0.392 % | 108.12/108.23 c | 25749 | 3562 31707 96388 | 33170 25749 115 | 0.392 % | 124.41/124.54 c | 38724 | 3562 31707 96388 | 36487 17874 111 | 0.392 % | 166.50/166.62 c | 58187 | 3562 31707 96388 | 40135 13826 113 | 0.392 % | 207.08/207.24 c | 87381 | 3562 31707 96388 | 44149 16734 111 | 0.392 % | 272.35/272.60 c | 131171 | 3562 31707 96388 | 48564 30472 116 | 0.392 % | 324.24/324.49 c | 196855 | 3561 31707 96388 | 53420 24549 124 | 0.419 % | 411.60/411.85 c | 295381 | 3561 31707 96388 | 58762 44111 91 | 0.419 % | 564.44/564.70 c | 443171 | 3561 31707 96388 | 64639 19189 91 | 0.419 % | 816.35/816.72 c | 664854 | 3560 31707 96388 | 71102 46058 94 | 0.447 % | 1229.49/1230.10 c | 997384 | 3560 31707 96388 | 78213 43493 88 | 0.447 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1874910-1245218762/watcher-1874910-1245218762 -o /tmp/evaluation-result-1874910-1245218762/solver-1874910-1245218762 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874910-1245218762.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11618 /proc/meminfo: memFree=1763424/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=3512 CPUtime=0 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 74609204 3596288 197 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 878 198 128 292 0 337 0 [startup+0.05373 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11618 /proc/meminfo: memFree=1763424/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=4144 CPUtime=0.05 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 462 0 0 0 5 0 0 0 18 0 1 0 74609204 4243456 446 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1036 446 217 292 0 495 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4144 [startup+0.101738 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11618 /proc/meminfo: memFree=1763424/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=4636 CPUtime=0.09 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 74609204 4747264 654 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1159 654 306 292 0 618 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4636 [startup+0.301778 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11618 /proc/meminfo: memFree=1763424/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=5852 CPUtime=0.29 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 1333 0 0 0 29 0 0 0 19 0 1 0 74609204 5992448 1011 1992294400 134512640 135709839 4294956240 18446744073709551615 135183515 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1463 1011 133 292 0 1168 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5852 [startup+0.701858 s] /proc/loadavg: 0.99 0.98 0.99 3/64 11618 /proc/meminfo: memFree=1763424/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=6052 CPUtime=0.69 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 1373 0 0 0 69 0 0 0 22 0 1 0 74609204 6197248 1051 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1513 1051 133 292 0 1218 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6052 [startup+1.50202 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1759640/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=6544 CPUtime=1.49 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 1489 0 0 0 149 0 0 0 25 0 1 0 74609204 6701056 1167 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1636 1167 133 292 0 1341 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6544 [startup+3.10134 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1758872/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=7012 CPUtime=3.07 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 1898 0 0 0 307 0 0 0 25 0 1 0 74609204 7180288 1316 1992294400 134512640 135709839 4294956240 18446744073709551615 135183305 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 1753 1316 135 292 0 1458 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 7012 [startup+6.30197 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1755800/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=9632 CPUtime=6.26 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 2628 0 0 0 621 5 0 0 25 0 1 0 74609204 9863168 1954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 2408 1954 136 292 0 2113 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 9632 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1751576/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=14612 CPUtime=12.65 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 3877 0 0 0 1257 8 0 0 25 0 1 0 74609204 14962688 3203 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 3653 3203 136 292 0 3358 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 14612 [startup+25.5018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1741592/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=23792 CPUtime=25.45 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 6158 0 0 0 2528 17 0 0 25 0 1 0 74609204 24363008 5484 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 5948 5484 136 292 0 5653 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 23792 [startup+51.1019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1733976/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=31816 CPUtime=51.04 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 8180 0 0 0 5070 34 0 0 25 0 1 0 74609204 32579584 7506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 7954 7506 136 292 0 7659 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 31816 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1702104/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=63236 CPUtime=102.22 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 16030 0 0 0 10162 60 0 0 25 0 1 0 74609204 64753664 15356 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 15809 15356 136 292 0 15514 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 63236 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1690904/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=74668 CPUtime=162.2 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 18865 0 0 0 16147 73 0 0 25 0 1 0 74609204 76460032 18191 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 18667 18191 136 292 0 18372 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 74668 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1660632/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=104792 CPUtime=222.17 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 26367 0 0 0 22127 90 0 0 25 0 1 0 74609204 107307008 25693 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 26198 25693 136 292 0 25903 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 104792 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1631384/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=135404 CPUtime=282.15 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 33975 0 0 0 28110 105 0 0 25 0 1 0 74609204 138653696 33301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 33851 33301 136 292 0 33556 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 135404 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1580704/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=185148 CPUtime=342.12 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 46355 0 0 0 34080 132 0 0 25 0 1 0 74609204 189591552 45681 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 46287 45681 136 292 0 45992 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 185148 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1542240/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=223940 CPUtime=402.11 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 56038 0 0 0 40054 157 0 0 25 0 1 0 74609204 229314560 55364 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 55985 55364 136 292 0 55690 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 223940 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1503008/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=262880 CPUtime=462.08 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 65743 0 0 0 46027 181 0 0 25 0 1 0 74609204 269189120 65069 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 65720 65069 136 292 0 65425 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 262880 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1462240/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=304452 CPUtime=522.06 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 76137 0 0 0 51997 209 0 0 25 0 1 0 74609204 311758848 75463 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 76113 75463 136 292 0 75818 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 304452 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1428256/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=337748 CPUtime=582.04 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 84429 0 0 0 57972 232 0 0 25 0 1 0 74609204 345853952 83755 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 84437 83755 136 292 0 84142 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 337748 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1393888/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=371772 CPUtime=642.02 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 92889 0 0 0 63947 255 0 0 25 0 1 0 74609204 380694528 92215 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 92943 92215 136 292 0 92648 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 371772 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1283744/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=481988 CPUtime=881.92 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 120358 0 0 0 87864 328 0 0 25 0 1 0 74609204 493555712 119684 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 120497 119684 136 292 0 120202 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 481988 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1247840/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=518492 CPUtime=941.89 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 129478 0 0 0 93838 351 0 0 25 0 1 0 74609204 530935808 128804 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 129623 128804 136 292 0 129328 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 518492 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1217888/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=547744 CPUtime=1001.87 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 136755 0 0 0 99817 370 0 0 25 0 1 0 74609204 560889856 136081 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 136936 136081 136 292 0 136641 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 547744 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1189600/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=576436 CPUtime=1061.86 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 143900 0 0 0 105797 389 0 0 25 0 1 0 74609204 590270464 143226 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 144109 143226 136 292 0 143814 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 576436 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1159904/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=605740 CPUtime=1121.83 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 151239 0 0 0 111773 410 0 0 25 0 1 0 74609204 620277760 150565 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 151435 150565 136 292 0 151140 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 605740 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1127264/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=638676 CPUtime=1181.8 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 159437 0 0 0 117749 431 0 0 25 0 1 0 74609204 654004224 158763 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 159669 158763 136 292 0 159374 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 638676 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1097888/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=667736 CPUtime=1241.79 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 166706 0 0 0 123729 450 0 0 25 0 1 0 74609204 683761664 166032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 166934 166032 136 292 0 166639 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 667736 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1070880/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=694620 CPUtime=1301.76 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 173408 0 0 0 129707 469 0 0 25 0 1 0 74609204 711290880 172734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 173655 172734 136 292 0 173360 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 694620 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1043552/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=722016 CPUtime=1361.74 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 180265 0 0 0 135684 490 0 0 25 0 1 0 74609204 739344384 179591 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 180504 179591 136 292 0 180209 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 722016 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=1013856/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=751536 CPUtime=1421.73 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 187628 0 0 0 141663 510 0 0 25 0 1 0 74609204 769572864 186954 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 187884 186954 136 292 0 187589 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 751536 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=985248/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=780732 CPUtime=1481.7 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 194903 0 0 0 147642 528 0 0 25 0 1 0 74609204 799469568 194229 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 195183 194229 136 292 0 194888 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 780732 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=967520/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=797876 CPUtime=1541.68 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 199192 0 0 0 153628 540 0 0 25 0 1 0 74609204 817025024 198518 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 199469 198518 136 292 0 199174 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 797876 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=938528/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=827332 CPUtime=1601.65 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 206542 0 0 0 159606 559 0 0 25 0 1 0 74609204 847187968 205868 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 206833 205868 136 292 0 206538 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 827332 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=896032/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=869460 CPUtime=1661.63 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 217060 0 0 0 165580 583 0 0 25 0 1 0 74609204 890327040 216386 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 217365 216386 136 292 0 217070 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 869460 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=865056/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=900364 CPUtime=1721.6 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 224781 0 0 0 171559 601 0 0 25 0 1 0 74609204 921972736 224107 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 225091 224107 136 292 0 224796 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 900364 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=846560/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=918840 CPUtime=1781.58 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 229391 0 0 0 177544 614 0 0 25 0 1 0 74609204 940892160 228717 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 229710 228717 136 292 0 229415 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 918840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=837408/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=927752 CPUtime=1800.08 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4194304 231627 0 0 0 179387 621 0 0 25 0 1 0 74609204 950018048 230953 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 231938 230953 136 292 0 231643 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 927752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11619 /proc/meminfo: memFree=837408/2055920 swapFree=4191900/4192956 [pid=11618] ppid=11616 vsize=0 CPUtime=1800.18 /proc/11618/stat : 11618 (wbo) R 11616 11618 11529 0 -1 4195332 231627 0 0 0 179387 631 0 0 25 0 1 0 74609204 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/11618/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.95 CPU time (s): 1800.23 CPU user time (s): 1793.88 CPU system time (s): 6.35703 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 927752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.88 system time used= 6.35703 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231627 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= 2 involuntary context switches= 3643 runsolver used 1.41378 second user time and 4.02339 second system time The end
Begin job on node33 at 2009-06-17 08:06:02 IDJOB=1874910 IDBENCH=71821 IDSOLVER=698 FILE ID=node33/1874910-1245218762 PBS_JOBID= 9368432 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-4000opt.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1874910-1245218762/watcher-1874910-1245218762 -o /tmp/evaluation-result-1874910-1245218762/solver-1874910-1245218762 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874910-1245218762.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 78d7b4bc270e158c16f301038a8fbfa0 RANDOM SEED=1645915502 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1763904 kB Buffers: 61556 kB Cached: 146548 kB SwapCached: 384 kB Active: 101416 kB Inactive: 120124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763904 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3352 kB Writeback: 0 kB Mapped: 21808 kB Slab: 56532 kB Committed_AS: 151568 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874910-1245218762.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-17 08:36:05