Some explanations

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

General information on the benchmark

Nameweb/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
MD5SUMb8424149645ffb0af409a9e7aef74685
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables81558
Total number of constraints240469
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 9801

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 15:17:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8500 boxname=wulflinc18 idbench=296 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 8500
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        929384 kB
Buffers:         14448 kB
Cached:          70824 kB
SwapCached:          0 kB
Active:          52540 kB
Inactive:        35688 kB
HighTotal:      131008 kB
HighFree:        55748 kB
LowTotal:       903652 kB
LowFree:        873636 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11416 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:38:05 (client local time) WITH STATUS 0 IN 1201.07 SECONDS
stats: 8500 7 1201.07 0

Solver Data

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

c Decision: 5324/167156	Time: 59.126/86400
c Decision: 5324/167156	Time: 74.5987/86400
c Decision: 5325/167156	Time: 91.2661/86400
c Decision: 5325/167156	Time: 105.466/86400
c Decision: 5325/167156	Time: 123.202/86400
c Decision: 5326/167156	Time: 142.068/86400
c Decision: 5326/167156	Time: 156.535/86400
c Decision: 5330/167156	Time: 183.928/86400
c Decision: 5330/167156	Time: 201.264/86400
c Decision: 5330/167156	Time: 222.286/86400
c Decision: 5334/167156	Time: 248.439/86400
c Decision: 5337/167156	Time: 268.356/86400
c Decision: 5337/167156	Time: 293.369/86400
c Decision: 5337/167156	Time: 316.597/86400
c Decision: 5337/167156	Time: 339.671/86400
c Decision: 5337/167156	Time: 364.656/86400
c Decision: 5337/167156	Time: 384.507/86400
c Decision: 5337/167156	Time: 407.652/86400
c Decision: 5337/167156	Time: 421.734/86400
c Decision: 5337/167156	Time: 448.805/86400
c Decision: 5337/167156	Time: 471.164/86400
c Decision: 5371/167156	Time: 497.339/86400
c Decision: 5371/167156	Time: 516.972/86400
c Decision: 5373/167156	Time: 549.04/86400
c Decision: 5373/167156	Time: 577.032/86400
c Decision: 5373/167156	Time: 600.061/86400
c Decision: 5376/167156	Time: 624.674/86400
c Decision: 5376/167156	Time: 648.274/86400
c Decision: 5376/167156	Time: 673.303/86400
c Decision: 5376/167156	Time: 691.358/86400
c Decision: 5377/167156	Time: 719.142/86400
c Decision: 5377/167156	Time: 751.142/86400
c Decision: 5377/167156	Time: 776.215/86400
c Decision: 5379/167156	Time: 810.438/86400
c Decision: 5379/167156	Time: 828.959/86400
c Decision: 5379/167156	Time: 851.299/86400
c Decision: 5379/167156	Time: 872.083/86400
c Decision: 5379/167156	Time: 897.73/86400
c Decision: 5381/167156	Time: 945.419/86400
c Decision: 5381/167156	Time: 981.849/86400
c Decision: 5381/167156	Time: 1005.85/86400
c Decision: 5381/167156	Time: 1036.32/86400
c Decision: 5384/167156	Time: 1061.45/86400
c Decision: 5384/167156	Time: 1092.17/86400
c Decision: 5384/167156	Time: 1125.48/86400
c Decision: 5384/167156	Time: 1151.84/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/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21206686 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 373 2 364 364 0 9 0
[pid=6724] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-cache-ibm-q-full.all.ucl.opb

[startup+10.0022 s]
Raw data (loadavg): 0.83 0.94 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 5498 0 0 0 980 17 0 0 25 0 1 0 21206686 19251200 3566 4294967295 134512640 135987407 3221224560 3221221660 135481919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 4700 3566 364 364 0 4336 0
[pid=6724] vsize: 18800
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 18800

[startup+20.0031 s]
Raw data (loadavg): 0.86 0.94 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 10814 0 0 0 1961 34 0 0 25 0 1 0 21206686 36782080 6862 4294967295 134512640 135987407 3221224560 3221221952 134616207 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 8980 6862 364 364 0 8616 0
[pid=6724] vsize: 35920
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 35920

[startup+30.004 s]
Raw data (loadavg): 0.88 0.94 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 22958 0 0 0 2928 64 0 0 25 0 1 0 21206686 69545984 14579 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 16979 14579 364 364 0 16615 0
[pid=6724] vsize: 67916
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 67916

