PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 42115

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 00:06:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25307 boxname=wulflinc6 idbench=209 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc6/normalized-par32-4-c.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par32-4-c.opb
IDLAUNCH: 25307
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        763972 kB
Buffers:         33872 kB
Cached:         214320 kB
SwapCached:       1028 kB
Active:          64676 kB
Inactive:       185684 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763720 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14620 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:26:08 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 25307 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2678	Time: 1.56976/86400
c Decision: 14/2678	Time: 2.29565/86400
c Decision: 14/2678	Time: 3.21451/86400
c Decision: 14/2678	Time: 4.06538/86400
c Decision: 14/2678	Time: 4.78027/86400
c Decision: 14/2678	Time: 5.81811/86400
c Decision: 14/2678	Time: 6.80696/86400
c Decision: 14/2678	Time: 7.74182/86400
c Decision: 14/2678	Time: 8.76267/86400
c Decision: 14/2678	Time: 9.76451/86400
c Decision: 14/2678	Time: 10.8504/86400
c Decision: 14/2678	Time: 11.7872/86400
c Decision: 14/2678	Time: 12.5831/86400
c Decision: 14/2678	Time: 13.6889/86400
c Decision: 14/2678	Time: 14.7278/86400
c Decision: 14/2678	Time: 15.7966/86400
c Decision: 14/2678	Time: 16.7655/86400
c Decision: 14/2678	Time: 17.9033/86400
c Decision: 14/2678	Time: 18.9781/86400
c Decision: 14/2678	Time: 19.978/86400
c Decision: 14/2678	Time: 21.1368/86400
c Decision: 14/2678	Time: 22.3036/86400
c Decision: 14/2678	Time: 23.2865/86400
c Decision: 14/2678	Time: 24.2383/86400
c Decision: 14/2678	Time: 25.4681/86400
c Decision: 14/2678	Time: 26.587/86400
c Decision: 14/2678	Time: 27.6698/86400
c Decision: 14/2678	Time: 28.7576/86400
c Decision: 14/2678	Time: 29.9844/86400
c Decision: 14/2678	Time: 31.0663/86400
c Decision: 14/2678	Time: 32.2241/86400
c Decision: 14/2678	Time: 33.4039/86400
c Decision: 14/2678	Time: 34.5727/86400
c Decision: 14/2678	Time: 35.8326/86400
c Decision: 14/2678	Time: 36.9974/86400
c Decision: 14/2678	Time: 38.3702/86400
c Decision: 14/2678	Time: 39.643/86400
c Decision: 14/2678	Time: 40.8168/86400
c Decision: 14/2678	Time: 41.9056/86400
c Decision: 14/2678	Time: 42.8665/86400
c Decision: 14/2678	Time: 44.1823/86400
c Decision: 14/2678	Time: 45.3391/86400
c Decision: 14/2678	Time: 46.4219/86400
c Decision: 14/2678	Time: 47.6308/86400
c Decision: 14/2678	Time: 48.8606/86400
c Decision: 14/2678	Time: 50.2444/86400
c Decision: 14/2678	Time: 51.6691/86400
c Decision: 14/2678	Time: 53.0509/86400
c Decision: 14/2678	Time: 54.4937/86400
c Decision: 14/2678	Time: 55.8215/86400
c Decision: 14/2678	Time: 57.4043/86400
c Decision: 14/2678	Time: 58.7031/86400
c Decision: 14/2678	Time: 59.7869/86400
c Decision: 14/2678	Time: 60.9807/86400
c Decision: 14/2678	Time: 62.4505/86400
c Decision: 14/2678	Time: 63.9493/86400
c Decision: 14/2678	Time: 65.2181/86400
c Decision: 14/2678	Time: 66.6579/86400
c Decision: 14/2678	Time: 68.0067/86400
c Decision: 14/2678	Time: 69.2125/86400
c Decision: 14/2678	Time: 70.5063/86400
c Decision: 14/2678	Time: 71.6301/86400
c Decision: 14/2678	Time: 72.58/86400
c Decision: 14/2678	Time: 73.8238/86400
c Decision: 14/2678	Time: 75.3475/86400
c Decision: 14/2678	Time: 76.9753/86400
c Decision: 14/2678	Time: 78.4391/86400
c Decision: 14/2678	Time: 79.7909/86400
c Decision: 14/2678	Time: 81.1767/86400
c Decision: 14/2678	Time: 82.6774/86400
c Decision: 14/2678	Time: 84.3042/86400
c Decision: 14/2678	Time: 85.792/86400
c Decision: 14/2678	Time: 87.3247/86400
c Decision: 14/2678	Time: 88.5515/86400
c Decision: 14/2678	Time: 90.1523/86400
c Decision: 14/2678	Time: 91.5951/86400
c Decision: 14/2678	Time: 93.0709/86400
c Decision: 14/2678	Time: 94.6426/86400
c Decision: 14/2678	Time: 96.2544/86400
c Decision: 14/2678	Time: 97.6602/86400
c Decision: 14/2678	Time: 99.2789/86400
c Decision: 14/2678	Time: 100.538/86400
c Decision: 14/2678	Time: 102.209/86400
c Decision: 14/2678	Time: 103.793/86400
c Decision: 14/2678	Time: 105.303/86400
c Decision: 14/2678	Time: 106.984/86400
c Decision: 14/2678	Time: 108.467/86400
c Decision: 14/2678	Time: 110.012/86400
c Decision: 14/2678	Time: 111.302/86400
c Decision: 14/2678	Time: 112.511/86400
c Decision: 14/2678	Time: 114.15/86400
c Decision: 14/2678	Time: 115.778/86400
c Decision: 14/2678	Time: 117.189/86400
c Decision: 14/2678	Time: 118.819/86400
c Decision: 14/2678	Time: 120.434/86400
c Decision: 14/2678	Time: 122.171/86400
c Decision: 14/2678	Time: 123.879/86400
c Decision: 14/2678	Time: 125.467/86400
c Decision: 14/2678	Time: 126.879/86400
c Decision: 14/2678	Time: 128.448/86400
c Decision: 14/2678	Time: 130.092/86400
c Decision: 14/2678	Time: 131.638/86400
c Decision: 14/2678	Time: 133.144/86400
c Decision: 14/2678	Time: 134.891/86400
c Decision: 14/2678	Time: 136.549/86400
c Decision: 14/2678	Time: 138.529/86400
c Decision: 14/2678	Time: 140.397/86400
c Decision: 14/2678	Time: 141.975/86400
c Decision: 14/2678	Time: 143.826/86400
c Decision: 14/2678	Time: 145.363/86400
c Decision: 14/2678	Time: 147.429/86400
c Decision: 14/2678	Time: 148.898/86400
c Decision: 14/2678	Time: 150.318/86400
c Decision: 14/2678	Time: 152.199/86400
c Decision: 14/2678	Time: 153.7/86400
c Decision: 14/2678	Time: 155.544/86400
c Decision: 14/2678	Time: 157.349/86400
c Decision: 14/2678	Time: 158.903/86400
c Decision: 14/2678	Time: 160.336/86400
c Decision: 14/2678	Time: 161.878/86400
c Decision: 14/2678	Time: 163.648/86400
c Decision: 14/2678	Time: 165.326/86400
c Decision: 14/2678	Time: 167.016/86400
c Decision: 14/2678	Time: 168.714/86400
c Decision: 14/2678	Time: 170.482/86400
c Decision: 14/2678	Time: 172.517/86400
c Decision: 14/2678	Time: 174.232/86400
c Decision: 14/2678	Time: 175.819/86400
c Decision: 14/2678	Time: 177.378/86400
c Decision: 14/2678	Time: 179.023/86400
c Decision: 14/2678	Time: 181.083/86400
c Decision: 14/2678	Time: 182.879/86400
c Decision: 14/2678	Time: 184.588/86400
c Decision: 14/2678	Time: 186.384/86400
c Decision: 14/2678	Time: 188.249/86400
c Decision: 14/2678	Time: 190.376/86400
c Decision: 14/2678	Time: 192.303/86400
c Decision: 14/2678	Time: 194.278/86400
c Decision: 14/2678	Time: 196.055/86400
c Decision: 14/2678	Time: 197.849/86400
c Decision: 14/2678	Time: 199.839/86400
c Decision: 14/2678	Time: 201.421/86400
c Decision: 14/2678	Time: 203.31/86400
c Decision: 14/2678	Time: 205.369/86400
c Decision: 14/2678	Time: 207.121/86400
c Decision: 14/2678	Time: 209.163/86400
c Decision: 14/2678	Time: 211.122/86400
c Decision: 14/2678	Time: 212.993/86400
c Decision: 14/2678	Time: 214.968/86400
c Decision: 14/2678	Time: 216.822/86400
c Decision: 14/2678	Time: 218.681/86400
c Decision: 14/2678	Time: 220.471/86400
c Decision: 14/2678	Time: 222.335/86400
c Decision: 14/2678	Time: 224.204/86400
c Decision: 14/2678	Time: 226.142/86400
c Decision: 14/2678	Time: 228.248/86400
c Decision: 14/2678	Time: 229.918/86400
c Decision: 14/2678	Time: 231.706/86400
c Decision: 14/2678	Time: 233.553/86400
c Decision: 14/2678	Time: 235.626/86400
c Decision: 14/2678	Time: 237.736/86400
c Decision: 14/2678	Time: 239.584/86400
c Decision: 14/2678	Time: 241.624/86400
c Decision: 14/2678	Time: 243.431/86400
c Decision: 14/2678	Time: 245.414/86400
c Decision: 14/2678	Time: 247.542/86400
c Decision: 14/2678	Time: 249.72/86400
c Decision: 14/2678	Time: 251.579/86400
c Decision: 14/2678	Time: 253.599/86400
c Decision: 14/2678	Time: 255.697/86400
c Decision: 14/2678	Time: 258.114/86400
c Decision: 14/2678	Time: 260.02/86400
c Decision: 14/2678	Time: 261.89/86400
c Decision: 14/2678	Time: 264.265/86400
c Decision: 14/2678	Time: 266.286/86400
c Decision: 14/2678	Time: 268.446/86400
c Decision: 14/2678	Time: 270.612/86400
c Decision: 14/2678	Time: 272.606/86400
c Decision: 14/2678	Time: 274.759/86400
c Decision: 14/2678	Time: 276.752/86400
c Decision: 14/2678	Time: 279.072/86400
c Decision: 14/2678	Time: 280.963/86400
c Decision: 14/2678	Time: 283.128/86400
c Decision: 14/2678	Time: 285.125/86400
c Decision: 14/2678	Time: 287.488/86400
c Decision: 14/2678	Time: 289.889/86400
c Decision: 14/2678	Time: 291.95/86400
c Decision: 14/2678	Time: 294.107/86400
c Decision: 14/2678	Time: 296.266/86400
c Decision: 14/2678	Time: 298.399/86400
c Decision: 14/2678	Time: 300.6/86400
c Decision: 14/2678	Time: 302.87/86400
c Decision: 14/2678	Time: 304.941/86400
c Decision: 14/2678	Time: 306.96/86400
c Decision: 14/2678	Time: 309.395/86400
c Decision: 14/2678	Time: 311.833/86400
c Decision: 14/2678	Time: 314.266/86400
c Decision: 14/2678	Time: 316.663/86400
c Decision: 14/2678	Time: 318.811/86400
c Decision: 14/2678	Time: 321.145/86400
c Decision: 14/2678	Time: 323.471/86400
c Decision: 14/2678	Time: 325.496/86400
c Decision: 14/2678	Time: 327.907/86400
c Decision: 14/2678	Time: 330.102/86400
c Decision: 14/2678	Time: 332.425/86400
c Decision: 14/2678	Time: 334.651/86400
c Decision: 14/2678	Time: 336.619/86400
c Decision: 14/2678	Time: 338.763/86400
c Decision: 14/2678	Time: 340.758/86400
c Decision: 14/2678	Time: 343.168/86400
c Decision: 14/2678	Time: 345.834/86400
c Decision: 14/2678	Time: 348.347/86400
c Decision: 14/2678	Time: 350.736/86400
c Decision: 14/2678	Time: 352.894/86400
c Decision: 14/2678	Time: 355.131/86400
c Decision: 14/2678	Time: 357.711/86400
c Decision: 14/2678	Time: 359.728/86400
c Decision: 14/2678	Time: 361.524/86400
c Decision: 14/2678	Time: 363.55/86400
c Decision: 14/2678	Time: 366.08/86400
c Decision: 14/2678	Time: 368.452/86400
c Decision: 14/2678	Time: 370.7/86400
c Decision: 14/2678	Time: 373.095/86400
c Decision: 14/2678	Time: 375.273/86400
c Decision: 14/2678	Time: 377.629/86400
c Decision: 14/2678	Time: 380.179/86400
c Decision: 14/2678	Time: 382.854/86400
c Decision: 14/2678	Time: 385.153/86400
c Decision: 14/2678	Time: 387.534/86400
c Decision: 14/2678	Time: 389.677/86400
c Decision: 14/2678	Time: 392.264/86400
c Decision: 14/2678	Time: 394.571/86400
c Decision: 14/2678	Time: 397.109/86400
c Decision: 14/2678	Time: 399.441/86400
c Decision: 14/2678	Time: 402.095/86400
c Decision: 14/2678	Time: 404.663/86400
c Decision: 14/2678	Time: 407.357/86400
c Decision: 14/2678	Time: 409.842/86400
c Decision: 14/2678	Time: 411.921/86400
c Decision: 14/2678	Time: 414.29/86400
c Decision: 14/2678	Time: 417.019/86400
c Decision: 14/2678	Time: 419.523/86400
c Decision: 14/2678	Time: 421.921/86400
c Decision: 14/2678	Time: 424.22/86400
c Decision: 14/2678	Time: 426.531/86400
c Decision: 14/2678	Time: 429.158/86400
c Decision: 14/2678	Time: 431.556/86400
c Decision: 14/2678	Time: 433.929/86400
c Decision: 14/2678	Time: 436.333/86400
c Decision: 14/2678	Time: 438.933/86400
c Decision: 14/2678	Time: 441.693/86400
c Decision: 14/2678	Time: 444.132/86400
c Decision: 14/2678	Time: 446.512/86400
c Decision: 14/2678	Time: 448.921/86400
c Decision: 14/2678	Time: 451.308/86400
c Decision: 14/2678	Time: 454.346/86400
c Decision: 14/2678	Time: 456.885/86400
c Decision: 14/2678	Time: 459.431/86400
c Decision: 14/2678	Time: 461.935/86400
c Decision: 14/2678	Time: 464.526/86400
c Decision: 14/2678	Time: 467.405/86400
c Decision: 14/2678	Time: 469.693/86400
c Decision: 14/2678	Time: 471.953/86400
c Decision: 14/2678	Time: 474.272/86400
c Decision: 14/2678	Time: 476.547/86400
c Decision: 14/2678	Time: 479.11/86400
c Decision: 14/2678	Time: 481.387/86400
c Decision: 14/2678	Time: 483.674/86400
c Decision: 14/2678	Time: 486.035/86400
c Decision: 14/2678	Time: 488.451/86400
c Decision: 14/2678	Time: 491.178/86400
c Decision: 14/2678	Time: 493.629/86400
c Decision: 14/2678	Time: 496.127/86400
c Decision: 14/2678	Time: 498.507/86400
c Decision: 14/2678	Time: 501.048/86400
c Decision: 14/2678	Time: 503.889/86400
c Decision: 14/2678	Time: 506.433/86400
c Decision: 14/2678	Time: 508.926/86400
c Decision: 14/2678	Time: 511.406/86400
c Decision: 14/2678	Time: 514.103/86400
c Decision: 14/2678	Time: 517.106/86400
c Decision: 14/2678	Time: 519.435/86400
c Decision: 14/2678	Time: 521.799/86400
c Decision: 14/2678	Time: 524.3/86400
c Decision: 14/2678	Time: 526.855/86400
c Decision: 14/2678	Time: 530.05/86400
c Decision: 14/2678	Time: 532.749/86400
c Decision: 14/2678	Time: 535.306/86400
c Decision: 14/2678	Time: 538.167/86400
c Decision: 14/2678	Time: 540.66/86400
c Decision: 14/2678	Time: 543.319/86400
c Decision: 14/2678	Time: 545.939/86400
c Decision: 14/2678	Time: 548.542/86400
c Decision: 14/2678	Time: 551.169/86400
c Decision: 14/2678	Time: 553.541/86400
c Decision: 14/2678	Time: 556.446/86400
c Decision: 14/2678	Time: 558.712/86400
c Decision: 14/2678	Time: 561.116/86400
c Decision: 14/2678	Time: 563.654/86400
c Decision: 14/2678	Time: 566.06/86400
c Decision: 14/2678	Time: 568.98/86400
c Decision: 14/2678	Time: 571.781/86400
c Decision: 14/2678	Time: 574.295/86400
c Decision: 14/2678	Time: 576.697/86400
c Decision: 14/2678	Time: 579.122/86400
c Decision: 14/2678	Time: 582.262/86400
c Decision: 14/2678	Time: 584.664/86400
c Decision: 14/2678	Time: 586.933/86400
c Decision: 14/2678	Time: 589.486/86400
c Decision: 14/2678	Time: 592.117/86400
c Decision: 14/2678	Time: 594.878/86400
c Decision: 14/2678	Time: 597.394/86400
c Decision: 14/2678	Time: 600.116/86400
c Decision: 14/2678	Time: 603.169/86400
c Decision: 14/2678	Time: 605.675/86400
c Decision: 14/2678	Time: 608.869/86400
c Decision: 14/2678	Time: 611.465/86400
c Decision: 14/2678	Time: 614.139/86400
c Decision: 14/2678	Time: 616.685/86400
c Decision: 14/2678	Time: 619.398/86400
c Decision: 14/2678	Time: 622.395/86400
c Decision: 14/2678	Time: 625.104/86400
c Decision: 14/2678	Time: 627.911/86400
c Decision: 14/2678	Time: 630.472/86400
c Decision: 14/2678	Time: 633.257/86400
c Decision: 14/2678	Time: 636.369/86400
c Decision: 14/2678	Time: 638.998/86400
c Decision: 14/2678	Time: 641.518/86400
c Decision: 14/2678	Time: 643.776/86400
c Decision: 14/2678	Time: 646.436/86400
c Decision: 14/2678	Time: 649.474/86400
c Decision: 14/2678	Time: 652.062/86400
c Decision: 14/2678	Time: 655.037/86400
c Decision: 14/2678	Time: 657.858/86400
c Decision: 14/2678	Time: 660.642/86400
c Decision: 14/2678	Time: 663.809/86400
c Decision: 14/2678	Time: 666.657/86400
c Decision: 14/2678	Time: 669.456/86400
c Decision: 14/2678	Time: 672.29/86400
c Decision: 14/2678	Time: 674.956/86400
c Decision: 14/2678	Time: 678/86400
c Decision: 14/2678	Time: 680.748/86400
c Decision: 14/2678	Time: 683.595/86400
c Decision: 14/2678	Time: 686.152/86400
c Decision: 14/2678	Time: 688.884/86400
c Decision: 14/2678	Time: 691.646/86400
c Decision: 14/2678	Time: 694/86400
c Decision: 14/2678	Time: 696.577/86400
c Decision: 14/2678	Time: 698.929/86400
c Decision: 14/2678	Time: 701.713/86400
c Decision: 14/2678	Time: 704.707/86400
c Decision: 14/2678	Time: 707.253/86400
c Decision: 14/2678	Time: 709.603/86400
c Decision: 14/2678	Time: 712.136/86400
c Decision: 14/2678	Time: 714.54/86400
c Decision: 14/2678	Time: 717.578/86400
c Decision: 14/2678	Time: 720.32/86400
c Decision: 14/2678	Time: 722.974/86400
c Decision: 14/2678	Time: 725.502/86400
c Decision: 14/2678	Time: 727.92/86400
c Decision: 14/2678	Time: 730.976/86400
c Decision: 14/2678	Time: 733.678/86400
c Decision: 14/2678	Time: 736.397/86400
c Decision: 14/2678	Time: 739.057/86400
c Decision: 14/2678	Time: 741.95/86400
c Decision: 14/2678	Time: 744.978/86400
c Decision: 14/2678	Time: 747.71/86400
c Decision: 14/2678	Time: 750.527/86400
c Decision: 14/2678	Time: 753.092/86400
c Decision: 14/2678	Time: 755.626/86400
c Decision: 14/2678	Time: 758.704/86400
c Decision: 14/2678	Time: 761.311/86400
c Decision: 14/2678	Time: 763.854/86400
c Decision: 14/2678	Time: 766.384/86400
c Decision: 14/2678	Time: 769.083/86400
c Decision: 14/2678	Time: 772.111/86400
c Decision: 14/2678	Time: 774.979/86400
c Decision: 14/2678	Time: 777.652/86400
c Decision: 14/2678	Time: 780.56/86400
c Decision: 14/2678	Time: 783.315/86400
c Decision: 14/2678	Time: 786.478/86400
c Decision: 14/2678	Time: 789.305/86400
c Decision: 14/2678	Time: 791.967/86400
c Decision: 14/2678	Time: 794.68/86400
c Decision: 14/2678	Time: 797.399/86400
c Decision: 14/2678	Time: 800.511/86400
c Decision: 14/2678	Time: 803.437/86400
c Decision: 14/2678	Time: 806.319/86400
c Decision: 14/2678	Time: 809.079/86400
c Decision: 14/2678	Time: 812.043/86400
c Decision: 14/2678	Time: 815.528/86400
c Decision: 14/2678	Time: 818.396/86400
c Decision: 14/2678	Time: 821.311/86400
c Decision: 14/2678	Time: 824.326/86400
c Decision: 14/2678	Time: 827.098/86400
c Decision: 14/2678	Time: 830.358/86400
c Decision: 14/2678	Time: 833.163/86400
c Decision: 14/2678	Time: 836.168/86400
c Decision: 14/2678	Time: 838.915/86400
c Decision: 14/2678	Time: 842.041/86400
c Decision: 14/2678	Time: 845.268/86400
c Decision: 14/2678	Time: 848.27/86400
c Decision: 14/2678	Time: 851.385/86400
c Decision: 14/2678	Time: 854.281/86400
c Decision: 14/2678	Time: 857.128/86400
c Decision: 14/2678	Time: 860.29/86400
c Decision: 14/2678	Time: 863.112/86400
c Decision: 14/2678	Time: 866.016/86400
c Decision: 14/2678	Time: 868.945/86400
c Decision: 14/2678	Time: 871.963/86400
c Decision: 14/2678	Time: 875.499/86400
c Decision: 14/2678	Time: 878.386/86400
c Decision: 14/2678	Time: 881.328/86400
c Decision: 14/2678	Time: 884.245/86400
c Decision: 14/2678	Time: 887.177/86400
c Decision: 14/2678	Time: 890.945/86400
c Decision: 14/2678	Time: 893.958/86400
c Decision: 14/2678	Time: 896.918/86400
c Decision: 14/2678	Time: 899.843/86400
c Decision: 14/2678	Time: 902.618/86400
c Decision: 14/2678	Time: 905.823/86400
c Decision: 14/2678	Time: 909.131/86400
c Decision: 14/2678	Time: 911.651/86400
c Decision: 14/2678	Time: 914.557/86400
c Decision: 14/2678	Time: 917.709/86400
c Decision: 14/2678	Time: 921.113/86400
c Decision: 14/2678	Time: 923.98/86400
c Decision: 14/2678	Time: 926.669/86400
c Decision: 14/2678	Time: 929.635/86400
c Decision: 14/2678	Time: 932.567/86400
c Decision: 14/2678	Time: 936.273/86400
c Decision: 14/2678	Time: 939.136/86400
c Decision: 14/2678	Time: 941.952/86400
c Decision: 14/2678	Time: 945.013/86400
c Decision: 14/2678	Time: 947.835/86400
c Decision: 14/2678	Time: 951.258/86400
c Decision: 14/2678	Time: 954.388/86400
c Decision: 14/2678	Time: 957.575/86400
c Decision: 14/2678	Time: 961.002/86400
c Decision: 14/2678	Time: 964.009/86400
c Decision: 14/2678	Time: 967.316/86400
c Decision: 14/2678	Time: 970.389/86400
c Decision: 14/2678	Time: 973.518/86400
c Decision: 14/2678	Time: 976.738/86400
c Decision: 14/2678	Time: 979.645/86400
c Decision: 14/2678	Time: 983.369/86400
c Decision: 14/2678	Time: 986.581/86400
c Decision: 14/2678	Time: 989.592/86400
c Decision: 14/2678	Time: 992.353/86400
c Decision: 14/2678	Time: 995.621/86400
c Decision: 14/2678	Time: 999.374/86400
c Decision: 14/2678	Time: 1002.72/86400
c Decision: 14/2678	Time: 1005.65/86400
c Decision: 14/2678	Time: 1008.73/86400
c Decision: 14/2678	Time: 1012.1/86400
c Decision: 14/2678	Time: 1015.89/86400
c Decision: 14/2678	Time: 1019.19/86400
c Decision: 14/2678	Time: 1022.24/86400
c Decision: 14/2678	Time: 1025.49/86400
c Decision: 14/2678	Time: 1028.44/86400
c Decision: 14/2678	Time: 1032.61/86400
c Decision: 14/2678	Time: 1035.86/86400
c Decision: 14/2678	Time: 1038.55/86400
c Decision: 14/2678	Time: 1041.5/86400
c Decision: 14/2678	Time: 1044.21/86400
c Decision: 14/2678	Time: 1047.53/86400
c Decision: 14/2678	Time: 1050.48/86400
c Decision: 14/2678	Time: 1053.51/86400
c Decision: 14/2678	Time: 1056.39/86400
c Decision: 14/2678	Time: 1059.35/86400
c Decision: 14/2678	Time: 1062.74/86400
c Decision: 14/2678	Time: 1065.6/86400
c Decision: 14/2678	Time: 1069.03/86400
c Decision: 14/2678	Time: 1071.94/86400
c Decision: 14/2678	Time: 1074.95/86400
c Decision: 14/2678	Time: 1078.12/86400
c Decision: 14/2678	Time: 1080.71/86400
c Decision: 14/2678	Time: 1083.39/86400
c Decision: 14/2678	Time: 1086.49/86400
c Decision: 14/2678	Time: 1089.15/86400
c Decision: 14/2678	Time: 1092.51/86400
c Decision: 14/2678	Time: 1095.62/86400
c Decision: 14/2678	Time: 1098.43/86400
c Decision: 14/2678	Time: 1101.62/86400
c Decision: 14/2678	Time: 1104.6/86400
c Decision: 14/2678	Time: 1107.63/86400
c Decision: 14/2678	Time: 1110.7/86400
c Decision: 14/2678	Time: 1113.51/86400
c Decision: 14/2678	Time: 1116.39/86400
c Decision: 14/2678	Time: 1119.35/86400
c Decision: 14/2678	Time: 1122.67/86400
c Decision: 14/2678	Time: 1125.7/86400
c Decision: 14/2678	Time: 1128.57/86400
c Decision: 14/2678	Time: 1131.83/86400
c Decision: 14/2678	Time: 1134.85/86400
c Decision: 14/2678	Time: 1138.41/86400
c Decision: 14/2678	Time: 1141.38/86400
c Decision: 14/2678	Time: 1144.39/86400
c Decision: 14/2678	Time: 1147.3/86400
c Decision: 14/2678	Time: 1150.21/86400
c Decision: 14/2678	Time: 1153.83/86400
c Decision: 14/2678	Time: 1156.67/86400
c Decision: 14/2678	Time: 1159.46/86400
c Decision: 14/2678	Time: 1162.53/86400
c Decision: 14/2678	Time: 1165.44/86400
c Decision: 14/2678	Time: 1168.74/86400
c Decision: 14/2678	Time: 1171.81/86400
c Decision: 14/2678	Time: 1174.94/86400
c Decision: 14/2678	Time: 1178.01/86400
c Decision: 14/2678	Time: 1181.08/86400
c Decision: 14/2678	Time: 1184.54/86400
c Decision: 14/2678	Time: 1187.43/86400
c Decision: 14/2678	Time: 1190.87/86400
c Decision: 14/2678	Time: 1193.84/86400
c Decision: 14/2678	Time: 1196.82/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.85 0.95 0.90 2/54 11886
Raw data (stat): 11886 (runsolver) R 11885 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966309005 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+9.9998 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 1034 0 0 0 995 4 0 0 25 0 1 0 966309005 5758976 928 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1406 928 301 301 0 1105 0
vsize: 5624
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 1455 0 0 0 1993 6 0 0 25 0 1 0 966309005 6414336 1252 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1566 1252 301 301 0 1265 0
vsize: 6264
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 1789 0 0 0 2990 10 0 0 25 0 1 0 966309005 9023488 1586 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2203 1586 301 301 0 1902 0
vsize: 8812
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 2338 0 0 0 3987 12 0 0 25 0 1 0 966309005 10215424 1942 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2494 1942 301 301 0 2193 0
vsize: 9976
[startup+50.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 2554 0 0 0 4985 15 0 0 25 0 1 0 966309005 10485760 2158 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2560 2158 301 301 0 2259 0
vsize: 10240
[startup+60.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 2624 0 0 0 5983 16 0 0 25 0 1 0 966309005 10780672 2228 4294967295 134512640 135730672 3221224592 3221223072 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2632 2228 301 301 0 2331 0
vsize: 10528
[startup+70.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 2773 0 0 0 6981 18 0 0 25 0 1 0 966309005 11026432 2377 4294967295 134512640 135730672 3221224592 3221222744 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2692 2377 301 301 0 2391 0
vsize: 10768
[startup+80.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 2903 0 0 0 7980 20 0 0 25 0 1 0 966309005 15659008 2507 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3823 2507 301 301 0 3522 0
vsize: 15292
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 3121 0 0 0 8979 22 0 0 25 0 1 0 966309005 15794176 2725 4294967295 134512640 135730672 3221224592 3221223216 134748126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3856 2725 301 301 0 3555 0
vsize: 15424
[startup+100 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 3267 0 0 0 9977 23 0 0 25 0 1 0 966309005 16064512 2871 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3922 2871 301 301 0 3621 0
vsize: 15688
[startup+110 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 3711 0 0 0 10975 25 0 0 25 0 1 0 966309005 17756160 2930 4294967295 134512640 135730672 3221224592 3221223136 134740268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4335 2930 301 301 0 4034 0
vsize: 17340
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 3785 0 0 0 11975 26 0 0 25 0 1 0 966309005 17879040 3004 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4365 3004 301 301 0 4064 0
vsize: 17460
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4085 0 0 0 12974 27 0 0 25 0 1 0 966309005 18018304 3304 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4399 3304 301 301 0 4098 0
vsize: 17596
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4261 0 0 0 13974 28 0 0 25 0 1 0 966309005 18284544 3480 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4464 3480 301 301 0 4163 0
vsize: 17856
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4523 0 0 0 14973 29 0 0 25 0 1 0 966309005 18558976 3742 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4531 3742 301 301 0 4230 0
vsize: 18124
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4682 0 0 0 15971 31 0 0 25 0 1 0 966309005 18944000 3901 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4625 3901 301 301 0 4324 0
vsize: 18500
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4862 0 0 0 16970 32 0 0 25 0 1 0 966309005 19062784 4081 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4654 4081 301 301 0 4353 0
vsize: 18616
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 4937 0 0 0 17969 34 0 0 25 0 1 0 966309005 19361792 4156 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4727 4156 301 301 0 4426 0
vsize: 18908
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5003 0 0 0 18968 36 0 0 25 0 1 0 966309005 19488768 4222 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4758 4222 301 301 0 4457 0
vsize: 19032
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5047 0 0 0 19967 37 0 0 25 0 1 0 966309005 19623936 4266 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4791 4266 301 301 0 4490 0
vsize: 19164
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5108 0 0 0 20966 38 0 0 25 0 1 0 966309005 19775488 4327 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4828 4327 301 301 0 4527 0
vsize: 19312
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5241 0 0 0 21965 39 0 0 25 0 1 0 966309005 28319744 4460 4294967295 134512640 135730672 3221224592 3221223088 134747862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6914 4460 301 301 0 6613 0
vsize: 27656
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5474 0 0 0 22964 41 0 0 25 0 1 0 966309005 28483584 4693 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6954 4693 301 301 0 6653 0
vsize: 27816
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5716 0 0 0 23962 43 0 0 25 0 1 0 966309005 28811264 4935 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7034 4935 301 301 0 6733 0
vsize: 28136
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 5854 0 0 0 24961 45 0 0 25 0 1 0 966309005 28958720 5073 4294967295 134512640 135730672 3221224592 3221223088 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7070 5073 301 301 0 6769 0
vsize: 28280
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 6074 0 0 0 25960 46 0 0 25 0 1 0 966309005 29155328 5293 4294967295 134512640 135730672 3221224592 3221223088 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7118 5293 301 301 0 6817 0
vsize: 28472
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 6124 0 0 0 26960 46 0 0 25 0 1 0 966309005 29274112 5343 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7147 5343 301 301 0 6846 0
vsize: 28588
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 6953 0 0 0 27957 49 0 0 25 0 1 0 966309005 32587776 5403 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7956 5403 301 301 0 7655 0
vsize: 31824
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7134 0 0 0 28956 51 0 0 25 0 1 0 966309005 32587776 5584 4294967295 134512640 135730672 3221224592 3221223136 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7956 5584 301 301 0 7655 0
vsize: 31824
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7339 0 0 0 29954 53 0 0 25 0 1 0 966309005 32849920 5789 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8020 5789 301 301 0 7719 0
vsize: 32080
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7560 0 0 0 30953 54 0 0 25 0 1 0 966309005 33013760 6010 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8060 6010 301 301 0 7759 0
vsize: 32240
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7743 0 0 0 31953 54 0 0 25 0 1 0 966309005 33144832 6193 4294967295 134512640 135730672 3221224592 3221223088 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8092 6193 301 301 0 7791 0
vsize: 32368
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7900 0 0 0 32952 56 0 0 25 0 1 0 966309005 33275904 6350 4294967295 134512640 135730672 3221224592 3221223184 134763629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8124 6350 301 301 0 7823 0
vsize: 32496
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 7942 0 0 0 33952 56 0 0 25 0 1 0 966309005 33402880 6392 4294967295 134512640 135730672 3221224592 3221223216 134748073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8155 6392 301 301 0 7854 0
vsize: 32620
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8088 0 0 0 34951 58 0 0 25 0 1 0 966309005 33980416 6538 4294967295 134512640 135730672 3221224592 3221223072 134732813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8296 6538 301 301 0 7995 0
vsize: 33184
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8132 0 0 0 35950 59 0 0 25 0 1 0 966309005 34123776 6582 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8331 6582 301 301 0 8030 0
vsize: 33324
[startup+369.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8205 0 0 0 36949 60 0 0 25 0 1 0 966309005 34390016 6655 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8396 6655 301 301 0 8095 0
vsize: 33584
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8391 0 0 0 37948 62 0 0 25 0 1 0 966309005 34390016 6841 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8396 6841 301 301 0 8095 0
vsize: 33584
[startup+389.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8578 0 0 0 38947 63 0 0 25 0 1 0 966309005 34521088 7028 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8428 7028 301 301 0 8127 0
vsize: 33712
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8762 0 0 0 39945 65 0 0 25 0 1 0 966309005 34787328 7212 4294967295 134512640 135730672 3221224592 3221223104 134746226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8493 7212 301 301 0 8192 0
vsize: 33972
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8887 0 0 0 40945 66 0 0 25 0 1 0 966309005 34918400 7337 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8525 7337 301 301 0 8224 0
vsize: 34100
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8911 0 0 0 41944 66 0 0 25 0 1 0 966309005 34918400 7361 4294967295 134512640 135730672 3221224592 3221223104 134746224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8525 7361 301 301 0 8224 0
vsize: 34100
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 8969 0 0 0 42944 67 0 0 25 0 1 0 966309005 35033088 7419 4294967295 134512640 135730672 3221224592 3221223088 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8553 7419 301 301 0 8252 0
vsize: 34212
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9023 0 0 0 43943 68 0 0 25 0 1 0 966309005 35168256 7473 4294967295 134512640 135730672 3221224592 3221223088 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8586 7473 301 301 0 8285 0
vsize: 34344
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9187 0 0 0 44942 70 0 0 25 0 1 0 966309005 35282944 7637 4294967295 134512640 135730672 3221224592 3221223088 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8614 7637 301 301 0 8313 0
vsize: 34456
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9321 0 0 0 45941 71 0 0 25 0 1 0 966309005 35418112 7771 4294967295 134512640 135730672 3221224592 3221223104 134746195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8647 7771 301 301 0 8346 0
vsize: 34588
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9489 0 0 0 46941 71 0 0 25 0 1 0 966309005 52330496 7939 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12776 7939 301 301 0 12475 0
vsize: 51104
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9527 0 0 0 47940 72 0 0 25 0 1 0 966309005 52461568 7977 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12808 7977 301 301 0 12507 0
vsize: 51232
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9589 0 0 0 48940 73 0 0 25 0 1 0 966309005 52736000 8039 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12875 8039 301 301 0 12574 0
vsize: 51500
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9612 0 0 0 49939 74 0 0 25 0 1 0 966309005 52736000 8062 4294967295 134512640 135730672 3221224592 3221223072 134732765 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12875 8062 301 301 0 12574 0
vsize: 51500
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9652 0 0 0 50939 75 0 0 25 0 1 0 966309005 52871168 8102 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12908 8102 301 301 0 12607 0
vsize: 51632
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9744 0 0 0 51938 76 0 0 25 0 1 0 966309005 53141504 8194 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12974 8194 301 301 0 12673 0
vsize: 51896
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 9947 0 0 0 52936 78 0 0 25 0 1 0 966309005 53276672 8397 4294967295 134512640 135730672 3221224592 3221223104 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13007 8397 301 301 0 12706 0
vsize: 52028
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10125 0 0 0 53936 79 0 0 25 0 1 0 966309005 53559296 8575 4294967295 134512640 135730672 3221224592 3221223072 134732831 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13076 8575 301 301 0 12775 0
vsize: 52304
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10214 0 0 0 54935 80 0 0 25 0 1 0 966309005 53673984 8664 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13104 8664 301 301 0 12803 0
vsize: 52416
[startup+560.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10244 0 0 0 55934 81 0 0 25 0 1 0 966309005 53673984 8694 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13104 8694 301 301 0 12803 0
vsize: 52416
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10312 0 0 0 56933 82 0 0 25 0 1 0 966309005 53944320 8762 4294967295 134512640 135730672 3221224592 3221223088 134747862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13170 8762 301 301 0 12869 0
vsize: 52680
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10330 0 0 0 57933 83 0 0 25 0 1 0 966309005 53944320 8780 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13170 8780 301 301 0 12869 0
vsize: 52680
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10355 0 0 0 58933 84 0 0 25 0 1 0 966309005 54091776 8805 4294967295 134512640 135730672 3221224592 3221223104 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13206 8805 301 301 0 12905 0
vsize: 52824
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10384 0 0 0 59932 84 0 0 25 0 1 0 966309005 54091776 8834 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13206 8834 301 301 0 12905 0
vsize: 52824
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10420 0 0 0 60932 85 0 0 25 0 1 0 966309005 54226944 8870 4294967295 134512640 135730672 3221224592 3221223136 134740180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13239 8870 301 301 0 12938 0
vsize: 52956
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10451 0 0 0 61931 86 0 0 25 0 1 0 966309005 54226944 8901 4294967295 134512640 135730672 3221224592 3221223104 134745862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13239 8901 301 301 0 12938 0
vsize: 52956
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10529 0 0 0 62931 87 0 0 25 0 1 0 966309005 54632448 8979 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13338 8979 301 301 0 13037 0
vsize: 53352
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10674 0 0 0 63930 88 0 0 25 0 1 0 966309005 54767616 9124 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13371 9124 301 301 0 13070 0
vsize: 53484
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 10890 0 0 0 64930 89 0 0 25 0 1 0 966309005 55037952 9340 4294967295 134512640 135730672 3221224592 3221223216 134783315 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13437 9340 301 301 0 13136 0
vsize: 53748
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11007 0 0 0 65929 90 0 0 25 0 1 0 966309005 55177216 9457 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13471 9457 301 301 0 13170 0
vsize: 53884
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11147 0 0 0 66928 91 0 0 25 0 1 0 966309005 55582720 9597 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13570 9597 301 301 0 13269 0
vsize: 54280
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11330 0 0 0 67927 92 0 0 25 0 1 0 966309005 55717888 9780 4294967295 134512640 135730672 3221224592 3221223152 134740376 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13603 9780 301 301 0 13302 0
vsize: 54412
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11573 0 0 0 68926 94 0 0 25 0 1 0 966309005 56123392 10023 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13702 10023 301 301 0 13401 0
vsize: 54808
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11645 0 0 0 69925 95 0 0 25 0 1 0 966309005 56246272 10095 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10095 301 301 0 13431 0
vsize: 54928
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11671 0 0 0 70925 96 0 0 25 0 1 0 966309005 56246272 10121 4294967295 134512640 135730672 3221224592 3221223104 134746515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10121 301 301 0 13431 0
vsize: 54928
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11693 0 0 0 71924 97 0 0 25 0 1 0 966309005 56246272 10143 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10143 301 301 0 13431 0
vsize: 54928
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 11719 0 0 0 72924 97 0 0 25 0 1 0 966309005 56246272 10169 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10169 301 301 0 13431 0
vsize: 54928
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13294 0 0 0 73920 101 0 0 25 0 1 0 966309005 62656512 10207 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15297 10207 301 301 0 14996 0
vsize: 61188
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13319 0 0 0 74921 101 0 0 25 0 1 0 966309005 62656512 10232 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15297 10232 301 301 0 14996 0
vsize: 61188
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13378 0 0 0 75920 102 0 0 25 0 1 0 966309005 62918656 10291 4294967295 134512640 135730672 3221224592 3221223088 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15361 10291 301 301 0 15060 0
vsize: 61444
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13413 0 0 0 76920 103 0 0 25 0 1 0 966309005 63057920 10326 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15395 10326 301 301 0 15094 0
vsize: 61580
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13437 0 0 0 77919 103 0 0 25 0 1 0 966309005 63057920 10350 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15395 10350 301 301 0 15094 0
vsize: 61580
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13492 0 0 0 78919 104 0 0 25 0 1 0 966309005 63193088 10405 4294967295 134512640 135730672 3221224592 3221223088 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15428 10405 301 301 0 15127 0
vsize: 61712
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13540 0 0 0 79918 105 0 0 25 0 1 0 966309005 63475712 10453 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15497 10453 301 301 0 15196 0
vsize: 61988
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13575 0 0 0 80917 106 0 0 25 0 1 0 966309005 63475712 10488 4294967295 134512640 135730672 3221224592 3221223280 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15497 10488 301 301 0 15196 0
vsize: 61988
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13593 0 0 0 81917 107 0 0 25 0 1 0 966309005 63475712 10506 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15497 10506 301 301 0 15196 0
vsize: 61988
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13626 0 0 0 82917 108 0 0 25 0 1 0 966309005 63606784 10539 4294967295 134512640 135730672 3221224592 3221223104 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15529 10539 301 301 0 15228 0
vsize: 62116
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13659 0 0 0 83916 109 0 0 25 0 1 0 966309005 63606784 10572 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15529 10572 301 301 0 15228 0
vsize: 62116
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13764 0 0 0 84916 109 0 0 25 0 1 0 966309005 63741952 10677 4294967295 134512640 135730672 3221224592 3221222804 134813637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15562 10677 301 301 0 15261 0
vsize: 62248
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 13956 0 0 0 85915 110 0 0 25 0 1 0 966309005 63864832 10869 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15592 10869 301 301 0 15291 0
vsize: 62368
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14046 0 0 0 86915 111 0 0 25 0 1 0 966309005 64012288 10959 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15628 10959 301 301 0 15327 0
vsize: 62512
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14227 0 0 0 87914 113 0 0 25 0 1 0 966309005 64012288 11140 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15628 11140 301 301 0 15327 0
vsize: 62512
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14451 0 0 0 88913 114 0 0 25 0 1 0 966309005 64294912 11364 4294967295 134512640 135730672 3221224592 3221222772 135281249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15697 11364 301 301 0 15396 0
vsize: 62788
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14501 0 0 0 89912 115 0 0 25 0 1 0 966309005 64294912 11414 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15697 11414 301 301 0 15396 0
vsize: 62788
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14645 0 0 0 90910 117 0 0 25 0 1 0 966309005 64430080 11558 4294967295 134512640 135730672 3221224592 3221222944 135104801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15730 11558 301 301 0 15429 0
vsize: 62920
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14812 0 0 0 91910 118 0 0 25 0 1 0 966309005 64565248 11725 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 11725 301 301 0 15462 0
vsize: 63052
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 14931 0 0 0 92909 119 0 0 25 0 1 0 966309005 64565248 11844 4294967295 134512640 135730672 3221224592 3221223104 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 11844 301 301 0 15462 0
vsize: 63052
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15062 0 0 0 93909 120 0 0 25 0 1 0 966309005 64737280 11975 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15805 11975 301 301 0 15504 0
vsize: 63220
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15254 0 0 0 94908 121 0 0 25 0 1 0 966309005 64737280 12167 4294967295 134512640 135730672 3221224592 3221223088 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15805 12167 301 301 0 15504 0
vsize: 63220
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15364 0 0 0 95907 122 0 0 25 0 1 0 966309005 64737280 12277 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15805 12277 301 301 0 15504 0
vsize: 63220
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15554 0 0 0 96907 123 0 0 25 0 1 0 966309005 65064960 12467 4294967295 134512640 135730672 3221224592 3221223088 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15885 12467 301 301 0 15584 0
vsize: 63540
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15751 0 0 0 97905 124 0 0 25 0 1 0 966309005 65196032 12664 4294967295 134512640 135730672 3221224592 3221223104 134746214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15917 12664 301 301 0 15616 0
vsize: 63668
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 15872 0 0 0 98905 126 0 0 25 0 1 0 966309005 65196032 12785 4294967295 134512640 135730672 3221224592 3221223104 134746474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15917 12785 301 301 0 15616 0
vsize: 63668
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16052 0 0 0 99904 127 0 0 25 0 1 0 966309005 65331200 12965 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15950 12965 301 301 0 15649 0
vsize: 63800
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16179 0 0 0 100903 128 0 0 25 0 1 0 966309005 65724416 13092 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16046 13092 301 301 0 15745 0
vsize: 64184
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16296 0 0 0 101903 128 0 0 25 0 1 0 966309005 65724416 13209 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16046 13209 301 301 0 15745 0
vsize: 64184
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16457 0 0 0 102902 129 0 0 25 0 1 0 966309005 65921024 13370 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16094 13370 301 301 0 15793 0
vsize: 64376
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16701 0 0 0 103901 131 0 0 25 0 1 0 966309005 66715648 13614 4294967295 134512640 135730672 3221224592 3221223168 134763668 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16288 13614 301 301 0 15987 0
vsize: 65152
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16719 0 0 0 104901 131 0 0 25 0 1 0 966309005 66715648 13632 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16288 13632 301 301 0 15987 0
vsize: 65152
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16737 0 0 0 105900 132 0 0 25 0 1 0 966309005 66715648 13650 4294967295 134512640 135730672 3221224592 3221223088 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16288 13650 301 301 0 15987 0
vsize: 65152
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16752 0 0 0 106900 133 0 0 25 0 1 0 966309005 66715648 13665 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16288 13665 301 301 0 15987 0
vsize: 65152
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16769 0 0 0 107900 134 0 0 25 0 1 0 966309005 66715648 13682 4294967295 134512640 135730672 3221224592 3221223184 134764027 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16288 13683 301 301 0 15987 0
vsize: 65152
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16789 0 0 0 108899 134 0 0 25 0 1 0 966309005 66850816 13702 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16321 13702 301 301 0 16020 0
vsize: 65284
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16816 0 0 0 109899 135 0 0 25 0 1 0 966309005 66850816 13729 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16321 13729 301 301 0 16020 0
vsize: 65284
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16847 0 0 0 110899 135 0 0 25 0 1 0 966309005 66850816 13760 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16321 13760 301 301 0 16020 0
vsize: 65284
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16863 0 0 0 111899 136 0 0 25 0 1 0 966309005 66850816 13776 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16321 13776 301 301 0 16020 0
vsize: 65284
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16896 0 0 0 112899 136 0 0 25 0 1 0 966309005 66981888 13809 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16353 13809 301 301 0 16052 0
vsize: 65412
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16918 0 0 0 113898 137 0 0 25 0 1 0 966309005 66981888 13831 4294967295 134512640 135730672 3221224592 3221223216 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16353 13831 301 301 0 16052 0
vsize: 65412
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16940 0 0 0 114898 138 0 0 25 0 1 0 966309005 66981888 13853 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16353 13853 301 301 0 16052 0
vsize: 65412
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 16984 0 0 0 115898 138 0 0 25 0 1 0 966309005 67100672 13897 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16382 13897 301 301 0 16081 0
vsize: 65528
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 17009 0 0 0 116897 139 0 0 25 0 1 0 966309005 67100672 13922 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16382 13922 301 301 0 16081 0
vsize: 65528
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 17042 0 0 0 117896 140 0 0 25 0 1 0 966309005 67223552 13955 4294967295 134512640 135730672 3221224592 3221223184 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16412 13955 301 301 0 16111 0
vsize: 65648
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 17078 0 0 0 118896 142 0 0 25 0 1 0 966309005 67350528 13991 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16443 13991 301 301 0 16142 0
vsize: 65772
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11886
Raw data (stat): 11886 (pb2sat-v2) R 11885 25568 25567 0 -1 0 17121 0 0 0 119895 142 0 0 25 0 1 0 966309005 67465216 14034 4294967295 134512640 135730672 3221224592 3221223216 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16471 14034 301 301 0 16170 0
vsize: 65884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11886
Raw data (stat): 11886 (pb2sat-v2) Z 11885 25568 25567 0 -1 12 17123 0 0 0 119910 145 0 0 25 0 1 0 966309005 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.2
CPU time (s): 1200.57
CPU user time (s): 1199.11
CPU system time (s): 1.45678
CPU usage (%): 100.031
Max. virtual memory (Kb): 65884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####