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/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 42616

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 12:34:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25823 boxname=wulflinc3 idbench=1123 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 25823
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        666596 kB
Buffers:         22536 kB
Cached:         323580 kB
SwapCached:        820 kB
Active:          30772 kB
Inactive:       317480 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        665140 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14004 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:54:23 (client local time) WITH STATUS 10 IN 1200.36 SECONDS
stats: 25823 0 1200.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 122
c small objective detected
c CONFLICT during preprocess 
c [startup+8.2611 s]  setting bit 7 to 0

c Decision: 3458/20806	Time: 31.7722/86400
c Decision: 3458/20806	Time: 35.0737/86400
c Decision: 3458/20806	Time: 38.5821/86400
c Decision: 3460/20806	Time: 42.1046/86400
c Decision: 3460/20806	Time: 45.834/86400
c Decision: 3460/20806	Time: 49.2815/86400
c Decision: 3460/20806	Time: 53.1029/86400
c Decision: 3460/20806	Time: 55.8425/86400
c Decision: 3460/20806	Time: 59.6869/86400
c Decision: 3460/20806	Time: 63.1684/86400
c Decision: 3464/20806	Time: 66.9508/86400
c Decision: 3464/20806	Time: 70.4733/86400
c Decision: 3464/20806	Time: 74.5307/86400
c Decision: 3464/20806	Time: 78.2181/86400
c Decision: 3468/20806	Time: 83.0814/86400
c Decision: 3468/20806	Time: 86.5958/86400
c Decision: 3468/20806	Time: 90.3413/86400
c Decision: 3470/20806	Time: 95.0765/86400
c Decision: 3470/20806	Time: 98.924/86400
c Decision: 3470/20806	Time: 102.827/86400
c Decision: 3470/20806	Time: 106.546/86400
c Decision: 3470/20806	Time: 110.211/86400
c Decision: 3470/20806	Time: 113.981/86400
c Decision: 3470/20806	Time: 117.765/86400
c Decision: 3470/20806	Time: 122.066/86400
c Decision: 3470/20806	Time: 126.041/86400
c Decision: 3470/20806	Time: 130.296/86400
c Decision: 3470/20806	Time: 134.385/86400
c Decision: 3473/20806	Time: 140.343/86400
c Decision: 3473/20806	Time: 144.712/86400
c Decision: 3473/20806	Time: 149.087/86400
c Decision: 3473/20806	Time: 153.512/86400
c Decision: 3473/20806	Time: 157.342/86400
c Decision: 3473/20806	Time: 161.423/86400
c Decision: 3473/20806	Time: 165.93/86400
c Decision: 3473/20806	Time: 169.963/86400
c Decision: 3473/20806	Time: 174.121/86400
c Decision: 3473/20806	Time: 178.101/86400
c Decision: 3558/20806	Time: 186.723/86400
c Decision: 3558/20806	Time: 191.17/86400
c Decision: 3558/20806	Time: 196.041/86400
c Decision: 3558/20806	Time: 200.545/86400
c Decision: 3562/20806	Time: 205.348/86400
c Decision: 3562/20806	Time: 210.172/86400
c Decision: 3562/20806	Time: 214.759/86400
c Decision: 3562/20806	Time: 219.736/86400
c Decision: 3562/20806	Time: 224.477/86400
c Decision: 3562/20806	Time: 229.582/86400
c Decision: 3562/20806	Time: 234.427/86400
c Decision: 3562/20806	Time: 239.392/86400
c Decision: 3562/20806	Time: 244.152/86400
c Decision: 3562/20806	Time: 248.125/86400
c Decision: 3562/20806	Time: 252.914/86400
c Decision: 3562/20806	Time: 257.564/86400
c Decision: 3562/20806	Time: 262.393/86400
c Decision: 3562/20806	Time: 267.612/86400
c Decision: 3562/20806	Time: 272.786/86400
c Decision: 3562/20806	Time: 277.795/86400
c Decision: 3562/20806	Time: 282.887/86400
c Decision: 3562/20806	Time: 287.866/86400
c Decision: 3562/20806	Time: 293.759/86400
c Decision: 3562/20806	Time: 298.141/86400
c Decision: 3562/20806	Time: 303.746/86400
c Decision: 3562/20806	Time: 308.769/86400
c Decision: 3562/20806	Time: 313.938/86400
c Decision: 3562/20806	Time: 318.631/86400
c Decision: 3562/20806	Time: 323.977/86400
c Decision: 3562/20806	Time: 328.767/86400
c Decision: 3562/20806	Time: 333.808/86400
c Decision: 3562/20806	Time: 339.724/86400
c Decision: 3562/20806	Time: 345.077/86400
c Decision: 3562/20806	Time: 350.693/86400
c Decision: 3562/20806	Time: 356.185/86400
c Decision: 3562/20806	Time: 361.765/86400
c Decision: 3562/20806	Time: 367.937/86400
c Decision: 3562/20806	Time: 373.405/86400
c Decision: 3562/20806	Time: 379.344/86400
c Decision: 3562/20806	Time: 384.678/86400
c Decision: 3562/20806	Time: 390.324/86400
c Decision: 3562/20806	Time: 396.403/86400
c Decision: 3562/20806	Time: 402.511/86400
c Decision: 3562/20806	Time: 409.035/86400
c Decision: 3562/20806	Time: 414.993/86400
c Decision: 3562/20806	Time: 421.124/86400
c Decision: 3562/20806	Time: 426.718/86400
c Decision: 3562/20806	Time: 432.797/86400
c Decision: 3562/20806	Time: 439.134/86400
c Decision: 3562/20806	Time: 445.367/86400
c Decision: 3562/20806	Time: 451.312/86400
c Decision: 3562/20806	Time: 457.629/86400
c Decision: 3562/20806	Time: 463.891/86400
c Decision: 3563/20806	Time: 474.054/86400
c Decision: 3563/20806	Time: 480.076/86400
c Decision: 3563/20806	Time: 486.858/86400
c Decision: 3563/20806	Time: 493.298/86400
c Decision: 3563/20806	Time: 499.879/86400
c Decision: 3563/20806	Time: 505.928/86400
c Decision: 3563/20806	Time: 511.835/86400
c Decision: 3563/20806	Time: 518.196/86400
c Decision: 3563/20806	Time: 524.752/86400
c Decision: 3563/20806	Time: 530.671/86400
c Decision: 3563/20806	Time: 537.28/86400
c Decision: 3563/20806	Time: 543.667/86400
c Decision: 3563/20806	Time: 549.697/86400
c Decision: 3563/20806	Time: 555.82/86400
c Decision: 3563/20806	Time: 562.158/86400
c Decision: 3563/20806	Time: 568.6/86400
c Decision: 3563/20806	Time: 574.733/86400
c Decision: 3563/20806	Time: 581.344/86400
c Decision: 3563/20806	Time: 587.454/86400
c Decision: 3563/20806	Time: 594.175/86400
c Decision: 3563/20806	Time: 600.706/86400
c Decision: 3563/20806	Time: 606.739/86400
c Decision: 3563/20806	Time: 613.71/86400
c Decision: 3563/20806	Time: 621.001/86400
c Decision: 3563/20806	Time: 629.019/86400
c Decision: 3563/20806	Time: 636.123/86400
c Decision: 3563/20806	Time: 642.625/86400
c Decision: 3563/20806	Time: 649.61/86400
c Decision: 3563/20806	Time: 656.761/86400
c Decision: 3563/20806	Time: 664.082/86400
c Decision: 3563/20806	Time: 671.491/86400
c Decision: 3563/20806	Time: 677.821/86400
c Decision: 3563/20806	Time: 684.391/86400
c Decision: 3721/20806	Time: 694.791/86400
c Decision: 3721/20806	Time: 701.667/86400
c Decision: 3721/20806	Time: 708.667/86400
c Decision: 3721/20806	Time: 715.138/86400
c Decision: 3721/20806	Time: 721.492/86400
c Decision: 3721/20806	Time: 727.661/86400
c Decision: 3721/20806	Time: 734.322/86400
c Decision: 3724/20806	Time: 740.857/86400
c Decision: 4187/20806	Time: 749.189/86400
c Decision: 4187/20806	Time: 755.57/86400
c Decision: 4187/20806	Time: 762.073/86400
c Decision: 4187/20806	Time: 768.272/86400
c Decision: 4187/20806	Time: 774.696/86400
c Decision: 4190/20806	Time: 780.967/86400
c Decision: 4190/20806	Time: 787.319/86400
c Decision: 4190/20806	Time: 793.898/86400
c Decision: 4190/20806	Time: 800.943/86400
c Decision: 4195/20806	Time: 808.898/86400
c Decision: 4564/20806	Time: 821.881/86400
c [startup+834.284 s]  setting bit 6 to 0

