Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
MD5SUM44022c506f5e075b1877fcb50aa96dbc
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
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 13134
Biggest coefficient in the objective function 3456331981783040
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 2106245048465744992
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 3456331981783040
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 2106245048465744992
Number of bits of the biggest sum of numbers61
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables19038
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint264

Trace number 10130

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 16:49:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8833 boxname=wulflinc32 idbench=629 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44022c506f5e075b1877fcb50aa96dbc  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-gen.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-gen.opb
IDLAUNCH: 8833
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        921828 kB
Buffers:         14940 kB
Cached:          77880 kB
SwapCached:          0 kB
Active:          43788 kB
Inactive:        51976 kB
HighTotal:      131072 kB
HighFree:        48640 kB
LowTotal:       903652 kB
LowFree:        873188 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11372 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:10:53 (client local time) WITH STATUS 0 IN 1206.81 SECONDS
stats: 8833 7 1206.81 0

Solver Data

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

c Decision: 122067/275150	Time: 189.854/86400
c Decision: 122133/275150	Time: 220.796/86400
c Decision: 122705/275150	Time: 390.76/86400
c Decision: 122951/275150	Time: 468.079/86400
c Decision: 122966/275150	Time: 488.177/86400
c Decision: 123969/275150	Time: 887.79/86400
c Decision: 124409/275150	Time: 1080.79/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/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21713556 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 373 2 364 364 0 9 0
[pid=8080] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-gen.opb

[startup+10.0021 s]
Raw data (loadavg): 0.85 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 19795 0 0 0 946 50 0 0 25 0 1 0 21713556 60243968 11759 4294967295 134512640 135987407 3221224560 3221213632 134637904 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 14708 11759 364 364 0 14344 0
[pid=8080] vsize: 58832
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 58832

[startup+20.0038 s]
Raw data (loadavg): 0.88 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 40032 0 0 0 1885 100 0 0 25 0 1 0 21713556 121278464 23264 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 29609 23264 364 364 0 29245 0
[pid=8080] vsize: 118436
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 118436

[startup+30.0046 s]
Raw data (loadavg): 0.89 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 41562 0 0 0 2842 115 0 0 25 0 1 0 21713556 128114688 24562 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 31278 24562 364 364 0 30914 0
[pid=8080] vsize: 125112
Current children cumulated CPU time (s) 29.57
Current children cumulated vsize (Kb) 125112

[startup+40.0044 s]
Raw data (loadavg): 0.91 0.95 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 42341 0 0 0 3801 129 0 0 25 0 1 0 21713556 131850240 25341 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 32190 25341 364 364 0 31826 0
[pid=8080] vsize: 128760
Current children cumulated CPU time (s) 39.3
Current children cumulated vsize (Kb) 128760

[startup+50.0051 s]
Raw data (loadavg): 0.92 0.95 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 42928 0 0 0 4749 149 0 0 25 0 1 0 21713556 134406144 25928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 32814 25928 364 364 0 32450 0
[pid=8080] vsize: 131256
Current children cumulated CPU time (s) 48.98
Current children cumulated vsize (Kb) 131256

