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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM8c44064d4224b1d41c28f152218dd39f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 121
Optimality of the best value was proved NO
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 615983
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables2124
Total number of constraints612
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint1
Maximum length of a constraint64

Trace number 10496

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-23 18:19:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9195 boxname=wulflinc4 idbench=991 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 9195
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        958424 kB
Buffers:           100 kB
Cached:          58992 kB
SwapCached:          0 kB
Active:          14084 kB
Inactive:        47832 kB
HighTotal:      131008 kB
HighFree:        67732 kB
LowTotal:       903652 kB
LowFree:        890692 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8556 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:39:53 (client local time) WITH STATUS 0 IN 1201.43 SECONDS
stats: 9195 7 1201.43 0

Solver Data

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

c Decision: 98258/467668	Time: 85.718/86400
c Decision: 98258/467668	Time: 105.51/86400
c Decision: 98269/467668	Time: 130.78/86400
c Decision: 98269/467668	Time: 149.918/86400
c Decision: 98272/467668	Time: 164.675/86400
c Decision: 98289/467668	Time: 221.31/86400
c Decision: 98302/467668	Time: 265.976/86400
c Decision: 98306/467668	Time: 300.115/86400
c Decision: 98306/467668	Time: 319.493/86400
c Decision: 98306/467668	Time: 330.707/86400
c Decision: 98308/467668	Time: 353.289/86400
c Decision: 98327/467668	Time: 384.406/86400
c Decision: 98327/467668	Time: 399.4/86400
c Decision: 98327/467668	Time: 411.252/86400
c Decision: 98327/467668	Time: 423.547/86400
c Decision: 98327/467668	Time: 435.508/86400
c Decision: 98327/467668	Time: 444.782/86400
c Decision: 98327/467668	Time: 456.391/86400
c Decision: 98327/467668	Time: 467.431/86400
c Decision: 98327/467668	Time: 485.541/86400
c Decision: 98327/467668	Time: 499.922/86400
c Decision: 98352/467668	Time: 513.873/86400
c Decision: 98352/467668	Time: 529.218/86400
c Decision: 98352/467668	Time: 543.63/86400
c Decision: 98352/467668	Time: 562.918/86400
c Decision: 98352/467668	Time: 584.302/86400
c Decision: 98352/467668	Time: 603.383/86400
c Decision: 98352/467668	Time: 622.32/86400
c Decision: 98352/467668	Time: 633.89/86400
c Decision: 98352/467668	Time: 647.237/86400
c Decision: 98352/467668	Time: 660.393/86400
c Decision: 98352/467668	Time: 670.898/86400
c Decision: 98352/467668	Time: 681.444/86400
c Decision: 98364/467668	Time: 700.167/86400
c Decision: 98364/467668	Time: 712.573/86400
c Decision: 98364/467668	Time: 723.667/86400
c Decision: 98364/467668	Time: 734.064/86400
c Decision: 98364/467668	Time: 744.939/86400
c Decision: 98364/467668	Time: 755.309/86400
c Decision: 98364/467668	Time: 766.104/86400
c Decision: 98364/467668	Time: 778.048/86400
c Decision: 98364/467668	Time: 788.455/86400
c Decision: 98364/467668	Time: 799.411/86400
c Decision: 98364/467668	Time: 811.232/86400
c Decision: 98364/467668	Time: 823.385/86400
c Decision: 98364/467668	Time: 840.185/86400
c Decision: 98364/467668	Time: 852.796/86400
c Decision: 98364/467668	Time: 866.952/86400
c Decision: 98364/467668	Time: 881.949/86400
c Decision: 98364/467668	Time: 895.622/86400
c Decision: 98364/467668	Time: 909.586/86400
c Decision: 98364/467668	Time: 919.924/86400
c Decision: 98364/467668	Time: 934.33/86400
c Decision: 98364/467668	Time: 949.321/86400
c Decision: 98365/467668	Time: 973.543/86400
c Decision: 98365/467668	Time: 988.641/86400
c Decision: 98365/467668	Time: 1003.32/86400
c Decision: 98365/467668	Time: 1016.52/86400
c Decision: 98365/467668	Time: 1032.58/86400
c Decision: 98365/467668	Time: 1047.07/86400
c Decision: 98365/467668	Time: 1063.75/86400
c Decision: 98365/467668	Time: 1079.93/86400
c Decision: 98365/467668	Time: 1096.28/86400
c Decision: 98365/467668	Time: 1112.16/86400
c Decision: 98365/467668	Time: 1130.24/86400
c Decision: 98365/467668	Time: 1150.23/86400
c Decision: 98368/467668	Time: 1179.85/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/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22313835 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 373 2 364 364 0 9 0
[pid=10426] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm2.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 28410 0 0 0 931 67 0 0 25 0 1 0 22313835 80277504 17237 4294967295 134512640 135987407 3221224560 3221208084 134866009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 19599 17237 364 364 0 19235 0
[pid=10426] vsize: 78396
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 78396

