Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUMee388359e66788d310d5d5b34d6465c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 10439

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 18:01:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9145 boxname=wulflinc26 idbench=941 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 9145
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909684 kB
Buffers:         11896 kB
Cached:          95544 kB
SwapCached:          0 kB
Active:          45964 kB
Inactive:        64388 kB
HighTotal:      131008 kB
HighFree:        40488 kB
LowTotal:       903652 kB
LowFree:        869196 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9044 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:21:44 (client local time) WITH STATUS 0 IN 1200.9 SECONDS
stats: 9145 7 1200.9 0

Solver Data

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

c Decision: 72430/153207	Time: 104.143/86400
c Decision: 72527/153207	Time: 330.658/86400
c Decision: 72581/153207	Time: 476.479/86400
c Decision: 72639/153207	Time: 663.174/86400
c Decision: 72642/153207	Time: 682.516/86400
c Decision: 72715/153207	Time: 867.722/86400
c Decision: 72719/153207	Time: 887.788/86400
c Decision: 72722/153207	Time: 914.554/86400
c Decision: 72729/153207	Time: 999.21/86400
c Decision: 72734/153207	Time: 1031.83/86400
c Decision: 72763/153207	Time: 1112.14/86400
c Decision: 72779/153207	Time: 1181.65/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/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22151474 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 373 2 364 364 0 9 0
[pid=9131] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-air04.opb

