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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMb552ff39062b6c42ea64365c815cbd78
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 9715

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 14:55:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8397 boxname=wulflinc26 idbench=193 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc26/normalized-par32-3-c.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-par32-3-c.opb
IDLAUNCH: 8397
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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		: 451.055
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:        929148 kB
Buffers:         10740 kB
Cached:          78000 kB
SwapCached:          0 kB
Active:          44328 kB
Inactive:        47332 kB
HighTotal:      131008 kB
HighFree:        50008 kB
LowTotal:       903652 kB
LowFree:        879140 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8400 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:15:42 (client local time) WITH STATUS 0 IN 1205.41 SECONDS
stats: 8397 7 1205.41 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 14/2662	Time: 2.44563/86400
c Decision: 14/2662	Time: 3.53246/86400
c Decision: 14/2662	Time: 4.6043/86400
c Decision: 14/2662	Time: 5.65114/86400
c Decision: 14/2662	Time: 6.53001/86400
c Decision: 14/2662	Time: 7.65184/86400
c Decision: 14/2662	Time: 8.5517/86400
c Decision: 14/2662	Time: 9.53655/86400
c Decision: 14/2662	Time: 10.5854/86400
c Decision: 14/2662	Time: 11.7082/86400
c Decision: 14/2662	Time: 12.7831/86400
c Decision: 14/2662	Time: 13.7929/86400
c Decision: 14/2662	Time: 14.6558/86400
c Decision: 14/2662	Time: 15.5786/86400
c Decision: 14/2662	Time: 16.4715/86400
c Decision: 14/2662	Time: 17.5303/86400
c Decision: 14/2662	Time: 18.6282/86400
c Decision: 14/2662	Time: 19.523/86400
c Decision: 14/2662	Time: 20.5659/86400
c Decision: 14/2662	Time: 21.7077/86400
c Decision: 14/2662	Time: 22.9695/86400
c Decision: 14/2662	Time: 24.1083/86400
c Decision: 14/2662	Time: 25.0512/86400
c Decision: 14/2662	Time: 26.072/86400
c Decision: 14/2662	Time: 26.9849/86400
c Decision: 14/2662	Time: 28.2167/86400
c Decision: 14/2662	Time: 29.4185/86400
c Decision: 14/2662	Time: 30.4714/86400
c Decision: 14/2662	Time: 31.7842/86400
c Decision: 14/2662	Time: 33.174/86400
c Decision: 14/2662	Time: 34.4718/86400
c Decision: 14/2662	Time: 35.5266/86400
c Decision: 14/2662	Time: 36.8184/86400
c Decision: 14/2662	Time: 37.9722/86400
c Decision: 14/2662	Time: 39.305/86400
c Decision: 14/2662	Time: 40.5758/86400
c Decision: 14/2662	Time: 41.8156/86400
c Decision: 14/2662	Time: 43.0685/86400
c Decision: 14/2662	Time: 44.1813/86400
c Decision: 14/2662	Time: 45.5731/86400
c Decision: 14/2662	Time: 46.7269/86400
c Decision: 14/2662	Time: 48.0277/86400
c Decision: 14/2662	Time: 49.2765/86400
c Decision: 14/2662	Time: 50.5963/86400
c Decision: 14/2662	Time: 51.6791/86400
c Decision: 14/2662	Time: 52.752/86400
c Decision: 14/2662	Time: 54.0258/86400
c Decision: 14/2662	Time: 54.9616/86400
c Decision: 14/2662	Time: 56.2784/86400
c Decision: 14/2662	Time: 57.6052/86400
c Decision: 14/2662	Time: 59.199/86400
c Decision: 14/2662	Time: 60.2908/86400
c Decision: 14/2662	Time: 61.5986/86400
c Decision: 14/2662	Time: 62.9674/86400
c Decision: 14/2662	Time: 64.1642/86400
c Decision: 14/2662	Time: 65.616/86400
c Decision: 14/2662	Time: 66.8488/86400
c Decision: 14/2662	Time: 68.1286/86400
c Decision: 14/2662	Time: 69.5514/86400
c Decision: 14/2662	Time: 70.8642/86400
c Decision: 14/2662	Time: 72.347/86400
c Decision: 14/2662	Time: 73.7578/86400
c Decision: 14/2662	Time: 75.3056/86400
c Decision: 14/2662	Time: 76.8503/86400
c Decision: 14/2662	Time: 78.2621/86400
c Decision: 14/2662	Time: 80.1848/86400
c Decision: 14/2662	Time: 81.7356/86400
c Decision: 14/2662	Time: 82.9804/86400
c Decision: 14/2662	Time: 84.6021/86400
c Decision: 14/2662	Time: 85.9409/86400
c Decision: 14/2662	Time: 87.6697/86400
c Decision: 14/2662	Time: 89.1954/86400
c Decision: 14/2662	Time: 90.6122/86400
c Decision: 14/2662	Time: 92.301/86400
c Decision: 14/2662	Time: 93.6398/86400
c Decision: 14/2662	Time: 95.1195/86400
c Decision: 14/2662	Time: 96.6363/86400
c Decision: 14/2662	Time: 98.1421/86400
c Decision: 14/2662	Time: 99.6229/86400
c Decision: 14/2662	Time: 101.157/86400
c Decision: 14/2662	Time: 102.962/86400
c Decision: 14/2662	Time: 104.366/86400
c Decision: 14/2662	Time: 106.116/86400
c Decision: 14/2662	Time: 107.673/86400
c Decision: 14/2662	Time: 108.91/86400
c Decision: 14/2662	Time: 110.868/86400
c Decision: 14/2662	Time: 112.499/86400
c Decision: 14/2662	Time: 114.015/86400
c Decision: 14/2662	Time: 115.627/86400
c Decision: 14/2662	Time: 117.028/86400
c Decision: 14/2662	Time: 118.626/86400
c Decision: 14/2662	Time: 120.438/86400
c Decision: 14/2662	Time: 122.442/86400
c Decision: 14/2662	Time: 124.128/86400
c Decision: 14/2662	Time: 125.785/86400
c Decision: 14/2662	Time: 127.513/86400
c Decision: 14/2662	Time: 128.772/86400
c Decision: 14/2662	Time: 130.451/86400
c Decision: 14/2662	Time: 132.189/86400
c Decision: 14/2662	Time: 134.019/86400
c Decision: 14/2662	Time: 136.034/86400
c Decision: 14/2662	Time: 137.675/86400
c Decision: 14/2662	Time: 139.561/86400
c Decision: 14/2662	Time: 141.383/86400
c Decision: 14/2662	Time: 143.282/86400
c Decision: 14/2662	Time: 145.117/86400
c Decision: 14/2662	Time: 146.826/86400
c Decision: 14/2662	Time: 148.868/86400
c Decision: 14/2662	Time: 150.827/86400
c Decision: 14/2662	Time: 152.543/86400
c Decision: 14/2662	Time: 154.894/86400
c Decision: 14/2662	Time: 156.668/86400
c Decision: 14/2662	Time: 158.59/86400
c Decision: 14/2662	Time: 160.137/86400
c Decision: 14/2662	Time: 161.902/86400
c Decision: 14/2662	Time: 164.072/86400
c Decision: 14/2662	Time: 165.905/86400
c Decision: 14/2662	Time: 167.579/86400
c Decision: 14/2662	Time: 169.555/86400
c Decision: 14/2662	Time: 171.473/86400
c Decision: 14/2662	Time: 173.546/86400
c Decision: 14/2662	Time: 175.337/86400
c Decision: 14/2662	Time: 177.183/86400
c Decision: 14/2662	Time: 178.937/86400
c Decision: 14/2662	Time: 180.86/86400
c Decision: 14/2662	Time: 183.076/86400
c Decision: 14/2662	Time: 185.031/86400
c Decision: 14/2662	Time: 187.037/86400
c Decision: 14/2662	Time: 188.717/86400
c Decision: 14/2662	Time: 190.766/86400
c Decision: 14/2662	Time: 193.104/86400
c Decision: 14/2662	Time: 194.896/86400
c Decision: 14/2662	Time: 196.866/86400
c Decision: 14/2662	Time: 198.77/86400
c Decision: 14/2662	Time: 200.886/86400
c Decision: 14/2662	Time: 202.798/86400
c Decision: 14/2662	Time: 204.536/86400
c Decision: 14/2662	Time: 206.392/86400
c Decision: 14/2662	Time: 208.354/86400
c Decision: 14/2662	Time: 210.495/86400
c Decision: 14/2662	Time: 212.704/86400
c Decision: 14/2662	Time: 214.7/86400
c Decision: 14/2662	Time: 216.856/86400
c Decision: 14/2662	Time: 219.019/86400
c Decision: 14/2662	Time: 221.101/86400
c Decision: 14/2662	Time: 223.523/86400
c Decision: 14/2662	Time: 225.575/86400
c Decision: 14/2662	Time: 227.537/86400
c Decision: 14/2662	Time: 229.513/86400
c Decision: 14/2662	Time: 231.455/86400
c Decision: 14/2662	Time: 234.07/86400
c Decision: 14/2662	Time: 236.4/86400
c Decision: 14/2662	Time: 238.537/86400
c Decision: 14/2662	Time: 240.751/86400
c Decision: 14/2662	Time: 243.171/86400
c Decision: 14/2662	Time: 245.453/86400
c Decision: 14/2662	Time: 247.618/86400
c Decision: 14/2662	Time: 249.55/86400
c Decision: 14/2662	Time: 251.741/86400
c Decision: 14/2662	Time: 254.135/86400
c Decision: 14/2662	Time: 256.771/86400
c Decision: 14/2662	Time: 258.678/86400
c Decision: 14/2662	Time: 260.855/86400
c Decision: 14/2662	Time: 263.186/86400
c Decision: 14/2662	Time: 265.052/86400
c Decision: 14/2662	Time: 267.518/86400
c Decision: 14/2662	Time: 269.493/86400
c Decision: 14/2662	Time: 271.799/86400
c Decision: 14/2662	Time: 273.942/86400
c Decision: 14/2662	Time: 276.193/86400
c Decision: 14/2662	Time: 278.662/86400
c Decision: 14/2662	Time: 280.98/86400
c Decision: 14/2662	Time: 283.007/86400
c Decision: 14/2662	Time: 285.275/86400
c Decision: 14/2662	Time: 287.691/86400
c Decision: 14/2662	Time: 290.482/86400
c Decision: 14/2662	Time: 292.798/86400
c Decision: 14/2662	Time: 294.914/86400
c Decision: 14/2662	Time: 297.177/86400
c Decision: 14/2662	Time: 299.497/86400
c Decision: 14/2662	Time: 302.272/86400
c Decision: 14/2662	Time: 304.325/86400
c Decision: 14/2662	Time: 306.445/86400
c Decision: 14/2662	Time: 308.919/86400
c Decision: 14/2662	Time: 310.844/86400
c Decision: 14/2662	Time: 312.742/86400
c Decision: 14/2662	Time: 315.135/86400
c Decision: 14/2662	Time: 317.187/86400
c Decision: 14/2662	Time: 319.225/86400
c Decision: 14/2662	Time: 321.538/86400
c Decision: 14/2662	Time: 323.874/86400
c Decision: 14/2662	Time: 326/86400
c Decision: 14/2662	Time: 328.35/86400
c Decision: 14/2662	Time: 330.531/86400
c Decision: 14/2662	Time: 332.766/86400
c Decision: 14/2662	Time: 335.091/86400
c Decision: 14/2662	Time: 337.281/86400
c Decision: 14/2662	Time: 339.41/86400
c Decision: 14/2662	Time: 341.559/86400
c Decision: 14/2662	Time: 343.623/86400
c Decision: 14/2662	Time: 345.812/86400
c Decision: 14/2662	Time: 348.088/86400
c Decision: 14/2662	Time: 350.335/86400
c Decision: 14/2662	Time: 352.341/86400
c Decision: 14/2662	Time: 354.639/86400
c Decision: 14/2662	Time: 356.757/86400
c Decision: 14/2662	Time: 358.811/86400
c Decision: 14/2662	Time: 360.905/86400
c Decision: 14/2662	Time: 363.02/86400
c Decision: 14/2662	Time: 365.174/86400
c Decision: 14/2662	Time: 367.578/86400
c Decision: 14/2662	Time: 369.697/86400
c Decision: 14/2662	Time: 371.899/86400
c Decision: 14/2662	Time: 374.025/86400
c Decision: 14/2662	Time: 376.268/86400
c Decision: 14/2662	Time: 378.928/86400
c Decision: 14/2662	Time: 381.137/86400
c Decision: 14/2662	Time: 383.475/86400
c Decision: 14/2662	Time: 385.591/86400
c Decision: 14/2662	Time: 387.885/86400
c Decision: 14/2662	Time: 390.476/86400
c Decision: 14/2662	Time: 392.429/86400
c Decision: 14/2662	Time: 394.362/86400
c Decision: 14/2662	Time: 396.61/86400
c Decision: 14/2662	Time: 399.033/86400
c Decision: 14/2662	Time: 401.463/86400
c Decision: 14/2662	Time: 403.713/86400
c Decision: 14/2662	Time: 405.964/86400
c Decision: 14/2662	Time: 407.979/86400
c Decision: 14/2662	Time: 410.559/86400
c Decision: 14/2662	Time: 413.257/86400
c Decision: 14/2662	Time: 415.663/86400
c Decision: 14/2662	Time: 418.012/86400
c Decision: 14/2662	Time: 420.541/86400
c Decision: 14/2662	Time: 423.231/86400
c Decision: 14/2662	Time: 425.679/86400
c Decision: 14/2662	Time: 428.003/86400
c Decision: 14/2662	Time: 430.53/86400
c Decision: 14/2662	Time: 432.707/86400
c Decision: 14/2662	Time: 435.075/86400
c Decision: 14/2662	Time: 437.742/86400
c Decision: 14/2662	Time: 440.19/86400
c Decision: 14/2662	Time: 442.5/86400
c Decision: 14/2662	Time: 445.08/86400
c Decision: 14/2662	Time: 447.682/86400
c Decision: 14/2662	Time: 450.464/86400
c Decision: 14/2662	Time: 452.819/86400
c Decision: 14/2662	Time: 455.364/86400
c Decision: 14/2662	Time: 458.096/86400
c Decision: 14/2662	Time: 460.416/86400
c Decision: 14/2662	Time: 463.288/86400
c Decision: 14/2662	Time: 465.783/86400
c Decision: 14/2662	Time: 467.95/86400
c Decision: 14/2662	Time: 470.172/86400
c Decision: 14/2662	Time: 472.72/86400
c Decision: 14/2662	Time: 475.439/86400
c Decision: 14/2662	Time: 477.728/86400
c Decision: 14/2662	Time: 480.313/86400
c Decision: 14/2662	Time: 482.647/86400
c Decision: 14/2662	Time: 484.647/86400
c Decision: 14/2662	Time: 487.423/86400
c Decision: 14/2662	Time: 489.895/86400
c Decision: 14/2662	Time: 492.314/86400
c Decision: 14/2662	Time: 494.782/86400
c Decision: 14/2662	Time: 497.441/86400
c Decision: 14/2662	Time: 500.046/86400
c Decision: 14/2662	Time: 502.298/86400
c Decision: 14/2662	Time: 504.486/86400
c Decision: 14/2662	Time: 506.639/86400
c Decision: 14/2662	Time: 509.263/86400
c Decision: 14/2662	Time: 512.195/86400
c Decision: 14/2662	Time: 514.77/86400
c Decision: 14/2662	Time: 517.164/86400
c Decision: 14/2662	Time: 519.514/86400
c Decision: 14/2662	Time: 521.862/86400
c Decision: 14/2662	Time: 524.559/86400
c Decision: 14/2662	Time: 526.993/86400
c Decision: 14/2662	Time: 529.513/86400
c Decision: 14/2662	Time: 532.2/86400
c Decision: 14/2662	Time: 534.779/86400
c Decision: 14/2662	Time: 537.602/86400
c Decision: 14/2662	Time: 539.855/86400
c Decision: 14/2662	Time: 542.391/86400
c Decision: 14/2662	Time: 544.738/86400
c Decision: 14/2662	Time: 547.349/86400
c Decision: 14/2662	Time: 550.222/86400
c Decision: 14/2662	Time: 552.756/86400
c Decision: 14/2662	Time: 555.352/86400
c Decision: 14/2662	Time: 558.089/86400
c Decision: 14/2662	Time: 560.425/86400
c Decision: 14/2662	Time: 563.345/86400
c Decision: 14/2662	Time: 565.88/86400
c Decision: 14/2662	Time: 568.456/86400
c Decision: 14/2662	Time: 571.16/86400
c Decision: 14/2662	Time: 573.838/86400
c Decision: 14/2662	Time: 577.102/86400
c Decision: 14/2662	Time: 579.592/86400
c Decision: 14/2662	Time: 582.3/86400
c Decision: 14/2662	Time: 585.163/86400
c Decision: 14/2662	Time: 587.734/86400
c Decision: 14/2662	Time: 590.744/86400
c Decision: 14/2662	Time: 593.218/86400
c Decision: 14/2662	Time: 595.716/86400
c Decision: 14/2662	Time: 598.334/86400
c Decision: 14/2662	Time: 601.104/86400
c Decision: 14/2662	Time: 604.159/86400
c Decision: 14/2662	Time: 606.762/86400
c Decision: 14/2662	Time: 609.277/86400
c Decision: 14/2662	Time: 612.406/86400
c Decision: 14/2662	Time: 615.145/86400
c Decision: 14/2662	Time: 617.884/86400
c Decision: 14/2662	Time: 620.583/86400
c Decision: 14/2662	Time: 623.321/86400
c Decision: 14/2662	Time: 626.095/86400
c Decision: 14/2662	Time: 628.527/86400
c Decision: 14/2662	Time: 631.493/86400
c Decision: 14/2662	Time: 633.72/86400
c Decision: 14/2662	Time: 636.095/86400
c Decision: 14/2662	Time: 638.801/86400
c Decision: 14/2662	Time: 641.22/86400
c Decision: 14/2662	Time: 644.149/86400
c Decision: 14/2662	Time: 646.834/86400
c Decision: 14/2662	Time: 649.261/86400
c Decision: 14/2662	Time: 651.789/86400
c Decision: 14/2662	Time: 654.363/86400
c Decision: 14/2662	Time: 657.709/86400
c Decision: 14/2662	Time: 660.449/86400
c Decision: 14/2662	Time: 663.201/86400
c Decision: 14/2662	Time: 665.819/86400
c Decision: 14/2662	Time: 668.756/86400
c Decision: 14/2662	Time: 671.99/86400
c Decision: 14/2662	Time: 674.51/86400
c Decision: 14/2662	Time: 677.481/86400
c Decision: 14/2662	Time: 680.488/86400
c Decision: 14/2662	Time: 683.254/86400
c Decision: 14/2662	Time: 685.939/86400
c Decision: 14/2662	Time: 688.276/86400
c Decision: 14/2662	Time: 690.809/86400
c Decision: 14/2662	Time: 693.287/86400
c Decision: 14/2662	Time: 695.838/86400
c Decision: 14/2662	Time: 698.757/86400
c Decision: 14/2662	Time: 701.522/86400
c Decision: 14/2662	Time: 704.234/86400
c Decision: 14/2662	Time: 707.055/86400
c Decision: 14/2662	Time: 710.022/86400
c Decision: 14/2662	Time: 713.209/86400
c Decision: 14/2662	Time: 715.989/86400
c Decision: 14/2662	Time: 718.773/86400
c Decision: 14/2662	Time: 721.29/86400
c Decision: 14/2662	Time: 724.253/86400
c Decision: 14/2662	Time: 727.266/86400
c Decision: 14/2662	Time: 729.657/86400
c Decision: 14/2662	Time: 732.304/86400
c Decision: 14/2662	Time: 734.915/86400
c Decision: 14/2662	Time: 737.902/86400
c Decision: 14/2662	Time: 740.996/86400
c Decision: 14/2662	Time: 743.753/86400
c Decision: 14/2662	Time: 746.515/86400
c Decision: 14/2662	Time: 749.466/86400
c Decision: 14/2662	Time: 751.871/86400
c Decision: 14/2662	Time: 755.154/86400
c Decision: 14/2662	Time: 758.132/86400
c Decision: 14/2662	Time: 761.197/86400
c Decision: 14/2662	Time: 763.728/86400
c Decision: 14/2662	Time: 766.347/86400
c Decision: 14/2662	Time: 769.479/86400
c Decision: 14/2662	Time: 772.532/86400
c Decision: 14/2662	Time: 775.272/86400
c Decision: 14/2662	Time: 777.862/86400
c Decision: 14/2662	Time: 780.385/86400
c Decision: 14/2662	Time: 783.522/86400
c Decision: 14/2662	Time: 786.304/86400
c Decision: 14/2662	Time: 788.85/86400
c Decision: 14/2662	Time: 791.425/86400
c Decision: 14/2662	Time: 794.26/86400
c Decision: 14/2662	Time: 797.766/86400
c Decision: 14/2662	Time: 800.293/86400
c Decision: 14/2662	Time: 802.917/86400
c Decision: 14/2662	Time: 806.239/86400
c Decision: 14/2662	Time: 809.137/86400
c Decision: 14/2662	Time: 812.37/86400
c Decision: 14/2662	Time: 815.108/86400
c Decision: 14/2662	Time: 817.886/86400
c Decision: 14/2662	Time: 820.25/86400
c Decision: 14/2662	Time: 822.779/86400
c Decision: 14/2662	Time: 825.996/86400
c Decision: 14/2662	Time: 828.943/86400
c Decision: 14/2662	Time: 831.492/86400
c Decision: 14/2662	Time: 834.304/86400
c Decision: 14/2662	Time: 837.473/86400
c Decision: 14/2662	Time: 840.994/86400
c Decision: 14/2662	Time: 843.982/86400
c Decision: 14/2662	Time: 846.944/86400
c Decision: 14/2662	Time: 849.634/86400
c Decision: 14/2662	Time: 852.432/86400
c Decision: 14/2662	Time: 856.223/86400
c Decision: 14/2662	Time: 859.149/86400
c Decision: 14/2662	Time: 862.119/86400
c Decision: 14/2662	Time: 865/86400
c Decision: 14/2662	Time: 867.936/86400
c Decision: 14/2662	Time: 871.071/86400
c Decision: 14/2662	Time: 873.871/86400
c Decision: 14/2662	Time: 877.096/86400
c Decision: 14/2662	Time: 880.275/86400
c Decision: 14/2662	Time: 883.115/86400
c Decision: 14/2662	Time: 886.815/86400
c Decision: 14/2662	Time: 889.785/86400
c Decision: 14/2662	Time: 892.766/86400
c Decision: 14/2662	Time: 895.763/86400
c Decision: 14/2662	Time: 898.521/86400
c Decision: 14/2662	Time: 901.964/86400
c Decision: 14/2662	Time: 904.811/86400
c Decision: 14/2662	Time: 907.442/86400
c Decision: 14/2662	Time: 910.513/86400
c Decision: 14/2662	Time: 913.459/86400
c Decision: 14/2662	Time: 917.096/86400
c Decision: 14/2662	Time: 920.111/86400
c Decision: 14/2662	Time: 923.37/86400
c Decision: 14/2662	Time: 926.194/86400
c Decision: 14/2662	Time: 929.372/86400
c Decision: 14/2662	Time: 933.064/86400
c Decision: 14/2662	Time: 935.897/86400
c Decision: 14/2662	Time: 938.945/86400
c Decision: 14/2662	Time: 941.69/86400
c Decision: 14/2662	Time: 944.437/86400
c Decision: 14/2662	Time: 947.765/86400
c Decision: 14/2662	Time: 950.278/86400
c Decision: 14/2662	Time: 953.098/86400
c Decision: 14/2662	Time: 955.959/86400
c Decision: 14/2662	Time: 958.589/86400
c Decision: 14/2662	Time: 961.978/86400
c Decision: 14/2662	Time: 964.979/86400
c Decision: 14/2662	Time: 967.58/86400
c Decision: 14/2662	Time: 970.691/86400
c Decision: 14/2662	Time: 973.87/86400
c Decision: 14/2662	Time: 977.322/86400
c Decision: 14/2662	Time: 980.384/86400
c Decision: 14/2662	Time: 983.351/86400
c Decision: 14/2662	Time: 985.982/86400
c Decision: 14/2662	Time: 988.412/86400
c Decision: 14/2662	Time: 991.686/86400
c Decision: 14/2662	Time: 994.571/86400
c Decision: 14/2662	Time: 997.578/86400
c Decision: 14/2662	Time: 1000.42/86400
c Decision: 14/2662	Time: 1003.18/86400
c Decision: 14/2662	Time: 1006.27/86400
c Decision: 14/2662	Time: 1009.36/86400
c Decision: 14/2662	Time: 1012.44/86400
c Decision: 14/2662	Time: 1015.26/86400
c Decision: 14/2662	Time: 1018.25/86400
c Decision: 14/2662	Time: 1021.67/86400
c Decision: 14/2662	Time: 1024.42/86400
c Decision: 14/2662	Time: 1027.51/86400
c Decision: 14/2662	Time: 1030.78/86400
c Decision: 14/2662	Time: 1034.04/86400
c Decision: 14/2662	Time: 1037.41/86400
c Decision: 14/2662	Time: 1040.23/86400
c Decision: 14/2662	Time: 1043.43/86400
c Decision: 14/2662	Time: 1046.65/86400
c Decision: 14/2662	Time: 1049.96/86400
c Decision: 14/2662	Time: 1053.7/86400
c Decision: 14/2662	Time: 1056.71/86400
c Decision: 14/2662	Time: 1059.82/86400
c Decision: 14/2662	Time: 1062.98/86400
c Decision: 14/2662	Time: 1065.72/86400
c Decision: 14/2662	Time: 1069.51/86400
c Decision: 14/2662	Time: 1072.57/86400
c Decision: 14/2662	Time: 1076.07/86400
c Decision: 14/2662	Time: 1079.17/86400
c Decision: 14/2662	Time: 1081.72/86400
c Decision: 14/2662	Time: 1085.76/86400
c Decision: 14/2662	Time: 1088.96/86400
c Decision: 14/2662	Time: 1091.88/86400
c Decision: 14/2662	Time: 1094.54/86400
c Decision: 14/2662	Time: 1097.32/86400
c Decision: 14/2662	Time: 1100.88/86400
c Decision: 14/2662	Time: 1103.91/86400
c Decision: 14/2662	Time: 1107.22/86400
c Decision: 14/2662	Time: 1110.37/86400
c Decision: 14/2662	Time: 1113.48/86400
c Decision: 14/2662	Time: 1116.44/86400
c Decision: 14/2662	Time: 1119.3/86400
c Decision: 14/2662	Time: 1121.92/86400
c Decision: 14/2662	Time: 1124.84/86400
c Decision: 14/2662	Time: 1127.72/86400
c Decision: 14/2662	Time: 1130.9/86400
c Decision: 14/2662	Time: 1134.05/86400
c Decision: 14/2662	Time: 1137.36/86400
c Decision: 14/2662	Time: 1139.93/86400
c Decision: 14/2662	Time: 1142.48/86400
c Decision: 14/2662	Time: 1146.05/86400
c Decision: 14/2662	Time: 1149.03/86400
c Decision: 14/2662	Time: 1152.19/86400
c Decision: 14/2662	Time: 1154.96/86400
c Decision: 14/2662	Time: 1157.89/86400
c Decision: 14/2662	Time: 1161.07/86400
c Decision: 14/2662	Time: 1163.59/86400
c Decision: 14/2662	Time: 1166.59/86400
c Decision: 14/2662	Time: 1169.89/86400
c Decision: 14/2662	Time: 1172.7/86400
c Decision: 14/2662	Time: 1176.06/86400
c Decision: 14/2662	Time: 1179.09/86400
c Decision: 14/2662	Time: 1181.99/86400
c Decision: 14/2662	Time: 1184.84/86400
c Decision: 14/2662	Time: 1187.94/86400
c Decision: 14/2662	Time: 1191.33/86400
c Decision: 14/2662	Time: 1194.27/86400
c Decision: 14/2662	Time: 1197.83/86400
c Decision: 14/2662	Time: 1200.74/86400
c Decision: 14/2662	Time: 1204.16/86400s UNKNOWN

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/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21035145 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 373 2 364 364 0 9 0
[pid=7096] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-par32-3-c.opb

