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/synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM	a8596c98551f801a6658f1ce91b33278
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1053
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	12887
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	12887
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	304
Total number of constraints	671
Number of constraints which are clauses	671
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	1
Maximum length of a constraint	28
Trace number 34934

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 11:07:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24179 boxname=wulflinc1 idbench=253 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a8596c98551f801a6658f1ce91b33278  /oldhome/oroussel/tmp/wulflinc1/normalized-cmb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-cmb.opb
IDLAUNCH: 24179
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        714088 kB
Buffers:         36840 kB
Cached:         259824 kB
SwapCached:        700 kB
Active:          16568 kB
Inactive:       282308 kB
HighTotal:      131008 kB
HighFree:        43568 kB
LowTotal:       903652 kB
LowFree:        670520 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            15780 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:27:56 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 24179 0 1202.48 0
#### 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: 4606
c [startup+182.937 s]  setting bit 13 to 1

Decision: 1341807/1562868	Time: 611.478/86400
Decision: 1348676/1562868	Time: 943.669/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 -x31 -x32 x33 -x34 -x35 -x36 -x37 -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.99 0.97 0.91 1/55 18749
Raw data (stat): 18749 (runsolver) R 18748 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 749242726 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 30471 0 0 0 935 63 0 0 25 0 1 0 749242726 90013696 19326 4294967295 134512640 135726644 3221224592 3221162496 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21976 19327 300 300 0 21676 0
vsize: 87904
[startup+20 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 60027 0 0 0 1872 126 0 0 25 0 1 0 749242726 177188864 37658 4294967295 134512640 135726644 3221224592 3221124208 134607712 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43259 37659 300 300 0 42959 0
vsize: 173036
[startup+30.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 99804 0 0 0 2791 208 0 0 25 0 1 0 749242726 332886016 55251 4294967295 134512640 135726644 3221224592 3221184480 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81271 55251 300 300 0 80971 0
vsize: 325084
[startup+40.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 118456 0 0 0 3753 246 0 0 25 0 1 0 749242726 350322688 73650 4294967295 134512640 135726644 3221224592 3221188144 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85528 73651 300 300 0 85228 0
vsize: 342112
[startup+50.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 163753 0 0 0 4663 336 0 0 25 0 1 0 749242726 563625984 117754 4294967295 134512640 135726644 3221224592 3221198976 134772474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137604 117754 300 300 0 137304 0
vsize: 550416
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 198156 0 0 0 5585 414 0 0 25 0 1 0 749242726 630730752 108991 4294967295 134512640 135726644 3221224592 3221191296 134782652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153987 108991 300 300 0 153687 0
vsize: 615948
[startup+70.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 212602 0 0 0 6554 446 0 0 25 0 1 0 749242726 630865920 123184 4294967295 134512640 135726644 3221224592 3221200540 135280404 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154020 123184 300 300 0 153720 0
vsize: 616080
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 228683 0 0 0 7515 484 0 0 25 0 1 0 749242726 661479424 135634 4294967295 134512640 135726644 3221224592 3221222648 135281122 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161494 135634 300 300 0 161194 0
vsize: 645976
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 233002 0 0 0 8505 494 0 0 25 0 1 0 749242726 681893888 139755 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166478 139755 300 300 0 166178 0
vsize: 665912
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 233762 0 0 0 9504 496 0 0 25 0 1 0 749242726 685215744 140401 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167289 140401 300 300 0 166989 0
vsize: 669156
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 234286 0 0 0 10503 497 0 0 25 0 1 0 749242726 687960064 140892 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167959 140892 300 300 0 167659 0
vsize: 671836
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 234855 0 0 0 11501 499 0 0 25 0 1 0 749242726 690081792 141200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168477 141200 300 300 0 168177 0
vsize: 673908
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 235648 0 0 0 12500 500 0 0 25 0 1 0 749242726 692342784 141700 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169029 141700 300 300 0 168729 0
vsize: 676116
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 236026 0 0 0 13499 501 0 0 25 0 1 0 749242726 693948416 141980 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169421 141980 300 300 0 169121 0
vsize: 677684
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 236477 0 0 0 14498 502 0 0 25 0 1 0 749242726 695402496 142169 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169776 142169 300 300 0 169476 0
vsize: 679104
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 237404 0 0 0 15497 504 0 0 25 0 1 0 749242726 698040320 142579 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170420 142579 300 300 0 170120 0
vsize: 681680
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 238611 0 0 0 16495 506 0 0 25 0 1 0 749242726 701472768 143138 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171258 143139 300 300 0 170958 0
vsize: 685032
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 239552 0 0 0 17493 507 0 0 25 0 1 0 749242726 704659456 143688 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172036 143688 300 300 0 171736 0
vsize: 688144
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 243525 0 0 0 18484 516 0 0 25 0 1 0 749242726 707084288 144095 4294967295 134512640 135726644 3221224592 3221222896 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172628 144095 300 300 0 172328 0
vsize: 690512
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 245488 0 0 0 19480 520 0 0 25 0 1 0 749242726 712609792 144869 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173977 144869 300 300 0 173677 0
vsize: 695908
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246109 0 0 0 20477 522 0 0 25 0 1 0 749242726 714334208 145227 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174398 145227 300 300 0 174098 0
vsize: 697592
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246257 0 0 0 21477 522 0 0 25 0 1 0 749242726 715010048 145375 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174563 145375 300 300 0 174263 0
vsize: 698252
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246440 0 0 0 22477 523 0 0 25 0 1 0 749242726 715542528 145492 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174693 145492 300 300 0 174393 0
vsize: 698772
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246515 0 0 0 23477 523 0 0 25 0 1 0 749242726 715808768 145534 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174758 145534 300 300 0 174458 0
vsize: 699032
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246521 0 0 0 24477 523 0 0 25 0 1 0 749242726 715808768 145540 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174758 145540 300 300 0 174458 0
vsize: 699032
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246651 0 0 0 25477 523 0 0 25 0 1 0 749242726 716201984 145572 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174854 145572 300 300 0 174554 0
vsize: 699416
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246672 0 0 0 26477 523 0 0 25 0 1 0 749242726 716337152 145593 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174887 145593 300 300 0 174587 0
vsize: 699548
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246841 0 0 0 27477 523 0 0 25 0 1 0 749242726 716865536 145664 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175016 145664 300 300 0 174716 0
vsize: 700064
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 246942 0 0 0 28477 524 0 0 25 0 1 0 749242726 717266944 145732 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175114 145732 300 300 0 174814 0
vsize: 700456
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 247279 0 0 0 29476 525 0 0 25 0 1 0 749242726 718057472 145906 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175307 145906 300 300 0 175007 0
vsize: 701228
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 247576 0 0 0 30476 525 0 0 25 0 1 0 749242726 718852096 146072 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175501 146072 300 300 0 175201 0
vsize: 702004
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 247663 0 0 0 31476 525 0 0 25 0 1 0 749242726 719114240 146094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175565 146094 300 300 0 175265 0
vsize: 702260
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248032 0 0 0 32475 526 0 0 25 0 1 0 749242726 720031744 146235 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175789 146235 300 300 0 175489 0
vsize: 703156
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248091 0 0 0 33475 526 0 0 25 0 1 0 749242726 720162816 146261 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175821 146261 300 300 0 175521 0
vsize: 703284
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248253 0 0 0 34475 527 0 0 25 0 1 0 749242726 720560128 146358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175918 146358 300 300 0 175618 0
vsize: 703672
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248263 0 0 0 35475 527 0 0 25 0 1 0 749242726 720560128 146368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175918 146368 300 300 0 175618 0
vsize: 703672
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248318 0 0 0 36475 527 0 0 25 0 1 0 749242726 720691200 146390 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175950 146390 300 300 0 175650 0
vsize: 703800
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248320 0 0 0 37475 527 0 0 25 0 1 0 749242726 720691200 146392 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175950 146392 300 300 0 175650 0
vsize: 703800
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248421 0 0 0 38475 527 0 0 25 0 1 0 749242726 720953344 146428 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176014 146428 300 300 0 175714 0
vsize: 704056
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248465 0 0 0 39475 527 0 0 25 0 1 0 749242726 721084416 146439 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146439 300 300 0 175746 0
vsize: 704184
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248465 0 0 0 40476 527 0 0 25 0 1 0 749242726 721084416 146439 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146439 300 300 0 175746 0
vsize: 704184
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248466 0 0 0 41476 527 0 0 25 0 1 0 749242726 721084416 146440 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146440 300 300 0 175746 0
vsize: 704184
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248473 0 0 0 42476 527 0 0 25 0 1 0 749242726 721084416 146447 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146447 300 300 0 175746 0
vsize: 704184
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248506 0 0 0 43476 528 0 0 25 0 1 0 749242726 721084416 146480 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146480 300 300 0 175746 0
vsize: 704184
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248544 0 0 0 44476 528 0 0 25 0 1 0 749242726 721084416 146518 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146518 300 300 0 175746 0
vsize: 704184
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248577 0 0 0 45476 528 0 0 25 0 1 0 749242726 721084416 146551 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176046 146551 300 300 0 175746 0
vsize: 704184
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248803 0 0 0 46476 528 0 0 25 0 1 0 749242726 721608704 146648 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146648 300 300 0 175874 0
vsize: 704696
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248803 0 0 0 47476 528 0 0 25 0 1 0 749242726 721608704 146648 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146648 300 300 0 175874 0
vsize: 704696
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248804 0 0 0 48476 528 0 0 25 0 1 0 749242726 721608704 146649 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146649 300 300 0 175874 0
vsize: 704696
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248805 0 0 0 49477 528 0 0 25 0 1 0 749242726 721608704 146650 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146650 300 300 0 175874 0
vsize: 704696
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248805 0 0 0 50477 528 0 0 25 0 1 0 749242726 721608704 146650 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146650 300 300 0 175874 0
vsize: 704696
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248806 0 0 0 51477 528 0 0 25 0 1 0 749242726 721608704 146651 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146651 300 300 0 175874 0
vsize: 704696
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248806 0 0 0 52477 528 0 0 25 0 1 0 749242726 721608704 146651 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146651 300 300 0 175874 0
vsize: 704696
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248807 0 0 0 53477 528 0 0 25 0 1 0 749242726 721608704 146652 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146652 300 300 0 175874 0
vsize: 704696
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248807 0 0 0 54478 528 0 0 25 0 1 0 749242726 721608704 146652 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146652 300 300 0 175874 0
vsize: 704696
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248808 0 0 0 55478 528 0 0 25 0 1 0 749242726 721608704 146653 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146653 300 300 0 175874 0
vsize: 704696
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248808 0 0 0 56478 528 0 0 25 0 1 0 749242726 721608704 146653 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146653 300 300 0 175874 0
vsize: 704696
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248810 0 0 0 57478 528 0 0 25 0 1 0 749242726 721608704 146655 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146655 300 300 0 175874 0
vsize: 704696
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248810 0 0 0 58478 528 0 0 25 0 1 0 749242726 721608704 146655 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146655 300 300 0 175874 0
vsize: 704696
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248811 0 0 0 59478 528 0 0 25 0 1 0 749242726 721608704 146656 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146656 300 300 0 175874 0
vsize: 704696
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248811 0 0 0 60479 528 0 0 25 0 1 0 749242726 721608704 146656 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146656 300 300 0 175874 0
vsize: 704696
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248812 0 0 0 61479 528 0 0 25 0 1 0 749242726 721608704 146657 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146657 300 300 0 175874 0
vsize: 704696
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248812 0 0 0 62479 528 0 0 25 0 1 0 749242726 721608704 146657 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146657 300 300 0 175874 0
vsize: 704696
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248813 0 0 0 63479 528 0 0 25 0 1 0 749242726 721608704 146658 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146658 300 300 0 175874 0
vsize: 704696
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248813 0 0 0 64479 528 0 0 25 0 1 0 749242726 721608704 146658 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146658 300 300 0 175874 0
vsize: 704696
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248814 0 0 0 65480 528 0 0 25 0 1 0 749242726 721608704 146659 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146659 300 300 0 175874 0
vsize: 704696
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248815 0 0 0 66480 528 0 0 25 0 1 0 749242726 721608704 146660 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146660 300 300 0 175874 0
vsize: 704696
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248816 0 0 0 67480 528 0 0 25 0 1 0 749242726 721608704 146661 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146661 300 300 0 175874 0
vsize: 704696
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248816 0 0 0 68480 528 0 0 25 0 1 0 749242726 721608704 146661 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146661 300 300 0 175874 0
vsize: 704696
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248817 0 0 0 69480 528 0 0 25 0 1 0 749242726 721608704 146662 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146662 300 300 0 175874 0
vsize: 704696
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248818 0 0 0 70481 528 0 0 25 0 1 0 749242726 721608704 146663 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146663 300 300 0 175874 0
vsize: 704696
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248818 0 0 0 71481 528 0 0 25 0 1 0 749242726 721608704 146663 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146663 300 300 0 175874 0
vsize: 704696
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 248819 0 0 0 72481 528 0 0 25 0 1 0 749242726 721608704 146664 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176174 146664 300 300 0 175874 0
vsize: 704696
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 249000 0 0 0 73481 529 0 0 25 0 1 0 749242726 722132992 146716 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176302 146716 300 300 0 176002 0
vsize: 705208
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 249034 0 0 0 74481 529 0 0 25 0 1 0 749242726 722268160 146750 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176335 146750 300 300 0 176035 0
vsize: 705340
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 249035 0 0 0 75481 529 0 0 25 0 1 0 749242726 722268160 146751 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176335 146751 300 300 0 176035 0
vsize: 705340
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 249035 0 0 0 76481 529 0 0 25 0 1 0 749242726 722268160 146751 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176335 146751 300 300 0 176035 0
vsize: 705340
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 249036 0 0 0 77482 529 0 0 25 0 1 0 749242726 722268160 146752 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176335 146752 300 300 0 176035 0
vsize: 705340
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252089 0 0 0 78473 537 0 0 25 0 1 0 749242726 722268160 146752 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176335 146752 300 300 0 176035 0
vsize: 705340
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252151 0 0 0 79473 537 0 0 25 0 1 0 749242726 722399232 146781 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176367 146781 300 300 0 176067 0
vsize: 705468
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252253 0 0 0 80473 537 0 0 25 0 1 0 749242726 722661376 146818 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146818 300 300 0 176131 0
vsize: 705724
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252271 0 0 0 81473 537 0 0 25 0 1 0 749242726 722661376 146836 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146836 300 300 0 176131 0
vsize: 705724
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 82473 537 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 83473 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 84474 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 85474 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 86474 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 87474 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252277 0 0 0 88474 538 0 0 25 0 1 0 749242726 722661376 146842 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146842 300 300 0 176131 0
vsize: 705724
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252278 0 0 0 89475 538 0 0 25 0 1 0 749242726 722661376 146843 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146843 300 300 0 176131 0
vsize: 705724
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252280 0 0 0 90475 538 0 0 25 0 1 0 749242726 722661376 146845 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146845 300 300 0 176131 0
vsize: 705724
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252281 0 0 0 91475 538 0 0 25 0 1 0 749242726 722661376 146846 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146846 300 300 0 176131 0
vsize: 705724
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252282 0 0 0 92475 538 0 0 25 0 1 0 749242726 722661376 146847 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146847 300 300 0 176131 0
vsize: 705724
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252283 0 0 0 93475 538 0 0 25 0 1 0 749242726 722661376 146848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146848 300 300 0 176131 0
vsize: 705724
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252283 0 0 0 94476 538 0 0 25 0 1 0 749242726 722661376 146848 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146848 300 300 0 176131 0
vsize: 705724
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252283 0 0 0 95476 538 0 0 25 0 1 0 749242726 722661376 146848 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146848 300 300 0 176131 0
vsize: 705724
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252284 0 0 0 96476 538 0 0 25 0 1 0 749242726 722661376 146849 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146849 300 300 0 176131 0
vsize: 705724
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252285 0 0 0 97476 538 0 0 25 0 1 0 749242726 722661376 146850 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146850 300 300 0 176131 0
vsize: 705724
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252286 0 0 0 98476 538 0 0 25 0 1 0 749242726 722661376 146851 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146851 300 300 0 176131 0
vsize: 705724
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252287 0 0 0 99477 538 0 0 25 0 1 0 749242726 722661376 146852 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146852 300 300 0 176131 0
vsize: 705724
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252287 0 0 0 100477 538 0 0 25 0 1 0 749242726 722661376 146852 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146852 300 300 0 176131 0
vsize: 705724
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252287 0 0 0 101477 538 0 0 25 0 1 0 749242726 722661376 146852 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146852 300 300 0 176131 0
vsize: 705724
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252288 0 0 0 102477 538 0 0 25 0 1 0 749242726 722661376 146853 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146853 300 300 0 176131 0
vsize: 705724
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252289 0 0 0 103477 538 0 0 25 0 1 0 749242726 722661376 146854 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146854 300 300 0 176131 0
vsize: 705724
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252290 0 0 0 104478 538 0 0 25 0 1 0 749242726 722661376 146855 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146855 300 300 0 176131 0
vsize: 705724
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252290 0 0 0 105478 538 0 0 25 0 1 0 749242726 722661376 146855 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146855 300 300 0 176131 0
vsize: 705724
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252292 0 0 0 106478 538 0 0 25 0 1 0 749242726 722661376 146857 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146857 300 300 0 176131 0
vsize: 705724
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252292 0 0 0 107478 538 0 0 25 0 1 0 749242726 722661376 146857 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146857 300 300 0 176131 0
vsize: 705724
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252292 0 0 0 108478 538 0 0 25 0 1 0 749242726 722661376 146857 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146857 300 300 0 176131 0
vsize: 705724
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252293 0 0 0 109479 538 0 0 25 0 1 0 749242726 722661376 146858 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146858 300 300 0 176131 0
vsize: 705724
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252293 0 0 0 110479 538 0 0 25 0 1 0 749242726 722661376 146858 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146858 300 300 0 176131 0
vsize: 705724
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 252294 0 0 0 111479 538 0 0 25 0 1 0 749242726 722661376 146859 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146859 300 300 0 176131 0
vsize: 705724
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255359 0 0 0 112472 545 0 0 25 0 1 0 749242726 722661376 146871 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176431 146871 300 300 0 176131 0
vsize: 705724
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255360 0 0 0 113471 545 0 0 25 0 1 0 749242726 722661376 146872 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146872 300 300 0 176131 0
vsize: 705724
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255360 0 0 0 114471 545 0 0 25 0 1 0 749242726 722661376 146872 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146872 300 300 0 176131 0
vsize: 705724
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255364 0 0 0 115471 545 0 0 25 0 1 0 749242726 722661376 146876 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146876 300 300 0 176131 0
vsize: 705724
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255364 0 0 0 116471 545 0 0 25 0 1 0 749242726 722661376 146876 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176431 146876 300 300 0 176131 0
vsize: 705724
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255439 0 0 0 117471 546 0 0 25 0 1 0 749242726 722923520 146886 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176495 146886 300 300 0 176195 0
vsize: 705980
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255441 0 0 0 118471 546 0 0 25 0 1 0 749242726 722923520 146888 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176495 146888 300 300 0 176195 0
vsize: 705980
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255442 0 0 0 119472 546 0 0 25 0 1 0 749242726 722923520 146889 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176495 146889 300 300 0 176195 0
vsize: 705980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.33 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18749
Raw data (stat): 18749 (pb2sat) R 18748 8378 8377 0 -1 0 255442 0 0 0 119472 546 0 0 25 0 1 0 749242726 722923520 146889 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176495 146889 300 300 0 176195 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.33
CPU time (s): 1202.48
CPU user time (s): 1196.73
CPU system time (s): 5.75912
CPU usage (%): 100.013
Max. virtual memory (Kb): 705980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4606
#### END VERIFIER DATA ####