Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.11 | 1800.79 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb |
MD5SUM | 657f6825a6ae32adb885bdc3b57c624e |
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 | -169 |
Best CPU time to get the best result obtained on this benchmark | 17.4503 |
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 | 63342 |
Number of constraints which are clauses | 63342 |
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 | 317 |
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 | 317 |
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-1874923-1245220048.opb. 0.00/0.00 c Instance file HOME/instance-1874923-1245220048.opb 0.00/0.00 c File size is 2113677 bytes. 0.19/0.26 c Highest Coefficient sum: 4 0.19/0.26 c ============================[ Problem Statistics ]============================= 0.19/0.26 c | | 0.19/0.26 c | Parsing time: 0.26 s | 0.19/0.26 c | Number Variables: 2025 | 0.19/0.26 c | Number Clauses: 63477 | 0.19/0.26 c | Number Cardinality: 0 | 0.19/0.26 c | Number PB Constraints: 0 | 0.19/0.26 c core #1 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: -316 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.30 c core #2 0.19/0.30 c Core size: 5 Core Weight: 2 Total Weight: -314 0.19/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.33 c core #3 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: -313 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.37 c core #4 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -312 0.29/0.37 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.39/0.40 c core #5 0.39/0.40 c Core size: 5 Core Weight: 3 Total Weight: -309 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.44 c core #6 0.39/0.44 c Core size: 6 Core Weight: 1 Total Weight: -308 0.39/0.44 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.39/0.48 c core #7 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: -307 0.39/0.48 c Elapsed CPU time: 0.473927 s Remaining CPU time: 1799.53 s 0.49/0.51 c core #8 0.49/0.51 c Core size: 6 Core Weight: 1 Total Weight: -306 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.55 c core #9 0.49/0.55 c Core size: 7 Core Weight: 1 Total Weight: -305 0.49/0.55 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.49/0.59 c core #10 0.49/0.59 c Core size: 7 Core Weight: 1 Total Weight: -304 0.49/0.59 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 0.59/0.62 c core #11 0.59/0.62 c Core size: 7 Core Weight: 1 Total Weight: -303 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.66 c core #12 0.59/0.66 c Core size: 5 Core Weight: 1 Total Weight: -302 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.69/0.70 c core #13 0.69/0.70 c Core size: 6 Core Weight: 1 Total Weight: -301 0.69/0.70 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 0.69/0.74 c core #14 0.69/0.74 c Core size: 5 Core Weight: 1 Total Weight: -300 0.69/0.74 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.69/0.79 c core #15 0.69/0.79 c Core size: 6 Core Weight: 1 Total Weight: -299 0.69/0.79 c Elapsed CPU time: 0.78288 s Remaining CPU time: 1799.22 s 0.79/0.83 c core #16 0.79/0.83 c Core size: 6 Core Weight: 1 Total Weight: -298 0.79/0.83 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.87 c core #17 0.79/0.87 c Core size: 6 Core Weight: 1 Total Weight: -297 0.79/0.87 c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s 0.89/0.91 c core #18 0.89/0.91 c Core size: 5 Core Weight: 1 Total Weight: -296 0.89/0.91 c Elapsed CPU time: 0.901862 s Remaining CPU time: 1799.1 s 0.89/0.95 c core #19 0.89/0.95 c Core size: 13 Core Weight: 1 Total Weight: -295 0.89/0.95 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.99 c core #20 0.89/0.99 c Core size: 14 Core Weight: 1 Total Weight: -294 0.89/0.99 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.99/1.03 c core #21 0.99/1.03 c Core size: 14 Core Weight: 2 Total Weight: -292 0.99/1.03 c Elapsed CPU time: 1.02384 s Remaining CPU time: 1798.98 s 0.99/1.06 c core #22 0.99/1.06 c Core size: 15 Core Weight: 1 Total Weight: -291 0.99/1.06 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 1.09/1.10 c core #23 1.09/1.10 c Core size: 15 Core Weight: 1 Total Weight: -290 1.09/1.10 c Elapsed CPU time: 1.09883 s Remaining CPU time: 1798.9 s 1.09/1.14 c core #24 1.09/1.14 c Core size: 14 Core Weight: 1 Total Weight: -289 1.09/1.14 c Elapsed CPU time: 1.13683 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #25 1.09/1.18 c Core size: 13 Core Weight: 1 Total Weight: -288 1.09/1.18 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.19/1.22 c core #26 1.19/1.22 c Core size: 16 Core Weight: 1 Total Weight: -287 1.19/1.22 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.19/1.26 c core #27 1.19/1.26 c Core size: 13 Core Weight: 1 Total Weight: -286 1.19/1.26 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.19/1.30 c core #28 1.19/1.30 c Core size: 13 Core Weight: 1 Total Weight: -285 1.19/1.30 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.29/1.34 c core #29 1.29/1.34 c Core size: 23 Core Weight: 1 Total Weight: -284 1.29/1.34 c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s 1.29/1.37 c core #30 1.29/1.37 c Core size: 24 Core Weight: 1 Total Weight: -283 1.29/1.37 c Elapsed CPU time: 1.36979 s Remaining CPU time: 1798.63 s 1.39/1.41 c core #31 1.39/1.41 c Core size: 24 Core Weight: 1 Total Weight: -282 1.39/1.41 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.39/1.45 c core #32 1.39/1.45 c Core size: 8 Core Weight: 1 Total Weight: -281 1.39/1.45 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.39/1.49 c core #33 1.39/1.49 c Core size: 8 Core Weight: 1 Total Weight: -280 1.39/1.49 c Elapsed CPU time: 1.48877 s Remaining CPU time: 1798.51 s 1.49/1.54 c core #34 1.49/1.54 c Core size: 9 Core Weight: 1 Total Weight: -279 1.49/1.54 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.49/1.58 c core #35 1.49/1.58 c Core size: 10 Core Weight: 1 Total Weight: -278 1.49/1.58 c Elapsed CPU time: 1.57076 s Remaining CPU time: 1798.43 s 1.59/1.62 c core #36 1.59/1.62 c Core size: 9 Core Weight: 1 Total Weight: -277 1.59/1.62 c Elapsed CPU time: 1.61575 s Remaining CPU time: 1798.38 s 1.59/1.67 c core #37 1.59/1.67 c Core size: 10 Core Weight: 1 Total Weight: -276 1.59/1.67 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.69/1.71 c core #38 1.69/1.71 c Core size: 10 Core Weight: 2 Total Weight: -274 1.69/1.71 c Elapsed CPU time: 1.70774 s Remaining CPU time: 1798.29 s 1.69/1.76 c core #39 1.69/1.76 c Core size: 8 Core Weight: 1 Total Weight: -273 1.69/1.76 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.79/1.81 c core #40 1.79/1.81 c Core size: 10 Core Weight: 1 Total Weight: -272 1.79/1.81 c Elapsed CPU time: 1.80472 s Remaining CPU time: 1798.2 s 1.79/1.86 c core #41 1.79/1.86 c Core size: 10 Core Weight: 1 Total Weight: -271 1.79/1.86 c Elapsed CPU time: 1.85372 s Remaining CPU time: 1798.15 s 1.89/1.91 c core #42 1.89/1.91 c Core size: 11 Core Weight: 1 Total Weight: -270 1.89/1.91 c Elapsed CPU time: 1.90271 s Remaining CPU time: 1798.1 s 1.89/1.96 c core #43 1.89/1.96 c Core size: 11 Core Weight: 1 Total Weight: -269 1.89/1.96 c Elapsed CPU time: 1.9557 s Remaining CPU time: 1798.04 s 1.99/2.02 c core #44 1.99/2.02 c Core size: 11 Core Weight: 3 Total Weight: -266 1.99/2.02 c Elapsed CPU time: 2.00869 s Remaining CPU time: 1797.99 s 1.99/2.07 c core #45 1.99/2.07 c Core size: 12 Core Weight: 1 Total Weight: -265 1.99/2.07 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 2.10/2.12 c core #46 2.10/2.12 c Core size: 12 Core Weight: 1 Total Weight: -264 2.10/2.12 c Elapsed CPU time: 2.11268 s Remaining CPU time: 1797.89 s 2.10/2.18 c core #47 2.10/2.18 c Core size: 13 Core Weight: 1 Total Weight: -263 2.10/2.18 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.20/2.23 c core #48 2.20/2.23 c Core size: 10 Core Weight: 1 Total Weight: -262 2.20/2.23 c Elapsed CPU time: 2.22066 s Remaining CPU time: 1797.78 s 2.20/2.28 c core #49 2.20/2.28 c Core size: 11 Core Weight: 1 Total Weight: -261 2.20/2.28 c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s 2.29/2.34 c core #50 2.29/2.34 c Core size: 11 Core Weight: 1 Total Weight: -260 2.29/2.34 c Elapsed CPU time: 2.32864 s Remaining CPU time: 1797.67 s 2.29/2.39 c core #51 2.29/2.39 c Core size: 11 Core Weight: 1 Total Weight: -259 2.29/2.39 c Elapsed CPU time: 2.38364 s Remaining CPU time: 1797.62 s 2.39/2.45 c core #52 2.39/2.45 c Core size: 11 Core Weight: 1 Total Weight: -258 2.39/2.45 c Elapsed CPU time: 2.43863 s Remaining CPU time: 1797.56 s 2.49/2.50 c core #53 2.49/2.50 c Core size: 31 Core Weight: 1 Total Weight: -257 2.49/2.50 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.49/2.56 c core #54 2.49/2.56 c Core size: 8 Core Weight: 1 Total Weight: -256 2.49/2.56 c Elapsed CPU time: 2.55361 s Remaining CPU time: 1797.45 s 2.59/2.62 c core #55 2.59/2.62 c Core size: 9 Core Weight: 1 Total Weight: -255 2.59/2.62 c Elapsed CPU time: 2.6116 s Remaining CPU time: 1797.39 s 2.59/2.68 c core #56 2.59/2.68 c Core size: 10 Core Weight: 1 Total Weight: -254 2.59/2.68 c Elapsed CPU time: 2.67059 s Remaining CPU time: 1797.33 s 2.69/2.74 c core #57 2.69/2.74 c Core size: 10 Core Weight: 1 Total Weight: -253 2.69/2.74 c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s 2.79/2.81 c core #58 2.79/2.81 c Core size: 10 Core Weight: 1 Total Weight: -252 2.79/2.81 c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s 2.79/2.87 c core #59 2.79/2.87 c Core size: 13 Core Weight: 1 Total Weight: -251 2.79/2.87 c Elapsed CPU time: 2.85257 s Remaining CPU time: 1797.15 s 2.89/2.93 c core #60 2.89/2.93 c Core size: 12 Core Weight: 1 Total Weight: -250 2.89/2.93 c Elapsed CPU time: 2.91356 s Remaining CPU time: 1797.09 s 2.89/2.99 c core #61 2.89/2.99 c Core size: 9 Core Weight: 1 Total Weight: -249 2.89/2.99 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.05 c core #62 2.99/3.05 c Core size: 9 Core Weight: 1 Total Weight: -248 2.99/3.05 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 3.09/3.12 c core #63 3.09/3.12 c Core size: 10 Core Weight: 1 Total Weight: -247 3.09/3.12 c Elapsed CPU time: 3.10153 s Remaining CPU time: 1796.9 s 3.09/3.18 c core #64 3.09/3.18 c Core size: 11 Core Weight: 1 Total Weight: -246 3.09/3.18 c Elapsed CPU time: 3.16552 s Remaining CPU time: 1796.83 s 3.19/3.25 c core #65 3.19/3.25 c Core size: 11 Core Weight: 1 Total Weight: -245 3.19/3.25 c Elapsed CPU time: 3.22951 s Remaining CPU time: 1796.77 s 3.29/3.31 c core #66 3.29/3.31 c Core size: 10 Core Weight: 1 Total Weight: -244 3.29/3.31 c Elapsed CPU time: 3.2955 s Remaining CPU time: 1796.7 s 3.29/3.38 c core #67 3.29/3.38 c Core size: 12 Core Weight: 1 Total Weight: -243 3.29/3.38 c Elapsed CPU time: 3.36149 s Remaining CPU time: 1796.64 s 3.39/3.44 c core #68 3.39/3.44 c Core size: 9 Core Weight: 1 Total Weight: -242 3.39/3.44 c Elapsed CPU time: 3.42948 s Remaining CPU time: 1796.57 s 3.49/3.52 c core #69 3.49/3.52 c Core size: 9 Core Weight: 1 Total Weight: -241 3.49/3.52 c Elapsed CPU time: 3.50047 s Remaining CPU time: 1796.5 s 3.49/3.59 c core #70 3.49/3.59 c Core size: 10 Core Weight: 1 Total Weight: -240 3.49/3.59 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.59/3.65 c core #71 3.59/3.65 c Core size: 10 Core Weight: 1 Total Weight: -239 3.59/3.65 c Elapsed CPU time: 3.63645 s Remaining CPU time: 1796.36 s 3.68/3.73 c ============================[ Search Statistics ]============================== 3.68/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.73 c =============================================================================== 3.68/3.73 c | 0 | 2136 63685 178509 | 21228 0 nan | 0.000 % | 3.68/3.73 c =============================================================================== 3.68/3.73 c core #72 3.68/3.73 c Core size: 11 Core Weight: 1 Total Weight: -238 3.68/3.73 c Elapsed CPU time: 3.70744 s Remaining CPU time: 1796.29 s 3.68/3.80 c ============================[ Search Statistics ]============================== 3.68/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.80 c =============================================================================== 3.68/3.80 c | 0 | 2141 63689 178516 | 21229 0 nan | 0.000 % | 3.78/3.80 c =============================================================================== 3.78/3.80 c core #73 3.78/3.80 c Core size: 24 Core Weight: 1 Total Weight: -237 3.78/3.80 c Elapsed CPU time: 3.78242 s Remaining CPU time: 1796.22 s 3.78/3.87 c Learning 1 hard constraints 3.78/3.87 c core #74 3.78/3.87 c Core size: 24 Core Weight: 1 Total Weight: -236 3.78/3.87 c Elapsed CPU time: 3.85441 s Remaining CPU time: 1796.15 s 3.88/3.94 c core #75 3.88/3.94 c Core size: 17 Core Weight: 1 Total Weight: -235 3.88/3.94 c Elapsed CPU time: 3.9264 s Remaining CPU time: 1796.07 s 3.98/4.01 c ============================[ Search Statistics ]============================== 3.98/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.01 c =============================================================================== 3.98/4.01 c | 0 | 2198 63699 182069 | 21233 0 nan | 0.000 % | 3.98/4.01 c =============================================================================== 3.98/4.02 c core #76 3.98/4.02 c Core size: 26 Core Weight: 1 Total Weight: -234 3.98/4.02 c Elapsed CPU time: 3.99839 s Remaining CPU time: 1796 s 3.98/4.08 c ============================[ Search Statistics ]============================== 3.98/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.08 c =============================================================================== 3.98/4.08 c | 0 | 2253 63704 185338 | 21234 0 nan | 0.000 % | 3.98/4.08 c =============================================================================== 3.98/4.08 c core #77 3.98/4.08 c Core size: 23 Core Weight: 1 Total Weight: -233 3.98/4.08 c Elapsed CPU time: 4.06538 s Remaining CPU time: 1795.93 s 4.08/4.15 c Learning 2 hard constraints 4.08/4.15 c ============================[ Search Statistics ]============================== 4.08/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.15 c =============================================================================== 4.08/4.15 c | 0 | 2268 63710 185943 | 21236 0 nan | 0.000 % | 4.08/4.16 c =============================================================================== 4.08/4.16 c core #78 4.08/4.16 c Core size: 25 Core Weight: 1 Total Weight: -232 4.08/4.16 c Elapsed CPU time: 4.13937 s Remaining CPU time: 1795.86 s 4.18/4.22 c Learning 1 hard constraints 4.18/4.22 c ============================[ Search Statistics ]============================== 4.18/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.22 c =============================================================================== 4.18/4.22 c | 0 | 2276 63714 185965 | 21238 0 nan | 0.000 % | 4.18/4.23 c =============================================================================== 4.18/4.23 c core #79 4.18/4.23 c Core size: 45 Core Weight: 1 Total Weight: -231 4.18/4.23 c Elapsed CPU time: 4.21236 s Remaining CPU time: 1795.79 s 4.29/4.30 c ============================[ Search Statistics ]============================== 4.29/4.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.30 c =============================================================================== 4.29/4.30 c | 0 | 2290 63719 185998 | 21239 0 nan | 0.000 % | 4.29/4.30 c =============================================================================== 4.29/4.30 c core #80 4.29/4.30 c Core size: 19 Core Weight: 1 Total Weight: -230 4.29/4.30 c Elapsed CPU time: 4.28535 s Remaining CPU time: 1795.71 s 4.29/4.37 c Learning 1 hard constraints 4.29/4.37 c ============================[ Search Statistics ]============================== 4.29/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.37 c =============================================================================== 4.29/4.37 c | 0 | 2296 63723 186015 | 21241 0 nan | 0.000 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c core #81 4.29/4.38 c Core size: 22 Core Weight: 1 Total Weight: -229 4.29/4.38 c Elapsed CPU time: 4.35834 s Remaining CPU time: 1795.64 s 4.39/4.44 c ============================[ Search Statistics ]============================== 4.39/4.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.44 c =============================================================================== 4.39/4.44 c | 0 | 2315 63724 186868 | 21241 0 nan | 0.000 % | 4.39/4.45 c =============================================================================== 4.39/4.45 c core #82 4.39/4.45 c Core size: 55 Core Weight: 1 Total Weight: -228 4.39/4.45 c Elapsed CPU time: 4.43133 s Remaining CPU time: 1795.57 s 4.48/4.52 c Learning 2 hard constraints 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 | 2345 63729 187448 | 21243 0 nan | 0.000 % | 4.48/4.52 c =============================================================================== 4.48/4.52 c core #83 4.48/4.52 c Core size: 22 Core Weight: 1 Total Weight: -227 4.48/4.52 c Elapsed CPU time: 4.50432 s Remaining CPU time: 1795.5 s 4.48/4.59 c Learning 2 hard constraints 4.48/4.59 c ============================[ Search Statistics ]============================== 4.48/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.59 c =============================================================================== 4.48/4.59 c | 0 | 2378 63735 189548 | 21245 0 nan | 0.000 % | 4.48/4.59 c =============================================================================== 4.48/4.60 c core #84 4.48/4.60 c Core size: 32 Core Weight: 1 Total Weight: -226 4.48/4.60 c Elapsed CPU time: 4.5773 s Remaining CPU time: 1795.42 s 4.58/4.66 c Learning 1 hard constraints 4.58/4.66 c ============================[ Search Statistics ]============================== 4.58/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.66 c =============================================================================== 4.58/4.66 c | 0 | 2389 63740 189575 | 21246 0 nan | 0.000 % | 4.58/4.67 c =============================================================================== 4.58/4.67 c core #85 4.58/4.67 c Core size: 29 Core Weight: 1 Total Weight: -225 4.58/4.67 c Elapsed CPU time: 4.65129 s Remaining CPU time: 1795.35 s 4.68/4.74 c ============================[ Search Statistics ]============================== 4.68/4.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.74 c =============================================================================== 4.68/4.74 c | 0 | 2398 63741 189593 | 21247 0 nan | 0.000 % | 4.68/4.75 c =============================================================================== 4.68/4.75 c core #86 4.68/4.75 c Core size: 60 Core Weight: 1 Total Weight: -224 4.68/4.75 c Elapsed CPU time: 4.72728 s Remaining CPU time: 1795.27 s 4.78/4.81 c Learning 1 hard constraints 4.78/4.81 c ============================[ Search Statistics ]============================== 4.78/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.78/4.82 c =============================================================================== 4.78/4.82 c | 0 | 2425 63744 189997 | 21248 0 nan | 0.000 % | 4.78/4.82 c =============================================================================== 4.78/4.82 c core #87 4.78/4.82 c Core size: 86 Core Weight: 1 Total Weight: -223 4.78/4.82 c Elapsed CPU time: 4.80527 s Remaining CPU time: 1795.19 s 4.88/4.90 c Learning 2 hard constraints 4.88/4.90 c ============================[ Search Statistics ]============================== 4.88/4.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.90 c =============================================================================== 4.88/4.90 c | 0 | 2457 63747 190076 | 21249 0 nan | 0.000 % | 4.88/4.91 c =============================================================================== 4.88/4.91 c core #88 4.88/4.91 c Core size: 54 Core Weight: 1 Total Weight: -222 4.88/4.91 c Elapsed CPU time: 4.88726 s Remaining CPU time: 1795.11 s 4.88/4.97 c Learning 1 hard constraints 4.88/4.97 c ============================[ Search Statistics ]============================== 4.88/4.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.88/4.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.88/4.97 c =============================================================================== 4.88/4.97 c | 0 | 2473 63751 190116 | 21250 0 nan | 0.000 % | 4.88/4.98 c =============================================================================== 4.88/4.98 c core #89 4.88/4.98 c Core size: 58 Core Weight: 1 Total Weight: -221 4.88/4.98 c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s 4.98/5.05 c Learning 2 hard constraints 4.98/5.05 c ============================[ Search Statistics ]============================== 4.98/5.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.98/5.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.98/5.05 c =============================================================================== 4.98/5.05 c | 0 | 2492 63754 190162 | 21251 0 nan | 0.000 % | 4.98/5.06 c =============================================================================== 4.98/5.06 c core #90 4.98/5.06 c Core size: 12 Core Weight: 1 Total Weight: -220 4.98/5.06 c Elapsed CPU time: 5.03723 s Remaining CPU time: 1794.96 s 5.08/5.13 c Learning 2 hard constraints 5.08/5.13 c ============================[ Search Statistics ]============================== 5.08/5.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.08/5.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.08/5.13 c =============================================================================== 5.08/5.13 c | 0 | 2495 63757 190174 | 21252 0 nan | 0.000 % | 5.08/5.13 c =============================================================================== 5.08/5.13 c core #91 5.08/5.13 c Core size: 10 Core Weight: 1 Total Weight: -219 5.08/5.13 c Elapsed CPU time: 5.11222 s Remaining CPU time: 1794.89 s 5.18/5.20 c Learning 2 hard constraints 5.18/5.20 c ============================[ Search Statistics ]============================== 5.18/5.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.20 c =============================================================================== 5.18/5.20 c | 0 | 2498 63760 190185 | 21253 0 nan | 0.000 % | 5.18/5.20 c =============================================================================== 5.18/5.20 c core #92 5.18/5.20 c Core size: 56 Core Weight: 1 Total Weight: -218 5.18/5.20 c Elapsed CPU time: 5.18621 s Remaining CPU time: 1794.81 s 5.18/5.28 c ============================[ Search Statistics ]============================== 5.18/5.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.28 c =============================================================================== 5.18/5.28 c | 0 | 2512 63765 190221 | 21255 0 nan | 0.000 % | 5.18/5.29 c =============================================================================== 5.18/5.29 c core #93 5.18/5.29 c Core size: 38 Core Weight: 1 Total Weight: -217 5.18/5.29 c Elapsed CPU time: 5.2692 s Remaining CPU time: 1794.73 s 5.28/5.36 c Learning 4 hard constraints 5.28/5.36 c ============================[ Search Statistics ]============================== 5.28/5.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.28/5.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.28/5.36 c =============================================================================== 5.28/5.36 c | 0 | 2525 63770 190261 | 21256 0 nan | 0.000 % | 5.28/5.37 c =============================================================================== 5.28/5.37 c core #94 5.28/5.37 c Core size: 125 Core Weight: 1 Total Weight: -216 5.28/5.37 c Elapsed CPU time: 5.35219 s Remaining CPU time: 1794.65 s 5.39/5.44 c Learning 2 hard constraints 5.39/5.44 c ============================[ Search Statistics ]============================== 5.39/5.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.44 c =============================================================================== 5.39/5.44 c | 0 | 2563 63776 190349 | 21258 0 nan | 0.000 % | 5.39/5.45 c =============================================================================== 5.39/5.45 c core #95 5.39/5.45 c Core size: 70 Core Weight: 1 Total Weight: -215 5.39/5.45 c Elapsed CPU time: 5.43417 s Remaining CPU time: 1794.57 s 5.49/5.53 c Learning 4 hard constraints 5.49/5.53 c ============================[ Search Statistics ]============================== 5.49/5.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.49/5.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.49/5.53 c =============================================================================== 5.49/5.53 c | 0 | 2583 63781 190402 | 21260 0 nan | 0.000 % | 5.49/5.54 c =============================================================================== 5.49/5.54 c core #96 5.49/5.54 c Core size: 139 Core Weight: 1 Total Weight: -214 5.49/5.54 c Elapsed CPU time: 5.52016 s Remaining CPU time: 1794.48 s 5.58/5.61 c Learning 3 hard constraints 5.58/5.61 c ============================[ Search Statistics ]============================== 5.58/5.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.58/5.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.58/5.61 c =============================================================================== 5.58/5.61 c | 0 | 2623 63785 190491 | 21261 0 nan | 0.000 % | 5.58/5.62 c =============================================================================== 5.58/5.62 c core #97 5.58/5.62 c Core size: 139 Core Weight: 1 Total Weight: -213 5.58/5.62 c Elapsed CPU time: 5.60515 s Remaining CPU time: 1794.39 s 5.68/5.70 c Learning 4 hard constraints 5.68/5.70 c ============================[ Search Statistics ]============================== 5.68/5.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.70 c =============================================================================== 5.68/5.70 c | 0 | 2652 63790 190570 | 21263 0 nan | 0.000 % | 5.68/5.71 c =============================================================================== 5.68/5.71 c core #98 5.68/5.71 c Core size: 84 Core Weight: 1 Total Weight: -212 5.68/5.71 c Elapsed CPU time: 5.68713 s Remaining CPU time: 1794.31 s 5.68/5.78 c Learning 1 hard constraints 5.68/5.78 c ============================[ Search Statistics ]============================== 5.68/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.78 c =============================================================================== 5.68/5.78 c | 0 | 2675 63795 190617 | 21265 0 nan | 0.000 % | 5.68/5.79 c =============================================================================== 5.68/5.79 c core #99 5.68/5.79 c Core size: 13 Core Weight: 1 Total Weight: -211 5.68/5.79 c Elapsed CPU time: 5.77412 s Remaining CPU time: 1794.23 s 5.78/5.87 c Learning 4 hard constraints 5.78/5.87 c ============================[ Search Statistics ]============================== 5.78/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.78/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.78/5.87 c =============================================================================== 5.78/5.87 c | 0 | 2686 63800 190651 | 21266 0 nan | 0.000 % | 5.78/5.87 c =============================================================================== 5.78/5.87 c core #100 5.78/5.87 c Core size: 30 Core Weight: 1 Total Weight: -210 5.78/5.87 c Elapsed CPU time: 5.85011 s Remaining CPU time: 1794.15 s 5.88/5.94 c ============================[ Search Statistics ]============================== 5.88/5.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.94 c =============================================================================== 5.88/5.94 c | 0 | 2696 63801 190671 | 21267 0 nan | 0.000 % | 5.88/5.95 c =============================================================================== 5.88/5.95 c core #101 5.88/5.95 c Core size: 51 Core Weight: 1 Total Weight: -209 5.88/5.95 c Elapsed CPU time: 5.9261 s Remaining CPU time: 1794.07 s 5.99/6.02 c Learning 1 hard constraints 5.99/6.02 c ============================[ Search Statistics ]============================== 5.99/6.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.02 c =============================================================================== 5.99/6.02 c | 0 | 2715 63803 190712 | 21267 0 nan | 0.000 % | 5.99/6.04 c =============================================================================== 5.99/6.04 c core #102 5.99/6.04 c Core size: 181 Core Weight: 1 Total Weight: -208 5.99/6.04 c Elapsed CPU time: 6.01509 s Remaining CPU time: 1793.98 s 6.09/6.11 c Learning 14 hard constraints 6.09/6.11 c ============================[ Search Statistics ]============================== 6.09/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.11 c =============================================================================== 6.09/6.11 c | 0 | 2767 63818 190868 | 21272 0 nan | 0.000 % | 6.09/6.12 c | 100 | 2767 63818 190868 | 23399 100 11 | 0.144 % | 6.09/6.13 c | 250 | 2767 63818 190868 | 25739 250 12 | 0.144 % | 6.09/6.16 c =============================================================================== 6.09/6.17 c core #103 6.09/6.17 c Core size: 557 Core Weight: 1 Total Weight: -207 6.09/6.17 c Elapsed CPU time: 6.14307 s Remaining CPU time: 1793.86 s 6.19/6.24 c Learning 30 hard constraints 6.19/6.24 c ============================[ Search Statistics ]============================== 6.19/6.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.24 c =============================================================================== 6.19/6.24 c | 0 | 2894 63849 191229 | 21283 0 nan | 0.000 % | 6.19/6.26 c | 100 | 2894 63849 191229 | 23411 100 8 | 0.138 % | 6.19/6.27 c | 251 | 2892 63849 191229 | 25752 251 9 | 0.207 % | 6.29/6.30 c | 476 | 2891 63849 191229 | 28327 476 13 | 0.277 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c core #104 6.29/6.31 c Core size: 551 Core Weight: 1 Total Weight: -206 6.29/6.31 c Elapsed CPU time: 6.28804 s Remaining CPU time: 1793.71 s 6.29/6.39 c Learning 30 hard constraints 6.29/6.39 c ============================[ Search Statistics ]============================== 6.29/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.39 c =============================================================================== 6.29/6.39 c | 0 | 3049 63880 191638 | 21293 0 nan | 0.000 % | 6.39/6.41 c | 102 | 3049 63880 191638 | 23422 102 19 | 0.131 % | 6.39/6.42 c | 253 | 3048 63880 191638 | 25764 253 14 | 0.164 % | 6.39/6.44 c | 478 | 3045 63880 191638 | 28341 478 12 | 0.655 % | 6.39/6.47 c =============================================================================== 6.39/6.47 c core #105 6.39/6.47 c Core size: 488 Core Weight: 1 Total Weight: -205 6.39/6.47 c Elapsed CPU time: 6.44702 s Remaining CPU time: 1793.55 s 6.49/6.54 c Learning 27 hard constraints 6.49/6.54 c ============================[ Search Statistics ]============================== 6.49/6.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.54 c =============================================================================== 6.49/6.54 c | 0 | 3197 63908 192035 | 21302 0 nan | 0.000 % | 6.49/6.57 c | 100 | 3197 63908 192035 | 23432 100 30 | 0.125 % | 6.49/6.59 c | 253 | 3197 63908 192035 | 25776 253 28 | 0.125 % | 6.59/6.61 c | 479 | 3197 63908 192035 | 28353 479 27 | 0.125 % | 6.59/6.63 c | 820 | 3197 63908 192035 | 31189 820 26 | 0.125 % | 6.59/6.68 c | 1329 | 3197 63908 192035 | 34308 1329 24 | 0.125 % | 6.69/6.75 c | 2088 | 3197 63908 192035 | 37738 2088 21 | 0.125 % | 6.79/6.88 c | 3228 | 3196 63908 192035 | 41512 3227 20 | 0.156 % | 6.99/7.10 c | 4936 | 3178 63908 192035 | 45664 4935 21 | 1.000 % | 7.08/7.14 c =============================================================================== 7.08/7.18 c core #106 7.08/7.18 c Core size: 607 Core Weight: 1 Total Weight: -204 7.08/7.18 c Elapsed CPU time: 7.13492 s Remaining CPU time: 1792.87 s 7.19/7.25 c Learning 30 hard constraints 7.19/7.25 c ============================[ Search Statistics ]============================== 7.19/7.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.25 c =============================================================================== 7.19/7.25 c | 0 | 3353 63939 192458 | 21313 0 nan | 0.000 % | 7.19/7.27 c | 100 | 3353 63939 192458 | 23444 100 33 | 0.119 % | 7.19/7.28 c | 251 | 3353 63939 192458 | 25788 251 32 | 0.119 % | 7.29/7.30 c | 478 | 3353 63939 192458 | 28367 478 35 | 0.119 % | 7.29/7.33 c | 817 | 3353 63939 192458 | 31204 817 36 | 0.119 % | 7.29/7.39 c | 1324 | 3353 63939 192458 | 34324 1324 38 | 0.119 % | 7.39/7.48 c | 2090 | 3353 63939 192458 | 37757 2090 36 | 0.119 % | 7.59/7.67 c | 3230 | 3353 63939 192458 | 41533 3230 37 | 0.119 % | 7.88/7.95 c | 4939 | 3353 63939 192458 | 45686 4939 36 | 0.119 % | 8.19/8.27 c | 7501 | 3353 63939 192458 | 50254 7501 38 | 0.119 % | 8.89/8.92 c | 11346 | 3353 63939 192458 | 55280 11346 43 | 0.119 % | 9.99/10.04 c | 17112 | 3352 63939 192458 | 60808 17111 47 | 0.149 % | 12.18/12.28 c | 25761 | 3352 63939 192458 | 66889 25760 49 | 0.149 % | 16.49/16.58 c | 38735 | 3348 63939 192458 | 73578 25852 49 | 0.268 % | 26.68/26.71 c | 58199 | 3348 63939 192458 | 80936 45316 55 | 0.268 % | 35.16/35.22 c =============================================================================== 36.07/36.17 c core #107 36.07/36.17 c Core size: 1398 Core Weight: 1 Total Weight: -203 36.07/36.17 c Elapsed CPU time: 35.9075 s Remaining CPU time: 1764.09 s 36.26/36.33 c Learning 131 hard constraints 36.26/36.33 c ============================[ Search Statistics ]============================== 36.26/36.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 36.26/36.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 36.26/36.33 c =============================================================================== 36.26/36.33 c | 0 | 3578 64071 193391 | 21357 0 nan | 0.000 % | 36.26/36.35 c | 100 | 3578 64071 193391 | 23492 100 35 | 0.112 % | 36.26/36.37 c | 250 | 3578 64071 193391 | 25841 250 29 | 0.112 % | 36.26/36.39 c | 476 | 3578 64071 193391 | 28426 476 34 | 0.112 % | 36.35/36.44 c | 814 | 3578 64071 193391 | 31268 814 49 | 0.112 % | 36.46/36.51 c | 1321 | 3578 64071 193391 | 34395 1321 51 | 0.112 % | 36.56/36.63 c | 2081 | 3578 64071 193391 | 37835 2081 53 | 0.112 % | 36.76/36.83 c | 3221 | 3578 64071 193391 | 41618 3221 53 | 0.112 % | 37.06/37.12 c | 4929 | 3577 64071 193391 | 45780 4928 50 | 0.140 % | 37.45/37.51 c | 7491 | 3577 64071 193391 | 50358 7490 47 | 0.140 % | 38.26/38.30 c | 11336 | 3577 64071 193391 | 55394 11335 51 | 0.140 % | 39.96/40.02 c | 17104 | 3576 64071 193391 | 60934 17102 50 | 0.168 % | 43.06/43.12 c | 25753 | 3576 64071 193391 | 67027 25751 48 | 0.168 % | 50.26/50.32 c | 38731 | 3576 64071 193391 | 73730 38729 55 | 0.168 % | 64.25/64.33 c | 58192 | 3576 64071 193391 | 81103 58190 58 | 0.168 % | 100.34/100.42 c | 87398 | 3576 64071 193391 | 89213 20312 81 | 0.168 % | 174.41/174.52 c | 131189 | 3575 64071 193391 | 98134 64102 86 | 0.195 % | 275.58/275.77 c | 196874 | 3572 64071 193391 | 107948 46519 60 | 0.279 % | 315.56/315.73 c =============================================================================== 320.86/321.03 c core #108 320.86/321.03 c Core size: 1887 Core Weight: 1 Total Weight: -202 320.86/321.03 c Elapsed CPU time: 319.885 s Remaining CPU time: 1480.11 s 321.16/321.34 c Learning 121 hard constraints 321.16/321.34 c ============================[ Search Statistics ]============================== 321.16/321.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.16/321.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.16/321.34 c =============================================================================== 321.16/321.34 c | 0 | 3775 64193 194245 | 21397 0 nan | 0.000 % | 321.26/321.40 c | 101 | 3775 64193 194245 | 23537 101 102 | 0.106 % | 321.26/321.43 c | 251 | 3775 64193 194245 | 25891 251 69 | 0.106 % | 321.26/321.44 c | 476 | 3775 64193 194245 | 28480 476 46 | 0.106 % | 321.26/321.47 c | 813 | 3775 64193 194245 | 31328 813 37 | 0.106 % | 321.36/321.51 c | 1319 | 3775 64193 194245 | 34461 1319 33 | 0.106 % | 321.36/321.59 c | 2078 | 3775 64193 194245 | 37907 2078 34 | 0.106 % | 321.57/321.70 c | 3217 | 3775 64193 194245 | 41697 3217 34 | 0.106 % | 321.76/321.97 c | 4925 | 3775 64193 194245 | 45867 4925 36 | 0.106 % | 322.26/322.49 c | 7490 | 3775 64193 194245 | 50454 7490 41 | 0.106 % | 323.37/323.56 c | 11337 | 3775 64193 194245 | 55500 11337 43 | 0.106 % | 325.16/325.38 c | 17107 | 3775 64193 194245 | 61050 17107 51 | 0.106 % | 328.06/328.27 c | 25756 | 3775 64193 194245 | 67155 25756 52 | 0.106 % | 334.96/335.18 c | 38732 | 3775 64193 194245 | 73870 38732 49 | 0.106 % | 354.15/354.31 c | 58196 | 3771 64193 194245 | 81257 27552 45 | 0.212 % | 360.36/360.50 c =============================================================================== 361.85/362.03 c core #109 361.85/362.03 c Core size: 972 Core Weight: 1 Total Weight: -201 361.85/362.03 c Elapsed CPU time: 360.724 s Remaining CPU time: 1439.28 s 362.05/362.21 c Learning 109 hard constraints 362.05/362.21 c ============================[ Search Statistics ]============================== 362.05/362.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 362.05/362.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 362.05/362.21 c =============================================================================== 362.05/362.21 c | 0 | 3909 64303 194933 | 21434 0 nan | 0.000 % | 362.05/362.26 c | 101 | 3909 64303 194933 | 23577 101 57 | 0.102 % | 362.05/362.27 c | 252 | 3909 64303 194933 | 25935 252 46 | 0.102 % | 362.15/362.30 c | 479 | 3909 64303 194933 | 28529 479 49 | 0.102 % | 362.15/362.36 c | 819 | 3909 64303 194933 | 31382 819 50 | 0.102 % | 362.25/362.44 c | 1325 | 3909 64303 194933 | 34520 1325 48 | 0.102 % | 362.35/362.57 c | 2084 | 3909 64303 194933 | 37972 2084 49 | 0.102 % | 362.55/362.75 c | 3227 | 3909 64303 194933 | 41769 3227 58 | 0.102 % | 362.85/363.02 c | 4935 | 3909 64303 194933 | 45946 4935 58 | 0.102 % | 363.35/363.52 c | 7499 | 3909 64303 194933 | 50541 7499 53 | 0.102 % | 364.05/364.26 c | 11343 | 3909 64303 194933 | 55595 11343 56 | 0.102 % | 366.35/366.51 c | 17109 | 3908 64303 194933 | 61154 17108 62 | 0.128 % | 372.05/372.25 c | 25761 | 3908 64303 194933 | 67270 25760 67 | 0.128 % | 385.05/385.23 c | 38739 | 3908 64303 194933 | 73997 38738 73 | 0.128 % | 416.64/416.86 c | 58202 | 3908 64303 194933 | 81396 58201 77 | 0.128 % | 457.42/457.68 c | 87394 | 3908 64303 194933 | 89536 21029 74 | 0.128 % | 497.80/498.06 c | 131183 | 3908 64303 194933 | 98490 64818 79 | 0.128 % | 585.06/585.30 c | 196869 | 3908 64303 194933 | 108339 47075 88 | 0.128 % | 754.59/754.92 c | 295397 | 3908 64303 194933 | 119173 53976 84 | 0.128 % | 1041.39/1041.84 c | 443188 | 3908 64303 194933 | 131090 97510 105 | 0.128 % | 1620.67/1621.31 c | 664873 | 3908 64303 194933 | 144199 90064 110 | 0.128 % |
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-1874923-1245220048/watcher-1874923-1245220048 -o /tmp/evaluation-result-1874923-1245220048/solver-1874923-1245220048 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874923-1245220048.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.95 0.98 3/64 5918 /proc/meminfo: memFree=1852464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=4740 CPUtime=0 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 248 0 0 0 0 0 0 0 18 0 1 0 189605885 4853760 232 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 1185 233 129 292 0 373 0 [startup+0.036561 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5918 /proc/meminfo: memFree=1852464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=5180 CPUtime=0.03 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 407 0 0 0 3 0 0 0 18 0 1 0 189605885 5304320 391 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 1295 391 188 292 0 483 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5180 [startup+0.101565 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5918 /proc/meminfo: memFree=1852464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=5884 CPUtime=0.09 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 701 0 0 0 9 0 0 0 18 0 1 0 189605885 6025216 685 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 1471 686 317 292 0 659 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5884 [startup+0.301586 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5918 /proc/meminfo: memFree=1852464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=8660 CPUtime=0.29 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 2302 0 0 0 29 0 0 0 19 0 1 0 189605885 8867840 1675 1992294400 134512640 135709839 4294956240 18446744073709551615 134570512 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 2165 1675 133 292 0 1870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8660 [startup+0.701627 s] /proc/loadavg: 0.91 0.95 0.98 3/64 5918 /proc/meminfo: memFree=1852464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=9548 CPUtime=0.69 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 2688 0 0 0 69 0 0 0 23 0 1 0 189605885 9777152 1906 1992294400 134512640 135709839 4294956240 18446744073709551615 134530779 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 2387 1906 133 292 0 2092 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50271 s] /proc/loadavg: 0.91 0.95 0.98 2/65 5919 /proc/meminfo: memFree=1845544/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=9280 CPUtime=1.49 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 2747 0 0 0 149 0 0 0 21 0 1 0 189605885 9502720 1864 1992294400 134512640 135709839 4294956240 18446744073709551615 134573734 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 2320 1864 133 292 0 2025 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9280 [startup+3.10187 s] /proc/loadavg: 0.91 0.95 0.98 2/65 5919 /proc/meminfo: memFree=1844904/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=10460 CPUtime=3.09 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 3071 0 0 0 308 1 0 0 25 0 1 0 189605885 10711040 2094 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 2615 2094 133 292 0 2320 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10460 [startup+6.3012 s] /proc/loadavg: 0.92 0.95 0.98 2/65 5919 /proc/meminfo: memFree=1843624/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=11452 CPUtime=6.29 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 3623 0 0 0 627 2 0 0 19 0 1 0 189605885 11726848 2338 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 2863 2338 136 292 0 2568 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11452 [startup+12.7019 s] /proc/loadavg: 0.93 0.95 0.98 2/65 5919 /proc/meminfo: memFree=1835816/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=19904 CPUtime=12.69 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 5780 0 0 0 1259 10 0 0 25 0 1 0 189605885 20381696 4495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 4976 4495 136 292 0 4681 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19904 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.98 2/65 5919 /proc/meminfo: memFree=1820520/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=34456 CPUtime=25.48 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 9405 0 0 0 2530 18 0 0 25 0 1 0 189605885 35282944 8120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 8614 8120 136 292 0 8319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34456 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.98 2/65 5919 /proc/meminfo: memFree=1807464/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=47312 CPUtime=51.05 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 12591 0 0 0 5072 33 0 0 25 0 1 0 189605885 48447488 11306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 11828 11306 136 292 0 11533 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 47312 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/65 5919 /proc/meminfo: memFree=1787880/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=66988 CPUtime=102.24 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 17497 0 0 0 10174 50 0 0 25 0 1 0 189605885 68595712 16212 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 16747 16212 136 292 0 16452 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 66988 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1764776/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=90248 CPUtime=162.22 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 23273 0 0 0 16157 65 0 0 25 0 1 0 189605885 92413952 21988 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 22562 21988 136 292 0 22267 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 90248 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1749032/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=105940 CPUtime=222.2 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 27155 0 0 0 22143 77 0 0 25 0 1 0 189605885 108482560 25870 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 26485 25870 136 292 0 26190 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 105940 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1726312/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=129200 CPUtime=282.18 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 32902 0 0 0 28124 94 0 0 25 0 1 0 189605885 132300800 31617 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 32300 31617 136 292 0 32005 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 129200 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1707560/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=147372 CPUtime=342.15 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 37528 0 0 0 34104 111 0 0 25 0 1 0 189605885 150908928 36146 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 36843 36146 136 292 0 36548 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 147372 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1707496/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=147372 CPUtime=402.13 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 37552 0 0 0 40087 126 0 0 25 0 1 0 189605885 150908928 36170 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 36843 36170 136 292 0 36548 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 147372 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1706920/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=147372 CPUtime=462.12 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 37700 0 0 0 46075 137 0 0 25 0 1 0 189605885 150908928 36318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 36843 36318 136 292 0 36548 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 147372 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1682088/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=172404 CPUtime=522.09 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 43962 0 0 0 52053 156 0 0 25 0 1 0 189605885 176541696 42580 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 43101 42580 136 292 0 42806 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 172404 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1651944/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=202716 CPUtime=582.07 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 51466 0 0 0 58034 173 0 0 25 0 1 0 189605885 207581184 50084 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 50679 50084 136 292 0 50384 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 202716 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 5919 /proc/meminfo: memFree=1631272/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=223168 CPUtime=642.04 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 56559 0 0 0 64018 186 0 0 25 0 1 0 189605885 228524032 55177 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 55792 55177 136 292 0 55497 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 223168 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.06 1.02 1.00 2/65 5919 /proc/meminfo: memFree=1552424/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=302592 CPUtime=881.94 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 76236 0 0 0 87955 239 0 0 25 0 1 0 189605885 309854208 74854 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 75648 74854 136 292 0 75353 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 302592 [startup+942.302 s] /proc/loadavg: 1.13 1.05 1.01 2/65 5919 /proc/meminfo: memFree=1524584/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=330540 CPUtime=941.92 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 83235 0 0 0 93937 255 0 0 25 0 1 0 189605885 338472960 81853 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 82635 81853 136 292 0 82340 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 330540 [startup+1002.3 s] /proc/loadavg: 1.16 1.07 1.01 2/65 5919 /proc/meminfo: memFree=1505448/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=349548 CPUtime=1001.9 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 87945 0 0 0 99922 268 0 0 25 0 1 0 189605885 357937152 86563 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 87387 86563 136 292 0 87092 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 349548 [startup+1062.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 5919 /proc/meminfo: memFree=1490984/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=364196 CPUtime=1061.88 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 91564 0 0 0 105909 279 0 0 25 0 1 0 189605885 372936704 90182 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 91049 90182 136 292 0 90754 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 364196 [startup+1122.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 5919 /proc/meminfo: memFree=1481256/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=374004 CPUtime=1121.86 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 93949 0 0 0 111900 286 0 0 25 0 1 0 189605885 382980096 92567 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 93501 92567 136 292 0 93206 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 374004 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 5919 /proc/meminfo: memFree=1474472/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=380932 CPUtime=1181.84 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 95671 0 0 0 117891 293 0 0 25 0 1 0 189605885 390074368 94289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 95233 94289 136 292 0 94938 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 380932 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5919 /proc/meminfo: memFree=1448424/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=406808 CPUtime=1241.82 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 102128 0 0 0 123873 309 0 0 25 0 1 0 189605885 416571392 100746 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 101702 100746 136 292 0 101407 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 406808 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5919 /proc/meminfo: memFree=1432872/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=422264 CPUtime=1301.79 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 105960 0 0 0 129861 318 0 0 25 0 1 0 189605885 432398336 104578 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 105566 104578 136 292 0 105271 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 422264 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5919 /proc/meminfo: memFree=1420648/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=434652 CPUtime=1361.77 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 109043 0 0 0 135850 327 0 0 25 0 1 0 189605885 445083648 107661 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 108663 107661 136 292 0 108368 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 434652 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5919 /proc/meminfo: memFree=1409960/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=445436 CPUtime=1421.75 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 111680 0 0 0 141841 334 0 0 25 0 1 0 189605885 456126464 110298 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 111359 110298 136 292 0 111064 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 445436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1397544/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=457796 CPUtime=1481.73 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 114755 0 0 0 147829 344 0 0 25 0 1 0 189605885 468783104 113373 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 114449 113373 136 292 0 114154 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 457796 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1372008/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=483400 CPUtime=1541.71 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 121123 0 0 0 153812 359 0 0 25 0 1 0 189605885 495001600 119741 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 120850 119741 136 292 0 120555 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 483400 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1351080/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=504520 CPUtime=1601.68 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 126393 0 0 0 159799 369 0 0 25 0 1 0 189605885 516628480 125011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 126130 125011 136 292 0 125835 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 504520 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1337832/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=517748 CPUtime=1661.65 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 129671 0 0 0 165787 378 0 0 25 0 1 0 189605885 530173952 128289 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 129437 128289 136 292 0 129142 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 517748 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1329704/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=525804 CPUtime=1721.63 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 131687 0 0 0 171780 383 0 0 25 0 1 0 189605885 538423296 130305 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 131451 130305 136 292 0 131156 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 525804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1322600/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=532804 CPUtime=1781.61 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 133434 0 0 0 177771 390 0 0 25 0 1 0 189605885 545591296 132052 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 133201 132052 136 292 0 132906 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 532804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1320424/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=534784 CPUtime=1800.02 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 133953 0 0 0 179609 393 0 0 25 0 1 0 189605885 547618816 132571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 133696 132571 136 292 0 133401 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 534784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1320424/2055920 swapFree=4181984/4192956 [pid=5918] ppid=5916 vsize=534784 CPUtime=1800.02 /proc/5918/stat : 5918 (wbo) R 5916 5918 5841 0 -1 4194304 133953 0 0 0 179609 393 0 0 25 0 1 0 189605885 547618816 132571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5918/statm: 133696 132571 136 292 0 133401 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 534784 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.11 CPU user time (s): 1796.09 CPU system time (s): 4.01439 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 534784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.09 system time used= 4.01439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133953 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= 5 involuntary context switches= 6403 runsolver used 2.13767 second user time and 4.44132 second system time The end
Begin job on node2 at 2009-06-17 08:27:28 IDJOB=1874923 IDBENCH=71834 IDSOLVER=698 FILE ID=node2/1874923-1245220048 PBS_JOBID= 9368435 Free space on /tmp= 66448 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-5000opt.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-1874923-1245220048/watcher-1874923-1245220048 -o /tmp/evaluation-result-1874923-1245220048/solver-1874923-1245220048 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874923-1245220048.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 657f6825a6ae32adb885bdc3b57c624e RANDOM SEED=828594840 node2.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.214 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.214 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: 1852944 kB Buffers: 29020 kB Cached: 108348 kB SwapCached: 5024 kB Active: 59508 kB Inactive: 85936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852944 kB SwapTotal: 4192956 kB SwapFree: 4181984 kB Dirty: 4440 kB Writeback: 0 kB Mapped: 14308 kB Slab: 43488 kB Committed_AS: 211976 kB PageTables: 1468 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-1874923-1245220048.opb Free space on /tmp at the end= 66448 MiB End job on node2 at 2009-06-17 08:57:31