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-ran8x32.opb
MD5SUM14da1db0c6acfbdddee3af5ad3788f2d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12128256
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 1548380176990
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 1548380176990
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 benchmark1229.65
Number of variables7936
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint960

Trace number 10206

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 17:18:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8908 boxname=wulflinc13 idbench=704 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  14da1db0c6acfbdddee3af5ad3788f2d  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb
IDLAUNCH: 8908
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        969968 kB
Buffers:           344 kB
Cached:          47188 kB
SwapCached:          0 kB
Active:          15796 kB
Inactive:        34640 kB
HighTotal:      131008 kB
HighFree:        79604 kB
LowTotal:       903652 kB
LowFree:        890364 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8720 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:39:12 (client local time) WITH STATUS 0 IN 1204.55 SECONDS
stats: 8908 7 1204.55 0

Solver Data

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

c Decision: 27286/344759	Time: 39.9019/86400
c Decision: 27289/344759	Time: 49.3545/86400
c Decision: 27289/344759	Time: 60.5368/86400
c Decision: 27289/344759	Time: 71.9641/86400
c Decision: 27289/344759	Time: 80.7227/86400
c Decision: 27289/344759	Time: 91.0132/86400
c Decision: 27289/344759	Time: 100.22/86400
c Decision: 27289/344759	Time: 110.493/86400
c Decision: 27289/344759	Time: 118.892/86400
c Decision: 27289/344759	Time: 127.874/86400
c Decision: 27289/344759	Time: 137.319/86400
c Decision: 27289/344759	Time: 147.094/86400
c Decision: 27289/344759	Time: 154.651/86400
c Decision: 27289/344759	Time: 164.345/86400
c Decision: 27289/344759	Time: 173.475/86400
c Decision: 27289/344759	Time: 184.488/86400
c Decision: 27289/344759	Time: 193.437/86400
c Decision: 27289/344759	Time: 203.641/86400
c Decision: 27289/344759	Time: 212.469/86400
c Decision: 27289/344759	Time: 220.271/86400
c Decision: 27289/344759	Time: 230.491/86400
c Decision: 27289/344759	Time: 237.891/86400
c Decision: 27289/344759	Time: 247/86400
c Decision: 27289/344759	Time: 255.684/86400
c Decision: 27289/344759	Time: 262.862/86400
c Decision: 27289/344759	Time: 271.108/86400
c Decision: 27289/344759	Time: 280.314/86400
c Decision: 27289/344759	Time: 289.458/86400
c Decision: 27289/344759	Time: 299.733/86400
c Decision: 27289/344759	Time: 310.544/86400
c Decision: 27289/344759	Time: 320.396/86400
c Decision: 27289/344759	Time: 329.734/86400
c Decision: 27289/344759	Time: 339.957/86400
c Decision: 27289/344759	Time: 350.689/86400
c Decision: 27289/344759	Time: 360.866/86400
c Decision: 27289/344759	Time: 372.008/86400
c Decision: 27289/344759	Time: 382.05/86400
c Decision: 27289/344759	Time: 391.204/86400
c Decision: 27289/344759	Time: 401.353/86400
c Decision: 27289/344759	Time: 410.674/86400
c Decision: 27289/344759	Time: 423.58/86400
c Decision: 27289/344759	Time: 433.071/86400
c Decision: 27289/344759	Time: 443.202/86400
c Decision: 27289/344759	Time: 455.133/86400
c Decision: 27289/344759	Time: 464.71/86400
c Decision: 27289/344759	Time: 477.407/86400
c Decision: 27289/344759	Time: 487.297/86400
c Decision: 27289/344759	Time: 500.146/86400
c Decision: 27289/344759	Time: 512.098/86400
c Decision: 27289/344759	Time: 521.8/86400
c Decision: 27289/344759	Time: 535.627/86400
c Decision: 27289/344759	Time: 547.238/86400
c Decision: 27289/344759	Time: 556.994/86400
c Decision: 27289/344759	Time: 567.957/86400
c Decision: 27289/344759	Time: 580.026/86400
c Decision: 27289/344759	Time: 592.731/86400
c Decision: 27289/344759	Time: 601.959/86400
c Decision: 27289/344759	Time: 613.313/86400
c Decision: 27289/344759	Time: 626.977/86400
c Decision: 27289/344759	Time: 639.258/86400
c Decision: 27289/344759	Time: 649.775/86400
c Decision: 27289/344759	Time: 663.504/86400
c Decision: 27289/344759	Time: 675.339/86400
c Decision: 27289/344759	Time: 687.736/86400
c Decision: 27289/344759	Time: 698.81/86400
c Decision: 27289/344759	Time: 711.514/86400
c Decision: 27289/344759	Time: 723.382/86400
c Decision: 27289/344759	Time: 735.447/86400
c Decision: 27289/344759	Time: 747.256/86400
c Decision: 27289/344759	Time: 760.231/86400
c Decision: 27289/344759	Time: 773.718/86400
c Decision: 27289/344759	Time: 785.656/86400
c Decision: 27289/344759	Time: 800.58/86400
c Decision: 27289/344759	Time: 811.331/86400
c Decision: 27297/344759	Time: 832.197/86400
c Decision: 27297/344759	Time: 846.791/86400
c Decision: 27297/344759	Time: 865.064/86400
c Decision: 27297/344759	Time: 879.564/86400
c Decision: 27297/344759	Time: 894.152/86400
c Decision: 27297/344759	Time: 907.999/86400
c Decision: 27297/344759	Time: 923.762/86400
c Decision: 27297/344759	Time: 934.531/86400
c Decision: 27297/344759	Time: 947.864/86400
c Decision: 27297/344759	Time: 961.758/86400
c Decision: 27297/344759	Time: 978.068/86400
c Decision: 27297/344759	Time: 995.014/86400
c Decision: 27297/344759	Time: 1010.28/86400
c Decision: 27297/344759	Time: 1026.21/86400
c Decision: 27297/344759	Time: 1038.9/86400
c Decision: 27297/344759	Time: 1051/86400
c Decision: 27297/344759	Time: 1070.16/86400
c Decision: 27297/344759	Time: 1084.09/86400
c Decision: 27297/344759	Time: 1098.45/86400
c Decision: 27297/344759	Time: 1113.08/86400
c Decision: 27297/344759	Time: 1129.24/86400
c Decision: 27297/344759	Time: 1153.91/86400
c Decision: 27297/344759	Time: 1166.53/86400
c Decision: 27297/344759	Time: 1181.45/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/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21927853 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 373 2 364 364 0 9 0
[pid=8454] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ran8x32.opb

