PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	14
Trace number 42078

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        827240 kB
Buffers:         33820 kB
Cached:         149948 kB
SwapCached:       1192 kB
Active:          76732 kB
Inactive:       109360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826988 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15604 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 23:44:14 (client local time) WITH STATUS 30 IN 935.451 SECONDS
stats: 25278 0 935.451 30
#### 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: 100
c small objective detected
c CONFLICT during preprocess 
c [startup+0.777846 s]  setting bit 7 to 0
c [startup+2.76395 s]  setting bit 6 to 0

c Decision: 4656/15361	Time: 5.47617/86400
c Decision: 4657/15361	Time: 10.7884/86400
c Decision: 5117/15361	Time: 18.4072/86400
c Decision: 5306/15361	Time: 22.7255/86400
c Decision: 5306/15361	Time: 26.6699/86400
c Decision: 5307/15361	Time: 31.1043/86400
c Decision: 6158/15361	Time: 39.529/86400
c Decision: 6205/15361	Time: 46.8769/86400
c Decision: 6205/15361	Time: 51.4842/86400
c Decision: 6351/15361	Time: 57.4013/86400
c [startup+64.6244 s]  setting bit 5 to 0

c Decision: 2807/15361	Time: 25.0012/86400
c Decision: 2809/15361	Time: 32.1991/86400
c Decision: 2809/15361	Time: 35.2196/86400
c Decision: 3048/15361	Time: 39.679/86400
c Decision: 3237/15361	Time: 44.3013/86400
c Decision: 3237/15361	Time: 47.6178/86400
c Decision: 3237/15361	Time: 50.9643/86400
c Decision: 3238/15361	Time: 57.9862/86400
c Decision: 3238/15361	Time: 61.8146/86400
c Decision: 3238/15361	Time: 65.89/86400
c Decision: 3238/15361	Time: 69.3665/86400
c Decision: 3655/15361	Time: 77.3712/86400
c Decision: 3851/15361	Time: 81.3266/86400
c Decision: 3970/15361	Time: 84.9841/86400
c Decision: 4091/15361	Time: 91.0932/86400
c Decision: 4091/15361	Time: 95.1555/86400
c Decision: 4091/15361	Time: 98.8/86400
c Decision: 4092/15361	Time: 103.239/86400
c Decision: 4092/15361	Time: 106.713/86400
c Decision: 4092/15361	Time: 110.728/86400
c Decision: 4092/15361	Time: 114.942/86400
c Decision: 4092/15361	Time: 118.876/86400
c Decision: 4338/15361	Time: 124.425/86400
c Decision: 4338/15361	Time: 127.641/86400
c Decision: 4461/15361	Time: 130.607/86400
c Decision: 4461/15361	Time: 134.67/86400
c Decision: 4461/15361	Time: 138.008/86400
c Decision: 4461/15361	Time: 142.203/86400
c Decision: 4461/15361	Time: 145.906/86400
c Decision: 4590/15361	Time: 150.656/86400
c Decision: 4590/15361	Time: 154.291/86400
c Decision: 4590/15361	Time: 158.215/86400
c Decision: 4590/15361	Time: 163.2/86400
c Decision: 4649/15361	Time: 168.527/86400
c Decision: 4687/15361	Time: 176.163/86400
c Decision: 4688/15361	Time: 182.001/86400
c Decision: 4688/15361	Time: 185.917/86400
c Decision: 4688/15361	Time: 189.879/86400
c Decision: 4689/15361	Time: 194.05/86400
c Decision: 4689/15361	Time: 198.149/86400
c Decision: 4689/15361	Time: 202.706/86400
c Decision: 4689/15361	Time: 206.219/86400
c Decision: 4689/15361	Time: 210.064/86400
c Decision: 4689/15361	Time: 213.797/86400
c Decision: 4689/15361	Time: 217.158/86400
c Decision: 4836/15361	Time: 223.943/86400
c Decision: 4836/15361	Time: 227.814/86400
c Decision: 4963/15361	Time: 233.765/86400
c Decision: 4964/15361	Time: 239.782/86400
c Decision: 4964/15361	Time: 243.346/86400
c Decision: 4964/15361	Time: 248.531/86400
c Decision: 5311/15361	Time: 257.133/86400
c Decision: 5311/15361	Time: 261.532/86400
c Decision: 5377/15361	Time: 268.58/86400
c Decision: 5377/15361	Time: 272.006/86400
c Decision: 5377/15361	Time: 275.71/86400
c Decision: 5499/15361	Time: 281.653/86400
c Decision: 5624/15361	Time: 289.233/86400
c Decision: 5624/15361	Time: 293.546/86400
c Decision: 5624/15361	Time: 297.323/86400
c Decision: 5624/15361	Time: 302.122/86400
c Decision: 5624/15361	Time: 306.507/86400
c Decision: 6235/15361	Time: 311.604/86400
c Decision: 6235/15361	Time: 316.868/86400
c Decision: 6235/15361	Time: 320.689/86400
c Decision: 6235/15361	Time: 324.873/86400
c Decision: 6235/15361	Time: 330.524/86400
c Decision: 6297/15361	Time: 338.301/86400
c Decision: 6297/15361	Time: 342.677/86400
c Decision: 6297/15361	Time: 346.773/86400
c Decision: 6297/15361	Time: 350.451/86400
c Decision: 6426/15361	Time: 356.542/86400
c Decision: 6426/15361	Time: 360.726/86400
c Decision: 6426/15361	Time: 364.911/86400
c Decision: 6427/15361	Time: 369.574/86400
c Decision: 6427/15361	Time: 373.892/86400
c Decision: 6427/15361	Time: 378.201/86400
c Decision: 6427/15361	Time: 383.236/86400
c Decision: 6427/15361	Time: 387.714/86400
c Decision: 6427/15361	Time: 393.421/86400
c Decision: 6556/15361	Time: 399.221/86400
c Decision: 6675/15361	Time: 409.276/86400
c Decision: 6675/15361	Time: 413.142/86400
c Decision: 6676/15361	Time: 422.589/86400
c Decision: 6682/15361	Time: 427.927/86400
c Decision: 6682/15361	Time: 433.23/86400
c Decision: 6682/15361	Time: 437.683/86400
c [startup+507.608 s]  setting bit 4 to 0

