Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.21 | 1800.72 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb |
MD5SUM | a25a52544be0f6847f2aa8f54184e900 |
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 | -68 |
Best CPU time to get the best result obtained on this benchmark | 3.85241 |
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 | 29069 |
Number of constraints which are clauses | 29069 |
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 | 347 |
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 | 347 |
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-1874914-1245219134.opb. 0.00/0.00 c Instance file HOME/instance-1874914-1245219134.opb 0.00/0.00 c File size is 961894 bytes. 0.09/0.13 c Highest Coefficient sum: 4 0.09/0.13 c ============================[ Problem Statistics ]============================= 0.09/0.13 c | | 0.09/0.13 c | Parsing time: 0.13 s | 0.09/0.13 c | Number Variables: 2025 | 0.09/0.13 c | Number Clauses: 29204 | 0.09/0.13 c | Number Cardinality: 0 | 0.09/0.13 c | Number PB Constraints: 0 | 0.09/0.13 c core #1 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: -346 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.15 c core #2 0.09/0.15 c Core size: 6 Core Weight: 1 Total Weight: -345 0.09/0.15 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.16 c core #3 0.09/0.16 c Core size: 5 Core Weight: 2 Total Weight: -343 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 5 Core Weight: 2 Total Weight: -341 0.09/0.18 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #5 0.19/0.20 c Core size: 5 Core Weight: 3 Total Weight: -338 0.19/0.20 c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #6 0.19/0.22 c Core size: 7 Core Weight: 1 Total Weight: -337 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #7 0.19/0.24 c Core size: 6 Core Weight: 2 Total Weight: -335 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #8 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: -334 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #9 0.19/0.27 c Core size: 6 Core Weight: 2 Total Weight: -332 0.19/0.27 c Elapsed CPU time: 0.271958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #10 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: -331 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #11 0.29/0.31 c Core size: 5 Core Weight: 1 Total Weight: -330 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #12 0.29/0.33 c Core size: 5 Core Weight: 4 Total Weight: -326 0.29/0.33 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #13 0.29/0.35 c Core size: 6 Core Weight: 2 Total Weight: -324 0.29/0.35 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #14 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -323 0.29/0.37 c Elapsed CPU time: 0.366944 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #15 0.29/0.39 c Core size: 5 Core Weight: 1 Total Weight: -322 0.29/0.39 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #16 0.39/0.41 c Core size: 6 Core Weight: 1 Total Weight: -321 0.39/0.41 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #17 0.39/0.42 c Core size: 7 Core Weight: 2 Total Weight: -319 0.39/0.42 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #18 0.39/0.44 c Core size: 7 Core Weight: 1 Total Weight: -318 0.39/0.44 c Elapsed CPU time: 0.442932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #19 0.39/0.46 c Core size: 5 Core Weight: 2 Total Weight: -316 0.39/0.46 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.39/0.49 c core #20 0.39/0.49 c Core size: 6 Core Weight: 1 Total Weight: -315 0.39/0.49 c Elapsed CPU time: 0.484926 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #21 0.49/0.51 c Core size: 5 Core Weight: 4 Total Weight: -311 0.49/0.51 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #22 0.49/0.53 c Core size: 5 Core Weight: 1 Total Weight: -310 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #23 0.49/0.55 c Core size: 6 Core Weight: 1 Total Weight: -309 0.49/0.55 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #24 0.49/0.57 c Core size: 6 Core Weight: 2 Total Weight: -307 0.49/0.57 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #25 0.49/0.59 c Core size: 6 Core Weight: 1 Total Weight: -306 0.49/0.59 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 0.59/0.62 c core #26 0.59/0.62 c Core size: 7 Core Weight: 1 Total Weight: -305 0.59/0.62 c Elapsed CPU time: 0.612906 s Remaining CPU time: 1799.39 s 0.59/0.64 c core #27 0.59/0.64 c Core size: 5 Core Weight: 1 Total Weight: -304 0.59/0.64 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 0.59/0.66 c core #28 0.59/0.66 c Core size: 6 Core Weight: 1 Total Weight: -303 0.59/0.66 c Elapsed CPU time: 0.6569 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #29 0.59/0.68 c Core size: 7 Core Weight: 2 Total Weight: -301 0.59/0.68 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #30 0.69/0.70 c Core size: 7 Core Weight: 1 Total Weight: -300 0.69/0.70 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.73 c core #31 0.69/0.73 c Core size: 5 Core Weight: 2 Total Weight: -298 0.69/0.73 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.75 c core #32 0.69/0.75 c Core size: 6 Core Weight: 1 Total Weight: -297 0.69/0.75 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #33 0.69/0.77 c Core size: 5 Core Weight: 2 Total Weight: -295 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.80 c core #34 0.69/0.80 c Core size: 6 Core Weight: 2 Total Weight: -293 0.69/0.80 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #35 0.79/0.82 c Core size: 5 Core Weight: 1 Total Weight: -292 0.79/0.82 c Elapsed CPU time: 0.814876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #36 0.79/0.84 c Core size: 5 Core Weight: 2 Total Weight: -290 0.79/0.84 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #37 0.79/0.86 c Core size: 6 Core Weight: 1 Total Weight: -289 0.79/0.86 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #38 0.79/0.89 c Core size: 6 Core Weight: 1 Total Weight: -288 0.79/0.89 c Elapsed CPU time: 0.883865 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #39 0.89/0.91 c Core size: 6 Core Weight: 1 Total Weight: -287 0.89/0.91 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #40 0.89/0.93 c Core size: 5 Core Weight: 4 Total Weight: -283 0.89/0.93 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.96 c core #41 0.89/0.96 c Core size: 6 Core Weight: 1 Total Weight: -282 0.89/0.96 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.89/0.98 c core #42 0.89/0.98 c Core size: 5 Core Weight: 3 Total Weight: -279 0.89/0.98 c Elapsed CPU time: 0.977851 s Remaining CPU time: 1799.02 s 0.99/1.01 c core #43 0.99/1.01 c Core size: 5 Core Weight: 1 Total Weight: -278 0.99/1.01 c Elapsed CPU time: 1.00185 s Remaining CPU time: 1799 s 0.99/1.03 c core #44 0.99/1.03 c Core size: 6 Core Weight: 1 Total Weight: -277 0.99/1.03 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 0.99/1.05 c core #45 0.99/1.05 c Core size: 7 Core Weight: 1 Total Weight: -276 0.99/1.05 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 0.99/1.08 c core #46 0.99/1.08 c Core size: 5 Core Weight: 1 Total Weight: -275 0.99/1.08 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 1.09/1.10 c core #47 1.09/1.10 c Core size: 5 Core Weight: 1 Total Weight: -274 1.09/1.10 c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s 1.09/1.13 c core #48 1.09/1.13 c Core size: 5 Core Weight: 1 Total Weight: -273 1.09/1.13 c Elapsed CPU time: 1.12383 s Remaining CPU time: 1798.88 s 1.09/1.15 c core #49 1.09/1.15 c Core size: 7 Core Weight: 2 Total Weight: -271 1.09/1.15 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.09/1.18 c core #50 1.09/1.18 c Core size: 6 Core Weight: 2 Total Weight: -269 1.09/1.18 c Elapsed CPU time: 1.17282 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #51 1.19/1.20 c Core size: 9 Core Weight: 1 Total Weight: -268 1.19/1.20 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #52 1.19/1.23 c Core size: 11 Core Weight: 2 Total Weight: -266 1.19/1.23 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #53 1.19/1.25 c Core size: 11 Core Weight: 1 Total Weight: -265 1.19/1.25 c Elapsed CPU time: 1.24981 s Remaining CPU time: 1798.75 s 1.19/1.28 c core #54 1.19/1.28 c Core size: 11 Core Weight: 1 Total Weight: -264 1.19/1.28 c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #55 1.29/1.31 c Core size: 11 Core Weight: 2 Total Weight: -262 1.29/1.31 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.33 c core #56 1.29/1.33 c Core size: 11 Core Weight: 1 Total Weight: -261 1.29/1.33 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #57 1.29/1.36 c Core size: 11 Core Weight: 1 Total Weight: -260 1.29/1.36 c Elapsed CPU time: 1.35479 s Remaining CPU time: 1798.65 s 1.29/1.39 c core #58 1.29/1.39 c Core size: 11 Core Weight: 1 Total Weight: -259 1.29/1.39 c Elapsed CPU time: 1.38379 s Remaining CPU time: 1798.62 s 1.39/1.42 c core #59 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -258 1.39/1.42 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.39/1.44 c core #60 1.39/1.44 c Core size: 11 Core Weight: 1 Total Weight: -257 1.39/1.44 c Elapsed CPU time: 1.43978 s Remaining CPU time: 1798.56 s 1.39/1.47 c core #61 1.39/1.47 c Core size: 11 Core Weight: 1 Total Weight: -256 1.39/1.47 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.49/1.50 c core #62 1.49/1.50 c Core size: 11 Core Weight: 1 Total Weight: -255 1.49/1.50 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.49/1.53 c core #63 1.49/1.53 c Core size: 9 Core Weight: 1 Total Weight: -254 1.49/1.53 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.56 c core #64 1.49/1.56 c Core size: 9 Core Weight: 1 Total Weight: -253 1.49/1.56 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.49/1.59 c core #65 1.49/1.59 c Core size: 10 Core Weight: 1 Total Weight: -252 1.49/1.59 c Elapsed CPU time: 1.58176 s Remaining CPU time: 1798.42 s 1.59/1.62 c core #66 1.59/1.62 c Core size: 10 Core Weight: 1 Total Weight: -251 1.59/1.62 c Elapsed CPU time: 1.61076 s Remaining CPU time: 1798.39 s 1.59/1.65 c core #67 1.59/1.65 c Core size: 10 Core Weight: 1 Total Weight: -250 1.59/1.65 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.59/1.67 c core #68 1.59/1.67 c Core size: 10 Core Weight: 1 Total Weight: -249 1.59/1.67 c Elapsed CPU time: 1.66875 s Remaining CPU time: 1798.33 s 1.69/1.70 c core #69 1.69/1.70 c Core size: 13 Core Weight: 1 Total Weight: -248 1.69/1.70 c Elapsed CPU time: 1.69874 s Remaining CPU time: 1798.3 s 1.69/1.74 c core #70 1.69/1.74 c Core size: 9 Core Weight: 2 Total Weight: -246 1.69/1.74 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.69/1.77 c core #71 1.69/1.77 c Core size: 10 Core Weight: 1 Total Weight: -245 1.69/1.77 c Elapsed CPU time: 1.76173 s Remaining CPU time: 1798.24 s 1.79/1.80 c core #72 1.79/1.80 c Core size: 9 Core Weight: 1 Total Weight: -244 1.79/1.80 c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s 1.79/1.83 c core #73 1.79/1.83 c Core size: 11 Core Weight: 1 Total Weight: -243 1.79/1.83 c Elapsed CPU time: 1.82372 s Remaining CPU time: 1798.18 s 1.79/1.86 c core #74 1.79/1.86 c Core size: 10 Core Weight: 1 Total Weight: -242 1.79/1.86 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.79/1.89 c core #75 1.79/1.89 c Core size: 10 Core Weight: 1 Total Weight: -241 1.79/1.89 c Elapsed CPU time: 1.88671 s Remaining CPU time: 1798.11 s 1.89/1.92 c core #76 1.89/1.92 c Core size: 9 Core Weight: 1 Total Weight: -240 1.89/1.92 c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s 1.89/1.96 c core #77 1.89/1.96 c Core size: 8 Core Weight: 1 Total Weight: -239 1.89/1.96 c Elapsed CPU time: 1.9517 s Remaining CPU time: 1798.05 s 1.89/1.99 c core #78 1.89/1.99 c Core size: 9 Core Weight: 2 Total Weight: -237 1.89/1.99 c Elapsed CPU time: 1.9837 s Remaining CPU time: 1798.02 s 1.99/2.02 c core #79 1.99/2.02 c Core size: 11 Core Weight: 1 Total Weight: -236 1.99/2.02 c Elapsed CPU time: 2.01569 s Remaining CPU time: 1797.98 s 1.99/2.05 c core #80 1.99/2.05 c Core size: 12 Core Weight: 1 Total Weight: -235 1.99/2.05 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 1.99/2.09 c core #81 1.99/2.09 c Core size: 9 Core Weight: 1 Total Weight: -234 1.99/2.09 c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s 2.09/2.12 c core #82 2.09/2.12 c Core size: 13 Core Weight: 1 Total Weight: -233 2.09/2.12 c Elapsed CPU time: 2.11668 s Remaining CPU time: 1797.88 s 2.09/2.16 c core #83 2.09/2.16 c Core size: 16 Core Weight: 1 Total Weight: -232 2.09/2.16 c Elapsed CPU time: 2.15067 s Remaining CPU time: 1797.85 s 2.09/2.19 c core #84 2.09/2.19 c Core size: 9 Core Weight: 1 Total Weight: -231 2.09/2.19 c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s 2.19/2.22 c core #85 2.19/2.22 c Core size: 11 Core Weight: 1 Total Weight: -230 2.19/2.22 c Elapsed CPU time: 2.21666 s Remaining CPU time: 1797.78 s 2.19/2.25 c core #86 2.19/2.25 c Core size: 9 Core Weight: 2 Total Weight: -228 2.19/2.25 c Elapsed CPU time: 2.24866 s Remaining CPU time: 1797.75 s 2.19/2.29 c core #87 2.19/2.29 c Core size: 8 Core Weight: 1 Total Weight: -227 2.19/2.29 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.29/2.32 c ============================[ Search Statistics ]============================== 2.29/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.32 c =============================================================================== 2.29/2.32 c | 0 | 2243 29410 86258 | 9803 0 nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c core #88 2.29/2.32 c Core size: 11 Core Weight: 1 Total Weight: -226 2.29/2.32 c Elapsed CPU time: 2.31465 s Remaining CPU time: 1797.69 s 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 | 2258 29414 86410 | 9804 0 nan | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c core #89 2.29/2.36 c Core size: 12 Core Weight: 1 Total Weight: -225 2.29/2.36 c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s 2.29/2.39 c Learning 1 hard constraints 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 | 2262 29418 86421 | 9806 0 nan | 0.000 % | 2.29/2.39 c =============================================================================== 2.29/2.39 c core #90 2.29/2.39 c Core size: 18 Core Weight: 1 Total Weight: -224 2.29/2.39 c Elapsed CPU time: 2.38564 s Remaining CPU time: 1797.61 s 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 | 2278 29419 86633 | 9806 0 nan | 0.000 % | 2.39/2.43 c =============================================================================== 2.39/2.43 c core #91 2.39/2.43 c Core size: 17 Core Weight: 1 Total Weight: -223 2.39/2.43 c Elapsed CPU time: 2.41963 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 | 2283 29424 86651 | 9808 0 nan | 0.000 % | 2.39/2.46 c =============================================================================== 2.39/2.46 c core #92 2.39/2.46 c Core size: 28 Core Weight: 1 Total Weight: -222 2.39/2.46 c Elapsed CPU time: 2.45563 s Remaining CPU time: 1797.54 s 2.39/2.50 c ============================[ Search Statistics ]============================== 2.39/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.50 c =============================================================================== 2.39/2.50 c | 0 | 2293 29431 86680 | 9810 0 nan | 0.000 % | 2.39/2.50 c =============================================================================== 2.39/2.50 c core #93 2.39/2.50 c Core size: 25 Core Weight: 1 Total Weight: -221 2.39/2.50 c Elapsed CPU time: 2.48862 s Remaining CPU time: 1797.51 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 | 2305 29437 86869 | 9812 0 nan | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c core #94 2.49/2.53 c Core size: 21 Core Weight: 1 Total Weight: -220 2.49/2.53 c Elapsed CPU time: 2.52362 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 | 2246 29440 86876 | 9813 0 nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c core #95 2.49/2.56 c Core size: 20 Core Weight: 1 Total Weight: -219 2.49/2.56 c Elapsed CPU time: 2.55661 s Remaining CPU time: 1797.44 s 2.49/2.60 c ============================[ Search Statistics ]============================== 2.49/2.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.60 c =============================================================================== 2.49/2.60 c | 0 | 2315 29444 86893 | 9814 0 nan | 0.000 % | 2.59/2.60 c =============================================================================== 2.59/2.60 c core #96 2.59/2.60 c Core size: 35 Core Weight: 1 Total Weight: -218 2.59/2.60 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.59/2.63 c Learning 2 hard constraints 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.63 c | 0 | 2330 29453 86964 | 9817 0 nan | 0.000 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c core #97 2.59/2.63 c Core size: 23 Core Weight: 1 Total Weight: -217 2.59/2.63 c Elapsed CPU time: 2.6246 s Remaining CPU time: 1797.38 s 2.59/2.66 c Learning 2 hard constraints 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 | 2338 29456 86986 | 9818 0 nan | 0.000 % | 2.59/2.67 c =============================================================================== 2.59/2.67 c core #98 2.59/2.67 c Core size: 15 Core Weight: 1 Total Weight: -216 2.59/2.67 c Elapsed CPU time: 2.6586 s Remaining CPU time: 1797.34 s 2.69/2.70 c Learning 2 hard constraints 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 2343 29459 87002 | 9819 0 nan | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c core #99 2.69/2.70 c Core size: 17 Core Weight: 1 Total Weight: -215 2.69/2.70 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.69/2.73 c Learning 1 hard constraints 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 2349 29461 87017 | 9820 0 nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c core #100 2.69/2.74 c Core size: 21 Core Weight: 1 Total Weight: -214 2.69/2.74 c Elapsed CPU time: 2.72959 s Remaining CPU time: 1797.27 s 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 2356 29465 87037 | 9821 0 nan | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c core #101 2.69/2.77 c Core size: 35 Core Weight: 1 Total Weight: -213 2.69/2.77 c Elapsed CPU time: 2.76258 s Remaining CPU time: 1797.24 s 2.79/2.80 c Learning 1 hard constraints 2.79/2.80 c ============================[ Search Statistics ]============================== 2.79/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.80 c =============================================================================== 2.79/2.80 c | 0 | 2364 29467 87056 | 9822 0 nan | 0.000 % | 2.79/2.81 c =============================================================================== 2.79/2.81 c core #102 2.79/2.81 c Core size: 49 Core Weight: 1 Total Weight: -212 2.79/2.81 c Elapsed CPU time: 2.79957 s Remaining CPU time: 1797.2 s 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 2378 29470 87088 | 9823 0 nan | 0.000 % | 2.79/2.84 c =============================================================================== 2.79/2.84 c core #103 2.79/2.84 c Core size: 35 Core Weight: 1 Total Weight: -211 2.79/2.84 c Elapsed CPU time: 2.83357 s Remaining CPU time: 1797.17 s 2.79/2.88 c Learning 1 hard constraints 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 2389 29472 87114 | 9824 0 nan | 0.000 % | 2.79/2.88 c =============================================================================== 2.79/2.88 c core #104 2.79/2.88 c Core size: 37 Core Weight: 1 Total Weight: -210 2.79/2.88 c Elapsed CPU time: 2.87156 s Remaining CPU time: 1797.13 s 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 2399 29475 87138 | 9825 0 nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c core #105 2.89/2.92 c Core size: 41 Core Weight: 1 Total Weight: -209 2.89/2.92 c Elapsed CPU time: 2.90756 s Remaining CPU time: 1797.09 s 2.89/2.95 c Learning 3 hard constraints 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 2411 29483 87182 | 9827 0 nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #106 2.89/2.95 c Core size: 33 Core Weight: 1 Total Weight: -208 2.89/2.95 c Elapsed CPU time: 2.94355 s Remaining CPU time: 1797.06 s 2.89/2.98 c Learning 1 hard constraints 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 2421 29485 87206 | 9828 0 nan | 0.000 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c core #107 2.89/2.99 c Core size: 48 Core Weight: 1 Total Weight: -207 2.89/2.99 c Elapsed CPU time: 2.97955 s Remaining CPU time: 1797.02 s 2.99/3.02 c Learning 1 hard constraints 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 2434 29489 87240 | 9829 0 nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c core #108 2.99/3.02 c Core size: 39 Core Weight: 1 Total Weight: -206 2.99/3.02 c Elapsed CPU time: 3.01454 s Remaining CPU time: 1796.99 s 2.99/3.06 c Learning 2 hard constraints 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 2444 29492 87267 | 9830 0 nan | 0.000 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c core #109 2.99/3.06 c Core size: 11 Core Weight: 2 Total Weight: -204 2.99/3.06 c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 s 2.99/3.09 c Learning 3 hard constraints 2.99/3.09 c ============================[ Search Statistics ]============================== 2.99/3.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.09 c =============================================================================== 2.99/3.09 c | 0 | 2447 29496 87282 | 9832 0 nan | 0.000 % | 2.99/3.10 c =============================================================================== 2.99/3.10 c core #110 2.99/3.10 c Core size: 11 Core Weight: 1 Total Weight: -203 2.99/3.10 c Elapsed CPU time: 3.08653 s Remaining CPU time: 1796.91 s 3.09/3.13 c Learning 2 hard constraints 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 2450 29499 87294 | 9833 0 nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c core #111 3.09/3.13 c Core size: 25 Core Weight: 1 Total Weight: -202 3.09/3.13 c Elapsed CPU time: 3.12153 s Remaining CPU time: 1796.88 s 3.09/3.17 c Learning 1 hard constraints 3.09/3.17 c ============================[ Search Statistics ]============================== 3.09/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.17 c =============================================================================== 3.09/3.17 c | 0 | 2457 29503 87316 | 9834 0 nan | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c core #112 3.09/3.17 c Core size: 38 Core Weight: 1 Total Weight: -201 3.09/3.17 c Elapsed CPU time: 3.15952 s Remaining CPU time: 1796.84 s 3.19/3.21 c Learning 2 hard constraints 3.19/3.21 c ============================[ Search Statistics ]============================== 3.19/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.21 c =============================================================================== 3.19/3.21 c | 0 | 2469 29511 87356 | 9837 0 nan | 0.000 % | 3.19/3.21 c =============================================================================== 3.19/3.21 c core #113 3.19/3.21 c Core size: 21 Core Weight: 1 Total Weight: -200 3.19/3.21 c Elapsed CPU time: 3.19751 s Remaining CPU time: 1796.8 s 3.19/3.24 c Learning 2 hard constraints 3.19/3.24 c ============================[ Search Statistics ]============================== 3.19/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.24 c =============================================================================== 3.19/3.24 c | 0 | 2476 29514 87378 | 9838 0 nan | 0.000 % | 3.19/3.25 c =============================================================================== 3.19/3.25 c core #114 3.19/3.25 c Core size: 72 Core Weight: 1 Total Weight: -199 3.19/3.25 c Elapsed CPU time: 3.23651 s Remaining CPU time: 1796.76 s 3.19/3.28 c Learning 4 hard constraints 3.19/3.28 c ============================[ Search Statistics ]============================== 3.19/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.28 c =============================================================================== 3.19/3.28 c | 0 | 2501 29523 87448 | 9841 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #115 3.19/3.29 c Core size: 25 Core Weight: 1 Total Weight: -198 3.19/3.29 c Elapsed CPU time: 3.2745 s Remaining CPU time: 1796.73 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 | 2509 29525 87468 | 9841 0 nan | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c core #116 3.29/3.32 c Core size: 17 Core Weight: 1 Total Weight: -197 3.29/3.32 c Elapsed CPU time: 3.3115 s Remaining CPU time: 1796.69 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 | 2515 29529 87488 | 9843 0 nan | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c core #117 3.29/3.36 c Core size: 64 Core Weight: 1 Total Weight: -196 3.29/3.36 c Elapsed CPU time: 3.34849 s Remaining CPU time: 1796.65 s 3.29/3.39 c ============================[ Search Statistics ]============================== 3.29/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.39 c =============================================================================== 3.29/3.39 c | 0 | 2537 29531 87534 | 9843 0 nan | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c core #118 3.39/3.40 c Core size: 99 Core Weight: 1 Total Weight: -195 3.39/3.40 c Elapsed CPU time: 3.38648 s Remaining CPU time: 1796.61 s 3.39/3.43 c Learning 3 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 | 2567 29535 87603 | 9845 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #119 3.39/3.44 c Core size: 13 Core Weight: 1 Total Weight: -194 3.39/3.44 c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s 3.39/3.47 c Learning 1 hard constraints 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 2564 29539 87609 | 9846 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #120 3.39/3.47 c Core size: 17 Core Weight: 1 Total Weight: -193 3.39/3.47 c Elapsed CPU time: 3.46147 s Remaining CPU time: 1796.54 s 3.49/3.51 c Learning 1 hard constraints 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 2575 29543 87632 | 9847 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #121 3.49/3.51 c Core size: 14 Core Weight: 2 Total Weight: -191 3.49/3.51 c Elapsed CPU time: 3.49847 s Remaining CPU time: 1796.5 s 3.49/3.54 c Learning 1 hard constraints 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 2578 29545 87640 | 9848 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #122 3.49/3.55 c Core size: 27 Core Weight: 1 Total Weight: -190 3.49/3.55 c Elapsed CPU time: 3.53546 s Remaining CPU time: 1796.46 s 3.49/3.58 c Learning 1 hard constraints 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 2586 29551 87670 | 9850 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #123 3.49/3.58 c Core size: 26 Core Weight: 1 Total Weight: -189 3.49/3.58 c Elapsed CPU time: 3.57246 s Remaining CPU time: 1796.43 s 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 2596 29552 87690 | 9850 0 nan | 0.000 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c core #124 3.59/3.62 c Core size: 14 Core Weight: 1 Total Weight: -188 3.59/3.62 c Elapsed CPU time: 3.60845 s Remaining CPU time: 1796.39 s 3.59/3.65 c Learning 3 hard constraints 3.59/3.65 c core #125 3.59/3.65 c Core size: 8 Core Weight: 1 Total Weight: -187 3.59/3.65 c Elapsed CPU time: 3.64345 s Remaining CPU time: 1796.36 s 3.59/3.69 c ============================[ Search Statistics ]============================== 3.59/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.69 c =============================================================================== 3.59/3.69 c | 0 | 2600 29560 87710 | 9853 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #126 3.59/3.69 c Core size: 11 Core Weight: 1 Total Weight: -186 3.59/3.69 c Elapsed CPU time: 3.67744 s Remaining CPU time: 1796.32 s 3.69/3.72 c Learning 1 hard constraints 3.69/3.72 c ============================[ Search Statistics ]============================== 3.69/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.72 c =============================================================================== 3.69/3.72 c | 0 | 2601 29562 87714 | 9854 0 nan | 0.000 % | 3.69/3.73 c =============================================================================== 3.69/3.73 c core #127 3.69/3.73 c Core size: 16 Core Weight: 1 Total Weight: -185 3.69/3.73 c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s 3.69/3.76 c Learning 1 hard constraints 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 2606 29564 87726 | 9854 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #128 3.69/3.76 c Core size: 40 Core Weight: 1 Total Weight: -184 3.69/3.76 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.69/3.79 c Learning 3 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 | 2615 29573 87764 | 9857 0 nan | 0.000 % | 3.69/3.80 c =============================================================================== 3.79/3.80 c core #129 3.79/3.80 c Core size: 18 Core Weight: 1 Total Weight: -183 3.79/3.80 c Elapsed CPU time: 3.78542 s Remaining CPU time: 1796.21 s 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 2623 29574 87780 | 9858 0 nan | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c core #130 3.79/3.83 c Core size: 16 Core Weight: 1 Total Weight: -182 3.79/3.83 c Elapsed CPU time: 3.82242 s Remaining CPU time: 1796.18 s 3.79/3.87 c ============================[ Search Statistics ]============================== 3.79/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.87 c =============================================================================== 3.79/3.87 c | 0 | 2630 29577 87798 | 9859 0 nan | 0.000 % | 3.79/3.87 c =============================================================================== 3.79/3.87 c core #131 3.79/3.87 c Core size: 16 Core Weight: 1 Total Weight: -181 3.79/3.87 c Elapsed CPU time: 3.85841 s Remaining CPU time: 1796.14 s 3.89/3.90 c ============================[ Search Statistics ]============================== 3.89/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.90 c =============================================================================== 3.89/3.90 c | 0 | 2636 29578 87810 | 9859 0 nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c core #132 3.89/3.91 c Core size: 60 Core Weight: 1 Total Weight: -180 3.89/3.91 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.89/3.94 c Learning 1 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 | 2656 29583 87858 | 9861 0 nan | 0.000 % | 3.89/3.94 c =============================================================================== 3.89/3.94 c core #133 3.89/3.94 c Core size: 43 Core Weight: 1 Total Weight: -179 3.89/3.94 c Elapsed CPU time: 3.9314 s Remaining CPU time: 1796.07 s 3.89/3.98 c Learning 3 hard constraints 3.89/3.98 c ============================[ Search Statistics ]============================== 3.89/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.98 c =============================================================================== 3.89/3.98 c | 0 | 2669 29588 87894 | 9862 0 nan | 0.000 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c core #134 3.89/3.98 c Core size: 10 Core Weight: 1 Total Weight: -178 3.89/3.98 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 3.99/4.01 c Learning 3 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 | 2672 29592 87910 | 9864 0 nan | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c core #135 3.99/4.02 c Core size: 8 Core Weight: 2 Total Weight: -176 3.99/4.02 c Elapsed CPU time: 4.00439 s Remaining CPU time: 1796 s 3.99/4.05 c Learning 1 hard constraints 3.99/4.05 c ============================[ Search Statistics ]============================== 3.99/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.05 c =============================================================================== 3.99/4.05 c | 0 | 2674 29594 87916 | 9864 0 nan | 0.000 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c core #136 3.99/4.06 c Core size: 66 Core Weight: 1 Total Weight: -175 3.99/4.06 c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s 3.99/4.09 c Learning 4 hard constraints 3.99/4.09 c ============================[ Search Statistics ]============================== 3.99/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.09 c =============================================================================== 3.99/4.09 c | 0 | 2695 29599 87970 | 9866 0 nan | 0.000 % | 3.99/4.09 c =============================================================================== 3.99/4.09 c core #137 3.99/4.09 c Core size: 26 Core Weight: 1 Total Weight: -174 3.99/4.09 c Elapsed CPU time: 4.08138 s Remaining CPU time: 1795.92 s 4.09/4.13 c Learning 1 hard constraints 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 2703 29601 87988 | 9867 0 nan | 0.000 % | 4.09/4.13 c =============================================================================== 4.09/4.13 c core #138 4.09/4.13 c Core size: 22 Core Weight: 1 Total Weight: -173 4.09/4.13 c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s 4.09/4.17 c Learning 2 hard constraints 4.09/4.17 c ============================[ Search Statistics ]============================== 4.09/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.17 c =============================================================================== 4.09/4.17 c | 0 | 2710 29604 88007 | 9868 0 nan | 0.000 % | 4.09/4.17 c =============================================================================== 4.09/4.17 c core #139 4.09/4.17 c Core size: 104 Core Weight: 1 Total Weight: -172 4.09/4.17 c Elapsed CPU time: 4.15837 s Remaining CPU time: 1795.84 s 4.19/4.21 c Learning 4 hard constraints 4.19/4.21 c ============================[ Search Statistics ]============================== 4.19/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.21 c =============================================================================== 4.19/4.21 c | 0 | 2744 29610 88091 | 9870 0 nan | 0.000 % | 4.19/4.21 c =============================================================================== 4.19/4.21 c core #140 4.19/4.21 c Core size: 128 Core Weight: 1 Total Weight: -171 4.19/4.21 c Elapsed CPU time: 4.20136 s Remaining CPU time: 1795.8 s 4.19/4.25 c Learning 10 hard constraints 4.19/4.25 c ============================[ Search Statistics ]============================== 4.19/4.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.25 c =============================================================================== 4.19/4.25 c | 0 | 2764 29624 88171 | 9874 0 nan | 0.000 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c core #141 4.19/4.25 c Core size: 16 Core Weight: 1 Total Weight: -170 4.19/4.25 c Elapsed CPU time: 4.23935 s Remaining CPU time: 1795.76 s 4.19/4.29 c Learning 3 hard constraints 4.19/4.29 c ============================[ Search Statistics ]============================== 4.19/4.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.29 c =============================================================================== 4.19/4.29 c | 0 | 2771 29631 88204 | 9877 0 nan | 0.000 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c core #142 4.19/4.29 c Core size: 10 Core Weight: 1 Total Weight: -169 4.19/4.29 c Elapsed CPU time: 4.27635 s Remaining CPU time: 1795.72 s 4.29/4.32 c Learning 1 hard constraints 4.29/4.32 c ============================[ Search Statistics ]============================== 4.29/4.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.32 c =============================================================================== 4.29/4.32 c | 0 | 2773 29633 88210 | 9877 0 nan | 0.000 % | 4.29/4.33 c =============================================================================== 4.29/4.33 c core #143 4.29/4.33 c Core size: 10 Core Weight: 1 Total Weight: -168 4.29/4.33 c Elapsed CPU time: 4.31334 s Remaining CPU time: 1795.69 s 4.29/4.36 c Learning 1 hard constraints 4.29/4.36 c ============================[ Search Statistics ]============================== 4.29/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.36 c =============================================================================== 4.29/4.36 c | 0 | 2764 29635 88216 | 9878 0 nan | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #144 4.29/4.36 c Core size: 56 Core Weight: 1 Total Weight: -167 4.29/4.36 c Elapsed CPU time: 4.34934 s Remaining CPU time: 1795.65 s 4.29/4.40 c Learning 1 hard constraints 4.29/4.40 c ============================[ Search Statistics ]============================== 4.29/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.40 c =============================================================================== 4.29/4.40 c | 0 | 2800 29637 88264 | 9879 0 nan | 0.000 % | 4.39/4.40 c =============================================================================== 4.39/4.40 c core #145 4.39/4.40 c Core size: 63 Core Weight: 1 Total Weight: -166 4.39/4.40 c Elapsed CPU time: 4.38933 s Remaining CPU time: 1795.61 s 4.39/4.44 c Learning 3 hard constraints 4.39/4.44 c ============================[ Search Statistics ]============================== 4.39/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.44 c =============================================================================== 4.39/4.44 c | 0 | 2821 29642 88319 | 9880 0 nan | 0.000 % | 4.39/4.44 c =============================================================================== 4.39/4.44 c core #146 4.39/4.44 c Core size: 40 Core Weight: 1 Total Weight: -165 4.39/4.44 c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s 4.39/4.48 c Learning 3 hard constraints 4.39/4.48 c ============================[ Search Statistics ]============================== 4.39/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.48 c =============================================================================== 4.39/4.48 c | 0 | 2834 29646 88355 | 9882 0 nan | 0.000 % | 4.39/4.48 c | 101 | 2831 29646 88355 | 10870 101 8 | 0.527 % | 4.39/4.48 c =============================================================================== 4.39/4.49 c core #147 4.39/4.49 c Core size: 151 Core Weight: 1 Total Weight: -164 4.39/4.49 c Elapsed CPU time: 4.47232 s Remaining CPU time: 1795.53 s 4.49/4.52 c Learning 16 hard constraints 4.49/4.52 c ============================[ Search Statistics ]============================== 4.49/4.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.52 c =============================================================================== 4.49/4.52 c | 0 | 2858 29663 88452 | 9887 0 nan | 0.000 % | 4.49/4.53 c | 101 | 2858 29663 88452 | 10876 101 18 | 0.522 % | 4.49/4.53 c | 251 | 2857 29663 88452 | 11964 251 16 | 0.557 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c core #148 4.49/4.54 c Core size: 130 Core Weight: 1 Total Weight: -163 4.49/4.54 c Elapsed CPU time: 4.52531 s Remaining CPU time: 1795.47 s 4.49/4.57 c Learning 14 hard constraints 4.49/4.57 c ============================[ Search Statistics ]============================== 4.49/4.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.57 c =============================================================================== 4.49/4.57 c | 0 | 2888 29678 88559 | 9892 0 nan | 0.000 % | 4.49/4.58 c | 101 | 2888 29678 88559 | 10881 101 9 | 0.551 % | 4.49/4.58 c =============================================================================== 4.49/4.58 c core #149 4.49/4.58 c Core size: 143 Core Weight: 1 Total Weight: -162 4.49/4.58 c Elapsed CPU time: 4.5683 s Remaining CPU time: 1795.43 s 4.59/4.62 c Learning 14 hard constraints 4.59/4.62 c ============================[ Search Statistics ]============================== 4.59/4.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.62 c =============================================================================== 4.59/4.62 c | 0 | 2922 29694 88676 | 9898 0 nan | 0.000 % | 4.59/4.63 c | 101 | 2921 29694 88676 | 10887 101 14 | 0.579 % | 4.59/4.63 c | 252 | 2921 29694 88676 | 11976 252 13 | 0.579 % | 4.59/4.64 c | 479 | 2918 29694 88676 | 13174 479 14 | 0.715 % | 4.59/4.64 c =============================================================================== 4.59/4.65 c core #150 4.59/4.65 c Core size: 234 Core Weight: 1 Total Weight: -161 4.59/4.65 c Elapsed CPU time: 4.6303 s Remaining CPU time: 1795.37 s 4.59/4.68 c Learning 26 hard constraints 4.59/4.68 c ============================[ Search Statistics ]============================== 4.59/4.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.68 c =============================================================================== 4.59/4.68 c | 0 | 2975 29721 88866 | 9907 0 nan | 0.000 % | 4.59/4.69 c | 101 | 2974 29721 88866 | 10897 101 16 | 0.668 % | 4.69/4.70 c | 255 | 2974 29721 88866 | 11987 255 20 | 0.668 % | 4.69/4.71 c | 483 | 2974 29721 88866 | 13186 483 21 | 0.668 % | 4.69/4.73 c | 820 | 2974 29721 88866 | 14504 820 20 | 0.668 % | 4.69/4.76 c | 1329 | 2973 29721 88866 | 15955 1329 19 | 0.701 % | 4.69/4.78 c =============================================================================== 4.69/4.79 c core #151 4.69/4.79 c Core size: 364 Core Weight: 1 Total Weight: -160 4.69/4.79 c Elapsed CPU time: 4.77127 s Remaining CPU time: 1795.23 s 4.79/4.83 c Learning 47 hard constraints 4.79/4.83 c ============================[ Search Statistics ]============================== 4.79/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.83 c =============================================================================== 4.79/4.83 c | 0 | 3047 29769 89168 | 9923 0 nan | 0.000 % | 4.79/4.84 c | 100 | 3046 29769 89168 | 10915 100 22 | 0.652 % | 4.79/4.85 c | 253 | 3046 29769 89168 | 12006 253 21 | 0.652 % | 4.79/4.86 c | 478 | 3046 29769 89168 | 13207 478 22 | 0.652 % | 4.79/4.88 c | 817 | 3045 29769 89168 | 14528 817 22 | 0.718 % | 4.89/4.93 c | 1325 | 3041 29769 89168 | 15981 1320 22 | 0.849 % | 4.89/4.93 c =============================================================================== 4.89/4.94 c core #152 4.89/4.94 c Core size: 436 Core Weight: 1 Total Weight: -159 4.89/4.94 c Elapsed CPU time: 4.90925 s Remaining CPU time: 1795.09 s 4.89/4.98 c Learning 49 hard constraints 4.89/4.98 c ============================[ Search Statistics ]============================== 4.89/4.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.98 c =============================================================================== 4.89/4.98 c | 0 | 3133 29820 89509 | 9940 0 nan | 0.000 % | 4.89/4.99 c | 100 | 3133 29820 89509 | 10934 100 33 | 0.603 % | 4.99/5.00 c | 251 | 3133 29820 89509 | 12027 251 43 | 0.603 % | 4.99/5.01 c | 476 | 3131 29820 89509 | 13230 476 33 | 0.666 % | 4.99/5.04 c | 814 | 3131 29820 89509 | 14553 814 29 | 0.666 % | 4.99/5.08 c | 1321 | 3131 29820 89509 | 16008 1319 28 | 0.666 % | 5.09/5.14 c | 2080 | 3131 29820 89509 | 17609 2078 26 | 0.666 % | 5.19/5.20 c =============================================================================== 5.19/5.22 c core #153 5.19/5.22 c Core size: 770 Core Weight: 1 Total Weight: -158 5.19/5.22 c Elapsed CPU time: 5.18521 s Remaining CPU time: 1794.81 s 5.19/5.26 c Learning 107 hard constraints 5.19/5.26 c ============================[ Search Statistics ]============================== 5.19/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.26 c =============================================================================== 5.19/5.26 c | 0 | 3232 29930 90096 | 9976 0 nan | 0.000 % | 5.19/5.27 c | 100 | 3232 29930 90096 | 10974 100 50 | 0.584 % | 5.19/5.28 c | 251 | 3232 29930 90096 | 12071 251 40 | 0.584 % | 5.19/5.30 c | 480 | 3232 29930 90096 | 13278 480 29 | 0.585 % | 5.29/5.32 c | 817 | 3232 29930 90096 | 14606 817 25 | 0.584 % | 5.29/5.36 c | 1323 | 3219 29930 90096 | 16067 1322 22 | 1.600 % | 5.29/5.36 c =============================================================================== 5.29/5.37 c core #154 5.29/5.37 c Core size: 462 Core Weight: 1 Total Weight: -157 5.29/5.37 c Elapsed CPU time: 5.32319 s Remaining CPU time: 1794.68 s 5.39/5.40 c Learning 70 hard constraints 5.39/5.40 c ============================[ Search Statistics ]============================== 5.39/5.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.40 c =============================================================================== 5.39/5.40 c | 0 | 3292 30002 90458 | 10000 0 nan | 0.000 % | 5.39/5.41 c | 101 | 3292 30002 90458 | 11000 101 32 | 0.634 % | 5.39/5.42 c | 251 | 3292 30002 90458 | 12100 251 36 | 0.634 % | 5.39/5.44 c | 476 | 3292 30002 90458 | 13310 476 45 | 0.634 % | 5.39/5.48 c | 814 | 3292 30002 90458 | 14641 814 49 | 0.634 % | 5.50/5.53 c | 1320 | 3292 30002 90458 | 16106 1320 47 | 0.634 % | 5.59/5.61 c | 2079 | 3292 30002 90458 | 17716 2079 49 | 0.634 % | 5.69/5.77 c | 3219 | 3292 30002 90458 | 19488 3219 51 | 0.634 % | 5.99/6.00 c | 4927 | 3290 30002 90458 | 21437 4926 49 | 0.694 % | 6.39/6.40 c | 7492 | 3289 30002 90458 | 23581 7491 49 | 0.724 % | 6.99/7.05 c | 11340 | 3288 30002 90458 | 25939 11337 46 | 0.785 % | 7.28/7.32 c =============================================================================== 7.39/7.40 c core #155 7.39/7.40 c Core size: 732 Core Weight: 1 Total Weight: -156 7.39/7.40 c Elapsed CPU time: 7.32089 s Remaining CPU time: 1792.68 s 7.39/7.45 c Learning 97 hard constraints 7.39/7.45 c ============================[ Search Statistics ]============================== 7.39/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.45 c =============================================================================== 7.39/7.45 c | 0 | 3385 30103 90990 | 10034 0 nan | 0.000 % | 7.39/7.46 c | 101 | 3385 30103 90990 | 11037 101 64 | 0.617 % | 7.39/7.47 c | 252 | 3385 30103 90990 | 12141 252 46 | 0.646 % | 7.39/7.49 c | 477 | 3384 30103 90990 | 13355 477 43 | 0.646 % | 7.49/7.51 c | 815 | 3384 30103 90990 | 14691 815 42 | 0.646 % | 7.49/7.56 c | 1323 | 3383 30103 90990 | 16160 1322 49 | 0.675 % | 7.59/7.63 c | 2083 | 3381 30103 90990 | 17776 2082 43 | 0.734 % | 7.69/7.75 c | 3223 | 3381 30103 90990 | 19554 3219 37 | 0.734 % | 7.89/7.94 c | 4932 | 3381 30103 90990 | 21509 4928 35 | 0.734 % | 8.29/8.35 c | 7499 | 3376 30103 90990 | 23660 4980 36 | 0.881 % | 8.59/8.68 c =============================================================================== 8.69/8.78 c core #156 8.69/8.78 c Core size: 475 Core Weight: 1 Total Weight: -155 8.69/8.78 c Elapsed CPU time: 8.67968 s Remaining CPU time: 1791.32 s 8.79/8.82 c Learning 58 hard constraints 8.79/8.82 c ============================[ Search Statistics ]============================== 8.79/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.82 c =============================================================================== 8.79/8.82 c | 0 | 3451 30162 91329 | 10054 0 nan | 0.000 % | 8.79/8.83 c | 101 | 3450 30162 91329 | 11059 101 43 | 0.634 % | 8.79/8.83 c | 251 | 3450 30162 91329 | 12165 251 29 | 0.634 % | 8.79/8.85 c | 478 | 3450 30162 91329 | 13381 478 30 | 0.634 % | 8.79/8.88 c | 815 | 3450 30162 91329 | 14720 815 31 | 0.634 % | 8.88/8.93 c | 1322 | 3450 30162 91329 | 16192 1322 31 | 0.634 % | 8.98/9.01 c | 2081 | 3450 30162 91329 | 17811 2080 32 | 0.634 % | 9.08/9.18 c | 3220 | 3450 30162 91329 | 19592 3219 37 | 0.634 % | 9.49/9.54 c | 4929 | 3449 30162 91329 | 21551 4927 41 | 0.662 % | 9.99/10.08 c | 7491 | 3449 30162 91329 | 23706 7489 42 | 0.662 % | 10.89/10.99 c | 11335 | 3449 30162 91329 | 26077 11333 43 | 0.662 % | 13.09/13.17 c | 17102 | 3449 30162 91329 | 28685 17100 45 | 0.663 % | 14.29/14.36 c =============================================================================== 14.59/14.63 c core #157 14.59/14.63 c Core size: 978 Core Weight: 1 Total Weight: -154 14.59/14.63 c Elapsed CPU time: 14.4968 s Remaining CPU time: 1785.5 s 14.59/14.69 c Learning 34 hard constraints 14.59/14.69 c ============================[ Search Statistics ]============================== 14.59/14.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.59/14.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.59/14.69 c =============================================================================== 14.59/14.69 c | 0 | 3532 30197 91610 | 10065 0 nan | 0.000 % | 14.68/14.70 c | 100 | 3532 30197 91610 | 11072 100 46 | 0.591 % | 14.68/14.71 c | 252 | 3532 30197 91610 | 12179 252 40 | 0.591 % | 14.68/14.72 c | 479 | 3532 30197 91610 | 13397 479 35 | 0.591 % | 14.68/14.75 c | 816 | 3532 30197 91610 | 14737 816 35 | 0.591 % | 14.68/14.79 c | 1324 | 3531 30197 91610 | 16210 1323 37 | 0.619 % | 14.78/14.88 c | 2084 | 3531 30197 91610 | 17831 2083 38 | 0.619 % | 14.99/15.03 c | 3226 | 3530 30197 91610 | 19615 3224 40 | 0.647 % | 15.29/15.31 c | 4939 | 3529 30197 91610 | 21576 4936 40 | 0.675 % | 15.69/15.79 c | 7501 | 3528 30197 91610 | 23734 7498 39 | 0.704 % | 16.39/16.48 c | 11347 | 3528 30197 91610 | 26107 11343 39 | 0.704 % | 18.28/18.31 c | 17114 | 3528 30197 91610 | 28718 17110 39 | 0.704 % | 19.38/19.44 c =============================================================================== 19.59/19.66 c core #158 19.59/19.66 c Core size: 446 Core Weight: 1 Total Weight: -153 19.59/19.66 c Elapsed CPU time: 19.471 s Remaining CPU time: 1780.53 s 19.69/19.72 c Learning 11 hard constraints 19.69/19.72 c ============================[ Search Statistics ]============================== 19.69/19.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.69/19.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.69/19.72 c =============================================================================== 19.69/19.72 c | 0 | 3595 30209 91772 | 10069 0 nan | 0.000 % | 19.69/19.73 c | 100 | 3594 30209 91772 | 11076 100 14 | 0.608 % | 19.69/19.74 c | 250 | 3594 30209 91772 | 12184 250 11 | 0.608 % | 19.69/19.75 c | 479 | 3593 30209 91772 | 13402 479 12 | 0.636 % | 19.69/19.77 c | 817 | 3593 30209 91772 | 14742 817 21 | 0.636 % | 19.79/19.81 c | 1327 | 3593 30209 91772 | 16217 1327 34 | 0.636 % | 19.89/19.90 c | 2091 | 3593 30209 91772 | 17839 2089 45 | 0.636 % | 19.99/20.07 c | 3231 | 3593 30209 91772 | 19622 3229 55 | 0.636 % | 20.38/20.44 c | 4944 | 3593 30209 91772 | 21585 4942 64 | 0.636 % | 20.99/21.09 c | 7511 | 3593 30209 91772 | 23743 7509 68 | 0.636 % | 22.88/22.91 c | 11358 | 3593 30209 91772 | 26118 11356 74 | 0.636 % | 27.39/27.45 c | 17125 | 3593 30209 91772 | 28729 17123 78 | 0.636 % | 36.38/36.44 c | 25774 | 3593 30209 91772 | 31602 25772 80 | 0.636 % | 47.67/47.75 c | 38749 | 3593 30209 91772 | 34763 19879 80 | 0.636 % | 65.76/65.86 c | 58211 | 3591 30209 91772 | 38239 17664 70 | 0.691 % | 91.06/91.13 c | 87404 | 3591 30209 91772 | 42063 21464 66 | 0.691 % | 142.85/142.97 c | 131193 | 3586 30209 91772 | 46269 36494 82 | 0.830 % | 200.33/200.45 c | 196877 | 3586 30209 91772 | 50896 36106 90 | 0.830 % | 297.50/297.64 c | 295403 | 3585 30209 91772 | 55986 24665 108 | 0.857 % | 464.35/464.54 c | 443194 | 3584 30209 91772 | 61585 49080 111 | 0.885 % | 787.57/787.81 c | 664877 | 3582 30209 91772 | 67743 36785 113 | 0.940 % | 1182.35/1182.78 c =============================================================================== 1208.24/1208.65 c core #159 1208.24/1208.65 c Core size: 1643 Core Weight: 1 Total Weight: -152 1208.24/1208.65 c Elapsed CPU time: 1204.36 s Remaining CPU time: 595.643 s 1209.34/1209.72 c Learning 100 hard constraints 1209.34/1209.72 c ============================[ Search Statistics ]============================== 1209.34/1209.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1209.34/1209.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1209.34/1209.72 c =============================================================================== 1209.34/1209.72 c | 0 | 3750 30310 92414 | 10103 0 nan | 0.000 % | 1209.44/1209.84 c | 102 | 3750 30310 92414 | 11113 102 20 | 0.557 % | 1209.55/1209.90 c | 252 | 3750 30310 92414 | 12225 252 18 | 0.557 % | 1209.55/1209.92 c | 478 | 3750 30310 92414 | 13447 478 18 | 0.557 % | 1209.55/1209.94 c | 818 | 3750 30310 92414 | 14792 818 18 | 0.557 % | 1209.55/1209.97 c | 1327 | 3750 30310 92414 | 16271 1327 18 | 0.557 % | 1209.65/1210.04 c =============================================================================== 1209.65/1210.05 c core #160 1209.65/1210.05 c Core size: 258 Core Weight: 1 Total Weight: -151 1209.65/1210.05 c Elapsed CPU time: 1205.75 s Remaining CPU time: 594.248 s 1209.75/1210.10 c Learning 44 hard constraints 1209.75/1210.10 c ============================[ Search Statistics ]============================== 1209.75/1210.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1209.75/1210.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1209.75/1210.10 c =============================================================================== 1209.75/1210.10 c | 0 | 3781 30355 92625 | 10118 0 nan | 0.000 % | 1209.75/1210.11 c | 102 | 3781 30355 92625 | 11130 102 90 | 0.552 % | 1209.75/1210.13 c | 253 | 3780 30355 92625 | 12243 253 52 | 0.579 % | 1209.75/1210.15 c | 482 | 3779 30355 92625 | 13467 482 54 | 0.605 % | 1209.75/1210.17 c | 820 | 3779 30355 92625 | 14814 820 49 | 0.605 % | 1209.84/1210.22 c | 1328 | 3779 30355 92625 | 16295 1326 57 | 0.605 % | 1209.95/1210.31 c | 2088 | 3778 30355 92625 | 17925 2086 71 | 0.631 % | 1210.05/1210.45 c | 3227 | 3778 30355 92625 | 19717 3223 65 | 0.631 % | 1210.25/1210.68 c | 4938 | 3778 30355 92625 | 21689 4934 65 | 0.631 % | 1210.75/1211.12 c | 7502 | 3778 30355 92625 | 23858 7498 70 | 0.631 % | 1211.85/1212.26 c | 11346 | 3778 30355 92625 | 26244 11342 72 | 0.631 % | 1213.74/1214.10 c | 17114 | 3778 30355 92625 | 28868 17110 81 | 0.631 % | 1217.45/1217.85 c | 25763 | 3778 30355 92625 | 31755 25759 85 | 0.631 % | 1225.55/1225.91 c | 38740 | 3778 30355 92625 | 34931 19885 89 | 0.631 % | 1240.74/1241.19 c | 58201 | 3778 30355 92625 | 38424 17728 75 | 0.631 % | 1267.03/1267.42 c | 87393 | 3776 30355 92625 | 42266 23000 80 | 0.684 % | 1292.03/1292.41 c =============================================================================== 1295.12/1295.53 c core #161 1295.12/1295.53 c Core size: 1015 Core Weight: 1 Total Weight: -150 1295.12/1295.53 c Elapsed CPU time: 1290.86 s Remaining CPU time: 509.143 s 1295.33/1295.76 c Learning 85 hard constraints 1295.33/1295.76 c ============================[ Search Statistics ]============================== 1295.33/1295.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1295.33/1295.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1295.33/1295.76 c =============================================================================== 1295.33/1295.76 c | 0 | 3860 30441 93037 | 10147 0 nan | 0.000 % | 1295.42/1295.80 c | 103 | 3858 30441 93037 | 11161 103 34 | 0.593 % | 1295.42/1295.83 c | 253 | 3858 30441 93037 | 12277 253 42 | 0.593 % | 1295.42/1295.87 c | 478 | 3858 30441 93037 | 13505 478 70 | 0.593 % | 1295.53/1295.91 c | 815 | 3858 30441 93037 | 14856 815 94 | 0.593 % | 1295.62/1296.00 c | 1321 | 3858 30441 93037 | 16341 1319 105 | 0.593 % | 1295.73/1296.12 c | 2081 | 3858 30441 93037 | 17976 2079 116 | 0.593 % | 1295.92/1296.33 c | 3220 | 3858 30441 93037 | 19773 3218 119 | 0.593 % | 1296.32/1296.72 c | 4928 | 3858 30441 93037 | 21750 4926 120 | 0.593 % | 1297.42/1297.80 c | 7493 | 3857 30441 93037 | 23926 7490 128 | 0.618 % | 1299.92/1300.33 c | 11340 | 3857 30441 93037 | 26318 11337 139 | 0.618 % | 1306.52/1306.90 c | 17114 | 3856 30441 93037 | 28950 17111 150 | 0.644 % | 1325.71/1326.19 c | 25763 | 3856 30441 93037 | 31845 25759 158 | 0.644 % | 1351.70/1352.10 c | 38739 | 3855 30441 93037 | 35030 20101 157 | 0.696 % | 1379.10/1379.50 c | 58201 | 3853 30441 93037 | 38533 17294 165 | 0.721 % | 1402.80/1403.22 c | 87393 | 3850 30441 93037 | 42386 20287 76 | 0.799 % | 1427.58/1428.04 c | 131186 | 3847 30441 93037 | 46625 34347 67 | 0.876 % | 1436.59/1437.05 c =============================================================================== 1437.99/1438.45 c core #162 1437.99/1438.45 c Core size: 767 Core Weight: 1 Total Weight: -149 1437.99/1438.45 c Elapsed CPU time: 1433.35 s Remaining CPU time: 366.652 s 1438.29/1438.70 c Learning 91 hard constraints 1438.29/1438.70 c ============================[ Search Statistics ]============================== 1438.29/1438.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1438.29/1438.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1438.29/1438.70 c =============================================================================== 1438.29/1438.70 c | 0 | 3947 30533 93511 | 10177 0 nan | 0.000 % | 1438.29/1438.76 c | 100 | 3947 30533 93511 | 11195 100 45 | 0.529 % | 1438.29/1438.79 c | 250 | 3947 30533 93511 | 12314 250 50 | 0.529 % | 1438.39/1438.80 c | 475 | 3947 30533 93511 | 13546 475 33 | 0.529 % | 1438.39/1438.82 c | 812 | 3947 30533 93511 | 14901 812 32 | 0.529 % | 1438.39/1438.86 c | 1319 | 3947 30533 93511 | 16391 1319 39 | 0.529 % | 1438.48/1438.92 c | 2078 | 3947 30533 93511 | 18030 2078 30 | 0.529 % | 1438.59/1439.02 c | 3217 | 3947 30533 93511 | 19833 3217 31 | 0.529 % | 1438.69/1439.19 c | 4926 | 3945 30533 93511 | 21816 4925 42 | 0.580 % | 1439.08/1439.57 c | 7489 | 3945 30533 93511 | 23998 7488 48 | 0.580 % | 1439.88/1440.30 c | 11333 | 3944 30533 93511 | 26398 11330 52 | 0.605 % | 1441.68/1442.19 c | 17100 | 3943 30533 93511 | 29038 17094 58 | 0.630 % | 1444.78/1445.20 c | 25750 | 3941 30533 93511 | 31941 25744 65 | 0.680 % | 1450.88/1451.37 c | 38726 | 3941 30533 93511 | 35136 19782 102 | 0.680 % | 1462.98/1463.45 c | 58188 | 3940 30533 93511 | 38649 17132 84 | 0.706 % | 1490.77/1491.22 c | 87382 | 3938 30533 93511 | 42514 22187 85 | 0.756 % | 1525.76/1526.20 c | 131174 | 3931 30533 93511 | 46766 36627 64 | 0.932 % | 1578.34/1578.83 c =============================================================================== 1580.24/1580.76 c core #163 1580.24/1580.76 c Core size: 421 Core Weight: 1 Total Weight: -148 1580.24/1580.76 c Elapsed CPU time: 1575.12 s Remaining CPU time: 224.884 s 1580.54/1581.05 c Learning 13 hard constraints 1580.54/1581.05 c ============================[ Search Statistics ]============================== 1580.54/1581.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1580.54/1581.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1580.54/1581.05 c =============================================================================== 1580.54/1581.05 c | 0 | 4033 30547 93713 | 10182 0 nan | 0.000 % | 1580.54/1581.10 c | 103 | 4030 30547 93713 | 11200 103 26 | 0.617 % | 1580.65/1581.11 c | 253 | 4029 30547 93713 | 12320 253 26 | 0.617 % | 1580.65/1581.14 c | 479 | 4029 30547 93713 | 13552 479 28 | 0.617 % | 1580.65/1581.19 c | 816 | 4029 30547 93713 | 14907 816 30 | 0.617 % | 1580.75/1581.24 c | 1322 | 4029 30547 93713 | 16398 1318 33 | 0.617 % | 1580.85/1581.34 c | 2084 | 4028 30547 93713 | 18038 2080 37 | 0.641 % | 1581.04/1581.53 c | 3224 | 4028 30547 93713 | 19842 3219 42 | 0.641 % | 1581.34/1581.86 c | 4934 | 4028 30547 93713 | 21826 4929 50 | 0.641 % | 1581.94/1582.43 c | 7497 | 4028 30547 93713 | 24009 7492 59 | 0.641 % | 1583.55/1584.04 c | 11343 | 4028 30547 93713 | 26410 11338 68 | 0.641 % | 1586.75/1587.20 c | 17109 | 4028 30547 93713 | 29051 17104 72 | 0.641 % | 1589.74/1590.28 c | 25761 | 4028 30547 93713 | 31956 25756 82 | 0.641 % | 1602.44/1602.90 c | 38738 | 4028 30547 93713 | 35152 18445 108 | 0.641 % | 1634.93/1635.41 c | 58201 | 4028 30547 93713 | 38667 15496 105 | 0.641 % | 1653.93/1654.48 c | 87393 | 4027 30547 93713 | 42534 18528 96 | 0.666 % | 1694.91/1695.48 c | 131182 | 4027 30547 93713 | 46787 32570 103 | 0.666 % | 1784.49/1785.07 c | 196867 | 4025 30547 93713 | 51466 31092 109 | 0.715 % |
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-1874914-1245219134/watcher-1874914-1245219134 -o /tmp/evaluation-result-1874914-1245219134/solver-1874914-1245219134 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874914-1245219134.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.92 0.98 0.99 3/64 10939 /proc/meminfo: memFree=1858096/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=3468 CPUtime=0 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 189510399 3551232 195 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 867 195 126 292 0 337 0 [startup+0.074651 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10939 /proc/meminfo: memFree=1858096/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=4428 CPUtime=0.07 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 552 0 0 0 7 0 0 0 18 0 1 0 189510399 4534272 536 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1107 536 255 292 0 577 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4428 [startup+0.101653 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10939 /proc/meminfo: memFree=1858096/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=4592 CPUtime=0.09 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 189510399 4702208 649 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1148 649 304 292 0 618 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4592 [startup+0.301673 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10939 /proc/meminfo: memFree=1858096/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=5948 CPUtime=0.29 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 1329 0 0 0 29 0 0 0 19 0 1 0 189510399 6090752 1020 1992294400 134512640 135709839 4294956240 18446744073709551615 134530629 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1487 1020 133 292 0 1192 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5948 [startup+0.701714 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10939 /proc/meminfo: memFree=1858096/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=5948 CPUtime=0.69 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 1351 0 0 0 69 0 0 0 22 0 1 0 189510399 6090752 1042 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1487 1042 133 292 0 1192 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5948 [startup+1.5028 s] /proc/loadavg: 0.92 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1854376/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=6448 CPUtime=1.49 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 1510 0 0 0 149 0 0 0 25 0 1 0 189510399 6602752 1120 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1612 1120 133 292 0 1317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6448 [startup+3.10196 s] /proc/loadavg: 0.92 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1853672/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=7060 CPUtime=3.09 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 1842 0 0 0 308 1 0 0 25 0 1 0 189510399 7229440 1292 1992294400 134512640 135709839 4294956240 18446744073709551615 134570554 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 1765 1292 135 292 0 1470 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7060 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1851312/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=8884 CPUtime=6.29 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 2497 0 0 0 623 6 0 0 25 0 1 0 189510399 9097216 1749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 2221 1749 136 292 0 1926 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8884 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1845936/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=14820 CPUtime=12.69 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 4020 0 0 0 1257 12 0 0 25 0 1 0 189510399 15175680 3272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 3705 3272 136 292 0 3410 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14820 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1837360/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=22852 CPUtime=25.48 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 6016 0 0 0 2527 21 0 0 25 0 1 0 189510399 23400448 5268 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 5713 5268 136 292 0 5418 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22852 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1821744/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=38676 CPUtime=51.07 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 9921 0 0 0 5077 30 0 0 25 0 1 0 189510399 39604224 9173 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 9669 9173 136 292 0 9374 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38676 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1796272/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=64120 CPUtime=102.26 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 16227 0 0 0 10179 47 0 0 25 0 1 0 189510399 65658880 15479 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 16030 15479 136 292 0 15735 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64120 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1771952/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=88596 CPUtime=162.24 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 22323 0 0 0 16158 66 0 0 25 0 1 0 189510399 90722304 21575 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 22149 21575 136 292 0 21854 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 88596 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1732656/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=127772 CPUtime=222.22 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 32084 0 0 0 22131 91 0 0 25 0 1 0 189510399 130838528 31336 1992294400 134512640 135709839 4294956240 18446744073709551615 134573839 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 31943 31336 136 292 0 31648 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 127772 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10940 /proc/meminfo: memFree=1688624/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=172032 CPUtime=282.21 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 43145 0 0 0 28100 121 0 0 25 0 1 0 189510399 176160768 42397 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 43008 42397 136 292 0 42713 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 172032 [startup+342.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1656240/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=204772 CPUtime=342.19 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 51270 0 0 0 34079 140 0 0 25 0 1 0 189510399 209686528 50522 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 51193 50522 136 292 0 50898 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 204772 [startup+402.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 10940 /proc/meminfo: memFree=1616112/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=244696 CPUtime=402.18 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 61252 0 0 0 40053 165 0 0 25 0 1 0 189510399 250568704 60504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 61174 60504 136 292 0 60879 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 244696 [startup+462.302 s] /proc/loadavg: 1.06 1.02 1.00 2/65 10940 /proc/meminfo: memFree=1582192/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=278372 CPUtime=462.16 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 69640 0 0 0 46030 186 0 0 25 0 1 0 189510399 285052928 68892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 69593 68892 136 292 0 69298 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 278372 [startup+522.302 s] /proc/loadavg: 1.05 1.03 1.00 2/65 10940 /proc/meminfo: memFree=1553648/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=307312 CPUtime=522.14 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 76862 0 0 0 52012 202 0 0 25 0 1 0 189510399 314687488 76114 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 76828 76114 136 292 0 76533 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 307312 [startup+582.302 s] /proc/loadavg: 1.07 1.04 1.00 2/65 10940 /proc/meminfo: memFree=1518704/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=341828 CPUtime=582.13 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 85494 0 0 0 57991 222 0 0 25 0 1 0 189510399 350031872 84746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 85457 84746 136 292 0 85162 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 341828 [startup+642.301 s] /proc/loadavg: 1.03 1.03 1.00 2/65 10940 /proc/meminfo: memFree=1487152/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=372936 CPUtime=642.1 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 93271 0 0 0 63969 241 0 0 25 0 1 0 189510399 381886464 92523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 93234 92523 136 292 0 92939 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 372936 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1384816/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=475232 CPUtime=882.04 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 118788 0 0 0 87894 310 0 0 25 0 1 0 189510399 486637568 118040 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 118808 118040 136 292 0 118513 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 475232 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1354160/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=506092 CPUtime=942.02 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 126478 0 0 0 93871 331 0 0 25 0 1 0 189510399 518238208 125730 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 126523 125730 136 292 0 126228 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 506092 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1330608/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=529512 CPUtime=1002.01 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 132320 0 0 0 99852 349 0 0 25 0 1 0 189510399 542220288 131572 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 132378 131572 136 292 0 132083 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 529512 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1313904/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=546248 CPUtime=1061.99 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 136483 0 0 0 105838 361 0 0 25 0 1 0 189510399 559357952 135735 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 136562 135735 136 292 0 136267 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 546248 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1288432/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=571652 CPUtime=1121.97 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 142821 0 0 0 111821 376 0 0 25 0 1 0 189510399 585371648 142073 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 142913 142073 136 292 0 142618 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 571652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1263024/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=597388 CPUtime=1181.95 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 149247 0 0 0 117803 392 0 0 25 0 1 0 189510399 611725312 148499 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 149347 148499 136 292 0 149052 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 597388 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1232688/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=626856 CPUtime=1241.94 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 156754 0 0 0 123782 412 0 0 25 0 1 0 189510399 641900544 155898 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 156714 155898 136 292 0 156419 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 626856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1232624/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=626856 CPUtime=1301.93 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 156784 0 0 0 129759 434 0 0 25 0 1 0 189510399 641900544 155928 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 156714 155928 136 292 0 156419 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 626856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1231280/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=626856 CPUtime=1361.9 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 157098 0 0 0 135747 443 0 0 25 0 1 0 189510399 641900544 156242 1992294400 134512640 135709839 4294956240 18446744073709551615 134579123 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 156714 156242 136 292 0 156419 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 626856 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1231152/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=626856 CPUtime=1421.89 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 157130 0 0 0 141723 466 0 0 25 0 1 0 189510399 641900544 156274 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 156714 156274 136 292 0 156419 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 626856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1231088/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=626856 CPUtime=1481.87 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 157135 0 0 0 147700 487 0 0 25 0 1 0 189510399 641900544 156279 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 156714 156279 136 292 0 156419 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 626856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1218032/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=640144 CPUtime=1541.85 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 160383 0 0 0 153676 509 0 0 25 0 1 0 189510399 655507456 159527 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 160036 159527 136 292 0 159741 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 640144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1211632/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=646688 CPUtime=1601.84 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 162059 0 0 0 159655 529 0 0 25 0 1 0 189510399 662208512 161203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 161672 161203 136 292 0 161377 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 646688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1184240/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=674072 CPUtime=1661.82 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 168846 0 0 0 165631 551 0 0 25 0 1 0 189510399 690249728 167990 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 168518 167990 136 292 0 168223 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 674072 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1161456/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=696736 CPUtime=1721.81 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 174506 0 0 0 171612 569 0 0 25 0 1 0 189510399 713457664 173650 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 174184 173650 136 292 0 173889 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 696736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1133296/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=724816 CPUtime=1781.79 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 181496 0 0 0 177588 591 0 0 25 0 1 0 189510399 742211584 180640 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 181204 180640 136 292 0 180909 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 724816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1127024/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=731052 CPUtime=1800.09 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4194304 183024 0 0 0 179414 595 0 0 25 0 1 0 189510399 748597248 182168 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 182763 182168 136 292 0 182468 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 731052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10940 /proc/meminfo: memFree=1127024/2055920 swapFree=4187156/4192956 [pid=10939] ppid=10937 vsize=0 CPUtime=1800.19 /proc/10939/stat : 10939 (wbo) R 10937 10939 10896 0 -1 4195332 183024 0 0 0 179414 605 0 0 25 0 1 0 189510399 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1794.14 CPU system time (s): 6.07408 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 731052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.14 system time used= 6.07408 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 183024 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= 4 involuntary context switches= 1723 runsolver used 1.2958 second user time and 3.98539 second system time The end
Begin job on node45 at 2009-06-17 08:12:14 IDJOB=1874914 IDBENCH=71825 IDSOLVER=698 FILE ID=node45/1874914-1245219134 PBS_JOBID= 9368441 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-7000opt.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-1874914-1245219134/watcher-1874914-1245219134 -o /tmp/evaluation-result-1874914-1245219134/solver-1874914-1245219134 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874914-1245219134.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a25a52544be0f6847f2aa8f54184e900 RANDOM SEED=1499573258 node45.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.240 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.240 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: 1858576 kB Buffers: 26624 kB Cached: 87492 kB SwapCached: 2096 kB Active: 17076 kB Inactive: 107308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858576 kB SwapTotal: 4192956 kB SwapFree: 4187156 kB Dirty: 3544 kB Writeback: 0 kB Mapped: 18012 kB Slab: 58964 kB Committed_AS: 190668 kB PageTables: 1380 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-1874914-1245219134.opb Free space on /tmp at the end= 66168 MiB End job on node45 at 2009-06-17 08:42:17