[startup+10.001 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 972 0 0 0 963 12 0 0 25 0 1 0 21035145 4747264 858 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 1159 858 364 364 0 795 0
[pid=7096] vsize: 4636
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (Kb) 4636

[startup+20.0017 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 1512 0 0 0 1918 28 0 0 25 0 1 0 21035145 6955008 1301 4294967295 134512640 135987407 3221224576 3221223376 134824639 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 1698 1301 364 364 0 1334 0
[pid=7096] vsize: 6792
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 6792

[startup+30.0024 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 1761 0 0 0 2880 42 0 0 25 0 1 0 21035145 9580544 1550 4294967295 134512640 135987407 3221224576 3221223264 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 2339 1550 364 364 0 1975 0
[pid=7096] vsize: 9356
Current children cumulated CPU time (s) 29.22
Current children cumulated vsize (Kb) 9356

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 1927 0 0 0 3846 54 0 0 25 0 1 0 21035145 9846784 1716 4294967295 134512640 135987407 3221224576 3221223264 134811879 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 2404 1716 364 364 0 2040 0
[pid=7096] vsize: 9616
Current children cumulated CPU time (s) 39
Current children cumulated vsize (Kb) 9616

[startup+50.0038 s]
Raw data (loadavg): 1.04 0.96 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 2434 0 0 0 4796 71 0 0 25 0 1 0 21035145 11177984 2030 4294967295 134512640 135987407 3221224576 3221223328 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 2729 2030 364 364 0 2365 0
[pid=7096] vsize: 10916
Current children cumulated CPU time (s) 48.67
Current children cumulated vsize (Kb) 10916

[startup+60.0035 s]
Raw data (loadavg): 1.03 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 2534 0 0 0 5748 88 0 0 25 0 1 0 21035145 11415552 2130 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 2787 2130 364 364 0 2423 0
[pid=7096] vsize: 11148
Current children cumulated CPU time (s) 58.36
Current children cumulated vsize (Kb) 11148

[startup+70.0042 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 2732 0 0 0 6705 103 0 0 25 0 1 0 21035145 11816960 2328 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 2885 2328 364 364 0 2521 0
[pid=7096] vsize: 11540
Current children cumulated CPU time (s) 68.08
Current children cumulated vsize (Kb) 11540

[startup+80.0049 s]
Raw data (loadavg): 1.02 0.97 0.96 1/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 2900 0 0 0 7666 116 0 0 25 0 1 0 21035145 11939840 2496 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 2915 2496 364 364 0 2551 0
[pid=7096] vsize: 11660
Current children cumulated CPU time (s) 77.82
Current children cumulated vsize (Kb) 11660

[startup+90.0056 s]
Raw data (loadavg): 1.02 0.97 0.96 1/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 3140 0 0 0 8638 126 0 0 25 0 1 0 21035145 16527360 2736 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 4035 2736 364 364 0 3671 0
[pid=7096] vsize: 16140
Current children cumulated CPU time (s) 87.64
Current children cumulated vsize (Kb) 16140

[startup+100.006 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 3259 0 0 0 9606 137 0 0 25 0 1 0 21035145 16797696 2855 4294967295 134512640 135987407 3221224576 3221223264 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4101 2855 364 364 0 3737 0
[pid=7096] vsize: 16404
Current children cumulated CPU time (s) 97.43
Current children cumulated vsize (Kb) 16404

[startup+110.006 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 3730 0 0 0 10573 149 0 0 25 0 1 0 21035145 18513920 2941 4294967295 134512640 135987407 3221224576 3221223264 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4520 2941 364 364 0 4156 0
[pid=7096] vsize: 18080
Current children cumulated CPU time (s) 107.22
Current children cumulated vsize (Kb) 18080

[startup+120.007 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 3928 0 0 0 11540 161 0 0 25 0 1 0 21035145 18911232 3139 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4617 3139 364 364 0 4253 0
[pid=7096] vsize: 18468
Current children cumulated CPU time (s) 117.01
Current children cumulated vsize (Kb) 18468

[startup+130.006 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 4018 0 0 0 12519 168 0 0 25 0 1 0 21035145 19034112 3229 4294967295 134512640 135987407 3221224576 3221223324 134811686 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 4647 3229 364 364 0 4283 0
[pid=7096] vsize: 18588
Current children cumulated CPU time (s) 126.87
Current children cumulated vsize (Kb) 18588

[startup+140.007 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 4232 0 0 0 13496 177 0 0 25 0 1 0 21035145 19161088 3443 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 4678 3443 364 364 0 4314 0
[pid=7096] vsize: 18712
Current children cumulated CPU time (s) 136.73
Current children cumulated vsize (Kb) 18712

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 4469 0 0 0 14474 186 0 0 25 0 1 0 21035145 19443712 3680 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4747 3680 364 364 0 4383 0
[pid=7096] vsize: 18988
Current children cumulated CPU time (s) 146.6
Current children cumulated vsize (Kb) 18988

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 4715 0 0 0 15452 193 0 0 25 0 1 0 21035145 19558400 3926 4294967295 134512640 135987407 3221224576 3221223264 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4775 3926 364 364 0 4411 0
[pid=7096] vsize: 19100
Current children cumulated CPU time (s) 156.45
Current children cumulated vsize (Kb) 19100

[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 4982 0 0 0 16428 202 0 0 25 0 1 0 21035145 19886080 4193 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 4855 4193 364 364 0 4491 0
[pid=7096] vsize: 19420
Current children cumulated CPU time (s) 166.3
Current children cumulated vsize (Kb) 19420

[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 5250 0 0 0 17405 211 0 0 25 0 1 0 21035145 28594176 4461 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 6981 4461 364 364 0 6617 0
[pid=7096] vsize: 27924
Current children cumulated CPU time (s) 176.16
Current children cumulated vsize (Kb) 27924

[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 5459 0 0 0 18383 221 0 0 25 0 1 0 21035145 28852224 4670 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 7044 4670 364 364 0 6680 0
[pid=7096] vsize: 28176
Current children cumulated CPU time (s) 186.04
Current children cumulated vsize (Kb) 28176

[startup+200.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 5716 0 0 0 19360 230 0 0 25 0 1 0 21035145 29286400 4927 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 7150 4927 364 364 0 6786 0
[pid=7096] vsize: 28600
Current children cumulated CPU time (s) 195.9
Current children cumulated vsize (Kb) 28600

[startup+210.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 5808 0 0 0 20336 239 0 0 25 0 1 0 21035145 29548544 5019 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 7214 5019 364 364 0 6850 0
[pid=7096] vsize: 28856
Current children cumulated CPU time (s) 205.75
Current children cumulated vsize (Kb) 28856

[startup+220.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 5977 0 0 0 21316 247 0 0 25 0 1 0 21035145 29548544 5188 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 7214 5188 364 364 0 6850 0
[pid=7096] vsize: 28856
Current children cumulated CPU time (s) 215.63
Current children cumulated vsize (Kb) 28856

[startup+230.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 6206 0 0 0 22294 256 0 0 25 0 1 0 21035145 29835264 5417 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7284 5417 364 364 0 6920 0
[pid=7096] vsize: 29136
Current children cumulated CPU time (s) 225.5
Current children cumulated vsize (Kb) 29136

[startup+240.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 6415 0 0 0 23275 265 0 0 25 0 1 0 21035145 29970432 5626 4294967295 134512640 135987407 3221224576 3221223392 134816662 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7317 5626 364 364 0 6953 0
[pid=7096] vsize: 29268
Current children cumulated CPU time (s) 235.4
Current children cumulated vsize (Kb) 29268

[startup+250.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 6655 0 0 0 24258 271 0 0 25 0 1 0 21035145 30306304 5866 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7399 5866 364 364 0 7035 0
[pid=7096] vsize: 29596
Current children cumulated CPU time (s) 245.29
Current children cumulated vsize (Kb) 29596

[startup+260.013 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 6719 0 0 0 25241 277 0 0 25 0 1 0 21035145 30453760 5930 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7435 5930 364 364 0 7071 0
[pid=7096] vsize: 29740
Current children cumulated CPU time (s) 255.18
Current children cumulated vsize (Kb) 29740

[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 6949 0 0 0 26220 284 0 0 25 0 1 0 21035145 30756864 6160 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7509 6160 364 364 0 7145 0
[pid=7096] vsize: 30036
Current children cumulated CPU time (s) 265.04
Current children cumulated vsize (Kb) 30036

[startup+280.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7096
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 7074 0 0 0 27201 290 0 0 25 0 1 0 21035145 30920704 6285 4294967295 134512640 135987407 3221224576 3221223360 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 7549 6285 364 364 0 7185 0
[pid=7096] vsize: 30196
Current children cumulated CPU time (s) 274.91
Current children cumulated vsize (Kb) 30196

[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7151
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 7137 0 0 0 28182 296 0 0 25 0 1 0 21035145 31064064 6348 4294967295 134512640 135987407 3221224576 3221223264 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 7584 6348 364 364 0 7220 0
[pid=7096] vsize: 30336
Current children cumulated CPU time (s) 284.78
Current children cumulated vsize (Kb) 30336

[startup+300.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7151
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8061 0 0 0 29162 304 0 0 25 0 1 0 21035145 34402304 6503 4294967295 134512640 135987407 3221224576 3221223264 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 8399 6503 364 364 0 8035 0
[pid=7096] vsize: 33596
Current children cumulated CPU time (s) 294.66
Current children cumulated vsize (Kb) 33596

[startup+310.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7151
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8240 0 0 0 30143 312 0 0 25 0 1 0 21035145 34689024 6682 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 8469 6682 364 364 0 8105 0
[pid=7096] vsize: 33876
Current children cumulated CPU time (s) 304.55
Current children cumulated vsize (Kb) 33876

[startup+320.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7151
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8542 0 0 0 31124 320 0 0 25 0 1 0 21035145 35241984 6984 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 8604 6984 364 364 0 8240 0
[pid=7096] vsize: 34416
Current children cumulated CPU time (s) 314.44
Current children cumulated vsize (Kb) 34416

[startup+330.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7151
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8572 0 0 0 32106 326 0 0 25 0 1 0 21035145 35418112 7014 4294967295 134512640 135987407 3221224576 3221223296 134813811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 8647 7014 364 364 0 8283 0
[pid=7096] vsize: 34588
Current children cumulated CPU time (s) 324.32
Current children cumulated vsize (Kb) 34588

[startup+340.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7153
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8621 0 0 0 33082 334 0 0 25 0 1 0 21035145 35418112 7063 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8647 7063 364 364 0 8283 0
[pid=7096] vsize: 34588
Current children cumulated CPU time (s) 334.16
Current children cumulated vsize (Kb) 34588

[startup+350.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7153
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8723 0 0 0 34059 342 0 0 25 0 1 0 21035145 35852288 7165 4294967295 134512640 135987407 3221224576 3221223264 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 8753 7165 364 364 0 8389 0
[pid=7096] vsize: 35012
Current children cumulated CPU time (s) 344.01
Current children cumulated vsize (Kb) 35012

[startup+360.017 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 8766 0 0 0 35037 350 0 0 25 0 1 0 21035145 35991552 7208 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8787 7208 364 364 0 8423 0
[pid=7096] vsize: 35148
Current children cumulated CPU time (s) 353.87
Current children cumulated vsize (Kb) 35148

[startup+370.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8799 0 0 0 36017 357 0 0 25 0 1 0 21035145 35991552 7241 4294967295 134512640 135987407 3221224576 3221223296 134814134 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8787 7241 364 364 0 8423 0
[pid=7096] vsize: 35148
Current children cumulated CPU time (s) 363.74
Current children cumulated vsize (Kb) 35148

[startup+380.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8839 0 0 0 36999 364 0 0 25 0 1 0 21035145 36134912 7281 4294967295 134512640 135987407 3221224576 3221223056 134849943 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8822 7281 364 364 0 8458 0
[pid=7096] vsize: 35288
Current children cumulated CPU time (s) 373.63
Current children cumulated vsize (Kb) 35288

[startup+390.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8867 0 0 0 37979 370 0 0 25 0 1 0 21035145 36134912 7309 4294967295 134512640 135987407 3221224576 3221223264 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8822 7309 364 364 0 8458 0
[pid=7096] vsize: 35288
Current children cumulated CPU time (s) 383.49
Current children cumulated vsize (Kb) 35288

[startup+400.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 8953 0 0 0 38958 377 0 0 25 0 1 0 21035145 36388864 7395 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8884 7395 364 364 0 8520 0
[pid=7096] vsize: 35536
Current children cumulated CPU time (s) 393.35
Current children cumulated vsize (Kb) 35536

[startup+410.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 8988 0 0 0 39940 384 0 0 25 0 1 0 21035145 36503552 7430 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8912 7430 364 364 0 8548 0
[pid=7096] vsize: 35648
Current children cumulated CPU time (s) 403.24
Current children cumulated vsize (Kb) 35648

[startup+420.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9025 0 0 0 40921 391 0 0 25 0 1 0 21035145 36622336 7467 4294967295 134512640 135987407 3221224576 3221223392 134816697 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8941 7467 364 364 0 8577 0
[pid=7096] vsize: 35764
Current children cumulated CPU time (s) 413.12
Current children cumulated vsize (Kb) 35764

[startup+430.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9051 0 0 0 41906 396 0 0 25 0 1 0 21035145 36622336 7493 4294967295 134512640 135987407 3221224576 3221223392 134816504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 8941 7493 364 364 0 8577 0
[pid=7096] vsize: 35764
Current children cumulated CPU time (s) 423.02
Current children cumulated vsize (Kb) 35764

[startup+440.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9127 0 0 0 42888 402 0 0 25 0 1 0 21035145 36872192 7569 4294967295 134512640 135987407 3221224576 3221223392 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 9002 7569 364 364 0 8638 0
[pid=7096] vsize: 36008
Current children cumulated CPU time (s) 432.9
Current children cumulated vsize (Kb) 36008

[startup+450.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9161 0 0 0 43871 408 0 0 25 0 1 0 21035145 36872192 7603 4294967295 134512640 135987407 3221224576 3221223104 134775184 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 9002 7603 364 364 0 8638 0
[pid=7096] vsize: 36008
Current children cumulated CPU time (s) 442.79
Current children cumulated vsize (Kb) 36008

[startup+460.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9220 0 0 0 44853 414 0 0 25 0 1 0 21035145 37015552 7662 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9037 7662 364 364 0 8673 0
[pid=7096] vsize: 36148
Current children cumulated CPU time (s) 452.67
Current children cumulated vsize (Kb) 36148

[startup+470.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9251 0 0 0 45837 419 0 0 25 0 1 0 21035145 37130240 7693 4294967295 134512640 135987407 3221224576 3221223152 134932264 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9065 7693 364 364 0 8701 0
[pid=7096] vsize: 36260
Current children cumulated CPU time (s) 462.56
Current children cumulated vsize (Kb) 36260

[startup+480.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9295 0 0 0 46819 425 0 0 25 0 1 0 21035145 37289984 7737 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 9104 7737 364 364 0 8740 0
[pid=7096] vsize: 36416
Current children cumulated CPU time (s) 472.44
Current children cumulated vsize (Kb) 36416

[startup+490.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9373 0 0 0 47800 432 0 0 25 0 1 0 21035145 37695488 7815 4294967295 134512640 135987407 3221224576 3221223264 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9203 7815 364 364 0 8839 0
[pid=7096] vsize: 36812
Current children cumulated CPU time (s) 482.32
Current children cumulated vsize (Kb) 36812

[startup+500.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9478 0 0 0 48782 438 0 0 25 0 1 0 21035145 37965824 7920 4294967295 134512640 135987407 3221224576 3221223264 134812155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9269 7920 364 364 0 8905 0
[pid=7096] vsize: 37076
Current children cumulated CPU time (s) 492.2
Current children cumulated vsize (Kb) 37076

[startup+510.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9643 0 0 0 49765 445 0 0 25 0 1 0 21035145 38236160 8085 4294967295 134512640 135987407 3221224576 3221223152 134931871 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9335 8085 364 364 0 8971 0
[pid=7096] vsize: 37340
Current children cumulated CPU time (s) 502.1
Current children cumulated vsize (Kb) 37340

[startup+520.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9690 0 0 0 50749 450 0 0 25 0 1 0 21035145 38383616 8132 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9371 8132 364 364 0 9007 0
[pid=7096] vsize: 37484
Current children cumulated CPU time (s) 511.99
Current children cumulated vsize (Kb) 37484

[startup+530.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9778 0 0 0 51730 456 0 0 25 0 1 0 21035145 38383616 8220 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9371 8220 364 364 0 9007 0
[pid=7096] vsize: 37484
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (Kb) 37484

[startup+540.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 9922 0 0 0 52712 462 0 0 25 0 1 0 21035145 38498304 8364 4294967295 134512640 135987407 3221224576 3221223328 134801189 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 9399 8364 364 364 0 9035 0
[pid=7096] vsize: 37596
Current children cumulated CPU time (s) 531.74
Current children cumulated vsize (Kb) 37596

[startup+550.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 10083 0 0 0 53695 468 0 0 25 0 1 0 21035145 38756352 8525 4294967295 134512640 135987407 3221224576 3221223264 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 9462 8525 364 364 0 9098 0
[pid=7096] vsize: 37848
Current children cumulated CPU time (s) 541.63
Current children cumulated vsize (Kb) 37848

[startup+560.024 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 10192 0 0 0 54680 474 0 0 25 0 1 0 21035145 38891520 8634 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 9495 8634 364 364 0 9131 0
[pid=7096] vsize: 37980
Current children cumulated CPU time (s) 551.54
Current children cumulated vsize (Kb) 37980

[startup+570.024 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 10392 0 0 0 55667 479 0 0 25 0 1 0 21035145 56119296 8834 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13701 8834 364 364 0 13337 0
[pid=7096] vsize: 54804
Current children cumulated CPU time (s) 561.46
Current children cumulated vsize (Kb) 54804

[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 10484 0 0 0 56652 484 0 0 25 0 1 0 21035145 56119296 8926 4294967295 134512640 135987407 3221224576 3221223392 134815355 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13701 8926 364 364 0 13337 0
[pid=7096] vsize: 54804
Current children cumulated CPU time (s) 571.36
Current children cumulated vsize (Kb) 54804

[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 10621 0 0 0 57640 489 0 0 25 0 1 0 21035145 56119296 9063 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13701 9063 364 364 0 13337 0
[pid=7096] vsize: 54804
Current children cumulated CPU time (s) 581.29
Current children cumulated vsize (Kb) 54804

[startup+600.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 10768 0 0 0 58624 494 0 0 25 0 1 0 21035145 56373248 9210 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13763 9210 364 364 0 13399 0
[pid=7096] vsize: 55052
Current children cumulated CPU time (s) 591.18
Current children cumulated vsize (Kb) 55052

[startup+610.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 10919 0 0 0 59607 500 0 0 25 0 1 0 21035145 56373248 9361 4294967295 134512640 135987407 3221224576 3221223360 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13763 9361 364 364 0 13399 0
[pid=7096] vsize: 55052
Current children cumulated CPU time (s) 601.07
Current children cumulated vsize (Kb) 55052

[startup+620.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7157
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11050 0 0 0 60593 505 0 0 25 0 1 0 21035145 56537088 9492 4294967295 134512640 135987407 3221224576 3221223264 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13803 9492 364 364 0 13439 0
[pid=7096] vsize: 55212
Current children cumulated CPU time (s) 610.98
Current children cumulated vsize (Kb) 55212

[startup+630.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11239 0 0 0 61579 510 0 0 25 0 1 0 21035145 56930304 9681 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13899 9681 364 364 0 13535 0
[pid=7096] vsize: 55596
Current children cumulated CPU time (s) 620.89
Current children cumulated vsize (Kb) 55596

[startup+640.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11271 0 0 0 62564 514 0 0 25 0 1 0 21035145 57065472 9713 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 13932 9713 364 364 0 13568 0
[pid=7096] vsize: 55728
Current children cumulated CPU time (s) 630.78
Current children cumulated vsize (Kb) 55728

[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 11335 0 0 0 63547 519 0 0 25 0 1 0 21035145 57389056 9777 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 14011 9777 364 364 0 13647 0
[pid=7096] vsize: 56044
Current children cumulated CPU time (s) 640.66
Current children cumulated vsize (Kb) 56044

[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 11386 0 0 0 64528 525 0 0 25 0 1 0 21035145 57520128 9828 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 14043 9828 364 364 0 13679 0
[pid=7096] vsize: 56172
Current children cumulated CPU time (s) 650.53
Current children cumulated vsize (Kb) 56172

[startup+670.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11518 0 0 0 65513 530 0 0 25 0 1 0 21035145 57851904 9960 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 14124 9960 364 364 0 13760 0
[pid=7096] vsize: 56496
Current children cumulated CPU time (s) 660.43
Current children cumulated vsize (Kb) 56496

[startup+680.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11569 0 0 0 66498 535 0 0 25 0 1 0 21035145 57851904 10011 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14124 10011 364 364 0 13760 0
[pid=7096] vsize: 56496
Current children cumulated CPU time (s) 670.33
Current children cumulated vsize (Kb) 56496

[startup+690.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11702 0 0 0 67481 542 0 0 25 0 1 0 21035145 58011648 10144 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14163 10144 364 364 0 13799 0
[pid=7096] vsize: 56652
Current children cumulated CPU time (s) 680.23
Current children cumulated vsize (Kb) 56652

[startup+700.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11903 0 0 0 68463 550 0 0 25 0 1 0 21035145 58486784 10345 4294967295 134512640 135987407 3221224576 3221223360 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14279 10345 364 364 0 13915 0
[pid=7096] vsize: 57116
Current children cumulated CPU time (s) 690.13
Current children cumulated vsize (Kb) 57116

[startup+710.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 11950 0 0 0 69447 556 0 0 25 0 1 0 21035145 58621952 10392 4294967295 134512640 135987407 3221224576 3221223264 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14312 10392 364 364 0 13948 0
[pid=7096] vsize: 57248
Current children cumulated CPU time (s) 700.03
Current children cumulated vsize (Kb) 57248

[startup+720.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12009 0 0 0 70428 562 0 0 25 0 1 0 21035145 58892288 10451 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14378 10451 364 364 0 14014 0
[pid=7096] vsize: 57512
Current children cumulated CPU time (s) 709.9
Current children cumulated vsize (Kb) 57512

[startup+730.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12044 0 0 0 71414 567 0 0 25 0 1 0 21035145 59027456 10486 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14411 10486 364 364 0 14047 0
[pid=7096] vsize: 57644
Current children cumulated CPU time (s) 719.81
Current children cumulated vsize (Kb) 57644

[startup+740.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12074 0 0 0 72398 572 0 0 25 0 1 0 21035145 59027456 10516 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14411 10516 364 364 0 14047 0
[pid=7096] vsize: 57644
Current children cumulated CPU time (s) 729.7
Current children cumulated vsize (Kb) 57644

[startup+750.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12111 0 0 0 73385 577 0 0 25 0 1 0 21035145 59154432 10553 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14442 10553 364 364 0 14078 0
[pid=7096] vsize: 57768
Current children cumulated CPU time (s) 739.62
Current children cumulated vsize (Kb) 57768

[startup+760.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12184 0 0 0 74371 582 0 0 25 0 1 0 21035145 59277312 10626 4294967295 134512640 135987407 3221224576 3221223372 134801092 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14472 10626 364 364 0 14108 0
[pid=7096] vsize: 57888
Current children cumulated CPU time (s) 749.53
Current children cumulated vsize (Kb) 57888

[startup+770.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 12334 0 0 0 75357 588 0 0 25 0 1 0 21035145 59547648 10776 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 14538 10776 364 364 0 14174 0
[pid=7096] vsize: 58152
Current children cumulated CPU time (s) 759.45
Current children cumulated vsize (Kb) 58152

[startup+780.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14021 0 0 0 76336 598 0 0 25 0 1 0 21035145 65974272 10926 4294967295 134512640 135987407 3221224576 3221223296 134813796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 16107 10926 364 364 0 15743 0
[pid=7096] vsize: 64428
Current children cumulated CPU time (s) 769.34
Current children cumulated vsize (Kb) 64428

[startup+790.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14079 0 0 0 77320 603 0 0 25 0 1 0 21035145 66101248 10984 4294967295 134512640 135987407 3221224576 3221223264 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 16138 10984 364 364 0 15774 0
[pid=7096] vsize: 64552
Current children cumulated CPU time (s) 779.23
Current children cumulated vsize (Kb) 64552

[startup+800.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14110 0 0 0 78303 610 0 0 25 0 1 0 21035145 66101248 11015 4294967295 134512640 135987407 3221224576 3221223296 134813823 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16138 11015 364 364 0 15774 0
[pid=7096] vsize: 64552
Current children cumulated CPU time (s) 789.13
Current children cumulated vsize (Kb) 64552

[startup+810.031 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 14144 0 0 0 79290 614 0 0 25 0 1 0 21035145 66273280 11049 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16180 11049 364 364 0 15816 0
[pid=7096] vsize: 64720
Current children cumulated CPU time (s) 799.04
Current children cumulated vsize (Kb) 64720

[startup+820.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14281 0 0 0 80275 620 0 0 25 0 1 0 21035145 66273280 11186 4294967295 134512640 135987407 3221224576 3221223264 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16180 11186 364 364 0 15816 0
[pid=7096] vsize: 64720
Current children cumulated CPU time (s) 808.95
Current children cumulated vsize (Kb) 64720

[startup+830.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14393 0 0 0 81259 626 0 0 25 0 1 0 21035145 66543616 11298 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16246 11298 364 364 0 15882 0
[pid=7096] vsize: 64984
Current children cumulated CPU time (s) 818.85
Current children cumulated vsize (Kb) 64984

[startup+840.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14515 0 0 0 82244 631 0 0 25 0 1 0 21035145 66682880 11420 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 16280 11420 364 364 0 15916 0
[pid=7096] vsize: 65120
Current children cumulated CPU time (s) 828.75
Current children cumulated vsize (Kb) 65120

[startup+850.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14598 0 0 0 83231 635 0 0 25 0 1 0 21035145 66682880 11503 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16280 11503 364 364 0 15916 0
[pid=7096] vsize: 65120
Current children cumulated CPU time (s) 838.66
Current children cumulated vsize (Kb) 65120

[startup+860.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14695 0 0 0 84216 641 0 0 25 0 1 0 21035145 66801664 11600 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16309 11600 364 364 0 15945 0
[pid=7096] vsize: 65236
Current children cumulated CPU time (s) 848.57
Current children cumulated vsize (Kb) 65236

[startup+870.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 14857 0 0 0 85204 645 0 0 25 0 1 0 21035145 66801664 11762 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16309 11762 364 364 0 15945 0
[pid=7096] vsize: 65236
Current children cumulated CPU time (s) 858.49
Current children cumulated vsize (Kb) 65236

[startup+880.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15010 0 0 0 86188 651 0 0 25 0 1 0 21035145 66945024 11915 4294967295 134512640 135987407 3221224576 3221223296 134813836 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16344 11915 364 364 0 15980 0
[pid=7096] vsize: 65376
Current children cumulated CPU time (s) 868.39
Current children cumulated vsize (Kb) 65376

[startup+890.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15169 0 0 0 87174 657 0 0 25 0 1 0 21035145 67059712 12074 4294967295 134512640 135987407 3221224576 3221223360 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16372 12074 364 364 0 16008 0
[pid=7096] vsize: 65488
Current children cumulated CPU time (s) 878.31
Current children cumulated vsize (Kb) 65488

[startup+900.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15348 0 0 0 88160 662 0 0 25 0 1 0 21035145 67194880 12253 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16405 12253 364 364 0 16041 0
[pid=7096] vsize: 65620
Current children cumulated CPU time (s) 888.22
Current children cumulated vsize (Kb) 65620

[startup+910.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15532 0 0 0 89145 668 0 0 25 0 1 0 21035145 67375104 12437 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16449 12437 364 364 0 16085 0
[pid=7096] vsize: 65796
Current children cumulated CPU time (s) 898.13
Current children cumulated vsize (Kb) 65796

[startup+920.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15635 0 0 0 90132 672 0 0 25 0 1 0 21035145 67510272 12540 4294967295 134512640 135987407 3221224576 3221223296 134813852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16482 12540 364 364 0 16118 0
[pid=7096] vsize: 65928
Current children cumulated CPU time (s) 908.04
Current children cumulated vsize (Kb) 65928

[startup+930.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15809 0 0 0 91120 676 0 0 25 0 1 0 21035145 67645440 12714 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16515 12714 364 364 0 16151 0
[pid=7096] vsize: 66060
Current children cumulated CPU time (s) 917.96
Current children cumulated vsize (Kb) 66060

[startup+940.035 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 15945 0 0 0 92105 682 0 0 25 0 1 0 21035145 67919872 12850 4294967295 134512640 135987407 3221224576 3221223072 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16582 12850 364 364 0 16218 0
[pid=7096] vsize: 66328
Current children cumulated CPU time (s) 927.87
Current children cumulated vsize (Kb) 66328

[startup+950.035 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16079 0 0 0 93090 686 0 0 25 0 1 0 21035145 68055040 12984 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16615 12984 364 364 0 16251 0
[pid=7096] vsize: 66460
Current children cumulated CPU time (s) 937.76
Current children cumulated vsize (Kb) 66460

[startup+960.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16323 0 0 0 94070 694 0 0 25 0 1 0 21035145 68739072 13228 4294967295 134512640 135987407 3221224576 3221223296 134814142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16782 13228 364 364 0 16418 0
[pid=7096] vsize: 67128
Current children cumulated CPU time (s) 947.64
Current children cumulated vsize (Kb) 67128

[startup+970.035 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16358 0 0 0 95056 700 0 0 25 0 1 0 21035145 68739072 13263 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16782 13263 364 364 0 16418 0
[pid=7096] vsize: 67128
Current children cumulated CPU time (s) 957.56
Current children cumulated vsize (Kb) 67128

[startup+980.035 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16399 0 0 0 96041 706 0 0 25 0 1 0 21035145 68853760 13304 4294967295 134512640 135987407 3221224576 3221223364 134801317 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16810 13304 364 364 0 16446 0
[pid=7096] vsize: 67240
Current children cumulated CPU time (s) 967.47
Current children cumulated vsize (Kb) 67240

[startup+990.035 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16535 0 0 0 97024 712 0 0 25 0 1 0 21035145 69513216 13440 4294967295 134512640 135987407 3221224576 3221223296 134813829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 16971 13440 364 364 0 16607 0
[pid=7096] vsize: 67884
Current children cumulated CPU time (s) 977.36
Current children cumulated vsize (Kb) 67884

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16550 0 0 0 98010 717 0 0 25 0 1 0 21035145 69513216 13455 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 16971 13455 364 364 0 16607 0
[pid=7096] vsize: 67884
Current children cumulated CPU time (s) 987.27
Current children cumulated vsize (Kb) 67884

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 16577 0 0 0 98995 723 0 0 25 0 1 0 21035145 69513216 13482 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 16971 13482 364 364 0 16607 0
[pid=7096] vsize: 67884
Current children cumulated CPU time (s) 997.18
Current children cumulated vsize (Kb) 67884

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16606 0 0 0 99981 728 0 0 25 0 1 0 21035145 69648384 13511 4294967295 134512640 135987407 3221224576 3221223264 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17004 13511 364 364 0 16640 0
[pid=7096] vsize: 68016
Current children cumulated CPU time (s) 1007.09
Current children cumulated vsize (Kb) 68016

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16629 0 0 0 100967 733 0 0 25 0 1 0 21035145 69648384 13534 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17004 13534 364 364 0 16640 0
[pid=7096] vsize: 68016
Current children cumulated CPU time (s) 1017
Current children cumulated vsize (Kb) 68016

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 16667 0 0 0 101955 738 0 0 25 0 1 0 21035145 69783552 13572 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17037 13572 364 364 0 16673 0
[pid=7096] vsize: 68148
Current children cumulated CPU time (s) 1026.93
Current children cumulated vsize (Kb) 68148

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16684 0 0 0 102938 743 0 0 25 0 1 0 21035145 69783552 13589 4294967295 134512640 135987407 3221224576 3221223264 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17037 13589 364 364 0 16673 0
[pid=7096] vsize: 68148
Current children cumulated CPU time (s) 1036.81
Current children cumulated vsize (Kb) 68148

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16726 0 0 0 103924 747 0 0 25 0 1 0 21035145 69906432 13631 4294967295 134512640 135987407 3221224576 3221223264 134788877 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17067 13631 364 364 0 16703 0
[pid=7096] vsize: 68268
Current children cumulated CPU time (s) 1046.71
Current children cumulated vsize (Kb) 68268

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16745 0 0 0 104912 751 0 0 25 0 1 0 21035145 70037504 13650 4294967295 134512640 135987407 3221224576 3221223392 134824468 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17099 13650 364 364 0 16735 0
[pid=7096] vsize: 68396
Current children cumulated CPU time (s) 1056.63
Current children cumulated vsize (Kb) 68396

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16770 0 0 0 105900 755 0 0 25 0 1 0 21035145 70037504 13675 4294967295 134512640 135987407 3221224576 3221223264 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17099 13675 364 364 0 16735 0
[pid=7096] vsize: 68396
Current children cumulated CPU time (s) 1066.55
Current children cumulated vsize (Kb) 68396

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16815 0 0 0 106886 761 0 0 25 0 1 0 21035145 70148096 13720 4294967295 134512640 135987407 3221224576 3221223296 134814120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17126 13720 364 364 0 16762 0
[pid=7096] vsize: 68504
Current children cumulated CPU time (s) 1076.47
Current children cumulated vsize (Kb) 68504

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16942 0 0 0 107871 767 0 0 25 0 1 0 21035145 70672384 13847 4294967295 134512640 135987407 3221224576 3221223392 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17254 13847 364 364 0 16890 0
[pid=7096] vsize: 69016
Current children cumulated CPU time (s) 1086.38
Current children cumulated vsize (Kb) 69016

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16969 0 0 0 108858 771 0 0 25 0 1 0 21035145 70672384 13874 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17254 13874 364 364 0 16890 0
[pid=7096] vsize: 69016
Current children cumulated CPU time (s) 1096.29
Current children cumulated vsize (Kb) 69016

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 16992 0 0 0 109845 775 0 0 25 0 1 0 21035145 70836224 13897 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17294 13897 364 364 0 16930 0
[pid=7096] vsize: 69176
Current children cumulated CPU time (s) 1106.2
Current children cumulated vsize (Kb) 69176

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17122 0 0 0 110826 783 0 0 25 0 1 0 21035145 71237632 14027 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 17392 14027 364 364 0 17028 0
[pid=7096] vsize: 69568
Current children cumulated CPU time (s) 1116.09
Current children cumulated vsize (Kb) 69568

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 17149 0 0 0 111813 787 0 0 25 0 1 0 21035145 71237632 14054 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7096/statm): 17392 14054 364 364 0 17028 0
[pid=7096] vsize: 69568
Current children cumulated CPU time (s) 1126
Current children cumulated vsize (Kb) 69568

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17170 0 0 0 112799 792 0 0 25 0 1 0 21035145 71356416 14075 4294967295 134512640 135987407 3221224576 3221223392 134816541 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 17421 14075 364 364 0 17057 0
[pid=7096] vsize: 69684
Current children cumulated CPU time (s) 1135.91
Current children cumulated vsize (Kb) 69684

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17196 0 0 0 113782 799 0 0 25 0 1 0 21035145 71356416 14101 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7096/statm): 17421 14101 364 364 0 17057 0
[pid=7096] vsize: 69684
Current children cumulated CPU time (s) 1145.81
Current children cumulated vsize (Kb) 69684

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 17216 0 0 0 114771 804 0 0 25 0 1 0 21035145 71356416 14121 4294967295 134512640 135987407 3221224576 3221223340 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17421 14121 364 364 0 17057 0
[pid=7096] vsize: 69684
Current children cumulated CPU time (s) 1155.75
Current children cumulated vsize (Kb) 69684

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) T 7095 7096 4005 0 -1 0 17236 0 0 0 115755 810 0 0 25 0 1 0 21035145 71356416 14141 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17421 14141 364 364 0 17057 0
[pid=7096] vsize: 69684
Current children cumulated CPU time (s) 1165.65
Current children cumulated vsize (Kb) 69684

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17264 0 0 0 116738 815 0 0 25 0 1 0 21035145 71475200 14169 4294967295 134512640 135987407 3221224576 3221223136 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17450 14169 364 364 0 17086 0
[pid=7096] vsize: 69800
Current children cumulated CPU time (s) 1175.53
Current children cumulated vsize (Kb) 69800

[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17300 0 0 0 117725 819 0 0 25 0 1 0 21035145 71475200 14205 4294967295 134512640 135987407 3221224576 3221223296 134814131 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17450 14205 364 364 0 17086 0
[pid=7096] vsize: 69800
Current children cumulated CPU time (s) 1185.44
Current children cumulated vsize (Kb) 69800

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17318 0 0 0 118713 824 0 0 25 0 1 0 21035145 71598080 14223 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17480 14223 364 364 0 17116 0
[pid=7096] vsize: 69920
Current children cumulated CPU time (s) 1195.37
Current children cumulated vsize (Kb) 69920

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17363 0 0 0 119700 828 0 0 25 0 1 0 21035145 71733248 14268 4294967295 134512640 135987407 3221224576 3221223360 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17513 14268 364 364 0 17149 0
[pid=7096] vsize: 70052
Current children cumulated CPU time (s) 1205.28
Current children cumulated vsize (Kb) 70052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 7159
Raw data (/proc/7096/stat): 7096 (pb2sat) R 7095 7096 4005 0 -1 0 17363 0 0 0 119700 828 0 0 25 0 1 0 21035145 71733248 14268 4294967295 134512640 135987407 3221224576 3221223328 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7096/statm): 17513 14268 364 364 0 17149 0
[pid=7096] vsize: 70052
Current children cumulated CPU time (s) 1205.28
Current children cumulated vsize (Kb) 70052

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

Child status: 0
Real time (s): 1220.17
CPU time (s): 1205.41
CPU user time (s): 1197.1
CPU system time (s): 8.31674
CPU usage (%): 98.7906
Max. virtual memory (cumulated for all children) (Kb): 70052

Verifier Data

ERROR: no interpretation found !