PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 12:57:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24651 boxname=wulflinc11 idbench=1123 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 24651
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        905188 kB
Buffers:         35088 kB
Cached:          72716 kB
SwapCached:        860 kB
Active:          48832 kB
Inactive:        61152 kB
HighTotal:      131008 kB
HighFree:        55188 kB
LowTotal:       903652 kB
LowFree:        850000 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13912 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:17:48 (client local time) WITH STATUS 10 IN 1200.25 SECONDS
stats: 24651 0 1200.25 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.9875/86400
Decision: 2353/20798	Time: 25.9501/86400
Decision: 2353/20798	Time: 29.3255/86400
Decision: 2353/20798	Time: 32.2801/86400
Decision: 2353/20798	Time: 35.4426/86400
Decision: 2353/20798	Time: 39.207/86400
Decision: 2353/20798	Time: 42.5715/86400
Decision: 2353/20798	Time: 46.253/86400
Decision: 2353/20798	Time: 49.9174/86400
Decision: 2353/20798	Time: 53.6588/86400
Decision: 2353/20798	Time: 57.1903/86400
Decision: 2353/20798	Time: 61.0657/86400
Decision: 2353/20798	Time: 65.2501/86400
Decision: 2353/20798	Time: 69.2055/86400
Decision: 2353/20798	Time: 73.3339/86400
Decision: 2353/20798	Time: 77.7222/86400
Decision: 2353/20798	Time: 81.7456/86400
Decision: 2353/20798	Time: 86.0429/86400
Decision: 2353/20798	Time: 90.2453/86400
Decision: 2353/20798	Time: 94.6746/86400
Decision: 2353/20798	Time: 99.7488/86400
Decision: 2353/20798	Time: 104.375/86400
Decision: 2353/20798	Time: 109.195/86400
Decision: 2353/20798	Time: 114.126/86400
Decision: 2353/20798	Time: 119.619/86400
Decision: 2353/20798	Time: 124.87/86400
Decision: 2353/20798	Time: 129.952/86400
Decision: 2353/20798	Time: 134.965/86400
Decision: 2353/20798	Time: 140.405/86400
Decision: 2353/20798	Time: 145.717/86400c got solution with objective value: 120
c [startup+150.371 s]  setting bit 7 to 1

