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