Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb
MD5SUMdec96d2298240054a93ead49c19e3272
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1581429279
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1581429279
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 10433

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 17:58:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9129 boxname=wulflinc8 idbench=925 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  dec96d2298240054a93ead49c19e3272  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1al.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1al.opb
IDLAUNCH: 9129
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917768 kB
Buffers:         13548 kB
Cached:          85868 kB
SwapCached:          0 kB
Active:          46224 kB
Inactive:        56120 kB
HighTotal:      131008 kB
HighFree:        42084 kB
LowTotal:       903652 kB
LowFree:        875684 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8972 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:20:02 (client local time) WITH STATUS 0 IN 1206.57 SECONDS
stats: 9129 7 1206.57 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22180792 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 373 2 364 364 0 9 0
[pid=10265] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-set1al.opb

[startup+10.0027 s]
Raw data (loadavg): 0.86 0.94 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 26490 0 0 0 935 63 0 0 25 0 1 0 22180792 81002496 15354 4294967295 134512640 135987407 3221224560 3221210592 134639877 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 19776 15354 364 364 0 19412 0
[pid=10265] vsize: 79104
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 79104

[startup+20.0035 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 28867 0 0 0 1786 113 0 0 25 0 1 0 22180792 85786624 17275 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 20944 17275 364 364 0 20580 0
[pid=10265] vsize: 83776
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (Kb) 83776

[startup+30.0043 s]
Raw data (loadavg): 0.90 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29029 0 0 0 2666 153 0 0 25 0 1 0 22180792 86327296 17437 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21076 17437 364 364 0 20712 0
[pid=10265] vsize: 84304
Current children cumulated CPU time (s) 28.19
Current children cumulated vsize (Kb) 84304

[startup+40.005 s]
Raw data (loadavg): 0.91 0.95 0.95 1/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 29203 0 0 0 3548 195 0 0 25 0 1 0 22180792 87027712 17611 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 21247 17611 364 364 0 20883 0
[pid=10265] vsize: 84988
Current children cumulated CPU time (s) 37.43
Current children cumulated vsize (Kb) 84988

[startup+50.0058 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29279 0 0 0 4421 235 0 0 25 0 1 0 22180792 87302144 17687 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 21314 17687 364 364 0 20950 0
[pid=10265] vsize: 85256
Current children cumulated CPU time (s) 46.56
Current children cumulated vsize (Kb) 85256

[startup+60.0066 s]
Raw data (loadavg): 0.94 0.95 0.95 1/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 29338 0 0 0 5297 276 0 0 24 0 1 0 22180792 87572480 17746 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21380 17746 364 364 0 21016 0
[pid=10265] vsize: 85520
Current children cumulated CPU time (s) 55.73
Current children cumulated vsize (Kb) 85520

[startup+70.0074 s]
Raw data (loadavg): 0.95 0.95 0.95 1/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 29468 0 0 0 6170 317 0 0 25 0 1 0 22180792 87998464 17876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21484 17876 364 364 0 21120 0
[pid=10265] vsize: 85936
Current children cumulated CPU time (s) 64.87
Current children cumulated vsize (Kb) 85936

[startup+80.0082 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29613 0 0 0 7050 354 0 0 25 0 1 0 22180792 88563712 18021 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21622 18021 364 364 0 21258 0
[pid=10265] vsize: 86488
Current children cumulated CPU time (s) 74.04
Current children cumulated vsize (Kb) 86488

[startup+90.0089 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29684 0 0 0 7929 393 0 0 25 0 1 0 22180792 88842240 18092 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21690 18092 364 364 0 21326 0
[pid=10265] vsize: 86760
Current children cumulated CPU time (s) 83.22
Current children cumulated vsize (Kb) 86760

[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29737 0 0 0 8794 438 0 0 25 0 1 0 22180792 88985600 18145 4294967295 134512640 135987407 3221224560 3221223248 134812146 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21725 18145 364 364 0 21361 0
[pid=10265] vsize: 86900
Current children cumulated CPU time (s) 92.32
Current children cumulated vsize (Kb) 86900

[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29826 0 0 0 9656 486 0 0 25 0 1 0 22180792 89399296 18234 4294967295 134512640 135987407 3221224560 3221223056 134878063 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21826 18234 364 364 0 21462 0
[pid=10265] vsize: 87304
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (Kb) 87304

[startup+120.011 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10265
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29899 0 0 0 10539 523 0 0 25 0 1 0 22180792 89681920 18307 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21895 18307 364 364 0 21531 0
[pid=10265] vsize: 87580
Current children cumulated CPU time (s) 110.62
Current children cumulated vsize (Kb) 87580

[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 10320
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 29993 0 0 0 11405 565 0 0 25 0 1 0 22180792 89964544 18401 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 21964 18401 364 364 0 21600 0
[pid=10265] vsize: 87856
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 87856

[startup+140.013 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10320
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 30037 0 0 0 12275 608 0 0 25 0 1 0 22180792 90103808 18445 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 21998 18445 364 364 0 21634 0
[pid=10265] vsize: 87992
Current children cumulated CPU time (s) 128.83
Current children cumulated vsize (Kb) 87992

[startup+150.014 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 10320
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 30086 0 0 0 13149 648 0 0 25 0 1 0 22180792 90251264 18494 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 22034 18494 364 364 0 21670 0
[pid=10265] vsize: 88136
Current children cumulated CPU time (s) 137.97
Current children cumulated vsize (Kb) 88136

[startup+160.014 s]
Raw data (loadavg): 1.06 0.97 0.95 1/55 10320
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30133 0 0 0 14028 688 0 0 25 0 1 0 22180792 90521600 18541 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22100 18541 364 364 0 21736 0
[pid=10265] vsize: 88400
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (Kb) 88400

[startup+170.015 s]
Raw data (loadavg): 1.05 0.97 0.95 1/55 10320
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30244 0 0 0 14903 731 0 0 25 0 1 0 22180792 91004928 18652 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 22218 18652 364 364 0 21854 0
[pid=10265] vsize: 88872
Current children cumulated CPU time (s) 156.34
Current children cumulated vsize (Kb) 88872

[startup+180.016 s]
Raw data (loadavg): 1.04 0.97 0.95 1/55 10322
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30277 0 0 0 15775 775 0 0 23 0 1 0 22180792 91140096 18685 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22251 18685 364 364 0 21887 0
[pid=10265] vsize: 89004
Current children cumulated CPU time (s) 165.5
Current children cumulated vsize (Kb) 89004

[startup+190.017 s]
Raw data (loadavg): 1.12 0.99 0.96 2/55 10324
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 30355 0 0 0 16661 816 0 0 25 0 1 0 22180792 91451392 18763 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 22327 18763 364 364 0 21963 0
[pid=10265] vsize: 89308
Current children cumulated CPU time (s) 174.77
Current children cumulated vsize (Kb) 89308

[startup+200.017 s]
Raw data (loadavg): 1.10 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30547 0 0 0 17549 854 0 0 25 0 1 0 22180792 92233728 18955 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22518 18955 364 364 0 22154 0
[pid=10265] vsize: 90072
Current children cumulated CPU time (s) 184.03
Current children cumulated vsize (Kb) 90072

[startup+210.017 s]
Raw data (loadavg): 1.08 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30689 0 0 0 18434 891 0 0 25 0 1 0 22180792 92725248 19097 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22638 19097 364 364 0 22274 0
[pid=10265] vsize: 90552
Current children cumulated CPU time (s) 193.25
Current children cumulated vsize (Kb) 90552

[startup+220.018 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 30780 0 0 0 19315 930 0 0 25 0 1 0 22180792 93052928 19188 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 22718 19188 364 364 0 22354 0
[pid=10265] vsize: 90872
Current children cumulated CPU time (s) 202.45
Current children cumulated vsize (Kb) 90872

[startup+230.019 s]
Raw data (loadavg): 1.06 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30876 0 0 0 20188 975 0 0 25 0 1 0 22180792 93380608 19284 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22798 19284 364 364 0 22434 0
[pid=10265] vsize: 91192
Current children cumulated CPU time (s) 211.63
Current children cumulated vsize (Kb) 91192

[startup+240.019 s]
Raw data (loadavg): 1.05 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 30956 0 0 0 21064 1015 0 0 25 0 1 0 22180792 93708288 19364 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22878 19364 364 364 0 22514 0
[pid=10265] vsize: 91512
Current children cumulated CPU time (s) 220.79
Current children cumulated vsize (Kb) 91512

[startup+250.018 s]
Raw data (loadavg): 1.04 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31066 0 0 0 21941 1057 0 0 25 0 1 0 22180792 94154752 19474 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 22987 19474 364 364 0 22623 0
[pid=10265] vsize: 91948
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 91948

[startup+260.019 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31171 0 0 0 22814 1099 0 0 25 0 1 0 22180792 94605312 19579 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23097 19579 364 364 0 22733 0
[pid=10265] vsize: 92388
Current children cumulated CPU time (s) 239.13
Current children cumulated vsize (Kb) 92388

[startup+270.019 s]
Raw data (loadavg): 1.03 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31254 0 0 0 23684 1144 0 0 25 0 1 0 22180792 94887936 19662 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23166 19662 364 364 0 22802 0
[pid=10265] vsize: 92664
Current children cumulated CPU time (s) 248.28
Current children cumulated vsize (Kb) 92664

[startup+280.02 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31314 0 0 0 24557 1187 0 0 25 0 1 0 22180792 95162368 19722 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23233 19722 364 364 0 22869 0
[pid=10265] vsize: 92932
Current children cumulated CPU time (s) 257.44
Current children cumulated vsize (Kb) 92932

[startup+290.021 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31355 0 0 0 25435 1227 0 0 25 0 1 0 22180792 95309824 19763 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23269 19763 364 364 0 22905 0
[pid=10265] vsize: 93076
Current children cumulated CPU time (s) 266.62
Current children cumulated vsize (Kb) 93076

[startup+300.02 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31382 0 0 0 26298 1273 0 0 25 0 1 0 22180792 95309824 19790 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23269 19790 364 364 0 22905 0
[pid=10265] vsize: 93076
Current children cumulated CPU time (s) 275.71
Current children cumulated vsize (Kb) 93076

[startup+310.021 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31405 0 0 0 27169 1316 0 0 25 0 1 0 22180792 95444992 19813 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23302 19813 364 364 0 22938 0
[pid=10265] vsize: 93208
Current children cumulated CPU time (s) 284.85
Current children cumulated vsize (Kb) 93208

[startup+320.021 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31446 0 0 0 28038 1358 0 0 25 0 1 0 22180792 95588352 19854 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23337 19854 364 364 0 22973 0
[pid=10265] vsize: 93348
Current children cumulated CPU time (s) 293.96
Current children cumulated vsize (Kb) 93348

[startup+330.022 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31489 0 0 0 28903 1406 0 0 22 0 1 0 22180792 95731712 19897 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23372 19897 364 364 0 23008 0
[pid=10265] vsize: 93488
Current children cumulated CPU time (s) 303.09
Current children cumulated vsize (Kb) 93488

[startup+340.022 s]
Raw data (loadavg): 1.01 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31518 0 0 0 29777 1447 0 0 25 0 1 0 22180792 95731712 19926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23372 19926 364 364 0 23008 0
[pid=10265] vsize: 93488
Current children cumulated CPU time (s) 312.24
Current children cumulated vsize (Kb) 93488

[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31573 0 0 0 30661 1485 0 0 25 0 1 0 22180792 96006144 19981 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23439 19981 364 364 0 23075 0
[pid=10265] vsize: 93756
Current children cumulated CPU time (s) 321.46
Current children cumulated vsize (Kb) 93756

[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31631 0 0 0 31532 1525 0 0 17 0 1 0 22180792 96141312 20039 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23472 20039 364 364 0 23108 0
[pid=10265] vsize: 93888
Current children cumulated CPU time (s) 330.57
Current children cumulated vsize (Kb) 93888

[startup+370.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31656 0 0 0 32408 1567 0 0 25 0 1 0 22180792 96288768 20064 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23508 20064 364 364 0 23144 0
[pid=10265] vsize: 94032
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (Kb) 94032

[startup+380.024 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31743 0 0 0 33276 1613 0 0 25 0 1 0 22180792 96559104 20151 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23574 20151 364 364 0 23210 0
[pid=10265] vsize: 94296
Current children cumulated CPU time (s) 348.89
Current children cumulated vsize (Kb) 94296

[startup+390.023 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31787 0 0 0 34152 1652 0 0 25 0 1 0 22180792 96706560 20195 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23610 20195 364 364 0 23246 0
[pid=10265] vsize: 94440
Current children cumulated CPU time (s) 358.04
Current children cumulated vsize (Kb) 94440

[startup+400.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31891 0 0 0 35025 1695 0 0 25 0 1 0 22180792 97120256 20266 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23711 20266 364 364 0 23347 0
[pid=10265] vsize: 94844
Current children cumulated CPU time (s) 367.2
Current children cumulated vsize (Kb) 94844

[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 31931 0 0 0 35885 1741 0 0 25 0 1 0 22180792 97259520 20306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23745 20306 364 364 0 23381 0
[pid=10265] vsize: 94980
Current children cumulated CPU time (s) 376.26
Current children cumulated vsize (Kb) 94980

[startup+420.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 31988 0 0 0 36756 1789 0 0 24 0 1 0 22180792 97398784 20363 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23779 20363 364 364 0 23415 0
[pid=10265] vsize: 95116
Current children cumulated CPU time (s) 385.45
Current children cumulated vsize (Kb) 95116

[startup+430.024 s]
Raw data (loadavg): 1.08 1.01 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32024 0 0 0 37631 1833 0 0 25 0 1 0 22180792 97538048 20399 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 23813 20399 364 364 0 23449 0
[pid=10265] vsize: 95252
Current children cumulated CPU time (s) 394.64
Current children cumulated vsize (Kb) 95252

[startup+440.025 s]
Raw data (loadavg): 1.07 1.01 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32084 0 0 0 38504 1876 0 0 25 0 1 0 22180792 97820672 20459 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23882 20459 364 364 0 23518 0
[pid=10265] vsize: 95528
Current children cumulated CPU time (s) 403.8
Current children cumulated vsize (Kb) 95528

[startup+450.025 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32133 0 0 0 39381 1917 0 0 25 0 1 0 22180792 97959936 20508 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23916 20508 364 364 0 23552 0
[pid=10265] vsize: 95664
Current children cumulated CPU time (s) 412.98
Current children cumulated vsize (Kb) 95664

[startup+460.026 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 32184 0 0 0 40264 1957 0 0 17 0 1 0 22180792 98103296 20559 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 23951 20559 364 364 0 23587 0
[pid=10265] vsize: 95804
Current children cumulated CPU time (s) 422.21
Current children cumulated vsize (Kb) 95804

[startup+470.027 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32287 0 0 0 41145 1998 0 0 25 0 1 0 22180792 98562048 20662 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24063 20662 364 364 0 23699 0
[pid=10265] vsize: 96252
Current children cumulated CPU time (s) 431.43
Current children cumulated vsize (Kb) 96252

[startup+480.027 s]
Raw data (loadavg): 1.11 1.02 0.97 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32343 0 0 0 42020 2039 0 0 25 0 1 0 22180792 98709504 20718 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24099 20718 364 364 0 23735 0
[pid=10265] vsize: 96396
Current children cumulated CPU time (s) 440.59
Current children cumulated vsize (Kb) 96396

[startup+490.027 s]
Raw data (loadavg): 1.10 1.02 0.97 2/55 10326
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 32395 0 0 0 42897 2078 0 0 25 0 1 0 22180792 99004416 20770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24171 20770 364 364 0 23807 0
[pid=10265] vsize: 96684
Current children cumulated CPU time (s) 449.75
Current children cumulated vsize (Kb) 96684

[startup+500.028 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32430 0 0 0 43778 2121 0 0 25 0 1 0 22180792 99004416 20805 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24171 20805 364 364 0 23807 0
[pid=10265] vsize: 96684
Current children cumulated CPU time (s) 458.99
Current children cumulated vsize (Kb) 96684

[startup+510.029 s]
Raw data (loadavg): 1.07 1.02 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 32515 0 0 0 44652 2162 0 0 25 0 1 0 22180792 99422208 20890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24273 20890 364 364 0 23909 0
[pid=10265] vsize: 97092
Current children cumulated CPU time (s) 468.14
Current children cumulated vsize (Kb) 97092

[startup+520.029 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32569 0 0 0 45521 2207 0 0 25 0 1 0 22180792 99561472 20944 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24307 20944 364 364 0 23943 0
[pid=10265] vsize: 97228
Current children cumulated CPU time (s) 477.28
Current children cumulated vsize (Kb) 97228

[startup+530.03 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32621 0 0 0 46402 2248 0 0 21 0 1 0 22180792 99700736 20996 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24341 20996 364 364 0 23977 0
[pid=10265] vsize: 97364
Current children cumulated CPU time (s) 486.5
Current children cumulated vsize (Kb) 97364

[startup+540.031 s]
Raw data (loadavg): 1.04 1.01 0.97 3/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32674 0 0 0 47280 2289 0 0 25 0 1 0 22180792 99840000 21049 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24375 21049 364 364 0 24011 0
[pid=10265] vsize: 97500
Current children cumulated CPU time (s) 495.69
Current children cumulated vsize (Kb) 97500

[startup+550.031 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32757 0 0 0 48155 2334 0 0 25 0 1 0 22180792 100249600 21132 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24475 21132 364 364 0 24111 0
[pid=10265] vsize: 97900
Current children cumulated CPU time (s) 504.89
Current children cumulated vsize (Kb) 97900

[startup+560.032 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32847 0 0 0 49032 2374 0 0 25 0 1 0 22180792 100569088 21222 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24553 21222 364 364 0 24189 0
[pid=10265] vsize: 98212
Current children cumulated CPU time (s) 514.06
Current children cumulated vsize (Kb) 98212

[startup+570.032 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 32891 0 0 0 49906 2418 0 0 25 0 1 0 22180792 100716544 21266 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24589 21266 364 364 0 24225 0
[pid=10265] vsize: 98356
Current children cumulated CPU time (s) 523.24
Current children cumulated vsize (Kb) 98356

[startup+580.033 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 32933 0 0 0 50781 2458 0 0 25 0 1 0 22180792 100855808 21308 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24623 21308 364 364 0 24259 0
[pid=10265] vsize: 98492
Current children cumulated CPU time (s) 532.39
Current children cumulated vsize (Kb) 98492

[startup+590.034 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 33005 0 0 0 51662 2498 0 0 25 0 1 0 22180792 101330944 21380 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24739 21380 364 364 0 24375 0
[pid=10265] vsize: 98956
Current children cumulated CPU time (s) 541.6
Current children cumulated vsize (Kb) 98956

[startup+600.034 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33065 0 0 0 52544 2537 0 0 25 0 1 0 22180792 101658624 21440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24819 21440 364 364 0 24455 0
[pid=10265] vsize: 99276
Current children cumulated CPU time (s) 550.81
Current children cumulated vsize (Kb) 99276

[startup+610.034 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33135 0 0 0 53427 2574 0 0 25 0 1 0 22180792 101933056 21510 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 24886 21510 364 364 0 24522 0
[pid=10265] vsize: 99544
Current children cumulated CPU time (s) 560.01
Current children cumulated vsize (Kb) 99544

[startup+620.034 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33217 0 0 0 54306 2613 0 0 25 0 1 0 22180792 102244352 21592 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 24962 21592 364 364 0 24598 0
[pid=10265] vsize: 99848
Current children cumulated CPU time (s) 569.19
Current children cumulated vsize (Kb) 99848

[startup+630.035 s]
Raw data (loadavg): 1.09 1.02 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33312 0 0 0 55187 2652 0 0 25 0 1 0 22180792 102899712 21687 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25122 21687 364 364 0 24758 0
[pid=10265] vsize: 100488
Current children cumulated CPU time (s) 578.39
Current children cumulated vsize (Kb) 100488

[startup+640.036 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 33361 0 0 0 56069 2692 0 0 25 0 1 0 22180792 103063552 21736 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25162 21736 364 364 0 24798 0
[pid=10265] vsize: 100648
Current children cumulated CPU time (s) 587.61
Current children cumulated vsize (Kb) 100648

[startup+650.037 s]
Raw data (loadavg): 1.06 1.02 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33432 0 0 0 56953 2733 0 0 25 0 1 0 22180792 103538688 21807 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25278 21807 364 364 0 24914 0
[pid=10265] vsize: 101112
Current children cumulated CPU time (s) 596.86
Current children cumulated vsize (Kb) 101112

[startup+660.037 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 33519 0 0 0 57830 2775 0 0 25 0 1 0 22180792 103989248 21894 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 25388 21894 364 364 0 25024 0
[pid=10265] vsize: 101552
Current children cumulated CPU time (s) 606.05
Current children cumulated vsize (Kb) 101552

[startup+670.037 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 33622 0 0 0 58702 2819 0 0 25 0 1 0 22180792 104431616 21997 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25496 21997 364 364 0 25132 0
[pid=10265] vsize: 101984
Current children cumulated CPU time (s) 615.21
Current children cumulated vsize (Kb) 101984

[startup+680.038 s]
Raw data (loadavg): 1.04 1.02 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33702 0 0 0 59578 2861 0 0 25 0 1 0 22180792 104882176 22077 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25606 22077 364 364 0 25242 0
[pid=10265] vsize: 102424
Current children cumulated CPU time (s) 624.39
Current children cumulated vsize (Kb) 102424

[startup+690.039 s]
Raw data (loadavg): 1.03 1.02 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33816 0 0 0 60450 2902 0 0 25 0 1 0 22180792 105537536 22191 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25766 22191 364 364 0 25402 0
[pid=10265] vsize: 103064
Current children cumulated CPU time (s) 633.52
Current children cumulated vsize (Kb) 103064

[startup+700.039 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 33888 0 0 0 61313 2946 0 0 25 0 1 0 22180792 105865216 22263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 25846 22263 364 364 0 25482 0
[pid=10265] vsize: 103384
Current children cumulated CPU time (s) 642.59
Current children cumulated vsize (Kb) 103384

[startup+710.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 33981 0 0 0 62193 2984 0 0 25 0 1 0 22180792 106356736 22356 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 25966 22356 364 364 0 25602 0
[pid=10265] vsize: 103864
Current children cumulated CPU time (s) 651.77
Current children cumulated vsize (Kb) 103864

[startup+720.04 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34033 0 0 0 63069 3023 0 0 25 0 1 0 22180792 106504192 22408 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26002 22408 364 364 0 25638 0
[pid=10265] vsize: 104008
Current children cumulated CPU time (s) 660.92
Current children cumulated vsize (Kb) 104008

[startup+730.041 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34135 0 0 0 63935 3069 0 0 24 0 1 0 22180792 106930176 22510 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26106 22510 364 364 0 25742 0
[pid=10265] vsize: 104424
Current children cumulated CPU time (s) 670.04
Current children cumulated vsize (Kb) 104424

[startup+740.042 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34156 0 0 0 64783 3122 0 0 25 0 1 0 22180792 107065344 22531 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26139 22531 364 364 0 25775 0
[pid=10265] vsize: 104556
Current children cumulated CPU time (s) 679.05
Current children cumulated vsize (Kb) 104556

[startup+750.042 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34231 0 0 0 65639 3170 0 0 25 0 1 0 22180792 107376640 22606 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26215 22606 364 364 0 25851 0
[pid=10265] vsize: 104860
Current children cumulated CPU time (s) 688.09
Current children cumulated vsize (Kb) 104860

[startup+760.043 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34330 0 0 0 66510 3212 0 0 25 0 1 0 22180792 108032000 22705 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26375 22705 364 364 0 26011 0
[pid=10265] vsize: 105500
Current children cumulated CPU time (s) 697.22
Current children cumulated vsize (Kb) 105500

[startup+770.044 s]
Raw data (loadavg): 1.09 1.02 0.98 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34358 0 0 0 67380 3256 0 0 25 0 1 0 22180792 108032000 22733 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26375 22733 364 364 0 26011 0
[pid=10265] vsize: 105500
Current children cumulated CPU time (s) 706.36
Current children cumulated vsize (Kb) 105500

[startup+780.045 s]
Raw data (loadavg): 1.07 1.02 0.98 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34440 0 0 0 68249 3302 0 0 18 0 1 0 22180792 108482560 22815 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26485 22815 364 364 0 26121 0
[pid=10265] vsize: 105940
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 105940

[startup+790.046 s]
Raw data (loadavg): 1.06 1.02 0.98 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34489 0 0 0 69110 3349 0 0 25 0 1 0 22180792 108621824 22864 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26519 22864 364 364 0 26155 0
[pid=10265] vsize: 106076
Current children cumulated CPU time (s) 724.59
Current children cumulated vsize (Kb) 106076

[startup+800.045 s]
Raw data (loadavg): 1.13 1.04 0.98 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34553 0 0 0 69976 3394 0 0 25 0 1 0 22180792 109080576 22928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26631 22928 364 364 0 26267 0
[pid=10265] vsize: 106524
Current children cumulated CPU time (s) 733.7
Current children cumulated vsize (Kb) 106524

[startup+810.046 s]
Raw data (loadavg): 1.11 1.04 0.98 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34616 0 0 0 70850 3433 0 0 25 0 1 0 22180792 109367296 22991 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 26701 22991 364 364 0 26337 0
[pid=10265] vsize: 106804
Current children cumulated CPU time (s) 742.83
Current children cumulated vsize (Kb) 106804

[startup+820.047 s]
Raw data (loadavg): 1.17 1.05 0.99 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34660 0 0 0 71730 3472 0 0 25 0 1 0 22180792 109531136 23035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26741 23035 364 364 0 26377 0
[pid=10265] vsize: 106964
Current children cumulated CPU time (s) 752.02
Current children cumulated vsize (Kb) 106964

[startup+830.048 s]
Raw data (loadavg): 1.22 1.06 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34718 0 0 0 72601 3517 0 0 25 0 1 0 22180792 109834240 23093 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26815 23093 364 364 0 26451 0
[pid=10265] vsize: 107260
Current children cumulated CPU time (s) 761.18
Current children cumulated vsize (Kb) 107260

[startup+840.048 s]
Raw data (loadavg): 1.18 1.06 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 34781 0 0 0 73467 3564 0 0 23 0 1 0 22180792 110145536 23156 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 26891 23156 364 364 0 26527 0
[pid=10265] vsize: 107564
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 107564

[startup+850.049 s]
Raw data (loadavg): 1.16 1.06 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34875 0 0 0 74332 3610 0 0 25 0 1 0 22180792 110620672 23250 4294967295 134512640 135987407 3221224560 3221223440 134814764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27007 23250 364 364 0 26643 0
[pid=10265] vsize: 108028
Current children cumulated CPU time (s) 779.42
Current children cumulated vsize (Kb) 108028

[startup+860.05 s]
Raw data (loadavg): 1.13 1.06 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34928 0 0 0 75187 3658 0 0 24 0 1 0 22180792 110948352 23303 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27087 23303 364 364 0 26723 0
[pid=10265] vsize: 108348
Current children cumulated CPU time (s) 788.45
Current children cumulated vsize (Kb) 108348

[startup+870.05 s]
Raw data (loadavg): 1.11 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 34985 0 0 0 76065 3697 0 0 25 0 1 0 22180792 111259648 23360 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27163 23360 364 364 0 26799 0
[pid=10265] vsize: 108652
Current children cumulated CPU time (s) 797.62
Current children cumulated vsize (Kb) 108652

[startup+880.05 s]
Raw data (loadavg): 1.09 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35055 0 0 0 76942 3738 0 0 25 0 1 0 22180792 111751168 23430 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 27283 23430 364 364 0 26919 0
[pid=10265] vsize: 109132
Current children cumulated CPU time (s) 806.8
Current children cumulated vsize (Kb) 109132

[startup+890.05 s]
Raw data (loadavg): 1.08 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35130 0 0 0 77808 3782 0 0 25 0 1 0 22180792 112062464 23505 4294967295 134512640 135987407 3221224560 3221223344 134812371 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27359 23505 364 364 0 26995 0
[pid=10265] vsize: 109436
Current children cumulated CPU time (s) 815.9
Current children cumulated vsize (Kb) 109436

[startup+900.05 s]
Raw data (loadavg): 1.07 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35160 0 0 0 78671 3827 0 0 25 0 1 0 22180792 112226304 23535 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27399 23535 364 364 0 27035 0
[pid=10265] vsize: 109596
Current children cumulated CPU time (s) 824.98
Current children cumulated vsize (Kb) 109596

[startup+910.051 s]
Raw data (loadavg): 1.06 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35191 0 0 0 79536 3872 0 0 25 0 1 0 22180792 112390144 23566 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27439 23566 364 364 0 27075 0
[pid=10265] vsize: 109756
Current children cumulated CPU time (s) 834.08
Current children cumulated vsize (Kb) 109756

[startup+920.052 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35233 0 0 0 80399 3917 0 0 25 0 1 0 22180792 112537600 23608 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27475 23608 364 364 0 27111 0
[pid=10265] vsize: 109900
Current children cumulated CPU time (s) 843.16
Current children cumulated vsize (Kb) 109900

[startup+930.052 s]
Raw data (loadavg): 1.04 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35284 0 0 0 81255 3964 0 0 25 0 1 0 22180792 112865280 23659 4294967295 134512640 135987407 3221224560 3221223248 134811727 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27555 23659 364 364 0 27191 0
[pid=10265] vsize: 110220
Current children cumulated CPU time (s) 852.19
Current children cumulated vsize (Kb) 110220

[startup+940.052 s]
Raw data (loadavg): 1.11 1.06 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35349 0 0 0 82126 4008 0 0 25 0 1 0 22180792 113340416 23724 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27671 23724 364 364 0 27307 0
[pid=10265] vsize: 110684
Current children cumulated CPU time (s) 861.34
Current children cumulated vsize (Kb) 110684

[startup+950.053 s]
Raw data (loadavg): 1.09 1.06 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35409 0 0 0 82983 4055 0 0 25 0 1 0 22180792 113668096 23784 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27751 23784 364 364 0 27387 0
[pid=10265] vsize: 111004
Current children cumulated CPU time (s) 870.38
Current children cumulated vsize (Kb) 111004

[startup+960.054 s]
Raw data (loadavg): 1.08 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35485 0 0 0 83848 4098 0 0 25 0 1 0 22180792 113995776 23860 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 27831 23860 364 364 0 27467 0
[pid=10265] vsize: 111324
Current children cumulated CPU time (s) 879.46
Current children cumulated vsize (Kb) 111324

[startup+970.054 s]
Raw data (loadavg): 1.06 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35557 0 0 0 84696 4149 0 0 25 0 1 0 22180792 114470912 23932 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27947 23932 364 364 0 27583 0
[pid=10265] vsize: 111788
Current children cumulated CPU time (s) 888.45
Current children cumulated vsize (Kb) 111788

[startup+980.054 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35606 0 0 0 85556 4194 0 0 25 0 1 0 22180792 114634752 23981 4294967295 134512640 135987407 3221224560 3221223248 134788738 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 27987 23981 364 364 0 27623 0
[pid=10265] vsize: 111948
Current children cumulated CPU time (s) 897.5
Current children cumulated vsize (Kb) 111948

[startup+990.055 s]
Raw data (loadavg): 1.04 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35626 0 0 0 86413 4241 0 0 25 0 1 0 22180792 114798592 24001 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28027 24001 364 364 0 27663 0
[pid=10265] vsize: 112108
Current children cumulated CPU time (s) 906.54
Current children cumulated vsize (Kb) 112108

[startup+1000.05 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35686 0 0 0 87276 4285 0 0 25 0 1 0 22180792 115126272 24061 4294967295 134512640 135987407 3221224560 3221223120 134788452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28107 24061 364 364 0 27743 0
[pid=10265] vsize: 112428
Current children cumulated CPU time (s) 915.61
Current children cumulated vsize (Kb) 112428

[startup+1010.06 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35720 0 0 0 88131 4337 0 0 24 0 1 0 22180792 115273728 24095 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28143 24095 364 364 0 27779 0
[pid=10265] vsize: 112572
Current children cumulated CPU time (s) 924.68
Current children cumulated vsize (Kb) 112572

[startup+1020.06 s]
Raw data (loadavg): 1.03 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35778 0 0 0 89004 4381 0 0 25 0 1 0 22180792 115568640 24153 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 28215 24153 364 364 0 27851 0
[pid=10265] vsize: 112860
Current children cumulated CPU time (s) 933.85
Current children cumulated vsize (Kb) 112860

[startup+1030.06 s]
Raw data (loadavg): 1.02 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35822 0 0 0 89854 4435 0 0 25 0 1 0 22180792 115732480 24197 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28255 24197 364 364 0 27891 0
[pid=10265] vsize: 113020
Current children cumulated CPU time (s) 942.89
Current children cumulated vsize (Kb) 113020

[startup+1040.06 s]
Raw data (loadavg): 1.09 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35848 0 0 0 90705 4483 0 0 25 0 1 0 22180792 115896320 24223 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28295 24223 364 364 0 27931 0
[pid=10265] vsize: 113180
Current children cumulated CPU time (s) 951.88
Current children cumulated vsize (Kb) 113180

[startup+1050.06 s]
Raw data (loadavg): 1.08 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 35900 0 0 0 91567 4528 0 0 25 0 1 0 22180792 116191232 24275 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28367 24275 364 364 0 28003 0
[pid=10265] vsize: 113468
Current children cumulated CPU time (s) 960.95
Current children cumulated vsize (Kb) 113468

[startup+1060.06 s]
Raw data (loadavg): 1.06 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35933 0 0 0 92432 4575 0 0 25 0 1 0 22180792 116355072 24308 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 28407 24308 364 364 0 28043 0
[pid=10265] vsize: 113628
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 113628

[startup+1070.06 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 35990 0 0 0 93296 4622 0 0 20 0 1 0 22180792 116649984 24365 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28479 24365 364 364 0 28115 0
[pid=10265] vsize: 113916
Current children cumulated CPU time (s) 979.18
Current children cumulated vsize (Kb) 113916

[startup+1080.06 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36015 0 0 0 94156 4665 0 0 23 0 1 0 22180792 116649984 24390 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28479 24390 364 364 0 28115 0
[pid=10265] vsize: 113916
Current children cumulated CPU time (s) 988.21
Current children cumulated vsize (Kb) 113916

[startup+1090.06 s]
Raw data (loadavg): 1.04 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36099 0 0 0 95018 4712 0 0 25 0 1 0 22180792 117112832 24474 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28592 24474 364 364 0 28228 0
[pid=10265] vsize: 114368
Current children cumulated CPU time (s) 997.3
Current children cumulated vsize (Kb) 114368

[startup+1100.06 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36154 0 0 0 95868 4762 0 0 25 0 1 0 22180792 117424128 24529 4294967295 134512640 135987407 3221224560 3221223344 134812371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 28668 24529 364 364 0 28304 0
[pid=10265] vsize: 114672
Current children cumulated CPU time (s) 1006.3
Current children cumulated vsize (Kb) 114672

[startup+1110.06 s]
Raw data (loadavg): 1.03 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36197 0 0 0 96724 4810 0 0 25 0 1 0 22180792 117571584 24572 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28704 24572 364 364 0 28340 0
[pid=10265] vsize: 114816
Current children cumulated CPU time (s) 1015.34
Current children cumulated vsize (Kb) 114816

[startup+1120.06 s]
Raw data (loadavg): 1.02 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36251 0 0 0 97599 4850 0 0 25 0 1 0 22180792 117862400 24626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28775 24626 364 364 0 28411 0
[pid=10265] vsize: 115100
Current children cumulated CPU time (s) 1024.49
Current children cumulated vsize (Kb) 115100

[startup+1130.06 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36302 0 0 0 98474 4893 0 0 25 0 1 0 22180792 118173696 24677 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28851 24677 364 364 0 28487 0
[pid=10265] vsize: 115404
Current children cumulated CPU time (s) 1033.67
Current children cumulated vsize (Kb) 115404

[startup+1140.06 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36375 0 0 0 99348 4937 0 0 25 0 1 0 22180792 118501376 24750 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 28931 24750 364 364 0 28567 0
[pid=10265] vsize: 115724
Current children cumulated CPU time (s) 1042.85
Current children cumulated vsize (Kb) 115724

[startup+1150.06 s]
Raw data (loadavg): 1.01 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36449 0 0 0 100214 4978 0 0 25 0 1 0 22180792 118992896 24824 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29051 24824 364 364 0 28687 0
[pid=10265] vsize: 116204
Current children cumulated CPU time (s) 1051.92
Current children cumulated vsize (Kb) 116204

[startup+1160.06 s]
Raw data (loadavg): 1.01 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36484 0 0 0 101071 5024 0 0 24 0 1 0 22180792 119156736 24859 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29091 24859 364 364 0 28727 0
[pid=10265] vsize: 116364
Current children cumulated CPU time (s) 1060.95
Current children cumulated vsize (Kb) 116364

[startup+1170.06 s]
Raw data (loadavg): 1.01 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36535 0 0 0 101944 5066 0 0 25 0 1 0 22180792 119320576 24910 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29131 24910 364 364 0 28767 0
[pid=10265] vsize: 116524
Current children cumulated CPU time (s) 1070.1
Current children cumulated vsize (Kb) 116524

[startup+1180.06 s]
Raw data (loadavg): 1.01 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36583 0 0 0 102803 5111 0 0 25 0 1 0 22180792 119648256 24958 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29211 24958 364 364 0 28847 0
[pid=10265] vsize: 116844
Current children cumulated CPU time (s) 1079.14
Current children cumulated vsize (Kb) 116844

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36642 0 0 0 103672 5158 0 0 25 0 1 0 22180792 119975936 25017 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29291 25017 364 364 0 28927 0
[pid=10265] vsize: 117164
Current children cumulated CPU time (s) 1088.3
Current children cumulated vsize (Kb) 117164

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36705 0 0 0 104535 5205 0 0 25 0 1 0 22180792 120303616 25080 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29371 25080 364 364 0 29007 0
[pid=10265] vsize: 117484
Current children cumulated CPU time (s) 1097.4
Current children cumulated vsize (Kb) 117484

[startup+1210.06 s]
Raw data (loadavg): 1.08 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36742 0 0 0 105403 5247 0 0 25 0 1 0 22180792 120631296 25117 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29451 25117 364 364 0 29087 0
[pid=10265] vsize: 117804
Current children cumulated CPU time (s) 1106.5
Current children cumulated vsize (Kb) 117804

[startup+1220.06 s]
Raw data (loadavg): 1.06 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36779 0 0 0 106256 5295 0 0 25 0 1 0 22180792 120795136 25154 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29491 25154 364 364 0 29127 0
[pid=10265] vsize: 117964
Current children cumulated CPU time (s) 1115.51
Current children cumulated vsize (Kb) 117964

[startup+1230.06 s]
Raw data (loadavg): 1.05 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36806 0 0 0 107117 5340 0 0 25 0 1 0 22180792 120795136 25181 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29491 25181 364 364 0 29127 0
[pid=10265] vsize: 117964
Current children cumulated CPU time (s) 1124.57
Current children cumulated vsize (Kb) 117964

[startup+1240.06 s]
Raw data (loadavg): 1.05 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36835 0 0 0 107985 5385 0 0 22 0 1 0 22180792 120958976 25210 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29531 25210 364 364 0 29167 0
[pid=10265] vsize: 118124
Current children cumulated CPU time (s) 1133.7
Current children cumulated vsize (Kb) 118124

[startup+1250.07 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36861 0 0 0 108844 5432 0 0 25 0 1 0 22180792 121122816 25236 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29571 25236 364 364 0 29207 0
[pid=10265] vsize: 118284
Current children cumulated CPU time (s) 1142.76
Current children cumulated vsize (Kb) 118284

[startup+1260.07 s]
Raw data (loadavg): 1.03 1.03 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36914 0 0 0 109716 5476 0 0 25 0 1 0 22180792 121450496 25289 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29651 25289 364 364 0 29287 0
[pid=10265] vsize: 118604
Current children cumulated CPU time (s) 1151.92
Current children cumulated vsize (Kb) 118604

[startup+1270.07 s]
Raw data (loadavg): 1.10 1.05 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 36942 0 0 0 110569 5521 0 0 25 0 1 0 22180792 121614336 25317 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29691 25317 364 364 0 29327 0
[pid=10265] vsize: 118764
Current children cumulated CPU time (s) 1160.9
Current children cumulated vsize (Kb) 118764

[startup+1280.07 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 36991 0 0 0 111429 5565 0 0 25 0 1 0 22180792 121942016 25366 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29771 25366 364 364 0 29407 0
[pid=10265] vsize: 119084
Current children cumulated CPU time (s) 1169.94
Current children cumulated vsize (Kb) 119084

[startup+1290.07 s]
Raw data (loadavg): 1.07 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 37051 0 0 0 112293 5607 0 0 24 0 1 0 22180792 122269696 25426 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10265/statm): 29851 25426 364 364 0 29487 0
[pid=10265] vsize: 119404
Current children cumulated CPU time (s) 1179
Current children cumulated vsize (Kb) 119404

[startup+1300.07 s]
Raw data (loadavg): 1.06 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 37082 0 0 0 113142 5660 0 0 25 0 1 0 22180792 122433536 25457 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29891 25457 364 364 0 29527 0
[pid=10265] vsize: 119564
Current children cumulated CPU time (s) 1188.02
Current children cumulated vsize (Kb) 119564

[startup+1310.07 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) R 10264 10265 4060 0 -1 0 37133 0 0 0 114005 5706 0 0 25 0 1 0 22180792 122597376 25508 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10265/statm): 29931 25508 364 364 0 29567 0
[pid=10265] vsize: 119724
Current children cumulated CPU time (s) 1197.11
Current children cumulated vsize (Kb) 119724

[startup+1320.07 s]
Raw data (loadavg): 1.04 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 37211 0 0 0 114865 5753 0 0 25 0 1 0 22180792 123088896 25586 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 30051 25586 364 364 0 29687 0
[pid=10265] vsize: 120204
Current children cumulated CPU time (s) 1206.18
Current children cumulated vsize (Kb) 120204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.07 s]
Raw data (loadavg): 1.04 1.04 1.00 1/55 10328
Raw data (/proc/10265/stat): 10265 (pb2sat) T 10264 10265 4060 0 -1 0 37211 0 0 0 114865 5753 0 0 25 0 1 0 22180792 123088896 25586 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10265/statm): 30051 25586 364 364 0 29687 0
[pid=10265] vsize: 120204
Current children cumulated CPU time (s) 1206.18
Current children cumulated vsize (Kb) 120204

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

Child status: 0
Real time (s): 1320.45
CPU time (s): 1206.57
CPU user time (s): 1148.98
CPU system time (s): 57.5882
CPU usage (%): 91.3754
Max. virtual memory (cumulated for all children) (Kb): 120204

Verifier Data

ERROR: no interpretation found !