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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
MD5SUM44281820d2b00a47b643433ffa4e2d73
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.48
Number of variables464
Total number of constraints1395
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint1
Maximum length of a constraint128

Trace number 10625

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 18:59:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9311 boxname=wulflinc22 idbench=1107 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 9311
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
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	: 3
cpu MHz		: 450.985
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916884 kB
Buffers:         12824 kB
Cached:          88088 kB
SwapCached:          0 kB
Active:          46836 kB
Inactive:        56960 kB
HighTotal:      131008 kB
HighFree:        42616 kB
LowTotal:       903652 kB
LowFree:        874268 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8412 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:19:22 (client local time) WITH STATUS 10 IN 1201.03 SECONDS
stats: 9311 0 1201.03 10

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.90507 s]  setting bit 7 to 0

c Decision: 3458/20806	Time: 33.8838/86400
c Decision: 3458/20806	Time: 37.4373/86400
c Decision: 3458/20806	Time: 41.1737/86400
c Decision: 3460/20806	Time: 44.9172/86400
c Decision: 3460/20806	Time: 48.8386/86400
c Decision: 3460/20806	Time: 52.503/86400
c Decision: 3460/20806	Time: 56.5294/86400
c Decision: 3460/20806	Time: 59.426/86400
c Decision: 3460/20806	Time: 63.4724/86400
c Decision: 3460/20806	Time: 67.1418/86400
c Decision: 3464/20806	Time: 71.1642/86400
c Decision: 3464/20806	Time: 74.8986/86400
c Decision: 3464/20806	Time: 79.163/86400
c Decision: 3464/20806	Time: 83.0204/86400
c Decision: 3468/20806	Time: 88.0756/86400
c Decision: 3468/20806	Time: 91.78/86400
c Decision: 3468/20806	Time: 95.7874/86400
c Decision: 3470/20806	Time: 100.79/86400
c Decision: 3470/20806	Time: 104.792/86400
c Decision: 3470/20806	Time: 108.866/86400
c Decision: 3470/20806	Time: 112.745/86400
c Decision: 3470/20806	Time: 116.574/86400
c Decision: 3470/20806	Time: 120.55/86400
c Decision: 3470/20806	Time: 124.521/86400
c Decision: 3470/20806	Time: 129.05/86400
c Decision: 3470/20806	Time: 133.246/86400
c Decision: 3470/20806	Time: 137.699/86400
c Decision: 3470/20806	Time: 142.006/86400
c Decision: 3473/20806	Time: 148.239/86400
c Decision: 3473/20806	Time: 152.821/86400
c Decision: 3473/20806	Time: 157.409/86400
c Decision: 3473/20806	Time: 162.056/86400
c Decision: 3473/20806	Time: 166.083/86400
c Decision: 3473/20806	Time: 170.368/86400
c Decision: 3473/20806	Time: 175.101/86400
c Decision: 3473/20806	Time: 179.353/86400
c Decision: 3473/20806	Time: 183.713/86400
c Decision: 3473/20806	Time: 187.896/86400
c Decision: 3558/20806	Time: 196.917/86400
c Decision: 3558/20806	Time: 201.583/86400
c Decision: 3558/20806	Time: 206.692/86400
c Decision: 3558/20806	Time: 211.423/86400
c Decision: 3562/20806	Time: 216.436/86400
c Decision: 3562/20806	Time: 221.481/86400
c Decision: 3562/20806	Time: 226.277/86400
c Decision: 3562/20806	Time: 231.477/86400
c Decision: 3562/20806	Time: 236.399/86400
c Decision: 3562/20806	Time: 241.643/86400
c Decision: 3562/20806	Time: 246.648/86400
c Decision: 3562/20806	Time: 251.735/86400
c Decision: 3562/20806	Time: 256.655/86400
c Decision: 3562/20806	Time: 260.772/86400
c Decision: 3562/20806	Time: 265.702/86400
c Decision: 3562/20806	Time: 270.493/86400
c Decision: 3562/20806	Time: 275.458/86400
c Decision: 3562/20806	Time: 280.854/86400
c Decision: 3562/20806	Time: 286.172/86400
c Decision: 3562/20806	Time: 291.32/86400
c Decision: 3562/20806	Time: 296.585/86400
c Decision: 3562/20806	Time: 301.679/86400
c Decision: 3562/20806	Time: 307.748/86400
c Decision: 3562/20806	Time: 312.305/86400
c Decision: 3562/20806	Time: 318.127/86400
c Decision: 3562/20806	Time: 323.351/86400
c Decision: 3562/20806	Time: 328.704/86400
c Decision: 3562/20806	Time: 333.621/86400
c Decision: 3562/20806	Time: 339.189/86400
c Decision: 3562/20806	Time: 344.182/86400
c Decision: 3562/20806	Time: 349.415/86400
c Decision: 3562/20806	Time: 355.499/86400
c Decision: 3562/20806	Time: 361.009/86400
c Decision: 3562/20806	Time: 366.778/86400
c Decision: 3562/20806	Time: 372.439/86400
c Decision: 3562/20806	Time: 378.215/86400
c Decision: 3562/20806	Time: 384.581/86400
c Decision: 3562/20806	Time: 390.283/86400
c Decision: 3562/20806	Time: 396.415/86400
c Decision: 3562/20806	Time: 401.959/86400
c Decision: 3562/20806	Time: 407.813/86400
c Decision: 3562/20806	Time: 414.078/86400
c Decision: 3562/20806	Time: 420.451/86400
c Decision: 3562/20806	Time: 427.189/86400
c Decision: 3562/20806	Time: 433.336/86400
c Decision: 3562/20806	Time: 439.665/86400
c Decision: 3562/20806	Time: 445.478/86400
c Decision: 3562/20806	Time: 451.801/86400
c Decision: 3562/20806	Time: 458.351/86400
c Decision: 3562/20806	Time: 464.731/86400
c Decision: 3562/20806	Time: 470.791/86400
c Decision: 3562/20806	Time: 477.257/86400
c Decision: 3562/20806	Time: 483.697/86400
c Decision: 3563/20806	Time: 494.08/86400
c Decision: 3563/20806	Time: 500.212/86400
c Decision: 3563/20806	Time: 507.137/86400
c Decision: 3563/20806	Time: 513.669/86400
c Decision: 3563/20806	Time: 520.4/86400
c Decision: 3563/20806	Time: 526.563/86400
c Decision: 3563/20806	Time: 532.572/86400
c Decision: 3563/20806	Time: 539.057/86400
c Decision: 3563/20806	Time: 545.744/86400
c Decision: 3563/20806	Time: 551.802/86400
c Decision: 3563/20806	Time: 558.529/86400
c Decision: 3563/20806	Time: 565.064/86400
c Decision: 3563/20806	Time: 571.215/86400
c Decision: 3563/20806	Time: 577.465/86400
c Decision: 3563/20806	Time: 583.943/86400
c Decision: 3563/20806	Time: 590.496/86400
c Decision: 3563/20806	Time: 596.741/86400
c Decision: 3563/20806	Time: 603.458/86400
c Decision: 3563/20806	Time: 609.681/86400
c Decision: 3563/20806	Time: 616.553/86400
c Decision: 3563/20806	Time: 623.184/86400
c Decision: 3563/20806	Time: 629.325/86400
c Decision: 3563/20806	Time: 636.399/86400
c Decision: 3563/20806	Time: 643.801/86400
c Decision: 3563/20806	Time: 651.968/86400
c Decision: 3563/20806	Time: 659.163/86400
c Decision: 3563/20806	Time: 665.788/86400
c Decision: 3563/20806	Time: 672.884/86400
c Decision: 3563/20806	Time: 680.152/86400
c Decision: 3563/20806	Time: 687.647/86400
c Decision: 3563/20806	Time: 695.187/86400
c Decision: 3563/20806	Time: 701.633/86400
c Decision: 3563/20806	Time: 708.321/86400
c Decision: 3721/20806	Time: 718.909/86400
c Decision: 3721/20806	Time: 725.946/86400
c Decision: 3721/20806	Time: 733.06/86400
c Decision: 3721/20806	Time: 739.646/86400
c Decision: 3721/20806	Time: 746.104/86400
c Decision: 3721/20806	Time: 752.386/86400
c Decision: 3721/20806	Time: 759.194/86400
c Decision: 3724/20806	Time: 765.848/86400
c Decision: 4187/20806	Time: 774.319/86400
c Decision: 4187/20806	Time: 780.817/86400
c Decision: 4187/20806	Time: 787.446/86400
c Decision: 4187/20806	Time: 793.863/86400
c Decision: 4187/20806	Time: 800.461/86400
c Decision: 4190/20806	Time: 806.862/86400
c Decision: 4190/20806	Time: 813.289/86400
c Decision: 4190/20806	Time: 819.957/86400
c Decision: 4190/20806	Time: 827.12/86400
c Decision: 4195/20806	Time: 835.138/86400
c Decision: 4564/20806	Time: 848.284/86400
c [startup+867.596 s]  setting bit 6 to 0