[startup+60.0049 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 43131 0 0 0 5691 169 0 0 25 0 1 0 21713556 135159808 26131 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 32998 26131 364 364 0 32634 0
[pid=8080] vsize: 131992
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (Kb) 131992

[startup+70.0057 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 43269 0 0 0 6628 189 0 0 25 0 1 0 21713556 135622656 26269 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33111 26269 364 364 0 32747 0
[pid=8080] vsize: 132444
Current children cumulated CPU time (s) 68.17
Current children cumulated vsize (Kb) 132444

[startup+80.0065 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 43493 0 0 0 7569 211 0 0 25 0 1 0 21713556 136261632 26493 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33267 26493 364 364 0 32903 0
[pid=8080] vsize: 133068
Current children cumulated CPU time (s) 77.8
Current children cumulated vsize (Kb) 133068

[startup+90.0062 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 43728 0 0 0 8499 236 0 0 25 0 1 0 21713556 137342976 26728 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33531 26728 364 364 0 33167 0
[pid=8080] vsize: 134124
Current children cumulated CPU time (s) 87.35
Current children cumulated vsize (Kb) 134124

[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 43943 0 0 0 9421 262 0 0 25 0 1 0 21713556 138260480 26943 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33755 26943 364 364 0 33391 0
[pid=8080] vsize: 135020
Current children cumulated CPU time (s) 96.83
Current children cumulated vsize (Kb) 135020

[startup+110.008 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 44079 0 0 0 10343 288 0 0 25 0 1 0 21713556 138653696 27079 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33851 27079 364 364 0 33487 0
[pid=8080] vsize: 135404
Current children cumulated CPU time (s) 106.31
Current children cumulated vsize (Kb) 135404

[startup+120.009 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 44162 0 0 0 11245 321 0 0 25 0 1 0 21713556 139046912 27162 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 33947 27162 364 364 0 33583 0
[pid=8080] vsize: 135788
Current children cumulated CPU time (s) 115.66
Current children cumulated vsize (Kb) 135788

[startup+130.009 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 44652 0 0 0 12162 349 0 0 25 0 1 0 21713556 141406208 27652 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 34523 27652 364 364 0 34159 0
[pid=8080] vsize: 138092
Current children cumulated CPU time (s) 125.11
Current children cumulated vsize (Kb) 138092

[startup+140.009 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 45000 0 0 0 13069 380 0 0 25 0 1 0 21713556 142979072 28000 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 34907 28000 364 364 0 34543 0
[pid=8080] vsize: 139628
Current children cumulated CPU time (s) 134.49
Current children cumulated vsize (Kb) 139628

[startup+150.01 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 45063 0 0 0 13999 401 0 0 25 0 1 0 21713556 143339520 28063 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 34995 28063 364 364 0 34631 0
[pid=8080] vsize: 139980
Current children cumulated CPU time (s) 144
Current children cumulated vsize (Kb) 139980

[startup+160.01 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 45207 0 0 0 14919 428 0 0 25 0 1 0 21713556 143699968 28207 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 35083 28207 364 364 0 34719 0
[pid=8080] vsize: 140332
Current children cumulated CPU time (s) 153.47
Current children cumulated vsize (Kb) 140332

[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 45488 0 0 0 15849 452 0 0 25 0 1 0 21713556 145043456 28488 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 35411 28488 364 364 0 35047 0
[pid=8080] vsize: 141644
Current children cumulated CPU time (s) 163.01
Current children cumulated vsize (Kb) 141644

[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 45766 0 0 0 16764 479 0 0 25 0 1 0 21713556 146456576 28766 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 35756 28766 364 364 0 35392 0
[pid=8080] vsize: 143024
Current children cumulated CPU time (s) 172.43
Current children cumulated vsize (Kb) 143024

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 46067 0 0 0 17681 507 0 0 25 0 1 0 21713556 148078592 29067 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 36152 29067 364 364 0 35788 0
[pid=8080] vsize: 144608
Current children cumulated CPU time (s) 181.88
Current children cumulated vsize (Kb) 144608

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 46207 0 0 0 18577 543 0 0 25 0 1 0 21713556 148754432 29207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 36317 29207 364 364 0 35953 0
[pid=8080] vsize: 145268
Current children cumulated CPU time (s) 191.2
Current children cumulated vsize (Kb) 145268

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 46849 0 0 0 19498 569 0 0 25 0 1 0 21713556 152809472 29849 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37307 29849 364 364 0 36943 0
[pid=8080] vsize: 149228
Current children cumulated CPU time (s) 200.67
Current children cumulated vsize (Kb) 149228

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 47562 0 0 0 20426 595 0 0 25 0 1 0 21713556 153890816 30024 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37571 30024 364 364 0 37207 0
[pid=8080] vsize: 150284
Current children cumulated CPU time (s) 210.21
Current children cumulated vsize (Kb) 150284

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 47567 0 0 0 21334 623 0 0 20 0 1 0 21713556 153890816 30029 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 37571 30029 364 364 0 37207 0
[pid=8080] vsize: 150284
Current children cumulated CPU time (s) 219.57
Current children cumulated vsize (Kb) 150284

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 47610 0 0 0 22241 656 0 0 25 0 1 0 21713556 154185728 30072 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37643 30072 364 364 0 37279 0
[pid=8080] vsize: 150572
Current children cumulated CPU time (s) 228.97
Current children cumulated vsize (Kb) 150572

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48281 0 0 0 23157 683 0 0 25 0 1 0 21713556 154791936 30205 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37791 30205 364 364 0 37427 0
[pid=8080] vsize: 151164
Current children cumulated CPU time (s) 238.4
Current children cumulated vsize (Kb) 151164

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 48295 0 0 0 24079 705 0 0 25 0 1 0 21713556 154791936 30219 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37791 30219 364 364 0 37427 0
[pid=8080] vsize: 151164
Current children cumulated CPU time (s) 247.84
Current children cumulated vsize (Kb) 151164

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 48364 0 0 0 24995 735 0 0 25 0 1 0 21713556 154988544 30288 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37839 30288 364 364 0 37475 0
[pid=8080] vsize: 151356
Current children cumulated CPU time (s) 257.3
Current children cumulated vsize (Kb) 151356

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48468 0 0 0 25896 767 0 0 25 0 1 0 21713556 155381760 30392 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 37935 30392 364 364 0 37571 0
[pid=8080] vsize: 151740
Current children cumulated CPU time (s) 266.63
Current children cumulated vsize (Kb) 151740

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48594 0 0 0 26806 797 0 0 25 0 1 0 21713556 156073984 30518 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38104 30518 364 364 0 37740 0
[pid=8080] vsize: 152416
Current children cumulated CPU time (s) 276.03
Current children cumulated vsize (Kb) 152416

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 48685 0 0 0 27732 824 0 0 25 0 1 0 21713556 156270592 30609 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38152 30609 364 364 0 37788 0
[pid=8080] vsize: 152608
Current children cumulated CPU time (s) 285.56
Current children cumulated vsize (Kb) 152608

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48803 0 0 0 28649 850 0 0 25 0 1 0 21713556 156811264 30727 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38284 30727 364 364 0 37920 0
[pid=8080] vsize: 153136
Current children cumulated CPU time (s) 294.99
Current children cumulated vsize (Kb) 153136

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48876 0 0 0 29559 881 0 0 25 0 1 0 21713556 157093888 30800 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38353 30800 364 364 0 37989 0
[pid=8080] vsize: 153412
Current children cumulated CPU time (s) 304.4
Current children cumulated vsize (Kb) 153412

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48909 0 0 0 30480 905 0 0 25 0 1 0 21713556 157290496 30833 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38401 30833 364 364 0 38037 0
[pid=8080] vsize: 153604
Current children cumulated CPU time (s) 313.85
Current children cumulated vsize (Kb) 153604

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 48969 0 0 0 31394 935 0 0 25 0 1 0 21713556 157487104 30893 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38449 30893 364 364 0 38085 0
[pid=8080] vsize: 153796
Current children cumulated CPU time (s) 323.29
Current children cumulated vsize (Kb) 153796

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49040 0 0 0 32305 963 0 0 25 0 1 0 21713556 157683712 30964 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38497 30964 364 364 0 38133 0
[pid=8080] vsize: 153988
Current children cumulated CPU time (s) 332.68
Current children cumulated vsize (Kb) 153988

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49094 0 0 0 33214 994 0 0 25 0 1 0 21713556 157880320 31018 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38545 31018 364 364 0 38181 0
[pid=8080] vsize: 154180
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (Kb) 154180

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49126 0 0 0 34136 1021 0 0 25 0 1 0 21713556 158015488 31050 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38578 31050 364 364 0 38214 0
[pid=8080] vsize: 154312
Current children cumulated CPU time (s) 351.57
Current children cumulated vsize (Kb) 154312

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49134 0 0 0 35058 1046 0 0 25 0 1 0 21713556 158015488 31058 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38578 31058 364 364 0 38214 0
[pid=8080] vsize: 154312
Current children cumulated CPU time (s) 361.04
Current children cumulated vsize (Kb) 154312

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49153 0 0 0 35975 1073 0 0 25 0 1 0 21713556 158150656 31077 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38611 31077 364 364 0 38247 0
[pid=8080] vsize: 154444
Current children cumulated CPU time (s) 370.48
Current children cumulated vsize (Kb) 154444

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 49209 0 0 0 36893 1097 0 0 25 0 1 0 21713556 158302208 31133 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38648 31133 364 364 0 38284 0
[pid=8080] vsize: 154592
Current children cumulated CPU time (s) 379.9
Current children cumulated vsize (Kb) 154592

[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 49250 0 0 0 37798 1130 0 0 25 0 1 0 21713556 158466048 31174 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38688 31174 364 364 0 38324 0
[pid=8080] vsize: 154752
Current children cumulated CPU time (s) 389.28
Current children cumulated vsize (Kb) 154752

[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 49379 0 0 0 38695 1163 0 0 25 0 1 0 21713556 159219712 31303 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 38872 31303 364 364 0 38508 0
[pid=8080] vsize: 155488
Current children cumulated CPU time (s) 398.58
Current children cumulated vsize (Kb) 155488

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50118 0 0 0 39616 1191 0 0 25 0 1 0 21713556 160284672 31504 4294967295 134512640 135987407 3221224560 3221223456 134825348 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 39132 31504 364 364 0 38768 0
[pid=8080] vsize: 156528
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (Kb) 156528

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50172 0 0 0 40524 1221 0 0 25 0 1 0 21713556 160419840 31558 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 39165 31558 364 364 0 38801 0
[pid=8080] vsize: 156660
Current children cumulated CPU time (s) 417.45
Current children cumulated vsize (Kb) 156660

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 50244 0 0 0 41425 1253 0 0 25 0 1 0 21713556 160747520 31630 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39245 31630 364 364 0 38881 0
[pid=8080] vsize: 156980
Current children cumulated CPU time (s) 426.78
Current children cumulated vsize (Kb) 156980

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50400 0 0 0 42315 1289 0 0 25 0 1 0 21713556 161288192 31786 4294967295 134512640 135987407 3221224560 3221223424 134812708 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39377 31786 364 364 0 39013 0
[pid=8080] vsize: 157508
Current children cumulated CPU time (s) 436.04
Current children cumulated vsize (Kb) 157508

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50551 0 0 0 43217 1322 0 0 25 0 1 0 21713556 162148352 31937 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39587 31937 364 364 0 39223 0
[pid=8080] vsize: 158348
Current children cumulated CPU time (s) 445.39
Current children cumulated vsize (Kb) 158348

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50571 0 0 0 44123 1351 0 0 25 0 1 0 21713556 162148352 31957 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39587 31957 364 364 0 39223 0
[pid=8080] vsize: 158348
Current children cumulated CPU time (s) 454.74
Current children cumulated vsize (Kb) 158348

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 50756 0 0 0 45024 1385 0 0 25 0 1 0 21713556 163196928 32142 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39843 32142 364 364 0 39479 0
[pid=8080] vsize: 159372
Current children cumulated CPU time (s) 464.09
Current children cumulated vsize (Kb) 159372

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 50802 0 0 0 45934 1414 0 0 25 0 1 0 21713556 163393536 32188 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39891 32188 364 364 0 39527 0
[pid=8080] vsize: 159564
Current children cumulated CPU time (s) 473.48
Current children cumulated vsize (Kb) 159564

[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 50854 0 0 0 46865 1437 0 0 25 0 1 0 21713556 163393536 32240 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 39891 32240 364 364 0 39527 0
[pid=8080] vsize: 159564
Current children cumulated CPU time (s) 483.02
Current children cumulated vsize (Kb) 159564

[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 51753 0 0 0 47783 1464 0 0 25 0 1 0 21713556 164995072 32502 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40282 32502 364 364 0 39918 0
[pid=8080] vsize: 161128
Current children cumulated CPU time (s) 492.47
Current children cumulated vsize (Kb) 161128

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 51763 0 0 0 48701 1489 0 0 25 0 1 0 21713556 164995072 32512 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40282 32512 364 364 0 39918 0
[pid=8080] vsize: 161128
Current children cumulated CPU time (s) 501.9
Current children cumulated vsize (Kb) 161128

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52506 0 0 0 49625 1515 0 0 25 0 1 0 21713556 166346752 32717 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40612 32717 364 364 0 40248 0
[pid=8080] vsize: 162448
Current children cumulated CPU time (s) 511.4
Current children cumulated vsize (Kb) 162448

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 52571 0 0 0 50527 1548 0 0 25 0 1 0 21713556 166617088 32782 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40678 32782 364 364 0 40314 0
[pid=8080] vsize: 162712
Current children cumulated CPU time (s) 520.75
Current children cumulated vsize (Kb) 162712

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52718 0 0 0 51401 1589 0 0 25 0 1 0 21713556 167419904 32929 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 40874 32929 364 364 0 40510 0
[pid=8080] vsize: 163496
Current children cumulated CPU time (s) 529.9
Current children cumulated vsize (Kb) 163496

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52753 0 0 0 52322 1616 0 0 25 0 1 0 21713556 167419904 32964 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40874 32964 364 364 0 40510 0
[pid=8080] vsize: 163496
Current children cumulated CPU time (s) 539.38
Current children cumulated vsize (Kb) 163496

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52777 0 0 0 53230 1647 0 0 25 0 1 0 21713556 167600128 32988 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 40918 32988 364 364 0 40554 0
[pid=8080] vsize: 163672
Current children cumulated CPU time (s) 548.77
Current children cumulated vsize (Kb) 163672

[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52940 0 0 0 54144 1676 0 0 25 0 1 0 21713556 168407040 33151 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41115 33151 364 364 0 40751 0
[pid=8080] vsize: 164460
Current children cumulated CPU time (s) 558.2
Current children cumulated vsize (Kb) 164460

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 52985 0 0 0 55072 1700 0 0 25 0 1 0 21713556 168570880 33196 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41155 33196 364 364 0 40791 0
[pid=8080] vsize: 164620
Current children cumulated CPU time (s) 567.72
Current children cumulated vsize (Kb) 164620

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53037 0 0 0 55970 1736 0 0 25 0 1 0 21713556 168706048 33248 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41188 33248 364 364 0 40824 0
[pid=8080] vsize: 164752
Current children cumulated CPU time (s) 577.06
Current children cumulated vsize (Kb) 164752

[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53079 0 0 0 56864 1769 0 0 25 0 1 0 21713556 168869888 33290 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41228 33290 364 364 0 40864 0
[pid=8080] vsize: 164912
Current children cumulated CPU time (s) 586.33
Current children cumulated vsize (Kb) 164912

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53110 0 0 0 57802 1791 0 0 25 0 1 0 21713556 169005056 33321 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41261 33321 364 364 0 40897 0
[pid=8080] vsize: 165044
Current children cumulated CPU time (s) 595.93
Current children cumulated vsize (Kb) 165044

[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8080
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53178 0 0 0 58702 1823 0 0 25 0 1 0 21713556 169349120 33389 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 41345 33389 364 364 0 40981 0
[pid=8080] vsize: 165380
Current children cumulated CPU time (s) 605.25
Current children cumulated vsize (Kb) 165380

[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8135
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53297 0 0 0 59567 1871 0 0 25 0 1 0 21713556 169840640 33508 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41465 33508 364 364 0 41101 0
[pid=8080] vsize: 165860
Current children cumulated CPU time (s) 614.38
Current children cumulated vsize (Kb) 165860

[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8135
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53383 0 0 0 60479 1899 0 0 25 0 1 0 21713556 170303488 33594 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41578 33594 364 364 0 41214 0
[pid=8080] vsize: 166312
Current children cumulated CPU time (s) 623.78
Current children cumulated vsize (Kb) 166312

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8135
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53437 0 0 0 61376 1931 0 0 25 0 1 0 21713556 170467328 33648 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41618 33648 364 364 0 41254 0
[pid=8080] vsize: 166472
Current children cumulated CPU time (s) 633.07
Current children cumulated vsize (Kb) 166472

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 8135
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53529 0 0 0 62261 1968 0 0 25 0 1 0 21713556 170901504 33740 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41724 33740 364 364 0 41360 0
[pid=8080] vsize: 166896
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (Kb) 166896

[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8135
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53611 0 0 0 63172 1998 0 0 25 0 1 0 21713556 171364352 33822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41837 33822 364 364 0 41473 0
[pid=8080] vsize: 167348
Current children cumulated CPU time (s) 651.7
Current children cumulated vsize (Kb) 167348

[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 8137
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53737 0 0 0 64080 2030 0 0 23 0 1 0 21713556 171995136 33948 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 41991 33948 364 364 0 41627 0
[pid=8080] vsize: 167964
Current children cumulated CPU time (s) 661.1
Current children cumulated vsize (Kb) 167964

[startup+710.035 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 8139
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 53793 0 0 0 64979 2061 0 0 25 0 1 0 21713556 172191744 34004 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42039 34004 364 364 0 41675 0
[pid=8080] vsize: 168156
Current children cumulated CPU time (s) 670.4
Current children cumulated vsize (Kb) 168156

[startup+720.036 s]
Raw data (loadavg): 1.06 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53879 0 0 0 65875 2094 0 0 25 0 1 0 21713556 172732416 34090 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42171 34090 364 364 0 41807 0
[pid=8080] vsize: 168684
Current children cumulated CPU time (s) 679.69
Current children cumulated vsize (Kb) 168684

[startup+730.035 s]
Raw data (loadavg): 1.05 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53913 0 0 0 66767 2129 0 0 25 0 1 0 21713556 172867584 34124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42204 34124 364 364 0 41840 0
[pid=8080] vsize: 168816
Current children cumulated CPU time (s) 688.96
Current children cumulated vsize (Kb) 168816

[startup+740.036 s]
Raw data (loadavg): 1.04 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 53935 0 0 0 67652 2169 0 0 25 0 1 0 21713556 173064192 34146 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8080/statm): 42252 34146 364 364 0 41888 0
[pid=8080] vsize: 169008
Current children cumulated CPU time (s) 698.21
Current children cumulated vsize (Kb) 169008

[startup+750.037 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54106 0 0 0 68534 2212 0 0 25 0 1 0 21713556 173891584 34317 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42454 34317 364 364 0 42090 0
[pid=8080] vsize: 169816
Current children cumulated CPU time (s) 707.46
Current children cumulated vsize (Kb) 169816

[startup+760.037 s]
Raw data (loadavg): 1.03 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54148 0 0 0 69419 2251 0 0 25 0 1 0 21713556 174088192 34359 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42502 34359 364 364 0 42138 0
[pid=8080] vsize: 170008
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (Kb) 170008

[startup+770.037 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54319 0 0 0 70296 2291 0 0 25 0 1 0 21713556 174972928 34530 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42718 34530 364 364 0 42354 0
[pid=8080] vsize: 170872
Current children cumulated CPU time (s) 725.87
Current children cumulated vsize (Kb) 170872

[startup+780.038 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54371 0 0 0 71199 2322 0 0 25 0 1 0 21713556 175169536 34582 4294967295 134512640 135987407 3221224560 3221223248 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42766 34582 364 364 0 42402 0
[pid=8080] vsize: 171064
Current children cumulated CPU time (s) 735.21
Current children cumulated vsize (Kb) 171064

[startup+790.038 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54443 0 0 0 72094 2359 0 0 25 0 1 0 21713556 175501312 34654 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42847 34654 364 364 0 42483 0
[pid=8080] vsize: 171388
Current children cumulated CPU time (s) 744.53
Current children cumulated vsize (Kb) 171388

[startup+800.039 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54514 0 0 0 72978 2398 0 0 25 0 1 0 21713556 175771648 34725 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42913 34725 364 364 0 42549 0
[pid=8080] vsize: 171652
Current children cumulated CPU time (s) 753.76
Current children cumulated vsize (Kb) 171652

[startup+810.039 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54540 0 0 0 73868 2435 0 0 25 0 1 0 21713556 175906816 34751 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 42946 34751 364 364 0 42582 0
[pid=8080] vsize: 171784
Current children cumulated CPU time (s) 763.03
Current children cumulated vsize (Kb) 171784

[startup+820.04 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54681 0 0 0 74752 2472 0 0 25 0 1 0 21713556 176857088 34892 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43178 34892 364 364 0 42814 0
[pid=8080] vsize: 172712
Current children cumulated CPU time (s) 772.24
Current children cumulated vsize (Kb) 172712

[startup+830.041 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54697 0 0 0 75638 2510 0 0 25 0 1 0 21713556 176857088 34908 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43178 34908 364 364 0 42814 0
[pid=8080] vsize: 172712
Current children cumulated CPU time (s) 781.48
Current children cumulated vsize (Kb) 172712

[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54714 0 0 0 76519 2548 0 0 25 0 1 0 21713556 176857088 34925 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8080/statm): 43178 34925 364 364 0 42814 0
[pid=8080] vsize: 172712
Current children cumulated CPU time (s) 790.67
Current children cumulated vsize (Kb) 172712

[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54726 0 0 0 77418 2583 0 0 25 0 1 0 21713556 176857088 34937 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43178 34937 364 364 0 42814 0
[pid=8080] vsize: 172712
Current children cumulated CPU time (s) 800.01
Current children cumulated vsize (Kb) 172712

[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54755 0 0 0 78308 2620 0 0 25 0 1 0 21713556 177004544 34966 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43214 34966 364 364 0 42850 0
[pid=8080] vsize: 172856
Current children cumulated CPU time (s) 809.28
Current children cumulated vsize (Kb) 172856

[startup+870.042 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54854 0 0 0 79188 2658 0 0 25 0 1 0 21713556 177463296 35065 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43326 35065 364 364 0 42962 0
[pid=8080] vsize: 173304
Current children cumulated CPU time (s) 818.46
Current children cumulated vsize (Kb) 173304

[startup+880.043 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54876 0 0 0 80082 2689 0 0 25 0 1 0 21713556 177463296 35087 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43326 35087 364 364 0 42962 0
[pid=8080] vsize: 173304
Current children cumulated CPU time (s) 827.71
Current children cumulated vsize (Kb) 173304

[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54934 0 0 0 80958 2731 0 0 25 0 1 0 21713556 177930240 35145 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43440 35145 364 364 0 43076 0
[pid=8080] vsize: 173760
Current children cumulated CPU time (s) 836.89
Current children cumulated vsize (Kb) 173760

[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 54988 0 0 0 81860 2763 0 0 25 0 1 0 21713556 178065408 35199 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43473 35199 364 364 0 43109 0
[pid=8080] vsize: 173892
Current children cumulated CPU time (s) 846.23
Current children cumulated vsize (Kb) 173892

[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 54997 0 0 0 82751 2800 0 0 25 0 1 0 21713556 178065408 35208 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43473 35208 364 364 0 43109 0
[pid=8080] vsize: 173892
Current children cumulated CPU time (s) 855.51
Current children cumulated vsize (Kb) 173892

[startup+920.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55015 0 0 0 83636 2837 0 0 25 0 1 0 21713556 178212864 35226 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 43509 35226 364 364 0 43145 0
[pid=8080] vsize: 174036
Current children cumulated CPU time (s) 864.73
Current children cumulated vsize (Kb) 174036

[startup+930.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55034 0 0 0 84549 2868 0 0 21 0 1 0 21713556 178212864 35245 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43509 35245 364 364 0 43145 0
[pid=8080] vsize: 174036
Current children cumulated CPU time (s) 874.17
Current children cumulated vsize (Kb) 174036

[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55105 0 0 0 85422 2912 0 0 25 0 1 0 21713556 178589696 35316 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43601 35316 364 364 0 43237 0
[pid=8080] vsize: 174404
Current children cumulated CPU time (s) 883.34
Current children cumulated vsize (Kb) 174404

[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55148 0 0 0 86300 2954 0 0 25 0 1 0 21713556 178786304 35359 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43649 35359 364 364 0 43285 0
[pid=8080] vsize: 174596
Current children cumulated CPU time (s) 892.54
Current children cumulated vsize (Kb) 174596

[startup+960.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8141
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55207 0 0 0 87160 3001 0 0 25 0 1 0 21713556 178950144 35418 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43689 35418 364 364 0 43325 0
[pid=8080] vsize: 174756
Current children cumulated CPU time (s) 901.61
Current children cumulated vsize (Kb) 174756

[startup+970.049 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 55751 0 0 0 88081 3027 0 0 25 0 1 0 21713556 178950144 35424 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43689 35424 364 364 0 43325 0
[pid=8080] vsize: 174756
Current children cumulated CPU time (s) 911.08
Current children cumulated vsize (Kb) 174756

[startup+980.049 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55847 0 0 0 88961 3064 0 0 25 0 1 0 21713556 179478528 35520 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43818 35520 364 364 0 43454 0
[pid=8080] vsize: 175272
Current children cumulated CPU time (s) 920.25
Current children cumulated vsize (Kb) 175272

[startup+990.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 55936 0 0 0 89808 3114 0 0 24 0 1 0 21713556 180068352 35609 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 43962 35609 364 364 0 43598 0
[pid=8080] vsize: 175848
Current children cumulated CPU time (s) 929.22
Current children cumulated vsize (Kb) 175848

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56057 0 0 0 90672 3160 0 0 23 0 1 0 21713556 180854784 35730 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44154 35730 364 364 0 43790 0
[pid=8080] vsize: 176616
Current children cumulated CPU time (s) 938.32
Current children cumulated vsize (Kb) 176616

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56155 0 0 0 91559 3197 0 0 25 0 1 0 21713556 181321728 35828 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44268 35828 364 364 0 43904 0
[pid=8080] vsize: 177072
Current children cumulated CPU time (s) 947.56
Current children cumulated vsize (Kb) 177072

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56169 0 0 0 92439 3236 0 0 25 0 1 0 21713556 181321728 35842 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 44268 35842 364 364 0 43904 0
[pid=8080] vsize: 177072
Current children cumulated CPU time (s) 956.75
Current children cumulated vsize (Kb) 177072

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56322 0 0 0 93329 3270 0 0 25 0 1 0 21713556 182304768 35995 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44508 35995 364 364 0 44144 0
[pid=8080] vsize: 178032
Current children cumulated CPU time (s) 965.99
Current children cumulated vsize (Kb) 178032

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56402 0 0 0 94212 3310 0 0 25 0 1 0 21713556 182697984 36075 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44604 36075 364 364 0 44240 0
[pid=8080] vsize: 178416
Current children cumulated CPU time (s) 975.22
Current children cumulated vsize (Kb) 178416

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56479 0 0 0 95104 3348 0 0 25 0 1 0 21713556 182968320 36152 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44670 36152 364 364 0 44306 0
[pid=8080] vsize: 178680
Current children cumulated CPU time (s) 984.52
Current children cumulated vsize (Kb) 178680

[startup+1060.06 s]
Raw data (loadavg): 1.07 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 56542 0 0 0 95982 3386 0 0 25 0 1 0 21713556 183361536 36215 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44766 36215 364 364 0 44402 0
[pid=8080] vsize: 179064
Current children cumulated CPU time (s) 993.68
Current children cumulated vsize (Kb) 179064

[startup+1070.06 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56579 0 0 0 96861 3426 0 0 25 0 1 0 21713556 183558144 36252 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 44814 36252 364 364 0 44450 0
[pid=8080] vsize: 179256
Current children cumulated CPU time (s) 1002.87
Current children cumulated vsize (Kb) 179256

[startup+1080.06 s]
Raw data (loadavg): 1.05 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 56690 0 0 0 97726 3472 0 0 25 0 1 0 21713556 184082432 36363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 44942 36363 364 364 0 44578 0
[pid=8080] vsize: 179768
Current children cumulated CPU time (s) 1011.98
Current children cumulated vsize (Kb) 179768

[startup+1090.06 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56767 0 0 0 98605 3511 0 0 25 0 1 0 21713556 184475648 36440 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45038 36440 364 364 0 44674 0
[pid=8080] vsize: 180152
Current children cumulated CPU time (s) 1021.16
Current children cumulated vsize (Kb) 180152

[startup+1100.06 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 56816 0 0 0 99485 3551 0 0 25 0 1 0 21713556 184623104 36489 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45074 36489 364 364 0 44710 0
[pid=8080] vsize: 180296
Current children cumulated CPU time (s) 1030.36
Current children cumulated vsize (Kb) 180296

[startup+1110.06 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 56897 0 0 0 100371 3591 0 0 25 0 1 0 21713556 185114624 36570 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45194 36570 364 364 0 44830 0
[pid=8080] vsize: 180776
Current children cumulated CPU time (s) 1039.62
Current children cumulated vsize (Kb) 180776

[startup+1120.06 s]
Raw data (loadavg): 1.02 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 57062 0 0 0 101257 3630 0 0 25 0 1 0 21713556 186048512 36735 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45422 36735 364 364 0 45058 0
[pid=8080] vsize: 181688
Current children cumulated CPU time (s) 1048.87
Current children cumulated vsize (Kb) 181688

[startup+1130.06 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 57074 0 0 0 102144 3669 0 0 25 0 1 0 21713556 186048512 36747 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 45422 36747 364 364 0 45058 0
[pid=8080] vsize: 181688
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (Kb) 181688

[startup+1140.06 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 57126 0 0 0 103020 3710 0 0 25 0 1 0 21713556 186376192 36799 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45502 36799 364 364 0 45138 0
[pid=8080] vsize: 182008
Current children cumulated CPU time (s) 1067.3
Current children cumulated vsize (Kb) 182008

[startup+1150.06 s]
Raw data (loadavg): 1.01 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 57200 0 0 0 103890 3752 0 0 25 0 1 0 21713556 186736640 36873 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45590 36873 364 364 0 45226 0
[pid=8080] vsize: 182360
Current children cumulated CPU time (s) 1076.42
Current children cumulated vsize (Kb) 182360

[startup+1160.06 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 57273 0 0 0 104772 3791 0 0 25 0 1 0 21713556 186933248 36946 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45638 36946 364 364 0 45274 0
[pid=8080] vsize: 182552
Current children cumulated CPU time (s) 1085.63
Current children cumulated vsize (Kb) 182552

[startup+1170.06 s]
Raw data (loadavg): 1.01 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 57400 0 0 0 105667 3825 0 0 25 0 1 0 21713556 187625472 37073 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45807 37073 364 364 0 45443 0
[pid=8080] vsize: 183228
Current children cumulated CPU time (s) 1094.92
Current children cumulated vsize (Kb) 183228

[startup+1180.06 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58076 0 0 0 106618 3843 0 0 25 0 1 0 21713556 188301312 37211 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 45972 37211 364 364 0 45608 0
[pid=8080] vsize: 183888
Current children cumulated CPU time (s) 1104.61
Current children cumulated vsize (Kb) 183888

[startup+1190.06 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58177 0 0 0 107508 3879 0 0 25 0 1 0 21713556 188977152 37312 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 46137 37312 364 364 0 45773 0
[pid=8080] vsize: 184548
Current children cumulated CPU time (s) 1113.87
Current children cumulated vsize (Kb) 184548

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58240 0 0 0 108408 3915 0 0 24 0 1 0 21713556 189247488 37375 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46203 37375 364 364 0 45839 0
[pid=8080] vsize: 184812
Current children cumulated CPU time (s) 1123.23
Current children cumulated vsize (Kb) 184812

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58306 0 0 0 109309 3948 0 0 25 0 1 0 21713556 189575168 37441 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8080/statm): 46283 37441 364 364 0 45919 0
[pid=8080] vsize: 185132
Current children cumulated CPU time (s) 1132.57
Current children cumulated vsize (Kb) 185132

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 58356 0 0 0 110207 3982 0 0 25 0 1 0 21713556 189906944 37491 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46364 37491 364 364 0 46000 0
[pid=8080] vsize: 185456
Current children cumulated CPU time (s) 1141.89
Current children cumulated vsize (Kb) 185456

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58475 0 0 0 111070 4025 0 0 25 0 1 0 21713556 190496768 37610 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46508 37610 364 364 0 46144 0
[pid=8080] vsize: 186032
Current children cumulated CPU time (s) 1150.95
Current children cumulated vsize (Kb) 186032

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58529 0 0 0 111954 4062 0 0 21 0 1 0 21713556 190693376 37664 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46556 37664 364 364 0 46192 0
[pid=8080] vsize: 186224
Current children cumulated CPU time (s) 1160.16
Current children cumulated vsize (Kb) 186224

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 58676 0 0 0 112854 4098 0 0 25 0 1 0 21713556 191553536 37811 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46766 37811 364 364 0 46402 0
[pid=8080] vsize: 187064
Current children cumulated CPU time (s) 1169.52
Current children cumulated vsize (Kb) 187064

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 58687 0 0 0 113728 4141 0 0 25 0 1 0 21713556 191553536 37822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46766 37822 364 364 0 46402 0
[pid=8080] vsize: 187064
Current children cumulated CPU time (s) 1178.69
Current children cumulated vsize (Kb) 187064

[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) T 8079 8080 4005 0 -1 0 58697 0 0 0 114609 4181 0 0 25 0 1 0 21713556 191553536 37832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46766 37832 364 364 0 46402 0
[pid=8080] vsize: 187064
Current children cumulated CPU time (s) 1187.9
Current children cumulated vsize (Kb) 187064

[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58736 0 0 0 115482 4222 0 0 25 0 1 0 21713556 191750144 37871 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46814 37871 364 364 0 46450 0
[pid=8080] vsize: 187256
Current children cumulated CPU time (s) 1197.04
Current children cumulated vsize (Kb) 187256

[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58810 0 0 0 116373 4259 0 0 25 0 1 0 21713556 192143360 37945 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46910 37945 364 364 0 46546 0
[pid=8080] vsize: 187640
Current children cumulated CPU time (s) 1206.32
Current children cumulated vsize (Kb) 187640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8143
Raw data (/proc/8080/stat): 8080 (pb2sat) R 8079 8080 4005 0 -1 0 58810 0 0 0 116373 4259 0 0 25 0 1 0 21713556 192143360 37945 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8080/statm): 46910 37945 364 364 0 46546 0
[pid=8080] vsize: 187640
Current children cumulated CPU time (s) 1206.32
Current children cumulated vsize (Kb) 187640

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

Child status: 0
Real time (s): 1290.56
CPU time (s): 1206.81
CPU user time (s): 1164.14
CPU system time (s): 42.6725
CPU usage (%): 93.5106
Max. virtual memory (cumulated for all children) (Kb): 187640

Verifier Data

ERROR: no interpretation found !