PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	465
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 34766

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 10:16:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23985 boxname=wulflinc18 idbench=59 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc18/normalized-5xp1.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-5xp1.b.opb
IDLAUNCH: 23985
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        364864 kB
Buffers:         32140 kB
Cached:         604268 kB
SwapCached:        820 kB
Active:          38160 kB
Inactive:       600348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        364612 kB
SwapTotal:     2097892 kB
SwapFree:      2096212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            25564 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:36:23 (client local time) WITH STATUS 10 IN 1200.53 SECONDS
stats: 23985 0 1200.53 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: 209
c [startup+6.80715 s]  setting bit 8 to 1
c got solution with objective value: 81
c [startup+10.6135 s]  setting bit 7 to 1
c got solution with objective value: 17
c [startup+32.9077 s]  setting bit 6 to 1
c CONFLICT during preprocess 
c [startup+33.3158 s]  setting bit 5 to 0
c CONFLICT during preprocess 
c [startup+33.8532 s]  setting bit 4 to 0

Decision: 106381/109288	Time: 46.9879/86400
Decision: 106381/109288	Time: 65.2651/86400
Decision: 106381/109288	Time: 82.7184/86400
Decision: 106381/109288	Time: 100.674/86400
Decision: 106381/109288	Time: 120.324/86400
Decision: 106381/109288	Time: 137.375/86400
Decision: 106381/109288	Time: 154.102/86400
Decision: 106381/109288	Time: 169.988/86400
Decision: 106477/109288	Time: 206.094/86400
Decision: 106478/109288	Time: 234.92/86400
Decision: 106478/109288	Time: 252.756/86400
Decision: 106478/109288	Time: 270.173/86400
Decision: 106478/109288	Time: 286.66/86400
Decision: 106478/109288	Time: 304.274/86400
Decision: 106478/109288	Time: 318.428/86400
Decision: 106502/109288	Time: 350.402/86400
Decision: 106502/109288	Time: 366.118/86400
Decision: 106649/109288	Time: 383.275/86400
Decision: 106650/109288	Time: 405.424/86400
Decision: 106650/109288	Time: 422.684/86400
Decision: 106650/109288	Time: 440.08/86400
Decision: 106661/109288	Time: 495.047/86400
Decision: 106661/109288	Time: 506.433/86400c [startup+603.526 s]  setting bit 3 to 0