c Decision: 2793/20806	Time: 5.8961/86400
c Decision: 2793/20806	Time: 9.62554/86400
c Decision: 2793/20806	Time: 13.4939/86400
c Decision: 2793/20806	Time: 17.6993/86400
c Decision: 2793/20806	Time: 22.1566/86400
c Decision: 2793/20806	Time: 26.453/86400
c Decision: 2793/20806	Time: 30.4004/86400
c Decision: 2793/20806	Time: 34.2248/86400
c Decision: 2793/20806	Time: 38.4592/86400
c Decision: 2793/20806	Time: 42.3456/86400
c Decision: 2793/20806	Time: 46.8679/86400
c Decision: 2793/20806	Time: 51.2902/86400
c Decision: 2798/20806	Time: 55.6425/86400
c Decision: 2798/20806	Time: 59.8439/86400
c Decision: 2798/20806	Time: 64.3382/86400
c Decision: 2798/20806	Time: 69.1535/86400
c Decision: 2798/20806	Time: 73.5428/86400
c Decision: 2798/20806	Time: 78.0051/86400
c Decision: 2798/20806	Time: 82.6014/86400
c Decision: 2798/20806	Time: 87.1018/86400
c Decision: 2798/20806	Time: 92.041/86400
c Decision: 2798/20806	Time: 97.2212/86400
c Decision: 2798/20806	Time: 102.152/86400
c Decision: 2798/20806	Time: 106.34/86400
c Decision: 2798/20806	Time: 111.008/86400
c Decision: 2798/20806	Time: 116.033/86400
c Decision: 2798/20806	Time: 121.031/86400
c Decision: 2798/20806	Time: 126.329/86400
c Decision: 2798/20806	Time: 131.376/86400
c Decision: 2798/20806	Time: 136.891/86400
c Decision: 2798/20806	Time: 143.126/86400
c Decision: 2798/20806	Time: 148.897/86400
c Decision: 2798/20806	Time: 153.917/86400
c Decision: 2798/20806	Time: 159.387/86400
c Decision: 2798/20806	Time: 164.83/86400
c Decision: 2798/20806	Time: 170.808/86400
c Decision: 2798/20806	Time: 176.256/86400
c Decision: 2798/20806	Time: 181.846/86400
c Decision: 2798/20806	Time: 186.754/86400
c Decision: 2798/20806	Time: 191.969/86400
c Decision: 2798/20806	Time: 197.702/86400
c Decision: 2798/20806	Time: 203.521/86400
c Decision: 2798/20806	Time: 209.433/86400
c Decision: 2798/20806	Time: 215.168/86400
c Decision: 2798/20806	Time: 220.525/86400
c Decision: 2798/20806	Time: 226.772/86400
c Decision: 2798/20806	Time: 233.325/86400
c Decision: 2798/20806	Time: 239.85/86400
c Decision: 2798/20806	Time: 245.574/86400
c Decision: 2798/20806	Time: 251.377/86400
c Decision: 2798/20806	Time: 257.482/86400
c Decision: 2798/20806	Time: 263.553/86400
c Decision: 2798/20806	Time: 270.01/86400
c Decision: 2798/20806	Time: 275.572/86400
c Decision: 2798/20806	Time: 281.376/86400
c Decision: 2798/20806	Time: 287.673/86400
c Decision: 2798/20806	Time: 294.073/86400
c Decision: 2798/20806	Time: 300.456/86400
c Decision: 2798/20806	Time: 306.343/86400
c Decision: 2798/20806	Time: 312.18/86400
c Decision: 2798/20806	Time: 319.112/86400
c Decision: 2798/20806	Time: 324.929/86400
c Decision: 2798/20806	Time: 331.367/86400
c Decision: 2798/20806	Time: 337.516/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 

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22532119 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 373 2 364 364 0 9 0
[pid=10007] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-neos16.opb

