Trace number 3461721

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.09 1800.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_10.std.opb
MD5SUM2d7989b1a1c0b548cce5b438f15fc440
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark143
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245287
Number of constraints which are clauses244087
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461721-1307121657.opb.
0.00/0.00	c Instance file HOME/instance-3461721-1307121657.opb
0.00/0.00	c File size is 8328295 bytes.
0.59/0.67	c Highest Coefficient sum: 699
0.59/0.67	c ============================[ Problem Statistics ]=============================
0.59/0.67	c |                                                                             |
0.59/0.67	c |  Parsing time:          0.65         s                                      |
0.59/0.67	c |  Number Variables:      72842                                               |
0.59/0.67	c |  Number Clauses:        244087                                              |
0.59/0.67	c |  Number Cardinality:    0                                                   |
0.59/0.67	c |  Number PB Constraints: 1200                                                |
0.69/0.79	c ============================[ Search Statistics ]==============================
0.69/0.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.79	c ===============================================================================
0.69/0.79	c |         0 |   58302   245287   576561 |    81762        0   -nan |  0.000 % |
1.10/1.12	c core #1
1.10/1.12	c 
1.10/1.12	c 
1.10/1.12	c Core size: 440	Core Weight: 80	Total Weight: 80
1.10/1.12	c Current CPU time: 0.867868 s
1.10/1.12	c
1.10/1.12	c core #2
1.10/1.12	c 
1.10/1.12	c 
1.10/1.12	c Core size: 652	Core Weight: 1	Total Weight: 81
1.10/1.12	c Current CPU time: 0.975851 s
1.10/1.12	c
1.10/1.12	c ============================[ Search Statistics ]==============================
1.10/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.12	c ===============================================================================
1.10/1.12	c |         0 |    6240   202091   422457 |    67363        0   -nan |  0.000 % |
1.10/1.12	c ===============================================================================
1.19/1.24	c core #3
1.19/1.24	c 
1.19/1.24	c 
1.19/1.24	c Core size: 680	Core Weight: 1	Total Weight: 82
1.19/1.24	c Current CPU time: 1.08783 s
1.19/1.24	c
1.19/1.24	c ============================[ Search Statistics ]==============================
1.19/1.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.24	c ===============================================================================
1.19/1.24	c |         0 |    6846   202310   423166 |    67436        0   -nan |  0.000 % |
1.19/1.25	c |       101 |    6832   202310   423166 |    74180      101     19 | 91.004 % |
1.19/1.26	c ===============================================================================
1.29/1.37	c core #4
1.29/1.37	c 
1.29/1.37	c 
1.29/1.37	c Core size: 689	Core Weight: 1	Total Weight: 83
1.29/1.37	c Current CPU time: 1.22381 s
1.29/1.37	c
1.29/1.37	c ============================[ Search Statistics ]==============================
1.29/1.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.37	c ===============================================================================
1.29/1.37	c |         0 |    7306   202528   423876 |    67509        0   -nan |  0.000 % |
1.29/1.39	c |       100 |    7306   202528   423876 |    74260      100     25 | 90.090 % |
1.39/1.42	c |       251 |    7306   202528   423876 |    81686      251     28 | 90.090 % |
1.39/1.45	c |       477 |    7299   202528   423876 |    89854      477     30 | 90.260 % |
1.39/1.48	c ===============================================================================
1.49/1.59	c core #5
1.49/1.59	c 
1.49/1.59	c 
1.49/1.59	c Core size: 766	Core Weight: 1	Total Weight: 84
1.49/1.59	c Current CPU time: 1.44178 s
1.49/1.59	c
1.49/1.59	c ============================[ Search Statistics ]==============================
1.49/1.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.59	c ===============================================================================
1.49/1.59	c |         0 |    7765   202745   424587 |    67581        0   -nan |  0.000 % |
1.59/1.61	c |       100 |    7765   202745   424587 |    74339      100     22 | 89.498 % |
1.59/1.63	c |       250 |    7765   202745   424587 |    81773      250     24 | 89.498 % |
1.59/1.66	c |       475 |    7760   202745   424587 |    89951      475     26 | 89.541 % |
1.69/1.72	c |       813 |    7657   202745   424587 |    98946      813     29 | 89.644 % |
1.69/1.73	c ===============================================================================
1.79/1.85	c core #6
1.79/1.85	c 
1.79/1.85	c 
1.79/1.85	c Core size: 904	Core Weight: 1	Total Weight: 85
1.79/1.85	c Current CPU time: 1.69674 s
1.79/1.85	c
1.79/1.85	c ============================[ Search Statistics ]==============================
1.79/1.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.85	c ===============================================================================
1.79/1.85	c |         0 |    8223   202962   425302 |    67654        0   -nan |  0.000 % |
1.79/1.87	c |       100 |    8223   202962   425302 |    74419      100     22 | 88.911 % |
1.79/1.89	c |       251 |    8223   202962   425302 |    81861      251     25 | 88.911 % |
1.90/1.93	c |       476 |    8223   202962   425302 |    90047      476     26 | 88.911 % |
1.90/1.99	c |       813 |    8223   202962   425302 |    99052      813     31 | 88.911 % |
1.99/2.06	c |      1319 |    8216   202962   425302 |   108957     1319     32 | 88.920 % |
2.10/2.19	c |      2080 |    8216   202962   425302 |   119853     2080     37 | 88.920 % |
2.29/2.37	c |      3220 |    8216   202962   425302 |   131838     3220     37 | 88.920 % |
2.59/2.68	c |      4928 |    8216   202962   425302 |   145022     4928     38 | 88.920 % |
3.09/3.19	c |      7490 |    8208   202962   425302 |   159524     7490     43 | 88.931 % |
3.99/4.02	c |     11336 |    8208   202962   425302 |   175477    11336     47 | 88.931 % |
4.49/4.58	c ===============================================================================
4.69/4.70	c core #7
4.69/4.70	c 
4.69/4.70	c 
4.69/4.70	c Core size: 891	Core Weight: 1	Total Weight: 86
4.69/4.70	c Current CPU time: 4.52231 s
4.69/4.70	c
4.69/4.70	c ============================[ Search Statistics ]==============================
4.69/4.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.70	c ===============================================================================
4.69/4.70	c |         0 |    8680   203180   426023 |    67726        0   -nan |  0.000 % |
4.69/4.72	c |       100 |    8680   203180   426023 |    74499      100     22 | 88.328 % |
4.69/4.74	c |       250 |    8680   203180   426023 |    81949      250     31 | 88.328 % |
4.69/4.78	c |       475 |    8680   203180   426023 |    90144      475     31 | 88.328 % |
4.79/4.84	c |       812 |    8680   203180   426023 |    99158      812     35 | 88.330 % |
4.89/4.92	c |      1318 |    8679   203180   426023 |   109074     1318     38 | 88.330 % |
4.99/5.05	c |      2077 |    8679   203180   426023 |   119981     2077     38 | 88.330 % |
5.19/5.28	c |      3217 |    8679   203180   426023 |   131980     3217     41 | 88.330 % |
5.51/5.59	c |      4925 |    8679   203180   426023 |   145178     4925     42 | 88.330 % |
6.09/6.10	c |      7487 |    8679   203180   426023 |   159695     7487     43 | 88.330 % |
6.89/6.94	c |     11331 |    8679   203180   426023 |   175665    11331     46 | 88.330 % |
8.19/8.28	c |     17097 |    8648   203180   426023 |   193232    17097     48 | 88.373 % |
10.49/10.56	c |     25747 |    8644   203180   426023 |   212555    25747     53 | 88.378 % |
14.59/14.62	c |     38722 |    8636   203180   426023 |   233810    38722     55 | 88.387 % |
18.70/18.79	c ===============================================================================
18.89/18.93	c core #8
18.89/18.93	c 
18.89/18.93	c 
18.89/18.93	c Core size: 930	Core Weight: 1	Total Weight: 87
18.89/18.93	c Current CPU time: 18.6952 s
18.89/18.93	c
18.89/18.93	c ============================[ Search Statistics ]==============================
18.89/18.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.89/18.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.89/18.93	c ===============================================================================
18.89/18.93	c |         0 |    9136   203403   426764 |    67801        0   -nan |  0.000 % |
18.89/18.96	c |       102 |    9136   203403   426764 |    74581      102     25 | 87.750 % |
18.89/18.98	c |       253 |    9136   203403   426764 |    82039      253     28 | 87.750 % |
19.00/19.02	c |       478 |    9136   203403   426764 |    90243      478     27 | 87.750 % |
19.00/19.07	c |       815 |    9136   203403   426764 |    99267      815     30 | 87.750 % |
19.10/19.15	c |      1322 |    9130   203403   426764 |   109194     1322     34 | 87.758 % |
19.20/19.27	c |      2083 |    9130   203403   426764 |   120113     2083     35 | 87.758 % |
19.40/19.46	c |      3223 |    9130   203403   426764 |   132124     3223     39 | 87.758 % |
19.70/19.77	c |      4931 |    9130   203403   426764 |   145337     4931     40 | 87.758 % |
20.09/20.17	c |      7496 |    9129   203403   426764 |   159871     7496     38 | 87.760 % |
20.99/21.00	c |     11340 |    9129   203403   426764 |   175858    11340     44 | 87.760 % |
22.19/22.22	c |     17106 |    9129   203403   426764 |   193444    17106     46 | 87.760 % |
24.40/24.40	c |     25755 |    9123   203403   426764 |   212788    25755     50 | 87.772 % |
27.79/27.83	c |     38729 |    9120   203403   426764 |   234067    38729     53 | 87.772 % |
34.59/34.61	c |     58190 |    9078   203403   426764 |   257474    58190     56 | 87.828 % |
47.20/47.25	c |     87382 |    9051   203403   426764 |   283221    87382     58 | 87.866 % |
63.99/64.05	c ===============================================================================
64.19/64.22	c core #9
64.19/64.22	c 
64.19/64.22	c 
64.19/64.22	c Core size: 1156	Core Weight: 1	Total Weight: 88
64.19/64.22	c Current CPU time: 63.8563 s
64.19/64.22	c
64.19/64.22	c ============================[ Search Statistics ]==============================
64.19/64.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.19/64.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
64.19/64.22	c ===============================================================================
64.19/64.22	c |         0 |    9590   203635   427533 |    67878        0   -nan |  0.000 % |
64.19/64.24	c |       100 |    9590   203635   427533 |    74666      100     25 | 87.178 % |
64.19/64.27	c |       252 |    9590   203635   427533 |    82132      252     28 | 87.178 % |
64.29/64.31	c |       479 |    9590   203635   427533 |    90346      479     37 | 87.178 % |
64.29/64.36	c |       816 |    9590   203635   427533 |    99380      816     39 | 87.178 % |
64.39/64.44	c |      1322 |    9590   203635   427533 |   109318     1322     36 | 87.178 % |
64.49/64.59	c |      2082 |    9590   203635   427533 |   120250     2082     42 | 87.178 % |
64.69/64.77	c |      3221 |    9590   203635   427533 |   132275     3221     39 | 87.178 % |
65.10/65.14	c |      4930 |    9590   203635   427533 |   145503     4930     45 | 87.178 % |
65.59/65.61	c |      7492 |    9590   203635   427533 |   160053     7492     44 | 87.178 % |
66.29/66.30	c |     11336 |    9590   203635   427533 |   176058    11336     47 | 87.178 % |
67.49/67.56	c |     17102 |    9577   203635   427533 |   193664    17102     46 | 87.196 % |
69.69/69.73	c |     25751 |    9577   203635   427533 |   213031    25751     50 | 87.196 % |
73.19/73.29	c |     38726 |    9577   203635   427533 |   234334    38726     51 | 87.196 % |
79.40/79.40	c |     58187 |    9570   203635   427533 |   257767    58187     53 | 87.205 % |
91.00/91.02	c |     87379 |    9570   203635   427533 |   283544    87379     59 | 87.205 % |
112.90/112.97	c |    131170 |    9570   203635   427533 |   311899   131170     62 | 87.205 % |
162.59/162.64	c |    196854 |    9530   203635   427533 |   343089   196854     64 | 87.259 % |
267.00/267.02	c |    295381 |    9484   203635   427533 |   377397   295381     68 | 87.320 % |
490.41/490.49	c |    443170 |    9404   203635   427533 |   415137   443170     71 | 87.458 % |
598.32/598.32	c ===============================================================================
598.71/598.70	c core #10
598.71/598.70	c 
598.71/598.70	c 
598.71/598.70	c Core size: 978	Core Weight: 1	Total Weight: 89
598.71/598.70	c Current CPU time: 597.305 s
598.71/598.70	c
598.71/598.70	c ============================[ Search Statistics ]==============================
598.71/598.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
598.71/598.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
598.71/598.70	c ===============================================================================
598.71/598.70	c |         0 |   10044   203872   428323 |    67957        0   -nan |  0.000 % |
598.71/598.72	c |       101 |   10044   203872   428323 |    74753      101     24 | 86.609 % |
598.71/598.75	c |       255 |   10044   203872   428323 |    82228      255     35 | 86.609 % |
598.81/598.80	c |       480 |   10044   203872   428323 |    90451      480     37 | 86.609 % |
598.81/598.87	c |       817 |   10044   203872   428323 |    99496      817     37 | 86.609 % |
598.91/598.97	c |      1326 |   10044   203872   428323 |   109445     1326     41 | 86.609 % |
599.11/599.11	c |      2087 |   10044   203872   428323 |   120390     2087     38 | 86.609 % |
599.31/599.35	c |      3226 |   10044   203872   428323 |   132429     3226     44 | 86.609 % |
599.70/599.71	c |      4934 |   10044   203872   428323 |   145672     4934     47 | 86.609 % |
600.20/600.25	c |      7496 |   10044   203872   428323 |   160239     7496     48 | 86.609 % |
601.01/601.09	c |     11341 |   10036   203872   428323 |   176263    11341     51 | 86.620 % |
602.41/602.42	c |     17107 |   10036   203872   428323 |   193890    17107     50 | 86.620 % |
604.71/604.75	c |     25756 |   10036   203872   428323 |   213279    25756     53 | 86.620 % |
609.21/609.24	c |     38730 |   10036   203872   428323 |   234607    38730     58 | 86.620 % |
614.71/614.73	c |     58191 |   10030   203872   428323 |   258067    58191     54 | 86.628 % |
624.50/624.59	c |     87383 |   10030   203872   428323 |   283874    87383     57 | 86.628 % |
646.01/646.00	c |    131175 |    9997   203872   428323 |   312262   131175     60 | 86.672 % |
684.81/684.85	c |    196859 |    9997   203872   428323 |   343488   196859     65 | 86.672 % |
785.01/785.03	c |    295387 |    9983   203872   428323 |   377837   295387     68 | 86.691 % |
1002.14/1002.19	c |    443176 |    9983   203872   428323 |   415620   443176     69 | 86.691 % |
1190.03/1190.03	c |    664859 |    9971   203872   428323 |   457182   208766     76 | 86.745 % |
1670.04/1670.06	c |    997385 |    9853   203872   428323 |   502901    43765     67 | 86.864 % |
1778.95/1778.93	c ===============================================================================
1779.64/1779.66	c core #11
1779.64/1779.66	c 
1779.64/1779.66	c 
1779.64/1779.66	c Core size: 1013	Core Weight: 1	Total Weight: 90
1779.64/1779.66	c Current CPU time: 1776.48 s
1779.64/1779.66	c
1779.64/1779.66	c ============================[ Search Statistics ]==============================
1779.64/1779.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1779.64/1779.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1779.64/1779.66	c ===============================================================================
1779.64/1779.66	c |         0 |   10497   204146   429229 |    68048        0   -nan |  0.000 % |
1779.64/1779.69	c |       100 |   10497   204146   429229 |    74853      100     23 | 86.045 % |
1779.75/1779.72	c |       251 |   10497   204146   429229 |    82338      251     32 | 86.045 % |
1779.75/1779.77	c |       476 |   10497   204146   429229 |    90572      476     33 | 86.045 % |
1779.86/1779.83	c |       814 |   10497   204146   429229 |    99630      814     30 | 86.045 % |
1779.94/1779.93	c |      1320 |   10497   204146   429229 |   109593     1320     36 | 86.045 % |
1780.04/1780.07	c |      2079 |   10497   204146   429229 |   120552     2079     39 | 86.045 % |
1780.24/1780.27	c |      3218 |   10497   204146   429229 |   132607     3218     41 | 86.045 % |
1780.64/1780.63	c |      4930 |   10497   204146   429229 |   145868     4930     40 | 86.045 % |
1781.15/1781.12	c |      7492 |   10497   204146   429229 |   160455     7492     40 | 86.045 % |
1781.95/1781.91	c |     11339 |   10497   204146   429229 |   176500    11339     48 | 86.045 % |
1783.16/1783.17	c |     17105 |   10497   204146   429229 |   194150    17105     48 | 86.045 % |
1785.44/1785.41	c |     25754 |   10497   204146   429229 |   213565    25754     53 | 86.045 % |
1789.04/1789.07	c |     38729 |   10497   204146   429229 |   234922    38729     58 | 86.045 % |
1794.64/1794.65	c |     58192 |   10497   204146   429229 |   258414    58192     60 | 86.045 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461721-1307121657/watcher-3461721-1307121657 -o /tmp/evaluation-result-3461721-1307121657/solver-3461721-1307121657 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461721-1307121657.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 2/461 15848
/proc/meminfo: memFree=28539912/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=12088 CPUtime=0 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 770 0 0 0 0 0 0 0 24 0 1 0 823763686 12378112 723 33554432000 4194304 5714214 140735863479888 18446744073709551615 5013640 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 3022 723 192 372 0 613 0

