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-ii32e2.opb
MD5SUM	4e882bbd92f288daf6e68ac3de757136
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	235
Optimality of the best value was proved	NO
Number of terms in the objective function	534
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	534
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	534
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.03084
Number of variables	534
Total number of constraints	3013
Number of constraints which are clauses	3013
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 42042

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-15 22:30:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25257 boxname=wulflinc4 idbench=159 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc4/normalized-ii32e2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ii32e2.opb
IDLAUNCH: 25257
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        737124 kB
Buffers:         33404 kB
Cached:         242276 kB
SwapCached:        944 kB
Active:          56288 kB
Inactive:       221520 kB
HighTotal:      131008 kB
HighFree:        10136 kB
LowTotal:       903652 kB
LowFree:        726988 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13956 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 22:50:18 (client local time) WITH STATUS 10 IN 1200.7 SECONDS
stats: 25257 0 1200.7 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: 267
c small objective detected
c CONFLICT during preprocess 
c [startup+5.71881 s]  setting bit 9 to 0
c [startup+6.65377 s]  setting bit 8 to 0

c Decision: 43233/107884	Time: 31.8532/86400
c Decision: 43233/107884	Time: 57.2243/86400
c Decision: 43442/107884	Time: 111.345/86400
c Decision: 43442/107884	Time: 132.989/86400
c Decision: 44144/107884	Time: 177.518/86400
c Decision: 44147/107884	Time: 214.151/86400
c Decision: 44148/107884	Time: 242.168/86400
c [startup+285.095 s]  setting bit 7 to 0

c Decision: 22509/107884	Time: 41.3287/86400
c Decision: 22511/107884	Time: 80.5338/86400
c Decision: 22922/107884	Time: 121.151/86400
c Decision: 23108/107884	Time: 153.115/86400
c Decision: 23303/107884	Time: 188.61/86400
c Decision: 23395/107884	Time: 215.318/86400
c Decision: 23744/107884	Time: 277.878/86400
c Decision: 23941/107884	Time: 304.854/86400
c Decision: 23991/107884	Time: 330.373/86400
c Decision: 24155/107884	Time: 363.905/86400
c Decision: 24289/107884	Time: 397.164/86400
c Decision: 24613/107884	Time: 421.751/86400
c Decision: 24738/107884	Time: 448.772/86400
c Decision: 24868/107884	Time: 517.752/86400
c Decision: 26901/107884	Time: 583.818/86400
c [startup+951.139 s]  setting bit 6 to 0

