| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.12 | 1800.61 |
| Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb |
| MD5SUM | ed2e5a29708037a3709a2832db86ffbb |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -164 |
| Best CPU time to get the best result obtained on this benchmark | 22.8335 |
| 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 | 62225 |
| Number of constraints which are clauses | 62225 |
| 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 | 356 |
| 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 | 356 |
| 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-1874913-1245219055.opb. 0.00/0.00 c Instance file HOME/instance-1874913-1245219055.opb 0.00/0.00 c File size is 2076817 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: 62360 | 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: -354 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.29/0.31 c core #2 0.29/0.31 c Core size: 6 Core Weight: 1 Total Weight: -353 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.34 c core #3 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: -352 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.38 c core #4 0.29/0.38 c Core size: 5 Core Weight: 2 Total Weight: -350 0.29/0.38 c Elapsed CPU time: 0.375942 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: -349 0.39/0.42 c Elapsed CPU time: 0.413937 s Remaining CPU time: 1799.59 s 0.39/0.46 c core #6 0.39/0.46 c Core size: 6 Core Weight: 1 Total Weight: -348 0.39/0.46 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.39/0.49 c core #7 0.39/0.49 c Core size: 5 Core Weight: 3 Total Weight: -345 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: 6 Core Weight: 1 Total Weight: -344 0.49/0.53 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.57 c core #9 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: -343 0.49/0.57 c Elapsed CPU time: 0.567913 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: -342 0.59/0.61 c Elapsed CPU time: 0.605907 s Remaining CPU time: 1799.39 s 0.59/0.65 c core #11 0.59/0.65 c Core size: 6 Core Weight: 2 Total Weight: -340 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.69 c core #12 0.59/0.69 c Core size: 5 Core Weight: 2 Total Weight: -338 0.59/0.69 c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s 0.69/0.73 c core #13 0.69/0.73 c Core size: 5 Core Weight: 2 Total Weight: -336 0.69/0.73 c Elapsed CPU time: 0.723889 s Remaining CPU time: 1799.28 s 0.69/0.77 c core #14 0.69/0.77 c Core size: 6 Core Weight: 1 Total Weight: -335 0.69/0.77 c Elapsed CPU time: 0.764883 s Remaining CPU time: 1799.24 s 0.79/0.81 c core #15 0.79/0.81 c Core size: 6 Core Weight: 2 Total Weight: -333 0.79/0.81 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.85 c core #16 0.79/0.85 c Core size: 5 Core Weight: 3 Total Weight: -330 0.79/0.85 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.90 c core #17 0.79/0.90 c Core size: 6 Core Weight: 1 Total Weight: -329 0.79/0.90 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.94 c core #18 0.89/0.94 c Core size: 5 Core Weight: 1 Total Weight: -328 0.89/0.94 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.98 c core #19 0.89/0.98 c Core size: 5 Core Weight: 2 Total Weight: -326 0.89/0.98 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.99/1.02 c core #20 0.99/1.02 c Core size: 6 Core Weight: 1 Total Weight: -325 0.99/1.02 c Elapsed CPU time: 1.01585 s Remaining CPU time: 1798.98 s 0.99/1.06 c core #21 0.99/1.06 c Core size: 7 Core Weight: 1 Total Weight: -324 0.99/1.06 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 1.09/1.10 c core #22 1.09/1.10 c Core size: 5 Core Weight: 1 Total Weight: -323 1.09/1.10 c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s 1.09/1.15 c core #23 1.09/1.15 c Core size: 6 Core Weight: 2 Total Weight: -321 1.09/1.15 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.09/1.19 c core #24 1.09/1.19 c Core size: 5 Core Weight: 1 Total Weight: -320 1.09/1.19 c Elapsed CPU time: 1.18382 s Remaining CPU time: 1798.82 s 1.19/1.23 c core #25 1.19/1.23 c Core size: 6 Core Weight: 1 Total Weight: -319 1.19/1.23 c Elapsed CPU time: 1.22481 s Remaining CPU time: 1798.78 s 1.19/1.27 c core #26 1.19/1.27 c Core size: 8 Core Weight: 1 Total Weight: -318 1.19/1.27 c Elapsed CPU time: 1.26681 s Remaining CPU time: 1798.73 s 1.29/1.31 c core #27 1.29/1.31 c Core size: 9 Core Weight: 1 Total Weight: -317 1.29/1.31 c Elapsed CPU time: 1.3078 s Remaining CPU time: 1798.69 s 1.29/1.35 c core #28 1.29/1.35 c Core size: 7 Core Weight: 1 Total Weight: -316 1.29/1.35 c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 s 1.29/1.40 c core #29 1.29/1.40 c Core size: 14 Core Weight: 1 Total Weight: -315 1.29/1.40 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.39/1.44 c core #30 1.39/1.44 c Core size: 13 Core Weight: 1 Total Weight: -314 1.39/1.44 c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s 1.39/1.48 c core #31 1.39/1.48 c Core size: 13 Core Weight: 2 Total Weight: -312 1.39/1.48 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.49/1.51 c core #32 1.49/1.51 c Core size: 14 Core Weight: 1 Total Weight: -311 1.49/1.51 c Elapsed CPU time: 1.50977 s Remaining CPU time: 1798.49 s 1.49/1.55 c core #33 1.49/1.55 c Core size: 15 Core Weight: 1 Total Weight: -310 1.49/1.55 c Elapsed CPU time: 1.54576 s Remaining CPU time: 1798.45 s 1.49/1.59 c core #34 1.49/1.59 c Core size: 15 Core Weight: 1 Total Weight: -309 1.49/1.59 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.59/1.62 c core #35 1.59/1.62 c Core size: 10 Core Weight: 1 Total Weight: -308 1.59/1.62 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.59/1.66 c core #36 1.59/1.66 c Core size: 8 Core Weight: 1 Total Weight: -307 1.59/1.66 c Elapsed CPU time: 1.65975 s Remaining CPU time: 1798.34 s 1.69/1.70 c core #37 1.69/1.70 c Core size: 9 Core Weight: 2 Total Weight: -305 1.69/1.70 c Elapsed CPU time: 1.69774 s Remaining CPU time: 1798.3 s 1.69/1.75 c core #38 1.69/1.75 c Core size: 8 Core Weight: 3 Total Weight: -302 1.69/1.75 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.69/1.79 c core #39 1.69/1.79 c Core size: 14 Core Weight: 1 Total Weight: -301 1.69/1.79 c Elapsed CPU time: 1.78473 s Remaining CPU time: 1798.22 s 1.79/1.83 c core #40 1.79/1.83 c Core size: 20 Core Weight: 1 Total Weight: -300 1.79/1.83 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.88 c core #41 1.79/1.88 c Core size: 20 Core Weight: 1 Total Weight: -299 1.79/1.88 c Elapsed CPU time: 1.87571 s Remaining CPU time: 1798.12 s 1.89/1.92 c core #42 1.89/1.92 c Core size: 22 Core Weight: 1 Total Weight: -298 1.89/1.92 c Elapsed CPU time: 1.91771 s Remaining CPU time: 1798.08 s 1.89/1.97 c core #43 1.89/1.97 c Core size: 22 Core Weight: 1 Total Weight: -297 1.89/1.97 c Elapsed CPU time: 1.9617 s Remaining CPU time: 1798.04 s 1.99/2.01 c core #44 1.99/2.01 c Core size: 23 Core Weight: 1 Total Weight: -296 1.99/2.01 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 1.99/2.05 c core #45 1.99/2.05 c Core size: 21 Core Weight: 1 Total Weight: -295 1.99/2.05 c Elapsed CPU time: 2.04769 s Remaining CPU time: 1797.95 s 1.99/2.10 c core #46 1.99/2.10 c Core size: 8 Core Weight: 1 Total Weight: -294 1.99/2.10 c Elapsed CPU time: 2.09368 s Remaining CPU time: 1797.91 s 2.09/2.14 c core #47 2.09/2.14 c Core size: 10 Core Weight: 1 Total Weight: -293 2.09/2.14 c Elapsed CPU time: 2.13967 s Remaining CPU time: 1797.86 s 2.09/2.19 c core #48 2.09/2.19 c Core size: 21 Core Weight: 1 Total Weight: -292 2.09/2.19 c Elapsed CPU time: 2.18667 s Remaining CPU time: 1797.81 s 2.19/2.24 c core #49 2.19/2.24 c Core size: 22 Core Weight: 1 Total Weight: -291 2.19/2.24 c Elapsed CPU time: 2.23766 s Remaining CPU time: 1797.76 s 2.19/2.29 c core #50 2.19/2.29 c Core size: 27 Core Weight: 1 Total Weight: -290 2.19/2.29 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.29/2.35 c core #51 2.29/2.35 c Core size: 17 Core Weight: 1 Total Weight: -289 2.29/2.35 c Elapsed CPU time: 2.34164 s Remaining CPU time: 1797.66 s 2.38/2.40 c core #52 2.38/2.40 c Core size: 17 Core Weight: 1 Total Weight: -288 2.38/2.40 c Elapsed CPU time: 2.39264 s Remaining CPU time: 1797.61 s 2.38/2.45 c core #53 2.38/2.45 c Core size: 21 Core Weight: 1 Total Weight: -287 2.38/2.45 c Elapsed CPU time: 2.44663 s Remaining CPU time: 1797.55 s 2.48/2.51 c core #54 2.48/2.51 c Core size: 21 Core Weight: 1 Total Weight: -286 2.48/2.51 c Elapsed CPU time: 2.50262 s Remaining CPU time: 1797.5 s 2.48/2.57 c core #55 2.48/2.57 c Core size: 23 Core Weight: 1 Total Weight: -285 2.48/2.57 c Elapsed CPU time: 2.55961 s Remaining CPU time: 1797.44 s 2.59/2.63 c core #56 2.59/2.63 c Core size: 7 Core Weight: 1 Total Weight: -284 2.59/2.63 c Elapsed CPU time: 2.6196 s Remaining CPU time: 1797.38 s 2.59/2.69 c core #57 2.59/2.69 c Core size: 8 Core Weight: 1 Total Weight: -283 2.59/2.69 c Elapsed CPU time: 2.67859 s Remaining CPU time: 1797.32 s 2.69/2.75 c core #58 2.69/2.75 c Core size: 11 Core Weight: 2 Total Weight: -281 2.69/2.75 c Elapsed CPU time: 2.73758 s Remaining CPU time: 1797.26 s 2.79/2.81 c core #59 2.79/2.81 c Core size: 11 Core Weight: 1 Total Weight: -280 2.79/2.81 c Elapsed CPU time: 2.79757 s Remaining CPU time: 1797.2 s 2.79/2.87 c core #60 2.79/2.87 c Core size: 11 Core Weight: 1 Total Weight: -279 2.79/2.87 c Elapsed CPU time: 2.86057 s Remaining CPU time: 1797.14 s 2.89/2.94 c core #61 2.89/2.94 c Core size: 20 Core Weight: 1 Total Weight: -278 2.89/2.94 c Elapsed CPU time: 2.92355 s Remaining CPU time: 1797.08 s 2.99/3.00 c core #62 2.99/3.00 c Core size: 9 Core Weight: 1 Total Weight: -277 2.99/3.00 c Elapsed CPU time: 2.98955 s Remaining CPU time: 1797.01 s 2.99/3.06 c core #63 2.99/3.06 c Core size: 8 Core Weight: 2 Total Weight: -275 2.99/3.06 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 2139 62569 174090 | 20856 0 nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c core #64 3.09/3.13 c Core size: 16 Core Weight: 1 Total Weight: -274 3.09/3.13 c Elapsed CPU time: 3.11852 s Remaining CPU time: 1796.88 s 3.09/3.20 c Learning 1 hard constraints 3.09/3.20 c ============================[ Search Statistics ]============================== 3.09/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.20 c =============================================================================== 3.09/3.20 c | 0 | 2145 62573 174108 | 20857 0 nan | 0.000 % | 3.19/3.20 c =============================================================================== 3.19/3.20 c core #65 3.19/3.20 c Core size: 28 Core Weight: 1 Total Weight: -273 3.19/3.20 c Elapsed CPU time: 3.18851 s Remaining CPU time: 1796.81 s 3.19/3.27 c Learning 1 hard constraints 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 2159 62578 174549 | 20859 0 nan | 0.000 % | 3.19/3.27 c =============================================================================== 3.19/3.27 c core #66 3.19/3.27 c Core size: 20 Core Weight: 1 Total Weight: -272 3.19/3.27 c Elapsed CPU time: 3.2595 s Remaining CPU time: 1796.74 s 3.29/3.34 c ============================[ Search Statistics ]============================== 3.29/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.34 c =============================================================================== 3.29/3.34 c | 0 | 2178 62582 175933 | 20860 0 nan | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c core #67 3.29/3.34 c Core size: 15 Core Weight: 1 Total Weight: -271 3.29/3.34 c Elapsed CPU time: 3.33049 s Remaining CPU time: 1796.67 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 2183 62587 175948 | 20862 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #68 3.39/3.42 c Core size: 16 Core Weight: 1 Total Weight: -270 3.39/3.42 c Elapsed CPU time: 3.40248 s Remaining CPU time: 1796.6 s 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 2200 62589 177227 | 20863 0 nan | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c core #69 3.39/3.49 c Core size: 22 Core Weight: 1 Total Weight: -269 3.39/3.49 c Elapsed CPU time: 3.47447 s Remaining CPU time: 1796.53 s 3.49/3.55 c Learning 1 hard constraints 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 2256 62593 181611 | 20864 0 nan | 0.000 % | 3.49/3.56 c =============================================================================== 3.49/3.56 c core #70 3.49/3.56 c Core size: 21 Core Weight: 1 Total Weight: -268 3.49/3.56 c Elapsed CPU time: 3.54446 s Remaining CPU time: 1796.46 s 3.59/3.63 c Learning 1 hard constraints 3.59/3.63 c core #71 3.59/3.63 c Core size: 22 Core Weight: 1 Total Weight: -267 3.59/3.63 c Elapsed CPU time: 3.61045 s Remaining CPU time: 1796.39 s 3.59/3.69 c core #72 3.59/3.69 c Core size: 21 Core Weight: 1 Total Weight: -266 3.59/3.69 c Elapsed CPU time: 3.67844 s Remaining CPU time: 1796.32 s 3.69/3.76 c core #73 3.69/3.76 c Core size: 28 Core Weight: 1 Total Weight: -265 3.69/3.76 c Elapsed CPU time: 3.74843 s Remaining CPU time: 1796.25 s 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 2327 62606 185096 | 20868 0 nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c core #74 3.79/3.84 c Core size: 26 Core Weight: 1 Total Weight: -264 3.79/3.84 c Elapsed CPU time: 3.82242 s Remaining CPU time: 1796.18 s 3.89/3.91 c Learning 1 hard constraints 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 2341 62610 185139 | 20870 0 nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c core #75 3.89/3.91 c Core size: 31 Core Weight: 1 Total Weight: -263 3.89/3.91 c Elapsed CPU time: 3.89441 s Remaining CPU time: 1796.11 s 3.89/3.98 c ============================[ Search Statistics ]============================== 3.89/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.98 c =============================================================================== 3.89/3.98 c | 0 | 2350 62615 185162 | 20871 0 nan | 0.000 % | 3.89/3.99 c =============================================================================== 3.89/3.99 c core #76 3.89/3.99 c Core size: 34 Core Weight: 1 Total Weight: -262 3.89/3.99 c Elapsed CPU time: 3.9684 s Remaining CPU time: 1796.03 s 3.98/4.06 c Learning 1 hard constraints 3.98/4.06 c ============================[ Search Statistics ]============================== 3.98/4.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.06 c =============================================================================== 3.98/4.06 c | 0 | 2360 62619 185189 | 20873 0 nan | 0.000 % | 3.98/4.06 c =============================================================================== 3.98/4.06 c core #77 3.98/4.06 c Core size: 30 Core Weight: 1 Total Weight: -261 3.98/4.06 c Elapsed CPU time: 4.04239 s Remaining CPU time: 1795.96 s 4.08/4.13 c ============================[ Search Statistics ]============================== 4.08/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.13 c =============================================================================== 4.08/4.13 c | 0 | 2370 62622 185207 | 20874 0 nan | 0.000 % | 4.08/4.13 c =============================================================================== 4.08/4.13 c core #78 4.08/4.13 c Core size: 15 Core Weight: 1 Total Weight: -260 4.08/4.13 c Elapsed CPU time: 4.11437 s Remaining CPU time: 1795.89 s 4.18/4.20 c Learning 1 hard constraints 4.18/4.20 c ============================[ Search Statistics ]============================== 4.18/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.20 c =============================================================================== 4.18/4.20 c | 0 | 2380 62626 185564 | 20875 0 nan | 0.000 % | 4.18/4.21 c =============================================================================== 4.18/4.21 c core #79 4.18/4.21 c Core size: 24 Core Weight: 1 Total Weight: -259 4.18/4.21 c Elapsed CPU time: 4.18836 s Remaining CPU time: 1795.81 s 4.18/4.28 c Learning 1 hard constraints 4.18/4.28 c ============================[ Search Statistics ]============================== 4.18/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.28 c =============================================================================== 4.18/4.28 c | 0 | 2399 62631 186610 | 20877 0 nan | 0.000 % | 4.18/4.28 c =============================================================================== 4.18/4.28 c core #80 4.18/4.28 c Core size: 25 Core Weight: 1 Total Weight: -258 4.18/4.28 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 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 | 2407 62632 186626 | 20877 0 nan | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #81 4.29/4.36 c Core size: 17 Core Weight: 1 Total Weight: -257 4.29/4.36 c Elapsed CPU time: 4.34134 s Remaining CPU time: 1795.66 s 4.39/4.43 c Learning 1 hard constraints 4.39/4.43 c ============================[ Search Statistics ]============================== 4.39/4.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.43 c =============================================================================== 4.39/4.43 c | 0 | 2413 62635 186644 | 20878 0 nan | 0.000 % | 4.39/4.43 c =============================================================================== 4.39/4.44 c core #82 4.39/4.44 c Core size: 41 Core Weight: 1 Total Weight: -256 4.39/4.44 c Elapsed CPU time: 4.41533 s Remaining CPU time: 1795.58 s 4.48/4.51 c Learning 1 hard constraints 4.48/4.51 c ============================[ Search Statistics ]============================== 4.48/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.51 c =============================================================================== 4.48/4.51 c | 0 | 2427 62637 186675 | 20879 0 nan | 0.000 % | 4.48/4.51 c =============================================================================== 4.48/4.51 c core #83 4.48/4.51 c Core size: 31 Core Weight: 1 Total Weight: -255 4.48/4.51 c Elapsed CPU time: 4.49032 s Remaining CPU time: 1795.51 s 4.48/4.58 c Learning 2 hard constraints 4.48/4.58 c ============================[ Search Statistics ]============================== 4.48/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.58 c =============================================================================== 4.48/4.58 c | 0 | 2434 62640 186696 | 20880 0 nan | 0.000 % | 4.48/4.58 c =============================================================================== 4.48/4.58 c core #84 4.48/4.58 c Core size: 26 Core Weight: 1 Total Weight: -254 4.48/4.58 c Elapsed CPU time: 4.56331 s Remaining CPU time: 1795.44 s 4.58/4.66 c Learning 1 hard constraints 4.58/4.66 c ============================[ Search Statistics ]============================== 4.58/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.66 c =============================================================================== 4.58/4.66 c | 0 | 2441 62642 186713 | 20880 0 nan | 0.000 % | 4.58/4.66 c =============================================================================== 4.58/4.66 c core #85 4.58/4.66 c Core size: 54 Core Weight: 1 Total Weight: -253 4.58/4.66 c Elapsed CPU time: 4.64329 s Remaining CPU time: 1795.36 s 4.68/4.74 c Learning 1 hard constraints 4.68/4.74 c ============================[ Search Statistics ]============================== 4.68/4.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.74 c =============================================================================== 4.68/4.74 c | 0 | 2458 62645 186749 | 20881 0 nan | 0.000 % | 4.68/4.75 c =============================================================================== 4.68/4.75 c core #86 4.68/4.75 c Core size: 18 Core Weight: 1 Total Weight: -252 4.68/4.75 c Elapsed CPU time: 4.71928 s Remaining CPU time: 1795.28 s 4.78/4.82 c ============================[ Search Statistics ]============================== 4.78/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.78/4.82 c =============================================================================== 4.78/4.82 c | 0 | 2464 62646 186761 | 20882 0 nan | 0.000 % | 4.78/4.82 c =============================================================================== 4.78/4.82 c core #87 4.78/4.82 c Core size: 63 Core Weight: 1 Total Weight: -251 4.78/4.82 c Elapsed CPU time: 4.79527 s Remaining CPU time: 1795.2 s 4.87/4.90 c Learning 3 hard constraints 4.87/4.90 c ============================[ Search Statistics ]============================== 4.87/4.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.87/4.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.87/4.90 c =============================================================================== 4.87/4.90 c | 0 | 2486 62650 186820 | 20883 0 nan | 0.000 % | 4.87/4.91 c =============================================================================== 4.87/4.91 c core #88 4.87/4.91 c Core size: 20 Core Weight: 1 Total Weight: -250 4.87/4.91 c Elapsed CPU time: 4.87726 s Remaining CPU time: 1795.12 s 4.87/4.98 c Learning 1 hard constraints 4.87/4.98 c ============================[ Search Statistics ]============================== 4.87/4.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.87/4.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.87/4.98 c =============================================================================== 4.87/4.98 c | 0 | 2493 62652 186838 | 20884 0 nan | 0.000 % | 4.87/4.99 c =============================================================================== 4.87/4.99 c core #89 4.87/4.99 c Core size: 22 Core Weight: 1 Total Weight: -249 4.87/4.99 c Elapsed CPU time: 4.95725 s Remaining CPU time: 1795.04 s 4.97/5.06 c ============================[ Search Statistics ]============================== 4.97/5.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.97/5.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.97/5.06 c =============================================================================== 4.97/5.06 c | 0 | 2502 62653 186856 | 20884 0 nan | 0.000 % | 4.97/5.07 c =============================================================================== 4.97/5.07 c core #90 4.97/5.07 c Core size: 41 Core Weight: 1 Total Weight: -248 4.97/5.07 c Elapsed CPU time: 5.03723 s Remaining CPU time: 1794.96 s 5.07/5.14 c ============================[ Search Statistics ]============================== 5.07/5.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.07/5.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.07/5.14 c =============================================================================== 5.07/5.14 c | 0 | 2515 62654 186882 | 20884 0 nan | 0.000 % | 5.07/5.15 c =============================================================================== 5.07/5.15 c core #91 5.07/5.15 c Core size: 63 Core Weight: 1 Total Weight: -247 5.07/5.15 c Elapsed CPU time: 5.11922 s Remaining CPU time: 1794.88 s 5.17/5.22 c ============================[ Search Statistics ]============================== 5.17/5.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.17/5.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.17/5.22 c =============================================================================== 5.17/5.22 c | 0 | 2537 62655 186926 | 20885 0 nan | 0.000 % | 5.17/5.23 c =============================================================================== 5.17/5.23 c core #92 5.17/5.23 c Core size: 71 Core Weight: 1 Total Weight: -246 5.17/5.23 c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s 5.27/5.31 c Learning 1 hard constraints 5.27/5.31 c ============================[ Search Statistics ]============================== 5.27/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.27/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.27/5.31 c =============================================================================== 5.27/5.31 c | 0 | 2558 62657 186971 | 20885 0 nan | 0.000 % | 5.27/5.32 c =============================================================================== 5.27/5.32 c core #93 5.27/5.32 c Core size: 99 Core Weight: 1 Total Weight: -245 5.27/5.32 c Elapsed CPU time: 5.2852 s Remaining CPU time: 1794.71 s 5.27/5.39 c Learning 3 hard constraints 5.27/5.39 c ============================[ Search Statistics ]============================== 5.27/5.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.27/5.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.27/5.39 c =============================================================================== 5.27/5.39 c | 0 | 2587 62663 187043 | 20887 0 nan | 0.000 % | 5.37/5.40 c =============================================================================== 5.37/5.40 c core #94 5.37/5.40 c Core size: 71 Core Weight: 1 Total Weight: -244 5.37/5.40 c Elapsed CPU time: 5.36818 s Remaining CPU time: 1794.63 s 5.37/5.47 c Learning 7 hard constraints 5.37/5.47 c ============================[ Search Statistics ]============================== 5.37/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.37/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.37/5.47 c =============================================================================== 5.37/5.47 c | 0 | 2608 62671 187113 | 20890 0 nan | 0.000 % | 5.37/5.48 c =============================================================================== 5.37/5.48 c core #95 5.37/5.48 c Core size: 40 Core Weight: 1 Total Weight: -243 5.37/5.48 c Elapsed CPU time: 5.44917 s Remaining CPU time: 1794.55 s 5.47/5.55 c Learning 3 hard constraints 5.47/5.56 c ============================[ Search Statistics ]============================== 5.47/5.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.56 c =============================================================================== 5.47/5.56 c | 0 | 2620 62678 187154 | 20892 0 nan | 0.000 % | 5.47/5.57 c =============================================================================== 5.47/5.57 c core #96 5.47/5.57 c Core size: 25 Core Weight: 1 Total Weight: -242 5.47/5.57 c Elapsed CPU time: 5.52916 s Remaining CPU time: 1794.47 s 5.57/5.64 c Learning 2 hard constraints 5.57/5.64 c ============================[ Search Statistics ]============================== 5.57/5.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.57/5.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.57/5.64 c =============================================================================== 5.57/5.64 c | 0 | 2628 62683 187179 | 20894 0 nan | 0.000 % | 5.57/5.64 c =============================================================================== 5.57/5.64 c core #97 5.57/5.64 c Core size: 29 Core Weight: 1 Total Weight: -241 5.57/5.64 c Elapsed CPU time: 5.60715 s Remaining CPU time: 1794.39 s 5.67/5.72 c ============================[ Search Statistics ]============================== 5.67/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.67/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.67/5.72 c =============================================================================== 5.67/5.72 c | 0 | 2638 62686 187203 | 20895 0 nan | 0.000 % | 5.67/5.73 c =============================================================================== 5.67/5.73 c core #98 5.67/5.73 c Core size: 29 Core Weight: 1 Total Weight: -240 5.67/5.73 c Elapsed CPU time: 5.68813 s Remaining CPU time: 1794.31 s 5.76/5.80 c Learning 3 hard constraints 5.76/5.80 c ============================[ Search Statistics ]============================== 5.76/5.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.80 c =============================================================================== 5.76/5.80 c | 0 | 2647 62692 187233 | 20897 0 nan | 0.000 % | 5.76/5.81 c =============================================================================== 5.76/5.81 c core #99 5.76/5.81 c Core size: 34 Core Weight: 1 Total Weight: -239 5.76/5.81 c Elapsed CPU time: 5.77212 s Remaining CPU time: 1794.23 s 5.76/5.88 c ============================[ Search Statistics ]============================== 5.76/5.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.76/5.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.76/5.88 c =============================================================================== 5.76/5.88 c | 0 | 2657 62695 187257 | 20898 0 nan | 0.000 % | 5.76/5.89 c =============================================================================== 5.76/5.89 c core #100 5.76/5.89 c Core size: 76 Core Weight: 1 Total Weight: -238 5.76/5.89 c Elapsed CPU time: 5.85511 s Remaining CPU time: 1794.14 s 5.87/5.97 c Learning 3 hard constraints 5.87/5.97 c ============================[ Search Statistics ]============================== 5.87/5.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.87/5.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.87/5.97 c =============================================================================== 5.87/5.97 c | 0 | 2678 62699 187310 | 20899 0 nan | 0.000 % | 5.87/5.97 c =============================================================================== 5.87/5.97 c core #101 5.87/5.97 c Core size: 11 Core Weight: 1 Total Weight: -237 5.87/5.97 c Elapsed CPU time: 5.9361 s Remaining CPU time: 1794.06 s 5.97/6.04 c Learning 3 hard constraints 5.97/6.04 c ============================[ Search Statistics ]============================== 5.97/6.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.97/6.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.97/6.04 c =============================================================================== 5.97/6.04 c | 0 | 2680 62703 187322 | 20901 0 nan | 0.000 % | 5.97/6.05 c =============================================================================== 5.97/6.05 c core #102 5.97/6.05 c Core size: 58 Core Weight: 1 Total Weight: -236 5.97/6.05 c Elapsed CPU time: 6.01509 s Remaining CPU time: 1793.98 s 6.07/6.12 c Learning 2 hard constraints 6.07/6.12 c ============================[ Search Statistics ]============================== 6.07/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.07/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.07/6.12 c =============================================================================== 6.07/6.12 c | 0 | 2698 62708 187369 | 20902 0 nan | 0.000 % | 6.07/6.14 c =============================================================================== 6.07/6.14 c core #103 6.07/6.14 c Core size: 175 Core Weight: 1 Total Weight: -235 6.07/6.14 c Elapsed CPU time: 6.10007 s Remaining CPU time: 1793.9 s 6.17/6.21 c Learning 3 hard constraints 6.17/6.21 c ============================[ Search Statistics ]============================== 6.17/6.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.17/6.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.17/6.21 c =============================================================================== 6.17/6.21 c | 0 | 2747 62717 187487 | 20905 0 nan | 0.000 % | 6.17/6.22 c =============================================================================== 6.17/6.22 c core #104 6.17/6.22 c Core size: 80 Core Weight: 1 Total Weight: -234 6.17/6.22 c Elapsed CPU time: 6.18006 s Remaining CPU time: 1793.82 s 6.17/6.29 c Learning 4 hard constraints 6.17/6.29 c ============================[ Search Statistics ]============================== 6.17/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.17/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.17/6.29 c =============================================================================== 6.17/6.29 c | 0 | 2770 62724 187548 | 20908 0 nan | 0.000 % | 6.27/6.30 c =============================================================================== 6.27/6.30 c core #105 6.27/6.30 c Core size: 73 Core Weight: 1 Total Weight: -233 6.27/6.30 c Elapsed CPU time: 6.26105 s Remaining CPU time: 1793.74 s 6.27/6.37 c Learning 8 hard constraints 6.27/6.37 c ============================[ Search Statistics ]============================== 6.27/6.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.27/6.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.27/6.37 c =============================================================================== 6.27/6.37 c | 0 | 2794 62733 187620 | 20911 0 nan | 0.000 % | 6.27/6.38 c =============================================================================== 6.27/6.38 c core #106 6.27/6.38 c Core size: 21 Core Weight: 1 Total Weight: -232 6.27/6.38 c Elapsed CPU time: 6.34104 s Remaining CPU time: 1793.66 s 6.37/6.45 c Learning 4 hard constraints 6.37/6.45 c ============================[ Search Statistics ]============================== 6.37/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.37/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.37/6.45 c =============================================================================== 6.37/6.45 c | 0 | 2800 62741 187651 | 20913 0 nan | 0.000 % | 6.37/6.47 c =============================================================================== 6.37/6.47 c core #107 6.37/6.47 c Core size: 214 Core Weight: 1 Total Weight: -231 6.37/6.47 c Elapsed CPU time: 6.42802 s Remaining CPU time: 1793.57 s 6.47/6.55 c Learning 9 hard constraints 6.47/6.55 c ============================[ Search Statistics ]============================== 6.47/6.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.47/6.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.47/6.55 c =============================================================================== 6.47/6.55 c | 0 | 2857 62754 187805 | 20918 0 nan | 0.000 % | 6.47/6.56 c | 101 | 2854 62754 187805 | 23009 101 12 | 0.420 % | 6.47/6.56 c =============================================================================== 6.47/6.56 c core #108 6.47/6.56 c Core size: 15 Core Weight: 1 Total Weight: -230 6.47/6.56 c Elapsed CPU time: 6.51801 s Remaining CPU time: 1793.48 s 6.57/6.63 c Learning 7 hard constraints 6.57/6.63 c ============================[ Search Statistics ]============================== 6.57/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.57/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.57/6.63 c =============================================================================== 6.57/6.63 c | 0 | 2862 62764 187842 | 20921 0 nan | 0.000 % | 6.57/6.66 c | 100 | 2859 62764 187842 | 23013 100 7 | 0.384 % | 6.57/6.66 c =============================================================================== 6.57/6.66 c core #109 6.57/6.66 c Core size: 345 Core Weight: 1 Total Weight: -229 6.57/6.66 c Elapsed CPU time: 6.61399 s Remaining CPU time: 1793.39 s 6.67/6.73 c Learning 9 hard constraints 6.67/6.73 c ============================[ Search Statistics ]============================== 6.67/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.67/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.67/6.73 c =============================================================================== 6.67/6.73 c | 0 | 2961 62775 188074 | 20925 0 nan | 0.000 % | 6.67/6.76 c | 100 | 2960 62775 188074 | 23017 100 9 | 0.203 % | 6.67/6.76 c =============================================================================== 6.67/6.76 c core #110 6.67/6.76 c Core size: 189 Core Weight: 1 Total Weight: -228 6.67/6.76 c Elapsed CPU time: 6.71598 s Remaining CPU time: 1793.28 s 6.76/6.84 c Learning 10 hard constraints 6.76/6.84 c ============================[ Search Statistics ]============================== 6.76/6.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.76/6.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.76/6.84 c =============================================================================== 6.76/6.84 c | 0 | 3003 62787 188192 | 20929 0 nan | 0.000 % | 6.76/6.85 c | 101 | 3002 62787 188192 | 23021 101 9 | 0.199 % | 6.76/6.86 c =============================================================================== 6.76/6.86 c core #111 6.76/6.86 c Core size: 136 Core Weight: 1 Total Weight: -227 6.76/6.86 c Elapsed CPU time: 6.81396 s Remaining CPU time: 1793.19 s 6.86/6.93 c Learning 17 hard constraints 6.86/6.93 c ============================[ Search Statistics ]============================== 6.86/6.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.86/6.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.86/6.93 c =============================================================================== 6.86/6.93 c | 0 | 3040 62805 188321 | 20935 0 nan | 0.000 % | 6.86/6.95 c | 100 | 3040 62805 188321 | 23028 100 11 | 0.164 % | 6.86/6.96 c | 252 | 3039 62805 188321 | 25331 252 12 | 0.197 % | 6.86/6.98 c | 478 | 3039 62805 188321 | 27864 478 14 | 0.197 % | 6.96/7.01 c | 815 | 3039 62805 188321 | 30650 815 16 | 0.197 % | 6.96/7.06 c | 1321 | 3039 62805 188321 | 33716 1321 16 | 0.197 % | 7.06/7.11 c =============================================================================== 7.06/7.12 c core #112 7.06/7.12 c Core size: 559 Core Weight: 1 Total Weight: -226 7.06/7.12 c Elapsed CPU time: 7.06792 s Remaining CPU time: 1792.93 s 7.06/7.20 c Learning 31 hard constraints 7.06/7.20 c ============================[ Search Statistics ]============================== 7.06/7.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.06/7.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.06/7.20 c =============================================================================== 7.06/7.20 c | 0 | 3184 62837 188725 | 20945 0 nan | 0.000 % | 7.16/7.21 c | 101 | 3184 62837 188725 | 23040 101 15 | 0.188 % | 7.16/7.23 c | 253 | 3184 62837 188725 | 25344 253 14 | 0.188 % | 7.16/7.25 c | 478 | 3184 62837 188725 | 27878 478 17 | 0.188 % | 7.16/7.28 c | 817 | 3184 62837 188725 | 30666 817 17 | 0.188 % | 7.26/7.32 c =============================================================================== 7.26/7.33 c core #113 7.26/7.33 c Core size: 391 Core Weight: 1 Total Weight: -225 7.26/7.33 c Elapsed CPU time: 7.27189 s Remaining CPU time: 1792.73 s 7.37/7.40 c Learning 43 hard constraints 7.37/7.40 c ============================[ Search Statistics ]============================== 7.37/7.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.37/7.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.37/7.40 c =============================================================================== 7.37/7.40 c | 0 | 3250 62881 189008 | 20960 0 nan | 0.000 % | 7.37/7.42 c | 101 | 3250 62881 189008 | 23056 101 26 | 0.184 % | 7.37/7.44 c | 252 | 3250 62881 189008 | 25362 252 24 | 0.184 % | 7.37/7.46 c | 477 | 3250 62881 189008 | 27898 477 23 | 0.184 % | 7.37/7.48 c | 814 | 3250 62881 189008 | 30688 814 23 | 0.184 % | 7.46/7.55 c | 1322 | 3250 62881 189008 | 33756 1322 23 | 0.184 % | 7.57/7.62 c | 2081 | 3250 62881 189008 | 37132 2081 24 | 0.184 % | 7.67/7.78 c | 3221 | 3243 62881 189008 | 40845 1752 24 | 0.399 % | 7.86/7.92 c =============================================================================== 7.86/7.95 c core #114 7.86/7.95 c Core size: 777 Core Weight: 1 Total Weight: -224 7.86/7.95 c Elapsed CPU time: 7.8898 s Remaining CPU time: 1792.11 s 7.96/8.03 c Learning 39 hard constraints 7.96/8.03 c ============================[ Search Statistics ]============================== 7.96/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.96/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.96/8.03 c =============================================================================== 7.96/8.03 c | 0 | 3390 62924 189440 | 20974 0 nan | 0.000 % | 7.96/8.05 c | 100 | 3390 62924 189440 | 23072 100 31 | 0.177 % | 7.96/8.06 c | 250 | 3390 62924 189440 | 25379 250 27 | 0.177 % | 7.96/8.08 c | 475 | 3390 62924 189440 | 27917 475 29 | 0.177 % | 8.06/8.12 c | 813 | 3390 62924 189440 | 30709 813 34 | 0.177 % | 8.06/8.18 c | 1321 | 3390 62924 189440 | 33779 1321 36 | 0.177 % | 8.16/8.26 c | 2082 | 3390 62924 189440 | 37157 2082 34 | 0.177 % | 8.26/8.37 c | 3222 | 3389 62924 189440 | 40873 3221 30 | 0.206 % | 8.46/8.55 c | 4930 | 3389 62924 189440 | 44961 4929 33 | 0.206 % | 8.86/8.99 c | 7494 | 3389 62924 189440 | 49457 7493 36 | 0.206 % | 9.86/9.91 c | 11342 | 3389 62924 189440 | 54402 11341 37 | 0.206 % | 11.66/11.72 c | 17108 | 3388 62924 189440 | 59843 17106 39 | 0.236 % | 16.36/16.40 c | 25759 | 3386 62924 189440 | 65827 25757 39 | 0.295 % | 17.85/17.91 c =============================================================================== 18.25/18.32 c core #115 18.25/18.32 c Core size: 1021 Core Weight: 1 Total Weight: -223 18.25/18.32 c Elapsed CPU time: 18.1852 s Remaining CPU time: 1781.81 s 18.35/18.43 c Learning 92 hard constraints 18.35/18.43 c ============================[ Search Statistics ]============================== 18.35/18.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.35/18.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.35/18.43 c =============================================================================== 18.35/18.43 c | 0 | 3574 63017 190151 | 21005 0 nan | 0.000 % | 18.35/18.46 c | 101 | 3574 63017 190151 | 23106 101 35 | 0.168 % | 18.35/18.47 c | 251 | 3574 63017 190151 | 25416 251 37 | 0.168 % | 18.35/18.50 c | 476 | 3574 63017 190151 | 27958 476 42 | 0.168 % | 18.46/18.53 c | 817 | 3574 63017 190151 | 30754 817 38 | 0.168 % | 18.56/18.60 c | 1323 | 3574 63017 190151 | 33829 1323 41 | 0.168 % | 18.66/18.72 c | 2082 | 3574 63017 190151 | 37212 2082 47 | 0.168 % | 18.85/18.93 c | 3225 | 3574 63017 190151 | 40934 3225 54 | 0.168 % | 19.15/19.28 c | 4934 | 3574 63017 190151 | 45027 4934 56 | 0.168 % | 19.85/19.91 c | 7496 | 3574 63017 190151 | 49530 7496 57 | 0.168 % | 20.76/20.83 c | 11340 | 3574 63017 190151 | 54483 11340 55 | 0.168 % | 22.56/22.63 c | 17107 | 3574 63017 190151 | 59931 17107 55 | 0.168 % | 25.95/26.05 c | 25759 | 3574 63017 190151 | 65924 25759 56 | 0.168 % | 30.96/31.02 c | 38734 | 3574 63017 190151 | 72517 38734 53 | 0.168 % | 41.25/41.38 c | 58196 | 3573 63017 190151 | 79768 11237 34 | 0.196 % | 51.85/51.95 c | 87388 | 3570 63017 190151 | 87745 40426 46 | 0.279 % | 88.34/88.47 c | 131177 | 3566 63017 190151 | 96520 39122 41 | 0.391 % | 107.03/107.11 c =============================================================================== 110.43/110.51 c core #116 110.43/110.51 c Core size: 2195 Core Weight: 1 Total Weight: -222 110.43/110.51 c Elapsed CPU time: 109.88 s Remaining CPU time: 1690.12 s 110.63/110.75 c Learning 213 hard constraints 110.63/110.75 c ============================[ Search Statistics ]============================== 110.63/110.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.63/110.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.63/110.75 c =============================================================================== 110.63/110.75 c | 0 | 3836 63231 191483 | 21077 0 nan | 0.000 % | 110.63/110.80 c | 100 | 3836 63231 191483 | 23184 100 44 | 0.156 % | 110.73/110.81 c | 253 | 3835 63231 191483 | 25503 253 31 | 0.182 % | 110.73/110.84 c | 484 | 3835 63231 191483 | 28053 484 33 | 0.182 % | 110.73/110.87 c | 821 | 3835 63231 191483 | 30858 821 33 | 0.182 % | 110.84/110.93 c | 1328 | 3835 63231 191483 | 33944 1328 42 | 0.182 % | 110.94/111.05 c | 2089 | 3835 63231 191483 | 37339 2088 49 | 0.182 % | 111.13/111.29 c | 3228 | 3835 63231 191483 | 41073 3227 56 | 0.182 % | 111.54/111.66 c | 4937 | 3835 63231 191483 | 45180 4936 59 | 0.182 % | 112.13/112.24 c | 7499 | 3835 63231 191483 | 49698 7498 59 | 0.182 % | 113.54/113.63 c | 11345 | 3835 63231 191483 | 54668 11344 62 | 0.182 % | 116.03/116.13 c | 17111 | 3835 63231 191483 | 60135 17110 66 | 0.182 % | 121.43/121.57 c | 25761 | 3835 63231 191483 | 66148 25760 70 | 0.182 % | 132.12/132.20 c | 38737 | 3835 63231 191483 | 72763 38736 75 | 0.182 % | 148.33/148.47 c | 58199 | 3835 63231 191483 | 80039 58198 77 | 0.182 % | 200.02/200.15 c | 87393 | 3835 63231 191483 | 88043 22347 69 | 0.182 % | 248.10/248.24 c | 131184 | 3835 63231 191483 | 96848 66138 74 | 0.182 % | 342.58/342.76 c | 196868 | 3834 63231 191483 | 106533 50931 94 | 0.208 % | 469.74/469.91 c | 295395 | 3834 63231 191483 | 117186 56878 96 | 0.208 % | 755.96/756.20 c | 443186 | 3834 63231 191483 | 128905 102447 109 | 0.208 % | 1206.65/1207.07 c | 664872 | 3833 63231 191483 | 141795 100729 95 | 0.234 % | 1782.31/1782.80 c | 997400 | 3832 63231 191483 | 155975 54403 80 | 0.260 % |
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-1874913-1245219055/watcher-1874913-1245219055 -o /tmp/evaluation-result-1874913-1245219055/solver-1874913-1245219055 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874913-1245219055.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.08 1.07 1.02 3/64 8173 /proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=4704 CPUtime=0 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 233 0 0 0 0 0 0 0 19 0 1 0 189505180 4816896 217 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 1176 226 129 292 0 373 0 [startup+0.0725559 s] /proc/loadavg: 1.08 1.07 1.02 3/64 8173 /proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=5416 CPUtime=0.06 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 549 0 0 0 6 0 0 0 19 0 1 0 189505180 5545984 533 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 1354 533 251 292 0 551 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5416 [startup+0.101558 s] /proc/loadavg: 1.08 1.07 1.02 3/64 8173 /proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=5716 CPUtime=0.09 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 675 0 0 0 9 0 0 0 19 0 1 0 189505180 5853184 659 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 1429 660 306 292 0 626 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5716 [startup+0.301577 s] /proc/loadavg: 1.08 1.07 1.02 3/64 8173 /proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=8328 CPUtime=0.29 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 2138 0 0 0 29 0 0 0 21 0 1 0 189505180 8527872 1581 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 2082 1582 133 292 0 1787 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8328 [startup+0.701618 s] /proc/loadavg: 1.08 1.07 1.02 3/64 8173 /proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=9496 CPUtime=0.69 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 2661 0 0 0 69 0 0 0 25 0 1 0 189505180 9723904 1890 1992294400 134512640 135709839 4294956240 18446744073709551615 134530385 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 2374 1890 133 292 0 2079 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9496 [startup+1.5017 s] /proc/loadavg: 1.08 1.07 1.02 2/65 8174 /proc/meminfo: memFree=1598280/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=9496 CPUtime=1.49 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 2661 0 0 0 149 0 0 0 25 0 1 0 189505180 9723904 1890 1992294400 134512640 135709839 4294956240 18446744073709551615 134530689 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 2374 1890 133 292 0 2079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9496 [startup+3.10186 s] /proc/loadavg: 1.08 1.07 1.02 2/65 8174 /proc/meminfo: memFree=1598152/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=10668 CPUtime=3.09 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 3008 0 0 0 308 1 0 0 25 0 1 0 189505180 10924032 2155 1992294400 134512640 135709839 4294956240 18446744073709551615 135167072 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 2667 2155 133 292 0 2372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10668 [startup+6.30119 s] /proc/loadavg: 1.07 1.07 1.02 2/65 8174 /proc/meminfo: memFree=1596488/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=11668 CPUtime=6.27 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 3470 0 0 0 625 2 0 0 25 0 1 0 189505180 11948032 2402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 2917 2402 135 292 0 2622 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 11668 [startup+12.7018 s] /proc/loadavg: 1.07 1.06 1.02 2/65 8174 /proc/meminfo: memFree=1592584/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=15436 CPUtime=12.66 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 4564 0 0 0 1258 8 0 0 25 0 1 0 189505180 15806464 3403 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 3859 3403 136 292 0 3564 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 15436 [startup+25.5011 s] /proc/loadavg: 1.05 1.06 1.01 2/65 8174 /proc/meminfo: memFree=1583176/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=24664 CPUtime=25.45 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 6812 0 0 0 2530 15 0 0 25 0 1 0 189505180 25255936 5651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 6166 5651 136 292 0 5871 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 24664 [startup+51.1017 s] /proc/loadavg: 1.03 1.05 1.01 2/65 8174 /proc/meminfo: memFree=1562440/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=45888 CPUtime=51.05 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 12157 0 0 0 5071 34 0 0 25 0 1 0 189505180 46989312 10996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 11472 10996 136 292 0 11177 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 45888 [startup+102.306 s] /proc/loadavg: 1.01 1.04 1.01 2/65 8174 /proc/meminfo: memFree=1531400/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=76392 CPUtime=102.24 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 19749 0 0 0 10171 53 0 0 25 0 1 0 189505180 78225408 18588 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 19098 18588 136 292 0 18803 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 76392 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8174 /proc/meminfo: memFree=1519688/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=88052 CPUtime=162.22 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 22634 0 0 0 16147 75 0 0 25 0 1 0 189505180 90165248 21473 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 22013 21473 136 292 0 21718 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 88052 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8174 /proc/meminfo: memFree=1503944/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=103808 CPUtime=222.2 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 26605 0 0 0 22131 89 0 0 25 0 1 0 189505180 106299392 25444 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 25952 25444 136 292 0 25657 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 103808 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8174 /proc/meminfo: memFree=1480840/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=127008 CPUtime=282.19 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 32396 0 0 0 28113 106 0 0 25 0 1 0 189505180 130056192 31235 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 31752 31235 136 292 0 31457 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 127008 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8174 /proc/meminfo: memFree=1452040/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=156032 CPUtime=342.17 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 39545 0 0 0 34094 123 0 0 25 0 1 0 189505180 159776768 38384 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 39008 38384 136 292 0 38713 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 156032 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8174 /proc/meminfo: memFree=1426440/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=181944 CPUtime=402.16 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 46017 0 0 0 40076 140 0 0 25 0 1 0 189505180 186310656 44856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 45486 44856 136 292 0 45191 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 181944 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1394376/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=213780 CPUtime=462.14 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 53953 0 0 0 46051 163 0 0 25 0 1 0 189505180 218910720 52792 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 53445 52792 136 292 0 53150 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 213780 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1377480/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=230832 CPUtime=522.12 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 58147 0 0 0 52036 176 0 0 25 0 1 0 189505180 236371968 56986 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 57708 56986 136 292 0 57413 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 230832 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1361352/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=246928 CPUtime=582.11 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 62157 0 0 0 58024 187 0 0 25 0 1 0 189505180 252854272 60996 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 61732 60996 136 292 0 61437 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 246928 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1335432/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=272708 CPUtime=642.11 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 68596 0 0 0 64007 204 0 0 25 0 1 0 189505180 279252992 67435 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 68177 67435 136 292 0 67882 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 272708 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1237192/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=371292 CPUtime=882.04 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 93121 0 0 0 87935 269 0 0 25 0 1 0 189505180 380203008 91960 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 92823 91960 136 292 0 92528 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 371292 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1220680/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=388172 CPUtime=942.02 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 97300 0 0 0 93921 281 0 0 25 0 1 0 189505180 397488128 96139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 97043 96139 136 292 0 96748 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 388172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1207112/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=401604 CPUtime=1002 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 100622 0 0 0 99911 289 0 0 25 0 1 0 189505180 411242496 99461 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 100401 99461 136 292 0 100106 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 401604 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1196424/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=412760 CPUtime=1061.99 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 103345 0 0 0 105901 298 0 0 25 0 1 0 189505180 422666240 102184 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 103190 102184 136 292 0 102895 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 412760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1176776/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=432332 CPUtime=1121.98 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 108239 0 0 0 111886 312 0 0 25 0 1 0 189505180 442707968 107078 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 108083 107078 136 292 0 107788 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 432332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1148296/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=460896 CPUtime=1181.96 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 115348 0 0 0 117869 327 0 0 25 0 1 0 189505180 471957504 114187 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 115224 114187 136 292 0 114929 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 460896 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1129096/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=479832 CPUtime=1241.95 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 120079 0 0 0 123853 342 0 0 25 0 1 0 189505180 491347968 118918 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 119958 118918 136 292 0 119663 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 479832 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8174 /proc/meminfo: memFree=1116936/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=492108 CPUtime=1301.94 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 123072 0 0 0 129843 351 0 0 25 0 1 0 189505180 503918592 121911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 123027 121911 136 292 0 122732 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 492108 [startup+1362.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 8174 /proc/meminfo: memFree=1087240/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=522420 CPUtime=1361.92 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 130566 0 0 0 135822 370 0 0 25 0 1 0 189505180 534958080 129405 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 130605 129405 136 292 0 130310 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 522420 [startup+1422.31 s] /proc/loadavg: 1.06 1.03 1.00 2/65 8174 /proc/meminfo: memFree=1069640/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=539596 CPUtime=1421.91 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 134885 0 0 0 141810 381 0 0 25 0 1 0 189505180 552546304 133724 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 134899 133724 136 292 0 134604 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 539596 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 8174 /proc/meminfo: memFree=1051656/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=557820 CPUtime=1481.88 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 139424 0 0 0 147793 395 0 0 25 0 1 0 189505180 571207680 138263 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 139455 138263 136 292 0 139160 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 557820 [startup+1542.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 8174 /proc/meminfo: memFree=1037256/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=572020 CPUtime=1541.87 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 142983 0 0 0 153779 408 0 0 25 0 1 0 189505180 585748480 141822 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 143005 141822 136 292 0 142710 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 572020 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.00 2/65 8174 /proc/meminfo: memFree=1001864/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=607496 CPUtime=1601.86 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 151838 0 0 0 159753 433 0 0 25 0 1 0 189505180 622075904 150677 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 151874 150677 136 292 0 151579 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 607496 [startup+1662.3 s] /proc/loadavg: 1.05 1.05 1.00 2/65 8174 /proc/meminfo: memFree=982216/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=627148 CPUtime=1661.84 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 156708 0 0 0 165737 447 0 0 25 0 1 0 189505180 642199552 155547 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 156787 155547 136 292 0 156492 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 627148 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 8174 /proc/meminfo: memFree=967432/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=642220 CPUtime=1721.82 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 160434 0 0 0 171724 458 0 0 25 0 1 0 189505180 657633280 159273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 160555 159273 136 292 0 160260 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 642220 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8174 /proc/meminfo: memFree=941320/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=668120 CPUtime=1781.81 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 166911 0 0 0 177702 479 0 0 25 0 1 0 189505180 684154880 165750 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 167030 165750 136 292 0 166735 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 668120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8174 /proc/meminfo: memFree=932744/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=676600 CPUtime=1800.01 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4194304 169029 0 0 0 179516 485 0 0 25 0 1 0 189505180 692838400 167868 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 169150 167868 136 292 0 168855 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 676600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.02 1.00 2/66 8175 /proc/meminfo: memFree=1572992/2055920 swapFree=4192812/4192956 [pid=8173] ppid=8171 vsize=0 CPUtime=1800.12 /proc/8173/stat : 8173 (wbo) R 8171 8173 7945 0 -1 4195332 169029 0 0 0 179516 496 0 0 25 0 1 0 189505180 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8173/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.12 CPU user time (s): 1795.16 CPU system time (s): 4.96325 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 676600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.16 system time used= 4.96324 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 169029 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4523 runsolver used 1.58276 second user time and 5.00424 second system time The end
Begin job on node27 at 2009-06-17 08:10:55 IDJOB=1874913 IDBENCH=71824 IDSOLVER=698 FILE ID=node27/1874913-1245219055 PBS_JOBID= 9368424 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-10000opt.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-1874913-1245219055/watcher-1874913-1245219055 -o /tmp/evaluation-result-1874913-1245219055/solver-1874913-1245219055 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874913-1245219055.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed2e5a29708037a3709a2832db86ffbb RANDOM SEED=1219972937 node27.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 : 2800.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 : 5521.40 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 : 2800.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: 1605808 kB Buffers: 74340 kB Cached: 282116 kB SwapCached: 0 kB Active: 102920 kB Inactive: 267896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1605808 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4492 kB Writeback: 0 kB Mapped: 24216 kB Slab: 65156 kB Committed_AS: 187928 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874913-1245219055.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-17 08:40:58