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/miplib/normalized-mps-v2-20-10-gen.opb
MD5SUM860f839de61311f9d82ecee84a58294b
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 10032

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-23 16:17:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8717 boxname=wulflinc12 idbench=513 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  860f839de61311f9d82ecee84a58294b  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gen.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gen.opb
IDLAUNCH: 8717
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        949156 kB
Buffers:          5756 kB
Cached:          60000 kB
SwapCached:          0 kB
Active:          19704 kB
Inactive:        49004 kB
HighTotal:      131008 kB
HighFree:        88928 kB
LowTotal:       903652 kB
LowFree:        860228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11196 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:39:08 (client local time) WITH STATUS 0 IN 1205.02 SECONDS
stats: 8717 7 1205.02 0

Solver Data

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

c Decision: 122067/275150	Time: 188.165/86400
c Decision: 122133/275150	Time: 218.753/86400
c Decision: 122705/275150	Time: 386.936/86400
c Decision: 122951/275150	Time: 463.456/86400
c Decision: 122966/275150	Time: 483.314/86400
c Decision: 123969/275150	Time: 877.787/86400
c Decision: 124409/275150	Time: 1068.25/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/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21564787 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 373 2 364 364 0 9 0
[pid=8807] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gen.opb

[startup+10.0018 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 20251 0 0 0 949 47 0 0 25 0 1 0 21564787 60379136 12207 4294967295 134512640 135987407 3221224560 3221202304 134855001 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 14741 12207 364 364 0 14377 0
[pid=8807] vsize: 58964
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 58964

[startup+20.0026 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 40115 0 0 0 1885 100 0 0 25 0 1 0 21564787 121708544 23314 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 29714 23314 364 364 0 29350 0
[pid=8807] vsize: 118856
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 118856

[startup+30.0035 s]
Raw data (loadavg): 0.94 0.94 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 41656 0 0 0 2836 118 0 0 25 0 1 0 21564787 128704512 24656 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 31422 24656 364 364 0 31058 0
[pid=8807] vsize: 125688
Current children cumulated CPU time (s) 29.54
Current children cumulated vsize (Kb) 125688

[startup+40.0043 s]
Raw data (loadavg): 0.95 0.94 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 42365 0 0 0 3792 135 0 0 25 0 1 0 21564787 131850240 25365 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 32190 25365 364 364 0 31826 0
[pid=8807] vsize: 128760
Current children cumulated CPU time (s) 39.27
Current children cumulated vsize (Kb) 128760

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 42935 0 0 0 4735 156 0 0 25 0 1 0 21564787 134406144 25935 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 32814 25935 364 364 0 32450 0
[pid=8807] vsize: 131256
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (Kb) 131256

[startup+60.0059 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 43143 0 0 0 5682 172 0 0 25 0 1 0 21564787 135159808 26143 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 32998 26143 364 364 0 32634 0
[pid=8807] vsize: 131992
Current children cumulated CPU time (s) 58.54
Current children cumulated vsize (Kb) 131992

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 43270 0 0 0 6619 193 0 0 25 0 1 0 21564787 135622656 26270 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 33111 26270 364 364 0 32747 0
[pid=8807] vsize: 132444
Current children cumulated CPU time (s) 68.12
Current children cumulated vsize (Kb) 132444

[startup+80.0076 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 43561 0 0 0 7558 214 0 0 25 0 1 0 21564787 136654848 26561 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 33363 26561 364 364 0 32999 0
[pid=8807] vsize: 133452
Current children cumulated CPU time (s) 77.72
Current children cumulated vsize (Kb) 133452

[startup+90.0075 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 43731 0 0 0 8477 244 0 0 25 0 1 0 21564787 137342976 26731 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 33531 26731 364 364 0 33167 0
[pid=8807] vsize: 134124
Current children cumulated CPU time (s) 87.21
Current children cumulated vsize (Kb) 134124

[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 43962 0 0 0 9401 269 0 0 25 0 1 0 21564787 138260480 26962 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 33755 26962 364 364 0 33391 0
[pid=8807] vsize: 135020
Current children cumulated CPU time (s) 96.7
Current children cumulated vsize (Kb) 135020

[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 44082 0 0 0 10318 295 0 0 25 0 1 0 21564787 138653696 27082 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 33851 27082 364 364 0 33487 0
[pid=8807] vsize: 135404
Current children cumulated CPU time (s) 106.13
Current children cumulated vsize (Kb) 135404

[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 44243 0 0 0 11222 326 0 0 25 0 1 0 21564787 139440128 27243 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 34043 27243 364 364 0 33679 0
[pid=8807] vsize: 136172
Current children cumulated CPU time (s) 115.48
Current children cumulated vsize (Kb) 136172

[startup+130.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 44657 0 0 0 12134 356 0 0 25 0 1 0 21564787 141406208 27657 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 34523 27657 364 364 0 34159 0
[pid=8807] vsize: 138092
Current children cumulated CPU time (s) 124.9
Current children cumulated vsize (Kb) 138092

[startup+140.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 45025 0 0 0 13039 388 0 0 25 0 1 0 21564787 143142912 28025 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 34947 28025 364 364 0 34583 0
[pid=8807] vsize: 139788
Current children cumulated CPU time (s) 134.27
Current children cumulated vsize (Kb) 139788

[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 45065 0 0 0 13970 412 0 0 25 0 1 0 21564787 143339520 28065 4294967295 134512640 135987407 3221224560 3221223376 134824584 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 34995 28065 364 364 0 34631 0
[pid=8807] vsize: 139980
Current children cumulated CPU time (s) 143.82
Current children cumulated vsize (Kb) 139980

[startup+160.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 45321 0 0 0 14887 442 0 0 25 0 1 0 21564787 144257024 28321 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 35219 28321 364 364 0 34855 0
[pid=8807] vsize: 140876
Current children cumulated CPU time (s) 153.29
Current children cumulated vsize (Kb) 140876

[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 45529 0 0 0 15813 466 0 0 25 0 1 0 21564787 145240064 28529 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 35459 28529 364 364 0 35095 0
[pid=8807] vsize: 141836
Current children cumulated CPU time (s) 162.79
Current children cumulated vsize (Kb) 141836

[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 45841 0 0 0 16717 495 0 0 25 0 1 0 21564787 146862080 28841 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 35855 28841 364 364 0 35491 0
[pid=8807] vsize: 143420
Current children cumulated CPU time (s) 172.12
Current children cumulated vsize (Kb) 143420

[startup+190.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 46098 0 0 0 17633 523 0 0 25 0 1 0 21564787 148213760 29098 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 36185 29098 364 364 0 35821 0
[pid=8807] vsize: 144740
Current children cumulated CPU time (s) 181.56
Current children cumulated vsize (Kb) 144740

[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 46254 0 0 0 18518 562 0 0 24 0 1 0 21564787 149024768 29254 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 36383 29254 364 364 0 36019 0
[pid=8807] vsize: 145532
Current children cumulated CPU time (s) 190.8
Current children cumulated vsize (Kb) 145532

[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 46929 0 0 0 19450 584 0 0 25 0 1 0 21564787 153350144 29929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37439 29929 364 364 0 37075 0
[pid=8807] vsize: 149756
Current children cumulated CPU time (s) 200.34
Current children cumulated vsize (Kb) 149756

[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 47563 0 0 0 20374 608 0 0 25 0 1 0 21564787 153890816 30025 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37571 30025 364 364 0 37207 0
[pid=8807] vsize: 150284
Current children cumulated CPU time (s) 209.82
Current children cumulated vsize (Kb) 150284

[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 47568 0 0 0 21279 641 0 0 25 0 1 0 21564787 153890816 30030 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37571 30030 364 364 0 37207 0
[pid=8807] vsize: 150284
Current children cumulated CPU time (s) 219.2
Current children cumulated vsize (Kb) 150284

[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 47658 0 0 0 22186 672 0 0 25 0 1 0 21564787 154349568 30120 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37683 30120 364 364 0 37319 0
[pid=8807] vsize: 150732
Current children cumulated CPU time (s) 228.58
Current children cumulated vsize (Kb) 150732

[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48284 0 0 0 23103 700 0 0 25 0 1 0 21564787 154791936 30208 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37791 30208 364 364 0 37427 0
[pid=8807] vsize: 151164
Current children cumulated CPU time (s) 238.03
Current children cumulated vsize (Kb) 151164

[startup+260.019 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48328 0 0 0 24032 725 0 0 25 0 1 0 21564787 154988544 30252 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37839 30252 364 364 0 37475 0
[pid=8807] vsize: 151356
Current children cumulated CPU time (s) 247.57
Current children cumulated vsize (Kb) 151356

[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48381 0 0 0 24945 753 0 0 25 0 1 0 21564787 155185152 30305 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 37887 30305 364 364 0 37523 0
[pid=8807] vsize: 151548
Current children cumulated CPU time (s) 256.98
Current children cumulated vsize (Kb) 151548

[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 48520 0 0 0 25834 789 0 0 25 0 1 0 21564787 155713536 30444 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38016 30444 364 364 0 37652 0
[pid=8807] vsize: 152064
Current children cumulated CPU time (s) 266.23
Current children cumulated vsize (Kb) 152064

[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48631 0 0 0 26739 821 0 0 25 0 1 0 21564787 156073984 30555 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38104 30555 364 364 0 37740 0
[pid=8807] vsize: 152416
Current children cumulated CPU time (s) 275.6
Current children cumulated vsize (Kb) 152416

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48688 0 0 0 27663 845 0 0 25 0 1 0 21564787 156270592 30612 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38152 30612 364 364 0 37788 0
[pid=8807] vsize: 152608
Current children cumulated CPU time (s) 285.08
Current children cumulated vsize (Kb) 152608

[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48810 0 0 0 28586 872 0 0 25 0 1 0 21564787 156811264 30734 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38284 30734 364 364 0 37920 0
[pid=8807] vsize: 153136
Current children cumulated CPU time (s) 294.58
Current children cumulated vsize (Kb) 153136

[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48879 0 0 0 29499 902 0 0 25 0 1 0 21564787 157093888 30803 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38353 30803 364 364 0 37989 0
[pid=8807] vsize: 153412
Current children cumulated CPU time (s) 304.01
Current children cumulated vsize (Kb) 153412

[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48911 0 0 0 30413 929 0 0 25 0 1 0 21564787 157290496 30835 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 38401 30835 364 364 0 38037 0
[pid=8807] vsize: 153604
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (Kb) 153604

[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 48972 0 0 0 31324 961 0 0 25 0 1 0 21564787 157487104 30896 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38449 30896 364 364 0 38085 0
[pid=8807] vsize: 153796
Current children cumulated CPU time (s) 322.85
Current children cumulated vsize (Kb) 153796

[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49058 0 0 0 32235 993 0 0 25 0 1 0 21564787 157880320 30982 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38545 30982 364 364 0 38181 0
[pid=8807] vsize: 154180
Current children cumulated CPU time (s) 332.28
Current children cumulated vsize (Kb) 154180

[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49097 0 0 0 33147 1025 0 0 25 0 1 0 21564787 157880320 31021 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38545 31021 364 364 0 38181 0
[pid=8807] vsize: 154180
Current children cumulated CPU time (s) 341.72
Current children cumulated vsize (Kb) 154180

[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49129 0 0 0 34072 1051 0 0 25 0 1 0 21564787 158015488 31053 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38578 31053 364 364 0 38214 0
[pid=8807] vsize: 154312
Current children cumulated CPU time (s) 351.23
Current children cumulated vsize (Kb) 154312

[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49140 0 0 0 34992 1075 0 0 25 0 1 0 21564787 158015488 31064 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38578 31064 364 364 0 38214 0
[pid=8807] vsize: 154312
Current children cumulated CPU time (s) 360.67
Current children cumulated vsize (Kb) 154312

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49170 0 0 0 35911 1102 0 0 25 0 1 0 21564787 158150656 31094 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38611 31094 364 364 0 38247 0
[pid=8807] vsize: 154444
Current children cumulated CPU time (s) 370.13
Current children cumulated vsize (Kb) 154444

[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49214 0 0 0 36824 1130 0 0 25 0 1 0 21564787 158302208 31138 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 38648 31138 364 364 0 38284 0
[pid=8807] vsize: 154592
Current children cumulated CPU time (s) 379.54
Current children cumulated vsize (Kb) 154592

[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 49307 0 0 0 37722 1162 0 0 25 0 1 0 21564787 158826496 31231 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 38776 31231 364 364 0 38412 0
[pid=8807] vsize: 155104
Current children cumulated CPU time (s) 388.84
Current children cumulated vsize (Kb) 155104

[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 49540 0 0 0 38617 1197 0 0 25 0 1 0 21564787 160137216 31464 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 39096 31464 364 364 0 38732 0
[pid=8807] vsize: 156384
Current children cumulated CPU time (s) 398.14
Current children cumulated vsize (Kb) 156384

[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 50158 0 0 0 39541 1221 0 0 25 0 1 0 21564787 160419840 31544 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39165 31544 364 364 0 38801 0
[pid=8807] vsize: 156660
Current children cumulated CPU time (s) 407.62
Current children cumulated vsize (Kb) 156660

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 50184 0 0 0 40444 1251 0 0 25 0 1 0 21564787 160419840 31570 4294967295 134512640 135987407 3221224560 3221223372 134824864 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39165 31570 364 364 0 38801 0
[pid=8807] vsize: 156660
Current children cumulated CPU time (s) 416.95
Current children cumulated vsize (Kb) 156660

[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 50258 0 0 0 41324 1290 0 0 25 0 1 0 21564787 160747520 31644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 39245 31644 364 364 0 38881 0
[pid=8807] vsize: 156980
Current children cumulated CPU time (s) 426.14
Current children cumulated vsize (Kb) 156980

[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 50408 0 0 0 42222 1325 0 0 25 0 1 0 21564787 161288192 31794 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39377 31794 364 364 0 39013 0
[pid=8807] vsize: 157508
Current children cumulated CPU time (s) 435.47
Current children cumulated vsize (Kb) 157508

[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 50566 0 0 0 43123 1359 0 0 25 0 1 0 21564787 162148352 31952 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39587 31952 364 364 0 39223 0
[pid=8807] vsize: 158348
Current children cumulated CPU time (s) 444.82
Current children cumulated vsize (Kb) 158348

[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 50633 0 0 0 44020 1394 0 0 25 0 1 0 21564787 162508800 32019 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39675 32019 364 364 0 39311 0
[pid=8807] vsize: 158700
Current children cumulated CPU time (s) 454.14
Current children cumulated vsize (Kb) 158700

[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 50791 0 0 0 44923 1429 0 0 25 0 1 0 21564787 163393536 32177 4294967295 134512640 135987407 3221224560 3221223248 134811727 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 39891 32177 364 364 0 39527 0
[pid=8807] vsize: 159564
Current children cumulated CPU time (s) 463.52
Current children cumulated vsize (Kb) 159564

[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 50810 0 0 0 45849 1454 0 0 25 0 1 0 21564787 163393536 32196 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 39891 32196 364 364 0 39527 0
[pid=8807] vsize: 159564
Current children cumulated CPU time (s) 473.03
Current children cumulated vsize (Kb) 159564

[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 51657 0 0 0 46782 1476 0 0 25 0 1 0 21564787 164458496 32406 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 40151 32406 364 364 0 39787 0
[pid=8807] vsize: 160604
Current children cumulated CPU time (s) 482.58
Current children cumulated vsize (Kb) 160604

[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 51760 0 0 0 47696 1504 0 0 25 0 1 0 21564787 164995072 32509 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 40282 32509 364 364 0 39918 0
[pid=8807] vsize: 161128
Current children cumulated CPU time (s) 492
Current children cumulated vsize (Kb) 161128

[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 52368 0 0 0 48622 1527 0 0 25 0 1 0 21564787 165400576 32579 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 40381 32579 364 364 0 40017 0
[pid=8807] vsize: 161524
Current children cumulated CPU time (s) 501.49
Current children cumulated vsize (Kb) 161524

[startup+540.033 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 52525 0 0 0 49518 1563 0 0 25 0 1 0 21564787 166346752 32736 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 40612 32736 364 364 0 40248 0
[pid=8807] vsize: 162448
Current children cumulated CPU time (s) 510.81
Current children cumulated vsize (Kb) 162448

[startup+550.033 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 52613 0 0 0 50404 1603 0 0 25 0 1 0 21564787 166944768 32824 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 40758 32824 364 364 0 40394 0
[pid=8807] vsize: 163032
Current children cumulated CPU time (s) 520.07
Current children cumulated vsize (Kb) 163032

[startup+560.034 s]
Raw data (loadavg): 1.05 0.99 0.97 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 52736 0 0 0 51294 1638 0 0 25 0 1 0 21564787 167419904 32947 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 40874 32947 364 364 0 40510 0
[pid=8807] vsize: 163496
Current children cumulated CPU time (s) 529.32
Current children cumulated vsize (Kb) 163496

[startup+570.035 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 52759 0 0 0 52202 1671 0 0 25 0 1 0 21564787 167419904 32970 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 40874 32970 364 364 0 40510 0
[pid=8807] vsize: 163496
Current children cumulated CPU time (s) 538.73
Current children cumulated vsize (Kb) 163496

[startup+580.036 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 52886 0 0 0 53111 1699 0 0 25 0 1 0 21564787 168108032 33097 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 41042 33097 364 364 0 40678 0
[pid=8807] vsize: 164168
Current children cumulated CPU time (s) 548.1
Current children cumulated vsize (Kb) 164168

[startup+590.036 s]
Raw data (loadavg): 1.03 0.99 0.97 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 52961 0 0 0 54034 1724 0 0 25 0 1 0 21564787 168407040 33172 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41115 33172 364 364 0 40751 0
[pid=8807] vsize: 164460
Current children cumulated CPU time (s) 557.58
Current children cumulated vsize (Kb) 164460

[startup+600.037 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53027 0 0 0 54943 1753 0 0 25 0 1 0 21564787 168706048 33238 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41188 33238 364 364 0 40824 0
[pid=8807] vsize: 164752
Current children cumulated CPU time (s) 566.96
Current children cumulated vsize (Kb) 164752

[startup+610.038 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53056 0 0 0 55833 1788 0 0 25 0 1 0 21564787 168869888 33267 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 41228 33267 364 364 0 40864 0
[pid=8807] vsize: 164912
Current children cumulated CPU time (s) 576.21
Current children cumulated vsize (Kb) 164912

[startup+620.038 s]
Raw data (loadavg): 1.02 0.99 0.97 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 53104 0 0 0 56757 1812 0 0 25 0 1 0 21564787 169005056 33315 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41261 33315 364 364 0 40897 0
[pid=8807] vsize: 165044
Current children cumulated CPU time (s) 585.69
Current children cumulated vsize (Kb) 165044

[startup+630.039 s]
Raw data (loadavg): 1.09 1.00 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53131 0 0 0 57657 1847 0 0 25 0 1 0 21564787 169152512 33342 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41297 33342 364 364 0 40933 0
[pid=8807] vsize: 165188
Current children cumulated CPU time (s) 595.04
Current children cumulated vsize (Kb) 165188

[startup+640.04 s]
Raw data (loadavg): 1.08 1.00 0.97 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 53247 0 0 0 58528 1886 0 0 25 0 1 0 21564787 169676800 33458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41425 33458 364 364 0 41061 0
[pid=8807] vsize: 165700
Current children cumulated CPU time (s) 604.14
Current children cumulated vsize (Kb) 165700

[startup+650.04 s]
Raw data (loadavg): 1.07 1.00 0.97 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 53378 0 0 0 59421 1921 0 0 25 0 1 0 21564787 170303488 33589 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41578 33589 364 364 0 41214 0
[pid=8807] vsize: 166312
Current children cumulated CPU time (s) 613.42
Current children cumulated vsize (Kb) 166312

[startup+660.041 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53397 0 0 0 60335 1950 0 0 25 0 1 0 21564787 170303488 33608 4294967295 134512640 135987407 3221224560 3221223124 135481637 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41578 33608 364 364 0 41214 0
[pid=8807] vsize: 166312
Current children cumulated CPU time (s) 622.85
Current children cumulated vsize (Kb) 166312

[startup+670.041 s]
Raw data (loadavg): 1.13 1.02 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53477 0 0 0 61224 1988 0 0 24 0 1 0 21564787 170631168 33688 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 41658 33688 364 364 0 41294 0
[pid=8807] vsize: 166632
Current children cumulated CPU time (s) 632.12
Current children cumulated vsize (Kb) 166632

[startup+680.042 s]
Raw data (loadavg): 1.11 1.02 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 53570 0 0 0 62129 2019 0 0 25 0 1 0 21564787 171036672 33781 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41757 33781 364 364 0 41393 0
[pid=8807] vsize: 167028
Current children cumulated CPU time (s) 641.48
Current children cumulated vsize (Kb) 167028

[startup+690.043 s]
Raw data (loadavg): 1.09 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53714 0 0 0 63027 2053 0 0 25 0 1 0 21564787 171798528 33925 4294967295 134512640 135987407 3221224560 3221223172 135293364 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 41943 33925 364 364 0 41579 0
[pid=8807] vsize: 167772
Current children cumulated CPU time (s) 650.8
Current children cumulated vsize (Kb) 167772

[startup+700.043 s]
Raw data (loadavg): 1.08 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53770 0 0 0 63937 2084 0 0 25 0 1 0 21564787 172191744 33981 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 42039 33981 364 364 0 41675 0
[pid=8807] vsize: 168156
Current children cumulated CPU time (s) 660.21
Current children cumulated vsize (Kb) 168156

[startup+710.043 s]
Raw data (loadavg): 1.06 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 53876 0 0 0 64832 2122 0 0 25 0 1 0 21564787 172732416 34087 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42171 34087 364 364 0 41807 0
[pid=8807] vsize: 168684
Current children cumulated CPU time (s) 669.54
Current children cumulated vsize (Kb) 168684

[startup+720.044 s]
Raw data (loadavg): 1.05 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53907 0 0 0 65718 2158 0 0 25 0 1 0 21564787 172867584 34118 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 42204 34118 364 364 0 41840 0
[pid=8807] vsize: 168816
Current children cumulated CPU time (s) 678.76
Current children cumulated vsize (Kb) 168816

[startup+730.045 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 53929 0 0 0 66595 2199 0 0 25 0 1 0 21564787 173064192 34140 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 42252 34140 364 364 0 41888 0
[pid=8807] vsize: 169008
Current children cumulated CPU time (s) 687.94
Current children cumulated vsize (Kb) 169008

[startup+740.045 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54030 0 0 0 67470 2243 0 0 25 0 1 0 21564787 173334528 34241 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42318 34241 364 364 0 41954 0
[pid=8807] vsize: 169272
Current children cumulated CPU time (s) 697.13
Current children cumulated vsize (Kb) 169272

[startup+750.046 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54146 0 0 0 68357 2279 0 0 25 0 1 0 21564787 174088192 34357 4294967295 134512640 135987407 3221224560 3221223136 135486762 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42502 34357 364 364 0 42138 0
[pid=8807] vsize: 170008
Current children cumulated CPU time (s) 706.36
Current children cumulated vsize (Kb) 170008

[startup+760.047 s]
Raw data (loadavg): 1.03 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54277 0 0 0 69230 2321 0 0 25 0 1 0 21564787 174776320 34488 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42670 34488 364 364 0 42306 0
[pid=8807] vsize: 170680
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 170680

[startup+770.048 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54352 0 0 0 70121 2357 0 0 25 0 1 0 21564787 175169536 34563 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42766 34563 364 364 0 42402 0
[pid=8807] vsize: 171064
Current children cumulated CPU time (s) 724.78
Current children cumulated vsize (Kb) 171064

[startup+780.048 s]
Raw data (loadavg): 1.02 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54442 0 0 0 71020 2391 0 0 24 0 1 0 21564787 175501312 34653 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 42847 34653 364 364 0 42483 0
[pid=8807] vsize: 171388
Current children cumulated CPU time (s) 734.11
Current children cumulated vsize (Kb) 171388

[startup+790.048 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54509 0 0 0 71901 2432 0 0 25 0 1 0 21564787 175771648 34720 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 42913 34720 364 364 0 42549 0
[pid=8807] vsize: 171652
Current children cumulated CPU time (s) 743.33
Current children cumulated vsize (Kb) 171652

[startup+800.048 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54538 0 0 0 72785 2471 0 0 25 0 1 0 21564787 175906816 34749 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 42946 34749 364 364 0 42582 0
[pid=8807] vsize: 171784
Current children cumulated CPU time (s) 752.56
Current children cumulated vsize (Kb) 171784

[startup+810.049 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54661 0 0 0 73672 2508 0 0 25 0 1 0 21564787 176857088 34872 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43178 34872 364 364 0 42814 0
[pid=8807] vsize: 172712
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (Kb) 172712

[startup+820.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54689 0 0 0 74557 2548 0 0 25 0 1 0 21564787 176857088 34900 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43178 34900 364 364 0 42814 0
[pid=8807] vsize: 172712
Current children cumulated CPU time (s) 771.05
Current children cumulated vsize (Kb) 172712

[startup+830.051 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54713 0 0 0 75445 2586 0 0 25 0 1 0 21564787 176857088 34924 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43178 34924 364 364 0 42814 0
[pid=8807] vsize: 172712
Current children cumulated CPU time (s) 780.31
Current children cumulated vsize (Kb) 172712

[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54725 0 0 0 76334 2623 0 0 25 0 1 0 21564787 176857088 34936 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43178 34936 364 364 0 42814 0
[pid=8807] vsize: 172712
Current children cumulated CPU time (s) 789.57
Current children cumulated vsize (Kb) 172712

[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54754 0 0 0 77227 2657 0 0 25 0 1 0 21564787 177004544 34965 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43214 34965 364 364 0 42850 0
[pid=8807] vsize: 172856
Current children cumulated CPU time (s) 798.84
Current children cumulated vsize (Kb) 172856

[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54852 0 0 0 78101 2698 0 0 25 0 1 0 21564787 177463296 35063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 43326 35063 364 364 0 42962 0
[pid=8807] vsize: 173304
Current children cumulated CPU time (s) 807.99
Current children cumulated vsize (Kb) 173304

[startup+870.053 s]
Raw data (loadavg): 1.08 1.02 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54865 0 0 0 78999 2732 0 0 25 0 1 0 21564787 177463296 35076 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43326 35076 364 364 0 42962 0
[pid=8807] vsize: 173304
Current children cumulated CPU time (s) 817.31
Current children cumulated vsize (Kb) 173304

[startup+880.054 s]
Raw data (loadavg): 1.07 1.02 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54933 0 0 0 79864 2779 0 0 25 0 1 0 21564787 177930240 35144 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43440 35144 364 364 0 43076 0
[pid=8807] vsize: 173760
Current children cumulated CPU time (s) 826.43
Current children cumulated vsize (Kb) 173760

[startup+890.055 s]
Raw data (loadavg): 1.06 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 54987 0 0 0 80759 2814 0 0 25 0 1 0 21564787 178065408 35198 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43473 35198 364 364 0 43109 0
[pid=8807] vsize: 173892
Current children cumulated CPU time (s) 835.73
Current children cumulated vsize (Kb) 173892

[startup+900.054 s]
Raw data (loadavg): 1.05 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 54997 0 0 0 81657 2847 0 0 22 0 1 0 21564787 178065408 35208 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43473 35208 364 364 0 43109 0
[pid=8807] vsize: 173892
Current children cumulated CPU time (s) 845.04
Current children cumulated vsize (Kb) 173892

[startup+910.055 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55013 0 0 0 82545 2884 0 0 25 0 1 0 21564787 178212864 35224 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43509 35224 364 364 0 43145 0
[pid=8807] vsize: 174036
Current children cumulated CPU time (s) 854.29
Current children cumulated vsize (Kb) 174036

[startup+920.055 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55034 0 0 0 83450 2915 0 0 21 0 1 0 21564787 178212864 35245 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43509 35245 364 364 0 43145 0
[pid=8807] vsize: 174036
Current children cumulated CPU time (s) 863.65
Current children cumulated vsize (Kb) 174036

[startup+930.056 s]
Raw data (loadavg): 1.03 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 55105 0 0 0 84318 2961 0 0 25 0 1 0 21564787 178589696 35316 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43601 35316 364 364 0 43237 0
[pid=8807] vsize: 174404
Current children cumulated CPU time (s) 872.79
Current children cumulated vsize (Kb) 174404

[startup+940.057 s]
Raw data (loadavg): 1.02 1.01 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 55148 0 0 0 85192 3004 0 0 25 0 1 0 21564787 178786304 35359 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43649 35359 364 364 0 43285 0
[pid=8807] vsize: 174596
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (Kb) 174596

[startup+950.058 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55207 0 0 0 86055 3052 0 0 24 0 1 0 21564787 178950144 35418 4294967295 134512640 135987407 3221224560 3221223120 134788443 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43689 35418 364 364 0 43325 0
[pid=8807] vsize: 174756
Current children cumulated CPU time (s) 891.07
Current children cumulated vsize (Kb) 174756

[startup+960.058 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55751 0 0 0 86974 3081 0 0 25 0 1 0 21564787 178950144 35424 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 43689 35424 364 364 0 43325 0
[pid=8807] vsize: 174756
Current children cumulated CPU time (s) 900.55
Current children cumulated vsize (Kb) 174756

[startup+970.059 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55847 0 0 0 87860 3118 0 0 25 0 1 0 21564787 179478528 35520 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43818 35520 364 364 0 43454 0
[pid=8807] vsize: 175272
Current children cumulated CPU time (s) 909.78
Current children cumulated vsize (Kb) 175272

[startup+980.06 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 55936 0 0 0 88704 3169 0 0 24 0 1 0 21564787 180068352 35609 4294967295 134512640 135987407 3221224560 3221223376 134816692 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 43962 35609 364 364 0 43598 0
[pid=8807] vsize: 175848
Current children cumulated CPU time (s) 918.73
Current children cumulated vsize (Kb) 175848

[startup+990.06 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56057 0 0 0 89570 3212 0 0 25 0 1 0 21564787 180854784 35730 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 44154 35730 364 364 0 43790 0
[pid=8807] vsize: 176616
Current children cumulated CPU time (s) 927.82
Current children cumulated vsize (Kb) 176616

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.00 0.98 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 56155 0 0 0 90458 3248 0 0 25 0 1 0 21564787 181321728 35828 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44268 35828 364 364 0 43904 0
[pid=8807] vsize: 177072
Current children cumulated CPU time (s) 937.06
Current children cumulated vsize (Kb) 177072

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56180 0 0 0 91335 3290 0 0 21 0 1 0 21564787 181518336 35853 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44316 35853 364 364 0 43952 0
[pid=8807] vsize: 177264
Current children cumulated CPU time (s) 946.25
Current children cumulated vsize (Kb) 177264

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56322 0 0 0 92227 3328 0 0 25 0 1 0 21564787 182304768 35995 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44508 35995 364 364 0 44144 0
[pid=8807] vsize: 178032
Current children cumulated CPU time (s) 955.55
Current children cumulated vsize (Kb) 178032

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56412 0 0 0 93103 3369 0 0 25 0 1 0 21564787 182697984 36085 4294967295 134512640 135987407 3221224560 3221223232 134812237 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 44604 36085 364 364 0 44240 0
[pid=8807] vsize: 178416
Current children cumulated CPU time (s) 964.72
Current children cumulated vsize (Kb) 178416

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56480 0 0 0 93995 3403 0 0 25 0 1 0 21564787 182968320 36153 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44670 36153 364 364 0 44306 0
[pid=8807] vsize: 178680
Current children cumulated CPU time (s) 973.98
Current children cumulated vsize (Kb) 178680

[startup+1050.06 s]
Raw data (loadavg): 1.07 1.02 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56563 0 0 0 94861 3448 0 0 25 0 1 0 21564787 183558144 36236 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 44814 36236 364 364 0 44450 0
[pid=8807] vsize: 179256
Current children cumulated CPU time (s) 983.09
Current children cumulated vsize (Kb) 179256

[startup+1060.06 s]
Raw data (loadavg): 1.06 1.02 0.99 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 56580 0 0 0 95737 3493 0 0 25 0 1 0 21564787 183558144 36253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44814 36253 364 364 0 44450 0
[pid=8807] vsize: 179256
Current children cumulated CPU time (s) 992.3
Current children cumulated vsize (Kb) 179256

[startup+1070.06 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56713 0 0 0 96594 3541 0 0 25 0 1 0 21564787 184279040 36386 4294967295 134512640 135987407 3221224560 3221223376 134816703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 44990 36386 364 364 0 44626 0
[pid=8807] vsize: 179960
Current children cumulated CPU time (s) 1001.35
Current children cumulated vsize (Kb) 179960

[startup+1080.07 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56790 0 0 0 97471 3582 0 0 25 0 1 0 21564787 184623104 36463 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 45074 36463 364 364 0 44710 0
[pid=8807] vsize: 180296
Current children cumulated CPU time (s) 1010.53
Current children cumulated vsize (Kb) 180296

[startup+1090.07 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56817 0 0 0 98349 3622 0 0 25 0 1 0 21564787 184623104 36490 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 45074 36490 364 364 0 44710 0
[pid=8807] vsize: 180296
Current children cumulated CPU time (s) 1019.71
Current children cumulated vsize (Kb) 180296

[startup+1100.07 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 56900 0 0 0 99236 3658 0 0 25 0 1 0 21564787 185114624 36573 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 45194 36573 364 364 0 44830 0
[pid=8807] vsize: 180776
Current children cumulated CPU time (s) 1028.94
Current children cumulated vsize (Kb) 180776

[startup+1110.07 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 57062 0 0 0 100112 3699 0 0 25 0 1 0 21564787 186048512 36735 4294967295 134512640 135987407 3221224560 3221223120 134788462 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 45422 36735 364 364 0 45058 0
[pid=8807] vsize: 181688
Current children cumulated CPU time (s) 1038.11
Current children cumulated vsize (Kb) 181688

[startup+1120.07 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 57076 0 0 0 101001 3739 0 0 25 0 1 0 21564787 186048512 36749 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 45422 36749 364 364 0 45058 0
[pid=8807] vsize: 181688
Current children cumulated CPU time (s) 1047.4
Current children cumulated vsize (Kb) 181688

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 0.99 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 57151 0 0 0 101871 3781 0 0 23 0 1 0 21564787 186376192 36824 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 45502 36824 364 364 0 45138 0
[pid=8807] vsize: 182008
Current children cumulated CPU time (s) 1056.52
Current children cumulated vsize (Kb) 182008

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 57237 0 0 0 102747 3826 0 0 25 0 1 0 21564787 186933248 36910 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 45638 36910 364 364 0 45274 0
[pid=8807] vsize: 182552
Current children cumulated CPU time (s) 1065.73
Current children cumulated vsize (Kb) 182552

[startup+1150.07 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 57308 0 0 0 103616 3868 0 0 25 0 1 0 21564787 187129856 36981 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 45686 36981 364 364 0 45322 0
[pid=8807] vsize: 182744
Current children cumulated CPU time (s) 1074.84
Current children cumulated vsize (Kb) 182744

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58034 0 0 0 104534 3895 0 0 25 0 1 0 21564787 190234624 37707 4294967295 134512640 135987407 3221224560 3221222944 134829266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46444 37707 364 364 0 46080 0
[pid=8807] vsize: 185776
Current children cumulated CPU time (s) 1084.29
Current children cumulated vsize (Kb) 185776

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58115 0 0 0 105474 3915 0 0 25 0 1 0 21564787 188571648 37250 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46038 37250 364 364 0 45674 0
[pid=8807] vsize: 184152
Current children cumulated CPU time (s) 1093.89
Current children cumulated vsize (Kb) 184152

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.00 0.99 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 58202 0 0 0 106354 3954 0 0 25 0 1 0 21564787 189112320 37337 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46170 37337 364 364 0 45806 0
[pid=8807] vsize: 184680
Current children cumulated CPU time (s) 1103.08
Current children cumulated vsize (Kb) 184680

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58263 0 0 0 107243 3992 0 0 25 0 1 0 21564787 189411328 37398 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46243 37398 364 364 0 45879 0
[pid=8807] vsize: 184972
Current children cumulated CPU time (s) 1112.35
Current children cumulated vsize (Kb) 184972

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58310 0 0 0 108140 4030 0 0 25 0 1 0 21564787 189575168 37445 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46283 37445 364 364 0 45919 0
[pid=8807] vsize: 185132
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (Kb) 185132

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58360 0 0 0 109032 4066 0 0 23 0 1 0 21564787 189906944 37495 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46364 37495 364 364 0 46000 0
[pid=8807] vsize: 185456
Current children cumulated CPU time (s) 1130.98
Current children cumulated vsize (Kb) 185456

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 58479 0 0 0 109910 4106 0 0 25 0 1 0 21564787 190496768 37614 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 46508 37614 364 364 0 46144 0
[pid=8807] vsize: 186032
Current children cumulated CPU time (s) 1140.16
Current children cumulated vsize (Kb) 186032

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 58572 0 0 0 110790 4146 0 0 25 0 1 0 21564787 190963712 37707 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46622 37707 364 364 0 46258 0
[pid=8807] vsize: 186488
Current children cumulated CPU time (s) 1149.36
Current children cumulated vsize (Kb) 186488

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58680 0 0 0 111672 4186 0 0 25 0 1 0 21564787 191553536 37815 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 46766 37815 364 364 0 46402 0
[pid=8807] vsize: 187064
Current children cumulated CPU time (s) 1158.58
Current children cumulated vsize (Kb) 187064

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58691 0 0 0 112542 4230 0 0 25 0 1 0 21564787 191553536 37826 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 46766 37826 364 364 0 46402 0
[pid=8807] vsize: 187064
Current children cumulated CPU time (s) 1167.72
Current children cumulated vsize (Kb) 187064

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58730 0 0 0 113422 4270 0 0 25 0 1 0 21564787 191750144 37865 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 46814 37865 364 364 0 46450 0
[pid=8807] vsize: 187256
Current children cumulated CPU time (s) 1176.92
Current children cumulated vsize (Kb) 187256

[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58786 0 0 0 114294 4312 0 0 25 0 1 0 21564787 192143360 37921 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8807/statm): 46910 37921 364 364 0 46546 0
[pid=8807] vsize: 187640
Current children cumulated CPU time (s) 1186.06
Current children cumulated vsize (Kb) 187640

[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) T 8806 8807 4060 0 -1 0 58833 0 0 0 115195 4345 0 0 25 0 1 0 21564787 192339968 37968 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8807/statm): 46958 37968 364 364 0 46594 0
[pid=8807] vsize: 187832
Current children cumulated CPU time (s) 1195.4
Current children cumulated vsize (Kb) 187832

[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58889 0 0 0 116069 4386 0 0 25 0 1 0 21564787 192536576 38024 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 47006 38024 364 364 0 46642 0
[pid=8807] vsize: 188024
Current children cumulated CPU time (s) 1204.55
Current children cumulated vsize (Kb) 188024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8807
Raw data (/proc/8807/stat): 8807 (pb2sat) R 8806 8807 4060 0 -1 0 58889 0 0 0 116069 4386 0 0 25 0 1 0 21564787 192536576 38024 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8807/statm): 47006 38024 364 364 0 46642 0
[pid=8807] vsize: 188024
Current children cumulated CPU time (s) 1204.55
Current children cumulated vsize (Kb) 188024

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

Child status: 0
Real time (s): 1290.56
CPU time (s): 1205.02
CPU user time (s): 1161.08
CPU system time (s): 43.9403
CPU usage (%): 93.372
Max. virtual memory (cumulated for all children) (Kb): 188024

Verifier Data

ERROR: no interpretation found !