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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
MD5SUMd3bbe7ee2ebffaf54618c2406e4fe00a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2677095900004446
Optimality of the best value was proved NO
Number of terms in the objective function 7208
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 75579306006666674176
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 75579306006666674176
Number of bits of the biggest sum of numbers67
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1223.71
Number of variables12008
Total number of constraints792
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)136
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint100

Trace number 10627

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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:        979540 kB
Buffers:          3044 kB
Cached:          34628 kB
SwapCached:          0 kB
Active:          17680 kB
Inactive:        22908 kB
HighTotal:      131008 kB
HighFree:        92092 kB
LowTotal:       903652 kB
LowFree:        887448 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8852 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:19:47 (client local time) WITH STATUS 0 IN 1203.18 SECONDS
stats: 9309 7 1203.18 0

Solver Data

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

c Decision: 12116/447761	Time: 19.1541/86400
c Decision: 12217/447761	Time: 33.9038/86400
c Decision: 12239/447761	Time: 43.6724/86400
c Decision: 12249/447761	Time: 51.4892/86400
c Decision: 12249/447761	Time: 57.7252/86400
c Decision: 12269/447761	Time: 69.9184/86400
c Decision: 12296/447761	Time: 82.0565/86400
c Decision: 12350/447761	Time: 96.7953/86400
c Decision: 12353/447761	Time: 105.096/86400
c Decision: 12365/447761	Time: 125.41/86400
c Decision: 12409/447761	Time: 139.316/86400
c Decision: 12409/447761	Time: 151.31/86400
c Decision: 12413/447761	Time: 161.118/86400
c Decision: 12413/447761	Time: 169.284/86400
c Decision: 12452/447761	Time: 194.842/86400
c Decision: 12452/447761	Time: 204.242/86400
c Decision: 12460/447761	Time: 223.933/86400
c Decision: 12463/447761	Time: 233.861/86400
c Decision: 12463/447761	Time: 241.848/86400
c Decision: 12463/447761	Time: 249.172/86400
c Decision: 12467/447761	Time: 261.169/86400
c Decision: 12467/447761	Time: 268.211/86400
c Decision: 12467/447761	Time: 273.797/86400
c Decision: 12467/447761	Time: 281.252/86400
c Decision: 12469/447761	Time: 291.648/86400
c Decision: 12470/447761	Time: 302.573/86400
c Decision: 12474/447761	Time: 310.505/86400
c Decision: 12477/447761	Time: 320.401/86400
c Decision: 12477/447761	Time: 328/86400
c Decision: 12477/447761	Time: 334.654/86400
c Decision: 12479/447761	Time: 345.895/86400
c Decision: 12479/447761	Time: 352.844/86400
c Decision: 12479/447761	Time: 360.45/86400
c Decision: 12480/447761	Time: 373.476/86400
c Decision: 12481/447761	Time: 383.893/86400
c Decision: 12481/447761	Time: 393.147/86400
c Decision: 12481/447761	Time: 401.354/86400
c Decision: 12481/447761	Time: 410.279/86400
c Decision: 12485/447761	Time: 421.794/86400
c Decision: 12485/447761	Time: 429.678/86400
c Decision: 12485/447761	Time: 439.685/86400
c Decision: 12487/447761	Time: 449.818/86400
c Decision: 12487/447761	Time: 458.567/86400
c Decision: 12487/447761	Time: 466.345/86400
c Decision: 12487/447761	Time: 473.553/86400
c Decision: 12487/447761	Time: 483.755/86400
c Decision: 12514/447761	Time: 498.498/86400
c Decision: 12514/447761	Time: 506.604/86400
c Decision: 12529/447761	Time: 521.841/86400
c Decision: 12529/447761	Time: 531.832/86400
c Decision: 12529/447761	Time: 541.821/86400
c Decision: 12651/447761	Time: 569.064/86400
c Decision: 12651/447761	Time: 578.492/86400
c Decision: 12660/447761	Time: 594.72/86400
c Decision: 12660/447761	Time: 604.311/86400
c Decision: 12660/447761	Time: 615.352/86400
c Decision: 12666/447761	Time: 629.916/86400
c Decision: 12667/447761	Time: 641.66/86400
c Decision: 12667/447761	Time: 650.392/86400
c Decision: 12667/447761	Time: 659.539/86400
c Decision: 12678/447761	Time: 675.136/86400
c Decision: 12684/447761	Time: 690.707/86400
c Decision: 12710/447761	Time: 715.624/86400
c Decision: 12710/447761	Time: 724.663/86400
c Decision: 12710/447761	Time: 734.469/86400
c Decision: 12710/447761	Time: 745.833/86400
c Decision: 12710/447761	Time: 755.184/86400
c Decision: 12710/447761	Time: 764.244/86400
c Decision: 12710/447761	Time: 773.576/86400
c Decision: 12739/447761	Time: 793.728/86400
c Decision: 12739/447761	Time: 804.473/86400
c Decision: 12739/447761	Time: 814.446/86400
c Decision: 12739/447761	Time: 824.149/86400
c Decision: 12739/447761	Time: 833.844/86400
c Decision: 12739/447761	Time: 842.968/86400
c Decision: 12792/447761	Time: 878.173/86400
c Decision: 12792/447761	Time: 888.226/86400
c Decision: 12794/447761	Time: 902.237/86400
c Decision: 12832/447761	Time: 942.496/86400
c Decision: 12832/447761	Time: 952.46/86400
c Decision: 12832/447761	Time: 963.787/86400
c Decision: 12836/447761	Time: 986.054/86400
c Decision: 12836/447761	Time: 995.133/86400
c Decision: 12838/447761	Time: 1006.04/86400
c Decision: 12842/447761	Time: 1021.42/86400
c Decision: 12869/447761	Time: 1045.96/86400
c Decision: 12869/447761	Time: 1054.79/86400
c Decision: 12882/447761	Time: 1083.75/86400
c Decision: 12882/447761	Time: 1094.39/86400
c Decision: 12882/447761	Time: 1104.84/86400
c Decision: 12882/447761	Time: 1117.66/86400
c Decision: 12885/447761	Time: 1137.47/86400
c Decision: 12885/447761	Time: 1147.42/86400
c Decision: 12923/447761	Time: 1178.33/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/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22532411 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 373 2 364 364 0 9 0
[pid=10580] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-neos14.opb

