Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
MD5SUM3d8e7805538589672f96799acf97ae3f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10237643
Optimality of the best value was proved NO
Number of terms in the objective function 7936
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1558042522197
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1558042522197
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.32
Number of variables7936
Total number of constraints288
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint31
Maximum length of a constraint480

Trace number 10202

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 17:17:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8904 boxname=wulflinc15 idbench=700 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d8e7805538589672f96799acf97ae3f  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb
IDLAUNCH: 8904
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        896624 kB
Buffers:          4264 kB
Cached:         113580 kB
SwapCached:          0 kB
Active:          18576 kB
Inactive:       102192 kB
HighTotal:      131008 kB
HighFree:        81452 kB
LowTotal:       903652 kB
LowFree:        815172 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11620 kB
Committed_AS:    63632 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:38:50 (client local time) WITH STATUS 0 IN 1203.91 SECONDS
stats: 8904 7 1203.91 0

Solver Data

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

c Decision: 27578/265268	Time: 31.8122/86400
c Decision: 27578/265268	Time: 43.4434/86400
c Decision: 27578/265268	Time: 51.8061/86400
c Decision: 27578/265268	Time: 61.2507/86400
c Decision: 27578/265268	Time: 67.5167/86400
c Decision: 27578/265268	Time: 74.3457/86400
c Decision: 27578/265268	Time: 83.2843/86400
c Decision: 27578/265268	Time: 87.9466/86400
c Decision: 27578/265268	Time: 96.6923/86400
c Decision: 27578/265268	Time: 102.889/86400
c Decision: 27578/265268	Time: 112.011/86400
c Decision: 27578/265268	Time: 120.769/86400
c Decision: 27578/265268	Time: 127.863/86400
c Decision: 27578/265268	Time: 135.459/86400
c Decision: 27578/265268	Time: 142.962/86400
c Decision: 27578/265268	Time: 152.393/86400
c Decision: 27578/265268	Time: 160.498/86400
c Decision: 27578/265268	Time: 168.172/86400
c Decision: 27578/265268	Time: 176.015/86400
c Decision: 27578/265268	Time: 183.856/86400
c Decision: 27578/265268	Time: 193.152/86400
c Decision: 27578/265268	Time: 201.763/86400
c Decision: 27578/265268	Time: 209.59/86400
c Decision: 27578/265268	Time: 216.837/86400
c Decision: 27578/265268	Time: 223.792/86400
c Decision: 27578/265268	Time: 232.631/86400
c Decision: 27578/265268	Time: 241.223/86400
c Decision: 27578/265268	Time: 249.176/86400
c Decision: 27578/265268	Time: 257.839/86400
c Decision: 27578/265268	Time: 265.021/86400
c Decision: 27578/265268	Time: 273.148/86400
c Decision: 27578/265268	Time: 281.108/86400
c Decision: 27578/265268	Time: 289.51/86400
c Decision: 27578/265268	Time: 297.492/86400
c Decision: 27578/265268	Time: 306.633/86400
c Decision: 27578/265268	Time: 315.291/86400
c Decision: 27578/265268	Time: 323.416/86400
c Decision: 27578/265268	Time: 329.754/86400
c Decision: 27578/265268	Time: 336.447/86400
c Decision: 27578/265268	Time: 343.639/86400
c Decision: 27578/265268	Time: 351.01/86400
c Decision: 27578/265268	Time: 357.943/86400
c Decision: 27578/265268	Time: 364.514/86400
c Decision: 27578/265268	Time: 373.56/86400
c Decision: 27578/265268	Time: 381.802/86400
c Decision: 27578/265268	Time: 389.845/86400
c Decision: 27578/265268	Time: 396.596/86400
c Decision: 27578/265268	Time: 404.02/86400
c Decision: 27578/265268	Time: 411.418/86400
c Decision: 27578/265268	Time: 419.021/86400
c Decision: 27578/265268	Time: 427.551/86400
c Decision: 27578/265268	Time: 434.892/86400
c Decision: 27578/265268	Time: 442.936/86400
c Decision: 27578/265268	Time: 450.015/86400
c Decision: 27578/265268	Time: 457.249/86400
c Decision: 27578/265268	Time: 467.003/86400
c Decision: 27578/265268	Time: 474.333/86400
c Decision: 27578/265268	Time: 481.891/86400
c Decision: 27578/265268	Time: 489.426/86400
c Decision: 27578/265268	Time: 497.105/86400
c Decision: 27578/265268	Time: 505.336/86400
c Decision: 27578/265268	Time: 512.515/86400
c Decision: 27578/265268	Time: 519.662/86400
c Decision: 27578/265268	Time: 526.93/86400
c Decision: 27578/265268	Time: 535.374/86400
c Decision: 27578/265268	Time: 544.998/86400
c Decision: 27578/265268	Time: 553.169/86400
c Decision: 27578/265268	Time: 561.591/86400
c Decision: 27578/265268	Time: 570.38/86400
c Decision: 27578/265268	Time: 578.424/86400
c Decision: 27578/265268	Time: 587.054/86400
c Decision: 27578/265268	Time: 595.489/86400
c Decision: 27578/265268	Time: 603.451/86400
c Decision: 27578/265268	Time: 610.806/86400
c Decision: 27578/265268	Time: 617.876/86400
c Decision: 27578/265268	Time: 626.157/86400
c Decision: 27578/265268	Time: 633.45/86400
c Decision: 27578/265268	Time: 640.224/86400
c Decision: 27578/265268	Time: 647.877/86400
c Decision: 27578/265268	Time: 655.501/86400
c Decision: 27578/265268	Time: 664.971/86400
c Decision: 27578/265268	Time: 672.772/86400
c Decision: 27578/265268	Time: 679.52/86400
c Decision: 27578/265268	Time: 685.563/86400
c Decision: 27578/265268	Time: 690.573/86400
c Decision: 27578/265268	Time: 699.409/86400
c Decision: 27578/265268	Time: 708.629/86400
c Decision: 27578/265268	Time: 716.91/86400
c Decision: 27578/265268	Time: 723.402/86400
c Decision: 27578/265268	Time: 730.941/86400
c Decision: 27578/265268	Time: 739.453/86400
c Decision: 27578/265268	Time: 745.686/86400
c Decision: 27578/265268	Time: 753.274/86400
c Decision: 27578/265268	Time: 760.255/86400
c Decision: 27578/265268	Time: 767.555/86400
c Decision: 27578/265268	Time: 776.589/86400
c Decision: 27578/265268	Time: 784.618/86400
c Decision: 27578/265268	Time: 791.912/86400
c Decision: 27578/265268	Time: 800.459/86400
c Decision: 27578/265268	Time: 807.964/86400
c Decision: 27578/265268	Time: 816.024/86400
c Decision: 27578/265268	Time: 823.082/86400
c Decision: 27578/265268	Time: 830.913/86400
c Decision: 27578/265268	Time: 838.676/86400
c Decision: 27578/265268	Time: 846.645/86400
c Decision: 27578/265268	Time: 855.214/86400
c Decision: 27578/265268	Time: 862.322/86400
c Decision: 27578/265268	Time: 870.823/86400
c Decision: 27578/265268	Time: 879.666/86400
c Decision: 27578/265268	Time: 887.7/86400
c Decision: 27578/265268	Time: 897.277/86400
c Decision: 27578/265268	Time: 905.429/86400
c Decision: 27578/265268	Time: 913.785/86400
c Decision: 27578/265268	Time: 921.292/86400
c Decision: 27578/265268	Time: 928.813/86400
c Decision: 27578/265268	Time: 937.357/86400
c Decision: 27578/265268	Time: 945.283/86400
c Decision: 27578/265268	Time: 951.006/86400
c Decision: 27578/265268	Time: 958.883/86400
c Decision: 27578/265268	Time: 965.949/86400
c Decision: 27578/265268	Time: 973.976/86400
c Decision: 27578/265268	Time: 982.467/86400
c Decision: 27578/265268	Time: 990.3/86400
c Decision: 27578/265268	Time: 998.714/86400
c Decision: 27578/265268	Time: 1006.35/86400
c Decision: 27578/265268	Time: 1015.27/86400
c Decision: 27578/265268	Time: 1022.61/86400
c Decision: 27578/265268	Time: 1030.37/86400
c Decision: 27578/265268	Time: 1037.53/86400
c Decision: 27578/265268	Time: 1045.14/86400
c Decision: 27578/265268	Time: 1053.67/86400
c Decision: 27578/265268	Time: 1061.92/86400
c Decision: 27578/265268	Time: 1070.52/86400
c Decision: 27578/265268	Time: 1079.38/86400
c Decision: 27578/265268	Time: 1087.35/86400
c Decision: 27578/265268	Time: 1096.71/86400
c Decision: 27578/265268	Time: 1104.75/86400
c Decision: 27578/265268	Time: 1112.81/86400
c Decision: 27578/265268	Time: 1121.14/86400
c Decision: 27578/265268	Time: 1128.69/86400
c Decision: 27578/265268	Time: 1138.74/86400
c Decision: 27578/265268	Time: 1147.14/86400
c Decision: 27578/265268	Time: 1155.81/86400
c Decision: 27578/265268	Time: 1163.57/86400
c Decision: 27578/265268	Time: 1172.42/86400
c Decision: 27578/265268	Time: 1181.1/86400
c Decision: 27578/265268	Time: 1189.39/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/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21923043 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 373 2 364 364 0 9 0
[pid=8002] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ran16x16.opb

