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-1-c.opb
MD5SUM8c1b8634a2f99e9f8e579ef031d10353
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 2630
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 2630
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 2630
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 variables2630
Total number of constraints6569
Number of constraints which are clauses6569
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 9706

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-23 14:53:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8394 boxname=wulflinc12 idbench=190 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc12/normalized-par32-1-c.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-par32-1-c.opb
IDLAUNCH: 8394
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        952540 kB
Buffers:          5252 kB
Cached:          57580 kB
SwapCached:          0 kB
Active:          17928 kB
Inactive:        47820 kB
HighTotal:      131008 kB
HighFree:        91336 kB
LowTotal:       903652 kB
LowFree:        861204 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10840 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:13:36 (client local time) WITH STATUS 0 IN 1205.73 SECONDS
stats: 8394 7 1205.73 0

Solver Data

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

c Decision: 14/2642	Time: 1.76373/86400
c Decision: 14/2642	Time: 2.57261/86400
c Decision: 14/2642	Time: 3.49147/86400
c Decision: 14/2642	Time: 4.32234/86400
c Decision: 14/2642	Time: 5.29519/86400
c Decision: 14/2642	Time: 6.17106/86400
c Decision: 14/2642	Time: 7.08192/86400
c Decision: 14/2642	Time: 7.95979/86400
c Decision: 14/2642	Time: 8.91664/86400
c Decision: 14/2642	Time: 9.75252/86400
c Decision: 14/2642	Time: 10.9963/86400
c Decision: 14/2642	Time: 12.1072/86400
c Decision: 14/2642	Time: 13.152/86400
c Decision: 14/2642	Time: 14.2378/86400
c Decision: 14/2642	Time: 15.3567/86400
c Decision: 14/2642	Time: 16.5005/86400
c Decision: 14/2642	Time: 17.5573/86400
c Decision: 14/2642	Time: 18.7062/86400
c Decision: 14/2642	Time: 19.523/86400
c Decision: 14/2642	Time: 20.5379/86400
c Decision: 14/2642	Time: 21.5787/86400
c Decision: 14/2642	Time: 22.4866/86400
c Decision: 14/2642	Time: 23.6584/86400
c Decision: 14/2642	Time: 24.8252/86400
c Decision: 14/2642	Time: 25.995/86400
c Decision: 14/2642	Time: 27.1279/86400
c Decision: 14/2642	Time: 28.1287/86400
c Decision: 14/2642	Time: 29.2616/86400
c Decision: 14/2642	Time: 30.3384/86400
c Decision: 14/2642	Time: 31.5612/86400
c Decision: 14/2642	Time: 33.062/86400
c Decision: 14/2642	Time: 34.1338/86400
c Decision: 14/2642	Time: 35.3726/86400
c Decision: 14/2642	Time: 36.7484/86400
c Decision: 14/2642	Time: 38.1822/86400
c Decision: 14/2642	Time: 39.451/86400
c Decision: 14/2642	Time: 40.8248/86400
c Decision: 14/2642	Time: 42.3976/86400
c Decision: 14/2642	Time: 43.7743/86400
c Decision: 14/2642	Time: 44.9622/86400
c Decision: 14/2642	Time: 46.363/86400
c Decision: 14/2642	Time: 47.7687/86400
c Decision: 14/2642	Time: 49.3405/86400
c Decision: 14/2642	Time: 50.7673/86400
c Decision: 14/2642	Time: 52.0791/86400
c Decision: 14/2642	Time: 53.5029/86400
c Decision: 14/2642	Time: 54.8567/86400
c Decision: 14/2642	Time: 56.3544/86400
c Decision: 14/2642	Time: 57.8602/86400
c Decision: 14/2642	Time: 59.341/86400
c Decision: 14/2642	Time: 61.1387/86400
c Decision: 14/2642	Time: 62.5925/86400
c Decision: 14/2642	Time: 64.0963/86400
c Decision: 14/2642	Time: 65.681/86400
c Decision: 14/2642	Time: 67.4347/86400
c Decision: 14/2642	Time: 68.8655/86400
c Decision: 14/2642	Time: 70.2873/86400
c Decision: 14/2642	Time: 71.5051/86400
c Decision: 14/2642	Time: 73.1629/86400
c Decision: 14/2642	Time: 74.4957/86400
c Decision: 14/2642	Time: 76.1774/86400
c Decision: 14/2642	Time: 78.0681/86400
c Decision: 14/2642	Time: 79.5509/86400
c Decision: 14/2642	Time: 81.0047/86400
c Decision: 14/2642	Time: 82.4935/86400
c Decision: 14/2642	Time: 84.1572/86400
c Decision: 14/2642	Time: 85.846/86400
c Decision: 14/2642	Time: 87.4577/86400
c Decision: 14/2642	Time: 89.0165/86400
c Decision: 14/2642	Time: 90.8082/86400
c Decision: 14/2642	Time: 92.7559/86400
c Decision: 14/2642	Time: 94.4826/86400
c Decision: 14/2642	Time: 96.1634/86400
c Decision: 14/2642	Time: 97.9781/86400
c Decision: 14/2642	Time: 99.8328/86400
c Decision: 14/2642	Time: 101.621/86400
c Decision: 14/2642	Time: 103.65/86400
c Decision: 14/2642	Time: 105.632/86400
c Decision: 14/2642	Time: 107.167/86400
c Decision: 14/2642	Time: 108.718/86400
c Decision: 14/2642	Time: 110.509/86400
c Decision: 14/2642	Time: 112.402/86400
c Decision: 14/2642	Time: 114.307/86400
c Decision: 14/2642	Time: 116.27/86400
c Decision: 14/2642	Time: 118.272/86400
c Decision: 14/2642	Time: 119.989/86400
c Decision: 14/2642	Time: 122.024/86400
c Decision: 14/2642	Time: 123.625/86400
c Decision: 14/2642	Time: 125.415/86400
c Decision: 14/2642	Time: 127.335/86400
c Decision: 14/2642	Time: 129.32/86400
c Decision: 14/2642	Time: 131.257/86400
c Decision: 14/2642	Time: 132.888/86400
c Decision: 14/2642	Time: 135.056/86400
c Decision: 14/2642	Time: 137.301/86400
c Decision: 14/2642	Time: 139.502/86400
c Decision: 14/2642	Time: 141.568/86400
c Decision: 14/2642	Time: 143.606/86400
c Decision: 14/2642	Time: 145.517/86400
c Decision: 14/2642	Time: 147.383/86400
c Decision: 14/2642	Time: 149.414/86400
c Decision: 14/2642	Time: 151.519/86400
c Decision: 14/2642	Time: 153.395/86400
c Decision: 14/2642	Time: 155.368/86400
c Decision: 14/2642	Time: 157.094/86400
c Decision: 14/2642	Time: 159.336/86400
c Decision: 14/2642	Time: 161.287/86400
c Decision: 14/2642	Time: 163.412/86400
c Decision: 14/2642	Time: 165.236/86400
c Decision: 14/2642	Time: 167.143/86400
c Decision: 14/2642	Time: 169.487/86400
c Decision: 14/2642	Time: 171.34/86400
c Decision: 14/2642	Time: 173.473/86400
c Decision: 14/2642	Time: 175.354/86400
c Decision: 14/2642	Time: 177.406/86400
c Decision: 14/2642	Time: 179.786/86400
c Decision: 14/2642	Time: 182.022/86400
c Decision: 14/2642	Time: 184.404/86400
c Decision: 14/2642	Time: 186.046/86400
c Decision: 14/2642	Time: 188.197/86400
c Decision: 14/2642	Time: 190.374/86400
c Decision: 14/2642	Time: 192.575/86400
c Decision: 14/2642	Time: 194.328/86400
c Decision: 14/2642	Time: 196.332/86400
c Decision: 14/2642	Time: 198.194/86400
c Decision: 14/2642	Time: 200.609/86400
c Decision: 14/2642	Time: 202.481/86400
c Decision: 14/2642	Time: 204.746/86400
c Decision: 14/2642	Time: 206.407/86400
c Decision: 14/2642	Time: 208.809/86400
c Decision: 14/2642	Time: 211.346/86400
c Decision: 14/2642	Time: 213.736/86400
c Decision: 14/2642	Time: 215.8/86400
c Decision: 14/2642	Time: 218.158/86400
c Decision: 14/2642	Time: 220.531/86400
c Decision: 14/2642	Time: 222.768/86400
c Decision: 14/2642	Time: 225.051/86400
c Decision: 14/2642	Time: 227.537/86400
c Decision: 14/2642	Time: 230.46/86400
c Decision: 14/2642	Time: 232.609/86400
c Decision: 14/2642	Time: 235.137/86400
c Decision: 14/2642	Time: 237.574/86400
c Decision: 14/2642	Time: 239.979/86400
c Decision: 14/2642	Time: 242.027/86400
c Decision: 14/2642	Time: 244.215/86400
c Decision: 14/2642	Time: 246.588/86400
c Decision: 14/2642	Time: 248.84/86400
c Decision: 14/2642	Time: 250.826/86400
c Decision: 14/2642	Time: 252.963/86400
c Decision: 14/2642	Time: 255.464/86400
c Decision: 14/2642	Time: 258.154/86400
c Decision: 14/2642	Time: 260.698/86400
c Decision: 14/2642	Time: 263.125/86400
c Decision: 14/2642	Time: 265.298/86400
c Decision: 14/2642	Time: 267.324/86400
c Decision: 14/2642	Time: 270.485/86400
c Decision: 14/2642	Time: 273.022/86400
c Decision: 14/2642	Time: 275.33/86400
c Decision: 14/2642	Time: 277.47/86400
c Decision: 14/2642	Time: 280.267/86400
c Decision: 14/2642	Time: 282.74/86400
c Decision: 14/2642	Time: 285.267/86400
c Decision: 14/2642	Time: 287.54/86400
c Decision: 14/2642	Time: 290.044/86400
c Decision: 14/2642	Time: 292.512/86400
c Decision: 14/2642	Time: 295.102/86400
c Decision: 14/2642	Time: 297.727/86400
c Decision: 14/2642	Time: 299.965/86400
c Decision: 14/2642	Time: 302.131/86400
c Decision: 14/2642	Time: 304.271/86400
c Decision: 14/2642	Time: 307.327/86400
c Decision: 14/2642	Time: 309.638/86400
c Decision: 14/2642	Time: 312.209/86400
c Decision: 14/2642	Time: 314.175/86400
c Decision: 14/2642	Time: 316.202/86400
c Decision: 14/2642	Time: 318.954/86400
c Decision: 14/2642	Time: 321.309/86400
c Decision: 14/2642	Time: 323.623/86400
c Decision: 14/2642	Time: 326.266/86400
c Decision: 14/2642	Time: 328.663/86400
c Decision: 14/2642	Time: 331.07/86400
c Decision: 14/2642	Time: 333.441/86400
c Decision: 14/2642	Time: 336.053/86400
c Decision: 14/2642	Time: 338.591/86400
c Decision: 14/2642	Time: 341.419/86400
c Decision: 14/2642	Time: 343.903/86400
c Decision: 14/2642	Time: 346.883/86400
c Decision: 14/2642	Time: 349.762/86400
c Decision: 14/2642	Time: 352.034/86400
c Decision: 14/2642	Time: 354.604/86400
c Decision: 14/2642	Time: 357.487/86400
c Decision: 14/2642	Time: 360.009/86400
c Decision: 14/2642	Time: 362.522/86400
c Decision: 14/2642	Time: 364.842/86400
c Decision: 14/2642	Time: 367.149/86400
c Decision: 14/2642	Time: 369.837/86400
c Decision: 14/2642	Time: 372.412/86400
c Decision: 14/2642	Time: 375.47/86400
c Decision: 14/2642	Time: 377.895/86400
c Decision: 14/2642	Time: 380.321/86400
c Decision: 14/2642	Time: 383.314/86400
c Decision: 14/2642	Time: 385.842/86400
c Decision: 14/2642	Time: 388.325/86400
c Decision: 14/2642	Time: 390.968/86400
c Decision: 14/2642	Time: 393.365/86400
c Decision: 14/2642	Time: 395.842/86400
c Decision: 14/2642	Time: 398.516/86400
c Decision: 14/2642	Time: 401.31/86400
c Decision: 14/2642	Time: 403.844/86400
c Decision: 14/2642	Time: 406.027/86400
c Decision: 14/2642	Time: 409.1/86400
c Decision: 14/2642	Time: 411.576/86400
c Decision: 14/2642	Time: 414.293/86400
c Decision: 14/2642	Time: 416.479/86400
c Decision: 14/2642	Time: 418.933/86400
c Decision: 14/2642	Time: 421.845/86400
c Decision: 14/2642	Time: 424.658/86400
c Decision: 14/2642	Time: 427.252/86400
c Decision: 14/2642	Time: 429.99/86400
c Decision: 14/2642	Time: 432.863/86400
c Decision: 14/2642	Time: 435.728/86400
c Decision: 14/2642	Time: 438.26/86400
c Decision: 14/2642	Time: 440.678/86400
c Decision: 14/2642	Time: 443.235/86400
c Decision: 14/2642	Time: 445.445/86400
c Decision: 14/2642	Time: 448.628/86400
c Decision: 14/2642	Time: 450.907/86400
c Decision: 14/2642	Time: 453.667/86400
c Decision: 14/2642	Time: 456.492/86400
c Decision: 14/2642	Time: 458.886/86400
c Decision: 14/2642	Time: 462.066/86400
c Decision: 14/2642	Time: 465.213/86400
c Decision: 14/2642	Time: 467.932/86400
c Decision: 14/2642	Time: 470.862/86400
c Decision: 14/2642	Time: 473.43/86400
c Decision: 14/2642	Time: 476.91/86400
c Decision: 14/2642	Time: 479.358/86400
c Decision: 14/2642	Time: 481.592/86400
c Decision: 14/2642	Time: 484.398/86400
c Decision: 14/2642	Time: 486.92/86400
c Decision: 14/2642	Time: 490.048/86400
c Decision: 14/2642	Time: 492.726/86400
c Decision: 14/2642	Time: 494.919/86400
c Decision: 14/2642	Time: 497.293/86400
c Decision: 14/2642	Time: 500.276/86400
c Decision: 14/2642	Time: 503.019/86400
c Decision: 14/2642	Time: 505.511/86400
c Decision: 14/2642	Time: 508.183/86400
c Decision: 14/2642	Time: 511.148/86400
c Decision: 14/2642	Time: 513.864/86400
c Decision: 14/2642	Time: 516.708/86400
c Decision: 14/2642	Time: 519.371/86400
c Decision: 14/2642	Time: 522.321/86400
c Decision: 14/2642	Time: 525.201/86400
c Decision: 14/2642	Time: 527.797/86400
c Decision: 14/2642	Time: 531.033/86400
c Decision: 14/2642	Time: 534.089/86400
c Decision: 14/2642	Time: 536.754/86400
c Decision: 14/2642	Time: 539.636/86400
c Decision: 14/2642	Time: 542.418/86400
c Decision: 14/2642	Time: 545.772/86400
c Decision: 14/2642	Time: 548.59/86400
c Decision: 14/2642	Time: 551.254/86400
c Decision: 14/2642	Time: 553.64/86400
c Decision: 14/2642	Time: 556.632/86400
c Decision: 14/2642	Time: 559.986/86400
c Decision: 14/2642	Time: 563.171/86400
c Decision: 14/2642	Time: 565.763/86400
c Decision: 14/2642	Time: 568.415/86400
c Decision: 14/2642	Time: 571.931/86400
c Decision: 14/2642	Time: 575.295/86400
c Decision: 14/2642	Time: 578.303/86400
c Decision: 14/2642	Time: 581.034/86400
c Decision: 14/2642	Time: 583.843/86400
c Decision: 14/2642	Time: 586.692/86400
c Decision: 14/2642	Time: 590.26/86400
c Decision: 14/2642	Time: 593.314/86400
c Decision: 14/2642	Time: 596.477/86400
c Decision: 14/2642	Time: 599.717/86400
c Decision: 14/2642	Time: 602.789/86400
c Decision: 14/2642	Time: 605.863/86400
c Decision: 14/2642	Time: 608.889/86400
c Decision: 14/2642	Time: 611.697/86400
c Decision: 14/2642	Time: 614.27/86400
c Decision: 14/2642	Time: 617.556/86400
c Decision: 14/2642	Time: 621.157/86400
c Decision: 14/2642	Time: 624.314/86400
c Decision: 14/2642	Time: 626.851/86400
c Decision: 14/2642	Time: 629.855/86400
c Decision: 14/2642	Time: 632.689/86400
c Decision: 14/2642	Time: 636.263/86400
c Decision: 14/2642	Time: 639.245/86400
c Decision: 14/2642	Time: 642.381/86400
c Decision: 14/2642	Time: 645.402/86400
c Decision: 14/2642	Time: 648/86400
c Decision: 14/2642	Time: 651.839/86400
c Decision: 14/2642	Time: 654.971/86400
c Decision: 14/2642	Time: 657.413/86400
c Decision: 14/2642	Time: 660.263/86400
c Decision: 14/2642	Time: 663.981/86400
c Decision: 14/2642	Time: 668.143/86400
c Decision: 14/2642	Time: 671.219/86400
c Decision: 14/2642	Time: 673.739/86400
c Decision: 14/2642	Time: 676.425/86400
c Decision: 14/2642	Time: 679.236/86400
c Decision: 14/2642	Time: 682.27/86400
c Decision: 14/2642	Time: 684.844/86400
c Decision: 14/2642	Time: 687.525/86400
c Decision: 14/2642	Time: 690.236/86400
c Decision: 14/2642	Time: 693.138/86400
c Decision: 14/2642	Time: 696.163/86400
c Decision: 14/2642	Time: 698.341/86400
c Decision: 14/2642	Time: 701.441/86400
c Decision: 14/2642	Time: 704.176/86400
c Decision: 14/2642	Time: 706.958/86400
c Decision: 14/2642	Time: 710.196/86400
c Decision: 14/2642	Time: 712.704/86400
c Decision: 14/2642	Time: 715.497/86400
c Decision: 14/2642	Time: 717.858/86400
c Decision: 14/2642	Time: 720.497/86400
c Decision: 14/2642	Time: 723.204/86400
c Decision: 14/2642	Time: 726.173/86400
c Decision: 14/2642	Time: 729.153/86400
c Decision: 14/2642	Time: 732.02/86400
c Decision: 14/2642	Time: 734.543/86400
c Decision: 14/2642	Time: 737.714/86400
c Decision: 14/2642	Time: 740.873/86400
c Decision: 14/2642	Time: 743.379/86400
c Decision: 14/2642	Time: 746.261/86400
c Decision: 14/2642	Time: 749.031/86400
c Decision: 14/2642	Time: 751.873/86400
c Decision: 14/2642	Time: 754.552/86400
c Decision: 14/2642	Time: 757.153/86400
c Decision: 14/2642	Time: 759.771/86400
c Decision: 14/2642	Time: 762.987/86400
c Decision: 14/2642	Time: 766.307/86400
c Decision: 14/2642	Time: 769.005/86400
c Decision: 14/2642	Time: 772.331/86400
c Decision: 14/2642	Time: 774.862/86400
c Decision: 14/2642	Time: 777.966/86400
c Decision: 14/2642	Time: 781.299/86400
c Decision: 14/2642	Time: 784.662/86400
c Decision: 14/2642	Time: 788.232/86400
c Decision: 14/2642	Time: 791.245/86400
c Decision: 14/2642	Time: 794.762/86400
c Decision: 14/2642	Time: 798.037/86400
c Decision: 14/2642	Time: 801.405/86400
c Decision: 14/2642	Time: 804.76/86400
c Decision: 14/2642	Time: 807.953/86400
c Decision: 14/2642	Time: 810.918/86400
c Decision: 14/2642	Time: 814.323/86400
c Decision: 14/2642	Time: 816.981/86400
c Decision: 14/2642	Time: 820.158/86400
c Decision: 14/2642	Time: 823.306/86400
c Decision: 14/2642	Time: 826.582/86400
c Decision: 14/2642	Time: 830.19/86400
c Decision: 14/2642	Time: 833.501/86400
c Decision: 14/2642	Time: 836.412/86400
c Decision: 14/2642	Time: 839.573/86400
c Decision: 14/2642	Time: 842.704/86400
c Decision: 14/2642	Time: 846.361/86400
c Decision: 14/2642	Time: 849.459/86400
c Decision: 14/2642	Time: 852.158/86400
c Decision: 14/2642	Time: 855.205/86400
c Decision: 14/2642	Time: 858.355/86400
c Decision: 14/2642	Time: 861.352/86400
c Decision: 14/2642	Time: 864.616/86400
c Decision: 14/2642	Time: 867.936/86400
c Decision: 14/2642	Time: 871.337/86400
c Decision: 14/2642	Time: 874.201/86400
c Decision: 14/2642	Time: 877.501/86400
c Decision: 14/2642	Time: 881.06/86400
c Decision: 14/2642	Time: 884.58/86400
c Decision: 14/2642	Time: 887.731/86400
c Decision: 14/2642	Time: 890.831/86400
c Decision: 14/2642	Time: 894.345/86400
c Decision: 14/2642	Time: 897.531/86400
c Decision: 14/2642	Time: 900.83/86400
c Decision: 14/2642	Time: 904.218/86400
c Decision: 14/2642	Time: 907.492/86400
c Decision: 14/2642	Time: 910.734/86400
c Decision: 14/2642	Time: 913.612/86400
c Decision: 14/2642	Time: 916.319/86400
c Decision: 14/2642	Time: 919.227/86400
c Decision: 14/2642	Time: 922.336/86400
c Decision: 14/2642	Time: 925.711/86400
c Decision: 14/2642	Time: 928.488/86400
c Decision: 14/2642	Time: 931.389/86400
c Decision: 14/2642	Time: 934.463/86400
c Decision: 14/2642	Time: 937.537/86400
c Decision: 14/2642	Time: 941.049/86400
c Decision: 14/2642	Time: 943.962/86400
c Decision: 14/2642	Time: 947.157/86400
c Decision: 14/2642	Time: 950.493/86400
c Decision: 14/2642	Time: 953.44/86400
c Decision: 14/2642	Time: 956.728/86400
c Decision: 14/2642	Time: 959.592/86400
c Decision: 14/2642	Time: 962.851/86400
c Decision: 14/2642	Time: 965.643/86400
c Decision: 14/2642	Time: 968.572/86400
c Decision: 14/2642	Time: 972.205/86400
c Decision: 14/2642	Time: 975.317/86400
c Decision: 14/2642	Time: 978.446/86400
c Decision: 14/2642	Time: 981.556/86400
c Decision: 14/2642	Time: 984.551/86400
c Decision: 14/2642	Time: 988.173/86400
c Decision: 14/2642	Time: 991.604/86400
c Decision: 14/2642	Time: 994.466/86400
c Decision: 14/2642	Time: 997.689/86400
c Decision: 14/2642	Time: 1001.06/86400
c Decision: 14/2642	Time: 1004.38/86400
c Decision: 14/2642	Time: 1008.1/86400
c Decision: 14/2642	Time: 1011.24/86400
c Decision: 14/2642	Time: 1014.03/86400
c Decision: 14/2642	Time: 1016.84/86400
c Decision: 14/2642	Time: 1020.52/86400
c Decision: 14/2642	Time: 1023.61/86400
c Decision: 14/2642	Time: 1026.94/86400
c Decision: 14/2642	Time: 1030.14/86400
c Decision: 14/2642	Time: 1033.61/86400
c Decision: 14/2642	Time: 1037.31/86400
c Decision: 14/2642	Time: 1040.45/86400
c Decision: 14/2642	Time: 1043.61/86400
c Decision: 14/2642	Time: 1046.73/86400
c Decision: 14/2642	Time: 1049.77/86400
c Decision: 14/2642	Time: 1053.85/86400
c Decision: 14/2642	Time: 1056.72/86400
c Decision: 14/2642	Time: 1059.71/86400
c Decision: 14/2642	Time: 1062.75/86400
c Decision: 14/2642	Time: 1066.09/86400
c Decision: 14/2642	Time: 1070.38/86400
c Decision: 14/2642	Time: 1073.62/86400
c Decision: 14/2642	Time: 1076.85/86400
c Decision: 14/2642	Time: 1080/86400
c Decision: 14/2642	Time: 1083.39/86400
c Decision: 14/2642	Time: 1087.3/86400
c Decision: 14/2642	Time: 1090.81/86400
c Decision: 14/2642	Time: 1094.31/86400
c Decision: 14/2642	Time: 1097.24/86400
c Decision: 14/2642	Time: 1100.35/86400
c Decision: 14/2642	Time: 1104.49/86400
c Decision: 14/2642	Time: 1107.77/86400
c Decision: 14/2642	Time: 1111.44/86400
c Decision: 14/2642	Time: 1114.33/86400
c Decision: 14/2642	Time: 1117.71/86400
c Decision: 14/2642	Time: 1121.77/86400
c Decision: 14/2642	Time: 1125.18/86400
c Decision: 14/2642	Time: 1127.82/86400
c Decision: 14/2642	Time: 1131.06/86400
c Decision: 14/2642	Time: 1134.62/86400
c Decision: 14/2642	Time: 1138.72/86400
c Decision: 14/2642	Time: 1141.79/86400
c Decision: 14/2642	Time: 1145.42/86400
c Decision: 14/2642	Time: 1148.69/86400
c Decision: 14/2642	Time: 1151.88/86400
c Decision: 14/2642	Time: 1155.82/86400
c Decision: 14/2642	Time: 1158.84/86400
c Decision: 14/2642	Time: 1162.27/86400
c Decision: 14/2642	Time: 1165.36/86400
c Decision: 14/2642	Time: 1168.86/86400
c Decision: 14/2642	Time: 1172.86/86400
c Decision: 14/2642	Time: 1176.12/86400
c Decision: 14/2642	Time: 1179.91/86400
c Decision: 14/2642	Time: 1183.13/86400
c Decision: 14/2642	Time: 1186.45/86400
c Decision: 14/2642	Time: 1190.32/86400
c Decision: 14/2642	Time: 1193.73/86400
c Decision: 14/2642	Time: 1197/86400
c Decision: 14/2642	Time: 1200.4/86400
c Decision: 14/2642	Time: 1203.77/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/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21058517 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 373 2 364 364 0 9 0
[pid=8011] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-par32-1-c.opb

