Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.15 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13480 |
Total number of constraints | 26619 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2843 |
Number of bits of the biggest sum of numbers | 12 |
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-1875540-1245170816.opb. 0.00/0.00 c Instance file HOME/instance-1875540-1245170816.opb 0.00/0.00 c File size is 7804237 bytes. 1.10/1.18 c Highest Coefficient sum: 2843 1.10/1.19 c ============================[ Problem Statistics ]============================= 1.10/1.19 c | | 1.10/1.19 c | Parsing time: 1.14 s | 1.10/1.19 c | Number Variables: 13480 | 1.10/1.19 c | Number Clauses: 9 | 1.10/1.19 c | Number Cardinality: 0 | 1.10/1.19 c | Number PB Constraints: 26619 | 1.10/1.19 c core #1 1.10/1.19 c Core size: 10 Core Weight: 1 Total Weight: 1 1.10/1.19 c Elapsed CPU time: 1.13783 s Remaining CPU time: 1798.86 s 1.39/1.48 c core #2 1.39/1.48 c Core size: 12 Core Weight: 1 Total Weight: 2 1.39/1.48 c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s 1.79/1.84 c ============================[ Search Statistics ]============================== 1.79/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.84 c =============================================================================== 1.79/1.84 c | 0 | 13357 26645 916165 | 8881 0 nan | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c core #3 1.79/1.87 c Core size: 16 Core Weight: 1 Total Weight: 3 1.79/1.87 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 2.19/2.25 c Learning 1 hard constraints 2.19/2.25 c core #4 2.19/2.25 c Core size: 16 Core Weight: 1 Total Weight: 4 2.19/2.25 c Elapsed CPU time: 2.12568 s Remaining CPU time: 1797.87 s 2.59/2.61 c ============================[ Search Statistics ]============================== 2.59/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.61 c =============================================================================== 2.59/2.61 c | 0 | 13393 26661 916206 | 8887 0 nan | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c core #5 2.69/2.71 c Core size: 70 Core Weight: 1 Total Weight: 5 2.69/2.71 c Elapsed CPU time: 2.56961 s Remaining CPU time: 1797.43 s 2.98/3.06 c Learning 4 hard constraints 2.98/3.06 c ============================[ Search Statistics ]============================== 2.98/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.06 c =============================================================================== 2.98/3.06 c | 0 | 13404 26672 916316 | 8890 0 nan | 0.000 % | 3.38/3.48 c =============================================================================== 3.38/3.48 c core #6 3.38/3.48 c Core size: 88 Core Weight: 3 Total Weight: 8 3.38/3.48 c Elapsed CPU time: 3.32649 s Remaining CPU time: 1796.67 s 3.79/3.83 c Learning 16 hard constraints 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 13430 26694 916928 | 8898 0 nan | 0.000 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c core #7 4.19/4.24 c Core size: 89 Core Weight: 1 Total Weight: 9 4.19/4.24 c Elapsed CPU time: 4.06338 s Remaining CPU time: 1795.94 s 4.49/4.59 c Learning 13 hard constraints 4.49/4.59 c ============================[ Search Statistics ]============================== 4.49/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.59 c =============================================================================== 4.49/4.59 c | 0 | 13442 26713 917670 | 8904 0 nan | 0.000 % | 6.09/6.18 c =============================================================================== 6.09/6.18 c core #8 6.09/6.18 c Core size: 75 Core Weight: 1 Total Weight: 10 6.09/6.18 c Elapsed CPU time: 5.98509 s Remaining CPU time: 1794.01 s 6.49/6.54 c Learning 44 hard constraints 6.49/6.54 c ============================[ Search Statistics ]============================== 6.49/6.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.54 c =============================================================================== 6.49/6.54 c | 0 | 12421 26763 919728 | 8921 0 nan | 0.000 % | 6.98/7.01 c =============================================================================== 6.98/7.01 c core #9 6.98/7.01 c Core size: 58 Core Weight: 6 Total Weight: 16 6.98/7.01 c Elapsed CPU time: 6.78797 s Remaining CPU time: 1793.21 s 7.29/7.33 c Learning 28 hard constraints 7.29/7.33 c ============================[ Search Statistics ]============================== 7.29/7.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.33 c =============================================================================== 7.29/7.33 c | 0 | 13482 26796 920586 | 8932 0 nan | 0.000 % | 9.39/9.43 c | 100 | 13482 26796 920586 | 9825 100 40 | 0.591 % | 11.59/11.63 c =============================================================================== 11.59/11.63 c core #10 11.59/11.63 c Core size: 191 Core Weight: 1 Total Weight: 17 11.59/11.63 c Elapsed CPU time: 11.3893 s Remaining CPU time: 1788.61 s 11.89/11.96 c Learning 199 hard constraints 11.89/11.96 c ============================[ Search Statistics ]============================== 11.89/11.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.96 c =============================================================================== 11.89/11.96 c | 0 | 13496 27002 927999 | 9000 0 nan | 0.000 % | 13.79/13.85 c | 100 | 13495 27002 927999 | 9900 100 49 | 0.597 % | 17.09/17.19 c | 250 | 13495 27002 927999 | 10890 250 57 | 0.597 % | 22.79/22.89 c | 476 | 13495 27002 927999 | 11979 476 64 | 0.597 % | 27.58/27.68 c | 813 | 13495 27002 927999 | 13177 813 64 | 0.597 % | 29.48/29.53 c =============================================================================== 29.48/29.53 c core #11 29.48/29.53 c Core size: 305 Core Weight: 1 Total Weight: 18 29.48/29.53 c Elapsed CPU time: 29.2566 s Remaining CPU time: 1770.74 s 29.78/29.86 c Learning 89 hard constraints 29.78/29.86 c ============================[ Search Statistics ]============================== 29.78/29.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.78/29.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.78/29.86 c =============================================================================== 29.78/29.86 c | 0 | 13514 27098 931237 | 9032 0 nan | 0.000 % | 31.58/31.61 c | 102 | 13514 27098 931237 | 9935 102 47 | 0.589 % | 35.27/35.33 c | 252 | 13507 27098 931237 | 10929 252 51 | 0.641 % | 38.07/38.16 c =============================================================================== 38.07/38.16 c core #12 38.07/38.16 c Core size: 303 Core Weight: 1 Total Weight: 19 38.07/38.16 c Elapsed CPU time: 37.8612 s Remaining CPU time: 1762.14 s 38.37/38.50 c Learning 373 hard constraints 38.37/38.50 c ============================[ Search Statistics ]============================== 38.37/38.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.37/38.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.37/38.50 c =============================================================================== 38.37/38.50 c | 0 | 13520 27476 950697 | 9158 0 nan | 0.000 % | 38.57/38.67 c =============================================================================== 38.57/38.67 c core #13 38.57/38.67 c Core size: 83 Core Weight: 1 Total Weight: 20 38.57/38.67 c Elapsed CPU time: 38.3512 s Remaining CPU time: 1761.65 s 38.97/39.03 c Learning 1 hard constraints 38.97/39.03 c ============================[ Search Statistics ]============================== 38.97/39.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.97/39.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.97/39.03 c =============================================================================== 38.97/39.03 c | 0 | 13533 27482 950745 | 9160 0 nan | 0.000 % | 39.07/39.15 c | 101 | 13533 27482 950745 | 10076 101 23 | 0.683 % | 39.66/39.78 c =============================================================================== 39.66/39.78 c core #14 39.66/39.78 c Core size: 79 Core Weight: 1 Total Weight: 21 39.66/39.78 c Elapsed CPU time: 39.431 s Remaining CPU time: 1760.57 s 40.06/40.12 c Learning 10 hard constraints 40.06/40.12 c ============================[ Search Statistics ]============================== 40.06/40.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.06/40.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.06/40.12 c =============================================================================== 40.06/40.12 c | 0 | 13558 27497 951479 | 9165 0 nan | 0.000 % | 40.16/40.24 c | 101 | 13558 27497 951479 | 10082 101 32 | 0.681 % | 40.16/40.27 c | 251 | 13558 27497 951479 | 11090 251 23 | 0.681 % | 41.36/41.45 c =============================================================================== 41.36/41.45 c core #15 41.36/41.45 c Core size: 83 Core Weight: 1 Total Weight: 22 41.36/41.45 c Elapsed CPU time: 41.0718 s Remaining CPU time: 1758.93 s 41.66/41.79 c Learning 16 hard constraints 41.66/41.79 c ============================[ Search Statistics ]============================== 41.66/41.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.66/41.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.66/41.79 c =============================================================================== 41.66/41.79 c | 0 | 13577 27518 952459 | 9172 0 nan | 0.000 % | 41.76/41.81 c | 102 | 13577 27518 952459 | 10089 102 24 | 0.688 % | 41.76/41.84 c | 256 | 13577 27518 952459 | 11098 256 26 | 0.688 % | 41.76/41.88 c | 483 | 13577 27518 952459 | 12208 483 28 | 0.688 % | 41.86/41.93 c | 822 | 13577 27518 952459 | 13429 822 30 | 0.688 % | 41.97/42.04 c | 1332 | 13577 27518 952459 | 14772 1332 30 | 0.688 % | 42.07/42.17 c | 2091 | 13577 27518 952459 | 16249 2091 29 | 0.688 % | 42.17/42.22 c =============================================================================== 42.17/42.24 c core #16 42.17/42.24 c Core size: 73 Core Weight: 1 Total Weight: 23 42.17/42.24 c Elapsed CPU time: 41.8436 s Remaining CPU time: 1758.16 s 42.46/42.58 c ============================[ Search Statistics ]============================== 42.46/42.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.46/42.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.46/42.58 c =============================================================================== 42.46/42.58 c | 0 | 13597 27523 952495 | 9174 0 nan | 0.000 % | 42.56/42.61 c | 102 | 13597 27523 952495 | 10091 102 32 | 0.687 % | 42.56/42.67 c | 252 | 13597 27523 952495 | 11100 252 36 | 0.687 % | 42.67/42.70 c | 480 | 13597 27523 952495 | 12211 480 38 | 0.687 % | 42.67/42.74 c | 817 | 13597 27523 952495 | 13432 817 39 | 0.687 % | 42.77/42.80 c | 1323 | 13597 27523 952495 | 14775 1323 41 | 0.687 % | 42.87/42.97 c | 2083 | 13597 27523 952495 | 16252 2083 43 | 0.687 % | 43.16/43.22 c | 3222 | 13597 27523 952495 | 17878 3222 42 | 0.687 % | 43.56/43.61 c | 4932 | 13597 27523 952495 | 19665 4932 41 | 0.687 % | 44.26/44.32 c | 7494 | 13597 27523 952495 | 21632 7494 40 | 0.687 % | 46.06/46.10 c | 11338 | 13597 27523 952495 | 23795 11338 41 | 0.687 % | 49.86/49.93 c | 17106 | 13597 27523 952495 | 26175 17106 41 | 0.687 % | 56.76/56.84 c | 25755 | 13597 27523 952495 | 28792 25755 41 | 0.687 % | 63.66/63.76 c =============================================================================== 64.26/64.32 c core #17 64.26/64.32 c Core size: 75 Core Weight: 1 Total Weight: 24 64.26/64.32 c Elapsed CPU time: 63.8353 s Remaining CPU time: 1736.16 s 64.66/64.70 c ============================[ Search Statistics ]============================== 64.66/64.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.66/64.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.66/64.70 c =============================================================================== 64.66/64.70 c | 0 | 13618 27528 952533 | 9176 0 nan | 0.000 % | 64.66/64.73 c | 102 | 13618 27528 952533 | 10093 102 41 | 0.686 % | 68.05/68.18 c | 252 | 13612 27528 952533 | 11102 252 46 | 2.181 % | 73.25/73.33 c | 477 | 13612 27528 952533 | 12213 477 55 | 2.181 % | 74.94/75.04 c =============================================================================== 74.94/75.05 c core #18 74.94/75.05 c Core size: 195 Core Weight: 8 Total Weight: 32 74.94/75.05 c Elapsed CPU time: 74.5277 s Remaining CPU time: 1725.47 s 75.25/75.38 c Learning 434 hard constraints 75.25/75.38 c ============================[ Search Statistics ]============================== 75.25/75.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.25/75.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.25/75.38 c =============================================================================== 75.25/75.38 c | 0 | 13656 27966 979324 | 9322 0 nan | 0.000 % | 76.75/76.85 c =============================================================================== 76.75/76.85 c core #19 76.75/76.85 c Core size: 169 Core Weight: 1 Total Weight: 33 76.75/76.85 c Elapsed CPU time: 76.3314 s Remaining CPU time: 1723.67 s 77.05/77.18 c Learning 99 hard constraints 77.05/77.18 c ============================[ Search Statistics ]============================== 77.05/77.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.05/77.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.05/77.18 c =============================================================================== 77.05/77.18 c | 0 | 13677 28071 985935 | 9357 0 nan | 0.000 % | 78.55/78.61 c | 100 | 13676 28071 985935 | 10292 100 65 | 0.444 % | 80.55/80.68 c | 251 | 13675 28071 985935 | 11321 251 68 | 0.451 % | 84.55/84.68 c | 477 | 13675 28071 985935 | 12454 477 66 | 0.451 % | 91.94/92.03 c | 814 | 13656 28071 985935 | 13699 814 65 | 0.692 % | 100.44/100.55 c | 1321 | 13656 28071 985935 | 15069 1321 66 | 0.692 % | 112.43/112.56 c =============================================================================== 112.43/112.58 c core #20 112.43/112.58 c Core size: 479 Core Weight: 1 Total Weight: 34 112.43/112.58 c Elapsed CPU time: 112.007 s Remaining CPU time: 1687.99 s 112.83/112.91 c Learning 758 hard constraints 112.83/112.91 c ============================[ Search Statistics ]============================== 112.83/112.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.83/112.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.83/112.91 c =============================================================================== 112.83/112.91 c | 0 | 13704 28836 1031864 | 9612 0 nan | 0.000 % | 114.13/114.22 c | 101 | 13704 28836 1031864 | 10573 101 61 | 0.436 % | 115.53/115.68 c | 251 | 13704 28836 1031864 | 11630 251 67 | 0.436 % | 118.33/118.42 c | 476 | 13704 28836 1031864 | 12793 476 53 | 0.436 % | 122.03/122.11 c | 815 | 13696 28836 1031864 | 14072 815 60 | 0.625 % | 127.13/127.24 c | 1322 | 13696 28836 1031864 | 15480 1322 66 | 0.625 % | 135.23/135.39 c | 2082 | 13696 28836 1031864 | 17028 2082 70 | 0.625 % | 149.72/149.84 c | 3221 | 13695 28836 1031864 | 18731 3221 69 | 0.676 % | 172.10/172.21 c | 4932 | 13694 28836 1031864 | 20604 4932 70 | 0.727 % | 215.78/215.97 c | 7495 | 13664 28836 1031864 | 22664 6677 70 | 0.727 % | 262.06/262.28 c | 11339 | 13561 28836 1031864 | 24931 7067 66 | 1.475 % | 288.46/288.65 c =============================================================================== 288.56/288.76 c core #21 288.56/288.76 c Core size: 978 Core Weight: 4 Total Weight: 38 288.56/288.76 c Elapsed CPU time: 288.006 s Remaining CPU time: 1511.99 s 288.95/289.20 c Learning 9411 hard constraints 288.95/289.20 c ============================[ Search Statistics ]============================== 288.95/289.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 288.95/289.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 288.95/289.20 c =============================================================================== 288.95/289.20 c | 0 | 13709 38251 1682745 | 12750 0 nan | 0.000 % | 289.15/289.40 c | 105 | 13706 38251 1682745 | 14025 105 26 | 0.523 % | 289.25/289.49 c =============================================================================== 289.25/289.49 c core #22 289.25/289.49 c Core size: 103 Core Weight: 1 Total Weight: 39 289.25/289.49 c Elapsed CPU time: 288.702 s Remaining CPU time: 1511.3 s 289.75/289.90 c Learning 1 hard constraints 289.75/289.90 c ============================[ Search Statistics ]============================== 289.75/289.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 289.75/289.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 289.75/289.90 c =============================================================================== 289.75/289.90 c | 0 | 13734 38257 1682813 | 12752 0 nan | 0.000 % | 289.85/290.01 c | 100 | 13734 38257 1682813 | 14027 100 31 | 0.514 % | 290.05/290.24 c | 252 | 13734 38257 1682813 | 15430 252 38 | 0.514 % | 293.65/293.86 c | 479 | 13734 38257 1682813 | 16973 479 56 | 0.514 % | 298.64/298.82 c | 817 | 13734 38257 1682813 | 18670 817 56 | 0.514 % | 306.04/306.28 c | 1324 | 13734 38257 1682813 | 20537 1324 56 | 0.514 % | 317.03/317.27 c | 2083 | 13734 38257 1682813 | 22591 2083 56 | 0.514 % | 333.53/333.74 c | 3223 | 13734 38257 1682813 | 24850 3223 55 | 0.514 % | 353.42/353.65 c | 4932 | 13734 38257 1682813 | 27335 4932 52 | 0.514 % | 380.61/380.87 c | 7494 | 13734 38257 1682813 | 30069 7494 51 | 0.514 % | 434.19/434.43 c | 11340 | 13734 38257 1682813 | 33076 11340 53 | 0.514 % | 499.86/500.12 c | 17106 | 13734 38257 1682813 | 36383 17106 53 | 0.514 % | 577.53/577.84 c | 25756 | 13734 38257 1682813 | 40022 25756 51 | 0.514 % | 798.51/798.90 c | 38731 | 13734 38257 1682813 | 44024 38731 55 | 0.514 % | 1089.59/1090.11 c | 58193 | 13734 38257 1682813 | 48426 25882 57 | 0.514 % | 1478.30/1479.05 c | 87386 | 13734 38257 1682813 | 53269 18381 63 | 0.514 % |
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-1875540-1245170816/watcher-1875540-1245170816 -o /tmp/evaluation-result-1875540-1245170816/solver-1875540-1245170816 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875540-1245170816.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4723 /proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=10148 CPUtime=0 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 184678718 10391552 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 2537 185 128 292 0 336 0 [startup+0.00772507 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4723 /proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=10148 CPUtime=0 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 184678718 10391552 205 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 2537 207 133 292 0 336 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10148 [startup+0.101736 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4723 /proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=12684 CPUtime=0.09 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 983 0 0 0 9 0 0 0 18 0 1 0 184678718 12988416 967 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 3171 967 291 292 0 970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12684 [startup+0.301764 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4723 /proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=17656 CPUtime=0.29 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 2560 0 0 0 28 1 0 0 19 0 1 0 184678718 18079744 2544 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 4414 2544 619 292 0 2213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17656 [startup+0.701822 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4723 /proc/meminfo: memFree=1847800/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=27840 CPUtime=0.7 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 5756 0 0 0 67 3 0 0 23 0 1 0 184678718 28508160 5740 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 6960 5740 1273 292 0 4759 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 27840 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1822768/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=61976 CPUtime=1.49 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 17112 0 0 0 141 8 0 0 25 0 1 0 184678718 63463424 15005 1992294400 134512640 135709839 4294956240 18446744073709551615 134530681 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 15494 15005 134 292 0 15199 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61976 [startup+3.10117 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1754664/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=135176 CPUtime=3.08 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 35575 0 0 0 293 15 0 0 25 0 1 0 184678718 138420224 33308 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 33794 33308 135 292 0 33499 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 135176 [startup+6.30163 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1678120/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=174056 CPUtime=6.29 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 45312 0 0 0 609 20 0 0 25 0 1 0 184678718 178233344 43045 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 43514 43046 135 292 0 43219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 174056 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1623664/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=225860 CPUtime=12.69 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 58265 0 0 0 1243 26 0 0 25 0 1 0 184678718 231280640 55998 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 56465 55998 136 292 0 56170 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 225860 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1623664/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=225860 CPUtime=25.48 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 58265 0 0 0 2522 26 0 0 25 0 1 0 184678718 231280640 55998 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 56465 55998 136 292 0 56170 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 225860 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1512880/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=336644 CPUtime=51.06 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 85921 0 0 0 5064 42 0 0 25 0 1 0 184678718 344723456 83654 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 84161 83654 136 292 0 83866 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 336644 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1453168/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=396116 CPUtime=102.24 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 100969 0 0 0 10173 51 0 0 25 0 1 0 184678718 405622784 98540 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 99029 98540 136 292 0 98734 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 396116 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1433840/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=415452 CPUtime=162.21 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105790 0 0 0 16165 56 0 0 25 0 1 0 184678718 425422848 103361 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/4723/statm: 103863 103361 136 292 0 103568 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 415452 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4724 /proc/meminfo: memFree=1433776/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=415452 CPUtime=222.18 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105793 0 0 0 22160 58 0 0 25 0 1 0 184678718 425422848 103364 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 103863 103364 136 292 0 103568 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 415452 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1433392/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=415452 CPUtime=282.15 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 105804 0 0 0 28154 61 0 0 25 0 1 0 184678718 425422848 103375 1992294400 134512640 135709839 4294956240 18446744073709551615 134572622 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 103863 103375 136 292 0 103568 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 415452 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=342.12 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 34143 69 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114153 136 292 0 114351 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 458584 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=402.09 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 40137 72 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114153 136 292 0 114351 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 458584 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=462.08 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 46132 76 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114153 136 292 0 114351 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 458584 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=522.05 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116582 0 0 0 52125 80 0 0 25 0 1 0 184678718 469590016 114153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114153 136 292 0 114351 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 458584 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=582.02 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116586 0 0 0 58117 85 0 0 25 0 1 0 184678718 469590016 114157 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114157 136 292 0 114351 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 458584 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4726 /proc/meminfo: memFree=1390320/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=458584 CPUtime=642.01 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 116590 0 0 0 64114 87 0 0 25 0 1 0 184678718 469590016 114161 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 114646 114161 136 292 0 114351 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 458584 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1387824/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=460968 CPUtime=881.87 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117180 0 0 0 88092 95 0 0 25 0 1 0 184678718 472031232 114751 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 115242 114751 136 292 0 114947 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 460968 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1386992/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=461892 CPUtime=941.84 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117388 0 0 0 94087 97 0 0 25 0 1 0 184678718 472977408 114959 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 115473 114959 136 292 0 115178 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 461892 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1385584/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=463212 CPUtime=1001.82 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 117723 0 0 0 100082 100 0 0 25 0 1 0 184678718 474329088 115294 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 115803 115294 136 292 0 115508 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 463212 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1384048/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=464664 CPUtime=1061.79 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118112 0 0 0 106077 102 0 0 25 0 1 0 184678718 475815936 115683 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 116166 115683 136 292 0 115871 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 464664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1382640/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=466124 CPUtime=1121.75 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118468 0 0 0 112070 105 0 0 25 0 1 0 184678718 477310976 116039 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 116531 116039 136 292 0 116236 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 466124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1380912/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=467840 CPUtime=1181.72 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 118886 0 0 0 118064 108 0 0 25 0 1 0 184678718 479068160 116457 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 116960 116457 136 292 0 116665 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 467840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1379056/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=469556 CPUtime=1241.7 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 119318 0 0 0 124058 112 0 0 25 0 1 0 184678718 480825344 116889 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 117389 116889 136 292 0 117094 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 469556 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 4732 /proc/meminfo: memFree=1377264/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=471404 CPUtime=1301.67 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 119766 0 0 0 130052 115 0 0 25 0 1 0 184678718 482717696 117337 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 117851 117337 136 292 0 117556 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 471404 [startup+1362.3 s] /proc/loadavg: 1.21 1.07 1.02 2/65 4732 /proc/meminfo: memFree=1375472/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=473132 CPUtime=1361.64 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 120212 0 0 0 136045 119 0 0 25 0 1 0 184678718 484487168 117783 1992294400 134512640 135709839 4294956240 18446744073709551615 134518380 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 118283 117783 136 292 0 117988 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 473132 [startup+1422.31 s] /proc/loadavg: 1.08 1.05 1.01 2/65 4732 /proc/meminfo: memFree=1373744/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=474848 CPUtime=1421.62 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 120631 0 0 0 142040 122 0 0 25 0 1 0 184678718 486244352 118202 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 118712 118202 136 292 0 118417 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 474848 [startup+1482.3 s] /proc/loadavg: 1.03 1.04 1.01 2/65 4732 /proc/meminfo: memFree=1372016/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=476564 CPUtime=1481.59 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121067 0 0 0 148034 125 0 0 25 0 1 0 184678718 488001536 118638 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 119141 118638 136 292 0 118846 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 476564 [startup+1542.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 4732 /proc/meminfo: memFree=1370288/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=478152 CPUtime=1541.57 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121479 0 0 0 154027 130 0 0 25 0 1 0 184678718 489627648 119050 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 119538 119050 136 292 0 119243 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 478152 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4732 /proc/meminfo: memFree=1368688/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=479868 CPUtime=1601.55 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 121890 0 0 0 160021 134 0 0 25 0 1 0 184678718 491384832 119461 1992294400 134512640 135709839 4294956240 18446744073709551615 134572856 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 119967 119461 136 292 0 119672 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 479868 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4732 /proc/meminfo: memFree=1366960/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=481456 CPUtime=1661.52 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 122301 0 0 0 166015 137 0 0 25 0 1 0 184678718 493010944 119872 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 120364 119872 136 292 0 120069 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 481456 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4732 /proc/meminfo: memFree=1364912/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=483568 CPUtime=1721.49 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 122811 0 0 0 172008 141 0 0 25 0 1 0 184678718 495173632 120382 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 120892 120382 136 292 0 120597 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 483568 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4732 /proc/meminfo: memFree=1362928/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=485416 CPUtime=1781.47 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123271 0 0 0 178002 145 0 0 25 0 1 0 184678718 497065984 120842 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 121354 120842 136 292 0 121059 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (KiB) 485416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1362352/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=485948 CPUtime=1800.06 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123415 0 0 0 179860 146 0 0 25 0 1 0 184678718 497610752 120986 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 121487 120986 136 292 0 121192 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 485948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4732 /proc/meminfo: memFree=1362352/2055920 swapFree=4182572/4192956 [pid=4723] ppid=4721 vsize=485948 CPUtime=1800.06 /proc/4723/stat : 4723 (wbo) R 4721 4723 4230 0 -1 4194304 123415 0 0 0 179860 146 0 0 25 0 1 0 184678718 497610752 120986 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 0 0 0 /proc/4723/statm: 121487 120986 136 292 0 121192 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 485948 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.98 CPU time (s): 1800.15 CPU user time (s): 1798.61 CPU system time (s): 1.54077 CPU usage (%): 99.9538 Max. virtual memory (cumulated for all children) (KiB): 485948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.54076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123415 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= 5 involuntary context switches= 6513 runsolver used 1.61375 second user time and 4.95625 second system time The end
Begin job on node39 at 2009-06-16 18:46:57 IDJOB=1875540 IDBENCH=2639 IDSOLVER=698 FILE ID=node39/1875540-1245170816 PBS_JOBID= 9363828 Free space on /tmp= 66124 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.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-1875540-1245170816/watcher-1875540-1245170816 -o /tmp/evaluation-result-1875540-1245170816/solver-1875540-1245170816 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875540-1245170816.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED=610977197 node39.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.263 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.263 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: 1848280 kB Buffers: 43156 kB Cached: 96448 kB SwapCached: 4216 kB Active: 49352 kB Inactive: 98212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848280 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 9996 kB Writeback: 0 kB Mapped: 13660 kB Slab: 46104 kB Committed_AS: 137592 kB PageTables: 1384 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-1875540-1245170816.opb Free space on /tmp at the end= 66120 MiB End job on node39 at 2009-06-16 19:17:00