c got solution with objective value: 91
c [startup+507.809 s]  setting bit 3 to 1

c got solution with objective value: 87
c [startup+510.26 s]  setting bit 2 to 1

c Decision: 2119/15361	Time: 25.7201/86400
c Decision: 2119/15361	Time: 28.9676/86400
c Decision: 2119/15361	Time: 32.7/86400
c Decision: 2119/15361	Time: 36.0415/86400
c Decision: 2119/15361	Time: 40.1399/86400
c Decision: 2119/15361	Time: 43.6634/86400
c Decision: 2119/15361	Time: 47.9267/86400
c Decision: 2119/15361	Time: 52.2611/86400
c Decision: 2356/15361	Time: 57.1633/86400
c Decision: 2356/15361	Time: 61.8466/86400
c Decision: 2356/15361	Time: 65.986/86400
c Decision: 2356/15361	Time: 69.6074/86400
c Decision: 2356/15361	Time: 73.9478/86400
c Decision: 2356/15361	Time: 77.9042/86400
c Decision: 2356/15361	Time: 81.9165/86400
c Decision: 2356/15361	Time: 86.1359/86400
c Decision: 2356/15361	Time: 89.6394/86400
c Decision: 2356/15361	Time: 92.7899/86400
c Decision: 2812/15361	Time: 98.0861/86400
c Decision: 2812/15361	Time: 102.063/86400
c Decision: 2812/15361	Time: 107.095/86400
c Decision: 2812/15361	Time: 111.184/86400
c Decision: 2812/15361	Time: 116.204/86400
c Decision: 2812/15361	Time: 120.736/86400
c Decision: 2812/15361	Time: 124.964/86400
c Decision: 2812/15361	Time: 129.402/86400
c Decision: 2812/15361	Time: 132.909/86400
c Decision: 2812/15361	Time: 138.077/86400
c Decision: 2813/15361	Time: 143.576/86400
c Decision: 2813/15361	Time: 149.312/86400
c Decision: 2813/15361	Time: 154.081/86400
c Decision: 3317/15361	Time: 161.523/86400
c Decision: 3317/15361	Time: 165.186/86400
c Decision: 3318/15361	Time: 173.188/86400
c Decision: 3318/15361	Time: 177.391/86400
c Decision: 3436/15361	Time: 184.183/86400
c Decision: 3555/15361	Time: 189.736/86400
c Decision: 3555/15361	Time: 194.573/86400
c Decision: 3555/15361	Time: 199.222/86400
c Decision: 3598/15361	Time: 209.524/86400
c Decision: 3598/15361	Time: 214.187/86400
c Decision: 3598/15361	Time: 218.021/86400
c Decision: 3598/15361	Time: 221.562/86400
c Decision: 3598/15361	Time: 226.581/86400
c Decision: 3598/15361	Time: 231.529/86400
c Decision: 3598/15361	Time: 235.968/86400
c Decision: 3598/15361	Time: 241.133/86400
c Decision: 3598/15361	Time: 245.632/86400
c Decision: 3598/15361	Time: 251.307/86400
c Decision: 3598/15361	Time: 256.089/86400
c Decision: 3668/15361	Time: 263.135/86400
c got solution with objective value: 85
c [startup+775.805 s]  setting bit 1 to 1