[startup+10.0026 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 1053 0 0 0 954 16 0 0 25 0 1 0 21058517 5148672 939 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/8011/statm): 1257 939 364 364 0 893 0
[pid=8011] vsize: 5028
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 5028

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 1536 0 0 0 1915 29 0 0 25 0 1 0 21058517 7110656 1325 4294967295 134512640 135987407 3221224576 3221223296 134814139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 1736 1325 364 364 0 1372 0
[pid=8011] vsize: 6944
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (Kb) 6944

[startup+30.0043 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 1820 0 0 0 2862 45 0 0 25 0 1 0 21058517 9617408 1609 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2348 1609 364 364 0 1984 0
[pid=8011] vsize: 9392
Current children cumulated CPU time (s) 29.07
Current children cumulated vsize (Kb) 9392

[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 1944 0 0 0 3812 62 0 0 25 0 1 0 21058517 9986048 1733 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2438 1733 364 364 0 2074 0
[pid=8011] vsize: 9752
Current children cumulated CPU time (s) 38.74
Current children cumulated vsize (Kb) 9752

[startup+50.006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 2303 0 0 0 4772 77 0 0 25 0 1 0 21058517 11022336 1899 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 2691 1899 364 364 0 2327 0
[pid=8011] vsize: 10764
Current children cumulated CPU time (s) 48.49
Current children cumulated vsize (Kb) 10764

[startup+60.0069 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 2485 0 0 0 5734 90 0 0 25 0 1 0 21058517 11296768 2081 4294967295 134512640 135987407 3221224576 3221223328 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2758 2081 364 364 0 2394 0
[pid=8011] vsize: 11032
Current children cumulated CPU time (s) 58.24
Current children cumulated vsize (Kb) 11032

[startup+70.0078 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 2806 0 0 0 6705 100 0 0 25 0 1 0 21058517 11554816 2402 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2821 2402 364 364 0 2457 0
[pid=8011] vsize: 11284
Current children cumulated CPU time (s) 68.05
Current children cumulated vsize (Kb) 11284

[startup+80.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 2935 0 0 0 7669 112 0 0 25 0 1 0 21058517 11919360 2531 4294967295 134512640 135987407 3221224576 3221223264 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2910 2531 364 364 0 2546 0
[pid=8011] vsize: 11640
Current children cumulated CPU time (s) 77.81
Current children cumulated vsize (Kb) 11640

[startup+90.0095 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 3023 0 0 0 8634 124 0 0 25 0 1 0 21058517 12210176 2619 4294967295 134512640 135987407 3221224576 3221223264 134812132 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 2981 2619 364 364 0 2617 0
[pid=8011] vsize: 11924
Current children cumulated CPU time (s) 87.58
Current children cumulated vsize (Kb) 11924

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 3094 0 0 0 9601 137 0 0 25 0 1 0 21058517 12357632 2690 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8011/statm): 3017 2690 364 364 0 2653 0
[pid=8011] vsize: 12068
Current children cumulated CPU time (s) 97.38
Current children cumulated vsize (Kb) 12068

[startup+110.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 3247 0 0 0 10571 147 0 0 25 0 1 0 21058517 16797696 2843 4294967295 134512640 135987407 3221224576 3221223152 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 4101 2843 364 364 0 3737 0
[pid=8011] vsize: 16404
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (Kb) 16404

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 3832 0 0 0 11543 158 0 0 25 0 1 0 21058517 18628608 3043 4294967295 134512640 135987407 3221224576 3221223296 134813844 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4548 3043 364 364 0 4184 0
[pid=8011] vsize: 18192
Current children cumulated CPU time (s) 117.01
Current children cumulated vsize (Kb) 18192

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 3977 0 0 0 12516 166 0 0 25 0 1 0 21058517 18886656 3188 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4611 3188 364 364 0 4247 0
[pid=8011] vsize: 18444
Current children cumulated CPU time (s) 126.82
Current children cumulated vsize (Kb) 18444

[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4070 0 0 0 13493 175 0 0 25 0 1 0 21058517 19009536 3281 4294967295 134512640 135987407 3221224576 3221223392 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 4641 3281 364 364 0 4277 0
[pid=8011] vsize: 18564
Current children cumulated CPU time (s) 136.68
Current children cumulated vsize (Kb) 18564

[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4295 0 0 0 14467 185 0 0 25 0 1 0 21058517 19263488 3506 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 4703 3506 364 364 0 4339 0
[pid=8011] vsize: 18812
Current children cumulated CPU time (s) 146.52
Current children cumulated vsize (Kb) 18812

[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4447 0 0 0 15442 195 0 0 25 0 1 0 21058517 19517440 3658 4294967295 134512640 135987407 3221224576 3221223152 134931809 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4765 3658 364 364 0 4401 0
[pid=8011] vsize: 19060
Current children cumulated CPU time (s) 156.37
Current children cumulated vsize (Kb) 19060

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4503 0 0 0 16412 204 0 0 25 0 1 0 21058517 19640320 3714 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4795 3714 364 364 0 4431 0
[pid=8011] vsize: 19180
Current children cumulated CPU time (s) 166.16
Current children cumulated vsize (Kb) 19180

[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4581 0 0 0 17386 213 0 0 25 0 1 0 21058517 19955712 3792 4294967295 134512640 135987407 3221224576 3221223296 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 4872 3792 364 364 0 4508 0
[pid=8011] vsize: 19488
Current children cumulated CPU time (s) 175.99
Current children cumulated vsize (Kb) 19488

[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4787 0 0 0 18367 220 0 0 25 0 1 0 21058517 20094976 3998 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4906 3998 364 364 0 4542 0
[pid=8011] vsize: 19624
Current children cumulated CPU time (s) 185.87
Current children cumulated vsize (Kb) 19624

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 4975 0 0 0 19343 227 0 0 25 0 1 0 21058517 20398080 4186 4294967295 134512640 135987407 3221224576 3221223264 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 4980 4186 364 364 0 4616 0
[pid=8011] vsize: 19920
Current children cumulated CPU time (s) 195.7
Current children cumulated vsize (Kb) 19920

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 5046 0 0 0 20326 234 0 0 25 0 1 0 21058517 20561920 4257 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8011/statm): 5020 4257 364 364 0 4656 0
[pid=8011] vsize: 20080
Current children cumulated CPU time (s) 205.6
Current children cumulated vsize (Kb) 20080

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 5267 0 0 0 21304 242 0 0 25 0 1 0 21058517 20709376 4478 4294967295 134512640 135987407 3221224576 3221223264 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 5056 4478 364 364 0 4692 0
[pid=8011] vsize: 20224
Current children cumulated CPU time (s) 215.46
Current children cumulated vsize (Kb) 20224

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 5486 0 0 0 22280 250 0 0 25 0 1 0 21058517 29257728 4697 4294967295 134512640 135987407 3221224576 3221223152 134892747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 7143 4697 364 364 0 6779 0
[pid=8011] vsize: 28572
Current children cumulated CPU time (s) 225.3
Current children cumulated vsize (Kb) 28572

[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 5704 0 0 0 23264 256 0 0 25 0 1 0 21058517 29536256 4915 4294967295 134512640 135987407 3221224576 3221223112 135499869 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 7211 4915 364 364 0 6847 0
[pid=8011] vsize: 28844
Current children cumulated CPU time (s) 235.2
Current children cumulated vsize (Kb) 28844

[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 5884 0 0 0 24241 265 0 0 25 0 1 0 21058517 29806592 5095 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7277 5095 364 364 0 6913 0
[pid=8011] vsize: 29108
Current children cumulated CPU time (s) 245.06
Current children cumulated vsize (Kb) 29108

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6012 0 0 0 25221 272 0 0 25 0 1 0 21058517 30068736 5223 4294967295 134512640 135987407 3221224576 3221223360 134812383 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 7341 5223 364 364 0 6977 0
[pid=8011] vsize: 29364
Current children cumulated CPU time (s) 254.93
Current children cumulated vsize (Kb) 29364

[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6193 0 0 0 26195 281 0 0 25 0 1 0 21058517 30380032 5404 4294967295 134512640 135987407 3221224576 3221223264 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7417 5404 364 364 0 7053 0
[pid=8011] vsize: 29668
Current children cumulated CPU time (s) 264.76
Current children cumulated vsize (Kb) 29668

[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6353 0 0 0 27175 286 0 0 25 0 1 0 21058517 30515200 5564 4294967295 134512640 135987407 3221224576 3221223392 134824701 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 7450 5564 364 364 0 7086 0
[pid=8011] vsize: 29800
Current children cumulated CPU time (s) 274.61
Current children cumulated vsize (Kb) 29800

[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 6530 0 0 0 28152 294 0 0 25 0 1 0 21058517 30695424 5741 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7494 5741 364 364 0 7130 0
[pid=8011] vsize: 29976
Current children cumulated CPU time (s) 284.46
Current children cumulated vsize (Kb) 29976

[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6610 0 0 0 29125 302 0 0 25 0 1 0 21058517 30957568 5821 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7558 5821 364 364 0 7194 0
[pid=8011] vsize: 30232
Current children cumulated CPU time (s) 294.27
Current children cumulated vsize (Kb) 30232

[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6653 0 0 0 30110 307 0 0 25 0 1 0 21058517 31080448 5864 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7588 5864 364 364 0 7224 0
[pid=8011] vsize: 30352
Current children cumulated CPU time (s) 304.17
Current children cumulated vsize (Kb) 30352

[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 6699 0 0 0 31093 313 0 0 25 0 1 0 21058517 31191040 5910 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 7615 5910 364 364 0 7251 0
[pid=8011] vsize: 30460
Current children cumulated CPU time (s) 314.06
Current children cumulated vsize (Kb) 30460

[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 7513 0 0 0 32075 319 0 0 25 0 1 0 21058517 34447360 5955 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8410 5955 364 364 0 8046 0
[pid=8011] vsize: 33640
Current children cumulated CPU time (s) 323.94
Current children cumulated vsize (Kb) 33640

[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 7604 0 0 0 33054 327 0 0 25 0 1 0 21058517 34693120 6046 4294967295 134512640 135987407 3221224576 3221223264 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8470 6046 364 364 0 8106 0
[pid=8011] vsize: 33880
Current children cumulated CPU time (s) 333.81
Current children cumulated vsize (Kb) 33880

[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 7631 0 0 0 34038 333 0 0 25 0 1 0 21058517 34693120 6073 4294967295 134512640 135987407 3221224576 3221223392 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8470 6073 364 364 0 8106 0
[pid=8011] vsize: 33880
Current children cumulated CPU time (s) 343.71
Current children cumulated vsize (Kb) 33880

[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 7666 0 0 0 35023 339 0 0 25 0 1 0 21058517 34803712 6108 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8497 6108 364 364 0 8133 0
[pid=8011] vsize: 33988
Current children cumulated CPU time (s) 353.62
Current children cumulated vsize (Kb) 33988

[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 7705 0 0 0 36004 345 0 0 25 0 1 0 21058517 34967552 6147 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8537 6147 364 364 0 8173 0
[pid=8011] vsize: 34148
Current children cumulated CPU time (s) 363.49
Current children cumulated vsize (Kb) 34148

[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 7772 0 0 0 36987 351 0 0 25 0 1 0 21058517 34967552 6214 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8537 6214 364 364 0 8173 0
[pid=8011] vsize: 34148
Current children cumulated CPU time (s) 373.38
Current children cumulated vsize (Kb) 34148

[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8009 0 0 0 37968 358 0 0 25 0 1 0 21058517 35307520 6451 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8620 6451 364 364 0 8256 0
[pid=8011] vsize: 34480
Current children cumulated CPU time (s) 383.26
Current children cumulated vsize (Kb) 34480

[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8011
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8150 0 0 0 38949 365 0 0 25 0 1 0 21058517 35307520 6592 4294967295 134512640 135987407 3221224576 3221223392 134816504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8620 6592 364 364 0 8256 0
[pid=8011] vsize: 34480
Current children cumulated CPU time (s) 393.14
Current children cumulated vsize (Kb) 34480

[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 8012
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8331 0 0 0 39933 370 0 0 25 0 1 0 21058517 35577856 6773 4294967295 134512640 135987407 3221224576 3221223144 134801602 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8686 6773 364 364 0 8322 0
[pid=8011] vsize: 34744
Current children cumulated CPU time (s) 403.03
Current children cumulated vsize (Kb) 34744

[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8066
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8507 0 0 0 40912 378 0 0 25 0 1 0 21058517 35688448 6949 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8713 6949 364 364 0 8349 0
[pid=8011] vsize: 34852
Current children cumulated CPU time (s) 412.9
Current children cumulated vsize (Kb) 34852

[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8066
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8537 0 0 0 41894 384 0 0 25 0 1 0 21058517 35803136 6979 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8741 6979 364 364 0 8377 0
[pid=8011] vsize: 34964
Current children cumulated CPU time (s) 422.78
Current children cumulated vsize (Kb) 34964

[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8066
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8695 0 0 0 42878 390 0 0 25 0 1 0 21058517 35938304 7137 4294967295 134512640 135987407 3221224576 3221223264 134811747 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8774 7137 364 364 0 8410 0
[pid=8011] vsize: 35096
Current children cumulated CPU time (s) 432.68
Current children cumulated vsize (Kb) 35096

[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8066
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 8925 0 0 0 43859 397 0 0 25 0 1 0 21058517 36347904 7367 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8874 7367 364 364 0 8510 0
[pid=8011] vsize: 35496
Current children cumulated CPU time (s) 442.56
Current children cumulated vsize (Kb) 35496

[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8066
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9075 0 0 0 44844 403 0 0 25 0 1 0 21058517 36458496 7517 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 8901 7517 364 364 0 8537 0
[pid=8011] vsize: 35604
Current children cumulated CPU time (s) 452.47
Current children cumulated vsize (Kb) 35604

[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8068
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9107 0 0 0 45827 409 0 0 25 0 1 0 21058517 36597760 7549 4294967295 134512640 135987407 3221224576 3221223296 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8935 7549 364 364 0 8571 0
[pid=8011] vsize: 35740
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (Kb) 35740

[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8070
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9168 0 0 0 46812 414 0 0 25 0 1 0 21058517 36732928 7610 4294967295 134512640 135987407 3221224576 3221223264 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 8968 7610 364 364 0 8604 0
[pid=8011] vsize: 35872
Current children cumulated CPU time (s) 472.26
Current children cumulated vsize (Kb) 35872

[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9203 0 0 0 47797 420 0 0 25 0 1 0 21058517 36880384 7645 4294967295 134512640 135987407 3221224576 3221223296 134814085 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 9004 7645 364 364 0 8640 0
[pid=8011] vsize: 36016
Current children cumulated CPU time (s) 482.17
Current children cumulated vsize (Kb) 36016

[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9318 0 0 0 48780 427 0 0 25 0 1 0 21058517 37011456 7760 4294967295 134512640 135987407 3221224576 3221223408 134812773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 9036 7760 364 364 0 8672 0
[pid=8011] vsize: 36144
Current children cumulated CPU time (s) 492.07
Current children cumulated vsize (Kb) 36144

[startup+510.023 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9359 0 0 0 49763 432 0 0 25 0 1 0 21058517 37142528 7801 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9068 7801 364 364 0 8704 0
[pid=8011] vsize: 36272
Current children cumulated CPU time (s) 501.95
Current children cumulated vsize (Kb) 36272

[startup+520.023 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9382 0 0 0 50748 437 0 0 25 0 1 0 21058517 37142528 7824 4294967295 134512640 135987407 3221224576 3221223296 134813802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9068 7824 364 364 0 8704 0
[pid=8011] vsize: 36272
Current children cumulated CPU time (s) 511.85
Current children cumulated vsize (Kb) 36272

[startup+530.024 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9443 0 0 0 51731 443 0 0 25 0 1 0 21058517 37376000 7885 4294967295 134512640 135987407 3221224576 3221223360 134812339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9125 7885 364 364 0 8761 0
[pid=8011] vsize: 36500
Current children cumulated CPU time (s) 521.74
Current children cumulated vsize (Kb) 36500

[startup+540.025 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9645 0 0 0 52715 450 0 0 25 0 1 0 21058517 37646336 8087 4294967295 134512640 135987407 3221224576 3221223392 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9191 8087 364 364 0 8827 0
[pid=8011] vsize: 36764
Current children cumulated CPU time (s) 531.65
Current children cumulated vsize (Kb) 36764

[startup+550.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9780 0 0 0 53701 456 0 0 25 0 1 0 21058517 37769216 8222 4294967295 134512640 135987407 3221224576 3221223372 134801319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9221 8222 364 364 0 8857 0
[pid=8011] vsize: 36884
Current children cumulated CPU time (s) 541.57
Current children cumulated vsize (Kb) 36884

[startup+560.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 9916 0 0 0 54686 460 0 0 25 0 1 0 21058517 37904384 8358 4294967295 134512640 135987407 3221224576 3221223264 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 9254 8358 364 364 0 8890 0
[pid=8011] vsize: 37016
Current children cumulated CPU time (s) 551.46
Current children cumulated vsize (Kb) 37016

[startup+570.026 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 10130 0 0 0 55671 466 0 0 25 0 1 0 21058517 54931456 8572 4294967295 134512640 135987407 3221224576 3221223264 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13411 8572 364 364 0 13047 0
[pid=8011] vsize: 53644
Current children cumulated CPU time (s) 561.37
Current children cumulated vsize (Kb) 53644

[startup+580.026 s]
Raw data (loadavg): 1.02 1.00 1.00 1/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 10319 0 0 0 56656 470 0 0 25 0 1 0 21058517 55066624 8761 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13444 8761 364 364 0 13080 0
[pid=8011] vsize: 53776
Current children cumulated CPU time (s) 571.26
Current children cumulated vsize (Kb) 53776

[startup+590.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 10455 0 0 0 57641 476 0 0 25 0 1 0 21058517 55201792 8897 4294967295 134512640 135987407 3221224576 3221223392 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13477 8897 364 364 0 13113 0
[pid=8011] vsize: 53908
Current children cumulated CPU time (s) 581.17
Current children cumulated vsize (Kb) 53908

[startup+600.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 10643 0 0 0 58627 481 0 0 25 0 1 0 21058517 55484416 9085 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13546 9085 364 364 0 13182 0
[pid=8011] vsize: 54184
Current children cumulated CPU time (s) 591.08
Current children cumulated vsize (Kb) 54184

[startup+610.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 10801 0 0 0 59612 487 0 0 25 0 1 0 21058517 55619584 9243 4294967295 134512640 135987407 3221224576 3221223264 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13579 9243 364 364 0 13215 0
[pid=8011] vsize: 54316
Current children cumulated CPU time (s) 600.99
Current children cumulated vsize (Kb) 54316

[startup+620.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 10927 0 0 0 60597 494 0 0 25 0 1 0 21058517 55783424 9369 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13619 9369 364 364 0 13255 0
[pid=8011] vsize: 54476
Current children cumulated CPU time (s) 610.91
Current children cumulated vsize (Kb) 54476

[startup+630.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11078 0 0 0 61582 499 0 0 25 0 1 0 21058517 55980032 9520 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13667 9520 364 364 0 13303 0
[pid=8011] vsize: 54668
Current children cumulated CPU time (s) 620.81
Current children cumulated vsize (Kb) 54668

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11209 0 0 0 62568 505 0 0 25 0 1 0 21058517 56115200 9651 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13700 9651 364 364 0 13336 0
[pid=8011] vsize: 54800
Current children cumulated CPU time (s) 630.73
Current children cumulated vsize (Kb) 54800

[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11388 0 0 0 63551 510 0 0 25 0 1 0 21058517 56651776 9830 4294967295 134512640 135987407 3221224576 3221223264 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 13831 9830 364 364 0 13467 0
[pid=8011] vsize: 55324
Current children cumulated CPU time (s) 640.61
Current children cumulated vsize (Kb) 55324

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11515 0 0 0 64537 516 0 0 25 0 1 0 21058517 56786944 9957 4294967295 134512640 135987407 3221224576 3221223392 134824300 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13864 9957 364 364 0 13500 0
[pid=8011] vsize: 55456
Current children cumulated CPU time (s) 650.53
Current children cumulated vsize (Kb) 55456

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11564 0 0 0 65523 521 0 0 25 0 1 0 21058517 56786944 10006 4294967295 134512640 135987407 3221224576 3221223296 134813852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13864 10006 364 364 0 13500 0
[pid=8011] vsize: 55456
Current children cumulated CPU time (s) 660.44
Current children cumulated vsize (Kb) 55456

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11711 0 0 0 66509 525 0 0 25 0 1 0 21058517 57057280 10153 4294967295 134512640 135987407 3221224576 3221223264 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 13930 10153 364 364 0 13566 0
[pid=8011] vsize: 55720
Current children cumulated CPU time (s) 670.34
Current children cumulated vsize (Kb) 55720

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 11985 0 0 0 67496 529 0 0 25 0 1 0 21058517 57597952 10427 4294967295 134512640 135987407 3221224576 3221223264 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14062 10427 364 364 0 13698 0
[pid=8011] vsize: 56248
Current children cumulated CPU time (s) 680.25
Current children cumulated vsize (Kb) 56248

[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12065 0 0 0 68479 535 0 0 25 0 1 0 21058517 57741312 10507 4294967295 134512640 135987407 3221224576 3221223264 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14097 10507 364 364 0 13733 0
[pid=8011] vsize: 56388
Current children cumulated CPU time (s) 690.14
Current children cumulated vsize (Kb) 56388

[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12238 0 0 0 69462 542 0 0 25 0 1 0 21058517 58417152 10680 4294967295 134512640 135987407 3221224576 3221223360 134801097 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14262 10680 364 364 0 13898 0
[pid=8011] vsize: 57048
Current children cumulated CPU time (s) 700.04
Current children cumulated vsize (Kb) 57048

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12254 0 0 0 70446 548 0 0 25 0 1 0 21058517 58417152 10696 4294967295 134512640 135987407 3221224576 3221223264 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14262 10696 364 364 0 13898 0
[pid=8011] vsize: 57048
Current children cumulated CPU time (s) 709.94
Current children cumulated vsize (Kb) 57048

[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12277 0 0 0 71427 554 0 0 25 0 1 0 21058517 58556416 10719 4294967295 134512640 135987407 3221224576 3221223152 134788896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14296 10719 364 364 0 13932 0
[pid=8011] vsize: 57184
Current children cumulated CPU time (s) 719.81
Current children cumulated vsize (Kb) 57184

[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12310 0 0 0 72412 558 0 0 25 0 1 0 21058517 58556416 10752 4294967295 134512640 135987407 3221224576 3221223296 134814108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14296 10752 364 364 0 13932 0
[pid=8011] vsize: 57184
Current children cumulated CPU time (s) 729.7
Current children cumulated vsize (Kb) 57184

[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12330 0 0 0 73398 562 0 0 25 0 1 0 21058517 58556416 10772 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14296 10772 364 364 0 13932 0
[pid=8011] vsize: 57184
Current children cumulated CPU time (s) 739.6
Current children cumulated vsize (Kb) 57184

[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8072
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12366 0 0 0 74382 568 0 0 25 0 1 0 21058517 58691584 10808 4294967295 134512640 135987407 3221224576 3221223296 134814134 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14329 10808 364 364 0 13965 0
[pid=8011] vsize: 57316
Current children cumulated CPU time (s) 749.5
Current children cumulated vsize (Kb) 57316

[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12386 0 0 0 75365 574 0 0 25 0 1 0 21058517 58691584 10828 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14329 10828 364 364 0 13965 0
[pid=8011] vsize: 57316
Current children cumulated CPU time (s) 759.39
Current children cumulated vsize (Kb) 57316

[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12425 0 0 0 76350 579 0 0 25 0 1 0 21058517 58974208 10867 4294967295 134512640 135987407 3221224576 3221223296 134814134 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14398 10867 364 364 0 14034 0
[pid=8011] vsize: 57592
Current children cumulated CPU time (s) 769.29
Current children cumulated vsize (Kb) 57592

[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 12439 0 0 0 77338 583 0 0 25 0 1 0 21058517 58974208 10881 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14398 10881 364 364 0 14034 0
[pid=8011] vsize: 57592
Current children cumulated CPU time (s) 779.21
Current children cumulated vsize (Kb) 57592

[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 12458 0 0 0 78324 588 0 0 25 0 1 0 21058517 58974208 10900 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8011/statm): 14398 10900 364 364 0 14034 0
[pid=8011] vsize: 57592
Current children cumulated CPU time (s) 789.12
Current children cumulated vsize (Kb) 57592

[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12476 0 0 0 79310 593 0 0 25 0 1 0 21058517 58974208 10918 4294967295 134512640 135987407 3221224576 3221223152 135486726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14398 10918 364 364 0 14034 0
[pid=8011] vsize: 57592
Current children cumulated CPU time (s) 799.03
Current children cumulated vsize (Kb) 57592

[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12509 0 0 0 80301 597 0 0 25 0 1 0 21058517 58974208 10951 4294967295 134512640 135987407 3221224576 3221223440 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14398 10951 364 364 0 14034 0
[pid=8011] vsize: 57592
Current children cumulated CPU time (s) 808.98
Current children cumulated vsize (Kb) 57592

[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12536 0 0 0 81287 602 0 0 25 0 1 0 21058517 59142144 10978 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14439 10978 364 364 0 14075 0
[pid=8011] vsize: 57756
Current children cumulated CPU time (s) 818.89
Current children cumulated vsize (Kb) 57756

[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12584 0 0 0 82273 606 0 0 25 0 1 0 21058517 59277312 11026 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14472 11026 364 364 0 14108 0
[pid=8011] vsize: 57888
Current children cumulated CPU time (s) 828.79
Current children cumulated vsize (Kb) 57888

[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12652 0 0 0 83261 610 0 0 25 0 1 0 21058517 59547648 11094 4294967295 134512640 135987407 3221224576 3221223264 134811692 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14538 11094 364 364 0 14174 0
[pid=8011] vsize: 58152
Current children cumulated CPU time (s) 838.71
Current children cumulated vsize (Kb) 58152

[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 12693 0 0 0 84249 615 0 0 25 0 1 0 21058517 59682816 11135 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 14571 11135 364 364 0 14207 0
[pid=8011] vsize: 58284
Current children cumulated CPU time (s) 848.64
Current children cumulated vsize (Kb) 58284

[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14255 0 0 0 85230 624 0 0 25 0 1 0 21058517 65974272 11160 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16107 11160 364 364 0 15743 0
[pid=8011] vsize: 64428
Current children cumulated CPU time (s) 858.54
Current children cumulated vsize (Kb) 64428

[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14292 0 0 0 86217 628 0 0 25 0 1 0 21058517 66101248 11197 4294967295 134512640 135987407 3221224576 3221223296 134813826 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16138 11197 364 364 0 15774 0
[pid=8011] vsize: 64552
Current children cumulated CPU time (s) 868.45
Current children cumulated vsize (Kb) 64552

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) T 8010 8011 4060 0 -1 0 14316 0 0 0 87201 635 0 0 25 0 1 0 21058517 66215936 11221 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16166 11221 364 364 0 15802 0
[pid=8011] vsize: 64664
Current children cumulated CPU time (s) 878.36
Current children cumulated vsize (Kb) 64664

[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14349 0 0 0 88189 639 0 0 25 0 1 0 21058517 66215936 11254 4294967295 134512640 135987407 3221224576 3221223296 134814133 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16166 11254 364 364 0 15802 0
[pid=8011] vsize: 64664
Current children cumulated CPU time (s) 888.28
Current children cumulated vsize (Kb) 64664

[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14386 0 0 0 89175 643 0 0 25 0 1 0 21058517 66338816 11291 4294967295 134512640 135987407 3221224576 3221223296 134814108 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16196 11291 364 364 0 15832 0
[pid=8011] vsize: 64784
Current children cumulated CPU time (s) 898.18
Current children cumulated vsize (Kb) 64784

[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14465 0 0 0 90161 649 0 0 25 0 1 0 21058517 66609152 11370 4294967295 134512640 135987407 3221224576 3221223296 134813845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16262 11370 364 364 0 15898 0
[pid=8011] vsize: 65048
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (Kb) 65048

[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14543 0 0 0 91147 653 0 0 25 0 1 0 21058517 66871296 11448 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16326 11448 364 364 0 15962 0
[pid=8011] vsize: 65304
Current children cumulated CPU time (s) 918
Current children cumulated vsize (Kb) 65304

[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14570 0 0 0 92132 659 0 0 25 0 1 0 21058517 66871296 11475 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16326 11475 364 364 0 15962 0
[pid=8011] vsize: 65304
Current children cumulated CPU time (s) 927.91
Current children cumulated vsize (Kb) 65304

[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14596 0 0 0 93119 664 0 0 25 0 1 0 21058517 66998272 11501 4294967295 134512640 135987407 3221224576 3221223296 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16357 11501 364 364 0 15993 0
[pid=8011] vsize: 65428
Current children cumulated CPU time (s) 937.83
Current children cumulated vsize (Kb) 65428

[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14623 0 0 0 94104 669 0 0 25 0 1 0 21058517 66998272 11528 4294967295 134512640 135987407 3221224576 3221223296 134813842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16357 11528 364 364 0 15993 0
[pid=8011] vsize: 65428
Current children cumulated CPU time (s) 947.73
Current children cumulated vsize (Kb) 65428

[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14670 0 0 0 95091 673 0 0 25 0 1 0 21058517 67137536 11575 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16391 11575 364 364 0 16027 0
[pid=8011] vsize: 65564
Current children cumulated CPU time (s) 957.64
Current children cumulated vsize (Kb) 65564

[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14723 0 0 0 96076 679 0 0 25 0 1 0 21058517 67420160 11628 4294967295 134512640 135987407 3221224576 3221223360 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16460 11628 364 364 0 16096 0
[pid=8011] vsize: 65840
Current children cumulated CPU time (s) 967.55
Current children cumulated vsize (Kb) 65840

[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14754 0 0 0 97063 685 0 0 25 0 1 0 21058517 67420160 11659 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16460 11659 364 364 0 16096 0
[pid=8011] vsize: 65840
Current children cumulated CPU time (s) 977.48
Current children cumulated vsize (Kb) 65840

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14775 0 0 0 98051 689 0 0 25 0 1 0 21058517 67534848 11680 4294967295 134512640 135987407 3221224576 3221223396 135479892 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16488 11680 364 364 0 16124 0
[pid=8011] vsize: 65952
Current children cumulated CPU time (s) 987.4
Current children cumulated vsize (Kb) 65952

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14807 0 0 0 99037 694 0 0 25 0 1 0 21058517 67534848 11712 4294967295 134512640 135987407 3221224576 3221223216 134821379 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16488 11712 364 364 0 16124 0
[pid=8011] vsize: 65952
Current children cumulated CPU time (s) 997.31
Current children cumulated vsize (Kb) 65952

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14867 0 0 0 100024 698 0 0 25 0 1 0 21058517 67944448 11772 4294967295 134512640 135987407 3221224576 3221223392 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16588 11772 364 364 0 16224 0
[pid=8011] vsize: 66352
Current children cumulated CPU time (s) 1007.22
Current children cumulated vsize (Kb) 66352

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14898 0 0 0 101010 703 0 0 25 0 1 0 21058517 67944448 11803 4294967295 134512640 135987407 3221224576 3221223296 134813856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16588 11803 364 364 0 16224 0
[pid=8011] vsize: 66352
Current children cumulated CPU time (s) 1017.13
Current children cumulated vsize (Kb) 66352

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14924 0 0 0 101999 707 0 0 25 0 1 0 21058517 68079616 11829 4294967295 134512640 135987407 3221224576 3221223264 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16621 11829 364 364 0 16257 0
[pid=8011] vsize: 66484
Current children cumulated CPU time (s) 1027.06
Current children cumulated vsize (Kb) 66484

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14958 0 0 0 102988 711 0 0 25 0 1 0 21058517 68079616 11863 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16621 11863 364 364 0 16257 0
[pid=8011] vsize: 66484
Current children cumulated CPU time (s) 1036.99
Current children cumulated vsize (Kb) 66484

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 14979 0 0 0 103976 715 0 0 25 0 1 0 21058517 68079616 11884 4294967295 134512640 135987407 3221224576 3221223296 134814003 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16621 11884 364 364 0 16257 0
[pid=8011] vsize: 66484
Current children cumulated CPU time (s) 1046.91
Current children cumulated vsize (Kb) 66484

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15011 0 0 0 104963 720 0 0 25 0 1 0 21058517 68218880 11916 4294967295 134512640 135987407 3221224576 3221223296 134813726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16655 11916 364 364 0 16291 0
[pid=8011] vsize: 66620
Current children cumulated CPU time (s) 1056.83
Current children cumulated vsize (Kb) 66620

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15168 0 0 0 105948 725 0 0 25 0 1 0 21058517 68218880 12073 4294967295 134512640 135987407 3221224576 3221223296 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16655 12073 364 364 0 16291 0
[pid=8011] vsize: 66620
Current children cumulated CPU time (s) 1066.73
Current children cumulated vsize (Kb) 66620

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15249 0 0 0 106935 731 0 0 25 0 1 0 21058517 68218880 12154 4294967295 134512640 135987407 3221224576 3221223324 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16655 12154 364 364 0 16291 0
[pid=8011] vsize: 66620
Current children cumulated CPU time (s) 1076.66
Current children cumulated vsize (Kb) 66620

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15435 0 0 0 107921 736 0 0 25 0 1 0 21058517 68358144 12340 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16689 12340 364 364 0 16325 0
[pid=8011] vsize: 66756
Current children cumulated CPU time (s) 1086.57
Current children cumulated vsize (Kb) 66756

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15540 0 0 0 108908 740 0 0 25 0 1 0 21058517 68497408 12445 4294967295 134512640 135987407 3221224576 3221223264 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16723 12445 364 364 0 16359 0
[pid=8011] vsize: 66892
Current children cumulated CPU time (s) 1096.48
Current children cumulated vsize (Kb) 66892

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15660 0 0 0 109896 746 0 0 25 0 1 0 21058517 68497408 12565 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16723 12565 364 364 0 16359 0
[pid=8011] vsize: 66892
Current children cumulated CPU time (s) 1106.42
Current children cumulated vsize (Kb) 66892

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15812 0 0 0 110882 751 0 0 25 0 1 0 21058517 68747264 12717 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16784 12717 364 364 0 16420 0
[pid=8011] vsize: 67136
Current children cumulated CPU time (s) 1116.33
Current children cumulated vsize (Kb) 67136

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 15905 0 0 0 111870 755 0 0 25 0 1 0 21058517 68747264 12810 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16784 12810 364 364 0 16420 0
[pid=8011] vsize: 67136
Current children cumulated CPU time (s) 1126.25
Current children cumulated vsize (Kb) 67136

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16067 0 0 0 112856 760 0 0 25 0 1 0 21058517 68882432 12972 4294967295 134512640 135987407 3221224576 3221223324 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16817 12972 364 364 0 16453 0
[pid=8011] vsize: 67268
Current children cumulated CPU time (s) 1136.16
Current children cumulated vsize (Kb) 67268

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16139 0 0 0 113844 765 0 0 25 0 1 0 21058517 69005312 13044 4294967295 134512640 135987407 3221224576 3221223296 134814145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16847 13044 364 364 0 16483 0
[pid=8011] vsize: 67388
Current children cumulated CPU time (s) 1146.09
Current children cumulated vsize (Kb) 67388

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16285 0 0 0 114831 770 0 0 25 0 1 0 21058517 69177344 13190 4294967295 134512640 135987407 3221224576 3221223296 134814131 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16889 13190 364 364 0 16525 0
[pid=8011] vsize: 67556
Current children cumulated CPU time (s) 1156.01
Current children cumulated vsize (Kb) 67556

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16350 0 0 0 115819 773 0 0 25 0 1 0 21058517 69177344 13255 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16889 13255 364 364 0 16525 0
[pid=8011] vsize: 67556
Current children cumulated CPU time (s) 1165.92
Current children cumulated vsize (Kb) 67556

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16490 0 0 0 116808 778 0 0 25 0 1 0 21058517 69312512 13395 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8011/statm): 16922 13395 364 364 0 16558 0
[pid=8011] vsize: 67688
Current children cumulated CPU time (s) 1175.86
Current children cumulated vsize (Kb) 67688

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16642 0 0 0 117796 782 0 0 25 0 1 0 21058517 69435392 13547 4294967295 134512640 135987407 3221224576 3221223264 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 16952 13547 364 364 0 16588 0
[pid=8011] vsize: 67808
Current children cumulated CPU time (s) 1185.78
Current children cumulated vsize (Kb) 67808

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16756 0 0 0 118785 785 0 0 25 0 1 0 21058517 69705728 13661 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 17018 13661 364 364 0 16654 0
[pid=8011] vsize: 68072
Current children cumulated CPU time (s) 1195.7
Current children cumulated vsize (Kb) 68072

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16930 0 0 0 119771 790 0 0 25 0 1 0 21058517 69705728 13835 4294967295 134512640 135987407 3221224576 3221223344 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 17018 13835 364 364 0 16654 0
[pid=8011] vsize: 68072
Current children cumulated CPU time (s) 1205.61
Current children cumulated vsize (Kb) 68072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8074
Raw data (/proc/8011/stat): 8011 (pb2sat) R 8010 8011 4060 0 -1 0 16930 0 0 0 119771 790 0 0 25 0 1 0 21058517 69705728 13835 4294967295 134512640 135987407 3221224576 3221223344 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8011/statm): 17018 13835 364 364 0 16654 0
[pid=8011] vsize: 68072
Current children cumulated CPU time (s) 1205.61
Current children cumulated vsize (Kb) 68072

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

Child status: 0
Real time (s): 1220.17
CPU time (s): 1205.73
CPU user time (s): 1197.8
CPU system time (s): 7.92779
CPU usage (%): 98.8168
Max. virtual memory (cumulated for all children) (Kb): 68072

Verifier Data

ERROR: no interpretation found !