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-p0040.opb
MD5SUM1c249519911563f3292efb34f4875b44
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62027
Optimality of the best value was proved YES
Number of terms in the objective function 40
Biggest coefficient in the objective function 8161
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 265332
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 8161
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 265332
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark7.73482
Number of variables40
Total number of constraints63
Number of constraints which are clauses10
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint10

Trace number 10039

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        934996 kB
Buffers:         13028 kB
Cached:          69660 kB
SwapCached:          0 kB
Active:          45092 kB
Inactive:        40512 kB
HighTotal:      131008 kB
HighFree:        57344 kB
LowTotal:       903652 kB
LowFree:        877652 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8508 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:40:45 (client local time) WITH STATUS 10 IN 1211.15 SECONDS
stats: 8733 0 1211.15 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 63596
c small objective detected
c CONFLICT during preprocess 
c [startup+46.7372 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+50.2518 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+53.7878 s]  setting bit 16 to 0
c [startup+427.841 s]  setting bit 15 to 0
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 -C1004_bit0 C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 C1035_bit0 -C1036_bit0 -C1037_bit0 C1038_bit0 -C1039_bit0 -C1040_bit0

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/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21595987 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 373 2 364 364 0 9 0
[pid=9198] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-p0040.opb

[startup+10.0024 s]
Raw data (loadavg): 0.85 0.91 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 31513 0 0 0 927 68 0 0 25 0 1 0 21595987 99803136 20362 4294967295 134512640 135987407 3221224560 3221211936 134856714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 24366 20363 364 364 0 24002 0
[pid=9198] vsize: 97464
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 97464

[startup+20.0031 s]
Raw data (loadavg): 0.88 0.92 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 62177 0 0 0 1864 130 0 0 25 0 1 0 21595987 197267456 39821 4294967295 134512640 135987407 3221224560 3221211740 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 48161 39821 364 364 0 47797 0
[pid=9198] vsize: 192644
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 192644

[startup+30.0029 s]
Raw data (loadavg): 0.89 0.92 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 104238 0 0 0 2779 211 0 0 25 0 1 0 21595987 328933376 59695 4294967295 134512640 135987407 3221224560 3221209976 134533885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 80306 59697 364 364 0 79942 0
[pid=9198] vsize: 321224
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 321224

[startup+40.0027 s]
Raw data (loadavg): 0.91 0.92 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 121698 0 0 0 3742 245 0 0 25 0 1 0 21595987 386682880 76949 4294967295 134512640 135987407 3221224560 3221209776 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 94405 76949 364 364 0 94041 0
[pid=9198] vsize: 377620
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 377620

[startup+50.0035 s]
Raw data (loadavg): 0.92 0.92 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 129907 0 0 0 4722 265 0 0 25 0 1 0 21595987 398184448 81815 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 97213 81815 364 364 0 96849 0
[pid=9198] vsize: 388852
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 388852

[startup+60.0033 s]
Raw data (loadavg): 0.93 0.92 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 136851 0 0 0 5705 281 0 0 25 0 1 0 21595987 411611136 84180 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 100491 84180 364 364 0 100127 0
[pid=9198] vsize: 401964
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 401964

