Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMbad364b24a8c9bb1cd282751f54245c6
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 161061586616320
Optimality of the best value was proved NO
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1241.78
Number of variables16800
Total number of constraints1307
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint1
Maximum length of a constraint183

Trace number 10343

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 17:33:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8953 boxname=wulflinc8 idbench=749 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bad364b24a8c9bb1cd282751f54245c6  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb
IDLAUNCH: 8953
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916340 kB
Buffers:         13428 kB
Cached:          87280 kB
SwapCached:          0 kB
Active:          48328 kB
Inactive:        55280 kB
HighTotal:      131008 kB
HighFree:        40656 kB
LowTotal:       903652 kB
LowFree:        875684 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9088 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:54:10 (client local time) WITH STATUS 0 IN 1203.77 SECONDS
stats: 8953 7 1203.77 0

Solver Data

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

c Decision: 58674/493600	Time: 19.524/86400
c Decision: 59358/493600	Time: 45.6731/86400
c Decision: 59381/493600	Time: 55.9255/86400
c Decision: 59476/493600	Time: 65.0981/86400
c Decision: 59697/493600	Time: 85.222/86400
c Decision: 65430/493600	Time: 574.397/86400
c Decision: 65453/493600	Time: 590.101/86400
c Decision: 65453/493600	Time: 600.533/86400
c Decision: 65487/493600	Time: 622.579/86400
c Decision: 65494/493600	Time: 635.775/86400
c Decision: 65526/493600	Time: 655.985/86400
c Decision: 65530/493600	Time: 667.363/86400
c Decision: 65564/493600	Time: 681.675/86400
c Decision: 65564/493600	Time: 691.082/86400
c Decision: 65599/493600	Time: 707.085/86400
c Decision: 65599/493600	Time: 717.479/86400
c Decision: 65599/493600	Time: 727.723/86400
c Decision: 65599/493600	Time: 738.515/86400
c Decision: 65602/493600	Time: 751.216/86400
c Decision: 65628/493600	Time: 772.915/86400
c Decision: 65636/493600	Time: 796.399/86400
c Decision: 65636/493600	Time: 805.839/86400
c Decision: 65668/493600	Time: 832.828/86400
c Decision: 65695/493600	Time: 862.215/86400
c Decision: 65718/493600	Time: 880.911/86400
c Decision: 65724/493600	Time: 897.401/86400
c Decision: 65724/493600	Time: 908.848/86400
c Decision: 65732/493600	Time: 927.759/86400
c Decision: 65740/493600	Time: 949.427/86400
c Decision: 65837/493600	Time: 1006.32/86400
c Decision: 65857/493600	Time: 1028.67/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/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22031597 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 373 2 364 364 0 9 0
[pid=9930] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb

[startup+10.002 s]
Raw data (loadavg): 0.92 0.95 0.95 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 24056 0 0 0 941 55 0 0 25 0 1 0 22031597 72114176 12924 4294967295 134512640 135987407 3221224560 3221206432 134856458 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 17606 12924 364 364 0 17242 0
[pid=9930] vsize: 70424
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 70424

[startup+20.0038 s]
Raw data (loadavg): 0.93 0.96 0.95 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 50686 0 0 0 1882 112 0 0 25 0 1 0 22031597 158081024 28326 4294967295 134512640 135987407 3221224560 3221202736 134856417 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 38594 28326 364 364 0 38230 0
[pid=9930] vsize: 154376
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 154376

[startup+30.0046 s]
Raw data (loadavg): 0.94 0.96 0.95 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 59382 0 0 0 2799 157 0 0 22 0 1 0 22031597 168640512 35927 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 41172 35927 364 364 0 40808 0
[pid=9930] vsize: 164688
Current children cumulated CPU time (s) 29.56
Current children cumulated vsize (Kb) 164688

