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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUMa592293d47471ef0e8a1691df160b1e8
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13241344
Optimality of the best value was proved NO
Number of terms in the objective function 7998
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1568780661323
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1568780661323
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1217.32
Number of variables7998
Total number of constraints307
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints307
Minimum length of a constraint31
Maximum length of a constraint1290

Trace number 10204

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        937800 kB
Buffers:         12328 kB
Cached:          67368 kB
SwapCached:          0 kB
Active:          43460 kB
Inactive:        39132 kB
HighTotal:      131008 kB
HighFree:        59612 kB
LowTotal:       903652 kB
LowFree:        878188 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8680 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:38:58 (client local time) WITH STATUS 0 IN 1208.98 SECONDS
stats: 8907 7 1208.98 0

Solver Data

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

c Decision: 28194/417545	Time: 56.1035/86400
c Decision: 28194/417545	Time: 67.4287/86400
c Decision: 28194/417545	Time: 77.4212/86400
c Decision: 28194/417545	Time: 89.5044/86400
c Decision: 28194/417545	Time: 101.416/86400
c Decision: 28194/417545	Time: 116.257/86400
c Decision: 28194/417545	Time: 136.577/86400
c Decision: 28194/417545	Time: 150.412/86400
c Decision: 28194/417545	Time: 172.099/86400
c Decision: 28194/417545	Time: 187.94/86400
c Decision: 28194/417545	Time: 207.895/86400
c Decision: 28194/417545	Time: 223.709/86400
c Decision: 28194/417545	Time: 240.434/86400
c Decision: 28194/417545	Time: 258.249/86400
c Decision: 28194/417545	Time: 283.713/86400
c Decision: 28199/417545	Time: 311.128/86400
c Decision: 28199/417545	Time: 328.032/86400
c Decision: 28199/417545	Time: 346.538/86400
c Decision: 28199/417545	Time: 367.273/86400
c Decision: 28199/417545	Time: 386.05/86400
c Decision: 28199/417545	Time: 411.387/86400
c Decision: 28206/417545	Time: 443.744/86400
c Decision: 28206/417545	Time: 464.054/86400
c Decision: 28206/417545	Time: 487.966/86400
c Decision: 28211/417545	Time: 528.677/86400
c Decision: 28211/417545	Time: 554.751/86400
c Decision: 28211/417545	Time: 574.38/86400
c Decision: 28211/417545	Time: 595.028/86400
c Decision: 28211/417545	Time: 613.718/86400
c Decision: 28211/417545	Time: 631.996/86400
c Decision: 28211/417545	Time: 651.959/86400
c Decision: 28211/417545	Time: 680.121/86400
c Decision: 28211/417545	Time: 700.486/86400
c Decision: 28211/417545	Time: 725.036/86400
c Decision: 28211/417545	Time: 749.247/86400
c Decision: 28211/417545	Time: 776.898/86400
c Decision: 28211/417545	Time: 803.118/86400
c Decision: 28211/417545	Time: 823.206/86400
c Decision: 28211/417545	Time: 844.681/86400
c Decision: 28213/417545	Time: 874.568/86400
c Decision: 28213/417545	Time: 904.568/86400
c Decision: 28216/417545	Time: 922.05/86400
c Decision: 28216/417545	Time: 940.649/86400
c Decision: 28216/417545	Time: 959.536/86400
c Decision: 28216/417545	Time: 981.917/86400
c Decision: 28216/417545	Time: 1001.31/86400
c Decision: 28216/417545	Time: 1029.92/86400
c Decision: 28216/417545	Time: 1051.48/86400
c Decision: 28216/417545	Time: 1072.66/86400
c Decision: 28216/417545	Time: 1094.44/86400
c Decision: 28216/417545	Time: 1122/86400
c Decision: 28216/417545	Time: 1144.42/86400
c Decision: 28216/417545	Time: 1169.77/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/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21889588 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 373 2 364 364 0 9 0
[pid=10065] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-ran6x43.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 27571 0 0 0 934 63 0 0 25 0 1 0 21889588 83238912 16433 4294967295 134512640 135987407 3221224560 3220899596 134855045 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 20322 16433 364 364 0 19958 0
[pid=10065] vsize: 81288
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 81288

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 55101 0 0 0 1869 126 0 0 25 0 1 0 21889588 163078144 31936 4294967295 134512640 135987407 3221224560 3221223376 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 39814 31936 364 364 0 39450 0
[pid=10065] vsize: 159256
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 159256

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 57094 0 0 0 2807 149 0 0 25 0 1 0 21889588 171618304 33929 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 41899 33929 364 364 0 41535 0
[pid=10065] vsize: 167596
Current children cumulated CPU time (s) 29.56
Current children cumulated vsize (Kb) 167596

