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 41893

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        844900 kB
Buffers:         33520 kB
Cached:         134708 kB
SwapCached:        820 kB
Active:          43288 kB
Inactive:       127140 kB
HighTotal:      131008 kB
HighFree:        22120 kB
LowTotal:       903652 kB
LowFree:        822780 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13584 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:44:37 (client local time) WITH STATUS 0 IN 1200.53 SECONDS
stats: 25109 7 1200.53 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1800/5460	Time: 38.8921/86400
c Decision: 1800/5460	Time: 40.4029/86400
c Decision: 1800/5460	Time: 41.6207/86400
c Decision: 1800/5460	Time: 42.9295/86400
c Decision: 1800/5460	Time: 43.9653/86400
c Decision: 1800/5460	Time: 45.3381/86400
c Decision: 1800/5460	Time: 46.4589/86400
c Decision: 1800/5460	Time: 47.6908/86400
c Decision: 1800/5460	Time: 48.9436/86400
c Decision: 1800/5460	Time: 50.2454/86400
c Decision: 1800/5460	Time: 51.7001/86400
c Decision: 1800/5460	Time: 53.0199/86400
c Decision: 1800/5460	Time: 54.4357/86400
c Decision: 1800/5460	Time: 55.7105/86400
c Decision: 1800/5460	Time: 57.3223/86400
c Decision: 1800/5460	Time: 58.945/86400
c Decision: 1800/5460	Time: 60.2328/86400
c Decision: 1800/5460	Time: 61.5566/86400
c Decision: 1800/5460	Time: 62.9474/86400
c Decision: 1800/5460	Time: 64.5552/86400
c Decision: 1800/5460	Time: 66.03/86400
c Decision: 1800/5460	Time: 67.4118/86400
c Decision: 1800/5460	Time: 68.7276/86400
c Decision: 1800/5460	Time: 70.1463/86400
c Decision: 1800/5460	Time: 71.5891/86400
c Decision: 1800/5460	Time: 73.3578/86400
c Decision: 1800/5460	Time: 74.8846/86400
c Decision: 1800/5460	Time: 76.1884/86400
c Decision: 1800/5460	Time: 78.0201/86400
c Decision: 1800/5460	Time: 79.4479/86400
c Decision: 1800/5460	Time: 85.484/86400
c Decision: 1800/5460	Time: 86.4899/86400
c Decision: 1800/5460	Time: 87.6107/86400
c Decision: 1800/5460	Time: 88.6985/86400
c Decision: 1800/5460	Time: 89.7634/86400
c Decision: 1800/5460	Time: 92.4239/86400
c Decision: 1800/5460	Time: 93.5148/86400
c Decision: 1800/5460	Time: 94.5546/86400
c Decision: 1800/5460	Time: 95.6355/86400
c Decision: 1800/5460	Time: 96.7793/86400
c Decision: 1800/5460	Time: 97.9201/86400
c Decision: 1800/5460	Time: 99.0719/86400
c Decision: 1800/5460	Time: 100.247/86400
c Decision: 1800/5460	Time: 101.443/86400
c Decision: 1800/5460	Time: 102.704/86400
c Decision: 1800/5460	Time: 105.443/86400
c Decision: 1800/5460	Time: 106.53/86400
c Decision: 1800/5460	Time: 107.693/86400
c Decision: 1800/5460	Time: 108.762/86400
c Decision: 1800/5460	Time: 109.923/86400
c Decision: 1800/5460	Time: 111.083/86400
c Decision: 1800/5460	Time: 112.115/86400
c Decision: 1800/5460	Time: 113.222/86400
c Decision: 1800/5460	Time: 114.318/86400
c Decision: 1800/5460	Time: 115.364/86400
c Decision: 1800/5460	Time: 116.583/86400
c Decision: 1800/5460	Time: 117.776/86400
c Decision: 1800/5460	Time: 118.961/86400
c Decision: 1800/5460	Time: 120.292/86400
c Decision: 1800/5460	Time: 121.501/86400
c Decision: 1800/5460	Time: 122.829/86400
c Decision: 1800/5460	Time: 123.945/86400
c Decision: 1800/5460	Time: 125.164/86400
c Decision: 1800/5460	Time: 126.423/86400
c Decision: 1800/5460	Time: 127.747/86400
c Decision: 1800/5460	Time: 129.101/86400
c Decision: 1800/5460	Time: 130.488/86400
c Decision: 1800/5460	Time: 131.689/86400
c Decision: 1800/5460	Time: 132.941/86400
c Decision: 1800/5460	Time: 134.281/86400
c Decision: 1800/5460	Time: 135.609/86400
c Decision: 1800/5460	Time: 136.883/86400
c Decision: 1800/5460	Time: 138.03/86400
c Decision: 1800/5460	Time: 139.365/86400
c Decision: 1800/5460	Time: 140.522/86400
c Decision: 1800/5460	Time: 142.028/86400
c Decision: 1800/5460	Time: 143.42/86400
c Decision: 1800/5460	Time: 144.72/86400
c Decision: 1800/5460	Time: 146.029/86400
c Decision: 1800/5460	Time: 147.392/86400
c Decision: 1800/5460	Time: 148.902/86400
c Decision: 1800/5460	Time: 150.132/86400
c Decision: 1800/5460	Time: 151.539/86400
c Decision: 1800/5460	Time: 152.851/86400
c Decision: 1800/5460	Time: 154.194/86400
c Decision: 1800/5460	Time: 155.757/86400
c Decision: 1800/5460	Time: 157.168/86400
c Decision: 1800/5460	Time: 158.409/86400
c Decision: 1800/5460	Time: 160.194/86400
c Decision: 1800/5460	Time: 161.834/86400
c Decision: 1800/5460	Time: 163.81/86400
c Decision: 1800/5460	Time: 166.329/86400
c Decision: 1800/5460	Time: 168.153/86400
c Decision: 1800/5460	Time: 169.457/86400
c Decision: 1800/5460	Time: 170.839/86400
c Decision: 1800/5460	Time: 174.266/86400
c Decision: 1800/5460	Time: 175.329/86400
c Decision: 1800/5460	Time: 176.408/86400
c Decision: 1800/5460	Time: 177.428/86400
c Decision: 1800/5460	Time: 178.518/86400
c Decision: 1800/5460	Time: 179.918/86400
c Decision: 1800/5460	Time: 181.039/86400
c Decision: 1800/5460	Time: 182.127/86400
c Decision: 1800/5460	Time: 183.292/86400
c Decision: 1800/5460	Time: 184.465/86400
c Decision: 1800/5460	Time: 185.805/86400
c Decision: 1800/5460	Time: 187.913/86400
c Decision: 1800/5460	Time: 188.989/86400
c Decision: 1800/5460	Time: 190.057/86400
c Decision: 1800/5460	Time: 191.322/86400
c Decision: 1800/5460	Time: 192.514/86400
c Decision: 1800/5460	Time: 193.631/86400
c Decision: 1800/5460	Time: 194.701/86400
c Decision: 1800/5460	Time: 195.812/86400
c Decision: 1800/5460	Time: 197.032/86400
c Decision: 1800/5460	Time: 198.266/86400
c Decision: 1800/5460	Time: 199.502/86400
c Decision: 1800/5460	Time: 200.768/86400
c Decision: 1800/5460	Time: 201.943/86400
c Decision: 1800/5460	Time: 203.194/86400
c Decision: 1800/5460	Time: 204.568/86400
c Decision: 1800/5460	Time: 205.93/86400
c Decision: 1800/5460	Time: 207.527/86400
c Decision: 1800/5460	Time: 211.513/86400
c Decision: 1800/5460	Time: 212.779/86400
c Decision: 1800/5460	Time: 213.941/86400
c Decision: 1800/5460	Time: 215.868/86400
c Decision: 1800/5460	Time: 216.882/86400
c Decision: 1800/5460	Time: 217.976/86400
c Decision: 1800/5460	Time: 219.002/86400
c Decision: 1800/5460	Time: 220.127/86400
c Decision: 1800/5460	Time: 222.526/86400
c Decision: 1800/5460	Time: 223.514/86400
c Decision: 1800/5460	Time: 224.512/86400
c Decision: 1800/5460	Time: 225.52/86400
c Decision: 1800/5460	Time: 226.579/86400
c Decision: 1800/5460	Time: 229.2/86400
c Decision: 1800/5460	Time: 230.404/86400
c Decision: 1800/5460	Time: 231.577/86400
c Decision: 1800/5460	Time: 232.633/86400
c Decision: 1800/5460	Time: 233.741/86400
c Decision: 1800/5460	Time: 234.839/86400
c Decision: 1800/5460	Time: 235.908/86400
c Decision: 1800/5460	Time: 237.059/86400
c Decision: 1800/5460	Time: 238.121/86400
c Decision: 1800/5460	Time: 239.459/86400
c Decision: 1800/5460	Time: 240.625/86400
c Decision: 1800/5460	Time: 241.784/86400
c Decision: 1800/5460	Time: 242.934/86400
c Decision: 1800/5460	Time: 244.253/86400
c Decision: 1800/5460	Time: 245.646/86400
c Decision: 1800/5460	Time: 246.944/86400
c Decision: 1800/5460	Time: 248.273/86400
c Decision: 1800/5460	Time: 249.459/86400
c Decision: 1800/5460	Time: 250.772/86400
c Decision: 1800/5460	Time: 252.264/86400
c Decision: 1800/5460	Time: 253.527/86400
c Decision: 1800/5460	Time: 254.817/86400
c Decision: 1800/5460	Time: 256.186/86400
c Decision: 1800/5460	Time: 257.966/86400
c Decision: 1800/5460	Time: 261.964/86400
c Decision: 1800/5460	Time: 263.13/86400
c Decision: 1800/5460	Time: 264.27/86400
c Decision: 1800/5460	Time: 265.335/86400
c Decision: 1800/5460	Time: 266.424/86400
c Decision: 1800/5460	Time: 267.589/86400
c Decision: 1800/5460	Time: 269.465/86400
c Decision: 1800/5460	Time: 270.882/86400
c Decision: 1800/5460	Time: 272.146/86400
c Decision: 1800/5460	Time: 273.242/86400
c Decision: 1800/5460	Time: 274.562/86400
c Decision: 1800/5460	Time: 275.755/86400
c Decision: 1800/5460	Time: 277.019/86400
c Decision: 1800/5460	Time: 278.256/86400
c Decision: 1800/5460	Time: 279.402/86400
c Decision: 1800/5460	Time: 282.178/86400
c Decision: 1800/5460	Time: 283.167/86400
c Decision: 1800/5460	Time: 284.199/86400
c Decision: 1800/5460	Time: 285.213/86400
c Decision: 1800/5460	Time: 286.357/86400
c Decision: 1800/5460	Time: 287.633/86400
c Decision: 1800/5460	Time: 288.927/86400
c Decision: 1800/5460	Time: 290.093/86400
c Decision: 1800/5460	Time: 291.302/86400
c Decision: 1800/5460	Time: 292.444/86400
c Decision: 1800/5460	Time: 293.663/86400
c Decision: 1800/5460	Time: 294.795/86400
c Decision: 1800/5460	Time: 295.994/86400
c Decision: 1800/5460	Time: 297.137/86400
c Decision: 1800/5460	Time: 298.378/86400
c Decision: 1800/5460	Time: 299.654/86400
c Decision: 1800/5460	Time: 300.908/86400
c Decision: 1800/5460	Time: 302.154/86400
c Decision: 1800/5460	Time: 303.319/86400
c Decision: 1800/5460	Time: 304.525/86400
c Decision: 1800/5460	Time: 305.868/86400
c Decision: 1800/5460	Time: 307.242/86400
c Decision: 1800/5460	Time: 308.506/86400
c Decision: 1800/5460	Time: 309.917/86400
c Decision: 1800/5460	Time: 311.226/86400
c Decision: 1800/5460	Time: 312.693/86400
c Decision: 1800/5460	Time: 314.008/86400
c Decision: 1800/5460	Time: 315.359/86400
c Decision: 1800/5460	Time: 316.646/86400
c Decision: 1800/5460	Time: 317.996/86400
c Decision: 1800/5460	Time: 319.56/86400
c Decision: 1800/5460	Time: 320.97/86400
c Decision: 1800/5460	Time: 324.336/86400
c Decision: 1800/5460	Time: 325.754/86400
c Decision: 1800/5460	Time: 327.221/86400
c Decision: 1800/5460	Time: 328.884/86400
c Decision: 1800/5460	Time: 330.453/86400
c Decision: 1800/5460	Time: 331.919/86400
c Decision: 1800/5460	Time: 334.535/86400
c Decision: 1800/5460	Time: 336.324/86400
c Decision: 1800/5460	Time: 338.524/86400
c Decision: 1800/5460	Time: 340.282/86400
c Decision: 1800/5460	Time: 341.914/86400
c Decision: 1800/5460	Time: 343.665/86400
c Decision: 1800/5460	Time: 345.284/86400
c Decision: 1800/5460	Time: 347.11/86400
c Decision: 1800/5460	Time: 348.616/86400
c Decision: 1800/5460	Time: 350.24/86400
c Decision: 1800/5460	Time: 351.775/86400
c Decision: 1800/5460	Time: 353.472/86400
c Decision: 1800/5460	Time: 355.329/86400
c Decision: 1800/5460	Time: 359.716/86400
c Decision: 1800/5460	Time: 361.227/86400
c Decision: 1800/5460	Time: 362.609/86400
c Decision: 1800/5460	Time: 363.847/86400
c Decision: 1800/5460	Time: 365.222/86400
c Decision: 1800/5460	Time: 366.651/86400
c Decision: 1800/5460	Time: 368.171/86400
c Decision: 1800/5460	Time: 369.572/86400
c Decision: 1800/5460	Time: 371.127/86400
c Decision: 1800/5460	Time: 372.965/86400
c Decision: 1800/5460	Time: 374.499/86400
c Decision: 1800/5460	Time: 375.821/86400
c Decision: 1800/5460	Time: 377.267/86400
c Decision: 1800/5460	Time: 378.608/86400
c Decision: 1800/5460	Time: 380.213/86400
c Decision: 1800/5460	Time: 381.543/86400
c Decision: 1800/5460	Time: 382.954/86400
c Decision: 1800/5460	Time: 384.387/86400
c Decision: 1800/5460	Time: 385.811/86400
c Decision: 1800/5460	Time: 387.433/86400
c Decision: 1800/5460	Time: 388.713/86400
c Decision: 1800/5460	Time: 390.049/86400
c Decision: 1800/5460	Time: 391.553/86400
c Decision: 1800/5460	Time: 394.634/86400
c Decision: 1800/5460	Time: 396.059/86400
c Decision: 1800/5460	Time: 397.42/86400
c Decision: 1800/5460	Time: 398.878/86400
c Decision: 1800/5460	Time: 400.188/86400
c Decision: 1800/5460	Time: 401.744/86400
c Decision: 1800/5460	Time: 403.316/86400
c Decision: 1800/5460	Time: 404.724/86400
c Decision: 1800/5460	Time: 406.106/86400
c Decision: 1800/5460	Time: 407.685/86400
c Decision: 1800/5460	Time: 409.164/86400
c Decision: 1800/5460	Time: 410.531/86400
c Decision: 1800/5460	Time: 411.751/86400
c Decision: 1800/5460	Time: 413.105/86400
c Decision: 1800/5460	Time: 414.435/86400
c Decision: 1800/5460	Time: 415.734/86400
c Decision: 1800/5460	Time: 417.49/86400
c Decision: 1800/5460	Time: 418.903/86400
c Decision: 1800/5460	Time: 420.382/86400
c Decision: 1800/5460	Time: 421.766/86400
c Decision: 1800/5460	Time: 423.255/86400
c Decision: 1800/5460	Time: 424.911/86400
c Decision: 1800/5460	Time: 426.405/86400
c Decision: 1800/5460	Time: 428.707/86400
c Decision: 1800/5460	Time: 430.126/86400
c Decision: 1800/5460	Time: 431.686/86400
c Decision: 1800/5460	Time: 433.531/86400
c Decision: 1800/5460	Time: 434.984/86400
c Decision: 1800/5460	Time: 436.401/86400
c Decision: 1800/5460	Time: 437.754/86400
c Decision: 1800/5460	Time: 443.714/86400
c Decision: 1800/5460	Time: 445.578/86400
c Decision: 1800/5460	Time: 447.026/86400
c Decision: 1800/5460	Time: 448.669/86400
c Decision: 1800/5460	Time: 450.095/86400
c Decision: 1800/5460	Time: 451.55/86400
c Decision: 1800/5460	Time: 453.256/86400
c Decision: 1800/5460	Time: 454.813/86400
c Decision: 1800/5460	Time: 456.484/86400
c Decision: 1800/5460	Time: 458.004/86400
c Decision: 1800/5460	Time: 459.631/86400
c Decision: 1800/5460	Time: 461.363/86400
c Decision: 1800/5460	Time: 462.968/86400
c Decision: 1800/5460	Time: 464.76/86400
c Decision: 1800/5460	Time: 466.337/86400
c Decision: 1800/5460	Time: 468.057/86400
c Decision: 1800/5460	Time: 470.022/86400
c Decision: 1800/5460	Time: 475.522/86400
c Decision: 1800/5460	Time: 476.672/86400
c Decision: 1800/5460	Time: 477.873/86400
c Decision: 1800/5460	Time: 479.076/86400
c Decision: 1800/5460	Time: 480.306/86400
c Decision: 1800/5460	Time: 481.479/86400
c Decision: 1800/5460	Time: 482.64/86400
c Decision: 1800/5460	Time: 483.82/86400
c Decision: 1800/5460	Time: 484.974/86400
c Decision: 1800/5460	Time: 486.303/86400
c Decision: 1800/5460	Time: 487.428/86400
c Decision: 1800/5460	Time: 488.824/86400
c Decision: 1800/5460	Time: 490.076/86400
c Decision: 1800/5460	Time: 491.391/86400
c Decision: 1800/5460	Time: 492.757/86400
c Decision: 1800/5460	Time: 494.317/86400
c Decision: 1800/5460	Time: 495.916/86400
c Decision: 1800/5460	Time: 497.206/86400
c Decision: 1800/5460	Time: 498.475/86400
c Decision: 1800/5460	Time: 499.934/86400
c Decision: 1800/5460	Time: 501.205/86400
c Decision: 1800/5460	Time: 504.568/86400
c Decision: 1800/5460	Time: 505.888/86400
c Decision: 1800/5460	Time: 507.129/86400
c Decision: 1800/5460	Time: 508.496/86400
c Decision: 1800/5460	Time: 509.765/86400
c Decision: 1800/5460	Time: 513.386/86400
c Decision: 1800/5460	Time: 514.528/86400
c Decision: 1800/5460	Time: 515.569/86400
c Decision: 1800/5460	Time: 516.714/86400
c Decision: 1800/5460	Time: 517.805/86400
c Decision: 1800/5460	Time: 519.724/86400
c Decision: 1800/5460	Time: 520.833/86400
c Decision: 1800/5460	Time: 522.059/86400
c Decision: 1800/5460	Time: 524.539/86400
c Decision: 1800/5460	Time: 525.765/86400
c Decision: 1800/5460	Time: 527.054/86400
c Decision: 1800/5460	Time: 528.394/86400
c Decision: 1800/5460	Time: 529.643/86400
c Decision: 1800/5460	Time: 531.038/86400
c Decision: 1800/5460	Time: 532.188/86400
c Decision: 1800/5460	Time: 533.53/86400
c Decision: 1800/5460	Time: 534.744/86400
c Decision: 1800/5460	Time: 536.042/86400
c Decision: 1800/5460	Time: 537.61/86400
c Decision: 1800/5460	Time: 538.845/86400
c Decision: 1800/5460	Time: 540.1/86400
c Decision: 1800/5460	Time: 541.429/86400
c Decision: 1800/5460	Time: 542.728/86400
c Decision: 1800/5460	Time: 544.205/86400
c Decision: 1800/5460	Time: 545.528/86400
c Decision: 1800/5460	Time: 546.788/86400
c Decision: 1800/5460	Time: 548.394/86400
c Decision: 1800/5460	Time: 549.653/86400
c Decision: 1800/5460	Time: 551.262/86400
c Decision: 1800/5460	Time: 552.742/86400
c Decision: 1800/5460	Time: 554.308/86400
c Decision: 1800/5460	Time: 555.576/86400
c Decision: 1800/5460	Time: 556.952/86400
c Decision: 1800/5460	Time: 558.433/86400
c Decision: 1800/5460	Time: 559.856/86400
c Decision: 1800/5460	Time: 561.281/86400
c Decision: 1800/5460	Time: 562.636/86400
c Decision: 1800/5460	Time: 564.042/86400
c Decision: 1800/5460	Time: 568.229/86400
c Decision: 1800/5460	Time: 569.895/86400
c Decision: 1800/5460	Time: 571.51/86400
c Decision: 1800/5460	Time: 572.875/86400
c Decision: 1800/5460	Time: 574.235/86400
c Decision: 1800/5460	Time: 575.898/86400
c Decision: 1800/5460	Time: 577.3/86400
c Decision: 1800/5460	Time: 578.556/86400
c Decision: 1800/5460	Time: 579.88/86400
c Decision: 1800/5460	Time: 581.196/86400
c Decision: 1800/5460	Time: 582.893/86400
c Decision: 1800/5460	Time: 584.348/86400
c Decision: 1800/5460	Time: 585.813/86400
c Decision: 1800/5460	Time: 587.295/86400
c Decision: 1800/5460	Time: 588.839/86400
c Decision: 1800/5460	Time: 590.709/86400
c Decision: 1800/5460	Time: 591.927/86400
c Decision: 1800/5460	Time: 593.066/86400
c Decision: 1800/5460	Time: 594.161/86400
c Decision: 1800/5460	Time: 595.29/86400
c Decision: 1800/5460	Time: 596.501/86400
c Decision: 1800/5460	Time: 597.81/86400
c Decision: 1800/5460	Time: 599.012/86400
c Decision: 1800/5460	Time: 600.226/86400
c Decision: 1800/5460	Time: 601.423/86400
c Decision: 1800/5460	Time: 602.831/86400
c Decision: 1800/5460	Time: 604.214/86400
c Decision: 1800/5460	Time: 605.65/86400
c Decision: 1800/5460	Time: 607.01/86400
c Decision: 1800/5460	Time: 608.306/86400
c Decision: 1800/5460	Time: 609.698/86400
c Decision: 1800/5460	Time: 610.924/86400
c Decision: 1800/5460	Time: 612.163/86400
c Decision: 1800/5460	Time: 613.514/86400
c Decision: 1800/5460	Time: 614.969/86400
c Decision: 1800/5460	Time: 616.521/86400
c Decision: 1800/5460	Time: 617.814/86400
c Decision: 1800/5460	Time: 619.191/86400
c Decision: 1800/5460	Time: 620.696/86400
c Decision: 1800/5460	Time: 621.996/86400
c Decision: 1800/5460	Time: 623.25/86400
c Decision: 1800/5460	Time: 624.741/86400
c Decision: 1800/5460	Time: 626.142/86400
c Decision: 1800/5460	Time: 627.094/86400
c Decision: 1800/5460	Time: 628.326/86400
c Decision: 1800/5460	Time: 629.553/86400
c Decision: 1800/5460	Time: 630.694/86400
c Decision: 1800/5460	Time: 631.918/86400
c Decision: 1800/5460	Time: 633.207/86400
c Decision: 1800/5460	Time: 634.518/86400
c Decision: 1800/5460	Time: 635.866/86400
c Decision: 1800/5460	Time: 636.966/86400
c Decision: 1800/5460	Time: 638.22/86400
c Decision: 1800/5460	Time: 639.433/86400
c Decision: 1800/5460	Time: 640.833/86400
c Decision: 1800/5460	Time: 642.107/86400
c Decision: 1800/5460	Time: 643.262/86400
c Decision: 1800/5460	Time: 644.523/86400
c Decision: 1800/5460	Time: 645.829/86400
c Decision: 1800/5460	Time: 647.326/86400
c Decision: 1800/5460	Time: 649.044/86400
c Decision: 1800/5460	Time: 650.368/86400
c Decision: 1800/5460	Time: 651.761/86400
c Decision: 1800/5460	Time: 653.056/86400
c Decision: 1800/5460	Time: 654.349/86400
c Decision: 1800/5460	Time: 655.738/86400
c Decision: 1800/5460	Time: 657.092/86400
c Decision: 1800/5460	Time: 658.461/86400
c Decision: 1800/5460	Time: 659.947/86400
c Decision: 1800/5460	Time: 661.251/86400
c Decision: 1800/5460	Time: 662.894/86400
c Decision: 1800/5460	Time: 664.354/86400
c Decision: 1800/5460	Time: 665.926/86400
c Decision: 1800/5460	Time: 667.455/86400
c Decision: 1800/5460	Time: 668.894/86400
c Decision: 1800/5460	Time: 670.446/86400
c Decision: 1800/5460	Time: 671.824/86400
c Decision: 1800/5460	Time: 673.356/86400
c Decision: 1800/5460	Time: 674.677/86400
c Decision: 1800/5460	Time: 676.309/86400
c Decision: 1800/5460	Time: 678.192/86400
c Decision: 1800/5460	Time: 679.659/86400
c Decision: 1800/5460	Time: 681.034/86400
c Decision: 1800/5460	Time: 682.52/86400
c Decision: 1800/5460	Time: 684.144/86400
c Decision: 1800/5460	Time: 685.885/86400
c Decision: 1800/5460	Time: 688.311/86400
c Decision: 1800/5460	Time: 690.043/86400
c Decision: 1800/5460	Time: 691.622/86400
c Decision: 1800/5460	Time: 693.29/86400
c Decision: 1800/5460	Time: 694.845/86400
c Decision: 1800/5460	Time: 696.224/86400
c Decision: 1800/5460	Time: 697.529/86400
c Decision: 1800/5460	Time: 698.794/86400
c Decision: 1800/5460	Time: 700.276/86400
c Decision: 1800/5460	Time: 702.095/86400
c Decision: 1800/5460	Time: 703.37/86400
c Decision: 1800/5460	Time: 705.992/86400
c Decision: 1800/5460	Time: 707.29/86400
c Decision: 1800/5460	Time: 708.369/86400
c Decision: 1800/5460	Time: 709.463/86400
c Decision: 1800/5460	Time: 710.696/86400
c Decision: 1800/5460	Time: 712/86400
c Decision: 1800/5460	Time: 713.177/86400
c Decision: 1800/5460	Time: 714.267/86400
c Decision: 1800/5460	Time: 715.49/86400
c Decision: 1800/5460	Time: 716.632/86400
c Decision: 1800/5460	Time: 717.895/86400
c Decision: 1800/5460	Time: 719.199/86400
c Decision: 1800/5460	Time: 720.444/86400
c Decision: 1800/5460	Time: 721.825/86400
c Decision: 1800/5460	Time: 722.978/86400
c Decision: 1800/5460	Time: 724.225/86400
c Decision: 1800/5460	Time: 725.546/86400
c Decision: 1800/5460	Time: 727.064/86400
c Decision: 1800/5460	Time: 728.602/86400
c Decision: 1800/5460	Time: 729.951/86400
c Decision: 1800/5460	Time: 731.171/86400
c Decision: 1800/5460	Time: 732.498/86400
c Decision: 1800/5460	Time: 733.858/86400
c Decision: 1800/5460	Time: 735.201/86400
c Decision: 1800/5460	Time: 736.656/86400
c Decision: 1800/5460	Time: 737.989/86400
c Decision: 1800/5460	Time: 739.405/86400
c Decision: 1800/5460	Time: 740.929/86400
c Decision: 1800/5460	Time: 742.347/86400
c Decision: 1800/5460	Time: 743.635/86400
c Decision: 1800/5460	Time: 745.146/86400
c Decision: 1800/5460	Time: 746.79/86400
c Decision: 1800/5460	Time: 748.37/86400
c Decision: 1800/5460	Time: 750.188/86400
c Decision: 1800/5460	Time: 751.692/86400
c Decision: 1800/5460	Time: 753.347/86400
c Decision: 1800/5460	Time: 754.992/86400
c Decision: 1800/5460	Time: 756.503/86400
c Decision: 1800/5460	Time: 758.641/86400
c Decision: 1800/5460	Time: 760.252/86400
c Decision: 1800/5460	Time: 761.869/86400
c Decision: 1800/5460	Time: 763.914/86400
c Decision: 1800/5460	Time: 765.572/86400
c Decision: 1800/5460	Time: 767.442/86400
c Decision: 1800/5460	Time: 771.449/86400
c Decision: 1800/5460	Time: 772.736/86400
c Decision: 1800/5460	Time: 774.166/86400
c Decision: 1800/5460	Time: 775.683/86400
c Decision: 1800/5460	Time: 777.215/86400
c Decision: 1800/5460	Time: 778.651/86400
c Decision: 1800/5460	Time: 780.102/86400
c Decision: 1800/5460	Time: 781.646/86400
c Decision: 1800/5460	Time: 782.984/86400
c Decision: 1800/5460	Time: 784.576/86400
c Decision: 1800/5460	Time: 786.802/86400
c Decision: 1800/5460	Time: 788.366/86400
c Decision: 1800/5460	Time: 789.851/86400
c Decision: 1800/5460	Time: 791.708/86400
c Decision: 1800/5460	Time: 793.295/86400
c Decision: 1800/5460	Time: 794.826/86400
c Decision: 1800/5460	Time: 796.333/86400
c Decision: 1800/5460	Time: 797.867/86400
c Decision: 1800/5460	Time: 799.497/86400
c Decision: 1800/5460	Time: 801.404/86400
c Decision: 1800/5460	Time: 803.275/86400
c Decision: 1800/5460	Time: 804.816/86400
c Decision: 1800/5460	Time: 806.309/86400
c Decision: 1800/5460	Time: 807.949/86400
c Decision: 1800/5460	Time: 809.75/86400
c Decision: 1800/5460	Time: 811.236/86400
c Decision: 1800/5460	Time: 812.811/86400
c Decision: 1800/5460	Time: 814.503/86400
c Decision: 1800/5460	Time: 816.224/86400
c Decision: 1800/5460	Time: 818.147/86400
c Decision: 1800/5460	Time: 819.692/86400
c Decision: 1800/5460	Time: 821.367/86400
c Decision: 1800/5460	Time: 823.012/86400
c Decision: 1800/5460	Time: 824.668/86400
c Decision: 1800/5460	Time: 826.536/86400
c Decision: 1800/5460	Time: 828.221/86400
c Decision: 1800/5460	Time: 829.789/86400
c Decision: 1800/5460	Time: 831.341/86400
c Decision: 1800/5460	Time: 833.208/86400
c Decision: 1800/5460	Time: 835.086/86400
c Decision: 1800/5460	Time: 841.264/86400
c Decision: 1800/5460	Time: 842.319/86400
c Decision: 1800/5460	Time: 843.603/86400
c Decision: 1800/5460	Time: 844.756/86400
c Decision: 1800/5460	Time: 846.258/86400
c Decision: 1800/5460	Time: 847.498/86400
c Decision: 1800/5460	Time: 848.772/86400
c Decision: 1800/5460	Time: 849.989/86400
c Decision: 1800/5460	Time: 851.383/86400
c Decision: 1800/5460	Time: 852.91/86400
c Decision: 1800/5460	Time: 854.236/86400
c Decision: 1800/5460	Time: 855.553/86400
c Decision: 1800/5460	Time: 856.897/86400
c Decision: 1800/5460	Time: 858.338/86400
c Decision: 1800/5460	Time: 859.859/86400
c Decision: 1800/5460	Time: 861.367/86400
c Decision: 1800/5460	Time: 862.764/86400
c Decision: 1800/5460	Time: 864.038/86400
c Decision: 1800/5460	Time: 867.366/86400
c Decision: 1800/5460	Time: 868.802/86400
c Decision: 1800/5460	Time: 870.116/86400
c Decision: 1800/5460	Time: 871.37/86400
c Decision: 1800/5460	Time: 872.63/86400
c Decision: 1800/5460	Time: 874.016/86400
c Decision: 1800/5460	Time: 875.354/86400
c Decision: 1800/5460	Time: 876.608/86400
c Decision: 1800/5460	Time: 877.788/86400
c Decision: 1800/5460	Time: 879.125/86400
c Decision: 1800/5460	Time: 880.473/86400
c Decision: 1800/5460	Time: 882.023/86400
c Decision: 1800/5460	Time: 883.329/86400
c Decision: 1800/5460	Time: 887.754/86400
c Decision: 1800/5460	Time: 888.958/86400
c Decision: 1800/5460	Time: 890.867/86400
c Decision: 1800/5460	Time: 892.082/86400
c Decision: 1800/5460	Time: 893.133/86400
c Decision: 1800/5460	Time: 894.304/86400
c Decision: 1800/5460	Time: 896.669/86400
c Decision: 1800/5460	Time: 897.918/86400
c Decision: 1800/5460	Time: 899.114/86400
c Decision: 1800/5460	Time: 901.236/86400
c Decision: 1800/5460	Time: 902.418/86400
c Decision: 1800/5460	Time: 904.263/86400
c Decision: 1800/5460	Time: 905.43/86400
c Decision: 1800/5460	Time: 906.737/86400
c Decision: 1800/5460	Time: 907.851/86400
c Decision: 1800/5460	Time: 908.962/86400
c Decision: 1800/5460	Time: 910.189/86400
c Decision: 1800/5460	Time: 911.483/86400
c Decision: 1800/5460	Time: 912.762/86400
c Decision: 1800/5460	Time: 913.962/86400
c Decision: 1800/5460	Time: 915.251/86400
c Decision: 1800/5460	Time: 916.596/86400
c Decision: 1800/5460	Time: 917.93/86400
c Decision: 1800/5460	Time: 919.271/86400
c Decision: 1800/5460	Time: 920.556/86400
c Decision: 1800/5460	Time: 922.045/86400
c Decision: 1800/5460	Time: 923.354/86400
c Decision: 1800/5460	Time: 924.701/86400
c Decision: 1800/5460	Time: 926.364/86400
c Decision: 1800/5460	Time: 927.677/86400
c Decision: 1800/5460	Time: 929.107/86400
c Decision: 1800/5460	Time: 930.811/86400
c Decision: 1800/5460	Time: 934.007/86400
c Decision: 1800/5460	Time: 935.418/86400
c Decision: 1800/5460	Time: 936.722/86400
c Decision: 1800/5460	Time: 937.898/86400
c Decision: 1800/5460	Time: 939.131/86400
c Decision: 1800/5460	Time: 940.359/86400
c Decision: 1800/5460	Time: 941.638/86400
c Decision: 1800/5460	Time: 942.916/86400
c Decision: 1800/5460	Time: 944.391/86400
c Decision: 1800/5460	Time: 945.537/86400
c Decision: 1800/5460	Time: 946.924/86400
c Decision: 1800/5460	Time: 948.348/86400
c Decision: 1800/5460	Time: 949.602/86400
c Decision: 1800/5460	Time: 950.833/86400
c Decision: 1800/5460	Time: 952.258/86400
c Decision: 1800/5460	Time: 953.624/86400
c Decision: 1800/5460	Time: 957.218/86400
c Decision: 1800/5460	Time: 958.572/86400
c Decision: 1800/5460	Time: 959.816/86400
c Decision: 1800/5460	Time: 961.059/86400
c Decision: 1800/5460	Time: 963.604/86400
c Decision: 1800/5460	Time: 964.842/86400
c Decision: 1800/5460	Time: 966.022/86400
c Decision: 1800/5460	Time: 967.198/86400
c Decision: 1800/5460	Time: 968.553/86400
c Decision: 1800/5460	Time: 969.863/86400
c Decision: 1800/5460	Time: 971.19/86400
c Decision: 1800/5460	Time: 972.446/86400
c Decision: 1800/5460	Time: 973.801/86400
c Decision: 1800/5460	Time: 975.096/86400
c Decision: 1800/5460	Time: 976.376/86400
c Decision: 1800/5460	Time: 977.825/86400
c Decision: 1800/5460	Time: 979.087/86400
c Decision: 1800/5460	Time: 980.473/86400
c Decision: 1800/5460	Time: 981.899/86400
c Decision: 1800/5460	Time: 983.279/86400
c Decision: 1800/5460	Time: 984.751/86400
c Decision: 1800/5460	Time: 987.788/86400
c Decision: 1800/5460	Time: 988.988/86400
c Decision: 1800/5460	Time: 990.388/86400
c Decision: 1800/5460	Time: 991.675/86400
c Decision: 1800/5460	Time: 993.041/86400
c Decision: 1800/5460	Time: 994.269/86400
c Decision: 1800/5460	Time: 995.487/86400
c Decision: 1800/5460	Time: 996.839/86400
c Decision: 1800/5460	Time: 998.176/86400
c Decision: 1800/5460	Time: 999.628/86400
c Decision: 1800/5460	Time: 1000.91/86400
c Decision: 1800/5460	Time: 1002.31/86400
c Decision: 1800/5460	Time: 1003.66/86400
c Decision: 1800/5460	Time: 1005.11/86400
c Decision: 1800/5460	Time: 1008.31/86400
c Decision: 1800/5460	Time: 1009.38/86400
c Decision: 1800/5460	Time: 1011.69/86400
c Decision: 1800/5460	Time: 1012.72/86400
c Decision: 1800/5460	Time: 1014.74/86400
c Decision: 1800/5460	Time: 1015.84/86400
c Decision: 1800/5460	Time: 1017.92/86400
c Decision: 1800/5460	Time: 1019.12/86400
c Decision: 1800/5460	Time: 1021.36/86400
c Decision: 1800/5460	Time: 1022.57/86400
c Decision: 1800/5460	Time: 1023.79/86400
c Decision: 1800/5460	Time: 1025.02/86400
c Decision: 1800/5460	Time: 1026.27/86400
c Decision: 1800/5460	Time: 1027.51/86400
c Decision: 1800/5460	Time: 1028.76/86400
c Decision: 1800/5460	Time: 1030.12/86400
c Decision: 1800/5460	Time: 1034.88/86400
c Decision: 1800/5460	Time: 1036.38/86400
c Decision: 1800/5460	Time: 1037.68/86400
c Decision: 1800/5460	Time: 1039.03/86400
c Decision: 1800/5460	Time: 1040.47/86400
c Decision: 1800/5460	Time: 1041.84/86400
c Decision: 1800/5460	Time: 1043.22/86400
c Decision: 1800/5460	Time: 1044.55/86400
c Decision: 1800/5460	Time: 1045.75/86400
c Decision: 1800/5460	Time: 1047.18/86400
c Decision: 1800/5460	Time: 1048.42/86400
c Decision: 1800/5460	Time: 1050.03/86400
c Decision: 1800/5460	Time: 1051.14/86400
c Decision: 1800/5460	Time: 1052.23/86400
c Decision: 1800/5460	Time: 1053.33/86400
c Decision: 1800/5460	Time: 1054.46/86400
c Decision: 1800/5460	Time: 1055.62/86400
c Decision: 1800/5460	Time: 1056.78/86400
c Decision: 1800/5460	Time: 1058.23/86400
c Decision: 1800/5460	Time: 1059.46/86400
c Decision: 1800/5460	Time: 1060.68/86400
c Decision: 1800/5460	Time: 1061.87/86400
c Decision: 1800/5460	Time: 1063.07/86400
c Decision: 1800/5460	Time: 1064.49/86400
c Decision: 1800/5460	Time: 1065.95/86400
c Decision: 1800/5460	Time: 1067.65/86400
c Decision: 1800/5460	Time: 1069.04/86400
c Decision: 1800/5460	Time: 1070.5/86400
c Decision: 1800/5460	Time: 1072.02/86400
c Decision: 1800/5460	Time: 1073.71/86400
c Decision: 1800/5460	Time: 1075.4/86400
c Decision: 1800/5460	Time: 1077.13/86400
c Decision: 1800/5460	Time: 1079.27/86400
c Decision: 1800/5460	Time: 1080.66/86400
c Decision: 1800/5460	Time: 1083.08/86400
c Decision: 1800/5460	Time: 1084.66/86400
c Decision: 1800/5460	Time: 1086.12/86400
c Decision: 1800/5460	Time: 1087.6/86400
c Decision: 1800/5460	Time: 1089.18/86400
c Decision: 1800/5460	Time: 1090.89/86400
c Decision: 1800/5460	Time: 1092.45/86400
c Decision: 1800/5460	Time: 1094/86400
c Decision: 1800/5460	Time: 1095.5/86400
c Decision: 1800/5460	Time: 1098.91/86400
c Decision: 1800/5460	Time: 1100.79/86400
c Decision: 1800/5460	Time: 1102.24/86400
c Decision: 1800/5460	Time: 1103.72/86400
c Decision: 1800/5460	Time: 1105.1/86400
c Decision: 1800/5460	Time: 1106.65/86400
c Decision: 1800/5460	Time: 1108.58/86400
c Decision: 1800/5460	Time: 1110.05/86400
c Decision: 1800/5460	Time: 1111.74/86400
c Decision: 1800/5460	Time: 1113.39/86400
c Decision: 1800/5460	Time: 1114.93/86400
c Decision: 1800/5460	Time: 1116.67/86400
c Decision: 1800/5460	Time: 1118.18/86400
c Decision: 1800/5460	Time: 1119.7/86400
c Decision: 1800/5460	Time: 1121.29/86400
c Decision: 1800/5460	Time: 1122.92/86400
c Decision: 1800/5460	Time: 1129.09/86400
c Decision: 1800/5460	Time: 1130.18/86400
c Decision: 1800/5460	Time: 1131.35/86400
c Decision: 1800/5460	Time: 1132.4/86400
c Decision: 1800/5460	Time: 1133.59/86400
c Decision: 1800/5460	Time: 1134.99/86400
c Decision: 1800/5460	Time: 1136.16/86400
c Decision: 1800/5460	Time: 1137.44/86400
c Decision: 1800/5460	Time: 1138.64/86400
c Decision: 1800/5460	Time: 1139.91/86400
c Decision: 1800/5460	Time: 1143.17/86400
c Decision: 1800/5460	Time: 1144.56/86400
c Decision: 1800/5460	Time: 1145.82/86400
c Decision: 1800/5460	Time: 1147.06/86400
c Decision: 1800/5460	Time: 1148.26/86400
c Decision: 1800/5460	Time: 1149.72/86400
c Decision: 1800/5460	Time: 1150.95/86400
c Decision: 1800/5460	Time: 1152.32/86400
c Decision: 1800/5460	Time: 1153.73/86400
c Decision: 1800/5460	Time: 1155.13/86400
c Decision: 1800/5460	Time: 1156.72/86400
c Decision: 1800/5460	Time: 1158.03/86400
c Decision: 1800/5460	Time: 1163.29/86400
c Decision: 1800/5460	Time: 1164.39/86400
c Decision: 1800/5460	Time: 1166.58/86400
c Decision: 1800/5460	Time: 1167.78/86400
c Decision: 1800/5460	Time: 1169.88/86400
c Decision: 1800/5460	Time: 1171.12/86400
c Decision: 1800/5460	Time: 1172.4/86400
c Decision: 1800/5460	Time: 1173.71/86400
c Decision: 1800/5460	Time: 1174.95/86400
c Decision: 1800/5460	Time: 1176.16/86400
c Decision: 1800/5460	Time: 1177.3/86400
c Decision: 1800/5460	Time: 1178.58/86400
c Decision: 1800/5460	Time: 1179.84/86400
c Decision: 1800/5460	Time: 1181.28/86400
c Decision: 1800/5460	Time: 1182.61/86400
c Decision: 1800/5460	Time: 1183.86/86400
c Decision: 1800/5460	Time: 1185.11/86400
c Decision: 1800/5460	Time: 1186.35/86400
c Decision: 1800/5460	Time: 1187.76/86400
c Decision: 1800/5460	Time: 1189.04/86400
c Decision: 1800/5460	Time: 1190.4/86400
c Decision: 1800/5460	Time: 1195.67/86400
c Decision: 1800/5460	Time: 1196.74/86400
c Decision: 1800/5460	Time: 1197.85/86400
c Decision: 1800/5460	Time: 1198.94/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.92 0.95 0.75 2/54 11168
Raw data (stat): 11168 (runsolver) R 11167 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964611495 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.75 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 1600 0 0 0 995 3 0 0 25 0 1 0 964611495 7389184 1421 4294967295 134512640 135730672 3221224576 3221223120 134740406 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1804 1421 301 301 0 1503 0
vsize: 7216
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.75 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 2208 0 0 0 1993 5 0 0 25 0 1 0 964611495 12267520 1932 4294967295 134512640 135730672 3221224576 3221222816 134786464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2995 1932 301 301 0 2694 0
vsize: 11980
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.75 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 2753 0 0 0 2992 7 0 0 25 0 1 0 964611495 12562432 2477 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3067 2477 301 301 0 2766 0
vsize: 12268
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.76 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 3305 0 0 0 3990 9 0 0 25 0 1 0 964611495 21065728 3029 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5143 3029 301 301 0 4842 0
vsize: 20572
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.76 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 4360 0 0 0 4986 12 0 0 25 0 1 0 964611495 23171072 4084 4294967295 134512640 135730672 3221224576 3221222816 134786288 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5657 4084 301 301 0 5356 0
vsize: 22628
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.76 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 5162 0 0 0 5984 15 0 0 25 0 1 0 964611495 24756224 4886 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6044 4886 301 301 0 5743 0
vsize: 24176
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.96 0.76 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 5653 0 0 0 6981 17 0 0 25 0 1 0 964611495 26644480 5184 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6505 5184 301 301 0 6204 0
vsize: 26020
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.76 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 5947 0 0 0 7978 20 0 0 25 0 1 0 964611495 27897856 5478 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6811 5478 301 301 0 6510 0
vsize: 27244
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6013 0 0 0 8975 23 0 0 25 0 1 0 964611495 28033024 5544 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6844 5544 301 301 0 6543 0
vsize: 27376
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6074 0 0 0 9972 26 0 0 25 0 1 0 964611495 28151808 5605 4294967295 134512640 135730672 3221224576 3221222816 134786389 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6873 5605 301 301 0 6572 0
vsize: 27492
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6158 0 0 0 10969 28 0 0 25 0 1 0 964611495 28381184 5689 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5689 301 301 0 6628 0
vsize: 27716
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6208 0 0 0 11968 29 0 0 25 0 1 0 964611495 28381184 5739 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5739 301 301 0 6628 0
vsize: 27716
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6651 0 0 0 12966 32 0 0 25 0 1 0 964611495 30048256 5797 4294967295 134512640 135730672 3221224576 3221222960 134761958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7336 5797 301 301 0 7035 0
vsize: 29344
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6734 0 0 0 13965 34 0 0 25 0 1 0 964611495 30269440 5880 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 5880 301 301 0 7089 0
vsize: 29560
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6812 0 0 0 14964 34 0 0 25 0 1 0 964611495 30486528 5958 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7443 5958 301 301 0 7142 0
vsize: 29772
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 6901 0 0 0 15963 35 0 0 25 0 1 0 964611495 30732288 6047 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7503 6047 301 301 0 7202 0
vsize: 30012
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7010 0 0 0 16961 38 0 0 25 0 1 0 964611495 31105024 6156 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7594 6156 301 301 0 7293 0
vsize: 30376
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7110 0 0 0 17958 41 0 0 25 0 1 0 964611495 31465472 6256 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7682 6256 301 301 0 7381 0
vsize: 30728
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7185 0 0 0 18956 44 0 0 25 0 1 0 964611495 31600640 6331 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7715 6331 301 301 0 7414 0
vsize: 30860
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7227 0 0 0 19954 46 0 0 25 0 1 0 964611495 31600640 6373 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7715 6373 301 301 0 7414 0
vsize: 30860
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7265 0 0 0 20953 47 0 0 25 0 1 0 964611495 31690752 6411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7737 6411 301 301 0 7436 0
vsize: 30948
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7385 0 0 0 21947 53 0 0 25 0 1 0 964611495 32088064 6531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7834 6531 301 301 0 7533 0
vsize: 31336
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7442 0 0 0 22941 59 0 0 25 0 1 0 964611495 32182272 6588 4294967295 134512640 135730672 3221224576 3221222912 134767171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7857 6588 301 301 0 7556 0
vsize: 31428
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7493 0 0 0 23940 60 0 0 25 0 1 0 964611495 32280576 6639 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7881 6639 301 301 0 7580 0
vsize: 31524
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 7553 0 0 0 24939 62 0 0 25 0 1 0 964611495 32382976 6699 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7906 6699 301 301 0 7605 0
vsize: 31624
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8367 0 0 0 25936 65 0 0 25 0 1 0 964611495 35528704 6744 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8674 6744 301 301 0 8373 0
vsize: 34696
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8492 0 0 0 26932 69 0 0 25 0 1 0 964611495 35938304 6869 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8774 6869 301 301 0 8473 0
vsize: 35096
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8530 0 0 0 27930 71 0 0 25 0 1 0 964611495 36036608 6907 4294967295 134512640 135730672 3221224576 3221223120 134740420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8798 6907 301 301 0 8497 0
vsize: 35192
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8616 0 0 0 28928 73 0 0 25 0 1 0 964611495 36265984 6993 4294967295 134512640 135730672 3221224576 3221223100 134732536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8854 6993 301 301 0 8553 0
vsize: 35416
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8670 0 0 0 29927 74 0 0 25 0 1 0 964611495 36265984 7047 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8854 7047 301 301 0 8553 0
vsize: 35416
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8722 0 0 0 30925 76 0 0 25 0 1 0 964611495 36368384 7099 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8879 7099 301 301 0 8578 0
vsize: 35516
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8804 0 0 0 31924 77 0 0 25 0 1 0 964611495 36642816 7181 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8946 7181 301 301 0 8645 0
vsize: 35784
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8880 0 0 0 32922 80 0 0 25 0 1 0 964611495 36782080 7257 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8980 7257 301 301 0 8679 0
vsize: 35920
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 8958 0 0 0 33919 82 0 0 25 0 1 0 964611495 37109760 7335 4294967295 134512640 135730672 3221224576 3221222908 134739216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9060 7335 301 301 0 8759 0
vsize: 36240
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 9136 0 0 0 34918 83 0 0 25 0 1 0 964611495 37863424 7513 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9244 7513 301 301 0 8943 0
vsize: 36976
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 9639 0 0 0 35914 87 0 0 25 0 1 0 964611495 38846464 8016 4294967295 134512640 135730672 3221224576 3221222800 134813794 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9484 8016 301 301 0 9183 0
vsize: 37936
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10052 0 0 0 36911 89 0 0 25 0 1 0 964611495 38846464 8429 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9484 8429 301 301 0 9183 0
vsize: 37936
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10080 0 0 0 37910 91 0 0 25 0 1 0 964611495 38846464 8457 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9484 8457 301 301 0 9183 0
vsize: 37936
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10109 0 0 0 38908 93 0 0 25 0 1 0 964611495 38846464 8486 4294967295 134512640 135730672 3221224576 3221223120 134740284 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9484 8486 301 301 0 9183 0
vsize: 37936
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10151 0 0 0 39906 95 0 0 25 0 1 0 964611495 38940672 8528 4294967295 134512640 135730672 3221224576 3221222648 135284893 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9507 8528 301 301 0 9206 0
vsize: 38028
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10200 0 0 0 40905 96 0 0 25 0 1 0 964611495 39043072 8577 4294967295 134512640 135730672 3221224576 3221222816 134786685 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9532 8577 301 301 0 9231 0
vsize: 38128
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10240 0 0 0 41903 98 0 0 25 0 1 0 964611495 39043072 8617 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9532 8617 301 301 0 9231 0
vsize: 38128
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10311 0 0 0 42901 101 0 0 25 0 1 0 964611495 39280640 8688 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9590 8688 301 301 0 9289 0
vsize: 38360
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10362 0 0 0 43900 102 0 0 25 0 1 0 964611495 39428096 8739 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9626 8739 301 301 0 9325 0
vsize: 38504
[startup+450.017 s]
Raw data (loadavg): 1.07 0.99 0.83 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10397 0 0 0 44897 105 0 0 25 0 1 0 964611495 39428096 8774 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9626 8774 301 301 0 9325 0
vsize: 38504
[startup+460.018 s]
Raw data (loadavg): 1.06 0.99 0.83 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10486 0 0 0 45896 106 0 0 25 0 1 0 964611495 39755776 8863 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9706 8863 301 301 0 9405 0
vsize: 38824
[startup+470.019 s]
Raw data (loadavg): 1.05 0.99 0.83 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10585 0 0 0 46894 108 0 0 25 0 1 0 964611495 40099840 8962 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9790 8962 301 301 0 9489 0
vsize: 39160
[startup+480.02 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10706 0 0 0 47892 111 0 0 25 0 1 0 964611495 40517632 9083 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9892 9083 301 301 0 9591 0
vsize: 39568
[startup+490.02 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10749 0 0 0 48890 112 0 0 25 0 1 0 964611495 40517632 9126 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9892 9126 301 301 0 9591 0
vsize: 39568
[startup+500.019 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10790 0 0 0 49889 114 0 0 25 0 1 0 964611495 40611840 9167 4294967295 134512640 135730672 3221224576 3221223200 134783066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9915 9167 301 301 0 9614 0
vsize: 39660
[startup+510.019 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10873 0 0 0 50886 117 0 0 25 0 1 0 964611495 40878080 9250 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9980 9250 301 301 0 9679 0
vsize: 39920
[startup+520.019 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10941 0 0 0 51882 121 0 0 25 0 1 0 964611495 40992768 9318 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10008 9318 301 301 0 9707 0
vsize: 40032
[startup+530.02 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 10987 0 0 0 52879 124 0 0 25 0 1 0 964611495 41123840 9364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10040 9364 301 301 0 9739 0
vsize: 40160
[startup+540.021 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 11032 0 0 0 53878 126 0 0 25 0 1 0 964611495 41123840 9409 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10040 9409 301 301 0 9739 0
vsize: 40160
[startup+550.021 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12610 0 0 0 54874 130 0 0 25 0 1 0 964611495 47505408 9450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11598 9450 301 301 0 11297 0
vsize: 46392
[startup+560.021 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12672 0 0 0 55872 132 0 0 25 0 1 0 964611495 47620096 9512 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11626 9512 301 301 0 11325 0
vsize: 46504
[startup+570.021 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12704 0 0 0 56870 135 0 0 25 0 1 0 964611495 47759360 9544 4294967295 134512640 135730672 3221224576 3221223088 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11660 9544 301 301 0 11359 0
vsize: 46640
[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12763 0 0 0 57869 136 0 0 25 0 1 0 964611495 47759360 9603 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11660 9603 301 301 0 11359 0
vsize: 46640
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12828 0 0 0 58867 137 0 0 25 0 1 0 964611495 47955968 9668 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11708 9668 301 301 0 11407 0
vsize: 46832
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 12964 0 0 0 59866 139 0 0 25 0 1 0 964611495 48365568 9804 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11808 9804 301 301 0 11507 0
vsize: 47232
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13004 0 0 0 60865 141 0 0 25 0 1 0 964611495 48463872 9844 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11832 9844 301 301 0 11531 0
vsize: 47328
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13050 0 0 0 61863 142 0 0 25 0 1 0 964611495 48463872 9890 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11832 9890 301 301 0 11531 0
vsize: 47328
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13179 0 0 0 62862 143 0 0 25 0 1 0 964611495 48943104 10019 4294967295 134512640 135730672 3221224576 3221222488 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11949 10019 301 301 0 11648 0
vsize: 47796
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13224 0 0 0 63860 145 0 0 25 0 1 0 964611495 48943104 10064 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11949 10064 301 301 0 11648 0
vsize: 47796
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13268 0 0 0 64858 148 0 0 25 0 1 0 964611495 49037312 10108 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11972 10108 301 301 0 11671 0
vsize: 47888
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13315 0 0 0 65857 149 0 0 25 0 1 0 964611495 49037312 10155 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11972 10155 301 301 0 11671 0
vsize: 47888
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13364 0 0 0 66856 150 0 0 25 0 1 0 964611495 49131520 10204 4294967295 134512640 135730672 3221224576 3221222896 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11995 10204 301 301 0 11694 0
vsize: 47980
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13457 0 0 0 67855 151 0 0 25 0 1 0 964611495 49491968 10297 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12083 10297 301 301 0 11782 0
vsize: 48332
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13623 0 0 0 68853 153 0 0 25 0 1 0 964611495 50147328 10463 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12243 10463 301 301 0 11942 0
vsize: 48972
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13660 0 0 0 69852 155 0 0 25 0 1 0 964611495 50147328 10500 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12243 10500 301 301 0 11942 0
vsize: 48972
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13765 0 0 0 70850 157 0 0 25 0 1 0 964611495 50417664 10605 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12309 10605 301 301 0 12008 0
vsize: 49236
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13806 0 0 0 71848 159 0 0 25 0 1 0 964611495 50507776 10646 4294967295 134512640 135730672 3221224576 3221222960 134761664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12331 10646 301 301 0 12030 0
vsize: 49324
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13846 0 0 0 72846 161 0 0 25 0 1 0 964611495 50507776 10686 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12331 10686 301 301 0 12030 0
vsize: 49324
[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13896 0 0 0 73845 162 0 0 25 0 1 0 964611495 50614272 10736 4294967295 134512640 135730672 3221224576 3221223072 134747837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12357 10736 301 301 0 12056 0
vsize: 49428
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13930 0 0 0 74844 164 0 0 25 0 1 0 964611495 50614272 10770 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12357 10770 301 301 0 12056 0
vsize: 49428
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 13978 0 0 0 75843 165 0 0 25 0 1 0 964611495 50737152 10818 4294967295 134512640 135730672 3221224576 3221222912 134767167 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12387 10818 301 301 0 12086 0
vsize: 49548
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14093 0 0 0 76841 167 0 0 25 0 1 0 964611495 51179520 10933 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12495 10933 301 301 0 12194 0
vsize: 49980
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14159 0 0 0 77839 169 0 0 25 0 1 0 964611495 51417088 10999 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10999 301 301 0 12252 0
vsize: 50212
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14189 0 0 0 78837 171 0 0 25 0 1 0 964611495 51417088 11030 4294967295 134512640 135730672 3221224576 3221222728 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 11032 301 301 0 12252 0
vsize: 50212
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14222 0 0 0 79836 172 0 0 25 0 1 0 964611495 51417088 11062 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 11062 301 301 0 12252 0
vsize: 50212
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14269 0 0 0 80834 174 0 0 25 0 1 0 964611495 51511296 11109 4294967295 134512640 135730672 3221224576 3221223184 134744721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12576 11109 301 301 0 12275 0
vsize: 50304
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14328 0 0 0 81833 176 0 0 25 0 1 0 964611495 51712000 11168 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12625 11168 301 301 0 12324 0
vsize: 50500
[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14405 0 0 0 82833 176 0 0 25 0 1 0 964611495 51937280 11245 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12680 11245 301 301 0 12379 0
vsize: 50720
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14546 0 0 0 83830 179 0 0 25 0 1 0 964611495 52494336 11386 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12816 11386 301 301 0 12515 0
vsize: 51264
[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14634 0 0 0 84829 181 0 0 25 0 1 0 964611495 52629504 11474 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12849 11474 301 301 0 12548 0
vsize: 51396
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14674 0 0 0 85828 182 0 0 25 0 1 0 964611495 52723712 11514 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12872 11514 301 301 0 12571 0
vsize: 51488
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14757 0 0 0 86826 184 0 0 25 0 1 0 964611495 52989952 11597 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12937 11597 301 301 0 12636 0
vsize: 51748
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14791 0 0 0 87825 185 0 0 25 0 1 0 964611495 52989952 11631 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12937 11631 301 301 0 12636 0
vsize: 51748
[startup+890.036 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14878 0 0 0 88821 190 0 0 25 0 1 0 964611495 53260288 11718 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13003 11718 301 301 0 12702 0
vsize: 52012
[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14929 0 0 0 89815 195 0 0 25 0 1 0 964611495 53370880 11769 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13030 11769 301 301 0 12729 0
vsize: 52120
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 14982 0 0 0 90811 200 0 0 25 0 1 0 964611495 53460992 11822 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13052 11822 301 301 0 12751 0
vsize: 52208
[startup+920.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15021 0 0 0 91811 200 0 0 25 0 1 0 964611495 53460992 11861 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13052 11861 301 301 0 12751 0
vsize: 52208
[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15061 0 0 0 92809 202 0 0 25 0 1 0 964611495 53460992 11901 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13052 11901 301 301 0 12751 0
vsize: 52208
[startup+940.037 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15147 0 0 0 93807 205 0 0 25 0 1 0 964611495 53731328 11987 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13118 11987 301 301 0 12817 0
vsize: 52472
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15187 0 0 0 94805 206 0 0 25 0 1 0 964611495 53825536 12027 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13141 12027 301 301 0 12840 0
vsize: 52564
[startup+960.039 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15264 0 0 0 95803 209 0 0 25 0 1 0 964611495 53960704 12104 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13174 12104 301 301 0 12873 0
vsize: 52696
[startup+970.039 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15316 0 0 0 96800 212 0 0 25 0 1 0 964611495 54095872 12156 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 12156 301 301 0 12906 0
vsize: 52828
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15353 0 0 0 97800 213 0 0 25 0 1 0 964611495 54095872 12193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 12193 301 301 0 12906 0
vsize: 52828
[startup+990.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15432 0 0 0 98797 216 0 0 25 0 1 0 964611495 54366208 12272 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13273 12272 301 301 0 12972 0
vsize: 53092
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15474 0 0 0 99796 217 0 0 25 0 1 0 964611495 54366208 12314 4294967295 134512640 135730672 3221224576 3221223120 134740228 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13273 12314 301 301 0 12972 0
vsize: 53092
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15558 0 0 0 100793 220 0 0 25 0 1 0 964611495 54636544 12398 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13339 12398 301 301 0 13038 0
vsize: 53356
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15617 0 0 0 101784 230 0 0 25 0 1 0 964611495 54738944 12457 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13364 12457 301 301 0 13063 0
vsize: 53456
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15657 0 0 0 102782 232 0 0 25 0 1 0 964611495 54833152 12497 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13387 12497 301 301 0 13086 0
vsize: 53548
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15682 0 0 0 103778 236 0 0 25 0 1 0 964611495 54833152 12522 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13387 12522 301 301 0 13086 0
vsize: 53548
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15738 0 0 0 104776 237 0 0 25 0 1 0 964611495 54968320 12578 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13420 12578 301 301 0 13119 0
vsize: 53680
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15815 0 0 0 105776 238 0 0 25 0 1 0 964611495 55103488 12655 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13453 12655 301 301 0 13152 0
vsize: 53812
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15853 0 0 0 106775 239 0 0 25 0 1 0 964611495 55103488 12693 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13453 12693 301 301 0 13152 0
vsize: 53812
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15891 0 0 0 107774 241 0 0 25 0 1 0 964611495 55197696 12731 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13476 12731 301 301 0 13175 0
vsize: 53904
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15933 0 0 0 108772 242 0 0 25 0 1 0 964611495 55308288 12773 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13503 12773 301 301 0 13202 0
vsize: 54012
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 15980 0 0 0 109771 244 0 0 25 0 1 0 964611495 55410688 12820 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13528 12820 301 301 0 13227 0
vsize: 54112
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19090 0 0 0 110764 251 0 0 25 0 1 0 964611495 67993600 12857 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16600 12857 301 301 0 16299 0
vsize: 66400
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19130 0 0 0 111763 252 0 0 25 0 1 0 964611495 68108288 12897 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16628 12897 301 301 0 16327 0
vsize: 66512
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19288 0 0 0 112760 255 0 0 25 0 1 0 964611495 68653056 13055 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16761 13055 301 301 0 16460 0
vsize: 67044
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19326 0 0 0 113759 256 0 0 25 0 1 0 964611495 68653056 13093 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16761 13093 301 301 0 16460 0
vsize: 67044
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19382 0 0 0 114756 259 0 0 25 0 1 0 964611495 68788224 13149 4294967295 134512640 135730672 3221224576 3221223168 134763611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16794 13149 301 301 0 16493 0
vsize: 67176
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19409 0 0 0 115754 261 0 0 25 0 1 0 964611495 68788224 13176 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16794 13176 301 301 0 16493 0
vsize: 67176
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19498 0 0 0 116747 269 0 0 25 0 1 0 964611495 69058560 13265 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16860 13265 301 301 0 16559 0
vsize: 67440
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19536 0 0 0 117746 270 0 0 25 0 1 0 964611495 69152768 13303 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16883 13303 301 301 0 16582 0
vsize: 67532
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19574 0 0 0 118745 271 0 0 25 0 1 0 964611495 69152768 13341 4294967295 134512640 135730672 3221224576 3221222960 134761598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16883 13341 301 301 0 16582 0
vsize: 67532
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11168
Raw data (stat): 11168 (pb2sat-v2) R 11167 20224 20223 0 -1 0 19664 0 0 0 119742 274 0 0 25 0 1 0 964611495 69423104 13431 4294967295 134512640 135730672 3221224576 3221223184 134744785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16949 13431 301 301 0 16648 0
vsize: 67796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 11168
Raw data (stat): 11168 (pb2sat-v2) Z 11167 20224 20223 0 -1 12 19666 0 0 0 119775 277 0 0 25 0 1 0 964611495 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.41
CPU time (s): 1200.53
CPU user time (s): 1197.76
CPU system time (s): 2.77358
CPU usage (%): 100.01
Max. virtual memory (Kb): 67796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####