Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM2c1654041c7ed087aa8883df6d85cbf7
Bench Categoryoptimization, big integers (OPTBIGINT)
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 14235
Biggest coefficient in the objective function 714038312960
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 68224730472397
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 714038312960
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 68224730472397
Number of bits of the biggest sum of numbers46
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables14265
Total number of constraints365
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 10021

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 16:17:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8710 boxname=wulflinc1 idbench=506 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2c1654041c7ed087aa8883df6d85cbf7  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dcmulti.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dcmulti.opb
IDLAUNCH: 8710
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        885160 kB
Buffers:         13000 kB
Cached:         118784 kB
SwapCached:          0 kB
Active:          77572 kB
Inactive:        57156 kB
HighTotal:      131008 kB
HighFree:        15820 kB
LowTotal:       903652 kB
LowFree:        869340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9180 kB
Committed_AS:    63632 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:37:31 (client local time) WITH STATUS 0 IN 1203.1 SECONDS
stats: 8710 7 1203.1 0

Solver Data

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

c Decision: 189637/556292	Time: 55.5566/86400
c Decision: 189655/556292	Time: 69.5114/86400
c Decision: 189666/556292	Time: 87.4717/86400
c Decision: 189695/556292	Time: 100.957/86400
c Decision: 189695/556292	Time: 111.823/86400
c Decision: 189700/556292	Time: 125.731/86400
c Decision: 189700/556292	Time: 135.401/86400
c Decision: 189928/556292	Time: 153.341/86400
c Decision: 189928/556292	Time: 162.458/86400
c Decision: 189952/556292	Time: 179.59/86400
c Decision: 189952/556292	Time: 190.88/86400
c Decision: 189952/556292	Time: 201.606/86400
c Decision: 189952/556292	Time: 211.1/86400
c Decision: 189952/556292	Time: 220.842/86400
c Decision: 189953/556292	Time: 238.682/86400
c Decision: 189953/556292	Time: 254.455/86400
c Decision: 189953/556292	Time: 263.693/86400
c Decision: 189953/556292	Time: 272.37/86400
c Decision: 189954/556292	Time: 284.117/86400
c Decision: 189982/556292	Time: 307.507/86400
c Decision: 190006/556292	Time: 331.076/86400
c Decision: 190006/556292	Time: 340.568/86400
c Decision: 190011/556292	Time: 357.105/86400
c Decision: 190033/556292	Time: 378.987/86400
c Decision: 190047/556292	Time: 390.544/86400
c Decision: 190047/556292	Time: 403.692/86400
c Decision: 190047/556292	Time: 415.948/86400
c Decision: 190058/556292	Time: 432.646/86400
c Decision: 190066/556292	Time: 450.32/86400
c Decision: 190066/556292	Time: 461.806/86400
c Decision: 190079/556292	Time: 477.569/86400
c Decision: 190079/556292	Time: 488.431/86400
c Decision: 190079/556292	Time: 498.122/86400
c Decision: 190079/556292	Time: 507.877/86400
c Decision: 190085/556292	Time: 523.012/86400
c Decision: 190091/556292	Time: 532.976/86400
c Decision: 190091/556292	Time: 542.624/86400
c Decision: 190091/556292	Time: 551.99/86400
c Decision: 190091/556292	Time: 559.7/86400
c Decision: 190091/556292	Time: 569.886/86400
c Decision: 190091/556292	Time: 581.635/86400
c Decision: 190091/556292	Time: 591.567/86400
c Decision: 190091/556292	Time: 599.593/86400
c Decision: 190232/556292	Time: 622.252/86400
c Decision: 190232/556292	Time: 632.569/86400
c Decision: 190232/556292	Time: 642.326/86400
c Decision: 190254/556292	Time: 658.448/86400
c Decision: 190254/556292	Time: 670.565/86400
c Decision: 190285/556292	Time: 707.112/86400
c Decision: 190288/556292	Time: 719.954/86400
c Decision: 190288/556292	Time: 732.895/86400
c Decision: 190288/556292	Time: 743.815/86400
c Decision: 190324/556292	Time: 770.072/86400
c Decision: 190324/556292	Time: 779.93/86400
c Decision: 190324/556292	Time: 790.511/86400
c Decision: 190328/556292	Time: 810.006/86400
c Decision: 190349/556292	Time: 829.179/86400
c Decision: 190349/556292	Time: 839.096/86400
c Decision: 190349/556292	Time: 848.684/86400
c Decision: 190357/556292	Time: 869.445/86400
c Decision: 190357/556292	Time: 881.441/86400
c Decision: 190361/556292	Time: 894.476/86400
c Decision: 190361/556292	Time: 904.58/86400
c Decision: 190365/556292	Time: 923.675/86400
c Decision: 190368/556292	Time: 938.382/86400
c Decision: 190368/556292	Time: 948.619/86400
c Decision: 190385/556292	Time: 970.213/86400
c Decision: 190396/556292	Time: 988.705/86400
c Decision: 190396/556292	Time: 998.439/86400
c Decision: 190397/556292	Time: 1018.62/86400
c Decision: 190397/556292	Time: 1030.97/86400
c Decision: 190397/556292	Time: 1042.24/86400
c Decision: 190414/556292	Time: 1066.33/86400
c Decision: 190414/556292	Time: 1078.77/86400
c Decision: 190414/556292	Time: 1090.13/86400
c Decision: 190414/556292	Time: 1102.46/86400
c Decision: 190414/556292	Time: 1111.11/86400
c Decision: 190414/556292	Time: 1122.18/86400
c Decision: 190415/556292	Time: 1140.28/86400
c Decision: 190415/556292	Time: 1151.22/86400
c Decision: 190437/556292	Time: 1173.37/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/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21579965 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 373 2 364 364 0 9 0
[pid=9519] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dcmulti.opb

