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-2-c.opb
MD5SUM40e47c460002545cc2670ca84fd53082
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 2606
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 2606
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 2606
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 variables2606
Total number of constraints6509
Number of constraints which are clauses6509
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 9776

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 15:01:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8432 boxname=wulflinc9 idbench=228 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc9/normalized-par32-2-c.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-par32-2-c.opb
IDLAUNCH: 8432
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        917368 kB
Buffers:         12164 kB
Cached:          88068 kB
SwapCached:          0 kB
Active:          51800 kB
Inactive:        51300 kB
HighTotal:      131008 kB
HighFree:        39900 kB
LowTotal:       903652 kB
LowFree:        877468 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8764 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:22:02 (client local time) WITH STATUS 0 IN 1203.23 SECONDS
stats: 8432 7 1203.23 0

Solver Data

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

c Decision: 14/2618	Time: 7.9118/86400
c Decision: 14/2618	Time: 8.65668/86400
c Decision: 14/2618	Time: 9.65653/86400
c Decision: 14/2618	Time: 10.6104/86400
c Decision: 14/2618	Time: 11.6462/86400
c Decision: 14/2618	Time: 12.6411/86400
c Decision: 14/2618	Time: 13.47/86400
c Decision: 14/2618	Time: 14.4748/86400
c Decision: 14/2618	Time: 15.4387/86400
c Decision: 14/2618	Time: 16.3535/86400
c Decision: 14/2618	Time: 17.3234/86400
c Decision: 14/2618	Time: 18.4352/86400
c Decision: 14/2618	Time: 19.524/86400
c Decision: 14/2618	Time: 20.7648/86400
c Decision: 14/2618	Time: 21.9097/86400
c Decision: 14/2618	Time: 23.0375/86400
c Decision: 14/2618	Time: 23.9854/86400
c Decision: 14/2618	Time: 25.1202/86400
c Decision: 14/2618	Time: 26.208/86400
c Decision: 14/2618	Time: 27.2009/86400
c Decision: 14/2618	Time: 28.6686/86400
c Decision: 14/2618	Time: 29.7915/86400
c Decision: 14/2618	Time: 30.7973/86400
c Decision: 14/2618	Time: 32.0681/86400
c Decision: 14/2618	Time: 33.132/86400
c Decision: 14/2618	Time: 34.3658/86400
c Decision: 14/2618	Time: 35.3966/86400
c Decision: 14/2618	Time: 36.5104/86400
c Decision: 14/2618	Time: 37.5873/86400
c Decision: 14/2618	Time: 38.9301/86400
c Decision: 14/2618	Time: 39.9909/86400
c Decision: 14/2618	Time: 41.1857/86400
c Decision: 14/2618	Time: 42.3156/86400
c Decision: 14/2618	Time: 43.1324/86400
c Decision: 14/2618	Time: 44.1853/86400
c Decision: 14/2618	Time: 45.0961/86400
c Decision: 14/2618	Time: 46.103/86400
c Decision: 14/2618	Time: 47.3688/86400
c Decision: 14/2618	Time: 48.4586/86400
c Decision: 14/2618	Time: 49.8914/86400
c Decision: 14/2618	Time: 50.9813/86400
c Decision: 14/2618	Time: 52.422/86400
c Decision: 14/2618	Time: 53.7628/86400
c Decision: 14/2618	Time: 55.1726/86400
c Decision: 14/2618	Time: 56.4614/86400
c Decision: 14/2618	Time: 57.7392/86400
c Decision: 14/2618	Time: 59.168/86400
c Decision: 14/2618	Time: 60.5868/86400
c Decision: 14/2618	Time: 61.8386/86400
c Decision: 14/2618	Time: 63.1714/86400
c Decision: 14/2618	Time: 64.5252/86400
c Decision: 14/2618	Time: 66.003/86400
c Decision: 14/2618	Time: 67.3798/86400
c Decision: 14/2618	Time: 68.9325/86400
c Decision: 14/2618	Time: 70.3533/86400
c Decision: 14/2618	Time: 71.6161/86400
c Decision: 14/2618	Time: 73.0539/86400
c Decision: 14/2618	Time: 74.7286/86400
c Decision: 14/2618	Time: 76.1694/86400
c Decision: 14/2618	Time: 77.6902/86400
c Decision: 14/2618	Time: 79.1/86400
c Decision: 14/2618	Time: 80.6247/86400
c Decision: 14/2618	Time: 82.0365/86400
c Decision: 14/2618	Time: 83.5033/86400
c Decision: 14/2618	Time: 84.9181/86400
c Decision: 14/2618	Time: 86.5778/86400
c Decision: 14/2618	Time: 88.1256/86400
c Decision: 14/2618	Time: 89.7913/86400
c Decision: 14/2618	Time: 91.3681/86400
c Decision: 14/2618	Time: 92.4449/86400
c Decision: 14/2618	Time: 94.0937/86400
c Decision: 14/2618	Time: 95.6825/86400
c Decision: 14/2618	Time: 97.3712/86400
c Decision: 14/2618	Time: 98.979/86400
c Decision: 14/2618	Time: 100.86/86400
c Decision: 14/2618	Time: 102.38/86400
c Decision: 14/2618	Time: 103.808/86400
c Decision: 14/2618	Time: 105.484/86400
c Decision: 14/2618	Time: 107/86400
c Decision: 14/2618	Time: 108.715/86400
c Decision: 14/2618	Time: 110.237/86400
c Decision: 14/2618	Time: 111.863/86400
c Decision: 14/2618	Time: 113.185/86400
c Decision: 14/2618	Time: 114.731/86400
c Decision: 14/2618	Time: 116.476/86400
c Decision: 14/2618	Time: 118.426/86400
c Decision: 14/2618	Time: 120.105/86400
c Decision: 14/2618	Time: 121.887/86400
c Decision: 14/2618	Time: 123.506/86400
c Decision: 14/2618	Time: 125.146/86400
c Decision: 14/2618	Time: 126.897/86400
c Decision: 14/2618	Time: 128.469/86400
c Decision: 14/2618	Time: 130.078/86400
c Decision: 14/2618	Time: 131.923/86400
c Decision: 14/2618	Time: 133.47/86400
c Decision: 14/2618	Time: 135.121/86400
c Decision: 14/2618	Time: 136.84/86400
c Decision: 14/2618	Time: 138.524/86400
c Decision: 14/2618	Time: 140.061/86400
c Decision: 14/2618	Time: 141.844/86400
c Decision: 14/2618	Time: 143.847/86400
c Decision: 14/2618	Time: 145.466/86400
c Decision: 14/2618	Time: 147.141/86400
c Decision: 14/2618	Time: 149.014/86400
c Decision: 14/2618	Time: 150.975/86400
c Decision: 14/2618	Time: 152.75/86400
c Decision: 14/2618	Time: 154.168/86400
c Decision: 14/2618	Time: 155.706/86400
c Decision: 14/2618	Time: 157.557/86400
c Decision: 14/2618	Time: 159.187/86400
c Decision: 14/2618	Time: 161.012/86400
c Decision: 14/2618	Time: 162.339/86400
c Decision: 14/2618	Time: 163.949/86400
c Decision: 14/2618	Time: 165.632/86400
c Decision: 14/2618	Time: 167.312/86400
c Decision: 14/2618	Time: 168.85/86400
c Decision: 14/2618	Time: 170.612/86400
c Decision: 14/2618	Time: 172.585/86400
c Decision: 14/2618	Time: 174.548/86400
c Decision: 14/2618	Time: 176.641/86400
c Decision: 14/2618	Time: 178.766/86400
c Decision: 14/2618	Time: 180.661/86400
c Decision: 14/2618	Time: 182.415/86400
c Decision: 14/2618	Time: 184.359/86400
c Decision: 14/2618	Time: 186.435/86400
c Decision: 14/2618	Time: 188.691/86400
c Decision: 14/2618	Time: 190.48/86400
c Decision: 14/2618	Time: 192.478/86400
c Decision: 14/2618	Time: 194.343/86400
c Decision: 14/2618	Time: 196.1/86400
c Decision: 14/2618	Time: 197.885/86400
c Decision: 14/2618	Time: 199.763/86400
c Decision: 14/2618	Time: 201.92/86400
c Decision: 14/2618	Time: 203.761/86400
c Decision: 14/2618	Time: 205.592/86400
c Decision: 14/2618	Time: 207.791/86400
c Decision: 14/2618	Time: 209.61/86400
c Decision: 14/2618	Time: 211.432/86400
c Decision: 14/2618	Time: 213.503/86400
c Decision: 14/2618	Time: 215.633/86400
c Decision: 14/2618	Time: 217.541/86400
c Decision: 14/2618	Time: 219.409/86400
c Decision: 14/2618	Time: 221.39/86400
c Decision: 14/2618	Time: 223.257/86400
c Decision: 14/2618	Time: 225.287/86400
c Decision: 14/2618	Time: 227.363/86400
c Decision: 14/2618	Time: 229.26/86400
c Decision: 14/2618	Time: 231.12/86400
c Decision: 14/2618	Time: 233.105/86400
c Decision: 14/2618	Time: 234.983/86400
c Decision: 14/2618	Time: 237.088/86400
c Decision: 14/2618	Time: 238.967/86400
c Decision: 14/2618	Time: 240.863/86400
c Decision: 14/2618	Time: 242.914/86400
c Decision: 14/2618	Time: 244.864/86400
c Decision: 14/2618	Time: 246.844/86400
c Decision: 14/2618	Time: 248.735/86400
c Decision: 14/2618	Time: 250.713/86400
c Decision: 14/2618	Time: 252.346/86400
c Decision: 14/2618	Time: 254.443/86400
c Decision: 14/2618	Time: 256.551/86400
c Decision: 14/2618	Time: 258.598/86400
c Decision: 14/2618	Time: 260.36/86400
c Decision: 14/2618	Time: 262.428/86400
c Decision: 14/2618	Time: 264.537/86400
c Decision: 14/2618	Time: 266.749/86400
c Decision: 14/2618	Time: 268.895/86400
c Decision: 14/2618	Time: 270.637/86400
c Decision: 14/2618	Time: 272.668/86400
c Decision: 14/2618	Time: 274.799/86400
c Decision: 14/2618	Time: 276.887/86400
c Decision: 14/2618	Time: 278.807/86400
c Decision: 14/2618	Time: 280.649/86400
c Decision: 14/2618	Time: 282.601/86400
c Decision: 14/2618	Time: 284.446/86400
c Decision: 14/2618	Time: 286.712/86400
c Decision: 14/2618	Time: 288.675/86400
c Decision: 14/2618	Time: 290.908/86400
c Decision: 14/2618	Time: 292.997/86400
c Decision: 14/2618	Time: 295.135/86400
c Decision: 14/2618	Time: 297.085/86400
c Decision: 14/2618	Time: 299.253/86400
c Decision: 14/2618	Time: 301.277/86400
c Decision: 14/2618	Time: 303.184/86400
c Decision: 14/2618	Time: 305.29/86400
c Decision: 14/2618	Time: 307.715/86400
c Decision: 14/2618	Time: 309.896/86400
c Decision: 14/2618	Time: 311.877/86400
c Decision: 14/2618	Time: 313.588/86400
c Decision: 14/2618	Time: 315.863/86400
c Decision: 14/2618	Time: 318.098/86400
c Decision: 14/2618	Time: 320.402/86400
c Decision: 14/2618	Time: 322.488/86400
c Decision: 14/2618	Time: 324.404/86400
c Decision: 14/2618	Time: 326.625/86400
c Decision: 14/2618	Time: 329.19/86400
c Decision: 14/2618	Time: 331.126/86400
c Decision: 14/2618	Time: 333.104/86400
c Decision: 14/2618	Time: 335.185/86400
c Decision: 14/2618	Time: 337.467/86400
c Decision: 14/2618	Time: 339.714/86400
c Decision: 14/2618	Time: 341.899/86400
c Decision: 14/2618	Time: 343.917/86400
c Decision: 14/2618	Time: 345.931/86400
c Decision: 14/2618	Time: 348.037/86400
c Decision: 14/2618	Time: 350.406/86400
c Decision: 14/2618	Time: 352.628/86400
c Decision: 14/2618	Time: 354.482/86400
c Decision: 14/2618	Time: 356.879/86400
c Decision: 14/2618	Time: 359.22/86400
c Decision: 14/2618	Time: 361.235/86400
c Decision: 14/2618	Time: 363.372/86400
c Decision: 14/2618	Time: 365.565/86400
c Decision: 14/2618	Time: 367.931/86400
c Decision: 14/2618	Time: 370.071/86400
c Decision: 14/2618	Time: 372.464/86400
c Decision: 14/2618	Time: 374.99/86400
c Decision: 14/2618	Time: 377.53/86400
c Decision: 14/2618	Time: 379.71/86400
c Decision: 14/2618	Time: 381.946/86400
c Decision: 14/2618	Time: 384.214/86400
c Decision: 14/2618	Time: 386.512/86400
c Decision: 14/2618	Time: 388.837/86400
c Decision: 14/2618	Time: 391.288/86400
c Decision: 14/2618	Time: 393.439/86400
c Decision: 14/2618	Time: 395.62/86400
c Decision: 14/2618	Time: 397.821/86400
c Decision: 14/2618	Time: 400.196/86400
c Decision: 14/2618	Time: 402.246/86400
c Decision: 14/2618	Time: 404.422/86400
c Decision: 14/2618	Time: 406.861/86400
c Decision: 14/2618	Time: 409.088/86400
c Decision: 14/2618	Time: 411.633/86400
c Decision: 14/2618	Time: 413.976/86400
c Decision: 14/2618	Time: 416.284/86400
c Decision: 14/2618	Time: 418.92/86400
c Decision: 14/2618	Time: 421.243/86400
c Decision: 14/2618	Time: 423.784/86400
c Decision: 14/2618	Time: 426.076/86400
c Decision: 14/2618	Time: 427.979/86400
c Decision: 14/2618	Time: 430.001/86400
c Decision: 14/2618	Time: 432.252/86400
c Decision: 14/2618	Time: 434.489/86400
c Decision: 14/2618	Time: 436.519/86400
c Decision: 14/2618	Time: 438.869/86400
c Decision: 14/2618	Time: 441.678/86400
c Decision: 14/2618	Time: 443.824/86400
c Decision: 14/2618	Time: 446.002/86400
c Decision: 14/2618	Time: 447.857/86400
c Decision: 14/2618	Time: 450.068/86400
c Decision: 14/2618	Time: 452.755/86400
c Decision: 14/2618	Time: 454.773/86400
c Decision: 14/2618	Time: 456.858/86400
c Decision: 14/2618	Time: 459.551/86400
c Decision: 14/2618	Time: 461.842/86400
c Decision: 14/2618	Time: 464.691/86400
c Decision: 14/2618	Time: 467.011/86400
c Decision: 14/2618	Time: 469.165/86400
c Decision: 14/2618	Time: 471.378/86400
c Decision: 14/2618	Time: 473.704/86400
c Decision: 14/2618	Time: 476.512/86400
c Decision: 14/2618	Time: 478.803/86400
c Decision: 14/2618	Time: 481.422/86400
c Decision: 14/2618	Time: 483.965/86400
c Decision: 14/2618	Time: 486.419/86400
c Decision: 14/2618	Time: 489.082/86400
c Decision: 14/2618	Time: 491.41/86400
c Decision: 14/2618	Time: 494.025/86400
c Decision: 14/2618	Time: 496.354/86400
c Decision: 14/2618	Time: 498.851/86400
c Decision: 14/2618	Time: 501.298/86400
c Decision: 14/2618	Time: 503.729/86400
c Decision: 14/2618	Time: 506.164/86400
c Decision: 14/2618	Time: 508.553/86400
c Decision: 14/2618	Time: 510.832/86400
c Decision: 14/2618	Time: 513.723/86400
c Decision: 14/2618	Time: 516.233/86400
c Decision: 14/2618	Time: 518.568/86400
c Decision: 14/2618	Time: 521.156/86400
c Decision: 14/2618	Time: 523.389/86400
c Decision: 14/2618	Time: 525.84/86400
c Decision: 14/2618	Time: 528.516/86400
c Decision: 14/2618	Time: 531.029/86400
c Decision: 14/2618	Time: 533.802/86400
c Decision: 14/2618	Time: 536.553/86400
c Decision: 14/2618	Time: 539.239/86400
c Decision: 14/2618	Time: 541.85/86400
c Decision: 14/2618	Time: 544.271/86400
c Decision: 14/2618	Time: 546.925/86400
c Decision: 14/2618	Time: 549.391/86400
c Decision: 14/2618	Time: 552.317/86400
c Decision: 14/2618	Time: 554.821/86400
c Decision: 14/2618	Time: 557.825/86400
c Decision: 14/2618	Time: 560.46/86400
c Decision: 14/2618	Time: 563.07/86400
c Decision: 14/2618	Time: 565.981/86400
c Decision: 14/2618	Time: 568.478/86400
c Decision: 14/2618	Time: 570.958/86400
c Decision: 14/2618	Time: 573.641/86400
c Decision: 14/2618	Time: 576.746/86400
c Decision: 14/2618	Time: 579.921/86400
c Decision: 14/2618	Time: 582.678/86400
c Decision: 14/2618	Time: 584.689/86400
c Decision: 14/2618	Time: 587.343/86400
c Decision: 14/2618	Time: 589.764/86400
c Decision: 14/2618	Time: 592.826/86400
c Decision: 14/2618	Time: 595.56/86400
c Decision: 14/2618	Time: 597.978/86400
c Decision: 14/2618	Time: 600.65/86400
c Decision: 14/2618	Time: 603.389/86400
c Decision: 14/2618	Time: 606.277/86400
c Decision: 14/2618	Time: 608.942/86400
c Decision: 14/2618	Time: 611.612/86400
c Decision: 14/2618	Time: 614.254/86400
c Decision: 14/2618	Time: 616.909/86400
c Decision: 14/2618	Time: 619.933/86400
c Decision: 14/2618	Time: 622.558/86400
c Decision: 14/2618	Time: 625.165/86400
c Decision: 14/2618	Time: 627.796/86400
c Decision: 14/2618	Time: 630.591/86400
c Decision: 14/2618	Time: 633.749/86400
c Decision: 14/2618	Time: 636.119/86400
c Decision: 14/2618	Time: 639.236/86400
c Decision: 14/2618	Time: 642.098/86400
c Decision: 14/2618	Time: 645.098/86400
c Decision: 14/2618	Time: 648.315/86400
c Decision: 14/2618	Time: 651.144/86400
c Decision: 14/2618	Time: 654.147/86400
c Decision: 14/2618	Time: 656.816/86400
c Decision: 14/2618	Time: 659.133/86400
c Decision: 14/2618	Time: 662.128/86400
c Decision: 14/2618	Time: 664.724/86400
c Decision: 14/2618	Time: 667.152/86400
c Decision: 14/2618	Time: 669.915/86400
c Decision: 14/2618	Time: 672.686/86400
c Decision: 14/2618	Time: 676.052/86400
c Decision: 14/2618	Time: 678.752/86400
c Decision: 14/2618	Time: 681.055/86400
c Decision: 14/2618	Time: 683.528/86400
c Decision: 14/2618	Time: 686.271/86400
c Decision: 14/2618	Time: 689.178/86400
c Decision: 14/2618	Time: 691.845/86400
c Decision: 14/2618	Time: 694.616/86400
c Decision: 14/2618	Time: 697.489/86400
c Decision: 14/2618	Time: 700.327/86400
c Decision: 14/2618	Time: 703.385/86400
c Decision: 14/2618	Time: 706.482/86400
c Decision: 14/2618	Time: 708.851/86400
c Decision: 14/2618	Time: 711.791/86400
c Decision: 14/2618	Time: 714.471/86400
c Decision: 14/2618	Time: 717.707/86400
c Decision: 14/2618	Time: 720.418/86400
c Decision: 14/2618	Time: 723.17/86400
c Decision: 14/2618	Time: 725.928/86400
c Decision: 14/2618	Time: 729.404/86400
c Decision: 14/2618	Time: 732.768/86400
c Decision: 14/2618	Time: 735.821/86400
c Decision: 14/2618	Time: 738.546/86400
c Decision: 14/2618	Time: 741.126/86400
c Decision: 14/2618	Time: 743.855/86400
c Decision: 14/2618	Time: 746.984/86400
c Decision: 14/2618	Time: 749.738/86400
c Decision: 14/2618	Time: 752.519/86400
c Decision: 14/2618	Time: 755.266/86400
c Decision: 14/2618	Time: 758.592/86400
c Decision: 14/2618	Time: 761.117/86400
c Decision: 14/2618	Time: 764.019/86400
c Decision: 14/2618	Time: 766.762/86400
c Decision: 14/2618	Time: 769.323/86400
c Decision: 14/2618	Time: 771.622/86400
c Decision: 14/2618	Time: 774.506/86400
c Decision: 14/2618	Time: 777.337/86400
c Decision: 14/2618	Time: 780.4/86400
c Decision: 14/2618	Time: 783.145/86400
c Decision: 14/2618	Time: 785.722/86400
c Decision: 14/2618	Time: 789.08/86400
c Decision: 14/2618	Time: 791.872/86400
c Decision: 14/2618	Time: 794.774/86400
c Decision: 14/2618	Time: 797.594/86400
c Decision: 14/2618	Time: 800.427/86400
c Decision: 14/2618	Time: 803.333/86400
c Decision: 14/2618	Time: 805.863/86400
c Decision: 14/2618	Time: 809.113/86400
c Decision: 14/2618	Time: 812.217/86400
c Decision: 14/2618	Time: 815.273/86400
c Decision: 14/2618	Time: 818.053/86400
c Decision: 14/2618	Time: 820.887/86400
c Decision: 14/2618	Time: 824.308/86400
c Decision: 14/2618	Time: 827.36/86400
c Decision: 14/2618	Time: 830.388/86400
c Decision: 14/2618	Time: 833.514/86400
c Decision: 14/2618	Time: 836.277/86400
c Decision: 14/2618	Time: 839.042/86400
c Decision: 14/2618	Time: 842.094/86400
c Decision: 14/2618	Time: 845.446/86400
c Decision: 14/2618	Time: 849.216/86400
c Decision: 14/2618	Time: 852.469/86400
c Decision: 14/2618	Time: 855.186/86400
c Decision: 14/2618	Time: 857.974/86400
c Decision: 14/2618	Time: 861.174/86400
c Decision: 14/2618	Time: 864.227/86400
c Decision: 14/2618	Time: 867.246/86400
c Decision: 14/2618	Time: 869.935/86400
c Decision: 14/2618	Time: 872.666/86400
c Decision: 14/2618	Time: 875.892/86400
c Decision: 14/2618	Time: 879.434/86400
c Decision: 14/2618	Time: 882.362/86400
c Decision: 14/2618	Time: 885.296/86400
c Decision: 14/2618	Time: 888.437/86400
c Decision: 14/2618	Time: 891.382/86400
c Decision: 14/2618	Time: 894.744/86400
c Decision: 14/2618	Time: 897.897/86400
c Decision: 14/2618	Time: 900.939/86400
c Decision: 14/2618	Time: 903.72/86400
c Decision: 14/2618	Time: 906.956/86400
c Decision: 14/2618	Time: 910.33/86400
c Decision: 14/2618	Time: 913.842/86400
c Decision: 14/2618	Time: 916.844/86400
c Decision: 14/2618	Time: 919.403/86400
c Decision: 14/2618	Time: 922.432/86400
c Decision: 14/2618	Time: 925.756/86400
c Decision: 14/2618	Time: 929.071/86400
c Decision: 14/2618	Time: 932.378/86400
c Decision: 14/2618	Time: 935.449/86400
c Decision: 14/2618	Time: 938.321/86400
c Decision: 14/2618	Time: 941.653/86400
c Decision: 14/2618	Time: 944.729/86400
c Decision: 14/2618	Time: 948.062/86400
c Decision: 14/2618	Time: 951.003/86400
c Decision: 14/2618	Time: 954.189/86400
c Decision: 14/2618	Time: 957.305/86400
c Decision: 14/2618	Time: 960.318/86400
c Decision: 14/2618	Time: 963.095/86400
c Decision: 14/2618	Time: 965.867/86400
c Decision: 14/2618	Time: 969.128/86400
c Decision: 14/2618	Time: 972.489/86400
c Decision: 14/2618	Time: 975.999/86400
c Decision: 14/2618	Time: 979.07/86400
c Decision: 14/2618	Time: 982.098/86400
c Decision: 14/2618	Time: 985.23/86400
c Decision: 14/2618	Time: 988.517/86400
c Decision: 14/2618	Time: 991.564/86400
c Decision: 14/2618	Time: 994.72/86400
c Decision: 14/2618	Time: 998.024/86400
c Decision: 14/2618	Time: 1000.97/86400
c Decision: 14/2618	Time: 1004.32/86400
c Decision: 14/2618	Time: 1007.18/86400
c Decision: 14/2618	Time: 1010.19/86400
c Decision: 14/2618	Time: 1013.28/86400
c Decision: 14/2618	Time: 1016.3/86400
c Decision: 14/2618	Time: 1019.13/86400
c Decision: 14/2618	Time: 1022/86400
c Decision: 14/2618	Time: 1025.18/86400
c Decision: 14/2618	Time: 1028.28/86400
c Decision: 14/2618	Time: 1031.57/86400
c Decision: 14/2618	Time: 1034.67/86400
c Decision: 14/2618	Time: 1037.41/86400
c Decision: 14/2618	Time: 1040.07/86400
c Decision: 14/2618	Time: 1043.47/86400
c Decision: 14/2618	Time: 1046.85/86400
c Decision: 14/2618	Time: 1050.93/86400
c Decision: 14/2618	Time: 1054.02/86400
c Decision: 14/2618	Time: 1057.32/86400
c Decision: 14/2618	Time: 1060.21/86400
c Decision: 14/2618	Time: 1063.4/86400
c Decision: 14/2618	Time: 1066.9/86400
c Decision: 14/2618	Time: 1070.14/86400
c Decision: 14/2618	Time: 1072.97/86400
c Decision: 14/2618	Time: 1076.11/86400
c Decision: 14/2618	Time: 1079.31/86400
c Decision: 14/2618	Time: 1083.06/86400
c Decision: 14/2618	Time: 1086.11/86400
c Decision: 14/2618	Time: 1089.8/86400
c Decision: 14/2618	Time: 1093.23/86400
c Decision: 14/2618	Time: 1096.48/86400
c Decision: 14/2618	Time: 1100.25/86400
c Decision: 14/2618	Time: 1102.99/86400
c Decision: 14/2618	Time: 1106.17/86400
c Decision: 14/2618	Time: 1109.17/86400
c Decision: 14/2618	Time: 1112.11/86400
c Decision: 14/2618	Time: 1115.6/86400
c Decision: 14/2618	Time: 1118.57/86400
c Decision: 14/2618	Time: 1121.92/86400
c Decision: 14/2618	Time: 1125.13/86400
c Decision: 14/2618	Time: 1128.11/86400
c Decision: 14/2618	Time: 1131.97/86400
c Decision: 14/2618	Time: 1135.11/86400
c Decision: 14/2618	Time: 1138.06/86400
c Decision: 14/2618	Time: 1141.2/86400
c Decision: 14/2618	Time: 1145.05/86400
c Decision: 14/2618	Time: 1148.61/86400
c Decision: 14/2618	Time: 1152.24/86400
c Decision: 14/2618	Time: 1155.74/86400
c Decision: 14/2618	Time: 1158.83/86400
c Decision: 14/2618	Time: 1161.91/86400
c Decision: 14/2618	Time: 1165.3/86400
c Decision: 14/2618	Time: 1168.52/86400
c Decision: 14/2618	Time: 1171.39/86400
c Decision: 14/2618	Time: 1174.64/86400
c Decision: 14/2618	Time: 1178.15/86400
c Decision: 14/2618	Time: 1181.79/86400
c Decision: 14/2618	Time: 1184.77/86400
c Decision: 14/2618	Time: 1188.22/86400
c Decision: 14/2618	Time: 1191.83/86400
c Decision: 14/2618	Time: 1194.85/86400
c Decision: 14/2618	Time: 1198.8/86400
c Decision: 14/2618	Time: 1202.1/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/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21111645 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 373 2 364 364 0 9 0
[pid=8790] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-par32-2-c.opb

