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

Namesubmitted/een/normalized-lseu.opb
MD5SUMa578bf261896413ca78de4dc6db2447f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark526.298
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47

Trace number 9796

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-23 15:14:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8476 boxname=wulflinc12 idbench=272 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc12/normalized-lseu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-lseu.opb
IDLAUNCH: 8476
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        952612 kB
Buffers:          5460 kB
Cached:          57440 kB
SwapCached:          0 kB
Active:          17748 kB
Inactive:        48044 kB
HighTotal:      131008 kB
HighFree:        91504 kB
LowTotal:       903652 kB
LowFree:        861108 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10676 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:34:37 (client local time) WITH STATUS 10 IN 1209.43 SECONDS
stats: 8476 0 1209.43 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 4477
c small objective detected
c CONFLICT during preprocess 
c [startup+10.8516 s]  setting bit 13 to 0
c [startup+21.453 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+26.4916 s]  setting bit 11 to 1

c Decision: 70803/210065	Time: 587.725/86400
c Decision: 70808/210065	Time: 672.834/86400
c Decision: 70829/210065	Time: 798.366/86400
c Decision: 70848/210065	Time: 862.323/86400
c got solution with objective value: 1398
c [startup+900.428 s]  setting bit 10 to 1

c Decision: 96282/210065	Time: 265.519/86400s SATISFIABLE
v x0 x1 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x2 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x3 -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x8 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x9

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/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21185658 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 373 2 364 364 0 9 0
[pid=8297] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-lseu.opb