[startup+0.0705631 s]
/proc/loadavg: 1.93 2.01 1.99 2/461 15848
/proc/meminfo: memFree=28539912/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=23728 CPUtime=0.06 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 3747 0 0 0 6 0 0 0 24 0 1 0 823763686 24297472 3553 33554432000 4194304 5714214 140735863479888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 5932 3555 391 372 0 3523 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23728

[startup+0.100543 s]
/proc/loadavg: 1.93 2.01 1.99 2/461 15848
/proc/meminfo: memFree=28539912/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=24944 CPUtime=0.09 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 4176 0 0 0 9 0 0 0 24 0 1 0 823763686 25542656 3982 33554432000 4194304 5714214 140735863479888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 6236 3982 498 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24944

[startup+0.300514 s]
/proc/loadavg: 1.93 2.01 1.99 2/461 15848
/proc/meminfo: memFree=28539912/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=34220 CPUtime=0.29 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 7124 0 0 0 29 0 0 0 25 0 1 0 823763686 35041280 6761 33554432000 4194304 5714214 140735863479888 18446744073709551615 4948555 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 8555 6761 1169 372 0 6146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34220

[startup+0.700441 s]
/proc/loadavg: 1.93 2.01 1.99 2/461 15848
/proc/meminfo: memFree=28539912/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=73872 CPUtime=0.69 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 19758 0 0 0 67 2 0 0 18 0 1 0 823763686 75644928 17135 33554432000 4194304 5714214 140735863479888 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 18501 17143 172 372 0 18126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73872

