Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb |
MD5SUM | 6aca0e3708614edb0af25212326b82c7 |
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-1876205-1245155253.opb. 0.00/0.00 c Instance file HOME/instance-1876205-1245155253.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.001999 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.002999 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.003999 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.004999 s Remaining CPU time: 1800 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.005999 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.006998 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.007998 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.008998 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.009998 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.010998 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.011998 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.012998 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.013997 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.014997 s Remaining CPU time: 1799.99 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.015997 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.016997 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.017997 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.01 c core #36 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.01 c Elapsed CPU time: 0.018997 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.019996 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.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.021996 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.022996 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.022996 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.023996 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.024996 s Remaining CPU time: 1799.98 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.025996 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.025996 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.026995 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.027995 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.028995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #53 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.02 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.03 c core #55 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #56 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #57 0.00/0.03 c Core size: 6 Core Weight: 1 Total Weight: 57 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #58 0.00/0.03 c Core size: 13 Core Weight: 1 Total Weight: 58 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #59 0.00/0.03 c Core size: 27 Core Weight: 1 Total Weight: 59 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #60 0.00/0.03 c Core size: 14 Core Weight: 1 Total Weight: 60 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #61 0.00/0.03 c Core size: 34 Core Weight: 1 Total Weight: 61 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 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 | 394 561 1379 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #62 0.00/0.03 c Core size: 41 Core Weight: 1 Total Weight: 62 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 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 | 411 563 1418 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #63 0.00/0.03 c Core size: 35 Core Weight: 1 Total Weight: 63 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 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 | 426 565 1452 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #64 0.00/0.03 c Core size: 81 Core Weight: 1 Total Weight: 64 0.00/0.03 c Elapsed CPU time: 0.035994 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 | 466 566 1535 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #65 0.00/0.04 c Core size: 30 Core Weight: 1 Total Weight: 65 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c Learning 4 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 | 469 571 1553 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #66 0.00/0.04 c Core size: 38 Core Weight: 1 Total Weight: 66 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c Learning 4 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 | 413 576 1575 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #67 0.00/0.04 c Core size: 38 Core Weight: 1 Total Weight: 67 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 core #68 0.00/0.04 c Core size: 36 Core Weight: 1 Total Weight: 68 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #69 0.00/0.04 c Core size: 63 Core Weight: 1 Total Weight: 69 0.00/0.04 c Elapsed CPU time: 0.041993 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 | 414 580 1607 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #70 0.00/0.04 c Core size: 95 Core Weight: 1 Total Weight: 70 0.00/0.04 c Elapsed CPU time: 0.042993 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 | 437 581 1653 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #71 0.00/0.04 c Core size: 68 Core Weight: 1 Total Weight: 71 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 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 | 448 583 1673 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #72 0.00/0.05 c Core size: 61 Core Weight: 1 Total Weight: 72 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c Learning 5 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 | 466 589 1717 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #73 0.00/0.05 c Core size: 116 Core Weight: 1 Total Weight: 73 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 492 590 1769 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #74 0.00/0.05 c Core size: 76 Core Weight: 1 Total Weight: 74 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 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 | 502 592 1792 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #75 0.00/0.05 c Core size: 120 Core Weight: 1 Total Weight: 75 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c Learning 1 hard constraints 0.00/0.05 c core #76 0.00/0.05 c Core size: 108 Core Weight: 1 Total Weight: 76 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #77 0.00/0.05 c Core size: 122 Core Weight: 1 Total Weight: 77 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #78 0.00/0.05 c Core size: 116 Core Weight: 1 Total Weight: 78 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #79 0.00/0.05 c Core size: 133 Core Weight: 1 Total Weight: 79 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 407 598 1840 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #80 0.00/0.06 c Core size: 126 Core Weight: 1 Total Weight: 80 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c Learning 1 hard constraints 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 414 600 1847 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #81 0.00/0.06 c Core size: 138 Core Weight: 1 Total Weight: 81 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 418 601 1855 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #82 0.00/0.06 c Core size: 145 Core Weight: 1 Total Weight: 82 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 425 602 1869 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #83 0.00/0.06 c Core size: 167 Core Weight: 1 Total Weight: 83 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s 0.06/0.06 c ============================[ Search Statistics ]============================== 0.06/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.06 c =============================================================================== 0.06/0.06 c | 0 | 435 603 1889 | 5000 0 nan | 0.000 % | 0.06/0.06 c =============================================================================== 0.06/0.06 c core #84 0.06/0.06 c Core size: 173 Core Weight: 1 Total Weight: 84 0.06/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.06/0.06 c ============================[ Search Statistics ]============================== 0.06/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.06 c =============================================================================== 0.06/0.06 c | 0 | 448 604 1915 | 5000 0 nan | 0.000 % | 0.06/0.07 c | 101 | 448 604 1915 | 5500 101 16 | 30.006 % | 0.06/0.07 c | 251 | 407 604 1915 | 6050 113 17 | 36.406 % | 0.06/0.07 c =============================================================================== 0.06/0.08 c core #85 0.06/0.08 c Core size: 180 Core Weight: 1 Total Weight: 85 0.06/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.06/0.08 c ============================[ Search Statistics ]============================== 0.06/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.08 c =============================================================================== 0.06/0.08 c | 0 | 465 605 1949 | 5000 0 nan | 0.000 % | 0.06/0.08 c | 101 | 465 605 1949 | 5500 101 21 | 29.229 % | 0.06/0.09 c | 251 | 435 605 1949 | 6050 250 26 | 33.790 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c core #86 0.06/0.09 c Core size: 139 Core Weight: 1 Total Weight: 86 0.06/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.06/0.09 c ============================[ Search Statistics ]============================== 0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.06/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.06/0.09 c =============================================================================== 0.06/0.09 c | 0 | 470 606 1959 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 101 | 470 606 1959 | 5500 101 21 | 29.008 % | 0.09/0.10 c | 251 | 440 606 1959 | 6050 250 25 | 33.535 % | 0.09/0.11 c | 476 | 440 606 1959 | 6655 475 26 | 33.535 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #87 0.09/0.13 c Core size: 162 Core Weight: 1 Total Weight: 87 0.09/0.13 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 477 607 1973 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 101 | 477 607 1973 | 5500 101 21 | 28.705 % | 0.09/0.14 c | 256 | 447 607 1973 | 6050 255 27 | 33.184 % | 0.09/0.15 c | 486 | 447 607 1973 | 6655 485 29 | 33.184 % | 0.09/0.17 c | 826 | 447 607 1973 | 7320 825 30 | 33.184 % | 0.19/0.21 c | 1334 | 424 607 1973 | 8052 578 29 | 39.163 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #88 0.19/0.21 c Core size: 128 Core Weight: 1 Total Weight: 88 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 1799.8 s 0.19/0.21 c Learning 1 hard constraints 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 423 609 1979 | 5000 0 nan | 0.000 % | 0.19/0.21 c | 100 | 422 609 1979 | 5500 100 22 | 37.213 % | 0.19/0.22 c | 250 | 417 609 1979 | 6050 249 21 | 37.949 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #89 0.19/0.22 c Core size: 132 Core Weight: 1 Total Weight: 89 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 427 610 1987 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #90 0.19/0.22 c Core size: 153 Core Weight: 1 Total Weight: 90 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 433 611 1999 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #91 0.19/0.22 c Core size: 111 Core Weight: 1 Total Weight: 91 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 441 612 2015 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 101 | 440 612 2015 | 5500 101 22 | 36.242 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #92 0.19/0.23 c Core size: 199 Core Weight: 1 Total Weight: 92 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 460 613 2053 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 101 | 460 613 2053 | 5500 101 22 | 35.120 % | 0.19/0.24 c | 252 | 460 613 2053 | 6050 252 25 | 35.120 % | 0.19/0.25 c | 480 | 460 613 2053 | 6655 480 28 | 35.120 % | 0.19/0.27 c | 817 | 460 613 2053 | 7320 817 30 | 35.120 % | 0.29/0.31 c | 1326 | 460 613 2053 | 8052 1326 32 | 35.120 % | 0.29/0.38 c | 2087 | 460 613 2053 | 8857 2087 35 | 35.120 % | 0.39/0.45 c =============================================================================== 0.39/0.47 c core #93 0.39/0.47 c Core size: 202 Core Weight: 1 Total Weight: 93 0.39/0.47 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 480 614 2093 | 5000 0 nan | 0.000 % | 0.39/0.47 c | 101 | 480 614 2093 | 5500 101 37 | 34.157 % | 0.39/0.48 c | 253 | 480 614 2093 | 6050 253 45 | 34.157 % | 0.39/0.49 c | 480 | 480 614 2093 | 6655 480 46 | 34.157 % | 0.49/0.52 c | 817 | 480 614 2093 | 7320 817 48 | 34.157 % | 0.49/0.58 c | 1323 | 480 614 2093 | 8052 1323 49 | 34.157 % | 0.59/0.66 c | 2082 | 480 614 2093 | 8857 2082 49 | 34.157 % | 0.79/0.81 c | 3221 | 480 614 2093 | 9743 3221 51 | 34.157 % | 1.09/1.11 c | 4934 | 480 614 2093 | 10717 4934 54 | 34.157 % | 1.69/1.75 c | 7496 | 476 614 2093 | 11789 7495 57 | 34.705 % | 3.29/3.31 c | 11341 | 476 614 2093 | 12968 11340 58 | 34.705 % | 5.99/6.01 c | 17108 | 476 614 2093 | 14265 10476 56 | 34.705 % | 9.79/9.85 c | 25764 | 476 614 2093 | 15692 11847 57 | 34.705 % | 12.98/13.07 c =============================================================================== 13.39/13.43 c core #94 13.39/13.43 c Core size: 203 Core Weight: 1 Total Weight: 94 13.39/13.43 c Elapsed CPU time: 13.328 s Remaining CPU time: 1786.67 s 13.39/13.46 c ============================[ Search Statistics ]============================== 13.39/13.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.39/13.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.39/13.46 c =============================================================================== 13.39/13.46 c | 0 | 500 615 2133 | 5000 0 nan | 0.000 % | 13.39/13.47 c | 101 | 500 615 2133 | 5500 101 45 | 33.245 % | 13.39/13.48 c | 252 | 500 615 2133 | 6050 252 50 | 33.245 % | 13.39/13.49 c | 477 | 500 615 2133 | 6655 477 64 | 33.245 % | 13.49/13.53 c | 816 | 496 615 2133 | 7320 815 66 | 33.779 % | 13.49/13.59 c | 1324 | 496 615 2133 | 8052 1323 69 | 33.779 % | 13.58/13.69 c | 2084 | 496 615 2133 | 8857 2083 70 | 33.779 % | 13.88/13.95 c | 3225 | 496 615 2133 | 9743 3224 72 | 33.779 % | 14.39/14.44 c | 4933 | 496 615 2133 | 10717 4932 73 | 33.779 % | 15.19/15.20 c | 7497 | 496 615 2133 | 11789 7496 75 | 33.779 % | 16.99/17.07 c | 11344 | 492 615 2133 | 12968 11342 76 | 34.313 % | 19.69/19.79 c | 17110 | 492 615 2133 | 14265 10444 76 | 34.313 % | 24.68/24.75 c | 25759 | 492 615 2133 | 15692 11785 78 | 34.313 % | 33.88/33.93 c | 38735 | 492 615 2133 | 17261 8739 75 | 34.313 % | 46.08/46.18 c | 58197 | 482 615 2133 | 18987 10587 77 | 35.648 % | 68.87/68.93 c | 87391 | 482 615 2133 | 20886 10766 83 | 36.182 % | 97.46/97.53 c | 131180 | 477 615 2133 | 22974 12063 65 | 36.315 % | 111.35/111.40 c =============================================================================== 113.86/113.97 c core #95 113.86/113.97 c Core size: 215 Core Weight: 1 Total Weight: 95 113.86/113.97 c Elapsed CPU time: 113.39 s Remaining CPU time: 1686.61 s 114.06/114.14 c ============================[ Search Statistics ]============================== 114.06/114.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.06/114.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.06/114.14 c =============================================================================== 114.06/114.14 c | 0 | 526 616 2185 | 5000 0 nan | 0.000 % | 114.06/114.16 c | 101 | 526 616 2185 | 5500 101 51 | 32.129 % | 114.06/114.17 c | 253 | 526 616 2185 | 6050 253 46 | 32.129 % | 114.06/114.19 c | 480 | 526 616 2185 | 6655 480 55 | 32.129 % | 114.16/114.23 c | 819 | 519 616 2185 | 7320 818 70 | 33.034 % | 114.16/114.29 c | 1325 | 518 616 2185 | 8052 1324 78 | 33.161 % | 114.36/114.46 c | 2084 | 518 616 2185 | 8857 2083 85 | 33.290 % | 114.76/114.85 c | 3223 | 517 616 2185 | 9743 3211 90 | 33.290 % | 115.46/115.55 c | 4931 | 517 616 2185 | 10717 4919 89 | 33.290 % | 116.76/116.83 c | 7494 | 517 616 2185 | 11789 7482 91 | 33.290 % | 118.86/118.99 c | 11338 | 517 616 2185 | 12968 11326 92 | 33.290 % | 122.25/122.39 c | 17105 | 502 616 2185 | 14265 10448 92 | 35.613 % | 126.26/126.36 c | 25754 | 491 616 2185 | 15692 11782 87 | 37.420 % | 134.35/134.49 c | 38728 | 488 616 2185 | 17261 8695 74 | 37.807 % | 145.35/145.44 c | 58190 | 487 616 2185 | 18987 10560 87 | 37.936 % | 166.84/166.98 c | 87382 | 481 616 2185 | 20886 10681 94 | 37.936 % | 193.83/193.97 c =============================================================================== 195.64/195.74 c core #96 195.64/195.74 c Core size: 227 Core Weight: 1 Total Weight: 96 195.64/195.74 c Elapsed CPU time: 194.812 s Remaining CPU time: 1605.19 s 195.74/195.87 c ============================[ Search Statistics ]============================== 195.74/195.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.74/195.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.74/195.87 c =============================================================================== 195.74/195.87 c | 0 | 558 617 2249 | 5000 0 nan | 0.000 % | 195.74/195.89 c | 100 | 558 617 2249 | 5500 100 60 | 30.855 % | 195.84/195.91 c | 253 | 558 617 2249 | 6050 253 60 | 30.855 % | 195.84/195.92 c | 478 | 558 617 2249 | 6655 478 57 | 30.855 % | 195.84/195.96 c | 816 | 558 617 2249 | 7320 816 79 | 30.855 % | 195.93/196.03 c | 1322 | 558 617 2249 | 8052 1322 92 | 30.855 % | 196.03/196.16 c | 2081 | 558 617 2249 | 8857 2081 102 | 30.855 % | 196.44/196.58 c | 3223 | 558 617 2249 | 9743 3223 114 | 30.855 % | 197.03/197.16 c | 4934 | 558 617 2249 | 10717 4934 120 | 30.855 % | 198.74/198.80 c | 7497 | 558 617 2249 | 11789 7497 125 | 30.855 % | 201.33/201.41 c | 11342 | 558 617 2249 | 12968 11342 128 | 30.855 % | 205.73/205.82 c | 17109 | 558 617 2249 | 14265 10461 119 | 30.855 % | 210.23/210.33 c | 25760 | 554 617 2249 | 15692 11816 114 | 31.351 % | 216.13/216.25 c | 38736 | 554 617 2249 | 17261 8690 102 | 31.351 % | 229.12/229.21 c | 58197 | 554 617 2249 | 18987 10490 100 | 32.342 % | 256.82/256.98 c | 87391 | 546 617 2249 | 20886 10606 108 | 32.342 % | 288.91/289.07 c | 131181 | 546 617 2249 | 22974 11830 102 | 32.342 % | 340.09/340.21 c | 196865 | 542 617 2249 | 25272 19012 118 | 32.838 % | 425.26/425.46 c | 295391 | 542 617 2249 | 27799 13496 114 | 32.838 % | 572.12/572.31 c | 443183 | 542 617 2249 | 30579 24612 111 | 32.838 % | 842.94/843.20 c | 664867 | 542 617 2249 | 33637 20742 121 | 32.838 % | 1216.14/1216.58 c =============================================================================== 1216.14/1216.58 c core #97 1216.14/1216.58 c Core size: 168 Core Weight: 1 Total Weight: 97 1216.14/1216.58 c Elapsed CPU time: 1211.87 s Remaining CPU time: 588.13 s 1217.13/1217.51 c ============================[ Search Statistics ]============================== 1217.13/1217.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1217.13/1217.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1217.13/1217.51 c =============================================================================== 1217.13/1217.51 c | 0 | 563 618 2259 | 5000 0 nan | 0.000 % | 1217.13/1217.58 c | 101 | 563 618 2259 | 5500 101 58 | 30.665 % | 1217.24/1217.69 c | 251 | 562 618 2259 | 6050 249 43 | 30.788 % | 1217.34/1217.73 c | 476 | 561 618 2259 | 6655 474 55 | 31.035 % | 1217.34/1217.76 c | 813 | 560 618 2259 | 7320 811 71 | 31.035 % | 1217.43/1217.82 c | 1319 | 560 618 2259 | 8052 1310 84 | 31.035 % | 1217.63/1218.00 c | 2078 | 560 618 2259 | 8857 2069 97 | 31.527 % | 1217.94/1218.32 c | 3219 | 560 618 2259 | 9743 3210 110 | 31.527 % | 1218.53/1218.93 c | 4927 | 556 618 2259 | 10717 4917 114 | 31.527 % | 1219.63/1220.07 c | 7491 | 556 618 2259 | 11789 7481 112 | 31.527 % | 1221.13/1221.50 c | 11339 | 556 618 2259 | 12968 11329 112 | 31.527 % | 1224.33/1224.76 c | 17106 | 556 618 2259 | 14265 10429 113 | 31.527 % | 1230.33/1230.76 c | 25757 | 556 618 2259 | 15692 11749 110 | 31.527 % | 1239.42/1239.87 c | 38735 | 556 618 2259 | 17261 8662 100 | 31.527 % | 1249.13/1249.52 c | 58199 | 556 618 2259 | 18987 10485 103 | 31.527 % | 1268.81/1269.22 c | 87392 | 556 618 2259 | 20886 10565 103 | 31.534 % | 1303.01/1303.41 c | 131183 | 556 618 2259 | 22974 11836 110 | 31.527 % | 1362.98/1363.44 c | 196868 | 556 618 2259 | 25272 19129 112 | 31.527 % | 1469.26/1469.73 c | 295402 | 552 618 2259 | 27799 25624 102 | 33.005 % | 1612.21/1612.72 c | 443195 | 552 618 2259 | 30579 22940 120 | 33.005 % |
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-1876205-1245155253/watcher-1876205-1245155253 -o /tmp/evaluation-result-1876205-1245155253/solver-1876205-1245155253 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876205-1245155253.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2702 /proc/meminfo: memFree=1854632/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=2524 CPUtime=0 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 183118187 2584576 188 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 631 188 133 292 0 336 0 [startup+0.065676 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2702 /proc/meminfo: memFree=1854632/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=2876 CPUtime=0.06 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 303 0 0 0 6 0 0 0 18 0 1 0 183118187 2945024 284 1992294400 134512640 135709839 4294956240 18446744073709551615 134605225 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 719 284 135 292 0 424 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2876 [startup+0.101681 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2702 /proc/meminfo: memFree=1854632/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=3008 CPUtime=0.09 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 341 0 0 0 9 0 0 0 18 0 1 0 183118187 3080192 322 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 752 322 136 292 0 457 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3008 [startup+0.301709 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2702 /proc/meminfo: memFree=1854632/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=3392 CPUtime=0.29 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 422 0 0 0 28 1 0 0 19 0 1 0 183118187 3473408 403 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 848 403 136 292 0 553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3392 [startup+0.701766 s] /proc/loadavg: 0.92 0.98 0.99 3/64 2702 /proc/meminfo: memFree=1854632/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=4188 CPUtime=0.69 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 637 0 0 0 66 3 0 0 22 0 1 0 183118187 4288512 618 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 1047 618 136 292 0 752 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4188 [startup+1.50188 s] /proc/loadavg: 0.92 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1851808/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=6036 CPUtime=1.49 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 1085 0 0 0 145 4 0 0 25 0 1 0 183118187 6180864 1066 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 1509 1066 136 292 0 1214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6036 [startup+3.10111 s] /proc/loadavg: 0.92 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1849760/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=7932 CPUtime=3.09 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 1583 0 0 0 304 5 0 0 25 0 1 0 183118187 8122368 1564 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 1983 1564 136 292 0 1688 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7932 [startup+6.30156 s] /proc/loadavg: 0.93 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1846688/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=11164 CPUtime=6.29 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 2366 0 0 0 622 7 0 0 25 0 1 0 183118187 11431936 2347 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 2791 2347 136 292 0 2496 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11164 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1840672/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=16332 CPUtime=12.68 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 3653 0 0 0 1259 9 0 0 25 0 1 0 183118187 16723968 3634 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 4083 3634 136 292 0 3788 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16332 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1832352/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=24332 CPUtime=25.48 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 5651 0 0 0 2532 16 0 0 25 0 1 0 183118187 24915968 5632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 6083 5632 136 292 0 5788 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24332 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1813280/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=43624 CPUtime=51.08 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 10456 0 0 0 5080 28 0 0 25 0 1 0 183118187 44670976 10437 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 10906 10437 136 292 0 10611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43624 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1777376/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=79372 CPUtime=102.26 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 19348 0 0 0 10175 51 0 0 25 0 1 0 183118187 81276928 19329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 19843 19329 136 292 0 19548 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79372 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1750688/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=106012 CPUtime=162.24 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 26063 0 0 0 16148 76 0 0 25 0 1 0 183118187 108556288 26044 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 26503 26044 136 292 0 26208 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106012 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1722464/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=133824 CPUtime=222.22 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 33049 0 0 0 22124 98 0 0 25 0 1 0 183118187 137035776 33030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 33456 33030 136 292 0 33161 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 133824 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1684896/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=171640 CPUtime=282.21 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 42452 0 0 0 28101 120 0 0 25 0 1 0 183118187 175759360 42433 1992294400 134512640 135709839 4294956240 18446744073709551615 134611859 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 42910 42433 136 292 0 42615 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 171640 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1634336/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=221944 CPUtime=342.18 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 55026 0 0 0 34073 145 0 0 25 0 1 0 183118187 227270656 55007 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 55486 55007 136 292 0 55191 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 221944 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1588448/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=268060 CPUtime=402.17 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 66563 0 0 0 40050 167 0 0 25 0 1 0 183118187 274493440 66544 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 67015 66544 136 292 0 66720 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 268060 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1539936/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=316248 CPUtime=462.15 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 78549 0 0 0 46022 193 0 0 25 0 1 0 183118187 323837952 78530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 79062 78530 136 292 0 78767 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 316248 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1506528/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=349872 CPUtime=522.14 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 86960 0 0 0 52003 211 0 0 25 0 1 0 183118187 358268928 86941 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 87468 86941 136 292 0 87173 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 349872 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1466016/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=390088 CPUtime=582.12 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 97003 0 0 0 57978 234 0 0 25 0 1 0 183118187 399450112 96984 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 97522 96984 136 292 0 97227 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 390088 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1434400/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=421448 CPUtime=642.11 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 104805 0 0 0 63960 251 0 0 25 0 1 0 183118187 431562752 104786 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 105362 104786 136 292 0 105067 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 421448 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1311200/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=544696 CPUtime=882.03 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 135546 0 0 0 87877 326 0 0 25 0 1 0 183118187 557768704 135527 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 136174 135527 136 292 0 135879 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 544696 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1280992/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=575088 CPUtime=942.01 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 143096 0 0 0 93856 345 0 0 25 0 1 0 183118187 588890112 143077 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 143772 143077 136 292 0 143477 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 575088 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1253216/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=602636 CPUtime=1002 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 149996 0 0 0 99836 364 0 0 25 0 1 0 183118187 617099264 149977 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 150659 149977 136 292 0 150364 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 602636 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1215904/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=640576 CPUtime=1061.97 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 159439 0 0 0 105812 385 0 0 25 0 1 0 183118187 655949824 159420 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 160144 159420 136 292 0 159849 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 640576 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1179040/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=676952 CPUtime=1121.96 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 168528 0 0 0 111788 408 0 0 25 0 1 0 183118187 693198848 168509 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 169238 168509 136 292 0 168943 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 676952 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1144928/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=710940 CPUtime=1181.94 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 177051 0 0 0 117768 426 0 0 25 0 1 0 183118187 728002560 177032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 177735 177032 136 292 0 177440 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 710940 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1131872/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=722568 CPUtime=1241.93 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 180263 0 0 0 123746 447 0 0 25 0 1 0 183118187 739909632 180210 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 180642 180210 136 292 0 180347 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 722568 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1112352/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=742112 CPUtime=1301.91 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 185122 0 0 0 129723 468 0 0 25 0 1 0 183118187 759922688 185069 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 185528 185069 136 292 0 185233 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 742112 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1084128/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=770904 CPUtime=1361.89 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 192296 0 0 0 135702 487 0 0 25 0 1 0 183118187 789405696 192243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 192726 192243 136 292 0 192431 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 770904 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1060704/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=793840 CPUtime=1421.88 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 197994 0 0 0 141685 503 0 0 25 0 1 0 183118187 812892160 197941 1992294400 134512640 135709839 4294956240 18446744073709551615 134573813 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 198460 197941 136 292 0 198165 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 793840 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2703 /proc/meminfo: memFree=1032224/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=822444 CPUtime=1481.86 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 205144 0 0 0 147658 528 0 0 25 0 1 0 183118187 842182656 205091 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 205611 205091 136 292 0 205316 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 822444 [startup+1542.3 s] /proc/loadavg: 1.05 1.00 1.00 2/65 2703 /proc/meminfo: memFree=1003488/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=851028 CPUtime=1541.84 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 212271 0 0 0 153631 553 0 0 25 0 1 0 183118187 871452672 212218 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 212757 212218 136 292 0 212462 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 851028 [startup+1602.3 s] /proc/loadavg: 1.14 1.03 1.01 2/65 2703 /proc/meminfo: memFree=976736/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=878064 CPUtime=1601.82 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 218998 0 0 0 159607 575 0 0 25 0 1 0 183118187 899137536 218945 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 219516 218945 136 292 0 219221 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 878064 [startup+1662.3 s] /proc/loadavg: 1.11 1.04 1.01 2/65 2705 /proc/meminfo: memFree=952480/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=902108 CPUtime=1661.8 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 224994 0 0 0 165590 590 0 0 25 0 1 0 183118187 923758592 224941 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 225527 224941 136 292 0 225232 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 902108 [startup+1722.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 2705 /proc/meminfo: memFree=925280/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=929448 CPUtime=1721.78 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 231821 0 0 0 171566 612 0 0 25 0 1 0 183118187 951754752 231768 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 232362 231768 136 292 0 232067 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 929448 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2705 /proc/meminfo: memFree=895968/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=958688 CPUtime=1781.76 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 239097 0 0 0 177544 632 0 0 25 0 1 0 183118187 981696512 239044 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 239672 239044 136 292 0 239377 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 958688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2705 /proc/meminfo: memFree=888608/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=965880 CPUtime=1800.07 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4194304 240891 0 0 0 179369 638 0 0 25 0 1 0 183118187 989061120 240838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 241470 240838 136 292 0 241175 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 965880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2705 /proc/meminfo: memFree=888608/2055920 swapFree=4181384/4192956 [pid=2702] ppid=2700 vsize=0 CPUtime=1800.17 /proc/2702/stat : 2702 (wbo) R 2700 2702 2562 0 -1 4195332 240891 0 0 0 179369 648 0 0 25 0 1 0 183118187 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2702/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.23 CPU user time (s): 1793.7 CPU system time (s): 6.53501 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 965880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.7 system time used= 6.53501 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 240891 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= 1909 runsolver used 1.2848 second user time and 3.9714 second system time The end
Begin job on node49 at 2009-06-16 14:27:33 IDJOB=1876205 IDBENCH=2135 IDSOLVER=698 FILE ID=node49/1876205-1245155253 PBS_JOBID= 9363803 Free space on /tmp= 66028 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-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-1876205-1245155253/watcher-1876205-1245155253 -o /tmp/evaluation-result-1876205-1245155253/solver-1876205-1245155253 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876205-1245155253.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6aca0e3708614edb0af25212326b82c7 RANDOM SEED=970682039 node49.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: 1855048 kB Buffers: 39824 kB Cached: 92412 kB SwapCached: 4580 kB Active: 42824 kB Inactive: 97484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855048 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 2388 kB Writeback: 0 kB Mapped: 13800 kB Slab: 46364 kB Committed_AS: 165080 kB PageTables: 1388 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-1876205-1245155253.opb Free space on /tmp at the end= 66024 MiB End job on node49 at 2009-06-16 14:57:35