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-count.b.opb
MD5SUM	f13ba9c997276002b5bd6db1f679a6f5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24
Optimality of the best value was proved	NO
Number of terms in the objective function	467
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	467
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	467
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.04584
Number of variables	466
Total number of constraints	694
Number of constraints which are clauses	694
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	78
Trace number 34775

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-28 10:30:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23991 boxname=wulflinc5 idbench=65 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f13ba9c997276002b5bd6db1f679a6f5  /oldhome/oroussel/tmp/wulflinc5/normalized-count.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-count.b.opb
IDLAUNCH: 23991
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        404660 kB
Buffers:         37708 kB
Cached:         564796 kB
SwapCached:        656 kB
Active:          58628 kB
Inactive:       546056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404408 kB
SwapTotal:     2097136 kB
SwapFree:      2095612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5132 kB
Slab:            19720 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:51:01 (client local time) WITH STATUS 10 IN 1200.61 SECONDS
stats: 23991 0 1200.61 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: 211
c [startup+10.1559 s]  setting bit 8 to 1
c got solution with objective value: 83
c [startup+14.1422 s]  setting bit 7 to 1

Decision: 105320/110224	Time: 29.1506/86400
Decision: 105960/110224	Time: 57.7272/86400
Decision: 105960/110224	Time: 71.1352/86400
Decision: 105960/110224	Time: 83.8523/86400
Decision: 105960/110224	Time: 100.501/86400
Decision: 105960/110224	Time: 116.047/86400
Decision: 105960/110224	Time: 129.324/86400
Decision: 105960/110224	Time: 145.751/86400
Decision: 105960/110224	Time: 163.809/86400
Decision: 105960/110224	Time: 178/86400
Decision: 105960/110224	Time: 194.547/86400
Decision: 105960/110224	Time: 207.457/86400
Decision: 105960/110224	Time: 222.416/86400
Decision: 105960/110224	Time: 236.849/86400
Decision: 105960/110224	Time: 252.3/86400
Decision: 106170/110224	Time: 269.229/86400
Decision: 106232/110224	Time: 283.988/86400
Decision: 106233/110224	Time: 305.242/86400
Decision: 106237/110224	Time: 360.028/86400
Decision: 106493/110224	Time: 381.864/86400c [startup+437.877 s]  setting bit 6 to 0
c got solution with objective value: 51
c [startup+443.014 s]  setting bit 5 to 1
c got solution with objective value: 35
c [startup+449.377 s]  setting bit 4 to 1
c got solution with objective value: 27
c [startup+456.008 s]  setting bit 3 to 1

