PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 34706

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-28 10:11:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23981 boxname=wulflinc21 idbench=55 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc21/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 23981
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867416 kB
Buffers:         32240 kB
Cached:         111712 kB
SwapCached:        956 kB
Active:          48476 kB
Inactive:        97668 kB
HighTotal:      131008 kB
HighFree:        16492 kB
LowTotal:       903652 kB
LowFree:        850924 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15360 kB
Committed_AS:    63908 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:31:42 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 23981 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2815/8533	Time: 24.5693/86400
Decision: 2815/8533	Time: 27.0409/86400
Decision: 2815/8533	Time: 30.5214/86400
Decision: 2815/8533	Time: 34.2568/86400
Decision: 2815/8533	Time: 37.8892/86400
Decision: 2815/8533	Time: 41.5917/86400
Decision: 2815/8533	Time: 45.2791/86400
Decision: 2815/8533	Time: 48.9076/86400
Decision: 2815/8533	Time: 53.1989/86400
Decision: 2815/8533	Time: 56.9393/86400
Decision: 2815/8533	Time: 61.1867/86400
Decision: 2815/8533	Time: 65.3411/86400
Decision: 2815/8533	Time: 68.9355/86400
Decision: 2815/8533	Time: 72.222/86400
Decision: 2815/8533	Time: 75.7405/86400
Decision: 2815/8533	Time: 79.5289/86400
Decision: 2815/8533	Time: 84.2152/86400
Decision: 2815/8533	Time: 88.3856/86400
Decision: 2815/8533	Time: 92.9849/86400
Decision: 2815/8533	Time: 97.5482/86400
Decision: 2815/8533	Time: 102.483/86400
Decision: 2815/8533	Time: 107.718/86400
Decision: 2815/8533	Time: 112.407/86400
Decision: 2815/8533	Time: 117.033/86400
Decision: 2815/8533	Time: 121.41/86400
Decision: 2815/8533	Time: 126.631/86400
Decision: 2815/8533	Time: 131.666/86400
Decision: 2815/8533	Time: 137.152/86400
Decision: 2815/8533	Time: 141.119/86400
Decision: 2815/8533	Time: 145.172/86400
Decision: 2815/8533	Time: 149.64/86400
Decision: 2815/8533	Time: 154.984/86400
Decision: 2815/8533	Time: 160.388/86400
Decision: 2815/8533	Time: 165.898/86400
Decision: 2815/8533	Time: 169.054/86400
Decision: 2815/8533	Time: 172.267/86400
Decision: 2815/8533	Time: 175.729/86400
Decision: 2815/8533	Time: 180.218/86400
Decision: 2815/8533	Time: 185.44/86400
Decision: 2815/8533	Time: 188.757/86400
Decision: 2815/8533	Time: 191.987/86400
Decision: 2815/8533	Time: 196.786/86400
Decision: 2815/8533	Time: 202.384/86400
Decision: 2815/8533	Time: 207.701/86400
Decision: 2815/8533	Time: 212.605/86400
Decision: 2815/8533	Time: 218.191/86400
Decision: 2815/8533	Time: 223.427/86400
Decision: 2815/8533	Time: 227.826/86400
Decision: 2815/8533	Time: 232.759/86400
Decision: 2815/8533	Time: 237.653/86400
Decision: 2815/8533	Time: 242.733/86400
Decision: 2815/8533	Time: 248.071/86400
Decision: 2815/8533	Time: 253.171/86400
Decision: 2815/8533	Time: 258.29/86400
Decision: 2815/8533	Time: 263.686/86400
Decision: 2815/8533	Time: 267.282/86400
Decision: 2815/8533	Time: 270.694/86400
Decision: 2815/8533	Time: 275.381/86400
Decision: 2815/8533	Time: 280.696/86400
Decision: 2815/8533	Time: 286.112/86400
Decision: 2815/8533	Time: 291.472/86400
Decision: 2815/8533	Time: 296.597/86400
Decision: 2815/8533	Time: 301.428/86400
Decision: 2815/8533	Time: 303.726/86400
Decision: 2815/8533	Time: 306.951/86400
Decision: 2815/8533	Time: 311.444/86400
Decision: 2815/8533	Time: 316.816/86400
Decision: 2815/8533	Time: 322.896/86400
Decision: 2815/8533	Time: 327.625/86400
Decision: 2815/8533	Time: 333.189/86400
Decision: 2815/8533	Time: 338.291/86400
Decision: 2815/8533	Time: 343.736/86400
Decision: 2815/8533	Time: 347.646/86400
Decision: 2815/8533	Time: 352.966/86400
Decision: 2815/8533	Time: 358.316/86400
Decision: 2815/8533	Time: 363.261/86400
Decision: 2815/8533	Time: 367.213/86400
Decision: 2815/8533	Time: 372.672/86400
Decision: 2815/8533	Time: 377.02/86400
Decision: 2815/8533	Time: 380.765/86400
Decision: 2815/8533	Time: 387.11/86400
Decision: 2815/8533	Time: 392.91/86400
Decision: 2815/8533	Time: 399.421/86400
Decision: 2815/8533	Time: 404.684/86400
Decision: 2815/8533	Time: 410.547/86400
Decision: 2815/8533	Time: 416.789/86400
Decision: 2815/8533	Time: 421.116/86400
Decision: 2815/8533	Time: 425.6/86400
Decision: 2815/8533	Time: 430.525/86400
Decision: 2815/8533	Time: 435.632/86400
Decision: 2815/8533	Time: 441.709/86400
Decision: 2815/8533	Time: 448.267/86400
Decision: 2815/8533	Time: 454.749/86400
Decision: 2815/8533	Time: 460.478/86400
Decision: 2815/8533	Time: 466.352/86400
Decision: 2815/8533	Time: 470.73/86400
Decision: 2815/8533	Time: 475.427/86400
Decision: 2815/8533	Time: 480.592/86400
Decision: 2815/8533	Time: 484.475/86400
Decision: 2815/8533	Time: 489.13/86400
Decision: 2815/8533	Time: 495.26/86400
Decision: 2815/8533	Time: 502.15/86400
Decision: 2815/8533	Time: 508.382/86400
Decision: 2815/8533	Time: 512.33/86400
Decision: 2815/8533	Time: 517.096/86400
Decision: 2815/8533	Time: 522.837/86400
Decision: 2815/8533	Time: 529.004/86400
Decision: 2815/8533	Time: 534.529/86400
Decision: 2815/8533	Time: 540.473/86400
Decision: 2815/8533	Time: 547.33/86400
Decision: 2815/8533	Time: 553.874/86400
Decision: 2815/8533	Time: 560.681/86400
Decision: 2815/8533	Time: 567.304/86400
Decision: 2815/8533	Time: 573.006/86400
Decision: 2815/8533	Time: 579.204/86400
Decision: 2815/8533	Time: 585.924/86400
Decision: 2815/8533	Time: 591.695/86400
Decision: 2815/8533	Time: 596.436/86400
Decision: 2815/8533	Time: 602.692/86400
Decision: 2815/8533	Time: 609.087/86400
Decision: 2815/8533	Time: 615.9/86400
Decision: 2815/8533	Time: 622.555/86400
Decision: 2815/8533	Time: 628.836/86400
Decision: 2815/8533	Time: 635.787/86400
Decision: 2815/8533	Time: 642.747/86400
Decision: 2815/8533	Time: 646.759/86400
Decision: 2815/8533	Time: 651.824/86400
Decision: 2815/8533	Time: 657.983/86400
Decision: 2815/8533	Time: 662.71/86400
Decision: 2815/8533	Time: 668.347/86400
Decision: 2815/8533	Time: 674.266/86400
Decision: 2815/8533	Time: 679.75/86400
Decision: 2815/8533	Time: 683.431/86400
Decision: 2815/8533	Time: 687.748/86400
Decision: 2815/8533	Time: 691.801/86400
Decision: 2815/8533	Time: 698.273/86400
Decision: 2815/8533	Time: 703.746/86400
Decision: 2815/8533	Time: 709.89/86400
Decision: 2815/8533	Time: 713.879/86400
Decision: 2815/8533	Time: 720.527/86400
Decision: 2815/8533	Time: 727.525/86400
Decision: 2815/8533	Time: 734.088/86400
Decision: 2815/8533	Time: 739.109/86400
Decision: 2815/8533	Time: 745.097/86400
Decision: 2815/8533	Time: 752.221/86400
Decision: 2815/8533	Time: 757.569/86400
Decision: 2815/8533	Time: 762.706/86400
Decision: 2815/8533	Time: 766.323/86400
Decision: 2815/8533	Time: 771.343/86400
Decision: 2815/8533	Time: 777.281/86400
Decision: 2815/8533	Time: 781.974/86400
Decision: 2815/8533	Time: 787.471/86400
Decision: 2815/8533	Time: 791.476/86400
Decision: 2815/8533	Time: 795.837/86400
Decision: 2815/8533	Time: 801.149/86400
Decision: 2815/8533	Time: 807.499/86400
Decision: 2815/8533	Time: 813.6/86400
Decision: 2815/8533	Time: 820.869/86400
Decision: 2815/8533	Time: 827.725/86400
Decision: 2815/8533	Time: 832.304/86400
Decision: 2815/8533	Time: 837.516/86400
Decision: 2815/8533	Time: 844.597/86400
Decision: 2815/8533	Time: 848.146/86400
Decision: 2815/8533	Time: 853.521/86400
Decision: 2815/8533	Time: 859.837/86400
Decision: 2815/8533	Time: 867.316/86400
Decision: 2815/8533	Time: 874.336/86400
Decision: 2815/8533	Time: 878.146/86400
Decision: 2815/8533	Time: 883.501/86400
Decision: 2815/8533	Time: 888.461/86400
Decision: 2815/8533	Time: 894.703/86400
Decision: 2815/8533	Time: 901.382/86400
Decision: 2815/8533	Time: 907.165/86400
Decision: 2815/8533	Time: 912.157/86400
Decision: 2815/8533	Time: 915.773/86400
Decision: 2815/8533	Time: 922.495/86400
Decision: 2815/8533	Time: 929.76/86400
Decision: 2815/8533	Time: 936.573/86400
Decision: 2815/8533	Time: 943.176/86400
Decision: 2815/8533	Time: 949.893/86400
Decision: 2815/8533	Time: 955.09/86400
Decision: 2815/8533	Time: 959.16/86400
Decision: 2815/8533	Time: 963.037/86400
Decision: 2815/8533	Time: 969.324/86400
Decision: 2815/8533	Time: 973.105/86400
Decision: 2815/8533	Time: 979.325/86400
Decision: 2815/8533	Time: 985.576/86400
Decision: 2815/8533	Time: 992.126/86400
Decision: 2815/8533	Time: 998.974/86400
Decision: 2815/8533	Time: 1004.12/86400
Decision: 2815/8533	Time: 1008.52/86400
Decision: 2815/8533	Time: 1013.86/86400
Decision: 2815/8533	Time: 1018.72/86400
Decision: 2815/8533	Time: 1025.86/86400
Decision: 2815/8533	Time: 1033.62/86400
Decision: 2815/8533	Time: 1039.75/86400
Decision: 2815/8533	Time: 1044.21/86400
Decision: 2815/8533	Time: 1051.38/86400
Decision: 2815/8533	Time: 1058.37/86400
Decision: 2815/8533	Time: 1065.96/86400
Decision: 2815/8533	Time: 1071.8/86400
Decision: 2815/8533	Time: 1077.65/86400
Decision: 2815/8533	Time: 1084.55/86400
Decision: 2815/8533	Time: 1090.72/86400
Decision: 2815/8533	Time: 1096.76/86400
Decision: 2815/8533	Time: 1104.4/86400
Decision: 2815/8533	Time: 1111.4/86400
Decision: 2815/8533	Time: 1118.87/86400
Decision: 2815/8533	Time: 1124.88/86400
Decision: 2815/8533	Time: 1129.22/86400
Decision: 2815/8533	Time: 1135.85/86400
Decision: 2815/8533	Time: 1142.89/86400
Decision: 2815/8533	Time: 1150.7/86400
Decision: 2815/8533	Time: 1157.73/86400
Decision: 2815/8533	Time: 1165.31/86400
Decision: 2815/8533	Time: 1172.73/86400
Decision: 2815/8533	Time: 1180.86/86400
Decision: 2815/8533	Time: 1188.22/86400
Decision: 2815/8533	Time: 1196.65/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.60 0.22 0.08 2/55 12154
Raw data (stat): 12154 (runsolver) R 12153 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 741248631 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.66 0.25 0.09 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 1656 0 0 0 983 16 0 0 25 0 1 0 741248631 7450624 1236 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1819 1236 300 300 0 1519 0
vsize: 7276
[startup+20.0018 s]
Raw data (loadavg): 0.71 0.27 0.10 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 1873 0 0 0 1969 30 0 0 25 0 1 0 741248631 7720960 1453 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1885 1453 300 300 0 1585 0
vsize: 7540
[startup+30.0014 s]
Raw data (loadavg): 0.76 0.29 0.10 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2193 0 0 0 2955 44 0 0 25 0 1 0 741248631 10493952 1773 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2562 1773 300 300 0 2262 0
vsize: 10248
[startup+40.0021 s]
Raw data (loadavg): 0.87 0.33 0.12 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2279 0 0 0 3943 57 0 0 25 0 1 0 741248631 10846208 1859 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2648 1859 300 300 0 2348 0
vsize: 10592
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.35 0.13 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2527 0 0 0 4931 68 0 0 25 0 1 0 741248631 11816960 1914 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2885 1914 300 300 0 2585 0
vsize: 11540
[startup+60.0034 s]
Raw data (loadavg): 0.91 0.37 0.14 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2550 0 0 0 5919 81 0 0 25 0 1 0 741248631 11816960 1937 4294967295 134512640 135726644 3221224576 3221222908 134735649 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2885 1937 300 300 0 2585 0
vsize: 11540
[startup+70.0041 s]
Raw data (loadavg): 0.92 0.39 0.14 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2577 0 0 0 6907 93 0 0 25 0 1 0 741248631 11935744 1964 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2914 1964 300 300 0 2614 0
vsize: 11656
[startup+80.0037 s]
Raw data (loadavg): 0.93 0.41 0.15 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2696 0 0 0 7895 105 0 0 25 0 1 0 741248631 12083200 2083 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2950 2083 300 300 0 2650 0
vsize: 11800
[startup+90.0048 s]
Raw data (loadavg): 0.94 0.43 0.16 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2751 0 0 0 8882 118 0 0 25 0 1 0 741248631 12201984 2138 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2979 2138 300 300 0 2679 0
vsize: 11916
[startup+100.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2787 0 0 0 9866 134 0 0 25 0 1 0 741248631 12357632 2174 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3017 2174 300 300 0 2717 0
vsize: 12068
[startup+110.006 s]
Raw data (loadavg): 0.96 0.47 0.18 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2823 0 0 0 10853 147 0 0 25 0 1 0 741248631 12464128 2210 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3043 2210 300 300 0 2743 0
vsize: 12172
[startup+120.006 s]
Raw data (loadavg): 0.96 0.49 0.19 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2848 0 0 0 11844 157 0 0 25 0 1 0 741248631 12529664 2235 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3059 2235 300 300 0 2759 0
vsize: 12236
[startup+130.006 s]
Raw data (loadavg): 0.97 0.50 0.20 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2928 0 0 0 12830 171 0 0 25 0 1 0 741248631 12664832 2315 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3092 2315 300 300 0 2792 0
vsize: 12368
[startup+140.007 s]
Raw data (loadavg): 0.97 0.52 0.20 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 2947 0 0 0 13819 182 0 0 25 0 1 0 741248631 12664832 2334 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3092 2334 300 300 0 2792 0
vsize: 12368
[startup+150.008 s]
Raw data (loadavg): 0.98 0.53 0.21 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3088 0 0 0 14808 193 0 0 25 0 1 0 741248631 12890112 2475 4294967295 134512640 135726644 3221224576 3221223308 134727320 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3147 2475 300 300 0 2847 0
vsize: 12588
[startup+160.007 s]
Raw data (loadavg): 0.98 0.55 0.22 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3127 0 0 0 15795 207 0 0 25 0 1 0 741248631 12992512 2514 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3172 2514 300 300 0 2872 0
vsize: 12688
[startup+170.007 s]
Raw data (loadavg): 0.98 0.56 0.23 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3219 0 0 0 16782 219 0 0 25 0 1 0 741248631 13127680 2606 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3205 2606 300 300 0 2905 0
vsize: 12820
[startup+180.006 s]
Raw data (loadavg): 0.98 0.58 0.24 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3334 0 0 0 17773 228 0 0 25 0 1 0 741248631 13352960 2721 4294967295 134512640 135726644 3221224576 3221223220 134744672 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3260 2721 300 300 0 2960 0
vsize: 13040
[startup+190.007 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3363 0 0 0 18763 239 0 0 25 0 1 0 741248631 13438976 2750 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3281 2750 300 300 0 2981 0
vsize: 13124
[startup+200.007 s]
Raw data (loadavg): 0.99 0.60 0.25 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3391 0 0 0 19750 252 0 0 25 0 1 0 741248631 13516800 2778 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3300 2778 300 300 0 3000 0
vsize: 13200
[startup+210.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3412 0 0 0 20739 263 0 0 25 0 1 0 741248631 13516800 2799 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3300 2799 300 300 0 3000 0
vsize: 13200
[startup+220.007 s]
Raw data (loadavg): 0.99 0.63 0.27 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3436 0 0 0 21726 276 0 0 25 0 1 0 741248631 13602816 2823 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3321 2823 300 300 0 3021 0
vsize: 13284
[startup+230.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3459 0 0 0 22715 288 0 0 25 0 1 0 741248631 13676544 2846 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3339 2846 300 300 0 3039 0
vsize: 13356
[startup+240.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3477 0 0 0 23703 300 0 0 25 0 1 0 741248631 13676544 2864 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3339 2864 300 300 0 3039 0
vsize: 13356
[startup+250.007 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3496 0 0 0 24692 310 0 0 25 0 1 0 741248631 13766656 2883 4294967295 134512640 135726644 3221224576 3221223184 134741153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3361 2883 300 300 0 3061 0
vsize: 13444
[startup+260.007 s]
Raw data (loadavg): 0.99 0.67 0.29 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3902 0 0 0 25678 324 0 0 25 0 1 0 741248631 15405056 2904 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3761 2904 300 300 0 3461 0
vsize: 15044
[startup+270.007 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3923 0 0 0 26667 335 0 0 25 0 1 0 741248631 15405056 2925 4294967295 134512640 135726644 3221224576 3221223072 134743898 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3761 2925 300 300 0 3461 0
vsize: 15044
[startup+280.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3950 0 0 0 27656 347 0 0 25 0 1 0 741248631 15482880 2952 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3780 2952 300 300 0 3480 0
vsize: 15120
[startup+290.008 s]
Raw data (loadavg): 0.99 0.70 0.32 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3971 0 0 0 28646 357 0 0 25 0 1 0 741248631 15548416 2973 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3796 2973 300 300 0 3496 0
vsize: 15184
[startup+300.007 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 3991 0 0 0 29633 370 0 0 25 0 1 0 741248631 15630336 2993 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3816 2993 300 300 0 3516 0
vsize: 15264
[startup+310.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4021 0 0 0 30622 381 0 0 25 0 1 0 741248631 15699968 3023 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3833 3023 300 300 0 3533 0
vsize: 15332
[startup+320.007 s]
Raw data (loadavg): 0.99 0.73 0.34 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4044 0 0 0 31612 391 0 0 25 0 1 0 741248631 15765504 3046 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3849 3046 300 300 0 3549 0
vsize: 15396
[startup+330.007 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4062 0 0 0 32601 402 0 0 25 0 1 0 741248631 15765504 3064 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3849 3064 300 300 0 3549 0
vsize: 15396
[startup+340.007 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4074 0 0 0 33592 411 0 0 25 0 1 0 741248631 15765504 3076 4294967295 134512640 135726644 3221224576 3221223184 134740857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3849 3076 300 300 0 3549 0
vsize: 15396
[startup+350.007 s]
Raw data (loadavg): 0.99 0.75 0.36 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4102 0 0 0 34580 423 0 0 25 0 1 0 741248631 15859712 3104 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3872 3104 300 300 0 3572 0
vsize: 15488
[startup+360.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4113 0 0 0 35570 433 0 0 25 0 1 0 741248631 15859712 3115 4294967295 134512640 135726644 3221224576 3221223072 134743886 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3872 3115 300 300 0 3572 0
vsize: 15488
[startup+370.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4139 0 0 0 36560 444 0 0 25 0 1 0 741248631 15962112 3141 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3897 3141 300 300 0 3597 0
vsize: 15588
[startup+380.005 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4155 0 0 0 37551 453 0 0 25 0 1 0 741248631 15962112 3157 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3897 3157 300 300 0 3597 0
vsize: 15588
[startup+390.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4176 0 0 0 38542 462 0 0 25 0 1 0 741248631 16039936 3178 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3916 3178 300 300 0 3616 0
vsize: 15664
[startup+400.007 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4188 0 0 0 39532 472 0 0 25 0 1 0 741248631 16039936 3190 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3916 3190 300 300 0 3616 0
vsize: 15664
[startup+410.007 s]
Raw data (loadavg): 0.99 0.80 0.39 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4207 0 0 0 40522 482 0 0 25 0 1 0 741248631 16121856 3209 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3936 3209 300 300 0 3636 0
vsize: 15744
[startup+420.006 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4225 0 0 0 41511 494 0 0 25 0 1 0 741248631 16121856 3227 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3936 3227 300 300 0 3636 0
vsize: 15744
[startup+430.006 s]
Raw data (loadavg): 0.99 0.81 0.40 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4247 0 0 0 42501 503 0 0 25 0 1 0 741248631 16216064 3249 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3959 3249 300 300 0 3659 0
vsize: 15836
[startup+440.006 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4262 0 0 0 43489 516 0 0 25 0 1 0 741248631 16216064 3264 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3959 3264 300 300 0 3659 0
vsize: 15836
[startup+450.007 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4281 0 0 0 44479 526 0 0 25 0 1 0 741248631 16302080 3283 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3980 3283 300 300 0 3680 0
vsize: 15920
[startup+460.006 s]
Raw data (loadavg): 0.99 0.83 0.42 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4290 0 0 0 45469 536 0 0 25 0 1 0 741248631 16302080 3292 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3980 3292 300 300 0 3680 0
vsize: 15920
[startup+470.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4309 0 0 0 46462 544 0 0 25 0 1 0 741248631 16375808 3311 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3998 3311 300 300 0 3698 0
vsize: 15992
[startup+480.006 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4321 0 0 0 47454 551 0 0 25 0 1 0 741248631 16375808 3323 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3998 3323 300 300 0 3698 0
vsize: 15992
[startup+490.007 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4349 0 0 0 48446 559 0 0 25 0 1 0 741248631 16465920 3351 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4020 3351 300 300 0 3720 0
vsize: 16080
[startup+500.007 s]
Raw data (loadavg): 0.99 0.84 0.45 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4366 0 0 0 49436 570 0 0 25 0 1 0 741248631 16465920 3368 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4020 3368 300 300 0 3720 0
vsize: 16080
[startup+510.008 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4378 0 0 0 50425 581 0 0 25 0 1 0 741248631 16531456 3380 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4036 3380 300 300 0 3736 0
vsize: 16144
[startup+520.008 s]
Raw data (loadavg): 0.99 0.85 0.46 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4398 0 0 0 51417 589 0 0 25 0 1 0 741248631 16531456 3400 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4036 3400 300 300 0 3736 0
vsize: 16144
[startup+530.007 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4416 0 0 0 52407 599 0 0 25 0 1 0 741248631 16621568 3418 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4058 3418 300 300 0 3758 0
vsize: 16232
[startup+540.008 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4432 0 0 0 53399 607 0 0 25 0 1 0 741248631 16621568 3434 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4058 3434 300 300 0 3758 0
vsize: 16232
[startup+550.008 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4448 0 0 0 54387 620 0 0 25 0 1 0 741248631 16699392 3450 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4077 3450 300 300 0 3777 0
vsize: 16308
[startup+560.007 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4460 0 0 0 55377 629 0 0 25 0 1 0 741248631 16699392 3462 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4077 3462 300 300 0 3777 0
vsize: 16308
[startup+570.009 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4470 0 0 0 56369 638 0 0 25 0 1 0 741248631 16699392 3472 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4077 3472 300 300 0 3777 0
vsize: 16308
[startup+580.009 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4486 0 0 0 57361 646 0 0 25 0 1 0 741248631 16777216 3488 4294967295 134512640 135726644 3221224576 3221223184 134741254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4096 3488 300 300 0 3796 0
vsize: 16384
[startup+590.009 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4504 0 0 0 58347 660 0 0 25 0 1 0 741248631 16777216 3506 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4096 3506 300 300 0 3796 0
vsize: 16384
[startup+600.009 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4528 0 0 0 59338 669 0 0 25 0 1 0 741248631 16859136 3530 4294967295 134512640 135726644 3221224576 3221223184 134741254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4116 3530 300 300 0 3816 0
vsize: 16464
[startup+610.009 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4539 0 0 0 60330 677 0 0 25 0 1 0 741248631 16859136 3541 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4116 3541 300 300 0 3816 0
vsize: 16464
[startup+620.008 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4560 0 0 0 61318 689 0 0 25 0 1 0 741248631 16949248 3562 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4138 3562 300 300 0 3838 0
vsize: 16552
[startup+630.009 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4574 0 0 0 62312 695 0 0 25 0 1 0 741248631 16949248 3576 4294967295 134512640 135726644 3221224576 3221223072 134744249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4138 3576 300 300 0 3838 0
vsize: 16552
[startup+640.01 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4588 0 0 0 63299 709 0 0 25 0 1 0 741248631 17035264 3590 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4159 3590 300 300 0 3859 0
vsize: 16636
[startup+650.009 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4610 0 0 0 64290 718 0 0 25 0 1 0 741248631 17035264 3612 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4159 3612 300 300 0 3859 0
vsize: 16636
[startup+660.009 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4632 0 0 0 65280 728 0 0 25 0 1 0 741248631 17113088 3634 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4178 3634 300 300 0 3878 0
vsize: 16712
[startup+670.009 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4649 0 0 0 66271 737 0 0 25 0 1 0 741248631 17186816 3651 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4196 3651 300 300 0 3896 0
vsize: 16784
[startup+680.008 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4658 0 0 0 67261 746 0 0 25 0 1 0 741248631 17186816 3660 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4196 3660 300 300 0 3896 0
vsize: 16784
[startup+690.01 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4687 0 0 0 68253 755 0 0 25 0 1 0 741248631 17272832 3689 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4217 3689 300 300 0 3917 0
vsize: 16868
[startup+700.01 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4706 0 0 0 69244 764 0 0 25 0 1 0 741248631 17272832 3708 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4217 3708 300 300 0 3917 0
vsize: 16868
[startup+710.009 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4717 0 0 0 70238 771 0 0 25 0 1 0 741248631 17272832 3719 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4217 3719 300 300 0 3917 0
vsize: 16868
[startup+720.009 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4731 0 0 0 71230 778 0 0 25 0 1 0 741248631 17367040 3733 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4240 3733 300 300 0 3940 0
vsize: 16960
[startup+730.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4750 0 0 0 72219 790 0 0 25 0 1 0 741248631 17367040 3752 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4240 3752 300 300 0 3940 0
vsize: 16960
[startup+740.009 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4762 0 0 0 73210 799 0 0 25 0 1 0 741248631 17436672 3764 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4257 3764 300 300 0 3957 0
vsize: 17028
[startup+750.011 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4780 0 0 0 74199 810 0 0 25 0 1 0 741248631 17436672 3782 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4257 3782 300 300 0 3957 0
vsize: 17028
[startup+760.01 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 4796 0 0 0 75190 819 0 0 25 0 1 0 741248631 17518592 3798 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4277 3798 300 300 0 3977 0
vsize: 17108
[startup+770.009 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5584 0 0 0 76179 830 0 0 25 0 1 0 741248631 20664320 3817 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5045 3817 300 300 0 4745 0
vsize: 20180
[startup+780.009 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5598 0 0 0 77171 838 0 0 25 0 1 0 741248631 20729856 3831 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5061 3831 300 300 0 4761 0
vsize: 20244
[startup+790.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5612 0 0 0 78162 847 0 0 25 0 1 0 741248631 20729856 3845 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5061 3845 300 300 0 4761 0
vsize: 20244
[startup+800.009 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5635 0 0 0 79155 855 0 0 25 0 1 0 741248631 20815872 3868 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5082 3868 300 300 0 4782 0
vsize: 20328
[startup+810.01 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5649 0 0 0 80147 863 0 0 25 0 1 0 741248631 20815872 3882 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5082 3882 300 300 0 4782 0
vsize: 20328
[startup+820.01 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5661 0 0 0 81136 874 0 0 25 0 1 0 741248631 20815872 3894 4294967295 134512640 135726644 3221224576 3221223072 134744365 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5082 3894 300 300 0 4782 0
vsize: 20328
[startup+830.009 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5674 0 0 0 82126 884 0 0 25 0 1 0 741248631 20885504 3907 4294967295 134512640 135726644 3221224576 3221223184 134740844 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 3907 300 300 0 4799 0
vsize: 20396
[startup+840.01 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5693 0 0 0 83118 892 0 0 25 0 1 0 741248631 20885504 3926 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 3926 300 300 0 4799 0
vsize: 20396
[startup+850.011 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5716 0 0 0 84108 903 0 0 25 0 1 0 741248631 20979712 3949 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5122 3949 300 300 0 4822 0
vsize: 20488
[startup+860.01 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5725 0 0 0 85098 912 0 0 25 0 1 0 741248631 20979712 3958 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5122 3958 300 300 0 4822 0
vsize: 20488
[startup+870.011 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5739 0 0 0 86088 922 0 0 25 0 1 0 741248631 20979712 3972 4294967295 134512640 135726644 3221224576 3221223184 134740854 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5122 3972 300 300 0 4822 0
vsize: 20488
[startup+880.011 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5757 0 0 0 87077 933 0 0 25 0 1 0 741248631 21082112 3990 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5147 3990 300 300 0 4847 0
vsize: 20588
[startup+890.011 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5779 0 0 0 88071 940 0 0 25 0 1 0 741248631 21082112 4012 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5147 4012 300 300 0 4847 0
vsize: 20588
[startup+900.011 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5789 0 0 0 89062 949 0 0 25 0 1 0 741248631 21155840 4022 4294967295 134512640 135726644 3221224576 3221223200 134744609 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5165 4022 300 300 0 4865 0
vsize: 20660
[startup+910.011 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5804 0 0 0 90055 957 0 0 25 0 1 0 741248631 21155840 4037 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5165 4037 300 300 0 4865 0
vsize: 20660
[startup+920.011 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5823 0 0 0 91044 967 0 0 25 0 1 0 741248631 21229568 4056 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5183 4056 300 300 0 4883 0
vsize: 20732
[startup+930.012 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5834 0 0 0 92036 975 0 0 25 0 1 0 741248631 21229568 4067 4294967295 134512640 135726644 3221224576 3221223184 134740863 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5183 4067 300 300 0 4883 0
vsize: 20732
[startup+940.012 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5849 0 0 0 93026 985 0 0 25 0 1 0 741248631 21229568 4082 4294967295 134512640 135726644 3221224576 3221223184 134741191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5183 4082 300 300 0 4883 0
vsize: 20732
[startup+950.011 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5856 0 0 0 94020 991 0 0 25 0 1 0 741248631 21229568 4089 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5183 4089 300 300 0 4883 0
vsize: 20732
[startup+960.011 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5875 0 0 0 95010 1001 0 0 25 0 1 0 741248631 21340160 4108 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5210 4108 300 300 0 4910 0
vsize: 20840
[startup+970.011 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5886 0 0 0 96003 1008 0 0 25 0 1 0 741248631 21340160 4119 4294967295 134512640 135726644 3221224576 3221223184 134741204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5210 4119 300 300 0 4910 0
vsize: 20840
[startup+980.01 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5908 0 0 0 96996 1016 0 0 25 0 1 0 741248631 21340160 4141 4294967295 134512640 135726644 3221224576 3221223184 134741244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5210 4141 300 300 0 4910 0
vsize: 20840
[startup+990.012 s]
Raw data (loadavg): 0.99 0.96 0.65 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5925 0 0 0 97987 1025 0 0 25 0 1 0 741248631 21422080 4158 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5230 4158 300 300 0 4930 0
vsize: 20920
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5931 0 0 0 98981 1031 0 0 25 0 1 0 741248631 21422080 4164 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5230 4164 300 300 0 4930 0
vsize: 20920
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5960 0 0 0 99972 1040 0 0 25 0 1 0 741248631 21528576 4193 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5256 4193 300 300 0 4956 0
vsize: 21024
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5975 0 0 0 100967 1046 0 0 25 0 1 0 741248631 21528576 4208 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5256 4208 300 300 0 4956 0
vsize: 21024
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5986 0 0 0 101958 1054 0 0 25 0 1 0 741248631 21528576 4219 4294967295 134512640 135726644 3221224576 3221223184 134740857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5256 4219 300 300 0 4956 0
vsize: 21024
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 5992 0 0 0 102952 1061 0 0 25 0 1 0 741248631 21528576 4225 4294967295 134512640 135726644 3221224576 3221222816 135105701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5256 4225 300 300 0 4956 0
vsize: 21024
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6012 0 0 0 103944 1069 0 0 25 0 1 0 741248631 21602304 4245 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5274 4245 300 300 0 4974 0
vsize: 21096
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6027 0 0 0 104937 1076 0 0 25 0 1 0 741248631 21671936 4260 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5291 4260 300 300 0 4991 0
vsize: 21164
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6032 0 0 0 105930 1083 0 0 25 0 1 0 741248631 21671936 4265 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5291 4265 300 300 0 4991 0
vsize: 21164
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6052 0 0 0 106921 1092 0 0 25 0 1 0 741248631 21671936 4285 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5291 4285 300 300 0 4991 0
vsize: 21164
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6066 0 0 0 107916 1098 0 0 25 0 1 0 741248631 21749760 4299 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5310 4299 300 300 0 5010 0
vsize: 21240
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6079 0 0 0 108908 1105 0 0 25 0 1 0 741248631 21749760 4312 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5310 4312 300 300 0 5010 0
vsize: 21240
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6086 0 0 0 109902 1112 0 0 25 0 1 0 741248631 21749760 4319 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5310 4319 300 300 0 5010 0
vsize: 21240
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6104 0 0 0 110893 1121 0 0 25 0 1 0 741248631 21815296 4337 4294967295 134512640 135726644 3221224576 3221223060 134744462 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5326 4337 300 300 0 5026 0
vsize: 21304
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6113 0 0 0 111886 1128 0 0 25 0 1 0 741248631 21815296 4346 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5326 4346 300 300 0 5026 0
vsize: 21304
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.70 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6135 0 0 0 112874 1135 0 0 25 0 1 0 741248631 21901312 4368 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4368 300 300 0 5047 0
vsize: 21388
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6144 0 0 0 113870 1143 0 0 25 0 1 0 741248631 21901312 4377 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4377 300 300 0 5047 0
vsize: 21388
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6152 0 0 0 114860 1153 0 0 25 0 1 0 741248631 21901312 4385 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4385 300 300 0 5047 0
vsize: 21388
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6157 0 0 0 115852 1162 0 0 25 0 1 0 741248631 21901312 4390 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5347 4390 300 300 0 5047 0
vsize: 21388
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6170 0 0 0 116845 1168 0 0 25 0 1 0 741248631 21901312 4403 4294967295 134512640 135726644 3221224576 3221222896 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5347 4403 300 300 0 5047 0
vsize: 21388
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6190 0 0 0 117836 1177 0 0 25 0 1 0 741248631 21987328 4423 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5368 4423 300 300 0 5068 0
vsize: 21472
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 12154
Raw data (stat): 12154 (pb2sat) R 12153 32363 32362 0 -1 0 6196 0 0 0 118829 1185 0 0 25 0 1 0 741248631 21987328 4429 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5368 4429 300 300 0 5068 0
vsize: 21472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.71 1/55 12154
Raw data (stat): 12154 (pb2sat) Z 12153 32363 32362 0 -1 12 6197 0 0 0 118841 1186 0 0 25 0 1 0 741248631 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.18
CPU time (s): 1200.28
CPU user time (s): 1188.42
CPU system time (s): 11.8632
CPU usage (%): 100.008
Max. virtual memory (Kb): 21472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####