[startup+10.0022 s]
Raw data (loadavg): 0.87 0.96 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 27124 0 0 0 928 69 0 0 25 0 1 0 21923043 80412672 15979 4294967295 134512640 135987407 3221224560 3221122208 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 19632 15979 364 364 0 19268 0
[pid=8002] vsize: 78528
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78528

[startup+20.003 s]
Raw data (loadavg): 0.89 0.96 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 39824 0 0 0 1869 108 0 0 25 0 1 0 21923043 119590912 23250 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 29197 23250 364 364 0 28833 0
[pid=8002] vsize: 116788
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 116788

[startup+30.0038 s]
Raw data (loadavg): 0.90 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 40012 0 0 0 2839 119 0 0 25 0 1 0 21923043 120037376 23438 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 29306 23438 364 364 0 28942 0
[pid=8002] vsize: 117224
Current children cumulated CPU time (s) 29.58
Current children cumulated vsize (Kb) 117224

[startup+40.0047 s]
Raw data (loadavg): 0.92 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 40181 0 0 0 3815 128 0 0 25 0 1 0 21923043 120348672 23607 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 29382 23607 364 364 0 29018 0
[pid=8002] vsize: 117528
Current children cumulated CPU time (s) 39.43
Current children cumulated vsize (Kb) 117528

[startup+50.0054 s]
Raw data (loadavg): 0.93 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 41309 0 0 0 4757 150 0 0 25 0 1 0 21923043 122798080 24216 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 29980 24216 364 364 0 29616 0
[pid=8002] vsize: 119920
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (Kb) 119920

[startup+60.0063 s]
Raw data (loadavg): 0.94 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 42740 0 0 0 5698 175 0 0 25 0 1 0 21923043 127062016 25128 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 31021 25128 364 364 0 30657 0
[pid=8002] vsize: 124084
Current children cumulated CPU time (s) 58.73
Current children cumulated vsize (Kb) 124084

