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/manquinho/logic-synthesis/normalized-sao2.b.opb
MD5SUM3e273bcee52631aeea0b7b1138e7d68d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of terms in the objective function 373
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 373
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 373
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark106.35
Number of variables372
Total number of constraints779
Number of constraints which are clauses772
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98

Trace number 9595

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 14:22:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8278 boxname=wulflinc8 idbench=74 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc8/normalized-sao2.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-sao2.b.opb
IDLAUNCH: 8278
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
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:        940524 kB
Buffers:         12124 kB
Cached:          65260 kB
SwapCached:          0 kB
Active:          44940 kB
Inactive:        35288 kB
HighTotal:      131008 kB
HighFree:        61824 kB
LowTotal:       903652 kB
LowFree:        878700 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8424 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:42:20 (client local time) WITH STATUS 10 IN 1204.76 SECONDS
stats: 8278 0 1204.76 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 368
c small objective detected
c got solution with objective value: 111
c [startup+6.02127 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+6.2797 s]  setting bit 7 to 0
c got solution with objective value: 47
c [startup+11.786 s]  setting bit 6 to 1
c [startup+16.1338 s]  setting bit 5 to 0
c got solution with objective value: 31
c [startup+22.2631 s]  setting bit 4 to 1

c Decision: 65892/70487	Time: 22.0546/86400
c Decision: 65892/70487	Time: 30.2444/86400
c Decision: 65892/70487	Time: 38.9561/86400
c Decision: 65892/70487	Time: 48.6606/86400
c Decision: 65892/70487	Time: 58.2201/86400
c Decision: 65892/70487	Time: 69.1375/86400
c Decision: 65892/70487	Time: 78.987/86400
c Decision: 65892/70487	Time: 87.1557/86400
c Decision: 65892/70487	Time: 96.5543/86400
c Decision: 65892/70487	Time: 104.847/86400
c Decision: 65924/70487	Time: 116.33/86400
c Decision: 65924/70487	Time: 125.773/86400
c Decision: 65924/70487	Time: 135.371/86400
c Decision: 65924/70487	Time: 145.837/86400
c Decision: 65924/70487	Time: 155.391/86400
c Decision: 65924/70487	Time: 163.687/86400
c Decision: 65924/70487	Time: 174.34/86400
c Decision: 65924/70487	Time: 184.59/86400
c Decision: 65924/70487	Time: 193.653/86400
c Decision: 65924/70487	Time: 202.221/86400
c Decision: 65924/70487	Time: 213.812/86400
c Decision: 65924/70487	Time: 223.055/86400
c Decision: 65924/70487	Time: 233.089/86400
c Decision: 65924/70487	Time: 242.927/86400
c Decision: 65924/70487	Time: 252.557/86400
c Decision: 65924/70487	Time: 263.092/86400
c Decision: 65924/70487	Time: 273.785/86400
c Decision: 65924/70487	Time: 283.047/86400
c Decision: 65924/70487	Time: 293.752/86400
c Decision: 65924/70487	Time: 306.039/86400
c Decision: 65924/70487	Time: 315.258/86400
c Decision: 65924/70487	Time: 326.426/86400
c Decision: 65924/70487	Time: 336.902/86400
c Decision: 65924/70487	Time: 345.252/86400
c Decision: 65924/70487	Time: 356.016/86400
c Decision: 65924/70487	Time: 367.462/86400
c Decision: 65924/70487	Time: 377.304/86400
c Decision: 65924/70487	Time: 386.229/86400
c Decision: 65924/70487	Time: 395.444/86400
c Decision: 65924/70487	Time: 404.954/86400
c Decision: 65924/70487	Time: 414.597/86400
c Decision: 65924/70487	Time: 423.608/86400
c Decision: 65924/70487	Time: 433.682/86400
c Decision: 65924/70487	Time: 443.815/86400
c Decision: 65924/70487	Time: 455.561/86400
c Decision: 65924/70487	Time: 464.789/86400
c Decision: 65924/70487	Time: 473.154/86400
c Decision: 65924/70487	Time: 483.154/86400
c Decision: 65924/70487	Time: 492.427/86400
c Decision: 65924/70487	Time: 502.493/86400
c Decision: 65924/70487	Time: 512.581/86400
c Decision: 65924/70487	Time: 520.666/86400
c Decision: 65924/70487	Time: 528.682/86400
c Decision: 65924/70487	Time: 540.694/86400
c Decision: 65924/70487	Time: 552.266/86400
c Decision: 65924/70487	Time: 562.912/86400
c Decision: 65924/70487	Time: 572.425/86400
c Decision: 65924/70487	Time: 583.081/86400
c Decision: 65924/70487	Time: 592.738/86400
c Decision: 65973/70487	Time: 603.439/86400
c Decision: 65973/70487	Time: 610.303/86400
c Decision: 65973/70487	Time: 621.073/86400
c Decision: 65973/70487	Time: 630.729/86400
c Decision: 65973/70487	Time: 640.906/86400
c Decision: 65973/70487	Time: 650.282/86400
c Decision: 65973/70487	Time: 660.139/86400
c Decision: 65973/70487	Time: 670.677/86400
c Decision: 65973/70487	Time: 679.553/86400
c Decision: 65973/70487	Time: 689.98/86400
c Decision: 65973/70487	Time: 698.84/86400
c Decision: 65973/70487	Time: 708.177/86400
c Decision: 65973/70487	Time: 717.832/86400
c Decision: 65973/70487	Time: 728.377/86400
c Decision: 65973/70487	Time: 736.689/86400
c Decision: 65973/70487	Time: 748.709/86400
c Decision: 65973/70487	Time: 759.734/86400
c Decision: 65973/70487	Time: 770.37/86400
c Decision: 65973/70487	Time: 780.792/86400
c Decision: 65973/70487	Time: 790.82/86400
c Decision: 65973/70487	Time: 799.79/86400
c Decision: 65973/70487	Time: 810.299/86400
c Decision: 65973/70487	Time: 820.218/86400
c Decision: 65973/70487	Time: 829.832/86400
c Decision: 65973/70487	Time: 840.145/86400
c Decision: 65973/70487	Time: 850.386/86400
c Decision: 65973/70487	Time: 858.804/86400
c Decision: 65973/70487	Time: 869.075/86400
c Decision: 65973/70487	Time: 880.36/86400
c Decision: 65973/70487	Time: 887.959/86400
c Decision: 65973/70487	Time: 897.871/86400
c Decision: 65973/70487	Time: 907.553/86400
c Decision: 65973/70487	Time: 918.175/86400
c Decision: 65973/70487	Time: 927.413/86400
c Decision: 65973/70487	Time: 938.45/86400
c Decision: 65973/70487	Time: 946.125/86400
c Decision: 65973/70487	Time: 955.066/86400
c Decision: 65973/70487	Time: 966.236/86400
c Decision: 65973/70487	Time: 975.205/86400
c Decision: 65973/70487	Time: 985.359/86400
c Decision: 65973/70487	Time: 995.585/86400
c Decision: 65973/70487	Time: 1005.46/86400
c Decision: 65973/70487	Time: 1017.22/86400
c Decision: 65973/70487	Time: 1025.75/86400
c Decision: 65973/70487	Time: 1035.13/86400
c Decision: 65973/70487	Time: 1046.03/86400
c Decision: 65973/70487	Time: 1055.48/86400
c Decision: 65973/70487	Time: 1064.98/86400
c Decision: 65973/70487	Time: 1074.75/86400
c Decision: 65973/70487	Time: 1083.85/86400
c Decision: 65973/70487	Time: 1094.72/86400
c Decision: 65973/70487	Time: 1104.05/86400
c Decision: 65973/70487	Time: 1113.91/86400
c Decision: 65973/70487	Time: 1123.38/86400
c Decision: 65973/70487	Time: 1134.17/86400
c Decision: 65973/70487	Time: 1143.63/86400
c Decision: 65973/70487	Time: 1153.44/86400
c Decision: 65973/70487	Time: 1161.31/86400
c Decision: 65973/70487	Time: 1171.8/86400
c Decision: 65973/70487	Time: 1182.38/86400s SATISFIABLE
v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x12 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 x293 -x294 x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 x315 x316 x317 -x318 x319 -x32 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 x369 -x37 x370 -x371 -x372 -x373 -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 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99

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

