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-chnl15_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	20
Trace number 41888

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864992 kB
Buffers:         33356 kB
Cached:         111456 kB
SwapCached:       4448 kB
Active:          60040 kB
Inactive:        89844 kB
HighTotal:      131008 kB
HighFree:        31528 kB
LowTotal:       903652 kB
LowFree:        833464 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14172 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:24:27 (client local time) WITH STATUS 0 IN 1209.74 SECONDS
stats: 25104 7 1209.74 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 570/1740	Time: 19.3381/86400
c Decision: 570/1740	Time: 20.014/86400
c Decision: 570/1740	Time: 20.7498/86400
c Decision: 570/1740	Time: 21.7587/86400
c Decision: 570/1740	Time: 22.6326/86400
c Decision: 570/1740	Time: 23.5454/86400
c Decision: 570/1740	Time: 24.3963/86400
c Decision: 570/1740	Time: 25.6621/86400
c Decision: 570/1740	Time: 26.622/86400
c Decision: 570/1740	Time: 27.5568/86400
c Decision: 570/1740	Time: 28.7826/86400
c Decision: 570/1740	Time: 29.7815/86400
c Decision: 570/1740	Time: 30.8513/86400
c Decision: 570/1740	Time: 31.9641/86400
c Decision: 570/1740	Time: 33.18/86400
c Decision: 570/1740	Time: 34.5517/86400
c Decision: 570/1740	Time: 35.6406/86400
c Decision: 570/1740	Time: 36.8494/86400
c Decision: 570/1740	Time: 38.1002/86400
c Decision: 570/1740	Time: 39.243/86400
c Decision: 570/1740	Time: 40.6598/86400
c Decision: 570/1740	Time: 41.6737/86400
c Decision: 570/1740	Time: 43.0795/86400
c Decision: 570/1740	Time: 44.3433/86400
c Decision: 570/1740	Time: 45.5221/86400
c Decision: 570/1740	Time: 46.8589/86400
c Decision: 570/1740	Time: 48.0797/86400
c Decision: 570/1740	Time: 49.2475/86400
c Decision: 570/1740	Time: 50.4883/86400
c Decision: 570/1740	Time: 52.0151/86400
c Decision: 570/1740	Time: 53.3929/86400
c Decision: 570/1740	Time: 54.9107/86400
c Decision: 570/1740	Time: 56.0845/86400
c Decision: 570/1740	Time: 57.3633/86400
c Decision: 570/1740	Time: 58.6851/86400
c Decision: 570/1740	Time: 60.2788/86400
c Decision: 570/1740	Time: 61.5926/86400
c Decision: 570/1740	Time: 62.8914/86400
c Decision: 570/1740	Time: 64.2972/86400
c Decision: 570/1740	Time: 65.687/86400
c Decision: 570/1740	Time: 67.3338/86400
c Decision: 570/1740	Time: 68.7605/86400
c Decision: 570/1740	Time: 70.4003/86400
c Decision: 570/1740	Time: 71.7651/86400
c Decision: 570/1740	Time: 73.1949/86400
c Decision: 570/1740	Time: 74.8396/86400
c Decision: 570/1740	Time: 76.2334/86400
c Decision: 570/1740	Time: 77.7082/86400
c Decision: 570/1740	Time: 79.179/86400
c Decision: 570/1740	Time: 80.6047/86400
c Decision: 570/1740	Time: 82.2425/86400
c Decision: 570/1740	Time: 83.6933/86400
c Decision: 570/1740	Time: 85.1431/86400
c Decision: 570/1740	Time: 86.6278/86400
c Decision: 570/1740	Time: 88.1036/86400
c Decision: 570/1740	Time: 89.8713/86400
c Decision: 570/1740	Time: 91.4881/86400
c Decision: 570/1740	Time: 93.0908/86400
c Decision: 570/1740	Time: 94.9396/86400
c Decision: 570/1740	Time: 96.5053/86400
c Decision: 570/1740	Time: 98.441/86400
c Decision: 570/1740	Time: 99.9408/86400
c Decision: 570/1740	Time: 101.561/86400
c Decision: 570/1740	Time: 103.222/86400
c Decision: 570/1740	Time: 104.739/86400
c Decision: 570/1740	Time: 106.581/86400
c Decision: 570/1740	Time: 108.237/86400
c Decision: 570/1740	Time: 109.741/86400
c Decision: 570/1740	Time: 111.577/86400
c Decision: 570/1740	Time: 113.477/86400
c Decision: 570/1740	Time: 115.71/86400
c Decision: 570/1740	Time: 117.3/86400
c Decision: 570/1740	Time: 118.821/86400
c Decision: 570/1740	Time: 120.58/86400
c Decision: 570/1740	Time: 122.309/86400
c Decision: 570/1740	Time: 124.501/86400
c Decision: 570/1740	Time: 126.13/86400
c Decision: 570/1740	Time: 128.065/86400
c Decision: 570/1740	Time: 129.984/86400
c Decision: 570/1740	Time: 131.767/86400
c Decision: 570/1740	Time: 134.093/86400
c Decision: 570/1740	Time: 135.909/86400
c Decision: 570/1740	Time: 137.6/86400
c Decision: 570/1740	Time: 139.31/86400
c Decision: 570/1740	Time: 141.353/86400
c Decision: 570/1740	Time: 143.475/86400
c Decision: 570/1740	Time: 145.337/86400
c Decision: 570/1740	Time: 147.315/86400
c Decision: 570/1740	Time: 149.201/86400
c Decision: 570/1740	Time: 151.073/86400
c Decision: 570/1740	Time: 153.363/86400
c Decision: 570/1740	Time: 155.153/86400
c Decision: 570/1740	Time: 156.947/86400
c Decision: 570/1740	Time: 159.084/86400
c Decision: 570/1740	Time: 160.967/86400
c Decision: 570/1740	Time: 163.288/86400
c Decision: 570/1740	Time: 165.199/86400
c Decision: 570/1740	Time: 167.105/86400
c Decision: 570/1740	Time: 169.092/86400
c Decision: 570/1740	Time: 170.797/86400
c Decision: 570/1740	Time: 172.977/86400
c Decision: 570/1740	Time: 175.021/86400
c Decision: 570/1740	Time: 177.223/86400
c Decision: 570/1740	Time: 178.983/86400
c Decision: 570/1740	Time: 180.811/86400
c Decision: 570/1740	Time: 182.943/86400
c Decision: 570/1740	Time: 184.77/86400
c Decision: 570/1740	Time: 186.476/86400
c Decision: 570/1740	Time: 188.375/86400
c Decision: 570/1740	Time: 190.396/86400
c Decision: 570/1740	Time: 192.507/86400
c Decision: 570/1740	Time: 194.428/86400
c Decision: 570/1740	Time: 196.168/86400
c Decision: 570/1740	Time: 197.911/86400
c Decision: 570/1740	Time: 199.739/86400
c Decision: 570/1740	Time: 202.051/86400
c Decision: 570/1740	Time: 203.927/86400
c Decision: 570/1740	Time: 206.157/86400
c Decision: 570/1740	Time: 208.166/86400
c Decision: 570/1740	Time: 210.106/86400
c Decision: 570/1740	Time: 212.544/86400
c Decision: 570/1740	Time: 214.436/86400
c Decision: 570/1740	Time: 216.486/86400
c Decision: 570/1740	Time: 218.535/86400
c Decision: 570/1740	Time: 220.351/86400
c Decision: 570/1740	Time: 222.686/86400
c Decision: 570/1740	Time: 224.681/86400
c Decision: 570/1740	Time: 226.718/86400
c Decision: 570/1740	Time: 228.785/86400
c Decision: 570/1740	Time: 230.919/86400
c Decision: 570/1740	Time: 233.314/86400
c Decision: 570/1740	Time: 235.598/86400
c Decision: 570/1740	Time: 237.681/86400
c Decision: 570/1740	Time: 240.019/86400
c Decision: 570/1740	Time: 242.414/86400
c Decision: 570/1740	Time: 245.02/86400
c Decision: 570/1740	Time: 247.322/86400
c Decision: 570/1740	Time: 249.515/86400
c Decision: 570/1740	Time: 251.781/86400
c Decision: 570/1740	Time: 254.057/86400
c Decision: 570/1740	Time: 256.644/86400
c Decision: 570/1740	Time: 258.886/86400
c Decision: 570/1740	Time: 261.221/86400
c Decision: 570/1740	Time: 263.62/86400
c Decision: 570/1740	Time: 266.378/86400
c Decision: 570/1740	Time: 269.137/86400
c Decision: 570/1740	Time: 271.739/86400
c Decision: 570/1740	Time: 274.054/86400
c Decision: 570/1740	Time: 276.607/86400
c Decision: 570/1740	Time: 279.108/86400
c Decision: 570/1740	Time: 282.203/86400
c Decision: 570/1740	Time: 284.966/86400
c Decision: 570/1740	Time: 287.483/86400
c Decision: 570/1740	Time: 289.924/86400
c Decision: 570/1740	Time: 292.644/86400
c Decision: 570/1740	Time: 295.997/86400
c Decision: 570/1740	Time: 298.481/86400
c Decision: 570/1740	Time: 300.988/86400
c Decision: 570/1740	Time: 303.4/86400
c Decision: 570/1740	Time: 305.989/86400
c Decision: 570/1740	Time: 309.291/86400
c Decision: 570/1740	Time: 311.874/86400
c Decision: 570/1740	Time: 314.665/86400
c Decision: 570/1740	Time: 317.517/86400
c Decision: 570/1740	Time: 319.942/86400
c Decision: 570/1740	Time: 323.133/86400
c Decision: 570/1740	Time: 325.737/86400
c Decision: 570/1740	Time: 328.473/86400
c Decision: 570/1740	Time: 331.051/86400
c Decision: 570/1740	Time: 333.646/86400
c Decision: 570/1740	Time: 336.835/86400
c Decision: 570/1740	Time: 339.41/86400
c Decision: 570/1740	Time: 342.132/86400
c Decision: 570/1740	Time: 344.722/86400
c Decision: 570/1740	Time: 347.51/86400
c Decision: 570/1740	Time: 350.723/86400
c Decision: 570/1740	Time: 353.532/86400
c Decision: 570/1740	Time: 355.941/86400
c Decision: 570/1740	Time: 358.663/86400
c Decision: 570/1740	Time: 361.394/86400
c Decision: 570/1740	Time: 365.73/86400
c Decision: 570/1740	Time: 368.173/86400
c Decision: 570/1740	Time: 370.797/86400
c Decision: 570/1740	Time: 373.308/86400
c Decision: 570/1740	Time: 375.833/86400
c Decision: 570/1740	Time: 378.805/86400
c Decision: 570/1740	Time: 381.388/86400
c Decision: 570/1740	Time: 383.891/86400
c Decision: 570/1740	Time: 386.478/86400
c Decision: 570/1740	Time: 389.063/86400
c Decision: 570/1740	Time: 392.357/86400
c Decision: 570/1740	Time: 394.893/86400
c Decision: 570/1740	Time: 397.26/86400
c Decision: 570/1740	Time: 399.773/86400
c Decision: 570/1740	Time: 402.389/86400
c Decision: 570/1740	Time: 405.751/86400
c Decision: 570/1740	Time: 408.233/86400
c Decision: 570/1740	Time: 410.625/86400
c Decision: 570/1740	Time: 412.926/86400
c Decision: 570/1740	Time: 415.397/86400
c Decision: 570/1740	Time: 418.896/86400
c Decision: 570/1740	Time: 421.527/86400
c Decision: 570/1740	Time: 424.145/86400
c Decision: 570/1740	Time: 426.615/86400
c Decision: 570/1740	Time: 429.401/86400
c Decision: 570/1740	Time: 432.719/86400
c Decision: 570/1740	Time: 435.551/86400
c Decision: 570/1740	Time: 438.299/86400
c Decision: 570/1740	Time: 441.045/86400
c Decision: 570/1740	Time: 443.909/86400
c Decision: 570/1740	Time: 447.575/86400
c Decision: 570/1740	Time: 450.406/86400
c Decision: 570/1740	Time: 453.055/86400
c Decision: 570/1740	Time: 455.915/86400
c Decision: 570/1740	Time: 458.206/86400
c Decision: 570/1740	Time: 461.663/86400
c Decision: 570/1740	Time: 464.869/86400
c Decision: 570/1740	Time: 467.449/86400
c Decision: 570/1740	Time: 470.115/86400
c Decision: 570/1740	Time: 473.062/86400
c Decision: 570/1740	Time: 476.45/86400
c Decision: 570/1740	Time: 479.141/86400
c Decision: 570/1740	Time: 481.895/86400
c Decision: 570/1740	Time: 484.897/86400
c Decision: 570/1740	Time: 487.697/86400
c Decision: 570/1740	Time: 491.068/86400
c Decision: 570/1740	Time: 493.59/86400
c Decision: 570/1740	Time: 496.747/86400
c Decision: 570/1740	Time: 499.654/86400
c Decision: 570/1740	Time: 502.329/86400
c Decision: 570/1740	Time: 505.717/86400
c Decision: 570/1740	Time: 508.659/86400
c Decision: 570/1740	Time: 511.128/86400
c Decision: 570/1740	Time: 513.824/86400
c Decision: 570/1740	Time: 516.44/86400
c Decision: 570/1740	Time: 519.864/86400
c Decision: 570/1740	Time: 522.59/86400
c Decision: 570/1740	Time: 525.387/86400
c Decision: 570/1740	Time: 527.979/86400
c Decision: 570/1740	Time: 530.472/86400
c Decision: 570/1740	Time: 534.067/86400
c Decision: 570/1740	Time: 536.912/86400
c Decision: 570/1740	Time: 539.71/86400
c Decision: 570/1740	Time: 542.307/86400
c Decision: 570/1740	Time: 545.19/86400
c Decision: 570/1740	Time: 548.637/86400
c Decision: 570/1740	Time: 551.362/86400
c Decision: 570/1740	Time: 553.961/86400
c Decision: 570/1740	Time: 556.419/86400
c Decision: 570/1740	Time: 558.898/86400
c Decision: 570/1740	Time: 561.848/86400
c Decision: 570/1740	Time: 564.47/86400
c Decision: 570/1740	Time: 567.168/86400
c Decision: 570/1740	Time: 569.887/86400
c Decision: 570/1740	Time: 572.686/86400
c Decision: 570/1740	Time: 575.839/86400
c Decision: 570/1740	Time: 578.416/86400
c Decision: 570/1740	Time: 581.117/86400
c Decision: 570/1740	Time: 583.669/86400
c Decision: 570/1740	Time: 586.219/86400
c Decision: 570/1740	Time: 589.496/86400
c Decision: 570/1740	Time: 592.182/86400
c Decision: 570/1740	Time: 594.741/86400
c Decision: 570/1740	Time: 597.241/86400
c Decision: 570/1740	Time: 599.947/86400
c Decision: 570/1740	Time: 603.019/86400
c Decision: 570/1740	Time: 605.375/86400
c Decision: 570/1740	Time: 607.963/86400
c Decision: 570/1740	Time: 610.61/86400
c Decision: 570/1740	Time: 613.374/86400
c Decision: 570/1740	Time: 616.744/86400
c Decision: 570/1740	Time: 619.26/86400
c Decision: 570/1740	Time: 622.058/86400
c Decision: 570/1740	Time: 624.685/86400
c Decision: 570/1740	Time: 627.459/86400
c Decision: 570/1740	Time: 630.87/86400
c Decision: 570/1740	Time: 633.535/86400
c Decision: 570/1740	Time: 636.285/86400
c Decision: 570/1740	Time: 638.796/86400
c Decision: 570/1740	Time: 641.518/86400
c Decision: 570/1740	Time: 644.636/86400
c Decision: 570/1740	Time: 647.284/86400
c Decision: 570/1740	Time: 650.067/86400
c Decision: 570/1740	Time: 652.585/86400
c Decision: 570/1740	Time: 655.375/86400
c Decision: 570/1740	Time: 658.768/86400
c Decision: 570/1740	Time: 661.352/86400
c Decision: 570/1740	Time: 664.329/86400
c Decision: 570/1740	Time: 666.946/86400
c Decision: 570/1740	Time: 669.579/86400
c Decision: 570/1740	Time: 672.768/86400
c Decision: 570/1740	Time: 675.412/86400
c Decision: 570/1740	Time: 677.999/86400
c Decision: 570/1740	Time: 680.692/86400
c Decision: 570/1740	Time: 683.563/86400
c Decision: 570/1740	Time: 686.742/86400
c Decision: 570/1740	Time: 689.667/86400
c Decision: 570/1740	Time: 692.369/86400
c Decision: 570/1740	Time: 695.125/86400
c Decision: 570/1740	Time: 697.89/86400
c Decision: 570/1740	Time: 701.328/86400
c Decision: 570/1740	Time: 703.836/86400
c Decision: 570/1740	Time: 706.59/86400
c Decision: 570/1740	Time: 709.171/86400
c Decision: 570/1740	Time: 711.912/86400
c Decision: 570/1740	Time: 715.408/86400
c Decision: 570/1740	Time: 718.127/86400
c Decision: 570/1740	Time: 720.893/86400
c Decision: 570/1740	Time: 723.647/86400
c Decision: 570/1740	Time: 726.358/86400
c Decision: 570/1740	Time: 729.608/86400
c Decision: 570/1740	Time: 732.353/86400
c Decision: 570/1740	Time: 734.965/86400
c Decision: 570/1740	Time: 737.547/86400
c Decision: 570/1740	Time: 740.22/86400
c Decision: 570/1740	Time: 743.389/86400
c Decision: 570/1740	Time: 746.188/86400
c Decision: 570/1740	Time: 748.656/86400
c Decision: 570/1740	Time: 751.185/86400
c Decision: 570/1740	Time: 753.819/86400
c Decision: 570/1740	Time: 757.151/86400
c Decision: 570/1740	Time: 759.671/86400
c Decision: 570/1740	Time: 762.195/86400
c Decision: 570/1740	Time: 764.849/86400
c Decision: 570/1740	Time: 767.346/86400
c Decision: 570/1740	Time: 770.406/86400
c Decision: 570/1740	Time: 773.005/86400
c Decision: 570/1740	Time: 775.684/86400
c Decision: 570/1740	Time: 778.149/86400
c Decision: 570/1740	Time: 780.895/86400
c Decision: 570/1740	Time: 784.15/86400
c Decision: 570/1740	Time: 786.669/86400
c Decision: 570/1740	Time: 789.295/86400
c Decision: 570/1740	Time: 791.999/86400
c Decision: 570/1740	Time: 794.665/86400
c Decision: 570/1740	Time: 797.95/86400
c Decision: 570/1740	Time: 801.088/86400
c Decision: 570/1740	Time: 804.069/86400
c Decision: 570/1740	Time: 806.787/86400
c Decision: 570/1740	Time: 809.521/86400
c Decision: 570/1740	Time: 812.998/86400
c Decision: 570/1740	Time: 815.479/86400
c Decision: 570/1740	Time: 818.04/86400
c Decision: 570/1740	Time: 820.82/86400
c Decision: 570/1740	Time: 823.763/86400
c Decision: 570/1740	Time: 827.366/86400
c Decision: 570/1740	Time: 830.014/86400
c Decision: 570/1740	Time: 832.898/86400
c Decision: 570/1740	Time: 835.972/86400
c Decision: 570/1740	Time: 838.666/86400
c Decision: 570/1740	Time: 842.218/86400
c Decision: 570/1740	Time: 845.192/86400
c Decision: 570/1740	Time: 848.272/86400
c Decision: 570/1740	Time: 851.235/86400
c Decision: 570/1740	Time: 853.882/86400
c Decision: 570/1740	Time: 857.519/86400
c Decision: 570/1740	Time: 860.485/86400
c Decision: 570/1740	Time: 863.618/86400
c Decision: 570/1740	Time: 866.493/86400
c Decision: 570/1740	Time: 869.284/86400
c Decision: 570/1740	Time: 872.521/86400
c Decision: 570/1740	Time: 875.127/86400
c Decision: 570/1740	Time: 878.047/86400
c Decision: 570/1740	Time: 881.019/86400
c Decision: 570/1740	Time: 883.809/86400
c Decision: 570/1740	Time: 887.316/86400
c Decision: 570/1740	Time: 890.055/86400
c Decision: 570/1740	Time: 892.843/86400
c Decision: 570/1740	Time: 895.738/86400
c Decision: 570/1740	Time: 898.671/86400
c Decision: 570/1740	Time: 902.202/86400
c Decision: 570/1740	Time: 904.74/86400
c Decision: 570/1740	Time: 907.392/86400
c Decision: 570/1740	Time: 910.131/86400
c Decision: 570/1740	Time: 912.915/86400
c Decision: 570/1740	Time: 916.225/86400
c Decision: 570/1740	Time: 919.13/86400
c Decision: 570/1740	Time: 921.94/86400
c Decision: 570/1740	Time: 924.967/86400
c Decision: 570/1740	Time: 928.03/86400
c Decision: 570/1740	Time: 931.318/86400
c Decision: 570/1740	Time: 933.872/86400
c Decision: 570/1740	Time: 936.672/86400
c Decision: 570/1740	Time: 939.44/86400
c Decision: 570/1740	Time: 942.117/86400
c Decision: 570/1740	Time: 945.822/86400
c Decision: 570/1740	Time: 948.777/86400
c Decision: 570/1740	Time: 951.496/86400
c Decision: 570/1740	Time: 954.371/86400
c Decision: 570/1740	Time: 957.211/86400
c Decision: 570/1740	Time: 960.864/86400
c Decision: 570/1740	Time: 963.66/86400
c Decision: 570/1740	Time: 966.535/86400
c Decision: 570/1740	Time: 969.386/86400
c Decision: 570/1740	Time: 971.931/86400
c Decision: 570/1740	Time: 975.194/86400
c Decision: 570/1740	Time: 978.053/86400
c Decision: 570/1740	Time: 981.035/86400
c Decision: 570/1740	Time: 983.791/86400
c Decision: 570/1740	Time: 986.701/86400
c Decision: 570/1740	Time: 990.277/86400
c Decision: 570/1740	Time: 992.981/86400
c Decision: 570/1740	Time: 995.859/86400
c Decision: 570/1740	Time: 998.767/86400
c Decision: 570/1740	Time: 1001.43/86400
c Decision: 570/1740	Time: 1005/86400
c Decision: 570/1740	Time: 1007.85/86400
c Decision: 570/1740	Time: 1011.03/86400
c Decision: 570/1740	Time: 1013.93/86400
c Decision: 570/1740	Time: 1016.8/86400
c Decision: 570/1740	Time: 1020.47/86400
c Decision: 570/1740	Time: 1023.13/86400
c Decision: 570/1740	Time: 1025.89/86400
c Decision: 570/1740	Time: 1028.95/86400
c Decision: 570/1740	Time: 1031.88/86400
c Decision: 570/1740	Time: 1035.39/86400
c Decision: 570/1740	Time: 1038.16/86400
c Decision: 570/1740	Time: 1040.83/86400
c Decision: 570/1740	Time: 1043.68/86400
c Decision: 570/1740	Time: 1046.42/86400
c Decision: 570/1740	Time: 1049.69/86400
c Decision: 570/1740	Time: 1052.56/86400
c Decision: 570/1740	Time: 1055.36/86400
c Decision: 570/1740	Time: 1058.26/86400
c Decision: 570/1740	Time: 1061.19/86400
c Decision: 570/1740	Time: 1064.84/86400
c Decision: 570/1740	Time: 1067.61/86400
c Decision: 570/1740	Time: 1070.46/86400
c Decision: 570/1740	Time: 1073.16/86400
c Decision: 570/1740	Time: 1075.76/86400
c Decision: 570/1740	Time: 1079.5/86400
c Decision: 570/1740	Time: 1082.2/86400
c Decision: 570/1740	Time: 1084.99/86400
c Decision: 570/1740	Time: 1087.77/86400
c Decision: 570/1740	Time: 1090.64/86400
c Decision: 570/1740	Time: 1094.45/86400
c Decision: 570/1740	Time: 1097.3/86400
c Decision: 570/1740	Time: 1100.13/86400
c Decision: 570/1740	Time: 1102.92/86400
c Decision: 570/1740	Time: 1105.78/86400
c Decision: 570/1740	Time: 1109.37/86400
c Decision: 570/1740	Time: 1112.2/86400
c Decision: 570/1740	Time: 1115.11/86400
c Decision: 570/1740	Time: 1117.9/86400
c Decision: 570/1740	Time: 1120.54/86400
c Decision: 570/1740	Time: 1124.1/86400
c Decision: 570/1740	Time: 1126.97/86400
c Decision: 570/1740	Time: 1129.71/86400
c Decision: 570/1740	Time: 1132.65/86400
c Decision: 570/1740	Time: 1135.2/86400
c Decision: 570/1740	Time: 1138.58/86400
c Decision: 570/1740	Time: 1141.58/86400
c Decision: 570/1740	Time: 1144.52/86400
c Decision: 570/1740	Time: 1147.71/86400
c Decision: 570/1740	Time: 1150.33/86400
c Decision: 570/1740	Time: 1154.1/86400
c Decision: 570/1740	Time: 1157/86400
c Decision: 570/1740	Time: 1159.72/86400
c Decision: 570/1740	Time: 1162.46/86400
c Decision: 570/1740	Time: 1165.39/86400
c Decision: 570/1740	Time: 1168.87/86400
c Decision: 570/1740	Time: 1171.79/86400
c Decision: 570/1740	Time: 1174.91/86400
c Decision: 570/1740	Time: 1177.82/86400
c Decision: 570/1740	Time: 1180.65/86400
c Decision: 570/1740	Time: 1183.93/86400
c Decision: 570/1740	Time: 1186.53/86400
c Decision: 570/1740	Time: 1189.13/86400
c Decision: 570/1740	Time: 1191.97/86400
c Decision: 570/1740	Time: 1194.57/86400
c Decision: 570/1740	Time: 1198.11/86400
c Decision: 570/1740	Time: 1201.04/86400
c Decision: 570/1740	Time: 1203.94/86400
c Decision: 570/1740	Time: 1206.69/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.00 0.01 0.22 2/54 28238
Raw data (stat): 28238 (runsolver) R 28237 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964502585 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.15 0.04 0.22 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 1095 0 9 0 929 4 0 0 25 0 1 0 964502585 6836224 1041 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1669 1041 301 301 0 1368 0
vsize: 6676
[startup+20.0012 s]
Raw data (loadavg): 0.28 0.07 0.23 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 1678 0 9 0 1927 7 0 0 25 0 1 0 964502585 11460608 1624 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2798 1624 301 301 0 2497 0
vsize: 11192
[startup+30.0038 s]
Raw data (loadavg): 0.39 0.10 0.24 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 2778 0 9 0 2921 12 0 0 25 0 1 0 964502585 13123584 2627 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3204 2627 301 301 0 2903 0
vsize: 12816
[startup+40.004 s]
Raw data (loadavg): 0.49 0.13 0.25 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 3579 0 9 0 3918 15 0 0 25 0 1 0 964502585 22568960 3428 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5510 3428 301 301 0 5209 0
vsize: 22040
[startup+50.0043 s]
Raw data (loadavg): 0.56 0.16 0.26 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 3857 0 9 0 4916 17 0 0 25 0 1 0 964502585 23486464 3706 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5734 3706 301 301 0 5433 0
vsize: 22936
[startup+60.0039 s]
Raw data (loadavg): 0.63 0.19 0.26 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 4382 0 9 0 5914 20 0 0 25 0 1 0 964502585 25370624 4038 4294967295 134512640 135730672 3221224576 3221222800 134813925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6194 4038 301 301 0 5893 0
vsize: 24776
[startup+70.0049 s]
Raw data (loadavg): 0.69 0.21 0.27 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 4921 0 9 0 6911 22 0 0 25 0 1 0 964502585 26353664 4577 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6434 4577 301 301 0 6133 0
vsize: 25736
[startup+80.0054 s]
Raw data (loadavg): 0.73 0.24 0.28 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 5275 0 9 0 7910 24 0 0 25 0 1 0 964502585 26681344 4931 4294967295 134512640 135730672 3221224576 3221223184 134744732 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6514 4931 301 301 0 6213 0
vsize: 26056
[startup+90.005 s]
Raw data (loadavg): 0.77 0.26 0.29 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 5564 0 9 0 8908 26 0 0 25 0 1 0 964502585 27172864 5220 4294967295 134512640 135730672 3221224576 3221223120 134740282 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6634 5220 301 301 0 6333 0
vsize: 26536
[startup+100.005 s]
Raw data (loadavg): 0.81 0.29 0.29 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 5918 0 9 0 9906 28 0 0 25 0 1 0 964502585 27664384 5574 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6754 5574 301 301 0 6453 0
vsize: 27016
[startup+110.005 s]
Raw data (loadavg): 0.84 0.31 0.30 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 6157 0 9 0 10904 29 0 0 25 0 1 0 964502585 27860992 5813 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6802 5813 301 301 0 6501 0
vsize: 27208
[startup+120.006 s]
Raw data (loadavg): 0.86 0.33 0.31 2/54 28238
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 6569 0 9 0 11902 32 0 0 25 0 1 0 964502585 28450816 6225 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6946 6225 301 301 0 6645 0
vsize: 27784
[startup+130.006 s]
Raw data (loadavg): 0.88 0.36 0.31 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 7395 0 9 0 12899 35 0 0 25 0 1 0 964502585 30810112 6666 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6667 301 301 0 7221 0
vsize: 30088
[startup+140.006 s]
Raw data (loadavg): 0.90 0.38 0.32 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 7746 0 9 0 13897 37 0 0 25 0 1 0 964502585 48373760 7017 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11810 7017 301 301 0 11509 0
vsize: 47240
[startup+150.006 s]
Raw data (loadavg): 0.92 0.40 0.33 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 7951 0 9 0 14895 39 0 0 25 0 1 0 964502585 49160192 7222 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12002 7222 301 301 0 11701 0
vsize: 48008
[startup+160.006 s]
Raw data (loadavg): 0.93 0.42 0.33 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 8330 0 9 0 15894 41 0 0 25 0 1 0 964502585 49553408 7601 4294967295 134512640 135730672 3221224576 3221222904 134814531 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12098 7601 301 301 0 11797 0
vsize: 48392
[startup+170.007 s]
Raw data (loadavg): 0.94 0.43 0.34 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 8637 0 9 0 16893 42 0 0 25 0 1 0 964502585 50143232 7908 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12242 7908 301 301 0 11941 0
vsize: 48968
[startup+180.006 s]
Raw data (loadavg): 0.95 0.45 0.35 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 8823 0 9 0 17892 43 0 0 25 0 1 0 964502585 50733056 8094 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12386 8094 301 301 0 12085 0
vsize: 49544
[startup+190.006 s]
Raw data (loadavg): 0.95 0.47 0.35 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 9044 0 9 0 18890 45 0 0 25 0 1 0 964502585 51519488 8315 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12578 8315 301 301 0 12277 0
vsize: 50312
[startup+200.006 s]
Raw data (loadavg): 0.96 0.49 0.36 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 9128 0 9 0 19889 46 0 0 25 0 1 0 964502585 51716096 8399 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12626 8399 301 301 0 12325 0
vsize: 50504
[startup+210.006 s]
Raw data (loadavg): 0.97 0.50 0.37 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 9247 0 9 0 20887 48 0 0 25 0 1 0 964502585 52305920 8518 4294967295 134512640 135730672 3221224576 3221222816 134786254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12770 8518 301 301 0 12469 0
vsize: 51080
[startup+220.006 s]
Raw data (loadavg): 0.97 0.52 0.37 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 9438 0 9 0 21887 48 0 0 25 0 1 0 964502585 52699136 8709 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12866 8709 301 301 0 12565 0
vsize: 51464
[startup+230.006 s]
Raw data (loadavg): 0.98 0.53 0.38 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 9732 0 9 0 22885 50 0 0 25 0 1 0 964502585 53092352 9003 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12962 9003 301 301 0 12661 0
vsize: 51848
[startup+240.006 s]
Raw data (loadavg): 0.98 0.55 0.38 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 10088 0 9 0 23884 51 0 0 25 0 1 0 964502585 53288960 9359 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13010 9359 301 301 0 12709 0
vsize: 52040
[startup+250.006 s]
Raw data (loadavg): 0.98 0.56 0.39 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 10473 0 9 0 24883 52 0 0 25 0 1 0 964502585 53485568 9744 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13058 9744 301 301 0 12757 0
vsize: 52232
[startup+260.006 s]
Raw data (loadavg): 0.98 0.58 0.40 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 10810 0 9 0 25882 54 0 0 25 0 1 0 964502585 53485568 10081 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13058 10081 301 301 0 12757 0
vsize: 52232
[startup+270.006 s]
Raw data (loadavg): 0.99 0.59 0.40 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 11199 0 9 0 26880 56 0 0 25 0 1 0 964502585 53817344 10470 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13139 10470 301 301 0 12838 0
vsize: 52556
[startup+280.005 s]
Raw data (loadavg): 0.99 0.60 0.41 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 11610 0 9 0 27877 59 0 0 25 0 1 0 964502585 54210560 10881 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13235 10881 301 301 0 12934 0
vsize: 52940
[startup+290.005 s]
Raw data (loadavg): 0.99 0.62 0.41 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 12039 0 9 0 28876 60 0 0 25 0 1 0 964502585 54345728 11310 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13268 11310 301 301 0 12967 0
vsize: 53072
[startup+300.006 s]
Raw data (loadavg): 0.99 0.63 0.42 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 12365 0 9 0 29875 62 0 0 25 0 1 0 964502585 55156736 11636 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13466 11636 301 301 0 13165 0
vsize: 53864
[startup+310.005 s]
Raw data (loadavg): 0.99 0.64 0.43 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 12471 0 9 0 30875 62 0 0 25 0 1 0 964502585 55291904 11742 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13499 11742 301 301 0 13198 0
vsize: 53996
[startup+320.005 s]
Raw data (loadavg): 0.99 0.65 0.43 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 12969 0 9 0 31873 64 0 0 25 0 1 0 964502585 56373248 12240 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13763 12240 301 301 0 13462 0
vsize: 55052
[startup+330.005 s]
Raw data (loadavg): 0.99 0.66 0.44 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 13153 0 9 0 32873 64 0 0 25 0 1 0 964502585 56778752 12424 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13862 12424 301 301 0 13561 0
vsize: 55448
[startup+340.005 s]
Raw data (loadavg): 0.99 0.67 0.44 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 13239 0 9 0 33872 65 0 0 25 0 1 0 964502585 57184256 12510 4294967295 134512640 135730672 3221224576 3221223088 134746221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13961 12510 301 301 0 13660 0
vsize: 55844
[startup+350.005 s]
Raw data (loadavg): 0.99 0.68 0.45 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14128 0 9 0 34869 68 0 0 25 0 1 0 964502585 60870656 12630 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14861 12630 301 301 0 14560 0
vsize: 59444
[startup+360.005 s]
Raw data (loadavg): 0.99 0.69 0.45 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14344 0 9 0 35868 70 0 0 25 0 1 0 964502585 61546496 12846 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15026 12846 301 301 0 14725 0
vsize: 60104
[startup+370.006 s]
Raw data (loadavg): 0.99 0.70 0.46 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14675 0 9 0 36867 71 0 0 25 0 1 0 964502585 62492672 13177 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15257 13177 301 301 0 14956 0
vsize: 61028
[startup+380.005 s]
Raw data (loadavg): 0.99 0.71 0.46 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14717 0 9 0 37866 72 0 0 25 0 1 0 964502585 62627840 13219 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15290 13219 301 301 0 14989 0
vsize: 61160
[startup+390.005 s]
Raw data (loadavg): 0.99 0.72 0.47 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14775 0 9 0 38865 73 0 0 25 0 1 0 964502585 62763008 13277 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15323 13277 301 301 0 15022 0
vsize: 61292
[startup+400.006 s]
Raw data (loadavg): 0.99 0.73 0.47 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14879 0 9 0 39864 74 0 0 25 0 1 0 964502585 63303680 13381 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15455 13381 301 301 0 15154 0
vsize: 61820
[startup+410.006 s]
Raw data (loadavg): 0.99 0.74 0.48 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14942 0 9 0 40863 75 0 0 25 0 1 0 964502585 63574016 13444 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15521 13444 301 301 0 15220 0
vsize: 62084
[startup+420.006 s]
Raw data (loadavg): 0.99 0.75 0.48 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 14998 0 9 0 41863 75 0 0 25 0 1 0 964502585 63709184 13500 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15554 13500 301 301 0 15253 0
vsize: 62216
[startup+430.007 s]
Raw data (loadavg): 0.99 0.75 0.49 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15078 0 9 0 42863 76 0 0 25 0 1 0 964502585 64114688 13580 4294967295 134512640 135730672 3221224576 3221223088 134746536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15653 13580 301 301 0 15352 0
vsize: 62612
[startup+440.007 s]
Raw data (loadavg): 0.99 0.76 0.49 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15454 0 9 0 43862 77 0 0 25 0 1 0 964502585 64925696 13956 4294967295 134512640 135730672 3221224576 3221222816 135282221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15851 13956 301 301 0 15550 0
vsize: 63404
[startup+450.007 s]
Raw data (loadavg): 0.99 0.77 0.50 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15793 0 9 0 44860 79 0 0 25 0 1 0 964502585 99155968 14295 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24208 14295 301 301 0 23907 0
vsize: 96832
[startup+460.006 s]
Raw data (loadavg): 0.99 0.78 0.50 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15868 0 9 0 45859 80 0 0 25 0 1 0 964502585 99561472 14370 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24307 14370 301 301 0 24006 0
vsize: 97228
[startup+470.007 s]
Raw data (loadavg): 0.99 0.78 0.51 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15922 0 9 0 46859 80 0 0 25 0 1 0 964502585 99831808 14424 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24373 14424 301 301 0 24072 0
vsize: 97492
[startup+480.007 s]
Raw data (loadavg): 0.99 0.79 0.51 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 15995 0 9 0 47859 81 0 0 25 0 1 0 964502585 100237312 14497 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24472 14497 301 301 0 24171 0
vsize: 97888
[startup+490.006 s]
Raw data (loadavg): 0.99 0.80 0.52 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16274 0 9 0 48858 82 0 0 25 0 1 0 964502585 100372480 14776 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24505 14776 301 301 0 24204 0
vsize: 98020
[startup+500.007 s]
Raw data (loadavg): 0.99 0.80 0.52 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16392 0 9 0 49857 83 0 0 25 0 1 0 964502585 100913152 14894 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24637 14894 301 301 0 24336 0
vsize: 98548
[startup+510.007 s]
Raw data (loadavg): 0.99 0.81 0.53 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16473 0 9 0 50856 84 0 0 25 0 1 0 964502585 101318656 14975 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24736 14975 301 301 0 24435 0
vsize: 98944
[startup+520.007 s]
Raw data (loadavg): 0.99 0.81 0.53 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16723 0 9 0 51855 85 0 0 25 0 1 0 964502585 102535168 15225 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25033 15225 301 301 0 24732 0
vsize: 100132
[startup+530.007 s]
Raw data (loadavg): 0.99 0.82 0.54 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16789 0 9 0 52855 86 0 0 25 0 1 0 964502585 102805504 15291 4294967295 134512640 135730672 3221224576 3221222488 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25099 15291 301 301 0 24798 0
vsize: 100396
[startup+540.007 s]
Raw data (loadavg): 0.99 0.83 0.54 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16850 0 9 0 53854 86 0 0 25 0 1 0 964502585 103075840 15352 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25165 15352 301 301 0 24864 0
vsize: 100660
[startup+550.007 s]
Raw data (loadavg): 0.99 0.83 0.55 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 16967 0 9 0 54854 87 0 0 25 0 1 0 964502585 103346176 15469 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25231 15469 301 301 0 24930 0
vsize: 100924
[startup+560.007 s]
Raw data (loadavg): 0.99 0.84 0.55 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17010 0 9 0 55854 87 0 0 25 0 1 0 964502585 103481344 15512 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25264 15512 301 301 0 24963 0
vsize: 101056
[startup+570.008 s]
Raw data (loadavg): 0.99 0.84 0.56 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17033 0 9 0 56854 88 0 0 25 0 1 0 964502585 103481344 15535 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25264 15535 301 301 0 24963 0
vsize: 101056
[startup+580.007 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17049 0 9 0 57853 88 0 0 25 0 1 0 964502585 103481344 15551 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25264 15551 301 301 0 24963 0
vsize: 101056
[startup+590.007 s]
Raw data (loadavg): 0.99 0.85 0.56 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17083 0 9 0 58853 89 0 0 25 0 1 0 964502585 103616512 15585 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25297 15585 301 301 0 24996 0
vsize: 101188
[startup+600.008 s]
Raw data (loadavg): 0.99 0.85 0.57 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17101 0 9 0 59852 89 0 0 25 0 1 0 964502585 103616512 15603 4294967295 134512640 135730672 3221224576 3221223184 134744775 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25297 15603 301 301 0 24996 0
vsize: 101188
[startup+610.008 s]
Raw data (loadavg): 0.99 0.86 0.57 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17116 0 9 0 60852 90 0 0 25 0 1 0 964502585 103616512 15618 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25297 15618 301 301 0 24996 0
vsize: 101188
[startup+620.008 s]
Raw data (loadavg): 0.99 0.86 0.58 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17149 0 9 0 61851 91 0 0 25 0 1 0 964502585 103751680 15651 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25330 15651 301 301 0 25029 0
vsize: 101320
[startup+630.008 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17205 0 9 0 62851 91 0 0 25 0 1 0 964502585 104022016 15707 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25396 15707 301 301 0 25095 0
vsize: 101584
[startup+640.008 s]
Raw data (loadavg): 0.99 0.87 0.58 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17244 0 9 0 63850 92 0 0 25 0 1 0 964502585 104157184 15746 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25429 15746 301 301 0 25128 0
vsize: 101716
[startup+650.008 s]
Raw data (loadavg): 0.99 0.87 0.59 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17271 0 9 0 64850 93 0 0 25 0 1 0 964502585 104157184 15773 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25429 15773 301 301 0 25128 0
vsize: 101716
[startup+660.007 s]
Raw data (loadavg): 0.99 0.88 0.59 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17336 0 9 0 65849 94 0 0 25 0 1 0 964502585 104562688 15838 4294967295 134512640 135730672 3221224576 3221222944 134762556 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25528 15838 301 301 0 25227 0
vsize: 102112
[startup+670.008 s]
Raw data (loadavg): 0.99 0.88 0.59 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17444 0 9 0 66848 94 0 0 25 0 1 0 964502585 104968192 15946 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25627 15946 301 301 0 25326 0
vsize: 102508
[startup+680.008 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17548 0 9 0 67848 95 0 0 25 0 1 0 964502585 104968192 16050 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25627 16050 301 301 0 25326 0
vsize: 102508
[startup+690.008 s]
Raw data (loadavg): 0.99 0.89 0.60 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17601 0 9 0 68848 96 0 0 25 0 1 0 964502585 105238528 16103 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25693 16103 301 301 0 25392 0
vsize: 102772
[startup+700.009 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17660 0 9 0 69847 96 0 0 25 0 1 0 964502585 105508864 16162 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25759 16162 301 301 0 25458 0
vsize: 103036
[startup+710.009 s]
Raw data (loadavg): 0.99 0.89 0.61 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17694 0 9 0 70847 97 0 0 25 0 1 0 964502585 105644032 16196 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25792 16196 301 301 0 25491 0
vsize: 103168
[startup+720.009 s]
Raw data (loadavg): 0.99 0.90 0.61 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17711 0 9 0 71846 97 0 0 25 0 1 0 964502585 105644032 16213 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25792 16213 301 301 0 25491 0
vsize: 103168
[startup+730.009 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17745 0 9 0 72846 98 0 0 25 0 1 0 964502585 105779200 16247 4294967295 134512640 135730672 3221224576 3221223200 134783250 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25825 16247 301 301 0 25524 0
vsize: 103300
[startup+740.009 s]
Raw data (loadavg): 0.99 0.90 0.62 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17761 0 9 0 73845 99 0 0 25 0 1 0 964502585 105779200 16263 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25825 16263 301 301 0 25524 0
vsize: 103300
[startup+750.009 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17775 0 9 0 74845 99 0 0 25 0 1 0 964502585 105779200 16277 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25825 16277 301 301 0 25524 0
vsize: 103300
[startup+760.008 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17825 0 9 0 75844 100 0 0 25 0 1 0 964502585 106049536 16327 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25891 16327 301 301 0 25590 0
vsize: 103564
[startup+770.009 s]
Raw data (loadavg): 0.99 0.91 0.63 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17846 0 9 0 76843 101 0 0 25 0 1 0 964502585 106049536 16348 4294967295 134512640 135730672 3221224576 3221223088 134746217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25891 16348 301 301 0 25590 0
vsize: 103564
[startup+780.01 s]
Raw data (loadavg): 0.99 0.91 0.64 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17861 0 9 0 77843 102 0 0 25 0 1 0 964502585 106049536 16363 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25891 16363 301 301 0 25590 0
vsize: 103564
[startup+790.009 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17882 0 9 0 78843 102 0 0 25 0 1 0 964502585 106049536 16384 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25891 16384 301 301 0 25590 0
vsize: 103564
[startup+800.01 s]
Raw data (loadavg): 0.99 0.92 0.64 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17931 0 9 0 79842 103 0 0 25 0 1 0 964502585 106319872 16433 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25957 16433 301 301 0 25656 0
vsize: 103828
[startup+810.009 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17949 0 9 0 80842 104 0 0 25 0 1 0 964502585 106319872 16451 4294967295 134512640 135730672 3221224576 3221223088 134745798 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25957 16451 301 301 0 25656 0
vsize: 103828
[startup+820.009 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 17989 0 9 0 81841 104 0 0 25 0 1 0 964502585 106455040 16491 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25990 16491 301 301 0 25689 0
vsize: 103960
[startup+830.009 s]
Raw data (loadavg): 0.99 0.92 0.65 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 18055 0 9 0 82841 105 0 0 25 0 1 0 964502585 106860544 16557 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26089 16557 301 301 0 25788 0
vsize: 104356
[startup+840.01 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 18094 0 9 0 83840 106 0 0 25 0 1 0 964502585 106995712 16596 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26122 16596 301 301 0 25821 0
vsize: 104488
[startup+850.01 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 18135 0 9 0 84839 107 0 0 25 0 1 0 964502585 106995712 16637 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26122 16637 301 301 0 25821 0
vsize: 104488
[startup+860.009 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 18244 0 9 0 85839 108 0 0 25 0 1 0 964502585 106995712 16746 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26122 16746 301 301 0 25821 0
vsize: 104488
[startup+870.01 s]
Raw data (loadavg): 0.99 0.93 0.66 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19795 0 9 0 86835 111 0 0 25 0 1 0 964502585 113287168 16760 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27658 16760 301 301 0 27357 0
vsize: 110632
[startup+880.01 s]
Raw data (loadavg): 0.99 0.93 0.67 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19830 0 9 0 87835 112 0 0 25 0 1 0 964502585 113422336 16795 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27691 16795 301 301 0 27390 0
vsize: 110764
[startup+890.009 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19846 0 9 0 88834 113 0 0 25 0 1 0 964502585 113422336 16811 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27691 16811 301 301 0 27390 0
vsize: 110764
[startup+900.01 s]
Raw data (loadavg): 0.99 0.94 0.67 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19864 0 9 0 89834 113 0 0 25 0 1 0 964502585 113422336 16829 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27691 16829 301 301 0 27390 0
vsize: 110764
[startup+910.01 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19883 0 9 0 90833 114 0 0 25 0 1 0 964502585 113422336 16848 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27691 16848 301 301 0 27390 0
vsize: 110764
[startup+920.01 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19939 0 9 0 91833 114 0 0 25 0 1 0 964502585 113692672 16904 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27757 16904 301 301 0 27456 0
vsize: 111028
[startup+930.011 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19981 0 9 0 92832 115 0 0 25 0 1 0 964502585 113827840 16946 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27790 16946 301 301 0 27489 0
vsize: 111160
[startup+940.011 s]
Raw data (loadavg): 0.99 0.94 0.68 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 19997 0 9 0 93831 116 0 0 25 0 1 0 964502585 113827840 16962 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27790 16962 301 301 0 27489 0
vsize: 111160
[startup+950.012 s]
Raw data (loadavg): 0.99 0.94 0.69 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20020 0 9 0 94831 117 0 0 25 0 1 0 964502585 113827840 16985 4294967295 134512640 135730672 3221224576 3221222896 134732879 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27790 16985 301 301 0 27489 0
vsize: 111160
[startup+960.012 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20193 0 9 0 95829 119 0 0 25 0 1 0 964502585 113963008 17158 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17158 301 301 0 27522 0
vsize: 111292
[startup+970.013 s]
Raw data (loadavg): 0.99 0.95 0.69 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20213 0 9 0 96829 119 0 0 25 0 1 0 964502585 113963008 17178 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17178 301 301 0 27522 0
vsize: 111292
[startup+980.012 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20228 0 9 0 97829 120 0 0 25 0 1 0 964502585 113963008 17193 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17193 301 301 0 27522 0
vsize: 111292
[startup+990.012 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20249 0 9 0 98828 121 0 0 25 0 1 0 964502585 113963008 17214 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17214 301 301 0 27522 0
vsize: 111292
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20264 0 9 0 99828 121 0 0 25 0 1 0 964502585 113963008 17229 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17229 301 301 0 27522 0
vsize: 111292
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.95 0.70 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20285 0 9 0 100827 122 0 0 25 0 1 0 964502585 113963008 17250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17250 301 301 0 27522 0
vsize: 111292
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20300 0 9 0 101827 122 0 0 25 0 1 0 964502585 113963008 17265 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17265 301 301 0 27522 0
vsize: 111292
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20314 0 9 0 102826 123 0 0 25 0 1 0 964502585 113963008 17279 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 17279 301 301 0 27522 0
vsize: 111292
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.95 0.71 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20347 0 9 0 103826 124 0 0 25 0 1 0 964502585 114098176 17312 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17312 301 301 0 27555 0
vsize: 111424
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20361 0 9 0 104825 124 0 0 25 0 1 0 964502585 114098176 17326 4294967295 134512640 135730672 3221224576 3221223200 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17326 301 301 0 27555 0
vsize: 111424
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.95 0.72 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20379 0 9 0 105825 125 0 0 25 0 1 0 964502585 114098176 17344 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17344 301 301 0 27555 0
vsize: 111424
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20408 0 9 0 106824 126 0 0 25 0 1 0 964502585 114098176 17373 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17373 301 301 0 27555 0
vsize: 111424
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20425 0 9 0 107824 127 0 0 25 0 1 0 964502585 114098176 17390 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17390 301 301 0 27555 0
vsize: 111424
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20442 0 9 0 108823 127 0 0 25 0 1 0 964502585 114098176 17407 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27856 17407 301 301 0 27555 0
vsize: 111424
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20568 0 9 0 109823 128 0 0 25 0 1 0 964502585 114233344 17533 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27889 17533 301 301 0 27588 0
vsize: 111556
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20582 0 9 0 110822 129 0 0 25 0 1 0 964502585 114233344 17547 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27889 17547 301 301 0 27588 0
vsize: 111556
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20617 0 9 0 111822 129 0 0 25 0 1 0 964502585 114368512 17582 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27922 17582 301 301 0 27621 0
vsize: 111688
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20632 0 9 0 112821 130 0 0 25 0 1 0 964502585 114368512 17597 4294967295 134512640 135730672 3221224576 3221223088 134746216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27922 17597 301 301 0 27621 0
vsize: 111688
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20648 0 9 0 113821 131 0 0 25 0 1 0 964502585 114368512 17613 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27922 17613 301 301 0 27621 0
vsize: 111688
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20662 0 9 0 114820 131 0 0 25 0 1 0 964502585 114368512 17627 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27922 17627 301 301 0 27621 0
vsize: 111688
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20678 0 9 0 115820 132 0 0 25 0 1 0 964502585 114368512 17643 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27922 17643 301 301 0 27621 0
vsize: 111688
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20713 0 9 0 116820 132 0 0 25 0 1 0 964502585 114503680 17678 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27955 17678 301 301 0 27654 0
vsize: 111820
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20728 0 9 0 117819 133 0 0 25 0 1 0 964502585 114503680 17693 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27955 17693 301 301 0 27654 0
vsize: 111820
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20742 0 9 0 118819 133 0 0 25 0 1 0 964502585 114503680 17707 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27955 17707 301 301 0 27654 0
vsize: 111820
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20758 0 9 0 119819 134 0 0 25 0 1 0 964502585 114503680 17723 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27955 17723 301 301 0 27654 0
vsize: 111820
[startup+1210.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 28240
Raw data (stat): 28238 (pb2sat-v2) R 28237 31399 31398 0 -1 0 20772 0 9 0 120818 134 0 0 25 0 1 0 964502585 114503680 17737 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27955 17737 301 301 0 27654 0
vsize: 111820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.22 s]
Raw data (loadavg): 0.99 0.97 0.75 1/54 28240
Raw data (stat): 28238 (pb2sat-v2) Z 28237 31399 31398 0 -1 12 20774 0 9 0 120835 138 0 0 25 0 1 0 964502585 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1210.22
CPU time (s): 1209.74
CPU user time (s): 1208.35
CPU system time (s): 1.38779
CPU usage (%): 99.9605
Max. virtual memory (Kb): 111820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####