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-chnl10_20_pb.cnf.cr.opb
MD5SUM	f6063d1ff7b0ba7c7cab7a438daedff8
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	400
Total number of constraints	60
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 41886

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-15 19:03:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25102 boxname=wulflinc6 idbench=4 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 25102
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        769012 kB
Buffers:         33472 kB
Cached:         209824 kB
SwapCached:       1028 kB
Active:          63752 kB
Inactive:       181732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768760 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14540 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:23:43 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 25102 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 380/1160	Time: 12.5511/86400
c Decision: 380/1160	Time: 13.326/86400
c Decision: 380/1160	Time: 14.1998/86400
c Decision: 380/1160	Time: 15.0787/86400
c Decision: 380/1160	Time: 16.0876/86400
c Decision: 380/1160	Time: 17.3014/86400
c Decision: 380/1160	Time: 18.3952/86400
c Decision: 380/1160	Time: 19.603/86400
c Decision: 380/1160	Time: 20.7218/86400
c Decision: 380/1160	Time: 21.9497/86400
c Decision: 380/1160	Time: 23.6034/86400
c Decision: 380/1160	Time: 25.1082/86400
c Decision: 380/1160	Time: 26.637/86400
c Decision: 380/1160	Time: 28.4007/86400
c Decision: 380/1160	Time: 29.9644/86400
c Decision: 380/1160	Time: 31.8572/86400
c Decision: 380/1160	Time: 33.8139/86400
c Decision: 380/1160	Time: 35.7516/86400
c Decision: 380/1160	Time: 37.4083/86400
c Decision: 380/1160	Time: 39.23/86400
c Decision: 380/1160	Time: 41.4217/86400
c Decision: 380/1160	Time: 43.5804/86400
c Decision: 380/1160	Time: 45.6361/86400
c Decision: 380/1160	Time: 47.8087/86400
c Decision: 380/1160	Time: 49.9554/86400
c Decision: 380/1160	Time: 52.2841/86400
c Decision: 380/1160	Time: 54.4697/86400
c Decision: 380/1160	Time: 57.1043/86400
c Decision: 380/1160	Time: 59.355/86400
c Decision: 380/1160	Time: 61.8766/86400
c Decision: 380/1160	Time: 64.3932/86400
c Decision: 380/1160	Time: 66.7589/86400
c Decision: 380/1160	Time: 69.1265/86400
c Decision: 380/1160	Time: 71.4481/86400
c Decision: 380/1160	Time: 73.6758/86400
c Decision: 380/1160	Time: 76.3594/86400
c Decision: 380/1160	Time: 79.011/86400
c Decision: 380/1160	Time: 81.4876/86400
c Decision: 380/1160	Time: 83.6993/86400
c Decision: 380/1160	Time: 86.1649/86400
c Decision: 380/1160	Time: 89.0395/86400
c Decision: 380/1160	Time: 91.769/86400
c Decision: 380/1160	Time: 94.2437/86400
c Decision: 380/1160	Time: 96.8063/86400
c Decision: 380/1160	Time: 99.1509/86400
c Decision: 380/1160	Time: 102.54/86400
c Decision: 380/1160	Time: 105.01/86400
c Decision: 380/1160	Time: 107.618/86400
c Decision: 380/1160	Time: 109.889/86400
c Decision: 380/1160	Time: 112.55/86400
c Decision: 380/1160	Time: 115.169/86400
c Decision: 380/1160	Time: 118.411/86400
c Decision: 380/1160	Time: 120.902/86400
c Decision: 380/1160	Time: 123.703/86400
c Decision: 380/1160	Time: 127.023/86400
c Decision: 380/1160	Time: 130.238/86400
c Decision: 380/1160	Time: 133.392/86400
c Decision: 380/1160	Time: 136.851/86400
c Decision: 380/1160	Time: 139.888/86400
c Decision: 380/1160	Time: 143.395/86400
c Decision: 380/1160	Time: 147.174/86400
c Decision: 380/1160	Time: 150.106/86400
c Decision: 380/1160	Time: 153.183/86400
c Decision: 380/1160	Time: 156.332/86400
c Decision: 380/1160	Time: 159.693/86400
c Decision: 380/1160	Time: 163.58/86400
c Decision: 380/1160	Time: 166.362/86400
c Decision: 380/1160	Time: 169.854/86400
c Decision: 380/1160	Time: 172.854/86400
c Decision: 380/1160	Time: 175.662/86400
c Decision: 380/1160	Time: 178.844/86400
c Decision: 380/1160	Time: 182.582/86400
c Decision: 380/1160	Time: 185.404/86400
c Decision: 380/1160	Time: 188.819/86400
c Decision: 380/1160	Time: 192.094/86400
c Decision: 380/1160	Time: 196.189/86400
c Decision: 380/1160	Time: 199.637/86400
c Decision: 380/1160	Time: 203.326/86400
c Decision: 380/1160	Time: 207.075/86400
c Decision: 380/1160	Time: 210.331/86400
c Decision: 380/1160	Time: 214.091/86400
c Decision: 380/1160	Time: 217.317/86400
c Decision: 380/1160	Time: 220.665/86400
c Decision: 380/1160	Time: 224.221/86400
c Decision: 380/1160	Time: 228.649/86400
c Decision: 380/1160	Time: 233.236/86400
c Decision: 380/1160	Time: 236.923/86400
c Decision: 380/1160	Time: 240.554/86400
c Decision: 380/1160	Time: 244.381/86400
c Decision: 380/1160	Time: 247.954/86400
c Decision: 380/1160	Time: 251.843/86400
c Decision: 380/1160	Time: 255.813/86400
c Decision: 380/1160	Time: 260.001/86400
c Decision: 380/1160	Time: 263.742/86400
c Decision: 380/1160	Time: 267.231/86400
c Decision: 380/1160	Time: 271.612/86400
c Decision: 380/1160	Time: 275.624/86400
c Decision: 380/1160	Time: 279.217/86400
c Decision: 380/1160	Time: 283.346/86400
c Decision: 380/1160	Time: 287.72/86400
c Decision: 380/1160	Time: 291.847/86400
c Decision: 380/1160	Time: 296.202/86400
c Decision: 380/1160	Time: 300.182/86400
c Decision: 380/1160	Time: 304.857/86400
c Decision: 380/1160	Time: 309.494/86400
c Decision: 380/1160	Time: 314.448/86400
c Decision: 380/1160	Time: 319.836/86400
c Decision: 380/1160	Time: 324.376/86400
c Decision: 380/1160	Time: 329.892/86400
c Decision: 380/1160	Time: 334.321/86400
c Decision: 380/1160	Time: 339.598/86400
c Decision: 380/1160	Time: 344.202/86400
c Decision: 380/1160	Time: 348.89/86400
c Decision: 380/1160	Time: 353.838/86400
c Decision: 380/1160	Time: 358.874/86400
c Decision: 380/1160	Time: 364.028/86400
c Decision: 380/1160	Time: 369.396/86400
c Decision: 380/1160	Time: 374.341/86400
c Decision: 380/1160	Time: 378.685/86400
c Decision: 380/1160	Time: 383.978/86400
c Decision: 380/1160	Time: 389.503/86400
c Decision: 380/1160	Time: 394.522/86400
c Decision: 380/1160	Time: 400.345/86400
c Decision: 380/1160	Time: 404.481/86400
c Decision: 380/1160	Time: 409.311/86400
c Decision: 380/1160	Time: 414.233/86400
c Decision: 380/1160	Time: 418.584/86400
c Decision: 380/1160	Time: 423.195/86400
c Decision: 380/1160	Time: 428.369/86400
c Decision: 380/1160	Time: 432.847/86400
c Decision: 380/1160	Time: 438.222/86400
c Decision: 380/1160	Time: 442.517/86400
c Decision: 380/1160	Time: 447.545/86400
c Decision: 380/1160	Time: 451.525/86400
c Decision: 380/1160	Time: 455.489/86400
c Decision: 380/1160	Time: 460.638/86400
c Decision: 380/1160	Time: 466.437/86400
c Decision: 380/1160	Time: 471.433/86400
c Decision: 380/1160	Time: 476.235/86400
c Decision: 380/1160	Time: 481.157/86400
c Decision: 380/1160	Time: 485.714/86400
c Decision: 380/1160	Time: 490.816/86400
c Decision: 380/1160	Time: 495.663/86400
c Decision: 380/1160	Time: 500.19/86400
c Decision: 380/1160	Time: 504.685/86400
c Decision: 380/1160	Time: 509.526/86400
c Decision: 380/1160	Time: 513.584/86400
c Decision: 380/1160	Time: 518.259/86400
c Decision: 380/1160	Time: 523.057/86400
c Decision: 380/1160	Time: 527.298/86400
c Decision: 380/1160	Time: 531.658/86400
c Decision: 380/1160	Time: 536.393/86400
c Decision: 380/1160	Time: 541.26/86400
c Decision: 380/1160	Time: 545.864/86400
c Decision: 380/1160	Time: 550.882/86400
c Decision: 380/1160	Time: 555.729/86400
c Decision: 380/1160	Time: 560.747/86400
c Decision: 380/1160	Time: 565.294/86400
c Decision: 380/1160	Time: 570.349/86400
c Decision: 380/1160	Time: 575.452/86400
c Decision: 380/1160	Time: 580.73/86400
c Decision: 380/1160	Time: 586.473/86400
c Decision: 380/1160	Time: 591.978/86400
c Decision: 380/1160	Time: 598.256/86400
c Decision: 380/1160	Time: 603.664/86400
c Decision: 380/1160	Time: 609.125/86400
c Decision: 380/1160	Time: 615.968/86400
c Decision: 380/1160	Time: 621.904/86400
c Decision: 380/1160	Time: 627.305/86400
c Decision: 380/1160	Time: 632.425/86400
c Decision: 380/1160	Time: 637.982/86400
c Decision: 380/1160	Time: 643.326/86400
c Decision: 380/1160	Time: 649.186/86400
c Decision: 380/1160	Time: 655.078/86400
c Decision: 380/1160	Time: 660.998/86400
c Decision: 380/1160	Time: 668.156/86400
c Decision: 380/1160	Time: 673.556/86400
c Decision: 380/1160	Time: 679.533/86400
c Decision: 380/1160	Time: 685.383/86400
c Decision: 380/1160	Time: 690.758/86400
c Decision: 380/1160	Time: 696.66/86400
c Decision: 380/1160	Time: 701.697/86400
c Decision: 380/1160	Time: 707.457/86400
c Decision: 380/1160	Time: 713.789/86400
c Decision: 380/1160	Time: 719.892/86400
c Decision: 380/1160	Time: 726.999/86400
c Decision: 380/1160	Time: 733.405/86400
c Decision: 380/1160	Time: 740.522/86400
c Decision: 380/1160	Time: 746.348/86400
c Decision: 380/1160	Time: 752.326/86400
c Decision: 380/1160	Time: 760.063/86400
c Decision: 380/1160	Time: 769.251/86400
c Decision: 380/1160	Time: 776.385/86400
c Decision: 380/1160	Time: 783.521/86400
c Decision: 380/1160	Time: 790.25/86400
c Decision: 380/1160	Time: 797.752/86400
c Decision: 380/1160	Time: 803.741/86400
c Decision: 380/1160	Time: 810.163/86400
c Decision: 380/1160	Time: 815.976/86400
c Decision: 380/1160	Time: 822.663/86400
c Decision: 380/1160	Time: 829.203/86400
c Decision: 380/1160	Time: 834.616/86400
c Decision: 380/1160	Time: 840.812/86400
c Decision: 380/1160	Time: 846.918/86400
c Decision: 380/1160	Time: 853.487/86400
c Decision: 380/1160	Time: 859.756/86400
c Decision: 380/1160	Time: 866.701/86400
c Decision: 380/1160	Time: 872.904/86400
c Decision: 380/1160	Time: 880.11/86400
c Decision: 381/1160	Time: 893.362/86400
c Decision: 381/1160	Time: 899.947/86400
c Decision: 381/1160	Time: 908.377/86400
c Decision: 381/1160	Time: 914.779/86400
c Decision: 381/1160	Time: 920.794/86400
c Decision: 381/1160	Time: 926.78/86400
c Decision: 381/1160	Time: 933.037/86400
c Decision: 381/1160	Time: 939.648/86400
c Decision: 381/1160	Time: 945.555/86400
c Decision: 381/1160	Time: 951.534/86400
c Decision: 383/1160	Time: 961.054/86400
c Decision: 383/1160	Time: 969.824/86400
c Decision: 383/1160	Time: 976.831/86400
c Decision: 383/1160	Time: 983.668/86400
c Decision: 383/1160	Time: 990.322/86400
c Decision: 383/1160	Time: 997.064/86400
c Decision: 383/1160	Time: 1004.49/86400
c Decision: 383/1160	Time: 1010.85/86400
c Decision: 383/1160	Time: 1016.74/86400
c Decision: 383/1160	Time: 1023.16/86400
c Decision: 383/1160	Time: 1031.98/86400
c Decision: 383/1160	Time: 1038.8/86400
c Decision: 383/1160	Time: 1044.93/86400
c Decision: 383/1160	Time: 1051.1/86400
c Decision: 383/1160	Time: 1056.2/86400
c Decision: 383/1160	Time: 1062.75/86400
c Decision: 383/1160	Time: 1068.52/86400
c Decision: 383/1160	Time: 1074.81/86400
c Decision: 383/1160	Time: 1081.24/86400
c Decision: 383/1160	Time: 1086.92/86400
c Decision: 384/1160	Time: 1099.33/86400
c Decision: 384/1160	Time: 1105.73/86400
c Decision: 384/1160	Time: 1111.76/86400
c Decision: 384/1160	Time: 1116.54/86400
c Decision: 384/1160	Time: 1122.32/86400
c Decision: 384/1160	Time: 1128.15/86400
c Decision: 384/1160	Time: 1134.32/86400
c Decision: 384/1160	Time: 1139.67/86400
c Decision: 384/1160	Time: 1145.75/86400
c Decision: 384/1160	Time: 1151.88/86400
c Decision: 384/1160	Time: 1157.9/86400
c Decision: 387/1160	Time: 1167.73/86400
c Decision: 387/1160	Time: 1173.52/86400
c Decision: 387/1160	Time: 1180.38/86400
c Decision: 387/1160	Time: 1187.91/86400
c Decision: 387/1160	Time: 1195.27/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.49 0.25 0.49 2/54 9004
Raw data (stat): 9004 (runsolver) R 9003 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964494293 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.0005 s]
Raw data (loadavg): 0.57 0.28 0.49 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 1053 0 0 0 996 3 0 0 25 0 1 0 964494293 6983680 990 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1705 990 301 301 0 1404 0
vsize: 6820
[startup+20.0011 s]
Raw data (loadavg): 0.63 0.30 0.50 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 1850 0 0 0 1991 8 0 0 25 0 1 0 964494293 12218368 1787 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2983 1787 301 301 0 2682 0
vsize: 11932
[startup+30.0008 s]
Raw data (loadavg): 0.69 0.32 0.50 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 2581 0 0 0 2988 12 0 0 25 0 1 0 964494293 13430784 2421 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3279 2421 301 301 0 2978 0
vsize: 13116
[startup+40.001 s]
Raw data (loadavg): 0.74 0.34 0.51 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 2942 0 0 0 3987 13 0 0 25 0 1 0 964494293 14118912 2782 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3447 2782 301 301 0 3146 0
vsize: 13788
[startup+50.0016 s]
Raw data (loadavg): 0.78 0.36 0.51 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 3188 0 0 0 4985 15 0 0 25 0 1 0 964494293 14512128 3028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3543 3028 301 301 0 3242 0
vsize: 14172
[startup+60.0013 s]
Raw data (loadavg): 0.81 0.39 0.52 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 3531 0 0 0 5984 16 0 0 25 0 1 0 964494293 23293952 3371 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5687 3371 301 301 0 5386 0
vsize: 22748
[startup+70.0015 s]
Raw data (loadavg): 0.84 0.40 0.52 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 3766 0 0 0 6981 19 0 0 25 0 1 0 964494293 23687168 3606 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5783 3606 301 301 0 5482 0
vsize: 23132
[startup+80.002 s]
Raw data (loadavg): 0.86 0.42 0.53 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 4250 0 0 0 7979 22 0 0 25 0 1 0 964494293 24637440 3897 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6015 3897 301 301 0 5714 0
vsize: 24060
[startup+90.0015 s]
Raw data (loadavg): 0.88 0.44 0.53 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 4476 0 0 0 8978 23 0 0 25 0 1 0 964494293 25292800 4123 4294967295 134512640 135730672 3221224576 3221223120 134740228 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6175 4123 301 301 0 5874 0
vsize: 24700
[startup+100.001 s]
Raw data (loadavg): 0.90 0.46 0.54 2/54 9004
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 4601 0 0 0 9977 25 0 0 25 0 1 0 964494293 25489408 4248 4294967295 134512640 135730672 3221224576 3221223120 134740298 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6223 4248 301 301 0 5922 0
vsize: 24892
[startup+110.003 s]
Raw data (loadavg): 0.92 0.48 0.54 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 4696 0 0 0 10977 25 0 0 25 0 1 0 964494293 25489408 4343 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6223 4343 301 301 0 5922 0
vsize: 24892
[startup+120.003 s]
Raw data (loadavg): 0.93 0.49 0.55 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 4941 0 0 0 11976 27 0 0 25 0 1 0 964494293 25686016 4588 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6271 4588 301 301 0 5970 0
vsize: 25084
[startup+130.002 s]
Raw data (loadavg): 0.94 0.51 0.55 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 5322 0 0 0 12974 28 0 0 25 0 1 0 964494293 26423296 4969 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6451 4969 301 301 0 6150 0
vsize: 25804
[startup+140.002 s]
Raw data (loadavg): 0.95 0.53 0.56 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 5515 0 0 0 13973 29 0 0 25 0 1 0 964494293 27099136 5162 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6616 5162 301 301 0 6315 0
vsize: 26464
[startup+150.001 s]
Raw data (loadavg): 0.95 0.54 0.56 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 5788 0 0 0 14973 30 0 0 25 0 1 0 964494293 27639808 5435 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6748 5435 301 301 0 6447 0
vsize: 26992
[startup+160.001 s]
Raw data (loadavg): 0.96 0.56 0.56 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6013 0 0 0 15971 33 0 0 25 0 1 0 964494293 28045312 5660 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6847 5660 301 301 0 6546 0
vsize: 27388
[startup+170 s]
Raw data (loadavg): 0.97 0.57 0.57 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6155 0 0 0 16970 33 0 0 25 0 1 0 964494293 28315648 5802 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6913 5802 301 301 0 6612 0
vsize: 27652
[startup+180 s]
Raw data (loadavg): 0.97 0.58 0.57 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6282 0 0 0 17969 35 0 0 25 0 1 0 964494293 28991488 5929 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7078 5929 301 301 0 6777 0
vsize: 28312
[startup+190 s]
Raw data (loadavg): 0.98 0.60 0.57 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6432 0 0 0 18968 36 0 0 25 0 1 0 964494293 29261824 6079 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7144 6079 301 301 0 6843 0
vsize: 28576
[startup+200 s]
Raw data (loadavg): 0.98 0.61 0.58 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6601 0 0 0 19967 37 0 0 25 0 1 0 964494293 29261824 6248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7144 6248 301 301 0 6843 0
vsize: 28576
[startup+209.999 s]
Raw data (loadavg): 0.98 0.62 0.58 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 6695 0 0 0 20967 38 0 0 25 0 1 0 964494293 29532160 6342 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7210 6342 301 301 0 6909 0
vsize: 28840
[startup+220 s]
Raw data (loadavg): 0.98 0.63 0.59 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7206 0 0 0 21965 40 0 0 25 0 1 0 964494293 31240192 6468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7627 6468 301 301 0 7326 0
vsize: 30508
[startup+230 s]
Raw data (loadavg): 0.99 0.65 0.59 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7273 0 0 0 22965 40 0 0 25 0 1 0 964494293 31510528 6535 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7693 6535 301 301 0 7392 0
vsize: 30772
[startup+240 s]
Raw data (loadavg): 0.99 0.66 0.59 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7433 0 0 0 23964 42 0 0 25 0 1 0 964494293 31510528 6695 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7693 6695 301 301 0 7392 0
vsize: 30772
[startup+249.999 s]
Raw data (loadavg): 0.99 0.67 0.60 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7671 0 0 0 24963 43 0 0 25 0 1 0 964494293 48287744 6933 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11789 6933 301 301 0 11488 0
vsize: 47156
[startup+259.999 s]
Raw data (loadavg): 0.99 0.68 0.60 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7736 0 0 0 25962 44 0 0 25 0 1 0 964494293 48287744 6998 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11789 6998 301 301 0 11488 0
vsize: 47156
[startup+269.999 s]
Raw data (loadavg): 0.99 0.69 0.61 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7804 0 0 0 26962 45 0 0 25 0 1 0 964494293 48558080 7066 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11855 7066 301 301 0 11554 0
vsize: 47420
[startup+279.999 s]
Raw data (loadavg): 0.99 0.70 0.61 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7842 0 0 0 27961 46 0 0 25 0 1 0 964494293 48693248 7104 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11888 7104 301 301 0 11587 0
vsize: 47552
[startup+289.999 s]
Raw data (loadavg): 0.99 0.71 0.61 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 7971 0 0 0 28961 46 0 0 25 0 1 0 964494293 48693248 7233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11888 7233 301 301 0 11587 0
vsize: 47552
[startup+299.999 s]
Raw data (loadavg): 0.99 0.72 0.62 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8023 0 0 0 29960 47 0 0 25 0 1 0 964494293 48693248 7285 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11888 7285 301 301 0 11587 0
vsize: 47552
[startup+309.998 s]
Raw data (loadavg): 0.99 0.72 0.62 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8100 0 0 0 30959 48 0 0 25 0 1 0 964494293 48693248 7362 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11888 7362 301 301 0 11587 0
vsize: 47552
[startup+319.998 s]
Raw data (loadavg): 0.99 0.73 0.63 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8263 0 0 0 31959 49 0 0 25 0 1 0 964494293 48828416 7525 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11921 7525 301 301 0 11620 0
vsize: 47684
[startup+329.998 s]
Raw data (loadavg): 0.99 0.74 0.63 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8491 0 0 0 32958 50 0 0 25 0 1 0 964494293 48963584 7753 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11954 7753 301 301 0 11653 0
vsize: 47816
[startup+339.998 s]
Raw data (loadavg): 0.99 0.75 0.63 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8690 0 0 0 33957 51 0 0 25 0 1 0 964494293 48963584 7952 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11954 7952 301 301 0 11653 0
vsize: 47816
[startup+349.998 s]
Raw data (loadavg): 0.99 0.76 0.64 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8725 0 0 0 34957 52 0 0 25 0 1 0 964494293 48963584 7987 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11954 7987 301 301 0 11653 0
vsize: 47816
[startup+359.998 s]
Raw data (loadavg): 0.99 0.77 0.64 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 8906 0 0 0 35957 53 0 0 25 0 1 0 964494293 48963584 8168 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11954 8168 301 301 0 11653 0
vsize: 47816
[startup+369.998 s]
Raw data (loadavg): 0.99 0.77 0.64 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9012 0 0 0 36956 53 0 0 25 0 1 0 964494293 49098752 8274 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11987 8274 301 301 0 11686 0
vsize: 47948
[startup+379.998 s]
Raw data (loadavg): 0.99 0.78 0.65 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9078 0 0 0 37956 54 0 0 25 0 1 0 964494293 49233920 8340 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12020 8340 301 301 0 11719 0
vsize: 48080
[startup+389.998 s]
Raw data (loadavg): 0.99 0.79 0.65 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9270 0 0 0 38956 55 0 0 25 0 1 0 964494293 49369088 8532 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12053 8532 301 301 0 11752 0
vsize: 48212
[startup+399.998 s]
Raw data (loadavg): 0.99 0.79 0.65 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9317 0 0 0 39955 55 0 0 25 0 1 0 964494293 49504256 8579 4294967295 134512640 135730672 3221224576 3221223088 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12086 8579 301 301 0 11785 0
vsize: 48344
[startup+409.999 s]
Raw data (loadavg): 0.99 0.80 0.65 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9383 0 0 0 40955 56 0 0 25 0 1 0 964494293 49639424 8645 4294967295 134512640 135730672 3221224576 3221222816 134786618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12119 8645 301 301 0 11818 0
vsize: 48476
[startup+419.998 s]
Raw data (loadavg): 0.99 0.81 0.66 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9498 0 0 0 41955 57 0 0 25 0 1 0 964494293 49774592 8760 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 8760 301 301 0 11851 0
vsize: 48608
[startup+429.999 s]
Raw data (loadavg): 0.99 0.81 0.66 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9508 0 0 0 42954 58 0 0 25 0 1 0 964494293 49774592 8770 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 8770 301 301 0 11851 0
vsize: 48608
[startup+439.999 s]
Raw data (loadavg): 0.99 0.82 0.66 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9520 0 0 0 43954 58 0 0 25 0 1 0 964494293 49774592 8782 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12152 8782 301 301 0 11851 0
vsize: 48608
[startup+449.999 s]
Raw data (loadavg): 0.99 0.82 0.67 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9547 0 0 0 44953 59 0 0 25 0 1 0 964494293 49909760 8809 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12185 8809 301 301 0 11884 0
vsize: 48740
[startup+460 s]
Raw data (loadavg): 0.99 0.83 0.67 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9579 0 0 0 45953 60 0 0 25 0 1 0 964494293 50044928 8841 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12218 8841 301 301 0 11917 0
vsize: 48872
[startup+470.001 s]
Raw data (loadavg): 0.99 0.83 0.67 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9587 0 0 0 46953 60 0 0 25 0 1 0 964494293 50044928 8849 4294967295 134512640 135730672 3221224576 3221223168 134763809 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12218 8849 301 301 0 11917 0
vsize: 48872
[startup+480 s]
Raw data (loadavg): 0.99 0.84 0.68 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9615 0 0 0 47953 61 0 0 25 0 1 0 964494293 50180096 8877 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12251 8877 301 301 0 11950 0
vsize: 49004
[startup+490.001 s]
Raw data (loadavg): 0.99 0.84 0.68 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9625 0 0 0 48952 61 0 0 25 0 1 0 964494293 50180096 8887 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12251 8887 301 301 0 11950 0
vsize: 49004
[startup+500.002 s]
Raw data (loadavg): 0.99 0.85 0.68 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9656 0 0 0 49952 62 0 0 25 0 1 0 964494293 50315264 8918 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12284 8918 301 301 0 11983 0
vsize: 49136
[startup+510.002 s]
Raw data (loadavg): 0.99 0.85 0.68 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9684 0 0 0 50951 63 0 0 25 0 1 0 964494293 50450432 8946 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8946 301 301 0 12016 0
vsize: 49268
[startup+520.002 s]
Raw data (loadavg): 0.99 0.86 0.69 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9693 0 0 0 51952 63 0 0 25 0 1 0 964494293 50450432 8955 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8955 301 301 0 12016 0
vsize: 49268
[startup+530.002 s]
Raw data (loadavg): 0.99 0.86 0.69 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9703 0 0 0 52952 63 0 0 25 0 1 0 964494293 50450432 8965 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8965 301 301 0 12016 0
vsize: 49268
[startup+540.002 s]
Raw data (loadavg): 0.99 0.86 0.69 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9711 0 0 0 53951 64 0 0 25 0 1 0 964494293 50450432 8973 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8973 301 301 0 12016 0
vsize: 49268
[startup+550.003 s]
Raw data (loadavg): 0.99 0.87 0.70 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9726 0 0 0 54952 64 0 0 25 0 1 0 964494293 50450432 8988 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8988 301 301 0 12016 0
vsize: 49268
[startup+560.003 s]
Raw data (loadavg): 0.99 0.87 0.70 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9736 0 0 0 55951 64 0 0 25 0 1 0 964494293 50450432 8998 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12317 8998 301 301 0 12016 0
vsize: 49268
[startup+570.003 s]
Raw data (loadavg): 0.99 0.88 0.70 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9785 0 0 0 56951 65 0 0 25 0 1 0 964494293 50720768 9047 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12383 9047 301 301 0 12082 0
vsize: 49532
[startup+580.003 s]
Raw data (loadavg): 0.99 0.88 0.70 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9797 0 0 0 57951 66 0 0 25 0 1 0 964494293 50720768 9059 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12383 9059 301 301 0 12082 0
vsize: 49532
[startup+590.003 s]
Raw data (loadavg): 0.99 0.88 0.71 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9842 0 0 0 58951 66 0 0 25 0 1 0 964494293 50855936 9104 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12416 9104 301 301 0 12115 0
vsize: 49664
[startup+600.003 s]
Raw data (loadavg): 0.99 0.89 0.71 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 9875 0 0 0 59951 66 0 0 25 0 1 0 964494293 50991104 9137 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12449 9137 301 301 0 12148 0
vsize: 49796
[startup+610.004 s]
Raw data (loadavg): 0.99 0.89 0.71 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 10049 0 0 0 60951 67 0 0 25 0 1 0 964494293 51396608 9311 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12548 9311 301 301 0 12247 0
vsize: 50192
[startup+620.004 s]
Raw data (loadavg): 0.99 0.89 0.72 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 10109 0 0 0 61950 67 0 0 25 0 1 0 964494293 51531776 9371 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12581 9371 301 301 0 12280 0
vsize: 50324
[startup+630.004 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 10298 0 0 0 62950 68 0 0 25 0 1 0 964494293 51531776 9560 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12581 9560 301 301 0 12280 0
vsize: 50324
[startup+640.004 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 10442 0 0 0 63950 69 0 0 25 0 1 0 964494293 51531776 9704 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12581 9704 301 301 0 12280 0
vsize: 50324
[startup+650.004 s]
Raw data (loadavg): 0.99 0.90 0.72 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 10458 0 0 0 64950 69 0 0 25 0 1 0 964494293 51531776 9720 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12581 9720 301 301 0 12280 0
vsize: 50324
[startup+660.004 s]
Raw data (loadavg): 0.99 0.90 0.73 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11258 0 0 0 65948 71 0 0 25 0 1 0 964494293 54812672 9751 4294967295 134512640 135730672 3221224576 3221223276 134747333 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13382 9751 301 301 0 13081 0
vsize: 53528
[startup+670.005 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11283 0 0 0 66948 71 0 0 25 0 1 0 964494293 54947840 9776 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9776 301 301 0 13114 0
vsize: 53660
[startup+680.005 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11294 0 0 0 67948 72 0 0 25 0 1 0 964494293 54947840 9787 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9787 301 301 0 13114 0
vsize: 53660
[startup+690.005 s]
Raw data (loadavg): 0.99 0.91 0.73 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11386 0 0 0 68948 72 0 0 25 0 1 0 964494293 54947840 9879 4294967295 134512640 135730672 3221224576 3221223072 134747829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9879 301 301 0 13114 0
vsize: 53660
[startup+700.005 s]
Raw data (loadavg): 0.99 0.91 0.74 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11487 0 0 0 69947 73 0 0 25 0 1 0 964494293 54947840 9980 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9980 301 301 0 13114 0
vsize: 53660
[startup+710.005 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11503 0 0 0 70947 74 0 0 25 0 1 0 964494293 54947840 9996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 9996 301 301 0 13114 0
vsize: 53660
[startup+720.005 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11511 0 0 0 71947 74 0 0 25 0 1 0 964494293 54947840 10004 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13415 10004 301 301 0 13114 0
vsize: 53660
[startup+730.005 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11588 0 0 0 72946 75 0 0 25 0 1 0 964494293 55209984 10015 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13479 10015 301 301 0 13178 0
vsize: 53916
[startup+740.006 s]
Raw data (loadavg): 0.99 0.92 0.74 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11649 0 0 0 73946 76 0 0 25 0 1 0 964494293 55611392 10076 4294967295 134512640 135730672 3221224576 3221223088 134746532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 10076 301 301 0 13276 0
vsize: 54308
[startup+750.006 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11769 0 0 0 74946 77 0 0 25 0 1 0 964494293 55742464 10163 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 10163 301 301 0 13308 0
vsize: 54436
[startup+760.006 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11958 0 0 0 75945 78 0 0 25 0 1 0 964494293 56139776 10319 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13706 10319 301 301 0 13405 0
vsize: 54824
[startup+770.006 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 11986 0 0 0 76945 78 0 0 25 0 1 0 964494293 56139776 10347 4294967295 134512640 135730672 3221224576 3221223072 134747775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13706 10347 301 301 0 13405 0
vsize: 54824
[startup+780.006 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12102 0 0 0 77944 79 0 0 25 0 1 0 964494293 56668160 10397 4294967295 134512640 135730672 3221224576 3221223072 134747775 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13835 10397 301 301 0 13534 0
vsize: 55340
[startup+790.006 s]
Raw data (loadavg): 0.99 0.93 0.75 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12225 0 0 0 78944 79 0 0 25 0 1 0 964494293 56930304 10454 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13899 10454 301 301 0 13598 0
vsize: 55596
[startup+800.006 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12393 0 0 0 79944 80 0 0 25 0 1 0 964494293 57192448 10556 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13963 10556 301 301 0 13662 0
vsize: 55852
[startup+810.007 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12434 0 0 0 80943 81 0 0 25 0 1 0 964494293 57323520 10564 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13995 10564 301 301 0 13694 0
vsize: 55980
[startup+820.006 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12477 0 0 0 81943 81 0 0 25 0 1 0 964494293 57454592 10574 4294967295 134512640 135730672 3221224576 3221222896 134732831 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14027 10574 301 301 0 13726 0
vsize: 56108
[startup+830.007 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12529 0 0 0 82943 82 0 0 25 0 1 0 964494293 57585664 10593 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14059 10593 301 301 0 13758 0
vsize: 56236
[startup+840.007 s]
Raw data (loadavg): 0.99 0.94 0.76 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12575 0 0 0 83943 82 0 0 25 0 1 0 964494293 57716736 10606 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14091 10606 301 301 0 13790 0
vsize: 56364
[startup+850.007 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12616 0 0 0 84943 83 0 0 25 0 1 0 964494293 57847808 10614 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14123 10614 301 301 0 13822 0
vsize: 56492
[startup+860.007 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12666 0 0 0 85943 83 0 0 25 0 1 0 964494293 57978880 10631 4294967295 134512640 135730672 3221224576 3221223072 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14155 10631 301 301 0 13854 0
vsize: 56620
[startup+870.008 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12744 0 0 0 86942 84 0 0 25 0 1 0 964494293 58376192 10676 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14252 10676 301 301 0 13951 0
vsize: 57008
[startup+880.007 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12752 0 0 0 87942 84 0 0 25 0 1 0 964494293 58376192 10684 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14252 10684 301 301 0 13951 0
vsize: 57008
[startup+890.008 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 12890 0 0 0 88941 86 0 0 25 0 1 0 964494293 58703872 10789 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14332 10789 301 301 0 14031 0
vsize: 57328
[startup+900.008 s]
Raw data (loadavg): 0.99 0.95 0.77 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13047 0 0 0 89941 86 0 0 25 0 1 0 964494293 58703872 10946 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14332 10946 301 301 0 14031 0
vsize: 57328
[startup+910.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13090 0 0 0 90941 86 0 0 25 0 1 0 964494293 58703872 10989 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14332 10989 301 301 0 14031 0
vsize: 57328
[startup+920.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13098 0 0 0 91941 87 0 0 25 0 1 0 964494293 58703872 10997 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14332 10997 301 301 0 14031 0
vsize: 57328
[startup+930.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13138 0 0 0 92941 87 0 0 25 0 1 0 964494293 58970112 11037 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14397 11037 301 301 0 14096 0
vsize: 57588
[startup+940.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13146 0 0 0 93941 87 0 0 25 0 1 0 964494293 58970112 11045 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14397 11045 301 301 0 14096 0
vsize: 57588
[startup+950.009 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13196 0 0 0 94941 88 0 0 25 0 1 0 964494293 59101184 11062 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14429 11062 301 301 0 14128 0
vsize: 57716
[startup+960.009 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13240 0 0 0 95941 88 0 0 25 0 1 0 964494293 59232256 11073 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14461 11073 301 301 0 14160 0
vsize: 57844
[startup+970.009 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13274 0 0 0 96941 88 0 0 25 0 1 0 964494293 59367424 11107 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14494 11107 301 301 0 14193 0
vsize: 57976
[startup+980.009 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13324 0 0 0 97941 89 0 0 25 0 1 0 964494293 59498496 11124 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14526 11124 301 301 0 14225 0
vsize: 58104
[startup+990.009 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13490 0 0 0 98940 90 0 0 25 0 1 0 964494293 59895808 11257 4294967295 134512640 135730672 3221224576 3221223088 134746486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14623 11257 301 301 0 14322 0
vsize: 58492
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13637 0 0 0 99940 90 0 0 25 0 1 0 964494293 59895808 11404 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14623 11404 301 301 0 14322 0
vsize: 58492
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13732 0 0 0 100940 91 0 0 25 0 1 0 964494293 60026880 11466 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14655 11466 301 301 0 14354 0
vsize: 58620
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13741 0 0 0 101939 92 0 0 25 0 1 0 964494293 60026880 11475 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14655 11475 301 301 0 14354 0
vsize: 58620
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13750 0 0 0 102940 92 0 0 25 0 1 0 964494293 60026880 11484 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14655 11484 301 301 0 14354 0
vsize: 58620
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13792 0 0 0 103940 92 0 0 25 0 1 0 964494293 60293120 11526 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14720 11526 301 301 0 14419 0
vsize: 58880
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13799 0 0 0 104940 92 0 0 25 0 1 0 964494293 60293120 11533 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14720 11533 301 301 0 14419 0
vsize: 58880
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13841 0 0 0 105940 92 0 0 25 0 1 0 964494293 60424192 11542 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14752 11542 301 301 0 14451 0
vsize: 59008
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13848 0 0 0 106940 93 0 0 25 0 1 0 964494293 60424192 11549 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14752 11549 301 301 0 14451 0
vsize: 59008
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13857 0 0 0 107940 93 0 0 25 0 1 0 964494293 60555264 11558 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14784 11558 301 301 0 14483 0
vsize: 59136
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13883 0 0 0 108941 93 0 0 25 0 1 0 964494293 60690432 11584 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14817 11584 301 301 0 14516 0
vsize: 59268
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13904 0 0 0 109941 93 0 0 25 0 1 0 964494293 60690432 11605 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14817 11605 301 301 0 14516 0
vsize: 59268
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13921 0 0 0 110941 94 0 0 25 0 1 0 964494293 60690432 11622 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14817 11622 301 301 0 14516 0
vsize: 59268
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13931 0 0 0 111940 94 0 0 25 0 1 0 964494293 60690432 11632 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14817 11632 301 301 0 14516 0
vsize: 59268
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13947 0 0 0 112940 95 0 0 25 0 1 0 964494293 60825600 11648 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14850 11648 301 301 0 14549 0
vsize: 59400
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13953 0 0 0 113940 95 0 0 25 0 1 0 964494293 60825600 11654 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14850 11654 301 301 0 14549 0
vsize: 59400
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 13964 0 0 0 114941 95 0 0 25 0 1 0 964494293 60825600 11665 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14850 11665 301 301 0 14549 0
vsize: 59400
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 14026 0 0 0 115940 96 0 0 25 0 1 0 964494293 60956672 11694 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14882 11694 301 301 0 14581 0
vsize: 59528
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 14033 0 0 0 116940 96 0 0 25 0 1 0 964494293 60956672 11701 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14882 11701 301 301 0 14581 0
vsize: 59528
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 14049 0 0 0 117940 97 0 0 25 0 1 0 964494293 60956672 11717 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14882 11717 301 301 0 14581 0
vsize: 59528
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 14061 0 0 0 118940 98 0 0 25 0 1 0 964494293 61087744 11729 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14914 11729 301 301 0 14613 0
vsize: 59656
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 9006
Raw data (stat): 9004 (pb2sat-v2) R 9003 25568 25567 0 -1 0 14073 0 0 0 119940 98 0 0 25 0 1 0 964494293 61087744 11741 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14914 11741 301 301 0 14613 0
vsize: 59656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.83 1/54 9006
Raw data (stat): 9004 (pb2sat-v2) Z 9003 25568 25567 0 -1 12 14075 0 0 0 119949 100 0 0 25 0 1 0 964494293 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.13
CPU time (s): 1200.5
CPU user time (s): 1199.49
CPU system time (s): 1.00685
CPU usage (%): 100.031
Max. virtual memory (Kb): 59656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####