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/manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 42011

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 21:06:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25227 boxname=wulflinc2 idbench=129 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc2/normalized-f600.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-f600.opb
IDLAUNCH: 25227
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861148 kB
Buffers:         33868 kB
Cached:         114140 kB
SwapCached:       4448 kB
Active:          61028 kB
Inactive:        92068 kB
HighTotal:      131008 kB
HighFree:        28812 kB
LowTotal:       903652 kB
LowFree:        832336 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14704 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:26:29 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 25227 7 1200.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/1211	Time: 5.81712/86400
c Decision: 14/1211	Time: 6.25105/86400
c Decision: 14/1211	Time: 6.72698/86400
c Decision: 14/1211	Time: 7.16891/86400
c Decision: 14/1211	Time: 7.63684/86400
c Decision: 14/1211	Time: 8.09977/86400
c Decision: 14/1211	Time: 8.5737/86400
c Decision: 14/1211	Time: 9.03863/86400
c Decision: 14/1211	Time: 9.49756/86400
c Decision: 14/1211	Time: 10.0065/86400
c Decision: 14/1211	Time: 10.5074/86400
c Decision: 14/1211	Time: 10.9923/86400
c Decision: 14/1211	Time: 11.4783/86400
c Decision: 14/1211	Time: 11.9932/86400
c Decision: 14/1211	Time: 12.5001/86400
c Decision: 14/1211	Time: 13.062/86400
c Decision: 14/1211	Time: 13.5819/86400
c Decision: 14/1211	Time: 14.0979/86400
c Decision: 14/1211	Time: 14.6508/86400
c Decision: 14/1211	Time: 15.1857/86400
c Decision: 14/1211	Time: 15.7686/86400
c Decision: 14/1211	Time: 16.3065/86400
c Decision: 14/1211	Time: 16.8674/86400
c Decision: 14/1211	Time: 17.3814/86400
c Decision: 14/1211	Time: 17.9273/86400
c Decision: 14/1211	Time: 18.5302/86400
c Decision: 14/1211	Time: 19.0671/86400
c Decision: 14/1211	Time: 19.635/86400
c Decision: 14/1211	Time: 20.2039/86400
c Decision: 14/1211	Time: 20.8238/86400
c Decision: 14/1211	Time: 21.4407/86400
c Decision: 14/1211	Time: 22.0586/86400
c Decision: 14/1211	Time: 22.6016/86400
c Decision: 14/1211	Time: 23.2095/86400
c Decision: 14/1211	Time: 23.7934/86400
c Decision: 14/1211	Time: 24.4453/86400
c Decision: 14/1211	Time: 25.0582/86400
c Decision: 14/1211	Time: 25.7151/86400
c Decision: 14/1211	Time: 26.382/86400
c Decision: 14/1211	Time: 27.0359/86400
c Decision: 14/1211	Time: 27.6968/86400
c Decision: 14/1211	Time: 28.3137/86400
c Decision: 14/1211	Time: 28.9276/86400
c Decision: 14/1211	Time: 29.5915/86400
c Decision: 14/1211	Time: 30.2284/86400
c Decision: 14/1211	Time: 30.9393/86400
c Decision: 14/1211	Time: 31.5792/86400
c Decision: 14/1211	Time: 32.2171/86400
c Decision: 14/1211	Time: 32.865/86400
c Decision: 14/1211	Time: 33.5359/86400
c Decision: 14/1211	Time: 34.2738/86400
c Decision: 14/1211	Time: 34.9007/86400
c Decision: 14/1211	Time: 35.5876/86400
c Decision: 14/1211	Time: 36.2605/86400
c Decision: 14/1211	Time: 36.9374/86400
c Decision: 14/1211	Time: 37.6753/86400
c Decision: 14/1211	Time: 38.3762/86400
c Decision: 14/1211	Time: 39.0901/86400
c Decision: 14/1211	Time: 39.8319/86400
c Decision: 14/1211	Time: 40.5138/86400
c Decision: 14/1211	Time: 41.2697/86400
c Decision: 14/1211	Time: 41.9766/86400
c Decision: 14/1211	Time: 42.7105/86400
c Decision: 14/1211	Time: 43.4384/86400
c Decision: 14/1211	Time: 44.1483/86400
c Decision: 14/1211	Time: 44.9332/86400
c Decision: 14/1211	Time: 45.6951/86400
c Decision: 14/1211	Time: 46.4509/86400
c Decision: 14/1211	Time: 47.2038/86400
c Decision: 14/1211	Time: 47.9327/86400
c Decision: 14/1211	Time: 48.7396/86400
c Decision: 14/1211	Time: 49.4865/86400
c Decision: 14/1211	Time: 50.2014/86400
c Decision: 14/1211	Time: 50.9403/86400
c Decision: 14/1211	Time: 51.6851/86400
c Decision: 14/1211	Time: 52.539/86400
c Decision: 14/1211	Time: 53.3019/86400
c Decision: 14/1211	Time: 54.1168/86400
c Decision: 14/1211	Time: 54.8597/86400
c Decision: 14/1211	Time: 55.6385/86400
c Decision: 14/1211	Time: 56.4764/86400
c Decision: 14/1211	Time: 57.2763/86400
c Decision: 14/1211	Time: 58.0512/86400
c Decision: 14/1211	Time: 58.8401/86400
c Decision: 14/1211	Time: 59.6339/86400
c Decision: 14/1211	Time: 60.5558/86400
c Decision: 14/1211	Time: 61.4217/86400
c Decision: 14/1211	Time: 62.2395/86400
c Decision: 14/1211	Time: 63.0784/86400
c Decision: 14/1211	Time: 63.8483/86400
c Decision: 14/1211	Time: 64.7922/86400
c Decision: 14/1211	Time: 65.626/86400
c Decision: 14/1211	Time: 66.4709/86400
c Decision: 14/1211	Time: 67.2738/86400
c Decision: 14/1211	Time: 68.1146/86400
c Decision: 14/1211	Time: 69.1405/86400
c Decision: 14/1211	Time: 69.9594/86400
c Decision: 14/1211	Time: 70.8512/86400
c Decision: 14/1211	Time: 71.6521/86400
c Decision: 14/1211	Time: 72.494/86400
c Decision: 14/1211	Time: 73.4588/86400
c Decision: 14/1211	Time: 74.2877/86400
c Decision: 14/1211	Time: 75.1236/86400
c Decision: 14/1211	Time: 75.9984/86400
c Decision: 14/1211	Time: 76.8923/86400
c Decision: 14/1211	Time: 77.8502/86400
c Decision: 14/1211	Time: 78.648/86400
c Decision: 14/1211	Time: 79.5339/86400
c Decision: 14/1211	Time: 80.4628/86400
c Decision: 14/1211	Time: 81.3676/86400
c Decision: 14/1211	Time: 82.3705/86400
c Decision: 14/1211	Time: 83.2493/86400
c Decision: 14/1211	Time: 84.1682/86400
c Decision: 14/1211	Time: 85.0711/86400
c Decision: 14/1211	Time: 85.9899/86400
c Decision: 14/1211	Time: 87.0398/86400
c Decision: 14/1211	Time: 87.9536/86400
c Decision: 14/1211	Time: 88.8455/86400
c Decision: 14/1211	Time: 89.7784/86400
c Decision: 14/1211	Time: 90.7152/86400
c Decision: 14/1211	Time: 91.7381/86400
c Decision: 14/1211	Time: 92.6609/86400
c Decision: 14/1211	Time: 93.6578/86400
c Decision: 14/1211	Time: 94.5516/86400
c Decision: 14/1211	Time: 95.5115/86400
c Decision: 14/1211	Time: 96.5223/86400
c Decision: 14/1211	Time: 97.4592/86400
c Decision: 14/1211	Time: 98.4/86400
c Decision: 14/1211	Time: 99.3449/86400
c Decision: 14/1211	Time: 100.334/86400
c Decision: 14/1211	Time: 101.454/86400
c Decision: 14/1211	Time: 102.323/86400
c Decision: 14/1211	Time: 103.334/86400
c Decision: 14/1211	Time: 104.352/86400
c Decision: 14/1211	Time: 105.377/86400
c Decision: 14/1211	Time: 106.411/86400
c Decision: 14/1211	Time: 107.491/86400
c Decision: 14/1211	Time: 108.436/86400
c Decision: 14/1211	Time: 109.463/86400
c Decision: 14/1211	Time: 110.455/86400
c Decision: 14/1211	Time: 111.583/86400
c Decision: 14/1211	Time: 112.587/86400
c Decision: 14/1211	Time: 113.537/86400
c Decision: 14/1211	Time: 114.541/86400
c Decision: 14/1211	Time: 115.524/86400
c Decision: 14/1211	Time: 116.568/86400
c Decision: 14/1211	Time: 117.582/86400
c Decision: 14/1211	Time: 118.556/86400
c Decision: 14/1211	Time: 119.57/86400
c Decision: 14/1211	Time: 120.574/86400
c Decision: 14/1211	Time: 121.741/86400
c Decision: 14/1211	Time: 122.719/86400
c Decision: 14/1211	Time: 123.746/86400
c Decision: 14/1211	Time: 124.74/86400
c Decision: 14/1211	Time: 125.724/86400
c Decision: 14/1211	Time: 126.864/86400
c Decision: 14/1211	Time: 127.923/86400
c Decision: 14/1211	Time: 129.013/86400
c Decision: 14/1211	Time: 129.992/86400
c Decision: 14/1211	Time: 130.998/86400
c Decision: 14/1211	Time: 132.105/86400
c Decision: 14/1211	Time: 133.237/86400
c Decision: 14/1211	Time: 134.327/86400
c Decision: 14/1211	Time: 135.415/86400
c Decision: 14/1211	Time: 136.438/86400
c Decision: 14/1211	Time: 137.685/86400
c Decision: 14/1211	Time: 138.739/86400
c Decision: 14/1211	Time: 139.891/86400
c Decision: 14/1211	Time: 140.976/86400
c Decision: 14/1211	Time: 142.024/86400
c Decision: 14/1211	Time: 143.275/86400
c Decision: 14/1211	Time: 144.305/86400
c Decision: 14/1211	Time: 145.448/86400
c Decision: 14/1211	Time: 146.609/86400
c Decision: 14/1211	Time: 147.742/86400
c Decision: 14/1211	Time: 149.011/86400
c Decision: 14/1211	Time: 150.153/86400
c Decision: 14/1211	Time: 151.149/86400
c Decision: 14/1211	Time: 152.256/86400
c Decision: 14/1211	Time: 153.329/86400
c Decision: 14/1211	Time: 154.594/86400
c Decision: 14/1211	Time: 155.626/86400
c Decision: 14/1211	Time: 156.788/86400
c Decision: 14/1211	Time: 157.867/86400
c Decision: 14/1211	Time: 158.971/86400
c Decision: 14/1211	Time: 160.249/86400
c Decision: 14/1211	Time: 161.356/86400
c Decision: 14/1211	Time: 162.47/86400
c Decision: 14/1211	Time: 163.585/86400
c Decision: 14/1211	Time: 164.727/86400
c Decision: 14/1211	Time: 166.038/86400
c Decision: 14/1211	Time: 167.167/86400
c Decision: 14/1211	Time: 168.377/86400
c Decision: 14/1211	Time: 169.485/86400
c Decision: 14/1211	Time: 170.639/86400
c Decision: 14/1211	Time: 171.934/86400
c Decision: 14/1211	Time: 173.174/86400
c Decision: 14/1211	Time: 174.259/86400
c Decision: 14/1211	Time: 175.444/86400
c Decision: 14/1211	Time: 176.647/86400
c Decision: 14/1211	Time: 177.943/86400
c Decision: 14/1211	Time: 179.12/86400
c Decision: 14/1211	Time: 180.338/86400
c Decision: 14/1211	Time: 181.627/86400
c Decision: 14/1211	Time: 182.904/86400
c Decision: 14/1211	Time: 184.374/86400
c Decision: 14/1211	Time: 185.61/86400
c Decision: 14/1211	Time: 186.742/86400
c Decision: 14/1211	Time: 187.888/86400
c Decision: 14/1211	Time: 189.055/86400
c Decision: 14/1211	Time: 190.388/86400
c Decision: 14/1211	Time: 191.677/86400
c Decision: 14/1211	Time: 192.839/86400
c Decision: 14/1211	Time: 194.085/86400
c Decision: 14/1211	Time: 195.353/86400
c Decision: 14/1211	Time: 196.791/86400
c Decision: 14/1211	Time: 197.945/86400
c Decision: 14/1211	Time: 199.137/86400
c Decision: 14/1211	Time: 200.263/86400
c Decision: 14/1211	Time: 201.478/86400
c Decision: 14/1211	Time: 202.885/86400
c Decision: 14/1211	Time: 204.073/86400
c Decision: 14/1211	Time: 205.229/86400
c Decision: 14/1211	Time: 206.47/86400
c Decision: 14/1211	Time: 207.669/86400
c Decision: 14/1211	Time: 209.073/86400
c Decision: 14/1211	Time: 210.181/86400
c Decision: 14/1211	Time: 211.387/86400
c Decision: 14/1211	Time: 212.572/86400
c Decision: 14/1211	Time: 213.837/86400
c Decision: 14/1211	Time: 215.253/86400
c Decision: 14/1211	Time: 216.58/86400
c Decision: 14/1211	Time: 217.781/86400
c Decision: 14/1211	Time: 219.052/86400
c Decision: 14/1211	Time: 220.285/86400
c Decision: 14/1211	Time: 221.73/86400
c Decision: 14/1211	Time: 222.868/86400
c Decision: 14/1211	Time: 224.085/86400
c Decision: 14/1211	Time: 225.205/86400
c Decision: 14/1211	Time: 226.423/86400
c Decision: 14/1211	Time: 227.91/86400
c Decision: 14/1211	Time: 229.172/86400
c Decision: 14/1211	Time: 230.403/86400
c Decision: 14/1211	Time: 231.833/86400
c Decision: 14/1211	Time: 233.151/86400
c Decision: 14/1211	Time: 234.725/86400
c Decision: 14/1211	Time: 235.903/86400
c Decision: 14/1211	Time: 237.255/86400
c Decision: 14/1211	Time: 238.509/86400
c Decision: 14/1211	Time: 239.747/86400
c Decision: 14/1211	Time: 241.199/86400
c Decision: 14/1211	Time: 242.481/86400
c Decision: 14/1211	Time: 243.744/86400
c Decision: 14/1211	Time: 244.897/86400
c Decision: 14/1211	Time: 246.313/86400
c Decision: 14/1211	Time: 247.795/86400
c Decision: 14/1211	Time: 249.215/86400
c Decision: 14/1211	Time: 250.452/86400
c Decision: 14/1211	Time: 251.774/86400
c Decision: 14/1211	Time: 252.967/86400
c Decision: 14/1211	Time: 254.527/86400
c Decision: 14/1211	Time: 255.786/86400
c Decision: 14/1211	Time: 257.089/86400
c Decision: 14/1211	Time: 258.268/86400
c Decision: 14/1211	Time: 259.622/86400
c Decision: 14/1211	Time: 261.087/86400
c Decision: 14/1211	Time: 262.346/86400
c Decision: 14/1211	Time: 263.72/86400
c Decision: 14/1211	Time: 265.042/86400
c Decision: 14/1211	Time: 266.399/86400
c Decision: 14/1211	Time: 268.05/86400
c Decision: 14/1211	Time: 269.344/86400
c Decision: 14/1211	Time: 270.695/86400
c Decision: 14/1211	Time: 272.153/86400
c Decision: 14/1211	Time: 273.543/86400
c Decision: 14/1211	Time: 275.15/86400
c Decision: 14/1211	Time: 276.53/86400
c Decision: 14/1211	Time: 277.842/86400
c Decision: 14/1211	Time: 279.217/86400
c Decision: 14/1211	Time: 280.536/86400
c Decision: 14/1211	Time: 282.22/86400
c Decision: 14/1211	Time: 283.622/86400
c Decision: 14/1211	Time: 284.851/86400
c Decision: 14/1211	Time: 286.188/86400
c Decision: 14/1211	Time: 287.492/86400
c Decision: 14/1211	Time: 289.102/86400
c Decision: 14/1211	Time: 290.376/86400
c Decision: 14/1211	Time: 291.847/86400
c Decision: 14/1211	Time: 293.141/86400
c Decision: 14/1211	Time: 294.417/86400
c Decision: 14/1211	Time: 296.071/86400
c Decision: 14/1211	Time: 297.468/86400
c Decision: 14/1211	Time: 298.871/86400
c Decision: 14/1211	Time: 300.25/86400
c Decision: 14/1211	Time: 301.725/86400
c Decision: 14/1211	Time: 303.443/86400
c Decision: 14/1211	Time: 305.057/86400
c Decision: 14/1211	Time: 306.432/86400
c Decision: 14/1211	Time: 307.942/86400
c Decision: 14/1211	Time: 309.254/86400
c Decision: 14/1211	Time: 310.954/86400
c Decision: 14/1211	Time: 312.322/86400
c Decision: 14/1211	Time: 313.533/86400
c Decision: 14/1211	Time: 315.061/86400
c Decision: 14/1211	Time: 316.439/86400
c Decision: 14/1211	Time: 318.226/86400
c Decision: 14/1211	Time: 319.684/86400
c Decision: 14/1211	Time: 321.144/86400
c Decision: 14/1211	Time: 322.433/86400
c Decision: 14/1211	Time: 323.815/86400
c Decision: 14/1211	Time: 325.643/86400
c Decision: 14/1211	Time: 327.141/86400
c Decision: 14/1211	Time: 328.788/86400
c Decision: 14/1211	Time: 330.315/86400
c Decision: 14/1211	Time: 331.932/86400
c Decision: 14/1211	Time: 333.734/86400
c Decision: 14/1211	Time: 335.332/86400
c Decision: 14/1211	Time: 336.641/86400
c Decision: 14/1211	Time: 338.138/86400
c Decision: 14/1211	Time: 339.593/86400
c Decision: 14/1211	Time: 341.324/86400
c Decision: 14/1211	Time: 342.887/86400
c Decision: 14/1211	Time: 344.231/86400
c Decision: 14/1211	Time: 345.641/86400
c Decision: 14/1211	Time: 347.116/86400
c Decision: 14/1211	Time: 348.809/86400
c Decision: 14/1211	Time: 350.323/86400
c Decision: 14/1211	Time: 351.822/86400
c Decision: 14/1211	Time: 353.191/86400
c Decision: 14/1211	Time: 354.726/86400
c Decision: 14/1211	Time: 356.395/86400
c Decision: 14/1211	Time: 357.962/86400
c Decision: 14/1211	Time: 359.411/86400
c Decision: 14/1211	Time: 360.894/86400
c Decision: 14/1211	Time: 362.36/86400
c Decision: 14/1211	Time: 364.324/86400
c Decision: 14/1211	Time: 365.836/86400
c Decision: 14/1211	Time: 367.218/86400
c Decision: 14/1211	Time: 368.598/86400
c Decision: 14/1211	Time: 370.287/86400
c Decision: 14/1211	Time: 371.984/86400
c Decision: 14/1211	Time: 373.568/86400
c Decision: 14/1211	Time: 375.059/86400
c Decision: 14/1211	Time: 376.498/86400
c Decision: 14/1211	Time: 377.99/86400
c Decision: 14/1211	Time: 379.857/86400
c Decision: 14/1211	Time: 381.467/86400
c Decision: 14/1211	Time: 382.951/86400
c Decision: 14/1211	Time: 384.572/86400
c Decision: 14/1211	Time: 386.022/86400
c Decision: 14/1211	Time: 387.789/86400
c Decision: 14/1211	Time: 389.202/86400
c Decision: 14/1211	Time: 390.718/86400
c Decision: 14/1211	Time: 392.195/86400
c Decision: 14/1211	Time: 393.711/86400
c Decision: 14/1211	Time: 395.621/86400
c Decision: 14/1211	Time: 397.201/86400
c Decision: 14/1211	Time: 398.773/86400
c Decision: 14/1211	Time: 400.215/86400
c Decision: 14/1211	Time: 401.705/86400
c Decision: 14/1211	Time: 403.594/86400
c Decision: 14/1211	Time: 405.151/86400
c Decision: 14/1211	Time: 406.782/86400
c Decision: 14/1211	Time: 408.385/86400
c Decision: 14/1211	Time: 410.111/86400
c Decision: 14/1211	Time: 412.091/86400
c Decision: 14/1211	Time: 413.637/86400
c Decision: 14/1211	Time: 415.2/86400
c Decision: 14/1211	Time: 416.757/86400
c Decision: 14/1211	Time: 418.21/86400
c Decision: 14/1211	Time: 420.097/86400
c Decision: 14/1211	Time: 421.574/86400
c Decision: 14/1211	Time: 423.142/86400
c Decision: 14/1211	Time: 424.863/86400
c Decision: 14/1211	Time: 426.379/86400
c Decision: 14/1211	Time: 428.227/86400
c Decision: 14/1211	Time: 429.864/86400
c Decision: 14/1211	Time: 431.333/86400
c Decision: 14/1211	Time: 433.046/86400
c Decision: 14/1211	Time: 434.577/86400
c Decision: 14/1211	Time: 436.378/86400
c Decision: 14/1211	Time: 438.134/86400
c Decision: 14/1211	Time: 439.659/86400
c Decision: 14/1211	Time: 441.331/86400
c Decision: 14/1211	Time: 442.993/86400
c Decision: 14/1211	Time: 444.96/86400
c Decision: 14/1211	Time: 446.442/86400
c Decision: 14/1211	Time: 448.121/86400
c Decision: 14/1211	Time: 449.641/86400
c Decision: 14/1211	Time: 451.36/86400
c Decision: 14/1211	Time: 453.323/86400
c Decision: 14/1211	Time: 455.185/86400
c Decision: 14/1211	Time: 456.864/86400
c Decision: 14/1211	Time: 458.54/86400
c Decision: 14/1211	Time: 460.159/86400
c Decision: 14/1211	Time: 461.98/86400
c Decision: 14/1211	Time: 463.784/86400
c Decision: 14/1211	Time: 465.319/86400
c Decision: 14/1211	Time: 466.875/86400
c Decision: 14/1211	Time: 468.496/86400
c Decision: 14/1211	Time: 470.561/86400
c Decision: 14/1211	Time: 472.328/86400
c Decision: 14/1211	Time: 474.067/86400
c Decision: 14/1211	Time: 475.804/86400
c Decision: 14/1211	Time: 477.546/86400
c Decision: 14/1211	Time: 479.515/86400
c Decision: 14/1211	Time: 481.123/86400
c Decision: 14/1211	Time: 482.784/86400
c Decision: 14/1211	Time: 484.519/86400
c Decision: 14/1211	Time: 486.257/86400
c Decision: 14/1211	Time: 488.192/86400
c Decision: 14/1211	Time: 490.052/86400
c Decision: 14/1211	Time: 491.72/86400
c Decision: 14/1211	Time: 493.479/86400
c Decision: 14/1211	Time: 495.126/86400
c Decision: 14/1211	Time: 497.321/86400
c Decision: 14/1211	Time: 498.986/86400
c Decision: 14/1211	Time: 500.606/86400
c Decision: 14/1211	Time: 502.358/86400
c Decision: 14/1211	Time: 504.17/86400
c Decision: 14/1211	Time: 505.962/86400
c Decision: 14/1211	Time: 507.608/86400
c Decision: 14/1211	Time: 509.155/86400
c Decision: 14/1211	Time: 510.846/86400
c Decision: 14/1211	Time: 512.705/86400
c Decision: 14/1211	Time: 514.739/86400
c Decision: 14/1211	Time: 516.246/86400
c Decision: 14/1211	Time: 518.067/86400
c Decision: 14/1211	Time: 519.625/86400
c Decision: 14/1211	Time: 521.229/86400
c Decision: 14/1211	Time: 523.17/86400
c Decision: 14/1211	Time: 524.885/86400
c Decision: 14/1211	Time: 526.655/86400
c Decision: 14/1211	Time: 528.32/86400
c Decision: 14/1211	Time: 530.144/86400
c Decision: 14/1211	Time: 532.187/86400
c Decision: 14/1211	Time: 533.954/86400
c Decision: 14/1211	Time: 535.794/86400
c Decision: 14/1211	Time: 537.568/86400
c Decision: 14/1211	Time: 539.195/86400
c Decision: 14/1211	Time: 541.223/86400
c Decision: 14/1211	Time: 543.002/86400
c Decision: 14/1211	Time: 544.537/86400
c Decision: 14/1211	Time: 546.237/86400
c Decision: 14/1211	Time: 547.899/86400
c Decision: 14/1211	Time: 549.821/86400
c Decision: 14/1211	Time: 551.397/86400
c Decision: 14/1211	Time: 553.085/86400
c Decision: 14/1211	Time: 554.708/86400
c Decision: 14/1211	Time: 556.367/86400
c Decision: 14/1211	Time: 558.338/86400
c Decision: 14/1211	Time: 560.047/86400
c Decision: 14/1211	Time: 561.68/86400
c Decision: 14/1211	Time: 563.314/86400
c Decision: 14/1211	Time: 565.127/86400
c Decision: 14/1211	Time: 567.208/86400
c Decision: 14/1211	Time: 568.909/86400
c Decision: 14/1211	Time: 570.623/86400
c Decision: 14/1211	Time: 572.488/86400
c Decision: 14/1211	Time: 574.144/86400
c Decision: 14/1211	Time: 576.138/86400
c Decision: 14/1211	Time: 578.052/86400
c Decision: 14/1211	Time: 579.785/86400
c Decision: 14/1211	Time: 581.548/86400
c Decision: 14/1211	Time: 583.245/86400
c Decision: 14/1211	Time: 585.385/86400
c Decision: 14/1211	Time: 587.214/86400
c Decision: 14/1211	Time: 588.925/86400
c Decision: 14/1211	Time: 590.706/86400
c Decision: 14/1211	Time: 592.349/86400
c Decision: 14/1211	Time: 594.584/86400
c Decision: 14/1211	Time: 596.209/86400
c Decision: 14/1211	Time: 598.099/86400
c Decision: 14/1211	Time: 600.014/86400
c Decision: 14/1211	Time: 601.757/86400
c Decision: 14/1211	Time: 603.834/86400
c Decision: 14/1211	Time: 605.518/86400
c Decision: 14/1211	Time: 607.532/86400
c Decision: 14/1211	Time: 609.368/86400
c Decision: 14/1211	Time: 611.117/86400
c Decision: 14/1211	Time: 613.329/86400
c Decision: 14/1211	Time: 614.994/86400
c Decision: 14/1211	Time: 616.81/86400
c Decision: 14/1211	Time: 618.569/86400
c Decision: 14/1211	Time: 620.635/86400
c Decision: 14/1211	Time: 622.62/86400
c Decision: 14/1211	Time: 624.347/86400
c Decision: 14/1211	Time: 626.066/86400
c Decision: 14/1211	Time: 627.78/86400
c Decision: 14/1211	Time: 629.444/86400
c Decision: 14/1211	Time: 631.609/86400
c Decision: 14/1211	Time: 633.269/86400
c Decision: 14/1211	Time: 634.89/86400
c Decision: 14/1211	Time: 636.584/86400
c Decision: 14/1211	Time: 638.448/86400
c Decision: 14/1211	Time: 640.503/86400
c Decision: 14/1211	Time: 642.302/86400
c Decision: 14/1211	Time: 643.997/86400
c Decision: 14/1211	Time: 645.882/86400
c Decision: 14/1211	Time: 647.664/86400
c Decision: 14/1211	Time: 649.94/86400
c Decision: 14/1211	Time: 651.595/86400
c Decision: 14/1211	Time: 653.355/86400
c Decision: 14/1211	Time: 654.976/86400
c Decision: 14/1211	Time: 656.905/86400
c Decision: 14/1211	Time: 659.104/86400
c Decision: 14/1211	Time: 660.837/86400
c Decision: 14/1211	Time: 662.751/86400
c Decision: 14/1211	Time: 664.544/86400
c Decision: 14/1211	Time: 666.153/86400
c Decision: 14/1211	Time: 668.371/86400
c Decision: 14/1211	Time: 670.189/86400
c Decision: 14/1211	Time: 672.061/86400
c Decision: 14/1211	Time: 673.713/86400
c Decision: 14/1211	Time: 675.597/86400
c Decision: 14/1211	Time: 677.807/86400
c Decision: 14/1211	Time: 679.763/86400
c Decision: 14/1211	Time: 681.742/86400
c Decision: 14/1211	Time: 683.355/86400
c Decision: 14/1211	Time: 685.143/86400
c Decision: 14/1211	Time: 687.507/86400
c Decision: 14/1211	Time: 689.147/86400
c Decision: 14/1211	Time: 690.956/86400
c Decision: 14/1211	Time: 692.91/86400
c Decision: 14/1211	Time: 694.673/86400
c Decision: 14/1211	Time: 696.966/86400
c Decision: 14/1211	Time: 698.836/86400
c Decision: 14/1211	Time: 700.813/86400
c Decision: 14/1211	Time: 702.713/86400
c Decision: 14/1211	Time: 704.504/86400
c Decision: 14/1211	Time: 706.688/86400
c Decision: 14/1211	Time: 708.388/86400
c Decision: 14/1211	Time: 710.215/86400
c Decision: 14/1211	Time: 712.095/86400
c Decision: 14/1211	Time: 713.966/86400
c Decision: 14/1211	Time: 716.138/86400
c Decision: 14/1211	Time: 718.188/86400
c Decision: 14/1211	Time: 719.952/86400
c Decision: 14/1211	Time: 721.883/86400
c Decision: 14/1211	Time: 723.727/86400
c Decision: 14/1211	Time: 725.974/86400
c Decision: 14/1211	Time: 727.664/86400
c Decision: 14/1211	Time: 729.611/86400
c Decision: 14/1211	Time: 731.476/86400
c Decision: 14/1211	Time: 733.238/86400
c Decision: 14/1211	Time: 735.388/86400
c Decision: 14/1211	Time: 737.178/86400
c Decision: 14/1211	Time: 739.268/86400
c Decision: 14/1211	Time: 741.047/86400
c Decision: 14/1211	Time: 743.099/86400
c Decision: 14/1211	Time: 745.365/86400
c Decision: 14/1211	Time: 747.25/86400
c Decision: 14/1211	Time: 749.144/86400
c Decision: 14/1211	Time: 751.113/86400
c Decision: 14/1211	Time: 752.896/86400
c Decision: 14/1211	Time: 755.227/86400
c Decision: 14/1211	Time: 756.872/86400
c Decision: 14/1211	Time: 758.577/86400
c Decision: 14/1211	Time: 760.433/86400
c Decision: 14/1211	Time: 762.147/86400
c Decision: 14/1211	Time: 764.348/86400
c Decision: 14/1211	Time: 766.236/86400
c Decision: 14/1211	Time: 768.175/86400
c Decision: 14/1211	Time: 770.225/86400
c Decision: 14/1211	Time: 772.015/86400
c Decision: 14/1211	Time: 774.271/86400
c Decision: 14/1211	Time: 776.081/86400
c Decision: 14/1211	Time: 778.066/86400
c Decision: 14/1211	Time: 779.918/86400
c Decision: 14/1211	Time: 781.681/86400
c Decision: 14/1211	Time: 784.155/86400
c Decision: 14/1211	Time: 785.965/86400
c Decision: 14/1211	Time: 788.126/86400
c Decision: 14/1211	Time: 790.169/86400
c Decision: 14/1211	Time: 791.998/86400
c Decision: 14/1211	Time: 794.249/86400
c Decision: 14/1211	Time: 796.12/86400
c Decision: 14/1211	Time: 798.085/86400
c Decision: 14/1211	Time: 799.897/86400
c Decision: 14/1211	Time: 801.902/86400
c Decision: 14/1211	Time: 803.938/86400
c Decision: 14/1211	Time: 805.734/86400
c Decision: 14/1211	Time: 807.681/86400
c Decision: 14/1211	Time: 809.5/86400
c Decision: 14/1211	Time: 811.412/86400
c Decision: 14/1211	Time: 813.613/86400
c Decision: 14/1211	Time: 815.503/86400
c Decision: 14/1211	Time: 817.655/86400
c Decision: 14/1211	Time: 819.417/86400
c Decision: 14/1211	Time: 821.394/86400
c Decision: 14/1211	Time: 823.574/86400
c Decision: 14/1211	Time: 825.713/86400
c Decision: 14/1211	Time: 827.637/86400
c Decision: 14/1211	Time: 829.517/86400
c Decision: 14/1211	Time: 831.619/86400
c Decision: 14/1211	Time: 833.952/86400
c Decision: 14/1211	Time: 835.887/86400
c Decision: 14/1211	Time: 837.843/86400
c Decision: 14/1211	Time: 840.054/86400
c Decision: 14/1211	Time: 842.153/86400
c Decision: 14/1211	Time: 844.575/86400
c Decision: 14/1211	Time: 846.648/86400
c Decision: 14/1211	Time: 848.71/86400
c Decision: 14/1211	Time: 850.886/86400
c Decision: 14/1211	Time: 852.873/86400
c Decision: 14/1211	Time: 855.327/86400
c Decision: 14/1211	Time: 857.137/86400
c Decision: 14/1211	Time: 859.039/86400
c Decision: 14/1211	Time: 861.083/86400
c Decision: 14/1211	Time: 863.08/86400
c Decision: 14/1211	Time: 865.525/86400
c Decision: 14/1211	Time: 867.462/86400
c Decision: 14/1211	Time: 869.467/86400
c Decision: 14/1211	Time: 871.378/86400
c Decision: 14/1211	Time: 873.54/86400
c Decision: 14/1211	Time: 875.9/86400
c Decision: 14/1211	Time: 878.034/86400
c Decision: 14/1211	Time: 879.924/86400
c Decision: 14/1211	Time: 882.162/86400
c Decision: 14/1211	Time: 884.141/86400
c Decision: 14/1211	Time: 886.569/86400
c Decision: 14/1211	Time: 888.424/86400
c Decision: 14/1211	Time: 890.345/86400
c Decision: 14/1211	Time: 892.197/86400
c Decision: 14/1211	Time: 894.299/86400
c Decision: 14/1211	Time: 896.502/86400
c Decision: 14/1211	Time: 898.499/86400
c Decision: 14/1211	Time: 900.552/86400
c Decision: 14/1211	Time: 902.632/86400
c Decision: 14/1211	Time: 904.706/86400
c Decision: 14/1211	Time: 907.178/86400
c Decision: 14/1211	Time: 909.245/86400
c Decision: 14/1211	Time: 911.26/86400
c Decision: 14/1211	Time: 913.146/86400
c Decision: 14/1211	Time: 915.127/86400
c Decision: 14/1211	Time: 917.456/86400
c Decision: 14/1211	Time: 919.664/86400
c Decision: 14/1211	Time: 921.613/86400
c Decision: 14/1211	Time: 923.622/86400
c Decision: 14/1211	Time: 925.742/86400
c Decision: 14/1211	Time: 928.232/86400
c Decision: 14/1211	Time: 930.158/86400
c Decision: 14/1211	Time: 932.343/86400
c Decision: 14/1211	Time: 934.337/86400
c Decision: 14/1211	Time: 936.402/86400
c Decision: 14/1211	Time: 938.964/86400
c Decision: 14/1211	Time: 940.852/86400
c Decision: 14/1211	Time: 942.816/86400
c Decision: 14/1211	Time: 944.756/86400
c Decision: 14/1211	Time: 946.721/86400
c Decision: 14/1211	Time: 949.428/86400
c Decision: 14/1211	Time: 951.739/86400
c Decision: 14/1211	Time: 953.714/86400
c Decision: 14/1211	Time: 955.889/86400
c Decision: 14/1211	Time: 957.821/86400
c Decision: 14/1211	Time: 960.22/86400
c Decision: 14/1211	Time: 962.305/86400
c Decision: 14/1211	Time: 964.507/86400
c Decision: 14/1211	Time: 966.443/86400
c Decision: 14/1211	Time: 968.699/86400
c Decision: 14/1211	Time: 971.039/86400
c Decision: 14/1211	Time: 973.214/86400
c Decision: 14/1211	Time: 975.245/86400
c Decision: 14/1211	Time: 977.338/86400
c Decision: 14/1211	Time: 979.33/86400
c Decision: 14/1211	Time: 981.798/86400
c Decision: 14/1211	Time: 983.755/86400
c Decision: 14/1211	Time: 986.227/86400
c Decision: 14/1211	Time: 988.302/86400
c Decision: 14/1211	Time: 990.407/86400
c Decision: 14/1211	Time: 992.685/86400
c Decision: 14/1211	Time: 994.772/86400
c Decision: 14/1211	Time: 996.928/86400
c Decision: 14/1211	Time: 999.197/86400
c Decision: 14/1211	Time: 1001.26/86400
c Decision: 14/1211	Time: 1003.85/86400
c Decision: 14/1211	Time: 1005.87/86400
c Decision: 14/1211	Time: 1008.06/86400
c Decision: 14/1211	Time: 1010.1/86400
c Decision: 14/1211	Time: 1012.28/86400
c Decision: 14/1211	Time: 1014.79/86400
c Decision: 14/1211	Time: 1016.96/86400
c Decision: 14/1211	Time: 1019.15/86400
c Decision: 14/1211	Time: 1021.31/86400
c Decision: 14/1211	Time: 1023.55/86400
c Decision: 14/1211	Time: 1025.85/86400
c Decision: 14/1211	Time: 1028/86400
c Decision: 14/1211	Time: 1029.99/86400
c Decision: 14/1211	Time: 1032.17/86400
c Decision: 14/1211	Time: 1034.27/86400
c Decision: 14/1211	Time: 1036.66/86400
c Decision: 14/1211	Time: 1038.89/86400
c Decision: 14/1211	Time: 1041.35/86400
c Decision: 14/1211	Time: 1043.56/86400
c Decision: 14/1211	Time: 1045.55/86400
c Decision: 14/1211	Time: 1048.08/86400
c Decision: 14/1211	Time: 1050.11/86400
c Decision: 14/1211	Time: 1052.41/86400
c Decision: 14/1211	Time: 1054.37/86400
c Decision: 14/1211	Time: 1056.72/86400
c Decision: 14/1211	Time: 1059.36/86400
c Decision: 14/1211	Time: 1061.71/86400
c Decision: 14/1211	Time: 1063.72/86400
c Decision: 14/1211	Time: 1065.95/86400
c Decision: 14/1211	Time: 1068.22/86400
c Decision: 14/1211	Time: 1071.16/86400
c Decision: 14/1211	Time: 1073.17/86400
c Decision: 14/1211	Time: 1075.58/86400
c Decision: 14/1211	Time: 1077.88/86400
c Decision: 14/1211	Time: 1079.98/86400
c Decision: 14/1211	Time: 1082.62/86400
c Decision: 14/1211	Time: 1084.85/86400
c Decision: 14/1211	Time: 1087/86400
c Decision: 14/1211	Time: 1089.16/86400
c Decision: 14/1211	Time: 1091.28/86400
c Decision: 14/1211	Time: 1093.83/86400
c Decision: 14/1211	Time: 1095.84/86400
c Decision: 14/1211	Time: 1098.14/86400
c Decision: 14/1211	Time: 1100.31/86400
c Decision: 14/1211	Time: 1102.5/86400
c Decision: 14/1211	Time: 1105.11/86400
c Decision: 14/1211	Time: 1107.24/86400
c Decision: 14/1211	Time: 1109.67/86400
c Decision: 14/1211	Time: 1111.82/86400
c Decision: 14/1211	Time: 1113.83/86400
c Decision: 14/1211	Time: 1116.36/86400
c Decision: 14/1211	Time: 1118.58/86400
c Decision: 14/1211	Time: 1120.66/86400
c Decision: 14/1211	Time: 1122.76/86400
c Decision: 14/1211	Time: 1125.07/86400
c Decision: 14/1211	Time: 1128.09/86400
c Decision: 14/1211	Time: 1130.06/86400
c Decision: 14/1211	Time: 1132.36/86400
c Decision: 14/1211	Time: 1134.58/86400
c Decision: 14/1211	Time: 1136.83/86400
c Decision: 14/1211	Time: 1139.72/86400
c Decision: 14/1211	Time: 1142.15/86400
c Decision: 14/1211	Time: 1144.16/86400
c Decision: 14/1211	Time: 1146.23/86400
c Decision: 14/1211	Time: 1148.19/86400
c Decision: 14/1211	Time: 1150.83/86400
c Decision: 14/1211	Time: 1153.1/86400
c Decision: 14/1211	Time: 1155.16/86400
c Decision: 14/1211	Time: 1157.57/86400
c Decision: 14/1211	Time: 1159.58/86400
c Decision: 14/1211	Time: 1162.49/86400
c Decision: 14/1211	Time: 1164.81/86400
c Decision: 14/1211	Time: 1167.04/86400
c Decision: 14/1211	Time: 1169.48/86400
c Decision: 14/1211	Time: 1171.55/86400
c Decision: 14/1211	Time: 1174.27/86400
c Decision: 14/1211	Time: 1176.7/86400
c Decision: 14/1211	Time: 1178.88/86400
c Decision: 14/1211	Time: 1181.09/86400
c Decision: 14/1211	Time: 1183.5/86400
c Decision: 14/1211	Time: 1186.11/86400
c Decision: 14/1211	Time: 1188.55/86400
c Decision: 14/1211	Time: 1190.83/86400
c Decision: 14/1211	Time: 1193.09/86400
c Decision: 14/1211	Time: 1195.27/86400
c Decision: 14/1211	Time: 1197.63/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.37 0.63 0.77 2/54 32630
Raw data (stat): 32630 (runsolver) R 32629 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965235841 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0012 s]
Raw data (loadavg): 0.46 0.64 0.77 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 1016 0 0 0 993 6 0 0 25 0 1 0 965235841 5218304 954 4294967295 134512640 135730672 3221224592 3221222912 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1274 954 301 301 0 973 0
vsize: 5096
[startup+20.002 s]
Raw data (loadavg): 0.55 0.65 0.77 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 1452 0 0 0 1988 11 0 0 25 0 1 0 965235841 6279168 1293 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1533 1293 301 301 0 1232 0
vsize: 6132
[startup+30.0022 s]
Raw data (loadavg): 0.61 0.66 0.78 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 1983 0 0 0 2982 17 0 0 25 0 1 0 965235841 9699328 1631 4294967295 134512640 135730672 3221224592 3221223088 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2368 1631 301 301 0 2067 0
vsize: 9472
[startup+40.0023 s]
Raw data (loadavg): 0.67 0.67 0.78 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 2294 0 0 0 3978 21 0 0 25 0 1 0 965235841 10104832 1942 4294967295 134512640 135730672 3221224592 3221222912 134732870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2467 1942 301 301 0 2166 0
vsize: 9868
[startup+50.0036 s]
Raw data (loadavg): 0.72 0.68 0.78 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 2599 0 0 0 4975 24 0 0 25 0 1 0 965235841 10510336 2247 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2566 2247 301 301 0 2265 0
vsize: 10264
[startup+60.0033 s]
Raw data (loadavg): 0.77 0.69 0.78 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 3261 0 0 0 5971 28 0 0 25 0 1 0 965235841 16695296 2524 4294967295 134512640 135730672 3221224592 3221223200 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4076 2524 301 301 0 3775 0
vsize: 16304
[startup+70.0034 s]
Raw data (loadavg): 0.80 0.70 0.78 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 3529 0 0 0 6968 31 0 0 25 0 1 0 965235841 17108992 2792 4294967295 134512640 135730672 3221224592 3221223196 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4177 2792 301 301 0 3876 0
vsize: 16708
[startup+80.0041 s]
Raw data (loadavg): 0.83 0.71 0.79 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 3705 0 0 0 7964 35 0 0 25 0 1 0 965235841 17403904 2968 4294967295 134512640 135730672 3221224592 3221223072 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4249 2968 301 301 0 3948 0
vsize: 16996
[startup+90.0043 s]
Raw data (loadavg): 0.86 0.72 0.79 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 3923 0 0 0 8962 37 0 0 25 0 1 0 965235841 17678336 3186 4294967295 134512640 135730672 3221224592 3221223104 134746481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4316 3186 301 301 0 4015 0
vsize: 17264
[startup+100.006 s]
Raw data (loadavg): 0.88 0.73 0.79 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 4123 0 0 0 9959 40 0 0 25 0 1 0 965235841 18120704 3386 4294967295 134512640 135730672 3221224592 3221223216 134748141 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4424 3386 301 301 0 4123 0
vsize: 17696
[startup+110.006 s]
Raw data (loadavg): 0.90 0.74 0.79 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 4336 0 0 0 10956 43 0 0 25 0 1 0 965235841 18534400 3599 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4525 3599 301 301 0 4224 0
vsize: 18100
[startup+120.006 s]
Raw data (loadavg): 0.91 0.74 0.79 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 4480 0 0 0 11954 45 0 0 25 0 1 0 965235841 18821120 3743 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4595 3743 301 301 0 4294 0
vsize: 18380
[startup+130.008 s]
Raw data (loadavg): 0.92 0.75 0.80 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 4672 0 0 0 12952 47 0 0 25 0 1 0 965235841 19099648 3935 4294967295 134512640 135730672 3221224592 3221223088 134747794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4663 3935 301 301 0 4362 0
vsize: 18652
[startup+140.008 s]
Raw data (loadavg): 0.94 0.76 0.80 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 4847 0 0 0 13950 49 0 0 25 0 1 0 965235841 19378176 4110 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4731 4110 301 301 0 4430 0
vsize: 18924
[startup+150.01 s]
Raw data (loadavg): 0.95 0.77 0.80 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 5756 0 0 0 14945 54 0 0 25 0 1 0 965235841 22654976 4250 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5531 4250 301 301 0 5230 0
vsize: 22124
[startup+160.01 s]
Raw data (loadavg): 0.95 0.77 0.80 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 5942 0 0 0 15943 56 0 0 25 0 1 0 965235841 22925312 4436 4294967295 134512640 135730672 3221224592 3221223088 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5597 4436 301 301 0 5296 0
vsize: 22388
[startup+170.009 s]
Raw data (loadavg): 0.96 0.78 0.80 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6077 0 0 0 16941 58 0 0 25 0 1 0 965235841 23207936 4571 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5666 4571 301 301 0 5365 0
vsize: 22664
[startup+180.01 s]
Raw data (loadavg): 0.97 0.79 0.81 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6255 0 0 0 17938 61 0 0 25 0 1 0 965235841 23351296 4749 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5701 4749 301 301 0 5400 0
vsize: 22804
[startup+190.011 s]
Raw data (loadavg): 0.97 0.80 0.81 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6386 0 0 0 18935 64 0 0 25 0 1 0 965235841 32030720 4880 4294967295 134512640 135730672 3221224592 3221223136 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 4880 301 301 0 7519 0
vsize: 31280
[startup+200.012 s]
Raw data (loadavg): 0.97 0.80 0.81 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6501 0 0 0 19933 67 0 0 25 0 1 0 965235841 32301056 4995 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 4995 301 301 0 7585 0
vsize: 31544
[startup+210.012 s]
Raw data (loadavg): 0.98 0.81 0.81 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6622 0 0 0 20930 69 0 0 25 0 1 0 965235841 32460800 5116 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7925 5116 301 301 0 7624 0
vsize: 31700
[startup+220.012 s]
Raw data (loadavg): 0.98 0.81 0.81 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6706 0 0 0 21928 71 0 0 25 0 1 0 965235841 32751616 5200 4294967295 134512640 135730672 3221224592 3221223088 134747871 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7996 5200 301 301 0 7695 0
vsize: 31984
[startup+230.012 s]
Raw data (loadavg): 0.98 0.82 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 6863 0 0 0 22926 73 0 0 25 0 1 0 965235841 32907264 5357 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8034 5357 301 301 0 7733 0
vsize: 32136
[startup+240.012 s]
Raw data (loadavg): 0.99 0.82 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7019 0 0 0 23924 75 0 0 25 0 1 0 965235841 33189888 5513 4294967295 134512640 135730672 3221224592 3221223104 134746237 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8103 5513 301 301 0 7802 0
vsize: 32412
[startup+250.013 s]
Raw data (loadavg): 0.99 0.83 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7106 0 0 0 24922 77 0 0 25 0 1 0 965235841 33488896 5600 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8176 5600 301 301 0 7875 0
vsize: 32704
[startup+260.014 s]
Raw data (loadavg): 0.99 0.83 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7236 0 0 0 25920 79 0 0 25 0 1 0 965235841 33619968 5730 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8208 5730 301 301 0 7907 0
vsize: 32832
[startup+270.013 s]
Raw data (loadavg): 0.99 0.84 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7382 0 0 0 26918 81 0 0 25 0 1 0 965235841 33767424 5876 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8244 5876 301 301 0 7943 0
vsize: 32976
[startup+280.014 s]
Raw data (loadavg): 0.99 0.84 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7505 0 0 0 27916 83 0 0 25 0 1 0 965235841 34029568 5999 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8308 5999 301 301 0 8007 0
vsize: 33232
[startup+290.014 s]
Raw data (loadavg): 0.99 0.85 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7628 0 0 0 28915 85 0 0 25 0 1 0 965235841 34156544 6122 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8339 6122 301 301 0 8038 0
vsize: 33356
[startup+300.015 s]
Raw data (loadavg): 0.99 0.85 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7739 0 0 0 29913 87 0 0 25 0 1 0 965235841 34291712 6233 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8372 6233 301 301 0 8071 0
vsize: 33488
[startup+310.015 s]
Raw data (loadavg): 0.99 0.86 0.82 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 7914 0 0 0 30911 89 0 0 25 0 1 0 965235841 34631680 6408 4294967295 134512640 135730672 3221224592 3221223088 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8455 6408 301 301 0 8154 0
vsize: 33820
[startup+320.016 s]
Raw data (loadavg): 0.99 0.86 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8016 0 0 0 31910 90 0 0 25 0 1 0 965235841 34828288 6510 4294967295 134512640 135730672 3221224592 3221223104 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8503 6510 301 301 0 8202 0
vsize: 34012
[startup+330.016 s]
Raw data (loadavg): 0.99 0.87 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8129 0 0 0 32908 91 0 0 25 0 1 0 965235841 35143680 6623 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8580 6623 301 301 0 8279 0
vsize: 34320
[startup+340.016 s]
Raw data (loadavg): 0.99 0.87 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8204 0 0 0 33907 93 0 0 25 0 1 0 965235841 35278848 6698 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8613 6698 301 301 0 8312 0
vsize: 34452
[startup+350.017 s]
Raw data (loadavg): 0.99 0.87 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8348 0 0 0 34905 95 0 0 25 0 1 0 965235841 35442688 6842 4294967295 134512640 135730672 3221224592 3221223148 134740375 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8653 6842 301 301 0 8352 0
vsize: 34612
[startup+360.017 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8464 0 0 0 35904 96 0 0 25 0 1 0 965235841 35766272 6958 4294967295 134512640 135730672 3221224592 3221223136 134740284 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8732 6958 301 301 0 8431 0
vsize: 34928
[startup+370.018 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8584 0 0 0 36901 99 0 0 25 0 1 0 965235841 35938304 7078 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8774 7078 301 301 0 8473 0
vsize: 35096
[startup+380.018 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8684 0 0 0 37899 100 0 0 25 0 1 0 965235841 36069376 7178 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8806 7178 301 301 0 8505 0
vsize: 35224
[startup+390.018 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8795 0 0 0 38898 102 0 0 25 0 1 0 965235841 36380672 7289 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8882 7289 301 301 0 8581 0
vsize: 35528
[startup+400.02 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 8893 0 0 0 39896 104 0 0 25 0 1 0 965235841 36683776 7387 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8956 7387 301 301 0 8655 0
vsize: 35824
[startup+410.02 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 10542 0 0 0 40891 108 0 0 25 0 1 0 965235841 42975232 7499 4294967295 134512640 135730672 3221224592 3221223168 134763668 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10492 7499 301 301 0 10191 0
vsize: 41968
[startup+420.019 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 10652 0 0 0 41890 110 0 0 25 0 1 0 965235841 43110400 7609 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10525 7609 301 301 0 10224 0
vsize: 42100
[startup+430.021 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 10748 0 0 0 42889 111 0 0 25 0 1 0 965235841 43233280 7705 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10555 7705 301 301 0 10254 0
vsize: 42220
[startup+440.021 s]
Raw data (loadavg): 0.99 0.90 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 10828 0 0 0 43887 113 0 0 25 0 1 0 965235841 43368448 7785 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10588 7785 301 301 0 10287 0
vsize: 42352
[startup+450.022 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 10926 0 0 0 44885 115 0 0 25 0 1 0 965235841 43696128 7883 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10668 7883 301 301 0 10367 0
vsize: 42672
[startup+460.023 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11024 0 0 0 45883 117 0 0 25 0 1 0 965235841 43859968 7981 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10708 7981 301 301 0 10407 0
vsize: 42832
[startup+470.022 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11111 0 0 0 46881 119 0 0 25 0 1 0 965235841 44032000 8068 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10750 8068 301 301 0 10449 0
vsize: 43000
[startup+480.023 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11221 0 0 0 47880 120 0 0 25 0 1 0 965235841 44314624 8178 4294967295 134512640 135730672 3221224592 3221223088 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10819 8178 301 301 0 10518 0
vsize: 43276
[startup+490.023 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11305 0 0 0 48876 123 0 0 25 0 1 0 965235841 44314624 8262 4294967295 134512640 135730672 3221224592 3221223104 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10819 8262 301 301 0 10518 0
vsize: 43276
[startup+500.025 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11395 0 0 0 49875 124 0 0 25 0 1 0 965235841 44580864 8352 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10884 8352 301 301 0 10583 0
vsize: 43536
[startup+510.025 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11487 0 0 0 50872 127 0 0 25 0 1 0 965235841 44703744 8444 4294967295 134512640 135730672 3221224592 3221223088 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10914 8444 301 301 0 10613 0
vsize: 43656
[startup+520.025 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11577 0 0 0 51870 129 0 0 25 0 1 0 965235841 44847104 8534 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10949 8534 301 301 0 10648 0
vsize: 43796
[startup+530.026 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11647 0 0 0 52869 130 0 0 25 0 1 0 965235841 44978176 8604 4294967295 134512640 135730672 3221224592 3221223088 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10981 8604 301 301 0 10680 0
vsize: 43924
[startup+540.026 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11718 0 0 0 53867 132 0 0 25 0 1 0 965235841 45113344 8675 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11014 8675 301 301 0 10713 0
vsize: 44056
[startup+550.027 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11818 0 0 0 54865 134 0 0 25 0 1 0 965235841 45236224 8775 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11044 8775 301 301 0 10743 0
vsize: 44176
[startup+560.028 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 11914 0 0 0 55863 136 0 0 25 0 1 0 965235841 45359104 8871 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11074 8871 301 301 0 10773 0
vsize: 44296
[startup+570.027 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12019 0 0 0 56863 136 0 0 25 0 1 0 965235841 45490176 8976 4294967295 134512640 135730672 3221224592 3221223088 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11106 8976 301 301 0 10805 0
vsize: 44424
[startup+580.027 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12088 0 0 0 57862 137 0 0 25 0 1 0 965235841 45617152 9045 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11137 9045 301 301 0 10836 0
vsize: 44548
[startup+590.026 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12152 0 0 0 58862 138 0 0 25 0 1 0 965235841 45756416 9109 4294967295 134512640 135730672 3221224592 3221223248 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11171 9109 301 301 0 10870 0
vsize: 44684
[startup+600.027 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12214 0 0 0 59861 139 0 0 25 0 1 0 965235841 45936640 9171 4294967295 134512640 135730672 3221224592 3221223104 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11215 9171 301 301 0 10914 0
vsize: 44860
[startup+610.027 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12256 0 0 0 60860 140 0 0 25 0 1 0 965235841 46088192 9213 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11252 9213 301 301 0 10951 0
vsize: 45008
[startup+620.027 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12337 0 0 0 61859 141 0 0 25 0 1 0 965235841 46215168 9294 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11283 9294 301 301 0 10982 0
vsize: 45132
[startup+630.027 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12449 0 0 0 62859 142 0 0 25 0 1 0 965235841 46391296 9406 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11326 9406 301 301 0 11025 0
vsize: 45304
[startup+640.027 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12577 0 0 0 63858 142 0 0 25 0 1 0 965235841 46391296 9534 4294967295 134512640 135730672 3221224592 3221222504 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11326 9534 301 301 0 11025 0
vsize: 45304
[startup+650.028 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12671 0 0 0 64858 143 0 0 25 0 1 0 965235841 46649344 9628 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11389 9628 301 301 0 11088 0
vsize: 45556
[startup+660.028 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12724 0 0 0 65857 144 0 0 25 0 1 0 965235841 46649344 9681 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11389 9681 301 301 0 11088 0
vsize: 45556
[startup+670.028 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12785 0 0 0 66856 145 0 0 25 0 1 0 965235841 46927872 9742 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11457 9742 301 301 0 11156 0
vsize: 45828
[startup+680.029 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12855 0 0 0 67855 146 0 0 25 0 1 0 965235841 47063040 9812 4294967295 134512640 135730672 3221224592 3221223104 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11490 9812 301 301 0 11189 0
vsize: 45960
[startup+690.028 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12910 0 0 0 68855 147 0 0 25 0 1 0 965235841 47063040 9867 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11490 9867 301 301 0 11189 0
vsize: 45960
[startup+700.029 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 12999 0 0 0 69854 148 0 0 25 0 1 0 965235841 47198208 9956 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11523 9956 301 301 0 11222 0
vsize: 46092
[startup+710.029 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13059 0 0 0 70853 149 0 0 25 0 1 0 965235841 47333376 10016 4294967295 134512640 135730672 3221224592 3221223088 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11556 10016 301 301 0 11255 0
vsize: 46224
[startup+720.028 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13130 0 0 0 71852 150 0 0 25 0 1 0 965235841 47333376 10087 4294967295 134512640 135730672 3221224592 3221223104 134746474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11556 10087 301 301 0 11255 0
vsize: 46224
[startup+730.029 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13219 0 0 0 72850 152 0 0 25 0 1 0 965235841 47460352 10176 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11587 10176 301 301 0 11286 0
vsize: 46348
[startup+740.029 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13279 0 0 0 73850 153 0 0 25 0 1 0 965235841 47652864 10236 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11634 10236 301 301 0 11333 0
vsize: 46536
[startup+750.03 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13336 0 0 0 74849 154 0 0 25 0 1 0 965235841 47779840 10293 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11665 10293 301 301 0 11364 0
vsize: 46660
[startup+760.031 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13408 0 0 0 75848 154 0 0 25 0 1 0 965235841 47779840 10365 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11665 10365 301 301 0 11364 0
vsize: 46660
[startup+770.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13502 0 0 0 76848 155 0 0 25 0 1 0 965235841 47902720 10459 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11695 10459 301 301 0 11394 0
vsize: 46780
[startup+780.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13595 0 0 0 77847 156 0 0 25 0 1 0 965235841 64819200 10552 4294967295 134512640 135730672 3221224592 3221223104 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15825 10552 301 301 0 15524 0
vsize: 63300
[startup+790.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13673 0 0 0 78846 157 0 0 25 0 1 0 965235841 64974848 10630 4294967295 134512640 135730672 3221224592 3221223104 134746514 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15863 10630 301 301 0 15562 0
vsize: 63452
[startup+800.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13739 0 0 0 79845 159 0 0 25 0 1 0 965235841 64974848 10696 4294967295 134512640 135730672 3221224592 3221223104 134746190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15863 10696 301 301 0 15562 0
vsize: 63452
[startup+810.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13825 0 0 0 80844 160 0 0 25 0 1 0 965235841 65110016 10782 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15896 10782 301 301 0 15595 0
vsize: 63584
[startup+820.03 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 13919 0 0 0 81843 161 0 0 25 0 1 0 965235841 65269760 10876 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15935 10876 301 301 0 15634 0
vsize: 63740
[startup+830.03 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14015 0 0 0 82842 163 0 0 25 0 1 0 965235841 65409024 10972 4294967295 134512640 135730672 3221224592 3221223088 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15969 10972 301 301 0 15668 0
vsize: 63876
[startup+840.03 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14097 0 0 0 83840 164 0 0 25 0 1 0 965235841 65409024 11054 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15969 11054 301 301 0 15668 0
vsize: 63876
[startup+850.031 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14182 0 0 0 84839 166 0 0 25 0 1 0 965235841 65597440 11139 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16015 11139 301 301 0 15714 0
vsize: 64060
[startup+860.032 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14261 0 0 0 85838 166 0 0 25 0 1 0 965235841 65597440 11218 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16015 11218 301 301 0 15714 0
vsize: 64060
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14373 0 0 0 86838 167 0 0 25 0 1 0 965235841 65867776 11330 4294967295 134512640 135730672 3221224592 3221223088 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 11330 301 301 0 15780 0
vsize: 64324
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14455 0 0 0 87837 169 0 0 25 0 1 0 965235841 65867776 11412 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16081 11412 301 301 0 15780 0
vsize: 64324
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14534 0 0 0 88836 169 0 0 25 0 1 0 965235841 66002944 11491 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16114 11491 301 301 0 15813 0
vsize: 64456
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14586 0 0 0 89835 170 0 0 25 0 1 0 965235841 66158592 11543 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16152 11543 301 301 0 15851 0
vsize: 64608
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14704 0 0 0 90835 171 0 0 25 0 1 0 965235841 66428928 11661 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16218 11661 301 301 0 15917 0
vsize: 64872
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14755 0 0 0 91834 172 0 0 25 0 1 0 965235841 66428928 11712 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16218 11712 301 301 0 15917 0
vsize: 64872
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14857 0 0 0 92833 173 0 0 25 0 1 0 965235841 66699264 11814 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16284 11814 301 301 0 15983 0
vsize: 65136
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 14910 0 0 0 93832 175 0 0 25 0 1 0 965235841 66699264 11867 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16284 11867 301 301 0 15983 0
vsize: 65136
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15009 0 0 0 94831 176 0 0 25 0 1 0 965235841 66830336 11966 4294967295 134512640 135730672 3221224592 3221223136 134740420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16316 11966 301 301 0 16015 0
vsize: 65264
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15126 0 0 0 95830 177 0 0 25 0 1 0 965235841 67235840 12083 4294967295 134512640 135730672 3221224592 3221223104 134746235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16415 12083 301 301 0 16114 0
vsize: 65660
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15156 0 0 0 96829 178 0 0 25 0 1 0 965235841 67235840 12113 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16415 12113 301 301 0 16114 0
vsize: 65660
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15207 0 0 0 97829 179 0 0 25 0 1 0 965235841 67497984 12164 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16479 12164 301 301 0 16178 0
vsize: 65916
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15242 0 0 0 98827 180 0 0 25 0 1 0 965235841 67497984 12199 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16479 12199 301 301 0 16178 0
vsize: 65916
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15277 0 0 0 99827 181 0 0 25 0 1 0 965235841 67624960 12234 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16510 12234 301 301 0 16209 0
vsize: 66040
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15318 0 0 0 100827 181 0 0 25 0 1 0 965235841 67624960 12275 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16510 12275 301 301 0 16209 0
vsize: 66040
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15385 0 0 0 101826 182 0 0 25 0 1 0 965235841 67895296 12342 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16576 12342 301 301 0 16275 0
vsize: 66304
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15410 0 0 0 102825 183 0 0 25 0 1 0 965235841 67895296 12367 4294967295 134512640 135730672 3221224592 3221223104 134746483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16576 12367 301 301 0 16275 0
vsize: 66304
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15480 0 0 0 103825 184 0 0 25 0 1 0 965235841 68169728 12437 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16643 12437 301 301 0 16342 0
vsize: 66572
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15589 0 0 0 104824 185 0 0 25 0 1 0 965235841 68440064 12546 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16709 12546 301 301 0 16408 0
vsize: 66836
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15651 0 0 0 105823 186 0 0 25 0 1 0 965235841 68587520 12608 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16745 12608 301 301 0 16444 0
vsize: 66980
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15734 0 0 0 106822 187 0 0 25 0 1 0 965235841 68587520 12691 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16745 12691 301 301 0 16444 0
vsize: 66980
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15797 0 0 0 107822 187 0 0 25 0 1 0 965235841 68763648 12754 4294967295 134512640 135730672 3221224592 3221223104 134746399 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16788 12754 301 301 0 16487 0
vsize: 67152
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15841 0 0 0 108821 188 0 0 25 0 1 0 965235841 69046272 12798 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16857 12798 301 301 0 16556 0
vsize: 67428
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15868 0 0 0 109821 189 0 0 25 0 1 0 965235841 69046272 12825 4294967295 134512640 135730672 3221224592 3221223104 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16857 12825 301 301 0 16556 0
vsize: 67428
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15920 0 0 0 110819 190 0 0 25 0 1 0 965235841 69185536 12877 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16891 12877 301 301 0 16590 0
vsize: 67564
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 15961 0 0 0 111819 191 0 0 25 0 1 0 965235841 69185536 12918 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16891 12918 301 301 0 16590 0
vsize: 67564
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 16052 0 0 0 112818 192 0 0 25 0 1 0 965235841 69447680 13009 4294967295 134512640 135730672 3221224592 3221223104 134746514 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16955 13009 301 301 0 16654 0
vsize: 67820
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19215 0 0 0 113811 200 0 0 25 0 1 0 965235841 82030592 13099 4294967295 134512640 135730672 3221224592 3221223088 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20027 13099 301 301 0 19726 0
vsize: 80108
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19300 0 0 0 114810 201 0 0 25 0 1 0 965235841 82169856 13184 4294967295 134512640 135730672 3221224592 3221223104 134745792 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20061 13184 301 301 0 19760 0
vsize: 80244
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19356 0 0 0 115809 202 0 0 25 0 1 0 965235841 82169856 13240 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20061 13240 301 301 0 19760 0
vsize: 80244
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19435 0 0 0 116808 203 0 0 25 0 1 0 965235841 82317312 13319 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20097 13319 301 301 0 19796 0
vsize: 80388
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19491 0 0 0 117807 204 0 0 25 0 1 0 965235841 82448384 13375 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20129 13375 301 301 0 19828 0
vsize: 80516
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19545 0 0 0 118806 205 0 0 25 0 1 0 965235841 82583552 13429 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20162 13429 301 301 0 19861 0
vsize: 80648
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32630
Raw data (stat): 32630 (pb2sat-v2) R 32629 31399 31398 0 -1 0 19599 0 0 0 119805 206 0 0 25 0 1 0 965235841 82718720 13483 4294967295 134512640 135730672 3221224592 3221223104 134746497 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20195 13483 301 301 0 19894 0
vsize: 80780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32630
Raw data (stat): 32630 (pb2sat-v2) Z 32629 31399 31398 0 -1 12 19601 0 0 0 119829 209 0 0 25 0 1 0 965235841 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.31
CPU time (s): 1200.39
CPU user time (s): 1198.29
CPU system time (s): 2.09468
CPU usage (%): 100.007
Max. virtual memory (Kb): 80780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####