| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.18 | 1801.03 |
| Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb |
| MD5SUM | c18c3db09a696b172987b81aa567120d |
| 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 | -76 |
| Best CPU time to get the best result obtained on this benchmark | 3.99039 |
| 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 | 29096 |
| Number of constraints which are clauses | 29096 |
| 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 | 341 |
| 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 | 341 |
| 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-1874915-1245219218.opb. 0.00/0.00 c Instance file HOME/instance-1874915-1245219218.opb 0.00/0.00 c File size is 961931 bytes. 0.09/0.12 c Highest Coefficient sum: 4 0.09/0.12 c ============================[ Problem Statistics ]============================= 0.09/0.12 c | | 0.09/0.12 c | Parsing time: 0.12 s | 0.09/0.12 c | Number Variables: 2025 | 0.09/0.12 c | Number Clauses: 29231 | 0.09/0.12 c | Number Cardinality: 0 | 0.09/0.12 c | Number PB Constraints: 0 | 0.09/0.12 c core #1 0.09/0.12 c Core size: 5 Core Weight: 2 Total Weight: -339 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.14 c core #2 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: -338 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.15 c core #3 0.09/0.15 c Core size: 7 Core Weight: 1 Total Weight: -337 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #4 0.09/0.17 c Core size: 5 Core Weight: 3 Total Weight: -334 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.19 c core #5 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: -333 0.09/0.19 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #6 0.19/0.20 c Core size: 5 Core Weight: 1 Total Weight: -332 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #7 0.19/0.22 c Core size: 5 Core Weight: 2 Total Weight: -330 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #8 0.19/0.24 c Core size: 6 Core Weight: 2 Total Weight: -328 0.19/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #9 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: -327 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #10 0.19/0.27 c Core size: 5 Core Weight: 1 Total Weight: -326 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #11 0.19/0.29 c Core size: 5 Core Weight: 2 Total Weight: -324 0.19/0.29 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #12 0.29/0.31 c Core size: 5 Core Weight: 1 Total Weight: -323 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #13 0.29/0.32 c Core size: 5 Core Weight: 2 Total Weight: -321 0.29/0.32 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #14 0.29/0.34 c Core size: 6 Core Weight: 2 Total Weight: -319 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #15 0.29/0.36 c Core size: 5 Core Weight: 2 Total Weight: -317 0.29/0.36 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #16 0.29/0.38 c Core size: 6 Core Weight: 2 Total Weight: -315 0.29/0.38 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.29/0.40 c core #17 0.29/0.40 c Core size: 5 Core Weight: 2 Total Weight: -313 0.29/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #18 0.39/0.41 c Core size: 5 Core Weight: 2 Total Weight: -311 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #19 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: -310 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #20 0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: -309 0.39/0.45 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #21 0.39/0.47 c Core size: 5 Core Weight: 2 Total Weight: -307 0.39/0.47 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #22 0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: -306 0.39/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #23 0.49/0.51 c Core size: 6 Core Weight: 1 Total Weight: -305 0.49/0.51 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #24 0.49/0.53 c Core size: 5 Core Weight: 1 Total Weight: -304 0.49/0.53 c Elapsed CPU time: 0.52292 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #25 0.49/0.55 c Core size: 6 Core Weight: 4 Total Weight: -300 0.49/0.55 c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #26 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: -299 0.49/0.57 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #27 0.49/0.58 c Core size: 6 Core Weight: 2 Total Weight: -297 0.49/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.59/0.60 c core #28 0.59/0.60 c Core size: 5 Core Weight: 1 Total Weight: -296 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #29 0.59/0.62 c Core size: 5 Core Weight: 1 Total Weight: -295 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #30 0.59/0.64 c Core size: 6 Core Weight: 1 Total Weight: -294 0.59/0.64 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #31 0.59/0.66 c Core size: 7 Core Weight: 1 Total Weight: -293 0.59/0.66 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #32 0.59/0.68 c Core size: 7 Core Weight: 1 Total Weight: -292 0.59/0.68 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #33 0.69/0.70 c Core size: 6 Core Weight: 1 Total Weight: -291 0.69/0.70 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #34 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: -290 0.69/0.72 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #35 0.69/0.74 c Core size: 6 Core Weight: 1 Total Weight: -289 0.69/0.74 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #36 0.69/0.76 c Core size: 7 Core Weight: 1 Total Weight: -288 0.69/0.76 c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s 0.69/0.78 c core #37 0.69/0.78 c Core size: 6 Core Weight: 1 Total Weight: -287 0.69/0.78 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.79/0.80 c core #38 0.79/0.80 c Core size: 7 Core Weight: 1 Total Weight: -286 0.79/0.80 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #39 0.79/0.82 c Core size: 6 Core Weight: 1 Total Weight: -285 0.79/0.82 c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #40 0.79/0.84 c Core size: 5 Core Weight: 3 Total Weight: -282 0.79/0.84 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #41 0.79/0.86 c Core size: 7 Core Weight: 1 Total Weight: -281 0.79/0.86 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.79/0.88 c core #42 0.79/0.88 c Core size: 6 Core Weight: 2 Total Weight: -279 0.79/0.88 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.89/0.90 c core #43 0.89/0.90 c Core size: 7 Core Weight: 1 Total Weight: -278 0.89/0.90 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #44 0.89/0.92 c Core size: 6 Core Weight: 2 Total Weight: -276 0.89/0.92 c Elapsed CPU time: 0.91586 s Remaining CPU time: 1799.08 s 0.89/0.94 c core #45 0.89/0.94 c Core size: 6 Core Weight: 1 Total Weight: -275 0.89/0.94 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #46 0.89/0.96 c Core size: 5 Core Weight: 1 Total Weight: -274 0.89/0.96 c Elapsed CPU time: 0.958854 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #47 0.89/0.98 c Core size: 5 Core Weight: 1 Total Weight: -273 0.89/0.98 c Elapsed CPU time: 0.979851 s Remaining CPU time: 1799.02 s 0.99/1.01 c core #48 0.99/1.01 c Core size: 10 Core Weight: 2 Total Weight: -271 0.99/1.01 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 0.99/1.03 c core #49 0.99/1.03 c Core size: 11 Core Weight: 1 Total Weight: -270 0.99/1.03 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 0.99/1.05 c core #50 0.99/1.05 c Core size: 8 Core Weight: 1 Total Weight: -269 0.99/1.05 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 0.99/1.07 c core #51 0.99/1.07 c Core size: 9 Core Weight: 2 Total Weight: -267 0.99/1.07 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 0.99/1.09 c core #52 0.99/1.09 c Core size: 11 Core Weight: 1 Total Weight: -266 0.99/1.09 c Elapsed CPU time: 1.08783 s Remaining CPU time: 1798.91 s 1.09/1.11 c core #53 1.09/1.11 c Core size: 11 Core Weight: 1 Total Weight: -265 1.09/1.11 c Elapsed CPU time: 1.10983 s Remaining CPU time: 1798.89 s 1.09/1.14 c core #54 1.09/1.14 c Core size: 11 Core Weight: 1 Total Weight: -264 1.09/1.14 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #55 1.09/1.16 c Core size: 11 Core Weight: 1 Total Weight: -263 1.09/1.16 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.09/1.18 c core #56 1.09/1.18 c Core size: 10 Core Weight: 1 Total Weight: -262 1.09/1.18 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #57 1.19/1.20 c Core size: 10 Core Weight: 1 Total Weight: -261 1.19/1.20 c Elapsed CPU time: 1.19682 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #58 1.19/1.23 c Core size: 10 Core Weight: 1 Total Weight: -260 1.19/1.23 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #59 1.19/1.25 c Core size: 11 Core Weight: 1 Total Weight: -259 1.19/1.25 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #60 1.19/1.27 c Core size: 11 Core Weight: 2 Total Weight: -257 1.19/1.27 c Elapsed CPU time: 1.26681 s Remaining CPU time: 1798.73 s 1.19/1.30 c core #61 1.19/1.30 c Core size: 11 Core Weight: 2 Total Weight: -255 1.19/1.30 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.30/1.32 c core #62 1.30/1.32 c Core size: 10 Core Weight: 2 Total Weight: -253 1.30/1.32 c Elapsed CPU time: 1.3158 s Remaining CPU time: 1798.68 s 1.30/1.35 c core #63 1.30/1.35 c Core size: 11 Core Weight: 1 Total Weight: -252 1.30/1.35 c Elapsed CPU time: 1.3408 s Remaining CPU time: 1798.66 s 1.30/1.37 c core #64 1.30/1.37 c Core size: 9 Core Weight: 2 Total Weight: -250 1.30/1.37 c Elapsed CPU time: 1.36579 s Remaining CPU time: 1798.63 s 1.40/1.40 c core #65 1.40/1.40 c Core size: 9 Core Weight: 1 Total Weight: -249 1.40/1.40 c Elapsed CPU time: 1.39079 s Remaining CPU time: 1798.61 s 1.40/1.42 c core #66 1.40/1.42 c Core size: 10 Core Weight: 3 Total Weight: -246 1.40/1.42 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.40/1.45 c core #67 1.40/1.45 c Core size: 8 Core Weight: 2 Total Weight: -244 1.40/1.45 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.40/1.48 c core #68 1.40/1.48 c Core size: 10 Core Weight: 1 Total Weight: -243 1.40/1.48 c Elapsed CPU time: 1.46878 s Remaining CPU time: 1798.53 s 1.49/1.50 c core #69 1.49/1.50 c Core size: 15 Core Weight: 1 Total Weight: -242 1.49/1.50 c Elapsed CPU time: 1.49677 s Remaining CPU time: 1798.5 s 1.49/1.53 c core #70 1.49/1.53 c Core size: 16 Core Weight: 1 Total Weight: -241 1.49/1.53 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.56 c core #71 1.49/1.56 c Core size: 17 Core Weight: 1 Total Weight: -240 1.49/1.56 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.49/1.59 c core #72 1.49/1.59 c Core size: 18 Core Weight: 1 Total Weight: -239 1.49/1.59 c Elapsed CPU time: 1.57876 s Remaining CPU time: 1798.42 s 1.59/1.61 c core #73 1.59/1.61 c Core size: 14 Core Weight: 1 Total Weight: -238 1.59/1.61 c Elapsed CPU time: 1.60576 s Remaining CPU time: 1798.39 s 1.59/1.64 c core #74 1.59/1.64 c Core size: 9 Core Weight: 3 Total Weight: -235 1.59/1.64 c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s 1.59/1.67 c core #75 1.59/1.67 c Core size: 10 Core Weight: 1 Total Weight: -234 1.59/1.67 c Elapsed CPU time: 1.66075 s Remaining CPU time: 1798.34 s 1.59/1.70 c core #76 1.59/1.70 c Core size: 9 Core Weight: 1 Total Weight: -233 1.59/1.70 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.73 c core #77 1.69/1.73 c Core size: 9 Core Weight: 1 Total Weight: -232 1.69/1.73 c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s 1.69/1.75 c core #78 1.69/1.75 c Core size: 10 Core Weight: 1 Total Weight: -231 1.69/1.75 c Elapsed CPU time: 1.74573 s Remaining CPU time: 1798.25 s 1.69/1.78 c core #79 1.69/1.78 c Core size: 10 Core Weight: 2 Total Weight: -229 1.69/1.78 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.79/1.81 c core #80 1.79/1.81 c Core size: 10 Core Weight: 1 Total Weight: -228 1.79/1.81 c Elapsed CPU time: 1.80472 s Remaining CPU time: 1798.2 s 1.79/1.84 c core #81 1.79/1.84 c Core size: 11 Core Weight: 1 Total Weight: -227 1.79/1.84 c Elapsed CPU time: 1.83572 s Remaining CPU time: 1798.16 s 1.79/1.88 c core #82 1.79/1.88 c Core size: 11 Core Weight: 1 Total Weight: -226 1.79/1.88 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.89/1.91 c core #83 1.89/1.91 c Core size: 8 Core Weight: 1 Total Weight: -225 1.89/1.91 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.89/1.94 c core #84 1.89/1.94 c Core size: 9 Core Weight: 1 Total Weight: -224 1.89/1.94 c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s 1.89/1.97 c ============================[ Search Statistics ]============================== 1.89/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.97 c =============================================================================== 1.89/1.97 c | 0 | 2244 29427 86314 | 9809 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c core #85 1.89/1.97 c Core size: 15 Core Weight: 1 Total Weight: -223 1.89/1.97 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.99/2.00 c Learning 1 hard constraints 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 2272 29431 86865 | 9810 0 nan | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c core #86 1.99/2.01 c Core size: 19 Core Weight: 1 Total Weight: -222 1.99/2.01 c Elapsed CPU time: 1.9967 s Remaining CPU time: 1798 s 1.99/2.04 c Learning 2 hard constraints 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 2277 29435 86879 | 9811 0 nan | 0.000 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c core #87 1.99/2.04 c Core size: 17 Core Weight: 1 Total Weight: -221 1.99/2.04 c Elapsed CPU time: 2.03069 s Remaining CPU time: 1797.97 s 1.99/2.07 c ============================[ Search Statistics ]============================== 1.99/2.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.07 c =============================================================================== 1.99/2.07 c | 0 | 2284 29436 86896 | 9812 0 nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c core #88 1.99/2.07 c Core size: 31 Core Weight: 1 Total Weight: -220 1.99/2.07 c Elapsed CPU time: 2.06469 s Remaining CPU time: 1797.94 s 2.10/2.10 c ============================[ Search Statistics ]============================== 2.10/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.10 c =============================================================================== 2.10/2.10 c | 0 | 2293 29439 86918 | 9813 0 nan | 0.000 % | 2.10/2.10 c =============================================================================== 2.10/2.10 c core #89 2.10/2.10 c Core size: 32 Core Weight: 1 Total Weight: -219 2.10/2.10 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.10/2.14 c ============================[ Search Statistics ]============================== 2.10/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.14 c =============================================================================== 2.10/2.14 c | 0 | 2302 29441 86938 | 9813 0 nan | 0.000 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c core #90 2.10/2.14 c Core size: 11 Core Weight: 2 Total Weight: -217 2.10/2.14 c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s 2.10/2.17 c ============================[ Search Statistics ]============================== 2.10/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.17 c =============================================================================== 2.10/2.17 c | 0 | 2305 29442 86944 | 9814 0 nan | 0.000 % | 2.10/2.17 c =============================================================================== 2.10/2.17 c core #91 2.10/2.17 c Core size: 35 Core Weight: 1 Total Weight: -216 2.10/2.17 c Elapsed CPU time: 2.15867 s Remaining CPU time: 1797.84 s 2.10/2.20 c ============================[ Search Statistics ]============================== 2.10/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.20 c =============================================================================== 2.10/2.20 c | 0 | 2315 29448 86974 | 9816 0 nan | 0.000 % | 2.10/2.20 c =============================================================================== 2.10/2.20 c core #92 2.10/2.20 c Core size: 19 Core Weight: 1 Total Weight: -215 2.10/2.20 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.20/2.23 c Learning 2 hard constraints 2.20/2.23 c ============================[ Search Statistics ]============================== 2.20/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.23 c =============================================================================== 2.20/2.23 c | 0 | 2320 29452 86992 | 9817 0 nan | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c core #93 2.20/2.23 c Core size: 34 Core Weight: 1 Total Weight: -214 2.20/2.23 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.20/2.26 c Learning 2 hard constraints 2.20/2.26 c ============================[ Search Statistics ]============================== 2.20/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.26 c =============================================================================== 2.20/2.26 c | 0 | 2306 29460 87019 | 9820 0 nan | 0.000 % | 2.20/2.27 c =============================================================================== 2.20/2.27 c core #94 2.20/2.27 c Core size: 16 Core Weight: 1 Total Weight: -213 2.20/2.27 c Elapsed CPU time: 2.25566 s Remaining CPU time: 1797.74 s 2.20/2.30 c Learning 1 hard constraints 2.20/2.30 c ============================[ Search Statistics ]============================== 2.20/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.30 c =============================================================================== 2.20/2.30 c | 0 | 2336 29462 87044 | 9820 0 nan | 0.000 % | 2.29/2.30 c =============================================================================== 2.29/2.30 c core #95 2.29/2.30 c Core size: 22 Core Weight: 1 Total Weight: -212 2.29/2.30 c Elapsed CPU time: 2.28665 s Remaining CPU time: 1797.71 s 2.29/2.33 c Learning 1 hard constraints 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 2334 29464 87060 | 9821 0 nan | 0.000 % | 2.29/2.33 c =============================================================================== 2.29/2.33 c core #96 2.29/2.33 c Core size: 42 Core Weight: 1 Total Weight: -211 2.29/2.33 c Elapsed CPU time: 2.31965 s Remaining CPU time: 1797.68 s 2.29/2.36 c Learning 1 hard constraints 2.29/2.36 c ============================[ Search Statistics ]============================== 2.29/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.36 c =============================================================================== 2.29/2.36 c | 0 | 2349 29471 87094 | 9823 0 nan | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c core #97 2.29/2.36 c Core size: 24 Core Weight: 1 Total Weight: -210 2.29/2.36 c Elapsed CPU time: 2.35164 s Remaining CPU time: 1797.65 s 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 2363 29473 87121 | 9824 0 nan | 0.000 % | 2.29/2.40 c =============================================================================== 2.29/2.40 c core #98 2.29/2.40 c Core size: 11 Core Weight: 1 Total Weight: -209 2.29/2.40 c Elapsed CPU time: 2.38464 s Remaining CPU time: 1797.62 s 2.39/2.43 c Learning 1 hard constraints 2.39/2.43 c ============================[ Search Statistics ]============================== 2.39/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.43 c =============================================================================== 2.39/2.43 c | 0 | 2366 29475 87131 | 9825 0 nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c core #99 2.39/2.43 c Core size: 20 Core Weight: 1 Total Weight: -208 2.39/2.43 c Elapsed CPU time: 2.41663 s Remaining CPU time: 1797.58 s 2.39/2.46 c Learning 2 hard constraints 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 2372 29478 87149 | 9826 0 nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c core #100 2.39/2.46 c Core size: 32 Core Weight: 1 Total Weight: -207 2.39/2.46 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.39/2.49 c Learning 2 hard constraints 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 2381 29481 87173 | 9827 0 nan | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c core #101 2.39/2.49 c Core size: 19 Core Weight: 1 Total Weight: -206 2.39/2.49 c Elapsed CPU time: 2.48362 s Remaining CPU time: 1797.52 s 2.49/2.53 c Learning 1 hard constraints 2.49/2.53 c ============================[ Search Statistics ]============================== 2.49/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.53 c =============================================================================== 2.49/2.53 c | 0 | 2383 29485 87189 | 9828 0 nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c core #102 2.49/2.53 c Core size: 26 Core Weight: 1 Total Weight: -205 2.49/2.53 c Elapsed CPU time: 2.51562 s Remaining CPU time: 1797.48 s 2.49/2.56 c Learning 1 hard constraints 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 2390 29490 87206 | 9830 0 nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c core #103 2.49/2.56 c Core size: 11 Core Weight: 1 Total Weight: -204 2.49/2.56 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.49/2.59 c Learning 1 hard constraints 2.49/2.59 c core #104 2.49/2.59 c Core size: 8 Core Weight: 1 Total Weight: -203 2.49/2.59 c Elapsed CPU time: 2.58061 s Remaining CPU time: 1797.42 s 2.59/2.62 c core #105 2.59/2.62 c Core size: 14 Core Weight: 1 Total Weight: -202 2.59/2.62 c Elapsed CPU time: 2.6136 s Remaining CPU time: 1797.39 s 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 2398 29496 87222 | 9832 0 nan | 0.000 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c core #106 2.59/2.66 c Core size: 14 Core Weight: 1 Total Weight: -201 2.59/2.66 c Elapsed CPU time: 2.6446 s Remaining CPU time: 1797.36 s 2.59/2.69 c Learning 3 hard constraints 2.59/2.69 c core #107 2.59/2.69 c Core size: 8 Core Weight: 1 Total Weight: -200 2.59/2.69 c Elapsed CPU time: 2.67659 s Remaining CPU time: 1797.32 s 2.69/2.72 c core #108 2.69/2.72 c Core size: 8 Core Weight: 1 Total Weight: -199 2.69/2.72 c Elapsed CPU time: 2.71059 s Remaining CPU time: 1797.29 s 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 2400 29502 87240 | 9834 0 nan | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c core #109 2.69/2.76 c Core size: 37 Core Weight: 1 Total Weight: -198 2.69/2.76 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.69/2.79 c Learning 1 hard constraints 2.69/2.79 c ============================[ Search Statistics ]============================== 2.69/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.79 c =============================================================================== 2.69/2.79 c | 0 | 2420 29504 87281 | 9834 0 nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c core #110 2.69/2.79 c Core size: 26 Core Weight: 1 Total Weight: -197 2.69/2.79 c Elapsed CPU time: 2.78058 s Remaining CPU time: 1797.22 s 2.79/2.83 c Learning 2 hard constraints 2.79/2.83 c ============================[ Search Statistics ]============================== 2.79/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.83 c =============================================================================== 2.79/2.83 c | 0 | 2428 29507 87304 | 9835 0 nan | 0.000 % | 2.79/2.83 c =============================================================================== 2.79/2.83 c core #111 2.79/2.83 c Core size: 25 Core Weight: 1 Total Weight: -196 2.79/2.83 c Elapsed CPU time: 2.81657 s Remaining CPU time: 1797.18 s 2.79/2.86 c Learning 2 hard constraints 2.79/2.86 c ============================[ Search Statistics ]============================== 2.79/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.86 c =============================================================================== 2.79/2.86 c | 0 | 2435 29515 87334 | 9838 0 nan | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.86 c core #112 2.79/2.86 c Core size: 15 Core Weight: 1 Total Weight: -195 2.79/2.86 c Elapsed CPU time: 2.85057 s Remaining CPU time: 1797.15 s 2.89/2.90 c ============================[ Search Statistics ]============================== 2.89/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.90 c =============================================================================== 2.89/2.90 c | 0 | 2439 29518 87346 | 9839 0 nan | 0.000 % | 2.89/2.90 c =============================================================================== 2.89/2.90 c core #113 2.89/2.90 c Core size: 35 Core Weight: 1 Total Weight: -194 2.89/2.90 c Elapsed CPU time: 2.88456 s Remaining CPU time: 1797.12 s 2.89/2.93 c Learning 1 hard constraints 2.89/2.93 c ============================[ Search Statistics ]============================== 2.89/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.93 c =============================================================================== 2.89/2.93 c | 0 | 2447 29521 87368 | 9840 0 nan | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c core #114 2.89/2.94 c Core size: 48 Core Weight: 1 Total Weight: -193 2.89/2.94 c Elapsed CPU time: 2.92156 s Remaining CPU time: 1797.08 s 2.89/2.97 c Learning 1 hard constraints 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 2464 29523 87398 | 9841 0 nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c core #115 2.89/2.97 c Core size: 17 Core Weight: 1 Total Weight: -192 2.89/2.97 c Elapsed CPU time: 2.95655 s Remaining CPU time: 1797.04 s 2.99/3.00 c Learning 2 hard constraints 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 2470 29530 87424 | 9843 0 nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c core #116 2.99/3.01 c Core size: 20 Core Weight: 1 Total Weight: -191 2.99/3.01 c Elapsed CPU time: 2.99354 s Remaining CPU time: 1797.01 s 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 2475 29532 87436 | 9844 0 nan | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c core #117 2.99/3.04 c Core size: 45 Core Weight: 1 Total Weight: -190 2.99/3.04 c Elapsed CPU time: 3.02854 s Remaining CPU time: 1796.97 s 2.99/3.08 c Learning 1 hard constraints 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 2490 29538 87477 | 9846 0 nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #118 2.99/3.08 c Core size: 17 Core Weight: 1 Total Weight: -189 2.99/3.08 c Elapsed CPU time: 3.06553 s Remaining CPU time: 1796.93 s 3.09/3.11 c Learning 2 hard constraints 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 2494 29543 87493 | 9847 0 nan | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c core #119 3.09/3.11 c Core size: 12 Core Weight: 1 Total Weight: -188 3.09/3.11 c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 2498 29546 87505 | 9848 0 nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c core #120 3.09/3.15 c Core size: 13 Core Weight: 1 Total Weight: -187 3.09/3.15 c Elapsed CPU time: 3.13452 s Remaining CPU time: 1796.87 s 3.09/3.18 c Learning 1 hard constraints 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 2503 29549 87521 | 9849 0 nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c core #121 3.09/3.18 c Core size: 32 Core Weight: 1 Total Weight: -186 3.09/3.18 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.19/3.22 c Learning 2 hard constraints 3.19/3.22 c ============================[ Search Statistics ]============================== 3.19/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.22 c =============================================================================== 3.19/3.22 c | 0 | 2512 29557 87556 | 9852 0 nan | 0.000 % | 3.19/3.22 c =============================================================================== 3.19/3.22 c core #122 3.19/3.22 c Core size: 32 Core Weight: 1 Total Weight: -185 3.19/3.22 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.19/3.25 c Learning 1 hard constraints 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 | 2520 29564 87585 | 9854 0 nan | 0.000 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c core #123 3.19/3.26 c Core size: 75 Core Weight: 1 Total Weight: -184 3.19/3.26 c Elapsed CPU time: 3.24151 s Remaining CPU time: 1796.76 s 3.19/3.29 c Learning 1 hard constraints 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 2540 29567 87631 | 9855 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #124 3.19/3.29 c Core size: 106 Core Weight: 1 Total Weight: -183 3.19/3.29 c Elapsed CPU time: 3.2785 s Remaining CPU time: 1796.72 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 | 2570 29569 87695 | 9856 0 nan | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c core #125 3.29/3.33 c Core size: 78 Core Weight: 1 Total Weight: -182 3.29/3.33 c Elapsed CPU time: 3.31549 s Remaining CPU time: 1796.68 s 3.29/3.36 c Learning 3 hard constraints 3.29/3.36 c ============================[ Search Statistics ]============================== 3.29/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.36 c =============================================================================== 3.29/3.36 c | 0 | 2590 29577 87753 | 9859 0 nan | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c core #126 3.29/3.36 c Core size: 26 Core Weight: 1 Total Weight: -181 3.29/3.36 c Elapsed CPU time: 3.35049 s Remaining CPU time: 1796.65 s 3.29/3.40 c Learning 3 hard constraints 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 | 2601 29582 87787 | 9860 0 nan | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c core #127 3.39/3.40 c Core size: 38 Core Weight: 1 Total Weight: -180 3.39/3.40 c Elapsed CPU time: 3.38449 s Remaining CPU time: 1796.62 s 3.39/3.43 c Learning 1 hard constraints 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 2611 29590 87821 | 9863 0 nan | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c core #128 3.39/3.43 c Core size: 23 Core Weight: 1 Total Weight: -179 3.39/3.43 c Elapsed CPU time: 3.41748 s Remaining CPU time: 1796.58 s 3.39/3.46 c Learning 1 hard constraints 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 2616 29592 87835 | 9864 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #129 3.39/3.47 c Core size: 21 Core Weight: 1 Total Weight: -178 3.39/3.47 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.49/3.50 c Learning 3 hard constraints 3.49/3.50 c ============================[ Search Statistics ]============================== 3.49/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.50 c =============================================================================== 3.49/3.50 c | 0 | 2619 29596 87847 | 9865 0 nan | 0.000 % | 3.49/3.50 c =============================================================================== 3.49/3.50 c core #130 3.49/3.50 c Core size: 23 Core Weight: 1 Total Weight: -177 3.49/3.50 c Elapsed CPU time: 3.48447 s Remaining CPU time: 1796.52 s 3.49/3.53 c Learning 1 hard constraints 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 2625 29598 87862 | 9866 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #131 3.49/3.54 c Core size: 29 Core Weight: 1 Total Weight: -176 3.49/3.54 c Elapsed CPU time: 3.52046 s Remaining CPU time: 1796.48 s 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 2633 29599 87878 | 9866 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #132 3.49/3.57 c Core size: 37 Core Weight: 1 Total Weight: -175 3.49/3.57 c Elapsed CPU time: 3.55546 s Remaining CPU time: 1796.44 s 3.59/3.60 c Learning 1 hard constraints 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 2645 29602 87906 | 9867 0 nan | 0.000 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c core #133 3.59/3.60 c Core size: 32 Core Weight: 1 Total Weight: -174 3.59/3.60 c Elapsed CPU time: 3.58745 s Remaining CPU time: 1796.41 s 3.59/3.64 c Learning 3 hard constraints 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 2653 29606 87932 | 9868 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #134 3.59/3.64 c Core size: 23 Core Weight: 1 Total Weight: -173 3.59/3.64 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.59/3.67 c Learning 2 hard constraints 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 2661 29613 87962 | 9871 0 nan | 0.000 % | 3.59/3.68 c =============================================================================== 3.59/3.68 c core #135 3.59/3.68 c Core size: 74 Core Weight: 1 Total Weight: -172 3.59/3.68 c Elapsed CPU time: 3.66144 s Remaining CPU time: 1796.34 s 3.69/3.71 c Learning 2 hard constraints 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 2684 29616 88014 | 9872 0 nan | 0.000 % | 3.69/3.72 c =============================================================================== 3.69/3.72 c core #136 3.69/3.72 c Core size: 103 Core Weight: 1 Total Weight: -171 3.69/3.72 c Elapsed CPU time: 3.69944 s Remaining CPU time: 1796.3 s 3.69/3.75 c Learning 4 hard constraints 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 2714 29621 88089 | 9873 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #137 3.69/3.76 c Core size: 127 Core Weight: 1 Total Weight: -170 3.69/3.76 c Elapsed CPU time: 3.74143 s Remaining CPU time: 1796.26 s 3.69/3.79 c Learning 6 hard constraints 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 2750 29629 88181 | 9876 0 nan | 0.000 % | 3.79/3.80 c | 100 | 2750 29629 88181 | 10863 100 13 | 0.652 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c core #138 3.79/3.80 c Core size: 115 Core Weight: 1 Total Weight: -169 3.79/3.80 c Elapsed CPU time: 3.78542 s Remaining CPU time: 1796.21 s 3.79/3.84 c Learning 11 hard constraints 3.79/3.84 c ============================[ Search Statistics ]============================== 3.79/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.84 c =============================================================================== 3.79/3.84 c | 0 | 2772 29643 88266 | 9881 0 nan | 0.000 % | 3.79/3.84 c | 103 | 2770 29643 88266 | 10869 103 13 | 1.003 % | 3.79/3.85 c =============================================================================== 3.79/3.85 c core #139 3.79/3.85 c Core size: 23 Core Weight: 1 Total Weight: -168 3.79/3.85 c Elapsed CPU time: 3.83042 s Remaining CPU time: 1796.17 s 3.79/3.88 c Learning 10 hard constraints 3.79/3.88 c ============================[ Search Statistics ]============================== 3.79/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.88 c =============================================================================== 3.79/3.88 c | 0 | 2774 29656 88299 | 9885 0 nan | 0.000 % | 3.79/3.89 c | 101 | 2767 29656 88299 | 10873 101 16 | 1.288 % | 3.79/3.90 c | 251 | 2767 29656 88299 | 11961 251 17 | 1.717 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c core #140 3.89/3.91 c Core size: 134 Core Weight: 1 Total Weight: -167 3.89/3.91 c Elapsed CPU time: 3.88941 s Remaining CPU time: 1796.11 s 3.89/3.94 c Learning 9 hard constraints 3.89/3.94 c ============================[ Search Statistics ]============================== 3.89/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.94 c =============================================================================== 3.89/3.94 c | 0 | 2823 29666 88424 | 9888 0 nan | 0.000 % | 3.89/3.95 c | 105 | 2823 29666 88424 | 10877 105 24 | 0.494 % | 3.89/3.96 c | 256 | 2818 29666 88424 | 11965 256 22 | 0.705 % | 3.89/3.97 c =============================================================================== 3.89/3.97 c core #141 3.89/3.97 c Core size: 191 Core Weight: 1 Total Weight: -166 3.89/3.97 c Elapsed CPU time: 3.9524 s Remaining CPU time: 1796.05 s 3.99/4.01 c Learning 9 hard constraints 3.99/4.01 c ============================[ Search Statistics ]============================== 3.99/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.01 c =============================================================================== 3.99/4.01 c | 0 | 2879 29676 88568 | 9892 0 nan | 0.000 % | 3.99/4.01 c =============================================================================== 3.99/4.01 c core #142 3.99/4.01 c Core size: 76 Core Weight: 1 Total Weight: -165 3.99/4.01 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 3.99/4.04 c Learning 10 hard constraints 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 2902 29689 88650 | 9896 0 nan | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c core #143 3.99/4.05 c Core size: 76 Core Weight: 1 Total Weight: -164 3.99/4.05 c Elapsed CPU time: 4.03039 s Remaining CPU time: 1795.97 s 3.99/4.08 c Learning 2 hard constraints 3.99/4.08 c ============================[ Search Statistics ]============================== 3.99/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.08 c =============================================================================== 3.99/4.08 c | 0 | 2923 29692 88699 | 9897 0 nan | 0.000 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c core #144 3.99/4.09 c Core size: 38 Core Weight: 1 Total Weight: -163 3.99/4.09 c Elapsed CPU time: 4.07038 s Remaining CPU time: 1795.93 s 4.09/4.12 c Learning 13 hard constraints 4.09/4.12 c ============================[ Search Statistics ]============================== 4.09/4.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.12 c =============================================================================== 4.09/4.12 c | 0 | 2933 29708 88772 | 9902 0 nan | 0.000 % | 4.09/4.13 c | 101 | 2924 29708 88772 | 10892 101 6 | 2.850 % | 4.09/4.13 c =============================================================================== 4.09/4.13 c core #145 4.09/4.13 c Core size: 140 Core Weight: 1 Total Weight: -162 4.09/4.13 c Elapsed CPU time: 4.10938 s Remaining CPU time: 1795.89 s 4.09/4.16 c Learning 13 hard constraints 4.09/4.16 c ============================[ Search Statistics ]============================== 4.09/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.16 c =============================================================================== 4.09/4.16 c | 0 | 2976 29722 88900 | 9907 0 nan | 0.000 % | 4.09/4.17 c | 102 | 2974 29722 88900 | 10898 102 8 | 0.569 % | 4.09/4.18 c | 252 | 2974 29722 88900 | 11987 252 12 | 0.569 % | 4.09/4.19 c | 477 | 2960 29722 88900 | 13186 477 13 | 1.538 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c core #146 4.09/4.19 c Core size: 330 Core Weight: 1 Total Weight: -161 4.09/4.19 c Elapsed CPU time: 4.17136 s Remaining CPU time: 1795.83 s 4.19/4.23 c Learning 47 hard constraints 4.19/4.23 c ============================[ Search Statistics ]============================== 4.19/4.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.23 c =============================================================================== 4.19/4.23 c | 0 | 3030 29771 89181 | 9923 0 nan | 0.000 % | 4.19/4.24 c | 100 | 3030 29771 89181 | 10916 100 12 | 0.689 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c core #147 4.19/4.24 c Core size: 200 Core Weight: 1 Total Weight: -160 4.19/4.24 c Elapsed CPU time: 4.21736 s Remaining CPU time: 1795.78 s 4.19/4.27 c Learning 22 hard constraints 4.19/4.27 c ============================[ Search Statistics ]============================== 4.19/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.27 c =============================================================================== 4.19/4.27 c | 0 | 3074 29796 89347 | 9932 0 nan | 0.000 % | 4.19/4.28 c | 101 | 3074 29796 89347 | 10925 101 26 | 0.550 % | 4.19/4.29 c | 251 | 3074 29796 89347 | 12017 251 20 | 0.550 % | 4.29/4.30 c | 476 | 3074 29796 89347 | 13219 476 18 | 0.550 % | 4.29/4.32 c | 814 | 3072 29796 89347 | 14541 814 18 | 0.647 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c core #148 4.29/4.33 c Core size: 439 Core Weight: 1 Total Weight: -159 4.29/4.33 c Elapsed CPU time: 4.30434 s Remaining CPU time: 1795.7 s 4.29/4.37 c Learning 45 hard constraints 4.29/4.37 c ============================[ Search Statistics ]============================== 4.29/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.37 c =============================================================================== 4.29/4.37 c | 0 | 3151 29842 89648 | 9947 0 nan | 0.000 % | 4.29/4.37 c | 100 | 3151 29842 89648 | 10942 100 23 | 0.537 % | 4.29/4.38 c | 251 | 3151 29842 89648 | 12036 251 16 | 0.537 % | 4.29/4.39 c =============================================================================== 4.29/4.39 c core #149 4.29/4.39 c Core size: 176 Core Weight: 1 Total Weight: -158 4.29/4.39 c Elapsed CPU time: 4.35934 s Remaining CPU time: 1795.64 s 4.40/4.42 c Learning 38 hard constraints 4.40/4.42 c ============================[ Search Statistics ]============================== 4.40/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.42 c =============================================================================== 4.40/4.42 c | 0 | 3182 29881 89837 | 9960 0 nan | 0.000 % | 4.40/4.43 c | 101 | 3181 29881 89837 | 10956 101 22 | 0.563 % | 4.40/4.44 c | 251 | 3181 29881 89837 | 12052 251 27 | 0.563 % | 4.40/4.45 c | 476 | 3181 29881 89837 | 13257 476 25 | 0.563 % | 4.40/4.47 c | 813 | 3181 29881 89837 | 14582 813 26 | 0.564 % | 4.49/4.51 c | 1321 | 3178 29881 89837 | 16041 1321 27 | 0.688 % | 4.49/4.59 c | 2081 | 3171 29881 89837 | 17645 1836 31 | 1.063 % | 4.59/4.70 c =============================================================================== 4.69/4.72 c core #150 4.69/4.72 c Core size: 418 Core Weight: 1 Total Weight: -157 4.69/4.72 c Elapsed CPU time: 4.68729 s Remaining CPU time: 1795.31 s 4.69/4.76 c Learning 34 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 | 3264 29916 90108 | 9972 0 nan | 0.000 % | 4.69/4.77 c | 100 | 3263 29916 90108 | 10969 100 31 | 0.549 % | 4.69/4.78 c | 250 | 3262 29916 90108 | 12066 250 30 | 0.579 % | 4.69/4.79 c | 476 | 3262 29916 90108 | 13272 476 33 | 0.579 % | 4.79/4.82 c | 813 | 3262 29916 90108 | 14600 813 34 | 0.579 % | 4.79/4.86 c | 1324 | 3262 29916 90108 | 16060 1322 35 | 0.579 % | 4.89/4.94 c | 2083 | 3262 29916 90108 | 17666 2081 35 | 0.579 % | 4.99/5.08 c | 3222 | 3261 29916 90108 | 19432 3219 36 | 0.610 % | 5.19/5.26 c | 4931 | 3261 29916 90108 | 21375 4928 38 | 0.610 % | 5.59/5.63 c | 7496 | 3261 29916 90108 | 23513 7493 39 | 0.610 % | 5.98/6.03 c =============================================================================== 6.08/6.11 c core #151 6.08/6.11 c Core size: 981 Core Weight: 1 Total Weight: -156 6.08/6.11 c Elapsed CPU time: 6.05408 s Remaining CPU time: 1793.95 s 6.08/6.15 c Learning 127 hard constraints 6.08/6.15 c ============================[ Search Statistics ]============================== 6.08/6.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.15 c =============================================================================== 6.08/6.15 c | 0 | 3389 30047 90817 | 10015 0 nan | 0.000 % | 6.08/6.16 c | 102 | 3389 30047 90817 | 11017 102 15 | 0.499 % | 6.08/6.17 c | 252 | 3388 30047 90817 | 12118 252 14 | 0.529 % | 6.08/6.18 c | 477 | 3388 30047 90817 | 13330 477 20 | 0.528 % | 6.19/6.20 c | 815 | 3388 30047 90817 | 14663 815 22 | 0.528 % | 6.19/6.24 c | 1321 | 3388 30047 90817 | 16130 1321 24 | 0.528 % | 6.28/6.31 c | 2080 | 3376 30047 90817 | 17743 2079 26 | 1.145 % | 6.28/6.33 c =============================================================================== 6.28/6.35 c core #152 6.28/6.35 c Core size: 326 Core Weight: 1 Total Weight: -155 6.28/6.35 c Elapsed CPU time: 6.27405 s Remaining CPU time: 1793.73 s 6.28/6.38 c Learning 50 hard constraints 6.28/6.38 c ============================[ Search Statistics ]============================== 6.28/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.28/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.28/6.38 c =============================================================================== 6.28/6.38 c | 0 | 3435 30098 91087 | 10032 0 nan | 0.000 % | 6.28/6.39 c | 100 | 3435 30098 91087 | 11035 100 65 | 0.521 % | 6.28/6.39 c | 250 | 3435 30098 91087 | 12139 250 42 | 0.521 % | 6.39/6.41 c | 476 | 3435 30098 91087 | 13353 476 40 | 0.521 % | 6.39/6.44 c | 813 | 3435 30098 91087 | 14688 813 45 | 0.550 % | 6.39/6.50 c | 1322 | 3434 30098 91087 | 16157 1321 54 | 0.550 % | 6.49/6.60 c | 2081 | 3434 30098 91087 | 17773 2080 55 | 0.550 % | 6.69/6.76 c | 3224 | 3434 30098 91087 | 19550 3223 53 | 0.550 % | 6.99/7.01 c | 4933 | 3428 30098 91087 | 21505 4909 48 | 0.724 % | 7.18/7.28 c | 7495 | 3428 30098 91087 | 23656 7471 45 | 0.724 % | 7.79/7.87 c | 11339 | 3428 30098 91087 | 26022 11315 47 | 0.724 % | 9.19/9.23 c | 17106 | 3428 30098 91087 | 28624 17082 47 | 0.724 % | 9.79/9.84 c =============================================================================== 9.99/10.00 c core #153 9.99/10.00 c Core size: 613 Core Weight: 1 Total Weight: -154 9.99/10.00 c Elapsed CPU time: 9.8715 s Remaining CPU time: 1790.13 s 9.99/10.05 c Learning 84 hard constraints 9.99/10.05 c ============================[ Search Statistics ]============================== 9.99/10.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.05 c =============================================================================== 9.99/10.05 c | 0 | 3515 30183 91548 | 10061 0 nan | 0.000 % | 9.99/10.07 c | 100 | 3515 30183 91548 | 11067 100 50 | 0.510 % | 9.99/10.08 c | 251 | 3515 30183 91548 | 12173 251 45 | 0.510 % | 9.99/10.09 c | 478 | 3515 30183 91548 | 13391 478 46 | 0.509 % | 10.08/10.11 c | 815 | 3515 30183 91548 | 14730 815 40 | 0.509 % | 10.08/10.14 c | 1322 | 3515 30183 91548 | 16203 1322 37 | 0.509 % | 10.19/10.20 c | 2081 | 3515 30183 91548 | 17823 2081 37 | 0.509 % | 10.19/10.23 c =============================================================================== 10.19/10.24 c core #154 10.19/10.24 c Core size: 331 Core Weight: 1 Total Weight: -153 10.19/10.24 c Elapsed CPU time: 10.1025 s Remaining CPU time: 1789.9 s 10.19/10.27 c Learning 88 hard constraints 10.19/10.27 c ============================[ Search Statistics ]============================== 10.19/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.27 c =============================================================================== 10.19/10.27 c | 0 | 3573 30272 91971 | 10090 0 nan | 0.000 % | 10.19/10.28 c | 100 | 3573 30272 91971 | 11099 100 62 | 0.501 % | 10.19/10.29 c | 251 | 3570 30272 91971 | 12209 251 35 | 0.585 % | 10.29/10.30 c | 478 | 3570 30272 91971 | 13430 478 29 | 0.585 % | 10.29/10.32 c | 816 | 3570 30272 91971 | 14773 816 26 | 0.585 % | 10.29/10.35 c | 1322 | 3570 30272 91971 | 16251 1322 25 | 0.585 % | 10.38/10.41 c | 2082 | 3570 30272 91971 | 17876 2079 24 | 0.585 % | 10.48/10.51 c | 3223 | 3570 30272 91971 | 19663 3220 26 | 0.585 % | 10.69/10.70 c | 4931 | 3570 30272 91971 | 21630 4928 28 | 0.585 % | 11.08/11.11 c | 7495 | 3558 30272 91971 | 23793 7490 31 | 1.031 % | 11.08/11.12 c =============================================================================== 11.18/11.20 c core #155 11.18/11.20 c Core size: 476 Core Weight: 1 Total Weight: -152 11.18/11.20 c Elapsed CPU time: 11.0483 s Remaining CPU time: 1788.95 s 11.18/11.25 c Learning 83 hard constraints 11.18/11.25 c ============================[ Search Statistics ]============================== 11.18/11.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.25 c =============================================================================== 11.18/11.25 c | 0 | 3618 30356 92356 | 10118 0 nan | 0.000 % | 11.18/11.26 c | 100 | 3618 30356 92356 | 11130 100 34 | 0.522 % | 11.18/11.27 c | 251 | 3618 30356 92356 | 12243 251 33 | 0.522 % | 11.18/11.28 c | 477 | 3618 30356 92356 | 13467 477 31 | 0.522 % | 11.28/11.30 c | 814 | 3618 30356 92356 | 14814 814 35 | 0.522 % | 11.28/11.34 c | 1321 | 3617 30356 92356 | 16296 1320 35 | 0.550 % | 11.39/11.41 c | 2080 | 3617 30356 92356 | 17925 2079 39 | 0.550 % | 11.49/11.51 c | 3219 | 3617 30356 92356 | 19718 3218 39 | 0.550 % | 11.68/11.75 c | 4927 | 3616 30356 92356 | 21690 4925 40 | 0.577 % | 12.09/12.17 c | 7490 | 3616 30356 92356 | 23859 7488 41 | 0.577 % | 12.88/12.94 c | 11335 | 3612 30356 92356 | 26245 11277 41 | 0.687 % | 14.28/14.30 c | 17101 | 3608 30356 92356 | 28869 17043 41 | 0.797 % | 14.78/14.86 c =============================================================================== 14.98/15.07 c core #156 14.98/15.07 c Core size: 450 Core Weight: 1 Total Weight: -151 14.98/15.07 c Elapsed CPU time: 14.8787 s Remaining CPU time: 1785.12 s 15.08/15.12 c Learning 53 hard constraints 15.08/15.12 c ============================[ Search Statistics ]============================== 15.08/15.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.08/15.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.08/15.12 c =============================================================================== 15.08/15.12 c | 0 | 3676 30410 92662 | 10136 0 nan | 0.000 % | 15.08/15.13 c | 100 | 3676 30410 92662 | 11150 100 33 | 0.514 % | 15.08/15.14 c | 251 | 3676 30410 92662 | 12265 251 29 | 0.514 % | 15.08/15.15 c | 479 | 3676 30410 92662 | 13491 479 32 | 0.514 % | 15.08/15.17 c | 819 | 3676 30410 92662 | 14841 819 34 | 0.514 % | 15.19/15.21 c | 1325 | 3676 30410 92662 | 16325 1325 40 | 0.514 % | 15.29/15.30 c | 2085 | 3676 30410 92662 | 17957 2085 47 | 0.514 % | 15.39/15.44 c | 3224 | 3676 30410 92662 | 19753 3224 48 | 0.514 % | 15.69/15.73 c | 4935 | 3676 30410 92662 | 21728 4935 56 | 0.514 % | 16.08/16.11 c | 7497 | 3676 30410 92662 | 23901 7497 59 | 0.514 % | 16.68/16.79 c | 11342 | 3676 30410 92662 | 26291 11342 60 | 0.514 % | 18.48/18.58 c | 17109 | 3676 30410 92662 | 28921 17109 61 | 0.514 % | 23.48/23.58 c | 25765 | 3676 30410 92662 | 31813 25765 61 | 0.514 % | 29.28/29.33 c | 38746 | 3663 30410 92662 | 34994 19562 52 | 1.353 % | 31.38/31.45 c =============================================================================== 31.88/31.98 c core #157 31.88/31.98 c Core size: 542 Core Weight: 1 Total Weight: -150 31.88/31.98 c Elapsed CPU time: 31.6432 s Remaining CPU time: 1768.36 s 31.97/32.06 c Learning 38 hard constraints 31.97/32.06 c ============================[ Search Statistics ]============================== 31.97/32.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.97/32.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.97/32.06 c =============================================================================== 31.97/32.06 c | 0 | 3757 30449 92949 | 10149 0 nan | 0.000 % | 31.97/32.08 c | 102 | 3757 30449 92949 | 11164 102 42 | 0.582 % | 31.97/32.09 c | 252 | 3757 30449 92949 | 12281 252 43 | 0.582 % | 32.07/32.10 c | 481 | 3757 30449 92949 | 13509 481 45 | 0.582 % | 32.07/32.12 c | 822 | 3757 30449 92949 | 14860 822 47 | 0.582 % | 32.07/32.17 c | 1328 | 3757 30449 92949 | 16346 1328 53 | 0.582 % | 32.17/32.25 c | 2087 | 3757 30449 92949 | 17980 2087 58 | 0.582 % | 32.27/32.38 c | 3227 | 3757 30449 92949 | 19778 3227 61 | 0.582 % | 32.57/32.66 c | 4936 | 3757 30449 92949 | 21756 4936 67 | 0.582 % | 33.17/33.23 c | 7500 | 3757 30449 92949 | 23932 7500 71 | 0.582 % | 34.27/34.30 c | 11345 | 3757 30449 92949 | 26325 11345 76 | 0.582 % | 35.58/35.69 c | 17111 | 3757 30449 92949 | 28958 17111 78 | 0.582 % | 40.27/40.36 c | 25760 | 3757 30449 92949 | 31854 25760 82 | 0.582 % | 46.86/46.99 c | 38736 | 3757 30449 92949 | 35039 19553 85 | 0.582 % | 63.96/64.05 c | 58202 | 3757 30449 92949 | 38543 16747 84 | 0.582 % | 90.45/90.54 c | 87396 | 3756 30449 92949 | 42397 20889 77 | 0.609 % | 107.04/107.16 c =============================================================================== 108.95/109.04 c core #158 108.95/109.04 c Core size: 693 Core Weight: 1 Total Weight: -149 108.95/109.04 c Elapsed CPU time: 108.324 s Remaining CPU time: 1691.68 s 109.04/109.20 c Learning 54 hard constraints 109.04/109.20 c ============================[ Search Statistics ]============================== 109.04/109.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 109.04/109.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 109.04/109.20 c =============================================================================== 109.04/109.20 c | 0 | 3828 30504 93261 | 10168 0 nan | 0.000 % | 109.14/109.23 c | 101 | 3828 30504 93261 | 11184 101 67 | 0.571 % | 109.14/109.24 c | 251 | 3828 30504 93261 | 12303 251 48 | 0.571 % | 109.14/109.25 c | 480 | 3828 30504 93261 | 13533 480 32 | 0.571 % | 109.14/109.27 c | 817 | 3828 30504 93261 | 14886 817 26 | 0.571 % | 109.24/109.30 c | 1323 | 3828 30504 93261 | 16375 1323 25 | 0.571 % | 109.24/109.35 c | 2082 | 3828 30504 93261 | 18013 2082 24 | 0.572 % | 109.35/109.44 c | 3221 | 3777 30504 93261 | 19814 780 24 | 2.052 % | 109.35/109.48 c =============================================================================== 109.45/109.51 c core #159 109.45/109.51 c Core size: 372 Core Weight: 1 Total Weight: -148 109.45/109.51 c Elapsed CPU time: 108.778 s Remaining CPU time: 1691.22 s 109.45/109.55 c Learning 16 hard constraints 109.45/109.55 c ============================[ Search Statistics ]============================== 109.45/109.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 109.45/109.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 109.45/109.55 c =============================================================================== 109.45/109.55 c | 0 | 3891 30521 93447 | 10173 0 nan | 0.000 % | 109.45/109.56 c | 100 | 3891 30521 93447 | 11191 100 30 | 0.562 % | 109.45/109.57 c | 251 | 3891 30521 93447 | 12310 251 27 | 0.562 % | 109.45/109.58 c | 479 | 3891 30521 93447 | 13541 479 25 | 0.562 % | 109.54/109.60 c | 818 | 3891 30521 93447 | 14895 818 27 | 0.562 % | 109.54/109.64 c | 1324 | 3891 30521 93447 | 16384 1324 28 | 0.562 % | 109.64/109.71 c | 2083 | 3891 30521 93447 | 18023 2083 29 | 0.562 % | 109.74/109.82 c | 3224 | 3891 30521 93447 | 19825 3224 30 | 0.562 % | 109.94/110.05 c | 4938 | 3891 30521 93447 | 21808 4938 37 | 0.562 % | 110.55/110.60 c | 7501 | 3891 30521 93447 | 23988 7501 40 | 0.562 % | 111.34/111.48 c | 11345 | 3891 30521 93447 | 26387 11345 39 | 0.562 % | 113.33/113.46 c | 17111 | 3891 30521 93447 | 29026 17111 41 | 0.562 % | 118.84/118.90 c | 25765 | 3890 30521 93447 | 31929 25764 46 | 0.588 % | 123.44/123.56 c =============================================================================== 123.94/124.10 c core #160 123.94/124.10 c Core size: 673 Core Weight: 1 Total Weight: -147 123.94/124.10 c Elapsed CPU time: 123.302 s Remaining CPU time: 1676.7 s 124.04/124.19 c Learning 68 hard constraints 124.04/124.19 c ============================[ Search Statistics ]============================== 124.04/124.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.04/124.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.04/124.19 c =============================================================================== 124.04/124.19 c | 0 | 3952 30590 93805 | 10196 0 nan | 0.000 % | 124.14/124.22 c | 102 | 3952 30590 93805 | 11216 102 87 | 0.554 % | 124.14/124.22 c | 253 | 3952 30590 93805 | 12337 253 58 | 0.554 % | 124.14/124.24 c | 478 | 3952 30590 93805 | 13571 478 54 | 0.554 % | 124.14/124.27 c | 816 | 3952 30590 93805 | 14928 816 55 | 0.554 % | 124.24/124.32 c | 1322 | 3952 30590 93805 | 16421 1322 61 | 0.554 % | 124.34/124.42 c | 2083 | 3952 30590 93805 | 18064 2083 70 | 0.554 % | 124.44/124.57 c | 3228 | 3952 30590 93805 | 19870 3228 77 | 0.554 % | 124.74/124.86 c | 4936 | 3952 30590 93805 | 21857 4936 84 | 0.554 % | 125.04/125.15 c | 7498 | 3952 30590 93805 | 24043 7498 72 | 0.554 % | 125.74/125.85 c | 11346 | 3952 30590 93805 | 26447 11346 77 | 0.554 % | 127.23/127.30 c | 17112 | 3952 30590 93805 | 29092 17112 82 | 0.554 % | 130.34/130.42 c | 25762 | 3952 30590 93805 | 32001 25762 85 | 0.554 % | 138.33/138.47 c | 38737 | 3952 30590 93805 | 35201 19115 96 | 0.554 % | 148.33/148.43 c | 58206 | 3952 30590 93805 | 38721 16010 92 | 0.554 % | 169.82/169.98 c | 87400 | 3952 30590 93805 | 42594 20432 64 | 0.554 % | 197.30/197.44 c | 131193 | 3952 30590 93805 | 46853 33784 105 | 0.554 % | 253.37/253.58 c | 196877 | 3952 30590 93805 | 51538 33623 78 | 0.554 % | 311.65/311.86 c =============================================================================== 317.94/318.11 c core #161 317.94/318.11 c Core size: 852 Core Weight: 1 Total Weight: -146 317.94/318.11 c Elapsed CPU time: 316.263 s Remaining CPU time: 1483.74 s 318.24/318.46 c Learning 25 hard constraints 318.24/318.46 c ============================[ Search Statistics ]============================== 318.24/318.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 318.24/318.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 318.24/318.46 c =============================================================================== 318.24/318.46 c | 0 | 4044 30616 94080 | 10205 0 nan | 0.000 % | 318.34/318.53 c | 102 | 4044 30616 94080 | 11225 102 72 | 0.541 % | 318.34/318.53 c | 253 | 4044 30616 94080 | 12348 253 42 | 0.541 % | 318.34/318.55 c | 479 | 4044 30616 94080 | 13583 479 41 | 0.541 % | 318.34/318.57 c | 816 | 4044 30616 94080 | 14941 816 45 | 0.541 % | 318.44/318.61 c | 1322 | 4044 30616 94080 | 16435 1322 46 | 0.541 % | 318.44/318.69 c | 2084 | 4044 30616 94080 | 18079 2084 48 | 0.541 % | 318.65/318.85 c | 3223 | 4044 30616 94080 | 19887 3223 49 | 0.541 % | 318.94/319.10 c | 4934 | 4044 30616 94080 | 21876 4934 57 | 0.541 % | 319.55/319.71 c | 7497 | 4044 30616 94080 | 24063 7497 64 | 0.541 % | 320.55/320.71 c | 11341 | 4044 30616 94080 | 26470 11341 72 | 0.541 % | 322.43/322.63 c | 17109 | 4044 30616 94080 | 29117 17109 79 | 0.541 % | 329.13/329.33 c | 25759 | 4044 30616 94080 | 32028 25759 84 | 0.541 % | 339.63/339.84 c | 38735 | 4044 30616 94080 | 35231 19504 86 | 0.541 % | 364.82/365.04 c | 58200 | 4044 30616 94080 | 38754 17682 91 | 0.541 % | 397.31/397.53 c | 87398 | 4044 30616 94080 | 42630 22507 90 | 0.541 % | 414.09/414.39 c | 131188 | 4044 30616 94080 | 46893 35663 41 | 0.541 % | 452.68/452.92 c =============================================================================== 454.68/454.96 c core #162 454.68/454.96 c Core size: 277 Core Weight: 1 Total Weight: -145 454.68/454.96 c Elapsed CPU time: 452.563 s Remaining CPU time: 1347.44 s 454.98/455.21 c Learning 17 hard constraints 454.98/455.21 c ============================[ Search Statistics ]============================== 454.98/455.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 454.98/455.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 454.98/455.21 c =============================================================================== 454.98/455.21 c | 0 | 4097 30634 94243 | 10211 0 nan | 0.000 % | 454.98/455.26 c | 107 | 4097 30634 94243 | 11232 107 45 | 0.534 % | 454.98/455.28 c | 257 | 4097 30634 94243 | 12355 257 42 | 0.534 % | 454.98/455.29 c | 483 | 4097 30634 94243 | 13591 483 40 | 0.534 % | 455.08/455.32 c | 821 | 4097 30634 94243 | 14950 821 40 | 0.534 % | 455.08/455.36 c | 1327 | 4097 30634 94243 | 16445 1327 35 | 0.534 % | 455.18/455.42 c | 2087 | 4097 30634 94243 | 18089 2087 34 | 0.534 % | 455.28/455.56 c | 3226 | 4097 30634 94243 | 19898 3226 34 | 0.534 % | 455.48/455.76 c | 4939 | 4097 30634 94243 | 21888 4939 37 | 0.534 % | 455.98/456.29 c | 7502 | 4097 30634 94243 | 24077 7502 44 | 0.534 % | 457.18/457.48 c | 11348 | 4097 30634 94243 | 26485 11348 47 | 0.534 % | 460.08/460.39 c | 17116 | 4096 30634 94243 | 29134 17115 50 | 0.558 % | 465.28/465.59 c | 25770 | 4096 30634 94243 | 32047 25769 52 | 0.558 % | 475.97/476.24 c | 38745 | 4096 30634 94243 | 35252 19551 58 | 0.558 % | 492.46/492.78 c | 58206 | 4096 30634 94243 | 38777 17504 55 | 0.558 % | 510.25/510.51 c | 87401 | 4096 30634 94243 | 42655 20018 70 | 0.558 % | 541.44/541.72 c | 131193 | 4096 30634 94243 | 46920 35117 64 | 0.558 % | 583.42/583.75 c | 196877 | 4096 30634 94243 | 51612 36002 63 | 0.558 % | 664.39/664.79 c | 295406 | 4096 30634 94243 | 56774 22291 67 | 0.558 % | 809.11/809.56 c | 443199 | 4096 30634 94243 | 62451 44634 78 | 0.558 % | 945.94/946.46 c =============================================================================== 961.72/962.20 c core #163 961.72/962.20 c Core size: 1160 Core Weight: 1 Total Weight: -144 961.72/962.20 c Elapsed CPU time: 957.639 s Remaining CPU time: 842.361 s 962.43/962.90 c Learning 29 hard constraints 962.43/962.90 c ============================[ Search Statistics ]============================== 962.43/962.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 962.43/962.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 962.43/962.90 c =============================================================================== 962.43/962.90 c | 0 | 4163 30664 94467 | 10221 0 nan | 0.000 % | 962.53/963.03 c | 102 | 4163 30664 94467 | 11243 102 53 | 0.526 % | 962.53/963.06 c | 252 | 4163 30664 94467 | 12367 252 55 | 0.526 % | 962.53/963.09 c | 482 | 4163 30664 94467 | 13604 482 70 | 0.526 % | 962.63/963.13 c | 819 | 4163 30664 94467 | 14965 819 83 | 0.526 % | 962.63/963.19 c | 1325 | 4163 30664 94467 | 16461 1325 91 | 0.526 % | 962.73/963.29 c | 2085 | 4163 30664 94467 | 18107 2085 92 | 0.526 % | 962.93/963.43 c | 3226 | 4163 30664 94467 | 19918 3226 90 | 0.526 % | 963.23/963.73 c | 4936 | 4163 30664 94467 | 21910 4936 96 | 0.526 % | 963.93/964.45 c | 7505 | 4163 30664 94467 | 24101 7505 103 | 0.526 % | 965.52/966.05 c | 11349 | 4163 30664 94467 | 26511 11349 106 | 0.526 % | 968.03/968.52 c | 17116 | 4163 30664 94467 | 29162 17116 107 | 0.526 % | 972.83/973.37 c | 25766 | 4163 30664 94467 | 32078 25766 114 | 0.526 % | 982.02/982.55 c | 38748 | 4163 30664 94467 | 35286 19579 117 | 0.526 % | 1004.61/1005.18 c | 58217 | 4163 30664 94467 | 38815 17151 117 | 0.526 % | 1040.59/1041.18 c | 87409 | 4163 30664 94467 | 42697 21183 100 | 0.526 % | 1062.18/1062.70 c | 131199 | 4163 30664 94467 | 46966 34407 71 | 0.526 % | 1122.36/1122.91 c | 196884 | 4162 30664 94467 | 51663 31891 70 | 0.550 % | 1259.10/1259.77 c =============================================================================== 1263.99/1264.60 c core #164 1263.99/1264.60 c Core size: 829 Core Weight: 1 Total Weight: -143 1263.99/1264.60 c Elapsed CPU time: 1259.11 s Remaining CPU time: 540.894 s 1264.39/1265.01 c Learning 76 hard constraints 1264.39/1265.01 c ============================[ Search Statistics ]============================== 1264.39/1265.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1264.39/1265.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1264.39/1265.01 c =============================================================================== 1264.39/1265.01 c | 0 | 4205 30741 94805 | 10247 0 nan | 0.000 % | 1264.49/1265.10 c | 103 | 4204 30741 94805 | 11271 103 50 | 0.544 % | 1264.49/1265.11 c | 253 | 4204 30741 94805 | 12398 253 36 | 0.544 % | 1264.49/1265.16 c | 481 | 4204 30741 94805 | 13638 481 47 | 0.544 % | 1264.49/1265.19 c | 818 | 4204 30741 94805 | 15002 818 56 | 0.544 % | 1264.59/1265.26 c | 1324 | 4204 30741 94805 | 16502 1323 72 | 0.544 % | 1264.69/1265.37 c | 2083 | 4204 30741 94805 | 18153 2082 78 | 0.544 % | 1264.89/1265.55 c | 3224 | 4204 30741 94805 | 19968 3223 89 | 0.544 % | 1265.19/1265.85 c | 4935 | 4204 30741 94805 | 21965 4934 91 | 0.544 % | 1265.69/1266.31 c | 7498 | 4204 30741 94805 | 24161 7497 82 | 0.544 % | 1266.39/1267.01 c | 11343 | 4204 30741 94805 | 26578 11342 77 | 0.544 % | 1268.49/1269.13 c | 17109 | 4204 30741 94805 | 29235 17108 80 | 0.544 % | 1272.38/1273.00 c | 25758 | 4204 30741 94805 | 32159 25757 82 | 0.544 % | 1280.18/1280.85 c | 38732 | 4204 30741 94805 | 35375 19241 82 | 0.544 % | 1294.28/1294.98 c | 58193 | 4204 30741 94805 | 38912 16145 85 | 0.544 % | 1327.46/1328.20 c | 87385 | 4204 30741 94805 | 42804 20945 104 | 0.544 % | 1380.84/1381.59 c | 131180 | 4204 30741 94805 | 47084 35554 124 | 0.544 % | 1433.81/1434.55 c | 196865 | 4204 30741 94805 | 51793 32729 103 | 0.544 % | 1507.18/1507.97 c | 295394 | 4203 30741 94805 | 56972 16841 96 | 0.568 % | 1722.17/1723.00 c | 443184 | 4203 30741 94805 | 62669 38916 111 | 0.568 % |
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-1874915-1245219218/watcher-1874915-1245219218 -o /tmp/evaluation-result-1874915-1245219218/solver-1874915-1245219218 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874915-1245219218.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.97 0.97 3/64 8214 /proc/meminfo: memFree=1854184/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=3616 CPUtime=0 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 189518488 3702784 211 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 904 213 129 292 0 374 0 [startup+0.0947369 s] /proc/loadavg: 0.99 0.97 0.97 3/64 8214 /proc/meminfo: memFree=1854184/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=4592 CPUtime=0.09 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 189518488 4702208 647 1992294400 134512640 135709839 4294956240 18446744073709551615 134542941 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1148 647 303 292 0 618 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4592 [startup+0.102739 s] /proc/loadavg: 0.99 0.97 0.97 3/64 8214 /proc/meminfo: memFree=1854184/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=4724 CPUtime=0.09 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 189518488 4837376 682 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1181 682 318 292 0 651 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4724 [startup+0.302777 s] /proc/loadavg: 0.99 0.97 0.97 3/64 8214 /proc/meminfo: memFree=1854184/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=5944 CPUtime=0.29 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 1330 0 0 0 29 0 0 0 19 0 1 0 189518488 6086656 1021 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1486 1021 133 292 0 1191 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5944 [startup+0.701849 s] /proc/loadavg: 0.99 0.97 0.97 3/64 8214 /proc/meminfo: memFree=1854184/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=5944 CPUtime=0.69 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 1330 0 0 0 69 0 0 0 23 0 1 0 189518488 6086656 1021 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1486 1021 133 292 0 1191 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5944 [startup+1.50199 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1850528/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=6448 CPUtime=1.49 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 1489 0 0 0 148 1 0 0 25 0 1 0 189518488 6602752 1151 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1612 1151 133 292 0 1317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6448 [startup+3.10129 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1849632/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=6976 CPUtime=3.09 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 1865 0 0 0 308 1 0 0 25 0 1 0 189518488 7143424 1304 1992294400 134512640 135709839 4294956240 18446744073709551615 135165877 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 1744 1304 135 292 0 1449 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6976 [startup+6.30187 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1847536/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=11476 CPUtime=6.28 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 3028 0 0 0 622 6 0 0 25 0 1 0 189518488 11751424 2399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 2869 2399 136 292 0 2574 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11476 [startup+12.701 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1838968/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=17136 CPUtime=12.68 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 4458 0 0 0 1252 16 0 0 25 0 1 0 189518488 17547264 3829 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 4284 3829 136 292 0 3989 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17136 [startup+25.5024 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1829240/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=27352 CPUtime=25.48 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 6991 0 0 0 2521 27 0 0 25 0 1 0 189518488 28008448 6362 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 6838 6362 136 292 0 6543 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27352 [startup+51.101 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1812984/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=43728 CPUtime=51.07 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 11114 0 0 0 5065 42 0 0 25 0 1 0 189518488 44777472 10485 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 10932 10485 136 292 0 10637 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43728 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1778296/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=78092 CPUtime=102.25 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 19623 0 0 0 10161 64 0 0 25 0 1 0 189518488 79966208 18994 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 19523 18994 136 292 0 19228 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 78092 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1754168/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=102264 CPUtime=162.22 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 25780 0 0 0 16125 97 0 0 25 0 1 0 189518488 104718336 25109 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 25566 25109 136 292 0 25271 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 102264 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1701688/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=154536 CPUtime=222.19 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 38776 0 0 0 22090 129 0 0 25 0 1 0 189518488 158244864 38105 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 38634 38105 136 292 0 38339 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 154536 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1663224/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=193256 CPUtime=282.16 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 48447 0 0 0 28063 153 0 0 25 0 1 0 189518488 197894144 47776 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 48314 47776 136 292 0 48019 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 193256 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1626488/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=229752 CPUtime=342.13 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 57494 0 0 0 34034 179 0 0 25 0 1 0 189518488 235266048 56823 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 57438 56823 136 292 0 57143 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 229752 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1625080/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=231204 CPUtime=402.11 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 57975 0 0 0 40018 193 0 0 25 0 1 0 189518488 236752896 57304 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 57801 57304 136 292 0 57506 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 231204 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1599096/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=256712 CPUtime=462.08 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 64300 0 0 0 45986 222 0 0 25 0 1 0 189518488 262873088 63629 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 64178 63629 136 292 0 63883 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 256712 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1585912/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=269904 CPUtime=522.05 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 67675 0 0 0 51965 240 0 0 25 0 1 0 189518488 276381696 67004 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 67476 67004 136 292 0 67181 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 269904 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1548408/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=307632 CPUtime=582.03 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 77067 0 0 0 57937 266 0 0 25 0 1 0 189518488 315015168 76396 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 76908 76396 136 292 0 76613 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 307632 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1510456/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=345156 CPUtime=642 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 86391 0 0 0 63911 289 0 0 25 0 1 0 189518488 353439744 85720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 86289 85720 136 292 0 85994 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 345156 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1387256/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=468524 CPUtime=881.86 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 117116 0 0 0 87812 374 0 0 25 0 1 0 189518488 479768576 116445 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 117131 116445 136 292 0 116836 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 468524 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1343672/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=513452 CPUtime=941.84 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 128337 0 0 0 93780 404 0 0 25 0 1 0 189518488 525774848 127666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 128363 127666 136 292 0 128068 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 513452 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1315768/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=538920 CPUtime=1001.8 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 134980 0 0 0 99757 423 0 0 25 0 1 0 189518488 551854080 134247 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 134730 134247 136 292 0 134435 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 538920 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1315704/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=538920 CPUtime=1061.78 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 135007 0 0 0 105738 440 0 0 25 0 1 0 189518488 551854080 134274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 134730 134274 136 292 0 134435 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 538920 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1303288/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=551624 CPUtime=1121.76 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 138121 0 0 0 111720 456 0 0 25 0 1 0 189518488 564862976 137388 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 137906 137388 136 292 0 137611 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 551624 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1290360/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=564700 CPUtime=1181.73 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 141371 0 0 0 117703 470 0 0 25 0 1 0 189518488 578252800 140638 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 141175 140638 136 292 0 140880 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 564700 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1273848/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=581112 CPUtime=1241.7 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 145421 0 0 0 123685 485 0 0 25 0 1 0 189518488 595058688 144688 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 145278 144688 136 292 0 144983 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 581112 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1268600/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=586084 CPUtime=1301.68 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 146674 0 0 0 129662 506 0 0 25 0 1 0 189518488 600150016 145941 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 146521 145941 136 292 0 146226 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 586084 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1246776/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=608144 CPUtime=1361.64 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 152263 0 0 0 135643 521 0 0 25 0 1 0 189518488 622739456 151530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 152036 151530 136 292 0 151741 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 608144 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1209720/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=644940 CPUtime=1421.62 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 161386 0 0 0 141620 542 0 0 25 0 1 0 189518488 660418560 160653 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 161235 160653 136 292 0 160940 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 644940 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1168248/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=686508 CPUtime=1481.59 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 171798 0 0 0 147587 572 0 0 25 0 1 0 189518488 702984192 171065 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 171627 171065 136 292 0 171332 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 686508 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1136120/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=718352 CPUtime=1541.56 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 179719 0 0 0 153561 595 0 0 25 0 1 0 189518488 735592448 178986 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 179588 178986 136 292 0 179293 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 718352 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1114232/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=740412 CPUtime=1601.52 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 185213 0 0 0 159542 610 0 0 25 0 1 0 189518488 758181888 184480 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 185103 184480 136 292 0 184808 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 740412 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1089912/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=764832 CPUtime=1661.5 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 191246 0 0 0 165525 625 0 0 25 0 1 0 189518488 783187968 190513 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 191208 190513 136 292 0 190913 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 764832 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1063544/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=791412 CPUtime=1721.47 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 197851 0 0 0 171506 641 0 0 25 0 1 0 189518488 810405888 197118 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 197853 197118 136 292 0 197558 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 791412 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1023160/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=831860 CPUtime=1781.45 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 207903 0 0 0 177477 668 0 0 25 0 1 0 189518488 851824640 207170 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 207965 207170 136 292 0 207670 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 831860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1012024/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=842808 CPUtime=1800.05 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4194304 210639 0 0 0 179329 676 0 0 25 0 1 0 189518488 863035392 209906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 210702 209906 136 292 0 210407 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 842808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 0.99 0.97 0.97 2/65 8215 /proc/meminfo: memFree=1012024/2055920 swapFree=4181856/4192956 [pid=8214] ppid=8212 vsize=0 CPUtime=1800.15 /proc/8214/stat : 8214 (wbo) R 8212 8214 8082 0 -1 4195332 210639 0 0 0 179329 686 0 0 25 0 1 0 189518488 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8214/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.03 CPU time (s): 1800.18 CPU user time (s): 1793.29 CPU system time (s): 6.89295 CPU usage (%): 99.9529 Max. virtual memory (cumulated for all children) (KiB): 842808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.29 system time used= 6.89295 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 210639 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= 5 involuntary context switches= 6682 runsolver used 1.90671 second user time and 4.67629 second system time The end
Begin job on node44 at 2009-06-17 08:13:38 IDJOB=1874915 IDBENCH=71826 IDSOLVER=698 FILE ID=node44/1874915-1245219218 PBS_JOBID= 9368429 Free space on /tmp= 65924 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.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-1874915-1245219218/watcher-1874915-1245219218 -o /tmp/evaluation-result-1874915-1245219218/solver-1874915-1245219218 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874915-1245219218.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c18c3db09a696b172987b81aa567120d RANDOM SEED=1125953243 node44.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.263 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.263 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: 1854664 kB Buffers: 16456 kB Cached: 102284 kB SwapCached: 5156 kB Active: 27344 kB Inactive: 99572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854664 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 3312 kB Writeback: 0 kB Mapped: 13972 kB Slab: 60268 kB Committed_AS: 196612 kB PageTables: 1384 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-1874915-1245219218.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-17 08:43:41