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/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 42294

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 04:58:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25495 boxname=wulflinc3 idbench=397 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc3/normalized-p0201.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-p0201.opb
IDLAUNCH: 25495
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        799344 kB
Buffers:         34312 kB
Cached:         179408 kB
SwapCached:        820 kB
Active:          54324 kB
Inactive:       161528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799092 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            13700 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:18:03 (client local time) WITH STATUS 0 IN 1202.94 SECONDS
stats: 25495 0 1202.94 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: 7365
c small objective detected
c CONFLICT during preprocess 
c [startup+40.4479 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+43.3817 s]  setting bit 13 to 0
c got solution with objective value: 3096
c [startup+49.6767 s]  setting bit 12 to 1

c Decision: 511156/761566	Time: 238.988/86400
c Decision: 511166/761566	Time: 470.311/86400
c Decision: 511166/761566	Time: 581.549/86400
c Decision: 511168/761566	Time: 708.124/86400
c Decision: 511168/761566	Time: 810.133/86400
c Decision: 511279/761566	Time: 983.825/86400s SATISFIABLE
v x0 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 -x21 -x22 -x23 -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.89 0.92 0.90 2/54 16308
Raw data (stat): 16308 (runsolver) R 16307 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968052522 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.0009 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 29197 0 0 0 939 59 0 0 25 0 1 0 968052522 88104960 18141 4294967295 134512640 135730672 3221224592 3221190792 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21510 18142 301 301 0 21209 0
vsize: 86040
[startup+20.002 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 57595 0 0 0 1883 116 0 0 25 0 1 0 968052522 173522944 35328 4294967295 134512640 135730672 3221224592 3221166204 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42364 35329 301 301 0 42063 0
vsize: 169456
[startup+30.0019 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 98285 0 0 0 2802 197 0 0 25 0 1 0 968052522 298639360 53830 4294967295 134512640 135730672 3221224592 3221196248 134608049 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72910 53830 301 301 0 72609 0
vsize: 291640
[startup+40.0025 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 111442 0 0 0 3775 224 0 0 25 0 1 0 968052522 342073344 65336 4294967295 134512640 135730672 3221224592 3221223104 134739849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83514 65336 301 301 0 83213 0
vsize: 334056
[startup+50.0039 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 118408 0 0 0 4758 241 0 0 25 0 1 0 968052522 359964672 68678 4294967295 134512640 135730672 3221224592 3221222880 134767252 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87882 68678 301 301 0 87581 0
vsize: 351528
[startup+60.0045 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 119905 0 0 0 5755 244 0 0 25 0 1 0 968052522 356864000 68458 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87125 68458 301 301 0 86824 0
vsize: 348500
[startup+70.0049 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 121506 0 0 0 6752 247 0 0 25 0 1 0 968052522 362242048 69338 4294967295 134512640 135730672 3221224592 3221223008 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88438 69338 301 301 0 88137 0
vsize: 353752
[startup+80.0052 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 121926 0 0 0 7751 248 0 0 25 0 1 0 968052522 363835392 69530 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88827 69530 301 301 0 88526 0
vsize: 355308
[startup+90.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 122347 0 0 0 8751 249 0 0 25 0 1 0 968052522 365019136 69690 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89116 69690 301 301 0 88815 0
vsize: 356464
[startup+100.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 122694 0 0 0 9750 250 0 0 25 0 1 0 968052522 365805568 69841 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89308 69841 301 301 0 89007 0
vsize: 357232
[startup+110.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 123241 0 0 0 10749 251 0 0 25 0 1 0 968052522 367120384 70094 4294967295 134512640 135730672 3221224592 3221223072 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89629 70094 301 301 0 89328 0
vsize: 358516
[startup+120.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 16308
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 123567 0 0 0 11749 251 0 0 25 0 1 0 968052522 367906816 70226 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89821 70226 301 301 0 89520 0
vsize: 359284
[startup+130.44 s]
Raw data (loadavg): 1.22 1.00 0.93 3/57 16345
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 123752 0 0 0 12791 252 0 0 25 0 1 0 968052522 368435200 70313 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89950 70313 301 301 0 89649 0
vsize: 359800
[startup+140.572 s]
Raw data (loadavg): 1.34 1.03 0.94 3/58 16354
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 123873 0 0 0 13804 253 0 0 25 0 1 0 968052522 368697344 70369 4294967295 134512640 135730672 3221224592 3221222880 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90014 70369 301 301 0 89713 0
vsize: 360056
[startup+150.573 s]
Raw data (loadavg): 1.44 1.06 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124058 0 0 0 14804 253 0 0 25 0 1 0 968052522 369381376 70424 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70424 301 301 0 89880 0
vsize: 360724
[startup+160.574 s]
Raw data (loadavg): 1.38 1.06 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124061 0 0 0 15804 253 0 0 25 0 1 0 968052522 369381376 70427 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70427 301 301 0 89880 0
vsize: 360724
[startup+170.575 s]
Raw data (loadavg): 1.32 1.06 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124072 0 0 0 16804 253 0 0 25 0 1 0 968052522 369381376 70438 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70438 301 301 0 89880 0
vsize: 360724
[startup+180.574 s]
Raw data (loadavg): 1.27 1.05 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124077 0 0 0 17804 253 0 0 25 0 1 0 968052522 369381376 70443 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70443 301 301 0 89880 0
vsize: 360724
[startup+190.575 s]
Raw data (loadavg): 1.23 1.05 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124090 0 0 0 18805 254 0 0 25 0 1 0 968052522 369381376 70456 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70456 301 301 0 89880 0
vsize: 360724
[startup+200.575 s]
Raw data (loadavg): 1.19 1.05 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124101 0 0 0 19805 254 0 0 25 0 1 0 968052522 369381376 70467 4294967295 134512640 135730672 3221224592 3221222708 134732533 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70467 301 301 0 89880 0
vsize: 360724
[startup+210.576 s]
Raw data (loadavg): 1.16 1.05 0.95 2/54 16361
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124156 0 0 0 20805 254 0 0 25 0 1 0 968052522 369381376 70522 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70522 301 301 0 89880 0
vsize: 360724
[startup+220.577 s]
Raw data (loadavg): 1.14 1.05 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124165 0 0 0 21805 254 0 0 25 0 1 0 968052522 369381376 70531 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70531 301 301 0 89880 0
vsize: 360724
[startup+230.577 s]
Raw data (loadavg): 1.11 1.04 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124200 0 0 0 22805 254 0 0 25 0 1 0 968052522 369381376 70566 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70566 301 301 0 89880 0
vsize: 360724
[startup+240.593 s]
Raw data (loadavg): 1.10 1.04 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124215 0 0 0 23807 254 0 0 25 0 1 0 968052522 369381376 70581 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70581 301 301 0 89880 0
vsize: 360724
[startup+250.593 s]
Raw data (loadavg): 1.08 1.04 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124222 0 0 0 24806 254 0 0 25 0 1 0 968052522 369381376 70588 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90181 70588 301 301 0 89880 0
vsize: 360724
[startup+260.594 s]
Raw data (loadavg): 1.07 1.04 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124313 0 0 0 25806 255 0 0 25 0 1 0 968052522 369647616 70679 4294967295 134512640 135730672 3221224592 3221223008 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70679 301 301 0 89945 0
vsize: 360984
[startup+270.594 s]
Raw data (loadavg): 1.06 1.04 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124317 0 0 0 26806 255 0 0 25 0 1 0 968052522 369647616 70683 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70683 301 301 0 89945 0
vsize: 360984
[startup+280.594 s]
Raw data (loadavg): 1.05 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 124322 0 0 0 27807 255 0 0 25 0 1 0 968052522 369647616 70688 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70688 301 301 0 89945 0
vsize: 360984
[startup+290.595 s]
Raw data (loadavg): 1.04 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125811 0 0 0 28803 259 0 0 25 0 1 0 968052522 369647616 70689 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90246 70689 301 301 0 89945 0
vsize: 360984
[startup+300.595 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125833 0 0 0 29802 259 0 0 25 0 1 0 968052522 369647616 70711 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70711 301 301 0 89945 0
vsize: 360984
[startup+310.595 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125835 0 0 0 30802 259 0 0 25 0 1 0 968052522 369647616 70713 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70713 301 301 0 89945 0
vsize: 360984
[startup+320.596 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125838 0 0 0 31802 259 0 0 25 0 1 0 968052522 369647616 70716 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70716 301 301 0 89945 0
vsize: 360984
[startup+330.596 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125858 0 0 0 32802 260 0 0 25 0 1 0 968052522 369647616 70736 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70736 301 301 0 89945 0
vsize: 360984
[startup+340.597 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125860 0 0 0 33802 260 0 0 25 0 1 0 968052522 369647616 70738 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70738 301 301 0 89945 0
vsize: 360984
[startup+350.598 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125869 0 0 0 34802 260 0 0 25 0 1 0 968052522 369647616 70747 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90246 70747 301 301 0 89945 0
vsize: 360984
[startup+360.599 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 125986 0 0 0 35802 260 0 0 25 0 1 0 968052522 369909760 70799 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90310 70799 301 301 0 90009 0
vsize: 361240
[startup+370.599 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126007 0 0 0 36802 260 0 0 25 0 1 0 968052522 369909760 70820 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90310 70820 301 301 0 90009 0
vsize: 361240
[startup+380.599 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126184 0 0 0 37802 261 0 0 25 0 1 0 968052522 370434048 70868 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90438 70868 301 301 0 90137 0
vsize: 361752
[startup+390.6 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126308 0 0 0 38802 261 0 0 25 0 1 0 968052522 370696192 70927 4294967295 134512640 135730672 3221224592 3221223008 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90502 70927 301 301 0 90201 0
vsize: 362008
[startup+400.6 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126311 0 0 0 39802 261 0 0 25 0 1 0 968052522 370696192 70930 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90502 70930 301 301 0 90201 0
vsize: 362008
[startup+410.601 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126366 0 0 0 40802 261 0 0 25 0 1 0 968052522 370827264 70952 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70952 301 301 0 90233 0
vsize: 362136
[startup+420.602 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126369 0 0 0 41803 261 0 0 25 0 1 0 968052522 370827264 70955 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70955 301 301 0 90233 0
vsize: 362136
[startup+430.601 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126372 0 0 0 42803 261 0 0 25 0 1 0 968052522 370827264 70958 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70958 301 301 0 90233 0
vsize: 362136
[startup+440.602 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126375 0 0 0 43803 261 0 0 25 0 1 0 968052522 370827264 70961 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70961 301 301 0 90233 0
vsize: 362136
[startup+450.603 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 16363
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126377 0 0 0 44803 261 0 0 25 0 1 0 968052522 370827264 70963 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70963 301 301 0 90233 0
vsize: 362136
[startup+460.604 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126380 0 0 0 45803 262 0 0 25 0 1 0 968052522 370827264 70966 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70966 301 301 0 90233 0
vsize: 362136
[startup+470.605 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126385 0 0 0 46803 262 0 0 25 0 1 0 968052522 370827264 70971 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70971 301 301 0 90233 0
vsize: 362136
[startup+480.606 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126388 0 0 0 47803 262 0 0 25 0 1 0 968052522 370827264 70974 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70974 301 301 0 90233 0
vsize: 362136
[startup+490.607 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126412 0 0 0 48803 262 0 0 25 0 1 0 968052522 370827264 70998 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 70998 301 301 0 90233 0
vsize: 362136
[startup+500.606 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126417 0 0 0 49803 262 0 0 25 0 1 0 968052522 370827264 71003 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 71003 301 301 0 90233 0
vsize: 362136
[startup+510.607 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 126421 0 0 0 50803 262 0 0 25 0 1 0 968052522 370827264 71007 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 71007 301 301 0 90233 0
vsize: 362136
[startup+520.61 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 127910 0 0 0 51800 266 0 0 25 0 1 0 968052522 370827264 71008 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90534 71008 301 301 0 90233 0
vsize: 362136
[startup+530.61 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 127914 0 0 0 52799 266 0 0 25 0 1 0 968052522 370827264 71012 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 71012 301 301 0 90233 0
vsize: 362136
[startup+540.611 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 127918 0 0 0 53800 266 0 0 25 0 1 0 968052522 370827264 71016 4294967295 134512640 135730672 3221224592 3221222880 134747908 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 71016 301 301 0 90233 0
vsize: 362136
[startup+550.612 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 127929 0 0 0 54800 266 0 0 25 0 1 0 968052522 370827264 71027 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90534 71027 301 301 0 90233 0
vsize: 362136
[startup+560.612 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128049 0 0 0 55800 266 0 0 25 0 1 0 968052522 371089408 71082 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71082 301 301 0 90297 0
vsize: 362392
[startup+570.613 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128094 0 0 0 56800 267 0 0 25 0 1 0 968052522 371089408 71127 4294967295 134512640 135730672 3221224592 3221222880 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71127 301 301 0 90297 0
vsize: 362392
[startup+580.614 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128098 0 0 0 57800 267 0 0 25 0 1 0 968052522 371089408 71131 4294967295 134512640 135730672 3221224592 3221222912 134740354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71131 301 301 0 90297 0
vsize: 362392
[startup+590.615 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128106 0 0 0 58800 267 0 0 25 0 1 0 968052522 371089408 71139 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71139 301 301 0 90297 0
vsize: 362392
[startup+600.615 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128109 0 0 0 59800 267 0 0 25 0 1 0 968052522 371089408 71142 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71142 301 301 0 90297 0
vsize: 362392
[startup+610.617 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128113 0 0 0 60801 267 0 0 25 0 1 0 968052522 371089408 71146 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71146 301 301 0 90297 0
vsize: 362392
[startup+620.617 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 128116 0 0 0 61801 267 0 0 25 0 1 0 968052522 371089408 71149 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71149 301 301 0 90297 0
vsize: 362392
[startup+630.617 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129605 0 0 0 62797 271 0 0 25 0 1 0 968052522 377184256 72638 4294967295 134512640 135730672 3221224592 3221222520 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92086 72638 301 301 0 91785 0
vsize: 368344
[startup+640.618 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129610 0 0 0 63796 271 0 0 25 0 1 0 968052522 371089408 71155 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90598 71155 301 301 0 90297 0
vsize: 362392
[startup+650.618 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129895 0 0 0 64795 272 0 0 25 0 1 0 968052522 371875840 71246 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90790 71246 301 301 0 90489 0
vsize: 363160
[startup+660.619 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129901 0 0 0 65795 272 0 0 25 0 1 0 968052522 371875840 71252 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90790 71252 301 301 0 90489 0
vsize: 363160
[startup+670.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129912 0 0 0 66796 272 0 0 25 0 1 0 968052522 371875840 71263 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90790 71263 301 301 0 90489 0
vsize: 363160
[startup+680.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129915 0 0 0 67796 272 0 0 25 0 1 0 968052522 371875840 71266 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90790 71266 301 301 0 90489 0
vsize: 363160
[startup+690.62 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129927 0 0 0 68796 273 0 0 25 0 1 0 968052522 372043776 71278 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71278 301 301 0 90530 0
vsize: 363324
[startup+700.621 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129929 0 0 0 69796 273 0 0 25 0 1 0 968052522 372043776 71280 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71280 301 301 0 90530 0
vsize: 363324
[startup+710.622 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129934 0 0 0 70796 273 0 0 25 0 1 0 968052522 372043776 71285 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71285 301 301 0 90530 0
vsize: 363324
[startup+720.623 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129939 0 0 0 71796 273 0 0 25 0 1 0 968052522 372043776 71290 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71290 301 301 0 90530 0
vsize: 363324
[startup+730.624 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129944 0 0 0 72796 273 0 0 25 0 1 0 968052522 372043776 71295 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71295 301 301 0 90530 0
vsize: 363324
[startup+740.625 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129947 0 0 0 73797 273 0 0 25 0 1 0 968052522 372043776 71298 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71298 301 301 0 90530 0
vsize: 363324
[startup+750.625 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 129952 0 0 0 74797 273 0 0 25 0 1 0 968052522 372043776 71303 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71303 301 301 0 90530 0
vsize: 363324
[startup+760.624 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131442 0 0 0 75792 277 0 0 25 0 1 0 968052522 372043776 71305 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71305 301 301 0 90530 0
vsize: 363324
[startup+770.625 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131445 0 0 0 76792 277 0 0 25 0 1 0 968052522 372043776 71308 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71308 301 301 0 90530 0
vsize: 363324
[startup+780.625 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131450 0 0 0 77792 277 0 0 25 0 1 0 968052522 372043776 71313 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71313 301 301 0 90530 0
vsize: 363324
[startup+790.626 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131452 0 0 0 78793 278 0 0 25 0 1 0 968052522 372043776 71315 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71315 301 301 0 90530 0
vsize: 363324
[startup+800.627 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131455 0 0 0 79793 278 0 0 25 0 1 0 968052522 372043776 71318 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71318 301 301 0 90530 0
vsize: 363324
[startup+810.627 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131458 0 0 0 80793 278 0 0 25 0 1 0 968052522 372043776 71321 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90831 71321 301 301 0 90530 0
vsize: 363324
[startup+820.628 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131613 0 0 0 81793 278 0 0 25 0 1 0 968052522 372568064 71347 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90959 71347 301 301 0 90658 0
vsize: 363836
[startup+830.627 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131624 0 0 0 82793 278 0 0 25 0 1 0 968052522 372568064 71358 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90959 71358 301 301 0 90658 0
vsize: 363836
[startup+840.629 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131765 0 0 0 83793 278 0 0 25 0 1 0 968052522 373092352 71370 4294967295 134512640 135730672 3221224592 3221223008 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71370 301 301 0 90786 0
vsize: 364348
[startup+850.629 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 131767 0 0 0 84793 278 0 0 25 0 1 0 968052522 373092352 71372 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71372 301 301 0 90786 0
vsize: 364348
[startup+860.629 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133259 0 0 0 85790 282 0 0 25 0 1 0 968052522 373092352 71376 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71376 301 301 0 90786 0
vsize: 364348
[startup+870.63 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133261 0 0 0 86790 282 0 0 25 0 1 0 968052522 373092352 71378 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71378 301 301 0 90786 0
vsize: 364348
[startup+880.631 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133265 0 0 0 87790 282 0 0 25 0 1 0 968052522 373092352 71382 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71382 301 301 0 90786 0
vsize: 364348
[startup+890.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133267 0 0 0 88790 282 0 0 25 0 1 0 968052522 373092352 71384 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71384 301 301 0 90786 0
vsize: 364348
[startup+900.632 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133269 0 0 0 89790 282 0 0 25 0 1 0 968052522 373092352 71386 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71386 301 301 0 90786 0
vsize: 364348
[startup+910.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133272 0 0 0 90791 282 0 0 25 0 1 0 968052522 373092352 71389 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71389 301 301 0 90786 0
vsize: 364348
[startup+920.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133276 0 0 0 91791 282 0 0 25 0 1 0 968052522 373092352 71393 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71393 301 301 0 90786 0
vsize: 364348
[startup+930.633 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133280 0 0 0 92791 282 0 0 25 0 1 0 968052522 373092352 71397 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71397 301 301 0 90786 0
vsize: 364348
[startup+940.634 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133283 0 0 0 93791 282 0 0 25 0 1 0 968052522 373092352 71400 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71400 301 301 0 90786 0
vsize: 364348
[startup+950.634 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133287 0 0 0 94791 282 0 0 25 0 1 0 968052522 373092352 71404 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71404 301 301 0 90786 0
vsize: 364348
[startup+960.634 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133290 0 0 0 95791 282 0 0 25 0 1 0 968052522 373092352 71407 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91087 71407 301 301 0 90786 0
vsize: 364348
[startup+970.635 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133365 0 0 0 96791 283 0 0 25 0 1 0 968052522 373354496 71417 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91151 71417 301 301 0 90850 0
vsize: 364604
[startup+980.636 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133375 0 0 0 97791 283 0 0 25 0 1 0 968052522 373354496 71427 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91151 71427 301 301 0 90850 0
vsize: 364604
[startup+990.637 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133521 0 0 0 98791 283 0 0 25 0 1 0 968052522 373878784 71444 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91279 71444 301 301 0 90978 0
vsize: 365116
[startup+1000.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133525 0 0 0 99791 283 0 0 25 0 1 0 968052522 373878784 71448 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91279 71448 301 301 0 90978 0
vsize: 365116
[startup+1010.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133531 0 0 0 100791 283 0 0 25 0 1 0 968052522 373878784 71454 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91279 71454 301 301 0 90978 0
vsize: 365116
[startup+1020.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 133534 0 0 0 101792 283 0 0 25 0 1 0 968052522 373878784 71457 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91279 71457 301 301 0 90978 0
vsize: 365116
[startup+1030.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135184 0 0 0 102788 287 0 0 25 0 1 0 968052522 374403072 71490 4294967295 134512640 135730672 3221224592 3221222800 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71490 301 301 0 91106 0
vsize: 365628
[startup+1040.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135184 0 0 0 103788 287 0 0 25 0 1 0 968052522 374403072 71490 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71490 301 301 0 91106 0
vsize: 365628
[startup+1050.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135186 0 0 0 104788 287 0 0 25 0 1 0 968052522 374403072 71492 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71492 301 301 0 91106 0
vsize: 365628
[startup+1060.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135186 0 0 0 105788 287 0 0 25 0 1 0 968052522 374403072 71492 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71492 301 301 0 91106 0
vsize: 365628
[startup+1070.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135187 0 0 0 106788 287 0 0 25 0 1 0 968052522 374403072 71493 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71493 301 301 0 91106 0
vsize: 365628
[startup+1080.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135188 0 0 0 107789 287 0 0 25 0 1 0 968052522 374403072 71494 4294967295 134512640 135730672 3221224592 3221222992 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71494 301 301 0 91106 0
vsize: 365628
[startup+1090.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135188 0 0 0 108789 287 0 0 25 0 1 0 968052522 374403072 71494 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71494 301 301 0 91106 0
vsize: 365628
[startup+1100.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135190 0 0 0 109789 287 0 0 25 0 1 0 968052522 374403072 71496 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71496 301 301 0 91106 0
vsize: 365628
[startup+1110.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135194 0 0 0 110788 288 0 0 25 0 1 0 968052522 374403072 71500 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91407 71500 301 301 0 91106 0
vsize: 365628
[startup+1120.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135298 0 0 0 111789 288 0 0 25 0 1 0 968052522 374665216 71539 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71539 301 301 0 91170 0
vsize: 365884
[startup+1130.64 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135317 0 0 0 112789 288 0 0 25 0 1 0 968052522 374665216 71558 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71558 301 301 0 91170 0
vsize: 365884
[startup+1140.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135354 0 0 0 113789 288 0 0 25 0 1 0 968052522 374665216 71595 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71595 301 301 0 91170 0
vsize: 365884
[startup+1150.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135359 0 0 0 114789 289 0 0 25 0 1 0 968052522 374665216 71600 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71600 301 301 0 91170 0
vsize: 365884
[startup+1160.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135362 0 0 0 115789 289 0 0 25 0 1 0 968052522 374665216 71603 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71603 301 301 0 91170 0
vsize: 365884
[startup+1170.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135365 0 0 0 116789 289 0 0 25 0 1 0 968052522 374665216 71606 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71606 301 301 0 91170 0
vsize: 365884
[startup+1180.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135370 0 0 0 117789 289 0 0 25 0 1 0 968052522 374665216 71611 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71611 301 301 0 91170 0
vsize: 365884
[startup+1190.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135388 0 0 0 118789 289 0 0 25 0 1 0 968052522 374665216 71629 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71629 301 301 0 91170 0
vsize: 365884
[startup+1200.65 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135390 0 0 0 119789 289 0 0 25 0 1 0 968052522 374665216 71631 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71631 301 301 0 91170 0
vsize: 365884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.9 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 16365
Raw data (stat): 16308 (pb2sat-v2) R 16307 20224 20223 0 -1 0 135390 0 0 0 119789 289 0 0 25 0 1 0 968052522 374665216 71631 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91471 71631 301 301 0 91170 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.9
CPU time (s): 1202.94
CPU user time (s): 1199.89
CPU system time (s): 3.04154
CPU usage (%): 100.003
Max. virtual memory (Kb): 368344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3096
#### END VERIFIER DATA ####