Decision: 103766/109288	Time: 138.176/86400
Decision: 103766/109288	Time: 153.619/86400
Decision: 103766/109288	Time: 166.484/86400
Decision: 103766/109288	Time: 184.839/86400
Decision: 103766/109288	Time: 199.377/86400
Decision: 104065/109288	Time: 227.763/86400
Decision: 104065/109288	Time: 244.768/86400
Decision: 104065/109288	Time: 258.237/86400
Decision: 104065/109288	Time: 274.081/86400
Decision: 104065/109288	Time: 286.515/86400
Decision: 104065/109288	Time: 302.269/86400
Decision: 104065/109288	Time: 319.439/86400
Decision: 104065/109288	Time: 335.577/86400
Decision: 104065/109288	Time: 352.111/86400
Decision: 104065/109288	Time: 366.026/86400
Decision: 104065/109288	Time: 379.855/86400
Decision: 104065/109288	Time: 395.148/86400
Decision: 104065/109288	Time: 412.117/86400
Decision: 104065/109288	Time: 427.984/86400
Decision: 104065/109288	Time: 443.416/86400
Decision: 104065/109288	Time: 462.296/86400
Decision: 104065/109288	Time: 479.004/86400
Decision: 104065/109288	Time: 493.616/86400
Decision: 104065/109288	Time: 507.961/86400
Decision: 104065/109288	Time: 524.936/86400
Decision: 104065/109288	Time: 539.508/86400
Decision: 104065/109288	Time: 555.516/86400
Decision: 104065/109288	Time: 572.101/86400
Decision: 104065/109288	Time: 588.866/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 -x47 -x48 -x49 x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.67 0.29 2/54 31706
Raw data (stat): 31706 (runsolver) R 31705 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 863996710 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.0006 s]
Raw data (loadavg): 1.00 0.68 0.30 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 15698 0 0 0 963 35 0 0 25 0 1 0 863996710 46616576 9749 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11381 9749 300 300 0 11081 0
vsize: 45524
[startup+20.0004 s]
Raw data (loadavg): 1.00 0.69 0.31 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 15963 0 0 0 1962 36 0 0 25 0 1 0 863996710 46755840 9800 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11415 9800 300 300 0 11115 0
vsize: 45660
[startup+30.0017 s]
Raw data (loadavg): 1.00 0.70 0.31 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16049 0 0 0 2962 37 0 0 25 0 1 0 863996710 46895104 9886 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11449 9886 300 300 0 11149 0
vsize: 45796
[startup+40.0012 s]
Raw data (loadavg): 1.00 0.71 0.32 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16732 0 0 0 3960 38 0 0 25 0 1 0 863996710 47030272 9927 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11482 9927 300 300 0 11182 0
vsize: 45928
[startup+50.0011 s]
Raw data (loadavg): 1.00 0.72 0.33 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16768 0 0 0 4960 39 0 0 25 0 1 0 863996710 47030272 9963 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11482 9963 300 300 0 11182 0
vsize: 45928
[startup+60.0016 s]
Raw data (loadavg): 1.00 0.73 0.33 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16814 0 0 0 5960 39 0 0 25 0 1 0 863996710 47165440 10009 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10009 300 300 0 11215 0
vsize: 46060
[startup+70.0019 s]
Raw data (loadavg): 1.00 0.74 0.34 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16854 0 0 0 6960 39 0 0 25 0 1 0 863996710 47165440 10049 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10049 300 300 0 11215 0
vsize: 46060
[startup+80.0028 s]
Raw data (loadavg): 1.00 0.74 0.35 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 16908 0 0 0 7960 39 0 0 25 0 1 0 863996710 47165440 10103 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10103 300 300 0 11215 0
vsize: 46060
[startup+90.003 s]
Raw data (loadavg): 1.00 0.75 0.35 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17136 0 0 0 8960 40 0 0 25 0 1 0 863996710 47165440 10117 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10117 300 300 0 11215 0
vsize: 46060
[startup+100.003 s]
Raw data (loadavg): 1.00 0.76 0.36 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17370 0 0 0 9959 41 0 0 25 0 1 0 863996710 47165440 10137 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11515 10137 300 300 0 11215 0
vsize: 46060
[startup+110.003 s]
Raw data (loadavg): 1.00 0.77 0.37 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17420 0 0 0 10958 41 0 0 25 0 1 0 863996710 47165440 10187 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11515 10187 300 300 0 11215 0
vsize: 46060
[startup+120.004 s]
Raw data (loadavg): 1.00 0.77 0.37 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17666 0 0 0 11958 42 0 0 25 0 1 0 863996710 47300608 10219 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10219 300 300 0 11248 0
vsize: 46192
[startup+130.004 s]
Raw data (loadavg): 1.00 0.78 0.38 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17692 0 0 0 12958 42 0 0 25 0 1 0 863996710 47300608 10245 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10245 300 300 0 11248 0
vsize: 46192
[startup+140.004 s]
Raw data (loadavg): 1.00 0.79 0.38 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17939 0 0 0 13957 43 0 0 25 0 1 0 863996710 47300608 10278 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10278 300 300 0 11248 0
vsize: 46192
[startup+150.004 s]
Raw data (loadavg): 1.00 0.80 0.39 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 17981 0 0 0 14957 43 0 0 25 0 1 0 863996710 47300608 10320 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10320 300 300 0 11248 0
vsize: 46192
[startup+160.005 s]
Raw data (loadavg): 1.00 0.80 0.40 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18239 0 0 0 15957 44 0 0 25 0 1 0 863996710 47300608 10364 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10364 300 300 0 11248 0
vsize: 46192
[startup+170.005 s]
Raw data (loadavg): 1.00 0.81 0.40 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18285 0 0 0 16957 44 0 0 25 0 1 0 863996710 47300608 10410 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10410 300 300 0 11248 0
vsize: 46192
[startup+180.005 s]
Raw data (loadavg): 1.00 0.81 0.41 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18504 0 0 0 17956 45 0 0 25 0 1 0 863996710 47300608 10415 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10415 300 300 0 11248 0
vsize: 46192
[startup+190.006 s]
Raw data (loadavg): 1.00 0.82 0.41 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18723 0 0 0 18956 45 0 0 25 0 1 0 863996710 47300608 10420 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10420 300 300 0 11248 0
vsize: 46192
[startup+200.006 s]
Raw data (loadavg): 1.00 0.82 0.42 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18730 0 0 0 19956 46 0 0 25 0 1 0 863996710 47300608 10427 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10427 300 300 0 11248 0
vsize: 46192
[startup+210.006 s]
Raw data (loadavg): 1.00 0.83 0.43 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 18949 0 0 0 20955 47 0 0 25 0 1 0 863996710 47300608 10432 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11548 10432 300 300 0 11248 0
vsize: 46192
[startup+220.007 s]
Raw data (loadavg): 1.00 0.83 0.43 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19001 0 0 0 21954 47 0 0 25 0 1 0 863996710 47435776 10484 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11581 10484 300 300 0 11281 0
vsize: 46324
[startup+230.008 s]
Raw data (loadavg): 1.00 0.84 0.44 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19056 0 0 0 22954 48 0 0 25 0 1 0 863996710 55824384 10539 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10539 300 300 0 13329 0
vsize: 54516
[startup+240.009 s]
Raw data (loadavg): 1.00 0.84 0.44 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19325 0 0 0 23953 49 0 0 25 0 1 0 863996710 55824384 10594 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13629 10594 300 300 0 13329 0
vsize: 54516
[startup+250.009 s]
Raw data (loadavg): 1.00 0.85 0.45 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19382 0 0 0 24953 49 0 0 25 0 1 0 863996710 55824384 10651 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10651 300 300 0 13329 0
vsize: 54516
[startup+260.009 s]
Raw data (loadavg): 1.00 0.85 0.45 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19478 0 0 0 25952 50 0 0 25 0 1 0 863996710 55824384 10747 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10747 300 300 0 13329 0
vsize: 54516
[startup+270.009 s]
Raw data (loadavg): 1.00 0.86 0.46 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19769 0 0 0 26951 51 0 0 25 0 1 0 863996710 55824384 10824 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10824 300 300 0 13329 0
vsize: 54516
[startup+280.01 s]
Raw data (loadavg): 1.00 0.86 0.46 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 19820 0 0 0 27951 52 0 0 25 0 1 0 863996710 55824384 10875 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10875 300 300 0 13329 0
vsize: 54516
[startup+290.01 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20103 0 0 0 28950 53 0 0 25 0 1 0 863996710 55824384 10944 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10944 300 300 0 13329 0
vsize: 54516
[startup+300.01 s]
Raw data (loadavg): 1.00 0.87 0.47 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20108 0 0 0 29950 53 0 0 25 0 1 0 863996710 55824384 10949 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10949 300 300 0 13329 0
vsize: 54516
[startup+310.01 s]
Raw data (loadavg): 1.00 0.87 0.48 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20326 0 0 0 30949 54 0 0 25 0 1 0 863996710 55824384 10953 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10953 300 300 0 13329 0
vsize: 54516
[startup+320.01 s]
Raw data (loadavg): 1.00 0.88 0.48 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20329 0 0 0 31949 54 0 0 25 0 1 0 863996710 55824384 10956 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13629 10956 300 300 0 13329 0
vsize: 54516
[startup+330.01 s]
Raw data (loadavg): 1.00 0.88 0.49 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20552 0 0 0 32949 54 0 0 25 0 1 0 863996710 55963648 10965 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 10965 300 300 0 13363 0
vsize: 54652
[startup+340.01 s]
Raw data (loadavg): 1.00 0.88 0.49 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20773 0 0 0 33949 55 0 0 25 0 1 0 863996710 55963648 10972 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 10972 300 300 0 13363 0
vsize: 54652
[startup+350.01 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20778 0 0 0 34949 55 0 0 25 0 1 0 863996710 55963648 10977 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 10977 300 300 0 13363 0
vsize: 54652
[startup+360.01 s]
Raw data (loadavg): 1.00 0.89 0.50 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 20995 0 0 0 35948 56 0 0 25 0 1 0 863996710 55963648 10980 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 10980 300 300 0 13363 0
vsize: 54652
[startup+370.01 s]
Raw data (loadavg): 1.00 0.89 0.51 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21017 0 0 0 36948 56 0 0 25 0 1 0 863996710 55963648 11002 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11002 300 300 0 13363 0
vsize: 54652
[startup+380.01 s]
Raw data (loadavg): 1.00 0.90 0.51 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21086 0 0 0 37948 56 0 0 25 0 1 0 863996710 55963648 11071 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11071 300 300 0 13363 0
vsize: 54652
[startup+390.01 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21326 0 0 0 38947 57 0 0 25 0 1 0 863996710 55963648 11097 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11097 300 300 0 13363 0
vsize: 54652
[startup+400.009 s]
Raw data (loadavg): 1.00 0.90 0.52 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21545 0 0 0 39947 57 0 0 25 0 1 0 863996710 55963648 11102 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11102 300 300 0 13363 0
vsize: 54652
[startup+410.009 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21553 0 0 0 40947 57 0 0 25 0 1 0 863996710 55963648 11110 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11110 300 300 0 13363 0
vsize: 54652
[startup+420.01 s]
Raw data (loadavg): 1.00 0.91 0.53 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21772 0 0 0 41946 58 0 0 25 0 1 0 863996710 55963648 11115 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13663 11115 300 300 0 13363 0
vsize: 54652
[startup+430.01 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21779 0 0 0 42946 59 0 0 25 0 1 0 863996710 56098816 11122 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11122 300 300 0 13396 0
vsize: 54784
[startup+440.01 s]
Raw data (loadavg): 1.00 0.91 0.54 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 21999 0 0 0 43946 59 0 0 25 0 1 0 863996710 56098816 11128 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11128 300 300 0 13396 0
vsize: 54784
[startup+450.01 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22020 0 0 0 44946 60 0 0 25 0 1 0 863996710 56098816 11149 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11149 300 300 0 13396 0
vsize: 54784
[startup+460.011 s]
Raw data (loadavg): 1.00 0.92 0.55 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22313 0 0 0 45945 61 0 0 25 0 1 0 863996710 56098816 11228 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11228 300 300 0 13396 0
vsize: 54784
[startup+470.011 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22426 0 0 0 46944 61 0 0 25 0 1 0 863996710 56098816 11341 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11341 300 300 0 13396 0
vsize: 54784
[startup+480.011 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22678 0 0 0 47943 62 0 0 25 0 1 0 863996710 56098816 11379 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11379 300 300 0 13396 0
vsize: 54784
[startup+490.012 s]
Raw data (loadavg): 1.00 0.92 0.56 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22685 0 0 0 48943 63 0 0 25 0 1 0 863996710 56098816 11386 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11386 300 300 0 13396 0
vsize: 54784
[startup+500.011 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22688 0 0 0 49943 63 0 0 25 0 1 0 863996710 56098816 11389 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13696 11389 300 300 0 13396 0
vsize: 54784
[startup+510.012 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22703 0 0 0 50943 63 0 0 25 0 1 0 863996710 56238080 11404 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11404 300 300 0 13430 0
vsize: 54920
[startup+520.011 s]
Raw data (loadavg): 1.00 0.93 0.57 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22708 0 0 0 51944 63 0 0 25 0 1 0 863996710 56238080 11409 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11409 300 300 0 13430 0
vsize: 54920
[startup+530.012 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22928 0 0 0 52943 63 0 0 25 0 1 0 863996710 56238080 11415 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11415 300 300 0 13430 0
vsize: 54920
[startup+540.013 s]
Raw data (loadavg): 1.00 0.93 0.58 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 22932 0 0 0 53943 63 0 0 25 0 1 0 863996710 56238080 11419 4294967295 134512640 135726644 3221224592 3221223008 134737974 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11419 300 300 0 13430 0
vsize: 54920
[startup+550.012 s]
Raw data (loadavg): 1.00 0.93 0.59 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23151 0 0 0 54943 64 0 0 25 0 1 0 863996710 56238080 11424 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11424 300 300 0 13430 0
vsize: 54920
[startup+560.013 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23166 0 0 0 55943 64 0 0 25 0 1 0 863996710 56238080 11439 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11439 300 300 0 13430 0
vsize: 54920
[startup+570.013 s]
Raw data (loadavg): 1.00 0.94 0.59 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23240 0 0 0 56943 65 0 0 25 0 1 0 863996710 56238080 11513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11513 300 300 0 13430 0
vsize: 54920
[startup+580.014 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23313 0 0 0 57942 66 0 0 25 0 1 0 863996710 56238080 11586 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13730 11586 300 300 0 13430 0
vsize: 54920
[startup+590.013 s]
Raw data (loadavg): 1.00 0.94 0.60 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23362 0 0 0 58942 66 0 0 25 0 1 0 863996710 56373248 11635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 11635 300 300 0 13463 0
vsize: 55052
[startup+600.014 s]
Raw data (loadavg): 1.00 0.94 0.61 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23443 0 0 0 59941 67 0 0 25 0 1 0 863996710 56373248 11716 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 11716 300 300 0 13463 0
vsize: 55052
[startup+610.014 s]
Raw data (loadavg): 1.00 0.94 0.61 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23714 0 0 0 60941 67 0 0 25 0 1 0 863996710 56373248 11773 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 11773 300 300 0 13463 0
vsize: 55052
[startup+620.014 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23772 0 0 0 61940 68 0 0 25 0 1 0 863996710 56373248 11831 4294967295 134512640 135726644 3221224592 3221222664 135280627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 11831 300 300 0 13463 0
vsize: 55052
[startup+630.015 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23826 0 0 0 62940 69 0 0 25 0 1 0 863996710 56508416 11885 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13796 11885 300 300 0 13496 0
vsize: 55184
[startup+640.015 s]
Raw data (loadavg): 1.00 0.95 0.62 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23873 0 0 0 63939 69 0 0 25 0 1 0 863996710 56508416 11932 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13796 11932 300 300 0 13496 0
vsize: 55184
[startup+650.015 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23924 0 0 0 64939 70 0 0 25 0 1 0 863996710 56508416 11983 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13796 11983 300 300 0 13496 0
vsize: 55184
[startup+660.016 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 23975 0 0 0 65939 70 0 0 25 0 1 0 863996710 56508416 12034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13796 12034 300 300 0 13496 0
vsize: 55184
[startup+670.016 s]
Raw data (loadavg): 1.00 0.95 0.63 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24024 0 0 0 66938 71 0 0 25 0 1 0 863996710 56643584 12083 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13829 12083 300 300 0 13529 0
vsize: 55316
[startup+680.017 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24074 0 0 0 67938 71 0 0 25 0 1 0 863996710 56643584 12133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13829 12133 300 300 0 13529 0
vsize: 55316
[startup+690.017 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24120 0 0 0 68938 72 0 0 25 0 1 0 863996710 56643584 12179 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13829 12179 300 300 0 13529 0
vsize: 55316
[startup+700.016 s]
Raw data (loadavg): 1.00 0.95 0.64 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24157 0 0 0 69938 72 0 0 25 0 1 0 863996710 56782848 12216 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13863 12216 300 300 0 13563 0
vsize: 55452
[startup+710.016 s]
Raw data (loadavg): 1.00 0.95 0.65 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24205 0 0 0 70937 73 0 0 25 0 1 0 863996710 56782848 12264 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13863 12264 300 300 0 13563 0
vsize: 55452
[startup+720.017 s]
Raw data (loadavg): 1.00 0.95 0.65 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24246 0 0 0 71936 74 0 0 25 0 1 0 863996710 56782848 12305 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13863 12305 300 300 0 13563 0
vsize: 55452
[startup+730.017 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24289 0 0 0 72937 74 0 0 25 0 1 0 863996710 56782848 12348 4294967295 134512640 135726644 3221224592 3221223200 134741204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13863 12348 300 300 0 13563 0
vsize: 55452
[startup+740.017 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24341 0 0 0 73936 74 0 0 25 0 1 0 863996710 56918016 12400 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13896 12400 300 300 0 13596 0
vsize: 55584
[startup+750.017 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24564 0 0 0 74935 75 0 0 25 0 1 0 863996710 56918016 12409 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13896 12409 300 300 0 13596 0
vsize: 55584
[startup+760.018 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 24788 0 0 0 75934 76 0 0 25 0 1 0 863996710 57049088 12419 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 12419 300 300 0 13628 0
vsize: 55712
[startup+770.018 s]
Raw data (loadavg): 1.00 0.96 0.66 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25013 0 0 0 76933 77 0 0 25 0 1 0 863996710 57049088 12430 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 12430 300 300 0 13628 0
vsize: 55712
[startup+780.018 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25026 0 0 0 77933 78 0 0 25 0 1 0 863996710 57049088 12443 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13928 12443 300 300 0 13628 0
vsize: 55712
[startup+790.018 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25255 0 0 0 78932 79 0 0 25 0 1 0 863996710 57188352 12458 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13962 12458 300 300 0 13662 0
vsize: 55848
[startup+800.018 s]
Raw data (loadavg): 1.00 0.96 0.67 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25271 0 0 0 79932 79 0 0 25 0 1 0 863996710 57188352 12474 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13962 12474 300 300 0 13662 0
vsize: 55848
[startup+810.018 s]
Raw data (loadavg): 1.00 0.96 0.68 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25499 0 0 0 80930 81 0 0 25 0 1 0 863996710 57188352 12488 4294967295 134512640 135726644 3221224592 3221223184 134760431 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13962 12488 300 300 0 13662 0
vsize: 55848
[startup+820.018 s]
Raw data (loadavg): 1.00 0.96 0.68 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25511 0 0 0 81930 81 0 0 25 0 1 0 863996710 57335808 12500 4294967295 134512640 135726644 3221224592 3221223136 134736692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13998 12500 300 300 0 13698 0
vsize: 55992
[startup+830.019 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25530 0 0 0 82930 82 0 0 25 0 1 0 863996710 57335808 12519 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13998 12519 300 300 0 13698 0
vsize: 55992
[startup+840.019 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25750 0 0 0 83929 82 0 0 25 0 1 0 863996710 57335808 12525 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13998 12525 300 300 0 13698 0
vsize: 55992
[startup+850.019 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25970 0 0 0 84928 83 0 0 25 0 1 0 863996710 57335808 12531 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13998 12531 300 300 0 13698 0
vsize: 55992
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 25982 0 0 0 85930 84 0 0 25 0 1 0 863996710 57470976 12543 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14031 12543 300 300 0 13731 0
vsize: 56124
[startup+870.119 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26202 0 0 0 86938 85 0 0 25 0 1 0 863996710 57470976 12549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14031 12549 300 300 0 13731 0
vsize: 56124
[startup+880.119 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26426 0 0 0 87934 85 0 0 25 0 1 0 863996710 57470976 12559 4294967295 134512640 135726644 3221224592 3221222912 134729280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14031 12559 300 300 0 13731 0
vsize: 56124
[startup+890.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26652 0 0 0 88933 86 0 0 25 0 1 0 863996710 57470976 12571 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14031 12571 300 300 0 13731 0
vsize: 56124
[startup+900.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26666 0 0 0 89933 87 0 0 25 0 1 0 863996710 57614336 12585 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12585 300 300 0 13766 0
vsize: 56264
[startup+910.12 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26886 0 0 0 90933 87 0 0 25 0 1 0 863996710 57614336 12591 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12591 300 300 0 13766 0
vsize: 56264
[startup+920.12 s]
Raw data (loadavg): 1.00 0.97 0.71 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 26891 0 0 0 91933 88 0 0 25 0 1 0 863996710 57614336 12596 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12596 300 300 0 13766 0
vsize: 56264
[startup+930.121 s]
Raw data (loadavg): 1.00 0.97 0.71 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27114 0 0 0 92932 89 0 0 25 0 1 0 863996710 57614336 12605 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12605 300 300 0 13766 0
vsize: 56264
[startup+940.122 s]
Raw data (loadavg): 1.00 0.97 0.71 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27334 0 0 0 93931 90 0 0 25 0 1 0 863996710 57614336 12611 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12611 300 300 0 13766 0
vsize: 56264
[startup+950.122 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27340 0 0 0 94930 91 0 0 25 0 1 0 863996710 57614336 12617 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14066 12617 300 300 0 13766 0
vsize: 56264
[startup+960.123 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27572 0 0 0 95930 91 0 0 25 0 1 0 863996710 57753600 12635 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14100 12635 300 300 0 13800 0
vsize: 56400
[startup+970.124 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27793 0 0 0 96929 92 0 0 25 0 1 0 863996710 57753600 12642 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14100 12642 300 300 0 13800 0
vsize: 56400
[startup+980.125 s]
Raw data (loadavg): 1.00 0.97 0.72 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 27807 0 0 0 97929 93 0 0 25 0 1 0 863996710 57753600 12656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14100 12656 300 300 0 13800 0
vsize: 56400
[startup+990.125 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28025 0 0 0 98928 94 0 0 25 0 1 0 863996710 57753600 12660 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14100 12660 300 300 0 13800 0
vsize: 56400
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28249 0 0 0 99927 95 0 0 25 0 1 0 863996710 57753600 12670 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14100 12670 300 300 0 13800 0
vsize: 56400
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28257 0 0 0 100927 95 0 0 25 0 1 0 863996710 57888768 12678 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12678 300 300 0 13833 0
vsize: 56532
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.97 0.73 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28476 0 0 0 101927 96 0 0 25 0 1 0 863996710 57888768 12683 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12683 300 300 0 13833 0
vsize: 56532
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28485 0 0 0 102926 96 0 0 25 0 1 0 863996710 57888768 12692 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12692 300 300 0 13833 0
vsize: 56532
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28711 0 0 0 103926 97 0 0 25 0 1 0 863996710 57888768 12704 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12704 300 300 0 13833 0
vsize: 56532
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28932 0 0 0 104925 98 0 0 25 0 1 0 863996710 57888768 12711 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12711 300 300 0 13833 0
vsize: 56532
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 28942 0 0 0 105925 98 0 0 25 0 1 0 863996710 57888768 12721 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14133 12721 300 300 0 13833 0
vsize: 56532
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.97 0.74 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29165 0 0 0 106924 99 0 0 25 0 1 0 863996710 58023936 12730 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14166 12730 300 300 0 13866 0
vsize: 56664
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29183 0 0 0 107924 100 0 0 25 0 1 0 863996710 58023936 12748 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14166 12748 300 300 0 13866 0
vsize: 56664
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29402 0 0 0 108923 101 0 0 25 0 1 0 863996710 58023936 12753 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14166 12753 300 300 0 13866 0
vsize: 56664
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29624 0 0 0 109922 102 0 0 25 0 1 0 863996710 58023936 12761 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14166 12761 300 300 0 13866 0
vsize: 56664
[startup+1110.13 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29631 0 0 0 110922 102 0 0 25 0 1 0 863996710 58163200 12768 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14200 12768 300 300 0 13900 0
vsize: 56800
[startup+1120.13 s]
Raw data (loadavg): 1.00 0.97 0.75 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 29853 0 0 0 111921 103 0 0 25 0 1 0 863996710 58163200 12776 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14200 12776 300 300 0 13900 0
vsize: 56800
[startup+1130.13 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30078 0 0 0 112920 104 0 0 25 0 1 0 863996710 58163200 12787 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14200 12787 300 300 0 13900 0
vsize: 56800
[startup+1140.13 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30088 0 0 0 113920 105 0 0 25 0 1 0 863996710 58163200 12797 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14200 12797 300 300 0 13900 0
vsize: 56800
[startup+1150.13 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30314 0 0 0 114919 106 0 0 25 0 1 0 863996710 58298368 12809 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12809 300 300 0 13933 0
vsize: 56932
[startup+1160.13 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30533 0 0 0 115918 107 0 0 25 0 1 0 863996710 58298368 12814 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12814 300 300 0 13933 0
vsize: 56932
[startup+1170.13 s]
Raw data (loadavg): 1.00 0.97 0.76 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30542 0 0 0 116918 107 0 0 25 0 1 0 863996710 58298368 12823 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12823 300 300 0 13933 0
vsize: 56932
[startup+1180.13 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30759 0 0 0 117917 108 0 0 25 0 1 0 863996710 58298368 12826 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12826 300 300 0 13933 0
vsize: 56932
[startup+1190.13 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30773 0 0 0 118917 108 0 0 25 0 1 0 863996710 58298368 12840 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12840 300 300 0 13933 0
vsize: 56932
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.97 0.77 2/54 31706
Raw data (stat): 31706 (pb2sat) R 31705 24172 24171 0 -1 0 30991 0 0 0 119916 110 0 0 25 0 1 0 863996710 58298368 12844 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14233 12844 300 300 0 13933 0
vsize: 56932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.00 0.97 0.77 1/54 31706
Raw data (stat): 31706 (pb2sat) Z 31705 24172 24171 0 -1 12 30992 0 0 0 119939 113 0 0 25 0 1 0 863996710 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.4
CPU time (s): 1200.53
CPU user time (s): 1199.4
CPU system time (s): 1.13083
CPU usage (%): 100.011
Max. virtual memory (Kb): 56932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17
#### END VERIFIER DATA ####