Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.2 | 1800.72 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb |
MD5SUM | 948226035ef0280d59f9150dd2b5c694 |
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 | -187 |
Best CPU time to get the best result obtained on this benchmark | 36.9124 |
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 | 63877 |
Number of constraints which are clauses | 63877 |
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 | 340 |
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 | 340 |
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-1874917-1245219369.opb. 0.00/0.00 c Instance file HOME/instance-1874917-1245219369.opb 0.00/0.00 c File size is 2132614 bytes. 0.19/0.28 c Highest Coefficient sum: 4 0.19/0.28 c ============================[ Problem Statistics ]============================= 0.19/0.28 c | | 0.19/0.28 c | Parsing time: 0.28 s | 0.19/0.28 c | Number Variables: 2025 | 0.19/0.28 c | Number Clauses: 64012 | 0.19/0.28 c | Number Cardinality: 0 | 0.19/0.28 c | Number PB Constraints: 0 | 0.19/0.28 c core #1 0.19/0.28 c Core size: 5 Core Weight: 2 Total Weight: -338 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.29/0.32 c core #2 0.29/0.32 c Core size: 5 Core Weight: 1 Total Weight: -337 0.29/0.32 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.35 c core #3 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: -336 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.39/0.40 c core #4 0.39/0.40 c Core size: 5 Core Weight: 1 Total Weight: -335 0.39/0.40 c Elapsed CPU time: 0.38994 s Remaining CPU time: 1799.61 s 0.39/0.44 c core #5 0.39/0.44 c Core size: 5 Core Weight: 1 Total Weight: -334 0.39/0.44 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.48 c core #6 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: -333 0.39/0.48 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.49/0.52 c core #7 0.49/0.52 c Core size: 6 Core Weight: 1 Total Weight: -332 0.49/0.52 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.56 c core #8 0.49/0.56 c Core size: 6 Core Weight: 2 Total Weight: -330 0.49/0.56 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.59/0.60 c core #9 0.59/0.60 c Core size: 7 Core Weight: 1 Total Weight: -329 0.59/0.60 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.64 c core #10 0.59/0.64 c Core size: 7 Core Weight: 1 Total Weight: -328 0.59/0.64 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.68 c core #11 0.59/0.68 c Core size: 5 Core Weight: 1 Total Weight: -327 0.59/0.68 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.69/0.72 c core #12 0.69/0.72 c Core size: 7 Core Weight: 1 Total Weight: -326 0.69/0.72 c Elapsed CPU time: 0.707892 s Remaining CPU time: 1799.29 s 0.69/0.76 c core #13 0.69/0.76 c Core size: 8 Core Weight: 1 Total Weight: -325 0.69/0.76 c Elapsed CPU time: 0.748886 s Remaining CPU time: 1799.25 s 0.79/0.80 c core #14 0.79/0.80 c Core size: 9 Core Weight: 2 Total Weight: -323 0.79/0.80 c Elapsed CPU time: 0.78888 s Remaining CPU time: 1799.21 s 0.79/0.84 c core #15 0.79/0.84 c Core size: 14 Core Weight: 1 Total Weight: -322 0.79/0.84 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.88 c core #16 0.79/0.88 c Core size: 16 Core Weight: 1 Total Weight: -321 0.79/0.88 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.89/0.92 c core #17 0.89/0.92 c Core size: 15 Core Weight: 1 Total Weight: -320 0.89/0.92 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.96 c core #18 0.89/0.96 c Core size: 18 Core Weight: 1 Total Weight: -319 0.89/0.96 c Elapsed CPU time: 0.950855 s Remaining CPU time: 1799.05 s 0.89/1.00 c core #19 0.89/1.00 c Core size: 14 Core Weight: 1 Total Weight: -318 0.89/1.00 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 1.00/1.04 c core #20 1.00/1.04 c Core size: 16 Core Weight: 1 Total Weight: -317 1.00/1.04 c Elapsed CPU time: 1.03284 s Remaining CPU time: 1798.97 s 1.00/1.08 c core #21 1.00/1.08 c Core size: 13 Core Weight: 2 Total Weight: -315 1.00/1.08 c Elapsed CPU time: 1.07284 s Remaining CPU time: 1798.93 s 1.10/1.12 c core #22 1.10/1.12 c Core size: 23 Core Weight: 1 Total Weight: -314 1.10/1.12 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 s 1.10/1.17 c core #23 1.10/1.17 c Core size: 23 Core Weight: 1 Total Weight: -313 1.10/1.17 c Elapsed CPU time: 1.15582 s Remaining CPU time: 1798.84 s 1.19/1.21 c core #24 1.19/1.21 c Core size: 23 Core Weight: 1 Total Weight: -312 1.19/1.21 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.25 c core #25 1.19/1.25 c Core size: 23 Core Weight: 1 Total Weight: -311 1.19/1.25 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.19/1.29 c core #26 1.19/1.29 c Core size: 23 Core Weight: 1 Total Weight: -310 1.19/1.29 c Elapsed CPU time: 1.2808 s Remaining CPU time: 1798.72 s 1.29/1.33 c core #27 1.29/1.33 c Core size: 23 Core Weight: 1 Total Weight: -309 1.29/1.33 c Elapsed CPU time: 1.3238 s Remaining CPU time: 1798.68 s 1.29/1.38 c core #28 1.29/1.38 c Core size: 28 Core Weight: 1 Total Weight: -308 1.29/1.38 c Elapsed CPU time: 1.36779 s Remaining CPU time: 1798.63 s 1.39/1.43 c core #29 1.39/1.43 c Core size: 11 Core Weight: 1 Total Weight: -307 1.39/1.43 c Elapsed CPU time: 1.41278 s Remaining CPU time: 1798.59 s 1.39/1.47 c core #30 1.39/1.47 c Core size: 9 Core Weight: 1 Total Weight: -306 1.39/1.47 c Elapsed CPU time: 1.45878 s Remaining CPU time: 1798.54 s 1.49/1.52 c core #31 1.49/1.52 c Core size: 10 Core Weight: 1 Total Weight: -305 1.49/1.52 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.49/1.57 c core #32 1.49/1.57 c Core size: 11 Core Weight: 2 Total Weight: -303 1.49/1.57 c Elapsed CPU time: 1.55376 s Remaining CPU time: 1798.45 s 1.59/1.62 c core #33 1.59/1.62 c Core size: 11 Core Weight: 1 Total Weight: -302 1.59/1.62 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.59/1.66 c core #34 1.59/1.66 c Core size: 11 Core Weight: 1 Total Weight: -301 1.59/1.66 c Elapsed CPU time: 1.64975 s Remaining CPU time: 1798.35 s 1.69/1.71 c core #35 1.69/1.71 c Core size: 11 Core Weight: 2 Total Weight: -299 1.69/1.71 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.76 c core #36 1.69/1.76 c Core size: 11 Core Weight: 1 Total Weight: -298 1.69/1.76 c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s 1.79/1.82 c core #37 1.79/1.82 c Core size: 19 Core Weight: 1 Total Weight: -297 1.79/1.82 c Elapsed CPU time: 1.80373 s Remaining CPU time: 1798.2 s 1.79/1.87 c core #38 1.79/1.87 c Core size: 20 Core Weight: 1 Total Weight: -296 1.79/1.87 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.89/1.92 c core #39 1.89/1.92 c Core size: 8 Core Weight: 3 Total Weight: -293 1.89/1.92 c Elapsed CPU time: 1.90771 s Remaining CPU time: 1798.09 s 1.89/1.98 c core #40 1.89/1.98 c Core size: 8 Core Weight: 1 Total Weight: -292 1.89/1.98 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.98/2.03 c core #41 1.98/2.03 c Core size: 12 Core Weight: 1 Total Weight: -291 1.98/2.03 c Elapsed CPU time: 2.01369 s Remaining CPU time: 1797.99 s 1.98/2.09 c core #42 1.98/2.09 c Core size: 10 Core Weight: 1 Total Weight: -290 1.98/2.09 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 2.09/2.14 c core #43 2.09/2.14 c Core size: 16 Core Weight: 1 Total Weight: -289 2.09/2.14 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.09/2.20 c core #44 2.09/2.20 c Core size: 16 Core Weight: 1 Total Weight: -288 2.09/2.20 c Elapsed CPU time: 2.18067 s Remaining CPU time: 1797.82 s 2.19/2.26 c core #45 2.19/2.26 c Core size: 16 Core Weight: 1 Total Weight: -287 2.19/2.26 c Elapsed CPU time: 2.23666 s Remaining CPU time: 1797.76 s 2.28/2.32 c core #46 2.28/2.32 c Core size: 21 Core Weight: 1 Total Weight: -286 2.28/2.32 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.28/2.37 c core #47 2.28/2.37 c Core size: 12 Core Weight: 1 Total Weight: -285 2.28/2.37 c Elapsed CPU time: 2.35064 s Remaining CPU time: 1797.65 s 2.38/2.43 c core #48 2.38/2.43 c Core size: 12 Core Weight: 1 Total Weight: -284 2.38/2.43 c Elapsed CPU time: 2.40663 s Remaining CPU time: 1797.59 s 2.38/2.49 c core #49 2.38/2.49 c Core size: 20 Core Weight: 1 Total Weight: -283 2.38/2.49 c Elapsed CPU time: 2.46563 s Remaining CPU time: 1797.53 s 2.48/2.55 c core #50 2.48/2.55 c Core size: 20 Core Weight: 1 Total Weight: -282 2.48/2.55 c Elapsed CPU time: 2.52562 s Remaining CPU time: 1797.47 s 2.58/2.61 c core #51 2.58/2.61 c Core size: 24 Core Weight: 1 Total Weight: -281 2.58/2.61 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.58/2.67 c core #52 2.58/2.67 c Core size: 20 Core Weight: 2 Total Weight: -279 2.58/2.67 c Elapsed CPU time: 2.6476 s Remaining CPU time: 1797.35 s 2.68/2.73 c core #53 2.68/2.73 c Core size: 20 Core Weight: 1 Total Weight: -278 2.68/2.73 c Elapsed CPU time: 2.71059 s Remaining CPU time: 1797.29 s 2.68/2.80 c core #54 2.68/2.80 c Core size: 9 Core Weight: 1 Total Weight: -277 2.68/2.80 c Elapsed CPU time: 2.77458 s Remaining CPU time: 1797.23 s 2.78/2.86 c core #55 2.78/2.86 c Core size: 9 Core Weight: 1 Total Weight: -276 2.78/2.86 c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 s 2.88/2.93 c ============================[ Search Statistics ]============================== 2.88/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.93 c =============================================================================== 2.88/2.93 c | 0 | 2018 64213 170263 | 21404 0 nan | 0.000 % | 2.88/2.93 c =============================================================================== 2.88/2.93 c core #56 2.88/2.93 c Core size: 12 Core Weight: 1 Total Weight: -275 2.88/2.93 c Elapsed CPU time: 2.90956 s Remaining CPU time: 1797.09 s 2.98/3.00 c ============================[ Search Statistics ]============================== 2.98/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.00 c =============================================================================== 2.98/3.00 c | 0 | 2073 64215 174011 | 21405 0 nan | 0.000 % | 2.98/3.00 c =============================================================================== 2.98/3.00 c core #57 2.98/3.00 c Core size: 14 Core Weight: 1 Total Weight: -274 2.98/3.00 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.98/3.07 c Learning 1 hard constraints 2.98/3.07 c ============================[ Search Statistics ]============================== 2.98/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.07 c =============================================================================== 2.98/3.07 c | 0 | 2103 64217 175531 | 21405 0 nan | 0.000 % | 2.98/3.07 c =============================================================================== 2.98/3.07 c core #58 2.98/3.07 c Core size: 13 Core Weight: 1 Total Weight: -273 2.98/3.07 c Elapsed CPU time: 3.04754 s Remaining CPU time: 1796.95 s 3.08/3.14 c Learning 1 hard constraints 3.08/3.14 c core #59 3.08/3.14 c Core size: 11 Core Weight: 1 Total Weight: -272 3.08/3.14 c Elapsed CPU time: 3.11353 s Remaining CPU time: 1796.89 s 3.18/3.21 c ============================[ Search Statistics ]============================== 3.18/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.21 c =============================================================================== 3.18/3.21 c | 0 | 2138 64224 177409 | 21408 0 nan | 0.000 % | 3.18/3.21 c =============================================================================== 3.18/3.21 c core #60 3.18/3.21 c Core size: 24 Core Weight: 1 Total Weight: -271 3.18/3.21 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.18/3.28 c Learning 1 hard constraints 3.18/3.28 c ============================[ Search Statistics ]============================== 3.18/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.28 c =============================================================================== 3.18/3.28 c | 0 | 2211 64227 183350 | 21409 0 nan | 0.000 % | 3.18/3.28 c =============================================================================== 3.18/3.28 c core #61 3.18/3.28 c Core size: 12 Core Weight: 1 Total Weight: -270 3.18/3.28 c Elapsed CPU time: 3.2605 s Remaining CPU time: 1796.74 s 3.28/3.35 c Learning 1 hard constraints 3.28/3.35 c core #62 3.28/3.35 c Core size: 17 Core Weight: 1 Total Weight: -269 3.28/3.35 c Elapsed CPU time: 3.32849 s Remaining CPU time: 1796.67 s 3.38/3.42 c core #63 3.38/3.42 c Core size: 15 Core Weight: 2 Total Weight: -267 3.38/3.42 c Elapsed CPU time: 3.39848 s Remaining CPU time: 1796.6 s 3.38/3.49 c ============================[ Search Statistics ]============================== 3.38/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.49 c =============================================================================== 3.38/3.49 c | 0 | 2244 64235 184917 | 21411 0 nan | 0.000 % | 3.47/3.50 c =============================================================================== 3.47/3.50 c core #64 3.47/3.50 c Core size: 23 Core Weight: 1 Total Weight: -266 3.47/3.50 c Elapsed CPU time: 3.47147 s Remaining CPU time: 1796.53 s 3.47/3.57 c ============================[ Search Statistics ]============================== 3.47/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.47/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.47/3.57 c =============================================================================== 3.47/3.57 c | 0 | 2271 64239 187216 | 21413 0 nan | 0.000 % | 3.47/3.57 c =============================================================================== 3.47/3.57 c core #65 3.47/3.57 c Core size: 15 Core Weight: 1 Total Weight: -265 3.47/3.57 c Elapsed CPU time: 3.54646 s Remaining CPU time: 1796.45 s 3.57/3.64 c Learning 1 hard constraints 3.57/3.64 c ============================[ Search Statistics ]============================== 3.57/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.57/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.57/3.64 c =============================================================================== 3.57/3.64 c | 0 | 2274 64242 187223 | 21414 0 nan | 0.000 % | 3.57/3.65 c =============================================================================== 3.57/3.65 c core #66 3.57/3.65 c Core size: 46 Core Weight: 1 Total Weight: -264 3.57/3.65 c Elapsed CPU time: 3.62245 s Remaining CPU time: 1796.38 s 3.67/3.72 c Learning 1 hard constraints 3.67/3.72 c ============================[ Search Statistics ]============================== 3.67/3.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.67/3.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.67/3.72 c =============================================================================== 3.67/3.72 c | 0 | 2288 64247 187258 | 21415 0 nan | 0.000 % | 3.67/3.73 c =============================================================================== 3.67/3.73 c core #67 3.67/3.73 c Core size: 12 Core Weight: 1 Total Weight: -263 3.67/3.73 c Elapsed CPU time: 3.70144 s Remaining CPU time: 1796.3 s 3.77/3.80 c ============================[ Search Statistics ]============================== 3.77/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.77/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.77/3.80 c =============================================================================== 3.77/3.80 c | 0 | 2292 64248 187267 | 21416 0 nan | 0.000 % | 3.77/3.80 c =============================================================================== 3.77/3.80 c core #68 3.77/3.80 c Core size: 11 Core Weight: 1 Total Weight: -262 3.77/3.80 c Elapsed CPU time: 3.77743 s Remaining CPU time: 1796.22 s 3.77/3.88 c Learning 1 hard constraints 3.77/3.88 c ============================[ Search Statistics ]============================== 3.77/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.77/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.77/3.88 c =============================================================================== 3.77/3.88 c | 0 | 2301 64251 187301 | 21417 0 nan | 0.000 % | 3.77/3.89 c =============================================================================== 3.77/3.89 c core #69 3.77/3.89 c Core size: 50 Core Weight: 1 Total Weight: -261 3.77/3.89 c Elapsed CPU time: 3.85641 s Remaining CPU time: 1796.14 s 3.87/3.96 c ============================[ Search Statistics ]============================== 3.87/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.87/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.87/3.96 c =============================================================================== 3.87/3.96 c | 0 | 2330 64255 188711 | 21418 0 nan | 0.000 % | 3.87/3.96 c =============================================================================== 3.87/3.96 c core #70 3.87/3.96 c Core size: 35 Core Weight: 1 Total Weight: -260 3.87/3.96 c Elapsed CPU time: 3.9344 s Remaining CPU time: 1796.07 s 3.97/4.03 c ============================[ Search Statistics ]============================== 3.97/4.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.97/4.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.97/4.03 c =============================================================================== 3.97/4.03 c | 0 | 2363 64259 190144 | 21419 0 nan | 0.000 % | 3.97/4.04 c =============================================================================== 3.97/4.04 c core #71 3.97/4.04 c Core size: 49 Core Weight: 1 Total Weight: -259 3.97/4.04 c Elapsed CPU time: 4.01239 s Remaining CPU time: 1795.99 s 4.07/4.11 c Learning 1 hard constraints 4.07/4.11 c ============================[ Search Statistics ]============================== 4.07/4.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.07/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.07/4.12 c =============================================================================== 4.07/4.12 c | 0 | 2379 64264 190182 | 21421 0 nan | 0.000 % | 4.07/4.12 c =============================================================================== 4.07/4.12 c core #72 4.07/4.12 c Core size: 17 Core Weight: 1 Total Weight: -258 4.07/4.12 c Elapsed CPU time: 4.08638 s Remaining CPU time: 1795.91 s 4.07/4.19 c Learning 2 hard constraints 4.07/4.19 c ============================[ Search Statistics ]============================== 4.07/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.07/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.07/4.19 c =============================================================================== 4.07/4.19 c | 0 | 2384 64267 190200 | 21422 0 nan | 0.000 % | 4.17/4.20 c =============================================================================== 4.17/4.20 c core #73 4.17/4.20 c Core size: 28 Core Weight: 1 Total Weight: -257 4.17/4.20 c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s 4.17/4.27 c Learning 1 hard constraints 4.17/4.27 c ============================[ Search Statistics ]============================== 4.17/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.27 c =============================================================================== 4.17/4.27 c | 0 | 2370 64271 190217 | 21423 0 nan | 0.000 % | 4.17/4.28 c =============================================================================== 4.17/4.28 c core #74 4.17/4.28 c Core size: 26 Core Weight: 1 Total Weight: -256 4.17/4.28 c Elapsed CPU time: 4.24335 s Remaining CPU time: 1795.76 s 4.27/4.35 c Learning 1 hard constraints 4.27/4.35 c ============================[ Search Statistics ]============================== 4.27/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.27/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.27/4.35 c =============================================================================== 4.27/4.35 c | 0 | 2385 64273 190824 | 21424 0 nan | 0.000 % | 4.27/4.35 c =============================================================================== 4.27/4.35 c core #75 4.27/4.35 c Core size: 21 Core Weight: 1 Total Weight: -255 4.27/4.35 c Elapsed CPU time: 4.31934 s Remaining CPU time: 1795.68 s 4.37/4.43 c Learning 2 hard constraints 4.37/4.43 c ============================[ Search Statistics ]============================== 4.37/4.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.37/4.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.37/4.43 c =============================================================================== 4.37/4.43 c | 0 | 2391 64278 190841 | 21426 0 nan | 0.000 % | 4.37/4.43 c =============================================================================== 4.37/4.43 c core #76 4.37/4.43 c Core size: 38 Core Weight: 1 Total Weight: -254 4.37/4.43 c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s 4.47/4.50 c Learning 1 hard constraints 4.47/4.50 c ============================[ Search Statistics ]============================== 4.47/4.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.50 c =============================================================================== 4.47/4.50 c | 0 | 2428 64280 190904 | 21426 0 nan | 0.000 % | 4.47/4.51 c =============================================================================== 4.47/4.51 c core #77 4.47/4.51 c Core size: 39 Core Weight: 1 Total Weight: -253 4.47/4.51 c Elapsed CPU time: 4.47532 s Remaining CPU time: 1795.52 s 4.47/4.58 c Learning 1 hard constraints 4.47/4.58 c ============================[ Search Statistics ]============================== 4.47/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.58 c =============================================================================== 4.47/4.58 c | 0 | 2439 64287 190934 | 21429 0 nan | 0.000 % | 4.47/4.59 c =============================================================================== 4.47/4.59 c core #78 4.47/4.59 c Core size: 33 Core Weight: 1 Total Weight: -252 4.47/4.59 c Elapsed CPU time: 4.55531 s Remaining CPU time: 1795.44 s 4.56/4.66 c Learning 1 hard constraints 4.56/4.66 c ============================[ Search Statistics ]============================== 4.56/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.56/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.56/4.66 c =============================================================================== 4.56/4.66 c | 0 | 2448 64289 190964 | 21429 0 nan | 0.000 % | 4.56/4.67 c =============================================================================== 4.56/4.67 c core #79 4.56/4.67 c Core size: 19 Core Weight: 1 Total Weight: -251 4.56/4.67 c Elapsed CPU time: 4.6333 s Remaining CPU time: 1795.37 s 4.66/4.74 c Learning 1 hard constraints 4.66/4.74 c ============================[ Search Statistics ]============================== 4.66/4.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.66/4.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.66/4.74 c =============================================================================== 4.66/4.74 c | 0 | 2457 64291 191338 | 21430 0 nan | 0.000 % | 4.66/4.75 c =============================================================================== 4.66/4.75 c core #80 4.66/4.75 c Core size: 42 Core Weight: 1 Total Weight: -250 4.66/4.75 c Elapsed CPU time: 4.71128 s Remaining CPU time: 1795.29 s 4.76/4.82 c Learning 3 hard constraints 4.76/4.82 c ============================[ Search Statistics ]============================== 4.76/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.76/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.76/4.82 c =============================================================================== 4.76/4.82 c | 0 | 2472 64295 191380 | 21431 0 nan | 0.000 % | 4.76/4.83 c =============================================================================== 4.76/4.83 c core #81 4.76/4.83 c Core size: 24 Core Weight: 1 Total Weight: -249 4.76/4.83 c Elapsed CPU time: 4.78927 s Remaining CPU time: 1795.21 s 4.86/4.90 c Learning 2 hard constraints 4.86/4.91 c ============================[ Search Statistics ]============================== 4.86/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.86/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.86/4.91 c =============================================================================== 4.86/4.91 c | 0 | 2479 64298 191400 | 21432 0 nan | 0.000 % | 4.86/4.91 c =============================================================================== 4.86/4.91 c core #82 4.86/4.91 c Core size: 63 Core Weight: 1 Total Weight: -248 4.86/4.91 c Elapsed CPU time: 4.87126 s Remaining CPU time: 1795.13 s 4.86/4.99 c Learning 1 hard constraints 4.86/4.99 c ============================[ Search Statistics ]============================== 4.86/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.86/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.86/4.99 c =============================================================================== 4.86/4.99 c | 0 | 2499 64301 191459 | 21433 0 nan | 0.000 % | 4.86/4.99 c =============================================================================== 4.86/4.99 c core #83 4.86/4.99 c Core size: 71 Core Weight: 1 Total Weight: -247 4.86/4.99 c Elapsed CPU time: 4.95225 s Remaining CPU time: 1795.05 s 4.96/5.07 c ============================[ Search Statistics ]============================== 4.96/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.96/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.96/5.07 c =============================================================================== 4.96/5.07 c | 0 | 2525 64302 191877 | 21434 0 nan | 0.000 % | 4.96/5.08 c =============================================================================== 4.96/5.08 c core #84 4.96/5.08 c Core size: 34 Core Weight: 1 Total Weight: -246 4.96/5.08 c Elapsed CPU time: 5.03423 s Remaining CPU time: 1794.97 s 5.06/5.15 c ============================[ Search Statistics ]============================== 5.06/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.06/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.06/5.15 c =============================================================================== 5.06/5.15 c | 0 | 2535 64306 191903 | 21435 0 nan | 0.000 % | 5.06/5.16 c =============================================================================== 5.06/5.16 c core #85 5.06/5.16 c Core size: 58 Core Weight: 1 Total Weight: -245 5.06/5.16 c Elapsed CPU time: 5.11922 s Remaining CPU time: 1794.88 s 5.16/5.24 c Learning 1 hard constraints 5.16/5.24 c ============================[ Search Statistics ]============================== 5.16/5.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.16/5.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.16/5.24 c =============================================================================== 5.16/5.24 c | 0 | 2551 64312 191945 | 21437 0 nan | 0.000 % | 5.16/5.25 c =============================================================================== 5.16/5.25 c core #86 5.16/5.25 c Core size: 77 Core Weight: 1 Total Weight: -244 5.16/5.25 c Elapsed CPU time: 5.20621 s Remaining CPU time: 1794.79 s 5.26/5.33 c Learning 2 hard constraints 5.26/5.33 c ============================[ Search Statistics ]============================== 5.26/5.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.26/5.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.26/5.33 c =============================================================================== 5.26/5.33 c | 0 | 2574 64318 192005 | 21439 0 nan | 0.000 % | 5.26/5.34 c =============================================================================== 5.26/5.34 c core #87 5.26/5.34 c Core size: 81 Core Weight: 1 Total Weight: -243 5.26/5.34 c Elapsed CPU time: 5.29719 s Remaining CPU time: 1794.7 s 5.36/5.41 c Learning 4 hard constraints 5.36/5.41 c ============================[ Search Statistics ]============================== 5.36/5.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.36/5.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.36/5.41 c =============================================================================== 5.36/5.41 c | 0 | 2597 64324 192066 | 21441 0 nan | 0.000 % | 5.36/5.43 c =============================================================================== 5.36/5.43 c core #88 5.36/5.43 c Core size: 156 Core Weight: 1 Total Weight: -242 5.36/5.43 c Elapsed CPU time: 5.38218 s Remaining CPU time: 1794.62 s 5.47/5.50 c Learning 6 hard constraints 5.47/5.50 c ============================[ Search Statistics ]============================== 5.47/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.50 c =============================================================================== 5.47/5.50 c | 0 | 2649 64331 192187 | 21443 0 nan | 0.000 % | 5.47/5.51 c =============================================================================== 5.47/5.51 c core #89 5.47/5.51 c Core size: 77 Core Weight: 1 Total Weight: -241 5.47/5.51 c Elapsed CPU time: 5.46817 s Remaining CPU time: 1794.53 s 5.47/5.59 c Learning 5 hard constraints 5.47/5.59 c ============================[ Search Statistics ]============================== 5.47/5.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.47/5.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.47/5.59 c =============================================================================== 5.47/5.59 c | 0 | 2673 64337 192253 | 21445 0 nan | 0.000 % | 5.57/5.60 c =============================================================================== 5.57/5.60 c core #90 5.57/5.60 c Core size: 108 Core Weight: 1 Total Weight: -240 5.57/5.60 c Elapsed CPU time: 5.55415 s Remaining CPU time: 1794.45 s 5.57/5.67 c Learning 4 hard constraints 5.57/5.67 c ============================[ Search Statistics ]============================== 5.57/5.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.57/5.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.57/5.67 c =============================================================================== 5.57/5.67 c | 0 | 2705 64347 192341 | 21449 0 nan | 0.000 % | 5.57/5.68 c =============================================================================== 5.57/5.68 c core #91 5.57/5.68 c Core size: 121 Core Weight: 1 Total Weight: -239 5.57/5.68 c Elapsed CPU time: 5.63814 s Remaining CPU time: 1794.36 s 5.67/5.76 c Learning 5 hard constraints 5.67/5.76 c ============================[ Search Statistics ]============================== 5.67/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.67/5.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.67/5.76 c =============================================================================== 5.67/5.76 c | 0 | 2749 64354 192448 | 21451 0 nan | 0.000 % | 5.67/5.77 c | 100 | 2743 64354 192448 | 23596 100 6 | 0.545 % | 5.67/5.77 c =============================================================================== 5.67/5.78 c core #92 5.67/5.78 c Core size: 186 Core Weight: 1 Total Weight: -238 5.67/5.78 c Elapsed CPU time: 5.72913 s Remaining CPU time: 1794.27 s 5.77/5.85 c Learning 2 hard constraints 5.77/5.85 c ============================[ Search Statistics ]============================== 5.77/5.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.77/5.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.77/5.85 c =============================================================================== 5.77/5.85 c | 0 | 2822 64357 192600 | 21452 0 nan | 0.000 % | 5.77/5.87 c | 102 | 2822 64357 192600 | 23597 102 11 | 0.036 % | 5.77/5.88 c | 252 | 2820 64357 192600 | 25957 252 13 | 0.106 % | 5.77/5.89 c | 477 | 2819 64357 192600 | 28553 477 13 | 0.142 % | 5.86/5.91 c =============================================================================== 5.86/5.92 c core #93 5.86/5.92 c Core size: 255 Core Weight: 1 Total Weight: -237 5.86/5.92 c Elapsed CPU time: 5.86511 s Remaining CPU time: 1794.13 s 5.86/5.99 c Learning 10 hard constraints 5.86/5.99 c ============================[ Search Statistics ]============================== 5.86/5.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.86/5.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.86/5.99 c =============================================================================== 5.86/5.99 c | 0 | 2896 64368 192780 | 21456 0 nan | 0.000 % | 5.96/6.01 c | 100 | 2896 64368 192780 | 23601 100 25 | 0.035 % | 5.96/6.02 c | 251 | 2896 64368 192780 | 25961 251 21 | 0.069 % | 5.96/6.04 c | 476 | 2896 64368 192780 | 28557 476 25 | 0.069 % | 5.96/6.07 c | 814 | 2896 64368 192780 | 31413 814 26 | 0.069 % | 6.06/6.11 c | 1324 | 2895 64368 192780 | 34555 1324 26 | 0.069 % | 6.06/6.19 c | 2083 | 2895 64368 192780 | 38010 2083 28 | 0.069 % | 6.26/6.32 c | 3230 | 2890 64368 192780 | 41811 1017 22 | 0.242 % | 6.26/6.36 c =============================================================================== 6.26/6.39 c core #94 6.26/6.39 c Core size: 553 Core Weight: 1 Total Weight: -236 6.26/6.39 c Elapsed CPU time: 6.33704 s Remaining CPU time: 1793.66 s 6.36/6.47 c Learning 32 hard constraints 6.36/6.47 c ============================[ Search Statistics ]============================== 6.36/6.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.36/6.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.36/6.47 c =============================================================================== 6.36/6.47 c | 0 | 3031 64405 193168 | 21468 0 nan | 0.000 % | 6.36/6.49 c | 102 | 3031 64405 193168 | 23615 102 12 | 0.033 % | 6.36/6.50 c | 255 | 3031 64405 193168 | 25976 255 12 | 0.033 % | 6.47/6.51 c | 480 | 3031 64405 193168 | 28574 480 12 | 0.033 % | 6.47/6.53 c =============================================================================== 6.47/6.54 c core #95 6.47/6.54 c Core size: 293 Core Weight: 1 Total Weight: -235 6.47/6.54 c Elapsed CPU time: 6.47302 s Remaining CPU time: 1793.53 s 6.56/6.61 c Learning 19 hard constraints 6.56/6.61 c ============================[ Search Statistics ]============================== 6.56/6.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.56/6.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.56/6.61 c =============================================================================== 6.56/6.61 c | 0 | 3103 64425 193375 | 21475 0 nan | 0.000 % | 6.56/6.62 c | 102 | 3102 64425 193375 | 23622 102 8 | 0.064 % | 6.56/6.64 c | 252 | 3102 64425 193375 | 25984 252 9 | 0.065 % | 6.56/6.67 c | 477 | 3100 64425 193375 | 28583 477 10 | 0.129 % | 6.65/6.72 c | 815 | 3100 64425 193375 | 31441 815 14 | 0.129 % | 6.65/6.74 c =============================================================================== 6.65/6.75 c core #96 6.65/6.75 c Core size: 663 Core Weight: 1 Total Weight: -234 6.65/6.75 c Elapsed CPU time: 6.68098 s Remaining CPU time: 1793.32 s 6.76/6.82 c Learning 44 hard constraints 6.76/6.82 c ============================[ Search Statistics ]============================== 6.76/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.76/6.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.76/6.82 c =============================================================================== 6.76/6.82 c | 0 | 3228 64471 193782 | 21490 0 nan | 0.000 % | 6.76/6.85 c | 100 | 3228 64471 193782 | 23639 100 22 | 0.031 % | 6.76/6.86 c | 251 | 3228 64471 193782 | 26003 251 17 | 0.031 % | 6.76/6.88 c | 479 | 3228 64471 193782 | 28603 479 17 | 0.031 % | 6.86/6.93 c | 818 | 3226 64471 193782 | 31463 818 16 | 0.093 % | 6.86/6.99 c | 1324 | 3222 64471 193782 | 34610 1324 15 | 0.279 % | 6.95/7.00 c =============================================================================== 6.95/7.01 c core #97 6.95/7.01 c Core size: 628 Core Weight: 1 Total Weight: -233 6.95/7.01 c Elapsed CPU time: 6.93694 s Remaining CPU time: 1793.06 s 6.95/7.09 c Learning 48 hard constraints 6.95/7.09 c ============================[ Search Statistics ]============================== 6.95/7.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.95/7.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.95/7.09 c =============================================================================== 6.95/7.09 c | 0 | 3368 64520 194230 | 21506 0 nan | 0.000 % | 7.05/7.11 c | 100 | 3368 64520 194230 | 23657 100 21 | 0.030 % | 7.05/7.12 c | 251 | 3368 64520 194230 | 26023 251 25 | 0.030 % | 7.05/7.14 c | 477 | 3368 64520 194230 | 28625 477 24 | 0.030 % | 7.05/7.17 c | 814 | 3368 64520 194230 | 31487 814 24 | 0.030 % | 7.15/7.22 c | 1323 | 3368 64520 194230 | 34636 1323 25 | 0.030 % | 7.26/7.30 c | 2082 | 3368 64520 194230 | 38100 2082 26 | 0.030 % | 7.36/7.46 c | 3222 | 3368 64520 194230 | 41910 3222 27 | 0.030 % | 7.56/7.70 c | 4931 | 3367 64520 194230 | 46101 4930 28 | 0.059 % | 8.05/8.16 c | 7494 | 3366 64520 194230 | 50711 7493 29 | 0.089 % | 8.96/9.06 c | 11339 | 3366 64520 194230 | 55782 11337 33 | 0.089 % | 10.55/10.67 c | 17108 | 3365 64520 194230 | 61361 10984 29 | 0.119 % | 11.65/11.79 c =============================================================================== 11.95/12.05 c core #98 11.95/12.05 c Core size: 1389 Core Weight: 1 Total Weight: -232 11.95/12.05 c Elapsed CPU time: 11.9092 s Remaining CPU time: 1788.09 s 12.06/12.15 c Learning 86 hard constraints 12.06/12.15 c ============================[ Search Statistics ]============================== 12.06/12.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.06/12.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.06/12.15 c =============================================================================== 12.06/12.15 c | 0 | 3547 64607 194910 | 21535 0 nan | 0.000 % | 12.06/12.17 c | 101 | 3547 64607 194910 | 23689 101 39 | 0.028 % | 12.06/12.19 c | 251 | 3547 64607 194910 | 26058 251 35 | 0.028 % | 12.15/12.22 c | 477 | 3547 64607 194910 | 28663 477 38 | 0.028 % | 12.15/12.26 c | 814 | 3547 64607 194910 | 31530 814 43 | 0.028 % | 12.25/12.32 c | 1321 | 3547 64607 194910 | 34683 1321 43 | 0.028 % | 12.35/12.42 c | 2080 | 3547 64607 194910 | 38151 2080 45 | 0.028 % | 12.46/12.59 c | 3220 | 3547 64607 194910 | 41966 3220 48 | 0.028 % | 12.75/12.85 c | 4928 | 3547 64607 194910 | 46163 4928 49 | 0.028 % | 13.25/13.34 c | 7492 | 3547 64607 194910 | 50779 7492 50 | 0.028 % | 14.05/14.11 c | 11340 | 3547 64607 194910 | 55857 11340 51 | 0.028 % | 15.76/15.85 c | 17106 | 3547 64607 194910 | 61443 17106 55 | 0.028 % | 19.66/19.75 c | 25755 | 3547 64607 194910 | 67588 25755 59 | 0.028 % | 31.15/31.22 c | 38730 | 3547 64607 194910 | 74346 38730 64 | 0.028 % | 57.63/57.78 c | 58192 | 3547 64607 194910 | 81781 58192 68 | 0.028 % | 108.52/108.65 c | 87385 | 3546 64607 194910 | 89959 21943 65 | 0.056 % | 148.71/148.89 c | 131174 | 3545 64607 194910 | 98955 65732 69 | 0.085 % | 230.39/230.58 c | 196862 | 3544 64607 194910 | 108851 19022 37 | 0.113 % | 254.78/254.90 c =============================================================================== 260.78/260.92 c core #99 260.78/260.92 c Core size: 2735 Core Weight: 1 Total Weight: -231 260.78/260.92 c Elapsed CPU time: 259.881 s Remaining CPU time: 1540.12 s 261.08/261.24 c Learning 118 hard constraints 261.08/261.24 c ============================[ Search Statistics ]============================== 261.08/261.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 261.08/261.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 261.08/261.24 c =============================================================================== 261.08/261.24 c | 0 | 3765 64726 195793 | 21575 0 nan | 0.000 % | 261.18/261.30 c | 101 | 3765 64726 195793 | 23732 101 97 | 0.027 % | 261.18/261.33 c | 251 | 3765 64726 195793 | 26106 251 66 | 0.027 % | 261.18/261.35 c | 479 | 3765 64726 195793 | 28716 479 51 | 0.027 % | 261.28/261.40 c | 817 | 3764 64726 195793 | 31588 816 51 | 0.053 % | 261.28/261.47 c | 1323 | 3764 64726 195793 | 34747 1322 59 | 0.053 % | 261.38/261.57 c | 2082 | 3764 64726 195793 | 38222 2081 58 | 0.053 % | 261.58/261.78 c | 3221 | 3764 64726 195793 | 42044 3220 63 | 0.053 % | 261.98/262.12 c | 4929 | 3764 64726 195793 | 46248 4928 64 | 0.053 % | 262.68/262.88 c | 7493 | 3764 64726 195793 | 50873 7492 65 | 0.053 % | 264.08/264.23 c | 11342 | 3764 64726 195793 | 55960 11341 62 | 0.053 % | 266.18/266.34 c | 17109 | 3764 64726 195793 | 61556 17108 71 | 0.053 % | 270.98/271.11 c | 25759 | 3764 64726 195793 | 67712 25758 74 | 0.053 % | 282.87/283.01 c | 38733 | 3764 64726 195793 | 74483 38732 78 | 0.053 % | 311.66/311.86 c | 58194 | 3764 64726 195793 | 81932 58193 82 | 0.053 % | 356.06/356.30 c | 87386 | 3764 64726 195793 | 90125 18813 85 | 0.053 % | 409.24/409.41 c | 131176 | 3764 64726 195793 | 99138 62603 105 | 0.053 % | 498.31/498.59 c | 196872 | 3764 64726 195793 | 109051 45499 101 | 0.053 % | 656.87/657.17 c | 295398 | 3764 64726 195793 | 119957 51342 104 | 0.053 % | 934.30/934.62 c | 443191 | 3764 64726 195793 | 131952 93392 114 | 0.053 % | 1484.86/1485.30 c | 664875 | 3764 64726 195793 | 145148 86032 135 | 0.053 % |
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-1874917-1245219369/watcher-1874917-1245219369 -o /tmp/evaluation-result-1874917-1245219369/solver-1874917-1245219369 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874917-1245219369.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.00 0.92 3/64 1919 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=4760 CPUtime=0 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 178458941 4874240 211 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 1190 212 128 292 0 374 0 [startup+0.086756 s] /proc/loadavg: 1.07 1.00 0.92 3/64 1919 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=5764 CPUtime=0.08 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 614 0 0 0 8 0 0 0 18 0 1 0 178458941 5902336 598 1992294400 134512640 135709839 4294956240 18446744073709551615 134545023 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 1441 598 276 292 0 625 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5764 [startup+0.101757 s] /proc/loadavg: 1.07 1.00 0.92 3/64 1919 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=5764 CPUtime=0.09 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 178458941 5902336 655 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 1441 655 304 292 0 625 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5764 [startup+0.30178 s] /proc/loadavg: 1.07 1.00 0.92 3/64 1919 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=7512 CPUtime=0.29 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 1955 0 0 0 29 0 0 0 19 0 1 0 178458941 7692288 1386 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 1878 1387 133 292 0 1583 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7512 [startup+0.701822 s] /proc/loadavg: 1.07 1.00 0.92 3/64 1919 /proc/meminfo: memFree=1712744/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=9552 CPUtime=0.69 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 2603 0 0 0 68 1 0 0 22 0 1 0 178458941 9781248 1908 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 2388 1908 133 292 0 2093 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9552 [startup+1.50191 s] /proc/loadavg: 1.07 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1705632/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=9552 CPUtime=1.49 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 2605 0 0 0 148 1 0 0 25 0 1 0 178458941 9781248 1910 1992294400 134512640 135709839 4294956240 18446744073709551615 135182905 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 2388 1910 133 292 0 2093 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9552 [startup+3.10108 s] /proc/loadavg: 1.07 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1705056/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=10720 CPUtime=3.08 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 2870 0 0 0 307 1 0 0 25 0 1 0 178458941 10977280 2175 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 2680 2175 135 292 0 2385 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10720 [startup+6.30143 s] /proc/loadavg: 1.07 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1703840/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=11440 CPUtime=6.26 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 3087 0 0 0 624 2 0 0 25 0 1 0 178458941 11714560 2392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 2860 2392 136 292 0 2565 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 11440 [startup+12.7011 s] /proc/loadavg: 1.06 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1698144/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=20584 CPUtime=12.65 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 5442 0 0 0 1253 12 0 0 25 0 1 0 178458941 21078016 4651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 5146 4651 136 292 0 4851 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 20584 [startup+25.5015 s] /proc/loadavg: 1.05 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1687840/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=27236 CPUtime=25.45 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 7106 0 0 0 2524 21 0 0 25 0 1 0 178458941 27889664 6315 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 6809 6315 136 292 0 6514 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 27236 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1676320/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=38940 CPUtime=51.04 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 10003 0 0 0 5076 28 0 0 25 0 1 0 178458941 39874560 9212 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 9735 9212 136 292 0 9440 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 38940 [startup+102.306 s] /proc/loadavg: 1.01 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1660832/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=54172 CPUtime=102.22 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 13812 0 0 0 10183 39 0 0 25 0 1 0 178458941 55472128 13021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 13543 13021 136 292 0 13248 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 54172 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1629728/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=85480 CPUtime=162.21 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 21617 0 0 0 16161 60 0 0 25 0 1 0 178458941 87531520 20826 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 21370 20826 136 292 0 21075 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 85480 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1607712/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=107528 CPUtime=222.19 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 27055 0 0 0 22143 76 0 0 25 0 1 0 178458941 110108672 26264 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 26882 26264 136 292 0 26587 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 107528 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1574048/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=140800 CPUtime=282.17 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 35478 0 0 0 28112 105 0 0 25 0 1 0 178458941 144179200 34590 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 35200 34590 136 292 0 34905 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 140800 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1574048/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=140800 CPUtime=342.16 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 35511 0 0 0 34102 114 0 0 25 0 1 0 178458941 144179200 34623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 35200 34623 136 292 0 34905 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 140800 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1553760/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=161028 CPUtime=402.14 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 40634 0 0 0 40082 132 0 0 25 0 1 0 178458941 164892672 39746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 40257 39746 136 292 0 39962 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 161028 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1531616/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=183356 CPUtime=462.12 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 46116 0 0 0 46065 147 0 0 25 0 1 0 178458941 187756544 45228 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 45839 45228 136 292 0 45544 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 183356 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1496736/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=218328 CPUtime=522.11 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 54862 0 0 0 52041 170 0 0 25 0 1 0 178458941 223567872 53974 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 54582 53974 136 292 0 54287 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 218328 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1473888/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=241040 CPUtime=582.1 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 60506 0 0 0 58026 184 0 0 25 0 1 0 178458941 246824960 59618 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 60260 59618 136 292 0 59965 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 241040 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1443808/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=270948 CPUtime=642.08 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 67983 0 0 0 64005 203 0 0 25 0 1 0 178458941 277450752 67095 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 67737 67095 136 292 0 67442 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 270948 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1341088/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=373892 CPUtime=882.02 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 93594 0 0 0 87935 267 0 0 25 0 1 0 178458941 382865408 92706 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 93473 92706 136 292 0 93178 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 373892 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1324256/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=390948 CPUtime=942 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 97806 0 0 0 93924 276 0 0 25 0 1 0 178458941 400330752 96918 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 97737 96918 136 292 0 97442 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 390948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1304800/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=410448 CPUtime=1001.99 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 102649 0 0 0 99909 290 0 0 25 0 1 0 178458941 420298752 101761 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 102612 101761 136 292 0 102317 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 410448 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1283232/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=432888 CPUtime=1061.97 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 108174 0 0 0 105895 302 0 0 25 0 1 0 178458941 443277312 107286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 108222 107286 136 292 0 107927 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 432888 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1251168/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=464432 CPUtime=1121.95 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 116040 0 0 0 111877 318 0 0 25 0 1 0 178458941 475578368 115152 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 116108 115152 136 292 0 115813 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 464432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1231456/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=484588 CPUtime=1181.94 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 120982 0 0 0 117863 331 0 0 25 0 1 0 178458941 496218112 120094 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 121147 120094 136 292 0 120852 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 484588 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1920 /proc/meminfo: memFree=1213472/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=502276 CPUtime=1241.93 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 125380 0 0 0 123852 341 0 0 25 0 1 0 178458941 514330624 124492 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 125569 124492 136 292 0 125274 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 502276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1199072/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=516544 CPUtime=1301.91 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 128903 0 0 0 129841 350 0 0 25 0 1 0 178458941 528941056 128015 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 129136 128015 136 292 0 128841 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 516544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1183648/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=532544 CPUtime=1361.89 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 132910 0 0 0 135831 358 0 0 25 0 1 0 178458941 545325056 132022 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 133136 132022 136 292 0 132841 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 532544 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1152352/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=563308 CPUtime=1421.88 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 140595 0 0 0 141810 378 0 0 25 0 1 0 178458941 576827392 139707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 140827 139707 136 292 0 140532 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 563308 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1133344/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=582436 CPUtime=1481.86 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 145369 0 0 0 147795 391 0 0 25 0 1 0 178458941 596414464 144481 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 145609 144481 136 292 0 145314 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 582436 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1110624/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=605260 CPUtime=1541.85 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 151021 0 0 0 153779 406 0 0 25 0 1 0 178458941 619786240 150133 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 151315 150133 136 292 0 151020 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 605260 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1094368/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=621596 CPUtime=1601.83 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 155057 0 0 0 159764 419 0 0 25 0 1 0 178458941 636514304 154169 1992294400 134512640 135709839 4294956240 18446744073709551615 134568679 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 155399 154169 136 292 0 155104 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 621596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1057888/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=658064 CPUtime=1661.81 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 164189 0 0 0 165741 440 0 0 25 0 1 0 178458941 673857536 163301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 164516 163301 136 292 0 164221 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 658064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1039008/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=677076 CPUtime=1721.8 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 168915 0 0 0 171729 451 0 0 25 0 1 0 178458941 693325824 168027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 169269 168027 136 292 0 168974 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 677076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1023648/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=692288 CPUtime=1781.78 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 172690 0 0 0 177716 462 0 0 25 0 1 0 178458941 708902912 171802 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 173072 171802 136 292 0 172777 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 692288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/65 1922 /proc/meminfo: memFree=1020512/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=695304 CPUtime=1800.08 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4194304 173454 0 0 0 179544 464 0 0 25 0 1 0 178458941 711991296 172566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 173826 172566 136 292 0 173531 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 695304 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 0.92 2/65 1922 /proc/meminfo: memFree=1020512/2055920 swapFree=4192956/4192956 [pid=1919] ppid=1915 vsize=0 CPUtime=1800.18 /proc/1919/stat : 1919 (wbo) R 1915 1919 1339 0 -1 4195332 173454 0 0 0 179544 474 0 0 25 0 1 0 178458941 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1919/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.2 CPU user time (s): 1795.45 CPU system time (s): 4.75628 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 695304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.45 system time used= 4.75628 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 173454 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= 3806 runsolver used 1.40978 second user time and 3.73743 second system time The end
Begin job on node64 at 2009-06-17 08:16:09 IDJOB=1874917 IDBENCH=71828 IDSOLVER=698 FILE ID=node64/1874917-1245219369 PBS_JOBID= 9368411 Free space on /tmp= 66252 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-3000opt.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-1874917-1245219369/watcher-1874917-1245219369 -o /tmp/evaluation-result-1874917-1245219369/solver-1874917-1245219369 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1874917-1245219369.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 948226035ef0280d59f9150dd2b5c694 RANDOM SEED=1191932548 node64.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.241 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.241 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: 1713224 kB Buffers: 22868 kB Cached: 242196 kB SwapCached: 0 kB Active: 78624 kB Inactive: 201372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713224 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4460 kB Writeback: 0 kB Mapped: 24752 kB Slab: 48460 kB Committed_AS: 89776 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1874917-1245219369.opb Free space on /tmp at the end= 66252 MiB End job on node64 at 2009-06-17 08:46:12