[startup+1.50032 s]
/proc/loadavg: 1.93 2.01 1.99 3/462 15849
/proc/meminfo: memFree=28429792/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=115148 CPUtime=1.49 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 34802 0 0 0 145 4 0 0 19 0 1 0 823763686 117911552 27922 33554432000 4194304 5714214 140735863479888 18446744073709551615 4356049 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 28787 27922 180 372 0 28412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115148

[startup+3.10103 s]
/proc/loadavg: 1.93 2.01 1.99 3/462 15849
/proc/meminfo: memFree=28431156/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=108668 CPUtime=3.09 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 34811 0 0 0 305 4 0 0 22 0 1 0 823763686 111276032 26807 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 27167 26807 180 372 0 26792 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108668

[startup+6.30046 s]
/proc/loadavg: 1.93 2.01 1.99 3/462 15849
/proc/meminfo: memFree=28424532/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=117248 CPUtime=6.29 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 36498 0 0 0 623 6 0 0 25 0 1 0 823763686 120061952 28494 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 29312 28494 180 372 0 28937 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117248

[startup+12.7003 s]
/proc/loadavg: 1.94 2.01 1.99 3/462 15849
/proc/meminfo: memFree=28424136/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=117248 CPUtime=12.7 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 36498 0 0 0 1262 8 0 0 25 0 1 0 823763686 120061952 28494 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 29312 28494 180 372 0 28937 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 117248

