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-sentoy.opb
MD5SUM4df3e7eb358d27d446e34b975724a6c1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved NO
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.68
Number of variables60
Total number of constraints90
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint60

Trace number 10423

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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:        893696 kB
Buffers:         15808 kB
Cached:         106388 kB
SwapCached:          0 kB
Active:          66176 kB
Inactive:        58864 kB
HighTotal:      131008 kB
HighFree:        22764 kB
LowTotal:       903652 kB
LowFree:        870932 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10296 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:17:08 (client local time) WITH STATUS 0 IN 1212.15 SECONDS
stats: 9128 0 1212.15 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 7584
c small objective detected
c CONFLICT during preprocess 
c [startup+113.691 s]  setting bit 13 to 0
s SATISFIABLE
v -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 -Y18_bit0 Y19_bit0 -Y1_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y2_bit0 -Y30_bit0 Y31_bit0 Y32_bit0 Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 Y39_bit0 -Y3_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y4_bit0 Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y5_bit0 -Y60_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 Y9_bit0

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/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22155892 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 373 2 364 364 0 9 0
[pid=9918] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-sentoy.opb

[startup+10.0016 s]
Raw data (loadavg): 0.87 0.94 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 28094 0 0 0 936 60 0 0 25 0 1 0 22155892 84914176 16956 4294967295 134512640 135987407 3221224560 3221212092 135499994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 20731 16956 364 364 0 20367 0
[pid=9918] vsize: 82924
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 82924

[startup+20.0023 s]
Raw data (loadavg): 0.89 0.94 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 54417 0 0 0 1882 113 0 0 25 0 1 0 22155892 162086912 32063 4294967295 134512640 135987407 3221224560 3221216672 134636949 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 39572 32063 364 364 0 39208 0
[pid=9918] vsize: 158288
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 158288

[startup+30.003 s]
Raw data (loadavg): 0.90 0.94 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 93511 0 0 0 2794 198 0 0 25 0 1 0 22155892 278708224 48956 4294967295 134512640 135987407 3221224560 3221216112 134854943 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 68044 48956 364 364 0 67680 0
[pid=9918] vsize: 272176
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 272176

[startup+40.0037 s]
Raw data (loadavg): 0.92 0.94 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 107144 0 0 0 3765 226 0 0 25 0 1 0 22155892 316051456 62359 4294967295 134512640 135987407 3221224560 3221213640 134789811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 77161 62359 364 364 0 76797 0
[pid=9918] vsize: 308644
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 308644

[startup+50.0044 s]
Raw data (loadavg): 0.93 0.94 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 140787 0 0 0 4693 295 0 0 25 0 1 0 22155892 498405376 95085 4294967295 134512640 135987407 3221224560 3221215440 134854951 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 121681 95085 364 364 0 121317 0
[pid=9918] vsize: 486724
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 486724

