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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
MD5SUM6a083b86cc55025d2acb3bcf68562064
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 54
Optimality of the best value was proved NO
Number of terms in the objective function 225
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 225
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 225
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01784
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5

Trace number 39760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 19:51:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27824 boxname=wulflinc3 idbench=382 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc3/normalized-g15x15.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-g15x15.opb
IDLAUNCH: 27824
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        890048 kB
Buffers:         33940 kB
Cached:          82988 kB
SwapCached:       6016 kB
Active:          48468 kB
Inactive:        75800 kB
HighTotal:      131008 kB
HighFree:        89516 kB
LowTotal:       903652 kB
LowFree:        800532 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14688 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:11:19 (client local time) WITH STATUS 10 IN 1175.12 SECONDS
stats: 27824 0 1175.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 225 variables and 225 constraints.
c After prepocess the problem consists of 225 variables and 225 constraints.
c preprocess terminated 0.084 s
c Initial Lower Bound: 49
c Lower Bound Elapsed time: 0.053
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 59 @ 2.214
c NEW SOLUTION FOUND: 58 @ 2.23
c NEW SOLUTION FOUND: 57 @ 2.472
c NEW SOLUTION FOUND: 56 @ 220.977
c NEW SOLUTION FOUND: 55 @ 240.419
c NEW SOLUTION FOUND: 54 @ 245.223
s SATISFIABLE
v -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 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 
c Exit Code: 10
c Total time: 1175.07 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.93 2/54 14776
Raw data (stat): 14776 (runsolver) R 14775 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895645827 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 5741 0 0 0 980 17 0 0 25 0 1 0 895645827 8241152 1289 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2012 1289 1111 63 0 1949 0
vsize: 8048
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 11055 0 0 0 1964 33 0 0 25 0 1 0 895645827 10891264 1962 4294967295 134512640 134716908 3221224592 3221222576 1074051901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1962 1111 63 0 2596 0
vsize: 10636
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 16894 0 0 0 2946 51 0 0 25 0 1 0 895645827 13672448 2595 4294967295 134512640 134716908 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3338 2595 1111 63 0 3275 0
vsize: 13352
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 22439 0 0 0 3929 68 0 0 25 0 1 0 895645827 16412672 3283 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3283 1111 63 0 3944 0
vsize: 16028
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 27948 0 0 0 4911 86 0 0 25 0 1 0 895645827 19243008 3972 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4698 3974 1111 63 0 4635 0
vsize: 18792
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 33678 0 0 0 5893 105 0 0 25 0 1 0 895645827 21700608 4602 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5298 4602 1111 63 0 5235 0
vsize: 21192
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 39350 0 0 0 6875 123 0 0 25 0 1 0 895645827 25088000 5430 4294967295 134512640 134716908 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6125 5430 1111 63 0 6062 0
vsize: 24500
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 45012 0 0 0 7854 144 0 0 25 0 1 0 895645827 27840512 6100 4294967295 134512640 134716908 3221224592 3221222976 1074153783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 6100 1111 63 0 6734 0
vsize: 27188
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 50539 0 0 0 8838 161 0 0 25 0 1 0 895645827 30306304 6705 4294967295 134512640 134716908 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7399 6705 1111 63 0 7336 0
vsize: 29596
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 56071 0 0 0 9817 182 0 0 25 0 1 0 895645827 33136640 7366 4294967295 134512640 134716908 3221224592 3221220820 1075114969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8090 7366 1111 63 0 8027 0
vsize: 32360
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 61278 0 0 0 10797 202 0 0 25 0 1 0 895645827 36925440 8293 4294967295 134512640 134716908 3221224592 3221221424 1075115437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9015 8293 1111 63 0 8952 0
vsize: 36060
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 66148 0 0 0 11780 219 0 0 25 0 1 0 895645827 40673280 9219 4294967295 134512640 134716908 3221224592 3221222512 1075799563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9930 9219 1111 63 0 9867 0
vsize: 39720
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 71413 0 0 0 12761 238 0 0 25 0 1 0 895645827 44290048 10097 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 10097 1111 63 0 10750 0
vsize: 43252
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 77032 0 0 0 13744 256 0 0 25 0 1 0 895645827 46940160 10694 4294967295 134512640 134716908 3221224592 3221221652 1074617638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11408 10693 1111 63 0 11345 0
vsize: 45840
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 82168 0 0 0 14726 274 0 0 25 0 1 0 895645827 49635328 11372 4294967295 134512640 134716908 3221224592 3221221744 1075969885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 11372 1111 63 0 12055 0
vsize: 48472
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 86919 0 0 0 15709 291 0 0 25 0 1 0 895645827 52006912 11946 4294967295 134512640 134716908 3221224592 3221221660 1074831189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12697 11946 1111 63 0 12634 0
vsize: 50788
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 92024 0 0 0 16691 310 0 0 25 0 1 0 895645827 54411264 12555 4294967295 134512640 134716908 3221224592 3221222992 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13284 12555 1111 63 0 13221 0
vsize: 53136
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 97933 0 0 0 17671 329 0 0 25 0 1 0 895645827 56745984 13105 4294967295 134512640 134716908 3221224592 3221220752 1075094118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13854 13105 1111 63 0 13791 0
vsize: 55416
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 105373 0 0 0 18648 352 0 0 25 0 1 0 895645827 59125760 13678 4294967295 134512640 134716908 3221224592 3221221632 1075860449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14435 13678 1111 63 0 14372 0
vsize: 57740
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 112313 0 0 0 19626 375 0 0 25 0 1 0 895645827 60964864 14124 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14884 14124 1111 63 0 14821 0
vsize: 59536
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 118577 0 0 0 20610 392 0 0 25 0 1 0 895645827 62799872 14609 4294967295 134512640 134716908 3221224592 3221223240 134675441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15332 14609 1111 63 0 15269 0
vsize: 61328
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 125959 0 0 0 21591 410 0 0 25 0 1 0 895645827 65527808 15204 4294967295 134512640 134716908 3221224592 3221220736 1074970022 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15998 15204 1111 63 0 15935 0
vsize: 63992
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 132376 0 0 0 22573 428 0 0 25 0 1 0 895645827 67104768 15654 4294967295 134512640 134716908 3221224592 3221222768 1077377142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16383 15654 1111 63 0 16320 0
vsize: 65532
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 138612 0 0 0 23556 445 0 0 25 0 1 0 895645827 69181440 16144 4294967295 134512640 134716908 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16890 16144 1111 63 0 16827 0
vsize: 67560
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 142277 0 0 0 24544 457 0 0 25 0 1 0 895645827 69795840 16310 4294967295 134512640 134716908 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17040 16310 1111 63 0 16977 0
vsize: 68160
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 145816 0 0 0 25533 467 0 0 25 0 1 0 895645827 70430720 16436 4294967295 134512640 134716908 3221224592 3221221360 1076084141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 16436 1111 63 0 17132 0
vsize: 68780
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 150272 0 0 0 26523 478 0 0 25 0 1 0 895645827 71159808 16581 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17373 16581 1111 63 0 17310 0
vsize: 69492
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 154054 0 0 0 27512 489 0 0 25 0 1 0 895645827 71819264 16741 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17534 16741 1111 63 0 17471 0
vsize: 70136
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 156697 0 0 0 28506 496 0 0 25 0 1 0 895645827 73265152 17065 4294967295 134512640 134716908 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17887 17065 1111 63 0 17824 0
vsize: 71548
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 160511 0 0 0 29494 507 0 0 25 0 1 0 895645827 73715712 17175 4294967295 134512640 134716908 3221224592 3221220752 1075095198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17997 17175 1111 63 0 17934 0
vsize: 71988
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 164545 0 0 0 30483 518 0 0 25 0 1 0 895645827 74223616 17294 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18121 17294 1111 63 0 18058 0
vsize: 72484
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 3/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 168303 0 0 0 31474 528 0 0 25 0 1 0 895645827 74997760 17448 4294967295 134512640 134716908 3221224592 3221221168 1076047446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18310 17448 1111 63 0 18247 0
vsize: 73240
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 172252 0 0 0 32463 539 0 0 25 0 1 0 895645827 75128832 17543 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18342 17543 1111 63 0 18279 0
vsize: 73368
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 176015 0 0 0 33454 549 0 0 25 0 1 0 895645827 76062720 17708 4294967295 134512640 134716908 3221224592 3221220448 1074868878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18570 17708 1111 63 0 18507 0
vsize: 74280
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 179952 0 0 0 34442 561 0 0 25 0 1 0 895645827 76537856 17818 4294967295 134512640 134716908 3221224592 3221220864 1074960923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18686 17818 1111 63 0 18623 0
vsize: 74744
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 183888 0 0 0 35433 570 0 0 25 0 1 0 895645827 77049856 17942 4294967295 134512640 134716908 3221224592 3221220820 1075115127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18811 17942 1111 63 0 18748 0
vsize: 75244
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 187912 0 0 0 36423 580 0 0 25 0 1 0 895645827 77344768 18043 4294967295 134512640 134716908 3221224592 3221221184 1074887060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18883 18043 1111 63 0 18820 0
vsize: 75532
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 191364 0 0 0 37413 590 0 0 25 0 1 0 895645827 77770752 18155 4294967295 134512640 134716908 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18987 18155 1111 63 0 18924 0
vsize: 75948
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 195050 0 0 0 38403 600 0 0 25 0 1 0 895645827 78462976 18316 4294967295 134512640 134716908 3221224592 3221221124 1074260552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19156 18316 1111 63 0 19093 0
vsize: 76624
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 199114 0 0 0 39393 610 0 0 25 0 1 0 895645827 79134720 18447 4294967295 134512640 134716908 3221224592 3221220476 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19320 18447 1111 63 0 19257 0
vsize: 77280
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 203253 0 0 0 40382 621 0 0 25 0 1 0 895645827 79355904 18556 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19374 18556 1111 63 0 19311 0
vsize: 77496
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 207296 0 0 0 41370 634 0 0 25 0 1 0 895645827 80113664 18687 4294967295 134512640 134716908 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19559 18687 1111 63 0 19496 0
vsize: 78236
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 211333 0 0 0 42360 644 0 0 25 0 1 0 895645827 80625664 18835 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19684 18835 1111 63 0 19621 0
vsize: 78736
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 215413 0 0 0 43351 654 0 0 25 0 1 0 895645827 81014784 18962 4294967295 134512640 134716908 3221224592 3221222592 1074918201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19779 18962 1111 63 0 19716 0
vsize: 79116
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 219307 0 0 0 44339 665 0 0 25 0 1 0 895645827 81629184 19078 4294967295 134512640 134716908 3221224592 3221221360 1076084161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19929 19078 1111 63 0 19866 0
vsize: 79716
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 223352 0 0 0 45328 677 0 0 25 0 1 0 895645827 82280448 19208 4294967295 134512640 134716908 3221224592 3221220692 1075964252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20088 19208 1111 63 0 20025 0
vsize: 80352
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 227383 0 0 0 46316 689 0 0 25 0 1 0 895645827 82800640 19337 4294967295 134512640 134716908 3221224592 3221220736 1074971855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20215 19337 1111 63 0 20152 0
vsize: 80860
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 231119 0 0 0 47305 700 0 0 25 0 1 0 895645827 83394560 19501 4294967295 134512640 134716908 3221224592 3221220752 1075094115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20360 19501 1111 63 0 20297 0
vsize: 81440
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14776
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 235185 0 0 0 48295 711 0 0 25 0 1 0 895645827 83869696 19615 4294967295 134512640 134716908 3221224592 3221220656 1074881420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20476 19615 1111 63 0 20413 0
vsize: 81904
[startup+500.021 s]
Raw data (loadavg): 1.07 0.99 0.94 3/57 14812
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 239001 0 0 0 49284 722 0 0 25 0 1 0 895645827 84303872 19727 4294967295 134512640 134716908 3221224592 3221220500 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20582 19727 1111 63 0 20519 0
vsize: 82328
[startup+510.022 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 243017 0 0 0 50266 739 0 0 25 0 1 0 895645827 84824064 19854 4294967295 134512640 134716908 3221224592 3221220556 1074788159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20709 19854 1111 63 0 20646 0
vsize: 82836
[startup+520.023 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 247155 0 0 0 51254 752 0 0 25 0 1 0 895645827 85069824 19944 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20769 19944 1111 63 0 20706 0
vsize: 83076
[startup+530.023 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 251268 0 0 0 52243 762 0 0 25 0 1 0 895645827 85540864 20057 4294967295 134512640 134716908 3221224592 3221221872 1074140038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20928 20060 1111 63 0 20865 0
vsize: 83536
[startup+540.023 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 254931 0 0 0 53234 772 0 0 25 0 1 0 895645827 86425600 20210 4294967295 134512640 134716908 3221224592 3221221184 1074887025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21100 20210 1111 63 0 21037 0
vsize: 84400
[startup+550.024 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 259018 0 0 0 54222 784 0 0 25 0 1 0 895645827 87052288 20352 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21253 20352 1111 63 0 21190 0
vsize: 85012
[startup+560.024 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 262383 0 0 0 55214 793 0 0 25 0 1 0 895645827 87187456 20448 4294967295 134512640 134716908 3221224592 3221222968 1074153859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21286 20448 1111 63 0 21223 0
vsize: 85144
[startup+570.024 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 14829
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 266264 0 0 0 56203 803 0 0 25 0 1 0 895645827 87961600 20586 4294967295 134512640 134716908 3221224592 3221220592 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21475 20586 1111 63 0 21412 0
vsize: 85900
[startup+580.024 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 269938 0 0 0 57193 813 0 0 25 0 1 0 895645827 88231936 20683 4294967295 134512640 134716908 3221224592 3221220820 1075115097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21541 20683 1111 63 0 21478 0
vsize: 86164
[startup+590.025 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 272481 0 0 0 58184 822 0 0 25 0 1 0 895645827 88961024 20805 4294967295 134512640 134716908 3221224592 3221220736 1074971865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21719 20805 1111 63 0 21656 0
vsize: 86876
[startup+600.025 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 275196 0 0 0 59177 830 0 0 25 0 1 0 895645827 89333760 20949 4294967295 134512640 134716908 3221224592 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20949 1111 63 0 21747 0
vsize: 87240
[startup+610.026 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 278798 0 0 0 60168 839 0 0 25 0 1 0 895645827 90226688 21094 4294967295 134512640 134716908 3221224592 3221220468 1074786437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22028 21094 1111 63 0 21965 0
vsize: 88112
[startup+620.026 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 282206 0 0 0 61157 850 0 0 25 0 1 0 895645827 90525696 21233 4294967295 134512640 134716908 3221224592 3221221696 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22182 21237 1111 63 0 22119 0
vsize: 88404
[startup+630.026 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 286120 0 0 0 62147 861 0 0 25 0 1 0 895645827 90992640 21347 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 21347 1111 63 0 22152 0
vsize: 88860
[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 289954 0 0 0 63136 871 0 0 25 0 1 0 895645827 91664384 21485 4294967295 134512640 134716908 3221224592 3221220592 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22379 21485 1111 63 0 22316 0
vsize: 89516
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 294065 0 0 0 64124 884 0 0 25 0 1 0 895645827 92336128 21619 4294967295 134512640 134716908 3221224592 3221221184 1074887072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22543 21619 1111 63 0 22480 0
vsize: 90172
[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 297667 0 0 0 65116 892 0 0 25 0 1 0 895645827 92422144 21682 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22564 21682 1111 63 0 22501 0
vsize: 90256
[startup+670.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 301070 0 0 0 66108 900 0 0 25 0 1 0 895645827 93036544 21814 4294967295 134512640 134716908 3221224592 3221220912 1075171196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21814 1111 63 0 22651 0
vsize: 90856
[startup+680.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 304683 0 0 0 67100 908 0 0 25 0 1 0 895645827 93450240 21923 4294967295 134512640 134716908 3221224592 3221220864 1074960800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22815 21923 1111 63 0 22752 0
vsize: 91260
[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 308160 0 0 0 68091 918 0 0 25 0 1 0 895645827 93966336 22039 4294967295 134512640 134716908 3221224592 3221220448 1074868765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22941 22039 1111 63 0 22878 0
vsize: 91764
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 311383 0 0 0 69083 925 0 0 25 0 1 0 895645827 94433280 22123 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23055 22123 1111 63 0 22992 0
vsize: 92220
[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 314437 0 0 0 70075 934 0 0 25 0 1 0 895645827 94912512 22224 4294967295 134512640 134716908 3221224592 3221220476 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23172 22224 1111 63 0 23109 0
vsize: 92688
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 318066 0 0 0 71066 943 0 0 25 0 1 0 895645827 95293440 22322 4294967295 134512640 134716908 3221224592 3221221056 1075602707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23265 22322 1111 63 0 23202 0
vsize: 93060
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 321607 0 0 0 72055 954 0 0 25 0 1 0 895645827 95711232 22421 4294967295 134512640 134716908 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23367 22421 1111 63 0 23304 0
vsize: 93468
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 325115 0 0 0 73046 963 0 0 25 0 1 0 895645827 96268288 22556 4294967295 134512640 134716908 3221224592 3221221168 1076049947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23503 22556 1111 63 0 23440 0
vsize: 94012
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 328767 0 0 0 74036 974 0 0 25 0 1 0 895645827 96600064 22673 4294967295 134512640 134716908 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23584 22673 1111 63 0 23521 0
vsize: 94336
[startup+760.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 332348 0 0 0 75028 982 0 0 25 0 1 0 895645827 97005568 22780 4294967295 134512640 134716908 3221224592 3221220500 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23683 22780 1111 63 0 23620 0
vsize: 94732
[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 335411 0 0 0 76022 989 0 0 25 0 1 0 895645827 97492992 22890 4294967295 134512640 134716908 3221224592 3221220692 1075964286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23802 22890 1111 63 0 23739 0
vsize: 95208
[startup+780.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 338954 0 0 0 77013 997 0 0 25 0 1 0 895645827 97931264 22996 4294967295 134512640 134716908 3221224592 3221220908 1073945528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23909 22996 1111 63 0 23846 0
vsize: 95636
[startup+790.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 342739 0 0 0 78002 1008 0 0 25 0 1 0 895645827 98471936 23091 4294967295 134512640 134716908 3221224592 3221220524 1074788060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24041 23091 1111 63 0 23978 0
vsize: 96164
[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 347002 0 0 0 78992 1019 0 0 25 0 1 0 895645827 98959360 23205 4294967295 134512640 134716908 3221224592 3221220448 1074868872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24160 23205 1111 63 0 24097 0
vsize: 96640
[startup+810.034 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 350670 0 0 0 79983 1028 0 0 25 0 1 0 895645827 99160064 23288 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24209 23288 1111 63 0 24146 0
vsize: 96836
[startup+820.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 354086 0 0 0 80975 1037 0 0 25 0 1 0 895645827 99536896 23389 4294967295 134512640 134716908 3221224592 3221221128 1076045749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24301 23389 1111 63 0 24238 0
vsize: 97204
[startup+830.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 357546 0 0 0 81966 1046 0 0 25 0 1 0 895645827 99696640 23454 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24340 23454 1111 63 0 24277 0
vsize: 97360
[startup+840.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14831
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 360965 0 0 0 82958 1054 0 0 25 0 1 0 895645827 100515840 23589 4294967295 134512640 134716908 3221224592 3221220864 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 23589 1111 63 0 24477 0
vsize: 98160
[startup+850.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 364442 0 0 0 83949 1063 0 0 25 0 1 0 895645827 100999168 23702 4294967295 134512640 134716908 3221224592 3221221056 1075602882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24658 23702 1111 63 0 24595 0
vsize: 98632
[startup+860.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 368071 0 0 0 84939 1073 0 0 25 0 1 0 895645827 101031936 23777 4294967295 134512640 134716908 3221224592 3221222508 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24666 23777 1111 63 0 24603 0
vsize: 98664
[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 371795 0 0 0 85929 1084 0 0 25 0 1 0 895645827 101781504 23892 4294967295 134512640 134716908 3221224592 3221220912 1075169667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 23892 1111 63 0 24786 0
vsize: 99396
[startup+880.038 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 375357 0 0 0 86919 1093 0 0 25 0 1 0 895645827 102146048 23989 4294967295 134512640 134716908 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24938 23989 1111 63 0 24875 0
vsize: 99752
[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 378916 0 0 0 87910 1102 0 0 25 0 1 0 895645827 102252544 24065 4294967295 134512640 134716908 3221224592 3221221712 1074866164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24964 24065 1111 63 0 24901 0
vsize: 99856
[startup+900.039 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 382243 0 0 0 88902 1110 0 0 25 0 1 0 895645827 102821888 24187 4294967295 134512640 134716908 3221224592 3221220604 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25103 24187 1111 63 0 25040 0
vsize: 100412
[startup+910.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 385823 0 0 0 89895 1119 0 0 25 0 1 0 895645827 103272448 24289 4294967295 134512640 134716908 3221224592 3221220960 1075894512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25213 24289 1111 63 0 25150 0
vsize: 100852
[startup+920.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 389752 0 0 0 90883 1130 0 0 25 0 1 0 895645827 103542784 24387 4294967295 134512640 134716908 3221224592 3221222320 1075828642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25272 24387 1111 63 0 25209 0
vsize: 101116
[startup+930.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 393351 0 0 0 91872 1141 0 0 25 0 1 0 895645827 104120320 24498 4294967295 134512640 134716908 3221224592 3221221056 1075603062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25420 24498 1111 63 0 25357 0
vsize: 101680
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 396582 0 0 0 92863 1151 0 0 25 0 1 0 895645827 104812544 24640 4294967295 134512640 134716908 3221224592 3221221184 1074886133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25589 24640 1111 63 0 25526 0
vsize: 102356
[startup+950.041 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 399917 0 0 0 93856 1158 0 0 25 0 1 0 895645827 105242624 24742 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25694 24742 1111 63 0 25631 0
vsize: 102776
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 403800 0 0 0 94846 1169 0 0 25 0 1 0 895645827 105590784 24862 4294967295 134512640 134716908 3221224592 3221221136 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25779 24863 1111 63 0 25716 0
vsize: 103116
[startup+970.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 407467 0 0 0 95836 1179 0 0 25 0 1 0 895645827 106184704 24964 4294967295 134512640 134716908 3221224592 3221221856 1075894378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25924 24964 1111 63 0 25861 0
vsize: 103696
[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 411431 0 0 0 96826 1189 0 0 25 0 1 0 895645827 106700800 25100 4294967295 134512640 134716908 3221224592 3221221136 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26050 25100 1111 63 0 25987 0
vsize: 104200
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 415245 0 0 0 97818 1197 0 0 25 0 1 0 895645827 107036672 25210 4294967295 134512640 134716908 3221224592 3221220752 1074794682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26132 25210 1111 63 0 26069 0
vsize: 104528
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 418947 0 0 0 98807 1208 0 0 25 0 1 0 895645827 107450368 25310 4294967295 134512640 134716908 3221224592 3221220684 1075663457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26233 25310 1111 63 0 26170 0
vsize: 104932
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 420248 0 0 0 99803 1212 0 0 25 0 1 0 895645827 109056000 25551 4294967295 134512640 134716908 3221224592 3221221768 1074208385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26625 25551 1111 63 0 26562 0
vsize: 106500
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 422705 0 0 0 100796 1219 0 0 25 0 1 0 895645827 109785088 25722 4294967295 134512640 134716908 3221224592 3221221360 1076084226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26803 25722 1111 63 0 26740 0
vsize: 107212
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 425635 0 0 0 101787 1228 0 0 25 0 1 0 895645827 110391296 25858 4294967295 134512640 134716908 3221224592 3221220840 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26951 25858 1111 63 0 26888 0
vsize: 107804
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 428876 0 0 0 102779 1237 0 0 25 0 1 0 895645827 111202304 26015 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27149 26015 1111 63 0 27086 0
vsize: 108596
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 432683 0 0 0 103769 1247 0 0 25 0 1 0 895645827 111550464 26138 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27234 26138 1111 63 0 27171 0
vsize: 108936
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 435771 0 0 0 104761 1255 0 0 25 0 1 0 895645827 112328704 26297 4294967295 134512640 134716908 3221224592 3221220528 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27424 26297 1111 63 0 27361 0
vsize: 109696
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 439891 0 0 0 105751 1265 0 0 25 0 1 0 895645827 113061888 26438 4294967295 134512640 134716908 3221224592 3221220968 1075112561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27603 26438 1111 63 0 27540 0
vsize: 110412
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 443712 0 0 0 106740 1277 0 0 25 0 1 0 895645827 113451008 26561 4294967295 134512640 134716908 3221224592 3221221404 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27698 26561 1111 63 0 27635 0
vsize: 110792
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 447333 0 0 0 107729 1287 0 0 25 0 1 0 895645827 113975296 26656 4294967295 134512640 134716908 3221224592 3221220736 1074969949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27826 26656 1111 63 0 27763 0
vsize: 111304
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 451166 0 0 0 108719 1297 0 0 25 0 1 0 895645827 114057216 26734 4294967295 134512640 134716908 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27846 26734 1111 63 0 27783 0
vsize: 111384
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 454863 0 0 0 109711 1306 0 0 25 0 1 0 895645827 114614272 26843 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27982 26843 1111 63 0 27919 0
vsize: 111928
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 458485 0 0 0 110701 1316 0 0 25 0 1 0 895645827 115220480 26959 4294967295 134512640 134716908 3221224592 3221221124 1074260664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28130 26960 1111 63 0 28067 0
vsize: 112520
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 462251 0 0 0 111690 1327 0 0 25 0 1 0 895645827 115732480 27080 4294967295 134512640 134716908 3221224592 3221221184 1074887610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28255 27080 1111 63 0 28192 0
vsize: 113020
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 465619 0 0 0 112682 1336 0 0 25 0 1 0 895645827 115974144 27182 4294967295 134512640 134716908 3221224592 3221221360 1076084131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28314 27182 1111 63 0 28251 0
vsize: 113256
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 469214 0 0 0 113672 1345 0 0 25 0 1 0 895645827 116563968 27281 4294967295 134512640 134716908 3221224592 3221220864 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28458 27281 1111 63 0 28395 0
vsize: 113832
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 472732 0 0 0 114665 1353 0 0 25 0 1 0 895645827 116940800 27377 4294967295 134512640 134716908 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28550 27377 1111 63 0 28487 0
vsize: 114200
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 476299 0 0 0 115655 1363 0 0 25 0 1 0 895645827 117317632 27473 4294967295 134512640 134716908 3221224592 3221221184 1074885883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28642 27473 1111 63 0 28579 0
vsize: 114568
[startup+1174.98 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 14833
Raw data (stat): 14776 (bsolo_lpr-v2) R 14775 20224 20223 0 -1 0 476299 0 0 0 115655 1363 0 0 25 0 1 0 895645827 117317632 27473 4294967295 134512640 134716908 3221224592 3221221184 1074885883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28642 27473 1111 63 0 28579 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.12
CPU user time (s): 1161.39
CPU system time (s): 13.7319
CPU usage (%): 100.012
Max. virtual memory (Kb): 114568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	54
#### END VERIFIER DATA ####