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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-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	6.02808
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 42998

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        656600 kB
Buffers:         28300 kB
Cached:         326888 kB
SwapCached:        656 kB
Active:          31168 kB
Inactive:       326100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656348 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15060 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:58:36 (client local time) WITH STATUS 10 IN 1200.27 SECONDS
stats: 26208 0 1200.27 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.18964 s]  setting bit 7 to 0

c Decision: 3458/20806	Time: 31.6042/86400
c Decision: 3458/20806	Time: 34.8947/86400
c Decision: 3458/20806	Time: 38.3602/86400
c Decision: 3460/20806	Time: 41.8426/86400
c Decision: 3460/20806	Time: 45.5271/86400
c Decision: 3460/20806	Time: 48.9336/86400
c Decision: 3460/20806	Time: 52.711/86400
c Decision: 3460/20806	Time: 55.4186/86400
c Decision: 3460/20806	Time: 59.221/86400
c Decision: 3460/20806	Time: 62.6625/86400
c Decision: 3464/20806	Time: 66.4359/86400
c Decision: 3464/20806	Time: 69.9604/86400
c Decision: 3464/20806	Time: 74.0197/86400
c Decision: 3464/20806	Time: 77.7132/86400
c Decision: 3468/20806	Time: 82.5784/86400
c Decision: 3468/20806	Time: 86.0949/86400
c Decision: 3468/20806	Time: 89.8903/86400
c Decision: 3470/20806	Time: 94.6246/86400
c Decision: 3470/20806	Time: 98.428/86400
c Decision: 3470/20806	Time: 102.288/86400
c Decision: 3470/20806	Time: 105.964/86400
c Decision: 3470/20806	Time: 109.589/86400
c Decision: 3470/20806	Time: 113.318/86400
c Decision: 3470/20806	Time: 117.058/86400
c Decision: 3470/20806	Time: 121.312/86400
c Decision: 3470/20806	Time: 125.245/86400
c Decision: 3470/20806	Time: 129.454/86400
c Decision: 3470/20806	Time: 133.499/86400
c Decision: 3473/20806	Time: 139.391/86400
c Decision: 3473/20806	Time: 143.708/86400
c Decision: 3473/20806	Time: 148.037/86400
c Decision: 3473/20806	Time: 152.409/86400
c Decision: 3473/20806	Time: 156.195/86400
c Decision: 3473/20806	Time: 160.23/86400
c Decision: 3473/20806	Time: 164.684/86400
c Decision: 3473/20806	Time: 168.671/86400
c Decision: 3473/20806	Time: 172.783/86400
c Decision: 3473/20806	Time: 176.715/86400
c Decision: 3558/20806	Time: 185.238/86400
c Decision: 3558/20806	Time: 189.629/86400
c Decision: 3558/20806	Time: 194.447/86400
c Decision: 3558/20806	Time: 198.9/86400
c Decision: 3562/20806	Time: 203.649/86400
c Decision: 3562/20806	Time: 208.413/86400
c Decision: 3562/20806	Time: 212.946/86400
c Decision: 3562/20806	Time: 217.864/86400
c Decision: 3562/20806	Time: 222.551/86400
c Decision: 3562/20806	Time: 227.6/86400
c Decision: 3562/20806	Time: 232.39/86400
c Decision: 3562/20806	Time: 237.297/86400
c Decision: 3562/20806	Time: 242.004/86400
c Decision: 3562/20806	Time: 245.935/86400
c Decision: 3562/20806	Time: 250.663/86400
c Decision: 3562/20806	Time: 255.255/86400
c Decision: 3562/20806	Time: 260.025/86400
c Decision: 3562/20806	Time: 265.185/86400
c Decision: 3562/20806	Time: 270.3/86400
c Decision: 3562/20806	Time: 275.254/86400
c Decision: 3562/20806	Time: 280.289/86400
c Decision: 3562/20806	Time: 285.211/86400
c Decision: 3562/20806	Time: 291.036/86400
c Decision: 3562/20806	Time: 295.368/86400
c Decision: 3562/20806	Time: 300.907/86400
c Decision: 3562/20806	Time: 305.869/86400
c Decision: 3562/20806	Time: 310.977/86400
c Decision: 3562/20806	Time: 315.614/86400
c Decision: 3562/20806	Time: 320.897/86400
c Decision: 3562/20806	Time: 325.631/86400
c Decision: 3562/20806	Time: 330.612/86400
c Decision: 3562/20806	Time: 336.461/86400
c Decision: 3562/20806	Time: 341.757/86400
c Decision: 3562/20806	Time: 347.309/86400
c Decision: 3562/20806	Time: 352.731/86400
c Decision: 3562/20806	Time: 358.242/86400
c Decision: 3562/20806	Time: 364.34/86400
c Decision: 3562/20806	Time: 369.746/86400
c Decision: 3562/20806	Time: 375.619/86400
c Decision: 3562/20806	Time: 380.943/86400
c Decision: 3562/20806	Time: 386.591/86400
c Decision: 3562/20806	Time: 392.668/86400
c Decision: 3562/20806	Time: 398.774/86400
c Decision: 3562/20806	Time: 405.294/86400
c Decision: 3562/20806	Time: 411.248/86400
c Decision: 3562/20806	Time: 417.38/86400
c Decision: 3562/20806	Time: 422.974/86400
c Decision: 3562/20806	Time: 429.048/86400
c Decision: 3562/20806	Time: 435.384/86400
c Decision: 3562/20806	Time: 441.613/86400
c Decision: 3562/20806	Time: 447.557/86400
c Decision: 3562/20806	Time: 453.87/86400
c Decision: 3562/20806	Time: 460.132/86400
c Decision: 3563/20806	Time: 470.302/86400
c Decision: 3563/20806	Time: 476.329/86400
c Decision: 3563/20806	Time: 483.111/86400
c Decision: 3563/20806	Time: 489.559/86400
c Decision: 3563/20806	Time: 496.146/86400
c Decision: 3563/20806	Time: 502.2/86400
c Decision: 3563/20806	Time: 508.105/86400
c Decision: 3563/20806	Time: 514.468/86400
c Decision: 3563/20806	Time: 521.028/86400
c Decision: 3563/20806	Time: 526.947/86400
c Decision: 3563/20806	Time: 533.554/86400
c Decision: 3563/20806	Time: 539.941/86400
c Decision: 3563/20806	Time: 545.979/86400
c Decision: 3563/20806	Time: 552.101/86400
c Decision: 3563/20806	Time: 558.437/86400
c Decision: 3563/20806	Time: 564.874/86400
c Decision: 3563/20806	Time: 571.007/86400
c Decision: 3563/20806	Time: 577.62/86400
c Decision: 3563/20806	Time: 583.723/86400
c Decision: 3563/20806	Time: 590.444/86400
c Decision: 3563/20806	Time: 596.986/86400
c Decision: 3563/20806	Time: 603.019/86400
c Decision: 3563/20806	Time: 609.989/86400
c Decision: 3563/20806	Time: 617.282/86400
c Decision: 3563/20806	Time: 625.3/86400
c Decision: 3563/20806	Time: 632.406/86400
c Decision: 3563/20806	Time: 638.91/86400
c Decision: 3563/20806	Time: 645.9/86400
c Decision: 3563/20806	Time: 653.053/86400
c Decision: 3563/20806	Time: 660.374/86400
c Decision: 3563/20806	Time: 667.792/86400
c Decision: 3563/20806	Time: 674.127/86400
c Decision: 3563/20806	Time: 680.698/86400
c Decision: 3721/20806	Time: 691.094/86400
c Decision: 3721/20806	Time: 697.974/86400
c Decision: 3721/20806	Time: 704.972/86400
c Decision: 3721/20806	Time: 711.444/86400
c Decision: 3721/20806	Time: 717.8/86400
c Decision: 3721/20806	Time: 723.969/86400
c Decision: 3721/20806	Time: 730.625/86400
c Decision: 3724/20806	Time: 737.157/86400
c Decision: 4187/20806	Time: 745.498/86400
c Decision: 4187/20806	Time: 751.883/86400
c Decision: 4187/20806	Time: 758.386/86400
c Decision: 4187/20806	Time: 764.586/86400
c Decision: 4187/20806	Time: 771.005/86400
c Decision: 4190/20806	Time: 777.266/86400
c Decision: 4190/20806	Time: 783.605/86400
c Decision: 4190/20806	Time: 790.174/86400
c Decision: 4190/20806	Time: 797.213/86400
c Decision: 4195/20806	Time: 805.163/86400
c Decision: 4564/20806	Time: 818.129/86400
c [startup+830.476 s]  setting bit 6 to 0

