PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
MD5SUM	00d830716ad6728e4af33fe898d69922
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	261
Optimality of the best value was proved	NO
Number of terms in the objective function	558
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	558
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	558
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03284
Number of variables	558
Total number of constraints	3551
Number of constraints which are clauses	3551
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 34806

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        713760 kB
Buffers:         35220 kB
Cached:         264972 kB
SwapCached:        504 kB
Active:          17008 kB
Inactive:       285532 kB
HighTotal:      131008 kB
HighFree:        37548 kB
LowTotal:       903652 kB
LowFree:        676212 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            12604 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:54:54 (client local time) WITH STATUS 10 IN 1200.91 SECONDS
stats: 24079 0 1200.91 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+16.3743 s]  setting bit 9 to 0
c got solution with objective value: 279
c [startup+23.7448 s]  setting bit 8 to 1

Decision: 77190/157092	Time: 46.8209/86400
Decision: 79202/157092	Time: 180.788/86400c [startup+287.669 s]  setting bit 7 to 0

Decision: 54551/157092	Time: 29.3785/86400
Decision: 54551/157092	Time: 50.0764/86400
Decision: 55212/157092	Time: 92.6549/86400
Decision: 55546/157092	Time: 130.871/86400
Decision: 55879/157092	Time: 163.414/86400
Decision: 55879/157092	Time: 199.482/86400
Decision: 56214/157092	Time: 240.668/86400
Decision: 56214/157092	Time: 270.848/86400
Decision: 56549/157092	Time: 303.268/86400
Decision: 57226/157092	Time: 334.868/86400
Decision: 57578/157092	Time: 383.122/86400
Decision: 61717/157092	Time: 448.183/86400c [startup+756.362 s]  setting bit 6 to 0
c got solution with objective value: 270
c [startup+757.845 s]  setting bit 5 to 1

