Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUMc6a26aa8aefc43a120ecaff31b506c53
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9745597
Optimality of the best value was proved NO
Number of terms in the objective function 9638
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 2427493442
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 2427493442
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1240.35
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 10401

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 17:53:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9098 boxname=wulflinc15 idbench=894 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c6a26aa8aefc43a120ecaff31b506c53  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-fixnet4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-fixnet4.opb
IDLAUNCH: 9098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        893200 kB
Buffers:          4456 kB
Cached:         116584 kB
SwapCached:          0 kB
Active:          19052 kB
Inactive:       104900 kB
HighTotal:      131008 kB
HighFree:        78484 kB
LowTotal:       903652 kB
LowFree:        814716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11916 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:13:59 (client local time) WITH STATUS 0 IN 1208.2 SECONDS
stats: 9098 7 1208.2 0

Solver Data

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

c Decision: 321714/1103681	Time: 66.3989/86400
c Decision: 321754/1103681	Time: 173.114/86400
c Decision: 321770/1103681	Time: 248.348/86400
c Decision: 321777/1103681	Time: 290.639/86400
c Decision: 321777/1103681	Time: 331.192/86400
c Decision: 321777/1103681	Time: 364.938/86400
c Decision: 321777/1103681	Time: 394.887/86400
c Decision: 321777/1103681	Time: 425.595/86400
c Decision: 321777/1103681	Time: 450.919/86400
c Decision: 321777/1103681	Time: 478.686/86400
c Decision: 321777/1103681	Time: 508.228/86400
c Decision: 321777/1103681	Time: 536.155/86400
c Decision: 321777/1103681	Time: 569.797/86400
c Decision: 321777/1103681	Time: 602.259/86400
c Decision: 321777/1103681	Time: 630.067/86400
c Decision: 321777/1103681	Time: 668.036/86400
c Decision: 321777/1103681	Time: 699.367/86400
c Decision: 321777/1103681	Time: 723.141/86400
c Decision: 321777/1103681	Time: 751.736/86400
c Decision: 321777/1103681	Time: 773.596/86400
c Decision: 321777/1103681	Time: 806.508/86400
c Decision: 321777/1103681	Time: 829.984/86400
c Decision: 321777/1103681	Time: 853.839/86400
c Decision: 321777/1103681	Time: 876.447/86400
c Decision: 321777/1103681	Time: 904.641/86400
c Decision: 321777/1103681	Time: 931.92/86400
c Decision: 321777/1103681	Time: 957.094/86400
c Decision: 321777/1103681	Time: 984.044/86400
c Decision: 321777/1103681	Time: 1007.1/86400
c Decision: 321777/1103681	Time: 1032.69/86400
c Decision: 321777/1103681	Time: 1060.65/86400
c Decision: 321777/1103681	Time: 1082.9/86400
c Decision: 321777/1103681	Time: 1112.18/86400
c Decision: 321777/1103681	Time: 1139.69/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/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22137758 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 373 2 364 364 0 9 0
[pid=8559] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-fixnet4.opb

[startup+10.0024 s]
Raw data (loadavg): 0.87 0.94 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 26697 0 0 0 934 62 0 0 25 0 1 0 22137758 85000192 15542 4294967295 134512640 135987407 3221224560 3221099776 134887938 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 20752 15542 364 364 0 20388 0
[pid=8559] vsize: 83008
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 83008

[startup+20.0032 s]
Raw data (loadavg): 0.89 0.94 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 54646 0 0 0 1868 127 0 0 25 0 1 0 22137758 161767424 32250 4294967295 134512640 135987407 3221224560 3221127904 134558352 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 39494 32251 364 364 0 39130 0
[pid=8559] vsize: 157976
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 157976

[startup+30.004 s]
Raw data (loadavg): 0.90 0.94 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 94942 0 0 0 2779 214 0 0 25 0 1 0 22137758 313868288 50335 4294967295 134512640 135987407 3221224560 3221164576 134558594 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 76628 50335 364 364 0 76264 0
[pid=8559] vsize: 306512
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 306512