Decision: 103774/110224	Time: 20.8278/86400
Decision: 104122/110224	Time: 34.0478/86400
Decision: 104122/110224	Time: 46.8049/86400
Decision: 104122/110224	Time: 57.5053/86400
Decision: 104419/110224	Time: 71.6441/86400
Decision: 104419/110224	Time: 83.2873/86400
Decision: 104419/110224	Time: 94.0997/86400
Decision: 104419/110224	Time: 105.539/86400
Decision: 104419/110224	Time: 116.035/86400
Decision: 104419/110224	Time: 126.525/86400
Decision: 104419/110224	Time: 140.101/86400
Decision: 104419/110224	Time: 149.882/86400
Decision: 104419/110224	Time: 163.607/86400
Decision: 104419/110224	Time: 174.93/86400
Decision: 104419/110224	Time: 188.838/86400
Decision: 104419/110224	Time: 198.449/86400
Decision: 104419/110224	Time: 210.599/86400
Decision: 104419/110224	Time: 220.374/86400
Decision: 104419/110224	Time: 233.018/86400
Decision: 104419/110224	Time: 242.813/86400
Decision: 104419/110224	Time: 255.382/86400
Decision: 104419/110224	Time: 267.91/86400
Decision: 104419/110224	Time: 280.715/86400
Decision: 104419/110224	Time: 293.693/86400
Decision: 104419/110224	Time: 305.606/86400
Decision: 104419/110224	Time: 319.539/86400
Decision: 104419/110224	Time: 333.514/86400
Decision: 104419/110224	Time: 345.46/86400
Decision: 104419/110224	Time: 359.943/86400
Decision: 104419/110224	Time: 372.957/86400
Decision: 104419/110224	Time: 387.669/86400
Decision: 104419/110224	Time: 399.589/86400
Decision: 104419/110224	Time: 410.406/86400
Decision: 104419/110224	Time: 424.649/86400
Decision: 104419/110224	Time: 437.483/86400
Decision: 104419/110224	Time: 450.902/86400
Decision: 104419/110224	Time: 464.562/86400
Decision: 104419/110224	Time: 477.852/86400
Decision: 104419/110224	Time: 488.468/86400
Decision: 104419/110224	Time: 499.271/86400
Decision: 104419/110224	Time: 509.731/86400
Decision: 104419/110224	Time: 524.113/86400
Decision: 104419/110224	Time: 538.571/86400
Decision: 104419/110224	Time: 552.049/86400
Decision: 104419/110224	Time: 565.648/86400
Decision: 104419/110224	Time: 580.936/86400
Decision: 104419/110224	Time: 592.851/86400
Decision: 104419/110224	Time: 603.541/86400
Decision: 104419/110224	Time: 615.386/86400
Decision: 104419/110224	Time: 628.469/86400
Decision: 104419/110224	Time: 643.662/86400
Decision: 104419/110224	Time: 656.837/86400
Decision: 104419/110224	Time: 667.466/86400
Decision: 104419/110224	Time: 681.546/86400
Decision: 104419/110224	Time: 693.009/86400
Decision: 104419/110224	Time: 707.92/86400
Decision: 104419/110224	Time: 719.38/86400
Decision: 104419/110224	Time: 734.296/86400s SATISFIABLE
v -x1 -x10 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 x181 x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x19 x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x43 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -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): 0.87 0.94 0.69 1/54 18051
Raw data (stat): 18051 (runsolver) D 18050 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 805877741 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.89 0.94 0.69 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 15886 0 0 0 962 36 0 0 25 0 1 0 805877741 48369664 10213 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11809 10213 300 300 0 11509 0
vsize: 47236
[startup+20.0018 s]
Raw data (loadavg): 0.91 0.94 0.70 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 16579 0 0 0 1960 38 0 0 25 0 1 0 805877741 49188864 10409 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12009 10409 300 300 0 11709 0
vsize: 48036
[startup+30.0015 s]
Raw data (loadavg): 0.92 0.94 0.70 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 16634 0 0 0 2960 38 0 0 25 0 1 0 805877741 49188864 10464 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12009 10464 300 300 0 11709 0
vsize: 48036
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.94 0.70 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 16700 0 0 0 3959 39 0 0 25 0 1 0 805877741 49324032 10530 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12042 10530 300 300 0 11742 0
vsize: 48168
[startup+50.003 s]
Raw data (loadavg): 0.94 0.95 0.71 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 16942 0 0 0 4954 40 0 0 25 0 1 0 805877741 49324032 10556 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12042 10556 300 300 0 11742 0
vsize: 48168
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.95 0.71 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17007 0 0 0 5953 40 0 0 25 0 1 0 805877741 49598464 10621 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12109 10621 300 300 0 11809 0
vsize: 48436
[startup+70.0027 s]
Raw data (loadavg): 0.96 0.95 0.71 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17066 0 0 0 6953 41 0 0 25 0 1 0 805877741 49598464 10680 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12109 10680 300 300 0 11809 0
vsize: 48436
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.95 0.71 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17309 0 0 0 7952 41 0 0 25 0 1 0 805877741 49598464 10707 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12109 10707 300 300 0 11809 0
vsize: 48436
[startup+90.0038 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17566 0 0 0 8952 42 0 0 25 0 1 0 805877741 49598464 10748 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12109 10748 300 300 0 11809 0
vsize: 48436
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17834 0 0 0 9952 42 0 0 25 0 1 0 805877741 49733632 10800 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12142 10800 300 300 0 11842 0
vsize: 48568
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.72 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 17891 0 0 0 10950 44 0 0 25 0 1 0 805877741 49733632 10857 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12142 10857 300 300 0 11842 0
vsize: 48568
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18147 0 0 0 11949 44 0 0 25 0 1 0 805877741 49868800 10897 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12175 10897 300 300 0 11875 0
vsize: 48700
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18411 0 0 0 12949 45 0 0 25 0 1 0 805877741 49868800 10945 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12175 10945 300 300 0 11875 0
vsize: 48700
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18418 0 0 0 13949 45 0 0 25 0 1 0 805877741 49868800 10952 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12175 10952 300 300 0 11875 0
vsize: 48700
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18652 0 0 0 14948 46 0 0 25 0 1 0 805877741 50003968 10970 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 10970 300 300 0 11908 0
vsize: 48832
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18874 0 0 0 15948 46 0 0 25 0 1 0 805877741 50003968 10976 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 10976 300 300 0 11908 0
vsize: 48832
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 18900 0 0 0 16948 47 0 0 25 0 1 0 805877741 50003968 11002 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11002 300 300 0 11908 0
vsize: 48832
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19158 0 0 0 17947 47 0 0 25 0 1 0 805877741 50003968 11044 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11044 300 300 0 11908 0
vsize: 48832
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19201 0 0 0 18948 47 0 0 25 0 1 0 805877741 50003968 11087 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11087 300 300 0 11908 0
vsize: 48832
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19457 0 0 0 19947 48 0 0 25 0 1 0 805877741 50003968 11127 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11127 300 300 0 11908 0
vsize: 48832
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19717 0 0 0 20947 49 0 0 25 0 1 0 805877741 50003968 11171 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11171 300 300 0 11908 0
vsize: 48832
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19721 0 0 0 21947 49 0 0 25 0 1 0 805877741 50003968 11175 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11175 300 300 0 11908 0
vsize: 48832
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 19941 0 0 0 22946 49 0 0 25 0 1 0 805877741 50003968 11179 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11179 300 300 0 11908 0
vsize: 48832
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20163 0 0 0 23946 50 0 0 25 0 1 0 805877741 50003968 11185 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12208 11185 300 300 0 11908 0
vsize: 48832
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20168 0 0 0 24946 50 0 0 25 0 1 0 805877741 50139136 11190 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12241 11190 300 300 0 11941 0
vsize: 48964
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20404 0 0 0 25945 51 0 0 25 0 1 0 805877741 50139136 11210 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12241 11210 300 300 0 11941 0
vsize: 48964
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20665 0 0 0 26945 52 0 0 25 0 1 0 805877741 58527744 11255 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14289 11255 300 300 0 13989 0
vsize: 57156
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20726 0 0 0 27944 52 0 0 25 0 1 0 805877741 58527744 11316 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14289 11316 300 300 0 13989 0
vsize: 57156
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 20962 0 0 0 28943 53 0 0 25 0 1 0 805877741 58662912 11336 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11336 300 300 0 14022 0
vsize: 57288
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21187 0 0 0 29943 54 0 0 25 0 1 0 805877741 58662912 11345 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11345 300 300 0 14022 0
vsize: 57288
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21195 0 0 0 30943 54 0 0 25 0 1 0 805877741 58662912 11353 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11353 300 300 0 14022 0
vsize: 57288
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21421 0 0 0 31942 55 0 0 25 0 1 0 805877741 58662912 11363 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11363 300 300 0 14022 0
vsize: 57288
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21465 0 0 0 32942 55 0 0 25 0 1 0 805877741 58662912 11407 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11407 300 300 0 14022 0
vsize: 57288
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21518 0 0 0 33942 56 0 0 25 0 1 0 805877741 58662912 11460 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14322 11460 300 300 0 14022 0
vsize: 57288
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21598 0 0 0 34941 56 0 0 25 0 1 0 805877741 58798080 11540 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14355 11540 300 300 0 14055 0
vsize: 57420
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21666 0 0 0 35941 57 0 0 25 0 1 0 805877741 58798080 11608 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14355 11608 300 300 0 14055 0
vsize: 57420
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 21728 0 0 0 36941 57 0 0 25 0 1 0 805877741 58798080 11670 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14355 11670 300 300 0 14055 0
vsize: 57420
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22016 0 0 0 37941 58 0 0 25 0 1 0 805877741 58933248 11742 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14388 11742 300 300 0 14088 0
vsize: 57552
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22104 0 0 0 38940 58 0 0 25 0 1 0 805877741 58933248 11830 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14388 11830 300 300 0 14088 0
vsize: 57552
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22389 0 0 0 39940 59 0 0 25 0 1 0 805877741 58933248 11899 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14388 11899 300 300 0 14088 0
vsize: 57552
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22471 0 0 0 40940 59 0 0 25 0 1 0 805877741 59068416 11981 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14421 11981 300 300 0 14121 0
vsize: 57684
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22527 0 0 0 41939 60 0 0 25 0 1 0 805877741 59068416 12037 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14421 12037 300 300 0 14121 0
vsize: 57684
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22608 0 0 0 42939 60 0 0 25 0 1 0 805877741 59068416 12118 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14421 12118 300 300 0 14121 0
vsize: 57684
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 22907 0 0 0 43938 61 0 0 25 0 1 0 805877741 59219968 12201 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14458 12201 300 300 0 14158 0
vsize: 57832
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 23364 0 0 0 44937 63 0 0 25 0 1 0 805877741 59219968 12226 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14458 12226 300 300 0 14158 0
vsize: 57832
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 23623 0 0 0 45936 64 0 0 25 0 1 0 805877741 59355136 12269 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14491 12269 300 300 0 14191 0
vsize: 57964
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 23683 0 0 0 46936 64 0 0 25 0 1 0 805877741 59494400 12329 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14525 12329 300 300 0 14225 0
vsize: 58100
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 23937 0 0 0 47936 64 0 0 25 0 1 0 805877741 59641856 12367 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14561 12367 300 300 0 14261 0
vsize: 58244
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 24167 0 0 0 48935 65 0 0 25 0 1 0 805877741 60526592 12597 4294967295 134512640 135726644 3221224592 3221222752 134765177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14777 12597 300 300 0 14477 0
vsize: 59108
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 24175 0 0 0 49935 65 0 0 25 0 1 0 805877741 59641856 12389 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14561 12389 300 300 0 14261 0
vsize: 58244
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 24407 0 0 0 50935 66 0 0 25 0 1 0 805877741 59641856 12405 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14561 12405 300 300 0 14261 0
vsize: 58244
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 24639 0 0 0 51934 66 0 0 25 0 1 0 805877741 59777024 12421 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14594 12421 300 300 0 14294 0
vsize: 58376
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 24871 0 0 0 52933 68 0 0 25 0 1 0 805877741 59777024 12437 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14594 12437 300 300 0 14294 0
vsize: 58376
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25097 0 0 0 53933 68 0 0 25 0 1 0 805877741 59777024 12447 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14594 12447 300 300 0 14294 0
vsize: 58376
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25336 0 0 0 54933 69 0 0 25 0 1 0 805877741 60796928 12686 4294967295 134512640 135726644 3221224592 3221222752 134765226 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14843 12686 300 300 0 14543 0
vsize: 59372
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25346 0 0 0 55932 69 0 0 25 0 1 0 805877741 59912192 12480 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14627 12480 300 300 0 14327 0
vsize: 58508
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25574 0 0 0 56932 70 0 0 25 0 1 0 805877741 59912192 12492 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14627 12492 300 300 0 14327 0
vsize: 58508
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25602 0 0 0 57931 71 0 0 25 0 1 0 805877741 60055552 12520 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14662 12520 300 300 0 14362 0
vsize: 58648
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 25836 0 0 0 58931 71 0 0 25 0 1 0 805877741 60198912 12538 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14697 12538 300 300 0 14397 0
vsize: 58788
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26061 0 0 0 59930 72 0 0 25 0 1 0 805877741 60198912 12547 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14697 12547 300 300 0 14397 0
vsize: 58788
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26294 0 0 0 60929 73 0 0 25 0 1 0 805877741 60198912 12564 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14697 12564 300 300 0 14397 0
vsize: 58788
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26519 0 0 0 61929 74 0 0 25 0 1 0 805877741 60198912 12573 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14697 12573 300 300 0 14397 0
vsize: 58788
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26535 0 0 0 62929 74 0 0 25 0 1 0 805877741 60338176 12589 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14731 12589 300 300 0 14431 0
vsize: 58924
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26761 0 0 0 63928 74 0 0 25 0 1 0 805877741 60338176 12599 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14731 12599 300 300 0 14431 0
vsize: 58924
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 26995 0 0 0 64928 75 0 0 25 0 1 0 805877741 60338176 12617 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14731 12617 300 300 0 14431 0
vsize: 58924
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 27225 0 0 0 65927 76 0 0 25 0 1 0 805877741 60473344 12631 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14764 12631 300 300 0 14464 0
vsize: 59056
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 27451 0 0 0 66927 77 0 0 25 0 1 0 805877741 60473344 12641 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14764 12641 300 300 0 14464 0
vsize: 59056
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 27685 0 0 0 67926 77 0 0 25 0 1 0 805877741 60473344 12659 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14764 12659 300 300 0 14464 0
vsize: 59056
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 27910 0 0 0 68926 78 0 0 25 0 1 0 805877741 60473344 12668 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14764 12668 300 300 0 14464 0
vsize: 59056
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 28140 0 0 0 69925 79 0 0 25 0 1 0 805877741 60608512 12682 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14797 12682 300 300 0 14497 0
vsize: 59188
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 28153 0 0 0 70925 79 0 0 25 0 1 0 805877741 60608512 12695 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14797 12695 300 300 0 14497 0
vsize: 59188
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 28389 0 0 0 71924 80 0 0 25 0 1 0 805877741 60747776 12715 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14831 12715 300 300 0 14531 0
vsize: 59324
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 28616 0 0 0 72924 81 0 0 25 0 1 0 805877741 60747776 12726 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14831 12726 300 300 0 14531 0
vsize: 59324
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 28839 0 0 0 73922 82 0 0 25 0 1 0 805877741 60747776 12733 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14831 12733 300 300 0 14531 0
vsize: 59324
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29073 0 0 0 74922 82 0 0 25 0 1 0 805877741 60747776 12751 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14831 12751 300 300 0 14531 0
vsize: 59324
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29083 0 0 0 75921 83 0 0 25 0 1 0 805877741 60887040 12761 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14865 12761 300 300 0 14565 0
vsize: 59460
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29309 0 0 0 76921 84 0 0 25 0 1 0 805877741 60887040 12771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14865 12771 300 300 0 14565 0
vsize: 59460
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29533 0 0 0 77921 84 0 0 25 0 1 0 805877741 60887040 12779 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14865 12779 300 300 0 14565 0
vsize: 59460
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29762 0 0 0 78920 85 0 0 25 0 1 0 805877741 60887040 12792 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14865 12792 300 300 0 14565 0
vsize: 59460
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29772 0 0 0 79920 85 0 0 25 0 1 0 805877741 61022208 12802 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14898 12802 300 300 0 14598 0
vsize: 59592
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 29999 0 0 0 80920 85 0 0 25 0 1 0 805877741 61022208 12813 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14898 12813 300 300 0 14598 0
vsize: 59592
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 30225 0 0 0 81919 86 0 0 25 0 1 0 805877741 61022208 12823 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14898 12823 300 300 0 14598 0
vsize: 59592
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 30454 0 0 0 82919 87 0 0 25 0 1 0 805877741 61022208 12836 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14898 12836 300 300 0 14598 0
vsize: 59592
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 30464 0 0 0 83919 87 0 0 25 0 1 0 805877741 61157376 12846 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14931 12846 300 300 0 14631 0
vsize: 59724
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 30698 0 0 0 84918 88 0 0 25 0 1 0 805877741 61157376 12864 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14931 12864 300 300 0 14631 0
vsize: 59724
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 30927 0 0 0 85918 89 0 0 25 0 1 0 805877741 61157376 12877 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14931 12877 300 300 0 14631 0
vsize: 59724
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31157 0 0 0 86917 90 0 0 25 0 1 0 805877741 61292544 12891 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14964 12891 300 300 0 14664 0
vsize: 59856
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31163 0 0 0 87917 90 0 0 25 0 1 0 805877741 61292544 12897 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14964 12897 300 300 0 14664 0
vsize: 59856
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31387 0 0 0 88916 91 0 0 25 0 1 0 805877741 61292544 12905 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14964 12905 300 300 0 14664 0
vsize: 59856
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31613 0 0 0 89915 91 0 0 25 0 1 0 805877741 61292544 12915 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14964 12915 300 300 0 14664 0
vsize: 59856
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31838 0 0 0 90915 92 0 0 25 0 1 0 805877741 61292544 12924 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14964 12924 300 300 0 14664 0
vsize: 59856
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 31848 0 0 0 91914 93 0 0 25 0 1 0 805877741 61427712 12934 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14997 12934 300 300 0 14697 0
vsize: 59988
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 32086 0 0 0 92914 94 0 0 25 0 1 0 805877741 61427712 12956 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14997 12956 300 300 0 14697 0
vsize: 59988
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 32312 0 0 0 93913 95 0 0 25 0 1 0 805877741 61427712 12966 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14997 12966 300 300 0 14697 0
vsize: 59988
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 32539 0 0 0 94912 96 0 0 25 0 1 0 805877741 61427712 12977 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14997 12977 300 300 0 14697 0
vsize: 59988
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 32769 0 0 0 95911 97 0 0 25 0 1 0 805877741 61554688 12991 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15028 12991 300 300 0 14728 0
vsize: 60112
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 32998 0 0 0 96910 98 0 0 25 0 1 0 805877741 61554688 13004 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15028 13004 300 300 0 14728 0
vsize: 60112
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33227 0 0 0 97910 99 0 0 25 0 1 0 805877741 62439424 13233 4294967295 134512640 135726644 3221224592 3221222864 134770878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15244 13233 300 300 0 14944 0
vsize: 60976
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33236 0 0 0 98910 99 0 0 25 0 1 0 805877741 61689856 13026 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15061 13026 300 300 0 14761 0
vsize: 60244
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33467 0 0 0 99909 100 0 0 25 0 1 0 805877741 61689856 13041 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15061 13041 300 300 0 14761 0
vsize: 60244
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33705 0 0 0 100908 101 0 0 25 0 1 0 805877741 61829120 13063 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 13063 300 300 0 14795 0
vsize: 60380
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33719 0 0 0 101908 101 0 0 25 0 1 0 805877741 61829120 13077 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 13077 300 300 0 14795 0
vsize: 60380
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 33938 0 0 0 102907 102 0 0 25 0 1 0 805877741 61829120 13080 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 13080 300 300 0 14795 0
vsize: 60380
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 34164 0 0 0 103907 103 0 0 25 0 1 0 805877741 61829120 13090 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 13090 300 300 0 14795 0
vsize: 60380
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 34386 0 0 0 104906 104 0 0 25 0 1 0 805877741 61829120 13096 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 13096 300 300 0 14795 0
vsize: 60380
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 34615 0 0 0 105905 105 0 0 25 0 1 0 805877741 61968384 13109 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15129 13109 300 300 0 14829 0
vsize: 60516
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 34649 0 0 0 106905 105 0 0 25 0 1 0 805877741 62107648 13143 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15163 13143 300 300 0 14863 0
vsize: 60652
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 34871 0 0 0 107904 106 0 0 25 0 1 0 805877741 62107648 13149 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15163 13149 300 300 0 14863 0
vsize: 60652
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 35093 0 0 0 108903 107 0 0 25 0 1 0 805877741 62107648 13155 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15163 13155 300 300 0 14863 0
vsize: 60652
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 35321 0 0 0 109903 108 0 0 25 0 1 0 805877741 62107648 13167 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15163 13167 300 300 0 14863 0
vsize: 60652
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 35327 0 0 0 110903 108 0 0 25 0 1 0 805877741 62107648 13173 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15163 13173 300 300 0 14863 0
vsize: 60652
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 35552 0 0 0 111902 109 0 0 25 0 1 0 805877741 62271488 13182 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15203 13182 300 300 0 14903 0
vsize: 60812
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 35774 0 0 0 112902 109 0 0 25 0 1 0 805877741 62271488 13188 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15203 13188 300 300 0 14903 0
vsize: 60812
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 36020 0 0 0 113901 110 0 0 25 0 1 0 805877741 62271488 13218 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15203 13218 300 300 0 14903 0
vsize: 60812
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 36274 0 0 0 114901 111 0 0 25 0 1 0 805877741 62410752 13256 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15237 13256 300 300 0 14937 0
vsize: 60948
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 36320 0 0 0 115900 111 0 0 25 0 1 0 805877741 62410752 13302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15237 13302 300 300 0 14937 0
vsize: 60948
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 36552 0 0 0 116900 112 0 0 25 0 1 0 805877741 62410752 13318 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15237 13318 300 300 0 14937 0
vsize: 60948
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 36778 0 0 0 117899 113 0 0 25 0 1 0 805877741 62410752 13328 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15237 13328 300 300 0 14937 0
vsize: 60948
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 37006 0 0 0 118898 114 0 0 25 0 1 0 805877741 63451136 13556 4294967295 134512640 135726644 3221224592 3221222760 134761838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15491 13556 300 300 0 15191 0
vsize: 61964
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 18051
Raw data (stat): 18051 (pb2sat) R 18050 7266 7265 0 -1 0 37033 0 0 0 119898 114 0 0 25 0 1 0 805877741 62566400 13367 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15275 13367 300 300 0 14975 0
vsize: 61100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.5 s]
Raw data (loadavg): 0.99 0.97 0.88 1/54 18051
Raw data (stat): 18051 (pb2sat) Z 18050 7266 7265 0 -1 12 37034 0 0 0 119943 117 0 0 25 0 1 0 805877741 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.5
CPU time (s): 1200.61
CPU user time (s): 1199.43
CPU system time (s): 1.17582
CPU usage (%): 100.009
Max. virtual memory (Kb): 61964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	27
#### END VERIFIER DATA ####