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-ii8a3.opb
MD5SUM	a430664a9b4f203a5896b33ca2b0e0e5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	528
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	528
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	528
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02384
Number of variables	528
Total number of constraints	1816
Number of constraints which are clauses	1816
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	8
Trace number 42047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-15 22:47:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25263 boxname=wulflinc1 idbench=165 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc1/normalized-ii8a3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii8a3.opb
IDLAUNCH: 25263
/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:        827640 kB
Buffers:         33752 kB
Cached:         149676 kB
SwapCached:       1192 kB
Active:          76708 kB
Inactive:       109028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        827388 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15528 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 23:07:47 (client local time) WITH STATUS 10 IN 1200.64 SECONDS
stats: 25263 0 1200.64 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: 264
c small objective detected
c CONFLICT during preprocess 
c [startup+5.45706 s]  setting bit 9 to 0
c [startup+6.25435 s]  setting bit 8 to 0

c Decision: 43104/105483	Time: 35.4956/86400
c Decision: 43104/105483	Time: 53.9098/86400
c Decision: 43104/105483	Time: 74.6337/86400
c Decision: 43104/105483	Time: 93.0988/86400
c Decision: 43104/105483	Time: 108.134/86400
c Decision: 43104/105483	Time: 125.47/86400
c Decision: 43104/105483	Time: 142.464/86400
c Decision: 43606/105483	Time: 161.689/86400
c Decision: 43606/105483	Time: 176.621/86400
c Decision: 43992/105483	Time: 188.816/86400
c Decision: 43992/105483	Time: 205.385/86400
c Decision: 43992/105483	Time: 224.115/86400
c Decision: 44489/105483	Time: 249.134/86400
c Decision: 44489/105483	Time: 266.174/86400
c Decision: 44489/105483	Time: 284.847/86400
c Decision: 44980/105483	Time: 306.588/86400
c Decision: 44980/105483	Time: 323.919/86400
c Decision: 44980/105483	Time: 342.323/86400
c Decision: 44980/105483	Time: 358.273/86400
c Decision: 44980/105483	Time: 377.133/86400
c Decision: 44980/105483	Time: 395.896/86400
c Decision: 44980/105483	Time: 415.179/86400
c Decision: 44988/105483	Time: 440.295/86400
c Decision: 44988/105483	Time: 460.187/86400
c Decision: 44988/105483	Time: 473.232/86400
c Decision: 44988/105483	Time: 493.488/86400
c Decision: 44988/105483	Time: 509.657/86400
c Decision: 44988/105483	Time: 528.045/86400
c Decision: 44988/105483	Time: 549.483/86400
c Decision: 44988/105483	Time: 566.688/86400
c Decision: 44988/105483	Time: 584.378/86400
c Decision: 44988/105483	Time: 602.759/86400
c Decision: 44988/105483	Time: 620.609/86400
c Decision: 44988/105483	Time: 638.905/86400
c Decision: 44988/105483	Time: 662.879/86400
c Decision: 44988/105483	Time: 679.066/86400
c Decision: 44988/105483	Time: 699.134/86400
c Decision: 44988/105483	Time: 716.874/86400
c Decision: 44988/105483	Time: 736.534/86400
c Decision: 44988/105483	Time: 756.743/86400
c Decision: 44988/105483	Time: 770.772/86400
c Decision: 45455/105483	Time: 798.516/86400
c Decision: 45455/105483	Time: 815.779/86400
c Decision: 45455/105483	Time: 834.563/86400
c Decision: 45455/105483	Time: 854.178/86400
c Decision: 45455/105483	Time: 877.46/86400
c Decision: 45455/105483	Time: 898.446/86400
c Decision: 45455/105483	Time: 916.511/86400
c Decision: 45455/105483	Time: 935.501/86400
c Decision: 45455/105483	Time: 956.11/86400
c Decision: 45455/105483	Time: 975.832/86400
c Decision: 45455/105483	Time: 993.045/86400
c Decision: 45455/105483	Time: 1013.06/86400
c Decision: 45455/105483	Time: 1033.27/86400
c Decision: 45455/105483	Time: 1050.31/86400
c Decision: 45455/105483	Time: 1072.42/86400
c Decision: 45455/105483	Time: 1097.96/86400
c Decision: 45455/105483	Time: 1121.35/86400
c Decision: 45455/105483	Time: 1147.75/86400
c Decision: 45455/105483	Time: 1166.37/86400
c Decision: 45455/105483	Time: 1185.14/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 -x445 x446 -x447 x448 -x449 -x45 x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 -x459 x46 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 x469 x47 -x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x48 x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x49 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 -x5 -x50 x500 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x51 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 x519 -x52 -x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 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.84 0.94 0.90 2/55 6794
Raw data (stat): 6794 (runsolver) R 6793 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908982668 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99998 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 16361 0 0 0 964 34 0 0 25 0 1 0 908982668 49741824 10223 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12144 10223 301 301 0 11843 0
vsize: 48576
[startup+19.9997 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 16851 0 0 0 1963 35 0 0 25 0 1 0 908982668 52436992 10713 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12802 10713 301 301 0 12501 0
vsize: 51208
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17200 0 0 0 2962 36 0 0 25 0 1 0 908982668 54263808 11062 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13248 11062 301 301 0 12947 0
vsize: 52992
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17428 0 0 0 3962 37 0 0 25 0 1 0 908982668 55197696 11290 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13476 11290 301 301 0 13175 0
vsize: 53904
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17661 0 0 0 4960 39 0 0 25 0 1 0 908982668 55197696 11316 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13476 11316 301 301 0 13175 0
vsize: 53904
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17925 0 0 0 5959 40 0 0 25 0 1 0 908982668 56315904 11580 4294967295 134512640 135730672 3221224592 3221222536 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13749 11580 301 301 0 13448 0
vsize: 54996
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17946 0 0 0 6958 40 0 0 25 0 1 0 908982668 55468032 11394 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13542 11394 301 301 0 13241 0
vsize: 54168
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 17972 0 0 0 7958 40 0 0 25 0 1 0 908982668 55468032 11420 4294967295 134512640 135730672 3221224592 3221222956 134740156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13542 11420 301 301 0 13241 0
vsize: 54168
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 18208 0 0 0 8957 41 0 0 25 0 1 0 908982668 55468032 11449 4294967295 134512640 135730672 3221224592 3221222880 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13542 11449 301 301 0 13241 0
vsize: 54168
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 18451 0 0 0 9956 42 0 0 25 0 1 0 908982668 55468032 11485 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13542 11485 301 301 0 13241 0
vsize: 54168
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 18533 0 0 0 10956 42 0 0 25 0 1 0 908982668 55799808 11567 4294967295 134512640 135730672 3221224592 3221222880 134747845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13623 11567 301 301 0 13322 0
vsize: 54492
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 18786 0 0 0 11955 43 0 0 25 0 1 0 908982668 55996416 11613 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13671 11613 301 301 0 13370 0
vsize: 54684
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 18862 0 0 0 12955 43 0 0 25 0 1 0 908982668 56127488 11656 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11656 301 301 0 13402 0
vsize: 54812
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19073 0 0 0 13954 44 0 0 25 0 1 0 908982668 56127488 11660 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11660 301 301 0 13402 0
vsize: 54812
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19283 0 0 0 14954 44 0 0 25 0 1 0 908982668 56127488 11663 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11663 301 301 0 13402 0
vsize: 54812
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19285 0 0 0 15954 45 0 0 25 0 1 0 908982668 56127488 11665 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11665 301 301 0 13402 0
vsize: 54812
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19504 0 0 0 16953 45 0 0 25 0 1 0 908982668 56127488 11677 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11677 301 301 0 13402 0
vsize: 54812
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19507 0 0 0 17953 45 0 0 25 0 1 0 908982668 56127488 11680 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13703 11680 301 301 0 13402 0
vsize: 54812
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19743 0 0 0 18952 47 0 0 25 0 1 0 908982668 56262656 11709 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13736 11709 301 301 0 13435 0
vsize: 54944
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 19985 0 0 0 19951 48 0 0 25 0 1 0 908982668 56262656 11744 4294967295 134512640 135730672 3221224592 3221223040 134734774 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13736 11744 301 301 0 13435 0
vsize: 54944
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20020 0 0 0 20951 48 0 0 25 0 1 0 908982668 56262656 11779 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13736 11779 301 301 0 13435 0
vsize: 54944
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20289 0 0 0 21951 48 0 0 25 0 1 0 908982668 56532992 11841 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13802 11841 301 301 0 13501 0
vsize: 55208
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20297 0 0 0 22951 49 0 0 25 0 1 0 908982668 56532992 11849 4294967295 134512640 135730672 3221224592 3221222896 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13802 11849 301 301 0 13501 0
vsize: 55208
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20532 0 0 0 23950 49 0 0 25 0 1 0 908982668 56668160 11877 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 11877 301 301 0 13534 0
vsize: 55340
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20535 0 0 0 24951 49 0 0 25 0 1 0 908982668 56668160 11880 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 11880 301 301 0 13534 0
vsize: 55340
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20792 0 0 0 25950 50 0 0 25 0 1 0 908982668 56799232 11897 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13867 11897 301 301 0 13566 0
vsize: 55468
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 20795 0 0 0 26950 50 0 0 25 0 1 0 908982668 56799232 11900 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13867 11900 301 301 0 13566 0
vsize: 55468
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21004 0 0 0 27950 51 0 0 25 0 1 0 908982668 56799232 11902 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13867 11902 301 301 0 13566 0
vsize: 55468
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21008 0 0 0 28950 51 0 0 25 0 1 0 908982668 56799232 11906 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13867 11906 301 301 0 13566 0
vsize: 55468
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21297 0 0 0 29949 52 0 0 25 0 1 0 908982668 57204736 11988 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13966 11988 301 301 0 13665 0
vsize: 55864
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21368 0 0 0 30948 53 0 0 25 0 1 0 908982668 57475072 12059 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12059 301 301 0 13731 0
vsize: 56128
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21582 0 0 0 31947 54 0 0 25 0 1 0 908982668 57475072 12066 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12066 301 301 0 13731 0
vsize: 56128
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21792 0 0 0 32947 54 0 0 25 0 1 0 908982668 58322944 12276 4294967295 134512640 135730672 3221224592 3221222536 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14239 12276 301 301 0 13938 0
vsize: 56956
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 21794 0 0 0 33947 55 0 0 25 0 1 0 908982668 57475072 12071 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12071 301 301 0 13731 0
vsize: 56128
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22003 0 0 0 34947 55 0 0 25 0 1 0 908982668 57475072 12073 4294967295 134512640 135730672 3221224592 3221223008 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12073 301 301 0 13731 0
vsize: 56128
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22006 0 0 0 35947 55 0 0 25 0 1 0 908982668 57475072 12076 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12076 301 301 0 13731 0
vsize: 56128
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22215 0 0 0 36946 56 0 0 25 0 1 0 908982668 57475072 12078 4294967295 134512640 135730672 3221224592 3221222880 134747885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12078 301 301 0 13731 0
vsize: 56128
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22238 0 0 0 37946 56 0 0 25 0 1 0 908982668 57475072 12101 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12101 301 301 0 13731 0
vsize: 56128
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22478 0 0 0 38946 57 0 0 25 0 1 0 908982668 57475072 12134 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14032 12134 301 301 0 13731 0
vsize: 56128
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22543 0 0 0 39946 57 0 0 25 0 1 0 908982668 57741312 12199 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12199 301 301 0 13796 0
vsize: 56388
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22755 0 0 0 40945 58 0 0 25 0 1 0 908982668 57741312 12204 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12204 301 301 0 13796 0
vsize: 56388
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22757 0 0 0 41945 58 0 0 25 0 1 0 908982668 57741312 12206 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12206 301 301 0 13796 0
vsize: 56388
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22966 0 0 0 42945 58 0 0 25 0 1 0 908982668 57741312 12208 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12208 301 301 0 13796 0
vsize: 56388
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 22969 0 0 0 43945 59 0 0 25 0 1 0 908982668 57741312 12211 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12211 301 301 0 13796 0
vsize: 56388
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23179 0 0 0 44944 60 0 0 25 0 1 0 908982668 57741312 12214 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14097 12214 301 301 0 13796 0
vsize: 56388
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23185 0 0 0 45943 60 0 0 25 0 1 0 908982668 57741312 12220 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14097 12220 301 301 0 13796 0
vsize: 56388
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23411 0 0 0 46942 61 0 0 25 0 1 0 908982668 57741312 12239 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12239 301 301 0 13796 0
vsize: 56388
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23654 0 0 0 47941 62 0 0 25 0 1 0 908982668 57741312 12275 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12275 301 301 0 13796 0
vsize: 56388
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23683 0 0 0 48941 62 0 0 25 0 1 0 908982668 57741312 12304 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12304 301 301 0 13796 0
vsize: 56388
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23915 0 0 0 49940 63 0 0 25 0 1 0 908982668 57741312 12329 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12329 301 301 0 13796 0
vsize: 56388
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 23918 0 0 0 50940 63 0 0 25 0 1 0 908982668 57741312 12332 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12332 301 301 0 13796 0
vsize: 56388
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24127 0 0 0 51940 64 0 0 25 0 1 0 908982668 57741312 12334 4294967295 134512640 135730672 3221224592 3221222880 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12334 301 301 0 13796 0
vsize: 56388
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24129 0 0 0 52939 64 0 0 25 0 1 0 908982668 57741312 12336 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12336 301 301 0 13796 0
vsize: 56388
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24354 0 0 0 53939 65 0 0 25 0 1 0 908982668 57741312 12354 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14097 12354 301 301 0 13796 0
vsize: 56388
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24390 0 0 0 54939 66 0 0 25 0 1 0 908982668 57876480 12390 4294967295 134512640 135730672 3221224592 3221223072 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14130 12390 301 301 0 13829 0
vsize: 56520
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24663 0 0 0 55938 66 0 0 25 0 1 0 908982668 58281984 12456 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12456 301 301 0 13928 0
vsize: 56916
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24666 0 0 0 56938 67 0 0 25 0 1 0 908982668 58281984 12459 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12459 301 301 0 13928 0
vsize: 56916
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 24875 0 0 0 57937 67 0 0 25 0 1 0 908982668 58281984 12461 4294967295 134512640 135730672 3221224592 3221222880 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12461 301 301 0 13928 0
vsize: 56916
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25085 0 0 0 58937 68 0 0 25 0 1 0 908982668 59129856 12671 4294967295 134512640 135730672 3221224592 3221222608 134772799 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14436 12671 301 301 0 14135 0
vsize: 57744
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25089 0 0 0 59937 68 0 0 25 0 1 0 908982668 58281984 12468 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12468 301 301 0 13928 0
vsize: 56916
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25298 0 0 0 60937 69 0 0 25 0 1 0 908982668 58281984 12470 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12470 301 301 0 13928 0
vsize: 56916
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25300 0 0 0 61936 69 0 0 25 0 1 0 908982668 58281984 12472 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12472 301 301 0 13928 0
vsize: 56916
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25510 0 0 0 62936 70 0 0 25 0 1 0 908982668 58281984 12475 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12475 301 301 0 13928 0
vsize: 56916
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25512 0 0 0 63936 70 0 0 25 0 1 0 908982668 58281984 12477 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14229 12477 301 301 0 13928 0
vsize: 56916
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25746 0 0 0 64935 71 0 0 25 0 1 0 908982668 58417152 12504 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14262 12504 301 301 0 13961 0
vsize: 57048
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25758 0 0 0 65935 71 0 0 25 0 1 0 908982668 58417152 12516 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14262 12516 301 301 0 13961 0
vsize: 57048
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 25994 0 0 0 66935 72 0 0 25 0 1 0 908982668 58417152 12545 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14262 12545 301 301 0 13961 0
vsize: 57048
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26035 0 0 0 67934 72 0 0 25 0 1 0 908982668 66805760 12586 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12586 301 301 0 16009 0
vsize: 65240
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26259 0 0 0 68933 73 0 0 25 0 1 0 908982668 66805760 12603 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12603 301 301 0 16009 0
vsize: 65240
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26261 0 0 0 69934 73 0 0 25 0 1 0 908982668 66805760 12605 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12605 301 301 0 16009 0
vsize: 65240
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26470 0 0 0 70933 74 0 0 25 0 1 0 908982668 66805760 12607 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12607 301 301 0 16009 0
vsize: 65240
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26473 0 0 0 71933 74 0 0 25 0 1 0 908982668 66805760 12610 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12610 301 301 0 16009 0
vsize: 65240
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6794
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26682 0 0 0 72933 74 0 0 25 0 1 0 908982668 66805760 12612 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12612 301 301 0 16009 0
vsize: 65240
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/59 6837
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26684 0 0 0 73932 75 0 0 25 0 1 0 908982668 66805760 12614 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16310 12614 301 301 0 16009 0
vsize: 65240
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6847
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26893 0 0 0 74929 78 0 0 25 0 1 0 908982668 66805760 12616 4294967295 134512640 135730672 3221224592 3221222928 134740274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12616 301 301 0 16009 0
vsize: 65240
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6847
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 26895 0 0 0 75929 78 0 0 25 0 1 0 908982668 66805760 12618 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16310 12618 301 301 0 16009 0
vsize: 65240
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6847
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27123 0 0 0 76929 78 0 0 25 0 1 0 908982668 66945024 12639 4294967295 134512640 135730672 3221224592 3221222976 134763613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16344 12639 301 301 0 16043 0
vsize: 65376
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6847
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27355 0 0 0 77928 79 0 0 25 0 1 0 908982668 66945024 12664 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16344 12664 301 301 0 16043 0
vsize: 65376
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6847
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27366 0 0 0 78928 79 0 0 25 0 1 0 908982668 66945024 12675 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16344 12675 301 301 0 16043 0
vsize: 65376
[startup+800.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 6849
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27381 0 0 0 79927 80 0 0 25 0 1 0 908982668 66945024 12690 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16344 12690 301 301 0 16043 0
vsize: 65376
[startup+810.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27597 0 0 0 80926 81 0 0 25 0 1 0 908982668 67080192 12699 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16377 12699 301 301 0 16076 0
vsize: 65508
[startup+820.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27602 0 0 0 81926 81 0 0 25 0 1 0 908982668 67080192 12704 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16377 12704 301 301 0 16076 0
vsize: 65508
[startup+830.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27835 0 0 0 82925 82 0 0 25 0 1 0 908982668 67215360 12730 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12730 301 301 0 16109 0
vsize: 65640
[startup+840.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 27837 0 0 0 83925 82 0 0 25 0 1 0 908982668 67215360 12732 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12732 301 301 0 16109 0
vsize: 65640
[startup+850.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28046 0 0 0 84925 83 0 0 25 0 1 0 908982668 67215360 12734 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12734 301 301 0 16109 0
vsize: 65640
[startup+860.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28067 0 0 0 85924 83 0 0 25 0 1 0 908982668 67215360 12755 4294967295 134512640 135730672 3221224592 3221222896 134746488 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12755 301 301 0 16109 0
vsize: 65640
[startup+870.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28311 0 0 0 86924 84 0 0 25 0 1 0 908982668 67215360 12792 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12792 301 301 0 16109 0
vsize: 65640
[startup+880.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28338 0 0 0 87924 84 0 0 25 0 1 0 908982668 67215360 12819 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12819 301 301 0 16109 0
vsize: 65640
[startup+890.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28560 0 0 0 88924 84 0 0 25 0 1 0 908982668 67215360 12834 4294967295 134512640 135730672 3221224592 3221222880 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12834 301 301 0 16109 0
vsize: 65640
[startup+900.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28563 0 0 0 89923 85 0 0 25 0 1 0 908982668 67215360 12837 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12837 301 301 0 16109 0
vsize: 65640
[startup+910.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28777 0 0 0 90923 85 0 0 25 0 1 0 908982668 67215360 12844 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12844 301 301 0 16109 0
vsize: 65640
[startup+920.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28779 0 0 0 91923 86 0 0 25 0 1 0 908982668 67215360 12846 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16410 12846 301 301 0 16109 0
vsize: 65640
[startup+930.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28993 0 0 0 92922 87 0 0 25 0 1 0 908982668 67350528 12853 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12853 301 301 0 16142 0
vsize: 65772
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 28997 0 0 0 93922 87 0 0 25 0 1 0 908982668 67350528 12857 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12857 301 301 0 16142 0
vsize: 65772
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29215 0 0 0 94922 87 0 0 25 0 1 0 908982668 67350528 12868 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12868 301 301 0 16142 0
vsize: 65772
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29232 0 0 0 95922 88 0 0 25 0 1 0 908982668 67350528 12885 4294967295 134512640 135730672 3221224592 3221223072 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12885 301 301 0 16142 0
vsize: 65772
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29471 0 0 0 96922 88 0 0 25 0 1 0 908982668 67350528 12917 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12917 301 301 0 16142 0
vsize: 65772
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29500 0 0 0 97922 88 0 0 25 0 1 0 908982668 67350528 12946 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16443 12946 301 301 0 16142 0
vsize: 65772
[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29726 0 0 0 98921 89 0 0 25 0 1 0 908982668 67485696 12965 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 12965 301 301 0 16175 0
vsize: 65904
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29936 0 0 0 99921 90 0 0 25 0 1 0 908982668 67485696 12968 4294967295 134512640 135730672 3221224592 3221222864 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 12968 301 301 0 16175 0
vsize: 65904
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 29949 0 0 0 100921 90 0 0 25 0 1 0 908982668 67485696 12981 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 12981 301 301 0 16175 0
vsize: 65904
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 3/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30164 0 0 0 101920 91 0 0 25 0 1 0 908982668 67485696 12989 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 12989 301 301 0 16175 0
vsize: 65904
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30181 0 0 0 102919 92 0 0 25 0 1 0 908982668 67485696 13006 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 13006 301 301 0 16175 0
vsize: 65904
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30395 0 0 0 103919 92 0 0 25 0 1 0 908982668 67485696 13013 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16476 13013 301 301 0 16175 0
vsize: 65904
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30403 0 0 0 104919 92 0 0 25 0 1 0 908982668 67620864 13021 4294967295 134512640 135730672 3221224592 3221223008 134748194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16509 13021 301 301 0 16208 0
vsize: 66036
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6851
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30618 0 0 0 105919 93 0 0 25 0 1 0 908982668 67620864 13029 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16509 13029 301 301 0 16208 0
vsize: 66036
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30706 0 0 0 106919 93 0 0 25 0 1 0 908982668 68026368 13117 4294967295 134512640 135730672 3221224592 3221223008 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16608 13117 301 301 0 16307 0
vsize: 66432
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 30958 0 0 0 107918 94 0 0 25 0 1 0 908982668 68296704 13162 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16674 13162 301 301 0 16373 0
vsize: 66696
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31112 0 0 0 108918 94 0 0 25 0 1 0 908982668 68833280 13283 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16805 13283 301 301 0 16504 0
vsize: 67220
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31165 0 0 0 109917 95 0 0 25 0 1 0 908982668 69103616 13336 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16871 13336 301 301 0 16570 0
vsize: 67484
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31375 0 0 0 110917 95 0 0 25 0 1 0 908982668 69103616 13339 4294967295 134512640 135730672 3221224592 3221222704 134732457 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16871 13339 301 301 0 16570 0
vsize: 67484
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31395 0 0 0 111917 96 0 0 25 0 1 0 908982668 69238784 13359 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16904 13359 301 301 0 16603 0
vsize: 67616
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31624 0 0 0 112916 97 0 0 25 0 1 0 908982668 69373952 13381 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16937 13381 301 301 0 16636 0
vsize: 67748
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31631 0 0 0 113916 97 0 0 25 0 1 0 908982668 69373952 13388 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16937 13388 301 301 0 16636 0
vsize: 67748
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31651 0 0 0 114916 97 0 0 25 0 1 0 908982668 69509120 13408 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16970 13408 301 301 0 16669 0
vsize: 67880
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31903 0 0 0 115915 98 0 0 25 0 1 0 908982668 69779456 13453 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17036 13453 301 301 0 16735 0
vsize: 68144
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 31906 0 0 0 116916 98 0 0 25 0 1 0 908982668 69779456 13456 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17036 13456 301 301 0 16735 0
vsize: 68144
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 32115 0 0 0 117915 99 0 0 25 0 1 0 908982668 69779456 13458 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17036 13458 301 301 0 16735 0
vsize: 68144
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 32117 0 0 0 118915 99 0 0 25 0 1 0 908982668 69779456 13460 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17036 13460 301 301 0 16735 0
vsize: 68144
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6853
Raw data (stat): 6794 (pb2sat-v2) R 6793 8378 8377 0 -1 0 32326 0 0 0 119915 99 0 0 25 0 1 0 908982668 69779456 13462 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17036 13462 301 301 0 16735 0
vsize: 68144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 6853
Raw data (stat): 6794 (pb2sat-v2) Z 6793 8378 8377 0 -1 12 32328 0 0 0 119961 102 0 0 25 0 1 0 908982668 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.52
CPU time (s): 1200.64
CPU user time (s): 1199.61
CPU system time (s): 1.02484
CPU usage (%): 100.01
Max. virtual memory (Kb): 68144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	264
#### END VERIFIER DATA ####