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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
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	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 41938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 20:07:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25152 boxname=wulflinc3 idbench=54 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 25152
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        843160 kB
Buffers:         33668 kB
Cached:         136056 kB
SwapCached:        820 kB
Active:          47556 kB
Inactive:       124360 kB
HighTotal:      131008 kB
HighFree:        20748 kB
LowTotal:       903652 kB
LowFree:        822412 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13964 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 20:27:58 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 25152 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2320/7040	Time: 18.9071/86400
c Decision: 2320/7040	Time: 21.2858/86400
c Decision: 2320/7040	Time: 23.9364/86400
c Decision: 2320/7040	Time: 26.174/86400
c Decision: 2320/7040	Time: 29.5365/86400
c Decision: 2320/7040	Time: 33.005/86400
c Decision: 2320/7040	Time: 35.8625/86400
c Decision: 2320/7040	Time: 39.0641/86400
c Decision: 2320/7040	Time: 42.2176/86400
c Decision: 2320/7040	Time: 44.1153/86400
c Decision: 2320/7040	Time: 47.5818/86400
c Decision: 2320/7040	Time: 51.2192/86400
c Decision: 2320/7040	Time: 53.8708/86400
c Decision: 2320/7040	Time: 56.4704/86400
c Decision: 2320/7040	Time: 59.8079/86400
c Decision: 2320/7040	Time: 62.6895/86400
c Decision: 2320/7040	Time: 66.5989/86400
c Decision: 2320/7040	Time: 69.9854/86400
c Decision: 2320/7040	Time: 73.7728/86400
c Decision: 2320/7040	Time: 77.9182/86400
c Decision: 2320/7040	Time: 81.0827/86400
c Decision: 2320/7040	Time: 84.6511/86400
c Decision: 2320/7040	Time: 88.5245/86400
c Decision: 2320/7040	Time: 92.5729/86400
c Decision: 2320/7040	Time: 96.7103/86400
c Decision: 2320/7040	Time: 100.781/86400
c Decision: 2320/7040	Time: 105.075/86400
c Decision: 2320/7040	Time: 109.629/86400
c Decision: 2320/7040	Time: 113.235/86400
c Decision: 2320/7040	Time: 116.06/86400
c Decision: 2320/7040	Time: 119.833/86400
c Decision: 2320/7040	Time: 123.991/86400
c Decision: 2320/7040	Time: 128.552/86400
c Decision: 2320/7040	Time: 132.494/86400
c Decision: 2320/7040	Time: 136.652/86400
c Decision: 2320/7040	Time: 141.369/86400
c Decision: 2320/7040	Time: 145.661/86400
c Decision: 2320/7040	Time: 150.369/86400
c Decision: 2320/7040	Time: 155.522/86400
c Decision: 2320/7040	Time: 159.41/86400
c Decision: 2320/7040	Time: 163.168/86400
c Decision: 2320/7040	Time: 167.299/86400
c Decision: 2320/7040	Time: 171.553/86400
c Decision: 2320/7040	Time: 175.944/86400
c Decision: 2320/7040	Time: 180.944/86400
c Decision: 2320/7040	Time: 185.839/86400
c Decision: 2320/7040	Time: 191.089/86400
c Decision: 2320/7040	Time: 195.958/86400
c Decision: 2320/7040	Time: 200.305/86400
c Decision: 2320/7040	Time: 204.939/86400
c Decision: 2320/7040	Time: 209.098/86400
c Decision: 2320/7040	Time: 213.808/86400
c Decision: 2320/7040	Time: 218.779/86400
c Decision: 2320/7040	Time: 224.25/86400
c Decision: 2320/7040	Time: 229.518/86400
c Decision: 2320/7040	Time: 233.374/86400
c Decision: 2320/7040	Time: 237.217/86400
c Decision: 2320/7040	Time: 242.411/86400
c Decision: 2320/7040	Time: 247.354/86400
c Decision: 2320/7040	Time: 252.603/86400
c Decision: 2320/7040	Time: 258.215/86400
c Decision: 2320/7040	Time: 263.592/86400
c Decision: 2320/7040	Time: 267.497/86400
c Decision: 2320/7040	Time: 272.325/86400
c Decision: 2320/7040	Time: 277.39/86400
c Decision: 2320/7040	Time: 283.472/86400
c Decision: 2320/7040	Time: 288.447/86400
c Decision: 2320/7040	Time: 293.822/86400
c Decision: 2320/7040	Time: 299.457/86400
c Decision: 2320/7040	Time: 304.588/86400
c Decision: 2320/7040	Time: 310.162/86400
c Decision: 2320/7040	Time: 315.172/86400
c Decision: 2320/7040	Time: 318.878/86400
c Decision: 2320/7040	Time: 323.988/86400
c Decision: 2320/7040	Time: 329.859/86400
c Decision: 2320/7040	Time: 335.617/86400
c Decision: 2320/7040	Time: 340.674/86400
c Decision: 2320/7040	Time: 344.398/86400
c Decision: 2320/7040	Time: 349.415/86400
c Decision: 2320/7040	Time: 354.133/86400
c Decision: 2320/7040	Time: 358.495/86400
c Decision: 2320/7040	Time: 363.076/86400
c Decision: 2320/7040	Time: 368.847/86400
c Decision: 2320/7040	Time: 374.348/86400
c Decision: 2320/7040	Time: 378.814/86400
c Decision: 2320/7040	Time: 384.371/86400
c Decision: 2320/7040	Time: 389.517/86400
c Decision: 2320/7040	Time: 392.831/86400
c Decision: 2320/7040	Time: 398.162/86400
c Decision: 2320/7040	Time: 404.02/86400
c Decision: 2320/7040	Time: 410.434/86400
c Decision: 2320/7040	Time: 416.597/86400
c Decision: 2320/7040	Time: 422.509/86400
c Decision: 2320/7040	Time: 428.293/86400
c Decision: 2320/7040	Time: 433.627/86400
c Decision: 2320/7040	Time: 439.534/86400
c Decision: 2320/7040	Time: 445.848/86400
c Decision: 2320/7040	Time: 451.065/86400
c Decision: 2320/7040	Time: 456.962/86400
c Decision: 2320/7040	Time: 463.668/86400
c Decision: 2320/7040	Time: 469.816/86400
c Decision: 2320/7040	Time: 476.308/86400
c Decision: 2320/7040	Time: 482.73/86400
c Decision: 2320/7040	Time: 488.186/86400
c Decision: 2320/7040	Time: 494.495/86400
c Decision: 2320/7040	Time: 500.698/86400
c Decision: 2320/7040	Time: 504.504/86400
c Decision: 2320/7040	Time: 509.506/86400
c Decision: 2320/7040	Time: 515.77/86400
c Decision: 2320/7040	Time: 522.139/86400
c Decision: 2320/7040	Time: 528.586/86400
c Decision: 2320/7040	Time: 534.596/86400
c Decision: 2320/7040	Time: 539.791/86400
c Decision: 2320/7040	Time: 545.684/86400
c Decision: 2320/7040	Time: 550.699/86400
c Decision: 2320/7040	Time: 556.714/86400
c Decision: 2320/7040	Time: 562.421/86400
c Decision: 2320/7040	Time: 568.846/86400
c Decision: 2320/7040	Time: 575.075/86400
c Decision: 2320/7040	Time: 580.922/86400
c Decision: 2320/7040	Time: 587.064/86400
c Decision: 2320/7040	Time: 592.513/86400
c Decision: 2320/7040	Time: 598.829/86400
c Decision: 2320/7040	Time: 604.635/86400
c Decision: 2320/7040	Time: 610.486/86400
c Decision: 2320/7040	Time: 616.963/86400
c Decision: 2320/7040	Time: 623.485/86400
c Decision: 2320/7040	Time: 630.036/86400
c Decision: 2320/7040	Time: 636.301/86400
c Decision: 2320/7040	Time: 642.265/86400
c Decision: 2320/7040	Time: 648.65/86400
c Decision: 2320/7040	Time: 654.794/86400
c Decision: 2320/7040	Time: 660.689/86400
c Decision: 2320/7040	Time: 666.685/86400
c Decision: 2320/7040	Time: 672.327/86400
c Decision: 2320/7040	Time: 678.926/86400
c Decision: 2320/7040	Time: 685.044/86400
c Decision: 2320/7040	Time: 691.322/86400
c Decision: 2320/7040	Time: 697.933/86400
c Decision: 2320/7040	Time: 704.461/86400
c Decision: 2320/7040	Time: 711.819/86400
c Decision: 2320/7040	Time: 718.375/86400
c Decision: 2320/7040	Time: 724.156/86400
c Decision: 2320/7040	Time: 730.706/86400
c Decision: 2320/7040	Time: 736.335/86400
c Decision: 2320/7040	Time: 741.531/86400
c Decision: 2320/7040	Time: 746.041/86400
c Decision: 2320/7040	Time: 751.706/86400
c Decision: 2320/7040	Time: 758.725/86400
c Decision: 2320/7040	Time: 766.018/86400
c Decision: 2320/7040	Time: 772.751/86400
c Decision: 2320/7040	Time: 779.956/86400
c Decision: 2320/7040	Time: 786.341/86400
c Decision: 2320/7040	Time: 792.518/86400
c Decision: 2320/7040	Time: 799.252/86400
c Decision: 2320/7040	Time: 805.84/86400
c Decision: 2320/7040	Time: 811.796/86400
c Decision: 2320/7040	Time: 817.636/86400
c Decision: 2320/7040	Time: 823.539/86400
c Decision: 2320/7040	Time: 830.489/86400
c Decision: 2320/7040	Time: 836.638/86400
c Decision: 2320/7040	Time: 843.353/86400
c Decision: 2320/7040	Time: 849.465/86400
c Decision: 2320/7040	Time: 856.276/86400
c Decision: 2320/7040	Time: 862.295/86400
c Decision: 2320/7040	Time: 868.497/86400
c Decision: 2320/7040	Time: 875.126/86400
c Decision: 2320/7040	Time: 882.03/86400
c Decision: 2320/7040	Time: 889.168/86400
c Decision: 2320/7040	Time: 896.445/86400
c Decision: 2320/7040	Time: 903.58/86400
c Decision: 2320/7040	Time: 910.706/86400
c Decision: 2320/7040	Time: 917.535/86400
c Decision: 2320/7040	Time: 923.849/86400
c Decision: 2320/7040	Time: 930.058/86400
c Decision: 2320/7040	Time: 935.913/86400
c Decision: 2320/7040	Time: 942.221/86400
c Decision: 2320/7040	Time: 948.925/86400
c Decision: 2320/7040	Time: 955.89/86400
c Decision: 2320/7040	Time: 963.532/86400
c Decision: 2320/7040	Time: 970.89/86400
c Decision: 2320/7040	Time: 977.237/86400
c Decision: 2320/7040	Time: 983.48/86400
c Decision: 2320/7040	Time: 990.945/86400
c Decision: 2320/7040	Time: 998.293/86400
c Decision: 2320/7040	Time: 1003.53/86400
c Decision: 2320/7040	Time: 1010.35/86400
c Decision: 2320/7040	Time: 1017.84/86400
c Decision: 2320/7040	Time: 1025.29/86400
c Decision: 2320/7040	Time: 1032.22/86400
c Decision: 2320/7040	Time: 1039.28/86400
c Decision: 2320/7040	Time: 1046.86/86400
c Decision: 2320/7040	Time: 1053.9/86400
c Decision: 2320/7040	Time: 1061.52/86400
c Decision: 2320/7040	Time: 1067.17/86400
c Decision: 2320/7040	Time: 1075.34/86400
c Decision: 2320/7040	Time: 1083.13/86400
c Decision: 2320/7040	Time: 1089.6/86400
c Decision: 2320/7040	Time: 1097.05/86400
c Decision: 2320/7040	Time: 1103.22/86400
c Decision: 2320/7040	Time: 1109.59/86400
c Decision: 2320/7040	Time: 1116.34/86400
c Decision: 2320/7040	Time: 1123.11/86400
c Decision: 2320/7040	Time: 1131.39/86400
c Decision: 2320/7040	Time: 1138.74/86400
c Decision: 2320/7040	Time: 1145.37/86400
c Decision: 2320/7040	Time: 1153.35/86400
c Decision: 2320/7040	Time: 1159.94/86400
c Decision: 2320/7040	Time: 1166.6/86400
c Decision: 2320/7040	Time: 1174.56/86400
c Decision: 2320/7040	Time: 1181.37/86400
c Decision: 2320/7040	Time: 1186.06/86400
c Decision: 2320/7040	Time: 1193.52/86400
c Decision: 2320/7040	Time: 1198.76/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.76 0.84 0.86 2/54 12339
Raw data (stat): 12339 (runsolver) R 12338 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964871725 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.79 0.85 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 1439 0 0 0 983 16 0 0 25 0 1 0 964871725 6688768 1164 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1633 1164 301 301 0 1332 0
vsize: 6532
[startup+20.0017 s]
Raw data (loadavg): 0.82 0.85 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 1783 0 0 0 1971 28 0 0 25 0 1 0 964871725 9314304 1508 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2274 1508 301 301 0 1973 0
vsize: 9096
[startup+30.0015 s]
Raw data (loadavg): 0.85 0.86 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 1930 0 0 0 2957 42 0 0 25 0 1 0 964871725 9801728 1655 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2393 1655 301 301 0 2092 0
vsize: 9572
[startup+40.0013 s]
Raw data (loadavg): 0.87 0.86 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 1991 0 0 0 3941 59 0 0 25 0 1 0 964871725 9936896 1716 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2426 1716 301 301 0 2125 0
vsize: 9704
[startup+50.0021 s]
Raw data (loadavg): 0.89 0.86 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2047 0 0 0 4927 73 0 0 25 0 1 0 964871725 10158080 1772 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2480 1772 301 301 0 2179 0
vsize: 9920
[startup+60.003 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2277 0 0 0 5913 87 0 0 25 0 1 0 964871725 11038720 1809 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2695 1809 301 301 0 2394 0
vsize: 10780
[startup+70.0038 s]
Raw data (loadavg): 0.92 0.87 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2348 0 0 0 6900 100 0 0 25 0 1 0 964871725 11116544 1880 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2714 1880 301 301 0 2413 0
vsize: 10856
[startup+80.0036 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2389 0 0 0 7887 113 0 0 25 0 1 0 964871725 11202560 1921 4294967295 134512640 135730672 3221224576 3221223168 134763568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2735 1921 301 301 0 2434 0
vsize: 10940
[startup+90.0035 s]
Raw data (loadavg): 0.94 0.88 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2459 0 0 0 8875 125 0 0 25 0 1 0 964871725 11366400 1991 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2775 1991 301 301 0 2474 0
vsize: 11100
[startup+100.003 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2508 0 0 0 9862 138 0 0 25 0 1 0 964871725 11366400 2040 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2775 2040 301 301 0 2474 0
vsize: 11100
[startup+110.004 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2555 0 0 0 10851 150 0 0 25 0 1 0 964871725 11472896 2087 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2801 2087 301 301 0 2500 0
vsize: 11204
[startup+120.005 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2632 0 0 0 11842 159 0 0 25 0 1 0 964871725 11743232 2164 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2867 2164 301 301 0 2566 0
vsize: 11468
[startup+130.005 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2670 0 0 0 12830 171 0 0 25 0 1 0 964871725 11833344 2202 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2889 2202 301 301 0 2588 0
vsize: 11556
[startup+140.005 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2713 0 0 0 13818 183 0 0 25 0 1 0 964871725 11833344 2245 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2889 2245 301 301 0 2588 0
vsize: 11556
[startup+150.005 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2755 0 0 0 14807 194 0 0 25 0 1 0 964871725 11919360 2287 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2910 2287 301 301 0 2609 0
vsize: 11640
[startup+160.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2769 0 0 0 15799 203 0 0 25 0 1 0 964871725 11919360 2301 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2910 2301 301 301 0 2609 0
vsize: 11640
[startup+170.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2827 0 0 0 16790 212 0 0 25 0 1 0 964871725 12136448 2359 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2963 2359 301 301 0 2662 0
vsize: 11852
[startup+180.006 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2855 0 0 0 17780 222 0 0 25 0 1 0 964871725 12218368 2387 4294967295 134512640 135730672 3221224576 3221222960 134763159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2983 2387 301 301 0 2682 0
vsize: 11932
[startup+190.007 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2878 0 0 0 18769 233 0 0 25 0 1 0 964871725 12304384 2410 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3004 2410 301 301 0 2703 0
vsize: 12016
[startup+200.007 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2886 0 0 0 19761 241 0 0 25 0 1 0 964871725 12304384 2418 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3004 2418 301 301 0 2703 0
vsize: 12016
[startup+210.007 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2915 0 0 0 20753 250 0 0 25 0 1 0 964871725 12304384 2447 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3004 2447 301 301 0 2703 0
vsize: 12016
[startup+220.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 2943 0 0 0 21747 256 0 0 25 0 1 0 964871725 12460032 2475 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3042 2475 301 301 0 2741 0
vsize: 12168
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3016 0 0 0 22737 266 0 0 25 0 1 0 964871725 12460032 2548 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3042 2548 301 301 0 2741 0
vsize: 12168
[startup+240.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3111 0 0 0 23726 277 0 0 25 0 1 0 964871725 12595200 2643 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3075 2643 301 301 0 2774 0
vsize: 12300
[startup+250.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3523 0 0 0 24717 286 0 0 25 0 1 0 964871725 14282752 2670 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3487 2670 301 301 0 3186 0
vsize: 13948
[startup+260.009 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3590 0 0 0 25705 298 0 0 25 0 1 0 964871725 14282752 2737 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3487 2737 301 301 0 3186 0
vsize: 13948
[startup+270.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3602 0 0 0 26696 308 0 0 25 0 1 0 964871725 14364672 2749 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3507 2749 301 301 0 3206 0
vsize: 14028
[startup+280.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3628 0 0 0 27686 318 0 0 25 0 1 0 964871725 14364672 2775 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3507 2775 301 301 0 3206 0
vsize: 14028
[startup+290.009 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3650 0 0 0 28677 327 0 0 25 0 1 0 964871725 14454784 2797 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3529 2797 301 301 0 3228 0
vsize: 14116
[startup+300.009 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3661 0 0 0 29668 336 0 0 25 0 1 0 964871725 14454784 2808 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3529 2808 301 301 0 3228 0
vsize: 14116
[startup+310.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3691 0 0 0 30658 346 0 0 25 0 1 0 964871725 14548992 2838 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3552 2838 301 301 0 3251 0
vsize: 14208
[startup+320.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3715 0 0 0 31647 357 0 0 25 0 1 0 964871725 14630912 2862 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2862 301 301 0 3271 0
vsize: 14288
[startup+330.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3733 0 0 0 32637 367 0 0 25 0 1 0 964871725 14630912 2880 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2880 301 301 0 3271 0
vsize: 14288
[startup+340.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3752 0 0 0 33628 377 0 0 25 0 1 0 964871725 14729216 2899 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3596 2899 301 301 0 3295 0
vsize: 14384
[startup+350.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3767 0 0 0 34620 385 0 0 25 0 1 0 964871725 14729216 2914 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3596 2914 301 301 0 3295 0
vsize: 14384
[startup+360.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3800 0 0 0 35612 393 0 0 25 0 1 0 964871725 14856192 2947 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3627 2947 301 301 0 3326 0
vsize: 14508
[startup+370.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3827 0 0 0 36604 401 0 0 25 0 1 0 964871725 14856192 2974 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3627 2974 301 301 0 3326 0
vsize: 14508
[startup+380.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3847 0 0 0 37595 410 0 0 25 0 1 0 964871725 14946304 2994 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3649 2994 301 301 0 3348 0
vsize: 14596
[startup+390.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3856 0 0 0 38583 422 0 0 25 0 1 0 964871725 14946304 3003 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3649 3003 301 301 0 3348 0
vsize: 14596
[startup+400.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3906 0 0 0 39573 432 0 0 25 0 1 0 964871725 15081472 3053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3682 3053 301 301 0 3381 0
vsize: 14728
[startup+410.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3920 0 0 0 40564 442 0 0 25 0 1 0 964871725 15183872 3067 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3707 3067 301 301 0 3406 0
vsize: 14828
[startup+420.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3931 0 0 0 41556 450 0 0 25 0 1 0 964871725 15183872 3078 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3707 3078 301 301 0 3406 0
vsize: 14828
[startup+430.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3956 0 0 0 42546 460 0 0 25 0 1 0 964871725 15269888 3103 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3728 3103 301 301 0 3427 0
vsize: 14912
[startup+440.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3972 0 0 0 43538 469 0 0 25 0 1 0 964871725 15269888 3119 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3728 3119 301 301 0 3427 0
vsize: 14912
[startup+450.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 3988 0 0 0 44529 478 0 0 25 0 1 0 964871725 15269888 3135 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3728 3135 301 301 0 3427 0
vsize: 14912
[startup+460.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4005 0 0 0 45518 488 0 0 25 0 1 0 964871725 15360000 3152 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3750 3152 301 301 0 3449 0
vsize: 15000
[startup+470.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4021 0 0 0 46511 496 0 0 25 0 1 0 964871725 15360000 3168 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3750 3168 301 301 0 3449 0
vsize: 15000
[startup+480.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4037 0 0 0 47501 505 0 0 25 0 1 0 964871725 15462400 3184 4294967295 134512640 135730672 3221224576 3221223184 134744649 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3775 3184 301 301 0 3474 0
vsize: 15100
[startup+490.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4057 0 0 0 48492 515 0 0 25 0 1 0 964871725 15462400 3204 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3775 3204 301 301 0 3474 0
vsize: 15100
[startup+500.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4063 0 0 0 49486 521 0 0 25 0 1 0 964871725 15462400 3210 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3775 3210 301 301 0 3474 0
vsize: 15100
[startup+510.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4098 0 0 0 50478 530 0 0 25 0 1 0 964871725 15597568 3245 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3808 3245 301 301 0 3507 0
vsize: 15232
[startup+520.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4119 0 0 0 51465 542 0 0 25 0 1 0 964871725 15679488 3266 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3828 3266 301 301 0 3527 0
vsize: 15312
[startup+530.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4148 0 0 0 52457 551 0 0 25 0 1 0 964871725 15679488 3295 4294967295 134512640 135730672 3221224576 3221223184 134744856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3828 3295 301 301 0 3527 0
vsize: 15312
[startup+540.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4156 0 0 0 53447 561 0 0 25 0 1 0 964871725 15679488 3303 4294967295 134512640 135730672 3221224576 3221222896 134732788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3828 3303 301 301 0 3527 0
vsize: 15312
[startup+550.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4181 0 0 0 54438 570 0 0 25 0 1 0 964871725 15761408 3328 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3848 3328 301 301 0 3547 0
vsize: 15392
[startup+560.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4202 0 0 0 55430 578 0 0 25 0 1 0 964871725 15855616 3349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3871 3349 301 301 0 3570 0
vsize: 15484
[startup+570.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4216 0 0 0 56422 587 0 0 25 0 1 0 964871725 15855616 3363 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3871 3363 301 301 0 3570 0
vsize: 15484
[startup+580.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4231 0 0 0 57413 595 0 0 25 0 1 0 964871725 15855616 3378 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3871 3378 301 301 0 3570 0
vsize: 15484
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4247 0 0 0 58404 605 0 0 25 0 1 0 964871725 15953920 3394 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3895 3394 301 301 0 3594 0
vsize: 15580
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4264 0 0 0 59397 612 0 0 25 0 1 0 964871725 15953920 3411 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3895 3411 301 301 0 3594 0
vsize: 15580
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4271 0 0 0 60389 620 0 0 25 0 1 0 964871725 15953920 3418 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3895 3418 301 301 0 3594 0
vsize: 15580
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4287 0 0 0 61382 628 0 0 25 0 1 0 964871725 16035840 3434 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3915 3434 301 301 0 3614 0
vsize: 15660
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4300 0 0 0 62374 635 0 0 25 0 1 0 964871725 16035840 3447 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3915 3447 301 301 0 3614 0
vsize: 15660
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4309 0 0 0 63368 641 0 0 25 0 1 0 964871725 16035840 3456 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3915 3456 301 301 0 3614 0
vsize: 15660
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4318 0 0 0 64360 650 0 0 25 0 1 0 964871725 16035840 3465 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3915 3465 301 301 0 3614 0
vsize: 15660
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4337 0 0 0 65352 658 0 0 25 0 1 0 964871725 16138240 3484 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3940 3484 301 301 0 3639 0
vsize: 15760
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4361 0 0 0 66343 667 0 0 25 0 1 0 964871725 16138240 3508 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3940 3508 301 301 0 3639 0
vsize: 15760
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4384 0 0 0 67335 674 0 0 25 0 1 0 964871725 16244736 3531 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3966 3531 301 301 0 3665 0
vsize: 15864
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4399 0 0 0 68328 682 0 0 25 0 1 0 964871725 16244736 3546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3966 3546 301 301 0 3665 0
vsize: 15864
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4416 0 0 0 69319 690 0 0 25 0 1 0 964871725 16330752 3563 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3987 3563 301 301 0 3686 0
vsize: 15948
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4422 0 0 0 70311 699 0 0 25 0 1 0 964871725 16330752 3569 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3987 3569 301 301 0 3686 0
vsize: 15948
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4440 0 0 0 71304 706 0 0 25 0 1 0 964871725 16330752 3587 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3987 3587 301 301 0 3686 0
vsize: 15948
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4447 0 0 0 72297 713 0 0 25 0 1 0 964871725 16330752 3594 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3987 3594 301 301 0 3686 0
vsize: 15948
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4465 0 0 0 73290 720 0 0 25 0 1 0 964871725 16437248 3612 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4013 3612 301 301 0 3712 0
vsize: 16052
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4481 0 0 0 74283 728 0 0 25 0 1 0 964871725 16437248 3628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4013 3628 301 301 0 3712 0
vsize: 16052
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4498 0 0 0 75275 736 0 0 25 0 1 0 964871725 16519168 3645 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4033 3645 301 301 0 3732 0
vsize: 16132
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4505 0 0 0 76267 744 0 0 25 0 1 0 964871725 16519168 3652 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4033 3652 301 301 0 3732 0
vsize: 16132
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 4519 0 0 0 77259 752 0 0 25 0 1 0 964871725 16519168 3666 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4033 3666 301 301 0 3732 0
vsize: 16132
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5310 0 0 0 78247 764 0 0 25 0 1 0 964871725 19767296 3688 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4826 3688 301 301 0 4525 0
vsize: 19304
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5323 0 0 0 79240 772 0 0 25 0 1 0 964871725 19767296 3701 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4826 3701 301 301 0 4525 0
vsize: 19304
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5331 0 0 0 80235 776 0 0 25 0 1 0 964871725 19767296 3709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4826 3709 301 301 0 4525 0
vsize: 19304
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5352 0 0 0 81228 784 0 0 25 0 1 0 964871725 19861504 3730 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4849 3730 301 301 0 4548 0
vsize: 19396
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5361 0 0 0 82221 791 0 0 25 0 1 0 964871725 19861504 3739 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4849 3739 301 301 0 4548 0
vsize: 19396
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5379 0 0 0 83213 799 0 0 25 0 1 0 964871725 19861504 3757 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4849 3757 301 301 0 4548 0
vsize: 19396
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5392 0 0 0 84206 806 0 0 25 0 1 0 964871725 19943424 3770 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4869 3770 301 301 0 4568 0
vsize: 19476
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5401 0 0 0 85201 812 0 0 25 0 1 0 964871725 19943424 3779 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4869 3779 301 301 0 4568 0
vsize: 19476
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5419 0 0 0 86194 819 0 0 25 0 1 0 964871725 19943424 3797 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4869 3797 301 301 0 4568 0
vsize: 19476
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5427 0 0 0 87186 827 0 0 25 0 1 0 964871725 19943424 3805 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4869 3805 301 301 0 4568 0
vsize: 19476
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5444 0 0 0 88179 834 0 0 25 0 1 0 964871725 20054016 3822 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4896 3822 301 301 0 4595 0
vsize: 19584
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5458 0 0 0 89171 843 0 0 25 0 1 0 964871725 20054016 3836 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4896 3836 301 301 0 4595 0
vsize: 19584
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5468 0 0 0 90164 849 0 0 25 0 1 0 964871725 20054016 3846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4896 3846 301 301 0 4595 0
vsize: 19584
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5489 0 0 0 91157 856 0 0 25 0 1 0 964871725 20140032 3867 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4917 3867 301 301 0 4616 0
vsize: 19668
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5505 0 0 0 92151 863 0 0 25 0 1 0 964871725 20140032 3883 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4917 3883 301 301 0 4616 0
vsize: 19668
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5519 0 0 0 93146 868 0 0 25 0 1 0 964871725 20230144 3897 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4939 3897 301 301 0 4638 0
vsize: 19756
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5533 0 0 0 94141 873 0 0 25 0 1 0 964871725 20230144 3911 4294967295 134512640 135730672 3221224576 3221223184 134744868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4939 3911 301 301 0 4638 0
vsize: 19756
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5547 0 0 0 95133 881 0 0 25 0 1 0 964871725 20230144 3925 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4939 3925 301 301 0 4638 0
vsize: 19756
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5556 0 0 0 96128 887 0 0 25 0 1 0 964871725 20312064 3934 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4959 3934 301 301 0 4658 0
vsize: 19836
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5571 0 0 0 97120 894 0 0 25 0 1 0 964871725 20312064 3949 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4959 3949 301 301 0 4658 0
vsize: 19836
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5578 0 0 0 98115 900 0 0 25 0 1 0 964871725 20312064 3956 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4959 3956 301 301 0 4658 0
vsize: 19836
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5584 0 0 0 99110 905 0 0 25 0 1 0 964871725 20312064 3962 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4959 3962 301 301 0 4658 0
vsize: 19836
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5610 0 0 0 100103 912 0 0 25 0 1 0 964871725 20434944 3988 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4989 3988 301 301 0 4688 0
vsize: 19956
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5629 0 0 0 101094 921 0 0 25 0 1 0 964871725 20434944 4007 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4989 4007 301 301 0 4688 0
vsize: 19956
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5641 0 0 0 102089 927 0 0 25 0 1 0 964871725 20516864 4019 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5009 4019 301 301 0 4708 0
vsize: 20036
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5649 0 0 0 103085 931 0 0 25 0 1 0 964871725 20516864 4027 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5009 4027 301 301 0 4708 0
vsize: 20036
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5668 0 0 0 104076 940 0 0 25 0 1 0 964871725 20516864 4046 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5009 4046 301 301 0 4708 0
vsize: 20036
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5675 0 0 0 105071 945 0 0 25 0 1 0 964871725 20516864 4053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5009 4053 301 301 0 4708 0
vsize: 20036
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5696 0 0 0 106061 956 0 0 25 0 1 0 964871725 20619264 4074 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5034 4074 301 301 0 4733 0
vsize: 20136
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5704 0 0 0 107054 963 0 0 25 0 1 0 964871725 20619264 4082 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5034 4082 301 301 0 4733 0
vsize: 20136
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5712 0 0 0 108050 967 0 0 25 0 1 0 964871725 20619264 4090 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5034 4090 301 301 0 4733 0
vsize: 20136
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5729 0 0 0 109042 975 0 0 25 0 1 0 964871725 20697088 4107 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5053 4107 301 301 0 4752 0
vsize: 20212
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5741 0 0 0 110036 981 0 0 25 0 1 0 964871725 20697088 4119 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5053 4119 301 301 0 4752 0
vsize: 20212
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5751 0 0 0 111029 988 0 0 25 0 1 0 964871725 20697088 4129 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5053 4129 301 301 0 4752 0
vsize: 20212
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5767 0 0 0 112021 996 0 0 25 0 1 0 964871725 20791296 4145 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5076 4145 301 301 0 4775 0
vsize: 20304
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5786 0 0 0 113013 1004 0 0 25 0 1 0 964871725 20791296 4164 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5076 4164 301 301 0 4775 0
vsize: 20304
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5801 0 0 0 114005 1013 0 0 25 0 1 0 964871725 20885504 4179 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 4179 301 301 0 4798 0
vsize: 20396
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5813 0 0 0 114999 1019 0 0 25 0 1 0 964871725 20885504 4191 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 4191 301 301 0 4798 0
vsize: 20396
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5823 0 0 0 115993 1025 0 0 25 0 1 0 964871725 20885504 4201 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 4201 301 301 0 4798 0
vsize: 20396
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5830 0 0 0 116986 1032 0 0 25 0 1 0 964871725 20885504 4208 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5099 4208 301 301 0 4798 0
vsize: 20396
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5853 0 0 0 117979 1039 0 0 25 0 1 0 964871725 21004288 4231 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5128 4231 301 301 0 4827 0
vsize: 20512
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12339
Raw data (stat): 12339 (pb2sat-v2) R 12338 20224 20223 0 -1 0 5870 0 0 0 118973 1045 0 0 25 0 1 0 964871725 21004288 4248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5128 4248 301 301 0 4827 0
vsize: 20512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12339
Raw data (stat): 12339 (pb2sat-v2) Z 12338 20224 20223 0 -1 12 5872 0 0 0 118984 1046 0 0 25 0 1 0 964871725 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.16
CPU time (s): 1200.32
CPU user time (s): 1189.85
CPU system time (s): 10.4694
CPU usage (%): 100.013
Max. virtual memory (Kb): 20512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####