PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
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	407
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	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 41969

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-15 20:43:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25167 boxname=wulflinc5 idbench=69 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc5/normalized-f51m.b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-f51m.b.opb
IDLAUNCH: 25167
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        830472 kB
Buffers:         33652 kB
Cached:         147956 kB
SwapCached:        700 kB
Active:          60152 kB
Inactive:       123588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830220 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14776 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:03:52 (client local time) WITH STATUS 10 IN 1200.55 SECONDS
stats: 25167 0 1200.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 401
c small objective detected
c got solution with objective value: 144
c [startup+5.86287 s]  setting bit 8 to 1

c Decision: 79376/83829	Time: 12.4191/86400
c Decision: 79376/83829	Time: 21.3768/86400
c Decision: 79376/83829	Time: 32.1391/86400
c Decision: 79376/83829	Time: 42.4875/86400
c Decision: 79376/83829	Time: 53.9558/86400
c Decision: 79376/83829	Time: 68.2116/86400
c Decision: 79376/83829	Time: 81.8975/86400
c Decision: 79376/83829	Time: 94.7436/86400
c Decision: 79376/83829	Time: 106.537/86400
c Decision: 79672/83829	Time: 128.835/86400
c Decision: 79672/83829	Time: 141.877/86400
c Decision: 79672/83829	Time: 154.41/86400
c Decision: 79672/83829	Time: 166.759/86400
c Decision: 79672/83829	Time: 181.281/86400
c Decision: 79672/83829	Time: 194.767/86400
c Decision: 79672/83829	Time: 206.989/86400
c Decision: 79672/83829	Time: 219.94/86400
c Decision: 79672/83829	Time: 234.251/86400
c Decision: 79672/83829	Time: 247.958/86400
c Decision: 79672/83829	Time: 261.491/86400
c Decision: 79672/83829	Time: 274.358/86400
c Decision: 79672/83829	Time: 288.888/86400
c Decision: 79672/83829	Time: 301.448/86400
c Decision: 79672/83829	Time: 313.905/86400
c Decision: 79672/83829	Time: 327.298/86400
c Decision: 79672/83829	Time: 340.272/86400
c Decision: 79672/83829	Time: 353.244/86400
c Decision: 79672/83829	Time: 366.39/86400
c Decision: 79672/83829	Time: 380.394/86400
c Decision: 79672/83829	Time: 393.416/86400
c Decision: 79672/83829	Time: 407.841/86400
c Decision: 79672/83829	Time: 420.661/86400
c Decision: 79672/83829	Time: 434.834/86400
c Decision: 79672/83829	Time: 449.349/86400
c Decision: 79672/83829	Time: 460.5/86400
c Decision: 79672/83829	Time: 474.006/86400
c Decision: 79672/83829	Time: 487.513/86400
c Decision: 79672/83829	Time: 500.885/86400
c Decision: 79672/83829	Time: 513.479/86400
c Decision: 79672/83829	Time: 525.03/86400
c Decision: 79672/83829	Time: 537.818/86400
c Decision: 79672/83829	Time: 550.788/86400
c Decision: 79672/83829	Time: 564.989/86400
c Decision: 79672/83829	Time: 577.065/86400
c Decision: 79672/83829	Time: 590.027/86400
c Decision: 79672/83829	Time: 603.593/86400
c Decision: 79672/83829	Time: 617.399/86400
c Decision: 79672/83829	Time: 630.252/86400
c Decision: 79672/83829	Time: 643.161/86400
c Decision: 79672/83829	Time: 655.514/86400
c Decision: 79672/83829	Time: 670.611/86400
c Decision: 79672/83829	Time: 684.194/86400
c Decision: 79672/83829	Time: 698.35/86400
c Decision: 79672/83829	Time: 706.406/86400
c Decision: 79672/83829	Time: 719.6/86400
c Decision: 79672/83829	Time: 733.371/86400
c Decision: 79672/83829	Time: 746.531/86400
c Decision: 79672/83829	Time: 760.134/86400
c Decision: 79672/83829	Time: 772.765/86400
c Decision: 79672/83829	Time: 786.292/86400
c Decision: 79672/83829	Time: 799.298/86400
c Decision: 79672/83829	Time: 813.837/86400
c Decision: 79672/83829	Time: 827.297/86400
c Decision: 79672/83829	Time: 841.373/86400
c Decision: 79672/83829	Time: 855.62/86400
c Decision: 79672/83829	Time: 869.68/86400
c Decision: 79672/83829	Time: 883.101/86400
c Decision: 79672/83829	Time: 896.433/86400
c Decision: 79672/83829	Time: 910.902/86400
c Decision: 79672/83829	Time: 923.113/86400
c Decision: 79672/83829	Time: 936.536/86400
c Decision: 79672/83829	Time: 951.173/86400
c Decision: 79672/83829	Time: 964.911/86400
c Decision: 79672/83829	Time: 978.068/86400
c Decision: 79672/83829	Time: 992.022/86400
c Decision: 79672/83829	Time: 1003.06/86400
c Decision: 79672/83829	Time: 1015.99/86400
c Decision: 79672/83829	Time: 1028.34/86400
c Decision: 79672/83829	Time: 1041.64/86400
c Decision: 79672/83829	Time: 1055.74/86400
c Decision: 79672/83829	Time: 1069.87/86400
c Decision: 79672/83829	Time: 1083.65/86400
c Decision: 79672/83829	Time: 1096.56/86400
c Decision: 79672/83829	Time: 1109.07/86400
c Decision: 79672/83829	Time: 1120.2/86400
c Decision: 79672/83829	Time: 1134.73/86400
c Decision: 79672/83829	Time: 1149.05/86400
c Decision: 79672/83829	Time: 1161.2/86400
c Decision: 79672/83829	Time: 1176.22/86400
c Decision: 79672/83829	Time: 1189.48/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 x374 -x375 x376 x377 x378 x379 -x38 x380 -x381 x382 x383 x384 x385 x386 x387 x388 x389 -x39 x390 x391 x392 x393 -x394 x395 x396 x397 x398 x399 -x4 -x40 x400 x401 x402 x403 x404 x405 x406 -x407 -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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 2596
Raw data (stat): 2596 (runsolver) R 2595 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965096284 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 13692 0 0 0 972 26 0 0 25 0 1 0 965096284 44785664 7901 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10934 7901 301 301 0 10633 0
vsize: 43736
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 13906 0 0 0 1971 26 0 0 25 0 1 0 965096284 44785664 7951 4294967295 134512640 135730672 3221224592 3221222880 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10934 7951 301 301 0 10633 0
vsize: 43736
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 14158 0 0 0 2970 28 0 0 25 0 1 0 965096284 45056000 8039 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11000 8039 301 301 0 10699 0
vsize: 44000
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 14392 0 0 0 3969 29 0 0 25 0 1 0 965096284 45191168 8109 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11033 8109 301 301 0 10732 0
vsize: 44132
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 14608 0 0 0 4968 30 0 0 25 0 1 0 965096284 45330432 8161 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11067 8161 301 301 0 10766 0
vsize: 44268
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 14825 0 0 0 5968 30 0 0 25 0 1 0 965096284 45469696 8214 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11101 8214 301 301 0 10800 0
vsize: 44404
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 14849 0 0 0 6967 31 0 0 25 0 1 0 965096284 45469696 8238 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11101 8238 301 301 0 10800 0
vsize: 44404
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15025 0 0 0 7966 31 0 0 25 0 1 0 965096284 45469696 8250 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11101 8250 301 301 0 10800 0
vsize: 44404
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15198 0 0 0 8966 32 0 0 25 0 1 0 965096284 45469696 8259 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11101 8259 301 301 0 10800 0
vsize: 44404
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15212 0 0 0 9965 34 0 0 25 0 1 0 965096284 45469696 8273 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11101 8273 301 301 0 10800 0
vsize: 44404
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15416 0 0 0 10963 35 0 0 25 0 1 0 965096284 45604864 8313 4294967295 134512640 135730672 3221224592 3221222928 134740336 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11134 8313 301 301 0 10833 0
vsize: 44536
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15620 0 0 0 11962 36 0 0 25 0 1 0 965096284 45604864 8353 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11134 8353 301 301 0 10833 0
vsize: 44536
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15655 0 0 0 12961 37 0 0 25 0 1 0 965096284 45604864 8388 4294967295 134512640 135730672 3221224592 3221223040 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11134 8388 301 301 0 10833 0
vsize: 44536
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 15858 0 0 0 13960 38 0 0 25 0 1 0 965096284 45740032 8427 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11167 8427 301 301 0 10866 0
vsize: 44668
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16051 0 0 0 14960 39 0 0 25 0 1 0 965096284 45740032 8456 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11167 8456 301 301 0 10866 0
vsize: 44668
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16068 0 0 0 15959 40 0 0 25 0 1 0 965096284 45879296 8473 4294967295 134512640 135730672 3221224592 3221222896 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11201 8473 301 301 0 10900 0
vsize: 44804
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16264 0 0 0 16957 42 0 0 25 0 1 0 965096284 45879296 8505 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11201 8505 301 301 0 10900 0
vsize: 44804
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16455 0 0 0 17957 43 0 0 25 0 1 0 965096284 45879296 8532 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11201 8532 301 301 0 10900 0
vsize: 44804
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16646 0 0 0 18956 44 0 0 25 0 1 0 965096284 45879296 8559 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11201 8559 301 301 0 10900 0
vsize: 44804
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16678 0 0 0 19956 44 0 0 25 0 1 0 965096284 45879296 8591 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11201 8591 301 301 0 10900 0
vsize: 44804
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 16872 0 0 0 20955 45 0 0 25 0 1 0 965096284 46014464 8621 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11234 8621 301 301 0 10933 0
vsize: 44936
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17054 0 0 0 21954 46 0 0 25 0 1 0 965096284 46014464 8639 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11234 8639 301 301 0 10933 0
vsize: 44936
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17231 0 0 0 22953 47 0 0 25 0 1 0 965096284 46014464 8652 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11234 8652 301 301 0 10933 0
vsize: 44936
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17409 0 0 0 23952 48 0 0 25 0 1 0 965096284 46686208 8830 4294967295 134512640 135730672 3221224592 3221222560 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11398 8830 301 301 0 11097 0
vsize: 45592
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17420 0 0 0 24952 49 0 0 25 0 1 0 965096284 46149632 8677 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11267 8677 301 301 0 10966 0
vsize: 45068
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17600 0 0 0 25951 50 0 0 25 0 1 0 965096284 46149632 8693 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11267 8693 301 301 0 10966 0
vsize: 45068
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17794 0 0 0 26950 50 0 0 25 0 1 0 965096284 46149632 8723 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11267 8723 301 301 0 10966 0
vsize: 45068
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 17994 0 0 0 27950 51 0 0 25 0 1 0 965096284 46284800 8759 4294967295 134512640 135730672 3221224592 3221223008 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11300 8759 301 301 0 10999 0
vsize: 45200
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18004 0 0 0 28949 52 0 0 25 0 1 0 965096284 46284800 8769 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11300 8769 301 301 0 10999 0
vsize: 45200
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18177 0 0 0 29948 53 0 0 25 0 1 0 965096284 46284800 8778 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11300 8778 301 301 0 10999 0
vsize: 45200
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18356 0 0 0 30948 54 0 0 25 0 1 0 965096284 46284800 8793 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11300 8793 301 301 0 10999 0
vsize: 45200
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18541 0 0 0 31946 55 0 0 25 0 1 0 965096284 46432256 8814 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11336 8814 301 301 0 11035 0
vsize: 45344
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18575 0 0 0 32945 56 0 0 25 0 1 0 965096284 46432256 8848 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11336 8848 301 301 0 11035 0
vsize: 45344
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18773 0 0 0 33945 57 0 0 25 0 1 0 965096284 46432256 8882 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11336 8882 301 301 0 11035 0
vsize: 45344
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 18966 0 0 0 34944 58 0 0 25 0 1 0 965096284 46432256 8911 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11336 8911 301 301 0 11035 0
vsize: 45344
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19137 0 0 0 35943 59 0 0 25 0 1 0 965096284 46567424 8918 4294967295 134512640 135730672 3221224592 3221222864 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11369 8918 301 301 0 11068 0
vsize: 45476
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19151 0 0 0 36943 59 0 0 25 0 1 0 965096284 46567424 8932 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11369 8932 301 301 0 11068 0
vsize: 45476
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19341 0 0 0 37942 61 0 0 25 0 1 0 965096284 46567424 8958 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11369 8958 301 301 0 11068 0
vsize: 45476
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19541 0 0 0 38941 61 0 0 25 0 1 0 965096284 46698496 8994 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11401 8994 301 301 0 11100 0
vsize: 45604
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19746 0 0 0 39940 63 0 0 25 0 1 0 965096284 46698496 9035 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11401 9035 301 301 0 11100 0
vsize: 45604
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19777 0 0 0 40940 63 0 0 25 0 1 0 965096284 46698496 9066 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11401 9066 301 301 0 11100 0
vsize: 45604
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 19954 0 0 0 41939 64 0 0 25 0 1 0 965096284 46698496 9079 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11401 9079 301 301 0 11100 0
vsize: 45604
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20129 0 0 0 42938 65 0 0 25 0 1 0 965096284 46698496 9090 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11401 9090 301 301 0 11100 0
vsize: 45604
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20137 0 0 0 43937 66 0 0 25 0 1 0 965096284 46833664 9098 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9098 301 301 0 11133 0
vsize: 45736
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20311 0 0 0 44937 67 0 0 25 0 1 0 965096284 46833664 9108 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9108 301 301 0 11133 0
vsize: 45736
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20487 0 0 0 45936 68 0 0 25 0 1 0 965096284 46833664 9120 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9120 301 301 0 11133 0
vsize: 45736
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20662 0 0 0 46935 69 0 0 25 0 1 0 965096284 46833664 9131 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9131 301 301 0 11133 0
vsize: 45736
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20856 0 0 0 47934 70 0 0 25 0 1 0 965096284 46833664 9161 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11434 9161 301 301 0 11133 0
vsize: 45736
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 20871 0 0 0 48933 71 0 0 25 0 1 0 965096284 46972928 9176 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9176 301 301 0 11167 0
vsize: 45872
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21043 0 0 0 49933 71 0 0 25 0 1 0 965096284 46972928 9184 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9184 301 301 0 11167 0
vsize: 45872
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21217 0 0 0 50932 72 0 0 25 0 1 0 965096284 46972928 9194 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9194 301 301 0 11167 0
vsize: 45872
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21407 0 0 0 51932 73 0 0 25 0 1 0 965096284 46972928 9220 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9220 301 301 0 11167 0
vsize: 45872
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21445 0 0 0 52931 74 0 0 25 0 1 0 965096284 46972928 9258 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9258 301 301 0 11167 0
vsize: 45872
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21645 0 0 0 53931 75 0 0 25 0 1 0 965096284 46972928 9294 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11468 9294 301 301 0 11167 0
vsize: 45872
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 21832 0 0 0 54930 75 0 0 25 0 1 0 965096284 47104000 9317 4294967295 134512640 135730672 3221224592 3221222880 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11500 9317 301 301 0 11199 0
vsize: 46000
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22005 0 0 0 55930 76 0 0 25 0 1 0 965096284 47104000 9326 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11500 9326 301 301 0 11199 0
vsize: 46000
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22018 0 0 0 56930 76 0 0 25 0 1 0 965096284 47104000 9339 4294967295 134512640 135730672 3221224592 3221222864 134732572 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11500 9339 301 301 0 11199 0
vsize: 46000
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22193 0 0 0 57928 77 0 0 25 0 1 0 965096284 47104000 9350 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11500 9350 301 301 0 11199 0
vsize: 46000
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22379 0 0 0 58928 78 0 0 25 0 1 0 965096284 47247360 9372 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11535 9372 301 301 0 11234 0
vsize: 46140
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22576 0 0 0 59927 79 0 0 25 0 1 0 965096284 47247360 9405 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11535 9405 301 301 0 11234 0
vsize: 46140
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22772 0 0 0 60927 80 0 0 25 0 1 0 965096284 47247360 9437 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11535 9437 301 301 0 11234 0
vsize: 46140
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22782 0 0 0 61926 80 0 0 25 0 1 0 965096284 47247360 9447 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11535 9447 301 301 0 11234 0
vsize: 46140
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 22960 0 0 0 62926 81 0 0 25 0 1 0 965096284 47382528 9461 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11568 9461 301 301 0 11267 0
vsize: 46272
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23138 0 0 0 63925 82 0 0 25 0 1 0 965096284 47382528 9475 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11568 9475 301 301 0 11267 0
vsize: 46272
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23318 0 0 0 64924 83 0 0 25 0 1 0 965096284 47517696 9491 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11601 9491 301 301 0 11300 0
vsize: 46404
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23354 0 0 0 65923 84 0 0 25 0 1 0 965096284 47517696 9527 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11601 9527 301 301 0 11300 0
vsize: 46404
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23550 0 0 0 66923 85 0 0 25 0 1 0 965096284 47517696 9559 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11601 9559 301 301 0 11300 0
vsize: 46404
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23743 0 0 0 67921 86 0 0 25 0 1 0 965096284 47517696 9588 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11601 9588 301 301 0 11300 0
vsize: 46404
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23912 0 0 0 68920 88 0 0 25 0 1 0 965096284 47517696 9593 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11601 9593 301 301 0 11300 0
vsize: 46404
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 23924 0 0 0 69920 88 0 0 25 0 1 0 965096284 47656960 9605 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9605 301 301 0 11334 0
vsize: 46540
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24104 0 0 0 70919 89 0 0 25 0 1 0 965096284 47656960 9621 4294967295 134512640 135730672 3221224592 3221222880 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9621 301 301 0 11334 0
vsize: 46540
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24277 0 0 0 71918 90 0 0 25 0 1 0 965096284 47656960 9630 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9630 301 301 0 11334 0
vsize: 46540
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24486 0 0 0 72917 91 0 0 25 0 1 0 965096284 47656960 9675 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9675 301 301 0 11334 0
vsize: 46540
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24688 0 0 0 73916 92 0 0 25 0 1 0 965096284 47656960 9713 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11635 9713 301 301 0 11334 0
vsize: 46540
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24699 0 0 0 74917 92 0 0 25 0 1 0 965096284 47792128 9724 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11668 9724 301 301 0 11367 0
vsize: 46672
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 24876 0 0 0 75916 93 0 0 25 0 1 0 965096284 47792128 9737 4294967295 134512640 135730672 3221224592 3221222624 134786428 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11668 9737 301 301 0 11367 0
vsize: 46672
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25062 0 0 0 76915 94 0 0 25 0 1 0 965096284 47792128 9759 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11668 9759 301 301 0 11367 0
vsize: 46672
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25270 0 0 0 77914 95 0 0 25 0 1 0 965096284 56315904 9803 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 9803 301 301 0 13448 0
vsize: 54996
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25314 0 0 0 78914 96 0 0 25 0 1 0 965096284 56315904 9847 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 9847 301 301 0 13448 0
vsize: 54996
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25520 0 0 0 79912 97 0 0 25 0 1 0 965096284 56315904 9889 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 9889 301 301 0 13448 0
vsize: 54996
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25706 0 0 0 80912 98 0 0 25 0 1 0 965096284 56315904 9911 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13749 9911 301 301 0 13448 0
vsize: 54996
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25878 0 0 0 81911 99 0 0 25 0 1 0 965096284 56451072 9919 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13782 9919 301 301 0 13481 0
vsize: 55128
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 25896 0 0 0 82911 100 0 0 25 0 1 0 965096284 56451072 9937 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13782 9937 301 301 0 13481 0
vsize: 55128
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26067 0 0 0 83910 101 0 0 25 0 1 0 965096284 56451072 9944 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13782 9944 301 301 0 13481 0
vsize: 55128
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26237 0 0 0 84909 101 0 0 25 0 1 0 965096284 56451072 9950 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13782 9950 301 301 0 13481 0
vsize: 55128
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26246 0 0 0 85909 102 0 0 25 0 1 0 965096284 56451072 9959 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13782 9959 301 301 0 13481 0
vsize: 55128
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26447 0 0 0 86909 102 0 0 25 0 1 0 965096284 56586240 9996 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 9996 301 301 0 13514 0
vsize: 55260
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26636 0 0 0 87908 104 0 0 25 0 1 0 965096284 56586240 10021 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 10021 301 301 0 13514 0
vsize: 55260
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26812 0 0 0 88906 105 0 0 25 0 1 0 965096284 56586240 10033 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 10033 301 301 0 13514 0
vsize: 55260
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26820 0 0 0 89906 105 0 0 25 0 1 0 965096284 56586240 10041 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 10041 301 301 0 13514 0
vsize: 55260
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 26993 0 0 0 90906 106 0 0 25 0 1 0 965096284 56586240 10050 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13815 10050 301 301 0 13514 0
vsize: 55260
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27169 0 0 0 91905 107 0 0 25 0 1 0 965096284 56717312 10062 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10062 301 301 0 13546 0
vsize: 55388
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27381 0 0 0 92905 107 0 0 25 0 1 0 965096284 56717312 10110 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10110 301 301 0 13546 0
vsize: 55388
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27415 0 0 0 93904 108 0 0 25 0 1 0 965096284 56717312 10144 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10144 301 301 0 13546 0
vsize: 55388
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27593 0 0 0 94904 109 0 0 25 0 1 0 965096284 56717312 10158 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10158 301 301 0 13546 0
vsize: 55388
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27765 0 0 0 95903 110 0 0 25 0 1 0 965096284 56717312 10166 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10166 301 301 0 13546 0
vsize: 55388
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2596
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27772 0 0 0 96903 110 0 0 25 0 1 0 965096284 56717312 10173 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13847 10173 301 301 0 13546 0
vsize: 55388
[startup+980.01 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 27949 0 0 0 97902 111 0 0 25 0 1 0 965096284 56856576 10186 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13881 10186 301 301 0 13580 0
vsize: 55524
[startup+990.01 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28123 0 0 0 98902 111 0 0 25 0 1 0 965096284 56856576 10196 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13881 10196 301 301 0 13580 0
vsize: 55524
[startup+1000.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28303 0 0 0 99901 112 0 0 25 0 1 0 965096284 56856576 10212 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13881 10212 301 301 0 13580 0
vsize: 55524
[startup+1010.01 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28476 0 0 0 100900 113 0 0 25 0 1 0 965096284 56856576 10221 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13881 10221 301 301 0 13580 0
vsize: 55524
[startup+1020.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28484 0 0 0 101900 114 0 0 25 0 1 0 965096284 56991744 10229 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13914 10229 301 301 0 13613 0
vsize: 55656
[startup+1030.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28657 0 0 0 102900 114 0 0 25 0 1 0 965096284 56991744 10238 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13914 10238 301 301 0 13613 0
vsize: 55656
[startup+1040.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2649
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 28836 0 0 0 103899 115 0 0 25 0 1 0 965096284 56991744 10253 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13914 10253 301 301 0 13613 0
vsize: 55656
[startup+1050.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29006 0 0 0 104899 115 0 0 25 0 1 0 965096284 56991744 10259 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13914 10259 301 301 0 13613 0
vsize: 55656
[startup+1060.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29020 0 0 0 105899 116 0 0 25 0 1 0 965096284 56991744 10273 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13914 10273 301 301 0 13613 0
vsize: 55656
[startup+1070.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29199 0 0 0 106898 117 0 0 25 0 1 0 965096284 57139200 10288 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13950 10288 301 301 0 13649 0
vsize: 55800
[startup+1080.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29379 0 0 0 107897 118 0 0 25 0 1 0 965096284 57139200 10304 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13950 10304 301 301 0 13649 0
vsize: 55800
[startup+1090.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29556 0 0 0 108896 119 0 0 25 0 1 0 965096284 57139200 10317 4294967295 134512640 135730672 3221224592 3221222880 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13950 10317 301 301 0 13649 0
vsize: 55800
[startup+1100.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29579 0 0 0 109896 119 0 0 25 0 1 0 965096284 57139200 10340 4294967295 134512640 135730672 3221224592 3221222976 134763602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13950 10340 301 301 0 13649 0
vsize: 55800
[startup+1110.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29784 0 0 0 110896 119 0 0 25 0 1 0 965096284 57274368 10381 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13983 10381 301 301 0 13682 0
vsize: 55932
[startup+1120.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 29983 0 0 0 111895 121 0 0 25 0 1 0 965096284 57274368 10416 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13983 10416 301 301 0 13682 0
vsize: 55932
[startup+1130.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30183 0 0 0 112894 122 0 0 25 0 1 0 965096284 57274368 10452 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13983 10452 301 301 0 13682 0
vsize: 55932
[startup+1140.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30384 0 0 0 113894 122 0 0 25 0 1 0 965096284 57946112 10653 4294967295 134512640 135730672 3221224592 3221222544 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14147 10653 301 301 0 13846 0
vsize: 56588
[startup+1150.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30391 0 0 0 114894 122 0 0 25 0 1 0 965096284 57274368 10496 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13983 10496 301 301 0 13682 0
vsize: 55932
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30568 0 0 0 115893 123 0 0 25 0 1 0 965096284 57413632 10509 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 10509 301 301 0 13716 0
vsize: 56068
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30741 0 0 0 116893 124 0 0 25 0 1 0 965096284 57413632 10518 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 10518 301 301 0 13716 0
vsize: 56068
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30766 0 0 0 117893 124 0 0 25 0 1 0 965096284 57413632 10543 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 10543 301 301 0 13716 0
vsize: 56068
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 30967 0 0 0 118893 124 0 0 25 0 1 0 965096284 57413632 10580 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14017 10580 301 301 0 13716 0
vsize: 56068
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2651
Raw data (stat): 2596 (pb2sat-v2) R 2595 7266 7265 0 -1 0 31170 0 0 0 119892 125 0 0 25 0 1 0 965096284 57548800 10619 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14050 10619 301 301 0 13749 0
vsize: 56200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 2651
Raw data (stat): 2596 (pb2sat-v2) Z 2595 7266 7265 0 -1 12 31172 0 0 0 119926 128 0 0 25 0 1 0 965096284 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.39
CPU time (s): 1200.55
CPU user time (s): 1199.27
CPU system time (s): 1.28081
CPU usage (%): 100.014
Max. virtual memory (Kb): 56588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	144
#### END VERIFIER DATA ####