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-chnl35_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	45
Trace number 34684

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 10:10:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23942 boxname=wulflinc2 idbench=16 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 23942
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        597676 kB
Buffers:         37640 kB
Cached:         377088 kB
SwapCached:        820 kB
Active:          51164 kB
Inactive:       365752 kB
HighTotal:      131008 kB
HighFree:        37240 kB
LowTotal:       903652 kB
LowFree:        560436 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            14436 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:31:06 (client local time) WITH STATUS 0 IN 1208.92 SECONDS
stats: 23942 7 1208.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 3080/9310	Time: 49.5585/86400
Decision: 3080/9310	Time: 51.2252/86400
Decision: 3080/9310	Time: 52.9879/86400
Decision: 3080/9310	Time: 54.6337/86400
Decision: 3080/9310	Time: 56.4374/86400
Decision: 3080/9310	Time: 58.5481/86400
Decision: 3080/9310	Time: 60.3878/86400
Decision: 3080/9310	Time: 62.2915/86400
Decision: 3080/9310	Time: 64.2222/86400
Decision: 3080/9310	Time: 66.3279/86400
Decision: 3080/9310	Time: 68.9465/86400
Decision: 3080/9310	Time: 71.2172/86400
Decision: 3080/9310	Time: 73.6558/86400
Decision: 3080/9310	Time: 76.0944/86400
Decision: 3080/9310	Time: 78.665/86400
Decision: 3080/9310	Time: 81.4926/86400
Decision: 3080/9310	Time: 84.1692/86400
Decision: 3080/9310	Time: 86.7898/86400
Decision: 3080/9310	Time: 89.5834/86400
Decision: 3080/9310	Time: 92.4669/86400
Decision: 3080/9310	Time: 95.6835/86400
Decision: 3080/9310	Time: 98.1851/86400
Decision: 3080/9310	Time: 101.33/86400
Decision: 3080/9310	Time: 104.188/86400
Decision: 3080/9310	Time: 106.975/86400
Decision: 3080/9310	Time: 110.064/86400
Decision: 3080/9310	Time: 112.996/86400
Decision: 3080/9310	Time: 115.642/86400
Decision: 3080/9310	Time: 118.529/86400
Decision: 3080/9310	Time: 121.318/86400
Decision: 3080/9310	Time: 124.845/86400
Decision: 3080/9310	Time: 127.747/86400
Decision: 3080/9310	Time: 130.38/86400
Decision: 3080/9310	Time: 133.466/86400
Decision: 3080/9310	Time: 136.262/86400
Decision: 3080/9310	Time: 139.706/86400
Decision: 3080/9310	Time: 142.682/86400
Decision: 3080/9310	Time: 145.766/86400
Decision: 3080/9310	Time: 148.873/86400
Decision: 3080/9310	Time: 151.848/86400
Decision: 3080/9310	Time: 155.283/86400
Decision: 3080/9310	Time: 158.447/86400
Decision: 3080/9310	Time: 161.323/86400
Decision: 3080/9310	Time: 164.444/86400
Decision: 3080/9310	Time: 167.573/86400
Decision: 3080/9310	Time: 171.107/86400
Decision: 3080/9310	Time: 174.095/86400
Decision: 3080/9310	Time: 177.2/86400
Decision: 3080/9310	Time: 180.319/86400
Decision: 3080/9310	Time: 183.462/86400
Decision: 3080/9310	Time: 187.13/86400
Decision: 3080/9310	Time: 190.125/86400
Decision: 3080/9310	Time: 193.337/86400
Decision: 3080/9310	Time: 196.422/86400
Decision: 3080/9310	Time: 199.812/86400
Decision: 3080/9310	Time: 203.813/86400
Decision: 3080/9310	Time: 207.059/86400
Decision: 3080/9310	Time: 210.335/86400
Decision: 3080/9310	Time: 213.826/86400
Decision: 3080/9310	Time: 217.217/86400
Decision: 3080/9310	Time: 221.208/86400
Decision: 3080/9310	Time: 224.751/86400
Decision: 3080/9310	Time: 227.975/86400
Decision: 3080/9310	Time: 231.395/86400
Decision: 3080/9310	Time: 234.766/86400
Decision: 3080/9310	Time: 239.12/86400
Decision: 3080/9310	Time: 242.497/86400
Decision: 3080/9310	Time: 245.955/86400
Decision: 3080/9310	Time: 249.341/86400
Decision: 3080/9310	Time: 252.866/86400
Decision: 3080/9310	Time: 257.272/86400
Decision: 3080/9310	Time: 260.718/86400
Decision: 3080/9310	Time: 264.215/86400
Decision: 3080/9310	Time: 267.882/86400
Decision: 3080/9310	Time: 271.354/86400
Decision: 3080/9310	Time: 275.448/86400
Decision: 3080/9310	Time: 278.962/86400
Decision: 3080/9310	Time: 282.695/86400
Decision: 3080/9310	Time: 285.973/86400
Decision: 3080/9310	Time: 289.417/86400
Decision: 3080/9310	Time: 293.558/86400
Decision: 3080/9310	Time: 297.36/86400
Decision: 3080/9310	Time: 300.849/86400
Decision: 3080/9310	Time: 304.125/86400
Decision: 3080/9310	Time: 307.574/86400
Decision: 3080/9310	Time: 311.858/86400
Decision: 3080/9310	Time: 315.218/86400
Decision: 3080/9310	Time: 318.887/86400
Decision: 3080/9310	Time: 321.952/86400
Decision: 3080/9310	Time: 325.493/86400
Decision: 3080/9310	Time: 329.691/86400
Decision: 3080/9310	Time: 333.3/86400
Decision: 3080/9310	Time: 337.007/86400
Decision: 3080/9310	Time: 340.487/86400
Decision: 3080/9310	Time: 344.188/86400
Decision: 3080/9310	Time: 348.93/86400
Decision: 3080/9310	Time: 352.489/86400
Decision: 3080/9310	Time: 355.805/86400
Decision: 3080/9310	Time: 359.437/86400
Decision: 3080/9310	Time: 363.239/86400
Decision: 3080/9310	Time: 367.488/86400
Decision: 3080/9310	Time: 371.04/86400
Decision: 3080/9310	Time: 374.634/86400
Decision: 3080/9310	Time: 378.522/86400
Decision: 3080/9310	Time: 382.205/86400
Decision: 3080/9310	Time: 386.433/86400
Decision: 3080/9310	Time: 390.143/86400
Decision: 3080/9310	Time: 393.881/86400
Decision: 3080/9310	Time: 397.447/86400
Decision: 3080/9310	Time: 401.213/86400
Decision: 3080/9310	Time: 406.037/86400
Decision: 3080/9310	Time: 409.934/86400
Decision: 3080/9310	Time: 413.917/86400
Decision: 3080/9310	Time: 417.733/86400
Decision: 3080/9310	Time: 421.547/86400
Decision: 3080/9310	Time: 426.146/86400
Decision: 3080/9310	Time: 430.108/86400
Decision: 3080/9310	Time: 433.745/86400
Decision: 3080/9310	Time: 437.565/86400
Decision: 3080/9310	Time: 441.369/86400
Decision: 3080/9310	Time: 445.999/86400
Decision: 3080/9310	Time: 449.66/86400
Decision: 3080/9310	Time: 453.702/86400
Decision: 3080/9310	Time: 457.415/86400
Decision: 3080/9310	Time: 461.179/86400
Decision: 3080/9310	Time: 465.857/86400
Decision: 3080/9310	Time: 469.988/86400
Decision: 3080/9310	Time: 473.7/86400
Decision: 3080/9310	Time: 477.454/86400
Decision: 3080/9310	Time: 481.211/86400
Decision: 3080/9310	Time: 486.069/86400
Decision: 3080/9310	Time: 489.729/86400
Decision: 3080/9310	Time: 493.298/86400
Decision: 3080/9310	Time: 497.251/86400
Decision: 3080/9310	Time: 501.262/86400
Decision: 3080/9310	Time: 505.916/86400
Decision: 3080/9310	Time: 509.788/86400
Decision: 3080/9310	Time: 513.714/86400
Decision: 3080/9310	Time: 517.673/86400
Decision: 3080/9310	Time: 521.524/86400
Decision: 3080/9310	Time: 526.574/86400
Decision: 3080/9310	Time: 530.371/86400
Decision: 3080/9310	Time: 534.447/86400
Decision: 3080/9310	Time: 538.615/86400
Decision: 3080/9310	Time: 542.455/86400
Decision: 3080/9310	Time: 547.199/86400
Decision: 3080/9310	Time: 550.958/86400
Decision: 3080/9310	Time: 555.259/86400
Decision: 3080/9310	Time: 559.487/86400
Decision: 3080/9310	Time: 563.417/86400
Decision: 3080/9310	Time: 568.327/86400
Decision: 3080/9310	Time: 572.358/86400
Decision: 3080/9310	Time: 576.531/86400
Decision: 3080/9310	Time: 580.384/86400
Decision: 3080/9310	Time: 584.457/86400
Decision: 3080/9310	Time: 589.544/86400
Decision: 3080/9310	Time: 593.654/86400
Decision: 3080/9310	Time: 598.026/86400
Decision: 3080/9310	Time: 602.251/86400
Decision: 3080/9310	Time: 606.136/86400
Decision: 3080/9310	Time: 611.25/86400
Decision: 3080/9310	Time: 615.301/86400
Decision: 3080/9310	Time: 619.292/86400
Decision: 3080/9310	Time: 623.201/86400
Decision: 3080/9310	Time: 627.444/86400
Decision: 3080/9310	Time: 632.515/86400
Decision: 3080/9310	Time: 636.419/86400
Decision: 3080/9310	Time: 640.422/86400
Decision: 3080/9310	Time: 644.55/86400
Decision: 3080/9310	Time: 648.62/86400
Decision: 3080/9310	Time: 653.594/86400
Decision: 3080/9310	Time: 657.397/86400
Decision: 3080/9310	Time: 661.171/86400
Decision: 3080/9310	Time: 665.428/86400
Decision: 3080/9310	Time: 669.573/86400
Decision: 3080/9310	Time: 674.863/86400
Decision: 3080/9310	Time: 679.186/86400
Decision: 3080/9310	Time: 683.326/86400
Decision: 3080/9310	Time: 687.402/86400
Decision: 3080/9310	Time: 691.37/86400
Decision: 3080/9310	Time: 696.685/86400
Decision: 3080/9310	Time: 700.717/86400
Decision: 3080/9310	Time: 704.965/86400
Decision: 3080/9310	Time: 709.485/86400
Decision: 3080/9310	Time: 713.711/86400
Decision: 3080/9310	Time: 719.301/86400
Decision: 3080/9310	Time: 723.505/86400
Decision: 3080/9310	Time: 727.489/86400
Decision: 3080/9310	Time: 731.863/86400
Decision: 3080/9310	Time: 736.011/86400
Decision: 3080/9310	Time: 741.041/86400
Decision: 3080/9310	Time: 745.449/86400
Decision: 3080/9310	Time: 749.435/86400
Decision: 3080/9310	Time: 753.949/86400
Decision: 3080/9310	Time: 758.409/86400
Decision: 3080/9310	Time: 763.7/86400
Decision: 3080/9310	Time: 768.096/86400
Decision: 3080/9310	Time: 772.332/86400
Decision: 3080/9310	Time: 776.922/86400
Decision: 3080/9310	Time: 781.263/86400
Decision: 3080/9310	Time: 786.744/86400
Decision: 3080/9310	Time: 791.153/86400
Decision: 3080/9310	Time: 795.667/86400
Decision: 3080/9310	Time: 799.934/86400
Decision: 3080/9310	Time: 804.142/86400
Decision: 3080/9310	Time: 809.813/86400
Decision: 3080/9310	Time: 814.128/86400
Decision: 3080/9310	Time: 818.399/86400
Decision: 3080/9310	Time: 822.843/86400
Decision: 3080/9310	Time: 827.336/86400
Decision: 3080/9310	Time: 833.088/86400
Decision: 3080/9310	Time: 837.621/86400
Decision: 3080/9310	Time: 842.178/86400
Decision: 3080/9310	Time: 846.702/86400
Decision: 3080/9310	Time: 851.238/86400
Decision: 3080/9310	Time: 857.166/86400
Decision: 3080/9310	Time: 861.592/86400
Decision: 3080/9310	Time: 866.143/86400
Decision: 3080/9310	Time: 870.415/86400
Decision: 3080/9310	Time: 874.754/86400
Decision: 3080/9310	Time: 880.465/86400
Decision: 3080/9310	Time: 884.83/86400
Decision: 3080/9310	Time: 889.263/86400
Decision: 3080/9310	Time: 893.482/86400
Decision: 3080/9310	Time: 897.947/86400
Decision: 3080/9310	Time: 903.844/86400
Decision: 3080/9310	Time: 908.228/86400
Decision: 3080/9310	Time: 912.759/86400
Decision: 3080/9310	Time: 917.275/86400
Decision: 3080/9310	Time: 921.94/86400
Decision: 3080/9310	Time: 927.817/86400
Decision: 3080/9310	Time: 932.415/86400
Decision: 3080/9310	Time: 937.31/86400
Decision: 3080/9310	Time: 941.887/86400
Decision: 3080/9310	Time: 946.387/86400
Decision: 3080/9310	Time: 952.444/86400
Decision: 3080/9310	Time: 956.924/86400
Decision: 3080/9310	Time: 961.349/86400
Decision: 3080/9310	Time: 965.871/86400
Decision: 3080/9310	Time: 970.547/86400
Decision: 3080/9310	Time: 976.389/86400
Decision: 3080/9310	Time: 981.248/86400
Decision: 3080/9310	Time: 985.95/86400
Decision: 3080/9310	Time: 990.461/86400
Decision: 3080/9310	Time: 995.158/86400
Decision: 3080/9310	Time: 1001.17/86400
Decision: 3080/9310	Time: 1005.65/86400
Decision: 3080/9310	Time: 1010.51/86400
Decision: 3080/9310	Time: 1015.16/86400
Decision: 3080/9310	Time: 1019.72/86400
Decision: 3080/9310	Time: 1026.08/86400
Decision: 3080/9310	Time: 1030.73/86400
Decision: 3080/9310	Time: 1035.44/86400
Decision: 3080/9310	Time: 1040.23/86400
Decision: 3080/9310	Time: 1044.85/86400
Decision: 3080/9310	Time: 1051.28/86400
Decision: 3080/9310	Time: 1055.95/86400
Decision: 3080/9310	Time: 1060.82/86400
Decision: 3080/9310	Time: 1065.38/86400
Decision: 3080/9310	Time: 1070.05/86400
Decision: 3080/9310	Time: 1076.35/86400
Decision: 3080/9310	Time: 1080.96/86400
Decision: 3080/9310	Time: 1085.49/86400
Decision: 3080/9310	Time: 1090.22/86400
Decision: 3080/9310	Time: 1094.93/86400
Decision: 3080/9310	Time: 1101.17/86400
Decision: 3080/9310	Time: 1105.95/86400
Decision: 3080/9310	Time: 1110.73/86400
Decision: 3080/9310	Time: 1115.71/86400
Decision: 3080/9310	Time: 1120.43/86400
Decision: 3080/9310	Time: 1126.61/86400
Decision: 3080/9310	Time: 1131.43/86400
Decision: 3080/9310	Time: 1136.3/86400
Decision: 3080/9310	Time: 1141.1/86400
Decision: 3080/9310	Time: 1145.78/86400
Decision: 3080/9310	Time: 1152.08/86400
Decision: 3080/9310	Time: 1156.89/86400
Decision: 3080/9310	Time: 1161.9/86400
Decision: 3080/9310	Time: 1166.77/86400
Decision: 3080/9310	Time: 1171.77/86400
Decision: 3080/9310	Time: 1177.82/86400
Decision: 3080/9310	Time: 1182.67/86400
Decision: 3080/9310	Time: 1187.39/86400
Decision: 3080/9310	Time: 1192.17/86400
Decision: 3080/9310	Time: 1196.86/86400
Decision: 3080/9310	Time: 1202.91/86400
Decision: 3080/9310	Time: 1207.95/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.22 0.05 0.02 2/54 7977
Raw data (stat): 7977 (runsolver) R 7976 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805758824 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.34 0.08 0.02 1/54 7977
Raw data (stat): 7977 (pb2sat) D 7976 31399 31398 0 -1 0 9 0 1 0 0 0 0 0 18 0 1 0 805758824 1261568 3 4294967295 134512640 135726644 3221224576 3221224540 135144024 0 0 7 0 3222515881 0 0 17 1 0 0
Raw data (statm): 308 3 300 300 0 8 0
vsize: 1232
[startup+27.3765 s]
Raw data (loadavg): 0.66 0.17 0.06 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 1959 0 7 0 853 5 0 0 25 0 1 0 805758824 8761344 1544 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2139 1544 300 300 0 1839 0
vsize: 8556
[startup+37.3762 s]
Raw data (loadavg): 0.71 0.20 0.06 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 2573 0 7 0 1850 8 0 0 25 0 1 0 805758824 13234176 2158 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3231 2158 300 300 0 2931 0
vsize: 12924
[startup+47.3759 s]
Raw data (loadavg): 0.75 0.22 0.07 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 3047 0 7 0 2849 10 0 0 25 0 1 0 805758824 13381632 2632 4294967295 134512640 135726644 3221224576 3221222960 134757943 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3267 2632 300 300 0 2967 0
vsize: 13068
[startup+57.3756 s]
Raw data (loadavg): 0.79 0.25 0.08 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 3439 0 7 0 3846 12 0 0 25 0 1 0 805758824 21917696 3024 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5351 3024 300 300 0 5051 0
vsize: 21404
[startup+67.3753 s]
Raw data (loadavg): 0.82 0.27 0.09 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 3998 0 7 0 4844 15 0 0 25 0 1 0 805758824 22065152 3583 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5387 3583 300 300 0 5087 0
vsize: 21548
[startup+77.376 s]
Raw data (loadavg): 0.85 0.30 0.10 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 5173 0 7 0 5840 19 0 0 25 0 1 0 805758824 23416832 4758 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5717 4758 300 300 0 5417 0
vsize: 22868
[startup+87.3757 s]
Raw data (loadavg): 0.87 0.32 0.11 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 6235 0 7 0 6835 24 0 0 25 0 1 0 805758824 25411584 5627 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6204 5627 300 300 0 5904 0
vsize: 24816
[startup+97.3754 s]
Raw data (loadavg): 0.89 0.34 0.12 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 6734 0 7 0 7833 27 0 0 25 0 1 0 805758824 43073536 6126 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10516 6126 300 300 0 10216 0
vsize: 42064
[startup+107.376 s]
Raw data (loadavg): 0.91 0.36 0.13 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 7214 0 7 0 8831 29 0 0 25 0 1 0 805758824 44044288 6606 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10753 6606 300 300 0 10453 0
vsize: 43012
[startup+117.377 s]
Raw data (loadavg): 0.92 0.38 0.14 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 7876 0 7 0 9828 32 0 0 25 0 1 0 805758824 44859392 7268 4294967295 134512640 135726644 3221224576 3221222720 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10952 7268 300 300 0 10652 0
vsize: 43808
[startup+127.377 s]
Raw data (loadavg): 0.93 0.40 0.15 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 8319 0 7 0 10827 33 0 0 25 0 1 0 805758824 45547520 7711 4294967295 134512640 135726644 3221224576 3221222764 135287443 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11120 7711 300 300 0 10820 0
vsize: 44480
[startup+137.377 s]
Raw data (loadavg): 0.94 0.42 0.16 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 8586 0 7 0 11825 35 0 0 25 0 1 0 805758824 45924352 7978 4294967295 134512640 135726644 3221224576 3221223088 134742627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11212 7978 300 300 0 10912 0
vsize: 44848
[startup+147.377 s]
Raw data (loadavg): 0.95 0.44 0.16 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 9226 0 7 0 12823 38 0 0 25 0 1 0 805758824 46403584 8618 4294967295 134512640 135726644 3221224576 3221223120 134736692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 8618 300 300 0 11029 0
vsize: 45316
[startup+157.377 s]
Raw data (loadavg): 0.96 0.46 0.17 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 10233 0 7 0 13819 41 0 0 25 0 1 0 805758824 47300608 9625 4294967295 134512640 135726644 3221224576 3221222756 135277563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11548 9625 300 300 0 11248 0
vsize: 46192
[startup+167.377 s]
Raw data (loadavg): 0.96 0.48 0.18 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 10891 0 7 0 14817 44 0 0 25 0 1 0 805758824 48062464 10283 4294967295 134512640 135726644 3221224576 3221222816 134783024 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11734 10283 300 300 0 11434 0
vsize: 46936
[startup+177.377 s]
Raw data (loadavg): 0.97 0.49 0.19 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 11504 0 7 0 15814 46 0 0 25 0 1 0 805758824 48422912 10896 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11822 10896 300 300 0 11522 0
vsize: 47288
[startup+187.376 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 11633 0 7 0 16814 47 0 0 25 0 1 0 805758824 48898048 11025 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11938 11025 300 300 0 11638 0
vsize: 47752
[startup+197.376 s]
Raw data (loadavg): 0.98 0.52 0.21 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 11900 0 7 0 17813 48 0 0 25 0 1 0 805758824 49209344 11292 4294967295 134512640 135726644 3221224576 3221222896 134729229 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12014 11292 300 300 0 11714 0
vsize: 48056
[startup+207.376 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 12317 0 7 0 18811 50 0 0 25 0 1 0 805758824 49758208 11709 4294967295 134512640 135726644 3221224576 3221223120 134736807 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12148 11709 300 300 0 11848 0
vsize: 48592
[startup+217.377 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 12908 0 7 0 19809 52 0 0 25 0 1 0 805758824 85233664 11915 4294967295 134512640 135726644 3221224576 3221223120 134736737 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20809 11916 300 300 0 20509 0
vsize: 83236
[startup+227.376 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 13493 0 7 0 20808 54 0 0 25 0 1 0 805758824 85618688 12500 4294967295 134512640 135726644 3221224576 3221223184 134741128 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20903 12500 300 300 0 20603 0
vsize: 83612
[startup+237.376 s]
Raw data (loadavg): 0.99 0.58 0.24 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 14332 0 7 0 21805 56 0 0 25 0 1 0 805758824 86044672 13339 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21007 13339 300 300 0 20707 0
vsize: 84028
[startup+247.376 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 14603 0 7 0 22804 57 0 0 25 0 1 0 805758824 86650880 13610 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21155 13610 300 300 0 20855 0
vsize: 84620
[startup+257.375 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 15219 0 7 0 23802 59 0 0 25 0 1 0 805758824 87093248 14226 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21263 14226 300 300 0 20963 0
vsize: 85052
[startup+267.375 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 15446 0 7 0 24802 60 0 0 25 0 1 0 805758824 87896064 14453 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21459 14453 300 300 0 21159 0
vsize: 85836
[startup+277.376 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 16136 0 7 0 25800 62 0 0 25 0 1 0 805758824 88764416 15143 4294967295 134512640 135726644 3221224576 3221223120 134736695 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21671 15143 300 300 0 21371 0
vsize: 86684
[startup+287.375 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 16243 0 7 0 26798 64 0 0 25 0 1 0 805758824 89141248 15250 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21763 15250 300 300 0 21463 0
vsize: 87052
[startup+297.375 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 16325 0 7 0 27797 65 0 0 25 0 1 0 805758824 89403392 15332 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21827 15332 300 300 0 21527 0
vsize: 87308
[startup+307.375 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 16612 0 7 0 28796 66 0 0 25 0 1 0 805758824 89911296 15619 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21951 15619 300 300 0 21651 0
vsize: 87804
[startup+317.374 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 16980 0 7 0 29794 68 0 0 25 0 1 0 805758824 90353664 15987 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22059 15987 300 300 0 21759 0
vsize: 88236
[startup+327.374 s]
Raw data (loadavg): 0.99 0.69 0.30 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17109 0 7 0 30794 69 0 0 25 0 1 0 805758824 90845184 16116 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22179 16116 300 300 0 21879 0
vsize: 88716
[startup+337.374 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17183 0 7 0 31793 70 0 0 25 0 1 0 805758824 91074560 16190 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22235 16190 300 300 0 21935 0
vsize: 88940
[startup+347.374 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17268 0 7 0 32792 71 0 0 25 0 1 0 805758824 91385856 16275 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22311 16275 300 300 0 22011 0
vsize: 89244
[startup+357.374 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17401 0 7 0 33792 72 0 0 25 0 1 0 805758824 92008448 16408 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22463 16408 300 300 0 22163 0
vsize: 89852
[startup+367.374 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17476 0 7 0 34791 72 0 0 25 0 1 0 805758824 92172288 16483 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22503 16483 300 300 0 22203 0
vsize: 90012
[startup+377.375 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 17526 0 7 0 35791 73 0 0 25 0 1 0 805758824 92303360 16533 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22535 16533 300 300 0 22235 0
vsize: 90140
[startup+387.376 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 18028 0 7 0 36789 75 0 0 25 0 1 0 805758824 92499968 17035 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22583 17035 300 300 0 22283 0
vsize: 90332
[startup+397.375 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 18129 0 7 0 37788 76 0 0 25 0 1 0 805758824 92909568 17136 4294967295 134512640 135726644 3221224576 3221223088 134742892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22683 17136 300 300 0 22383 0
vsize: 90732
[startup+407.375 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 18477 0 7 0 38787 77 0 0 25 0 1 0 805758824 93155328 17484 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22743 17484 300 300 0 22443 0
vsize: 90972
[startup+417.374 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 18611 0 7 0 39786 78 0 0 25 0 1 0 805758824 93601792 17618 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22852 17618 300 300 0 22552 0
vsize: 91408
[startup+427.375 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 19095 0 7 0 40785 80 0 0 25 0 1 0 805758824 93782016 18102 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22896 18102 300 300 0 22596 0
vsize: 91584
[startup+437.375 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 19194 0 7 0 41784 80 0 0 25 0 1 0 805758824 94191616 18201 4294967295 134512640 135726644 3221224576 3221223120 134736714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22996 18201 300 300 0 22696 0
vsize: 91984
[startup+447.375 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 19346 0 7 0 42784 81 0 0 25 0 1 0 805758824 94273536 18353 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23016 18353 300 300 0 22716 0
vsize: 92064
[startup+457.375 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 19455 0 7 0 43783 82 0 0 25 0 1 0 805758824 94404608 18462 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23048 18462 300 300 0 22748 0
vsize: 92192
[startup+467.375 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 19971 0 7 0 44782 83 0 0 25 0 1 0 805758824 94617600 18978 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23100 18978 300 300 0 22800 0
vsize: 92400
[startup+477.375 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20056 0 7 0 45781 84 0 0 25 0 1 0 805758824 95027200 19063 4294967295 134512640 135726644 3221224576 3221222896 134729041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23200 19063 300 300 0 22900 0
vsize: 92800
[startup+487.374 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20283 0 7 0 46781 85 0 0 25 0 1 0 805758824 95289344 19290 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23264 19290 300 300 0 22964 0
vsize: 93056
[startup+497.374 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20367 0 7 0 47780 85 0 0 25 0 1 0 805758824 95502336 19374 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23316 19374 300 300 0 23016 0
vsize: 93264
[startup+507.374 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20423 0 7 0 48780 86 0 0 25 0 1 0 805758824 95666176 19430 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23356 19430 300 300 0 23056 0
vsize: 93424
[startup+517.373 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20486 0 7 0 49780 86 0 0 25 0 1 0 805758824 95862784 19493 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23404 19493 300 300 0 23104 0
vsize: 93616
[startup+527.374 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20531 0 7 0 50780 87 0 0 25 0 1 0 805758824 95961088 19538 4294967295 134512640 135726644 3221224576 3221222912 134763542 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23428 19538 300 300 0 23128 0
vsize: 93712
[startup+537.374 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20584 0 7 0 51779 87 0 0 25 0 1 0 805758824 96141312 19591 4294967295 134512640 135726644 3221224576 3221223120 134736650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23472 19591 300 300 0 23172 0
vsize: 93888
[startup+547.373 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20883 0 7 0 52779 88 0 0 25 0 1 0 805758824 96223232 19890 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23492 19890 300 300 0 23192 0
vsize: 93968
[startup+557.373 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 20924 0 7 0 53778 88 0 0 25 0 1 0 805758824 96354304 19931 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23524 19931 300 300 0 23224 0
vsize: 94096
[startup+567.373 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 21196 0 7 0 54778 89 0 0 25 0 1 0 805758824 96468992 20203 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23552 20203 300 300 0 23252 0
vsize: 94208
[startup+577.374 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 22009 0 7 0 55776 91 0 0 25 0 1 0 805758824 99729408 20247 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24348 20247 300 300 0 24048 0
vsize: 97392
[startup+587.373 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 22176 0 7 0 56775 92 0 0 25 0 1 0 805758824 99926016 20414 4294967295 134512640 135726644 3221224576 3221223200 134779675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24396 20414 300 300 0 24096 0
vsize: 97584
[startup+597.373 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 22214 0 7 0 57775 92 0 0 25 0 1 0 805758824 100040704 20452 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24424 20452 300 300 0 24124 0
vsize: 97696
[startup+607.373 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 22324 0 7 0 58775 93 0 0 25 0 1 0 805758824 100040704 20562 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24424 20562 300 300 0 24124 0
vsize: 97696
[startup+617.372 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 22377 0 7 0 59774 93 0 0 25 0 1 0 805758824 100204544 20615 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24464 20615 300 300 0 24164 0
vsize: 97856
[startup+627.373 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23077 0 7 0 60772 95 0 0 25 0 1 0 805758824 100401152 21315 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24512 21315 300 300 0 24212 0
vsize: 98048
[startup+637.374 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23173 0 7 0 61772 96 0 0 25 0 1 0 805758824 100499456 21411 4294967295 134512640 135726644 3221224576 3221223088 134742892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24536 21411 300 300 0 24236 0
vsize: 98144
[startup+647.373 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23222 0 7 0 62771 97 0 0 25 0 1 0 805758824 100646912 21460 4294967295 134512640 135726644 3221224576 3221222960 134759584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24572 21460 300 300 0 24272 0
vsize: 98288
[startup+657.373 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23279 0 7 0 63771 97 0 0 25 0 1 0 805758824 100859904 21517 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24624 21517 300 300 0 24324 0
vsize: 98496
[startup+667.373 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23290 0 7 0 64771 98 0 0 25 0 1 0 805758824 100859904 21528 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24624 21528 300 300 0 24324 0
vsize: 98496
[startup+677.373 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23352 0 7 0 65770 98 0 0 25 0 1 0 805758824 101072896 21590 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24676 21590 300 300 0 24376 0
vsize: 98704
[startup+687.373 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23392 0 7 0 66770 99 0 0 25 0 1 0 805758824 101138432 21630 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24692 21630 300 300 0 24392 0
vsize: 98768
[startup+697.373 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23431 0 7 0 67770 99 0 0 25 0 1 0 805758824 101302272 21669 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24732 21669 300 300 0 24432 0
vsize: 98928
[startup+707.374 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 23769 0 7 0 68769 100 0 0 25 0 1 0 805758824 101564416 22007 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24796 22007 300 300 0 24496 0
vsize: 99184
[startup+717.373 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24233 0 7 0 69768 102 0 0 25 0 1 0 805758824 101728256 22471 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24836 22471 300 300 0 24536 0
vsize: 99344
[startup+727.374 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24281 0 7 0 70767 102 0 0 25 0 1 0 805758824 101859328 22519 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24868 22519 300 300 0 24568 0
vsize: 99472
[startup+737.375 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24654 0 7 0 71766 104 0 0 25 0 1 0 805758824 102023168 22892 4294967295 134512640 135726644 3221224576 3221223200 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24908 22892 300 300 0 24608 0
vsize: 99632
[startup+747.375 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24721 0 7 0 72765 105 0 0 25 0 1 0 805758824 102334464 22959 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24984 22959 300 300 0 24684 0
vsize: 99936
[startup+757.375 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24749 0 7 0 73764 106 0 0 25 0 1 0 805758824 102400000 22987 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25000 22987 300 300 0 24700 0
vsize: 100000
[startup+767.375 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24864 0 7 0 74764 107 0 0 25 0 1 0 805758824 103022592 23102 4294967295 134512640 135726644 3221224576 3221223088 134742913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25152 23102 300 300 0 24852 0
vsize: 100608
[startup+777.375 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 24932 0 7 0 75763 107 0 0 25 0 1 0 805758824 103153664 23170 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25184 23170 300 300 0 24884 0
vsize: 100736
[startup+787.375 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 25250 0 7 0 76763 108 0 0 25 0 1 0 805758824 103514112 23488 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25272 23488 300 300 0 24972 0
vsize: 101088
[startup+797.375 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 25320 0 7 0 77762 109 0 0 25 0 1 0 805758824 103776256 23558 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25336 23558 300 300 0 25036 0
vsize: 101344
[startup+807.376 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 25631 0 7 0 78761 110 0 0 25 0 1 0 805758824 103940096 23869 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25376 23869 300 300 0 25076 0
vsize: 101504
[startup+817.375 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 25686 0 7 0 79760 111 0 0 25 0 1 0 805758824 104103936 23924 4294967295 134512640 135726644 3221224576 3221222868 134763384 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25416 23924 300 300 0 25116 0
vsize: 101664
[startup+827.376 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 25993 0 7 0 80759 112 0 0 25 0 1 0 805758824 104497152 24231 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25512 24231 300 300 0 25212 0
vsize: 102048
[startup+837.375 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26054 0 7 0 81759 113 0 0 25 0 1 0 805758824 104726528 24292 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25568 24292 300 300 0 25268 0
vsize: 102272
[startup+847.375 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26247 0 7 0 82758 114 0 0 25 0 1 0 805758824 105119744 24485 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25664 24485 300 300 0 25364 0
vsize: 102656
[startup+857.375 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26501 0 7 0 83756 115 0 0 25 0 1 0 805758824 172425216 24739 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42096 24739 300 300 0 41796 0
vsize: 168384
[startup+867.375 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26565 0 7 0 84756 116 0 0 25 0 1 0 805758824 172654592 24803 4294967295 134512640 135726644 3221224576 3221222928 135101169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42152 24803 300 300 0 41852 0
vsize: 168608
[startup+877.375 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26679 0 7 0 85756 116 0 0 25 0 1 0 805758824 173211648 24917 4294967295 134512640 135726644 3221224576 3221222816 134782828 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42288 24917 300 300 0 41988 0
vsize: 169152
[startup+887.375 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 26745 0 7 0 86756 117 0 0 25 0 1 0 805758824 173375488 24983 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42328 24983 300 300 0 42028 0
vsize: 169312
[startup+897.375 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 27284 0 7 0 87754 118 0 0 25 0 1 0 805758824 173441024 25522 4294967295 134512640 135726644 3221224576 3221223088 134742584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42344 25522 300 300 0 42044 0
vsize: 169376
[startup+907.374 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 27358 0 7 0 88754 119 0 0 25 0 1 0 805758824 173768704 25596 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42424 25596 300 300 0 42124 0
vsize: 169696
[startup+917.374 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 27471 0 7 0 89753 119 0 0 25 0 1 0 805758824 174260224 25709 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42544 25709 300 300 0 42244 0
vsize: 170176
[startup+927.375 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 27540 0 7 0 90753 120 0 0 25 0 1 0 805758824 174555136 25778 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42616 25778 300 300 0 42316 0
vsize: 170464
[startup+937.375 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28061 0 7 0 91751 122 0 0 25 0 1 0 805758824 175177728 26299 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 26299 300 300 0 42468 0
vsize: 171072
[startup+947.375 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28536 0 7 0 92750 123 0 0 25 0 1 0 805758824 175177728 26774 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 26774 300 300 0 42468 0
vsize: 171072
[startup+957.375 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28627 0 7 0 93750 124 0 0 25 0 1 0 805758824 175636480 26865 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42880 26865 300 300 0 42580 0
vsize: 171520
[startup+967.375 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28699 0 7 0 94749 125 0 0 25 0 1 0 805758824 175865856 26937 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42936 26937 300 300 0 42636 0
vsize: 171744
[startup+977.375 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28781 0 7 0 95749 125 0 0 25 0 1 0 805758824 176291840 27019 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43040 27019 300 300 0 42740 0
vsize: 172160
[startup+987.376 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28897 0 7 0 96748 126 0 0 25 0 1 0 805758824 176721920 27135 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 27135 300 300 0 42845 0
vsize: 172580
[startup+997.376 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 28978 0 7 0 97748 126 0 0 25 0 1 0 805758824 176951296 27216 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43201 27216 300 300 0 42901 0
vsize: 172804
[startup+1007.38 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 29081 0 7 0 98747 127 0 0 25 0 1 0 805758824 177442816 27319 4294967295 134512640 135726644 3221224576 3221222816 135105701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43321 27319 300 300 0 43021 0
vsize: 173284
[startup+1017.37 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 29246 0 7 0 99747 128 0 0 25 0 1 0 805758824 177836032 27484 4294967295 134512640 135726644 3221224576 3221223088 134742923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43417 27484 300 300 0 43117 0
vsize: 173668
[startup+1027.38 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 29329 0 7 0 100747 128 0 0 25 0 1 0 805758824 178163712 27567 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43497 27567 300 300 0 43197 0
vsize: 173988
[startup+1037.38 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 29642 0 7 0 101746 129 0 0 25 0 1 0 805758824 178294784 27880 4294967295 134512640 135726644 3221224576 3221223088 134742936 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43529 27880 300 300 0 43229 0
vsize: 174116
[startup+1047.38 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 29973 0 7 0 102745 130 0 0 25 0 1 0 805758824 178524160 28211 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43585 28211 300 300 0 43285 0
vsize: 174340
[startup+1057.38 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30090 0 7 0 103745 130 0 0 25 0 1 0 805758824 179048448 28328 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43713 28328 300 300 0 43413 0
vsize: 174852
[startup+1067.38 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30376 0 7 0 104744 131 0 0 25 0 1 0 805758824 179277824 28614 4294967295 134512640 135726644 3221224576 3221223088 134742815 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43769 28614 300 300 0 43469 0
vsize: 175076
[startup+1077.38 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30447 0 7 0 105744 132 0 0 25 0 1 0 805758824 179539968 28685 4294967295 134512640 135726644 3221224576 3221222816 134782871 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43833 28685 300 300 0 43533 0
vsize: 175332
[startup+1087.38 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30479 0 7 0 106744 132 0 0 25 0 1 0 805758824 179671040 28717 4294967295 134512640 135726644 3221224576 3221223120 134736695 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43865 28717 300 300 0 43565 0
vsize: 175460
[startup+1097.38 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30776 0 7 0 107744 133 0 0 25 0 1 0 805758824 179802112 29014 4294967295 134512640 135726644 3221224576 3221223120 134736739 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43897 29014 300 300 0 43597 0
vsize: 175588
[startup+1107.38 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30813 0 7 0 108743 133 0 0 25 0 1 0 805758824 179900416 29051 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43921 29051 300 300 0 43621 0
vsize: 175684
[startup+1117.38 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30856 0 7 0 109743 134 0 0 25 0 1 0 805758824 180031488 29094 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43953 29094 300 300 0 43653 0
vsize: 175812
[startup+1127.38 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30926 0 7 0 110743 134 0 0 25 0 1 0 805758824 180391936 29164 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44041 29164 300 300 0 43741 0
vsize: 176164
[startup+1137.38 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 30963 0 7 0 111742 135 0 0 25 0 1 0 805758824 180457472 29201 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44057 29201 300 300 0 43757 0
vsize: 176228
[startup+1147.38 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 31013 0 7 0 112742 135 0 0 25 0 1 0 805758824 180621312 29251 4294967295 134512640 135726644 3221224576 3221223184 134741194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 29251 300 300 0 43797 0
vsize: 176388
[startup+1157.38 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 31055 0 7 0 113742 136 0 0 25 0 1 0 805758824 180719616 29293 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44121 29293 300 300 0 43821 0
vsize: 176484
[startup+1167.38 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 31527 0 7 0 114740 137 0 0 25 0 1 0 805758824 181014528 29765 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44193 29765 300 300 0 43893 0
vsize: 176772
[startup+1177.38 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 31604 0 7 0 115740 138 0 0 25 0 1 0 805758824 181112832 29842 4294967295 134512640 135726644 3221224576 3221222756 135277538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44217 29842 300 300 0 43917 0
vsize: 176868
[startup+1187.38 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 31902 0 7 0 116739 139 0 0 25 0 1 0 805758824 182030336 30140 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44441 30140 300 300 0 44141 0
vsize: 177764
[startup+1197.38 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 32364 0 7 0 117733 140 0 0 25 0 1 0 805758824 182292480 30602 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44505 30602 300 300 0 44205 0
vsize: 178020
[startup+1207.38 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 32398 0 7 0 118732 141 0 0 25 0 1 0 805758824 182358016 30636 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44521 30636 300 300 0 44221 0
vsize: 178084
[startup+1217.38 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 32491 0 7 0 119732 141 0 0 25 0 1 0 805758824 182784000 30729 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44625 30729 300 300 0 44325 0
vsize: 178500
[startup+1227.38 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 7977
Raw data (stat): 7977 (pb2sat) R 7976 31399 31398 0 -1 0 32540 0 7 0 120732 142 0 0 25 0 1 0 805758824 182980608 30778 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44673 30778 300 300 0 44373 0
vsize: 178692
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1227.56 s]
Raw data (loadavg): 0.99 0.97 0.71 1/54 7977
Raw data (stat): 7977 (pb2sat) Z 7976 31399 31398 0 -1 12 32541 0 7 0 120744 147 0 0 25 0 1 0 805758824 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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): 1227.56
CPU time (s): 1208.92
CPU user time (s): 1207.44
CPU system time (s): 1.47878
CPU usage (%): 98.4814
Max. virtual memory (Kb): 178692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####