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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUM5e8935802e4aa1a1ac8f2a923d842947
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26439
Optimality of the best value was proved NO
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1262.02
Number of variables8405
Total number of constraints19071
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)9153
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351

Trace number 9883

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 15:46:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8585 boxname=wulflinc29 idbench=381 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5e8935802e4aa1a1ac8f2a923d842947  /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb
IDLAUNCH: 8585
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        929368 kB
Buffers:         11368 kB
Cached:          76828 kB
SwapCached:          0 kB
Active:          44736 kB
Inactive:        46368 kB
HighTotal:      131008 kB
HighFree:        54516 kB
LowTotal:       903652 kB
LowFree:        874852 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8580 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:07:22 (client local time) WITH STATUS 0 IN 1203.55 SECONDS
stats: 8585 7 1203.55 0

Solver Data

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

c Decision: 15930/466482	Time: 113.41/86400
c Decision: 15930/466482	Time: 123.903/86400
c Decision: 15930/466482	Time: 133.749/86400
c Decision: 15930/466482	Time: 143.382/86400
c Decision: 15930/466482	Time: 156.26/86400
c Decision: 15930/466482	Time: 169.867/86400
c Decision: 15930/466482	Time: 178.465/86400
c Decision: 15930/466482	Time: 190.741/86400
c Decision: 15930/466482	Time: 203.125/86400
c Decision: 15930/466482	Time: 210.562/86400
c Decision: 15930/466482	Time: 223.506/86400
c Decision: 15930/466482	Time: 256.815/86400
c Decision: 15930/466482	Time: 276.477/86400
c Decision: 15930/466482	Time: 293.916/86400
c Decision: 15930/466482	Time: 306.54/86400
c Decision: 15930/466482	Time: 329.64/86400
c Decision: 15930/466482	Time: 345.843/86400
c Decision: 15930/466482	Time: 364.871/86400
c Decision: 15930/466482	Time: 376.973/86400
c Decision: 15930/466482	Time: 393.288/86400
c Decision: 15930/466482	Time: 420.134/86400
c Decision: 15930/466482	Time: 433.695/86400
c Decision: 15930/466482	Time: 447.733/86400
c Decision: 15930/466482	Time: 461.14/86400
c Decision: 15930/466482	Time: 478.298/86400
c Decision: 15930/466482	Time: 490.292/86400
c Decision: 15930/466482	Time: 502.266/86400
c Decision: 15930/466482	Time: 517.778/86400
c Decision: 15930/466482	Time: 527.612/86400
c Decision: 15930/466482	Time: 545.492/86400
c Decision: 15930/466482	Time: 561.796/86400
c Decision: 15930/466482	Time: 581.589/86400
c Decision: 15930/466482	Time: 595.808/86400
c Decision: 15930/466482	Time: 631.884/86400
c Decision: 15930/466482	Time: 662.366/86400
c Decision: 15930/466482	Time: 684.069/86400
c Decision: 15930/466482	Time: 702.086/86400
c Decision: 15930/466482	Time: 720.952/86400
c Decision: 15930/466482	Time: 753.27/86400
c Decision: 15930/466482	Time: 774.393/86400
c Decision: 15930/466482	Time: 797.808/86400
c Decision: 15930/466482	Time: 818.755/86400
c Decision: 15930/466482	Time: 837.089/86400
c Decision: 15930/466482	Time: 859.48/86400
c Decision: 15930/466482	Time: 879.184/86400
c Decision: 15930/466482	Time: 905.669/86400
c Decision: 15930/466482	Time: 936.046/86400
c Decision: 15930/466482	Time: 956.949/86400
c Decision: 15930/466482	Time: 976.826/86400
c Decision: 15930/466482	Time: 1001.36/86400
c Decision: 15930/466482	Time: 1021.4/86400
c Decision: 15930/466482	Time: 1039.58/86400
c Decision: 15930/466482	Time: 1055.17/86400
c Decision: 15930/466482	Time: 1070.89/86400
c Decision: 15930/466482	Time: 1089.74/86400
c Decision: 15930/466482	Time: 1107/86400
c Decision: 15930/466482	Time: 1124.6/86400
c Decision: 15930/466482	Time: 1144.92/86400
c Decision: 15930/466482	Time: 1162.08/86400
c Decision: 15930/466482	Time: 1179.37/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/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21340892 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 373 2 364 364 0 9 0
[pid=8038] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb

