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 35118

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 11:58:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24323 boxname=wulflinc17 idbench=397 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-p0201.opb
IDLAUNCH: 24323
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        708248 kB
Buffers:         34636 kB
Cached:         260740 kB
SwapCached:        628 kB
Active:          23220 kB
Inactive:       274176 kB
HighTotal:      131008 kB
HighFree:        43260 kB
LowTotal:       903652 kB
LowFree:        664988 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            23264 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:18:09 (client local time) WITH STATUS 10 IN 1202.05 SECONDS
stats: 24323 0 1202.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 2712
c [startup+53.6237 s]  setting bit 14 to 1
c CONFLICT during preprocess 
c [startup+57.5868 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+61.5851 s]  setting bit 12 to 0

Decision: 651157/946390	Time: 347.888/86400
Decision: 651164/946390	Time: 549.073/86400
Decision: 651164/946390	Time: 662.2/86400
Decision: 651172/946390	Time: 874.474/86400
Decision: 651178/946390	Time: 1084.9/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.92 0.97 0.91 2/54 19944
Raw data (stat): 19944 (runsolver) R 19943 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864634295 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+9.99972 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 30435 0 0 0 926 73 0 0 25 0 1 0 864634295 89985024 19291 4294967295 134512640 135726644 3221224592 3221209768 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21969 19292 300 300 0 21669 0
vsize: 87876
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 60065 0 0 0 1866 132 0 0 25 0 1 0 864634295 177160192 37695 4294967295 134512640 135726644 3221224592 3221185768 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43252 37695 300 300 0 42952 0
vsize: 173008
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 99733 0 0 0 2783 216 0 0 25 0 1 0 864634295 332857344 55180 4294967295 134512640 135726644 3221224592 3221203612 135280433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81264 55181 300 300 0 80964 0
vsize: 325056
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 118711 0 0 0 3742 257 0 0 25 0 1 0 864634295 350699520 73901 4294967295 134512640 135726644 3221224592 3221201768 134784072 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85620 73901 300 300 0 85320 0
vsize: 342480
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 129493 0 0 0 4717 282 0 0 25 0 1 0 864634295 371277824 82285 4294967295 134512640 135726644 3221224592 3221222896 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90644 82285 300 300 0 90344 0
vsize: 362576
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 134958 0 0 0 5704 295 0 0 25 0 1 0 864634295 386195456 85574 4294967295 134512640 135726644 3221224592 3221223168 134738095 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94286 85574 300 300 0 93986 0
vsize: 377144
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 138334 0 0 0 6696 302 0 0 25 0 1 0 864634295 384163840 84510 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93790 84510 300 300 0 93490 0
vsize: 375160
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 138654 0 0 0 7696 303 0 0 25 0 1 0 864634295 385097728 84731 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94018 84731 300 300 0 93718 0
vsize: 376072
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 138792 0 0 0 8695 304 0 0 25 0 1 0 864634295 385490944 84771 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94114 84771 300 300 0 93814 0
vsize: 376456
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139444 0 0 0 9694 305 0 0 25 0 1 0 864634295 387379200 85161 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94575 85161 300 300 0 94275 0
vsize: 378300
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19944
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139677 0 0 0 10694 305 0 0 25 0 1 0 864634295 387903488 85264 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94703 85264 300 300 0 94403 0
vsize: 378812
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 19947
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139843 0 0 0 11694 306 0 0 25 0 1 0 864634295 388165632 85365 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94767 85365 300 300 0 94467 0
vsize: 379068
[startup+130.002 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139902 0 0 0 12694 306 0 0 25 0 1 0 864634295 388362240 85424 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94815 85424 300 300 0 94515 0
vsize: 379260
[startup+140.003 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139903 0 0 0 13694 306 0 0 25 0 1 0 864634295 388362240 85425 4294967295 134512640 135726644 3221224592 3221223200 134744634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94815 85425 300 300 0 94515 0
vsize: 379260
[startup+150.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 139927 0 0 0 14694 307 0 0 25 0 1 0 864634295 388362240 85449 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94815 85449 300 300 0 94515 0
vsize: 379260
[startup+160.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140222 0 0 0 15693 308 0 0 25 0 1 0 864634295 389160960 85646 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95010 85646 300 300 0 94710 0
vsize: 380040
[startup+170.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140665 0 0 0 16691 309 0 0 25 0 1 0 864634295 391225344 86040 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86040 300 300 0 95214 0
vsize: 382056
[startup+180.002 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140669 0 0 0 17691 310 0 0 25 0 1 0 864634295 391225344 86044 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86044 300 300 0 95214 0
vsize: 382056
[startup+190.002 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19997
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140672 0 0 0 18691 310 0 0 25 0 1 0 864634295 391225344 86047 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86047 300 300 0 95214 0
vsize: 382056
[startup+200.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140681 0 0 0 19691 310 0 0 25 0 1 0 864634295 391225344 86056 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86056 300 300 0 95214 0
vsize: 382056
[startup+210.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140685 0 0 0 20691 310 0 0 25 0 1 0 864634295 391225344 86060 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86060 300 300 0 95214 0
vsize: 382056
[startup+220.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140688 0 0 0 21691 311 0 0 25 0 1 0 864634295 391225344 86063 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86063 300 300 0 95214 0
vsize: 382056
[startup+230.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140691 0 0 0 22691 311 0 0 25 0 1 0 864634295 391225344 86066 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86066 300 300 0 95214 0
vsize: 382056
[startup+240.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140696 0 0 0 23690 312 0 0 25 0 1 0 864634295 391225344 86071 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86071 300 300 0 95214 0
vsize: 382056
[startup+250.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140702 0 0 0 24690 312 0 0 25 0 1 0 864634295 391225344 86077 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86077 300 300 0 95214 0
vsize: 382056
[startup+260.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140720 0 0 0 25690 312 0 0 25 0 1 0 864634295 391225344 86095 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86095 300 300 0 95214 0
vsize: 382056
[startup+270.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140887 0 0 0 26689 313 0 0 25 0 1 0 864634295 391749632 86133 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95642 86133 300 300 0 95342 0
vsize: 382568
[startup+280.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140889 0 0 0 27689 314 0 0 25 0 1 0 864634295 391749632 86135 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95642 86135 300 300 0 95342 0
vsize: 382568
[startup+290.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140911 0 0 0 28689 314 0 0 25 0 1 0 864634295 391946240 86157 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95690 86157 300 300 0 95390 0
vsize: 382760
[startup+300.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140915 0 0 0 29688 314 0 0 25 0 1 0 864634295 391946240 86161 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95690 86161 300 300 0 95390 0
vsize: 382760
[startup+310.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140919 0 0 0 30689 315 0 0 25 0 1 0 864634295 391946240 86165 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95690 86165 300 300 0 95390 0
vsize: 382760
[startup+320.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140926 0 0 0 31688 315 0 0 25 0 1 0 864634295 391946240 86172 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95690 86172 300 300 0 95390 0
vsize: 382760
[startup+330.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 140931 0 0 0 32688 316 0 0 25 0 1 0 864634295 391946240 86177 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95690 86177 300 300 0 95390 0
vsize: 382760
[startup+340.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 141014 0 0 0 33688 316 0 0 25 0 1 0 864634295 392208384 86195 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95754 86195 300 300 0 95454 0
vsize: 383016
[startup+350.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 141018 0 0 0 34688 316 0 0 25 0 1 0 864634295 392208384 86199 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95754 86199 300 300 0 95454 0
vsize: 383016
[startup+360.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 141858 0 0 0 35686 318 0 0 25 0 1 0 864634295 394649600 86648 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96350 86648 300 300 0 96050 0
vsize: 385400
[startup+370.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 142834 0 0 0 36683 321 0 0 25 0 1 0 864634295 397692928 87136 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97093 87136 300 300 0 96793 0
vsize: 388372
[startup+380.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 142853 0 0 0 37683 322 0 0 25 0 1 0 864634295 397692928 87155 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97093 87155 300 300 0 96793 0
vsize: 388372
[startup+390.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 143003 0 0 0 38683 322 0 0 25 0 1 0 864634295 398090240 87239 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97190 87239 300 300 0 96890 0
vsize: 388760
[startup+400.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 143006 0 0 0 39683 322 0 0 25 0 1 0 864634295 398090240 87242 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97190 87242 300 300 0 96890 0
vsize: 388760
[startup+410.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 144875 0 0 0 40678 327 0 0 25 0 1 0 864634295 398090240 87262 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97190 87262 300 300 0 96890 0
vsize: 388760
[startup+420.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145011 0 0 0 41677 327 0 0 25 0 1 0 864634295 398553088 87365 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97303 87365 300 300 0 97003 0
vsize: 389212
[startup+430.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19999
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145304 0 0 0 42676 328 0 0 25 0 1 0 864634295 399474688 87495 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97528 87495 300 300 0 97228 0
vsize: 390112
[startup+440.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145418 0 0 0 43676 329 0 0 25 0 1 0 864634295 399736832 87544 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97592 87544 300 300 0 97292 0
vsize: 390368
[startup+450.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145504 0 0 0 44676 329 0 0 25 0 1 0 864634295 399998976 87565 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97656 87565 300 300 0 97356 0
vsize: 390624
[startup+460.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145518 0 0 0 45676 329 0 0 25 0 1 0 864634295 399998976 87579 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97656 87579 300 300 0 97356 0
vsize: 390624
[startup+470.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 145821 0 0 0 46675 330 0 0 25 0 1 0 864634295 400523264 87752 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97784 87752 300 300 0 97484 0
vsize: 391136
[startup+480.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146476 0 0 0 47674 331 0 0 25 0 1 0 864634295 402374656 88114 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98236 88114 300 300 0 97936 0
vsize: 392944
[startup+490.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146479 0 0 0 48674 331 0 0 25 0 1 0 864634295 402374656 88117 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98236 88117 300 300 0 97936 0
vsize: 392944
[startup+500.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146482 0 0 0 49674 332 0 0 25 0 1 0 864634295 402374656 88120 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98236 88120 300 300 0 97936 0
vsize: 392944
[startup+510.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146958 0 0 0 50674 332 0 0 25 0 1 0 864634295 403951616 88335 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98621 88335 300 300 0 98321 0
vsize: 394484
[startup+520.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146962 0 0 0 51674 332 0 0 25 0 1 0 864634295 403951616 88339 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98621 88339 300 300 0 98321 0
vsize: 394484
[startup+530.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 146982 0 0 0 52674 332 0 0 25 0 1 0 864634295 403951616 88359 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98621 88359 300 300 0 98321 0
vsize: 394484
[startup+540.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147135 0 0 0 53673 333 0 0 25 0 1 0 864634295 404475904 88382 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98749 88382 300 300 0 98449 0
vsize: 394996
[startup+550.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147142 0 0 0 54673 333 0 0 25 0 1 0 864634295 404475904 88389 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98749 88389 300 300 0 98449 0
vsize: 394996
[startup+560.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147145 0 0 0 55674 333 0 0 25 0 1 0 864634295 404475904 88392 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98749 88392 300 300 0 98449 0
vsize: 394996
[startup+570.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147151 0 0 0 56674 333 0 0 25 0 1 0 864634295 404475904 88398 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98749 88398 300 300 0 98449 0
vsize: 394996
[startup+580.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147243 0 0 0 57674 334 0 0 25 0 1 0 864634295 404738048 88425 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98813 88425 300 300 0 98513 0
vsize: 395252
[startup+590.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147366 0 0 0 58674 334 0 0 25 0 1 0 864634295 404979712 88478 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98872 88478 300 300 0 98572 0
vsize: 395488
[startup+600.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 147463 0 0 0 59673 334 0 0 25 0 1 0 864634295 405381120 88542 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88542 300 300 0 98670 0
vsize: 395880
[startup+610.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149316 0 0 0 60670 338 0 0 25 0 1 0 864634295 412954624 90395 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100819 90395 300 300 0 100519 0
vsize: 403276
[startup+620.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149320 0 0 0 61668 339 0 0 25 0 1 0 864634295 405381120 88550 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88550 300 300 0 98670 0
vsize: 395880
[startup+630.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149325 0 0 0 62668 339 0 0 25 0 1 0 864634295 405381120 88555 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88555 300 300 0 98670 0
vsize: 395880
[startup+640.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149328 0 0 0 63669 339 0 0 25 0 1 0 864634295 405381120 88558 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88558 300 300 0 98670 0
vsize: 395880
[startup+650.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149335 0 0 0 64669 339 0 0 25 0 1 0 864634295 405381120 88565 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88565 300 300 0 98670 0
vsize: 395880
[startup+660.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149340 0 0 0 65669 339 0 0 25 0 1 0 864634295 405381120 88570 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98970 88570 300 300 0 98670 0
vsize: 395880
[startup+670.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149475 0 0 0 66669 340 0 0 25 0 1 0 864634295 405917696 88672 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99101 88672 300 300 0 98801 0
vsize: 396404
[startup+680.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 149771 0 0 0 67668 341 0 0 25 0 1 0 864634295 407183360 88902 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99410 88902 300 300 0 99110 0
vsize: 397640
[startup+690.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 150063 0 0 0 68668 341 0 0 25 0 1 0 864634295 408109056 89062 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99636 89062 300 300 0 99336 0
vsize: 398544
[startup+700.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 150293 0 0 0 69668 341 0 0 25 0 1 0 864634295 408768512 89193 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99797 89193 300 300 0 99497 0
vsize: 399188
[startup+710.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 150316 0 0 0 70668 341 0 0 25 0 1 0 864634295 408768512 89216 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99797 89216 300 300 0 99497 0
vsize: 399188
[startup+720.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 150322 0 0 0 71668 342 0 0 25 0 1 0 864634295 408768512 89222 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99797 89222 300 300 0 99497 0
vsize: 399188
[startup+730.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152171 0 0 0 72663 346 0 0 25 0 1 0 864634295 408768512 89222 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99797 89222 300 300 0 99497 0
vsize: 399188
[startup+740.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152337 0 0 0 73663 346 0 0 25 0 1 0 864634295 409292800 89259 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89259 300 300 0 99625 0
vsize: 399700
[startup+750.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152341 0 0 0 74663 346 0 0 25 0 1 0 864634295 409292800 89263 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89263 300 300 0 99625 0
vsize: 399700
[startup+760.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152343 0 0 0 75664 346 0 0 25 0 1 0 864634295 409292800 89265 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89265 300 300 0 99625 0
vsize: 399700
[startup+770.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152346 0 0 0 76665 346 0 0 25 0 1 0 864634295 409292800 89268 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89268 300 300 0 99625 0
vsize: 399700
[startup+780.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152355 0 0 0 77665 346 0 0 25 0 1 0 864634295 409292800 89277 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89277 300 300 0 99625 0
vsize: 399700
[startup+790.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152361 0 0 0 78665 346 0 0 25 0 1 0 864634295 409292800 89283 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89283 300 300 0 99625 0
vsize: 399700
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152378 0 0 0 79665 346 0 0 25 0 1 0 864634295 409292800 89300 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89300 300 300 0 99625 0
vsize: 399700
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152380 0 0 0 80665 347 0 0 25 0 1 0 864634295 409292800 89302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89302 300 300 0 99625 0
vsize: 399700
[startup+820.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152386 0 0 0 81665 347 0 0 25 0 1 0 864634295 409292800 89308 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99925 89308 300 300 0 99625 0
vsize: 399700
[startup+830.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152706 0 0 0 82664 348 0 0 25 0 1 0 864634295 410079232 89433 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100117 89433 300 300 0 99817 0
vsize: 400468
[startup+840.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 152857 0 0 0 83664 348 0 0 25 0 1 0 864634295 410472448 89486 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100213 89486 300 300 0 99913 0
vsize: 400852
[startup+850.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153275 0 0 0 84663 349 0 0 25 0 1 0 864634295 411521024 89644 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100469 89644 300 300 0 100169 0
vsize: 401876
[startup+860.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153278 0 0 0 85663 350 0 0 25 0 1 0 864634295 411521024 89647 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100469 89647 300 300 0 100169 0
vsize: 401876
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153422 0 0 0 86663 350 0 0 25 0 1 0 864634295 412049408 89726 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100598 89726 300 300 0 100298 0
vsize: 402392
[startup+880.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153450 0 0 0 87663 350 0 0 25 0 1 0 864634295 412049408 89754 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100598 89754 300 300 0 100298 0
vsize: 402392
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153452 0 0 0 88663 350 0 0 25 0 1 0 864634295 412049408 89756 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100598 89756 300 300 0 100298 0
vsize: 402392
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153454 0 0 0 89664 350 0 0 25 0 1 0 864634295 412049408 89758 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100598 89758 300 300 0 100298 0
vsize: 402392
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153461 0 0 0 90664 350 0 0 25 0 1 0 864634295 412049408 89765 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100598 89765 300 300 0 100298 0
vsize: 402392
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153645 0 0 0 91664 351 0 0 25 0 1 0 864634295 412573696 89820 4294967295 134512640 135726644 3221224592 3221223232 134744671 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100726 89820 300 300 0 100426 0
vsize: 402904
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 153646 0 0 0 92664 351 0 0 25 0 1 0 864634295 412573696 89821 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100726 89821 300 300 0 100426 0
vsize: 402904
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 155717 0 0 0 93659 356 0 0 25 0 1 0 864634295 413097984 89913 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100854 89913 300 300 0 100554 0
vsize: 403416
[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 155722 0 0 0 94659 356 0 0 25 0 1 0 864634295 413097984 89918 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100854 89918 300 300 0 100554 0
vsize: 403416
[startup+960.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 155726 0 0 0 95659 356 0 0 25 0 1 0 864634295 413097984 89922 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100854 89922 300 300 0 100554 0
vsize: 403416
[startup+970.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 155731 0 0 0 96659 356 0 0 25 0 1 0 864634295 413097984 89927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100854 89927 300 300 0 100554 0
vsize: 403416
[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156019 0 0 0 97659 356 0 0 25 0 1 0 864634295 413884416 90021 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101046 90021 300 300 0 100746 0
vsize: 404184
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156023 0 0 0 98660 356 0 0 25 0 1 0 864634295 413884416 90025 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101046 90025 300 300 0 100746 0
vsize: 404184
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156023 0 0 0 99660 356 0 0 25 0 1 0 864634295 413884416 90025 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101046 90025 300 300 0 100746 0
vsize: 404184
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156234 0 0 0 100659 357 0 0 25 0 1 0 864634295 414408704 90107 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90107 300 300 0 100874 0
vsize: 404696
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156305 0 0 0 101660 357 0 0 25 0 1 0 864634295 414408704 90178 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90178 300 300 0 100874 0
vsize: 404696
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156308 0 0 0 102660 357 0 0 25 0 1 0 864634295 414408704 90181 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90181 300 300 0 100874 0
vsize: 404696
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156309 0 0 0 103660 357 0 0 25 0 1 0 864634295 414408704 90182 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90182 300 300 0 100874 0
vsize: 404696
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156311 0 0 0 104660 357 0 0 25 0 1 0 864634295 414408704 90184 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90184 300 300 0 100874 0
vsize: 404696
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156313 0 0 0 105660 357 0 0 25 0 1 0 864634295 414408704 90186 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101174 90186 300 300 0 100874 0
vsize: 404696
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156408 0 0 0 106660 357 0 0 25 0 1 0 864634295 414670848 90216 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90216 300 300 0 100938 0
vsize: 404952
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156410 0 0 0 107660 357 0 0 25 0 1 0 864634295 414670848 90218 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90218 300 300 0 100938 0
vsize: 404952
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156412 0 0 0 108660 357 0 0 25 0 1 0 864634295 414670848 90220 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90220 300 300 0 100938 0
vsize: 404952
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156414 0 0 0 109662 358 0 0 25 0 1 0 864634295 414670848 90222 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90222 300 300 0 100938 0
vsize: 404952
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156418 0 0 0 110661 358 0 0 25 0 1 0 864634295 414670848 90226 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90226 300 300 0 100938 0
vsize: 404952
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156431 0 0 0 111662 358 0 0 25 0 1 0 864634295 414670848 90239 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90239 300 300 0 100938 0
vsize: 404952
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156449 0 0 0 112662 358 0 0 25 0 1 0 864634295 414670848 90257 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90257 300 300 0 100938 0
vsize: 404952
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 156477 0 0 0 113662 358 0 0 25 0 1 0 864634295 414670848 90285 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90285 300 300 0 100938 0
vsize: 404952
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158327 0 0 0 114657 363 0 0 25 0 1 0 864634295 414670848 90286 4294967295 134512640 135726644 3221224592 3221223216 134744553 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101238 90286 300 300 0 100938 0
vsize: 404952
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158331 0 0 0 115657 363 0 0 25 0 1 0 864634295 414670848 90290 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90290 300 300 0 100938 0
vsize: 404952
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158335 0 0 0 116657 363 0 0 25 0 1 0 864634295 414670848 90294 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90294 300 300 0 100938 0
vsize: 404952
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158336 0 0 0 117657 363 0 0 25 0 1 0 864634295 414670848 90295 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90295 300 300 0 100938 0
vsize: 404952
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158339 0 0 0 118657 363 0 0 25 0 1 0 864634295 414670848 90298 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90298 300 300 0 100938 0
vsize: 404952
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20001
Raw data (stat): 19944 (pb2sat) R 19943 7475 7474 0 -1 0 158342 0 0 0 119657 363 0 0 25 0 1 0 864634295 414670848 90301 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101238 90301 300 300 0 100938 0
vsize: 404952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.88 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 20001
Raw data (stat): 19944 (pb2sat) Z 19943 7475 7474 0 -1 12 158343 0 0 0 119823 381 0 0 25 0 1 0 864634295 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.88
CPU time (s): 1202.05
CPU user time (s): 1198.23
CPU system time (s): 3.81842
CPU usage (%): 100.015
Max. virtual memory (Kb): 404952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2712
#### END VERIFIER DATA ####