[startup+10.0014 s]
Raw data (loadavg): 0.87 0.94 0.91 2/55 10580
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 26958 0 0 0 930 67 0 0 25 0 1 0 22532411 80609280 15808 4294967295 134512640 135987407 3221224560 3221205200 134640684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 19680 15808 364 364 0 19316 0
[pid=10580] vsize: 78720
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78720

[startup+20.0031 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 10580
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 55029 0 0 0 1859 134 0 0 25 0 1 0 22532411 164745216 31776 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 40221 31776 364 364 0 39857 0
[pid=10580] vsize: 160884
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 160884

[startup+30.0037 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 10580
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 56374 0 0 0 2767 168 0 0 25 0 1 0 22532411 170188800 33121 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 41550 33121 364 364 0 41186 0
[pid=10580] vsize: 166200
Current children cumulated CPU time (s) 29.35
Current children cumulated vsize (Kb) 166200

[startup+40.0034 s]
Raw data (loadavg): 0.92 0.94 0.91 1/55 10580
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 57504 0 0 0 3738 180 0 0 25 0 1 0 22532411 171397120 33376 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 41845 33376 364 364 0 41481 0
[pid=10580] vsize: 167380
Current children cumulated CPU time (s) 39.18
Current children cumulated vsize (Kb) 167380

[startup+50.0041 s]
Raw data (loadavg): 0.93 0.94 0.91 1/55 10580
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 57851 0 0 0 4657 209 0 0 23 0 1 0 22532411 172802048 33723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42188 33723 364 364 0 41824 0
[pid=10580] vsize: 168752
Current children cumulated CPU time (s) 48.66
Current children cumulated vsize (Kb) 168752

[startup+60.0048 s]
Raw data (loadavg): 0.94 0.95 0.91 3/58 10619
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 58901 0 0 0 5592 234 0 0 19 0 1 0 22532411 173563904 33898 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 42374 33898 364 364 0 42010 0
[pid=10580] vsize: 169496
Current children cumulated CPU time (s) 58.26
Current children cumulated vsize (Kb) 169496

[startup+70.0054 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 10635
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 59974 0 0 0 6542 251 0 0 25 0 1 0 22532411 174350336 34096 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42566 34096 364 364 0 42202 0
[pid=10580] vsize: 170264
Current children cumulated CPU time (s) 67.93
Current children cumulated vsize (Kb) 170264

[startup+80.0061 s]
Raw data (loadavg): 0.96 0.95 0.91 1/55 10635
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 61790 0 0 0 7513 263 0 0 25 0 1 0 22532411 174497792 34162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42602 34162 364 364 0 42238 0
[pid=10580] vsize: 170408
Current children cumulated CPU time (s) 77.76
Current children cumulated vsize (Kb) 170408

[startup+90.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10635
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 62706 0 0 0 8478 277 0 0 25 0 1 0 22532411 174645248 34203 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42638 34203 364 364 0 42274 0
[pid=10580] vsize: 170552
Current children cumulated CPU time (s) 87.55
Current children cumulated vsize (Kb) 170552

[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10635
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 62750 0 0 0 9418 297 0 0 25 0 1 0 22532411 174788608 34247 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42673 34247 364 364 0 42309 0
[pid=10580] vsize: 170692
Current children cumulated CPU time (s) 97.15
Current children cumulated vsize (Kb) 170692

[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10635
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 63692 0 0 0 10363 317 0 0 24 0 1 0 22532411 175095808 34314 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 42748 34314 364 364 0 42384 0
[pid=10580] vsize: 170992
Current children cumulated CPU time (s) 106.8
Current children cumulated vsize (Kb) 170992

[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10637
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 64619 0 0 0 11314 336 0 0 25 0 1 0 22532411 175259648 34366 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42788 34366 364 364 0 42424 0
[pid=10580] vsize: 171152
Current children cumulated CPU time (s) 116.5
Current children cumulated vsize (Kb) 171152

[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 65520 0 0 0 12255 357 0 0 25 0 1 0 22532411 175259648 34392 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 42788 34392 364 364 0 42424 0
[pid=10580] vsize: 171152
Current children cumulated CPU time (s) 126.12
Current children cumulated vsize (Kb) 171152

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 65593 0 0 0 13177 384 0 0 25 0 1 0 22532411 175558656 34465 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42861 34465 364 364 0 42497 0
[pid=10580] vsize: 171444
Current children cumulated CPU time (s) 135.61
Current children cumulated vsize (Kb) 171444

[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 66523 0 0 0 14133 402 0 0 25 0 1 0 22532411 175722496 34520 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42901 34520 364 364 0 42537 0
[pid=10580] vsize: 171604
Current children cumulated CPU time (s) 145.35
Current children cumulated vsize (Kb) 171604

[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 66572 0 0 0 15084 419 0 0 25 0 1 0 22532411 175886336 34569 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42941 34569 364 364 0 42577 0
[pid=10580] vsize: 171764
Current children cumulated CPU time (s) 155.03
Current children cumulated vsize (Kb) 171764

[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 67449 0 0 0 16031 439 0 0 25 0 1 0 22532411 175886336 34571 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 42941 34571 364 364 0 42577 0
[pid=10580] vsize: 171764
Current children cumulated CPU time (s) 164.7
Current children cumulated vsize (Kb) 171764

[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 68403 0 0 0 16985 456 0 0 25 0 1 0 22532411 176214016 34650 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43021 34650 364 364 0 42657 0
[pid=10580] vsize: 172084
Current children cumulated CPU time (s) 174.41
Current children cumulated vsize (Kb) 172084

[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 69319 0 0 0 17931 475 0 0 25 0 1 0 22532411 176377856 34691 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43061 34691 364 364 0 42697 0
[pid=10580] vsize: 172244
Current children cumulated CPU time (s) 184.06
Current children cumulated vsize (Kb) 172244

[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 70247 0 0 0 18879 494 0 0 19 0 1 0 22532411 176541696 34744 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43101 34744 364 364 0 42737 0
[pid=10580] vsize: 172404
Current children cumulated CPU time (s) 193.73
Current children cumulated vsize (Kb) 172404

[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 70298 0 0 0 19820 513 0 0 25 0 1 0 22532411 176738304 34795 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43149 34795 364 364 0 42785 0
[pid=10580] vsize: 172596
Current children cumulated CPU time (s) 203.33
Current children cumulated vsize (Kb) 172596

[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 71240 0 0 0 20764 533 0 0 25 0 1 0 22532411 180486144 35737 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44064 35737 364 364 0 43700 0
[pid=10580] vsize: 176256
Current children cumulated CPU time (s) 212.97
Current children cumulated vsize (Kb) 176256

[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 72169 0 0 0 21733 546 0 0 25 0 1 0 22532411 177065984 34916 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43229 34916 364 364 0 42865 0
[pid=10580] vsize: 172916
Current children cumulated CPU time (s) 222.79
Current children cumulated vsize (Kb) 172916

[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 72228 0 0 0 22676 565 0 0 25 0 1 0 22532411 177397760 34975 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43310 34975 364 364 0 42946 0
[pid=10580] vsize: 173240
Current children cumulated CPU time (s) 232.41
Current children cumulated vsize (Kb) 173240

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 73121 0 0 0 23629 582 0 0 25 0 1 0 22532411 180981760 35868 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44185 35868 364 364 0 43821 0
[pid=10580] vsize: 176740
Current children cumulated CPU time (s) 242.11
Current children cumulated vsize (Kb) 176740

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 74018 0 0 0 24574 602 0 0 25 0 1 0 22532411 180981760 35890 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44185 35890 364 364 0 43821 0
[pid=10580] vsize: 176740
Current children cumulated CPU time (s) 251.76
Current children cumulated vsize (Kb) 176740

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 74942 0 0 0 25528 621 0 0 25 0 1 0 22532411 177561600 35064 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43350 35064 364 364 0 42986 0
[pid=10580] vsize: 173400
Current children cumulated CPU time (s) 261.49
Current children cumulated vsize (Kb) 173400

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 75860 0 0 0 26478 639 0 0 25 0 1 0 22532411 177725440 35107 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43390 35107 364 364 0 43026 0
[pid=10580] vsize: 173560
Current children cumulated CPU time (s) 271.17
Current children cumulated vsize (Kb) 173560

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 76765 0 0 0 27432 656 0 0 24 0 1 0 22532411 177725440 35137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43390 35137 364 364 0 43026 0
[pid=10580] vsize: 173560
Current children cumulated CPU time (s) 280.88
Current children cumulated vsize (Kb) 173560

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 77662 0 0 0 28388 671 0 0 25 0 1 0 22532411 177725440 35159 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43390 35159 364 364 0 43026 0
[pid=10580] vsize: 173560
Current children cumulated CPU time (s) 290.59
Current children cumulated vsize (Kb) 173560

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 79446 0 0 0 29342 688 0 0 25 0 1 0 22532411 177856512 35193 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43422 35193 364 364 0 43058 0
[pid=10580] vsize: 173688
Current children cumulated CPU time (s) 300.3
Current children cumulated vsize (Kb) 173688

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 80352 0 0 0 30294 706 0 0 25 0 1 0 22532411 177856512 35224 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43422 35224 364 364 0 43058 0
[pid=10580] vsize: 173688
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 173688

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 81259 0 0 0 31245 727 0 0 25 0 1 0 22532411 177987584 35256 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43454 35256 364 364 0 43090 0
[pid=10580] vsize: 173816
Current children cumulated CPU time (s) 319.72
Current children cumulated vsize (Kb) 173816

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 82149 0 0 0 32206 744 0 0 25 0 1 0 22532411 177987584 35271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43454 35271 364 364 0 43090 0
[pid=10580] vsize: 173816
Current children cumulated CPU time (s) 329.5
Current children cumulated vsize (Kb) 173816

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 83043 0 0 0 33154 763 0 0 25 0 1 0 22532411 177987584 35290 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43454 35290 364 364 0 43090 0
[pid=10580] vsize: 173816
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (Kb) 173816

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10641
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 83973 0 0 0 34111 779 0 0 25 0 1 0 22532411 178266112 35345 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43522 35345 364 364 0 43158 0
[pid=10580] vsize: 174088
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 174088

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 84902 0 0 0 35090 789 0 0 25 0 1 0 22532411 178266112 35399 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43522 35399 364 364 0 43158 0
[pid=10580] vsize: 174088
Current children cumulated CPU time (s) 358.79
Current children cumulated vsize (Kb) 174088

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 85833 0 0 0 36064 798 0 0 25 0 1 0 22532411 178429952 35455 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43562 35455 364 364 0 43198 0
[pid=10580] vsize: 174248
Current children cumulated CPU time (s) 368.62
Current children cumulated vsize (Kb) 174248

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 87605 0 0 0 37040 810 0 0 25 0 1 0 22532411 182013952 36352 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44437 36352 364 364 0 44073 0
[pid=10580] vsize: 177748
Current children cumulated CPU time (s) 378.5
Current children cumulated vsize (Kb) 177748

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 87655 0 0 0 38006 822 0 0 25 0 1 0 22532411 178561024 35527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43594 35527 364 364 0 43230 0
[pid=10580] vsize: 174376
Current children cumulated CPU time (s) 388.28
Current children cumulated vsize (Kb) 174376

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 88568 0 0 0 38962 839 0 0 25 0 1 0 22532411 178561024 35565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43594 35565 364 364 0 43230 0
[pid=10580] vsize: 174376
Current children cumulated CPU time (s) 398.01
Current children cumulated vsize (Kb) 174376

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 89481 0 0 0 39913 858 0 0 20 0 1 0 22532411 178708480 35603 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43630 35603 364 364 0 43266 0
[pid=10580] vsize: 174520
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (Kb) 174520

[startup+430.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 90378 0 0 0 40878 870 0 0 25 0 1 0 22532411 178708480 35625 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43630 35625 364 364 0 43266 0
[pid=10580] vsize: 174520
Current children cumulated CPU time (s) 417.48
Current children cumulated vsize (Kb) 174520

[startup+440.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 91290 0 0 0 41838 885 0 0 25 0 1 0 22532411 178843648 35662 4294967295 134512640 135987407 3221224560 3221223280 134814269 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43663 35662 364 364 0 43299 0
[pid=10580] vsize: 174652
Current children cumulated CPU time (s) 427.23
Current children cumulated vsize (Kb) 174652

[startup+450.019 s]
Raw data (loadavg): 1.05 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 92259 0 0 0 42801 899 0 0 25 0 1 0 22532411 179195904 35756 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43749 35756 364 364 0 43385 0
[pid=10580] vsize: 174996
Current children cumulated CPU time (s) 437
Current children cumulated vsize (Kb) 174996

[startup+460.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 93155 0 0 0 43759 915 0 0 25 0 1 0 22532411 179195904 35777 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43749 35777 364 364 0 43385 0
[pid=10580] vsize: 174996
Current children cumulated CPU time (s) 446.74
Current children cumulated vsize (Kb) 174996

[startup+470.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 94918 0 0 0 44719 932 0 0 25 0 1 0 22532411 182779904 36665 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44624 36665 364 364 0 44260 0
[pid=10580] vsize: 178496
Current children cumulated CPU time (s) 456.51
Current children cumulated vsize (Kb) 178496

[startup+480.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 94977 0 0 0 45683 946 0 0 25 0 1 0 22532411 179331072 35849 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43782 35849 364 364 0 43418 0
[pid=10580] vsize: 175128
Current children cumulated CPU time (s) 466.29
Current children cumulated vsize (Kb) 175128

[startup+490.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 96745 0 0 0 46633 964 0 0 25 0 1 0 22532411 182915072 36742 4294967295 134512640 135987407 3221224560 3221222964 134827724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44657 36742 364 364 0 44293 0
[pid=10580] vsize: 178628
Current children cumulated CPU time (s) 475.97
Current children cumulated vsize (Kb) 178628

[startup+500.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 97654 0 0 0 47595 978 0 0 25 0 1 0 22532411 179462144 35901 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43814 35901 364 364 0 43450 0
[pid=10580] vsize: 175256
Current children cumulated CPU time (s) 485.73
Current children cumulated vsize (Kb) 175256

[startup+510.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 98576 0 0 0 48558 989 0 0 25 0 1 0 22532411 179613696 35948 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43851 35948 364 364 0 43487 0
[pid=10580] vsize: 175404
Current children cumulated CPU time (s) 495.47
Current children cumulated vsize (Kb) 175404

[startup+520.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 99474 0 0 0 49518 1003 0 0 20 0 1 0 22532411 179613696 35971 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43851 35971 364 364 0 43487 0
[pid=10580] vsize: 175404
Current children cumulated CPU time (s) 505.21
Current children cumulated vsize (Kb) 175404

[startup+530.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 99515 0 0 0 50463 1022 0 0 25 0 1 0 22532411 179769344 36012 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 43889 36012 364 364 0 43525 0
[pid=10580] vsize: 175556
Current children cumulated CPU time (s) 514.85
Current children cumulated vsize (Kb) 175556

[startup+540.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 101284 0 0 0 51426 1037 0 0 25 0 1 0 22532411 183508992 36906 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44802 36906 364 364 0 44438 0
[pid=10580] vsize: 179208
Current children cumulated CPU time (s) 524.63
Current children cumulated vsize (Kb) 179208

[startup+550.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 101355 0 0 0 52368 1057 0 0 25 0 1 0 22532411 180207616 36102 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 43996 36102 364 364 0 43632 0
[pid=10580] vsize: 175984
Current children cumulated CPU time (s) 534.25
Current children cumulated vsize (Kb) 175984

[startup+560.023 s]
Raw data (loadavg): 1.01 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 102300 0 0 0 53327 1071 0 0 25 0 1 0 22532411 180404224 36172 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44044 36172 364 364 0 43680 0
[pid=10580] vsize: 176176
Current children cumulated CPU time (s) 543.98
Current children cumulated vsize (Kb) 176176

[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 103202 0 0 0 54268 1093 0 0 25 0 1 0 22532411 180404224 36199 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44044 36199 364 364 0 43680 0
[pid=10580] vsize: 176176
Current children cumulated CPU time (s) 553.61
Current children cumulated vsize (Kb) 176176

[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104100 0 0 0 55233 1106 0 0 25 0 1 0 22532411 180600832 36222 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44092 36222 364 364 0 43728 0
[pid=10580] vsize: 176368
Current children cumulated CPU time (s) 563.39
Current children cumulated vsize (Kb) 176368

[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104122 0 0 0 56179 1124 0 0 25 0 1 0 22532411 180600832 36244 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44092 36244 364 364 0 43728 0
[pid=10580] vsize: 176368
Current children cumulated CPU time (s) 573.03
Current children cumulated vsize (Kb) 176368

[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 104181 0 0 0 57138 1139 0 0 25 0 1 0 22532411 180756480 36303 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44130 36303 364 364 0 43766 0
[pid=10580] vsize: 176520
Current children cumulated CPU time (s) 582.77
Current children cumulated vsize (Kb) 176520

[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 105088 0 0 0 58090 1155 0 0 17 0 1 0 22532411 180756480 36335 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44130 36335 364 364 0 43766 0
[pid=10580] vsize: 176520
Current children cumulated CPU time (s) 592.45
Current children cumulated vsize (Kb) 176520

[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 105997 0 0 0 59040 1175 0 0 25 0 1 0 22532411 180891648 36369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44163 36369 364 364 0 43799 0
[pid=10580] vsize: 176652
Current children cumulated CPU time (s) 602.15
Current children cumulated vsize (Kb) 176652

[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 106025 0 0 0 59983 1193 0 0 25 0 1 0 22532411 180891648 36397 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44163 36397 364 364 0 43799 0
[pid=10580] vsize: 176652
Current children cumulated CPU time (s) 611.76
Current children cumulated vsize (Kb) 176652

[startup+640.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 106935 0 0 0 60937 1208 0 0 25 0 1 0 22532411 180891648 36432 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44163 36432 364 364 0 43799 0
[pid=10580] vsize: 176652
Current children cumulated CPU time (s) 621.45
Current children cumulated vsize (Kb) 176652

[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 107834 0 0 0 61889 1225 0 0 25 0 1 0 22532411 181022720 36456 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44195 36456 364 364 0 43831 0
[pid=10580] vsize: 176780
Current children cumulated CPU time (s) 631.14
Current children cumulated vsize (Kb) 176780

[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 108725 0 0 0 62845 1240 0 0 25 0 1 0 22532411 181022720 36472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44195 36472 364 364 0 43831 0
[pid=10580] vsize: 176780
Current children cumulated CPU time (s) 640.85
Current children cumulated vsize (Kb) 176780

[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 109624 0 0 0 63800 1259 0 0 25 0 1 0 22532411 181174272 36496 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44232 36496 364 364 0 43868 0
[pid=10580] vsize: 176928
Current children cumulated CPU time (s) 650.59
Current children cumulated vsize (Kb) 176928

[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 110522 0 0 0 64748 1276 0 0 25 0 1 0 22532411 181174272 36519 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44232 36519 364 364 0 43868 0
[pid=10580] vsize: 176928
Current children cumulated CPU time (s) 660.24
Current children cumulated vsize (Kb) 176928

[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 111435 0 0 0 65701 1293 0 0 25 0 1 0 22532411 181174272 36557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44232 36557 364 364 0 43868 0
[pid=10580] vsize: 176928
Current children cumulated CPU time (s) 669.94
Current children cumulated vsize (Kb) 176928

[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 112345 0 0 0 66659 1309 0 0 25 0 1 0 22532411 181358592 36592 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44277 36592 364 364 0 43913 0
[pid=10580] vsize: 177108
Current children cumulated CPU time (s) 679.68
Current children cumulated vsize (Kb) 177108

[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 112375 0 0 0 67588 1333 0 0 25 0 1 0 22532411 181358592 36622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44277 36622 364 364 0 43913 0
[pid=10580] vsize: 177108
Current children cumulated CPU time (s) 689.21
Current children cumulated vsize (Kb) 177108

[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 113280 0 0 0 68544 1348 0 0 20 0 1 0 22532411 181497856 36652 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44311 36652 364 364 0 43947 0
[pid=10580] vsize: 177244
Current children cumulated CPU time (s) 698.92
Current children cumulated vsize (Kb) 177244

[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114160 0 0 0 69488 1368 0 0 25 0 1 0 22532411 185081856 37532 4294967295 134512640 135987407 3221224560 3221222972 134827718 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 45186 37532 364 364 0 44822 0
[pid=10580] vsize: 180744
Current children cumulated CPU time (s) 708.56
Current children cumulated vsize (Kb) 180744

[startup+740.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114184 0 0 0 70437 1383 0 0 25 0 1 0 22532411 181497856 36681 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44311 36681 364 364 0 43947 0
[pid=10580] vsize: 177244
Current children cumulated CPU time (s) 718.2
Current children cumulated vsize (Kb) 177244

[startup+750.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 114222 0 0 0 71384 1401 0 0 25 0 1 0 22532411 181628928 36719 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44343 36719 364 364 0 43979 0
[pid=10580] vsize: 177372
Current children cumulated CPU time (s) 727.85
Current children cumulated vsize (Kb) 177372

[startup+760.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 115132 0 0 0 72333 1420 0 0 25 0 1 0 22532411 181628928 36754 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44343 36754 364 364 0 43979 0
[pid=10580] vsize: 177372
Current children cumulated CPU time (s) 737.53
Current children cumulated vsize (Kb) 177372

[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 116036 0 0 0 73292 1435 0 0 25 0 1 0 22532411 181764096 36783 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44376 36783 364 364 0 44012 0
[pid=10580] vsize: 177504
Current children cumulated CPU time (s) 747.27
Current children cumulated vsize (Kb) 177504

[startup+780.033 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 116941 0 0 0 74240 1454 0 0 25 0 1 0 22532411 181764096 36813 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44376 36813 364 364 0 44012 0
[pid=10580] vsize: 177504
Current children cumulated CPU time (s) 756.94
Current children cumulated vsize (Kb) 177504

[startup+790.033 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 117835 0 0 0 75199 1470 0 0 23 0 1 0 22532411 181764096 36832 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44376 36832 364 364 0 44012 0
[pid=10580] vsize: 177504
Current children cumulated CPU time (s) 766.69
Current children cumulated vsize (Kb) 177504

[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 118729 0 0 0 76143 1488 0 0 25 0 1 0 22532411 181899264 36851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44409 36851 364 364 0 44045 0
[pid=10580] vsize: 177636
Current children cumulated CPU time (s) 776.31
Current children cumulated vsize (Kb) 177636

[startup+810.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 119616 0 0 0 77094 1505 0 0 25 0 1 0 22532411 181899264 36863 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44409 36863 364 364 0 44045 0
[pid=10580] vsize: 177636
Current children cumulated CPU time (s) 785.99
Current children cumulated vsize (Kb) 177636

[startup+820.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 120514 0 0 0 78045 1522 0 0 25 0 1 0 22532411 181899264 36886 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44409 36886 364 364 0 44045 0
[pid=10580] vsize: 177636
Current children cumulated CPU time (s) 795.67
Current children cumulated vsize (Kb) 177636

[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 120548 0 0 0 78994 1539 0 0 25 0 1 0 22532411 182030336 36920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44441 36920 364 364 0 44077 0
[pid=10580] vsize: 177764
Current children cumulated CPU time (s) 805.33
Current children cumulated vsize (Kb) 177764

[startup+840.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 121455 0 0 0 79956 1553 0 0 25 0 1 0 22532411 182030336 36952 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44441 36952 364 364 0 44077 0
[pid=10580] vsize: 177764
Current children cumulated CPU time (s) 815.09
Current children cumulated vsize (Kb) 177764

[startup+850.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 122356 0 0 0 80915 1568 0 0 25 0 1 0 22532411 182165504 36978 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44474 36978 364 364 0 44110 0
[pid=10580] vsize: 177896
Current children cumulated CPU time (s) 824.83
Current children cumulated vsize (Kb) 177896

[startup+860.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 123240 0 0 0 81863 1585 0 0 25 0 1 0 22532411 182165504 36987 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44474 36987 364 364 0 44110 0
[pid=10580] vsize: 177896
Current children cumulated CPU time (s) 834.48
Current children cumulated vsize (Kb) 177896

[startup+870.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 124135 0 0 0 82825 1599 0 0 25 0 1 0 22532411 182165504 37007 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44474 37007 364 364 0 44110 0
[pid=10580] vsize: 177896
Current children cumulated CPU time (s) 844.24
Current children cumulated vsize (Kb) 177896

[startup+880.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 125037 0 0 0 83775 1617 0 0 25 0 1 0 22532411 182165504 37034 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44474 37034 364 364 0 44110 0
[pid=10580] vsize: 177896
Current children cumulated CPU time (s) 853.92
Current children cumulated vsize (Kb) 177896

[startup+890.036 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 125954 0 0 0 84729 1634 0 0 25 0 1 0 22532411 182329344 37076 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44514 37076 364 364 0 44150 0
[pid=10580] vsize: 178056
Current children cumulated CPU time (s) 863.63
Current children cumulated vsize (Kb) 178056

[startup+900.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 125976 0 0 0 85669 1653 0 0 25 0 1 0 22532411 182329344 37098 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44514 37098 364 364 0 44150 0
[pid=10580] vsize: 178056
Current children cumulated CPU time (s) 873.22
Current children cumulated vsize (Kb) 178056

[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 126009 0 0 0 86619 1670 0 0 25 0 1 0 22532411 182329344 37131 4294967295 134512640 135987407 3221224560 3221223020 135481565 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44514 37131 364 364 0 44150 0
[pid=10580] vsize: 178056
Current children cumulated CPU time (s) 882.89
Current children cumulated vsize (Kb) 178056

[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 126040 0 0 0 87571 1686 0 0 25 0 1 0 22532411 182460416 37162 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44546 37162 364 364 0 44182 0
[pid=10580] vsize: 178184
Current children cumulated CPU time (s) 892.57
Current children cumulated vsize (Kb) 178184

[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 126930 0 0 0 88530 1701 0 0 25 0 1 0 22532411 182460416 37177 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44546 37177 364 364 0 44182 0
[pid=10580] vsize: 178184
Current children cumulated CPU time (s) 902.31
Current children cumulated vsize (Kb) 178184

[startup+940.037 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 127832 0 0 0 89480 1720 0 0 25 0 1 0 22532411 182603776 37204 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44581 37204 364 364 0 44217 0
[pid=10580] vsize: 178324
Current children cumulated CPU time (s) 912
Current children cumulated vsize (Kb) 178324

[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 128734 0 0 0 90431 1736 0 0 17 0 1 0 22532411 182603776 37231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44581 37231 364 364 0 44217 0
[pid=10580] vsize: 178324
Current children cumulated CPU time (s) 921.67
Current children cumulated vsize (Kb) 178324

[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128803 0 0 0 91372 1757 0 0 19 0 1 0 22532411 182792192 37300 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44627 37300 364 364 0 44263 0
[pid=10580] vsize: 178508
Current children cumulated CPU time (s) 931.29
Current children cumulated vsize (Kb) 178508

[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128825 0 0 0 92314 1778 0 0 25 0 1 0 22532411 182792192 37322 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44627 37322 364 364 0 44263 0
[pid=10580] vsize: 178508
Current children cumulated CPU time (s) 940.92
Current children cumulated vsize (Kb) 178508

[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 128849 0 0 0 93259 1797 0 0 25 0 1 0 22532411 182792192 37346 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44627 37346 364 364 0 44263 0
[pid=10580] vsize: 178508
Current children cumulated CPU time (s) 950.56
Current children cumulated vsize (Kb) 178508

[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 129753 0 0 0 94207 1818 0 0 25 0 1 0 22532411 186515456 38250 4294967295 134512640 135987407 3221224560 3221222944 134828884 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45536 38250 364 364 0 45172 0
[pid=10580] vsize: 182144
Current children cumulated CPU time (s) 960.25
Current children cumulated vsize (Kb) 182144

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 130656 0 0 0 95160 1837 0 0 25 0 1 0 22532411 186515456 38278 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45536 38278 364 364 0 45172 0
[pid=10580] vsize: 182144
Current children cumulated CPU time (s) 969.97
Current children cumulated vsize (Kb) 182144

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 130695 0 0 0 96118 1850 0 0 25 0 1 0 22532411 183107584 37442 4294967295 134512640 135987407 3221224560 3221223280 134814412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44704 37442 364 364 0 44340 0
[pid=10580] vsize: 178816
Current children cumulated CPU time (s) 979.68
Current children cumulated vsize (Kb) 178816

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 131589 0 0 0 97081 1865 0 0 25 0 1 0 22532411 183107584 37461 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44704 37461 364 364 0 44340 0
[pid=10580] vsize: 178816
Current children cumulated CPU time (s) 989.46
Current children cumulated vsize (Kb) 178816

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 131597 0 0 0 98028 1883 0 0 17 0 1 0 22532411 183107584 37469 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44704 37469 364 364 0 44340 0
[pid=10580] vsize: 178816
Current children cumulated CPU time (s) 999.11
Current children cumulated vsize (Kb) 178816

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 132487 0 0 0 98986 1897 0 0 25 0 1 0 22532411 183238656 37484 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44736 37484 364 364 0 44372 0
[pid=10580] vsize: 178944
Current children cumulated CPU time (s) 1008.83
Current children cumulated vsize (Kb) 178944

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 133395 0 0 0 99943 1915 0 0 25 0 1 0 22532411 183238656 37517 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44736 37517 364 364 0 44372 0
[pid=10580] vsize: 178944
Current children cumulated CPU time (s) 1018.58
Current children cumulated vsize (Kb) 178944

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 134301 0 0 0 100897 1931 0 0 25 0 1 0 22532411 183402496 37548 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44776 37548 364 364 0 44412 0
[pid=10580] vsize: 179104
Current children cumulated CPU time (s) 1028.28
Current children cumulated vsize (Kb) 179104

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 134323 0 0 0 101841 1951 0 0 25 0 1 0 22532411 183402496 37570 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44776 37570 364 364 0 44412 0
[pid=10580] vsize: 179104
Current children cumulated CPU time (s) 1037.92
Current children cumulated vsize (Kb) 179104

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 135226 0 0 0 102797 1967 0 0 25 0 1 0 22532411 183402496 37598 4294967295 134512640 135987407 3221224560 3221223376 134825059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44776 37598 364 364 0 44412 0
[pid=10580] vsize: 179104
Current children cumulated CPU time (s) 1047.64
Current children cumulated vsize (Kb) 179104

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 135268 0 0 0 103743 1984 0 0 25 0 1 0 22532411 183566336 37640 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44816 37640 364 364 0 44452 0
[pid=10580] vsize: 179264
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (Kb) 179264

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 136155 0 0 0 104709 1996 0 0 25 0 1 0 22532411 183566336 37652 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44816 37652 364 364 0 44452 0
[pid=10580] vsize: 179264
Current children cumulated CPU time (s) 1067.05
Current children cumulated vsize (Kb) 179264

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137043 0 0 0 105667 2011 0 0 25 0 1 0 22532411 183566336 37665 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44816 37665 364 364 0 44452 0
[pid=10580] vsize: 179264
Current children cumulated CPU time (s) 1076.78
Current children cumulated vsize (Kb) 179264

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137070 0 0 0 106608 2029 0 0 25 0 1 0 22532411 183566336 37692 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44816 37692 364 364 0 44452 0
[pid=10580] vsize: 179264
Current children cumulated CPU time (s) 1086.37
Current children cumulated vsize (Kb) 179264

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 137098 0 0 0 107552 2046 0 0 25 0 1 0 22532411 183566336 37720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44816 37720 364 364 0 44452 0
[pid=10580] vsize: 179264
Current children cumulated CPU time (s) 1095.98
Current children cumulated vsize (Kb) 179264

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 137999 0 0 0 108510 2060 0 0 25 0 1 0 22532411 183697408 37746 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44848 37746 364 364 0 44484 0
[pid=10580] vsize: 179392
Current children cumulated CPU time (s) 1105.7
Current children cumulated vsize (Kb) 179392

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 138899 0 0 0 109472 2074 0 0 25 0 1 0 22532411 183697408 37771 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44848 37771 364 364 0 44484 0
[pid=10580] vsize: 179392
Current children cumulated CPU time (s) 1115.46
Current children cumulated vsize (Kb) 179392

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 139822 0 0 0 110433 2090 0 0 25 0 1 0 22532411 183840768 37819 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44883 37819 364 364 0 44519 0
[pid=10580] vsize: 179532
Current children cumulated CPU time (s) 1125.23
Current children cumulated vsize (Kb) 179532

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140710 0 0 0 111384 2107 0 0 25 0 1 0 22532411 183840768 37832 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44883 37832 364 364 0 44519 0
[pid=10580] vsize: 179532
Current children cumulated CPU time (s) 1134.91
Current children cumulated vsize (Kb) 179532

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140722 0 0 0 112343 2119 0 0 24 0 1 0 22532411 183840768 37844 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44883 37844 364 364 0 44519 0
[pid=10580] vsize: 179532
Current children cumulated CPU time (s) 1144.62
Current children cumulated vsize (Kb) 179532

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 140750 0 0 0 113291 2137 0 0 25 0 1 0 22532411 183840768 37872 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 44883 37872 364 364 0 44519 0
[pid=10580] vsize: 179532
Current children cumulated CPU time (s) 1154.28
Current children cumulated vsize (Kb) 179532

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 141652 0 0 0 114251 2152 0 0 25 0 1 0 22532411 183967744 37899 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10580/statm): 44914 37899 364 364 0 44550 0
[pid=10580] vsize: 179656
Current children cumulated CPU time (s) 1164.03
Current children cumulated vsize (Kb) 179656

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 142705 0 0 0 115193 2172 0 0 25 0 1 0 22532411 184651776 38077 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45081 38077 364 364 0 44717 0
[pid=10580] vsize: 180324
Current children cumulated CPU time (s) 1173.65
Current children cumulated vsize (Kb) 180324

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) T 10579 10580 4060 0 -1 0 142760 0 0 0 116128 2194 0 0 25 0 1 0 22532411 184786944 38132 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45114 38132 364 364 0 44750 0
[pid=10580] vsize: 180456
Current children cumulated CPU time (s) 1183.22
Current children cumulated vsize (Kb) 180456

[startup+1230.05 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 142787 0 0 0 117063 2216 0 0 25 0 1 0 22532411 184786944 38159 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45114 38159 364 364 0 44750 0
[pid=10580] vsize: 180456
Current children cumulated CPU time (s) 1192.79
Current children cumulated vsize (Kb) 180456

[startup+1240.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 143688 0 0 0 118014 2234 0 0 25 0 1 0 22532411 184926208 38185 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45148 38185 364 364 0 44784 0
[pid=10580] vsize: 180592
Current children cumulated CPU time (s) 1202.48
Current children cumulated vsize (Kb) 180592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10643
Raw data (/proc/10580/stat): 10580 (pb2sat) R 10579 10580 4060 0 -1 0 143688 0 0 0 118014 2234 0 0 25 0 1 0 22532411 184926208 38185 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10580/statm): 45148 38185 364 364 0 44784 0
[pid=10580] vsize: 180592
Current children cumulated CPU time (s) 1202.48
Current children cumulated vsize (Kb) 180592

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

Child status: 0
Real time (s): 1240.75
CPU time (s): 1203.18
CPU user time (s): 1180.76
CPU system time (s): 22.4176
CPU usage (%): 96.9723
Max. virtual memory (cumulated for all children) (Kb): 182144

Verifier Data

ERROR: no interpretation found !