c Decision: 15536/107884	Time: 27.8658/86400
c Decision: 15536/107884	Time: 38.4971/86400
c Decision: 15536/107884	Time: 49.3225/86400
c Decision: 15536/107884	Time: 64.4992/86400
c Decision: 15536/107884	Time: 70.8962/86400
c Decision: 15536/107884	Time: 93.8857/86400
c Decision: 15536/107884	Time: 102.609/86400
c Decision: 15536/107884	Time: 113.542/86400
c Decision: 15536/107884	Time: 119.995/86400
c Decision: 15536/107884	Time: 131.424/86400
c Decision: 15536/107884	Time: 149.546/86400
c Decision: 15536/107884	Time: 158.821/86400
c Decision: 15536/107884	Time: 166.583/86400
c Decision: 15644/107884	Time: 181.318/86400
c Decision: 15644/107884	Time: 189.876/86400
c Decision: 15644/107884	Time: 198.905/86400
c Decision: 15644/107884	Time: 220.496/86400
c Decision: 15644/107884	Time: 229.861/86400
c Decision: 15644/107884	Time: 240.385/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 x529 x53 -x530 -x531 x532 -x533 x534 -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.85 0.97 0.91 1/54 16315
Raw data (stat): 16315 (runsolver) R 16314 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965724772 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 16522 0 0 0 964 33 0 0 25 0 1 0 965724772 49840128 10370 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12168 10370 301 301 0 11867 0
vsize: 48672
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 16921 0 0 0 1963 34 0 0 25 0 1 0 965724772 51236864 10670 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12509 10670 301 301 0 12208 0
vsize: 50036
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 16936 0 0 0 2964 34 0 0 25 0 1 0 965724772 51236864 10685 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12509 10685 301 301 0 12208 0
vsize: 50036
[startup+40.0031 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 17220 0 0 0 3963 35 0 0 25 0 1 0 965724772 51568640 10758 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12590 10758 301 301 0 12289 0
vsize: 50360
[startup+50.0034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 18222 0 0 0 4960 37 0 0 25 0 1 0 965724772 56094720 11579 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13695 11579 301 301 0 13394 0
vsize: 54780
[startup+60.0036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 18694 0 0 0 5959 39 0 0 25 0 1 0 965724772 58241024 11952 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14219 11952 301 301 0 13918 0
vsize: 56876
[startup+70.0046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19130 0 0 0 6958 40 0 0 25 0 1 0 965724772 59170816 12144 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14446 12144 301 301 0 14145 0
vsize: 57784
[startup+80.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19140 0 0 0 7958 40 0 0 25 0 1 0 965724772 59170816 12154 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14446 12154 301 301 0 14145 0
vsize: 57784
[startup+90.0049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19155 0 0 0 8958 40 0 0 25 0 1 0 965724772 59170816 12169 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14446 12169 301 301 0 14145 0
vsize: 57784
[startup+100.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19170 0 0 0 9958 40 0 0 25 0 1 0 965724772 59170816 12184 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14446 12184 301 301 0 14145 0
vsize: 57784
[startup+110.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19206 0 0 0 10958 40 0 0 25 0 1 0 965724772 59305984 12220 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12220 301 301 0 14178 0
vsize: 57916
[startup+120.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19436 0 0 0 11958 40 0 0 25 0 1 0 965724772 59305984 12239 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12239 301 301 0 14178 0
vsize: 57916
[startup+130.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19455 0 0 0 12958 40 0 0 25 0 1 0 965724772 59305984 12258 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12258 301 301 0 14178 0
vsize: 57916
[startup+140.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19682 0 0 0 13958 41 0 0 25 0 1 0 965724772 59305984 12274 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14479 12274 301 301 0 14178 0
vsize: 57916
[startup+150.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19706 0 0 0 14957 41 0 0 25 0 1 0 965724772 59305984 12298 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14479 12298 301 301 0 14178 0
vsize: 57916
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19723 0 0 0 15956 42 0 0 25 0 1 0 965724772 59305984 12315 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12315 301 301 0 14178 0
vsize: 57916
[startup+170.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19740 0 0 0 16956 42 0 0 25 0 1 0 965724772 59305984 12332 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12332 301 301 0 14178 0
vsize: 57916
[startup+180.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19760 0 0 0 17956 42 0 0 25 0 1 0 965724772 59305984 12352 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12352 301 301 0 14178 0
vsize: 57916
[startup+190.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 19994 0 0 0 18955 43 0 0 25 0 1 0 965724772 59305984 12375 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12375 301 301 0 14178 0
vsize: 57916
[startup+200.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20021 0 0 0 19955 43 0 0 25 0 1 0 965724772 59305984 12402 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12402 301 301 0 14178 0
vsize: 57916
[startup+210.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20045 0 0 0 20955 44 0 0 25 0 1 0 965724772 59305984 12426 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12426 301 301 0 14178 0
vsize: 57916
[startup+220.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20062 0 0 0 21955 44 0 0 25 0 1 0 965724772 59305984 12443 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12443 301 301 0 14178 0
vsize: 57916
[startup+230.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20275 0 0 0 22955 44 0 0 25 0 1 0 965724772 59305984 12445 4294967295 134512640 135730672 3221224592 3221222880 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12445 301 301 0 14178 0
vsize: 57916
[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20278 0 0 0 23955 44 0 0 25 0 1 0 965724772 59305984 12448 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12448 301 301 0 14178 0
vsize: 57916
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20492 0 0 0 24954 45 0 0 25 0 1 0 965724772 59305984 12451 4294967295 134512640 135730672 3221224592 3221222976 134763590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12451 301 301 0 14178 0
vsize: 57916
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20494 0 0 0 25955 45 0 0 25 0 1 0 965724772 59305984 12453 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12453 301 301 0 14178 0
vsize: 57916
[startup+270.014 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20496 0 0 0 26955 45 0 0 25 0 1 0 965724772 59305984 12455 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12455 301 301 0 14178 0
vsize: 57916
[startup+280.015 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20497 0 0 0 27955 45 0 0 25 0 1 0 965724772 59305984 12456 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14479 12456 301 301 0 14178 0
vsize: 57916
[startup+290.015 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 20933 0 0 0 28954 47 0 0 25 0 1 0 965724772 60174336 12583 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14691 12583 301 301 0 14390 0
vsize: 58764
[startup+300.015 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21034 0 0 0 29953 47 0 0 25 0 1 0 965724772 60436480 12619 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14755 12619 301 301 0 14454 0
vsize: 59020
[startup+310.015 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21196 0 0 0 30952 48 0 0 25 0 1 0 965724772 60964864 12683 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14884 12683 301 301 0 14583 0
vsize: 59536
[startup+320.016 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21292 0 0 0 31952 48 0 0 25 0 1 0 965724772 61431808 12779 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14998 12779 301 301 0 14697 0
vsize: 59992
[startup+330.017 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21770 0 0 0 32951 50 0 0 25 0 1 0 965724772 62783488 13046 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15328 13046 301 301 0 15027 0
vsize: 61312
[startup+340.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21772 0 0 0 33951 50 0 0 25 0 1 0 965724772 62783488 13048 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15328 13048 301 301 0 15027 0
vsize: 61312
[startup+350.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 21965 0 0 0 34951 50 0 0 25 0 1 0 965724772 63717376 13208 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15556 13208 301 301 0 15255 0
vsize: 62224
[startup+360.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22011 0 0 0 35951 51 0 0 25 0 1 0 965724772 63852544 13254 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15589 13254 301 301 0 15288 0
vsize: 62356
[startup+370.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22302 0 0 0 36950 52 0 0 25 0 1 0 965724772 64049152 13334 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15637 13334 301 301 0 15336 0
vsize: 62548
[startup+380.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22317 0 0 0 37950 52 0 0 25 0 1 0 965724772 64049152 13349 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15637 13349 301 301 0 15336 0
vsize: 62548
[startup+390.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22371 0 0 0 38950 52 0 0 25 0 1 0 965724772 64315392 13403 4294967295 134512640 135730672 3221224592 3221222988 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15702 13403 301 301 0 15401 0
vsize: 62808
[startup+400.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22389 0 0 0 39950 53 0 0 25 0 1 0 965724772 64315392 13421 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15702 13421 301 301 0 15401 0
vsize: 62808
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22615 0 0 0 40949 53 0 0 25 0 1 0 965724772 64315392 13436 4294967295 134512640 135730672 3221224592 3221223004 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15702 13436 301 301 0 15401 0
vsize: 62808
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 22833 0 0 0 41949 54 0 0 25 0 1 0 965724772 65114112 13605 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15897 13605 301 301 0 15596 0
vsize: 63588
[startup+430.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 23359 0 0 0 42948 55 0 0 25 0 1 0 965724772 66842624 13966 4294967295 134512640 135730672 3221224592 3221222704 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16319 13966 301 301 0 16018 0
vsize: 65276
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 23727 0 0 0 43947 57 0 0 25 0 1 0 965724772 67510272 14090 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16482 14090 301 301 0 16181 0
vsize: 65928
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 24173 0 0 0 44946 58 0 0 25 0 1 0 965724772 69390336 14437 4294967295 134512640 135730672 3221224592 3221222712 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16941 14437 301 301 0 16640 0
vsize: 67764
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 24969 0 0 0 45944 60 0 0 25 0 1 0 965724772 72671232 15035 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17742 15035 301 301 0 17441 0
vsize: 70968
[startup+470.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25226 0 0 0 46944 60 0 0 25 0 1 0 965724772 73601024 15226 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17969 15226 301 301 0 17668 0
vsize: 71876
[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25554 0 0 0 47943 61 0 0 25 0 1 0 965724772 73998336 15310 4294967295 134512640 135730672 3221224592 3221222880 134747777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18066 15310 301 301 0 17765 0
vsize: 72264
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25578 0 0 0 48943 61 0 0 25 0 1 0 965724772 82386944 15334 4294967295 134512640 135730672 3221224592 3221222972 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20114 15334 301 301 0 19813 0
vsize: 80456
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25809 0 0 0 49943 62 0 0 25 0 1 0 965724772 82386944 15354 4294967295 134512640 135730672 3221224592 3221223008 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20114 15354 301 301 0 19813 0
vsize: 80456
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25810 0 0 0 50943 62 0 0 25 0 1 0 965724772 82386944 15355 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20114 15355 301 301 0 19813 0
vsize: 80456
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25815 0 0 0 51943 62 0 0 25 0 1 0 965724772 82386944 15360 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20114 15360 301 301 0 19813 0
vsize: 80456
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25873 0 0 0 52943 62 0 0 25 0 1 0 965724772 82518016 15385 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15385 301 301 0 19845 0
vsize: 80584
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25890 0 0 0 53943 63 0 0 25 0 1 0 965724772 82518016 15402 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15402 301 301 0 19845 0
vsize: 80584
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25910 0 0 0 54943 63 0 0 25 0 1 0 965724772 82518016 15422 4294967295 134512640 135730672 3221224592 3221222716 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15422 301 301 0 19845 0
vsize: 80584
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 25941 0 0 0 55943 63 0 0 25 0 1 0 965724772 82518016 15453 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15453 301 301 0 19845 0
vsize: 80584
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26171 0 0 0 56943 64 0 0 25 0 1 0 965724772 82518016 15472 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15472 301 301 0 19845 0
vsize: 80584
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26195 0 0 0 57942 64 0 0 25 0 1 0 965724772 82518016 15496 4294967295 134512640 135730672 3221224592 3221222976 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15496 301 301 0 19845 0
vsize: 80584
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26425 0 0 0 58942 65 0 0 25 0 1 0 965724772 82518016 15515 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15515 301 301 0 19845 0
vsize: 80584
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26452 0 0 0 59942 65 0 0 25 0 1 0 965724772 82518016 15542 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15542 301 301 0 19845 0
vsize: 80584
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26478 0 0 0 60942 65 0 0 25 0 1 0 965724772 82518016 15568 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15568 301 301 0 19845 0
vsize: 80584
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26706 0 0 0 61941 66 0 0 25 0 1 0 965724772 82518016 15585 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15585 301 301 0 19845 0
vsize: 80584
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 26745 0 0 0 62941 66 0 0 25 0 1 0 965724772 82518016 15624 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 15624 301 301 0 19845 0
vsize: 80584
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27055 0 0 0 63940 67 0 0 25 0 1 0 965724772 83505152 15802 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20387 15802 301 301 0 20086 0
vsize: 81548
[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27347 0 0 0 64940 68 0 0 25 0 1 0 965724772 83636224 15850 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20419 15850 301 301 0 20118 0
vsize: 81676
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27382 0 0 0 65940 68 0 0 25 0 1 0 965724772 83636224 15885 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20419 15885 301 301 0 20118 0
vsize: 81676
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27416 0 0 0 66940 68 0 0 25 0 1 0 965724772 83636224 15919 4294967295 134512640 135730672 3221224592 3221222768 134763159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20419 15919 301 301 0 20118 0
vsize: 81676
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27439 0 0 0 67940 69 0 0 25 0 1 0 965724772 83636224 15942 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20419 15942 301 301 0 20118 0
vsize: 81676
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27655 0 0 0 68940 69 0 0 25 0 1 0 965724772 83636224 15947 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20419 15947 301 301 0 20118 0
vsize: 81676
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27683 0 0 0 69939 69 0 0 25 0 1 0 965724772 83771392 15975 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20452 15975 301 301 0 20151 0
vsize: 81808
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27922 0 0 0 70939 70 0 0 25 0 1 0 965724772 83906560 16003 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16003 301 301 0 20184 0
vsize: 81940
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27923 0 0 0 71939 70 0 0 25 0 1 0 965724772 83906560 16004 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16004 301 301 0 20184 0
vsize: 81940
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 27925 0 0 0 72939 70 0 0 25 0 1 0 965724772 83906560 16006 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16006 301 301 0 20184 0
vsize: 81940
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28137 0 0 0 73938 71 0 0 25 0 1 0 965724772 83906560 16007 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16007 301 301 0 20184 0
vsize: 81940
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28139 0 0 0 74939 71 0 0 25 0 1 0 965724772 83906560 16009 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16009 301 301 0 20184 0
vsize: 81940
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28140 0 0 0 75938 72 0 0 25 0 1 0 965724772 83906560 16010 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16010 301 301 0 20184 0
vsize: 81940
[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28144 0 0 0 76938 72 0 0 25 0 1 0 965724772 83906560 16014 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16014 301 301 0 20184 0
vsize: 81940
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28162 0 0 0 77938 72 0 0 25 0 1 0 965724772 83906560 16032 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16032 301 301 0 20184 0
vsize: 81940
[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28188 0 0 0 78938 72 0 0 25 0 1 0 965724772 83906560 16058 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16058 301 301 0 20184 0
vsize: 81940
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28217 0 0 0 79938 72 0 0 25 0 1 0 965724772 83906560 16087 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16087 301 301 0 20184 0
vsize: 81940
[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28455 0 0 0 80938 73 0 0 25 0 1 0 965724772 83906560 16114 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16114 301 301 0 20184 0
vsize: 81940
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28480 0 0 0 81938 73 0 0 25 0 1 0 965724772 83906560 16139 4294967295 134512640 135730672 3221224592 3221222864 134732800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16139 301 301 0 20184 0
vsize: 81940
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28501 0 0 0 82938 73 0 0 25 0 1 0 965724772 83906560 16160 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20485 16160 301 301 0 20184 0
vsize: 81940
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28539 0 0 0 83938 74 0 0 25 0 1 0 965724772 84054016 16198 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20521 16198 301 301 0 20220 0
vsize: 82084
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28562 0 0 0 84938 74 0 0 25 0 1 0 965724772 84054016 16221 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20521 16221 301 301 0 20220 0
vsize: 82084
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28589 0 0 0 85938 74 0 0 25 0 1 0 965724772 84054016 16248 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20521 16248 301 301 0 20220 0
vsize: 82084
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28827 0 0 0 86937 75 0 0 25 0 1 0 965724772 84054016 16275 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20521 16275 301 301 0 20220 0
vsize: 82084
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28882 0 0 0 87937 75 0 0 25 0 1 0 965724772 84189184 16330 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16330 301 301 0 20253 0
vsize: 82216
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28913 0 0 0 88937 75 0 0 25 0 1 0 965724772 84189184 16361 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16361 301 301 0 20253 0
vsize: 82216
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28944 0 0 0 89937 76 0 0 25 0 1 0 965724772 84189184 16392 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16392 301 301 0 20253 0
vsize: 82216
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28962 0 0 0 90937 76 0 0 25 0 1 0 965724772 84189184 16410 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16410 301 301 0 20253 0
vsize: 82216
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 28992 0 0 0 91937 76 0 0 25 0 1 0 965724772 84189184 16440 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16440 301 301 0 20253 0
vsize: 82216
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29021 0 0 0 92938 76 0 0 25 0 1 0 965724772 84189184 16469 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16469 301 301 0 20253 0
vsize: 82216
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29046 0 0 0 93938 76 0 0 25 0 1 0 965724772 84189184 16494 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16494 301 301 0 20253 0
vsize: 82216
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29079 0 0 0 94937 76 0 0 25 0 1 0 965724772 84189184 16527 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 16527 301 301 0 20253 0
vsize: 82216
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29414 0 0 0 95937 77 0 0 25 0 1 0 965724772 84586496 16618 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20651 16618 301 301 0 20350 0
vsize: 82604
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29550 0 0 0 96936 78 0 0 25 0 1 0 965724772 84987904 16721 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20749 16721 301 301 0 20448 0
vsize: 82996
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 29852 0 0 0 97936 79 0 0 25 0 1 0 965724772 85250048 16747 4294967295 134512640 135730672 3221224592 3221222880 134747534 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20813 16747 301 301 0 20512 0
vsize: 83252
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30110 0 0 0 98933 80 0 0 25 0 1 0 965724772 85385216 16794 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20846 16794 301 301 0 20545 0
vsize: 83384
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30114 0 0 0 99933 81 0 0 25 0 1 0 965724772 85385216 16798 4294967295 134512640 135730672 3221224592 3221222896 134746216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20846 16798 301 301 0 20545 0
vsize: 83384
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30385 0 0 0 100932 82 0 0 25 0 1 0 965724772 85516288 16825 4294967295 134512640 135730672 3221224592 3221222880 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16825 301 301 0 20577 0
vsize: 83512
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30604 0 0 0 101931 83 0 0 25 0 1 0 965724772 85516288 16833 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16833 301 301 0 20577 0
vsize: 83512
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30606 0 0 0 102931 83 0 0 25 0 1 0 965724772 85516288 16835 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16835 301 301 0 20577 0
vsize: 83512
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30608 0 0 0 103931 83 0 0 25 0 1 0 965724772 85516288 16837 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16837 301 301 0 20577 0
vsize: 83512
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30822 0 0 0 104931 84 0 0 25 0 1 0 965724772 85516288 16840 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16840 301 301 0 20577 0
vsize: 83512
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 30827 0 0 0 105930 84 0 0 25 0 1 0 965724772 85516288 16845 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16845 301 301 0 20577 0
vsize: 83512
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 31078 0 0 0 106930 85 0 0 25 0 1 0 965724772 85516288 16885 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20878 16885 301 301 0 20577 0
vsize: 83512
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 31400 0 0 0 107929 86 0 0 25 0 1 0 965724772 85651456 16996 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20911 16996 301 301 0 20610 0
vsize: 83644
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 31671 0 0 0 108929 86 0 0 25 0 1 0 965724772 85651456 17056 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20911 17056 301 301 0 20610 0
vsize: 83644
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 31724 0 0 0 109928 87 0 0 25 0 1 0 965724772 85651456 17109 4294967295 134512640 135730672 3221224592 3221222896 134745786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20911 17109 301 301 0 20610 0
vsize: 83644
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 31815 0 0 0 110928 88 0 0 25 0 1 0 965724772 85807104 17200 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20949 17200 301 301 0 20648 0
vsize: 83796
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 32160 0 0 0 111927 89 0 0 25 0 1 0 965724772 85807104 17334 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20949 17334 301 301 0 20648 0
vsize: 83796
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 32244 0 0 0 112926 90 0 0 25 0 1 0 965724772 85807104 17418 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20949 17418 301 301 0 20648 0
vsize: 83796
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 32559 0 0 0 113925 91 0 0 25 0 1 0 965724772 85807104 17522 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20949 17522 301 301 0 20648 0
vsize: 83796
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33097 0 0 0 114924 92 0 0 25 0 1 0 965724772 85942272 17638 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20982 17638 301 301 0 20681 0
vsize: 83928
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33108 0 0 0 115924 92 0 0 25 0 1 0 965724772 85942272 17649 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20982 17649 301 301 0 20681 0
vsize: 83928
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33169 0 0 0 116924 93 0 0 25 0 1 0 965724772 86073344 17677 4294967295 134512640 135730672 3221224592 3221222864 134732847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21014 17677 301 301 0 20713 0
vsize: 84056
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33415 0 0 0 117924 93 0 0 25 0 1 0 965724772 86208512 17712 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21047 17712 301 301 0 20746 0
vsize: 84188
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33635 0 0 0 118923 94 0 0 25 0 1 0 965724772 86208512 17721 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21047 17721 301 301 0 20746 0
vsize: 84188
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16315
Raw data (stat): 16315 (pb2sat-v2) R 16314 21152 21151 0 -1 0 33858 0 0 0 119922 95 0 0 25 0 1 0 965724772 86343680 17733 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21080 17733 301 301 0 20779 0
vsize: 84320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16315
Raw data (stat): 16315 (pb2sat-v2) Z 16314 21152 21151 0 -1 12 33860 0 0 0 119970 98 0 0 25 0 1 0 965724772 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.58
CPU time (s): 1200.7
CPU user time (s): 1199.71
CPU system time (s): 0.989849
CPU usage (%): 100.01
Max. virtual memory (Kb): 84320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	267
#### END VERIFIER DATA ####