[startup+10.0023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 27362 0 0 0 934 62 0 0 25 0 1 0 21927853 81743872 16221 4294967295 134512640 135987407 3221224560 3221046848 134878317 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 19957 16221 364 364 0 19593 0
[pid=8454] vsize: 79828
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 79828

[startup+20.003 s]
Raw data (loadavg): 0.99 0.98 0.93 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 51215 0 0 0 1857 127 0 0 25 0 1 0 21927853 164511744 28263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 40164 28263 364 364 0 39800 0
[pid=8454] vsize: 160656
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 160656

[startup+30.0036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 52220 0 0 0 2793 150 0 0 18 0 1 0 21927853 169070592 29268 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 41277 29268 364 364 0 40913 0
[pid=8454] vsize: 165108
Current children cumulated CPU time (s) 29.43
Current children cumulated vsize (Kb) 165108

[startup+40.0033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 52559 0 0 0 3722 173 0 0 22 0 1 0 21927853 170586112 29607 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 41647 29607 364 364 0 41283 0
[pid=8454] vsize: 166588
Current children cumulated CPU time (s) 38.95
Current children cumulated vsize (Kb) 166588

[startup+50.0039 s]
Raw data (loadavg): 1.07 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 52830 0 0 0 4642 200 0 0 25 0 1 0 21927853 171945984 29878 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8454/statm): 41979 29878 364 364 0 41615 0
[pid=8454] vsize: 167916
Current children cumulated CPU time (s) 48.42
Current children cumulated vsize (Kb) 167916

[startup+60.0046 s]
Raw data (loadavg): 1.06 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 53777 0 0 0 5589 220 0 0 25 0 1 0 21927853 173109248 30151 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 42263 30151 364 364 0 41899 0
[pid=8454] vsize: 169052
Current children cumulated CPU time (s) 58.09
Current children cumulated vsize (Kb) 169052

[startup+70.0053 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 54727 0 0 0 6540 239 0 0 25 0 1 0 21927853 174419968 30427 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 42583 30427 364 364 0 42219 0
[pid=8454] vsize: 170332
Current children cumulated CPU time (s) 67.79
Current children cumulated vsize (Kb) 170332

[startup+80.0069 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 55713 0 0 0 7487 259 0 0 17 0 1 0 21927853 176189440 30739 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 43015 30739 364 364 0 42651 0
[pid=8454] vsize: 172060
Current children cumulated CPU time (s) 77.46
Current children cumulated vsize (Kb) 172060

[startup+90.0076 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 55842 0 0 0 8431 278 0 0 25 0 1 0 21927853 176779264 30868 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43159 30868 364 364 0 42795 0
[pid=8454] vsize: 172636
Current children cumulated CPU time (s) 87.09
Current children cumulated vsize (Kb) 172636

[startup+100.007 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 57271 0 0 0 9369 300 0 0 25 0 1 0 21927853 179933184 31623 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43929 31623 364 364 0 43565 0
[pid=8454] vsize: 175716
Current children cumulated CPU time (s) 96.69
Current children cumulated vsize (Kb) 175716

[startup+110.008 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58026 0 0 0 10319 318 0 0 25 0 1 0 21927853 177532928 31030 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43343 31030 364 364 0 42979 0
[pid=8454] vsize: 173372
Current children cumulated CPU time (s) 106.37
Current children cumulated vsize (Kb) 173372

[startup+120.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58725 0 0 0 11273 334 0 0 25 0 1 0 21927853 180494336 31729 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44066 31729 364 364 0 43702 0
[pid=8454] vsize: 176264
Current children cumulated CPU time (s) 116.07
Current children cumulated vsize (Kb) 176264

[startup+130.009 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 58824 0 0 0 12219 353 0 0 25 0 1 0 21927853 178262016 31154 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43521 31154 364 364 0 43157 0
[pid=8454] vsize: 174084
Current children cumulated CPU time (s) 125.72
Current children cumulated vsize (Kb) 174084

[startup+140.009 s]
Raw data (loadavg): 1.09 1.02 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 60264 0 0 0 13164 373 0 0 25 0 1 0 21927853 178655232 31246 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43617 31246 364 364 0 43253 0
[pid=8454] vsize: 174468
Current children cumulated CPU time (s) 135.37
Current children cumulated vsize (Kb) 174468

[startup+150.009 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 60308 0 0 0 14100 395 0 0 25 0 1 0 21927853 178966528 31290 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 43693 31290 364 364 0 43329 0
[pid=8454] vsize: 174772
Current children cumulated CPU time (s) 144.95
Current children cumulated vsize (Kb) 174772

[startup+160.009 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 61047 0 0 0 15040 416 0 0 25 0 1 0 21927853 179130368 31355 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43733 31355 364 364 0 43369 0
[pid=8454] vsize: 174932
Current children cumulated CPU time (s) 154.56
Current children cumulated vsize (Kb) 174932

[startup+170.01 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 61764 0 0 0 15969 441 0 0 25 0 1 0 21927853 179294208 31398 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 43773 31398 364 364 0 43409 0
[pid=8454] vsize: 175092
Current children cumulated CPU time (s) 164.1
Current children cumulated vsize (Kb) 175092

[startup+180.011 s]
Raw data (loadavg): 1.04 1.01 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 61880 0 0 0 16901 464 0 0 25 0 1 0 21927853 180047872 31514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31514 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 173.65
Current children cumulated vsize (Kb) 175828

[startup+190.011 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 62567 0 0 0 17849 482 0 0 25 0 1 0 21927853 180047872 31527 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31527 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 183.31
Current children cumulated vsize (Kb) 175828

[startup+200.011 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 63252 0 0 0 18779 505 0 0 25 0 1 0 21927853 180047872 31538 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31538 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 192.84
Current children cumulated vsize (Kb) 175828

[startup+210.012 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 63934 0 0 0 19720 525 0 0 25 0 1 0 21927853 180047872 31546 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31546 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 202.45
Current children cumulated vsize (Kb) 175828

[startup+220.012 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 64618 0 0 0 20651 549 0 0 25 0 1 0 21927853 180047872 31556 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31556 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 212
Current children cumulated vsize (Kb) 175828

[startup+230.013 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 65302 0 0 0 21580 574 0 0 25 0 1 0 21927853 180047872 31566 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31566 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (Kb) 175828

[startup+240.012 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 65988 0 0 0 22515 596 0 0 25 0 1 0 21927853 180047872 31578 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 43957 31578 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 231.11
Current children cumulated vsize (Kb) 175828

[startup+250.012 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 66676 0 0 0 23446 620 0 0 25 0 1 0 21927853 180047872 31592 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31592 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 240.66
Current children cumulated vsize (Kb) 175828

[startup+260.013 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 67360 0 0 0 24392 639 0 0 25 0 1 0 21927853 180047872 31602 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31602 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 250.31
Current children cumulated vsize (Kb) 175828

[startup+270.012 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 68052 0 0 0 25330 661 0 0 25 0 1 0 21927853 180047872 31620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43957 31620 364 364 0 43593 0
[pid=8454] vsize: 175828
Current children cumulated CPU time (s) 259.91
Current children cumulated vsize (Kb) 175828

[startup+280.013 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 68743 0 0 0 26266 680 0 0 25 0 1 0 21927853 180183040 31637 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43990 31637 364 364 0 43626 0
[pid=8454] vsize: 175960
Current children cumulated CPU time (s) 269.46
Current children cumulated vsize (Kb) 175960

[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 69447 0 0 0 27198 703 0 0 25 0 1 0 21927853 180183040 31667 4294967295 134512640 135987407 3221224560 3221223280 134814116 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43990 31667 364 364 0 43626 0
[pid=8454] vsize: 175960
Current children cumulated CPU time (s) 279.01
Current children cumulated vsize (Kb) 175960

[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 70135 0 0 0 28133 723 0 0 25 0 1 0 21927853 180183040 31681 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 43990 31681 364 364 0 43626 0
[pid=8454] vsize: 175960
Current children cumulated CPU time (s) 288.56
Current children cumulated vsize (Kb) 175960

[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 70829 0 0 0 29075 744 0 0 25 0 1 0 21927853 180318208 31701 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44023 31701 364 364 0 43659 0
[pid=8454] vsize: 176092
Current children cumulated CPU time (s) 298.19
Current children cumulated vsize (Kb) 176092

[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 71541 0 0 0 30016 765 0 0 25 0 1 0 21927853 180453376 31739 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44056 31739 364 364 0 43692 0
[pid=8454] vsize: 176224
Current children cumulated CPU time (s) 307.81
Current children cumulated vsize (Kb) 176224

[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 72234 0 0 0 30960 784 0 0 25 0 1 0 21927853 180453376 31758 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44056 31758 364 364 0 43692 0
[pid=8454] vsize: 176224
Current children cumulated CPU time (s) 317.44
Current children cumulated vsize (Kb) 176224

[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 72927 0 0 0 31905 804 0 0 25 0 1 0 21927853 180592640 31777 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44090 31777 364 364 0 43726 0
[pid=8454] vsize: 176360
Current children cumulated CPU time (s) 327.09
Current children cumulated vsize (Kb) 176360

[startup+350.015 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 72952 0 0 0 32849 823 0 0 25 0 1 0 21927853 180592640 31802 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44090 31802 364 364 0 43726 0
[pid=8454] vsize: 176360
Current children cumulated CPU time (s) 336.72
Current children cumulated vsize (Kb) 176360

[startup+360.015 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 73650 0 0 0 33789 844 0 0 25 0 1 0 21927853 180740096 31826 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44126 31826 364 364 0 43762 0
[pid=8454] vsize: 176504
Current children cumulated CPU time (s) 346.33
Current children cumulated vsize (Kb) 176504

[startup+370.015 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 74353 0 0 0 34722 865 0 0 25 0 1 0 21927853 183500800 32529 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44800 32529 364 364 0 44436 0
[pid=8454] vsize: 179200
Current children cumulated CPU time (s) 355.87
Current children cumulated vsize (Kb) 179200

[startup+380.016 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 74371 0 0 0 35649 888 0 0 25 0 1 0 21927853 180740096 31873 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44126 31873 364 364 0 43762 0
[pid=8454] vsize: 176504
Current children cumulated CPU time (s) 365.37
Current children cumulated vsize (Kb) 176504

[startup+390.015 s]
Raw data (loadavg): 1.12 1.03 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 75067 0 0 0 36595 909 0 0 25 0 1 0 21927853 180871168 31895 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44158 31895 364 364 0 43794 0
[pid=8454] vsize: 176632
Current children cumulated CPU time (s) 375.04
Current children cumulated vsize (Kb) 176632

[startup+400.015 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 75767 0 0 0 37529 931 0 0 24 0 1 0 21927853 180871168 31921 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44158 31921 364 364 0 43794 0
[pid=8454] vsize: 176632
Current children cumulated CPU time (s) 384.6
Current children cumulated vsize (Kb) 176632

[startup+410.016 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 76454 0 0 0 38479 949 0 0 25 0 1 0 21927853 181002240 31934 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44190 31934 364 364 0 43826 0
[pid=8454] vsize: 176760
Current children cumulated CPU time (s) 394.28
Current children cumulated vsize (Kb) 176760

[startup+420.015 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 77150 0 0 0 39417 971 0 0 25 0 1 0 21927853 181002240 31956 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44190 31956 364 364 0 43826 0
[pid=8454] vsize: 176760
Current children cumulated CPU time (s) 403.88
Current children cumulated vsize (Kb) 176760

[startup+430.016 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 77844 0 0 0 40356 993 0 0 25 0 1 0 21927853 181002240 31976 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44190 31976 364 364 0 43826 0
[pid=8454] vsize: 176760
Current children cumulated CPU time (s) 413.49
Current children cumulated vsize (Kb) 176760

[startup+440.017 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 78548 0 0 0 41298 1015 0 0 25 0 1 0 21927853 181137408 32006 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44223 32006 364 364 0 43859 0
[pid=8454] vsize: 176892
Current children cumulated CPU time (s) 423.13
Current children cumulated vsize (Kb) 176892

[startup+450.016 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 79242 0 0 0 42239 1035 0 0 25 0 1 0 21927853 181137408 32026 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44223 32026 364 364 0 43859 0
[pid=8454] vsize: 176892
Current children cumulated CPU time (s) 432.74
Current children cumulated vsize (Kb) 176892

[startup+460.017 s]
Raw data (loadavg): 1.03 1.02 0.95 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 79923 0 0 0 43189 1052 0 0 25 0 1 0 21927853 181137408 32033 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44223 32033 364 364 0 43859 0
[pid=8454] vsize: 176892
Current children cumulated CPU time (s) 442.41
Current children cumulated vsize (Kb) 176892

[startup+470.018 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 80619 0 0 0 44131 1071 0 0 25 0 1 0 21927853 181268480 32055 4294967295 134512640 135987407 3221224560 3221223136 134801552 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44255 32055 364 364 0 43891 0
[pid=8454] vsize: 177020
Current children cumulated CPU time (s) 452.02
Current children cumulated vsize (Kb) 177020

[startup+480.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 81319 0 0 0 45067 1092 0 0 25 0 1 0 21927853 181268480 32081 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44255 32081 364 364 0 43891 0
[pid=8454] vsize: 177020
Current children cumulated CPU time (s) 461.59
Current children cumulated vsize (Kb) 177020

[startup+490.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82008 0 0 0 46006 1114 0 0 25 0 1 0 21927853 184029184 32770 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44929 32770 364 364 0 44565 0
[pid=8454] vsize: 179716
Current children cumulated CPU time (s) 471.2
Current children cumulated vsize (Kb) 179716

[startup+500.019 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82700 0 0 0 46947 1134 0 0 25 0 1 0 21927853 184164352 32788 4294967295 134512640 135987407 3221224560 3221222920 134827502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44962 32788 364 364 0 44598 0
[pid=8454] vsize: 179848
Current children cumulated CPU time (s) 480.81
Current children cumulated vsize (Kb) 179848

[startup+510.019 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 82752 0 0 0 47879 1157 0 0 23 0 1 0 21927853 181538816 32166 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44321 32166 364 364 0 43957 0
[pid=8454] vsize: 177284
Current children cumulated CPU time (s) 490.36
Current children cumulated vsize (Kb) 177284

[startup+520.019 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 83434 0 0 0 48832 1174 0 0 25 0 1 0 21927853 181538816 32174 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44321 32174 364 364 0 43957 0
[pid=8454] vsize: 177284
Current children cumulated CPU time (s) 500.06
Current children cumulated vsize (Kb) 177284

[startup+530.021 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 84131 0 0 0 49773 1195 0 0 25 0 1 0 21927853 181538816 32197 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44321 32197 364 364 0 43957 0
[pid=8454] vsize: 177284
Current children cumulated CPU time (s) 509.68
Current children cumulated vsize (Kb) 177284

[startup+540.021 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 84867 0 0 0 50715 1217 0 0 21 0 1 0 21927853 181809152 32259 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44387 32259 364 364 0 44023 0
[pid=8454] vsize: 177548
Current children cumulated CPU time (s) 519.32
Current children cumulated vsize (Kb) 177548

[startup+550.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 85568 0 0 0 51659 1239 0 0 25 0 1 0 21927853 181952512 32286 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44422 32286 364 364 0 44058 0
[pid=8454] vsize: 177688
Current children cumulated CPU time (s) 528.98
Current children cumulated vsize (Kb) 177688

[startup+560.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 86252 0 0 0 52599 1259 0 0 17 0 1 0 21927853 181952512 32296 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44422 32296 364 364 0 44058 0
[pid=8454] vsize: 177688
Current children cumulated CPU time (s) 538.58
Current children cumulated vsize (Kb) 177688

[startup+570.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 86505 0 0 0 53527 1285 0 0 20 0 1 0 21927853 183001088 32549 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44678 32549 364 364 0 44314 0
[pid=8454] vsize: 178712
Current children cumulated CPU time (s) 548.12
Current children cumulated vsize (Kb) 178712

[startup+580.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 87195 0 0 0 54478 1302 0 0 25 0 1 0 21927853 183001088 32565 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44678 32565 364 364 0 44314 0
[pid=8454] vsize: 178712
Current children cumulated CPU time (s) 557.8
Current children cumulated vsize (Kb) 178712

[startup+590.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 87883 0 0 0 55424 1319 0 0 25 0 1 0 21927853 183001088 32579 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44678 32579 364 364 0 44314 0
[pid=8454] vsize: 178712
Current children cumulated CPU time (s) 567.43
Current children cumulated vsize (Kb) 178712

[startup+600.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 88567 0 0 0 56374 1336 0 0 25 0 1 0 21927853 183001088 32589 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44678 32589 364 364 0 44314 0
[pid=8454] vsize: 178712
Current children cumulated CPU time (s) 577.1
Current children cumulated vsize (Kb) 178712

[startup+610.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 89261 0 0 0 57314 1359 0 0 25 0 1 0 21927853 183144448 32609 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44713 32609 364 364 0 44349 0
[pid=8454] vsize: 178852
Current children cumulated CPU time (s) 586.73
Current children cumulated vsize (Kb) 178852

[startup+620.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 90015 0 0 0 58261 1378 0 0 25 0 1 0 21927853 183418880 32689 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44780 32689 364 364 0 44416 0
[pid=8454] vsize: 179120
Current children cumulated CPU time (s) 596.39
Current children cumulated vsize (Kb) 179120

[startup+630.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 90030 0 0 0 59196 1400 0 0 25 0 1 0 21927853 183418880 32704 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44780 32704 364 364 0 44416 0
[pid=8454] vsize: 179120
Current children cumulated CPU time (s) 605.96
Current children cumulated vsize (Kb) 179120

[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 90720 0 0 0 60143 1418 0 0 25 0 1 0 21927853 183418880 32720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44780 32720 364 364 0 44416 0
[pid=8454] vsize: 179120
Current children cumulated CPU time (s) 615.61
Current children cumulated vsize (Kb) 179120

[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 91419 0 0 0 61085 1437 0 0 25 0 1 0 21927853 183558144 32745 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44814 32745 364 364 0 44450 0
[pid=8454] vsize: 179256
Current children cumulated CPU time (s) 625.22
Current children cumulated vsize (Kb) 179256

[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 92104 0 0 0 62037 1455 0 0 25 0 1 0 21927853 183558144 32756 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44814 32756 364 364 0 44450 0
[pid=8454] vsize: 179256
Current children cumulated CPU time (s) 634.92
Current children cumulated vsize (Kb) 179256

[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 92792 0 0 0 62996 1470 0 0 23 0 1 0 21927853 183558144 32770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44814 32770 364 364 0 44450 0
[pid=8454] vsize: 179256
Current children cumulated CPU time (s) 644.66
Current children cumulated vsize (Kb) 179256

[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 92830 0 0 0 63948 1487 0 0 25 0 1 0 21927853 183746560 32808 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44860 32808 364 364 0 44496 0
[pid=8454] vsize: 179440
Current children cumulated CPU time (s) 654.35
Current children cumulated vsize (Kb) 179440

[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 93515 0 0 0 64888 1511 0 0 25 0 1 0 21927853 183746560 32819 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44860 32819 364 364 0 44496 0
[pid=8454] vsize: 179440
Current children cumulated CPU time (s) 663.99
Current children cumulated vsize (Kb) 179440

[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 94199 0 0 0 65838 1529 0 0 25 0 1 0 21927853 183746560 32829 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44860 32829 364 364 0 44496 0
[pid=8454] vsize: 179440
Current children cumulated CPU time (s) 673.67
Current children cumulated vsize (Kb) 179440

[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 94887 0 0 0 66779 1550 0 0 25 0 1 0 21927853 183746560 32843 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44860 32843 364 364 0 44496 0
[pid=8454] vsize: 179440
Current children cumulated CPU time (s) 683.29
Current children cumulated vsize (Kb) 179440

[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 95578 0 0 0 67722 1571 0 0 25 0 1 0 21927853 183746560 32860 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 44860 32860 364 364 0 44496 0
[pid=8454] vsize: 179440
Current children cumulated CPU time (s) 692.93
Current children cumulated vsize (Kb) 179440

[startup+730.028 s]
Raw data (loadavg): 1.07 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 95609 0 0 0 68662 1588 0 0 25 0 1 0 21927853 183902208 32891 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44898 32891 364 364 0 44534 0
[pid=8454] vsize: 179592
Current children cumulated CPU time (s) 702.5
Current children cumulated vsize (Kb) 179592

[startup+740.028 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 96299 0 0 0 69606 1609 0 0 25 0 1 0 21927853 183902208 32907 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44898 32907 364 364 0 44534 0
[pid=8454] vsize: 179592
Current children cumulated CPU time (s) 712.15
Current children cumulated vsize (Kb) 179592

[startup+750.027 s]
Raw data (loadavg): 1.05 1.01 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 96993 0 0 0 70552 1630 0 0 25 0 1 0 21927853 183902208 32927 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 44898 32927 364 364 0 44534 0
[pid=8454] vsize: 179592
Current children cumulated CPU time (s) 721.82
Current children cumulated vsize (Kb) 179592

[startup+760.028 s]
Raw data (loadavg): 1.12 1.03 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 97760 0 0 0 71502 1649 0 0 25 0 1 0 21927853 184320000 33020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45000 33020 364 364 0 44636 0
[pid=8454] vsize: 180000
Current children cumulated CPU time (s) 731.51
Current children cumulated vsize (Kb) 180000

[startup+770.028 s]
Raw data (loadavg): 1.10 1.03 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 97771 0 0 0 72445 1669 0 0 25 0 1 0 21927853 184320000 33031 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 45000 33031 364 364 0 44636 0
[pid=8454] vsize: 180000
Current children cumulated CPU time (s) 741.14
Current children cumulated vsize (Kb) 180000

[startup+780.029 s]
Raw data (loadavg): 1.09 1.03 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 97786 0 0 0 73381 1691 0 0 25 0 1 0 21927853 184320000 33046 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45000 33046 364 364 0 44636 0
[pid=8454] vsize: 180000
Current children cumulated CPU time (s) 750.72
Current children cumulated vsize (Kb) 180000

[startup+790.03 s]
Raw data (loadavg): 1.07 1.03 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 98475 0 0 0 74319 1714 0 0 25 0 1 0 21927853 184320000 33061 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45000 33061 364 364 0 44636 0
[pid=8454] vsize: 180000
Current children cumulated CPU time (s) 760.33
Current children cumulated vsize (Kb) 180000

[startup+800.029 s]
Raw data (loadavg): 1.06 1.03 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 99187 0 0 0 75261 1736 0 0 25 0 1 0 21927853 184594432 33099 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45067 33099 364 364 0 44703 0
[pid=8454] vsize: 180268
Current children cumulated CPU time (s) 769.97
Current children cumulated vsize (Kb) 180268

[startup+810.03 s]
Raw data (loadavg): 1.05 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 99875 0 0 0 76205 1757 0 0 25 0 1 0 21927853 184594432 33113 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 45067 33113 364 364 0 44703 0
[pid=8454] vsize: 180268
Current children cumulated CPU time (s) 779.62
Current children cumulated vsize (Kb) 180268

[startup+820.03 s]
Raw data (loadavg): 1.04 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 100628 0 0 0 77152 1772 0 0 25 0 1 0 21927853 184889344 33192 4294967295 134512640 135987407 3221224560 3221223376 134876847 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45139 33192 364 364 0 44775 0
[pid=8454] vsize: 180556
Current children cumulated CPU time (s) 789.24
Current children cumulated vsize (Kb) 180556

[startup+830.031 s]
Raw data (loadavg): 1.04 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 100642 0 0 0 78092 1791 0 0 25 0 1 0 21927853 184889344 33206 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45139 33206 364 364 0 44775 0
[pid=8454] vsize: 180556
Current children cumulated CPU time (s) 798.83
Current children cumulated vsize (Kb) 180556

[startup+840.031 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 101460 0 0 0 79030 1813 0 0 25 0 1 0 21927853 185479168 33350 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45283 33350 364 364 0 44919 0
[pid=8454] vsize: 181132
Current children cumulated CPU time (s) 808.43
Current children cumulated vsize (Kb) 181132

[startup+850.031 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 102164 0 0 0 79966 1836 0 0 25 0 1 0 21927853 185626624 33380 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45319 33380 364 364 0 44955 0
[pid=8454] vsize: 181276
Current children cumulated CPU time (s) 818.02
Current children cumulated vsize (Kb) 181276

[startup+860.031 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 102847 0 0 0 80904 1857 0 0 25 0 1 0 21927853 185626624 33389 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45319 33389 364 364 0 44955 0
[pid=8454] vsize: 181276
Current children cumulated CPU time (s) 827.61
Current children cumulated vsize (Kb) 181276

[startup+870.032 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 103184 0 0 0 81849 1877 0 0 25 0 1 0 21927853 187084800 33726 4294967295 134512640 135987407 3221224560 3221223120 134788460 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45675 33726 364 364 0 45311 0
[pid=8454] vsize: 182700
Current children cumulated CPU time (s) 837.26
Current children cumulated vsize (Kb) 182700

[startup+880.033 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 103200 0 0 0 82783 1900 0 0 25 0 1 0 21927853 187232256 33742 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45711 33742 364 364 0 45347 0
[pid=8454] vsize: 182844
Current children cumulated CPU time (s) 846.83
Current children cumulated vsize (Kb) 182844

[startup+890.033 s]
Raw data (loadavg): 1.01 1.02 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 103892 0 0 0 83727 1919 0 0 25 0 1 0 21927853 187232256 33760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45711 33760 364 364 0 45347 0
[pid=8454] vsize: 182844
Current children cumulated CPU time (s) 856.46
Current children cumulated vsize (Kb) 182844

[startup+900.034 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 104637 0 0 0 84681 1935 0 0 25 0 1 0 21927853 187568128 33831 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 45793 33831 364 364 0 45429 0
[pid=8454] vsize: 183172
Current children cumulated CPU time (s) 866.16
Current children cumulated vsize (Kb) 183172

[startup+910.035 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 104926 0 0 0 85623 1956 0 0 25 0 1 0 21927853 188825600 34120 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46100 34120 364 364 0 45736 0
[pid=8454] vsize: 184400
Current children cumulated CPU time (s) 875.79
Current children cumulated vsize (Kb) 184400

[startup+920.035 s]
Raw data (loadavg): 1.01 1.01 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 105640 0 0 0 86582 1970 0 0 25 0 1 0 21927853 188973056 34160 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46136 34160 364 364 0 45772 0
[pid=8454] vsize: 184544
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (Kb) 184544

[startup+930.036 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 106329 0 0 0 87519 1991 0 0 25 0 1 0 21927853 191733760 34849 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 46810 34849 364 364 0 46446 0
[pid=8454] vsize: 187240
Current children cumulated CPU time (s) 895.1
Current children cumulated vsize (Kb) 187240

[startup+940.037 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 106533 0 0 0 88464 2010 0 0 25 0 1 0 21927853 190119936 34379 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46416 34379 364 364 0 46052 0
[pid=8454] vsize: 185664
Current children cumulated CPU time (s) 904.74
Current children cumulated vsize (Kb) 185664

[startup+950.036 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 107269 0 0 0 89410 2026 0 0 25 0 1 0 21927853 190316544 34441 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46464 34441 364 364 0 46100 0
[pid=8454] vsize: 185856
Current children cumulated CPU time (s) 914.36
Current children cumulated vsize (Kb) 185856

[startup+960.037 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 107984 0 0 0 90352 2047 0 0 25 0 1 0 21927853 193273856 35156 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 47186 35156 364 364 0 46822 0
[pid=8454] vsize: 188744
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (Kb) 188744

[startup+970.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 108010 0 0 0 91299 2063 0 0 25 0 1 0 21927853 190513152 34508 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 46512 34508 364 364 0 46148 0
[pid=8454] vsize: 186048
Current children cumulated CPU time (s) 933.62
Current children cumulated vsize (Kb) 186048

[startup+980.038 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 108688 0 0 0 92249 2082 0 0 22 0 1 0 21927853 190513152 34512 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 46512 34512 364 364 0 46148 0
[pid=8454] vsize: 186048
Current children cumulated CPU time (s) 943.31
Current children cumulated vsize (Kb) 186048

[startup+990.039 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 109366 0 0 0 93188 2103 0 0 25 0 1 0 21927853 190513152 34516 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46512 34516 364 364 0 46148 0
[pid=8454] vsize: 186048
Current children cumulated CPU time (s) 952.91
Current children cumulated vsize (Kb) 186048

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 109377 0 0 0 94130 2124 0 0 25 0 1 0 21927853 190513152 34527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46512 34527 364 364 0 46148 0
[pid=8454] vsize: 186048
Current children cumulated CPU time (s) 962.54
Current children cumulated vsize (Kb) 186048

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 110123 0 0 0 95069 2146 0 0 25 0 1 0 21927853 190906368 34599 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46608 34599 364 364 0 46244 0
[pid=8454] vsize: 186432
Current children cumulated CPU time (s) 972.15
Current children cumulated vsize (Kb) 186432

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 110859 0 0 0 96022 2164 0 0 25 0 1 0 21927853 191102976 34661 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46656 34661 364 364 0 46292 0
[pid=8454] vsize: 186624
Current children cumulated CPU time (s) 981.86
Current children cumulated vsize (Kb) 186624

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 110917 0 0 0 96958 2186 0 0 20 0 1 0 21927853 191299584 34719 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46704 34719 364 364 0 46340 0
[pid=8454] vsize: 186816
Current children cumulated CPU time (s) 991.44
Current children cumulated vsize (Kb) 186816

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 111612 0 0 0 97916 2201 0 0 25 0 1 0 21927853 191496192 34740 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46752 34740 364 364 0 46388 0
[pid=8454] vsize: 187008
Current children cumulated CPU time (s) 1001.17
Current children cumulated vsize (Kb) 187008

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 112363 0 0 0 98871 2216 0 0 25 0 1 0 21927853 191827968 34817 4294967295 134512640 135987407 3221224560 3221223376 134876863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46833 34817 364 364 0 46469 0
[pid=8454] vsize: 187332
Current children cumulated CPU time (s) 1010.87
Current children cumulated vsize (Kb) 187332

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 112460 0 0 0 99822 2232 0 0 25 0 1 0 21927853 192417792 34914 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46977 34914 364 364 0 46613 0
[pid=8454] vsize: 187908
Current children cumulated CPU time (s) 1020.54
Current children cumulated vsize (Kb) 187908

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 113157 0 0 0 100764 2255 0 0 25 0 1 0 21927853 192417792 34937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 46977 34937 364 364 0 46613 0
[pid=8454] vsize: 187908
Current children cumulated CPU time (s) 1030.19
Current children cumulated vsize (Kb) 187908

[startup+1080.04 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 113175 0 0 0 101707 2273 0 0 25 0 1 0 21927853 192614400 34955 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47025 34955 364 364 0 46661 0
[pid=8454] vsize: 188100
Current children cumulated CPU time (s) 1039.8
Current children cumulated vsize (Kb) 188100

[startup+1090.04 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 113859 0 0 0 102658 2289 0 0 25 0 1 0 21927853 192614400 34965 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47025 34965 364 364 0 46661 0
[pid=8454] vsize: 188100
Current children cumulated CPU time (s) 1049.47
Current children cumulated vsize (Kb) 188100

[startup+1100.04 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 114544 0 0 0 103602 2308 0 0 25 0 1 0 21927853 192614400 34976 4294967295 134512640 135987407 3221224560 3221223376 134824282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47025 34976 364 364 0 46661 0
[pid=8454] vsize: 188100
Current children cumulated CPU time (s) 1059.1
Current children cumulated vsize (Kb) 188100

[startup+1110.04 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 115237 0 0 0 104544 2331 0 0 25 0 1 0 21927853 192614400 34995 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 47025 34995 364 364 0 46661 0
[pid=8454] vsize: 188100
Current children cumulated CPU time (s) 1068.75
Current children cumulated vsize (Kb) 188100

[startup+1120.04 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 115290 0 0 0 105483 2352 0 0 25 0 1 0 21927853 192753664 35048 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47059 35048 364 364 0 46695 0
[pid=8454] vsize: 188236
Current children cumulated CPU time (s) 1078.35
Current children cumulated vsize (Kb) 188236

[startup+1130.04 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 116021 0 0 0 106440 2367 0 0 25 0 1 0 21927853 193146880 35105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47155 35105 364 364 0 46791 0
[pid=8454] vsize: 188620
Current children cumulated CPU time (s) 1088.07
Current children cumulated vsize (Kb) 188620

[startup+1140.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 116028 0 0 0 107379 2388 0 0 25 0 1 0 21927853 193146880 35112 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47155 35112 364 364 0 46791 0
[pid=8454] vsize: 188620
Current children cumulated CPU time (s) 1097.67
Current children cumulated vsize (Kb) 188620

[startup+1150.04 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 116746 0 0 0 108324 2408 0 0 25 0 1 0 21927853 193343488 35156 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47203 35156 364 364 0 46839 0
[pid=8454] vsize: 188812
Current children cumulated CPU time (s) 1107.32
Current children cumulated vsize (Kb) 188812

[startup+1160.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 117464 0 0 0 109273 2425 0 0 25 0 1 0 21927853 193540096 35200 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47251 35200 364 364 0 46887 0
[pid=8454] vsize: 189004
Current children cumulated CPU time (s) 1116.98
Current children cumulated vsize (Kb) 189004

[startup+1170.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 117495 0 0 0 110216 2445 0 0 25 0 1 0 21927853 193540096 35231 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47251 35231 364 364 0 46887 0
[pid=8454] vsize: 189004
Current children cumulated CPU time (s) 1126.61
Current children cumulated vsize (Kb) 189004

[startup+1180.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 118175 0 0 0 111170 2462 0 0 24 0 1 0 21927853 193540096 35237 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8454/statm): 47251 35237 364 364 0 46887 0
[pid=8454] vsize: 189004
Current children cumulated CPU time (s) 1136.32
Current children cumulated vsize (Kb) 189004

[startup+1190.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 118880 0 0 0 112127 2476 0 0 25 0 1 0 21927853 193736704 35268 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47299 35268 364 364 0 46935 0
[pid=8454] vsize: 189196
Current children cumulated CPU time (s) 1146.03
Current children cumulated vsize (Kb) 189196

[startup+1200.04 s]
Raw data (loadavg): 1.01 1.00 0.97 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119158 0 0 0 113069 2495 0 0 19 0 1 0 21927853 195080192 35546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47627 35546 364 364 0 47263 0
[pid=8454] vsize: 190508
Current children cumulated CPU time (s) 1155.64
Current children cumulated vsize (Kb) 190508

[startup+1210.04 s]
Raw data (loadavg): 1.08 1.02 0.97 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119273 0 0 0 114015 2516 0 0 25 0 1 0 21927853 195530752 35661 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47737 35661 364 364 0 47373 0
[pid=8454] vsize: 190948
Current children cumulated CPU time (s) 1165.31
Current children cumulated vsize (Kb) 190948

[startup+1220.04 s]
Raw data (loadavg): 1.07 1.02 0.97 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 119979 0 0 0 114972 2533 0 0 18 0 1 0 21927853 195719168 35693 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8454/statm): 47783 35693 364 364 0 47419 0
[pid=8454] vsize: 191132
Current children cumulated CPU time (s) 1175.05
Current children cumulated vsize (Kb) 191132

[startup+1230.04 s]
Raw data (loadavg): 1.06 1.02 0.97 1/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 120664 0 0 0 115915 2552 0 0 25 0 1 0 21927853 195719168 35704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8454/statm): 47783 35704 364 364 0 47419 0
[pid=8454] vsize: 191132
Current children cumulated CPU time (s) 1184.67
Current children cumulated vsize (Kb) 191132

[startup+1240.04 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) T 8453 8454 4060 0 -1 0 120769 0 0 0 116860 2571 0 0 25 0 1 0 21927853 196308992 35809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8454/statm): 47927 35809 364 364 0 47563 0
[pid=8454] vsize: 191708
Current children cumulated CPU time (s) 1194.31
Current children cumulated vsize (Kb) 191708

[startup+1250.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 121490 0 0 0 117802 2591 0 0 25 0 1 0 21927853 196702208 35856 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 48023 35856 364 364 0 47659 0
[pid=8454] vsize: 192092
Current children cumulated CPU time (s) 1203.93
Current children cumulated vsize (Kb) 192092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 8454
Raw data (/proc/8454/stat): 8454 (pb2sat) R 8453 8454 4060 0 -1 0 121490 0 0 0 117802 2591 0 0 25 0 1 0 21927853 196702208 35856 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8454/statm): 48023 35856 364 364 0 47659 0
[pid=8454] vsize: 192092
Current children cumulated CPU time (s) 1203.93
Current children cumulated vsize (Kb) 192092

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

Child status: 0
Real time (s): 1250.66
CPU time (s): 1204.55
CPU user time (s): 1178.57
CPU system time (s): 25.985
CPU usage (%): 96.3132
Max. virtual memory (cumulated for all children) (Kb): 192092

Verifier Data

ERROR: no interpretation found !