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/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM592fea06f126ca9b3a8a014f1e413b01
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10017866
Optimality of the best value was proved NO
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1543007621731
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1543007621731
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 benchmark1228.5
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630

Trace number 10203

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 17:17:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8902 boxname=wulflinc26 idbench=698 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  592fea06f126ca9b3a8a014f1e413b01  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-ran12x21.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-ran12x21.opb
IDLAUNCH: 8902
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        911800 kB
Buffers:         11664 kB
Cached:          93872 kB
SwapCached:          0 kB
Active:          44760 kB
Inactive:        63684 kB
HighTotal:      131008 kB
HighFree:        42140 kB
LowTotal:       903652 kB
LowFree:        869660 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8740 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:38:53 (client local time) WITH STATUS 0 IN 1208.15 SECONDS
stats: 8902 7 1208.15 0

Solver Data

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

c Decision: 26933/276448	Time: 42.9085/86400
c Decision: 26933/276448	Time: 50.7803/86400
c Decision: 26933/276448	Time: 57.5463/86400
c Decision: 26933/276448	Time: 65.4411/86400
c Decision: 26933/276448	Time: 73.1829/86400
c Decision: 26933/276448	Time: 81.4936/86400
c Decision: 26933/276448	Time: 89.3004/86400
c Decision: 26933/276448	Time: 96.8733/86400
c Decision: 26933/276448	Time: 104.403/86400
c Decision: 26933/276448	Time: 112.313/86400
c Decision: 26933/276448	Time: 122.192/86400
c Decision: 26933/276448	Time: 130.518/86400
c Decision: 26933/276448	Time: 138.885/86400
c Decision: 26933/276448	Time: 146.388/86400
c Decision: 26933/276448	Time: 154.338/86400
c Decision: 26933/276448	Time: 162.976/86400
c Decision: 26933/276448	Time: 170.17/86400
c Decision: 26933/276448	Time: 178.981/86400
c Decision: 26933/276448	Time: 186.901/86400
c Decision: 26933/276448	Time: 196.044/86400
c Decision: 26933/276448	Time: 205.23/86400
c Decision: 26933/276448	Time: 213.787/86400
c Decision: 26933/276448	Time: 223.236/86400
c Decision: 26933/276448	Time: 232.092/86400
c Decision: 26933/276448	Time: 239.839/86400
c Decision: 26933/276448	Time: 248.333/86400
c Decision: 26933/276448	Time: 255.222/86400
c Decision: 26933/276448	Time: 263.155/86400
c Decision: 26933/276448	Time: 270.155/86400
c Decision: 26933/276448	Time: 278.355/86400
c Decision: 26933/276448	Time: 287.952/86400
c Decision: 26933/276448	Time: 296.396/86400
c Decision: 26933/276448	Time: 304.405/86400
c Decision: 26933/276448	Time: 312.834/86400
c Decision: 26933/276448	Time: 321.307/86400
c Decision: 26933/276448	Time: 330.891/86400
c Decision: 26933/276448	Time: 339.749/86400
c Decision: 26933/276448	Time: 348.641/86400
c Decision: 26933/276448	Time: 356.767/86400
c Decision: 26933/276448	Time: 363.695/86400
c Decision: 26933/276448	Time: 373.22/86400
c Decision: 26933/276448	Time: 380.466/86400
c Decision: 26933/276448	Time: 388.593/86400
c Decision: 26933/276448	Time: 396.882/86400
c Decision: 26933/276448	Time: 404.886/86400
c Decision: 26933/276448	Time: 413.101/86400
c Decision: 26933/276448	Time: 421.112/86400
c Decision: 26933/276448	Time: 428.417/86400
c Decision: 26933/276448	Time: 437.098/86400
c Decision: 26933/276448	Time: 446.113/86400
c Decision: 26933/276448	Time: 456.729/86400
c Decision: 26933/276448	Time: 464.004/86400
c Decision: 26933/276448	Time: 472.242/86400
c Decision: 26933/276448	Time: 479.88/86400
c Decision: 26933/276448	Time: 488.034/86400
c Decision: 26933/276448	Time: 497.53/86400
c Decision: 26933/276448	Time: 505.845/86400
c Decision: 26933/276448	Time: 514.606/86400
c Decision: 26933/276448	Time: 523.363/86400
c Decision: 26933/276448	Time: 530.786/86400
c Decision: 26933/276448	Time: 538.641/86400
c Decision: 26933/276448	Time: 545.736/86400
c Decision: 26933/276448	Time: 554.486/86400
c Decision: 26933/276448	Time: 560.801/86400
c Decision: 26933/276448	Time: 566.722/86400
c Decision: 26933/276448	Time: 574.929/86400
c Decision: 26933/276448	Time: 583.512/86400
c Decision: 26933/276448	Time: 592.189/86400
c Decision: 26933/276448	Time: 600.977/86400
c Decision: 26933/276448	Time: 609.037/86400
c Decision: 26933/276448	Time: 619.211/86400
c Decision: 26933/276448	Time: 626.808/86400
c Decision: 26933/276448	Time: 634.975/86400
c Decision: 26933/276448	Time: 643.343/86400
c Decision: 26933/276448	Time: 651.773/86400
c Decision: 26933/276448	Time: 660.685/86400
c Decision: 26933/276448	Time: 667.335/86400
c Decision: 26933/276448	Time: 675.357/86400
c Decision: 26933/276448	Time: 683.676/86400
c Decision: 26933/276448	Time: 692.231/86400
c Decision: 26933/276448	Time: 701.958/86400
c Decision: 26933/276448	Time: 709.51/86400
c Decision: 26933/276448	Time: 717.941/86400
c Decision: 26933/276448	Time: 725.803/86400
c Decision: 26933/276448	Time: 734.913/86400
c Decision: 26933/276448	Time: 744.422/86400
c Decision: 26933/276448	Time: 752.366/86400
c Decision: 26933/276448	Time: 759.982/86400
c Decision: 26933/276448	Time: 769.592/86400
c Decision: 26933/276448	Time: 778.593/86400
c Decision: 26933/276448	Time: 788.342/86400
c Decision: 26933/276448	Time: 796.872/86400
c Decision: 26933/276448	Time: 805.885/86400
c Decision: 26933/276448	Time: 814.889/86400
c Decision: 26933/276448	Time: 823.053/86400
c Decision: 26933/276448	Time: 832.744/86400
c Decision: 26933/276448	Time: 841.405/86400
c Decision: 26933/276448	Time: 850.551/86400
c Decision: 26933/276448	Time: 858.67/86400
c Decision: 26933/276448	Time: 866.616/86400
c Decision: 26933/276448	Time: 876.131/86400
c Decision: 26933/276448	Time: 884.658/86400
c Decision: 26933/276448	Time: 892.745/86400
c Decision: 26933/276448	Time: 900.703/86400
c Decision: 26933/276448	Time: 908.878/86400
c Decision: 26933/276448	Time: 917.607/86400
c Decision: 26933/276448	Time: 925.452/86400
c Decision: 26933/276448	Time: 933.327/86400
c Decision: 26933/276448	Time: 941.731/86400
c Decision: 26933/276448	Time: 950.385/86400
c Decision: 26933/276448	Time: 957.959/86400
c Decision: 26933/276448	Time: 965.891/86400
c Decision: 26933/276448	Time: 973.231/86400
c Decision: 26933/276448	Time: 981.781/86400
c Decision: 26933/276448	Time: 989.566/86400
c Decision: 26933/276448	Time: 999.066/86400
c Decision: 26933/276448	Time: 1006.1/86400
c Decision: 26933/276448	Time: 1014.14/86400
c Decision: 26933/276448	Time: 1021.96/86400
c Decision: 26933/276448	Time: 1028.76/86400
c Decision: 26933/276448	Time: 1036.51/86400
c Decision: 26933/276448	Time: 1042.7/86400
c Decision: 26933/276448	Time: 1050.01/86400
c Decision: 26933/276448	Time: 1057.8/86400
c Decision: 26933/276448	Time: 1066.27/86400
c Decision: 26933/276448	Time: 1075.42/86400
c Decision: 26933/276448	Time: 1083.19/86400
c Decision: 26933/276448	Time: 1091.24/86400
c Decision: 26933/276448	Time: 1099.78/86400
c Decision: 26933/276448	Time: 1107.72/86400
c Decision: 26933/276448	Time: 1116.88/86400
c Decision: 26933/276448	Time: 1125.22/86400
c Decision: 26933/276448	Time: 1133.23/86400
c Decision: 26933/276448	Time: 1141.79/86400
c Decision: 26933/276448	Time: 1149.34/86400
c Decision: 26933/276448	Time: 1158.47/86400
c Decision: 26933/276448	Time: 1166.46/86400
c Decision: 26933/276448	Time: 1174.83/86400
c Decision: 26933/276448	Time: 1183.4/86400
c Decision: 26933/276448	Time: 1192.06/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/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 18 0 0 0 0 0 0 0 21 0 1 0 21889375 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 373 2 364 364 0 9 0
[pid=8735] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-ran12x21.opb