[startup+10.0011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 27014 0 0 0 937 60 0 0 25 0 1 0 21340892 80920576 15910 4294967295 134512640 135987407 3221224576 3221126844 134865856 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 19756 15910 364 364 0 19392 0
[pid=8038] vsize: 79024
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79024

[startup+20.0019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 55563 0 0 0 1874 122 0 0 25 0 1 0 21340892 158228480 33208 4294967295 134512640 135987407 3221224576 3221218484 134865975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 38630 33208 364 364 0 38266 0
[pid=8038] vsize: 154520
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 154520

[startup+30.0026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 60500 0 0 0 2734 176 0 0 25 0 1 0 21340892 172916736 37224 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 42216 37224 364 364 0 41852 0
[pid=8038] vsize: 168864
Current children cumulated CPU time (s) 29.1
Current children cumulated vsize (Kb) 168864

[startup+40.0034 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 61818 0 0 0 3645 207 0 0 25 0 1 0 21340892 178769920 38542 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 43645 38542 364 364 0 43281 0
[pid=8038] vsize: 174580
Current children cumulated CPU time (s) 38.52
Current children cumulated vsize (Kb) 174580

[startup+50.0042 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 62566 0 0 0 4605 222 0 0 25 0 1 0 21340892 182222848 39257 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 44488 39257 364 364 0 44124 0
[pid=8038] vsize: 177952
Current children cumulated CPU time (s) 48.27
Current children cumulated vsize (Kb) 177952

[startup+60.004 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 62964 0 0 0 5587 229 0 0 25 0 1 0 21340892 183861248 39655 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 44888 39655 364 364 0 44524 0
[pid=8038] vsize: 179552
Current children cumulated CPU time (s) 58.16
Current children cumulated vsize (Kb) 179552

[startup+70.0048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 63434 0 0 0 6573 233 0 0 25 0 1 0 21340892 185663488 40125 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 45328 40125 364 364 0 44964 0
[pid=8038] vsize: 181312
Current children cumulated CPU time (s) 68.06
Current children cumulated vsize (Kb) 181312

[startup+80.0055 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 63738 0 0 0 7555 239 0 0 25 0 1 0 21340892 186859520 40429 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 45620 40429 364 364 0 45256 0
[pid=8038] vsize: 182480
Current children cumulated CPU time (s) 77.94
Current children cumulated vsize (Kb) 182480

[startup+90.0063 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 63898 0 0 0 8534 248 0 0 25 0 1 0 21340892 187383808 40589 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 45748 40589 364 364 0 45384 0
[pid=8038] vsize: 182992
Current children cumulated CPU time (s) 87.82
Current children cumulated vsize (Kb) 182992

[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 64481 0 0 0 9507 257 0 0 25 0 1 0 21340892 189997056 41172 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 46386 41172 364 364 0 46022 0
[pid=8038] vsize: 185544
Current children cumulated CPU time (s) 97.64
Current children cumulated vsize (Kb) 185544

[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 64878 0 0 0 10482 264 0 0 25 0 1 0 21340892 191700992 41569 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 46802 41569 364 364 0 46438 0
[pid=8038] vsize: 187208
Current children cumulated CPU time (s) 107.46
Current children cumulated vsize (Kb) 187208

[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 65065 0 0 0 11456 273 0 0 25 0 1 0 21340892 192258048 41756 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 46938 41756 364 364 0 46574 0
[pid=8038] vsize: 187752
Current children cumulated CPU time (s) 117.29
Current children cumulated vsize (Kb) 187752

[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 65135 0 0 0 12431 283 0 0 25 0 1 0 21340892 192585728 41826 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 47018 41826 364 364 0 46654 0
[pid=8038] vsize: 188072
Current children cumulated CPU time (s) 127.14
Current children cumulated vsize (Kb) 188072

[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 66064 0 0 0 13412 291 0 0 25 0 1 0 21340892 192585728 41843 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47018 41843 364 364 0 46654 0
[pid=8038] vsize: 188072
Current children cumulated CPU time (s) 137.03
Current children cumulated vsize (Kb) 188072

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 67065 0 0 0 14383 303 0 0 25 0 1 0 21340892 193110016 41932 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47146 41932 364 364 0 46782 0
[pid=8038] vsize: 188584
Current children cumulated CPU time (s) 146.86
Current children cumulated vsize (Kb) 188584

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 67994 0 0 0 15355 314 0 0 25 0 1 0 21340892 193110016 41949 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47146 41949 364 364 0 46782 0
[pid=8038] vsize: 188584
Current children cumulated CPU time (s) 156.69
Current children cumulated vsize (Kb) 188584

[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 69038 0 0 0 16332 323 0 0 25 0 1 0 21340892 193736704 42081 4294967295 134512640 135987407 3221224576 3221223264 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47299 42081 364 364 0 46935 0
[pid=8038] vsize: 189196
Current children cumulated CPU time (s) 166.55
Current children cumulated vsize (Kb) 189196

[startup+180.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 69564 0 0 0 17299 335 0 0 25 0 1 0 21340892 196206592 42607 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47902 42607 364 364 0 47538 0
[pid=8038] vsize: 191608
Current children cumulated CPU time (s) 176.34
Current children cumulated vsize (Kb) 191608

[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 70543 0 0 0 18270 346 0 0 25 0 1 0 21340892 196386816 42674 4294967295 134512640 135987407 3221224576 3221223264 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 47946 42674 364 364 0 47582 0
[pid=8038] vsize: 191784
Current children cumulated CPU time (s) 186.16
Current children cumulated vsize (Kb) 191784

[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 71462 0 0 0 19250 355 0 0 25 0 1 0 21340892 196386816 42681 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 47946 42681 364 364 0 47582 0
[pid=8038] vsize: 191784
Current children cumulated CPU time (s) 196.05
Current children cumulated vsize (Kb) 191784

[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 72395 0 0 0 20224 366 0 0 25 0 1 0 21340892 196550656 42702 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 47986 42702 364 364 0 47622 0
[pid=8038] vsize: 191944
Current children cumulated CPU time (s) 205.9
Current children cumulated vsize (Kb) 191944

[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 73470 0 0 0 21192 379 0 0 25 0 1 0 21340892 197320704 42865 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8038/statm): 48174 42865 364 364 0 47810 0
[pid=8038] vsize: 192696
Current children cumulated CPU time (s) 215.71
Current children cumulated vsize (Kb) 192696

[startup+230.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 74395 0 0 0 22166 390 0 0 25 0 1 0 21340892 197468160 42878 4294967295 134512640 135987407 3221224576 3221223424 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 48210 42878 364 364 0 47846 0
[pid=8038] vsize: 192840
Current children cumulated CPU time (s) 225.56
Current children cumulated vsize (Kb) 192840

[startup+240.011 s]
Raw data (loadavg): 1.08 0.99 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 75366 0 0 0 23124 406 0 0 25 0 1 0 21340892 197763072 42937 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8038/statm): 48282 42937 364 364 0 47918 0
[pid=8038] vsize: 193128
Current children cumulated CPU time (s) 235.3
Current children cumulated vsize (Kb) 193128

[startup+250.012 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 76404 0 0 0 24100 416 0 0 25 0 1 0 21340892 198254592 43063 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 48402 43063 364 364 0 48038 0
[pid=8038] vsize: 193608
Current children cumulated CPU time (s) 245.16
Current children cumulated vsize (Kb) 193608

[startup+260.012 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77249 0 0 0 24958 465 0 0 25 0 1 0 21340892 202358784 43908 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 49404 43908 364 364 0 49040 0
[pid=8038] vsize: 197616
Current children cumulated CPU time (s) 254.23
Current children cumulated vsize (Kb) 197616

[startup+270.012 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77736 0 0 0 25914 480 0 0 25 0 1 0 21340892 204623872 44395 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 49957 44395 364 364 0 49593 0
[pid=8038] vsize: 199828
Current children cumulated CPU time (s) 263.94
Current children cumulated vsize (Kb) 199828

[startup+280.012 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77834 0 0 0 26887 488 0 0 25 0 1 0 21340892 205115392 44493 4294967295 134512640 135987407 3221224576 3221223392 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50077 44493 364 364 0 49713 0
[pid=8038] vsize: 200308
Current children cumulated CPU time (s) 273.75
Current children cumulated vsize (Kb) 200308

[startup+290.013 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 78780 0 0 0 27860 498 0 0 25 0 1 0 21340892 205279232 44527 4294967295 134512640 135987407 3221224576 3221223424 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50117 44527 364 364 0 49753 0
[pid=8038] vsize: 200468
Current children cumulated CPU time (s) 283.58
Current children cumulated vsize (Kb) 200468

[startup+300.013 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 78875 0 0 0 28829 507 0 0 25 0 1 0 21340892 205754368 44622 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50233 44622 364 364 0 49869 0
[pid=8038] vsize: 200932
Current children cumulated CPU time (s) 293.36
Current children cumulated vsize (Kb) 200932

[startup+310.013 s]
Raw data (loadavg): 1.02 0.99 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 79815 0 0 0 29785 522 0 0 25 0 1 0 21340892 205918208 44650 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50273 44650 364 364 0 49909 0
[pid=8038] vsize: 201092
Current children cumulated CPU time (s) 303.07
Current children cumulated vsize (Kb) 201092

[startup+320.013 s]
Raw data (loadavg): 1.02 0.99 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 79843 0 0 0 30754 532 0 0 25 0 1 0 21340892 206082048 44678 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50313 44678 364 364 0 49949 0
[pid=8038] vsize: 201252
Current children cumulated CPU time (s) 312.86
Current children cumulated vsize (Kb) 201252

[startup+330.013 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 80781 0 0 0 31725 543 0 0 25 0 1 0 21340892 206245888 44704 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50353 44704 364 364 0 49989 0
[pid=8038] vsize: 201412
Current children cumulated CPU time (s) 322.68
Current children cumulated vsize (Kb) 201412

[startup+340.014 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 81733 0 0 0 32689 557 0 0 25 0 1 0 21340892 206409728 44744 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50393 44744 364 364 0 50029 0
[pid=8038] vsize: 201572
Current children cumulated CPU time (s) 332.46
Current children cumulated vsize (Kb) 201572

[startup+350.014 s]
Raw data (loadavg): 1.01 0.99 0.94 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 81951 0 0 0 33659 568 0 0 25 0 1 0 21340892 207523840 44962 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50665 44962 364 364 0 50301 0
[pid=8038] vsize: 202660
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (Kb) 202660

[startup+360.013 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 83082 0 0 0 34633 579 0 0 25 0 1 0 21340892 208793600 45181 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 50975 45181 364 364 0 50611 0
[pid=8038] vsize: 203900
Current children cumulated CPU time (s) 352.12
Current children cumulated vsize (Kb) 203900

[startup+370.013 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 83341 0 0 0 35604 588 0 0 25 0 1 0 21340892 210059264 45440 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 51284 45440 364 364 0 50920 0
[pid=8038] vsize: 205136
Current children cumulated CPU time (s) 361.92
Current children cumulated vsize (Kb) 205136

[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 84341 0 0 0 36561 605 0 0 25 0 1 0 21340892 210587648 45528 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51413 45528 364 364 0 51049 0
[pid=8038] vsize: 205652
Current children cumulated CPU time (s) 371.66
Current children cumulated vsize (Kb) 205652

[startup+390.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 84496 0 0 0 37520 621 0 0 25 0 1 0 21340892 211447808 45683 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 51623 45683 364 364 0 51259 0
[pid=8038] vsize: 206492
Current children cumulated CPU time (s) 381.41
Current children cumulated vsize (Kb) 206492

[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 85463 0 0 0 38485 633 0 0 25 0 1 0 21340892 211644416 45738 4294967295 134512640 135987407 3221224576 3221223264 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51671 45738 364 364 0 51307 0
[pid=8038] vsize: 206684
Current children cumulated CPU time (s) 391.18
Current children cumulated vsize (Kb) 206684

[startup+410.014 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 86402 0 0 0 39453 647 0 0 25 0 1 0 21340892 211841024 45765 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51719 45765 364 364 0 51355 0
[pid=8038] vsize: 206876
Current children cumulated CPU time (s) 401
Current children cumulated vsize (Kb) 206876

[startup+420.014 s]
Raw data (loadavg): 1.06 1.00 0.95 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 86439 0 0 0 40425 656 0 0 25 0 1 0 21340892 211841024 45802 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51719 45802 364 364 0 51355 0
[pid=8038] vsize: 206876
Current children cumulated CPU time (s) 410.81
Current children cumulated vsize (Kb) 206876

[startup+430.014 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 87403 0 0 0 41375 674 0 0 25 0 1 0 21340892 212037632 45854 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51767 45854 364 364 0 51403 0
[pid=8038] vsize: 207068
Current children cumulated CPU time (s) 420.49
Current children cumulated vsize (Kb) 207068

[startup+440.015 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 87480 0 0 0 42348 682 0 0 25 0 1 0 21340892 212430848 45931 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51863 45931 364 364 0 51499 0
[pid=8038] vsize: 207452
Current children cumulated CPU time (s) 430.3
Current children cumulated vsize (Kb) 207452

[startup+450.015 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 88447 0 0 0 43318 696 0 0 25 0 1 0 21340892 212627456 45986 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51911 45986 364 364 0 51547 0
[pid=8038] vsize: 207644
Current children cumulated CPU time (s) 440.14
Current children cumulated vsize (Kb) 207644

[startup+460.014 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 88486 0 0 0 44290 705 0 0 25 0 1 0 21340892 212824064 46025 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 51959 46025 364 364 0 51595 0
[pid=8038] vsize: 207836
Current children cumulated CPU time (s) 449.95
Current children cumulated vsize (Kb) 207836

[startup+470.015 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 89439 0 0 0 45254 719 0 0 25 0 1 0 21340892 213020672 46066 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52007 46066 364 364 0 51643 0
[pid=8038] vsize: 208028
Current children cumulated CPU time (s) 459.73
Current children cumulated vsize (Kb) 208028

[startup+480.015 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 90411 0 0 0 46229 729 0 0 25 0 1 0 21340892 213413888 46126 4294967295 134512640 135987407 3221224576 3221223440 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 52103 46126 364 364 0 51739 0
[pid=8038] vsize: 208412
Current children cumulated CPU time (s) 469.58
Current children cumulated vsize (Kb) 208412

[startup+490.016 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 90440 0 0 0 47200 739 0 0 25 0 1 0 21340892 213413888 46155 4294967295 134512640 135987407 3221224576 3221223192 134776765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 52103 46155 364 364 0 51739 0
[pid=8038] vsize: 208412
Current children cumulated CPU time (s) 479.39
Current children cumulated vsize (Kb) 208412

[startup+500.016 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 91637 0 0 0 48158 755 0 0 25 0 1 0 21340892 214618112 46391 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 52397 46391 364 364 0 52033 0
[pid=8038] vsize: 209588
Current children cumulated CPU time (s) 489.13
Current children cumulated vsize (Kb) 209588

[startup+510.016 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 92591 0 0 0 49130 766 0 0 25 0 1 0 21340892 218550272 47345 4294967295 134512640 135987407 3221224576 3221222936 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 53357 47345 364 364 0 52993 0
[pid=8038] vsize: 213428
Current children cumulated CPU time (s) 498.96
Current children cumulated vsize (Kb) 213428

[startup+520.017 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 92624 0 0 0 50097 776 0 0 25 0 1 0 21340892 215011328 46466 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52493 46466 364 364 0 52129 0
[pid=8038] vsize: 209972
Current children cumulated CPU time (s) 508.73
Current children cumulated vsize (Kb) 209972

[startup+530.018 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93595 0 0 0 51063 789 0 0 25 0 1 0 21340892 215207936 46525 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52541 46525 364 364 0 52177 0
[pid=8038] vsize: 210164
Current children cumulated CPU time (s) 518.52
Current children cumulated vsize (Kb) 210164

[startup+540.019 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93825 0 0 0 52036 799 0 0 25 0 1 0 21340892 216338432 46755 4294967295 134512640 135987407 3221224576 3221223392 134816700 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52817 46755 364 364 0 52453 0
[pid=8038] vsize: 211268
Current children cumulated CPU time (s) 528.35
Current children cumulated vsize (Kb) 211268

[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93854 0 0 0 53009 809 0 0 25 0 1 0 21340892 216473600 46784 4294967295 134512640 135987407 3221224576 3221223216 134789466 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52850 46784 364 364 0 52486 0
[pid=8038] vsize: 211400
Current children cumulated CPU time (s) 538.18
Current children cumulated vsize (Kb) 211400

[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 94790 0 0 0 53984 818 0 0 25 0 1 0 21340892 216473600 46808 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 52850 46808 364 364 0 52486 0
[pid=8038] vsize: 211400
Current children cumulated CPU time (s) 548.02
Current children cumulated vsize (Kb) 211400

[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 94968 0 0 0 54953 828 0 0 25 0 1 0 21340892 217145344 46953 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53014 46953 364 364 0 52650 0
[pid=8038] vsize: 212056
Current children cumulated CPU time (s) 557.81
Current children cumulated vsize (Kb) 212056

[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 95951 0 0 0 55913 843 0 0 23 0 1 0 21340892 217477120 47024 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53095 47024 364 364 0 52731 0
[pid=8038] vsize: 212380
Current children cumulated CPU time (s) 567.56
Current children cumulated vsize (Kb) 212380

[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 96030 0 0 0 56852 865 0 0 25 0 1 0 21340892 217808896 47103 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53176 47103 364 364 0 52812 0
[pid=8038] vsize: 212704
Current children cumulated CPU time (s) 577.17
Current children cumulated vsize (Kb) 212704

[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 96950 0 0 0 57824 876 0 0 25 0 1 0 21340892 217808896 47111 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53176 47111 364 364 0 52812 0
[pid=8038] vsize: 212704
Current children cumulated CPU time (s) 587
Current children cumulated vsize (Kb) 212704

[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 97112 0 0 0 58791 887 0 0 25 0 1 0 21340892 218890240 47273 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53440 47273 364 364 0 53076 0
[pid=8038] vsize: 213760
Current children cumulated CPU time (s) 596.78
Current children cumulated vsize (Kb) 213760

[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 98025 0 0 0 59728 909 0 0 25 0 1 0 21340892 218890240 47274 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53440 47274 364 364 0 53076 0
[pid=8038] vsize: 213760
Current children cumulated CPU time (s) 606.37
Current children cumulated vsize (Kb) 213760

[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 98039 0 0 0 60698 920 0 0 25 0 1 0 21340892 218890240 47288 4294967295 134512640 135987407 3221224576 3221223216 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 53440 47288 364 364 0 53076 0
[pid=8038] vsize: 213760
Current children cumulated CPU time (s) 616.18
Current children cumulated vsize (Kb) 213760

[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 99056 0 0 0 61616 945 0 0 25 0 1 0 21340892 219320320 47360 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53545 47360 364 364 0 53181 0
[pid=8038] vsize: 214180
Current children cumulated CPU time (s) 625.61
Current children cumulated vsize (Kb) 214180

[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 99198 0 0 0 62568 960 0 0 25 0 1 0 21340892 219975680 47502 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53705 47502 364 364 0 53341 0
[pid=8038] vsize: 214820
Current children cumulated CPU time (s) 635.28
Current children cumulated vsize (Kb) 214820

[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 99239 0 0 0 63542 970 0 0 25 0 1 0 21340892 220172288 47543 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53753 47543 364 364 0 53389 0
[pid=8038] vsize: 215012
Current children cumulated CPU time (s) 645.12
Current children cumulated vsize (Kb) 215012

[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 100179 0 0 0 64511 981 0 0 25 0 1 0 21340892 220172288 47571 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53753 47571 364 364 0 53389 0
[pid=8038] vsize: 215012
Current children cumulated CPU time (s) 654.92
Current children cumulated vsize (Kb) 215012

[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 100265 0 0 0 65472 994 0 0 25 0 1 0 21340892 220700672 47657 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 53882 47657 364 364 0 53518 0
[pid=8038] vsize: 215528
Current children cumulated CPU time (s) 664.66
Current children cumulated vsize (Kb) 215528

[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 100301 0 0 0 66440 1005 0 0 25 0 1 0 21340892 220897280 47693 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53930 47693 364 364 0 53566 0
[pid=8038] vsize: 215720
Current children cumulated CPU time (s) 674.45
Current children cumulated vsize (Kb) 215720

[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 101235 0 0 0 67412 1016 0 0 25 0 1 0 21340892 220897280 47715 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53930 47715 364 364 0 53566 0
[pid=8038] vsize: 215720
Current children cumulated CPU time (s) 684.28
Current children cumulated vsize (Kb) 215720

[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 101243 0 0 0 68376 1028 0 0 25 0 1 0 21340892 220897280 47723 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 53930 47723 364 364 0 53566 0
[pid=8038] vsize: 215720
Current children cumulated CPU time (s) 694.04
Current children cumulated vsize (Kb) 215720

[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 102215 0 0 0 69342 1040 0 0 25 0 1 0 21340892 224829440 48695 4294967295 134512640 135987407 3221224576 3221222936 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54890 48695 364 364 0 54526 0
[pid=8038] vsize: 219560
Current children cumulated CPU time (s) 703.82
Current children cumulated vsize (Kb) 219560

[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 102261 0 0 0 70310 1051 0 0 25 0 1 0 21340892 221290496 47829 4294967295 134512640 135987407 3221224576 3221223136 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54026 47829 364 364 0 53662 0
[pid=8038] vsize: 216104
Current children cumulated CPU time (s) 713.61
Current children cumulated vsize (Kb) 216104

[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 103177 0 0 0 71277 1066 0 0 25 0 1 0 21340892 225026048 48745 4294967295 134512640 135987407 3221224576 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54938 48745 364 364 0 54574 0
[pid=8038] vsize: 219752
Current children cumulated CPU time (s) 723.43
Current children cumulated vsize (Kb) 219752

[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 103181 0 0 0 72246 1076 0 0 25 0 1 0 21340892 221290496 47837 4294967295 134512640 135987407 3221224576 3221223360 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54026 47837 364 364 0 53662 0
[pid=8038] vsize: 216104
Current children cumulated CPU time (s) 733.22
Current children cumulated vsize (Kb) 216104

[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 104129 0 0 0 73216 1089 0 0 25 0 1 0 21340892 221487104 47873 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54074 47873 364 364 0 53710 0
[pid=8038] vsize: 216296
Current children cumulated CPU time (s) 743.05
Current children cumulated vsize (Kb) 216296

[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 104185 0 0 0 74137 1115 0 0 25 0 1 0 21340892 221683712 47929 4294967295 134512640 135987407 3221224576 3221223264 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54122 47929 364 364 0 53758 0
[pid=8038] vsize: 216488
Current children cumulated CPU time (s) 752.52
Current children cumulated vsize (Kb) 216488

[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 104231 0 0 0 75098 1129 0 0 25 0 1 0 21340892 221847552 47975 4294967295 134512640 135987407 3221224576 3221223264 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54162 47975 364 364 0 53798 0
[pid=8038] vsize: 216648
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (Kb) 216648

[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8038
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 104248 0 0 0 76067 1141 0 0 25 0 1 0 21340892 222044160 47992 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54210 47992 364 364 0 53846 0
[pid=8038] vsize: 216840
Current children cumulated CPU time (s) 772.08
Current children cumulated vsize (Kb) 216840

[startup+800.028 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 8093
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 105177 0 0 0 77032 1156 0 0 25 0 1 0 21340892 222044160 48009 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54210 48009 364 364 0 53846 0
[pid=8038] vsize: 216840
Current children cumulated CPU time (s) 781.88
Current children cumulated vsize (Kb) 216840

[startup+810.028 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 8093
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 105211 0 0 0 78002 1167 0 0 25 0 1 0 21340892 222240768 48043 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 54258 48043 364 364 0 53894 0
[pid=8038] vsize: 217032
Current children cumulated CPU time (s) 791.69
Current children cumulated vsize (Kb) 217032

[startup+820.029 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 8093
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 106131 0 0 0 78975 1178 0 0 25 0 1 0 21340892 222240768 48051 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54258 48051 364 364 0 53894 0
[pid=8038] vsize: 217032
Current children cumulated CPU time (s) 801.53
Current children cumulated vsize (Kb) 217032

[startup+830.028 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 8093
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 106136 0 0 0 79942 1189 0 0 25 0 1 0 21340892 222240768 48056 4294967295 134512640 135987407 3221224576 3221223360 134812371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54258 48056 364 364 0 53894 0
[pid=8038] vsize: 217032
Current children cumulated CPU time (s) 811.31
Current children cumulated vsize (Kb) 217032

[startup+840.029 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 8093
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 107109 0 0 0 80917 1200 0 0 25 0 1 0 21340892 222437376 48117 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54306 48117 364 364 0 53942 0
[pid=8038] vsize: 217224
Current children cumulated CPU time (s) 821.17
Current children cumulated vsize (Kb) 217224

[startup+850.03 s]
Raw data (loadavg): 1.03 1.01 0.95 1/55 8095
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 107122 0 0 0 81884 1212 0 0 25 0 1 0 21340892 222633984 48130 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54354 48130 364 364 0 53990 0
[pid=8038] vsize: 217416
Current children cumulated CPU time (s) 830.96
Current children cumulated vsize (Kb) 217416

[startup+860.03 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 8095
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 108057 0 0 0 82854 1224 0 0 25 0 1 0 21340892 222633984 48153 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 54354 48153 364 364 0 53990 0
[pid=8038] vsize: 217416
Current children cumulated CPU time (s) 840.78
Current children cumulated vsize (Kb) 217416

[startup+870.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 8097
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 108132 0 0 0 83821 1235 0 0 25 0 1 0 21340892 223100928 48228 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 54468 48228 364 364 0 54104 0
[pid=8038] vsize: 217872
Current children cumulated CPU time (s) 850.56
Current children cumulated vsize (Kb) 217872

[startup+880.031 s]
Raw data (loadavg): 1.02 1.01 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 109209 0 0 0 84772 1254 0 0 23 0 1 0 21340892 224182272 48393 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54732 48393 364 364 0 54368 0
[pid=8038] vsize: 218928
Current children cumulated CPU time (s) 860.26
Current children cumulated vsize (Kb) 218928

[startup+890.032 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 109276 0 0 0 85737 1267 0 0 25 0 1 0 21340892 224317440 48460 4294967295 134512640 135987407 3221224576 3221223136 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54765 48460 364 364 0 54401 0
[pid=8038] vsize: 219060
Current children cumulated CPU time (s) 870.04
Current children cumulated vsize (Kb) 219060

[startup+900.032 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 109313 0 0 0 86712 1278 0 0 25 0 1 0 21340892 224452608 48497 4294967295 134512640 135987407 3221224576 3221223216 134789455 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54798 48497 364 364 0 54434 0
[pid=8038] vsize: 219192
Current children cumulated CPU time (s) 879.9
Current children cumulated vsize (Kb) 219192

[startup+910.032 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 110232 0 0 0 87682 1289 0 0 25 0 1 0 21340892 224452608 48504 4294967295 134512640 135987407 3221224576 3221223424 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54798 48504 364 364 0 54434 0
[pid=8038] vsize: 219192
Current children cumulated CPU time (s) 889.71
Current children cumulated vsize (Kb) 219192

[startup+920.032 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 110240 0 0 0 88650 1301 0 0 25 0 1 0 21340892 224452608 48512 4294967295 134512640 135987407 3221224576 3221223296 134814412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 54798 48512 364 364 0 54434 0
[pid=8038] vsize: 219192
Current children cumulated CPU time (s) 899.51
Current children cumulated vsize (Kb) 219192

[startup+930.032 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 111156 0 0 0 89617 1313 0 0 25 0 1 0 21340892 224452608 48516 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54798 48516 364 364 0 54434 0
[pid=8038] vsize: 219192
Current children cumulated CPU time (s) 909.3
Current children cumulated vsize (Kb) 219192

[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 111162 0 0 0 90585 1325 0 0 25 0 1 0 21340892 224452608 48522 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54798 48522 364 364 0 54434 0
[pid=8038] vsize: 219192
Current children cumulated CPU time (s) 919.1
Current children cumulated vsize (Kb) 219192

[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112108 0 0 0 91560 1334 0 0 25 0 1 0 21340892 224587776 48556 4294967295 134512640 135987407 3221224576 3221223424 134790016 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54831 48556 364 364 0 54467 0
[pid=8038] vsize: 219324
Current children cumulated CPU time (s) 928.94
Current children cumulated vsize (Kb) 219324

[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112148 0 0 0 92520 1347 0 0 25 0 1 0 21340892 224784384 48596 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54879 48596 364 364 0 54515 0
[pid=8038] vsize: 219516
Current children cumulated CPU time (s) 938.67
Current children cumulated vsize (Kb) 219516

[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112149 0 0 0 93489 1357 0 0 25 0 1 0 21340892 224784384 48597 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54879 48597 364 364 0 54515 0
[pid=8038] vsize: 219516
Current children cumulated CPU time (s) 948.46
Current children cumulated vsize (Kb) 219516

[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113065 0 0 0 94461 1367 0 0 25 0 1 0 21340892 224784384 48601 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54879 48601 364 364 0 54515 0
[pid=8038] vsize: 219516
Current children cumulated CPU time (s) 958.28
Current children cumulated vsize (Kb) 219516

[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113070 0 0 0 95427 1380 0 0 25 0 1 0 21340892 224784384 48606 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54879 48606 364 364 0 54515 0
[pid=8038] vsize: 219516
Current children cumulated CPU time (s) 968.07
Current children cumulated vsize (Kb) 219516

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113991 0 0 0 96395 1393 0 0 25 0 1 0 21340892 228519936 49527 4294967295 134512640 135987407 3221224576 3221222936 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55791 49527 364 364 0 55427 0
[pid=8038] vsize: 223164
Current children cumulated CPU time (s) 977.88
Current children cumulated vsize (Kb) 223164

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113996 0 0 0 97358 1406 0 0 25 0 1 0 21340892 224784384 48620 4294967295 134512640 135987407 3221224576 3221223424 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54879 48620 364 364 0 54515 0
[pid=8038] vsize: 219516
Current children cumulated CPU time (s) 987.64
Current children cumulated vsize (Kb) 219516

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 114918 0 0 0 98324 1418 0 0 25 0 1 0 21340892 228519936 49542 4294967295 134512640 135987407 3221224576 3221222960 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55791 49542 364 364 0 55427 0
[pid=8038] vsize: 223164
Current children cumulated CPU time (s) 997.42
Current children cumulated vsize (Kb) 223164

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 114999 0 0 0 99278 1435 0 0 25 0 1 0 21340892 225189888 48711 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 54978 48711 364 364 0 54614 0
[pid=8038] vsize: 219912
Current children cumulated CPU time (s) 1007.13
Current children cumulated vsize (Kb) 219912

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 115030 0 0 0 100243 1446 0 0 25 0 1 0 21340892 225325056 48742 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48742 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1016.89
Current children cumulated vsize (Kb) 220044

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 115949 0 0 0 101211 1460 0 0 25 0 1 0 21340892 225325056 48749 4294967295 134512640 135987407 3221224576 3221223424 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55011 48749 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1026.71
Current children cumulated vsize (Kb) 220044

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 115959 0 0 0 102175 1471 0 0 25 0 1 0 21340892 225325056 48759 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55011 48759 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1036.46
Current children cumulated vsize (Kb) 220044

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 116876 0 0 0 103136 1485 0 0 25 0 1 0 21340892 225325056 48764 4294967295 134512640 135987407 3221224576 3221223396 135479954 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48764 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1046.21
Current children cumulated vsize (Kb) 220044

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 116879 0 0 0 104098 1497 0 0 25 0 1 0 21340892 225325056 48767 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48767 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1055.95
Current children cumulated vsize (Kb) 220044

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 117793 0 0 0 105064 1512 0 0 25 0 1 0 21340892 225325056 48769 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48769 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1065.76
Current children cumulated vsize (Kb) 220044

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 117799 0 0 0 106028 1524 0 0 25 0 1 0 21340892 225325056 48775 4294967295 134512640 135987407 3221224576 3221223216 134789444 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55011 48775 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1075.52
Current children cumulated vsize (Kb) 220044

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 118713 0 0 0 106995 1537 0 0 25 0 1 0 21340892 225325056 48777 4294967295 134512640 135987407 3221224576 3221223264 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55011 48777 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1085.32
Current children cumulated vsize (Kb) 220044

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 119628 0 0 0 107953 1554 0 0 25 0 1 0 21340892 225325056 48780 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48780 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1095.07
Current children cumulated vsize (Kb) 220044

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 119630 0 0 0 108921 1564 0 0 25 0 1 0 21340892 225325056 48782 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48782 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1104.85
Current children cumulated vsize (Kb) 220044

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 120547 0 0 0 109892 1576 0 0 25 0 1 0 21340892 225325056 48787 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48787 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1114.68
Current children cumulated vsize (Kb) 220044

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 120549 0 0 0 110852 1588 0 0 25 0 1 0 21340892 225325056 48789 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55011 48789 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1124.4
Current children cumulated vsize (Kb) 220044

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8099
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 121464 0 0 0 111826 1599 0 0 25 0 1 0 21340892 225325056 48792 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8038/statm): 55011 48792 364 364 0 54647 0
[pid=8038] vsize: 220044
Current children cumulated CPU time (s) 1134.25
Current children cumulated vsize (Kb) 220044

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 121490 0 0 0 112790 1611 0 0 25 0 1 0 21340892 225460224 48818 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55044 48818 364 364 0 54680 0
[pid=8038] vsize: 220176
Current children cumulated CPU time (s) 1144.01
Current children cumulated vsize (Kb) 220176

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 122408 0 0 0 113757 1624 0 0 25 0 1 0 21340892 225460224 48824 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55044 48824 364 364 0 54680 0
[pid=8038] vsize: 220176
Current children cumulated CPU time (s) 1153.81
Current children cumulated vsize (Kb) 220176

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 122416 0 0 0 114725 1635 0 0 25 0 1 0 21340892 225460224 48832 4294967295 134512640 135987407 3221224576 3221223440 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55044 48832 364 364 0 54680 0
[pid=8038] vsize: 220176
Current children cumulated CPU time (s) 1163.6
Current children cumulated vsize (Kb) 220176

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 123335 0 0 0 115695 1646 0 0 25 0 1 0 21340892 225460224 48839 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55044 48839 364 364 0 54680 0
[pid=8038] vsize: 220176
Current children cumulated CPU time (s) 1173.41
Current children cumulated vsize (Kb) 220176

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 124257 0 0 0 116660 1659 0 0 25 0 1 0 21340892 229195776 49761 4294967295 134512640 135987407 3221224576 3221222936 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55956 49761 364 364 0 55592 0
[pid=8038] vsize: 223824
Current children cumulated CPU time (s) 1183.19
Current children cumulated vsize (Kb) 223824

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 124266 0 0 0 117624 1671 0 0 25 0 1 0 21340892 225460224 48858 4294967295 134512640 135987407 3221224576 3221223392 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55044 48858 364 364 0 54680 0
[pid=8038] vsize: 220176
Current children cumulated CPU time (s) 1192.95
Current children cumulated vsize (Kb) 220176

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 125207 0 0 0 118589 1685 0 0 25 0 1 0 21340892 225726464 48887 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55109 48887 364 364 0 54745 0
[pid=8038] vsize: 220436
Current children cumulated CPU time (s) 1202.74
Current children cumulated vsize (Kb) 220436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8101
Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 125207 0 0 0 118589 1685 0 0 25 0 1 0 21340892 225726464 48887 4294967295 134512640 135987407 3221224576 3221223264 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8038/statm): 55109 48887 364 364 0 54745 0
[pid=8038] vsize: 220436
Current children cumulated CPU time (s) 1202.74
Current children cumulated vsize (Kb) 220436

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

Child status: 0
Real time (s): 1230.85
CPU time (s): 1203.55
CPU user time (s): 1186.59
CPU system time (s): 16.9554
CPU usage (%): 97.7819
Max. virtual memory (cumulated for all children) (Kb): 223824

Verifier Data

ERROR: no interpretation found !