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 25122

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 23:12:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5149 boxname=wulflinc31 idbench=397 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
IDLAUNCH: 5149
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        766164 kB
Buffers:         51856 kB
Cached:         187252 kB
SwapCached:       1952 kB
Active:         202628 kB
Inactive:        45384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765912 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14776 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 23:32:34 (client local time) WITH STATUS 10 IN 1175.34 SECONDS
stats: 5149 0 1175.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 201 variables and 289 constraints.
c preprocess terminated 0.258 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.1965
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2288 @ 11.816
c NEW SOLUTION FOUND: 2282 @ 14.57
c NEW SOLUTION FOUND: 2249 @ 14.645
c NEW SOLUTION FOUND: 2189 @ 14.908
c NEW SOLUTION FOUND: 2172 @ 16
c NEW SOLUTION FOUND: 2170 @ 16.332
c NEW SOLUTION FOUND: 2162 @ 16.379
c NEW SOLUTION FOUND: 2158 @ 16.432
c NEW SOLUTION FOUND: 2126 @ 16.659
c NEW SOLUTION FOUND: 2106 @ 16.671
c NEW SOLUTION FOUND: 2101 @ 16.681
c NEW SOLUTION FOUND: 2081 @ 16.697
c NEW SOLUTION FOUND: 2064 @ 17.512
c NEW SOLUTION FOUND: 2043 @ 17.911
c NEW SOLUTION FOUND: 1994 @ 18.294
c NEW SOLUTION FOUND: 1989 @ 19.609
c NEW SOLUTION FOUND: 1977 @ 20.809
c NEW SOLUTION FOUND: 1949 @ 21.291
c NEW SOLUTION FOUND: 1947 @ 23.577
c NEW SOLUTION FOUND: 1942 @ 24.781
c NEW SOLUTION FOUND: 1937 @ 27.014
c NEW SOLUTION FOUND: 1919 @ 30.041
c NEW SOLUTION FOUND: 1909 @ 30.837
c NEW SOLUTION FOUND: 1899 @ 35.312
c NEW SOLUTION FOUND: 1892 @ 39.316
c NEW SOLUTION FOUND: 1884 @ 39.804
c NEW SOLUTION FOUND: 1864 @ 40.591
c NEW SOLUTION FOUND: 1854 @ 40.692
c NEW SOLUTION FOUND: 1853 @ 52.817
c NEW SOLUTION FOUND: 1841 @ 55.003
c NEW SOLUTION FOUND: 1821 @ 55.727
c NEW SOLUTION FOUND: 1799 @ 68.459
c NEW SOLUTION FOUND: 1797 @ 79.862
c NEW SOLUTION FOUND: 1787 @ 79.877
c NEW SOLUTION FOUND: 1784 @ 91.591
c NEW SOLUTION FOUND: 1759 @ 92.582
c NEW SOLUTION FOUND: 1748 @ 103.13
c NEW SOLUTION FOUND: 1738 @ 105.131
c NEW SOLUTION FOUND: 1729 @ 207.402
c NEW SOLUTION FOUND: 1721 @ 321.068
c NEW SOLUTION FOUND: 1719 @ 404.462
c NEW SOLUTION FOUND: 1713 @ 425.058
c NEW SOLUTION FOUND: 1709 @ 472.727
c NEW SOLUTION FOUND: 1708 @ 531.121
c NEW SOLUTION FOUND: 1706 @ 542.224
c NEW SOLUTION FOUND: 1702 @ 650.19
c NEW SOLUTION FOUND: 1695 @ 662.08
c NEW SOLUTION FOUND: 1687 @ 664.366
c NEW SOLUTION FOUND: 1685 @ 666.168
c NEW SOLUTION FOUND: 1632 @ 723.076
c NEW SOLUTION FOUND: 1625 @ 761.693
s SATISFIABLE
v x0 -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 
c Exit Code: 10
c Total time: 1175.28 s
#### 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
Raw data (loadavg): 0.71 0.91 0.97 2/55 18463
Raw data (stat): 18463 (runsolver) R 18462 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 764959601 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.75 0.91 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 6556 0 0 0 978 18 0 0 25 0 1 0 764959601 6119424 812 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1494 812 1111 63 0 1431 0
vsize: 5976
[startup+20.0019 s]
Raw data (loadavg): 0.79 0.91 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 18884 0 0 0 1946 50 0 0 25 0 1 0 764959601 7667712 1190 4294967295 134512640 134714508 3221221792 3221219928 1077377641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 1190 1111 63 0 1809 0
vsize: 7488
[startup+30.0019 s]
Raw data (loadavg): 0.82 0.92 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 30826 0 0 0 2916 80 0 0 25 0 1 0 764959601 9826304 1661 4294967295 134512640 134714508 3221221792 3221217824 1074790215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2399 1661 1111 63 0 2336 0
vsize: 9596
[startup+40.0023 s]
Raw data (loadavg): 0.85 0.92 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 41574 0 0 0 3888 108 0 0 25 0 1 0 764959601 10969088 1997 4294967295 134512640 134714508 3221221792 3221220144 1074142985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2678 1997 1111 63 0 2615 0
vsize: 10712
[startup+50.0032 s]
Raw data (loadavg): 0.87 0.92 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 52463 0 0 0 4861 136 0 0 25 0 1 0 764959601 12828672 2386 4294967295 134512640 134714508 3221221792 3221218324 1074260651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2386 1111 63 0 3069 0
vsize: 12528
[startup+60.0037 s]
Raw data (loadavg): 0.89 0.92 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 63468 0 0 0 5833 163 0 0 25 0 1 0 764959601 14065664 2754 4294967295 134512640 134714508 3221221792 3221219752 1074138279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2754 1111 63 0 3371 0
vsize: 13736
[startup+70.005 s]
Raw data (loadavg): 0.91 0.92 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 73293 0 0 0 6810 187 0 0 25 0 1 0 764959601 15720448 3158 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 3158 1111 63 0 3775 0
vsize: 15352
[startup+80.0055 s]
Raw data (loadavg): 0.92 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 81240 0 0 0 7788 209 0 0 25 0 1 0 764959601 17260544 3463 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4214 3463 1111 63 0 4151 0
vsize: 16856
[startup+90.0053 s]
Raw data (loadavg): 0.93 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 88463 0 0 0 8769 228 0 0 25 0 1 0 764959601 18026496 3635 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 3635 1111 63 0 4338 0
vsize: 17604
[startup+100.006 s]
Raw data (loadavg): 0.94 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 96151 0 0 0 9751 246 0 0 25 0 1 0 764959601 18640896 3870 4294967295 134512640 134714508 3221221792 3221219520 1075829517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4551 3870 1111 63 0 4488 0
vsize: 18204
[startup+110.007 s]
Raw data (loadavg): 0.95 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 104516 0 0 0 10728 269 0 0 25 0 1 0 764959601 19431424 4064 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4744 4064 1111 63 0 4681 0
vsize: 18976
[startup+120.007 s]
Raw data (loadavg): 0.96 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 112671 0 0 0 11706 291 0 0 25 0 1 0 764959601 20860928 4351 4294967295 134512640 134714508 3221221792 3221217892 1075964264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4351 1111 63 0 5030 0
vsize: 20372
[startup+130.007 s]
Raw data (loadavg): 0.96 0.93 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 120814 0 0 0 12686 311 0 0 25 0 1 0 764959601 21417984 4550 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5229 4550 1111 63 0 5166 0
vsize: 20916
[startup+140.008 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 124260 0 0 0 13678 319 0 0 25 0 1 0 764959601 22409216 4798 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4798 1111 63 0 5408 0
vsize: 21884
[startup+150.008 s]
Raw data (loadavg): 0.97 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 126827 0 0 0 14671 327 0 0 25 0 1 0 764959601 22364160 4758 4294967295 134512640 134714508 3221221792 3221219520 1075828615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5460 4758 1111 63 0 5397 0
vsize: 21840
[startup+160.008 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 132078 0 0 0 15659 339 0 0 25 0 1 0 764959601 23482368 4773 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4773 1111 63 0 5670 0
vsize: 22932
[startup+170.008 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 135788 0 0 0 16651 347 0 0 25 0 1 0 764959601 24961024 5270 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6094 5270 1111 63 0 6031 0
vsize: 24376
[startup+180.008 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 163494 0 0 0 17590 408 0 0 25 0 1 0 764959601 22601728 4845 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4845 1111 63 0 5455 0
vsize: 22072
[startup+190.009 s]
Raw data (loadavg): 0.98 0.94 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 186327 0 0 0 18541 458 0 0 25 0 1 0 764959601 23515136 5068 4294967295 134512640 134714508 3221221792 3221219672 1077380277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5741 5068 1111 63 0 5678 0
vsize: 22964
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 208859 0 0 0 19492 507 0 0 25 0 1 0 764959601 26505216 5410 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6471 5422 1111 63 0 6408 0
vsize: 25884
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 223249 0 0 0 20460 539 0 0 25 0 1 0 764959601 25055232 5444 4294967295 134512640 134714508 3221221792 3221219136 1074839069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6117 5444 1111 63 0 6054 0
vsize: 24468
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 235537 0 0 0 21430 569 0 0 25 0 1 0 764959601 27103232 5647 4294967295 134512640 134714508 3221221792 3221217952 1075093809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6617 5647 1111 63 0 6554 0
vsize: 26468
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 245222 0 0 0 22407 593 0 0 25 0 1 0 764959601 25989120 5672 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6345 5672 1111 63 0 6282 0
vsize: 25380
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 254600 0 0 0 23385 614 0 0 25 0 1 0 764959601 27512832 5750 4294967295 134512640 134714508 3221221792 3221218000 1074815234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5750 1111 63 0 6654 0
vsize: 26868
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 276272 0 0 0 24335 664 0 0 25 0 1 0 764959601 28450816 5956 4294967295 134512640 134714508 3221221792 3221218160 1075894562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6946 5956 1111 63 0 6883 0
vsize: 27784
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 298292 0 0 0 25284 715 0 0 25 0 1 0 764959601 28971008 6109 4294967295 134512640 134714508 3221221792 3221218912 1074834346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6773 6003 1111 63 0 6710 0
vsize: 28292
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 323219 0 0 0 26226 774 0 0 25 0 1 0 764959601 28295168 6227 4294967295 134512640 134714508 3221221792 3221219520 1075635378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6904 6227 1111 63 0 6841 0
vsize: 27632
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 349406 0 0 0 27166 834 0 0 25 0 1 0 764959601 30838784 6560 4294967295 134512640 134714508 3221221792 3221217760 1075965232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7529 6560 1111 63 0 7466 0
vsize: 30116
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 376096 0 0 0 28107 893 0 0 25 0 1 0 764959601 31297536 6678 4294967295 134512640 134714508 3221221792 3221218348 1075088528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7641 6678 1111 63 0 7578 0
vsize: 30564
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 401819 0 0 0 29047 954 0 0 25 0 1 0 764959601 32231424 6801 4294967295 134512640 134714508 3221221792 3221218324 1075863672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7869 6801 1111 63 0 7806 0
vsize: 31476
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 420530 0 0 0 30003 998 0 0 25 0 1 0 764959601 31219712 6949 4294967295 134512640 134714508 3221221792 3221219688 1077374758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7622 6949 1111 63 0 7559 0
vsize: 30488
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 444552 0 0 0 30950 1051 0 0 25 0 1 0 764959601 33439744 7107 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8164 7118 1111 63 0 8101 0
vsize: 32656
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 472377 0 0 0 31888 1113 0 0 25 0 1 0 764959601 32616448 7290 4294967295 134512640 134714508 3221221792 3221219792 1074915936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7290 1111 63 0 7900 0
vsize: 31852
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 493578 0 0 0 32841 1161 0 0 25 0 1 0 764959601 33394688 7478 4294967295 134512640 134714508 3221221792 3221220072 1074138297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8153 7478 1111 63 0 8090 0
vsize: 32612
[startup+350.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 520136 0 0 0 33782 1219 0 0 25 0 1 0 764959601 35958784 7817 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8779 7817 1111 63 0 8716 0
vsize: 35116
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 539835 0 0 0 34738 1264 0 0 25 0 1 0 764959601 35123200 7902 4294967295 134512640 134714508 3221221792 3221219072 1074140044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8575 7902 1111 63 0 8512 0
vsize: 34300
[startup+370.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 558842 0 0 0 35695 1307 0 0 25 0 1 0 764959601 36003840 8117 4294967295 134512640 134714508 3221221792 3221220272 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8790 8117 1111 63 0 8727 0
vsize: 35160
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 585657 0 0 0 36633 1369 0 0 25 0 1 0 764959601 38821888 8439 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9478 8450 1111 63 0 9415 0
vsize: 37912
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 609018 0 0 0 37579 1423 0 0 25 0 1 0 764959601 39501824 8680 4294967295 134512640 134714508 3221221792 3221218112 1075169552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9644 8680 1111 63 0 9581 0
vsize: 38576
[startup+400.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 632029 0 0 0 38530 1473 0 0 25 0 1 0 764959601 39010304 8845 4294967295 134512640 134714508 3221221792 3221220144 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9524 8845 1111 63 0 9461 0
vsize: 38096
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 658259 0 0 0 39473 1529 0 0 25 0 1 0 764959601 39804928 9045 4294967295 134512640 134714508 3221221792 3221218896 1074138611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10118 9052 1111 63 0 10055 0
vsize: 38872
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 682560 0 0 0 40419 1584 0 0 25 0 1 0 764959601 42446848 9398 4294967295 134512640 134714508 3221221792 3221217952 1075093271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10363 9398 1111 63 0 10300 0
vsize: 41452
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 704131 0 0 0 41370 1633 0 0 25 0 1 0 764959601 42119168 9603 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10483 9605 1111 63 0 10420 0
vsize: 41132
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 721479 0 0 0 42331 1672 0 0 25 0 1 0 764959601 44634112 9923 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10897 9923 1111 63 0 10834 0
vsize: 43588
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 744384 0 0 0 43281 1722 0 0 25 0 1 0 764959601 43778048 10015 4294967295 134512640 134714508 3221221792 3221219756 1074206265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10688 10015 1111 63 0 10625 0
vsize: 42752
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 763705 0 0 0 44236 1767 0 0 25 0 1 0 764959601 46424064 10340 4294967295 134512640 134714508 3221221792 3221217820 1074788004 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11334 10340 1111 63 0 11271 0
vsize: 45336
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 789485 0 0 0 45179 1824 0 0 25 0 1 0 764959601 46981120 10501 4294967295 134512640 134714508 3221221792 3221218712 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11470 10501 1111 63 0 11407 0
vsize: 45880
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 808229 0 0 0 46134 1869 0 0 25 0 1 0 764959601 47845376 10651 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11681 10662 1111 63 0 11618 0
vsize: 46724
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 822821 0 0 0 47100 1904 0 0 25 0 1 0 764959601 46673920 10719 4294967295 134512640 134714508 3221221792 3221219072 1074140026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11395 10719 1111 63 0 11332 0
vsize: 45580
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 841869 0 0 0 48056 1948 0 0 25 0 1 0 764959601 47423488 10902 4294967295 134512640 134714508 3221221792 3221219792 1074918472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11578 10902 1111 63 0 11515 0
vsize: 46312
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 857525 0 0 0 49019 1985 0 0 25 0 1 0 764959601 48250880 11104 4294967295 134512640 134714508 3221221792 3221220396 1074017184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11780 11104 1111 63 0 11717 0
vsize: 47120
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 873210 0 0 0 49983 2021 0 0 25 0 1 0 764959601 48967680 11275 4294967295 134512640 134714508 3221221792 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11955 11275 1111 63 0 11892 0
vsize: 47820
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 901174 0 0 0 50921 2084 0 0 25 0 1 0 764959601 49897472 11499 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12182 11499 1111 63 0 12119 0
vsize: 48728
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 936034 0 0 0 51844 2161 0 0 25 0 1 0 764959601 50900992 11743 4294967295 134512640 134714508 3221221792 3221219520 1075635468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12427 11743 1111 63 0 12364 0
vsize: 49708
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 962281 0 0 0 52785 2220 0 0 25 0 1 0 764959601 51572736 11907 4294967295 134512640 134714508 3221221792 3221220424 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12591 11907 1111 63 0 12528 0
vsize: 50364
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 982665 0 0 0 53739 2266 0 0 25 0 1 0 764959601 54009856 12184 4294967295 134512640 134714508 3221221792 3221217952 1075094100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13186 12184 1111 63 0 13123 0
vsize: 52744
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1001274 0 0 0 54695 2311 0 0 25 0 1 0 764959601 52903936 12232 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12916 12232 1111 63 0 12853 0
vsize: 51664
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1023951 0 0 0 55645 2360 0 0 25 0 1 0 764959601 55504896 12578 4294967295 134512640 134714508 3221221792 3221217760 1075965294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13551 12578 1111 63 0 13488 0
vsize: 54204
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1044438 0 0 0 56598 2408 0 0 25 0 1 0 764959601 54530048 12629 4294967295 134512640 134714508 3221221792 3221219720 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13313 12629 1111 63 0 13250 0
vsize: 53252
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1064719 0 0 0 57551 2455 0 0 25 0 1 0 764959601 55353344 12826 4294967295 134512640 134714508 3221221792 3221220256 1074121071 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13514 12826 1111 63 0 13451 0
vsize: 54056
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1091422 0 0 0 58489 2517 0 0 25 0 1 0 764959601 56455168 13097 4294967295 134512640 134714508 3221221792 3221220144 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13783 13097 1111 63 0 13720 0
vsize: 55132
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1110195 0 0 0 59444 2562 0 0 25 0 1 0 764959601 56950784 13218 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13904 13218 1111 63 0 13841 0
vsize: 55616
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1133997 0 0 0 60390 2617 0 0 25 0 1 0 764959601 57724928 13406 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14093 13406 1111 63 0 14030 0
vsize: 56372
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1159310 0 0 0 61329 2677 0 0 25 0 1 0 764959601 58605568 13622 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14308 13622 1111 63 0 14245 0
vsize: 57232
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1175191 0 0 0 62294 2713 0 0 25 0 1 0 764959601 61165568 13924 4294967295 134512640 134714508 3221221792 3221218064 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14933 13924 1111 63 0 14870 0
vsize: 59732
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1207059 0 0 0 63221 2786 0 0 25 0 1 0 764959601 60768256 14142 4294967295 134512640 134714508 3221221792 3221220160 1074153866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14836 14142 1111 63 0 14773 0
vsize: 59344
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1229304 0 0 0 64169 2837 0 0 25 0 1 0 764959601 63365120 14396 4294967295 134512640 134714508 3221221792 3221218384 1074884314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15470 14396 1111 63 0 15407 0
vsize: 61880
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1250263 0 0 0 65121 2886 0 0 25 0 1 0 764959601 62644224 14588 4294967295 134512640 134714508 3221221792 3221220072 1074138285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15294 14588 1111 63 0 15231 0
vsize: 61176
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1270013 0 0 0 66077 2930 0 0 25 0 1 0 764959601 63418368 14797 4294967295 134512640 134714508 3221221792 3221219792 1074918174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15483 14797 1111 63 0 15420 0
vsize: 61932
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1287302 0 0 0 67037 2970 0 0 25 0 1 0 764959601 65708032 15064 4294967295 134512640 134714508 3221221792 3221217756 1074788159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16042 15065 1111 63 0 15979 0
vsize: 64168
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1305987 0 0 0 67993 3015 0 0 25 0 1 0 764959601 65196032 15191 4294967295 134512640 134714508 3221221792 3221219520 1075828459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15917 15191 1111 63 0 15854 0
vsize: 63668
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1320694 0 0 0 68960 3047 0 0 25 0 1 0 764959601 65900544 15378 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16089 15378 1111 63 0 16026 0
vsize: 64356
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1330778 0 0 0 69932 3075 0 0 25 0 1 0 764959601 67010560 15664 4294967295 134512640 134714508 3221221792 3221219504 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 15664 1111 63 0 16297 0
vsize: 65440
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1337720 0 0 0 70916 3091 0 0 25 0 1 0 764959601 66539520 15542 4294967295 134512640 134714508 3221221792 3221219192 1075082273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16245 15542 1111 63 0 16182 0
vsize: 64980
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1348122 0 0 0 71892 3116 0 0 25 0 1 0 764959601 66732032 15596 4294967295 134512640 134714508 3221221792 3221220348 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16292 15596 1111 63 0 16229 0
vsize: 65168
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1363999 0 0 0 72857 3151 0 0 25 0 1 0 764959601 68861952 15772 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16812 15783 1111 63 0 16749 0
vsize: 67248
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1378054 0 0 0 73822 3186 0 0 25 0 1 0 764959601 68427776 15999 4294967295 134512640 134714508 3221221792 3221219552 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16706 15999 1111 63 0 16643 0
vsize: 66824
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1378324 0 0 0 74821 3187 0 0 25 0 1 0 764959601 69259264 16213 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16909 16213 1111 63 0 16846 0
vsize: 67636
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1380860 0 0 0 75815 3193 0 0 25 0 1 0 764959601 74428416 17401 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18171 17401 1111 63 0 18108 0
vsize: 72684
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1382698 0 0 0 76810 3198 0 0 25 0 1 0 764959601 69369856 16240 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16936 16240 1111 63 0 16873 0
vsize: 67744
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1383448 0 0 0 77808 3200 0 0 25 0 1 0 764959601 70156288 16431 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17128 16431 1111 63 0 17065 0
vsize: 68512
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1388230 0 0 0 78797 3212 0 0 25 0 1 0 764959601 68427776 16000 4294967295 134512640 134714508 3221221792 3221219712 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16706 16000 1111 63 0 16643 0
vsize: 66824
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1392763 0 0 0 79786 3223 0 0 25 0 1 0 764959601 68509696 16000 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16726 16000 1111 63 0 16663 0
vsize: 66904
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1401056 0 0 0 80766 3244 0 0 25 0 1 0 764959601 67911680 15884 4294967295 134512640 134714508 3221221792 3221219744 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15884 1111 63 0 16517 0
vsize: 66320
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1406307 0 0 0 81753 3256 0 0 25 0 1 0 764959601 68399104 16003 4294967295 134512640 134714508 3221221792 3221219552 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16699 16003 1111 63 0 16636 0
vsize: 66796
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1411622 0 0 0 82741 3269 0 0 25 0 1 0 764959601 69165056 16189 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16886 16189 1111 63 0 16823 0
vsize: 67544
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1419039 0 0 0 83724 3286 0 0 25 0 1 0 764959601 68243456 15965 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16661 15965 1111 63 0 16598 0
vsize: 66644
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1421062 0 0 0 84718 3291 0 0 25 0 1 0 764959601 69521408 16277 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16973 16277 1111 63 0 16910 0
vsize: 67892
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1425610 0 0 0 85709 3301 0 0 25 0 1 0 764959601 69558272 16286 4294967295 134512640 134714508 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16982 16286 1111 63 0 16919 0
vsize: 67928
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1425610 0 0 0 86709 3301 0 0 25 0 1 0 764959601 69558272 16286 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16982 16286 1111 63 0 16919 0
vsize: 67928
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1429080 0 0 0 87700 3311 0 0 25 0 1 0 764959601 69201920 16199 4294967295 134512640 134714508 3221221792 3221219424 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16895 16199 1111 63 0 16832 0
vsize: 67580
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1430037 0 0 0 88697 3314 0 0 25 0 1 0 764959601 71892992 16856 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17552 16856 1111 63 0 17489 0
vsize: 70208
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1433419 0 0 0 89687 3323 0 0 25 0 1 0 764959601 69459968 16262 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16958 16262 1111 63 0 16895 0
vsize: 67832
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1434063 0 0 0 90686 3325 0 0 25 0 1 0 764959601 70221824 16448 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17144 16448 1111 63 0 17081 0
vsize: 68576
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1437207 0 0 0 91678 3334 0 0 25 0 1 0 764959601 71806976 16835 4294967295 134512640 134714508 3221221792 3221220072 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17531 16835 1111 63 0 17468 0
vsize: 70124
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1440508 0 0 0 92669 3342 0 0 25 0 1 0 764959601 69431296 16255 4294967295 134512640 134714508 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16951 16255 1111 63 0 16888 0
vsize: 67804
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1441395 0 0 0 93668 3344 0 0 25 0 1 0 764959601 72990720 16455 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17820 16455 1111 63 0 17757 0
vsize: 71280
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1444631 0 0 0 94658 3354 0 0 25 0 1 0 764959601 69353472 16236 4294967295 134512640 134714508 3221221792 3221219648 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16932 16236 1111 63 0 16869 0
vsize: 67728
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1448722 0 0 0 95650 3362 0 0 25 0 1 0 764959601 69414912 16251 4294967295 134512640 134714508 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16947 16251 1111 63 0 16884 0
vsize: 67788
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1448722 0 0 0 96650 3362 0 0 25 0 1 0 764959601 69414912 16251 4294967295 134512640 134714508 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16947 16251 1111 63 0 16884 0
vsize: 67788
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1451940 0 0 0 97642 3370 0 0 25 0 1 0 764959601 69058560 16164 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16860 16164 1111 63 0 16797 0
vsize: 67440
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1454512 0 0 0 98636 3377 0 0 25 0 1 0 764959601 68378624 15996 4294967295 134512640 134714508 3221221792 3221219712 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16694 15996 1111 63 0 16631 0
vsize: 66776
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1462167 0 0 0 99618 3395 0 0 25 0 1 0 764959601 69177344 16189 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16889 16189 1111 63 0 16826 0
vsize: 67556
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1467700 0 0 0 100604 3409 0 0 25 0 1 0 764959601 68947968 16131 4294967295 134512640 134714508 3221221792 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16833 16131 1111 63 0 16770 0
vsize: 67332
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1472387 0 0 0 101593 3420 0 0 25 0 1 0 764959601 68915200 16129 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16825 16129 1111 63 0 16762 0
vsize: 67300
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1479714 0 0 0 102577 3437 0 0 25 0 1 0 764959601 68562944 16043 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16739 16043 1111 63 0 16676 0
vsize: 66956
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1486182 0 0 0 103563 3450 0 0 25 0 1 0 764959601 68505600 16029 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16725 16029 1111 63 0 16662 0
vsize: 66900
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1489147 0 0 0 104556 3458 0 0 25 0 1 0 764959601 69472256 16264 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16961 16264 1111 63 0 16898 0
vsize: 67844
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1493096 0 0 0 105545 3468 0 0 25 0 1 0 764959601 69558272 16286 4294967295 134512640 134714508 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16982 16286 1111 63 0 16919 0
vsize: 67928
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1493248 0 0 0 106545 3469 0 0 25 0 1 0 764959601 68898816 16125 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16821 16125 1111 63 0 16758 0
vsize: 67284
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1498464 0 0 0 107534 3481 0 0 25 0 1 0 764959601 69451776 16260 4294967295 134512640 134714508 3221221792 3221219536 1075636586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16956 16260 1111 63 0 16893 0
vsize: 67824
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1505480 0 0 0 108518 3496 0 0 25 0 1 0 764959601 68575232 16029 4294967295 134512640 134714508 3221221792 3221219952 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16742 16029 1111 63 0 16679 0
vsize: 66968
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1512523 0 0 0 109501 3514 0 0 25 0 1 0 764959601 69017600 16137 4294967295 134512640 134714508 3221221792 3221219680 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16850 16137 1111 63 0 16787 0
vsize: 67400
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1518097 0 0 0 110487 3527 0 0 25 0 1 0 764959601 68837376 16099 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16806 16099 1111 63 0 16743 0
vsize: 67224
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1521602 0 0 0 111478 3537 0 0 25 0 1 0 764959601 71557120 16774 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17470 16774 1111 63 0 17407 0
vsize: 69880
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1524322 0 0 0 112472 3543 0 0 25 0 1 0 764959601 69664768 16312 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17008 16312 1111 63 0 16945 0
vsize: 68032
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1530303 0 0 0 113459 3556 0 0 25 0 1 0 764959601 68993024 16148 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16844 16148 1111 63 0 16781 0
vsize: 67376
[startup+1175.21 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 18463
Raw data (stat): 18463 (bsolo_lpr) R 18462 7876 7672 0 -1 0 1530303 0 0 0 113459 3556 0 0 25 0 1 0 764959601 68993024 16148 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16844 16148 1111 63 0 16781 0
vsize: 0

Child status: 10
Real time (s): 1175.21
CPU time (s): 1175.34
CPU user time (s): 1139.66
CPU system time (s): 35.6836
CPU usage (%): 100.011
Max. virtual memory (Kb): 72684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1625
#### END VERIFIER DATA ####