c Decision: 2793/20806	Time: 5.60815/86400
c Decision: 2793/20806	Time: 9.17761/86400
c Decision: 2793/20806	Time: 12.876/86400
c Decision: 2793/20806	Time: 16.8774/86400
c Decision: 2793/20806	Time: 21.1228/86400
c Decision: 2793/20806	Time: 25.2242/86400
c Decision: 2793/20806	Time: 28.9886/86400
c Decision: 2793/20806	Time: 32.647/86400
c Decision: 2793/20806	Time: 36.6734/86400
c Decision: 2793/20806	Time: 40.3469/86400
c Decision: 2793/20806	Time: 44.5832/86400
c Decision: 2793/20806	Time: 48.7956/86400
c Decision: 2798/20806	Time: 52.895/86400
c Decision: 2798/20806	Time: 56.8624/86400
c Decision: 2798/20806	Time: 61.1137/86400
c Decision: 2798/20806	Time: 65.652/86400
c Decision: 2798/20806	Time: 69.7964/86400
c Decision: 2798/20806	Time: 74.0217/86400
c Decision: 2798/20806	Time: 78.3811/86400
c Decision: 2798/20806	Time: 82.6484/86400
c Decision: 2798/20806	Time: 87.3417/86400
c Decision: 2798/20806	Time: 92.274/86400
c Decision: 2798/20806	Time: 96.9473/86400
c Decision: 2798/20806	Time: 100.95/86400
c Decision: 2798/20806	Time: 105.383/86400
c Decision: 2798/20806	Time: 110.143/86400
c Decision: 2798/20806	Time: 114.912/86400
c Decision: 2798/20806	Time: 119.963/86400
c Decision: 2798/20806	Time: 124.768/86400
c Decision: 2798/20806	Time: 130.018/86400
c Decision: 2798/20806	Time: 135.973/86400
c Decision: 2798/20806	Time: 141.482/86400
c Decision: 2798/20806	Time: 146.317/86400
c Decision: 2798/20806	Time: 151.606/86400
c Decision: 2798/20806	Time: 156.871/86400
c Decision: 2798/20806	Time: 162.594/86400
c Decision: 2798/20806	Time: 167.779/86400
c Decision: 2798/20806	Time: 173.109/86400
c Decision: 2798/20806	Time: 177.769/86400
c Decision: 2798/20806	Time: 182.728/86400
c Decision: 2798/20806	Time: 188.194/86400
c Decision: 2798/20806	Time: 193.741/86400
c Decision: 2798/20806	Time: 199.35/86400
c Decision: 2798/20806	Time: 204.801/86400
c Decision: 2798/20806	Time: 209.875/86400
c Decision: 2798/20806	Time: 215.824/86400
c Decision: 2798/20806	Time: 222.072/86400
c Decision: 2798/20806	Time: 228.297/86400
c Decision: 2798/20806	Time: 233.748/86400
c Decision: 2798/20806	Time: 239.267/86400
c Decision: 2798/20806	Time: 245.069/86400
c Decision: 2798/20806	Time: 250.856/86400
c Decision: 2798/20806	Time: 257.037/86400
c Decision: 2798/20806	Time: 262.389/86400
c Decision: 2798/20806	Time: 267.994/86400
c Decision: 2798/20806	Time: 274.056/86400
c Decision: 2798/20806	Time: 280.259/86400
c Decision: 2798/20806	Time: 286.423/86400
c Decision: 2798/20806	Time: 292.112/86400
c Decision: 2798/20806	Time: 297.754/86400
c Decision: 2798/20806	Time: 304.437/86400
c Decision: 2798/20806	Time: 310.055/86400
c Decision: 2798/20806	Time: 316.274/86400
c Decision: 2798/20806	Time: 322.223/86400
c Decision: 2798/20806	Time: 328.25/86400
c Decision: 2798/20806	Time: 335.075/86400
c Decision: 2798/20806	Time: 341.788/86400
c Decision: 2798/20806	Time: 347.814/86400
c Decision: 2798/20806	Time: 353.918/86400
c Decision: 2798/20806	Time: 360.22/86400s SATISFIABLE
v C0001_bit0 C0002_bit0 C0003_bit0 C0004_bit0 C0005_bit0 C0006_bit0 C0007_bit0 C0008_bit0 C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 -C0017_bit0 -C0018_bit0 C0019_bit0 C0020_bit0 -C0021_bit0 -C0022_bit0 C0023_bit0 C0024_bit0 -C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 C0032_bit0 C0033_bit0 -C0034_bit0 C0035_bit0 C0036_bit0 -C0037_bit0 C0038_bit0 C0039_bit0 C0040_bit0 C0041_bit0 C0042_bit0 C0043_bit0 C0044_bit0 -C0045_bit0 C0046_bit0 -C0047_bit0 -C0048_bit0 -C0049_bit0 -C0050_bit0 C0051_bit0 -C0052_bit0 -C0053_bit0 -C0054_bit0 C0055_bit0 -C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 C0060_bit0 -C0061_bit0 -C0062_bit0 C0063_bit0 C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 C0075_bit0 C0076_bit0 C0077_bit0 -C0078_bit0 C0079_bit0 -C0080_bit0 -C0081_bit0 -C0082_bit0 -C0083_bit0 -C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 -C0091_bit0 -C0092_bit0 -C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 -C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 C0101_bit0 C0102_bit0 -C0103_bit0 -C0104_bit0 C0105_bit0 C0106_bit0 -C0107_bit0 -C0108_bit0 C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 -C0117_bit0 C0118_bit0 -C0119_bit0 -C0120_bit0 C0121_bit0 -C0122_bit0 -C0123_bit0 -C0124_bit0 -C0125_bit0 -C0126_bit0 -C0127_bit0 -C0128_bit0 C0129_bit0 -C0130_bit0 C0131_bit0 C0132_bit0 C0133_bit0 C0134_bit0 -C0135_bit0 C0136_bit0 C0137_bit0 C0138_bit0 -C0139_bit0 C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 C0145_bit0 C0146_bit0 -C0147_bit0 -C0148_bit0 C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 -C0159_bit0 -C0160_bit0 -C0161_bit0 C0162_bit0 -C0163_bit0 C0164_bit0 C0165_bit0 C0166_bit0 C0167_bit0 C0168_bit0 C0169_bit0 C0170_bit0 C0171_bit0 C0172_bit0 C0173_bit0 C0174_bit0 -C0175_bit0 -C0176_bit0 -C0177_bit0 C0178_bit0 C0179_bit0 -C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 C0184_bit0 C0185_bit0 C0186_bit0 C0187_bit0 C0188_bit0 -C0189_bit0 C0190_bit0 C0191_bit0 C0192_bit0 C0193_bit0 -C0194_bit0 -C0195_bit0 -C0196_bit0 -C0197_bit0 -C0198_bit0 -C0199_bit0 -C0200_bit0 C0201_bit0 C0202_bit0 -C0203_bit0 -C0204_bit0 -C0205_bit0 -C0206_bit0 -C0207_bit0 -C0208_bit0 -C0209_bit0 C0210_bit0 -C0211_bit0 -C0212_bit0 C0213_bit0 C0214_bit0 -C0215_bit0 C0216_bit0 -C0217_bit0 C0218_bit0 C0219_bit0 -C0220_bit0 C0221_bit0 C0222_bit0 C0223_bit0 -C0224_bit0 C0225_bit0 C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 C0231_bit0 -C0232_bit0 C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 C0238_bit0 C0239_bit0 -C0240_bit0 -C0241_bit0 -C0242_bit0 -C0243_bit0 -C0244_bit0 -C0245_bit0 -C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 -C0252_bit0 -C0253_bit0 -C0254_bit0 -C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 C0259_bit0 C0260_bit0 C0261_bit0 -C0262_bit0 -C0263_bit0 C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 -C0268_bit0 -C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 C0273_bit0 -C0274_bit0 -C0275_bit0 -C0276_bit0 -C0277_bit0 C0278_bit0 C0279_bit0 C0280_bit0 C0281_bit0 C0282_bit0 C0283_bit0 C0284_bit0 -C0285_bit0 -C0286_bit0 C0287_bit0 C0288_bit0 C0289_bit0 C0290_bit0 C0291_bit0 C0292_bit0 C0293_bit0 -C0294_bit0 C0295_bit0 C0296_bit0 -C0297_bit0 -C0298_bit0 C0299_bit0 -C0300_bit0 C0301_bit0 -C0302_bit0 -C0303_bit0 C0304_bit0 -C0305_bit0 -C0306_bit0 -C0307_bit0 C0308_bit0 -C0309_bit0 -C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 -C0315_bit0 C0316_bit0 -C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 -C0322_bit0 -C0323_bit0 C0324_bit0 C0325_bit0 C0326_bit0 C0327_bit0 C0328_bit0 C0329_bit0 C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 C0334_bit0 C0335_bit0 C0336_bit0 -C0337_bit0 -C0337_bit1 -C0337_bit2 C0338_bit0 -C0338_bit1 -C0338_bit2 -C0339_bit0 C0339_bit1 -C0339_bit2 -C0340_bit0 C0340_bit1 C0340_bit2 C0341_bit0 C0341_bit1 -C0341_bit2 C0342_bit0 -C0342_bit1 C0342_bit2 -C0343_bit0 -C0343_bit1 C0343_bit2 -C0344_bit0 -C0344_bit1 C0344_bit2 -C0345_bit0 C0345_bit1 C0345_bit2 -C0346_bit0 C0346_bit1 -C0346_bit2 C0347_bit0 C0347_bit1 -C0347_bit2 -C0348_bit0 C0348_bit1 -C0348_bit2 -C0349_bit0 -C0349_bit1 -C0349_bit2 C0350_bit0 C0350_bit1 -C0350_bit2 -C0351_bit0 -C0351_bit1 C0351_bit2 C0352_bit0 -C0352_bit1 -C0352_bit2 C0353_bit0 -C0353_bit1 C0353_bit2 -C0354_bit0 C0354_bit1 C0354_bit2 C0355_bit0 -C0355_bit1 -C0355_bit2 C0356_bit0 -C0356_bit1 C0356_bit2 C0357_bit0 -C0357_bit1 C0357_bit2 C0358_bit0 -C0358_bit1 C0358_bit2 C0359_bit0 C0359_bit1 -C0359_bit2 C0360_bit0 -C0360_bit1 C0360_bit2 -C0361_bit0 -C0361_bit1 C0361_bit2 -C0362_bit0 -C0362_bit1 -C0362_bit2 -C0363_bit0 C0363_bit1 C0363_bit2 C0364_bit0 -C0364_bit1 -C0364_bit2 -C0365_bit0 C0365_bit1 -C0365_bit2 -C0366_bit0 C0366_bit1 C0366_bit2 -C0367_bit0 -C0367_bit1 -C0367_bit2 -C0368_bit0 -C0368_bit1 -C0368_bit2 C0369_bit0 -C0369_bit1 -C0369_bit2 C0370_bit0 -C0370_bit1 C0370_bit2 -C0371_bit0 C0371_bit1 C0371_bit2 C0372_bit0 -C0372_bit1 -C0372_bit2 C0373_bit0 C0373_bit1 -C0373_bit2 -C0374_bit0 -C0374_bit1 C0374_bit2 -C0375_bit0 C0375_bit1 -C0375_bit2 -C0376_bit0 -C0376_bit1 -C0376_bit2 -C0377_bit0 C0377_bit1 -C0377_bit2 C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 
#### 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.84 0.94 0.90 2/54 22052
Raw data (stat): 22052 (runsolver) R 22051 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970790977 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 3469 0 0 0 989 10 0 0 25 0 1 0 970790977 12222464 2004 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2984 2004 301 301 0 2683 0
vsize: 11936
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 3572 0 0 0 1987 11 0 0 25 0 1 0 970790977 12357632 2107 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3017 2107 301 301 0 2716 0
vsize: 12068
[startup+30.003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 3724 0 0 0 2985 13 0 0 25 0 1 0 970790977 12357632 2259 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3017 2259 301 301 0 2716 0
vsize: 12068
[startup+40.0039 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 3909 0 0 0 3984 14 0 0 25 0 1 0 970790977 14606336 2403 4294967295 134512640 135730672 3221224576 3221222992 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3566 2403 301 301 0 3265 0
vsize: 14264
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 4129 0 0 0 4982 16 0 0 25 0 1 0 970790977 14901248 2541 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3638 2541 301 301 0 3337 0
vsize: 14552
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 4336 0 0 0 5980 17 0 0 25 0 1 0 970790977 14901248 2625 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3638 2625 301 301 0 3337 0
vsize: 14552
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 4582 0 0 0 6979 18 0 0 25 0 1 0 970790977 15036416 2748 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3671 2748 301 301 0 3370 0
vsize: 14684
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 4788 0 0 0 7978 20 0 0 25 0 1 0 970790977 15171584 2831 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3704 2831 301 301 0 3403 0
vsize: 14816
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 5009 0 0 0 8977 21 0 0 25 0 1 0 970790977 15347712 2970 4294967295 134512640 135730672 3221224576 3221222864 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3747 2970 301 301 0 3446 0
vsize: 14988
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 5239 0 0 0 9975 23 0 0 25 0 1 0 970790977 19697664 3077 4294967295 134512640 135730672 3221224576 3221222864 134747919 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4809 3077 301 301 0 4508 0
vsize: 19236
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 5442 0 0 0 10973 24 0 0 25 0 1 0 970790977 19836928 3198 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4843 3198 301 301 0 4542 0
vsize: 19372
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 5649 0 0 0 11973 25 0 0 25 0 1 0 970790977 19976192 3282 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4877 3282 301 301 0 4576 0
vsize: 19508
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 5840 0 0 0 12971 27 0 0 25 0 1 0 970790977 19976192 3391 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4877 3391 301 301 0 4576 0
vsize: 19508
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6045 0 0 0 13970 28 0 0 25 0 1 0 970790977 20127744 3473 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4914 3473 301 301 0 4613 0
vsize: 19656
[startup+150.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6289 0 0 0 14970 28 0 0 25 0 1 0 970790977 20127744 3635 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4914 3635 301 301 0 4613 0
vsize: 19656
[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6469 0 0 0 15969 30 0 0 25 0 1 0 970790977 20267008 3733 4294967295 134512640 135730672 3221224576 3221222688 134732507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4948 3733 301 301 0 4647 0
vsize: 19792
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6620 0 0 0 16968 31 0 0 25 0 1 0 970790977 20267008 3761 4294967295 134512640 135730672 3221224576 3221222912 134740402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4948 3761 301 301 0 4647 0
vsize: 19792
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6782 0 0 0 17968 32 0 0 25 0 1 0 970790977 20402176 3841 4294967295 134512640 135730672 3221224576 3221222864 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4981 3841 301 301 0 4680 0
vsize: 19924
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 6886 0 0 0 18967 33 0 0 25 0 1 0 970790977 20402176 3863 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4981 3863 301 301 0 4680 0
vsize: 19924
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7005 0 0 0 19967 33 0 0 25 0 1 0 970790977 20545536 3900 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5016 3900 301 301 0 4715 0
vsize: 20064
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7175 0 0 0 20966 34 0 0 25 0 1 0 970790977 20852736 3988 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5091 3988 301 301 0 4790 0
vsize: 20364
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7421 0 0 0 21965 35 0 0 25 0 1 0 970790977 20852736 4152 4294967295 134512640 135730672 3221224576 3221222752 134761900 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5091 4152 301 301 0 4790 0
vsize: 20364
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7625 0 0 0 22965 36 0 0 25 0 1 0 970790977 20987904 4274 4294967295 134512640 135730672 3221224576 3221222848 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5124 4274 301 301 0 4823 0
vsize: 20496
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7726 0 0 0 23964 36 0 0 25 0 1 0 970790977 20987904 4293 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5124 4293 301 301 0 4823 0
vsize: 20496
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 7928 0 0 0 24963 37 0 0 25 0 1 0 970790977 21147648 4413 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5163 4413 301 301 0 4862 0
vsize: 20652
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 8091 0 0 0 25962 39 0 0 25 0 1 0 970790977 21303296 4494 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5201 4494 301 301 0 4900 0
vsize: 20804
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 8305 0 0 0 26962 40 0 0 25 0 1 0 970790977 29691904 4626 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7249 4626 301 301 0 6948 0
vsize: 28996
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 8495 0 0 0 27960 41 0 0 25 0 1 0 970790977 29827072 4734 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7282 4734 301 301 0 6981 0
vsize: 29128
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 8681 0 0 0 28960 42 0 0 25 0 1 0 970790977 30003200 4838 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 4838 301 301 0 7024 0
vsize: 29300
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 8914 0 0 0 29958 43 0 0 25 0 1 0 970790977 30003200 4989 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 4989 301 301 0 7024 0
vsize: 29300
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 9039 0 0 0 30958 44 0 0 25 0 1 0 970790977 30003200 5032 4294967295 134512640 135730672 3221224576 3221222720 135284212 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 5032 301 301 0 7024 0
vsize: 29300
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 9281 0 0 0 31957 45 0 0 25 0 1 0 970790977 30142464 5192 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7359 5192 301 301 0 7058 0
vsize: 29436
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 9457 0 0 0 32956 46 0 0 25 0 1 0 970790977 30298112 5286 4294967295 134512640 135730672 3221224576 3221223008 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7397 5286 301 301 0 7096 0
vsize: 29588
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 10436 0 0 0 33953 49 0 0 25 0 1 0 970790977 33583104 5414 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8199 5414 301 301 0 7898 0
vsize: 32796
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 10683 0 0 0 34952 50 0 0 25 0 1 0 970790977 33726464 5579 4294967295 134512640 135730672 3221224576 3221222688 134732482 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5579 301 301 0 7933 0
vsize: 32936
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 10907 0 0 0 35951 52 0 0 25 0 1 0 970790977 33726464 5721 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5721 301 301 0 7933 0
vsize: 32936
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 11173 0 0 0 36950 53 0 0 25 0 1 0 970790977 33726464 5905 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5905 301 301 0 7933 0
vsize: 32936
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 11379 0 0 0 37949 54 0 0 25 0 1 0 970790977 33869824 6070 4294967295 134512640 135730672 3221224576 3221222912 134740314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8269 6070 301 301 0 7968 0
vsize: 33076
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 11599 0 0 0 38948 56 0 0 25 0 1 0 970790977 34189312 6208 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8347 6208 301 301 0 8046 0
vsize: 33388
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 11814 0 0 0 39946 57 0 0 25 0 1 0 970790977 34189312 6341 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8347 6341 301 301 0 8046 0
vsize: 33388
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 12011 0 0 0 40945 59 0 0 25 0 1 0 970790977 34189312 6497 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8347 6497 301 301 0 8046 0
vsize: 33388
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 12134 0 0 0 41945 60 0 0 25 0 1 0 970790977 34353152 6538 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8387 6538 301 301 0 8086 0
vsize: 33548
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 12329 0 0 0 42944 61 0 0 25 0 1 0 970790977 34549760 6651 4294967295 134512640 135730672 3221224576 3221222864 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8435 6651 301 301 0 8134 0
vsize: 33740
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 12548 0 0 0 43943 62 0 0 25 0 1 0 970790977 34734080 6829 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8480 6829 301 301 0 8179 0
vsize: 33920
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 12732 0 0 0 44942 63 0 0 25 0 1 0 970790977 34914304 6931 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8524 6931 301 301 0 8223 0
vsize: 34096
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13019 0 0 0 45942 64 0 0 25 0 1 0 970790977 34914304 7136 4294967295 134512640 135730672 3221224576 3221222912 134740272 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8524 7136 301 301 0 8223 0
vsize: 34096
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13220 0 0 0 46941 65 0 0 25 0 1 0 970790977 51691520 7296 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12620 7296 301 301 0 12319 0
vsize: 50480
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13300 0 0 0 47940 65 0 0 25 0 1 0 970790977 51851264 7335 4294967295 134512640 135730672 3221224576 3221222980 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12659 7335 301 301 0 12358 0
vsize: 50636
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13434 0 0 0 48940 66 0 0 25 0 1 0 970790977 51851264 7387 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12659 7387 301 301 0 12358 0
vsize: 50636
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13651 0 0 0 49939 67 0 0 25 0 1 0 970790977 51851264 7563 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12659 7563 301 301 0 12358 0
vsize: 50636
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 13860 0 0 0 50938 68 0 0 25 0 1 0 970790977 52027392 7690 4294967295 134512640 135730672 3221224576 3221222864 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12702 7690 301 301 0 12401 0
vsize: 50808
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 14022 0 0 0 51938 69 0 0 25 0 1 0 970790977 52195328 7811 4294967295 134512640 135730672 3221224576 3221222544 134769280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12743 7811 301 301 0 12442 0
vsize: 50972
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 14239 0 0 0 52937 69 0 0 25 0 1 0 970790977 52027392 7946 4294967295 134512640 135730672 3221224576 3221222960 134763568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12702 7946 301 301 0 12401 0
vsize: 50808
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 14461 0 0 0 53937 70 0 0 25 0 1 0 970790977 52183040 8086 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12740 8086 301 301 0 12439 0
vsize: 50960
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 14537 0 0 0 54937 70 0 0 25 0 1 0 970790977 52355072 8121 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12782 8121 301 301 0 12481 0
vsize: 51128
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 14786 0 0 0 55935 72 0 0 25 0 1 0 970790977 52510720 8288 4294967295 134512640 135730672 3221224576 3221222864 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8288 301 301 0 12519 0
vsize: 51280
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15024 0 0 0 56934 73 0 0 25 0 1 0 970790977 52510720 8444 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8444 301 301 0 12519 0
vsize: 51280
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15078 0 0 0 57934 74 0 0 25 0 1 0 970790977 52510720 8457 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8457 301 301 0 12519 0
vsize: 51280
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15214 0 0 0 58933 75 0 0 25 0 1 0 970790977 52510720 8511 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8511 301 301 0 12519 0
vsize: 51280
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15406 0 0 0 59932 76 0 0 25 0 1 0 970790977 52510720 8662 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8662 301 301 0 12519 0
vsize: 51280
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15522 0 0 0 60932 77 0 0 25 0 1 0 970790977 52510720 8696 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12820 8696 301 301 0 12519 0
vsize: 51280
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15726 0 0 0 61931 78 0 0 25 0 1 0 970790977 52645888 8859 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12853 8859 301 301 0 12552 0
vsize: 51412
[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 15947 0 0 0 62931 79 0 0 25 0 1 0 970790977 52645888 8998 4294967295 134512640 135730672 3221224576 3221222864 134747947 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12853 8998 301 301 0 12552 0
vsize: 51412
[startup+640.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16097 0 0 0 63931 79 0 0 25 0 1 0 970790977 52645888 9107 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12853 9107 301 301 0 12552 0
vsize: 51412
[startup+650.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16194 0 0 0 64931 80 0 0 25 0 1 0 970790977 52781056 9163 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12886 9163 301 301 0 12585 0
vsize: 51544
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16443 0 0 0 65930 81 0 0 25 0 1 0 970790977 52948992 9330 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12927 9330 301 301 0 12626 0
vsize: 51708
[startup+670.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16644 0 0 0 66929 82 0 0 25 0 1 0 970790977 52948992 9490 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12927 9490 301 301 0 12626 0
vsize: 51708
[startup+680.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16749 0 0 0 67928 83 0 0 25 0 1 0 970790977 52948992 9513 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12927 9513 301 301 0 12626 0
vsize: 51708
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16803 0 0 0 68928 83 0 0 25 0 1 0 970790977 53112832 9526 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12967 9526 301 301 0 12666 0
vsize: 51868
[startup+700.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 16883 0 0 0 69928 84 0 0 25 0 1 0 970790977 53329920 9565 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13020 9565 301 301 0 12719 0
vsize: 52080
[startup+710.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17061 0 0 0 70928 84 0 0 25 0 1 0 970790977 53600256 9661 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13086 9661 301 301 0 12785 0
vsize: 52344
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17109 0 0 0 71927 85 0 0 25 0 1 0 970790977 53600256 9668 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13086 9668 301 301 0 12785 0
vsize: 52344
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17200 0 0 0 72926 86 0 0 25 0 1 0 970790977 53739520 9677 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13120 9677 301 301 0 12819 0
vsize: 52480
[startup+740.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17248 0 0 0 73926 86 0 0 25 0 1 0 970790977 53739520 9684 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13120 9684 301 301 0 12819 0
vsize: 52480
[startup+750.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17352 0 0 0 74926 87 0 0 25 0 1 0 970790977 53739520 9706 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13120 9706 301 301 0 12819 0
vsize: 52480
[startup+760.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17557 0 0 0 75926 87 0 0 25 0 1 0 970790977 54415360 9870 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9870 301 301 0 12984 0
vsize: 53140
[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17605 0 0 0 76925 88 0 0 25 0 1 0 970790977 54415360 9877 4294967295 134512640 135730672 3221224576 3221222880 134746515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9877 301 301 0 12984 0
vsize: 53140
[startup+780.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17696 0 0 0 77924 89 0 0 25 0 1 0 970790977 54415360 9886 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9886 301 301 0 12984 0
vsize: 53140
[startup+790.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17788 0 0 0 78924 89 0 0 25 0 1 0 970790977 54415360 9896 4294967295 134512640 135730672 3221224576 3221222864 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9896 301 301 0 12984 0
vsize: 53140
[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17837 0 0 0 79924 90 0 0 25 0 1 0 970790977 54415360 9904 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9904 301 301 0 12984 0
vsize: 53140
[startup+810.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17928 0 0 0 80924 90 0 0 25 0 1 0 970790977 54415360 9913 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9913 301 301 0 12984 0
vsize: 53140
[startup+820.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 17980 0 0 0 81924 90 0 0 25 0 1 0 970790977 54415360 9924 4294967295 134512640 135730672 3221224576 3221222912 134740270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13285 9924 301 301 0 12984 0
vsize: 53140
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18097 0 0 0 82923 91 0 0 25 0 1 0 970790977 54685696 10000 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13351 10000 301 301 0 13050 0
vsize: 53404
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18212 0 0 0 83922 92 0 0 25 0 1 0 970790977 54796288 10033 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13378 10033 301 301 0 13077 0
vsize: 53512
[startup+850.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18354 0 0 0 84922 93 0 0 25 0 1 0 970790977 54956032 10093 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13417 10093 301 301 0 13116 0
vsize: 53668
[startup+860.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18495 0 0 0 85921 94 0 0 25 0 1 0 970790977 55349248 10152 4294967295 134512640 135730672 3221224576 3221222992 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13513 10152 301 301 0 13212 0
vsize: 54052
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18648 0 0 0 86920 95 0 0 25 0 1 0 970790977 55709696 10223 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13601 10223 301 301 0 13300 0
vsize: 54404
[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18733 0 0 0 87920 96 0 0 25 0 1 0 970790977 55906304 10267 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13649 10267 301 301 0 13348 0
vsize: 54596
[startup+890.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18769 0 0 0 88919 96 0 0 25 0 1 0 970790977 55906304 10303 4294967295 134512640 135730672 3221224576 3221222992 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13649 10303 301 301 0 13348 0
vsize: 54596
[startup+900.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18873 0 0 0 89919 97 0 0 25 0 1 0 970790977 56102912 10325 4294967295 134512640 135730672 3221224576 3221222880 135283013 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13697 10325 301 301 0 13396 0
vsize: 54788
[startup+910.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18894 0 0 0 90918 98 0 0 25 0 1 0 970790977 56102912 10346 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13697 10346 301 301 0 13396 0
vsize: 54788
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18946 0 0 0 91917 99 0 0 25 0 1 0 970790977 56102912 10357 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13697 10357 301 301 0 13396 0
vsize: 54788
[startup+930.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 18973 0 0 0 92917 99 0 0 25 0 1 0 970790977 56250368 10384 4294967295 134512640 135730672 3221224576 3221222864 134747871 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13733 10384 301 301 0 13432 0
vsize: 54932
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19025 0 0 0 93916 100 0 0 25 0 1 0 970790977 56250368 10395 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13733 10395 301 301 0 13432 0
vsize: 54932
[startup+950.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19082 0 0 0 94916 101 0 0 25 0 1 0 970790977 56250368 10411 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13733 10411 301 301 0 13432 0
vsize: 54932
[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19188 0 0 0 95915 102 0 0 25 0 1 0 970790977 56250368 10435 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13733 10435 301 301 0 13432 0
vsize: 54932
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19299 0 0 0 96914 103 0 0 25 0 1 0 970790977 56385536 10464 4294967295 134512640 135730672 3221224576 3221222992 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13766 10464 301 301 0 13465 0
vsize: 55064
[startup+980.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19310 0 0 0 97913 104 0 0 25 0 1 0 970790977 56385536 10475 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13766 10475 301 301 0 13465 0
vsize: 55064
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19375 0 0 0 98912 105 0 0 25 0 1 0 970790977 56545280 10499 4294967295 134512640 135730672 3221224576 3221222960 134764113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13805 10499 301 301 0 13504 0
vsize: 55220
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19472 0 0 0 99912 106 0 0 25 0 1 0 970790977 56545280 10514 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13805 10514 301 301 0 13504 0
vsize: 55220
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19494 0 0 0 100912 106 0 0 25 0 1 0 970790977 56545280 10536 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13805 10536 301 301 0 13504 0
vsize: 55220
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19516 0 0 0 101911 107 0 0 25 0 1 0 970790977 56684544 10558 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13839 10558 301 301 0 13538 0
vsize: 55356
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19587 0 0 0 102911 108 0 0 25 0 1 0 970790977 56684544 10588 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13839 10588 301 301 0 13538 0
vsize: 55356
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19636 0 0 0 103910 109 0 0 25 0 1 0 970790977 56684544 10596 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13839 10596 301 301 0 13538 0
vsize: 55356
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19738 0 0 0 104910 109 0 0 25 0 1 0 970790977 56819712 10616 4294967295 134512640 135730672 3221224576 3221222992 134783330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13872 10616 301 301 0 13571 0
vsize: 55488
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19794 0 0 0 105909 110 0 0 25 0 1 0 970790977 56819712 10631 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13872 10631 301 301 0 13571 0
vsize: 55488
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19889 0 0 0 106908 111 0 0 25 0 1 0 970790977 56819712 10644 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13872 10644 301 301 0 13571 0
vsize: 55488
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 19958 0 0 0 107908 111 0 0 25 0 1 0 970790977 56958976 10672 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 10672 301 301 0 13605 0
vsize: 55624
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20017 0 0 0 108908 112 0 0 25 0 1 0 970790977 56958976 10690 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 10690 301 301 0 13605 0
vsize: 55624
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20083 0 0 0 109907 113 0 0 25 0 1 0 970790977 56958976 10715 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 10715 301 301 0 13605 0
vsize: 55624
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20179 0 0 0 110906 114 0 0 25 0 1 0 970790977 57094144 10729 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 10729 301 301 0 13638 0
vsize: 55756
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20231 0 0 0 111905 115 0 0 25 0 1 0 970790977 57094144 10740 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 10740 301 301 0 13638 0
vsize: 55756
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20299 0 0 0 112905 116 0 0 25 0 1 0 970790977 57229312 10767 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 10767 301 301 0 13671 0
vsize: 55888
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20399 0 0 0 113904 117 0 0 25 0 1 0 970790977 57229312 10785 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 10785 301 301 0 13671 0
vsize: 55888
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20448 0 0 0 114903 118 0 0 25 0 1 0 970790977 57229312 10793 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 10793 301 301 0 13671 0
vsize: 55888
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20545 0 0 0 115903 119 0 0 25 0 1 0 970790977 57229312 10808 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 10808 301 301 0 13671 0
vsize: 55888
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20652 0 0 0 116902 119 0 0 25 0 1 0 970790977 57368576 10833 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14006 10833 301 301 0 13705 0
vsize: 56024
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20703 0 0 0 117902 120 0 0 25 0 1 0 970790977 57368576 10843 4294967295 134512640 135730672 3221224576 3221222960 134763984 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14006 10843 301 301 0 13705 0
vsize: 56024
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20803 0 0 0 118902 120 0 0 25 0 1 0 970790977 57368576 10861 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14006 10861 301 301 0 13705 0
vsize: 56024
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22052
Raw data (stat): 22052 (pb2sat-v2) R 22051 20224 20223 0 -1 0 20858 0 0 0 119901 121 0 0 25 0 1 0 970790977 57507840 10875 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14040 10875 301 301 0 13739 0
vsize: 56160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22052
Raw data (stat): 22052 (pb2sat-v2) Z 22051 20224 20223 0 -1 12 20860 0 0 0 119911 123 0 0 25 0 1 0 970790977 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.21
CPU time (s): 1200.36
CPU user time (s): 1199.12
CPU system time (s): 1.23781
CPU usage (%): 100.012
Max. virtual memory (Kb): 56160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	122
#### END VERIFIER DATA ####