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-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
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	10012
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	10012
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.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 42132

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        781684 kB
Buffers:         33760 kB
Cached:         197380 kB
SwapCached:        944 kB
Active:          28096 kB
Inactive:       205140 kB
HighTotal:      131008 kB
HighFree:        18872 kB
LowTotal:       903652 kB
LowFree:        762812 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13924 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:55:08 (client local time) WITH STATUS 0 IN 1202.39 SECONDS
stats: 25348 0 1202.39 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: 8787
c small objective detected

c Decision: 721214/894524	Time: 193.453/86400
c Decision: 736685/894524	Time: 697.854/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 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.84 0.93 0.90 2/54 19122
Raw data (stat): 19122 (runsolver) R 19121 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966473924 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 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 29215 0 0 0 942 56 0 0 25 0 1 0 966473924 88244224 18086 4294967295 134512640 135730672 3221224592 3221146276 134551481 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21544 18087 301 301 0 21243 0
vsize: 86176
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 57975 0 0 0 1883 115 0 0 25 0 1 0 966473924 174067712 35631 4294967295 134512640 135730672 3221224592 3221165600 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42497 35631 301 301 0 42196 0
vsize: 169988
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 98966 0 0 0 2802 197 0 0 25 0 1 0 966473924 299319296 54429 4294967295 134512640 135730672 3221224592 3221201376 134770715 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73076 54429 301 301 0 72775 0
vsize: 292304
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 114960 0 0 0 3766 233 0 0 25 0 1 0 966473924 345174016 70195 4294967295 134512640 135730672 3221224592 3221200616 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84271 70196 301 301 0 83970 0
vsize: 337084
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 127753 0 0 0 4739 261 0 0 25 0 1 0 966473924 375414784 80118 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91654 80118 301 301 0 91353 0
vsize: 366616
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128176 0 0 0 5738 262 0 0 25 0 1 0 966473924 376954880 80443 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92030 80443 301 301 0 91729 0
vsize: 368120
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128291 0 0 0 6738 262 0 0 25 0 1 0 966473924 377487360 80558 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92160 80558 301 301 0 91859 0
vsize: 368640
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128379 0 0 0 7738 262 0 0 25 0 1 0 966473924 377753600 80613 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92225 80613 301 301 0 91924 0
vsize: 368900
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128597 0 0 0 8737 263 0 0 25 0 1 0 966473924 378548224 80733 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92419 80733 301 301 0 92118 0
vsize: 369676
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128781 0 0 0 9737 264 0 0 25 0 1 0 966473924 378941440 80819 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92515 80819 301 301 0 92214 0
vsize: 370060
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128790 0 0 0 10737 264 0 0 25 0 1 0 966473924 378941440 80828 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92515 80828 301 301 0 92214 0
vsize: 370060
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128795 0 0 0 11737 264 0 0 25 0 1 0 966473924 378941440 80833 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92515 80833 301 301 0 92214 0
vsize: 370060
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128798 0 0 0 12737 264 0 0 25 0 1 0 966473924 378941440 80836 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92515 80836 301 301 0 92214 0
vsize: 370060
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128882 0 0 0 13737 265 0 0 25 0 1 0 966473924 379203584 80855 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92579 80855 301 301 0 92278 0
vsize: 370316
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128904 0 0 0 14737 265 0 0 25 0 1 0 966473924 379203584 80877 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92579 80877 301 301 0 92278 0
vsize: 370316
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 128929 0 0 0 15737 265 0 0 25 0 1 0 966473924 379203584 80902 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92579 80902 301 301 0 92278 0
vsize: 370316
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129084 0 0 0 16737 265 0 0 25 0 1 0 966473924 379596800 80959 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92675 80959 301 301 0 92374 0
vsize: 370700
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129224 0 0 0 17736 266 0 0 25 0 1 0 966473924 379994112 81034 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92772 81034 301 301 0 92471 0
vsize: 371088
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129243 0 0 0 18736 266 0 0 25 0 1 0 966473924 380129280 81053 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81053 301 301 0 92504 0
vsize: 371220
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129244 0 0 0 19736 266 0 0 25 0 1 0 966473924 380129280 81054 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81054 301 301 0 92504 0
vsize: 371220
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129245 0 0 0 20736 266 0 0 25 0 1 0 966473924 380129280 81055 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81055 301 301 0 92504 0
vsize: 371220
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129249 0 0 0 21737 266 0 0 25 0 1 0 966473924 380129280 81059 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81059 301 301 0 92504 0
vsize: 371220
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 129251 0 0 0 22737 266 0 0 25 0 1 0 966473924 380129280 81061 4294967295 134512640 135730672 3221224592 3221222896 134745801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81061 301 301 0 92504 0
vsize: 371220
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131022 0 0 0 23732 270 0 0 25 0 1 0 966473924 380129280 81084 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81084 301 301 0 92504 0
vsize: 371220
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131026 0 0 0 24732 270 0 0 25 0 1 0 966473924 380129280 81088 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81088 301 301 0 92504 0
vsize: 371220
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131029 0 0 0 25733 270 0 0 25 0 1 0 966473924 380129280 81091 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81091 301 301 0 92504 0
vsize: 371220
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131030 0 0 0 26733 270 0 0 25 0 1 0 966473924 380129280 81092 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81092 301 301 0 92504 0
vsize: 371220
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131031 0 0 0 27733 270 0 0 25 0 1 0 966473924 380129280 81093 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81093 301 301 0 92504 0
vsize: 371220
[startup+290.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131032 0 0 0 28733 270 0 0 25 0 1 0 966473924 380129280 81094 4294967295 134512640 135730672 3221224592 3221222704 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81094 301 301 0 92504 0
vsize: 371220
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131034 0 0 0 29733 270 0 0 25 0 1 0 966473924 380129280 81096 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81096 301 301 0 92504 0
vsize: 371220
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131035 0 0 0 30733 270 0 0 25 0 1 0 966473924 380129280 81097 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81097 301 301 0 92504 0
vsize: 371220
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131069 0 0 0 31734 271 0 0 25 0 1 0 966473924 380129280 81131 4294967295 134512640 135730672 3221224592 3221222880 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 81131 301 301 0 92504 0
vsize: 371220
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131142 0 0 0 32734 271 0 0 25 0 1 0 966473924 380391424 81139 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81139 301 301 0 92568 0
vsize: 371476
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131162 0 0 0 33734 271 0 0 25 0 1 0 966473924 380391424 81159 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81159 301 301 0 92568 0
vsize: 371476
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131164 0 0 0 34734 271 0 0 25 0 1 0 966473924 380391424 81161 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81161 301 301 0 92568 0
vsize: 371476
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131165 0 0 0 35734 271 0 0 25 0 1 0 966473924 380391424 81162 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81162 301 301 0 92568 0
vsize: 371476
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131169 0 0 0 36734 271 0 0 25 0 1 0 966473924 380391424 81166 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81166 301 301 0 92568 0
vsize: 371476
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131170 0 0 0 37734 271 0 0 25 0 1 0 966473924 380391424 81167 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81167 301 301 0 92568 0
vsize: 371476
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131171 0 0 0 38734 271 0 0 25 0 1 0 966473924 380391424 81168 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81168 301 301 0 92568 0
vsize: 371476
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131174 0 0 0 39734 271 0 0 25 0 1 0 966473924 380391424 81171 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81171 301 301 0 92568 0
vsize: 371476
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131175 0 0 0 40735 271 0 0 25 0 1 0 966473924 380391424 81172 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81172 301 301 0 92568 0
vsize: 371476
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131187 0 0 0 41735 271 0 0 25 0 1 0 966473924 380391424 81184 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81184 301 301 0 92568 0
vsize: 371476
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131189 0 0 0 42735 271 0 0 25 0 1 0 966473924 380391424 81186 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92869 81186 301 301 0 92568 0
vsize: 371476
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131233 0 0 0 43735 271 0 0 25 0 1 0 966473924 380522496 81197 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92901 81197 301 301 0 92600 0
vsize: 371604
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131241 0 0 0 44735 271 0 0 25 0 1 0 966473924 380522496 81205 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92901 81205 301 301 0 92600 0
vsize: 371604
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131345 0 0 0 45735 272 0 0 25 0 1 0 966473924 380784640 81244 4294967295 134512640 135730672 3221224592 3221222880 134748038 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92965 81244 301 301 0 92664 0
vsize: 371860
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131355 0 0 0 46735 272 0 0 25 0 1 0 966473924 380784640 81254 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92965 81254 301 301 0 92664 0
vsize: 371860
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131419 0 0 0 47735 272 0 0 25 0 1 0 966473924 380915712 81285 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92997 81285 301 301 0 92696 0
vsize: 371988
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131445 0 0 0 48735 272 0 0 25 0 1 0 966473924 381095936 81311 4294967295 134512640 135730672 3221224592 3221222976 134763590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93041 81311 301 301 0 92740 0
vsize: 372164
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131446 0 0 0 49736 272 0 0 25 0 1 0 966473924 381095936 81312 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93041 81312 301 301 0 92740 0
vsize: 372164
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131606 0 0 0 50735 273 0 0 25 0 1 0 966473924 381693952 81439 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93187 81439 301 301 0 92886 0
vsize: 372748
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 131981 0 0 0 51735 274 0 0 25 0 1 0 966473924 383434752 81781 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93612 81781 301 301 0 93311 0
vsize: 374448
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132098 0 0 0 52734 274 0 0 25 0 1 0 966473924 383700992 81865 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93677 81865 301 301 0 93376 0
vsize: 374708
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132100 0 0 0 53735 274 0 0 25 0 1 0 966473924 383700992 81867 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93677 81867 301 301 0 93376 0
vsize: 374708
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132174 0 0 0 54735 274 0 0 25 0 1 0 966473924 383963136 81876 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81876 301 301 0 93440 0
vsize: 374964
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132176 0 0 0 55735 274 0 0 25 0 1 0 966473924 383963136 81878 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81878 301 301 0 93440 0
vsize: 374964
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132177 0 0 0 56735 274 0 0 25 0 1 0 966473924 383963136 81879 4294967295 134512640 135730672 3221224592 3221222880 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81879 301 301 0 93440 0
vsize: 374964
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132179 0 0 0 57735 274 0 0 25 0 1 0 966473924 383963136 81881 4294967295 134512640 135730672 3221224592 3221223008 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81881 301 301 0 93440 0
vsize: 374964
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132181 0 0 0 58735 274 0 0 25 0 1 0 966473924 383963136 81883 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81883 301 301 0 93440 0
vsize: 374964
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132182 0 0 0 59735 274 0 0 25 0 1 0 966473924 383963136 81884 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81884 301 301 0 93440 0
vsize: 374964
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132183 0 0 0 60736 274 0 0 25 0 1 0 966473924 383963136 81885 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93741 81885 301 301 0 93440 0
vsize: 374964
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132254 0 0 0 61736 275 0 0 25 0 1 0 966473924 384225280 81891 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81891 301 301 0 93504 0
vsize: 375220
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132255 0 0 0 62736 275 0 0 25 0 1 0 966473924 384225280 81892 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81892 301 301 0 93504 0
vsize: 375220
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132257 0 0 0 63736 275 0 0 25 0 1 0 966473924 384225280 81894 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81894 301 301 0 93504 0
vsize: 375220
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132259 0 0 0 64736 275 0 0 25 0 1 0 966473924 384225280 81896 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81896 301 301 0 93504 0
vsize: 375220
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132261 0 0 0 65736 275 0 0 25 0 1 0 966473924 384225280 81898 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81898 301 301 0 93504 0
vsize: 375220
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132263 0 0 0 66736 275 0 0 25 0 1 0 966473924 384225280 81900 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81900 301 301 0 93504 0
vsize: 375220
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132264 0 0 0 67737 275 0 0 25 0 1 0 966473924 384225280 81901 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81901 301 301 0 93504 0
vsize: 375220
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132268 0 0 0 68737 275 0 0 25 0 1 0 966473924 384225280 81905 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93805 81905 301 301 0 93504 0
vsize: 375220
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132421 0 0 0 69736 276 0 0 25 0 1 0 966473924 384618496 81960 4294967295 134512640 135730672 3221224592 3221222880 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93901 81960 301 301 0 93600 0
vsize: 375604
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132427 0 0 0 70736 276 0 0 25 0 1 0 966473924 384618496 81966 4294967295 134512640 135730672 3221224592 3221222880 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93901 81966 301 301 0 93600 0
vsize: 375604
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132475 0 0 0 71736 276 0 0 25 0 1 0 966473924 384749568 81981 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93933 81981 301 301 0 93632 0
vsize: 375732
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 132582 0 0 0 72736 276 0 0 25 0 1 0 966473924 385146880 82055 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82055 301 301 0 93729 0
vsize: 376120
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134332 0 0 0 73732 280 0 0 25 0 1 0 966473924 385146880 82057 4294967295 134512640 135730672 3221224592 3221222800 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82057 301 301 0 93729 0
vsize: 376120
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134333 0 0 0 74732 280 0 0 25 0 1 0 966473924 385146880 82058 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82058 301 301 0 93729 0
vsize: 376120
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134334 0 0 0 75732 280 0 0 25 0 1 0 966473924 385146880 82059 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82059 301 301 0 93729 0
vsize: 376120
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134335 0 0 0 76733 280 0 0 25 0 1 0 966473924 385146880 82060 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82060 301 301 0 93729 0
vsize: 376120
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134338 0 0 0 77733 281 0 0 25 0 1 0 966473924 385146880 82063 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82063 301 301 0 93729 0
vsize: 376120
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134339 0 0 0 78733 281 0 0 25 0 1 0 966473924 385146880 82064 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82064 301 301 0 93729 0
vsize: 376120
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134341 0 0 0 79733 281 0 0 25 0 1 0 966473924 385146880 82066 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82066 301 301 0 93729 0
vsize: 376120
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134353 0 0 0 80733 281 0 0 25 0 1 0 966473924 385146880 82078 4294967295 134512640 135730672 3221224592 3221222880 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82078 301 301 0 93729 0
vsize: 376120
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134355 0 0 0 81733 281 0 0 25 0 1 0 966473924 385146880 82080 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82080 301 301 0 93729 0
vsize: 376120
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134356 0 0 0 82734 281 0 0 25 0 1 0 966473924 385146880 82081 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82081 301 301 0 93729 0
vsize: 376120
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134358 0 0 0 83734 281 0 0 25 0 1 0 966473924 385146880 82083 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82083 301 301 0 93729 0
vsize: 376120
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134361 0 0 0 84734 281 0 0 25 0 1 0 966473924 385146880 82086 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82086 301 301 0 93729 0
vsize: 376120
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134364 0 0 0 85734 281 0 0 25 0 1 0 966473924 385146880 82089 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82089 301 301 0 93729 0
vsize: 376120
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134367 0 0 0 86734 281 0 0 25 0 1 0 966473924 385146880 82092 4294967295 134512640 135730672 3221224592 3221223052 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82092 301 301 0 93729 0
vsize: 376120
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134369 0 0 0 87734 281 0 0 25 0 1 0 966473924 385146880 82094 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82094 301 301 0 93729 0
vsize: 376120
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134372 0 0 0 88734 281 0 0 25 0 1 0 966473924 385146880 82097 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82097 301 301 0 93729 0
vsize: 376120
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134375 0 0 0 89734 281 0 0 25 0 1 0 966473924 385146880 82100 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82100 301 301 0 93729 0
vsize: 376120
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134376 0 0 0 90735 281 0 0 25 0 1 0 966473924 385146880 82101 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82101 301 301 0 93729 0
vsize: 376120
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134377 0 0 0 91735 281 0 0 25 0 1 0 966473924 385146880 82102 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82102 301 301 0 93729 0
vsize: 376120
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134380 0 0 0 92735 281 0 0 25 0 1 0 966473924 385146880 82105 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82105 301 301 0 93729 0
vsize: 376120
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134382 0 0 0 93735 281 0 0 25 0 1 0 966473924 385146880 82107 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82107 301 301 0 93729 0
vsize: 376120
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134385 0 0 0 94735 282 0 0 25 0 1 0 966473924 385146880 82110 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82110 301 301 0 93729 0
vsize: 376120
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134388 0 0 0 95735 282 0 0 25 0 1 0 966473924 385146880 82113 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82113 301 301 0 93729 0
vsize: 376120
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134390 0 0 0 96735 282 0 0 25 0 1 0 966473924 385146880 82115 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82115 301 301 0 93729 0
vsize: 376120
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134391 0 0 0 97735 282 0 0 25 0 1 0 966473924 385146880 82116 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82116 301 301 0 93729 0
vsize: 376120
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134394 0 0 0 98736 282 0 0 25 0 1 0 966473924 385146880 82119 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82119 301 301 0 93729 0
vsize: 376120
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134395 0 0 0 99736 282 0 0 25 0 1 0 966473924 385146880 82120 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82120 301 301 0 93729 0
vsize: 376120
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134397 0 0 0 100736 282 0 0 25 0 1 0 966473924 385146880 82122 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82122 301 301 0 93729 0
vsize: 376120
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134398 0 0 0 101736 282 0 0 25 0 1 0 966473924 385146880 82123 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82123 301 301 0 93729 0
vsize: 376120
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134402 0 0 0 102736 282 0 0 25 0 1 0 966473924 385146880 82127 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82127 301 301 0 93729 0
vsize: 376120
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134407 0 0 0 103736 282 0 0 25 0 1 0 966473924 385146880 82132 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82132 301 301 0 93729 0
vsize: 376120
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134408 0 0 0 104736 282 0 0 25 0 1 0 966473924 385146880 82133 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82133 301 301 0 93729 0
vsize: 376120
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134410 0 0 0 105737 282 0 0 25 0 1 0 966473924 385146880 82135 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82135 301 301 0 93729 0
vsize: 376120
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134413 0 0 0 106737 282 0 0 25 0 1 0 966473924 385146880 82138 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82138 301 301 0 93729 0
vsize: 376120
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134415 0 0 0 107737 282 0 0 25 0 1 0 966473924 385146880 82140 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82140 301 301 0 93729 0
vsize: 376120
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134417 0 0 0 108737 282 0 0 25 0 1 0 966473924 385146880 82142 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82142 301 301 0 93729 0
vsize: 376120
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134419 0 0 0 109737 282 0 0 25 0 1 0 966473924 385146880 82144 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82144 301 301 0 93729 0
vsize: 376120
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134423 0 0 0 110737 282 0 0 25 0 1 0 966473924 385146880 82148 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82148 301 301 0 93729 0
vsize: 376120
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134424 0 0 0 111738 282 0 0 25 0 1 0 966473924 385146880 82149 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82149 301 301 0 93729 0
vsize: 376120
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134427 0 0 0 112738 282 0 0 25 0 1 0 966473924 385146880 82152 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82152 301 301 0 93729 0
vsize: 376120
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134429 0 0 0 113738 282 0 0 25 0 1 0 966473924 385146880 82154 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82154 301 301 0 93729 0
vsize: 376120
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134432 0 0 0 114738 282 0 0 25 0 1 0 966473924 385146880 82157 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82157 301 301 0 93729 0
vsize: 376120
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134434 0 0 0 115738 282 0 0 25 0 1 0 966473924 385146880 82159 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82159 301 301 0 93729 0
vsize: 376120
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134436 0 0 0 116739 282 0 0 25 0 1 0 966473924 385146880 82161 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82161 301 301 0 93729 0
vsize: 376120
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134440 0 0 0 117739 282 0 0 25 0 1 0 966473924 385146880 82165 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82165 301 301 0 93729 0
vsize: 376120
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134442 0 0 0 118739 282 0 0 25 0 1 0 966473924 385146880 82167 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82167 301 301 0 93729 0
vsize: 376120
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134488 0 0 0 119739 282 0 0 25 0 1 0 966473924 385146880 82213 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82213 301 301 0 93729 0
vsize: 376120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19122
Raw data (stat): 19122 (pb2sat-v2) R 19121 21152 21151 0 -1 0 134488 0 0 0 119739 282 0 0 25 0 1 0 966473924 385146880 82213 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94030 82213 301 301 0 93729 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.22
CPU time (s): 1202.39
CPU user time (s): 1199.4
CPU system time (s): 2.99754
CPU usage (%): 100.015
Max. virtual memory (Kb): 376120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	8787
#### END VERIFIER DATA ####