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-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
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	373
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	373
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.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 34780

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 10:31:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23999 boxname=wulflinc11 idbench=73 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc11/normalized-sao2.b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-sao2.b.opb
IDLAUNCH: 23999
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        938044 kB
Buffers:         33288 kB
Cached:          41468 kB
SwapCached:        860 kB
Active:          31180 kB
Inactive:        45760 kB
HighTotal:      131008 kB
HighFree:        86436 kB
LowTotal:       903652 kB
LowFree:        851608 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14124 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:51:13 (client local time) WITH STATUS 10 IN 1200.51 SECONDS
stats: 23999 0 1200.51 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: 117
c [startup+7.35366 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+7.60705 s]  setting bit 7 to 0
c got solution with objective value: 53
c [startup+9.49331 s]  setting bit 6 to 1

Decision: 65612/70509	Time: 9.53055/86400
Decision: 65622/70509	Time: 21.1578/86400
Decision: 65622/70509	Time: 28.5697/86400
Decision: 65622/70509	Time: 36.3585/86400
Decision: 65622/70509	Time: 44.2243/86400
Decision: 65622/70509	Time: 52.9789/86400
Decision: 65622/70509	Time: 61.2867/86400
Decision: 65622/70509	Time: 68.7615/86400
Decision: 65622/70509	Time: 75.4795/86400
Decision: 65622/70509	Time: 85.348/86400
Decision: 65622/70509	Time: 93.1638/86400
Decision: 65622/70509	Time: 102.253/86400
Decision: 65622/70509	Time: 109.853/86400
Decision: 65622/70509	Time: 119.283/86400
Decision: 65622/70509	Time: 127.34/86400
Decision: 65622/70509	Time: 135.609/86400
Decision: 65622/70509	Time: 144.171/86400
Decision: 65622/70509	Time: 153.288/86400
Decision: 65622/70509	Time: 161.98/86400
Decision: 65622/70509	Time: 170.671/86400
Decision: 65622/70509	Time: 179.498/86400
Decision: 65626/70509	Time: 192.296/86400
Decision: 65626/70509	Time: 202.472/86400
Decision: 65626/70509	Time: 212.602/86400
Decision: 65626/70509	Time: 221.509/86400
Decision: 65626/70509	Time: 231.734/86400
Decision: 65626/70509	Time: 239.584/86400
Decision: 65626/70509	Time: 249.704/86400
Decision: 65626/70509	Time: 258.246/86400
Decision: 65626/70509	Time: 267.06/86400
Decision: 65626/70509	Time: 276.289/86400
Decision: 65626/70509	Time: 285.053/86400
Decision: 65626/70509	Time: 294.395/86400
Decision: 65626/70509	Time: 303.418/86400
Decision: 65626/70509	Time: 313.291/86400
Decision: 65626/70509	Time: 321.568/86400
Decision: 65626/70509	Time: 331.971/86400
Decision: 65626/70509	Time: 340.248/86400
Decision: 65626/70509	Time: 349.182/86400
Decision: 65626/70509	Time: 358.006/86400
Decision: 65626/70509	Time: 367.336/86400
Decision: 65626/70509	Time: 375.149/86400
Decision: 65626/70509	Time: 384.47/86400
Decision: 65626/70509	Time: 391.41/86400
Decision: 65626/70509	Time: 401.85/86400
Decision: 65626/70509	Time: 411.103/86400
Decision: 65626/70509	Time: 420.33/86400
Decision: 65626/70509	Time: 429.778/86400
Decision: 65626/70509	Time: 439.858/86400
Decision: 65626/70509	Time: 448.351/86400
Decision: 65626/70509	Time: 459.025/86400
Decision: 65626/70509	Time: 466.905/86400
Decision: 65626/70509	Time: 476.373/86400
Decision: 65626/70509	Time: 485.857/86400
Decision: 65626/70509	Time: 494.924/86400
Decision: 65626/70509	Time: 505.731/86400
Decision: 65626/70509	Time: 514.37/86400
Decision: 65626/70509	Time: 524.457/86400
Decision: 65626/70509	Time: 533.153/86400
Decision: 65626/70509	Time: 541.276/86400
Decision: 65626/70509	Time: 552.15/86400
Decision: 65626/70509	Time: 562.068/86400
Decision: 65626/70509	Time: 571.586/86400
Decision: 65626/70509	Time: 581.127/86400
Decision: 65626/70509	Time: 589.99/86400
Decision: 65626/70509	Time: 599.297/86400
Decision: 65626/70509	Time: 608.668/86400
Decision: 65626/70509	Time: 617.455/86400
Decision: 65626/70509	Time: 626.901/86400
Decision: 65626/70509	Time: 636.875/86400
Decision: 65626/70509	Time: 646.415/86400
Decision: 65626/70509	Time: 656.222/86400
Decision: 65626/70509	Time: 666.229/86400
Decision: 65626/70509	Time: 676.633/86400
Decision: 65626/70509	Time: 687.474/86400
Decision: 65626/70509	Time: 697.557/86400
Decision: 65626/70509	Time: 707.304/86400
Decision: 65626/70509	Time: 717.699/86400
Decision: 65626/70509	Time: 727.626/86400
Decision: 65626/70509	Time: 736.21/86400
Decision: 66443/70509	Time: 753.516/86400
Decision: 66687/70509	Time: 766.465/86400
Decision: 66687/70509	Time: 775.805/86400
Decision: 66687/70509	Time: 785.664/86400
Decision: 66687/70509	Time: 795.912/86400
Decision: 66687/70509	Time: 806.212/86400
Decision: 66687/70509	Time: 816.415/86400
Decision: 66687/70509	Time: 825.275/86400
Decision: 66687/70509	Time: 835.103/86400
Decision: 66687/70509	Time: 844.889/86400
Decision: 66687/70509	Time: 855.156/86400
Decision: 66687/70509	Time: 865.347/86400
Decision: 66687/70509	Time: 875.246/86400
Decision: 66687/70509	Time: 885.4/86400
Decision: 66687/70509	Time: 896.571/86400
Decision: 66687/70509	Time: 906.62/86400
Decision: 66688/70509	Time: 923.98/86400
Decision: 66688/70509	Time: 934.069/86400
Decision: 66688/70509	Time: 944.094/86400
Decision: 66688/70509	Time: 954.14/86400
Decision: 66688/70509	Time: 963.786/86400
Decision: 66689/70509	Time: 973.811/86400
Decision: 66689/70509	Time: 984.151/86400
Decision: 66689/70509	Time: 993.23/86400
Decision: 66689/70509	Time: 1002.68/86400
Decision: 66689/70509	Time: 1012.52/86400
Decision: 66689/70509	Time: 1022.11/86400
Decision: 66690/70509	Time: 1040.69/86400
Decision: 66690/70509	Time: 1050.12/86400
Decision: 66694/70509	Time: 1084.08/86400
Decision: 66694/70509	Time: 1094.63/86400
Decision: 66694/70509	Time: 1104.9/86400
Decision: 66694/70509	Time: 1115.19/86400
Decision: 66694/70509	Time: 1125.36/86400
Decision: 66699/70509	Time: 1145.9/86400c [startup+1186.28 s]  setting bit 5 to 0
c got solution with objective value: 37
c [startup+1189.9 s]  setting bit 4 to 1
s SATISFIABLE
v -x1 -x10 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x12 x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 x170 -x171 x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x18 x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 x304 -x305 x306 -x307 -x308 -x309 -x31 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 x319 -x32 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 x369 -x37 x370 -x371 -x372 -x373 -x38 -x39 -x4 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x7 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x9 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.94 0.69 1/54 1734
Raw data (stat): 1734 (runsolver) R 1733 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805874929 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 0 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.89 0.94 0.70 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 12820 0 0 0 967 31 0 0 25 0 1 0 805874929 39092224 6883 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9544 6883 300 300 0 9244 0
vsize: 38176
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.94 0.70 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13058 0 0 0 1966 32 0 0 25 0 1 0 805874929 39620608 6983 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9673 6983 300 300 0 9373 0
vsize: 38692
[startup+30.0019 s]
Raw data (loadavg): 0.92 0.94 0.70 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13096 0 0 0 2965 33 0 0 25 0 1 0 805874929 43814912 7021 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7021 300 300 0 10397 0
vsize: 42788
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.94 0.71 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13420 0 0 0 3964 34 0 0 25 0 1 0 805874929 43814912 7069 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7069 300 300 0 10397 0
vsize: 42788
[startup+50.0027 s]
Raw data (loadavg): 0.94 0.95 0.71 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13602 0 0 0 4964 35 0 0 25 0 1 0 805874929 43814912 7113 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7113 300 300 0 10397 0
vsize: 42788
[startup+60.0021 s]
Raw data (loadavg): 0.95 0.95 0.71 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13777 0 0 0 5962 37 0 0 25 0 1 0 805874929 43814912 7150 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7150 300 300 0 10397 0
vsize: 42788
[startup+70.0992 s]
Raw data (loadavg): 0.96 0.95 0.71 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 13929 0 0 0 6971 37 0 0 25 0 1 0 805874929 43814912 7164 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7164 300 300 0 10397 0
vsize: 42788
[startup+80.1001 s]
Raw data (loadavg): 0.96 0.95 0.72 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 14211 0 0 0 7967 39 0 0 25 0 1 0 805874929 43814912 7170 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7170 300 300 0 10397 0
vsize: 42788
[startup+90.0994 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 14398 0 0 0 8966 39 0 0 25 0 1 0 805874929 43814912 7219 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7219 300 300 0 10397 0
vsize: 42788
[startup+100.1 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 14582 0 0 0 9965 40 0 0 25 0 1 0 805874929 43814912 7265 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7265 300 300 0 10397 0
vsize: 42788
[startup+110.1 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 14734 0 0 0 10965 41 0 0 25 0 1 0 805874929 43814912 7279 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7279 300 300 0 10397 0
vsize: 42788
[startup+120.101 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15018 0 0 0 11964 42 0 0 25 0 1 0 805874929 43814912 7287 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7287 300 300 0 10397 0
vsize: 42788
[startup+130.101 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15202 0 0 0 12963 43 0 0 25 0 1 0 805874929 43814912 7333 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7333 300 300 0 10397 0
vsize: 42788
[startup+140.101 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15395 0 0 0 13961 45 0 0 25 0 1 0 805874929 43814912 7388 4294967295 134512640 135726644 3221224592 3221223088 134743970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7388 300 300 0 10397 0
vsize: 42788
[startup+150.101 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15562 0 0 0 14961 46 0 0 25 0 1 0 805874929 43814912 7417 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7417 300 300 0 10397 0
vsize: 42788
[startup+160.101 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15705 0 0 0 15960 47 0 0 25 0 1 0 805874929 43814912 7422 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7422 300 300 0 10397 0
vsize: 42788
[startup+170.102 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 15891 0 0 0 16960 47 0 0 25 0 1 0 805874929 43814912 7470 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7470 300 300 0 10397 0
vsize: 42788
[startup+180.103 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16232 0 0 0 17959 48 0 0 25 0 1 0 805874929 44380160 7673 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10835 7673 300 300 0 10535 0
vsize: 43340
[startup+190.103 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16413 0 0 0 18958 49 0 0 25 0 1 0 805874929 43814912 7578 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7578 300 300 0 10397 0
vsize: 42788
[startup+200.103 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16418 0 0 0 19958 50 0 0 25 0 1 0 805874929 43814912 7583 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7583 300 300 0 10397 0
vsize: 42788
[startup+210.103 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16560 0 0 0 20958 50 0 0 25 0 1 0 805874929 43814912 7587 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7587 300 300 0 10397 0
vsize: 42788
[startup+220.104 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16702 0 0 0 21957 51 0 0 25 0 1 0 805874929 43814912 7591 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7591 300 300 0 10397 0
vsize: 42788
[startup+230.104 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 16860 0 0 0 22956 52 0 0 25 0 1 0 805874929 43814912 7611 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7611 300 300 0 10397 0
vsize: 42788
[startup+240.104 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17045 0 0 0 23956 52 0 0 25 0 1 0 805874929 43814912 7658 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7658 300 300 0 10397 0
vsize: 42788
[startup+250.104 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17328 0 0 0 24955 53 0 0 25 0 1 0 805874929 43814912 7665 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7665 300 300 0 10397 0
vsize: 42788
[startup+260.104 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17470 0 0 0 25955 54 0 0 25 0 1 0 805874929 43814912 7669 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7669 300 300 0 10397 0
vsize: 42788
[startup+270.104 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17612 0 0 0 26954 55 0 0 25 0 1 0 805874929 43814912 7673 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7673 300 300 0 10397 0
vsize: 42788
[startup+280.105 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17784 0 0 0 27953 56 0 0 25 0 1 0 805874929 43814912 7707 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7707 300 300 0 10397 0
vsize: 42788
[startup+290.104 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 17951 0 0 0 28952 57 0 0 25 0 1 0 805874929 43814912 7736 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7736 300 300 0 10397 0
vsize: 42788
[startup+300.105 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 18093 0 0 0 29952 58 0 0 25 0 1 0 805874929 43814912 7740 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7740 300 300 0 10397 0
vsize: 42788
[startup+310.106 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 18286 0 0 0 30951 58 0 0 25 0 1 0 805874929 43814912 7795 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7795 300 300 0 10397 0
vsize: 42788
[startup+320.107 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 18491 0 0 0 31951 59 0 0 25 0 1 0 805874929 43814912 7862 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7862 300 300 0 10397 0
vsize: 42788
[startup+330.106 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 18724 0 0 0 32950 60 0 0 25 0 1 0 805874929 43814912 7957 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7957 300 300 0 10397 0
vsize: 42788
[startup+340.106 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 18870 0 0 0 33950 60 0 0 25 0 1 0 805874929 43814912 7965 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7965 300 300 0 10397 0
vsize: 42788
[startup+350.107 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19151 0 0 0 34949 62 0 0 25 0 1 0 805874929 43814912 7970 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7970 300 300 0 10397 0
vsize: 42788
[startup+360.107 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19293 0 0 0 35948 62 0 0 25 0 1 0 805874929 43814912 7974 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 7974 300 300 0 10397 0
vsize: 42788
[startup+370.108 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19465 0 0 0 36948 63 0 0 25 0 1 0 805874929 43814912 8008 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8008 300 300 0 10397 0
vsize: 42788
[startup+380.107 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19648 0 0 0 37948 63 0 0 25 0 1 0 805874929 43814912 8053 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8053 300 300 0 10397 0
vsize: 42788
[startup+390.107 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19791 0 0 0 38947 64 0 0 25 0 1 0 805874929 43814912 8058 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8058 300 300 0 10397 0
vsize: 42788
[startup+400.108 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 19935 0 0 0 39947 65 0 0 25 0 1 0 805874929 43814912 8064 4294967295 134512640 135726644 3221224592 3221223136 134736632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8064 300 300 0 10397 0
vsize: 42788
[startup+410.108 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20077 0 0 0 40946 65 0 0 25 0 1 0 805874929 43814912 8068 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8068 300 300 0 10397 0
vsize: 42788
[startup+420.109 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20273 0 0 0 41946 66 0 0 25 0 1 0 805874929 43814912 8126 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8126 300 300 0 10397 0
vsize: 42788
[startup+430.109 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20553 0 0 0 42945 67 0 0 25 0 1 0 805874929 43814912 8130 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8130 300 300 0 10397 0
vsize: 42788
[startup+440.109 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20696 0 0 0 43945 67 0 0 25 0 1 0 805874929 43814912 8135 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8135 300 300 0 10397 0
vsize: 42788
[startup+450.11 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20838 0 0 0 44945 68 0 0 25 0 1 0 805874929 43814912 8139 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8139 300 300 0 10397 0
vsize: 42788
[startup+460.111 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 20981 0 0 0 45945 68 0 0 25 0 1 0 805874929 43814912 8144 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8144 300 300 0 10397 0
vsize: 42788
[startup+470.111 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 21155 0 0 0 46944 69 0 0 25 0 1 0 805874929 43814912 8180 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8180 300 300 0 10397 0
vsize: 42788
[startup+480.112 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 21298 0 0 0 47943 70 0 0 25 0 1 0 805874929 43814912 8185 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8185 300 300 0 10397 0
vsize: 42788
[startup+490.111 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 21472 0 0 0 48943 70 0 0 25 0 1 0 805874929 43814912 8221 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10697 8221 300 300 0 10397 0
vsize: 42788
[startup+500.112 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 21678 0 0 0 49943 71 0 0 25 0 1 0 805874929 52203520 8289 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12745 8289 300 300 0 12445 0
vsize: 50980
[startup+510.112 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 21904 0 0 0 50942 71 0 0 25 0 1 0 805874929 52203520 8377 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12745 8377 300 300 0 12445 0
vsize: 50980
[startup+520.112 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22068 0 0 0 51942 72 0 0 25 0 1 0 805874929 52203520 8403 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12745 8403 300 300 0 12445 0
vsize: 50980
[startup+530.113 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22213 0 0 0 52942 72 0 0 25 0 1 0 805874929 52346880 8410 4294967295 134512640 135726644 3221224592 3221223208 134744630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8410 300 300 0 12480 0
vsize: 51120
[startup+540.113 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22361 0 0 0 53941 73 0 0 25 0 1 0 805874929 52346880 8420 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8420 300 300 0 12480 0
vsize: 51120
[startup+550.114 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22509 0 0 0 54940 74 0 0 25 0 1 0 805874929 52346880 8430 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8430 300 300 0 12480 0
vsize: 51120
[startup+560.115 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22650 0 0 0 55940 74 0 0 25 0 1 0 805874929 52346880 8433 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8433 300 300 0 12480 0
vsize: 51120
[startup+570.115 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22792 0 0 0 56940 75 0 0 25 0 1 0 805874929 52346880 8437 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8437 300 300 0 12480 0
vsize: 51120
[startup+580.115 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 22941 0 0 0 57940 75 0 0 25 0 1 0 805874929 52346880 8448 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8448 300 300 0 12480 0
vsize: 51120
[startup+590.115 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 23085 0 0 0 58939 76 0 0 25 0 1 0 805874929 52346880 8454 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12780 8454 300 300 0 12480 0
vsize: 51120
[startup+600.116 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 23377 0 0 0 59939 77 0 0 25 0 1 0 805874929 52482048 8470 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8470 300 300 0 12513 0
vsize: 51252
[startup+610.115 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 23583 0 0 0 60938 77 0 0 25 0 1 0 805874929 52482048 8538 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8538 300 300 0 12513 0
vsize: 51252
[startup+620.116 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 23731 0 0 0 61937 78 0 0 25 0 1 0 805874929 52482048 8548 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8548 300 300 0 12513 0
vsize: 51252
[startup+630.117 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 23875 0 0 0 62937 79 0 0 25 0 1 0 805874929 52482048 8554 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8554 300 300 0 12513 0
vsize: 51252
[startup+640.117 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24017 0 0 0 63937 79 0 0 25 0 1 0 805874929 52482048 8558 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8558 300 300 0 12513 0
vsize: 51252
[startup+650.117 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24216 0 0 0 64936 80 0 0 25 0 1 0 805874929 52482048 8619 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12813 8619 300 300 0 12513 0
vsize: 51252
[startup+660.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24394 0 0 0 65936 81 0 0 25 0 1 0 805874929 52637696 8659 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8659 300 300 0 12551 0
vsize: 51404
[startup+670.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24539 0 0 0 66936 81 0 0 25 0 1 0 805874929 52637696 8666 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8666 300 300 0 12551 0
vsize: 51404
[startup+680.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24684 0 0 0 67935 82 0 0 25 0 1 0 805874929 52637696 8673 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8673 300 300 0 12551 0
vsize: 51404
[startup+690.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 24897 0 0 0 68935 82 0 0 25 0 1 0 805874929 52637696 8748 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8748 300 300 0 12551 0
vsize: 51404
[startup+700.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25118 0 0 0 69934 83 0 0 25 0 1 0 805874929 52637696 8831 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8831 300 300 0 12551 0
vsize: 51404
[startup+710.118 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25321 0 0 0 70933 84 0 0 25 0 1 0 805874929 52637696 8896 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8896 300 300 0 12551 0
vsize: 51404
[startup+720.119 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25463 0 0 0 71933 85 0 0 25 0 1 0 805874929 52637696 8900 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8900 300 300 0 12551 0
vsize: 51404
[startup+730.12 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25606 0 0 0 72932 85 0 0 25 0 1 0 805874929 52637696 8905 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8905 300 300 0 12551 0
vsize: 51404
[startup+740.12 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25752 0 0 0 73931 86 0 0 25 0 1 0 805874929 52637696 8913 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8913 300 300 0 12551 0
vsize: 51404
[startup+750.12 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25902 0 0 0 74931 87 0 0 25 0 1 0 805874929 52637696 8925 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8925 300 300 0 12551 0
vsize: 51404
[startup+760.12 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 25927 0 0 0 75931 87 0 0 25 0 1 0 805874929 52637696 8950 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 8950 300 300 0 12551 0
vsize: 51404
[startup+770.121 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26094 0 0 0 76931 88 0 0 25 0 1 0 805874929 52772864 8979 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 8979 300 300 0 12584 0
vsize: 51536
[startup+780.121 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26239 0 0 0 77930 89 0 0 25 0 1 0 805874929 52772864 8986 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 8986 300 300 0 12584 0
vsize: 51536
[startup+790.121 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26382 0 0 0 78930 89 0 0 25 0 1 0 805874929 52772864 8991 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 8991 300 300 0 12584 0
vsize: 51536
[startup+800.121 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26525 0 0 0 79929 90 0 0 25 0 1 0 805874929 52772864 8996 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 8996 300 300 0 12584 0
vsize: 51536
[startup+810.122 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26667 0 0 0 80929 90 0 0 25 0 1 0 805874929 52772864 9000 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9000 300 300 0 12584 0
vsize: 51536
[startup+820.123 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26809 0 0 0 81928 91 0 0 25 0 1 0 805874929 52772864 9004 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9004 300 300 0 12584 0
vsize: 51536
[startup+830.123 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 26951 0 0 0 82928 92 0 0 25 0 1 0 805874929 52772864 9008 4294967295 134512640 135726644 3221224592 3221223156 134736576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9008 300 300 0 12584 0
vsize: 51536
[startup+840.123 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27096 0 0 0 83927 92 0 0 25 0 1 0 805874929 52772864 9015 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9015 300 300 0 12584 0
vsize: 51536
[startup+850.123 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27239 0 0 0 84927 93 0 0 25 0 1 0 805874929 52772864 9020 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9020 300 300 0 12584 0
vsize: 51536
[startup+860.123 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27381 0 0 0 85927 94 0 0 25 0 1 0 805874929 52772864 9024 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9024 300 300 0 12584 0
vsize: 51536
[startup+870.124 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27523 0 0 0 86926 94 0 0 25 0 1 0 805874929 52772864 9028 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9028 300 300 0 12584 0
vsize: 51536
[startup+880.125 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27667 0 0 0 87926 95 0 0 25 0 1 0 805874929 52772864 9034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9034 300 300 0 12584 0
vsize: 51536
[startup+890.124 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27810 0 0 0 88926 95 0 0 25 0 1 0 805874929 52772864 9039 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9039 300 300 0 12584 0
vsize: 51536
[startup+900.125 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 27952 0 0 0 89926 95 0 0 25 0 1 0 805874929 52772864 9043 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9043 300 300 0 12584 0
vsize: 51536
[startup+910.126 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28097 0 0 0 90926 96 0 0 25 0 1 0 805874929 52772864 9050 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9050 300 300 0 12584 0
vsize: 51536
[startup+920.127 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28239 0 0 0 91925 96 0 0 25 0 1 0 805874929 52772864 9054 4294967295 134512640 135726644 3221224592 3221223216 134744626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 9054 300 300 0 12584 0
vsize: 51536
[startup+930.126 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28253 0 0 0 92925 96 0 0 25 0 1 0 805874929 52916224 9068 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9068 300 300 0 12619 0
vsize: 51676
[startup+940.126 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28395 0 0 0 93925 97 0 0 25 0 1 0 805874929 52916224 9072 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9072 300 300 0 12619 0
vsize: 51676
[startup+950.127 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28538 0 0 0 94924 98 0 0 25 0 1 0 805874929 52916224 9077 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9077 300 300 0 12619 0
vsize: 51676
[startup+960.127 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28681 0 0 0 95924 98 0 0 25 0 1 0 805874929 52916224 9082 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9082 300 300 0 12619 0
vsize: 51676
[startup+970.127 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28823 0 0 0 96924 98 0 0 25 0 1 0 805874929 52916224 9086 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9086 300 300 0 12619 0
vsize: 51676
[startup+980.128 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 28970 0 0 0 97924 99 0 0 25 0 1 0 805874929 52916224 9095 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9095 300 300 0 12619 0
vsize: 51676
[startup+990.128 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29112 0 0 0 98924 99 0 0 25 0 1 0 805874929 52916224 9099 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9099 300 300 0 12619 0
vsize: 51676
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29255 0 0 0 99923 100 0 0 25 0 1 0 805874929 52916224 9104 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9104 300 300 0 12619 0
vsize: 51676
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29397 0 0 0 100923 101 0 0 25 0 1 0 805874929 52916224 9108 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9108 300 300 0 12619 0
vsize: 51676
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29540 0 0 0 101922 101 0 0 25 0 1 0 805874929 52916224 9113 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9113 300 300 0 12619 0
vsize: 51676
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29682 0 0 0 102922 102 0 0 25 0 1 0 805874929 52916224 9117 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9117 300 300 0 12619 0
vsize: 51676
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29827 0 0 0 103922 102 0 0 25 0 1 0 805874929 52916224 9124 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12919 9124 300 300 0 12619 0
vsize: 51676
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 29989 0 0 0 104921 103 0 0 25 0 1 0 805874929 53051392 9148 4294967295 134512640 135726644 3221224592 3221223088 134744180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9148 300 300 0 12652 0
vsize: 51808
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30131 0 0 0 105920 104 0 0 25 0 1 0 805874929 53051392 9152 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9152 300 300 0 12652 0
vsize: 51808
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30136 0 0 0 106920 104 0 0 25 0 1 0 805874929 53051392 9157 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9157 300 300 0 12652 0
vsize: 51808
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30143 0 0 0 107919 105 0 0 25 0 1 0 805874929 53051392 9164 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9164 300 300 0 12652 0
vsize: 51808
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30186 0 0 0 108919 106 0 0 25 0 1 0 805874929 53051392 9207 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9207 300 300 0 12652 0
vsize: 51808
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30371 0 0 0 109918 106 0 0 25 0 1 0 805874929 53051392 9254 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9254 300 300 0 12652 0
vsize: 51808
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30532 0 0 0 110918 107 0 0 25 0 1 0 805874929 53051392 9277 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9277 300 300 0 12652 0
vsize: 51808
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30674 0 0 0 111918 107 0 0 25 0 1 0 805874929 53051392 9281 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9281 300 300 0 12652 0
vsize: 51808
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30816 0 0 0 112918 108 0 0 25 0 1 0 805874929 53051392 9285 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9285 300 300 0 12652 0
vsize: 51808
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30958 0 0 0 113917 108 0 0 25 0 1 0 805874929 53051392 9289 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9289 300 300 0 12652 0
vsize: 51808
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 30968 0 0 0 114917 108 0 0 25 0 1 0 805874929 53051392 9299 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9299 300 300 0 12652 0
vsize: 51808
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 31111 0 0 0 115917 109 0 0 25 0 1 0 805874929 53051392 9304 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9304 300 300 0 12652 0
vsize: 51808
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 31120 0 0 0 116917 109 0 0 25 0 1 0 805874929 53051392 9313 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9313 300 300 0 12652 0
vsize: 51808
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 31125 0 0 0 117917 109 0 0 25 0 1 0 805874929 53051392 9318 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9318 300 300 0 12652 0
vsize: 51808
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 31414 0 0 0 118916 110 0 0 25 0 1 0 805874929 53051392 9331 4294967295 134512640 135726644 3221224592 3221223024 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12952 9331 300 300 0 12652 0
vsize: 51808
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 1734
Raw data (stat): 1734 (pb2sat) R 1733 25830 25829 0 -1 0 31424 0 0 0 119916 111 0 0 25 0 1 0 805874929 53190656 9341 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12986 9341 300 300 0 12686 0
vsize: 51944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 0.99 0.97 0.88 1/54 1734
Raw data (stat): 1734 (pb2sat) Z 1733 25830 25829 0 -1 12 31425 0 0 0 119937 113 0 0 25 0 1 0 805874929 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.37
CPU time (s): 1200.51
CPU user time (s): 1199.37
CPU system time (s): 1.13483
CPU usage (%): 100.012
Max. virtual memory (Kb): 51944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	37
#### END VERIFIER DATA ####