Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.13 | 1800.59 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb |
MD5SUM | 6c6e5d09e1e6b4cdc1d36588d438ba6a |
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 | -164 |
Best CPU time to get the best result obtained on this benchmark | 34.7587 |
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 | 63250 |
Number of constraints which are clauses | 63250 |
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-1874912-1245218938.opb. 0.00/0.00 c Instance file HOME/instance-1874912-1245218938.opb 0.00/0.00 c File size is 2109722 bytes. 0.19/0.26 c Highest Coefficient sum: 4 0.19/0.26 c ============================[ Problem Statistics ]============================= 0.19/0.26 c | | 0.19/0.26 c | Parsing time: 0.25 s | 0.19/0.26 c | Number Variables: 2025 | 0.19/0.26 c | Number Clauses: 63385 | 0.19/0.26 c | Number Cardinality: 0 | 0.19/0.26 c | Number PB Constraints: 0 | 0.19/0.26 c core #1 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: -315 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.29 c core #2 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: -314 0.19/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.29/0.33 c core #3 0.29/0.33 c Core size: 6 Core Weight: 2 Total Weight: -312 0.29/0.33 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.36 c core #4 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: -311 0.29/0.36 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.39/0.40 c core #5 0.39/0.40 c Core size: 6 Core Weight: 1 Total Weight: -310 0.39/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.39/0.44 c core #6 0.39/0.44 c Core size: 5 Core Weight: 1 Total Weight: -309 0.39/0.44 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.47 c core #7 0.39/0.47 c Core size: 5 Core Weight: 2 Total Weight: -307 0.39/0.47 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.49/0.51 c core #8 0.49/0.51 c Core size: 6 Core Weight: 3 Total Weight: -304 0.49/0.51 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.55 c core #9 0.49/0.55 c Core size: 6 Core Weight: 3 Total Weight: -301 0.49/0.55 c Elapsed CPU time: 0.532918 s Remaining CPU time: 1799.47 s 0.49/0.58 c core #10 0.49/0.58 c Core size: 7 Core Weight: 2 Total Weight: -299 0.49/0.58 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.59/0.62 c core #11 0.59/0.62 c Core size: 9 Core Weight: 1 Total Weight: -298 0.59/0.62 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.66 c core #12 0.59/0.66 c Core size: 12 Core Weight: 1 Total Weight: -297 0.59/0.66 c Elapsed CPU time: 0.643902 s Remaining CPU time: 1799.36 s 0.59/0.69 c core #13 0.59/0.69 c Core size: 13 Core Weight: 1 Total Weight: -296 0.59/0.69 c Elapsed CPU time: 0.679896 s Remaining CPU time: 1799.32 s 0.69/0.73 c core #14 0.69/0.73 c Core size: 12 Core Weight: 1 Total Weight: -295 0.69/0.73 c Elapsed CPU time: 0.716891 s Remaining CPU time: 1799.28 s 0.69/0.77 c core #15 0.69/0.77 c Core size: 8 Core Weight: 1 Total Weight: -294 0.69/0.77 c Elapsed CPU time: 0.753885 s Remaining CPU time: 1799.25 s 0.79/0.80 c core #16 0.79/0.80 c Core size: 8 Core Weight: 3 Total Weight: -291 0.79/0.80 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.79/0.84 c core #17 0.79/0.84 c Core size: 9 Core Weight: 1 Total Weight: -290 0.79/0.84 c Elapsed CPU time: 0.824874 s Remaining CPU time: 1799.18 s 0.79/0.88 c core #18 0.79/0.88 c Core size: 8 Core Weight: 1 Total Weight: -289 0.79/0.88 c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s 0.89/0.91 c core #19 0.89/0.91 c Core size: 9 Core Weight: 3 Total Weight: -286 0.89/0.91 c Elapsed CPU time: 0.898863 s Remaining CPU time: 1799.1 s 0.89/0.95 c core #20 0.89/0.95 c Core size: 11 Core Weight: 1 Total Weight: -285 0.89/0.95 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.99 c core #21 0.89/0.99 c Core size: 11 Core Weight: 1 Total Weight: -284 0.89/0.99 c Elapsed CPU time: 0.976851 s Remaining CPU time: 1799.02 s 0.99/1.03 c core #22 0.99/1.03 c Core size: 11 Core Weight: 1 Total Weight: -283 0.99/1.03 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.07 c core #23 0.99/1.07 c Core size: 11 Core Weight: 1 Total Weight: -282 0.99/1.07 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 1.09/1.11 c core #24 1.09/1.11 c Core size: 11 Core Weight: 1 Total Weight: -281 1.09/1.11 c Elapsed CPU time: 1.09483 s Remaining CPU time: 1798.91 s 1.09/1.15 c core #25 1.09/1.15 c Core size: 11 Core Weight: 2 Total Weight: -279 1.09/1.15 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.09/1.19 c core #26 1.09/1.19 c Core size: 11 Core Weight: 1 Total Weight: -278 1.09/1.19 c Elapsed CPU time: 1.17182 s Remaining CPU time: 1798.83 s 1.19/1.23 c core #27 1.19/1.23 c Core size: 9 Core Weight: 1 Total Weight: -277 1.19/1.23 c Elapsed CPU time: 1.21182 s Remaining CPU time: 1798.79 s 1.19/1.26 c core #28 1.19/1.26 c Core size: 11 Core Weight: 1 Total Weight: -276 1.19/1.26 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.29/1.31 c core #29 1.29/1.31 c Core size: 22 Core Weight: 1 Total Weight: -275 1.29/1.31 c Elapsed CPU time: 1.2918 s Remaining CPU time: 1798.71 s 1.29/1.35 c core #30 1.29/1.35 c Core size: 14 Core Weight: 1 Total Weight: -274 1.29/1.35 c Elapsed CPU time: 1.3328 s Remaining CPU time: 1798.67 s 1.29/1.39 c core #31 1.29/1.39 c Core size: 15 Core Weight: 1 Total Weight: -273 1.29/1.39 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.39/1.44 c core #32 1.39/1.44 c Core size: 14 Core Weight: 1 Total Weight: -272 1.39/1.44 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.39/1.48 c core #33 1.39/1.48 c Core size: 27 Core Weight: 1 Total Weight: -271 1.39/1.48 c Elapsed CPU time: 1.46378 s Remaining CPU time: 1798.54 s 1.49/1.52 c core #34 1.49/1.52 c Core size: 35 Core Weight: 1 Total Weight: -270 1.49/1.52 c Elapsed CPU time: 1.50677 s Remaining CPU time: 1798.49 s 1.49/1.56 c core #35 1.49/1.56 c Core size: 37 Core Weight: 1 Total Weight: -269 1.49/1.56 c Elapsed CPU time: 1.54876 s Remaining CPU time: 1798.45 s 1.59/1.61 c core #36 1.59/1.61 c Core size: 24 Core Weight: 1 Total Weight: -268 1.59/1.61 c Elapsed CPU time: 1.59276 s Remaining CPU time: 1798.41 s 1.59/1.65 c core #37 1.59/1.65 c Core size: 17 Core Weight: 1 Total Weight: -267 1.59/1.65 c Elapsed CPU time: 1.63675 s Remaining CPU time: 1798.36 s 1.69/1.70 c core #38 1.69/1.70 c Core size: 12 Core Weight: 1 Total Weight: -266 1.69/1.70 c Elapsed CPU time: 1.68274 s Remaining CPU time: 1798.32 s 1.69/1.74 c core #39 1.69/1.74 c Core size: 9 Core Weight: 1 Total Weight: -265 1.69/1.74 c Elapsed CPU time: 1.72674 s Remaining CPU time: 1798.27 s 1.69/1.79 c core #40 1.69/1.79 c Core size: 9 Core Weight: 2 Total Weight: -263 1.69/1.79 c Elapsed CPU time: 1.77273 s Remaining CPU time: 1798.23 s 1.79/1.83 c core #41 1.79/1.83 c Core size: 9 Core Weight: 1 Total Weight: -262 1.79/1.83 c Elapsed CPU time: 1.81772 s Remaining CPU time: 1798.18 s 1.79/1.88 c core #42 1.79/1.88 c Core size: 16 Core Weight: 1 Total Weight: -261 1.79/1.88 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.89/1.93 c core #43 1.89/1.93 c Core size: 20 Core Weight: 1 Total Weight: -260 1.89/1.93 c Elapsed CPU time: 1.91471 s Remaining CPU time: 1798.09 s 1.89/1.98 c core #44 1.89/1.98 c Core size: 21 Core Weight: 1 Total Weight: -259 1.89/1.98 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.99/2.03 c core #45 1.99/2.03 c Core size: 11 Core Weight: 1 Total Weight: -258 1.99/2.03 c Elapsed CPU time: 2.01469 s Remaining CPU time: 1797.99 s 1.99/2.08 c core #46 1.99/2.08 c Core size: 11 Core Weight: 1 Total Weight: -257 1.99/2.08 c Elapsed CPU time: 2.06469 s Remaining CPU time: 1797.94 s 2.09/2.13 c core #47 2.09/2.13 c Core size: 9 Core Weight: 2 Total Weight: -255 2.09/2.13 c Elapsed CPU time: 2.11468 s Remaining CPU time: 1797.89 s 2.09/2.18 c core #48 2.09/2.18 c Core size: 11 Core Weight: 2 Total Weight: -253 2.09/2.18 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.19/2.24 c core #49 2.19/2.24 c Core size: 10 Core Weight: 1 Total Weight: -252 2.19/2.24 c Elapsed CPU time: 2.22666 s Remaining CPU time: 1797.77 s 2.29/2.30 c core #50 2.29/2.30 c Core size: 21 Core Weight: 1 Total Weight: -251 2.29/2.30 c Elapsed CPU time: 2.28465 s Remaining CPU time: 1797.72 s 2.29/2.35 c core #51 2.29/2.35 c Core size: 9 Core Weight: 1 Total Weight: -250 2.29/2.35 c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s 2.39/2.41 c core #52 2.39/2.41 c Core size: 14 Core Weight: 1 Total Weight: -249 2.39/2.41 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.39/2.47 c core #53 2.39/2.47 c Core size: 15 Core Weight: 1 Total Weight: -248 2.39/2.47 c Elapsed CPU time: 2.45563 s Remaining CPU time: 1797.54 s 2.49/2.53 c core #54 2.49/2.53 c Core size: 8 Core Weight: 1 Total Weight: -247 2.49/2.53 c Elapsed CPU time: 2.51462 s Remaining CPU time: 1797.49 s 2.49/2.59 c core #55 2.49/2.59 c Core size: 9 Core Weight: 1 Total Weight: -246 2.49/2.59 c Elapsed CPU time: 2.57461 s Remaining CPU time: 1797.43 s 2.59/2.65 c core #56 2.59/2.65 c Core size: 10 Core Weight: 1 Total Weight: -245 2.59/2.65 c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s 2.69/2.71 c core #57 2.69/2.71 c Core size: 13 Core Weight: 2 Total Weight: -243 2.69/2.71 c Elapsed CPU time: 2.69859 s Remaining CPU time: 1797.3 s 2.69/2.78 c core #58 2.69/2.78 c Core size: 14 Core Weight: 1 Total Weight: -242 2.69/2.78 c Elapsed CPU time: 2.76358 s Remaining CPU time: 1797.24 s 2.79/2.84 c core #59 2.79/2.84 c Core size: 14 Core Weight: 1 Total Weight: -241 2.79/2.84 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.89/2.91 c core #60 2.89/2.91 c Core size: 19 Core Weight: 1 Total Weight: -240 2.89/2.91 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.89/2.98 c core #61 2.89/2.98 c Core size: 19 Core Weight: 1 Total Weight: -239 2.89/2.98 c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s 2.99/3.05 c ============================[ Search Statistics ]============================== 2.99/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.05 c =============================================================================== 2.99/3.05 c | 0 | 2218 63571 184782 | 21190 0 nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c core #62 2.99/3.05 c Core size: 23 Core Weight: 1 Total Weight: -238 2.99/3.05 c Elapsed CPU time: 3.03354 s Remaining CPU time: 1796.97 s 3.09/3.12 c ============================[ Search Statistics ]============================== 3.09/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.12 c =============================================================================== 3.09/3.12 c | 0 | 2236 63573 185768 | 21191 0 nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c core #63 3.09/3.12 c Core size: 11 Core Weight: 2 Total Weight: -236 3.09/3.12 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.09/3.19 c Learning 1 hard constraints 3.09/3.19 c core #64 3.09/3.19 c Core size: 12 Core Weight: 1 Total Weight: -235 3.09/3.19 c Elapsed CPU time: 3.17052 s Remaining CPU time: 1796.83 s 3.19/3.25 c ============================[ Search Statistics ]============================== 3.19/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.25 c =============================================================================== 3.19/3.25 c | 0 | 2257 63577 187146 | 21192 0 nan | 0.000 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c core #65 3.19/3.26 c Core size: 18 Core Weight: 1 Total Weight: -234 3.19/3.26 c Elapsed CPU time: 3.24051 s Remaining CPU time: 1796.76 s 3.29/3.32 c Learning 1 hard constraints 3.29/3.32 c ============================[ Search Statistics ]============================== 3.29/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.32 c =============================================================================== 3.29/3.32 c | 0 | 2263 63581 187160 | 21193 0 nan | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c core #66 3.29/3.33 c Core size: 26 Core Weight: 1 Total Weight: -233 3.29/3.33 c Elapsed CPU time: 3.3125 s Remaining CPU time: 1796.69 s 3.29/3.40 c ============================[ Search Statistics ]============================== 3.29/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.40 c =============================================================================== 3.29/3.40 c | 0 | 2280 63583 187804 | 21194 0 nan | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c core #67 3.39/3.40 c Core size: 15 Core Weight: 1 Total Weight: -232 3.39/3.40 c Elapsed CPU time: 3.38549 s Remaining CPU time: 1796.61 s 3.39/3.47 c Learning 1 hard constraints 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 2288 63585 188186 | 21195 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #68 3.39/3.47 c Core size: 20 Core Weight: 1 Total Weight: -231 3.39/3.47 c Elapsed CPU time: 3.45847 s Remaining CPU time: 1796.54 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 2295 63587 188207 | 21195 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #69 3.49/3.55 c Core size: 22 Core Weight: 1 Total Weight: -230 3.49/3.55 c Elapsed CPU time: 3.53146 s Remaining CPU time: 1796.47 s 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 2316 63590 188950 | 21196 0 nan | 0.000 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c core #70 3.59/3.62 c Core size: 14 Core Weight: 1 Total Weight: -229 3.59/3.62 c Elapsed CPU time: 3.60345 s Remaining CPU time: 1796.4 s 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 2325 63592 189112 | 21197 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #71 3.59/3.69 c Core size: 42 Core Weight: 1 Total Weight: -228 3.59/3.69 c Elapsed CPU time: 3.67444 s Remaining CPU time: 1796.33 s 3.69/3.76 c Learning 2 hard constraints 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 2336 63595 189140 | 21198 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #72 3.69/3.76 c Core size: 37 Core Weight: 1 Total Weight: -227 3.69/3.76 c Elapsed CPU time: 3.74743 s Remaining CPU time: 1796.25 s 3.79/3.83 c Learning 2 hard constraints 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 2352 63600 189528 | 21200 0 nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c core #73 3.79/3.84 c Core size: 24 Core Weight: 1 Total Weight: -226 3.79/3.84 c Elapsed CPU time: 3.81942 s Remaining CPU time: 1796.18 s 3.89/3.91 c Learning 2 hard constraints 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 2360 63607 189559 | 21202 0 nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c core #74 3.89/3.91 c Core size: 31 Core Weight: 1 Total Weight: -225 3.89/3.91 c Elapsed CPU time: 3.89041 s Remaining CPU time: 1796.11 s 3.89/3.98 c ============================[ Search Statistics ]============================== 3.89/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.98 c =============================================================================== 3.89/3.98 c | 0 | 2374 63608 189587 | 21202 0 nan | 0.000 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c core #75 3.89/3.98 c Core size: 31 Core Weight: 1 Total Weight: -224 3.89/3.98 c Elapsed CPU time: 3.9634 s Remaining CPU time: 1796.04 s 3.99/4.05 c Learning 1 hard constraints 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 2384 63613 189617 | 21204 0 nan | 0.000 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c core #76 3.99/4.06 c Core size: 15 Core Weight: 1 Total Weight: -223 3.99/4.06 c Elapsed CPU time: 4.03839 s Remaining CPU time: 1795.96 s 4.09/4.12 c Learning 1 hard constraints 4.09/4.12 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 2388 63615 189629 | 21205 0 nan | 0.000 % | 4.09/4.13 c =============================================================================== 4.09/4.13 c core #77 4.09/4.13 c Core size: 112 Core Weight: 1 Total Weight: -222 4.09/4.13 c Elapsed CPU time: 4.11337 s Remaining CPU time: 1795.89 s 4.19/4.20 c ============================[ Search Statistics ]============================== 4.19/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.20 c =============================================================================== 4.19/4.20 c | 0 | 2421 63616 189700 | 21205 0 nan | 0.000 % | 4.19/4.21 c =============================================================================== 4.19/4.21 c core #78 4.19/4.21 c Core size: 29 Core Weight: 1 Total Weight: -221 4.19/4.21 c Elapsed CPU time: 4.19236 s Remaining CPU time: 1795.81 s 4.19/4.28 c Learning 3 hard constraints 4.19/4.28 c ============================[ Search Statistics ]============================== 4.19/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.28 c =============================================================================== 4.19/4.28 c | 0 | 2431 63620 189730 | 21206 0 nan | 0.000 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c core #79 4.19/4.29 c Core size: 62 Core Weight: 1 Total Weight: -220 4.19/4.29 c Elapsed CPU time: 4.27335 s Remaining CPU time: 1795.73 s 4.30/4.36 c Learning 3 hard constraints 4.30/4.36 c ============================[ Search Statistics ]============================== 4.30/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.36 c =============================================================================== 4.30/4.36 c | 0 | 2449 63634 189798 | 21211 0 nan | 0.000 % | 4.30/4.37 c =============================================================================== 4.30/4.37 c core #80 4.30/4.37 c Core size: 52 Core Weight: 1 Total Weight: -219 4.30/4.37 c Elapsed CPU time: 4.34834 s Remaining CPU time: 1795.65 s 4.40/4.44 c Learning 1 hard constraints 4.40/4.44 c ============================[ Search Statistics ]============================== 4.40/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.44 c =============================================================================== 4.40/4.44 c | 0 | 2465 63638 189837 | 21212 0 nan | 0.000 % | 4.40/4.44 c =============================================================================== 4.40/4.45 c core #81 4.40/4.45 c Core size: 60 Core Weight: 1 Total Weight: -218 4.40/4.45 c Elapsed CPU time: 4.42533 s Remaining CPU time: 1795.57 s 4.49/4.51 c Learning 2 hard constraints 4.49/4.51 c ============================[ Search Statistics ]============================== 4.49/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.51 c =============================================================================== 4.49/4.51 c | 0 | 2484 63644 189888 | 21214 0 nan | 0.000 % | 4.49/4.52 c =============================================================================== 4.49/4.52 c core #82 4.49/4.52 c Core size: 33 Core Weight: 1 Total Weight: -217 4.49/4.52 c Elapsed CPU time: 4.49932 s Remaining CPU time: 1795.5 s 4.49/4.59 c Learning 3 hard constraints 4.49/4.59 c ============================[ Search Statistics ]============================== 4.49/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.59 c =============================================================================== 4.49/4.59 c | 0 | 2492 63649 189915 | 21216 0 nan | 0.000 % | 4.59/4.60 c =============================================================================== 4.59/4.60 c core #83 4.59/4.60 c Core size: 189 Core Weight: 1 Total Weight: -216 4.59/4.60 c Elapsed CPU time: 4.5843 s Remaining CPU time: 1795.42 s 4.59/4.67 c Learning 2 hard constraints 4.59/4.67 c ============================[ Search Statistics ]============================== 4.59/4.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.67 c =============================================================================== 4.59/4.67 c | 0 | 2550 63654 190043 | 21218 0 nan | 0.000 % | 4.59/4.69 c =============================================================================== 4.59/4.69 c core #84 4.59/4.69 c Core size: 157 Core Weight: 1 Total Weight: -215 4.59/4.69 c Elapsed CPU time: 4.66729 s Remaining CPU time: 1795.33 s 4.69/4.76 c Learning 3 hard constraints 4.69/4.76 c ============================[ Search Statistics ]============================== 4.69/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.76 c =============================================================================== 4.69/4.76 c | 0 | 2601 63659 190157 | 21219 0 nan | 0.000 % | 4.69/4.77 c =============================================================================== 4.69/4.77 c core #85 4.69/4.77 c Core size: 51 Core Weight: 1 Total Weight: -214 4.69/4.77 c Elapsed CPU time: 4.74928 s Remaining CPU time: 1795.25 s 4.79/4.84 c Learning 2 hard constraints 4.79/4.84 c ============================[ Search Statistics ]============================== 4.79/4.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.84 c =============================================================================== 4.79/4.84 c | 0 | 2618 63665 190201 | 21221 0 nan | 0.000 % | 4.79/4.85 c =============================================================================== 4.79/4.85 c core #86 4.79/4.85 c Core size: 68 Core Weight: 1 Total Weight: -213 4.79/4.85 c Elapsed CPU time: 4.83226 s Remaining CPU time: 1795.17 s 4.89/4.92 c Learning 5 hard constraints 4.89/4.92 c ============================[ Search Statistics ]============================== 4.89/4.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.92 c =============================================================================== 4.89/4.92 c | 0 | 2640 63673 190264 | 21224 0 nan | 0.000 % | 4.89/4.94 c =============================================================================== 4.89/4.94 c core #87 4.89/4.94 c Core size: 166 Core Weight: 1 Total Weight: -212 4.89/4.94 c Elapsed CPU time: 4.91925 s Remaining CPU time: 1795.08 s 4.99/5.01 c Learning 8 hard constraints 4.99/5.01 c ============================[ Search Statistics ]============================== 4.99/5.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.01 c =============================================================================== 4.99/5.01 c | 0 | 2684 63683 190380 | 21227 0 nan | 0.000 % | 4.99/5.02 c =============================================================================== 4.99/5.02 c core #88 4.99/5.02 c Core size: 98 Core Weight: 1 Total Weight: -211 4.99/5.02 c Elapsed CPU time: 4.99424 s Remaining CPU time: 1795.01 s 4.99/5.08 c Learning 4 hard constraints 4.99/5.08 c ============================[ Search Statistics ]============================== 4.99/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.08 c =============================================================================== 4.99/5.08 c | 0 | 2718 63689 190461 | 21229 0 nan | 0.000 % | 5.09/5.10 c | 100 | 2718 63689 190461 | 23352 100 14 | 0.110 % | 5.09/5.10 c =============================================================================== 5.09/5.10 c core #89 5.09/5.10 c Core size: 199 Core Weight: 1 Total Weight: -210 5.09/5.10 c Elapsed CPU time: 5.08223 s Remaining CPU time: 1794.92 s 5.09/5.18 c Learning 10 hard constraints 5.09/5.18 c ============================[ Search Statistics ]============================== 5.09/5.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.18 c =============================================================================== 5.09/5.18 c | 0 | 2769 63700 190595 | 21233 0 nan | 0.000 % | 5.09/5.19 c =============================================================================== 5.09/5.19 c core #90 5.09/5.19 c Core size: 116 Core Weight: 1 Total Weight: -209 5.09/5.19 c Elapsed CPU time: 5.16921 s Remaining CPU time: 1794.83 s 5.19/5.26 c Learning 4 hard constraints 5.19/5.26 c ============================[ Search Statistics ]============================== 5.19/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.26 c =============================================================================== 5.19/5.26 c | 0 | 2797 63708 190670 | 21236 0 nan | 0.000 % | 5.19/5.27 c | 100 | 2797 63708 190670 | 23359 100 23 | 0.143 % | 5.19/5.28 c | 250 | 2796 63708 190670 | 25695 250 22 | 0.179 % | 5.29/5.30 c | 475 | 2795 63708 190670 | 28265 475 25 | 0.214 % | 5.29/5.30 c =============================================================================== 5.29/5.31 c core #91 5.29/5.31 c Core size: 216 Core Weight: 1 Total Weight: -208 5.29/5.31 c Elapsed CPU time: 5.2842 s Remaining CPU time: 1794.72 s 5.29/5.38 c Learning 10 hard constraints 5.29/5.38 c ============================[ Search Statistics ]============================== 5.29/5.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.38 c =============================================================================== 5.29/5.38 c | 0 | 2854 63723 190825 | 21241 0 nan | 0.000 % | 5.29/5.39 c | 100 | 2850 63723 190825 | 23365 100 16 | 0.455 % | 5.29/5.40 c | 250 | 2847 63723 190825 | 25701 250 21 | 0.700 % | 5.39/5.42 c | 475 | 2847 63723 190825 | 28271 475 26 | 0.700 % | 5.39/5.44 c | 814 | 2846 63723 190825 | 31098 814 29 | 0.700 % | 5.39/5.49 c | 1322 | 2845 63723 190825 | 34208 1322 31 | 0.735 % | 5.49/5.58 c | 2081 | 2845 63723 190825 | 37629 2081 33 | 0.735 % | 5.69/5.73 c | 3220 | 2832 63723 190825 | 41392 3169 34 | 0.910 % | 5.79/5.84 c =============================================================================== 5.79/5.88 c core #92 5.79/5.88 c Core size: 314 Core Weight: 1 Total Weight: -207 5.79/5.88 c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s 5.89/5.96 c Learning 12 hard constraints 5.89/5.96 c ============================[ Search Statistics ]============================== 5.89/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.96 c =============================================================================== 5.89/5.96 c | 0 | 2940 63737 191039 | 21245 0 nan | 0.000 % | 5.89/5.97 c | 101 | 2939 63737 191039 | 23370 101 7 | 0.170 % | 5.89/5.99 c | 251 | 2930 63737 191039 | 25707 251 8 | 1.495 % | 5.89/5.99 c =============================================================================== 5.89/5.99 c core #93 5.89/5.99 c Core size: 333 Core Weight: 1 Total Weight: -206 5.89/5.99 c Elapsed CPU time: 5.95209 s Remaining CPU time: 1794.05 s 5.98/6.05 c Learning 32 hard constraints 5.98/6.05 c ============================[ Search Statistics ]============================== 5.98/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.05 c =============================================================================== 5.98/6.05 c | 0 | 3031 63772 191339 | 21257 0 nan | 0.000 % | 5.98/6.07 c | 100 | 3031 63772 191339 | 23383 100 32 | 0.132 % | 5.98/6.07 c | 250 | 3031 63772 191339 | 25721 250 30 | 0.132 % | 5.98/6.09 c | 475 | 3031 63772 191339 | 28293 475 32 | 0.132 % | 6.08/6.12 c | 813 | 3031 63772 191339 | 31122 813 35 | 0.132 % | 6.08/6.17 c | 1320 | 3031 63772 191339 | 34235 1320 38 | 0.132 % | 6.19/6.25 c | 2081 | 3031 63772 191339 | 37658 2081 35 | 0.132 % | 6.39/6.40 c | 3221 | 3031 63772 191339 | 41424 3221 34 | 0.132 % | 6.49/6.59 c | 4930 | 3031 63772 191339 | 45566 4930 35 | 0.132 % | 6.89/6.97 c | 7494 | 3031 63772 191339 | 50123 7494 34 | 0.132 % | 7.59/7.64 c | 11338 | 3031 63772 191339 | 55136 11338 36 | 0.132 % | 9.18/9.24 c | 17105 | 3030 63772 191339 | 60649 16083 38 | 0.165 % | 12.49/12.55 c | 25754 | 3030 63772 191339 | 66714 24732 42 | 0.165 % | 15.29/15.38 c =============================================================================== 15.68/15.73 c core #94 15.68/15.73 c Core size: 794 Core Weight: 1 Total Weight: -205 15.68/15.73 c Elapsed CPU time: 15.6166 s Remaining CPU time: 1784.38 s 15.78/15.83 c Learning 38 hard constraints 15.78/15.84 c ============================[ Search Statistics ]============================== 15.78/15.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.78/15.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.78/15.84 c =============================================================================== 15.78/15.84 c | 0 | 3201 63813 191813 | 21271 0 nan | 0.000 % | 15.78/15.85 c | 100 | 3201 63813 191813 | 23398 100 38 | 0.125 % | 15.78/15.87 c | 253 | 3201 63813 191813 | 25737 253 36 | 0.125 % | 15.78/15.89 c | 480 | 3201 63813 191813 | 28311 480 35 | 0.125 % | 15.88/15.92 c | 819 | 3201 63813 191813 | 31142 819 33 | 0.125 % | 15.88/15.97 c | 1325 | 3201 63813 191813 | 34257 1325 32 | 0.125 % | 15.98/16.05 c | 2084 | 3201 63813 191813 | 37682 2084 31 | 0.125 % | 16.08/16.17 c | 3223 | 3201 63813 191813 | 41451 3223 30 | 0.125 % | 16.29/16.39 c | 4931 | 3201 63813 191813 | 45596 4931 30 | 0.125 % | 16.68/16.78 c | 7493 | 3201 63813 191813 | 50155 7493 34 | 0.125 % | 17.28/17.34 c | 11339 | 3195 63813 191813 | 55171 5105 25 | 0.312 % | 17.38/17.49 c =============================================================================== 17.48/17.59 c core #95 17.48/17.59 c Core size: 1007 Core Weight: 1 Total Weight: -204 17.48/17.59 c Elapsed CPU time: 17.4493 s Remaining CPU time: 1782.55 s 17.58/17.67 c Learning 82 hard constraints 17.58/17.67 c ============================[ Search Statistics ]============================== 17.58/17.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.58/17.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.58/17.67 c =============================================================================== 17.58/17.67 c | 0 | 3397 63896 192496 | 21298 0 nan | 0.000 % | 17.58/17.69 c | 101 | 3397 63896 192496 | 23428 101 14 | 0.118 % | 17.69/17.71 c | 252 | 3397 63896 192496 | 25771 252 17 | 0.118 % | 17.69/17.72 c | 481 | 3397 63896 192496 | 28348 481 19 | 0.118 % | 17.69/17.75 c | 821 | 3397 63896 192496 | 31183 821 21 | 0.118 % | 17.78/17.81 c | 1327 | 3397 63896 192496 | 34301 1327 23 | 0.118 % | 17.88/17.90 c | 2086 | 3397 63896 192496 | 37731 2086 24 | 0.118 % | 17.98/18.06 c | 3226 | 3397 63896 192496 | 41505 3226 23 | 0.118 % | 18.29/18.33 c | 4934 | 3397 63896 192496 | 45655 4934 23 | 0.118 % | 18.69/18.76 c | 7496 | 3392 63896 192496 | 50221 3897 21 | 0.265 % | 18.98/19.02 c =============================================================================== 19.08/19.11 c core #96 19.08/19.11 c Core size: 857 Core Weight: 1 Total Weight: -203 19.08/19.11 c Elapsed CPU time: 18.9501 s Remaining CPU time: 1781.05 s 19.08/19.19 c Learning 81 hard constraints 19.08/19.19 c ============================[ Search Statistics ]============================== 19.08/19.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.08/19.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.08/19.19 c =============================================================================== 19.08/19.19 c | 0 | 3512 63978 193019 | 21326 0 nan | 0.000 % | 19.18/19.22 c | 102 | 3512 63978 193019 | 23458 102 31 | 0.114 % | 19.18/19.23 c | 252 | 3512 63978 193019 | 25804 252 24 | 0.114 % | 19.18/19.27 c | 480 | 3512 63978 193019 | 28384 480 30 | 0.114 % | 19.28/19.31 c | 817 | 3512 63978 193019 | 31223 817 32 | 0.114 % | 19.28/19.35 c | 1323 | 3512 63978 193019 | 34345 1323 31 | 0.114 % | 19.38/19.41 c | 2084 | 3512 63978 193019 | 37780 2084 34 | 0.114 % | 19.48/19.59 c | 3223 | 3512 63978 193019 | 41558 3223 38 | 0.114 % | 19.98/20.00 c | 4931 | 3512 63978 193019 | 45714 4931 46 | 0.114 % | 20.68/20.76 c | 7493 | 3512 63978 193019 | 50285 7493 49 | 0.114 % | 21.58/21.62 c | 11340 | 3512 63978 193019 | 55314 11340 50 | 0.114 % | 24.28/24.36 c | 17107 | 3512 63978 193019 | 60845 17107 53 | 0.114 % | 29.58/29.66 c | 25756 | 3512 63978 193019 | 66930 25756 56 | 0.114 % | 36.38/36.48 c | 38730 | 3510 63978 193019 | 73623 25135 52 | 0.171 % | 52.87/52.91 c | 58193 | 3510 63978 193019 | 80985 44598 59 | 0.171 % | 74.96/75.08 c =============================================================================== 76.56/76.60 c core #97 76.56/76.60 c Core size: 2240 Core Weight: 1 Total Weight: -202 76.56/76.60 c Elapsed CPU time: 76.1664 s Remaining CPU time: 1723.83 s 76.66/76.76 c Learning 137 hard constraints 76.66/76.76 c ============================[ Search Statistics ]============================== 76.66/76.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.66/76.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.66/76.76 c =============================================================================== 76.66/76.76 c | 0 | 3660 64116 193848 | 21372 0 nan | 0.000 % | 76.66/76.79 c | 104 | 3660 64116 193848 | 23509 104 53 | 0.109 % | 76.76/76.80 c | 256 | 3660 64116 193848 | 25860 256 44 | 0.109 % | 76.76/76.82 c | 481 | 3660 64116 193848 | 28446 481 44 | 0.109 % | 76.76/76.86 c | 821 | 3660 64116 193848 | 31290 821 49 | 0.109 % | 76.86/76.91 c | 1327 | 3660 64116 193848 | 34419 1327 60 | 0.109 % | 76.86/76.98 c | 2089 | 3660 64116 193848 | 37861 2089 58 | 0.109 % | 77.06/77.11 c | 3228 | 3660 64116 193848 | 41647 3228 62 | 0.109 % | 77.26/77.38 c | 4936 | 3660 64116 193848 | 45812 4936 69 | 0.109 % | 77.97/78.07 c | 7499 | 3660 64116 193848 | 50394 7499 72 | 0.109 % | 79.66/79.74 c | 11344 | 3660 64116 193848 | 55433 11344 76 | 0.109 % | 82.66/82.80 c | 17112 | 3660 64116 193848 | 60976 17112 79 | 0.109 % | 86.66/86.79 c | 25764 | 3659 64116 193848 | 67074 25763 75 | 0.136 % | 96.55/96.67 c | 38739 | 3659 64116 193848 | 73781 38738 76 | 0.164 % | 121.85/121.98 c | 58201 | 3658 64116 193848 | 81160 58198 77 | 0.164 % | 168.34/168.46 c | 87393 | 3658 64116 193848 | 89276 19709 87 | 0.164 % | 203.93/204.06 c | 131185 | 3658 64116 193848 | 98203 63501 79 | 0.164 % | 292.71/292.83 c | 196871 | 3658 64116 193848 | 108024 46469 92 | 0.164 % | 481.96/482.15 c | 295407 | 3658 64116 193848 | 118826 54481 97 | 0.164 % | 782.49/782.75 c | 443197 | 3658 64116 193848 | 130709 100511 94 | 0.164 % | 1232.07/1232.41 c | 664882 | 3658 64116 193848 | 143780 94532 89 | 0.164 % |
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-1874912-1245218938/watcher-1874912-1245218938 -o /tmp/evaluation-result-1874912-1245218938/solver-1874912-1245218938 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874912-1245218938.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: 1.00 1.00 1.00 3/65 7778 /proc/meminfo: memFree=1846592/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=4732 CPUtime=0 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 245 0 0 0 0 0 0 0 20 0 1 0 7806102 4845568 229 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 1183 230 128 292 0 372 0 [startup+0.0579241 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7778 /proc/meminfo: memFree=1846592/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=5448 CPUtime=0.05 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 500 0 0 0 5 0 0 0 20 0 1 0 7806102 5578752 484 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 1362 484 231 292 0 551 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5448 [startup+0.101927 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7778 /proc/meminfo: memFree=1846592/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=5876 CPUtime=0.09 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 702 0 0 0 9 0 0 0 20 0 1 0 7806102 6017024 686 1992294400 134512640 135709839 4294956240 18446744073709551615 135167014 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 1469 687 318 292 0 658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5876 [startup+0.301947 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7778 /proc/meminfo: memFree=1846592/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=8644 CPUtime=0.29 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 2298 0 0 0 28 1 0 0 22 0 1 0 7806102 8851456 1672 1992294400 134512640 135709839 4294956240 18446744073709551615 134529960 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 2161 1672 133 292 0 1866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8644 [startup+0.701983 s] /proc/loadavg: 1.00 1.00 1.00 3/65 7778 /proc/meminfo: memFree=1846592/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=9528 CPUtime=0.69 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 2588 0 0 0 68 1 0 0 25 0 1 0 7806102 9756672 1900 1992294400 134512640 135709839 4294956240 18446744073709551615 134605158 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 2382 1900 133 292 0 2087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9528 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1839480/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=9528 CPUtime=1.49 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 2588 0 0 0 148 1 0 0 25 0 1 0 7806102 9756672 1900 1992294400 134512640 135709839 4294956240 18446744073709551615 134517466 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 2382 1900 133 292 0 2087 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9528 [startup+3.10121 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1839096/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=10824 CPUtime=3.09 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 2914 0 0 0 308 1 0 0 25 0 1 0 7806102 11083776 2226 1992294400 134512640 135709839 4294956240 18446744073709551615 134569975 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 2706 2226 135 292 0 2411 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10824 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1837368/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=12832 CPUtime=6.29 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 3392 0 0 0 625 4 0 0 25 0 1 0 7806102 13139968 2704 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 3208 2704 136 292 0 2913 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12832 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1831744/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=17600 CPUtime=12.69 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 4630 0 0 0 1260 9 0 0 25 0 1 0 7806102 18022400 3942 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 4400 3942 136 292 0 4105 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17600 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1823936/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=24696 CPUtime=25.47 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 6384 0 0 0 2528 19 0 0 25 0 1 0 7806102 25288704 5696 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 6174 5696 136 292 0 5879 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 24696 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1807040/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=41864 CPUtime=51.07 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 10695 0 0 0 5075 32 0 0 25 0 1 0 7806102 42868736 10007 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 10466 10007 136 292 0 10171 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41864 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1790656/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=58088 CPUtime=102.26 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 14710 0 0 0 10175 51 0 0 25 0 1 0 7806102 59482112 14022 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 14522 14022 136 292 0 14227 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 58088 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1778368/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=70556 CPUtime=162.24 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 17816 0 0 0 16162 62 0 0 25 0 1 0 7806102 72249344 17128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 17639 17128 136 292 0 17344 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 70556 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1744128/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=104660 CPUtime=222.22 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 26301 0 0 0 22136 86 0 0 25 0 1 0 7806102 107171840 25613 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 26165 25613 136 292 0 25870 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 104660 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1715968/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=133404 CPUtime=282.21 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 33422 0 0 0 28116 105 0 0 25 0 1 0 7806102 136605696 32734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 33351 32734 136 292 0 33056 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 133404 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1692288/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=156816 CPUtime=342.19 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 39218 0 0 0 34100 119 0 0 25 0 1 0 7806102 160579584 38530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 39204 38530 136 292 0 38909 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 156816 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1680640/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=168868 CPUtime=402.19 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 42168 0 0 0 40090 129 0 0 25 0 1 0 7806102 172920832 41480 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 42217 41480 136 292 0 41922 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 168868 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1657344/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=192340 CPUtime=462.16 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 48003 0 0 0 46073 143 0 0 25 0 1 0 7806102 196956160 47315 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 48085 47315 136 292 0 47790 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 192340 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1633280/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=216300 CPUtime=522.15 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 53984 0 0 0 52057 158 0 0 25 0 1 0 7806102 221491200 53296 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 54075 53296 136 292 0 53780 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 216300 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1618112/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=231468 CPUtime=582.13 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 57727 0 0 0 58045 168 0 0 25 0 1 0 7806102 237023232 57039 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 57867 57039 136 292 0 57572 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 231468 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1601920/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=247492 CPUtime=642.13 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 61718 0 0 0 64034 179 0 0 25 0 1 0 7806102 253431808 61030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 61873 61030 136 292 0 61578 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 247492 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1538880/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=310700 CPUtime=882.06 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 77422 0 0 0 87981 225 0 0 25 0 1 0 7806102 318156800 76734 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 77675 76734 136 292 0 77380 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 310700 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1523968/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=326228 CPUtime=942.05 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 81317 0 0 0 93969 236 0 0 25 0 1 0 7806102 334057472 80629 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 81557 80629 136 292 0 81262 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 326228 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1496384/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=353092 CPUtime=1002.03 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 88046 0 0 0 99949 254 0 0 25 0 1 0 7806102 361566208 87358 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 88273 87358 136 292 0 87978 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 353092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1481856/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=367836 CPUtime=1062.01 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 91695 0 0 0 105935 266 0 0 25 0 1 0 7806102 376664064 91007 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 91959 91007 136 292 0 91664 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 367836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1469888/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=379468 CPUtime=1122 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 94607 0 0 0 111924 276 0 0 25 0 1 0 7806102 388575232 93919 1992294400 134512640 135709839 4294956240 18446744073709551615 134568579 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 94867 93919 136 292 0 94572 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 379468 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7779 /proc/meminfo: memFree=1441984/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=407548 CPUtime=1181.98 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 101642 0 0 0 117903 295 0 0 25 0 1 0 7806102 417329152 100954 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 101887 100954 136 292 0 101592 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 407548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1422208/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=427072 CPUtime=1241.97 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 106487 0 0 0 123888 309 0 0 25 0 1 0 7806102 437321728 105799 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 106768 105799 136 292 0 106473 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 427072 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1406464/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=442648 CPUtime=1301.97 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 110387 0 0 0 129876 321 0 0 25 0 1 0 7806102 453271552 109699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 110662 109699 136 292 0 110367 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 442648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1391616/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=457848 CPUtime=1361.94 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 114126 0 0 0 135863 331 0 0 25 0 1 0 7806102 468836352 113438 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 114462 113438 136 292 0 114167 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 457848 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1358528/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=490856 CPUtime=1421.93 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 122351 0 0 0 141844 349 0 0 25 0 1 0 7806102 502636544 121663 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 122714 121663 136 292 0 122419 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 490856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1339072/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=510548 CPUtime=1481.91 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 127253 0 0 0 147829 362 0 0 25 0 1 0 7806102 522801152 126565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 127637 126565 136 292 0 127342 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 510548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1324928/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=524348 CPUtime=1541.9 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 130705 0 0 0 153817 373 0 0 25 0 1 0 7806102 536932352 130017 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 131087 130017 136 292 0 130792 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 524348 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1313728/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=535804 CPUtime=1601.88 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 133535 0 0 0 159807 381 0 0 25 0 1 0 7806102 548663296 132847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 133951 132847 136 292 0 133656 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 535804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1292928/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=556672 CPUtime=1661.87 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 138715 0 0 0 165794 393 0 0 25 0 1 0 7806102 570032128 138027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 139168 138027 136 292 0 138873 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 556672 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1271616/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=578084 CPUtime=1721.85 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 144062 0 0 0 171778 407 0 0 25 0 1 0 7806102 591958016 143374 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 144521 143374 136 292 0 144226 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 578084 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1256768/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=592916 CPUtime=1781.84 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 147714 0 0 0 177769 415 0 0 25 0 1 0 7806102 607145984 147026 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 148229 147026 136 292 0 147934 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 592916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1253376/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=596176 CPUtime=1800.04 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 148519 0 0 0 179587 417 0 0 25 0 1 0 7806102 610484224 147831 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 149044 147831 136 292 0 148749 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 596176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7781 /proc/meminfo: memFree=1253376/2055920 swapFree=4192956/4192956 [pid=7778] ppid=7776 vsize=596176 CPUtime=1800.04 /proc/7778/stat : 7778 (wbo) R 7776 7778 7445 0 -1 4194304 148519 0 0 0 179587 417 0 0 25 0 1 0 7806102 610484224 147831 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7778/statm: 149044 147831 136 292 0 148749 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 596176 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.13 CPU user time (s): 1795.88 CPU system time (s): 4.25735 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 596176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.88 system time used= 4.25735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148519 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= 4016 runsolver used 2.07368 second user time and 3.63245 second system time The end
Begin job on node8 at 2009-06-17 08:08:58 IDJOB=1874912 IDBENCH=71823 IDSOLVER=698 FILE ID=node8/1874912-1245218938 PBS_JOBID= 9368395 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-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-1874912-1245218938/watcher-1874912-1245218938 -o /tmp/evaluation-result-1874912-1245218938/solver-1874912-1245218938 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874912-1245218938.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c6e5d09e1e6b4cdc1d36588d438ba6a RANDOM SEED=103097174 node8.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1847136 kB Buffers: 39492 kB Cached: 113304 kB SwapCached: 0 kB Active: 69904 kB Inactive: 96764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847136 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4436 kB Writeback: 0 kB Mapped: 23628 kB Slab: 27980 kB Committed_AS: 83244 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874912-1245218938.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-17 08:39:01