Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.16 | 1804.94 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb |
MD5SUM | 3178a50232316e72958589cc9e9cd436 |
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 | -79 |
Best CPU time to get the best result obtained on this benchmark | 5.01124 |
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 | 30187 |
Number of constraints which are clauses | 30187 |
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 | 364 |
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 | 364 |
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-1874925-1245220125.opb. 0.00/0.00 c Instance file HOME/instance-1874925-1245220125.opb 0.00/0.00 c File size is 999203 bytes. 0.11/0.13 c Highest Coefficient sum: 4 0.11/0.13 c ============================[ Problem Statistics ]============================= 0.11/0.13 c | | 0.11/0.13 c | Parsing time: 0.14 s | 0.11/0.13 c | Number Variables: 2025 | 0.11/0.13 c | Number Clauses: 30322 | 0.11/0.13 c | Number Cardinality: 0 | 0.11/0.13 c | Number PB Constraints: 0 | 0.11/0.13 c core #1 0.11/0.13 c Core size: 5 Core Weight: 2 Total Weight: -362 0.11/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.11/0.15 c core #2 0.11/0.15 c Core size: 5 Core Weight: 3 Total Weight: -359 0.11/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.11/0.17 c core #3 0.11/0.17 c Core size: 5 Core Weight: 1 Total Weight: -358 0.11/0.17 c Elapsed CPU time: 0.170974 s Remaining CPU time: 1799.83 s 0.11/0.19 c core #4 0.11/0.19 c Core size: 6 Core Weight: 1 Total Weight: -357 0.11/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.19/0.21 c core #5 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: -356 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 5 Core Weight: 1 Total Weight: -355 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #7 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: -354 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #8 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: -353 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #9 0.19/0.28 c Core size: 6 Core Weight: 2 Total Weight: -351 0.19/0.28 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.29/0.30 c core #10 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: -350 0.29/0.30 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #11 0.29/0.32 c Core size: 5 Core Weight: 2 Total Weight: -348 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #12 0.29/0.34 c Core size: 5 Core Weight: 4 Total Weight: -344 0.29/0.34 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #13 0.29/0.36 c Core size: 5 Core Weight: 3 Total Weight: -341 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #14 0.29/0.38 c Core size: 5 Core Weight: 1 Total Weight: -340 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.40 c core #15 0.29/0.40 c Core size: 6 Core Weight: 2 Total Weight: -338 0.29/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 0.40/0.42 c core #16 0.40/0.42 c Core size: 5 Core Weight: 1 Total Weight: -337 0.40/0.42 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.40/0.44 c core #17 0.40/0.44 c Core size: 6 Core Weight: 3 Total Weight: -334 0.40/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.40/0.46 c core #18 0.40/0.46 c Core size: 5 Core Weight: 1 Total Weight: -333 0.40/0.46 c Elapsed CPU time: 0.45993 s Remaining CPU time: 1799.54 s 0.40/0.48 c core #19 0.40/0.48 c Core size: 6 Core Weight: 2 Total Weight: -331 0.40/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #20 0.49/0.50 c Core size: 5 Core Weight: 1 Total Weight: -330 0.49/0.50 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #21 0.49/0.52 c Core size: 5 Core Weight: 2 Total Weight: -328 0.49/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #22 0.49/0.55 c Core size: 6 Core Weight: 1 Total Weight: -327 0.49/0.55 c Elapsed CPU time: 0.540917 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #23 0.49/0.57 c Core size: 6 Core Weight: 1 Total Weight: -326 0.49/0.57 c Elapsed CPU time: 0.560914 s Remaining CPU time: 1799.44 s 0.49/0.59 c core #24 0.49/0.59 c Core size: 6 Core Weight: 2 Total Weight: -324 0.49/0.59 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.59/0.61 c core #25 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: -323 0.59/0.61 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.63 c core #26 0.59/0.63 c Core size: 6 Core Weight: 2 Total Weight: -321 0.59/0.63 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.65 c core #27 0.59/0.65 c Core size: 6 Core Weight: 1 Total Weight: -320 0.59/0.65 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #28 0.59/0.67 c Core size: 7 Core Weight: 1 Total Weight: -319 0.59/0.67 c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s 0.59/0.69 c core #29 0.59/0.69 c Core size: 6 Core Weight: 2 Total Weight: -317 0.59/0.69 c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s 0.68/0.71 c core #30 0.68/0.71 c Core size: 5 Core Weight: 4 Total Weight: -313 0.68/0.71 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.68/0.74 c core #31 0.68/0.74 c Core size: 7 Core Weight: 1 Total Weight: -312 0.68/0.74 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.68/0.76 c core #32 0.68/0.76 c Core size: 6 Core Weight: 1 Total Weight: -311 0.68/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.68/0.78 c core #33 0.68/0.78 c Core size: 6 Core Weight: 2 Total Weight: -309 0.68/0.78 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.78/0.80 c core #34 0.78/0.80 c Core size: 5 Core Weight: 2 Total Weight: -307 0.78/0.80 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.78/0.82 c core #35 0.78/0.82 c Core size: 7 Core Weight: 1 Total Weight: -306 0.78/0.82 c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s 0.78/0.84 c core #36 0.78/0.84 c Core size: 5 Core Weight: 1 Total Weight: -305 0.78/0.84 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.78/0.87 c core #37 0.78/0.87 c Core size: 6 Core Weight: 2 Total Weight: -303 0.78/0.87 c Elapsed CPU time: 0.856869 s Remaining CPU time: 1799.14 s 0.78/0.89 c core #38 0.78/0.89 c Core size: 5 Core Weight: 2 Total Weight: -301 0.78/0.89 c Elapsed CPU time: 0.877866 s Remaining CPU time: 1799.12 s 0.88/0.91 c core #39 0.88/0.91 c Core size: 6 Core Weight: 2 Total Weight: -299 0.88/0.91 c Elapsed CPU time: 0.897863 s Remaining CPU time: 1799.1 s 0.88/0.93 c core #40 0.88/0.93 c Core size: 5 Core Weight: 2 Total Weight: -297 0.88/0.93 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.88/0.95 c core #41 0.88/0.95 c Core size: 5 Core Weight: 1 Total Weight: -296 0.88/0.95 c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s 0.88/0.97 c core #42 0.88/0.97 c Core size: 5 Core Weight: 3 Total Weight: -293 0.88/0.97 c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s 0.88/0.99 c core #43 0.88/0.99 c Core size: 5 Core Weight: 1 Total Weight: -292 0.88/0.99 c Elapsed CPU time: 0.98185 s Remaining CPU time: 1799.02 s 0.98/1.01 c core #44 0.98/1.01 c Core size: 6 Core Weight: 1 Total Weight: -291 0.98/1.01 c Elapsed CPU time: 1.00285 s Remaining CPU time: 1799 s 0.98/1.04 c core #45 0.98/1.04 c Core size: 7 Core Weight: 1 Total Weight: -290 0.98/1.04 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 0.98/1.06 c core #46 0.98/1.06 c Core size: 6 Core Weight: 1 Total Weight: -289 0.98/1.06 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 0.98/1.08 c core #47 0.98/1.08 c Core size: 6 Core Weight: 2 Total Weight: -287 0.98/1.08 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 0.98/1.10 c core #48 0.98/1.10 c Core size: 5 Core Weight: 1 Total Weight: -286 0.98/1.10 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.08/1.12 c core #49 1.08/1.12 c Core size: 7 Core Weight: 1 Total Weight: -285 1.08/1.12 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.08/1.15 c core #50 1.08/1.15 c Core size: 10 Core Weight: 1 Total Weight: -284 1.08/1.15 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.08/1.17 c core #51 1.08/1.17 c Core size: 11 Core Weight: 2 Total Weight: -282 1.08/1.17 c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s 1.08/1.19 c core #52 1.08/1.19 c Core size: 11 Core Weight: 1 Total Weight: -281 1.08/1.19 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.18/1.22 c core #53 1.18/1.22 c Core size: 10 Core Weight: 1 Total Weight: -280 1.18/1.22 c Elapsed CPU time: 1.20382 s Remaining CPU time: 1798.8 s 1.18/1.24 c core #54 1.18/1.24 c Core size: 8 Core Weight: 3 Total Weight: -277 1.18/1.24 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.18/1.26 c core #55 1.18/1.26 c Core size: 9 Core Weight: 1 Total Weight: -276 1.18/1.26 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.18/1.29 c core #56 1.18/1.29 c Core size: 11 Core Weight: 1 Total Weight: -275 1.18/1.29 c Elapsed CPU time: 1.27481 s Remaining CPU time: 1798.73 s 1.28/1.31 c core #57 1.28/1.31 c Core size: 11 Core Weight: 1 Total Weight: -274 1.28/1.31 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.28/1.33 c core #58 1.28/1.33 c Core size: 11 Core Weight: 2 Total Weight: -272 1.28/1.33 c Elapsed CPU time: 1.3218 s Remaining CPU time: 1798.68 s 1.28/1.36 c core #59 1.28/1.36 c Core size: 11 Core Weight: 1 Total Weight: -271 1.28/1.36 c Elapsed CPU time: 1.3458 s Remaining CPU time: 1798.65 s 1.28/1.38 c core #60 1.28/1.38 c Core size: 11 Core Weight: 2 Total Weight: -269 1.28/1.38 c Elapsed CPU time: 1.36879 s Remaining CPU time: 1798.63 s 1.38/1.41 c core #61 1.38/1.41 c Core size: 11 Core Weight: 1 Total Weight: -268 1.38/1.41 c Elapsed CPU time: 1.39279 s Remaining CPU time: 1798.61 s 1.38/1.43 c core #62 1.38/1.43 c Core size: 11 Core Weight: 1 Total Weight: -267 1.38/1.43 c Elapsed CPU time: 1.41878 s Remaining CPU time: 1798.58 s 1.38/1.46 c core #63 1.38/1.46 c Core size: 10 Core Weight: 1 Total Weight: -266 1.38/1.46 c Elapsed CPU time: 1.44478 s Remaining CPU time: 1798.56 s 1.38/1.48 c core #64 1.38/1.48 c Core size: 11 Core Weight: 2 Total Weight: -264 1.38/1.48 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.48/1.51 c core #65 1.48/1.51 c Core size: 9 Core Weight: 3 Total Weight: -261 1.48/1.51 c Elapsed CPU time: 1.49477 s Remaining CPU time: 1798.51 s 1.48/1.54 c core #66 1.48/1.54 c Core size: 11 Core Weight: 2 Total Weight: -259 1.48/1.54 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.48/1.56 c core #67 1.48/1.56 c Core size: 11 Core Weight: 1 Total Weight: -258 1.48/1.56 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.48/1.59 c core #68 1.48/1.59 c Core size: 15 Core Weight: 1 Total Weight: -257 1.48/1.59 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.59/1.62 c core #69 1.59/1.62 c Core size: 15 Core Weight: 1 Total Weight: -256 1.59/1.62 c Elapsed CPU time: 1.60576 s Remaining CPU time: 1798.39 s 1.59/1.65 c core #70 1.59/1.65 c Core size: 11 Core Weight: 2 Total Weight: -254 1.59/1.65 c Elapsed CPU time: 1.63375 s Remaining CPU time: 1798.37 s 1.59/1.67 c core #71 1.59/1.67 c Core size: 10 Core Weight: 1 Total Weight: -253 1.59/1.67 c Elapsed CPU time: 1.66075 s Remaining CPU time: 1798.34 s 1.68/1.71 c core #72 1.68/1.71 c Core size: 7 Core Weight: 1 Total Weight: -252 1.68/1.71 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.68/1.74 c core #73 1.68/1.74 c Core size: 8 Core Weight: 1 Total Weight: -251 1.68/1.74 c Elapsed CPU time: 1.72074 s Remaining CPU time: 1798.28 s 1.68/1.76 c core #74 1.68/1.76 c Core size: 9 Core Weight: 1 Total Weight: -250 1.68/1.76 c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s 1.68/1.79 c core #75 1.68/1.79 c Core size: 11 Core Weight: 1 Total Weight: -249 1.68/1.79 c Elapsed CPU time: 1.77873 s Remaining CPU time: 1798.22 s 1.78/1.82 c core #76 1.78/1.82 c Core size: 9 Core Weight: 1 Total Weight: -248 1.78/1.82 c Elapsed CPU time: 1.80773 s Remaining CPU time: 1798.19 s 1.78/1.85 c core #77 1.78/1.85 c Core size: 8 Core Weight: 1 Total Weight: -247 1.78/1.85 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.78/1.88 c core #78 1.78/1.88 c Core size: 9 Core Weight: 2 Total Weight: -245 1.78/1.88 c Elapsed CPU time: 1.86772 s Remaining CPU time: 1798.13 s 1.87/1.92 c core #79 1.87/1.92 c Core size: 10 Core Weight: 1 Total Weight: -244 1.87/1.92 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.87/1.95 c core #80 1.87/1.95 c Core size: 11 Core Weight: 1 Total Weight: -243 1.87/1.95 c Elapsed CPU time: 1.92971 s Remaining CPU time: 1798.07 s 1.87/1.98 c core #81 1.87/1.98 c Core size: 11 Core Weight: 2 Total Weight: -241 1.87/1.98 c Elapsed CPU time: 1.9617 s Remaining CPU time: 1798.04 s 1.97/2.01 c core #82 1.97/2.01 c Core size: 10 Core Weight: 1 Total Weight: -240 1.97/2.01 c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s 1.97/2.05 c core #83 1.97/2.05 c Core size: 9 Core Weight: 1 Total Weight: -239 1.97/2.05 c Elapsed CPU time: 2.02769 s Remaining CPU time: 1797.97 s 1.97/2.08 c core #84 1.97/2.08 c Core size: 10 Core Weight: 1 Total Weight: -238 1.97/2.08 c Elapsed CPU time: 2.06169 s Remaining CPU time: 1797.94 s 2.08/2.11 c core #85 2.08/2.11 c Core size: 10 Core Weight: 1 Total Weight: -237 2.08/2.11 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.08/2.15 c core #86 2.08/2.15 c Core size: 9 Core Weight: 2 Total Weight: -235 2.08/2.15 c Elapsed CPU time: 2.12968 s Remaining CPU time: 1797.87 s 2.08/2.18 c core #87 2.08/2.18 c Core size: 8 Core Weight: 1 Total Weight: -234 2.08/2.18 c Elapsed CPU time: 2.16367 s Remaining CPU time: 1797.84 s 2.18/2.22 c ============================[ Search Statistics ]============================== 2.18/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.22 c =============================================================================== 2.18/2.22 c | 0 | 2242 30521 89085 | 10173 0 nan | 0.000 % | 2.18/2.22 c =============================================================================== 2.18/2.22 c core #88 2.18/2.22 c Core size: 19 Core Weight: 1 Total Weight: -233 2.18/2.22 c Elapsed CPU time: 2.19667 s Remaining CPU time: 1797.8 s 2.18/2.25 c Learning 1 hard constraints 2.18/2.25 c ============================[ Search Statistics ]============================== 2.18/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.25 c =============================================================================== 2.18/2.25 c | 0 | 2265 30527 89739 | 10175 0 nan | 0.000 % | 2.18/2.25 c =============================================================================== 2.18/2.25 c core #89 2.18/2.25 c Core size: 14 Core Weight: 1 Total Weight: -232 2.18/2.25 c Elapsed CPU time: 2.23166 s Remaining CPU time: 1797.77 s 2.18/2.29 c ============================[ Search Statistics ]============================== 2.18/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.29 c =============================================================================== 2.18/2.29 c | 0 | 2270 30530 89747 | 10176 0 nan | 0.000 % | 2.18/2.29 c =============================================================================== 2.18/2.29 c core #90 2.18/2.29 c Core size: 19 Core Weight: 1 Total Weight: -231 2.18/2.29 c Elapsed CPU time: 2.26565 s Remaining CPU time: 1797.73 s 2.27/2.32 c Learning 1 hard constraints 2.27/2.32 c ============================[ Search Statistics ]============================== 2.27/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.27/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.27/2.32 c =============================================================================== 2.27/2.32 c | 0 | 2283 30532 90162 | 10177 0 nan | 0.000 % | 2.27/2.33 c =============================================================================== 2.27/2.33 c core #91 2.27/2.33 c Core size: 13 Core Weight: 1 Total Weight: -230 2.27/2.33 c Elapsed CPU time: 2.30265 s Remaining CPU time: 1797.7 s 2.27/2.36 c Learning 1 hard constraints 2.27/2.36 c ============================[ Search Statistics ]============================== 2.27/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.27/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.27/2.36 c =============================================================================== 2.27/2.36 c | 0 | 2288 30537 90183 | 10179 0 nan | 0.000 % | 2.27/2.36 c =============================================================================== 2.27/2.36 c core #92 2.27/2.36 c Core size: 10 Core Weight: 1 Total Weight: -229 2.27/2.36 c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s 2.27/2.39 c ============================[ Search Statistics ]============================== 2.27/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.27/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.27/2.39 c =============================================================================== 2.27/2.39 c | 0 | 2291 30538 90189 | 10179 0 nan | 0.000 % | 2.27/2.39 c =============================================================================== 2.27/2.39 c core #93 2.27/2.39 c Core size: 31 Core Weight: 1 Total Weight: -228 2.27/2.39 c Elapsed CPU time: 2.36964 s Remaining CPU time: 1797.63 s 2.37/2.43 c Learning 1 hard constraints 2.37/2.43 c ============================[ Search Statistics ]============================== 2.37/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.43 c =============================================================================== 2.37/2.43 c | 0 | 2301 30543 90217 | 10181 0 nan | 0.000 % | 2.37/2.43 c =============================================================================== 2.37/2.43 c core #94 2.37/2.43 c Core size: 24 Core Weight: 1 Total Weight: -227 2.37/2.43 c Elapsed CPU time: 2.40563 s Remaining CPU time: 1797.59 s 2.37/2.47 c ============================[ Search Statistics ]============================== 2.37/2.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.47 c =============================================================================== 2.37/2.47 c | 0 | 2309 30544 90233 | 10181 0 nan | 0.000 % | 2.37/2.47 c =============================================================================== 2.37/2.47 c core #95 2.37/2.47 c Core size: 29 Core Weight: 1 Total Weight: -226 2.37/2.47 c Elapsed CPU time: 2.44363 s Remaining CPU time: 1797.56 s 2.47/2.50 c ============================[ Search Statistics ]============================== 2.47/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.50 c =============================================================================== 2.47/2.50 c | 0 | 2317 30549 90257 | 10183 0 nan | 0.000 % | 2.47/2.51 c =============================================================================== 2.47/2.51 c core #96 2.47/2.51 c Core size: 37 Core Weight: 1 Total Weight: -225 2.47/2.51 c Elapsed CPU time: 2.48062 s Remaining CPU time: 1797.52 s 2.47/2.54 c Learning 2 hard constraints 2.47/2.54 c ============================[ Search Statistics ]============================== 2.47/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.54 c =============================================================================== 2.47/2.54 c | 0 | 2327 30558 90295 | 10186 0 nan | 0.000 % | 2.47/2.54 c =============================================================================== 2.47/2.54 c core #97 2.47/2.54 c Core size: 20 Core Weight: 1 Total Weight: -224 2.47/2.54 c Elapsed CPU time: 2.51562 s Remaining CPU time: 1797.48 s 2.47/2.58 c Learning 2 hard constraints 2.47/2.58 c ============================[ Search Statistics ]============================== 2.47/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.47/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.47/2.58 c =============================================================================== 2.47/2.58 c | 0 | 2334 30562 90315 | 10187 0 nan | 0.000 % | 2.47/2.58 c =============================================================================== 2.47/2.58 c core #98 2.47/2.58 c Core size: 11 Core Weight: 2 Total Weight: -222 2.47/2.58 c Elapsed CPU time: 2.55461 s Remaining CPU time: 1797.45 s 2.56/2.62 c Learning 2 hard constraints 2.56/2.62 c ============================[ Search Statistics ]============================== 2.56/2.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.62 c =============================================================================== 2.56/2.62 c | 0 | 2336 30565 90325 | 10188 0 nan | 0.000 % | 2.56/2.62 c =============================================================================== 2.56/2.62 c core #99 2.56/2.62 c Core size: 23 Core Weight: 3 Total Weight: -219 2.56/2.62 c Elapsed CPU time: 2.59061 s Remaining CPU time: 1797.41 s 2.56/2.65 c Learning 2 hard constraints 2.56/2.65 c ============================[ Search Statistics ]============================== 2.56/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.65 c =============================================================================== 2.56/2.65 c | 0 | 2341 30570 90343 | 10190 0 nan | 0.000 % | 2.56/2.65 c =============================================================================== 2.56/2.65 c core #100 2.56/2.65 c Core size: 23 Core Weight: 1 Total Weight: -218 2.56/2.65 c Elapsed CPU time: 2.6256 s Remaining CPU time: 1797.37 s 2.56/2.69 c Learning 2 hard constraints 2.56/2.69 c core #101 2.56/2.69 c Core size: 17 Core Weight: 1 Total Weight: -217 2.56/2.69 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.66/2.73 c core #102 2.66/2.73 c Core size: 17 Core Weight: 1 Total Weight: -216 2.66/2.73 c Elapsed CPU time: 2.69859 s Remaining CPU time: 1797.3 s 2.66/2.77 c ============================[ Search Statistics ]============================== 2.66/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.66/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.66/2.77 c =============================================================================== 2.66/2.77 c | 0 | 2355 30581 90387 | 10193 0 nan | 0.000 % | 2.66/2.77 c =============================================================================== 2.66/2.77 c core #103 2.66/2.77 c Core size: 14 Core Weight: 1 Total Weight: -215 2.66/2.77 c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s 2.76/2.80 c Learning 1 hard constraints 2.76/2.80 c ============================[ Search Statistics ]============================== 2.76/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.76/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.76/2.80 c =============================================================================== 2.76/2.80 c | 0 | 2360 30586 90405 | 10195 0 nan | 0.000 % | 2.76/2.80 c =============================================================================== 2.76/2.81 c core #104 2.76/2.81 c Core size: 14 Core Weight: 1 Total Weight: -214 2.76/2.81 c Elapsed CPU time: 2.77558 s Remaining CPU time: 1797.22 s 2.76/2.84 c Learning 1 hard constraints 2.76/2.84 c ============================[ Search Statistics ]============================== 2.76/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.76/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.76/2.84 c =============================================================================== 2.76/2.84 c | 0 | 2365 30590 90422 | 10196 0 nan | 0.000 % | 2.76/2.84 c =============================================================================== 2.76/2.84 c core #105 2.76/2.84 c Core size: 35 Core Weight: 1 Total Weight: -213 2.76/2.84 c Elapsed CPU time: 2.81157 s Remaining CPU time: 1797.19 s 2.76/2.88 c ============================[ Search Statistics ]============================== 2.76/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.76/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.76/2.88 c =============================================================================== 2.76/2.88 c | 0 | 2375 30592 90444 | 10197 0 nan | 0.000 % | 2.76/2.88 c =============================================================================== 2.76/2.88 c core #106 2.76/2.88 c Core size: 12 Core Weight: 1 Total Weight: -212 2.76/2.88 c Elapsed CPU time: 2.84757 s Remaining CPU time: 1797.15 s 2.86/2.92 c Learning 1 hard constraints 2.86/2.92 c ============================[ Search Statistics ]============================== 2.86/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.86/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.86/2.92 c =============================================================================== 2.86/2.92 c | 0 | 2377 30594 90450 | 10198 0 nan | 0.000 % | 2.86/2.92 c =============================================================================== 2.86/2.92 c core #107 2.86/2.92 c Core size: 18 Core Weight: 2 Total Weight: -210 2.86/2.92 c Elapsed CPU time: 2.88256 s Remaining CPU time: 1797.12 s 2.86/2.95 c Learning 2 hard constraints 2.86/2.95 c ============================[ Search Statistics ]============================== 2.86/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.86/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.86/2.95 c =============================================================================== 2.86/2.95 c | 0 | 2383 30599 90470 | 10199 0 nan | 0.000 % | 2.86/2.95 c =============================================================================== 2.86/2.95 c core #108 2.86/2.95 c Core size: 17 Core Weight: 1 Total Weight: -209 2.86/2.95 c Elapsed CPU time: 2.91956 s Remaining CPU time: 1797.08 s 2.86/2.99 c ============================[ Search Statistics ]============================== 2.86/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.86/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.86/2.99 c =============================================================================== 2.86/2.99 c | 0 | 2389 30604 90490 | 10201 0 nan | 0.000 % | 2.86/2.99 c =============================================================================== 2.86/2.99 c core #109 2.86/2.99 c Core size: 17 Core Weight: 1 Total Weight: -208 2.86/2.99 c Elapsed CPU time: 2.95755 s Remaining CPU time: 1797.04 s 2.96/3.03 c ============================[ Search Statistics ]============================== 2.96/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.03 c =============================================================================== 2.96/3.03 c | 0 | 2395 30605 90502 | 10201 0 nan | 0.000 % | 2.96/3.03 c =============================================================================== 2.96/3.03 c core #110 2.96/3.03 c Core size: 31 Core Weight: 1 Total Weight: -207 2.96/3.03 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 2.96/3.07 c ============================[ Search Statistics ]============================== 2.96/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.96/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.96/3.07 c =============================================================================== 2.96/3.07 c | 0 | 2405 30610 90530 | 10203 0 nan | 0.000 % | 2.96/3.07 c =============================================================================== 2.96/3.07 c core #111 2.96/3.07 c Core size: 23 Core Weight: 1 Total Weight: -206 2.96/3.07 c Elapsed CPU time: 3.03554 s Remaining CPU time: 1796.96 s 3.06/3.11 c ============================[ Search Statistics ]============================== 3.06/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.11 c =============================================================================== 3.06/3.11 c | 0 | 2411 30613 90546 | 10204 0 nan | 0.000 % | 3.06/3.11 c =============================================================================== 3.06/3.11 c core #112 3.06/3.11 c Core size: 23 Core Weight: 1 Total Weight: -205 3.06/3.11 c Elapsed CPU time: 3.07353 s Remaining CPU time: 1796.93 s 3.06/3.14 c ============================[ Search Statistics ]============================== 3.06/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.14 c =============================================================================== 3.06/3.14 c | 0 | 2417 30615 90560 | 10205 0 nan | 0.000 % | 3.06/3.15 c =============================================================================== 3.06/3.15 c core #113 3.06/3.15 c Core size: 11 Core Weight: 1 Total Weight: -204 3.06/3.15 c Elapsed CPU time: 3.10953 s Remaining CPU time: 1796.89 s 3.06/3.18 c Learning 1 hard constraints 3.06/3.18 c ============================[ Search Statistics ]============================== 3.06/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.06/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.06/3.18 c =============================================================================== 3.06/3.18 c | 0 | 2419 30617 90566 | 10205 0 nan | 0.000 % | 3.06/3.19 c =============================================================================== 3.06/3.19 c core #114 3.06/3.19 c Core size: 13 Core Weight: 1 Total Weight: -203 3.06/3.19 c Elapsed CPU time: 3.14652 s Remaining CPU time: 1796.85 s 3.15/3.22 c Learning 1 hard constraints 3.15/3.22 c ============================[ Search Statistics ]============================== 3.15/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.15/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.15/3.22 c =============================================================================== 3.15/3.22 c | 0 | 2411 30621 90572 | 10207 0 nan | 0.000 % | 3.15/3.22 c =============================================================================== 3.15/3.22 c core #115 3.15/3.22 c Core size: 13 Core Weight: 1 Total Weight: -202 3.15/3.22 c Elapsed CPU time: 3.18052 s Remaining CPU time: 1796.82 s 3.15/3.26 c Learning 2 hard constraints 3.15/3.26 c ============================[ Search Statistics ]============================== 3.15/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.15/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.15/3.26 c =============================================================================== 3.15/3.26 c | 0 | 2427 30627 90600 | 10209 0 nan | 0.000 % | 3.15/3.26 c =============================================================================== 3.15/3.26 c core #116 3.15/3.26 c Core size: 21 Core Weight: 1 Total Weight: -201 3.15/3.26 c Elapsed CPU time: 3.21951 s Remaining CPU time: 1796.78 s 3.15/3.30 c Learning 2 hard constraints 3.15/3.30 c ============================[ Search Statistics ]============================== 3.15/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.15/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.15/3.30 c =============================================================================== 3.15/3.30 c | 0 | 2433 30631 90618 | 10210 0 nan | 0.000 % | 3.15/3.30 c =============================================================================== 3.15/3.30 c core #117 3.15/3.30 c Core size: 21 Core Weight: 1 Total Weight: -200 3.15/3.30 c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s 3.25/3.34 c ============================[ Search Statistics ]============================== 3.25/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.25/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.25/3.34 c =============================================================================== 3.25/3.34 c | 0 | 2443 30632 90638 | 10210 0 nan | 0.000 % | 3.25/3.34 c =============================================================================== 3.25/3.34 c core #118 3.25/3.34 c Core size: 20 Core Weight: 1 Total Weight: -199 3.25/3.34 c Elapsed CPU time: 3.2915 s Remaining CPU time: 1796.71 s 3.25/3.37 c ============================[ Search Statistics ]============================== 3.25/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.25/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.25/3.37 c =============================================================================== 3.25/3.37 c | 0 | 2449 30637 90658 | 10212 0 nan | 0.000 % | 3.25/3.38 c =============================================================================== 3.25/3.38 c core #119 3.25/3.38 c Core size: 17 Core Weight: 1 Total Weight: -198 3.25/3.38 c Elapsed CPU time: 3.32949 s Remaining CPU time: 1796.67 s 3.34/3.41 c Learning 2 hard constraints 3.34/3.41 c ============================[ Search Statistics ]============================== 3.34/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.41 c =============================================================================== 3.34/3.41 c | 0 | 2453 30640 90670 | 10213 0 nan | 0.000 % | 3.34/3.42 c =============================================================================== 3.34/3.42 c core #120 3.34/3.42 c Core size: 49 Core Weight: 1 Total Weight: -197 3.34/3.42 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.34/3.45 c Learning 2 hard constraints 3.34/3.45 c ============================[ Search Statistics ]============================== 3.34/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.45 c =============================================================================== 3.34/3.45 c | 0 | 2466 30648 90710 | 10216 0 nan | 0.000 % | 3.34/3.46 c =============================================================================== 3.34/3.46 c core #121 3.34/3.46 c Core size: 31 Core Weight: 1 Total Weight: -196 3.34/3.46 c Elapsed CPU time: 3.40548 s Remaining CPU time: 1796.59 s 3.34/3.49 c Learning 1 hard constraints 3.34/3.49 c ============================[ Search Statistics ]============================== 3.34/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.34/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.34/3.49 c =============================================================================== 3.34/3.49 c | 0 | 2476 30652 90738 | 10217 0 nan | 0.000 % | 3.34/3.49 c =============================================================================== 3.34/3.49 c core #122 3.34/3.49 c Core size: 28 Core Weight: 1 Total Weight: -195 3.34/3.49 c Elapsed CPU time: 3.44248 s Remaining CPU time: 1796.56 s 3.45/3.53 c ============================[ Search Statistics ]============================== 3.45/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.53 c =============================================================================== 3.45/3.53 c | 0 | 2483 30654 90754 | 10218 0 nan | 0.000 % | 3.45/3.53 c =============================================================================== 3.45/3.53 c core #123 3.45/3.53 c Core size: 36 Core Weight: 1 Total Weight: -194 3.45/3.53 c Elapsed CPU time: 3.48047 s Remaining CPU time: 1796.52 s 3.45/3.57 c ============================[ Search Statistics ]============================== 3.45/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.57 c =============================================================================== 3.45/3.57 c | 0 | 2493 30659 90782 | 10219 0 nan | 0.000 % | 3.45/3.57 c =============================================================================== 3.45/3.57 c core #124 3.45/3.57 c Core size: 65 Core Weight: 1 Total Weight: -193 3.45/3.57 c Elapsed CPU time: 3.51846 s Remaining CPU time: 1796.48 s 3.55/3.61 c Learning 1 hard constraints 3.55/3.61 c ============================[ Search Statistics ]============================== 3.55/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.61 c =============================================================================== 3.55/3.61 c | 0 | 2515 30664 90836 | 10221 0 nan | 0.000 % | 3.55/3.61 c =============================================================================== 3.55/3.61 c core #125 3.55/3.61 c Core size: 41 Core Weight: 1 Total Weight: -192 3.55/3.61 c Elapsed CPU time: 3.55646 s Remaining CPU time: 1796.44 s 3.55/3.65 c Learning 1 hard constraints 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 | 2526 30670 90870 | 10223 0 nan | 0.000 % | 3.55/3.65 c =============================================================================== 3.55/3.65 c core #126 3.55/3.65 c Core size: 35 Core Weight: 1 Total Weight: -191 3.55/3.65 c Elapsed CPU time: 3.59445 s Remaining CPU time: 1796.41 s 3.55/3.69 c Learning 1 hard constraints 3.55/3.69 c ============================[ Search Statistics ]============================== 3.55/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.55/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.55/3.69 c =============================================================================== 3.55/3.69 c | 0 | 2534 30674 90892 | 10224 0 nan | 0.000 % | 3.55/3.69 c =============================================================================== 3.55/3.69 c core #127 3.55/3.69 c Core size: 17 Core Weight: 1 Total Weight: -190 3.55/3.69 c Elapsed CPU time: 3.63245 s Remaining CPU time: 1796.37 s 3.64/3.73 c Learning 2 hard constraints 3.64/3.73 c ============================[ Search Statistics ]============================== 3.64/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.64/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.64/3.73 c =============================================================================== 3.64/3.73 c | 0 | 2540 30677 90910 | 10225 0 nan | 0.000 % | 3.64/3.73 c =============================================================================== 3.64/3.73 c core #128 3.64/3.73 c Core size: 41 Core Weight: 1 Total Weight: -189 3.64/3.73 c Elapsed CPU time: 3.67144 s Remaining CPU time: 1796.33 s 3.64/3.76 c ============================[ Search Statistics ]============================== 3.64/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.64/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.64/3.76 c =============================================================================== 3.64/3.76 c | 0 | 2552 30678 90934 | 10226 0 nan | 0.000 % | 3.64/3.77 c =============================================================================== 3.64/3.77 c core #129 3.64/3.77 c Core size: 82 Core Weight: 1 Total Weight: -188 3.64/3.77 c Elapsed CPU time: 3.71043 s Remaining CPU time: 1796.29 s 3.74/3.80 c Learning 3 hard constraints 3.74/3.80 c ============================[ Search Statistics ]============================== 3.74/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.80 c =============================================================================== 3.74/3.81 c | 0 | 2573 30682 90991 | 10227 0 nan | 0.000 % | 3.74/3.81 c =============================================================================== 3.74/3.81 c core #130 3.74/3.81 c Core size: 38 Core Weight: 1 Total Weight: -187 3.74/3.81 c Elapsed CPU time: 3.74943 s Remaining CPU time: 1796.25 s 3.74/3.84 c Learning 3 hard constraints 3.74/3.84 c ============================[ Search Statistics ]============================== 3.74/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.84 c =============================================================================== 3.74/3.84 c | 0 | 2585 30686 91019 | 10228 0 nan | 0.000 % | 3.74/3.85 c =============================================================================== 3.74/3.85 c core #131 3.74/3.85 c Core size: 47 Core Weight: 1 Total Weight: -186 3.74/3.85 c Elapsed CPU time: 3.78742 s Remaining CPU time: 1796.21 s 3.74/3.88 c Learning 3 hard constraints 3.74/3.88 c ============================[ Search Statistics ]============================== 3.74/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.74/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.74/3.88 c =============================================================================== 3.74/3.88 c | 0 | 2599 30693 91062 | 10231 0 nan | 0.000 % | 3.74/3.89 c =============================================================================== 3.74/3.89 c core #132 3.74/3.89 c Core size: 52 Core Weight: 1 Total Weight: -185 3.74/3.89 c Elapsed CPU time: 3.82742 s Remaining CPU time: 1796.17 s 3.85/3.92 c Learning 3 hard constraints 3.85/3.92 c ============================[ Search Statistics ]============================== 3.85/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.92 c =============================================================================== 3.85/3.92 c | 0 | 2614 30697 91101 | 10232 0 nan | 0.000 % | 3.85/3.92 c =============================================================================== 3.85/3.92 c core #133 3.85/3.92 c Core size: 26 Core Weight: 1 Total Weight: -184 3.85/3.92 c Elapsed CPU time: 3.86441 s Remaining CPU time: 1796.14 s 3.85/3.96 c Learning 3 hard constraints 3.85/3.96 c ============================[ Search Statistics ]============================== 3.85/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.85/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.85/3.96 c =============================================================================== 3.85/3.96 c | 0 | 2623 30701 91131 | 10233 0 nan | 0.000 % | 3.85/3.97 c =============================================================================== 3.85/3.97 c core #134 3.85/3.97 c Core size: 65 Core Weight: 1 Total Weight: -183 3.85/3.97 c Elapsed CPU time: 3.90541 s Remaining CPU time: 1796.09 s 3.94/4.00 c Learning 1 hard constraints 3.94/4.00 c ============================[ Search Statistics ]============================== 3.94/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.00 c =============================================================================== 3.94/4.00 c | 0 | 2639 30704 91169 | 10234 0 nan | 0.000 % | 3.94/4.01 c | 100 | 2638 30704 91169 | 11258 100 10 | 0.453 % | 3.94/4.01 c =============================================================================== 3.94/4.01 c core #135 3.94/4.01 c Core size: 211 Core Weight: 1 Total Weight: -182 3.94/4.01 c Elapsed CPU time: 3.9514 s Remaining CPU time: 1796.05 s 3.94/4.05 c Learning 8 hard constraints 3.94/4.05 c ============================[ Search Statistics ]============================== 3.94/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.05 c =============================================================================== 3.94/4.05 c | 0 | 2689 30722 91317 | 10240 0 nan | 0.000 % | 3.94/4.05 c =============================================================================== 3.94/4.05 c core #136 3.94/4.05 c Core size: 68 Core Weight: 1 Total Weight: -181 3.94/4.05 c Elapsed CPU time: 3.99239 s Remaining CPU time: 1796.01 s 3.94/4.09 c Learning 5 hard constraints 3.94/4.09 c ============================[ Search Statistics ]============================== 3.94/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.94/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.94/4.09 c =============================================================================== 3.94/4.09 c | 0 | 2709 30728 91375 | 10242 0 nan | 0.000 % | 3.94/4.10 c =============================================================================== 3.94/4.10 c core #137 3.94/4.10 c Core size: 117 Core Weight: 1 Total Weight: -180 3.94/4.10 c Elapsed CPU time: 4.03339 s Remaining CPU time: 1795.97 s 4.04/4.13 c Learning 9 hard constraints 4.04/4.13 c ============================[ Search Statistics ]============================== 4.04/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.13 c =============================================================================== 4.04/4.13 c | 0 | 2742 30738 91469 | 10246 0 nan | 0.000 % | 4.04/4.14 c | 102 | 2738 30738 91469 | 11270 102 6 | 0.945 % | 4.04/4.14 c =============================================================================== 4.04/4.14 c core #138 4.04/4.14 c Core size: 200 Core Weight: 1 Total Weight: -179 4.04/4.14 c Elapsed CPU time: 4.07838 s Remaining CPU time: 1795.92 s 4.04/4.18 c Learning 19 hard constraints 4.04/4.18 c ============================[ Search Statistics ]============================== 4.04/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.04/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.04/4.18 c =============================================================================== 4.04/4.18 c | 0 | 2799 30763 91652 | 10254 0 nan | 0.000 % | 4.04/4.18 c =============================================================================== 4.04/4.18 c core #139 4.04/4.18 c Core size: 18 Core Weight: 1 Total Weight: -178 4.04/4.18 c Elapsed CPU time: 4.12137 s Remaining CPU time: 1795.88 s 4.14/4.22 c Learning 3 hard constraints 4.14/4.22 c ============================[ Search Statistics ]============================== 4.14/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.22 c =============================================================================== 4.14/4.22 c | 0 | 2803 30768 91669 | 10256 0 nan | 0.000 % | 4.14/4.23 c | 101 | 2803 30768 91669 | 11281 101 11 | 0.462 % | 4.14/4.23 c =============================================================================== 4.14/4.23 c core #140 4.14/4.23 c Core size: 171 Core Weight: 1 Total Weight: -177 4.14/4.23 c Elapsed CPU time: 4.16837 s Remaining CPU time: 1795.83 s 4.14/4.27 c Learning 10 hard constraints 4.14/4.27 c ============================[ Search Statistics ]============================== 4.14/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.14/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.14/4.27 c =============================================================================== 4.14/4.27 c | 0 | 2845 30779 91784 | 10259 0 nan | 0.000 % | 4.14/4.28 c | 100 | 2845 30779 91784 | 11285 100 14 | 0.490 % | 4.14/4.29 c | 254 | 2839 30779 91784 | 12414 254 15 | 0.805 % | 4.14/4.29 c =============================================================================== 4.14/4.30 c core #141 4.14/4.30 c Core size: 350 Core Weight: 1 Total Weight: -176 4.14/4.30 c Elapsed CPU time: 4.22936 s Remaining CPU time: 1795.77 s 4.24/4.33 c Learning 24 hard constraints 4.24/4.33 c ============================[ Search Statistics ]============================== 4.24/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.24/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.24/4.33 c =============================================================================== 4.24/4.33 c | 0 | 2916 30804 92007 | 10268 0 nan | 0.000 % | 4.24/4.34 c | 102 | 2916 30804 92007 | 11294 102 18 | 0.444 % | 4.24/4.35 c | 255 | 2916 30804 92007 | 12424 255 21 | 0.444 % | 4.24/4.36 c | 484 | 2905 30804 92007 | 13666 484 18 | 1.707 % | 4.24/4.37 c =============================================================================== 4.24/4.37 c core #142 4.24/4.37 c Core size: 70 Core Weight: 1 Total Weight: -175 4.24/4.37 c Elapsed CPU time: 4.30335 s Remaining CPU time: 1795.7 s 4.34/4.41 c Learning 28 hard constraints 4.34/4.41 c ============================[ Search Statistics ]============================== 4.34/4.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.41 c =============================================================================== 4.34/4.41 c | 0 | 2939 30837 92153 | 10279 0 nan | 0.000 % | 4.34/4.41 c =============================================================================== 4.34/4.42 c core #143 4.34/4.42 c Core size: 83 Core Weight: 1 Total Weight: -174 4.34/4.42 c Elapsed CPU time: 4.34734 s Remaining CPU time: 1795.65 s 4.34/4.45 c Learning 8 hard constraints 4.34/4.45 c ============================[ Search Statistics ]============================== 4.34/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.34/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.34/4.45 c =============================================================================== 4.34/4.45 c | 0 | 2967 30847 92233 | 10282 0 nan | 0.000 % | 4.34/4.46 c | 100 | 2965 30847 92233 | 11310 100 9 | 0.570 % | 4.34/4.46 c =============================================================================== 4.34/4.46 c core #144 4.34/4.46 c Core size: 94 Core Weight: 1 Total Weight: -173 4.34/4.46 c Elapsed CPU time: 4.39333 s Remaining CPU time: 1795.61 s 4.43/4.50 c Learning 8 hard constraints 4.43/4.50 c ============================[ Search Statistics ]============================== 4.43/4.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.43/4.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.43/4.50 c =============================================================================== 4.43/4.50 c | 0 | 2992 30856 92309 | 10285 0 nan | 0.000 % | 4.43/4.51 c | 102 | 2992 30856 92309 | 11313 102 21 | 0.565 % | 4.43/4.51 c | 252 | 2992 30856 92309 | 12445 252 19 | 0.565 % | 4.43/4.53 c | 477 | 2992 30856 92309 | 13689 477 19 | 0.565 % | 4.43/4.55 c | 815 | 2992 30856 92309 | 15058 815 20 | 0.565 % | 4.43/4.58 c =============================================================================== 4.43/4.59 c core #145 4.43/4.59 c Core size: 177 Core Weight: 1 Total Weight: -172 4.43/4.59 c Elapsed CPU time: 4.51431 s Remaining CPU time: 1795.49 s 4.53/4.62 c Learning 14 hard constraints 4.53/4.62 c ============================[ Search Statistics ]============================== 4.53/4.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.53/4.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.53/4.62 c =============================================================================== 4.53/4.62 c | 0 | 3041 30873 92456 | 10291 0 nan | 0.000 % | 4.53/4.63 c | 100 | 3041 30873 92456 | 11320 100 33 | 0.621 % | 4.53/4.64 c | 253 | 3041 30873 92456 | 12452 253 32 | 0.621 % | 4.53/4.65 c | 479 | 3041 30873 92456 | 13697 479 31 | 0.621 % | 4.53/4.68 c | 823 | 3041 30873 92456 | 15067 823 32 | 0.621 % | 4.64/4.72 c | 1329 | 3041 30873 92456 | 16573 1329 32 | 0.621 % | 4.64/4.78 c | 2088 | 3041 30873 92456 | 18231 2088 31 | 0.621 % | 4.83/4.92 c | 3231 | 3041 30873 92456 | 20054 3231 33 | 0.621 % | 5.03/5.15 c | 4939 | 3041 30873 92456 | 22059 4939 35 | 0.621 % | 5.35/5.44 c | 7505 | 3014 30873 92456 | 24265 1837 27 | 1.797 % | 5.35/5.47 c =============================================================================== 5.44/5.55 c core #146 5.44/5.55 c Core size: 256 Core Weight: 1 Total Weight: -171 5.44/5.55 c Elapsed CPU time: 5.45717 s Remaining CPU time: 1794.54 s 5.44/5.59 c Learning 11 hard constraints 5.44/5.59 c ============================[ Search Statistics ]============================== 5.44/5.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.44/5.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.44/5.59 c =============================================================================== 5.44/5.59 c | 0 | 3100 30889 92619 | 10296 0 nan | 0.000 % | 5.53/5.60 c | 102 | 3099 30889 92619 | 11325 102 46 | 0.641 % | 5.53/5.61 c | 253 | 3099 30889 92619 | 12458 253 33 | 0.641 % | 5.53/5.62 c | 478 | 3099 30889 92619 | 13704 478 36 | 0.641 % | 5.53/5.65 c | 815 | 3096 30889 92619 | 15074 815 41 | 0.737 % | 5.53/5.69 c | 1321 | 3093 30889 92619 | 16582 1321 43 | 0.834 % | 5.63/5.79 c | 2082 | 3092 30889 92619 | 18240 2082 44 | 0.866 % | 5.83/5.94 c | 3227 | 3092 30889 92619 | 20064 3196 47 | 0.866 % | 6.04/6.19 c | 4935 | 3090 30889 92619 | 22071 4904 49 | 0.930 % | 6.53/6.63 c | 7497 | 3083 30889 92619 | 24278 3520 45 | 1.154 % | 7.23/7.36 c =============================================================================== 7.33/7.47 c core #147 7.33/7.47 c Core size: 285 Core Weight: 1 Total Weight: -170 7.33/7.47 c Elapsed CPU time: 7.36088 s Remaining CPU time: 1792.64 s 7.43/7.52 c Learning 28 hard constraints 7.43/7.52 c ============================[ Search Statistics ]============================== 7.43/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.52 c =============================================================================== 7.43/7.52 c | 0 | 3159 30921 92845 | 10307 0 nan | 0.000 % | 7.43/7.53 c | 104 | 3158 30921 92845 | 11337 104 37 | 0.629 % | 7.43/7.54 c | 254 | 3158 30921 92845 | 12471 254 44 | 0.629 % | 7.43/7.55 c | 480 | 3156 30921 92845 | 13718 480 40 | 1.038 % | 7.43/7.55 c =============================================================================== 7.43/7.56 c core #148 7.43/7.56 c Core size: 142 Core Weight: 1 Total Weight: -169 7.43/7.56 c Elapsed CPU time: 7.43887 s Remaining CPU time: 1792.56 s 7.43/7.59 c Learning 18 hard constraints 7.43/7.59 c ============================[ Search Statistics ]============================== 7.43/7.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.43/7.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.43/7.59 c =============================================================================== 7.43/7.59 c | 0 | 3195 30940 92977 | 10313 0 nan | 0.000 % | 7.43/7.59 c | 100 | 3195 30940 92977 | 11344 100 51 | 0.653 % | 7.53/7.60 c | 250 | 3195 30940 92977 | 12479 250 42 | 0.653 % | 7.53/7.62 c | 475 | 3195 30940 92977 | 13727 475 49 | 0.653 % | 7.53/7.65 c | 812 | 3195 30940 92977 | 15099 812 52 | 0.653 % | 7.53/7.70 c | 1319 | 3195 30940 92977 | 16609 1319 52 | 0.653 % | 7.73/7.80 c | 2080 | 3195 30940 92977 | 18270 2080 52 | 0.653 % | 7.83/7.96 c | 3219 | 3195 30940 92977 | 20097 3219 50 | 0.653 % | 8.02/8.19 c | 4929 | 3195 30940 92977 | 22107 4929 55 | 0.653 % | 8.63/8.73 c | 7492 | 3195 30940 92977 | 24318 7492 58 | 0.653 % | 9.73/9.86 c | 11336 | 3195 30940 92977 | 26750 11336 59 | 0.653 % | 12.23/12.36 c | 17102 | 3194 30940 92977 | 29425 17089 59 | 0.684 % | 17.22/17.39 c | 25751 | 3192 30940 92977 | 32367 25738 58 | 0.777 % | 18.33/18.50 c =============================================================================== 18.73/18.83 c core #149 18.73/18.83 c Core size: 603 Core Weight: 1 Total Weight: -168 18.73/18.83 c Elapsed CPU time: 18.6352 s Remaining CPU time: 1781.36 s 18.83/18.91 c Learning 76 hard constraints 18.83/18.91 c ============================[ Search Statistics ]============================== 18.83/18.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.83/18.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.83/18.91 c =============================================================================== 18.83/18.91 c | 0 | 3279 31017 93406 | 10339 0 nan | 0.000 % | 18.83/18.92 c | 102 | 3279 31017 93406 | 11372 102 68 | 0.636 % | 18.83/18.93 c | 253 | 3279 31017 93406 | 12510 253 58 | 0.636 % | 18.83/18.94 c | 480 | 3279 31017 93406 | 13761 480 54 | 0.636 % | 18.83/18.97 c | 820 | 3279 31017 93406 | 15137 820 53 | 0.636 % | 18.92/19.02 c | 1329 | 3279 31017 93406 | 16651 1329 59 | 0.667 % | 19.02/19.10 c | 2088 | 3278 31017 93406 | 18316 2087 70 | 0.667 % | 19.23/19.31 c | 3231 | 3278 31017 93406 | 20147 3230 89 | 0.667 % | 19.52/19.69 c | 4941 | 3278 31017 93406 | 22162 4940 98 | 0.667 % | 20.22/20.31 c | 7505 | 3278 31017 93406 | 24378 7504 104 | 0.667 % | 21.52/21.64 c | 11351 | 3278 31017 93406 | 26816 11350 104 | 0.667 % | 26.32/26.41 c | 17117 | 3278 31017 93406 | 29498 17116 113 | 0.667 % | 33.81/33.94 c | 25766 | 3278 31017 93406 | 32448 25765 117 | 0.667 % | 45.41/45.57 c | 38740 | 3278 31017 93406 | 35693 18451 113 | 0.667 % | 59.22/59.37 c | 58205 | 3276 31017 93406 | 39262 14813 111 | 0.727 % | 86.30/86.46 c | 87401 | 3276 31017 93406 | 43188 18614 111 | 0.727 % | 100.89/101.04 c =============================================================================== 100.89/101.10 c core #150 100.89/101.10 c Core size: 690 Core Weight: 1 Total Weight: -167 100.89/101.10 c Elapsed CPU time: 100.405 s Remaining CPU time: 1699.6 s 101.09/101.26 c Learning 100 hard constraints 101.09/101.26 c ============================[ Search Statistics ]============================== 101.09/101.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.09/101.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.09/101.26 c =============================================================================== 101.09/101.26 c | 0 | 3393 31118 93987 | 10372 0 nan | 0.000 % | 101.09/101.28 c | 101 | 3393 31118 93987 | 11409 101 45 | 0.644 % | 101.09/101.29 c | 251 | 3393 31118 93987 | 12550 251 42 | 0.644 % | 101.18/101.30 c | 477 | 3393 31118 93987 | 13806 477 33 | 0.644 % | 101.18/101.33 c | 818 | 3392 31118 93987 | 15186 818 26 | 0.674 % | 101.18/101.37 c | 1324 | 3392 31118 93987 | 16705 1323 29 | 0.674 % | 101.29/101.43 c | 2085 | 3390 31118 93987 | 18375 2083 31 | 0.732 % | 101.38/101.55 c | 3224 | 3390 31118 93987 | 20213 3222 30 | 0.732 % | 101.48/101.61 c =============================================================================== 101.48/101.64 c core #151 101.48/101.64 c Core size: 512 Core Weight: 1 Total Weight: -166 101.48/101.64 c Elapsed CPU time: 100.929 s Remaining CPU time: 1699.07 s 101.48/101.68 c Learning 54 hard constraints 101.48/101.68 c ============================[ Search Statistics ]============================== 101.48/101.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.48/101.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.48/101.68 c =============================================================================== 101.48/101.68 c | 0 | 3494 31173 94378 | 10391 0 nan | 0.000 % | 101.48/101.70 c | 100 | 3494 31173 94378 | 11430 100 44 | 0.626 % | 101.58/101.71 c | 252 | 3493 31173 94378 | 12573 252 43 | 0.683 % | 101.58/101.72 c | 478 | 3493 31173 94378 | 13830 478 51 | 0.683 % | 101.58/101.75 c | 815 | 3493 31173 94378 | 15213 815 63 | 0.683 % | 101.69/101.82 c | 1321 | 3493 31173 94378 | 16734 1321 75 | 0.683 % | 101.78/101.95 c | 2080 | 3492 31173 94378 | 18408 2079 83 | 0.683 % | 101.78/101.97 c =============================================================================== 101.78/101.98 c core #152 101.78/101.98 c Core size: 90 Core Weight: 1 Total Weight: -165 101.78/101.98 c Elapsed CPU time: 101.255 s Remaining CPU time: 1698.75 s 101.88/102.03 c Learning 16 hard constraints 101.88/102.03 c ============================[ Search Statistics ]============================== 101.88/102.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.88/102.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.88/102.03 c =============================================================================== 101.88/102.03 c | 0 | 3514 31190 94474 | 10396 0 nan | 0.000 % | 101.88/102.04 c | 101 | 3509 31190 94474 | 11436 101 78 | 0.792 % | 101.88/102.05 c | 252 | 3509 31190 94474 | 12579 252 62 | 0.792 % | 101.88/102.07 c | 477 | 3508 31190 94474 | 13837 477 63 | 0.792 % | 101.88/102.09 c | 814 | 3508 31190 94474 | 15221 814 60 | 0.792 % | 101.98/102.15 c | 1322 | 3508 31190 94474 | 16743 1322 66 | 0.792 % | 102.09/102.23 c | 2081 | 3508 31190 94474 | 18418 2079 68 | 0.792 % | 102.19/102.38 c | 3220 | 3508 31190 94474 | 20260 3218 68 | 0.792 % | 102.47/102.68 c | 4928 | 3507 31190 94474 | 22286 4925 71 | 0.820 % | 103.08/103.23 c | 7490 | 3507 31190 94474 | 24514 7487 75 | 0.820 % | 104.29/104.42 c | 11336 | 3507 31190 94474 | 26966 11333 79 | 0.820 % | 106.58/106.75 c | 17104 | 3507 31190 94474 | 29662 17101 81 | 0.820 % | 113.37/113.54 c | 25755 | 3507 31190 94474 | 32629 25752 84 | 0.820 % | 126.37/126.56 c | 38729 | 3506 31190 94474 | 35892 18963 91 | 0.933 % | 140.16/140.37 c | 58198 | 3506 31190 94474 | 39481 14821 107 | 0.933 % | 156.46/156.67 c | 87390 | 3488 31190 94474 | 43429 17120 97 | 1.357 % | 184.85/185.04 c | 131179 | 3488 31190 94474 | 47772 30507 87 | 1.357 % | 222.01/222.28 c =============================================================================== 222.01/222.29 c core #153 222.01/222.29 c Core size: 289 Core Weight: 1 Total Weight: -164 222.01/222.29 c Elapsed CPU time: 220.927 s Remaining CPU time: 1579.07 s 222.20/222.49 c Learning 55 hard constraints 222.20/222.49 c ============================[ Search Statistics ]============================== 222.20/222.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.20/222.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.20/222.49 c =============================================================================== 222.20/222.49 c | 0 | 3570 31249 94779 | 10416 0 nan | 0.000 % | 222.30/222.53 c | 101 | 3570 31249 94779 | 11457 101 42 | 0.668 % | 222.30/222.54 c | 251 | 3570 31249 94779 | 12603 251 43 | 0.668 % | 222.30/222.56 c | 477 | 3564 31249 94779 | 13864 477 50 | 0.890 % | 222.30/222.59 c | 815 | 3564 31249 94779 | 15250 815 62 | 0.890 % | 222.39/222.66 c | 1321 | 3564 31249 94779 | 16775 1321 75 | 0.890 % | 222.59/222.80 c | 2082 | 3562 31249 94779 | 18453 2079 84 | 0.890 % | 222.80/223.01 c | 3221 | 3562 31249 94779 | 20298 3218 83 | 0.890 % | 223.19/223.41 c | 4933 | 3562 31249 94779 | 22328 4930 80 | 0.890 % | 223.89/224.14 c | 7495 | 3562 31249 94779 | 24561 7492 77 | 0.890 % | 225.47/225.77 c | 11339 | 3562 31249 94779 | 27017 11336 88 | 0.890 % | 229.24/229.52 c | 17105 | 3562 31249 94779 | 29719 17102 92 | 0.890 % | 233.41/233.73 c | 25754 | 3562 31249 94779 | 32690 25751 92 | 0.890 % | 242.99/243.45 c | 38735 | 3562 31249 94779 | 35960 18186 98 | 0.890 % | 260.64/261.25 c | 58200 | 3562 31249 94779 | 39556 15396 106 | 0.890 % | 293.77/294.66 c | 87393 | 3560 31249 94779 | 43511 18424 104 | 0.946 % | 346.45/347.31 c | 131182 | 3560 31249 94779 | 47862 31679 112 | 0.946 % | 417.82/418.88 c | 196868 | 3560 31249 94779 | 52649 28886 95 | 0.946 % | 522.09/523.88 c | 295397 | 3560 31249 94779 | 57913 49623 126 | 0.946 % | 534.25/536.06 c =============================================================================== 534.87/536.63 c core #154 534.87/536.63 c Core size: 620 Core Weight: 1 Total Weight: -163 534.87/536.63 c Elapsed CPU time: 532.343 s Remaining CPU time: 1267.66 s 535.26/537.02 c Learning 105 hard constraints 535.26/537.02 c ============================[ Search Statistics ]============================== 535.26/537.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 535.26/537.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 535.26/537.02 c =============================================================================== 535.26/537.02 c | 0 | 3653 31355 95338 | 10451 0 nan | 0.000 % | 535.26/537.08 c | 102 | 3653 31355 95338 | 11496 102 45 | 0.680 % | 535.26/537.09 c | 252 | 3653 31355 95338 | 12646 252 41 | 0.680 % | 535.36/537.12 c | 477 | 3652 31355 95338 | 13911 477 43 | 0.707 % | 535.36/537.15 c | 814 | 3652 31355 95338 | 15302 814 44 | 0.707 % | 535.36/537.19 c | 1320 | 3652 31355 95338 | 16832 1319 48 | 0.707 % | 535.46/537.29 c | 2080 | 3652 31355 95338 | 18515 2079 62 | 0.707 % | 535.75/537.53 c | 3219 | 3652 31355 95338 | 20367 3218 72 | 0.707 % | 536.17/537.96 c | 4927 | 3652 31355 95338 | 22404 4926 75 | 0.707 % | 536.85/538.64 c | 7490 | 3652 31355 95338 | 24644 7489 74 | 0.707 % | 538.36/540.17 c | 11334 | 3652 31355 95338 | 27108 11333 76 | 0.707 % | 540.85/542.68 c | 17101 | 3652 31355 95338 | 29819 17100 75 | 0.707 % | 545.75/547.56 c | 25754 | 3652 31355 95338 | 32801 25753 75 | 0.707 % | 553.16/554.96 c | 38728 | 3652 31355 95338 | 36081 19064 66 | 0.707 % | 567.04/568.86 c | 58189 | 3650 31355 95338 | 39690 15052 70 | 0.761 % | 588.54/590.40 c | 87383 | 3650 31355 95338 | 43659 17542 71 | 0.816 % | 629.22/631.02 c | 131175 | 3648 31355 95338 | 48025 32501 77 | 0.816 % | 675.41/677.25 c | 196859 | 3640 31355 95338 | 52827 36216 64 | 1.033 % | 686.41/688.20 c =============================================================================== 692.27/694.17 c core #155 692.27/694.17 c Core size: 1230 Core Weight: 1 Total Weight: -162 692.27/694.17 c Elapsed CPU time: 689.166 s Remaining CPU time: 1110.83 s 692.57/694.48 c Learning 66 hard constraints 692.57/694.48 c ============================[ Search Statistics ]============================== 692.57/694.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 692.57/694.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 692.57/694.48 c =============================================================================== 692.57/694.48 c | 0 | 3756 31422 95775 | 10474 0 nan | 0.000 % | 692.67/694.54 c | 102 | 3756 31422 95775 | 11521 102 75 | 0.661 % | 692.67/694.56 c | 252 | 3756 31422 95775 | 12673 252 52 | 0.661 % | 692.67/694.59 c | 477 | 3756 31422 95775 | 13940 477 47 | 0.661 % | 692.76/694.63 c | 816 | 3756 31422 95775 | 15334 816 53 | 0.661 % | 692.76/694.68 c | 1324 | 3755 31422 95775 | 16868 1323 53 | 0.688 % | 692.86/694.78 c | 2083 | 3755 31422 95775 | 18555 2082 59 | 0.688 % | 693.06/694.97 c | 3223 | 3755 31422 95775 | 20410 3222 67 | 0.688 % | 693.46/695.35 c | 4937 | 3755 31422 95775 | 22451 4936 73 | 0.688 % | 694.07/695.93 c | 7505 | 3755 31422 95775 | 24697 7504 70 | 0.688 % | 694.56/696.44 c | 11350 | 3753 31422 95775 | 27166 11348 61 | 0.741 % | 695.76/697.62 c | 17117 | 3752 31422 95775 | 29883 17115 55 | 0.767 % | 697.16/699.01 c =============================================================================== 697.36/699.28 c core #156 697.36/699.28 c Core size: 792 Core Weight: 1 Total Weight: -161 697.36/699.28 c Elapsed CPU time: 694.209 s Remaining CPU time: 1105.79 s 697.46/699.37 c Learning 206 hard constraints 697.46/699.37 c ============================[ Search Statistics ]============================== 697.46/699.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 697.46/699.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 697.46/699.37 c =============================================================================== 697.46/699.37 c | 0 | 3838 31629 96666 | 10543 0 nan | 0.000 % | 697.46/699.39 c | 100 | 3838 31629 96666 | 11597 100 38 | 0.647 % | 697.57/699.41 c | 251 | 3837 31629 96666 | 12757 251 55 | 0.673 % | 697.57/699.43 c | 479 | 3837 31629 96666 | 14032 479 64 | 0.673 % | 697.57/699.46 c | 816 | 3837 31629 96666 | 15436 816 60 | 0.673 % | 697.66/699.51 c | 1324 | 3837 31629 96666 | 16979 1323 63 | 0.673 % | 697.66/699.59 c | 2083 | 3837 31629 96666 | 18677 2082 69 | 0.673 % | 697.86/699.73 c | 3223 | 3837 31629 96666 | 20545 3222 70 | 0.673 % | 698.16/700.04 c | 4931 | 3837 31629 96666 | 22599 4930 81 | 0.673 % | 698.96/700.84 c | 7493 | 3837 31629 96666 | 24859 7492 89 | 0.673 % | 700.66/702.55 c | 11337 | 3837 31629 96666 | 27345 11336 93 | 0.673 % | 703.26/705.18 c | 17103 | 3837 31629 96666 | 30080 17102 90 | 0.673 % | 710.15/712.10 c | 25753 | 3837 31629 96666 | 33088 25752 100 | 0.673 % | 716.15/718.00 c | 38729 | 3837 31629 96666 | 36397 18003 84 | 0.673 % | 722.96/724.88 c | 58192 | 3837 31629 96666 | 40037 12732 66 | 0.673 % | 747.46/749.40 c | 87384 | 3836 31629 96666 | 44040 15332 64 | 0.699 % | 793.07/795.52 c | 131173 | 3835 31629 96666 | 48444 29118 67 | 0.725 % | 847.69/850.76 c | 196862 | 3835 31629 96666 | 53289 25379 60 | 0.725 % | 939.02/942.16 c | 295392 | 3832 31629 96666 | 58618 46413 89 | 0.802 % | 1099.22/1103.09 c | 443182 | 3831 31629 96666 | 64480 18334 78 | 0.829 % | 1156.68/1160.50 c =============================================================================== 1167.87/1171.71 c core #157 1167.87/1171.71 c Core size: 969 Core Weight: 1 Total Weight: -160 1167.87/1171.71 c Elapsed CPU time: 1162.31 s Remaining CPU time: 637.688 s 1168.47/1172.36 c Learning 57 hard constraints 1168.47/1172.36 c ============================[ Search Statistics ]============================== 1168.47/1172.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1168.47/1172.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1168.47/1172.36 c =============================================================================== 1168.47/1172.36 c | 0 | 3951 31687 97098 | 10562 0 nan | 0.000 % | 1168.57/1172.46 c | 100 | 3951 31687 97098 | 11618 100 59 | 0.629 % | 1168.57/1172.48 c | 252 | 3951 31687 97098 | 12780 252 36 | 0.629 % | 1168.57/1172.50 c | 478 | 3951 31687 97098 | 14058 478 31 | 0.629 % | 1168.68/1172.54 c | 815 | 3951 31687 97098 | 15464 815 31 | 0.629 % | 1168.68/1172.60 c | 1324 | 3951 31687 97098 | 17010 1324 32 | 0.629 % | 1168.78/1172.68 c | 2084 | 3951 31687 97098 | 18711 2084 33 | 0.629 % | 1168.97/1172.82 c | 3223 | 3951 31687 97098 | 20582 3223 34 | 0.629 % | 1169.18/1173.04 c | 4931 | 3951 31687 97098 | 22641 4931 35 | 0.629 % | 1169.67/1173.59 c | 7493 | 3950 31687 97098 | 24905 7492 34 | 0.654 % | 1170.37/1174.21 c | 11338 | 3943 31687 97098 | 27395 10724 40 | 0.830 % | 1171.07/1174.91 c =============================================================================== 1171.27/1175.14 c core #158 1171.27/1175.14 c Core size: 565 Core Weight: 1 Total Weight: -159 1171.27/1175.14 c Elapsed CPU time: 1165.71 s Remaining CPU time: 634.289 s 1171.37/1175.22 c Learning 58 hard constraints 1171.37/1175.22 c ============================[ Search Statistics ]============================== 1171.37/1175.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1171.37/1175.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1171.37/1175.22 c =============================================================================== 1171.37/1175.22 c | 0 | 4022 31746 97437 | 10582 0 nan | 0.000 % | 1171.37/1175.24 c | 100 | 4021 31746 97437 | 11640 100 70 | 0.642 % | 1171.37/1175.26 c | 251 | 4021 31746 97437 | 12804 251 58 | 0.642 % | 1171.37/1175.28 c | 478 | 4021 31746 97437 | 14084 478 51 | 0.642 % | 1171.47/1175.31 c | 816 | 4021 31746 97437 | 15493 816 56 | 0.642 % | 1171.47/1175.35 c | 1322 | 4021 31746 97437 | 17042 1321 42 | 0.642 % | 1171.57/1175.43 c | 2081 | 4021 31746 97437 | 18746 2080 48 | 0.642 % | 1171.66/1175.57 c | 3221 | 4021 31746 97437 | 20621 3220 56 | 0.643 % | 1171.97/1175.82 c | 4929 | 4019 31746 97437 | 22683 4927 58 | 0.692 % | 1172.37/1176.25 c | 7493 | 4018 31746 97437 | 24951 7489 61 | 0.717 % | 1173.47/1177.37 c | 11339 | 4018 31746 97437 | 27446 11335 70 | 0.717 % | 1176.56/1180.47 c | 17108 | 4018 31746 97437 | 30191 17104 79 | 0.717 % | 1185.86/1189.71 c | 25760 | 4018 31746 97437 | 33210 25756 88 | 0.717 % | 1203.46/1207.36 c | 38734 | 4018 31746 97437 | 36531 19243 96 | 0.717 % | 1226.75/1230.60 c | 58195 | 4017 31746 97437 | 40185 16761 87 | 0.741 % | 1252.04/1255.96 c | 87391 | 4017 31746 97437 | 44203 19826 77 | 0.741 % | 1285.24/1289.16 c =============================================================================== 1285.24/1289.17 c core #159 1285.24/1289.17 c Core size: 290 Core Weight: 1 Total Weight: -158 1285.24/1289.17 c Elapsed CPU time: 1279.37 s Remaining CPU time: 520.63 s 1285.44/1289.38 c Learning 74 hard constraints 1285.44/1289.38 c ============================[ Search Statistics ]============================== 1285.44/1289.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1285.44/1289.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1285.44/1289.38 c =============================================================================== 1285.44/1289.38 c | 0 | 4079 31821 97802 | 10607 0 nan | 0.000 % | 1285.53/1289.44 c | 100 | 4079 31821 97802 | 11667 100 50 | 0.609 % | 1285.53/1289.45 c | 254 | 4079 31821 97802 | 12834 254 37 | 0.609 % | 1285.53/1289.48 c | 479 | 4079 31821 97802 | 14117 479 49 | 0.609 % | 1285.63/1289.51 c | 819 | 4079 31821 97802 | 15529 819 47 | 0.609 % | 1285.63/1289.56 c | 1325 | 4079 31821 97802 | 17082 1325 54 | 0.609 % | 1285.73/1289.64 c | 2084 | 4079 31821 97802 | 18790 2084 58 | 0.609 % | 1285.94/1289.82 c | 3225 | 4079 31821 97802 | 20670 3225 66 | 0.609 % | 1286.24/1290.18 c | 4933 | 4079 31821 97802 | 22737 4933 73 | 0.609 % | 1286.83/1290.75 c | 7497 | 4079 31821 97802 | 25010 7497 79 | 0.609 % | 1288.24/1292.11 c | 11344 | 4079 31821 97802 | 27511 11344 81 | 0.609 % | 1291.84/1295.78 c | 17111 | 4079 31821 97802 | 30263 17111 87 | 0.609 % | 1303.22/1307.17 c | 25760 | 4079 31821 97802 | 33289 25760 94 | 0.609 % | 1316.62/1320.59 c | 38735 | 4079 31821 97802 | 36618 18426 110 | 0.609 % | 1339.01/1342.91 c | 58197 | 4079 31821 97802 | 40280 14828 125 | 0.609 % | 1367.16/1371.25 c | 87393 | 4078 31821 97802 | 44308 16879 115 | 0.634 % | 1405.23/1409.74 c | 131184 | 4078 31821 97802 | 48738 30237 107 | 0.634 % | 1495.34/1500.04 c | 196869 | 4077 31821 97802 | 53612 27889 115 | 0.658 % | 1566.80/1571.50 c | 295395 | 4060 31821 97802 | 58974 45134 97 | 1.389 % | 1759.33/1764.15 c | 443186 | 4046 31821 97802 | 64871 56101 96 | 1.414 % |
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-1874925-1245220125/watcher-1874925-1245220125 -o /tmp/evaluation-result-1874925-1245220125/solver-1874925-1245220125 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874925-1245220125.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.80 1.69 1.64 3/73 19146 /proc/meminfo: memFree=1849288/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=3652 CPUtime=0 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 189611803 3739648 211 1992294400 134512640 135709839 4294956240 18446744073709551615 134570820 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 913 211 129 292 0 374 0 [startup+0.0838351 s] /proc/loadavg: 1.80 1.69 1.64 3/73 19146 /proc/meminfo: memFree=1849288/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=4628 CPUtime=0.08 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 602 0 0 0 8 0 0 0 18 0 1 0 189611803 4739072 586 1992294400 134512640 135709839 4294956240 18446744073709551615 134557178 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1157 586 271 292 0 618 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4628 [startup+0.117183 s] /proc/loadavg: 1.80 1.69 1.64 3/73 19146 /proc/meminfo: memFree=1849288/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=4760 CPUtime=0.11 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 729 0 0 0 11 0 0 0 18 0 1 0 189611803 4874240 713 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1190 713 332 292 0 651 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 4760 [startup+0.301298 s] /proc/loadavg: 1.80 1.69 1.64 3/73 19146 /proc/meminfo: memFree=1849288/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=5836 CPUtime=0.29 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 1327 0 0 0 29 0 0 0 19 0 1 0 189611803 5976064 1007 1992294400 134512640 135709839 4294956240 18446744073709551615 134530505 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1459 1007 133 292 0 1164 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5836 [startup+0.70335 s] /proc/loadavg: 1.80 1.69 1.64 3/73 19146 /proc/meminfo: memFree=1849288/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=5836 CPUtime=0.68 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 1330 0 0 0 68 0 0 0 23 0 1 0 189611803 5976064 1010 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1459 1010 133 292 0 1164 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5836 [startup+1.50144 s] /proc/loadavg: 1.80 1.69 1.64 2/74 19147 /proc/meminfo: memFree=1845568/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=6192 CPUtime=1.48 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 1419 0 0 0 148 0 0 0 25 0 1 0 189611803 6340608 1099 1992294400 134512640 135709839 4294956240 18446744073709551615 134530745 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1548 1099 133 292 0 1253 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6192 [startup+3.10163 s] /proc/loadavg: 1.80 1.69 1.64 2/74 19147 /proc/meminfo: memFree=1844864/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=7072 CPUtime=3.06 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 1755 0 0 0 306 0 0 0 25 0 1 0 189611803 7241728 1314 1992294400 134512640 135709839 4294956240 18446744073709551615 135164482 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 1768 1314 135 292 0 1473 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 7072 [startup+6.30099 s] /proc/loadavg: 1.81 1.69 1.65 4/74 19147 /proc/meminfo: memFree=1843072/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=10364 CPUtime=6.23 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 2776 0 0 0 619 4 0 0 25 0 1 0 189611803 10612736 2137 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 2591 2137 136 292 0 2296 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 10364 [startup+12.7017 s] /proc/loadavg: 1.75 1.68 1.64 3/74 19147 /proc/meminfo: memFree=1834752/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=17172 CPUtime=12.63 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 4488 0 0 0 1253 10 0 0 25 0 1 0 189611803 17584128 3849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 4293 3849 136 292 0 3998 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 17172 [startup+25.5012 s] /proc/loadavg: 1.73 1.68 1.64 2/74 19147 /proc/meminfo: memFree=1826496/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=24608 CPUtime=25.42 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 6337 0 0 0 2525 17 0 0 25 0 1 0 189611803 25198592 5698 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 6152 5698 136 292 0 5857 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 24608 [startup+51.1012 s] /proc/loadavg: 1.48 1.63 1.62 2/74 19147 /proc/meminfo: memFree=1808960/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=42684 CPUtime=51.01 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 10829 0 0 0 5072 29 0 0 25 0 1 0 189611803 43708416 10190 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 10671 10190 136 292 0 10376 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 42684 [startup+102.306 s] /proc/loadavg: 1.61 1.65 1.63 3/74 19147 /proc/meminfo: memFree=1766592/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=84436 CPUtime=102.19 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 21280 0 0 0 10157 62 0 0 25 0 1 0 189611803 86462464 20599 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 21109 20599 136 292 0 20814 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 84436 [startup+162.301 s] /proc/loadavg: 1.79 1.67 1.64 2/74 19147 /proc/meminfo: memFree=1747584/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=104008 CPUtime=162.15 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 26213 0 0 0 16124 91 0 0 25 0 1 0 189611803 106504192 25532 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 26002 25532 136 292 0 25707 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 104008 [startup+222.301 s] /proc/loadavg: 2.07 1.77 1.67 4/74 19147 /proc/meminfo: memFree=1714432/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=137548 CPUtime=222.1 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 34548 0 0 0 22093 117 0 0 25 0 1 0 189611803 140849152 33867 1992294400 134512640 135709839 4294956240 18446744073709551615 134570125 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 34387 33867 136 292 0 34092 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 137548 [startup+282.301 s] /proc/loadavg: 1.77 1.73 1.66 2/74 19147 /proc/meminfo: memFree=1698432/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=152700 CPUtime=281.51 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 38384 0 0 0 27999 152 0 0 25 0 1 0 189611803 156364800 37703 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 38175 37703 136 292 0 37880 0 Current children cumulated CPU time (s) 281.51 Current children cumulated vsize (KiB) 152700 [startup+342.31 s] /proc/loadavg: 1.55 1.67 1.64 2/74 19147 /proc/meminfo: memFree=1669440/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=181596 CPUtime=341.46 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 45549 0 0 0 33972 174 0 0 25 0 1 0 189611803 185954304 44868 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 45399 44868 136 292 0 45104 0 Current children cumulated CPU time (s) 341.46 Current children cumulated vsize (KiB) 181596 [startup+402.302 s] /proc/loadavg: 1.65 1.68 1.64 2/74 19147 /proc/meminfo: memFree=1638784/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=212972 CPUtime=401.43 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 53352 0 0 0 39949 194 0 0 25 0 1 0 189611803 218083328 52671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 53243 52671 136 292 0 52948 0 Current children cumulated CPU time (s) 401.43 Current children cumulated vsize (KiB) 212972 [startup+462.302 s] /proc/loadavg: 1.68 1.68 1.64 3/74 19147 /proc/meminfo: memFree=1599168/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=252160 CPUtime=461.02 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 63122 0 0 0 45885 217 0 0 25 0 1 0 189611803 258211840 62441 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 63040 62441 136 292 0 62745 0 Current children cumulated CPU time (s) 461.02 Current children cumulated vsize (KiB) 252160 [startup+522.316 s] /proc/loadavg: 1.57 1.63 1.63 3/74 19147 /proc/meminfo: memFree=1558336/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=292920 CPUtime=520.59 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 73308 0 0 0 51815 244 0 0 25 0 1 0 189611803 299950080 72627 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 73230 72627 136 292 0 72935 0 Current children cumulated CPU time (s) 520.59 Current children cumulated vsize (KiB) 292920 [startup+582.302 s] /proc/loadavg: 1.92 1.71 1.65 2/74 19147 /proc/meminfo: memFree=1539520/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=310676 CPUtime=580.54 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 77885 0 0 0 57779 275 0 0 25 0 1 0 189611803 318132224 77204 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 77669 77204 136 292 0 77374 0 Current children cumulated CPU time (s) 580.54 Current children cumulated vsize (KiB) 310676 [startup+642.301 s] /proc/loadavg: 1.77 1.69 1.64 2/74 19147 /proc/meminfo: memFree=1528320/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=321992 CPUtime=640.53 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 80676 0 0 0 63757 296 0 0 25 0 1 0 189611803 329719808 79995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 80498 79995 136 292 0 80203 0 Current children cumulated CPU time (s) 640.53 Current children cumulated vsize (KiB) 321992 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.35 1.55 1.60 3/74 19147 /proc/meminfo: memFree=1446464/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=403884 CPUtime=879.25 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 101104 0 0 0 87510 415 0 0 25 0 1 0 189611803 413577216 100423 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 100971 100423 136 292 0 100676 0 Current children cumulated CPU time (s) 879.25 Current children cumulated vsize (KiB) 403884 [startup+942.303 s] /proc/loadavg: 1.31 1.50 1.58 3/74 19147 /proc/meminfo: memFree=1406272/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=444572 CPUtime=939.22 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 111238 0 0 0 93477 445 0 0 25 0 1 0 189611803 455241728 110557 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 111143 110557 136 292 0 110848 0 Current children cumulated CPU time (s) 939.22 Current children cumulated vsize (KiB) 444572 [startup+1002.3 s] /proc/loadavg: 1.52 1.52 1.57 2/74 19147 /proc/meminfo: memFree=1370240/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=479968 CPUtime=999.15 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 120106 0 0 0 99445 470 0 0 25 0 1 0 189611803 491487232 119425 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 119992 119425 136 292 0 119697 0 Current children cumulated CPU time (s) 999.15 Current children cumulated vsize (KiB) 479968 [startup+1062.3 s] /proc/loadavg: 1.45 1.51 1.56 2/74 19147 /proc/meminfo: memFree=1330496/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=520364 CPUtime=1058.53 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 130161 0 0 0 105345 508 0 0 25 0 1 0 189611803 532852736 129480 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 130091 129480 136 292 0 129796 0 Current children cumulated CPU time (s) 1058.53 Current children cumulated vsize (KiB) 520364 [startup+1122.3 s] /proc/loadavg: 1.54 1.52 1.56 3/74 19147 /proc/meminfo: memFree=1290432/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=560132 CPUtime=1118.48 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 140058 0 0 0 111310 538 0 0 25 0 1 0 189611803 573575168 139377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 140033 139377 136 292 0 139738 0 Current children cumulated CPU time (s) 1118.48 Current children cumulated vsize (KiB) 560132 [startup+1182.31 s] /proc/loadavg: 1.33 1.47 1.54 2/74 19147 /proc/meminfo: memFree=1246912/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=602952 CPUtime=1178.47 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 150864 0 0 0 117281 566 0 0 25 0 1 0 189611803 617422848 150119 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 150738 150119 136 292 0 150443 0 Current children cumulated CPU time (s) 1178.47 Current children cumulated vsize (KiB) 602952 [startup+1242.3 s] /proc/loadavg: 1.56 1.51 1.55 3/74 19147 /proc/meminfo: memFree=1246848/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=602952 CPUtime=1238.45 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 150894 0 0 0 123263 582 0 0 25 0 1 0 189611803 617422848 150149 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 150738 150149 136 292 0 150443 0 Current children cumulated CPU time (s) 1238.45 Current children cumulated vsize (KiB) 602952 [startup+1302.3 s] /proc/loadavg: 1.96 1.63 1.58 3/74 19147 /proc/meminfo: memFree=1246144/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=602952 CPUtime=1298.44 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 151067 0 0 0 129244 600 0 0 25 0 1 0 189611803 617422848 150322 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 150738 150322 136 292 0 150443 0 Current children cumulated CPU time (s) 1298.44 Current children cumulated vsize (KiB) 602952 [startup+1362.3 s] /proc/loadavg: 1.62 1.59 1.57 2/74 19147 /proc/meminfo: memFree=1223808/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=625652 CPUtime=1358.38 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 156686 0 0 0 135217 621 0 0 25 0 1 0 189611803 640667648 155941 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 156413 155941 136 292 0 156118 0 Current children cumulated CPU time (s) 1358.38 Current children cumulated vsize (KiB) 625652 [startup+1422.31 s] /proc/loadavg: 1.60 1.60 1.57 2/74 19147 /proc/meminfo: memFree=1194688/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=654640 CPUtime=1417.74 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 163903 0 0 0 141122 652 0 0 25 0 1 0 189611803 670351360 163158 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/19146/statm: 163660 163158 136 292 0 163365 0 Current children cumulated CPU time (s) 1417.74 Current children cumulated vsize (KiB) 654640 [startup+1482.3 s] /proc/loadavg: 1.39 1.53 1.55 4/74 19149 /proc/meminfo: memFree=1173376/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=676004 CPUtime=1477.63 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 169217 0 0 0 147090 673 0 0 25 0 1 0 189611803 692228096 168472 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 169001 168472 136 292 0 168706 0 Current children cumulated CPU time (s) 1477.63 Current children cumulated vsize (KiB) 676004 [startup+1542.3 s] /proc/loadavg: 1.72 1.60 1.56 3/74 19149 /proc/meminfo: memFree=1139136/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=710108 CPUtime=1537.6 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 177716 0 0 0 153060 700 0 0 25 0 1 0 189611803 727150592 176971 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 177527 176971 136 292 0 177232 0 Current children cumulated CPU time (s) 1537.6 Current children cumulated vsize (KiB) 710108 [startup+1602.3 s] /proc/loadavg: 1.80 1.64 1.58 4/74 19149 /proc/meminfo: memFree=1120384/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=729512 CPUtime=1597.58 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 182482 0 0 0 159042 716 0 0 25 0 1 0 189611803 747020288 181737 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 182378 181737 136 292 0 182083 0 Current children cumulated CPU time (s) 1597.58 Current children cumulated vsize (KiB) 729512 [startup+1662.3 s] /proc/loadavg: 1.83 1.67 1.59 2/74 19149 /proc/meminfo: memFree=1099968/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=749744 CPUtime=1657.56 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 187491 0 0 0 165024 732 0 0 25 0 1 0 189611803 767737856 186746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 187436 186746 136 292 0 187141 0 Current children cumulated CPU time (s) 1657.56 Current children cumulated vsize (KiB) 749744 [startup+1722.3 s] /proc/loadavg: 1.50 1.62 1.58 2/74 19149 /proc/meminfo: memFree=1072640/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=778048 CPUtime=1717.54 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 194554 0 0 0 171003 751 0 0 25 0 1 0 189611803 796721152 193809 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 194512 193809 136 292 0 194217 0 Current children cumulated CPU time (s) 1717.54 Current children cumulated vsize (KiB) 778048 [startup+1782.3 s] /proc/loadavg: 1.18 1.50 1.54 2/74 19149 /proc/meminfo: memFree=1048192/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=801980 CPUtime=1777.52 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 200475 0 0 0 176982 770 0 0 25 0 1 0 189611803 821227520 199730 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 200495 199730 136 292 0 200200 0 Current children cumulated CPU time (s) 1777.52 Current children cumulated vsize (KiB) 801980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1804.8 s] /proc/loadavg: 1.12 1.46 1.52 2/74 19149 /proc/meminfo: memFree=1037696/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=812424 CPUtime=1800.02 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4194304 203070 0 0 0 179225 777 0 0 25 0 1 0 189611803 831922176 202325 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/statm: 203106 202325 136 292 0 202811 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 812424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1804.91 s] /proc/loadavg: 1.12 1.46 1.52 2/74 19149 /proc/meminfo: memFree=1037696/2055920 swapFree=4176004/4192956 [pid=19146] ppid=19144 vsize=0 CPUtime=1800.12 /proc/19146/stat : 19146 (wbo) R 19144 19146 19067 0 -1 4195332 203070 0 0 0 179225 787 0 0 25 0 1 0 189611803 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/19146/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): 1804.94 CPU time (s): 1800.16 CPU user time (s): 1792.26 CPU system time (s): 7.9028 CPU usage (%): 99.7355 Max. virtual memory (cumulated for all children) (KiB): 812424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.26 system time used= 7.9028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203070 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= 18100 runsolver used 2.26465 second user time and 5.73613 second system time The end
Begin job on node74 at 2009-06-17 08:28:45 IDJOB=1874925 IDBENCH=71836 IDSOLVER=698 FILE ID=node74/1874925-1245220125 PBS_JOBID= 9368454 Free space on /tmp= 103024 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.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-1874925-1245220125/watcher-1874925-1245220125 -o /tmp/evaluation-result-1874925-1245220125/solver-1874925-1245220125 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874925-1245220125.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436 RANDOM SEED=1419316647 node74.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.218 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.218 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: 1849840 kB Buffers: 29240 kB Cached: 92672 kB SwapCached: 10348 kB Active: 44580 kB Inactive: 108600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849840 kB SwapTotal: 4192956 kB SwapFree: 4176004 kB Dirty: 3408 kB Writeback: 0 kB Mapped: 33272 kB Slab: 37800 kB Committed_AS: 609364 kB PageTables: 2116 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874925-1245220125.opb Free space on /tmp at the end= 103020 MiB End job on node74 at 2009-06-17 08:58:52