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 41940

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 20:11:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25155 boxname=wulflinc5 idbench=57 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 25155
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        830536 kB
Buffers:         33604 kB
Cached:         147868 kB
SwapCached:        700 kB
Active:          60392 kB
Inactive:       123148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830284 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14952 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:31:56 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 25155 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2948/8934	Time: 27.8568/86400
c Decision: 2948/8934	Time: 30.0364/86400
c Decision: 2948/8934	Time: 33.4439/86400
c Decision: 2948/8934	Time: 36.6944/86400
c Decision: 2948/8934	Time: 40.3049/86400
c Decision: 2948/8934	Time: 43.9933/86400
c Decision: 2948/8934	Time: 47.7967/86400
c Decision: 2948/8934	Time: 51.7501/86400
c Decision: 2948/8934	Time: 56.0395/86400
c Decision: 2948/8934	Time: 60.4508/86400
c Decision: 2948/8934	Time: 64.5862/86400
c Decision: 2948/8934	Time: 68.8855/86400
c Decision: 2948/8934	Time: 73.5528/86400
c Decision: 2948/8934	Time: 77.9571/86400
c Decision: 2948/8934	Time: 82.8654/86400
c Decision: 2948/8934	Time: 87.3767/86400
c Decision: 2948/8934	Time: 91.983/86400
c Decision: 2948/8934	Time: 96.5943/86400
c Decision: 2948/8934	Time: 101.149/86400
c Decision: 2948/8934	Time: 105.478/86400
c Decision: 2948/8934	Time: 110.118/86400
c Decision: 2948/8934	Time: 114.472/86400
c Decision: 2948/8934	Time: 119.34/86400
c Decision: 2948/8934	Time: 124.431/86400
c Decision: 2948/8934	Time: 129.483/86400
c Decision: 2948/8934	Time: 135.046/86400
c Decision: 2948/8934	Time: 140.423/86400
c Decision: 2948/8934	Time: 145.796/86400
c Decision: 2948/8934	Time: 150.971/86400
c Decision: 2948/8934	Time: 155.988/86400
c Decision: 2948/8934	Time: 161.694/86400
c Decision: 2948/8934	Time: 166.556/86400
c Decision: 2948/8934	Time: 171.071/86400
c Decision: 2948/8934	Time: 176.757/86400
c Decision: 2948/8934	Time: 181.562/86400
c Decision: 2948/8934	Time: 187.382/86400
c Decision: 2948/8934	Time: 193.417/86400
c Decision: 2948/8934	Time: 199.073/86400
c Decision: 2948/8934	Time: 204.713/86400
c Decision: 2948/8934	Time: 209.949/86400
c Decision: 2948/8934	Time: 215.768/86400
c Decision: 2948/8934	Time: 220.983/86400
c Decision: 2948/8934	Time: 226.874/86400
c Decision: 2948/8934	Time: 232.593/86400
c Decision: 2948/8934	Time: 237.84/86400
c Decision: 2948/8934	Time: 243.893/86400
c Decision: 2948/8934	Time: 249.786/86400
c Decision: 2948/8934	Time: 255.985/86400
c Decision: 2948/8934	Time: 262.218/86400
c Decision: 2948/8934	Time: 267.747/86400
c Decision: 2948/8934	Time: 273.771/86400
c Decision: 2948/8934	Time: 279.361/86400
c Decision: 2948/8934	Time: 285.165/86400
c Decision: 2948/8934	Time: 291.183/86400
c Decision: 2948/8934	Time: 297.135/86400
c Decision: 2948/8934	Time: 303.51/86400
c Decision: 2948/8934	Time: 309.777/86400
c Decision: 2948/8934	Time: 316.411/86400
c Decision: 2948/8934	Time: 323.193/86400
c Decision: 2948/8934	Time: 329.88/86400
c Decision: 2948/8934	Time: 336.58/86400
c Decision: 2948/8934	Time: 343.538/86400
c Decision: 2948/8934	Time: 349.265/86400
c Decision: 2948/8934	Time: 356.481/86400
c Decision: 2948/8934	Time: 363.125/86400
c Decision: 2948/8934	Time: 369.433/86400
c Decision: 2948/8934	Time: 375.653/86400
c Decision: 2948/8934	Time: 381.477/86400
c Decision: 2948/8934	Time: 388.62/86400
c Decision: 2948/8934	Time: 395.198/86400
c Decision: 2948/8934	Time: 402.321/86400
c Decision: 2948/8934	Time: 408.242/86400
c Decision: 2948/8934	Time: 414.322/86400
c Decision: 2948/8934	Time: 420.219/86400
c Decision: 2948/8934	Time: 426.634/86400
c Decision: 2948/8934	Time: 430.723/86400
c Decision: 2948/8934	Time: 435.916/86400
c Decision: 2948/8934	Time: 441.947/86400
c Decision: 2948/8934	Time: 448.837/86400
c Decision: 2948/8934	Time: 455.312/86400
c Decision: 2948/8934	Time: 462.105/86400
c Decision: 2948/8934	Time: 468.622/86400
c Decision: 2948/8934	Time: 475.138/86400
c Decision: 2948/8934	Time: 482.22/86400
c Decision: 2948/8934	Time: 488.529/86400
c Decision: 2948/8934	Time: 495.13/86400
c Decision: 2948/8934	Time: 500.085/86400
c Decision: 2948/8934	Time: 507.713/86400
c Decision: 2948/8934	Time: 514.647/86400
c Decision: 2948/8934	Time: 522.403/86400
c Decision: 2948/8934	Time: 529.402/86400
c Decision: 2948/8934	Time: 535.287/86400
c Decision: 2948/8934	Time: 542.085/86400
c Decision: 2948/8934	Time: 548.687/86400
c Decision: 2948/8934	Time: 554.981/86400
c Decision: 2948/8934	Time: 562.664/86400
c Decision: 2948/8934	Time: 569.551/86400
c Decision: 2948/8934	Time: 577.206/86400
c Decision: 2948/8934	Time: 584.242/86400
c Decision: 2948/8934	Time: 589.944/86400
c Decision: 2948/8934	Time: 597.201/86400
c Decision: 2948/8934	Time: 603.606/86400
c Decision: 2948/8934	Time: 610.745/86400
c Decision: 2948/8934	Time: 617.692/86400
c Decision: 2948/8934	Time: 624.472/86400
c Decision: 2948/8934	Time: 631.639/86400
c Decision: 2948/8934	Time: 638.208/86400
c Decision: 2948/8934	Time: 645.398/86400
c Decision: 2948/8934	Time: 652.787/86400
c Decision: 2948/8934	Time: 659.278/86400
c Decision: 2948/8934	Time: 666.804/86400
c Decision: 2948/8934	Time: 673.862/86400
c Decision: 2948/8934	Time: 681.662/86400
c Decision: 2948/8934	Time: 689.197/86400
c Decision: 2948/8934	Time: 696.427/86400
c Decision: 2948/8934	Time: 703.298/86400
c Decision: 2948/8934	Time: 711.236/86400
c Decision: 2948/8934	Time: 718.777/86400
c Decision: 2948/8934	Time: 725.808/86400
c Decision: 2948/8934	Time: 733.71/86400
c Decision: 2948/8934	Time: 741.363/86400
c Decision: 2948/8934	Time: 748.732/86400
c Decision: 2948/8934	Time: 756.629/86400
c Decision: 2948/8934	Time: 765.455/86400
c Decision: 2948/8934	Time: 773.419/86400
c Decision: 2948/8934	Time: 780.985/86400
c Decision: 2948/8934	Time: 788.865/86400
c Decision: 2948/8934	Time: 796.189/86400
c Decision: 2948/8934	Time: 804.095/86400
c Decision: 2948/8934	Time: 810.851/86400
c Decision: 2948/8934	Time: 818.562/86400
c Decision: 2948/8934	Time: 827.078/86400
c Decision: 2948/8934	Time: 834.77/86400
c Decision: 2948/8934	Time: 843.213/86400
c Decision: 2948/8934	Time: 850.978/86400
c Decision: 2948/8934	Time: 859.249/86400
c Decision: 2948/8934	Time: 867.007/86400
c Decision: 2948/8934	Time: 872.835/86400
c Decision: 2948/8934	Time: 879.921/86400
c Decision: 2948/8934	Time: 886.697/86400
c Decision: 2948/8934	Time: 895.153/86400
c Decision: 2948/8934	Time: 903.072/86400
c Decision: 2948/8934	Time: 909.902/86400
c Decision: 2948/8934	Time: 918.582/86400
c Decision: 2948/8934	Time: 926.111/86400
c Decision: 2948/8934	Time: 934.47/86400
c Decision: 2948/8934	Time: 942.746/86400
c Decision: 2948/8934	Time: 951.207/86400
c Decision: 2948/8934	Time: 959.039/86400
c Decision: 2948/8934	Time: 966.628/86400
c Decision: 2948/8934	Time: 975.253/86400
c Decision: 2948/8934	Time: 983.227/86400
c Decision: 2948/8934	Time: 991.953/86400
c Decision: 2948/8934	Time: 1000.05/86400
c Decision: 2948/8934	Time: 1008.02/86400
c Decision: 2948/8934	Time: 1016.83/86400
c Decision: 2948/8934	Time: 1025.3/86400
c Decision: 2948/8934	Time: 1033.17/86400
c Decision: 2948/8934	Time: 1040.42/86400
c Decision: 2948/8934	Time: 1048.52/86400
c Decision: 2948/8934	Time: 1056.58/86400
c Decision: 2948/8934	Time: 1065.77/86400
c Decision: 2948/8934	Time: 1073.11/86400
c Decision: 2948/8934	Time: 1081.24/86400
c Decision: 2948/8934	Time: 1090.39/86400
c Decision: 2948/8934	Time: 1098.93/86400
c Decision: 2948/8934	Time: 1108.57/86400
c Decision: 2948/8934	Time: 1117.08/86400
c Decision: 2948/8934	Time: 1126.76/86400
c Decision: 2948/8934	Time: 1134.74/86400
c Decision: 2948/8934	Time: 1142.89/86400
c Decision: 2948/8934	Time: 1152.11/86400
c Decision: 2948/8934	Time: 1160.56/86400
c Decision: 2948/8934	Time: 1169.33/86400
c Decision: 2948/8934	Time: 1177.97/86400
c Decision: 2948/8934	Time: 1187.49/86400
c Decision: 2948/8934	Time: 1196.55/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.99 0.94 0.91 1/54 2318
Raw data (stat): 2318 (runsolver) R 2317 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964904685 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.0006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 1703 0 0 0 982 16 0 0 25 0 1 0 964904685 7753728 1282 4294967295 134512640 135730672 3221224576 3221223184 134744856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1893 1282 301 301 0 1592 0
vsize: 7572
[startup+20.0018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 1921 0 0 0 1971 28 0 0 25 0 1 0 964904685 8015872 1500 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1957 1500 301 301 0 1656 0
vsize: 7828
[startup+30.0031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2206 0 0 0 2960 39 0 0 25 0 1 0 964904685 10518528 1785 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2568 1785 301 301 0 2267 0
vsize: 10272
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2394 0 0 0 3946 54 0 0 25 0 1 0 964904685 11161600 1973 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2725 1973 301 301 0 2424 0
vsize: 10900
[startup+50.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2657 0 0 0 4931 68 0 0 25 0 1 0 964904685 12206080 2043 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2980 2043 301 301 0 2679 0
vsize: 11920
[startup+60.0033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2720 0 0 0 5914 85 0 0 25 0 1 0 964904685 12390400 2106 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3025 2106 301 301 0 2724 0
vsize: 12100
[startup+70.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2788 0 0 0 6900 100 0 0 25 0 1 0 964904685 12496896 2174 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3051 2174 301 301 0 2750 0
vsize: 12204
[startup+80.0053 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2842 0 0 0 7884 116 0 0 25 0 1 0 964904685 12734464 2228 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3109 2228 301 301 0 2808 0
vsize: 12436
[startup+90.0055 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2884 0 0 0 8872 129 0 0 25 0 1 0 964904685 12832768 2270 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3133 2270 301 301 0 2832 0
vsize: 12532
[startup+100.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2912 0 0 0 9858 142 0 0 25 0 1 0 964904685 12914688 2298 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3153 2298 301 301 0 2852 0
vsize: 12612
[startup+110.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2950 0 0 0 10844 156 0 0 25 0 1 0 964904685 13029376 2336 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3181 2336 301 301 0 2880 0
vsize: 12724
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 2967 0 0 0 11834 167 0 0 25 0 1 0 964904685 13029376 2353 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3181 2353 301 301 0 2880 0
vsize: 12724
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3006 0 0 0 12822 179 0 0 25 0 1 0 964904685 13094912 2392 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3197 2392 301 301 0 2896 0
vsize: 12788
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3099 0 0 0 13811 190 0 0 25 0 1 0 964904685 13287424 2485 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3244 2485 301 301 0 2943 0
vsize: 12976
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3131 0 0 0 14801 200 0 0 25 0 1 0 964904685 13352960 2517 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3260 2517 301 301 0 2959 0
vsize: 13040
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3153 0 0 0 15791 210 0 0 25 0 1 0 964904685 13447168 2539 4294967295 134512640 135730672 3221224576 3221222912 134767176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3283 2539 301 301 0 2982 0
vsize: 13132
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3277 0 0 0 16781 220 0 0 25 0 1 0 964904685 13717504 2663 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3349 2663 301 301 0 3048 0
vsize: 13396
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3391 0 0 0 17767 234 0 0 25 0 1 0 964904685 13815808 2777 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3373 2777 301 301 0 3072 0
vsize: 13492
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3494 0 0 0 18754 247 0 0 25 0 1 0 964904685 13889536 2880 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3391 2880 301 301 0 3090 0
vsize: 13564
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3505 0 0 0 19741 260 0 0 25 0 1 0 964904685 13889536 2891 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3391 2891 301 301 0 3090 0
vsize: 13564
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3529 0 0 0 20730 271 0 0 25 0 1 0 964904685 13987840 2915 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3415 2915 301 301 0 3114 0
vsize: 13660
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3554 0 0 0 21719 283 0 0 25 0 1 0 964904685 14082048 2940 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3438 2940 301 301 0 3137 0
vsize: 13752
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3585 0 0 0 22707 295 0 0 25 0 1 0 964904685 14180352 2971 4294967295 134512640 135730672 3221224576 3221222896 134732870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3462 2971 301 301 0 3161 0
vsize: 13848
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3607 0 0 0 23696 305 0 0 25 0 1 0 964904685 14180352 2993 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3462 2993 301 301 0 3161 0
vsize: 13848
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3619 0 0 0 24686 316 0 0 25 0 1 0 964904685 14258176 3005 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3481 3005 301 301 0 3180 0
vsize: 13924
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3637 0 0 0 25672 330 0 0 25 0 1 0 964904685 14258176 3023 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3481 3023 301 301 0 3180 0
vsize: 13924
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3659 0 0 0 26663 339 0 0 25 0 1 0 964904685 14344192 3045 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3502 3045 301 301 0 3201 0
vsize: 14008
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 3674 0 0 0 27653 349 0 0 25 0 1 0 964904685 14344192 3060 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3502 3060 301 301 0 3201 0
vsize: 14008
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4079 0 0 0 28642 360 0 0 25 0 1 0 964904685 15994880 3080 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3905 3080 301 301 0 3604 0
vsize: 15620
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4103 0 0 0 29630 372 0 0 25 0 1 0 964904685 16060416 3104 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3921 3104 301 301 0 3620 0
vsize: 15684
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4113 0 0 0 30621 381 0 0 25 0 1 0 964904685 16060416 3114 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3921 3114 301 301 0 3620 0
vsize: 15684
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4134 0 0 0 31608 395 0 0 25 0 1 0 964904685 16166912 3135 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3947 3135 301 301 0 3646 0
vsize: 15788
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4149 0 0 0 32596 407 0 0 25 0 1 0 964904685 16166912 3150 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3947 3150 301 301 0 3646 0
vsize: 15788
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4216 0 0 0 33581 421 0 0 25 0 1 0 964904685 16240640 3217 4294967295 134512640 135730672 3221224576 3221223072 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3965 3217 301 301 0 3664 0
vsize: 15860
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4229 0 0 0 34573 430 0 0 25 0 1 0 964904685 16310272 3230 4294967295 134512640 135730672 3221224576 3221223168 134763987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3982 3230 301 301 0 3681 0
vsize: 15928
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4255 0 0 0 35559 444 0 0 25 0 1 0 964904685 16392192 3256 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4002 3256 301 301 0 3701 0
vsize: 16008
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4267 0 0 0 36550 453 0 0 25 0 1 0 964904685 16392192 3268 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4002 3268 301 301 0 3701 0
vsize: 16008
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4280 0 0 0 37539 463 0 0 25 0 1 0 964904685 16392192 3281 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4002 3281 301 301 0 3701 0
vsize: 16008
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4295 0 0 0 38531 472 0 0 25 0 1 0 964904685 16482304 3296 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4024 3296 301 301 0 3723 0
vsize: 16096
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4318 0 0 0 39520 482 0 0 25 0 1 0 964904685 16551936 3319 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4041 3319 301 301 0 3740 0
vsize: 16164
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4340 0 0 0 40510 492 0 0 25 0 1 0 964904685 16617472 3341 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4057 3341 301 301 0 3756 0
vsize: 16228
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4349 0 0 0 41501 502 0 0 25 0 1 0 964904685 16617472 3350 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4057 3350 301 301 0 3756 0
vsize: 16228
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4357 0 0 0 42494 509 0 0 25 0 1 0 964904685 16617472 3358 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4057 3358 301 301 0 3756 0
vsize: 16228
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4391 0 0 0 43484 519 0 0 25 0 1 0 964904685 16728064 3392 4294967295 134512640 135730672 3221224576 3221222824 135284791 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4084 3392 301 301 0 3783 0
vsize: 16336
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4403 0 0 0 44474 529 0 0 25 0 1 0 964904685 16728064 3404 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4084 3404 301 301 0 3783 0
vsize: 16336
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4416 0 0 0 45463 540 0 0 25 0 1 0 964904685 16728064 3417 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4084 3417 301 301 0 3783 0
vsize: 16336
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4429 0 0 0 46455 548 0 0 25 0 1 0 964904685 16814080 3430 4294967295 134512640 135730672 3221224576 3221223184 134744828 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4105 3430 301 301 0 3804 0
vsize: 16420
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4439 0 0 0 47443 561 0 0 25 0 1 0 964904685 16814080 3440 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4105 3440 301 301 0 3804 0
vsize: 16420
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4447 0 0 0 48433 570 0 0 25 0 1 0 964904685 16814080 3448 4294967295 134512640 135730672 3221224576 3221223008 134782915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4105 3448 301 301 0 3804 0
vsize: 16420
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4468 0 0 0 49424 579 0 0 25 0 1 0 964904685 16879616 3469 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4121 3469 301 301 0 3820 0
vsize: 16484
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4479 0 0 0 50412 591 0 0 25 0 1 0 964904685 16879616 3480 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4121 3480 301 301 0 3820 0
vsize: 16484
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4498 0 0 0 51398 605 0 0 25 0 1 0 964904685 16965632 3499 4294967295 134512640 135730672 3221224576 3221223088 135282401 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4142 3499 301 301 0 3841 0
vsize: 16568
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4511 0 0 0 52389 614 0 0 25 0 1 0 964904685 16965632 3512 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4142 3512 301 301 0 3841 0
vsize: 16568
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4533 0 0 0 53380 623 0 0 25 0 1 0 964904685 17059840 3534 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3534 301 301 0 3864 0
vsize: 16660
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4540 0 0 0 54371 632 0 0 25 0 1 0 964904685 17059840 3541 4294967295 134512640 135730672 3221224576 3221223184 134744432 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3541 301 301 0 3864 0
vsize: 16660
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4556 0 0 0 55357 646 0 0 25 0 1 0 964904685 17059840 3557 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3557 301 301 0 3864 0
vsize: 16660
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4570 0 0 0 56348 655 0 0 25 0 1 0 964904685 17137664 3571 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4184 3571 301 301 0 3883 0
vsize: 16736
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4587 0 0 0 57339 664 0 0 25 0 1 0 964904685 17137664 3588 4294967295 134512640 135730672 3221224576 3221223184 134744788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4184 3588 301 301 0 3883 0
vsize: 16736
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4595 0 0 0 58330 673 0 0 25 0 1 0 964904685 17137664 3596 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4184 3596 301 301 0 3883 0
vsize: 16736
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4616 0 0 0 59319 684 0 0 25 0 1 0 964904685 17223680 3617 4294967295 134512640 135730672 3221224576 3221223072 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4205 3617 301 301 0 3904 0
vsize: 16820
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4629 0 0 0 60310 693 0 0 25 0 1 0 964904685 17223680 3630 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4205 3630 301 301 0 3904 0
vsize: 16820
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4639 0 0 0 61301 702 0 0 25 0 1 0 964904685 17293312 3640 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4222 3640 301 301 0 3921 0
vsize: 16888
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4646 0 0 0 62291 712 0 0 25 0 1 0 964904685 17293312 3647 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4222 3647 301 301 0 3921 0
vsize: 16888
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4667 0 0 0 63279 723 0 0 25 0 1 0 964904685 17362944 3668 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4239 3668 301 301 0 3938 0
vsize: 16956
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4675 0 0 0 64267 736 0 0 25 0 1 0 964904685 17362944 3676 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4239 3676 301 301 0 3938 0
vsize: 16956
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4697 0 0 0 65258 745 0 0 25 0 1 0 964904685 17362944 3698 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4239 3698 301 301 0 3938 0
vsize: 16956
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4760 0 0 0 66244 758 0 0 25 0 1 0 964904685 17461248 3761 4294967295 134512640 135730672 3221224576 3221223184 134744450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4263 3761 301 301 0 3962 0
vsize: 17052
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4775 0 0 0 67235 767 0 0 25 0 1 0 964904685 17461248 3776 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4263 3776 301 301 0 3962 0
vsize: 17052
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4782 0 0 0 68227 776 0 0 25 0 1 0 964904685 17461248 3783 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4263 3783 301 301 0 3962 0
vsize: 17052
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4790 0 0 0 69218 784 0 0 25 0 1 0 964904685 17461248 3791 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4263 3791 301 301 0 3962 0
vsize: 17052
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4807 0 0 0 70207 795 0 0 25 0 1 0 964904685 17559552 3808 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4287 3808 301 301 0 3986 0
vsize: 17148
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4816 0 0 0 71198 805 0 0 25 0 1 0 964904685 17559552 3817 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4287 3817 301 301 0 3986 0
vsize: 17148
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4830 0 0 0 72191 812 0 0 25 0 1 0 964904685 17559552 3831 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4287 3831 301 301 0 3986 0
vsize: 17148
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4835 0 0 0 73185 818 0 0 25 0 1 0 964904685 17559552 3836 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4287 3836 301 301 0 3986 0
vsize: 17148
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4845 0 0 0 74179 824 0 0 25 0 1 0 964904685 17629184 3846 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4304 3846 301 301 0 4003 0
vsize: 17216
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4870 0 0 0 75167 837 0 0 25 0 1 0 964904685 17690624 3871 4294967295 134512640 135730672 3221224576 3221223184 134744715 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4319 3871 301 301 0 4018 0
vsize: 17276
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4916 0 0 0 76158 846 0 0 25 0 1 0 964904685 17690624 3917 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4319 3917 301 301 0 4018 0
vsize: 17276
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 4980 0 0 0 77148 855 0 0 25 0 1 0 964904685 21884928 3981 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5343 3981 301 301 0 5042 0
vsize: 21372
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5003 0 0 0 78141 862 0 0 25 0 1 0 964904685 21954560 4004 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5360 4004 301 301 0 5059 0
vsize: 21440
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5015 0 0 0 79132 872 0 0 25 0 1 0 964904685 21954560 4016 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5360 4016 301 301 0 5059 0
vsize: 21440
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5027 0 0 0 80123 881 0 0 25 0 1 0 964904685 21954560 4028 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5360 4028 301 301 0 5059 0
vsize: 21440
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5093 0 0 0 81116 888 0 0 25 0 1 0 964904685 22208512 4094 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5422 4094 301 301 0 5121 0
vsize: 21688
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5104 0 0 0 82104 899 0 0 25 0 1 0 964904685 22282240 4105 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5440 4105 301 301 0 5139 0
vsize: 21760
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5110 0 0 0 83093 910 0 0 25 0 1 0 964904685 22282240 4111 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5440 4111 301 301 0 5139 0
vsize: 21760
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5122 0 0 0 84083 921 0 0 25 0 1 0 964904685 22282240 4123 4294967295 134512640 135730672 3221224576 3221223208 134730913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5440 4123 301 301 0 5139 0
vsize: 21760
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5137 0 0 0 85074 930 0 0 25 0 1 0 964904685 22351872 4138 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5457 4138 301 301 0 5156 0
vsize: 21828
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5157 0 0 0 86061 944 0 0 25 0 1 0 964904685 22351872 4158 4294967295 134512640 135730672 3221224576 3221222960 134762785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5457 4158 301 301 0 5156 0
vsize: 21828
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5172 0 0 0 87052 952 0 0 25 0 1 0 964904685 22446080 4173 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5480 4173 301 301 0 5179 0
vsize: 21920
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5186 0 0 0 88043 961 0 0 25 0 1 0 964904685 22446080 4187 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5480 4187 301 301 0 5179 0
vsize: 21920
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5199 0 0 0 89035 970 0 0 25 0 1 0 964904685 22515712 4200 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5497 4200 301 301 0 5196 0
vsize: 21988
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5208 0 0 0 90028 977 0 0 25 0 1 0 964904685 22515712 4209 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5497 4209 301 301 0 5196 0
vsize: 21988
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5220 0 0 0 91018 986 0 0 25 0 1 0 964904685 22515712 4221 4294967295 134512640 135730672 3221224576 3221223088 134746486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5497 4221 301 301 0 5196 0
vsize: 21988
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 5232 0 0 0 92007 998 0 0 25 0 1 0 964904685 22577152 4233 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5512 4233 301 301 0 5211 0
vsize: 22048
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6013 0 0 0 92997 1008 0 0 25 0 1 0 964904685 25722880 4245 4294967295 134512640 135730672 3221224576 3221223072 134747501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6280 4245 301 301 0 5979 0
vsize: 25120
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6027 0 0 0 93988 1017 0 0 25 0 1 0 964904685 25796608 4259 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6298 4259 301 301 0 5997 0
vsize: 25192
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6040 0 0 0 94979 1026 0 0 25 0 1 0 964904685 25796608 4272 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6298 4272 301 301 0 5997 0
vsize: 25192
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6055 0 0 0 95971 1035 0 0 25 0 1 0 964904685 25870336 4287 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4287 301 301 0 6015 0
vsize: 25264
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6063 0 0 0 96963 1043 0 0 25 0 1 0 964904685 25870336 4295 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4295 301 301 0 6015 0
vsize: 25264
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6076 0 0 0 97956 1050 0 0 25 0 1 0 964904685 25870336 4308 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4308 301 301 0 6015 0
vsize: 25264
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6084 0 0 0 98948 1058 0 0 25 0 1 0 964904685 25870336 4316 4294967295 134512640 135730672 3221224576 3221222824 135286307 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4316 301 301 0 6015 0
vsize: 25264
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6090 0 0 0 99940 1065 0 0 25 0 1 0 964904685 25870336 4322 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4322 301 301 0 6015 0
vsize: 25264
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6095 0 0 0 100934 1072 0 0 25 0 1 0 964904685 25870336 4327 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6316 4327 301 301 0 6015 0
vsize: 25264
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6102 0 0 0 101929 1078 0 0 25 0 1 0 964904685 25939968 4334 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6333 4334 301 301 0 6032 0
vsize: 25332
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6108 0 0 0 102921 1085 0 0 25 0 1 0 964904685 25939968 4340 4294967295 134512640 135730672 3221224576 3221223184 134744431 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6333 4340 301 301 0 6032 0
vsize: 25332
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6134 0 0 0 103916 1090 0 0 25 0 1 0 964904685 26021888 4366 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4366 301 301 0 6052 0
vsize: 25412
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6147 0 0 0 104907 1100 0 0 25 0 1 0 964904685 26021888 4379 4294967295 134512640 135730672 3221224576 3221223184 134744715 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4379 301 301 0 6052 0
vsize: 25412
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6154 0 0 0 105899 1107 0 0 25 0 1 0 964904685 26021888 4386 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4386 301 301 0 6052 0
vsize: 25412
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6160 0 0 0 106893 1114 0 0 25 0 1 0 964904685 26021888 4392 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6353 4392 301 301 0 6052 0
vsize: 25412
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6174 0 0 0 107885 1122 0 0 25 0 1 0 964904685 26112000 4406 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6375 4406 301 301 0 6074 0
vsize: 25500
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6181 0 0 0 108878 1129 0 0 25 0 1 0 964904685 26112000 4413 4294967295 134512640 135730672 3221224576 3221223184 134744828 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6375 4413 301 301 0 6074 0
vsize: 25500
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6193 0 0 0 109869 1138 0 0 25 0 1 0 964904685 26112000 4425 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6375 4425 301 301 0 6074 0
vsize: 25500
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6208 0 0 0 110861 1147 0 0 25 0 1 0 964904685 26189824 4440 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6394 4440 301 301 0 6093 0
vsize: 25576
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6220 0 0 0 111853 1155 0 0 25 0 1 0 964904685 26189824 4452 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6394 4452 301 301 0 6093 0
vsize: 25576
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6230 0 0 0 112842 1165 0 0 25 0 1 0 964904685 26189824 4462 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6394 4462 301 301 0 6093 0
vsize: 25576
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6245 0 0 0 113834 1174 0 0 25 0 1 0 964904685 26284032 4477 4294967295 134512640 135730672 3221224576 3221223184 134744785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6417 4477 301 301 0 6116 0
vsize: 25668
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6257 0 0 0 114825 1183 0 0 25 0 1 0 964904685 26284032 4489 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6417 4489 301 301 0 6116 0
vsize: 25668
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6265 0 0 0 115816 1192 0 0 25 0 1 0 964904685 26284032 4497 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6417 4497 301 301 0 6116 0
vsize: 25668
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6281 0 0 0 116808 1200 0 0 25 0 1 0 964904685 26378240 4513 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6440 4513 301 301 0 6139 0
vsize: 25760
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6292 0 0 0 117798 1211 0 0 25 0 1 0 964904685 26378240 4524 4294967295 134512640 135730672 3221224576 3221223184 134744775 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6440 4524 301 301 0 6139 0
vsize: 25760
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2318
Raw data (stat): 2318 (pb2sat-v2) R 2317 7266 7265 0 -1 0 6299 0 0 0 118789 1219 0 0 25 0 1 0 964904685 26378240 4531 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6440 4531 301 301 0 6139 0
vsize: 25760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2318
Raw data (stat): 2318 (pb2sat-v2) Z 2317 7266 7265 0 -1 12 6301 0 0 0 118799 1220 0 0 25 0 1 0 964904685 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.16
CPU time (s): 1200.21
CPU user time (s): 1188
CPU system time (s): 12.2071
CPU usage (%): 100.004
Max. virtual memory (Kb): 25760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####