Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.28 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb |
MD5SUM | d2e884e5a30d38dd91c4cf82767b345c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 100 |
Best CPU time to get the best result obtained on this benchmark | 0.009997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 100 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 700 |
Number of constraints which are clauses | 696 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
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-1876220-1245156856.opb. 0.00/0.00 c Instance file HOME/instance-1876220-1245156856.opb 0.00/0.00 c File size is 21584 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 200 | 0.00/0.00 c | Number Clauses: 896 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 4 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #16 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #17 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #18 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #19 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #20 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #21 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #22 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #25 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #26 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #27 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #28 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #29 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #30 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #31 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #32 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #33 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #34 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #35 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #36 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #37 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #38 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #39 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #40 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #41 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #42 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #43 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #44 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #45 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #46 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #47 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #48 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #49 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #50 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #51 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #52 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #53 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #54 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #55 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.04 c core #56 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.04 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #57 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 57 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #58 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 58 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #59 0.00/0.05 c Core size: 6 Core Weight: 1 Total Weight: 59 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #60 0.00/0.05 c Core size: 8 Core Weight: 1 Total Weight: 60 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #61 0.00/0.05 c Core size: 19 Core Weight: 1 Total Weight: 61 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #62 0.00/0.05 c Core size: 38 Core Weight: 1 Total Weight: 62 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #63 0.00/0.05 c Core size: 30 Core Weight: 1 Total Weight: 63 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 396 963 2586 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #64 0.00/0.05 c Core size: 22 Core Weight: 1 Total Weight: 64 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 405 964 2606 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #65 0.00/0.05 c Core size: 33 Core Weight: 1 Total Weight: 65 0.00/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 418 965 2632 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #66 0.00/0.06 c Core size: 62 Core Weight: 1 Total Weight: 66 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c Learning 1 hard constraints 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 435 967 2668 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #67 0.00/0.06 c Core size: 96 Core Weight: 1 Total Weight: 67 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c Learning 1 hard constraints 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 464 969 2728 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #68 0.00/0.06 c Core size: 104 Core Weight: 1 Total Weight: 68 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 970 2800 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #69 0.00/0.06 c Core size: 74 Core Weight: 1 Total Weight: 69 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c Learning 1 hard constraints 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 517 972 2836 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #70 0.00/0.07 c Core size: 166 Core Weight: 1 Total Weight: 70 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c Learning 2 hard constraints 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 563 975 2935 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #71 0.00/0.07 c Core size: 162 Core Weight: 1 Total Weight: 71 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.00/0.07 c Learning 1 hard constraints 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 596 977 3003 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #72 0.00/0.07 c Core size: 159 Core Weight: 1 Total Weight: 72 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c Learning 8 hard constraints 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 610 986 3057 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #73 0.00/0.07 c Core size: 211 Core Weight: 1 Total Weight: 73 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.07 c Learning 5 hard constraints 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 642 992 3143 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #74 0.00/0.08 c Core size: 303 Core Weight: 1 Total Weight: 74 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c Learning 15 hard constraints 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 676 1008 3275 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #75 0.00/0.08 c Core size: 161 Core Weight: 1 Total Weight: 75 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.00/0.08 c Learning 18 hard constraints 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 673 1027 3343 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #76 0.00/0.08 c Core size: 87 Core Weight: 1 Total Weight: 76 0.00/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.08 c Learning 6 hard constraints 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 681 1034 3382 | 5000 0 nan | 0.000 % | 0.08/0.08 c =============================================================================== 0.08/0.08 c core #77 0.08/0.08 c Core size: 177 Core Weight: 1 Total Weight: 77 0.08/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.08/0.09 c Learning 8 hard constraints 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 690 1043 3442 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #78 0.08/0.09 c Core size: 169 Core Weight: 1 Total Weight: 78 0.08/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.08/0.09 c Learning 4 hard constraints 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 499 1048 3481 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #79 0.08/0.09 c Core size: 87 Core Weight: 1 Total Weight: 79 0.08/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 503 1049 3489 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #80 0.08/0.09 c Core size: 124 Core Weight: 1 Total Weight: 80 0.08/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 513 1050 3509 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #81 0.08/0.09 c Core size: 145 Core Weight: 1 Total Weight: 81 0.08/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.08/0.10 c ============================[ Search Statistics ]============================== 0.08/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.10 c =============================================================================== 0.08/0.10 c | 0 | 527 1051 3537 | 5000 0 nan | 0.000 % | 0.08/0.10 c =============================================================================== 0.08/0.10 c core #82 0.08/0.10 c Core size: 129 Core Weight: 1 Total Weight: 82 0.08/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 543 1052 3569 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #83 0.09/0.10 c Core size: 130 Core Weight: 1 Total Weight: 83 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 559 1053 3601 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #84 0.09/0.10 c Core size: 66 Core Weight: 1 Total Weight: 84 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 565 1054 3613 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #85 0.09/0.11 c Core size: 136 Core Weight: 1 Total Weight: 85 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 579 1055 3641 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 100 | 578 1055 3641 | 5500 99 25 | 26.650 % | 0.09/0.12 c | 251 | 578 1055 3641 | 6050 250 28 | 26.650 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #86 0.09/0.13 c Core size: 136 Core Weight: 1 Total Weight: 86 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 598 1056 3679 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 102 | 598 1056 3679 | 5500 102 34 | 25.899 % | 0.09/0.14 c | 252 | 598 1056 3679 | 6050 252 39 | 25.899 % | 0.09/0.15 c | 481 | 598 1056 3679 | 6655 481 39 | 25.899 % | 0.09/0.18 c | 821 | 598 1056 3679 | 7320 821 41 | 25.899 % | 0.19/0.23 c | 1327 | 598 1056 3679 | 8052 1327 43 | 25.899 % | 0.29/0.31 c | 2087 | 597 1056 3679 | 8857 2086 43 | 26.022 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #87 0.39/0.40 c Core size: 150 Core Weight: 1 Total Weight: 87 0.39/0.40 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 619 1057 3721 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 102 | 619 1057 3721 | 5500 102 42 | 25.242 % | 0.39/0.42 c | 255 | 619 1057 3721 | 6050 255 52 | 25.242 % | 0.39/0.43 c | 480 | 619 1057 3721 | 6655 480 51 | 25.242 % | 0.39/0.46 c | 819 | 611 1057 3721 | 7320 818 47 | 26.208 % | 0.49/0.51 c | 1327 | 611 1057 3721 | 8052 1326 45 | 26.208 % | 0.49/0.59 c | 2089 | 611 1057 3721 | 8857 2088 45 | 26.208 % | 0.69/0.75 c =============================================================================== 0.69/0.77 c core #88 0.69/0.77 c Core size: 167 Core Weight: 1 Total Weight: 88 0.69/0.77 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 644 1058 3771 | 5000 0 nan | 0.000 % | 0.69/0.78 c | 102 | 644 1058 3771 | 5500 102 50 | 24.502 % | 0.69/0.78 c | 255 | 644 1058 3771 | 6050 255 61 | 24.502 % | 0.79/0.80 c | 480 | 644 1058 3771 | 6655 480 67 | 24.502 % | 0.79/0.84 c | 820 | 644 1058 3771 | 7320 820 70 | 24.502 % | 0.89/0.91 c | 1327 | 644 1058 3771 | 8052 1327 71 | 24.502 % | 0.99/1.02 c | 2086 | 644 1058 3771 | 8857 2086 70 | 24.502 % | 1.19/1.20 c | 3226 | 644 1058 3771 | 9743 3226 70 | 24.502 % | 1.69/1.77 c | 4934 | 644 1058 3771 | 10717 4934 71 | 24.502 % | 2.49/2.52 c | 7499 | 644 1058 3771 | 11789 7499 71 | 24.502 % | 3.69/3.78 c | 11346 | 643 1058 3771 | 12968 11211 69 | 24.619 % | 6.60/6.69 c | 17117 | 633 1058 3771 | 14265 10367 66 | 25.791 % | 8.70/8.70 c =============================================================================== 8.89/8.93 c core #89 8.89/8.93 c Core size: 171 Core Weight: 1 Total Weight: 89 8.89/8.93 c Elapsed CPU time: 8.87165 s Remaining CPU time: 1791.13 s 8.89/8.96 c ============================[ Search Statistics ]============================== 8.89/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.96 c =============================================================================== 8.89/8.96 c | 0 | 675 1059 3833 | 5000 0 nan | 0.000 % | 8.89/8.96 c | 102 | 675 1059 3833 | 5500 102 59 | 23.643 % | 8.89/8.97 c | 254 | 674 1059 3833 | 6050 251 36 | 23.756 % | 8.89/8.97 c =============================================================================== 8.89/8.97 c core #90 8.89/8.97 c Core size: 137 Core Weight: 1 Total Weight: 90 8.89/8.97 c Elapsed CPU time: 8.91364 s Remaining CPU time: 1791.09 s 8.89/8.98 c ============================[ Search Statistics ]============================== 8.89/8.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.98 c =============================================================================== 8.89/8.98 c | 0 | 689 1060 3861 | 5000 0 nan | 0.000 % | 8.89/8.98 c | 101 | 689 1060 3861 | 5500 101 26 | 23.274 % | 8.89/8.98 c | 252 | 689 1060 3861 | 6050 252 27 | 23.274 % | 8.89/9.00 c | 481 | 689 1060 3861 | 6655 481 30 | 23.274 % | 8.99/9.02 c | 818 | 689 1060 3861 | 7320 818 32 | 23.274 % | 8.99/9.03 c =============================================================================== 8.99/9.04 c core #91 8.99/9.04 c Core size: 166 Core Weight: 1 Total Weight: 91 8.99/9.04 c Elapsed CPU time: 8.97763 s Remaining CPU time: 1791.02 s 8.99/9.04 c ============================[ Search Statistics ]============================== 8.99/9.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.04 c =============================================================================== 8.99/9.04 c | 0 | 709 1061 3901 | 5000 0 nan | 0.000 % | 8.99/9.05 c | 102 | 709 1061 3901 | 5500 102 56 | 22.767 % | 8.99/9.05 c | 253 | 708 1061 3901 | 6050 250 33 | 22.876 % | 8.99/9.06 c =============================================================================== 8.99/9.06 c core #92 8.99/9.06 c Core size: 99 Core Weight: 1 Total Weight: 92 8.99/9.06 c Elapsed CPU time: 8.99963 s Remaining CPU time: 1791 s 8.99/9.06 c ============================[ Search Statistics ]============================== 8.99/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.06 c =============================================================================== 8.99/9.06 c | 0 | 719 1062 3921 | 5000 0 nan | 0.000 % | 8.99/9.07 c | 102 | 719 1062 3921 | 5500 102 59 | 22.522 % | 8.99/9.08 c | 252 | 719 1062 3921 | 6050 252 60 | 22.522 % | 8.99/9.10 c | 478 | 719 1062 3921 | 6655 478 70 | 22.522 % | 9.09/9.14 c | 815 | 719 1062 3921 | 7320 815 83 | 22.522 % | 9.19/9.24 c | 1322 | 719 1062 3921 | 8052 1322 89 | 22.522 % | 9.39/9.42 c | 2082 | 719 1062 3921 | 8857 2082 93 | 22.522 % | 9.69/9.79 c | 3221 | 719 1062 3921 | 9743 3221 96 | 22.522 % | 10.29/10.39 c | 4930 | 719 1062 3921 | 10717 4930 94 | 22.522 % | 11.79/11.87 c | 7492 | 719 1062 3921 | 11789 7492 95 | 22.522 % | 15.18/15.24 c | 11336 | 719 1062 3921 | 12968 11336 95 | 22.522 % | 19.59/19.63 c | 17103 | 719 1062 3921 | 14265 10456 93 | 22.522 % | 27.19/27.20 c | 25752 | 719 1062 3921 | 15692 11806 94 | 22.522 % | 36.88/36.97 c | 38727 | 719 1062 3921 | 17261 8768 89 | 22.522 % | 51.98/52.09 c | 58189 | 719 1062 3921 | 18987 10642 84 | 22.522 % | 67.08/67.18 c | 87381 | 719 1062 3921 | 20886 10872 75 | 22.522 % | 88.06/88.18 c | 131170 | 719 1062 3921 | 22974 12187 86 | 22.522 % | 130.06/130.19 c | 196859 | 719 1062 3921 | 25272 19590 89 | 22.522 % | 202.73/202.87 c | 295387 | 719 1062 3921 | 27799 14323 84 | 22.522 % | 287.21/287.32 c =============================================================================== 295.51/295.67 c core #93 295.51/295.67 c Core size: 184 Core Weight: 1 Total Weight: 93 295.51/295.67 c Elapsed CPU time: 294.312 s Remaining CPU time: 1505.69 s 296.01/296.11 c ============================[ Search Statistics ]============================== 296.01/296.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 296.01/296.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 296.01/296.11 c =============================================================================== 296.01/296.11 c | 0 | 752 1063 3987 | 5000 0 nan | 0.000 % | 296.01/296.17 c | 103 | 752 1063 3987 | 5500 103 57 | 21.748 % | 296.01/296.19 c | 253 | 752 1063 3987 | 6050 253 42 | 21.748 % | 296.11/296.20 c | 478 | 751 1063 3987 | 6655 476 41 | 21.852 % | 296.11/296.23 c | 815 | 751 1063 3987 | 7320 813 45 | 21.852 % | 296.11/296.27 c | 1322 | 751 1063 3987 | 8052 1320 46 | 21.852 % | 296.20/296.39 c | 2086 | 750 1063 3987 | 8857 2083 49 | 21.956 % | 296.40/296.59 c | 3229 | 750 1063 3987 | 9743 3226 52 | 21.956 % | 297.01/297.12 c | 4940 | 750 1063 3987 | 10717 4937 53 | 21.956 % | 297.91/298.04 c | 7502 | 750 1063 3987 | 11789 7499 55 | 21.956 % | 299.90/300.01 c | 11346 | 733 1063 3987 | 12968 11342 55 | 26.119 % | 299.90/300.05 c =============================================================================== 300.11/300.22 c core #94 300.11/300.22 c Core size: 182 Core Weight: 1 Total Weight: 94 300.11/300.22 c Elapsed CPU time: 298.829 s Remaining CPU time: 1501.17 s 300.11/300.24 c ============================[ Search Statistics ]============================== 300.11/300.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 300.11/300.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 300.11/300.24 c =============================================================================== 300.11/300.24 c | 0 | 778 1064 4039 | 5000 0 nan | 0.000 % | 300.11/300.26 c | 102 | 778 1064 4039 | 5500 102 40 | 21.175 % | 300.11/300.26 c | 253 | 778 1064 4039 | 6050 253 38 | 21.175 % | 300.11/300.27 c | 478 | 778 1064 4039 | 6655 478 42 | 21.175 % | 300.11/300.30 c | 815 | 778 1064 4039 | 7320 815 52 | 21.175 % | 300.21/300.35 c | 1323 | 778 1064 4039 | 8052 1323 59 | 21.175 % | 300.31/300.47 c | 2082 | 778 1064 4039 | 8857 2082 65 | 21.175 % | 300.50/300.66 c | 3221 | 778 1064 4039 | 9743 3221 69 | 21.175 % | 300.91/301.03 c | 4930 | 778 1064 4039 | 10717 4930 70 | 21.175 % | 301.60/301.76 c | 7497 | 778 1064 4039 | 11789 7497 72 | 21.175 % | 303.21/303.37 c | 11341 | 778 1064 4039 | 12968 11341 72 | 21.175 % | 305.61/305.70 c | 17110 | 778 1064 4039 | 14265 10483 71 | 21.175 % | 309.01/309.17 c | 25760 | 778 1064 4039 | 15692 11848 67 | 21.175 % | 314.90/315.05 c =============================================================================== 315.60/315.78 c core #95 315.60/315.78 c Core size: 201 Core Weight: 1 Total Weight: 95 315.60/315.78 c Elapsed CPU time: 314.311 s Remaining CPU time: 1485.69 s 315.70/315.84 c ============================[ Search Statistics ]============================== 315.70/315.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 315.70/315.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 315.70/315.84 c =============================================================================== 315.70/315.84 c | 0 | 808 1065 4099 | 5000 0 nan | 0.000 % | 315.70/315.86 c | 100 | 808 1065 4099 | 5500 100 31 | 20.551 % | 315.70/315.87 c | 251 | 808 1065 4099 | 6050 251 40 | 20.551 % | 315.70/315.88 c | 478 | 808 1065 4099 | 6655 478 35 | 20.551 % | 315.80/315.91 c | 816 | 808 1065 4099 | 7320 816 51 | 20.551 % | 315.80/315.95 c | 1322 | 808 1065 4099 | 8052 1322 62 | 20.551 % | 315.90/316.03 c | 2083 | 808 1065 4099 | 8857 2083 64 | 20.551 % | 316.00/316.19 c | 3223 | 808 1065 4099 | 9743 3223 67 | 20.551 % | 316.30/316.44 c | 4932 | 808 1065 4099 | 10717 4932 68 | 20.551 % | 316.70/316.86 c | 7495 | 808 1065 4099 | 11789 7495 69 | 20.551 % | 317.71/317.81 c | 11339 | 808 1065 4099 | 12968 11339 81 | 20.551 % | 319.60/319.77 c | 17105 | 808 1065 4099 | 14265 10458 97 | 20.551 % | 324.00/324.10 c | 25756 | 808 1065 4099 | 15692 11804 98 | 20.551 % | 330.50/330.63 c | 38731 | 808 1065 4099 | 17261 8785 90 | 20.551 % | 340.39/340.56 c | 58194 | 808 1065 4099 | 18987 10649 94 | 20.551 % | 356.89/357.05 c | 87389 | 808 1065 4099 | 20886 10864 104 | 20.551 % | 381.38/381.55 c | 131181 | 808 1065 4099 | 22974 12206 113 | 20.551 % | 426.36/426.55 c | 196870 | 808 1065 4099 | 25272 19515 101 | 20.551 % | 493.65/493.86 c | 295396 | 808 1065 4099 | 27799 14890 88 | 20.551 % | 640.11/640.38 c | 443189 | 808 1065 4099 | 30579 13177 100 | 20.551 % | 856.24/856.53 c | 664873 | 808 1065 4099 | 33637 21720 109 | 20.551 % | 922.92/923.22 c =============================================================================== 936.12/936.43 c core #96 936.12/936.43 c Core size: 190 Core Weight: 1 Total Weight: 96 936.12/936.43 c Elapsed CPU time: 932.349 s Remaining CPU time: 867.651 s 936.92/937.26 c ============================[ Search Statistics ]============================== 936.92/937.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 936.92/937.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 936.92/937.26 c =============================================================================== 936.92/937.26 c | 0 | 843 1066 4169 | 5000 0 nan | 0.000 % | 937.02/937.37 c | 101 | 843 1066 4169 | 5500 101 38 | 19.867 % | 937.02/937.38 c | 253 | 843 1066 4169 | 6050 253 43 | 19.867 % | 937.12/937.40 c | 478 | 843 1066 4169 | 6655 478 44 | 19.867 % | 937.12/937.43 c | 817 | 843 1066 4169 | 7320 817 52 | 19.867 % | 937.12/937.50 c | 1323 | 843 1066 4169 | 8052 1323 62 | 19.867 % | 937.23/937.56 c | 2086 | 843 1066 4169 | 8857 2086 71 | 19.867 % | 937.42/937.72 c | 3229 | 843 1066 4169 | 9743 3229 73 | 19.867 % | 937.62/937.95 c | 4937 | 843 1066 4169 | 10717 4937 82 | 19.867 % | 938.12/938.42 c | 7500 | 843 1066 4169 | 11789 7500 85 | 19.867 % | 939.12/939.44 c | 11345 | 843 1066 4169 | 12968 11345 92 | 19.867 % | 942.52/942.81 c | 17111 | 843 1066 4169 | 14265 10453 109 | 19.867 % | 947.51/947.85 c | 25761 | 843 1066 4169 | 15692 11778 111 | 19.867 % | 956.81/957.16 c | 38735 | 843 1066 4169 | 17261 8711 120 | 19.867 % | 967.92/968.20 c | 58197 | 843 1066 4169 | 18987 10569 121 | 19.867 % | 988.70/989.09 c | 87389 | 843 1066 4169 | 20886 10653 121 | 19.867 % | 1012.10/1012.40 c | 131178 | 843 1066 4169 | 22974 11844 123 | 19.867 % | 1056.89/1057.20 c | 196867 | 843 1066 4169 | 25272 19218 137 | 19.867 % | 1128.57/1128.95 c | 295395 | 843 1066 4169 | 27799 24940 81 | 19.867 % | 1236.54/1236.94 c | 443186 | 842 1066 4169 | 30579 16918 110 | 19.962 % | 1419.19/1419.69 c | 664873 | 842 1066 4169 | 33637 21549 73 | 19.962 % | 1683.01/1683.53 c | 997399 | 842 1066 4169 | 37001 16212 88 | 19.962 % |
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-1876220-1245156856/watcher-1876220-1245156856 -o /tmp/evaluation-result-1876220-1245156856/solver-1876220-1245156856 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876220-1245156856.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.00 1.00 1.00 3/64 5298 /proc/meminfo: memFree=1913176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=2524 CPUtime=0 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 183282620 2584576 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 631 189 133 292 0 336 0 [startup+0.089157 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5298 /proc/meminfo: memFree=1913176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=2876 CPUtime=0.08 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 306 0 0 0 8 0 0 0 18 0 1 0 183282620 2945024 284 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 719 284 135 292 0 424 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2876 [startup+0.102158 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5298 /proc/meminfo: memFree=1913176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=3008 CPUtime=0.09 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 329 0 0 0 9 0 0 0 18 0 1 0 183282620 3080192 307 1992294400 134512640 135709839 4294956240 18446744073709551615 135182886 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 752 307 135 292 0 457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3008 [startup+0.302191 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5298 /proc/meminfo: memFree=1913176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=3552 CPUtime=0.29 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 489 0 0 0 29 0 0 0 19 0 1 0 183282620 3637248 467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 888 467 136 292 0 593 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3552 [startup+0.701219 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5298 /proc/meminfo: memFree=1913176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=4088 CPUtime=0.69 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 614 0 0 0 68 1 0 0 22 0 1 0 183282620 4186112 592 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 1022 592 136 292 0 727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4088 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1910992/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=5276 CPUtime=1.49 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 917 0 0 0 147 2 0 0 25 0 1 0 183282620 5402624 895 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 1319 895 136 292 0 1024 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5276 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1908880/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=7916 CPUtime=3.09 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 1567 0 0 0 306 3 0 0 25 0 1 0 183282620 8105984 1545 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 1979 1545 136 292 0 1684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7916 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1905176/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=11136 CPUtime=6.29 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 2370 0 0 0 625 4 0 0 25 0 1 0 183282620 11403264 2348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 2784 2348 136 292 0 2489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11136 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1900456/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=14700 CPUtime=12.69 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 3250 0 0 0 1262 7 0 0 25 0 1 0 183282620 15052800 3228 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 3675 3228 136 292 0 3380 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14700 [startup+25.5027 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1893360/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=21996 CPUtime=25.49 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 5083 0 0 0 2538 11 0 0 25 0 1 0 183282620 22523904 5061 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 5499 5061 136 292 0 5204 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21996 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1876336/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=39372 CPUtime=51.07 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 9413 0 0 0 5088 19 0 0 25 0 1 0 183282620 40316928 9391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 9843 9391 136 292 0 9548 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39372 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1822448/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=92952 CPUtime=102.26 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 22771 0 0 0 10178 48 0 0 25 0 1 0 183282620 95182848 22749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 23238 22749 136 292 0 22943 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92952 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1769328/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=146704 CPUtime=162.24 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 36194 0 0 0 16148 76 0 0 25 0 1 0 183282620 150224896 36172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 36676 36172 136 292 0 36381 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 146704 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1727344/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=188080 CPUtime=222.23 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 46482 0 0 0 22124 99 0 0 25 0 1 0 183282620 192593920 46460 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 47020 46460 136 292 0 46725 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 188080 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1687408/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=228196 CPUtime=282.21 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 56489 0 0 0 28097 124 0 0 25 0 1 0 183282620 233672704 56467 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 57049 56467 136 292 0 56754 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 228196 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1670320/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=244404 CPUtime=342.19 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 60724 0 0 0 34068 151 0 0 25 0 1 0 183282620 250269696 60674 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 61101 60674 136 292 0 60806 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 244404 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5299 /proc/meminfo: memFree=1624816/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=290832 CPUtime=402.17 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 72291 0 0 0 40035 182 0 0 25 0 1 0 183282620 297811968 72241 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 72708 72241 136 292 0 72413 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 290832 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1584744/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=329716 CPUtime=462.16 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 81981 0 0 0 46008 208 0 0 25 0 1 0 183282620 337629184 81931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 82429 81931 136 292 0 82134 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 329716 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1543464/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=371852 CPUtime=522.14 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 92462 0 0 0 51979 235 0 0 25 0 1 0 183282620 380776448 92412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 92963 92412 136 292 0 92668 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 371852 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1501928/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=412904 CPUtime=582.12 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 102700 0 0 0 57958 254 0 0 25 0 1 0 183282620 422813696 102650 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 103226 102650 136 292 0 102931 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 412904 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1466088/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=448416 CPUtime=642.11 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 111559 0 0 0 63935 276 0 0 25 0 1 0 183282620 459177984 111509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 112104 111509 136 292 0 111809 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 448416 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1318832/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=595696 CPUtime=882.03 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 148290 0 0 0 87842 361 0 0 25 0 1 0 183282620 609992704 148240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 148924 148240 136 292 0 148629 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 595696 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1272944/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=641308 CPUtime=942.02 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 159718 0 0 0 93818 384 0 0 25 0 1 0 183282620 656699392 159668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 160327 159668 136 292 0 160032 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 641308 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1265008/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=648444 CPUtime=1002.01 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 161716 0 0 0 99792 409 0 0 25 0 1 0 183282620 664006656 161666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 162111 161666 136 292 0 161816 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 648444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1217648/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=696064 CPUtime=1061.99 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 173590 0 0 0 105764 435 0 0 25 0 1 0 183282620 712769536 173540 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 174016 173540 136 292 0 173721 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 696064 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1188848/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=724580 CPUtime=1121.97 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 180664 0 0 0 111737 460 0 0 25 0 1 0 183282620 741969920 180614 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 181145 180614 136 292 0 180850 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 724580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1152816/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=761468 CPUtime=1181.96 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 189831 0 0 0 117709 487 0 0 25 0 1 0 183282620 779743232 189781 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 190367 189781 136 292 0 190072 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 761468 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1117360/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=796460 CPUtime=1241.94 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 198541 0 0 0 123680 514 0 0 25 0 1 0 183282620 815575040 198491 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 199115 198491 136 292 0 198820 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 796460 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1075120/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=838204 CPUtime=1301.92 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 208984 0 0 0 129652 540 0 0 25 0 1 0 183282620 858320896 208934 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 209551 208934 136 292 0 209256 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 838204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1041584/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=872192 CPUtime=1361.9 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 217451 0 0 0 135626 564 0 0 25 0 1 0 183282620 893124608 217401 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 218048 217401 136 292 0 217753 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 872192 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=1000880/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=912524 CPUtime=1421.89 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 227520 0 0 0 141599 590 0 0 25 0 1 0 183282620 934424576 227470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 228131 227470 136 292 0 227836 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 912524 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=957680/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=956284 CPUtime=1481.87 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 238406 0 0 0 147572 615 0 0 25 0 1 0 183282620 979234816 238356 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 239071 238356 136 292 0 238776 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 956284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=920112/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=993384 CPUtime=1541.85 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 247666 0 0 0 153548 637 0 0 25 0 1 0 183282620 1017225216 247616 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 248346 247616 136 292 0 248051 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 993384 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=884080/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=1030036 CPUtime=1601.84 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 256840 0 0 0 159523 661 0 0 25 0 1 0 183282620 1054756864 256790 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 257509 256790 136 292 0 257214 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1030036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5305 /proc/meminfo: memFree=844656/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=1068876 CPUtime=1661.82 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 266512 0 0 0 165501 681 0 0 25 0 1 0 183282620 1094529024 266462 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 267219 266462 136 292 0 266924 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1068876 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 5305 /proc/meminfo: memFree=802416/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=1111776 CPUtime=1721.81 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 277208 0 0 0 171476 705 0 0 25 0 1 0 183282620 1138458624 277158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 277944 277158 136 292 0 277649 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1111776 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5305 /proc/meminfo: memFree=760624/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=1152984 CPUtime=1781.79 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 287506 0 0 0 177450 729 0 0 25 0 1 0 183282620 1180655616 287456 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 288246 287456 136 292 0 287951 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1152984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.02 1.00 2/65 5305 /proc/meminfo: memFree=749936/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=1163280 CPUtime=1800.09 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4194304 290072 0 0 0 179274 735 0 0 25 0 1 0 183282620 1191198720 290022 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 290820 290022 136 292 0 290525 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1163280 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.05 1.02 1.00 2/65 5305 /proc/meminfo: memFree=749936/2055920 swapFree=4192812/4192956 [pid=5298] ppid=5296 vsize=0 CPUtime=1800.19 /proc/5298/stat : 5298 (wbo) R 5296 5298 5255 0 -1 4195332 290072 0 0 0 179274 745 0 0 25 0 1 0 183282620 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5298/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.79 CPU time (s): 1800.28 CPU user time (s): 1792.74 CPU system time (s): 7.53185 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1163280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.74 system time used= 7.53185 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290072 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= 2801 runsolver used 1.11983 second user time and 3.98339 second system time The end
Begin job on node45 at 2009-06-16 14:54:16 IDJOB=1876220 IDBENCH=2154 IDSOLVER=698 FILE ID=node45/1876220-1245156856 PBS_JOBID= 9363819 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.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-1876220-1245156856/watcher-1876220-1245156856 -o /tmp/evaluation-result-1876220-1245156856/solver-1876220-1245156856 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876220-1245156856.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2e884e5a30d38dd91c4cf82767b345c RANDOM SEED=46586232 node45.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.240 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.240 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: 1913656 kB Buffers: 20424 kB Cached: 59540 kB SwapCached: 140 kB Active: 56596 kB Inactive: 37332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1913656 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2428 kB Writeback: 0 kB Mapped: 23612 kB Slab: 34372 kB Committed_AS: 154108 kB PageTables: 1380 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-1876220-1245156856.opb Free space on /tmp at the end= 66172 MiB End job on node45 at 2009-06-16 15:24:19