[startup+40.0044 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 59909 0 0 0 3662 201 0 0 25 0 1 0 22031597 170684416 36454 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 41671 36454 364 364 0 41307 0
[pid=9930] vsize: 166684
Current children cumulated CPU time (s) 38.63
Current children cumulated vsize (Kb) 166684

[startup+50.0051 s]
Raw data (loadavg): 1.03 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 60977 0 0 0 4618 217 0 0 25 0 1 0 22031597 171094016 36557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 41771 36557 364 364 0 41407 0
[pid=9930] vsize: 167084
Current children cumulated CPU time (s) 48.35
Current children cumulated vsize (Kb) 167084

[startup+60.0049 s]
Raw data (loadavg): 1.03 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 61052 0 0 0 5563 235 0 0 25 0 1 0 22031597 171241472 36632 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 41807 36632 364 364 0 41443 0
[pid=9930] vsize: 167228
Current children cumulated CPU time (s) 57.98
Current children cumulated vsize (Kb) 167228

[startup+70.0057 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 61110 0 0 0 6491 257 0 0 25 0 1 0 22031597 171380736 36690 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 41841 36690 364 364 0 41477 0
[pid=9930] vsize: 167364
Current children cumulated CPU time (s) 67.48
Current children cumulated vsize (Kb) 167364

[startup+80.0065 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 62107 0 0 0 7433 277 0 0 25 0 1 0 22031597 171528192 36722 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 41877 36722 364 364 0 41513 0
[pid=9930] vsize: 167508
Current children cumulated CPU time (s) 77.1
Current children cumulated vsize (Kb) 167508

[startup+90.0073 s]
Raw data (loadavg): 1.02 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 63149 0 0 0 8371 298 0 0 25 0 1 0 22031597 171810816 36799 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 41946 36799 364 364 0 41582 0
[pid=9930] vsize: 167784
Current children cumulated CPU time (s) 86.69
Current children cumulated vsize (Kb) 167784

[startup+100.008 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 64222 0 0 0 9277 334 0 0 25 0 1 0 22031597 172216320 36907 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42045 36907 364 364 0 41681 0
[pid=9930] vsize: 168180
Current children cumulated CPU time (s) 96.11
Current children cumulated vsize (Kb) 168180

[startup+110.009 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 64281 0 0 0 10219 355 0 0 25 0 1 0 22031597 172359680 36966 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42080 36966 364 364 0 41716 0
[pid=9930] vsize: 168320
Current children cumulated CPU time (s) 105.74
Current children cumulated vsize (Kb) 168320

[startup+120.01 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65364 0 0 0 11098 393 0 0 22 0 1 0 22031597 172765184 37084 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42179 37084 364 364 0 41815 0
[pid=9930] vsize: 168716
Current children cumulated CPU time (s) 114.91
Current children cumulated vsize (Kb) 168716

[startup+130.01 s]
Raw data (loadavg): 1.01 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65475 0 0 0 12023 420 0 0 25 0 1 0 22031597 173174784 37195 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42279 37195 364 364 0 41915 0
[pid=9930] vsize: 169116
Current children cumulated CPU time (s) 124.43
Current children cumulated vsize (Kb) 169116

[startup+140.01 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65522 0 0 0 12956 443 0 0 25 0 1 0 22031597 173174784 37242 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42279 37242 364 364 0 41915 0
[pid=9930] vsize: 169116
Current children cumulated CPU time (s) 133.99
Current children cumulated vsize (Kb) 169116

[startup+150.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65589 0 0 0 13887 465 0 0 25 0 1 0 22031597 173453312 37309 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42347 37309 364 364 0 41983 0
[pid=9930] vsize: 169388
Current children cumulated CPU time (s) 143.52
Current children cumulated vsize (Kb) 169388

[startup+160.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65625 0 0 0 14821 486 0 0 25 0 1 0 22031597 173453312 37345 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 42347 37345 364 364 0 41983 0
[pid=9930] vsize: 169388
Current children cumulated CPU time (s) 153.07
Current children cumulated vsize (Kb) 169388

[startup+170.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65695 0 0 0 15760 506 0 0 25 0 1 0 22031597 173596672 37415 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42382 37415 364 364 0 42018 0
[pid=9930] vsize: 169528
Current children cumulated CPU time (s) 162.66
Current children cumulated vsize (Kb) 169528

[startup+180.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65731 0 0 0 16698 528 0 0 25 0 1 0 22031597 173731840 37451 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42415 37451 364 364 0 42051 0
[pid=9930] vsize: 169660
Current children cumulated CPU time (s) 172.26
Current children cumulated vsize (Kb) 169660

[startup+190.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65776 0 0 0 17641 548 0 0 25 0 1 0 22031597 173871104 37496 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42449 37496 364 364 0 42085 0
[pid=9930] vsize: 169796
Current children cumulated CPU time (s) 181.89
Current children cumulated vsize (Kb) 169796

[startup+200.014 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65832 0 0 0 18565 574 0 0 25 0 1 0 22031597 174018560 37552 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42485 37552 364 364 0 42121 0
[pid=9930] vsize: 169940
Current children cumulated CPU time (s) 191.39
Current children cumulated vsize (Kb) 169940

[startup+210.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65874 0 0 0 19493 600 0 0 25 0 1 0 22031597 174018560 37594 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42485 37594 364 364 0 42121 0
[pid=9930] vsize: 169940
Current children cumulated CPU time (s) 200.93
Current children cumulated vsize (Kb) 169940

[startup+220.015 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65902 0 0 0 20433 622 0 0 25 0 1 0 22031597 174018560 37622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42485 37622 364 364 0 42121 0
[pid=9930] vsize: 169940
Current children cumulated CPU time (s) 210.55
Current children cumulated vsize (Kb) 169940

[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65955 0 0 0 21372 640 0 0 25 0 1 0 22031597 174161920 37675 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 42520 37675 364 364 0 42156 0
[pid=9930] vsize: 170080
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (Kb) 170080

[startup+240.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65999 0 0 0 22308 663 0 0 25 0 1 0 22031597 174309376 37719 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42556 37719 364 364 0 42192 0
[pid=9930] vsize: 170224
Current children cumulated CPU time (s) 229.71
Current children cumulated vsize (Kb) 170224

[startup+250.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66042 0 0 0 23233 687 0 0 25 0 1 0 22031597 174452736 37762 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42591 37762 364 364 0 42227 0
[pid=9930] vsize: 170364
Current children cumulated CPU time (s) 239.2
Current children cumulated vsize (Kb) 170364

[startup+260.017 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66088 0 0 0 24167 709 0 0 25 0 1 0 22031597 174592000 37808 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42625 37808 364 364 0 42261 0
[pid=9930] vsize: 170500
Current children cumulated CPU time (s) 248.76
Current children cumulated vsize (Kb) 170500

[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66131 0 0 0 25102 732 0 0 25 0 1 0 22031597 174592000 37851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42625 37851 364 364 0 42261 0
[pid=9930] vsize: 170500
Current children cumulated CPU time (s) 258.34
Current children cumulated vsize (Kb) 170500

[startup+280.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66190 0 0 0 26034 753 0 0 25 0 1 0 22031597 174727168 37910 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42658 37910 364 364 0 42294 0
[pid=9930] vsize: 170632
Current children cumulated CPU time (s) 267.87
Current children cumulated vsize (Kb) 170632

[startup+290.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66237 0 0 0 26967 775 0 0 25 0 1 0 22031597 174874624 37957 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42694 37957 364 364 0 42330 0
[pid=9930] vsize: 170776
Current children cumulated CPU time (s) 277.42
Current children cumulated vsize (Kb) 170776

[startup+300.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66265 0 0 0 27882 804 0 0 25 0 1 0 22031597 175013888 37985 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42728 37985 364 364 0 42364 0
[pid=9930] vsize: 170912
Current children cumulated CPU time (s) 286.86
Current children cumulated vsize (Kb) 170912

[startup+310.018 s]
Raw data (loadavg): 1.00 0.97 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66299 0 0 0 28817 826 0 0 25 0 1 0 22031597 175013888 38019 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42728 38019 364 364 0 42364 0
[pid=9930] vsize: 170912
Current children cumulated CPU time (s) 296.43
Current children cumulated vsize (Kb) 170912

[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66335 0 0 0 29756 849 0 0 25 0 1 0 22031597 175013888 38055 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 42728 38055 364 364 0 42364 0
[pid=9930] vsize: 170912
Current children cumulated CPU time (s) 306.05
Current children cumulated vsize (Kb) 170912

[startup+330.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66384 0 0 0 30681 875 0 0 25 0 1 0 22031597 175153152 38104 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42762 38104 364 364 0 42398 0
[pid=9930] vsize: 171048
Current children cumulated CPU time (s) 315.56
Current children cumulated vsize (Kb) 171048

[startup+340.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66431 0 0 0 31603 902 0 0 25 0 1 0 22031597 175292416 38151 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 42796 38151 364 364 0 42432 0
[pid=9930] vsize: 171184
Current children cumulated CPU time (s) 325.05
Current children cumulated vsize (Kb) 171184

[startup+350.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66465 0 0 0 32524 927 0 0 25 0 1 0 22031597 175431680 38185 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42830 38185 364 364 0 42466 0
[pid=9930] vsize: 171320
Current children cumulated CPU time (s) 334.51
Current children cumulated vsize (Kb) 171320

[startup+360.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66508 0 0 0 33453 951 0 0 25 0 1 0 22031597 175431680 38228 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42830 38228 364 364 0 42466 0
[pid=9930] vsize: 171320
Current children cumulated CPU time (s) 344.04
Current children cumulated vsize (Kb) 171320

[startup+370.022 s]
Raw data (loadavg): 1.08 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66541 0 0 0 34372 978 0 0 25 0 1 0 22031597 175566848 38261 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42863 38261 364 364 0 42499 0
[pid=9930] vsize: 171452
Current children cumulated CPU time (s) 353.5
Current children cumulated vsize (Kb) 171452

[startup+380.023 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66585 0 0 0 35290 1006 0 0 25 0 1 0 22031597 175714304 38305 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42899 38305 364 364 0 42535 0
[pid=9930] vsize: 171596
Current children cumulated CPU time (s) 362.96
Current children cumulated vsize (Kb) 171596

[startup+390.024 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66616 0 0 0 36211 1032 0 0 25 0 1 0 22031597 175714304 38336 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42899 38336 364 364 0 42535 0
[pid=9930] vsize: 171596
Current children cumulated CPU time (s) 372.43
Current children cumulated vsize (Kb) 171596

[startup+400.024 s]
Raw data (loadavg): 1.05 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66652 0 0 0 37116 1065 0 0 25 0 1 0 22031597 175857664 38372 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42934 38372 364 364 0 42570 0
[pid=9930] vsize: 171736
Current children cumulated CPU time (s) 381.81
Current children cumulated vsize (Kb) 171736

[startup+410.024 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66697 0 0 0 38038 1091 0 0 25 0 1 0 22031597 176005120 38417 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42970 38417 364 364 0 42606 0
[pid=9930] vsize: 171880
Current children cumulated CPU time (s) 391.29
Current children cumulated vsize (Kb) 171880

[startup+420.025 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66730 0 0 0 38956 1121 0 0 25 0 1 0 22031597 176005120 38450 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 42970 38450 364 364 0 42606 0
[pid=9930] vsize: 171880
Current children cumulated CPU time (s) 400.77
Current children cumulated vsize (Kb) 171880

[startup+430.026 s]
Raw data (loadavg): 1.03 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66794 0 0 0 39881 1147 0 0 25 0 1 0 22031597 176291840 38514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43040 38514 364 364 0 42676 0
[pid=9930] vsize: 172160
Current children cumulated CPU time (s) 410.28
Current children cumulated vsize (Kb) 172160

[startup+440.027 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66818 0 0 0 40805 1173 0 0 25 0 1 0 22031597 176291840 38538 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43040 38538 364 364 0 42676 0
[pid=9930] vsize: 172160
Current children cumulated CPU time (s) 419.78
Current children cumulated vsize (Kb) 172160

[startup+450.027 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66917 0 0 0 41715 1204 0 0 25 0 1 0 22031597 176717824 38637 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43144 38637 364 364 0 42780 0
[pid=9930] vsize: 172576
Current children cumulated CPU time (s) 429.19
Current children cumulated vsize (Kb) 172576

[startup+460.028 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66941 0 0 0 42636 1230 0 0 25 0 1 0 22031597 176717824 38661 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43144 38661 364 364 0 42780 0
[pid=9930] vsize: 172576
Current children cumulated CPU time (s) 438.66
Current children cumulated vsize (Kb) 172576

[startup+470.029 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66967 0 0 0 43554 1257 0 0 25 0 1 0 22031597 176717824 38687 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43144 38687 364 364 0 42780 0
[pid=9930] vsize: 172576
Current children cumulated CPU time (s) 448.11
Current children cumulated vsize (Kb) 172576

[startup+480.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67023 0 0 0 44469 1288 0 0 25 0 1 0 22031597 176852992 38743 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43177 38743 364 364 0 42813 0
[pid=9930] vsize: 172708
Current children cumulated CPU time (s) 457.57
Current children cumulated vsize (Kb) 172708

[startup+490.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67099 0 0 0 45369 1321 0 0 23 0 1 0 22031597 177127424 38819 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43244 38819 364 364 0 42880 0
[pid=9930] vsize: 172976
Current children cumulated CPU time (s) 466.9
Current children cumulated vsize (Kb) 172976

[startup+500.03 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67146 0 0 0 46271 1354 0 0 25 0 1 0 22031597 177262592 38866 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43277 38866 364 364 0 42913 0
[pid=9930] vsize: 173108
Current children cumulated CPU time (s) 476.25
Current children cumulated vsize (Kb) 173108

[startup+510.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67179 0 0 0 47175 1386 0 0 25 0 1 0 22031597 177397760 38899 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43310 38899 364 364 0 42946 0
[pid=9930] vsize: 173240
Current children cumulated CPU time (s) 485.61
Current children cumulated vsize (Kb) 173240

[startup+520.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67208 0 0 0 48087 1416 0 0 25 0 1 0 22031597 177397760 38928 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43310 38928 364 364 0 42946 0
[pid=9930] vsize: 173240
Current children cumulated CPU time (s) 495.03
Current children cumulated vsize (Kb) 173240

[startup+530.033 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67231 0 0 0 49004 1441 0 0 25 0 1 0 22031597 177397760 38951 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43310 38951 364 364 0 42946 0
[pid=9930] vsize: 173240
Current children cumulated CPU time (s) 504.45
Current children cumulated vsize (Kb) 173240

[startup+540.032 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67292 0 0 0 49908 1474 0 0 25 0 1 0 22031597 177672192 39012 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43377 39012 364 364 0 43013 0
[pid=9930] vsize: 173508
Current children cumulated CPU time (s) 513.82
Current children cumulated vsize (Kb) 173508

[startup+550.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67317 0 0 0 50818 1504 0 0 25 0 1 0 22031597 177672192 39037 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43377 39037 364 364 0 43013 0
[pid=9930] vsize: 173508
Current children cumulated CPU time (s) 523.22
Current children cumulated vsize (Kb) 173508

[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67336 0 0 0 51729 1533 0 0 25 0 1 0 22031597 177672192 39056 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43377 39056 364 364 0 43013 0
[pid=9930] vsize: 173508
Current children cumulated CPU time (s) 532.62
Current children cumulated vsize (Kb) 173508

[startup+570.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67357 0 0 0 52642 1562 0 0 25 0 1 0 22031597 177803264 39077 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43409 39077 364 364 0 43045 0
[pid=9930] vsize: 173636
Current children cumulated CPU time (s) 542.04
Current children cumulated vsize (Kb) 173636

[startup+580.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67377 0 0 0 53555 1594 0 0 25 0 1 0 22031597 177803264 39097 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43409 39097 364 364 0 43045 0
[pid=9930] vsize: 173636
Current children cumulated CPU time (s) 551.49
Current children cumulated vsize (Kb) 173636

[startup+590.035 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67402 0 0 0 54471 1621 0 0 25 0 1 0 22031597 177803264 39122 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43409 39122 364 364 0 43045 0
[pid=9930] vsize: 173636
Current children cumulated CPU time (s) 560.92
Current children cumulated vsize (Kb) 173636

[startup+600.036 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67431 0 0 0 55395 1644 0 0 25 0 1 0 22031597 177803264 39151 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43409 39151 364 364 0 43045 0
[pid=9930] vsize: 173636
Current children cumulated CPU time (s) 570.39
Current children cumulated vsize (Kb) 173636

[startup+610.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67469 0 0 0 56313 1671 0 0 25 0 1 0 22031597 177938432 39189 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43442 39189 364 364 0 43078 0
[pid=9930] vsize: 173768
Current children cumulated CPU time (s) 579.84
Current children cumulated vsize (Kb) 173768

[startup+620.037 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67495 0 0 0 57235 1696 0 0 25 0 1 0 22031597 177938432 39215 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43442 39215 364 364 0 43078 0
[pid=9930] vsize: 173768
Current children cumulated CPU time (s) 589.31
Current children cumulated vsize (Kb) 173768

[startup+630.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 68541 0 0 0 58183 1714 0 0 25 0 1 0 22031597 178221056 39296 4294967295 134512640 135987407 3221224560 3221223376 134876811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43511 39296 364 364 0 43147 0
[pid=9930] vsize: 174044
Current children cumulated CPU time (s) 598.97
Current children cumulated vsize (Kb) 174044

[startup+640.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 68558 0 0 0 59113 1739 0 0 25 0 1 0 22031597 178360320 39313 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43545 39313 364 364 0 43181 0
[pid=9930] vsize: 174180
Current children cumulated CPU time (s) 608.52
Current children cumulated vsize (Kb) 174180

[startup+650.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 69539 0 0 0 60058 1759 0 0 25 0 1 0 22031597 178360320 39329 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43545 39329 364 364 0 43181 0
[pid=9930] vsize: 174180
Current children cumulated CPU time (s) 618.17
Current children cumulated vsize (Kb) 174180

[startup+660.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 70520 0 0 0 61007 1776 0 0 25 0 1 0 22031597 178495488 39345 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43578 39345 364 364 0 43214 0
[pid=9930] vsize: 174312
Current children cumulated CPU time (s) 627.83
Current children cumulated vsize (Kb) 174312

[startup+670.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 70537 0 0 0 61946 1797 0 0 25 0 1 0 22031597 178495488 39362 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43578 39362 364 364 0 43214 0
[pid=9930] vsize: 174312
Current children cumulated CPU time (s) 637.43
Current children cumulated vsize (Kb) 174312

[startup+680.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 71522 0 0 0 62895 1815 0 0 25 0 1 0 22031597 182448128 40347 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44543 40347 364 364 0 44179 0
[pid=9930] vsize: 178172
Current children cumulated CPU time (s) 647.1
Current children cumulated vsize (Kb) 178172

[startup+690.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 71540 0 0 0 63843 1833 0 0 25 0 1 0 22031597 178630656 39400 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43611 39400 364 364 0 43247 0
[pid=9930] vsize: 174444
Current children cumulated CPU time (s) 656.76
Current children cumulated vsize (Kb) 174444

[startup+700.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 72523 0 0 0 64793 1850 0 0 25 0 1 0 22031597 178630656 39418 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43611 39418 364 364 0 43247 0
[pid=9930] vsize: 174444
Current children cumulated CPU time (s) 666.43
Current children cumulated vsize (Kb) 174444

[startup+710.042 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 72541 0 0 0 65730 1870 0 0 25 0 1 0 22031597 178630656 39436 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43611 39436 364 364 0 43247 0
[pid=9930] vsize: 174444
Current children cumulated CPU time (s) 676
Current children cumulated vsize (Kb) 174444

[startup+720.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 73520 0 0 0 66687 1887 0 0 25 0 1 0 22031597 178761728 39450 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43643 39450 364 364 0 43279 0
[pid=9930] vsize: 174572
Current children cumulated CPU time (s) 685.74
Current children cumulated vsize (Kb) 174572

[startup+730.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 74567 0 0 0 67641 1903 0 0 25 0 1 0 22031597 179023872 39467 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43707 39467 364 364 0 43343 0
[pid=9930] vsize: 174828
Current children cumulated CPU time (s) 695.44
Current children cumulated vsize (Kb) 174828

[startup+740.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 74591 0 0 0 68585 1921 0 0 25 0 1 0 22031597 179179520 39491 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43745 39491 364 364 0 43381 0
[pid=9930] vsize: 174980
Current children cumulated CPU time (s) 705.06
Current children cumulated vsize (Kb) 174980

[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 75574 0 0 0 69535 1939 0 0 25 0 1 0 22031597 179179520 39509 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43745 39509 364 364 0 43381 0
[pid=9930] vsize: 174980
Current children cumulated CPU time (s) 714.74
Current children cumulated vsize (Kb) 174980

[startup+760.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 76557 0 0 0 70489 1955 0 0 25 0 1 0 22031597 179310592 39527 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43777 39527 364 364 0 43413 0
[pid=9930] vsize: 175108
Current children cumulated CPU time (s) 724.44
Current children cumulated vsize (Kb) 175108

[startup+770.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 77556 0 0 0 71443 1973 0 0 25 0 1 0 22031597 179310592 39561 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43777 39561 364 364 0 43413 0
[pid=9930] vsize: 175108
Current children cumulated CPU time (s) 734.16
Current children cumulated vsize (Kb) 175108

[startup+780.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 78547 0 0 0 72405 1986 0 0 25 0 1 0 22031597 179458048 39587 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43813 39587 364 364 0 43449 0
[pid=9930] vsize: 175252
Current children cumulated CPU time (s) 743.91
Current children cumulated vsize (Kb) 175252

[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 79523 0 0 0 73354 2006 0 0 25 0 1 0 22031597 179458048 39598 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43813 39598 364 364 0 43449 0
[pid=9930] vsize: 175252
Current children cumulated CPU time (s) 753.6
Current children cumulated vsize (Kb) 175252

[startup+800.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 80511 0 0 0 74295 2027 0 0 25 0 1 0 22031597 183410688 40586 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44778 40586 364 364 0 44414 0
[pid=9930] vsize: 179112
Current children cumulated CPU time (s) 763.22
Current children cumulated vsize (Kb) 179112

[startup+810.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 80551 0 0 0 75235 2051 0 0 25 0 1 0 22031597 179593216 39661 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43846 39661 364 364 0 43482 0
[pid=9930] vsize: 175384
Current children cumulated CPU time (s) 772.86
Current children cumulated vsize (Kb) 175384

[startup+820.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 81540 0 0 0 76180 2070 0 0 25 0 1 0 22031597 179593216 39685 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43846 39685 364 364 0 43482 0
[pid=9930] vsize: 175384
Current children cumulated CPU time (s) 782.5
Current children cumulated vsize (Kb) 175384

[startup+830.049 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 81573 0 0 0 77107 2094 0 0 25 0 1 0 22031597 179736576 39718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43881 39718 364 364 0 43517 0
[pid=9930] vsize: 175524
Current children cumulated CPU time (s) 792.01
Current children cumulated vsize (Kb) 175524

[startup+840.049 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 82568 0 0 0 78050 2114 0 0 25 0 1 0 22031597 179736576 39748 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43881 39748 364 364 0 43517 0
[pid=9930] vsize: 175524
Current children cumulated CPU time (s) 801.64
Current children cumulated vsize (Kb) 175524

[startup+850.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 82599 0 0 0 78986 2135 0 0 25 0 1 0 22031597 179736576 39779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43881 39779 364 364 0 43517 0
[pid=9930] vsize: 175524
Current children cumulated CPU time (s) 811.21
Current children cumulated vsize (Kb) 175524

[startup+860.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 83586 0 0 0 79934 2153 0 0 25 0 1 0 22031597 179736576 39801 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43881 39801 364 364 0 43517 0
[pid=9930] vsize: 175524
Current children cumulated CPU time (s) 820.87
Current children cumulated vsize (Kb) 175524

[startup+870.051 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84568 0 0 0 80888 2170 0 0 25 0 1 0 22031597 183836672 40783 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44882 40783 364 364 0 44518 0
[pid=9930] vsize: 179528
Current children cumulated CPU time (s) 830.58
Current children cumulated vsize (Kb) 179528

[startup+880.052 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84601 0 0 0 81834 2186 0 0 25 0 1 0 22031597 179884032 39851 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 43917 39851 364 364 0 43553 0
[pid=9930] vsize: 175668
Current children cumulated CPU time (s) 840.2
Current children cumulated vsize (Kb) 175668

[startup+890.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84635 0 0 0 82774 2208 0 0 25 0 1 0 22031597 179884032 39885 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43917 39885 364 364 0 43553 0
[pid=9930] vsize: 175668
Current children cumulated CPU time (s) 849.82
Current children cumulated vsize (Kb) 175668

[startup+900.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 85629 0 0 0 83728 2225 0 0 25 0 1 0 22031597 180015104 39914 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43949 39914 364 364 0 43585 0
[pid=9930] vsize: 175796
Current children cumulated CPU time (s) 859.53
Current children cumulated vsize (Kb) 175796

[startup+910.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 85666 0 0 0 84668 2245 0 0 25 0 1 0 22031597 180015104 39951 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43949 39951 364 364 0 43585 0
[pid=9930] vsize: 175796
Current children cumulated CPU time (s) 869.13
Current children cumulated vsize (Kb) 175796

[startup+920.054 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 85689 0 0 0 85598 2267 0 0 25 0 1 0 22031597 180015104 39974 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43949 39974 364 364 0 43585 0
[pid=9930] vsize: 175796
Current children cumulated CPU time (s) 878.65
Current children cumulated vsize (Kb) 175796

[startup+930.055 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 86682 0 0 0 86544 2287 0 0 25 0 1 0 22031597 180162560 40002 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43985 40002 364 364 0 43621 0
[pid=9930] vsize: 175940
Current children cumulated CPU time (s) 888.31
Current children cumulated vsize (Kb) 175940

[startup+940.055 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 86712 0 0 0 87476 2310 0 0 25 0 1 0 22031597 180162560 40032 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 43985 40032 364 364 0 43621 0
[pid=9930] vsize: 175940
Current children cumulated CPU time (s) 897.86
Current children cumulated vsize (Kb) 175940

[startup+950.055 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 87703 0 0 0 88419 2329 0 0 25 0 1 0 22031597 180297728 40058 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44018 40058 364 364 0 43654 0
[pid=9930] vsize: 176072
Current children cumulated CPU time (s) 907.48
Current children cumulated vsize (Kb) 176072

[startup+960.055 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 87734 0 0 0 89353 2350 0 0 25 0 1 0 22031597 180297728 40089 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44018 40089 364 364 0 43654 0
[pid=9930] vsize: 176072
Current children cumulated CPU time (s) 917.03
Current children cumulated vsize (Kb) 176072

[startup+970.056 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 88711 0 0 0 90308 2366 0 0 25 0 1 0 22031597 180297728 40101 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44018 40101 364 364 0 43654 0
[pid=9930] vsize: 176072
Current children cumulated CPU time (s) 926.74
Current children cumulated vsize (Kb) 176072

[startup+980.057 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 89689 0 0 0 91257 2383 0 0 25 0 1 0 22031597 180297728 40114 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44018 40114 364 364 0 43654 0
[pid=9930] vsize: 176072
Current children cumulated CPU time (s) 936.4
Current children cumulated vsize (Kb) 176072

[startup+990.057 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 89721 0 0 0 92195 2403 0 0 25 0 1 0 22031597 180441088 40146 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44053 40146 364 364 0 43689 0
[pid=9930] vsize: 176212
Current children cumulated CPU time (s) 945.98
Current children cumulated vsize (Kb) 176212

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 90708 0 0 0 93140 2424 0 0 25 0 1 0 22031597 180441088 40168 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44053 40168 364 364 0 43689 0
[pid=9930] vsize: 176212
Current children cumulated CPU time (s) 955.64
Current children cumulated vsize (Kb) 176212

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 90741 0 0 0 94077 2446 0 0 25 0 1 0 22031597 180441088 40201 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44053 40201 364 364 0 43689 0
[pid=9930] vsize: 176212
Current children cumulated CPU time (s) 965.23
Current children cumulated vsize (Kb) 176212

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91727 0 0 0 95024 2469 0 0 25 0 1 0 22031597 180572160 40222 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44085 40222 364 364 0 43721 0
[pid=9930] vsize: 176340
Current children cumulated CPU time (s) 974.93
Current children cumulated vsize (Kb) 176340

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 91756 0 0 0 95960 2487 0 0 25 0 1 0 22031597 180572160 40251 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44085 40251 364 364 0 43721 0
[pid=9930] vsize: 176340
Current children cumulated CPU time (s) 984.47
Current children cumulated vsize (Kb) 176340

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.96 3/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91787 0 0 0 96880 2511 0 0 25 0 1 0 22031597 180572160 40282 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44085 40282 364 364 0 43721 0
[pid=9930] vsize: 176340
Current children cumulated CPU time (s) 993.91
Current children cumulated vsize (Kb) 176340

[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91814 0 0 0 97809 2536 0 0 25 0 1 0 22031597 180572160 40309 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44085 40309 364 364 0 43721 0
[pid=9930] vsize: 176340
Current children cumulated CPU time (s) 1003.45
Current children cumulated vsize (Kb) 176340

[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91842 0 0 0 98739 2560 0 0 25 0 1 0 22031597 180703232 40337 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44117 40337 364 364 0 43753 0
[pid=9930] vsize: 176468
Current children cumulated CPU time (s) 1012.99
Current children cumulated vsize (Kb) 176468

[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 91873 0 0 0 99670 2583 0 0 25 0 1 0 22031597 180703232 40368 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44117 40368 364 364 0 43753 0
[pid=9930] vsize: 176468
Current children cumulated CPU time (s) 1022.53
Current children cumulated vsize (Kb) 176468

[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 92873 0 0 0 100622 2601 0 0 25 0 1 0 22031597 180838400 40403 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44150 40403 364 364 0 43786 0
[pid=9930] vsize: 176600
Current children cumulated CPU time (s) 1032.23
Current children cumulated vsize (Kb) 176600

[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 92899 0 0 0 101554 2626 0 0 25 0 1 0 22031597 180838400 40429 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44150 40429 364 364 0 43786 0
[pid=9930] vsize: 176600
Current children cumulated CPU time (s) 1041.8
Current children cumulated vsize (Kb) 176600

[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93888 0 0 0 102486 2651 0 0 25 0 1 0 22031597 184791040 41418 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 45115 41418 364 364 0 44751 0
[pid=9930] vsize: 180460
Current children cumulated CPU time (s) 1051.37
Current children cumulated vsize (Kb) 180460

[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93909 0 0 0 103433 2669 0 0 25 0 1 0 22031597 180998144 40474 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44189 40474 364 364 0 43825 0
[pid=9930] vsize: 176756
Current children cumulated CPU time (s) 1061.02
Current children cumulated vsize (Kb) 176756

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93916 0 0 0 104352 2694 0 0 25 0 1 0 22031597 180998144 40481 4294967295 134512640 135987407 3221224560 3221223376 134824753 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44189 40481 364 364 0 43825 0
[pid=9930] vsize: 176756
Current children cumulated CPU time (s) 1070.46
Current children cumulated vsize (Kb) 176756

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 93933 0 0 0 105278 2718 0 0 25 0 1 0 22031597 180998144 40498 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44189 40498 364 364 0 43825 0
[pid=9930] vsize: 176756
Current children cumulated CPU time (s) 1079.96
Current children cumulated vsize (Kb) 176756

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93957 0 0 0 106200 2742 0 0 25 0 1 0 22031597 180998144 40522 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44189 40522 364 364 0 43825 0
[pid=9930] vsize: 176756
Current children cumulated CPU time (s) 1089.42
Current children cumulated vsize (Kb) 176756

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93982 0 0 0 107123 2770 0 0 25 0 1 0 22031597 180998144 40547 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44189 40547 364 364 0 43825 0
[pid=9930] vsize: 176756
Current children cumulated CPU time (s) 1098.93
Current children cumulated vsize (Kb) 176756

[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94008 0 0 0 108037 2800 0 0 25 0 1 0 22031597 181129216 40573 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44221 40573 364 364 0 43857 0
[pid=9930] vsize: 176884
Current children cumulated CPU time (s) 1108.37
Current children cumulated vsize (Kb) 176884

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94029 0 0 0 108955 2826 0 0 20 0 1 0 22031597 181129216 40594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44221 40594 364 364 0 43857 0
[pid=9930] vsize: 176884
Current children cumulated CPU time (s) 1117.81
Current children cumulated vsize (Kb) 176884

[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94057 0 0 0 109878 2851 0 0 25 0 1 0 22031597 181129216 40622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44221 40622 364 364 0 43857 0
[pid=9930] vsize: 176884
Current children cumulated CPU time (s) 1127.29
Current children cumulated vsize (Kb) 176884

[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94081 0 0 0 110791 2880 0 0 25 0 1 0 22031597 181129216 40646 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44221 40646 364 364 0 43857 0
[pid=9930] vsize: 176884
Current children cumulated CPU time (s) 1136.71
Current children cumulated vsize (Kb) 176884

[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94105 0 0 0 111703 2908 0 0 25 0 1 0 22031597 181260288 40670 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44253 40670 364 364 0 43889 0
[pid=9930] vsize: 177012
Current children cumulated CPU time (s) 1146.11
Current children cumulated vsize (Kb) 177012

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94139 0 0 0 112626 2933 0 0 25 0 1 0 22031597 181260288 40704 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44253 40704 364 364 0 43889 0
[pid=9930] vsize: 177012
Current children cumulated CPU time (s) 1155.59
Current children cumulated vsize (Kb) 177012

[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94166 0 0 0 113545 2960 0 0 25 0 1 0 22031597 181260288 40731 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44253 40731 364 364 0 43889 0
[pid=9930] vsize: 177012
Current children cumulated CPU time (s) 1165.05
Current children cumulated vsize (Kb) 177012

[startup+1230.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94194 0 0 0 114461 2988 0 0 25 0 1 0 22031597 181395456 40759 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44286 40759 364 364 0 43922 0
[pid=9930] vsize: 177144
Current children cumulated CPU time (s) 1174.49
Current children cumulated vsize (Kb) 177144

[startup+1240.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94213 0 0 0 115381 3014 0 0 25 0 1 0 22031597 181395456 40778 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44286 40778 364 364 0 43922 0
[pid=9930] vsize: 177144
Current children cumulated CPU time (s) 1183.95
Current children cumulated vsize (Kb) 177144

[startup+1250.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94238 0 0 0 116308 3039 0 0 25 0 1 0 22031597 181395456 40803 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9930/statm): 44286 40803 364 364 0 43922 0
[pid=9930] vsize: 177144
Current children cumulated CPU time (s) 1193.47
Current children cumulated vsize (Kb) 177144

[startup+1260.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94262 0 0 0 117240 3062 0 0 25 0 1 0 22031597 181395456 40827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44286 40827 364 364 0 43922 0
[pid=9930] vsize: 177144
Current children cumulated CPU time (s) 1203.02
Current children cumulated vsize (Kb) 177144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.07 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9930
Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94262 0 0 0 117240 3062 0 0 25 0 1 0 22031597 181395456 40827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9930/statm): 44286 40827 364 364 0 43922 0
[pid=9930] vsize: 177144
Current children cumulated CPU time (s) 1203.02
Current children cumulated vsize (Kb) 177144

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

Child status: 0
Real time (s): 1260.82
CPU time (s): 1203.77
CPU user time (s): 1173.06
CPU system time (s): 30.7083
CPU usage (%): 95.4752
Max. virtual memory (cumulated for all children) (Kb): 180460

Verifier Data

ERROR: no interpretation found !