Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM388cec2ad329df6f021dfbdc92f512ad
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 208314580399917408
Optimality of the best value was proved NO
Number of terms in the objective function 3774
Biggest coefficient in the objective function 3604480000000000
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 483609165299803395
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 3604480000000000
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 483609165299803395
Number of bits of the biggest sum of numbers59
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1197.39
Number of variables6363
Total number of constraints952
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)113
Number of constraints which are nor clauses,nor cardinality constraints839
Minimum length of a constraint1
Maximum length of a constraint141

Trace number 10109

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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:        928608 kB
Buffers:         13732 kB
Cached:          74396 kB
SwapCached:          0 kB
Active:          46000 kB
Inactive:        45036 kB
HighTotal:      131008 kB
HighFree:        52276 kB
LowTotal:       903652 kB
LowFree:        876332 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9448 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:02:16 (client local time) WITH STATUS 0 IN 1209.96 SECONDS
stats: 8808 7 1209.96 0

Solver Data

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

c Decision: 2487/240306	Time: 20.7528/86400
c Decision: 2495/240306	Time: 43.5274/86400
c Decision: 2506/240306	Time: 87.0748/86400
c Decision: 2510/240306	Time: 107.581/86400
c Decision: 2531/240306	Time: 142.22/86400
c Decision: 2531/240306	Time: 157.365/86400
c Decision: 2532/240306	Time: 174.668/86400
c Decision: 2554/240306	Time: 193.168/86400
c Decision: 2555/240306	Time: 217.931/86400
c Decision: 2560/240306	Time: 232.914/86400
c Decision: 2560/240306	Time: 249.427/86400
c Decision: 2560/240306	Time: 263.479/86400
c Decision: 2560/240306	Time: 277.738/86400
c Decision: 2560/240306	Time: 289.538/86400
c Decision: 2560/240306	Time: 300.979/86400
c Decision: 2560/240306	Time: 311.708/86400
c Decision: 2560/240306	Time: 324.34/86400
c Decision: 2560/240306	Time: 335.895/86400
c Decision: 2560/240306	Time: 349.671/86400
c Decision: 2560/240306	Time: 361.767/86400
c Decision: 2560/240306	Time: 374.296/86400
c Decision: 2560/240306	Time: 387.843/86400
c Decision: 2560/240306	Time: 401.519/86400
c Decision: 2560/240306	Time: 414.19/86400
c Decision: 2560/240306	Time: 425.335/86400
c Decision: 2560/240306	Time: 439.35/86400
c Decision: 2560/240306	Time: 451.54/86400
c Decision: 2560/240306	Time: 465.354/86400
c Decision: 2560/240306	Time: 478.834/86400
c Decision: 2560/240306	Time: 485.661/86400
c Decision: 2560/240306	Time: 497.476/86400
c Decision: 2560/240306	Time: 510.197/86400
c Decision: 2560/240306	Time: 523.591/86400
c Decision: 2560/240306	Time: 537.649/86400
c Decision: 2560/240306	Time: 551.007/86400
c Decision: 2565/240306	Time: 568.446/86400
c Decision: 2565/240306	Time: 581.728/86400
c Decision: 2565/240306	Time: 594.776/86400
c Decision: 2565/240306	Time: 605.133/86400
c Decision: 2565/240306	Time: 616.581/86400
c Decision: 2565/240306	Time: 632.776/86400
c Decision: 2565/240306	Time: 644.488/86400
c Decision: 2565/240306	Time: 656.264/86400
c Decision: 2565/240306	Time: 662.378/86400
c Decision: 2565/240306	Time: 674.316/86400
c Decision: 2565/240306	Time: 688.629/86400
c Decision: 2565/240306	Time: 698.3/86400
c Decision: 2565/240306	Time: 708.477/86400
c Decision: 2565/240306	Time: 722.976/86400
c Decision: 2565/240306	Time: 735.878/86400
c Decision: 2565/240306	Time: 751.255/86400
c Decision: 2565/240306	Time: 763.002/86400
c Decision: 2566/240306	Time: 775.72/86400
c Decision: 2566/240306	Time: 789.89/86400
c Decision: 2566/240306	Time: 801.789/86400
c Decision: 2566/240306	Time: 810.423/86400
c Decision: 2566/240306	Time: 823.599/86400
c Decision: 2566/240306	Time: 835.548/86400
c Decision: 2566/240306	Time: 849.702/86400
c Decision: 2572/240306	Time: 877.753/86400
c Decision: 2572/240306	Time: 891.17/86400
c Decision: 2572/240306	Time: 904.157/86400
c Decision: 2572/240306	Time: 915.549/86400
c Decision: 2572/240306	Time: 927.932/86400
c Decision: 2573/240306	Time: 953.235/86400
c Decision: 2573/240306	Time: 968.041/86400
c Decision: 2573/240306	Time: 980.85/86400
c Decision: 2589/240306	Time: 993.875/86400
c Decision: 2595/240306	Time: 1016.13/86400
c Decision: 2596/240306	Time: 1039.34/86400
c Decision: 2596/240306	Time: 1055.68/86400
c Decision: 2597/240306	Time: 1068.42/86400
c Decision: 2597/240306	Time: 1083.14/86400
c Decision: 2597/240306	Time: 1099.86/86400
c Decision: 2621/240306	Time: 1130.69/86400
c Decision: 2637/240306	Time: 1159.1/86400
c Decision: 2637/240306	Time: 1174.88/86400
c Decision: 2637/240306	Time: 1187.56/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/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21707407 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 373 2 364 364 0 9 0
[pid=9434] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-timtab2.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 28746 0 0 0 929 68 0 0 25 0 1 0 21707407 83980288 17581 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 20503 17581 364 364 0 20139 0
[pid=9434] vsize: 82012
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 82012

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 29878 0 0 0 1889 82 0 0 25 0 1 0 21707407 86831104 18243 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9434/statm): 21199 18243 364 364 0 20835 0
[pid=9434] vsize: 84796
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 84796

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 30759 0 0 0 2861 92 0 0 25 0 1 0 21707407 90726400 19124 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22150 19124 364 364 0 21786 0
[pid=9434] vsize: 88600
Current children cumulated CPU time (s) 29.53
Current children cumulated vsize (Kb) 88600

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 31093 0 0 0 3836 101 0 0 25 0 1 0 21707407 90480640 18988 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 22090 18988 364 364 0 21726 0
[pid=9434] vsize: 88360
Current children cumulated CPU time (s) 39.37
Current children cumulated vsize (Kb) 88360