[startup+10.0022 s]
Raw data (loadavg): 0.93 1.02 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 13958 0 0 0 960 32 0 0 25 0 1 0 20885510 44285952 8020 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 10812 8020 364 364 0 10448 0
[pid=7067] vsize: 43248
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 43248

[startup+20.003 s]
Raw data (loadavg): 0.94 1.02 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 14390 0 0 0 1946 37 0 0 25 0 1 0 20885510 44687360 8111 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 10910 8111 364 364 0 10546 0
[pid=7067] vsize: 43640
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 43640

[startup+30.0028 s]
Raw data (loadavg): 0.95 1.02 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 14613 0 0 0 2932 42 0 0 25 0 1 0 20885510 49164288 8196 4294967295 134512640 135987407 3221224576 3221223120 134811784 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12003 8196 364 364 0 11639 0
[pid=7067] vsize: 48012
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 48012

[startup+40.0035 s]
Raw data (loadavg): 0.96 1.02 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 14667 0 0 0 3922 46 0 0 25 0 1 0 20885510 49164288 8250 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12003 8250 364 364 0 11639 0
[pid=7067] vsize: 48012
Current children cumulated CPU time (s) 39.68
Current children cumulated vsize (Kb) 48012

[startup+50.0043 s]
Raw data (loadavg): 0.96 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 14845 0 0 0 4911 50 0 0 25 0 1 0 20885510 49303552 8290 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12037 8290 364 364 0 11673 0
[pid=7067] vsize: 48148
Current children cumulated CPU time (s) 49.61
Current children cumulated vsize (Kb) 48148

[startup+60.0051 s]
Raw data (loadavg): 0.97 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) T 7066 7067 4060 0 -1 0 15028 0 0 0 5901 54 0 0 25 0 1 0 20885510 49303552 8335 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12037 8335 364 364 0 11673 0
[pid=7067] vsize: 48148
Current children cumulated CPU time (s) 59.55
Current children cumulated vsize (Kb) 48148

[startup+70.0059 s]
Raw data (loadavg): 0.97 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 15207 0 0 0 6894 58 0 0 25 0 1 0 20885510 49303552 8376 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12037 8376 364 364 0 11673 0
[pid=7067] vsize: 48148
Current children cumulated CPU time (s) 69.52
Current children cumulated vsize (Kb) 48148

[startup+80.0057 s]
Raw data (loadavg): 0.98 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 15391 0 0 0 7886 61 0 0 25 0 1 0 20885510 49303552 8422 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12037 8422 364 364 0 11673 0
[pid=7067] vsize: 48148
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (Kb) 48148

[startup+90.0065 s]
Raw data (loadavg): 0.98 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 15564 0 0 0 8880 63 0 0 25 0 1 0 20885510 49438720 8457 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12070 8457 364 364 0 11706 0
[pid=7067] vsize: 48280
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (Kb) 48280