[startup+25.501 s]
/proc/loadavg: 2.03 2.02 2.00 3/462 15850
/proc/meminfo: memFree=28397584/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=133280 CPUtime=25.5 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 40238 0 0 0 2537 13 0 0 25 0 1 0 823763686 136478720 32234 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 33320 32234 180 372 0 32945 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 133280

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 15850
/proc/meminfo: memFree=28379504/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=133280 CPUtime=51.09 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 40238 0 0 0 5092 17 0 0 25 0 1 0 823763686 136478720 32234 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 33320 32234 180 372 0 32945 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 133280

[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 15852
/proc/meminfo: memFree=28320456/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=163204 CPUtime=102.31 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 47716 0 0 0 10201 30 0 0 25 0 1 0 823763686 167120896 39712 33554432000 4194304 5714214 140735863479888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 40801 39712 180 372 0 40426 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 163204

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 15853
/proc/meminfo: memFree=28288192/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=169636 CPUtime=162.29 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 49518 0 0 0 16190 39 0 0 25 0 1 0 823763686 173707264 41514 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 42409 41514 180 372 0 42034 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 169636

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/462 15855
/proc/meminfo: memFree=28240284/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=198772 CPUtime=222.29 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 56619 0 0 0 22179 50 0 0 25 0 1 0 823763686 203542528 48615 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 49693 48615 180 372 0 49318 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 198772

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/462 15856
/proc/meminfo: memFree=28199580/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=223152 CPUtime=282.29 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 62718 0 0 0 28169 60 0 0 25 0 1 0 823763686 228507648 54714 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 55788 54714 180 372 0 55413 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 223152

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 15858
/proc/meminfo: memFree=28162684/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=245236 CPUtime=342.3 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 68006 0 0 0 34161 69 0 0 25 0 1 0 823763686 251121664 60002 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 61309 60002 180 372 0 60934 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 245236

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/462 15860
/proc/meminfo: memFree=28129060/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=264236 CPUtime=402.3 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 72759 0 0 0 40154 76 0 0 25 0 1 0 823763686 270577664 64755 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 66059 64755 180 372 0 65684 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 264236

[startup+462.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/462 15861
/proc/meminfo: memFree=28101248/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=280724 CPUtime=462.3 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 76859 0 0 0 46148 82 0 0 25 0 1 0 823763686 287461376 68855 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 70181 68855 180 372 0 69806 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 280724

[startup+522.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/462 15863
/proc/meminfo: memFree=28073192/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=298960 CPUtime=522.31 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 81490 0 0 0 52140 91 0 0 25 0 1 0 823763686 306135040 73486 33554432000 4194304 5714214 140735863479888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 74740 73486 180 372 0 74365 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 298960

[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/462 15864
/proc/meminfo: memFree=28064604/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=309096 CPUtime=582.31 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 83632 0 0 0 58131 100 0 0 25 0 1 0 823763686 316514304 75628 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 77274 75628 180 372 0 76899 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 309096

[startup+642.3 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/462 15871
/proc/meminfo: memFree=28055736/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=822.31 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86666 0 0 0 82094 137 0 0 25 0 1 0 823763686 324808704 77718 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77718 180 372 0 78924 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 317196

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 15872
/proc/meminfo: memFree=28053732/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=882.31 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86679 0 0 0 88088 143 0 0 25 0 1 0 823763686 324808704 77731 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77731 180 372 0 78924 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 317196

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 15874
/proc/meminfo: memFree=28053580/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=942.32 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86704 0 0 0 94083 149 0 0 25 0 1 0 823763686 324808704 77756 33554432000 4194304 5714214 140735863479888 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77756 180 372 0 78924 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 317196

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 15876
/proc/meminfo: memFree=28053316/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1002.32 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86824 0 0 0 100077 155 0 0 25 0 1 0 823763686 324808704 77876 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77876 180 372 0 78924 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 317196

[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/462 15877
/proc/meminfo: memFree=28052412/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1062.32 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86935 0 0 0 106073 159 0 0 25 0 1 0 823763686 324808704 77987 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77987 180 372 0 78924 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 317196

[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/462 15879
/proc/meminfo: memFree=28051392/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1122.32 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86935 0 0 0 112064 168 0 0 25 0 1 0 823763686 324808704 77987 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77987 180 372 0 78924 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 317196

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 15880
/proc/meminfo: memFree=28050012/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1182.32 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86938 0 0 0 118055 177 0 0 25 0 1 0 823763686 324808704 77990 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77990 180 372 0 78924 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 317196

[startup+1242.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/462 15882
/proc/meminfo: memFree=28038316/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1242.33 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86945 0 0 0 124048 185 0 0 25 0 1 0 823763686 324808704 77997 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77997 180 372 0 78924 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 317196

[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/462 15884
/proc/meminfo: memFree=28020908/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1302.34 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 86946 0 0 0 130043 191 0 0 25 0 1 0 823763686 324808704 77998 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 77998 180 372 0 78924 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 317196

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/462 15885
/proc/meminfo: memFree=28006384/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=317196 CPUtime=1362.33 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 87111 0 0 0 136035 198 0 0 25 0 1 0 823763686 324808704 78163 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 79299 78163 180 372 0 78924 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 317196

[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/462 15887
/proc/meminfo: memFree=27979556/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=328756 CPUtime=1422.35 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 90261 0 0 0 142031 204 0 0 25 0 1 0 823763686 336646144 81313 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 82189 81313 180 372 0 81814 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 328756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 15888
/proc/meminfo: memFree=27951524/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=344772 CPUtime=1482.33 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 94240 0 0 0 148023 210 0 0 25 0 1 0 823763686 353046528 85292 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 86193 85292 180 372 0 85818 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 344772

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 15890
/proc/meminfo: memFree=27929552/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=361780 CPUtime=1542.33 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 98408 0 0 0 154015 218 0 0 25 0 1 0 823763686 370462720 89460 33554432000 4194304 5714214 140735863479888 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 90445 89460 180 372 0 90070 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 361780

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/462 15892
/proc/meminfo: memFree=27914992/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=376808 CPUtime=1602.34 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 102068 0 0 0 160008 226 0 0 25 0 1 0 823763686 385851392 93120 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 94202 93120 180 372 0 93827 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 376808

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 15893
/proc/meminfo: memFree=27903432/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=388124 CPUtime=1662.34 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 104873 0 0 0 166004 230 0 0 25 0 1 0 823763686 397438976 95925 33554432000 4194304 5714214 140735863479888 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 97031 95925 180 372 0 96656 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 388124

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 15895
/proc/meminfo: memFree=27902268/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=388460 CPUtime=1722.34 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 104941 0 0 0 171993 241 0 0 25 0 1 0 823763686 397783040 95993 33554432000 4194304 5714214 140735863479888 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 97115 95993 180 372 0 96740 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 388460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 15896
/proc/meminfo: memFree=27887132/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=403404 CPUtime=1782.34 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 108422 0 0 0 177983 251 0 0 22 0 1 0 823763686 413085696 99474 33554432000 4194304 5714214 140735863479888 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 100851 99474 180 372 0 100476 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 403404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.01 2/456 15915
/proc/meminfo: memFree=28252100/32951124 swapFree=41830676/67111528
[pid=15848] ppid=15846 vsize=403404 CPUtime=1800.06 cores=0,2,4,6
/proc/15848/stat : 15848 (wbo1.6) R 15846 15848 12829 0 -1 4202496 108485 0 0 0 179748 258 0 0 25 0 1 0 823763686 413085696 99537 33554432000 4194304 5714214 140735863479888 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/15848/statm: 100851 99537 180 372 0 100476 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 403404

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1797.49
CPU system time (s): 2.5986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 403404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.49
system time used= 2.5986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108485
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= 7
involuntary context switches= 1981

runsolver used 8.41572 second user time and 17.8343 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-03 19:20:57
IDJOB=3461721
IDBENCH=77554
IDSOLVER=1953
FILE ID=node138/3461721-1307121657
RUNJOBID= node138-1307118045-15500
PBS_JOBID= 13497998
Free space on /tmp= 73640 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12037_10.std.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461721-1307121657/watcher-3461721-1307121657 -o /tmp/evaluation-result-3461721-1307121657/solver-3461721-1307121657 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461721-1307121657.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2d7989b1a1c0b548cce5b438f15fc440
RANDOM SEED=718593888

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28539944 kB
Buffers:        300024 kB
Cached:        1101592 kB
SwapCached:      44568 kB
Active:        2318544 kB
Inactive:      1801728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28539944 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:           24840 kB
Writeback:           4 kB
AnonPages:     2685784 kB
Mapped:          17380 kB
Slab:           129336 kB
PageTables:      92668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130758296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73648 MiB
End job on node138 at 2011-06-03 19:50:59