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 35800

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 13:56:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25036 boxname=wulflinc6 idbench=1508 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 25036
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        740804 kB
Buffers:         34204 kB
Cached:         238812 kB
SwapCached:        616 kB
Active:          19088 kB
Inactive:       256108 kB
HighTotal:      131008 kB
HighFree:        19320 kB
LowTotal:       903652 kB
LowFree:        721484 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5180 kB
Slab:            12920 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:16:42 (client local time) WITH STATUS 10 IN 1200.5 SECONDS
stats: 25036 0 1200.5 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 2353/20798	Time: 22.9245/86400
Decision: 2353/20798	Time: 25.8431/86400
Decision: 2353/20798	Time: 29.1766/86400
Decision: 2353/20798	Time: 32.1261/86400
Decision: 2353/20798	Time: 35.2926/86400
Decision: 2353/20798	Time: 39.0651/86400
Decision: 2353/20798	Time: 42.4375/86400
Decision: 2353/20798	Time: 46.125/86400
Decision: 2353/20798	Time: 49.7974/86400
Decision: 2353/20798	Time: 53.4929/86400
Decision: 2353/20798	Time: 56.9883/86400
Decision: 2353/20798	Time: 60.8687/86400
Decision: 2353/20798	Time: 65.0571/86400
Decision: 2353/20798	Time: 69.0195/86400
Decision: 2353/20798	Time: 73.1509/86400
Decision: 2353/20798	Time: 77.5452/86400
Decision: 2353/20798	Time: 81.5746/86400
Decision: 2353/20798	Time: 85.8779/86400
Decision: 2353/20798	Time: 90.0823/86400
Decision: 2353/20798	Time: 94.5176/86400
Decision: 2353/20798	Time: 99.5309/86400
Decision: 2353/20798	Time: 104.1/86400
Decision: 2353/20798	Time: 108.857/86400
Decision: 2353/20798	Time: 113.728/86400
Decision: 2353/20798	Time: 119.156/86400
Decision: 2353/20798	Time: 124.338/86400
Decision: 2353/20798	Time: 129.355/86400
Decision: 2353/20798	Time: 134.309/86400
Decision: 2353/20798	Time: 139.604/86400
Decision: 2353/20798	Time: 144.909/86400c got solution with objective value: 120
c [startup+149.494 s]  setting bit 7 to 1

