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/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb
MD5SUMfa4a7fbdb8e29a803b111007243b55e8
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26591232
Optimality of the best value was proved NO
Number of terms in the objective function 7200
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 1616008034847
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 10737418240
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 1616008034847
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1227.47
Number of variables14400
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint630

Trace number 10055

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.002
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:        924972 kB
Buffers:         17308 kB
Cached:          72860 kB
SwapCached:          0 kB
Active:          46268 kB
Inactive:        46756 kB
HighTotal:      131008 kB
HighFree:        54264 kB
LowTotal:       903652 kB
LowFree:        870708 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11056 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:45:06 (client local time) WITH STATUS 0 IN 1206.36 SECONDS
stats: 8747 7 1206.36 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21562664 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 373 2 364 364 0 9 0
[pid=8243] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-set1cl.opb

[startup+10.0022 s]
Raw data (loadavg): 0.92 0.94 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 26399 0 0 0 934 63 0 0 25 0 1 0 21562664 82354176 15273 4294967295 134512640 135987407 3221224560 3221043280 134537503 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 20106 15273 364 364 0 19742 0
[pid=8243] vsize: 80424
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 80424

[startup+20.0028 s]
Raw data (loadavg): 0.93 0.94 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 50982 0 0 0 1866 125 0 0 24 0 1 0 21562664 162664448 27897 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 39713 27897 364 364 0 39349 0
[pid=8243] vsize: 158852
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 158852