[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 31274 0 0 0 4809 111 0 0 25 0 1 0 21707407 91430912 19169 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22322 19169 364 364 0 21958 0
[pid=9434] vsize: 89288
Current children cumulated CPU time (s) 49.2
Current children cumulated vsize (Kb) 89288

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 31880 0 0 0 5778 122 0 0 25 0 1 0 21707407 92020736 19305 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22466 19305 364 364 0 22102 0
[pid=9434] vsize: 89864
Current children cumulated CPU time (s) 59
Current children cumulated vsize (Kb) 89864

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 31934 0 0 0 6748 134 0 0 25 0 1 0 21707407 92184576 19359 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22506 19359 364 364 0 22142 0
[pid=9434] vsize: 90024
Current children cumulated CPU time (s) 68.82
Current children cumulated vsize (Kb) 90024

[startup+80.0069 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 32186 0 0 0 7720 144 0 0 25 0 1 0 21707407 93233152 19611 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22762 19611 364 364 0 22398 0
[pid=9434] vsize: 91048
Current children cumulated CPU time (s) 78.64
Current children cumulated vsize (Kb) 91048

[startup+90.0076 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 32290 0 0 0 8688 155 0 0 25 0 1 0 21707407 93761536 19715 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 22891 19715 364 364 0 22527 0
[pid=9434] vsize: 91564
Current children cumulated CPU time (s) 88.43
Current children cumulated vsize (Kb) 91564

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 32785 0 0 0 9662 166 0 0 25 0 1 0 21707407 93761536 19740 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 22891 19740 364 364 0 22527 0
[pid=9434] vsize: 91564
Current children cumulated CPU time (s) 98.28
Current children cumulated vsize (Kb) 91564

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 32811 0 0 0 10631 176 0 0 25 0 1 0 21707407 93958144 19766 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 22939 19766 364 364 0 22575 0
[pid=9434] vsize: 91756
Current children cumulated CPU time (s) 108.07
Current children cumulated vsize (Kb) 91756

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 33421 0 0 0 11608 184 0 0 25 0 1 0 21707407 94486528 19906 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23068 19906 364 364 0 22704 0
[pid=9434] vsize: 92272
Current children cumulated CPU time (s) 117.92
Current children cumulated vsize (Kb) 92272

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 33450 0 0 0 12574 196 0 0 25 0 1 0 21707407 94683136 19935 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23116 19935 364 364 0 22752 0
[pid=9434] vsize: 92464
Current children cumulated CPU time (s) 127.7
Current children cumulated vsize (Kb) 92464

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 33531 0 0 0 13544 206 0 0 25 0 1 0 21707407 94879744 20016 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23164 20016 364 364 0 22800 0
[pid=9434] vsize: 92656
Current children cumulated CPU time (s) 137.5
Current children cumulated vsize (Kb) 92656

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 33611 0 0 0 14516 216 0 0 25 0 1 0 21707407 95285248 20096 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23263 20096 364 364 0 22899 0
[pid=9434] vsize: 93052
Current children cumulated CPU time (s) 147.32
Current children cumulated vsize (Kb) 93052

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 34099 0 0 0 15488 226 0 0 25 0 1 0 21707407 95481856 20114 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23311 20114 364 364 0 22947 0
[pid=9434] vsize: 93244
Current children cumulated CPU time (s) 157.14
Current children cumulated vsize (Kb) 93244

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 34624 0 0 0 16464 234 0 0 25 0 1 0 21707407 95678464 20169 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23359 20169 364 364 0 22995 0
[pid=9434] vsize: 93436
Current children cumulated CPU time (s) 166.98
Current children cumulated vsize (Kb) 93436

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 34665 0 0 0 17438 243 0 0 25 0 1 0 21707407 95875072 20210 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23407 20210 364 364 0 23043 0
[pid=9434] vsize: 93628
Current children cumulated CPU time (s) 176.81
Current children cumulated vsize (Kb) 93628

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 35171 0 0 0 18409 253 0 0 25 0 1 0 21707407 96071680 20246 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23455 20246 364 364 0 23091 0
[pid=9434] vsize: 93820
Current children cumulated CPU time (s) 186.62
Current children cumulated vsize (Kb) 93820

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 35226 0 0 0 19382 262 0 0 25 0 1 0 21707407 96268288 20301 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23503 20301 364 364 0 23139 0
[pid=9434] vsize: 94012
Current children cumulated CPU time (s) 196.44
Current children cumulated vsize (Kb) 94012

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 35759 0 0 0 20357 273 0 0 25 0 1 0 21707407 96403456 20364 4294967295 134512640 135987407 3221224560 3221223344 134812301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23536 20364 364 364 0 23172 0
[pid=9434] vsize: 94144
Current children cumulated CPU time (s) 206.3
Current children cumulated vsize (Kb) 94144

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 35775 0 0 0 21330 283 0 0 25 0 1 0 21707407 96403456 20380 4294967295 134512640 135987407 3221224560 3221223424 134812720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23536 20380 364 364 0 23172 0
[pid=9434] vsize: 94144
Current children cumulated CPU time (s) 216.13
Current children cumulated vsize (Kb) 94144

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 35805 0 0 0 22303 292 0 0 25 0 1 0 21707407 96538624 20410 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23569 20410 364 364 0 23205 0
[pid=9434] vsize: 94276
Current children cumulated CPU time (s) 225.95
Current children cumulated vsize (Kb) 94276

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 36289 0 0 0 23276 302 0 0 25 0 1 0 21707407 96538624 20424 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23569 20424 364 364 0 23205 0
[pid=9434] vsize: 94276
Current children cumulated CPU time (s) 235.78
Current children cumulated vsize (Kb) 94276

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 36780 0 0 0 24249 311 0 0 25 0 1 0 21707407 96735232 20445 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23617 20445 364 364 0 23253 0
[pid=9434] vsize: 94468
Current children cumulated CPU time (s) 245.6
Current children cumulated vsize (Kb) 94468

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 36813 0 0 0 25222 320 0 0 25 0 1 0 21707407 96735232 20478 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23617 20478 364 364 0 23253 0
[pid=9434] vsize: 94468
Current children cumulated CPU time (s) 255.42
Current children cumulated vsize (Kb) 94468

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 37292 0 0 0 26195 330 0 0 25 0 1 0 21707407 96735232 20487 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23617 20487 364 364 0 23253 0
[pid=9434] vsize: 94468
Current children cumulated CPU time (s) 265.25
Current children cumulated vsize (Kb) 94468

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 37779 0 0 0 27166 339 0 0 25 0 1 0 21707407 96931840 20504 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23665 20504 364 364 0 23301 0
[pid=9434] vsize: 94660
Current children cumulated CPU time (s) 275.05
Current children cumulated vsize (Kb) 94660

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 37794 0 0 0 28136 349 0 0 25 0 1 0 21707407 96931840 20519 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23665 20519 364 364 0 23301 0
[pid=9434] vsize: 94660
Current children cumulated CPU time (s) 284.85
Current children cumulated vsize (Kb) 94660

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 38308 0 0 0 29110 359 0 0 25 0 1 0 21707407 97128448 20563 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23713 20563 364 364 0 23349 0
[pid=9434] vsize: 94852
Current children cumulated CPU time (s) 294.69
Current children cumulated vsize (Kb) 94852

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 38803 0 0 0 30084 367 0 0 25 0 1 0 21707407 97128448 20588 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23713 20588 364 364 0 23349 0
[pid=9434] vsize: 94852
Current children cumulated CPU time (s) 304.51
Current children cumulated vsize (Kb) 94852

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 39289 0 0 0 31057 377 0 0 25 0 1 0 21707407 97128448 20604 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23713 20604 364 364 0 23349 0
[pid=9434] vsize: 94852
Current children cumulated CPU time (s) 314.34
Current children cumulated vsize (Kb) 94852

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 39774 0 0 0 32039 383 0 0 25 0 1 0 21707407 97128448 20619 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23713 20619 364 364 0 23349 0
[pid=9434] vsize: 94852
Current children cumulated CPU time (s) 324.22
Current children cumulated vsize (Kb) 94852

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 40297 0 0 0 33011 394 0 0 25 0 1 0 21707407 97460224 20672 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23794 20672 364 364 0 23430 0
[pid=9434] vsize: 95176
Current children cumulated CPU time (s) 334.05
Current children cumulated vsize (Kb) 95176

[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 40324 0 0 0 33980 404 0 0 25 0 1 0 21707407 97460224 20699 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23794 20699 364 364 0 23430 0
[pid=9434] vsize: 95176
Current children cumulated CPU time (s) 343.84
Current children cumulated vsize (Kb) 95176

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 40815 0 0 0 34949 415 0 0 25 0 1 0 21707407 97460224 20720 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23794 20720 364 364 0 23430 0
[pid=9434] vsize: 95176
Current children cumulated CPU time (s) 353.64
Current children cumulated vsize (Kb) 95176

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 41299 0 0 0 35925 424 0 0 25 0 1 0 21707407 97460224 20734 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23794 20734 364 364 0 23430 0
[pid=9434] vsize: 95176
Current children cumulated CPU time (s) 363.49
Current children cumulated vsize (Kb) 95176

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 41784 0 0 0 36899 434 0 0 25 0 1 0 21707407 97460224 20749 4294967295 134512640 135987407 3221224560 3221223408 134812761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23794 20749 364 364 0 23430 0
[pid=9434] vsize: 95176
Current children cumulated CPU time (s) 373.33
Current children cumulated vsize (Kb) 95176

[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 42282 0 0 0 37876 443 0 0 25 0 1 0 21707407 99581952 21247 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24312 21247 364 364 0 23948 0
[pid=9434] vsize: 97248
Current children cumulated CPU time (s) 383.19
Current children cumulated vsize (Kb) 97248

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 42311 0 0 0 38852 451 0 0 25 0 1 0 21707407 97656832 20806 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23842 20806 364 364 0 23478 0
[pid=9434] vsize: 95368
Current children cumulated CPU time (s) 393.03
Current children cumulated vsize (Kb) 95368

[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 42822 0 0 0 39829 459 0 0 25 0 1 0 21707407 97853440 20847 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23890 20847 364 364 0 23526 0
[pid=9434] vsize: 95560
Current children cumulated CPU time (s) 402.88
Current children cumulated vsize (Kb) 95560

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 43306 0 0 0 40806 467 0 0 25 0 1 0 21707407 98050048 20861 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23938 20861 364 364 0 23574 0
[pid=9434] vsize: 95752
Current children cumulated CPU time (s) 412.73
Current children cumulated vsize (Kb) 95752

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 43331 0 0 0 41773 477 0 0 25 0 1 0 21707407 98050048 20886 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23938 20886 364 364 0 23574 0
[pid=9434] vsize: 95752
Current children cumulated CPU time (s) 422.5
Current children cumulated vsize (Kb) 95752

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 43829 0 0 0 42748 487 0 0 25 0 1 0 21707407 98050048 20914 4294967295 134512640 135987407 3221224560 3221223136 134801552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23938 20914 364 364 0 23574 0
[pid=9434] vsize: 95752
Current children cumulated CPU time (s) 432.35
Current children cumulated vsize (Kb) 95752

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 44309 0 0 0 43723 494 0 0 25 0 1 0 21707407 98050048 20924 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23938 20924 364 364 0 23574 0
[pid=9434] vsize: 95752
Current children cumulated CPU time (s) 442.17
Current children cumulated vsize (Kb) 95752

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 44831 0 0 0 44697 504 0 0 25 0 1 0 21707407 98246656 20976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 23986 20976 364 364 0 23622 0
[pid=9434] vsize: 95944
Current children cumulated CPU time (s) 452.01
Current children cumulated vsize (Kb) 95944

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 45312 0 0 0 45670 514 0 0 25 0 1 0 21707407 98246656 20987 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 23986 20987 364 364 0 23622 0
[pid=9434] vsize: 95944
Current children cumulated CPU time (s) 461.84
Current children cumulated vsize (Kb) 95944

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 45358 0 0 0 46647 520 0 0 25 0 1 0 21707407 98516992 21033 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24052 21033 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 471.67
Current children cumulated vsize (Kb) 96208

[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 45842 0 0 0 47624 529 0 0 25 0 1 0 21707407 98516992 21047 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24052 21047 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 481.53
Current children cumulated vsize (Kb) 96208

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 46337 0 0 0 48604 536 0 0 25 0 1 0 21707407 98516992 21072 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24052 21072 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 491.4
Current children cumulated vsize (Kb) 96208

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 46830 0 0 0 49582 545 0 0 25 0 1 0 21707407 98516992 21095 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24052 21095 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 501.27
Current children cumulated vsize (Kb) 96208

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 47311 0 0 0 50563 553 0 0 25 0 1 0 21707407 98516992 21106 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24052 21106 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 511.16
Current children cumulated vsize (Kb) 96208

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 47787 0 0 0 51537 562 0 0 25 0 1 0 21707407 98516992 21112 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24052 21112 364 364 0 23688 0
[pid=9434] vsize: 96208
Current children cumulated CPU time (s) 520.99
Current children cumulated vsize (Kb) 96208

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 47816 0 0 0 52513 570 0 0 25 0 1 0 21707407 98652160 21141 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24085 21141 364 364 0 23721 0
[pid=9434] vsize: 96340
Current children cumulated CPU time (s) 530.83
Current children cumulated vsize (Kb) 96340

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 48301 0 0 0 53488 579 0 0 25 0 1 0 21707407 98652160 21156 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24085 21156 364 364 0 23721 0
[pid=9434] vsize: 96340
Current children cumulated CPU time (s) 540.67
Current children cumulated vsize (Kb) 96340

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 48790 0 0 0 54462 589 0 0 25 0 1 0 21707407 98848768 21175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24133 21175 364 364 0 23769 0
[pid=9434] vsize: 96532
Current children cumulated CPU time (s) 550.51
Current children cumulated vsize (Kb) 96532

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 49274 0 0 0 55433 599 0 0 25 0 1 0 21707407 100773888 21659 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24603 21659 364 364 0 24239 0
[pid=9434] vsize: 98412
Current children cumulated CPU time (s) 560.32
Current children cumulated vsize (Kb) 98412

[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 49290 0 0 0 56406 608 0 0 25 0 1 0 21707407 98848768 21205 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24133 21205 364 364 0 23769 0
[pid=9434] vsize: 96532
Current children cumulated CPU time (s) 570.14
Current children cumulated vsize (Kb) 96532

[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 49817 0 0 0 57380 618 0 0 25 0 1 0 21707407 98983936 21262 4294967295 134512640 135987407 3221224560 3221223248 134812112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24166 21262 364 364 0 23802 0
[pid=9434] vsize: 96664
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 96664

[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 49830 0 0 0 58347 629 0 0 25 0 1 0 21707407 98983936 21275 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24166 21275 364 364 0 23802 0
[pid=9434] vsize: 96664
Current children cumulated CPU time (s) 589.76
Current children cumulated vsize (Kb) 96664

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 50322 0 0 0 59319 640 0 0 25 0 1 0 21707407 99164160 21297 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24210 21297 364 364 0 23846 0
[pid=9434] vsize: 96840
Current children cumulated CPU time (s) 599.59
Current children cumulated vsize (Kb) 96840

[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 50816 0 0 0 60296 649 0 0 25 0 1 0 21707407 99164160 21321 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24210 21321 364 364 0 23846 0
[pid=9434] vsize: 96840
Current children cumulated CPU time (s) 609.45
Current children cumulated vsize (Kb) 96840

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 51302 0 0 0 61269 660 0 0 25 0 1 0 21707407 99164160 21337 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24210 21337 364 364 0 23846 0
[pid=9434] vsize: 96840
Current children cumulated CPU time (s) 619.29
Current children cumulated vsize (Kb) 96840

[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 51793 0 0 0 62239 671 0 0 25 0 1 0 21707407 99164160 21358 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24210 21358 364 364 0 23846 0
[pid=9434] vsize: 96840
Current children cumulated CPU time (s) 629.1
Current children cumulated vsize (Kb) 96840

[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 51829 0 0 0 63209 682 0 0 25 0 1 0 21707407 99299328 21394 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24243 21394 364 364 0 23879 0
[pid=9434] vsize: 96972
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (Kb) 96972

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 52315 0 0 0 64184 693 0 0 25 0 1 0 21707407 99434496 21410 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24276 21410 364 364 0 23912 0
[pid=9434] vsize: 97104
Current children cumulated CPU time (s) 648.77
Current children cumulated vsize (Kb) 97104

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 52790 0 0 0 65161 700 0 0 25 0 1 0 21707407 99434496 21415 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24276 21415 364 364 0 23912 0
[pid=9434] vsize: 97104
Current children cumulated CPU time (s) 658.61
Current children cumulated vsize (Kb) 97104

[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 53293 0 0 0 66137 709 0 0 25 0 1 0 21707407 99434496 21448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24276 21448 364 364 0 23912 0
[pid=9434] vsize: 97104
Current children cumulated CPU time (s) 668.46
Current children cumulated vsize (Kb) 97104

[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 53786 0 0 0 67114 716 0 0 25 0 1 0 21707407 99434496 21471 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24276 21471 364 364 0 23912 0
[pid=9434] vsize: 97104
Current children cumulated CPU time (s) 678.3
Current children cumulated vsize (Kb) 97104

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 54267 0 0 0 68084 728 0 0 25 0 1 0 21707407 99565568 21482 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24308 21482 364 364 0 23944 0
[pid=9434] vsize: 97232
Current children cumulated CPU time (s) 688.12
Current children cumulated vsize (Kb) 97232

[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 54774 0 0 0 69059 737 0 0 25 0 1 0 21707407 99700736 21519 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24341 21519 364 364 0 23977 0
[pid=9434] vsize: 97364
Current children cumulated CPU time (s) 697.96
Current children cumulated vsize (Kb) 97364

[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 55251 0 0 0 70036 745 0 0 25 0 1 0 21707407 101625856 21996 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24811 21996 364 364 0 24447 0
[pid=9434] vsize: 99244
Current children cumulated CPU time (s) 707.81
Current children cumulated vsize (Kb) 99244

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 55264 0 0 0 71014 754 0 0 25 0 1 0 21707407 99700736 21539 4294967295 134512640 135987407 3221224560 3221223200 134789489 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24341 21539 364 364 0 23977 0
[pid=9434] vsize: 97364
Current children cumulated CPU time (s) 717.68
Current children cumulated vsize (Kb) 97364

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 55747 0 0 0 71985 763 0 0 25 0 1 0 21707407 99700736 21552 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24341 21552 364 364 0 23977 0
[pid=9434] vsize: 97364
Current children cumulated CPU time (s) 727.48
Current children cumulated vsize (Kb) 97364

[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 56233 0 0 0 72960 773 0 0 25 0 1 0 21707407 99700736 21568 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24341 21568 364 364 0 23977 0
[pid=9434] vsize: 97364
Current children cumulated CPU time (s) 737.33
Current children cumulated vsize (Kb) 97364

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 56744 0 0 0 73939 781 0 0 25 0 1 0 21707407 99835904 21609 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24374 21609 364 364 0 24010 0
[pid=9434] vsize: 97496
Current children cumulated CPU time (s) 747.2
Current children cumulated vsize (Kb) 97496

[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 56758 0 0 0 74910 789 0 0 25 0 1 0 21707407 99835904 21623 4294967295 134512640 135987407 3221224560 3221223312 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24374 21623 364 364 0 24010 0
[pid=9434] vsize: 97496
Current children cumulated CPU time (s) 756.99
Current children cumulated vsize (Kb) 97496

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 57250 0 0 0 75885 796 0 0 25 0 1 0 21707407 99975168 21645 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24408 21645 364 364 0 24044 0
[pid=9434] vsize: 97632
Current children cumulated CPU time (s) 766.81
Current children cumulated vsize (Kb) 97632

[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 57742 0 0 0 76860 806 0 0 25 0 1 0 21707407 99975168 21667 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24408 21667 364 364 0 24044 0
[pid=9434] vsize: 97632
Current children cumulated CPU time (s) 776.66
Current children cumulated vsize (Kb) 97632

[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 58231 0 0 0 77832 817 0 0 25 0 1 0 21707407 99975168 21686 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24408 21686 364 364 0 24044 0
[pid=9434] vsize: 97632
Current children cumulated CPU time (s) 786.49
Current children cumulated vsize (Kb) 97632

[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 58250 0 0 0 78806 826 0 0 25 0 1 0 21707407 99975168 21705 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24408 21705 364 364 0 24044 0
[pid=9434] vsize: 97632
Current children cumulated CPU time (s) 796.32
Current children cumulated vsize (Kb) 97632

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 58742 0 0 0 79782 835 0 0 25 0 1 0 21707407 99975168 21727 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24408 21727 364 364 0 24044 0
[pid=9434] vsize: 97632
Current children cumulated CPU time (s) 806.17
Current children cumulated vsize (Kb) 97632

[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 59240 0 0 0 80764 842 0 0 25 0 1 0 21707407 100106240 21755 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24440 21755 364 364 0 24076 0
[pid=9434] vsize: 97760
Current children cumulated CPU time (s) 816.06
Current children cumulated vsize (Kb) 97760

[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 59734 0 0 0 81746 850 0 0 25 0 1 0 21707407 100106240 21779 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24440 21779 364 364 0 24076 0
[pid=9434] vsize: 97760
Current children cumulated CPU time (s) 825.96
Current children cumulated vsize (Kb) 97760

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 60221 0 0 0 82713 862 0 0 25 0 1 0 21707407 100106240 21796 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24440 21796 364 364 0 24076 0
[pid=9434] vsize: 97760
Current children cumulated CPU time (s) 835.75
Current children cumulated vsize (Kb) 97760

[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 60702 0 0 0 83689 871 0 0 25 0 1 0 21707407 100241408 21807 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24473 21807 364 364 0 24109 0
[pid=9434] vsize: 97892
Current children cumulated CPU time (s) 845.6
Current children cumulated vsize (Kb) 97892

[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 60718 0 0 0 84659 882 0 0 25 0 1 0 21707407 100241408 21823 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24473 21823 364 364 0 24109 0
[pid=9434] vsize: 97892
Current children cumulated CPU time (s) 855.41
Current children cumulated vsize (Kb) 97892

[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 61211 0 0 0 85632 892 0 0 25 0 1 0 21707407 100241408 21846 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24473 21846 364 364 0 24109 0
[pid=9434] vsize: 97892
Current children cumulated CPU time (s) 865.24
Current children cumulated vsize (Kb) 97892

[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 61248 0 0 0 86601 904 0 0 25 0 1 0 21707407 100433920 21883 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24520 21883 364 364 0 24156 0
[pid=9434] vsize: 98080
Current children cumulated CPU time (s) 875.05
Current children cumulated vsize (Kb) 98080

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 61278 0 0 0 87573 912 0 0 25 0 1 0 21707407 100433920 21913 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24520 21913 364 364 0 24156 0
[pid=9434] vsize: 98080
Current children cumulated CPU time (s) 884.85
Current children cumulated vsize (Kb) 98080

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 61764 0 0 0 88550 921 0 0 25 0 1 0 21707407 100433920 21929 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24520 21929 364 364 0 24156 0
[pid=9434] vsize: 98080
Current children cumulated CPU time (s) 894.71
Current children cumulated vsize (Kb) 98080

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 62243 0 0 0 89523 930 0 0 25 0 1 0 21707407 100569088 21938 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24553 21938 364 364 0 24189 0
[pid=9434] vsize: 98212
Current children cumulated CPU time (s) 904.53
Current children cumulated vsize (Kb) 98212

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 62733 0 0 0 90496 939 0 0 25 0 1 0 21707407 100569088 21958 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24553 21958 364 364 0 24189 0
[pid=9434] vsize: 98212
Current children cumulated CPU time (s) 914.35
Current children cumulated vsize (Kb) 98212

[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 62895 0 0 0 91477 945 0 0 25 0 1 0 21707407 101105664 22087 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24684 22087 364 364 0 24320 0
[pid=9434] vsize: 98736
Current children cumulated CPU time (s) 924.22
Current children cumulated vsize (Kb) 98736

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 63379 0 0 0 92449 956 0 0 25 0 1 0 21707407 101105664 22101 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24684 22101 364 364 0 24320 0
[pid=9434] vsize: 98736
Current children cumulated CPU time (s) 934.05
Current children cumulated vsize (Kb) 98736

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 63858 0 0 0 93423 966 0 0 25 0 1 0 21707407 101105664 22110 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24684 22110 364 364 0 24320 0
[pid=9434] vsize: 98736
Current children cumulated CPU time (s) 943.89
Current children cumulated vsize (Kb) 98736

[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 63874 0 0 0 94393 976 0 0 25 0 1 0 21707407 101105664 22126 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24684 22126 364 364 0 24320 0
[pid=9434] vsize: 98736
Current children cumulated CPU time (s) 953.69
Current children cumulated vsize (Kb) 98736

[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 64363 0 0 0 95359 990 0 0 25 0 1 0 21707407 101244928 22145 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24718 22145 364 364 0 24354 0
[pid=9434] vsize: 98872
Current children cumulated CPU time (s) 963.49
Current children cumulated vsize (Kb) 98872

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 64377 0 0 0 96338 996 0 0 25 0 1 0 21707407 101244928 22159 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24718 22159 364 364 0 24354 0
[pid=9434] vsize: 98872
Current children cumulated CPU time (s) 973.34
Current children cumulated vsize (Kb) 98872

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 64901 0 0 0 97313 1005 0 0 25 0 1 0 21707407 101380096 22213 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24751 22213 364 364 0 24387 0
[pid=9434] vsize: 99004
Current children cumulated CPU time (s) 983.18
Current children cumulated vsize (Kb) 99004

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 65386 0 0 0 98285 1016 0 0 25 0 1 0 21707407 101380096 22228 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24751 22228 364 364 0 24387 0
[pid=9434] vsize: 99004
Current children cumulated CPU time (s) 993.01
Current children cumulated vsize (Kb) 99004

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 65403 0 0 0 99254 1028 0 0 25 0 1 0 21707407 101380096 22245 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24751 22245 364 364 0 24387 0
[pid=9434] vsize: 99004
Current children cumulated CPU time (s) 1002.82
Current children cumulated vsize (Kb) 99004

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 65909 0 0 0 100227 1039 0 0 25 0 1 0 21707407 101515264 22281 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24784 22281 364 364 0 24420 0
[pid=9434] vsize: 99136
Current children cumulated CPU time (s) 1012.66
Current children cumulated vsize (Kb) 99136

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 65950 0 0 0 101201 1048 0 0 25 0 1 0 21707407 101650432 22322 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24817 22322 364 364 0 24453 0
[pid=9434] vsize: 99268
Current children cumulated CPU time (s) 1022.49
Current children cumulated vsize (Kb) 99268

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 66432 0 0 0 102178 1056 0 0 25 0 1 0 21707407 101650432 22334 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24817 22334 364 364 0 24453 0
[pid=9434] vsize: 99268
Current children cumulated CPU time (s) 1032.34
Current children cumulated vsize (Kb) 99268

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 66443 0 0 0 103152 1064 0 0 25 0 1 0 21707407 101650432 22345 4294967295 134512640 135987407 3221224560 3221223376 134816700 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24817 22345 364 364 0 24453 0
[pid=9434] vsize: 99268
Current children cumulated CPU time (s) 1042.16
Current children cumulated vsize (Kb) 99268

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 66925 0 0 0 104128 1075 0 0 25 0 1 0 21707407 101650432 22357 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 24817 22357 364 364 0 24453 0
[pid=9434] vsize: 99268
Current children cumulated CPU time (s) 1052.03
Current children cumulated vsize (Kb) 99268

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 66935 0 0 0 105101 1082 0 0 25 0 1 0 21707407 101650432 22367 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24817 22367 364 364 0 24453 0
[pid=9434] vsize: 99268
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (Kb) 99268

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9434
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 67413 0 0 0 106088 1088 0 0 25 0 1 0 21707407 101781504 22375 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24849 22375 364 364 0 24485 0
[pid=9434] vsize: 99396
Current children cumulated CPU time (s) 1071.76
Current children cumulated vsize (Kb) 99396

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/59 9438
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 67899 0 0 0 107064 1097 0 0 25 0 1 0 21707407 101781504 22391 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24849 22391 364 364 0 24485 0
[pid=9434] vsize: 99396
Current children cumulated CPU time (s) 1081.61
Current children cumulated vsize (Kb) 99396

[startup+1110.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9489
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 67932 0 0 0 108035 1108 0 0 25 0 1 0 21707407 101781504 22424 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24849 22424 364 364 0 24485 0
[pid=9434] vsize: 99396
Current children cumulated CPU time (s) 1091.43
Current children cumulated vsize (Kb) 99396

[startup+1120.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9489
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 68418 0 0 0 109016 1114 0 0 25 0 1 0 21707407 101781504 22440 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24849 22440 364 364 0 24485 0
[pid=9434] vsize: 99396
Current children cumulated CPU time (s) 1101.3
Current children cumulated vsize (Kb) 99396

[startup+1130.04 s]
Raw data (loadavg): 1.05 0.99 0.91 1/55 9489
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 68909 0 0 0 109992 1124 0 0 25 0 1 0 21707407 101908480 22461 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24880 22461 364 364 0 24516 0
[pid=9434] vsize: 99520
Current children cumulated CPU time (s) 1111.16
Current children cumulated vsize (Kb) 99520

[startup+1140.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9489
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 68929 0 0 0 110970 1133 0 0 25 0 1 0 21707407 101908480 22481 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 24880 22481 364 364 0 24516 0
[pid=9434] vsize: 99520
Current children cumulated CPU time (s) 1121.03
Current children cumulated vsize (Kb) 99520

[startup+1150.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9489
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 69052 0 0 0 111942 1142 0 0 25 0 1 0 21707407 102719488 22604 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25078 22604 364 364 0 24714 0
[pid=9434] vsize: 100312
Current children cumulated CPU time (s) 1130.84
Current children cumulated vsize (Kb) 100312

[startup+1160.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9491
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 69621 0 0 0 112914 1154 0 0 25 0 1 0 21707407 103120896 22670 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 25176 22670 364 364 0 24812 0
[pid=9434] vsize: 100704
Current children cumulated CPU time (s) 1140.68
Current children cumulated vsize (Kb) 100704

[startup+1170.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9493
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 69650 0 0 0 113889 1163 0 0 25 0 1 0 21707407 103256064 22699 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9434/statm): 25209 22699 364 364 0 24845 0
[pid=9434] vsize: 100836
Current children cumulated CPU time (s) 1150.52
Current children cumulated vsize (Kb) 100836

[startup+1180.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 69663 0 0 0 114859 1173 0 0 25 0 1 0 21707407 103256064 22712 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25209 22712 364 364 0 24845 0
[pid=9434] vsize: 100836
Current children cumulated CPU time (s) 1160.32
Current children cumulated vsize (Kb) 100836

[startup+1190.04 s]
Raw data (loadavg): 1.02 0.99 0.91 1/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) T 9433 9434 4059 0 -1 0 70217 0 0 0 115836 1183 0 0 25 0 1 0 21707407 103522304 22763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9434/statm): 25274 22763 364 364 0 24910 0
[pid=9434] vsize: 101096
Current children cumulated CPU time (s) 1170.19
Current children cumulated vsize (Kb) 101096

[startup+1200.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 70221 0 0 0 116808 1193 0 0 25 0 1 0 21707407 103522304 22767 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25274 22767 364 364 0 24910 0
[pid=9434] vsize: 101096
Current children cumulated CPU time (s) 1180.01
Current children cumulated vsize (Kb) 101096

[startup+1210.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 70695 0 0 0 117783 1201 0 0 25 0 1 0 21707407 103522304 22771 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25274 22771 364 364 0 24910 0
[pid=9434] vsize: 101096
Current children cumulated CPU time (s) 1189.84
Current children cumulated vsize (Kb) 101096

[startup+1220.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 71188 0 0 0 118764 1209 0 0 25 0 1 0 21707407 103657472 22794 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25307 22794 364 364 0 24943 0
[pid=9434] vsize: 101228
Current children cumulated CPU time (s) 1199.73
Current children cumulated vsize (Kb) 101228

[startup+1230.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 71259 0 0 0 119742 1216 0 0 25 0 1 0 21707407 103923712 22865 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25372 22865 364 364 0 25008 0
[pid=9434] vsize: 101488
Current children cumulated CPU time (s) 1209.58
Current children cumulated vsize (Kb) 101488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9495
Raw data (/proc/9434/stat): 9434 (pb2sat) R 9433 9434 4059 0 -1 0 71259 0 0 0 119742 1216 0 0 25 0 1 0 21707407 103923712 22865 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9434/statm): 25372 22865 364 364 0 25008 0
[pid=9434] vsize: 101488
Current children cumulated CPU time (s) 1209.58
Current children cumulated vsize (Kb) 101488

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

Child status: 0
Real time (s): 1230.42
CPU time (s): 1209.96
CPU user time (s): 1197.75
CPU system time (s): 12.2141
CPU usage (%): 98.3373
Max. virtual memory (cumulated for all children) (Kb): 101488

Verifier Data

ERROR: no interpretation found !