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-3.opb
MD5SUM	3d08363a486acbc90a149ca8c58297b8
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	13473
Number of constraints which are clauses	13473
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 42105

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-15 23:55:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25306 boxname=wulflinc4 idbench=208 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d08363a486acbc90a149ca8c58297b8  /oldhome/oroussel/tmp/wulflinc4/normalized-par32-3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-3.opb
IDLAUNCH: 25306
/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:        735168 kB
Buffers:         33620 kB
Cached:         244100 kB
SwapCached:        944 kB
Active:          57756 kB
Inactive:       222108 kB
HighTotal:      131008 kB
HighFree:         8372 kB
LowTotal:       903652 kB
LowFree:        726796 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14136 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:15:26 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 25306 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 1575/6365	Time: 20.5269/86400
c Decision: 1575/6365	Time: 21.5617/86400
c Decision: 1575/6365	Time: 22.7295/86400
c Decision: 1575/6365	Time: 24.4433/86400
c Decision: 1579/6365	Time: 26.6589/86400
c Decision: 1579/6365	Time: 28.4367/86400
c Decision: 1579/6365	Time: 30.3154/86400
c Decision: 1579/6365	Time: 31.8522/86400
c Decision: 1579/6365	Time: 33.8269/86400
c Decision: 1579/6365	Time: 35.1687/86400
c Decision: 1579/6365	Time: 36.7834/86400
c Decision: 1579/6365	Time: 38.3932/86400
c Decision: 1579/6365	Time: 40.3489/86400
c Decision: 1579/6365	Time: 42.2506/86400
c Decision: 1579/6365	Time: 44.1993/86400
c Decision: 1579/6365	Time: 46.4609/86400
c Decision: 1579/6365	Time: 48.2947/86400
c Decision: 1579/6365	Time: 49.2895/86400
c Decision: 1579/6365	Time: 51.6861/86400
c Decision: 1579/6365	Time: 53.8338/86400
c Decision: 1579/6365	Time: 56.0625/86400
c Decision: 1579/6365	Time: 58.3491/86400
c Decision: 1579/6365	Time: 59.9449/86400
c Decision: 1579/6365	Time: 62.2495/86400
c Decision: 1579/6365	Time: 63.7003/86400
c Decision: 1579/6365	Time: 65.8/86400
c Decision: 1579/6365	Time: 68.1966/86400
c Decision: 1579/6365	Time: 70.3183/86400
c Decision: 1579/6365	Time: 72.388/86400
c Decision: 1579/6365	Time: 75.1036/86400
c Decision: 1579/6365	Time: 77.6832/86400
c Decision: 1579/6365	Time: 78.972/86400
c Decision: 1579/6365	Time: 81.1877/86400
c Decision: 1579/6365	Time: 83.3333/86400
c Decision: 1579/6365	Time: 85.45/86400
c Decision: 1579/6365	Time: 88.0256/86400
c Decision: 1579/6365	Time: 89.7844/86400
c Decision: 1579/6365	Time: 91.6611/86400
c Decision: 1579/6365	Time: 93.8817/86400
c Decision: 1579/6365	Time: 96.0124/86400
c Decision: 1579/6365	Time: 98.452/86400
c Decision: 1579/6365	Time: 100.381/86400
c Decision: 1579/6365	Time: 101.969/86400
c Decision: 1579/6365	Time: 104.465/86400
c Decision: 1579/6365	Time: 106.281/86400
c Decision: 1579/6365	Time: 108.98/86400
c Decision: 1579/6365	Time: 111.305/86400
c Decision: 1579/6365	Time: 113.697/86400
c Decision: 1579/6365	Time: 115.864/86400
c Decision: 1579/6365	Time: 118.468/86400
c Decision: 1579/6365	Time: 121.478/86400
c Decision: 1579/6365	Time: 123.997/86400
c Decision: 1579/6365	Time: 126.586/86400
c Decision: 1579/6365	Time: 128.94/86400
c Decision: 1579/6365	Time: 131.614/86400
c Decision: 1579/6365	Time: 134.681/86400
c Decision: 1579/6365	Time: 137.168/86400
c Decision: 1579/6365	Time: 139.164/86400
c Decision: 1579/6365	Time: 141.878/86400
c Decision: 1579/6365	Time: 144.374/86400
c Decision: 1579/6365	Time: 147.046/86400
c Decision: 1579/6365	Time: 149.671/86400
c Decision: 1579/6365	Time: 152.115/86400
c Decision: 1579/6365	Time: 154.804/86400
c Decision: 1579/6365	Time: 157.015/86400
c Decision: 1579/6365	Time: 159.64/86400
c Decision: 1579/6365	Time: 161.412/86400
c Decision: 1579/6365	Time: 163.682/86400
c Decision: 1579/6365	Time: 166.364/86400
c Decision: 1579/6365	Time: 168.999/86400
c Decision: 1579/6365	Time: 171.949/86400
c Decision: 1579/6365	Time: 174.304/86400
c Decision: 1579/6365	Time: 176.692/86400
c Decision: 1579/6365	Time: 179.394/86400
c Decision: 1579/6365	Time: 181.896/86400
c Decision: 1579/6365	Time: 183.771/86400
c Decision: 1579/6365	Time: 186.588/86400
c Decision: 1579/6365	Time: 189.222/86400
c Decision: 1579/6365	Time: 191.587/86400
c Decision: 1579/6365	Time: 194.198/86400
c Decision: 1579/6365	Time: 197.237/86400
c Decision: 1579/6365	Time: 199.722/86400
c Decision: 1579/6365	Time: 203.15/86400
c Decision: 1579/6365	Time: 206.14/86400
c Decision: 1579/6365	Time: 208.782/86400
c Decision: 1579/6365	Time: 211.926/86400
c Decision: 1579/6365	Time: 214.861/86400
c Decision: 1579/6365	Time: 217.172/86400
c Decision: 1579/6365	Time: 219.587/86400
c Decision: 1579/6365	Time: 222.411/86400
c Decision: 1579/6365	Time: 225.247/86400
c Decision: 1579/6365	Time: 228.12/86400
c Decision: 1579/6365	Time: 230.757/86400
c Decision: 1579/6365	Time: 233.065/86400
c Decision: 1579/6365	Time: 235.783/86400
c Decision: 1579/6365	Time: 238.85/86400
c Decision: 1579/6365	Time: 242.23/86400
c Decision: 1579/6365	Time: 245.417/86400
c Decision: 1579/6365	Time: 248.283/86400
c Decision: 1579/6365	Time: 250.944/86400
c Decision: 1579/6365	Time: 254.297/86400
c Decision: 1579/6365	Time: 257.185/86400
c Decision: 1579/6365	Time: 259.945/86400
c Decision: 1579/6365	Time: 262.684/86400
c Decision: 1579/6365	Time: 265.767/86400
c Decision: 1579/6365	Time: 268.957/86400
c Decision: 1579/6365	Time: 271.387/86400
c Decision: 1579/6365	Time: 274.018/86400
c Decision: 1579/6365	Time: 277.017/86400
c Decision: 1579/6365	Time: 279.919/86400
c Decision: 1579/6365	Time: 283.143/86400
c Decision: 1579/6365	Time: 286.135/86400
c Decision: 1579/6365	Time: 289.022/86400
c Decision: 1579/6365	Time: 291.573/86400
c Decision: 1579/6365	Time: 294.327/86400
c Decision: 1579/6365	Time: 297.574/86400
c Decision: 1579/6365	Time: 300.57/86400
c Decision: 1579/6365	Time: 303.466/86400
c Decision: 1579/6365	Time: 305.85/86400
c Decision: 1579/6365	Time: 308.933/86400
c Decision: 1579/6365	Time: 312.65/86400
c Decision: 1579/6365	Time: 315.814/86400
c Decision: 1579/6365	Time: 318.495/86400
c Decision: 1579/6365	Time: 321.107/86400
c Decision: 1579/6365	Time: 323.747/86400
c Decision: 1579/6365	Time: 327.038/86400
c Decision: 1579/6365	Time: 329.517/86400
c Decision: 1579/6365	Time: 332.49/86400
c Decision: 1579/6365	Time: 335.647/86400
c Decision: 1579/6365	Time: 338.808/86400
c Decision: 1579/6365	Time: 342.115/86400
c Decision: 1579/6365	Time: 344.589/86400
c Decision: 1579/6365	Time: 347.51/86400
c Decision: 1579/6365	Time: 350.335/86400
c Decision: 1579/6365	Time: 353.069/86400
c Decision: 1579/6365	Time: 356.425/86400
c Decision: 1579/6365	Time: 359.333/86400
c Decision: 1579/6365	Time: 362.072/86400
c Decision: 1579/6365	Time: 365.084/86400
c Decision: 1579/6365	Time: 367.825/86400
c Decision: 1579/6365	Time: 370.566/86400
c Decision: 1579/6365	Time: 373.625/86400
c Decision: 1579/6365	Time: 376.929/86400
c Decision: 1579/6365	Time: 379.93/86400
c Decision: 1579/6365	Time: 382.934/86400
c Decision: 1579/6365	Time: 386.168/86400
c Decision: 1579/6365	Time: 389.445/86400
c Decision: 1579/6365	Time: 392.675/86400
c Decision: 1579/6365	Time: 396.119/86400
c Decision: 1579/6365	Time: 398.912/86400
c Decision: 1579/6365	Time: 402.026/86400
c Decision: 1579/6365	Time: 404.898/86400
c Decision: 1579/6365	Time: 408.272/86400
c Decision: 1579/6365	Time: 411.511/86400
c Decision: 1579/6365	Time: 414.967/86400
c Decision: 1579/6365	Time: 418.732/86400
c Decision: 1579/6365	Time: 421.376/86400
c Decision: 1579/6365	Time: 424.249/86400
c Decision: 1579/6365	Time: 427.237/86400
c Decision: 1579/6365	Time: 430.158/86400
c Decision: 1579/6365	Time: 433.498/86400
c Decision: 1579/6365	Time: 436.699/86400
c Decision: 1579/6365	Time: 440.063/86400
c Decision: 1579/6365	Time: 442.967/86400
c Decision: 1579/6365	Time: 446.31/86400
c Decision: 1579/6365	Time: 449.683/86400
c Decision: 1579/6365	Time: 452.913/86400
c Decision: 1579/6365	Time: 455.543/86400
c Decision: 1579/6365	Time: 458.418/86400
c Decision: 1579/6365	Time: 461.705/86400
c Decision: 1579/6365	Time: 464.75/86400
c Decision: 1579/6365	Time: 467.501/86400
c Decision: 1579/6365	Time: 470.715/86400
c Decision: 1579/6365	Time: 473.442/86400
c Decision: 1579/6365	Time: 476.719/86400
c Decision: 1579/6365	Time: 480.697/86400
c Decision: 1579/6365	Time: 484.332/86400
c Decision: 1579/6365	Time: 487.61/86400
c Decision: 1579/6365	Time: 490.753/86400
c Decision: 1579/6365	Time: 493.946/86400
c Decision: 1579/6365	Time: 497.803/86400
c Decision: 1579/6365	Time: 501.097/86400
c Decision: 1579/6365	Time: 504.199/86400
c Decision: 1579/6365	Time: 506.938/86400
c Decision: 1579/6365	Time: 510.466/86400
c Decision: 1579/6365	Time: 514.387/86400
c Decision: 1579/6365	Time: 517.873/86400
c Decision: 1579/6365	Time: 520.882/86400
c Decision: 1579/6365	Time: 523.154/86400
c Decision: 1579/6365	Time: 526.681/86400
c Decision: 1579/6365	Time: 530.732/86400
c Decision: 1579/6365	Time: 533.988/86400
c Decision: 1579/6365	Time: 537.431/86400
c Decision: 1579/6365	Time: 540.784/86400
c Decision: 1579/6365	Time: 543.735/86400
c Decision: 1579/6365	Time: 547.526/86400
c Decision: 1579/6365	Time: 551.002/86400
c Decision: 1579/6365	Time: 554.578/86400
c Decision: 1579/6365	Time: 558.245/86400
c Decision: 1579/6365	Time: 561.633/86400
c Decision: 1579/6365	Time: 564.948/86400
c Decision: 1579/6365	Time: 568.559/86400
c Decision: 1579/6365	Time: 572.519/86400
c Decision: 1579/6365	Time: 576.432/86400
c Decision: 1579/6365	Time: 579.766/86400
c Decision: 1579/6365	Time: 584.124/86400
c Decision: 1579/6365	Time: 587.714/86400
c Decision: 1579/6365	Time: 591.589/86400
c Decision: 1579/6365	Time: 594.55/86400
c Decision: 1579/6365	Time: 597.619/86400
c Decision: 1579/6365	Time: 601.677/86400
c Decision: 1579/6365	Time: 605.015/86400
c Decision: 1579/6365	Time: 607.747/86400
c Decision: 1579/6365	Time: 610.828/86400
c Decision: 1579/6365	Time: 614.013/86400
c Decision: 1579/6365	Time: 617.216/86400
c Decision: 1579/6365	Time: 619.88/86400
c Decision: 1579/6365	Time: 623.023/86400
c Decision: 1579/6365	Time: 625.973/86400
c Decision: 1579/6365	Time: 628.976/86400
c Decision: 1579/6365	Time: 632.446/86400
c Decision: 1579/6365	Time: 635.832/86400
c Decision: 1579/6365	Time: 639.131/86400
c Decision: 1579/6365	Time: 642.348/86400
c Decision: 1579/6365	Time: 645.429/86400
c Decision: 1579/6365	Time: 648.994/86400
c Decision: 1579/6365	Time: 651.87/86400
c Decision: 1579/6365	Time: 654.671/86400
c Decision: 1579/6365	Time: 658.081/86400
c Decision: 1579/6365	Time: 661.3/86400
c Decision: 1579/6365	Time: 664.94/86400
c Decision: 1579/6365	Time: 668.791/86400
c Decision: 1579/6365	Time: 672.032/86400
c Decision: 1579/6365	Time: 675.32/86400
c Decision: 1579/6365	Time: 678.005/86400
c Decision: 1579/6365	Time: 681.644/86400
c Decision: 1579/6365	Time: 684.802/86400
c Decision: 1579/6365	Time: 687.797/86400
c Decision: 1579/6365	Time: 690.735/86400
c Decision: 1579/6365	Time: 694.068/86400
c Decision: 1579/6365	Time: 697.773/86400
c Decision: 1579/6365	Time: 701.146/86400
c Decision: 1579/6365	Time: 704.093/86400
c Decision: 1579/6365	Time: 707.462/86400
c Decision: 1579/6365	Time: 710.605/86400
c Decision: 1579/6365	Time: 714.219/86400
c Decision: 1579/6365	Time: 717.398/86400
c Decision: 1579/6365	Time: 720.959/86400
c Decision: 1579/6365	Time: 724.596/86400
c Decision: 1579/6365	Time: 728.151/86400
c Decision: 1579/6365	Time: 731.695/86400
c Decision: 1579/6365	Time: 735.034/86400
c Decision: 1579/6365	Time: 738.51/86400
c Decision: 1579/6365	Time: 741.336/86400
c Decision: 1579/6365	Time: 744.608/86400
c Decision: 1579/6365	Time: 748.424/86400
c Decision: 1579/6365	Time: 751.53/86400
c Decision: 1579/6365	Time: 754.869/86400
c Decision: 1579/6365	Time: 757.963/86400
c Decision: 1579/6365	Time: 761.332/86400
c Decision: 1579/6365	Time: 765.598/86400
c Decision: 1579/6365	Time: 769.157/86400
c Decision: 1579/6365	Time: 772.089/86400
c Decision: 1579/6365	Time: 775.394/86400
c Decision: 1579/6365	Time: 778.587/86400
c Decision: 1579/6365	Time: 782.621/86400
c Decision: 1579/6365	Time: 786.175/86400
c Decision: 1579/6365	Time: 789.58/86400
c Decision: 1579/6365	Time: 792.989/86400
c Decision: 1579/6365	Time: 796.372/86400
c Decision: 1579/6365	Time: 800.249/86400
c Decision: 1579/6365	Time: 803.723/86400
c Decision: 1579/6365	Time: 807.633/86400
c Decision: 1579/6365	Time: 810.997/86400
c Decision: 1579/6365	Time: 814.544/86400
c Decision: 1579/6365	Time: 818.582/86400
c Decision: 1579/6365	Time: 821.818/86400
c Decision: 1579/6365	Time: 825.525/86400
c Decision: 1579/6365	Time: 828.956/86400
c Decision: 1579/6365	Time: 832.797/86400
c Decision: 1579/6365	Time: 836.906/86400
c Decision: 1579/6365	Time: 840.672/86400
c Decision: 1579/6365	Time: 844.392/86400
c Decision: 1579/6365	Time: 847.462/86400
c Decision: 1579/6365	Time: 850.824/86400
c Decision: 1579/6365	Time: 854.376/86400
c Decision: 1579/6365	Time: 858.072/86400
c Decision: 1579/6365	Time: 861.404/86400
c Decision: 1579/6365	Time: 864.676/86400
c Decision: 1579/6365	Time: 868.052/86400
c Decision: 1579/6365	Time: 872.072/86400
c Decision: 1579/6365	Time: 875.649/86400
c Decision: 1579/6365	Time: 879.672/86400
c Decision: 1579/6365	Time: 883.444/86400
c Decision: 1579/6365	Time: 886.81/86400
c Decision: 1579/6365	Time: 890.046/86400
c Decision: 1579/6365	Time: 893.716/86400
c Decision: 1579/6365	Time: 896.714/86400
c Decision: 1579/6365	Time: 900.024/86400
c Decision: 1579/6365	Time: 903.543/86400
c Decision: 1579/6365	Time: 907.388/86400
c Decision: 1579/6365	Time: 911.025/86400
c Decision: 1579/6365	Time: 914.706/86400
c Decision: 1579/6365	Time: 918.443/86400
c Decision: 1579/6365	Time: 921.704/86400
c Decision: 1579/6365	Time: 925.357/86400
c Decision: 1579/6365	Time: 928.53/86400
c Decision: 1579/6365	Time: 931.635/86400
c Decision: 1579/6365	Time: 935.073/86400
c Decision: 1579/6365	Time: 938.916/86400
c Decision: 1579/6365	Time: 942.637/86400
c Decision: 1579/6365	Time: 946.149/86400
c Decision: 1579/6365	Time: 949.341/86400
c Decision: 1579/6365	Time: 952.834/86400
c Decision: 1579/6365	Time: 956.261/86400
c Decision: 1579/6365	Time: 959.752/86400
c Decision: 1579/6365	Time: 963.009/86400
c Decision: 1579/6365	Time: 966.528/86400
c Decision: 1579/6365	Time: 970.482/86400
c Decision: 1579/6365	Time: 974.313/86400
c Decision: 1579/6365	Time: 978.9/86400
c Decision: 1579/6365	Time: 982.692/86400
c Decision: 1579/6365	Time: 986.359/86400
c Decision: 1579/6365	Time: 990.588/86400
c Decision: 1579/6365	Time: 994.271/86400
c Decision: 1579/6365	Time: 998.994/86400
c Decision: 1579/6365	Time: 1003.21/86400
c Decision: 1579/6365	Time: 1006.29/86400
c Decision: 1579/6365	Time: 1010.48/86400
c Decision: 1579/6365	Time: 1013.76/86400
c Decision: 1579/6365	Time: 1018.04/86400
c Decision: 1579/6365	Time: 1022.31/86400
c Decision: 1579/6365	Time: 1026.21/86400
c Decision: 1579/6365	Time: 1030.09/86400
c Decision: 1579/6365	Time: 1033.9/86400
c Decision: 1579/6365	Time: 1037.98/86400
c Decision: 1579/6365	Time: 1041.66/86400
c Decision: 1579/6365	Time: 1045.09/86400
c Decision: 1579/6365	Time: 1048.56/86400
c Decision: 1579/6365	Time: 1052.53/86400
c Decision: 1579/6365	Time: 1056.27/86400
c Decision: 1579/6365	Time: 1060.33/86400
c Decision: 1579/6365	Time: 1064.11/86400
c Decision: 1579/6365	Time: 1067.2/86400
c Decision: 1579/6365	Time: 1070.51/86400
c Decision: 1579/6365	Time: 1074.77/86400
c Decision: 1579/6365	Time: 1078.03/86400
c Decision: 1579/6365	Time: 1081.56/86400
c Decision: 1579/6365	Time: 1084.99/86400
c Decision: 1579/6365	Time: 1088.56/86400
c Decision: 1579/6365	Time: 1092.36/86400
c Decision: 1579/6365	Time: 1096.21/86400
c Decision: 1579/6365	Time: 1099.77/86400
c Decision: 1579/6365	Time: 1103.48/86400
c Decision: 1579/6365	Time: 1107.13/86400
c Decision: 1579/6365	Time: 1111.6/86400
c Decision: 1579/6365	Time: 1115.66/86400
c Decision: 1579/6365	Time: 1119.89/86400
c Decision: 1579/6365	Time: 1123.13/86400
c Decision: 1579/6365	Time: 1126.08/86400
c Decision: 1579/6365	Time: 1130.86/86400
c Decision: 1579/6365	Time: 1134.93/86400
c Decision: 1579/6365	Time: 1138.62/86400
c Decision: 1579/6365	Time: 1142.58/86400
c Decision: 1579/6365	Time: 1146.65/86400
c Decision: 1579/6365	Time: 1150.5/86400
c Decision: 1579/6365	Time: 1153.76/86400
c Decision: 1579/6365	Time: 1157.27/86400
c Decision: 1579/6365	Time: 1161.12/86400
c Decision: 1579/6365	Time: 1165.23/86400
c Decision: 1579/6365	Time: 1169.59/86400
c Decision: 1579/6365	Time: 1173.42/86400
c Decision: 1579/6365	Time: 1177.62/86400
c Decision: 1579/6365	Time: 1181.34/86400
c Decision: 1579/6365	Time: 1185.13/86400
c Decision: 1579/6365	Time: 1189.13/86400
c Decision: 1579/6365	Time: 1192.89/86400
c Decision: 1579/6365	Time: 1196.91/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.90 2/54 17950
Raw data (stat): 17950 (runsolver) R 17949 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966235635 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0014 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 1445 0 0 0 995 4 0 0 25 0 1 0 966235635 6176768 1163 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1508 1163 301 301 0 1207 0
vsize: 6032
[startup+20.0032 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 1789 0 0 0 1993 6 0 0 25 0 1 0 966235635 7503872 1507 4294967295 134512640 135730672 3221224592 3221223136 134740268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1832 1507 301 301 0 1531 0
vsize: 7328
[startup+30.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 2163 0 0 0 2990 9 0 0 25 0 1 0 966235635 10272768 1881 4294967295 134512640 135730672 3221224592 3221223216 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2508 1881 301 301 0 2207 0
vsize: 10032
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 2372 0 0 0 3987 12 0 0 25 0 1 0 966235635 10555392 2090 4294967295 134512640 135730672 3221224592 3221223136 134740321 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2577 2090 301 301 0 2276 0
vsize: 10308
[startup+50.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 2575 0 0 0 4986 13 0 0 25 0 1 0 966235635 10788864 2293 4294967295 134512640 135730672 3221224592 3221223072 134732804 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2634 2293 301 301 0 2333 0
vsize: 10536
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 2838 0 0 0 5984 16 0 0 25 0 1 0 966235635 11710464 2363 4294967295 134512640 135730672 3221224592 3221223136 134740210 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2859 2363 301 301 0 2558 0
vsize: 11436
[startup+70.0065 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 2895 0 0 0 6983 17 0 0 25 0 1 0 966235635 11886592 2420 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2902 2420 301 301 0 2601 0
vsize: 11608
[startup+80.0074 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3042 0 0 0 7981 19 0 0 25 0 1 0 966235635 12062720 2567 4294967295 134512640 135730672 3221224592 3221223088 134747772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2945 2567 301 301 0 2644 0
vsize: 11780
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3290 0 0 0 8978 21 0 0 25 0 1 0 966235635 16465920 2815 4294967295 134512640 135730672 3221224592 3221223216 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4020 2815 301 301 0 3719 0
vsize: 16080
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3566 0 0 0 9975 24 0 0 25 0 1 0 966235635 16592896 3091 4294967295 134512640 135730672 3221224592 3221223088 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4051 3091 301 301 0 3750 0
vsize: 16204
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3647 0 0 0 10974 26 0 0 25 0 1 0 966235635 16773120 3172 4294967295 134512640 135730672 3221224592 3221223184 134763580 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4095 3172 301 301 0 3794 0
vsize: 16380
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3879 0 0 0 11972 28 0 0 25 0 1 0 966235635 16949248 3404 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4138 3404 301 301 0 3837 0
vsize: 16552
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 3984 0 0 0 12971 29 0 0 25 0 1 0 966235635 17059840 3509 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4165 3509 301 301 0 3864 0
vsize: 16660
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 4161 0 0 0 13970 30 0 0 25 0 1 0 966235635 17145856 3686 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4186 3686 301 301 0 3885 0
vsize: 16744
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 4275 0 0 0 14969 31 0 0 25 0 1 0 966235635 17350656 3800 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4236 3800 301 301 0 3935 0
vsize: 16944
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 4880 0 0 0 15966 34 0 0 25 0 1 0 966235635 19152896 4020 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4676 4020 301 301 0 4375 0
vsize: 18704
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5022 0 0 0 16965 35 0 0 25 0 1 0 966235635 27639808 4162 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6748 4162 301 301 0 6447 0
vsize: 26992
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5242 0 0 0 17963 37 0 0 25 0 1 0 966235635 27774976 4382 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6781 4382 301 301 0 6480 0
vsize: 27124
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5411 0 0 0 18961 39 0 0 25 0 1 0 966235635 27877376 4551 4294967295 134512640 135730672 3221224592 3221223088 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6806 4551 301 301 0 6505 0
vsize: 27224
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5497 0 0 0 19960 40 0 0 25 0 1 0 966235635 28155904 4637 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6874 4637 301 301 0 6573 0
vsize: 27496
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5638 0 0 0 20959 41 0 0 25 0 1 0 966235635 28286976 4778 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6906 4778 301 301 0 6605 0
vsize: 27624
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5763 0 0 0 21958 43 0 0 25 0 1 0 966235635 28434432 4903 4294967295 134512640 135730672 3221224592 3221223072 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6942 4903 301 301 0 6641 0
vsize: 27768
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 5912 0 0 0 22957 44 0 0 25 0 1 0 966235635 28655616 5052 4294967295 134512640 135730672 3221224592 3221223104 134746536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6996 5052 301 301 0 6695 0
vsize: 27984
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6067 0 0 0 23955 45 0 0 25 0 1 0 966235635 28753920 5207 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7020 5207 301 301 0 6719 0
vsize: 28080
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6191 0 0 0 24953 48 0 0 25 0 1 0 966235635 28753920 5331 4294967295 134512640 135730672 3221224592 3221223104 134746193 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7020 5331 301 301 0 6719 0
vsize: 28080
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6361 0 0 0 25952 49 0 0 25 0 1 0 966235635 28864512 5501 4294967295 134512640 135730672 3221224592 3221223088 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7047 5501 301 301 0 6746 0
vsize: 28188
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17950
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6631 0 0 0 26949 52 0 0 25 0 1 0 966235635 29040640 5771 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7090 5771 301 301 0 6789 0
vsize: 28360
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17951
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6785 0 0 0 27947 54 0 0 25 0 1 0 966235635 29130752 5925 4294967295 134512640 135730672 3221224592 3221223252 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7112 5925 301 301 0 6811 0
vsize: 28448
[startup+290.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 6994 0 0 0 28946 55 0 0 25 0 1 0 966235635 29335552 6134 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7162 6134 301 301 0 6861 0
vsize: 28648
[startup+300.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7271 0 0 0 29945 56 0 0 25 0 1 0 966235635 29499392 6411 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7202 6411 301 301 0 6901 0
vsize: 28808
[startup+310.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7329 0 0 0 30944 57 0 0 25 0 1 0 966235635 29736960 6469 4294967295 134512640 135730672 3221224592 3221223072 134732870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7260 6469 301 301 0 6959 0
vsize: 29040
[startup+320.025 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7403 0 0 0 31944 58 0 0 25 0 1 0 966235635 29851648 6543 4294967295 134512640 135730672 3221224592 3221223088 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7288 6543 301 301 0 6987 0
vsize: 29152
[startup+330.026 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7465 0 0 0 32943 59 0 0 25 0 1 0 966235635 30031872 6605 4294967295 134512640 135730672 3221224592 3221223072 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7332 6605 301 301 0 7031 0
vsize: 29328
[startup+340.026 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7523 0 0 0 33942 59 0 0 25 0 1 0 966235635 30298112 6663 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7397 6663 301 301 0 7096 0
vsize: 29588
[startup+350.026 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18003
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7646 0 0 0 34942 60 0 0 25 0 1 0 966235635 30404608 6786 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7423 6786 301 301 0 7122 0
vsize: 29692
[startup+360.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7677 0 0 0 35941 61 0 0 25 0 1 0 966235635 30404608 6817 4294967295 134512640 135730672 3221224592 3221222664 135284467 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7423 6817 301 301 0 7122 0
vsize: 29692
[startup+370.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7729 0 0 0 36940 62 0 0 25 0 1 0 966235635 30580736 6869 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7466 6869 301 301 0 7165 0
vsize: 29864
[startup+380.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7772 0 0 0 37940 63 0 0 25 0 1 0 966235635 30695424 6912 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7494 6912 301 301 0 7193 0
vsize: 29976
[startup+390.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 7972 0 0 0 38938 65 0 0 25 0 1 0 966235635 30781440 7112 4294967295 134512640 135730672 3221224592 3221223184 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7515 7112 301 301 0 7214 0
vsize: 30060
[startup+400.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 8096 0 0 0 39937 66 0 0 25 0 1 0 966235635 47640576 7236 4294967295 134512640 135730672 3221224592 3221222832 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11631 7236 301 301 0 11330 0
vsize: 46524
[startup+410.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 8194 0 0 0 40937 66 0 0 25 0 1 0 966235635 47747072 7334 4294967295 134512640 135730672 3221224592 3221223104 134746497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11657 7334 301 301 0 11356 0
vsize: 46628
[startup+420.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 8355 0 0 0 41936 68 0 0 25 0 1 0 966235635 48013312 7495 4294967295 134512640 135730672 3221224592 3221223104 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11722 7495 301 301 0 11421 0
vsize: 46888
[startup+430.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9152 0 0 0 42933 70 0 0 25 0 1 0 966235635 51159040 7523 4294967295 134512640 135730672 3221224592 3221223148 134740375 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12490 7523 301 301 0 12189 0
vsize: 49960
[startup+440.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9182 0 0 0 43933 71 0 0 25 0 1 0 966235635 51290112 7553 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12522 7553 301 301 0 12221 0
vsize: 50088
[startup+450.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9381 0 0 0 44932 72 0 0 25 0 1 0 966235635 51421184 7752 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 7752 301 301 0 12253 0
vsize: 50216
[startup+460.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9511 0 0 0 45931 74 0 0 25 0 1 0 966235635 51519488 7882 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12578 7882 301 301 0 12277 0
vsize: 50312
[startup+470.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9716 0 0 0 46930 75 0 0 25 0 1 0 966235635 51695616 8087 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12621 8087 301 301 0 12320 0
vsize: 50484
[startup+480.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9755 0 0 0 47930 75 0 0 25 0 1 0 966235635 51789824 8126 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12644 8126 301 301 0 12343 0
vsize: 50576
[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9786 0 0 0 48929 75 0 0 25 0 1 0 966235635 51875840 8157 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12665 8157 301 301 0 12364 0
vsize: 50660
[startup+500.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 9920 0 0 0 49929 76 0 0 25 0 1 0 966235635 51965952 8291 4294967295 134512640 135730672 3221224592 3221223088 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12687 8291 301 301 0 12386 0
vsize: 50748
[startup+510.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10021 0 0 0 50927 78 0 0 25 0 1 0 966235635 52101120 8392 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12720 8392 301 301 0 12419 0
vsize: 50880
[startup+520.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10196 0 0 0 51926 80 0 0 25 0 1 0 966235635 52330496 8567 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12776 8567 301 301 0 12475 0
vsize: 51104
[startup+530.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10261 0 0 0 52925 81 0 0 25 0 1 0 966235635 52457472 8632 4294967295 134512640 135730672 3221224592 3221223184 134764113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12807 8632 301 301 0 12506 0
vsize: 51228
[startup+540.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10337 0 0 0 53925 81 0 0 25 0 1 0 966235635 52551680 8708 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12830 8708 301 301 0 12529 0
vsize: 51320
[startup+550.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10511 0 0 0 54924 82 0 0 25 0 1 0 966235635 52633600 8882 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 8882 301 301 0 12549 0
vsize: 51400
[startup+560.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10610 0 0 0 55924 83 0 0 25 0 1 0 966235635 52633600 8981 4294967295 134512640 135730672 3221224592 3221223104 134746532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 8981 301 301 0 12549 0
vsize: 51400
[startup+570.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10809 0 0 0 56922 84 0 0 25 0 1 0 966235635 52924416 9180 4294967295 134512640 135730672 3221224592 3221223104 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12921 9180 301 301 0 12620 0
vsize: 51684
[startup+580.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 10883 0 0 0 57922 85 0 0 25 0 1 0 966235635 52924416 9254 4294967295 134512640 135730672 3221224592 3221223168 134763663 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12921 9254 301 301 0 12620 0
vsize: 51684
[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11031 0 0 0 58921 86 0 0 25 0 1 0 966235635 53194752 9402 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12987 9402 301 301 0 12686 0
vsize: 51948
[startup+600.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11084 0 0 0 59921 87 0 0 25 0 1 0 966235635 53329920 9455 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13020 9455 301 301 0 12719 0
vsize: 52080
[startup+610.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18005
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11162 0 0 0 60920 88 0 0 25 0 1 0 966235635 53559296 9533 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13076 9533 301 301 0 12775 0
vsize: 52304
[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11187 0 0 0 61919 88 0 0 25 0 1 0 966235635 53559296 9558 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13076 9558 301 301 0 12775 0
vsize: 52304
[startup+630.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11207 0 0 0 62919 89 0 0 25 0 1 0 966235635 53645312 9578 4294967295 134512640 135730672 3221224592 3221223220 135104789 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13097 9578 301 301 0 12796 0
vsize: 52388
[startup+640.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11228 0 0 0 63919 90 0 0 25 0 1 0 966235635 53645312 9599 4294967295 134512640 135730672 3221224592 3221222816 134813870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13097 9599 301 301 0 12796 0
vsize: 52388
[startup+650.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11248 0 0 0 64918 91 0 0 25 0 1 0 966235635 53645312 9619 4294967295 134512640 135730672 3221224592 3221223088 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13097 9619 301 301 0 12796 0
vsize: 52388
[startup+660.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11275 0 0 0 65917 91 0 0 25 0 1 0 966235635 53755904 9646 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 9646 301 301 0 12823 0
vsize: 52496
[startup+670.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11300 0 0 0 66917 92 0 0 25 0 1 0 966235635 53755904 9671 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13124 9671 301 301 0 12823 0
vsize: 52496
[startup+680.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11337 0 0 0 67916 93 0 0 25 0 1 0 966235635 53850112 9708 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 9708 301 301 0 12846 0
vsize: 52588
[startup+690.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11371 0 0 0 68915 94 0 0 25 0 1 0 966235635 53948416 9742 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13171 9742 301 301 0 12870 0
vsize: 52684
[startup+700.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11403 0 0 0 69914 95 0 0 25 0 1 0 966235635 54050816 9774 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13196 9774 301 301 0 12895 0
vsize: 52784
[startup+710.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11444 0 0 0 70914 96 0 0 25 0 1 0 966235635 54185984 9815 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 9815 301 301 0 12928 0
vsize: 52916
[startup+720.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11461 0 0 0 71913 97 0 0 25 0 1 0 966235635 54185984 9832 4294967295 134512640 135730672 3221224592 3221222928 134767171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13229 9832 301 301 0 12928 0
vsize: 52916
[startup+730.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11499 0 0 0 72913 98 0 0 25 0 1 0 966235635 54321152 9870 4294967295 134512640 135730672 3221224592 3221223104 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13262 9870 301 301 0 12961 0
vsize: 53048
[startup+740.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11520 0 0 0 73912 98 0 0 25 0 1 0 966235635 54321152 9891 4294967295 134512640 135730672 3221224592 3221223104 134746520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13262 9891 301 301 0 12961 0
vsize: 53048
[startup+750.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11546 0 0 0 74912 99 0 0 25 0 1 0 966235635 54419456 9917 4294967295 134512640 135730672 3221224592 3221223216 134783076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13286 9917 301 301 0 12985 0
vsize: 53144
[startup+760.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11575 0 0 0 75912 99 0 0 25 0 1 0 966235635 54505472 9946 4294967295 134512640 135730672 3221224592 3221223088 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13307 9946 301 301 0 13006 0
vsize: 53228
[startup+770.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11627 0 0 0 76911 100 0 0 25 0 1 0 966235635 54775808 9998 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13373 9998 301 301 0 13072 0
vsize: 53492
[startup+780.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11645 0 0 0 77910 102 0 0 25 0 1 0 966235635 54775808 10016 4294967295 134512640 135730672 3221224592 3221223104 134746237 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13373 10016 301 301 0 13072 0
vsize: 53492
[startup+790.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11695 0 0 0 78909 102 0 0 25 0 1 0 966235635 54951936 10066 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13416 10066 301 301 0 13115 0
vsize: 53664
[startup+800.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11725 0 0 0 79909 102 0 0 25 0 1 0 966235635 55087104 10096 4294967295 134512640 135730672 3221224592 3221222840 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13449 10096 301 301 0 13148 0
vsize: 53796
[startup+810.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11735 0 0 0 80909 103 0 0 25 0 1 0 966235635 55087104 10106 4294967295 134512640 135730672 3221224592 3221223136 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13449 10106 301 301 0 13148 0
vsize: 53796
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11758 0 0 0 81909 103 0 0 25 0 1 0 966235635 55087104 10129 4294967295 134512640 135730672 3221224592 3221223104 134746483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13449 10129 301 301 0 13148 0
vsize: 53796
[startup+830.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11792 0 0 0 82908 104 0 0 25 0 1 0 966235635 55201792 10163 4294967295 134512640 135730672 3221224592 3221223280 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 10163 301 301 0 13176 0
vsize: 53908
[startup+840.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11807 0 0 0 83908 104 0 0 25 0 1 0 966235635 55283712 10178 4294967295 134512640 135730672 3221224592 3221223072 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13497 10178 301 301 0 13196 0
vsize: 53988
[startup+850.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11847 0 0 0 84908 105 0 0 25 0 1 0 966235635 55386112 10218 4294967295 134512640 135730672 3221224592 3221223212 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13522 10218 301 301 0 13221 0
vsize: 54088
[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11867 0 0 0 85908 105 0 0 25 0 1 0 966235635 55386112 10238 4294967295 134512640 135730672 3221224592 3221223088 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13522 10238 301 301 0 13221 0
vsize: 54088
[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11922 0 0 0 86906 107 0 0 25 0 1 0 966235635 55603200 10293 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13575 10293 301 301 0 13274 0
vsize: 54300
[startup+880.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11935 0 0 0 87905 108 0 0 25 0 1 0 966235635 55603200 10306 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13575 10306 301 301 0 13274 0
vsize: 54300
[startup+890.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11961 0 0 0 88905 109 0 0 25 0 1 0 966235635 55603200 10332 4294967295 134512640 135730672 3221224592 3221223184 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13575 10332 301 301 0 13274 0
vsize: 54300
[startup+900.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 11981 0 0 0 89904 110 0 0 25 0 1 0 966235635 55603200 10352 4294967295 134512640 135730672 3221224592 3221223088 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13575 10352 301 301 0 13274 0
vsize: 54300
[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12000 0 0 0 90903 111 0 0 25 0 1 0 966235635 55693312 10371 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13597 10371 301 301 0 13296 0
vsize: 54388
[startup+920.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12021 0 0 0 91903 111 0 0 25 0 1 0 966235635 55693312 10392 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13597 10392 301 301 0 13296 0
vsize: 54388
[startup+930.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12053 0 0 0 92903 112 0 0 25 0 1 0 966235635 55828480 10424 4294967295 134512640 135730672 3221224592 3221223104 134746188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13630 10424 301 301 0 13329 0
vsize: 54520
[startup+940.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12076 0 0 0 93902 113 0 0 25 0 1 0 966235635 55828480 10447 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13630 10447 301 301 0 13329 0
vsize: 54520
[startup+950.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12106 0 0 0 94902 113 0 0 25 0 1 0 966235635 55930880 10477 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13655 10477 301 301 0 13354 0
vsize: 54620
[startup+960.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12130 0 0 0 95901 114 0 0 25 0 1 0 966235635 55930880 10501 4294967295 134512640 135730672 3221224592 3221223088 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13655 10501 301 301 0 13354 0
vsize: 54620
[startup+970.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12156 0 0 0 96900 115 0 0 25 0 1 0 966235635 56049664 10527 4294967295 134512640 135730672 3221224592 3221223088 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13684 10527 301 301 0 13383 0
vsize: 54736
[startup+980.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12177 0 0 0 97900 116 0 0 25 0 1 0 966235635 56049664 10548 4294967295 134512640 135730672 3221224592 3221223104 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13684 10548 301 301 0 13383 0
vsize: 54736
[startup+990.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12198 0 0 0 98899 117 0 0 25 0 1 0 966235635 56049664 10569 4294967295 134512640 135730672 3221224592 3221223088 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13684 10569 301 301 0 13383 0
vsize: 54736
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12233 0 0 0 99899 117 0 0 25 0 1 0 966235635 56147968 10604 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 10604 301 301 0 13407 0
vsize: 54832
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12279 0 0 0 100898 118 0 0 25 0 1 0 966235635 56147968 10650 4294967295 134512640 135730672 3221224592 3221223216 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 10650 301 301 0 13407 0
vsize: 54832
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12459 0 0 0 101897 119 0 0 25 0 1 0 966235635 56246272 10830 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10830 301 301 0 13431 0
vsize: 54928
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12476 0 0 0 102897 120 0 0 25 0 1 0 966235635 56246272 10847 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10847 301 301 0 13431 0
vsize: 54928
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12495 0 0 0 103896 120 0 0 25 0 1 0 966235635 56246272 10866 4294967295 134512640 135730672 3221224592 3221223200 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13732 10866 301 301 0 13431 0
vsize: 54928
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12546 0 0 0 104895 122 0 0 25 0 1 0 966235635 56336384 10917 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13754 10917 301 301 0 13453 0
vsize: 55016
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12725 0 0 0 105894 123 0 0 25 0 1 0 966235635 56463360 11096 4294967295 134512640 135730672 3221224592 3221223088 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13785 11096 301 301 0 13484 0
vsize: 55140
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 12800 0 0 0 106893 124 0 0 25 0 1 0 966235635 56598528 11171 4294967295 134512640 135730672 3221224592 3221223248 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13818 11171 301 301 0 13517 0
vsize: 55272
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 14477 0 0 0 107888 129 0 0 25 0 1 0 966235635 62889984 11311 4294967295 134512640 135730672 3221224592 3221223088 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15354 11311 301 301 0 15053 0
vsize: 61416
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 14662 0 0 0 108888 130 0 0 25 0 1 0 966235635 62988288 11496 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15378 11496 301 301 0 15077 0
vsize: 61512
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 14774 0 0 0 109887 130 0 0 25 0 1 0 966235635 63102976 11608 4294967295 134512640 135730672 3221224592 3221223136 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15406 11608 301 301 0 15105 0
vsize: 61624
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 14999 0 0 0 110886 132 0 0 25 0 1 0 966235635 63188992 11833 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15427 11833 301 301 0 15126 0
vsize: 61708
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15081 0 0 0 111885 133 0 0 25 0 1 0 966235635 63324160 11915 4294967295 134512640 135730672 3221224592 3221223088 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15460 11915 301 301 0 15159 0
vsize: 61840
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15174 0 0 0 112885 133 0 0 25 0 1 0 966235635 63422464 12008 4294967295 134512640 135730672 3221224592 3221223072 134732826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15484 12008 301 301 0 15183 0
vsize: 61936
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15261 0 0 0 113884 134 0 0 25 0 1 0 966235635 63692800 12095 4294967295 134512640 135730672 3221224592 3221223104 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15550 12095 301 301 0 15249 0
vsize: 62200
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15513 0 0 0 114883 136 0 0 25 0 1 0 966235635 64098304 12347 4294967295 134512640 135730672 3221224592 3221223088 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15649 12347 301 301 0 15348 0
vsize: 62596
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15554 0 0 0 115882 137 0 0 25 0 1 0 966235635 64098304 12388 4294967295 134512640 135730672 3221224592 3221223088 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15649 12388 301 301 0 15348 0
vsize: 62596
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15565 0 0 0 116882 138 0 0 25 0 1 0 966235635 64098304 12399 4294967295 134512640 135730672 3221224592 3221222664 135284476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15649 12399 301 301 0 15348 0
vsize: 62596
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15593 0 0 0 117881 139 0 0 25 0 1 0 966235635 64233472 12427 4294967295 134512640 135730672 3221224592 3221223088 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15682 12427 301 301 0 15381 0
vsize: 62728
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15636 0 0 0 118881 139 0 0 25 0 1 0 966235635 64565248 12470 4294967295 134512640 135730672 3221224592 3221223104 134746201 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 12470 301 301 0 15462 0
vsize: 63052
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18007
Raw data (stat): 17950 (pb2sat-v2) R 17949 21152 21151 0 -1 0 15679 0 0 0 119880 140 0 0 25 0 1 0 966235635 64565248 12513 4294967295 134512640 135730672 3221224592 3221223088 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 12513 301 301 0 15462 0
vsize: 63052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18007
Raw data (stat): 17950 (pb2sat-v2) Z 17949 21152 21151 0 -1 12 15681 0 0 0 119894 142 0 0 25 0 1 0 966235635 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.24
CPU time (s): 1200.37
CPU user time (s): 1198.95
CPU system time (s): 1.42778
CPU usage (%): 100.011
Max. virtual memory (Kb): 63052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####