[startup+30.0034 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 51456 0 0 0 2739 167 0 0 25 0 1 0 21562664 164564992 28371 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 40177 28371 364 364 0 39813 0
[pid=8243] vsize: 160708
Current children cumulated CPU time (s) 29.06
Current children cumulated vsize (Kb) 160708

[startup+40.004 s]
Raw data (loadavg): 0.95 0.95 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 51688 0 0 0 3641 199 0 0 25 0 1 0 21562664 165421056 28603 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 40386 28603 364 364 0 40022 0
[pid=8243] vsize: 161544
Current children cumulated CPU time (s) 38.4
Current children cumulated vsize (Kb) 161544

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 51799 0 0 0 4532 237 0 0 25 0 1 0 21562664 165826560 28714 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 40485 28714 364 364 0 40121 0
[pid=8243] vsize: 161940
Current children cumulated CPU time (s) 47.69
Current children cumulated vsize (Kb) 161940

[startup+60.0052 s]
Raw data (loadavg): 0.96 0.95 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 51879 0 0 0 5426 271 0 0 25 0 1 0 21562664 166236160 28794 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 40585 28794 364 364 0 40221 0
[pid=8243] vsize: 162340
Current children cumulated CPU time (s) 56.97
Current children cumulated vsize (Kb) 162340

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52046 0 0 0 6311 309 0 0 25 0 1 0 21562664 166932480 28961 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 40755 28961 364 364 0 40391 0
[pid=8243] vsize: 163020
Current children cumulated CPU time (s) 66.2
Current children cumulated vsize (Kb) 163020

[startup+80.0054 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52119 0 0 0 7207 344 0 0 25 0 1 0 21562664 167227392 29034 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 40827 29034 364 364 0 40463 0
[pid=8243] vsize: 163308
Current children cumulated CPU time (s) 75.51
Current children cumulated vsize (Kb) 163308

[startup+90.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52205 0 0 0 8104 379 0 0 25 0 1 0 21562664 167538688 29120 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 40903 29120 364 364 0 40539 0
[pid=8243] vsize: 163612
Current children cumulated CPU time (s) 84.83
Current children cumulated vsize (Kb) 163612

[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52269 0 0 0 8993 415 0 0 25 0 1 0 21562664 167825408 29184 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 40973 29184 364 364 0 40609 0
[pid=8243] vsize: 163892
Current children cumulated CPU time (s) 94.08
Current children cumulated vsize (Kb) 163892

[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 52504 0 0 0 9875 454 0 0 25 0 1 0 21562664 168824832 29419 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41217 29419 364 364 0 40853 0
[pid=8243] vsize: 164868
Current children cumulated CPU time (s) 103.29
Current children cumulated vsize (Kb) 164868

[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52590 0 0 0 10761 489 0 0 25 0 1 0 21562664 169119744 29505 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41289 29505 364 364 0 40925 0
[pid=8243] vsize: 165156
Current children cumulated CPU time (s) 112.5
Current children cumulated vsize (Kb) 165156

[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52683 0 0 0 11646 527 0 0 25 0 1 0 21562664 169553920 29598 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41395 29598 364 364 0 41031 0
[pid=8243] vsize: 165580
Current children cumulated CPU time (s) 121.73
Current children cumulated vsize (Kb) 165580

[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52779 0 0 0 12538 561 0 0 25 0 1 0 21562664 169996288 29694 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41503 29694 364 364 0 41139 0
[pid=8243] vsize: 166012
Current children cumulated CPU time (s) 130.99
Current children cumulated vsize (Kb) 166012

[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52822 0 0 0 13426 598 0 0 25 0 1 0 21562664 170143744 29737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41539 29737 364 364 0 41175 0
[pid=8243] vsize: 166156
Current children cumulated CPU time (s) 140.24
Current children cumulated vsize (Kb) 166156

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52907 0 0 0 14317 633 0 0 25 0 1 0 21562664 170426368 29822 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41608 29822 364 364 0 41244 0
[pid=8243] vsize: 166432
Current children cumulated CPU time (s) 149.5
Current children cumulated vsize (Kb) 166432

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52982 0 0 0 15210 668 0 0 25 0 1 0 21562664 170737664 29897 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41684 29897 364 364 0 41320 0
[pid=8243] vsize: 166736
Current children cumulated CPU time (s) 158.78
Current children cumulated vsize (Kb) 166736

[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53160 0 0 0 16089 709 0 0 25 0 1 0 21562664 171565056 30075 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 41886 30075 364 364 0 41522 0
[pid=8243] vsize: 167544
Current children cumulated CPU time (s) 167.98
Current children cumulated vsize (Kb) 167544

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53240 0 0 0 16978 746 0 0 25 0 1 0 21562664 171839488 30155 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 41953 30155 364 364 0 41589 0
[pid=8243] vsize: 167812
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (Kb) 167812

[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53333 0 0 0 17870 783 0 0 25 0 1 0 21562664 172118016 30248 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42021 30248 364 364 0 41657 0
[pid=8243] vsize: 168084
Current children cumulated CPU time (s) 186.53
Current children cumulated vsize (Kb) 168084

[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53471 0 0 0 18761 818 0 0 25 0 1 0 21562664 172695552 30386 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42162 30386 364 364 0 41798 0
[pid=8243] vsize: 168648
Current children cumulated CPU time (s) 195.79
Current children cumulated vsize (Kb) 168648

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53513 0 0 0 19647 855 0 0 24 0 1 0 21562664 172982272 30428 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42232 30428 364 364 0 41868 0
[pid=8243] vsize: 168928
Current children cumulated CPU time (s) 205.02
Current children cumulated vsize (Kb) 168928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53575 0 0 0 20526 896 0 0 25 0 1 0 21562664 173277184 30490 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42304 30490 364 364 0 41940 0
[pid=8243] vsize: 169216
Current children cumulated CPU time (s) 214.22
Current children cumulated vsize (Kb) 169216

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53650 0 0 0 21417 933 0 0 25 0 1 0 21562664 173563904 30565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42374 30565 364 364 0 42010 0
[pid=8243] vsize: 169496
Current children cumulated CPU time (s) 223.5
Current children cumulated vsize (Kb) 169496

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53696 0 0 0 22306 967 0 0 25 0 1 0 21562664 173703168 30611 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42408 30611 364 364 0 42044 0
[pid=8243] vsize: 169632
Current children cumulated CPU time (s) 232.73
Current children cumulated vsize (Kb) 169632

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53773 0 0 0 23195 1002 0 0 25 0 1 0 21562664 174145536 30688 4294967295 134512640 135987407 3221224560 3221223344 134812325 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42516 30688 364 364 0 42152 0
[pid=8243] vsize: 170064
Current children cumulated CPU time (s) 241.97
Current children cumulated vsize (Kb) 170064

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53882 0 0 0 24060 1049 0 0 25 0 1 0 21562664 174563328 30797 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42618 30797 364 364 0 42254 0
[pid=8243] vsize: 170472
Current children cumulated CPU time (s) 251.09
Current children cumulated vsize (Kb) 170472

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53930 0 0 0 24948 1085 0 0 25 0 1 0 21562664 174702592 30845 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42652 30845 364 364 0 42288 0
[pid=8243] vsize: 170608
Current children cumulated CPU time (s) 260.33
Current children cumulated vsize (Kb) 170608

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53979 0 0 0 25834 1120 0 0 25 0 1 0 21562664 174845952 30894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42687 30894 364 364 0 42323 0
[pid=8243] vsize: 170748
Current children cumulated CPU time (s) 269.54
Current children cumulated vsize (Kb) 170748

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54022 0 0 0 26726 1161 0 0 25 0 1 0 21562664 174985216 30937 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42721 30937 364 364 0 42357 0
[pid=8243] vsize: 170884
Current children cumulated CPU time (s) 278.87
Current children cumulated vsize (Kb) 170884

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54050 0 0 0 27616 1199 0 0 25 0 1 0 21562664 175124480 30965 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42755 30965 364 364 0 42391 0
[pid=8243] vsize: 171020
Current children cumulated CPU time (s) 288.15
Current children cumulated vsize (Kb) 171020

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54118 0 0 0 28508 1236 0 0 25 0 1 0 21562664 175419392 31033 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42827 31033 364 364 0 42463 0
[pid=8243] vsize: 171308
Current children cumulated CPU time (s) 297.44
Current children cumulated vsize (Kb) 171308

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54137 0 0 0 29397 1273 0 0 25 0 1 0 21562664 175419392 31052 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42827 31052 364 364 0 42463 0
[pid=8243] vsize: 171308
Current children cumulated CPU time (s) 306.7
Current children cumulated vsize (Kb) 171308

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54167 0 0 0 30288 1310 0 0 25 0 1 0 21562664 175554560 31082 4294967295 134512640 135987407 3221224560 3221223248 134811784 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42860 31082 364 364 0 42496 0
[pid=8243] vsize: 171440
Current children cumulated CPU time (s) 315.98
Current children cumulated vsize (Kb) 171440

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54203 0 0 0 31181 1344 0 0 25 0 1 0 21562664 175689728 31118 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42893 31118 364 364 0 42529 0
[pid=8243] vsize: 171572
Current children cumulated CPU time (s) 325.25
Current children cumulated vsize (Kb) 171572

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54227 0 0 0 32079 1377 0 0 25 0 1 0 21562664 175689728 31142 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 42893 31142 364 364 0 42529 0
[pid=8243] vsize: 171572
Current children cumulated CPU time (s) 334.56
Current children cumulated vsize (Kb) 171572

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54272 0 0 0 32963 1416 0 0 25 0 1 0 21562664 175960064 31187 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42959 31187 364 364 0 42595 0
[pid=8243] vsize: 171836
Current children cumulated CPU time (s) 343.79
Current children cumulated vsize (Kb) 171836

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54294 0 0 0 33846 1457 0 0 25 0 1 0 21562664 175960064 31209 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42959 31209 364 364 0 42595 0
[pid=8243] vsize: 171836
Current children cumulated CPU time (s) 353.03
Current children cumulated vsize (Kb) 171836

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54333 0 0 0 34740 1492 0 0 25 0 1 0 21562664 176099328 31248 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 42993 31248 364 364 0 42629 0
[pid=8243] vsize: 171972
Current children cumulated CPU time (s) 362.32
Current children cumulated vsize (Kb) 171972

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54396 0 0 0 35616 1531 0 0 25 0 1 0 21562664 176377856 31311 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43061 31311 364 364 0 42697 0
[pid=8243] vsize: 172244
Current children cumulated CPU time (s) 371.47
Current children cumulated vsize (Kb) 172244

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54462 0 0 0 36499 1571 0 0 25 0 1 0 21562664 176680960 31377 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43135 31377 364 364 0 42771 0
[pid=8243] vsize: 172540
Current children cumulated CPU time (s) 380.7
Current children cumulated vsize (Kb) 172540

[startup+420.016 s]
Raw data (loadavg): 1.07 0.99 0.93 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54539 0 0 0 37374 1611 0 0 25 0 1 0 21562664 176984064 31454 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43209 31454 364 364 0 42845 0
[pid=8243] vsize: 172836
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (Kb) 172836

[startup+430.017 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54560 0 0 0 38257 1653 0 0 25 0 1 0 21562664 176984064 31475 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43209 31475 364 364 0 42845 0
[pid=8243] vsize: 172836
Current children cumulated CPU time (s) 399.1
Current children cumulated vsize (Kb) 172836

[startup+440.017 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54658 0 0 0 39133 1694 0 0 25 0 1 0 21562664 177418240 31573 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43315 31573 364 364 0 42951 0
[pid=8243] vsize: 173260
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (Kb) 173260

[startup+450.018 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54710 0 0 0 40015 1731 0 0 23 0 1 0 21562664 177553408 31625 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43348 31625 364 364 0 42984 0
[pid=8243] vsize: 173392
Current children cumulated CPU time (s) 417.46
Current children cumulated vsize (Kb) 173392

[startup+460.017 s]
Raw data (loadavg): 1.04 0.99 0.93 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54723 0 0 0 40901 1767 0 0 25 0 1 0 21562664 177553408 31638 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43348 31638 364 364 0 42984 0
[pid=8243] vsize: 173392
Current children cumulated CPU time (s) 426.68
Current children cumulated vsize (Kb) 173392

[startup+470.018 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54745 0 0 0 41790 1802 0 0 25 0 1 0 21562664 177688576 31660 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43381 31660 364 364 0 43017 0
[pid=8243] vsize: 173524
Current children cumulated CPU time (s) 435.92
Current children cumulated vsize (Kb) 173524

[startup+480.019 s]
Raw data (loadavg): 1.03 0.99 0.93 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54795 0 0 0 42669 1841 0 0 25 0 1 0 21562664 177823744 31710 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43414 31710 364 364 0 43050 0
[pid=8243] vsize: 173656
Current children cumulated CPU time (s) 445.1
Current children cumulated vsize (Kb) 173656

[startup+490.018 s]
Raw data (loadavg): 1.02 0.99 0.93 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54844 0 0 0 43532 1887 0 0 25 0 1 0 21562664 177958912 31759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43447 31759 364 364 0 43083 0
[pid=8243] vsize: 173788
Current children cumulated CPU time (s) 454.19
Current children cumulated vsize (Kb) 173788

[startup+500.02 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54870 0 0 0 44406 1930 0 0 23 0 1 0 21562664 177958912 31785 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43447 31785 364 364 0 43083 0
[pid=8243] vsize: 173788
Current children cumulated CPU time (s) 463.36
Current children cumulated vsize (Kb) 173788

[startup+510.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54924 0 0 0 45282 1971 0 0 25 0 1 0 21562664 178233344 31839 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43514 31839 364 364 0 43150 0
[pid=8243] vsize: 174056
Current children cumulated CPU time (s) 472.53
Current children cumulated vsize (Kb) 174056

[startup+520.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54973 0 0 0 46161 2012 0 0 25 0 1 0 21562664 178372608 31888 4294967295 134512640 135987407 3221224560 3221223136 134801555 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43548 31888 364 364 0 43184 0
[pid=8243] vsize: 174192
Current children cumulated CPU time (s) 481.73
Current children cumulated vsize (Kb) 174192

[startup+530.019 s]
Raw data (loadavg): 1.08 1.00 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55008 0 0 0 47037 2051 0 0 25 0 1 0 21562664 178569216 31923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43596 31923 364 364 0 43232 0
[pid=8243] vsize: 174384
Current children cumulated CPU time (s) 490.88
Current children cumulated vsize (Kb) 174384

[startup+540.02 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55050 0 0 0 47928 2084 0 0 25 0 1 0 21562664 178708480 31965 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43630 31965 364 364 0 43266 0
[pid=8243] vsize: 174520
Current children cumulated CPU time (s) 500.12
Current children cumulated vsize (Kb) 174520

[startup+550.021 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55073 0 0 0 48807 2125 0 0 25 0 1 0 21562664 178708480 31988 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43630 31988 364 364 0 43266 0
[pid=8243] vsize: 174520
Current children cumulated CPU time (s) 509.32
Current children cumulated vsize (Kb) 174520

[startup+560.021 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55086 0 0 0 49696 2160 0 0 25 0 1 0 21562664 178843648 32001 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43663 32001 364 364 0 43299 0
[pid=8243] vsize: 174652
Current children cumulated CPU time (s) 518.56
Current children cumulated vsize (Kb) 174652

[startup+570.022 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55119 0 0 0 50579 2196 0 0 25 0 1 0 21562664 178843648 32034 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43663 32034 364 364 0 43299 0
[pid=8243] vsize: 174652
Current children cumulated CPU time (s) 527.75
Current children cumulated vsize (Kb) 174652

[startup+580.023 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55152 0 0 0 51455 2236 0 0 25 0 1 0 21562664 178982912 32067 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43697 32067 364 364 0 43333 0
[pid=8243] vsize: 174788
Current children cumulated CPU time (s) 536.91
Current children cumulated vsize (Kb) 174788

[startup+590.022 s]
Raw data (loadavg): 1.03 1.00 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55204 0 0 0 52321 2281 0 0 25 0 1 0 21562664 179113984 32119 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43729 32119 364 364 0 43365 0
[pid=8243] vsize: 174916
Current children cumulated CPU time (s) 546.02
Current children cumulated vsize (Kb) 174916

[startup+600.023 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55252 0 0 0 53196 2324 0 0 22 0 1 0 21562664 179404800 32167 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43800 32167 364 364 0 43436 0
[pid=8243] vsize: 175200
Current children cumulated CPU time (s) 555.2
Current children cumulated vsize (Kb) 175200

[startup+610.023 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55272 0 0 0 54075 2362 0 0 25 0 1 0 21562664 179404800 32187 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43800 32187 364 364 0 43436 0
[pid=8243] vsize: 175200
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (Kb) 175200

[startup+620.024 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55344 0 0 0 54957 2400 0 0 25 0 1 0 21562664 179699712 32259 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43872 32259 364 364 0 43508 0
[pid=8243] vsize: 175488
Current children cumulated CPU time (s) 573.57
Current children cumulated vsize (Kb) 175488

[startup+630.025 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55359 0 0 0 55843 2441 0 0 25 0 1 0 21562664 179699712 32274 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43872 32274 364 364 0 43508 0
[pid=8243] vsize: 175488
Current children cumulated CPU time (s) 582.84
Current children cumulated vsize (Kb) 175488

[startup+640.025 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55398 0 0 0 56721 2485 0 0 25 0 1 0 21562664 179834880 32313 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43905 32313 364 364 0 43541 0
[pid=8243] vsize: 175620
Current children cumulated CPU time (s) 592.06
Current children cumulated vsize (Kb) 175620

[startup+650.026 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55434 0 0 0 57606 2523 0 0 25 0 1 0 21562664 179974144 32349 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 43939 32349 364 364 0 43575 0
[pid=8243] vsize: 175756
Current children cumulated CPU time (s) 601.29
Current children cumulated vsize (Kb) 175756

[startup+660.026 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55457 0 0 0 58488 2562 0 0 23 0 1 0 21562664 179974144 32372 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 43939 32372 364 364 0 43575 0
[pid=8243] vsize: 175756
Current children cumulated CPU time (s) 610.5
Current children cumulated vsize (Kb) 175756

[startup+670.026 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55521 0 0 0 59365 2600 0 0 25 0 1 0 21562664 180244480 32436 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44005 32436 364 364 0 43641 0
[pid=8243] vsize: 176020
Current children cumulated CPU time (s) 619.65
Current children cumulated vsize (Kb) 176020

[startup+680.027 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55536 0 0 0 60244 2642 0 0 25 0 1 0 21562664 180244480 32451 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44005 32451 364 364 0 43641 0
[pid=8243] vsize: 176020
Current children cumulated CPU time (s) 628.86
Current children cumulated vsize (Kb) 176020

[startup+690.026 s]
Raw data (loadavg): 1.07 1.02 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55572 0 0 0 61126 2682 0 0 25 0 1 0 21562664 180244480 32487 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44005 32487 364 364 0 43641 0
[pid=8243] vsize: 176020
Current children cumulated CPU time (s) 638.08
Current children cumulated vsize (Kb) 176020

[startup+700.027 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55582 0 0 0 62005 2718 0 0 25 0 1 0 21562664 180383744 32497 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44039 32497 364 364 0 43675 0
[pid=8243] vsize: 176156
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (Kb) 176156

[startup+710.027 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55666 0 0 0 62876 2762 0 0 24 0 1 0 21562664 180654080 32581 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44105 32581 364 364 0 43741 0
[pid=8243] vsize: 176420
Current children cumulated CPU time (s) 656.38
Current children cumulated vsize (Kb) 176420

[startup+720.028 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55703 0 0 0 63749 2804 0 0 25 0 1 0 21562664 180793344 32618 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44139 32618 364 364 0 43775 0
[pid=8243] vsize: 176556
Current children cumulated CPU time (s) 665.53
Current children cumulated vsize (Kb) 176556

[startup+730.029 s]
Raw data (loadavg): 1.03 1.01 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55727 0 0 0 64631 2843 0 0 25 0 1 0 21562664 180793344 32642 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44139 32642 364 364 0 43775 0
[pid=8243] vsize: 176556
Current children cumulated CPU time (s) 674.74
Current children cumulated vsize (Kb) 176556

[startup+740.029 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55780 0 0 0 65507 2884 0 0 25 0 1 0 21562664 181071872 32695 4294967295 134512640 135987407 3221224560 3221223376 134816700 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44207 32695 364 364 0 43843 0
[pid=8243] vsize: 176828
Current children cumulated CPU time (s) 683.91
Current children cumulated vsize (Kb) 176828

[startup+750.03 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55808 0 0 0 66387 2923 0 0 24 0 1 0 21562664 181071872 32723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44207 32723 364 364 0 43843 0
[pid=8243] vsize: 176828
Current children cumulated CPU time (s) 693.1
Current children cumulated vsize (Kb) 176828

[startup+760.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55838 0 0 0 67256 2968 0 0 25 0 1 0 21562664 181207040 32753 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44240 32753 364 364 0 43876 0
[pid=8243] vsize: 176960
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (Kb) 176960

[startup+770.03 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55894 0 0 0 68123 3014 0 0 25 0 1 0 21562664 181477376 32809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44306 32809 364 364 0 43942 0
[pid=8243] vsize: 177224
Current children cumulated CPU time (s) 711.37
Current children cumulated vsize (Kb) 177224

[startup+780.031 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55912 0 0 0 69005 3053 0 0 25 0 1 0 21562664 181477376 32827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44306 32827 364 364 0 43942 0
[pid=8243] vsize: 177224
Current children cumulated CPU time (s) 720.58
Current children cumulated vsize (Kb) 177224

[startup+790.03 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56016 0 0 0 69884 3092 0 0 25 0 1 0 21562664 181952512 32931 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44422 32931 364 364 0 44058 0
[pid=8243] vsize: 177688
Current children cumulated CPU time (s) 729.76
Current children cumulated vsize (Kb) 177688

[startup+800.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56117 0 0 0 70761 3134 0 0 25 0 1 0 21562664 182444032 33032 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44542 33032 364 364 0 44178 0
[pid=8243] vsize: 178168
Current children cumulated CPU time (s) 738.95
Current children cumulated vsize (Kb) 178168

[startup+810.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56292 0 0 0 71646 3172 0 0 25 0 1 0 21562664 183263232 33207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 44742 33207 364 364 0 44378 0
[pid=8243] vsize: 178968
Current children cumulated CPU time (s) 748.18
Current children cumulated vsize (Kb) 178968

[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56404 0 0 0 72527 3209 0 0 25 0 1 0 21562664 183918592 33319 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 44902 33319 364 364 0 44538 0
[pid=8243] vsize: 179608
Current children cumulated CPU time (s) 757.36
Current children cumulated vsize (Kb) 179608

[startup+830.032 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56518 0 0 0 73408 3248 0 0 25 0 1 0 21562664 184410112 33433 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45022 33433 364 364 0 44658 0
[pid=8243] vsize: 180088
Current children cumulated CPU time (s) 766.56
Current children cumulated vsize (Kb) 180088

[startup+840.032 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56622 0 0 0 74297 3285 0 0 25 0 1 0 21562664 184901632 33537 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45142 33537 364 364 0 44778 0
[pid=8243] vsize: 180568
Current children cumulated CPU time (s) 775.82
Current children cumulated vsize (Kb) 180568

[startup+850.033 s]
Raw data (loadavg): 1.14 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56711 0 0 0 75175 3325 0 0 25 0 1 0 21562664 185393152 33626 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45262 33626 364 364 0 44898 0
[pid=8243] vsize: 181048
Current children cumulated CPU time (s) 785
Current children cumulated vsize (Kb) 181048

[startup+860.033 s]
Raw data (loadavg): 1.11 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56783 0 0 0 76044 3367 0 0 25 0 1 0 21562664 185720832 33698 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45342 33698 364 364 0 44978 0
[pid=8243] vsize: 181368
Current children cumulated CPU time (s) 794.11
Current children cumulated vsize (Kb) 181368

[startup+870.033 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56879 0 0 0 76934 3406 0 0 25 0 1 0 21562664 186048512 33794 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45422 33794 364 364 0 45058 0
[pid=8243] vsize: 181688
Current children cumulated CPU time (s) 803.4
Current children cumulated vsize (Kb) 181688

[startup+880.034 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56963 0 0 0 77812 3448 0 0 25 0 1 0 21562664 186540032 33878 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45542 33878 364 364 0 45178 0
[pid=8243] vsize: 182168
Current children cumulated CPU time (s) 812.6
Current children cumulated vsize (Kb) 182168

[startup+890.033 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57065 0 0 0 78678 3495 0 0 25 0 1 0 21562664 187031552 33980 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45662 33980 364 364 0 45298 0
[pid=8243] vsize: 182648
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (Kb) 182648

[startup+900.034 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57126 0 0 0 79551 3537 0 0 24 0 1 0 21562664 187195392 34041 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45702 34041 364 364 0 45338 0
[pid=8243] vsize: 182808
Current children cumulated CPU time (s) 830.88
Current children cumulated vsize (Kb) 182808

[startup+910.034 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57200 0 0 0 80432 3576 0 0 25 0 1 0 21562664 187658240 34115 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45815 34115 364 364 0 45451 0
[pid=8243] vsize: 183260
Current children cumulated CPU time (s) 840.08
Current children cumulated vsize (Kb) 183260

[startup+920.035 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57262 0 0 0 81298 3620 0 0 25 0 1 0 21562664 187985920 34177 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 45895 34177 364 364 0 45531 0
[pid=8243] vsize: 183580
Current children cumulated CPU time (s) 849.18
Current children cumulated vsize (Kb) 183580

[startup+930.036 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57303 0 0 0 82166 3665 0 0 25 0 1 0 21562664 188149760 34218 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 45935 34218 364 364 0 45571 0
[pid=8243] vsize: 183740
Current children cumulated CPU time (s) 858.31
Current children cumulated vsize (Kb) 183740

[startup+940.035 s]
Raw data (loadavg): 1.03 1.02 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57349 0 0 0 83040 3707 0 0 25 0 1 0 21562664 188477440 34264 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46015 34264 364 364 0 45651 0
[pid=8243] vsize: 184060
Current children cumulated CPU time (s) 867.47
Current children cumulated vsize (Kb) 184060

[startup+950.036 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57428 0 0 0 83909 3748 0 0 25 0 1 0 21562664 188805120 34343 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46095 34343 364 364 0 45731 0
[pid=8243] vsize: 184380
Current children cumulated CPU time (s) 876.57
Current children cumulated vsize (Kb) 184380

[startup+960.036 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57478 0 0 0 84783 3788 0 0 19 0 1 0 21562664 189132800 34393 4294967295 134512640 135987407 3221224560 3221223392 134812773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46175 34393 364 364 0 45811 0
[pid=8243] vsize: 184700
Current children cumulated CPU time (s) 885.71
Current children cumulated vsize (Kb) 184700

[startup+970.036 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57521 0 0 0 85658 3830 0 0 25 0 1 0 21562664 189296640 34436 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46215 34436 364 364 0 45851 0
[pid=8243] vsize: 184860
Current children cumulated CPU time (s) 894.88
Current children cumulated vsize (Kb) 184860

[startup+980.037 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57598 0 0 0 86536 3869 0 0 25 0 1 0 21562664 189788160 34513 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46335 34513 364 364 0 45971 0
[pid=8243] vsize: 185340
Current children cumulated CPU time (s) 904.05
Current children cumulated vsize (Kb) 185340

[startup+990.037 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57632 0 0 0 87410 3912 0 0 25 0 1 0 21562664 189952000 34547 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46375 34547 364 364 0 46011 0
[pid=8243] vsize: 185500
Current children cumulated CPU time (s) 913.22
Current children cumulated vsize (Kb) 185500

[startup+1000.04 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57695 0 0 0 88277 3954 0 0 25 0 1 0 21562664 190279680 34610 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46455 34610 364 364 0 46091 0
[pid=8243] vsize: 185820
Current children cumulated CPU time (s) 922.31
Current children cumulated vsize (Kb) 185820

[startup+1010.04 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57763 0 0 0 89150 3996 0 0 25 0 1 0 21562664 190771200 34678 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46575 34678 364 364 0 46211 0
[pid=8243] vsize: 186300
Current children cumulated CPU time (s) 931.46
Current children cumulated vsize (Kb) 186300

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57845 0 0 0 90033 4037 0 0 25 0 1 0 21562664 191262720 34760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46695 34760 364 364 0 46331 0
[pid=8243] vsize: 186780
Current children cumulated CPU time (s) 940.7
Current children cumulated vsize (Kb) 186780

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57887 0 0 0 90906 4079 0 0 25 0 1 0 21562664 191426560 34802 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46735 34802 364 364 0 46371 0
[pid=8243] vsize: 186940
Current children cumulated CPU time (s) 949.85
Current children cumulated vsize (Kb) 186940

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57923 0 0 0 91795 4114 0 0 25 0 1 0 21562664 191590400 34838 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46775 34838 364 364 0 46411 0
[pid=8243] vsize: 187100
Current children cumulated CPU time (s) 959.09
Current children cumulated vsize (Kb) 187100

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57959 0 0 0 92672 4153 0 0 25 0 1 0 21562664 191754240 34874 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46815 34874 364 364 0 46451 0
[pid=8243] vsize: 187260
Current children cumulated CPU time (s) 968.25
Current children cumulated vsize (Kb) 187260

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58000 0 0 0 93548 4193 0 0 25 0 1 0 21562664 191918080 34915 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46855 34915 364 364 0 46491 0
[pid=8243] vsize: 187420
Current children cumulated CPU time (s) 977.41
Current children cumulated vsize (Kb) 187420

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58022 0 0 0 94412 4240 0 0 25 0 1 0 21562664 192081920 34937 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 34937 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 986.52
Current children cumulated vsize (Kb) 187580

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58029 0 0 0 95294 4279 0 0 25 0 1 0 21562664 192081920 34944 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 34944 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 995.73
Current children cumulated vsize (Kb) 187580

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58038 0 0 0 96164 4322 0 0 25 0 1 0 21562664 192081920 34953 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46895 34953 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1004.86
Current children cumulated vsize (Kb) 187580

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58046 0 0 0 97036 4365 0 0 18 0 1 0 21562664 192081920 34961 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 34961 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1014.01
Current children cumulated vsize (Kb) 187580

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58053 0 0 0 97896 4412 0 0 25 0 1 0 21562664 192081920 34968 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 34968 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1023.08
Current children cumulated vsize (Kb) 187580

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58058 0 0 0 98765 4454 0 0 25 0 1 0 21562664 192081920 34973 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 34973 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1032.19
Current children cumulated vsize (Kb) 187580

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58091 0 0 0 99635 4494 0 0 25 0 1 0 21562664 192081920 35006 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46895 35006 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1041.29
Current children cumulated vsize (Kb) 187580

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58099 0 0 0 100505 4538 0 0 25 0 1 0 21562664 192081920 35014 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46895 35014 364 364 0 46531 0
[pid=8243] vsize: 187580
Current children cumulated CPU time (s) 1050.43
Current children cumulated vsize (Kb) 187580

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58110 0 0 0 101374 4582 0 0 25 0 1 0 21562664 192245760 35025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46935 35025 364 364 0 46571 0
[pid=8243] vsize: 187740
Current children cumulated CPU time (s) 1059.56
Current children cumulated vsize (Kb) 187740

[startup+1160.05 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58116 0 0 0 102240 4627 0 0 25 0 1 0 21562664 192245760 35031 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46935 35031 364 364 0 46571 0
[pid=8243] vsize: 187740
Current children cumulated CPU time (s) 1068.67
Current children cumulated vsize (Kb) 187740

[startup+1170.05 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58121 0 0 0 103113 4668 0 0 25 0 1 0 21562664 192245760 35036 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46935 35036 364 364 0 46571 0
[pid=8243] vsize: 187740
Current children cumulated CPU time (s) 1077.81
Current children cumulated vsize (Kb) 187740

[startup+1180.05 s]
Raw data (loadavg): 1.05 1.02 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58129 0 0 0 103975 4713 0 0 25 0 1 0 21562664 192245760 35044 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46935 35044 364 364 0 46571 0
[pid=8243] vsize: 187740
Current children cumulated CPU time (s) 1086.88
Current children cumulated vsize (Kb) 187740

[startup+1190.05 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58141 0 0 0 104852 4755 0 0 25 0 1 0 21562664 192245760 35056 4294967295 134512640 135987407 3221224560 3221223020 135481620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 46935 35056 364 364 0 46571 0
[pid=8243] vsize: 187740
Current children cumulated CPU time (s) 1096.07
Current children cumulated vsize (Kb) 187740

[startup+1200.05 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58188 0 0 0 105725 4796 0 0 25 0 1 0 21562664 192409600 35103 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8243/statm): 46975 35103 364 364 0 46611 0
[pid=8243] vsize: 187900
Current children cumulated CPU time (s) 1105.21
Current children cumulated vsize (Kb) 187900

[startup+1210.05 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58212 0 0 0 106599 4839 0 0 25 0 1 0 21562664 192548864 35127 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47009 35127 364 364 0 46645 0
[pid=8243] vsize: 188036
Current children cumulated CPU time (s) 1114.38
Current children cumulated vsize (Kb) 188036

[startup+1220.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58252 0 0 0 107477 4879 0 0 25 0 1 0 21562664 192688128 35167 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47043 35167 364 364 0 46679 0
[pid=8243] vsize: 188172
Current children cumulated CPU time (s) 1123.56
Current children cumulated vsize (Kb) 188172

[startup+1230.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58302 0 0 0 108350 4919 0 0 25 0 1 0 21562664 192835584 35217 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47079 35217 364 364 0 46715 0
[pid=8243] vsize: 188316
Current children cumulated CPU time (s) 1132.69
Current children cumulated vsize (Kb) 188316

[startup+1240.05 s]
Raw data (loadavg): 1.02 1.01 0.96 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58362 0 0 0 109223 4962 0 0 25 0 1 0 21562664 193122304 35277 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 47149 35277 364 364 0 46785 0
[pid=8243] vsize: 188596
Current children cumulated CPU time (s) 1141.85
Current children cumulated vsize (Kb) 188596

[startup+1250.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58392 0 0 0 110092 5007 0 0 25 0 1 0 21562664 193122304 35307 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47149 35307 364 364 0 46785 0
[pid=8243] vsize: 188596
Current children cumulated CPU time (s) 1150.99
Current children cumulated vsize (Kb) 188596

[startup+1260.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58409 0 0 0 110968 5046 0 0 25 0 1 0 21562664 193261568 35324 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47183 35324 364 364 0 46819 0
[pid=8243] vsize: 188732
Current children cumulated CPU time (s) 1160.14
Current children cumulated vsize (Kb) 188732

[startup+1270.05 s]
Raw data (loadavg): 1.01 1.01 0.96 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58430 0 0 0 111835 5088 0 0 25 0 1 0 21562664 193261568 35345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47183 35345 364 364 0 46819 0
[pid=8243] vsize: 188732
Current children cumulated CPU time (s) 1169.23
Current children cumulated vsize (Kb) 188732

[startup+1280.05 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58446 0 0 0 112709 5128 0 0 25 0 1 0 21562664 193261568 35361 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47183 35361 364 364 0 46819 0
[pid=8243] vsize: 188732
Current children cumulated CPU time (s) 1178.37
Current children cumulated vsize (Kb) 188732

[startup+1290.05 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58479 0 0 0 113586 5169 0 0 25 0 1 0 21562664 193425408 35394 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8243/statm): 47223 35394 364 364 0 46859 0
[pid=8243] vsize: 188892
Current children cumulated CPU time (s) 1187.55
Current children cumulated vsize (Kb) 188892

[startup+1300.05 s]
Raw data (loadavg): 1.06 1.02 0.96 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58511 0 0 0 114455 5212 0 0 25 0 1 0 21562664 193572864 35426 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 47259 35426 364 364 0 46895 0
[pid=8243] vsize: 189036
Current children cumulated CPU time (s) 1196.67
Current children cumulated vsize (Kb) 189036

[startup+1310.05 s]
Raw data (loadavg): 1.05 1.02 0.96 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58525 0 0 0 115319 5256 0 0 25 0 1 0 21562664 193572864 35440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 47259 35440 364 364 0 46895 0
[pid=8243] vsize: 189036
Current children cumulated CPU time (s) 1205.75
Current children cumulated vsize (Kb) 189036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.06 s]
Raw data (loadavg): 1.05 1.02 0.96 1/55 8243
Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58525 0 0 0 115319 5256 0 0 25 0 1 0 21562664 193572864 35440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8243/statm): 47259 35440 364 364 0 46895 0
[pid=8243] vsize: 189036
Current children cumulated CPU time (s) 1205.75
Current children cumulated vsize (Kb) 189036

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

Child status: 0
Real time (s): 1310.66
CPU time (s): 1206.36
CPU user time (s): 1153.73
CPU system time (s): 52.634
CPU usage (%): 92.0423
Max. virtual memory (cumulated for all children) (Kb): 189036

Verifier Data

ERROR: no interpretation found !