PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 00:06:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25308 boxname=wulflinc2 idbench=210 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ad922a0ad53056b410be6ab5caa6b5b  /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb
IDLAUNCH: 25308
/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:        857100 kB
Buffers:         34072 kB
Cached:         118016 kB
SwapCached:       4448 kB
Active:          61456 kB
Inactive:        95768 kB
HighTotal:      131008 kB
HighFree:        24892 kB
LowTotal:       903652 kB
LowFree:        832208 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14672 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:26:26 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 25308 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1599/6365	Time: 4.38733/86400
c Decision: 1599/6365	Time: 5.67714/86400
c Decision: 1599/6365	Time: 7.37988/86400
c Decision: 1599/6365	Time: 9.26859/86400
c Decision: 1599/6365	Time: 10.8673/86400
c Decision: 1599/6365	Time: 12.3091/86400
c Decision: 1599/6365	Time: 14.0519/86400
c Decision: 1599/6365	Time: 15.9536/86400
c Decision: 1599/6365	Time: 17.4793/86400
c Decision: 1599/6365	Time: 18.7372/86400
c Decision: 1599/6365	Time: 20.1029/86400
c Decision: 1599/6365	Time: 21.3128/86400
c Decision: 1599/6365	Time: 22.9055/86400
c Decision: 1599/6365	Time: 24.6453/86400
c Decision: 1599/6365	Time: 26.235/86400
c Decision: 1599/6365	Time: 27.7838/86400
c Decision: 1599/6365	Time: 29.8865/86400
c Decision: 1599/6365	Time: 31.7822/86400
c Decision: 1599/6365	Time: 33.4579/86400
c Decision: 1599/6365	Time: 35.5106/86400
c Decision: 1599/6365	Time: 37.6053/86400
c Decision: 1599/6365	Time: 39.0611/86400
c Decision: 1599/6365	Time: 40.5168/86400
c Decision: 1599/6365	Time: 42.0616/86400
c Decision: 1599/6365	Time: 43.6304/86400
c Decision: 1599/6365	Time: 45.4601/86400
c Decision: 1599/6365	Time: 47.1608/86400
c Decision: 1599/6365	Time: 48.3666/86400
c Decision: 1599/6365	Time: 49.5835/86400
c Decision: 1599/6365	Time: 51.0572/86400
c Decision: 1599/6365	Time: 52.787/86400
c Decision: 1599/6365	Time: 54.8427/86400
c Decision: 1599/6365	Time: 57.0033/86400
c Decision: 1599/6365	Time: 59.242/86400
c Decision: 1599/6365	Time: 61.4647/86400
c Decision: 1599/6365	Time: 63.7443/86400
c Decision: 1599/6365	Time: 65.542/86400
c Decision: 1599/6365	Time: 67.4028/86400
c Decision: 1599/6365	Time: 69.2615/86400
c Decision: 1599/6365	Time: 71.4741/86400
c Decision: 1599/6365	Time: 73.0319/86400
c Decision: 1599/6365	Time: 74.6666/86400
c Decision: 1599/6365	Time: 76.6753/86400
c Decision: 1599/6365	Time: 78.876/86400
c Decision: 1599/6365	Time: 80.9917/86400
c Decision: 1599/6365	Time: 83.1804/86400
c Decision: 1599/6365	Time: 85.235/86400
c Decision: 1599/6365	Time: 87.2627/86400
c Decision: 1599/6365	Time: 89.6714/86400
c Decision: 1599/6365	Time: 91.4891/86400
c Decision: 1599/6365	Time: 93.8507/86400
c Decision: 1599/6365	Time: 96.0884/86400
c Decision: 1599/6365	Time: 98.651/86400
c Decision: 1599/6365	Time: 100.938/86400
c Decision: 1599/6365	Time: 103.184/86400
c Decision: 1599/6365	Time: 105.629/86400
c Decision: 1599/6365	Time: 106.978/86400
c Decision: 1599/6365	Time: 109.421/86400
c Decision: 1599/6365	Time: 112.112/86400
c Decision: 1599/6365	Time: 114.277/86400
c Decision: 1599/6365	Time: 116.813/86400
c Decision: 1599/6365	Time: 119.103/86400
c Decision: 1599/6365	Time: 121.496/86400
c Decision: 1599/6365	Time: 124.239/86400
c Decision: 1599/6365	Time: 126.802/86400
c Decision: 1599/6365	Time: 129.332/86400
c Decision: 1599/6365	Time: 131.708/86400
c Decision: 1599/6365	Time: 134.237/86400
c Decision: 1599/6365	Time: 136.027/86400
c Decision: 1599/6365	Time: 138.373/86400
c Decision: 1599/6365	Time: 140.869/86400
c Decision: 1599/6365	Time: 143.331/86400
c Decision: 1599/6365	Time: 145.856/86400
c Decision: 1599/6365	Time: 147.86/86400
c Decision: 1599/6365	Time: 150.461/86400
c Decision: 1599/6365	Time: 153.202/86400
c Decision: 1599/6365	Time: 155.472/86400
c Decision: 1599/6365	Time: 157.277/86400
c Decision: 1599/6365	Time: 159.881/86400
c Decision: 1599/6365	Time: 162.08/86400
c Decision: 1599/6365	Time: 164.822/86400
c Decision: 1599/6365	Time: 166.94/86400
c Decision: 1599/6365	Time: 169.321/86400
c Decision: 1599/6365	Time: 171.664/86400
c Decision: 1599/6365	Time: 174.38/86400
c Decision: 1599/6365	Time: 177.137/86400
c Decision: 1599/6365	Time: 179.541/86400
c Decision: 1599/6365	Time: 182.098/86400
c Decision: 1599/6365	Time: 184.927/86400
c Decision: 1599/6365	Time: 187.694/86400
c Decision: 1599/6365	Time: 190.681/86400
c Decision: 1599/6365	Time: 193.48/86400
c Decision: 1599/6365	Time: 196.262/86400
c Decision: 1599/6365	Time: 199.122/86400
c Decision: 1599/6365	Time: 201.79/86400
c Decision: 1599/6365	Time: 204.395/86400
c Decision: 1599/6365	Time: 206.861/86400
c Decision: 1599/6365	Time: 209.503/86400
c Decision: 1599/6365	Time: 211.809/86400
c Decision: 1599/6365	Time: 214.637/86400
c Decision: 1599/6365	Time: 217.76/86400
c Decision: 1599/6365	Time: 220.062/86400
c Decision: 1599/6365	Time: 222.618/86400
c Decision: 1599/6365	Time: 225.598/86400
c Decision: 1599/6365	Time: 228.338/86400
c Decision: 1599/6365	Time: 231.18/86400
c Decision: 1599/6365	Time: 234.211/86400
c Decision: 1599/6365	Time: 237.119/86400
c Decision: 1599/6365	Time: 240.032/86400
c Decision: 1599/6365	Time: 243.176/86400
c Decision: 1599/6365	Time: 246.051/86400
c Decision: 1599/6365	Time: 248.989/86400
c Decision: 1599/6365	Time: 251.745/86400
c Decision: 1599/6365	Time: 254.51/86400
c Decision: 1599/6365	Time: 257.241/86400
c Decision: 1599/6365	Time: 260.503/86400
c Decision: 1599/6365	Time: 263.21/86400
c Decision: 1599/6365	Time: 265.825/86400
c Decision: 1599/6365	Time: 268.463/86400
c Decision: 1599/6365	Time: 271.347/86400
c Decision: 1599/6365	Time: 274.203/86400
c Decision: 1599/6365	Time: 276.812/86400
c Decision: 1599/6365	Time: 279.749/86400
c Decision: 1599/6365	Time: 282.689/86400
c Decision: 1599/6365	Time: 285.846/86400
c Decision: 1599/6365	Time: 289.027/86400
c Decision: 1599/6365	Time: 291.663/86400
c Decision: 1599/6365	Time: 294.604/86400
c Decision: 1599/6365	Time: 297.278/86400
c Decision: 1599/6365	Time: 299.946/86400
c Decision: 1599/6365	Time: 302.977/86400
c Decision: 1599/6365	Time: 305.879/86400
c Decision: 1599/6365	Time: 308.889/86400
c Decision: 1599/6365	Time: 311.704/86400
c Decision: 1599/6365	Time: 314.881/86400
c Decision: 1599/6365	Time: 317.946/86400
c Decision: 1599/6365	Time: 321.052/86400
c Decision: 1599/6365	Time: 323.785/86400
c Decision: 1599/6365	Time: 326.819/86400
c Decision: 1599/6365	Time: 329.766/86400
c Decision: 1599/6365	Time: 332.917/86400
c Decision: 1599/6365	Time: 335.77/86400
c Decision: 1599/6365	Time: 338.567/86400
c Decision: 1599/6365	Time: 341.466/86400
c Decision: 1599/6365	Time: 344.124/86400
c Decision: 1599/6365	Time: 347.613/86400
c Decision: 1599/6365	Time: 350.426/86400
c Decision: 1599/6365	Time: 353.333/86400
c Decision: 1599/6365	Time: 356.72/86400
c Decision: 1599/6365	Time: 359.891/86400
c Decision: 1599/6365	Time: 363.44/86400
c Decision: 1599/6365	Time: 366.566/86400
c Decision: 1599/6365	Time: 369.674/86400
c Decision: 1599/6365	Time: 372.474/86400
c Decision: 1599/6365	Time: 375.58/86400
c Decision: 1599/6365	Time: 379.077/86400
c Decision: 1599/6365	Time: 382.138/86400
c Decision: 1599/6365	Time: 384.875/86400
c Decision: 1599/6365	Time: 387.942/86400
c Decision: 1599/6365	Time: 390.812/86400
c Decision: 1599/6365	Time: 394.041/86400
c Decision: 1599/6365	Time: 397.171/86400
c Decision: 1599/6365	Time: 400.007/86400
c Decision: 1599/6365	Time: 402.928/86400
c Decision: 1599/6365	Time: 405.957/86400
c Decision: 1599/6365	Time: 409.344/86400
c Decision: 1599/6365	Time: 412.433/86400
c Decision: 1599/6365	Time: 415.89/86400
c Decision: 1599/6365	Time: 418.861/86400
c Decision: 1599/6365	Time: 422.047/86400
c Decision: 1599/6365	Time: 425.386/86400
c Decision: 1599/6365	Time: 428.719/86400
c Decision: 1599/6365	Time: 431.54/86400
c Decision: 1599/6365	Time: 434.357/86400
c Decision: 1599/6365	Time: 437.603/86400
c Decision: 1599/6365	Time: 441.171/86400
c Decision: 1599/6365	Time: 444.355/86400
c Decision: 1599/6365	Time: 447.92/86400
c Decision: 1599/6365	Time: 450.872/86400
c Decision: 1599/6365	Time: 454.209/86400
c Decision: 1599/6365	Time: 457.668/86400
c Decision: 1599/6365	Time: 461.122/86400
c Decision: 1599/6365	Time: 464.293/86400
c Decision: 1599/6365	Time: 467.282/86400
c Decision: 1599/6365	Time: 470.849/86400
c Decision: 1599/6365	Time: 474.722/86400
c Decision: 1599/6365	Time: 477.729/86400
c Decision: 1599/6365	Time: 481.017/86400
c Decision: 1599/6365	Time: 483.964/86400
c Decision: 1599/6365	Time: 487.262/86400
c Decision: 1599/6365	Time: 490.754/86400
c Decision: 1599/6365	Time: 493.9/86400
c Decision: 1599/6365	Time: 496.925/86400
c Decision: 1599/6365	Time: 500.108/86400
c Decision: 1599/6365	Time: 503.432/86400
c Decision: 1599/6365	Time: 506.963/86400
c Decision: 1599/6365	Time: 509.846/86400
c Decision: 1599/6365	Time: 513.052/86400
c Decision: 1599/6365	Time: 515.882/86400
c Decision: 1599/6365	Time: 518.838/86400
c Decision: 1599/6365	Time: 522.365/86400
c Decision: 1599/6365	Time: 525.286/86400
c Decision: 1599/6365	Time: 528.636/86400
c Decision: 1599/6365	Time: 531.648/86400
c Decision: 1599/6365	Time: 534.719/86400
c Decision: 1599/6365	Time: 538.113/86400
c Decision: 1599/6365	Time: 541.234/86400
c Decision: 1599/6365	Time: 544.797/86400
c Decision: 1599/6365	Time: 548.474/86400
c Decision: 1599/6365	Time: 552.055/86400
c Decision: 1599/6365	Time: 555.672/86400
c Decision: 1599/6365	Time: 559.294/86400
c Decision: 1599/6365	Time: 562.9/86400
c Decision: 1599/6365	Time: 566.047/86400
c Decision: 1599/6365	Time: 569.043/86400
c Decision: 1599/6365	Time: 573.243/86400
c Decision: 1599/6365	Time: 576.583/86400
c Decision: 1599/6365	Time: 579.726/86400
c Decision: 1599/6365	Time: 583.319/86400
c Decision: 1599/6365	Time: 586.951/86400
c Decision: 1599/6365	Time: 590.644/86400
c Decision: 1599/6365	Time: 594.211/86400
c Decision: 1599/6365	Time: 597.819/86400
c Decision: 1599/6365	Time: 601.418/86400
c Decision: 1599/6365	Time: 604.927/86400
c Decision: 1599/6365	Time: 608.622/86400
c Decision: 1599/6365	Time: 611.817/86400
c Decision: 1599/6365	Time: 615.109/86400
c Decision: 1599/6365	Time: 618.46/86400
c Decision: 1599/6365	Time: 622.05/86400
c Decision: 1599/6365	Time: 626.051/86400
c Decision: 1599/6365	Time: 629.598/86400
c Decision: 1599/6365	Time: 632.982/86400
c Decision: 1599/6365	Time: 635.817/86400
c Decision: 1599/6365	Time: 639.121/86400
c Decision: 1599/6365	Time: 642.425/86400
c Decision: 1599/6365	Time: 645.778/86400
c Decision: 1599/6365	Time: 649.066/86400
c Decision: 1599/6365	Time: 652.012/86400
c Decision: 1599/6365	Time: 655.528/86400
c Decision: 1599/6365	Time: 659.213/86400
c Decision: 1599/6365	Time: 662.471/86400
c Decision: 1599/6365	Time: 665.844/86400
c Decision: 1599/6365	Time: 669.334/86400
c Decision: 1599/6365	Time: 672.596/86400
c Decision: 1599/6365	Time: 676.231/86400
c Decision: 1599/6365	Time: 679.533/86400
c Decision: 1599/6365	Time: 682.883/86400
c Decision: 1599/6365	Time: 686.566/86400
c Decision: 1599/6365	Time: 690.006/86400
c Decision: 1599/6365	Time: 693.993/86400
c Decision: 1599/6365	Time: 697.375/86400
c Decision: 1599/6365	Time: 701.167/86400
c Decision: 1599/6365	Time: 704.818/86400
c Decision: 1599/6365	Time: 708.474/86400
c Decision: 1599/6365	Time: 712.365/86400
c Decision: 1599/6365	Time: 715.926/86400
c Decision: 1599/6365	Time: 719.763/86400
c Decision: 1599/6365	Time: 723.041/86400
c Decision: 1599/6365	Time: 726.161/86400
c Decision: 1599/6365	Time: 729.712/86400
c Decision: 1599/6365	Time: 733.111/86400
c Decision: 1599/6365	Time: 736.658/86400
c Decision: 1599/6365	Time: 740.131/86400
c Decision: 1599/6365	Time: 743.3/86400
c Decision: 1599/6365	Time: 746.801/86400
c Decision: 1599/6365	Time: 750.124/86400
c Decision: 1599/6365	Time: 753.617/86400
c Decision: 1599/6365	Time: 756.962/86400
c Decision: 1599/6365	Time: 760.323/86400
c Decision: 1599/6365	Time: 764.058/86400
c Decision: 1599/6365	Time: 767.656/86400
c Decision: 1599/6365	Time: 771.192/86400
c Decision: 1599/6365	Time: 775.082/86400
c Decision: 1599/6365	Time: 778.204/86400
c Decision: 1599/6365	Time: 782.182/86400
c Decision: 1599/6365	Time: 785.694/86400
c Decision: 1599/6365	Time: 789.107/86400
c Decision: 1599/6365	Time: 792.491/86400
c Decision: 1599/6365	Time: 795.643/86400
c Decision: 1599/6365	Time: 799.618/86400
c Decision: 1599/6365	Time: 803.482/86400
c Decision: 1599/6365	Time: 807.008/86400
c Decision: 1599/6365	Time: 810.648/86400
c Decision: 1599/6365	Time: 814.835/86400
c Decision: 1599/6365	Time: 819.072/86400
c Decision: 1599/6365	Time: 822.948/86400
c Decision: 1599/6365	Time: 826.694/86400
c Decision: 1599/6365	Time: 830.93/86400
c Decision: 1599/6365	Time: 834.698/86400
c Decision: 1599/6365	Time: 839.222/86400
c Decision: 1599/6365	Time: 843.051/86400
c Decision: 1599/6365	Time: 846.735/86400
c Decision: 1599/6365	Time: 850.572/86400
c Decision: 1599/6365	Time: 853.679/86400
c Decision: 1599/6365	Time: 857.463/86400
c Decision: 1599/6365	Time: 860.891/86400
c Decision: 1599/6365	Time: 864.653/86400
c Decision: 1599/6365	Time: 868.168/86400
c Decision: 1599/6365	Time: 871.983/86400
c Decision: 1599/6365	Time: 876.306/86400
c Decision: 1599/6365	Time: 879.718/86400
c Decision: 1599/6365	Time: 883.137/86400
c Decision: 1599/6365	Time: 886.601/86400
c Decision: 1599/6365	Time: 890.326/86400
c Decision: 1599/6365	Time: 894.674/86400
c Decision: 1599/6365	Time: 898.56/86400
c Decision: 1599/6365	Time: 902.47/86400
c Decision: 1599/6365	Time: 906.292/86400
c Decision: 1599/6365	Time: 909.946/86400
c Decision: 1599/6365	Time: 913.654/86400
c Decision: 1599/6365	Time: 918.034/86400
c Decision: 1599/6365	Time: 921.645/86400
c Decision: 1599/6365	Time: 925.486/86400
c Decision: 1599/6365	Time: 929.32/86400
c Decision: 1599/6365	Time: 933.715/86400
c Decision: 1599/6365	Time: 937.336/86400
c Decision: 1599/6365	Time: 941.323/86400
c Decision: 1599/6365	Time: 945.039/86400
c Decision: 1599/6365	Time: 949.028/86400
c Decision: 1599/6365	Time: 953.228/86400
c Decision: 1599/6365	Time: 956.808/86400
c Decision: 1599/6365	Time: 960.363/86400
c Decision: 1599/6365	Time: 963.789/86400
c Decision: 1599/6365	Time: 967.817/86400
c Decision: 1599/6365	Time: 971.848/86400
c Decision: 1599/6365	Time: 975.416/86400
c Decision: 1599/6365	Time: 979.212/86400
c Decision: 1599/6365	Time: 983.684/86400
c Decision: 1599/6365	Time: 988.094/86400
c Decision: 1599/6365	Time: 992.136/86400
c Decision: 1599/6365	Time: 995.663/86400
c Decision: 1599/6365	Time: 999.513/86400
c Decision: 1599/6365	Time: 1003.28/86400
c Decision: 1599/6365	Time: 1007.03/86400
c Decision: 1599/6365	Time: 1011.68/86400
c Decision: 1599/6365	Time: 1015.8/86400
c Decision: 1599/6365	Time: 1019.92/86400
c Decision: 1599/6365	Time: 1023.91/86400
c Decision: 1599/6365	Time: 1028.19/86400
c Decision: 1599/6365	Time: 1032.76/86400
c Decision: 1599/6365	Time: 1036.72/86400
c Decision: 1599/6365	Time: 1041.53/86400
c Decision: 1599/6365	Time: 1045.63/86400
c Decision: 1599/6365	Time: 1050.23/86400
c Decision: 1599/6365	Time: 1054.73/86400
c Decision: 1599/6365	Time: 1058.73/86400
c Decision: 1599/6365	Time: 1062.66/86400
c Decision: 1599/6365	Time: 1066.24/86400
c Decision: 1599/6365	Time: 1069.56/86400
c Decision: 1599/6365	Time: 1074.98/86400
c Decision: 1599/6365	Time: 1079.09/86400
c Decision: 1599/6365	Time: 1083.54/86400
c Decision: 1599/6365	Time: 1087.11/86400
c Decision: 1599/6365	Time: 1090.61/86400
c Decision: 1599/6365	Time: 1094.52/86400
c Decision: 1599/6365	Time: 1098.37/86400
c Decision: 1599/6365	Time: 1102.26/86400
c Decision: 1599/6365	Time: 1105.79/86400
c Decision: 1599/6365	Time: 1109.31/86400
c Decision: 1599/6365	Time: 1113.75/86400
c Decision: 1599/6365	Time: 1117.68/86400
c Decision: 1599/6365	Time: 1121.15/86400
c Decision: 1599/6365	Time: 1125.04/86400
c Decision: 1599/6365	Time: 1128.56/86400
c Decision: 1599/6365	Time: 1132.85/86400
c Decision: 1599/6365	Time: 1136.6/86400
c Decision: 1599/6365	Time: 1140.59/86400
c Decision: 1599/6365	Time: 1144.85/86400
c Decision: 1599/6365	Time: 1148.4/86400
c Decision: 1599/6365	Time: 1153.18/86400
c Decision: 1599/6365	Time: 1157.29/86400
c Decision: 1599/6365	Time: 1160.97/86400
c Decision: 1599/6365	Time: 1164.89/86400
c Decision: 1599/6365	Time: 1168.65/86400
c Decision: 1599/6365	Time: 1172.97/86400
c Decision: 1599/6365	Time: 1177.04/86400
c Decision: 1599/6365	Time: 1181.15/86400
c Decision: 1599/6365	Time: 1185.7/86400
c Decision: 1599/6365	Time: 1189.18/86400
c Decision: 1599/6365	Time: 1193.19/86400
c Decision: 1599/6365	Time: 1196.83/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
Raw data (loadavg): 1.09 1.02 0.93 2/54 1544
Raw data (stat): 1544 (runsolver) R 1543 31399 31398 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 966315734 884736 93 4294967295 134512640 135332820 3221224480 3221219124 134915621 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99964 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 1405 0 0 0 993 4 0 0 25 0 1 0 966315734 6176768 1123 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1508 1123 301 301 0 1207 0
vsize: 6032
[startup+20.0006 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 1666 0 0 0 1991 7 0 0 25 0 1 0 966315734 7434240 1384 4294967295 134512640 135730672 3221224592 3221223244 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1815 1384 301 301 0 1514 0
vsize: 7260
[startup+30.0011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2022 0 0 0 2988 9 0 0 25 0 1 0 966315734 10297344 1740 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2514 1740 301 301 0 2213 0
vsize: 10056
[startup+40.0007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2152 0 0 0 3987 11 0 0 25 0 1 0 966315734 10493952 1870 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2562 1870 301 301 0 2261 0
vsize: 10248
[startup+50.0017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2503 0 0 0 4985 13 0 0 25 0 1 0 966315734 11575296 2028 4294967295 134512640 135730672 3221224592 3221222840 135284864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2826 2028 301 301 0 2525 0
vsize: 11304
[startup+60.0013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2572 0 0 0 5983 15 0 0 25 0 1 0 966315734 11685888 2097 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2853 2097 301 301 0 2552 0
vsize: 11412
[startup+70.0018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2722 0 0 0 6980 17 0 0 25 0 1 0 966315734 11911168 2247 4294967295 134512640 135730672 3221224592 3221223136 134740265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2908 2247 301 301 0 2607 0
vsize: 11632
[startup+80.0028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 2899 0 0 0 7978 19 0 0 25 0 1 0 966315734 12144640 2424 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2965 2424 301 301 0 2664 0
vsize: 11860
[startup+90.0022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3117 0 0 0 8976 21 0 0 25 0 1 0 966315734 12337152 2642 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3012 2642 301 301 0 2711 0
vsize: 12048
[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3313 0 0 0 9975 22 0 0 25 0 1 0 966315734 16642048 2838 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4063 2838 301 301 0 3762 0
vsize: 16252
[startup+110.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3524 0 0 0 10973 24 0 0 25 0 1 0 966315734 16850944 3049 4294967295 134512640 135730672 3221224592 3221223072 134732831 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4114 3049 301 301 0 3813 0
vsize: 16456
[startup+120.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3615 0 0 0 11972 25 0 0 25 0 1 0 966315734 17002496 3140 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4151 3140 301 301 0 3850 0
vsize: 16604
[startup+130.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3870 0 0 0 12971 27 0 0 25 0 1 0 966315734 17117184 3395 4294967295 134512640 135730672 3221224592 3221223280 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4179 3395 301 301 0 3878 0
vsize: 16716
[startup+140.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 3987 0 0 0 13970 28 0 0 25 0 1 0 966315734 17317888 3512 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4228 3512 301 301 0 3927 0
vsize: 16912
[startup+150.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4501 0 0 0 14968 30 0 0 25 0 1 0 966315734 19136512 3641 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4672 3641 301 301 0 4371 0
vsize: 18688
[startup+160.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4554 0 0 0 15967 31 0 0 25 0 1 0 966315734 19238912 3694 4294967295 134512640 135730672 3221224592 3221223216 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4697 3694 301 301 0 4396 0
vsize: 18788
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 4771 0 0 0 16966 33 0 0 25 0 1 0 966315734 19460096 3911 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4751 3911 301 301 0 4450 0
vsize: 19004
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5023 0 0 0 17964 34 0 0 25 0 1 0 966315734 19697664 4163 4294967295 134512640 135730672 3221224592 3221223248 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4809 4163 301 301 0 4508 0
vsize: 19236
[startup+190.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5219 0 0 0 18963 36 0 0 25 0 1 0 966315734 28364800 4359 4294967295 134512640 135730672 3221224592 3221223208 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6925 4359 301 301 0 6624 0
vsize: 27700
[startup+200.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5311 0 0 0 19961 38 0 0 25 0 1 0 966315734 28364800 4451 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6925 4451 301 301 0 6624 0
vsize: 27700
[startup+210.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5368 0 0 0 20961 39 0 0 25 0 1 0 966315734 28594176 4508 4294967295 134512640 135730672 3221224592 3221222920 134814643 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6981 4508 301 301 0 6680 0
vsize: 27924
[startup+220.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5401 0 0 0 21960 40 0 0 25 0 1 0 966315734 28684288 4541 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7003 4541 301 301 0 6702 0
vsize: 28012
[startup+230.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5439 0 0 0 22959 41 0 0 25 0 1 0 966315734 28684288 4579 4294967295 134512640 135730672 3221224592 3221223088 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7003 4579 301 301 0 6702 0
vsize: 28012
[startup+240.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5483 0 0 0 23958 41 0 0 25 0 1 0 966315734 28880896 4623 4294967295 134512640 135730672 3221224592 3221223072 134732831 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7051 4623 301 301 0 6750 0
vsize: 28204
[startup+250.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5618 0 0 0 24957 43 0 0 25 0 1 0 966315734 28880896 4758 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7051 4758 301 301 0 6750 0
vsize: 28204
[startup+260.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5833 0 0 0 25955 44 0 0 25 0 1 0 966315734 29118464 4973 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7109 4973 301 301 0 6808 0
vsize: 28436
[startup+270.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 5909 0 0 0 26955 46 0 0 25 0 1 0 966315734 29233152 5049 4294967295 134512640 135730672 3221224592 3221223280 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7137 5049 301 301 0 6836 0
vsize: 28548
[startup+280.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6096 0 0 0 27953 47 0 0 25 0 1 0 966315734 29347840 5236 4294967295 134512640 135730672 3221224592 3221223136 134740291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7165 5236 301 301 0 6864 0
vsize: 28660
[startup+290.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6360 0 0 0 28951 49 0 0 25 0 1 0 966315734 29458432 5500 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 5500 301 301 0 6891 0
vsize: 28768
[startup+300.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6430 0 0 0 29950 51 0 0 25 0 1 0 966315734 29564928 5570 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7218 5570 301 301 0 6917 0
vsize: 28872
[startup+310.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6462 0 0 0 30949 51 0 0 25 0 1 0 966315734 29667328 5602 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7243 5602 301 301 0 6942 0
vsize: 28972
[startup+320.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6494 0 0 0 31949 52 0 0 25 0 1 0 966315734 29782016 5634 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7271 5634 301 301 0 6970 0
vsize: 29084
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6525 0 0 0 32948 53 0 0 25 0 1 0 966315734 29868032 5665 4294967295 134512640 135730672 3221224592 3221222976 134761958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 5665 301 301 0 6991 0
vsize: 29168
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6552 0 0 0 33947 54 0 0 25 0 1 0 966315734 29868032 5692 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 5692 301 301 0 6991 0
vsize: 29168
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6782 0 0 0 34946 55 0 0 25 0 1 0 966315734 29966336 5922 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7316 5922 301 301 0 7015 0
vsize: 29264
[startup+360.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 6977 0 0 0 35945 57 0 0 25 0 1 0 966315734 30154752 6117 4294967295 134512640 135730672 3221224592 3221222912 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7362 6117 301 301 0 7061 0
vsize: 29448
[startup+370.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7133 0 0 0 36944 58 0 0 25 0 1 0 966315734 30285824 6273 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7394 6273 301 301 0 7093 0
vsize: 29576
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7158 0 0 0 37944 58 0 0 25 0 1 0 966315734 30285824 6298 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7394 6298 301 301 0 7093 0
vsize: 29576
[startup+390.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7217 0 0 0 38944 59 0 0 25 0 1 0 966315734 30564352 6357 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7462 6357 301 301 0 7161 0
vsize: 29848
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7296 0 0 0 39943 60 0 0 25 0 1 0 966315734 30662656 6436 4294967295 134512640 135730672 3221224592 3221222912 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7486 6436 301 301 0 7185 0
vsize: 29944
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 7486 0 0 0 40941 62 0 0 25 0 1 0 966315734 30662656 6626 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7486 6626 301 301 0 7185 0
vsize: 29944
[startup+420.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8416 0 0 0 41938 65 0 0 25 0 1 0 966315734 33968128 6787 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8293 6787 301 301 0 7992 0
vsize: 33172
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8590 0 0 0 42937 66 0 0 25 0 1 0 966315734 34082816 6961 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8321 6961 301 301 0 8020 0
vsize: 33284
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8802 0 0 0 43936 68 0 0 25 0 1 0 966315734 34222080 7173 4294967295 134512640 135730672 3221224592 3221223184 134763672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8355 7173 301 301 0 8054 0
vsize: 33420
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 8918 0 0 0 44934 70 0 0 25 0 1 0 966315734 34369536 7289 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8391 7289 301 301 0 8090 0
vsize: 33564
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9113 0 0 0 45932 71 0 0 25 0 1 0 966315734 51376128 7484 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12543 7484 301 301 0 12242 0
vsize: 50172
[startup+470.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9312 0 0 0 46931 73 0 0 25 0 1 0 966315734 51511296 7683 4294967295 134512640 135730672 3221224592 3221222912 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12576 7683 301 301 0 12275 0
vsize: 50304
[startup+480.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9478 0 0 0 47930 75 0 0 25 0 1 0 966315734 51675136 7849 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12616 7849 301 301 0 12315 0
vsize: 50464
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9551 0 0 0 48928 76 0 0 25 0 1 0 966315734 51937280 7922 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12680 7922 301 301 0 12379 0
vsize: 50720
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9601 0 0 0 49928 77 0 0 25 0 1 0 966315734 52101120 7972 4294967295 134512640 135730672 3221224592 3221223088 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12720 7972 301 301 0 12419 0
vsize: 50880
[startup+510.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9647 0 0 0 50927 77 0 0 25 0 1 0 966315734 52236288 8018 4294967295 134512640 135730672 3221224592 3221223088 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12753 8018 301 301 0 12452 0
vsize: 51012
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9694 0 0 0 51926 79 0 0 25 0 1 0 966315734 52457472 8065 4294967295 134512640 135730672 3221224592 3221223088 134747483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12807 8065 301 301 0 12506 0
vsize: 51228
[startup+530.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9741 0 0 0 52926 79 0 0 25 0 1 0 966315734 52682752 8112 4294967295 134512640 135730672 3221224592 3221223088 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12862 8112 301 301 0 12561 0
vsize: 51448
[startup+540.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9775 0 0 0 53925 80 0 0 25 0 1 0 966315734 52682752 8146 4294967295 134512640 135730672 3221224592 3221223216 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12862 8146 301 301 0 12561 0
vsize: 51448
[startup+550.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9795 0 0 0 54925 80 0 0 25 0 1 0 966315734 52682752 8166 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12862 8166 301 301 0 12561 0
vsize: 51448
[startup+560.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9818 0 0 0 55924 81 0 0 25 0 1 0 966315734 52776960 8189 4294967295 134512640 135730672 3221224592 3221223088 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12885 8189 301 301 0 12584 0
vsize: 51540
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9848 0 0 0 56924 82 0 0 25 0 1 0 966315734 52776960 8219 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12885 8219 301 301 0 12584 0
vsize: 51540
[startup+580.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9888 0 0 0 57924 82 0 0 25 0 1 0 966315734 52887552 8259 4294967295 134512640 135730672 3221224592 3221223088 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12912 8259 301 301 0 12611 0
vsize: 51648
[startup+590.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9912 0 0 0 58923 83 0 0 25 0 1 0 966315734 52994048 8283 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12938 8283 301 301 0 12637 0
vsize: 51752
[startup+600.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 9962 0 0 0 59922 84 0 0 25 0 1 0 966315734 53190656 8333 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8333 301 301 0 12685 0
vsize: 51944
[startup+610.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10118 0 0 0 60921 85 0 0 25 0 1 0 966315734 53190656 8489 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8489 301 301 0 12685 0
vsize: 51944
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10138 0 0 0 61921 86 0 0 25 0 1 0 966315734 53288960 8509 4294967295 134512640 135730672 3221224592 3221223104 134746512 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13010 8509 301 301 0 12709 0
vsize: 52040
[startup+630.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10248 0 0 0 62920 87 0 0 25 0 1 0 966315734 53424128 8619 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13043 8619 301 301 0 12742 0
vsize: 52172
[startup+640.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10294 0 0 0 63919 87 0 0 25 0 1 0 966315734 53522432 8665 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13067 8665 301 301 0 12766 0
vsize: 52268
[startup+650.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10344 0 0 0 64918 89 0 0 25 0 1 0 966315734 53755904 8715 4294967295 134512640 135730672 3221224592 3221223088 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 8715 301 301 0 12823 0
vsize: 52496
[startup+660.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10366 0 0 0 65918 89 0 0 25 0 1 0 966315734 53755904 8737 4294967295 134512640 135730672 3221224592 3221223088 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 8737 301 301 0 12823 0
vsize: 52496
[startup+670.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10395 0 0 0 66917 90 0 0 25 0 1 0 966315734 53846016 8766 4294967295 134512640 135730672 3221224592 3221222504 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13146 8766 301 301 0 12845 0
vsize: 52584
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10415 0 0 0 67917 91 0 0 25 0 1 0 966315734 53846016 8786 4294967295 134512640 135730672 3221224592 3221222976 134761984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13146 8786 301 301 0 12845 0
vsize: 52584
[startup+690.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10498 0 0 0 68916 92 0 0 25 0 1 0 966315734 53981184 8869 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13179 8869 301 301 0 12878 0
vsize: 52716
[startup+700.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10620 0 0 0 69915 93 0 0 25 0 1 0 966315734 54083584 8991 4294967295 134512640 135730672 3221224592 3221222964 134763215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13204 8991 301 301 0 12903 0
vsize: 52816
[startup+710.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10763 0 0 0 70914 94 0 0 25 0 1 0 966315734 54206464 9134 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13234 9134 301 301 0 12933 0
vsize: 52936
[startup+720.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10905 0 0 0 71913 95 0 0 25 0 1 0 966315734 54476800 9276 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13300 9276 301 301 0 12999 0
vsize: 53200
[startup+730.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10919 0 0 0 72913 96 0 0 25 0 1 0 966315734 54476800 9290 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13300 9290 301 301 0 12999 0
vsize: 53200
[startup+740.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10971 0 0 0 73912 97 0 0 25 0 1 0 966315734 54706176 9342 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13356 9342 301 301 0 13055 0
vsize: 53424
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 10990 0 0 0 74912 97 0 0 25 0 1 0 966315734 54706176 9361 4294967295 134512640 135730672 3221224592 3221223136 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13356 9361 301 301 0 13055 0
vsize: 53424
[startup+760.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11030 0 0 0 75911 98 0 0 25 0 1 0 966315734 54816768 9401 4294967295 134512640 135730672 3221224592 3221222976 134761958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13383 9401 301 301 0 13082 0
vsize: 53532
[startup+770.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11045 0 0 0 76911 98 0 0 25 0 1 0 966315734 54816768 9416 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13383 9416 301 301 0 13082 0
vsize: 53532
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11070 0 0 0 77910 99 0 0 25 0 1 0 966315734 54915072 9441 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13407 9441 301 301 0 13106 0
vsize: 53628
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11084 0 0 0 78910 99 0 0 25 0 1 0 966315734 54915072 9455 4294967295 134512640 135730672 3221224592 3221223088 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13407 9455 301 301 0 13106 0
vsize: 53628
[startup+800.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11125 0 0 0 79910 100 0 0 25 0 1 0 966315734 55021568 9496 4294967295 134512640 135730672 3221224592 3221223236 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13433 9496 301 301 0 13132 0
vsize: 53732
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11171 0 0 0 80909 100 0 0 25 0 1 0 966315734 55234560 9542 4294967295 134512640 135730672 3221224592 3221222832 134786288 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13485 9542 301 301 0 13184 0
vsize: 53940
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11194 0 0 0 81909 101 0 0 25 0 1 0 966315734 55234560 9565 4294967295 134512640 135730672 3221224592 3221223104 134746517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13485 9565 301 301 0 13184 0
vsize: 53940
[startup+830.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11239 0 0 0 82909 102 0 0 25 0 1 0 966315734 55382016 9610 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13521 9610 301 301 0 13220 0
vsize: 54084
[startup+840.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11482 0 0 0 83908 103 0 0 25 0 1 0 966315734 55517184 9853 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13554 9853 301 301 0 13253 0
vsize: 54216
[startup+850.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11636 0 0 0 84907 104 0 0 25 0 1 0 966315734 55652352 10007 4294967295 134512640 135730672 3221224592 3221223088 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10007 301 301 0 13286 0
vsize: 54348
[startup+860.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11850 0 0 0 85905 105 0 0 25 0 1 0 966315734 55652352 10221 4294967295 134512640 135730672 3221224592 3221223260 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13587 10221 301 301 0 13286 0
vsize: 54348
[startup+870.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11880 0 0 0 86905 106 0 0 25 0 1 0 966315734 55787520 10251 4294967295 134512640 135730672 3221224592 3221223104 134746181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13620 10251 301 301 0 13319 0
vsize: 54480
[startup+880.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11911 0 0 0 87905 106 0 0 25 0 1 0 966315734 55984128 10282 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13668 10282 301 301 0 13367 0
vsize: 54672
[startup+890.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11923 0 0 0 88904 107 0 0 25 0 1 0 966315734 55984128 10294 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13668 10294 301 301 0 13367 0
vsize: 54672
[startup+900.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11958 0 0 0 89904 108 0 0 25 0 1 0 966315734 56164352 10329 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13712 10329 301 301 0 13411 0
vsize: 54848
[startup+910.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 11983 0 0 0 90903 108 0 0 25 0 1 0 966315734 56164352 10354 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13712 10354 301 301 0 13411 0
vsize: 54848
[startup+920.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12013 0 0 0 91903 109 0 0 25 0 1 0 966315734 56164352 10384 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13712 10384 301 301 0 13411 0
vsize: 54848
[startup+930.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12106 0 0 0 92902 110 0 0 25 0 1 0 966315734 56393728 10477 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13768 10477 301 301 0 13467 0
vsize: 55072
[startup+940.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12237 0 0 0 93901 111 0 0 25 0 1 0 966315734 56664064 10608 4294967295 134512640 135730672 3221224592 3221222912 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13834 10608 301 301 0 13533 0
vsize: 55336
[startup+950.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12252 0 0 0 94900 112 0 0 25 0 1 0 966315734 56664064 10623 4294967295 134512640 135730672 3221224592 3221223216 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13834 10623 301 301 0 13533 0
vsize: 55336
[startup+960.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12323 0 0 0 95900 113 0 0 25 0 1 0 966315734 56799232 10694 4294967295 134512640 135730672 3221224592 3221223216 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13867 10694 301 301 0 13566 0
vsize: 55468
[startup+970.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12393 0 0 0 96899 114 0 0 25 0 1 0 966315734 56799232 10764 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13867 10764 301 301 0 13566 0
vsize: 55468
[startup+980.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12545 0 0 0 97898 115 0 0 25 0 1 0 966315734 56799232 10916 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13867 10916 301 301 0 13566 0
vsize: 55468
[startup+990.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12733 0 0 0 98896 117 0 0 25 0 1 0 966315734 56897536 11104 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13891 11104 301 301 0 13590 0
vsize: 55564
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12849 0 0 0 99896 118 0 0 25 0 1 0 966315734 57032704 11220 4294967295 134512640 135730672 3221224592 3221222808 134813609 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13924 11220 301 301 0 13623 0
vsize: 55696
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12885 0 0 0 100895 119 0 0 25 0 1 0 966315734 57126912 11256 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13947 11256 301 301 0 13646 0
vsize: 55788
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 12990 0 0 0 101894 120 0 0 25 0 1 0 966315734 57126912 11361 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13947 11361 301 301 0 13646 0
vsize: 55788
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13186 0 0 0 102893 121 0 0 25 0 1 0 966315734 57262080 11557 4294967295 134512640 135730672 3221224592 3221223104 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13980 11557 301 301 0 13679 0
vsize: 55920
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13293 0 0 0 103892 122 0 0 25 0 1 0 966315734 57262080 11664 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13980 11664 301 301 0 13679 0
vsize: 55920
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13486 0 0 0 104891 123 0 0 25 0 1 0 966315734 57397248 11857 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14013 11857 301 301 0 13712 0
vsize: 56052
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13646 0 0 0 105890 124 0 0 25 0 1 0 966315734 57716736 12017 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14091 12017 301 301 0 13790 0
vsize: 56364
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13667 0 0 0 106890 125 0 0 25 0 1 0 966315734 57716736 12038 4294967295 134512640 135730672 3221224592 3221223248 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14091 12038 301 301 0 13790 0
vsize: 56364
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 13707 0 0 0 107888 126 0 0 25 0 1 0 966315734 57851904 12078 4294967295 134512640 135730672 3221224592 3221223200 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14124 12078 301 301 0 13823 0
vsize: 56496
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15312 0 0 0 108885 130 0 0 25 0 1 0 966315734 64520192 12146 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15752 12146 301 301 0 15451 0
vsize: 63008
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15325 0 0 0 109884 131 0 0 25 0 1 0 966315734 64520192 12159 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15752 12159 301 301 0 15451 0
vsize: 63008
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15367 0 0 0 110883 132 0 0 25 0 1 0 966315734 64655360 12201 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15785 12201 301 301 0 15484 0
vsize: 63140
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15378 0 0 0 111883 132 0 0 25 0 1 0 966315734 64655360 12212 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15785 12212 301 301 0 15484 0
vsize: 63140
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15410 0 0 0 112883 133 0 0 25 0 1 0 966315734 64790528 12244 4294967295 134512640 135730672 3221224592 3221223104 134746226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15818 12244 301 301 0 15517 0
vsize: 63272
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15428 0 0 0 113882 134 0 0 25 0 1 0 966315734 64790528 12262 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15818 12262 301 301 0 15517 0
vsize: 63272
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15461 0 0 0 114882 135 0 0 25 0 1 0 966315734 64901120 12295 4294967295 134512640 135730672 3221224592 3221223104 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15845 12295 301 301 0 15544 0
vsize: 63380
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15510 0 0 0 115880 136 0 0 25 0 1 0 966315734 65064960 12344 4294967295 134512640 135730672 3221224592 3221223184 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15885 12344 301 301 0 15584 0
vsize: 63540
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15525 0 0 0 116880 137 0 0 25 0 1 0 966315734 65064960 12359 4294967295 134512640 135730672 3221224592 3221223104 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15885 12359 301 301 0 15584 0
vsize: 63540
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15556 0 0 0 117880 137 0 0 25 0 1 0 966315734 65196032 12390 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15917 12390 301 301 0 15616 0
vsize: 63668
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15602 0 0 0 118879 138 0 0 25 0 1 0 966315734 65425408 12436 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15973 12436 301 301 0 15672 0
vsize: 63892
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1544
Raw data (stat): 1544 (pb2sat-v2) R 1543 31399 31398 0 -1 0 15616 0 0 0 119878 139 0 0 25 0 1 0 966315734 65425408 12450 4294967295 134512640 135730672 3221224592 3221223164 134740379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15973 12450 301 301 0 15672 0
vsize: 63892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1544
Raw data (stat): 1544 (pb2sat-v2) Z 1543 31399 31398 0 -1 12 15618 0 0 0 119892 141 0 0 25 0 1 0 966315734 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.18
CPU time (s): 1200.35
CPU user time (s): 1198.93
CPU system time (s): 1.41778
CPU usage (%): 100.013
Max. virtual memory (Kb): 63892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####