[startup+10.0026 s]
Raw data (loadavg): 0.92 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 24687 0 0 0 939 58 0 0 25 0 1 0 21579965 81047552 13553 4294967295 134512640 135987407 3221224560 3221172656 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 19787 13554 364 364 0 19423 0
[pid=9519] vsize: 79148
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79148

[startup+20.0034 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 53328 0 0 0 1871 124 0 0 25 0 1 0 21579965 158625792 30940 4294967295 134512640 135987407 3221224560 3221124192 134640698 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 38727 30940 364 364 0 38363 0
[pid=9519] vsize: 154908
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 154908

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 80186 0 0 0 2799 184 0 0 25 0 1 0 21579965 232620032 46625 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 56792 46625 364 364 0 56428 0
[pid=9519] vsize: 227168
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 227168

[startup+40.004 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 81089 0 0 0 3764 196 0 0 25 0 1 0 21579965 236707840 47528 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 57790 47528 364 364 0 57426 0
[pid=9519] vsize: 231160
Current children cumulated CPU time (s) 39.6
Current children cumulated vsize (Kb) 231160

[startup+50.0048 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 81540 0 0 0 4728 209 0 0 25 0 1 0 21579965 238723072 47979 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58282 47979 364 364 0 57918 0
[pid=9519] vsize: 233128
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (Kb) 233128

[startup+60.0056 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 81673 0 0 0 5687 222 0 0 25 0 1 0 21579965 239362048 48112 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58438 48112 364 364 0 58074 0
[pid=9519] vsize: 233752
Current children cumulated CPU time (s) 59.09
Current children cumulated vsize (Kb) 233752

[startup+70.0064 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 81814 0 0 0 6637 239 0 0 25 0 1 0 21579965 239853568 48253 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58558 48253 364 364 0 58194 0
[pid=9519] vsize: 234232
Current children cumulated CPU time (s) 68.76
Current children cumulated vsize (Kb) 234232

[startup+80.0071 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 81938 0 0 0 7596 252 0 0 25 0 1 0 21579965 240578560 48377 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 58735 48377 364 364 0 58371 0
[pid=9519] vsize: 234940
Current children cumulated CPU time (s) 78.48
Current children cumulated vsize (Kb) 234940

[startup+90.0079 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 83086 0 0 0 8563 265 0 0 25 0 1 0 21579965 240775168 48438 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58783 48438 364 364 0 58419 0
[pid=9519] vsize: 235132
Current children cumulated CPU time (s) 88.28
Current children cumulated vsize (Kb) 235132

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 84275 0 0 0 9525 279 0 0 25 0 1 0 21579965 241135616 48540 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58871 48540 364 364 0 58507 0
[pid=9519] vsize: 235484
Current children cumulated CPU time (s) 98.04
Current children cumulated vsize (Kb) 235484

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 84302 0 0 0 10468 298 0 0 25 0 1 0 21579965 241299456 48567 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 58911 48567 364 364 0 58547 0
[pid=9519] vsize: 235644
Current children cumulated CPU time (s) 107.66
Current children cumulated vsize (Kb) 235644

[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 85482 0 0 0 11426 313 0 0 25 0 1 0 21579965 241627136 48660 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 58991 48660 364 364 0 58627 0
[pid=9519] vsize: 235964
Current children cumulated CPU time (s) 117.39
Current children cumulated vsize (Kb) 235964

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 86603 0 0 0 12406 322 0 0 25 0 1 0 21579965 241790976 48694 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 59031 48694 364 364 0 58667 0
[pid=9519] vsize: 236124
Current children cumulated CPU time (s) 127.28
Current children cumulated vsize (Kb) 236124

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 87740 0 0 0 13353 342 0 0 25 0 1 0 21579965 246407168 49831 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 60158 49831 364 364 0 59794 0
[pid=9519] vsize: 240632
Current children cumulated CPU time (s) 136.95
Current children cumulated vsize (Kb) 240632

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 87778 0 0 0 14302 359 0 0 25 0 1 0 21579965 242118656 48782 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 59111 48782 364 364 0 58747 0
[pid=9519] vsize: 236444
Current children cumulated CPU time (s) 146.61
Current children cumulated vsize (Kb) 236444

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 88885 0 0 0 15267 372 0 0 25 0 1 0 21579965 242118656 48802 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 59111 48802 364 364 0 58747 0
[pid=9519] vsize: 236444
Current children cumulated CPU time (s) 156.39
Current children cumulated vsize (Kb) 236444

[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 90042 0 0 0 16226 388 0 0 25 0 1 0 21579965 242479104 48872 4294967295 134512640 135987407 3221224560 3221223324 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 59199 48872 364 364 0 58835 0
[pid=9519] vsize: 236796
Current children cumulated CPU time (s) 166.14
Current children cumulated vsize (Kb) 236796

[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 90089 0 0 0 17169 405 0 0 25 0 1 0 21579965 242675712 48919 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 59247 48919 364 364 0 58883 0
[pid=9519] vsize: 236988
Current children cumulated CPU time (s) 175.74
Current children cumulated vsize (Kb) 236988

[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 91194 0 0 0 18130 421 0 0 25 0 1 0 21579965 242675712 48937 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 59247 48937 364 364 0 58883 0
[pid=9519] vsize: 236988
Current children cumulated CPU time (s) 185.51
Current children cumulated vsize (Kb) 236988

[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 104669 0 0 0 19064 463 0 0 25 0 1 0 21579965 293564416 49036 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 71671 49036 364 364 0 71307 0
[pid=9519] vsize: 286684
Current children cumulated CPU time (s) 195.27
Current children cumulated vsize (Kb) 286684

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 105798 0 0 0 20021 479 0 0 25 0 1 0 21579965 298016768 50165 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72758 50165 364 364 0 72394 0
[pid=9519] vsize: 291032
Current children cumulated CPU time (s) 205
Current children cumulated vsize (Kb) 291032

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 106908 0 0 0 20974 494 0 0 25 0 1 0 21579965 298213376 50188 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72806 50188 364 364 0 72442 0
[pid=9519] vsize: 291224
Current children cumulated CPU time (s) 214.68
Current children cumulated vsize (Kb) 291224

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 106924 0 0 0 21939 505 0 0 25 0 1 0 21579965 293761024 49117 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 71719 49117 364 364 0 71355 0
[pid=9519] vsize: 286876
Current children cumulated CPU time (s) 224.44
Current children cumulated vsize (Kb) 286876

[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 108070 0 0 0 22892 522 0 0 25 0 1 0 21579965 293957632 49176 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 71767 49176 364 364 0 71403 0
[pid=9519] vsize: 287068
Current children cumulated CPU time (s) 234.14
Current children cumulated vsize (Kb) 287068

[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 109180 0 0 0 23849 540 0 0 25 0 1 0 21579965 294154240 49199 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 71815 49199 364 364 0 71451 0
[pid=9519] vsize: 287260
Current children cumulated CPU time (s) 243.89
Current children cumulated vsize (Kb) 287260

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 110503 0 0 0 24814 552 0 0 25 0 1 0 21579965 295333888 49435 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 72103 49435 364 364 0 71739 0
[pid=9519] vsize: 288412
Current children cumulated CPU time (s) 253.66
Current children cumulated vsize (Kb) 288412

[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 110686 0 0 0 25771 566 0 0 25 0 1 0 21579965 296316928 49618 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72343 49618 364 364 0 71979 0
[pid=9519] vsize: 289372
Current children cumulated CPU time (s) 263.37
Current children cumulated vsize (Kb) 289372

[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 111992 0 0 0 26734 579 0 0 25 0 1 0 21579965 297299968 49837 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72583 49837 364 364 0 72219 0
[pid=9519] vsize: 290332
Current children cumulated CPU time (s) 273.13
Current children cumulated vsize (Kb) 290332

[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 113098 0 0 0 27702 593 0 0 25 0 1 0 21579965 297299968 49856 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72583 49856 364 364 0 72219 0
[pid=9519] vsize: 290332
Current children cumulated CPU time (s) 282.95
Current children cumulated vsize (Kb) 290332

[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 114203 0 0 0 28670 605 0 0 25 0 1 0 21579965 297299968 49874 4294967295 134512640 135987407 3221224560 3221223408 134790088 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72583 49874 364 364 0 72219 0
[pid=9519] vsize: 290332
Current children cumulated CPU time (s) 292.75
Current children cumulated vsize (Kb) 290332

[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 115308 0 0 0 29633 619 0 0 25 0 1 0 21579965 297299968 49892 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 72583 49892 364 364 0 72219 0
[pid=9519] vsize: 290332
Current children cumulated CPU time (s) 302.52
Current children cumulated vsize (Kb) 290332

[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 116430 0 0 0 30613 628 0 0 25 0 1 0 21579965 297496576 49927 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 72631 49927 364 364 0 72267 0
[pid=9519] vsize: 290524
Current children cumulated CPU time (s) 312.41
Current children cumulated vsize (Kb) 290524

[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 116621 0 0 0 31571 641 0 0 25 0 1 0 21579965 298295296 50118 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 72826 50118 364 364 0 72462 0
[pid=9519] vsize: 291304
Current children cumulated CPU time (s) 322.12
Current children cumulated vsize (Kb) 291304

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 116989 0 0 0 32532 655 0 0 25 0 1 0 21579965 299917312 50486 4294967295 134512640 135987407 3221224560 3221223280 134814098 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73222 50486 364 364 0 72858 0
[pid=9519] vsize: 292888
Current children cumulated CPU time (s) 331.87
Current children cumulated vsize (Kb) 292888

[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 118087 0 0 0 33486 673 0 0 25 0 1 0 21579965 299917312 50497 4294967295 134512640 135987407 3221224560 3221223424 134812658 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73222 50497 364 364 0 72858 0
[pid=9519] vsize: 292888
Current children cumulated CPU time (s) 341.59
Current children cumulated vsize (Kb) 292888

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 118162 0 0 0 34432 691 0 0 25 0 1 0 21579965 300187648 50572 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73288 50572 364 364 0 72924 0
[pid=9519] vsize: 293152
Current children cumulated CPU time (s) 351.23
Current children cumulated vsize (Kb) 293152

[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 119308 0 0 0 35400 704 0 0 25 0 1 0 21579965 300457984 50631 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73354 50631 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 361.04
Current children cumulated vsize (Kb) 293416

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 119319 0 0 0 36340 724 0 0 25 0 1 0 21579965 300457984 50642 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73354 50642 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 370.64
Current children cumulated vsize (Kb) 293416

[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 119336 0 0 0 37283 747 0 0 25 0 1 0 21579965 300457984 50659 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73354 50659 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 380.3
Current children cumulated vsize (Kb) 293416

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 120443 0 0 0 38249 759 0 0 25 0 1 0 21579965 300457984 50679 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73354 50679 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 390.08
Current children cumulated vsize (Kb) 293416

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 120461 0 0 0 39201 776 0 0 25 0 1 0 21579965 300457984 50697 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73354 50697 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 399.77
Current children cumulated vsize (Kb) 293416

[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 121562 0 0 0 40162 791 0 0 25 0 1 0 21579965 300457984 50711 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73354 50711 364 364 0 72990 0
[pid=9519] vsize: 293416
Current children cumulated CPU time (s) 409.53
Current children cumulated vsize (Kb) 293416

[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 122692 0 0 0 41129 805 0 0 25 0 1 0 21579965 300654592 50754 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73402 50754 364 364 0 73038 0
[pid=9519] vsize: 293608
Current children cumulated CPU time (s) 419.34
Current children cumulated vsize (Kb) 293608

[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 123792 0 0 0 42101 816 0 0 25 0 1 0 21579965 300654592 50767 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73402 50767 364 364 0 73038 0
[pid=9519] vsize: 293608
Current children cumulated CPU time (s) 429.17
Current children cumulated vsize (Kb) 293608

[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 123879 0 0 0 43054 833 0 0 25 0 1 0 21579965 301047808 50854 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73498 50854 364 364 0 73134 0
[pid=9519] vsize: 293992
Current children cumulated CPU time (s) 438.87
Current children cumulated vsize (Kb) 293992

[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 124991 0 0 0 44005 851 0 0 25 0 1 0 21579965 301244416 50879 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73546 50879 364 364 0 73182 0
[pid=9519] vsize: 294184
Current children cumulated CPU time (s) 448.56
Current children cumulated vsize (Kb) 294184

[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 126089 0 0 0 44951 870 0 0 25 0 1 0 21579965 305696768 51977 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74633 51977 364 364 0 74269 0
[pid=9519] vsize: 298532
Current children cumulated CPU time (s) 458.21
Current children cumulated vsize (Kb) 298532

[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 126118 0 0 0 45925 879 0 0 25 0 1 0 21579965 301244416 50919 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73546 50919 364 364 0 73182 0
[pid=9519] vsize: 294184
Current children cumulated CPU time (s) 468.04
Current children cumulated vsize (Kb) 294184

[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 127338 0 0 0 46882 896 0 0 25 0 1 0 21579965 301932544 51052 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73714 51052 364 364 0 73350 0
[pid=9519] vsize: 294856
Current children cumulated CPU time (s) 477.78
Current children cumulated vsize (Kb) 294856

[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 128438 0 0 0 47831 914 0 0 25 0 1 0 21579965 306384896 52152 4294967295 134512640 135987407 3221224560 3221222944 134828884 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74801 52152 364 364 0 74437 0
[pid=9519] vsize: 299204
Current children cumulated CPU time (s) 487.45
Current children cumulated vsize (Kb) 299204

[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 128454 0 0 0 48784 930 0 0 25 0 1 0 21579965 301932544 51081 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73714 51081 364 364 0 73350 0
[pid=9519] vsize: 294856
Current children cumulated CPU time (s) 497.14
Current children cumulated vsize (Kb) 294856

[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 129556 0 0 0 49762 938 0 0 25 0 1 0 21579965 301932544 51096 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73714 51096 364 364 0 73350 0
[pid=9519] vsize: 294856
Current children cumulated CPU time (s) 507
Current children cumulated vsize (Kb) 294856

[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 130655 0 0 0 50721 953 0 0 25 0 1 0 21579965 301932544 51108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73714 51108 364 364 0 73350 0
[pid=9519] vsize: 294856
Current children cumulated CPU time (s) 516.74
Current children cumulated vsize (Kb) 294856

[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 131774 0 0 0 51699 963 0 0 25 0 1 0 21579965 302108672 51140 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 73757 51140 364 364 0 73393 0
[pid=9519] vsize: 295028
Current children cumulated CPU time (s) 526.62
Current children cumulated vsize (Kb) 295028

[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 133013 0 0 0 52675 973 0 0 25 0 1 0 21579965 302784512 51292 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 73922 51292 364 364 0 73558 0
[pid=9519] vsize: 295688
Current children cumulated CPU time (s) 536.48
Current children cumulated vsize (Kb) 295688

[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 133150 0 0 0 53635 987 0 0 25 0 1 0 21579965 303325184 51429 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74054 51429 364 364 0 73690 0
[pid=9519] vsize: 296216
Current children cumulated CPU time (s) 546.22
Current children cumulated vsize (Kb) 296216

[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 134261 0 0 0 54621 994 0 0 25 0 1 0 21579965 303325184 51453 4294967295 134512640 135987407 3221224560 3221223200 134789466 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74054 51453 364 364 0 73690 0
[pid=9519] vsize: 296216
Current children cumulated CPU time (s) 556.15
Current children cumulated vsize (Kb) 296216

[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 135393 0 0 0 55587 1008 0 0 25 0 1 0 21579965 303595520 51498 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74120 51498 364 364 0 73756 0
[pid=9519] vsize: 296480
Current children cumulated CPU time (s) 565.95
Current children cumulated vsize (Kb) 296480

[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 136517 0 0 0 56565 1018 0 0 25 0 1 0 21579965 303730688 51535 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74153 51535 364 364 0 73789 0
[pid=9519] vsize: 296612
Current children cumulated CPU time (s) 575.83
Current children cumulated vsize (Kb) 296612

[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 138718 0 0 0 57552 1025 0 0 25 0 1 0 21579965 308183040 52649 4294967295 134512640 135987407 3221224560 3221222936 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75240 52649 364 364 0 74876 0
[pid=9519] vsize: 300960
Current children cumulated CPU time (s) 585.77
Current children cumulated vsize (Kb) 300960

[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 139845 0 0 0 58507 1039 0 0 25 0 1 0 21579965 308318208 52689 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75273 52689 364 364 0 74909 0
[pid=9519] vsize: 301092
Current children cumulated CPU time (s) 595.46
Current children cumulated vsize (Kb) 301092

[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 140969 0 0 0 59481 1050 0 0 25 0 1 0 21579965 308453376 52726 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75306 52726 364 364 0 74942 0
[pid=9519] vsize: 301224
Current children cumulated CPU time (s) 605.31
Current children cumulated vsize (Kb) 301224

[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.96 3/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 140974 0 0 0 60451 1060 0 0 25 0 1 0 21579965 304001024 51644 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74219 51644 364 364 0 73855 0
[pid=9519] vsize: 296876
Current children cumulated CPU time (s) 615.11
Current children cumulated vsize (Kb) 296876

[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 143160 0 0 0 61426 1072 0 0 25 0 1 0 21579965 308453376 52743 4294967295 134512640 135987407 3221224560 3221222936 134828864 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75306 52743 364 364 0 74942 0
[pid=9519] vsize: 301224
Current children cumulated CPU time (s) 624.98
Current children cumulated vsize (Kb) 301224

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 143175 0 0 0 62387 1086 0 0 25 0 1 0 21579965 304001024 51671 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74219 51671 364 364 0 73855 0
[pid=9519] vsize: 296876
Current children cumulated CPU time (s) 634.73
Current children cumulated vsize (Kb) 296876

[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 143208 0 0 0 63338 1103 0 0 25 0 1 0 21579965 304136192 51704 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74252 51704 364 364 0 73888 0
[pid=9519] vsize: 297008
Current children cumulated CPU time (s) 644.41
Current children cumulated vsize (Kb) 297008

[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 144388 0 0 0 64298 1119 0 0 25 0 1 0 21579965 304541696 51797 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74351 51797 364 364 0 73987 0
[pid=9519] vsize: 297404
Current children cumulated CPU time (s) 654.17
Current children cumulated vsize (Kb) 297404

[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 145505 0 0 0 65261 1133 0 0 25 0 1 0 21579965 304685056 51827 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74386 51827 364 364 0 74022 0
[pid=9519] vsize: 297544
Current children cumulated CPU time (s) 663.94
Current children cumulated vsize (Kb) 297544

[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 146597 0 0 0 66233 1145 0 0 25 0 1 0 21579965 304685056 51832 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74386 51832 364 364 0 74022 0
[pid=9519] vsize: 297544
Current children cumulated CPU time (s) 673.78
Current children cumulated vsize (Kb) 297544

[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 146629 0 0 0 67191 1157 0 0 25 0 1 0 21579965 304685056 51864 4294967295 134512640 135987407 3221224560 3221223200 134789437 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74386 51864 364 364 0 74022 0
[pid=9519] vsize: 297544
Current children cumulated CPU time (s) 683.48
Current children cumulated vsize (Kb) 297544

[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 147893 0 0 0 68143 1176 0 0 25 0 1 0 21579965 305692672 52041 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74632 52041 364 364 0 74268 0
[pid=9519] vsize: 298528
Current children cumulated CPU time (s) 693.19
Current children cumulated vsize (Kb) 298528

[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 148994 0 0 0 69103 1191 0 0 25 0 1 0 21579965 305692672 52055 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74632 52055 364 364 0 74268 0
[pid=9519] vsize: 298528
Current children cumulated CPU time (s) 702.94
Current children cumulated vsize (Kb) 298528

[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 149011 0 0 0 70045 1210 0 0 25 0 1 0 21579965 305692672 52072 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74632 52072 364 364 0 74268 0
[pid=9519] vsize: 298528
Current children cumulated CPU time (s) 712.55
Current children cumulated vsize (Kb) 298528

[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 149028 0 0 0 70996 1228 0 0 25 0 1 0 21579965 305692672 52089 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74632 52089 364 364 0 74268 0
[pid=9519] vsize: 298528
Current children cumulated CPU time (s) 722.24
Current children cumulated vsize (Kb) 298528

[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 149104 0 0 0 71943 1246 0 0 25 0 1 0 21579965 306102272 52165 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74732 52165 364 364 0 74368 0
[pid=9519] vsize: 298928
Current children cumulated CPU time (s) 731.89
Current children cumulated vsize (Kb) 298928

[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 150247 0 0 0 72915 1258 0 0 25 0 1 0 21579965 306237440 52221 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74765 52221 364 364 0 74401 0
[pid=9519] vsize: 299060
Current children cumulated CPU time (s) 741.73
Current children cumulated vsize (Kb) 299060

[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 151357 0 0 0 73885 1271 0 0 25 0 1 0 21579965 306237440 52244 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74765 52244 364 364 0 74401 0
[pid=9519] vsize: 299060
Current children cumulated CPU time (s) 751.56
Current children cumulated vsize (Kb) 299060

[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 152451 0 0 0 74851 1286 0 0 25 0 1 0 21579965 306237440 52251 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 74765 52251 364 364 0 74401 0
[pid=9519] vsize: 299060
Current children cumulated CPU time (s) 761.37
Current children cumulated vsize (Kb) 299060

[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 153544 0 0 0 75811 1301 0 0 25 0 1 0 21579965 306237440 52257 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 74765 52257 364 364 0 74401 0
[pid=9519] vsize: 299060
Current children cumulated CPU time (s) 771.12
Current children cumulated vsize (Kb) 299060

[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 153805 0 0 0 76766 1317 0 0 25 0 1 0 21579965 307597312 52518 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75097 52518 364 364 0 74733 0
[pid=9519] vsize: 300388
Current children cumulated CPU time (s) 780.83
Current children cumulated vsize (Kb) 300388

[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 154336 0 0 0 77728 1330 0 0 25 0 1 0 21579965 309895168 53049 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75658 53049 364 364 0 75294 0
[pid=9519] vsize: 302632
Current children cumulated CPU time (s) 790.58
Current children cumulated vsize (Kb) 302632

[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 155483 0 0 0 78696 1343 0 0 25 0 1 0 21579965 310030336 53109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53109 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 800.39
Current children cumulated vsize (Kb) 302764

[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 156589 0 0 0 79659 1357 0 0 25 0 1 0 21579965 310030336 53128 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53128 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 810.16
Current children cumulated vsize (Kb) 302764

[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 157692 0 0 0 80626 1369 0 0 25 0 1 0 21579965 310030336 53144 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53144 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 819.95
Current children cumulated vsize (Kb) 302764

[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 157716 0 0 0 81590 1381 0 0 25 0 1 0 21579965 310030336 53168 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53168 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 829.71
Current children cumulated vsize (Kb) 302764

[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 158810 0 0 0 82563 1394 0 0 25 0 1 0 21579965 310030336 53175 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53175 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 839.57
Current children cumulated vsize (Kb) 302764

[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 158819 0 0 0 83514 1410 0 0 25 0 1 0 21579965 310030336 53184 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53184 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 849.24
Current children cumulated vsize (Kb) 302764

[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 159927 0 0 0 84491 1419 0 0 25 0 1 0 21579965 310030336 53205 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53205 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 859.1
Current children cumulated vsize (Kb) 302764

[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 161032 0 0 0 85458 1431 0 0 25 0 1 0 21579965 310030336 53223 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53223 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 868.89
Current children cumulated vsize (Kb) 302764

[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 162140 0 0 0 86427 1443 0 0 25 0 1 0 21579965 310030336 53244 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75691 53244 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 878.7
Current children cumulated vsize (Kb) 302764

[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 162170 0 0 0 87387 1457 0 0 25 0 1 0 21579965 310030336 53274 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53274 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 888.44
Current children cumulated vsize (Kb) 302764

[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 163283 0 0 0 88359 1468 0 0 25 0 1 0 21579965 310030336 53300 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53300 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 898.27
Current children cumulated vsize (Kb) 302764

[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 164384 0 0 0 89331 1479 0 0 25 0 1 0 21579965 310030336 53314 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75691 53314 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 908.1
Current children cumulated vsize (Kb) 302764

[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 164389 0 0 0 90301 1488 0 0 25 0 1 0 21579965 310030336 53319 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53319 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 917.89
Current children cumulated vsize (Kb) 302764

[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 165485 0 0 0 91275 1500 0 0 25 0 1 0 21579965 310030336 53328 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75691 53328 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 927.75
Current children cumulated vsize (Kb) 302764

[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 166591 0 0 0 92248 1510 0 0 25 0 1 0 21579965 310030336 53347 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75691 53347 364 364 0 75327 0
[pid=9519] vsize: 302764
Current children cumulated CPU time (s) 937.58
Current children cumulated vsize (Kb) 302764

[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 166655 0 0 0 93207 1523 0 0 25 0 1 0 21579965 310300672 53411 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75757 53411 364 364 0 75393 0
[pid=9519] vsize: 303028
Current children cumulated CPU time (s) 947.3
Current children cumulated vsize (Kb) 303028

[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 167762 0 0 0 94177 1535 0 0 25 0 1 0 21579965 310300672 53431 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75757 53431 364 364 0 75393 0
[pid=9519] vsize: 303028
Current children cumulated CPU time (s) 957.12
Current children cumulated vsize (Kb) 303028

[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 168870 0 0 0 95147 1547 0 0 25 0 1 0 21579965 310300672 53452 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75757 53452 364 364 0 75393 0
[pid=9519] vsize: 303028
Current children cumulated CPU time (s) 966.94
Current children cumulated vsize (Kb) 303028

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 169971 0 0 0 96130 1554 0 0 25 0 1 0 21579965 310300672 53466 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75757 53466 364 364 0 75393 0
[pid=9519] vsize: 303028
Current children cumulated CPU time (s) 976.84
Current children cumulated vsize (Kb) 303028

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 170022 0 0 0 97092 1565 0 0 25 0 1 0 21579965 310571008 53517 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53517 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 986.57
Current children cumulated vsize (Kb) 303292

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 171118 0 0 0 98066 1578 0 0 25 0 1 0 21579965 310571008 53526 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75823 53526 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 996.44
Current children cumulated vsize (Kb) 303292

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 171133 0 0 0 99036 1589 0 0 25 0 1 0 21579965 310571008 53541 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75823 53541 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1006.25
Current children cumulated vsize (Kb) 303292

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 172239 0 0 0 100005 1601 0 0 25 0 1 0 21579965 310571008 53560 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53560 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1016.06
Current children cumulated vsize (Kb) 303292

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 173344 0 0 0 100980 1612 0 0 25 0 1 0 21579965 310571008 53578 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 75823 53578 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1025.92
Current children cumulated vsize (Kb) 303292

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 173369 0 0 0 101943 1624 0 0 25 0 1 0 21579965 310571008 53603 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53603 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1035.67
Current children cumulated vsize (Kb) 303292

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 174472 0 0 0 102908 1637 0 0 25 0 1 0 21579965 310571008 53619 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53619 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1045.45
Current children cumulated vsize (Kb) 303292

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 175577 0 0 0 103881 1647 0 0 25 0 1 0 21579965 310571008 53637 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53637 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1055.28
Current children cumulated vsize (Kb) 303292

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 175580 0 0 0 104842 1660 0 0 25 0 1 0 21579965 310571008 53640 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53640 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1065.02
Current children cumulated vsize (Kb) 303292

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 176673 0 0 0 105802 1674 0 0 25 0 1 0 21579965 310571008 53646 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53646 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1074.76
Current children cumulated vsize (Kb) 303292

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 176691 0 0 0 106764 1688 0 0 25 0 1 0 21579965 310571008 53664 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75823 53664 364 364 0 75459 0
[pid=9519] vsize: 303292
Current children cumulated CPU time (s) 1084.52
Current children cumulated vsize (Kb) 303292

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 177860 0 0 0 107736 1698 0 0 25 0 1 0 21579965 310902784 53746 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 75904 53746 364 364 0 75540 0
[pid=9519] vsize: 303616
Current children cumulated CPU time (s) 1094.34
Current children cumulated vsize (Kb) 303616

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 179144 0 0 0 108704 1711 0 0 25 0 1 0 21579965 316301312 55030 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 77222 55030 364 364 0 76858 0
[pid=9519] vsize: 308888
Current children cumulated CPU time (s) 1104.15
Current children cumulated vsize (Kb) 308888

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 179172 0 0 0 109671 1721 0 0 25 0 1 0 21579965 311848960 53971 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 76135 53971 364 364 0 75771 0
[pid=9519] vsize: 304540
Current children cumulated CPU time (s) 1113.92
Current children cumulated vsize (Kb) 304540

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 180272 0 0 0 110644 1734 0 0 25 0 1 0 21579965 345403392 53984 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 84327 53984 364 364 0 83963 0
[pid=9519] vsize: 337308
Current children cumulated CPU time (s) 1123.78
Current children cumulated vsize (Kb) 337308

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 181365 0 0 0 111623 1742 0 0 25 0 1 0 21579965 345403392 53990 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 84327 53990 364 364 0 83963 0
[pid=9519] vsize: 337308
Current children cumulated CPU time (s) 1133.65
Current children cumulated vsize (Kb) 337308

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 182457 0 0 0 112590 1755 0 0 25 0 1 0 21579965 345403392 53995 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9519/statm): 84327 53995 364 364 0 83963 0
[pid=9519] vsize: 337308
Current children cumulated CPU time (s) 1143.45
Current children cumulated vsize (Kb) 337308

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 183574 0 0 0 113563 1766 0 0 25 0 1 0 21579965 345538560 54025 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 84360 54025 364 364 0 83996 0
[pid=9519] vsize: 337440
Current children cumulated CPU time (s) 1153.29
Current children cumulated vsize (Kb) 337440

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 183593 0 0 0 114523 1779 0 0 25 0 1 0 21579965 345538560 54044 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 84360 54044 364 364 0 83996 0
[pid=9519] vsize: 337440
Current children cumulated CPU time (s) 1163.02
Current children cumulated vsize (Kb) 337440

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 184696 0 0 0 115490 1792 0 0 25 0 1 0 21579965 345538560 54060 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 84360 54060 364 364 0 83996 0
[pid=9519] vsize: 337440
Current children cumulated CPU time (s) 1172.82
Current children cumulated vsize (Kb) 337440

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 185803 0 0 0 116461 1803 0 0 25 0 1 0 21579965 345538560 54080 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9519/statm): 84360 54080 364 364 0 83996 0
[pid=9519] vsize: 337440
Current children cumulated CPU time (s) 1182.64
Current children cumulated vsize (Kb) 337440

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) R 9518 9519 4704 0 -1 0 185909 0 0 0 117416 1818 0 0 25 0 1 0 21579965 345944064 54186 4294967295 134512640 135987407 3221224560 3221223344 134812336 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9519/statm): 84459 54186 364 364 0 84095 0
[pid=9519] vsize: 337836
Current children cumulated CPU time (s) 1192.34
Current children cumulated vsize (Kb) 337836

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 187082 0 0 0 118394 1826 0 0 25 0 1 0 21579965 346349568 54272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 84558 54272 364 364 0 84194 0
[pid=9519] vsize: 338232
Current children cumulated CPU time (s) 1202.2
Current children cumulated vsize (Kb) 338232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9519
Raw data (/proc/9519/stat): 9519 (pb2sat) T 9518 9519 4704 0 -1 0 187082 0 0 0 118394 1826 0 0 25 0 1 0 21579965 346349568 54272 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9519/statm): 84558 54272 364 364 0 84194 0
[pid=9519] vsize: 338232
Current children cumulated CPU time (s) 1202.2
Current children cumulated vsize (Kb) 338232

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

Child status: 0
Real time (s): 1230.97
CPU time (s): 1203.1
CPU user time (s): 1184.72
CPU system time (s): 18.3782
CPU usage (%): 97.7365
Max. virtual memory (cumulated for all children) (Kb): 338232

Verifier Data

ERROR: no interpretation found !