[startup+10.0015 s]
Raw data (loadavg): 0.93 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 27332 0 0 0 932 64 0 0 25 0 1 0 21889375 80736256 16185 4294967295 134512640 135987407 3221224560 3221140272 134877933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 19711 16185 364 364 0 19347 0
[pid=8735] vsize: 78844
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78844

[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 40954 0 0 0 1867 104 0 0 25 0 1 0 21889375 121868288 24348 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 29753 24348 364 364 0 29389 0
[pid=8735] vsize: 119012
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 119012

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 41363 0 0 0 2832 116 0 0 25 0 1 0 21889375 123293696 24757 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 30101 24757 364 364 0 29737 0
[pid=8735] vsize: 120404
Current children cumulated CPU time (s) 29.48
Current children cumulated vsize (Kb) 120404

[startup+40.0036 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 41858 0 0 0 3787 130 0 0 25 0 1 0 21889375 125644800 25252 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 30675 25252 364 364 0 30311 0
[pid=8735] vsize: 122700
Current children cumulated CPU time (s) 39.17
Current children cumulated vsize (Kb) 122700

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 42033 0 0 0 4749 143 0 0 25 0 1 0 21889375 126218240 25427 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 30815 25427 364 364 0 30451 0
[pid=8735] vsize: 123260
Current children cumulated CPU time (s) 48.92
Current children cumulated vsize (Kb) 123260

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 42701 0 0 0 5701 161 0 0 25 0 1 0 21889375 126889984 25555 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 30979 25555 364 364 0 30615 0
[pid=8735] vsize: 123916
Current children cumulated CPU time (s) 58.62
Current children cumulated vsize (Kb) 123916

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 43343 0 0 0 6643 180 0 0 25 0 1 0 21889375 127201280 25657 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31055 25657 364 364 0 30691 0
[pid=8735] vsize: 124220
Current children cumulated CPU time (s) 68.23
Current children cumulated vsize (Kb) 124220

[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 44496 0 0 0 7574 206 0 0 25 0 1 0 21889375 129708032 26270 4294967295 134512640 135987407 3221224560 3221222936 134829287 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31667 26270 364 364 0 31303 0
[pid=8735] vsize: 126668
Current children cumulated CPU time (s) 77.8
Current children cumulated vsize (Kb) 126668

[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 45301 0 0 0 8507 232 0 0 25 0 1 0 21889375 129003520 25995 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31495 25995 364 364 0 31131 0
[pid=8735] vsize: 125980
Current children cumulated CPU time (s) 87.39
Current children cumulated vsize (Kb) 125980

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 45874 0 0 0 9442 254 0 0 25 0 1 0 21889375 129200128 26028 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31543 26028 364 364 0 31179 0
[pid=8735] vsize: 126172
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (Kb) 126172

[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 46443 0 0 0 10372 279 0 0 25 0 1 0 21889375 129200128 26057 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31543 26057 364 364 0 31179 0
[pid=8735] vsize: 126172
Current children cumulated CPU time (s) 106.51
Current children cumulated vsize (Kb) 126172

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 47106 0 0 0 11304 304 0 0 25 0 1 0 21889375 129855488 26180 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 31703 26180 364 364 0 31339 0
[pid=8735] vsize: 126812
Current children cumulated CPU time (s) 116.08
Current children cumulated vsize (Kb) 126812

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 48230 0 0 0 12244 325 0 0 25 0 1 0 21889375 130002944 26224 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 31739 26224 364 364 0 31375 0
[pid=8735] vsize: 126956
Current children cumulated CPU time (s) 125.69
Current children cumulated vsize (Kb) 126956

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 49037 0 0 0 13188 346 0 0 25 0 1 0 21889375 131543040 26491 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 32115 26491 364 364 0 31751 0
[pid=8735] vsize: 128460
Current children cumulated CPU time (s) 135.34
Current children cumulated vsize (Kb) 128460

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 49787 0 0 0 14127 367 0 0 25 0 1 0 21889375 132919296 26701 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 32451 26701 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 144.94
Current children cumulated vsize (Kb) 129804

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 50338 0 0 0 15054 393 0 0 25 0 1 0 21889375 132919296 26712 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 32451 26712 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 154.47
Current children cumulated vsize (Kb) 129804

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 50902 0 0 0 15969 424 0 0 25 0 1 0 21889375 132919296 26736 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 32451 26736 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 163.93
Current children cumulated vsize (Kb) 129804

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 51458 0 0 0 16891 451 0 0 25 0 1 0 21889375 132919296 26752 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 32451 26752 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 173.42
Current children cumulated vsize (Kb) 129804

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 52543 0 0 0 17830 473 0 0 25 0 1 0 21889375 132919296 26757 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 32451 26757 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 183.03
Current children cumulated vsize (Kb) 129804

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 53090 0 0 0 18761 497 0 0 25 0 1 0 21889375 132919296 26764 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 32451 26764 364 364 0 32087 0
[pid=8735] vsize: 129804
Current children cumulated CPU time (s) 192.58
Current children cumulated vsize (Kb) 129804

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 53671 0 0 0 19687 522 0 0 25 0 1 0 21889375 133115904 26805 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 32499 26805 364 364 0 32135 0
[pid=8735] vsize: 129996
Current children cumulated CPU time (s) 202.09
Current children cumulated vsize (Kb) 129996

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 54252 0 0 0 20615 546 0 0 25 0 1 0 21889375 133279744 26846 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 32539 26846 364 364 0 32175 0
[pid=8735] vsize: 130156
Current children cumulated CPU time (s) 211.61
Current children cumulated vsize (Kb) 130156

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 54844 0 0 0 21539 573 0 0 25 0 1 0 21889375 133640192 26898 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 32627 26898 364 364 0 32263 0
[pid=8735] vsize: 130508
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (Kb) 130508

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 61558 0 0 0 22454 609 0 0 25 0 1 0 21889375 158806016 26927 4294967295 134512640 135987407 3221224560 3221223200 134821991 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 38771 26927 364 364 0 38407 0
[pid=8735] vsize: 155084
Current children cumulated CPU time (s) 230.63
Current children cumulated vsize (Kb) 155084

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 62230 0 0 0 23381 635 0 0 25 0 1 0 21889375 159592448 27059 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 38963 27059 364 364 0 38599 0
[pid=8735] vsize: 155852
Current children cumulated CPU time (s) 240.16
Current children cumulated vsize (Kb) 155852

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 62784 0 0 0 24309 662 0 0 25 0 1 0 21889375 159592448 27073 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 38963 27073 364 364 0 38599 0
[pid=8735] vsize: 155852
Current children cumulated CPU time (s) 249.71
Current children cumulated vsize (Kb) 155852

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 63346 0 0 0 25235 688 0 0 25 0 1 0 21889375 159592448 27095 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 38963 27095 364 364 0 38599 0
[pid=8735] vsize: 155852
Current children cumulated CPU time (s) 259.23
Current children cumulated vsize (Kb) 155852

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 64441 0 0 0 26180 708 0 0 25 0 1 0 21889375 159592448 27110 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 38963 27110 364 364 0 38599 0
[pid=8735] vsize: 155852
Current children cumulated CPU time (s) 268.88
Current children cumulated vsize (Kb) 155852

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 65036 0 0 0 27106 732 0 0 25 0 1 0 21889375 159756288 27165 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39003 27165 364 364 0 38639 0
[pid=8735] vsize: 156012
Current children cumulated CPU time (s) 278.38
Current children cumulated vsize (Kb) 156012

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 65594 0 0 0 28023 761 0 0 25 0 1 0 21889375 159895552 27183 4294967295 134512640 135987407 3221224560 3221223088 134775173 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39037 27183 364 364 0 38673 0
[pid=8735] vsize: 156148
Current children cumulated CPU time (s) 287.84
Current children cumulated vsize (Kb) 156148

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 66161 0 0 0 28936 791 0 0 25 0 1 0 21889375 159895552 27210 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39037 27210 364 364 0 38673 0
[pid=8735] vsize: 156148
Current children cumulated CPU time (s) 297.27
Current children cumulated vsize (Kb) 156148

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 66734 0 0 0 29862 819 0 0 25 0 1 0 21889375 160043008 27243 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39073 27243 364 364 0 38709 0
[pid=8735] vsize: 156292
Current children cumulated CPU time (s) 306.81
Current children cumulated vsize (Kb) 156292

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 67306 0 0 0 30778 847 0 0 25 0 1 0 21889375 160190464 27275 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39109 27275 364 364 0 38745 0
[pid=8735] vsize: 156436
Current children cumulated CPU time (s) 316.25
Current children cumulated vsize (Kb) 156436

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 68408 0 0 0 31704 874 0 0 25 0 1 0 21889375 160190464 27297 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39109 27297 364 364 0 38745 0
[pid=8735] vsize: 156436
Current children cumulated CPU time (s) 325.78
Current children cumulated vsize (Kb) 156436

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 68971 0 0 0 32620 903 0 0 25 0 1 0 21889375 160190464 27320 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39109 27320 364 364 0 38745 0
[pid=8735] vsize: 156436
Current children cumulated CPU time (s) 335.23
Current children cumulated vsize (Kb) 156436

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 69558 0 0 0 33547 928 0 0 25 0 1 0 21889375 160333824 27367 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39144 27367 364 364 0 38780 0
[pid=8735] vsize: 156576
Current children cumulated CPU time (s) 344.75
Current children cumulated vsize (Kb) 156576

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 70194 0 0 0 34472 955 0 0 25 0 1 0 21889375 160796672 27463 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39257 27463 364 364 0 38893 0
[pid=8735] vsize: 157028
Current children cumulated CPU time (s) 354.27
Current children cumulated vsize (Kb) 157028

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 70747 0 0 0 35393 984 0 0 25 0 1 0 21889375 160796672 27476 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39257 27476 364 364 0 38893 0
[pid=8735] vsize: 157028
Current children cumulated CPU time (s) 363.77
Current children cumulated vsize (Kb) 157028

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 71308 0 0 0 36324 1006 0 0 25 0 1 0 21889375 160931840 27497 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39290 27497 364 364 0 38926 0
[pid=8735] vsize: 157160
Current children cumulated CPU time (s) 373.3
Current children cumulated vsize (Kb) 157160

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 71880 0 0 0 37256 1028 0 0 21 0 1 0 21889375 160931840 27529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39290 27529 364 364 0 38926 0
[pid=8735] vsize: 157160
Current children cumulated CPU time (s) 382.84
Current children cumulated vsize (Kb) 157160

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 72444 0 0 0 38196 1049 0 0 25 0 1 0 21889375 161083392 27553 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39327 27553 364 364 0 38963 0
[pid=8735] vsize: 157308
Current children cumulated CPU time (s) 392.45
Current children cumulated vsize (Kb) 157308

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 73543 0 0 0 39119 1077 0 0 25 0 1 0 21889375 161083392 27572 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39327 27572 364 364 0 38963 0
[pid=8735] vsize: 157308
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (Kb) 157308

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 74106 0 0 0 40037 1108 0 0 25 0 1 0 21889375 161083392 27595 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39327 27595 364 364 0 38963 0
[pid=8735] vsize: 157308
Current children cumulated CPU time (s) 411.45
Current children cumulated vsize (Kb) 157308

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 74684 0 0 0 40963 1133 0 0 25 0 1 0 21889375 161243136 27633 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39366 27633 364 364 0 39002 0
[pid=8735] vsize: 157464
Current children cumulated CPU time (s) 420.96
Current children cumulated vsize (Kb) 157464

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 75251 0 0 0 41889 1159 0 0 25 0 1 0 21889375 161243136 27660 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39366 27660 364 364 0 39002 0
[pid=8735] vsize: 157464
Current children cumulated CPU time (s) 430.48
Current children cumulated vsize (Kb) 157464

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 75815 0 0 0 42808 1186 0 0 25 0 1 0 21889375 161423360 27684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39410 27684 364 364 0 39046 0
[pid=8735] vsize: 157640
Current children cumulated CPU time (s) 439.94
Current children cumulated vsize (Kb) 157640

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 76922 0 0 0 43737 1212 0 0 25 0 1 0 21889375 163635200 28251 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39950 28251 364 364 0 39586 0
[pid=8735] vsize: 159800
Current children cumulated CPU time (s) 449.49
Current children cumulated vsize (Kb) 159800

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 77477 0 0 0 44656 1242 0 0 25 0 1 0 21889375 161423360 27726 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39410 27726 364 364 0 39046 0
[pid=8735] vsize: 157640
Current children cumulated CPU time (s) 458.98
Current children cumulated vsize (Kb) 157640

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 78101 0 0 0 45580 1270 0 0 25 0 1 0 21889375 163971072 28350 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 40032 28350 364 364 0 39668 0
[pid=8735] vsize: 160128
Current children cumulated CPU time (s) 468.5
Current children cumulated vsize (Kb) 160128

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 78646 0 0 0 46519 1291 0 0 25 0 1 0 21889375 161759232 27815 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39492 27815 364 364 0 39128 0
[pid=8735] vsize: 157968
Current children cumulated CPU time (s) 478.1
Current children cumulated vsize (Kb) 157968

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 79203 0 0 0 47454 1313 0 0 25 0 1 0 21889375 161759232 27832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39492 27832 364 364 0 39128 0
[pid=8735] vsize: 157968
Current children cumulated CPU time (s) 487.67
Current children cumulated vsize (Kb) 157968

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 79767 0 0 0 48382 1336 0 0 25 0 1 0 21889375 161890304 27856 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39524 27856 364 364 0 39160 0
[pid=8735] vsize: 158096
Current children cumulated CPU time (s) 497.18
Current children cumulated vsize (Kb) 158096

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 80340 0 0 0 49305 1362 0 0 25 0 1 0 21889375 161890304 27889 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39524 27889 364 364 0 39160 0
[pid=8735] vsize: 158096
Current children cumulated CPU time (s) 506.67
Current children cumulated vsize (Kb) 158096

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 80896 0 0 0 50235 1386 0 0 25 0 1 0 21889375 162025472 27905 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39557 27905 364 364 0 39193 0
[pid=8735] vsize: 158228
Current children cumulated CPU time (s) 516.21
Current children cumulated vsize (Kb) 158228

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 81455 0 0 0 51151 1414 0 0 25 0 1 0 21889375 162025472 27924 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39557 27924 364 364 0 39193 0
[pid=8735] vsize: 158228
Current children cumulated CPU time (s) 525.65
Current children cumulated vsize (Kb) 158228

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 82020 0 0 0 52077 1440 0 0 25 0 1 0 21889375 162025472 27949 4294967295 134512640 135987407 3221224560 3221223280 134813726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39557 27949 364 364 0 39193 0
[pid=8735] vsize: 158228
Current children cumulated CPU time (s) 535.17
Current children cumulated vsize (Kb) 158228

[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 83123 0 0 0 53003 1469 0 0 25 0 1 0 21889375 162160640 27972 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39590 27972 364 364 0 39226 0
[pid=8735] vsize: 158360
Current children cumulated CPU time (s) 544.72
Current children cumulated vsize (Kb) 158360

[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 83686 0 0 0 53938 1492 0 0 25 0 1 0 21889375 162160640 27995 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39590 27995 364 364 0 39226 0
[pid=8735] vsize: 158360
Current children cumulated CPU time (s) 554.3
Current children cumulated vsize (Kb) 158360

[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 84256 0 0 0 54854 1521 0 0 25 0 1 0 21889375 162295808 28025 4294967295 134512640 135987407 3221224560 3221223136 134801549 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39623 28025 364 364 0 39259 0
[pid=8735] vsize: 158492
Current children cumulated CPU time (s) 563.75
Current children cumulated vsize (Kb) 158492

[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 85368 0 0 0 55780 1548 0 0 25 0 1 0 21889375 164507648 28597 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 40163 28597 364 364 0 39799 0
[pid=8735] vsize: 160652
Current children cumulated CPU time (s) 573.28
Current children cumulated vsize (Kb) 160652

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 85948 0 0 0 56717 1569 0 0 25 0 1 0 21889375 162295808 28097 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39623 28097 364 364 0 39259 0
[pid=8735] vsize: 158492
Current children cumulated CPU time (s) 582.86
Current children cumulated vsize (Kb) 158492

[startup+620.022 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 86515 0 0 0 57649 1595 0 0 25 0 1 0 21889375 162426880 28124 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39655 28124 364 364 0 39291 0
[pid=8735] vsize: 158620
Current children cumulated CPU time (s) 592.44
Current children cumulated vsize (Kb) 158620

[startup+630.023 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 87068 0 0 0 58557 1626 0 0 25 0 1 0 21889375 162426880 28137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39655 28137 364 364 0 39291 0
[pid=8735] vsize: 158620
Current children cumulated CPU time (s) 601.83
Current children cumulated vsize (Kb) 158620

[startup+640.025 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 87623 0 0 0 59466 1655 0 0 25 0 1 0 21889375 162426880 28152 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39655 28152 364 364 0 39291 0
[pid=8735] vsize: 158620
Current children cumulated CPU time (s) 611.21
Current children cumulated vsize (Kb) 158620

[startup+650.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 88186 0 0 0 60383 1687 0 0 25 0 1 0 21889375 162562048 28175 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39688 28175 364 364 0 39324 0
[pid=8735] vsize: 158752
Current children cumulated CPU time (s) 620.7
Current children cumulated vsize (Kb) 158752

[startup+660.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 88749 0 0 0 61298 1717 0 0 25 0 1 0 21889375 162562048 28198 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39688 28198 364 364 0 39324 0
[pid=8735] vsize: 158752
Current children cumulated CPU time (s) 630.15
Current children cumulated vsize (Kb) 158752

[startup+670.025 s]
Raw data (loadavg): 1.03 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 89844 0 0 0 62229 1741 0 0 25 0 1 0 21889375 162562048 28213 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39688 28213 364 364 0 39324 0
[pid=8735] vsize: 158752
Current children cumulated CPU time (s) 639.7
Current children cumulated vsize (Kb) 158752

[startup+680.024 s]
Raw data (loadavg): 1.03 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 90405 0 0 0 63141 1772 0 0 25 0 1 0 21889375 162562048 28234 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39688 28234 364 364 0 39324 0
[pid=8735] vsize: 158752
Current children cumulated CPU time (s) 649.13
Current children cumulated vsize (Kb) 158752

[startup+690.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 90965 0 0 0 64047 1806 0 0 25 0 1 0 21889375 162697216 28254 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39721 28254 364 364 0 39357 0
[pid=8735] vsize: 158884
Current children cumulated CPU time (s) 658.53
Current children cumulated vsize (Kb) 158884

[startup+700.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 91532 0 0 0 64963 1834 0 0 25 0 1 0 21889375 162697216 28281 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39721 28281 364 364 0 39357 0
[pid=8735] vsize: 158884
Current children cumulated CPU time (s) 667.97
Current children cumulated vsize (Kb) 158884

[startup+710.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 92087 0 0 0 65886 1859 0 0 25 0 1 0 21889375 162697216 28296 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39721 28296 364 364 0 39357 0
[pid=8735] vsize: 158884
Current children cumulated CPU time (s) 677.45
Current children cumulated vsize (Kb) 158884

[startup+720.026 s]
Raw data (loadavg): 1.01 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 92643 0 0 0 66799 1890 0 0 25 0 1 0 21889375 162697216 28312 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8735/statm): 39721 28312 364 364 0 39357 0
[pid=8735] vsize: 158884
Current children cumulated CPU time (s) 686.89
Current children cumulated vsize (Kb) 158884

[startup+730.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 93757 0 0 0 67722 1918 0 0 25 0 1 0 21889375 165044224 28886 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 40294 28886 364 364 0 39930 0
[pid=8735] vsize: 161176
Current children cumulated CPU time (s) 696.4
Current children cumulated vsize (Kb) 161176

[startup+740.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 94315 0 0 0 68627 1951 0 0 25 0 1 0 21889375 162832384 28364 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39754 28364 364 364 0 39390 0
[pid=8735] vsize: 159016
Current children cumulated CPU time (s) 705.78
Current children cumulated vsize (Kb) 159016

[startup+750.027 s]
Raw data (loadavg): 1.01 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 94869 0 0 0 69544 1980 0 0 25 0 1 0 21889375 162832384 28378 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39754 28378 364 364 0 39390 0
[pid=8735] vsize: 159016
Current children cumulated CPU time (s) 715.24
Current children cumulated vsize (Kb) 159016

[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 95433 0 0 0 70452 2012 0 0 25 0 1 0 21889375 162967552 28402 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39787 28402 364 364 0 39423 0
[pid=8735] vsize: 159148
Current children cumulated CPU time (s) 724.64
Current children cumulated vsize (Kb) 159148

[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 95995 0 0 0 71361 2041 0 0 25 0 1 0 21889375 162967552 28424 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39787 28424 364 364 0 39423 0
[pid=8735] vsize: 159148
Current children cumulated CPU time (s) 734.02
Current children cumulated vsize (Kb) 159148

[startup+780.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 96560 0 0 0 72267 2075 0 0 25 0 1 0 21889375 162967552 28449 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39787 28449 364 364 0 39423 0
[pid=8735] vsize: 159148
Current children cumulated CPU time (s) 743.42
Current children cumulated vsize (Kb) 159148

[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 97124 0 0 0 73182 2102 0 0 25 0 1 0 21889375 163098624 28473 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 39819 28473 364 364 0 39455 0
[pid=8735] vsize: 159276
Current children cumulated CPU time (s) 752.84
Current children cumulated vsize (Kb) 159276

[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 97683 0 0 0 74108 2126 0 0 25 0 1 0 21889375 179875840 28492 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 43915 28492 364 364 0 43551 0
[pid=8735] vsize: 175660
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (Kb) 175660

[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 98259 0 0 0 75026 2153 0 0 25 0 1 0 21889375 180035584 28528 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 43954 28528 364 364 0 43590 0
[pid=8735] vsize: 175816
Current children cumulated CPU time (s) 771.79
Current children cumulated vsize (Kb) 175816

[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 98817 0 0 0 75941 2183 0 0 25 0 1 0 21889375 180035584 28546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 43954 28546 364 364 0 43590 0
[pid=8735] vsize: 175816
Current children cumulated CPU time (s) 781.24
Current children cumulated vsize (Kb) 175816

[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 99383 0 0 0 76857 2213 0 0 25 0 1 0 21889375 180035584 28572 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 43954 28572 364 364 0 43590 0
[pid=8735] vsize: 175816
Current children cumulated CPU time (s) 790.7
Current children cumulated vsize (Kb) 175816

[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 100479 0 0 0 77777 2241 0 0 25 0 1 0 21889375 182378496 29128 4294967295 134512640 135987407 3221224560 3221222936 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44526 29128 364 364 0 44162 0
[pid=8735] vsize: 178104
Current children cumulated CPU time (s) 800.18
Current children cumulated vsize (Kb) 178104

[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 101034 0 0 0 78694 2270 0 0 25 0 1 0 21889375 182378496 29143 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44526 29143 364 364 0 44162 0
[pid=8735] vsize: 178104
Current children cumulated CPU time (s) 809.64
Current children cumulated vsize (Kb) 178104

[startup+860.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 101595 0 0 0 79602 2301 0 0 25 0 1 0 21889375 180166656 28624 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 43986 28624 364 364 0 43622 0
[pid=8735] vsize: 175944
Current children cumulated CPU time (s) 819.03
Current children cumulated vsize (Kb) 175944

[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 102159 0 0 0 80515 2329 0 0 25 0 1 0 21889375 180166656 28648 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 43986 28648 364 364 0 43622 0
[pid=8735] vsize: 175944
Current children cumulated CPU time (s) 828.44
Current children cumulated vsize (Kb) 175944

[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 102720 0 0 0 81426 2360 0 0 25 0 1 0 21889375 180301824 28669 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44019 28669 364 364 0 43655 0
[pid=8735] vsize: 176076
Current children cumulated CPU time (s) 837.86
Current children cumulated vsize (Kb) 176076

[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 103277 0 0 0 82354 2385 0 0 25 0 1 0 21889375 180301824 28686 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44019 28686 364 364 0 43655 0
[pid=8735] vsize: 176076
Current children cumulated CPU time (s) 847.39
Current children cumulated vsize (Kb) 176076

[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 103839 0 0 0 83274 2415 0 0 25 0 1 0 21889375 180301824 28708 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44019 28708 364 364 0 43655 0
[pid=8735] vsize: 176076
Current children cumulated CPU time (s) 856.89
Current children cumulated vsize (Kb) 176076

[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 104459 0 0 0 84194 2440 0 0 25 0 1 0 21889375 180654080 28788 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44105 28788 364 364 0 43741 0
[pid=8735] vsize: 176420
Current children cumulated CPU time (s) 866.34
Current children cumulated vsize (Kb) 176420

[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 105043 0 0 0 85108 2470 0 0 25 0 1 0 21889375 180850688 28832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44153 28832 364 364 0 43789 0
[pid=8735] vsize: 176612
Current children cumulated CPU time (s) 875.78
Current children cumulated vsize (Kb) 176612

[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 105595 0 0 0 86015 2502 0 0 25 0 1 0 21889375 180850688 28844 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44153 28844 364 364 0 43789 0
[pid=8735] vsize: 176612
Current children cumulated CPU time (s) 885.17
Current children cumulated vsize (Kb) 176612

[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 106145 0 0 0 86944 2527 0 0 25 0 1 0 21889375 180850688 28854 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44153 28854 364 364 0 43789 0
[pid=8735] vsize: 176612
Current children cumulated CPU time (s) 894.71
Current children cumulated vsize (Kb) 176612

[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 106708 0 0 0 87856 2557 0 0 25 0 1 0 21889375 180850688 28877 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44153 28877 364 364 0 43789 0
[pid=8735] vsize: 176612
Current children cumulated CPU time (s) 904.13
Current children cumulated vsize (Kb) 176612

[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 107806 0 0 0 88775 2587 0 0 25 0 1 0 21889375 180850688 28895 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44153 28895 364 364 0 43789 0
[pid=8735] vsize: 176612
Current children cumulated CPU time (s) 913.62
Current children cumulated vsize (Kb) 176612

[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 108370 0 0 0 89691 2617 0 0 25 0 1 0 21889375 180985856 28919 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44186 28919 364 364 0 43822 0
[pid=8735] vsize: 176744
Current children cumulated CPU time (s) 923.08
Current children cumulated vsize (Kb) 176744

[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 108928 0 0 0 90613 2643 0 0 25 0 1 0 21889375 180985856 28937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44186 28937 364 364 0 43822 0
[pid=8735] vsize: 176744
Current children cumulated CPU time (s) 932.56
Current children cumulated vsize (Kb) 176744

[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 109482 0 0 0 91522 2672 0 0 25 0 1 0 21889375 180985856 28951 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44186 28951 364 364 0 43822 0
[pid=8735] vsize: 176744
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (Kb) 176744

[startup+1000.04 s]
Raw data (loadavg): 1.08 1.00 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 110044 0 0 0 92435 2701 0 0 25 0 1 0 21889375 181116928 28973 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44218 28973 364 364 0 43854 0
[pid=8735] vsize: 176872
Current children cumulated CPU time (s) 951.36
Current children cumulated vsize (Kb) 176872

[startup+1010.04 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 110603 0 0 0 93354 2727 0 0 25 0 1 0 21889375 181116928 28992 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44218 28992 364 364 0 43854 0
[pid=8735] vsize: 176872
Current children cumulated CPU time (s) 960.81
Current children cumulated vsize (Kb) 176872

[startup+1020.04 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 111707 0 0 0 94288 2751 0 0 25 0 1 0 21889375 181116928 29016 4294967295 134512640 135987407 3221224560 3221223376 134876847 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44218 29016 364 364 0 43854 0
[pid=8735] vsize: 176872
Current children cumulated CPU time (s) 970.39
Current children cumulated vsize (Kb) 176872

[startup+1030.04 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 112264 0 0 0 95201 2781 0 0 25 0 1 0 21889375 181116928 29033 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44218 29033 364 364 0 43854 0
[pid=8735] vsize: 176872
Current children cumulated CPU time (s) 979.82
Current children cumulated vsize (Kb) 176872

[startup+1040.04 s]
Raw data (loadavg): 1.04 1.00 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 112826 0 0 0 96111 2813 0 0 25 0 1 0 21889375 181248000 29055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44250 29055 364 364 0 43886 0
[pid=8735] vsize: 177000
Current children cumulated CPU time (s) 989.24
Current children cumulated vsize (Kb) 177000

[startup+1050.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 113392 0 0 0 97025 2842 0 0 25 0 1 0 21889375 181248000 29081 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44250 29081 364 364 0 43886 0
[pid=8735] vsize: 177000
Current children cumulated CPU time (s) 998.67
Current children cumulated vsize (Kb) 177000

[startup+1060.04 s]
Raw data (loadavg): 1.03 1.00 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 113953 0 0 0 97937 2873 0 0 25 0 1 0 21889375 181248000 29102 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44250 29102 364 364 0 43886 0
[pid=8735] vsize: 177000
Current children cumulated CPU time (s) 1008.1
Current children cumulated vsize (Kb) 177000

[startup+1070.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 114513 0 0 0 98863 2899 0 0 25 0 1 0 21889375 181248000 29122 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44250 29122 364 364 0 43886 0
[pid=8735] vsize: 177000
Current children cumulated CPU time (s) 1017.62
Current children cumulated vsize (Kb) 177000

[startup+1080.04 s]
Raw data (loadavg): 1.02 1.00 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 115615 0 0 0 99788 2925 0 0 25 0 1 0 21889375 181379072 29144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44282 29144 364 364 0 43918 0
[pid=8735] vsize: 177128
Current children cumulated CPU time (s) 1027.13
Current children cumulated vsize (Kb) 177128

[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 116183 0 0 0 100714 2950 0 0 25 0 1 0 21889375 181379072 29172 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44282 29172 364 364 0 43918 0
[pid=8735] vsize: 177128
Current children cumulated CPU time (s) 1036.64
Current children cumulated vsize (Kb) 177128

[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 116758 0 0 0 101643 2973 0 0 25 0 1 0 21889375 181379072 29207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44282 29207 364 364 0 43918 0
[pid=8735] vsize: 177128
Current children cumulated CPU time (s) 1046.16
Current children cumulated vsize (Kb) 177128

[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 117858 0 0 0 102589 2993 0 0 25 0 1 0 21889375 181510144 29227 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44314 29227 364 364 0 43950 0
[pid=8735] vsize: 177256
Current children cumulated CPU time (s) 1055.82
Current children cumulated vsize (Kb) 177256

[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 118422 0 0 0 103508 3020 0 0 25 0 1 0 21889375 181510144 29251 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44314 29251 364 364 0 43950 0
[pid=8735] vsize: 177256
Current children cumulated CPU time (s) 1065.28
Current children cumulated vsize (Kb) 177256

[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 118988 0 0 0 104423 3050 0 0 25 0 1 0 21889375 181510144 29277 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44314 29277 364 364 0 43950 0
[pid=8735] vsize: 177256
Current children cumulated CPU time (s) 1074.73
Current children cumulated vsize (Kb) 177256

[startup+1140.04 s]
Raw data (loadavg): 1.08 1.02 0.93 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 119549 0 0 0 105340 3078 0 0 25 0 1 0 21889375 181641216 29298 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44346 29298 364 364 0 43982 0
[pid=8735] vsize: 177384
Current children cumulated CPU time (s) 1084.18
Current children cumulated vsize (Kb) 177384

[startup+1150.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 120106 0 0 0 106266 3104 0 0 25 0 1 0 21889375 181641216 29315 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44346 29315 364 364 0 43982 0
[pid=8735] vsize: 177384
Current children cumulated CPU time (s) 1093.7
Current children cumulated vsize (Kb) 177384

[startup+1160.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 120667 0 0 0 107186 3132 0 0 25 0 1 0 21889375 181641216 29336 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44346 29336 364 364 0 43982 0
[pid=8735] vsize: 177384
Current children cumulated CPU time (s) 1103.18
Current children cumulated vsize (Kb) 177384

[startup+1170.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 121768 0 0 0 108114 3159 0 0 25 0 1 0 21889375 181772288 29357 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44378 29357 364 364 0 44014 0
[pid=8735] vsize: 177512
Current children cumulated CPU time (s) 1112.73
Current children cumulated vsize (Kb) 177512

[startup+1180.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 122331 0 0 0 109030 3189 0 0 25 0 1 0 21889375 181772288 29380 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44378 29380 364 364 0 44014 0
[pid=8735] vsize: 177512
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (Kb) 177512

[startup+1190.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 122888 0 0 0 109956 3217 0 0 25 0 1 0 21889375 181772288 29397 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44378 29397 364 364 0 44014 0
[pid=8735] vsize: 177512
Current children cumulated CPU time (s) 1131.73
Current children cumulated vsize (Kb) 177512

[startup+1200.04 s]
Raw data (loadavg): 1.11 1.03 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 123449 0 0 0 110865 3250 0 0 25 0 1 0 21889375 181772288 29418 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44378 29418 364 364 0 44014 0
[pid=8735] vsize: 177512
Current children cumulated CPU time (s) 1141.15
Current children cumulated vsize (Kb) 177512

[startup+1210.04 s]
Raw data (loadavg): 1.09 1.03 0.94 3/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 124009 0 0 0 111783 3279 0 0 25 0 1 0 21889375 181903360 29438 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44410 29438 364 364 0 44046 0
[pid=8735] vsize: 177640
Current children cumulated CPU time (s) 1150.62
Current children cumulated vsize (Kb) 177640

[startup+1220.05 s]
Raw data (loadavg): 1.08 1.03 0.94 1/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) T 8734 8735 4005 0 -1 0 124572 0 0 0 112711 3303 0 0 25 0 1 0 21889375 181903360 29461 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44410 29461 364 364 0 44046 0
[pid=8735] vsize: 177640
Current children cumulated CPU time (s) 1160.14
Current children cumulated vsize (Kb) 177640

[startup+1230.05 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 125138 0 0 0 113644 3324 0 0 25 0 1 0 21889375 181903360 29487 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44410 29487 364 364 0 44046 0
[pid=8735] vsize: 177640
Current children cumulated CPU time (s) 1169.68
Current children cumulated vsize (Kb) 177640

[startup+1240.05 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 126234 0 0 0 114576 3348 0 0 25 0 1 0 21889375 184115200 30043 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44950 30043 364 364 0 44586 0
[pid=8735] vsize: 179800
Current children cumulated CPU time (s) 1179.24
Current children cumulated vsize (Kb) 179800

[startup+1250.05 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 126794 0 0 0 115497 3377 0 0 22 0 1 0 21889375 182034432 29523 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44442 29523 364 364 0 44078 0
[pid=8735] vsize: 177768
Current children cumulated CPU time (s) 1188.74
Current children cumulated vsize (Kb) 177768

[startup+1260.05 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 127357 0 0 0 116419 3403 0 0 25 0 1 0 21889375 182034432 29546 4294967295 134512640 135987407 3221224560 3221223376 134816700 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8735/statm): 44442 29546 364 364 0 44078 0
[pid=8735] vsize: 177768
Current children cumulated CPU time (s) 1198.22
Current children cumulated vsize (Kb) 177768

[startup+1270.05 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 127914 0 0 0 117337 3431 0 0 25 0 1 0 21889375 182034432 29563 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44442 29563 364 364 0 44078 0
[pid=8735] vsize: 177768
Current children cumulated CPU time (s) 1207.68
Current children cumulated vsize (Kb) 177768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.05 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 8735
Raw data (/proc/8735/stat): 8735 (pb2sat) R 8734 8735 4005 0 -1 0 127914 0 0 0 117337 3431 0 0 25 0 1 0 21889375 182034432 29563 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 44442 29563 364 364 0 44078 0
[pid=8735] vsize: 177768
Current children cumulated CPU time (s) 1207.68
Current children cumulated vsize (Kb) 177768

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

Child status: 0
Real time (s): 1270.51
CPU time (s): 1208.15
CPU user time (s): 1173.78
CPU system time (s): 34.3728
CPU usage (%): 95.0918
Max. virtual memory (cumulated for all children) (Kb): 179800

Verifier Data

ERROR: no interpretation found !