[startup+40.005 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 24284 0 0 0 3912 72 0 0 25 0 1 0 21206686 75546624 15740 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 18444 15740 364 364 0 18080 0
[pid=6724] vsize: 73776
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 73776

[startup+50.0049 s]
Raw data (loadavg): 0.91 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 25086 0 0 0 4902 76 0 0 25 0 1 0 21206686 78888960 16344 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 19260 16344 364 364 0 18896 0
[pid=6724] vsize: 77040
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 77040

[startup+60.0058 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 25292 0 0 0 5892 80 0 0 25 0 1 0 21206686 79831040 16517 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 19490 16517 364 364 0 19126 0
[pid=6724] vsize: 77960
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 77960

[startup+70.0068 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 25403 0 0 0 6885 83 0 0 25 0 1 0 21206686 80097280 16595 4294967295 134512640 135987407 3221224560 3221223384 135479881 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 19555 16595 364 364 0 19191 0
[pid=6724] vsize: 78220
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (Kb) 78220

[startup+80.0077 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 25811 0 0 0 7875 86 0 0 25 0 1 0 21206686 81559552 16871 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 19912 16871 364 364 0 19548 0
[pid=6724] vsize: 79648
Current children cumulated CPU time (s) 79.61
Current children cumulated vsize (Kb) 79648

[startup+90.0086 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 26276 0 0 0 8867 90 0 0 25 0 1 0 21206686 81821696 16943 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 19976 16943 364 364 0 19612 0
[pid=6724] vsize: 79904
Current children cumulated CPU time (s) 89.57
Current children cumulated vsize (Kb) 79904

[startup+100.009 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 26347 0 0 0 9854 94 0 0 25 0 1 0 21206686 82227200 17014 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 20075 17014 364 364 0 19711 0
[pid=6724] vsize: 80300
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (Kb) 80300

[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 26861 0 0 0 10840 100 0 0 25 0 1 0 21206686 82890752 17135 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 20237 17135 364 364 0 19873 0
[pid=6724] vsize: 80948
Current children cumulated CPU time (s) 109.4
Current children cumulated vsize (Kb) 80948

[startup+120.009 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 27329 0 0 0 11829 105 0 0 25 0 1 0 21206686 85078016 17603 4294967295 134512640 135987407 3221224560 3221222944 134828903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 20771 17603 364 364 0 20407 0
[pid=6724] vsize: 83084
Current children cumulated CPU time (s) 119.34
Current children cumulated vsize (Kb) 83084

[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 27511 0 0 0 12819 109 0 0 25 0 1 0 21206686 84267008 17392 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 20573 17392 364 364 0 20209 0
[pid=6724] vsize: 82292
Current children cumulated CPU time (s) 129.28
Current children cumulated vsize (Kb) 82292

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 27859 0 0 0 13805 114 0 0 25 0 1 0 21206686 84267008 17413 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 20573 17413 364 364 0 20209 0
[pid=6724] vsize: 82292
Current children cumulated CPU time (s) 139.19
Current children cumulated vsize (Kb) 82292

[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 28175 0 0 0 14792 119 0 0 25 0 1 0 21206686 85606400 17663 4294967295 134512640 135987407 3221224560 3221223376 134824816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 20900 17663 364 364 0 20536 0
[pid=6724] vsize: 83600
Current children cumulated CPU time (s) 149.11
Current children cumulated vsize (Kb) 83600

[startup+160.01 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 28719 0 0 0 15778 124 0 0 25 0 1 0 21206686 86401024 17814 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 21094 17814 364 364 0 20730 0
[pid=6724] vsize: 84376
Current children cumulated CPU time (s) 159.02
Current children cumulated vsize (Kb) 84376

[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 28801 0 0 0 16765 129 0 0 25 0 1 0 21206686 86802432 17896 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 21192 17896 364 364 0 20828 0
[pid=6724] vsize: 84768
Current children cumulated CPU time (s) 168.94
Current children cumulated vsize (Kb) 84768

[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 29183 0 0 0 17753 134 0 0 25 0 1 0 21206686 86933504 17918 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 21224 17918 364 364 0 20860 0
[pid=6724] vsize: 84896
Current children cumulated CPU time (s) 178.87
Current children cumulated vsize (Kb) 84896

[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 29590 0 0 0 18740 140 0 0 25 0 1 0 21206686 87195648 17932 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 21288 17932 364 364 0 20924 0
[pid=6724] vsize: 85152
Current children cumulated CPU time (s) 188.8
Current children cumulated vsize (Kb) 85152

[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 29698 0 0 0 19727 145 0 0 25 0 1 0 21206686 87597056 18007 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 21386 18007 364 364 0 21022 0
[pid=6724] vsize: 85544
Current children cumulated CPU time (s) 198.72
Current children cumulated vsize (Kb) 85544

[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 32843 0 0 0 20712 154 0 0 25 0 1 0 21206686 100585472 18079 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 24557 18079 364 364 0 24193 0
[pid=6724] vsize: 98228
Current children cumulated CPU time (s) 208.66
Current children cumulated vsize (Kb) 98228

[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 33235 0 0 0 21699 159 0 0 25 0 1 0 21206686 100716544 18111 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24589 18111 364 364 0 24225 0
[pid=6724] vsize: 98356
Current children cumulated CPU time (s) 218.58
Current children cumulated vsize (Kb) 98356

[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 33315 0 0 0 22685 163 0 0 25 0 1 0 21206686 100982784 18158 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24654 18158 364 364 0 24290 0
[pid=6724] vsize: 98616
Current children cumulated CPU time (s) 228.48
Current children cumulated vsize (Kb) 98616

[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 33652 0 0 0 23674 167 0 0 25 0 1 0 21206686 100982784 18168 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24654 18168 364 364 0 24290 0
[pid=6724] vsize: 98616
Current children cumulated CPU time (s) 238.41
Current children cumulated vsize (Kb) 98616

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 33688 0 0 0 24660 172 0 0 25 0 1 0 21206686 101117952 18204 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24687 18204 364 364 0 24323 0
[pid=6724] vsize: 98748
Current children cumulated CPU time (s) 248.32
Current children cumulated vsize (Kb) 98748

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 34207 0 0 0 25648 177 0 0 25 0 1 0 21206686 101912576 18297 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24881 18297 364 364 0 24517 0
[pid=6724] vsize: 99524
Current children cumulated CPU time (s) 258.25
Current children cumulated vsize (Kb) 99524

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 34258 0 0 0 26635 181 0 0 25 0 1 0 21206686 102178816 18348 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24946 18348 364 364 0 24582 0
[pid=6724] vsize: 99784
Current children cumulated CPU time (s) 268.16
Current children cumulated vsize (Kb) 99784

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 34647 0 0 0 27624 185 0 0 25 0 1 0 21206686 102309888 18377 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24978 18377 364 364 0 24614 0
[pid=6724] vsize: 99912
Current children cumulated CPU time (s) 278.09
Current children cumulated vsize (Kb) 99912

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 34651 0 0 0 28611 190 0 0 25 0 1 0 21206686 102309888 18381 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24978 18381 364 364 0 24614 0
[pid=6724] vsize: 99912
Current children cumulated CPU time (s) 288.01
Current children cumulated vsize (Kb) 99912

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 34980 0 0 0 29594 196 0 0 25 0 1 0 21206686 102309888 18383 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 24978 18383 364 364 0 24614 0
[pid=6724] vsize: 99912
Current children cumulated CPU time (s) 297.9
Current children cumulated vsize (Kb) 99912

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35048 0 0 0 30580 203 0 0 25 0 1 0 21206686 102715392 18451 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25077 18451 364 364 0 24713 0
[pid=6724] vsize: 100308
Current children cumulated CPU time (s) 307.83
Current children cumulated vsize (Kb) 100308

[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35070 0 0 0 31565 208 0 0 25 0 1 0 21206686 102715392 18473 4294967295 134512640 135987407 3221224560 3221223136 134788651 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25077 18473 364 364 0 24713 0
[pid=6724] vsize: 100308
Current children cumulated CPU time (s) 317.73
Current children cumulated vsize (Kb) 100308

[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35406 0 0 0 32551 213 0 0 25 0 1 0 21206686 102715392 18482 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25077 18482 364 364 0 24713 0
[pid=6724] vsize: 100308
Current children cumulated CPU time (s) 327.64
Current children cumulated vsize (Kb) 100308

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35455 0 0 0 33536 219 0 0 25 0 1 0 21206686 102846464 18498 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25109 18498 364 364 0 24745 0
[pid=6724] vsize: 100436
Current children cumulated CPU time (s) 337.55
Current children cumulated vsize (Kb) 100436

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35789 0 0 0 34522 224 0 0 25 0 1 0 21206686 102846464 18505 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25109 18505 364 364 0 24745 0
[pid=6724] vsize: 100436
Current children cumulated CPU time (s) 347.46
Current children cumulated vsize (Kb) 100436

[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35828 0 0 0 35510 228 0 0 25 0 1 0 21206686 102981632 18544 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25142 18544 364 364 0 24778 0
[pid=6724] vsize: 100568
Current children cumulated CPU time (s) 357.38
Current children cumulated vsize (Kb) 100568

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 35862 0 0 0 36496 233 0 0 25 0 1 0 21206686 102981632 18578 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25142 18578 364 364 0 24778 0
[pid=6724] vsize: 100568
Current children cumulated CPU time (s) 367.29
Current children cumulated vsize (Kb) 100568

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36199 0 0 0 37482 239 0 0 25 0 1 0 21206686 102981632 18588 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25142 18588 364 364 0 24778 0
[pid=6724] vsize: 100568
Current children cumulated CPU time (s) 377.21
Current children cumulated vsize (Kb) 100568

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36211 0 0 0 38469 243 0 0 25 0 1 0 21206686 102981632 18600 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25142 18600 364 364 0 24778 0
[pid=6724] vsize: 100568
Current children cumulated CPU time (s) 387.12
Current children cumulated vsize (Kb) 100568

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36561 0 0 0 39457 248 0 0 25 0 1 0 21206686 102981632 18623 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25142 18623 364 364 0 24778 0
[pid=6724] vsize: 100568
Current children cumulated CPU time (s) 397.05
Current children cumulated vsize (Kb) 100568

[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36621 0 0 0 40449 250 0 0 25 0 1 0 21206686 103112704 18650 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25174 18650 364 364 0 24810 0
[pid=6724] vsize: 100696
Current children cumulated CPU time (s) 406.99
Current children cumulated vsize (Kb) 100696

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36956 0 0 0 41438 255 0 0 25 0 1 0 21206686 103112704 18658 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25174 18658 364 364 0 24810 0
[pid=6724] vsize: 100696
Current children cumulated CPU time (s) 416.93
Current children cumulated vsize (Kb) 100696

[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 36996 0 0 0 42424 259 0 0 25 0 1 0 21206686 103247872 18698 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25207 18698 364 364 0 24843 0
[pid=6724] vsize: 100828
Current children cumulated CPU time (s) 426.83
Current children cumulated vsize (Kb) 100828

[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 37378 0 0 0 43415 263 0 0 25 0 1 0 21206686 103378944 18720 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25239 18720 364 364 0 24875 0
[pid=6724] vsize: 100956
Current children cumulated CPU time (s) 436.78
Current children cumulated vsize (Kb) 100956

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 37439 0 0 0 44400 268 0 0 25 0 1 0 21206686 103645184 18781 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25304 18781 364 364 0 24940 0
[pid=6724] vsize: 101216
Current children cumulated CPU time (s) 446.68
Current children cumulated vsize (Kb) 101216

[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 37803 0 0 0 45389 273 0 0 25 0 1 0 21206686 103645184 18818 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25304 18818 364 364 0 24940 0
[pid=6724] vsize: 101216
Current children cumulated CPU time (s) 456.62
Current children cumulated vsize (Kb) 101216

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 37963 0 0 0 46376 278 0 0 25 0 1 0 21206686 104038400 18880 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25400 18880 364 364 0 25036 0
[pid=6724] vsize: 101600
Current children cumulated CPU time (s) 466.54
Current children cumulated vsize (Kb) 101600

[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 37973 0 0 0 47364 282 0 0 25 0 1 0 21206686 104038400 18890 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25400 18890 364 364 0 25036 0
[pid=6724] vsize: 101600
Current children cumulated CPU time (s) 476.46
Current children cumulated vsize (Kb) 101600

[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 38317 0 0 0 48350 287 0 0 25 0 1 0 21206686 104038400 18907 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 25400 18907 364 364 0 25036 0
[pid=6724] vsize: 101600
Current children cumulated CPU time (s) 486.37
Current children cumulated vsize (Kb) 101600

[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 38421 0 0 0 49334 294 0 0 25 0 1 0 21206686 104300544 18945 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18945 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 496.28
Current children cumulated vsize (Kb) 101856

[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 38752 0 0 0 50320 300 0 0 25 0 1 0 21206686 104300544 18949 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18949 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 506.2
Current children cumulated vsize (Kb) 101856

[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 38755 0 0 0 51309 304 0 0 25 0 1 0 21206686 104300544 18952 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18952 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 516.13
Current children cumulated vsize (Kb) 101856

[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39085 0 0 0 52298 308 0 0 25 0 1 0 21206686 104300544 18955 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18955 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 526.06
Current children cumulated vsize (Kb) 101856

[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39088 0 0 0 53288 312 0 0 25 0 1 0 21206686 104300544 18958 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18958 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 536
Current children cumulated vsize (Kb) 101856

[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39430 0 0 0 54273 318 0 0 25 0 1 0 21206686 104300544 18973 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 25464 18973 364 364 0 25100 0
[pid=6724] vsize: 101856
Current children cumulated CPU time (s) 545.91
Current children cumulated vsize (Kb) 101856

[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39562 0 0 0 55258 322 0 0 25 0 1 0 21206686 113352704 19072 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27674 19072 364 364 0 27310 0
[pid=6724] vsize: 110696
Current children cumulated CPU time (s) 555.8
Current children cumulated vsize (Kb) 110696

[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39572 0 0 0 56244 328 0 0 25 0 1 0 21206686 113352704 19082 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27674 19082 364 364 0 27310 0
[pid=6724] vsize: 110696
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 110696

[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 39624 0 0 0 57229 333 0 0 25 0 1 0 21206686 113483776 19101 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27706 19101 364 364 0 27342 0
[pid=6724] vsize: 110824
Current children cumulated CPU time (s) 575.62
Current children cumulated vsize (Kb) 110824

[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 40013 0 0 0 58215 339 0 0 25 0 1 0 21206686 113614848 19130 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27738 19130 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 585.54
Current children cumulated vsize (Kb) 110952

[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 40027 0 0 0 59203 343 0 0 25 0 1 0 21206686 113614848 19144 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27738 19144 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 110952

[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 40378 0 0 0 60189 348 0 0 25 0 1 0 21206686 113614848 19168 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27738 19168 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 605.37
Current children cumulated vsize (Kb) 110952

[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 40390 0 0 0 61176 353 0 0 25 0 1 0 21206686 113614848 19180 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27738 19180 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 615.29
Current children cumulated vsize (Kb) 110952

[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 40419 0 0 0 62167 356 0 0 25 0 1 0 21206686 113614848 19209 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27738 19209 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 625.23
Current children cumulated vsize (Kb) 110952

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 40758 0 0 0 63155 361 0 0 25 0 1 0 21206686 113614848 19221 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27738 19221 364 364 0 27374 0
[pid=6724] vsize: 110952
Current children cumulated CPU time (s) 635.16
Current children cumulated vsize (Kb) 110952

[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 40795 0 0 0 64146 363 0 0 25 0 1 0 21206686 113745920 19225 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27770 19225 364 364 0 27406 0
[pid=6724] vsize: 111080
Current children cumulated CPU time (s) 645.09
Current children cumulated vsize (Kb) 111080

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 41211 0 0 0 65137 368 0 0 25 0 1 0 21206686 114008064 19248 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27834 19248 364 364 0 27470 0
[pid=6724] vsize: 111336
Current children cumulated CPU time (s) 655.05
Current children cumulated vsize (Kb) 111336

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 41213 0 0 0 66127 371 0 0 25 0 1 0 21206686 114008064 19250 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27834 19250 364 364 0 27470 0
[pid=6724] vsize: 111336
Current children cumulated CPU time (s) 664.98
Current children cumulated vsize (Kb) 111336

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 41335 0 0 0 67113 376 0 0 25 0 1 0 21206686 114409472 19339 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27932 19339 364 364 0 27568 0
[pid=6724] vsize: 111728
Current children cumulated CPU time (s) 674.89
Current children cumulated vsize (Kb) 111728

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 41711 0 0 0 68101 381 0 0 25 0 1 0 21206686 114679808 19388 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 27998 19388 364 364 0 27634 0
[pid=6724] vsize: 111992
Current children cumulated CPU time (s) 684.82
Current children cumulated vsize (Kb) 111992

[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 41725 0 0 0 69089 385 0 0 25 0 1 0 21206686 114679808 19402 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27998 19402 364 364 0 27634 0
[pid=6724] vsize: 111992
Current children cumulated CPU time (s) 694.74
Current children cumulated vsize (Kb) 111992

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42069 0 0 0 70074 390 0 0 25 0 1 0 21206686 114679808 19419 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27998 19419 364 364 0 27634 0
[pid=6724] vsize: 111992
Current children cumulated CPU time (s) 704.64
Current children cumulated vsize (Kb) 111992

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 42089 0 0 0 71064 394 0 0 25 0 1 0 21206686 114679808 19439 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 27998 19439 364 364 0 27634 0
[pid=6724] vsize: 111992
Current children cumulated CPU time (s) 714.58
Current children cumulated vsize (Kb) 111992

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42476 0 0 0 72051 400 0 0 25 0 1 0 21206686 114950144 19499 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19499 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 724.51
Current children cumulated vsize (Kb) 112256

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42490 0 0 0 73039 404 0 0 25 0 1 0 21206686 114950144 19513 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19513 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 734.43
Current children cumulated vsize (Kb) 112256

[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42508 0 0 0 74028 408 0 0 25 0 1 0 21206686 114950144 19531 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19531 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 744.36
Current children cumulated vsize (Kb) 112256

[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42840 0 0 0 75014 413 0 0 25 0 1 0 21206686 114950144 19536 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19536 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 754.27
Current children cumulated vsize (Kb) 112256

[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42841 0 0 0 76001 417 0 0 25 0 1 0 21206686 114950144 19537 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19537 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 764.18
Current children cumulated vsize (Kb) 112256

[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 42842 0 0 0 76988 422 0 0 25 0 1 0 21206686 114950144 19538 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28064 19538 364 364 0 27700 0
[pid=6724] vsize: 112256
Current children cumulated CPU time (s) 774.1
Current children cumulated vsize (Kb) 112256

[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43213 0 0 0 77979 426 0 0 25 0 1 0 21206686 115249152 19582 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19582 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 784.05
Current children cumulated vsize (Kb) 112548

[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43233 0 0 0 78970 428 0 0 25 0 1 0 21206686 115249152 19602 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19602 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 793.98
Current children cumulated vsize (Kb) 112548

[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43254 0 0 0 79956 433 0 0 25 0 1 0 21206686 115249152 19623 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19623 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 803.89
Current children cumulated vsize (Kb) 112548

[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43604 0 0 0 80944 436 0 0 25 0 1 0 21206686 115249152 19646 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19646 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 813.8
Current children cumulated vsize (Kb) 112548

[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43616 0 0 0 81933 440 0 0 25 0 1 0 21206686 115249152 19658 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19658 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 823.73
Current children cumulated vsize (Kb) 112548

[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43641 0 0 0 82924 442 0 0 25 0 1 0 21206686 115249152 19683 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19683 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 833.66
Current children cumulated vsize (Kb) 112548

[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 43990 0 0 0 83909 448 0 0 25 0 1 0 21206686 115249152 19705 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19705 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 843.57
Current children cumulated vsize (Kb) 112548

[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 44031 0 0 0 84901 450 0 0 25 0 1 0 21206686 115249152 19746 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19746 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 853.51
Current children cumulated vsize (Kb) 112548

[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 44389 0 0 0 85891 454 0 0 25 0 1 0 21206686 115249152 19777 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28137 19777 364 364 0 27773 0
[pid=6724] vsize: 112548
Current children cumulated CPU time (s) 863.45
Current children cumulated vsize (Kb) 112548

[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 44443 0 0 0 86878 460 0 0 25 0 1 0 21206686 115384320 19831 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28170 19831 364 364 0 27806 0
[pid=6724] vsize: 112680
Current children cumulated CPU time (s) 873.38
Current children cumulated vsize (Kb) 112680

[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 44786 0 0 0 87867 465 0 0 25 0 1 0 21206686 115384320 19847 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28170 19847 364 364 0 27806 0
[pid=6724] vsize: 112680
Current children cumulated CPU time (s) 883.32
Current children cumulated vsize (Kb) 112680

[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 44830 0 0 0 88860 467 0 0 25 0 1 0 21206686 115650560 19891 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28235 19891 364 364 0 27871 0
[pid=6724] vsize: 112940
Current children cumulated CPU time (s) 893.27
Current children cumulated vsize (Kb) 112940

[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45177 0 0 0 89847 473 0 0 25 0 1 0 21206686 115650560 19911 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28235 19911 364 364 0 27871 0
[pid=6724] vsize: 112940
Current children cumulated CPU time (s) 903.2
Current children cumulated vsize (Kb) 112940

[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45184 0 0 0 90834 477 0 0 25 0 1 0 21206686 115650560 19918 4294967295 134512640 135987407 3221224560 3221223384 134812257 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28235 19918 364 364 0 27871 0
[pid=6724] vsize: 112940
Current children cumulated CPU time (s) 913.11
Current children cumulated vsize (Kb) 112940

[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45211 0 0 0 91820 481 0 0 25 0 1 0 21206686 115785728 19945 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28268 19945 364 364 0 27904 0
[pid=6724] vsize: 113072
Current children cumulated CPU time (s) 923.01
Current children cumulated vsize (Kb) 113072

[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45640 0 0 0 92808 486 0 0 25 0 1 0 21206686 116187136 20014 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28366 20014 364 364 0 28002 0
[pid=6724] vsize: 113464
Current children cumulated CPU time (s) 932.94
Current children cumulated vsize (Kb) 113464

[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45689 0 0 0 93794 492 0 0 25 0 1 0 21206686 116461568 20063 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28433 20063 364 364 0 28069 0
[pid=6724] vsize: 113732
Current children cumulated CPU time (s) 942.86
Current children cumulated vsize (Kb) 113732

[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 45692 0 0 0 94780 497 0 0 25 0 1 0 21206686 116461568 20066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28433 20066 364 364 0 28069 0
[pid=6724] vsize: 113732
Current children cumulated CPU time (s) 952.77
Current children cumulated vsize (Kb) 113732

[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45740 0 0 0 95765 502 0 0 25 0 1 0 21206686 116592640 20081 4294967295 134512640 135987407 3221224560 3221223408 134790012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28465 20081 364 364 0 28101 0
[pid=6724] vsize: 113860
Current children cumulated CPU time (s) 962.67
Current children cumulated vsize (Kb) 113860

[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 45762 0 0 0 96754 505 0 0 25 0 1 0 21206686 116592640 20103 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28465 20103 364 364 0 28101 0
[pid=6724] vsize: 113860
Current children cumulated CPU time (s) 972.59
Current children cumulated vsize (Kb) 113860

[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46119 0 0 0 97743 510 0 0 25 0 1 0 21206686 116789248 20133 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28513 20133 364 364 0 28149 0
[pid=6724] vsize: 114052
Current children cumulated CPU time (s) 982.53
Current children cumulated vsize (Kb) 114052

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46134 0 0 0 98731 514 0 0 25 0 1 0 21206686 116789248 20148 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28513 20148 364 364 0 28149 0
[pid=6724] vsize: 114052
Current children cumulated CPU time (s) 992.45
Current children cumulated vsize (Kb) 114052

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 46157 0 0 0 99718 518 0 0 25 0 1 0 21206686 116789248 20171 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28513 20171 364 364 0 28149 0
[pid=6724] vsize: 114052
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (Kb) 114052

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46505 0 0 0 100706 524 0 0 25 0 1 0 21206686 116789248 20192 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28513 20192 364 364 0 28149 0
[pid=6724] vsize: 114052
Current children cumulated CPU time (s) 1012.3
Current children cumulated vsize (Kb) 114052

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46519 0 0 0 101692 528 0 0 25 0 1 0 21206686 116789248 20206 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28513 20206 364 364 0 28149 0
[pid=6724] vsize: 114052
Current children cumulated CPU time (s) 1022.2
Current children cumulated vsize (Kb) 114052

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46611 0 0 0 102682 531 0 0 25 0 1 0 21206686 116920320 20265 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28545 20265 364 364 0 28181 0
[pid=6724] vsize: 114180
Current children cumulated CPU time (s) 1032.13
Current children cumulated vsize (Kb) 114180

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 46944 0 0 0 103669 536 0 0 25 0 1 0 21206686 116920320 20271 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28545 20271 364 364 0 28181 0
[pid=6724] vsize: 114180
Current children cumulated CPU time (s) 1042.05
Current children cumulated vsize (Kb) 114180

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47086 0 0 0 104654 543 0 0 25 0 1 0 21206686 117579776 20380 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28706 20380 364 364 0 28342 0
[pid=6724] vsize: 114824
Current children cumulated CPU time (s) 1051.97
Current children cumulated vsize (Kb) 114824

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47156 0 0 0 105643 546 0 0 25 0 1 0 21206686 117981184 20450 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28804 20450 364 364 0 28440 0
[pid=6724] vsize: 115216
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (Kb) 115216

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47484 0 0 0 106628 552 0 0 25 0 1 0 21206686 117981184 20451 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28804 20451 364 364 0 28440 0
[pid=6724] vsize: 115216
Current children cumulated CPU time (s) 1071.8
Current children cumulated vsize (Kb) 115216

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47486 0 0 0 107617 556 0 0 25 0 1 0 21206686 117981184 20453 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28804 20453 364 364 0 28440 0
[pid=6724] vsize: 115216
Current children cumulated CPU time (s) 1081.73
Current children cumulated vsize (Kb) 115216

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47814 0 0 0 108601 563 0 0 25 0 1 0 21206686 117981184 20454 4294967295 134512640 135987407 3221224560 3221223384 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28804 20454 364 364 0 28440 0
[pid=6724] vsize: 115216
Current children cumulated CPU time (s) 1091.64
Current children cumulated vsize (Kb) 115216

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 47838 0 0 0 109587 566 0 0 25 0 1 0 21206686 118116352 20478 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28837 20478 364 364 0 28473 0
[pid=6724] vsize: 115348
Current children cumulated CPU time (s) 1101.53
Current children cumulated vsize (Kb) 115348

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 47851 0 0 0 110575 571 0 0 25 0 1 0 21206686 118116352 20491 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28837 20491 364 364 0 28473 0
[pid=6724] vsize: 115348
Current children cumulated CPU time (s) 1111.46
Current children cumulated vsize (Kb) 115348

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) T 6723 6724 4060 0 -1 0 48211 0 0 0 111562 577 0 0 25 0 1 0 21206686 118116352 20524 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28837 20524 364 364 0 28473 0
[pid=6724] vsize: 115348
Current children cumulated CPU time (s) 1121.39
Current children cumulated vsize (Kb) 115348

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 48240 0 0 0 112548 582 0 0 25 0 1 0 21206686 118116352 20553 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28837 20553 364 364 0 28473 0
[pid=6724] vsize: 115348
Current children cumulated CPU time (s) 1131.3
Current children cumulated vsize (Kb) 115348

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 48328 0 0 0 113536 586 0 0 25 0 1 0 21206686 118521856 20641 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28936 20641 364 364 0 28572 0
[pid=6724] vsize: 115744
Current children cumulated CPU time (s) 1141.22
Current children cumulated vsize (Kb) 115744

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 48352 0 0 0 114525 590 0 0 25 0 1 0 21206686 118521856 20665 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28936 20665 364 364 0 28572 0
[pid=6724] vsize: 115744
Current children cumulated CPU time (s) 1151.15
Current children cumulated vsize (Kb) 115744

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 48698 0 0 0 115511 595 0 0 25 0 1 0 21206686 118521856 20684 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28936 20684 364 364 0 28572 0
[pid=6724] vsize: 115744
Current children cumulated CPU time (s) 1161.06
Current children cumulated vsize (Kb) 115744

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 48740 0 0 0 116500 599 0 0 25 0 1 0 21206686 118657024 20726 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6724/statm): 28969 20726 364 364 0 28605 0
[pid=6724] vsize: 115876
Current children cumulated CPU time (s) 1170.99
Current children cumulated vsize (Kb) 115876

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 49087 0 0 0 117484 604 0 0 25 0 1 0 21206686 118657024 20746 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28969 20746 364 364 0 28605 0
[pid=6724] vsize: 115876
Current children cumulated CPU time (s) 1180.88
Current children cumulated vsize (Kb) 115876

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 49089 0 0 0 118470 609 0 0 25 0 1 0 21206686 118657024 20748 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28969 20748 364 364 0 28605 0
[pid=6724] vsize: 115876
Current children cumulated CPU time (s) 1190.79
Current children cumulated vsize (Kb) 115876

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 49094 0 0 0 119457 614 0 0 25 0 1 0 21206686 118657024 20753 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28969 20753 364 364 0 28605 0
[pid=6724] vsize: 115876
Current children cumulated CPU time (s) 1200.71
Current children cumulated vsize (Kb) 115876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6724
Raw data (/proc/6724/stat): 6724 (pb2sat) R 6723 6724 4060 0 -1 0 49094 0 0 0 119457 614 0 0 25 0 1 0 21206686 118657024 20753 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6724/statm): 28969 20753 364 364 0 28605 0
[pid=6724] vsize: 115876
Current children cumulated CPU time (s) 1200.71
Current children cumulated vsize (Kb) 115876

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

Child status: 0
Real time (s): 1210.43
CPU time (s): 1201.07
CPU user time (s): 1194.89
CPU system time (s): 6.18106
CPU usage (%): 99.227
Max. virtual memory (cumulated for all children) (Kb): 115876

Verifier Data

ERROR: no interpretation found !