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/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM	33d46caaa6c22613488909eddb5a530f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	162
Optimality of the best value was proved	NO
Number of terms in the objective function	444
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	444
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	444
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.02184
Number of variables	444
Total number of constraints	1408
Number of constraints which are clauses	1408
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 42041

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-15 22:27:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25256 boxname=wulflinc1 idbench=158 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32e1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32e1.opb
IDLAUNCH: 25256
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        827632 kB
Buffers:         33736 kB
Cached:         149624 kB
SwapCached:       1192 kB
Active:          76712 kB
Inactive:       108972 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827380 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15560 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 22:47:37 (client local time) WITH STATUS 10 IN 1200.55 SECONDS
stats: 25256 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: 222
c small objective detected
c CONFLICT during preprocess 
c [startup+4.02082 s]  setting bit 8 to 0
c [startup+10.5987 s]  setting bit 7 to 0

c Decision: 19462/74714	Time: 38.1512/86400
c Decision: 19847/74714	Time: 59.9589/86400
c Decision: 22033/74714	Time: 76.7153/86400
c Decision: 22322/74714	Time: 98.953/86400
c Decision: 22322/74714	Time: 106.688/86400
c Decision: 22322/74714	Time: 119.866/86400
c Decision: 22334/74714	Time: 138.611/86400
c Decision: 22342/74714	Time: 151.435/86400
c Decision: 22342/74714	Time: 167.673/86400
c Decision: 22342/74714	Time: 181.573/86400
c Decision: 22343/74714	Time: 204.95/86400
c Decision: 23737/74714	Time: 225.483/86400
c Decision: 23752/74714	Time: 239.03/86400
c Decision: 23752/74714	Time: 257.662/86400
c Decision: 27892/74714	Time: 279.883/86400
c Decision: 27892/74714	Time: 294.838/86400
c Decision: 27935/74714	Time: 327.572/86400
c Decision: 27935/74714	Time: 340.659/86400
c Decision: 27936/74714	Time: 370.572/86400
c Decision: 27936/74714	Time: 393.052/86400
c Decision: 27937/74714	Time: 418.694/86400
c Decision: 27937/74714	Time: 433.26/86400
c Decision: 27938/74714	Time: 456.791/86400
c Decision: 27938/74714	Time: 474.494/86400
c Decision: 27976/74714	Time: 503.847/86400
c Decision: 28345/74714	Time: 547.555/86400
c Decision: 28345/74714	Time: 562.157/86400
c Decision: 28345/74714	Time: 582.929/86400
c Decision: 28789/74714	Time: 619.316/86400
c Decision: 28789/74714	Time: 642.771/86400
c Decision: 28790/74714	Time: 668.713/86400
c Decision: 29077/74714	Time: 700.519/86400
c Decision: 29077/74714	Time: 719.633/86400
c Decision: 29077/74714	Time: 740.061/86400
c Decision: 29077/74714	Time: 755.68/86400
c Decision: 29077/74714	Time: 776.137/86400
c Decision: 29077/74714	Time: 793.135/86400
c Decision: 29180/74714	Time: 852.924/86400
c Decision: 29180/74714	Time: 872.949/86400
c Decision: 29465/74714	Time: 900.865/86400
c Decision: 29577/74714	Time: 925.505/86400
c Decision: 29869/74714	Time: 974.075/86400
c Decision: 29869/74714	Time: 992.839/86400
c Decision: 29870/74714	Time: 1022.89/86400
c Decision: 29871/74714	Time: 1049.55/86400
c Decision: 29871/74714	Time: 1072.55/86400
c Decision: 29871/74714	Time: 1094.71/86400
c Decision: 30159/74714	Time: 1131.73/86400
c Decision: 30159/74714	Time: 1156.26/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 x408 x409 x41 -x410 -x411 x412 -x413 x414 x415 -x416 -x417 x418 -x419 -x42 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x43 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x44 -x440 -x441 x442 -x443 x444 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
Raw data (loadavg): 0.84 0.94 0.90 2/55 6702
Raw data (stat): 6702 (runsolver) R 6701 8378 8377 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 908861644 884736 93 4294967295 134512640 135332820 3221224480 3221219724 134957955 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 12985 0 0 0 969 30 0 0 25 0 1 0 908861644 44113920 7232 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10770 7232 301 301 0 10469 0
vsize: 43080
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 13876 0 0 0 1966 32 0 0 25 0 1 0 908861644 48074752 7977 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11737 7977 301 301 0 11436 0
vsize: 46948
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 14138 0 0 0 2966 33 0 0 25 0 1 0 908861644 48926720 8206 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11945 8206 301 301 0 11644 0
vsize: 47780
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 14314 0 0 0 3965 33 0 0 25 0 1 0 908861644 49467392 8382 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12077 8382 301 301 0 11776 0
vsize: 48308
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 14851 0 0 0 4964 35 0 0 25 0 1 0 908861644 51462144 8773 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12564 8773 301 301 0 12263 0
vsize: 50256
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 14940 0 0 0 5963 36 0 0 25 0 1 0 908861644 51929088 8862 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12678 8862 301 301 0 12377 0
vsize: 50712
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 14980 0 0 0 6962 36 0 0 25 0 1 0 908861644 52064256 8902 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12711 8902 301 301 0 12410 0
vsize: 50844
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 15275 0 0 0 7961 37 0 0 25 0 1 0 908861644 52600832 9051 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12842 9051 301 301 0 12541 0
vsize: 51368
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 15682 0 0 0 8960 38 0 0 25 0 1 0 908861644 53538816 9246 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13071 9246 301 301 0 12770 0
vsize: 52284
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 15725 0 0 0 9960 39 0 0 25 0 1 0 908861644 53538816 9289 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13071 9289 301 301 0 12770 0
vsize: 52284
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 15911 0 0 0 10959 40 0 0 25 0 1 0 908861644 53538816 9329 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13071 9329 301 301 0 12770 0
vsize: 52284
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16103 0 0 0 11958 41 0 0 25 0 1 0 908861644 53538816 9375 4294967295 134512640 135730672 3221224592 3221222928 134740234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13071 9375 301 301 0 12770 0
vsize: 52284
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16141 0 0 0 12958 41 0 0 25 0 1 0 908861644 53538816 9413 4294967295 134512640 135730672 3221224592 3221222896 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13071 9413 301 301 0 12770 0
vsize: 52284
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16334 0 0 0 13957 42 0 0 25 0 1 0 908861644 53669888 9427 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13103 9427 301 301 0 12802 0
vsize: 52412
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16482 0 0 0 14957 42 0 0 25 0 1 0 908861644 53669888 9429 4294967295 134512640 135730672 3221224592 3221222704 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13103 9429 301 301 0 12802 0
vsize: 52412
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16486 0 0 0 15956 43 0 0 25 0 1 0 908861644 53669888 9433 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13103 9433 301 301 0 12802 0
vsize: 52412
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16634 0 0 0 16956 43 0 0 25 0 1 0 908861644 53669888 9435 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13103 9435 301 301 0 12802 0
vsize: 52412
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16826 0 0 0 17956 44 0 0 25 0 1 0 908861644 53866496 9481 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13151 9481 301 301 0 12850 0
vsize: 52604
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 16848 0 0 0 18956 44 0 0 25 0 1 0 908861644 54001664 9503 4294967295 134512640 135730672 3221224592 3221222632 135284611 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13184 9503 301 301 0 12883 0
vsize: 52736
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17014 0 0 0 19955 45 0 0 25 0 1 0 908861644 54136832 9523 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13217 9523 301 301 0 12916 0
vsize: 52868
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17084 0 0 0 20955 45 0 0 25 0 1 0 908861644 54136832 9593 4294967295 134512640 135730672 3221224592 3221222880 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13217 9593 301 301 0 12916 0
vsize: 52868
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17271 0 0 0 21954 46 0 0 25 0 1 0 908861644 54300672 9634 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13257 9634 301 301 0 12956 0
vsize: 53028
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17303 0 0 0 22954 47 0 0 25 0 1 0 908861644 54300672 9666 4294967295 134512640 135730672 3221224592 3221223040 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13257 9666 301 301 0 12956 0
vsize: 53028
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17537 0 0 0 23953 47 0 0 25 0 1 0 908861644 54767616 9754 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13371 9754 301 301 0 13070 0
vsize: 53484
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17687 0 0 0 24953 48 0 0 25 0 1 0 908861644 54767616 9758 4294967295 134512640 135730672 3221224592 3221222976 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13371 9758 301 301 0 13070 0
vsize: 53484
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17689 0 0 0 25953 48 0 0 25 0 1 0 908861644 54767616 9760 4294967295 134512640 135730672 3221224592 3221222976 134763587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13371 9760 301 301 0 13070 0
vsize: 53484
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17886 0 0 0 26952 49 0 0 25 0 1 0 908861644 55037952 9811 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13437 9811 301 301 0 13136 0
vsize: 53748
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17899 0 0 0 27952 49 0 0 25 0 1 0 908861644 55037952 9824 4294967295 134512640 135730672 3221224592 3221223072 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13437 9824 301 301 0 13136 0
vsize: 53748
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 17920 0 0 0 28952 50 0 0 25 0 1 0 908861644 55173120 9845 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9845 301 301 0 13169 0
vsize: 53880
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18106 0 0 0 29951 51 0 0 25 0 1 0 908861644 55173120 9885 4294967295 134512640 135730672 3221224592 3221223072 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9885 301 301 0 13169 0
vsize: 53880
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18285 0 0 0 30950 52 0 0 25 0 1 0 908861644 55173120 9918 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9918 301 301 0 13169 0
vsize: 53880
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18288 0 0 0 31949 53 0 0 25 0 1 0 908861644 55173120 9921 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9921 301 301 0 13169 0
vsize: 53880
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18291 0 0 0 32949 53 0 0 25 0 1 0 908861644 55173120 9924 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9924 301 301 0 13169 0
vsize: 53880
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18439 0 0 0 33949 54 0 0 25 0 1 0 908861644 55173120 9926 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13470 9926 301 301 0 13169 0
vsize: 53880
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18442 0 0 0 34948 54 0 0 25 0 1 0 908861644 55173120 9929 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9929 301 301 0 13169 0
vsize: 53880
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18591 0 0 0 35948 54 0 0 25 0 1 0 908861644 55173120 9932 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9932 301 301 0 13169 0
vsize: 53880
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18597 0 0 0 36948 55 0 0 25 0 1 0 908861644 55173120 9938 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9938 301 301 0 13169 0
vsize: 53880
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18635 0 0 0 37948 55 0 0 25 0 1 0 908861644 55173120 9976 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 9976 301 301 0 13169 0
vsize: 53880
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18816 0 0 0 38947 56 0 0 25 0 1 0 908861644 55173120 10011 4294967295 134512640 135730672 3221224592 3221222624 134786484 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10011 301 301 0 13169 0
vsize: 53880
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 18851 0 0 0 39947 56 0 0 25 0 1 0 908861644 55173120 10046 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10046 301 301 0 13169 0
vsize: 53880
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19037 0 0 0 40947 56 0 0 25 0 1 0 908861644 55173120 10086 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10086 301 301 0 13169 0
vsize: 53880
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19092 0 0 0 41947 57 0 0 25 0 1 0 908861644 55173120 10141 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10141 301 301 0 13169 0
vsize: 53880
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19293 0 0 0 42947 57 0 0 25 0 1 0 908861644 55173120 10196 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10196 301 301 0 13169 0
vsize: 53880
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19296 0 0 0 43947 58 0 0 25 0 1 0 908861644 55173120 10199 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13470 10199 301 301 0 13169 0
vsize: 53880
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19485 0 0 0 44946 58 0 0 25 0 1 0 908861644 55369728 10242 4294967295 134512640 135730672 3221224592 3221222880 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10242 301 301 0 13217 0
vsize: 54072
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19488 0 0 0 45946 58 0 0 25 0 1 0 908861644 55369728 10245 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10245 301 301 0 13217 0
vsize: 54072
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19636 0 0 0 46946 59 0 0 25 0 1 0 908861644 55369728 10247 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10247 301 301 0 13217 0
vsize: 54072
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19638 0 0 0 47946 59 0 0 25 0 1 0 908861644 55369728 10249 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10249 301 301 0 13217 0
vsize: 54072
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19787 0 0 0 48945 60 0 0 25 0 1 0 908861644 55369728 10252 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10252 301 301 0 13217 0
vsize: 54072
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19789 0 0 0 49945 60 0 0 25 0 1 0 908861644 55369728 10254 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10254 301 301 0 13217 0
vsize: 54072
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19791 0 0 0 50945 60 0 0 25 0 1 0 908861644 55369728 10256 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10256 301 301 0 13217 0
vsize: 54072
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19940 0 0 0 51945 60 0 0 25 0 1 0 908861644 55369728 10259 4294967295 134512640 135730672 3221224592 3221223072 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10259 301 301 0 13217 0
vsize: 54072
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19948 0 0 0 52945 60 0 0 25 0 1 0 908861644 55369728 10267 4294967295 134512640 135730672 3221224592 3221222976 134764113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13518 10267 301 301 0 13217 0
vsize: 54072
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19962 0 0 0 53945 61 0 0 25 0 1 0 908861644 55504896 10281 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10281 301 301 0 13250 0
vsize: 54204
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 19966 0 0 0 54945 61 0 0 25 0 1 0 908861644 55504896 10285 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10285 301 301 0 13250 0
vsize: 54204
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20119 0 0 0 55945 61 0 0 25 0 1 0 908861644 55504896 10292 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10292 301 301 0 13250 0
vsize: 54204
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20124 0 0 0 56945 62 0 0 25 0 1 0 908861644 55504896 10297 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10297 301 301 0 13250 0
vsize: 54204
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20274 0 0 0 57945 62 0 0 25 0 1 0 908861644 55504896 10301 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10301 301 301 0 13250 0
vsize: 54204
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20278 0 0 0 58945 62 0 0 25 0 1 0 908861644 55504896 10305 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10305 301 301 0 13250 0
vsize: 54204
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20429 0 0 0 59944 63 0 0 25 0 1 0 908861644 55504896 10310 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10310 301 301 0 13250 0
vsize: 54204
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20438 0 0 0 60944 63 0 0 25 0 1 0 908861644 55504896 10319 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10319 301 301 0 13250 0
vsize: 54204
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20444 0 0 0 61944 63 0 0 25 0 1 0 908861644 55504896 10325 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13551 10325 301 301 0 13250 0
vsize: 54204
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20604 0 0 0 62944 64 0 0 25 0 1 0 908861644 55640064 10339 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10339 301 301 0 13283 0
vsize: 54336
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20607 0 0 0 63944 64 0 0 25 0 1 0 908861644 55640064 10342 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10342 301 301 0 13283 0
vsize: 54336
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20611 0 0 0 64944 64 0 0 25 0 1 0 908861644 55640064 10346 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10346 301 301 0 13283 0
vsize: 54336
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20760 0 0 0 65943 65 0 0 25 0 1 0 908861644 55640064 10349 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10349 301 301 0 13283 0
vsize: 54336
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20767 0 0 0 66944 65 0 0 25 0 1 0 908861644 55640064 10356 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10356 301 301 0 13283 0
vsize: 54336
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20958 0 0 0 67943 66 0 0 25 0 1 0 908861644 55640064 10401 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10401 301 301 0 13283 0
vsize: 54336
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20964 0 0 0 68943 66 0 0 25 0 1 0 908861644 55640064 10407 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10407 301 301 0 13283 0
vsize: 54336
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20969 0 0 0 69943 66 0 0 25 0 1 0 908861644 55640064 10412 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10412 301 301 0 13283 0
vsize: 54336
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 20973 0 0 0 70943 66 0 0 25 0 1 0 908861644 55640064 10416 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13584 10416 301 301 0 13283 0
vsize: 54336
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21126 0 0 0 71942 67 0 0 25 0 1 0 908861644 55775232 10423 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10423 301 301 0 13316 0
vsize: 54468
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21233 0 0 0 72942 67 0 0 25 0 1 0 908861644 56373248 10531 4294967295 134512640 135730672 3221224592 3221222720 134767241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13763 10539 301 301 0 13462 0
vsize: 55052
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21286 0 0 0 73941 68 0 0 25 0 1 0 908861644 55775232 10437 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10437 301 301 0 13316 0
vsize: 54468
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21289 0 0 0 74942 68 0 0 25 0 1 0 908861644 55775232 10440 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10440 301 301 0 13316 0
vsize: 54468
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21444 0 0 0 75941 69 0 0 25 0 1 0 908861644 55775232 10449 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10449 301 301 0 13316 0
vsize: 54468
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21597 0 0 0 76941 69 0 0 25 0 1 0 908861644 55775232 10456 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10456 301 301 0 13316 0
vsize: 54468
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21601 0 0 0 77941 69 0 0 25 0 1 0 908861644 55775232 10460 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10460 301 301 0 13316 0
vsize: 54468
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21777 0 0 0 78941 70 0 0 25 0 1 0 908861644 55775232 10490 4294967295 134512640 135730672 3221224592 3221222928 134740282 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13617 10490 301 301 0 13316 0
vsize: 54468
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21784 0 0 0 79940 70 0 0 25 0 1 0 908861644 55910400 10497 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10497 301 301 0 13349 0
vsize: 54600
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21937 0 0 0 80940 70 0 0 25 0 1 0 908861644 55910400 10504 4294967295 134512640 135730672 3221224592 3221222704 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10504 301 301 0 13349 0
vsize: 54600
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21943 0 0 0 81940 71 0 0 25 0 1 0 908861644 55910400 10510 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10510 301 301 0 13349 0
vsize: 54600
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21953 0 0 0 82940 71 0 0 25 0 1 0 908861644 55910400 10520 4294967295 134512640 135730672 3221224592 3221222928 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10520 301 301 0 13349 0
vsize: 54600
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21959 0 0 0 83940 71 0 0 25 0 1 0 908861644 55910400 10526 4294967295 134512640 135730672 3221224592 3221222928 134740402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10526 301 301 0 13349 0
vsize: 54600
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21961 0 0 0 84940 71 0 0 25 0 1 0 908861644 55910400 10528 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10528 301 301 0 13349 0
vsize: 54600
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 21966 0 0 0 85940 71 0 0 25 0 1 0 908861644 55910400 10533 4294967295 134512640 135730672 3221224592 3221222984 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13650 10533 301 301 0 13349 0
vsize: 54600
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22123 0 0 0 86940 72 0 0 25 0 1 0 908861644 56045568 10544 4294967295 134512640 135730672 3221224592 3221223008 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13683 10544 301 301 0 13382 0
vsize: 54732
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22125 0 0 0 87940 72 0 0 25 0 1 0 908861644 56045568 10546 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13683 10546 301 301 0 13382 0
vsize: 54732
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22330 0 0 0 88939 73 0 0 25 0 1 0 908861644 56045568 10605 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13683 10605 301 301 0 13382 0
vsize: 54732
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22378 0 0 0 89939 73 0 0 25 0 1 0 908861644 56045568 10653 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13683 10653 301 301 0 13382 0
vsize: 54732
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22427 0 0 0 90939 74 0 0 25 0 1 0 908861644 56045568 10702 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13683 10702 301 301 0 13382 0
vsize: 54732
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22633 0 0 0 91938 75 0 0 25 0 1 0 908861644 64434176 10762 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15731 10762 301 301 0 15430 0
vsize: 62924
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22690 0 0 0 92938 75 0 0 25 0 1 0 908861644 64434176 10819 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15731 10819 301 301 0 15430 0
vsize: 62924
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22863 0 0 0 93937 76 0 0 25 0 1 0 908861644 64434176 10846 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15731 10846 301 301 0 15430 0
vsize: 62924
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22873 0 0 0 94937 76 0 0 25 0 1 0 908861644 64573440 10856 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15765 10856 301 301 0 15464 0
vsize: 63060
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22903 0 0 0 95937 76 0 0 25 0 1 0 908861644 64708608 10886 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10886 301 301 0 15497 0
vsize: 63192
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22905 0 0 0 96937 76 0 0 25 0 1 0 908861644 64708608 10888 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10888 301 301 0 15497 0
vsize: 63192
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 22907 0 0 0 97937 77 0 0 25 0 1 0 908861644 64708608 10890 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10890 301 301 0 15497 0
vsize: 63192
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23058 0 0 0 98937 77 0 0 25 0 1 0 908861644 64708608 10895 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10895 301 301 0 15497 0
vsize: 63192
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23060 0 0 0 99937 77 0 0 25 0 1 0 908861644 64708608 10897 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10897 301 301 0 15497 0
vsize: 63192
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23214 0 0 0 100937 78 0 0 25 0 1 0 908861644 64708608 10905 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10905 301 301 0 15497 0
vsize: 63192
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23219 0 0 0 101937 78 0 0 25 0 1 0 908861644 64708608 10910 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10910 301 301 0 15497 0
vsize: 63192
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23225 0 0 0 102937 78 0 0 25 0 1 0 908861644 64708608 10916 4294967295 134512640 135730672 3221224592 3221222880 134747947 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10916 301 301 0 15497 0
vsize: 63192
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23377 0 0 0 103936 79 0 0 25 0 1 0 908861644 64708608 10922 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10922 301 301 0 15497 0
vsize: 63192
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23389 0 0 0 104936 79 0 0 25 0 1 0 908861644 64708608 10934 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15798 10934 301 301 0 15497 0
vsize: 63192
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23546 0 0 0 105935 80 0 0 25 0 1 0 908861644 64843776 10945 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10945 301 301 0 15530 0
vsize: 63324
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23554 0 0 0 106935 80 0 0 25 0 1 0 908861644 64843776 10953 4294967295 134512640 135730672 3221224592 3221223008 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10953 301 301 0 15530 0
vsize: 63324
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23555 0 0 0 107935 80 0 0 25 0 1 0 908861644 64843776 10954 4294967295 134512640 135730672 3221224592 3221222704 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10954 301 301 0 15530 0
vsize: 63324
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23708 0 0 0 108935 81 0 0 25 0 1 0 908861644 64843776 10961 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10961 301 301 0 15530 0
vsize: 63324
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23710 0 0 0 109935 81 0 0 25 0 1 0 908861644 64843776 10963 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10963 301 301 0 15530 0
vsize: 63324
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23862 0 0 0 110935 81 0 0 25 0 1 0 908861644 64843776 10969 4294967295 134512640 135730672 3221224592 3221222928 134740282 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10969 301 301 0 15530 0
vsize: 63324
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23872 0 0 0 111935 81 0 0 25 0 1 0 908861644 64843776 10979 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15831 10979 301 301 0 15530 0
vsize: 63324
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23877 0 0 0 112935 81 0 0 25 0 1 0 908861644 64978944 10984 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 10984 301 301 0 15563 0
vsize: 63456
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 23883 0 0 0 113935 82 0 0 25 0 1 0 908861644 64978944 10990 4294967295 134512640 135730672 3221224592 3221223008 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 10990 301 301 0 15563 0
vsize: 63456
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24033 0 0 0 114935 82 0 0 25 0 1 0 908861644 64978944 10994 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15864 10994 301 301 0 15563 0
vsize: 63456
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24186 0 0 0 115935 82 0 0 25 0 1 0 908861644 65654784 11147 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16029 11147 301 301 0 15728 0
vsize: 64116
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24446 0 0 0 116934 84 0 0 25 0 1 0 908861644 66228224 11261 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16169 11261 301 301 0 15868 0
vsize: 64676
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24449 0 0 0 117934 84 0 0 25 0 1 0 908861644 66228224 11264 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16169 11264 301 301 0 15868 0
vsize: 64676
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24450 0 0 0 118934 84 0 0 25 0 1 0 908861644 66228224 11265 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16169 11265 301 301 0 15868 0
vsize: 64676
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6702
Raw data (stat): 6702 (pb2sat-v2) R 6701 8378 8377 0 -1 0 24452 0 0 0 119934 84 0 0 25 0 1 0 908861644 66228224 11267 4294967295 134512640 135730672 3221224592 3221222860 134730524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16169 11267 301 301 0 15868 0
vsize: 64676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.49 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 6702
Raw data (stat): 6702 (pb2sat-v2) Z 6701 8378 8377 0 -1 12 24454 0 0 0 119968 86 0 0 24 0 1 0 908861644 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.49
CPU time (s): 1200.55
CPU user time (s): 1199.68
CPU system time (s): 0.865868
CPU usage (%): 100.005
Max. virtual memory (Kb): 64676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	222
#### END VERIFIER DATA ####