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-5-c.opb
MD5SUMb2d6fc6e4e4b51f8b59d0f4ed12a9f74
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 2678
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 2678
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 2678
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 variables2678
Total number of constraints6689
Number of constraints which are clauses6689
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 9730

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 14:57:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8401 boxname=wulflinc17 idbench=197 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc17/normalized-par32-5-c.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-par32-5-c.opb
IDLAUNCH: 8401
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        936600 kB
Buffers:         15092 kB
Cached:          64740 kB
SwapCached:          0 kB
Active:          43828 kB
Inactive:        38848 kB
HighTotal:      131008 kB
HighFree:        61964 kB
LowTotal:       903652 kB
LowFree:        874636 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9844 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:17:33 (client local time) WITH STATUS 0 IN 1205.62 SECONDS
stats: 8401 7 1205.62 0

Solver Data

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

c Decision: 14/2690	Time: 1.16182/86400
c Decision: 14/2690	Time: 1.90771/86400
c Decision: 14/2690	Time: 2.86157/86400
c Decision: 14/2690	Time: 3.9514/86400
c Decision: 14/2690	Time: 4.91925/86400
c Decision: 14/2690	Time: 5.75013/86400
c Decision: 14/2690	Time: 6.87596/86400
c Decision: 14/2690	Time: 7.83881/86400
c Decision: 14/2690	Time: 8.82266/86400
c Decision: 14/2690	Time: 10.0415/86400
c Decision: 14/2690	Time: 11.1663/86400
c Decision: 14/2690	Time: 12.2851/86400
c Decision: 14/2690	Time: 13.148/86400
c Decision: 14/2690	Time: 14.1948/86400
c Decision: 14/2690	Time: 15.1887/86400
c Decision: 14/2690	Time: 16.4625/86400
c Decision: 14/2690	Time: 17.4553/86400
c Decision: 14/2690	Time: 18.5422/86400
c Decision: 14/2690	Time: 19.701/86400
c Decision: 14/2690	Time: 20.7868/86400
c Decision: 14/2690	Time: 21.9327/86400
c Decision: 14/2690	Time: 23.1455/86400
c Decision: 14/2690	Time: 24.3583/86400
c Decision: 14/2690	Time: 25.5801/86400
c Decision: 14/2690	Time: 26.9229/86400
c Decision: 14/2690	Time: 27.9068/86400
c Decision: 14/2690	Time: 29.0836/86400
c Decision: 14/2690	Time: 30.2294/86400
c Decision: 14/2690	Time: 31.5882/86400
c Decision: 14/2690	Time: 32.885/86400
c Decision: 14/2690	Time: 34.0468/86400
c Decision: 14/2690	Time: 35.1077/86400
c Decision: 14/2690	Time: 36.3645/86400
c Decision: 14/2690	Time: 37.3623/86400
c Decision: 14/2690	Time: 38.7201/86400
c Decision: 14/2690	Time: 39.793/86400
c Decision: 14/2690	Time: 40.7618/86400
c Decision: 14/2690	Time: 41.9546/86400
c Decision: 14/2690	Time: 43.0725/86400
c Decision: 14/2690	Time: 44.3523/86400
c Decision: 14/2690	Time: 45.6691/86400
c Decision: 14/2690	Time: 46.8499/86400
c Decision: 14/2690	Time: 48.1587/86400
c Decision: 14/2690	Time: 49.3975/86400
c Decision: 14/2690	Time: 50.4303/86400
c Decision: 14/2690	Time: 51.8901/86400
c Decision: 14/2690	Time: 53.5409/86400
c Decision: 14/2690	Time: 54.7247/86400
c Decision: 14/2690	Time: 56.2754/86400
c Decision: 14/2690	Time: 57.6282/86400
c Decision: 14/2690	Time: 58.7721/86400
c Decision: 14/2690	Time: 60.1988/86400
c Decision: 14/2690	Time: 61.7276/86400
c Decision: 14/2690	Time: 62.9864/86400
c Decision: 14/2690	Time: 64.5992/86400
c Decision: 14/2690	Time: 65.995/86400
c Decision: 14/2690	Time: 67.3158/86400
c Decision: 14/2690	Time: 68.5446/86400
c Decision: 14/2690	Time: 69.6834/86400
c Decision: 14/2690	Time: 71.0332/86400
c Decision: 14/2690	Time: 72.615/86400
c Decision: 14/2690	Time: 73.8458/86400
c Decision: 14/2690	Time: 75.3445/86400
c Decision: 14/2690	Time: 76.8823/86400
c Decision: 14/2690	Time: 78.3631/86400
c Decision: 14/2690	Time: 80.0078/86400
c Decision: 14/2690	Time: 81.6826/86400
c Decision: 14/2690	Time: 82.9184/86400
c Decision: 14/2690	Time: 84.2582/86400
c Decision: 14/2690	Time: 85.624/86400
c Decision: 14/2690	Time: 86.9718/86400
c Decision: 14/2690	Time: 88.4835/86400
c Decision: 14/2690	Time: 89.9823/86400
c Decision: 14/2690	Time: 91.4571/86400
c Decision: 14/2690	Time: 93.1378/86400
c Decision: 14/2690	Time: 94.9076/86400
c Decision: 14/2690	Time: 96.4863/86400
c Decision: 14/2690	Time: 97.9661/86400
c Decision: 14/2690	Time: 99.5699/86400
c Decision: 14/2690	Time: 101.09/86400
c Decision: 14/2690	Time: 102.972/86400
c Decision: 14/2690	Time: 104.165/86400
c Decision: 14/2690	Time: 105.756/86400
c Decision: 14/2690	Time: 107.453/86400
c Decision: 14/2690	Time: 108.982/86400
c Decision: 14/2690	Time: 110.695/86400
c Decision: 14/2690	Time: 112.499/86400
c Decision: 14/2690	Time: 113.918/86400
c Decision: 14/2690	Time: 115.423/86400
c Decision: 14/2690	Time: 117.064/86400
c Decision: 14/2690	Time: 118.734/86400
c Decision: 14/2690	Time: 120.345/86400
c Decision: 14/2690	Time: 122.13/86400
c Decision: 14/2690	Time: 123.83/86400
c Decision: 14/2690	Time: 125.329/86400
c Decision: 14/2690	Time: 127.155/86400
c Decision: 14/2690	Time: 128.556/86400
c Decision: 14/2690	Time: 130.105/86400
c Decision: 14/2690	Time: 131.767/86400
c Decision: 14/2690	Time: 133.308/86400
c Decision: 14/2690	Time: 135.118/86400
c Decision: 14/2690	Time: 136.764/86400
c Decision: 14/2690	Time: 138.305/86400
c Decision: 14/2690	Time: 139.641/86400
c Decision: 14/2690	Time: 141.573/86400
c Decision: 14/2690	Time: 143.214/86400
c Decision: 14/2690	Time: 144.987/86400
c Decision: 14/2690	Time: 146.501/86400
c Decision: 14/2690	Time: 148.119/86400
c Decision: 14/2690	Time: 149.674/86400
c Decision: 14/2690	Time: 151.406/86400
c Decision: 14/2690	Time: 153.252/86400
c Decision: 14/2690	Time: 155.032/86400
c Decision: 14/2690	Time: 156.856/86400
c Decision: 14/2690	Time: 158.553/86400
c Decision: 14/2690	Time: 160.429/86400
c Decision: 14/2690	Time: 162.285/86400
c Decision: 14/2690	Time: 164.195/86400
c Decision: 14/2690	Time: 166.11/86400
c Decision: 14/2690	Time: 167.709/86400
c Decision: 14/2690	Time: 169.71/86400
c Decision: 14/2690	Time: 171.612/86400
c Decision: 14/2690	Time: 173.608/86400
c Decision: 14/2690	Time: 175.442/86400
c Decision: 14/2690	Time: 177.419/86400
c Decision: 14/2690	Time: 179.546/86400
c Decision: 14/2690	Time: 181.31/86400
c Decision: 14/2690	Time: 182.82/86400
c Decision: 14/2690	Time: 184.688/86400
c Decision: 14/2690	Time: 186.587/86400
c Decision: 14/2690	Time: 188.539/86400
c Decision: 14/2690	Time: 190.331/86400
c Decision: 14/2690	Time: 192.252/86400
c Decision: 14/2690	Time: 194.166/86400
c Decision: 14/2690	Time: 196.088/86400
c Decision: 14/2690	Time: 198.28/86400
c Decision: 14/2690	Time: 199.947/86400
c Decision: 14/2690	Time: 201.903/86400
c Decision: 14/2690	Time: 203.653/86400
c Decision: 14/2690	Time: 205.634/86400
c Decision: 14/2690	Time: 207.604/86400
c Decision: 14/2690	Time: 209.516/86400
c Decision: 14/2690	Time: 211.479/86400
c Decision: 14/2690	Time: 213.328/86400
c Decision: 14/2690	Time: 215.077/86400
c Decision: 14/2690	Time: 217.396/86400
c Decision: 14/2690	Time: 219.396/86400
c Decision: 14/2690	Time: 221.028/86400
c Decision: 14/2690	Time: 222.991/86400
c Decision: 14/2690	Time: 224.39/86400
c Decision: 14/2690	Time: 226.698/86400
c Decision: 14/2690	Time: 228.722/86400
c Decision: 14/2690	Time: 230.731/86400
c Decision: 14/2690	Time: 232.703/86400
c Decision: 14/2690	Time: 234.764/86400
c Decision: 14/2690	Time: 236.95/86400
c Decision: 14/2690	Time: 238.868/86400
c Decision: 14/2690	Time: 240.899/86400
c Decision: 14/2690	Time: 243.068/86400
c Decision: 14/2690	Time: 245.337/86400
c Decision: 14/2690	Time: 247.884/86400
c Decision: 14/2690	Time: 250.173/86400
c Decision: 14/2690	Time: 252.177/86400
c Decision: 14/2690	Time: 254.287/86400
c Decision: 14/2690	Time: 256.361/86400
c Decision: 14/2690	Time: 258.81/86400
c Decision: 14/2690	Time: 260.412/86400
c Decision: 14/2690	Time: 262.754/86400
c Decision: 14/2690	Time: 264.692/86400
c Decision: 14/2690	Time: 266.899/86400
c Decision: 14/2690	Time: 269.501/86400
c Decision: 14/2690	Time: 271.608/86400
c Decision: 14/2690	Time: 273.931/86400
c Decision: 14/2690	Time: 275.849/86400
c Decision: 14/2690	Time: 277.692/86400
c Decision: 14/2690	Time: 280.073/86400
c Decision: 14/2690	Time: 282.006/86400
c Decision: 14/2690	Time: 284.118/86400
c Decision: 14/2690	Time: 286.304/86400
c Decision: 14/2690	Time: 288.144/86400
c Decision: 14/2690	Time: 290.285/86400
c Decision: 14/2690	Time: 292.525/86400
c Decision: 14/2690	Time: 294.696/86400
c Decision: 14/2690	Time: 296.747/86400
c Decision: 14/2690	Time: 298.704/86400
c Decision: 14/2690	Time: 301.29/86400
c Decision: 14/2690	Time: 303.107/86400
c Decision: 14/2690	Time: 305.33/86400
c Decision: 14/2690	Time: 307.516/86400
c Decision: 14/2690	Time: 309.545/86400
c Decision: 14/2690	Time: 311.911/86400
c Decision: 14/2690	Time: 314.278/86400
c Decision: 14/2690	Time: 316.552/86400
c Decision: 14/2690	Time: 318.882/86400
c Decision: 14/2690	Time: 321.049/86400
c Decision: 14/2690	Time: 323.717/86400
c Decision: 14/2690	Time: 325.763/86400
c Decision: 14/2690	Time: 328.183/86400
c Decision: 14/2690	Time: 330.502/86400
c Decision: 14/2690	Time: 332.526/86400
c Decision: 14/2690	Time: 334.774/86400
c Decision: 14/2690	Time: 337.265/86400
c Decision: 14/2690	Time: 339.411/86400
c Decision: 14/2690	Time: 341.772/86400
c Decision: 14/2690	Time: 344.374/86400
c Decision: 14/2690	Time: 347.03/86400
c Decision: 14/2690	Time: 349.284/86400
c Decision: 14/2690	Time: 351.497/86400
c Decision: 14/2690	Time: 353.739/86400
c Decision: 14/2690	Time: 355.983/86400
c Decision: 14/2690	Time: 358.766/86400
c Decision: 14/2690	Time: 361.218/86400
c Decision: 14/2690	Time: 363.893/86400
c Decision: 14/2690	Time: 366.288/86400
c Decision: 14/2690	Time: 368.602/86400
c Decision: 14/2690	Time: 371.334/86400
c Decision: 14/2690	Time: 373.831/86400
c Decision: 14/2690	Time: 376.339/86400
c Decision: 14/2690	Time: 378.521/86400
c Decision: 14/2690	Time: 380.825/86400
c Decision: 14/2690	Time: 383.42/86400
c Decision: 14/2690	Time: 385.62/86400
c Decision: 14/2690	Time: 387.853/86400
c Decision: 14/2690	Time: 389.93/86400
c Decision: 14/2690	Time: 392.504/86400
c Decision: 14/2690	Time: 395.153/86400
c Decision: 14/2690	Time: 397.523/86400
c Decision: 14/2690	Time: 399.978/86400
c Decision: 14/2690	Time: 402.598/86400
c Decision: 14/2690	Time: 404.918/86400
c Decision: 14/2690	Time: 407.946/86400
c Decision: 14/2690	Time: 410.447/86400
c Decision: 14/2690	Time: 412.974/86400
c Decision: 14/2690	Time: 415.608/86400
c Decision: 14/2690	Time: 418.208/86400
c Decision: 14/2690	Time: 421.129/86400
c Decision: 14/2690	Time: 423.181/86400
c Decision: 14/2690	Time: 425.465/86400
c Decision: 14/2690	Time: 427.604/86400
c Decision: 14/2690	Time: 429.8/86400
c Decision: 14/2690	Time: 432.574/86400
c Decision: 14/2690	Time: 434.761/86400
c Decision: 14/2690	Time: 437.074/86400
c Decision: 14/2690	Time: 439.959/86400
c Decision: 14/2690	Time: 442.33/86400
c Decision: 14/2690	Time: 445.195/86400
c Decision: 14/2690	Time: 447.524/86400
c Decision: 14/2690	Time: 449.871/86400
c Decision: 14/2690	Time: 452.245/86400
c Decision: 14/2690	Time: 454.754/86400
c Decision: 14/2690	Time: 457.648/86400
c Decision: 14/2690	Time: 460.007/86400
c Decision: 14/2690	Time: 462.476/86400
c Decision: 14/2690	Time: 465.024/86400
c Decision: 14/2690	Time: 467.336/86400
c Decision: 14/2690	Time: 470.376/86400
c Decision: 14/2690	Time: 472.712/86400
c Decision: 14/2690	Time: 475.369/86400
c Decision: 14/2690	Time: 478.335/86400
c Decision: 14/2690	Time: 481.092/86400
c Decision: 14/2690	Time: 483.935/86400
c Decision: 14/2690	Time: 486.633/86400
c Decision: 14/2690	Time: 489.214/86400
c Decision: 14/2690	Time: 491.773/86400
c Decision: 14/2690	Time: 494.567/86400
c Decision: 14/2690	Time: 497.307/86400
c Decision: 14/2690	Time: 499.817/86400
c Decision: 14/2690	Time: 502.235/86400
c Decision: 14/2690	Time: 504.751/86400
c Decision: 14/2690	Time: 507.288/86400
c Decision: 14/2690	Time: 510.084/86400
c Decision: 14/2690	Time: 512.771/86400
c Decision: 14/2690	Time: 515.223/86400
c Decision: 14/2690	Time: 517.826/86400
c Decision: 14/2690	Time: 520.306/86400
c Decision: 14/2690	Time: 523.425/86400
c Decision: 14/2690	Time: 526.042/86400
c Decision: 14/2690	Time: 528.7/86400
c Decision: 14/2690	Time: 531.219/86400
c Decision: 14/2690	Time: 533.897/86400
c Decision: 14/2690	Time: 537.363/86400
c Decision: 14/2690	Time: 539.812/86400
c Decision: 14/2690	Time: 542.138/86400
c Decision: 14/2690	Time: 544.807/86400
c Decision: 14/2690	Time: 546.95/86400
c Decision: 14/2690	Time: 549.682/86400
c Decision: 14/2690	Time: 552.451/86400
c Decision: 14/2690	Time: 554.997/86400
c Decision: 14/2690	Time: 557.231/86400
c Decision: 14/2690	Time: 559.693/86400
c Decision: 14/2690	Time: 563.016/86400
c Decision: 14/2690	Time: 565.42/86400
c Decision: 14/2690	Time: 567.884/86400
c Decision: 14/2690	Time: 570.023/86400
c Decision: 14/2690	Time: 572.348/86400
c Decision: 14/2690	Time: 575.351/86400
c Decision: 14/2690	Time: 577.947/86400
c Decision: 14/2690	Time: 580.272/86400
c Decision: 14/2690	Time: 582.619/86400
c Decision: 14/2690	Time: 584.978/86400
c Decision: 14/2690	Time: 587.963/86400
c Decision: 14/2690	Time: 590.249/86400
c Decision: 14/2690	Time: 592.714/86400
c Decision: 14/2690	Time: 595.567/86400
c Decision: 14/2690	Time: 597.979/86400
c Decision: 14/2690	Time: 600.684/86400
c Decision: 14/2690	Time: 603.446/86400
c Decision: 14/2690	Time: 605.879/86400
c Decision: 14/2690	Time: 608.227/86400
c Decision: 14/2690	Time: 610.696/86400
c Decision: 14/2690	Time: 613.565/86400
c Decision: 14/2690	Time: 615.972/86400
c Decision: 14/2690	Time: 618.557/86400
c Decision: 14/2690	Time: 621.003/86400
c Decision: 14/2690	Time: 623.424/86400
c Decision: 14/2690	Time: 626.421/86400
c Decision: 14/2690	Time: 629.123/86400
c Decision: 14/2690	Time: 631.614/86400
c Decision: 14/2690	Time: 634.444/86400
c Decision: 14/2690	Time: 636.933/86400
c Decision: 14/2690	Time: 640.085/86400
c Decision: 14/2690	Time: 642.71/86400
c Decision: 14/2690	Time: 645.235/86400
c Decision: 14/2690	Time: 648.08/86400
c Decision: 14/2690	Time: 650.835/86400
c Decision: 14/2690	Time: 653.989/86400
c Decision: 14/2690	Time: 656.788/86400
c Decision: 14/2690	Time: 659.49/86400
c Decision: 14/2690	Time: 662.381/86400
c Decision: 14/2690	Time: 665.417/86400
c Decision: 14/2690	Time: 668.441/86400
c Decision: 14/2690	Time: 671.172/86400
c Decision: 14/2690	Time: 673.912/86400
c Decision: 14/2690	Time: 676.32/86400
c Decision: 14/2690	Time: 678.549/86400
c Decision: 14/2690	Time: 681.326/86400
c Decision: 14/2690	Time: 683.965/86400
c Decision: 14/2690	Time: 686.687/86400
c Decision: 14/2690	Time: 689.131/86400
c Decision: 14/2690	Time: 691.951/86400
c Decision: 14/2690	Time: 695.216/86400
c Decision: 14/2690	Time: 697.853/86400
c Decision: 14/2690	Time: 700.534/86400
c Decision: 14/2690	Time: 703.172/86400
c Decision: 14/2690	Time: 706.046/86400
c Decision: 14/2690	Time: 709.319/86400
c Decision: 14/2690	Time: 711.755/86400
c Decision: 14/2690	Time: 714.516/86400
c Decision: 14/2690	Time: 717.08/86400
c Decision: 14/2690	Time: 719.936/86400
c Decision: 14/2690	Time: 722.752/86400
c Decision: 14/2690	Time: 724.967/86400
c Decision: 14/2690	Time: 727.269/86400
c Decision: 14/2690	Time: 729.699/86400
c Decision: 14/2690	Time: 732.041/86400
c Decision: 14/2690	Time: 734.952/86400
c Decision: 14/2690	Time: 737.087/86400
c Decision: 14/2690	Time: 739.688/86400
c Decision: 14/2690	Time: 742.053/86400
c Decision: 14/2690	Time: 744.545/86400
c Decision: 14/2690	Time: 746.856/86400
c Decision: 14/2690	Time: 749.318/86400
c Decision: 14/2690	Time: 751.855/86400
c Decision: 14/2690	Time: 754.114/86400
c Decision: 14/2690	Time: 756.587/86400
c Decision: 14/2690	Time: 759.351/86400
c Decision: 14/2690	Time: 761.843/86400
c Decision: 14/2690	Time: 764.433/86400
c Decision: 14/2690	Time: 766.799/86400
c Decision: 14/2690	Time: 769.268/86400
c Decision: 14/2690	Time: 772.096/86400
c Decision: 14/2690	Time: 774.435/86400
c Decision: 14/2690	Time: 777.023/86400
c Decision: 14/2690	Time: 779.676/86400
c Decision: 14/2690	Time: 782.342/86400
c Decision: 14/2690	Time: 784.999/86400
c Decision: 14/2690	Time: 787.419/86400
c Decision: 14/2690	Time: 789.747/86400
c Decision: 14/2690	Time: 792.235/86400
c Decision: 14/2690	Time: 795.009/86400
c Decision: 14/2690	Time: 797.811/86400
c Decision: 14/2690	Time: 800.266/86400
c Decision: 14/2690	Time: 802.763/86400
c Decision: 14/2690	Time: 805.27/86400
c Decision: 14/2690	Time: 807.356/86400
c Decision: 14/2690	Time: 810.032/86400
c Decision: 14/2690	Time: 812.613/86400
c Decision: 14/2690	Time: 815.18/86400
c Decision: 14/2690	Time: 817.647/86400
c Decision: 14/2690	Time: 819.978/86400
c Decision: 14/2690	Time: 822.553/86400
c Decision: 14/2690	Time: 825.127/86400
c Decision: 14/2690	Time: 827.631/86400
c Decision: 14/2690	Time: 830.296/86400
c Decision: 14/2690	Time: 832.844/86400
c Decision: 14/2690	Time: 835.643/86400
c Decision: 14/2690	Time: 838.015/86400
c Decision: 14/2690	Time: 840.486/86400
c Decision: 14/2690	Time: 843.079/86400
c Decision: 14/2690	Time: 845.51/86400
c Decision: 14/2690	Time: 848.366/86400
c Decision: 14/2690	Time: 850.739/86400
c Decision: 14/2690	Time: 853.525/86400
c Decision: 14/2690	Time: 855.943/86400
c Decision: 14/2690	Time: 858.752/86400
c Decision: 14/2690	Time: 861.646/86400
c Decision: 14/2690	Time: 864.347/86400
c Decision: 14/2690	Time: 866.927/86400
c Decision: 14/2690	Time: 869.279/86400
c Decision: 14/2690	Time: 871.835/86400
c Decision: 14/2690	Time: 874.89/86400
c Decision: 14/2690	Time: 877.529/86400
c Decision: 14/2690	Time: 880.435/86400
c Decision: 14/2690	Time: 883.1/86400
c Decision: 14/2690	Time: 885.821/86400
c Decision: 14/2690	Time: 889.035/86400
c Decision: 14/2690	Time: 891.551/86400
c Decision: 14/2690	Time: 894.075/86400
c Decision: 14/2690	Time: 896.7/86400
c Decision: 14/2690	Time: 899.465/86400
c Decision: 14/2690	Time: 902.593/86400
c Decision: 14/2690	Time: 905.572/86400
c Decision: 14/2690	Time: 908.551/86400
c Decision: 14/2690	Time: 911.5/86400
c Decision: 14/2690	Time: 914.316/86400
c Decision: 14/2690	Time: 917.66/86400
c Decision: 14/2690	Time: 920.725/86400
c Decision: 14/2690	Time: 923.64/86400
c Decision: 14/2690	Time: 926.38/86400
c Decision: 14/2690	Time: 928.959/86400
c Decision: 14/2690	Time: 932.255/86400
c Decision: 14/2690	Time: 934.875/86400
c Decision: 14/2690	Time: 937.894/86400
c Decision: 14/2690	Time: 940.64/86400
c Decision: 14/2690	Time: 942.902/86400
c Decision: 14/2690	Time: 945.893/86400
c Decision: 14/2690	Time: 948.333/86400
c Decision: 14/2690	Time: 950.913/86400
c Decision: 14/2690	Time: 953.474/86400
c Decision: 14/2690	Time: 956.257/86400
c Decision: 14/2690	Time: 959.357/86400
c Decision: 14/2690	Time: 961.883/86400
c Decision: 14/2690	Time: 964.629/86400
c Decision: 14/2690	Time: 966.874/86400
c Decision: 14/2690	Time: 969.268/86400
c Decision: 14/2690	Time: 972.51/86400
c Decision: 14/2690	Time: 975.062/86400
c Decision: 14/2690	Time: 977.502/86400
c Decision: 14/2690	Time: 979.941/86400
c Decision: 14/2690	Time: 982.353/86400
c Decision: 14/2690	Time: 985.542/86400
c Decision: 14/2690	Time: 987.938/86400
c Decision: 14/2690	Time: 990.781/86400
c Decision: 14/2690	Time: 993.463/86400
c Decision: 14/2690	Time: 995.973/86400
c Decision: 14/2690	Time: 999.207/86400
c Decision: 14/2690	Time: 1001.99/86400
c Decision: 14/2690	Time: 1004.56/86400
c Decision: 14/2690	Time: 1007.47/86400
c Decision: 14/2690	Time: 1009.99/86400
c Decision: 14/2690	Time: 1013.2/86400
c Decision: 14/2690	Time: 1016/86400
c Decision: 14/2690	Time: 1018.81/86400
c Decision: 14/2690	Time: 1021.64/86400
c Decision: 14/2690	Time: 1023.99/86400
c Decision: 14/2690	Time: 1027.36/86400
c Decision: 14/2690	Time: 1030.1/86400
c Decision: 14/2690	Time: 1032.88/86400
c Decision: 14/2690	Time: 1035.47/86400
c Decision: 14/2690	Time: 1038.4/86400
c Decision: 14/2690	Time: 1042.09/86400
c Decision: 14/2690	Time: 1044.94/86400
c Decision: 14/2690	Time: 1047.65/86400
c Decision: 14/2690	Time: 1050.64/86400
c Decision: 14/2690	Time: 1054.14/86400
c Decision: 14/2690	Time: 1057.43/86400
c Decision: 14/2690	Time: 1060.2/86400
c Decision: 14/2690	Time: 1063.18/86400
c Decision: 14/2690	Time: 1066.13/86400
c Decision: 14/2690	Time: 1069.14/86400
c Decision: 14/2690	Time: 1072.77/86400
c Decision: 14/2690	Time: 1075.93/86400
c Decision: 14/2690	Time: 1078.7/86400
c Decision: 14/2690	Time: 1081.66/86400
c Decision: 14/2690	Time: 1084.48/86400
c Decision: 14/2690	Time: 1087.82/86400
c Decision: 14/2690	Time: 1090.34/86400
c Decision: 14/2690	Time: 1093.19/86400
c Decision: 14/2690	Time: 1095.94/86400
c Decision: 14/2690	Time: 1099.07/86400
c Decision: 14/2690	Time: 1102.27/86400
c Decision: 14/2690	Time: 1105.14/86400
c Decision: 14/2690	Time: 1108.09/86400
c Decision: 14/2690	Time: 1111.11/86400
c Decision: 14/2690	Time: 1114.08/86400
c Decision: 14/2690	Time: 1117.9/86400
c Decision: 14/2690	Time: 1121/86400
c Decision: 14/2690	Time: 1124.26/86400
c Decision: 14/2690	Time: 1127.44/86400
c Decision: 14/2690	Time: 1130.72/86400
c Decision: 14/2690	Time: 1133.91/86400
c Decision: 14/2690	Time: 1137.21/86400
c Decision: 14/2690	Time: 1139.74/86400
c Decision: 14/2690	Time: 1142.32/86400
c Decision: 14/2690	Time: 1145.36/86400
c Decision: 14/2690	Time: 1149.05/86400
c Decision: 14/2690	Time: 1152.02/86400
c Decision: 14/2690	Time: 1155.02/86400
c Decision: 14/2690	Time: 1157.8/86400
c Decision: 14/2690	Time: 1160.98/86400
c Decision: 14/2690	Time: 1164.41/86400
c Decision: 14/2690	Time: 1167.15/86400
c Decision: 14/2690	Time: 1170.29/86400
c Decision: 14/2690	Time: 1173.27/86400
c Decision: 14/2690	Time: 1176.27/86400
c Decision: 14/2690	Time: 1179.79/86400
c Decision: 14/2690	Time: 1182.9/86400
c Decision: 14/2690	Time: 1185.99/86400
c Decision: 14/2690	Time: 1188.45/86400
c Decision: 14/2690	Time: 1191.5/86400
c Decision: 14/2690	Time: 1194.82/86400
c Decision: 14/2690	Time: 1197.78/86400
c Decision: 14/2690	Time: 1200.65/86400
c Decision: 14/2690	Time: 1203.52/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/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21083247 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 373 2 364 364 0 9 0
[pid=6729] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-par32-5-c.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 992 0 0 0 960 12 0 0 25 0 1 0 21083247 4890624 878 4294967295 134512640 135987407 3221224576 3221223336 134811681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 1194 878 364 364 0 830 0
[pid=6729] vsize: 4776
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 4776