c Decision: 2793/20806	Time: 5.60715/86400
c Decision: 2793/20806	Time: 9.17361/86400
c Decision: 2793/20806	Time: 12.874/86400
c Decision: 2793/20806	Time: 16.8804/86400
c Decision: 2793/20806	Time: 21.1298/86400
c Decision: 2793/20806	Time: 25.2322/86400
c Decision: 2793/20806	Time: 28.9926/86400
c Decision: 2793/20806	Time: 32.649/86400
c Decision: 2793/20806	Time: 36.6764/86400
c Decision: 2793/20806	Time: 40.3499/86400
c Decision: 2793/20806	Time: 44.5862/86400
c Decision: 2793/20806	Time: 48.7986/86400
c Decision: 2798/20806	Time: 52.897/86400
c Decision: 2798/20806	Time: 56.8624/86400
c Decision: 2798/20806	Time: 61.1117/86400
c Decision: 2798/20806	Time: 65.649/86400
c Decision: 2798/20806	Time: 69.7914/86400
c Decision: 2798/20806	Time: 74.0227/86400
c Decision: 2798/20806	Time: 78.3791/86400
c Decision: 2798/20806	Time: 82.6454/86400
c Decision: 2798/20806	Time: 87.3357/86400
c Decision: 2798/20806	Time: 92.265/86400
c Decision: 2798/20806	Time: 96.9393/86400
c Decision: 2798/20806	Time: 100.94/86400
c Decision: 2798/20806	Time: 105.371/86400
c Decision: 2798/20806	Time: 110.13/86400
c Decision: 2798/20806	Time: 114.897/86400
c Decision: 2798/20806	Time: 119.948/86400
c Decision: 2798/20806	Time: 124.758/86400
c Decision: 2798/20806	Time: 130.014/86400
c Decision: 2798/20806	Time: 135.973/86400
c Decision: 2798/20806	Time: 141.481/86400
c Decision: 2798/20806	Time: 146.321/86400
c Decision: 2798/20806	Time: 151.611/86400
c Decision: 2798/20806	Time: 156.88/86400
c Decision: 2798/20806	Time: 162.606/86400
c Decision: 2798/20806	Time: 167.792/86400
c Decision: 2798/20806	Time: 173.123/86400
c Decision: 2798/20806	Time: 177.788/86400
c Decision: 2798/20806	Time: 182.752/86400
c Decision: 2798/20806	Time: 188.216/86400
c Decision: 2798/20806	Time: 193.762/86400
c Decision: 2798/20806	Time: 199.374/86400
c Decision: 2798/20806	Time: 204.826/86400
c Decision: 2798/20806	Time: 209.902/86400
c Decision: 2798/20806	Time: 215.855/86400
c Decision: 2798/20806	Time: 222.106/86400
c Decision: 2798/20806	Time: 228.335/86400
c Decision: 2798/20806	Time: 233.784/86400
c Decision: 2798/20806	Time: 239.305/86400
c Decision: 2798/20806	Time: 245.111/86400
c Decision: 2798/20806	Time: 250.901/86400
c Decision: 2798/20806	Time: 257.084/86400
c Decision: 2798/20806	Time: 262.438/86400
c Decision: 2798/20806	Time: 268.047/86400
c Decision: 2798/20806	Time: 274.115/86400
c Decision: 2798/20806	Time: 280.322/86400
c Decision: 2798/20806	Time: 286.486/86400
c Decision: 2798/20806	Time: 292.182/86400
c Decision: 2798/20806	Time: 297.827/86400
c Decision: 2798/20806	Time: 304.513/86400
c Decision: 2798/20806	Time: 310.138/86400
c Decision: 2798/20806	Time: 316.361/86400
c Decision: 2798/20806	Time: 322.315/86400
c Decision: 2798/20806	Time: 328.352/86400
c Decision: 2798/20806	Time: 335.177/86400
c Decision: 2798/20806	Time: 341.895/86400
c Decision: 2798/20806	Time: 347.929/86400
c Decision: 2798/20806	Time: 354.038/86400
c Decision: 2798/20806	Time: 360.344/86400
c Decision: 2798/20806	Time: 367.957/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.91 0.95 0.90 2/54 19732
Raw data (stat): 19732 (runsolver) R 19731 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973705840 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 3470 0 0 0 990 9 0 0 25 0 1 0 973705840 12222464 2005 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2984 2005 301 301 0 2683 0
vsize: 11936
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 3572 0 0 0 1988 11 0 0 25 0 1 0 973705840 12357632 2107 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3017 2107 301 301 0 2716 0
vsize: 12068
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 3726 0 0 0 2986 12 0 0 25 0 1 0 973705840 12357632 2261 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3017 2261 301 301 0 2716 0
vsize: 12068
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 3910 0 0 0 3986 13 0 0 25 0 1 0 973705840 14606336 2404 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3566 2404 301 301 0 3265 0
vsize: 14264
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 4132 0 0 0 4984 15 0 0 25 0 1 0 973705840 14901248 2544 4294967295 134512640 135730672 3221224576 3221222880 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3638 2544 301 301 0 3337 0
vsize: 14552
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 4337 0 0 0 5982 16 0 0 25 0 1 0 973705840 14901248 2626 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3638 2626 301 301 0 3337 0
vsize: 14552
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 4591 0 0 0 6981 18 0 0 25 0 1 0 973705840 15036416 2757 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3671 2757 301 301 0 3370 0
vsize: 14684
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 4789 0 0 0 7980 19 0 0 25 0 1 0 973705840 15171584 2832 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3704 2832 301 301 0 3403 0
vsize: 14816
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 5024 0 0 0 8979 21 0 0 25 0 1 0 973705840 15503360 2985 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3785 2985 301 301 0 3484 0
vsize: 15140
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 5245 0 0 0 9977 22 0 0 25 0 1 0 973705840 19697664 3083 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4809 3083 301 301 0 4508 0
vsize: 19236
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 5447 0 0 0 10975 24 0 0 25 0 1 0 973705840 19836928 3203 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4843 3203 301 301 0 4542 0
vsize: 19372
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 5650 0 0 0 11973 25 0 0 25 0 1 0 973705840 19976192 3283 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4877 3283 301 301 0 4576 0
vsize: 19508
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 5892 0 0 0 12972 26 0 0 25 0 1 0 973705840 19976192 3402 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4877 3402 301 301 0 4576 0
vsize: 19508
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6057 0 0 0 13971 28 0 0 25 0 1 0 973705840 20127744 3485 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4914 3485 301 301 0 4613 0
vsize: 19656
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6302 0 0 0 14969 30 0 0 25 0 1 0 973705840 20127744 3648 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4914 3648 301 301 0 4613 0
vsize: 19656
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6470 0 0 0 15968 31 0 0 25 0 1 0 973705840 20267008 3734 4294967295 134512640 135730672 3221224576 3221222864 134747874 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4948 3734 301 301 0 4647 0
vsize: 19792
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6627 0 0 0 16967 32 0 0 25 0 1 0 973705840 20267008 3768 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4948 3768 301 301 0 4647 0
vsize: 19792
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6784 0 0 0 17966 33 0 0 25 0 1 0 973705840 20402176 3843 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4981 3843 301 301 0 4680 0
vsize: 19924
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 6898 0 0 0 18965 34 0 0 25 0 1 0 973705840 20545536 3875 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5016 3875 301 301 0 4715 0
vsize: 20064
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 7027 0 0 0 19964 35 0 0 25 0 1 0 973705840 20713472 3922 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5057 3922 301 301 0 4756 0
vsize: 20228
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 7202 0 0 0 20963 36 0 0 25 0 1 0 973705840 20852736 4015 4294967295 134512640 135730672 3221224576 3221222964 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5091 4015 301 301 0 4790 0
vsize: 20364
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 7451 0 0 0 21962 37 0 0 25 0 1 0 973705840 20852736 4182 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5091 4182 301 301 0 4790 0
vsize: 20364
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 7627 0 0 0 22960 39 0 0 25 0 1 0 973705840 20987904 4276 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5124 4276 301 301 0 4823 0
vsize: 20496
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 7736 0 0 0 23960 40 0 0 25 0 1 0 973705840 20987904 4303 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5124 4303 301 301 0 4823 0
vsize: 20496
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8006 0 0 0 24958 41 0 0 25 0 1 0 973705840 21315584 4491 4294967295 134512640 135730672 3221224576 3221222556 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5204 4491 301 301 0 4903 0
vsize: 20816
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8157 0 0 0 25957 42 0 0 25 0 1 0 973705840 21303296 4519 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5201 4519 301 301 0 4900 0
vsize: 20804
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8378 0 0 0 26956 44 0 0 25 0 1 0 973705840 29691904 4658 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7249 4658 301 301 0 6948 0
vsize: 28996
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8538 0 0 0 27955 45 0 0 25 0 1 0 973705840 29827072 4736 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7282 4736 301 301 0 6981 0
vsize: 29128
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8754 0 0 0 28954 46 0 0 25 0 1 0 973705840 30003200 4870 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 4870 301 301 0 7024 0
vsize: 29300
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 8980 0 0 0 29953 47 0 0 25 0 1 0 973705840 30003200 5014 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 5014 301 301 0 7024 0
vsize: 29300
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 9121 0 0 0 30952 48 0 0 25 0 1 0 973705840 30003200 5073 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 5073 301 301 0 7024 0
vsize: 29300
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 9364 0 0 0 31951 49 0 0 25 0 1 0 973705840 30142464 5234 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7359 5234 301 301 0 7058 0
vsize: 29436
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 9514 0 0 0 32949 51 0 0 25 0 1 0 973705840 30298112 5302 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7397 5302 301 301 0 7096 0
vsize: 29588
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 10533 0 0 0 33946 54 0 0 25 0 1 0 973705840 33583104 5470 4294967295 134512640 135730672 3221224576 3221222864 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8199 5470 301 301 0 7898 0
vsize: 32796
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 10776 0 0 0 34945 56 0 0 25 0 1 0 973705840 33726464 5631 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5631 301 301 0 7933 0
vsize: 32936
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 10981 0 0 0 35944 57 0 0 25 0 1 0 973705840 33726464 5795 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5795 301 301 0 7933 0
vsize: 32936
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 11247 0 0 0 36942 59 0 0 25 0 1 0 973705840 33726464 5979 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8234 5979 301 301 0 7933 0
vsize: 32936
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 11447 0 0 0 37941 60 0 0 25 0 1 0 973705840 33869824 6097 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8269 6097 301 301 0 7968 0
vsize: 33076
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 11687 0 0 0 38939 62 0 0 25 0 1 0 973705840 34189312 6255 4294967295 134512640 135730672 3221224576 3221222816 134730420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8347 6255 301 301 0 8046 0
vsize: 33388
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 11886 0 0 0 39937 63 0 0 25 0 1 0 973705840 34189312 6413 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8347 6413 301 301 0 8046 0
vsize: 33388
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 12057 0 0 0 40936 65 0 0 25 0 1 0 973705840 34189312 6502 4294967295 134512640 135730672 3221224576 3221222864 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8347 6502 301 301 0 8046 0
vsize: 33388
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 12194 0 0 0 41936 65 0 0 25 0 1 0 973705840 34549760 6557 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8435 6557 301 301 0 8134 0
vsize: 33740
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 12396 0 0 0 42935 66 0 0 25 0 1 0 973705840 34549760 6718 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8435 6718 301 301 0 8134 0
vsize: 33740
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 12594 0 0 0 43934 68 0 0 25 0 1 0 973705840 34734080 6834 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8480 6834 301 301 0 8179 0
vsize: 33920
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 12853 0 0 0 44932 69 0 0 25 0 1 0 973705840 34914304 7011 4294967295 134512640 135730672 3221224576 3221222864 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8524 7011 301 301 0 8223 0
vsize: 34096
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13082 0 0 0 45931 70 0 0 25 0 1 0 973705840 34914304 7199 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8524 7199 301 301 0 8223 0
vsize: 34096
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13294 0 0 0 46929 72 0 0 25 0 1 0 973705840 51851264 7329 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12659 7329 301 301 0 12358 0
vsize: 50636
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13349 0 0 0 47929 73 0 0 25 0 1 0 973705840 51851264 7343 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12659 7343 301 301 0 12358 0
vsize: 50636
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13495 0 0 0 48928 74 0 0 25 0 1 0 973705840 51851264 7448 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12659 7448 301 301 0 12358 0
vsize: 50636
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13749 0 0 0 49927 75 0 0 25 0 1 0 973705840 51851264 7620 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12659 7620 301 301 0 12358 0
vsize: 50636
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 13869 0 0 0 50927 76 0 0 25 0 1 0 973705840 52027392 7699 4294967295 134512640 135730672 3221224576 3221222880 134746221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12702 7699 301 301 0 12401 0
vsize: 50808
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 14095 0 0 0 51926 77 0 0 25 0 1 0 973705840 52027392 7843 4294967295 134512640 135730672 3221224576 3221222592 134813801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12702 7843 301 301 0 12401 0
vsize: 50808
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 14331 0 0 0 52925 77 0 0 25 0 1 0 973705840 52027392 7997 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12702 7997 301 301 0 12401 0
vsize: 50808
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 14478 0 0 0 53925 78 0 0 25 0 1 0 973705840 52355072 8103 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12782 8103 301 301 0 12481 0
vsize: 51128
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 14634 0 0 0 54925 79 0 0 25 0 1 0 973705840 52510720 8177 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8177 301 301 0 12519 0
vsize: 51280
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 14849 0 0 0 55923 80 0 0 25 0 1 0 973705840 52510720 8351 4294967295 134512640 135730672 3221224576 3221222880 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8351 301 301 0 12519 0
vsize: 51280
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15029 0 0 0 56923 81 0 0 25 0 1 0 973705840 52510720 8449 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8449 301 301 0 12519 0
vsize: 51280
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15128 0 0 0 57922 81 0 0 25 0 1 0 973705840 52510720 8466 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8466 301 301 0 12519 0
vsize: 51280
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15269 0 0 0 58922 82 0 0 25 0 1 0 973705840 52510720 8566 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8566 301 301 0 12519 0
vsize: 51280
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15475 0 0 0 59921 83 0 0 25 0 1 0 973705840 52510720 8690 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8690 301 301 0 12519 0
vsize: 51280
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15581 0 0 0 60920 84 0 0 25 0 1 0 973705840 52510720 8755 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 8755 301 301 0 12519 0
vsize: 51280
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 15821 0 0 0 61919 86 0 0 25 0 1 0 973705840 52645888 8913 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12853 8914 301 301 0 12552 0
vsize: 51412
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16007 0 0 0 62918 87 0 0 25 0 1 0 973705840 52645888 9058 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12853 9058 301 301 0 12552 0
vsize: 51412
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16101 0 0 0 63918 87 0 0 25 0 1 0 973705840 52645888 9111 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12853 9111 301 301 0 12552 0
vsize: 51412
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16303 0 0 0 64917 88 0 0 25 0 1 0 973705840 52948992 9231 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12927 9231 301 301 0 12626 0
vsize: 51708
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16507 0 0 0 65916 89 0 0 25 0 1 0 973705840 52948992 9394 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12927 9394 301 301 0 12626 0
vsize: 51708
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16701 0 0 0 66915 90 0 0 25 0 1 0 973705840 52948992 9506 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12927 9506 301 301 0 12626 0
vsize: 51708
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16752 0 0 0 67915 91 0 0 25 0 1 0 973705840 52948992 9516 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12927 9516 301 301 0 12626 0
vsize: 51708
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 16852 0 0 0 68914 91 0 0 25 0 1 0 973705840 53112832 9534 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12967 9534 301 301 0 12666 0
vsize: 51868
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17006 0 0 0 69914 92 0 0 25 0 1 0 973705840 53600256 9647 4294967295 134512640 135730672 3221224576 3221222864 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13086 9647 301 301 0 12785 0
vsize: 52344
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17063 0 0 0 70914 93 0 0 25 0 1 0 973705840 53600256 9663 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13086 9663 301 301 0 12785 0
vsize: 52344
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17155 0 0 0 71913 93 0 0 25 0 1 0 973705840 53739520 9673 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13120 9673 301 301 0 12819 0
vsize: 52480
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17203 0 0 0 72913 94 0 0 25 0 1 0 973705840 53739520 9680 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13120 9680 301 301 0 12819 0
vsize: 52480
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17291 0 0 0 73912 94 0 0 25 0 1 0 973705840 53739520 9686 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13120 9686 301 301 0 12819 0
vsize: 52480
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17358 0 0 0 74912 95 0 0 25 0 1 0 973705840 53739520 9712 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13120 9712 301 301 0 12819 0
vsize: 52480
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17600 0 0 0 75911 96 0 0 25 0 1 0 973705840 54415360 9872 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9872 301 301 0 12984 0
vsize: 53140
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17649 0 0 0 76911 96 0 0 25 0 1 0 973705840 54415360 9880 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9880 301 301 0 12984 0
vsize: 53140
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17739 0 0 0 77911 97 0 0 25 0 1 0 973705840 54415360 9888 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9888 301 301 0 12984 0
vsize: 53140
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17792 0 0 0 78910 97 0 0 25 0 1 0 973705840 54415360 9900 4294967295 134512640 135730672 3221224576 3221222864 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9900 301 301 0 12984 0
vsize: 53140
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17880 0 0 0 79910 98 0 0 25 0 1 0 973705840 54415360 9906 4294967295 134512640 135730672 3221224576 3221223032 134748654 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9906 301 301 0 12984 0
vsize: 53140
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17931 0 0 0 80909 99 0 0 25 0 1 0 973705840 54415360 9916 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9916 301 301 0 12984 0
vsize: 53140
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 17982 0 0 0 81909 99 0 0 25 0 1 0 973705840 54415360 9926 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13285 9926 301 301 0 12984 0
vsize: 53140
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18107 0 0 0 82908 100 0 0 25 0 1 0 973705840 54796288 10010 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 10010 301 301 0 13077 0
vsize: 53512
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18263 0 0 0 83907 101 0 0 25 0 1 0 973705840 54796288 10043 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 10043 301 301 0 13077 0
vsize: 53512
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18413 0 0 0 84906 102 0 0 25 0 1 0 973705840 55152640 10111 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13465 10111 301 301 0 13164 0
vsize: 53860
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18541 0 0 0 85905 103 0 0 25 0 1 0 973705840 55349248 10157 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13513 10157 301 301 0 13212 0
vsize: 54052
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18663 0 0 0 86904 104 0 0 25 0 1 0 973705840 55709696 10238 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13601 10238 301 301 0 13300 0
vsize: 54404
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18736 0 0 0 87904 105 0 0 25 0 1 0 973705840 55906304 10270 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13649 10270 301 301 0 13348 0
vsize: 54596
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18826 0 0 0 88903 106 0 0 25 0 1 0 973705840 56102912 10319 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13697 10319 301 301 0 13396 0
vsize: 54788
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18877 0 0 0 89903 106 0 0 25 0 1 0 973705840 56102912 10329 4294967295 134512640 135730672 3221224576 3221222992 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13697 10329 301 301 0 13396 0
vsize: 54788
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18899 0 0 0 90901 108 0 0 25 0 1 0 973705840 56102912 10351 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13697 10351 301 301 0 13396 0
vsize: 54788
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18949 0 0 0 91901 108 0 0 25 0 1 0 973705840 56102912 10360 4294967295 134512640 135730672 3221224576 3221222864 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13697 10360 301 301 0 13396 0
vsize: 54788
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 18977 0 0 0 92901 109 0 0 25 0 1 0 973705840 56250368 10388 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13733 10388 301 301 0 13432 0
vsize: 54932
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19029 0 0 0 93901 109 0 0 25 0 1 0 973705840 56250368 10399 4294967295 134512640 135730672 3221224576 3221222976 134744715 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13733 10399 301 301 0 13432 0
vsize: 54932
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19088 0 0 0 94900 110 0 0 25 0 1 0 973705840 56250368 10417 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13733 10417 301 301 0 13432 0
vsize: 54932
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19198 0 0 0 95899 111 0 0 25 0 1 0 973705840 56385536 10445 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13766 10445 301 301 0 13465 0
vsize: 55064
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19303 0 0 0 96898 112 0 0 25 0 1 0 973705840 56385536 10468 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13766 10468 301 301 0 13465 0
vsize: 55064
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19354 0 0 0 97898 112 0 0 25 0 1 0 973705840 56385536 10478 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13766 10478 301 301 0 13465 0
vsize: 55064
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19422 0 0 0 98897 114 0 0 25 0 1 0 973705840 56545280 10505 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13805 10505 301 301 0 13504 0
vsize: 55220
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19479 0 0 0 99896 115 0 0 25 0 1 0 973705840 56545280 10521 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13805 10521 301 301 0 13504 0
vsize: 55220
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19497 0 0 0 100895 115 0 0 25 0 1 0 973705840 56545280 10539 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13805 10539 301 301 0 13504 0
vsize: 55220
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19535 0 0 0 101895 116 0 0 25 0 1 0 973705840 56684544 10577 4294967295 134512640 135730672 3221224576 3221222864 134747945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13839 10577 301 301 0 13538 0
vsize: 55356
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19631 0 0 0 102894 117 0 0 25 0 1 0 973705840 56684544 10591 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13839 10591 301 301 0 13538 0
vsize: 55356
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19645 0 0 0 103894 118 0 0 25 0 1 0 973705840 56819712 10605 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13872 10605 301 301 0 13571 0
vsize: 55488
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19743 0 0 0 104893 118 0 0 25 0 1 0 973705840 56819712 10621 4294967295 134512640 135730672 3221224576 3221222864 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13872 10621 301 301 0 13571 0
vsize: 55488
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19838 0 0 0 105892 119 0 0 25 0 1 0 973705840 56819712 10634 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13872 10634 301 301 0 13571 0
vsize: 55488
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19898 0 0 0 106892 119 0 0 25 0 1 0 973705840 56819712 10653 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13872 10653 301 301 0 13571 0
vsize: 55488
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 19961 0 0 0 107892 120 0 0 25 0 1 0 973705840 56958976 10675 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13906 10675 301 301 0 13605 0
vsize: 55624
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20029 0 0 0 108891 121 0 0 25 0 1 0 973705840 56958976 10702 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13906 10702 301 301 0 13605 0
vsize: 55624
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20129 0 0 0 109890 122 0 0 25 0 1 0 973705840 57094144 10720 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 10720 301 301 0 13638 0
vsize: 55756
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20182 0 0 0 110890 122 0 0 25 0 1 0 973705840 57094144 10732 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 10732 301 301 0 13638 0
vsize: 55756
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20240 0 0 0 111890 123 0 0 25 0 1 0 973705840 57094144 10749 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 10749 301 301 0 13638 0
vsize: 55756
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20348 0 0 0 112889 123 0 0 25 0 1 0 973705840 57229312 10775 4294967295 134512640 135730672 3221224576 3221222928 134740376 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 10775 301 301 0 13671 0
vsize: 55888
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20402 0 0 0 113889 124 0 0 25 0 1 0 973705840 57229312 10788 4294967295 134512640 135730672 3221224576 3221223056 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 10788 301 301 0 13671 0
vsize: 55888
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20495 0 0 0 114889 124 0 0 25 0 1 0 973705840 57229312 10799 4294967295 134512640 135730672 3221224576 3221222976 135284198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 10799 301 301 0 13671 0
vsize: 55888
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20600 0 0 0 115888 125 0 0 25 0 1 0 973705840 57368576 10822 4294967295 134512640 135730672 3221224576 3221222688 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 10822 301 301 0 13705 0
vsize: 56024
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20658 0 0 0 116888 125 0 0 25 0 1 0 973705840 57368576 10839 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 10839 301 301 0 13705 0
vsize: 56024
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20747 0 0 0 117888 126 0 0 25 0 1 0 973705840 57368576 10846 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 10846 301 301 0 13705 0
vsize: 56024
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20809 0 0 0 118887 126 0 0 25 0 1 0 973705840 57368576 10867 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14006 10867 301 301 0 13705 0
vsize: 56024
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19732
Raw data (stat): 19732 (pb2sat-v2) R 19731 7266 7265 0 -1 0 20901 0 0 0 119887 127 0 0 25 0 1 0 973705840 57507840 10877 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14040 10877 301 301 0 13739 0
vsize: 56160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19732
Raw data (stat): 19732 (pb2sat-v2) Z 19731 7266 7265 0 -1 12 20903 0 0 0 119897 129 0 0 25 0 1 0 973705840 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: 10
Real time (s): 1200.15
CPU time (s): 1200.27
CPU user time (s): 1198.97
CPU system time (s): 1.2988
CPU usage (%): 100.011
Max. virtual memory (Kb): 56160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	122
#### END VERIFIER DATA ####