[startup+10.0021 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 19433 0 0 0 949 48 0 0 25 0 1 0 22151474 58875904 11401 4294967295 134512640 135987407 3221224560 3221178880 134878907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 14374 11401 364 364 0 14010 0
[pid=9131] vsize: 57496
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 57496

[startup+20.0028 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 21521 0 0 0 1920 60 0 0 25 0 1 0 22151474 64638976 13083 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 15781 13083 364 364 0 15417 0
[pid=9131] vsize: 63124
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 63124

[startup+30.0035 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 21850 0 0 0 2886 72 0 0 25 0 1 0 22151474 66068480 13412 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 16130 13412 364 364 0 15766 0
[pid=9131] vsize: 64520
Current children cumulated CPU time (s) 29.58
Current children cumulated vsize (Kb) 64520

[startup+40.0032 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22018 0 0 0 3855 82 0 0 25 0 1 0 22151474 66666496 13580 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 16276 13580 364 364 0 15912 0
[pid=9131] vsize: 65104
Current children cumulated CPU time (s) 39.37
Current children cumulated vsize (Kb) 65104

[startup+50.0038 s]
Raw data (loadavg): 1.03 1.01 0.94 1/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 22143 0 0 0 4825 93 0 0 25 0 1 0 22151474 67104768 13705 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 16383 13705 364 364 0 16019 0
[pid=9131] vsize: 65532
Current children cumulated CPU time (s) 49.18
Current children cumulated vsize (Kb) 65532

[startup+60.0035 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22292 0 0 0 5795 104 0 0 25 0 1 0 22151474 67571712 13854 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 16497 13854 364 364 0 16133 0
[pid=9131] vsize: 65988
Current children cumulated CPU time (s) 58.99
Current children cumulated vsize (Kb) 65988

[startup+70.0032 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22371 0 0 0 6769 113 0 0 25 0 1 0 22151474 67735552 13933 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 16537 13933 364 364 0 16173 0
[pid=9131] vsize: 66148
Current children cumulated CPU time (s) 68.82
Current children cumulated vsize (Kb) 66148

[startup+80.0049 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22530 0 0 0 7737 124 0 0 25 0 1 0 22151474 68157440 14092 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 16640 14092 364 364 0 16276 0
[pid=9131] vsize: 66560
Current children cumulated CPU time (s) 78.61
Current children cumulated vsize (Kb) 66560

[startup+90.0046 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22668 0 0 0 8710 133 0 0 25 0 1 0 22151474 76873728 14230 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 18768 14230 364 364 0 18404 0
[pid=9131] vsize: 75072
Current children cumulated CPU time (s) 88.43
Current children cumulated vsize (Kb) 75072

[startup+100.005 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22755 0 0 0 9676 144 0 0 25 0 1 0 22151474 77156352 14317 4294967295 134512640 135987407 3221224560 3221223300 135477893 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 18837 14317 364 364 0 18473 0
[pid=9131] vsize: 75348
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (Kb) 75348

[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 22894 0 0 0 10658 150 0 0 25 0 1 0 22151474 77291520 14456 4294967295 134512640 135987407 3221224560 3221223376 134824806 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 18870 14456 364 364 0 18506 0
[pid=9131] vsize: 75480
Current children cumulated CPU time (s) 108.08
Current children cumulated vsize (Kb) 75480

[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23330 0 0 0 11647 154 0 0 25 0 1 0 22151474 77426688 14592 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 18903 14592 364 364 0 18539 0
[pid=9131] vsize: 75612
Current children cumulated CPU time (s) 118.01
Current children cumulated vsize (Kb) 75612

[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23386 0 0 0 12627 160 0 0 25 0 1 0 22151474 77561856 14648 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 18936 14648 364 364 0 18572 0
[pid=9131] vsize: 75744
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (Kb) 75744

[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23474 0 0 0 13606 167 0 0 25 0 1 0 22151474 77840384 14736 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19004 14736 364 364 0 18640 0
[pid=9131] vsize: 76016
Current children cumulated CPU time (s) 137.73
Current children cumulated vsize (Kb) 76016

[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23547 0 0 0 14578 178 0 0 25 0 1 0 22151474 77987840 14809 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19040 14809 364 364 0 18676 0
[pid=9131] vsize: 76160
Current children cumulated CPU time (s) 147.56
Current children cumulated vsize (Kb) 76160

[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23681 0 0 0 15558 184 0 0 25 0 1 0 22151474 78135296 14943 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19076 14943 364 364 0 18712 0
[pid=9131] vsize: 76304
Current children cumulated CPU time (s) 157.42
Current children cumulated vsize (Kb) 76304

[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 23790 0 0 0 16526 195 0 0 25 0 1 0 22151474 78417920 15052 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19145 15052 364 364 0 18781 0
[pid=9131] vsize: 76580
Current children cumulated CPU time (s) 167.21
Current children cumulated vsize (Kb) 76580

[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 23928 0 0 0 17478 211 0 0 25 0 1 0 22151474 78848000 15190 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19250 15190 364 364 0 18886 0
[pid=9131] vsize: 77000
Current children cumulated CPU time (s) 176.89
Current children cumulated vsize (Kb) 77000

[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24051 0 0 0 18429 226 0 0 25 0 1 0 22151474 79159296 15313 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19326 15313 364 364 0 18962 0
[pid=9131] vsize: 77304
Current children cumulated CPU time (s) 186.55
Current children cumulated vsize (Kb) 77304

[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24200 0 0 0 19398 235 0 0 25 0 1 0 22151474 79634432 15462 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19442 15462 364 364 0 19078 0
[pid=9131] vsize: 77768
Current children cumulated CPU time (s) 196.33
Current children cumulated vsize (Kb) 77768

[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24277 0 0 0 20375 244 0 0 25 0 1 0 22151474 79798272 15539 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19482 15539 364 364 0 19118 0
[pid=9131] vsize: 77928
Current children cumulated CPU time (s) 206.19
Current children cumulated vsize (Kb) 77928

[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24372 0 0 0 21344 256 0 0 25 0 1 0 22151474 79945728 15634 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19518 15634 364 364 0 19154 0
[pid=9131] vsize: 78072
Current children cumulated CPU time (s) 216
Current children cumulated vsize (Kb) 78072

[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24541 0 0 0 22330 260 0 0 25 0 1 0 22151474 79945728 15803 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19518 15803 364 364 0 19154 0
[pid=9131] vsize: 78072
Current children cumulated CPU time (s) 225.9
Current children cumulated vsize (Kb) 78072

[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 24614 0 0 0 23309 268 0 0 25 0 1 0 22151474 80109568 15876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19558 15876 364 364 0 19194 0
[pid=9131] vsize: 78232
Current children cumulated CPU time (s) 235.77
Current children cumulated vsize (Kb) 78232

[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9131
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 24711 0 0 0 24279 277 0 0 25 0 1 0 22151474 80244736 15973 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19591 15973 364 364 0 19227 0
[pid=9131] vsize: 78364
Current children cumulated CPU time (s) 245.56
Current children cumulated vsize (Kb) 78364

[startup+260.01 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24819 0 0 0 25252 284 0 0 25 0 1 0 22151474 80379904 16081 4294967295 134512640 135987407 3221224560 3221223344 134812272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19624 16081 364 364 0 19260 0
[pid=9131] vsize: 78496
Current children cumulated CPU time (s) 255.36
Current children cumulated vsize (Kb) 78496

[startup+270.01 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 24979 0 0 0 26223 294 0 0 25 0 1 0 22151474 80658432 16241 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19692 16241 364 364 0 19328 0
[pid=9131] vsize: 78768
Current children cumulated CPU time (s) 265.17
Current children cumulated vsize (Kb) 78768

[startup+280.011 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25089 0 0 0 27204 300 0 0 25 0 1 0 22151474 80658432 16351 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19692 16351 364 364 0 19328 0
[pid=9131] vsize: 78768
Current children cumulated CPU time (s) 275.04
Current children cumulated vsize (Kb) 78768

[startup+290.011 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25244 0 0 0 28183 305 0 0 25 0 1 0 22151474 80928768 16506 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19758 16506 364 364 0 19394 0
[pid=9131] vsize: 79032
Current children cumulated CPU time (s) 284.88
Current children cumulated vsize (Kb) 79032

[startup+300.012 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25359 0 0 0 29150 316 0 0 25 0 1 0 22151474 81199104 16621 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19824 16621 364 364 0 19460 0
[pid=9131] vsize: 79296
Current children cumulated CPU time (s) 294.66
Current children cumulated vsize (Kb) 79296

[startup+310.012 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25479 0 0 0 30115 327 0 0 25 0 1 0 22151474 81502208 16741 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 19898 16741 364 364 0 19534 0
[pid=9131] vsize: 79592
Current children cumulated CPU time (s) 304.42
Current children cumulated vsize (Kb) 79592

[startup+320.012 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25615 0 0 0 31071 343 0 0 25 0 1 0 22151474 81825792 16877 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 19977 16877 364 364 0 19613 0
[pid=9131] vsize: 79908
Current children cumulated CPU time (s) 314.14
Current children cumulated vsize (Kb) 79908

[startup+330.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25785 0 0 0 32049 351 0 0 25 0 1 0 22151474 81977344 17047 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 20014 17047 364 364 0 19650 0
[pid=9131] vsize: 80056
Current children cumulated CPU time (s) 324
Current children cumulated vsize (Kb) 80056

[startup+340.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 25987 0 0 0 33036 355 0 0 25 0 1 0 22151474 82128896 17249 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 20051 17249 364 364 0 19687 0
[pid=9131] vsize: 80204
Current children cumulated CPU time (s) 333.91
Current children cumulated vsize (Kb) 80204

[startup+350.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 26425 0 0 0 34028 359 0 0 25 0 1 0 22151474 82128896 17387 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 20051 17387 364 364 0 19687 0
[pid=9131] vsize: 80204
Current children cumulated CPU time (s) 343.87
Current children cumulated vsize (Kb) 80204

[startup+360.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 26556 0 0 0 34990 370 0 0 25 0 1 0 22151474 82284544 17518 4294967295 134512640 135987407 3221224560 3221223056 134878078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 20089 17518 364 364 0 19725 0
[pid=9131] vsize: 80356
Current children cumulated CPU time (s) 353.6
Current children cumulated vsize (Kb) 80356

[startup+370.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 26772 0 0 0 35981 373 0 0 25 0 1 0 22151474 99258368 17734 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 24233 17734 364 364 0 23869 0
[pid=9131] vsize: 96932
Current children cumulated CPU time (s) 363.54
Current children cumulated vsize (Kb) 96932

[startup+380.014 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 27019 0 0 0 36965 378 0 0 25 0 1 0 22151474 99422208 17981 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 24273 17981 364 364 0 23909 0
[pid=9131] vsize: 97092
Current children cumulated CPU time (s) 373.43
Current children cumulated vsize (Kb) 97092

[startup+390.014 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 27100 0 0 0 37949 383 0 0 25 0 1 0 22151474 99422208 18062 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 24273 18062 364 364 0 23909 0
[pid=9131] vsize: 97092
Current children cumulated CPU time (s) 383.32
Current children cumulated vsize (Kb) 97092

[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 27181 0 0 0 38931 389 0 0 25 0 1 0 22151474 99422208 18143 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 24273 18143 364 364 0 23909 0
[pid=9131] vsize: 97092
Current children cumulated CPU time (s) 393.2
Current children cumulated vsize (Kb) 97092

[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 27457 0 0 0 39921 394 0 0 25 0 1 0 22151474 99569664 18419 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 24309 18419 364 364 0 23945 0
[pid=9131] vsize: 97236
Current children cumulated CPU time (s) 403.15
Current children cumulated vsize (Kb) 97236

[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 27551 0 0 0 40894 403 0 0 25 0 1 0 22151474 99733504 18513 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 24349 18513 364 364 0 23985 0
[pid=9131] vsize: 97396
Current children cumulated CPU time (s) 412.97
Current children cumulated vsize (Kb) 97396

[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 30715 0 0 0 41859 419 0 0 25 0 1 0 22151474 112451584 18604 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27454 18604 364 364 0 27090 0
[pid=9131] vsize: 109816
Current children cumulated CPU time (s) 422.78
Current children cumulated vsize (Kb) 109816

[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 30845 0 0 0 42840 425 0 0 25 0 1 0 22151474 112451584 18734 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27454 18734 364 364 0 27090 0
[pid=9131] vsize: 109816
Current children cumulated CPU time (s) 432.65
Current children cumulated vsize (Kb) 109816

[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 30963 0 0 0 43799 438 0 0 25 0 1 0 22151474 112775168 18852 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27533 18852 364 364 0 27169 0
[pid=9131] vsize: 110132
Current children cumulated CPU time (s) 442.37
Current children cumulated vsize (Kb) 110132

[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31052 0 0 0 44761 451 0 0 25 0 1 0 22151474 112910336 18941 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27566 18941 364 364 0 27202 0
[pid=9131] vsize: 110264
Current children cumulated CPU time (s) 452.12
Current children cumulated vsize (Kb) 110264

[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31207 0 0 0 45742 458 0 0 25 0 1 0 22151474 113045504 19096 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27599 19096 364 364 0 27235 0
[pid=9131] vsize: 110396
Current children cumulated CPU time (s) 462
Current children cumulated vsize (Kb) 110396

[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31325 0 0 0 46728 463 0 0 25 0 1 0 22151474 113242112 19214 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27647 19214 364 364 0 27283 0
[pid=9131] vsize: 110588
Current children cumulated CPU time (s) 471.91
Current children cumulated vsize (Kb) 110588

[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31421 0 0 0 47709 469 0 0 25 0 1 0 22151474 113242112 19310 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27647 19310 364 364 0 27283 0
[pid=9131] vsize: 110588
Current children cumulated CPU time (s) 481.78
Current children cumulated vsize (Kb) 110588

[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31806 0 0 0 48695 475 0 0 25 0 1 0 22151474 113242112 19395 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27647 19395 364 364 0 27283 0
[pid=9131] vsize: 110588
Current children cumulated CPU time (s) 491.7
Current children cumulated vsize (Kb) 110588

[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 31882 0 0 0 49656 488 0 0 25 0 1 0 22151474 113381376 19471 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27681 19471 364 364 0 27317 0
[pid=9131] vsize: 110724
Current children cumulated CPU time (s) 501.44
Current children cumulated vsize (Kb) 110724

[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32011 0 0 0 50642 493 0 0 25 0 1 0 22151474 113381376 19600 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 27681 19600 364 364 0 27317 0
[pid=9131] vsize: 110724
Current children cumulated CPU time (s) 511.35
Current children cumulated vsize (Kb) 110724

[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32108 0 0 0 51622 500 0 0 25 0 1 0 22151474 113516544 19697 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27714 19697 364 364 0 27350 0
[pid=9131] vsize: 110856
Current children cumulated CPU time (s) 521.22
Current children cumulated vsize (Kb) 110856

[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32246 0 0 0 52595 508 0 0 25 0 1 0 22151474 113848320 19835 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27795 19835 364 364 0 27431 0
[pid=9131] vsize: 111180
Current children cumulated CPU time (s) 531.03
Current children cumulated vsize (Kb) 111180

[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 32402 0 0 0 53578 514 0 0 25 0 1 0 22151474 113848320 19991 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27795 19991 364 364 0 27431 0
[pid=9131] vsize: 111180
Current children cumulated CPU time (s) 540.92
Current children cumulated vsize (Kb) 111180

[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32524 0 0 0 54558 522 0 0 25 0 1 0 22151474 113983488 20113 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27828 20113 364 364 0 27464 0
[pid=9131] vsize: 111312
Current children cumulated CPU time (s) 550.8
Current children cumulated vsize (Kb) 111312

[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32701 0 0 0 55549 526 0 0 25 0 1 0 22151474 114147328 20290 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27868 20290 364 364 0 27504 0
[pid=9131] vsize: 111472
Current children cumulated CPU time (s) 560.75
Current children cumulated vsize (Kb) 111472

[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32824 0 0 0 56504 543 0 0 25 0 1 0 22151474 114466816 20413 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27946 20413 364 364 0 27582 0
[pid=9131] vsize: 111784
Current children cumulated CPU time (s) 570.47
Current children cumulated vsize (Kb) 111784

[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 32914 0 0 0 57477 552 0 0 25 0 1 0 22151474 114622464 20503 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 27984 20503 364 364 0 27620 0
[pid=9131] vsize: 111936
Current children cumulated CPU time (s) 580.29
Current children cumulated vsize (Kb) 111936

[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33020 0 0 0 58443 562 0 0 25 0 1 0 22151474 114769920 20609 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28020 20609 364 364 0 27656 0
[pid=9131] vsize: 112080
Current children cumulated CPU time (s) 590.05
Current children cumulated vsize (Kb) 112080

[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 33171 0 0 0 59418 568 0 0 25 0 1 0 22151474 114966528 20760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28068 20760 364 364 0 27704 0
[pid=9131] vsize: 112272
Current children cumulated CPU time (s) 599.86
Current children cumulated vsize (Kb) 112272

[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33264 0 0 0 60390 578 0 0 25 0 1 0 22151474 115105792 20853 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28102 20853 364 364 0 27738 0
[pid=9131] vsize: 112408
Current children cumulated CPU time (s) 609.68
Current children cumulated vsize (Kb) 112408

[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33375 0 0 0 61353 590 0 0 25 0 1 0 22151474 115240960 20964 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28135 20964 364 364 0 27771 0
[pid=9131] vsize: 112540
Current children cumulated CPU time (s) 619.43
Current children cumulated vsize (Kb) 112540

[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33550 0 0 0 62338 595 0 0 25 0 1 0 22151474 115240960 21139 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28135 21139 364 364 0 27771 0
[pid=9131] vsize: 112540
Current children cumulated CPU time (s) 629.33
Current children cumulated vsize (Kb) 112540

[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33646 0 0 0 63322 601 0 0 25 0 1 0 22151474 115240960 21235 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28135 21235 364 364 0 27771 0
[pid=9131] vsize: 112540
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 112540

[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33757 0 0 0 64312 606 0 0 25 0 1 0 22151474 115380224 21346 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28169 21346 364 364 0 27805 0
[pid=9131] vsize: 112676
Current children cumulated CPU time (s) 649.18
Current children cumulated vsize (Kb) 112676

[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 33859 0 0 0 65297 611 0 0 25 0 1 0 22151474 115380224 21448 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28169 21448 364 364 0 27805 0
[pid=9131] vsize: 112676
Current children cumulated CPU time (s) 659.08
Current children cumulated vsize (Kb) 112676

[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 34046 0 0 0 66287 615 0 0 25 0 1 0 22151474 115687424 21635 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28244 21635 364 364 0 27880 0
[pid=9131] vsize: 112976
Current children cumulated CPU time (s) 669.02
Current children cumulated vsize (Kb) 112976

[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 34508 0 0 0 67274 621 0 0 25 0 1 0 22151474 115687424 21797 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28244 21797 364 364 0 27880 0
[pid=9131] vsize: 112976
Current children cumulated CPU time (s) 678.95
Current children cumulated vsize (Kb) 112976

[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 34768 0 0 0 68264 626 0 0 25 0 1 0 22151474 115830784 22057 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28279 22057 364 364 0 27915 0
[pid=9131] vsize: 113116
Current children cumulated CPU time (s) 688.9
Current children cumulated vsize (Kb) 113116

[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35232 0 0 0 69249 631 0 0 25 0 1 0 22151474 115965952 22221 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28312 22221 364 364 0 27948 0
[pid=9131] vsize: 113248
Current children cumulated CPU time (s) 698.8
Current children cumulated vsize (Kb) 113248

[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35345 0 0 0 70218 642 0 0 25 0 1 0 22151474 116105216 22334 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28346 22334 364 364 0 27982 0
[pid=9131] vsize: 113384
Current children cumulated CPU time (s) 708.6
Current children cumulated vsize (Kb) 113384

[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35474 0 0 0 71188 652 0 0 25 0 1 0 22151474 116432896 22463 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28426 22463 364 364 0 28062 0
[pid=9131] vsize: 113704
Current children cumulated CPU time (s) 718.4
Current children cumulated vsize (Kb) 113704

[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35589 0 0 0 72150 665 0 0 25 0 1 0 22151474 116596736 22578 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28466 22578 364 364 0 28102 0
[pid=9131] vsize: 113864
Current children cumulated CPU time (s) 728.15
Current children cumulated vsize (Kb) 113864

[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35691 0 0 0 73128 672 0 0 25 0 1 0 22151474 116760576 22680 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28506 22680 364 364 0 28142 0
[pid=9131] vsize: 114024
Current children cumulated CPU time (s) 738
Current children cumulated vsize (Kb) 114024

[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35779 0 0 0 74111 678 0 0 25 0 1 0 22151474 116760576 22768 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28506 22768 364 364 0 28142 0
[pid=9131] vsize: 114024
Current children cumulated CPU time (s) 747.89
Current children cumulated vsize (Kb) 114024

[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35842 0 0 0 75088 685 0 0 25 0 1 0 22151474 116760576 22831 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28506 22831 364 364 0 28142 0
[pid=9131] vsize: 114024
Current children cumulated CPU time (s) 757.73
Current children cumulated vsize (Kb) 114024

[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35863 0 0 0 76060 694 0 0 25 0 1 0 22151474 116908032 22852 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28542 22852 364 364 0 28178 0
[pid=9131] vsize: 114168
Current children cumulated CPU time (s) 767.54
Current children cumulated vsize (Kb) 114168

[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35910 0 0 0 77038 702 0 0 25 0 1 0 22151474 117190656 22899 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28611 22899 364 364 0 28247 0
[pid=9131] vsize: 114444
Current children cumulated CPU time (s) 777.4
Current children cumulated vsize (Kb) 114444

[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35931 0 0 0 78003 713 0 0 25 0 1 0 22151474 117354496 22920 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28651 22920 364 364 0 28287 0
[pid=9131] vsize: 114604
Current children cumulated CPU time (s) 787.16
Current children cumulated vsize (Kb) 114604

[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35946 0 0 0 78973 724 0 0 25 0 1 0 22151474 117354496 22935 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28651 22935 364 364 0 28287 0
[pid=9131] vsize: 114604
Current children cumulated CPU time (s) 796.97
Current children cumulated vsize (Kb) 114604

[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 35987 0 0 0 79948 732 0 0 25 0 1 0 22151474 117518336 22976 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28691 22976 364 364 0 28327 0
[pid=9131] vsize: 114764
Current children cumulated CPU time (s) 806.8
Current children cumulated vsize (Kb) 114764

[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36012 0 0 0 80928 738 0 0 25 0 1 0 22151474 117682176 23001 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28731 23001 364 364 0 28367 0
[pid=9131] vsize: 114924
Current children cumulated CPU time (s) 816.66
Current children cumulated vsize (Kb) 114924

[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36026 0 0 0 81907 744 0 0 25 0 1 0 22151474 117682176 23015 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28731 23015 364 364 0 28367 0
[pid=9131] vsize: 114924
Current children cumulated CPU time (s) 826.51
Current children cumulated vsize (Kb) 114924

[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36039 0 0 0 82890 750 0 0 25 0 1 0 22151474 117846016 23028 4294967295 134512640 135987407 3221224560 3221223424 134812887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28771 23028 364 364 0 28407 0
[pid=9131] vsize: 115084
Current children cumulated CPU time (s) 836.4
Current children cumulated vsize (Kb) 115084

[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36103 0 0 0 83869 757 0 0 25 0 1 0 22151474 118030336 23092 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28816 23092 364 364 0 28452 0
[pid=9131] vsize: 115264
Current children cumulated CPU time (s) 846.26
Current children cumulated vsize (Kb) 115264

[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36106 0 0 0 84855 763 0 0 25 0 1 0 22151474 118030336 23095 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28816 23095 364 364 0 28452 0
[pid=9131] vsize: 115264
Current children cumulated CPU time (s) 856.18
Current children cumulated vsize (Kb) 115264

[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36123 0 0 0 85833 770 0 0 25 0 1 0 22151474 118226944 23112 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28864 23112 364 364 0 28500 0
[pid=9131] vsize: 115456
Current children cumulated CPU time (s) 866.03
Current children cumulated vsize (Kb) 115456

[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36141 0 0 0 86817 775 0 0 25 0 1 0 22151474 118226944 23130 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28864 23130 364 364 0 28500 0
[pid=9131] vsize: 115456
Current children cumulated CPU time (s) 875.92
Current children cumulated vsize (Kb) 115456

[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36446 0 0 0 87803 780 0 0 25 0 1 0 22151474 118226944 23135 4294967295 134512640 135987407 3221224560 3221223312 134801189 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28864 23135 364 364 0 28500 0
[pid=9131] vsize: 115456
Current children cumulated CPU time (s) 885.83
Current children cumulated vsize (Kb) 115456

[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36456 0 0 0 88779 788 0 0 25 0 1 0 22151474 118226944 23145 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28864 23145 364 364 0 28500 0
[pid=9131] vsize: 115456
Current children cumulated CPU time (s) 895.67
Current children cumulated vsize (Kb) 115456

[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36770 0 0 0 89763 794 0 0 25 0 1 0 22151474 118366208 23159 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28898 23159 364 364 0 28534 0
[pid=9131] vsize: 115592
Current children cumulated CPU time (s) 905.57
Current children cumulated vsize (Kb) 115592

[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 36791 0 0 0 90745 800 0 0 25 0 1 0 22151474 118366208 23180 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28898 23180 364 364 0 28534 0
[pid=9131] vsize: 115592
Current children cumulated CPU time (s) 915.45
Current children cumulated vsize (Kb) 115592

[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37108 0 0 0 91731 805 0 0 25 0 1 0 22151474 118501376 23197 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 28931 23197 364 364 0 28567 0
[pid=9131] vsize: 115724
Current children cumulated CPU time (s) 925.36
Current children cumulated vsize (Kb) 115724

[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37130 0 0 0 92717 810 0 0 25 0 1 0 22151474 118501376 23219 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 28931 23219 364 364 0 28567 0
[pid=9131] vsize: 115724
Current children cumulated CPU time (s) 935.27
Current children cumulated vsize (Kb) 115724

[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37195 0 0 0 93681 823 0 0 25 0 1 0 22151474 118812672 23284 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29007 23284 364 364 0 28643 0
[pid=9131] vsize: 116028
Current children cumulated CPU time (s) 945.04
Current children cumulated vsize (Kb) 116028

[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 37214 0 0 0 94643 835 0 0 25 0 1 0 22151474 118947840 23303 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29040 23303 364 364 0 28676 0
[pid=9131] vsize: 116160
Current children cumulated CPU time (s) 954.78
Current children cumulated vsize (Kb) 116160

[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37220 0 0 0 95624 841 0 0 25 0 1 0 22151474 118947840 23309 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29040 23309 364 364 0 28676 0
[pid=9131] vsize: 116160
Current children cumulated CPU time (s) 964.65
Current children cumulated vsize (Kb) 116160

[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37262 0 0 0 96603 848 0 0 25 0 1 0 22151474 119136256 23351 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29086 23351 364 364 0 28722 0
[pid=9131] vsize: 116344
Current children cumulated CPU time (s) 974.51
Current children cumulated vsize (Kb) 116344

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37287 0 0 0 97569 860 0 0 25 0 1 0 22151474 119283712 23376 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29122 23376 364 364 0 28758 0
[pid=9131] vsize: 116488
Current children cumulated CPU time (s) 984.29
Current children cumulated vsize (Kb) 116488

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37300 0 0 0 98545 867 0 0 25 0 1 0 22151474 119283712 23389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29122 23389 364 364 0 28758 0
[pid=9131] vsize: 116488
Current children cumulated CPU time (s) 994.12
Current children cumulated vsize (Kb) 116488

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37314 0 0 0 99500 881 0 0 25 0 1 0 22151474 119283712 23403 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29122 23403 364 364 0 28758 0
[pid=9131] vsize: 116488
Current children cumulated CPU time (s) 1003.81
Current children cumulated vsize (Kb) 116488

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37675 0 0 0 100475 890 0 0 25 0 1 0 22151474 119566336 23464 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29191 23464 364 364 0 28827 0
[pid=9131] vsize: 116764
Current children cumulated CPU time (s) 1013.65
Current children cumulated vsize (Kb) 116764

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37702 0 0 0 101458 896 0 0 25 0 1 0 22151474 119701504 23491 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29224 23491 364 364 0 28860 0
[pid=9131] vsize: 116896
Current children cumulated CPU time (s) 1023.54
Current children cumulated vsize (Kb) 116896

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 37713 0 0 0 102432 904 0 0 25 0 1 0 22151474 119701504 23502 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29224 23502 364 364 0 28860 0
[pid=9131] vsize: 116896
Current children cumulated CPU time (s) 1033.36
Current children cumulated vsize (Kb) 116896

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38018 0 0 0 103419 909 0 0 25 0 1 0 22151474 119701504 23507 4294967295 134512640 135987407 3221224560 3221223248 134812148 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29224 23507 364 364 0 28860 0
[pid=9131] vsize: 116896
Current children cumulated CPU time (s) 1043.28
Current children cumulated vsize (Kb) 116896

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38036 0 0 0 104403 915 0 0 25 0 1 0 22151474 119840768 23525 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29258 23525 364 364 0 28894 0
[pid=9131] vsize: 117032
Current children cumulated CPU time (s) 1053.18
Current children cumulated vsize (Kb) 117032

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 38042 0 0 0 105380 922 0 0 25 0 1 0 22151474 119840768 23531 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29258 23531 364 364 0 28894 0
[pid=9131] vsize: 117032
Current children cumulated CPU time (s) 1063.02
Current children cumulated vsize (Kb) 117032

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38076 0 0 0 106338 934 0 0 25 0 1 0 22151474 119988224 23565 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23565 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1072.72
Current children cumulated vsize (Kb) 117176

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38092 0 0 0 107296 946 0 0 25 0 1 0 22151474 119988224 23581 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23581 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1082.42
Current children cumulated vsize (Kb) 117176

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38095 0 0 0 108285 950 0 0 25 0 1 0 22151474 119988224 23584 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23584 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1092.35
Current children cumulated vsize (Kb) 117176

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38104 0 0 0 109272 955 0 0 25 0 1 0 22151474 119988224 23593 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23593 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1102.27
Current children cumulated vsize (Kb) 117176

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38107 0 0 0 110257 960 0 0 25 0 1 0 22151474 119988224 23596 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23596 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1112.17
Current children cumulated vsize (Kb) 117176

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38413 0 0 0 111246 966 0 0 25 0 1 0 22151474 119988224 23602 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29294 23602 364 364 0 28930 0
[pid=9131] vsize: 117176
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (Kb) 117176

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38435 0 0 0 112214 977 0 0 25 0 1 0 22151474 120147968 23624 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29333 23624 364 364 0 28969 0
[pid=9131] vsize: 117332
Current children cumulated CPU time (s) 1131.91
Current children cumulated vsize (Kb) 117332

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 38454 0 0 0 113173 990 0 0 25 0 1 0 22151474 120147968 23643 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29333 23643 364 364 0 28969 0
[pid=9131] vsize: 117332
Current children cumulated CPU time (s) 1141.63
Current children cumulated vsize (Kb) 117332

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38478 0 0 0 114134 1002 0 0 25 0 1 0 22151474 120344576 23667 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29381 23667 364 364 0 29017 0
[pid=9131] vsize: 117524
Current children cumulated CPU time (s) 1151.36
Current children cumulated vsize (Kb) 117524

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 38529 0 0 0 115097 1014 0 0 25 0 1 0 22151474 120479744 23718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29414 23718 364 364 0 29050 0
[pid=9131] vsize: 117656
Current children cumulated CPU time (s) 1161.11
Current children cumulated vsize (Kb) 117656

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38583 0 0 0 116068 1022 0 0 25 0 1 0 22151474 120872960 23772 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29510 23772 364 364 0 29146 0
[pid=9131] vsize: 118040
Current children cumulated CPU time (s) 1170.9
Current children cumulated vsize (Kb) 118040

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38586 0 0 0 117044 1030 0 0 25 0 1 0 22151474 120872960 23775 4294967295 134512640 135987407 3221224560 3221223200 134821182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29510 23775 364 364 0 29146 0
[pid=9131] vsize: 118040
Current children cumulated CPU time (s) 1180.74
Current children cumulated vsize (Kb) 118040

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38589 0 0 0 118040 1031 0 0 25 0 1 0 22151474 120872960 23778 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9131/statm): 29510 23778 364 364 0 29146 0
[pid=9131] vsize: 118040
Current children cumulated CPU time (s) 1190.71
Current children cumulated vsize (Kb) 118040

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) R 9130 9131 4005 0 -1 0 38892 0 0 0 119026 1037 0 0 25 0 1 0 22151474 120872960 23781 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29510 23781 364 364 0 29146 0
[pid=9131] vsize: 118040
Current children cumulated CPU time (s) 1200.63
Current children cumulated vsize (Kb) 118040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9133
Raw data (/proc/9131/stat): 9131 (pb2sat) T 9130 9131 4005 0 -1 0 38892 0 0 0 119026 1037 0 0 25 0 1 0 22151474 120872960 23781 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9131/statm): 29510 23781 364 364 0 29146 0
[pid=9131] vsize: 118040
Current children cumulated CPU time (s) 1200.63
Current children cumulated vsize (Kb) 118040

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

Child status: 0
Real time (s): 1220.31
CPU time (s): 1200.9
CPU user time (s): 1190.49
CPU system time (s): 10.4184
CPU usage (%): 98.4096
Max. virtual memory (cumulated for all children) (Kb): 118040

Verifier Data

ERROR: no interpretation found !