[startup+40.0044 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 58250 0 0 0 3765 164 0 0 25 0 1 0 21889588 177291264 35085 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 43284 35085 364 364 0 42920 0
[pid=10065] vsize: 173136
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (Kb) 173136

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 58577 0 0 0 4729 176 0 0 25 0 1 0 21889588 178884608 35412 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 43673 35412 364 364 0 43309 0
[pid=10065] vsize: 174692
Current children cumulated CPU time (s) 49.05
Current children cumulated vsize (Kb) 174692

[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 58828 0 0 0 5694 187 0 0 25 0 1 0 21889588 180043776 35663 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 43956 35663 364 364 0 43592 0
[pid=10065] vsize: 175824
Current children cumulated CPU time (s) 58.81
Current children cumulated vsize (Kb) 175824

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 59503 0 0 0 6657 201 0 0 25 0 1 0 21889588 183238656 36338 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 44736 36338 364 364 0 44372 0
[pid=10065] vsize: 178944
Current children cumulated CPU time (s) 68.58
Current children cumulated vsize (Kb) 178944

[startup+80.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 60633 0 0 0 7631 211 0 0 25 0 1 0 21889588 184520704 36652 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10065/statm): 45049 36652 364 364 0 44685 0
[pid=10065] vsize: 180196
Current children cumulated CPU time (s) 78.42
Current children cumulated vsize (Kb) 180196

[startup+90.0074 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 61796 0 0 0 8586 227 0 0 25 0 1 0 21889588 186404864 36999 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 45509 36999 364 364 0 45145 0
[pid=10065] vsize: 182036
Current children cumulated CPU time (s) 88.13
Current children cumulated vsize (Kb) 182036

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 62713 0 0 0 9537 245 0 0 25 0 1 0 21889588 186765312 37100 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 45597 37100 364 364 0 45233 0
[pid=10065] vsize: 182388
Current children cumulated CPU time (s) 97.82
Current children cumulated vsize (Kb) 182388

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 63650 0 0 0 10493 261 0 0 25 0 1 0 21889588 190697472 38037 4294967295 134512640 135987407 3221224560 3221222944 134829002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 46557 38037 364 364 0 46193 0
[pid=10065] vsize: 186228
Current children cumulated CPU time (s) 107.54
Current children cumulated vsize (Kb) 186228

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 63702 0 0 0 11449 276 0 0 25 0 1 0 21889588 187490304 37273 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 45774 37273 364 364 0 45410 0
[pid=10065] vsize: 183096
Current children cumulated CPU time (s) 117.25
Current children cumulated vsize (Kb) 183096

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 64549 0 0 0 12417 288 0 0 25 0 1 0 21889588 187686912 37304 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 45822 37304 364 364 0 45458 0
[pid=10065] vsize: 183288
Current children cumulated CPU time (s) 127.05
Current children cumulated vsize (Kb) 183288

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 65397 0 0 0 13388 299 0 0 25 0 1 0 21889588 187686912 37336 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 45822 37336 364 364 0 45458 0
[pid=10065] vsize: 183288
Current children cumulated CPU time (s) 136.87
Current children cumulated vsize (Kb) 183288

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 65967 0 0 0 14337 318 0 0 25 0 1 0 21889588 190492672 37906 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 46507 37906 364 364 0 46143 0
[pid=10065] vsize: 186028
Current children cumulated CPU time (s) 146.55
Current children cumulated vsize (Kb) 186028

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 66964 0 0 0 15311 328 0 0 25 0 1 0 21889588 191475712 38087 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 46747 38087 364 364 0 46383 0
[pid=10065] vsize: 186988
Current children cumulated CPU time (s) 156.39
Current children cumulated vsize (Kb) 186988

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 67063 0 0 0 16271 340 0 0 25 0 1 0 21889588 191868928 38186 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 46843 38186 364 364 0 46479 0
[pid=10065] vsize: 187372
Current children cumulated CPU time (s) 166.11
Current children cumulated vsize (Kb) 187372

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 68046 0 0 0 17226 357 0 0 25 0 1 0 21889588 192659456 38353 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 47036 38353 364 364 0 46672 0
[pid=10065] vsize: 188144
Current children cumulated CPU time (s) 175.83
Current children cumulated vsize (Kb) 188144

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 68318 0 0 0 18187 371 0 0 25 0 1 0 21889588 193892352 38625 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 47337 38625 364 364 0 46973 0
[pid=10065] vsize: 189348
Current children cumulated CPU time (s) 185.58
Current children cumulated vsize (Kb) 189348

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 69178 0 0 0 19147 386 0 0 25 0 1 0 21889588 194088960 38669 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 47385 38669 364 364 0 47021 0
[pid=10065] vsize: 189540
Current children cumulated CPU time (s) 195.33
Current children cumulated vsize (Kb) 189540

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 69266 0 0 0 20111 398 0 0 25 0 1 0 21889588 194482176 38757 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 47481 38757 364 364 0 47117 0
[pid=10065] vsize: 189924
Current children cumulated CPU time (s) 205.09
Current children cumulated vsize (Kb) 189924

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 70232 0 0 0 21083 408 0 0 25 0 1 0 21889588 195342336 38907 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 47691 38907 364 364 0 47327 0
[pid=10065] vsize: 190764
Current children cumulated CPU time (s) 214.91
Current children cumulated vsize (Kb) 190764

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 71181 0 0 0 22047 420 0 0 25 0 1 0 21889588 199213056 39856 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48636 39856 364 364 0 48272 0
[pid=10065] vsize: 194544
Current children cumulated CPU time (s) 224.67
Current children cumulated vsize (Kb) 194544

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 71213 0 0 0 23010 433 0 0 25 0 1 0 21889588 196067328 39072 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 47868 39072 364 364 0 47504 0
[pid=10065] vsize: 191472
Current children cumulated CPU time (s) 234.43
Current children cumulated vsize (Kb) 191472

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 71357 0 0 0 23969 448 0 0 25 0 1 0 21889588 196792320 39216 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48045 39216 364 364 0 47681 0
[pid=10065] vsize: 192180
Current children cumulated CPU time (s) 244.17
Current children cumulated vsize (Kb) 192180

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 71390 0 0 0 24927 462 0 0 25 0 1 0 21889588 196988928 39249 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48093 39249 364 364 0 47729 0
[pid=10065] vsize: 192372
Current children cumulated CPU time (s) 253.89
Current children cumulated vsize (Kb) 192372

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 72401 0 0 0 25894 475 0 0 20 0 1 0 21889588 197996544 39444 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48339 39444 364 364 0 47975 0
[pid=10065] vsize: 193356
Current children cumulated CPU time (s) 263.69
Current children cumulated vsize (Kb) 193356

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 72532 0 0 0 26847 491 0 0 25 0 1 0 21889588 198672384 39575 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48504 39575 364 364 0 48140 0
[pid=10065] vsize: 194016
Current children cumulated CPU time (s) 273.38
Current children cumulated vsize (Kb) 194016

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 73391 0 0 0 27805 506 0 0 25 0 1 0 21889588 198868992 39618 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 48552 39618 364 364 0 48188 0
[pid=10065] vsize: 194208
Current children cumulated CPU time (s) 283.11
Current children cumulated vsize (Kb) 194208

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 73654 0 0 0 28768 519 0 0 25 0 1 0 21889588 200142848 39848 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 48863 39848 364 364 0 48499 0
[pid=10065] vsize: 195452
Current children cumulated CPU time (s) 292.87
Current children cumulated vsize (Kb) 195452

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 74489 0 0 0 29734 532 0 0 25 0 1 0 21889588 200339456 39867 4294967295 134512640 135987407 3221224560 3221223424 134812620 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 48911 39867 364 364 0 48547 0
[pid=10065] vsize: 195644
Current children cumulated CPU time (s) 302.66
Current children cumulated vsize (Kb) 195644

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 74524 0 0 0 30687 545 0 0 25 0 1 0 21889588 200339456 39902 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 48911 39902 364 364 0 48547 0
[pid=10065] vsize: 195644
Current children cumulated CPU time (s) 312.32
Current children cumulated vsize (Kb) 195644

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 74532 0 0 0 31651 557 0 0 25 0 1 0 21889588 200339456 39910 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 48911 39910 364 364 0 48547 0
[pid=10065] vsize: 195644
Current children cumulated CPU time (s) 322.08
Current children cumulated vsize (Kb) 195644

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 75399 0 0 0 32623 569 0 0 25 0 1 0 21889588 200671232 39961 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 48992 39961 364 364 0 48628 0
[pid=10065] vsize: 195968
Current children cumulated CPU time (s) 331.92
Current children cumulated vsize (Kb) 195968

[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 75459 0 0 0 33590 579 0 0 25 0 1 0 21889588 201003008 40021 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49073 40021 364 364 0 48709 0
[pid=10065] vsize: 196292
Current children cumulated CPU time (s) 341.69
Current children cumulated vsize (Kb) 196292

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 76311 0 0 0 34558 591 0 0 25 0 1 0 21889588 201199616 40057 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49121 40057 364 364 0 48757 0
[pid=10065] vsize: 196484
Current children cumulated CPU time (s) 351.49
Current children cumulated vsize (Kb) 196484

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 76356 0 0 0 35526 601 0 0 25 0 1 0 21889588 201469952 40102 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49187 40102 364 364 0 48823 0
[pid=10065] vsize: 196748
Current children cumulated CPU time (s) 361.27
Current children cumulated vsize (Kb) 196748

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 77241 0 0 0 36496 612 0 0 25 0 1 0 21889588 201875456 40171 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49286 40171 364 364 0 48922 0
[pid=10065] vsize: 197144
Current children cumulated CPU time (s) 371.08
Current children cumulated vsize (Kb) 197144

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 77287 0 0 0 37456 626 0 0 25 0 1 0 21889588 202010624 40217 4294967295 134512640 135987407 3221224560 3221223424 134812620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49319 40217 364 364 0 48955 0
[pid=10065] vsize: 197276
Current children cumulated CPU time (s) 380.82
Current children cumulated vsize (Kb) 197276

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 78153 0 0 0 38422 638 0 0 25 0 1 0 21889588 202280960 40267 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49385 40267 364 364 0 49021 0
[pid=10065] vsize: 197540
Current children cumulated CPU time (s) 390.6
Current children cumulated vsize (Kb) 197540

[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 78164 0 0 0 39383 651 0 0 25 0 1 0 21889588 202280960 40278 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49385 40278 364 364 0 49021 0
[pid=10065] vsize: 197540
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (Kb) 197540

[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 79004 0 0 0 40343 665 0 0 25 0 1 0 21889588 202416128 40302 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49418 40302 364 364 0 49054 0
[pid=10065] vsize: 197672
Current children cumulated CPU time (s) 410.08
Current children cumulated vsize (Kb) 197672

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 79040 0 0 0 41306 679 0 0 25 0 1 0 21889588 202551296 40338 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49451 40338 364 364 0 49087 0
[pid=10065] vsize: 197804
Current children cumulated CPU time (s) 419.85
Current children cumulated vsize (Kb) 197804

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 79931 0 0 0 42277 690 0 0 25 0 1 0 21889588 202883072 40413 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49532 40413 364 364 0 49168 0
[pid=10065] vsize: 198128
Current children cumulated CPU time (s) 429.67
Current children cumulated vsize (Kb) 198128

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 79933 0 0 0 43248 700 0 0 25 0 1 0 21889588 202883072 40415 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49532 40415 364 364 0 49168 0
[pid=10065] vsize: 198128
Current children cumulated CPU time (s) 439.48
Current children cumulated vsize (Kb) 198128

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 80005 0 0 0 44199 714 0 0 25 0 1 0 21889588 203276288 40487 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49628 40487 364 364 0 49264 0
[pid=10065] vsize: 198512
Current children cumulated CPU time (s) 449.13
Current children cumulated vsize (Kb) 198512

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 80037 0 0 0 45158 727 0 0 25 0 1 0 21889588 203472896 40519 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49676 40519 364 364 0 49312 0
[pid=10065] vsize: 198704
Current children cumulated CPU time (s) 458.85
Current children cumulated vsize (Kb) 198704

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 80873 0 0 0 46121 741 0 0 25 0 1 0 21889588 203472896 40539 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49676 40539 364 364 0 49312 0
[pid=10065] vsize: 198704
Current children cumulated CPU time (s) 468.62
Current children cumulated vsize (Kb) 198704

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 80890 0 0 0 47083 755 0 0 25 0 1 0 21889588 203636736 40556 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 49716 40556 364 364 0 49352 0
[pid=10065] vsize: 198864
Current children cumulated CPU time (s) 478.38
Current children cumulated vsize (Kb) 198864

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 81782 0 0 0 48048 768 0 0 25 0 1 0 21889588 203935744 40632 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49789 40632 364 364 0 49425 0
[pid=10065] vsize: 199156
Current children cumulated CPU time (s) 488.16
Current children cumulated vsize (Kb) 199156

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 81910 0 0 0 49008 783 0 0 25 0 1 0 21889588 204673024 40760 4294967295 134512640 135987407 3221224560 3221223376 134824688 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 49969 40760 364 364 0 49605 0
[pid=10065] vsize: 199876
Current children cumulated CPU time (s) 497.91
Current children cumulated vsize (Kb) 199876

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 82892 0 0 0 49983 793 0 0 25 0 1 0 21889588 205606912 40926 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 50197 40926 364 364 0 49833 0
[pid=10065] vsize: 200788
Current children cumulated CPU time (s) 507.76
Current children cumulated vsize (Kb) 200788

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 82963 0 0 0 50955 801 0 0 25 0 1 0 21889588 206073856 40997 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50311 40997 364 364 0 49947 0
[pid=10065] vsize: 201244
Current children cumulated CPU time (s) 517.56
Current children cumulated vsize (Kb) 201244

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 82992 0 0 0 51924 810 0 0 25 0 1 0 21889588 206270464 41026 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50359 41026 364 364 0 49995 0
[pid=10065] vsize: 201436
Current children cumulated CPU time (s) 527.34
Current children cumulated vsize (Kb) 201436

[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 83026 0 0 0 52892 821 0 0 25 0 1 0 21889588 206270464 41060 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50359 41060 364 364 0 49995 0
[pid=10065] vsize: 201436
Current children cumulated CPU time (s) 537.13
Current children cumulated vsize (Kb) 201436

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 83867 0 0 0 53853 837 0 0 25 0 1 0 21889588 209776640 41901 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51215 41901 364 364 0 50851 0
[pid=10065] vsize: 204860
Current children cumulated CPU time (s) 546.9
Current children cumulated vsize (Kb) 204860

[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 84091 0 0 0 54818 849 0 0 25 0 1 0 21889588 207650816 41309 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50696 41309 364 364 0 50332 0
[pid=10065] vsize: 202784
Current children cumulated CPU time (s) 556.67
Current children cumulated vsize (Kb) 202784

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 84197 0 0 0 55781 860 0 0 25 0 1 0 21889588 208220160 41415 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50835 41415 364 364 0 50471 0
[pid=10065] vsize: 203340
Current children cumulated CPU time (s) 566.41
Current children cumulated vsize (Kb) 203340

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 85060 0 0 0 56753 872 0 0 25 0 1 0 21889588 208416768 41462 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50883 41462 364 364 0 50519 0
[pid=10065] vsize: 203532
Current children cumulated CPU time (s) 576.25
Current children cumulated vsize (Kb) 203532

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 85132 0 0 0 57706 887 0 0 25 0 1 0 21889588 208683008 41501 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50948 41501 364 364 0 50584 0
[pid=10065] vsize: 203792
Current children cumulated CPU time (s) 585.93
Current children cumulated vsize (Kb) 203792

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 85956 0 0 0 58662 903 0 0 25 0 1 0 21889588 208683008 41509 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 50948 41509 364 364 0 50584 0
[pid=10065] vsize: 203792
Current children cumulated CPU time (s) 595.65
Current children cumulated vsize (Kb) 203792

[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 86117 0 0 0 59625 917 0 0 25 0 1 0 21889588 209522688 41670 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51153 41670 364 364 0 50789 0
[pid=10065] vsize: 204612
Current children cumulated CPU time (s) 605.42
Current children cumulated vsize (Kb) 204612

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 86960 0 0 0 60587 931 0 0 25 0 1 0 21889588 209657856 41697 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51186 41697 364 364 0 50822 0
[pid=10065] vsize: 204744
Current children cumulated CPU time (s) 615.18
Current children cumulated vsize (Kb) 204744

[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 86969 0 0 0 61537 949 0 0 25 0 1 0 21889588 209657856 41706 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51186 41706 364 364 0 50822 0
[pid=10065] vsize: 204744
Current children cumulated CPU time (s) 624.86
Current children cumulated vsize (Kb) 204744

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 87837 0 0 0 62491 964 0 0 25 0 1 0 21889588 209928192 41758 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51252 41758 364 364 0 50888 0
[pid=10065] vsize: 205008
Current children cumulated CPU time (s) 634.55
Current children cumulated vsize (Kb) 205008

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 87866 0 0 0 63438 980 0 0 25 0 1 0 21889588 210124800 41787 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51300 41787 364 364 0 50936 0
[pid=10065] vsize: 205200
Current children cumulated CPU time (s) 644.18
Current children cumulated vsize (Kb) 205200

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 88715 0 0 0 64397 994 0 0 25 0 1 0 21889588 210259968 41820 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51333 41820 364 364 0 50969 0
[pid=10065] vsize: 205332
Current children cumulated CPU time (s) 653.91
Current children cumulated vsize (Kb) 205332

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 88743 0 0 0 65353 1010 0 0 25 0 1 0 21889588 210395136 41848 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51366 41848 364 364 0 51002 0
[pid=10065] vsize: 205464
Current children cumulated CPU time (s) 663.63
Current children cumulated vsize (Kb) 205464

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 89627 0 0 0 66320 1023 0 0 25 0 1 0 21889588 210665472 41916 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51432 41916 364 364 0 51068 0
[pid=10065] vsize: 205728
Current children cumulated CPU time (s) 673.43
Current children cumulated vsize (Kb) 205728

[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 89660 0 0 0 67283 1037 0 0 25 0 1 0 21889588 210862080 41949 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 51480 41949 364 364 0 51116 0
[pid=10065] vsize: 205920
Current children cumulated CPU time (s) 683.2
Current children cumulated vsize (Kb) 205920

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 89817 0 0 0 68247 1049 0 0 25 0 1 0 21889588 211795968 42106 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51708 42106 364 364 0 51344 0
[pid=10065] vsize: 206832
Current children cumulated CPU time (s) 692.96
Current children cumulated vsize (Kb) 206832

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 90701 0 0 0 69210 1063 0 0 25 0 1 0 21889588 212127744 42174 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51789 42174 364 364 0 51425 0
[pid=10065] vsize: 207156
Current children cumulated CPU time (s) 702.73
Current children cumulated vsize (Kb) 207156

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 90709 0 0 0 70165 1078 0 0 25 0 1 0 21889588 212127744 42182 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51789 42182 364 364 0 51425 0
[pid=10065] vsize: 207156
Current children cumulated CPU time (s) 712.43
Current children cumulated vsize (Kb) 207156

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 91611 0 0 0 71127 1092 0 0 25 0 1 0 21889588 212656128 42268 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 51918 42268 364 364 0 51554 0
[pid=10065] vsize: 207672
Current children cumulated CPU time (s) 722.19
Current children cumulated vsize (Kb) 207672

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 91723 0 0 0 72091 1105 0 0 25 0 1 0 21889588 213192704 42347 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52049 42347 364 364 0 51685 0
[pid=10065] vsize: 208196
Current children cumulated CPU time (s) 731.96
Current children cumulated vsize (Kb) 208196

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 91763 0 0 0 73045 1120 0 0 25 0 1 0 21889588 213327872 42387 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52082 42387 364 364 0 51718 0
[pid=10065] vsize: 208328
Current children cumulated CPU time (s) 741.65
Current children cumulated vsize (Kb) 208328

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 92624 0 0 0 74004 1136 0 0 25 0 1 0 21889588 213598208 42432 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52148 42432 364 364 0 51784 0
[pid=10065] vsize: 208592
Current children cumulated CPU time (s) 751.4
Current children cumulated vsize (Kb) 208592

[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 92663 0 0 0 74965 1149 0 0 25 0 1 0 21889588 213733376 42471 4294967295 134512640 135987407 3221224560 3221223248 134812123 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52181 42471 364 364 0 51817 0
[pid=10065] vsize: 208724
Current children cumulated CPU time (s) 761.14
Current children cumulated vsize (Kb) 208724

[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 93501 0 0 0 75936 1161 0 0 25 0 1 0 21889588 213868544 42493 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52214 42493 364 364 0 51850 0
[pid=10065] vsize: 208856
Current children cumulated CPU time (s) 770.97
Current children cumulated vsize (Kb) 208856

[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 93595 0 0 0 76902 1173 0 0 25 0 1 0 21889588 214335488 42587 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52328 42587 364 364 0 51964 0
[pid=10065] vsize: 209312
Current children cumulated CPU time (s) 780.75
Current children cumulated vsize (Kb) 209312

[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 93622 0 0 0 77866 1185 0 0 25 0 1 0 21889588 214470656 42614 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52361 42614 364 364 0 51997 0
[pid=10065] vsize: 209444
Current children cumulated CPU time (s) 790.51
Current children cumulated vsize (Kb) 209444

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 94451 0 0 0 78840 1195 0 0 25 0 1 0 21889588 214667264 42627 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52409 42627 364 364 0 52045 0
[pid=10065] vsize: 209636
Current children cumulated CPU time (s) 800.35
Current children cumulated vsize (Kb) 209636

[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 94474 0 0 0 79804 1207 0 0 25 0 1 0 21889588 214667264 42650 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52409 42650 364 364 0 52045 0
[pid=10065] vsize: 209636
Current children cumulated CPU time (s) 810.11
Current children cumulated vsize (Kb) 209636

[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 94505 0 0 0 80767 1220 0 0 25 0 1 0 21889588 214802432 42681 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52442 42681 364 364 0 52078 0
[pid=10065] vsize: 209768
Current children cumulated CPU time (s) 819.87
Current children cumulated vsize (Kb) 209768

[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 95345 0 0 0 81726 1234 0 0 25 0 1 0 21889588 214937600 42705 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52475 42705 364 364 0 52111 0
[pid=10065] vsize: 209900
Current children cumulated CPU time (s) 829.6
Current children cumulated vsize (Kb) 209900

[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 95351 0 0 0 82668 1255 0 0 25 0 1 0 21889588 214937600 42711 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52475 42711 364 364 0 52111 0
[pid=10065] vsize: 209900
Current children cumulated CPU time (s) 839.23
Current children cumulated vsize (Kb) 209900

[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 96227 0 0 0 83631 1270 0 0 25 0 1 0 21889588 215207936 42771 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52541 42771 364 364 0 52177 0
[pid=10065] vsize: 210164
Current children cumulated CPU time (s) 849.01
Current children cumulated vsize (Kb) 210164

[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 96269 0 0 0 84581 1287 0 0 25 0 1 0 21889588 215478272 42813 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52607 42813 364 364 0 52243 0
[pid=10065] vsize: 210428
Current children cumulated CPU time (s) 858.68
Current children cumulated vsize (Kb) 210428

[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 97089 0 0 0 85533 1304 0 0 25 0 1 0 21889588 215478272 42817 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52607 42817 364 364 0 52243 0
[pid=10065] vsize: 210428
Current children cumulated CPU time (s) 868.37
Current children cumulated vsize (Kb) 210428

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 97095 0 0 0 86478 1320 0 0 25 0 1 0 21889588 215478272 42823 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52607 42823 364 364 0 52243 0
[pid=10065] vsize: 210428
Current children cumulated CPU time (s) 877.98
Current children cumulated vsize (Kb) 210428

[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 97102 0 0 0 87418 1342 0 0 25 0 1 0 21889588 215478272 42830 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52607 42830 364 364 0 52243 0
[pid=10065] vsize: 210428
Current children cumulated CPU time (s) 887.6
Current children cumulated vsize (Kb) 210428

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 97950 0 0 0 88375 1358 0 0 25 0 1 0 21889588 215613440 42862 4294967295 134512640 135987407 3221224560 3221223020 135481949 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52640 42862 364 364 0 52276 0
[pid=10065] vsize: 210560
Current children cumulated CPU time (s) 897.33
Current children cumulated vsize (Kb) 210560

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 97960 0 0 0 89350 1366 0 0 25 0 1 0 21889588 215613440 42872 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52640 42872 364 364 0 52276 0
[pid=10065] vsize: 210560
Current children cumulated CPU time (s) 907.16
Current children cumulated vsize (Kb) 210560

[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 98068 0 0 0 90323 1376 0 0 25 0 1 0 21889588 216289280 42980 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52805 42980 364 364 0 52441 0
[pid=10065] vsize: 211220
Current children cumulated CPU time (s) 916.99
Current children cumulated vsize (Kb) 211220

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 98886 0 0 0 91294 1387 0 0 25 0 1 0 21889588 216289280 42982 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52805 42982 364 364 0 52441 0
[pid=10065] vsize: 211220
Current children cumulated CPU time (s) 926.81
Current children cumulated vsize (Kb) 211220

[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 98913 0 0 0 92238 1405 0 0 25 0 1 0 21889588 216424448 43009 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43009 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 936.43
Current children cumulated vsize (Kb) 211352

[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 99736 0 0 0 93192 1420 0 0 25 0 1 0 21889588 216424448 43016 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43016 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 946.12
Current children cumulated vsize (Kb) 211352

[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 99742 0 0 0 94133 1440 0 0 25 0 1 0 21889588 216424448 43022 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43022 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 955.73
Current children cumulated vsize (Kb) 211352

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 100565 0 0 0 95092 1454 0 0 25 0 1 0 21889588 216424448 43029 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43029 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 965.46
Current children cumulated vsize (Kb) 211352

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 100571 0 0 0 96037 1473 0 0 25 0 1 0 21889588 216424448 43035 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43035 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 975.1
Current children cumulated vsize (Kb) 211352

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 101397 0 0 0 97002 1486 0 0 25 0 1 0 21889588 216424448 43045 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52838 43045 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 984.88
Current children cumulated vsize (Kb) 211352

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 101404 0 0 0 97950 1501 0 0 25 0 1 0 21889588 216424448 43052 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 52838 43052 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 994.51
Current children cumulated vsize (Kb) 211352

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 102224 0 0 0 98908 1517 0 0 25 0 1 0 21889588 216424448 43056 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52838 43056 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 1004.25
Current children cumulated vsize (Kb) 211352

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 102230 0 0 0 99847 1539 0 0 25 0 1 0 21889588 216424448 43062 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52838 43062 364 364 0 52474 0
[pid=10065] vsize: 211352
Current children cumulated CPU time (s) 1013.86
Current children cumulated vsize (Kb) 211352

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 103105 0 0 0 100813 1551 0 0 25 0 1 0 21889588 216694784 43121 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52904 43121 364 364 0 52540 0
[pid=10065] vsize: 211616
Current children cumulated CPU time (s) 1023.64
Current children cumulated vsize (Kb) 211616

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 103129 0 0 0 101762 1566 0 0 25 0 1 0 21889588 216829952 43145 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 52937 43145 364 364 0 52573 0
[pid=10065] vsize: 211748
Current children cumulated CPU time (s) 1033.28
Current children cumulated vsize (Kb) 211748

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 103184 0 0 0 102727 1577 0 0 25 0 1 0 21889588 217235456 43200 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43200 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1043.04
Current children cumulated vsize (Kb) 212144

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 104017 0 0 0 103682 1593 0 0 25 0 1 0 21889588 217235456 43217 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43217 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1052.75
Current children cumulated vsize (Kb) 212144

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 104023 0 0 0 104634 1606 0 0 25 0 1 0 21889588 217235456 43223 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43223 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (Kb) 212144

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 104844 0 0 0 105595 1620 0 0 25 0 1 0 21889588 217235456 43228 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43228 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1072.15
Current children cumulated vsize (Kb) 212144

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 104849 0 0 0 106557 1631 0 0 25 0 1 0 21889588 217235456 43233 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43233 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1081.88
Current children cumulated vsize (Kb) 212144

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 105670 0 0 0 107514 1647 0 0 25 0 1 0 21889588 217235456 43238 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53036 43238 364 364 0 52672 0
[pid=10065] vsize: 212144
Current children cumulated CPU time (s) 1091.61
Current children cumulated vsize (Kb) 212144

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 105712 0 0 0 108468 1663 0 0 25 0 1 0 21889588 217505792 43280 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53102 43280 364 364 0 52738 0
[pid=10065] vsize: 212408
Current children cumulated CPU time (s) 1101.31
Current children cumulated vsize (Kb) 212408

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 105718 0 0 0 109412 1681 0 0 25 0 1 0 21889588 217505792 43286 4294967295 134512640 135987407 3221224560 3221223020 135481743 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53102 43286 364 364 0 52738 0
[pid=10065] vsize: 212408
Current children cumulated CPU time (s) 1110.93
Current children cumulated vsize (Kb) 212408

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 106537 0 0 0 110363 1698 0 0 25 0 1 0 21889588 217505792 43289 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53102 43289 364 364 0 52738 0
[pid=10065] vsize: 212408
Current children cumulated CPU time (s) 1120.61
Current children cumulated vsize (Kb) 212408

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 106541 0 0 0 111315 1713 0 0 25 0 1 0 21889588 217505792 43293 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53102 43293 364 364 0 52738 0
[pid=10065] vsize: 212408
Current children cumulated CPU time (s) 1130.28
Current children cumulated vsize (Kb) 212408

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 107420 0 0 0 112276 1728 0 0 25 0 1 0 21889588 217911296 43356 4294967295 134512640 135987407 3221224560 3221223376 134876817 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53201 43356 364 364 0 52837 0
[pid=10065] vsize: 212804
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 212804

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 107423 0 0 0 113241 1739 0 0 25 0 1 0 21889588 217911296 43359 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53201 43359 364 364 0 52837 0
[pid=10065] vsize: 212804
Current children cumulated CPU time (s) 1149.8
Current children cumulated vsize (Kb) 212804

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 107428 0 0 0 114191 1754 0 0 25 0 1 0 21889588 217911296 43364 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10065/statm): 53201 43364 364 364 0 52837 0
[pid=10065] vsize: 212804
Current children cumulated CPU time (s) 1159.45
Current children cumulated vsize (Kb) 212804

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 108248 0 0 0 115154 1767 0 0 25 0 1 0 21889588 217911296 43368 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53201 43368 364 364 0 52837 0
[pid=10065] vsize: 212804
Current children cumulated CPU time (s) 1169.21
Current children cumulated vsize (Kb) 212804

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 108251 0 0 0 116115 1778 0 0 25 0 1 0 21889588 217911296 43371 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53201 43371 364 364 0 52837 0
[pid=10065] vsize: 212804
Current children cumulated CPU time (s) 1178.93
Current children cumulated vsize (Kb) 212804

[startup+1220.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) T 10064 10065 4004 0 -1 0 109089 0 0 0 117081 1790 0 0 25 0 1 0 21889588 218046464 43393 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53234 43393 364 364 0 52870 0
[pid=10065] vsize: 212936
Current children cumulated CPU time (s) 1188.71
Current children cumulated vsize (Kb) 212936

[startup+1230.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 109095 0 0 0 118043 1802 0 0 25 0 1 0 21889588 218046464 43399 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53234 43399 364 364 0 52870 0
[pid=10065] vsize: 212936
Current children cumulated CPU time (s) 1198.45
Current children cumulated vsize (Kb) 212936

[startup+1240.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 109116 0 0 0 119005 1816 0 0 25 0 1 0 21889588 218181632 43420 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53267 43420 364 364 0 52903 0
[pid=10065] vsize: 213068
Current children cumulated CPU time (s) 1208.21
Current children cumulated vsize (Kb) 213068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10065
Raw data (/proc/10065/stat): 10065 (pb2sat) R 10064 10065 4004 0 -1 0 109116 0 0 0 119005 1816 0 0 25 0 1 0 21889588 218181632 43420 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10065/statm): 53267 43420 364 364 0 52903 0
[pid=10065] vsize: 213068
Current children cumulated CPU time (s) 1208.21
Current children cumulated vsize (Kb) 213068

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

Child status: 0
Real time (s): 1240.81
CPU time (s): 1208.98
CPU user time (s): 1190.72
CPU system time (s): 18.2652
CPU usage (%): 97.4346
Max. virtual memory (cumulated for all children) (Kb): 213068

Verifier Data

ERROR: no interpretation found !