[startup+10.0018 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 30762 0 0 0 929 67 0 0 25 0 1 0 21185658 95797248 19570 4294967295 134512640 135987407 3221224576 3221223008 135477320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 23388 19570 364 364 0 23024 0
[pid=8297] vsize: 93552
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 93552

[startup+20.0027 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 33200 0 0 0 1922 72 0 0 25 0 1 0 21185658 101937152 20845 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 24887 20845 364 364 0 24523 0
[pid=8297] vsize: 99548
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 99548

[startup+30.0035 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 34672 0 0 0 2916 77 0 0 25 0 1 0 21185658 104304640 21330 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25465 21330 364 364 0 25101 0
[pid=8297] vsize: 101860
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 101860

[startup+40.0043 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 34988 0 0 0 3915 77 0 0 25 0 1 0 21185658 105766912 21580 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25822 21580 364 364 0 25458 0
[pid=8297] vsize: 103288
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 103288

[startup+50.0052 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 34996 0 0 0 4914 77 0 0 25 0 1 0 21185658 105766912 21588 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25822 21588 364 364 0 25458 0
[pid=8297] vsize: 103288
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 103288

[startup+60.005 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35039 0 0 0 5913 78 0 0 25 0 1 0 21185658 106033152 21631 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25887 21631 364 364 0 25523 0
[pid=8297] vsize: 103548
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 103548

[startup+70.0058 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35076 0 0 0 6911 79 0 0 25 0 1 0 21185658 106033152 21668 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25887 21668 364 364 0 25523 0
[pid=8297] vsize: 103548
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (Kb) 103548

[startup+80.0067 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35113 0 0 0 7910 80 0 0 25 0 1 0 21185658 105897984 21672 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25854 21672 364 364 0 25490 0
[pid=8297] vsize: 103416
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 103416

[startup+90.0075 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35125 0 0 0 8909 80 0 0 25 0 1 0 21185658 105897984 21684 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25854 21684 364 364 0 25490 0
[pid=8297] vsize: 103416
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (Kb) 103416

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35201 0 0 0 9908 80 0 0 25 0 1 0 21185658 106164224 21760 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25919 21760 364 364 0 25555 0
[pid=8297] vsize: 103676
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (Kb) 103676

[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35208 0 0 0 10907 81 0 0 25 0 1 0 21185658 106164224 21767 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25919 21767 364 364 0 25555 0
[pid=8297] vsize: 103676
Current children cumulated CPU time (s) 109.88
Current children cumulated vsize (Kb) 103676

[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35212 0 0 0 11906 81 0 0 25 0 1 0 21185658 106164224 21771 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25919 21771 364 364 0 25555 0
[pid=8297] vsize: 103676
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (Kb) 103676

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 35226 0 0 0 12904 82 0 0 25 0 1 0 21185658 106164224 21785 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 25919 21785 364 364 0 25555 0
[pid=8297] vsize: 103676
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 103676

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) T 8296 8297 4060 0 -1 0 35775 0 0 0 13901 84 0 0 25 0 1 0 21185658 109297664 22301 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8297/statm): 26684 22301 364 364 0 26320 0
[pid=8297] vsize: 106736
Current children cumulated CPU time (s) 139.85
Current children cumulated vsize (Kb) 106736

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 36363 0 0 0 14898 86 0 0 25 0 1 0 21185658 111763456 22692 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27286 22692 364 364 0 26922 0
[pid=8297] vsize: 109144
Current children cumulated CPU time (s) 149.84
Current children cumulated vsize (Kb) 109144

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 36578 0 0 0 15896 87 0 0 25 0 1 0 21185658 112427008 22808 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27448 22808 364 364 0 27084 0
[pid=8297] vsize: 109792
Current children cumulated CPU time (s) 159.83
Current children cumulated vsize (Kb) 109792

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 36630 0 0 0 16895 88 0 0 25 0 1 0 21185658 112558080 22827 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27480 22827 364 364 0 27116 0
[pid=8297] vsize: 109920
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 109920

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 36667 0 0 0 17894 88 0 0 25 0 1 0 21185658 112558080 22864 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27480 22864 364 364 0 27116 0
[pid=8297] vsize: 109920
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 109920

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 36783 0 0 0 18891 89 0 0 25 0 1 0 21185658 113127424 22980 4294967295 134512640 135987407 3221224576 3221223260 134812454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27619 22980 364 364 0 27255 0
[pid=8297] vsize: 110476
Current children cumulated CPU time (s) 189.8
Current children cumulated vsize (Kb) 110476

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37036 0 0 0 19888 90 0 0 25 0 1 0 21185658 114057216 23134 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27846 23134 364 364 0 27482 0
[pid=8297] vsize: 111384
Current children cumulated CPU time (s) 199.78
Current children cumulated vsize (Kb) 111384

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37090 0 0 0 20887 91 0 0 25 0 1 0 21185658 114188288 23155 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27878 23155 364 364 0 27514 0
[pid=8297] vsize: 111512
Current children cumulated CPU time (s) 209.78
Current children cumulated vsize (Kb) 111512

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37151 0 0 0 21885 92 0 0 25 0 1 0 21185658 114319360 23183 4294967295 134512640 135987407 3221224576 3221223120 134811692 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 27910 23183 364 364 0 27546 0
[pid=8297] vsize: 111640
Current children cumulated CPU time (s) 219.77
Current children cumulated vsize (Kb) 111640

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37359 0 0 0 22882 93 0 0 25 0 1 0 21185658 115113984 23325 4294967295 134512640 135987407 3221224576 3221223264 134812773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28104 23325 364 364 0 27740 0
[pid=8297] vsize: 112416
Current children cumulated CPU time (s) 229.75
Current children cumulated vsize (Kb) 112416

[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37602 0 0 0 23880 94 0 0 25 0 1 0 21185658 115904512 23502 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28297 23502 364 364 0 27933 0
[pid=8297] vsize: 113188
Current children cumulated CPU time (s) 239.74
Current children cumulated vsize (Kb) 113188

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37648 0 0 0 24878 95 0 0 25 0 1 0 21185658 116035584 23515 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28329 23515 364 364 0 27965 0
[pid=8297] vsize: 113316
Current children cumulated CPU time (s) 249.73
Current children cumulated vsize (Kb) 113316

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37666 0 0 0 25876 95 0 0 25 0 1 0 21185658 116035584 23533 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28329 23533 364 364 0 27965 0
[pid=8297] vsize: 113316
Current children cumulated CPU time (s) 259.71
Current children cumulated vsize (Kb) 113316

[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37787 0 0 0 26874 96 0 0 25 0 1 0 21185658 116297728 23588 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28393 23588 364 364 0 28029 0
[pid=8297] vsize: 113572
Current children cumulated CPU time (s) 269.7
Current children cumulated vsize (Kb) 113572

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37846 0 0 0 27872 97 0 0 25 0 1 0 21185658 116428800 23614 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28425 23614 364 364 0 28061 0
[pid=8297] vsize: 113700
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (Kb) 113700

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37857 0 0 0 28870 98 0 0 25 0 1 0 21185658 116428800 23625 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28425 23625 364 364 0 28061 0
[pid=8297] vsize: 113700
Current children cumulated CPU time (s) 289.68
Current children cumulated vsize (Kb) 113700

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37873 0 0 0 29869 98 0 0 25 0 1 0 21185658 116428800 23641 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28425 23641 364 364 0 28061 0
[pid=8297] vsize: 113700
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 113700

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 37949 0 0 0 30866 99 0 0 25 0 1 0 21185658 116559872 23684 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28457 23684 364 364 0 28093 0
[pid=8297] vsize: 113828
Current children cumulated CPU time (s) 309.65
Current children cumulated vsize (Kb) 113828

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38057 0 0 0 31863 101 0 0 25 0 1 0 21185658 116957184 23759 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23759 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 319.64
Current children cumulated vsize (Kb) 114216

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38081 0 0 0 32862 102 0 0 25 0 1 0 21185658 116957184 23783 4294967295 134512640 135987407 3221224576 3221223024 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23783 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 329.64
Current children cumulated vsize (Kb) 114216

[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38088 0 0 0 33860 102 0 0 25 0 1 0 21185658 116957184 23790 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23790 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (Kb) 114216

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38101 0 0 0 34859 102 0 0 25 0 1 0 21185658 116957184 23803 4294967295 134512640 135987407 3221224576 3221222992 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23803 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 349.61
Current children cumulated vsize (Kb) 114216

[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38108 0 0 0 35858 102 0 0 25 0 1 0 21185658 116957184 23810 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23810 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 359.6
Current children cumulated vsize (Kb) 114216

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38115 0 0 0 36857 103 0 0 25 0 1 0 21185658 116957184 23817 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23817 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 369.6
Current children cumulated vsize (Kb) 114216

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38126 0 0 0 37856 103 0 0 25 0 1 0 21185658 116957184 23828 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23828 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 379.59
Current children cumulated vsize (Kb) 114216

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38148 0 0 0 38855 104 0 0 25 0 1 0 21185658 116957184 23850 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23850 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (Kb) 114216

[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38155 0 0 0 39853 104 0 0 25 0 1 0 21185658 116957184 23857 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23857 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 399.57
Current children cumulated vsize (Kb) 114216

[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38168 0 0 0 40851 105 0 0 25 0 1 0 21185658 116957184 23870 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23870 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 409.56
Current children cumulated vsize (Kb) 114216

[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38175 0 0 0 41850 106 0 0 25 0 1 0 21185658 116957184 23877 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23877 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 419.56
Current children cumulated vsize (Kb) 114216

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38184 0 0 0 42849 107 0 0 25 0 1 0 21185658 116957184 23886 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23886 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 429.56
Current children cumulated vsize (Kb) 114216

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) T 8296 8297 4060 0 -1 0 38193 0 0 0 43848 108 0 0 25 0 1 0 21185658 116957184 23895 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23895 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 439.56
Current children cumulated vsize (Kb) 114216

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38208 0 0 0 44846 108 0 0 25 0 1 0 21185658 116957184 23910 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23910 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 449.54
Current children cumulated vsize (Kb) 114216

[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38227 0 0 0 45845 108 0 0 25 0 1 0 21185658 116957184 23929 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28554 23929 364 364 0 28190 0
[pid=8297] vsize: 114216
Current children cumulated CPU time (s) 459.53
Current children cumulated vsize (Kb) 114216

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38317 0 0 0 46844 109 0 0 25 0 1 0 21185658 117219328 23954 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28618 23954 364 364 0 28254 0
[pid=8297] vsize: 114472
Current children cumulated CPU time (s) 469.53
Current children cumulated vsize (Kb) 114472

[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38332 0 0 0 47843 109 0 0 25 0 1 0 21185658 117219328 23969 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28618 23969 364 364 0 28254 0
[pid=8297] vsize: 114472
Current children cumulated CPU time (s) 479.52
Current children cumulated vsize (Kb) 114472

[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38342 0 0 0 48842 109 0 0 25 0 1 0 21185658 117219328 23979 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28618 23979 364 364 0 28254 0
[pid=8297] vsize: 114472
Current children cumulated CPU time (s) 489.51
Current children cumulated vsize (Kb) 114472

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38361 0 0 0 49840 110 0 0 25 0 1 0 21185658 117219328 23998 4294967295 134512640 135987407 3221224576 3221223248 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28618 23998 364 364 0 28254 0
[pid=8297] vsize: 114472
Current children cumulated CPU time (s) 499.5
Current children cumulated vsize (Kb) 114472

[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38440 0 0 0 50839 111 0 0 25 0 1 0 21185658 117481472 24012 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28682 24012 364 364 0 28318 0
[pid=8297] vsize: 114728
Current children cumulated CPU time (s) 509.5
Current children cumulated vsize (Kb) 114728

[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38465 0 0 0 51837 112 0 0 25 0 1 0 21185658 117481472 24037 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28682 24037 364 364 0 28318 0
[pid=8297] vsize: 114728
Current children cumulated CPU time (s) 519.49
Current children cumulated vsize (Kb) 114728

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38480 0 0 0 52837 113 0 0 25 0 1 0 21185658 117481472 24052 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28682 24052 364 364 0 28318 0
[pid=8297] vsize: 114728
Current children cumulated CPU time (s) 529.5
Current children cumulated vsize (Kb) 114728

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38495 0 0 0 53836 113 0 0 25 0 1 0 21185658 117481472 24067 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28682 24067 364 364 0 28318 0
[pid=8297] vsize: 114728
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (Kb) 114728

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38516 0 0 0 54834 113 0 0 25 0 1 0 21185658 117481472 24088 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28682 24088 364 364 0 28318 0
[pid=8297] vsize: 114728
Current children cumulated CPU time (s) 549.47
Current children cumulated vsize (Kb) 114728

[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38643 0 0 0 55833 114 0 0 25 0 1 0 21185658 117743616 24150 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24150 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 559.47
Current children cumulated vsize (Kb) 114984

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38646 0 0 0 56831 115 0 0 25 0 1 0 21185658 117743616 24153 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24153 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 569.46
Current children cumulated vsize (Kb) 114984

[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38650 0 0 0 57830 115 0 0 25 0 1 0 21185658 117743616 24157 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24157 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 579.45
Current children cumulated vsize (Kb) 114984

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38654 0 0 0 58829 115 0 0 25 0 1 0 21185658 117743616 24161 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24161 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 589.44
Current children cumulated vsize (Kb) 114984

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38657 0 0 0 59829 116 0 0 25 0 1 0 21185658 117743616 24164 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24164 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 599.45
Current children cumulated vsize (Kb) 114984

[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 38662 0 0 0 60828 116 0 0 25 0 1 0 21185658 117743616 24169 4294967295 134512640 135987407 3221224576 3221222992 134788460 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24169 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 609.44
Current children cumulated vsize (Kb) 114984

[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39074 0 0 0 61827 117 0 0 25 0 1 0 21185658 117743616 24170 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24170 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 619.44
Current children cumulated vsize (Kb) 114984

[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39075 0 0 0 62824 118 0 0 25 0 1 0 21185658 117743616 24171 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24171 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 629.42
Current children cumulated vsize (Kb) 114984

[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39077 0 0 0 63822 118 0 0 25 0 1 0 21185658 117743616 24173 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24173 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 639.4
Current children cumulated vsize (Kb) 114984

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39077 0 0 0 64821 119 0 0 25 0 1 0 21185658 117743616 24173 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24173 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 649.4
Current children cumulated vsize (Kb) 114984

[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39078 0 0 0 65819 120 0 0 25 0 1 0 21185658 117743616 24174 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24174 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 659.39
Current children cumulated vsize (Kb) 114984

[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39079 0 0 0 66819 120 0 0 25 0 1 0 21185658 117743616 24175 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28746 24175 364 364 0 28382 0
[pid=8297] vsize: 114984
Current children cumulated CPU time (s) 669.39
Current children cumulated vsize (Kb) 114984

[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39148 0 0 0 67818 121 0 0 25 0 1 0 21185658 118005760 24179 4294967295 134512640 135987407 3221224576 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24179 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 679.39
Current children cumulated vsize (Kb) 115240

[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39154 0 0 0 68817 121 0 0 25 0 1 0 21185658 118005760 24185 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24185 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 689.38
Current children cumulated vsize (Kb) 115240

[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39569 0 0 0 69815 123 0 0 25 0 1 0 21185658 118005760 24189 4294967295 134512640 135987407 3221224576 3221223216 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24189 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 699.38
Current children cumulated vsize (Kb) 115240

[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39573 0 0 0 70813 124 0 0 25 0 1 0 21185658 118005760 24193 4294967295 134512640 135987407 3221224576 3221223296 134812595 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24193 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 709.37
Current children cumulated vsize (Kb) 115240

[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39579 0 0 0 71812 124 0 0 25 0 1 0 21185658 118005760 24199 4294967295 134512640 135987407 3221224576 3221223120 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24199 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 719.36
Current children cumulated vsize (Kb) 115240

[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39583 0 0 0 72812 124 0 0 25 0 1 0 21185658 118005760 24203 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24203 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 729.36
Current children cumulated vsize (Kb) 115240

[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39587 0 0 0 73811 125 0 0 25 0 1 0 21185658 118005760 24207 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28810 24207 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 115240

[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39592 0 0 0 74810 125 0 0 25 0 1 0 21185658 118005760 24212 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28810 24212 364 364 0 28446 0
[pid=8297] vsize: 115240
Current children cumulated CPU time (s) 749.35
Current children cumulated vsize (Kb) 115240

[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39598 0 0 0 75807 126 0 0 25 0 1 0 21185658 118177792 24218 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28852 24218 364 364 0 28488 0
[pid=8297] vsize: 115408
Current children cumulated CPU time (s) 759.33
Current children cumulated vsize (Kb) 115408

[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39673 0 0 0 76806 127 0 0 25 0 1 0 21185658 118439936 24228 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24228 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 769.33
Current children cumulated vsize (Kb) 115664

[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39677 0 0 0 77805 127 0 0 25 0 1 0 21185658 118439936 24232 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24232 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 779.32
Current children cumulated vsize (Kb) 115664

[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39683 0 0 0 78803 127 0 0 25 0 1 0 21185658 118439936 24238 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24238 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 789.3
Current children cumulated vsize (Kb) 115664

[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39696 0 0 0 79803 128 0 0 25 0 1 0 21185658 118439936 24251 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24251 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 799.31
Current children cumulated vsize (Kb) 115664

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39705 0 0 0 80801 128 0 0 25 0 1 0 21185658 118439936 24260 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24260 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 809.29
Current children cumulated vsize (Kb) 115664

[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 39711 0 0 0 81800 129 0 0 25 0 1 0 21185658 118439936 24266 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 28916 24266 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 819.29
Current children cumulated vsize (Kb) 115664

[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40134 0 0 0 82798 130 0 0 25 0 1 0 21185658 118439936 24278 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28916 24278 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 829.28
Current children cumulated vsize (Kb) 115664

[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40147 0 0 0 83797 130 0 0 25 0 1 0 21185658 118439936 24291 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28916 24291 364 364 0 28552 0
[pid=8297] vsize: 115664
Current children cumulated CPU time (s) 839.27
Current children cumulated vsize (Kb) 115664

[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40236 0 0 0 84795 131 0 0 25 0 1 0 21185658 118702080 24315 4294967295 134512640 135987407 3221224576 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 28980 24315 364 364 0 28616 0
[pid=8297] vsize: 115920
Current children cumulated CPU time (s) 849.26
Current children cumulated vsize (Kb) 115920

[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40337 0 0 0 85794 132 0 0 25 0 1 0 21185658 118964224 24351 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29044 24351 364 364 0 28680 0
[pid=8297] vsize: 116176
Current children cumulated CPU time (s) 859.26
Current children cumulated vsize (Kb) 116176

[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40349 0 0 0 86792 133 0 0 25 0 1 0 21185658 118964224 24363 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29044 24363 364 364 0 28680 0
[pid=8297] vsize: 116176
Current children cumulated CPU time (s) 869.25
Current children cumulated vsize (Kb) 116176

[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40358 0 0 0 87791 133 0 0 25 0 1 0 21185658 118964224 24372 4294967295 134512640 135987407 3221224576 3221223120 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29044 24372 364 364 0 28680 0
[pid=8297] vsize: 116176
Current children cumulated CPU time (s) 879.24
Current children cumulated vsize (Kb) 116176

[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40777 0 0 0 88789 134 0 0 25 0 1 0 21185658 118964224 24380 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29044 24380 364 364 0 28680 0
[pid=8297] vsize: 116176
Current children cumulated CPU time (s) 889.23
Current children cumulated vsize (Kb) 116176

[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 40786 0 0 0 89788 135 0 0 25 0 1 0 21185658 119095296 24389 4294967295 134512640 135987407 3221224576 3221223120 134811701 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24389 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 899.23
Current children cumulated vsize (Kb) 116304

[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41202 0 0 0 90786 137 0 0 25 0 1 0 21185658 119095296 24394 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24394 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 909.23
Current children cumulated vsize (Kb) 116304

[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41207 0 0 0 91784 137 0 0 25 0 1 0 21185658 119095296 24399 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24399 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 919.21
Current children cumulated vsize (Kb) 116304

[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41211 0 0 0 92784 138 0 0 25 0 1 0 21185658 119095296 24403 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24403 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 929.22
Current children cumulated vsize (Kb) 116304

[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41215 0 0 0 93783 138 0 0 25 0 1 0 21185658 119095296 24407 4294967295 134512640 135987407 3221224576 3221223120 134788738 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24407 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 939.21
Current children cumulated vsize (Kb) 116304

[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41220 0 0 0 94782 139 0 0 25 0 1 0 21185658 119095296 24412 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24412 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 949.21
Current children cumulated vsize (Kb) 116304

[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41225 0 0 0 95781 139 0 0 25 0 1 0 21185658 119095296 24417 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24417 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 959.2
Current children cumulated vsize (Kb) 116304

[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41229 0 0 0 96780 139 0 0 25 0 1 0 21185658 119095296 24421 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24421 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 969.19
Current children cumulated vsize (Kb) 116304

[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41236 0 0 0 97779 140 0 0 25 0 1 0 21185658 119095296 24428 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24428 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 979.19
Current children cumulated vsize (Kb) 116304

[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41239 0 0 0 98778 140 0 0 25 0 1 0 21185658 119095296 24431 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24431 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 989.18
Current children cumulated vsize (Kb) 116304

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41244 0 0 0 99778 140 0 0 25 0 1 0 21185658 119095296 24436 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24436 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 999.18
Current children cumulated vsize (Kb) 116304

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41250 0 0 0 100777 141 0 0 25 0 1 0 21185658 119095296 24442 4294967295 134512640 135987407 3221224576 3221223008 134801598 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24442 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1009.18
Current children cumulated vsize (Kb) 116304

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41253 0 0 0 101777 141 0 0 25 0 1 0 21185658 119095296 24445 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24445 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1019.18
Current children cumulated vsize (Kb) 116304

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41263 0 0 0 102776 141 0 0 25 0 1 0 21185658 119095296 24455 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24455 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1029.17
Current children cumulated vsize (Kb) 116304

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41272 0 0 0 103775 142 0 0 25 0 1 0 21185658 119095296 24464 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24464 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1039.17
Current children cumulated vsize (Kb) 116304

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41278 0 0 0 104774 142 0 0 25 0 1 0 21185658 119095296 24470 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24470 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1049.16
Current children cumulated vsize (Kb) 116304

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41283 0 0 0 105773 142 0 0 25 0 1 0 21185658 119095296 24475 4294967295 134512640 135987407 3221224576 3221223216 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24475 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1059.15
Current children cumulated vsize (Kb) 116304

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41287 0 0 0 106771 143 0 0 25 0 1 0 21185658 119095296 24479 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24479 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1069.14
Current children cumulated vsize (Kb) 116304

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41292 0 0 0 107770 143 0 0 25 0 1 0 21185658 119095296 24484 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24484 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1079.13
Current children cumulated vsize (Kb) 116304

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41302 0 0 0 108769 144 0 0 25 0 1 0 21185658 119095296 24494 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29076 24494 364 364 0 28712 0
[pid=8297] vsize: 116304
Current children cumulated CPU time (s) 1089.13
Current children cumulated vsize (Kb) 116304

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41398 0 0 0 109768 145 0 0 25 0 1 0 21185658 119357440 24525 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29140 24525 364 364 0 28776 0
[pid=8297] vsize: 116560
Current children cumulated CPU time (s) 1099.13
Current children cumulated vsize (Kb) 116560

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41402 0 0 0 110766 145 0 0 25 0 1 0 21185658 119357440 24529 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29140 24529 364 364 0 28776 0
[pid=8297] vsize: 116560
Current children cumulated CPU time (s) 1109.11
Current children cumulated vsize (Kb) 116560

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41552 0 0 0 111764 147 0 0 25 0 1 0 21185658 119881728 24549 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29268 24549 364 364 0 28904 0
[pid=8297] vsize: 117072
Current children cumulated CPU time (s) 1119.11
Current children cumulated vsize (Kb) 117072

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41557 0 0 0 112763 147 0 0 25 0 1 0 21185658 119881728 24554 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29268 24554 364 364 0 28904 0
[pid=8297] vsize: 117072
Current children cumulated CPU time (s) 1129.1
Current children cumulated vsize (Kb) 117072

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41572 0 0 0 113762 147 0 0 25 0 1 0 21185658 119881728 24569 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29268 24569 364 364 0 28904 0
[pid=8297] vsize: 117072
Current children cumulated CPU time (s) 1139.09
Current children cumulated vsize (Kb) 117072

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41578 0 0 0 114760 148 0 0 25 0 1 0 21185658 119881728 24575 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29268 24575 364 364 0 28904 0
[pid=8297] vsize: 117072
Current children cumulated CPU time (s) 1149.08
Current children cumulated vsize (Kb) 117072

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 41583 0 0 0 115760 148 0 0 25 0 1 0 21185658 119881728 24580 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29268 24580 364 364 0 28904 0
[pid=8297] vsize: 117072
Current children cumulated CPU time (s) 1159.08
Current children cumulated vsize (Kb) 117072

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42018 0 0 0 116758 149 0 0 25 0 1 0 21185658 120016896 24604 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29301 24604 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1169.07
Current children cumulated vsize (Kb) 117204

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42020 0 0 0 117758 149 0 0 25 0 1 0 21185658 120016896 24606 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29301 24606 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1179.07
Current children cumulated vsize (Kb) 117204

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42024 0 0 0 118757 150 0 0 25 0 1 0 21185658 120016896 24610 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29301 24610 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1189.07
Current children cumulated vsize (Kb) 117204

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42024 0 0 0 119756 150 0 0 25 0 1 0 21185658 120016896 24610 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8297/statm): 29301 24610 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1199.06
Current children cumulated vsize (Kb) 117204

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42026 0 0 0 120755 150 0 0 25 0 1 0 21185658 120016896 24612 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 29301 24612 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1209.05
Current children cumulated vsize (Kb) 117204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8297
Raw data (/proc/8297/stat): 8297 (pb2sat) R 8296 8297 4060 0 -1 0 42026 0 0 0 120755 150 0 0 25 0 1 0 21185658 120016896 24612 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8297/statm): 29301 24612 364 364 0 28937 0
[pid=8297] vsize: 117204
Current children cumulated CPU time (s) 1209.05
Current children cumulated vsize (Kb) 117204

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

Child status: 10
Real time (s): 1210.44
CPU time (s): 1209.43
CPU user time (s): 1207.87
CPU system time (s): 1.56176
CPU usage (%): 99.917
Max. virtual memory (cumulated for all children) (Kb): 117204

Verifier Data

Verifier:	OK	1398