Decision: 3460/20798	Time: 43.6914/86400
Decision: 3460/20798	Time: 48.0177/86400
Decision: 3460/20798	Time: 53.0079/86400
Decision: 3460/20798	Time: 57.2623/86400
Decision: 3460/20798	Time: 61.4317/86400
Decision: 3460/20798	Time: 66.2579/86400
Decision: 3460/20798	Time: 70.6133/86400
Decision: 3460/20798	Time: 75.3835/86400
Decision: 3466/20798	Time: 80.9367/86400
Decision: 3466/20798	Time: 86.0839/86400
Decision: 3466/20798	Time: 90.9692/86400
Decision: 3466/20798	Time: 95.1205/86400
Decision: 3466/20798	Time: 100.032/86400
Decision: 3466/20798	Time: 104.946/86400
Decision: 3466/20798	Time: 110.26/86400
Decision: 3466/20798	Time: 115.541/86400
Decision: 3466/20798	Time: 120.814/86400
Decision: 3466/20798	Time: 126.008/86400
Decision: 3466/20798	Time: 131.279/86400
Decision: 3466/20798	Time: 136.64/86400
Decision: 3466/20798	Time: 142.255/86400
Decision: 3466/20798	Time: 147.463/86400
Decision: 3466/20798	Time: 153.215/86400
Decision: 3466/20798	Time: 158.179/86400
Decision: 3466/20798	Time: 163.23/86400
Decision: 3466/20798	Time: 168.512/86400
Decision: 3466/20798	Time: 173.757/86400
Decision: 3466/20798	Time: 179.181/86400
Decision: 3466/20798	Time: 184.658/86400
Decision: 3466/20798	Time: 190.757/86400
Decision: 3466/20798	Time: 196.422/86400
Decision: 3466/20798	Time: 201.989/86400
Decision: 3466/20798	Time: 207.628/86400
Decision: 3466/20798	Time: 213.34/86400
Decision: 3466/20798	Time: 219.242/86400
Decision: 3466/20798	Time: 224.922/86400
Decision: 3466/20798	Time: 230.506/86400
Decision: 3466/20798	Time: 236.509/86400
Decision: 3466/20798	Time: 242.161/86400
Decision: 3466/20798	Time: 248.178/86400
Decision: 3466/20798	Time: 254.25/86400
Decision: 3466/20798	Time: 260.999/86400
Decision: 3466/20798	Time: 266.811/86400
Decision: 3466/20798	Time: 272.999/86400
Decision: 3466/20798	Time: 279.271/86400
Decision: 3466/20798	Time: 285.462/86400
Decision: 3466/20798	Time: 292.159/86400
Decision: 3466/20798	Time: 298.246/86400
Decision: 3466/20798	Time: 303.649/86400
Decision: 3466/20798	Time: 309.395/86400
Decision: 3466/20798	Time: 316.282/86400
Decision: 3466/20798	Time: 321.746/86400
Decision: 3466/20798	Time: 327.822/86400
Decision: 3466/20798	Time: 333.65/86400
Decision: 3466/20798	Time: 340.248/86400
Decision: 3466/20798	Time: 346.917/86400
Decision: 3466/20798	Time: 353.154/86400
Decision: 3466/20798	Time: 360.061/86400
Decision: 3466/20798	Time: 366.728/86400
Decision: 3466/20798	Time: 373.486/86400
Decision: 3466/20798	Time: 380.581/86400
Decision: 3466/20798	Time: 387.06/86400
Decision: 3466/20798	Time: 393.96/86400
Decision: 3466/20798	Time: 400.332/86400
Decision: 3466/20798	Time: 407.442/86400
Decision: 3466/20798	Time: 414.672/86400
Decision: 3466/20798	Time: 421.644/86400
Decision: 3466/20798	Time: 427.838/86400
Decision: 3466/20798	Time: 434.558/86400
Decision: 3466/20798	Time: 441.409/86400
Decision: 3466/20798	Time: 448.297/86400
Decision: 3466/20798	Time: 456.235/86400
Decision: 3466/20798	Time: 463.589/86400
Decision: 3466/20798	Time: 470.219/86400
Decision: 3466/20798	Time: 477.534/86400
Decision: 3466/20798	Time: 485.661/86400
Decision: 3466/20798	Time: 492.994/86400
Decision: 3469/20798	Time: 499.729/86400
Decision: 3469/20798	Time: 507.186/86400
Decision: 3469/20798	Time: 514.893/86400
Decision: 3469/20798	Time: 522.284/86400
Decision: 3469/20798	Time: 529.21/86400
Decision: 3469/20798	Time: 536.577/86400
Decision: 3477/20798	Time: 544.733/86400
Decision: 3477/20798	Time: 551.138/86400
Decision: 3477/20798	Time: 558.106/86400
Decision: 3477/20798	Time: 564.419/86400
Decision: 3477/20798	Time: 571.017/86400
Decision: 3477/20798	Time: 578.423/86400
Decision: 3477/20798	Time: 585.42/86400
Decision: 3477/20798	Time: 594.264/86400
Decision: 3478/20798	Time: 606.861/86400
Decision: 3478/20798	Time: 613.336/86400
Decision: 3478/20798	Time: 620.127/86400
Decision: 3478/20798	Time: 626.942/86400
Decision: 3478/20798	Time: 634.094/86400
Decision: 3478/20798	Time: 640.777/86400
Decision: 3478/20798	Time: 647.572/86400
Decision: 3478/20798	Time: 655.254/86400
Decision: 3478/20798	Time: 663.395/86400
Decision: 3478/20798	Time: 671.495/86400
Decision: 3478/20798	Time: 678.16/86400
Decision: 3478/20798	Time: 686.284/86400
Decision: 3478/20798	Time: 693.454/86400
Decision: 3478/20798	Time: 700.75/86400
Decision: 3478/20798	Time: 709.251/86400
Decision: 3478/20798	Time: 716.658/86400
Decision: 3478/20798	Time: 723.787/86400
Decision: 3478/20798	Time: 731.06/86400
Decision: 3478/20798	Time: 738.819/86400
Decision: 3478/20798	Time: 747.923/86400
Decision: 3478/20798	Time: 756.65/86400
Decision: 3478/20798	Time: 765.049/86400
Decision: 3478/20798	Time: 772.863/86400
Decision: 3478/20798	Time: 780.513/86400
Decision: 3478/20798	Time: 788.907/86400
Decision: 3478/20798	Time: 796.829/86400
Decision: 3478/20798	Time: 806.104/86400
Decision: 3478/20798	Time: 814.822/86400
Decision: 3478/20798	Time: 822.528/86400
Decision: 3478/20798	Time: 830.853/86400
Decision: 3478/20798	Time: 838.699/86400
Decision: 3478/20798	Time: 847.454/86400
Decision: 3478/20798	Time: 855.837/86400
Decision: 3478/20798	Time: 863.786/86400
Decision: 3478/20798	Time: 872.72/86400
Decision: 3478/20798	Time: 881.165/86400
Decision: 3478/20798	Time: 888.428/86400
Decision: 3478/20798	Time: 897.728/86400
Decision: 3478/20798	Time: 905.722/86400
Decision: 3478/20798	Time: 913.823/86400
Decision: 3478/20798	Time: 921.871/86400
Decision: 3478/20798	Time: 931.039/86400
Decision: 3478/20798	Time: 939.727/86400
Decision: 3478/20798	Time: 949.955/86400
Decision: 3478/20798	Time: 958.205/86400
Decision: 3478/20798	Time: 966.734/86400
Decision: 3478/20798	Time: 975.646/86400
Decision: 3478/20798	Time: 983.413/86400
Decision: 3478/20798	Time: 991.924/86400
Decision: 3478/20798	Time: 1000.62/86400
Decision: 3478/20798	Time: 1008.36/86400
Decision: 3478/20798	Time: 1016.28/86400
Decision: 3478/20798	Time: 1024.5/86400
Decision: 3478/20798	Time: 1034.21/86400
Decision: 3478/20798	Time: 1044.44/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.92 0.95 0.90 2/54 3237
Raw data (stat): 3237 (runsolver) D 3236 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806754535 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 3388 0 0 0 990 9 0 0 25 0 1 0 806754535 12361728 2047 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3018 2047 300 300 0 2718 0
vsize: 12072
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 3532 0 0 0 1988 10 0 0 25 0 1 0 806754535 12668928 2191 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3093 2191 300 300 0 2793 0
vsize: 12372
[startup+30.0079 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 3731 0 0 0 2987 12 0 0 25 0 1 0 806754535 12812288 2308 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3128 2308 300 300 0 2828 0
vsize: 12512
[startup+40.0086 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 3946 0 0 0 3984 14 0 0 25 0 1 0 806754535 12976128 2400 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3168 2400 300 300 0 2868 0
vsize: 12672
[startup+50.0094 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 4129 0 0 0 4983 15 0 0 25 0 1 0 806754535 13111296 2460 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3201 2460 300 300 0 2901 0
vsize: 12804
[startup+60.0092 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 4325 0 0 0 5980 17 0 0 25 0 1 0 806754535 15347712 2533 4294967295 134512640 135726644 3221224576 3221223072 134744172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3747 2533 300 300 0 3447 0
vsize: 14988
[startup+70.0103 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 4471 0 0 0 6979 18 0 0 25 0 1 0 806754535 15347712 2597 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3747 2597 300 300 0 3447 0
vsize: 14988
[startup+80.0107 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 4678 0 0 0 7977 20 0 0 25 0 1 0 806754535 15482880 2681 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3780 2681 300 300 0 3480 0
vsize: 15120
[startup+90.0105 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 4824 0 0 0 8976 22 0 0 25 0 1 0 806754535 15626240 2745 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3815 2745 300 300 0 3515 0
vsize: 15260
[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5012 0 0 0 9974 23 0 0 25 0 1 0 806754535 15781888 2851 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3853 2851 300 300 0 3553 0
vsize: 15412
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5139 0 0 0 10972 25 0 0 25 0 1 0 806754535 15781888 2896 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3853 2896 300 300 0 3553 0
vsize: 15412
[startup+120.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5300 0 0 0 11972 27 0 0 25 0 1 0 806754535 15921152 2975 4294967295 134512640 135726644 3221224576 3221223200 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3887 2975 300 300 0 3587 0
vsize: 15548
[startup+130.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5449 0 0 0 12970 29 0 0 25 0 1 0 806754535 16064512 3042 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3922 3042 300 300 0 3622 0
vsize: 15688
[startup+140.028 s]
Raw data (loadavg): 0.99 0.97 0.91 5/57 3263
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5608 0 0 0 13964 35 0 0 25 0 1 0 806754535 16203776 3119 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3956 3119 300 300 0 3656 0
vsize: 15824
[startup+150.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5756 0 0 0 14963 36 0 0 25 0 1 0 806754535 16351232 3185 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3992 3185 300 300 0 3692 0
vsize: 15968
[startup+160.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 5893 0 0 0 15961 38 0 0 25 0 1 0 806754535 16351232 3281 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3992 3281 300 300 0 3692 0
vsize: 15968
[startup+170.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6025 0 0 0 16960 39 0 0 25 0 1 0 806754535 20545536 3413 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5016 3413 300 300 0 4716 0
vsize: 20064
[startup+180.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6164 0 0 0 17959 40 0 0 25 0 1 0 806754535 20545536 3552 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5016 3552 300 300 0 4716 0
vsize: 20064
[startup+190.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6352 0 0 0 18957 42 0 0 25 0 1 0 806754535 20705280 3740 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5055 3740 300 300 0 4755 0
vsize: 20220
[startup+200.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3290
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6489 0 0 0 19956 44 0 0 25 0 1 0 806754535 20852736 3877 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5091 3877 300 300 0 4791 0
vsize: 20364
[startup+210.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6613 0 0 0 20955 45 0 0 25 0 1 0 806754535 20996096 4001 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4001 300 300 0 4826 0
vsize: 20504
[startup+220.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6736 0 0 0 21954 46 0 0 25 0 1 0 806754535 20996096 4124 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5126 4124 300 300 0 4826 0
vsize: 20504
[startup+230.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 6922 0 0 0 22953 47 0 0 25 0 1 0 806754535 21311488 4269 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5203 4269 300 300 0 4903 0
vsize: 20812
[startup+240.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7082 0 0 0 23953 48 0 0 25 0 1 0 806754535 21450752 4388 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5237 4388 300 300 0 4937 0
vsize: 20948
[startup+250.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7203 0 0 0 24952 49 0 0 25 0 1 0 806754535 21450752 4509 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5237 4509 300 300 0 4937 0
vsize: 20948
[startup+260.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7389 0 0 0 25951 50 0 0 25 0 1 0 806754535 21594112 4654 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5272 4654 300 300 0 4972 0
vsize: 21088
[startup+270.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7537 0 0 0 26951 51 0 0 25 0 1 0 806754535 30117888 4761 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7353 4761 300 300 0 7053 0
vsize: 29412
[startup+280.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7747 0 0 0 27950 52 0 0 25 0 1 0 806754535 30117888 4889 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7353 4889 300 300 0 7053 0
vsize: 29412
[startup+290.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 7967 0 0 0 28948 53 0 0 25 0 1 0 806754535 30294016 5027 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7396 5027 300 300 0 7096 0
vsize: 29584
[startup+300.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 8177 0 0 0 29947 55 0 0 25 0 1 0 806754535 30294016 5155 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7396 5155 300 300 0 7096 0
vsize: 29584
[startup+310.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 8387 0 0 0 30946 56 0 0 25 0 1 0 806754535 30457856 5283 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7436 5283 300 300 0 7136 0
vsize: 29744
[startup+320.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 8602 0 0 0 31945 57 0 0 25 0 1 0 806754535 30613504 5416 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7474 5416 300 300 0 7174 0
vsize: 29896
[startup+330.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 8811 0 0 0 32945 58 0 0 25 0 1 0 806754535 30777344 5543 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7514 5543 300 300 0 7214 0
vsize: 30056
[startup+340.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 8988 0 0 0 33944 58 0 0 25 0 1 0 806754535 30777344 5679 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7514 5679 300 300 0 7214 0
vsize: 30056
[startup+350.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 9153 0 0 0 34943 59 0 0 25 0 1 0 806754535 30937088 5762 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7553 5762 300 300 0 7253 0
vsize: 30212
[startup+360.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 9330 0 0 0 35943 60 0 0 25 0 1 0 806754535 30937088 5857 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7553 5857 300 300 0 7253 0
vsize: 30212
[startup+370.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 9537 0 0 0 36941 62 0 0 25 0 1 0 806754535 31080448 5982 4294967295 134512640 135726644 3221224576 3221223072 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 5982 300 300 0 7288 0
vsize: 30352
[startup+380.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 10432 0 0 0 37938 65 0 0 25 0 1 0 806754535 34381824 6067 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8394 6067 300 300 0 8094 0
vsize: 33576
[startup+390.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 10589 0 0 0 38937 66 0 0 25 0 1 0 806754535 34381824 6142 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8394 6142 300 300 0 8094 0
vsize: 33576
[startup+400.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 10793 0 0 0 39937 67 0 0 25 0 1 0 806754535 34566144 6264 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8439 6264 300 300 0 8139 0
vsize: 33756
[startup+410.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 10931 0 0 0 40936 67 0 0 25 0 1 0 806754535 34566144 6361 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8439 6361 300 300 0 8139 0
vsize: 33756
[startup+420.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 11156 0 0 0 41935 68 0 0 25 0 1 0 806754535 34566144 6504 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8439 6504 300 300 0 8139 0
vsize: 33756
[startup+430.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 11379 0 0 0 42934 70 0 0 25 0 1 0 806754535 34709504 6645 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8474 6645 300 300 0 8174 0
vsize: 33896
[startup+440.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 11496 0 0 0 43934 70 0 0 25 0 1 0 806754535 34873344 6721 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8514 6721 300 300 0 8214 0
vsize: 34056
[startup+450.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 11701 0 0 0 44933 72 0 0 25 0 1 0 806754535 34873344 6844 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8514 6844 300 300 0 8214 0
vsize: 34056
[startup+460.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 11915 0 0 0 45932 73 0 0 25 0 1 0 806754535 35028992 6976 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8552 6976 300 300 0 8252 0
vsize: 34208
[startup+470.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3292
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12064 0 0 0 46931 73 0 0 25 0 1 0 806754535 35028992 7084 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8552 7084 300 300 0 8252 0
vsize: 34208
[startup+480.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12193 0 0 0 47931 74 0 0 25 0 1 0 806754535 35028992 7131 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8552 7131 300 300 0 8252 0
vsize: 34208
[startup+490.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12379 0 0 0 48931 75 0 0 25 0 1 0 806754535 35176448 7276 4294967295 134512640 135726644 3221224576 3221223072 134744342 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8588 7276 300 300 0 8288 0
vsize: 34352
[startup+500.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12568 0 0 0 49931 76 0 0 25 0 1 0 806754535 52109312 7383 4294967295 134512640 135726644 3221224576 3221223072 134744241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12722 7383 300 300 0 12422 0
vsize: 50888
[startup+510.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12636 0 0 0 50931 77 0 0 25 0 1 0 806754535 52109312 7410 4294967295 134512640 135726644 3221224576 3221223088 134742621 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12722 7410 300 300 0 12422 0
vsize: 50888
[startup+520.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 12843 0 0 0 51930 78 0 0 25 0 1 0 806754535 52244480 7535 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12755 7535 300 300 0 12455 0
vsize: 51020
[startup+530.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13039 0 0 0 52929 79 0 0 25 0 1 0 806754535 52408320 7690 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12795 7690 300 300 0 12495 0
vsize: 51180
[startup+540.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13169 0 0 0 53930 79 0 0 25 0 1 0 806754535 52715520 7738 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12870 7738 300 300 0 12570 0
vsize: 51480
[startup+550.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13222 0 0 0 54931 80 0 0 25 0 1 0 806754535 52715520 7750 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12870 7750 300 300 0 12570 0
vsize: 51480
[startup+560.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13339 0 0 0 55930 80 0 0 25 0 1 0 806754535 52903936 7785 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7785 300 300 0 12616 0
vsize: 51664
[startup+570.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13416 0 0 0 56930 81 0 0 25 0 1 0 806754535 52903936 7821 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7821 300 300 0 12616 0
vsize: 51664
[startup+580.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13631 0 0 0 57929 82 0 0 25 0 1 0 806754535 52903936 7954 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 7954 300 300 0 12616 0
vsize: 51664
[startup+590.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13800 0 0 0 58929 82 0 0 25 0 1 0 806754535 52903936 8082 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 8082 300 300 0 12616 0
vsize: 51664
[startup+600.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 13988 0 0 0 59928 83 0 0 25 0 1 0 806754535 52903936 8188 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 8188 300 300 0 12616 0
vsize: 51664
[startup+610.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 14112 0 0 0 60928 84 0 0 25 0 1 0 806754535 53051392 8271 4294967295 134512640 135726644 3221224576 3221223264 134744923 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12952 8271 300 300 0 12652 0
vsize: 51808
[startup+620.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 14293 0 0 0 61927 85 0 0 25 0 1 0 806754535 53190656 8411 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8411 300 300 0 12686 0
vsize: 51944
[startup+630.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 14510 0 0 0 62926 86 0 0 25 0 1 0 806754535 53190656 8546 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12986 8546 300 300 0 12686 0
vsize: 51944
[startup+640.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 14636 0 0 0 63926 86 0 0 25 0 1 0 806754535 53346304 8631 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13024 8631 300 300 0 12724 0
vsize: 52096
[startup+650.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 14847 0 0 0 64924 88 0 0 25 0 1 0 806754535 53346304 8760 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13024 8760 300 300 0 12724 0
vsize: 52096
[startup+660.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15019 0 0 0 65923 89 0 0 25 0 1 0 806754535 53575680 8891 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13080 8891 300 300 0 12780 0
vsize: 52320
[startup+670.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15204 0 0 0 66913 89 0 0 25 0 1 0 806754535 53575680 9035 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13080 9035 300 300 0 12780 0
vsize: 52320
[startup+680.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15420 0 0 0 67912 90 0 0 25 0 1 0 806754535 53575680 9169 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13080 9169 300 300 0 12780 0
vsize: 52320
[startup+690.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15588 0 0 0 68911 91 0 0 25 0 1 0 806754535 53743616 9296 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9296 300 300 0 12821 0
vsize: 52484
[startup+700.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15762 0 0 0 69911 92 0 0 25 0 1 0 806754535 53743616 9429 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9429 300 300 0 12821 0
vsize: 52484
[startup+710.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 15947 0 0 0 70910 93 0 0 25 0 1 0 806754535 53743616 9532 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9532 300 300 0 12821 0
vsize: 52484
[startup+720.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16018 0 0 0 71910 93 0 0 25 0 1 0 806754535 53743616 9562 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9562 300 300 0 12821 0
vsize: 52484
[startup+730.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16234 0 0 0 72910 94 0 0 25 0 1 0 806754535 53743616 9696 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13121 9696 300 300 0 12821 0
vsize: 52484
[startup+740.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16421 0 0 0 73909 95 0 0 25 0 1 0 806754535 53866496 9842 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9842 300 300 0 12851 0
vsize: 52604
[startup+750.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16510 0 0 0 74909 95 0 0 25 0 1 0 806754535 53866496 9890 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9890 300 300 0 12851 0
vsize: 52604
[startup+760.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16565 0 0 0 75908 96 0 0 25 0 1 0 806754535 53866496 9904 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9904 300 300 0 12851 0
vsize: 52604
[startup+770.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16615 0 0 0 76908 96 0 0 25 0 1 0 806754535 53866496 9913 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13151 9913 300 300 0 12851 0
vsize: 52604
[startup+780.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16723 0 0 0 77908 96 0 0 25 0 1 0 806754535 54067200 9939 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13200 9939 300 300 0 12900 0
vsize: 52800
[startup+790.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16784 0 0 0 78908 97 0 0 25 0 1 0 806754535 54067200 9959 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13200 9959 300 300 0 12900 0
vsize: 52800
[startup+800.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16872 0 0 0 79908 97 0 0 25 0 1 0 806754535 54067200 9965 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13200 9965 300 300 0 12900 0
vsize: 52800
[startup+810.088 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 16950 0 0 0 80907 98 0 0 25 0 1 0 806754535 54386688 10002 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 10002 300 300 0 12978 0
vsize: 53112
[startup+820.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17000 0 0 0 81907 98 0 0 25 0 1 0 806754535 54386688 10011 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 10011 300 300 0 12978 0
vsize: 53112
[startup+830.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17093 0 0 0 82906 99 0 0 25 0 1 0 806754535 54386688 10022 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13278 10022 300 300 0 12978 0
vsize: 53112
[startup+840.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17166 0 0 0 83906 100 0 0 25 0 1 0 806754535 54530048 10054 4294967295 134512640 135726644 3221224576 3221223072 134744254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10054 300 300 0 13013 0
vsize: 53252
[startup+850.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17214 0 0 0 84906 100 0 0 25 0 1 0 806754535 54530048 10061 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10061 300 300 0 13013 0
vsize: 53252
[startup+860.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17401 0 0 0 85905 101 0 0 25 0 1 0 806754535 54530048 10166 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10166 300 300 0 13013 0
vsize: 53252
[startup+870.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17524 0 0 0 86905 102 0 0 25 0 1 0 806754535 54530048 10248 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10248 300 300 0 13013 0
vsize: 53252
[startup+880.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17725 0 0 0 87904 103 0 0 25 0 1 0 806754535 54530048 10408 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13313 10408 300 300 0 13013 0
vsize: 53252
[startup+890.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 17948 0 0 0 88903 104 0 0 25 0 1 0 806754535 54710272 10549 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10549 300 300 0 13057 0
vsize: 53428
[startup+900.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18102 0 0 0 89903 105 0 0 25 0 1 0 806754535 54710272 10662 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10662 300 300 0 13057 0
vsize: 53428
[startup+910.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18229 0 0 0 90902 105 0 0 25 0 1 0 806754535 54710272 10748 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10748 300 300 0 13057 0
vsize: 53428
[startup+920.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18424 0 0 0 91901 106 0 0 25 0 1 0 806754535 54710272 10902 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 10902 300 300 0 13057 0
vsize: 53428
[startup+930.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18589 0 0 0 92901 107 0 0 25 0 1 0 806754535 54710272 11026 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13357 11026 300 300 0 13057 0
vsize: 53428
[startup+940.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18786 0 0 0 93900 108 0 0 25 0 1 0 806754535 54870016 11141 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13396 11141 300 300 0 13096 0
vsize: 53584
[startup+950.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 18860 0 0 0 94900 109 0 0 25 0 1 0 806754535 54870016 11174 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13396 11174 300 300 0 13096 0
vsize: 53584
[startup+960.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19047 0 0 0 95899 110 0 0 25 0 1 0 806754535 55013376 11320 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13431 11320 300 300 0 13131 0
vsize: 53724
[startup+970.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19237 0 0 0 96899 110 0 0 25 0 1 0 806754535 55246848 11469 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13488 11469 300 300 0 13188 0
vsize: 53952
[startup+980.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19405 0 0 0 97898 111 0 0 25 0 1 0 806754535 55246848 11596 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13488 11596 300 300 0 13188 0
vsize: 53952
[startup+990.101 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19604 0 0 0 98898 112 0 0 25 0 1 0 806754535 55431168 11713 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13533 11713 300 300 0 13233 0
vsize: 54132
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19784 0 0 0 99897 112 0 0 25 0 1 0 806754535 55431168 11852 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13533 11852 300 300 0 13233 0
vsize: 54132
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 19987 0 0 0 100897 113 0 0 25 0 1 0 806754535 55623680 12014 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13580 12014 300 300 0 13280 0
vsize: 54320
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20160 0 0 0 101896 114 0 0 25 0 1 0 806754535 55623680 12146 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13580 12146 300 300 0 13280 0
vsize: 54320
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20278 0 0 0 102895 115 0 0 25 0 1 0 806754535 55824384 12223 4294967295 134512640 135726644 3221224576 3221222896 134729220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 12223 300 300 0 13329 0
vsize: 54516
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20503 0 0 0 103894 116 0 0 25 0 1 0 806754535 55824384 12366 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 12366 300 300 0 13329 0
vsize: 54516
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20693 0 0 0 104894 116 0 0 25 0 1 0 806754535 89378816 12515 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12515 300 300 0 21521 0
vsize: 87284
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20858 0 0 0 105893 117 0 0 25 0 1 0 806754535 89378816 12639 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12639 300 300 0 21521 0
vsize: 87284
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20937 0 0 0 106893 117 0 0 25 0 1 0 806754535 89378816 12677 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12677 300 300 0 21521 0
vsize: 87284
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 20990 0 0 0 107893 118 0 0 25 0 1 0 806754535 89378816 12689 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12689 300 300 0 21521 0
vsize: 87284
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21090 0 0 0 108892 118 0 0 25 0 1 0 806754535 89378816 12707 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12707 300 300 0 21521 0
vsize: 87284
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21100 0 0 0 109892 119 0 0 25 0 1 0 806754535 89378816 12717 4294967295 134512640 135726644 3221224576 3221223088 134742606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 12717 300 300 0 21521 0
vsize: 87284
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21278 0 0 0 110892 119 0 0 25 0 1 0 806754535 89677824 12813 4294967295 134512640 135726644 3221224576 3221223120 134736690 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 12813 300 300 0 21594 0
vsize: 87576
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21392 0 0 0 111892 120 0 0 25 0 1 0 806754535 89677824 12886 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 12886 300 300 0 21594 0
vsize: 87576
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21554 0 0 0 112891 121 0 0 25 0 1 0 806754535 89677824 13007 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21894 13007 300 300 0 21594 0
vsize: 87576
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21731 0 0 0 113891 122 0 0 25 0 1 0 806754535 89837568 13143 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21933 13143 300 300 0 21633 0
vsize: 87732
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 21927 0 0 0 114890 123 0 0 25 0 1 0 806754535 90021888 13298 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21978 13298 300 300 0 21678 0
vsize: 87912
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 22016 0 0 0 115890 123 0 0 25 0 1 0 806754535 90021888 13305 4294967295 134512640 135726644 3221224576 3221223072 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+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 22062 0 0 0 116889 123 0 0 25 0 1 0 806754535 90021888 13310 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21978 13310 300 300 0 21678 0
vsize: 87912
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 22222 0 0 0 117889 124 0 0 25 0 1 0 806754535 90214400 13429 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13429 300 300 0 21725 0
vsize: 88100
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 22431 0 0 0 118888 125 0 0 25 0 1 0 806754535 90214400 13597 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13597 300 300 0 21725 0
vsize: 88100
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3294
Raw data (stat): 3237 (pb2sat) R 3236 25830 25829 0 -1 0 22523 0 0 0 119887 126 0 0 25 0 1 0 806754535 90214400 13648 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22025 13648 300 300 0 21725 0
vsize: 88100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 3294
Raw data (stat): 3237 (pb2sat) Z 3236 25830 25829 0 -1 12 22524 0 0 0 119895 129 0 0 25 0 1 0 806754535 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.21
CPU time (s): 1200.25
CPU user time (s): 1198.95
CPU system time (s): 1.2918
CPU usage (%): 100.003
Max. virtual memory (Kb): 88100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	120
#### END VERIFIER DATA ####