c Decision: 3477/15361	Time: 31.9511/86400
c Decision: 3477/15361	Time: 36.5714/86400
c Decision: 3477/15361	Time: 42.0646/86400
c Decision: 3477/15361	Time: 48.1587/86400
c Decision: 3477/15361	Time: 52.876/86400
c Decision: 3718/15361	Time: 62.4815/86400
c Decision: 3718/15361	Time: 67.5927/86400
c Decision: 3718/15361	Time: 72.8159/86400
c Decision: 3788/15361	Time: 80.5967/86400
c Decision: 3788/15361	Time: 85.1411/86400
c Decision: 3788/15361	Time: 90.5512/86400
c Decision: 3788/15361	Time: 95.1735/86400
c Decision: 3788/15361	Time: 99.8478/86400
c Decision: 3788/15361	Time: 104.619/86400
c Decision: 3788/15361	Time: 109.878/86400
c Decision: 3788/15361	Time: 115.361/86400
c Decision: 3788/15361	Time: 119.155/86400
c Decision: 3788/15361	Time: 124.135/86400
c Decision: 3788/15361	Time: 130.826/86400
c Decision: 3788/15361	Time: 135.615/86400
c Decision: 3788/15361	Time: 140.601/86400
c Decision: 3788/15361	Time: 146.388/86400
c Decision: 3788/15361	Time: 151.185/86400
c Decision: 3788/15361	Time: 155.412/86400
c got solution with objective value: 84
c [startup+935.202 s]  setting bit 0 to 1
s OPTIMUM FOUND
v x1 x10 x100 -x101 x102 -x103 -x104 -x105 x106 x107 -x108 -x109 x11 x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 x119 -x12 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 -x13 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 x139 -x14 -x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 x15 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 -x159 -x16 x160 -x161 x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x17 x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 x18 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 -x19 x190 -x191 -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x2 x20 x200 -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.70 0.91 0.89 1/55 7316
Raw data (stat): 7316 (runsolver) R 7315 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909228105 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.75 0.91 0.89 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 2407 0 0 0 994 4 0 0 25 0 1 0 909228105 9158656 1778 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2236 1778 301 301 0 1935 0
vsize: 8944
[startup+19.9999 s]
Raw data (loadavg): 0.79 0.91 0.89 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 2512 0 0 0 1993 6 0 0 25 0 1 0 909228105 9375744 1883 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2289 1883 301 301 0 1988 0
vsize: 9156
[startup+30.0007 s]
Raw data (loadavg): 0.82 0.92 0.89 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3039 0 0 0 2991 8 0 0 25 0 1 0 909228105 11038720 2025 4294967295 134512640 135730672 3221224592 3221222988 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2695 2025 301 301 0 2394 0
vsize: 10780
[startup+40.0006 s]
Raw data (loadavg): 0.85 0.92 0.89 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3113 0 0 0 3989 9 0 0 25 0 1 0 909228105 11096064 2099 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2709 2099 301 301 0 2408 0
vsize: 10836
[startup+50.0013 s]
Raw data (loadavg): 0.87 0.92 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3255 0 0 0 4988 10 0 0 25 0 1 0 909228105 13357056 2241 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3261 2241 301 301 0 2960 0
vsize: 13044
[startup+60.0011 s]
Raw data (loadavg): 0.89 0.92 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3364 0 0 0 5987 11 0 0 25 0 1 0 909228105 13389824 2350 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3269 2350 301 301 0 2968 0
vsize: 13076
[startup+70.0009 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3521 0 0 0 6986 12 0 0 25 0 1 0 909228105 13619200 2507 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3325 2507 301 301 0 3024 0
vsize: 13300
[startup+80.0016 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 3690 0 0 0 7985 13 0 0 25 0 1 0 909228105 13766656 2676 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3361 2676 301 301 0 3060 0
vsize: 13444
[startup+90.0014 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4025 0 0 0 8984 14 0 0 25 0 1 0 909228105 14622720 3011 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3570 3011 301 301 0 3269 0
vsize: 14280
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4038 0 0 0 9984 15 0 0 25 0 1 0 909228105 14622720 3024 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3570 3024 301 301 0 3269 0
vsize: 14280
[startup+110.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4050 0 0 0 10983 16 0 0 25 0 1 0 909228105 14622720 3036 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3570 3036 301 301 0 3269 0
vsize: 14280
[startup+120.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4074 0 0 0 11982 17 0 0 25 0 1 0 909228105 14671872 3060 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3582 3060 301 301 0 3281 0
vsize: 14328
[startup+130.002 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4119 0 0 0 12981 18 0 0 25 0 1 0 909228105 14811136 3105 4294967295 134512640 135730672 3221224592 3221222880 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3616 3105 301 301 0 3315 0
vsize: 14464
[startup+140.001 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4148 0 0 0 13980 18 0 0 25 0 1 0 909228105 14884864 3134 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3634 3134 301 301 0 3333 0
vsize: 14536
[startup+150.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4288 0 0 0 14979 19 0 0 25 0 1 0 909228105 19292160 3274 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4710 3274 301 301 0 4409 0
vsize: 18840
[startup+160.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4434 0 0 0 15979 20 0 0 25 0 1 0 909228105 19443712 3420 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4747 3420 301 301 0 4446 0
vsize: 18988
[startup+170.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4464 0 0 0 16978 20 0 0 25 0 1 0 909228105 19517440 3450 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4765 3450 301 301 0 4464 0
vsize: 19060
[startup+180.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4615 0 0 0 17977 21 0 0 25 0 1 0 909228105 19611648 3601 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4788 3601 301 301 0 4487 0
vsize: 19152
[startup+190.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4712 0 0 0 18976 22 0 0 25 0 1 0 909228105 19791872 3698 4294967295 134512640 135730672 3221224592 3221222908 134732536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4832 3698 301 301 0 4531 0
vsize: 19328
[startup+200.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4867 0 0 0 19975 24 0 0 25 0 1 0 909228105 19873792 3853 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4852 3853 301 301 0 4551 0
vsize: 19408
[startup+210.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 4897 0 0 0 20974 25 0 0 25 0 1 0 909228105 19951616 3883 4294967295 134512640 135730672 3221224592 3221222976 134763623 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4871 3883 301 301 0 4570 0
vsize: 19484
[startup+220.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5027 0 0 0 21973 26 0 0 25 0 1 0 909228105 20119552 4013 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4912 4013 301 301 0 4611 0
vsize: 19648
[startup+230.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5073 0 0 0 22972 27 0 0 25 0 1 0 909228105 20271104 4059 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4949 4059 301 301 0 4648 0
vsize: 19796
[startup+240.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5109 0 0 0 23972 28 0 0 25 0 1 0 909228105 20443136 4095 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4991 4095 301 301 0 4690 0
vsize: 19964
[startup+250.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5250 0 0 0 24971 29 0 0 25 0 1 0 909228105 20717568 4236 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5058 4236 301 301 0 4757 0
vsize: 20232
[startup+260.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5274 0 0 0 25970 30 0 0 25 0 1 0 909228105 20762624 4260 4294967295 134512640 135730672 3221224592 3221222948 134740377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5069 4260 301 301 0 4768 0
vsize: 20276
[startup+270.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5290 0 0 0 26969 31 0 0 25 0 1 0 909228105 20795392 4276 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5077 4276 301 301 0 4776 0
vsize: 20308
[startup+280.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5313 0 0 0 27969 31 0 0 25 0 1 0 909228105 20844544 4299 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5089 4299 301 301 0 4788 0
vsize: 20356
[startup+290.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5403 0 0 0 28968 33 0 0 25 0 1 0 909228105 21004288 4389 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5128 4389 301 301 0 4827 0
vsize: 20512
[startup+300.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5544 0 0 0 29967 34 0 0 25 0 1 0 909228105 21127168 4530 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5158 4530 301 301 0 4857 0
vsize: 20632
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5725 0 0 0 30966 35 0 0 25 0 1 0 909228105 21291008 4711 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5198 4711 301 301 0 4897 0
vsize: 20792
[startup+320.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5796 0 0 0 31965 35 0 0 25 0 1 0 909228105 21422080 4782 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5230 4782 301 301 0 4929 0
vsize: 20920
[startup+330.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 5832 0 0 0 32965 36 0 0 25 0 1 0 909228105 21532672 4818 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5257 4818 301 301 0 4956 0
vsize: 21028
[startup+340.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 6000 0 0 0 33964 37 0 0 25 0 1 0 909228105 30027776 4986 4294967295 134512640 135730672 3221224592 3221222896 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7331 4986 301 301 0 7030 0
vsize: 29324
[startup+350.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 6055 0 0 0 34964 38 0 0 25 0 1 0 909228105 30232576 5041 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7381 5041 301 301 0 7080 0
vsize: 29524
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 6163 0 0 0 35963 39 0 0 25 0 1 0 909228105 30248960 5149 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7385 5149 301 301 0 7084 0
vsize: 29540
[startup+370.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 6296 0 0 0 36962 40 0 0 25 0 1 0 909228105 30404608 5282 4294967295 134512640 135730672 3221224592 3221223008 134748094 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7423 5282 301 301 0 7122 0
vsize: 29692
[startup+380.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 6349 0 0 0 37962 40 0 0 25 0 1 0 909228105 30560256 5335 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7461 5335 301 301 0 7160 0
vsize: 29844
[startup+390.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7282 0 0 0 38959 43 0 0 25 0 1 0 909228105 33824768 5499 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8258 5499 301 301 0 7957 0
vsize: 33032
[startup+400.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7320 0 0 0 39959 43 0 0 25 0 1 0 909228105 33955840 5537 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8290 5537 301 301 0 7989 0
vsize: 33160
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7446 0 0 0 40958 44 0 0 25 0 1 0 909228105 34140160 5663 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8335 5663 301 301 0 8034 0
vsize: 33340
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7535 0 0 0 41958 45 0 0 25 0 1 0 909228105 34172928 5752 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8343 5752 301 301 0 8042 0
vsize: 33372
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7573 0 0 0 42957 46 0 0 25 0 1 0 909228105 34287616 5790 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8371 5790 301 301 0 8070 0
vsize: 33484
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7594 0 0 0 43957 46 0 0 25 0 1 0 909228105 34328576 5811 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8381 5811 301 301 0 8080 0
vsize: 33524
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7607 0 0 0 44957 47 0 0 25 0 1 0 909228105 34349056 5824 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8386 5824 301 301 0 8085 0
vsize: 33544
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7625 0 0 0 45956 48 0 0 25 0 1 0 909228105 34390016 5842 4294967295 134512640 135730672 3221224592 3221222988 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8396 5842 301 301 0 8095 0
vsize: 33584
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7655 0 0 0 46956 48 0 0 25 0 1 0 909228105 34480128 5872 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8418 5872 301 301 0 8117 0
vsize: 33672
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7756 0 0 0 47956 48 0 0 25 0 1 0 909228105 34848768 5973 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8508 5973 301 301 0 8207 0
vsize: 34032
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7785 0 0 0 48955 49 0 0 25 0 1 0 909228105 34930688 6002 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8528 6002 301 301 0 8227 0
vsize: 34112
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7826 0 0 0 49955 50 0 0 25 0 1 0 909228105 35008512 6043 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8547 6043 301 301 0 8246 0
vsize: 34188
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7836 0 0 0 50954 50 0 0 25 0 1 0 909228105 35008512 6053 4294967295 134512640 135730672 3221224592 3221222928 134740276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8547 6053 301 301 0 8246 0
vsize: 34188
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7871 0 0 0 51954 51 0 0 25 0 1 0 909228105 35094528 6088 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8568 6088 301 301 0 8267 0
vsize: 34272
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7884 0 0 0 52953 52 0 0 25 0 1 0 909228105 35094528 6101 4294967295 134512640 135730672 3221224592 3221222880 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8568 6101 301 301 0 8267 0
vsize: 34272
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7931 0 0 0 53952 52 0 0 25 0 1 0 909228105 35237888 6148 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8603 6148 301 301 0 8302 0
vsize: 34412
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7945 0 0 0 54953 53 0 0 25 0 1 0 909228105 35385344 6162 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8639 6162 301 301 0 8338 0
vsize: 34556
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 7960 0 0 0 55951 54 0 0 25 0 1 0 909228105 35385344 6177 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8639 6177 301 301 0 8338 0
vsize: 34556
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8015 0 0 0 56951 55 0 0 25 0 1 0 909228105 35442688 6232 4294967295 134512640 135730672 3221224592 3221222880 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8653 6232 301 301 0 8352 0
vsize: 34612
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8043 0 0 0 57951 55 0 0 25 0 1 0 909228105 35508224 6260 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8669 6260 301 301 0 8368 0
vsize: 34676
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8054 0 0 0 58950 56 0 0 25 0 1 0 909228105 35508224 6271 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8669 6271 301 301 0 8368 0
vsize: 34676
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8065 0 0 0 59950 56 0 0 25 0 1 0 909228105 35508224 6282 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8669 6282 301 301 0 8368 0
vsize: 34676
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8092 0 0 0 60950 57 0 0 25 0 1 0 909228105 35577856 6309 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8686 6309 301 301 0 8385 0
vsize: 34744
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8101 0 0 0 61949 57 0 0 25 0 1 0 909228105 35577856 6318 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8686 6318 301 301 0 8385 0
vsize: 34744
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8130 0 0 0 62949 58 0 0 25 0 1 0 909228105 35659776 6347 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8706 6347 301 301 0 8405 0
vsize: 34824
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8166 0 0 0 63948 59 0 0 25 0 1 0 909228105 35766272 6383 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8732 6383 301 301 0 8431 0
vsize: 34928
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8182 0 0 0 64948 59 0 0 25 0 1 0 909228105 35901440 6399 4294967295 134512640 135730672 3221224592 3221222992 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8765 6399 301 301 0 8464 0
vsize: 35060
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8238 0 0 0 65947 60 0 0 25 0 1 0 909228105 36003840 6455 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8790 6455 301 301 0 8489 0
vsize: 35160
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8247 0 0 0 66947 61 0 0 25 0 1 0 909228105 36003840 6464 4294967295 134512640 135730672 3221224592 3221222960 134763944 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8790 6464 301 301 0 8489 0
vsize: 35160
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8419 0 0 0 67945 62 0 0 25 0 1 0 909228105 36114432 6636 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8817 6636 301 301 0 8516 0
vsize: 35268
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8564 0 0 0 68944 63 0 0 25 0 1 0 909228105 36270080 6781 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8855 6781 301 301 0 8554 0
vsize: 35420
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8645 0 0 0 69944 64 0 0 25 0 1 0 909228105 36368384 6862 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8879 6862 301 301 0 8578 0
vsize: 35516
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8666 0 0 0 70944 64 0 0 25 0 1 0 909228105 36417536 6883 4294967295 134512640 135730672 3221224592 3221222928 134740402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8891 6883 301 301 0 8590 0
vsize: 35564
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8718 0 0 0 71943 65 0 0 25 0 1 0 909228105 36593664 6935 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8934 6935 301 301 0 8633 0
vsize: 35736
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8729 0 0 0 72943 65 0 0 25 0 1 0 909228105 36593664 6946 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8934 6946 301 301 0 8633 0
vsize: 35736
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8756 0 0 0 73943 66 0 0 25 0 1 0 909228105 36671488 6973 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8953 6973 301 301 0 8652 0
vsize: 35812
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8764 0 0 0 74943 66 0 0 25 0 1 0 909228105 36671488 6981 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8953 6981 301 301 0 8652 0
vsize: 35812
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8773 0 0 0 75942 67 0 0 25 0 1 0 909228105 36671488 6990 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8953 6990 301 301 0 8652 0
vsize: 35812
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8823 0 0 0 76942 68 0 0 25 0 1 0 909228105 36847616 7040 4294967295 134512640 135730672 3221224592 3221222928 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8996 7040 301 301 0 8695 0
vsize: 35984
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8836 0 0 0 77941 68 0 0 25 0 1 0 909228105 36868096 7053 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9001 7053 301 301 0 8700 0
vsize: 36004
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8846 0 0 0 78941 69 0 0 25 0 1 0 909228105 36868096 7063 4294967295 134512640 135730672 3221224592 3221222880 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9001 7063 301 301 0 8700 0
vsize: 36004
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8856 0 0 0 79941 69 0 0 25 0 1 0 909228105 36868096 7073 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9001 7073 301 301 0 8700 0
vsize: 36004
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8891 0 0 0 80940 70 0 0 25 0 1 0 909228105 36978688 7108 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9028 7108 301 301 0 8727 0
vsize: 36112
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8899 0 0 0 81940 70 0 0 25 0 1 0 909228105 36978688 7116 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9028 7116 301 301 0 8727 0
vsize: 36112
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8923 0 0 0 82939 71 0 0 25 0 1 0 909228105 37191680 7140 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9080 7140 301 301 0 8779 0
vsize: 36320
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8963 0 0 0 83939 71 0 0 25 0 1 0 909228105 37240832 7180 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9092 7180 301 301 0 8791 0
vsize: 36368
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 8971 0 0 0 84938 72 0 0 25 0 1 0 909228105 37240832 7188 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9092 7188 301 301 0 8791 0
vsize: 36368
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9014 0 0 0 85938 73 0 0 25 0 1 0 909228105 37376000 7231 4294967295 134512640 135730672 3221224592 3221223040 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9125 7231 301 301 0 8824 0
vsize: 36500
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9022 0 0 0 86937 74 0 0 25 0 1 0 909228105 37376000 7239 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9125 7239 301 301 0 8824 0
vsize: 36500
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9032 0 0 0 87937 74 0 0 25 0 1 0 909228105 37376000 7249 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9125 7249 301 301 0 8824 0
vsize: 36500
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9076 0 0 0 88937 75 0 0 25 0 1 0 909228105 37539840 7293 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9165 7293 301 301 0 8864 0
vsize: 36660
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9098 0 0 0 89937 75 0 0 25 0 1 0 909228105 37703680 7315 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9205 7315 301 301 0 8904 0
vsize: 36820
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9120 0 0 0 90937 75 0 0 25 0 1 0 909228105 37703680 7337 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9205 7337 301 301 0 8904 0
vsize: 36820
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9201 0 0 0 91937 76 0 0 25 0 1 0 909228105 37998592 7418 4294967295 134512640 135730672 3221224592 3221222928 134740236 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9277 7418 301 301 0 8976 0
vsize: 37108
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9338 0 0 0 92935 77 0 0 25 0 1 0 909228105 37998592 7555 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9277 7555 301 301 0 8976 0
vsize: 37108
[startup+935.339 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7316
Raw data (stat): 7316 (pb2sat-v2) R 7315 8378 8377 0 -1 0 9338 0 0 0 92935 77 0 0 25 0 1 0 909228105 37998592 7555 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9277 7555 301 301 0 8976 0
vsize: 0

Child status: 30
Real time (s): 935.339
CPU time (s): 935.451
CPU user time (s): 934.651
CPU system time (s): 0.799878
CPU usage (%): 100.012
Max. virtual memory (Kb): 37108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	84
#### END VERIFIER DATA ####