[startup+20.0032 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 56774 0 0 0 1867 129 0 0 25 0 1 0 22313835 165208064 34376 4294967295 134512640 135987407 3221224560 3221223200 134831710 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 40334 34376 364 364 0 39970 0
[pid=10426] vsize: 161336
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 161336

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 59011 0 0 0 2848 137 0 0 25 0 1 0 22313835 171188224 35601 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 41794 35601 364 364 0 41430 0
[pid=10426] vsize: 167176
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 167176

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 59677 0 0 0 3837 142 0 0 25 0 1 0 22313835 174505984 36201 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 42604 36201 364 364 0 42240 0
[pid=10426] vsize: 170416
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 170416

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.95 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 59900 0 0 0 4825 146 0 0 25 0 1 0 22313835 175562752 36424 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 42862 36424 364 364 0 42498 0
[pid=10426] vsize: 171448
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (Kb) 171448

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 60178 0 0 0 5816 149 0 0 25 0 1 0 22313835 177049600 36702 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 43225 36702 364 364 0 42861 0
[pid=10426] vsize: 172900
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 172900

[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 60357 0 0 0 6808 152 0 0 25 0 1 0 22313835 177995776 36881 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 43456 36881 364 364 0 43092 0
[pid=10426] vsize: 173824
Current children cumulated CPU time (s) 69.6
Current children cumulated vsize (Kb) 173824

[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 60498 0 0 0 7802 154 0 0 25 0 1 0 22313835 178393088 36989 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 43553 36989 364 364 0 43189 0
[pid=10426] vsize: 174212
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 174212

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 60618 0 0 0 8797 156 0 0 25 0 1 0 22313835 178794496 37076 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 43651 37076 364 364 0 43287 0
[pid=10426] vsize: 174604
Current children cumulated CPU time (s) 89.53
Current children cumulated vsize (Kb) 174604

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 60779 0 0 0 9792 158 0 0 25 0 1 0 22313835 179265536 37188 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 43766 37188 364 364 0 43402 0
[pid=10426] vsize: 175064
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 175064

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 61794 0 0 0 10783 163 0 0 25 0 1 0 22313835 179531776 37289 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 43831 37289 364 364 0 43467 0
[pid=10426] vsize: 175324
Current children cumulated CPU time (s) 109.46
Current children cumulated vsize (Kb) 175324

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 62189 0 0 0 11775 166 0 0 25 0 1 0 22313835 181280768 37618 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 44258 37618 364 364 0 43894 0
[pid=10426] vsize: 177032
Current children cumulated CPU time (s) 119.41
Current children cumulated vsize (Kb) 177032

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 63227 0 0 0 12765 171 0 0 25 0 1 0 22313835 181682176 37709 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 44356 37709 364 364 0 43992 0
[pid=10426] vsize: 177424
Current children cumulated CPU time (s) 129.36
Current children cumulated vsize (Kb) 177424

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 63459 0 0 0 13758 175 0 0 25 0 1 0 22313835 182886400 37908 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 44650 37908 364 364 0 44286 0
[pid=10426] vsize: 178600
Current children cumulated CPU time (s) 139.33
Current children cumulated vsize (Kb) 178600

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 64390 0 0 0 14752 178 0 0 25 0 1 0 22313835 186630144 38839 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45564 38839 364 364 0 45200 0
[pid=10426] vsize: 182256
Current children cumulated CPU time (s) 149.3
Current children cumulated vsize (Kb) 182256

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 64503 0 0 0 15743 182 0 0 25 0 1 0 22313835 183422976 38038 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 44781 38038 364 364 0 44417 0
[pid=10426] vsize: 179124
Current children cumulated CPU time (s) 159.25
Current children cumulated vsize (Kb) 179124

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 65598 0 0 0 16732 188 0 0 25 0 1 0 22313835 184496128 38219 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45043 38219 364 364 0 44679 0
[pid=10426] vsize: 180172
Current children cumulated CPU time (s) 169.2
Current children cumulated vsize (Kb) 180172

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 65628 0 0 0 17726 190 0 0 25 0 1 0 22313835 184496128 38249 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45043 38249 364 364 0 44679 0
[pid=10426] vsize: 180172
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (Kb) 180172

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 66604 0 0 0 18718 194 0 0 25 0 1 0 22313835 184627200 38278 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45075 38278 364 364 0 44711 0
[pid=10426] vsize: 180300
Current children cumulated CPU time (s) 189.12
Current children cumulated vsize (Kb) 180300

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 66620 0 0 0 19711 196 0 0 25 0 1 0 22313835 184627200 38294 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45075 38294 364 364 0 44711 0
[pid=10426] vsize: 180300
Current children cumulated CPU time (s) 199.07
Current children cumulated vsize (Kb) 180300

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 66826 0 0 0 20702 199 0 0 25 0 1 0 22313835 185286656 38401 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45236 38401 364 364 0 44872 0
[pid=10426] vsize: 180944
Current children cumulated CPU time (s) 209.01
Current children cumulated vsize (Kb) 180944

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 66846 0 0 0 21694 202 0 0 25 0 1 0 22313835 185286656 38421 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45236 38421 364 364 0 44872 0
[pid=10426] vsize: 180944
Current children cumulated CPU time (s) 218.96
Current children cumulated vsize (Kb) 180944

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 66928 0 0 0 22683 205 0 0 25 0 1 0 22313835 185552896 38470 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45301 38470 364 364 0 44937 0
[pid=10426] vsize: 181204
Current children cumulated CPU time (s) 228.88
Current children cumulated vsize (Kb) 181204

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 67922 0 0 0 23674 209 0 0 25 0 1 0 22313835 185819136 38517 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45366 38517 364 364 0 45002 0
[pid=10426] vsize: 181464
Current children cumulated CPU time (s) 238.83
Current children cumulated vsize (Kb) 181464

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 67964 0 0 0 24665 212 0 0 25 0 1 0 22313835 186085376 38559 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45431 38559 364 364 0 45067 0
[pid=10426] vsize: 181724
Current children cumulated CPU time (s) 248.77
Current children cumulated vsize (Kb) 181724

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 67966 0 0 0 25656 215 0 0 25 0 1 0 22313835 186085376 38561 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45431 38561 364 364 0 45067 0
[pid=10426] vsize: 181724
Current children cumulated CPU time (s) 258.71
Current children cumulated vsize (Kb) 181724

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 68035 0 0 0 26645 220 0 0 25 0 1 0 22313835 186351616 38597 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45496 38597 364 364 0 45132 0
[pid=10426] vsize: 181984
Current children cumulated CPU time (s) 268.65
Current children cumulated vsize (Kb) 181984

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 68145 0 0 0 27631 225 0 0 25 0 1 0 22313835 186884096 38674 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45626 38674 364 364 0 45262 0
[pid=10426] vsize: 182504
Current children cumulated CPU time (s) 278.56
Current children cumulated vsize (Kb) 182504

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 69068 0 0 0 28619 231 0 0 25 0 1 0 22313835 186884096 38683 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45626 38683 364 364 0 45262 0
[pid=10426] vsize: 182504
Current children cumulated CPU time (s) 288.5
Current children cumulated vsize (Kb) 182504

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 69155 0 0 0 29610 234 0 0 25 0 1 0 22313835 187015168 38737 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45658 38737 364 364 0 45294 0
[pid=10426] vsize: 182632
Current children cumulated CPU time (s) 298.44
Current children cumulated vsize (Kb) 182632

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 69213 0 0 0 30600 238 0 0 25 0 1 0 22313835 187281408 38795 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45723 38795 364 364 0 45359 0
[pid=10426] vsize: 182892
Current children cumulated CPU time (s) 308.38
Current children cumulated vsize (Kb) 182892

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 70158 0 0 0 31591 243 0 0 25 0 1 0 22313835 191025152 39740 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46637 39740 364 364 0 46273 0
[pid=10426] vsize: 186548
Current children cumulated CPU time (s) 318.34
Current children cumulated vsize (Kb) 186548

[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 70224 0 0 0 32579 247 0 0 25 0 1 0 22313835 187412480 38859 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45755 38859 364 364 0 45391 0
[pid=10426] vsize: 183020
Current children cumulated CPU time (s) 328.26
Current children cumulated vsize (Kb) 183020

[startup+340.019 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 71165 0 0 0 33563 254 0 0 25 0 1 0 22313835 191291392 39800 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46702 39800 364 364 0 46338 0
[pid=10426] vsize: 186808
Current children cumulated CPU time (s) 338.17
Current children cumulated vsize (Kb) 186808

[startup+350.019 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 71183 0 0 0 34549 259 0 0 25 0 1 0 22313835 187547648 38904 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45788 38904 364 364 0 45424 0
[pid=10426] vsize: 183152
Current children cumulated CPU time (s) 348.08
Current children cumulated vsize (Kb) 183152

[startup+360.02 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 72118 0 0 0 35532 266 0 0 25 0 1 0 22313835 187547648 38925 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45788 38925 364 364 0 45424 0
[pid=10426] vsize: 183152
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (Kb) 183152

[startup+370.019 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 72215 0 0 0 36521 270 0 0 25 0 1 0 22313835 187944960 38989 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45885 38989 364 364 0 45521 0
[pid=10426] vsize: 183540
Current children cumulated CPU time (s) 367.91
Current children cumulated vsize (Kb) 183540

[startup+380.02 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 73133 0 0 0 37508 275 0 0 25 0 1 0 22313835 187944960 38993 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45885 38993 364 364 0 45521 0
[pid=10426] vsize: 183540
Current children cumulated CPU time (s) 377.83
Current children cumulated vsize (Kb) 183540

[startup+390.021 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 73135 0 0 0 38496 278 0 0 25 0 1 0 22313835 187944960 38995 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45885 38995 364 364 0 45521 0
[pid=10426] vsize: 183540
Current children cumulated CPU time (s) 387.74
Current children cumulated vsize (Kb) 183540

[startup+400.021 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 73187 0 0 0 39487 281 0 0 25 0 1 0 22313835 188211200 39047 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39047 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 397.68
Current children cumulated vsize (Kb) 183800

[startup+410.021 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 74105 0 0 0 40475 286 0 0 25 0 1 0 22313835 188211200 39051 4294967295 134512640 135987407 3221224560 3221223424 134812752 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39051 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 407.61
Current children cumulated vsize (Kb) 183800

[startup+420.021 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 75023 0 0 0 41460 293 0 0 25 0 1 0 22313835 191954944 39969 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46864 39969 364 364 0 46500 0
[pid=10426] vsize: 187456
Current children cumulated CPU time (s) 417.53
Current children cumulated vsize (Kb) 187456

[startup+430.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 75027 0 0 0 42448 297 0 0 25 0 1 0 22313835 188211200 39059 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45950 39059 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 427.45
Current children cumulated vsize (Kb) 183800

[startup+440.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 75944 0 0 0 43435 303 0 0 25 0 1 0 22313835 188211200 39062 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39062 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 437.38
Current children cumulated vsize (Kb) 183800

[startup+450.021 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 76871 0 0 0 44418 310 0 0 25 0 1 0 22313835 188211200 39075 4294967295 134512640 135987407 3221224560 3221223344 134812365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39075 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 447.28
Current children cumulated vsize (Kb) 183800

[startup+460.021 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 77792 0 0 0 45404 316 0 0 25 0 1 0 22313835 188211200 39082 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39082 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 457.2
Current children cumulated vsize (Kb) 183800

[startup+470.021 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 78714 0 0 0 46386 323 0 0 25 0 1 0 22313835 188211200 39090 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 45950 39090 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 467.09
Current children cumulated vsize (Kb) 183800

[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 79634 0 0 0 47372 330 0 0 25 0 1 0 22313835 188211200 39096 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45950 39096 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 477.02
Current children cumulated vsize (Kb) 183800

[startup+490.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 80553 0 0 0 48358 337 0 0 25 0 1 0 22313835 188211200 39101 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 45950 39101 364 364 0 45586 0
[pid=10426] vsize: 183800
Current children cumulated CPU time (s) 486.95
Current children cumulated vsize (Kb) 183800

[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 80652 0 0 0 49349 340 0 0 25 0 1 0 22313835 188473344 39134 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46014 39134 364 364 0 45650 0
[pid=10426] vsize: 184056
Current children cumulated CPU time (s) 496.89
Current children cumulated vsize (Kb) 184056

[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 81584 0 0 0 50337 345 0 0 25 0 1 0 22313835 188473344 39152 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46014 39152 364 364 0 45650 0
[pid=10426] vsize: 184056
Current children cumulated CPU time (s) 506.82
Current children cumulated vsize (Kb) 184056

[startup+520.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 82509 0 0 0 51320 353 0 0 25 0 1 0 22313835 192217088 40077 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46928 40077 364 364 0 46564 0
[pid=10426] vsize: 187712
Current children cumulated CPU time (s) 516.73
Current children cumulated vsize (Kb) 187712

[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 82603 0 0 0 52311 356 0 0 25 0 1 0 22313835 188735488 39191 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46078 39191 364 364 0 45714 0
[pid=10426] vsize: 184312
Current children cumulated CPU time (s) 526.67
Current children cumulated vsize (Kb) 184312

[startup+540.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 83558 0 0 0 53294 363 0 0 25 0 1 0 22313835 189001728 39232 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46143 39232 364 364 0 45779 0
[pid=10426] vsize: 184572
Current children cumulated CPU time (s) 536.57
Current children cumulated vsize (Kb) 184572

[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 83571 0 0 0 54282 368 0 0 25 0 1 0 22313835 189001728 39245 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46143 39245 364 364 0 45779 0
[pid=10426] vsize: 184572
Current children cumulated CPU time (s) 546.5
Current children cumulated vsize (Kb) 184572

[startup+560.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 84502 0 0 0 55268 374 0 0 25 0 1 0 22313835 189001728 39262 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46143 39262 364 364 0 45779 0
[pid=10426] vsize: 184572
Current children cumulated CPU time (s) 556.42
Current children cumulated vsize (Kb) 184572

[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 85429 0 0 0 56255 380 0 0 25 0 1 0 22313835 189001728 39275 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46143 39275 364 364 0 45779 0
[pid=10426] vsize: 184572
Current children cumulated CPU time (s) 566.35
Current children cumulated vsize (Kb) 184572

[startup+580.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 85528 0 0 0 57246 384 0 0 25 0 1 0 22313835 189263872 39308 4294967295 134512640 135987407 3221224560 3221223248 134811706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46207 39308 364 364 0 45843 0
[pid=10426] vsize: 184828
Current children cumulated CPU time (s) 576.3
Current children cumulated vsize (Kb) 184828

[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 86516 0 0 0 58235 389 0 0 25 0 1 0 22313835 189394944 39349 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46239 39349 364 364 0 45875 0
[pid=10426] vsize: 184956
Current children cumulated CPU time (s) 586.24
Current children cumulated vsize (Kb) 184956

[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 86569 0 0 0 59225 393 0 0 25 0 1 0 22313835 189526016 39369 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46271 39369 364 364 0 45907 0
[pid=10426] vsize: 185084
Current children cumulated CPU time (s) 596.18
Current children cumulated vsize (Kb) 185084

[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 87534 0 0 0 60216 397 0 0 25 0 1 0 22313835 189657088 39387 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46303 39387 364 364 0 45939 0
[pid=10426] vsize: 185212
Current children cumulated CPU time (s) 606.13
Current children cumulated vsize (Kb) 185212

[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 87540 0 0 0 61206 401 0 0 25 0 1 0 22313835 189657088 39393 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46303 39393 364 364 0 45939 0
[pid=10426] vsize: 185212
Current children cumulated CPU time (s) 616.07
Current children cumulated vsize (Kb) 185212

[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 88475 0 0 0 62193 406 0 0 25 0 1 0 22313835 189788160 39414 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46335 39414 364 364 0 45971 0
[pid=10426] vsize: 185340
Current children cumulated CPU time (s) 625.99
Current children cumulated vsize (Kb) 185340

[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 88530 0 0 0 63180 411 0 0 25 0 1 0 22313835 189919232 39436 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46367 39436 364 364 0 46003 0
[pid=10426] vsize: 185468
Current children cumulated CPU time (s) 635.91
Current children cumulated vsize (Kb) 185468

[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 89460 0 0 0 64168 416 0 0 25 0 1 0 22313835 189919232 39452 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46367 39452 364 364 0 46003 0
[pid=10426] vsize: 185468
Current children cumulated CPU time (s) 645.84
Current children cumulated vsize (Kb) 185468

[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 90400 0 0 0 65157 421 0 0 25 0 1 0 22313835 189919232 39478 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46367 39478 364 364 0 46003 0
[pid=10426] vsize: 185468
Current children cumulated CPU time (s) 655.78
Current children cumulated vsize (Kb) 185468

[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 91336 0 0 0 66139 429 0 0 25 0 1 0 22313835 193789952 40414 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 47312 40414 364 364 0 46948 0
[pid=10426] vsize: 189248
Current children cumulated CPU time (s) 665.68
Current children cumulated vsize (Kb) 189248

[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 91359 0 0 0 67126 435 0 0 25 0 1 0 22313835 190046208 39523 4294967295 134512640 135987407 3221224560 3221223248 134811750 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46398 39523 364 364 0 46034 0
[pid=10426] vsize: 185592
Current children cumulated CPU time (s) 675.61
Current children cumulated vsize (Kb) 185592

[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 92281 0 0 0 68114 440 0 0 25 0 1 0 22313835 190046208 39531 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46398 39531 364 364 0 46034 0
[pid=10426] vsize: 185592
Current children cumulated CPU time (s) 685.54
Current children cumulated vsize (Kb) 185592

[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 93207 0 0 0 69096 449 0 0 25 0 1 0 22313835 190046208 39543 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46398 39543 364 364 0 46034 0
[pid=10426] vsize: 185592
Current children cumulated CPU time (s) 695.45
Current children cumulated vsize (Kb) 185592

[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 94134 0 0 0 70081 455 0 0 25 0 1 0 22313835 190046208 39556 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46398 39556 364 364 0 46034 0
[pid=10426] vsize: 185592
Current children cumulated CPU time (s) 705.36
Current children cumulated vsize (Kb) 185592

[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 94146 0 0 0 71062 461 0 0 25 0 1 0 22313835 190173184 39568 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46429 39568 364 364 0 46065 0
[pid=10426] vsize: 185716
Current children cumulated CPU time (s) 715.23
Current children cumulated vsize (Kb) 185716

[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 95075 0 0 0 72045 467 0 0 25 0 1 0 22313835 190173184 39583 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46429 39583 364 364 0 46065 0
[pid=10426] vsize: 185716
Current children cumulated CPU time (s) 725.12
Current children cumulated vsize (Kb) 185716

[startup+740.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 96006 0 0 0 73032 472 0 0 25 0 1 0 22313835 190173184 39600 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46429 39600 364 364 0 46065 0
[pid=10426] vsize: 185716
Current children cumulated CPU time (s) 735.04
Current children cumulated vsize (Kb) 185716

[startup+750.032 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 96936 0 0 0 74023 476 0 0 25 0 1 0 22313835 190173184 39616 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46429 39616 364 364 0 46065 0
[pid=10426] vsize: 185716
Current children cumulated CPU time (s) 744.99
Current children cumulated vsize (Kb) 185716

[startup+760.033 s]
Raw data (loadavg): 1.07 1.00 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 97862 0 0 0 75003 485 0 0 25 0 1 0 22313835 190304256 39628 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46461 39628 364 364 0 46097 0
[pid=10426] vsize: 185844
Current children cumulated CPU time (s) 754.88
Current children cumulated vsize (Kb) 185844

[startup+770.033 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 98787 0 0 0 75985 493 0 0 25 0 1 0 22313835 190304256 39639 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46461 39639 364 364 0 46097 0
[pid=10426] vsize: 185844
Current children cumulated CPU time (s) 764.78
Current children cumulated vsize (Kb) 185844

[startup+780.034 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 99711 0 0 0 76963 502 0 0 25 0 1 0 22313835 190304256 39649 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46461 39649 364 364 0 46097 0
[pid=10426] vsize: 185844
Current children cumulated CPU time (s) 774.65
Current children cumulated vsize (Kb) 185844

[startup+790.035 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 100637 0 0 0 77948 508 0 0 25 0 1 0 22313835 194048000 40575 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 47375 40575 364 364 0 47011 0
[pid=10426] vsize: 189500
Current children cumulated CPU time (s) 784.56
Current children cumulated vsize (Kb) 189500

[startup+800.035 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 101560 0 0 0 78930 516 0 0 25 0 1 0 22313835 194179072 40584 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 47407 40584 364 364 0 47043 0
[pid=10426] vsize: 189628
Current children cumulated CPU time (s) 794.46
Current children cumulated vsize (Kb) 189628

[startup+810.035 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 101568 0 0 0 79918 520 0 0 25 0 1 0 22313835 190435328 39678 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46493 39678 364 364 0 46129 0
[pid=10426] vsize: 185972
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (Kb) 185972

[startup+820.036 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 102492 0 0 0 80902 527 0 0 25 0 1 0 22313835 190435328 39688 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46493 39688 364 364 0 46129 0
[pid=10426] vsize: 185972
Current children cumulated CPU time (s) 814.29
Current children cumulated vsize (Kb) 185972

[startup+830.037 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 103417 0 0 0 81885 534 0 0 25 0 1 0 22313835 190435328 39699 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46493 39699 364 364 0 46129 0
[pid=10426] vsize: 185972
Current children cumulated CPU time (s) 824.19
Current children cumulated vsize (Kb) 185972

[startup+840.037 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 104340 0 0 0 82871 540 0 0 25 0 1 0 22313835 190435328 39708 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46493 39708 364 364 0 46129 0
[pid=10426] vsize: 185972
Current children cumulated CPU time (s) 834.11
Current children cumulated vsize (Kb) 185972

[startup+850.037 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 105272 0 0 0 83856 548 0 0 25 0 1 0 22313835 190558208 39726 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46523 39726 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 844.04
Current children cumulated vsize (Kb) 186092

[startup+860.038 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 105285 0 0 0 84841 553 0 0 25 0 1 0 22313835 190558208 39739 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46523 39739 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 853.94
Current children cumulated vsize (Kb) 186092

[startup+870.038 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 106207 0 0 0 85826 559 0 0 25 0 1 0 22313835 190558208 39747 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46523 39747 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 863.85
Current children cumulated vsize (Kb) 186092

[startup+880.039 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 107132 0 0 0 86810 566 0 0 25 0 1 0 22313835 190558208 39758 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46523 39758 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 873.76
Current children cumulated vsize (Kb) 186092

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 107150 0 0 0 87797 570 0 0 25 0 1 0 22313835 190558208 39776 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46523 39776 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 883.67
Current children cumulated vsize (Kb) 186092

[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 108077 0 0 0 88781 578 0 0 25 0 1 0 22313835 190558208 39789 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46523 39789 364 364 0 46159 0
[pid=10426] vsize: 186092
Current children cumulated CPU time (s) 893.59
Current children cumulated vsize (Kb) 186092

[startup+910.04 s]
Raw data (loadavg): 1.08 1.02 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 109019 0 0 0 89766 585 0 0 25 0 1 0 22313835 190722048 39817 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46563 39817 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 903.51
Current children cumulated vsize (Kb) 186252

[startup+920.04 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 109947 0 0 0 90755 590 0 0 25 0 1 0 22313835 194465792 40745 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 47477 40745 364 364 0 47113 0
[pid=10426] vsize: 189908
Current children cumulated CPU time (s) 913.45
Current children cumulated vsize (Kb) 189908

[startup+930.041 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 109968 0 0 0 91741 594 0 0 25 0 1 0 22313835 190722048 39852 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46563 39852 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 923.35
Current children cumulated vsize (Kb) 186252

[startup+940.041 s]
Raw data (loadavg): 1.05 1.01 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 110890 0 0 0 92725 600 0 0 25 0 1 0 22313835 190722048 39860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46563 39860 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 933.25
Current children cumulated vsize (Kb) 186252

[startup+950.041 s]
Raw data (loadavg): 1.04 1.01 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 111816 0 0 0 93703 608 0 0 25 0 1 0 22313835 190722048 39872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46563 39872 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 943.11
Current children cumulated vsize (Kb) 186252

[startup+960.042 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 112735 0 0 0 94688 614 0 0 25 0 1 0 22313835 194465792 40791 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 47477 40791 364 364 0 47113 0
[pid=10426] vsize: 189908
Current children cumulated CPU time (s) 953.02
Current children cumulated vsize (Kb) 189908

[startup+970.041 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 112746 0 0 0 95673 620 0 0 25 0 1 0 22313835 190722048 39888 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46563 39888 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 962.93
Current children cumulated vsize (Kb) 186252

[startup+980.042 s]
Raw data (loadavg): 1.02 1.01 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 113675 0 0 0 96658 626 0 0 25 0 1 0 22313835 190722048 39903 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46563 39903 364 364 0 46199 0
[pid=10426] vsize: 186252
Current children cumulated CPU time (s) 972.84
Current children cumulated vsize (Kb) 186252

[startup+990.043 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 113697 0 0 0 97638 632 0 0 25 0 1 0 22313835 190853120 39925 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46595 39925 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 982.7
Current children cumulated vsize (Kb) 186380

[startup+1000.04 s]
Raw data (loadavg): 1.02 1.01 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 114623 0 0 0 98625 638 0 0 25 0 1 0 22313835 190853120 39937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46595 39937 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 992.63
Current children cumulated vsize (Kb) 186380

[startup+1010.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 114643 0 0 0 99607 644 0 0 25 0 1 0 22313835 190853120 39957 4294967295 134512640 135987407 3221224560 3221223248 134811692 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46595 39957 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1002.51
Current children cumulated vsize (Kb) 186380

[startup+1020.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 115565 0 0 0 100593 650 0 0 25 0 1 0 22313835 190853120 39965 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46595 39965 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1012.43
Current children cumulated vsize (Kb) 186380

[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 116485 0 0 0 101573 658 0 0 25 0 1 0 22313835 190853120 39971 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46595 39971 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1022.31
Current children cumulated vsize (Kb) 186380

[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 116492 0 0 0 102556 663 0 0 25 0 1 0 22313835 190853120 39978 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46595 39978 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1032.19
Current children cumulated vsize (Kb) 186380

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 117416 0 0 0 103540 670 0 0 25 0 1 0 22313835 190853120 39988 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46595 39988 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1042.1
Current children cumulated vsize (Kb) 186380

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 118345 0 0 0 104522 678 0 0 25 0 1 0 22313835 190853120 40003 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46595 40003 364 364 0 46231 0
[pid=10426] vsize: 186380
Current children cumulated CPU time (s) 1052
Current children cumulated vsize (Kb) 186380

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 118364 0 0 0 105505 684 0 0 25 0 1 0 22313835 190980096 40022 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46626 40022 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (Kb) 186504

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 119294 0 0 0 106485 693 0 0 25 0 1 0 22313835 190980096 40038 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46626 40038 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1071.78
Current children cumulated vsize (Kb) 186504

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 120220 0 0 0 107468 700 0 0 25 0 1 0 22313835 190980096 40050 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46626 40050 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1081.68
Current children cumulated vsize (Kb) 186504

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 120228 0 0 0 108451 706 0 0 25 0 1 0 22313835 190980096 40058 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46626 40058 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1091.57
Current children cumulated vsize (Kb) 186504

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 121151 0 0 0 109437 713 0 0 25 0 1 0 22313835 190980096 40067 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46626 40067 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1101.5
Current children cumulated vsize (Kb) 186504

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 121171 0 0 0 110423 718 0 0 25 0 1 0 22313835 190980096 40087 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46626 40087 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1111.41
Current children cumulated vsize (Kb) 186504

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 122097 0 0 0 111406 724 0 0 25 0 1 0 22313835 190980096 40099 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46626 40099 364 364 0 46262 0
[pid=10426] vsize: 186504
Current children cumulated CPU time (s) 1121.3
Current children cumulated vsize (Kb) 186504

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 123025 0 0 0 112386 732 0 0 25 0 1 0 22313835 191107072 40113 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46657 40113 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1131.18
Current children cumulated vsize (Kb) 186628

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 123046 0 0 0 113372 736 0 0 25 0 1 0 22313835 191107072 40134 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46657 40134 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1141.08
Current children cumulated vsize (Kb) 186628

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 123979 0 0 0 114361 741 0 0 25 0 1 0 22313835 191107072 40153 4294967295 134512640 135987407 3221224560 3221223376 134824330 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46657 40153 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1151.02
Current children cumulated vsize (Kb) 186628

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 124001 0 0 0 115352 745 0 0 25 0 1 0 22313835 191107072 40175 4294967295 134512640 135987407 3221224560 3221223376 134824244 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46657 40175 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1160.97
Current children cumulated vsize (Kb) 186628

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) T 10425 10426 4060 0 -1 0 124926 0 0 0 116338 751 0 0 25 0 1 0 22313835 191107072 40186 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10426/statm): 46657 40186 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1170.89
Current children cumulated vsize (Kb) 186628

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 124935 0 0 0 117323 757 0 0 25 0 1 0 22313835 191107072 40195 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46657 40195 364 364 0 46293 0
[pid=10426] vsize: 186628
Current children cumulated CPU time (s) 1180.8
Current children cumulated vsize (Kb) 186628

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 124999 0 0 0 118312 761 0 0 25 0 1 0 22313835 191238144 40226 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46689 40226 364 364 0 46325 0
[pid=10426] vsize: 186756
Current children cumulated CPU time (s) 1190.73
Current children cumulated vsize (Kb) 186756

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 125945 0 0 0 119302 766 0 0 25 0 1 0 22313835 191238144 40258 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46689 40258 364 364 0 46325 0
[pid=10426] vsize: 186756
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 186756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10426
Raw data (/proc/10426/stat): 10426 (pb2sat) R 10425 10426 4060 0 -1 0 125945 0 0 0 119302 766 0 0 25 0 1 0 22313835 191238144 40258 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10426/statm): 46689 40258 364 364 0 46325 0
[pid=10426] vsize: 186756
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 186756

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

Child status: 0
Real time (s): 1210.8
CPU time (s): 1201.43
CPU user time (s): 1193.69
CPU system time (s): 7.74782
CPU usage (%): 99.226
Max. virtual memory (cumulated for all children) (Kb): 189908

Verifier Data

ERROR: no interpretation found !