[startup+10.0023 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 10007
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 3672 0 0 0 967 16 0 0 25 0 1 0 22532119 13238272 2199 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3232 2199 364 364 0 2868 0
[pid=10007] vsize: 12928
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 12928

[startup+20.003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 10007
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 3776 0 0 0 1946 24 0 0 25 0 1 0 22532119 13393920 2303 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3270 2303 364 364 0 2906 0
[pid=10007] vsize: 13080
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (Kb) 13080

[startup+30.0037 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 10007
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 3911 0 0 0 2930 30 0 0 25 0 1 0 22532119 13393920 2438 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3270 2438 364 364 0 2906 0
[pid=10007] vsize: 13080
Current children cumulated CPU time (s) 29.6
Current children cumulated vsize (Kb) 13080

[startup+40.0044 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 10007
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 4047 0 0 0 3911 38 0 0 25 0 1 0 22532119 15626240 2574 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3815 2574 364 364 0 3451 0
[pid=10007] vsize: 15260
Current children cumulated CPU time (s) 39.49
Current children cumulated vsize (Kb) 15260

[startup+50.0052 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 10007
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 4273 0 0 0 4893 45 0 0 25 0 1 0 22532119 15917056 2718 4294967295 134512640 135987407 3221224560 3221223200 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3886 2718 364 364 0 3522 0
[pid=10007] vsize: 15544
Current children cumulated CPU time (s) 49.38
Current children cumulated vsize (Kb) 15544

[startup+60.0049 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 10062
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 4516 0 0 0 5872 52 0 0 25 0 1 0 22532119 16060416 2838 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3921 2838 364 364 0 3557 0
[pid=10007] vsize: 15684
Current children cumulated CPU time (s) 59.24
Current children cumulated vsize (Kb) 15684

[startup+70.0046 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 10062
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 4735 0 0 0 6853 60 0 0 25 0 1 0 22532119 16244736 2934 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 3966 2934 364 364 0 3602 0
[pid=10007] vsize: 15864
Current children cumulated CPU time (s) 69.13
Current children cumulated vsize (Kb) 15864

[startup+80.0053 s]
Raw data (loadavg): 1.01 0.96 0.91 2/55 10062
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 4939 0 0 0 7835 66 0 0 25 0 1 0 22532119 16384000 3056 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 4000 3056 364 364 0 3636 0
[pid=10007] vsize: 16000
Current children cumulated CPU time (s) 79.01
Current children cumulated vsize (Kb) 16000

[startup+90.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10062
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 5146 0 0 0 8819 73 0 0 25 0 1 0 22532119 16527360 3140 4294967295 134512640 135987407 3221224560 3221223104 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 4035 3140 364 364 0 3671 0
[pid=10007] vsize: 16140
Current children cumulated CPU time (s) 88.92
Current children cumulated vsize (Kb) 16140

[startup+100.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 10062
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 5357 0 0 0 9803 79 0 0 25 0 1 0 22532119 16674816 3269 4294967295 134512640 135987407 3221224560 3221223168 134801338 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 4071 3269 364 364 0 3707 0
[pid=10007] vsize: 16284
Current children cumulated CPU time (s) 98.82
Current children cumulated vsize (Kb) 16284

[startup+110.006 s]
Raw data (loadavg): 1.08 0.98 0.91 2/57 10064
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 5543 0 0 0 10787 85 0 0 25 0 1 0 22532119 21004288 3373 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5128 3373 364 364 0 4764 0
[pid=10007] vsize: 20512
Current children cumulated CPU time (s) 108.72
Current children cumulated vsize (Kb) 20512

[startup+120.006 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 10064
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 5782 0 0 0 11772 91 0 0 25 0 1 0 22532119 21143552 3489 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5162 3489 364 364 0 4798 0
[pid=10007] vsize: 20648
Current children cumulated CPU time (s) 118.63
Current children cumulated vsize (Kb) 20648

[startup+130.007 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 10066
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 5930 0 0 0 12758 97 0 0 25 0 1 0 22532119 21278720 3555 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5195 3555 364 364 0 4831 0
[pid=10007] vsize: 20780
Current children cumulated CPU time (s) 128.55
Current children cumulated vsize (Kb) 20780

[startup+140.008 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 6174 0 0 0 13742 103 0 0 25 0 1 0 22532119 21278720 3676 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5195 3676 364 364 0 4831 0
[pid=10007] vsize: 20780
Current children cumulated CPU time (s) 138.45
Current children cumulated vsize (Kb) 20780

[startup+150.008 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 6335 0 0 0 14728 108 0 0 25 0 1 0 22532119 21426176 3755 4294967295 134512640 135987407 3221224560 3221222896 134931202 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5231 3755 364 364 0 4867 0
[pid=10007] vsize: 20924
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (Kb) 20924

[startup+160.009 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 6576 0 0 0 15714 114 0 0 25 0 1 0 22532119 21561344 3914 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5264 3914 364 364 0 4900 0
[pid=10007] vsize: 21056
Current children cumulated CPU time (s) 158.28
Current children cumulated vsize (Kb) 21056

[startup+170.009 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 6767 0 0 0 16700 118 0 0 25 0 1 0 22532119 21561344 4023 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5264 4023 364 364 0 4900 0
[pid=10007] vsize: 21056
Current children cumulated CPU time (s) 168.18
Current children cumulated vsize (Kb) 21056

[startup+180.009 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 6878 0 0 0 17685 125 0 0 25 0 1 0 22532119 21704704 4052 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5299 4052 364 364 0 4935 0
[pid=10007] vsize: 21196
Current children cumulated CPU time (s) 178.1
Current children cumulated vsize (Kb) 21196

[startup+190.009 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7088 0 0 0 18673 129 0 0 25 0 1 0 22532119 21839872 4139 4294967295 134512640 135987407 3221224560 3221223228 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5332 4139 364 364 0 4968 0
[pid=10007] vsize: 21328
Current children cumulated CPU time (s) 188.02
Current children cumulated vsize (Kb) 21328

[startup+200.01 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7198 0 0 0 19660 135 0 0 25 0 1 0 22532119 21839872 4167 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5332 4167 364 364 0 4968 0
[pid=10007] vsize: 21328
Current children cumulated CPU time (s) 197.95
Current children cumulated vsize (Kb) 21328

[startup+210.011 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7272 0 0 0 20646 141 0 0 25 0 1 0 22532119 21975040 4200 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5365 4200 364 364 0 5001 0
[pid=10007] vsize: 21460
Current children cumulated CPU time (s) 207.87
Current children cumulated vsize (Kb) 21460

[startup+220.011 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7429 0 0 0 21632 147 0 0 25 0 1 0 22532119 22163456 4275 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5411 4275 364 364 0 5047 0
[pid=10007] vsize: 21644
Current children cumulated CPU time (s) 217.79
Current children cumulated vsize (Kb) 21644

[startup+230.012 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7638 0 0 0 22616 153 0 0 25 0 1 0 22532119 22302720 4402 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5445 4402 364 364 0 5081 0
[pid=10007] vsize: 21780
Current children cumulated CPU time (s) 227.69
Current children cumulated vsize (Kb) 21780

[startup+240.012 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 7874 0 0 0 23602 159 0 0 25 0 1 0 22532119 22441984 4556 4294967295 134512640 135987407 3221224560 3221223104 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 5479 4556 364 364 0 5115 0
[pid=10007] vsize: 21916
Current children cumulated CPU time (s) 237.61
Current children cumulated vsize (Kb) 21916

[startup+250.012 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8006 0 0 0 24590 164 0 0 25 0 1 0 22532119 22441984 4606 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5479 4606 364 364 0 5115 0
[pid=10007] vsize: 21916
Current children cumulated CPU time (s) 247.54
Current children cumulated vsize (Kb) 21916

[startup+260.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8143 0 0 0 25578 168 0 0 25 0 1 0 22532119 22614016 4661 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5521 4661 364 364 0 5157 0
[pid=10007] vsize: 22084
Current children cumulated CPU time (s) 257.46
Current children cumulated vsize (Kb) 22084

[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8353 0 0 0 26564 174 0 0 25 0 1 0 22532119 22769664 4789 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5559 4789 364 364 0 5195 0
[pid=10007] vsize: 22236
Current children cumulated CPU time (s) 267.38
Current children cumulated vsize (Kb) 22236

[startup+280.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8518 0 0 0 27553 177 0 0 25 0 1 0 22532119 22769664 4872 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 5559 4872 364 364 0 5195 0
[pid=10007] vsize: 22236
Current children cumulated CPU time (s) 277.3
Current children cumulated vsize (Kb) 22236

[startup+290.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8733 0 0 0 28541 181 0 0 25 0 1 0 22532119 31293440 5005 4294967295 134512640 135987407 3221224560 3221223056 134821391 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 7640 5005 364 364 0 7276 0
[pid=10007] vsize: 30560
Current children cumulated CPU time (s) 287.22
Current children cumulated vsize (Kb) 30560

[startup+300.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 8875 0 0 0 29530 185 0 0 25 0 1 0 22532119 31465472 5065 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 7682 5065 364 364 0 7318 0
[pid=10007] vsize: 30728
Current children cumulated CPU time (s) 297.15
Current children cumulated vsize (Kb) 30728

[startup+310.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 9093 0 0 0 30518 189 0 0 25 0 1 0 22532119 31465472 5201 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 7682 5201 364 364 0 7318 0
[pid=10007] vsize: 30728
Current children cumulated CPU time (s) 307.07
Current children cumulated vsize (Kb) 30728

[startup+320.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 9317 0 0 0 31508 193 0 0 25 0 1 0 22532119 31465472 5343 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 7682 5343 364 364 0 7318 0
[pid=10007] vsize: 30728
Current children cumulated CPU time (s) 317.01
Current children cumulated vsize (Kb) 30728

[startup+330.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 9446 0 0 0 32495 197 0 0 25 0 1 0 22532119 31600640 5390 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 7715 5390 364 364 0 7351 0
[pid=10007] vsize: 30860
Current children cumulated CPU time (s) 326.92
Current children cumulated vsize (Kb) 30860

[startup+340.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 9653 0 0 0 33480 202 0 0 25 0 1 0 22532119 31797248 5556 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 7763 5556 364 364 0 7399 0
[pid=10007] vsize: 31052
Current children cumulated CPU time (s) 336.82
Current children cumulated vsize (Kb) 31052

[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 9804 0 0 0 34469 207 0 0 25 0 1 0 22532119 31797248 5625 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 7763 5625 364 364 0 7399 0
[pid=10007] vsize: 31052
Current children cumulated CPU time (s) 346.76
Current children cumulated vsize (Kb) 31052

[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10068
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 10794 0 0 0 35454 213 0 0 25 0 1 0 22532119 35106816 5764 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8571 5764 364 364 0 8207 0
[pid=10007] vsize: 34284
Current children cumulated CPU time (s) 356.67
Current children cumulated vsize (Kb) 34284

[startup+370.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 11033 0 0 0 36441 218 0 0 25 0 1 0 22532119 35246080 5921 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 8605 5921 364 364 0 8241 0
[pid=10007] vsize: 34420
Current children cumulated CPU time (s) 366.59
Current children cumulated vsize (Kb) 34420

[startup+380.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 11254 0 0 0 37431 222 0 0 25 0 1 0 22532119 35246080 6060 4294967295 134512640 135987407 3221224560 3221223104 134812146 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8605 6060 364 364 0 8241 0
[pid=10007] vsize: 34420
Current children cumulated CPU time (s) 376.53
Current children cumulated vsize (Kb) 34420

[startup+390.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 11479 0 0 0 38418 227 0 0 25 0 1 0 22532119 35389440 6244 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8640 6244 364 364 0 8276 0
[pid=10007] vsize: 34560
Current children cumulated CPU time (s) 386.45
Current children cumulated vsize (Kb) 34560

[startup+400.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 11727 0 0 0 39407 232 0 0 25 0 1 0 22532119 35389440 6410 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8640 6410 364 364 0 8276 0
[pid=10007] vsize: 34560
Current children cumulated CPU time (s) 396.39
Current children cumulated vsize (Kb) 34560

[startup+410.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 11911 0 0 0 40399 234 0 0 25 0 1 0 22532119 35524608 6512 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8673 6512 364 364 0 8309 0
[pid=10007] vsize: 34692
Current children cumulated CPU time (s) 406.33
Current children cumulated vsize (Kb) 34692

[startup+420.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12108 0 0 0 41388 238 0 0 25 0 1 0 22532119 35721216 6668 4294967295 134512640 135987407 3221224560 3221223136 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8721 6668 364 364 0 8357 0
[pid=10007] vsize: 34884
Current children cumulated CPU time (s) 416.26
Current children cumulated vsize (Kb) 34884

[startup+430.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12342 0 0 0 42377 242 0 0 25 0 1 0 22532119 35860480 6820 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8755 6820 364 364 0 8391 0
[pid=10007] vsize: 35020
Current children cumulated CPU time (s) 426.19
Current children cumulated vsize (Kb) 35020

[startup+440.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12476 0 0 0 43369 244 0 0 25 0 1 0 22532119 35860480 6872 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8755 6872 364 364 0 8391 0
[pid=10007] vsize: 35020
Current children cumulated CPU time (s) 436.13
Current children cumulated vsize (Kb) 35020

[startup+450.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12607 0 0 0 44360 247 0 0 25 0 1 0 22532119 36061184 6962 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8804 6962 364 364 0 8440 0
[pid=10007] vsize: 35216
Current children cumulated CPU time (s) 446.07
Current children cumulated vsize (Kb) 35216

[startup+460.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12831 0 0 0 45350 252 0 0 25 0 1 0 22532119 36196352 7104 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8837 7104 364 364 0 8473 0
[pid=10007] vsize: 35348
Current children cumulated CPU time (s) 456.02
Current children cumulated vsize (Kb) 35348

[startup+470.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 12965 0 0 0 46341 255 0 0 25 0 1 0 22532119 36384768 7197 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 8883 7197 364 364 0 8519 0
[pid=10007] vsize: 35532
Current children cumulated CPU time (s) 465.96
Current children cumulated vsize (Kb) 35532

[startup+480.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 13257 0 0 0 47331 259 0 0 25 0 1 0 22532119 36597760 7407 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 8935 7407 364 364 0 8571 0
[pid=10007] vsize: 35740
Current children cumulated CPU time (s) 475.9
Current children cumulated vsize (Kb) 35740

[startup+490.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 13465 0 0 0 48318 264 0 0 25 0 1 0 22532119 36597760 7574 4294967295 134512640 135987407 3221224560 3221223136 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 8935 7574 364 364 0 8571 0
[pid=10007] vsize: 35740
Current children cumulated CPU time (s) 485.82
Current children cumulated vsize (Kb) 35740

[startup+500.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 13650 0 0 0 49308 268 0 0 25 0 1 0 22532119 53374976 7677 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13031 7677 364 364 0 12667 0
[pid=10007] vsize: 52124
Current children cumulated CPU time (s) 495.76
Current children cumulated vsize (Kb) 52124

[startup+510.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 13709 0 0 0 50300 271 0 0 25 0 1 0 22532119 53374976 7695 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13031 7695 364 364 0 12667 0
[pid=10007] vsize: 52124
Current children cumulated CPU time (s) 505.71
Current children cumulated vsize (Kb) 52124

[startup+520.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 13866 0 0 0 51292 274 0 0 25 0 1 0 22532119 53518336 7811 4294967295 134512640 135987407 3221224560 3221223136 134813811 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13066 7811 364 364 0 12702 0
[pid=10007] vsize: 52264
Current children cumulated CPU time (s) 515.66
Current children cumulated vsize (Kb) 52264

[startup+530.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 14128 0 0 0 52283 278 0 0 25 0 1 0 22532119 53518336 7991 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13066 7991 364 364 0 12702 0
[pid=10007] vsize: 52264
Current children cumulated CPU time (s) 525.61
Current children cumulated vsize (Kb) 52264

[startup+540.021 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) T 10006 10007 4060 0 -1 0 14276 0 0 0 53274 281 0 0 25 0 1 0 22532119 53673984 8057 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13104 8057 364 364 0 12740 0
[pid=10007] vsize: 52416
Current children cumulated CPU time (s) 535.55
Current children cumulated vsize (Kb) 52416

[startup+550.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 14471 0 0 0 54264 284 0 0 25 0 1 0 22532119 53673984 8211 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13104 8211 364 364 0 12740 0
[pid=10007] vsize: 52416
Current children cumulated CPU time (s) 545.48
Current children cumulated vsize (Kb) 52416

[startup+560.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 14701 0 0 0 55256 288 0 0 25 0 1 0 22532119 53813248 8359 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13138 8359 364 364 0 12774 0
[pid=10007] vsize: 52552
Current children cumulated CPU time (s) 555.44
Current children cumulated vsize (Kb) 52552

[startup+570.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 14848 0 0 0 56247 291 0 0 25 0 1 0 22532119 54030336 8465 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13191 8465 364 364 0 12827 0
[pid=10007] vsize: 52764
Current children cumulated CPU time (s) 565.38
Current children cumulated vsize (Kb) 52764

[startup+580.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 14999 0 0 0 57240 294 0 0 25 0 1 0 22532119 54185984 8534 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 8534 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 575.34
Current children cumulated vsize (Kb) 52916

[startup+590.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15216 0 0 0 58230 299 0 0 25 0 1 0 22532119 54185984 8710 4294967295 134512640 135987407 3221224560 3221223008 134850867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 8710 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 585.29
Current children cumulated vsize (Kb) 52916

[startup+600.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15400 0 0 0 59221 302 0 0 25 0 1 0 22532119 54185984 8812 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 8812 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 595.23
Current children cumulated vsize (Kb) 52916

[startup+610.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15455 0 0 0 60212 306 0 0 25 0 1 0 22532119 54185984 8826 4294967295 134512640 135987407 3221224560 3221223136 134813815 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 8826 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 605.18
Current children cumulated vsize (Kb) 52916

[startup+620.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15624 0 0 0 61203 309 0 0 25 0 1 0 22532119 54185984 8913 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 8913 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 615.12
Current children cumulated vsize (Kb) 52916

[startup+630.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15852 0 0 0 62194 313 0 0 25 0 1 0 22532119 54185984 9059 4294967295 134512640 135987407 3221224560 3221223184 134882549 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13229 9059 364 364 0 12865 0
[pid=10007] vsize: 52916
Current children cumulated CPU time (s) 625.07
Current children cumulated vsize (Kb) 52916

[startup+640.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 15929 0 0 0 63186 315 0 0 25 0 1 0 22532119 54321152 9095 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13262 9095 364 364 0 12898 0
[pid=10007] vsize: 53048
Current children cumulated CPU time (s) 635.01
Current children cumulated vsize (Kb) 53048

[startup+650.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 16137 0 0 0 64177 320 0 0 25 0 1 0 22532119 54460416 9262 4294967295 134512640 135987407 3221224560 3221223136 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13296 9262 364 364 0 12932 0
[pid=10007] vsize: 53184
Current children cumulated CPU time (s) 644.97
Current children cumulated vsize (Kb) 53184

[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 16361 0 0 0 65169 324 0 0 25 0 1 0 22532119 54460416 9404 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13296 9404 364 364 0 12932 0
[pid=10007] vsize: 53184
Current children cumulated CPU time (s) 654.93
Current children cumulated vsize (Kb) 53184

[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 16494 0 0 0 66161 327 0 0 25 0 1 0 22532119 54460416 9496 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13296 9496 364 364 0 12932 0
[pid=10007] vsize: 53184
Current children cumulated CPU time (s) 664.88
Current children cumulated vsize (Kb) 53184

[startup+680.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 16636 0 0 0 67154 329 0 0 25 0 1 0 22532119 54599680 9556 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13330 9556 364 364 0 12966 0
[pid=10007] vsize: 53320
Current children cumulated CPU time (s) 674.83
Current children cumulated vsize (Kb) 53320

[startup+690.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 16852 0 0 0 68146 332 0 0 25 0 1 0 22532119 54599680 9731 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13330 9731 364 364 0 12966 0
[pid=10007] vsize: 53320
Current children cumulated CPU time (s) 684.78
Current children cumulated vsize (Kb) 53320

[startup+700.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17047 0 0 0 69136 336 0 0 25 0 1 0 22532119 54812672 9885 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13382 9885 364 364 0 13018 0
[pid=10007] vsize: 53528
Current children cumulated CPU time (s) 694.72
Current children cumulated vsize (Kb) 53528

[startup+710.024 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) T 10006 10007 4060 0 -1 0 17157 0 0 0 70129 338 0 0 25 0 1 0 22532119 54812672 9913 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13382 9913 364 364 0 13018 0
[pid=10007] vsize: 53528
Current children cumulated CPU time (s) 704.67
Current children cumulated vsize (Kb) 53528

[startup+720.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17214 0 0 0 71120 342 0 0 25 0 1 0 22532119 54812672 9929 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13382 9929 364 364 0 13018 0
[pid=10007] vsize: 53528
Current children cumulated CPU time (s) 714.62
Current children cumulated vsize (Kb) 53528

[startup+730.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17293 0 0 0 72113 344 0 0 25 0 1 0 22532119 55148544 9967 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13464 9967 364 364 0 13100 0
[pid=10007] vsize: 53856
Current children cumulated CPU time (s) 724.57
Current children cumulated vsize (Kb) 53856

[startup+740.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17542 0 0 0 73104 348 0 0 25 0 1 0 22532119 55836672 10134 4294967295 134512640 135987407 3221224560 3221223148 135499893 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13632 10134 364 364 0 13268 0
[pid=10007] vsize: 54528
Current children cumulated CPU time (s) 734.52
Current children cumulated vsize (Kb) 54528

[startup+750.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17588 0 0 0 74095 351 0 0 25 0 1 0 22532119 55836672 10139 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13632 10139 364 364 0 13268 0
[pid=10007] vsize: 54528
Current children cumulated CPU time (s) 744.46
Current children cumulated vsize (Kb) 54528

[startup+760.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17639 0 0 0 75086 355 0 0 25 0 1 0 22532119 55836672 10149 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13632 10149 364 364 0 13268 0
[pid=10007] vsize: 54528
Current children cumulated CPU time (s) 754.41
Current children cumulated vsize (Kb) 54528

[startup+770.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17728 0 0 0 76076 358 0 0 25 0 1 0 22532119 55836672 10156 4294967295 134512640 135987407 3221224560 3221223168 134801258 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13632 10156 364 364 0 13268 0
[pid=10007] vsize: 54528
Current children cumulated CPU time (s) 764.34
Current children cumulated vsize (Kb) 54528

[startup+780.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 17777 0 0 0 77069 361 0 0 25 0 1 0 22532119 55836672 10164 4294967295 134512640 135987407 3221224560 3221223136 134813795 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13632 10164 364 364 0 13268 0
[pid=10007] vsize: 54528
Current children cumulated CPU time (s) 774.3
Current children cumulated vsize (Kb) 54528

[startup+790.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18146 0 0 0 78059 365 0 0 25 0 1 0 22532119 56918016 10451 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13896 10451 364 364 0 13532 0
[pid=10007] vsize: 55584
Current children cumulated CPU time (s) 784.24
Current children cumulated vsize (Kb) 55584

[startup+800.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18195 0 0 0 79049 368 0 0 25 0 1 0 22532119 56918016 10459 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13896 10459 364 364 0 13532 0
[pid=10007] vsize: 55584
Current children cumulated CPU time (s) 794.17
Current children cumulated vsize (Kb) 55584

[startup+810.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18284 0 0 0 80038 374 0 0 25 0 1 0 22532119 56918016 10466 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 13896 10466 364 364 0 13532 0
[pid=10007] vsize: 55584
Current children cumulated CPU time (s) 804.12
Current children cumulated vsize (Kb) 55584

[startup+820.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18334 0 0 0 81028 377 0 0 25 0 1 0 22532119 56918016 10475 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13896 10475 364 364 0 13532 0
[pid=10007] vsize: 55584
Current children cumulated CPU time (s) 814.05
Current children cumulated vsize (Kb) 55584

[startup+830.028 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) T 10006 10007 4060 0 -1 0 18429 0 0 0 82018 381 0 0 25 0 1 0 22532119 57053184 10488 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13929 10488 364 364 0 13565 0
[pid=10007] vsize: 55716
Current children cumulated CPU time (s) 823.99
Current children cumulated vsize (Kb) 55716

[startup+840.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18477 0 0 0 83007 385 0 0 25 0 1 0 22532119 57053184 10495 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13929 10495 364 364 0 13565 0
[pid=10007] vsize: 55716
Current children cumulated CPU time (s) 833.92
Current children cumulated vsize (Kb) 55716

[startup+850.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18570 0 0 0 84000 388 0 0 25 0 1 0 22532119 57221120 10547 4294967295 134512640 135987407 3221224560 3221222764 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13970 10547 364 364 0 13606 0
[pid=10007] vsize: 55880
Current children cumulated CPU time (s) 843.88
Current children cumulated vsize (Kb) 55880

[startup+860.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18583 0 0 0 84992 391 0 0 25 0 1 0 22532119 57053184 10519 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 13929 10519 364 364 0 13565 0
[pid=10007] vsize: 55716
Current children cumulated CPU time (s) 853.83
Current children cumulated vsize (Kb) 55716

[startup+870.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18805 0 0 0 85979 397 0 0 25 0 1 0 22532119 57593856 10659 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14061 10659 364 364 0 13697 0
[pid=10007] vsize: 56244
Current children cumulated CPU time (s) 863.76
Current children cumulated vsize (Kb) 56244

[startup+880.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 18927 0 0 0 86961 403 0 0 25 0 1 0 22532119 57745408 10699 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14098 10699 364 364 0 13734 0
[pid=10007] vsize: 56392
Current children cumulated CPU time (s) 873.64
Current children cumulated vsize (Kb) 56392

[startup+890.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19057 0 0 0 87945 409 0 0 25 0 1 0 22532119 57942016 10747 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14146 10747 364 364 0 13782 0
[pid=10007] vsize: 56584
Current children cumulated CPU time (s) 883.54
Current children cumulated vsize (Kb) 56584

[startup+900.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) T 10006 10007 4060 0 -1 0 19185 0 0 0 88928 415 0 0 25 0 1 0 22532119 58138624 10793 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14194 10793 364 364 0 13830 0
[pid=10007] vsize: 56776
Current children cumulated CPU time (s) 893.43
Current children cumulated vsize (Kb) 56776

[startup+910.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19297 0 0 0 89910 421 0 0 25 0 1 0 22532119 58499072 10864 4294967295 134512640 135987407 3221224560 3221223104 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14282 10864 364 364 0 13918 0
[pid=10007] vsize: 57128
Current children cumulated CPU time (s) 903.31
Current children cumulated vsize (Kb) 57128

[startup+920.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19378 0 0 0 90894 428 0 0 25 0 1 0 22532119 58662912 10904 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14322 10904 364 364 0 13958 0
[pid=10007] vsize: 57288
Current children cumulated CPU time (s) 913.22
Current children cumulated vsize (Kb) 57288

[startup+930.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19452 0 0 0 91878 434 0 0 25 0 1 0 22532119 58662912 10937 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14322 10937 364 364 0 13958 0
[pid=10007] vsize: 57288
Current children cumulated CPU time (s) 923.12
Current children cumulated vsize (Kb) 57288

[startup+940.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19514 0 0 0 92865 439 0 0 25 0 1 0 22532119 58859520 10958 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14370 10958 364 364 0 14006 0
[pid=10007] vsize: 57480
Current children cumulated CPU time (s) 933.04
Current children cumulated vsize (Kb) 57480

[startup+950.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19535 0 0 0 93849 445 0 0 25 0 1 0 22532119 58859520 10979 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14370 10979 364 364 0 14006 0
[pid=10007] vsize: 57480
Current children cumulated CPU time (s) 942.94
Current children cumulated vsize (Kb) 57480

[startup+960.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19585 0 0 0 94831 452 0 0 25 0 1 0 22532119 58859520 10988 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14370 10988 364 364 0 14006 0
[pid=10007] vsize: 57480
Current children cumulated CPU time (s) 952.83
Current children cumulated vsize (Kb) 57480

[startup+970.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19609 0 0 0 95816 457 0 0 25 0 1 0 22532119 58859520 11012 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14370 11012 364 364 0 14006 0
[pid=10007] vsize: 57480
Current children cumulated CPU time (s) 962.73
Current children cumulated vsize (Kb) 57480

[startup+980.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19662 0 0 0 96799 463 0 0 25 0 1 0 22532119 58859520 11024 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14370 11024 364 364 0 14006 0
[pid=10007] vsize: 57480
Current children cumulated CPU time (s) 972.62
Current children cumulated vsize (Kb) 57480

[startup+990.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19715 0 0 0 97787 468 0 0 25 0 1 0 22532119 59006976 11036 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14406 11036 364 364 0 14042 0
[pid=10007] vsize: 57624
Current children cumulated CPU time (s) 982.55
Current children cumulated vsize (Kb) 57624

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19773 0 0 0 98774 473 0 0 25 0 1 0 22532119 59006976 11053 4294967295 134512640 135987407 3221224560 3221223264 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14406 11053 364 364 0 14042 0
[pid=10007] vsize: 57624
Current children cumulated CPU time (s) 992.47
Current children cumulated vsize (Kb) 57624

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19893 0 0 0 99760 477 0 0 25 0 1 0 22532119 59191296 11091 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14451 11091 364 364 0 14087 0
[pid=10007] vsize: 57804
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (Kb) 57804

[startup+1020.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 19945 0 0 0 100748 482 0 0 25 0 1 0 22532119 59191296 11102 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14451 11102 364 364 0 14087 0
[pid=10007] vsize: 57804
Current children cumulated CPU time (s) 1012.3
Current children cumulated vsize (Kb) 57804

[startup+1030.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20000 0 0 0 101736 485 0 0 25 0 1 0 22532119 59191296 11116 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14451 11116 364 364 0 14087 0
[pid=10007] vsize: 57804
Current children cumulated CPU time (s) 1022.21
Current children cumulated vsize (Kb) 57804

[startup+1040.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20111 0 0 0 102723 489 0 0 25 0 1 0 22532119 59191296 11145 4294967295 134512640 135987407 3221224560 3221223232 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14451 11145 364 364 0 14087 0
[pid=10007] vsize: 57804
Current children cumulated CPU time (s) 1032.12
Current children cumulated vsize (Kb) 57804

[startup+1050.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20131 0 0 0 103711 494 0 0 25 0 1 0 22532119 59326464 11165 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14484 11165 364 364 0 14120 0
[pid=10007] vsize: 57936
Current children cumulated CPU time (s) 1042.05
Current children cumulated vsize (Kb) 57936

[startup+1060.04 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20149 0 0 0 104696 499 0 0 25 0 1 0 22532119 59326464 11183 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14484 11183 364 364 0 14120 0
[pid=10007] vsize: 57936
Current children cumulated CPU time (s) 1051.95
Current children cumulated vsize (Kb) 57936

[startup+1070.04 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20192 0 0 0 105682 503 0 0 25 0 1 0 22532119 59469824 11226 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14519 11226 364 364 0 14155 0
[pid=10007] vsize: 58076
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (Kb) 58076

[startup+1080.04 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20286 0 0 0 106672 507 0 0 25 0 1 0 22532119 59469824 11238 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14519 11238 364 364 0 14155 0
[pid=10007] vsize: 58076
Current children cumulated CPU time (s) 1071.79
Current children cumulated vsize (Kb) 58076

[startup+1090.04 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20300 0 0 0 107662 511 0 0 25 0 1 0 22532119 59609088 11252 4294967295 134512640 135987407 3221224560 3221223136 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14553 11252 364 364 0 14189 0
[pid=10007] vsize: 58212
Current children cumulated CPU time (s) 1081.73
Current children cumulated vsize (Kb) 58212

[startup+1100.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20393 0 0 0 108650 516 0 0 25 0 1 0 22532119 59609088 11263 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14553 11263 364 364 0 14189 0
[pid=10007] vsize: 58212
Current children cumulated CPU time (s) 1091.66
Current children cumulated vsize (Kb) 58212

[startup+1110.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20487 0 0 0 109640 519 0 0 25 0 1 0 22532119 59609088 11275 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14553 11275 364 364 0 14189 0
[pid=10007] vsize: 58212
Current children cumulated CPU time (s) 1101.59
Current children cumulated vsize (Kb) 58212

[startup+1120.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20547 0 0 0 110628 524 0 0 25 0 1 0 22532119 59609088 11294 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14553 11294 364 364 0 14189 0
[pid=10007] vsize: 58212
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (Kb) 58212

[startup+1130.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20610 0 0 0 111617 528 0 0 25 0 1 0 22532119 59744256 11316 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14586 11316 364 364 0 14222 0
[pid=10007] vsize: 58344
Current children cumulated CPU time (s) 1121.45
Current children cumulated vsize (Kb) 58344

[startup+1140.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20676 0 0 0 112607 531 0 0 25 0 1 0 22532119 59744256 11341 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10007/statm): 14586 11341 364 364 0 14222 0
[pid=10007] vsize: 58344
Current children cumulated CPU time (s) 1131.38
Current children cumulated vsize (Kb) 58344

[startup+1150.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20735 0 0 0 113594 536 0 0 25 0 1 0 22532119 59879424 11359 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14619 11359 364 364 0 14255 0
[pid=10007] vsize: 58476
Current children cumulated CPU time (s) 1141.3
Current children cumulated vsize (Kb) 58476

[startup+1160.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20831 0 0 0 114585 540 0 0 25 0 1 0 22532119 59879424 11373 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14619 11373 364 364 0 14255 0
[pid=10007] vsize: 58476
Current children cumulated CPU time (s) 1151.25
Current children cumulated vsize (Kb) 58476

[startup+1170.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20882 0 0 0 115577 543 0 0 25 0 1 0 22532119 59879424 11383 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14619 11383 364 364 0 14255 0
[pid=10007] vsize: 58476
Current children cumulated CPU time (s) 1161.2
Current children cumulated vsize (Kb) 58476

[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 20951 0 0 0 116564 548 0 0 25 0 1 0 22532119 60030976 11411 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14656 11411 364 364 0 14292 0
[pid=10007] vsize: 58624
Current children cumulated CPU time (s) 1171.12
Current children cumulated vsize (Kb) 58624

[startup+1190.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 21052 0 0 0 117555 551 0 0 25 0 1 0 22532119 60030976 11430 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14656 11430 364 364 0 14292 0
[pid=10007] vsize: 58624
Current children cumulated CPU time (s) 1181.06
Current children cumulated vsize (Kb) 58624

[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 21102 0 0 0 118546 554 0 0 25 0 1 0 22532119 60030976 11439 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14656 11439 364 364 0 14292 0
[pid=10007] vsize: 58624
Current children cumulated CPU time (s) 1191
Current children cumulated vsize (Kb) 58624

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 21197 0 0 0 119536 558 0 0 25 0 1 0 22532119 60030976 11452 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14656 11452 364 364 0 14292 0
[pid=10007] vsize: 58624
Current children cumulated CPU time (s) 1200.94
Current children cumulated vsize (Kb) 58624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10070
Raw data (/proc/10007/stat): 10007 (pb2sat) R 10006 10007 4060 0 -1 0 21197 0 0 0 119536 558 0 0 25 0 1 0 22532119 60030976 11452 4294967295 134512640 135987407 3221224560 3221223168 134801205 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10007/statm): 14656 11452 364 364 0 14292 0
[pid=10007] vsize: 58624
Current children cumulated CPU time (s) 1200.94
Current children cumulated vsize (Kb) 58624

Sending SIGTERM to -10007
Sleeping 2 seconds
One traced child (pid=10007) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.14
CPU time (s): 1201.03
CPU user time (s): 1195.43
CPU system time (s): 5.60915
CPU usage (%): 99.2478
Max. virtual memory (cumulated for all children) (Kb): 58624

Verifier Data

Verifier:	OK	122