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_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
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	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
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 41939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-15 20:11:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25154 boxname=wulflinc1 idbench=56 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 25154
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        835008 kB
Buffers:         33592 kB
Cached:         142152 kB
SwapCached:       1192 kB
Active:          76924 kB
Inactive:       101080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834756 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            15896 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:31:22 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 25154 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2881/8732	Time: 26.243/86400
c Decision: 2881/8732	Time: 28.3217/86400
c Decision: 2881/8732	Time: 31.7002/86400
c Decision: 2881/8732	Time: 35.0127/86400
c Decision: 2881/8732	Time: 38.5831/86400
c Decision: 2881/8732	Time: 42.2606/86400
c Decision: 2881/8732	Time: 45.866/86400
c Decision: 2881/8732	Time: 49.8934/86400
c Decision: 2881/8732	Time: 53.9318/86400
c Decision: 2881/8732	Time: 57.7052/86400
c Decision: 2881/8732	Time: 61.4727/86400
c Decision: 2881/8732	Time: 65.696/86400
c Decision: 2881/8732	Time: 69.8214/86400
c Decision: 2881/8732	Time: 74.4887/86400
c Decision: 2881/8732	Time: 78.614/86400
c Decision: 2881/8732	Time: 82.8374/86400
c Decision: 2881/8732	Time: 86.5838/86400
c Decision: 2881/8732	Time: 90.8642/86400
c Decision: 2881/8732	Time: 94.1327/86400
c Decision: 2881/8732	Time: 98.65/86400
c Decision: 2881/8732	Time: 103.451/86400
c Decision: 2881/8732	Time: 107.672/86400
c Decision: 2881/8732	Time: 111.981/86400
c Decision: 2881/8732	Time: 115.656/86400
c Decision: 2881/8732	Time: 120.12/86400
c Decision: 2881/8732	Time: 125.194/86400
c Decision: 2881/8732	Time: 129.728/86400
c Decision: 2881/8732	Time: 134.409/86400
c Decision: 2881/8732	Time: 139.236/86400
c Decision: 2881/8732	Time: 144.171/86400
c Decision: 2881/8732	Time: 148.969/86400
c Decision: 2881/8732	Time: 154.418/86400
c Decision: 2881/8732	Time: 159.903/86400
c Decision: 2881/8732	Time: 165.395/86400
c Decision: 2881/8732	Time: 170.81/86400
c Decision: 2881/8732	Time: 175.642/86400
c Decision: 2881/8732	Time: 180.779/86400
c Decision: 2881/8732	Time: 186.135/86400
c Decision: 2881/8732	Time: 191.608/86400
c Decision: 2881/8732	Time: 197.048/86400
c Decision: 2881/8732	Time: 202.09/86400
c Decision: 2881/8732	Time: 206.844/86400
c Decision: 2881/8732	Time: 211.987/86400
c Decision: 2881/8732	Time: 217.629/86400
c Decision: 2881/8732	Time: 223.356/86400
c Decision: 2881/8732	Time: 229.039/86400
c Decision: 2881/8732	Time: 233.095/86400
c Decision: 2881/8732	Time: 237.9/86400
c Decision: 2881/8732	Time: 243.314/86400
c Decision: 2881/8732	Time: 248.997/86400
c Decision: 2881/8732	Time: 254.535/86400
c Decision: 2881/8732	Time: 259.77/86400
c Decision: 2881/8732	Time: 265.776/86400
c Decision: 2881/8732	Time: 271.35/86400
c Decision: 2881/8732	Time: 276.676/86400
c Decision: 2881/8732	Time: 281.912/86400
c Decision: 2881/8732	Time: 286.488/86400
c Decision: 2881/8732	Time: 291.77/86400
c Decision: 2881/8732	Time: 297.035/86400
c Decision: 2881/8732	Time: 302.593/86400
c Decision: 2881/8732	Time: 308.532/86400
c Decision: 2881/8732	Time: 314.089/86400
c Decision: 2881/8732	Time: 319.844/86400
c Decision: 2881/8732	Time: 325.458/86400
c Decision: 2881/8732	Time: 330.55/86400
c Decision: 2881/8732	Time: 336.18/86400
c Decision: 2881/8732	Time: 341.341/86400
c Decision: 2881/8732	Time: 345.321/86400
c Decision: 2881/8732	Time: 349.988/86400
c Decision: 2881/8732	Time: 355.457/86400
c Decision: 2881/8732	Time: 361.124/86400
c Decision: 2881/8732	Time: 366.745/86400
c Decision: 2881/8732	Time: 371.876/86400
c Decision: 2881/8732	Time: 377.627/86400
c Decision: 2881/8732	Time: 383.272/86400
c Decision: 2881/8732	Time: 389.218/86400
c Decision: 2881/8732	Time: 395.18/86400
c Decision: 2881/8732	Time: 400.399/86400
c Decision: 2881/8732	Time: 406.278/86400
c Decision: 2881/8732	Time: 412.012/86400
c Decision: 2881/8732	Time: 417.545/86400
c Decision: 2881/8732	Time: 423.983/86400
c Decision: 2881/8732	Time: 429.499/86400
c Decision: 2881/8732	Time: 435.102/86400
c Decision: 2881/8732	Time: 440.948/86400
c Decision: 2881/8732	Time: 447.581/86400
c Decision: 2881/8732	Time: 454.141/86400
c Decision: 2881/8732	Time: 460.379/86400
c Decision: 2881/8732	Time: 467.024/86400
c Decision: 2881/8732	Time: 472.54/86400
c Decision: 2881/8732	Time: 478.728/86400
c Decision: 2881/8732	Time: 484.693/86400
c Decision: 2881/8732	Time: 490.782/86400
c Decision: 2881/8732	Time: 497.173/86400
c Decision: 2881/8732	Time: 503.69/86400
c Decision: 2881/8732	Time: 510.593/86400
c Decision: 2881/8732	Time: 517.401/86400
c Decision: 2881/8732	Time: 523.833/86400
c Decision: 2881/8732	Time: 530.249/86400
c Decision: 2881/8732	Time: 536.104/86400
c Decision: 2881/8732	Time: 541.986/86400
c Decision: 2881/8732	Time: 547.829/86400
c Decision: 2881/8732	Time: 554.633/86400
c Decision: 2881/8732	Time: 560.145/86400
c Decision: 2881/8732	Time: 566.093/86400
c Decision: 2881/8732	Time: 572.21/86400
c Decision: 2881/8732	Time: 579.088/86400
c Decision: 2881/8732	Time: 585.657/86400
c Decision: 2881/8732	Time: 591.891/86400
c Decision: 2881/8732	Time: 598.375/86400
c Decision: 2881/8732	Time: 604.449/86400
c Decision: 2881/8732	Time: 611.191/86400
c Decision: 2881/8732	Time: 617.718/86400
c Decision: 2881/8732	Time: 623.629/86400
c Decision: 2881/8732	Time: 629.978/86400
c Decision: 2881/8732	Time: 637.572/86400
c Decision: 2881/8732	Time: 645.568/86400
c Decision: 2881/8732	Time: 651.621/86400
c Decision: 2881/8732	Time: 659.212/86400
c Decision: 2881/8732	Time: 666.982/86400
c Decision: 2881/8732	Time: 671.675/86400
c Decision: 2881/8732	Time: 676.526/86400
c Decision: 2881/8732	Time: 683.501/86400
c Decision: 2881/8732	Time: 690.16/86400
c Decision: 2881/8732	Time: 697.451/86400
c Decision: 2881/8732	Time: 704.446/86400
c Decision: 2881/8732	Time: 710.453/86400
c Decision: 2881/8732	Time: 715.744/86400
c Decision: 2881/8732	Time: 723.533/86400
c Decision: 2881/8732	Time: 730.791/86400
c Decision: 2881/8732	Time: 738.284/86400
c Decision: 2881/8732	Time: 745.983/86400
c Decision: 2881/8732	Time: 754.268/86400
c Decision: 2881/8732	Time: 761.897/86400
c Decision: 2881/8732	Time: 769.574/86400
c Decision: 2881/8732	Time: 776.162/86400
c Decision: 2881/8732	Time: 783.184/86400
c Decision: 2881/8732	Time: 790.05/86400
c Decision: 2881/8732	Time: 795.933/86400
c Decision: 2881/8732	Time: 803.036/86400
c Decision: 2881/8732	Time: 809.939/86400
c Decision: 2881/8732	Time: 817.614/86400
c Decision: 2881/8732	Time: 824.892/86400
c Decision: 2881/8732	Time: 831.403/86400
c Decision: 2881/8732	Time: 839.016/86400
c Decision: 2881/8732	Time: 845.865/86400
c Decision: 2881/8732	Time: 853.528/86400
c Decision: 2881/8732	Time: 860.693/86400
c Decision: 2881/8732	Time: 868.187/86400
c Decision: 2881/8732	Time: 875.378/86400
c Decision: 2881/8732	Time: 883.221/86400
c Decision: 2881/8732	Time: 891.056/86400
c Decision: 2881/8732	Time: 899.235/86400
c Decision: 2881/8732	Time: 907.139/86400
c Decision: 2881/8732	Time: 914.754/86400
c Decision: 2881/8732	Time: 922.664/86400
c Decision: 2881/8732	Time: 931.071/86400
c Decision: 2881/8732	Time: 939.483/86400
c Decision: 2881/8732	Time: 947.05/86400
c Decision: 2881/8732	Time: 955.667/86400
c Decision: 2881/8732	Time: 963.19/86400
c Decision: 2881/8732	Time: 970.175/86400
c Decision: 2881/8732	Time: 978.924/86400
c Decision: 2881/8732	Time: 986.647/86400
c Decision: 2881/8732	Time: 994.762/86400
c Decision: 2881/8732	Time: 1003.14/86400
c Decision: 2881/8732	Time: 1011.16/86400
c Decision: 2881/8732	Time: 1019.31/86400
c Decision: 2881/8732	Time: 1027.76/86400
c Decision: 2881/8732	Time: 1035.49/86400
c Decision: 2881/8732	Time: 1043.17/86400
c Decision: 2881/8732	Time: 1050.35/86400
c Decision: 2881/8732	Time: 1058.57/86400
c Decision: 2881/8732	Time: 1065.72/86400
c Decision: 2881/8732	Time: 1073.1/86400
c Decision: 2881/8732	Time: 1080.24/86400
c Decision: 2881/8732	Time: 1088.11/86400
c Decision: 2881/8732	Time: 1096.25/86400
c Decision: 2881/8732	Time: 1104.04/86400
c Decision: 2881/8732	Time: 1111.7/86400
c Decision: 2881/8732	Time: 1119.5/86400
c Decision: 2881/8732	Time: 1127.66/86400
c Decision: 2881/8732	Time: 1135.14/86400
c Decision: 2881/8732	Time: 1142.64/86400
c Decision: 2881/8732	Time: 1150.52/86400
c Decision: 2881/8732	Time: 1158.27/86400
c Decision: 2881/8732	Time: 1166.67/86400
c Decision: 2881/8732	Time: 1174.74/86400
c Decision: 2881/8732	Time: 1182.98/86400
c Decision: 2881/8732	Time: 1190.17/86400
c Decision: 2881/8732	Time: 1197.44/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.84 0.90 0.89 1/55 5752
Raw data (stat): 5752 (runsolver) R 5751 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908044073 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99993 s]
Raw data (loadavg): 0.86 0.90 0.89 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 1673 0 0 0 981 17 0 0 25 0 1 0 908044073 7483392 1253 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1827 1253 301 301 0 1526 0
vsize: 7308
[startup+20.0006 s]
Raw data (loadavg): 0.88 0.91 0.89 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 1925 0 0 0 1971 28 0 0 25 0 1 0 908044073 7745536 1505 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1891 1505 301 301 0 1590 0
vsize: 7564
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.91 0.89 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2215 0 0 0 2956 43 0 0 25 0 1 0 908044073 10481664 1795 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2559 1795 301 301 0 2258 0
vsize: 10236
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.91 0.89 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2281 0 0 0 3942 56 0 0 25 0 1 0 908044073 10682368 1861 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2608 1861 301 301 0 2307 0
vsize: 10432
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.91 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2522 0 0 0 4929 69 0 0 25 0 1 0 908044073 11677696 1909 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2851 1909 301 301 0 2550 0
vsize: 11404
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.92 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2563 0 0 0 5913 85 0 0 25 0 1 0 908044073 11743232 1950 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2867 1950 301 301 0 2566 0
vsize: 11468
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.92 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2595 0 0 0 6900 98 0 0 25 0 1 0 908044073 11849728 1982 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2893 1982 301 301 0 2592 0
vsize: 11572
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2627 0 0 0 7889 109 0 0 25 0 1 0 908044073 11931648 2014 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2913 2014 301 301 0 2612 0
vsize: 11652
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2670 0 0 0 8875 123 0 0 25 0 1 0 908044073 12115968 2057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2958 2057 301 301 0 2657 0
vsize: 11832
[startup+100.004 s]
Raw data (loadavg): 0.97 0.92 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2733 0 0 0 9864 135 0 0 25 0 1 0 908044073 12189696 2120 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2976 2120 301 301 0 2675 0
vsize: 11904
[startup+110.004 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2803 0 0 0 10853 146 0 0 25 0 1 0 908044073 12255232 2190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2992 2190 301 301 0 2691 0
vsize: 11968
[startup+120.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2891 0 0 0 11842 156 0 0 25 0 1 0 908044073 12333056 2278 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3011 2278 301 301 0 2710 0
vsize: 12044
[startup+130.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 2986 0 0 0 12830 169 0 0 25 0 1 0 908044073 12488704 2373 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3049 2373 301 301 0 2748 0
vsize: 12196
[startup+140.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3013 0 0 0 13817 182 0 0 25 0 1 0 908044073 12566528 2400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3068 2400 301 301 0 2767 0
vsize: 12272
[startup+150.006 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3040 0 0 0 14807 192 0 0 25 0 1 0 908044073 12640256 2427 4294967295 134512640 135730672 3221224576 3221223184 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3086 2427 301 301 0 2785 0
vsize: 12344
[startup+160.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3067 0 0 0 15795 205 0 0 25 0 1 0 908044073 12722176 2454 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3106 2454 301 301 0 2805 0
vsize: 12424
[startup+170.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3093 0 0 0 16784 216 0 0 25 0 1 0 908044073 12795904 2480 4294967295 134512640 135730672 3221224576 3221223184 134744821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3124 2480 301 301 0 2823 0
vsize: 12496
[startup+180.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3124 0 0 0 17772 227 0 0 25 0 1 0 908044073 12890112 2511 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3147 2511 301 301 0 2846 0
vsize: 12588
[startup+190.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3155 0 0 0 18759 241 0 0 25 0 1 0 908044073 12988416 2542 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3171 2542 301 301 0 2870 0
vsize: 12684
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3190 0 0 0 19745 255 0 0 25 0 1 0 908044073 13099008 2577 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3198 2577 301 301 0 2897 0
vsize: 12792
[startup+210.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3216 0 0 0 20735 265 0 0 25 0 1 0 908044073 13172736 2603 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3216 2603 301 301 0 2915 0
vsize: 12864
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3236 0 0 0 21724 277 0 0 25 0 1 0 908044073 13172736 2623 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3216 2623 301 301 0 2915 0
vsize: 12864
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3252 0 0 0 22711 290 0 0 25 0 1 0 908044073 13258752 2639 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3237 2639 301 301 0 2936 0
vsize: 12948
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3285 0 0 0 23701 300 0 0 25 0 1 0 908044073 13336576 2672 4294967295 134512640 135730672 3221224576 3221223184 134744441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3256 2672 301 301 0 2955 0
vsize: 13024
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3301 0 0 0 24690 311 0 0 25 0 1 0 908044073 13336576 2688 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3256 2688 301 301 0 2955 0
vsize: 13024
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3330 0 0 0 25678 323 0 0 25 0 1 0 908044073 13434880 2717 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3280 2717 301 301 0 2979 0
vsize: 13120
[startup+270.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3738 0 0 0 26668 334 0 0 25 0 1 0 908044073 15085568 2740 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3683 2740 301 301 0 3382 0
vsize: 14732
[startup+280.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3762 0 0 0 27653 348 0 0 25 0 1 0 908044073 15183872 2764 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3707 2764 301 301 0 3406 0
vsize: 14828
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3783 0 0 0 28643 359 0 0 25 0 1 0 908044073 15183872 2785 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3707 2785 301 301 0 3406 0
vsize: 14828
[startup+300.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3807 0 0 0 29631 371 0 0 25 0 1 0 908044073 15269888 2809 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3728 2809 301 301 0 3427 0
vsize: 14912
[startup+310.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3829 0 0 0 30622 381 0 0 25 0 1 0 908044073 15364096 2831 4294967295 134512640 135730672 3221224576 3221223184 134744760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3751 2831 301 301 0 3450 0
vsize: 15004
[startup+320.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3839 0 0 0 31611 391 0 0 25 0 1 0 908044073 15364096 2841 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3751 2841 301 301 0 3450 0
vsize: 15004
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3858 0 0 0 32598 404 0 0 25 0 1 0 908044073 15364096 2860 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3751 2860 301 301 0 3450 0
vsize: 15004
[startup+340.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3868 0 0 0 33589 414 0 0 25 0 1 0 908044073 15429632 2870 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3767 2870 301 301 0 3466 0
vsize: 15068
[startup+350.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3895 0 0 0 34580 423 0 0 25 0 1 0 908044073 15503360 2897 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3785 2897 301 301 0 3484 0
vsize: 15140
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3933 0 0 0 35568 434 0 0 25 0 1 0 908044073 15503360 2935 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3785 2935 301 301 0 3484 0
vsize: 15140
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3975 0 0 0 36557 446 0 0 25 0 1 0 908044073 15581184 2977 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3804 2977 301 301 0 3503 0
vsize: 15216
[startup+380.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 3992 0 0 0 37545 459 0 0 25 0 1 0 908044073 15646720 2994 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3820 2994 301 301 0 3519 0
vsize: 15280
[startup+390.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4006 0 0 0 38534 469 0 0 25 0 1 0 908044073 15646720 3008 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3820 3008 301 301 0 3519 0
vsize: 15280
[startup+400.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4024 0 0 0 39524 480 0 0 25 0 1 0 908044073 15716352 3026 4294967295 134512640 135730672 3221224576 3221223184 134744868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3837 3026 301 301 0 3536 0
vsize: 15348
[startup+410.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4040 0 0 0 40513 491 0 0 25 0 1 0 908044073 15716352 3042 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3837 3042 301 301 0 3536 0
vsize: 15348
[startup+420.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4052 0 0 0 41504 500 0 0 25 0 1 0 908044073 15716352 3054 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3837 3054 301 301 0 3536 0
vsize: 15348
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4063 0 0 0 42494 510 0 0 25 0 1 0 908044073 15790080 3065 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3855 3065 301 301 0 3554 0
vsize: 15420
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4083 0 0 0 43481 523 0 0 25 0 1 0 908044073 15790080 3085 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3855 3085 301 301 0 3554 0
vsize: 15420
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4104 0 0 0 44472 533 0 0 25 0 1 0 908044073 15872000 3106 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3875 3106 301 301 0 3574 0
vsize: 15500
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4119 0 0 0 45463 542 0 0 25 0 1 0 908044073 15937536 3121 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3891 3121 301 301 0 3590 0
vsize: 15564
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4139 0 0 0 46454 551 0 0 25 0 1 0 908044073 15937536 3141 4294967295 134512640 135730672 3221224576 3221223184 134744649 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3891 3141 301 301 0 3590 0
vsize: 15564
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4146 0 0 0 47444 561 0 0 25 0 1 0 908044073 15937536 3148 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3891 3148 301 301 0 3590 0
vsize: 15564
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4158 0 0 0 48434 572 0 0 25 0 1 0 908044073 16011264 3160 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3909 3160 301 301 0 3608 0
vsize: 15636
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4174 0 0 0 49419 587 0 0 25 0 1 0 908044073 16011264 3176 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3909 3176 301 301 0 3608 0
vsize: 15636
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4209 0 0 0 50408 597 0 0 25 0 1 0 908044073 16125952 3211 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3937 3211 301 301 0 3636 0
vsize: 15748
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4244 0 0 0 51394 612 0 0 25 0 1 0 908044073 16195584 3246 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3954 3246 301 301 0 3653 0
vsize: 15816
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4262 0 0 0 52384 622 0 0 25 0 1 0 908044073 16195584 3264 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3954 3264 301 301 0 3653 0
vsize: 15816
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4286 0 0 0 53373 633 0 0 25 0 1 0 908044073 16269312 3288 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3972 3288 301 301 0 3671 0
vsize: 15888
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4305 0 0 0 54363 643 0 0 25 0 1 0 908044073 16359424 3307 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3994 3307 301 301 0 3693 0
vsize: 15976
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4316 0 0 0 55356 650 0 0 25 0 1 0 908044073 16359424 3318 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3994 3318 301 301 0 3693 0
vsize: 15976
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4331 0 0 0 56346 661 0 0 25 0 1 0 908044073 16359424 3333 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3994 3333 301 301 0 3693 0
vsize: 15976
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4345 0 0 0 57335 672 0 0 25 0 1 0 908044073 16441344 3347 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4014 3347 301 301 0 3713 0
vsize: 16056
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4357 0 0 0 58324 683 0 0 25 0 1 0 908044073 16441344 3359 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4014 3359 301 301 0 3713 0
vsize: 16056
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4374 0 0 0 59315 692 0 0 25 0 1 0 908044073 16510976 3376 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4031 3376 301 301 0 3730 0
vsize: 16124
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4386 0 0 0 60306 702 0 0 25 0 1 0 908044073 16510976 3388 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4031 3388 301 301 0 3730 0
vsize: 16124
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4396 0 0 0 61296 711 0 0 25 0 1 0 908044073 16510976 3398 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4031 3398 301 301 0 3730 0
vsize: 16124
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4405 0 0 0 62289 719 0 0 25 0 1 0 908044073 16510976 3407 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4031 3407 301 301 0 3730 0
vsize: 16124
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4424 0 0 0 63278 729 0 0 25 0 1 0 908044073 16596992 3426 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4052 3426 301 301 0 3751 0
vsize: 16208
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4437 0 0 0 64268 739 0 0 25 0 1 0 908044073 16596992 3439 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4052 3439 301 301 0 3751 0
vsize: 16208
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4444 0 0 0 65259 748 0 0 25 0 1 0 908044073 16596992 3446 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4052 3446 301 301 0 3751 0
vsize: 16208
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4453 0 0 0 66250 758 0 0 25 0 1 0 908044073 16596992 3455 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4052 3455 301 301 0 3751 0
vsize: 16208
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4516 0 0 0 67241 767 0 0 25 0 1 0 908044073 16723968 3518 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4083 3518 301 301 0 3782 0
vsize: 16332
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4534 0 0 0 68233 776 0 0 25 0 1 0 908044073 16723968 3536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4083 3536 301 301 0 3782 0
vsize: 16332
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4543 0 0 0 69221 787 0 0 25 0 1 0 908044073 16793600 3545 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3545 301 301 0 3799 0
vsize: 16400
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4556 0 0 0 70213 796 0 0 25 0 1 0 908044073 16793600 3558 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4100 3558 301 301 0 3799 0
vsize: 16400
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4580 0 0 0 71205 804 0 0 25 0 1 0 908044073 16883712 3582 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4122 3582 301 301 0 3821 0
vsize: 16488
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4630 0 0 0 72196 813 0 0 25 0 1 0 908044073 16883712 3632 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4122 3632 301 301 0 3821 0
vsize: 16488
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4704 0 0 0 73187 822 0 0 25 0 1 0 908044073 16957440 3706 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4140 3706 301 301 0 3839 0
vsize: 16560
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4722 0 0 0 74176 834 0 0 25 0 1 0 908044073 17022976 3724 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4156 3724 301 301 0 3855 0
vsize: 16624
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4735 0 0 0 75166 844 0 0 25 0 1 0 908044073 17022976 3737 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4156 3737 301 301 0 3855 0
vsize: 16624
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4745 0 0 0 76157 853 0 0 25 0 1 0 908044073 17022976 3747 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4156 3747 301 301 0 3855 0
vsize: 16624
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4765 0 0 0 77146 864 0 0 25 0 1 0 908044073 17113088 3767 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4178 3767 301 301 0 3877 0
vsize: 16712
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4771 0 0 0 78140 870 0 0 25 0 1 0 908044073 17113088 3773 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4178 3773 301 301 0 3877 0
vsize: 16712
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4797 0 0 0 79131 879 0 0 25 0 1 0 908044073 17186816 3799 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4196 3799 301 301 0 3895 0
vsize: 16784
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4811 0 0 0 80123 887 0 0 25 0 1 0 908044073 17186816 3813 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4196 3813 301 301 0 3895 0
vsize: 16784
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4822 0 0 0 81112 899 0 0 25 0 1 0 908044073 17268736 3824 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4216 3824 301 301 0 3915 0
vsize: 16864
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4834 0 0 0 82104 906 0 0 25 0 1 0 908044073 17268736 3836 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4216 3836 301 301 0 3915 0
vsize: 16864
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4842 0 0 0 83099 912 0 0 25 0 1 0 908044073 17268736 3844 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4216 3844 301 301 0 3915 0
vsize: 16864
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 4860 0 0 0 84087 924 0 0 25 0 1 0 908044073 17342464 3862 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4234 3862 301 301 0 3933 0
vsize: 16936
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5637 0 0 0 85078 933 0 0 25 0 1 0 908044073 20488192 3870 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5002 3870 301 301 0 4701 0
vsize: 20008
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5663 0 0 0 86068 943 0 0 25 0 1 0 908044073 20598784 3896 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5029 3896 301 301 0 4728 0
vsize: 20116
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5678 0 0 0 87060 952 0 0 25 0 1 0 908044073 20598784 3911 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5029 3911 301 301 0 4728 0
vsize: 20116
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5717 0 0 0 88051 961 0 0 25 0 1 0 908044073 20598784 3950 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5029 3950 301 301 0 4728 0
vsize: 20116
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5735 0 0 0 89041 971 0 0 25 0 1 0 908044073 20709376 3968 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5056 3968 301 301 0 4755 0
vsize: 20224
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5751 0 0 0 90029 983 0 0 25 0 1 0 908044073 20709376 3984 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5056 3984 301 301 0 4755 0
vsize: 20224
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5757 0 0 0 91021 992 0 0 25 0 1 0 908044073 20709376 3990 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5056 3990 301 301 0 4755 0
vsize: 20224
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5771 0 0 0 92009 1004 0 0 25 0 1 0 908044073 20791296 4004 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5076 4004 301 301 0 4775 0
vsize: 20304
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5781 0 0 0 93000 1013 0 0 25 0 1 0 908044073 20791296 4014 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5076 4014 301 301 0 4775 0
vsize: 20304
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5797 0 0 0 93986 1027 0 0 25 0 1 0 908044073 20856832 4030 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5092 4030 301 301 0 4791 0
vsize: 20368
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5812 0 0 0 94977 1036 0 0 25 0 1 0 908044073 20856832 4045 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5092 4045 301 301 0 4791 0
vsize: 20368
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5825 0 0 0 95968 1045 0 0 25 0 1 0 908044073 20926464 4058 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5109 4058 301 301 0 4808 0
vsize: 20436
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5831 0 0 0 96960 1054 0 0 25 0 1 0 908044073 20926464 4064 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5109 4064 301 301 0 4808 0
vsize: 20436
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5840 0 0 0 97949 1064 0 0 25 0 1 0 908044073 20926464 4073 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5109 4073 301 301 0 4808 0
vsize: 20436
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5856 0 0 0 98940 1073 0 0 25 0 1 0 908044073 20992000 4089 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5125 4089 301 301 0 4824 0
vsize: 20500
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5870 0 0 0 99933 1081 0 0 25 0 1 0 908044073 20992000 4103 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5125 4103 301 301 0 4824 0
vsize: 20500
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5884 0 0 0 100924 1089 0 0 25 0 1 0 908044073 21061632 4117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5142 4117 301 301 0 4841 0
vsize: 20568
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5897 0 0 0 101913 1101 0 0 25 0 1 0 908044073 21061632 4130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5142 4130 301 301 0 4841 0
vsize: 20568
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5909 0 0 0 102903 1111 0 0 25 0 1 0 908044073 21127168 4142 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5158 4142 301 301 0 4857 0
vsize: 20632
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5917 0 0 0 103895 1119 0 0 25 0 1 0 908044073 21127168 4150 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5158 4150 301 301 0 4857 0
vsize: 20632
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5933 0 0 0 104887 1127 0 0 25 0 1 0 908044073 21127168 4166 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5158 4166 301 301 0 4857 0
vsize: 20632
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5946 0 0 0 105877 1138 0 0 25 0 1 0 908044073 21213184 4179 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5179 4179 301 301 0 4878 0
vsize: 20716
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5962 0 0 0 106870 1145 0 0 25 0 1 0 908044073 21213184 4195 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5179 4195 301 301 0 4878 0
vsize: 20716
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5977 0 0 0 107859 1156 0 0 25 0 1 0 908044073 21295104 4210 4294967295 134512640 135730672 3221224576 3221223184 134744450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5199 4210 301 301 0 4898 0
vsize: 20796
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5986 0 0 0 108851 1164 0 0 25 0 1 0 908044073 21295104 4219 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5199 4219 301 301 0 4898 0
vsize: 20796
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 5998 0 0 0 109841 1174 0 0 25 0 1 0 908044073 21295104 4231 4294967295 134512640 135730672 3221224576 3221223184 134744432 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5199 4231 301 301 0 4898 0
vsize: 20796
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6005 0 0 0 110833 1182 0 0 25 0 1 0 908044073 21295104 4238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5199 4238 301 301 0 4898 0
vsize: 20796
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6025 0 0 0 111825 1190 0 0 25 0 1 0 908044073 21372928 4258 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5218 4258 301 301 0 4917 0
vsize: 20872
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6040 0 0 0 112817 1199 0 0 25 0 1 0 908044073 21442560 4273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4273 301 301 0 4934 0
vsize: 20940
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6047 0 0 0 113809 1207 0 0 25 0 1 0 908044073 21442560 4280 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4280 301 301 0 4934 0
vsize: 20940
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6054 0 0 0 114801 1215 0 0 25 0 1 0 908044073 21442560 4287 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4287 301 301 0 4934 0
vsize: 20940
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6060 0 0 0 115794 1222 0 0 25 0 1 0 908044073 21442560 4293 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4293 301 301 0 4934 0
vsize: 20940
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6066 0 0 0 116786 1230 0 0 25 0 1 0 908044073 21442560 4299 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4299 301 301 0 4934 0
vsize: 20940
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6075 0 0 0 117779 1237 0 0 25 0 1 0 908044073 21442560 4308 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5235 4308 301 301 0 4934 0
vsize: 20940
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5752
Raw data (stat): 5752 (pb2sat-v2) R 5751 8378 8377 0 -1 0 6100 0 0 0 118770 1247 0 0 25 0 1 0 908044073 21524480 4333 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5255 4333 301 301 0 4954 0
vsize: 21020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 5752
Raw data (stat): 5752 (pb2sat-v2) Z 5751 8378 8377 0 -1 12 6102 0 0 0 118781 1247 0 0 25 0 1 0 908044073 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.29
CPU user time (s): 1187.81
CPU system time (s): 12.4781
CPU usage (%): 100.013
Max. virtual memory (Kb): 21020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####