Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.14 | 1800.7 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb |
MD5SUM | 41920bbbb40277697ec2dd9f115c2d3f |
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 | -175 |
Best CPU time to get the best result obtained on this benchmark | 30.9303 |
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 | 62145 |
Number of constraints which are clauses | 62145 |
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 | 352 |
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 | 352 |
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-1874927-1245220215.opb. 0.00/0.00 c Instance file HOME/instance-1874927-1245220215.opb 0.00/0.00 c File size is 2073867 bytes. 0.19/0.27 c Highest Coefficient sum: 4 0.19/0.27 c ============================[ Problem Statistics ]============================= 0.19/0.27 c | | 0.19/0.27 c | Parsing time: 0.27 s | 0.19/0.27 c | Number Variables: 2025 | 0.19/0.27 c | Number Clauses: 62280 | 0.19/0.27 c | Number Cardinality: 0 | 0.19/0.27 c | Number PB Constraints: 0 | 0.19/0.27 c core #1 0.19/0.27 c Core size: 5 Core Weight: 4 Total Weight: -348 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.29/0.31 c core #2 0.29/0.31 c Core size: 5 Core Weight: 2 Total Weight: -346 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.34 c core #3 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: -345 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.38 c core #4 0.29/0.38 c Core size: 5 Core Weight: 3 Total Weight: -342 0.29/0.38 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.39/0.42 c core #5 0.39/0.42 c Core size: 5 Core Weight: 1 Total Weight: -341 0.39/0.42 c Elapsed CPU time: 0.412937 s Remaining CPU time: 1799.59 s 0.39/0.45 c core #6 0.39/0.45 c Core size: 5 Core Weight: 1 Total Weight: -340 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.50 c core #7 0.39/0.50 c Core size: 5 Core Weight: 2 Total Weight: -338 0.39/0.50 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.53 c core #8 0.49/0.53 c Core size: 7 Core Weight: 1 Total Weight: -337 0.49/0.53 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.49/0.57 c core #9 0.49/0.57 c Core size: 7 Core Weight: 1 Total Weight: -336 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.59/0.61 c core #10 0.59/0.61 c Core size: 5 Core Weight: 1 Total Weight: -335 0.59/0.61 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.65 c core #11 0.59/0.65 c Core size: 6 Core Weight: 2 Total Weight: -333 0.59/0.65 c Elapsed CPU time: 0.641902 s Remaining CPU time: 1799.36 s 0.59/0.68 c core #12 0.59/0.68 c Core size: 5 Core Weight: 3 Total Weight: -330 0.59/0.68 c Elapsed CPU time: 0.679896 s Remaining CPU time: 1799.32 s 0.69/0.73 c core #13 0.69/0.73 c Core size: 11 Core Weight: 1 Total Weight: -329 0.69/0.73 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.77 c core #14 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: -328 0.69/0.77 c Elapsed CPU time: 0.765883 s Remaining CPU time: 1799.23 s 0.79/0.81 c core #15 0.79/0.81 c Core size: 20 Core Weight: 1 Total Weight: -327 0.79/0.81 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.79/0.85 c core #16 0.79/0.85 c Core size: 20 Core Weight: 2 Total Weight: -325 0.79/0.85 c Elapsed CPU time: 0.843871 s Remaining CPU time: 1799.16 s 0.79/0.89 c core #17 0.79/0.89 c Core size: 10 Core Weight: 2 Total Weight: -323 0.79/0.89 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.89/0.93 c core #18 0.89/0.93 c Core size: 11 Core Weight: 1 Total Weight: -322 0.89/0.93 c Elapsed CPU time: 0.923859 s Remaining CPU time: 1799.08 s 0.89/0.97 c core #19 0.89/0.97 c Core size: 10 Core Weight: 1 Total Weight: -321 0.89/0.97 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.99/1.00 c core #20 0.99/1.00 c Core size: 11 Core Weight: 1 Total Weight: -320 0.99/1.00 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 0.99/1.04 c core #21 0.99/1.04 c Core size: 22 Core Weight: 1 Total Weight: -319 0.99/1.04 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 0.99/1.08 c core #22 0.99/1.08 c Core size: 23 Core Weight: 1 Total Weight: -318 0.99/1.08 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.09/1.12 c core #23 1.09/1.12 c Core size: 15 Core Weight: 1 Total Weight: -317 1.09/1.12 c Elapsed CPU time: 1.11283 s Remaining CPU time: 1798.89 s 1.09/1.16 c core #24 1.09/1.16 c Core size: 8 Core Weight: 1 Total Weight: -316 1.09/1.16 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.19/1.20 c core #25 1.19/1.20 c Core size: 7 Core Weight: 2 Total Weight: -314 1.19/1.20 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.19/1.24 c core #26 1.19/1.24 c Core size: 9 Core Weight: 1 Total Weight: -313 1.19/1.24 c Elapsed CPU time: 1.23681 s Remaining CPU time: 1798.76 s 1.19/1.29 c core #27 1.19/1.29 c Core size: 10 Core Weight: 2 Total Weight: -311 1.19/1.29 c Elapsed CPU time: 1.2828 s Remaining CPU time: 1798.72 s 1.29/1.33 c core #28 1.29/1.33 c Core size: 11 Core Weight: 1 Total Weight: -310 1.29/1.33 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.38 c core #29 1.29/1.38 c Core size: 15 Core Weight: 1 Total Weight: -309 1.29/1.38 c Elapsed CPU time: 1.37079 s Remaining CPU time: 1798.63 s 1.39/1.42 c core #30 1.39/1.42 c Core size: 16 Core Weight: 1 Total Weight: -308 1.39/1.42 c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s 1.39/1.47 c core #31 1.39/1.47 c Core size: 10 Core Weight: 1 Total Weight: -307 1.39/1.47 c Elapsed CPU time: 1.46078 s Remaining CPU time: 1798.54 s 1.49/1.51 c core #32 1.49/1.51 c Core size: 9 Core Weight: 2 Total Weight: -305 1.49/1.51 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.49/1.56 c core #33 1.49/1.56 c Core size: 8 Core Weight: 2 Total Weight: -303 1.49/1.56 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.59/1.60 c core #34 1.59/1.60 c Core size: 19 Core Weight: 1 Total Weight: -302 1.59/1.60 c Elapsed CPU time: 1.59776 s Remaining CPU time: 1798.4 s 1.59/1.65 c core #35 1.59/1.65 c Core size: 20 Core Weight: 1 Total Weight: -301 1.59/1.65 c Elapsed CPU time: 1.64375 s Remaining CPU time: 1798.36 s 1.69/1.70 c core #36 1.69/1.70 c Core size: 10 Core Weight: 1 Total Weight: -300 1.69/1.70 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.69/1.75 c core #37 1.69/1.75 c Core size: 12 Core Weight: 1 Total Weight: -299 1.69/1.75 c Elapsed CPU time: 1.74073 s Remaining CPU time: 1798.26 s 1.69/1.80 c core #38 1.69/1.80 c Core size: 13 Core Weight: 1 Total Weight: -298 1.69/1.80 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.78/1.85 c core #39 1.78/1.85 c Core size: 15 Core Weight: 1 Total Weight: -297 1.78/1.85 c Elapsed CPU time: 1.83972 s Remaining CPU time: 1798.16 s 1.89/1.90 c core #40 1.89/1.90 c Core size: 9 Core Weight: 2 Total Weight: -295 1.89/1.90 c Elapsed CPU time: 1.88871 s Remaining CPU time: 1798.11 s 1.89/1.95 c core #41 1.89/1.95 c Core size: 11 Core Weight: 2 Total Weight: -293 1.89/1.95 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.99/2.00 c core #42 1.99/2.00 c Core size: 13 Core Weight: 1 Total Weight: -292 1.99/2.00 c Elapsed CPU time: 1.9887 s Remaining CPU time: 1798.01 s 1.99/2.05 c core #43 1.99/2.05 c Core size: 14 Core Weight: 1 Total Weight: -291 1.99/2.05 c Elapsed CPU time: 2.03969 s Remaining CPU time: 1797.96 s 1.99/2.10 c core #44 1.99/2.10 c Core size: 14 Core Weight: 1 Total Weight: -290 1.99/2.10 c Elapsed CPU time: 2.09068 s Remaining CPU time: 1797.91 s 2.10/2.15 c core #45 2.10/2.15 c Core size: 15 Core Weight: 1 Total Weight: -289 2.10/2.15 c Elapsed CPU time: 2.14367 s Remaining CPU time: 1797.86 s 2.20/2.20 c core #46 2.20/2.20 c Core size: 15 Core Weight: 1 Total Weight: -288 2.20/2.20 c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s 2.20/2.26 c core #47 2.20/2.26 c Core size: 17 Core Weight: 2 Total Weight: -286 2.20/2.26 c Elapsed CPU time: 2.24966 s Remaining CPU time: 1797.75 s 2.29/2.31 c core #48 2.29/2.31 c Core size: 10 Core Weight: 1 Total Weight: -285 2.29/2.31 c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 s 2.29/2.37 c core #49 2.29/2.37 c Core size: 15 Core Weight: 1 Total Weight: -284 2.29/2.37 c Elapsed CPU time: 2.36064 s Remaining CPU time: 1797.64 s 2.39/2.43 c core #50 2.39/2.43 c Core size: 15 Core Weight: 1 Total Weight: -283 2.39/2.43 c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s 2.39/2.48 c core #51 2.39/2.48 c Core size: 8 Core Weight: 1 Total Weight: -282 2.39/2.48 c Elapsed CPU time: 2.47562 s Remaining CPU time: 1797.52 s 2.49/2.54 c core #52 2.49/2.54 c Core size: 9 Core Weight: 1 Total Weight: -281 2.49/2.54 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.59/2.60 c core #53 2.59/2.60 c Core size: 8 Core Weight: 2 Total Weight: -279 2.59/2.60 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.59/2.66 c core #54 2.59/2.66 c Core size: 8 Core Weight: 1 Total Weight: -278 2.59/2.66 c Elapsed CPU time: 2.6546 s Remaining CPU time: 1797.35 s 2.69/2.73 c core #55 2.69/2.73 c Core size: 8 Core Weight: 1 Total Weight: -277 2.69/2.73 c Elapsed CPU time: 2.71859 s Remaining CPU time: 1797.28 s 2.69/2.79 c core #56 2.69/2.79 c Core size: 10 Core Weight: 1 Total Weight: -276 2.69/2.79 c Elapsed CPU time: 2.78258 s Remaining CPU time: 1797.22 s 2.79/2.86 c core #57 2.79/2.86 c Core size: 9 Core Weight: 1 Total Weight: -275 2.79/2.86 c Elapsed CPU time: 2.84657 s Remaining CPU time: 1797.15 s 2.89/2.92 c core #58 2.89/2.92 c Core size: 9 Core Weight: 2 Total Weight: -273 2.89/2.92 c Elapsed CPU time: 2.91156 s Remaining CPU time: 1797.09 s 2.89/2.99 c core #59 2.89/2.99 c Core size: 18 Core Weight: 1 Total Weight: -272 2.89/2.99 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.05 c core #60 2.99/3.05 c Core size: 18 Core Weight: 1 Total Weight: -271 2.99/3.05 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 3.09/3.12 c core #61 3.09/3.12 c Core size: 16 Core Weight: 1 Total Weight: -270 3.09/3.12 c Elapsed CPU time: 3.11053 s Remaining CPU time: 1796.89 s 3.09/3.19 c core #62 3.09/3.19 c Core size: 17 Core Weight: 1 Total Weight: -269 3.09/3.19 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 s 3.20/3.25 c core #63 3.20/3.25 c Core size: 14 Core Weight: 1 Total Weight: -268 3.20/3.25 c Elapsed CPU time: 3.24351 s Remaining CPU time: 1796.76 s 3.30/3.32 c core #64 3.30/3.32 c Core size: 10 Core Weight: 1 Total Weight: -267 3.30/3.32 c Elapsed CPU time: 3.3105 s Remaining CPU time: 1796.69 s 3.30/3.39 c core #65 3.30/3.39 c Core size: 23 Core Weight: 1 Total Weight: -266 3.30/3.39 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 2169 62477 178621 | 20825 0 nan | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.46 c core #66 3.39/3.46 c Core size: 15 Core Weight: 1 Total Weight: -265 3.39/3.46 c Elapsed CPU time: 3.44648 s Remaining CPU time: 1796.55 s 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 2219 62480 181536 | 20826 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #67 3.49/3.53 c Core size: 26 Core Weight: 1 Total Weight: -264 3.49/3.53 c Elapsed CPU time: 3.52146 s Remaining CPU time: 1796.48 s 3.59/3.60 c Learning 1 hard constraints 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 2226 62485 181555 | 20828 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #68 3.59/3.61 c Core size: 53 Core Weight: 1 Total Weight: -263 3.59/3.61 c Elapsed CPU time: 3.59745 s Remaining CPU time: 1796.4 s 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 2247 62492 182269 | 20830 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #69 3.59/3.69 c Core size: 37 Core Weight: 1 Total Weight: -262 3.59/3.69 c Elapsed CPU time: 3.67444 s Remaining CPU time: 1796.33 s 3.69/3.76 c Learning 1 hard constraints 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 2258 62500 182304 | 20833 0 nan | 0.000 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c core #70 3.69/3.77 c Core size: 46 Core Weight: 1 Total Weight: -261 3.69/3.77 c Elapsed CPU time: 3.75443 s Remaining CPU time: 1796.25 s 3.79/3.84 c Learning 2 hard constraints 3.79/3.84 c ============================[ Search Statistics ]============================== 3.79/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.84 c =============================================================================== 3.79/3.84 c | 0 | 2162 62505 182339 | 20835 0 nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c core #71 3.79/3.84 c Core size: 17 Core Weight: 1 Total Weight: -260 3.79/3.84 c Elapsed CPU time: 3.82842 s Remaining CPU time: 1796.17 s 3.89/3.91 c Learning 1 hard constraints 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 2300 62507 183593 | 20835 0 nan | 0.000 % | 3.89/3.92 c =============================================================================== 3.89/3.92 c core #72 3.89/3.92 c Core size: 20 Core Weight: 1 Total Weight: -259 3.89/3.92 c Elapsed CPU time: 3.89841 s Remaining CPU time: 1796.1 s 3.89/3.98 c Learning 1 hard constraints 3.89/3.98 c ============================[ Search Statistics ]============================== 3.89/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.98 c =============================================================================== 3.89/3.98 c | 0 | 2306 62509 183607 | 20836 0 nan | 0.000 % | 3.89/3.99 c =============================================================================== 3.89/3.99 c core #73 3.89/3.99 c Core size: 28 Core Weight: 1 Total Weight: -258 3.89/3.99 c Elapsed CPU time: 3.9724 s Remaining CPU time: 1796.03 s 3.99/4.06 c ============================[ Search Statistics ]============================== 3.99/4.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.06 c =============================================================================== 3.99/4.06 c | 0 | 2315 62513 183631 | 20837 0 nan | 0.000 % | 3.99/4.07 c =============================================================================== 3.99/4.07 c core #74 3.99/4.07 c Core size: 42 Core Weight: 1 Total Weight: -257 3.99/4.07 c Elapsed CPU time: 4.04938 s Remaining CPU time: 1795.95 s 4.09/4.13 c Learning 2 hard constraints 4.09/4.13 c ============================[ Search Statistics ]============================== 4.09/4.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.13 c =============================================================================== 4.09/4.13 c | 0 | 2340 62517 184297 | 20839 0 nan | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c core #75 4.09/4.14 c Core size: 47 Core Weight: 1 Total Weight: -256 4.09/4.14 c Elapsed CPU time: 4.12437 s Remaining CPU time: 1795.88 s 4.18/4.21 c ============================[ Search Statistics ]============================== 4.18/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.21 c =============================================================================== 4.18/4.21 c | 0 | 2355 62523 184333 | 20841 0 nan | 0.000 % | 4.18/4.22 c =============================================================================== 4.18/4.22 c core #76 4.18/4.22 c Core size: 12 Core Weight: 1 Total Weight: -255 4.18/4.22 c Elapsed CPU time: 4.20136 s Remaining CPU time: 1795.8 s 4.18/4.29 c Learning 2 hard constraints 4.18/4.29 c core #77 4.18/4.29 c Core size: 10 Core Weight: 1 Total Weight: -254 4.18/4.29 c Elapsed CPU time: 4.27135 s Remaining CPU time: 1795.73 s 4.29/4.37 c core #78 4.29/4.37 c Core size: 12 Core Weight: 1 Total Weight: -253 4.29/4.37 c Elapsed CPU time: 4.34634 s Remaining CPU time: 1795.65 s 4.38/4.44 c core #79 4.38/4.44 c Core size: 12 Core Weight: 1 Total Weight: -252 4.38/4.44 c Elapsed CPU time: 4.42233 s Remaining CPU time: 1795.58 s 4.48/4.52 c ============================[ Search Statistics ]============================== 4.48/4.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.52 c =============================================================================== 4.48/4.52 c | 0 | 2379 62534 185287 | 20844 0 nan | 0.000 % | 4.48/4.53 c =============================================================================== 4.48/4.53 c core #80 4.48/4.53 c Core size: 14 Core Weight: 1 Total Weight: -251 4.48/4.53 c Elapsed CPU time: 4.50531 s Remaining CPU time: 1795.49 s 4.58/4.60 c Learning 3 hard constraints 4.58/4.60 c ============================[ Search Statistics ]============================== 4.58/4.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.60 c =============================================================================== 4.58/4.60 c | 0 | 2384 62541 185312 | 20847 0 nan | 0.000 % | 4.58/4.60 c =============================================================================== 4.58/4.60 c core #81 4.58/4.60 c Core size: 12 Core Weight: 1 Total Weight: -250 4.58/4.60 c Elapsed CPU time: 4.5813 s Remaining CPU time: 1795.42 s 4.58/4.68 c ============================[ Search Statistics ]============================== 4.58/4.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.68 c =============================================================================== 4.58/4.68 c | 0 | 2392 62544 185348 | 20848 0 nan | 0.000 % | 4.58/4.69 c =============================================================================== 4.58/4.69 c core #82 4.58/4.69 c Core size: 60 Core Weight: 1 Total Weight: -249 4.58/4.69 c Elapsed CPU time: 4.66429 s Remaining CPU time: 1795.34 s 4.68/4.76 c ============================[ Search Statistics ]============================== 4.68/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.76 c =============================================================================== 4.68/4.76 c | 0 | 2418 62546 185777 | 20848 0 nan | 0.000 % | 4.68/4.76 c =============================================================================== 4.68/4.76 c core #83 4.68/4.76 c Core size: 32 Core Weight: 1 Total Weight: -248 4.68/4.76 c Elapsed CPU time: 4.74228 s Remaining CPU time: 1795.26 s 4.78/4.83 c Learning 2 hard constraints 4.78/4.83 c ============================[ Search Statistics ]============================== 4.78/4.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.78/4.83 c =============================================================================== 4.78/4.83 c | 0 | 2429 62552 185810 | 20850 0 nan | 0.000 % | 4.78/4.84 c =============================================================================== 4.78/4.84 c core #84 4.78/4.84 c Core size: 89 Core Weight: 1 Total Weight: -247 4.78/4.84 c Elapsed CPU time: 4.82027 s Remaining CPU time: 1795.18 s 4.88/4.91 c Learning 1 hard constraints 4.88/4.91 c ============================[ Search Statistics ]============================== 4.88/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.91 c =============================================================================== 4.88/4.91 c | 0 | 2461 62557 186522 | 20852 0 nan | 0.000 % | 4.88/4.92 c =============================================================================== 4.88/4.92 c core #85 4.88/4.92 c Core size: 34 Core Weight: 1 Total Weight: -246 4.88/4.92 c Elapsed CPU time: 4.89926 s Remaining CPU time: 1795.1 s 4.88/4.99 c Learning 2 hard constraints 4.88/4.99 c ============================[ Search Statistics ]============================== 4.88/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.99 c =============================================================================== 4.88/4.99 c | 0 | 2472 62563 186558 | 20854 0 nan | 0.000 % | 4.98/5.00 c =============================================================================== 4.98/5.00 c core #86 4.98/5.00 c Core size: 61 Core Weight: 1 Total Weight: -245 4.98/5.00 c Elapsed CPU time: 4.97624 s Remaining CPU time: 1795.02 s 4.98/5.07 c Learning 1 hard constraints 4.98/5.07 c ============================[ Search Statistics ]============================== 4.98/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.98/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.98/5.07 c =============================================================================== 4.98/5.07 c | 0 | 2490 62566 186597 | 20855 0 nan | 0.000 % | 4.98/5.08 c =============================================================================== 4.98/5.08 c core #87 4.98/5.08 c Core size: 60 Core Weight: 1 Total Weight: -244 4.98/5.08 c Elapsed CPU time: 5.05623 s Remaining CPU time: 1794.94 s 5.08/5.15 c Learning 1 hard constraints 5.08/5.15 c ============================[ Search Statistics ]============================== 5.08/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.08/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.08/5.15 c =============================================================================== 5.08/5.15 c | 0 | 2504 62569 186627 | 20856 0 nan | 0.000 % | 5.08/5.16 c =============================================================================== 5.08/5.16 c core #88 5.08/5.16 c Core size: 37 Core Weight: 1 Total Weight: -243 5.08/5.16 c Elapsed CPU time: 5.13622 s Remaining CPU time: 1794.86 s 5.18/5.23 c Learning 2 hard constraints 5.18/5.23 c ============================[ Search Statistics ]============================== 5.18/5.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.23 c =============================================================================== 5.18/5.23 c | 0 | 2513 62574 186656 | 20858 0 nan | 0.000 % | 5.18/5.24 c =============================================================================== 5.18/5.24 c core #89 5.18/5.24 c Core size: 69 Core Weight: 1 Total Weight: -242 5.18/5.24 c Elapsed CPU time: 5.21321 s Remaining CPU time: 1794.79 s 5.28/5.31 c ============================[ Search Statistics ]============================== 5.28/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/5.31 c =============================================================================== 5.28/5.31 c | 0 | 2535 62578 186706 | 20859 0 nan | 0.000 % | 5.28/5.32 c =============================================================================== 5.28/5.32 c core #90 5.28/5.32 c Core size: 131 Core Weight: 1 Total Weight: -241 5.28/5.32 c Elapsed CPU time: 5.29519 s Remaining CPU time: 1794.7 s 5.28/5.39 c Learning 2 hard constraints 5.28/5.39 c ============================[ Search Statistics ]============================== 5.28/5.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/5.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/5.39 c =============================================================================== 5.28/5.39 c | 0 | 2570 62583 186797 | 20861 0 nan | 0.000 % | 5.28/5.39 c =============================================================================== 5.28/5.39 c core #91 5.28/5.39 c Core size: 45 Core Weight: 1 Total Weight: -240 5.28/5.39 c Elapsed CPU time: 5.37018 s Remaining CPU time: 1794.63 s 5.38/5.47 c Learning 1 hard constraints 5.38/5.47 c ============================[ Search Statistics ]============================== 5.38/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.38/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.38/5.47 c =============================================================================== 5.38/5.47 c | 0 | 2588 62587 186839 | 20862 0 nan | 0.000 % | 5.38/5.48 c =============================================================================== 5.38/5.48 c core #92 5.38/5.48 c Core size: 150 Core Weight: 1 Total Weight: -239 5.38/5.48 c Elapsed CPU time: 5.45317 s Remaining CPU time: 1794.55 s 5.48/5.55 c Learning 5 hard constraints 5.48/5.55 c ============================[ Search Statistics ]============================== 5.48/5.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.48/5.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.48/5.55 c =============================================================================== 5.48/5.55 c | 0 | 2628 62597 186944 | 20865 0 nan | 0.000 % | 5.48/5.56 c =============================================================================== 5.48/5.56 c core #93 5.48/5.56 c Core size: 59 Core Weight: 1 Total Weight: -238 5.48/5.56 c Elapsed CPU time: 5.53216 s Remaining CPU time: 1794.47 s 5.58/5.63 c Learning 5 hard constraints 5.58/5.63 c ============================[ Search Statistics ]============================== 5.58/5.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.58/5.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.58/5.63 c =============================================================================== 5.58/5.63 c | 0 | 2646 62605 187001 | 20868 0 nan | 0.000 % | 5.58/5.64 c =============================================================================== 5.58/5.64 c core #94 5.58/5.64 c Core size: 127 Core Weight: 1 Total Weight: -237 5.58/5.64 c Elapsed CPU time: 5.61315 s Remaining CPU time: 1794.39 s 5.68/5.71 c Learning 7 hard constraints 5.68/5.71 c ============================[ Search Statistics ]============================== 5.68/5.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.71 c =============================================================================== 5.68/5.71 c | 0 | 2679 62619 187104 | 20873 0 nan | 0.000 % | 5.68/5.72 c | 100 | 2677 62619 187104 | 22960 100 10 | 0.112 % | 5.68/5.73 c =============================================================================== 5.68/5.73 c core #95 5.68/5.73 c Core size: 162 Core Weight: 1 Total Weight: -236 5.68/5.73 c Elapsed CPU time: 5.70013 s Remaining CPU time: 1794.3 s 5.77/5.80 c Learning 10 hard constraints 5.77/5.80 c ============================[ Search Statistics ]============================== 5.77/5.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.77/5.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.77/5.80 c =============================================================================== 5.77/5.80 c | 0 | 2720 62632 187223 | 20877 0 nan | 0.000 % | 5.77/5.81 c | 102 | 2720 62632 187223 | 22965 102 15 | 0.074 % | 5.77/5.82 c | 252 | 2719 62632 187223 | 25261 252 15 | 0.074 % | 5.77/5.83 c =============================================================================== 5.77/5.83 c core #96 5.77/5.83 c Core size: 153 Core Weight: 1 Total Weight: -235 5.77/5.83 c Elapsed CPU time: 5.80512 s Remaining CPU time: 1794.19 s 5.87/5.91 c Learning 5 hard constraints 5.87/5.91 c ============================[ Search Statistics ]============================== 5.87/5.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.87/5.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.87/5.91 c =============================================================================== 5.87/5.91 c | 0 | 2766 62638 187332 | 20879 0 nan | 0.000 % | 5.87/5.92 c =============================================================================== 5.87/5.92 c core #97 5.87/5.92 c Core size: 175 Core Weight: 1 Total Weight: -234 5.87/5.92 c Elapsed CPU time: 5.8921 s Remaining CPU time: 1794.11 s 5.87/5.99 c Learning 8 hard constraints 5.87/5.99 c ============================[ Search Statistics ]============================== 5.87/5.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.87/5.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.87/5.99 c =============================================================================== 5.87/5.99 c | 0 | 2820 62651 187477 | 20883 0 nan | 0.000 % | 5.97/6.01 c =============================================================================== 5.97/6.01 c core #98 5.97/6.01 c Core size: 112 Core Weight: 1 Total Weight: -233 5.97/6.01 c Elapsed CPU time: 5.97509 s Remaining CPU time: 1794.02 s 5.97/6.08 c Learning 10 hard constraints 5.97/6.08 c ============================[ Search Statistics ]============================== 5.97/6.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.97/6.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.97/6.08 c =============================================================================== 5.97/6.08 c | 0 | 2849 62664 187577 | 20888 0 nan | 0.000 % | 5.97/6.09 c =============================================================================== 5.97/6.09 c core #99 5.97/6.09 c Core size: 88 Core Weight: 1 Total Weight: -232 5.97/6.09 c Elapsed CPU time: 6.05708 s Remaining CPU time: 1793.94 s 6.07/6.16 c Learning 2 hard constraints 6.07/6.16 c ============================[ Search Statistics ]============================== 6.07/6.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.07/6.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.07/6.16 c =============================================================================== 6.07/6.16 c | 0 | 2879 62668 187645 | 20889 0 nan | 0.000 % | 6.07/6.18 c | 100 | 2879 62668 187645 | 22978 100 16 | 0.069 % | 6.17/6.20 c | 250 | 2875 62668 187645 | 25276 250 11 | 0.208 % | 6.17/6.21 c =============================================================================== 6.17/6.21 c core #100 6.17/6.21 c Core size: 410 Core Weight: 1 Total Weight: -231 6.17/6.21 c Elapsed CPU time: 6.17606 s Remaining CPU time: 1793.82 s 6.17/6.28 c Learning 27 hard constraints 6.17/6.28 c ============================[ Search Statistics ]============================== 6.17/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.17/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.17/6.28 c =============================================================================== 6.17/6.28 c | 0 | 2984 62698 187960 | 20899 0 nan | 0.000 % | 6.28/6.30 c | 101 | 2983 62698 187960 | 22989 101 18 | 0.101 % | 6.28/6.32 c | 253 | 2982 62698 187960 | 25288 253 18 | 0.168 % | 6.28/6.34 c | 481 | 2980 62698 187960 | 27817 481 15 | 0.234 % | 6.28/6.35 c =============================================================================== 6.28/6.35 c core #101 6.28/6.35 c Core size: 456 Core Weight: 1 Total Weight: -230 6.28/6.35 c Elapsed CPU time: 6.31404 s Remaining CPU time: 1793.69 s 6.38/6.42 c Learning 12 hard constraints 6.38/6.42 c ============================[ Search Statistics ]============================== 6.38/6.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.38/6.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.38/6.42 c =============================================================================== 6.38/6.42 c | 0 | 3120 62711 188278 | 20903 0 nan | 0.000 % | 6.38/6.44 c | 100 | 3120 62711 188278 | 22994 100 25 | 0.064 % | 6.38/6.46 c | 253 | 3119 62711 188278 | 25293 253 25 | 0.096 % | 6.38/6.48 c | 479 | 3119 62711 188278 | 27822 479 20 | 0.096 % | 6.48/6.50 c | 817 | 3117 62711 188278 | 30605 817 18 | 0.160 % | 6.48/6.54 c | 1324 | 3117 62711 188278 | 33665 1324 17 | 0.160 % | 6.48/6.58 c =============================================================================== 6.48/6.59 c core #102 6.48/6.59 c Core size: 454 Core Weight: 1 Total Weight: -229 6.48/6.59 c Elapsed CPU time: 6.554 s Remaining CPU time: 1793.45 s 6.58/6.67 c Learning 33 hard constraints 6.58/6.67 c ============================[ Search Statistics ]============================== 6.58/6.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.58/6.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.58/6.67 c =============================================================================== 6.58/6.67 c | 0 | 3273 62746 188695 | 20915 0 nan | 0.000 % | 6.58/6.69 c | 101 | 3273 62746 188695 | 23006 101 29 | 0.061 % | 6.67/6.70 c | 251 | 3273 62746 188695 | 25307 251 24 | 0.061 % | 6.67/6.72 c | 476 | 3273 62746 188695 | 27838 476 22 | 0.061 % | 6.67/6.75 c | 813 | 3273 62746 188695 | 30622 813 22 | 0.061 % | 6.77/6.80 c | 1319 | 3273 62746 188695 | 33684 1319 20 | 0.061 % | 6.77/6.88 c | 2079 | 3273 62746 188695 | 37052 2079 19 | 0.061 % | 6.97/7.02 c =============================================================================== 6.97/7.04 c core #103 6.97/7.04 c Core size: 693 Core Weight: 1 Total Weight: -228 6.97/7.04 c Elapsed CPU time: 6.99294 s Remaining CPU time: 1793.01 s 7.07/7.11 c Learning 51 hard constraints 7.07/7.11 c ============================[ Search Statistics ]============================== 7.07/7.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.07/7.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.07/7.11 c =============================================================================== 7.07/7.11 c | 0 | 3423 62799 189183 | 20933 0 nan | 0.000 % | 7.07/7.13 c | 101 | 3423 62799 189183 | 23026 101 38 | 0.058 % | 7.07/7.14 c | 252 | 3423 62799 189183 | 25328 252 35 | 0.058 % | 7.07/7.16 c | 478 | 3423 62799 189183 | 27861 478 31 | 0.058 % | 7.07/7.19 c | 815 | 3423 62799 189183 | 30648 815 30 | 0.058 % | 7.17/7.25 c | 1322 | 3423 62799 189183 | 33712 1322 31 | 0.058 % | 7.27/7.34 c | 2081 | 3423 62799 189183 | 37084 2081 36 | 0.058 % | 7.47/7.52 c | 3221 | 3423 62799 189183 | 40792 3221 40 | 0.058 % | 7.87/7.91 c | 4929 | 3423 62799 189183 | 44871 4929 40 | 0.058 % | 8.37/8.44 c | 7493 | 3422 62799 189183 | 49358 7492 42 | 0.088 % | 9.17/9.24 c | 11337 | 3421 62799 189183 | 54294 11335 45 | 0.117 % | 10.57/10.63 c | 17106 | 3421 62799 189183 | 59724 17104 46 | 0.117 % | 14.47/14.59 c | 25755 | 3421 62799 189183 | 65696 25753 45 | 0.117 % | 18.87/18.92 c =============================================================================== 19.37/19.41 c core #104 19.37/19.41 c Core size: 1576 Core Weight: 1 Total Weight: -227 19.37/19.41 c Elapsed CPU time: 19.2501 s Remaining CPU time: 1780.75 s 19.47/19.53 c Learning 93 hard constraints 19.47/19.53 c ============================[ Search Statistics ]============================== 19.47/19.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.47/19.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.47/19.53 c =============================================================================== 19.47/19.53 c | 0 | 3681 62894 190048 | 20964 0 nan | 0.000 % | 19.47/19.55 c | 100 | 3681 62894 190048 | 23061 100 42 | 0.054 % | 19.47/19.58 c | 250 | 3681 62894 190048 | 25367 250 36 | 0.054 % | 19.57/19.61 c | 475 | 3681 62894 190048 | 27903 475 48 | 0.054 % | 19.57/19.64 c | 812 | 3681 62894 190048 | 30694 812 54 | 0.054 % | 19.67/19.70 c | 1322 | 3680 62894 190048 | 33763 1321 51 | 0.081 % | 19.77/19.81 c | 2086 | 3680 62894 190048 | 37140 2085 49 | 0.081 % | 19.86/19.99 c | 3228 | 3680 62894 190048 | 40854 3227 44 | 0.081 % | 20.26/20.32 c | 4939 | 3680 62894 190048 | 44939 4938 48 | 0.081 % | 20.76/20.87 c | 7502 | 3680 62894 190048 | 49433 7501 51 | 0.081 % | 21.76/21.85 c | 11346 | 3680 62894 190048 | 54376 11345 53 | 0.081 % | 22.86/22.91 c | 17112 | 3680 62894 190048 | 59814 17111 49 | 0.081 % | 25.86/25.96 c | 25761 | 3680 62894 190048 | 65796 25760 46 | 0.081 % | 32.16/32.28 c | 38737 | 3680 62894 190048 | 72375 38736 45 | 0.081 % | 45.35/45.45 c | 58199 | 3680 62894 190048 | 79613 58198 46 | 0.081 % | 73.74/73.90 c | 87392 | 3680 62894 190048 | 87574 23169 47 | 0.081 % | 115.23/115.38 c | 131181 | 3679 62894 190048 | 96332 66956 51 | 0.109 % | 183.52/183.62 c =============================================================================== 187.11/187.22 c core #105 187.11/187.22 c Core size: 1911 Core Weight: 1 Total Weight: -226 187.11/187.22 c Elapsed CPU time: 186.377 s Remaining CPU time: 1613.62 s 187.31/187.47 c Learning 72 hard constraints 187.31/187.47 c ============================[ Search Statistics ]============================== 187.31/187.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.31/187.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.31/187.47 c =============================================================================== 187.31/187.48 c | 0 | 3878 62967 190716 | 20989 0 nan | 0.000 % | 187.41/187.53 c | 101 | 3878 62967 190716 | 23087 101 64 | 0.052 % | 187.41/187.55 c | 251 | 3878 62967 190716 | 25396 251 53 | 0.052 % | 187.41/187.58 c | 476 | 3878 62967 190716 | 27936 476 62 | 0.052 % | 187.50/187.62 c | 813 | 3878 62967 190716 | 30729 813 67 | 0.052 % | 187.61/187.70 c | 1320 | 3878 62967 190716 | 33802 1320 73 | 0.052 % | 187.71/187.84 c | 2080 | 3878 62967 190716 | 37183 2080 73 | 0.052 % | 188.01/188.12 c | 3220 | 3878 62967 190716 | 40901 3220 72 | 0.052 % | 188.50/188.63 c | 4928 | 3878 62967 190716 | 44991 4928 72 | 0.052 % | 189.11/189.23 c | 7491 | 3878 62967 190716 | 49490 7491 70 | 0.052 % | 190.21/190.31 c | 11337 | 3878 62967 190716 | 54440 11337 73 | 0.052 % | 192.30/192.45 c | 17103 | 3878 62967 190716 | 59884 17103 77 | 0.052 % | 197.30/197.46 c | 25753 | 3878 62967 190716 | 65872 25753 82 | 0.052 % | 205.80/205.98 c | 38734 | 3878 62967 190716 | 72459 38734 74 | 0.052 % | 220.79/220.94 c | 58195 | 3877 62967 190716 | 79705 58194 80 | 0.077 % | 244.59/244.70 c | 87387 | 3877 62967 190716 | 87676 20930 62 | 0.077 % | 280.68/280.82 c | 131179 | 3877 62967 190716 | 96443 64722 68 | 0.077 % | 368.75/368.91 c | 196864 | 3876 62967 190716 | 106088 48668 71 | 0.103 % | 527.40/527.64 c | 295391 | 3876 62967 190716 | 116697 54809 70 | 0.103 % | 752.15/752.49 c | 443181 | 3874 62967 190716 | 128366 100658 80 | 0.155 % | 1142.23/1142.65 c | 664864 | 3874 62967 190716 | 141203 97022 72 | 0.155 % |
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-1874927-1245220215/watcher-1874927-1245220215 -o /tmp/evaluation-result-1874927-1245220215/solver-1874927-1245220215 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874927-1245220215.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7805 /proc/meminfo: memFree=1856744/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=4704 CPUtime=0 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 229 0 0 0 0 0 0 0 18 0 1 0 189620796 4816896 213 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 1176 213 128 292 0 374 0 [startup+0.0978489 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7805 /proc/meminfo: memFree=1856744/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=5700 CPUtime=0.09 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 189620796 5836800 641 1992294400 134512640 135709839 4294956240 18446744073709551615 134544743 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 1425 641 299 292 0 623 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5700 [startup+0.101849 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7805 /proc/meminfo: memFree=1856744/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=5700 CPUtime=0.09 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 189620796 5836800 658 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 1425 658 306 292 0 623 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5700 [startup+0.301871 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7805 /proc/meminfo: memFree=1856744/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=8304 CPUtime=0.29 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 2132 0 0 0 29 0 0 0 19 0 1 0 189620796 8503296 1576 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 2076 1577 133 292 0 1781 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8304 [startup+0.701915 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7805 /proc/meminfo: memFree=1856744/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=9472 CPUtime=0.69 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 2563 0 0 0 69 0 0 0 22 0 1 0 189620796 9699328 1885 1992294400 134512640 135709839 4294956240 18446744073709551615 134517472 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 2368 1885 133 292 0 2073 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9472 [startup+1.502 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1849568/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=9472 CPUtime=1.49 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 2563 0 0 0 149 0 0 0 25 0 1 0 189620796 9699328 1885 1992294400 134512640 135709839 4294956240 18446744073709551615 134569984 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 2368 1885 133 292 0 2073 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9472 [startup+3.10118 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1849120/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=10132 CPUtime=3.09 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 2731 0 0 0 308 1 0 0 25 0 1 0 189620796 10375168 2053 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 2533 2053 133 292 0 2238 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10132 [startup+6.30154 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1847784/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=11552 CPUtime=6.28 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 3151 0 0 0 626 2 0 0 25 0 1 0 189620796 11829248 2396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 2888 2396 136 292 0 2593 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11552 [startup+12.7012 s] /proc/loadavg: 0.92 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1842344/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=16936 CPUtime=12.67 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 4514 0 0 0 1259 8 0 0 25 0 1 0 189620796 17342464 3759 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 4234 3759 136 292 0 3939 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 16936 [startup+25.5017 s] /proc/loadavg: 0.94 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1831272/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=27644 CPUtime=25.47 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 7148 0 0 0 2527 20 0 0 25 0 1 0 189620796 28307456 6393 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 6911 6393 136 292 0 6616 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 27644 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1823208/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=35964 CPUtime=51.05 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 9239 0 0 0 5074 31 0 0 25 0 1 0 189620796 36827136 8484 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 8991 8484 136 292 0 8696 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 35964 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1797288/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=61700 CPUtime=102.24 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 15648 0 0 0 10170 54 0 0 25 0 1 0 189620796 63180800 14893 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 15425 14893 136 292 0 15130 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 61700 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1780136/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=78992 CPUtime=162.22 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 19952 0 0 0 16154 68 0 0 25 0 1 0 189620796 80887808 19197 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 19748 19197 136 292 0 19453 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 78992 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1759272/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=99504 CPUtime=222.2 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 25203 0 0 0 22124 96 0 0 25 0 1 0 189620796 101892096 24353 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 24876 24353 136 292 0 24581 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 99504 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1737000/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=121920 CPUtime=282.18 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 30801 0 0 0 28098 120 0 0 25 0 1 0 189620796 124846080 29951 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 30480 29951 136 292 0 30185 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 121920 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1716648/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=142496 CPUtime=342.16 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 35888 0 0 0 34080 136 0 0 25 0 1 0 189620796 145915904 35038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 35624 35038 136 292 0 35329 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 142496 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1693672/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=165528 CPUtime=402.14 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 41592 0 0 0 40061 153 0 0 25 0 1 0 189620796 169500672 40742 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 41382 40742 136 292 0 41087 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 165528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1680296/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=178764 CPUtime=462.13 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 44873 0 0 0 46049 164 0 0 25 0 1 0 189620796 183054336 44023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 44691 44023 136 292 0 44396 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 178764 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1655656/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=203640 CPUtime=522.11 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 51104 0 0 0 52028 183 0 0 25 0 1 0 189620796 208527360 50254 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 50910 50254 136 292 0 50615 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 203640 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1630248/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=228840 CPUtime=582.09 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 57374 0 0 0 58006 203 0 0 25 0 1 0 189620796 234332160 56524 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 57210 56524 136 292 0 56915 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 228840 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1605992/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=252780 CPUtime=642.07 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 63362 0 0 0 63987 220 0 0 25 0 1 0 189620796 258846720 62512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 63195 62512 136 292 0 62900 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 252780 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1559272/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=299696 CPUtime=822.02 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 75053 0 0 0 81942 260 0 0 25 0 1 0 189620796 306888704 74203 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 74924 74203 136 292 0 74629 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 299696 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1534120/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=324760 CPUtime=882 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 81296 0 0 0 87919 281 0 0 25 0 1 0 189620796 332554240 80446 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 81190 80446 136 292 0 80895 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 324760 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1516968/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=342424 CPUtime=941.99 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 85656 0 0 0 93902 297 0 0 25 0 1 0 189620796 350642176 84806 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 85606 84806 136 292 0 85311 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 342424 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1503848/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=355264 CPUtime=1001.97 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 88853 0 0 0 99890 307 0 0 25 0 1 0 189620796 363790336 88003 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 88816 88003 136 292 0 88521 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 355264 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1482600/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=376752 CPUtime=1061.95 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 94196 0 0 0 105872 323 0 0 25 0 1 0 189620796 385794048 93346 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 94188 93346 136 292 0 93893 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 376752 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1464552/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=394576 CPUtime=1121.94 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 98635 0 0 0 111854 340 0 0 25 0 1 0 189620796 404045824 97785 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 98644 97785 136 292 0 98349 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 394576 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1447784/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=411808 CPUtime=1181.91 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 102888 0 0 0 117839 352 0 0 25 0 1 0 189620796 421691392 102038 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 102952 102038 136 292 0 102657 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 411808 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1433640/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=425668 CPUtime=1241.89 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 106345 0 0 0 123826 363 0 0 25 0 1 0 189620796 435884032 105495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 106417 105495 136 292 0 106122 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 425668 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7806 /proc/meminfo: memFree=1406824/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=452564 CPUtime=1301.88 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 112989 0 0 0 129808 380 0 0 25 0 1 0 189620796 463425536 112139 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 113141 112139 136 292 0 112846 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 452564 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1393576/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=465880 CPUtime=1361.86 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 116318 0 0 0 135794 392 0 0 25 0 1 0 189620796 477061120 115468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 116470 115468 136 292 0 116175 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 465880 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1380648/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=478828 CPUtime=1421.84 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 119511 0 0 0 141783 401 0 0 25 0 1 0 189620796 490319872 118661 1992294400 134512640 135709839 4294956240 18446744073709551615 134573858 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 119707 118661 136 292 0 119412 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 478828 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1369768/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=489852 CPUtime=1481.82 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 122252 0 0 0 147772 410 0 0 25 0 1 0 189620796 501608448 121402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 122463 121402 136 292 0 122168 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 489852 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1360232/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=499300 CPUtime=1541.81 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 124593 0 0 0 153764 417 0 0 25 0 1 0 189620796 511283200 123743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 124825 123743 136 292 0 124530 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 499300 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1331240/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=528512 CPUtime=1601.79 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 131887 0 0 0 159743 436 0 0 25 0 1 0 189620796 541196288 131037 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 132128 131037 136 292 0 131833 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 528512 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1311784/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=547576 CPUtime=1661.77 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 136668 0 0 0 165726 451 0 0 25 0 1 0 189620796 560717824 135818 1992294400 134512640 135709839 4294956240 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 136894 135818 136 292 0 136599 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 547576 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1302376/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=557104 CPUtime=1721.76 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 139016 0 0 0 171716 460 0 0 25 0 1 0 189620796 570474496 138166 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 139276 138166 136 292 0 138981 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 557104 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1295528/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=563940 CPUtime=1781.74 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 140705 0 0 0 177709 465 0 0 25 0 1 0 189620796 577474560 139855 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 140985 139855 136 292 0 140690 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 563940 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7808 /proc/meminfo: memFree=1293800/2055920 swapFree=4185460/4192956 [pid=7805] ppid=7803 vsize=565572 CPUtime=1800.05 /proc/7805/stat : 7805 (wbo) R 7803 7805 7726 0 -1 4194304 141133 0 0 0 179538 467 0 0 25 0 1 0 189620796 579145728 140283 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7805/statm: 141393 140283 136 292 0 141098 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 565572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.14 CPU user time (s): 1795.38 CPU system time (s): 4.76128 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 565572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.38 system time used= 4.76128 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141133 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= 3704 runsolver used 1.52977 second user time and 3.48447 second system time The end
Begin job on node35 at 2009-06-17 08:30:15 IDJOB=1874927 IDBENCH=71838 IDSOLVER=698 FILE ID=node35/1874927-1245220215 PBS_JOBID= 9368458 Free space on /tmp= 66132 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-6000opt.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-1874927-1245220215/watcher-1874927-1245220215 -o /tmp/evaluation-result-1874927-1245220215/solver-1874927-1245220215 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874927-1245220215.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41920bbbb40277697ec2dd9f115c2d3f RANDOM SEED=729392478 node35.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.232 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.232 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: 1857224 kB Buffers: 25660 kB Cached: 105016 kB SwapCached: 3556 kB Active: 19108 kB Inactive: 121628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857224 kB SwapTotal: 4192956 kB SwapFree: 4185460 kB Dirty: 4620 kB Writeback: 0 kB Mapped: 16492 kB Slab: 43856 kB Committed_AS: 204260 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874927-1245220215.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-17 09:00:18