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-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 41897

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        735648 kB
Buffers:         33268 kB
Cached:         243976 kB
SwapCached:        944 kB
Active:          53168 kB
Inactive:       226152 kB
HighTotal:      131008 kB
HighFree:        10724 kB
LowTotal:       903652 kB
LowFree:        724924 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13888 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:52:20 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 25113 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2730/8260	Time: 49.6894/86400
c Decision: 2730/8260	Time: 51.3612/86400
c Decision: 2730/8260	Time: 53.1489/86400
c Decision: 2730/8260	Time: 54.8537/86400
c Decision: 2730/8260	Time: 56.4984/86400
c Decision: 2730/8260	Time: 58.5091/86400
c Decision: 2730/8260	Time: 60.3798/86400
c Decision: 2730/8260	Time: 62.4125/86400
c Decision: 2730/8260	Time: 65.796/86400
c Decision: 2730/8260	Time: 67.3528/86400
c Decision: 2730/8260	Time: 68.9895/86400
c Decision: 2730/8260	Time: 70.3313/86400
c Decision: 2730/8260	Time: 71.6441/86400
c Decision: 2730/8260	Time: 73.1879/86400
c Decision: 2730/8260	Time: 74.7526/86400
c Decision: 2730/8260	Time: 76.2424/86400
c Decision: 2730/8260	Time: 77.9471/86400
c Decision: 2730/8260	Time: 79.5269/86400
c Decision: 2730/8260	Time: 81.1547/86400
c Decision: 2730/8260	Time: 82.7704/86400
c Decision: 2730/8260	Time: 84.5781/86400
c Decision: 2730/8260	Time: 86.3819/86400
c Decision: 2730/8260	Time: 88.1106/86400
c Decision: 2730/8260	Time: 89.8773/86400
c Decision: 2730/8260	Time: 91.6861/86400
c Decision: 2730/8260	Time: 93.6448/86400
c Decision: 2730/8260	Time: 95.5125/86400
c Decision: 2730/8260	Time: 97.2792/86400
c Decision: 2730/8260	Time: 99.2279/86400
c Decision: 2730/8260	Time: 101.17/86400
c Decision: 2730/8260	Time: 103.543/86400
c Decision: 2730/8260	Time: 105.414/86400
c Decision: 2730/8260	Time: 107.401/86400
c Decision: 2730/8260	Time: 109.368/86400
c Decision: 2730/8260	Time: 111.313/86400
c Decision: 2730/8260	Time: 113.582/86400
c Decision: 2730/8260	Time: 115.571/86400
c Decision: 2730/8260	Time: 117.744/86400
c Decision: 2730/8260	Time: 119.643/86400
c Decision: 2730/8260	Time: 121.695/86400
c Decision: 2730/8260	Time: 124.032/86400
c Decision: 2730/8260	Time: 126.061/86400
c Decision: 2730/8260	Time: 128.147/86400
c Decision: 2730/8260	Time: 130.343/86400
c Decision: 2730/8260	Time: 132.613/86400
c Decision: 2730/8260	Time: 135.062/86400
c Decision: 2730/8260	Time: 137.248/86400
c Decision: 2730/8260	Time: 143.665/86400
c Decision: 2730/8260	Time: 145.15/86400
c Decision: 2730/8260	Time: 146.707/86400
c Decision: 2730/8260	Time: 148.525/86400
c Decision: 2730/8260	Time: 149.989/86400
c Decision: 2730/8260	Time: 151.551/86400
c Decision: 2730/8260	Time: 153.014/86400
c Decision: 2730/8260	Time: 154.535/86400
c Decision: 2730/8260	Time: 156.297/86400
c Decision: 2730/8260	Time: 157.833/86400
c Decision: 2730/8260	Time: 159.37/86400
c Decision: 2730/8260	Time: 161.002/86400
c Decision: 2730/8260	Time: 162.84/86400
c Decision: 2730/8260	Time: 164.619/86400
c Decision: 2730/8260	Time: 166.285/86400
c Decision: 2730/8260	Time: 168.058/86400
c Decision: 2730/8260	Time: 169.814/86400
c Decision: 2730/8260	Time: 171.554/86400
c Decision: 2730/8260	Time: 173.601/86400
c Decision: 2730/8260	Time: 175.516/86400
c Decision: 2730/8260	Time: 177.318/86400
c Decision: 2730/8260	Time: 179.19/86400
c Decision: 2730/8260	Time: 181.193/86400
c Decision: 2730/8260	Time: 183.475/86400
c Decision: 2730/8260	Time: 185.399/86400
c Decision: 2730/8260	Time: 187.474/86400
c Decision: 2730/8260	Time: 189.523/86400
c Decision: 2730/8260	Time: 191.602/86400
c Decision: 2730/8260	Time: 194.086/86400
c Decision: 2730/8260	Time: 196.218/86400
c Decision: 2730/8260	Time: 198.314/86400
c Decision: 2730/8260	Time: 200.467/86400
c Decision: 2730/8260	Time: 202.651/86400
c Decision: 2730/8260	Time: 205.133/86400
c Decision: 2730/8260	Time: 207.299/86400
c Decision: 2730/8260	Time: 209.49/86400
c Decision: 2730/8260	Time: 211.598/86400
c Decision: 2730/8260	Time: 213.762/86400
c Decision: 2730/8260	Time: 216.726/86400
c Decision: 2730/8260	Time: 218.97/86400
c Decision: 2730/8260	Time: 221.215/86400
c Decision: 2730/8260	Time: 231.161/86400
c Decision: 2730/8260	Time: 232.602/86400
c Decision: 2730/8260	Time: 234.446/86400
c Decision: 2730/8260	Time: 235.976/86400
c Decision: 2730/8260	Time: 237.485/86400
c Decision: 2730/8260	Time: 239.052/86400
c Decision: 2730/8260	Time: 240.528/86400
c Decision: 2730/8260	Time: 242.111/86400
c Decision: 2730/8260	Time: 243.699/86400
c Decision: 2730/8260	Time: 245.367/86400
c Decision: 2730/8260	Time: 246.862/86400
c Decision: 2730/8260	Time: 248.588/86400
c Decision: 2730/8260	Time: 250.607/86400
c Decision: 2730/8260	Time: 252.338/86400
c Decision: 2730/8260	Time: 254.031/86400
c Decision: 2730/8260	Time: 255.753/86400
c Decision: 2730/8260	Time: 257.508/86400
c Decision: 2730/8260	Time: 259.426/86400
c Decision: 2730/8260	Time: 261.292/86400
c Decision: 2730/8260	Time: 263.062/86400
c Decision: 2730/8260	Time: 264.886/86400
c Decision: 2730/8260	Time: 266.776/86400
c Decision: 2730/8260	Time: 268.83/86400
c Decision: 2730/8260	Time: 270.688/86400
c Decision: 2730/8260	Time: 272.689/86400
c Decision: 2730/8260	Time: 274.77/86400
c Decision: 2730/8260	Time: 278.855/86400
c Decision: 2730/8260	Time: 280.73/86400
c Decision: 2730/8260	Time: 282.091/86400
c Decision: 2730/8260	Time: 283.663/86400
c Decision: 2730/8260	Time: 285.172/86400
c Decision: 2730/8260	Time: 286.662/86400
c Decision: 2730/8260	Time: 288.224/86400
c Decision: 2730/8260	Time: 289.774/86400
c Decision: 2730/8260	Time: 291.35/86400
c Decision: 2730/8260	Time: 292.893/86400
c Decision: 2730/8260	Time: 294.466/86400
c Decision: 2730/8260	Time: 296.265/86400
c Decision: 2730/8260	Time: 297.926/86400
c Decision: 2730/8260	Time: 299.463/86400
c Decision: 2730/8260	Time: 301.092/86400
c Decision: 2730/8260	Time: 302.785/86400
c Decision: 2730/8260	Time: 304.622/86400
c Decision: 2730/8260	Time: 306.309/86400
c Decision: 2730/8260	Time: 307.927/86400
c Decision: 2730/8260	Time: 309.598/86400
c Decision: 2730/8260	Time: 311.304/86400
c Decision: 2730/8260	Time: 313.296/86400
c Decision: 2730/8260	Time: 314.939/86400
c Decision: 2730/8260	Time: 316.928/86400
c Decision: 2730/8260	Time: 318.781/86400
c Decision: 2730/8260	Time: 320.503/86400
c Decision: 2730/8260	Time: 322.655/86400
c Decision: 2730/8260	Time: 324.49/86400
c Decision: 2730/8260	Time: 326.44/86400
c Decision: 2730/8260	Time: 328.522/86400
c Decision: 2730/8260	Time: 330.42/86400
c Decision: 2730/8260	Time: 332.731/86400
c Decision: 2730/8260	Time: 334.753/86400
c Decision: 2730/8260	Time: 336.76/86400
c Decision: 2730/8260	Time: 338.903/86400
c Decision: 2730/8260	Time: 340.823/86400
c Decision: 2730/8260	Time: 343.258/86400
c Decision: 2730/8260	Time: 345.29/86400
c Decision: 2730/8260	Time: 347.325/86400
c Decision: 2730/8260	Time: 349.52/86400
c Decision: 2730/8260	Time: 351.712/86400
c Decision: 2730/8260	Time: 354.17/86400
c Decision: 2730/8260	Time: 356.573/86400
c Decision: 2730/8260	Time: 358.853/86400
c Decision: 2730/8260	Time: 360.993/86400
c Decision: 2730/8260	Time: 363.137/86400
c Decision: 2730/8260	Time: 365.734/86400
c Decision: 2730/8260	Time: 368.512/86400
c Decision: 2730/8260	Time: 370.288/86400
c Decision: 2730/8260	Time: 372.227/86400
c Decision: 2730/8260	Time: 374.199/86400
c Decision: 2730/8260	Time: 376.363/86400
c Decision: 2730/8260	Time: 378.218/86400
c Decision: 2730/8260	Time: 380.359/86400
c Decision: 2730/8260	Time: 382.214/86400
c Decision: 2730/8260	Time: 384.06/86400
c Decision: 2730/8260	Time: 385.971/86400
c Decision: 2730/8260	Time: 387.945/86400
c Decision: 2730/8260	Time: 389.843/86400
c Decision: 2730/8260	Time: 391.682/86400
c Decision: 2730/8260	Time: 393.556/86400
c Decision: 2730/8260	Time: 395.725/86400
c Decision: 2730/8260	Time: 397.669/86400
c Decision: 2730/8260	Time: 399.656/86400
c Decision: 2730/8260	Time: 401.605/86400
c Decision: 2730/8260	Time: 403.473/86400
c Decision: 2730/8260	Time: 405.935/86400
c Decision: 2730/8260	Time: 407.975/86400
c Decision: 2730/8260	Time: 410.14/86400
c Decision: 2730/8260	Time: 412.187/86400
c Decision: 2730/8260	Time: 414.264/86400
c Decision: 2730/8260	Time: 416.66/86400
c Decision: 2730/8260	Time: 418.884/86400
c Decision: 2730/8260	Time: 421.035/86400
c Decision: 2730/8260	Time: 423.249/86400
c Decision: 2730/8260	Time: 425.469/86400
c Decision: 2730/8260	Time: 428.168/86400
c Decision: 2730/8260	Time: 430.355/86400
c Decision: 2730/8260	Time: 432.674/86400
c Decision: 2730/8260	Time: 435.032/86400
c Decision: 2730/8260	Time: 437.426/86400
c Decision: 2730/8260	Time: 440.082/86400
c Decision: 2730/8260	Time: 442.426/86400
c Decision: 2730/8260	Time: 444.732/86400
c Decision: 2730/8260	Time: 447.055/86400
c Decision: 2730/8260	Time: 449.396/86400
c Decision: 2730/8260	Time: 452.002/86400
c Decision: 2730/8260	Time: 454.124/86400
c Decision: 2730/8260	Time: 456.422/86400
c Decision: 2730/8260	Time: 458.685/86400
c Decision: 2730/8260	Time: 460.994/86400
c Decision: 2730/8260	Time: 463.766/86400
c Decision: 2730/8260	Time: 466.079/86400
c Decision: 2730/8260	Time: 468.51/86400
c Decision: 2730/8260	Time: 470.971/86400
c Decision: 2730/8260	Time: 473.39/86400
c Decision: 2730/8260	Time: 476.184/86400
c Decision: 2730/8260	Time: 478.44/86400
c Decision: 2730/8260	Time: 480.794/86400
c Decision: 2730/8260	Time: 483.237/86400
c Decision: 2730/8260	Time: 485.665/86400
c Decision: 2730/8260	Time: 488.414/86400
c Decision: 2730/8260	Time: 490.827/86400
c Decision: 2730/8260	Time: 493.311/86400
c Decision: 2730/8260	Time: 495.742/86400
c Decision: 2730/8260	Time: 502.017/86400
c Decision: 2730/8260	Time: 503.772/86400
c Decision: 2730/8260	Time: 505.31/86400
c Decision: 2730/8260	Time: 506.908/86400
c Decision: 2730/8260	Time: 508.628/86400
c Decision: 2730/8260	Time: 510.375/86400
c Decision: 2730/8260	Time: 512.045/86400
c Decision: 2730/8260	Time: 513.997/86400
c Decision: 2730/8260	Time: 515.58/86400
c Decision: 2730/8260	Time: 517.204/86400
c Decision: 2730/8260	Time: 518.912/86400
c Decision: 2730/8260	Time: 520.68/86400
c Decision: 2730/8260	Time: 522.108/86400
c Decision: 2730/8260	Time: 523.856/86400
c Decision: 2730/8260	Time: 525.417/86400
c Decision: 2730/8260	Time: 527.112/86400
c Decision: 2730/8260	Time: 528.901/86400
c Decision: 2730/8260	Time: 530.555/86400
c Decision: 2730/8260	Time: 532.174/86400
c Decision: 2730/8260	Time: 533.8/86400
c Decision: 2730/8260	Time: 535.578/86400
c Decision: 2730/8260	Time: 537.576/86400
c Decision: 2730/8260	Time: 539.366/86400
c Decision: 2730/8260	Time: 541.247/86400
c Decision: 2730/8260	Time: 543.068/86400
c Decision: 2730/8260	Time: 544.804/86400
c Decision: 2730/8260	Time: 546.858/86400
c Decision: 2730/8260	Time: 548.668/86400
c Decision: 2730/8260	Time: 550.435/86400
c Decision: 2730/8260	Time: 552.209/86400
c Decision: 2730/8260	Time: 554.051/86400
c Decision: 2730/8260	Time: 556.198/86400
c Decision: 2730/8260	Time: 558.092/86400
c Decision: 2730/8260	Time: 559.889/86400
c Decision: 2730/8260	Time: 561.794/86400
c Decision: 2730/8260	Time: 563.67/86400
c Decision: 2730/8260	Time: 565.879/86400
c Decision: 2730/8260	Time: 567.817/86400
c Decision: 2730/8260	Time: 569.778/86400
c Decision: 2730/8260	Time: 571.812/86400
c Decision: 2730/8260	Time: 573.881/86400
c Decision: 2730/8260	Time: 576.262/86400
c Decision: 2730/8260	Time: 578.257/86400
c Decision: 2730/8260	Time: 580.349/86400
c Decision: 2730/8260	Time: 582.415/86400
c Decision: 2730/8260	Time: 584.5/86400
c Decision: 2730/8260	Time: 586.978/86400
c Decision: 2730/8260	Time: 589.067/86400
c Decision: 2730/8260	Time: 591.194/86400
c Decision: 2730/8260	Time: 593.299/86400
c Decision: 2730/8260	Time: 595.569/86400
c Decision: 2730/8260	Time: 598.22/86400
c Decision: 2730/8260	Time: 600.453/86400
c Decision: 2730/8260	Time: 602.768/86400
c Decision: 2730/8260	Time: 605.13/86400
c Decision: 2730/8260	Time: 607.521/86400
c Decision: 2730/8260	Time: 610.297/86400
c Decision: 2730/8260	Time: 612.592/86400
c Decision: 2730/8260	Time: 614.915/86400
c Decision: 2730/8260	Time: 617.214/86400
c Decision: 2730/8260	Time: 619.525/86400
c Decision: 2730/8260	Time: 622.421/86400
c Decision: 2730/8260	Time: 624.929/86400
c Decision: 2730/8260	Time: 627.288/86400
c Decision: 2730/8260	Time: 629.675/86400
c Decision: 2730/8260	Time: 632.195/86400
c Decision: 2730/8260	Time: 635.105/86400
c Decision: 2730/8260	Time: 637.595/86400
c Decision: 2730/8260	Time: 640.187/86400
c Decision: 2730/8260	Time: 642.808/86400
c Decision: 2730/8260	Time: 645.341/86400
c Decision: 2730/8260	Time: 648.638/86400
c Decision: 2730/8260	Time: 651.159/86400
c Decision: 2730/8260	Time: 653.731/86400
c Decision: 2730/8260	Time: 656.549/86400
c Decision: 2730/8260	Time: 659.132/86400
c Decision: 2730/8260	Time: 662.374/86400
c Decision: 2730/8260	Time: 665.108/86400
c Decision: 2730/8260	Time: 667.772/86400
c Decision: 2730/8260	Time: 670.332/86400
c Decision: 2730/8260	Time: 672.97/86400
c Decision: 2730/8260	Time: 676.131/86400
c Decision: 2730/8260	Time: 678.78/86400
c Decision: 2730/8260	Time: 681.338/86400
c Decision: 2730/8260	Time: 683.921/86400
c Decision: 2730/8260	Time: 686.52/86400
c Decision: 2730/8260	Time: 689.712/86400
c Decision: 2730/8260	Time: 692.475/86400
c Decision: 2730/8260	Time: 695.041/86400
c Decision: 2730/8260	Time: 697.559/86400
c Decision: 2730/8260	Time: 700.134/86400
c Decision: 2730/8260	Time: 703.546/86400
c Decision: 2730/8260	Time: 706.23/86400
c Decision: 2730/8260	Time: 709.004/86400
c Decision: 2730/8260	Time: 711.789/86400
c Decision: 2730/8260	Time: 714.601/86400
c Decision: 2730/8260	Time: 717.926/86400
c Decision: 2730/8260	Time: 720.563/86400
c Decision: 2730/8260	Time: 723.195/86400
c Decision: 2730/8260	Time: 725.824/86400
c Decision: 2730/8260	Time: 728.436/86400
c Decision: 2730/8260	Time: 731.637/86400
c Decision: 2730/8260	Time: 734.323/86400
c Decision: 2730/8260	Time: 737.147/86400
c Decision: 2730/8260	Time: 739.968/86400
c Decision: 2730/8260	Time: 742.577/86400
c Decision: 2730/8260	Time: 746.052/86400
c Decision: 2730/8260	Time: 748.696/86400
c Decision: 2730/8260	Time: 751.509/86400
c Decision: 2730/8260	Time: 754.263/86400
c Decision: 2730/8260	Time: 757.052/86400
c Decision: 2730/8260	Time: 760.232/86400
c Decision: 2730/8260	Time: 763.096/86400
c Decision: 2730/8260	Time: 765.908/86400
c Decision: 2730/8260	Time: 768.693/86400
c Decision: 2730/8260	Time: 771.479/86400
c Decision: 2730/8260	Time: 774.832/86400
c Decision: 2730/8260	Time: 777.549/86400
c Decision: 2730/8260	Time: 779.998/86400
c Decision: 2730/8260	Time: 782.901/86400
c Decision: 2730/8260	Time: 785.747/86400
c Decision: 2730/8260	Time: 789.601/86400
c Decision: 2730/8260	Time: 792.48/86400
c Decision: 2730/8260	Time: 795.472/86400
c Decision: 2730/8260	Time: 798.243/86400
c Decision: 2730/8260	Time: 801.022/86400
c Decision: 2730/8260	Time: 804.409/86400
c Decision: 2730/8260	Time: 807.052/86400
c Decision: 2730/8260	Time: 809.855/86400
c Decision: 2730/8260	Time: 812.672/86400
c Decision: 2730/8260	Time: 815.641/86400
c Decision: 2730/8260	Time: 818.982/86400
c Decision: 2730/8260	Time: 821.854/86400
c Decision: 2730/8260	Time: 824.641/86400
c Decision: 2730/8260	Time: 827.572/86400
c Decision: 2730/8260	Time: 830.587/86400
c Decision: 2730/8260	Time: 834.185/86400
c Decision: 2730/8260	Time: 837.017/86400
c Decision: 2730/8260	Time: 839.954/86400
c Decision: 2730/8260	Time: 842.829/86400
c Decision: 2730/8260	Time: 845.81/86400
c Decision: 2730/8260	Time: 849.479/86400
c Decision: 2730/8260	Time: 852.428/86400
c Decision: 2730/8260	Time: 855.381/86400
c Decision: 2730/8260	Time: 858.41/86400
c Decision: 2730/8260	Time: 861.267/86400
c Decision: 2730/8260	Time: 865.055/86400
c Decision: 2730/8260	Time: 867.972/86400
c Decision: 2730/8260	Time: 870.978/86400
c Decision: 2730/8260	Time: 873.904/86400
c Decision: 2730/8260	Time: 876.999/86400
c Decision: 2730/8260	Time: 880.838/86400
c Decision: 2730/8260	Time: 883.754/86400
c Decision: 2730/8260	Time: 886.523/86400
c Decision: 2730/8260	Time: 889.423/86400
c Decision: 2730/8260	Time: 892.427/86400
c Decision: 2730/8260	Time: 896.093/86400
c Decision: 2730/8260	Time: 898.978/86400
c Decision: 2730/8260	Time: 901.934/86400
c Decision: 2730/8260	Time: 904.933/86400
c Decision: 2730/8260	Time: 908.082/86400
c Decision: 2730/8260	Time: 911.749/86400
c Decision: 2730/8260	Time: 914.768/86400
c Decision: 2730/8260	Time: 917.826/86400
c Decision: 2730/8260	Time: 920.712/86400
c Decision: 2730/8260	Time: 923.769/86400
c Decision: 2730/8260	Time: 928.391/86400
c Decision: 2730/8260	Time: 930.501/86400
c Decision: 2730/8260	Time: 932.168/86400
c Decision: 2730/8260	Time: 933.909/86400
c Decision: 2730/8260	Time: 936.145/86400
c Decision: 2730/8260	Time: 937.862/86400
c Decision: 2730/8260	Time: 939.572/86400
c Decision: 2730/8260	Time: 941.284/86400
c Decision: 2730/8260	Time: 943.946/86400
c Decision: 2730/8260	Time: 945.51/86400
c Decision: 2730/8260	Time: 947.254/86400
c Decision: 2730/8260	Time: 948.894/86400
c Decision: 2730/8260	Time: 950.246/86400
c Decision: 2730/8260	Time: 951.745/86400
c Decision: 2730/8260	Time: 953.204/86400
c Decision: 2730/8260	Time: 955.427/86400
c Decision: 2730/8260	Time: 957.205/86400
c Decision: 2730/8260	Time: 958.75/86400
c Decision: 2730/8260	Time: 960.369/86400
c Decision: 2730/8260	Time: 963.607/86400
c Decision: 2730/8260	Time: 965.213/86400
c Decision: 2730/8260	Time: 967.026/86400
c Decision: 2730/8260	Time: 968.634/86400
c Decision: 2730/8260	Time: 969.974/86400
c Decision: 2730/8260	Time: 971.561/86400
c Decision: 2730/8260	Time: 973.099/86400
c Decision: 2730/8260	Time: 974.644/86400
c Decision: 2730/8260	Time: 976.436/86400
c Decision: 2730/8260	Time: 977.752/86400
c Decision: 2730/8260	Time: 979.316/86400
c Decision: 2730/8260	Time: 980.736/86400
c Decision: 2730/8260	Time: 982.047/86400
c Decision: 2730/8260	Time: 983.851/86400
c Decision: 2730/8260	Time: 985.496/86400
c Decision: 2730/8260	Time: 987.071/86400
c Decision: 2730/8260	Time: 988.75/86400
c Decision: 2730/8260	Time: 990.342/86400
c Decision: 2730/8260	Time: 991.822/86400
c Decision: 2730/8260	Time: 993.255/86400
c Decision: 2730/8260	Time: 995.048/86400
c Decision: 2730/8260	Time: 996.937/86400
c Decision: 2730/8260	Time: 998.782/86400
c Decision: 2730/8260	Time: 1000.87/86400
c Decision: 2730/8260	Time: 1002.48/86400
c Decision: 2730/8260	Time: 1004.1/86400
c Decision: 2730/8260	Time: 1005.9/86400
c Decision: 2730/8260	Time: 1007.71/86400
c Decision: 2730/8260	Time: 1009.45/86400
c Decision: 2730/8260	Time: 1011.31/86400
c Decision: 2730/8260	Time: 1013.26/86400
c Decision: 2730/8260	Time: 1015.37/86400
c Decision: 2730/8260	Time: 1017.19/86400
c Decision: 2730/8260	Time: 1019.08/86400
c Decision: 2730/8260	Time: 1021.06/86400
c Decision: 2730/8260	Time: 1023/86400
c Decision: 2730/8260	Time: 1025.3/86400
c Decision: 2730/8260	Time: 1027.24/86400
c Decision: 2730/8260	Time: 1029.23/86400
c Decision: 2730/8260	Time: 1031.23/86400
c Decision: 2730/8260	Time: 1033.29/86400
c Decision: 2730/8260	Time: 1035.64/86400
c Decision: 2730/8260	Time: 1037.59/86400
c Decision: 2730/8260	Time: 1039.65/86400
c Decision: 2730/8260	Time: 1041.8/86400
c Decision: 2730/8260	Time: 1043.7/86400
c Decision: 2730/8260	Time: 1046.16/86400
c Decision: 2730/8260	Time: 1048.4/86400
c Decision: 2730/8260	Time: 1050.38/86400
c Decision: 2730/8260	Time: 1052.55/86400
c Decision: 2730/8260	Time: 1054.75/86400
c Decision: 2730/8260	Time: 1057.35/86400
c Decision: 2730/8260	Time: 1059.47/86400
c Decision: 2730/8260	Time: 1061.56/86400
c Decision: 2730/8260	Time: 1063.74/86400
c Decision: 2730/8260	Time: 1065.74/86400
c Decision: 2730/8260	Time: 1068.27/86400
c Decision: 2730/8260	Time: 1070.46/86400
c Decision: 2730/8260	Time: 1072.64/86400
c Decision: 2730/8260	Time: 1074.95/86400
c Decision: 2730/8260	Time: 1077.08/86400
c Decision: 2730/8260	Time: 1079.82/86400
c Decision: 2730/8260	Time: 1082.19/86400
c Decision: 2730/8260	Time: 1084.48/86400
c Decision: 2730/8260	Time: 1086.81/86400
c Decision: 2730/8260	Time: 1089.13/86400
c Decision: 2730/8260	Time: 1092.02/86400
c Decision: 2730/8260	Time: 1094.46/86400
c Decision: 2730/8260	Time: 1096.82/86400
c Decision: 2730/8260	Time: 1099.22/86400
c Decision: 2730/8260	Time: 1101.81/86400
c Decision: 2730/8260	Time: 1104.79/86400
c Decision: 2730/8260	Time: 1107.28/86400
c Decision: 2730/8260	Time: 1109.84/86400
c Decision: 2730/8260	Time: 1112.44/86400
c Decision: 2730/8260	Time: 1114.98/86400
c Decision: 2730/8260	Time: 1118.11/86400
c Decision: 2730/8260	Time: 1120.8/86400
c Decision: 2730/8260	Time: 1123.38/86400
c Decision: 2730/8260	Time: 1125.96/86400
c Decision: 2730/8260	Time: 1128.5/86400
c Decision: 2730/8260	Time: 1131.73/86400
c Decision: 2730/8260	Time: 1134.41/86400
c Decision: 2730/8260	Time: 1136.94/86400
c Decision: 2730/8260	Time: 1139.55/86400
c Decision: 2730/8260	Time: 1142.2/86400
c Decision: 2730/8260	Time: 1145.35/86400
c Decision: 2730/8260	Time: 1148.09/86400
c Decision: 2730/8260	Time: 1150.68/86400
c Decision: 2730/8260	Time: 1153.21/86400
c Decision: 2730/8260	Time: 1155.88/86400
c Decision: 2730/8260	Time: 1159.34/86400
c Decision: 2730/8260	Time: 1162.03/86400
c Decision: 2730/8260	Time: 1164.77/86400
c Decision: 2730/8260	Time: 1167.39/86400
c Decision: 2730/8260	Time: 1170.04/86400
c Decision: 2730/8260	Time: 1173.29/86400
c Decision: 2730/8260	Time: 1175.88/86400
c Decision: 2730/8260	Time: 1178.79/86400
c Decision: 2730/8260	Time: 1183.4/86400
c Decision: 2730/8260	Time: 1185.03/86400
c Decision: 2730/8260	Time: 1186.57/86400
c Decision: 2730/8260	Time: 1188.03/86400
c Decision: 2730/8260	Time: 1189.71/86400
c Decision: 2730/8260	Time: 1191.36/86400
c Decision: 2730/8260	Time: 1193.05/86400
c Decision: 2730/8260	Time: 1195.03/86400
c Decision: 2730/8260	Time: 1196.68/86400
c Decision: 2730/8260	Time: 1199.02/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.86 1/54 15222
Raw data (stat): 15222 (runsolver) R 15221 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964656888 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 2000 0 0 0 992 6 0 0 25 0 1 0 964656888 8859648 1580 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2163 1580 301 301 0 1862 0
vsize: 8652
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 2594 0 0 0 1991 7 0 0 25 0 1 0 964656888 13189120 2174 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3220 2174 301 301 0 2919 0
vsize: 12880
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 3054 0 0 0 2989 10 0 0 25 0 1 0 964656888 13336576 2634 4294967295 134512640 135730672 3221224576 3221223120 134740239 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3256 2634 301 301 0 2955 0
vsize: 13024
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 3442 0 0 0 3987 11 0 0 25 0 1 0 964656888 22003712 3022 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5372 3022 301 301 0 5071 0
vsize: 21488
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 4037 0 0 0 4985 14 0 0 25 0 1 0 964656888 22142976 3617 4294967295 134512640 135730672 3221224576 3221223184 134783169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5406 3617 301 301 0 5105 0
vsize: 21624
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 5053 0 0 0 5980 18 0 0 25 0 1 0 964656888 23318528 4633 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5693 4633 301 301 0 5392 0
vsize: 22772
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6056 0 0 0 6974 25 0 0 25 0 1 0 964656888 25321472 5443 4294967295 134512640 135730672 3221224576 3221222896 134732790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6182 5443 301 301 0 5881 0
vsize: 24728
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6146 0 0 0 7972 27 0 0 25 0 1 0 964656888 25579520 5533 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6245 5533 301 301 0 5944 0
vsize: 24980
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6309 0 0 0 8971 28 0 0 25 0 1 0 964656888 26152960 5696 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6385 5696 301 301 0 6084 0
vsize: 25540
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.87 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6573 0 0 0 9970 29 0 0 25 0 1 0 964656888 27148288 5960 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6628 5960 301 301 0 6327 0
vsize: 26512
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6769 0 0 0 10969 31 0 0 25 0 1 0 964656888 27922432 6156 4294967295 134512640 135730672 3221224576 3221223120 134740321 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6817 6156 301 301 0 6516 0
vsize: 27268
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 6950 0 0 0 11968 32 0 0 25 0 1 0 964656888 28504064 6337 4294967295 134512640 135730672 3221224576 3221223088 134746481 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6959 6337 301 301 0 6658 0
vsize: 27836
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 7621 0 0 0 12966 34 0 0 25 0 1 0 964656888 46297088 7008 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11303 7008 301 301 0 11002 0
vsize: 45212
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 8221 0 0 0 13962 38 0 0 25 0 1 0 964656888 47132672 7608 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11507 7608 301 301 0 11206 0
vsize: 46028
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 8581 0 0 0 14958 42 0 0 25 0 1 0 964656888 47214592 7968 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11527 7968 301 301 0 11226 0
vsize: 46108
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 8992 0 0 0 15956 44 0 0 25 0 1 0 964656888 48787456 7994 4294967295 134512640 135730672 3221224576 3221222764 135291077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11911 7994 301 301 0 11610 0
vsize: 47644
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9016 0 0 0 16956 44 0 0 25 0 1 0 964656888 48787456 8018 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11911 8018 301 301 0 11610 0
vsize: 47644
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9041 0 0 0 17955 45 0 0 25 0 1 0 964656888 48787456 8043 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11911 8043 301 301 0 11610 0
vsize: 47644
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9168 0 0 0 18955 46 0 0 25 0 1 0 964656888 49242112 8170 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12022 8170 301 301 0 11721 0
vsize: 48088
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9333 0 0 0 19953 47 0 0 25 0 1 0 964656888 49848320 8335 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12170 8335 301 301 0 11869 0
vsize: 48680
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9511 0 0 0 20953 48 0 0 25 0 1 0 964656888 50241536 8513 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12266 8513 301 301 0 11965 0
vsize: 49064
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9754 0 0 0 21951 50 0 0 25 0 1 0 964656888 50683904 8756 4294967295 134512640 135730672 3221224576 3221222788 134813642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12374 8756 301 301 0 12073 0
vsize: 49496
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 9956 0 0 0 22946 55 0 0 25 0 1 0 964656888 51101696 8958 4294967295 134512640 135730672 3221224576 3221223072 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12476 8958 301 301 0 12175 0
vsize: 49904
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10365 0 0 0 23944 57 0 0 25 0 1 0 964656888 51224576 9367 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12506 9367 301 301 0 12205 0
vsize: 50024
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10391 0 0 0 24943 58 0 0 25 0 1 0 964656888 51224576 9393 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12506 9393 301 301 0 12205 0
vsize: 50024
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10425 0 0 0 25942 60 0 0 25 0 1 0 964656888 51224576 9427 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12506 9427 301 301 0 12205 0
vsize: 50024
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10457 0 0 0 26941 61 0 0 25 0 1 0 964656888 51298304 9459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12524 9459 301 301 0 12223 0
vsize: 50096
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10578 0 0 0 27936 66 0 0 25 0 1 0 964656888 51703808 9580 4294967295 134512640 135730672 3221224576 3221222816 134786292 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12623 9580 301 301 0 12322 0
vsize: 50492
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10617 0 0 0 28933 69 0 0 25 0 1 0 964656888 51789824 9619 4294967295 134512640 135730672 3221224576 3221223120 134740168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12644 9619 301 301 0 12343 0
vsize: 50576
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10661 0 0 0 29932 70 0 0 25 0 1 0 964656888 51863552 9663 4294967295 134512640 135730672 3221224576 3221222960 134761598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12662 9663 301 301 0 12361 0
vsize: 50648
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10705 0 0 0 30931 71 0 0 25 0 1 0 964656888 51945472 9707 4294967295 134512640 135730672 3221224576 3221223184 134744788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12682 9707 301 301 0 12381 0
vsize: 50728
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10749 0 0 0 31930 72 0 0 25 0 1 0 964656888 52015104 9751 4294967295 134512640 135730672 3221224576 3221222896 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12699 9751 301 301 0 12398 0
vsize: 50796
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10794 0 0 0 32930 73 0 0 25 0 1 0 964656888 52080640 9796 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12715 9796 301 301 0 12414 0
vsize: 50860
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 10835 0 0 0 33929 75 0 0 25 0 1 0 964656888 52236288 9837 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12753 9837 301 301 0 12452 0
vsize: 51012
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 11665 0 0 0 34926 77 0 0 25 0 1 0 964656888 55603200 9898 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13575 9898 301 301 0 13274 0
vsize: 54300
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 11749 0 0 0 35925 78 0 0 25 0 1 0 964656888 55824384 9982 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 9982 301 301 0 13328 0
vsize: 54516
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 11908 0 0 0 36923 81 0 0 25 0 1 0 964656888 56373248 10141 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 10141 301 301 0 13462 0
vsize: 55052
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12148 0 0 0 37922 82 0 0 25 0 1 0 964656888 56373248 10381 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 10381 301 301 0 13462 0
vsize: 55052
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12173 0 0 0 38921 82 0 0 25 0 1 0 964656888 56442880 10406 4294967295 134512640 135730672 3221224576 3221222944 134787411 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13780 10406 301 301 0 13479 0
vsize: 55120
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12198 0 0 0 39921 83 0 0 25 0 1 0 964656888 56442880 10431 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13780 10431 301 301 0 13479 0
vsize: 55120
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12229 0 0 0 40920 84 0 0 25 0 1 0 964656888 56512512 10462 4294967295 134512640 135730672 3221224576 3221223184 134744739 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13797 10462 301 301 0 13496 0
vsize: 55188
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12271 0 0 0 41919 85 0 0 25 0 1 0 964656888 56586240 10504 4294967295 134512640 135730672 3221224576 3221223168 134763587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 10504 301 301 0 13514 0
vsize: 55260
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12325 0 0 0 42918 86 0 0 25 0 1 0 964656888 56758272 10558 4294967295 134512640 135730672 3221224576 3221223168 134763787 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13857 10558 301 301 0 13556 0
vsize: 55428
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12406 0 0 0 43917 87 0 0 25 0 1 0 964656888 57020416 10639 4294967295 134512640 135730672 3221224576 3221223088 134745882 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13921 10639 301 301 0 13620 0
vsize: 55684
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12471 0 0 0 44917 88 0 0 25 0 1 0 964656888 57167872 10704 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13957 10704 301 301 0 13656 0
vsize: 55828
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12544 0 0 0 45917 88 0 0 25 0 1 0 964656888 57339904 10777 4294967295 134512640 135730672 3221224576 3221222904 134814904 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13999 10777 301 301 0 13698 0
vsize: 55996
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 12842 0 0 0 46915 90 0 0 25 0 1 0 964656888 57765888 11075 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14103 11075 301 301 0 13802 0
vsize: 56412
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 13333 0 0 0 47913 92 0 0 25 0 1 0 964656888 57999360 11566 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14160 11566 301 301 0 13859 0
vsize: 56640
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 13466 0 0 0 48912 94 0 0 25 0 1 0 964656888 58523648 11699 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14288 11699 301 301 0 13987 0
vsize: 57152
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14010 0 0 0 49908 97 0 0 25 0 1 0 964656888 59604992 12243 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14552 12243 301 301 0 14251 0
vsize: 58208
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14238 0 0 0 50907 99 0 0 25 0 1 0 964656888 59703296 12471 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14576 12471 301 301 0 14275 0
vsize: 58304
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14270 0 0 0 51903 103 0 0 25 0 1 0 964656888 59703296 12503 4294967295 134512640 135730672 3221224576 3221223056 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14576 12503 301 301 0 14275 0
vsize: 58304
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14311 0 0 0 52901 105 0 0 25 0 1 0 964656888 59772928 12544 4294967295 134512640 135730672 3221224576 3221222948 134763215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14593 12544 301 301 0 14292 0
vsize: 58372
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14343 0 0 0 53900 106 0 0 25 0 1 0 964656888 59772928 12576 4294967295 134512640 135730672 3221224576 3221222756 135281239 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14593 12576 301 301 0 14292 0
vsize: 58372
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14373 0 0 0 54900 107 0 0 25 0 1 0 964656888 59850752 12606 4294967295 134512640 135730672 3221224576 3221222960 134761958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14612 12606 301 301 0 14311 0
vsize: 58448
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14409 0 0 0 55898 108 0 0 25 0 1 0 964656888 59928576 12642 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 12642 301 301 0 14330 0
vsize: 58524
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14446 0 0 0 56898 109 0 0 25 0 1 0 964656888 59928576 12679 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 12679 301 301 0 14330 0
vsize: 58524
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14479 0 0 0 57897 110 0 0 25 0 1 0 964656888 59994112 12712 4294967295 134512640 135730672 3221224576 3221222820 134813922 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14647 12712 301 301 0 14346 0
vsize: 58588
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14519 0 0 0 58897 111 0 0 25 0 1 0 964656888 60071936 12752 4294967295 134512640 135730672 3221224576 3221222896 134732790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14666 12752 301 301 0 14365 0
vsize: 58664
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14566 0 0 0 59896 112 0 0 25 0 1 0 964656888 60252160 12799 4294967295 134512640 135730672 3221224576 3221222960 134763174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14710 12799 301 301 0 14409 0
vsize: 58840
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14628 0 0 0 60895 113 0 0 25 0 1 0 964656888 60440576 12861 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14756 12861 301 301 0 14455 0
vsize: 59024
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14696 0 0 0 61894 114 0 0 25 0 1 0 964656888 60653568 12929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14808 12929 301 301 0 14507 0
vsize: 59232
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14785 0 0 0 62893 115 0 0 25 0 1 0 964656888 60932096 13018 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14876 13018 301 301 0 14575 0
vsize: 59504
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 14855 0 0 0 63893 115 0 0 25 0 1 0 964656888 61128704 13088 4294967295 134512640 135730672 3221224576 3221223088 134746198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14924 13088 301 301 0 14623 0
vsize: 59696
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 15336 0 0 0 64891 117 0 0 25 0 1 0 964656888 61784064 13569 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15084 13569 301 301 0 14783 0
vsize: 60336
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 15647 0 0 0 65890 119 0 0 25 0 1 0 964656888 62324736 13880 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15216 13880 301 301 0 14915 0
vsize: 60864
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 16146 0 0 0 66888 121 0 0 25 0 1 0 964656888 62750720 14379 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15320 14379 301 301 0 15019 0
vsize: 61280
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 16622 0 0 0 67887 122 0 0 25 0 1 0 964656888 63229952 14855 4294967295 134512640 135730672 3221224576 3221223168 134763776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15437 14855 301 301 0 15136 0
vsize: 61748
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 16732 0 0 0 68887 123 0 0 25 0 1 0 964656888 63623168 14965 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15533 14965 301 301 0 15232 0
vsize: 62132
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 16951 0 0 0 69885 124 0 0 25 0 1 0 964656888 97669120 15184 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23845 15184 301 301 0 23544 0
vsize: 95380
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 17291 0 0 0 70884 126 0 0 25 0 1 0 964656888 98275328 15524 4294967295 134512640 135730672 3221224576 3221222896 134732637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23993 15524 301 301 0 23692 0
vsize: 95972
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 17871 0 0 0 71881 128 0 0 25 0 1 0 964656888 98635776 16104 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24081 16104 301 301 0 23780 0
vsize: 96324
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 17995 0 0 0 72880 130 0 0 25 0 1 0 964656888 99209216 16228 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24221 16228 301 301 0 23920 0
vsize: 96884
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 18079 0 0 0 73880 130 0 0 25 0 1 0 964656888 99454976 16312 4294967295 134512640 135730672 3221224576 3221223088 134746211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24281 16312 301 301 0 23980 0
vsize: 97124
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 18168 0 0 0 74880 131 0 0 25 0 1 0 964656888 99864576 16401 4294967295 134512640 135730672 3221224576 3221223120 134740245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24381 16401 301 301 0 24080 0
vsize: 97524
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 18438 0 0 0 75879 132 0 0 25 0 1 0 964656888 100143104 16671 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24449 16671 301 301 0 24148 0
vsize: 97796
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 18543 0 0 0 76878 133 0 0 25 0 1 0 964656888 100585472 16776 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24557 16776 301 301 0 24256 0
vsize: 98228
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 20245 0 0 0 77873 138 0 0 25 0 1 0 964656888 107253760 16941 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26185 16941 301 301 0 25884 0
vsize: 104740
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 20606 0 0 0 78872 139 0 0 25 0 1 0 964656888 107794432 17302 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26317 17302 301 301 0 26016 0
vsize: 105268
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 20656 0 0 0 79871 140 0 0 25 0 1 0 964656888 107925504 17352 4294967295 134512640 135730672 3221224576 3221223168 134763817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17352 301 301 0 26048 0
vsize: 105396
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 20722 0 0 0 80871 141 0 0 25 0 1 0 964656888 108122112 17418 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26397 17418 301 301 0 26096 0
vsize: 105588
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 20805 0 0 0 81870 142 0 0 25 0 1 0 964656888 108433408 17501 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26473 17501 301 301 0 26172 0
vsize: 105892
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 21023 0 0 0 82869 143 0 0 25 0 1 0 964656888 108548096 17719 4294967295 134512640 135730672 3221224576 3221222896 134732864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26501 17719 301 301 0 26200 0
vsize: 106004
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 21269 0 0 0 83867 145 0 0 25 0 1 0 964656888 108761088 17965 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26553 17965 301 301 0 26252 0
vsize: 106212
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 21346 0 0 0 84867 145 0 0 25 0 1 0 964656888 109023232 18042 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26617 18042 301 301 0 26316 0
vsize: 106468
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 21420 0 0 0 85866 146 0 0 25 0 1 0 964656888 109154304 18116 4294967295 134512640 135730672 3221224576 3221222896 134732581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26649 18116 301 301 0 26348 0
vsize: 106596
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 21738 0 0 0 86865 148 0 0 25 0 1 0 964656888 109400064 18434 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26709 18434 301 301 0 26408 0
vsize: 106836
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22250 0 0 0 87864 149 0 0 25 0 1 0 964656888 109596672 18946 4294967295 134512640 135730672 3221224576 3221223088 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26757 18946 301 301 0 26456 0
vsize: 107028
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22311 0 0 0 88863 150 0 0 25 0 1 0 964656888 109694976 19007 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 19007 301 301 0 26480 0
vsize: 107124
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22367 0 0 0 89862 151 0 0 25 0 1 0 964656888 109891584 19063 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26829 19063 301 301 0 26528 0
vsize: 107316
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22451 0 0 0 90861 152 0 0 25 0 1 0 964656888 110120960 19147 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26885 19147 301 301 0 26584 0
vsize: 107540
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22531 0 0 0 91861 153 0 0 25 0 1 0 964656888 110383104 19227 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26949 19227 301 301 0 26648 0
vsize: 107796
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22826 0 0 0 92858 156 0 0 25 0 1 0 964656888 111071232 19522 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19522 301 301 0 26816 0
vsize: 108468
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22849 0 0 0 93852 162 0 0 25 0 1 0 964656888 111071232 19545 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19545 301 301 0 26816 0
vsize: 108468
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22872 0 0 0 94847 167 0 0 25 0 1 0 964656888 111071232 19568 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19568 301 301 0 26816 0
vsize: 108468
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22896 0 0 0 95843 171 0 0 25 0 1 0 964656888 111071232 19592 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19592 301 301 0 26816 0
vsize: 108468
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22918 0 0 0 96834 180 0 0 25 0 1 0 964656888 111071232 19614 4294967295 134512640 135730672 3221224576 3221223168 134763817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19614 301 301 0 26816 0
vsize: 108468
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22944 0 0 0 97832 182 0 0 25 0 1 0 964656888 111071232 19640 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19640 301 301 0 26816 0
vsize: 108468
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 22970 0 0 0 98828 186 0 0 25 0 1 0 964656888 111071232 19666 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 19666 301 301 0 26816 0
vsize: 108468
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23011 0 0 0 99827 188 0 0 25 0 1 0 964656888 111140864 19707 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27134 19707 301 301 0 26833 0
vsize: 108536
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23051 0 0 0 100825 190 0 0 25 0 1 0 964656888 111214592 19747 4294967295 134512640 135730672 3221224576 3221222800 134813917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27152 19747 301 301 0 26851 0
vsize: 108608
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23085 0 0 0 101825 190 0 0 25 0 1 0 964656888 111214592 19781 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27152 19781 301 301 0 26851 0
vsize: 108608
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23127 0 0 0 102824 191 0 0 25 0 1 0 964656888 111296512 19823 4294967295 134512640 135730672 3221224576 3221222904 134814378 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27172 19823 301 301 0 26871 0
vsize: 108688
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23163 0 0 0 103823 192 0 0 25 0 1 0 964656888 111366144 19859 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27189 19859 301 301 0 26888 0
vsize: 108756
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23206 0 0 0 104823 193 0 0 25 0 1 0 964656888 111452160 19902 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27210 19902 301 301 0 26909 0
vsize: 108840
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23252 0 0 0 105821 195 0 0 25 0 1 0 964656888 111632384 19948 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27254 19948 301 301 0 26953 0
vsize: 109016
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23297 0 0 0 106821 195 0 0 25 0 1 0 964656888 111710208 19993 4294967295 134512640 135730672 3221224576 3221222960 134763157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27273 19993 301 301 0 26972 0
vsize: 109092
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23337 0 0 0 107820 196 0 0 25 0 1 0 964656888 111792128 20033 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27293 20033 301 301 0 26992 0
vsize: 109172
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23381 0 0 0 108819 197 0 0 25 0 1 0 964656888 111874048 20077 4294967295 134512640 135730672 3221224576 3221223104 134740351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27313 20077 301 301 0 27012 0
vsize: 109252
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23419 0 0 0 109819 198 0 0 25 0 1 0 964656888 111964160 20115 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27335 20115 301 301 0 27034 0
vsize: 109340
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23443 0 0 0 110818 199 0 0 25 0 1 0 964656888 112046080 20139 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27355 20139 301 301 0 27054 0
vsize: 109420
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23484 0 0 0 111817 199 0 0 25 0 1 0 964656888 112128000 20180 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27375 20180 301 301 0 27074 0
vsize: 109500
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23519 0 0 0 112817 200 0 0 25 0 1 0 964656888 112201728 20215 4294967295 134512640 135730672 3221224576 3221222816 134813781 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27393 20215 301 301 0 27092 0
vsize: 109572
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23564 0 0 0 113817 201 0 0 25 0 1 0 964656888 112369664 20260 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27434 20260 301 301 0 27133 0
vsize: 109736
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23596 0 0 0 114816 201 0 0 25 0 1 0 964656888 112439296 20292 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27451 20292 301 301 0 27150 0
vsize: 109804
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23618 0 0 0 115816 202 0 0 25 0 1 0 964656888 112439296 20314 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27451 20314 301 301 0 27150 0
vsize: 109804
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23664 0 0 0 116816 202 0 0 25 0 1 0 964656888 112529408 20360 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27473 20360 301 301 0 27172 0
vsize: 109892
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23725 0 0 0 117815 203 0 0 25 0 1 0 964656888 112775168 20421 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27533 20421 301 301 0 27232 0
vsize: 110132
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 23952 0 0 0 118812 206 0 0 25 0 1 0 964656888 113713152 20648 4294967295 134512640 135730672 3221224576 3221223120 134740420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27762 20648 301 301 0 27461 0
vsize: 111048
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15222
Raw data (stat): 15222 (pb2sat-v2) R 15221 21152 21151 0 -1 0 24010 0 0 0 119808 210 0 0 25 0 1 0 964656888 113848320 20706 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27795 20706 301 301 0 27494 0
vsize: 111180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15222
Raw data (stat): 15222 (pb2sat-v2) Z 15221 21152 21151 0 -1 12 24012 0 0 0 119832 214 0 0 25 0 1 0 964656888 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.31
CPU time (s): 1200.47
CPU user time (s): 1198.32
CPU system time (s): 2.14467
CPU usage (%): 100.013
Max. virtual memory (Kb): 111180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####