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-chnl30_31_pb.cnf.cr.opb
MD5SUM	79bafd08ddd684356ab9abc8fabf88a7
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	32
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05399
Number of variables	1860
Total number of constraints	122
Number of constraints which are clauses	62
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	31
Trace number 34671

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 10:10:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23937 boxname=wulflinc5 idbench=11 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  79bafd08ddd684356ab9abc8fabf88a7  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl30_31_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-chnl30_31_pb.cnf.cr.opb
IDLAUNCH: 23937
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        407028 kB
Buffers:         37692 kB
Cached:         562840 kB
SwapCached:        656 kB
Active:          64096 kB
Inactive:       538556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        406776 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            19240 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:30:32 (client local time) WITH STATUS 0 IN 1207.45 SECONDS
stats: 23937 7 1207.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 1800/5460	Time: 41.2707/86400
Decision: 1800/5460	Time: 42.6325/86400
Decision: 1800/5460	Time: 44.0003/86400
Decision: 1800/5460	Time: 45.2041/86400
Decision: 1800/5460	Time: 46.306/86400
Decision: 1800/5460	Time: 47.6688/86400
Decision: 1800/5460	Time: 48.8776/86400
Decision: 1800/5460	Time: 50.0234/86400
Decision: 1800/5460	Time: 51.1982/86400
Decision: 1800/5460	Time: 52.58/86400
Decision: 1800/5460	Time: 54.2238/86400
Decision: 1800/5460	Time: 55.4716/86400
Decision: 1800/5460	Time: 56.8534/86400
Decision: 1800/5460	Time: 58.7981/86400
Decision: 1800/5460	Time: 60.2578/86400
Decision: 1800/5460	Time: 61.5736/86400
Decision: 1800/5460	Time: 62.8225/86400
Decision: 1800/5460	Time: 64.0833/86400
Decision: 1800/5460	Time: 65.4091/86400
Decision: 1800/5460	Time: 66.8428/86400
Decision: 1800/5460	Time: 68.1986/86400
Decision: 1800/5460	Time: 69.5484/86400
Decision: 1800/5460	Time: 73.4728/86400
Decision: 1800/5460	Time: 75.4155/86400
Decision: 1800/5460	Time: 76.7443/86400
Decision: 1800/5460	Time: 78.4451/86400
Decision: 1800/5460	Time: 79.9149/86400
Decision: 1800/5460	Time: 81.2836/86400
Decision: 1800/5460	Time: 85.613/86400
Decision: 1800/5460	Time: 87.6137/86400
Decision: 1800/5460	Time: 89.1874/86400
Decision: 1800/5460	Time: 90.6432/86400
Decision: 1800/5460	Time: 92.283/86400
Decision: 1800/5460	Time: 93.6918/86400
Decision: 1800/5460	Time: 95.0645/86400
Decision: 1800/5460	Time: 96.6793/86400
Decision: 1800/5460	Time: 98.0991/86400
Decision: 1800/5460	Time: 99.6159/86400
Decision: 1800/5460	Time: 100.993/86400
Decision: 1800/5460	Time: 102.552/86400
Decision: 1800/5460	Time: 106.037/86400
Decision: 1800/5460	Time: 107.908/86400
Decision: 1800/5460	Time: 109.748/86400
Decision: 1800/5460	Time: 111.365/86400
Decision: 1800/5460	Time: 113.129/86400
Decision: 1800/5460	Time: 114.814/86400
Decision: 1800/5460	Time: 116.287/86400
Decision: 1800/5460	Time: 117.872/86400
Decision: 1800/5460	Time: 119.432/86400
Decision: 1800/5460	Time: 121.144/86400
Decision: 1800/5460	Time: 123.09/86400
Decision: 1800/5460	Time: 124.635/86400
Decision: 1800/5460	Time: 126.225/86400
Decision: 1800/5460	Time: 127.72/86400
Decision: 1800/5460	Time: 129.315/86400
Decision: 1800/5460	Time: 131.138/86400
Decision: 1800/5460	Time: 132.752/86400
Decision: 1800/5460	Time: 134.417/86400
Decision: 1800/5460	Time: 136.048/86400
Decision: 1800/5460	Time: 141.986/86400
Decision: 1800/5460	Time: 143.349/86400
Decision: 1800/5460	Time: 144.637/86400
Decision: 1800/5460	Time: 145.89/86400
Decision: 1800/5460	Time: 147.195/86400
Decision: 1800/5460	Time: 148.349/86400
Decision: 1800/5460	Time: 149.526/86400
Decision: 1800/5460	Time: 150.776/86400
Decision: 1800/5460	Time: 151.999/86400
Decision: 1800/5460	Time: 153.075/86400
Decision: 1800/5460	Time: 154.219/86400
Decision: 1800/5460	Time: 156.882/86400
Decision: 1800/5460	Time: 158.094/86400
Decision: 1800/5460	Time: 159.512/86400
Decision: 1800/5460	Time: 160.824/86400
Decision: 1800/5460	Time: 162.094/86400
Decision: 1800/5460	Time: 163.187/86400
Decision: 1800/5460	Time: 164.244/86400
Decision: 1800/5460	Time: 165.328/86400
Decision: 1800/5460	Time: 166.476/86400
Decision: 1800/5460	Time: 167.628/86400
Decision: 1800/5460	Time: 168.901/86400
Decision: 1800/5460	Time: 170.053/86400
Decision: 1800/5460	Time: 171.234/86400
Decision: 1800/5460	Time: 172.454/86400
Decision: 1800/5460	Time: 173.666/86400
Decision: 1800/5460	Time: 175.179/86400
Decision: 1800/5460	Time: 176.496/86400
Decision: 1800/5460	Time: 177.805/86400
Decision: 1800/5460	Time: 179.081/86400
Decision: 1800/5460	Time: 180.405/86400
Decision: 1800/5460	Time: 183.608/86400
Decision: 1800/5460	Time: 184.711/86400
Decision: 1800/5460	Time: 185.876/86400
Decision: 1800/5460	Time: 187.098/86400
Decision: 1800/5460	Time: 188.464/86400
Decision: 1800/5460	Time: 191.936/86400
Decision: 1800/5460	Time: 192.93/86400
Decision: 1800/5460	Time: 193.974/86400
Decision: 1800/5460	Time: 195.413/86400
Decision: 1800/5460	Time: 196.628/86400
Decision: 1800/5460	Time: 198.153/86400
Decision: 1800/5460	Time: 199.382/86400
Decision: 1800/5460	Time: 200.564/86400
Decision: 1800/5460	Time: 201.949/86400
Decision: 1800/5460	Time: 203.098/86400
Decision: 1800/5460	Time: 204.39/86400
Decision: 1800/5460	Time: 205.622/86400
Decision: 1800/5460	Time: 206.84/86400
Decision: 1800/5460	Time: 207.968/86400
Decision: 1800/5460	Time: 209.065/86400
Decision: 1800/5460	Time: 210.334/86400
Decision: 1800/5460	Time: 211.484/86400
Decision: 1800/5460	Time: 212.724/86400
Decision: 1800/5460	Time: 213.99/86400
Decision: 1800/5460	Time: 215.216/86400
Decision: 1800/5460	Time: 216.53/86400
Decision: 1800/5460	Time: 217.779/86400
Decision: 1800/5460	Time: 219.078/86400
Decision: 1800/5460	Time: 220.45/86400
Decision: 1800/5460	Time: 221.813/86400
Decision: 1800/5460	Time: 223.436/86400
Decision: 1800/5460	Time: 224.701/86400
Decision: 1800/5460	Time: 226.066/86400
Decision: 1800/5460	Time: 227.405/86400
Decision: 1800/5460	Time: 228.737/86400
Decision: 1800/5460	Time: 230.272/86400
Decision: 1800/5460	Time: 231.608/86400
Decision: 1800/5460	Time: 232.991/86400
Decision: 1800/5460	Time: 234.276/86400
Decision: 1800/5460	Time: 235.743/86400
Decision: 1800/5460	Time: 237.345/86400
Decision: 1800/5460	Time: 239.209/86400
Decision: 1800/5460	Time: 240.896/86400
Decision: 1800/5460	Time: 242.461/86400
Decision: 1800/5460	Time: 244.015/86400
Decision: 1800/5460	Time: 245.626/86400
Decision: 1800/5460	Time: 247.065/86400
Decision: 1800/5460	Time: 248.495/86400
Decision: 1800/5460	Time: 249.883/86400
Decision: 1800/5460	Time: 251.404/86400
Decision: 1800/5460	Time: 253.292/86400
Decision: 1800/5460	Time: 255.064/86400
Decision: 1800/5460	Time: 259.285/86400
Decision: 1800/5460	Time: 260.61/86400
Decision: 1800/5460	Time: 262.177/86400
Decision: 1800/5460	Time: 263.658/86400
Decision: 1800/5460	Time: 265.101/86400
Decision: 1800/5460	Time: 266.536/86400
Decision: 1800/5460	Time: 267.796/86400
Decision: 1800/5460	Time: 270.892/86400
Decision: 1800/5460	Time: 272.088/86400
Decision: 1800/5460	Time: 273.185/86400
Decision: 1800/5460	Time: 274.876/86400
Decision: 1800/5460	Time: 275.924/86400
Decision: 1800/5460	Time: 277.07/86400
Decision: 1800/5460	Time: 278.191/86400
Decision: 1800/5460	Time: 279.339/86400
Decision: 1800/5460	Time: 280.39/86400
Decision: 1800/5460	Time: 281.489/86400
Decision: 1800/5460	Time: 282.534/86400
Decision: 1800/5460	Time: 283.947/86400
Decision: 1800/5460	Time: 285.259/86400
Decision: 1800/5460	Time: 286.737/86400
Decision: 1800/5460	Time: 288.053/86400
Decision: 1800/5460	Time: 289.327/86400
Decision: 1800/5460	Time: 290.551/86400
Decision: 1800/5460	Time: 291.764/86400
Decision: 1800/5460	Time: 292.894/86400
Decision: 1800/5460	Time: 294.021/86400
Decision: 1800/5460	Time: 295.158/86400
Decision: 1800/5460	Time: 296.436/86400
Decision: 1800/5460	Time: 297.643/86400
Decision: 1800/5460	Time: 298.927/86400
Decision: 1800/5460	Time: 300.16/86400
Decision: 1800/5460	Time: 301.367/86400
Decision: 1800/5460	Time: 302.873/86400
Decision: 1800/5460	Time: 304.653/86400
Decision: 1800/5460	Time: 305.689/86400
Decision: 1800/5460	Time: 306.855/86400
Decision: 1800/5460	Time: 307.969/86400
Decision: 1800/5460	Time: 309.184/86400
Decision: 1800/5460	Time: 310.46/86400
Decision: 1800/5460	Time: 311.492/86400
Decision: 1800/5460	Time: 312.641/86400
Decision: 1800/5460	Time: 313.83/86400
Decision: 1800/5460	Time: 315.247/86400
Decision: 1800/5460	Time: 316.427/86400
Decision: 1800/5460	Time: 317.556/86400
Decision: 1800/5460	Time: 318.781/86400
Decision: 1800/5460	Time: 320.121/86400
Decision: 1800/5460	Time: 321.551/86400
Decision: 1800/5460	Time: 322.772/86400
Decision: 1800/5460	Time: 323.993/86400
Decision: 1800/5460	Time: 325.272/86400
Decision: 1800/5460	Time: 326.526/86400
Decision: 1800/5460	Time: 327.968/86400
Decision: 1800/5460	Time: 329.3/86400
Decision: 1800/5460	Time: 330.744/86400
Decision: 1800/5460	Time: 332.139/86400
Decision: 1800/5460	Time: 333.644/86400
Decision: 1800/5460	Time: 335.176/86400
Decision: 1800/5460	Time: 336.64/86400
Decision: 1800/5460	Time: 338.045/86400
Decision: 1800/5460	Time: 339.407/86400
Decision: 1800/5460	Time: 340.72/86400
Decision: 1800/5460	Time: 342.298/86400
Decision: 1800/5460	Time: 343.622/86400
Decision: 1800/5460	Time: 345.213/86400
Decision: 1800/5460	Time: 346.541/86400
Decision: 1800/5460	Time: 347.962/86400
Decision: 1800/5460	Time: 349.78/86400
Decision: 1800/5460	Time: 351.287/86400
Decision: 1800/5460	Time: 352.792/86400
Decision: 1800/5460	Time: 358.515/86400
Decision: 1800/5460	Time: 359.706/86400
Decision: 1800/5460	Time: 360.899/86400
Decision: 1800/5460	Time: 362.844/86400
Decision: 1800/5460	Time: 363.91/86400
Decision: 1800/5460	Time: 365.753/86400
Decision: 1800/5460	Time: 366.852/86400
Decision: 1800/5460	Time: 367.982/86400
Decision: 1800/5460	Time: 369.203/86400
Decision: 1800/5460	Time: 370.342/86400
Decision: 1800/5460	Time: 371.525/86400
Decision: 1800/5460	Time: 372.651/86400
Decision: 1800/5460	Time: 373.892/86400
Decision: 1800/5460	Time: 375.048/86400
Decision: 1800/5460	Time: 376.145/86400
Decision: 1800/5460	Time: 377.156/86400
Decision: 1800/5460	Time: 378.159/86400
Decision: 1800/5460	Time: 379.371/86400
Decision: 1800/5460	Time: 380.532/86400
Decision: 1800/5460	Time: 381.634/86400
Decision: 1800/5460	Time: 382.774/86400
Decision: 1800/5460	Time: 384.082/86400
Decision: 1800/5460	Time: 385.809/86400
Decision: 1800/5460	Time: 387.125/86400
Decision: 1800/5460	Time: 388.254/86400
Decision: 1800/5460	Time: 389.262/86400
Decision: 1800/5460	Time: 390.485/86400
Decision: 1800/5460	Time: 391.632/86400
Decision: 1800/5460	Time: 392.735/86400
Decision: 1800/5460	Time: 393.853/86400
Decision: 1800/5460	Time: 395.084/86400
Decision: 1800/5460	Time: 396.311/86400
Decision: 1800/5460	Time: 397.572/86400
Decision: 1800/5460	Time: 398.805/86400
Decision: 1800/5460	Time: 399.98/86400
Decision: 1800/5460	Time: 401.374/86400
Decision: 1800/5460	Time: 402.575/86400
Decision: 1800/5460	Time: 403.993/86400
Decision: 1800/5460	Time: 405.568/86400
Decision: 1800/5460	Time: 406.713/86400
Decision: 1800/5460	Time: 408.117/86400
Decision: 1800/5460	Time: 409.661/86400
Decision: 1800/5460	Time: 411.156/86400
Decision: 1800/5460	Time: 412.516/86400
Decision: 1800/5460	Time: 413.745/86400
Decision: 1800/5460	Time: 416.19/86400
Decision: 1800/5460	Time: 417.356/86400
Decision: 1800/5460	Time: 418.764/86400
Decision: 1800/5460	Time: 420.086/86400
Decision: 1800/5460	Time: 421.222/86400
Decision: 1800/5460	Time: 425.652/86400
Decision: 1800/5460	Time: 426.891/86400
Decision: 1800/5460	Time: 427.963/86400
Decision: 1800/5460	Time: 430.252/86400
Decision: 1800/5460	Time: 431.349/86400
Decision: 1800/5460	Time: 432.42/86400
Decision: 1800/5460	Time: 433.669/86400
Decision: 1800/5460	Time: 435.003/86400
Decision: 1800/5460	Time: 436.171/86400
Decision: 1800/5460	Time: 437.238/86400
Decision: 1800/5460	Time: 438.283/86400
Decision: 1800/5460	Time: 439.394/86400
Decision: 1800/5460	Time: 440.607/86400
Decision: 1800/5460	Time: 441.706/86400
Decision: 1800/5460	Time: 442.843/86400
Decision: 1800/5460	Time: 443.983/86400
Decision: 1800/5460	Time: 445.259/86400
Decision: 1800/5460	Time: 446.659/86400
Decision: 1800/5460	Time: 447.938/86400
Decision: 1800/5460	Time: 449.205/86400
Decision: 1800/5460	Time: 450.537/86400
Decision: 1800/5460	Time: 451.9/86400
Decision: 1800/5460	Time: 453.465/86400
Decision: 1800/5460	Time: 454.661/86400
Decision: 1800/5460	Time: 455.965/86400
Decision: 1800/5460	Time: 457.5/86400
Decision: 1800/5460	Time: 458.774/86400
Decision: 1800/5460	Time: 460.273/86400
Decision: 1800/5460	Time: 461.616/86400
Decision: 1800/5460	Time: 463.021/86400
Decision: 1800/5460	Time: 464.676/86400
Decision: 1800/5460	Time: 466.117/86400
Decision: 1800/5460	Time: 467.921/86400
Decision: 1800/5460	Time: 469.681/86400
Decision: 1800/5460	Time: 471.16/86400
Decision: 1800/5460	Time: 472.707/86400
Decision: 1800/5460	Time: 474.235/86400
Decision: 1800/5460	Time: 476.283/86400
Decision: 1800/5460	Time: 479.66/86400
Decision: 1800/5460	Time: 481.356/86400
Decision: 1800/5460	Time: 482.834/86400
Decision: 1800/5460	Time: 484.284/86400
Decision: 1800/5460	Time: 485.888/86400
Decision: 1800/5460	Time: 487.276/86400
Decision: 1800/5460	Time: 488.542/86400
Decision: 1800/5460	Time: 490.204/86400
Decision: 1800/5460	Time: 491.543/86400
Decision: 1800/5460	Time: 493.151/86400
Decision: 1800/5460	Time: 495.34/86400
Decision: 1800/5460	Time: 496.443/86400
Decision: 1800/5460	Time: 497.429/86400
Decision: 1800/5460	Time: 498.468/86400
Decision: 1800/5460	Time: 499.692/86400
Decision: 1800/5460	Time: 500.838/86400
Decision: 1800/5460	Time: 501.889/86400
Decision: 1800/5460	Time: 503.182/86400
Decision: 1800/5460	Time: 504.265/86400
Decision: 1800/5460	Time: 505.522/86400
Decision: 1800/5460	Time: 508.72/86400
Decision: 1800/5460	Time: 509.752/86400
Decision: 1800/5460	Time: 510.821/86400
Decision: 1800/5460	Time: 511.92/86400
Decision: 1800/5460	Time: 513.086/86400
Decision: 1800/5460	Time: 514.183/86400
Decision: 1800/5460	Time: 515.317/86400
Decision: 1800/5460	Time: 516.314/86400
Decision: 1800/5460	Time: 517.504/86400
Decision: 1800/5460	Time: 518.933/86400
Decision: 1800/5460	Time: 520.035/86400
Decision: 1800/5460	Time: 521.316/86400
Decision: 1800/5460	Time: 522.64/86400
Decision: 1800/5460	Time: 523.906/86400
Decision: 1800/5460	Time: 525.27/86400
Decision: 1800/5460	Time: 526.84/86400
Decision: 1800/5460	Time: 528.233/86400
Decision: 1800/5460	Time: 529.444/86400
Decision: 1800/5460	Time: 530.713/86400
Decision: 1800/5460	Time: 532.15/86400
Decision: 1800/5460	Time: 533.612/86400
Decision: 1800/5460	Time: 535.101/86400
Decision: 1800/5460	Time: 539.047/86400
Decision: 1800/5460	Time: 540.592/86400
Decision: 1800/5460	Time: 542.055/86400
Decision: 1800/5460	Time: 543.559/86400
Decision: 1800/5460	Time: 544.808/86400
Decision: 1800/5460	Time: 546.069/86400
Decision: 1800/5460	Time: 549.929/86400
Decision: 1800/5460	Time: 551.114/86400
Decision: 1800/5460	Time: 552.204/86400
Decision: 1800/5460	Time: 553.19/86400
Decision: 1800/5460	Time: 554.287/86400
Decision: 1800/5460	Time: 555.563/86400
Decision: 1800/5460	Time: 556.72/86400
Decision: 1800/5460	Time: 557.734/86400
Decision: 1800/5460	Time: 558.922/86400
Decision: 1800/5460	Time: 560.56/86400
Decision: 1800/5460	Time: 561.767/86400
Decision: 1800/5460	Time: 563.017/86400
Decision: 1800/5460	Time: 564.206/86400
Decision: 1800/5460	Time: 565.411/86400
Decision: 1800/5460	Time: 566.761/86400
Decision: 1800/5460	Time: 567.815/86400
Decision: 1800/5460	Time: 570.783/86400
Decision: 1800/5460	Time: 571.933/86400
Decision: 1800/5460	Time: 573.026/86400
Decision: 1800/5460	Time: 574.204/86400
Decision: 1800/5460	Time: 575.248/86400
Decision: 1800/5460	Time: 576.372/86400
Decision: 1800/5460	Time: 579.126/86400
Decision: 1800/5460	Time: 580.436/86400
Decision: 1800/5460	Time: 581.802/86400
Decision: 1800/5460	Time: 583.026/86400
Decision: 1800/5460	Time: 584.333/86400
Decision: 1800/5460	Time: 585.549/86400
Decision: 1800/5460	Time: 586.854/86400
Decision: 1800/5460	Time: 588.115/86400
Decision: 1800/5460	Time: 589.309/86400
Decision: 1800/5460	Time: 590.753/86400
Decision: 1800/5460	Time: 592.058/86400
Decision: 1800/5460	Time: 593.389/86400
Decision: 1800/5460	Time: 594.822/86400
Decision: 1800/5460	Time: 596.057/86400
Decision: 1800/5460	Time: 597.501/86400
Decision: 1800/5460	Time: 598.792/86400
Decision: 1800/5460	Time: 600.147/86400
Decision: 1800/5460	Time: 601.52/86400
Decision: 1800/5460	Time: 602.866/86400
Decision: 1800/5460	Time: 604.326/86400
Decision: 1800/5460	Time: 605.81/86400
Decision: 1800/5460	Time: 607.241/86400
Decision: 1800/5460	Time: 608.562/86400
Decision: 1800/5460	Time: 609.951/86400
Decision: 1800/5460	Time: 611.686/86400
Decision: 1800/5460	Time: 613.115/86400
Decision: 1800/5460	Time: 614.415/86400
Decision: 1800/5460	Time: 616.042/86400
Decision: 1800/5460	Time: 617.522/86400
Decision: 1800/5460	Time: 619.214/86400
Decision: 1800/5460	Time: 620.714/86400
Decision: 1800/5460	Time: 622.081/86400
Decision: 1800/5460	Time: 623.682/86400
Decision: 1800/5460	Time: 625.244/86400
Decision: 1800/5460	Time: 630.104/86400
Decision: 1800/5460	Time: 631.197/86400
Decision: 1800/5460	Time: 632.311/86400
Decision: 1800/5460	Time: 633.521/86400
Decision: 1800/5460	Time: 634.589/86400
Decision: 1800/5460	Time: 635.88/86400
Decision: 1800/5460	Time: 637.051/86400
Decision: 1800/5460	Time: 639.256/86400
Decision: 1800/5460	Time: 640.437/86400
Decision: 1800/5460	Time: 641.594/86400
Decision: 1800/5460	Time: 642.878/86400
Decision: 1800/5460	Time: 644.167/86400
Decision: 1800/5460	Time: 645.376/86400
Decision: 1800/5460	Time: 646.492/86400
Decision: 1800/5460	Time: 647.587/86400
Decision: 1800/5460	Time: 648.784/86400
Decision: 1800/5460	Time: 649.894/86400
Decision: 1800/5460	Time: 651.213/86400
Decision: 1800/5460	Time: 652.546/86400
Decision: 1800/5460	Time: 653.772/86400
Decision: 1800/5460	Time: 655.128/86400
Decision: 1800/5460	Time: 656.423/86400
Decision: 1800/5460	Time: 657.86/86400
Decision: 1800/5460	Time: 659.196/86400
Decision: 1800/5460	Time: 660.492/86400
Decision: 1800/5460	Time: 661.995/86400
Decision: 1800/5460	Time: 663.412/86400
Decision: 1800/5460	Time: 664.829/86400
Decision: 1800/5460	Time: 666.227/86400
Decision: 1800/5460	Time: 669.773/86400
Decision: 1800/5460	Time: 671.45/86400
Decision: 1800/5460	Time: 672.722/86400
Decision: 1800/5460	Time: 674.23/86400
Decision: 1800/5460	Time: 675.785/86400
Decision: 1800/5460	Time: 677.015/86400
Decision: 1800/5460	Time: 678.573/86400
Decision: 1800/5460	Time: 680.008/86400
Decision: 1800/5460	Time: 681.513/86400
Decision: 1800/5460	Time: 683.023/86400
Decision: 1800/5460	Time: 689.439/86400
Decision: 1800/5460	Time: 690.592/86400
Decision: 1800/5460	Time: 691.701/86400
Decision: 1800/5460	Time: 692.995/86400
Decision: 1800/5460	Time: 694.184/86400
Decision: 1800/5460	Time: 695.342/86400
Decision: 1800/5460	Time: 696.826/86400
Decision: 1800/5460	Time: 698.024/86400
Decision: 1800/5460	Time: 699.391/86400
Decision: 1800/5460	Time: 700.634/86400
Decision: 1800/5460	Time: 701.829/86400
Decision: 1800/5460	Time: 703.27/86400
Decision: 1800/5460	Time: 704.588/86400
Decision: 1800/5460	Time: 705.936/86400
Decision: 1800/5460	Time: 707.15/86400
Decision: 1800/5460	Time: 708.626/86400
Decision: 1800/5460	Time: 710.541/86400
Decision: 1800/5460	Time: 712.106/86400
Decision: 1800/5460	Time: 713.938/86400
Decision: 1800/5460	Time: 715.2/86400
Decision: 1800/5460	Time: 716.328/86400
Decision: 1800/5460	Time: 717.884/86400
Decision: 1800/5460	Time: 719.301/86400
Decision: 1800/5460	Time: 720.6/86400
Decision: 1800/5460	Time: 722.02/86400
Decision: 1800/5460	Time: 723.336/86400
Decision: 1800/5460	Time: 724.926/86400
Decision: 1800/5460	Time: 726.436/86400
Decision: 1800/5460	Time: 728.019/86400
Decision: 1800/5460	Time: 729.393/86400
Decision: 1800/5460	Time: 733.871/86400
Decision: 1800/5460	Time: 735.418/86400
Decision: 1800/5460	Time: 736.624/86400
Decision: 1800/5460	Time: 737.795/86400
Decision: 1800/5460	Time: 739.019/86400
Decision: 1800/5460	Time: 740.068/86400
Decision: 1800/5460	Time: 741.479/86400
Decision: 1800/5460	Time: 742.784/86400
Decision: 1800/5460	Time: 743.938/86400
Decision: 1800/5460	Time: 747.928/86400
Decision: 1800/5460	Time: 749.05/86400
Decision: 1800/5460	Time: 750.151/86400
Decision: 1800/5460	Time: 751.293/86400
Decision: 1800/5460	Time: 752.441/86400
Decision: 1800/5460	Time: 753.507/86400
Decision: 1800/5460	Time: 754.499/86400
Decision: 1800/5460	Time: 755.605/86400
Decision: 1800/5460	Time: 756.72/86400
Decision: 1800/5460	Time: 757.828/86400
Decision: 1800/5460	Time: 758.908/86400
Decision: 1800/5460	Time: 760.08/86400
Decision: 1800/5460	Time: 761.248/86400
Decision: 1800/5460	Time: 762.53/86400
Decision: 1800/5460	Time: 763.816/86400
Decision: 1800/5460	Time: 765.169/86400
Decision: 1800/5460	Time: 766.518/86400
Decision: 1800/5460	Time: 767.95/86400
Decision: 1800/5460	Time: 769.158/86400
Decision: 1800/5460	Time: 770.411/86400
Decision: 1800/5460	Time: 771.743/86400
Decision: 1800/5460	Time: 773.011/86400
Decision: 1800/5460	Time: 774.855/86400
Decision: 1800/5460	Time: 776.318/86400
Decision: 1800/5460	Time: 779.762/86400
Decision: 1800/5460	Time: 781.634/86400
Decision: 1800/5460	Time: 783.139/86400
Decision: 1800/5460	Time: 784.846/86400
Decision: 1800/5460	Time: 786.281/86400
Decision: 1800/5460	Time: 787.64/86400
Decision: 1800/5460	Time: 789.407/86400
Decision: 1800/5460	Time: 791.012/86400
Decision: 1800/5460	Time: 792.802/86400
Decision: 1800/5460	Time: 794.629/86400
Decision: 1800/5460	Time: 796.36/86400
Decision: 1800/5460	Time: 797.772/86400
Decision: 1800/5460	Time: 799.394/86400
Decision: 1800/5460	Time: 801.017/86400
Decision: 1800/5460	Time: 802.55/86400
Decision: 1800/5460	Time: 804.021/86400
Decision: 1800/5460	Time: 805.466/86400
Decision: 1800/5460	Time: 806.91/86400
Decision: 1800/5460	Time: 808.655/86400
Decision: 1800/5460	Time: 810.311/86400
Decision: 1800/5460	Time: 812.124/86400
Decision: 1800/5460	Time: 813.668/86400
Decision: 1800/5460	Time: 815.095/86400
Decision: 1800/5460	Time: 816.91/86400
Decision: 1800/5460	Time: 818.53/86400
Decision: 1800/5460	Time: 820.125/86400
Decision: 1800/5460	Time: 821.6/86400
Decision: 1800/5460	Time: 827.301/86400
Decision: 1800/5460	Time: 828.479/86400
Decision: 1800/5460	Time: 829.641/86400
Decision: 1800/5460	Time: 832.745/86400
Decision: 1800/5460	Time: 833.922/86400
Decision: 1800/5460	Time: 835.171/86400
Decision: 1800/5460	Time: 836.421/86400
Decision: 1800/5460	Time: 837.749/86400
Decision: 1800/5460	Time: 838.914/86400
Decision: 1800/5460	Time: 840.151/86400
Decision: 1800/5460	Time: 841.304/86400
Decision: 1800/5460	Time: 842.499/86400
Decision: 1800/5460	Time: 843.695/86400
Decision: 1800/5460	Time: 844.893/86400
Decision: 1800/5460	Time: 846.042/86400
Decision: 1800/5460	Time: 847.302/86400
Decision: 1800/5460	Time: 848.755/86400
Decision: 1800/5460	Time: 850.058/86400
Decision: 1800/5460	Time: 851.249/86400
Decision: 1800/5460	Time: 852.612/86400
Decision: 1800/5460	Time: 854.022/86400
Decision: 1800/5460	Time: 855.449/86400
Decision: 1800/5460	Time: 857.316/86400
Decision: 1800/5460	Time: 858.705/86400
Decision: 1800/5460	Time: 860.255/86400
Decision: 1800/5460	Time: 861.728/86400
Decision: 1800/5460	Time: 863.188/86400
Decision: 1800/5460	Time: 864.572/86400
Decision: 1800/5460	Time: 866.2/86400
Decision: 1800/5460	Time: 867.548/86400
Decision: 1800/5460	Time: 868.956/86400
Decision: 1800/5460	Time: 870.813/86400
Decision: 1800/5460	Time: 872.416/86400
Decision: 1800/5460	Time: 873.787/86400
Decision: 1800/5460	Time: 875.134/86400
Decision: 1800/5460	Time: 876.519/86400
Decision: 1800/5460	Time: 878.179/86400
Decision: 1800/5460	Time: 879.584/86400
Decision: 1800/5460	Time: 881.312/86400
Decision: 1800/5460	Time: 882.648/86400
Decision: 1800/5460	Time: 883.691/86400
Decision: 1800/5460	Time: 885.336/86400
Decision: 1800/5460	Time: 886.686/86400
Decision: 1800/5460	Time: 887.982/86400
Decision: 1800/5460	Time: 889.317/86400
Decision: 1800/5460	Time: 890.69/86400
Decision: 1800/5460	Time: 892.264/86400
Decision: 1800/5460	Time: 893.933/86400
Decision: 1800/5460	Time: 895.402/86400
Decision: 1800/5460	Time: 896.802/86400
Decision: 1800/5460	Time: 898.332/86400
Decision: 1800/5460	Time: 900.029/86400
Decision: 1800/5460	Time: 901.685/86400
Decision: 1800/5460	Time: 903.603/86400
Decision: 1800/5460	Time: 908.326/86400
Decision: 1800/5460	Time: 910.158/86400
Decision: 1800/5460	Time: 912.029/86400
Decision: 1800/5460	Time: 913.573/86400
Decision: 1800/5460	Time: 915.077/86400
Decision: 1800/5460	Time: 916.576/86400
Decision: 1800/5460	Time: 918.048/86400
Decision: 1800/5460	Time: 919.878/86400
Decision: 1800/5460	Time: 925.479/86400
Decision: 1800/5460	Time: 927.199/86400
Decision: 1800/5460	Time: 928.934/86400
Decision: 1800/5460	Time: 930.652/86400
Decision: 1800/5460	Time: 932.52/86400
Decision: 1800/5460	Time: 934.205/86400
Decision: 1800/5460	Time: 935.911/86400
Decision: 1800/5460	Time: 938.014/86400
Decision: 1800/5460	Time: 939.645/86400
Decision: 1800/5460	Time: 941.498/86400
Decision: 1800/5460	Time: 947.039/86400
Decision: 1800/5460	Time: 948.819/86400
Decision: 1800/5460	Time: 950.794/86400
Decision: 1800/5460	Time: 952.637/86400
Decision: 1800/5460	Time: 954.781/86400
Decision: 1800/5460	Time: 956.541/86400
Decision: 1800/5460	Time: 958.178/86400
Decision: 1800/5460	Time: 959.879/86400
Decision: 1800/5460	Time: 961.512/86400
Decision: 1800/5460	Time: 963.683/86400
Decision: 1800/5460	Time: 965.339/86400
Decision: 1800/5460	Time: 967.008/86400
Decision: 1800/5460	Time: 969.157/86400
Decision: 1800/5460	Time: 971.113/86400
Decision: 1800/5460	Time: 979.366/86400
Decision: 1800/5460	Time: 980.502/86400
Decision: 1800/5460	Time: 981.789/86400
Decision: 1800/5460	Time: 983.068/86400
Decision: 1800/5460	Time: 985.785/86400
Decision: 1800/5460	Time: 987.057/86400
Decision: 1800/5460	Time: 988.415/86400
Decision: 1800/5460	Time: 989.808/86400
Decision: 1800/5460	Time: 991.097/86400
Decision: 1800/5460	Time: 992.339/86400
Decision: 1800/5460	Time: 993.821/86400
Decision: 1800/5460	Time: 995.066/86400
Decision: 1800/5460	Time: 996.372/86400
Decision: 1800/5460	Time: 997.756/86400
Decision: 1800/5460	Time: 999.19/86400
Decision: 1800/5460	Time: 1000.6/86400
Decision: 1800/5460	Time: 1001.94/86400
Decision: 1800/5460	Time: 1003.16/86400
Decision: 1800/5460	Time: 1004.55/86400
Decision: 1800/5460	Time: 1006.12/86400
Decision: 1800/5460	Time: 1009.63/86400
Decision: 1800/5460	Time: 1010.66/86400
Decision: 1800/5460	Time: 1011.77/86400
Decision: 1800/5460	Time: 1012.92/86400
Decision: 1800/5460	Time: 1014/86400
Decision: 1800/5460	Time: 1015.22/86400
Decision: 1800/5460	Time: 1016.64/86400
Decision: 1800/5460	Time: 1017.69/86400
Decision: 1800/5460	Time: 1020.58/86400
Decision: 1800/5460	Time: 1021.72/86400
Decision: 1800/5460	Time: 1022.94/86400
Decision: 1800/5460	Time: 1024.75/86400
Decision: 1800/5460	Time: 1025.93/86400
Decision: 1800/5460	Time: 1028.88/86400
Decision: 1800/5460	Time: 1030.02/86400
Decision: 1800/5460	Time: 1031.16/86400
Decision: 1800/5460	Time: 1032.31/86400
Decision: 1800/5460	Time: 1033.54/86400
Decision: 1800/5460	Time: 1034.71/86400
Decision: 1800/5460	Time: 1035.79/86400
Decision: 1800/5460	Time: 1036.98/86400
Decision: 1800/5460	Time: 1037.99/86400
Decision: 1800/5460	Time: 1039.13/86400
Decision: 1800/5460	Time: 1041.05/86400
Decision: 1800/5460	Time: 1042.49/86400
Decision: 1800/5460	Time: 1043.97/86400
Decision: 1800/5460	Time: 1045.36/86400
Decision: 1800/5460	Time: 1046.49/86400
Decision: 1800/5460	Time: 1047.75/86400
Decision: 1800/5460	Time: 1049.03/86400
Decision: 1800/5460	Time: 1050.37/86400
Decision: 1800/5460	Time: 1051.67/86400
Decision: 1800/5460	Time: 1052.79/86400
Decision: 1800/5460	Time: 1053.87/86400
Decision: 1800/5460	Time: 1055.11/86400
Decision: 1800/5460	Time: 1058.43/86400
Decision: 1800/5460	Time: 1059.57/86400
Decision: 1800/5460	Time: 1060.87/86400
Decision: 1800/5460	Time: 1062.04/86400
Decision: 1800/5460	Time: 1064.03/86400
Decision: 1800/5460	Time: 1065.26/86400
Decision: 1800/5460	Time: 1066.77/86400
Decision: 1800/5460	Time: 1067.9/86400
Decision: 1800/5460	Time: 1069.08/86400
Decision: 1800/5460	Time: 1070.2/86400
Decision: 1800/5460	Time: 1071.34/86400
Decision: 1800/5460	Time: 1072.55/86400
Decision: 1800/5460	Time: 1073.75/86400
Decision: 1800/5460	Time: 1074.89/86400
Decision: 1800/5460	Time: 1076.13/86400
Decision: 1800/5460	Time: 1077.44/86400
Decision: 1800/5460	Time: 1078.57/86400
Decision: 1800/5460	Time: 1079.83/86400
Decision: 1800/5460	Time: 1080.94/86400
Decision: 1800/5460	Time: 1082.17/86400
Decision: 1800/5460	Time: 1083.51/86400
Decision: 1800/5460	Time: 1084.8/86400
Decision: 1800/5460	Time: 1086.07/86400
Decision: 1800/5460	Time: 1089.12/86400
Decision: 1800/5460	Time: 1090.6/86400
Decision: 1800/5460	Time: 1092.28/86400
Decision: 1800/5460	Time: 1093.49/86400
Decision: 1800/5460	Time: 1094.8/86400
Decision: 1800/5460	Time: 1096.02/86400
Decision: 1800/5460	Time: 1097.73/86400
Decision: 1800/5460	Time: 1099.23/86400
Decision: 1800/5460	Time: 1100.56/86400
Decision: 1800/5460	Time: 1101.9/86400
Decision: 1800/5460	Time: 1103.27/86400
Decision: 1800/5460	Time: 1104.64/86400
Decision: 1800/5460	Time: 1106.19/86400
Decision: 1800/5460	Time: 1107.63/86400
Decision: 1800/5460	Time: 1109.2/86400
Decision: 1800/5460	Time: 1110.81/86400
Decision: 1800/5460	Time: 1112.17/86400
Decision: 1800/5460	Time: 1118.09/86400
Decision: 1800/5460	Time: 1119.33/86400
Decision: 1800/5460	Time: 1120.55/86400
Decision: 1800/5460	Time: 1121.67/86400
Decision: 1800/5460	Time: 1122.85/86400
Decision: 1800/5460	Time: 1124.26/86400
Decision: 1800/5460	Time: 1125.49/86400
Decision: 1800/5460	Time: 1126.75/86400
Decision: 1800/5460	Time: 1127.93/86400
Decision: 1800/5460	Time: 1129.17/86400
Decision: 1800/5460	Time: 1130.49/86400
Decision: 1800/5460	Time: 1131.71/86400
Decision: 1800/5460	Time: 1132.95/86400
Decision: 1800/5460	Time: 1134.34/86400
Decision: 1800/5460	Time: 1137.45/86400
Decision: 1800/5460	Time: 1138.65/86400
Decision: 1800/5460	Time: 1139.78/86400
Decision: 1800/5460	Time: 1140.88/86400
Decision: 1800/5460	Time: 1142.02/86400
Decision: 1800/5460	Time: 1143.8/86400
Decision: 1800/5460	Time: 1145.05/86400
Decision: 1800/5460	Time: 1146.25/86400
Decision: 1800/5460	Time: 1147.44/86400
Decision: 1800/5460	Time: 1148.57/86400
Decision: 1800/5460	Time: 1149.69/86400
Decision: 1800/5460	Time: 1151.24/86400
Decision: 1800/5460	Time: 1152.51/86400
Decision: 1800/5460	Time: 1153.78/86400
Decision: 1800/5460	Time: 1155.11/86400
Decision: 1800/5460	Time: 1156.47/86400
Decision: 1800/5460	Time: 1157.81/86400
Decision: 1800/5460	Time: 1159.09/86400
Decision: 1800/5460	Time: 1160.45/86400
Decision: 1800/5460	Time: 1161.98/86400
Decision: 1800/5460	Time: 1163.24/86400
Decision: 1800/5460	Time: 1164.72/86400
Decision: 1800/5460	Time: 1166.1/86400
Decision: 1800/5460	Time: 1167.64/86400
Decision: 1800/5460	Time: 1169.2/86400
Decision: 1800/5460	Time: 1170.72/86400
Decision: 1800/5460	Time: 1172.32/86400
Decision: 1800/5460	Time: 1173.66/86400
Decision: 1800/5460	Time: 1175.08/86400
Decision: 1800/5460	Time: 1176.69/86400
Decision: 1800/5460	Time: 1178.26/86400
Decision: 1800/5460	Time: 1182.59/86400
Decision: 1800/5460	Time: 1183.86/86400
Decision: 1800/5460	Time: 1185.01/86400
Decision: 1800/5460	Time: 1186.26/86400
Decision: 1800/5460	Time: 1187.55/86400
Decision: 1800/5460	Time: 1188.93/86400
Decision: 1800/5460	Time: 1190.17/86400
Decision: 1800/5460	Time: 1191.59/86400
Decision: 1800/5460	Time: 1192.95/86400
Decision: 1800/5460	Time: 1194.33/86400
Decision: 1800/5460	Time: 1198.05/86400
Decision: 1800/5460	Time: 1199.5/86400
Decision: 1800/5460	Time: 1200.84/86400
Decision: 1800/5460	Time: 1202.11/86400
Decision: 1800/5460	Time: 1203.51/86400
Decision: 1800/5460	Time: 1204.87/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.03 0.01 0.00 1/54 17959
Raw data (stat): 17959 (runsolver) D 17958 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805753824 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0747 s]
Raw data (loadavg): 0.18 0.04 0.01 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 1331 0 10 0 688 2 0 0 25 0 1 0 805753824 7389184 1161 4294967295 134512640 135726644 3221224576 3221222756 135277480 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1804 1161 300 300 0 1504 0
vsize: 7216
[startup+20.0831 s]
Raw data (loadavg): 0.31 0.07 0.02 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 2048 0 10 0 1686 5 0 0 25 0 1 0 805753824 12111872 1781 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2957 1781 300 300 0 2657 0
vsize: 11828
[startup+30.084 s]
Raw data (loadavg): 0.41 0.10 0.03 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 2514 0 10 0 2685 6 0 0 25 0 1 0 805753824 12406784 2247 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3029 2247 300 300 0 2729 0
vsize: 12116
[startup+40.0849 s]
Raw data (loadavg): 0.50 0.13 0.04 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 2999 0 10 0 3683 8 0 0 25 0 1 0 805753824 12546048 2732 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3063 2732 300 300 0 2763 0
vsize: 12252
[startup+50.0866 s]
Raw data (loadavg): 0.58 0.16 0.05 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 3975 0 10 0 4679 12 0 0 25 0 1 0 805753824 22081536 3708 4294967295 134512640 135726644 3221224576 3221222892 134763554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5391 3708 300 300 0 5091 0
vsize: 21564
[startup+60.0873 s]
Raw data (loadavg): 0.64 0.19 0.06 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 4637 0 10 0 5677 15 0 0 25 0 1 0 805753824 23670784 4370 4294967295 134512640 135726644 3221224576 3221223088 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5779 4370 300 300 0 5479 0
vsize: 23116
[startup+70.087 s]
Raw data (loadavg): 0.70 0.21 0.07 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 5159 0 10 0 6672 19 0 0 25 0 1 0 805753824 25538560 4699 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6235 4699 300 300 0 5935 0
vsize: 24940
[startup+80.0877 s]
Raw data (loadavg): 0.74 0.24 0.08 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 5323 0 10 0 7668 23 0 0 25 0 1 0 805753824 26173440 4863 4294967295 134512640 135726644 3221224576 3221223088 134742632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6390 4863 300 300 0 6090 0
vsize: 25560
[startup+90.0875 s]
Raw data (loadavg): 0.78 0.26 0.09 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 5471 0 10 0 8665 26 0 0 25 0 1 0 805753824 26730496 5011 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6526 5011 300 300 0 6226 0
vsize: 26104
[startup+100.089 s]
Raw data (loadavg): 0.81 0.29 0.10 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 5647 0 10 0 9663 28 0 0 25 0 1 0 805753824 27283456 5187 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6661 5187 300 300 0 6361 0
vsize: 26644
[startup+110.09 s]
Raw data (loadavg): 0.84 0.31 0.11 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 5795 0 10 0 10660 31 0 0 25 0 1 0 805753824 27840512 5335 4294967295 134512640 135726644 3221224576 3221222800 134810189 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5335 300 300 0 6497 0
vsize: 27188
[startup+120.091 s]
Raw data (loadavg): 0.87 0.33 0.12 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 6035 0 10 0 11659 33 0 0 25 0 1 0 805753824 28487680 5575 4294967295 134512640 135726644 3221224576 3221223168 134760015 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6955 5575 300 300 0 6655 0
vsize: 27820
[startup+130.091 s]
Raw data (loadavg): 0.89 0.36 0.12 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 6505 0 10 0 12656 36 0 0 25 0 1 0 805753824 29003776 6045 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7081 6045 300 300 0 6781 0
vsize: 28324
[startup+140.092 s]
Raw data (loadavg): 0.90 0.38 0.13 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 6883 0 10 0 13654 38 0 0 25 0 1 0 805753824 29978624 6423 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7319 6423 300 300 0 7019 0
vsize: 29276
[startup+150.094 s]
Raw data (loadavg): 0.92 0.40 0.14 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 6917 0 10 0 14652 41 0 0 25 0 1 0 805753824 30093312 6457 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7347 6457 300 300 0 7047 0
vsize: 29388
[startup+160.095 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7332 0 10 0 15647 45 0 0 25 0 1 0 805753824 31666176 6487 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7731 6487 300 300 0 7431 0
vsize: 30924
[startup+170.095 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7407 0 10 0 16645 48 0 0 25 0 1 0 805753824 31776768 6562 4294967295 134512640 135726644 3221224576 3221222912 134763538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7758 6562 300 300 0 7458 0
vsize: 31032
[startup+180.096 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7453 0 10 0 17643 49 0 0 25 0 1 0 805753824 31866880 6608 4294967295 134512640 135726644 3221224576 3221222960 134758101 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7780 6608 300 300 0 7480 0
vsize: 31120
[startup+190.097 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7558 0 10 0 18640 52 0 0 25 0 1 0 805753824 32137216 6713 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7846 6713 300 300 0 7546 0
vsize: 31384
[startup+200.097 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7620 0 10 0 19634 59 0 0 25 0 1 0 805753824 32272384 6775 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7879 6775 300 300 0 7579 0
vsize: 31516
[startup+210.098 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7665 0 10 0 20632 61 0 0 25 0 1 0 805753824 32391168 6820 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7908 6820 300 300 0 7608 0
vsize: 31632
[startup+220.099 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7721 0 10 0 21631 62 0 0 25 0 1 0 805753824 32493568 6876 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7933 6876 300 300 0 7633 0
vsize: 31732
[startup+230.1 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7778 0 10 0 22630 63 0 0 25 0 1 0 805753824 32608256 6933 4294967295 134512640 135726644 3221224576 3221223120 134736818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7961 6933 300 300 0 7661 0
vsize: 31844
[startup+240.1 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7841 0 10 0 23628 65 0 0 25 0 1 0 805753824 32710656 6996 4294967295 134512640 135726644 3221224576 3221222896 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7986 6996 300 300 0 7686 0
vsize: 31944
[startup+250.101 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7908 0 10 0 24626 68 0 0 25 0 1 0 805753824 32845824 7063 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8019 7063 300 300 0 7719 0
vsize: 32076
[startup+260.102 s]
Raw data (loadavg): 0.98 0.58 0.23 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 7981 0 10 0 25624 70 0 0 25 0 1 0 805753824 33079296 7136 4294967295 134512640 135726644 3221224576 3221223120 134736688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8076 7136 300 300 0 7776 0
vsize: 32304
[startup+270.101 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 8082 0 10 0 26622 71 0 0 25 0 1 0 805753824 33447936 7237 4294967295 134512640 135726644 3221224576 3221223120 134736820 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8166 7237 300 300 0 7866 0
vsize: 32664
[startup+280.103 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 8169 0 10 0 27617 77 0 0 25 0 1 0 805753824 33701888 7324 4294967295 134512640 135726644 3221224576 3221222940 134809808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8228 7324 300 300 0 7928 0
vsize: 32912
[startup+290.103 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 8984 0 10 0 28612 81 0 0 25 0 1 0 805753824 36847616 7370 4294967295 134512640 135726644 3221224576 3221223088 134742633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8996 7370 300 300 0 8696 0
vsize: 35984
[startup+300.104 s]
Raw data (loadavg): 0.99 0.63 0.26 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9045 0 10 0 29611 83 0 0 25 0 1 0 805753824 36945920 7431 4294967295 134512640 135726644 3221224576 3221223168 134759984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9020 7431 300 300 0 8720 0
vsize: 36080
[startup+310.104 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9159 0 10 0 30609 85 0 0 25 0 1 0 805753824 37314560 7545 4294967295 134512640 135726644 3221224576 3221223184 134741184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9110 7545 300 300 0 8810 0
vsize: 36440
[startup+320.105 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9204 0 10 0 31607 87 0 0 25 0 1 0 805753824 37314560 7590 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9110 7590 300 300 0 8810 0
vsize: 36440
[startup+330.106 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9250 0 10 0 32606 88 0 0 25 0 1 0 805753824 37408768 7636 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9133 7636 300 300 0 8833 0
vsize: 36532
[startup+340.106 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9304 0 10 0 33604 90 0 0 25 0 1 0 805753824 37515264 7690 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9159 7690 300 300 0 8859 0
vsize: 36636
[startup+350.107 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9363 0 10 0 34602 92 0 0 25 0 1 0 805753824 37621760 7749 4294967295 134512640 135726644 3221224576 3221223072 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9185 7749 300 300 0 8885 0
vsize: 36740
[startup+360.108 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9415 0 10 0 35600 94 0 0 25 0 1 0 805753824 37867520 7801 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9245 7801 300 300 0 8945 0
vsize: 36980
[startup+370.108 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9569 0 10 0 36594 100 0 0 25 0 1 0 805753824 38379520 7955 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9370 7955 300 300 0 9070 0
vsize: 37480
[startup+380.108 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9614 0 10 0 37593 102 0 0 25 0 1 0 805753824 38379520 8000 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9370 8000 300 300 0 9070 0
vsize: 37480
[startup+390.109 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9711 0 10 0 38591 104 0 0 25 0 1 0 805753824 38649856 8097 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9436 8097 300 300 0 9136 0
vsize: 37744
[startup+400.11 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9755 0 10 0 39589 105 0 0 25 0 1 0 805753824 38649856 8141 4294967295 134512640 135726644 3221224576 3221223120 134736796 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9436 8141 300 300 0 9136 0
vsize: 37744
[startup+410.112 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9809 0 10 0 40588 107 0 0 25 0 1 0 805753824 38748160 8195 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9460 8195 300 300 0 9160 0
vsize: 37840
[startup+420.111 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9893 0 10 0 41585 110 0 0 25 0 1 0 805753824 39018496 8279 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9526 8279 300 300 0 9226 0
vsize: 38104
[startup+430.112 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 9967 0 10 0 42581 114 0 0 25 0 1 0 805753824 39251968 8353 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9583 8353 300 300 0 9283 0
vsize: 38332
[startup+440.113 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10017 0 10 0 43579 117 0 0 25 0 1 0 805753824 39251968 8403 4294967295 134512640 135726644 3221224576 3221222768 135278593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9583 8403 300 300 0 9283 0
vsize: 38332
[startup+450.113 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10068 0 10 0 44577 118 0 0 25 0 1 0 805753824 39350272 8454 4294967295 134512640 135726644 3221224576 3221223184 134740875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9607 8454 300 300 0 9307 0
vsize: 38428
[startup+460.115 s]
Raw data (loadavg): 0.99 0.78 0.37 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10124 0 10 0 45575 120 0 0 25 0 1 0 805753824 39456768 8510 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9633 8510 300 300 0 9333 0
vsize: 38532
[startup+470.115 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10173 0 10 0 46574 121 0 0 25 0 1 0 805753824 39575552 8559 4294967295 134512640 135726644 3221224576 3221222960 134758304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9662 8559 300 300 0 9362 0
vsize: 38648
[startup+480.116 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10230 0 10 0 47573 123 0 0 25 0 1 0 805753824 39673856 8616 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9686 8616 300 300 0 9386 0
vsize: 38744
[startup+490.116 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10291 0 10 0 48570 126 0 0 25 0 1 0 805753824 39882752 8677 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9737 8677 300 300 0 9437 0
vsize: 38948
[startup+500.117 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10452 0 10 0 49568 128 0 0 25 0 1 0 805753824 40435712 8838 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9872 8838 300 300 0 9572 0
vsize: 39488
[startup+510.118 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10509 0 10 0 50564 132 0 0 25 0 1 0 805753824 40529920 8895 4294967295 134512640 135726644 3221224576 3221223184 134741213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9895 8895 300 300 0 9595 0
vsize: 39580
[startup+520.118 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10570 0 10 0 51560 136 0 0 25 0 1 0 805753824 40632320 8956 4294967295 134512640 135726644 3221224576 3221222896 134729208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9920 8956 300 300 0 9620 0
vsize: 39680
[startup+530.118 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10610 0 10 0 52560 137 0 0 25 0 1 0 805753824 40632320 8996 4294967295 134512640 135726644 3221224576 3221223088 134742890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9920 8996 300 300 0 9620 0
vsize: 39680
[startup+540.119 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 10654 0 10 0 53558 139 0 0 25 0 1 0 805753824 40726528 9040 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9943 9040 300 300 0 9643 0
vsize: 39772
[startup+550.12 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12241 0 10 0 54552 144 0 0 25 0 1 0 805753824 47132672 9090 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11507 9090 300 300 0 11207 0
vsize: 46028
[startup+560.12 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12361 0 10 0 55550 147 0 0 25 0 1 0 805753824 47497216 9210 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11596 9210 300 300 0 11296 0
vsize: 46384
[startup+570.12 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12408 0 10 0 56547 150 0 0 25 0 1 0 805753824 47591424 9257 4294967295 134512640 135726644 3221224576 3221223088 134742904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11619 9257 300 300 0 11319 0
vsize: 46476
[startup+580.121 s]
Raw data (loadavg): 0.99 0.85 0.44 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12485 0 10 0 57542 155 0 0 25 0 1 0 805753824 47726592 9334 4294967295 134512640 135726644 3221224576 3221223200 134744555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11652 9334 300 300 0 11352 0
vsize: 46608
[startup+590.122 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12515 0 10 0 58539 158 0 0 25 0 1 0 805753824 47726592 9364 4294967295 134512640 135726644 3221224576 3221223088 134742601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11652 9364 300 300 0 11352 0
vsize: 46608
[startup+600.121 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12560 0 10 0 59538 159 0 0 25 0 1 0 805753824 47833088 9409 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11678 9409 300 300 0 11378 0
vsize: 46712
[startup+610.122 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12613 0 10 0 60536 161 0 0 25 0 1 0 805753824 47931392 9462 4294967295 134512640 135726644 3221224576 3221222896 134729058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11702 9462 300 300 0 11402 0
vsize: 46808
[startup+620.122 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12669 0 10 0 61535 162 0 0 25 0 1 0 805753824 48025600 9518 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11725 9518 300 300 0 11425 0
vsize: 46900
[startup+630.123 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12749 0 10 0 62533 164 0 0 25 0 1 0 805753824 48263168 9598 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11783 9598 300 300 0 11483 0
vsize: 47132
[startup+640.124 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12860 0 10 0 63530 168 0 0 25 0 1 0 805753824 48668672 9709 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11882 9709 300 300 0 11582 0
vsize: 47528
[startup+650.124 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12914 0 10 0 64526 171 0 0 25 0 1 0 805753824 48779264 9763 4294967295 134512640 135726644 3221224576 3221223120 134736818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11909 9763 300 300 0 11609 0
vsize: 47636
[startup+660.125 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12958 0 10 0 65525 172 0 0 25 0 1 0 805753824 48779264 9807 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11909 9807 300 300 0 11609 0
vsize: 47636
[startup+670.124 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 12997 0 10 0 66523 174 0 0 25 0 1 0 805753824 48877568 9846 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11933 9846 300 300 0 11633 0
vsize: 47732
[startup+680.125 s]
Raw data (loadavg): 0.99 0.89 0.49 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13043 0 10 0 67521 176 0 0 25 0 1 0 805753824 48971776 9892 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11956 9892 300 300 0 11656 0
vsize: 47824
[startup+690.126 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13096 0 10 0 68520 178 0 0 25 0 1 0 805753824 49115136 9945 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11991 9945 300 300 0 11691 0
vsize: 47964
[startup+700.126 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13217 0 10 0 69517 181 0 0 25 0 1 0 805753824 49487872 10066 4294967295 134512640 135726644 3221224576 3221222736 134765569 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12082 10066 300 300 0 11782 0
vsize: 48328
[startup+710.126 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13261 0 10 0 70516 182 0 0 25 0 1 0 805753824 49487872 10110 4294967295 134512640 135726644 3221224576 3221223120 134736707 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12082 10110 300 300 0 11782 0
vsize: 48328
[startup+720.127 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13299 0 10 0 71515 183 0 0 25 0 1 0 805753824 49582080 10148 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12105 10148 300 300 0 11805 0
vsize: 48420
[startup+730.128 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13344 0 10 0 72514 184 0 0 25 0 1 0 805753824 49676288 10193 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12128 10193 300 300 0 11828 0
vsize: 48512
[startup+740.127 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13440 0 10 0 73511 187 0 0 25 0 1 0 805753824 49946624 10289 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12194 10289 300 300 0 11894 0
vsize: 48776
[startup+750.127 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13471 0 10 0 74508 190 0 0 25 0 1 0 805753824 49946624 10320 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12194 10320 300 300 0 11894 0
vsize: 48776
[startup+760.128 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13563 0 10 0 75507 192 0 0 25 0 1 0 805753824 50212864 10412 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12259 10412 300 300 0 11959 0
vsize: 49036
[startup+770.127 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13605 0 10 0 76506 193 0 0 25 0 1 0 805753824 50212864 10454 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12259 10454 300 300 0 11959 0
vsize: 49036
[startup+780.128 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13643 0 10 0 77505 194 0 0 25 0 1 0 805753824 50307072 10492 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12282 10492 300 300 0 11982 0
vsize: 49128
[startup+790.129 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13679 0 10 0 78503 196 0 0 25 0 1 0 805753824 50307072 10528 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12282 10528 300 300 0 11982 0
vsize: 49128
[startup+800.129 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13736 0 10 0 79502 198 0 0 25 0 1 0 805753824 50503680 10585 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12330 10585 300 300 0 12030 0
vsize: 49320
[startup+810.129 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13828 0 10 0 80501 199 0 0 25 0 1 0 805753824 50782208 10677 4294967295 134512640 135726644 3221224576 3221223088 134742601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12398 10677 300 300 0 12098 0
vsize: 49592
[startup+820.13 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 13996 0 10 0 81500 200 0 0 25 0 1 0 805753824 51486720 10845 4294967295 134512640 135726644 3221224576 3221223200 134779430 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12570 10845 300 300 0 12270 0
vsize: 50280
[startup+830.131 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14148 0 10 0 82498 202 0 0 25 0 1 0 805753824 52027392 10997 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12702 10997 300 300 0 12402 0
vsize: 50808
[startup+840.13 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14192 0 10 0 83495 205 0 0 25 0 1 0 805753824 52158464 11041 4294967295 134512640 135726644 3221224576 3221223120 134736730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12734 11041 300 300 0 12434 0
vsize: 50936
[startup+850.13 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14235 0 10 0 84494 207 0 0 25 0 1 0 805753824 52158464 11084 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12734 11084 300 300 0 12434 0
vsize: 50936
[startup+860.131 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14270 0 10 0 85492 209 0 0 25 0 1 0 805753824 52158464 11119 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12734 11119 300 300 0 12434 0
vsize: 50936
[startup+870.131 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14315 0 10 0 86492 209 0 0 25 0 1 0 805753824 52252672 11164 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12757 11164 300 300 0 12457 0
vsize: 51028
[startup+880.132 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14364 0 10 0 87491 211 0 0 25 0 1 0 805753824 52350976 11213 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12781 11213 300 300 0 12481 0
vsize: 51124
[startup+890.132 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14447 0 10 0 88490 212 0 0 25 0 1 0 805753824 52596736 11296 4294967295 134512640 135726644 3221224576 3221223184 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12841 11296 300 300 0 12541 0
vsize: 51364
[startup+900.132 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14488 0 10 0 89489 213 0 0 25 0 1 0 805753824 52596736 11337 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12841 11337 300 300 0 12541 0
vsize: 51364
[startup+910.133 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14533 0 10 0 90488 214 0 0 25 0 1 0 805753824 52842496 11382 4294967295 134512640 135726644 3221224576 3221222960 134758402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12901 11382 300 300 0 12601 0
vsize: 51604
[startup+920.132 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14566 0 10 0 91487 215 0 0 25 0 1 0 805753824 52842496 11415 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12901 11415 300 300 0 12601 0
vsize: 51604
[startup+930.133 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14618 0 10 0 92485 217 0 0 25 0 1 0 805753824 52989952 11467 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12937 11467 300 300 0 12637 0
vsize: 51748
[startup+940.133 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14698 0 10 0 93484 218 0 0 25 0 1 0 805753824 53202944 11547 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12989 11547 300 300 0 12689 0
vsize: 51956
[startup+950.133 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 14865 0 10 0 94482 221 0 0 25 0 1 0 805753824 53907456 11714 4294967295 134512640 135726644 3221224576 3221223088 134742617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13161 11714 300 300 0 12861 0
vsize: 52644
[startup+960.133 s]
Raw data (loadavg): 0.99 0.95 0.61 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15201 0 10 0 95480 223 0 0 25 0 1 0 805753824 54415360 12050 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 12050 300 300 0 12985 0
vsize: 53140
[startup+970.133 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15459 0 10 0 96479 224 0 0 25 0 1 0 805753824 54841344 12308 4294967295 134512640 135726644 3221224576 3221223088 134742931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13389 12308 300 300 0 13089 0
vsize: 53556
[startup+980.134 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15733 0 10 0 97477 226 0 0 25 0 1 0 805753824 55709696 12582 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13601 12582 300 300 0 13301 0
vsize: 54404
[startup+990.133 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15786 0 10 0 98475 229 0 0 25 0 1 0 805753824 55709696 12635 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13601 12635 300 300 0 13301 0
vsize: 54404
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15816 0 10 0 99473 230 0 0 25 0 1 0 805753824 55709696 12665 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13601 12665 300 300 0 13301 0
vsize: 54404
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15845 0 10 0 100472 231 0 0 25 0 1 0 805753824 55709696 12694 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13601 12694 300 300 0 13301 0
vsize: 54404
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15887 0 10 0 101470 234 0 0 25 0 1 0 805753824 55799808 12736 4294967295 134512640 135726644 3221224576 3221223120 134736658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13623 12736 300 300 0 13323 0
vsize: 54492
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 15944 0 10 0 102468 236 0 0 25 0 1 0 805753824 55922688 12793 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13653 12793 300 300 0 13353 0
vsize: 54612
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16001 0 10 0 103466 239 0 0 25 0 1 0 805753824 56025088 12850 4294967295 134512640 135726644 3221224576 3221223088 134742217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13678 12850 300 300 0 13378 0
vsize: 54712
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16055 0 10 0 104464 241 0 0 25 0 1 0 805753824 56115200 12904 4294967295 134512640 135726644 3221224576 3221222816 134782976 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13700 12904 300 300 0 13400 0
vsize: 54800
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16092 0 10 0 105462 243 0 0 25 0 1 0 805753824 56115200 12941 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13700 12941 300 300 0 13400 0
vsize: 54800
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16196 0 10 0 106456 248 0 0 25 0 1 0 805753824 56475648 13045 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13788 13045 300 300 0 13488 0
vsize: 55152
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16236 0 10 0 107456 249 0 0 25 0 1 0 805753824 56475648 13085 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13788 13085 300 300 0 13488 0
vsize: 55152
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16274 0 10 0 108455 250 0 0 25 0 1 0 805753824 56475648 13123 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13788 13123 300 300 0 13488 0
vsize: 55152
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16316 0 10 0 109453 253 0 0 25 0 1 0 805753824 56569856 13165 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13811 13165 300 300 0 13511 0
vsize: 55244
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16369 0 10 0 110452 254 0 0 25 0 1 0 805753824 56668160 13218 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 13218 300 300 0 13535 0
vsize: 55340
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 16392 0 10 0 111450 255 0 0 25 0 1 0 805753824 56668160 13241 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 13241 300 300 0 13535 0
vsize: 55340
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19588 0 10 0 112443 264 0 0 25 0 1 0 805753824 69656576 13364 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17006 13364 300 300 0 16706 0
vsize: 68024
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19623 0 10 0 113441 265 0 0 25 0 1 0 805753824 69656576 13399 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17006 13399 300 300 0 16706 0
vsize: 68024
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19708 0 10 0 114438 269 0 0 25 0 1 0 805753824 69910528 13484 4294967295 134512640 135726644 3221224576 3221222896 134728997 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 13484 300 300 0 16768 0
vsize: 68272
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19750 0 10 0 115437 270 0 0 25 0 1 0 805753824 69910528 13526 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17068 13526 300 300 0 16768 0
vsize: 68272
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19793 0 10 0 116436 271 0 0 25 0 1 0 805753824 70000640 13569 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17090 13569 300 300 0 16790 0
vsize: 68360
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19834 0 10 0 117435 272 0 0 25 0 1 0 805753824 70000640 13610 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17090 13610 300 300 0 16790 0
vsize: 68360
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19928 0 10 0 118432 275 0 0 25 0 1 0 805753824 70365184 13704 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17179 13704 300 300 0 16879 0
vsize: 68716
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 19957 0 10 0 119430 278 0 0 25 0 1 0 805753824 70365184 13733 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17179 13733 300 300 0 16879 0
vsize: 68716
[startup+1210.14 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 17959
Raw data (stat): 17959 (pb2sat) R 17958 7266 7265 0 -1 0 20022 0 10 0 120427 281 0 0 25 0 1 0 805753824 70500352 13798 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17212 13798 300 300 0 16912 0
vsize: 68848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.5 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 17959
Raw data (stat): 17959 (pb2sat) Z 17958 7266 7265 0 -1 12 20023 0 10 0 120460 284 0 0 25 0 1 0 805753824 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): 1210.5
CPU time (s): 1207.45
CPU user time (s): 1204.6
CPU system time (s): 2.84157
CPU usage (%): 99.7479
Max. virtual memory (Kb): 68848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####