Decision: 3460/20798	Time: 43.6554/86400
Decision: 3460/20798	Time: 47.9817/86400
Decision: 3460/20798	Time: 52.9739/86400
Decision: 3460/20798	Time: 57.2713/86400
Decision: 3460/20798	Time: 61.5166/86400
Decision: 3460/20798	Time: 66.3999/86400
Decision: 3460/20798	Time: 70.8072/86400
Decision: 3460/20798	Time: 75.6375/86400
Decision: 3466/20798	Time: 81.2576/86400
Decision: 3466/20798	Time: 86.4609/86400
Decision: 3466/20798	Time: 91.4061/86400
Decision: 3466/20798	Time: 95.6085/86400
Decision: 3466/20798	Time: 100.576/86400
Decision: 3466/20798	Time: 105.548/86400
Decision: 3466/20798	Time: 110.86/86400
Decision: 3466/20798	Time: 116.137/86400
Decision: 3466/20798	Time: 121.409/86400
Decision: 3466/20798	Time: 126.597/86400
Decision: 3466/20798	Time: 131.865/86400
Decision: 3466/20798	Time: 137.225/86400
Decision: 3466/20798	Time: 142.834/86400
Decision: 3466/20798	Time: 148.037/86400
Decision: 3466/20798	Time: 153.778/86400
Decision: 3466/20798	Time: 158.735/86400
Decision: 3466/20798	Time: 163.78/86400
Decision: 3466/20798	Time: 169.052/86400
Decision: 3466/20798	Time: 174.287/86400
Decision: 3466/20798	Time: 179.701/86400
Decision: 3466/20798	Time: 185.171/86400
Decision: 3466/20798	Time: 191.261/86400
Decision: 3466/20798	Time: 196.914/86400
Decision: 3466/20798	Time: 202.469/86400
Decision: 3466/20798	Time: 208.093/86400
Decision: 3466/20798	Time: 213.79/86400
Decision: 3466/20798	Time: 219.677/86400
Decision: 3466/20798	Time: 225.333/86400
Decision: 3466/20798	Time: 230.907/86400
Decision: 3466/20798	Time: 236.898/86400
Decision: 3466/20798	Time: 242.538/86400
Decision: 3466/20798	Time: 248.546/86400
Decision: 3466/20798	Time: 254.597/86400
Decision: 3466/20798	Time: 261.336/86400
Decision: 3466/20798	Time: 267.14/86400
Decision: 3466/20798	Time: 273.321/86400
Decision: 3466/20798	Time: 279.583/86400
Decision: 3466/20798	Time: 285.757/86400
Decision: 3466/20798	Time: 292.443/86400
Decision: 3466/20798	Time: 298.513/86400
Decision: 3466/20798	Time: 303.902/86400
Decision: 3466/20798	Time: 309.63/86400
Decision: 3466/20798	Time: 316.497/86400
Decision: 3466/20798	Time: 321.95/86400
Decision: 3466/20798	Time: 328.016/86400
Decision: 3466/20798	Time: 333.78/86400
Decision: 3466/20798	Time: 340.282/86400
Decision: 3466/20798	Time: 346.847/86400
Decision: 3466/20798	Time: 353.012/86400
Decision: 3466/20798	Time: 359.837/86400
Decision: 3466/20798	Time: 366.422/86400
Decision: 3466/20798	Time: 373.099/86400
Decision: 3466/20798	Time: 380.097/86400
Decision: 3466/20798	Time: 386.496/86400
Decision: 3466/20798	Time: 393.32/86400
Decision: 3466/20798	Time: 399.618/86400
Decision: 3466/20798	Time: 406.635/86400
Decision: 3466/20798	Time: 413.764/86400
Decision: 3466/20798	Time: 420.656/86400
Decision: 3466/20798	Time: 426.771/86400
Decision: 3466/20798	Time: 433.405/86400
Decision: 3466/20798	Time: 440.166/86400
Decision: 3466/20798	Time: 446.949/86400
Decision: 3466/20798	Time: 454.792/86400
Decision: 3466/20798	Time: 462.059/86400
Decision: 3466/20798	Time: 468.603/86400
Decision: 3466/20798	Time: 475.824/86400
Decision: 3466/20798	Time: 483.824/86400
Decision: 3466/20798	Time: 491.066/86400
Decision: 3469/20798	Time: 497.716/86400
Decision: 3469/20798	Time: 505.075/86400
Decision: 3469/20798	Time: 512.68/86400
Decision: 3469/20798	Time: 519.944/86400
Decision: 3469/20798	Time: 526.773/86400
Decision: 3469/20798	Time: 534.043/86400
Decision: 3477/20798	Time: 542.091/86400
Decision: 3477/20798	Time: 548.41/86400
Decision: 3477/20798	Time: 555.264/86400
Decision: 3477/20798	Time: 561.488/86400
Decision: 3477/20798	Time: 567.993/86400
Decision: 3477/20798	Time: 575.292/86400
Decision: 3477/20798	Time: 582.192/86400
Decision: 3477/20798	Time: 590.894/86400
Decision: 3478/20798	Time: 603.332/86400
Decision: 3478/20798	Time: 609.725/86400
Decision: 3478/20798	Time: 616.424/86400
Decision: 3478/20798	Time: 623.147/86400
Decision: 3478/20798	Time: 630.187/86400
Decision: 3478/20798	Time: 636.783/86400
Decision: 3478/20798	Time: 643.49/86400
Decision: 3478/20798	Time: 651.074/86400
Decision: 3478/20798	Time: 659.105/86400
Decision: 3478/20798	Time: 667.077/86400
Decision: 3478/20798	Time: 673.651/86400
Decision: 3478/20798	Time: 681.666/86400
Decision: 3478/20798	Time: 688.742/86400
Decision: 3478/20798	Time: 695.941/86400
Decision: 3478/20798	Time: 704.306/86400
Decision: 3478/20798	Time: 711.611/86400
Decision: 3478/20798	Time: 718.641/86400
Decision: 3478/20798	Time: 725.815/86400
Decision: 3478/20798	Time: 733.465/86400
Decision: 3478/20798	Time: 742.414/86400
Decision: 3478/20798	Time: 751.01/86400
Decision: 3478/20798	Time: 759.291/86400
Decision: 3478/20798	Time: 766.989/86400
Decision: 3478/20798	Time: 774.529/86400
Decision: 3478/20798	Time: 782.777/86400
Decision: 3478/20798	Time: 790.591/86400
Decision: 3478/20798	Time: 799.734/86400
Decision: 3478/20798	Time: 808.324/86400
Decision: 3478/20798	Time: 815.929/86400
Decision: 3478/20798	Time: 824.105/86400
Decision: 3478/20798	Time: 831.847/86400
Decision: 3478/20798	Time: 840.467/86400
Decision: 3478/20798	Time: 848.725/86400
Decision: 3478/20798	Time: 856.553/86400
Decision: 3478/20798	Time: 865.321/86400
Decision: 3478/20798	Time: 873.635/86400
Decision: 3478/20798	Time: 880.795/86400
Decision: 3478/20798	Time: 889.952/86400
Decision: 3478/20798	Time: 897.825/86400
Decision: 3478/20798	Time: 905.782/86400
Decision: 3478/20798	Time: 913.717/86400
Decision: 3478/20798	Time: 922.746/86400
Decision: 3478/20798	Time: 931.3/86400
Decision: 3478/20798	Time: 941.369/86400
Decision: 3478/20798	Time: 949.46/86400
Decision: 3478/20798	Time: 957.856/86400
Decision: 3478/20798	Time: 966.635/86400
Decision: 3478/20798	Time: 974.284/86400
Decision: 3478/20798	Time: 982.668/86400
Decision: 3478/20798	Time: 991.197/86400
Decision: 3478/20798	Time: 998.825/86400
Decision: 3478/20798	Time: 1006.61/86400
Decision: 3478/20798	Time: 1014.71/86400
Decision: 3478/20798	Time: 1024.27/86400
Decision: 3478/20798	Time: 1034.32/86400
Decision: 3478/20798	Time: 1044.4/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 5374
Raw data (stat): 5374 (runsolver) R 5373 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807111186 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.0018 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 3406 0 0 0 990 9 0 0 25 0 1 0 807111186 12525568 2065 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3058 2065 300 300 0 2758 0
vsize: 12232
[startup+20.003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 3533 0 0 0 1988 11 0 0 25 0 1 0 807111186 12668928 2192 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3093 2192 300 300 0 2793 0
vsize: 12372
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 3732 0 0 0 2987 13 0 0 25 0 1 0 807111186 12812288 2309 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3128 2309 300 300 0 2828 0
vsize: 12512
[startup+40.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 3987 0 0 0 3985 15 0 0 25 0 1 0 807111186 12976128 2400 4294967295 134512640 135726644 3221224592 3221223132 135298010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3168 2400 300 300 0 2868 0
vsize: 12672
[startup+50.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 4130 0 0 0 4983 17 0 0 25 0 1 0 807111186 13111296 2461 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3201 2461 300 300 0 2901 0
vsize: 12804
[startup+60.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 4326 0 0 0 5982 19 0 0 25 0 1 0 807111186 15347712 2534 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3747 2534 300 300 0 3447 0
vsize: 14988
[startup+70.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 4516 0 0 0 6980 21 0 0 25 0 1 0 807111186 15482880 2601 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3780 2601 300 300 0 3480 0
vsize: 15120
[startup+80.0134 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 4682 0 0 0 7979 22 0 0 25 0 1 0 807111186 15482880 2685 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3780 2685 300 300 0 3480 0
vsize: 15120
[startup+90.0133 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 4826 0 0 0 8978 23 0 0 25 0 1 0 807111186 15626240 2747 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3815 2747 300 300 0 3515 0
vsize: 15260
[startup+100.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5013 0 0 0 9976 25 0 0 25 0 1 0 807111186 15781888 2852 4294967295 134512640 135726644 3221224592 3221223088 134744290 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3853 2852 300 300 0 3553 0
vsize: 15412
[startup+110.015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5182 0 0 0 10975 27 0 0 25 0 1 0 807111186 15781888 2898 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3853 2898 300 300 0 3553 0
vsize: 15412
[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5303 0 0 0 11974 28 0 0 25 0 1 0 807111186 15921152 2978 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3887 2978 300 300 0 3587 0
vsize: 15548
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5450 0 0 0 12973 29 0 0 25 0 1 0 807111186 16064512 3043 4294967295 134512640 135726644 3221224592 3221223088 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3922 3043 300 300 0 3622 0
vsize: 15688
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5614 0 0 0 13971 31 0 0 25 0 1 0 807111186 16203776 3125 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3956 3125 300 300 0 3656 0
vsize: 15824
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5801 0 0 0 14970 33 0 0 25 0 1 0 807111186 16351232 3189 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3992 3189 300 300 0 3692 0
vsize: 15968
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 5907 0 0 0 15969 34 0 0 25 0 1 0 807111186 16351232 3295 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3992 3295 300 300 0 3692 0
vsize: 15968
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6037 0 0 0 16967 35 0 0 25 0 1 0 807111186 20545536 3425 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5016 3425 300 300 0 4716 0
vsize: 20064
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6191 0 0 0 17966 37 0 0 25 0 1 0 807111186 20545536 3579 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5016 3579 300 300 0 4716 0
vsize: 20064
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6370 0 0 0 18965 39 0 0 25 0 1 0 807111186 20705280 3758 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5055 3758 300 300 0 4755 0
vsize: 20220
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5374
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6499 0 0 0 19963 40 0 0 25 0 1 0 807111186 20852736 3887 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5091 3887 300 300 0 4791 0
vsize: 20364
[startup+210.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6625 0 0 0 20962 41 0 0 25 0 1 0 807111186 20996096 4013 4294967295 134512640 135726644 3221224592 3221223136 134736737 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4013 300 300 0 4826 0
vsize: 20504
[startup+220.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6750 0 0 0 21961 43 0 0 25 0 1 0 807111186 21164032 4138 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5167 4138 300 300 0 4867 0
vsize: 20668
[startup+230.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 6928 0 0 0 22960 44 0 0 25 0 1 0 807111186 21311488 4275 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5203 4275 300 300 0 4903 0
vsize: 20812
[startup+240.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7088 0 0 0 23959 45 0 0 25 0 1 0 807111186 21450752 4394 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5237 4394 300 300 0 4937 0
vsize: 20948
[startup+250.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7208 0 0 0 24958 46 0 0 25 0 1 0 807111186 21450752 4514 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5237 4514 300 300 0 4937 0
vsize: 20948
[startup+260.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5427
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7392 0 0 0 25957 48 0 0 25 0 1 0 807111186 21594112 4657 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5272 4657 300 300 0 4972 0
vsize: 21088
[startup+270.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7547 0 0 0 26956 49 0 0 25 0 1 0 807111186 30117888 4771 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7353 4771 300 300 0 7053 0
vsize: 29412
[startup+280.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7751 0 0 0 27955 50 0 0 25 0 1 0 807111186 30117888 4893 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7353 4893 300 300 0 7053 0
vsize: 29412
[startup+290.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 7970 0 0 0 28955 51 0 0 25 0 1 0 807111186 30294016 5030 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7396 5030 300 300 0 7096 0
vsize: 29584
[startup+300.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 8181 0 0 0 29954 52 0 0 25 0 1 0 807111186 30294016 5159 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7396 5159 300 300 0 7096 0
vsize: 29584
[startup+310.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 8389 0 0 0 30953 53 0 0 25 0 1 0 807111186 30457856 5285 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7436 5285 300 300 0 7136 0
vsize: 29744
[startup+320.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 8602 0 0 0 31952 55 0 0 25 0 1 0 807111186 30613504 5416 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7474 5416 300 300 0 7174 0
vsize: 29896
[startup+330.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 8813 0 0 0 32950 57 0 0 25 0 1 0 807111186 30777344 5545 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7514 5545 300 300 0 7214 0
vsize: 30056
[startup+340.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 8993 0 0 0 33949 58 0 0 25 0 1 0 807111186 30777344 5684 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7514 5684 300 300 0 7214 0
vsize: 30056
[startup+350.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 9153 0 0 0 34948 59 0 0 25 0 1 0 807111186 30937088 5762 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7553 5762 300 300 0 7253 0
vsize: 30212
[startup+360.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 9337 0 0 0 35947 61 0 0 25 0 1 0 807111186 30937088 5864 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7553 5864 300 300 0 7253 0
vsize: 30212
[startup+370.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 9541 0 0 0 36946 62 0 0 25 0 1 0 807111186 31080448 5986 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 5986 300 300 0 7288 0
vsize: 30352
[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 10432 0 0 0 37944 65 0 0 25 0 1 0 807111186 34381824 6067 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8394 6067 300 300 0 8094 0
vsize: 33576
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 10594 0 0 0 38943 65 0 0 25 0 1 0 807111186 34381824 6147 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8394 6147 300 300 0 8094 0
vsize: 33576
[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 10802 0 0 0 39943 66 0 0 25 0 1 0 807111186 34566144 6273 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8439 6273 300 300 0 8139 0
vsize: 33756
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 10938 0 0 0 40942 67 0 0 25 0 1 0 807111186 34566144 6368 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8439 6368 300 300 0 8139 0
vsize: 33756
[startup+420.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 11164 0 0 0 41944 68 0 0 25 0 1 0 807111186 34566144 6512 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8439 6512 300 300 0 8139 0
vsize: 33756
[startup+430.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 11385 0 0 0 42943 69 0 0 25 0 1 0 807111186 34709504 6651 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8474 6651 300 300 0 8174 0
vsize: 33896
[startup+440.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 11496 0 0 0 43943 70 0 0 25 0 1 0 807111186 34873344 6721 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8514 6721 300 300 0 8214 0
vsize: 34056
[startup+450.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 11711 0 0 0 44943 71 0 0 25 0 1 0 807111186 34873344 6854 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8514 6854 300 300 0 8214 0
vsize: 34056
[startup+460.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 11930 0 0 0 45941 73 0 0 25 0 1 0 807111186 35028992 6991 4294967295 134512640 135726644 3221224592 3221223088 134744229 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8552 6991 300 300 0 8252 0
vsize: 34208
[startup+470.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12065 0 0 0 46941 74 0 0 25 0 1 0 807111186 35028992 7085 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8552 7085 300 300 0 8252 0
vsize: 34208
[startup+480.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12202 0 0 0 47941 75 0 0 25 0 1 0 807111186 35028992 7140 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8552 7140 300 300 0 8252 0
vsize: 34208
[startup+490.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12424 0 0 0 48940 75 0 0 25 0 1 0 807111186 35176448 7280 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8588 7280 300 300 0 8288 0
vsize: 34352
[startup+500.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12570 0 0 0 49939 76 0 0 25 0 1 0 807111186 52109312 7385 4294967295 134512640 135726644 3221224592 3221223136 134736684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12722 7385 300 300 0 12422 0
vsize: 50888
[startup+510.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12684 0 0 0 50939 77 0 0 25 0 1 0 807111186 52244480 7417 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12755 7417 300 300 0 12455 0
vsize: 51020
[startup+520.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 12863 0 0 0 51939 77 0 0 25 0 1 0 807111186 52244480 7555 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12755 7555 300 300 0 12455 0
vsize: 51020
[startup+530.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13089 0 0 0 52938 78 0 0 25 0 1 0 807111186 52408320 7699 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12795 7699 300 300 0 12495 0
vsize: 51180
[startup+540.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13171 0 0 0 53938 79 0 0 25 0 1 0 807111186 52715520 7740 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12870 7740 300 300 0 12570 0
vsize: 51480
[startup+550.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13280 0 0 0 54938 79 0 0 25 0 1 0 807111186 52715520 7767 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12870 7767 300 300 0 12570 0
vsize: 51480
[startup+560.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5429
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13340 0 0 0 55938 80 0 0 25 0 1 0 807111186 52903936 7786 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7786 300 300 0 12616 0
vsize: 51664
[startup+570.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13485 0 0 0 56937 81 0 0 25 0 1 0 807111186 52903936 7849 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7849 300 300 0 12616 0
vsize: 51664
[startup+580.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13665 0 0 0 57937 81 0 0 25 0 1 0 807111186 52903936 7988 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7988 300 300 0 12616 0
vsize: 51664
[startup+590.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13861 0 0 0 58937 82 0 0 25 0 1 0 807111186 52903936 8102 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 8102 300 300 0 12616 0
vsize: 51664
[startup+600.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 13991 0 0 0 59937 82 0 0 25 0 1 0 807111186 52903936 8191 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 8191 300 300 0 12616 0
vsize: 51664
[startup+610.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 14136 0 0 0 60936 83 0 0 25 0 1 0 807111186 53051392 8295 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12952 8295 300 300 0 12652 0
vsize: 51808
[startup+620.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 14363 0 0 0 61936 83 0 0 25 0 1 0 807111186 53190656 8440 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8440 300 300 0 12686 0
vsize: 51944
[startup+630.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 14546 0 0 0 62935 85 0 0 25 0 1 0 807111186 53190656 8582 4294967295 134512640 135726644 3221224592 3221223088 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8582 300 300 0 12686 0
vsize: 51944
[startup+640.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 14666 0 0 0 63935 86 0 0 25 0 1 0 807111186 53346304 8661 4294967295 134512640 135726644 3221224592 3221223104 134742952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13024 8661 300 300 0 12724 0
vsize: 52096
[startup+650.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 14886 0 0 0 64934 87 0 0 25 0 1 0 807111186 53346304 8799 4294967295 134512640 135726644 3221224592 3221222976 134758349 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13024 8799 300 300 0 12724 0
vsize: 52096
[startup+660.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15060 0 0 0 65933 88 0 0 25 0 1 0 807111186 53575680 8932 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13080 8932 300 300 0 12780 0
vsize: 52320
[startup+670.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15287 0 0 0 66932 89 0 0 25 0 1 0 807111186 53575680 9077 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13080 9077 300 300 0 12780 0
vsize: 52320
[startup+680.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15472 0 0 0 67931 90 0 0 25 0 1 0 807111186 53743616 9221 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9221 300 300 0 12821 0
vsize: 52484
[startup+690.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15640 0 0 0 68931 91 0 0 25 0 1 0 807111186 53743616 9348 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9348 300 300 0 12821 0
vsize: 52484
[startup+700.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15850 0 0 0 69930 92 0 0 25 0 1 0 807111186 53743616 9476 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9476 300 300 0 12821 0
vsize: 52484
[startup+710.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 15961 0 0 0 70930 92 0 0 25 0 1 0 807111186 53743616 9546 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9546 300 300 0 12821 0
vsize: 52484
[startup+720.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16106 0 0 0 71930 93 0 0 25 0 1 0 807111186 53743616 9609 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9609 300 300 0 12821 0
vsize: 52484
[startup+730.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16296 0 0 0 72929 94 0 0 25 0 1 0 807111186 53866496 9758 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9758 300 300 0 12851 0
vsize: 52604
[startup+740.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16503 0 0 0 73929 95 0 0 25 0 1 0 807111186 53866496 9883 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9883 300 300 0 12851 0
vsize: 52604
[startup+750.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16515 0 0 0 74929 95 0 0 25 0 1 0 807111186 53866496 9895 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9895 300 300 0 12851 0
vsize: 52604
[startup+760.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16609 0 0 0 75928 96 0 0 25 0 1 0 807111186 53866496 9907 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9907 300 300 0 12851 0
vsize: 52604
[startup+770.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16664 0 0 0 76928 96 0 0 25 0 1 0 807111186 53866496 9921 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9921 300 300 0 12851 0
vsize: 52604
[startup+780.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16780 0 0 0 77928 97 0 0 25 0 1 0 807111186 54067200 9955 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13200 9955 300 300 0 12900 0
vsize: 52800
[startup+790.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16828 0 0 0 78928 97 0 0 25 0 1 0 807111186 54067200 9962 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13200 9962 300 300 0 12900 0
vsize: 52800
[startup+800.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16906 0 0 0 79928 98 0 0 25 0 1 0 807111186 54386688 9999 4294967295 134512640 135726644 3221224592 3221223104 134742890 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 9999 300 300 0 12978 0
vsize: 53112
[startup+810.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 16995 0 0 0 80928 98 0 0 25 0 1 0 807111186 54386688 10006 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 10006 300 300 0 12978 0
vsize: 53112
[startup+820.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17048 0 0 0 81928 99 0 0 25 0 1 0 807111186 54386688 10018 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 10018 300 300 0 12978 0
vsize: 53112
[startup+830.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17119 0 0 0 82927 99 0 0 25 0 1 0 807111186 54530048 10048 4294967295 134512640 135726644 3221224592 3221223280 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10048 300 300 0 13013 0
vsize: 53252
[startup+840.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17211 0 0 0 83927 100 0 0 25 0 1 0 807111186 54530048 10058 4294967295 134512640 135726644 3221224592 3221223088 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10058 300 300 0 13013 0
vsize: 53252
[startup+850.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17300 0 0 0 84926 101 0 0 25 0 1 0 807111186 54530048 10106 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10106 300 300 0 13013 0
vsize: 53252
[startup+860.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17425 0 0 0 85926 102 0 0 25 0 1 0 807111186 54530048 10190 4294967295 134512640 135726644 3221224592 3221223200 134741153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10190 300 300 0 13013 0
vsize: 53252
[startup+870.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17671 0 0 0 86925 103 0 0 25 0 1 0 807111186 54530048 10354 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10354 300 300 0 13013 0
vsize: 53252
[startup+880.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 17852 0 0 0 87924 104 0 0 25 0 1 0 807111186 54710272 10494 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10494 300 300 0 13057 0
vsize: 53428
[startup+890.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18049 0 0 0 88923 105 0 0 25 0 1 0 807111186 54710272 10650 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10650 300 300 0 13057 0
vsize: 53428
[startup+900.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18135 0 0 0 89923 106 0 0 25 0 1 0 807111186 54710272 10695 4294967295 134512640 135726644 3221224592 3221223104 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10695 300 300 0 13057 0
vsize: 53428
[startup+910.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18376 0 0 0 90923 106 0 0 25 0 1 0 807111186 54710272 10854 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10854 300 300 0 13057 0
vsize: 53428
[startup+920.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18545 0 0 0 91923 107 0 0 25 0 1 0 807111186 54710272 10982 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10982 300 300 0 13057 0
vsize: 53428
[startup+930.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18729 0 0 0 92923 107 0 0 25 0 1 0 807111186 54870016 11125 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13396 11125 300 300 0 13096 0
vsize: 53584
[startup+940.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 18839 0 0 0 93922 108 0 0 25 0 1 0 807111186 54870016 11153 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13396 11153 300 300 0 13096 0
vsize: 53584
[startup+950.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19004 0 0 0 94922 109 0 0 25 0 1 0 807111186 55013376 11277 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13431 11277 300 300 0 13131 0
vsize: 53724
[startup+960.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19204 0 0 0 95922 109 0 0 25 0 1 0 807111186 55246848 11436 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13488 11436 300 300 0 13188 0
vsize: 53952
[startup+970.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19377 0 0 0 96920 111 0 0 25 0 1 0 807111186 55246848 11568 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13488 11568 300 300 0 13188 0
vsize: 53952
[startup+980.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19542 0 0 0 97920 112 0 0 25 0 1 0 807111186 55431168 11692 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13533 11692 300 300 0 13233 0
vsize: 54132
[startup+990.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19758 0 0 0 98919 113 0 0 25 0 1 0 807111186 55431168 11826 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13533 11826 300 300 0 13233 0
vsize: 54132
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 19963 0 0 0 99918 114 0 0 25 0 1 0 807111186 55623680 11990 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13580 11990 300 300 0 13280 0
vsize: 54320
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20140 0 0 0 100918 115 0 0 25 0 1 0 807111186 55623680 12126 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13580 12126 300 300 0 13280 0
vsize: 54320
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20258 0 0 0 101917 116 0 0 25 0 1 0 807111186 55824384 12203 4294967295 134512640 135726644 3221224592 3221222956 135287586 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 12203 300 300 0 13329 0
vsize: 54516
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20488 0 0 0 102917 116 0 0 25 0 1 0 807111186 55824384 12351 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 12351 300 300 0 13329 0
vsize: 54516
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20671 0 0 0 103917 117 0 0 25 0 1 0 807111186 55824384 12493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 12493 300 300 0 13329 0
vsize: 54516
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20844 0 0 0 104916 118 0 0 25 0 1 0 807111186 89378816 12625 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12625 300 300 0 21521 0
vsize: 87284
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20937 0 0 0 105916 118 0 0 25 0 1 0 807111186 89378816 12677 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12677 300 300 0 21521 0
vsize: 87284
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 20989 0 0 0 106916 118 0 0 25 0 1 0 807111186 89378816 12688 4294967295 134512640 135726644 3221224592 3221223088 134744214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12688 300 300 0 21521 0
vsize: 87284
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21049 0 0 0 107916 119 0 0 25 0 1 0 807111186 89378816 12707 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12707 300 300 0 21521 0
vsize: 87284
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21100 0 0 0 108916 120 0 0 25 0 1 0 807111186 89378816 12717 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12717 300 300 0 21521 0
vsize: 87284
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21278 0 0 0 109915 121 0 0 25 0 1 0 807111186 89677824 12813 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 12813 300 300 0 21594 0
vsize: 87576
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21392 0 0 0 110915 121 0 0 25 0 1 0 807111186 89677824 12886 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 12886 300 300 0 21594 0
vsize: 87576
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21556 0 0 0 111915 122 0 0 25 0 1 0 807111186 89677824 13009 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 13009 300 300 0 21594 0
vsize: 87576
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21734 0 0 0 112914 123 0 0 25 0 1 0 807111186 89837568 13146 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21933 13146 300 300 0 21633 0
vsize: 87732
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 21968 0 0 0 113913 124 0 0 25 0 1 0 807111186 90021888 13298 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21978 13298 300 300 0 21678 0
vsize: 87912
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22016 0 0 0 114913 124 0 0 25 0 1 0 807111186 90021888 13305 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21978 13305 300 300 0 21678 0
vsize: 87912
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22062 0 0 0 115913 124 0 0 25 0 1 0 807111186 90021888 13310 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21978 13310 300 300 0 21678 0
vsize: 87912
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22247 0 0 0 116913 125 0 0 25 0 1 0 807111186 90214400 13454 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13454 300 300 0 21725 0
vsize: 88100
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22449 0 0 0 117912 126 0 0 25 0 1 0 807111186 90214400 13615 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13615 300 300 0 21725 0
vsize: 88100
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22523 0 0 0 118912 127 0 0 25 0 1 0 807111186 90214400 13648 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13648 300 300 0 21725 0
vsize: 88100
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5431
Raw data (stat): 5374 (pb2sat) R 5373 25568 25567 0 -1 0 22569 0 0 0 119912 127 0 0 25 0 1 0 807111186 90214400 13653 4294967295 134512640 135726644 3221224592 3221222976 134757985 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13653 300 300 0 21725 0
vsize: 88100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5431
Raw data (stat): 5374 (pb2sat) Z 5373 25568 25567 0 -1 12 22570 0 0 0 119919 130 0 0 24 0 1 0 807111186 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.24
CPU time (s): 1200.5
CPU user time (s): 1199.2
CPU system time (s): 1.3048
CPU usage (%): 100.021
Max. virtual memory (Kb): 88100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	120
#### END VERIFIER DATA ####