[startup+20.003 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 1441 0 0 0 1919 27 0 0 25 0 1 0 21083247 6885376 1230 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 1681 1230 364 364 0 1317 0
[pid=6729] vsize: 6724
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 6724

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.97 0.98 1/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 1810 0 0 0 2881 42 0 0 25 0 1 0 21083247 9515008 1599 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 2323 1599 364 364 0 1959 0
[pid=6729] vsize: 9292
Current children cumulated CPU time (s) 29.23
Current children cumulated vsize (Kb) 9292

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 2059 0 0 0 3844 55 0 0 25 0 1 0 21083247 10047488 1848 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 2453 1848 364 364 0 2089 0
[pid=6729] vsize: 9812
Current children cumulated CPU time (s) 38.99
Current children cumulated vsize (Kb) 9812

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 2448 0 0 0 4813 67 0 0 25 0 1 0 21083247 11100160 2044 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 2710 2044 364 364 0 2346 0
[pid=6729] vsize: 10840
Current children cumulated CPU time (s) 48.8
Current children cumulated vsize (Kb) 10840

[startup+60.0054 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 2741 0 0 0 5776 81 0 0 25 0 1 0 21083247 11739136 2337 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 2866 2337 364 364 0 2502 0
[pid=6729] vsize: 11464
Current children cumulated CPU time (s) 58.57
Current children cumulated vsize (Kb) 11464

[startup+70.006 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 2943 0 0 0 6745 92 0 0 25 0 1 0 21083247 12005376 2539 4294967295 134512640 135987407 3221224576 3221223392 134824330 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 2931 2539 364 364 0 2567 0
[pid=6729] vsize: 11724
Current children cumulated CPU time (s) 68.37
Current children cumulated vsize (Kb) 11724

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 3179 0 0 0 7714 103 0 0 25 0 1 0 21083247 16625664 2775 4294967295 134512640 135987407 3221224576 3221223264 134811986 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 4059 2775 364 364 0 3695 0
[pid=6729] vsize: 16236
Current children cumulated CPU time (s) 78.17
Current children cumulated vsize (Kb) 16236

[startup+90.0062 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 3262 0 0 0 8680 114 0 0 25 0 1 0 21083247 16891904 2858 4294967295 134512640 135987407 3221224576 3221223264 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4124 2858 364 364 0 3760 0
[pid=6729] vsize: 16496
Current children cumulated CPU time (s) 87.94
Current children cumulated vsize (Kb) 16496

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 3436 0 0 0 9649 126 0 0 25 0 1 0 21083247 17027072 3032 4294967295 134512640 135987407 3221224576 3221223404 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 4157 3032 364 364 0 3793 0
[pid=6729] vsize: 16628
Current children cumulated CPU time (s) 97.75
Current children cumulated vsize (Kb) 16628

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 3595 0 0 0 10620 136 0 0 25 0 1 0 21083247 17276928 3191 4294967295 134512640 135987407 3221224576 3221223344 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 4218 3191 364 364 0 3854 0
[pid=6729] vsize: 16872
Current children cumulated CPU time (s) 107.56
Current children cumulated vsize (Kb) 16872

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 4122 0 0 0 11591 147 0 0 25 0 1 0 21083247 19116032 3333 4294967295 134512640 135987407 3221224576 3221223264 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 4667 3333 364 364 0 4303 0
[pid=6729] vsize: 18668
Current children cumulated CPU time (s) 117.38
Current children cumulated vsize (Kb) 18668

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 4337 0 0 0 12568 156 0 0 25 0 1 0 21083247 19243008 3548 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4698 3548 364 364 0 4334 0
[pid=6729] vsize: 18792
Current children cumulated CPU time (s) 127.24
Current children cumulated vsize (Kb) 18792

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 4507 0 0 0 13541 165 0 0 25 0 1 0 21083247 19521536 3718 4294967295 134512640 135987407 3221224576 3221223264 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4766 3718 364 364 0 4402 0
[pid=6729] vsize: 19064
Current children cumulated CPU time (s) 137.06
Current children cumulated vsize (Kb) 19064

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 4670 0 0 0 14517 173 0 0 25 0 1 0 21083247 19660800 3881 4294967295 134512640 135987407 3221224576 3221223264 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4800 3881 364 364 0 4436 0
[pid=6729] vsize: 19200
Current children cumulated CPU time (s) 146.9
Current children cumulated vsize (Kb) 19200

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 4809 0 0 0 15489 182 0 0 25 0 1 0 21083247 19931136 4020 4294967295 134512640 135987407 3221224576 3221223360 134812328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4866 4020 364 364 0 4502 0
[pid=6729] vsize: 19464
Current children cumulated CPU time (s) 156.71
Current children cumulated vsize (Kb) 19464

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6729
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 4941 0 0 0 16463 192 0 0 25 0 1 0 21083247 20209664 4152 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 4934 4152 364 364 0 4570 0
[pid=6729] vsize: 19736
Current children cumulated CPU time (s) 166.55
Current children cumulated vsize (Kb) 19736

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6784
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 5140 0 0 0 17436 202 0 0 25 0 1 0 21083247 20529152 4351 4294967295 134512640 135987407 3221224576 3221223264 134811888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 5012 4351 364 364 0 4648 0
[pid=6729] vsize: 20048
Current children cumulated CPU time (s) 176.38
Current children cumulated vsize (Kb) 20048

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6784
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 5325 0 0 0 18412 212 0 0 25 0 1 0 21083247 29224960 4536 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 7135 4536 364 364 0 6771 0
[pid=6729] vsize: 28540
Current children cumulated CPU time (s) 186.24
Current children cumulated vsize (Kb) 28540

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6784
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 5529 0 0 0 19390 220 0 0 25 0 1 0 21083247 29372416 4740 4294967295 134512640 135987407 3221224576 3221223328 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 7171 4740 364 364 0 6807 0
[pid=6729] vsize: 28684
Current children cumulated CPU time (s) 196.1
Current children cumulated vsize (Kb) 28684

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6784
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 5778 0 0 0 20368 228 0 0 25 0 1 0 21083247 29511680 4989 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7205 4989 364 364 0 6841 0
[pid=6729] vsize: 28820
Current children cumulated CPU time (s) 205.96
Current children cumulated vsize (Kb) 28820

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6784
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6017 0 0 0 21349 236 0 0 25 0 1 0 21083247 29827072 5228 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7282 5228 364 364 0 6918 0
[pid=6729] vsize: 29128
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 29128

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6786
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6141 0 0 0 22330 243 0 0 25 0 1 0 21083247 29958144 5352 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7314 5352 364 364 0 6950 0
[pid=6729] vsize: 29256
Current children cumulated CPU time (s) 225.73
Current children cumulated vsize (Kb) 29256

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6786
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6228 0 0 0 23309 250 0 0 25 0 1 0 21083247 30269440 5439 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7390 5439 364 364 0 7026 0
[pid=6729] vsize: 29560
Current children cumulated CPU time (s) 235.59
Current children cumulated vsize (Kb) 29560

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6443 0 0 0 24288 257 0 0 25 0 1 0 21083247 30466048 5654 4294967295 134512640 135987407 3221224576 3221223072 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7438 5654 364 364 0 7074 0
[pid=6729] vsize: 29752
Current children cumulated CPU time (s) 245.45
Current children cumulated vsize (Kb) 29752

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6618 0 0 0 25271 262 0 0 25 0 1 0 21083247 30826496 5829 4294967295 134512640 135987407 3221224576 3221223392 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7526 5829 364 364 0 7162 0
[pid=6729] vsize: 30104
Current children cumulated CPU time (s) 255.33
Current children cumulated vsize (Kb) 30104

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6801 0 0 0 26250 270 0 0 25 0 1 0 21083247 30826496 6012 4294967295 134512640 135987407 3221224576 3221223296 134814133 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7526 6012 364 364 0 7162 0
[pid=6729] vsize: 30104
Current children cumulated CPU time (s) 265.2
Current children cumulated vsize (Kb) 30104

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 6973 0 0 0 27237 274 0 0 25 0 1 0 21083247 31092736 6184 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 7591 6184 364 364 0 7227 0
[pid=6729] vsize: 30364
Current children cumulated CPU time (s) 275.11
Current children cumulated vsize (Kb) 30364

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 7949 0 0 0 28216 283 0 0 25 0 1 0 21083247 34402304 6391 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8399 6391 364 364 0 8035 0
[pid=6729] vsize: 33596
Current children cumulated CPU time (s) 284.99
Current children cumulated vsize (Kb) 33596

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 8152 0 0 0 29193 292 0 0 25 0 1 0 21083247 34725888 6594 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8478 6594 364 364 0 8114 0
[pid=6729] vsize: 33912
Current children cumulated CPU time (s) 294.85
Current children cumulated vsize (Kb) 33912

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 8305 0 0 0 30174 300 0 0 25 0 1 0 21083247 34873344 6747 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8514 6747 364 364 0 8150 0
[pid=6729] vsize: 34056
Current children cumulated CPU time (s) 304.74
Current children cumulated vsize (Kb) 34056

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 8498 0 0 0 31152 306 0 0 25 0 1 0 21083247 35008512 6940 4294967295 134512640 135987407 3221224576 3221223380 135477853 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8547 6940 364 364 0 8183 0
[pid=6729] vsize: 34188
Current children cumulated CPU time (s) 314.58
Current children cumulated vsize (Kb) 34188

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 8717 0 0 0 32134 314 0 0 25 0 1 0 21083247 35287040 7159 4294967295 134512640 135987407 3221224576 3221223392 134876847 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8615 7159 364 364 0 8251 0
[pid=6729] vsize: 34460
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (Kb) 34460

[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 8780 0 0 0 33114 321 0 0 25 0 1 0 21083247 35430400 7222 4294967295 134512640 135987407 3221224576 3221223392 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8650 7222 364 364 0 8286 0
[pid=6729] vsize: 34600
Current children cumulated CPU time (s) 334.35
Current children cumulated vsize (Kb) 34600

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 8942 0 0 0 34099 327 0 0 25 0 1 0 21083247 35569664 7384 4294967295 134512640 135987407 3221224576 3221223264 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8684 7384 364 364 0 8320 0
[pid=6729] vsize: 34736
Current children cumulated CPU time (s) 344.26
Current children cumulated vsize (Kb) 34736

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 9126 0 0 0 35083 333 0 0 25 0 1 0 21083247 35708928 7568 4294967295 134512640 135987407 3221224576 3221223296 134813856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 8718 7568 364 364 0 8354 0
[pid=6729] vsize: 34872
Current children cumulated CPU time (s) 354.16
Current children cumulated vsize (Kb) 34872

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 9290 0 0 0 36070 339 0 0 25 0 1 0 21083247 36028416 7732 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 8796 7732 364 364 0 8432 0
[pid=6729] vsize: 35184
Current children cumulated CPU time (s) 364.09
Current children cumulated vsize (Kb) 35184

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 9489 0 0 0 37052 345 0 0 25 0 1 0 21083247 52805632 7931 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6729/statm): 12892 7931 364 364 0 12528 0
[pid=6729] vsize: 51568
Current children cumulated CPU time (s) 373.97
Current children cumulated vsize (Kb) 51568

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 9730 0 0 0 38034 352 0 0 25 0 1 0 21083247 53071872 8172 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 12957 8172 364 364 0 12593 0
[pid=6729] vsize: 51828
Current children cumulated CPU time (s) 383.86
Current children cumulated vsize (Kb) 51828

[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 9846 0 0 0 39017 359 0 0 25 0 1 0 21083247 53202944 8288 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 12989 8288 364 364 0 12625 0
[pid=6729] vsize: 51956
Current children cumulated CPU time (s) 393.76
Current children cumulated vsize (Kb) 51956

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 9945 0 0 0 39999 365 0 0 25 0 1 0 21083247 53501952 8387 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13062 8387 364 364 0 12698 0
[pid=6729] vsize: 52248
Current children cumulated CPU time (s) 403.64
Current children cumulated vsize (Kb) 52248

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 10009 0 0 0 40982 372 0 0 25 0 1 0 21083247 53501952 8451 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13062 8451 364 364 0 12698 0
[pid=6729] vsize: 52248
Current children cumulated CPU time (s) 413.54
Current children cumulated vsize (Kb) 52248

[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 10218 0 0 0 41965 378 0 0 25 0 1 0 21083247 53637120 8660 4294967295 134512640 135987407 3221224576 3221223296 134813747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13095 8660 364 364 0 12731 0
[pid=6729] vsize: 52380
Current children cumulated CPU time (s) 423.43
Current children cumulated vsize (Kb) 52380

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 10456 0 0 0 42949 384 0 0 25 0 1 0 21083247 53882880 8898 4294967295 134512640 135987407 3221224576 3221223392 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13155 8898 364 364 0 12791 0
[pid=6729] vsize: 52620
Current children cumulated CPU time (s) 433.33
Current children cumulated vsize (Kb) 52620

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 10592 0 0 0 43932 389 0 0 25 0 1 0 21083247 54267904 9034 4294967295 134512640 135987407 3221224576 3221223264 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13249 9034 364 364 0 12885 0
[pid=6729] vsize: 52996
Current children cumulated CPU time (s) 443.21
Current children cumulated vsize (Kb) 52996

[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 10684 0 0 0 44918 394 0 0 25 0 1 0 21083247 54398976 9126 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13281 9126 364 364 0 12917 0
[pid=6729] vsize: 53124
Current children cumulated CPU time (s) 453.12
Current children cumulated vsize (Kb) 53124

[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 10819 0 0 0 45901 400 0 0 25 0 1 0 21083247 54546432 9261 4294967295 134512640 135987407 3221224576 3221223296 134813856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13317 9261 364 364 0 12953 0
[pid=6729] vsize: 53268
Current children cumulated CPU time (s) 463.01
Current children cumulated vsize (Kb) 53268

[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 10957 0 0 0 46885 406 0 0 25 0 1 0 21083247 54849536 9399 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13391 9399 364 364 0 13027 0
[pid=6729] vsize: 53564
Current children cumulated CPU time (s) 472.91
Current children cumulated vsize (Kb) 53564

[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11111 0 0 0 47870 411 0 0 25 0 1 0 21083247 54984704 9553 4294967295 134512640 135987407 3221224576 3221223440 134812600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13424 9553 364 364 0 13060 0
[pid=6729] vsize: 53696
Current children cumulated CPU time (s) 482.81
Current children cumulated vsize (Kb) 53696

[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11230 0 0 0 48856 416 0 0 25 0 1 0 21083247 55119872 9672 4294967295 134512640 135987407 3221224576 3221223264 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13457 9672 364 364 0 13093 0
[pid=6729] vsize: 53828
Current children cumulated CPU time (s) 492.72
Current children cumulated vsize (Kb) 53828

[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11406 0 0 0 49837 422 0 0 25 0 1 0 21083247 55549952 9848 4294967295 134512640 135987407 3221224576 3221223296 134814134 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13562 9848 364 364 0 13198 0
[pid=6729] vsize: 54248
Current children cumulated CPU time (s) 502.59
Current children cumulated vsize (Kb) 54248

[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6790
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11534 0 0 0 50821 428 0 0 25 0 1 0 21083247 55685120 9976 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13595 9976 364 364 0 13231 0
[pid=6729] vsize: 54380
Current children cumulated CPU time (s) 512.49
Current children cumulated vsize (Kb) 54380

[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11720 0 0 0 51804 435 0 0 25 0 1 0 21083247 56061952 10162 4294967295 134512640 135987407 3221224576 3221223216 134821350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13687 10162 364 364 0 13323 0
[pid=6729] vsize: 54748
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (Kb) 54748

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 11779 0 0 0 52790 441 0 0 25 0 1 0 21083247 56061952 10221 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13687 10221 364 364 0 13323 0
[pid=6729] vsize: 54748
Current children cumulated CPU time (s) 532.31
Current children cumulated vsize (Kb) 54748

[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 11961 0 0 0 53772 448 0 0 25 0 1 0 21083247 56541184 10403 4294967295 134512640 135987407 3221224576 3221223264 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13804 10403 364 364 0 13440 0
[pid=6729] vsize: 55216
Current children cumulated CPU time (s) 542.2
Current children cumulated vsize (Kb) 55216

[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12073 0 0 0 54757 453 0 0 25 0 1 0 21083247 57077760 10515 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13935 10515 364 364 0 13571 0
[pid=6729] vsize: 55740
Current children cumulated CPU time (s) 552.1
Current children cumulated vsize (Kb) 55740

[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12120 0 0 0 55740 458 0 0 25 0 1 0 21083247 57196544 10562 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13964 10562 364 364 0 13600 0
[pid=6729] vsize: 55856
Current children cumulated CPU time (s) 561.98
Current children cumulated vsize (Kb) 55856

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 12175 0 0 0 56723 463 0 0 25 0 1 0 21083247 57331712 10617 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 13997 10617 364 364 0 13633 0
[pid=6729] vsize: 55988
Current children cumulated CPU time (s) 571.86
Current children cumulated vsize (Kb) 55988

[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12221 0 0 0 57708 468 0 0 25 0 1 0 21083247 57565184 10663 4294967295 134512640 135987407 3221224576 3221223264 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14054 10663 364 364 0 13690 0
[pid=6729] vsize: 56216
Current children cumulated CPU time (s) 581.76
Current children cumulated vsize (Kb) 56216

[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12271 0 0 0 58692 474 0 0 25 0 1 0 21083247 57700352 10713 4294967295 134512640 135987407 3221224576 3221223328 134801260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14087 10713 364 364 0 13723 0
[pid=6729] vsize: 56348
Current children cumulated CPU time (s) 591.66
Current children cumulated vsize (Kb) 56348

[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12333 0 0 0 59676 481 0 0 25 0 1 0 21083247 57950208 10775 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14148 10775 364 364 0 13784 0
[pid=6729] vsize: 56592
Current children cumulated CPU time (s) 601.57
Current children cumulated vsize (Kb) 56592

[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12397 0 0 0 60661 486 0 0 25 0 1 0 21083247 58241024 10839 4294967295 134512640 135987407 3221224576 3221223296 134814108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14219 10839 364 364 0 13855 0
[pid=6729] vsize: 56876
Current children cumulated CPU time (s) 611.47
Current children cumulated vsize (Kb) 56876

[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12432 0 0 0 61642 493 0 0 25 0 1 0 21083247 58376192 10874 4294967295 134512640 135987407 3221224576 3221223296 134813847 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14252 10874 364 364 0 13888 0
[pid=6729] vsize: 57008
Current children cumulated CPU time (s) 621.35
Current children cumulated vsize (Kb) 57008

[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12467 0 0 0 62627 497 0 0 25 0 1 0 21083247 58499072 10909 4294967295 134512640 135987407 3221224576 3221223264 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14282 10909 364 364 0 13918 0
[pid=6729] vsize: 57128
Current children cumulated CPU time (s) 631.24
Current children cumulated vsize (Kb) 57128

[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12503 0 0 0 63614 502 0 0 25 0 1 0 21083247 58499072 10945 4294967295 134512640 135987407 3221224576 3221223360 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14282 10945 364 364 0 13918 0
[pid=6729] vsize: 57128
Current children cumulated CPU time (s) 641.16
Current children cumulated vsize (Kb) 57128

[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12555 0 0 0 64597 510 0 0 25 0 1 0 21083247 58761216 10997 4294967295 134512640 135987407 3221224576 3221223296 134813836 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14346 10997 364 364 0 13982 0
[pid=6729] vsize: 57384
Current children cumulated CPU time (s) 651.07
Current children cumulated vsize (Kb) 57384

[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12609 0 0 0 65584 514 0 0 25 0 1 0 21083247 59031552 11051 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14412 11051 364 364 0 14048 0
[pid=6729] vsize: 57648
Current children cumulated CPU time (s) 660.98
Current children cumulated vsize (Kb) 57648

[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12651 0 0 0 66569 521 0 0 25 0 1 0 21083247 59166720 11093 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14445 11093 364 364 0 14081 0
[pid=6729] vsize: 57780
Current children cumulated CPU time (s) 670.9
Current children cumulated vsize (Kb) 57780

[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12682 0 0 0 67553 527 0 0 25 0 1 0 21083247 59346944 11124 4294967295 134512640 135987407 3221224576 3221223264 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14489 11124 364 364 0 14125 0
[pid=6729] vsize: 57956
Current children cumulated CPU time (s) 680.8
Current children cumulated vsize (Kb) 57956

[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12766 0 0 0 68541 531 0 0 25 0 1 0 21083247 59478016 11208 4294967295 134512640 135987407 3221224576 3221223264 134811977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14521 11208 364 364 0 14157 0
[pid=6729] vsize: 58084
Current children cumulated CPU time (s) 690.72
Current children cumulated vsize (Kb) 58084

[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 12897 0 0 0 69527 535 0 0 25 0 1 0 21083247 59478016 11339 4294967295 134512640 135987407 3221224576 3221223440 134812623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14521 11339 364 364 0 14157 0
[pid=6729] vsize: 58084
Current children cumulated CPU time (s) 700.62
Current children cumulated vsize (Kb) 58084

[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 13036 0 0 0 70514 540 0 0 25 0 1 0 21083247 59609088 11478 4294967295 134512640 135987407 3221224576 3221223264 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14553 11478 364 364 0 14189 0
[pid=6729] vsize: 58212
Current children cumulated CPU time (s) 710.54
Current children cumulated vsize (Kb) 58212

[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 13253 0 0 0 71496 546 0 0 25 0 1 0 21083247 60555264 11695 4294967295 134512640 135987407 3221224576 3221223296 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14784 11695 364 364 0 14420 0
[pid=6729] vsize: 59136
Current children cumulated CPU time (s) 720.42
Current children cumulated vsize (Kb) 59136

[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 13424 0 0 0 72477 553 0 0 25 0 1 0 21083247 61075456 11866 4294967295 134512640 135987407 3221224576 3221223296 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14911 11866 364 364 0 14547 0
[pid=6729] vsize: 59644
Current children cumulated CPU time (s) 730.3
Current children cumulated vsize (Kb) 59644

[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 13442 0 0 0 73456 559 0 0 25 0 1 0 21083247 61075456 11884 4294967295 134512640 135987407 3221224576 3221223296 134814123 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 14911 11884 364 364 0 14547 0
[pid=6729] vsize: 59644
Current children cumulated CPU time (s) 740.15
Current children cumulated vsize (Kb) 59644

[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 13464 0 0 0 74439 564 0 0 25 0 1 0 21083247 61075456 11906 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 14911 11906 364 364 0 14547 0
[pid=6729] vsize: 59644
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 59644

[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15040 0 0 0 75420 573 0 0 25 0 1 0 21083247 67502080 11945 4294967295 134512640 135987407 3221224576 3221223392 134876929 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16480 11945 364 364 0 16116 0
[pid=6729] vsize: 65920
Current children cumulated CPU time (s) 759.93
Current children cumulated vsize (Kb) 65920

[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15056 0 0 0 76401 580 0 0 25 0 1 0 21083247 67502080 11961 4294967295 134512640 135987407 3221224576 3221223296 134814142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16480 11961 364 364 0 16116 0
[pid=6729] vsize: 65920
Current children cumulated CPU time (s) 769.81
Current children cumulated vsize (Kb) 65920

[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15077 0 0 0 77386 586 0 0 25 0 1 0 21083247 67502080 11982 4294967295 134512640 135987407 3221224576 3221223392 134824465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16480 11982 364 364 0 16116 0
[pid=6729] vsize: 65920
Current children cumulated CPU time (s) 779.72
Current children cumulated vsize (Kb) 65920

[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 15119 0 0 0 78370 591 0 0 25 0 1 0 21083247 67637248 12024 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16513 12024 364 364 0 16149 0
[pid=6729] vsize: 66052
Current children cumulated CPU time (s) 789.61
Current children cumulated vsize (Kb) 66052

[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15146 0 0 0 79354 597 0 0 25 0 1 0 21083247 67637248 12051 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16513 12051 364 364 0 16149 0
[pid=6729] vsize: 66052
Current children cumulated CPU time (s) 799.51
Current children cumulated vsize (Kb) 66052

[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15234 0 0 0 80332 604 0 0 25 0 1 0 21083247 68018176 12139 4294967295 134512640 135987407 3221224576 3221223360 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16606 12139 364 364 0 16242 0
[pid=6729] vsize: 66424
Current children cumulated CPU time (s) 809.36
Current children cumulated vsize (Kb) 66424

[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15257 0 0 0 81315 610 0 0 25 0 1 0 21083247 68018176 12162 4294967295 134512640 135987407 3221224576 3221223264 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16606 12162 364 364 0 16242 0
[pid=6729] vsize: 66424
Current children cumulated CPU time (s) 819.25
Current children cumulated vsize (Kb) 66424

[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15291 0 0 0 82296 617 0 0 25 0 1 0 21083247 68153344 12196 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16639 12196 364 364 0 16275 0
[pid=6729] vsize: 66556
Current children cumulated CPU time (s) 829.13
Current children cumulated vsize (Kb) 66556

[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 15310 0 0 0 83277 625 0 0 25 0 1 0 21083247 68153344 12215 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16639 12215 364 364 0 16275 0
[pid=6729] vsize: 66556
Current children cumulated CPU time (s) 839.02
Current children cumulated vsize (Kb) 66556

[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15335 0 0 0 84261 630 0 0 25 0 1 0 21083247 68153344 12240 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16639 12240 364 364 0 16275 0
[pid=6729] vsize: 66556
Current children cumulated CPU time (s) 848.91
Current children cumulated vsize (Kb) 66556

[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15364 0 0 0 85242 636 0 0 25 0 1 0 21083247 68153344 12269 4294967295 134512640 135987407 3221224576 3221223264 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16639 12269 364 364 0 16275 0
[pid=6729] vsize: 66556
Current children cumulated CPU time (s) 858.78
Current children cumulated vsize (Kb) 66556

[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15398 0 0 0 86226 641 0 0 25 0 1 0 21083247 68263936 12303 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16666 12303 364 364 0 16302 0
[pid=6729] vsize: 66664
Current children cumulated CPU time (s) 868.67
Current children cumulated vsize (Kb) 66664

[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15430 0 0 0 87212 646 0 0 25 0 1 0 21083247 68415488 12335 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16703 12335 364 364 0 16339 0
[pid=6729] vsize: 66812
Current children cumulated CPU time (s) 878.58
Current children cumulated vsize (Kb) 66812

[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15461 0 0 0 88194 653 0 0 25 0 1 0 21083247 68415488 12366 4294967295 134512640 135987407 3221224576 3221223328 134801227 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16703 12366 364 364 0 16339 0
[pid=6729] vsize: 66812
Current children cumulated CPU time (s) 888.47
Current children cumulated vsize (Kb) 66812

[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15504 0 0 0 89178 659 0 0 25 0 1 0 21083247 68608000 12409 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16750 12409 364 364 0 16386 0
[pid=6729] vsize: 67000
Current children cumulated CPU time (s) 898.37
Current children cumulated vsize (Kb) 67000

[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15544 0 0 0 90162 665 0 0 25 0 1 0 21083247 68743168 12449 4294967295 134512640 135987407 3221224576 3221223264 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16783 12449 364 364 0 16419 0
[pid=6729] vsize: 67132
Current children cumulated CPU time (s) 908.27
Current children cumulated vsize (Kb) 67132

[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15572 0 0 0 91148 669 0 0 25 0 1 0 21083247 68743168 12477 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16783 12477 364 364 0 16419 0
[pid=6729] vsize: 67132
Current children cumulated CPU time (s) 918.17
Current children cumulated vsize (Kb) 67132

[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15598 0 0 0 92134 674 0 0 25 0 1 0 21083247 68861952 12503 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16812 12503 364 364 0 16448 0
[pid=6729] vsize: 67248
Current children cumulated CPU time (s) 928.08
Current children cumulated vsize (Kb) 67248

[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15626 0 0 0 93118 680 0 0 25 0 1 0 21083247 68861952 12531 4294967295 134512640 135987407 3221224576 3221223264 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16812 12531 364 364 0 16448 0
[pid=6729] vsize: 67248
Current children cumulated CPU time (s) 937.98
Current children cumulated vsize (Kb) 67248

[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 15755 0 0 0 94102 687 0 0 25 0 1 0 21083247 69312512 12660 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16922 12660 364 364 0 16558 0
[pid=6729] vsize: 67688
Current children cumulated CPU time (s) 947.89
Current children cumulated vsize (Kb) 67688

[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15785 0 0 0 95086 693 0 0 25 0 1 0 21083247 69509120 12690 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 16970 12690 364 364 0 16606 0
[pid=6729] vsize: 67880
Current children cumulated CPU time (s) 957.79
Current children cumulated vsize (Kb) 67880

[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15813 0 0 0 96069 699 0 0 25 0 1 0 21083247 69509120 12718 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 16970 12718 364 364 0 16606 0
[pid=6729] vsize: 67880
Current children cumulated CPU time (s) 967.68
Current children cumulated vsize (Kb) 67880

[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 15847 0 0 0 97052 705 0 0 25 0 1 0 21083247 69632000 12752 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17000 12752 364 364 0 16636 0
[pid=6729] vsize: 68000
Current children cumulated CPU time (s) 977.57
Current children cumulated vsize (Kb) 68000

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 15883 0 0 0 98038 710 0 0 25 0 1 0 21083247 69767168 12788 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17033 12788 364 364 0 16669 0
[pid=6729] vsize: 68132
Current children cumulated CPU time (s) 987.48
Current children cumulated vsize (Kb) 68132

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15922 0 0 0 99024 716 0 0 25 0 1 0 21083247 69767168 12827 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17033 12827 364 364 0 16669 0
[pid=6729] vsize: 68132
Current children cumulated CPU time (s) 997.4
Current children cumulated vsize (Kb) 68132

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 15965 0 0 0 100009 721 0 0 25 0 1 0 21083247 69890048 12870 4294967295 134512640 135987407 3221224576 3221223392 134816524 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17063 12870 364 364 0 16699 0
[pid=6729] vsize: 68252
Current children cumulated CPU time (s) 1007.3
Current children cumulated vsize (Kb) 68252

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16000 0 0 0 100996 726 0 0 25 0 1 0 21083247 70021120 12905 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17095 12905 364 364 0 16731 0
[pid=6729] vsize: 68380
Current children cumulated CPU time (s) 1017.22
Current children cumulated vsize (Kb) 68380

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16044 0 0 0 101978 733 0 0 25 0 1 0 21083247 70156288 12949 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17128 12949 364 364 0 16764 0
[pid=6729] vsize: 68512
Current children cumulated CPU time (s) 1027.11
Current children cumulated vsize (Kb) 68512

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16074 0 0 0 102964 738 0 0 25 0 1 0 21083247 70156288 12979 4294967295 134512640 135987407 3221224576 3221223264 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17128 12979 364 364 0 16764 0
[pid=6729] vsize: 68512
Current children cumulated CPU time (s) 1037.02
Current children cumulated vsize (Kb) 68512

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 16097 0 0 0 103950 744 0 0 25 0 1 0 21083247 70270976 13002 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17156 13002 364 364 0 16792 0
[pid=6729] vsize: 68624
Current children cumulated CPU time (s) 1046.94
Current children cumulated vsize (Kb) 68624

[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16171 0 0 0 104934 750 0 0 25 0 1 0 21083247 70406144 13076 4294967295 134512640 135987407 3221224576 3221223264 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17189 13076 364 364 0 16825 0
[pid=6729] vsize: 68756
Current children cumulated CPU time (s) 1056.84
Current children cumulated vsize (Kb) 68756

[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16184 0 0 0 105922 755 0 0 25 0 1 0 21083247 70406144 13089 4294967295 134512640 135987407 3221224576 3221223296 134814085 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17189 13089 364 364 0 16825 0
[pid=6729] vsize: 68756
Current children cumulated CPU time (s) 1066.77
Current children cumulated vsize (Kb) 68756

[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16214 0 0 0 106910 760 0 0 25 0 1 0 21083247 70553600 13119 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17225 13119 364 364 0 16861 0
[pid=6729] vsize: 68900
Current children cumulated CPU time (s) 1076.7
Current children cumulated vsize (Kb) 68900

[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16254 0 0 0 107895 765 0 0 25 0 1 0 21083247 70553600 13159 4294967295 134512640 135987407 3221224576 3221223264 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17225 13159 364 364 0 16861 0
[pid=6729] vsize: 68900
Current children cumulated CPU time (s) 1086.6
Current children cumulated vsize (Kb) 68900

[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16340 0 0 0 108880 770 0 0 25 0 1 0 21083247 70725632 13245 4294967295 134512640 135987407 3221224576 3221223296 134813808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17267 13245 364 364 0 16903 0
[pid=6729] vsize: 69068
Current children cumulated CPU time (s) 1096.5
Current children cumulated vsize (Kb) 69068

[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16466 0 0 0 109867 775 0 0 25 0 1 0 21083247 70860800 13371 4294967295 134512640 135987407 3221224576 3221223340 134812119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17300 13371 364 364 0 16936 0
[pid=6729] vsize: 69200
Current children cumulated CPU time (s) 1106.42
Current children cumulated vsize (Kb) 69200

[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16623 0 0 0 110853 780 0 0 25 0 1 0 21083247 70860800 13528 4294967295 134512640 135987407 3221224576 3221223340 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17300 13528 364 364 0 16936 0
[pid=6729] vsize: 69200
Current children cumulated CPU time (s) 1116.33
Current children cumulated vsize (Kb) 69200

[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 16744 0 0 0 111838 785 0 0 25 0 1 0 21083247 70995968 13649 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17333 13649 364 364 0 16969 0
[pid=6729] vsize: 69332
Current children cumulated CPU time (s) 1126.23
Current children cumulated vsize (Kb) 69332

[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 16992 0 0 0 112823 789 0 0 25 0 1 0 21083247 71401472 13897 4294967295 134512640 135987407 3221224576 3221223364 134801317 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17432 13897 364 364 0 17068 0
[pid=6729] vsize: 69728
Current children cumulated CPU time (s) 1136.12
Current children cumulated vsize (Kb) 69728

[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17025 0 0 0 113806 796 0 0 25 0 1 0 21083247 71532544 13930 4294967295 134512640 135987407 3221224576 3221223296 134813796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17464 13930 364 364 0 17100 0
[pid=6729] vsize: 69856
Current children cumulated CPU time (s) 1146.02
Current children cumulated vsize (Kb) 69856

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17051 0 0 0 114793 801 0 0 25 0 1 0 21083247 71532544 13956 4294967295 134512640 135987407 3221224576 3221223392 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17464 13956 364 364 0 17100 0
[pid=6729] vsize: 69856
Current children cumulated CPU time (s) 1155.94
Current children cumulated vsize (Kb) 69856

[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17082 0 0 0 115780 806 0 0 25 0 1 0 21083247 71696384 13987 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17504 13987 364 364 0 17140 0
[pid=6729] vsize: 70016
Current children cumulated CPU time (s) 1165.86
Current children cumulated vsize (Kb) 70016

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17113 0 0 0 116764 812 0 0 25 0 1 0 21083247 71696384 14018 4294967295 134512640 135987407 3221224576 3221223264 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6729/statm): 17504 14018 364 364 0 17140 0
[pid=6729] vsize: 70016
Current children cumulated CPU time (s) 1175.76
Current children cumulated vsize (Kb) 70016

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17167 0 0 0 117747 817 0 0 25 0 1 0 21083247 71946240 14072 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17565 14072 364 364 0 17201 0
[pid=6729] vsize: 70260
Current children cumulated CPU time (s) 1185.64
Current children cumulated vsize (Kb) 70260

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) R 6728 6729 4060 0 -1 0 17191 0 0 0 118734 823 0 0 25 0 1 0 21083247 71946240 14096 4294967295 134512640 135987407 3221224576 3221223392 134876764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17565 14096 364 364 0 17201 0
[pid=6729] vsize: 70260
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 70260

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 17224 0 0 0 119720 828 0 0 25 0 1 0 21083247 72060928 14129 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17593 14129 364 364 0 17229 0
[pid=6729] vsize: 70372
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 70372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6792
Raw data (/proc/6729/stat): 6729 (pb2sat) T 6728 6729 4060 0 -1 0 17224 0 0 0 119720 828 0 0 25 0 1 0 21083247 72060928 14129 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6729/statm): 17593 14129 364 364 0 17229 0
[pid=6729] vsize: 70372
Current children cumulated CPU time (s) 1205.48
Current children cumulated vsize (Kb) 70372

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

Child status: 0
Real time (s): 1220.16
CPU time (s): 1205.62
CPU user time (s): 1197.31
CPU system time (s): 8.31174
CPU usage (%): 98.8083
Max. virtual memory (cumulated for all children) (Kb): 70372

Verifier Data

ERROR: no interpretation found !