[startup+100.006 s]
Raw data (loadavg): 0.98 1.01 1.05 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 15724 0 0 0 9873 66 0 0 25 0 1 0 20885510 49438720 8479 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12070 8479 364 364 0 11706 0
[pid=7067] vsize: 48280
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (Kb) 48280

[startup+110.007 s]
Raw data (loadavg): 0.98 1.01 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16062 0 0 0 10861 71 0 0 25 0 1 0 20885510 49438720 8541 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12070 8541 364 364 0 11706 0
[pid=7067] vsize: 48280
Current children cumulated CPU time (s) 109.32
Current children cumulated vsize (Kb) 48280

[startup+120.007 s]
Raw data (loadavg): 0.99 1.01 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16244 0 0 0 11854 73 0 0 25 0 1 0 20885510 49573888 8585 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12103 8585 364 364 0 11739 0
[pid=7067] vsize: 48412
Current children cumulated CPU time (s) 119.27
Current children cumulated vsize (Kb) 48412

[startup+130.007 s]
Raw data (loadavg): 0.99 1.01 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16431 0 0 0 12847 77 0 0 25 0 1 0 20885510 49573888 8634 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12103 8634 364 364 0 11739 0
[pid=7067] vsize: 48412
Current children cumulated CPU time (s) 129.24
Current children cumulated vsize (Kb) 48412

[startup+140.007 s]
Raw data (loadavg): 0.99 1.01 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16610 0 0 0 13841 79 0 0 25 0 1 0 20885510 49573888 8675 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12103 8675 364 364 0 11739 0
[pid=7067] vsize: 48412
Current children cumulated CPU time (s) 139.2
Current children cumulated vsize (Kb) 48412

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16766 0 0 0 14833 82 0 0 25 0 1 0 20885510 49704960 8693 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12135 8693 364 364 0 11771 0
[pid=7067] vsize: 48540
Current children cumulated CPU time (s) 149.15
Current children cumulated vsize (Kb) 48540

