PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 10:31:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23995 boxname=wulflinc23 idbench=69 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc23/normalized-f51m.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-f51m.b.opb
IDLAUNCH: 23995
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        889908 kB
Buffers:         31488 kB
Cached:          93204 kB
SwapCached:        700 kB
Active:          29852 kB
Inactive:        96876 kB
HighTotal:      131008 kB
HighFree:        42560 kB
LowTotal:       903652 kB
LowFree:        847348 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12504 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:51:08 (client local time) WITH STATUS 10 IN 1200.39 SECONDS
stats: 23995 0 1200.39 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: 151
c [startup+5.15063 s]  setting bit 8 to 1

Decision: 76525/83854	Time: 16.6195/86400c got solution with objective value: 23
c [startup+30.9242 s]  setting bit 7 to 1
c CONFLICT during preprocess 
c [startup+31.2491 s]  setting bit 6 to 0
c CONFLICT during preprocess 
c [startup+31.5737 s]  setting bit 5 to 0
c [startup+32.2061 s]  setting bit 4 to 0

Decision: 79780/83854	Time: 15.5356/86400
Decision: 79780/83854	Time: 27.4378/86400
Decision: 79780/83854	Time: 41.7077/86400
Decision: 79780/83854	Time: 54.5597/86400
Decision: 79780/83854	Time: 70.6703/86400
Decision: 79905/83854	Time: 93.0788/86400
Decision: 79905/83854	Time: 109.586/86400
Decision: 79905/83854	Time: 127.322/86400
Decision: 79905/83854	Time: 140.56/86400
Decision: 79905/83854	Time: 156.943/86400
Decision: 79905/83854	Time: 171.545/86400
Decision: 79905/83854	Time: 186.05/86400
Decision: 79905/83854	Time: 200.442/86400
Decision: 79905/83854	Time: 214.523/86400
Decision: 79905/83854	Time: 228.211/86400
Decision: 79905/83854	Time: 242.466/86400
Decision: 79905/83854	Time: 257.107/86400
Decision: 79905/83854	Time: 271.198/86400
Decision: 79905/83854	Time: 285.09/86400
Decision: 79905/83854	Time: 298.454/86400
Decision: 79905/83854	Time: 310.837/86400
Decision: 79905/83854	Time: 326.298/86400
Decision: 79905/83854	Time: 341.486/86400
Decision: 79905/83854	Time: 357.13/86400
Decision: 79905/83854	Time: 370.846/86400
Decision: 79905/83854	Time: 386.341/86400
Decision: 79905/83854	Time: 401.975/86400
Decision: 79905/83854	Time: 414.966/86400
Decision: 80187/83854	Time: 430.693/86400
Decision: 80187/83854	Time: 445.56/86400
Decision: 80187/83854	Time: 461.372/86400
Decision: 80188/83854	Time: 481.144/86400
Decision: 80188/83854	Time: 495.385/86400
Decision: 80188/83854	Time: 508.684/86400
Decision: 80188/83854	Time: 524.056/86400
Decision: 80188/83854	Time: 539.266/86400
Decision: 80188/83854	Time: 552.589/86400
Decision: 80188/83854	Time: 566.745/86400
Decision: 80188/83854	Time: 581.652/86400
Decision: 80188/83854	Time: 595.437/86400
Decision: 80188/83854	Time: 610.036/86400
Decision: 80342/83854	Time: 626.809/86400
Decision: 80342/83854	Time: 640.914/86400
Decision: 80355/83854	Time: 669.364/86400
Decision: 80355/83854	Time: 683.722/86400
Decision: 80355/83854	Time: 697.458/86400
Decision: 80355/83854	Time: 712.462/86400
Decision: 80356/83854	Time: 728.928/86400
Decision: 80356/83854	Time: 742.422/86400
Decision: 80356/83854	Time: 757.03/86400
Decision: 80851/83854	Time: 771.51/86400
Decision: 80898/83854	Time: 806.414/86400
Decision: 80939/83854	Time: 836.7/86400c [startup+888.248 s]  setting bit 3 to 0