[startup+70.0061 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 43135 0 0 0 6640 195 0 0 25 0 1 0 21923043 128708608 25523 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 31423 25523 364 364 0 31059 0
[pid=8002] vsize: 125692
Current children cumulated CPU time (s) 68.35
Current children cumulated vsize (Kb) 125692

[startup+80.0069 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 43912 0 0 0 7592 213 0 0 25 0 1 0 21923043 129765376 25781 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 31681 25781 364 364 0 31317 0
[pid=8002] vsize: 126724
Current children cumulated CPU time (s) 78.05
Current children cumulated vsize (Kb) 126724

[startup+90.0078 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45071 0 0 0 8551 227 0 0 18 0 1 0 21923043 130244608 25902 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 31798 25902 364 364 0 31434 0
[pid=8002] vsize: 127192
Current children cumulated CPU time (s) 87.78
Current children cumulated vsize (Kb) 127192

[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45719 0 0 0 9492 248 0 0 25 0 1 0 21923043 130850816 26031 4294967295 134512640 135987407 3221224560 3221223136 134801612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 31946 26031 364 364 0 31582 0
[pid=8002] vsize: 127784
Current children cumulated CPU time (s) 97.4
Current children cumulated vsize (Kb) 127784

[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 45770 0 0 0 10436 267 0 0 25 0 1 0 21923043 131194880 26082 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32030 26082 364 364 0 31666 0
[pid=8002] vsize: 128120
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (Kb) 128120

[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 46882 0 0 0 11391 284 0 0 25 0 1 0 21923043 131522560 26156 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32110 26156 364 364 0 31746 0
[pid=8002] vsize: 128440
Current children cumulated CPU time (s) 116.75
Current children cumulated vsize (Kb) 128440

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 47489 0 0 0 12330 304 0 0 19 0 1 0 21923043 131883008 26244 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32198 26244 364 364 0 31834 0
[pid=8002] vsize: 128792
Current children cumulated CPU time (s) 126.34
Current children cumulated vsize (Kb) 128792

[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 48020 0 0 0 13262 326 0 0 25 0 1 0 21923043 132046848 26256 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32238 26256 364 364 0 31874 0
[pid=8002] vsize: 128952
Current children cumulated CPU time (s) 135.88
Current children cumulated vsize (Kb) 128952

[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 48585 0 0 0 14188 353 0 0 25 0 1 0 21923043 132210688 26302 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 32278 26302 364 364 0 31914 0
[pid=8002] vsize: 129112
Current children cumulated CPU time (s) 145.41
Current children cumulated vsize (Kb) 129112

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 49490 0 0 0 15120 375 0 0 25 0 1 0 21923043 134668288 26688 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32878 26688 364 364 0 32514 0
[pid=8002] vsize: 131512
Current children cumulated CPU time (s) 154.95
Current children cumulated vsize (Kb) 131512

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 50337 0 0 0 16054 398 0 0 25 0 1 0 21923043 133132288 26497 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32503 26497 364 364 0 32139 0
[pid=8002] vsize: 130012
Current children cumulated CPU time (s) 164.52
Current children cumulated vsize (Kb) 130012

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 50933 0 0 0 16980 421 0 0 22 0 1 0 21923043 133525504 26574 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 32599 26574 364 364 0 32235 0
[pid=8002] vsize: 130396
Current children cumulated CPU time (s) 174.01
Current children cumulated vsize (Kb) 130396

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 51457 0 0 0 17903 449 0 0 25 0 1 0 21923043 133525504 26579 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32599 26579 364 364 0 32235 0
[pid=8002] vsize: 130396
Current children cumulated CPU time (s) 183.52
Current children cumulated vsize (Kb) 130396

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 51994 0 0 0 18821 479 0 0 25 0 1 0 21923043 133525504 26597 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32599 26597 364 364 0 32235 0
[pid=8002] vsize: 130396
Current children cumulated CPU time (s) 193
Current children cumulated vsize (Kb) 130396

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 52639 0 0 0 19744 507 0 0 25 0 1 0 21923043 134115328 26723 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32743 26723 364 364 0 32379 0
[pid=8002] vsize: 130972
Current children cumulated CPU time (s) 202.51
Current children cumulated vsize (Kb) 130972

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 53168 0 0 0 20668 535 0 0 25 0 1 0 21923043 134279168 26733 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32783 26733 364 364 0 32419 0
[pid=8002] vsize: 131132
Current children cumulated CPU time (s) 212.03
Current children cumulated vsize (Kb) 131132

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 53713 0 0 0 21584 565 0 0 25 0 1 0 21923043 134279168 26759 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32783 26759 364 364 0 32419 0
[pid=8002] vsize: 131132
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (Kb) 131132

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 54773 0 0 0 22503 593 0 0 25 0 1 0 21923043 134443008 26781 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 32823 26781 364 364 0 32459 0
[pid=8002] vsize: 131292
Current children cumulated CPU time (s) 230.96
Current children cumulated vsize (Kb) 131292

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 55387 0 0 0 23418 626 0 0 25 0 1 0 21923043 134836224 26876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32919 26876 364 364 0 32555 0
[pid=8002] vsize: 131676
Current children cumulated CPU time (s) 240.44
Current children cumulated vsize (Kb) 131676

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 55976 0 0 0 24347 650 0 0 25 0 1 0 21923043 135032832 26946 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 32967 26946 364 364 0 32603 0
[pid=8002] vsize: 131868
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 131868

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 56574 0 0 0 25261 678 0 0 25 0 1 0 21923043 135426048 27025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33063 27025 364 364 0 32699 0
[pid=8002] vsize: 132252
Current children cumulated CPU time (s) 259.39
Current children cumulated vsize (Kb) 132252

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 57221 0 0 0 26187 704 0 0 25 0 1 0 21923043 136015872 27153 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33207 27153 364 364 0 32843 0
[pid=8002] vsize: 132828
Current children cumulated CPU time (s) 268.91
Current children cumulated vsize (Kb) 132828

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 58288 0 0 0 27118 728 0 0 25 0 1 0 21923043 136212480 27182 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33255 27182 364 364 0 32891 0
[pid=8002] vsize: 133020
Current children cumulated CPU time (s) 278.46
Current children cumulated vsize (Kb) 133020

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 58818 0 0 0 28048 754 0 0 17 0 1 0 21923043 136212480 27193 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33255 27193 364 364 0 32891 0
[pid=8002] vsize: 133020
Current children cumulated CPU time (s) 288.02
Current children cumulated vsize (Kb) 133020

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 59360 0 0 0 28961 784 0 0 21 0 1 0 21923043 136212480 27216 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33255 27216 364 364 0 32891 0
[pid=8002] vsize: 133020
Current children cumulated CPU time (s) 297.45
Current children cumulated vsize (Kb) 133020

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 59956 0 0 0 29876 815 0 0 17 0 1 0 21923043 136544256 27293 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33336 27293 364 364 0 32972 0
[pid=8002] vsize: 133344
Current children cumulated CPU time (s) 306.91
Current children cumulated vsize (Kb) 133344

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 60685 0 0 0 30797 842 0 0 25 0 1 0 21923043 137527296 27503 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33576 27503 364 364 0 33212 0
[pid=8002] vsize: 134304
Current children cumulated CPU time (s) 316.39
Current children cumulated vsize (Kb) 134304

[startup+340.02 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 61231 0 0 0 31715 868 0 0 25 0 1 0 21923043 137527296 27530 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33576 27530 364 364 0 33212 0
[pid=8002] vsize: 134304
Current children cumulated CPU time (s) 325.83
Current children cumulated vsize (Kb) 134304

[startup+350.02 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 61755 0 0 0 32641 892 0 0 25 0 1 0 21923043 137527296 27535 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33576 27535 364 364 0 33212 0
[pid=8002] vsize: 134304
Current children cumulated CPU time (s) 335.33
Current children cumulated vsize (Kb) 134304

[startup+360.021 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 62843 0 0 0 33570 916 0 0 25 0 1 0 21923043 137723904 27585 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33624 27585 364 364 0 33260 0
[pid=8002] vsize: 134496
Current children cumulated CPU time (s) 344.86
Current children cumulated vsize (Kb) 134496

[startup+370.021 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 63397 0 0 0 34493 944 0 0 23 0 1 0 21923043 137920512 27620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33672 27620 364 364 0 33308 0
[pid=8002] vsize: 134688
Current children cumulated CPU time (s) 354.37
Current children cumulated vsize (Kb) 134688

[startup+380.022 s]
Raw data (loadavg): 1.04 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 64450 0 0 0 35426 967 0 0 25 0 1 0 21923043 137920512 27635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33672 27635 364 364 0 33308 0
[pid=8002] vsize: 134688
Current children cumulated CPU time (s) 363.93
Current children cumulated vsize (Kb) 134688

[startup+390.023 s]
Raw data (loadavg): 1.03 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 64998 0 0 0 36351 993 0 0 25 0 1 0 21923043 137920512 27664 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33672 27664 364 364 0 33308 0
[pid=8002] vsize: 134688
Current children cumulated CPU time (s) 373.44
Current children cumulated vsize (Kb) 134688

[startup+400.024 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 65633 0 0 0 37276 1018 0 0 24 0 1 0 21923043 138510336 27780 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33816 27780 364 364 0 33452 0
[pid=8002] vsize: 135264
Current children cumulated CPU time (s) 382.94
Current children cumulated vsize (Kb) 135264

[startup+410.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 66188 0 0 0 38187 1051 0 0 18 0 1 0 21923043 138706944 27816 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33864 27816 364 364 0 33500 0
[pid=8002] vsize: 135456
Current children cumulated CPU time (s) 392.38
Current children cumulated vsize (Kb) 135456

[startup+420.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 67279 0 0 0 39121 1075 0 0 25 0 1 0 21923043 138903552 27869 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33912 27869 364 364 0 33548 0
[pid=8002] vsize: 135648
Current children cumulated CPU time (s) 401.96
Current children cumulated vsize (Kb) 135648

[startup+430.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 67809 0 0 0 40040 1102 0 0 20 0 1 0 21923043 138903552 27880 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33912 27880 364 364 0 33548 0
[pid=8002] vsize: 135648
Current children cumulated CPU time (s) 411.42
Current children cumulated vsize (Kb) 135648

[startup+440.026 s]
Raw data (loadavg): 1.01 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 68359 0 0 0 40954 1134 0 0 22 0 1 0 21923043 138903552 27911 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33912 27911 364 364 0 33548 0
[pid=8002] vsize: 135648
Current children cumulated CPU time (s) 420.88
Current children cumulated vsize (Kb) 135648

[startup+450.025 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 68910 0 0 0 41870 1162 0 0 25 0 1 0 21923043 138903552 27943 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33912 27943 364 364 0 33548 0
[pid=8002] vsize: 135648
Current children cumulated CPU time (s) 430.32
Current children cumulated vsize (Kb) 135648

[startup+460.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 69971 0 0 0 42802 1184 0 0 25 0 1 0 21923043 139100160 27966 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33960 27966 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 439.86
Current children cumulated vsize (Kb) 135840

[startup+470.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 70500 0 0 0 43737 1207 0 0 25 0 1 0 21923043 139100160 27976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33960 27976 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 449.44
Current children cumulated vsize (Kb) 135840

[startup+480.028 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 71033 0 0 0 44669 1229 0 0 25 0 1 0 21923043 139100160 27990 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33960 27990 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 458.98
Current children cumulated vsize (Kb) 135840

[startup+490.028 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 71576 0 0 0 45593 1254 0 0 24 0 1 0 21923043 139100160 28014 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33960 28014 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 468.47
Current children cumulated vsize (Kb) 135840

[startup+500.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 72132 0 0 0 46520 1280 0 0 25 0 1 0 21923043 139100160 28051 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 33960 28051 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 478
Current children cumulated vsize (Kb) 135840

[startup+510.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 73177 0 0 0 47455 1304 0 0 25 0 1 0 21923043 139100160 28058 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 33960 28058 364 364 0 33596 0
[pid=8002] vsize: 135840
Current children cumulated CPU time (s) 487.59
Current children cumulated vsize (Kb) 135840

[startup+520.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 73719 0 0 0 48372 1332 0 0 25 0 1 0 21923043 139296768 28081 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34008 28081 364 364 0 33644 0
[pid=8002] vsize: 136032
Current children cumulated CPU time (s) 497.04
Current children cumulated vsize (Kb) 136032

[startup+530.03 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 74291 0 0 0 49290 1358 0 0 24 0 1 0 21923043 139493376 28134 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34056 28134 364 364 0 33692 0
[pid=8002] vsize: 136224
Current children cumulated CPU time (s) 506.48
Current children cumulated vsize (Kb) 136224

[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 74840 0 0 0 50221 1383 0 0 25 0 1 0 21923043 139493376 28164 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34056 28164 364 364 0 33692 0
[pid=8002] vsize: 136224
Current children cumulated CPU time (s) 516.04
Current children cumulated vsize (Kb) 136224

[startup+550.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 75888 0 0 0 51148 1408 0 0 17 0 1 0 21923043 139493376 28174 4294967295 134512640 135987407 3221224560 3221223168 135293405 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34056 28174 364 364 0 33692 0
[pid=8002] vsize: 136224
Current children cumulated CPU time (s) 525.56
Current children cumulated vsize (Kb) 136224

[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 76421 0 0 0 52064 1438 0 0 25 0 1 0 21923043 139493376 28188 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34056 28188 364 364 0 33692 0
[pid=8002] vsize: 136224
Current children cumulated CPU time (s) 535.02
Current children cumulated vsize (Kb) 136224

[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 76954 0 0 0 52990 1463 0 0 25 0 1 0 21923043 139493376 28202 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34056 28202 364 364 0 33692 0
[pid=8002] vsize: 136224
Current children cumulated CPU time (s) 544.53
Current children cumulated vsize (Kb) 136224

[startup+580.033 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 77529 0 0 0 53910 1491 0 0 25 0 1 0 21923043 139776000 28258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34125 28258 364 364 0 33761 0
[pid=8002] vsize: 136500
Current children cumulated CPU time (s) 554.01
Current children cumulated vsize (Kb) 136500

[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 78088 0 0 0 54840 1515 0 0 22 0 1 0 21923043 139939840 28298 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34165 28298 364 364 0 33801 0
[pid=8002] vsize: 136660
Current children cumulated CPU time (s) 563.55
Current children cumulated vsize (Kb) 136660

[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 78681 0 0 0 55773 1538 0 0 17 0 1 0 21923043 140271616 28372 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34246 28372 364 364 0 33882 0
[pid=8002] vsize: 136984
Current children cumulated CPU time (s) 573.11
Current children cumulated vsize (Kb) 136984

[startup+610.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 79742 0 0 0 56701 1564 0 0 25 0 1 0 21923043 142397440 28914 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34765 28914 364 364 0 34401 0
[pid=8002] vsize: 139060
Current children cumulated CPU time (s) 582.65
Current children cumulated vsize (Kb) 139060

[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 80275 0 0 0 57626 1588 0 0 25 0 1 0 21923043 140271616 28409 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34246 28409 364 364 0 33882 0
[pid=8002] vsize: 136984
Current children cumulated CPU time (s) 592.14
Current children cumulated vsize (Kb) 136984

[startup+630.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 80803 0 0 0 58553 1614 0 0 25 0 1 0 21923043 140271616 28418 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34246 28418 364 364 0 33882 0
[pid=8002] vsize: 136984
Current children cumulated CPU time (s) 601.67
Current children cumulated vsize (Kb) 136984

[startup+640.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 81409 0 0 0 59476 1643 0 0 25 0 1 0 21923043 140664832 28505 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34342 28505 364 364 0 33978 0
[pid=8002] vsize: 137368
Current children cumulated CPU time (s) 611.19
Current children cumulated vsize (Kb) 137368

[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 81974 0 0 0 60406 1669 0 0 25 0 1 0 21923043 140861440 28551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34390 28551 364 364 0 34026 0
[pid=8002] vsize: 137560
Current children cumulated CPU time (s) 620.75
Current children cumulated vsize (Kb) 137560

[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 83102 0 0 0 61337 1693 0 0 25 0 1 0 21923043 143380480 29160 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 35005 29160 364 364 0 34641 0
[pid=8002] vsize: 140020
Current children cumulated CPU time (s) 630.3
Current children cumulated vsize (Kb) 140020

[startup+670.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 83633 0 0 0 62266 1717 0 0 25 0 1 0 21923043 141254656 28653 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34486 28653 364 364 0 34122 0
[pid=8002] vsize: 137944
Current children cumulated CPU time (s) 639.83
Current children cumulated vsize (Kb) 137944

[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 84157 0 0 0 63182 1744 0 0 25 0 1 0 21923043 141254656 28658 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34486 28658 364 364 0 34122 0
[pid=8002] vsize: 137944
Current children cumulated CPU time (s) 649.26
Current children cumulated vsize (Kb) 137944

[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 84682 0 0 0 64113 1769 0 0 19 0 1 0 21923043 141254656 28664 4294967295 134512640 135987407 3221224560 3221223364 135368735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34486 28664 364 364 0 34122 0
[pid=8002] vsize: 137944
Current children cumulated CPU time (s) 658.82
Current children cumulated vsize (Kb) 137944

[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 85770 0 0 0 65057 1788 0 0 25 0 1 0 21923043 141451264 28714 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34534 28714 364 364 0 34170 0
[pid=8002] vsize: 138136
Current children cumulated CPU time (s) 668.45
Current children cumulated vsize (Kb) 138136

[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 86304 0 0 0 65998 1812 0 0 25 0 1 0 21923043 141451264 28729 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34534 28729 364 364 0 34170 0
[pid=8002] vsize: 138136
Current children cumulated CPU time (s) 678.1
Current children cumulated vsize (Kb) 138136

[startup+720.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 86851 0 0 0 66927 1837 0 0 21 0 1 0 21923043 141451264 28757 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34534 28757 364 364 0 34170 0
[pid=8002] vsize: 138136
Current children cumulated CPU time (s) 687.64
Current children cumulated vsize (Kb) 138136

[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 87405 0 0 0 67870 1860 0 0 25 0 1 0 21923043 141582336 28792 4294967295 134512640 135987407 3221224560 3221223280 134814275 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34566 28792 364 364 0 34202 0
[pid=8002] vsize: 138264
Current children cumulated CPU time (s) 697.3
Current children cumulated vsize (Kb) 138264

[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 88479 0 0 0 68813 1881 0 0 25 0 1 0 21923043 141582336 28828 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 34566 28828 364 364 0 34202 0
[pid=8002] vsize: 138264
Current children cumulated CPU time (s) 706.94
Current children cumulated vsize (Kb) 138264

[startup+750.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 89037 0 0 0 69746 1903 0 0 25 0 1 0 21923043 141737984 28867 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 34604 28867 364 364 0 34240 0
[pid=8002] vsize: 138416
Current children cumulated CPU time (s) 716.49
Current children cumulated vsize (Kb) 138416

[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 95762 0 0 0 70649 1946 0 0 25 0 1 0 21923043 167100416 28928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 40796 28928 364 364 0 40432 0
[pid=8002] vsize: 163184
Current children cumulated CPU time (s) 725.95
Current children cumulated vsize (Kb) 163184

[startup+770.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 96814 0 0 0 71579 1972 0 0 25 0 1 0 21923043 169226240 29461 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41315 29461 364 364 0 40951 0
[pid=8002] vsize: 165260
Current children cumulated CPU time (s) 735.51
Current children cumulated vsize (Kb) 165260

[startup+780.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 97366 0 0 0 72508 1995 0 0 25 0 1 0 21923043 167297024 28975 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 40844 28975 364 364 0 40480 0
[pid=8002] vsize: 163376
Current children cumulated CPU time (s) 745.03
Current children cumulated vsize (Kb) 163376

[startup+790.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 97898 0 0 0 73450 2014 0 0 25 0 1 0 21923043 167297024 28988 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0
Raw data (/proc/8002/statm): 40844 28988 364 364 0 40480 0
[pid=8002] vsize: 163376
Current children cumulated CPU time (s) 754.64
Current children cumulated vsize (Kb) 163376

[startup+800.041 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 98444 0 0 0 74377 2040 0 0 25 0 1 0 21923043 167297024 29015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 40844 29015 364 364 0 40480 0
[pid=8002] vsize: 163376
Current children cumulated CPU time (s) 764.17
Current children cumulated vsize (Kb) 163376

[startup+810.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 99506 0 0 0 75306 2065 0 0 17 0 1 0 21923043 167297024 29039 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 40844 29039 364 364 0 40480 0
[pid=8002] vsize: 163376
Current children cumulated CPU time (s) 773.71
Current children cumulated vsize (Kb) 163376

[startup+820.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 99551 0 0 0 76233 2092 0 0 25 0 1 0 21923043 167460864 29084 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 40884 29084 364 364 0 40520 0
[pid=8002] vsize: 163536
Current children cumulated CPU time (s) 783.25
Current children cumulated vsize (Kb) 163536

[startup+830.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 100090 0 0 0 77162 2117 0 0 25 0 1 0 21923043 167460864 29104 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 40884 29104 364 364 0 40520 0
[pid=8002] vsize: 163536
Current children cumulated CPU time (s) 792.79
Current children cumulated vsize (Kb) 163536

[startup+840.042 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 100689 0 0 0 78085 2144 0 0 22 0 1 0 21923043 167854080 29184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 40980 29184 364 364 0 40616 0
[pid=8002] vsize: 163920
Current children cumulated CPU time (s) 802.29
Current children cumulated vsize (Kb) 163920

[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 101252 0 0 0 79012 2170 0 0 25 0 1 0 21923043 168050688 29228 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41028 29228 364 364 0 40664 0
[pid=8002] vsize: 164112
Current children cumulated CPU time (s) 811.82
Current children cumulated vsize (Kb) 164112

[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 102333 0 0 0 79940 2195 0 0 25 0 1 0 21923043 168050688 29271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41028 29271 364 364 0 40664 0
[pid=8002] vsize: 164112
Current children cumulated CPU time (s) 821.35
Current children cumulated vsize (Kb) 164112

[startup+870.044 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 102863 0 0 0 80871 2219 0 0 25 0 1 0 21923043 168050688 29282 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41028 29282 364 364 0 40664 0
[pid=8002] vsize: 164112
Current children cumulated CPU time (s) 830.9
Current children cumulated vsize (Kb) 164112

[startup+880.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 103411 0 0 0 81792 2248 0 0 25 0 1 0 21923043 168247296 29311 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41076 29311 364 364 0 40712 0
[pid=8002] vsize: 164304
Current children cumulated CPU time (s) 840.4
Current children cumulated vsize (Kb) 164304

[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 103957 0 0 0 82715 2277 0 0 25 0 1 0 21923043 168247296 29338 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41076 29338 364 364 0 40712 0
[pid=8002] vsize: 164304
Current children cumulated CPU time (s) 849.92
Current children cumulated vsize (Kb) 164304

[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 105020 0 0 0 83650 2300 0 0 25 0 1 0 21923043 168247296 29363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41076 29363 364 364 0 40712 0
[pid=8002] vsize: 164304
Current children cumulated CPU time (s) 859.5
Current children cumulated vsize (Kb) 164304

[startup+910.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 105553 0 0 0 84588 2319 0 0 25 0 1 0 21923043 168247296 29377 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41076 29377 364 364 0 40712 0
[pid=8002] vsize: 164304
Current children cumulated CPU time (s) 869.07
Current children cumulated vsize (Kb) 164304

[startup+920.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 106100 0 0 0 85518 2344 0 0 25 0 1 0 21923043 168443904 29405 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41124 29405 364 364 0 40760 0
[pid=8002] vsize: 164496
Current children cumulated CPU time (s) 878.62
Current children cumulated vsize (Kb) 164496

[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 106673 0 0 0 86446 2367 0 0 22 0 1 0 21923043 168640512 29459 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41172 29459 364 364 0 40808 0
[pid=8002] vsize: 164688
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (Kb) 164688

[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 107222 0 0 0 87373 2393 0 0 17 0 1 0 21923043 168640512 29489 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41172 29489 364 364 0 40808 0
[pid=8002] vsize: 164688
Current children cumulated CPU time (s) 897.66
Current children cumulated vsize (Kb) 164688

[startup+950.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 107754 0 0 0 88289 2425 0 0 25 0 1 0 21923043 168640512 29502 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41172 29502 364 364 0 40808 0
[pid=8002] vsize: 164688
Current children cumulated CPU time (s) 907.14
Current children cumulated vsize (Kb) 164688

[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 108287 0 0 0 89228 2447 0 0 25 0 1 0 21923043 168640512 29516 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41172 29516 364 364 0 40808 0
[pid=8002] vsize: 164688
Current children cumulated CPU time (s) 916.75
Current children cumulated vsize (Kb) 164688

[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 109352 0 0 0 90169 2468 0 0 25 0 1 0 21923043 168640512 29543 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41172 29543 364 364 0 40808 0
[pid=8002] vsize: 164688
Current children cumulated CPU time (s) 926.37
Current children cumulated vsize (Kb) 164688

[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 109906 0 0 0 91091 2496 0 0 25 0 1 0 21923043 168804352 29578 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41212 29578 364 364 0 40848 0
[pid=8002] vsize: 164848
Current children cumulated CPU time (s) 935.87
Current children cumulated vsize (Kb) 164848

[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 110465 0 0 0 92023 2517 0 0 25 0 1 0 21923043 168980480 29618 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 41255 29618 364 364 0 40891 0
[pid=8002] vsize: 165020
Current children cumulated CPU time (s) 945.4
Current children cumulated vsize (Kb) 165020

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 111033 0 0 0 92960 2540 0 0 25 0 1 0 21923043 169177088 29667 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41303 29667 364 364 0 40939 0
[pid=8002] vsize: 165212
Current children cumulated CPU time (s) 955
Current children cumulated vsize (Kb) 165212

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 112090 0 0 0 93909 2558 0 0 25 0 1 0 21923043 169177088 29686 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 41303 29686 364 364 0 40939 0
[pid=8002] vsize: 165212
Current children cumulated CPU time (s) 964.67
Current children cumulated vsize (Kb) 165212

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 112625 0 0 0 94839 2582 0 0 23 0 1 0 21923043 185954304 29702 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45399 29702 364 364 0 45035 0
[pid=8002] vsize: 181596
Current children cumulated CPU time (s) 974.21
Current children cumulated vsize (Kb) 181596

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 113175 0 0 0 95776 2605 0 0 20 0 1 0 21923043 185954304 29733 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45399 29733 364 364 0 45035 0
[pid=8002] vsize: 181596
Current children cumulated CPU time (s) 983.81
Current children cumulated vsize (Kb) 181596

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 113715 0 0 0 96718 2625 0 0 25 0 1 0 21923043 185954304 29754 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45399 29754 364 364 0 45035 0
[pid=8002] vsize: 181596
Current children cumulated CPU time (s) 993.43
Current children cumulated vsize (Kb) 181596

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 114768 0 0 0 97647 2651 0 0 25 0 1 0 21923043 185954304 29769 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45399 29769 364 364 0 45035 0
[pid=8002] vsize: 181596
Current children cumulated CPU time (s) 1002.98
Current children cumulated vsize (Kb) 181596

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 115310 0 0 0 98575 2676 0 0 25 0 1 0 21923043 186089472 29792 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45432 29792 364 364 0 45068 0
[pid=8002] vsize: 181728
Current children cumulated CPU time (s) 1012.51
Current children cumulated vsize (Kb) 181728

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 115848 0 0 0 99495 2703 0 0 25 0 1 0 21923043 186089472 29811 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45432 29811 364 364 0 45068 0
[pid=8002] vsize: 181728
Current children cumulated CPU time (s) 1021.98
Current children cumulated vsize (Kb) 181728

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 116383 0 0 0 100425 2727 0 0 25 0 1 0 21923043 186089472 29827 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45432 29827 364 364 0 45068 0
[pid=8002] vsize: 181728
Current children cumulated CPU time (s) 1031.52
Current children cumulated vsize (Kb) 181728

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 116925 0 0 0 101350 2753 0 0 18 0 1 0 21923043 186089472 29850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45432 29850 364 364 0 45068 0
[pid=8002] vsize: 181728
Current children cumulated CPU time (s) 1041.03
Current children cumulated vsize (Kb) 181728

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 117983 0 0 0 102280 2779 0 0 25 0 1 0 21923043 186089472 29870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45432 29870 364 364 0 45068 0
[pid=8002] vsize: 181728
Current children cumulated CPU time (s) 1050.59
Current children cumulated vsize (Kb) 181728

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 118534 0 0 0 103208 2804 0 0 25 0 1 0 21923043 186224640 29902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45465 29902 364 364 0 45101 0
[pid=8002] vsize: 181860
Current children cumulated CPU time (s) 1060.12
Current children cumulated vsize (Kb) 181860

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 119082 0 0 0 104143 2826 0 0 25 0 1 0 21923043 186363904 29931 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45499 29931 364 364 0 45135 0
[pid=8002] vsize: 181996
Current children cumulated CPU time (s) 1069.69
Current children cumulated vsize (Kb) 181996

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 119621 0 0 0 105072 2851 0 0 25 0 1 0 21923043 186363904 29951 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45499 29951 364 364 0 45135 0
[pid=8002] vsize: 181996
Current children cumulated CPU time (s) 1079.23
Current children cumulated vsize (Kb) 181996

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 120160 0 0 0 105995 2877 0 0 22 0 1 0 21923043 186363904 29971 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45499 29971 364 364 0 45135 0
[pid=8002] vsize: 181996
Current children cumulated CPU time (s) 1088.72
Current children cumulated vsize (Kb) 181996

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 120728 0 0 0 106927 2900 0 0 25 0 1 0 21923043 186511360 30020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45535 30020 364 364 0 45171 0
[pid=8002] vsize: 182140
Current children cumulated CPU time (s) 1098.27
Current children cumulated vsize (Kb) 182140

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 121783 0 0 0 107865 2923 0 0 25 0 1 0 21923043 188637184 30556 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 46054 30556 364 364 0 45690 0
[pid=8002] vsize: 184216
Current children cumulated CPU time (s) 1107.88
Current children cumulated vsize (Kb) 184216

[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 122319 0 0 0 108806 2946 0 0 25 0 1 0 21923043 186511360 30054 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45535 30054 364 364 0 45171 0
[pid=8002] vsize: 182140
Current children cumulated CPU time (s) 1117.52
Current children cumulated vsize (Kb) 182140

[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 122884 0 0 0 109729 2971 0 0 25 0 1 0 21923043 186642432 30100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45567 30100 364 364 0 45203 0
[pid=8002] vsize: 182268
Current children cumulated CPU time (s) 1127
Current children cumulated vsize (Kb) 182268

[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 123419 0 0 0 110654 2996 0 0 21 0 1 0 21923043 186642432 30116 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45567 30116 364 364 0 45203 0
[pid=8002] vsize: 182268
Current children cumulated CPU time (s) 1136.5
Current children cumulated vsize (Kb) 182268

[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 123966 0 0 0 111588 3022 0 0 25 0 1 0 21923043 186773504 30144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45599 30144 364 364 0 45235 0
[pid=8002] vsize: 182396
Current children cumulated CPU time (s) 1146.1
Current children cumulated vsize (Kb) 182396

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 124510 0 0 0 112527 3043 0 0 25 0 1 0 21923043 186908672 30169 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45632 30169 364 364 0 45268 0
[pid=8002] vsize: 182528
Current children cumulated CPU time (s) 1155.7
Current children cumulated vsize (Kb) 182528

[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 125044 0 0 0 113458 3065 0 0 25 0 1 0 21923043 186908672 30184 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45632 30184 364 364 0 45268 0
[pid=8002] vsize: 182528
Current children cumulated CPU time (s) 1165.23
Current children cumulated vsize (Kb) 182528

[startup+1230.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 125586 0 0 0 114386 3090 0 0 25 0 1 0 21923043 186908672 30207 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45632 30207 364 364 0 45268 0
[pid=8002] vsize: 182528
Current children cumulated CPU time (s) 1174.76
Current children cumulated vsize (Kb) 182528

[startup+1240.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 126124 0 0 0 115313 3115 0 0 25 0 1 0 21923043 186908672 30226 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45632 30226 364 364 0 45268 0
[pid=8002] vsize: 182528
Current children cumulated CPU time (s) 1184.28
Current children cumulated vsize (Kb) 182528

[startup+1250.06 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) T 8001 8002 4057 0 -1 0 127194 0 0 0 116250 3139 0 0 25 0 1 0 21923043 187072512 30258 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8002/statm): 45672 30258 364 364 0 45308 0
[pid=8002] vsize: 182688
Current children cumulated CPU time (s) 1193.89
Current children cumulated vsize (Kb) 182688

[startup+1260.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 127728 0 0 0 117182 3164 0 0 25 0 1 0 21923043 187072512 30273 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45672 30273 364 364 0 45308 0
[pid=8002] vsize: 182688
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 182688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8002
Raw data (/proc/8002/stat): 8002 (pb2sat) R 8001 8002 4057 0 -1 0 127728 0 0 0 117182 3164 0 0 25 0 1 0 21923043 187072512 30273 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8002/statm): 45672 30273 364 364 0 45308 0
[pid=8002] vsize: 182688
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 182688

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

Child status: 0
Real time (s): 1260.51
CPU time (s): 1203.91
CPU user time (s): 1172.21
CPU system time (s): 31.7022
CPU usage (%): 95.5099
Max. virtual memory (cumulated for all children) (Kb): 184216

Verifier Data

ERROR: no interpretation found !