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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
MD5SUM795a1eda830447df9b9714fdf1d66b4e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2805232
Optimality of the best value was proved NO
Number of terms in the objective function 5418
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1537450315
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1537450315
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1237.31
Number of variables5418
Total number of constraints307
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 constraints307
Minimum length of a constraint21
Maximum length of a constraint860

Trace number 10581

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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:        911500 kB
Buffers:         14636 kB
Cached:          90560 kB
SwapCached:          0 kB
Active:          46116 kB
Inactive:        61984 kB
HighTotal:      131008 kB
HighFree:        42448 kB
LowTotal:       903652 kB
LowFree:        869052 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9536 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:12:29 (client local time) WITH STATUS 0 IN 1207.31 SECONDS
stats: 9291 7 1207.31 0

Solver Data

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

c Decision: 17185/294665	Time: 162.644/86400
c Decision: 17185/294665	Time: 181.019/86400
c Decision: 17185/294665	Time: 197.762/86400
c Decision: 17185/294665	Time: 215.952/86400
c Decision: 17185/294665	Time: 229.491/86400
c Decision: 17185/294665	Time: 246.061/86400
c Decision: 17185/294665	Time: 259.285/86400
c Decision: 17185/294665	Time: 273.711/86400
c Decision: 17191/294665	Time: 289.505/86400
c Decision: 17191/294665	Time: 304.459/86400
c Decision: 17191/294665	Time: 322.348/86400
c Decision: 17191/294665	Time: 338.791/86400
c Decision: 17191/294665	Time: 354.684/86400
c Decision: 17191/294665	Time: 368.972/86400
c Decision: 17191/294665	Time: 384.357/86400
c Decision: 17191/294665	Time: 401.08/86400
c Decision: 17191/294665	Time: 416.918/86400
c Decision: 17191/294665	Time: 435.37/86400
c Decision: 17191/294665	Time: 452.496/86400
c Decision: 17191/294665	Time: 469.077/86400
c Decision: 17191/294665	Time: 487.655/86400
c Decision: 17191/294665	Time: 505.188/86400
c Decision: 17191/294665	Time: 523.558/86400
c Decision: 17191/294665	Time: 543.398/86400
c Decision: 17191/294665	Time: 563.825/86400
c Decision: 17191/294665	Time: 584.157/86400
c Decision: 17191/294665	Time: 602.943/86400
c Decision: 17191/294665	Time: 626.076/86400
c Decision: 17191/294665	Time: 647.864/86400
c Decision: 17191/294665	Time: 666.428/86400
c Decision: 17191/294665	Time: 685.886/86400
c Decision: 17191/294665	Time: 707.658/86400
c Decision: 17191/294665	Time: 730.785/86400
c Decision: 17191/294665	Time: 753.446/86400
c Decision: 17191/294665	Time: 772.855/86400
c Decision: 17191/294665	Time: 797.636/86400
c Decision: 17191/294665	Time: 820.086/86400
c Decision: 17191/294665	Time: 840.564/86400
c Decision: 17191/294665	Time: 866.214/86400
c Decision: 17191/294665	Time: 889.985/86400
c Decision: 17191/294665	Time: 909.328/86400
c Decision: 17191/294665	Time: 933.16/86400
c Decision: 17191/294665	Time: 959.379/86400
c Decision: 17191/294665	Time: 981.463/86400
c Decision: 17191/294665	Time: 1003.01/86400
c Decision: 17191/294665	Time: 1027.77/86400
c Decision: 17191/294665	Time: 1051.08/86400
c Decision: 17191/294665	Time: 1073.29/86400
c Decision: 17191/294665	Time: 1093.89/86400
c Decision: 17191/294665	Time: 1118.04/86400
c Decision: 17191/294665	Time: 1142.27/86400
c Decision: 17191/294665	Time: 1168.63/86400
c Decision: 17191/294665	Time: 1190.19/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/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22487803 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 373 2 364 364 0 9 0
[pid=11454] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-ran6x43.opb