[startup+40.0039 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 111669 0 0 0 3737 255 0 0 25 0 1 0 22137758 318734336 66787 4294967295 134512640 135987407 3221224560 3221182348 134636959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 77816 66787 364 364 0 77452 0
[pid=8559] vsize: 311264
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 311264

[startup+50.0047 s]
Raw data (loadavg): 0.93 0.94 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 158057 0 0 0 4640 349 0 0 25 0 1 0 22137758 648413184 93552 4294967295 134512640 135987407 3221224560 3221191168 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 158304 93552 364 364 0 157940 0
[pid=8559] vsize: 633216
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 633216

[startup+60.0055 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 186853 0 0 0 5566 417 0 0 25 0 1 0 22137758 568627200 95100 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 138825 95100 364 364 0 138461 0
[pid=8559] vsize: 555300
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 555300

[startup+70.0063 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 189314 0 0 0 6542 428 0 0 25 0 1 0 22137758 580292608 97544 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 141673 97544 364 364 0 141309 0
[pid=8559] vsize: 566692
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 566692

[startup+80.0061 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 191007 0 0 0 7515 440 0 0 25 0 1 0 22137758 588341248 99181 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 143638 99181 364 364 0 143274 0
[pid=8559] vsize: 574552
Current children cumulated CPU time (s) 79.55
Current children cumulated vsize (Kb) 574552

[startup+90.0059 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 192027 0 0 0 8502 446 0 0 25 0 1 0 22137758 593788928 100201 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 144968 100201 364 364 0 144604 0
[pid=8559] vsize: 579872
Current children cumulated CPU time (s) 89.48
Current children cumulated vsize (Kb) 579872

[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 193339 0 0 0 9488 452 0 0 25 0 1 0 22137758 599867392 101282 4294967295 134512640 135987407 3221224560 3221223344 134812441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 146452 101282 364 364 0 146088 0
[pid=8559] vsize: 585808
Current children cumulated CPU time (s) 99.4
Current children cumulated vsize (Kb) 585808

[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 193610 0 0 0 10485 453 0 0 25 0 1 0 22137758 600924160 101487 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 146710 101487 364 364 0 146346 0
[pid=8559] vsize: 586840
Current children cumulated CPU time (s) 109.38
Current children cumulated vsize (Kb) 586840

[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 195784 0 0 0 11477 460 0 0 25 0 1 0 22137758 600924160 101505 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 146710 101505 364 364 0 146346 0
[pid=8559] vsize: 586840
Current children cumulated CPU time (s) 119.37
Current children cumulated vsize (Kb) 586840

[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 196952 0 0 0 12454 469 0 0 25 0 1 0 22137758 606633984 102542 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 148104 102542 364 364 0 147740 0
[pid=8559] vsize: 592416
Current children cumulated CPU time (s) 129.23
Current children cumulated vsize (Kb) 592416

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 198098 0 0 0 13435 476 0 0 25 0 1 0 22137758 612560896 103631 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 149551 103631 364 364 0 149187 0
[pid=8559] vsize: 598204
Current children cumulated CPU time (s) 139.11
Current children cumulated vsize (Kb) 598204

[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 198763 0 0 0 14426 481 0 0 25 0 1 0 22137758 615424000 104197 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 150250 104197 364 364 0 149886 0
[pid=8559] vsize: 601000
Current children cumulated CPU time (s) 149.07
Current children cumulated vsize (Kb) 601000

[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 199209 0 0 0 15407 488 0 0 25 0 1 0 22137758 617742336 104643 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 150816 104643 364 364 0 150452 0
[pid=8559] vsize: 603264
Current children cumulated CPU time (s) 158.95
Current children cumulated vsize (Kb) 603264

[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 199702 0 0 0 16399 491 0 0 25 0 1 0 22137758 619741184 105004 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 151304 105004 364 364 0 150940 0
[pid=8559] vsize: 605216
Current children cumulated CPU time (s) 168.9
Current children cumulated vsize (Kb) 605216

[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 200144 0 0 0 17388 496 0 0 25 0 1 0 22137758 621686784 105380 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 151779 105380 364 364 0 151415 0
[pid=8559] vsize: 607116
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (Kb) 607116

[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 200551 0 0 0 18382 499 0 0 25 0 1 0 22137758 623435776 105721 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 152206 105721 364 364 0 151842 0
[pid=8559] vsize: 608824
Current children cumulated CPU time (s) 188.81
Current children cumulated vsize (Kb) 608824

[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 200844 0 0 0 19371 503 0 0 25 0 1 0 22137758 624640000 105915 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 152500 105915 364 364 0 152136 0
[pid=8559] vsize: 610000
Current children cumulated CPU time (s) 198.74
Current children cumulated vsize (Kb) 610000

[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 201055 0 0 0 20356 508 0 0 25 0 1 0 22137758 625782784 106126 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 152779 106126 364 364 0 152415 0
[pid=8559] vsize: 611116
Current children cumulated CPU time (s) 208.64
Current children cumulated vsize (Kb) 611116

[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 201209 0 0 0 21343 512 0 0 25 0 1 0 22137758 626728960 106280 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 153010 106280 364 364 0 152646 0
[pid=8559] vsize: 612040
Current children cumulated CPU time (s) 218.55
Current children cumulated vsize (Kb) 612040

[startup+230.012 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 203606 0 0 0 22328 520 0 0 25 0 1 0 22137758 627855360 106488 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 153285 106488 364 364 0 152921 0
[pid=8559] vsize: 613140
Current children cumulated CPU time (s) 228.48
Current children cumulated vsize (Kb) 613140

[startup+240.012 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 203936 0 0 0 23314 526 0 0 25 0 1 0 22137758 629592064 106785 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 153709 106785 364 364 0 153345 0
[pid=8559] vsize: 614836
Current children cumulated CPU time (s) 238.4
Current children cumulated vsize (Kb) 614836

[startup+250.013 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 203947 0 0 0 24293 533 0 0 24 0 1 0 22137758 629592064 106796 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 153709 106796 364 364 0 153345 0
[pid=8559] vsize: 614836
Current children cumulated CPU time (s) 248.26
Current children cumulated vsize (Kb) 614836

[startup+260.014 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 203984 0 0 0 25274 540 0 0 25 0 1 0 22137758 629727232 106833 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 153742 106833 364 364 0 153378 0
[pid=8559] vsize: 614968
Current children cumulated CPU time (s) 258.14
Current children cumulated vsize (Kb) 614968

[startup+270.015 s]
Raw data (loadavg): 1.04 0.98 0.96 1/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 204464 0 0 0 26260 546 0 0 25 0 1 0 22137758 631660544 107148 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154214 107148 364 364 0 153850 0
[pid=8559] vsize: 616856
Current children cumulated CPU time (s) 268.06
Current children cumulated vsize (Kb) 616856

[startup+280.015 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 204541 0 0 0 27245 550 0 0 25 0 1 0 22137758 631926784 107192 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154279 107192 364 364 0 153915 0
[pid=8559] vsize: 617116
Current children cumulated CPU time (s) 277.95
Current children cumulated vsize (Kb) 617116

[startup+290.014 s]
Raw data (loadavg): 1.03 0.98 0.96 1/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 204567 0 0 0 28236 553 0 0 25 0 1 0 22137758 631926784 107218 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154279 107218 364 364 0 153915 0
[pid=8559] vsize: 617116
Current children cumulated CPU time (s) 287.89
Current children cumulated vsize (Kb) 617116

[startup+300.014 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 204777 0 0 0 29220 559 0 0 25 0 1 0 22137758 633065472 107428 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154557 107428 364 364 0 154193 0
[pid=8559] vsize: 618228
Current children cumulated CPU time (s) 297.79
Current children cumulated vsize (Kb) 618228

[startup+310.015 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 207003 0 0 0 30203 568 0 0 25 0 1 0 22137758 633335808 107498 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154623 107498 364 364 0 154259 0
[pid=8559] vsize: 618492
Current children cumulated CPU time (s) 307.71
Current children cumulated vsize (Kb) 618492

[startup+320.016 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 207089 0 0 0 31184 575 0 0 25 0 1 0 22137758 633876480 107584 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154755 107584 364 364 0 154391 0
[pid=8559] vsize: 619020
Current children cumulated CPU time (s) 317.59
Current children cumulated vsize (Kb) 619020

[startup+330.016 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 207120 0 0 0 32167 582 0 0 25 0 1 0 22137758 634011648 107615 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 154788 107615 364 364 0 154424 0
[pid=8559] vsize: 619152
Current children cumulated CPU time (s) 327.49
Current children cumulated vsize (Kb) 619152

[startup+340.017 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 207158 0 0 0 33148 588 0 0 25 0 1 0 22137758 634146816 107653 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 154821 107653 364 364 0 154457 0
[pid=8559] vsize: 619284
Current children cumulated CPU time (s) 337.36
Current children cumulated vsize (Kb) 619284

[startup+350.017 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 209387 0 0 0 34131 598 0 0 25 0 1 0 22137758 634552320 107726 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 154920 107726 364 364 0 154556 0
[pid=8559] vsize: 619680
Current children cumulated CPU time (s) 347.29
Current children cumulated vsize (Kb) 619680

[startup+360.019 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 209501 0 0 0 35105 606 0 0 25 0 1 0 22137758 635092992 107840 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 155052 107840 364 364 0 154688 0
[pid=8559] vsize: 620208
Current children cumulated CPU time (s) 357.11
Current children cumulated vsize (Kb) 620208

[startup+370.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 209558 0 0 0 36088 612 0 0 25 0 1 0 22137758 635363328 107897 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155118 107897 364 364 0 154754 0
[pid=8559] vsize: 620472
Current children cumulated CPU time (s) 367
Current children cumulated vsize (Kb) 620472

[startup+380.02 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 8559
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 209583 0 0 0 37070 618 0 0 25 0 1 0 22137758 635498496 107922 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155151 107922 364 364 0 154787 0
[pid=8559] vsize: 620604
Current children cumulated CPU time (s) 376.88
Current children cumulated vsize (Kb) 620604

[startup+390.021 s]
Raw data (loadavg): 1.00 0.98 0.96 3/58 8597
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 211765 0 0 0 38052 626 0 0 18 0 1 0 22137758 635633664 107948 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107948 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 386.78
Current children cumulated vsize (Kb) 620736

[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8614
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 211770 0 0 0 39029 634 0 0 25 0 1 0 22137758 635633664 107953 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107953 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 396.63
Current children cumulated vsize (Kb) 620736

[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8614
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 211775 0 0 0 40006 639 0 0 25 0 1 0 22137758 635633664 107958 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107958 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 406.45
Current children cumulated vsize (Kb) 620736

[startup+420.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8614
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 213932 0 0 0 40995 646 0 0 25 0 1 0 22137758 635633664 107959 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107959 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 416.41
Current children cumulated vsize (Kb) 620736

[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8614
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 213935 0 0 0 41979 650 0 0 25 0 1 0 22137758 635633664 107962 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107962 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 426.29
Current children cumulated vsize (Kb) 620736

[startup+440.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 8614
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 213936 0 0 0 42961 657 0 0 25 0 1 0 22137758 635633664 107963 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107963 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 436.18
Current children cumulated vsize (Kb) 620736

[startup+450.023 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 8616
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 216094 0 0 0 43943 666 0 0 25 0 1 0 22137758 644464640 110121 4294967295 134512640 135987407 3221224560 3221222944 134829266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157340 110121 364 364 0 156976 0
[pid=8559] vsize: 629360
Current children cumulated CPU time (s) 446.09
Current children cumulated vsize (Kb) 629360

[startup+460.023 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 8618
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 216095 0 0 0 44929 670 0 0 25 0 1 0 22137758 635633664 107966 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155184 107966 364 364 0 154820 0
[pid=8559] vsize: 620736
Current children cumulated CPU time (s) 455.99
Current children cumulated vsize (Kb) 620736

[startup+470.023 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 216118 0 0 0 45909 677 0 0 25 0 1 0 22137758 635830272 107989 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155232 107989 364 364 0 154868 0
[pid=8559] vsize: 620928
Current children cumulated CPU time (s) 465.86
Current children cumulated vsize (Kb) 620928

[startup+480.023 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 218296 0 0 0 46889 687 0 0 25 0 1 0 22137758 644661248 110167 4294967295 134512640 135987407 3221224560 3221222932 134829288 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157388 110167 364 364 0 157024 0
[pid=8559] vsize: 629552
Current children cumulated CPU time (s) 475.76
Current children cumulated vsize (Kb) 629552

[startup+490.024 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 218326 0 0 0 47873 692 0 0 25 0 1 0 22137758 635965440 108041 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155265 108041 364 364 0 154901 0
[pid=8559] vsize: 621060
Current children cumulated CPU time (s) 485.65
Current children cumulated vsize (Kb) 621060

[startup+500.024 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 218328 0 0 0 48851 698 0 0 25 0 1 0 22137758 635965440 108043 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155265 108043 364 364 0 154901 0
[pid=8559] vsize: 621060
Current children cumulated CPU time (s) 495.49
Current children cumulated vsize (Kb) 621060

[startup+510.025 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 220508 0 0 0 49835 707 0 0 25 0 1 0 22137758 636100608 108067 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 155298 108067 364 364 0 154934 0
[pid=8559] vsize: 621192
Current children cumulated CPU time (s) 505.42
Current children cumulated vsize (Kb) 621192

[startup+520.025 s]
Raw data (loadavg): 1.02 1.00 0.96 1/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 220510 0 0 0 50817 713 0 0 25 0 1 0 22137758 636100608 108069 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155298 108069 364 364 0 154934 0
[pid=8559] vsize: 621192
Current children cumulated CPU time (s) 515.3
Current children cumulated vsize (Kb) 621192

[startup+530.026 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 220511 0 0 0 51800 719 0 0 25 0 1 0 22137758 636100608 108070 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155298 108070 364 364 0 154934 0
[pid=8559] vsize: 621192
Current children cumulated CPU time (s) 525.19
Current children cumulated vsize (Kb) 621192

[startup+540.026 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 222672 0 0 0 52783 728 0 0 25 0 1 0 22137758 636100608 108075 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155298 108075 364 364 0 154934 0
[pid=8559] vsize: 621192
Current children cumulated CPU time (s) 535.11
Current children cumulated vsize (Kb) 621192

[startup+550.026 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 222677 0 0 0 53761 735 0 0 25 0 1 0 22137758 636100608 108080 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 155298 108080 364 364 0 154934 0
[pid=8559] vsize: 621192
Current children cumulated CPU time (s) 544.96
Current children cumulated vsize (Kb) 621192

[startup+560.028 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 224845 0 0 0 54737 747 0 0 25 0 1 0 22137758 644931584 110248 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157454 110248 364 364 0 157090 0
[pid=8559] vsize: 629816
Current children cumulated CPU time (s) 554.84
Current children cumulated vsize (Kb) 629816

[startup+570.028 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 224886 0 0 0 55731 750 0 0 25 0 1 0 22137758 636370944 108133 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155364 108133 364 364 0 155000 0
[pid=8559] vsize: 621456
Current children cumulated CPU time (s) 564.81
Current children cumulated vsize (Kb) 621456

[startup+580.028 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 224888 0 0 0 56712 756 0 0 25 0 1 0 22137758 636370944 108135 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155364 108135 364 364 0 155000 0
[pid=8559] vsize: 621456
Current children cumulated CPU time (s) 574.68
Current children cumulated vsize (Kb) 621456

[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 224909 0 0 0 57690 763 0 0 25 0 1 0 22137758 636506112 108156 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155397 108156 364 364 0 155033 0
[pid=8559] vsize: 621588
Current children cumulated CPU time (s) 584.53
Current children cumulated vsize (Kb) 621588

[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 227228 0 0 0 58679 771 0 0 25 0 1 0 22137758 637038592 108253 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155527 108253 364 364 0 155163 0
[pid=8559] vsize: 622108
Current children cumulated CPU time (s) 594.5
Current children cumulated vsize (Kb) 622108

[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 227313 0 0 0 59665 776 0 0 25 0 1 0 22137758 637435904 108305 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155624 108305 364 364 0 155260 0
[pid=8559] vsize: 622496
Current children cumulated CPU time (s) 604.41
Current children cumulated vsize (Kb) 622496

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 227503 0 0 0 60657 779 0 0 25 0 1 0 22137758 638103552 108429 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155787 108429 364 364 0 155423 0
[pid=8559] vsize: 623148
Current children cumulated CPU time (s) 614.36
Current children cumulated vsize (Kb) 623148

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 229703 0 0 0 61647 785 0 0 25 0 1 0 22137758 638238720 108473 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155820 108473 364 364 0 155456 0
[pid=8559] vsize: 623280
Current children cumulated CPU time (s) 624.32
Current children cumulated vsize (Kb) 623280

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 229787 0 0 0 62629 791 0 0 25 0 1 0 22137758 638644224 108557 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 155919 108557 364 364 0 155555 0
[pid=8559] vsize: 623676
Current children cumulated CPU time (s) 634.2
Current children cumulated vsize (Kb) 623676

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 229814 0 0 0 63607 798 0 0 25 0 1 0 22137758 638779392 108584 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155952 108584 364 364 0 155588 0
[pid=8559] vsize: 623808
Current children cumulated CPU time (s) 644.05
Current children cumulated vsize (Kb) 623808

[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 231974 0 0 0 64587 809 0 0 25 0 1 0 22137758 647610368 110744 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 158108 110744 364 364 0 157744 0
[pid=8559] vsize: 632432
Current children cumulated CPU time (s) 653.96
Current children cumulated vsize (Kb) 632432

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 231988 0 0 0 65571 815 0 0 25 0 1 0 22137758 638779392 108602 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 155952 108602 364 364 0 155588 0
[pid=8559] vsize: 623808
Current children cumulated CPU time (s) 663.86
Current children cumulated vsize (Kb) 623808

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 232007 0 0 0 66555 820 0 0 25 0 1 0 22137758 638779392 108621 4294967295 134512640 135987407 3221224560 3221223248 134811747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155952 108621 364 364 0 155588 0
[pid=8559] vsize: 623808
Current children cumulated CPU time (s) 673.75
Current children cumulated vsize (Kb) 623808

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 234196 0 0 0 67538 829 0 0 25 0 1 0 22137758 638914560 108654 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 155985 108654 364 364 0 155621 0
[pid=8559] vsize: 623940
Current children cumulated CPU time (s) 683.67
Current children cumulated vsize (Kb) 623940

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8620
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 234580 0 0 0 68521 835 0 0 25 0 1 0 22137758 640802816 109005 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156446 109005 364 364 0 156082 0
[pid=8559] vsize: 625784
Current children cumulated CPU time (s) 693.56
Current children cumulated vsize (Kb) 625784

[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 234719 0 0 0 69506 840 0 0 25 0 1 0 22137758 641478656 109144 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156611 109144 364 364 0 156247 0
[pid=8559] vsize: 626444
Current children cumulated CPU time (s) 703.46
Current children cumulated vsize (Kb) 626444

[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 234798 0 0 0 70487 846 0 0 25 0 1 0 22137758 641744896 109190 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156676 109190 364 364 0 156312 0
[pid=8559] vsize: 626704
Current children cumulated CPU time (s) 713.33
Current children cumulated vsize (Kb) 626704

[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 236995 0 0 0 71477 853 0 0 25 0 1 0 22137758 641880064 109231 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156709 109231 364 364 0 156345 0
[pid=8559] vsize: 626836
Current children cumulated CPU time (s) 723.3
Current children cumulated vsize (Kb) 626836

[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 237124 0 0 0 72459 862 0 0 25 0 1 0 22137758 642420736 109360 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156841 109360 364 364 0 156477 0
[pid=8559] vsize: 627364
Current children cumulated CPU time (s) 733.21
Current children cumulated vsize (Kb) 627364

[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 237147 0 0 0 73434 871 0 0 25 0 1 0 22137758 642555904 109383 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156874 109383 364 364 0 156510 0
[pid=8559] vsize: 627496
Current children cumulated CPU time (s) 743.05
Current children cumulated vsize (Kb) 627496

[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 239364 0 0 0 74415 882 0 0 25 0 1 0 22137758 642961408 109444 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156973 109444 364 364 0 156609 0
[pid=8559] vsize: 627892
Current children cumulated CPU time (s) 752.97
Current children cumulated vsize (Kb) 627892

[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 239370 0 0 0 75397 889 0 0 25 0 1 0 22137758 642961408 109450 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156973 109450 364 364 0 156609 0
[pid=8559] vsize: 627892
Current children cumulated CPU time (s) 762.86
Current children cumulated vsize (Kb) 627892

[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 239372 0 0 0 76376 895 0 0 25 0 1 0 22137758 642961408 109452 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 156973 109452 364 364 0 156609 0
[pid=8559] vsize: 627892
Current children cumulated CPU time (s) 772.71
Current children cumulated vsize (Kb) 627892

[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 241578 0 0 0 77355 906 0 0 25 0 1 0 22137758 643231744 109502 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157039 109502 364 364 0 156675 0
[pid=8559] vsize: 628156
Current children cumulated CPU time (s) 782.61
Current children cumulated vsize (Kb) 628156

[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 241579 0 0 0 78328 914 0 0 25 0 1 0 22137758 643231744 109503 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157039 109503 364 364 0 156675 0
[pid=8559] vsize: 628156
Current children cumulated CPU time (s) 792.42
Current children cumulated vsize (Kb) 628156

[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 243784 0 0 0 79300 927 0 0 25 0 1 0 22137758 652333056 111708 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 159261 111708 364 364 0 158897 0
[pid=8559] vsize: 637044
Current children cumulated CPU time (s) 802.27
Current children cumulated vsize (Kb) 637044

[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 243793 0 0 0 80279 934 0 0 25 0 1 0 22137758 643502080 109561 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157105 109561 364 364 0 156741 0
[pid=8559] vsize: 628420
Current children cumulated CPU time (s) 812.13
Current children cumulated vsize (Kb) 628420

[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 243804 0 0 0 81260 940 0 0 25 0 1 0 22137758 643502080 109572 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157105 109572 364 364 0 156741 0
[pid=8559] vsize: 628420
Current children cumulated CPU time (s) 822
Current children cumulated vsize (Kb) 628420

[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 245962 0 0 0 82242 949 0 0 25 0 1 0 22137758 643502080 109574 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157105 109574 364 364 0 156741 0
[pid=8559] vsize: 628420
Current children cumulated CPU time (s) 831.91
Current children cumulated vsize (Kb) 628420

[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 246111 0 0 0 83216 958 0 0 25 0 1 0 22137758 644034560 109657 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157235 109657 364 364 0 156871 0
[pid=8559] vsize: 628940
Current children cumulated CPU time (s) 841.74
Current children cumulated vsize (Kb) 628940

[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 246243 0 0 0 84189 968 0 0 25 0 1 0 22137758 644431872 109723 4294967295 134512640 135987407 3221224560 3221223280 134814275 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157332 109723 364 364 0 156968 0
[pid=8559] vsize: 629328
Current children cumulated CPU time (s) 851.57
Current children cumulated vsize (Kb) 629328

[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 248400 0 0 0 85179 974 0 0 25 0 1 0 22137758 644431872 109724 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157332 109724 364 364 0 156968 0
[pid=8559] vsize: 629328
Current children cumulated CPU time (s) 861.53
Current children cumulated vsize (Kb) 629328

[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 248402 0 0 0 86157 981 0 0 25 0 1 0 22137758 644431872 109726 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157332 109726 364 364 0 156968 0
[pid=8559] vsize: 629328
Current children cumulated CPU time (s) 871.38
Current children cumulated vsize (Kb) 629328

[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 250559 0 0 0 87134 992 0 0 25 0 1 0 22137758 653262848 111883 4294967295 134512640 135987407 3221224560 3221222944 134829382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 159488 111883 364 364 0 159124 0
[pid=8559] vsize: 637952
Current children cumulated CPU time (s) 881.26
Current children cumulated vsize (Kb) 637952

[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 250607 0 0 0 88109 1002 0 0 25 0 1 0 22137758 644702208 109775 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157398 109775 364 364 0 157034 0
[pid=8559] vsize: 629592
Current children cumulated CPU time (s) 891.11
Current children cumulated vsize (Kb) 629592

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 250630 0 0 0 89083 1010 0 0 25 0 1 0 22137758 644837376 109798 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157431 109798 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 900.93
Current children cumulated vsize (Kb) 629724

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 252791 0 0 0 90064 1019 0 0 25 0 1 0 22137758 644837376 109803 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157431 109803 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 910.83
Current children cumulated vsize (Kb) 629724

[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 252796 0 0 0 91033 1031 0 0 25 0 1 0 22137758 644837376 109808 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157431 109808 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 920.64
Current children cumulated vsize (Kb) 629724

[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 254955 0 0 0 92010 1042 0 0 25 0 1 0 22137758 644837376 109811 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157431 109811 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 930.52
Current children cumulated vsize (Kb) 629724

[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 254960 0 0 0 92981 1052 0 0 25 0 1 0 22137758 644837376 109816 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157431 109816 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 940.33
Current children cumulated vsize (Kb) 629724

[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 254965 0 0 0 93948 1063 0 0 25 0 1 0 22137758 644837376 109821 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157431 109821 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 950.11
Current children cumulated vsize (Kb) 629724

[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 257125 0 0 0 94923 1075 0 0 25 0 1 0 22137758 644837376 109825 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157431 109825 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 959.98
Current children cumulated vsize (Kb) 629724

[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 257131 0 0 0 95896 1084 0 0 25 0 1 0 22137758 644837376 109831 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157431 109831 364 364 0 157067 0
[pid=8559] vsize: 629724
Current children cumulated CPU time (s) 969.8
Current children cumulated vsize (Kb) 629724

[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 259309 0 0 0 96871 1097 0 0 25 0 1 0 22137758 653803520 112009 4294967295 134512640 135987407 3221224560 3221222944 134828930 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 159620 112009 364 364 0 159256 0
[pid=8559] vsize: 638480
Current children cumulated CPU time (s) 979.68
Current children cumulated vsize (Kb) 638480

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 259310 0 0 0 97855 1103 0 0 25 0 1 0 22137758 644972544 109854 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157464 109854 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 989.58
Current children cumulated vsize (Kb) 629856

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 259313 0 0 0 98825 1113 0 0 23 0 1 0 22137758 644972544 109857 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157464 109857 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 999.38
Current children cumulated vsize (Kb) 629856

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 261471 0 0 0 99802 1124 0 0 25 0 1 0 22137758 653803520 112015 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 159620 112015 364 364 0 159256 0
[pid=8559] vsize: 638480
Current children cumulated CPU time (s) 1009.26
Current children cumulated vsize (Kb) 638480

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 261474 0 0 0 100774 1135 0 0 25 0 1 0 22137758 644972544 109862 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157464 109862 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1019.09
Current children cumulated vsize (Kb) 629856

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 261479 0 0 0 101740 1145 0 0 23 0 1 0 22137758 644972544 109867 4294967295 134512640 135987407 3221224560 3221223384 134812257 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157464 109867 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1028.85
Current children cumulated vsize (Kb) 629856

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 263639 0 0 0 102720 1156 0 0 25 0 1 0 22137758 644972544 109871 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157464 109871 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1038.76
Current children cumulated vsize (Kb) 629856

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 263647 0 0 0 103695 1164 0 0 25 0 1 0 22137758 644972544 109879 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157464 109879 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1048.59
Current children cumulated vsize (Kb) 629856

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 265806 0 0 0 104669 1176 0 0 25 0 1 0 22137758 653803520 112038 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 159620 112038 364 364 0 159256 0
[pid=8559] vsize: 638480
Current children cumulated CPU time (s) 1058.45
Current children cumulated vsize (Kb) 638480

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 265811 0 0 0 105648 1184 0 0 25 0 1 0 22137758 644972544 109887 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157464 109887 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1068.32
Current children cumulated vsize (Kb) 629856

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 265816 0 0 0 106626 1192 0 0 25 0 1 0 22137758 644972544 109892 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157464 109892 364 364 0 157100 0
[pid=8559] vsize: 629856
Current children cumulated CPU time (s) 1078.18
Current children cumulated vsize (Kb) 629856

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 268006 0 0 0 107604 1203 0 0 25 0 1 0 22137758 645107712 109926 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157497 109926 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1088.07
Current children cumulated vsize (Kb) 629988

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 268012 0 0 0 108572 1213 0 0 25 0 1 0 22137758 645107712 109932 4294967295 134512640 135987407 3221224560 3221223408 134790082 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157497 109932 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1097.85
Current children cumulated vsize (Kb) 629988

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 270173 0 0 0 109544 1225 0 0 25 0 1 0 22137758 653938688 112093 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 159653 112093 364 364 0 159289 0
[pid=8559] vsize: 638612
Current children cumulated CPU time (s) 1107.69
Current children cumulated vsize (Kb) 638612

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 270174 0 0 0 110531 1229 0 0 25 0 1 0 22137758 645107712 109938 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157497 109938 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1117.6
Current children cumulated vsize (Kb) 629988

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 270177 0 0 0 111504 1238 0 0 25 0 1 0 22137758 645107712 109941 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157497 109941 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1127.42
Current children cumulated vsize (Kb) 629988

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 272336 0 0 0 112484 1249 0 0 25 0 1 0 22137758 645107712 109944 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157497 109944 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1137.33
Current children cumulated vsize (Kb) 629988

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 272342 0 0 0 113459 1258 0 0 25 0 1 0 22137758 645107712 109950 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157497 109950 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1147.17
Current children cumulated vsize (Kb) 629988

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 272347 0 0 0 114430 1268 0 0 25 0 1 0 22137758 645107712 109955 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157497 109955 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1156.98
Current children cumulated vsize (Kb) 629988

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 274505 0 0 0 115407 1278 0 0 25 0 1 0 22137758 645107712 109957 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157497 109957 364 364 0 157133 0
[pid=8559] vsize: 629988
Current children cumulated CPU time (s) 1166.85
Current children cumulated vsize (Kb) 629988

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 274538 0 0 0 116383 1287 0 0 25 0 1 0 22137758 645242880 109990 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157530 109990 364 364 0 157166 0
[pid=8559] vsize: 630120
Current children cumulated CPU time (s) 1176.7
Current children cumulated vsize (Kb) 630120

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 274545 0 0 0 117355 1297 0 0 25 0 1 0 22137758 645242880 109997 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8559/statm): 157530 109997 364 364 0 157166 0
[pid=8559] vsize: 630120
Current children cumulated CPU time (s) 1186.52
Current children cumulated vsize (Kb) 630120

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 276704 0 0 0 118331 1308 0 0 25 0 1 0 22137758 645242880 110000 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157530 110000 364 364 0 157166 0
[pid=8559] vsize: 630120
Current children cumulated CPU time (s) 1196.39
Current children cumulated vsize (Kb) 630120

[startup+1220.06 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) R 8558 8559 4057 0 -1 0 276710 0 0 0 119299 1318 0 0 25 0 1 0 22137758 645242880 110006 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157530 110006 364 364 0 157166 0
[pid=8559] vsize: 630120
Current children cumulated CPU time (s) 1206.17
Current children cumulated vsize (Kb) 630120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.07 1.01 0.97 1/55 8622
Raw data (/proc/8559/stat): 8559 (pb2sat) T 8558 8559 4057 0 -1 0 276710 0 0 0 119299 1318 0 0 25 0 1 0 22137758 645242880 110006 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8559/statm): 157530 110006 364 364 0 157166 0
[pid=8559] vsize: 630120
Current children cumulated CPU time (s) 1206.17
Current children cumulated vsize (Kb) 630120

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

Child status: 0
Real time (s): 1222.09
CPU time (s): 1208.2
CPU user time (s): 1194.78
CPU system time (s): 13.416
CPU usage (%): 98.8631
Max. virtual memory (cumulated for all children) (Kb): 638612

Verifier Data

ERROR: no interpretation found !