[startup+70.0041 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 137489 0 0 0 6704 282 0 0 25 0 1 0 21595987 413224960 84528 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 100885 84528 364 364 0 100521 0
[pid=9198] vsize: 403540
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 403540

[startup+80.0049 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 138550 0 0 0 7701 285 0 0 25 0 1 0 21595987 415981568 85138 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 101558 85138 364 364 0 101194 0
[pid=9198] vsize: 406232
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 406232

[startup+90.0047 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139301 0 0 0 8699 287 0 0 25 0 1 0 21595987 417955840 85470 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102040 85470 364 364 0 101676 0
[pid=9198] vsize: 408160
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 408160

[startup+100.005 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139662 0 0 0 9698 287 0 0 25 0 1 0 21595987 418713600 85702 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102225 85702 364 364 0 101861 0
[pid=9198] vsize: 408900
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 408900

[startup+110.006 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139662 0 0 0 10698 287 0 0 25 0 1 0 21595987 418713600 85702 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102225 85702 364 364 0 101861 0
[pid=9198] vsize: 408900
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 408900

[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139787 0 0 0 11697 288 0 0 25 0 1 0 21595987 418975744 85762 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102289 85762 364 364 0 101925 0
[pid=9198] vsize: 409156
Current children cumulated CPU time (s) 119.85
Current children cumulated vsize (Kb) 409156

[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139791 0 0 0 12697 288 0 0 25 0 1 0 21595987 418975744 85766 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102289 85766 364 364 0 101925 0
[pid=9198] vsize: 409156
Current children cumulated CPU time (s) 129.85
Current children cumulated vsize (Kb) 409156

[startup+140.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 139803 0 0 0 13696 288 0 0 25 0 1 0 21595987 418975744 85778 4294967295 134512640 135987407 3221224560 3221223232 134824323 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102289 85778 364 364 0 101925 0
[pid=9198] vsize: 409156
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 409156

[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 140160 0 0 0 14696 289 0 0 25 0 1 0 21595987 420024320 85878 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 102545 85878 364 364 0 102181 0
[pid=9198] vsize: 410180
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 410180

[startup+160.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 141247 0 0 0 15693 291 0 0 25 0 1 0 21595987 422555648 86419 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103163 86419 364 364 0 102799 0
[pid=9198] vsize: 412652
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (Kb) 412652

[startup+170.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 141357 0 0 0 16693 291 0 0 25 0 1 0 21595987 422555648 86529 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103163 86529 364 364 0 102799 0
[pid=9198] vsize: 412652
Current children cumulated CPU time (s) 169.84
Current children cumulated vsize (Kb) 412652

[startup+180.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142007 0 0 0 17692 293 0 0 25 0 1 0 21595987 424652800 86666 4294967295 134512640 135987407 3221224560 3221223104 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103675 86666 364 364 0 103311 0
[pid=9198] vsize: 414700
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (Kb) 414700

[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142007 0 0 0 18692 293 0 0 25 0 1 0 21595987 424652800 86666 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103675 86666 364 364 0 103311 0
[pid=9198] vsize: 414700
Current children cumulated CPU time (s) 189.85
Current children cumulated vsize (Kb) 414700

[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142142 0 0 0 19691 294 0 0 25 0 1 0 21595987 425185280 86801 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103805 86801 364 364 0 103441 0
[pid=9198] vsize: 415220
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 415220

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142286 0 0 0 20690 294 0 0 25 0 1 0 21595987 425185280 86945 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103805 86945 364 364 0 103441 0
[pid=9198] vsize: 415220
Current children cumulated CPU time (s) 209.84
Current children cumulated vsize (Kb) 415220

[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142287 0 0 0 21689 295 0 0 25 0 1 0 21595987 425185280 86946 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103805 86946 364 364 0 103441 0
[pid=9198] vsize: 415220
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (Kb) 415220

[startup+230.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142288 0 0 0 22689 295 0 0 25 0 1 0 21595987 425185280 86947 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 103805 86947 364 364 0 103441 0
[pid=9198] vsize: 415220
Current children cumulated CPU time (s) 229.84
Current children cumulated vsize (Kb) 415220

[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142840 0 0 0 23688 296 0 0 25 0 1 0 21595987 427282432 86986 4294967295 134512640 135987407 3221224560 3221223196 134812407 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 86986 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 239.84
Current children cumulated vsize (Kb) 417268

[startup+250.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142880 0 0 0 24688 296 0 0 25 0 1 0 21595987 427282432 87026 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87026 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 249.84
Current children cumulated vsize (Kb) 417268

[startup+260.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142881 0 0 0 25688 296 0 0 25 0 1 0 21595987 427282432 87027 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87027 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 259.84
Current children cumulated vsize (Kb) 417268

[startup+270.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142882 0 0 0 26688 296 0 0 25 0 1 0 21595987 427282432 87028 4294967295 134512640 135987407 3221224560 3221223104 134811701 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87028 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 269.84
Current children cumulated vsize (Kb) 417268

[startup+280.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142883 0 0 0 27687 296 0 0 25 0 1 0 21595987 427282432 87029 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87029 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (Kb) 417268

[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142883 0 0 0 28687 296 0 0 25 0 1 0 21595987 427282432 87029 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87029 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 289.83
Current children cumulated vsize (Kb) 417268

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 142884 0 0 0 29687 296 0 0 25 0 1 0 21595987 427282432 87030 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104317 87030 364 364 0 103953 0
[pid=9198] vsize: 417268
Current children cumulated CPU time (s) 299.83
Current children cumulated vsize (Kb) 417268

[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143088 0 0 0 30687 297 0 0 25 0 1 0 21595987 427806720 87105 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104445 87105 364 364 0 104081 0
[pid=9198] vsize: 417780
Current children cumulated CPU time (s) 309.84
Current children cumulated vsize (Kb) 417780

[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143121 0 0 0 31686 297 0 0 25 0 1 0 21595987 427806720 87138 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 104445 87138 364 364 0 104081 0
[pid=9198] vsize: 417780
Current children cumulated CPU time (s) 319.83
Current children cumulated vsize (Kb) 417780

[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143283 0 0 0 32686 298 0 0 25 0 1 0 21595987 427806720 87300 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 104445 87300 364 364 0 104081 0
[pid=9198] vsize: 417780
Current children cumulated CPU time (s) 329.84
Current children cumulated vsize (Kb) 417780

[startup+340.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143286 0 0 0 33686 298 0 0 25 0 1 0 21595987 427806720 87303 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 104445 87303 364 364 0 104081 0
[pid=9198] vsize: 417780
Current children cumulated CPU time (s) 339.84
Current children cumulated vsize (Kb) 417780

[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143428 0 0 0 34686 298 0 0 25 0 1 0 21595987 428339200 87445 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 104575 87445 364 364 0 104211 0
[pid=9198] vsize: 418300
Current children cumulated CPU time (s) 349.84
Current children cumulated vsize (Kb) 418300

[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143975 0 0 0 35685 299 0 0 25 0 1 0 21595987 430436352 87479 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105087 87479 364 364 0 104723 0
[pid=9198] vsize: 420348
Current children cumulated CPU time (s) 359.84
Current children cumulated vsize (Kb) 420348

[startup+370.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143975 0 0 0 36685 299 0 0 25 0 1 0 21595987 430436352 87479 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105087 87479 364 364 0 104723 0
[pid=9198] vsize: 420348
Current children cumulated CPU time (s) 369.84
Current children cumulated vsize (Kb) 420348

[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143990 0 0 0 37685 299 0 0 25 0 1 0 21595987 430436352 87494 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105087 87494 364 364 0 104723 0
[pid=9198] vsize: 420348
Current children cumulated CPU time (s) 379.84
Current children cumulated vsize (Kb) 420348

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143991 0 0 0 38685 299 0 0 25 0 1 0 21595987 430436352 87495 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105087 87495 364 364 0 104723 0
[pid=9198] vsize: 420348
Current children cumulated CPU time (s) 389.84
Current children cumulated vsize (Kb) 420348

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 143992 0 0 0 39685 299 0 0 25 0 1 0 21595987 430436352 87496 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105087 87496 364 364 0 104723 0
[pid=9198] vsize: 420348
Current children cumulated CPU time (s) 399.84
Current children cumulated vsize (Kb) 420348

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 144601 0 0 0 40685 300 0 0 25 0 1 0 21595987 432009216 87719 4294967295 134512640 135987407 3221224560 3221223200 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105471 87719 364 364 0 105107 0
[pid=9198] vsize: 421884
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 421884

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 144601 0 0 0 41684 300 0 0 25 0 1 0 21595987 432009216 87719 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 105471 87719 364 364 0 105107 0
[pid=9198] vsize: 421884
Current children cumulated CPU time (s) 419.84
Current children cumulated vsize (Kb) 421884

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147034 0 0 0 42678 306 0 0 25 0 1 0 21595987 434106368 87986 4294967295 134512640 135987407 3221224560 3221223232 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 105983 87986 364 364 0 105619 0
[pid=9198] vsize: 423932
Current children cumulated CPU time (s) 429.84
Current children cumulated vsize (Kb) 423932

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147361 0 0 0 43677 307 0 0 25 0 1 0 21595987 434892800 88119 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 106175 88119 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 424700

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147362 0 0 0 44677 307 0 0 25 0 1 0 21595987 434892800 88120 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 106175 88120 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 449.84
Current children cumulated vsize (Kb) 424700

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147363 0 0 0 45676 307 0 0 25 0 1 0 21595987 434892800 88121 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 106175 88121 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 459.83
Current children cumulated vsize (Kb) 424700

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147390 0 0 0 46676 308 0 0 25 0 1 0 21595987 434892800 88148 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 106175 88148 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 469.84
Current children cumulated vsize (Kb) 424700

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147392 0 0 0 47674 309 0 0 25 0 1 0 21595987 434892800 88150 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 106175 88150 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 479.83
Current children cumulated vsize (Kb) 424700

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147392 0 0 0 48673 309 0 0 25 0 1 0 21595987 434892800 88150 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 106175 88150 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 489.82
Current children cumulated vsize (Kb) 424700

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147396 0 0 0 49673 309 0 0 25 0 1 0 21595987 434892800 88154 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 106175 88154 364 364 0 105811 0
[pid=9198] vsize: 424700
Current children cumulated CPU time (s) 499.82
Current children cumulated vsize (Kb) 424700

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147437 0 0 0 50672 310 0 0 25 0 1 0 21595987 435159040 88195 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 106240 88195 364 364 0 105876 0
[pid=9198] vsize: 424960
Current children cumulated CPU time (s) 509.82
Current children cumulated vsize (Kb) 424960

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 147777 0 0 0 51671 310 0 0 25 0 1 0 21595987 436211712 88340 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 106497 88340 364 364 0 106133 0
[pid=9198] vsize: 425988
Current children cumulated CPU time (s) 519.81
Current children cumulated vsize (Kb) 425988

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148044 0 0 0 52670 311 0 0 25 0 1 0 21595987 436740096 88542 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 106626 88542 364 364 0 106262 0
[pid=9198] vsize: 426504
Current children cumulated CPU time (s) 529.81
Current children cumulated vsize (Kb) 426504

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148657 0 0 0 53669 312 0 0 25 0 1 0 21595987 438837248 88641 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107138 88641 364 364 0 106774 0
[pid=9198] vsize: 428552
Current children cumulated CPU time (s) 539.81
Current children cumulated vsize (Kb) 428552

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148657 0 0 0 54668 312 0 0 25 0 1 0 21595987 438837248 88641 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107138 88641 364 364 0 106774 0
[pid=9198] vsize: 428552
Current children cumulated CPU time (s) 549.8
Current children cumulated vsize (Kb) 428552

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148658 0 0 0 55668 313 0 0 25 0 1 0 21595987 438837248 88642 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107138 88642 364 364 0 106774 0
[pid=9198] vsize: 428552
Current children cumulated CPU time (s) 559.81
Current children cumulated vsize (Kb) 428552

[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148659 0 0 0 56667 313 0 0 25 0 1 0 21595987 438837248 88643 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107138 88643 364 364 0 106774 0
[pid=9198] vsize: 428552
Current children cumulated CPU time (s) 569.8
Current children cumulated vsize (Kb) 428552

[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 148659 0 0 0 57666 313 0 0 25 0 1 0 21595987 438837248 88643 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107138 88643 364 364 0 106774 0
[pid=9198] vsize: 428552
Current children cumulated CPU time (s) 579.79
Current children cumulated vsize (Kb) 428552

[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 149307 0 0 0 58665 314 0 0 25 0 1 0 21595987 440684544 88932 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107589 88932 364 364 0 107225 0
[pid=9198] vsize: 430356
Current children cumulated CPU time (s) 589.79
Current children cumulated vsize (Kb) 430356

[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 149462 0 0 0 59664 315 0 0 25 0 1 0 21595987 441212928 89022 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107718 89022 364 364 0 107354 0
[pid=9198] vsize: 430872
Current children cumulated CPU time (s) 599.79
Current children cumulated vsize (Kb) 430872

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 149463 0 0 0 60663 315 0 0 25 0 1 0 21595987 441212928 89023 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107718 89023 364 364 0 107354 0
[pid=9198] vsize: 430872
Current children cumulated CPU time (s) 609.78
Current children cumulated vsize (Kb) 430872

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 149609 0 0 0 61662 316 0 0 25 0 1 0 21595987 441741312 89104 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107847 89104 364 364 0 107483 0
[pid=9198] vsize: 431388
Current children cumulated CPU time (s) 619.78
Current children cumulated vsize (Kb) 431388

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 149610 0 0 0 62661 316 0 0 25 0 1 0 21595987 441741312 89105 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 107847 89105 364 364 0 107483 0
[pid=9198] vsize: 431388
Current children cumulated CPU time (s) 629.77
Current children cumulated vsize (Kb) 431388

[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 150018 0 0 0 63660 317 0 0 25 0 1 0 21595987 442789888 89255 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108103 89255 364 364 0 107739 0
[pid=9198] vsize: 432412
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (Kb) 432412

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 150695 0 0 0 64659 319 0 0 25 0 1 0 21595987 444362752 89546 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108487 89546 364 364 0 108123 0
[pid=9198] vsize: 433948
Current children cumulated CPU time (s) 649.78
Current children cumulated vsize (Kb) 433948

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 151137 0 0 0 65658 320 0 0 25 0 1 0 21595987 445411328 89731 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108743 89731 364 364 0 108379 0
[pid=9198] vsize: 434972
Current children cumulated CPU time (s) 659.78
Current children cumulated vsize (Kb) 434972

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 151156 0 0 0 66658 320 0 0 25 0 1 0 21595987 445411328 89750 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108743 89750 364 364 0 108379 0
[pid=9198] vsize: 434972
Current children cumulated CPU time (s) 669.78
Current children cumulated vsize (Kb) 434972

[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 151193 0 0 0 67658 320 0 0 25 0 1 0 21595987 445411328 89787 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108743 89787 364 364 0 108379 0
[pid=9198] vsize: 434972
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (Kb) 434972

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 151701 0 0 0 68657 321 0 0 25 0 1 0 21595987 446459904 90038 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 108999 90038 364 364 0 108635 0
[pid=9198] vsize: 435996
Current children cumulated CPU time (s) 689.78
Current children cumulated vsize (Kb) 435996

[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 152627 0 0 0 69655 323 0 0 25 0 1 0 21595987 449081344 90321 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 109639 90321 364 364 0 109275 0
[pid=9198] vsize: 438556
Current children cumulated CPU time (s) 699.78
Current children cumulated vsize (Kb) 438556

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 152629 0 0 0 70655 323 0 0 25 0 1 0 21595987 449081344 90323 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 109639 90323 364 364 0 109275 0
[pid=9198] vsize: 438556
Current children cumulated CPU time (s) 709.78
Current children cumulated vsize (Kb) 438556

[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 152707 0 0 0 71653 323 0 0 25 0 1 0 21595987 449347584 90368 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 109704 90368 364 364 0 109340 0
[pid=9198] vsize: 438816
Current children cumulated CPU time (s) 719.76
Current children cumulated vsize (Kb) 438816

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 153198 0 0 0 72652 324 0 0 25 0 1 0 21595987 450809856 90662 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 110061 90662 364 364 0 109697 0
[pid=9198] vsize: 440244
Current children cumulated CPU time (s) 729.76
Current children cumulated vsize (Kb) 440244

[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 153235 0 0 0 73652 324 0 0 25 0 1 0 21595987 450809856 90699 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 110061 90699 364 364 0 109697 0
[pid=9198] vsize: 440244
Current children cumulated CPU time (s) 739.76
Current children cumulated vsize (Kb) 440244

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 153235 0 0 0 74652 324 0 0 25 0 1 0 21595987 450809856 90699 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 110061 90699 364 364 0 109697 0
[pid=9198] vsize: 440244
Current children cumulated CPU time (s) 749.76
Current children cumulated vsize (Kb) 440244

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 153727 0 0 0 75650 326 0 0 25 0 1 0 21595987 452243456 90948 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 110411 90948 364 364 0 110047 0
[pid=9198] vsize: 441644
Current children cumulated CPU time (s) 759.76
Current children cumulated vsize (Kb) 441644

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 157167 0 0 0 76643 333 0 0 25 0 1 0 21595987 461062144 92559 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 112564 92559 364 364 0 112200 0
[pid=9198] vsize: 450256
Current children cumulated CPU time (s) 769.76
Current children cumulated vsize (Kb) 450256

[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 158651 0 0 0 77640 335 0 0 25 0 1 0 21595987 465010688 93201 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 113528 93201 364 364 0 113164 0
[pid=9198] vsize: 454112
Current children cumulated CPU time (s) 779.75
Current children cumulated vsize (Kb) 454112

[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 160375 0 0 0 78637 338 0 0 25 0 1 0 21595987 469352448 93988 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 114588 93988 364 364 0 114224 0
[pid=9198] vsize: 458352
Current children cumulated CPU time (s) 789.75
Current children cumulated vsize (Kb) 458352

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 161697 0 0 0 79634 341 0 0 25 0 1 0 21595987 473026560 94440 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 115485 94440 364 364 0 115121 0
[pid=9198] vsize: 461940
Current children cumulated CPU time (s) 799.75
Current children cumulated vsize (Kb) 461940

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 163767 0 0 0 80631 345 0 0 25 0 1 0 21595987 478285824 95346 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 116769 95346 364 364 0 116405 0
[pid=9198] vsize: 467076
Current children cumulated CPU time (s) 809.76
Current children cumulated vsize (Kb) 467076

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 165197 0 0 0 81628 347 0 0 25 0 1 0 21595987 481959936 95905 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 117666 95905 364 364 0 117302 0
[pid=9198] vsize: 470664
Current children cumulated CPU time (s) 819.75
Current children cumulated vsize (Kb) 470664

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 167224 0 0 0 82624 351 0 0 25 0 1 0 21595987 486830080 96896 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 118855 96896 364 364 0 118491 0
[pid=9198] vsize: 475420
Current children cumulated CPU time (s) 829.75
Current children cumulated vsize (Kb) 475420

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169035 0 0 0 83621 354 0 0 25 0 1 0 21595987 491028480 97708 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97708 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 839.75
Current children cumulated vsize (Kb) 479520

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169051 0 0 0 84621 354 0 0 25 0 1 0 21595987 491028480 97724 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97724 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 849.75
Current children cumulated vsize (Kb) 479520

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169051 0 0 0 85621 354 0 0 25 0 1 0 21595987 491028480 97724 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97724 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 859.75
Current children cumulated vsize (Kb) 479520

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169052 0 0 0 86621 354 0 0 25 0 1 0 21595987 491028480 97725 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97725 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 869.75
Current children cumulated vsize (Kb) 479520

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169052 0 0 0 87621 354 0 0 25 0 1 0 21595987 491028480 97725 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97725 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 879.75
Current children cumulated vsize (Kb) 479520

[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169054 0 0 0 88621 354 0 0 25 0 1 0 21595987 491028480 97727 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97727 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 889.75
Current children cumulated vsize (Kb) 479520

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169055 0 0 0 89620 354 0 0 25 0 1 0 21595987 491028480 97728 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97728 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 899.74
Current children cumulated vsize (Kb) 479520

[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 169056 0 0 0 90620 354 0 0 25 0 1 0 21595987 491028480 97729 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 119880 97729 364 364 0 119516 0
[pid=9198] vsize: 479520
Current children cumulated CPU time (s) 909.74
Current children cumulated vsize (Kb) 479520

[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 170027 0 0 0 91617 357 0 0 25 0 1 0 21595987 493531136 98179 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 120491 98179 364 364 0 120127 0
[pid=9198] vsize: 481964
Current children cumulated CPU time (s) 919.74
Current children cumulated vsize (Kb) 481964

[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 172772 0 0 0 92611 363 0 0 25 0 1 0 21595987 501432320 99270 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 122420 99270 364 364 0 122056 0
[pid=9198] vsize: 489680
Current children cumulated CPU time (s) 929.74
Current children cumulated vsize (Kb) 489680

[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 173672 0 0 0 93608 365 0 0 25 0 1 0 21595987 503672832 99716 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 122967 99716 364 364 0 122603 0
[pid=9198] vsize: 491868
Current children cumulated CPU time (s) 939.73
Current children cumulated vsize (Kb) 491868

[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 175015 0 0 0 94605 369 0 0 25 0 1 0 21595987 506834944 100409 4294967295 134512640 135987407 3221224560 3221223104 134812015 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 123739 100409 364 364 0 123375 0
[pid=9198] vsize: 494956
Current children cumulated CPU time (s) 949.74
Current children cumulated vsize (Kb) 494956

[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 175201 0 0 0 95603 370 0 0 25 0 1 0 21595987 507367424 100529 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 123869 100529 364 364 0 123505 0
[pid=9198] vsize: 495476
Current children cumulated CPU time (s) 959.73
Current children cumulated vsize (Kb) 495476

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 177479 0 0 0 96598 374 0 0 25 0 1 0 21595987 513425408 101540 4294967295 134512640 135987407 3221224560 3221223200 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9198/statm): 125348 101540 364 364 0 124984 0
[pid=9198] vsize: 501392
Current children cumulated CPU time (s) 969.72
Current children cumulated vsize (Kb) 501392

[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179026 0 0 0 97594 377 0 0 25 0 1 0 21595987 517505024 102213 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126344 102213 364 364 0 125980 0
[pid=9198] vsize: 505376
Current children cumulated CPU time (s) 979.71
Current children cumulated vsize (Kb) 505376

[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179030 0 0 0 98594 378 0 0 25 0 1 0 21595987 517505024 102217 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126344 102217 364 364 0 125980 0
[pid=9198] vsize: 505376
Current children cumulated CPU time (s) 989.72
Current children cumulated vsize (Kb) 505376

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179080 0 0 0 99594 378 0 0 25 0 1 0 21595987 517505024 102267 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126344 102267 364 364 0 125980 0
[pid=9198] vsize: 505376
Current children cumulated CPU time (s) 999.72
Current children cumulated vsize (Kb) 505376

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179080 0 0 0 100594 378 0 0 25 0 1 0 21595987 517505024 102267 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126344 102267 364 364 0 125980 0
[pid=9198] vsize: 505376
Current children cumulated CPU time (s) 1009.72
Current children cumulated vsize (Kb) 505376

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179106 0 0 0 101594 378 0 0 25 0 1 0 21595987 517505024 102293 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126344 102293 364 364 0 125980 0
[pid=9198] vsize: 505376
Current children cumulated CPU time (s) 1019.72
Current children cumulated vsize (Kb) 505376

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 179834 0 0 0 102593 379 0 0 25 0 1 0 21595987 519077888 102635 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 126728 102635 364 364 0 126364 0
[pid=9198] vsize: 506912
Current children cumulated CPU time (s) 1029.72
Current children cumulated vsize (Kb) 506912

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 180584 0 0 0 103590 381 0 0 25 0 1 0 21595987 520925184 103027 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127179 103027 364 364 0 126815 0
[pid=9198] vsize: 508716
Current children cumulated CPU time (s) 1039.71
Current children cumulated vsize (Kb) 508716

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181208 0 0 0 104588 382 0 0 25 0 1 0 21595987 522498048 103265 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127563 103265 364 364 0 127199 0
[pid=9198] vsize: 510252
Current children cumulated CPU time (s) 1049.7
Current children cumulated vsize (Kb) 510252

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181460 0 0 0 105587 383 0 0 25 0 1 0 21595987 523288576 103355 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103355 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1059.7
Current children cumulated vsize (Kb) 511024

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181489 0 0 0 106586 384 0 0 25 0 1 0 21595987 523288576 103384 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103384 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1069.7
Current children cumulated vsize (Kb) 511024

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181499 0 0 0 107586 384 0 0 25 0 1 0 21595987 523288576 103394 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103394 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1079.7
Current children cumulated vsize (Kb) 511024

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181533 0 0 0 108585 384 0 0 25 0 1 0 21595987 523288576 103428 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103428 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1089.69
Current children cumulated vsize (Kb) 511024

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181533 0 0 0 109584 385 0 0 25 0 1 0 21595987 523288576 103428 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103428 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1099.69
Current children cumulated vsize (Kb) 511024

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181535 0 0 0 110584 385 0 0 25 0 1 0 21595987 523288576 103430 4294967295 134512640 135987407 3221224560 3221223104 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103430 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1109.69
Current children cumulated vsize (Kb) 511024

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181535 0 0 0 111583 385 0 0 25 0 1 0 21595987 523288576 103430 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103430 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1119.68
Current children cumulated vsize (Kb) 511024

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181536 0 0 0 112583 385 0 0 25 0 1 0 21595987 523288576 103431 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103431 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1129.68
Current children cumulated vsize (Kb) 511024

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181538 0 0 0 113582 386 0 0 25 0 1 0 21595987 523288576 103433 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103433 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1139.68
Current children cumulated vsize (Kb) 511024

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181539 0 0 0 114582 386 0 0 25 0 1 0 21595987 523288576 103434 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103434 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1149.68
Current children cumulated vsize (Kb) 511024

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181542 0 0 0 115582 386 0 0 25 0 1 0 21595987 523288576 103437 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103437 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1159.68
Current children cumulated vsize (Kb) 511024

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181544 0 0 0 116581 386 0 0 25 0 1 0 21595987 523288576 103439 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103439 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1169.67
Current children cumulated vsize (Kb) 511024

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 181545 0 0 0 117581 387 0 0 25 0 1 0 21595987 523288576 103440 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 127756 103440 364 364 0 127392 0
[pid=9198] vsize: 511024
Current children cumulated CPU time (s) 1179.68
Current children cumulated vsize (Kb) 511024

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 182198 0 0 0 118579 388 0 0 25 0 1 0 21595987 525139968 103767 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 128208 103767 364 364 0 127844 0
[pid=9198] vsize: 512832
Current children cumulated CPU time (s) 1189.67
Current children cumulated vsize (Kb) 512832

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 182932 0 0 0 119577 390 0 0 25 0 1 0 21595987 527237120 103985 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 128720 103985 364 364 0 128356 0
[pid=9198] vsize: 514880
Current children cumulated CPU time (s) 1199.67
Current children cumulated vsize (Kb) 514880

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 184259 0 0 0 120573 393 0 0 25 0 1 0 21595987 530399232 104662 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 129492 104662 364 364 0 129128 0
[pid=9198] vsize: 517968
Current children cumulated CPU time (s) 1209.66
Current children cumulated vsize (Kb) 517968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9198
Raw data (/proc/9198/stat): 9198 (pb2sat) R 9197 9198 4060 0 -1 0 184259 0 0 0 120573 393 0 0 25 0 1 0 21595987 530399232 104662 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9198/statm): 129492 104662 364 364 0 129128 0
[pid=9198] vsize: 517968
Current children cumulated CPU time (s) 1209.66
Current children cumulated vsize (Kb) 517968

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

Child status: 10
Real time (s): 1211.54
CPU time (s): 1211.15
CPU user time (s): 1207
CPU system time (s): 4.15437
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (Kb): 517968

Verifier Data

Verifier:	OK	63596