[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 28294 0 0 0 932 66 0 0 25 0 1 0 22487803 82227200 17141 4294967295 134512640 135987407 3221224560 3221221220 134562648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 20075 17141 364 364 0 19711 0
[pid=11454] vsize: 80300
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 80300

[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 48695 0 0 0 1859 119 0 0 25 0 1 0 22487803 148221952 25890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 36187 25890 364 364 0 35823 0
[pid=11454] vsize: 144748
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 144748

[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 50028 0 0 0 2817 136 0 0 25 0 1 0 22487803 154513408 27223 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 37723 27223 364 364 0 37359 0
[pid=11454] vsize: 150892
Current children cumulated CPU time (s) 29.53
Current children cumulated vsize (Kb) 150892

[startup+40.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 51065 0 0 0 3788 148 0 0 25 0 1 0 22487803 159768576 28260 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 39006 28260 364 364 0 38642 0
[pid=11454] vsize: 156024
Current children cumulated CPU time (s) 39.36
Current children cumulated vsize (Kb) 156024

[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 51533 0 0 0 4759 160 0 0 25 0 1 0 22487803 161894400 28728 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 39525 28728 364 364 0 39161 0
[pid=11454] vsize: 158100
Current children cumulated CPU time (s) 49.19
Current children cumulated vsize (Kb) 158100

[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 51974 0 0 0 5731 171 0 0 25 0 1 0 22487803 164073472 29169 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 40057 29169 364 364 0 39693 0
[pid=11454] vsize: 160228
Current children cumulated CPU time (s) 59.02
Current children cumulated vsize (Kb) 160228

[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 52386 0 0 0 6695 182 0 0 25 0 1 0 22487803 166117376 29581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 40556 29581 364 364 0 40192 0
[pid=11454] vsize: 162224
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (Kb) 162224

[startup+80.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 52852 0 0 0 7662 195 0 0 25 0 1 0 22487803 168529920 30047 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 41145 30047 364 364 0 40781 0
[pid=11454] vsize: 164580
Current children cumulated CPU time (s) 78.57
Current children cumulated vsize (Kb) 164580

[startup+90.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 52964 0 0 0 8631 207 0 0 25 0 1 0 22487803 169160704 30159 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 41299 30159 364 364 0 40935 0
[pid=11454] vsize: 165196
Current children cumulated CPU time (s) 88.38
Current children cumulated vsize (Kb) 165196

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53046 0 0 0 9599 217 0 0 25 0 1 0 22487803 169431040 30241 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 41365 30241 364 364 0 41001 0
[pid=11454] vsize: 165460
Current children cumulated CPU time (s) 98.16
Current children cumulated vsize (Kb) 165460

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53286 0 0 0 10567 228 0 0 25 0 1 0 22487803 170708992 30481 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 41677 30481 364 364 0 41313 0
[pid=11454] vsize: 166708
Current children cumulated CPU time (s) 107.95
Current children cumulated vsize (Kb) 166708

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53387 0 0 0 11526 242 0 0 25 0 1 0 22487803 171102208 30582 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 41773 30582 364 364 0 41409 0
[pid=11454] vsize: 167092
Current children cumulated CPU time (s) 117.68
Current children cumulated vsize (Kb) 167092

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53627 0 0 0 12491 254 0 0 25 0 1 0 22487803 172306432 30822 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42067 30822 364 364 0 41703 0
[pid=11454] vsize: 168268
Current children cumulated CPU time (s) 127.45
Current children cumulated vsize (Kb) 168268

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53710 0 0 0 13458 265 0 0 17 0 1 0 22487803 172847104 30905 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 42199 30905 364 364 0 41835 0
[pid=11454] vsize: 168796
Current children cumulated CPU time (s) 137.23
Current children cumulated vsize (Kb) 168796

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53789 0 0 0 14419 278 0 0 25 0 1 0 22487803 173252608 30984 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 42298 30984 364 364 0 41934 0
[pid=11454] vsize: 169192
Current children cumulated CPU time (s) 146.97
Current children cumulated vsize (Kb) 169192

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53885 0 0 0 15377 293 0 0 25 0 1 0 22487803 173658112 31080 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42397 31080 364 364 0 42033 0
[pid=11454] vsize: 169588
Current children cumulated CPU time (s) 156.7
Current children cumulated vsize (Kb) 169588

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 53907 0 0 0 16339 307 0 0 25 0 1 0 22487803 173658112 31102 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42397 31102 364 364 0 42033 0
[pid=11454] vsize: 169588
Current children cumulated CPU time (s) 166.46
Current children cumulated vsize (Kb) 169588

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 54528 0 0 0 17303 320 0 0 25 0 1 0 22487803 173793280 31147 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42430 31147 364 364 0 42066 0
[pid=11454] vsize: 169720
Current children cumulated CPU time (s) 176.23
Current children cumulated vsize (Kb) 169720

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 54635 0 0 0 18259 336 0 0 25 0 1 0 22487803 174333952 31254 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42562 31254 364 364 0 42198 0
[pid=11454] vsize: 170248
Current children cumulated CPU time (s) 185.95
Current children cumulated vsize (Kb) 170248

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 55557 0 0 0 19227 348 0 0 25 0 1 0 22487803 176123904 31567 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 42999 31567 364 364 0 42635 0
[pid=11454] vsize: 171996
Current children cumulated CPU time (s) 195.75
Current children cumulated vsize (Kb) 171996

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 55610 0 0 0 20184 360 0 0 25 0 1 0 22487803 176394240 31620 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 43065 31620 364 364 0 42701 0
[pid=11454] vsize: 172260
Current children cumulated CPU time (s) 205.44
Current children cumulated vsize (Kb) 172260

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 56279 0 0 0 21140 377 0 0 25 0 1 0 22487803 176934912 31713 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43197 31713 364 364 0 42833 0
[pid=11454] vsize: 172788
Current children cumulated CPU time (s) 215.17
Current children cumulated vsize (Kb) 172788

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 56379 0 0 0 22099 392 0 0 25 0 1 0 22487803 177336320 31780 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 43295 31780 364 364 0 42931 0
[pid=11454] vsize: 173180
Current children cumulated CPU time (s) 224.91
Current children cumulated vsize (Kb) 173180

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 57013 0 0 0 23055 408 0 0 25 0 1 0 22487803 177606656 31838 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43361 31838 364 364 0 42997 0
[pid=11454] vsize: 173444
Current children cumulated CPU time (s) 234.63
Current children cumulated vsize (Kb) 173444

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 57600 0 0 0 24012 424 0 0 25 0 1 0 22487803 177606656 31849 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 43361 31849 364 364 0 42997 0
[pid=11454] vsize: 173444
Current children cumulated CPU time (s) 244.36
Current children cumulated vsize (Kb) 173444

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 57630 0 0 0 24960 441 0 0 25 0 1 0 22487803 177741824 31879 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43394 31879 364 364 0 43030 0
[pid=11454] vsize: 173576
Current children cumulated CPU time (s) 254.01
Current children cumulated vsize (Kb) 173576

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 58229 0 0 0 25912 457 0 0 25 0 1 0 22487803 177876992 31902 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 43427 31902 364 364 0 43063 0
[pid=11454] vsize: 173708
Current children cumulated CPU time (s) 263.69
Current children cumulated vsize (Kb) 173708

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 58831 0 0 0 26864 475 0 0 25 0 1 0 22487803 178073600 31928 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43475 31928 364 364 0 43111 0
[pid=11454] vsize: 173900
Current children cumulated CPU time (s) 273.39
Current children cumulated vsize (Kb) 173900

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 58964 0 0 0 27812 492 0 0 25 0 1 0 22487803 178536448 32028 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43588 32028 364 364 0 43224 0
[pid=11454] vsize: 174352
Current children cumulated CPU time (s) 283.04
Current children cumulated vsize (Kb) 174352

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 59574 0 0 0 28765 509 0 0 25 0 1 0 22487803 178671616 32062 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 43621 32062 364 364 0 43257 0
[pid=11454] vsize: 174484
Current children cumulated CPU time (s) 292.74
Current children cumulated vsize (Kb) 174484

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 60118 0 0 0 29719 524 0 0 25 0 1 0 22487803 181768192 32606 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44377 32606 364 364 0 44013 0
[pid=11454] vsize: 177508
Current children cumulated CPU time (s) 302.43
Current children cumulated vsize (Kb) 177508

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 60355 0 0 0 30677 539 0 0 25 0 1 0 22487803 179949568 32267 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43933 32267 364 364 0 43569 0
[pid=11454] vsize: 175732
Current children cumulated CPU time (s) 312.16
Current children cumulated vsize (Kb) 175732

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 60942 0 0 0 31636 552 0 0 25 0 1 0 22487803 179949568 32278 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43933 32278 364 364 0 43569 0
[pid=11454] vsize: 175732
Current children cumulated CPU time (s) 321.88
Current children cumulated vsize (Kb) 175732

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 60968 0 0 0 32583 569 0 0 25 0 1 0 22487803 179949568 32304 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43933 32304 364 364 0 43569 0
[pid=11454] vsize: 175732
Current children cumulated CPU time (s) 331.52
Current children cumulated vsize (Kb) 175732

[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 61550 0 0 0 33544 583 0 0 25 0 1 0 22487803 179949568 32310 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 43933 32310 364 364 0 43569 0
[pid=11454] vsize: 175732
Current children cumulated CPU time (s) 341.27
Current children cumulated vsize (Kb) 175732

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 61680 0 0 0 34499 599 0 0 25 0 1 0 22487803 180625408 32440 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44098 32440 364 364 0 43734 0
[pid=11454] vsize: 176392
Current children cumulated CPU time (s) 350.98
Current children cumulated vsize (Kb) 176392

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 62281 0 0 0 35448 615 0 0 25 0 1 0 22487803 180760576 32465 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44131 32465 364 364 0 43767 0
[pid=11454] vsize: 176524
Current children cumulated CPU time (s) 360.63
Current children cumulated vsize (Kb) 176524

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 62921 0 0 0 36400 632 0 0 25 0 1 0 22487803 181030912 32529 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44197 32529 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 370.32
Current children cumulated vsize (Kb) 176788

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 62930 0 0 0 37341 652 0 0 25 0 1 0 22487803 181030912 32538 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44197 32538 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 379.93
Current children cumulated vsize (Kb) 176788

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 63514 0 0 0 38292 669 0 0 25 0 1 0 22487803 181030912 32546 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44197 32546 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 389.61
Current children cumulated vsize (Kb) 176788

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 64102 0 0 0 39247 683 0 0 25 0 1 0 22487803 181030912 32558 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44197 32558 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 399.3
Current children cumulated vsize (Kb) 176788

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 64108 0 0 0 40193 702 0 0 25 0 1 0 22487803 181030912 32564 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44197 32564 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 408.95
Current children cumulated vsize (Kb) 176788

[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 64690 0 0 0 41152 717 0 0 25 0 1 0 22487803 181030912 32570 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44197 32570 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 418.69
Current children cumulated vsize (Kb) 176788

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 64696 0 0 0 42102 732 0 0 25 0 1 0 22487803 181030912 32576 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44197 32576 364 364 0 43833 0
[pid=11454] vsize: 176788
Current children cumulated CPU time (s) 428.34
Current children cumulated vsize (Kb) 176788

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 65301 0 0 0 43056 749 0 0 25 0 1 0 22487803 181166080 32605 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44230 32605 364 364 0 43866 0
[pid=11454] vsize: 176920
Current children cumulated CPU time (s) 438.05
Current children cumulated vsize (Kb) 176920

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 65370 0 0 0 44016 763 0 0 25 0 1 0 22487803 181571584 32674 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44329 32674 364 364 0 43965 0
[pid=11454] vsize: 177316
Current children cumulated CPU time (s) 447.79
Current children cumulated vsize (Kb) 177316

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 65974 0 0 0 44969 780 0 0 25 0 1 0 22487803 181706752 32702 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44362 32702 364 364 0 43998 0
[pid=11454] vsize: 177448
Current children cumulated CPU time (s) 457.49
Current children cumulated vsize (Kb) 177448

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 66556 0 0 0 45918 798 0 0 25 0 1 0 22487803 181706752 32708 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44362 32708 364 364 0 43998 0
[pid=11454] vsize: 177448
Current children cumulated CPU time (s) 467.16
Current children cumulated vsize (Kb) 177448

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11454
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 66564 0 0 0 46869 813 0 0 25 0 1 0 22487803 181706752 32716 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44362 32716 364 364 0 43998 0
[pid=11454] vsize: 177448
Current children cumulated CPU time (s) 476.82
Current children cumulated vsize (Kb) 177448

[startup+500.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 67182 0 0 0 47813 836 0 0 23 0 1 0 22487803 181977088 32758 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44428 32758 364 364 0 44064 0
[pid=11454] vsize: 177712
Current children cumulated CPU time (s) 486.49
Current children cumulated vsize (Kb) 177712

[startup+510.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 67205 0 0 0 48771 851 0 0 25 0 1 0 22487803 182112256 32781 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44461 32781 364 364 0 44097 0
[pid=11454] vsize: 177844
Current children cumulated CPU time (s) 496.22
Current children cumulated vsize (Kb) 177844

[startup+520.023 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 67809 0 0 0 49730 866 0 0 25 0 1 0 22487803 182247424 32809 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44494 32809 364 364 0 44130 0
[pid=11454] vsize: 177976
Current children cumulated CPU time (s) 505.96
Current children cumulated vsize (Kb) 177976

[startup+530.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 67816 0 0 0 50680 882 0 0 23 0 1 0 22487803 182247424 32816 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44494 32816 364 364 0 44130 0
[pid=11454] vsize: 177976
Current children cumulated CPU time (s) 515.62
Current children cumulated vsize (Kb) 177976

[startup+540.024 s]
Raw data (loadavg): 1.04 0.99 0.91 1/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 68398 0 0 0 51635 899 0 0 25 0 1 0 22487803 182247424 32822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44494 32822 364 364 0 44130 0
[pid=11454] vsize: 177976
Current children cumulated CPU time (s) 525.34
Current children cumulated vsize (Kb) 177976

[startup+550.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 11509
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 68442 0 0 0 52585 916 0 0 25 0 1 0 22487803 182517760 32866 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44560 32866 364 364 0 44196 0
[pid=11454] vsize: 178240
Current children cumulated CPU time (s) 535.01
Current children cumulated vsize (Kb) 178240

[startup+560.024 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 11511
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 69045 0 0 0 53550 929 0 0 25 0 1 0 22487803 182652928 32893 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44593 32893 364 364 0 44229 0
[pid=11454] vsize: 178372
Current children cumulated CPU time (s) 544.79
Current children cumulated vsize (Kb) 178372

[startup+570.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 11513
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 69057 0 0 0 54511 943 0 0 25 0 1 0 22487803 182652928 32905 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 44593 32905 364 364 0 44229 0
[pid=11454] vsize: 178372
Current children cumulated CPU time (s) 554.54
Current children cumulated vsize (Kb) 178372

[startup+580.025 s]
Raw data (loadavg): 1.07 1.00 0.92 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 69709 0 0 0 55470 956 0 0 25 0 1 0 22487803 183132160 32981 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44710 32981 364 364 0 44346 0
[pid=11454] vsize: 178840
Current children cumulated CPU time (s) 564.26
Current children cumulated vsize (Kb) 178840

[startup+590.025 s]
Raw data (loadavg): 1.06 1.00 0.92 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 69835 0 0 0 56425 971 0 0 25 0 1 0 22487803 183562240 33107 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44815 33107 364 364 0 44451 0
[pid=11454] vsize: 179260
Current children cumulated CPU time (s) 573.96
Current children cumulated vsize (Kb) 179260

[startup+600.026 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 70496 0 0 0 57383 987 0 0 25 0 1 0 22487803 184160256 33192 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 44961 33192 364 364 0 44597 0
[pid=11454] vsize: 179844
Current children cumulated CPU time (s) 583.7
Current children cumulated vsize (Kb) 179844

[startup+610.025 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 70647 0 0 0 58339 1002 0 0 25 0 1 0 22487803 184971264 33343 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 45159 33343 364 364 0 44795 0
[pid=11454] vsize: 180636
Current children cumulated CPU time (s) 593.41
Current children cumulated vsize (Kb) 180636

[startup+620.026 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 71244 0 0 0 59310 1015 0 0 25 0 1 0 22487803 185106432 33364 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 45192 33364 364 364 0 44828 0
[pid=11454] vsize: 180768
Current children cumulated CPU time (s) 603.25
Current children cumulated vsize (Kb) 180768

[startup+630.026 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 71276 0 0 0 60272 1027 0 0 25 0 1 0 22487803 185241600 33396 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45225 33396 364 364 0 44861 0
[pid=11454] vsize: 180900
Current children cumulated CPU time (s) 612.99
Current children cumulated vsize (Kb) 180900

[startup+640.025 s]
Raw data (loadavg): 1.07 1.01 0.93 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 71865 0 0 0 61227 1045 0 0 25 0 1 0 22487803 185241600 33409 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45225 33409 364 364 0 44861 0
[pid=11454] vsize: 180900
Current children cumulated CPU time (s) 622.72
Current children cumulated vsize (Kb) 180900

[startup+650.025 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 71870 0 0 0 62189 1057 0 0 25 0 1 0 22487803 185241600 33414 4294967295 134512640 135987407 3221224560 3221223376 134815464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 45225 33414 364 364 0 44861 0
[pid=11454] vsize: 180900
Current children cumulated CPU time (s) 632.46
Current children cumulated vsize (Kb) 180900

[startup+660.025 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 72450 0 0 0 63150 1071 0 0 25 0 1 0 22487803 185241600 33418 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 45225 33418 364 364 0 44861 0
[pid=11454] vsize: 180900
Current children cumulated CPU time (s) 642.21
Current children cumulated vsize (Kb) 180900

[startup+670.026 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 72485 0 0 0 64106 1086 0 0 25 0 1 0 22487803 185438208 33453 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 45273 33453 364 364 0 44909 0
[pid=11454] vsize: 181092
Current children cumulated CPU time (s) 651.92
Current children cumulated vsize (Kb) 181092

[startup+680.026 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 73072 0 0 0 65062 1102 0 0 25 0 1 0 22487803 185438208 33464 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45273 33464 364 364 0 44909 0
[pid=11454] vsize: 181092
Current children cumulated CPU time (s) 661.64
Current children cumulated vsize (Kb) 181092

[startup+690.026 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 73078 0 0 0 66017 1118 0 0 25 0 1 0 22487803 185438208 33470 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45273 33470 364 364 0 44909 0
[pid=11454] vsize: 181092
Current children cumulated CPU time (s) 671.35
Current children cumulated vsize (Kb) 181092

[startup+700.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 73679 0 0 0 66986 1130 0 0 25 0 1 0 22487803 185573376 33495 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45306 33495 364 364 0 44942 0
[pid=11454] vsize: 181224
Current children cumulated CPU time (s) 681.16
Current children cumulated vsize (Kb) 181224

[startup+710.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 73712 0 0 0 67945 1145 0 0 25 0 1 0 22487803 185708544 33528 4294967295 134512640 135987407 3221224560 3221223328 134812414 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 45339 33528 364 364 0 44975 0
[pid=11454] vsize: 181356
Current children cumulated CPU time (s) 690.9
Current children cumulated vsize (Kb) 181356

[startup+720.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 74294 0 0 0 68911 1157 0 0 25 0 1 0 22487803 202485760 33534 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 49435 33534 364 364 0 49071 0
[pid=11454] vsize: 197740
Current children cumulated CPU time (s) 700.68
Current children cumulated vsize (Kb) 197740

[startup+730.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 74578 0 0 0 69872 1172 0 0 25 0 1 0 22487803 204050432 33818 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 49817 33818 364 364 0 49453 0
[pid=11454] vsize: 199268
Current children cumulated CPU time (s) 710.44
Current children cumulated vsize (Kb) 199268

[startup+740.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 74647 0 0 0 70832 1185 0 0 25 0 1 0 22487803 204185600 33887 4294967295 134512640 135987407 3221224560 3221223280 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 49850 33887 364 364 0 49486 0
[pid=11454] vsize: 199400
Current children cumulated CPU time (s) 720.17
Current children cumulated vsize (Kb) 199400

[startup+750.027 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 75277 0 0 0 71794 1200 0 0 25 0 1 0 22487803 204517376 33941 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 49931 33941 364 364 0 49567 0
[pid=11454] vsize: 199724
Current children cumulated CPU time (s) 729.94
Current children cumulated vsize (Kb) 199724

[startup+760.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 75293 0 0 0 72755 1213 0 0 25 0 1 0 22487803 204681216 33957 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 49971 33957 364 364 0 49607 0
[pid=11454] vsize: 199884
Current children cumulated CPU time (s) 739.68
Current children cumulated vsize (Kb) 199884

[startup+770.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 76011 0 0 0 73714 1227 0 0 25 0 1 0 22487803 205373440 34099 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50140 34099 364 364 0 49776 0
[pid=11454] vsize: 200560
Current children cumulated CPU time (s) 749.41
Current children cumulated vsize (Kb) 200560

[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 76151 0 0 0 74677 1242 0 0 25 0 1 0 22487803 205975552 34239 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50287 34239 364 364 0 49923 0
[pid=11454] vsize: 201148
Current children cumulated CPU time (s) 759.19
Current children cumulated vsize (Kb) 201148

[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 76757 0 0 0 75633 1257 0 0 25 0 1 0 22487803 206110720 34269 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50320 34269 364 364 0 49956 0
[pid=11454] vsize: 201280
Current children cumulated CPU time (s) 768.9
Current children cumulated vsize (Kb) 201280

[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11515
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 76818 0 0 0 76587 1273 0 0 25 0 1 0 22487803 206516224 34330 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50419 34330 364 364 0 50055 0
[pid=11454] vsize: 201676
Current children cumulated CPU time (s) 778.6
Current children cumulated vsize (Kb) 201676

[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 77427 0 0 0 77541 1289 0 0 25 0 1 0 22487803 206651392 34363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50452 34363 364 364 0 50088 0
[pid=11454] vsize: 201808
Current children cumulated CPU time (s) 788.3
Current children cumulated vsize (Kb) 201808

[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 77598 0 0 0 78506 1301 0 0 25 0 1 0 22487803 207548416 34534 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50671 34534 364 364 0 50307 0
[pid=11454] vsize: 202684
Current children cumulated CPU time (s) 798.07
Current children cumulated vsize (Kb) 202684

[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 77602 0 0 0 79465 1314 0 0 25 0 1 0 22487803 207548416 34538 4294967295 134512640 135987407 3221224560 3221223424 134812940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50671 34538 364 364 0 50307 0
[pid=11454] vsize: 202684
Current children cumulated CPU time (s) 807.79
Current children cumulated vsize (Kb) 202684

[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 78182 0 0 0 80427 1329 0 0 25 0 1 0 22487803 207548416 34542 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50671 34542 364 364 0 50307 0
[pid=11454] vsize: 202684
Current children cumulated CPU time (s) 817.56
Current children cumulated vsize (Kb) 202684

[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 78186 0 0 0 81378 1347 0 0 25 0 1 0 22487803 207548416 34546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50671 34546 364 364 0 50307 0
[pid=11454] vsize: 202684
Current children cumulated CPU time (s) 827.25
Current children cumulated vsize (Kb) 202684

[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 78831 0 0 0 82340 1362 0 0 25 0 1 0 22487803 207953920 34615 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50770 34615 364 364 0 50406 0
[pid=11454] vsize: 203080
Current children cumulated CPU time (s) 837.02
Current children cumulated vsize (Kb) 203080

[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 78884 0 0 0 83308 1374 0 0 25 0 1 0 22487803 208224256 34668 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50836 34668 364 364 0 50472 0
[pid=11454] vsize: 203344
Current children cumulated CPU time (s) 846.82
Current children cumulated vsize (Kb) 203344

[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 78905 0 0 0 84270 1387 0 0 25 0 1 0 22487803 208359424 34689 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50869 34689 364 364 0 50505 0
[pid=11454] vsize: 203476
Current children cumulated CPU time (s) 856.57
Current children cumulated vsize (Kb) 203476

[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 78910 0 0 0 85234 1399 0 0 25 0 1 0 22487803 208359424 34694 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50869 34694 364 364 0 50505 0
[pid=11454] vsize: 203476
Current children cumulated CPU time (s) 866.33
Current children cumulated vsize (Kb) 203476

[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 78933 0 0 0 86196 1412 0 0 25 0 1 0 22487803 208494592 34717 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50902 34717 364 364 0 50538 0
[pid=11454] vsize: 203608
Current children cumulated CPU time (s) 876.08
Current children cumulated vsize (Kb) 203608

[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 79574 0 0 0 87162 1424 0 0 25 0 1 0 22487803 208764928 34782 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50968 34782 364 364 0 50604 0
[pid=11454] vsize: 203872
Current children cumulated CPU time (s) 885.86
Current children cumulated vsize (Kb) 203872

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 79582 0 0 0 88126 1436 0 0 25 0 1 0 22487803 208764928 34790 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 50968 34790 364 364 0 50604 0
[pid=11454] vsize: 203872
Current children cumulated CPU time (s) 895.62
Current children cumulated vsize (Kb) 203872

[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 80166 0 0 0 89090 1448 0 0 25 0 1 0 22487803 208764928 34798 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 50968 34798 364 364 0 50604 0
[pid=11454] vsize: 203872
Current children cumulated CPU time (s) 905.38
Current children cumulated vsize (Kb) 203872

[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 80193 0 0 0 90037 1464 0 0 25 0 1 0 22487803 208900096 34825 4294967295 134512640 135987407 3221224560 3221223248 134811977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51001 34825 364 364 0 50637 0
[pid=11454] vsize: 204004
Current children cumulated CPU time (s) 915.01
Current children cumulated vsize (Kb) 204004

[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 80803 0 0 0 91003 1475 0 0 25 0 1 0 22487803 209035264 34859 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51034 34859 364 364 0 50670 0
[pid=11454] vsize: 204136
Current children cumulated CPU time (s) 924.78
Current children cumulated vsize (Kb) 204136

[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 80806 0 0 0 91958 1491 0 0 25 0 1 0 22487803 209035264 34862 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51034 34862 364 364 0 50670 0
[pid=11454] vsize: 204136
Current children cumulated CPU time (s) 934.49
Current children cumulated vsize (Kb) 204136

[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 80812 0 0 0 92915 1506 0 0 25 0 1 0 22487803 209035264 34868 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51034 34868 364 364 0 50670 0
[pid=11454] vsize: 204136
Current children cumulated CPU time (s) 944.21
Current children cumulated vsize (Kb) 204136

[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 81434 0 0 0 93873 1519 0 0 25 0 1 0 22487803 209231872 34914 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51082 34914 364 364 0 50718 0
[pid=11454] vsize: 204328
Current children cumulated CPU time (s) 953.92
Current children cumulated vsize (Kb) 204328

[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 81439 0 0 0 94831 1533 0 0 25 0 1 0 22487803 209231872 34919 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51082 34919 364 364 0 50718 0
[pid=11454] vsize: 204328
Current children cumulated CPU time (s) 963.64
Current children cumulated vsize (Kb) 204328

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 82040 0 0 0 95794 1546 0 0 25 0 1 0 22487803 209428480 34944 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51130 34944 364 364 0 50766 0
[pid=11454] vsize: 204520
Current children cumulated CPU time (s) 973.4
Current children cumulated vsize (Kb) 204520

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 82072 0 0 0 96753 1559 0 0 25 0 1 0 22487803 209563648 34976 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51163 34976 364 364 0 50799 0
[pid=11454] vsize: 204652
Current children cumulated CPU time (s) 983.12
Current children cumulated vsize (Kb) 204652

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 82129 0 0 0 97718 1571 0 0 25 0 1 0 22487803 209833984 35033 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51229 35033 364 364 0 50865 0
[pid=11454] vsize: 204916
Current children cumulated CPU time (s) 992.89
Current children cumulated vsize (Kb) 204916

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 82711 0 0 0 98668 1590 0 0 25 0 1 0 22487803 209833984 35039 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51229 35039 364 364 0 50865 0
[pid=11454] vsize: 204916
Current children cumulated CPU time (s) 1002.58
Current children cumulated vsize (Kb) 204916

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 82716 0 0 0 99621 1605 0 0 25 0 1 0 22487803 209833984 35044 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51229 35044 364 364 0 50865 0
[pid=11454] vsize: 204916
Current children cumulated CPU time (s) 1012.26
Current children cumulated vsize (Kb) 204916

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 83295 0 0 0 100574 1622 0 0 25 0 1 0 22487803 209833984 35047 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51229 35047 364 364 0 50865 0
[pid=11454] vsize: 204916
Current children cumulated CPU time (s) 1021.96
Current children cumulated vsize (Kb) 204916

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 83384 0 0 0 101538 1635 0 0 25 0 1 0 22487803 210239488 35136 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51328 35136 364 364 0 50964 0
[pid=11454] vsize: 205312
Current children cumulated CPU time (s) 1031.73
Current children cumulated vsize (Kb) 205312

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 84010 0 0 0 102507 1646 0 0 25 0 1 0 22487803 210436096 35186 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51376 35186 364 364 0 51012 0
[pid=11454] vsize: 205504
Current children cumulated CPU time (s) 1041.53
Current children cumulated vsize (Kb) 205504

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 84029 0 0 0 103461 1660 0 0 25 0 1 0 22487803 210571264 35205 4294967295 134512640 135987407 3221224560 3221223248 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51409 35205 364 364 0 51045 0
[pid=11454] vsize: 205636
Current children cumulated CPU time (s) 1051.21
Current children cumulated vsize (Kb) 205636

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 84040 0 0 0 104418 1673 0 0 25 0 1 0 22487803 210571264 35216 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51409 35216 364 364 0 51045 0
[pid=11454] vsize: 205636
Current children cumulated CPU time (s) 1060.91
Current children cumulated vsize (Kb) 205636

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 84620 0 0 0 105382 1686 0 0 25 0 1 0 22487803 210571264 35220 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51409 35220 364 364 0 51045 0
[pid=11454] vsize: 205636
Current children cumulated CPU time (s) 1070.68
Current children cumulated vsize (Kb) 205636

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 84644 0 0 0 106349 1697 0 0 25 0 1 0 22487803 210706432 35244 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51442 35244 364 364 0 51078 0
[pid=11454] vsize: 205768
Current children cumulated CPU time (s) 1080.46
Current children cumulated vsize (Kb) 205768

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 85246 0 0 0 107311 1711 0 0 25 0 1 0 22487803 210841600 35270 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51475 35270 364 364 0 51111 0
[pid=11454] vsize: 205900
Current children cumulated CPU time (s) 1090.22
Current children cumulated vsize (Kb) 205900

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 85290 0 0 0 108270 1724 0 0 25 0 1 0 22487803 210976768 35314 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51508 35314 364 364 0 51144 0
[pid=11454] vsize: 206032
Current children cumulated CPU time (s) 1099.94
Current children cumulated vsize (Kb) 206032

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 85871 0 0 0 109224 1741 0 0 25 0 1 0 22487803 210976768 35319 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51508 35319 364 364 0 51144 0
[pid=11454] vsize: 206032
Current children cumulated CPU time (s) 1109.65
Current children cumulated vsize (Kb) 206032

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 85876 0 0 0 110179 1756 0 0 25 0 1 0 22487803 210976768 35324 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51508 35324 364 364 0 51144 0
[pid=11454] vsize: 206032
Current children cumulated CPU time (s) 1119.35
Current children cumulated vsize (Kb) 206032

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 85900 0 0 0 111135 1772 0 0 25 0 1 0 22487803 211111936 35348 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51541 35348 364 364 0 51177 0
[pid=11454] vsize: 206164
Current children cumulated CPU time (s) 1129.07
Current children cumulated vsize (Kb) 206164

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 86483 0 0 0 112092 1787 0 0 25 0 1 0 22487803 211111936 35355 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51541 35355 364 364 0 51177 0
[pid=11454] vsize: 206164
Current children cumulated CPU time (s) 1138.79
Current children cumulated vsize (Kb) 206164

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 86488 0 0 0 113053 1802 0 0 25 0 1 0 22487803 211111936 35360 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51541 35360 364 364 0 51177 0
[pid=11454] vsize: 206164
Current children cumulated CPU time (s) 1148.55
Current children cumulated vsize (Kb) 206164

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 87067 0 0 0 114018 1812 0 0 25 0 1 0 22487803 211111936 35363 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51541 35363 364 364 0 51177 0
[pid=11454] vsize: 206164
Current children cumulated CPU time (s) 1158.3
Current children cumulated vsize (Kb) 206164

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 87070 0 0 0 114972 1829 0 0 25 0 1 0 22487803 211111936 35366 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51541 35366 364 364 0 51177 0
[pid=11454] vsize: 206164
Current children cumulated CPU time (s) 1168.01
Current children cumulated vsize (Kb) 206164

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 87085 0 0 0 115932 1841 0 0 25 0 1 0 22487803 211308544 35381 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51589 35381 364 364 0 51225 0
[pid=11454] vsize: 206356
Current children cumulated CPU time (s) 1177.73
Current children cumulated vsize (Kb) 206356

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) T 11453 11454 4059 0 -1 0 87683 0 0 0 116880 1859 0 0 25 0 1 0 22487803 211308544 35403 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51589 35403 364 364 0 51225 0
[pid=11454] vsize: 206356
Current children cumulated CPU time (s) 1187.39
Current children cumulated vsize (Kb) 206356

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 87690 0 0 0 117825 1879 0 0 25 0 1 0 22487803 211308544 35410 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11454/statm): 51589 35410 364 364 0 51225 0
[pid=11454] vsize: 206356
Current children cumulated CPU time (s) 1197.04
Current children cumulated vsize (Kb) 206356

[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 88287 0 0 0 118784 1893 0 0 25 0 1 0 22487803 211443712 35431 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51622 35431 364 364 0 51258 0
[pid=11454] vsize: 206488
Current children cumulated CPU time (s) 1206.77
Current children cumulated vsize (Kb) 206488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11517
Raw data (/proc/11454/stat): 11454 (pb2sat) R 11453 11454 4059 0 -1 0 88287 0 0 0 118784 1893 0 0 25 0 1 0 22487803 211443712 35431 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11454/statm): 51622 35431 364 364 0 51258 0
[pid=11454] vsize: 206488
Current children cumulated CPU time (s) 1206.77
Current children cumulated vsize (Kb) 206488

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

Child status: 0
Real time (s): 1240.58
CPU time (s): 1207.31
CPU user time (s): 1188.29
CPU system time (s): 19.0141
CPU usage (%): 97.3181
Max. virtual memory (cumulated for all children) (Kb): 206488

Verifier Data

ERROR: no interpretation found !