Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.15 | 1805.61 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb |
MD5SUM | f77d1de307b7db24bfedc4f252c9c297 |
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 | -178 |
Best CPU time to get the best result obtained on this benchmark | 14.6738 |
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 | 62994 |
Number of constraints which are clauses | 62994 |
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 | 327 |
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 | 327 |
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-1874918-1245219528.opb. 0.00/0.00 c Instance file HOME/instance-1874918-1245219528.opb 0.00/0.00 c File size is 2100313 bytes. 0.19/0.28 c Highest Coefficient sum: 4 0.19/0.28 c ============================[ Problem Statistics ]============================= 0.19/0.28 c | | 0.19/0.28 c | Parsing time: 0.28 s | 0.19/0.28 c | Number Variables: 2025 | 0.19/0.28 c | Number Clauses: 63129 | 0.19/0.28 c | Number Cardinality: 0 | 0.19/0.28 c | Number PB Constraints: 0 | 0.19/0.28 c core #1 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: -326 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.29/0.32 c core #2 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: -325 0.29/0.32 c Elapsed CPU time: 0.310952 s Remaining CPU time: 1799.69 s 0.29/0.35 c core #3 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: -324 0.29/0.35 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.40 c core #4 0.29/0.40 c Core size: 6 Core Weight: 1 Total Weight: -323 0.29/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.38/0.44 c core #5 0.38/0.44 c Core size: 5 Core Weight: 1 Total Weight: -322 0.38/0.44 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.38/0.48 c core #6 0.38/0.48 c Core size: 5 Core Weight: 1 Total Weight: -321 0.38/0.48 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.48/0.52 c core #7 0.48/0.52 c Core size: 6 Core Weight: 2 Total Weight: -319 0.48/0.52 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.48/0.56 c core #8 0.48/0.56 c Core size: 5 Core Weight: 1 Total Weight: -318 0.48/0.56 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.48/0.60 c core #9 0.48/0.60 c Core size: 5 Core Weight: 1 Total Weight: -317 0.48/0.60 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.58/0.64 c core #10 0.58/0.64 c Core size: 6 Core Weight: 1 Total Weight: -316 0.58/0.64 c Elapsed CPU time: 0.625904 s Remaining CPU time: 1799.37 s 0.58/0.68 c core #11 0.58/0.68 c Core size: 7 Core Weight: 1 Total Weight: -315 0.58/0.68 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.68/0.72 c core #12 0.68/0.72 c Core size: 5 Core Weight: 2 Total Weight: -313 0.68/0.72 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.68/0.76 c core #13 0.68/0.76 c Core size: 7 Core Weight: 1 Total Weight: -312 0.68/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.78/0.80 c core #14 0.78/0.80 c Core size: 6 Core Weight: 1 Total Weight: -311 0.78/0.80 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.78/0.84 c core #15 0.78/0.84 c Core size: 7 Core Weight: 3 Total Weight: -308 0.78/0.84 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.78/0.88 c core #16 0.78/0.88 c Core size: 5 Core Weight: 1 Total Weight: -307 0.78/0.88 c Elapsed CPU time: 0.871867 s Remaining CPU time: 1799.13 s 0.89/0.93 c core #17 0.89/0.93 c Core size: 6 Core Weight: 2 Total Weight: -305 0.89/0.93 c Elapsed CPU time: 0.91486 s Remaining CPU time: 1799.09 s 0.89/0.97 c core #18 0.89/0.97 c Core size: 6 Core Weight: 1 Total Weight: -304 0.89/0.97 c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 s 0.99/1.01 c core #19 0.99/1.01 c Core size: 5 Core Weight: 2 Total Weight: -302 0.99/1.01 c Elapsed CPU time: 0.999848 s Remaining CPU time: 1799 s 0.99/1.05 c core #20 0.99/1.05 c Core size: 6 Core Weight: 1 Total Weight: -301 0.99/1.05 c Elapsed CPU time: 1.04284 s Remaining CPU time: 1798.96 s 0.99/1.10 c core #21 0.99/1.10 c Core size: 6 Core Weight: 1 Total Weight: -300 0.99/1.10 c Elapsed CPU time: 1.08583 s Remaining CPU time: 1798.91 s 1.09/1.14 c core #22 1.09/1.14 c Core size: 6 Core Weight: 1 Total Weight: -299 1.09/1.14 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.09/1.17 c core #23 1.09/1.17 c Core size: 9 Core Weight: 3 Total Weight: -296 1.09/1.17 c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s 1.19/1.22 c core #24 1.19/1.22 c Core size: 11 Core Weight: 1 Total Weight: -295 1.19/1.22 c Elapsed CPU time: 1.20382 s Remaining CPU time: 1798.8 s 1.19/1.27 c core #25 1.19/1.27 c Core size: 9 Core Weight: 1 Total Weight: -294 1.19/1.27 c Elapsed CPU time: 1.24981 s Remaining CPU time: 1798.75 s 1.28/1.31 c core #26 1.28/1.31 c Core size: 8 Core Weight: 1 Total Weight: -293 1.28/1.31 c Elapsed CPU time: 1.2958 s Remaining CPU time: 1798.7 s 1.28/1.36 c core #27 1.28/1.36 c Core size: 9 Core Weight: 2 Total Weight: -291 1.28/1.36 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.38/1.41 c core #28 1.38/1.41 c Core size: 11 Core Weight: 1 Total Weight: -290 1.38/1.41 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.38/1.46 c core #29 1.38/1.46 c Core size: 12 Core Weight: 1 Total Weight: -289 1.38/1.46 c Elapsed CPU time: 1.43778 s Remaining CPU time: 1798.56 s 1.48/1.50 c core #30 1.48/1.50 c Core size: 13 Core Weight: 1 Total Weight: -288 1.48/1.50 c Elapsed CPU time: 1.48577 s Remaining CPU time: 1798.51 s 1.48/1.55 c core #31 1.48/1.55 c Core size: 10 Core Weight: 1 Total Weight: -287 1.48/1.55 c Elapsed CPU time: 1.53077 s Remaining CPU time: 1798.47 s 1.48/1.59 c core #32 1.48/1.59 c Core size: 7 Core Weight: 1 Total Weight: -286 1.48/1.59 c Elapsed CPU time: 1.57376 s Remaining CPU time: 1798.43 s 1.58/1.63 c core #33 1.58/1.63 c Core size: 15 Core Weight: 1 Total Weight: -285 1.58/1.63 c Elapsed CPU time: 1.61575 s Remaining CPU time: 1798.38 s 1.58/1.68 c core #34 1.58/1.68 c Core size: 17 Core Weight: 1 Total Weight: -284 1.58/1.68 c Elapsed CPU time: 1.65875 s Remaining CPU time: 1798.34 s 1.68/1.72 c core #35 1.68/1.72 c Core size: 18 Core Weight: 1 Total Weight: -283 1.68/1.72 c Elapsed CPU time: 1.70474 s Remaining CPU time: 1798.3 s 1.68/1.77 c core #36 1.68/1.77 c Core size: 18 Core Weight: 1 Total Weight: -282 1.68/1.77 c Elapsed CPU time: 1.74673 s Remaining CPU time: 1798.25 s 1.78/1.81 c core #37 1.78/1.81 c Core size: 13 Core Weight: 1 Total Weight: -281 1.78/1.81 c Elapsed CPU time: 1.79073 s Remaining CPU time: 1798.21 s 1.78/1.86 c core #38 1.78/1.86 c Core size: 14 Core Weight: 1 Total Weight: -280 1.78/1.86 c Elapsed CPU time: 1.83572 s Remaining CPU time: 1798.16 s 1.88/1.90 c core #39 1.88/1.90 c Core size: 15 Core Weight: 2 Total Weight: -278 1.88/1.90 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.88/1.95 c core #40 1.88/1.95 c Core size: 15 Core Weight: 1 Total Weight: -277 1.88/1.95 c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s 1.88/1.99 c core #41 1.88/1.99 c Core size: 9 Core Weight: 1 Total Weight: -276 1.88/1.99 c Elapsed CPU time: 1.9717 s Remaining CPU time: 1798.03 s 1.98/2.04 c core #42 1.98/2.04 c Core size: 10 Core Weight: 2 Total Weight: -274 1.98/2.04 c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s 1.98/2.09 c core #43 1.98/2.09 c Core size: 20 Core Weight: 2 Total Weight: -272 1.98/2.09 c Elapsed CPU time: 2.06669 s Remaining CPU time: 1797.93 s 2.08/2.14 c core #44 2.08/2.14 c Core size: 11 Core Weight: 1 Total Weight: -271 2.08/2.14 c Elapsed CPU time: 2.11868 s Remaining CPU time: 1797.88 s 2.08/2.19 c core #45 2.08/2.19 c Core size: 11 Core Weight: 1 Total Weight: -270 2.08/2.19 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.18/2.26 c core #46 2.18/2.26 c Core size: 9 Core Weight: 1 Total Weight: -269 2.18/2.26 c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s 2.27/2.31 c core #47 2.27/2.31 c Core size: 10 Core Weight: 1 Total Weight: -268 2.27/2.31 c Elapsed CPU time: 2.27065 s Remaining CPU time: 1797.73 s 2.27/2.36 c core #48 2.27/2.36 c Core size: 7 Core Weight: 2 Total Weight: -266 2.27/2.36 c Elapsed CPU time: 2.32165 s Remaining CPU time: 1797.68 s 2.36/2.41 c core #49 2.36/2.41 c Core size: 16 Core Weight: 1 Total Weight: -265 2.36/2.41 c Elapsed CPU time: 2.37364 s Remaining CPU time: 1797.63 s 2.36/2.47 c core #50 2.36/2.47 c Core size: 14 Core Weight: 1 Total Weight: -264 2.36/2.47 c Elapsed CPU time: 2.42663 s Remaining CPU time: 1797.57 s 2.46/2.53 c core #51 2.46/2.53 c Core size: 15 Core Weight: 1 Total Weight: -263 2.46/2.53 c Elapsed CPU time: 2.48562 s Remaining CPU time: 1797.51 s 2.46/2.58 c core #52 2.46/2.58 c Core size: 15 Core Weight: 1 Total Weight: -262 2.46/2.58 c Elapsed CPU time: 2.54061 s Remaining CPU time: 1797.46 s 2.56/2.65 c core #53 2.56/2.65 c Core size: 15 Core Weight: 1 Total Weight: -261 2.56/2.65 c Elapsed CPU time: 2.6046 s Remaining CPU time: 1797.4 s 2.66/2.71 c core #54 2.66/2.71 c Core size: 29 Core Weight: 1 Total Weight: -260 2.66/2.71 c Elapsed CPU time: 2.6616 s Remaining CPU time: 1797.34 s 2.66/2.76 c core #55 2.66/2.76 c Core size: 24 Core Weight: 1 Total Weight: -259 2.66/2.76 c Elapsed CPU time: 2.71959 s Remaining CPU time: 1797.28 s 2.76/2.82 c core #56 2.76/2.82 c Core size: 18 Core Weight: 1 Total Weight: -258 2.76/2.82 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.76/2.89 c core #57 2.76/2.89 c Core size: 7 Core Weight: 2 Total Weight: -256 2.76/2.89 c Elapsed CPU time: 2.83957 s Remaining CPU time: 1797.16 s 2.86/2.95 c core #58 2.86/2.95 c Core size: 10 Core Weight: 2 Total Weight: -254 2.86/2.95 c Elapsed CPU time: 2.90256 s Remaining CPU time: 1797.1 s 2.96/3.01 c core #59 2.96/3.01 c Core size: 11 Core Weight: 1 Total Weight: -253 2.96/3.01 c Elapsed CPU time: 2.96655 s Remaining CPU time: 1797.03 s 2.96/3.08 c core #60 2.96/3.08 c Core size: 10 Core Weight: 2 Total Weight: -251 2.96/3.08 c Elapsed CPU time: 3.03454 s Remaining CPU time: 1796.97 s 3.06/3.15 c core #61 3.06/3.15 c Core size: 11 Core Weight: 1 Total Weight: -250 3.06/3.15 c Elapsed CPU time: 3.10453 s Remaining CPU time: 1796.9 s 3.16/3.22 c core #62 3.16/3.22 c Core size: 13 Core Weight: 1 Total Weight: -249 3.16/3.22 c Elapsed CPU time: 3.17452 s Remaining CPU time: 1796.83 s 3.16/3.29 c core #63 3.16/3.29 c Core size: 14 Core Weight: 1 Total Weight: -248 3.16/3.29 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.26/3.37 c core #64 3.26/3.37 c Core size: 12 Core Weight: 1 Total Weight: -247 3.26/3.37 c Elapsed CPU time: 3.31849 s Remaining CPU time: 1796.68 s 3.36/3.44 c ============================[ Search Statistics ]============================== 3.36/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.44 c =============================================================================== 3.36/3.44 c | 0 | 2132 63316 178379 | 21105 0 nan | 0.000 % | 3.36/3.44 c =============================================================================== 3.36/3.44 c core #65 3.36/3.44 c Core size: 17 Core Weight: 1 Total Weight: -246 3.36/3.44 c Elapsed CPU time: 3.38848 s Remaining CPU time: 1796.61 s 3.45/3.51 c Learning 1 hard constraints 3.45/3.51 c ============================[ Search Statistics ]============================== 3.45/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.51 c =============================================================================== 3.45/3.51 c | 0 | 2182 63318 182558 | 21106 0 nan | 0.000 % | 3.45/3.51 c =============================================================================== 3.45/3.51 c core #66 3.45/3.51 c Core size: 31 Core Weight: 1 Total Weight: -245 3.45/3.51 c Elapsed CPU time: 3.46247 s Remaining CPU time: 1796.54 s 3.45/3.58 c Learning 1 hard constraints 3.45/3.58 c ============================[ Search Statistics ]============================== 3.45/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.58 c =============================================================================== 3.45/3.58 c | 0 | 2192 63323 182577 | 21107 0 nan | 0.000 % | 3.45/3.59 c =============================================================================== 3.45/3.59 c core #67 3.45/3.59 c Core size: 19 Core Weight: 1 Total Weight: -244 3.45/3.59 c Elapsed CPU time: 3.53246 s Remaining CPU time: 1796.47 s 3.55/3.65 c ============================[ Search Statistics ]============================== 3.55/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.65 c =============================================================================== 3.55/3.65 c | 0 | 2198 63324 182589 | 21108 0 nan | 0.000 % | 3.55/3.66 c =============================================================================== 3.55/3.66 c core #68 3.55/3.66 c Core size: 24 Core Weight: 1 Total Weight: -243 3.55/3.66 c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s 3.65/3.73 c Learning 1 hard constraints 3.65/3.73 c ============================[ Search Statistics ]============================== 3.65/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.73 c =============================================================================== 3.65/3.73 c | 0 | 2211 63327 182948 | 21109 0 nan | 0.000 % | 3.65/3.73 c =============================================================================== 3.65/3.73 c core #69 3.65/3.73 c Core size: 28 Core Weight: 1 Total Weight: -242 3.65/3.73 c Elapsed CPU time: 3.68044 s Remaining CPU time: 1796.32 s 3.75/3.80 c ============================[ Search Statistics ]============================== 3.75/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.75/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.75/3.80 c =============================================================================== 3.75/3.80 c | 0 | 2220 63331 182973 | 21110 0 nan | 0.000 % | 3.75/3.81 c =============================================================================== 3.75/3.81 c core #70 3.75/3.81 c Core size: 31 Core Weight: 1 Total Weight: -241 3.75/3.81 c Elapsed CPU time: 3.75543 s Remaining CPU time: 1796.24 s 3.75/3.88 c ============================[ Search Statistics ]============================== 3.75/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.75/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.75/3.88 c =============================================================================== 3.75/3.88 c | 0 | 2263 63336 185281 | 21112 0 nan | 0.000 % | 3.75/3.88 c =============================================================================== 3.75/3.88 c core #71 3.75/3.88 c Core size: 37 Core Weight: 1 Total Weight: -240 3.75/3.88 c Elapsed CPU time: 3.82942 s Remaining CPU time: 1796.17 s 3.85/3.95 c ============================[ Search Statistics ]============================== 3.85/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.95 c =============================================================================== 3.85/3.95 c | 0 | 2281 63338 185332 | 21112 0 nan | 0.000 % | 3.85/3.96 c =============================================================================== 3.85/3.96 c core #72 3.85/3.96 c Core size: 35 Core Weight: 1 Total Weight: -239 3.85/3.96 c Elapsed CPU time: 3.90441 s Remaining CPU time: 1796.1 s 3.95/4.03 c ============================[ Search Statistics ]============================== 3.95/4.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.95/4.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.95/4.03 c =============================================================================== 3.95/4.03 c | 0 | 2305 63345 186095 | 21115 0 nan | 0.000 % | 3.95/4.03 c =============================================================================== 3.95/4.03 c core #73 3.95/4.03 c Core size: 38 Core Weight: 1 Total Weight: -238 3.95/4.03 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 4.05/4.11 c ============================[ Search Statistics ]============================== 4.05/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.05/4.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.05/4.11 c =============================================================================== 4.05/4.11 c | 0 | 2327 63348 186875 | 21116 0 nan | 0.000 % | 4.05/4.11 c =============================================================================== 4.05/4.11 c core #74 4.05/4.11 c Core size: 12 Core Weight: 1 Total Weight: -237 4.05/4.11 c Elapsed CPU time: 4.05838 s Remaining CPU time: 1795.94 s 4.05/4.19 c Learning 2 hard constraints 4.05/4.19 c ============================[ Search Statistics ]============================== 4.05/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.05/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.05/4.19 c =============================================================================== 4.05/4.19 c | 0 | 2331 63354 186896 | 21118 0 nan | 0.000 % | 4.05/4.19 c =============================================================================== 4.05/4.19 c core #75 4.05/4.19 c Core size: 11 Core Weight: 1 Total Weight: -236 4.05/4.19 c Elapsed CPU time: 4.13437 s Remaining CPU time: 1795.87 s 4.15/4.26 c ============================[ Search Statistics ]============================== 4.15/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.15/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.15/4.26 c =============================================================================== 4.15/4.26 c | 0 | 2335 63356 186903 | 21118 0 nan | 0.000 % | 4.15/4.27 c =============================================================================== 4.15/4.27 c core #76 4.15/4.27 c Core size: 20 Core Weight: 1 Total Weight: -235 4.15/4.27 c Elapsed CPU time: 4.21336 s Remaining CPU time: 1795.79 s 4.25/4.34 c Learning 1 hard constraints 4.25/4.34 c ============================[ Search Statistics ]============================== 4.25/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.25/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.25/4.34 c =============================================================================== 4.25/4.34 c | 0 | 2342 63359 186918 | 21119 0 nan | 0.000 % | 4.25/4.35 c =============================================================================== 4.25/4.35 c core #77 4.25/4.35 c Core size: 23 Core Weight: 1 Total Weight: -234 4.25/4.35 c Elapsed CPU time: 4.28935 s Remaining CPU time: 1795.71 s 4.35/4.42 c Learning 1 hard constraints 4.35/4.42 c ============================[ Search Statistics ]============================== 4.35/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.35/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.35/4.42 c =============================================================================== 4.35/4.42 c | 0 | 2349 63364 186939 | 21121 0 nan | 0.000 % | 4.35/4.42 c =============================================================================== 4.35/4.42 c core #78 4.35/4.42 c Core size: 38 Core Weight: 1 Total Weight: -233 4.35/4.42 c Elapsed CPU time: 4.36234 s Remaining CPU time: 1795.64 s 4.43/4.52 c Learning 1 hard constraints 4.43/4.52 c ============================[ Search Statistics ]============================== 4.43/4.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.43/4.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.43/4.52 c =============================================================================== 4.43/4.52 c | 0 | 2360 63372 186973 | 21124 0 nan | 0.000 % | 4.43/4.52 c =============================================================================== 4.43/4.52 c core #79 4.43/4.52 c Core size: 45 Core Weight: 1 Total Weight: -232 4.43/4.52 c Elapsed CPU time: 4.44132 s Remaining CPU time: 1795.56 s 4.43/4.59 c Learning 2 hard constraints 4.43/4.59 c ============================[ Search Statistics ]============================== 4.43/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.43/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.43/4.59 c =============================================================================== 4.43/4.59 c | 0 | 2384 63379 187981 | 21126 0 nan | 0.000 % | 4.43/4.60 c =============================================================================== 4.43/4.60 c core #80 4.43/4.60 c Core size: 36 Core Weight: 1 Total Weight: -231 4.43/4.60 c Elapsed CPU time: 4.51731 s Remaining CPU time: 1795.48 s 4.52/4.67 c Learning 3 hard constraints 4.52/4.67 c ============================[ Search Statistics ]============================== 4.52/4.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.52/4.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.52/4.67 c =============================================================================== 4.52/4.67 c | 0 | 2394 63388 188021 | 21129 0 nan | 0.000 % | 4.52/4.68 c =============================================================================== 4.52/4.68 c core #81 4.52/4.68 c Core size: 60 Core Weight: 1 Total Weight: -230 4.52/4.68 c Elapsed CPU time: 4.5923 s Remaining CPU time: 1795.41 s 4.62/4.75 c Learning 2 hard constraints 4.62/4.75 c ============================[ Search Statistics ]============================== 4.62/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.62/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.62/4.75 c =============================================================================== 4.62/4.75 c | 0 | 2418 63396 188979 | 21132 0 nan | 0.000 % | 4.62/4.76 c =============================================================================== 4.62/4.76 c core #82 4.62/4.76 c Core size: 15 Core Weight: 1 Total Weight: -229 4.62/4.76 c Elapsed CPU time: 4.67429 s Remaining CPU time: 1795.33 s 4.72/4.84 c Learning 3 hard constraints 4.72/4.84 c ============================[ Search Statistics ]============================== 4.72/4.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.72/4.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.72/4.84 c =============================================================================== 4.72/4.84 c | 0 | 2406 63401 188995 | 21133 0 nan | 0.000 % | 4.72/4.84 c =============================================================================== 4.72/4.84 c core #83 4.72/4.84 c Core size: 23 Core Weight: 1 Total Weight: -228 4.72/4.84 c Elapsed CPU time: 4.75828 s Remaining CPU time: 1795.24 s 4.82/4.92 c Learning 1 hard constraints 4.82/4.92 c ============================[ Search Statistics ]============================== 4.82/4.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.82/4.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.82/4.92 c =============================================================================== 4.82/4.92 c | 0 | 2426 63403 189015 | 21134 0 nan | 0.000 % | 4.82/4.92 c =============================================================================== 4.82/4.92 c core #84 4.82/4.92 c Core size: 21 Core Weight: 1 Total Weight: -227 4.82/4.92 c Elapsed CPU time: 4.83726 s Remaining CPU time: 1795.16 s 4.82/5.00 c Learning 1 hard constraints 4.82/5.00 c ============================[ Search Statistics ]============================== 4.82/5.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.82/5.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.82/5.00 c =============================================================================== 4.82/5.00 c | 0 | 2431 63405 189027 | 21135 0 nan | 0.000 % | 4.92/5.00 c =============================================================================== 4.92/5.00 c core #85 4.92/5.00 c Core size: 39 Core Weight: 1 Total Weight: -226 4.92/5.00 c Elapsed CPU time: 4.91725 s Remaining CPU time: 1795.08 s 4.92/5.08 c ============================[ Search Statistics ]============================== 4.92/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.92/5.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.92/5.08 c =============================================================================== 4.92/5.08 c | 0 | 2445 63407 189057 | 21135 0 nan | 0.000 % | 4.92/5.08 c =============================================================================== 4.92/5.08 c core #86 4.92/5.08 c Core size: 67 Core Weight: 1 Total Weight: -225 4.92/5.08 c Elapsed CPU time: 4.99824 s Remaining CPU time: 1795 s 5.02/5.16 c Learning 2 hard constraints 5.02/5.16 c ============================[ Search Statistics ]============================== 5.02/5.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.02/5.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.02/5.16 c =============================================================================== 5.02/5.16 c | 0 | 2466 63411 189105 | 21137 0 nan | 0.000 % | 5.02/5.17 c =============================================================================== 5.02/5.17 c core #87 5.02/5.17 c Core size: 38 Core Weight: 1 Total Weight: -224 5.02/5.17 c Elapsed CPU time: 5.08123 s Remaining CPU time: 1794.92 s 5.12/5.24 c Learning 2 hard constraints 5.12/5.24 c ============================[ Search Statistics ]============================== 5.12/5.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.12/5.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.12/5.24 c =============================================================================== 5.12/5.24 c | 0 | 2481 63414 189141 | 21138 0 nan | 0.000 % | 5.12/5.25 c =============================================================================== 5.12/5.26 c core #88 5.12/5.26 c Core size: 108 Core Weight: 1 Total Weight: -223 5.12/5.26 c Elapsed CPU time: 5.16821 s Remaining CPU time: 1794.83 s 5.22/5.33 c Learning 4 hard constraints 5.22/5.33 c ============================[ Search Statistics ]============================== 5.22/5.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.22/5.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.22/5.33 c =============================================================================== 5.22/5.33 c | 0 | 2512 63420 189219 | 21140 0 nan | 0.000 % | 5.22/5.34 c =============================================================================== 5.22/5.34 c core #89 5.22/5.34 c Core size: 142 Core Weight: 1 Total Weight: -222 5.22/5.34 c Elapsed CPU time: 5.2562 s Remaining CPU time: 1794.74 s 5.31/5.42 c Learning 1 hard constraints 5.31/5.42 c ============================[ Search Statistics ]============================== 5.31/5.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.31/5.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.31/5.42 c =============================================================================== 5.31/5.42 c | 0 | 2556 63422 189310 | 21140 0 nan | 0.000 % | 5.31/5.44 c =============================================================================== 5.31/5.44 c core #90 5.31/5.44 c Core size: 109 Core Weight: 1 Total Weight: -221 5.31/5.44 c Elapsed CPU time: 5.34919 s Remaining CPU time: 1794.65 s 5.41/5.52 c Learning 2 hard constraints 5.41/5.52 c ============================[ Search Statistics ]============================== 5.41/5.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.41/5.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.41/5.52 c =============================================================================== 5.41/5.52 c | 0 | 2593 63427 189389 | 21142 0 nan | 0.000 % | 5.41/5.53 c =============================================================================== 5.41/5.53 c core #91 5.41/5.53 c Core size: 94 Core Weight: 1 Total Weight: -220 5.41/5.53 c Elapsed CPU time: 5.43417 s Remaining CPU time: 1794.57 s 5.51/5.60 c Learning 4 hard constraints 5.51/5.60 c ============================[ Search Statistics ]============================== 5.51/5.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.51/5.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.51/5.60 c =============================================================================== 5.51/5.60 c | 0 | 2626 63432 189470 | 21144 0 nan | 0.000 % | 5.51/5.62 c =============================================================================== 5.51/5.62 c core #92 5.51/5.62 c Core size: 107 Core Weight: 1 Total Weight: -219 5.51/5.62 c Elapsed CPU time: 5.51816 s Remaining CPU time: 1794.48 s 5.51/5.69 c Learning 4 hard constraints 5.51/5.69 c ============================[ Search Statistics ]============================== 5.51/5.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.51/5.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.51/5.69 c =============================================================================== 5.51/5.69 c | 0 | 2656 63440 189550 | 21146 0 nan | 0.000 % | 5.61/5.71 c =============================================================================== 5.61/5.71 c core #93 5.61/5.71 c Core size: 173 Core Weight: 1 Total Weight: -218 5.61/5.71 c Elapsed CPU time: 5.60815 s Remaining CPU time: 1794.39 s 5.61/5.78 c Learning 5 hard constraints 5.61/5.78 c ============================[ Search Statistics ]============================== 5.61/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.61/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.61/5.78 c =============================================================================== 5.61/5.78 c | 0 | 2704 63450 189669 | 21150 0 nan | 0.000 % | 5.71/5.80 c =============================================================================== 5.71/5.80 c core #94 5.71/5.80 c Core size: 48 Core Weight: 1 Total Weight: -217 5.71/5.80 c Elapsed CPU time: 5.69813 s Remaining CPU time: 1794.3 s 5.71/5.87 c Learning 9 hard constraints 5.71/5.87 c ============================[ Search Statistics ]============================== 5.71/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.71/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.71/5.87 c =============================================================================== 5.71/5.87 c | 0 | 2717 63460 189727 | 21153 0 nan | 0.000 % | 5.71/5.88 c =============================================================================== 5.71/5.88 c core #95 5.71/5.88 c Core size: 117 Core Weight: 1 Total Weight: -216 5.71/5.88 c Elapsed CPU time: 5.78212 s Remaining CPU time: 1794.22 s 5.81/5.96 c Learning 2 hard constraints 5.81/5.96 c ============================[ Search Statistics ]============================== 5.81/5.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.81/5.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.81/5.96 c =============================================================================== 5.81/5.96 c | 0 | 2753 63465 189811 | 21155 0 nan | 0.000 % | 5.81/5.98 c | 102 | 2751 63465 189811 | 23270 102 7 | 0.181 % | 5.81/5.99 c | 253 | 2745 63465 189811 | 25597 253 7 | 0.472 % | 5.81/5.99 c =============================================================================== 5.91/6.00 c core #96 5.91/6.00 c Core size: 275 Core Weight: 1 Total Weight: -215 5.91/6.00 c Elapsed CPU time: 5.8941 s Remaining CPU time: 1794.11 s 5.91/6.07 c Learning 22 hard constraints 5.91/6.07 c ============================[ Search Statistics ]============================== 5.91/6.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.91/6.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.91/6.07 c =============================================================================== 5.91/6.07 c | 0 | 2825 63489 190027 | 21163 0 nan | 0.000 % | 5.91/6.10 c | 102 | 2824 63489 190027 | 23279 102 7 | 0.212 % | 6.01/6.11 c =============================================================================== 6.01/6.11 c core #97 6.01/6.11 c Core size: 429 Core Weight: 1 Total Weight: -214 6.01/6.11 c Elapsed CPU time: 6.01009 s Remaining CPU time: 1793.99 s 6.01/6.19 c Learning 25 hard constraints 6.01/6.19 c ============================[ Search Statistics ]============================== 6.01/6.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.01/6.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.01/6.19 c =============================================================================== 6.01/6.19 c | 0 | 2940 63515 190351 | 21171 0 nan | 0.000 % | 6.11/6.21 c | 101 | 2940 63515 190351 | 23288 101 19 | 0.170 % | 6.11/6.22 c | 253 | 2940 63515 190351 | 25617 253 18 | 0.170 % | 6.11/6.24 c =============================================================================== 6.11/6.24 c core #98 6.11/6.24 c Core size: 409 Core Weight: 1 Total Weight: -213 6.11/6.24 c Elapsed CPU time: 6.13207 s Remaining CPU time: 1793.87 s 6.21/6.31 c Learning 25 hard constraints 6.21/6.31 c ============================[ Search Statistics ]============================== 6.21/6.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.21/6.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.21/6.31 c =============================================================================== 6.21/6.31 c | 0 | 3044 63544 190651 | 21181 0 nan | 0.000 % | 6.21/6.33 c | 100 | 3044 63544 190651 | 23299 100 15 | 0.229 % | 6.21/6.34 c | 253 | 3044 63544 190651 | 25629 253 13 | 0.230 % | 6.21/6.36 c | 478 | 3044 63544 190651 | 28192 478 13 | 0.229 % | 6.21/6.39 c | 817 | 3044 63544 190651 | 31011 817 17 | 0.229 % | 6.30/6.44 c | 1323 | 3043 63544 190651 | 34112 1323 18 | 0.295 % | 6.41/6.52 c | 2082 | 3033 63544 190651 | 37524 1171 15 | 0.590 % | 6.41/6.53 c =============================================================================== 6.41/6.55 c core #99 6.41/6.55 c Core size: 497 Core Weight: 1 Total Weight: -212 6.41/6.55 c Elapsed CPU time: 6.43802 s Remaining CPU time: 1793.56 s 6.51/6.64 c Learning 36 hard constraints 6.51/6.64 c ============================[ Search Statistics ]============================== 6.51/6.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.51/6.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.51/6.64 c =============================================================================== 6.51/6.64 c | 0 | 3167 63581 191031 | 21193 0 nan | 0.000 % | 6.51/6.66 c | 101 | 3166 63581 191031 | 23313 101 17 | 0.252 % | 6.51/6.67 c | 251 | 3164 63581 191031 | 25644 251 13 | 0.315 % | 6.51/6.69 c | 476 | 3164 63581 191031 | 28208 476 14 | 0.315 % | 6.60/6.72 c | 816 | 3163 63581 191031 | 31029 816 16 | 0.347 % | 6.60/6.77 c | 1322 | 3154 63581 191031 | 34132 1322 17 | 0.725 % | 6.60/6.78 c =============================================================================== 6.60/6.79 c core #100 6.60/6.79 c Core size: 441 Core Weight: 1 Total Weight: -211 6.60/6.79 c Elapsed CPU time: 6.66599 s Remaining CPU time: 1793.33 s 6.70/6.87 c Learning 21 hard constraints 6.70/6.87 c ============================[ Search Statistics ]============================== 6.70/6.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.70/6.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.70/6.87 c =============================================================================== 6.70/6.87 c | 0 | 3256 63605 191284 | 21201 0 nan | 0.000 % | 6.70/6.89 c | 102 | 3256 63605 191284 | 23321 102 21 | 0.215 % | 6.79/6.90 c | 252 | 3255 63605 191284 | 25654 252 30 | 0.245 % | 6.79/6.92 c | 477 | 3254 63605 191284 | 28219 477 27 | 0.307 % | 6.79/6.96 c | 814 | 3253 63605 191284 | 31041 814 28 | 0.306 % | 6.89/7.02 c | 1321 | 3253 63605 191284 | 34145 1321 34 | 0.306 % | 6.99/7.10 c | 2087 | 3253 63605 191284 | 37560 2087 37 | 0.306 % | 7.09/7.29 c | 3227 | 3253 63605 191284 | 41316 3224 41 | 0.306 % | 7.49/7.61 c | 4936 | 3253 63605 191284 | 45447 4933 44 | 0.306 % | 7.99/8.19 c | 7499 | 3253 63605 191284 | 49992 7496 45 | 0.306 % | 9.27/9.42 c | 11343 | 3240 63605 191284 | 54991 1414 18 | 0.705 % | 9.47/9.67 c =============================================================================== 9.68/9.84 c core #101 9.68/9.84 c Core size: 796 Core Weight: 1 Total Weight: -210 9.68/9.84 c Elapsed CPU time: 9.65053 s Remaining CPU time: 1790.35 s 9.77/9.95 c Learning 34 hard constraints 9.77/9.95 c ============================[ Search Statistics ]============================== 9.77/9.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.77/9.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.77/9.95 c =============================================================================== 9.77/9.95 c | 0 | 3368 63640 191625 | 21213 0 nan | 0.000 % | 9.77/9.99 c | 101 | 3368 63640 191625 | 23334 101 39 | 0.207 % | 9.77/10.00 c | 252 | 3368 63640 191625 | 25668 252 27 | 0.207 % | 9.83/10.02 c | 477 | 3368 63640 191625 | 28234 477 26 | 0.207 % | 9.83/10.05 c | 815 | 3368 63640 191625 | 31058 815 28 | 0.207 % | 9.93/10.11 c | 1324 | 3368 63640 191625 | 34164 1324 29 | 0.207 % | 10.03/10.20 c | 2084 | 3368 63640 191625 | 37580 2084 32 | 0.207 % | 10.13/10.36 c | 3224 | 3368 63640 191625 | 41338 3224 32 | 0.207 % | 10.33/10.59 c | 4934 | 3368 63640 191625 | 45472 4934 33 | 0.207 % | 10.93/11.11 c | 7498 | 3368 63640 191625 | 50019 7498 37 | 0.207 % | 11.72/11.96 c | 11342 | 3368 63640 191625 | 55021 11342 36 | 0.207 % | 13.01/13.24 c | 17108 | 3368 63640 191625 | 60524 17108 35 | 0.207 % | 15.48/15.73 c | 25758 | 3360 63640 191625 | 66576 9123 28 | 0.444 % | 15.77/16.06 c =============================================================================== 16.18/16.42 c core #102 16.18/16.42 c Core size: 1238 Core Weight: 1 Total Weight: -209 16.18/16.42 c Elapsed CPU time: 16.0716 s Remaining CPU time: 1783.93 s 16.28/16.52 c Learning 24 hard constraints 16.28/16.52 c ============================[ Search Statistics ]============================== 16.28/16.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.28/16.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.28/16.52 c =============================================================================== 16.28/16.52 c | 0 | 3555 63665 192080 | 21221 0 nan | 0.000 % | 16.28/16.54 c | 100 | 3555 63665 192080 | 23343 100 37 | 0.197 % | 16.28/16.55 c | 251 | 3555 63665 192080 | 25678 251 26 | 0.197 % | 16.28/16.57 c | 478 | 3555 63665 192080 | 28246 478 33 | 0.197 % | 16.37/16.61 c | 817 | 3555 63665 192080 | 31070 817 41 | 0.197 % | 16.37/16.67 c | 1323 | 3555 63665 192080 | 34177 1323 45 | 0.197 % | 16.48/16.76 c | 2086 | 3555 63665 192080 | 37595 2086 48 | 0.197 % | 16.67/16.91 c | 3225 | 3555 63665 192080 | 41355 3225 46 | 0.197 % | 16.87/17.11 c | 4936 | 3555 63665 192080 | 45490 4936 49 | 0.197 % | 17.37/17.60 c | 7499 | 3554 63665 192080 | 50039 7498 52 | 0.225 % | 18.47/18.77 c | 11344 | 3554 63665 192080 | 55043 11343 57 | 0.225 % | 21.64/21.92 c | 17112 | 3554 63665 192080 | 60547 17111 65 | 0.225 % | 29.12/29.59 c | 25761 | 3554 63665 192080 | 66602 25760 72 | 0.225 % | 41.68/42.19 c | 38739 | 3554 63665 192080 | 73262 38738 77 | 0.225 % | 63.58/64.10 c | 58200 | 3554 63665 192080 | 80589 58199 73 | 0.225 % | 105.07/105.51 c | 87395 | 3554 63665 192080 | 88648 20939 59 | 0.225 % | 153.57/154.25 c | 131189 | 3554 63665 192080 | 97512 64733 70 | 0.225 % | 234.88/236.43 c =============================================================================== 238.74/240.36 c core #103 238.74/240.36 c Core size: 944 Core Weight: 1 Total Weight: -208 238.74/240.36 c Elapsed CPU time: 237.846 s Remaining CPU time: 1562.15 s 239.04/240.62 c Learning 16 hard constraints 239.04/240.62 c ============================[ Search Statistics ]============================== 239.04/240.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.04/240.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.04/240.62 c =============================================================================== 239.04/240.62 c | 0 | 3654 63682 192340 | 21227 0 nan | 0.000 % | 239.04/240.67 c | 100 | 3654 63682 192340 | 23350 100 39 | 0.191 % | 239.04/240.69 c | 251 | 3654 63682 192340 | 25685 251 28 | 0.191 % | 239.14/240.72 c | 476 | 3654 63682 192340 | 28253 476 28 | 0.191 % | 239.14/240.76 c | 814 | 3654 63682 192340 | 31078 814 30 | 0.191 % | 239.24/240.83 c | 1320 | 3654 63682 192340 | 34186 1320 36 | 0.191 % | 239.34/240.95 c | 2080 | 3654 63682 192340 | 37605 2080 40 | 0.191 % | 239.54/241.15 c | 3220 | 3654 63682 192340 | 41366 3220 40 | 0.191 % | 239.83/241.45 c | 4928 | 3654 63682 192340 | 45502 4928 43 | 0.191 % | 240.34/241.95 c | 7490 | 3654 63682 192340 | 50052 7490 45 | 0.191 % | 241.41/243.05 c | 11335 | 3654 63682 192340 | 55058 11335 49 | 0.191 % | 242.80/244.49 c | 17101 | 3654 63682 192340 | 60564 17101 49 | 0.191 % | 246.46/248.11 c | 25752 | 3653 63682 192340 | 66620 25751 55 | 0.219 % | 255.89/257.62 c | 38728 | 3653 63682 192340 | 73282 38727 62 | 0.219 % | 270.97/272.88 c | 58191 | 3653 63682 192340 | 80610 58190 61 | 0.219 % | 301.03/303.11 c | 87383 | 3652 63682 192340 | 88671 20332 79 | 0.246 % | 347.87/350.41 c | 131172 | 3652 63682 192340 | 97539 64121 81 | 0.246 % | 444.08/446.87 c | 196859 | 3652 63682 192340 | 107292 46245 95 | 0.246 % | 578.43/581.38 c | 295390 | 3652 63682 192340 | 118022 53617 83 | 0.246 % | 811.37/814.39 c | 443182 | 3652 63682 192340 | 129824 99023 81 | 0.246 % | 841.07/844.05 c =============================================================================== 853.06/856.08 c core #104 853.06/856.08 c Core size: 2453 Core Weight: 1 Total Weight: -207 853.06/856.08 c Elapsed CPU time: 850.089 s Remaining CPU time: 949.911 s 853.67/856.66 c Learning 76 hard constraints 853.67/856.66 c ============================[ Search Statistics ]============================== 853.67/856.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 853.67/856.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 853.67/856.66 c =============================================================================== 853.67/856.66 c | 0 | 3860 63759 193020 | 21253 0 nan | 0.000 % | 853.76/856.76 c | 101 | 3859 63759 193020 | 23378 101 68 | 0.207 % | 853.86/856.80 c | 251 | 3859 63759 193020 | 25716 251 74 | 0.207 % | 853.86/856.82 c | 480 | 3859 63759 193020 | 28287 480 70 | 0.207 % | 853.86/856.86 c | 817 | 3859 63759 193020 | 31116 817 70 | 0.207 % | 853.97/856.91 c | 1323 | 3858 63759 193020 | 34228 1323 58 | 0.233 % | 853.97/856.98 c | 2084 | 3858 63759 193020 | 37650 2084 59 | 0.233 % | 854.17/857.14 c | 3223 | 3858 63759 193020 | 41416 3221 57 | 0.233 % | 854.47/857.44 c | 4936 | 3858 63759 193020 | 45557 4934 57 | 0.233 % | 855.07/858.06 c | 7498 | 3858 63759 193020 | 50113 7496 58 | 0.233 % | 856.07/859.07 c | 11347 | 3858 63759 193020 | 55124 11345 59 | 0.233 % | 859.06/862.07 c | 17120 | 3858 63759 193020 | 60637 17118 65 | 0.233 % | 865.66/868.68 c | 25769 | 3858 63759 193020 | 66701 25767 66 | 0.233 % | 880.56/883.53 c | 38743 | 3858 63759 193020 | 73371 38741 69 | 0.233 % | 917.65/920.66 c | 58207 | 3858 63759 193020 | 80708 58205 71 | 0.233 % | 978.64/981.64 c | 87400 | 3858 63759 193020 | 88779 21695 69 | 0.233 % | 1045.82/1048.86 c | 131189 | 3857 63759 193020 | 97656 65448 79 | 0.259 % | 1194.99/1198.08 c | 196873 | 3857 63759 193020 | 107422 49380 102 | 0.259 % | 1509.55/1514.56 c | 295404 | 3857 63759 193020 | 118164 58855 105 | 0.259 % |
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-1874918-1245219528/watcher-1874918-1245219528 -o /tmp/evaluation-result-1874918-1245219528/solver-1874918-1245219528 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874918-1245219528.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.49 1.62 1.59 3/72 11397 /proc/meminfo: memFree=1471864/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=4728 CPUtime=0 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 189549287 4841472 236 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 0 0 0 /proc/11397/statm: 1182 237 130 292 0 374 0 [startup+0.101704 s] /proc/loadavg: 1.49 1.62 1.59 3/72 11397 /proc/meminfo: memFree=1471864/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=5736 CPUtime=0.09 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 189549287 5873664 642 1992294400 134512640 135709839 4294956240 18446744073709551615 134607425 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 1434 642 298 292 0 626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5736 [startup+0.20171 s] /proc/loadavg: 1.49 1.62 1.59 3/72 11397 /proc/meminfo: memFree=1471864/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=6772 CPUtime=0.19 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 1086 0 0 0 19 0 0 0 18 0 1 0 189549287 6934528 1070 1992294400 134512640 135709839 4294956240 18446744073709551615 135182808 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 1693 1070 483 292 0 885 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6772 [startup+0.301719 s] /proc/loadavg: 1.49 1.62 1.59 3/72 11397 /proc/meminfo: memFree=1471864/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=7484 CPUtime=0.29 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 1932 0 0 0 29 0 0 0 19 0 1 0 189549287 7663616 1370 1992294400 134512640 135709839 4294956240 18446744073709551615 135173004 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 1871 1370 133 292 0 1576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7484 [startup+0.701746 s] /proc/loadavg: 1.49 1.62 1.59 3/72 11397 /proc/meminfo: memFree=1471864/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=9168 CPUtime=0.68 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 2616 0 0 0 68 0 0 0 23 0 1 0 189549287 9388032 1809 1992294400 134512640 135709839 4294956240 18446744073709551615 135165987 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 2292 1809 133 292 0 1997 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9168 [startup+1.5018 s] /proc/loadavg: 1.53 1.62 1.60 2/73 11398 /proc/meminfo: memFree=1464688/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=9532 CPUtime=1.48 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 2798 0 0 0 147 1 0 0 25 0 1 0 189549287 9760768 1900 1992294400 134512640 135709839 4294956240 18446744073709551615 134607397 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 2383 1900 133 292 0 2088 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9532 [startup+3.10191 s] /proc/loadavg: 1.53 1.62 1.60 3/73 11398 /proc/meminfo: memFree=1464304/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=10264 CPUtime=3.06 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 2955 0 0 0 305 1 0 0 25 0 1 0 189549287 10510336 2057 1992294400 134512640 135709839 4294956240 18446744073709551615 135173068 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 2566 2057 133 292 0 2271 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 10264 [startup+6.30112 s] /proc/loadavg: 1.53 1.62 1.60 2/73 11398 /proc/meminfo: memFree=1462896/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=11532 CPUtime=6.21 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 3652 0 0 0 619 2 0 0 25 0 1 0 189549287 11808768 2390 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 2883 2390 136 292 0 2588 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 11532 [startup+12.7026 s] /proc/loadavg: 1.45 1.60 1.59 2/73 11398 /proc/meminfo: memFree=1456312/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=17616 CPUtime=12.51 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 5177 0 0 0 1240 11 0 0 25 0 1 0 189549287 18038784 3915 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 4404 3915 136 292 0 4109 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 17616 [startup+25.5014 s] /proc/loadavg: 1.38 1.58 1.58 2/73 11398 /proc/meminfo: memFree=1448248/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=25756 CPUtime=25.17 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 7233 0 0 0 2495 22 0 0 25 0 1 0 189549287 26374144 5971 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/11397/statm: 6439 5971 136 292 0 6144 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 25756 [startup+51.1019 s] /proc/loadavg: 1.42 1.58 1.58 2/73 11398 /proc/meminfo: memFree=1434616/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=39704 CPUtime=50.68 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 10671 0 0 0 5036 32 0 0 25 0 1 0 189549287 40656896 9409 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 9926 9409 136 292 0 9631 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 39704 [startup+102.303 s] /proc/loadavg: 1.37 1.53 1.56 4/73 11398 /proc/meminfo: memFree=1415352/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=58924 CPUtime=101.88 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 15417 0 0 0 10141 47 0 0 25 0 1 0 189549287 60338176 14155 1992294400 134512640 135709839 4294956240 18446744073709551615 134568276 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 14731 14155 136 292 0 14436 0 Current children cumulated CPU time (s) 101.88 Current children cumulated vsize (KiB) 58924 [startup+162.302 s] /proc/loadavg: 1.40 1.52 1.55 4/73 11398 /proc/meminfo: memFree=1385784/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=88860 CPUtime=161.6 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 22873 0 0 0 16091 69 0 0 25 0 1 0 189549287 90992640 21611 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 22215 21611 136 292 0 21920 0 Current children cumulated CPU time (s) 161.6 Current children cumulated vsize (KiB) 88860 [startup+222.307 s] /proc/loadavg: 1.46 1.51 1.54 4/73 11398 /proc/meminfo: memFree=1369720/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=104716 CPUtime=220.96 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 26772 0 0 0 22008 88 0 0 25 0 1 0 189549287 107229184 25510 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 26179 25510 136 292 0 25884 0 Current children cumulated CPU time (s) 220.96 Current children cumulated vsize (KiB) 104716 [startup+282.302 s] /proc/loadavg: 1.62 1.54 1.55 2/73 11398 /proc/meminfo: memFree=1349688/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=124736 CPUtime=280.39 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 31860 0 0 0 27921 118 0 0 25 0 1 0 189549287 127729664 30502 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 31184 30502 136 292 0 30889 0 Current children cumulated CPU time (s) 280.39 Current children cumulated vsize (KiB) 124736 [startup+342.302 s] /proc/loadavg: 2.01 1.65 1.58 4/73 11398 /proc/meminfo: memFree=1334200/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=139672 CPUtime=339.86 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 35769 0 0 0 33839 147 0 0 25 0 1 0 189549287 143024128 34411 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 34918 34411 136 292 0 34623 0 Current children cumulated CPU time (s) 339.86 Current children cumulated vsize (KiB) 139672 [startup+402.301 s] /proc/loadavg: 1.71 1.64 1.58 2/73 11398 /proc/meminfo: memFree=1314232/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=159732 CPUtime=399.57 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 40771 0 0 0 39789 168 0 0 25 0 1 0 189549287 163565568 39413 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 39933 39413 136 292 0 39638 0 Current children cumulated CPU time (s) 399.57 Current children cumulated vsize (KiB) 159732 [startup+462.302 s] /proc/loadavg: 1.40 1.56 1.56 2/73 11398 /proc/meminfo: memFree=1281976/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=192280 CPUtime=459.56 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 48794 0 0 0 45766 190 0 0 25 0 1 0 189549287 196894720 47436 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 48070 47436 136 292 0 47775 0 Current children cumulated CPU time (s) 459.56 Current children cumulated vsize (KiB) 192280 [startup+522.319 s] /proc/loadavg: 1.37 1.52 1.54 2/73 11398 /proc/meminfo: memFree=1264248/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=209992 CPUtime=519.56 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 53223 0 0 0 51753 203 0 0 25 0 1 0 189549287 215031808 51865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 52498 51865 136 292 0 52203 0 Current children cumulated CPU time (s) 519.56 Current children cumulated vsize (KiB) 209992 [startup+582.302 s] /proc/loadavg: 1.85 1.62 1.57 3/73 11398 /proc/meminfo: memFree=1236024/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=238316 CPUtime=579.44 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 60290 0 0 0 57720 224 0 0 25 0 1 0 189549287 244035584 58932 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 59579 58933 136 292 0 59284 0 Current children cumulated CPU time (s) 579.44 Current children cumulated vsize (KiB) 238316 [startup+642.302 s] /proc/loadavg: 1.62 1.58 1.56 2/73 11398 /proc/meminfo: memFree=1210872/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=263812 CPUtime=639.43 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 66617 0 0 0 63700 243 0 0 25 0 1 0 189549287 270143488 65259 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 65953 65259 136 292 0 65658 0 Current children cumulated CPU time (s) 639.43 Current children cumulated vsize (KiB) 263812 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.64 1.53 1.53 3/73 11398 /proc/meminfo: memFree=1146488/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=327916 CPUtime=819.37 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 82577 0 0 0 81641 296 0 0 25 0 1 0 189549287 335785984 81219 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 81979 81219 136 292 0 81684 0 Current children cumulated CPU time (s) 819.37 Current children cumulated vsize (KiB) 327916 [startup+882.307 s] /proc/loadavg: 1.74 1.58 1.55 3/73 11398 /proc/meminfo: memFree=1118904/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=355196 CPUtime=879.36 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 89518 0 0 0 87621 315 0 0 25 0 1 0 189549287 363720704 88044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 88799 88044 136 292 0 88504 0 Current children cumulated CPU time (s) 879.36 Current children cumulated vsize (KiB) 355196 [startup+942.302 s] /proc/loadavg: 1.53 1.54 1.54 2/73 11398 /proc/meminfo: memFree=1118904/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=355196 CPUtime=939.35 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 89545 0 0 0 93611 324 0 0 25 0 1 0 189549287 363720704 88071 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 88799 88071 136 292 0 88504 0 Current children cumulated CPU time (s) 939.35 Current children cumulated vsize (KiB) 355196 [startup+1002.3 s] /proc/loadavg: 1.83 1.62 1.56 3/73 11398 /proc/meminfo: memFree=1118776/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=355196 CPUtime=999.33 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 89580 0 0 0 99598 335 0 0 25 0 1 0 189549287 363720704 88106 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 88799 88106 136 292 0 88504 0 Current children cumulated CPU time (s) 999.33 Current children cumulated vsize (KiB) 355196 [startup+1062.3 s] /proc/loadavg: 1.71 1.61 1.56 2/73 11398 /proc/meminfo: memFree=1118200/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=355196 CPUtime=1059.32 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 89737 0 0 0 105586 346 0 0 25 0 1 0 189549287 363720704 88263 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 88799 88263 136 292 0 88504 0 Current children cumulated CPU time (s) 1059.32 Current children cumulated vsize (KiB) 355196 [startup+1122.3 s] /proc/loadavg: 1.76 1.62 1.56 2/73 11398 /proc/meminfo: memFree=1118008/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=355196 CPUtime=1119.3 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 89773 0 0 0 111577 353 0 0 25 0 1 0 189549287 363720704 88299 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 88799 88299 136 292 0 88504 0 Current children cumulated CPU time (s) 1119.3 Current children cumulated vsize (KiB) 355196 [startup+1182.3 s] /proc/loadavg: 1.53 1.57 1.54 2/73 11398 /proc/meminfo: memFree=1104824/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=368720 CPUtime=1179.3 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 93123 0 0 0 117564 366 0 0 25 0 1 0 189549287 377569280 91649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 92180 91649 136 292 0 91885 0 Current children cumulated CPU time (s) 1179.3 Current children cumulated vsize (KiB) 368720 [startup+1242.3 s] /proc/loadavg: 1.23 1.48 1.51 2/73 11398 /proc/meminfo: memFree=1092600/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=380880 CPUtime=1239.21 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 96116 0 0 0 123545 376 0 0 25 0 1 0 189549287 390021120 94642 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 95220 94642 136 292 0 94925 0 Current children cumulated CPU time (s) 1239.21 Current children cumulated vsize (KiB) 380880 [startup+1302.3 s] /proc/loadavg: 1.59 1.53 1.53 3/73 11398 /proc/meminfo: memFree=1084344/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=389576 CPUtime=1298.66 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 98208 0 0 0 129471 395 0 0 25 0 1 0 189549287 398925824 96734 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 97394 96734 136 292 0 97099 0 Current children cumulated CPU time (s) 1298.66 Current children cumulated vsize (KiB) 389576 [startup+1362.3 s] /proc/loadavg: 1.48 1.52 1.52 3/73 11398 /proc/meminfo: memFree=1075448/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=398716 CPUtime=1358.09 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 100437 0 0 0 135400 409 0 0 25 0 1 0 189549287 408285184 98963 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 99679 98963 136 292 0 99384 0 Current children cumulated CPU time (s) 1358.09 Current children cumulated vsize (KiB) 398716 [startup+1422.3 s] /proc/loadavg: 1.35 1.47 1.51 2/73 11398 /proc/meminfo: memFree=1067768/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=406300 CPUtime=1417.47 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 102323 0 0 0 141322 425 0 0 25 0 1 0 189549287 416051200 100849 1992294400 134512640 135709839 4294956240 18446744073709551615 134573884 0 0 4096 3 0 0 0 17 0 0 0 /proc/11397/statm: 101575 100849 136 292 0 101280 0 Current children cumulated CPU time (s) 1417.47 Current children cumulated vsize (KiB) 406300 [startup+1482.3 s] /proc/loadavg: 1.32 1.44 1.49 3/73 11398 /proc/meminfo: memFree=1053368/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=421088 CPUtime=1477.35 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 105967 0 0 0 147296 439 0 0 25 0 1 0 189549287 431194112 104493 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 105272 104493 136 292 0 104977 0 Current children cumulated CPU time (s) 1477.35 Current children cumulated vsize (KiB) 421088 [startup+1542.31 s] /proc/loadavg: 1.42 1.45 1.49 2/73 11398 /proc/meminfo: memFree=1037432/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=436932 CPUtime=1537.34 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 109888 0 0 0 153279 455 0 0 25 0 1 0 189549287 447418368 108414 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 109233 108414 136 292 0 108938 0 Current children cumulated CPU time (s) 1537.34 Current children cumulated vsize (KiB) 436932 [startup+1602.3 s] /proc/loadavg: 1.58 1.47 1.49 4/73 11398 /proc/meminfo: memFree=1026168/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=448288 CPUtime=1597.3 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 112733 0 0 0 159262 468 0 0 25 0 1 0 189549287 459046912 111259 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 112072 111259 136 292 0 111777 0 Current children cumulated CPU time (s) 1597.3 Current children cumulated vsize (KiB) 448288 [startup+1662.3 s] /proc/loadavg: 1.66 1.52 1.50 2/73 11398 /proc/meminfo: memFree=1017016/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=457356 CPUtime=1656.87 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 114990 0 0 0 165206 481 0 0 25 0 1 0 189549287 468332544 113516 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 114339 113516 136 292 0 114044 0 Current children cumulated CPU time (s) 1656.87 Current children cumulated vsize (KiB) 457356 [startup+1722.3 s] /proc/loadavg: 1.44 1.49 1.50 3/73 11398 /proc/meminfo: memFree=993208/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=481288 CPUtime=1716.86 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 120961 0 0 0 171188 498 0 0 25 0 1 0 189549287 492838912 119487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 120322 119487 136 292 0 120027 0 Current children cumulated CPU time (s) 1716.86 Current children cumulated vsize (KiB) 481288 [startup+1782.31 s] /proc/loadavg: 1.50 1.49 1.49 2/73 11398 /proc/meminfo: memFree=975672/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=498488 CPUtime=1776.85 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 125266 0 0 0 177176 509 0 0 25 0 1 0 189549287 510451712 123792 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 124622 123792 136 292 0 124327 0 Current children cumulated CPU time (s) 1776.85 Current children cumulated vsize (KiB) 498488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1805.51 s] /proc/loadavg: 1.52 1.50 1.49 4/73 11398 /proc/meminfo: memFree=970168/2055920 swapFree=4181884/4192956 [pid=11397] ppid=11395 vsize=504008 CPUtime=1800.06 /proc/11397/stat : 11397 (wbo) R 11395 11397 11354 0 -1 4194304 126631 0 0 0 179491 515 0 0 25 0 1 0 189549287 516104192 125157 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/11397/statm: 126002 125157 136 292 0 125707 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 504008 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): 1805.61 CPU time (s): 1800.15 CPU user time (s): 1794.92 CPU system time (s): 5.2332 CPU usage (%): 99.6979 Max. virtual memory (cumulated for all children) (KiB): 504008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.92 system time used= 5.2332 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126631 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= 3 involuntary context switches= 19115 runsolver used 2.12068 second user time and 5.84911 second system time The end
Begin job on node52 at 2009-06-17 08:18:48 IDJOB=1874918 IDBENCH=71829 IDSOLVER=698 FILE ID=node52/1874918-1245219528 PBS_JOBID= 9368445 Free space on /tmp= 66460 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-1000opt.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-1874918-1245219528/watcher-1874918-1245219528 -o /tmp/evaluation-result-1874918-1245219528/solver-1874918-1245219528 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874918-1245219528.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f77d1de307b7db24bfedc4f252c9c297 RANDOM SEED=1927830794 node52.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.234 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.234 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: 1472416 kB Buffers: 68380 kB Cached: 411232 kB SwapCached: 6112 kB Active: 89124 kB Inactive: 416632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472416 kB SwapTotal: 4192956 kB SwapFree: 4181884 kB Dirty: 4496 kB Writeback: 0 kB Mapped: 32492 kB Slab: 62808 kB Committed_AS: 610320 kB PageTables: 2152 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-1874918-1245219528.opb Free space on /tmp at the end= 66460 MiB End job on node52 at 2009-06-17 08:48:56