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_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
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	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
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 34742

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 10:12:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23983 boxname=wulflinc17 idbench=57 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc17/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 23983
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        623292 kB
Buffers:         34080 kB
Cached:         346012 kB
SwapCached:        640 kB
Active:          40180 kB
Inactive:       342004 kB
HighTotal:      131008 kB
HighFree:        31416 kB
LowTotal:       903652 kB
LowFree:        591876 kB
SwapTotal:     2097892 kB
SwapFree:      2096364 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            23728 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:32:37 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 23983 7 1200.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2948/8934	Time: 25.0812/86400
Decision: 2948/8934	Time: 28.0577/86400
Decision: 2948/8934	Time: 31.3862/86400
Decision: 2948/8934	Time: 34.6177/86400
Decision: 2948/8934	Time: 37.7973/86400
Decision: 2948/8934	Time: 41.0598/86400
Decision: 2948/8934	Time: 44.1933/86400
Decision: 2948/8934	Time: 47.7067/86400
Decision: 2948/8934	Time: 51.4452/86400
Decision: 2948/8934	Time: 55.7885/86400
Decision: 2948/8934	Time: 60.1319/86400
Decision: 2948/8934	Time: 64.1552/86400
Decision: 2948/8934	Time: 68.4726/86400
Decision: 2948/8934	Time: 73.0719/86400
Decision: 2948/8934	Time: 77.5142/86400
Decision: 2948/8934	Time: 82.1845/86400
Decision: 2948/8934	Time: 86.4309/86400
Decision: 2948/8934	Time: 91.2211/86400
Decision: 2948/8934	Time: 95.3685/86400
Decision: 2948/8934	Time: 99.1489/86400
Decision: 2948/8934	Time: 103.319/86400
Decision: 2948/8934	Time: 108.091/86400
Decision: 2948/8934	Time: 111.492/86400
Decision: 2948/8934	Time: 115.597/86400
Decision: 2948/8934	Time: 118.864/86400
Decision: 2948/8934	Time: 123.372/86400
Decision: 2948/8934	Time: 128.164/86400
Decision: 2948/8934	Time: 130.809/86400
Decision: 2948/8934	Time: 135.497/86400
Decision: 2948/8934	Time: 139.33/86400
Decision: 2948/8934	Time: 143.867/86400
Decision: 2948/8934	Time: 148.527/86400
Decision: 2948/8934	Time: 152.2/86400
Decision: 2948/8934	Time: 156.857/86400
Decision: 2948/8934	Time: 161.007/86400
Decision: 2948/8934	Time: 166.226/86400
Decision: 2948/8934	Time: 170.864/86400
Decision: 2948/8934	Time: 175.76/86400
Decision: 2948/8934	Time: 181.291/86400
Decision: 2948/8934	Time: 184.967/86400
Decision: 2948/8934	Time: 189.102/86400
Decision: 2948/8934	Time: 192.822/86400
Decision: 2948/8934	Time: 195.647/86400
Decision: 2948/8934	Time: 201.027/86400
Decision: 2948/8934	Time: 207.167/86400
Decision: 2948/8934	Time: 212.896/86400
Decision: 2948/8934	Time: 218.504/86400
Decision: 2948/8934	Time: 223.693/86400
Decision: 2948/8934	Time: 228.056/86400
Decision: 2948/8934	Time: 233.318/86400
Decision: 2948/8934	Time: 236.992/86400
Decision: 2948/8934	Time: 241.641/86400
Decision: 2948/8934	Time: 247.011/86400
Decision: 2948/8934	Time: 252.371/86400
Decision: 2948/8934	Time: 257.103/86400
Decision: 2948/8934	Time: 262.011/86400
Decision: 2948/8934	Time: 267.138/86400
Decision: 2948/8934	Time: 270.252/86400
Decision: 2948/8934	Time: 274.09/86400
Decision: 2948/8934	Time: 279.652/86400
Decision: 2948/8934	Time: 283.322/86400
Decision: 2948/8934	Time: 287.38/86400
Decision: 2948/8934	Time: 293.045/86400
Decision: 2948/8934	Time: 299.268/86400
Decision: 2948/8934	Time: 304.621/86400
Decision: 2948/8934	Time: 310.174/86400
Decision: 2948/8934	Time: 315.159/86400
Decision: 2948/8934	Time: 319.265/86400
Decision: 2948/8934	Time: 324.592/86400
Decision: 2948/8934	Time: 329.419/86400
Decision: 2948/8934	Time: 334.536/86400
Decision: 2948/8934	Time: 337.851/86400
Decision: 2948/8934	Time: 342.603/86400
Decision: 2948/8934	Time: 346.952/86400
Decision: 2948/8934	Time: 350.857/86400
Decision: 2948/8934	Time: 354.294/86400
Decision: 2948/8934	Time: 359.838/86400
Decision: 2948/8934	Time: 364.64/86400
Decision: 2948/8934	Time: 370.624/86400
Decision: 2948/8934	Time: 376.511/86400
Decision: 2948/8934	Time: 381.854/86400
Decision: 2948/8934	Time: 386.875/86400
Decision: 2948/8934	Time: 392.725/86400
Decision: 2948/8934	Time: 398.845/86400
Decision: 2948/8934	Time: 402.869/86400
Decision: 2948/8934	Time: 406.607/86400
Decision: 2948/8934	Time: 412.257/86400
Decision: 2948/8934	Time: 418.342/86400
Decision: 2948/8934	Time: 422.778/86400
Decision: 2948/8934	Time: 428.673/86400
Decision: 2948/8934	Time: 434.408/86400
Decision: 2948/8934	Time: 438.295/86400
Decision: 2948/8934	Time: 443.118/86400
Decision: 2948/8934	Time: 447.225/86400
Decision: 2948/8934	Time: 452.737/86400
Decision: 2948/8934	Time: 456.487/86400
Decision: 2948/8934	Time: 460.311/86400
Decision: 2948/8934	Time: 465.445/86400
Decision: 2948/8934	Time: 469.979/86400
Decision: 2948/8934	Time: 476.147/86400
Decision: 2948/8934	Time: 481.519/86400
Decision: 2948/8934	Time: 486.796/86400
Decision: 2948/8934	Time: 491.634/86400
Decision: 2948/8934	Time: 495.678/86400
Decision: 2948/8934	Time: 501.349/86400
Decision: 2948/8934	Time: 507.847/86400
Decision: 2948/8934	Time: 514.158/86400
Decision: 2948/8934	Time: 519.53/86400
Decision: 2948/8934	Time: 526.101/86400
Decision: 2948/8934	Time: 532.797/86400
Decision: 2948/8934	Time: 538.917/86400
Decision: 2948/8934	Time: 543.844/86400
Decision: 2948/8934	Time: 550.295/86400
Decision: 2948/8934	Time: 556.118/86400
Decision: 2948/8934	Time: 560.037/86400
Decision: 2948/8934	Time: 563.673/86400
Decision: 2948/8934	Time: 567.059/86400
Decision: 2948/8934	Time: 573.753/86400
Decision: 2948/8934	Time: 579.602/86400
Decision: 2948/8934	Time: 583.507/86400
Decision: 2948/8934	Time: 587.559/86400
Decision: 2948/8934	Time: 592.089/86400
Decision: 2948/8934	Time: 597.269/86400
Decision: 2948/8934	Time: 603.956/86400
Decision: 2948/8934	Time: 609.805/86400
Decision: 2948/8934	Time: 616.886/86400
Decision: 2948/8934	Time: 623.729/86400
Decision: 2948/8934	Time: 629.946/86400
Decision: 2948/8934	Time: 633.852/86400
Decision: 2948/8934	Time: 639.984/86400
Decision: 2948/8934	Time: 645.897/86400
Decision: 2948/8934	Time: 649.994/86400
Decision: 2948/8934	Time: 655.712/86400
Decision: 2948/8934	Time: 660.597/86400
Decision: 2948/8934	Time: 665.1/86400
Decision: 2948/8934	Time: 671.625/86400
Decision: 2948/8934	Time: 677.491/86400
Decision: 2948/8934	Time: 683.964/86400
Decision: 2948/8934	Time: 690.759/86400
Decision: 2948/8934	Time: 694.593/86400
Decision: 2948/8934	Time: 700.962/86400
Decision: 2948/8934	Time: 706.858/86400
Decision: 2948/8934	Time: 710.905/86400
Decision: 2948/8934	Time: 715.844/86400
Decision: 2948/8934	Time: 721.351/86400
Decision: 2948/8934	Time: 726.424/86400
Decision: 2948/8934	Time: 732.235/86400
Decision: 2948/8934	Time: 739.131/86400
Decision: 2948/8934	Time: 746.82/86400
Decision: 2948/8934	Time: 752.406/86400
Decision: 2948/8934	Time: 758.488/86400
Decision: 2948/8934	Time: 764.149/86400
Decision: 2948/8934	Time: 768.032/86400
Decision: 2948/8934	Time: 773.919/86400
Decision: 2948/8934	Time: 779.074/86400
Decision: 2948/8934	Time: 785.854/86400
Decision: 2948/8934	Time: 792.927/86400
Decision: 2948/8934	Time: 800.417/86400
Decision: 2948/8934	Time: 806.451/86400
Decision: 2948/8934	Time: 813.809/86400
Decision: 2948/8934	Time: 821.53/86400
Decision: 2948/8934	Time: 828.752/86400
Decision: 2948/8934	Time: 835.817/86400
Decision: 2948/8934	Time: 842.574/86400
Decision: 2948/8934	Time: 848.883/86400
Decision: 2948/8934	Time: 855.91/86400
Decision: 2948/8934	Time: 863.618/86400
Decision: 2948/8934	Time: 871.168/86400
Decision: 2948/8934	Time: 879.154/86400
Decision: 2948/8934	Time: 884.581/86400
Decision: 2948/8934	Time: 889.402/86400
Decision: 2948/8934	Time: 895.922/86400
Decision: 2948/8934	Time: 900.695/86400
Decision: 2948/8934	Time: 905.622/86400
Decision: 2948/8934	Time: 911.094/86400
Decision: 2948/8934	Time: 916.315/86400
Decision: 2948/8934	Time: 921.537/86400
Decision: 2948/8934	Time: 927.602/86400
Decision: 2948/8934	Time: 932.587/86400
Decision: 2948/8934	Time: 937.795/86400
Decision: 2948/8934	Time: 942.178/86400
Decision: 2948/8934	Time: 949.121/86400
Decision: 2948/8934	Time: 957.563/86400
Decision: 2948/8934	Time: 965.749/86400
Decision: 2948/8934	Time: 973.792/86400
Decision: 2948/8934	Time: 982.038/86400
Decision: 2948/8934	Time: 989.771/86400
Decision: 2948/8934	Time: 994.907/86400
Decision: 2948/8934	Time: 1001/86400
Decision: 2948/8934	Time: 1008.94/86400
Decision: 2948/8934	Time: 1015.45/86400
Decision: 2948/8934	Time: 1021.16/86400
Decision: 2948/8934	Time: 1025.58/86400
Decision: 2948/8934	Time: 1033.1/86400
Decision: 2948/8934	Time: 1040.11/86400
Decision: 2948/8934	Time: 1047.65/86400
Decision: 2948/8934	Time: 1055.2/86400
Decision: 2948/8934	Time: 1064.29/86400
Decision: 2948/8934	Time: 1068.64/86400
Decision: 2948/8934	Time: 1074.55/86400
Decision: 2948/8934	Time: 1081.76/86400
Decision: 2948/8934	Time: 1089.36/86400
Decision: 2948/8934	Time: 1096.68/86400
Decision: 2948/8934	Time: 1104.01/86400
Decision: 2948/8934	Time: 1110.3/86400
Decision: 2948/8934	Time: 1118.83/86400
Decision: 2948/8934	Time: 1125.43/86400
Decision: 2948/8934	Time: 1129.59/86400
Decision: 2948/8934	Time: 1134.25/86400
Decision: 2948/8934	Time: 1141.01/86400
Decision: 2948/8934	Time: 1148.44/86400
Decision: 2948/8934	Time: 1157.61/86400
Decision: 2948/8934	Time: 1165.83/86400
Decision: 2948/8934	Time: 1173.66/86400
Decision: 2948/8934	Time: 1181.64/86400
Decision: 2948/8934	Time: 1189.06/86400
Decision: 2948/8934	Time: 1196.02/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.71 0.28 0.10 2/54 18961
Raw data (stat): 18961 (runsolver) R 18960 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864001151 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.0009 s]
Raw data (loadavg): 0.76 0.30 0.11 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 1683 0 0 0 984 14 0 0 25 0 1 0 864001151 7475200 1261 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1825 1261 300 300 0 1525 0
vsize: 7300
[startup+20.0014 s]
Raw data (loadavg): 0.81 0.33 0.12 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 1917 0 0 0 1973 26 0 0 25 0 1 0 864001151 7745536 1495 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1891 1495 300 300 0 1591 0
vsize: 7564
[startup+30.0011 s]
Raw data (loadavg): 0.84 0.36 0.13 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 2211 0 0 0 2959 39 0 0 25 0 1 0 864001151 10526720 1789 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2570 1789 300 300 0 2270 0
vsize: 10280
[startup+40.0019 s]
Raw data (loadavg): 0.86 0.38 0.14 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 2473 0 0 0 3946 53 0 0 25 0 1 0 864001151 11132928 2051 4294967295 134512640 135726644 3221224576 3221223184 134741254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2718 2051 300 300 0 2418 0
vsize: 10872
[startup+50.0023 s]
Raw data (loadavg): 0.88 0.40 0.15 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 2829 0 0 0 4931 67 0 0 25 0 1 0 864001151 12369920 2214 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3020 2214 300 300 0 2720 0
vsize: 12080
[startup+60.0026 s]
Raw data (loadavg): 0.90 0.42 0.15 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 2918 0 0 0 5919 79 0 0 25 0 1 0 864001151 12754944 2303 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3114 2303 300 300 0 2814 0
vsize: 12456
[startup+70.0024 s]
Raw data (loadavg): 0.92 0.43 0.16 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 2971 0 0 0 6908 91 0 0 25 0 1 0 864001151 12873728 2356 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3143 2356 300 300 0 2843 0
vsize: 12572
[startup+80.002 s]
Raw data (loadavg): 0.93 0.45 0.17 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3007 0 0 0 7896 102 0 0 25 0 1 0 864001151 12967936 2392 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3166 2392 300 300 0 2866 0
vsize: 12664
[startup+90.0016 s]
Raw data (loadavg): 0.94 0.47 0.18 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3039 0 0 0 8885 113 0 0 25 0 1 0 864001151 13053952 2424 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3187 2424 300 300 0 2887 0
vsize: 12748
[startup+100.001 s]
Raw data (loadavg): 0.95 0.49 0.19 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3073 0 0 0 9874 124 0 0 25 0 1 0 864001151 13144064 2458 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3209 2458 300 300 0 2909 0
vsize: 12836
[startup+110.002 s]
Raw data (loadavg): 0.95 0.50 0.20 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3111 0 0 0 10864 134 0 0 25 0 1 0 864001151 13295616 2496 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3246 2496 300 300 0 2946 0
vsize: 12984
[startup+120.002 s]
Raw data (loadavg): 0.96 0.52 0.20 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3139 0 0 0 11856 143 0 0 25 0 1 0 864001151 13365248 2524 4294967295 134512640 135726644 3221224576 3221222896 134728887 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3263 2524 300 300 0 2963 0
vsize: 13052
[startup+130.002 s]
Raw data (loadavg): 0.97 0.54 0.21 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3240 0 0 0 12844 155 0 0 25 0 1 0 864001151 13811712 2625 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3372 2625 300 300 0 3072 0
vsize: 13488
[startup+140.003 s]
Raw data (loadavg): 0.97 0.55 0.22 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3271 0 0 0 13835 165 0 0 25 0 1 0 864001151 13811712 2656 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3372 2656 300 300 0 3072 0
vsize: 13488
[startup+150.003 s]
Raw data (loadavg): 0.98 0.56 0.23 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3300 0 0 0 14825 175 0 0 25 0 1 0 864001151 13885440 2685 4294967295 134512640 135726644 3221224576 3221223184 134741201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3390 2685 300 300 0 3090 0
vsize: 13560
[startup+160.004 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3323 0 0 0 15818 182 0 0 25 0 1 0 864001151 13955072 2708 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3407 2708 300 300 0 3107 0
vsize: 13628
[startup+170.003 s]
Raw data (loadavg): 0.98 0.59 0.24 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3353 0 0 0 16809 191 0 0 25 0 1 0 864001151 14024704 2738 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3424 2738 300 300 0 3124 0
vsize: 13696
[startup+180.003 s]
Raw data (loadavg): 0.98 0.60 0.25 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3382 0 0 0 17799 201 0 0 25 0 1 0 864001151 14114816 2767 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3446 2767 300 300 0 3146 0
vsize: 13784
[startup+190.006 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3409 0 0 0 18789 212 0 0 25 0 1 0 864001151 14200832 2794 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3467 2794 300 300 0 3167 0
vsize: 13868
[startup+200.005 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3444 0 0 0 19777 224 0 0 25 0 1 0 864001151 14274560 2829 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3485 2829 300 300 0 3185 0
vsize: 13940
[startup+210.006 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3469 0 0 0 20767 235 0 0 25 0 1 0 864001151 14368768 2854 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3508 2854 300 300 0 3208 0
vsize: 14032
[startup+220.006 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3491 0 0 0 21755 246 0 0 25 0 1 0 864001151 14434304 2876 4294967295 134512640 135726644 3221224576 3221222896 134728916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3524 2876 300 300 0 3224 0
vsize: 14096
[startup+230.006 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3505 0 0 0 22746 255 0 0 25 0 1 0 864001151 14434304 2890 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3524 2890 300 300 0 3224 0
vsize: 14096
[startup+240.006 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3533 0 0 0 23735 266 0 0 25 0 1 0 864001151 14528512 2918 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3547 2918 300 300 0 3247 0
vsize: 14188
[startup+250.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3936 0 0 0 24724 278 0 0 25 0 1 0 864001151 16101376 2936 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3931 2936 300 300 0 3631 0
vsize: 15724
[startup+260.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3956 0 0 0 25715 287 0 0 25 0 1 0 864001151 16171008 2956 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3948 2956 300 300 0 3648 0
vsize: 15792
[startup+270.006 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 3982 0 0 0 26705 297 0 0 25 0 1 0 864001151 16261120 2982 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3970 2982 300 300 0 3670 0
vsize: 15880
[startup+280.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4006 0 0 0 27693 309 0 0 25 0 1 0 864001151 16261120 3006 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3970 3006 300 300 0 3670 0
vsize: 15880
[startup+290.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4036 0 0 0 28681 322 0 0 25 0 1 0 864001151 16408576 3036 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4006 3036 300 300 0 3706 0
vsize: 16024
[startup+300.006 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4047 0 0 0 29671 332 0 0 25 0 1 0 864001151 16408576 3047 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4006 3047 300 300 0 3706 0
vsize: 16024
[startup+310.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4071 0 0 0 30660 343 0 0 25 0 1 0 864001151 16486400 3071 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4025 3071 300 300 0 3725 0
vsize: 16100
[startup+320.006 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4089 0 0 0 31650 353 0 0 25 0 1 0 864001151 16486400 3089 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4025 3089 300 300 0 3725 0
vsize: 16100
[startup+330.006 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4106 0 0 0 32640 363 0 0 25 0 1 0 864001151 16547840 3106 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4040 3106 300 300 0 3740 0
vsize: 16160
[startup+340.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4133 0 0 0 33632 372 0 0 25 0 1 0 864001151 16637952 3133 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4062 3133 300 300 0 3762 0
vsize: 16248
[startup+350.007 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4150 0 0 0 34623 381 0 0 25 0 1 0 864001151 16637952 3150 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4062 3150 300 300 0 3762 0
vsize: 16248
[startup+360.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4170 0 0 0 35614 390 0 0 25 0 1 0 864001151 16711680 3170 4294967295 134512640 135726644 3221224576 3221223184 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4080 3170 300 300 0 3780 0
vsize: 16320
[startup+370.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4191 0 0 0 36605 400 0 0 25 0 1 0 864001151 16711680 3191 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4080 3191 300 300 0 3780 0
vsize: 16320
[startup+380.007 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4210 0 0 0 37595 410 0 0 25 0 1 0 864001151 16789504 3210 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3210 300 300 0 3799 0
vsize: 16396
[startup+390.008 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4226 0 0 0 38587 417 0 0 25 0 1 0 864001151 16789504 3226 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4099 3226 300 300 0 3799 0
vsize: 16396
[startup+400.007 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4238 0 0 0 39578 427 0 0 25 0 1 0 864001151 16867328 3238 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4118 3238 300 300 0 3818 0
vsize: 16472
[startup+410.008 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4263 0 0 0 40567 438 0 0 25 0 1 0 864001151 16867328 3263 4294967295 134512640 135726644 3221224576 3221223184 134740857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4118 3263 300 300 0 3818 0
vsize: 16472
[startup+420.008 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4284 0 0 0 41557 448 0 0 25 0 1 0 864001151 16953344 3284 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4139 3284 300 300 0 3839 0
vsize: 16556
[startup+430.008 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4299 0 0 0 42549 457 0 0 25 0 1 0 864001151 17018880 3299 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4155 3299 300 300 0 3855 0
vsize: 16620
[startup+440.008 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4318 0 0 0 43539 466 0 0 25 0 1 0 864001151 17018880 3318 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4155 3318 300 300 0 3855 0
vsize: 16620
[startup+450.008 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4335 0 0 0 44530 475 0 0 25 0 1 0 864001151 17092608 3335 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4173 3335 300 300 0 3873 0
vsize: 16692
[startup+460.009 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4357 0 0 0 45520 486 0 0 25 0 1 0 864001151 17092608 3357 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4173 3357 300 300 0 3873 0
vsize: 16692
[startup+470.008 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4378 0 0 0 46511 496 0 0 25 0 1 0 864001151 17162240 3378 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4190 3378 300 300 0 3890 0
vsize: 16760
[startup+480.008 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4395 0 0 0 47502 504 0 0 25 0 1 0 864001151 17231872 3395 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4207 3395 300 300 0 3907 0
vsize: 16828
[startup+490.008 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4410 0 0 0 48493 513 0 0 25 0 1 0 864001151 17231872 3410 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4207 3410 300 300 0 3907 0
vsize: 16828
[startup+500.008 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4430 0 0 0 49485 522 0 0 25 0 1 0 864001151 17309696 3430 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4226 3430 300 300 0 3926 0
vsize: 16904
[startup+510.009 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4446 0 0 0 50477 530 0 0 25 0 1 0 864001151 17309696 3446 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4226 3446 300 300 0 3926 0
vsize: 16904
[startup+520.008 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4454 0 0 0 51469 538 0 0 25 0 1 0 864001151 17309696 3454 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4226 3454 300 300 0 3926 0
vsize: 16904
[startup+530.008 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4473 0 0 0 52461 547 0 0 25 0 1 0 864001151 17375232 3473 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4242 3473 300 300 0 3942 0
vsize: 16968
[startup+540.008 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4481 0 0 0 53452 556 0 0 25 0 1 0 864001151 17375232 3481 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4242 3481 300 300 0 3942 0
vsize: 16968
[startup+550.008 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4502 0 0 0 54445 563 0 0 25 0 1 0 864001151 17444864 3502 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4259 3502 300 300 0 3959 0
vsize: 17036
[startup+560.009 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4517 0 0 0 55436 572 0 0 25 0 1 0 864001151 17444864 3517 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4259 3517 300 300 0 3959 0
vsize: 17036
[startup+570.008 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4547 0 0 0 56427 581 0 0 25 0 1 0 864001151 17530880 3547 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4280 3547 300 300 0 3980 0
vsize: 17120
[startup+580.008 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4560 0 0 0 57421 587 0 0 25 0 1 0 864001151 17596416 3560 4294967295 134512640 135726644 3221224576 3221223184 134741065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4296 3560 300 300 0 3996 0
vsize: 17184
[startup+590.008 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4601 0 0 0 58413 596 0 0 25 0 1 0 864001151 17698816 3601 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4321 3601 300 300 0 4021 0
vsize: 17284
[startup+600.009 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4619 0 0 0 59402 606 0 0 25 0 1 0 864001151 17698816 3619 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4321 3619 300 300 0 4021 0
vsize: 17284
[startup+610.009 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4627 0 0 0 60397 612 0 0 25 0 1 0 864001151 17698816 3627 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4321 3627 300 300 0 4021 0
vsize: 17284
[startup+620.008 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4645 0 0 0 61387 622 0 0 25 0 1 0 864001151 17776640 3645 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4340 3645 300 300 0 4040 0
vsize: 17360
[startup+630.008 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4653 0 0 0 62381 628 0 0 25 0 1 0 864001151 17776640 3653 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4340 3653 300 300 0 4040 0
vsize: 17360
[startup+640.008 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4675 0 0 0 63372 638 0 0 25 0 1 0 864001151 17838080 3675 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4355 3675 300 300 0 4055 0
vsize: 17420
[startup+650.008 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4688 0 0 0 64365 644 0 0 25 0 1 0 864001151 17838080 3688 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4355 3688 300 300 0 4055 0
vsize: 17420
[startup+660.008 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4716 0 0 0 65357 653 0 0 25 0 1 0 864001151 17932288 3716 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4378 3716 300 300 0 4078 0
vsize: 17512
[startup+670.009 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4732 0 0 0 66351 659 0 0 25 0 1 0 864001151 17993728 3732 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4393 3732 300 300 0 4093 0
vsize: 17572
[startup+680.009 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4758 0 0 0 67345 665 0 0 25 0 1 0 864001151 17993728 3758 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4393 3758 300 300 0 4093 0
vsize: 17572
[startup+690.009 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4765 0 0 0 68339 671 0 0 25 0 1 0 864001151 17993728 3765 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4393 3765 300 300 0 4093 0
vsize: 17572
[startup+700.01 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4785 0 0 0 69330 681 0 0 25 0 1 0 864001151 18055168 3785 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4408 3785 300 300 0 4108 0
vsize: 17632
[startup+710.01 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4804 0 0 0 70324 687 0 0 25 0 1 0 864001151 18124800 3804 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4425 3804 300 300 0 4125 0
vsize: 17700
[startup+720.01 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 4815 0 0 0 71318 693 0 0 25 0 1 0 864001151 18124800 3815 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4425 3815 300 300 0 4125 0
vsize: 17700
[startup+730.01 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5600 0 0 0 72307 704 0 0 25 0 1 0 864001151 21270528 3831 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5193 3831 300 300 0 4893 0
vsize: 20772
[startup+740.01 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5608 0 0 0 73298 713 0 0 25 0 1 0 864001151 21270528 3839 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5193 3839 300 300 0 4893 0
vsize: 20772
[startup+750.01 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5628 0 0 0 74288 724 0 0 25 0 1 0 864001151 21356544 3859 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5214 3859 300 300 0 4914 0
vsize: 20856
[startup+760.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5645 0 0 0 75279 733 0 0 25 0 1 0 864001151 21417984 3876 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5229 3876 300 300 0 4929 0
vsize: 20916
[startup+770.011 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5671 0 0 0 76270 742 0 0 25 0 1 0 864001151 21491712 3902 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5247 3902 300 300 0 4947 0
vsize: 20988
[startup+780.01 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5680 0 0 0 77264 748 0 0 25 0 1 0 864001151 21491712 3911 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5247 3911 300 300 0 4947 0
vsize: 20988
[startup+790.01 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5707 0 0 0 78252 760 0 0 25 0 1 0 864001151 21553152 3938 4294967295 134512640 135726644 3221224576 3221223184 134740866 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5262 3938 300 300 0 4962 0
vsize: 21048
[startup+800.01 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5717 0 0 0 79244 769 0 0 25 0 1 0 864001151 21553152 3948 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5262 3948 300 300 0 4962 0
vsize: 21048
[startup+810.01 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5735 0 0 0 80233 780 0 0 25 0 1 0 864001151 21622784 3966 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5279 3966 300 300 0 4979 0
vsize: 21116
[startup+820.01 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5746 0 0 0 81226 787 0 0 25 0 1 0 864001151 21622784 3977 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5279 3977 300 300 0 4979 0
vsize: 21116
[startup+830.01 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5754 0 0 0 82220 793 0 0 25 0 1 0 864001151 21622784 3985 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5279 3985 300 300 0 4979 0
vsize: 21116
[startup+840.01 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5759 0 0 0 83212 802 0 0 25 0 1 0 864001151 21622784 3990 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5279 3990 300 300 0 4979 0
vsize: 21116
[startup+850.01 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5778 0 0 0 84204 809 0 0 25 0 1 0 864001151 21704704 4009 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5299 4009 300 300 0 4999 0
vsize: 21196
[startup+860.01 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5795 0 0 0 85195 819 0 0 25 0 1 0 864001151 21704704 4026 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5299 4026 300 300 0 4999 0
vsize: 21196
[startup+870.01 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5801 0 0 0 86188 825 0 0 25 0 1 0 864001151 21704704 4032 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5299 4032 300 300 0 4999 0
vsize: 21196
[startup+880.01 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5809 0 0 0 87179 835 0 0 25 0 1 0 864001151 21704704 4040 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5299 4040 300 300 0 4999 0
vsize: 21196
[startup+890.01 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5828 0 0 0 88171 843 0 0 25 0 1 0 864001151 21798912 4059 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5322 4059 300 300 0 5022 0
vsize: 21288
[startup+900.01 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5853 0 0 0 89165 849 0 0 25 0 1 0 864001151 21884928 4084 4294967295 134512640 135726644 3221224576 3221223184 134740848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5343 4084 300 300 0 5043 0
vsize: 21372
[startup+910.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5865 0 0 0 90157 857 0 0 25 0 1 0 864001151 21884928 4096 4294967295 134512640 135726644 3221224576 3221223004 135105696 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5343 4096 300 300 0 5043 0
vsize: 21372
[startup+920.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5915 0 0 0 91148 867 0 0 25 0 1 0 864001151 22061056 4146 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5386 4146 300 300 0 5086 0
vsize: 21544
[startup+930.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5930 0 0 0 92140 875 0 0 25 0 1 0 864001151 22061056 4161 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5386 4161 300 300 0 5086 0
vsize: 21544
[startup+940.01 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5950 0 0 0 93133 881 0 0 25 0 1 0 864001151 22134784 4181 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5404 4181 300 300 0 5104 0
vsize: 21616
[startup+950.011 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5960 0 0 0 94128 887 0 0 25 0 1 0 864001151 22134784 4191 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5404 4191 300 300 0 5104 0
vsize: 21616
[startup+960.011 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5974 0 0 0 95121 895 0 0 25 0 1 0 864001151 22134784 4205 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5404 4205 300 300 0 5104 0
vsize: 21616
[startup+970.011 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5978 0 0 0 96114 902 0 0 25 0 1 0 864001151 22134784 4209 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5404 4209 300 300 0 5104 0
vsize: 21616
[startup+980.011 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 5993 0 0 0 97108 908 0 0 25 0 1 0 864001151 22220800 4224 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5425 4224 300 300 0 5125 0
vsize: 21700
[startup+990.011 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6001 0 0 0 98103 912 0 0 25 0 1 0 864001151 22220800 4232 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5425 4232 300 300 0 5125 0
vsize: 21700
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6018 0 0 0 99098 918 0 0 25 0 1 0 864001151 22220800 4249 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5425 4249 300 300 0 5125 0
vsize: 21700
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6025 0 0 0 100091 925 0 0 25 0 1 0 864001151 22220800 4256 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5425 4256 300 300 0 5125 0
vsize: 21700
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6041 0 0 0 101085 932 0 0 25 0 1 0 864001151 22282240 4272 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5440 4272 300 300 0 5140 0
vsize: 21760
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6141 0 0 0 102075 942 0 0 25 0 1 0 864001151 22638592 4372 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5527 4372 300 300 0 5227 0
vsize: 22108
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6159 0 0 0 103070 947 0 0 25 0 1 0 864001151 22749184 4390 4294967295 134512640 135726644 3221224576 3221223184 134740863 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5554 4390 300 300 0 5254 0
vsize: 22216
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6212 0 0 0 104062 955 0 0 25 0 1 0 864001151 22749184 4443 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5554 4443 300 300 0 5254 0
vsize: 22216
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6218 0 0 0 105054 963 0 0 25 0 1 0 864001151 22749184 4449 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5554 4449 300 300 0 5254 0
vsize: 22216
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6232 0 0 0 106048 969 0 0 25 0 1 0 864001151 22749184 4463 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5554 4463 300 300 0 5254 0
vsize: 22216
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6243 0 0 0 107042 975 0 0 25 0 1 0 864001151 22749184 4474 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5554 4474 300 300 0 5254 0
vsize: 22216
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6254 0 0 0 108048 982 0 0 25 0 1 0 864001151 22831104 4485 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5574 4485 300 300 0 5274 0
vsize: 22296
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6269 0 0 0 109043 989 0 0 25 0 1 0 864001151 22831104 4500 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5574 4500 300 300 0 5274 0
vsize: 22296
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6281 0 0 0 110036 995 0 0 25 0 1 0 864001151 22831104 4512 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5574 4512 300 300 0 5274 0
vsize: 22296
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6295 0 0 0 111027 1004 0 0 25 0 1 0 864001151 22913024 4526 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5594 4526 300 300 0 5294 0
vsize: 22376
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6306 0 0 0 112018 1013 0 0 25 0 1 0 864001151 22913024 4537 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5594 4537 300 300 0 5294 0
vsize: 22376
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6331 0 0 0 113011 1021 0 0 25 0 1 0 864001151 23011328 4562 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5618 4562 300 300 0 5318 0
vsize: 22472
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6343 0 0 0 114004 1028 0 0 25 0 1 0 864001151 23011328 4574 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5618 4574 300 300 0 5318 0
vsize: 22472
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6352 0 0 0 114996 1037 0 0 25 0 1 0 864001151 23011328 4583 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5618 4583 300 300 0 5318 0
vsize: 22472
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6360 0 0 0 115989 1043 0 0 25 0 1 0 864001151 23011328 4591 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5618 4591 300 300 0 5318 0
vsize: 22472
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6369 0 0 0 116986 1050 0 0 25 0 1 0 864001151 23089152 4600 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5637 4600 300 300 0 5337 0
vsize: 22548
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6376 0 0 0 117981 1056 0 0 25 0 1 0 864001151 23089152 4607 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5637 4607 300 300 0 5337 0
vsize: 22548
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 18961
Raw data (stat): 18961 (pb2sat) R 18960 7475 7474 0 -1 0 6384 0 0 0 118976 1061 0 0 25 0 1 0 864001151 23089152 4615 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5637 4615 300 300 0 5337 0
vsize: 22548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 0.99 0.97 0.72 1/54 18961
Raw data (stat): 18961 (pb2sat) Z 18960 7475 7474 0 -1 12 6385 0 0 0 118989 1062 0 0 25 0 1 0 864001151 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.32
CPU time (s): 1200.52
CPU user time (s): 1189.9
CPU system time (s): 10.6204
CPU usage (%): 100.016
Max. virtual memory (Kb): 22548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####