Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.12 | 1800.6 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb |
MD5SUM | 27275f75c57d1f68b1f0c26684ed17bf |
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 | -162 |
Best CPU time to get the best result obtained on this benchmark | 110.353 |
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 | 62275 |
Number of constraints which are clauses | 62275 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 341 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 341 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1874911-1245218847.opb. 0.00/0.00 c Instance file HOME/instance-1874911-1245218847.opb 0.00/0.00 c File size is 2077119 bytes. 0.19/0.27 c Highest Coefficient sum: 4 0.19/0.27 c ============================[ Problem Statistics ]============================= 0.19/0.27 c | | 0.19/0.27 c | Parsing time: 0.27 s | 0.19/0.27 c | Number Variables: 2025 | 0.19/0.27 c | Number Clauses: 62410 | 0.19/0.27 c | Number Cardinality: 0 | 0.19/0.27 c | Number PB Constraints: 0 | 0.19/0.27 c core #1 0.19/0.27 c Core size: 5 Core Weight: 2 Total Weight: -339 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.29/0.31 c core #2 0.29/0.31 c Core size: 7 Core Weight: 1 Total Weight: -338 0.29/0.31 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.34 c core #3 0.29/0.34 c Core size: 7 Core Weight: 1 Total Weight: -337 0.29/0.34 c Elapsed CPU time: 0.338948 s Remaining CPU time: 1799.66 s 0.29/0.38 c core #4 0.29/0.38 c Core size: 5 Core Weight: 3 Total Weight: -334 0.29/0.38 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.39/0.42 c core #5 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -333 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.46 c core #6 0.39/0.46 c Core size: 5 Core Weight: 1 Total Weight: -332 0.39/0.46 c Elapsed CPU time: 0.452931 s Remaining CPU time: 1799.55 s 0.39/0.49 c core #7 0.39/0.49 c Core size: 5 Core Weight: 2 Total Weight: -330 0.39/0.49 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.49/0.53 c core #8 0.49/0.53 c Core size: 5 Core Weight: 1 Total Weight: -329 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.57 c core #9 0.49/0.57 c Core size: 5 Core Weight: 2 Total Weight: -327 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.59/0.61 c core #10 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: -326 0.59/0.61 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.65 c core #11 0.59/0.65 c Core size: 5 Core Weight: 2 Total Weight: -324 0.59/0.65 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.69 c core #12 0.59/0.69 c Core size: 6 Core Weight: 2 Total Weight: -322 0.59/0.69 c Elapsed CPU time: 0.682896 s Remaining CPU time: 1799.32 s 0.69/0.72 c core #13 0.69/0.72 c Core size: 5 Core Weight: 2 Total Weight: -320 0.69/0.72 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.76 c core #14 0.69/0.76 c Core size: 6 Core Weight: 1 Total Weight: -319 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.79/0.80 c core #15 0.79/0.80 c Core size: 7 Core Weight: 1 Total Weight: -318 0.79/0.80 c Elapsed CPU time: 0.795879 s Remaining CPU time: 1799.2 s 0.79/0.84 c core #16 0.79/0.84 c Core size: 5 Core Weight: 1 Total Weight: -317 0.79/0.84 c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s 0.79/0.87 c core #17 0.79/0.87 c Core size: 6 Core Weight: 1 Total Weight: -316 0.79/0.87 c Elapsed CPU time: 0.871867 s Remaining CPU time: 1799.13 s 0.89/0.92 c core #18 0.89/0.92 c Core size: 5 Core Weight: 1 Total Weight: -315 0.89/0.92 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.96 c core #19 0.89/0.96 c Core size: 6 Core Weight: 1 Total Weight: -314 0.89/0.96 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.89/0.99 c core #20 0.89/0.99 c Core size: 7 Core Weight: 1 Total Weight: -313 0.89/0.99 c Elapsed CPU time: 0.990849 s Remaining CPU time: 1799.01 s 0.99/1.03 c core #21 0.99/1.03 c Core size: 6 Core Weight: 2 Total Weight: -311 0.99/1.03 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 0.99/1.07 c core #22 0.99/1.07 c Core size: 5 Core Weight: 1 Total Weight: -310 0.99/1.07 c Elapsed CPU time: 1.06784 s Remaining CPU time: 1798.93 s 1.09/1.11 c core #23 1.09/1.11 c Core size: 8 Core Weight: 1 Total Weight: -309 1.09/1.11 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.15 c core #24 1.09/1.15 c Core size: 8 Core Weight: 1 Total Weight: -308 1.09/1.15 c Elapsed CPU time: 1.14383 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #25 1.09/1.18 c Core size: 11 Core Weight: 2 Total Weight: -306 1.09/1.18 c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s 1.19/1.22 c core #26 1.19/1.22 c Core size: 11 Core Weight: 2 Total Weight: -304 1.19/1.22 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.26 c core #27 1.19/1.26 c Core size: 11 Core Weight: 1 Total Weight: -303 1.19/1.26 c Elapsed CPU time: 1.25881 s Remaining CPU time: 1798.74 s 1.29/1.30 c core #28 1.29/1.30 c Core size: 11 Core Weight: 1 Total Weight: -302 1.29/1.30 c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s 1.29/1.34 c core #29 1.29/1.34 c Core size: 11 Core Weight: 1 Total Weight: -301 1.29/1.34 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.29/1.38 c core #30 1.29/1.38 c Core size: 8 Core Weight: 1 Total Weight: -300 1.29/1.38 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.39/1.42 c core #31 1.39/1.42 c Core size: 8 Core Weight: 1 Total Weight: -299 1.39/1.42 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.39/1.46 c core #32 1.39/1.46 c Core size: 9 Core Weight: 1 Total Weight: -298 1.39/1.46 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.49/1.50 c core #33 1.49/1.50 c Core size: 11 Core Weight: 1 Total Weight: -297 1.49/1.50 c Elapsed CPU time: 1.49577 s Remaining CPU time: 1798.5 s 1.49/1.54 c core #34 1.49/1.54 c Core size: 14 Core Weight: 1 Total Weight: -296 1.49/1.54 c Elapsed CPU time: 1.53877 s Remaining CPU time: 1798.46 s 1.49/1.58 c core #35 1.49/1.58 c Core size: 15 Core Weight: 1 Total Weight: -295 1.49/1.58 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.59/1.62 c core #36 1.59/1.62 c Core size: 7 Core Weight: 2 Total Weight: -293 1.59/1.62 c Elapsed CPU time: 1.61875 s Remaining CPU time: 1798.38 s 1.59/1.66 c core #37 1.59/1.66 c Core size: 9 Core Weight: 1 Total Weight: -292 1.59/1.66 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.59/1.70 c core #38 1.59/1.70 c Core size: 10 Core Weight: 2 Total Weight: -290 1.59/1.70 c Elapsed CPU time: 1.69374 s Remaining CPU time: 1798.31 s 1.69/1.73 c core #39 1.69/1.73 c Core size: 9 Core Weight: 1 Total Weight: -289 1.69/1.73 c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s 1.69/1.78 c core #40 1.69/1.78 c Core size: 10 Core Weight: 1 Total Weight: -288 1.69/1.78 c Elapsed CPU time: 1.77473 s Remaining CPU time: 1798.23 s 1.79/1.82 c core #41 1.79/1.82 c Core size: 10 Core Weight: 1 Total Weight: -287 1.79/1.82 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.79/1.86 c core #42 1.79/1.86 c Core size: 10 Core Weight: 1 Total Weight: -286 1.79/1.86 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.89/1.90 c core #43 1.89/1.90 c Core size: 11 Core Weight: 1 Total Weight: -285 1.89/1.90 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.95 c core #44 1.89/1.95 c Core size: 15 Core Weight: 1 Total Weight: -284 1.89/1.95 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.89/2.00 c core #45 1.89/2.00 c Core size: 12 Core Weight: 1 Total Weight: -283 1.89/2.00 c Elapsed CPU time: 1.9917 s Remaining CPU time: 1798.01 s 1.99/2.04 c core #46 1.99/2.04 c Core size: 14 Core Weight: 1 Total Weight: -282 1.99/2.04 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 1.99/2.09 c core #47 1.99/2.09 c Core size: 8 Core Weight: 1 Total Weight: -281 1.99/2.09 c Elapsed CPU time: 2.08368 s Remaining CPU time: 1797.92 s 2.09/2.13 c core #48 2.09/2.13 c Core size: 10 Core Weight: 2 Total Weight: -279 2.09/2.13 c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s 2.09/2.18 c core #49 2.09/2.18 c Core size: 9 Core Weight: 2 Total Weight: -277 2.09/2.18 c Elapsed CPU time: 2.17567 s Remaining CPU time: 1797.82 s 2.19/2.23 c core #50 2.19/2.23 c Core size: 11 Core Weight: 1 Total Weight: -276 2.19/2.23 c Elapsed CPU time: 2.22166 s Remaining CPU time: 1797.78 s 2.19/2.27 c core #51 2.19/2.27 c Core size: 10 Core Weight: 1 Total Weight: -275 2.19/2.27 c Elapsed CPU time: 2.26765 s Remaining CPU time: 1797.73 s 2.29/2.32 c core #52 2.29/2.32 c Core size: 9 Core Weight: 1 Total Weight: -274 2.29/2.32 c Elapsed CPU time: 2.31665 s Remaining CPU time: 1797.68 s 2.29/2.38 c core #53 2.29/2.38 c Core size: 8 Core Weight: 1 Total Weight: -273 2.29/2.38 c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s 2.39/2.43 c core #54 2.39/2.43 c Core size: 13 Core Weight: 2 Total Weight: -271 2.39/2.43 c Elapsed CPU time: 2.42463 s Remaining CPU time: 1797.58 s 2.39/2.48 c core #55 2.39/2.48 c Core size: 14 Core Weight: 1 Total Weight: -270 2.39/2.48 c Elapsed CPU time: 2.47362 s Remaining CPU time: 1797.53 s 2.49/2.53 c core #56 2.49/2.53 c Core size: 10 Core Weight: 2 Total Weight: -268 2.49/2.53 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.49/2.58 c core #57 2.49/2.58 c Core size: 11 Core Weight: 2 Total Weight: -266 2.49/2.58 c Elapsed CPU time: 2.57661 s Remaining CPU time: 1797.42 s 2.58/2.64 c core #58 2.58/2.64 c Core size: 10 Core Weight: 1 Total Weight: -265 2.58/2.64 c Elapsed CPU time: 2.6286 s Remaining CPU time: 1797.37 s 2.58/2.69 c core #59 2.58/2.69 c Core size: 12 Core Weight: 1 Total Weight: -264 2.58/2.69 c Elapsed CPU time: 2.68159 s Remaining CPU time: 1797.32 s 2.68/2.74 c core #60 2.68/2.74 c Core size: 18 Core Weight: 1 Total Weight: -263 2.68/2.74 c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s 2.68/2.80 c core #61 2.68/2.80 c Core size: 15 Core Weight: 1 Total Weight: -262 2.68/2.80 c Elapsed CPU time: 2.78958 s Remaining CPU time: 1797.21 s 2.78/2.85 c core #62 2.78/2.85 c Core size: 11 Core Weight: 2 Total Weight: -260 2.78/2.85 c Elapsed CPU time: 2.84457 s Remaining CPU time: 1797.16 s 2.88/2.91 c core #63 2.88/2.91 c Core size: 16 Core Weight: 1 Total Weight: -259 2.88/2.91 c Elapsed CPU time: 2.90156 s Remaining CPU time: 1797.1 s 2.88/2.96 c core #64 2.88/2.96 c Core size: 16 Core Weight: 1 Total Weight: -258 2.88/2.96 c Elapsed CPU time: 2.95855 s Remaining CPU time: 1797.04 s 2.98/3.02 c core #65 2.98/3.02 c Core size: 22 Core Weight: 1 Total Weight: -257 2.98/3.02 c Elapsed CPU time: 3.01754 s Remaining CPU time: 1796.98 s 2.98/3.08 c core #66 2.98/3.08 c Core size: 7 Core Weight: 1 Total Weight: -256 2.98/3.08 c Elapsed CPU time: 3.07753 s Remaining CPU time: 1796.92 s 3.08/3.15 c core #67 3.08/3.15 c Core size: 8 Core Weight: 2 Total Weight: -254 3.08/3.15 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.19/3.21 c core #68 3.19/3.21 c Core size: 8 Core Weight: 2 Total Weight: -252 3.19/3.21 c Elapsed CPU time: 3.20051 s Remaining CPU time: 1796.8 s 3.19/3.27 c core #69 3.19/3.27 c Core size: 33 Core Weight: 1 Total Weight: -251 3.19/3.27 c Elapsed CPU time: 3.2645 s Remaining CPU time: 1796.74 s 3.30/3.34 c core #70 3.30/3.34 c Core size: 17 Core Weight: 1 Total Weight: -250 3.30/3.34 c Elapsed CPU time: 3.32849 s Remaining CPU time: 1796.67 s 3.40/3.40 c core #71 3.40/3.40 c Core size: 21 Core Weight: 1 Total Weight: -249 3.40/3.40 c Elapsed CPU time: 3.39448 s Remaining CPU time: 1796.61 s 3.40/3.47 c core #72 3.40/3.47 c Core size: 11 Core Weight: 1 Total Weight: -248 3.40/3.47 c Elapsed CPU time: 3.46047 s Remaining CPU time: 1796.54 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 2148 62611 177100 | 20870 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #73 3.49/3.54 c Core size: 23 Core Weight: 1 Total Weight: -247 3.49/3.54 c Elapsed CPU time: 3.53046 s Remaining CPU time: 1796.47 s 3.59/3.61 c Learning 1 hard constraints 3.59/3.61 c core #74 3.59/3.61 c Core size: 19 Core Weight: 1 Total Weight: -246 3.59/3.61 c Elapsed CPU time: 3.59945 s Remaining CPU time: 1796.4 s 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 2214 62619 181930 | 20873 0 nan | 0.000 % | 3.59/3.68 c =============================================================================== 3.59/3.68 c core #75 3.59/3.68 c Core size: 42 Core Weight: 1 Total Weight: -245 3.59/3.68 c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 2273 62625 184066 | 20875 0 nan | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c core #76 3.69/3.75 c Core size: 12 Core Weight: 1 Total Weight: -244 3.69/3.75 c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s 3.79/3.82 c Learning 1 hard constraints 3.79/3.82 c ============================[ Search Statistics ]============================== 3.79/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.82 c =============================================================================== 3.79/3.82 c | 0 | 2281 62627 184644 | 20875 0 nan | 0.000 % | 3.79/3.83 c =============================================================================== 3.79/3.83 c core #77 3.79/3.83 c Core size: 20 Core Weight: 1 Total Weight: -243 3.79/3.83 c Elapsed CPU time: 3.81842 s Remaining CPU time: 1796.18 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 | 2287 62629 184655 | 20876 0 nan | 0.000 % | 3.89/3.90 c =============================================================================== 3.89/3.90 c core #78 3.89/3.90 c Core size: 23 Core Weight: 1 Total Weight: -242 3.89/3.90 c Elapsed CPU time: 3.89541 s Remaining CPU time: 1796.1 s 3.89/3.97 c ============================[ Search Statistics ]============================== 3.89/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.97 c =============================================================================== 3.89/3.97 c | 0 | 2297 62630 185037 | 20876 0 nan | 0.000 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c core #79 3.89/3.98 c Core size: 36 Core Weight: 1 Total Weight: -241 3.89/3.98 c Elapsed CPU time: 3.9694 s Remaining CPU time: 1796.03 s 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 | 2307 62631 185057 | 20877 0 nan | 0.000 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c core #80 3.99/4.05 c Core size: 26 Core Weight: 1 Total Weight: -240 3.99/4.05 c Elapsed CPU time: 4.04139 s Remaining CPU time: 1795.96 s 4.09/4.12 c Learning 1 hard constraints 4.09/4.12 c ============================[ Search Statistics ]============================== 4.09/4.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.12 c =============================================================================== 4.09/4.12 c | 0 | 2329 62634 186174 | 20878 0 nan | 0.000 % | 4.09/4.13 c =============================================================================== 4.09/4.13 c core #81 4.09/4.13 c Core size: 39 Core Weight: 1 Total Weight: -239 4.09/4.13 c Elapsed CPU time: 4.11737 s Remaining CPU time: 1795.88 s 4.19/4.20 c ============================[ Search Statistics ]============================== 4.19/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.20 c =============================================================================== 4.19/4.20 c | 0 | 2343 62638 186217 | 20879 0 nan | 0.000 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c core #82 4.19/4.20 c Core size: 45 Core Weight: 1 Total Weight: -238 4.19/4.20 c Elapsed CPU time: 4.19536 s Remaining CPU time: 1795.8 s 4.19/4.28 c Learning 2 hard constraints 4.19/4.28 c ============================[ Search Statistics ]============================== 4.19/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.28 c =============================================================================== 4.19/4.28 c | 0 | 2357 62646 186267 | 20882 0 nan | 0.000 % | 4.19/4.28 c =============================================================================== 4.19/4.28 c core #83 4.19/4.28 c Core size: 45 Core Weight: 1 Total Weight: -237 4.19/4.28 c Elapsed CPU time: 4.27335 s Remaining CPU time: 1795.73 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 | 2372 62649 186298 | 20883 0 nan | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #84 4.29/4.36 c Core size: 37 Core Weight: 1 Total Weight: -236 4.29/4.36 c Elapsed CPU time: 4.35334 s Remaining CPU time: 1795.65 s 4.40/4.44 c Learning 2 hard constraints 4.40/4.44 c ============================[ Search Statistics ]============================== 4.40/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.44 c =============================================================================== 4.40/4.44 c | 0 | 2384 62652 186328 | 20884 0 nan | 0.000 % | 4.40/4.44 c =============================================================================== 4.40/4.44 c core #85 4.40/4.44 c Core size: 33 Core Weight: 1 Total Weight: -235 4.40/4.44 c Elapsed CPU time: 4.43333 s Remaining CPU time: 1795.57 s 4.50/4.51 c Learning 2 hard constraints 4.50/4.51 c ============================[ Search Statistics ]============================== 4.50/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.50/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.50/4.51 c =============================================================================== 4.50/4.51 c | 0 | 2395 62656 186355 | 20885 0 nan | 0.000 % | 4.50/4.52 c =============================================================================== 4.50/4.52 c core #86 4.50/4.52 c Core size: 54 Core Weight: 1 Total Weight: -234 4.50/4.52 c Elapsed CPU time: 4.51131 s Remaining CPU time: 1795.49 s 4.50/4.59 c Learning 3 hard constraints 4.50/4.59 c ============================[ Search Statistics ]============================== 4.50/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.50/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.50/4.59 c =============================================================================== 4.50/4.59 c | 0 | 2395 62662 186392 | 20887 0 nan | 0.000 % | 4.59/4.60 c =============================================================================== 4.59/4.60 c core #87 4.59/4.60 c Core size: 23 Core Weight: 1 Total Weight: -233 4.59/4.60 c Elapsed CPU time: 4.5863 s Remaining CPU time: 1795.41 s 4.59/4.67 c Learning 1 hard constraints 4.59/4.67 c ============================[ Search Statistics ]============================== 4.59/4.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.67 c =============================================================================== 4.59/4.67 c | 0 | 2416 62665 186757 | 20888 0 nan | 0.000 % | 4.59/4.67 c =============================================================================== 4.59/4.67 c core #88 4.59/4.67 c Core size: 39 Core Weight: 1 Total Weight: -232 4.59/4.67 c Elapsed CPU time: 4.66329 s Remaining CPU time: 1795.34 s 4.69/4.75 c Learning 1 hard constraints 4.69/4.75 c ============================[ Search Statistics ]============================== 4.69/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.75 c =============================================================================== 4.69/4.75 c | 0 | 2428 62671 186793 | 20890 0 nan | 0.000 % | 4.69/4.76 c =============================================================================== 4.69/4.76 c core #89 4.69/4.76 c Core size: 49 Core Weight: 1 Total Weight: -231 4.69/4.76 c Elapsed CPU time: 4.74328 s Remaining CPU time: 1795.26 s 4.79/4.83 c Learning 1 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 | 2444 62677 186836 | 20892 0 nan | 0.000 % | 4.79/4.84 c =============================================================================== 4.79/4.84 c core #90 4.79/4.84 c Core size: 18 Core Weight: 2 Total Weight: -229 4.79/4.84 c Elapsed CPU time: 4.82427 s Remaining CPU time: 1795.18 s 4.89/4.91 c Learning 5 hard constraints 4.89/4.91 c ============================[ Search Statistics ]============================== 4.89/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.91 c =============================================================================== 4.89/4.91 c | 0 | 2449 62683 186862 | 20894 0 nan | 0.000 % | 4.89/4.92 c =============================================================================== 4.89/4.92 c core #91 4.89/4.92 c Core size: 29 Core Weight: 1 Total Weight: -228 4.89/4.92 c Elapsed CPU time: 4.90325 s Remaining CPU time: 1795.1 s 4.89/4.99 c ============================[ Search Statistics ]============================== 4.89/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.99 c =============================================================================== 4.89/4.99 c | 0 | 2457 62688 186886 | 20896 0 nan | 0.000 % | 4.99/5.00 c =============================================================================== 4.99/5.00 c core #92 4.99/5.00 c Core size: 33 Core Weight: 1 Total Weight: -227 4.99/5.00 c Elapsed CPU time: 4.98324 s Remaining CPU time: 1795.02 s 4.99/5.07 c Learning 2 hard constraints 4.99/5.07 c ============================[ Search Statistics ]============================== 4.99/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.07 c =============================================================================== 4.99/5.07 c | 0 | 2465 62694 186916 | 20898 0 nan | 0.000 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c core #93 4.99/5.08 c Core size: 43 Core Weight: 1 Total Weight: -226 4.99/5.08 c Elapsed CPU time: 5.06123 s Remaining CPU time: 1794.94 s 5.09/5.15 c ============================[ Search Statistics ]============================== 5.09/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.15 c =============================================================================== 5.09/5.15 c | 0 | 2478 62701 186954 | 20900 0 nan | 0.000 % | 5.09/5.15 c =============================================================================== 5.09/5.15 c core #94 5.09/5.15 c Core size: 33 Core Weight: 1 Total Weight: -225 5.09/5.15 c Elapsed CPU time: 5.13822 s Remaining CPU time: 1794.86 s 5.19/5.22 c Learning 1 hard constraints 5.19/5.22 c ============================[ Search Statistics ]============================== 5.19/5.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.22 c =============================================================================== 5.19/5.22 c | 0 | 2489 62704 186979 | 20901 0 nan | 0.000 % | 5.19/5.23 c =============================================================================== 5.19/5.23 c core #95 5.19/5.23 c Core size: 66 Core Weight: 1 Total Weight: -224 5.19/5.23 c Elapsed CPU time: 5.21521 s Remaining CPU time: 1794.78 s 5.28/5.30 c Learning 1 hard constraints 5.28/5.30 c ============================[ Search Statistics ]============================== 5.28/5.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/5.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/5.30 c =============================================================================== 5.28/5.30 c | 0 | 2510 62708 187029 | 20902 0 nan | 0.000 % | 5.28/5.31 c =============================================================================== 5.28/5.31 c core #96 5.28/5.31 c Core size: 54 Core Weight: 1 Total Weight: -223 5.28/5.31 c Elapsed CPU time: 5.29319 s Remaining CPU time: 1794.71 s 5.28/5.38 c Learning 2 hard constraints 5.28/5.38 c ============================[ Search Statistics ]============================== 5.28/5.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/5.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/5.38 c =============================================================================== 5.28/5.38 c | 0 | 2530 62711 187076 | 20903 0 nan | 0.000 % | 5.28/5.39 c =============================================================================== 5.28/5.39 c core #97 5.28/5.39 c Core size: 112 Core Weight: 1 Total Weight: -222 5.28/5.39 c Elapsed CPU time: 5.37318 s Remaining CPU time: 1794.63 s 5.39/5.46 c Learning 3 hard constraints 5.39/5.46 c ============================[ Search Statistics ]============================== 5.39/5.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.46 c =============================================================================== 5.39/5.46 c | 0 | 2566 62717 187185 | 20905 0 nan | 0.000 % | 5.39/5.47 c =============================================================================== 5.39/5.47 c core #98 5.39/5.47 c Core size: 74 Core Weight: 1 Total Weight: -221 5.39/5.47 c Elapsed CPU time: 5.45117 s Remaining CPU time: 1794.55 s 5.50/5.54 c Learning 3 hard constraints 5.50/5.54 c ============================[ Search Statistics ]============================== 5.50/5.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/5.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/5.54 c =============================================================================== 5.50/5.54 c | 0 | 2589 62726 187254 | 20908 0 nan | 0.000 % | 5.50/5.55 c =============================================================================== 5.50/5.55 c core #99 5.50/5.55 c Core size: 31 Core Weight: 1 Total Weight: -220 5.50/5.55 c Elapsed CPU time: 5.52716 s Remaining CPU time: 1794.47 s 5.60/5.62 c Learning 2 hard constraints 5.60/5.62 c ============================[ Search Statistics ]============================== 5.60/5.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.60/5.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.60/5.62 c =============================================================================== 5.60/5.62 c | 0 | 2597 62729 187278 | 20909 0 nan | 0.000 % | 5.60/5.62 c =============================================================================== 5.60/5.62 c core #100 5.60/5.62 c Core size: 83 Core Weight: 1 Total Weight: -219 5.60/5.62 c Elapsed CPU time: 5.60615 s Remaining CPU time: 1794.39 s 5.60/5.69 c ============================[ Search Statistics ]============================== 5.60/5.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.60/5.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.60/5.69 c =============================================================================== 5.60/5.69 c | 0 | 2624 62734 187340 | 20911 0 nan | 0.000 % | 5.69/5.71 c =============================================================================== 5.69/5.71 c core #101 5.69/5.71 c Core size: 144 Core Weight: 1 Total Weight: -218 5.69/5.71 c Elapsed CPU time: 5.69013 s Remaining CPU time: 1794.31 s 5.69/5.78 c Learning 9 hard constraints 5.69/5.78 c ============================[ Search Statistics ]============================== 5.69/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.78 c =============================================================================== 5.69/5.78 c | 0 | 2667 62747 187468 | 20915 0 nan | 0.000 % | 5.69/5.79 c =============================================================================== 5.69/5.79 c core #102 5.69/5.79 c Core size: 84 Core Weight: 1 Total Weight: -217 5.69/5.79 c Elapsed CPU time: 5.77512 s Remaining CPU time: 1794.22 s 5.79/5.86 c Learning 4 hard constraints 5.79/5.86 c ============================[ Search Statistics ]============================== 5.79/5.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.86 c =============================================================================== 5.79/5.86 c | 0 | 2690 62752 187528 | 20917 0 nan | 0.000 % | 5.79/5.88 c =============================================================================== 5.79/5.88 c core #103 5.79/5.88 c Core size: 160 Core Weight: 1 Total Weight: -216 5.79/5.88 c Elapsed CPU time: 5.85911 s Remaining CPU time: 1794.14 s 5.89/5.95 c Learning 9 hard constraints 5.89/5.95 c ============================[ Search Statistics ]============================== 5.89/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.95 c =============================================================================== 5.89/5.95 c | 0 | 2731 62763 187647 | 20921 0 nan | 0.000 % | 5.89/5.97 c =============================================================================== 5.89/5.97 c core #104 5.89/5.97 c Core size: 139 Core Weight: 1 Total Weight: -215 5.89/5.97 c Elapsed CPU time: 5.9471 s Remaining CPU time: 1794.05 s 5.99/6.04 c Learning 14 hard constraints 5.99/6.04 c ============================[ Search Statistics ]============================== 5.99/6.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.04 c =============================================================================== 5.99/6.04 c | 0 | 2777 62784 187802 | 20928 0 nan | 0.000 % | 5.99/6.05 c =============================================================================== 5.99/6.05 c core #105 5.99/6.05 c Core size: 166 Core Weight: 1 Total Weight: -214 5.99/6.05 c Elapsed CPU time: 6.03208 s Remaining CPU time: 1793.97 s 6.09/6.12 c Learning 9 hard constraints 6.09/6.12 c ============================[ Search Statistics ]============================== 6.09/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.12 c =============================================================================== 6.09/6.12 c | 0 | 2826 62794 187931 | 20931 0 nan | 0.000 % | 6.09/6.13 c =============================================================================== 6.09/6.13 c core #106 6.09/6.13 c Core size: 118 Core Weight: 1 Total Weight: -213 6.09/6.13 c Elapsed CPU time: 6.11307 s Remaining CPU time: 1793.89 s 6.19/6.21 c Learning 8 hard constraints 6.19/6.21 c ============================[ Search Statistics ]============================== 6.19/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.21 c =============================================================================== 6.19/6.21 c | 0 | 2856 62804 188019 | 20934 0 nan | 0.000 % | 6.19/6.23 c | 102 | 2856 62804 188019 | 23028 102 11 | 0.105 % | 6.19/6.24 c | 254 | 2856 62804 188019 | 25330 254 13 | 0.140 % | 6.19/6.26 c | 480 | 2855 62804 188019 | 27864 480 14 | 0.175 % | 6.29/6.30 c | 818 | 2838 62804 188019 | 30650 818 15 | 1.994 % | 6.29/6.30 c =============================================================================== 6.29/6.31 c core #107 6.29/6.31 c Core size: 541 Core Weight: 1 Total Weight: -212 6.29/6.31 c Elapsed CPU time: 6.28504 s Remaining CPU time: 1793.71 s 6.29/6.38 c Learning 48 hard constraints 6.29/6.38 c ============================[ Search Statistics ]============================== 6.29/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.38 c =============================================================================== 6.29/6.38 c | 0 | 2968 62858 188417 | 20952 0 nan | 0.000 % | 6.29/6.40 c | 100 | 2968 62858 188417 | 23047 100 10 | 0.101 % | 6.39/6.41 c | 252 | 2967 62858 188417 | 25352 252 13 | 0.135 % | 6.39/6.42 c | 480 | 2967 62858 188417 | 27887 480 13 | 0.135 % | 6.39/6.44 c | 817 | 2966 62858 188417 | 30676 817 14 | 0.168 % | 6.39/6.48 c | 1323 | 2964 62858 188417 | 33744 1323 15 | 0.303 % | 6.49/6.52 c =============================================================================== 6.49/6.53 c core #108 6.49/6.53 c Core size: 297 Core Weight: 1 Total Weight: -211 6.49/6.53 c Elapsed CPU time: 6.50301 s Remaining CPU time: 1793.5 s 6.59/6.60 c Learning 19 hard constraints 6.59/6.60 c ============================[ Search Statistics ]============================== 6.59/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.60 c =============================================================================== 6.59/6.60 c | 0 | 3062 62878 188664 | 20959 0 nan | 0.000 % | 6.59/6.62 c | 100 | 3062 62878 188664 | 23055 100 23 | 0.163 % | 6.59/6.63 c | 250 | 3062 62878 188664 | 25360 250 26 | 0.163 % | 6.59/6.65 c | 476 | 3062 62878 188664 | 27896 476 27 | 0.163 % | 6.59/6.67 c | 816 | 3062 62878 188664 | 30686 816 28 | 0.163 % | 6.70/6.72 c | 1323 | 3062 62878 188664 | 33755 1323 28 | 0.163 % | 6.70/6.77 c | 2084 | 3062 62878 188664 | 37130 2084 26 | 0.163 % | 6.79/6.88 c | 3225 | 3062 62878 188664 | 40843 3225 24 | 0.163 % | 6.99/7.08 c | 4935 | 3062 62878 188664 | 44928 4935 27 | 0.163 % | 7.39/7.47 c | 7498 | 3062 62878 188664 | 49421 7498 31 | 0.163 % | 8.19/8.21 c | 11346 | 3062 62878 188664 | 54363 11346 34 | 0.163 % | 9.79/9.86 c | 17114 | 3061 62878 188664 | 59799 17113 34 | 0.228 % | 11.48/11.57 c =============================================================================== 11.79/11.82 c core #109 11.79/11.82 c Core size: 581 Core Weight: 1 Total Weight: -210 11.79/11.82 c Elapsed CPU time: 11.7542 s Remaining CPU time: 1788.25 s 11.89/11.92 c Learning 26 hard constraints 11.89/11.92 c ============================[ Search Statistics ]============================== 11.89/11.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.92 c =============================================================================== 11.89/11.92 c | 0 | 3213 62905 189062 | 20968 0 nan | 0.000 % | 11.89/11.94 c | 100 | 3213 62905 189062 | 23065 100 34 | 0.155 % | 11.89/11.96 c | 252 | 3213 62905 189062 | 25371 252 37 | 0.155 % | 11.89/11.97 c | 481 | 3213 62905 189062 | 27908 481 36 | 0.155 % | 11.99/12.00 c | 818 | 3213 62905 189062 | 30699 818 37 | 0.155 % | 11.99/12.04 c | 1324 | 3213 62905 189062 | 33769 1324 35 | 0.155 % | 12.09/12.13 c | 2083 | 3212 62905 189062 | 37146 2082 35 | 0.186 % | 12.19/12.27 c | 3223 | 3212 62905 189062 | 40861 3222 34 | 0.186 % | 12.48/12.53 c | 4933 | 3205 62905 189062 | 44947 4930 34 | 0.404 % | 12.89/12.95 c | 7496 | 3204 62905 189062 | 49442 7493 32 | 0.435 % | 13.08/13.13 c =============================================================================== 13.08/13.19 c core #110 13.08/13.19 c Core size: 998 Core Weight: 1 Total Weight: -209 13.08/13.19 c Elapsed CPU time: 13.106 s Remaining CPU time: 1786.89 s 13.19/13.27 c Learning 92 hard constraints 13.19/13.27 c ============================[ Search Statistics ]============================== 13.19/13.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.27 c =============================================================================== 13.19/13.27 c | 0 | 3412 62999 189792 | 20999 0 nan | 0.000 % | 13.19/13.28 c | 101 | 3412 62999 189792 | 23099 101 18 | 0.146 % | 13.29/13.30 c | 252 | 3412 62999 189792 | 25409 252 27 | 0.146 % | 13.29/13.33 c | 477 | 3412 62999 189792 | 27950 477 30 | 0.146 % | 13.29/13.36 c | 816 | 3412 62999 189792 | 30745 816 36 | 0.146 % | 13.39/13.41 c | 1322 | 3412 62999 189792 | 33820 1322 40 | 0.146 % | 13.49/13.51 c | 2082 | 3412 62999 189792 | 37202 2082 43 | 0.146 % | 13.58/13.69 c | 3221 | 3412 62999 189792 | 40922 3221 47 | 0.146 % | 13.89/13.96 c | 4929 | 3410 62999 189792 | 45014 4782 46 | 0.205 % | 14.39/14.41 c | 7492 | 3410 62999 189792 | 49516 7345 55 | 0.205 % | 15.28/15.32 c | 11338 | 3410 62999 189792 | 54467 11191 57 | 0.205 % | 17.09/17.10 c | 17106 | 3410 62999 189792 | 59914 16959 59 | 0.205 % | 21.79/21.83 c | 25756 | 3410 62999 189792 | 65905 25609 59 | 0.205 % | 30.58/30.65 c | 38730 | 3408 62999 189792 | 72496 38572 56 | 0.263 % | 45.09/45.17 c =============================================================================== 45.78/45.89 c core #111 45.78/45.89 c Core size: 2025 Core Weight: 1 Total Weight: -208 45.78/45.89 c Elapsed CPU time: 45.6031 s Remaining CPU time: 1754.4 s 45.98/46.03 c Learning 160 hard constraints 45.98/46.03 c ============================[ Search Statistics ]============================== 45.98/46.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.98/46.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.98/46.03 c =============================================================================== 45.98/46.03 c | 0 | 3654 63160 190868 | 21053 0 nan | 0.000 % | 45.98/46.05 c | 102 | 3654 63160 190868 | 23158 102 32 | 0.137 % | 45.98/46.07 c | 254 | 3654 63160 190868 | 25474 254 36 | 0.137 % | 45.98/46.09 c | 480 | 3654 63160 190868 | 28021 480 40 | 0.137 % | 46.08/46.12 c | 819 | 3654 63160 190868 | 30824 819 34 | 0.137 % | 46.08/46.18 c | 1325 | 3654 63160 190868 | 33906 1325 38 | 0.137 % | 46.19/46.28 c | 2086 | 3654 63160 190868 | 37297 2086 43 | 0.137 % | 46.38/46.43 c | 3225 | 3654 63160 190868 | 41026 3225 50 | 0.137 % | 46.68/46.71 c | 4933 | 3654 63160 190868 | 45129 4933 56 | 0.137 % | 47.18/47.24 c | 7497 | 3651 63160 190868 | 49642 2441 31 | 0.219 % | 47.78/47.87 c | 11341 | 3651 63160 190868 | 54606 6285 38 | 0.219 % | 49.08/49.12 c | 17109 | 3651 63160 190868 | 60067 12051 39 | 0.219 % | 52.17/52.26 c | 25758 | 3651 63160 190868 | 66074 20700 42 | 0.219 % | 58.68/58.70 c | 38732 | 3651 63160 190868 | 72681 33674 47 | 0.219 % | 72.97/73.06 c | 58196 | 3651 63160 190868 | 79949 53138 52 | 0.219 % | 101.76/101.81 c | 87388 | 3651 63160 190868 | 87944 17332 56 | 0.219 % | 139.06/139.12 c | 131178 | 3650 63160 190868 | 96739 61120 55 | 0.246 % | 215.34/215.45 c =============================================================================== 219.43/219.56 c core #112 219.43/219.56 c Core size: 1780 Core Weight: 1 Total Weight: -207 219.43/219.56 c Elapsed CPU time: 218.52 s Remaining CPU time: 1581.48 s 219.73/219.83 c Learning 63 hard constraints 219.73/219.83 c ============================[ Search Statistics ]============================== 219.73/219.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.73/219.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.73/219.83 c =============================================================================== 219.73/219.83 c | 0 | 3872 63224 191524 | 21074 0 nan | 0.000 % | 219.73/219.87 c | 100 | 3872 63224 191524 | 23182 100 40 | 0.129 % | 219.73/219.90 c | 252 | 3872 63224 191524 | 25500 252 37 | 0.129 % | 219.83/219.94 c | 478 | 3872 63224 191524 | 28050 478 44 | 0.129 % | 219.94/220.00 c | 815 | 3872 63224 191524 | 30855 815 49 | 0.129 % | 219.94/220.06 c | 1321 | 3871 63224 191524 | 33940 1320 40 | 0.155 % | 220.04/220.14 c | 2082 | 3871 63224 191524 | 37335 2081 38 | 0.155 % | 220.23/220.33 c | 3223 | 3871 63224 191524 | 41068 3222 47 | 0.155 % | 220.54/220.66 c | 4933 | 3871 63224 191524 | 45175 4932 59 | 0.155 % | 221.14/221.29 c | 7495 | 3871 63224 191524 | 49692 7494 62 | 0.155 % | 222.74/222.83 c | 11339 | 3871 63224 191524 | 54662 11338 65 | 0.155 % | 225.93/226.04 c | 17110 | 3870 63224 191524 | 60128 17107 67 | 0.181 % | 231.04/231.11 c | 25762 | 3869 63224 191524 | 66141 25759 65 | 0.206 % | 240.53/240.69 c | 38737 | 3869 63224 191524 | 72755 38732 64 | 0.206 % | 259.93/260.00 c | 58198 | 3869 63224 191524 | 80031 58193 71 | 0.206 % | 304.21/304.34 c | 87390 | 3869 63224 191524 | 88034 22418 79 | 0.206 % | 365.29/365.47 c | 131179 | 3869 63224 191524 | 96837 66207 91 | 0.206 % | 474.56/474.75 c | 196865 | 3869 63224 191524 | 106521 50054 89 | 0.206 % | 642.52/642.72 c | 295392 | 3869 63224 191524 | 117173 58426 85 | 0.206 % | 941.24/941.55 c | 443181 | 3867 63224 191524 | 128890 104941 94 | 0.258 % | 1294.95/1295.39 c | 664867 | 3867 63224 191524 | 141779 99013 82 | 0.258 % |
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-1874911-1245218847/watcher-1874911-1245218847 -o /tmp/evaluation-result-1874911-1245218847/solver-1874911-1245218847 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874911-1245218847.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.84 0.95 0.98 3/64 7556 /proc/meminfo: memFree=1822648/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=4708 CPUtime=0 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 189485422 4820992 213 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 1177 213 128 292 0 374 0 [startup+0.105763 s] /proc/loadavg: 0.84 0.95 0.98 3/64 7556 /proc/meminfo: memFree=1822648/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=5840 CPUtime=0.1 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 693 0 0 0 10 0 0 0 18 0 1 0 189485422 5980160 677 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 1460 677 314 292 0 657 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5840 [startup+0.201763 s] /proc/loadavg: 0.84 0.95 0.98 3/64 7556 /proc/meminfo: memFree=1822648/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=6744 CPUtime=0.19 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 1110 0 0 0 19 0 0 0 18 0 1 0 189485422 6905856 1094 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 1686 1094 495 292 0 883 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6744 [startup+0.301774 s] /proc/loadavg: 0.84 0.95 0.98 3/64 7556 /proc/meminfo: memFree=1822648/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=8312 CPUtime=0.29 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 2150 0 0 0 29 0 0 0 19 0 1 0 189485422 8511488 1593 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 2078 1593 133 292 0 1783 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8312 [startup+0.701819 s] /proc/loadavg: 0.84 0.95 0.98 3/64 7556 /proc/meminfo: memFree=1822648/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=9484 CPUtime=0.69 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 2566 0 0 0 69 0 0 0 22 0 1 0 189485422 9711616 1887 1992294400 134512640 135709839 4294956240 18446744073709551615 134529862 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 2371 1887 133 292 0 2076 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9484 [startup+1.50191 s] /proc/loadavg: 0.84 0.95 0.98 2/65 7557 /proc/meminfo: memFree=1815600/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=9484 CPUtime=1.49 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 2568 0 0 0 149 0 0 0 25 0 1 0 189485422 9711616 1889 1992294400 134512640 135709839 4294956240 18446744073709551615 134584467 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 2371 1889 133 292 0 2076 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9484 [startup+3.10109 s] /proc/loadavg: 0.84 0.95 0.98 2/65 7557 /proc/meminfo: memFree=1815472/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=10192 CPUtime=3.08 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 2702 0 0 0 308 0 0 0 25 0 1 0 189485422 10436608 2023 1992294400 134512640 135709839 4294956240 18446744073709551615 134529862 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 2548 2023 133 292 0 2253 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10192 [startup+6.30144 s] /proc/loadavg: 0.85 0.95 0.98 2/65 7557 /proc/meminfo: memFree=1813936/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=11212 CPUtime=6.29 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 3094 0 0 0 627 2 0 0 25 0 1 0 189485422 11481088 2345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 2803 2345 136 292 0 2508 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11212 [startup+12.7012 s] /proc/loadavg: 0.87 0.95 0.98 2/65 7557 /proc/meminfo: memFree=1804720/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=20240 CPUtime=12.69 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 5288 0 0 0 1261 8 0 0 25 0 1 0 189485422 20725760 4539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 5060 4539 136 292 0 4765 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20240 [startup+25.5026 s] /proc/loadavg: 0.89 0.95 0.98 2/65 7557 /proc/meminfo: memFree=1800880/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=24028 CPUtime=25.49 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 6284 0 0 0 2532 17 0 0 25 0 1 0 189485422 24604672 5535 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 6007 5535 136 292 0 5712 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24028 [startup+51.1024 s] /proc/loadavg: 0.93 0.96 0.98 2/65 7557 /proc/meminfo: memFree=1785008/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=40020 CPUtime=51.08 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 10235 0 0 0 5073 35 0 0 25 0 1 0 189485422 40980480 9486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 10005 9486 136 292 0 9710 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40020 [startup+102.302 s] /proc/loadavg: 0.97 0.96 0.98 2/65 7557 /proc/meminfo: memFree=1767536/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=57320 CPUtime=102.26 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 14587 0 0 0 10169 57 0 0 25 0 1 0 189485422 58695680 13838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 14330 13838 136 292 0 14035 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 57320 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1741360/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=83632 CPUtime=162.25 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 21160 0 0 0 16145 80 0 0 25 0 1 0 189485422 85639168 20411 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 20908 20411 136 292 0 20613 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 83632 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1709552/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=115352 CPUtime=222.23 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 29092 0 0 0 22122 101 0 0 25 0 1 0 189485422 118120448 28251 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 28838 28251 136 292 0 28543 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 115352 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1709424/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=115352 CPUtime=282.21 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 29164 0 0 0 28103 118 0 0 25 0 1 0 189485422 118120448 28323 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 28838 28323 136 292 0 28543 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 115352 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1688752/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=136100 CPUtime=342.2 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 34340 0 0 0 34083 137 0 0 25 0 1 0 189485422 139366400 33499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 34025 33499 136 292 0 33730 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 136100 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1674160/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=150936 CPUtime=402.18 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 37997 0 0 0 40072 146 0 0 25 0 1 0 189485422 154558464 37156 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 37734 37156 136 292 0 37439 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 150936 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1649072/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=176052 CPUtime=462.17 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 44246 0 0 0 46055 162 0 0 25 0 1 0 189485422 180277248 43405 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 44013 43405 136 292 0 43718 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 176052 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1628720/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=196752 CPUtime=522.15 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 49390 0 0 0 52038 177 0 0 25 0 1 0 189485422 201474048 48549 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 49188 48549 136 292 0 48893 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 196752 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1610224/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=215120 CPUtime=582.13 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 53923 0 0 0 58024 189 0 0 25 0 1 0 189485422 220282880 53082 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 53780 53082 136 292 0 53485 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 215120 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1582832/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=242936 CPUtime=642.12 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 60857 0 0 0 64004 208 0 0 25 0 1 0 189485422 248766464 60016 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 60734 60016 136 292 0 60439 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 242936 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1531696/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=293764 CPUtime=822.07 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 73525 0 0 0 81958 249 0 0 25 0 1 0 189485422 300814336 72684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 73441 72684 136 292 0 73146 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 293764 [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1508976/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=316280 CPUtime=882.06 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 79140 0 0 0 87940 266 0 0 25 0 1 0 189485422 323870720 78299 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 79070 78299 136 292 0 78775 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 316280 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1493168/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=332272 CPUtime=942.05 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 83112 0 0 0 93927 278 0 0 25 0 1 0 189485422 340246528 82271 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 83068 82271 136 292 0 82773 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 332272 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1469040/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=356284 CPUtime=1002.03 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 89102 0 0 0 99909 294 0 0 25 0 1 0 189485422 364834816 88261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 89071 88261 136 292 0 88776 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 356284 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1447792/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=377592 CPUtime=1062.01 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 94429 0 0 0 105892 309 0 0 25 0 1 0 189485422 386654208 93588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 94398 93588 136 292 0 94103 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 377592 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1432496/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=393028 CPUtime=1121.99 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 98208 0 0 0 111879 320 0 0 25 0 1 0 189485422 402460672 97367 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 98257 97367 136 292 0 97962 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 393028 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1417712/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=407936 CPUtime=1181.98 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 101929 0 0 0 117865 333 0 0 25 0 1 0 189485422 417726464 101088 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 101984 101088 136 292 0 101689 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 407936 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1389488/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=436056 CPUtime=1241.97 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 108971 0 0 0 123841 356 0 0 25 0 1 0 189485422 446521344 108130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 109014 108130 136 292 0 108719 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 436056 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1369008/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=456620 CPUtime=1301.95 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 114077 0 0 0 129825 370 0 0 25 0 1 0 189485422 467578880 113236 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 114155 113236 136 292 0 113860 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 456620 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1356528/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=468860 CPUtime=1361.94 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 117154 0 0 0 135813 381 0 0 25 0 1 0 189485422 480112640 116313 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 117215 116313 136 292 0 116920 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 468860 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1344432/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=481200 CPUtime=1421.92 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 120161 0 0 0 141801 391 0 0 25 0 1 0 189485422 492748800 119320 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 120300 119320 136 292 0 120005 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 481200 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1317744/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=508092 CPUtime=1481.9 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 126865 0 0 0 147780 410 0 0 25 0 1 0 189485422 520286208 126024 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 127023 126024 136 292 0 126728 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 508092 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1303600/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=522196 CPUtime=1541.88 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 130344 0 0 0 153768 420 0 0 25 0 1 0 189485422 534728704 129503 1992294400 134512640 135709839 4294956240 18446744073709551615 134573731 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 130549 129503 136 292 0 130254 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 522196 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1291696/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=534168 CPUtime=1601.87 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 133352 0 0 0 159757 430 0 0 25 0 1 0 189485422 546988032 132511 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 133542 132511 136 292 0 133247 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 534168 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1279984/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=545868 CPUtime=1661.85 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 136226 0 0 0 165745 440 0 0 25 0 1 0 189485422 558968832 135385 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 136467 135385 136 292 0 136172 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 545868 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1271088/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=555748 CPUtime=1721.83 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 138660 0 0 0 171736 447 0 0 25 0 1 0 189485422 569085952 137819 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 138937 137819 136 292 0 138642 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 555748 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1240176/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=585984 CPUtime=1781.82 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 146181 0 0 0 177714 468 0 0 25 0 1 0 189485422 600047616 145340 1992294400 134512640 135709839 4294956240 18446744073709551615 134574243 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 146496 145340 136 292 0 146201 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 585984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7557 /proc/meminfo: memFree=1234928/2055920 swapFree=4191900/4192956 [pid=7556] ppid=7554 vsize=591032 CPUtime=1800.02 /proc/7556/stat : 7556 (wbo) R 7554 7556 7513 0 -1 4194304 147456 0 0 0 179530 472 0 0 25 0 1 0 189485422 605216768 146615 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7556/statm: 147758 146615 136 292 0 147463 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 591032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.6 CPU time (s): 1800.12 CPU user time (s): 1795.31 CPU system time (s): 4.81827 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 591032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.31 system time used= 4.81827 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147456 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= 2100 runsolver used 1.15382 second user time and 3.9154 second system time The end
Begin job on node9 at 2009-06-17 08:07:27 IDJOB=1874911 IDBENCH=71822 IDSOLVER=698 FILE ID=node9/1874911-1245218847 PBS_JOBID= 9368438 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1874911-1245218847/watcher-1874911-1245218847 -o /tmp/evaluation-result-1874911-1245218847/solver-1874911-1245218847 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874911-1245218847.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf RANDOM SEED=731521833 node9.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.231 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.231 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: 1823128 kB Buffers: 51248 kB Cached: 114548 kB SwapCached: 260 kB Active: 36392 kB Inactive: 142072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823128 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4540 kB Writeback: 0 kB Mapped: 21852 kB Slab: 40304 kB Committed_AS: 190344 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874911-1245218847.opb Free space on /tmp at the end= 66156 MiB End job on node9 at 2009-06-17 08:37:30