Decision: 50702/157092	Time: 25.0512/86400
Decision: 51185/157092	Time: 64.9891/86400
Decision: 51502/157092	Time: 82.5984/86400
Decision: 51502/157092	Time: 102.315/86400
Decision: 51824/157092	Time: 124.164/86400
Decision: 52785/157092	Time: 140.46/86400
Decision: 52785/157092	Time: 164.686/86400
Decision: 53337/157092	Time: 186.966/86400
Decision: 53337/157092	Time: 214.014/86400
Decision: 53338/157092	Time: 236.669/86400
Decision: 53341/157092	Time: 276.858/86400
Decision: 53341/157092	Time: 296.951/86400
Decision: 54084/157092	Time: 323.087/86400
Decision: 54085/157092	Time: 344.791/86400
Decision: 54085/157092	Time: 363.573/86400
Decision: 54407/157092	Time: 385.614/86400
Decision: 54729/157092	Time: 410.679/86400
Decision: 54729/157092	Time: 431.583/86400s SATISFIABLE
v x1 -x10 x100 -x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 x13 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 x21 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 x303 -x304 x305 -x306 -x307 x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 -x329 x33 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 x36 -x360 -x361 x362 x363 -x364 x365 -x366 x367 -x368 x369 x37 -x370 x371 -x372 x373 -x374 -x375 x376 -x377 x378 x379 -x38 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x39 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x4 -x40 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x41 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 -x42 x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 -x429 x43 x430 x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x44 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x45 x450 -x451 x452 x453 -x454 -x455 x456 -x457 x458 -x459 -x46 x460 x461 -x462 -x463 x464 x465 -x466 -x467 x468 -x469 -x47 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x48 x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 -x49 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 -x5 x50 x500 -x501 -x502 x503 -x504 -x505 x506 x507 -x508 -x509 x51 x510 -x511 x512 x513 -x514 -x515 x516 x517 -x518 -x519 -x52 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 x529 x53 -x530 -x531 x532 -x533 x534 -x535 x536 x537 -x538 -x539 -x54 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 -x549 x55 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 -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.98 0.96 0.75 1/54 28783
Raw data (stat): 28783 (runsolver) R 28782 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805892444 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.98 0.96 0.75 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 25809 0 0 0 941 57 0 0 25 0 1 0 805892444 86052864 14526 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21009 14526 300 300 0 20709 0
vsize: 84036
[startup+20.0014 s]
Raw data (loadavg): 0.98 0.96 0.75 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 26307 0 0 0 1939 59 0 0 25 0 1 0 805892444 86773760 14717 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21185 14717 300 300 0 20885 0
vsize: 84740
[startup+30.0015 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 26997 0 0 0 2937 60 0 0 25 0 1 0 805892444 87969792 14936 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21477 14936 300 300 0 21177 0
vsize: 85908
[startup+40.0014 s]
Raw data (loadavg): 0.99 0.96 0.76 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27074 0 0 0 3937 61 0 0 25 0 1 0 805892444 88100864 14980 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21509 14980 300 300 0 21209 0
vsize: 86036
[startup+50.0019 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27126 0 0 0 4937 61 0 0 25 0 1 0 805892444 88231936 14999 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21541 14999 300 300 0 21241 0
vsize: 86164
[startup+60.002 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27149 0 0 0 5937 61 0 0 25 0 1 0 805892444 88231936 15022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21541 15022 300 300 0 21241 0
vsize: 86164
[startup+70.0026 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27471 0 0 0 6937 62 0 0 25 0 1 0 805892444 88231936 15037 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21541 15037 300 300 0 21241 0
vsize: 86164
[startup+80.0033 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27481 0 0 0 7937 62 0 0 25 0 1 0 805892444 88231936 15047 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21541 15047 300 300 0 21241 0
vsize: 86164
[startup+90.0038 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27560 0 0 0 8937 62 0 0 25 0 1 0 805892444 88629248 15061 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21638 15061 300 300 0 21338 0
vsize: 86552
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27575 0 0 0 9937 62 0 0 25 0 1 0 805892444 88629248 15076 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21638 15076 300 300 0 21338 0
vsize: 86552
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27711 0 0 0 10937 62 0 0 25 0 1 0 805892444 89022464 15114 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21734 15114 300 300 0 21434 0
vsize: 86936
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27740 0 0 0 11937 62 0 0 25 0 1 0 805892444 89157632 15143 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15143 300 300 0 21467 0
vsize: 87068
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27773 0 0 0 12937 63 0 0 25 0 1 0 805892444 89157632 15176 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15176 300 300 0 21467 0
vsize: 87068
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27786 0 0 0 13937 63 0 0 25 0 1 0 805892444 89157632 15189 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15189 300 300 0 21467 0
vsize: 87068
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27796 0 0 0 14938 63 0 0 25 0 1 0 805892444 89157632 15199 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15199 300 300 0 21467 0
vsize: 87068
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27813 0 0 0 15937 63 0 0 25 0 1 0 805892444 89157632 15216 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15216 300 300 0 21467 0
vsize: 87068
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27829 0 0 0 16938 63 0 0 25 0 1 0 805892444 89157632 15232 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21767 15232 300 300 0 21467 0
vsize: 87068
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27846 0 0 0 17938 63 0 0 25 0 1 0 805892444 89292800 15249 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15249 300 300 0 21500 0
vsize: 87200
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27862 0 0 0 18938 63 0 0 25 0 1 0 805892444 89292800 15265 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15265 300 300 0 21500 0
vsize: 87200
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 27884 0 0 0 19938 63 0 0 25 0 1 0 805892444 89292800 15287 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15287 300 300 0 21500 0
vsize: 87200
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28203 0 0 0 20937 64 0 0 25 0 1 0 805892444 89292800 15299 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21800 15299 300 300 0 21500 0
vsize: 87200
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28218 0 0 0 21936 64 0 0 25 0 1 0 805892444 89292800 15314 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15314 300 300 0 21500 0
vsize: 87200
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28231 0 0 0 22937 64 0 0 25 0 1 0 805892444 89292800 15327 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15327 300 300 0 21500 0
vsize: 87200
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28245 0 0 0 23936 65 0 0 25 0 1 0 805892444 89292800 15341 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15341 300 300 0 21500 0
vsize: 87200
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28260 0 0 0 24937 65 0 0 25 0 1 0 805892444 89292800 15356 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21800 15356 300 300 0 21500 0
vsize: 87200
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28281 0 0 0 25937 65 0 0 25 0 1 0 805892444 89432064 15377 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15377 300 300 0 21534 0
vsize: 87336
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28292 0 0 0 26936 65 0 0 25 0 1 0 805892444 89432064 15388 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15388 300 300 0 21534 0
vsize: 87336
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28308 0 0 0 27937 65 0 0 25 0 1 0 805892444 89432064 15404 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15404 300 300 0 21534 0
vsize: 87336
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28633 0 0 0 28936 66 0 0 25 0 1 0 805892444 89432064 15422 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15422 300 300 0 21534 0
vsize: 87336
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28694 0 0 0 29936 66 0 0 25 0 1 0 805892444 89432064 15483 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15483 300 300 0 21534 0
vsize: 87336
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 28721 0 0 0 30935 67 0 0 25 0 1 0 805892444 89432064 15510 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21834 15510 300 300 0 21534 0
vsize: 87336
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29120 0 0 0 31934 68 0 0 25 0 1 0 805892444 89726976 15569 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21906 15569 300 300 0 21606 0
vsize: 87624
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29376 0 0 0 32934 68 0 0 25 0 1 0 805892444 90619904 15760 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22124 15760 300 300 0 21824 0
vsize: 88496
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29690 0 0 0 33933 70 0 0 25 0 1 0 805892444 90619904 15767 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22124 15767 300 300 0 21824 0
vsize: 88496
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29729 0 0 0 34933 70 0 0 25 0 1 0 805892444 90619904 15806 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22124 15806 300 300 0 21824 0
vsize: 88496
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29831 0 0 0 35933 70 0 0 25 0 1 0 805892444 90882048 15843 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22188 15843 300 300 0 21888 0
vsize: 88752
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 29880 0 0 0 36933 70 0 0 25 0 1 0 805892444 91021312 15892 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22222 15892 300 300 0 21922 0
vsize: 88888
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 30166 0 0 0 37932 71 0 0 25 0 1 0 805892444 92278784 16178 4294967295 134512640 135726644 3221224592 3221222928 134763605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22529 16186 300 300 0 22229 0
vsize: 90116
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 30250 0 0 0 38932 71 0 0 25 0 1 0 805892444 91021312 15955 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22222 15955 300 300 0 21922 0
vsize: 88888
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 30288 0 0 0 39932 71 0 0 25 0 1 0 805892444 91021312 15993 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22222 15993 300 300 0 21922 0
vsize: 88888
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 30707 0 0 0 40931 72 0 0 25 0 1 0 805892444 92372992 16297 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16297 300 300 0 22252 0
vsize: 90208
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31027 0 0 0 41931 73 0 0 25 0 1 0 805892444 92372992 16310 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16310 300 300 0 22252 0
vsize: 90208
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31054 0 0 0 42931 73 0 0 25 0 1 0 805892444 92372992 16337 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16337 300 300 0 22252 0
vsize: 90208
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31084 0 0 0 43931 74 0 0 25 0 1 0 805892444 92372992 16367 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16367 300 300 0 22252 0
vsize: 90208
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31114 0 0 0 44931 74 0 0 25 0 1 0 805892444 92372992 16397 4294967295 134512640 135726644 3221224592 3221222816 134810189 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16397 300 300 0 22252 0
vsize: 90208
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31439 0 0 0 45930 75 0 0 25 0 1 0 805892444 92372992 16415 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16415 300 300 0 22252 0
vsize: 90208
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31468 0 0 0 46930 75 0 0 25 0 1 0 805892444 92372992 16444 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16444 300 300 0 22252 0
vsize: 90208
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31486 0 0 0 47930 75 0 0 25 0 1 0 805892444 92372992 16462 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16462 300 300 0 22252 0
vsize: 90208
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 31806 0 0 0 48929 77 0 0 25 0 1 0 805892444 92372992 16475 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22552 16475 300 300 0 22252 0
vsize: 90208
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32192 0 0 0 49928 77 0 0 25 0 1 0 805892444 94011392 16795 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16795 300 300 0 22652 0
vsize: 91808
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32215 0 0 0 50928 78 0 0 25 0 1 0 805892444 94011392 16818 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16818 300 300 0 22652 0
vsize: 91808
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32223 0 0 0 51928 78 0 0 25 0 1 0 805892444 94011392 16826 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16826 300 300 0 22652 0
vsize: 91808
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32547 0 0 0 52927 79 0 0 25 0 1 0 805892444 94011392 16843 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16843 300 300 0 22652 0
vsize: 91808
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32578 0 0 0 53928 79 0 0 25 0 1 0 805892444 94011392 16874 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16874 300 300 0 22652 0
vsize: 91808
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32599 0 0 0 54928 79 0 0 25 0 1 0 805892444 94011392 16895 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16895 300 300 0 22652 0
vsize: 91808
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32931 0 0 0 55927 80 0 0 25 0 1 0 805892444 94011392 16920 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16920 300 300 0 22652 0
vsize: 91808
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32952 0 0 0 56927 80 0 0 25 0 1 0 805892444 94011392 16941 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16941 300 300 0 22652 0
vsize: 91808
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 32995 0 0 0 57927 80 0 0 25 0 1 0 805892444 94011392 16984 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 16984 300 300 0 22652 0
vsize: 91808
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33023 0 0 0 58927 80 0 0 25 0 1 0 805892444 94011392 17012 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17012 300 300 0 22652 0
vsize: 91808
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33347 0 0 0 59926 81 0 0 25 0 1 0 805892444 94011392 17029 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17029 300 300 0 22652 0
vsize: 91808
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33382 0 0 0 60926 82 0 0 25 0 1 0 805892444 94011392 17064 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17064 300 300 0 22652 0
vsize: 91808
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33417 0 0 0 61926 82 0 0 25 0 1 0 805892444 94011392 17099 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17099 300 300 0 22652 0
vsize: 91808
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33741 0 0 0 62925 83 0 0 25 0 1 0 805892444 94011392 17116 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17116 300 300 0 22652 0
vsize: 91808
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33762 0 0 0 63925 83 0 0 25 0 1 0 805892444 94011392 17137 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17137 300 300 0 22652 0
vsize: 91808
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33792 0 0 0 64925 83 0 0 25 0 1 0 805892444 94011392 17167 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17167 300 300 0 22652 0
vsize: 91808
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 33824 0 0 0 65925 84 0 0 25 0 1 0 805892444 94011392 17199 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22952 17199 300 300 0 22652 0
vsize: 91808
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34159 0 0 0 66924 84 0 0 25 0 1 0 805892444 95268864 17534 4294967295 134512640 135726644 3221224592 3221222736 134765182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23259 17534 300 300 0 22959 0
vsize: 93036
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34169 0 0 0 67924 85 0 0 25 0 1 0 805892444 94154752 17237 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17237 300 300 0 22687 0
vsize: 91948
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34173 0 0 0 68925 85 0 0 25 0 1 0 805892444 94154752 17241 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17241 300 300 0 22687 0
vsize: 91948
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34184 0 0 0 69925 85 0 0 25 0 1 0 805892444 94154752 17252 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17252 300 300 0 22687 0
vsize: 91948
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34189 0 0 0 70925 85 0 0 25 0 1 0 805892444 94154752 17257 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17257 300 300 0 22687 0
vsize: 91948
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34193 0 0 0 71925 85 0 0 25 0 1 0 805892444 94154752 17261 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17261 300 300 0 22687 0
vsize: 91948
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34195 0 0 0 72925 85 0 0 25 0 1 0 805892444 94154752 17263 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17263 300 300 0 22687 0
vsize: 91948
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34508 0 0 0 73924 86 0 0 25 0 1 0 805892444 94154752 17269 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17269 300 300 0 22687 0
vsize: 91948
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 34524 0 0 0 74924 86 0 0 25 0 1 0 805892444 94294016 17285 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17285 300 300 0 22721 0
vsize: 92084
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35139 0 0 0 75923 87 0 0 25 0 1 0 805892444 94294016 17286 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17286 300 300 0 22721 0
vsize: 92084
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35145 0 0 0 76923 87 0 0 25 0 1 0 805892444 94294016 17292 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17292 300 300 0 22721 0
vsize: 92084
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35186 0 0 0 77923 88 0 0 25 0 1 0 805892444 94294016 17333 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17333 300 300 0 22721 0
vsize: 92084
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35508 0 0 0 78923 88 0 0 25 0 1 0 805892444 94294016 17348 4294967295 134512640 135726644 3221224592 3221222840 135281023 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17348 300 300 0 22721 0
vsize: 92084
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35522 0 0 0 79922 89 0 0 25 0 1 0 805892444 94294016 17362 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17362 300 300 0 22721 0
vsize: 92084
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35530 0 0 0 80922 89 0 0 25 0 1 0 805892444 94294016 17370 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17370 300 300 0 22721 0
vsize: 92084
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35532 0 0 0 81923 89 0 0 25 0 1 0 805892444 94294016 17372 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17372 300 300 0 22721 0
vsize: 92084
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35843 0 0 0 82922 90 0 0 25 0 1 0 805892444 94294016 17376 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17376 300 300 0 22721 0
vsize: 92084
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 35849 0 0 0 83922 90 0 0 25 0 1 0 805892444 94294016 17382 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23021 17382 300 300 0 22721 0
vsize: 92084
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 36164 0 0 0 84922 90 0 0 25 0 1 0 805892444 94429184 17390 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23054 17390 300 300 0 22754 0
vsize: 92216
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 36487 0 0 0 85921 91 0 0 25 0 1 0 805892444 95686656 17713 4294967295 134512640 135726644 3221224592 3221222752 134765177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23361 17713 300 300 0 23061 0
vsize: 93444
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 36491 0 0 0 86921 91 0 0 25 0 1 0 805892444 94429184 17410 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23054 17410 300 300 0 22754 0
vsize: 92216
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 36518 0 0 0 87921 92 0 0 25 0 1 0 805892444 94429184 17437 4294967295 134512640 135726644 3221224592 3221223104 135278614 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23054 17437 300 300 0 22754 0
vsize: 92216
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 36886 0 0 0 88920 93 0 0 25 0 1 0 805892444 94564352 17498 4294967295 134512640 135726644 3221224592 3221223088 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23087 17498 300 300 0 22787 0
vsize: 92348
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 37252 0 0 0 89919 94 0 0 25 0 1 0 805892444 94564352 17557 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23087 17557 300 300 0 22787 0
vsize: 92348
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 37316 0 0 0 90919 94 0 0 25 0 1 0 805892444 94707712 17621 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23122 17621 300 300 0 22822 0
vsize: 92488
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 37357 0 0 0 91919 94 0 0 25 0 1 0 805892444 94707712 17662 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23122 17662 300 300 0 22822 0
vsize: 92488
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 37709 0 0 0 92918 95 0 0 25 0 1 0 805892444 94707712 17707 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23122 17707 300 300 0 22822 0
vsize: 92488
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 37777 0 0 0 93918 95 0 0 25 0 1 0 805892444 94707712 17775 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23122 17775 300 300 0 22822 0
vsize: 92488
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 38164 0 0 0 94917 97 0 0 25 0 1 0 805892444 94863360 17855 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23160 17855 300 300 0 22860 0
vsize: 92640
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 39165 0 0 0 95916 98 0 0 25 0 1 0 805892444 98799616 18667 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24121 18667 300 300 0 23821 0
vsize: 96484
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 40820 0 0 0 96913 101 0 0 25 0 1 0 805892444 106127360 20028 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25910 20028 300 300 0 25610 0
vsize: 103640
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41292 0 0 0 97911 103 0 0 25 0 1 0 805892444 106655744 20193 4294967295 134512640 135726644 3221224592 3221223088 134744217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20193 300 300 0 25739 0
vsize: 104156
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41343 0 0 0 98911 103 0 0 25 0 1 0 805892444 106655744 20244 4294967295 134512640 135726644 3221224592 3221223216 134744526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20244 300 300 0 25739 0
vsize: 104156
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41687 0 0 0 99911 104 0 0 25 0 1 0 805892444 106655744 20281 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20281 300 300 0 25739 0
vsize: 104156
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41743 0 0 0 100911 104 0 0 25 0 1 0 805892444 106655744 20337 4294967295 134512640 135726644 3221224592 3221223088 134744246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20337 300 300 0 25739 0
vsize: 104156
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41770 0 0 0 101911 104 0 0 25 0 1 0 805892444 106655744 20364 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20364 300 300 0 25739 0
vsize: 104156
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 41841 0 0 0 102910 105 0 0 25 0 1 0 805892444 106655744 20435 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20435 300 300 0 25739 0
vsize: 104156
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42165 0 0 0 103909 106 0 0 25 0 1 0 805892444 106655744 20452 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20452 300 300 0 25739 0
vsize: 104156
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42167 0 0 0 104909 106 0 0 25 0 1 0 805892444 106655744 20454 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20454 300 300 0 25739 0
vsize: 104156
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42476 0 0 0 105909 107 0 0 25 0 1 0 805892444 106655744 20456 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20456 300 300 0 25739 0
vsize: 104156
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42496 0 0 0 106909 107 0 0 25 0 1 0 805892444 106655744 20476 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20476 300 300 0 25739 0
vsize: 104156
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42568 0 0 0 107908 108 0 0 25 0 1 0 805892444 106655744 20548 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20548 300 300 0 25739 0
vsize: 104156
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42917 0 0 0 108908 109 0 0 25 0 1 0 805892444 106655744 20590 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26039 20590 300 300 0 25739 0
vsize: 104156
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 42985 0 0 0 109907 109 0 0 25 0 1 0 805892444 123432960 20658 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30135 20658 300 300 0 29835 0
vsize: 120540
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 43368 0 0 0 110906 111 0 0 25 0 1 0 805892444 123432960 20734 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30135 20734 300 300 0 29835 0
vsize: 120540
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 43440 0 0 0 111906 111 0 0 25 0 1 0 805892444 123432960 20806 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30135 20806 300 300 0 29835 0
vsize: 120540
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 43864 0 0 0 112905 112 0 0 25 0 1 0 805892444 123768832 20923 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30217 20923 300 300 0 29917 0
vsize: 120868
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 44004 0 0 0 113905 113 0 0 25 0 1 0 805892444 124162048 21063 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21063 300 300 0 30013 0
vsize: 121252
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 44330 0 0 0 114904 113 0 0 25 0 1 0 805892444 124162048 21082 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21082 300 300 0 30013 0
vsize: 121252
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 44332 0 0 0 115904 113 0 0 25 0 1 0 805892444 124162048 21084 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21084 300 300 0 30013 0
vsize: 121252
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 44641 0 0 0 116904 114 0 0 25 0 1 0 805892444 124162048 21086 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21086 300 300 0 30013 0
vsize: 121252
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 44692 0 0 0 117903 115 0 0 25 0 1 0 805892444 124162048 21137 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21137 300 300 0 30013 0
vsize: 121252
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 45056 0 0 0 118902 116 0 0 25 0 1 0 805892444 124162048 21194 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21194 300 300 0 30013 0
vsize: 121252
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28783
Raw data (stat): 28783 (pb2sat) R 28782 21152 21151 0 -1 0 45139 0 0 0 119902 116 0 0 25 0 1 0 805892444 124162048 21277 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30313 21277 300 300 0 30013 0
vsize: 121252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.75 s]
Raw data (loadavg): 0.99 0.97 0.90 1/54 28783
Raw data (stat): 28783 (pb2sat) Z 28782 21152 21151 0 -1 12 45140 0 0 0 119970 120 0 0 25 0 1 0 805892444 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.75
CPU time (s): 1200.91
CPU user time (s): 1199.71
CPU system time (s): 1.20782
CPU usage (%): 100.013
Max. virtual memory (Kb): 121252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	270
#### END VERIFIER DATA ####