[startup+10.0024 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 983 0 0 0 962 14 0 0 25 0 1 0 21111645 4751360 869 4294967295 134512640 135987407 3221224576 3221223392 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 1160 869 364 364 0 796 0
[pid=8790] vsize: 4640
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 4640

[startup+20.0031 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 1505 0 0 0 1918 28 0 0 25 0 1 0 21111645 6991872 1294 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 1707 1294 364 364 0 1343 0
[pid=8790] vsize: 6828
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 6828

[startup+30.0029 s]
Raw data (loadavg): 1.03 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 1741 0 0 0 2883 41 0 0 25 0 1 0 21111645 9359360 1530 4294967295 134512640 135987407 3221224576 3221223392 134824266 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2285 1530 364 364 0 1921 0
[pid=8790] vsize: 9140
Current children cumulated CPU time (s) 29.24
Current children cumulated vsize (Kb) 9140

[startup+40.0037 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 2004 0 0 0 3839 57 0 0 25 0 1 0 21111645 9904128 1793 4294967295 134512640 135987407 3221224576 3221223392 134824323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 2418 1793 364 364 0 2054 0
[pid=8790] vsize: 9672
Current children cumulated CPU time (s) 38.96
Current children cumulated vsize (Kb) 9672

[startup+50.0045 s]
Raw data (loadavg): 1.02 0.97 0.98 1/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 2322 0 0 0 4786 74 0 0 25 0 1 0 21111645 11075584 1918 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2704 1918 364 364 0 2340 0
[pid=8790] vsize: 10816
Current children cumulated CPU time (s) 48.6
Current children cumulated vsize (Kb) 10816

[startup+60.0053 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 2496 0 0 0 5736 90 0 0 25 0 1 0 21111645 11481088 2092 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2803 2092 364 364 0 2439 0
[pid=8790] vsize: 11212
Current children cumulated CPU time (s) 58.26
Current children cumulated vsize (Kb) 11212

[startup+70.0061 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 2586 0 0 0 6695 101 0 0 25 0 1 0 21111645 11603968 2182 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2833 2182 364 364 0 2469 0
[pid=8790] vsize: 11332
Current children cumulated CPU time (s) 67.96
Current children cumulated vsize (Kb) 11332

[startup+80.0059 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 2753 0 0 0 7661 113 0 0 25 0 1 0 21111645 12042240 2349 4294967295 134512640 135987407 3221224576 3221223264 134788835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2940 2349 364 364 0 2576 0
[pid=8790] vsize: 11760
Current children cumulated CPU time (s) 77.74
Current children cumulated vsize (Kb) 11760

[startup+90.0056 s]
Raw data (loadavg): 1.01 0.97 0.98 1/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 2985 0 0 0 8617 128 0 0 25 0 1 0 21111645 12185600 2581 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 2975 2581 364 364 0 2611 0
[pid=8790] vsize: 11900
Current children cumulated CPU time (s) 87.45
Current children cumulated vsize (Kb) 11900

[startup+100.005 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 3059 0 0 0 9585 140 0 0 25 0 1 0 21111645 12468224 2655 4294967295 134512640 135987407 3221224576 3221223264 134811879 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 3044 2655 364 364 0 2680 0
[pid=8790] vsize: 12176
Current children cumulated CPU time (s) 97.25
Current children cumulated vsize (Kb) 12176

[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 3671 0 0 0 10556 152 0 0 25 0 1 0 21111645 18497536 2882 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4516 2882 364 364 0 4152 0
[pid=8790] vsize: 18064
Current children cumulated CPU time (s) 107.08
Current children cumulated vsize (Kb) 18064

[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 3850 0 0 0 11525 163 0 0 25 0 1 0 21111645 18804736 3061 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4591 3061 364 364 0 4227 0
[pid=8790] vsize: 18364
Current children cumulated CPU time (s) 116.88
Current children cumulated vsize (Kb) 18364

[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4064 0 0 0 12498 173 0 0 25 0 1 0 21111645 18939904 3275 4294967295 134512640 135987407 3221224576 3221223392 134816649 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4624 3275 364 364 0 4260 0
[pid=8790] vsize: 18496
Current children cumulated CPU time (s) 126.71
Current children cumulated vsize (Kb) 18496

[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4276 0 0 0 13467 184 0 0 25 0 1 0 21111645 19181568 3487 4294967295 134512640 135987407 3221224576 3221223392 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 4683 3487 364 364 0 4319 0
[pid=8790] vsize: 18732
Current children cumulated CPU time (s) 136.51
Current children cumulated vsize (Kb) 18732

[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4462 0 0 0 14440 195 0 0 25 0 1 0 21111645 19451904 3673 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4749 3673 364 364 0 4385 0
[pid=8790] vsize: 18996
Current children cumulated CPU time (s) 146.35
Current children cumulated vsize (Kb) 18996

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4692 0 0 0 15408 206 0 0 25 0 1 0 21111645 19726336 3903 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4816 3903 364 364 0 4452 0
[pid=8790] vsize: 19264
Current children cumulated CPU time (s) 156.14
Current children cumulated vsize (Kb) 19264

[startup+170.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4766 0 0 0 16372 218 0 0 25 0 1 0 21111645 20037632 3977 4294967295 134512640 135987407 3221224576 3221223360 134812341 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4892 3977 364 364 0 4528 0
[pid=8790] vsize: 19568
Current children cumulated CPU time (s) 165.9
Current children cumulated vsize (Kb) 19568

[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4837 0 0 0 17342 229 0 0 25 0 1 0 21111645 20152320 4048 4294967295 134512640 135987407 3221224576 3221223264 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4920 4048 364 364 0 4556 0
[pid=8790] vsize: 19680
Current children cumulated CPU time (s) 175.71
Current children cumulated vsize (Kb) 19680

[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 4928 0 0 0 18316 237 0 0 25 0 1 0 21111645 20471808 4139 4294967295 134512640 135987407 3221224576 3221223400 134812257 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 4998 4139 364 364 0 4634 0
[pid=8790] vsize: 19992
Current children cumulated CPU time (s) 185.53
Current children cumulated vsize (Kb) 19992

[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5081 0 0 0 19285 248 0 0 25 0 1 0 21111645 20832256 4292 4294967295 134512640 135987407 3221224576 3221223328 134801251 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 5086 4292 364 364 0 4722 0
[pid=8790] vsize: 20344
Current children cumulated CPU time (s) 195.33
Current children cumulated vsize (Kb) 20344

[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5203 0 0 0 20261 258 0 0 25 0 1 0 21111645 20975616 4414 4294967295 134512640 135987407 3221224576 3221223264 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 5121 4414 364 364 0 4757 0
[pid=8790] vsize: 20484
Current children cumulated CPU time (s) 205.19
Current children cumulated vsize (Kb) 20484

[startup+220.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5292 0 0 0 21236 268 0 0 25 0 1 0 21111645 21172224 4503 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 5169 4503 364 364 0 4805 0
[pid=8790] vsize: 20676
Current children cumulated CPU time (s) 215.04
Current children cumulated vsize (Kb) 20676

[startup+230.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5528 0 0 0 22212 277 0 0 25 0 1 0 21111645 29757440 4739 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 7265 4739 364 364 0 6901 0
[pid=8790] vsize: 29060
Current children cumulated CPU time (s) 224.89
Current children cumulated vsize (Kb) 29060

[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8790
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 5725 0 0 0 23183 288 0 0 25 0 1 0 21111645 30199808 4936 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 7373 4936 364 364 0 7009 0
[pid=8790] vsize: 29492
Current children cumulated CPU time (s) 234.71
Current children cumulated vsize (Kb) 29492

[startup+250.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5802 0 0 0 24154 299 0 0 25 0 1 0 21111645 30453760 5013 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 7435 5013 364 364 0 7071 0
[pid=8790] vsize: 29740
Current children cumulated CPU time (s) 244.53
Current children cumulated vsize (Kb) 29740

[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5857 0 0 0 25128 309 0 0 25 0 1 0 21111645 30576640 5068 4294967295 134512640 135987407 3221224576 3221223264 134811983 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 7465 5068 364 364 0 7101 0
[pid=8790] vsize: 29860
Current children cumulated CPU time (s) 254.37
Current children cumulated vsize (Kb) 29860

[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5892 0 0 0 26101 318 0 0 25 0 1 0 21111645 30695424 5103 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 7494 5103 364 364 0 7130 0
[pid=8790] vsize: 29976
Current children cumulated CPU time (s) 264.19
Current children cumulated vsize (Kb) 29976

[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 5965 0 0 0 27073 328 0 0 25 0 1 0 21111645 30949376 5176 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 7556 5176 364 364 0 7192 0
[pid=8790] vsize: 30224
Current children cumulated CPU time (s) 274.01
Current children cumulated vsize (Kb) 30224

[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 6799 0 0 0 28047 339 0 0 25 0 1 0 21111645 34369536 5241 4294967295 134512640 135987407 3221224576 3221223440 134812629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8391 5241 364 364 0 8027 0
[pid=8790] vsize: 33564
Current children cumulated CPU time (s) 283.86
Current children cumulated vsize (Kb) 33564

[startup+300.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 6858 0 0 0 29021 346 0 0 25 0 1 0 21111645 34504704 5300 4294967295 134512640 135987407 3221224576 3221223296 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8424 5300 364 364 0 8060 0
[pid=8790] vsize: 33696
Current children cumulated CPU time (s) 293.67
Current children cumulated vsize (Kb) 33696

[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 6949 0 0 0 29990 357 0 0 25 0 1 0 21111645 34881536 5391 4294967295 134512640 135987407 3221224576 3221223264 134811923 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8516 5391 364 364 0 8152 0
[pid=8790] vsize: 34064
Current children cumulated CPU time (s) 303.47
Current children cumulated vsize (Kb) 34064

[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7017 0 0 0 30957 368 0 0 25 0 1 0 21111645 35000320 5459 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 8545 5459 364 364 0 8181 0
[pid=8790] vsize: 34180
Current children cumulated CPU time (s) 313.25
Current children cumulated vsize (Kb) 34180

[startup+330.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7067 0 0 0 31929 378 0 0 25 0 1 0 21111645 35119104 5509 4294967295 134512640 135987407 3221224576 3221223296 134813996 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8574 5509 364 364 0 8210 0
[pid=8790] vsize: 34296
Current children cumulated CPU time (s) 323.07
Current children cumulated vsize (Kb) 34296

[startup+340.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7129 0 0 0 32897 390 0 0 25 0 1 0 21111645 35254272 5571 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8607 5571 364 364 0 8243 0
[pid=8790] vsize: 34428
Current children cumulated CPU time (s) 332.87
Current children cumulated vsize (Kb) 34428

[startup+350.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7191 0 0 0 33875 399 0 0 25 0 1 0 21111645 35512320 5633 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8670 5633 364 364 0 8306 0
[pid=8790] vsize: 34680
Current children cumulated CPU time (s) 342.74
Current children cumulated vsize (Kb) 34680

[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7229 0 0 0 34854 406 0 0 25 0 1 0 21111645 35512320 5671 4294967295 134512640 135987407 3221224576 3221223264 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8670 5671 364 364 0 8306 0
[pid=8790] vsize: 34680
Current children cumulated CPU time (s) 352.6
Current children cumulated vsize (Kb) 34680

[startup+370.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7312 0 0 0 35837 412 0 0 25 0 1 0 21111645 35635200 5754 4294967295 134512640 135987407 3221224576 3221223392 134824266 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8700 5754 364 364 0 8336 0
[pid=8790] vsize: 34800
Current children cumulated CPU time (s) 362.49
Current children cumulated vsize (Kb) 34800

[startup+380.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7532 0 0 0 36817 418 0 0 25 0 1 0 21111645 35774464 5974 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8734 5974 364 364 0 8370 0
[pid=8790] vsize: 34936
Current children cumulated CPU time (s) 372.35
Current children cumulated vsize (Kb) 34936

[startup+390.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7694 0 0 0 37801 424 0 0 25 0 1 0 21111645 35774464 6136 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8734 6136 364 364 0 8370 0
[pid=8790] vsize: 34936
Current children cumulated CPU time (s) 382.25
Current children cumulated vsize (Kb) 34936

[startup+400.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 7844 0 0 0 38784 430 0 0 25 0 1 0 21111645 35913728 6286 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8768 6286 364 364 0 8404 0
[pid=8790] vsize: 35072
Current children cumulated CPU time (s) 392.14
Current children cumulated vsize (Kb) 35072

[startup+410.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 8046 0 0 0 39763 437 0 0 25 0 1 0 21111645 36319232 6488 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8867 6488 364 364 0 8503 0
[pid=8790] vsize: 35468
Current children cumulated CPU time (s) 402
Current children cumulated vsize (Kb) 35468

[startup+420.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8079 0 0 0 40743 444 0 0 25 0 1 0 21111645 36433920 6521 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8895 6521 364 364 0 8531 0
[pid=8790] vsize: 35580
Current children cumulated CPU time (s) 411.87
Current children cumulated vsize (Kb) 35580

[startup+430.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8136 0 0 0 41717 452 0 0 25 0 1 0 21111645 36569088 6578 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8928 6578 364 364 0 8564 0
[pid=8790] vsize: 35712
Current children cumulated CPU time (s) 421.69
Current children cumulated vsize (Kb) 35712

[startup+440.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8180 0 0 0 42698 458 0 0 25 0 1 0 21111645 36712448 6622 4294967295 134512640 135987407 3221224576 3221223264 134811901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8963 6622 364 364 0 8599 0
[pid=8790] vsize: 35852
Current children cumulated CPU time (s) 431.56
Current children cumulated vsize (Kb) 35852

[startup+450.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8227 0 0 0 43680 465 0 0 25 0 1 0 21111645 36847616 6669 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8996 6669 364 364 0 8632 0
[pid=8790] vsize: 35984
Current children cumulated CPU time (s) 441.45
Current children cumulated vsize (Kb) 35984

[startup+460.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8270 0 0 0 44661 472 0 0 25 0 1 0 21111645 36847616 6712 4294967295 134512640 135987407 3221224576 3221223264 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 8996 6712 364 364 0 8632 0
[pid=8790] vsize: 35984
Current children cumulated CPU time (s) 451.33
Current children cumulated vsize (Kb) 35984

[startup+470.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8355 0 0 0 45639 479 0 0 25 0 1 0 21111645 36970496 6797 4294967295 134512640 135987407 3221224576 3221223440 134813121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9026 6797 364 364 0 8662 0
[pid=8790] vsize: 36104
Current children cumulated CPU time (s) 461.18
Current children cumulated vsize (Kb) 36104

[startup+480.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8528 0 0 0 46615 489 0 0 25 0 1 0 21111645 36970496 6970 4294967295 134512640 135987407 3221224576 3221223264 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9026 6970 364 364 0 8662 0
[pid=8790] vsize: 36104
Current children cumulated CPU time (s) 471.04
Current children cumulated vsize (Kb) 36104

[startup+490.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8714 0 0 0 47593 498 0 0 25 0 1 0 21111645 37392384 7156 4294967295 134512640 135987407 3221224576 3221223356 134812407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9129 7156 364 364 0 8765 0
[pid=8790] vsize: 36516
Current children cumulated CPU time (s) 480.91
Current children cumulated vsize (Kb) 36516

[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8749 0 0 0 48575 503 0 0 25 0 1 0 21111645 37392384 7191 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9129 7191 364 364 0 8765 0
[pid=8790] vsize: 36516
Current children cumulated CPU time (s) 490.78
Current children cumulated vsize (Kb) 36516

[startup+510.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8864 0 0 0 49555 510 0 0 25 0 1 0 21111645 37523456 7306 4294967295 134512640 135987407 3221224576 3221223264 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9161 7306 364 364 0 8797 0
[pid=8790] vsize: 36644
Current children cumulated CPU time (s) 500.65
Current children cumulated vsize (Kb) 36644

[startup+520.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 8944 0 0 0 50535 518 0 0 25 0 1 0 21111645 37658624 7386 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9194 7386 364 364 0 8830 0
[pid=8790] vsize: 36776
Current children cumulated CPU time (s) 510.53
Current children cumulated vsize (Kb) 36776

[startup+530.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 9041 0 0 0 51518 524 0 0 25 0 1 0 21111645 37797888 7483 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9228 7483 364 364 0 8864 0
[pid=8790] vsize: 36912
Current children cumulated CPU time (s) 520.42
Current children cumulated vsize (Kb) 36912

[startup+540.016 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 9200 0 0 0 52500 530 0 0 25 0 1 0 21111645 37937152 7642 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9262 7642 364 364 0 8898 0
[pid=8790] vsize: 37048
Current children cumulated CPU time (s) 530.3
Current children cumulated vsize (Kb) 37048

[startup+550.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 9401 0 0 0 53484 536 0 0 25 0 1 0 21111645 38072320 7843 4294967295 134512640 135987407 3221224576 3221223264 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9295 7843 364 364 0 8931 0
[pid=8790] vsize: 37180
Current children cumulated CPU time (s) 540.2
Current children cumulated vsize (Kb) 37180

[startup+560.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 9578 0 0 0 54465 545 0 0 25 0 1 0 21111645 38072320 8020 4294967295 134512640 135987407 3221224576 3221223296 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9295 8020 364 364 0 8931 0
[pid=8790] vsize: 37180
Current children cumulated CPU time (s) 550.1
Current children cumulated vsize (Kb) 37180

[startup+570.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 9684 0 0 0 55448 552 0 0 25 0 1 0 21111645 38248448 8126 4294967295 134512640 135987407 3221224576 3221223264 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9338 8126 364 364 0 8974 0
[pid=8790] vsize: 37352
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 37352

[startup+580.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 9825 0 0 0 56433 557 0 0 25 0 1 0 21111645 38248448 8267 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9338 8267 364 364 0 8974 0
[pid=8790] vsize: 37352
Current children cumulated CPU time (s) 569.9
Current children cumulated vsize (Kb) 37352

[startup+590.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10003 0 0 0 57415 563 0 0 25 0 1 0 21111645 38367232 8445 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 9367 8445 364 364 0 9003 0
[pid=8790] vsize: 37468
Current children cumulated CPU time (s) 579.78
Current children cumulated vsize (Kb) 37468

[startup+600.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10281 0 0 0 58389 573 0 0 25 0 1 0 21111645 39178240 8723 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9565 8723 364 364 0 9201 0
[pid=8790] vsize: 38260
Current children cumulated CPU time (s) 589.62
Current children cumulated vsize (Kb) 38260

[startup+610.019 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 10356 0 0 0 59365 581 0 0 25 0 1 0 21111645 39178240 8798 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9565 8798 364 364 0 9201 0
[pid=8790] vsize: 38260
Current children cumulated CPU time (s) 599.46
Current children cumulated vsize (Kb) 38260

[startup+620.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10445 0 0 0 60342 589 0 0 25 0 1 0 21111645 39583744 8887 4294967295 134512640 135987407 3221224576 3221223296 134814113 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9664 8887 364 364 0 9300 0
[pid=8790] vsize: 38656
Current children cumulated CPU time (s) 609.31
Current children cumulated vsize (Kb) 38656

[startup+630.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10524 0 0 0 61324 595 0 0 25 0 1 0 21111645 40112128 8966 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9793 8966 364 364 0 9429 0
[pid=8790] vsize: 39172
Current children cumulated CPU time (s) 619.19
Current children cumulated vsize (Kb) 39172

[startup+640.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10563 0 0 0 62304 603 0 0 25 0 1 0 21111645 40247296 9005 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9826 9005 364 364 0 9462 0
[pid=8790] vsize: 39304
Current children cumulated CPU time (s) 629.07
Current children cumulated vsize (Kb) 39304

[startup+650.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10618 0 0 0 63284 609 0 0 25 0 1 0 21111645 40382464 9060 4294967295 134512640 135987407 3221224576 3221223264 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9859 9060 364 364 0 9495 0
[pid=8790] vsize: 39436
Current children cumulated CPU time (s) 638.93
Current children cumulated vsize (Kb) 39436

[startup+660.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10678 0 0 0 64264 617 0 0 25 0 1 0 21111645 40652800 9120 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9925 9120 364 364 0 9561 0
[pid=8790] vsize: 39700
Current children cumulated CPU time (s) 648.81
Current children cumulated vsize (Kb) 39700

[startup+670.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10749 0 0 0 65239 627 0 0 25 0 1 0 21111645 40931328 9191 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 9993 9191 364 364 0 9629 0
[pid=8790] vsize: 39972
Current children cumulated CPU time (s) 658.66
Current children cumulated vsize (Kb) 39972

[startup+680.021 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 10780 0 0 0 66221 634 0 0 25 0 1 0 21111645 41050112 9222 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10022 9222 364 364 0 9658 0
[pid=8790] vsize: 40088
Current children cumulated CPU time (s) 668.55
Current children cumulated vsize (Kb) 40088

[startup+690.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10816 0 0 0 67204 640 0 0 25 0 1 0 21111645 41189376 9258 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10056 9258 364 364 0 9692 0
[pid=8790] vsize: 40224
Current children cumulated CPU time (s) 678.44
Current children cumulated vsize (Kb) 40224

[startup+700.022 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 10863 0 0 0 68184 648 0 0 25 0 1 0 21111645 41324544 9305 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10089 9305 364 364 0 9725 0
[pid=8790] vsize: 40356
Current children cumulated CPU time (s) 688.32
Current children cumulated vsize (Kb) 40356

[startup+710.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10892 0 0 0 69167 654 0 0 25 0 1 0 21111645 41488384 9334 4294967295 134512640 135987407 3221224576 3221223296 134814142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10129 9334 364 364 0 9765 0
[pid=8790] vsize: 40516
Current children cumulated CPU time (s) 698.21
Current children cumulated vsize (Kb) 40516

[startup+720.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10916 0 0 0 70155 658 0 0 25 0 1 0 21111645 41488384 9358 4294967295 134512640 135987407 3221224576 3221223440 134812873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10129 9358 364 364 0 9765 0
[pid=8790] vsize: 40516
Current children cumulated CPU time (s) 708.13
Current children cumulated vsize (Kb) 40516

[startup+730.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10937 0 0 0 71137 664 0 0 25 0 1 0 21111645 41488384 9379 4294967295 134512640 135987407 3221224576 3221223296 134813826 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10129 9379 364 364 0 9765 0
[pid=8790] vsize: 40516
Current children cumulated CPU time (s) 718.01
Current children cumulated vsize (Kb) 40516

[startup+740.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 10997 0 0 0 72118 672 0 0 25 0 1 0 21111645 41648128 9439 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10168 9439 364 364 0 9804 0
[pid=8790] vsize: 40672
Current children cumulated CPU time (s) 727.9
Current children cumulated vsize (Kb) 40672

[startup+750.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 11038 0 0 0 73106 677 0 0 25 0 1 0 21111645 41811968 9480 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 10208 9480 364 364 0 9844 0
[pid=8790] vsize: 40832
Current children cumulated CPU time (s) 737.83
Current children cumulated vsize (Kb) 40832

[startup+760.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 12759 0 0 0 74081 687 0 0 25 0 1 0 21111645 48353280 9664 4294967295 134512640 135987407 3221224576 3221223392 134876843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 11805 9664 364 364 0 11441 0
[pid=8790] vsize: 47220
Current children cumulated CPU time (s) 747.68
Current children cumulated vsize (Kb) 47220

[startup+770.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 12805 0 0 0 75067 693 0 0 25 0 1 0 21111645 48488448 9710 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 11838 9710 364 364 0 11474 0
[pid=8790] vsize: 47352
Current children cumulated CPU time (s) 757.6
Current children cumulated vsize (Kb) 47352

[startup+780.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 12857 0 0 0 76050 698 0 0 25 0 1 0 21111645 48635904 9762 4294967295 134512640 135987407 3221224576 3221223296 134814085 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 11874 9762 364 364 0 11510 0
[pid=8790] vsize: 47496
Current children cumulated CPU time (s) 767.48
Current children cumulated vsize (Kb) 47496

[startup+790.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 12888 0 0 0 77033 703 0 0 25 0 1 0 21111645 48766976 9793 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 11906 9793 364 364 0 11542 0
[pid=8790] vsize: 47624
Current children cumulated CPU time (s) 777.36
Current children cumulated vsize (Kb) 47624

[startup+800.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13069 0 0 0 78017 709 0 0 25 0 1 0 21111645 65814528 9974 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16068 9974 364 364 0 15704 0
[pid=8790] vsize: 64272
Current children cumulated CPU time (s) 787.26
Current children cumulated vsize (Kb) 64272

[startup+810.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13129 0 0 0 78997 717 0 0 25 0 1 0 21111645 65814528 10034 4294967295 134512640 135987407 3221224576 3221223328 134801180 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16068 10034 364 364 0 15704 0
[pid=8790] vsize: 64272
Current children cumulated CPU time (s) 797.14
Current children cumulated vsize (Kb) 64272

[startup+820.023 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 13243 0 0 0 79981 722 0 0 25 0 1 0 21111645 66068480 10148 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16130 10148 364 364 0 15766 0
[pid=8790] vsize: 64520
Current children cumulated CPU time (s) 807.03
Current children cumulated vsize (Kb) 64520

[startup+830.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13435 0 0 0 80964 728 0 0 25 0 1 0 21111645 66338816 10340 4294967295 134512640 135987407 3221224576 3221223144 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16196 10340 364 364 0 15832 0
[pid=8790] vsize: 64784
Current children cumulated CPU time (s) 816.92
Current children cumulated vsize (Kb) 64784

[startup+840.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13490 0 0 0 81947 734 0 0 25 0 1 0 21111645 66338816 10395 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16196 10395 364 364 0 15832 0
[pid=8790] vsize: 64784
Current children cumulated CPU time (s) 826.81
Current children cumulated vsize (Kb) 64784

[startup+850.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13649 0 0 0 82928 742 0 0 25 0 1 0 21111645 66609152 10554 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16262 10554 364 364 0 15898 0
[pid=8790] vsize: 65048
Current children cumulated CPU time (s) 836.7
Current children cumulated vsize (Kb) 65048

[startup+860.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13741 0 0 0 83911 747 0 0 25 0 1 0 21111645 66744320 10646 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16295 10646 364 364 0 15931 0
[pid=8790] vsize: 65180
Current children cumulated CPU time (s) 846.58
Current children cumulated vsize (Kb) 65180

[startup+870.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 13847 0 0 0 84897 753 0 0 25 0 1 0 21111645 67026944 10752 4294967295 134512640 135987407 3221224576 3221223264 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16364 10752 364 364 0 16000 0
[pid=8790] vsize: 65456
Current children cumulated CPU time (s) 856.5
Current children cumulated vsize (Kb) 65456

[startup+880.024 s]
Raw data (loadavg): 1.00 0.97 0.98 3/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14007 0 0 0 85880 759 0 0 25 0 1 0 21111645 67026944 10912 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8790/statm): 16364 10912 364 364 0 16000 0
[pid=8790] vsize: 65456
Current children cumulated CPU time (s) 866.39
Current children cumulated vsize (Kb) 65456

[startup+890.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14065 0 0 0 86864 764 0 0 25 0 1 0 21111645 67026944 10970 4294967295 134512640 135987407 3221224576 3221223296 134813796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16364 10970 364 364 0 16000 0
[pid=8790] vsize: 65456
Current children cumulated CPU time (s) 876.28
Current children cumulated vsize (Kb) 65456

[startup+900.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14155 0 0 0 87850 770 0 0 25 0 1 0 21111645 67137536 11060 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16391 11060 364 364 0 16027 0
[pid=8790] vsize: 65564
Current children cumulated CPU time (s) 886.2
Current children cumulated vsize (Kb) 65564

[startup+910.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14344 0 0 0 88836 774 0 0 25 0 1 0 21111645 67407872 11249 4294967295 134512640 135987407 3221224576 3221223264 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16457 11249 364 364 0 16093 0
[pid=8790] vsize: 65828
Current children cumulated CPU time (s) 896.1
Current children cumulated vsize (Kb) 65828

[startup+920.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14488 0 0 0 89819 780 0 0 25 0 1 0 21111645 67543040 11393 4294967295 134512640 135987407 3221224576 3221223264 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16490 11393 364 364 0 16126 0
[pid=8790] vsize: 65960
Current children cumulated CPU time (s) 905.99
Current children cumulated vsize (Kb) 65960

[startup+930.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14633 0 0 0 90804 786 0 0 25 0 1 0 21111645 67813376 11538 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16556 11538 364 364 0 16192 0
[pid=8790] vsize: 66224
Current children cumulated CPU time (s) 915.9
Current children cumulated vsize (Kb) 66224

[startup+940.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14659 0 0 0 91787 792 0 0 25 0 1 0 21111645 67813376 11564 4294967295 134512640 135987407 3221224576 3221223296 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16556 11564 364 364 0 16192 0
[pid=8790] vsize: 66224
Current children cumulated CPU time (s) 925.79
Current children cumulated vsize (Kb) 66224

[startup+950.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14764 0 0 0 92769 799 0 0 25 0 1 0 21111645 68206592 11669 4294967295 134512640 135987407 3221224576 3221223296 134814085 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16652 11669 364 364 0 16288 0
[pid=8790] vsize: 66608
Current children cumulated CPU time (s) 935.68
Current children cumulated vsize (Kb) 66608

[startup+960.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 14801 0 0 0 93751 805 0 0 25 0 1 0 21111645 68341760 11706 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16685 11706 364 364 0 16321 0
[pid=8790] vsize: 66740
Current children cumulated CPU time (s) 945.56
Current children cumulated vsize (Kb) 66740

[startup+970.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14824 0 0 0 94735 812 0 0 25 0 1 0 21111645 68468736 11729 4294967295 134512640 135987407 3221224576 3221223152 134788738 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16716 11729 364 364 0 16352 0
[pid=8790] vsize: 66864
Current children cumulated CPU time (s) 955.47
Current children cumulated vsize (Kb) 66864

[startup+980.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14847 0 0 0 95717 819 0 0 25 0 1 0 21111645 68468736 11752 4294967295 134512640 135987407 3221224576 3221223264 134811867 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16716 11752 364 364 0 16352 0
[pid=8790] vsize: 66864
Current children cumulated CPU time (s) 965.36
Current children cumulated vsize (Kb) 66864

[startup+990.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14881 0 0 0 96703 825 0 0 25 0 1 0 21111645 68608000 11786 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16750 11786 364 364 0 16386 0
[pid=8790] vsize: 67000
Current children cumulated CPU time (s) 975.28
Current children cumulated vsize (Kb) 67000

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 14910 0 0 0 97688 830 0 0 25 0 1 0 21111645 68608000 11815 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16750 11815 364 364 0 16386 0
[pid=8790] vsize: 67000
Current children cumulated CPU time (s) 985.18
Current children cumulated vsize (Kb) 67000

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 14950 0 0 0 98672 836 0 0 25 0 1 0 21111645 68608000 11855 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16750 11855 364 364 0 16386 0
[pid=8790] vsize: 67000
Current children cumulated CPU time (s) 995.08
Current children cumulated vsize (Kb) 67000

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15026 0 0 0 99659 841 0 0 25 0 1 0 21111645 68878336 11931 4294967295 134512640 135987407 3221224576 3221223392 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16816 11931 364 364 0 16452 0
[pid=8790] vsize: 67264
Current children cumulated CPU time (s) 1005
Current children cumulated vsize (Kb) 67264

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 15053 0 0 0 100644 846 0 0 25 0 1 0 21111645 69013504 11958 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16849 11958 364 364 0 16485 0
[pid=8790] vsize: 67396
Current children cumulated CPU time (s) 1014.9
Current children cumulated vsize (Kb) 67396

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15077 0 0 0 101627 852 0 0 25 0 1 0 21111645 69013504 11982 4294967295 134512640 135987407 3221224576 3221223264 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16849 11982 364 364 0 16485 0
[pid=8790] vsize: 67396
Current children cumulated CPU time (s) 1024.79
Current children cumulated vsize (Kb) 67396

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15105 0 0 0 102613 857 0 0 25 0 1 0 21111645 69152768 12010 4294967295 134512640 135987407 3221224576 3221223296 134814085 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16883 12010 364 364 0 16519 0
[pid=8790] vsize: 67532
Current children cumulated CPU time (s) 1034.7
Current children cumulated vsize (Kb) 67532

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15138 0 0 0 103599 861 0 0 25 0 1 0 21111645 69152768 12043 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16883 12043 364 364 0 16519 0
[pid=8790] vsize: 67532
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (Kb) 67532

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15164 0 0 0 104583 867 0 0 25 0 1 0 21111645 69152768 12069 4294967295 134512640 135987407 3221224576 3221223296 134814555 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16883 12069 364 364 0 16519 0
[pid=8790] vsize: 67532
Current children cumulated CPU time (s) 1054.5
Current children cumulated vsize (Kb) 67532

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15248 0 0 0 105564 873 0 0 25 0 1 0 21111645 69537792 12153 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16977 12153 364 364 0 16613 0
[pid=8790] vsize: 67908
Current children cumulated CPU time (s) 1064.37
Current children cumulated vsize (Kb) 67908

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15272 0 0 0 106546 880 0 0 25 0 1 0 21111645 69537792 12177 4294967295 134512640 135987407 3221224576 3221223264 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16977 12177 364 364 0 16613 0
[pid=8790] vsize: 67908
Current children cumulated CPU time (s) 1074.26
Current children cumulated vsize (Kb) 67908

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15296 0 0 0 107532 885 0 0 25 0 1 0 21111645 69537792 12201 4294967295 134512640 135987407 3221224576 3221223152 134850894 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 16977 12201 364 364 0 16613 0
[pid=8790] vsize: 67908
Current children cumulated CPU time (s) 1084.17
Current children cumulated vsize (Kb) 67908

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 15330 0 0 0 108519 890 0 0 25 0 1 0 21111645 69672960 12235 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17010 12235 364 364 0 16646 0
[pid=8790] vsize: 68040
Current children cumulated CPU time (s) 1094.09
Current children cumulated vsize (Kb) 68040

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15369 0 0 0 109505 895 0 0 25 0 1 0 21111645 69836800 12274 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17050 12274 364 364 0 16686 0
[pid=8790] vsize: 68200
Current children cumulated CPU time (s) 1104
Current children cumulated vsize (Kb) 68200

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15402 0 0 0 110491 900 0 0 25 0 1 0 21111645 69971968 12307 4294967295 134512640 135987407 3221224576 3221223264 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17083 12307 364 364 0 16719 0
[pid=8790] vsize: 68332
Current children cumulated CPU time (s) 1113.91
Current children cumulated vsize (Kb) 68332

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15425 0 0 0 111479 904 0 0 25 0 1 0 21111645 69971968 12330 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17083 12330 364 364 0 16719 0
[pid=8790] vsize: 68332
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (Kb) 68332

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15579 0 0 0 112464 910 0 0 25 0 1 0 21111645 70123520 12484 4294967295 134512640 135987407 3221224576 3221223392 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17120 12484 364 364 0 16756 0
[pid=8790] vsize: 68480
Current children cumulated CPU time (s) 1133.74
Current children cumulated vsize (Kb) 68480

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15663 0 0 0 113449 916 0 0 25 0 1 0 21111645 70123520 12568 4294967295 134512640 135987407 3221224576 3221223380 134824309 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17120 12568 364 364 0 16756 0
[pid=8790] vsize: 68480
Current children cumulated CPU time (s) 1143.65
Current children cumulated vsize (Kb) 68480

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 15792 0 0 0 114432 922 0 0 25 0 1 0 21111645 70381568 12697 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17183 12697 364 364 0 16819 0
[pid=8790] vsize: 68732
Current children cumulated CPU time (s) 1153.54
Current children cumulated vsize (Kb) 68732

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 15825 0 0 0 115419 927 0 0 25 0 1 0 21111645 70381568 12730 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17183 12730 364 364 0 16819 0
[pid=8790] vsize: 68732
Current children cumulated CPU time (s) 1163.46
Current children cumulated vsize (Kb) 68732

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 15925 0 0 0 116405 931 0 0 25 0 1 0 21111645 70512640 12830 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17215 12830 364 364 0 16851 0
[pid=8790] vsize: 68860
Current children cumulated CPU time (s) 1173.36
Current children cumulated vsize (Kb) 68860

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) T 8789 8790 4060 0 -1 0 16071 0 0 0 117392 937 0 0 25 0 1 0 21111645 70512640 12976 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17215 12976 364 364 0 16851 0
[pid=8790] vsize: 68860
Current children cumulated CPU time (s) 1183.29
Current children cumulated vsize (Kb) 68860

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 16153 0 0 0 118378 943 0 0 25 0 1 0 21111645 70664192 13058 4294967295 134512640 135987407 3221224576 3221223328 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17252 13058 364 364 0 16888 0
[pid=8790] vsize: 69008
Current children cumulated CPU time (s) 1193.21
Current children cumulated vsize (Kb) 69008

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 16279 0 0 0 119362 948 0 0 25 0 1 0 21111645 70823936 13184 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17291 13184 364 364 0 16927 0
[pid=8790] vsize: 69164
Current children cumulated CPU time (s) 1203.1
Current children cumulated vsize (Kb) 69164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 8792
Raw data (/proc/8790/stat): 8790 (pb2sat) R 8789 8790 4060 0 -1 0 16279 0 0 0 119362 948 0 0 25 0 1 0 21111645 70823936 13184 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8790/statm): 17291 13184 364 364 0 16927 0
[pid=8790] vsize: 69164
Current children cumulated CPU time (s) 1203.1
Current children cumulated vsize (Kb) 69164

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

Child status: 0
Real time (s): 1220.15
CPU time (s): 1203.23
CPU user time (s): 1193.72
CPU system time (s): 9.50855
CPU usage (%): 98.613
Max. virtual memory (cumulated for all children) (Kb): 69164

Verifier Data

ERROR: no interpretation found !