Decision: 78320/83854	Time: 144.11/86400
Decision: 78320/83854	Time: 156.584/86400
Decision: 78424/83854	Time: 171.869/86400
Decision: 78424/83854	Time: 184.697/86400
Decision: 78424/83854	Time: 195.918/86400
Decision: 78424/83854	Time: 211.858/86400
Decision: 78424/83854	Time: 225.163/86400
Decision: 78424/83854	Time: 236.77/86400
Decision: 78424/83854	Time: 250.748/86400
Decision: 78424/83854	Time: 267.957/86400
Decision: 78424/83854	Time: 282.747/86400
Decision: 78424/83854	Time: 298.34/86400c got solution with objective value: 19
c [startup+1193.86 s]  setting bit 2 to 1
s SATISFIABLE
v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 x260 -x261 x262 -x263 x264 -x265 x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.70 2/54 7538
Raw data (stat): 7538 (runsolver) R 7537 5562 5561 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 864102248 884736 93 4294967295 134512640 135332820 3221224480 3221219888 134515228 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99967 s]
Raw data (loadavg): 0.87 0.94 0.70 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13428 0 0 0 970 29 0 0 25 0 1 0 864102248 43950080 7702 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10730 7702 300 300 0 10430 0
vsize: 42920
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.94 0.70 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13453 0 0 0 1970 29 0 0 25 0 1 0 864102248 43950080 7727 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10730 7727 300 300 0 10430 0
vsize: 42920
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.71 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13637 0 0 0 2969 30 0 0 25 0 1 0 864102248 43950080 7747 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10730 7747 300 300 0 10430 0
vsize: 42920
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.71 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14318 0 0 0 3968 31 0 0 25 0 1 0 864102248 43950080 7772 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10730 7772 300 300 0 10430 0
vsize: 42920
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.71 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14508 0 0 0 4966 32 0 0 25 0 1 0 864102248 43950080 7798 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7798 300 300 0 10430 0
vsize: 42920
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.72 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14687 0 0 0 5964 33 0 0 25 0 1 0 864102248 43950080 7813 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7813 300 300 0 10430 0
vsize: 42920
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.95 0.72 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14713 0 0 0 6964 34 0 0 25 0 1 0 864102248 43950080 7839 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7839 300 300 0 10430 0
vsize: 42920
[startup+80.0059 s]
Raw data (loadavg): 0.96 0.95 0.72 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14907 0 0 0 7963 35 0 0 25 0 1 0 864102248 43950080 7869 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7869 300 300 0 10430 0
vsize: 42920
[startup+90.0068 s]
Raw data (loadavg): 0.96 0.95 0.72 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15102 0 0 0 8962 35 0 0 25 0 1 0 864102248 43950080 7900 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7900 300 300 0 10430 0
vsize: 42920
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.73 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15127 0 0 0 9962 36 0 0 25 0 1 0 864102248 43950080 7925 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7925 300 300 0 10430 0
vsize: 42920
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.73 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15310 0 0 0 10961 37 0 0 25 0 1 0 864102248 43950080 7944 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7944 300 300 0 10430 0
vsize: 42920
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15332 0 0 0 11960 38 0 0 25 0 1 0 864102248 43950080 7966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7966 300 300 0 10430 0
vsize: 42920
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15509 0 0 0 12960 39 0 0 25 0 1 0 864102248 43950080 7979 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7979 300 300 0 10430 0
vsize: 42920
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.74 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15512 0 0 0 13959 39 0 0 25 0 1 0 864102248 43950080 7982 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7982 300 300 0 10430 0
vsize: 42920
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.74 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15691 0 0 0 14958 40 0 0 25 0 1 0 864102248 43950080 7997 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 7997 300 300 0 10430 0
vsize: 42920
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15879 0 0 0 15958 41 0 0 25 0 1 0 864102248 43950080 8021 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8021 300 300 0 10430 0
vsize: 42920
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15914 0 0 0 16957 41 0 0 25 0 1 0 864102248 43950080 8056 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8056 300 300 0 10430 0
vsize: 42920
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16106 0 0 0 17956 43 0 0 25 0 1 0 864102248 43950080 8084 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8084 300 300 0 10430 0
vsize: 42920
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16302 0 0 0 18956 43 0 0 25 0 1 0 864102248 43950080 8116 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8116 300 300 0 10430 0
vsize: 42920
[startup+200.021 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16337 0 0 0 19956 44 0 0 25 0 1 0 864102248 43950080 8151 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8151 300 300 0 10430 0
vsize: 42920
[startup+210.021 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16518 0 0 0 20955 45 0 0 25 0 1 0 864102248 43950080 8168 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8168 300 300 0 10430 0
vsize: 42920
[startup+220.022 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16684 0 0 0 21954 46 0 0 25 0 1 0 864102248 43950080 8170 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8170 300 300 0 10430 0
vsize: 42920
[startup+230.022 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16690 0 0 0 22954 46 0 0 25 0 1 0 864102248 43950080 8176 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8176 300 300 0 10430 0
vsize: 42920
[startup+240.022 s]
Raw data (loadavg): 0.99 0.96 0.76 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16889 0 0 0 23953 47 0 0 25 0 1 0 864102248 43950080 8211 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8211 300 300 0 10430 0
vsize: 42920
[startup+250.023 s]
Raw data (loadavg): 0.99 0.96 0.76 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17107 0 0 0 24952 48 0 0 25 0 1 0 864102248 43950080 8265 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8265 300 300 0 10430 0
vsize: 42920
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17155 0 0 0 25951 49 0 0 25 0 1 0 864102248 43950080 8313 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8313 300 300 0 10430 0
vsize: 42920
[startup+270.024 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17344 0 0 0 26951 50 0 0 25 0 1 0 864102248 43950080 8338 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8338 300 300 0 10430 0
vsize: 42920
[startup+280.024 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17527 0 0 0 27949 51 0 0 25 0 1 0 864102248 43950080 8357 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8357 300 300 0 10430 0
vsize: 42920
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17693 0 0 0 28948 52 0 0 25 0 1 0 864102248 43950080 8359 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8359 300 300 0 10430 0
vsize: 42920
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17696 0 0 0 29948 53 0 0 25 0 1 0 864102248 43950080 8362 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8362 300 300 0 10430 0
vsize: 42920
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17863 0 0 0 30947 53 0 0 25 0 1 0 864102248 43950080 8365 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8365 300 300 0 10430 0
vsize: 42920
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18030 0 0 0 31947 54 0 0 25 0 1 0 864102248 43950080 8368 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8368 300 300 0 10430 0
vsize: 42920
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18038 0 0 0 32947 54 0 0 25 0 1 0 864102248 43950080 8376 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8376 300 300 0 10430 0
vsize: 42920
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18260 0 0 0 33946 55 0 0 25 0 1 0 864102248 43950080 8434 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8434 300 300 0 10430 0
vsize: 42920
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18440 0 0 0 34944 57 0 0 25 0 1 0 864102248 43950080 8450 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8450 300 300 0 10430 0
vsize: 42920
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18612 0 0 0 35944 57 0 0 25 0 1 0 864102248 43950080 8458 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8458 300 300 0 10430 0
vsize: 42920
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18661 0 0 0 36943 58 0 0 25 0 1 0 864102248 43950080 8507 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10730 8507 300 300 0 10430 0
vsize: 42920
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18883 0 0 0 37942 59 0 0 25 0 1 0 864102248 44085248 8565 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10763 8565 300 300 0 10463 0
vsize: 43052
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19118 0 0 0 38941 61 0 0 25 0 1 0 864102248 44085248 8636 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10763 8636 300 300 0 10463 0
vsize: 43052
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19185 0 0 0 39940 61 0 0 25 0 1 0 864102248 44085248 8703 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10763 8703 300 300 0 10463 0
vsize: 43052
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19392 0 0 0 40939 62 0 0 25 0 1 0 864102248 44085248 8746 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10763 8746 300 300 0 10463 0
vsize: 43052
[startup+420.03 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19618 0 0 0 41938 63 0 0 25 0 1 0 864102248 52625408 8808 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8808 300 300 0 12548 0
vsize: 51392
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.79 3/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19620 0 0 0 42938 64 0 0 25 0 1 0 864102248 52625408 8810 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8810 300 300 0 12548 0
vsize: 51392
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19790 0 0 0 43938 64 0 0 25 0 1 0 864102248 52625408 8816 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8816 300 300 0 12548 0
vsize: 51392
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19967 0 0 0 44936 66 0 0 25 0 1 0 864102248 52625408 8829 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8829 300 300 0 12548 0
vsize: 51392
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19979 0 0 0 45935 67 0 0 25 0 1 0 864102248 52625408 8841 4294967295 134512640 135726644 3221224592 3221222912 134729216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8841 300 300 0 12548 0
vsize: 51392
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20147 0 0 0 46934 68 0 0 25 0 1 0 864102248 52625408 8845 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8845 300 300 0 12548 0
vsize: 51392
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20314 0 0 0 47934 69 0 0 25 0 1 0 864102248 52625408 8848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8848 300 300 0 12548 0
vsize: 51392
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20330 0 0 0 48933 69 0 0 25 0 1 0 864102248 52625408 8864 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8864 300 300 0 12548 0
vsize: 51392
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20504 0 0 0 49932 70 0 0 25 0 1 0 864102248 52625408 8874 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12848 8874 300 300 0 12548 0
vsize: 51392
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20511 0 0 0 50932 71 0 0 25 0 1 0 864102248 52760576 8881 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8881 300 300 0 12581 0
vsize: 51524
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20685 0 0 0 51931 72 0 0 25 0 1 0 864102248 52760576 8891 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8891 300 300 0 12581 0
vsize: 51524
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20852 0 0 0 52930 73 0 0 25 0 1 0 864102248 52760576 8894 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8894 300 300 0 12581 0
vsize: 51524
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20856 0 0 0 53930 73 0 0 25 0 1 0 864102248 52760576 8898 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8898 300 300 0 12581 0
vsize: 51524
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21025 0 0 0 54929 74 0 0 25 0 1 0 864102248 52760576 8903 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8903 300 300 0 12581 0
vsize: 51524
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21192 0 0 0 55928 74 0 0 25 0 1 0 864102248 52760576 8906 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8906 300 300 0 12581 0
vsize: 51524
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21195 0 0 0 56928 75 0 0 25 0 1 0 864102248 52760576 8909 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8909 300 300 0 12581 0
vsize: 51524
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21362 0 0 0 57928 75 0 0 25 0 1 0 864102248 52760576 8912 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8912 300 300 0 12581 0
vsize: 51524
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21530 0 0 0 58927 76 0 0 25 0 1 0 864102248 52760576 8916 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8916 300 300 0 12581 0
vsize: 51524
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21700 0 0 0 59926 77 0 0 25 0 1 0 864102248 52760576 8922 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8922 300 300 0 12581 0
vsize: 51524
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21703 0 0 0 60926 78 0 0 25 0 1 0 864102248 52760576 8925 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8925 300 300 0 12581 0
vsize: 51524
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21870 0 0 0 61925 78 0 0 25 0 1 0 864102248 52760576 8928 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8928 300 300 0 12581 0
vsize: 51524
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22037 0 0 0 62924 79 0 0 25 0 1 0 864102248 52760576 8931 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8931 300 300 0 12581 0
vsize: 51524
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22040 0 0 0 63924 79 0 0 25 0 1 0 864102248 52760576 8934 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8934 300 300 0 12581 0
vsize: 51524
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22214 0 0 0 64924 80 0 0 25 0 1 0 864102248 52760576 8944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8944 300 300 0 12581 0
vsize: 51524
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22383 0 0 0 65923 81 0 0 25 0 1 0 864102248 52760576 8949 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12881 8949 300 300 0 12581 0
vsize: 51524
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22386 0 0 0 66923 82 0 0 25 0 1 0 864102248 52760576 8952 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12881 8952 300 300 0 12581 0
vsize: 51524
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22555 0 0 0 67922 82 0 0 25 0 1 0 864102248 52899840 8957 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 8957 300 300 0 12615 0
vsize: 51660
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22558 0 0 0 68923 82 0 0 25 0 1 0 864102248 52899840 8960 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 8960 300 300 0 12615 0
vsize: 51660
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22571 0 0 0 69922 83 0 0 25 0 1 0 864102248 52899840 8973 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 8973 300 300 0 12615 0
vsize: 51660
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22739 0 0 0 70922 83 0 0 25 0 1 0 864102248 52899840 8977 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 8977 300 300 0 12615 0
vsize: 51660
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22906 0 0 0 71922 84 0 0 25 0 1 0 864102248 52899840 8980 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 8980 300 300 0 12615 0
vsize: 51660
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23116 0 0 0 72921 85 0 0 25 0 1 0 864102248 52899840 9026 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9026 300 300 0 12615 0
vsize: 51660
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23121 0 0 0 73921 85 0 0 25 0 1 0 864102248 52899840 9031 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9031 300 300 0 12615 0
vsize: 51660
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23288 0 0 0 74920 86 0 0 25 0 1 0 864102248 52899840 9034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9034 300 300 0 12615 0
vsize: 51660
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23293 0 0 0 75920 86 0 0 25 0 1 0 864102248 52899840 9039 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9039 300 300 0 12615 0
vsize: 51660
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23464 0 0 0 76920 87 0 0 25 0 1 0 864102248 52899840 9046 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9046 300 300 0 12615 0
vsize: 51660
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23632 0 0 0 77919 87 0 0 25 0 1 0 864102248 52899840 9050 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9050 300 300 0 12615 0
vsize: 51660
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23802 0 0 0 78919 88 0 0 25 0 1 0 864102248 52899840 9056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9056 300 300 0 12615 0
vsize: 51660
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23806 0 0 0 79919 88 0 0 25 0 1 0 864102248 52899840 9060 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12915 9060 300 300 0 12615 0
vsize: 51660
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23979 0 0 0 80918 89 0 0 25 0 1 0 864102248 53047296 9069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9069 300 300 0 12651 0
vsize: 51804
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23982 0 0 0 81918 90 0 0 25 0 1 0 864102248 53047296 9072 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9072 300 300 0 12651 0
vsize: 51804
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23985 0 0 0 82918 90 0 0 25 0 1 0 864102248 53047296 9075 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9075 300 300 0 12651 0
vsize: 51804
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24152 0 0 0 83918 90 0 0 25 0 1 0 864102248 53047296 9078 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9078 300 300 0 12651 0
vsize: 51804
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24155 0 0 0 84918 90 0 0 25 0 1 0 864102248 53047296 9081 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9081 300 300 0 12651 0
vsize: 51804
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24158 0 0 0 85918 91 0 0 25 0 1 0 864102248 53047296 9084 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9084 300 300 0 12651 0
vsize: 51804
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24328 0 0 0 86917 91 0 0 25 0 1 0 864102248 53047296 9090 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9090 300 300 0 12651 0
vsize: 51804
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24331 0 0 0 87917 91 0 0 25 0 1 0 864102248 53047296 9093 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9093 300 300 0 12651 0
vsize: 51804
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24565 0 0 0 88917 92 0 0 25 0 1 0 864102248 53047296 9163 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9163 300 300 0 12651 0
vsize: 51804
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24589 0 0 0 89916 93 0 0 25 0 1 0 864102248 53047296 9187 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9187 300 300 0 12651 0
vsize: 51804
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24631 0 0 0 90916 93 0 0 25 0 1 0 864102248 53047296 9229 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12951 9229 300 300 0 12651 0
vsize: 51804
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24665 0 0 0 91916 94 0 0 25 0 1 0 864102248 53182464 9263 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12984 9263 300 300 0 12684 0
vsize: 51936
[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24712 0 0 0 92916 94 0 0 25 0 1 0 864102248 53182464 9310 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12984 9310 300 300 0 12684 0
vsize: 51936
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24757 0 0 0 93916 94 0 0 25 0 1 0 864102248 53182464 9355 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12984 9355 300 300 0 12684 0
vsize: 51936
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24784 0 0 0 94916 94 0 0 25 0 1 0 864102248 53182464 9382 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12984 9382 300 300 0 12684 0
vsize: 51936
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24814 0 0 0 95916 94 0 0 25 0 1 0 864102248 53317632 9412 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9412 300 300 0 12717 0
vsize: 52068
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24853 0 0 0 96916 95 0 0 25 0 1 0 864102248 53317632 9451 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9451 300 300 0 12717 0
vsize: 52068
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24892 0 0 0 97916 95 0 0 25 0 1 0 864102248 53317632 9490 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9490 300 300 0 12717 0
vsize: 52068
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24943 0 0 0 98916 95 0 0 25 0 1 0 864102248 53317632 9541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9541 300 300 0 12717 0
vsize: 52068
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24980 0 0 0 99916 96 0 0 25 0 1 0 864102248 53317632 9578 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9578 300 300 0 12717 0
vsize: 52068
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25029 0 0 0 100916 96 0 0 25 0 1 0 864102248 53317632 9627 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13017 9627 300 300 0 12717 0
vsize: 52068
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25097 0 0 0 101915 97 0 0 25 0 1 0 864102248 53456896 9695 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13051 9695 300 300 0 12751 0
vsize: 52204
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25169 0 0 0 102915 98 0 0 25 0 1 0 864102248 53456896 9767 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13051 9767 300 300 0 12751 0
vsize: 52204
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25360 0 0 0 103914 99 0 0 25 0 1 0 864102248 53456896 9794 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 9794 300 300 0 12751 0
vsize: 52204
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25537 0 0 0 104912 100 0 0 25 0 1 0 864102248 53596160 9807 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13085 9807 300 300 0 12785 0
vsize: 52340
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25708 0 0 0 105910 101 0 0 25 0 1 0 864102248 54267904 9978 4294967295 134512640 135726644 3221224592 3221222736 134765521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13249 9978 300 300 0 12949 0
vsize: 52996
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25714 0 0 0 106911 101 0 0 25 0 1 0 864102248 53596160 9820 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13085 9820 300 300 0 12785 0
vsize: 52340
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25891 0 0 0 107910 102 0 0 25 0 1 0 864102248 53596160 9833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13085 9833 300 300 0 12785 0
vsize: 52340
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26068 0 0 0 108910 102 0 0 25 0 1 0 864102248 53735424 9846 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9846 300 300 0 12819 0
vsize: 52476
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26236 0 0 0 109910 103 0 0 25 0 1 0 864102248 53735424 9850 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9850 300 300 0 12819 0
vsize: 52476
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26239 0 0 0 110910 103 0 0 25 0 1 0 864102248 53735424 9853 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9853 300 300 0 12819 0
vsize: 52476
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26418 0 0 0 111909 103 0 0 25 0 1 0 864102248 53735424 9868 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9868 300 300 0 12819 0
vsize: 52476
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26592 0 0 0 112909 104 0 0 25 0 1 0 864102248 53735424 9878 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9878 300 300 0 12819 0
vsize: 52476
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26763 0 0 0 113908 105 0 0 25 0 1 0 864102248 53735424 9885 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9885 300 300 0 12819 0
vsize: 52476
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26766 0 0 0 114908 105 0 0 25 0 1 0 864102248 53735424 9888 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9888 300 300 0 12819 0
vsize: 52476
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26934 0 0 0 115908 106 0 0 25 0 1 0 864102248 53735424 9892 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13119 9892 300 300 0 12819 0
vsize: 52476
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26945 0 0 0 116908 106 0 0 25 0 1 0 864102248 53870592 9903 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13152 9903 300 300 0 12852 0
vsize: 52608
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27118 0 0 0 117907 107 0 0 25 0 1 0 864102248 53870592 9912 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13152 9912 300 300 0 12852 0
vsize: 52608
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27289 0 0 0 118907 108 0 0 25 0 1 0 864102248 53870592 9919 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13152 9919 300 300 0 12852 0
vsize: 52608
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 7538
Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27469 0 0 0 119906 108 0 0 25 0 1 0 864102248 53870592 9935 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13152 9935 300 300 0 12852 0
vsize: 52608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.88 1/54 7538
Raw data (stat): 7538 (pb2sat) Z 7537 5562 5561 0 -1 12 27470 0 0 0 119928 110 0 0 25 0 1 0 864102248 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.3
CPU time (s): 1200.39
CPU user time (s): 1199.28
CPU system time (s): 1.10883
CPU usage (%): 100.007
Max. virtual memory (Kb): 52996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19
#### END VERIFIER DATA ####