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-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
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	9597
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	9597
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.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 42138

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 00:39:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25352 boxname=wulflinc1 idbench=254 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc1/normalized-mux.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mux.opb
IDLAUNCH: 25352
/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:        823784 kB
Buffers:         34116 kB
Cached:         153120 kB
SwapCached:       1192 kB
Active:          76820 kB
Inactive:       112720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        823532 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15524 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:59:45 (client local time) WITH STATUS 0 IN 1202.36 SECONDS
stats: 25352 0 1202.36 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: 9317
c small objective detected
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 x24 x25 x26 x27 x28 x29 x3 x30 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.91 0.95 0.90 1/55 9517
Raw data (stat): 9517 (runsolver) R 9516 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909654576 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 29060 0 0 0 936 62 0 0 25 0 1 0 909654576 87994368 17933 4294967295 134512640 135730672 3221224592 3221135368 135301648 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21483 17933 301 301 0 21182 0
vsize: 85932
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 57666 0 0 0 1877 121 0 0 25 0 1 0 909654576 173682688 35326 4294967295 134512640 135730672 3221224592 3221196360 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42403 35327 301 301 0 42102 0
vsize: 169612
[startup+30.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 98747 0 0 0 2795 203 0 0 25 0 1 0 909654576 299339776 54214 4294967295 134512640 135730672 3221224592 3221169448 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73081 54214 301 301 0 72780 0
vsize: 292324
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 114741 0 0 0 3764 235 0 0 25 0 1 0 909654576 344924160 69978 4294967295 134512640 135730672 3221224592 3221214320 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84210 69978 301 301 0 83909 0
vsize: 336840
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124505 0 0 0 4744 254 0 0 25 0 1 0 909654576 370753536 77034 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90516 77034 301 301 0 90215 0
vsize: 362064
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124770 0 0 0 5744 255 0 0 25 0 1 0 909654576 371806208 77233 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90773 77233 301 301 0 90472 0
vsize: 363092
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124828 0 0 0 6744 255 0 0 25 0 1 0 909654576 372072448 77291 4294967295 134512640 135730672 3221224592 3221222896 135282342 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90838 77291 301 301 0 90537 0
vsize: 363352
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124903 0 0 0 7744 255 0 0 25 0 1 0 909654576 372338688 77366 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90903 77366 301 301 0 90602 0
vsize: 363612
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124948 0 0 0 8744 255 0 0 25 0 1 0 909654576 372473856 77411 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90936 77411 301 301 0 90635 0
vsize: 363744
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 124966 0 0 0 9744 255 0 0 25 0 1 0 909654576 372473856 77429 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90936 77429 301 301 0 90635 0
vsize: 363744
[startup+110.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125063 0 0 0 10744 256 0 0 25 0 1 0 909654576 372871168 77461 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91033 77461 301 301 0 90732 0
vsize: 364132
[startup+120.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125065 0 0 0 11744 256 0 0 25 0 1 0 909654576 372871168 77463 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91033 77463 301 301 0 90732 0
vsize: 364132
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125101 0 0 0 12744 256 0 0 25 0 1 0 909654576 373006336 77499 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91066 77499 301 301 0 90765 0
vsize: 364264
[startup+140.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125197 0 0 0 13744 256 0 0 25 0 1 0 909654576 373268480 77529 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91130 77529 301 301 0 90829 0
vsize: 364520
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125325 0 0 0 14744 257 0 0 25 0 1 0 909654576 373530624 77592 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91194 77592 301 301 0 90893 0
vsize: 364776
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125370 0 0 0 15744 257 0 0 25 0 1 0 909654576 373661696 77604 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91226 77604 301 301 0 90925 0
vsize: 364904
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125446 0 0 0 16744 257 0 0 25 0 1 0 909654576 373923840 77615 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91290 77615 301 301 0 90989 0
vsize: 365160
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125447 0 0 0 17743 257 0 0 25 0 1 0 909654576 373923840 77616 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91290 77616 301 301 0 90989 0
vsize: 365160
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125473 0 0 0 18744 257 0 0 25 0 1 0 909654576 374059008 77642 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77642 301 301 0 91022 0
vsize: 365292
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125484 0 0 0 19744 258 0 0 25 0 1 0 909654576 374059008 77653 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77653 301 301 0 91022 0
vsize: 365292
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125486 0 0 0 20744 258 0 0 25 0 1 0 909654576 374059008 77655 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77655 301 301 0 91022 0
vsize: 365292
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125490 0 0 0 21744 258 0 0 25 0 1 0 909654576 374059008 77659 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77659 301 301 0 91022 0
vsize: 365292
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125492 0 0 0 22744 258 0 0 25 0 1 0 909654576 374059008 77661 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77661 301 301 0 91022 0
vsize: 365292
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125503 0 0 0 23744 258 0 0 25 0 1 0 909654576 374059008 77672 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77672 301 301 0 91022 0
vsize: 365292
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125504 0 0 0 24744 258 0 0 25 0 1 0 909654576 374059008 77673 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77673 301 301 0 91022 0
vsize: 365292
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125506 0 0 0 25744 258 0 0 25 0 1 0 909654576 374059008 77675 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77675 301 301 0 91022 0
vsize: 365292
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125509 0 0 0 26744 258 0 0 25 0 1 0 909654576 374059008 77678 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91323 77678 301 301 0 91022 0
vsize: 365292
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125550 0 0 0 27744 258 0 0 25 0 1 0 909654576 374190080 77686 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91355 77686 301 301 0 91054 0
vsize: 365420
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125558 0 0 0 28744 259 0 0 25 0 1 0 909654576 374124544 77686 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91339 77686 301 301 0 91038 0
vsize: 365356
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125569 0 0 0 29744 259 0 0 25 0 1 0 909654576 374124544 77697 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91339 77697 301 301 0 91038 0
vsize: 365356
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125582 0 0 0 30744 259 0 0 25 0 1 0 909654576 374124544 77710 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91339 77710 301 301 0 91038 0
vsize: 365356
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125659 0 0 0 31744 259 0 0 25 0 1 0 909654576 374386688 77722 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91403 77722 301 301 0 91102 0
vsize: 365612
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125660 0 0 0 32744 259 0 0 25 0 1 0 909654576 374386688 77723 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91403 77723 301 301 0 91102 0
vsize: 365612
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125663 0 0 0 33744 259 0 0 25 0 1 0 909654576 374386688 77726 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91403 77726 301 301 0 91102 0
vsize: 365612
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125664 0 0 0 34745 259 0 0 25 0 1 0 909654576 374386688 77727 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91403 77727 301 301 0 91102 0
vsize: 365612
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125666 0 0 0 35745 259 0 0 25 0 1 0 909654576 374386688 77729 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91403 77729 301 301 0 91102 0
vsize: 365612
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125685 0 0 0 36745 259 0 0 25 0 1 0 909654576 374521856 77748 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77748 301 301 0 91135 0
vsize: 365744
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125687 0 0 0 37745 259 0 0 25 0 1 0 909654576 374521856 77750 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77750 301 301 0 91135 0
vsize: 365744
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125689 0 0 0 38745 259 0 0 25 0 1 0 909654576 374521856 77752 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77752 301 301 0 91135 0
vsize: 365744
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125690 0 0 0 39745 259 0 0 25 0 1 0 909654576 374521856 77753 4294967295 134512640 135730672 3221224592 3221222880 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77753 301 301 0 91135 0
vsize: 365744
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125693 0 0 0 40745 260 0 0 25 0 1 0 909654576 374521856 77756 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77756 301 301 0 91135 0
vsize: 365744
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125695 0 0 0 41745 260 0 0 25 0 1 0 909654576 374521856 77758 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77758 301 301 0 91135 0
vsize: 365744
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125696 0 0 0 42745 260 0 0 25 0 1 0 909654576 374521856 77759 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77759 301 301 0 91135 0
vsize: 365744
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125697 0 0 0 43745 260 0 0 25 0 1 0 909654576 374521856 77760 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77760 301 301 0 91135 0
vsize: 365744
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125701 0 0 0 44746 260 0 0 25 0 1 0 909654576 374521856 77764 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77764 301 301 0 91135 0
vsize: 365744
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125704 0 0 0 45746 260 0 0 25 0 1 0 909654576 374521856 77767 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77767 301 301 0 91135 0
vsize: 365744
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125706 0 0 0 46746 260 0 0 25 0 1 0 909654576 374521856 77769 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77769 301 301 0 91135 0
vsize: 365744
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125710 0 0 0 47746 260 0 0 25 0 1 0 909654576 374521856 77773 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77773 301 301 0 91135 0
vsize: 365744
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125714 0 0 0 48746 260 0 0 25 0 1 0 909654576 374521856 77777 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91436 77777 301 301 0 91135 0
vsize: 365744
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125830 0 0 0 49746 260 0 0 25 0 1 0 909654576 374919168 77828 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91533 77828 301 301 0 91232 0
vsize: 366132
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 125947 0 0 0 50746 260 0 0 25 0 1 0 909654576 375451648 77912 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91663 77912 301 301 0 91362 0
vsize: 366652
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126141 0 0 0 51746 260 0 0 25 0 1 0 909654576 375975936 77975 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77975 301 301 0 91490 0
vsize: 367164
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126144 0 0 0 52746 260 0 0 25 0 1 0 909654576 375975936 77978 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77978 301 301 0 91490 0
vsize: 367164
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126156 0 0 0 53746 261 0 0 25 0 1 0 909654576 375975936 77990 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77990 301 301 0 91490 0
vsize: 367164
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126157 0 0 0 54746 261 0 0 25 0 1 0 909654576 375975936 77991 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77991 301 301 0 91490 0
vsize: 367164
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126160 0 0 0 55747 261 0 0 25 0 1 0 909654576 375975936 77994 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77994 301 301 0 91490 0
vsize: 367164
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126162 0 0 0 56747 261 0 0 25 0 1 0 909654576 375975936 77996 4294967295 134512640 135730672 3221224592 3221223040 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77996 301 301 0 91490 0
vsize: 367164
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126164 0 0 0 57747 261 0 0 25 0 1 0 909654576 375975936 77998 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77998 301 301 0 91490 0
vsize: 367164
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126165 0 0 0 58747 261 0 0 25 0 1 0 909654576 375975936 77999 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 77999 301 301 0 91490 0
vsize: 367164
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126170 0 0 0 59747 261 0 0 25 0 1 0 909654576 375975936 78004 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 78004 301 301 0 91490 0
vsize: 367164
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126189 0 0 0 60747 261 0 0 25 0 1 0 909654576 375975936 78023 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91791 78023 301 301 0 91490 0
vsize: 367164
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126212 0 0 0 61747 261 0 0 25 0 1 0 909654576 376111104 78046 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78046 301 301 0 91523 0
vsize: 367296
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126213 0 0 0 62747 261 0 0 25 0 1 0 909654576 376111104 78047 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78047 301 301 0 91523 0
vsize: 367296
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126225 0 0 0 63748 261 0 0 25 0 1 0 909654576 376111104 78059 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78059 301 301 0 91523 0
vsize: 367296
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126226 0 0 0 64748 261 0 0 25 0 1 0 909654576 376111104 78060 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78060 301 301 0 91523 0
vsize: 367296
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126234 0 0 0 65748 261 0 0 25 0 1 0 909654576 376111104 78068 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78068 301 301 0 91523 0
vsize: 367296
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126236 0 0 0 66748 261 0 0 25 0 1 0 909654576 376111104 78070 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78070 301 301 0 91523 0
vsize: 367296
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126238 0 0 0 67748 261 0 0 25 0 1 0 909654576 376111104 78072 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78072 301 301 0 91523 0
vsize: 367296
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126240 0 0 0 68748 261 0 0 25 0 1 0 909654576 376111104 78074 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78074 301 301 0 91523 0
vsize: 367296
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126242 0 0 0 69748 261 0 0 25 0 1 0 909654576 376111104 78076 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78076 301 301 0 91523 0
vsize: 367296
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126266 0 0 0 70749 261 0 0 25 0 1 0 909654576 376111104 78100 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78100 301 301 0 91523 0
vsize: 367296
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126267 0 0 0 71749 261 0 0 25 0 1 0 909654576 376111104 78101 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78101 301 301 0 91523 0
vsize: 367296
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126270 0 0 0 72749 261 0 0 25 0 1 0 909654576 376111104 78104 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78104 301 301 0 91523 0
vsize: 367296
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126272 0 0 0 73749 261 0 0 25 0 1 0 909654576 376111104 78106 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78106 301 301 0 91523 0
vsize: 367296
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126276 0 0 0 74749 261 0 0 25 0 1 0 909654576 376111104 78110 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91824 78110 301 301 0 91523 0
vsize: 367296
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126348 0 0 0 75749 261 0 0 25 0 1 0 909654576 376373248 78117 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78117 301 301 0 91587 0
vsize: 367552
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126350 0 0 0 76749 261 0 0 25 0 1 0 909654576 376373248 78119 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78119 301 301 0 91587 0
vsize: 367552
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126351 0 0 0 77749 262 0 0 25 0 1 0 909654576 376373248 78120 4294967295 134512640 135730672 3221224592 3221222960 134763668 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78120 301 301 0 91587 0
vsize: 367552
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126354 0 0 0 78749 262 0 0 25 0 1 0 909654576 376373248 78123 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78123 301 301 0 91587 0
vsize: 367552
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126356 0 0 0 79749 262 0 0 25 0 1 0 909654576 376373248 78125 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78125 301 301 0 91587 0
vsize: 367552
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126357 0 0 0 80749 263 0 0 25 0 1 0 909654576 376373248 78126 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78126 301 301 0 91587 0
vsize: 367552
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126360 0 0 0 81749 263 0 0 25 0 1 0 909654576 376373248 78129 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78129 301 301 0 91587 0
vsize: 367552
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126363 0 0 0 82749 263 0 0 25 0 1 0 909654576 376373248 78132 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78132 301 301 0 91587 0
vsize: 367552
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126366 0 0 0 83749 263 0 0 25 0 1 0 909654576 376373248 78135 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78135 301 301 0 91587 0
vsize: 367552
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126369 0 0 0 84749 263 0 0 25 0 1 0 909654576 376373248 78138 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78138 301 301 0 91587 0
vsize: 367552
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126372 0 0 0 85749 263 0 0 25 0 1 0 909654576 376373248 78141 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78141 301 301 0 91587 0
vsize: 367552
[startup+870.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126375 0 0 0 86749 263 0 0 25 0 1 0 909654576 376373248 78144 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78144 301 301 0 91587 0
vsize: 367552
[startup+880.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126378 0 0 0 87750 263 0 0 25 0 1 0 909654576 376373248 78147 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78147 301 301 0 91587 0
vsize: 367552
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126380 0 0 0 88749 264 0 0 25 0 1 0 909654576 376373248 78149 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78149 301 301 0 91587 0
vsize: 367552
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126383 0 0 0 89749 264 0 0 25 0 1 0 909654576 376373248 78152 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78152 301 301 0 91587 0
vsize: 367552
[startup+910.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126387 0 0 0 90750 264 0 0 25 0 1 0 909654576 376373248 78156 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78156 301 301 0 91587 0
vsize: 367552
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126389 0 0 0 91750 264 0 0 25 0 1 0 909654576 376373248 78158 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78158 301 301 0 91587 0
vsize: 367552
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126414 0 0 0 92750 264 0 0 25 0 1 0 909654576 376373248 78183 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78183 301 301 0 91587 0
vsize: 367552
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126436 0 0 0 93750 264 0 0 25 0 1 0 909654576 376373248 78205 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78205 301 301 0 91587 0
vsize: 367552
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126447 0 0 0 94750 264 0 0 25 0 1 0 909654576 376373248 78216 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78216 301 301 0 91587 0
vsize: 367552
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126449 0 0 0 95750 264 0 0 25 0 1 0 909654576 376373248 78218 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78218 301 301 0 91587 0
vsize: 367552
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126450 0 0 0 96750 264 0 0 25 0 1 0 909654576 376373248 78219 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78219 301 301 0 91587 0
vsize: 367552
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126451 0 0 0 97750 265 0 0 25 0 1 0 909654576 376373248 78220 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78220 301 301 0 91587 0
vsize: 367552
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126453 0 0 0 98750 265 0 0 25 0 1 0 909654576 376373248 78222 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78222 301 301 0 91587 0
vsize: 367552
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126456 0 0 0 99750 265 0 0 25 0 1 0 909654576 376373248 78225 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78225 301 301 0 91587 0
vsize: 367552
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126457 0 0 0 100750 265 0 0 25 0 1 0 909654576 376373248 78226 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78226 301 301 0 91587 0
vsize: 367552
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126458 0 0 0 101750 265 0 0 25 0 1 0 909654576 376373248 78227 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78227 301 301 0 91587 0
vsize: 367552
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126459 0 0 0 102751 265 0 0 25 0 1 0 909654576 376373248 78228 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78228 301 301 0 91587 0
vsize: 367552
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126461 0 0 0 103751 265 0 0 25 0 1 0 909654576 376373248 78230 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78230 301 301 0 91587 0
vsize: 367552
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126463 0 0 0 104751 265 0 0 25 0 1 0 909654576 376373248 78232 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78232 301 301 0 91587 0
vsize: 367552
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126465 0 0 0 105751 265 0 0 25 0 1 0 909654576 376373248 78234 4294967295 134512640 135730672 3221224592 3221223008 134748208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78234 301 301 0 91587 0
vsize: 367552
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126469 0 0 0 106751 265 0 0 25 0 1 0 909654576 376373248 78238 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78238 301 301 0 91587 0
vsize: 367552
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126470 0 0 0 107751 265 0 0 25 0 1 0 909654576 376373248 78239 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78239 301 301 0 91587 0
vsize: 367552
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126472 0 0 0 108751 265 0 0 25 0 1 0 909654576 376373248 78241 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78241 301 301 0 91587 0
vsize: 367552
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126475 0 0 0 109752 265 0 0 25 0 1 0 909654576 376373248 78244 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78244 301 301 0 91587 0
vsize: 367552
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126479 0 0 0 110752 265 0 0 25 0 1 0 909654576 376373248 78248 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78248 301 301 0 91587 0
vsize: 367552
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126483 0 0 0 111752 265 0 0 25 0 1 0 909654576 376373248 78252 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78252 301 301 0 91587 0
vsize: 367552
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126485 0 0 0 112752 265 0 0 25 0 1 0 909654576 376373248 78254 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78254 301 301 0 91587 0
vsize: 367552
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126487 0 0 0 113752 265 0 0 25 0 1 0 909654576 376373248 78256 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78256 301 301 0 91587 0
vsize: 367552
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126489 0 0 0 114753 265 0 0 25 0 1 0 909654576 376373248 78258 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78258 301 301 0 91587 0
vsize: 367552
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126491 0 0 0 115753 265 0 0 25 0 1 0 909654576 376373248 78260 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78260 301 301 0 91587 0
vsize: 367552
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126494 0 0 0 116753 265 0 0 25 0 1 0 909654576 376373248 78263 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78263 301 301 0 91587 0
vsize: 367552
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126495 0 0 0 117753 265 0 0 25 0 1 0 909654576 376373248 78264 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78264 301 301 0 91587 0
vsize: 367552
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126497 0 0 0 118753 266 0 0 25 0 1 0 909654576 376373248 78266 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78266 301 301 0 91587 0
vsize: 367552
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126501 0 0 0 119753 266 0 0 25 0 1 0 909654576 376373248 78270 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78270 301 301 0 91587 0
vsize: 367552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9517
Raw data (stat): 9517 (pb2sat-v2) R 9516 8378 8377 0 -1 0 126501 0 0 0 119753 266 0 0 25 0 1 0 909654576 376373248 78270 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91888 78270 301 301 0 91587 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.17
CPU time (s): 1202.36
CPU user time (s): 1199.53
CPU system time (s): 2.82257
CPU usage (%): 100.015
Max. virtual memory (Kb): 367552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	9317
#### END VERIFIER DATA ####