[startup+60.0051 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 185399 0 0 0 5596 392 0 0 25 0 1 0 22155892 549670912 96213 4294967295 134512640 135987407 3221224560 3221210572 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 134197 96213 364 364 0 133833 0
[pid=9918] vsize: 536788
Current children cumulated CPU time (s) 59.88
Current children cumulated vsize (Kb) 536788

[startup+70.0058 s]
Raw data (loadavg): 0.95 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 197964 0 0 0 6566 422 0 0 25 0 1 0 22155892 586608640 108566 4294967295 134512640 135987407 3221224560 3221212288 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 143215 108566 364 364 0 142851 0
[pid=9918] vsize: 572860
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 572860

[startup+80.0065 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 212815 0 0 0 7534 453 0 0 25 0 1 0 22155892 591355904 123169 4294967295 134512640 135987407 3221224560 3221220848 134636919 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 144374 123169 364 364 0 144010 0
[pid=9918] vsize: 577496
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (Kb) 577496

[startup+90.0072 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 230360 0 0 0 8494 493 0 0 25 0 1 0 22155892 623972352 140541 4294967295 134512640 135987407 3221224560 3221223120 134829319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 152337 140541 364 364 0 151973 0
[pid=9918] vsize: 609348
Current children cumulated CPU time (s) 89.87
Current children cumulated vsize (Kb) 609348

[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 237814 0 0 0 9474 510 0 0 25 0 1 0 22155892 637317120 142304 4294967295 134512640 135987407 3221224560 3221208400 134537429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 155595 142304 364 364 0 155231 0
[pid=9918] vsize: 622380
Current children cumulated CPU time (s) 99.84
Current children cumulated vsize (Kb) 622380

[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 247601 0 0 0 10450 535 0 0 25 0 1 0 22155892 717877248 148400 4294967295 134512640 135987407 3221224560 3221222952 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 175263 148400 364 364 0 174899 0
[pid=9918] vsize: 701052
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 701052

[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 251347 0 0 0 11440 545 0 0 25 0 1 0 22155892 702590976 144682 4294967295 134512640 135987407 3221224560 3221223264 134817687 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 171531 144682 364 364 0 171167 0
[pid=9918] vsize: 686124
Current children cumulated CPU time (s) 119.85
Current children cumulated vsize (Kb) 686124

[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 251578 0 0 0 12439 545 0 0 25 0 1 0 22155892 703148032 144880 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 171667 144880 364 364 0 171303 0
[pid=9918] vsize: 686668
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 686668

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 253187 0 0 0 13436 549 0 0 25 0 1 0 22155892 707600384 145462 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 172754 145462 364 364 0 172390 0
[pid=9918] vsize: 691016
Current children cumulated CPU time (s) 139.85
Current children cumulated vsize (Kb) 691016

[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 254173 0 0 0 14434 551 0 0 25 0 1 0 22155892 710619136 145708 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 173491 145708 364 364 0 173127 0
[pid=9918] vsize: 693964
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 693964

[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 255511 0 0 0 15430 555 0 0 25 0 1 0 22155892 714510336 146276 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 174441 146276 364 364 0 174077 0
[pid=9918] vsize: 697764
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 697764

[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 255518 0 0 0 16430 555 0 0 25 0 1 0 22155892 714510336 146283 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 174441 146283 364 364 0 174077 0
[pid=9918] vsize: 697764
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (Kb) 697764

[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9918
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 256195 0 0 0 17429 556 0 0 25 0 1 0 22155892 716779520 146447 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 174995 146447 364 364 0 174631 0
[pid=9918] vsize: 699980
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (Kb) 699980

[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.92 3/59 9926
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 256330 0 0 0 18428 556 0 0 25 0 1 0 22155892 717266944 146517 4294967295 134512640 135987407 3221224560 3221223104 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 175114 146517 364 364 0 174750 0
[pid=9918] vsize: 700456
Current children cumulated CPU time (s) 189.84
Current children cumulated vsize (Kb) 700456

[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9973
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 257489 0 0 0 19425 559 0 0 25 0 1 0 22155892 720412672 146906 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 175882 146906 364 364 0 175518 0
[pid=9918] vsize: 703528
Current children cumulated CPU time (s) 199.84
Current children cumulated vsize (Kb) 703528

[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9973
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 257494 0 0 0 20425 559 0 0 25 0 1 0 22155892 720412672 146911 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 175882 146911 364 364 0 175518 0
[pid=9918] vsize: 703528
Current children cumulated CPU time (s) 209.84
Current children cumulated vsize (Kb) 703528

[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9973
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 257616 0 0 0 21425 559 0 0 25 0 1 0 22155892 720560128 146996 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 175918 146996 364 364 0 175554 0
[pid=9918] vsize: 703672
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (Kb) 703672

[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9973
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 259058 0 0 0 22423 561 0 0 25 0 1 0 22155892 723968000 147602 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 176750 147602 364 364 0 176386 0
[pid=9918] vsize: 707000
Current children cumulated CPU time (s) 229.84
Current children cumulated vsize (Kb) 707000

[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9973
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 259632 0 0 0 23422 562 0 0 25 0 1 0 22155892 725200896 147919 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 177051 147920 364 364 0 176687 0
[pid=9918] vsize: 708204
Current children cumulated CPU time (s) 239.84
Current children cumulated vsize (Kb) 708204

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9975
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 259666 0 0 0 24421 563 0 0 25 0 1 0 22155892 725200896 147953 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 177051 147953 364 364 0 176687 0
[pid=9918] vsize: 708204
Current children cumulated CPU time (s) 249.84
Current children cumulated vsize (Kb) 708204

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9975
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 259762 0 0 0 25422 563 0 0 25 0 1 0 22155892 725200896 148049 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 177051 148049 364 364 0 176687 0
[pid=9918] vsize: 708204
Current children cumulated CPU time (s) 259.85
Current children cumulated vsize (Kb) 708204

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 260070 0 0 0 26420 564 0 0 25 0 1 0 22155892 726249472 148100 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 177307 148100 364 364 0 176943 0
[pid=9918] vsize: 709228
Current children cumulated CPU time (s) 269.84
Current children cumulated vsize (Kb) 709228

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261719 0 0 0 27417 567 0 0 25 0 1 0 22155892 730673152 148724 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178387 148724 364 364 0 178023 0
[pid=9918] vsize: 713548
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (Kb) 713548

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261719 0 0 0 28418 567 0 0 25 0 1 0 22155892 730673152 148724 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178387 148724 364 364 0 178023 0
[pid=9918] vsize: 713548
Current children cumulated CPU time (s) 289.85
Current children cumulated vsize (Kb) 713548

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261750 0 0 0 29418 567 0 0 25 0 1 0 22155892 730673152 148755 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178387 148755 364 364 0 178023 0
[pid=9918] vsize: 713548
Current children cumulated CPU time (s) 299.85
Current children cumulated vsize (Kb) 713548

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261783 0 0 0 30418 567 0 0 25 0 1 0 22155892 730902528 148788 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148788 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 309.85
Current children cumulated vsize (Kb) 713772

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261934 0 0 0 31417 567 0 0 25 0 1 0 22155892 730902528 148939 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148939 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 319.84
Current children cumulated vsize (Kb) 713772

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261953 0 0 0 32418 567 0 0 25 0 1 0 22155892 730902528 148958 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148958 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 329.85
Current children cumulated vsize (Kb) 713772

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261954 0 0 0 33418 567 0 0 25 0 1 0 22155892 730902528 148959 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148959 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 339.85
Current children cumulated vsize (Kb) 713772

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261955 0 0 0 34418 567 0 0 25 0 1 0 22155892 730902528 148960 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148960 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 349.85
Current children cumulated vsize (Kb) 713772

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261955 0 0 0 35418 567 0 0 25 0 1 0 22155892 730902528 148960 4294967295 134512640 135987407 3221224560 3221223104 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148960 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 359.85
Current children cumulated vsize (Kb) 713772

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 261957 0 0 0 36418 567 0 0 25 0 1 0 22155892 730902528 148962 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 148962 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 369.85
Current children cumulated vsize (Kb) 713772

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262117 0 0 0 37418 567 0 0 25 0 1 0 22155892 730902528 149122 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 149122 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 379.85
Current children cumulated vsize (Kb) 713772

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262119 0 0 0 38418 568 0 0 25 0 1 0 22155892 730902528 149124 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 149124 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 389.86
Current children cumulated vsize (Kb) 713772

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262119 0 0 0 39419 568 0 0 25 0 1 0 22155892 730902528 149124 4294967295 134512640 135987407 3221224560 3221222944 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 149124 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 399.87
Current children cumulated vsize (Kb) 713772

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262119 0 0 0 40419 568 0 0 25 0 1 0 22155892 730902528 149124 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178443 149124 364 364 0 178079 0
[pid=9918] vsize: 713772
Current children cumulated CPU time (s) 409.87
Current children cumulated vsize (Kb) 713772

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262274 0 0 0 41418 568 0 0 25 0 1 0 22155892 731426816 149150 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178571 149150 364 364 0 178207 0
[pid=9918] vsize: 714284
Current children cumulated CPU time (s) 419.86
Current children cumulated vsize (Kb) 714284

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262275 0 0 0 42418 568 0 0 25 0 1 0 22155892 731426816 149151 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178571 149151 364 364 0 178207 0
[pid=9918] vsize: 714284
Current children cumulated CPU time (s) 429.86
Current children cumulated vsize (Kb) 714284

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262279 0 0 0 43418 568 0 0 25 0 1 0 22155892 731426816 149155 4294967295 134512640 135987407 3221224560 3221223172 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178571 149155 364 364 0 178207 0
[pid=9918] vsize: 714284
Current children cumulated CPU time (s) 439.86
Current children cumulated vsize (Kb) 714284

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262279 0 0 0 44419 568 0 0 25 0 1 0 22155892 731426816 149155 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178571 149155 364 364 0 178207 0
[pid=9918] vsize: 714284
Current children cumulated CPU time (s) 449.87
Current children cumulated vsize (Kb) 714284

[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 262669 0 0 0 45418 569 0 0 25 0 1 0 22155892 732475392 149288 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 178827 149288 364 364 0 178463 0
[pid=9918] vsize: 715308
Current children cumulated CPU time (s) 459.87
Current children cumulated vsize (Kb) 715308

[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263679 0 0 0 46416 571 0 0 25 0 1 0 22155892 734834688 149720 4294967295 134512640 135987407 3221224560 3221223200 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149720 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 469.87
Current children cumulated vsize (Kb) 717612

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263679 0 0 0 47416 571 0 0 25 0 1 0 22155892 734834688 149720 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149720 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 479.87
Current children cumulated vsize (Kb) 717612

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263679 0 0 0 48416 571 0 0 25 0 1 0 22155892 734834688 149720 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149720 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 489.87
Current children cumulated vsize (Kb) 717612

[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263708 0 0 0 49416 571 0 0 25 0 1 0 22155892 734834688 149749 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149749 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 499.87
Current children cumulated vsize (Kb) 717612

[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263709 0 0 0 50417 571 0 0 25 0 1 0 22155892 734834688 149750 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149750 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 509.88
Current children cumulated vsize (Kb) 717612

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9979
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263774 0 0 0 51417 571 0 0 25 0 1 0 22155892 734834688 149815 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179403 149815 364 364 0 179039 0
[pid=9918] vsize: 717612
Current children cumulated CPU time (s) 519.88
Current children cumulated vsize (Kb) 717612

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263901 0 0 0 52417 571 0 0 25 0 1 0 22155892 735141888 149942 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179478 149942 364 364 0 179114 0
[pid=9918] vsize: 717912
Current children cumulated CPU time (s) 529.88
Current children cumulated vsize (Kb) 717912

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263981 0 0 0 53417 571 0 0 25 0 1 0 22155892 735141888 150022 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179478 150022 364 364 0 179114 0
[pid=9918] vsize: 717912
Current children cumulated CPU time (s) 539.88
Current children cumulated vsize (Kb) 717912

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 263982 0 0 0 54417 571 0 0 25 0 1 0 22155892 735141888 150023 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 179478 150023 364 364 0 179114 0
[pid=9918] vsize: 717912
Current children cumulated CPU time (s) 549.88
Current children cumulated vsize (Kb) 717912

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265337 0 0 0 55415 574 0 0 25 0 1 0 22155892 739336192 150353 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150353 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 559.89
Current children cumulated vsize (Kb) 722008

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265338 0 0 0 56415 574 0 0 25 0 1 0 22155892 739336192 150354 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150354 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 569.89
Current children cumulated vsize (Kb) 722008

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265338 0 0 0 57415 574 0 0 25 0 1 0 22155892 739336192 150354 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150354 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 579.89
Current children cumulated vsize (Kb) 722008

[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265339 0 0 0 58415 574 0 0 25 0 1 0 22155892 739336192 150355 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150355 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 589.89
Current children cumulated vsize (Kb) 722008

[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265358 0 0 0 59415 574 0 0 25 0 1 0 22155892 739336192 150374 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150374 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 599.89
Current children cumulated vsize (Kb) 722008

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265358 0 0 0 60415 574 0 0 25 0 1 0 22155892 739336192 150374 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150374 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 609.89
Current children cumulated vsize (Kb) 722008

[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265358 0 0 0 61415 574 0 0 25 0 1 0 22155892 739336192 150374 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150374 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 619.89
Current children cumulated vsize (Kb) 722008

[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265359 0 0 0 62416 574 0 0 25 0 1 0 22155892 739336192 150375 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150375 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 629.9
Current children cumulated vsize (Kb) 722008

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265359 0 0 0 63416 574 0 0 25 0 1 0 22155892 739336192 150375 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150375 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 639.9
Current children cumulated vsize (Kb) 722008

[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265359 0 0 0 64416 574 0 0 25 0 1 0 22155892 739336192 150375 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150375 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 649.9
Current children cumulated vsize (Kb) 722008

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265360 0 0 0 65416 575 0 0 25 0 1 0 22155892 739336192 150376 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150376 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 659.91
Current children cumulated vsize (Kb) 722008

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265360 0 0 0 66416 575 0 0 25 0 1 0 22155892 739336192 150376 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150376 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 669.91
Current children cumulated vsize (Kb) 722008

[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265454 0 0 0 67416 575 0 0 25 0 1 0 22155892 739336192 150470 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150470 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 679.91
Current children cumulated vsize (Kb) 722008

[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265454 0 0 0 68417 575 0 0 25 0 1 0 22155892 739336192 150470 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150470 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 689.92
Current children cumulated vsize (Kb) 722008

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265657 0 0 0 69416 575 0 0 25 0 1 0 22155892 739336192 150673 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180502 150673 364 364 0 180138 0
[pid=9918] vsize: 722008
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (Kb) 722008

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265811 0 0 0 70416 576 0 0 25 0 1 0 22155892 739860480 150698 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150698 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 709.92
Current children cumulated vsize (Kb) 722520

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265811 0 0 0 71416 576 0 0 25 0 1 0 22155892 739860480 150698 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150698 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 719.92
Current children cumulated vsize (Kb) 722520

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265812 0 0 0 72416 576 0 0 25 0 1 0 22155892 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150699 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 729.92
Current children cumulated vsize (Kb) 722520

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265812 0 0 0 73417 576 0 0 25 0 1 0 22155892 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150699 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 739.93
Current children cumulated vsize (Kb) 722520

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265812 0 0 0 74417 576 0 0 25 0 1 0 22155892 739860480 150699 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150699 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 749.93
Current children cumulated vsize (Kb) 722520

[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 265812 0 0 0 75417 576 0 0 25 0 1 0 22155892 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 180630 150699 364 364 0 180266 0
[pid=9918] vsize: 722520
Current children cumulated CPU time (s) 759.93
Current children cumulated vsize (Kb) 722520

[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 267080 0 0 0 76414 578 0 0 25 0 1 0 22155892 744054784 150942 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 181654 150942 364 364 0 181290 0
[pid=9918] vsize: 726616
Current children cumulated CPU time (s) 769.92
Current children cumulated vsize (Kb) 726616

[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 267213 0 0 0 77414 578 0 0 25 0 1 0 22155892 744054784 151075 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 181654 151075 364 364 0 181290 0
[pid=9918] vsize: 726616
Current children cumulated CPU time (s) 779.92
Current children cumulated vsize (Kb) 726616

[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 267213 0 0 0 78414 578 0 0 25 0 1 0 22155892 744054784 151075 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 181654 151075 364 364 0 181290 0
[pid=9918] vsize: 726616
Current children cumulated CPU time (s) 789.92
Current children cumulated vsize (Kb) 726616

[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268550 0 0 0 79412 581 0 0 25 0 1 0 22155892 747200512 151642 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151642 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 799.93
Current children cumulated vsize (Kb) 729688

[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268594 0 0 0 80412 581 0 0 25 0 1 0 22155892 747200512 151686 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151686 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 809.93
Current children cumulated vsize (Kb) 729688

[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268594 0 0 0 81412 581 0 0 25 0 1 0 22155892 747200512 151686 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151686 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 819.93
Current children cumulated vsize (Kb) 729688

[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268594 0 0 0 82412 581 0 0 25 0 1 0 22155892 747200512 151686 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151686 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 829.93
Current children cumulated vsize (Kb) 729688

[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268594 0 0 0 83413 581 0 0 25 0 1 0 22155892 747200512 151686 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151686 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 839.94
Current children cumulated vsize (Kb) 729688

[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268594 0 0 0 84413 581 0 0 25 0 1 0 22155892 747200512 151686 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151686 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 849.94
Current children cumulated vsize (Kb) 729688

[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268595 0 0 0 85413 581 0 0 25 0 1 0 22155892 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151687 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 859.94
Current children cumulated vsize (Kb) 729688

[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268595 0 0 0 86413 581 0 0 25 0 1 0 22155892 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151687 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 869.94
Current children cumulated vsize (Kb) 729688

[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268595 0 0 0 87413 581 0 0 25 0 1 0 22155892 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151687 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 879.94
Current children cumulated vsize (Kb) 729688

[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268595 0 0 0 88413 581 0 0 25 0 1 0 22155892 747200512 151687 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151687 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 889.94
Current children cumulated vsize (Kb) 729688

[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268595 0 0 0 89414 581 0 0 25 0 1 0 22155892 747200512 151687 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151687 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 899.95
Current children cumulated vsize (Kb) 729688

[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268596 0 0 0 90414 581 0 0 25 0 1 0 22155892 747200512 151688 4294967295 134512640 135987407 3221224560 3221223196 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151688 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 909.95
Current children cumulated vsize (Kb) 729688

[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268596 0 0 0 91414 581 0 0 25 0 1 0 22155892 747200512 151688 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151688 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 919.95
Current children cumulated vsize (Kb) 729688

[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268596 0 0 0 92414 581 0 0 25 0 1 0 22155892 747200512 151688 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151688 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 929.95
Current children cumulated vsize (Kb) 729688

[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268596 0 0 0 93414 581 0 0 25 0 1 0 22155892 747200512 151688 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151688 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 939.95
Current children cumulated vsize (Kb) 729688

[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268597 0 0 0 94414 581 0 0 25 0 1 0 22155892 747200512 151689 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151689 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 949.95
Current children cumulated vsize (Kb) 729688

[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268598 0 0 0 95414 581 0 0 25 0 1 0 22155892 747200512 151690 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151690 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 959.95
Current children cumulated vsize (Kb) 729688

[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268598 0 0 0 96414 581 0 0 25 0 1 0 22155892 747200512 151690 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182422 151690 364 364 0 182058 0
[pid=9918] vsize: 729688
Current children cumulated CPU time (s) 969.95
Current children cumulated vsize (Kb) 729688

[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268676 0 0 0 97414 581 0 0 25 0 1 0 22155892 747462656 151703 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182486 151703 364 364 0 182122 0
[pid=9918] vsize: 729944
Current children cumulated CPU time (s) 979.95
Current children cumulated vsize (Kb) 729944

[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268756 0 0 0 98414 582 0 0 25 0 1 0 22155892 747462656 151783 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182486 151783 364 364 0 182122 0
[pid=9918] vsize: 729944
Current children cumulated CPU time (s) 989.96
Current children cumulated vsize (Kb) 729944

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 268814 0 0 0 99414 582 0 0 25 0 1 0 22155892 747462656 151841 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182486 151841 364 364 0 182122 0
[pid=9918] vsize: 729944
Current children cumulated CPU time (s) 999.96
Current children cumulated vsize (Kb) 729944

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269322 0 0 0 100413 583 0 0 25 0 1 0 22155892 749043712 152090 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182872 152090 364 364 0 182508 0
[pid=9918] vsize: 731488
Current children cumulated CPU time (s) 1009.96
Current children cumulated vsize (Kb) 731488

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269322 0 0 0 101414 583 0 0 25 0 1 0 22155892 749043712 152090 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182872 152090 364 364 0 182508 0
[pid=9918] vsize: 731488
Current children cumulated CPU time (s) 1019.97
Current children cumulated vsize (Kb) 731488

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269381 0 0 0 102414 583 0 0 25 0 1 0 22155892 749228032 152149 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9918/statm): 182917 152149 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1029.97
Current children cumulated vsize (Kb) 731668

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269430 0 0 0 103414 583 0 0 25 0 1 0 22155892 749228032 152198 4294967295 134512640 135987407 3221224560 3221223156 135478627 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152198 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1039.97
Current children cumulated vsize (Kb) 731668

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269430 0 0 0 104414 583 0 0 25 0 1 0 22155892 749228032 152198 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152198 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1049.97
Current children cumulated vsize (Kb) 731668

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269430 0 0 0 105414 583 0 0 25 0 1 0 22155892 749228032 152198 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152198 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1059.97
Current children cumulated vsize (Kb) 731668

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269430 0 0 0 106414 583 0 0 25 0 1 0 22155892 749228032 152198 4294967295 134512640 135987407 3221224560 3221222876 135482074 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152198 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1069.97
Current children cumulated vsize (Kb) 731668

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269431 0 0 0 107414 583 0 0 25 0 1 0 22155892 749228032 152199 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152199 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1079.97
Current children cumulated vsize (Kb) 731668

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269432 0 0 0 108414 583 0 0 25 0 1 0 22155892 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152200 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1089.97
Current children cumulated vsize (Kb) 731668

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269432 0 0 0 109414 583 0 0 25 0 1 0 22155892 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152200 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1099.97
Current children cumulated vsize (Kb) 731668

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269432 0 0 0 110414 583 0 0 25 0 1 0 22155892 749228032 152200 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152200 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1109.97
Current children cumulated vsize (Kb) 731668

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269432 0 0 0 111414 583 0 0 25 0 1 0 22155892 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152200 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1119.97
Current children cumulated vsize (Kb) 731668

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269433 0 0 0 112414 583 0 0 25 0 1 0 22155892 749228032 152201 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152201 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1129.97
Current children cumulated vsize (Kb) 731668

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269434 0 0 0 113414 583 0 0 25 0 1 0 22155892 749228032 152202 4294967295 134512640 135987407 3221224560 3221223280 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152202 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1139.97
Current children cumulated vsize (Kb) 731668

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269435 0 0 0 114414 583 0 0 25 0 1 0 22155892 749228032 152203 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152203 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1149.97
Current children cumulated vsize (Kb) 731668

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269435 0 0 0 115414 583 0 0 25 0 1 0 22155892 749228032 152203 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152203 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1159.97
Current children cumulated vsize (Kb) 731668

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269436 0 0 0 116414 584 0 0 25 0 1 0 22155892 749228032 152204 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152204 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1169.98
Current children cumulated vsize (Kb) 731668

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269436 0 0 0 117414 584 0 0 25 0 1 0 22155892 749228032 152204 4294967295 134512640 135987407 3221224560 3221222988 134801609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182917 152204 364 364 0 182553 0
[pid=9918] vsize: 731668
Current children cumulated CPU time (s) 1179.98
Current children cumulated vsize (Kb) 731668

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 269580 0 0 0 118413 584 0 0 25 0 1 0 22155892 749432832 152348 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 182967 152348 364 364 0 182603 0
[pid=9918] vsize: 731868
Current children cumulated CPU time (s) 1189.97
Current children cumulated vsize (Kb) 731868

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 270279 0 0 0 119412 586 0 0 25 0 1 0 22155892 751005696 152661 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 183351 152661 364 364 0 182987 0
[pid=9918] vsize: 733404
Current children cumulated CPU time (s) 1199.98
Current children cumulated vsize (Kb) 733404

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 270314 0 0 0 120412 586 0 0 25 0 1 0 22155892 751005696 152696 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 183351 152696 364 364 0 182987 0
[pid=9918] vsize: 733404
Current children cumulated CPU time (s) 1209.98
Current children cumulated vsize (Kb) 733404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9981
Raw data (/proc/9918/stat): 9918 (pb2sat) R 9917 9918 4059 0 -1 0 270314 0 0 0 120412 586 0 0 25 0 1 0 22155892 751005696 152696 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9918/statm): 183351 152696 364 364 0 182987 0
[pid=9918] vsize: 733404
Current children cumulated CPU time (s) 1209.98
Current children cumulated vsize (Kb) 733404

Sending SIGTERM to -9918
Sleeping 2 seconds
Sending SIGKILL to -9918
One traced child (pid=9918) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.2
CPU time (s): 1212.15
CPU user time (s): 1205.96
CPU system time (s): 6.18106
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (Kb): 733404

Verifier Data

Verifier:	OK	-1876