Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.2 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb |
MD5SUM | 116a942422e9404c5d3cdfc29ea9d859 |
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.007998 |
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 | 300 |
Number of constraints which are clauses | 299 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
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-1876183-1245153014.opb. 0.00/0.00 c Instance file HOME/instance-1876183-1245153014.opb 0.00/0.00 c File size is 9855 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: 499 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 1 | 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.002999 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.002999 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.003999 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.003999 s Remaining CPU time: 1800 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.004999 s Remaining CPU time: 1800 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.004999 s Remaining CPU time: 1800 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.005999 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.005999 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.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #10 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #11 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #12 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #13 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #14 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #15 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #16 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.00 c Elapsed CPU time: 0.009998 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.009998 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.010998 s Remaining CPU time: 1799.99 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.010998 s Remaining CPU time: 1799.99 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.011998 s Remaining CPU time: 1799.99 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.011998 s Remaining CPU time: 1799.99 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.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #23 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #24 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #25 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #26 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #27 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #28 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #29 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #30 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #31 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #32 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #33 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #34 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #35 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.01 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.020996 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.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #40 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #41 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #42 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #43 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #44 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #45 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #46 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #47 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #48 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #49 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #50 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #51 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #52 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.02 c Elapsed CPU time: 0.029995 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.029995 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.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #55 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #56 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 56 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #57 0.00/0.03 c Core size: 7 Core Weight: 1 Total Weight: 57 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #58 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 58 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #59 0.00/0.03 c Core size: 18 Core Weight: 1 Total Weight: 59 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #60 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 60 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #61 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: 61 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #62 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: 62 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #63 0.00/0.03 c Core size: 26 Core Weight: 1 Total Weight: 63 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 406 563 1403 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #64 0.00/0.03 c Core size: 24 Core Weight: 1 Total Weight: 64 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.03 c Learning 1 hard constraints 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 421 565 1439 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #65 0.00/0.03 c Core size: 57 Core Weight: 1 Total Weight: 65 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 448 566 1496 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #66 0.00/0.04 c Core size: 55 Core Weight: 1 Total Weight: 66 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c Learning 1 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 | 468 568 1540 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #67 0.00/0.04 c Core size: 136 Core Weight: 1 Total Weight: 67 0.00/0.04 c Elapsed CPU time: 0.042993 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 | 522 571 1655 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 102 | 522 571 1655 | 5500 102 22 | 0.003 % | 0.00/0.05 c | 252 | 476 571 1655 | 6050 115 22 | 9.387 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #68 0.00/0.05 c Core size: 342 Core Weight: 1 Total Weight: 68 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 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 | 642 573 1897 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 107 | 642 573 1897 | 5500 107 13 | 0.467 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #69 0.00/0.06 c Core size: 303 Core Weight: 1 Total Weight: 69 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c Learning 7 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 | 733 581 2099 | 5000 0 nan | 0.000 % | 0.00/0.07 c | 101 | 733 581 2099 | 5500 101 38 | 0.001 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #70 0.07/0.08 c Core size: 109 Core Weight: 1 Total Weight: 70 0.07/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.07/0.08 c Learning 4 hard constraints 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 743 586 2134 | 5000 0 nan | 0.000 % | 0.07/0.08 c | 100 | 743 586 2134 | 5500 100 20 | 0.001 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #71 0.07/0.09 c Core size: 184 Core Weight: 1 Total Weight: 71 0.07/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.07/0.09 c Learning 30 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 | 751 617 2246 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #72 0.07/0.09 c Core size: 179 Core Weight: 1 Total Weight: 72 0.07/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 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 | 757 618 2258 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #73 0.07/0.09 c Core size: 158 Core Weight: 1 Total Weight: 73 0.07/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.07/0.09 c Learning 6 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 | 555 625 2275 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #74 0.07/0.09 c Core size: 177 Core Weight: 1 Total Weight: 74 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 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 | 565 626 2295 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #75 0.09/0.10 c Core size: 179 Core Weight: 1 Total Weight: 75 0.09/0.10 c Elapsed CPU time: 0.098984 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 | 576 627 2317 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 101 | 575 627 2317 | 5500 99 18 | 26.982 % | 0.09/0.11 c | 255 | 455 627 2317 | 6050 64 21 | 41.816 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #76 0.09/0.11 c Core size: 206 Core Weight: 1 Total Weight: 76 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 | 600 628 2359 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #77 0.09/0.11 c Core size: 193 Core Weight: 1 Total Weight: 77 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 617 629 2393 | 5000 0 nan | 0.000 % | 0.09/0.12 c | 100 | 617 629 2393 | 5500 100 27 | 24.756 % | 0.09/0.13 c | 253 | 617 629 2393 | 6050 253 33 | 24.756 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #78 0.09/0.13 c Core size: 197 Core Weight: 1 Total Weight: 78 0.09/0.13 c Elapsed CPU time: 0.13098 s Remaining CPU time: 1799.87 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 636 630 2431 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 101 | 636 630 2431 | 5500 101 27 | 24.196 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #79 0.09/0.14 c Core size: 163 Core Weight: 1 Total Weight: 79 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 645 631 2449 | 5000 0 nan | 0.000 % | 0.09/0.15 c | 101 | 645 631 2449 | 5500 101 27 | 23.939 % | 0.09/0.15 c | 251 | 645 631 2449 | 6050 251 23 | 23.939 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #80 0.09/0.17 c Core size: 216 Core Weight: 1 Total Weight: 80 0.09/0.17 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 675 632 2509 | 5000 0 nan | 0.000 % | 0.09/0.17 c | 100 | 675 632 2509 | 5500 100 24 | 23.121 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #81 0.09/0.18 c Core size: 174 Core Weight: 1 Total Weight: 81 0.09/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 689 633 2537 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 103 | 689 633 2537 | 5500 103 34 | 22.758 % | 0.09/0.20 c | 254 | 689 633 2537 | 6050 254 32 | 22.758 % | 0.19/0.21 c | 480 | 689 633 2537 | 6655 480 35 | 22.758 % | 0.19/0.24 c | 818 | 689 633 2537 | 7320 818 37 | 22.758 % | 0.29/0.30 c | 1324 | 689 633 2537 | 8052 1324 37 | 22.758 % | 0.39/0.40 c | 2085 | 689 633 2537 | 8857 2085 38 | 22.758 % | 0.39/0.43 c =============================================================================== 0.39/0.45 c core #82 0.39/0.45 c Core size: 196 Core Weight: 1 Total Weight: 82 0.39/0.45 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 707 634 2573 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 101 | 707 634 2573 | 5500 101 28 | 22.308 % | 0.39/0.46 c | 251 | 706 634 2573 | 6050 249 32 | 22.418 % | 0.39/0.47 c | 476 | 706 634 2573 | 6655 474 41 | 22.418 % | 0.39/0.49 c | 814 | 702 634 2573 | 7320 806 41 | 22.857 % | 0.49/0.53 c | 1320 | 701 634 2573 | 8052 1293 44 | 22.967 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #83 0.49/0.57 c Core size: 216 Core Weight: 1 Total Weight: 83 0.49/0.57 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 735 635 2629 | 5000 0 nan | 0.000 % | 0.49/0.58 c | 101 | 735 635 2629 | 5500 101 29 | 21.642 % | 0.49/0.58 c | 251 | 735 635 2629 | 6050 251 31 | 21.642 % | 0.59/0.60 c | 477 | 735 635 2629 | 6655 477 38 | 21.642 % | 0.59/0.63 c | 814 | 731 635 2629 | 7320 813 47 | 22.068 % | 0.59/0.67 c | 1321 | 731 635 2629 | 8052 1320 53 | 22.068 % | 0.69/0.78 c | 2080 | 731 635 2629 | 8857 2079 57 | 22.068 % | 0.89/0.94 c | 3220 | 731 635 2629 | 9743 3219 59 | 22.068 % | 1.30/1.38 c | 4928 | 727 635 2629 | 10717 4926 60 | 22.495 % | 2.09/2.14 c | 7490 | 726 635 2629 | 11789 7488 60 | 22.601 % | 2.89/2.92 c =============================================================================== 2.89/3.00 c core #84 2.89/3.00 c Core size: 228 Core Weight: 1 Total Weight: 84 2.89/3.00 c Elapsed CPU time: 2.94655 s Remaining CPU time: 1797.05 s 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 766 636 2691 | 5000 0 nan | 0.000 % | 2.99/3.01 c | 101 | 766 636 2691 | 5500 101 29 | 20.950 % | 2.99/3.02 c | 251 | 766 636 2691 | 6050 251 35 | 20.950 % | 2.99/3.03 c | 477 | 766 636 2691 | 6655 477 43 | 20.950 % | 2.99/3.05 c | 814 | 763 636 2691 | 7320 774 36 | 21.259 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c core #85 2.99/3.06 c Core size: 179 Core Weight: 1 Total Weight: 85 2.99/3.06 c Elapsed CPU time: 3.00754 s Remaining CPU time: 1796.99 s 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 781 637 2721 | 5000 0 nan | 0.000 % | 2.99/3.07 c | 102 | 781 637 2721 | 5500 102 54 | 20.630 % | 2.99/3.08 c | 253 | 781 637 2721 | 6050 253 61 | 20.630 % | 3.09/3.10 c | 478 | 781 637 2721 | 6655 478 71 | 20.630 % | 3.09/3.14 c | 815 | 781 637 2721 | 7320 815 74 | 20.630 % | 3.20/3.22 c | 1327 | 781 637 2721 | 8052 1327 81 | 20.630 % | 3.30/3.37 c | 2087 | 781 637 2721 | 8857 2087 84 | 20.630 % | 3.59/3.68 c | 3227 | 781 637 2721 | 9743 3227 86 | 20.630 % | 3.99/4.05 c | 4937 | 781 637 2721 | 10717 4937 87 | 20.630 % | 5.20/5.20 c | 7501 | 781 637 2721 | 11789 7501 91 | 20.630 % | 7.59/7.60 c | 11346 | 781 637 2721 | 12968 11346 93 | 20.630 % | 9.89/9.93 c | 17113 | 777 637 2721 | 14265 10484 86 | 21.037 % | 12.58/12.67 c | 25763 | 777 637 2721 | 15692 11806 83 | 21.443 % | 17.09/17.13 c | 38738 | 777 637 2721 | 17261 8792 73 | 21.443 % | 17.49/17.51 c =============================================================================== 17.68/17.70 c core #86 17.68/17.70 c Core size: 232 Core Weight: 1 Total Weight: 86 17.68/17.70 c Elapsed CPU time: 17.5443 s Remaining CPU time: 1782.46 s 17.68/17.75 c ============================[ Search Statistics ]============================== 17.68/17.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.75 c =============================================================================== 17.68/17.75 c | 0 | 815 638 2789 | 5000 0 nan | 0.000 % | 17.68/17.76 c | 102 | 815 638 2789 | 5500 102 51 | 19.941 % | 17.68/17.77 c | 252 | 815 638 2789 | 6050 252 50 | 19.941 % | 17.68/17.78 c | 478 | 815 638 2789 | 6655 478 58 | 19.941 % | 17.79/17.81 c | 815 | 815 638 2789 | 7320 815 61 | 19.941 % | 17.79/17.86 c | 1322 | 815 638 2789 | 8052 1322 72 | 19.941 % | 17.88/17.98 c | 2085 | 815 638 2789 | 8857 2085 83 | 19.941 % | 18.19/18.21 c | 3225 | 811 638 2789 | 9743 3224 93 | 20.334 % | 18.49/18.59 c | 4935 | 811 638 2789 | 10717 4934 92 | 20.334 % | 19.38/19.40 c | 7499 | 811 638 2789 | 11789 7498 97 | 20.334 % | 21.29/21.39 c | 11348 | 811 638 2789 | 12968 11347 100 | 20.334 % | 24.98/25.08 c | 17114 | 811 638 2789 | 14265 10442 107 | 20.334 % | 30.88/30.96 c | 25768 | 811 638 2789 | 15692 11794 106 | 20.334 % | 38.18/38.29 c | 38747 | 811 638 2789 | 17261 8647 98 | 20.334 % | 47.48/47.52 c | 58208 | 807 638 2789 | 18987 10505 101 | 20.727 % | 63.58/63.61 c | 87400 | 807 638 2789 | 20886 10542 106 | 20.727 % | 85.87/85.96 c | 131191 | 807 638 2789 | 22974 11852 101 | 20.727 % | 131.56/131.68 c | 196875 | 807 638 2789 | 25272 19099 102 | 20.727 % | 222.53/222.65 c | 295401 | 807 638 2789 | 27799 14556 109 | 20.727 % | 354.99/355.15 c | 443190 | 807 638 2789 | 30579 23962 117 | 20.727 % | 555.65/555.81 c | 664875 | 806 638 2789 | 33637 15657 88 | 20.825 % | 669.31/669.57 c =============================================================================== 685.01/685.24 c core #87 685.01/685.24 c Core size: 241 Core Weight: 1 Total Weight: 87 685.01/685.24 c Elapsed CPU time: 682.108 s Remaining CPU time: 1117.89 s 685.81/686.09 c ============================[ Search Statistics ]============================== 685.81/686.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 685.81/686.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 685.81/686.09 c =============================================================================== 685.81/686.09 c | 0 | 853 639 2865 | 5000 0 nan | 0.000 % | 685.91/686.19 c | 100 | 853 639 2865 | 5500 100 44 | 19.224 % | 686.01/686.21 c | 250 | 853 639 2865 | 6050 250 59 | 19.224 % | 686.01/686.24 c | 477 | 853 639 2865 | 6655 477 44 | 19.224 % | 686.01/686.28 c | 814 | 853 639 2865 | 7320 814 37 | 19.224 % | 686.11/686.32 c | 1320 | 853 639 2865 | 8052 1320 35 | 19.224 % | 686.22/686.41 c | 2080 | 853 639 2865 | 8857 2080 35 | 19.224 % | 686.22/686.49 c =============================================================================== 686.31/686.51 c core #88 686.31/686.51 c Core size: 180 Core Weight: 1 Total Weight: 88 686.31/686.51 c Elapsed CPU time: 683.373 s Remaining CPU time: 1116.63 s 686.31/686.52 c ============================[ Search Statistics ]============================== 686.31/686.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 686.31/686.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 686.31/686.52 c =============================================================================== 686.31/686.52 c | 0 | 868 640 2895 | 5000 0 nan | 0.000 % | 686.31/686.53 c | 101 | 868 640 2895 | 5500 101 30 | 18.954 % | 686.31/686.53 c | 251 | 868 640 2895 | 6050 251 38 | 18.954 % | 686.31/686.55 c | 476 | 868 640 2895 | 6655 476 37 | 18.954 % | 686.31/686.58 c | 817 | 868 640 2895 | 7320 817 43 | 18.954 % | 686.41/686.63 c | 1324 | 868 640 2895 | 8052 1324 44 | 18.954 % | 686.51/686.78 c | 2084 | 868 640 2895 | 8857 2084 46 | 18.954 % | 686.80/687.07 c | 3226 | 868 640 2895 | 9743 3226 48 | 18.954 % | 687.21/687.43 c | 4934 | 868 640 2895 | 10717 4934 49 | 18.954 % | 688.31/688.56 c | 7496 | 868 640 2895 | 11789 7496 48 | 18.954 % | 690.41/690.64 c | 11344 | 868 640 2895 | 12968 11344 49 | 18.954 % | 693.21/693.45 c | 17110 | 868 640 2895 | 14265 10483 47 | 18.954 % | 697.50/697.76 c | 25760 | 868 640 2895 | 15692 11814 45 | 18.954 % | 702.11/702.37 c =============================================================================== 702.81/703.03 c core #89 702.81/703.03 c Core size: 181 Core Weight: 1 Total Weight: 89 702.81/703.03 c Elapsed CPU time: 699.804 s Remaining CPU time: 1100.2 s 702.81/703.08 c ============================[ Search Statistics ]============================== 702.81/703.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 702.81/703.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 702.81/703.08 c =============================================================================== 702.81/703.08 c | 0 | 883 641 2925 | 5000 0 nan | 0.000 % | 702.91/703.10 c | 100 | 883 641 2925 | 5500 100 43 | 18.693 % | 702.91/703.11 c | 250 | 883 641 2925 | 6050 250 45 | 18.693 % | 702.91/703.13 c | 478 | 883 641 2925 | 6655 478 54 | 18.693 % | 702.91/703.16 c | 819 | 883 641 2925 | 7320 819 62 | 18.693 % | 703.00/703.23 c | 1325 | 883 641 2925 | 8052 1325 88 | 18.693 % | 703.20/703.40 c | 2089 | 883 641 2925 | 8857 2089 112 | 18.693 % | 703.50/703.77 c | 3228 | 883 641 2925 | 9743 3228 125 | 18.693 % | 704.21/704.46 c | 4937 | 883 641 2925 | 10717 4937 137 | 18.693 % | 705.91/706.19 c | 7503 | 879 641 2925 | 11789 7502 148 | 19.061 % | 709.80/710.00 c | 11347 | 879 641 2925 | 12968 11346 152 | 19.061 % | 714.90/715.15 c | 17116 | 878 641 2925 | 14265 10441 155 | 19.429 % | 720.80/721.05 c | 25765 | 878 641 2925 | 15692 11714 138 | 19.429 % | 727.80/728.02 c | 38740 | 878 641 2925 | 17261 8586 139 | 19.429 % | 740.49/740.74 c | 58202 | 875 641 2925 | 18987 10451 149 | 19.429 % | 773.99/774.26 c | 87396 | 875 641 2925 | 20886 10570 158 | 19.429 % | 818.18/818.48 c | 131186 | 875 641 2925 | 22974 11813 149 | 19.429 % | 917.45/917.71 c | 196872 | 875 641 2925 | 25272 19018 161 | 19.429 % | 1019.92/1020.25 c | 295398 | 875 641 2925 | 27799 25336 136 | 19.429 % | 1164.38/1164.80 c | 443190 | 875 641 2925 | 30579 21213 155 | 19.429 % | 1429.02/1429.48 c | 664873 | 875 641 2925 | 33637 29198 167 | 19.429 % | 1478.00/1478.40 c =============================================================================== 1478.60/1479.09 c core #90 1478.60/1479.09 c Core size: 218 Core Weight: 1 Total Weight: 90 1478.60/1479.09 c Elapsed CPU time: 1473.11 s Remaining CPU time: 326.888 s 1479.40/1479.88 c ============================[ Search Statistics ]============================== 1479.40/1479.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1479.40/1479.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1479.40/1479.88 c =============================================================================== 1479.40/1479.88 c | 0 | 913 642 2985 | 5000 0 nan | 0.000 % | 1479.50/1479.99 c | 106 | 913 642 2985 | 5500 106 40 | 18.190 % | 1479.60/1480.00 c | 256 | 909 642 2985 | 6050 255 45 | 18.548 % | 1479.60/1480.02 c | 481 | 909 642 2985 | 6655 480 41 | 18.548 % | 1479.70/1480.10 c | 818 | 909 642 2985 | 7320 817 62 | 18.548 % | 1479.70/1480.19 c | 1324 | 909 642 2985 | 8052 1323 89 | 18.548 % | 1479.80/1480.26 c | 2083 | 909 642 2985 | 8857 2082 91 | 18.548 % | 1480.10/1480.59 c | 3225 | 909 642 2985 | 9743 3224 104 | 18.548 % | 1480.99/1481.44 c | 4933 | 905 642 2985 | 10717 4931 114 | 18.907 % | 1482.50/1482.90 c | 7495 | 905 642 2985 | 11789 7493 119 | 18.907 % | 1485.20/1485.67 c | 11340 | 905 642 2985 | 12968 11338 124 | 18.907 % | 1490.20/1490.68 c | 17110 | 905 642 2985 | 14265 10428 132 | 18.907 % | 1494.99/1495.42 c | 25760 | 905 642 2985 | 15692 11786 128 | 18.907 % | 1508.09/1508.58 c | 38734 | 905 642 2985 | 17261 8728 135 | 18.907 % | 1523.69/1524.19 c | 58196 | 905 642 2985 | 18987 10527 139 | 18.907 % | 1546.88/1547.30 c | 87389 | 905 642 2985 | 20886 10634 132 | 18.907 % | 1586.77/1587.21 c | 131184 | 905 642 2985 | 22974 11934 144 | 18.907 % | 1635.96/1636.40 c | 196874 | 905 642 2985 | 25272 19268 123 | 18.907 % | 1733.43/1733.90 c | 295401 | 905 642 2985 | 27799 14612 140 | 18.907 % |
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-1876183-1245153014/watcher-1876183-1245153014 -o /tmp/evaluation-result-1876183-1245153014/solver-1876183-1245153014 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876183-1245153014.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 0.99 0.99 3/64 8659 /proc/meminfo: memFree=1867240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=2524 CPUtime=0 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 182898633 2584576 187 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 631 187 133 292 0 336 0 [startup+0.076265 s] /proc/loadavg: 1.07 0.99 0.99 3/64 8659 /proc/meminfo: memFree=1867240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=2788 CPUtime=0.07 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 293 0 0 0 7 0 0 0 18 0 1 0 182898633 2854912 274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 697 274 136 292 0 402 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2788 [startup+0.101267 s] /proc/loadavg: 1.07 0.99 0.99 3/64 8659 /proc/meminfo: memFree=1867240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=2912 CPUtime=0.09 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 310 0 0 0 9 0 0 0 18 0 1 0 182898633 2981888 291 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 728 291 136 292 0 433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2912 [startup+0.30129 s] /proc/loadavg: 1.07 0.99 0.99 3/64 8659 /proc/meminfo: memFree=1867240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=3328 CPUtime=0.29 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 415 0 0 0 28 1 0 0 19 0 1 0 182898633 3407872 396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 832 396 136 292 0 537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3328 [startup+0.701334 s] /proc/loadavg: 1.07 0.99 0.99 3/64 8659 /proc/meminfo: memFree=1867240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=3856 CPUtime=0.69 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 559 0 0 0 67 2 0 0 22 0 1 0 182898633 3948544 540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 964 540 136 292 0 669 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3856 [startup+1.50242 s] /proc/loadavg: 1.07 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1865056/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=5176 CPUtime=1.5 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 891 0 0 0 146 4 0 0 25 0 1 0 182898633 5300224 872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 1294 872 136 292 0 999 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 5176 [startup+3.1016 s] /proc/loadavg: 1.07 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1863136/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=7588 CPUtime=3.09 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 1484 0 0 0 304 5 0 0 25 0 1 0 182898633 7770112 1465 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 1897 1465 136 292 0 1602 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7588 [startup+6.30196 s] /proc/loadavg: 1.07 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1859808/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=10236 CPUtime=6.29 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 2147 0 0 0 622 7 0 0 25 0 1 0 182898633 10481664 2128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 2559 2128 136 292 0 2264 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10236 [startup+12.7017 s] /proc/loadavg: 1.06 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1851168/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=19368 CPUtime=12.69 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 4441 0 0 0 1257 12 0 0 25 0 1 0 182898633 19832832 4422 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 4842 4422 136 292 0 4547 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19368 [startup+25.5011 s] /proc/loadavg: 1.05 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1840928/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=28500 CPUtime=25.49 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 6706 0 0 0 2529 20 0 0 25 0 1 0 182898633 29184000 6687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 7125 6687 136 292 0 6830 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28500 [startup+51.1019 s] /proc/loadavg: 1.03 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1814240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=55624 CPUtime=51.08 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 13470 0 0 0 5074 34 0 0 25 0 1 0 182898633 56958976 13451 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 13906 13451 136 292 0 13611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 55624 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.99 2/65 8660 /proc/meminfo: memFree=1753696/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=115656 CPUtime=102.27 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 28448 0 0 0 10162 65 0 0 25 0 1 0 182898633 118431744 28429 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 28914 28429 136 292 0 28619 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 115656 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1710368/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=159384 CPUtime=162.25 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 39352 0 0 0 16134 91 0 0 25 0 1 0 182898633 163209216 39333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 39846 39333 136 292 0 39551 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 159384 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1667360/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=202036 CPUtime=222.23 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 49987 0 0 0 22109 114 0 0 25 0 1 0 182898633 206884864 49968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 50509 49968 136 292 0 50214 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 202036 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1627680/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=242140 CPUtime=282.22 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 59974 0 0 0 28084 138 0 0 25 0 1 0 182898633 247951360 59955 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 60535 59955 136 292 0 60240 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 242140 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1582816/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=286692 CPUtime=342.2 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 71073 0 0 0 34057 163 0 0 25 0 1 0 182898633 293572608 71054 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 71673 71054 136 292 0 71378 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 286692 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1550560/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=319628 CPUtime=402.19 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 79292 0 0 0 40036 183 0 0 25 0 1 0 182898633 327299072 79273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 79907 79273 136 292 0 79612 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 319628 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1501344/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=368176 CPUtime=462.17 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 91411 0 0 0 46008 209 0 0 25 0 1 0 182898633 377012224 91392 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 92044 91392 136 292 0 91749 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 368176 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1456480/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=413252 CPUtime=522.15 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 102629 0 0 0 51983 232 0 0 25 0 1 0 182898633 423170048 102610 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 103313 102610 136 292 0 103018 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 413252 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1414624/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=454992 CPUtime=582.14 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 113079 0 0 0 57959 255 0 0 25 0 1 0 182898633 465911808 113060 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 113748 113060 136 292 0 113453 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 454992 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 8662 /proc/meminfo: memFree=1368672/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=500484 CPUtime=642.12 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 124443 0 0 0 63931 281 0 0 25 0 1 0 182898633 512495616 124424 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 125121 124424 136 292 0 124826 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 500484 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1265440/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=602412 CPUtime=882.06 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 150179 0 0 0 87846 360 0 0 25 0 1 0 182898633 616869888 150126 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 150603 150126 136 292 0 150308 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 602412 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1241184/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=627084 CPUtime=942.04 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 156339 0 0 0 93827 377 0 0 25 0 1 0 182898633 642134016 156286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 156771 156286 136 292 0 156476 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 627084 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1203104/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=664732 CPUtime=1002.03 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 165748 0 0 0 99803 400 0 0 25 0 1 0 182898633 680685568 165695 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 166183 165695 136 292 0 165888 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 664732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1165792/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=702776 CPUtime=1062.01 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 175205 0 0 0 105777 424 0 0 25 0 1 0 182898633 719642624 175152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 175694 175152 136 292 0 175399 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 702776 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1137440/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=730508 CPUtime=1122 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 182143 0 0 0 111756 444 0 0 25 0 1 0 182898633 748040192 182090 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 182627 182090 136 292 0 182332 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 730508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1094304/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=773936 CPUtime=1181.98 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 192964 0 0 0 117729 469 0 0 25 0 1 0 182898633 792510464 192911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 193484 192911 136 292 0 193189 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 773936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1062240/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=805792 CPUtime=1241.96 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 200929 0 0 0 123707 489 0 0 25 0 1 0 182898633 825131008 200876 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 201448 200876 136 292 0 201153 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 805792 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=1028256/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=839336 CPUtime=1301.95 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 209299 0 0 0 129685 510 0 0 25 0 1 0 182898633 859480064 209246 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 209834 209246 136 292 0 209539 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 839336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=991904/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=875996 CPUtime=1361.93 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 218433 0 0 0 135668 525 0 0 25 0 1 0 182898633 897019904 218380 1992294400 134512640 135709839 4294956240 18446744073709551615 134573839 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 218999 218380 136 292 0 218704 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 875996 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=961120/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=906604 CPUtime=1421.91 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 226089 0 0 0 141653 538 0 0 25 0 1 0 182898633 928362496 226036 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 226651 226036 136 292 0 226356 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 906604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=926816/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=940964 CPUtime=1481.9 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 234607 0 0 0 147630 560 0 0 25 0 1 0 182898633 963547136 234554 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 235241 234554 136 292 0 234946 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 940964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=904736/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=962208 CPUtime=1541.88 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 240161 0 0 0 153609 579 0 0 25 0 1 0 182898633 985300992 240108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 240552 240108 136 292 0 240257 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 962208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=865120/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=1002024 CPUtime=1601.87 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 250109 0 0 0 159582 605 0 0 25 0 1 0 182898633 1026072576 250056 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 250506 250056 136 292 0 250211 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1002024 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=826848/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=1040064 CPUtime=1661.85 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 259576 0 0 0 165555 630 0 0 25 0 1 0 182898633 1065025536 259523 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 260016 259523 136 292 0 259721 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1040064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=792224/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=1075240 CPUtime=1721.83 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 268361 0 0 0 171532 651 0 0 25 0 1 0 182898633 1101045760 268308 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 268810 268308 136 292 0 268515 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1075240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=744288/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=1122632 CPUtime=1781.81 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 280168 0 0 0 177503 678 0 0 25 0 1 0 182898633 1149575168 280115 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 280658 280115 136 292 0 280363 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1122632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8668 /proc/meminfo: memFree=729824/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=1136848 CPUtime=1800.01 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4194304 283715 0 0 0 179315 686 0 0 25 0 1 0 182898633 1164132352 283662 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 284212 283662 136 292 0 283917 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1136848 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 8669 /proc/meminfo: memFree=1345596/2055920 swapFree=4191900/4192956 [pid=8659] ppid=8657 vsize=0 CPUtime=1800.12 /proc/8659/stat : 8659 (wbo) R 8657 8659 8312 0 -1 4195332 283715 0 0 0 179315 697 0 0 25 0 1 0 182898633 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/8659/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.2 CPU user time (s): 1793.16 CPU system time (s): 7.04793 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1136848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.16 system time used= 7.04793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283715 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= 2296 runsolver used 1.41578 second user time and 3.72643 second system time The end
Begin job on node38 at 2009-06-16 13:50:14 IDJOB=1876183 IDBENCH=2098 IDSOLVER=698 FILE ID=node38/1876183-1245153014 PBS_JOBID= 9363755 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.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-1876183-1245153014/watcher-1876183-1245153014 -o /tmp/evaluation-result-1876183-1245153014/solver-1876183-1245153014 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876183-1245153014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 116a942422e9404c5d3cdfc29ea9d859 RANDOM SEED=1538345997 node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1867656 kB Buffers: 40200 kB Cached: 62696 kB SwapCached: 260 kB Active: 28388 kB Inactive: 87824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1867656 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2668 kB Writeback: 0 kB Mapped: 22512 kB Slab: 58012 kB Committed_AS: 155608 kB PageTables: 1456 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-1876183-1245153014.opb Free space on /tmp at the end= 66236 MiB End job on node38 at 2009-06-16 14:20:17