Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1805.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb |
MD5SUM | 577b644759bfadb428b7642b44c91218 |
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.013997 |
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 | 440 |
Number of constraints which are clauses | 440 |
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 | 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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
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-1876196-1245154120.opb. 0.00/0.00 c Instance file HOME/instance-1876196-1245154120.opb 0.00/0.00 c File size is 13977 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: 640 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 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.000999 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.001999 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.001999 s Remaining CPU time: 1800 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 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.005999 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.005999 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.006998 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.006998 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.007998 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.007998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 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.011998 s Remaining CPU time: 1799.99 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.012998 s Remaining CPU time: 1799.99 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.012998 s Remaining CPU time: 1799.99 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.013997 s Remaining CPU time: 1799.99 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.014997 s Remaining CPU time: 1799.99 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.014997 s Remaining CPU time: 1799.99 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.015997 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.015997 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.016997 s Remaining CPU time: 1799.98 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.016997 s Remaining CPU time: 1799.98 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.017997 s Remaining CPU time: 1799.98 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.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #35 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #36 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #37 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #38 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #39 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 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.021996 s Remaining CPU time: 1799.98 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.022996 s Remaining CPU time: 1799.98 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.022996 s Remaining CPU time: 1799.98 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.023996 s Remaining CPU time: 1799.98 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.024996 s Remaining CPU time: 1799.98 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.024996 s Remaining CPU time: 1799.98 s 0.00/0.03 c core #46 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #47 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #48 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #49 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #50 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #51 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #52 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #53 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #54 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #55 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 55 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #56 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 56 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #57 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 57 0.00/0.04 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #58 0.00/0.04 c Core size: 9 Core Weight: 1 Total Weight: 58 0.00/0.04 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #59 0.00/0.04 c Core size: 28 Core Weight: 1 Total Weight: 59 0.00/0.04 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #60 0.00/0.04 c Core size: 16 Core Weight: 1 Total Weight: 60 0.00/0.04 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #61 0.00/0.04 c Core size: 26 Core Weight: 1 Total Weight: 61 0.00/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #62 0.00/0.04 c Core size: 44 Core Weight: 1 Total Weight: 62 0.00/0.04 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 399 702 1816 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #63 0.00/0.04 c Core size: 13 Core Weight: 1 Total Weight: 63 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 406 703 1830 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #64 0.00/0.04 c Core size: 18 Core Weight: 1 Total Weight: 64 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c Learning 2 hard constraints 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 414 706 1852 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #65 0.00/0.04 c Core size: 64 Core Weight: 1 Total Weight: 65 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 1 hard constraints 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 | 439 708 1904 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #66 0.00/0.05 c Core size: 120 Core Weight: 1 Total Weight: 66 0.00/0.05 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 2 hard constraints 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 | 485 711 2002 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #67 0.00/0.05 c Core size: 35 Core Weight: 1 Total Weight: 67 0.00/0.05 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 1 hard constraints 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 | 500 713 2035 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #68 0.00/0.05 c Core size: 53 Core Weight: 1 Total Weight: 68 0.00/0.05 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 3 hard constraints 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 | 517 717 2078 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #69 0.00/0.05 c Core size: 130 Core Weight: 1 Total Weight: 69 0.00/0.05 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 2 hard constraints 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 | 549 720 2147 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #70 0.00/0.05 c Core size: 73 Core Weight: 1 Total Weight: 70 0.00/0.05 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 4 hard constraints 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 | 570 725 2199 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 568 725 2199 | 5500 77 7 | 0.354 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #71 0.00/0.06 c Core size: 350 Core Weight: 1 Total Weight: 71 0.00/0.06 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.06 c Learning 11 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 | 655 737 2401 | 5000 0 nan | 0.000 % | 0.00/0.07 c | 104 | 655 737 2401 | 5500 104 12 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #72 0.00/0.07 c Core size: 356 Core Weight: 1 Total Weight: 72 0.00/0.07 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.07 c Learning 17 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 | 753 755 2651 | 5000 0 nan | 0.000 % | 0.00/0.07 c | 100 | 753 755 2651 | 5500 100 24 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #73 0.00/0.08 c Core size: 262 Core Weight: 1 Total Weight: 73 0.00/0.08 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.08 c Learning 37 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 | 765 793 2833 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #74 0.00/0.09 c Core size: 209 Core Weight: 1 Total Weight: 74 0.00/0.09 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.09 c Learning 11 hard constraints 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 773 805 2896 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #75 0.00/0.09 c Core size: 211 Core Weight: 1 Total Weight: 75 0.00/0.09 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.07/0.09 c Learning 7 hard constraints 0.07/0.09 c ============================[ Search Statistics ]============================== 0.07/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 785 813 2950 | 5000 0 nan | 0.000 % | 0.07/0.10 c =============================================================================== 0.07/0.10 c core #76 0.07/0.10 c Core size: 207 Core Weight: 1 Total Weight: 76 0.07/0.10 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.07/0.10 c Learning 5 hard constraints 0.07/0.10 c ============================[ Search Statistics ]============================== 0.07/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.10 c =============================================================================== 0.07/0.10 c | 0 | 805 819 3003 | 5000 0 nan | 0.000 % | 0.08/0.10 c =============================================================================== 0.08/0.10 c core #77 0.08/0.10 c Core size: 198 Core Weight: 1 Total Weight: 77 0.08/0.10 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.08/0.10 c Learning 5 hard constraints 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 | 817 825 3044 | 5000 0 nan | 0.000 % | 0.08/0.10 c =============================================================================== 0.08/0.10 c core #78 0.08/0.10 c Core size: 128 Core Weight: 1 Total Weight: 78 0.08/0.10 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.08/0.11 c Learning 4 hard constraints 0.08/0.11 c ============================[ Search Statistics ]============================== 0.08/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.11 c =============================================================================== 0.08/0.11 c | 0 | 621 830 3064 | 5000 0 nan | 0.000 % | 0.08/0.11 c =============================================================================== 0.08/0.11 c core #79 0.08/0.11 c Core size: 162 Core Weight: 1 Total Weight: 79 0.08/0.11 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.08/0.11 c ============================[ Search Statistics ]============================== 0.08/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.11 c =============================================================================== 0.08/0.11 c | 0 | 635 831 3092 | 5000 0 nan | 0.000 % | 0.08/0.11 c =============================================================================== 0.08/0.11 c core #80 0.08/0.11 c Core size: 177 Core Weight: 1 Total Weight: 80 0.08/0.11 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.08/0.11 c ============================[ Search Statistics ]============================== 0.08/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.11 c =============================================================================== 0.08/0.11 c | 0 | 654 832 3130 | 5000 0 nan | 0.000 % | 0.08/0.12 c | 100 | 654 832 3130 | 5500 100 23 | 23.687 % | 0.08/0.12 c =============================================================================== 0.08/0.12 c core #81 0.08/0.12 c Core size: 178 Core Weight: 1 Total Weight: 81 0.08/0.12 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.08/0.12 c ============================[ Search Statistics ]============================== 0.08/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.12 c =============================================================================== 0.08/0.12 c | 0 | 673 833 3168 | 5000 0 nan | 0.000 % | 0.08/0.13 c | 101 | 673 833 3168 | 5500 101 30 | 23.174 % | 0.08/0.13 c =============================================================================== 0.08/0.13 c core #82 0.08/0.13 c Core size: 155 Core Weight: 1 Total Weight: 82 0.08/0.13 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.08/0.13 c ============================[ Search Statistics ]============================== 0.08/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.13 c =============================================================================== 0.08/0.13 c | 0 | 686 834 3194 | 5000 0 nan | 0.000 % | 0.08/0.13 c | 100 | 686 834 3194 | 5500 100 29 | 22.835 % | 0.08/0.14 c | 251 | 686 834 3194 | 6050 251 28 | 22.835 % | 0.08/0.15 c =============================================================================== 0.08/0.15 c core #83 0.08/0.15 c Core size: 190 Core Weight: 1 Total Weight: 83 0.08/0.15 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.08/0.15 c ============================[ Search Statistics ]============================== 0.08/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.15 c =============================================================================== 0.08/0.15 c | 0 | 709 835 3240 | 5000 0 nan | 0.000 % | 0.08/0.15 c | 101 | 709 835 3240 | 5500 101 35 | 22.259 % | 0.08/0.16 c | 251 | 709 835 3240 | 6050 251 29 | 22.259 % | 0.08/0.17 c | 477 | 709 835 3240 | 6655 477 32 | 22.259 % | 0.08/0.19 c | 814 | 709 835 3240 | 7320 814 38 | 22.259 % | 0.18/0.23 c | 1321 | 709 835 3240 | 8052 1321 42 | 22.259 % | 0.26/0.32 c | 2081 | 709 835 3240 | 8857 2081 43 | 22.259 % | 0.35/0.41 c =============================================================================== 0.35/0.43 c core #84 0.35/0.43 c Core size: 196 Core Weight: 1 Total Weight: 84 0.35/0.43 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.35/0.43 c ============================[ Search Statistics ]============================== 0.35/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.35/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.35/0.43 c =============================================================================== 0.35/0.43 c | 0 | 735 836 3292 | 5000 0 nan | 0.000 % | 0.35/0.44 c | 100 | 735 836 3292 | 5500 100 47 | 21.642 % | 0.35/0.45 c | 251 | 735 836 3292 | 6050 251 64 | 21.642 % | 0.35/0.46 c | 476 | 735 836 3292 | 6655 476 79 | 21.642 % | 0.46/0.50 c | 814 | 735 836 3292 | 7320 814 84 | 21.642 % | 0.46/0.54 c | 1323 | 735 836 3292 | 8052 1323 76 | 21.642 % | 0.56/0.65 c | 2086 | 735 836 3292 | 8857 2086 81 | 21.642 % | 0.66/0.79 c | 3225 | 735 836 3292 | 9743 3225 75 | 21.642 % | 1.06/1.12 c | 4934 | 735 836 3292 | 10717 4934 74 | 21.642 % | 1.85/1.93 c | 7497 | 735 836 3292 | 11789 7497 77 | 21.642 % | 3.33/3.42 c | 11348 | 735 836 3292 | 12968 11348 78 | 21.642 % | 5.91/6.06 c | 17122 | 735 836 3292 | 14265 10511 76 | 21.642 % | 10.89/11.03 c | 25772 | 735 836 3292 | 15692 11894 76 | 21.642 % | 16.16/16.36 c | 38747 | 735 836 3292 | 17261 8866 68 | 21.642 % | 25.08/25.37 c | 58209 | 721 836 3292 | 18987 4859 58 | 23.134 % | 25.47/25.72 c =============================================================================== 26.38/26.63 c core #85 26.38/26.63 c Core size: 197 Core Weight: 1 Total Weight: 85 26.38/26.63 c Elapsed CPU time: 26.211 s Remaining CPU time: 1773.79 s 26.38/26.69 c ============================[ Search Statistics ]============================== 26.38/26.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.38/26.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.38/26.69 c =============================================================================== 26.38/26.69 c | 0 | 761 837 3344 | 5000 0 nan | 0.000 % | 26.48/26.71 c | 100 | 761 837 3344 | 5500 100 49 | 21.058 % | 26.48/26.71 c | 252 | 761 837 3344 | 6050 252 39 | 21.058 % | 26.48/26.73 c | 478 | 761 837 3344 | 6655 478 58 | 21.058 % | 26.48/26.77 c | 816 | 761 837 3344 | 7320 816 84 | 21.058 % | 26.57/26.83 c | 1322 | 761 837 3344 | 8052 1322 98 | 21.058 % | 26.67/26.91 c | 2083 | 761 837 3344 | 8857 2083 100 | 21.058 % | 26.87/27.16 c | 3223 | 761 837 3344 | 9743 3223 104 | 21.058 % | 27.37/27.64 c | 4932 | 761 837 3344 | 10717 4932 109 | 21.058 % | 27.86/28.14 c | 7496 | 761 837 3344 | 11789 7496 105 | 21.058 % | 29.15/29.42 c | 11340 | 761 837 3344 | 12968 11340 106 | 21.058 % | 31.65/31.95 c | 17107 | 761 837 3344 | 14265 10395 106 | 21.058 % | 36.09/36.41 c | 25756 | 761 837 3344 | 15692 11716 104 | 21.058 % | 37.79/38.10 c =============================================================================== 37.79/38.10 c core #86 37.79/38.10 c Core size: 168 Core Weight: 1 Total Weight: 86 37.79/38.10 c Elapsed CPU time: 37.5063 s Remaining CPU time: 1762.49 s 37.79/38.14 c ============================[ Search Statistics ]============================== 37.79/38.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.79/38.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.79/38.14 c =============================================================================== 37.79/38.14 c | 0 | 775 838 3372 | 5000 0 nan | 0.000 % | 37.79/38.15 c | 100 | 775 838 3372 | 5500 100 46 | 20.757 % | 37.79/38.16 c =============================================================================== 37.79/38.16 c core #87 37.79/38.16 c Core size: 168 Core Weight: 1 Total Weight: 87 37.79/38.16 c Elapsed CPU time: 37.5583 s Remaining CPU time: 1762.44 s 37.79/38.16 c ============================[ Search Statistics ]============================== 37.79/38.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.79/38.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.79/38.16 c =============================================================================== 37.79/38.16 c | 0 | 792 839 3406 | 5000 0 nan | 0.000 % | 37.79/38.16 c | 100 | 792 839 3406 | 5500 100 33 | 20.402 % | 37.79/38.16 c =============================================================================== 37.79/38.16 c core #88 37.79/38.16 c Core size: 90 Core Weight: 1 Total Weight: 88 37.79/38.16 c Elapsed CPU time: 37.5663 s Remaining CPU time: 1762.43 s 37.79/38.17 c ============================[ Search Statistics ]============================== 37.79/38.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.79/38.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.79/38.17 c =============================================================================== 37.79/38.17 c | 0 | 800 840 3422 | 5000 0 nan | 0.000 % | 37.79/38.17 c | 101 | 800 840 3422 | 5500 101 51 | 20.239 % | 37.79/38.18 c | 252 | 800 840 3422 | 6050 252 73 | 20.239 % | 37.88/38.20 c | 478 | 800 840 3422 | 6655 478 68 | 20.239 % | 37.88/38.22 c | 816 | 800 840 3422 | 7320 816 71 | 20.239 % | 37.88/38.28 c | 1322 | 800 840 3422 | 8052 1322 85 | 20.239 % | 37.99/38.39 c | 2082 | 800 840 3422 | 8857 2082 100 | 20.239 % | 38.38/38.72 c | 3221 | 800 840 3422 | 9743 3221 103 | 20.239 % | 38.67/39.08 c | 4929 | 800 840 3422 | 10717 4929 100 | 20.239 % | 39.27/39.60 c | 7492 | 800 840 3422 | 11789 7492 102 | 20.239 % | 40.56/40.97 c | 11337 | 800 840 3422 | 12968 11337 100 | 20.239 % | 42.97/43.34 c | 17108 | 800 840 3422 | 14265 10445 98 | 20.239 % | 47.56/47.95 c | 25759 | 800 840 3422 | 15692 11798 95 | 20.239 % | 53.56/53.93 c | 38734 | 800 840 3422 | 17261 8765 92 | 20.239 % | 64.55/65.00 c =============================================================================== 64.64/65.01 c core #89 64.64/65.01 c Core size: 169 Core Weight: 1 Total Weight: 89 64.64/65.01 c Elapsed CPU time: 64.2382 s Remaining CPU time: 1735.76 s 64.64/65.07 c ============================[ Search Statistics ]============================== 64.64/65.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.64/65.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.64/65.07 c =============================================================================== 64.64/65.07 c | 0 | 814 841 3450 | 5000 0 nan | 0.000 % | 64.64/65.08 c | 102 | 814 841 3450 | 5500 102 20 | 19.961 % | 64.64/65.09 c | 253 | 812 841 3450 | 6050 240 24 | 20.157 % | 64.64/65.10 c =============================================================================== 64.74/65.10 c core #90 64.74/65.10 c Core size: 184 Core Weight: 1 Total Weight: 90 64.74/65.10 c Elapsed CPU time: 64.3282 s Remaining CPU time: 1735.67 s 64.74/65.10 c ============================[ Search Statistics ]============================== 64.74/65.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.74/65.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.74/65.10 c =============================================================================== 64.74/65.10 c | 0 | 839 842 3500 | 5000 0 nan | 0.000 % | 64.74/65.11 c | 100 | 839 842 3500 | 5500 100 59 | 19.482 % | 64.74/65.11 c | 252 | 839 842 3500 | 6050 252 47 | 19.482 % | 64.74/65.13 c | 477 | 839 842 3500 | 6655 477 50 | 19.482 % | 64.74/65.15 c | 816 | 839 842 3500 | 7320 816 48 | 19.482 % | 64.74/65.18 c | 1332 | 839 842 3500 | 8052 1332 45 | 19.482 % | 64.85/65.24 c | 2093 | 839 842 3500 | 8857 2093 43 | 19.482 % | 64.95/65.31 c | 3235 | 839 842 3500 | 9743 3235 41 | 19.482 % | 65.15/65.57 c | 4943 | 839 842 3500 | 10717 4943 44 | 19.482 % | 65.65/66.10 c | 7508 | 839 842 3500 | 11789 7508 46 | 19.482 % | 65.95/66.33 c =============================================================================== 66.04/66.40 c core #91 66.04/66.40 c Core size: 217 Core Weight: 1 Total Weight: 91 66.04/66.40 c Elapsed CPU time: 65.611 s Remaining CPU time: 1734.39 s 66.04/66.41 c ============================[ Search Statistics ]============================== 66.04/66.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.04/66.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.04/66.41 c =============================================================================== 66.04/66.41 c | 0 | 868 843 3558 | 5000 0 nan | 0.000 % | 66.04/66.42 c | 101 | 868 843 3558 | 5500 101 55 | 18.954 % | 66.04/66.43 c | 253 | 868 843 3558 | 6050 253 42 | 18.954 % | 66.04/66.44 c | 478 | 868 843 3558 | 6655 478 52 | 18.954 % | 66.04/66.46 c | 817 | 868 843 3558 | 7320 817 50 | 18.954 % | 66.14/66.51 c | 1324 | 868 843 3558 | 8052 1324 66 | 18.954 % | 66.25/66.61 c | 2084 | 868 843 3558 | 8857 2084 79 | 18.954 % | 66.45/66.80 c | 3223 | 868 843 3558 | 9743 3223 86 | 18.954 % | 66.84/67.22 c | 4933 | 868 843 3558 | 10717 4933 95 | 18.954 % | 67.65/68.09 c | 7495 | 868 843 3558 | 11789 7495 102 | 18.954 % | 69.54/69.95 c | 11342 | 868 843 3558 | 12968 11342 108 | 18.954 % | 72.45/72.82 c | 17109 | 868 843 3558 | 14265 10494 114 | 18.954 % | 76.85/77.25 c | 25759 | 868 843 3558 | 15692 11801 109 | 18.954 % | 87.54/87.93 c | 38735 | 868 843 3558 | 17261 8693 112 | 18.954 % | 99.34/99.77 c | 58196 | 868 843 3558 | 18987 10569 99 | 18.954 % | 118.62/119.03 c | 87389 | 868 843 3558 | 20886 10790 107 | 18.954 % | 153.41/153.84 c | 131181 | 868 843 3558 | 22974 12134 107 | 18.954 % | 200.56/201.06 c | 196865 | 868 843 3558 | 25272 19488 87 | 18.954 % | 266.49/267.05 c =============================================================================== 271.59/272.20 c core #92 271.59/272.20 c Core size: 218 Core Weight: 1 Total Weight: 92 271.59/272.20 c Elapsed CPU time: 270.364 s Remaining CPU time: 1529.64 s 271.99/272.51 c ============================[ Search Statistics ]============================== 271.99/272.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 271.99/272.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 271.99/272.51 c =============================================================================== 271.99/272.51 c | 0 | 904 844 3630 | 5000 0 nan | 0.000 % | 271.99/272.57 c | 101 | 904 844 3630 | 5500 101 65 | 18.338 % | 271.99/272.58 c | 251 | 904 844 3630 | 6050 251 44 | 18.338 % | 271.99/272.59 c | 476 | 904 844 3630 | 6655 476 46 | 18.338 % | 272.09/272.61 c | 817 | 904 844 3630 | 7320 817 44 | 18.338 % | 272.09/272.64 c | 1323 | 904 844 3630 | 8052 1323 55 | 18.338 % | 272.20/272.73 c | 2082 | 904 844 3630 | 8857 2082 73 | 18.338 % | 272.30/272.82 c | 3221 | 904 844 3630 | 9743 3221 63 | 18.338 % | 272.49/273.06 c | 4930 | 904 844 3630 | 10717 4930 70 | 18.338 % | 273.09/273.60 c | 7492 | 904 844 3630 | 11789 7492 80 | 18.338 % | 274.09/274.62 c | 11336 | 904 844 3630 | 12968 11336 95 | 18.338 % | 276.69/277.24 c | 17105 | 904 844 3630 | 14265 10397 120 | 18.338 % | 280.89/281.47 c | 25755 | 904 844 3630 | 15692 11741 133 | 18.338 % | 289.39/289.94 c | 38731 | 904 844 3630 | 17261 8665 131 | 18.338 % | 302.99/303.55 c | 58193 | 904 844 3630 | 18987 10530 123 | 18.338 % | 321.37/322.00 c | 87386 | 904 844 3630 | 20886 10710 130 | 18.338 % | 350.06/350.60 c | 131175 | 904 844 3630 | 22974 11913 114 | 18.338 % | 392.16/392.88 c | 196859 | 904 844 3630 | 25272 19144 126 | 18.338 % | 442.71/443.75 c | 295387 | 901 844 3630 | 27799 13189 100 | 18.609 % | 565.22/566.34 c | 443181 | 901 844 3630 | 30579 23452 145 | 18.609 % | 765.32/767.21 c | 664865 | 901 844 3630 | 33637 13235 106 | 18.609 % | 820.11/822.02 c =============================================================================== 829.89/831.83 c core #93 829.89/831.83 c Core size: 298 Core Weight: 1 Total Weight: 93 829.89/831.83 c Elapsed CPU time: 826.13 s Remaining CPU time: 973.87 s 830.60/832.60 c ============================[ Search Statistics ]============================== 830.60/832.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 830.60/832.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 830.60/832.60 c =============================================================================== 830.60/832.60 c | 0 | 971 845 3764 | 5000 0 nan | 0.000 % | 830.69/832.70 c | 103 | 971 845 3764 | 5500 103 49 | 17.291 % | 830.80/832.71 c | 253 | 971 845 3764 | 6050 253 41 | 17.291 % | 830.80/832.73 c | 480 | 971 845 3764 | 6655 480 54 | 17.291 % | 830.80/832.80 c | 818 | 971 845 3764 | 7320 818 58 | 17.291 % | 830.90/832.84 c | 1324 | 971 845 3764 | 8052 1324 60 | 17.291 % | 830.99/832.90 c | 2084 | 971 845 3764 | 8857 2084 72 | 17.291 % | 831.09/833.06 c | 3225 | 971 845 3764 | 9743 3225 91 | 17.291 % | 831.49/833.40 c | 4934 | 971 845 3764 | 10717 4934 118 | 17.291 % | 832.10/834.08 c | 7497 | 971 845 3764 | 11789 7497 145 | 17.291 % | 832.90/834.89 c | 11343 | 971 845 3764 | 12968 11343 132 | 17.291 % | 834.19/836.19 c | 17111 | 971 845 3764 | 14265 10364 80 | 17.291 % | 837.98/839.90 c | 25761 | 971 845 3764 | 15692 11545 105 | 17.291 % | 843.18/845.13 c | 38736 | 971 845 3764 | 17261 8449 155 | 17.291 % | 861.17/863.13 c | 58200 | 971 845 3764 | 18987 10284 185 | 17.291 % | 879.18/881.16 c | 87392 | 971 845 3764 | 20886 10219 53 | 17.291 % | 898.12/900.20 c | 131182 | 971 845 3764 | 22974 11460 99 | 17.291 % | 930.89/933.18 c | 196868 | 971 845 3764 | 25272 18606 113 | 17.291 % | 1002.65/1005.40 c | 295394 | 971 845 3764 | 27799 14042 137 | 17.291 % | 1193.30/1196.22 c | 443185 | 971 845 3764 | 30579 27491 90 | 17.291 % | 1354.16/1357.62 c | 664872 | 971 845 3764 | 33637 17274 94 | 17.291 % | 1715.23/1720.18 c | 997397 | 971 845 3764 | 37001 22897 183 | 17.291 % |
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-1876196-1245154120/watcher-1876196-1245154120 -o /tmp/evaluation-result-1876196-1245154120/solver-1876196-1245154120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876196-1245154120.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: 2.01 2.10 1.99 4/73 15067 /proc/meminfo: memFree=633920/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=18576 CPUtime=0 /proc/15067/stat : 15067 (runsolver) R 15065 15067 14711 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 183010980 19021824 284 1992294400 4194304 4302564 548682068512 18446744073709551615 269807578407 0 0 4096 24578 0 0 0 17 0 0 0 /proc/15067/statm: 4644 284 249 26 0 2626 0 [startup+0.0967759 s] /proc/loadavg: 2.01 2.10 1.99 4/73 15067 /proc/meminfo: memFree=633920/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=2944 CPUtime=0.07 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 313 0 0 0 7 0 0 0 18 0 1 0 183010980 3014656 293 1992294400 134512640 135709839 4294956240 18446744073709551615 135183520 0 0 4096 3 0 0 0 17 0 0 0 /proc/15067/statm: 736 293 136 292 0 441 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2944 [startup+0.102776 s] /proc/loadavg: 2.01 2.10 1.99 4/73 15067 /proc/meminfo: memFree=633920/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=2944 CPUtime=0.08 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 328 0 0 0 8 0 0 0 18 0 1 0 183010980 3014656 308 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15067/statm: 736 308 136 292 0 441 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2944 [startup+0.302826 s] /proc/loadavg: 2.01 2.10 1.99 4/73 15067 /proc/meminfo: memFree=633920/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=3552 CPUtime=0.26 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 489 0 0 0 25 1 0 0 18 0 1 0 183010980 3637248 469 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/15067/statm: 888 469 136 292 0 593 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 3552 [startup+0.70189 s] /proc/loadavg: 2.01 2.10 1.99 4/73 15067 /proc/meminfo: memFree=633920/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=4476 CPUtime=0.66 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 704 0 0 0 63 3 0 0 22 0 1 0 183010980 4583424 684 1992294400 134512640 135709839 4294956240 18446744073709551615 134972105 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 1119 684 136 292 0 824 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 4476 [startup+1.50104 s] /proc/loadavg: 2.01 2.09 1.99 4/74 15068 /proc/meminfo: memFree=630904/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=6328 CPUtime=1.45 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 1184 0 0 0 141 4 0 0 25 0 1 0 183010980 6479872 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 134574218 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 1582 1164 136 292 0 1287 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 6328 [startup+3.10135 s] /proc/loadavg: 2.01 2.09 1.99 3/74 15068 /proc/meminfo: memFree=628728/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=8848 CPUtime=3.04 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 1797 0 0 0 298 6 0 0 25 0 1 0 183010980 9060352 1777 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 2212 1777 136 292 0 1917 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 8848 [startup+6.30194 s] /proc/loadavg: 2.01 2.09 1.99 2/74 15068 /proc/meminfo: memFree=624120/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=12944 CPUtime=6.21 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 2802 0 0 0 613 8 0 0 25 0 1 0 183010980 13254656 2782 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 3236 2782 136 292 0 2941 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 12944 [startup+12.7011 s] /proc/loadavg: 1.94 2.07 1.98 2/74 15068 /proc/meminfo: memFree=617728/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=18644 CPUtime=12.58 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 4245 0 0 0 1247 11 0 0 25 0 1 0 183010980 19091456 4225 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 4661 4225 136 292 0 4366 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 18644 [startup+25.5025 s] /proc/loadavg: 2.03 2.09 1.99 2/74 15068 /proc/meminfo: memFree=602368/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=33900 CPUtime=25.27 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 8064 0 0 0 2508 19 0 0 25 0 1 0 183010980 34713600 8044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 8475 8044 136 292 0 8180 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 33900 [startup+51.103 s] /proc/loadavg: 2.04 2.08 1.99 2/74 15068 /proc/meminfo: memFree=585600/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=51072 CPUtime=50.76 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 12355 0 0 0 5039 37 0 0 25 0 1 0 183010980 52297728 12335 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 12768 12335 136 292 0 12473 0 Current children cumulated CPU time (s) 50.76 Current children cumulated vsize (KiB) 51072 [startup+102.307 s] /proc/loadavg: 1.84 2.02 1.97 2/74 15068 /proc/meminfo: memFree=548544/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=87236 CPUtime=101.94 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 21392 0 0 0 10132 62 0 0 25 0 1 0 183010980 89329664 21372 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 21809 21372 136 292 0 21514 0 Current children cumulated CPU time (s) 101.94 Current children cumulated vsize (KiB) 87236 [startup+162.303 s] /proc/loadavg: 1.78 1.97 1.96 4/74 15068 /proc/meminfo: memFree=497792/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=138236 CPUtime=161.91 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 34095 0 0 0 16104 87 0 0 25 0 1 0 183010980 141553664 34075 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 34559 34075 136 292 0 34264 0 Current children cumulated CPU time (s) 161.91 Current children cumulated vsize (KiB) 138236 [startup+222.301 s] /proc/loadavg: 1.98 2.01 1.97 2/74 15068 /proc/meminfo: memFree=447872/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=187988 CPUtime=221.81 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 46488 0 0 0 22066 115 0 0 25 0 1 0 183010980 192499712 46468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 46997 46468 136 292 0 46702 0 Current children cumulated CPU time (s) 221.81 Current children cumulated vsize (KiB) 187988 [startup+282.302 s] /proc/loadavg: 2.09 2.04 1.98 3/74 15068 /proc/meminfo: memFree=409536/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=225800 CPUtime=281.79 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 56014 0 0 0 28040 139 0 0 25 0 1 0 183010980 231219200 55994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 56450 55994 136 292 0 56155 0 Current children cumulated CPU time (s) 281.79 Current children cumulated vsize (KiB) 225800 [startup+342.302 s] /proc/loadavg: 2.15 2.07 2.00 4/74 15068 /proc/meminfo: memFree=374592/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=260768 CPUtime=341.76 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 64773 0 0 0 34011 165 0 0 25 0 1 0 183010980 267026432 64753 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 65192 64753 136 292 0 64897 0 Current children cumulated CPU time (s) 341.76 Current children cumulated vsize (KiB) 260768 [startup+402.301 s] /proc/loadavg: 1.79 1.99 1.98 3/74 15068 /proc/meminfo: memFree=324736/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=311472 CPUtime=401.6 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 77406 0 0 0 39964 196 0 0 25 0 1 0 183010980 318947328 77386 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 77868 77386 136 292 0 77573 0 Current children cumulated CPU time (s) 401.6 Current children cumulated vsize (KiB) 311472 [startup+462.302 s] /proc/loadavg: 1.78 1.96 1.97 4/74 15068 /proc/meminfo: memFree=261696/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=373900 CPUtime=461.29 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 92981 0 0 0 45903 226 0 0 25 0 1 0 183010980 382873600 92961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 93475 92961 136 292 0 93180 0 Current children cumulated CPU time (s) 461.29 Current children cumulated vsize (KiB) 373900 [startup+522.302 s] /proc/loadavg: 2.09 2.01 1.98 2/74 15068 /proc/meminfo: memFree=214528/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=421316 CPUtime=521.27 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 104780 0 0 0 51875 252 0 0 25 0 1 0 183010980 431427584 104760 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 105329 104760 136 292 0 105034 0 Current children cumulated CPU time (s) 521.27 Current children cumulated vsize (KiB) 421316 [startup+582.302 s] /proc/loadavg: 2.01 2.00 1.98 2/74 15068 /proc/meminfo: memFree=164416/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=471540 CPUtime=581.07 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 117310 0 0 0 57828 279 0 0 25 0 1 0 183010980 482856960 117290 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 117885 117290 136 292 0 117590 0 Current children cumulated CPU time (s) 581.07 Current children cumulated vsize (KiB) 471540 [startup+642.302 s] /proc/loadavg: 2.00 1.99 1.98 3/74 15068 /proc/meminfo: memFree=118784/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=516432 CPUtime=640.69 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 128532 0 0 0 63765 304 0 0 25 0 1 0 183010980 528826368 128512 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 129108 128512 136 292 0 128813 0 Current children cumulated CPU time (s) 640.69 Current children cumulated vsize (KiB) 516432 [startup+702.302 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.06 1.99 1.97 2/74 15068 /proc/meminfo: memFree=15872/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=687356 CPUtime=880.38 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 171451 0 0 0 87635 403 0 0 25 0 1 0 183010980 703852544 171397 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 171839 171397 136 292 0 171544 0 Current children cumulated CPU time (s) 880.38 Current children cumulated vsize (KiB) 687356 [startup+942.301 s] /proc/loadavg: 1.95 1.98 1.97 3/74 15068 /proc/meminfo: memFree=16128/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=731096 CPUtime=940.04 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 182322 0 0 0 93563 441 0 0 25 0 1 0 183010980 748642304 182268 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 182774 182268 136 292 0 182479 0 Current children cumulated CPU time (s) 940.04 Current children cumulated vsize (KiB) 731096 [startup+1002.3 s] /proc/loadavg: 2.36 2.09 2.01 2/74 15068 /proc/meminfo: memFree=15872/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=780176 CPUtime=999.58 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 194562 0 0 0 99481 477 0 0 25 0 1 0 183010980 798900224 194508 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 195044 194508 136 292 0 194749 0 Current children cumulated CPU time (s) 999.58 Current children cumulated vsize (KiB) 780176 [startup+1062.3 s] /proc/loadavg: 2.06 2.04 2.00 3/74 15068 /proc/meminfo: memFree=15232/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=816608 CPUtime=1059.48 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 203619 0 0 0 105450 498 0 0 25 0 1 0 183010980 836206592 203565 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 204152 203565 136 292 0 203857 0 Current children cumulated CPU time (s) 1059.48 Current children cumulated vsize (KiB) 816608 [startup+1122.31 s] /proc/loadavg: 2.29 2.11 2.02 3/74 15068 /proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=839680 CPUtime=1119.46 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 209372 0 0 0 111435 511 0 0 25 0 1 0 183010980 859832320 209318 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 209920 209318 136 292 0 209625 0 Current children cumulated CPU time (s) 1119.46 Current children cumulated vsize (KiB) 839680 [startup+1182.3 s] /proc/loadavg: 2.15 2.10 2.02 2/74 15068 /proc/meminfo: memFree=16192/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=869276 CPUtime=1179.42 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 216740 0 0 0 117416 526 0 0 25 0 1 0 183010980 890138624 216686 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 217319 216687 136 292 0 217024 0 Current children cumulated CPU time (s) 1179.42 Current children cumulated vsize (KiB) 869276 [startup+1242.3 s] /proc/loadavg: 2.04 2.09 2.02 4/74 15068 /proc/meminfo: memFree=15808/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=912508 CPUtime=1239.29 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 227545 0 0 0 123374 555 0 0 25 0 1 0 183010980 934408192 227491 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 228127 227491 136 292 0 227832 0 Current children cumulated CPU time (s) 1239.29 Current children cumulated vsize (KiB) 912508 [startup+1302.3 s] /proc/loadavg: 1.91 2.03 2.00 4/74 15068 /proc/meminfo: memFree=16256/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=962464 CPUtime=1299.14 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 240009 0 0 0 129330 584 0 0 25 0 1 0 183010980 985563136 239955 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 240616 239955 136 292 0 240321 0 Current children cumulated CPU time (s) 1299.14 Current children cumulated vsize (KiB) 962464 [startup+1362.3 s] /proc/loadavg: 1.86 1.97 1.98 3/74 15068 /proc/meminfo: memFree=16256/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1010912 CPUtime=1358.86 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 252106 0 0 0 135274 612 0 0 25 0 1 0 183010980 1035173888 252052 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 252728 252052 136 292 0 252433 0 Current children cumulated CPU time (s) 1358.86 Current children cumulated vsize (KiB) 1010912 [startup+1422.31 s] /proc/loadavg: 1.75 1.92 1.96 2/74 15068 /proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1071452 CPUtime=1418.74 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 267251 0 0 0 141232 642 0 0 25 0 1 0 183010980 1097166848 267197 1992294400 134512640 135709839 4294956240 18446744073709551615 134569235 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 267863 267197 136 292 0 267568 0 Current children cumulated CPU time (s) 1418.74 Current children cumulated vsize (KiB) 1071452 [startup+1482.3 s] /proc/loadavg: 2.11 1.99 1.98 4/74 15068 /proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1135212 CPUtime=1478.52 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 283152 0 0 0 147181 671 0 0 25 0 1 0 183010980 1162457088 283098 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 283803 283098 136 292 0 283508 0 Current children cumulated CPU time (s) 1478.52 Current children cumulated vsize (KiB) 1135212 [startup+1542.3 s] /proc/loadavg: 1.98 1.97 1.97 3/74 15068 /proc/meminfo: memFree=36992/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1175984 CPUtime=1538.28 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 293329 0 0 0 153133 695 0 0 25 0 1 0 183010980 1204207616 293275 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 293996 293275 136 292 0 293701 0 Current children cumulated CPU time (s) 1538.28 Current children cumulated vsize (KiB) 1175984 [startup+1602.3 s] /proc/loadavg: 2.25 2.03 1.99 4/74 15068 /proc/meminfo: memFree=46784/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1215220 CPUtime=1597.89 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 303147 0 0 0 159076 713 0 0 25 0 1 0 183010980 1244385280 303093 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 303805 303093 136 292 0 303510 0 Current children cumulated CPU time (s) 1597.89 Current children cumulated vsize (KiB) 1215220 [startup+1662.3 s] /proc/loadavg: 2.21 2.07 2.00 4/74 15068 /proc/meminfo: memFree=183872/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1256100 CPUtime=1657.45 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 313334 0 0 0 165010 735 0 0 25 0 1 0 183010980 1286246400 313280 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 314025 313280 136 292 0 313730 0 Current children cumulated CPU time (s) 1657.45 Current children cumulated vsize (KiB) 1256100 [startup+1722.3 s] /proc/loadavg: 2.17 2.09 2.01 3/74 15068 /proc/meminfo: memFree=142528/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1297808 CPUtime=1717.43 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 323766 0 0 0 170988 755 0 0 25 0 1 0 183010980 1328955392 323712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 324452 323712 136 292 0 324157 0 Current children cumulated CPU time (s) 1717.43 Current children cumulated vsize (KiB) 1297808 [startup+1782.3 s] /proc/loadavg: 2.32 2.15 2.04 3/74 15068 /proc/meminfo: memFree=104064/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1336004 CPUtime=1777.02 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 333294 0 0 0 176928 774 0 0 25 0 1 0 183010980 1368068096 333240 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 334001 333240 136 292 0 333706 0 Current children cumulated CPU time (s) 1777.02 Current children cumulated vsize (KiB) 1336004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1805.4 s] /proc/loadavg: 2.30 2.15 2.04 2/74 15068 /proc/meminfo: memFree=84288/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=1355656 CPUtime=1800.08 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4194304 338193 0 0 0 179225 783 0 0 25 0 1 0 183010980 1388191744 338139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 338914 338139 136 292 0 338619 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1355656 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1805.6 s] /proc/loadavg: 2.30 2.15 2.04 2/74 15068 /proc/meminfo: memFree=84288/2055920 swapFree=4192812/4192956 [pid=15067] ppid=15065 vsize=0 CPUtime=1800.28 /proc/15067/stat : 15067 (wbo) R 15065 15067 14711 0 -1 4195332 338193 0 0 0 179225 803 0 0 25 0 1 0 183010980 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15067/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1805.63 CPU time (s): 1800.32 CPU user time (s): 1792.25 CPU system time (s): 8.06577 CPU usage (%): 99.7057 Max. virtual memory (cumulated for all children) (KiB): 1355656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.25 system time used= 8.06577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 338193 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= 3 involuntary context switches= 15927 runsolver used 2.40863 second user time and 6.04408 second system time The end
Begin job on node81 at 2009-06-16 14:08:40 IDJOB=1876196 IDBENCH=2118 IDSOLVER=698 FILE ID=node81/1876196-1245154120 PBS_JOBID= 9363775 Free space on /tmp= 126776 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.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-1876196-1245154120/watcher-1876196-1245154120 -o /tmp/evaluation-result-1876196-1245154120/solver-1876196-1245154120 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876196-1245154120.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 577b644759bfadb428b7642b44c91218 RANDOM SEED=2089221030 node81.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.268 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.268 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 634592 kB Buffers: 36748 kB Cached: 1281908 kB SwapCached: 0 kB Active: 593444 kB Inactive: 756932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 634592 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 43084 kB Slab: 55744 kB Committed_AS: 600708 kB PageTables: 2120 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-1876196-1245154120.opb Free space on /tmp at the end= 126772 MiB End job on node81 at 2009-06-16 14:38:48