[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 16952 0 0 0 15826 85 0 0 25 0 1 0 20885510 49704960 8741 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12135 8741 364 364 0 11771 0
[pid=7067] vsize: 48540
Current children cumulated CPU time (s) 159.11
Current children cumulated vsize (Kb) 48540

[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 17135 0 0 0 16820 88 0 0 25 0 1 0 20885510 49840128 8786 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12168 8786 364 364 0 11804 0
[pid=7067] vsize: 48672
Current children cumulated CPU time (s) 169.08
Current children cumulated vsize (Kb) 48672

[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 17321 0 0 0 17812 90 0 0 25 0 1 0 20885510 49840128 8834 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12168 8834 364 364 0 11804 0
[pid=7067] vsize: 48672
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (Kb) 48672

[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 17509 0 0 0 18803 93 0 0 25 0 1 0 20885510 49840128 8884 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12168 8884 364 364 0 11804 0
[pid=7067] vsize: 48672
Current children cumulated CPU time (s) 188.96
Current children cumulated vsize (Kb) 48672

[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 17660 0 0 0 19798 96 0 0 25 0 1 0 20885510 49975296 8897 4294967295 134512640 135987407 3221224576 3221223184 134801144 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12201 8897 364 364 0 11837 0
[pid=7067] vsize: 48804
Current children cumulated CPU time (s) 198.94
Current children cumulated vsize (Kb) 48804

[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 1.04 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 17835 0 0 0 20790 99 0 0 25 0 1 0 20885510 49975296 8934 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12201 8934 364 364 0 11837 0
[pid=7067] vsize: 48804
Current children cumulated CPU time (s) 208.89
Current children cumulated vsize (Kb) 48804

[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18031 0 0 0 21783 102 0 0 25 0 1 0 20885510 50110464 8992 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12234 8992 364 364 0 11870 0
[pid=7067] vsize: 48936
Current children cumulated CPU time (s) 218.85
Current children cumulated vsize (Kb) 48936

[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18233 0 0 0 22777 105 0 0 25 0 1 0 20885510 50110464 9056 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12234 9056 364 364 0 11870 0
[pid=7067] vsize: 48936
Current children cumulated CPU time (s) 228.82
Current children cumulated vsize (Kb) 48936

[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18417 0 0 0 23769 108 0 0 25 0 1 0 20885510 50253824 9102 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12269 9102 364 364 0 11905 0
[pid=7067] vsize: 49076
Current children cumulated CPU time (s) 238.77
Current children cumulated vsize (Kb) 49076

[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18575 0 0 0 24763 111 0 0 25 0 1 0 20885510 50253824 9122 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12269 9122 364 364 0 11905 0
[pid=7067] vsize: 49076
Current children cumulated CPU time (s) 248.74
Current children cumulated vsize (Kb) 49076

[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18775 0 0 0 25755 113 0 0 25 0 1 0 20885510 50393088 9184 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12303 9184 364 364 0 11939 0
[pid=7067] vsize: 49212
Current children cumulated CPU time (s) 258.68
Current children cumulated vsize (Kb) 49212

[startup+270.013 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 18977 0 0 0 26748 116 0 0 25 0 1 0 20885510 50393088 9248 4294967295 134512640 135987407 3221224576 3221223120 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12303 9248 364 364 0 11939 0
[pid=7067] vsize: 49212
Current children cumulated CPU time (s) 268.64
Current children cumulated vsize (Kb) 49212

[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19162 0 0 0 27741 119 0 0 25 0 1 0 20885510 50528256 9295 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12336 9295 364 364 0 11972 0
[pid=7067] vsize: 49344
Current children cumulated CPU time (s) 278.6
Current children cumulated vsize (Kb) 49344

[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19339 0 0 0 28736 121 0 0 25 0 1 0 20885510 50528256 9334 4294967295 134512640 135987407 3221224576 3221222892 134892452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12336 9334 364 364 0 11972 0
[pid=7067] vsize: 49344
Current children cumulated CPU time (s) 288.57
Current children cumulated vsize (Kb) 49344

[startup+300.014 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19501 0 0 0 29729 124 0 0 25 0 1 0 20885510 50667520 9358 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12370 9358 364 364 0 12006 0
[pid=7067] vsize: 49480
Current children cumulated CPU time (s) 298.53
Current children cumulated vsize (Kb) 49480

[startup+310.015 s]
Raw data (loadavg): 0.99 1.00 1.03 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19652 0 0 0 30722 126 0 0 25 0 1 0 20885510 50667520 9371 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12370 9371 364 364 0 12006 0
[pid=7067] vsize: 49480
Current children cumulated CPU time (s) 308.48
Current children cumulated vsize (Kb) 49480

[startup+320.015 s]
Raw data (loadavg): 0.99 1.00 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19802 0 0 0 31716 129 0 0 25 0 1 0 20885510 50667520 9383 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12370 9383 364 364 0 12006 0
[pid=7067] vsize: 49480
Current children cumulated CPU time (s) 318.45
Current children cumulated vsize (Kb) 49480

[startup+330.015 s]
Raw data (loadavg): 0.99 1.00 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 19974 0 0 0 32712 131 0 0 25 0 1 0 20885510 50667520 9417 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12370 9417 364 364 0 12006 0
[pid=7067] vsize: 49480
Current children cumulated CPU time (s) 328.43
Current children cumulated vsize (Kb) 49480

[startup+340.016 s]
Raw data (loadavg): 0.99 1.00 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20166 0 0 0 33704 133 0 0 25 0 1 0 20885510 50802688 9471 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12403 9471 364 364 0 12039 0
[pid=7067] vsize: 49612
Current children cumulated CPU time (s) 338.37
Current children cumulated vsize (Kb) 49612

[startup+350.016 s]
Raw data (loadavg): 0.99 1.00 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20187 0 0 0 34699 135 0 0 25 0 1 0 20885510 50802688 9492 4294967295 134512640 135987407 3221224576 3221223152 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12403 9492 364 364 0 12039 0
[pid=7067] vsize: 49612
Current children cumulated CPU time (s) 348.34
Current children cumulated vsize (Kb) 49612

[startup+360.017 s]
Raw data (loadavg): 0.99 1.00 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20366 0 0 0 35691 138 0 0 25 0 1 0 20885510 50950144 9533 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12439 9533 364 364 0 12075 0
[pid=7067] vsize: 49756
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (Kb) 49756

[startup+370.017 s]
Raw data (loadavg): 1.07 1.02 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20710 0 0 0 36684 141 0 0 25 0 1 0 20885510 50950144 9601 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12439 9601 364 364 0 12075 0
[pid=7067] vsize: 49756
Current children cumulated CPU time (s) 368.25
Current children cumulated vsize (Kb) 49756

[startup+380.017 s]
Raw data (loadavg): 1.06 1.02 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20905 0 0 0 37677 143 0 0 25 0 1 0 20885510 51085312 9658 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12472 9658 364 364 0 12108 0
[pid=7067] vsize: 49888
Current children cumulated CPU time (s) 378.2
Current children cumulated vsize (Kb) 49888

[startup+390.018 s]
Raw data (loadavg): 1.05 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 20959 0 0 0 38671 146 0 0 25 0 1 0 20885510 51085312 9712 4294967295 134512640 135987407 3221224576 3221223120 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12472 9712 364 364 0 12108 0
[pid=7067] vsize: 49888
Current children cumulated CPU time (s) 388.17
Current children cumulated vsize (Kb) 49888

[startup+400.019 s]
Raw data (loadavg): 1.04 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 21109 0 0 0 39663 149 0 0 25 0 1 0 20885510 51085312 9724 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12472 9724 364 364 0 12108 0
[pid=7067] vsize: 49888
Current children cumulated CPU time (s) 398.12
Current children cumulated vsize (Kb) 49888

[startup+410.02 s]
Raw data (loadavg): 1.04 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 21258 0 0 0 40657 151 0 0 25 0 1 0 20885510 51085312 9735 4294967295 134512640 135987407 3221224576 3221223152 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12472 9735 364 364 0 12108 0
[pid=7067] vsize: 49888
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (Kb) 49888

[startup+420.019 s]
Raw data (loadavg): 1.03 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 21562 0 0 0 41649 155 0 0 25 0 1 0 20885510 51220480 9763 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12505 9763 364 364 0 12141 0
[pid=7067] vsize: 50020
Current children cumulated CPU time (s) 418.04
Current children cumulated vsize (Kb) 50020

[startup+430.019 s]
Raw data (loadavg): 1.03 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 21708 0 0 0 42643 157 0 0 25 0 1 0 20885510 51220480 9771 4294967295 134512640 135987407 3221224576 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12505 9771 364 364 0 12141 0
[pid=7067] vsize: 50020
Current children cumulated CPU time (s) 428
Current children cumulated vsize (Kb) 50020

[startup+440.02 s]
Raw data (loadavg): 1.02 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 21862 0 0 0 43636 159 0 0 25 0 1 0 20885510 51220480 9787 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12505 9787 364 364 0 12141 0
[pid=7067] vsize: 50020
Current children cumulated CPU time (s) 437.95
Current children cumulated vsize (Kb) 50020

[startup+450.02 s]
Raw data (loadavg): 1.02 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22014 0 0 0 44623 164 0 0 25 0 1 0 20885510 51355648 9801 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12538 9801 364 364 0 12174 0
[pid=7067] vsize: 50152
Current children cumulated CPU time (s) 447.87
Current children cumulated vsize (Kb) 50152

[startup+460.021 s]
Raw data (loadavg): 1.01 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22175 0 0 0 45616 167 0 0 25 0 1 0 20885510 51355648 9824 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12538 9824 364 364 0 12174 0
[pid=7067] vsize: 50152
Current children cumulated CPU time (s) 457.83
Current children cumulated vsize (Kb) 50152

[startup+470.021 s]
Raw data (loadavg): 1.01 1.01 1.02 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22335 0 0 0 46610 170 0 0 25 0 1 0 20885510 51490816 9846 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12571 9846 364 364 0 12207 0
[pid=7067] vsize: 50284
Current children cumulated CPU time (s) 467.8
Current children cumulated vsize (Kb) 50284

[startup+480.021 s]
Raw data (loadavg): 1.01 1.01 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22513 0 0 0 47605 172 0 0 25 0 1 0 20885510 51490816 9886 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12571 9886 364 364 0 12207 0
[pid=7067] vsize: 50284
Current children cumulated CPU time (s) 477.77
Current children cumulated vsize (Kb) 50284

[startup+490.022 s]
Raw data (loadavg): 1.01 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22715 0 0 0 48595 175 0 0 25 0 1 0 20885510 51646464 9950 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 12609 9950 364 364 0 12245 0
[pid=7067] vsize: 50436
Current children cumulated CPU time (s) 487.7
Current children cumulated vsize (Kb) 50436

[startup+500.022 s]
Raw data (loadavg): 1.01 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 22873 0 0 0 49584 179 0 0 25 0 1 0 20885510 51646464 9970 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12609 9970 364 364 0 12245 0
[pid=7067] vsize: 50436
Current children cumulated CPU time (s) 497.63
Current children cumulated vsize (Kb) 50436

[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23027 0 0 0 50579 181 0 0 25 0 1 0 20885510 51785728 9986 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 12643 9986 364 364 0 12279 0
[pid=7067] vsize: 50572
Current children cumulated CPU time (s) 507.6
Current children cumulated vsize (Kb) 50572

[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23218 0 0 0 51567 185 0 0 25 0 1 0 20885510 60174336 10039 4294967295 134512640 135987407 3221224576 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 14691 10039 364 364 0 14327 0
[pid=7067] vsize: 58764
Current children cumulated CPU time (s) 517.52
Current children cumulated vsize (Kb) 58764

[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23410 0 0 0 52561 187 0 0 25 0 1 0 20885510 60174336 10093 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 14691 10093 364 364 0 14327 0
[pid=7067] vsize: 58764
Current children cumulated CPU time (s) 527.48
Current children cumulated vsize (Kb) 58764

[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23603 0 0 0 53553 191 0 0 25 0 1 0 20885510 60174336 10148 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 14691 10148 364 364 0 14327 0
[pid=7067] vsize: 58764
Current children cumulated CPU time (s) 537.44
Current children cumulated vsize (Kb) 58764

[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23761 0 0 0 54543 195 0 0 25 0 1 0 20885510 60313600 10168 4294967295 134512640 135987407 3221224576 3221223120 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14725 10168 364 364 0 14361 0
[pid=7067] vsize: 58900
Current children cumulated CPU time (s) 547.38
Current children cumulated vsize (Kb) 58900

[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 23912 0 0 0 55537 197 0 0 25 0 1 0 20885510 60313600 10181 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14725 10181 364 364 0 14361 0
[pid=7067] vsize: 58900
Current children cumulated CPU time (s) 557.34
Current children cumulated vsize (Kb) 58900

[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24066 0 0 0 56534 198 0 0 25 0 1 0 20885510 60313600 10197 4294967295 134512640 135987407 3221224576 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14725 10197 364 364 0 14361 0
[pid=7067] vsize: 58900
Current children cumulated CPU time (s) 567.32
Current children cumulated vsize (Kb) 58900

[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24274 0 0 0 57525 201 0 0 25 0 1 0 20885510 60452864 10267 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14759 10267 364 364 0 14395 0
[pid=7067] vsize: 59036
Current children cumulated CPU time (s) 577.26
Current children cumulated vsize (Kb) 59036

[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24463 0 0 0 58520 204 0 0 25 0 1 0 20885510 60616704 10318 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14799 10318 364 364 0 14435 0
[pid=7067] vsize: 59196
Current children cumulated CPU time (s) 587.24
Current children cumulated vsize (Kb) 59196

[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24607 0 0 0 59512 207 0 0 25 0 1 0 20885510 60616704 10324 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14799 10324 364 364 0 14435 0
[pid=7067] vsize: 59196
Current children cumulated CPU time (s) 597.19
Current children cumulated vsize (Kb) 59196

[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24755 0 0 0 60506 210 0 0 25 0 1 0 20885510 60616704 10334 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14799 10334 364 364 0 14435 0
[pid=7067] vsize: 59196
Current children cumulated CPU time (s) 607.16
Current children cumulated vsize (Kb) 59196

[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 24905 0 0 0 61500 212 0 0 25 0 1 0 20885510 60616704 10346 4294967295 134512640 135987407 3221224576 3221223120 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14799 10346 364 364 0 14435 0
[pid=7067] vsize: 59196
Current children cumulated CPU time (s) 617.12
Current children cumulated vsize (Kb) 59196

[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 25056 0 0 0 62492 215 0 0 25 0 1 0 20885510 60616704 10359 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14799 10359 364 364 0 14435 0
[pid=7067] vsize: 59196
Current children cumulated CPU time (s) 627.07
Current children cumulated vsize (Kb) 59196

[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 25209 0 0 0 63484 218 0 0 25 0 1 0 20885510 60751872 10374 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14832 10374 364 364 0 14468 0
[pid=7067] vsize: 59328
Current children cumulated CPU time (s) 637.02
Current children cumulated vsize (Kb) 59328

[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 25371 0 0 0 64480 220 0 0 25 0 1 0 20885510 60751872 10398 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14832 10398 364 364 0 14468 0
[pid=7067] vsize: 59328
Current children cumulated CPU time (s) 647
Current children cumulated vsize (Kb) 59328

[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) T 7066 7067 4060 0 -1 0 25553 0 0 0 65473 223 0 0 25 0 1 0 20885510 60887040 10442 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14865 10442 364 364 0 14501 0
[pid=7067] vsize: 59460
Current children cumulated CPU time (s) 656.96
Current children cumulated vsize (Kb) 59460

[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 25748 0 0 0 66462 226 0 0 25 0 1 0 20885510 60887040 10499 4294967295 134512640 135987407 3221224576 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14865 10499 364 364 0 14501 0
[pid=7067] vsize: 59460
Current children cumulated CPU time (s) 666.88
Current children cumulated vsize (Kb) 59460

[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 25950 0 0 0 67454 229 0 0 25 0 1 0 20885510 61022208 10563 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14898 10563 364 364 0 14534 0
[pid=7067] vsize: 59592
Current children cumulated CPU time (s) 676.83
Current children cumulated vsize (Kb) 59592

[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26123 0 0 0 68448 232 0 0 25 0 1 0 20885510 61022208 10598 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14898 10598 364 364 0 14534 0
[pid=7067] vsize: 59592
Current children cumulated CPU time (s) 686.8
Current children cumulated vsize (Kb) 59592

[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26279 0 0 0 69442 235 0 0 25 0 1 0 20885510 61022208 10616 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14898 10616 364 364 0 14534 0
[pid=7067] vsize: 59592
Current children cumulated CPU time (s) 696.77
Current children cumulated vsize (Kb) 59592

[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26425 0 0 0 70433 239 0 0 25 0 1 0 20885510 61157376 10624 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14931 10624 364 364 0 14567 0
[pid=7067] vsize: 59724
Current children cumulated CPU time (s) 706.72
Current children cumulated vsize (Kb) 59724

[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26574 0 0 0 71428 241 0 0 25 0 1 0 20885510 61157376 10635 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14931 10635 364 364 0 14567 0
[pid=7067] vsize: 59724
Current children cumulated CPU time (s) 716.69
Current children cumulated vsize (Kb) 59724

[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26722 0 0 0 72420 244 0 0 25 0 1 0 20885510 61157376 10645 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14931 10645 364 364 0 14567 0
[pid=7067] vsize: 59724
Current children cumulated CPU time (s) 726.64
Current children cumulated vsize (Kb) 59724

[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 26879 0 0 0 73410 248 0 0 25 0 1 0 20885510 61300736 10664 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 14966 10664 364 364 0 14602 0
[pid=7067] vsize: 59864
Current children cumulated CPU time (s) 736.58
Current children cumulated vsize (Kb) 59864

[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27032 0 0 0 74404 250 0 0 25 0 1 0 20885510 61300736 10679 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 14966 10679 364 364 0 14602 0
[pid=7067] vsize: 59864
Current children cumulated CPU time (s) 746.54
Current children cumulated vsize (Kb) 59864

[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27179 0 0 0 75393 253 0 0 25 0 1 0 20885510 61300736 10688 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14966 10688 364 364 0 14602 0
[pid=7067] vsize: 59864
Current children cumulated CPU time (s) 756.46
Current children cumulated vsize (Kb) 59864

[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27327 0 0 0 76386 256 0 0 25 0 1 0 20885510 61300736 10698 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14966 10698 364 364 0 14602 0
[pid=7067] vsize: 59864
Current children cumulated CPU time (s) 766.42
Current children cumulated vsize (Kb) 59864

[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27476 0 0 0 77381 259 0 0 25 0 1 0 20885510 61435904 10709 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14999 10709 364 364 0 14635 0
[pid=7067] vsize: 59996
Current children cumulated CPU time (s) 776.4
Current children cumulated vsize (Kb) 59996

[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27623 0 0 0 78377 260 0 0 25 0 1 0 20885510 61435904 10718 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14999 10718 364 364 0 14635 0
[pid=7067] vsize: 59996
Current children cumulated CPU time (s) 786.37
Current children cumulated vsize (Kb) 59996

[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27772 0 0 0 79370 263 0 0 25 0 1 0 20885510 61435904 10729 4294967295 134512640 135987407 3221224576 3221223072 134821382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14999 10729 364 364 0 14635 0
[pid=7067] vsize: 59996
Current children cumulated CPU time (s) 796.33
Current children cumulated vsize (Kb) 59996

[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 27919 0 0 0 80363 265 0 0 25 0 1 0 20885510 61435904 10738 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 14999 10738 364 364 0 14635 0
[pid=7067] vsize: 59996
Current children cumulated CPU time (s) 806.28
Current children cumulated vsize (Kb) 59996

[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28074 0 0 0 81356 267 0 0 25 0 1 0 20885510 61583360 10755 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15035 10755 364 364 0 14671 0
[pid=7067] vsize: 60140
Current children cumulated CPU time (s) 816.23
Current children cumulated vsize (Kb) 60140

[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28224 0 0 0 82350 270 0 0 25 0 1 0 20885510 61583360 10767 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15035 10767 364 364 0 14671 0
[pid=7067] vsize: 60140
Current children cumulated CPU time (s) 826.2
Current children cumulated vsize (Kb) 60140

[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28379 0 0 0 83344 271 0 0 25 0 1 0 20885510 61583360 10784 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15035 10784 364 364 0 14671 0
[pid=7067] vsize: 60140
Current children cumulated CPU time (s) 836.15
Current children cumulated vsize (Kb) 60140

[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28532 0 0 0 84336 274 0 0 25 0 1 0 20885510 61718528 10799 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15068 10799 364 364 0 14704 0
[pid=7067] vsize: 60272
Current children cumulated CPU time (s) 846.1
Current children cumulated vsize (Kb) 60272

[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28683 0 0 0 85329 276 0 0 25 0 1 0 20885510 61718528 10812 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15068 10812 364 364 0 14704 0
[pid=7067] vsize: 60272
Current children cumulated CPU time (s) 856.05
Current children cumulated vsize (Kb) 60272

[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 28835 0 0 0 86324 279 0 0 25 0 1 0 20885510 61718528 10826 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15068 10826 364 364 0 14704 0
[pid=7067] vsize: 60272
Current children cumulated CPU time (s) 866.03
Current children cumulated vsize (Kb) 60272

[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29023 0 0 0 87317 282 0 0 25 0 1 0 20885510 61718528 10876 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15068 10876 364 364 0 14704 0
[pid=7067] vsize: 60272
Current children cumulated CPU time (s) 875.99
Current children cumulated vsize (Kb) 60272

[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29204 0 0 0 88310 284 0 0 25 0 1 0 20885510 61853696 10919 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15101 10919 364 364 0 14737 0
[pid=7067] vsize: 60404
Current children cumulated CPU time (s) 885.94
Current children cumulated vsize (Kb) 60404

[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29363 0 0 0 89302 288 0 0 25 0 1 0 20885510 61853696 10940 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15101 10940 364 364 0 14737 0
[pid=7067] vsize: 60404
Current children cumulated CPU time (s) 895.9
Current children cumulated vsize (Kb) 60404

[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29510 0 0 0 90296 289 0 0 25 0 1 0 20885510 61853696 10949 4294967295 134512640 135987407 3221224576 3221223120 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15101 10949 364 364 0 14737 0
[pid=7067] vsize: 60404
Current children cumulated CPU time (s) 905.85
Current children cumulated vsize (Kb) 60404

[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29661 0 0 0 91289 292 0 0 25 0 1 0 20885510 61988864 10962 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15134 10962 364 364 0 14770 0
[pid=7067] vsize: 60536
Current children cumulated CPU time (s) 915.81
Current children cumulated vsize (Kb) 60536

[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 29860 0 0 0 92283 295 0 0 25 0 1 0 20885510 61988864 11023 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15134 11023 364 364 0 14770 0
[pid=7067] vsize: 60536
Current children cumulated CPU time (s) 925.78
Current children cumulated vsize (Kb) 60536

[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30020 0 0 0 93276 298 0 0 25 0 1 0 20885510 61988864 11045 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15134 11045 364 364 0 14770 0
[pid=7067] vsize: 60536
Current children cumulated CPU time (s) 935.74
Current children cumulated vsize (Kb) 60536

[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30174 0 0 0 94269 301 0 0 25 0 1 0 20885510 61988864 11061 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15134 11061 364 364 0 14770 0
[pid=7067] vsize: 60536
Current children cumulated CPU time (s) 945.7
Current children cumulated vsize (Kb) 60536

[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30349 0 0 0 95262 303 0 0 25 0 1 0 20885510 62132224 11098 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15169 11098 364 364 0 14805 0
[pid=7067] vsize: 60676
Current children cumulated CPU time (s) 955.65
Current children cumulated vsize (Kb) 60676

[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30552 0 0 0 96255 306 0 0 25 0 1 0 20885510 62132224 11163 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15169 11163 364 364 0 14805 0
[pid=7067] vsize: 60676
Current children cumulated CPU time (s) 965.61
Current children cumulated vsize (Kb) 60676

[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30764 0 0 0 97247 309 0 0 25 0 1 0 20885510 62132224 11237 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15169 11237 364 364 0 14805 0
[pid=7067] vsize: 60676
Current children cumulated CPU time (s) 975.56
Current children cumulated vsize (Kb) 60676

[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 30922 0 0 0 98244 311 0 0 25 0 1 0 20885510 62267392 11257 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15202 11257 364 364 0 14838 0
[pid=7067] vsize: 60808
Current children cumulated CPU time (s) 985.55
Current children cumulated vsize (Kb) 60808

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31081 0 0 0 99235 315 0 0 25 0 1 0 20885510 62267392 11278 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15202 11278 364 364 0 14838 0
[pid=7067] vsize: 60808
Current children cumulated CPU time (s) 995.5
Current children cumulated vsize (Kb) 60808

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31254 0 0 0 100229 317 0 0 25 0 1 0 20885510 62267392 11313 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15202 11313 364 364 0 14838 0
[pid=7067] vsize: 60808
Current children cumulated CPU time (s) 1005.46
Current children cumulated vsize (Kb) 60808

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31450 0 0 0 101223 319 0 0 25 0 1 0 20885510 62402560 11371 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15235 11371 364 364 0 14871 0
[pid=7067] vsize: 60940
Current children cumulated CPU time (s) 1015.42
Current children cumulated vsize (Kb) 60940

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31650 0 0 0 102216 322 0 0 25 0 1 0 20885510 62402560 11433 4294967295 134512640 135987407 3221224576 3221223120 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15235 11433 364 364 0 14871 0
[pid=7067] vsize: 60940
Current children cumulated CPU time (s) 1025.38
Current children cumulated vsize (Kb) 60940

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31817 0 0 0 103211 325 0 0 25 0 1 0 20885510 62541824 11462 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15269 11462 364 364 0 14905 0
[pid=7067] vsize: 61076
Current children cumulated CPU time (s) 1035.36
Current children cumulated vsize (Kb) 61076

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 31964 0 0 0 104205 327 0 0 25 0 1 0 20885510 62541824 11471 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7067/statm): 15269 11471 364 364 0 14905 0
[pid=7067] vsize: 61076
Current children cumulated CPU time (s) 1045.32
Current children cumulated vsize (Kb) 61076

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32114 0 0 0 105197 330 0 0 25 0 1 0 20885510 62541824 11483 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15269 11483 364 364 0 14905 0
[pid=7067] vsize: 61076
Current children cumulated CPU time (s) 1055.27
Current children cumulated vsize (Kb) 61076

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32272 0 0 0 106192 333 0 0 25 0 1 0 20885510 62541824 11503 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15269 11503 364 364 0 14905 0
[pid=7067] vsize: 61076
Current children cumulated CPU time (s) 1065.25
Current children cumulated vsize (Kb) 61076

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32426 0 0 0 107186 335 0 0 25 0 1 0 20885510 62676992 11519 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15302 11519 364 364 0 14938 0
[pid=7067] vsize: 61208
Current children cumulated CPU time (s) 1075.21
Current children cumulated vsize (Kb) 61208

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32581 0 0 0 108178 338 0 0 25 0 1 0 20885510 62676992 11536 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15302 11536 364 364 0 14938 0
[pid=7067] vsize: 61208
Current children cumulated CPU time (s) 1085.16
Current children cumulated vsize (Kb) 61208

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32736 0 0 0 109168 342 0 0 25 0 1 0 20885510 62676992 11553 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15302 11553 364 364 0 14938 0
[pid=7067] vsize: 61208
Current children cumulated CPU time (s) 1095.1
Current children cumulated vsize (Kb) 61208

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 32890 0 0 0 110162 345 0 0 25 0 1 0 20885510 62824448 11569 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15338 11569 364 364 0 14974 0
[pid=7067] vsize: 61352
Current children cumulated CPU time (s) 1105.07
Current children cumulated vsize (Kb) 61352

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33036 0 0 0 111156 348 0 0 25 0 1 0 20885510 62824448 11577 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15338 11577 364 364 0 14974 0
[pid=7067] vsize: 61352
Current children cumulated CPU time (s) 1115.04
Current children cumulated vsize (Kb) 61352

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33228 0 0 0 112145 352 0 0 25 0 1 0 20885510 62824448 11631 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15338 11631 364 364 0 14974 0
[pid=7067] vsize: 61352
Current children cumulated CPU time (s) 1124.97
Current children cumulated vsize (Kb) 61352

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33379 0 0 0 113137 354 0 0 25 0 1 0 20885510 62824448 11644 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15338 11644 364 364 0 14974 0
[pid=7067] vsize: 61352
Current children cumulated CPU time (s) 1134.91
Current children cumulated vsize (Kb) 61352

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33529 0 0 0 114130 356 0 0 25 0 1 0 20885510 62963712 11656 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15372 11656 364 364 0 15008 0
[pid=7067] vsize: 61488
Current children cumulated CPU time (s) 1144.86
Current children cumulated vsize (Kb) 61488

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33684 0 0 0 115126 358 0 0 25 0 1 0 20885510 62963712 11673 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15372 11673 364 364 0 15008 0
[pid=7067] vsize: 61488
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 61488

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33837 0 0 0 116120 360 0 0 25 0 1 0 20885510 62963712 11688 4294967295 134512640 135987407 3221224576 3221223120 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15372 11688 364 364 0 15008 0
[pid=7067] vsize: 61488
Current children cumulated CPU time (s) 1164.8
Current children cumulated vsize (Kb) 61488

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 33999 0 0 0 117110 363 0 0 25 0 1 0 20885510 63098880 11712 4294967295 134512640 135987407 3221224576 3221223152 134814134 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15405 11712 364 364 0 15041 0
[pid=7067] vsize: 61620
Current children cumulated CPU time (s) 1174.73
Current children cumulated vsize (Kb) 61620

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 34294 0 0 0 118100 367 0 0 25 0 1 0 20885510 63098880 11731 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15405 11731 364 364 0 15041 0
[pid=7067] vsize: 61620
Current children cumulated CPU time (s) 1184.67
Current children cumulated vsize (Kb) 61620

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 34449 0 0 0 119094 370 0 0 25 0 1 0 20885510 63098880 11748 4294967295 134512640 135987407 3221224576 3221223120 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15405 11748 364 364 0 15041 0
[pid=7067] vsize: 61620
Current children cumulated CPU time (s) 1194.64
Current children cumulated vsize (Kb) 61620

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 34621 0 0 0 120089 371 0 0 25 0 1 0 20885510 63279104 11782 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15449 11782 364 364 0 15085 0
[pid=7067] vsize: 61796
Current children cumulated CPU time (s) 1204.6
Current children cumulated vsize (Kb) 61796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7067
Raw data (/proc/7067/stat): 7067 (pb2sat) R 7066 7067 4060 0 -1 0 34621 0 0 0 120089 371 0 0 25 0 1 0 20885510 63279104 11782 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7067/statm): 15449 11782 364 364 0 15085 0
[pid=7067] vsize: 61796
Current children cumulated CPU time (s) 1204.6
Current children cumulated vsize (Kb) 61796

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

Child status: 10
Real time (s): 1210.2
CPU time (s): 1204.76
CPU user time (s): 1201.02
CPU system time (s): 3.74343
CPU usage (%): 99.5504
Max. virtual memory (cumulated for all children) (Kb): 61796

Verifier Data

Verifier:	OK	31