PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 20:23:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28791 boxname=wulflinc2 idbench=177 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  063eb2758c10dfb54cdafd2acd326cb9  /oldhome/oroussel/tmp/wulflinc2/normalized-jnh1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-jnh1.opb
IDLAUNCH: 28791
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        871212 kB
Buffers:         25776 kB
Cached:         115784 kB
SwapCached:       1376 kB
Active:          28868 kB
Inactive:       114720 kB
HighTotal:      131008 kB
HighFree:        29568 kB
LowTotal:       903652 kB
LowFree:        841644 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14048 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:42:45 (client local time) WITH STATUS 10 IN 1175.55 SECONDS
stats: 28791 0 1175.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 950 constraints.
c After prepocess the problem consists of 192 variables and 882 constraints.
c preprocess terminated 0.61 s
c Initial Lower Bound: 72
c Lower Bound Elapsed time: 0.994
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 1.646
c NEW SOLUTION FOUND: 99 @ 1.647
c NEW SOLUTION FOUND: 98 @ 1.651
c NEW SOLUTION FOUND: 96 @ 1.655
c NEW SOLUTION FOUND: 94 @ 74.665
c NEW SOLUTION FOUND: 93 @ 76.474
c NEW SOLUTION FOUND: 92 @ 118.594
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 
c Exit Code: 10
c Total time: 1175.54 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.91 2/54 15513
Raw data (stat): 15513 (runsolver) R 15512 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904487738 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 4386 0 0 0 984 12 0 0 25 0 1 0 904487738 7069696 1040 4294967295 134512640 134716908 3221224576 3221222680 1077404705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 1040 1111 63 0 1663 0
vsize: 6904
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 8661 0 0 0 1972 23 0 0 25 0 1 0 904487738 7798784 1133 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1904 1133 1111 63 0 1841 0
vsize: 7616
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 12371 0 0 0 2960 36 0 0 25 0 1 0 904487738 7798784 1143 4294967295 134512640 134716908 3221224576 3221220720 1074970486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1904 1143 1111 63 0 1841 0
vsize: 7616
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 16830 0 0 0 3946 50 0 0 25 0 1 0 904487738 7639040 1181 4294967295 134512640 134716908 3221224576 3221222544 1075961014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1865 1181 1111 63 0 1802 0
vsize: 7460
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 20731 0 0 0 4936 61 0 0 25 0 1 0 904487738 8175616 1247 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1996 1247 1111 63 0 1933 0
vsize: 7984
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 25333 0 0 0 5924 73 0 0 25 0 1 0 904487738 8749056 1330 4294967295 134512640 134716908 3221224576 3221220576 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1330 1111 63 0 2073 0
vsize: 8544
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 28877 0 0 0 6914 83 0 0 25 0 1 0 904487738 8736768 1324 4294967295 134512640 134716908 3221224576 3221220632 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 1324 1111 63 0 2070 0
vsize: 8532
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 32843 0 0 0 7902 95 0 0 25 0 1 0 904487738 8974336 1416 4294967295 134512640 134716908 3221224576 3221220720 1074969619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2191 1416 1111 63 0 2128 0
vsize: 8764
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 37066 0 0 0 8890 106 0 0 25 0 1 0 904487738 8314880 1358 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2030 1358 1111 63 0 1967 0
vsize: 8120
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 41312 0 0 0 9878 118 0 0 25 0 1 0 904487738 8728576 1408 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2131 1408 1111 63 0 2068 0
vsize: 8524
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 46241 0 0 0 10863 133 0 0 25 0 1 0 904487738 8704000 1406 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 1406 1111 63 0 2062 0
vsize: 8500
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 50926 0 0 0 11851 146 0 0 25 0 1 0 904487738 9351168 1502 4294967295 134512640 134716908 3221224576 3221221128 1075240389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2283 1502 1111 63 0 2220 0
vsize: 9132
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 56119 0 0 0 12836 161 0 0 25 0 1 0 904487738 9502720 1502 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1502 1111 63 0 2257 0
vsize: 9280
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 61477 0 0 0 13821 176 0 0 25 0 1 0 904487738 8904704 1502 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2174 1502 1111 63 0 2111 0
vsize: 8696
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 65852 0 0 0 14807 190 0 0 25 0 1 0 904487738 9617408 1616 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2348 1616 1111 63 0 2285 0
vsize: 9392
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 71037 0 0 0 15791 206 0 0 25 0 1 0 904487738 9252864 1586 4294967295 134512640 134716908 3221224576 3221223228 134675442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2259 1586 1111 63 0 2196 0
vsize: 9036
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 75216 0 0 0 16779 218 0 0 25 0 1 0 904487738 10059776 1739 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2456 1739 1111 63 0 2393 0
vsize: 9824
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 79349 0 0 0 17768 229 0 0 25 0 1 0 904487738 10428416 1792 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2546 1792 1111 63 0 2483 0
vsize: 10184
[startup+190.007 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 83452 0 0 0 18758 240 0 0 25 0 1 0 904487738 9814016 1692 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2396 1692 1111 63 0 2333 0
vsize: 9584
[startup+200.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 87485 0 0 0 19748 250 0 0 25 0 1 0 904487738 10629120 1794 4294967295 134512640 134716908 3221224576 3221220684 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2595 1794 1111 63 0 2532 0
vsize: 10380
[startup+210.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 91697 0 0 0 20738 260 0 0 25 0 1 0 904487738 9818112 1731 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 1731 1111 63 0 2334 0
vsize: 9588
[startup+220.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 96253 0 0 0 21725 273 0 0 25 0 1 0 904487738 9871360 1744 4294967295 134512640 134716908 3221224576 3221222924 1074152968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2410 1744 1111 63 0 2347 0
vsize: 9640
[startup+230.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 100925 0 0 0 22713 285 0 0 25 0 1 0 904487738 9940992 1761 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2427 1761 1111 63 0 2364 0
vsize: 9708
[startup+240.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 106055 0 0 0 23698 301 0 0 25 0 1 0 904487738 10973184 1871 4294967295 134512640 134716908 3221224576 3221220784 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1871 1111 63 0 2616 0
vsize: 10716
[startup+250.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 110837 0 0 0 24684 314 0 0 25 0 1 0 904487738 10625024 1876 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1876 1111 63 0 2531 0
vsize: 10376
[startup+260.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 115445 0 0 0 25669 329 0 0 25 0 1 0 904487738 10711040 1859 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1865 1111 63 0 2674 0
vsize: 10460
[startup+270.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 120498 0 0 0 26653 344 0 0 25 0 1 0 904487738 11268096 1942 4294967295 134512640 134716908 3221224576 3221220784 1074815221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2751 1942 1111 63 0 2688 0
vsize: 11004
[startup+280.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 125837 0 0 0 27639 359 0 0 25 0 1 0 904487738 11403264 2037 4294967295 134512640 134716908 3221224576 3221220588 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2784 2038 1111 63 0 2721 0
vsize: 11136
[startup+290.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 130498 0 0 0 28627 371 0 0 25 0 1 0 904487738 11677696 2056 4294967295 134512640 134716908 3221224576 3221220912 1075113561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2851 2056 1111 63 0 2788 0
vsize: 11404
[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 135760 0 0 0 29614 385 0 0 25 0 1 0 904487738 12574720 2224 4294967295 134512640 134716908 3221224576 3221220736 1074794640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2224 1111 63 0 3007 0
vsize: 12280
[startup+310.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 140189 0 0 0 30602 397 0 0 25 0 1 0 904487738 11321344 2083 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 2083 1111 63 0 2701 0
vsize: 11056
[startup+320.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 145502 0 0 0 31585 414 0 0 25 0 1 0 904487738 11984896 2146 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2146 1111 63 0 2863 0
vsize: 11704
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 150143 0 0 0 32572 427 0 0 25 0 1 0 904487738 12292096 2257 4294967295 134512640 134716908 3221224576 3221220804 1075115009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3001 2257 1111 63 0 2938 0
vsize: 12004
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 155637 0 0 0 33557 442 0 0 25 0 1 0 904487738 12705792 2259 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2259 1111 63 0 3039 0
vsize: 12408
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 160574 0 0 0 34544 455 0 0 25 0 1 0 904487738 11714560 2195 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2860 2195 1111 63 0 2797 0
vsize: 11440
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 165054 0 0 0 35532 467 0 0 25 0 1 0 904487738 12881920 2381 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2381 1111 63 0 3082 0
vsize: 12580
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 169638 0 0 0 36518 481 0 0 25 0 1 0 904487738 12779520 2347 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3120 2347 1111 63 0 3057 0
vsize: 12480
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 173305 0 0 0 37508 491 0 0 25 0 1 0 904487738 12095488 2288 4294967295 134512640 134716908 3221224576 3221221768 1074138300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2953 2288 1111 63 0 2890 0
vsize: 11812
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 177807 0 0 0 38497 504 0 0 25 0 1 0 904487738 12947456 2421 4294967295 134512640 134716908 3221224576 3221220688 1075895670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3161 2421 1111 63 0 3098 0
vsize: 12644
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 181205 0 0 0 39488 512 0 0 25 0 1 0 904487738 13287424 2496 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3244 2498 1111 63 0 3181 0
vsize: 12976
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 185231 0 0 0 40478 523 0 0 25 0 1 0 904487738 12402688 2343 4294967295 134512640 134716908 3221224576 3221222844 1074208192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3028 2343 1111 63 0 2965 0
vsize: 12112
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 189630 0 0 0 41466 535 0 0 25 0 1 0 904487738 13107200 2446 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2446 1111 63 0 3137 0
vsize: 12800
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 194375 0 0 0 42453 548 0 0 25 0 1 0 904487738 12652544 2392 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3089 2392 1111 63 0 3026 0
vsize: 12356
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 198225 0 0 0 43440 561 0 0 25 0 1 0 904487738 13463552 2564 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3287 2564 1111 63 0 3224 0
vsize: 13148
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 202225 0 0 0 44429 573 0 0 25 0 1 0 904487738 13488128 2554 4294967295 134512640 134716908 3221224576 3221220460 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3293 2554 1111 63 0 3230 0
vsize: 13172
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 208596 0 0 0 45411 591 0 0 25 0 1 0 904487738 13852672 2623 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2623 1111 63 0 3319 0
vsize: 13528
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 213633 0 0 0 46398 604 0 0 25 0 1 0 904487738 14036992 2553 4294967295 134512640 134716908 3221224576 3221220784 1074815176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2553 1111 63 0 3364 0
vsize: 13708
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 217997 0 0 0 47387 616 0 0 25 0 1 0 904487738 14442496 2781 4294967295 134512640 134716908 3221224576 3221220736 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2781 1111 63 0 3463 0
vsize: 14104
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 221112 0 0 0 48378 624 0 0 25 0 1 0 904487738 14057472 2661 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2661 1111 63 0 3369 0
vsize: 13728
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 224035 0 0 0 49370 632 0 0 25 0 1 0 904487738 14200832 2723 4294967295 134512640 134716908 3221224576 3221220508 1074788149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3467 2723 1111 63 0 3404 0
vsize: 13868
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 227593 0 0 0 50361 642 0 0 25 0 1 0 904487738 13357056 2596 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3261 2596 1111 63 0 3198 0
vsize: 13044
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 230526 0 0 0 51353 650 0 0 25 0 1 0 904487738 14028800 2677 4294967295 134512640 134716908 3221224576 3221220544 1075965272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2677 1111 63 0 3362 0
vsize: 13700
[startup+530.014 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 235136 0 0 0 52342 661 0 0 25 0 1 0 904487738 13352960 2595 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2595 1111 63 0 3197 0
vsize: 13040
[startup+540.015 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 240348 0 0 0 53326 678 0 0 25 0 1 0 904487738 14385152 2742 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2742 1111 63 0 3449 0
vsize: 14048
[startup+550.015 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 246154 0 0 0 54311 693 0 0 25 0 1 0 904487738 13676544 2656 4294967295 134512640 134716908 3221224576 3221223048 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2656 1111 63 0 3276 0
vsize: 13356
[startup+560.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 251497 0 0 0 55295 708 0 0 25 0 1 0 904487738 14020608 2694 4294967295 134512640 134716908 3221224576 3221220800 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2694 1111 63 0 3360 0
vsize: 13692
[startup+570.015 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 257079 0 0 0 56281 723 0 0 25 0 1 0 904487738 14684160 2814 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3585 2814 1111 63 0 3522 0
vsize: 14340
[startup+580.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 262777 0 0 0 57265 739 0 0 25 0 1 0 904487738 14028800 2758 4294967295 134512640 134716908 3221224576 3221222576 1074918944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2758 1111 63 0 3362 0
vsize: 13700
[startup+590.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 268935 0 0 0 58249 755 0 0 25 0 1 0 904487738 15159296 2826 4294967295 134512640 134716908 3221224576 3221220848 1074801923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2826 1111 63 0 3638 0
vsize: 14804
[startup+600.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 274176 0 0 0 59234 770 0 0 25 0 1 0 904487738 15400960 2864 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3760 2864 1111 63 0 3697 0
vsize: 15040
[startup+610.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 279514 0 0 0 60219 786 0 0 25 0 1 0 904487738 14438400 2860 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2860 1111 63 0 3462 0
vsize: 14100
[startup+620.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 283914 0 0 0 61207 798 0 0 25 0 1 0 904487738 14438400 2860 4294967295 134512640 134716908 3221224576 3221221856 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3525 2860 1111 63 0 3462 0
vsize: 14100
[startup+630.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 289118 0 0 0 62192 813 0 0 25 0 1 0 904487738 15020032 2881 4294967295 134512640 134716908 3221224576 3221221600 1074867328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2881 1111 63 0 3604 0
vsize: 14668
[startup+640.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 293958 0 0 0 63179 826 0 0 25 0 1 0 904487738 15896576 3118 4294967295 134512640 134716908 3221224576 3221220736 1075095169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3881 3118 1111 63 0 3818 0
vsize: 15524
[startup+650.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 298440 0 0 0 64166 839 0 0 25 0 1 0 904487738 15912960 3013 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3885 3013 1111 63 0 3822 0
vsize: 15540
[startup+660.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 303313 0 0 0 65153 852 0 0 25 0 1 0 904487738 16158720 3178 4294967295 134512640 134716908 3221224576 3221221068 1075006388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3178 1111 63 0 3882 0
vsize: 15780
[startup+670.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 308656 0 0 0 66139 867 0 0 25 0 1 0 904487738 16539648 3318 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3318 1111 63 0 3975 0
vsize: 16152
[startup+680.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 312354 0 0 0 67129 876 0 0 25 0 1 0 904487738 16306176 3207 4294967295 134512640 134716908 3221224576 3221220904 1074815601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3207 1111 63 0 3918 0
vsize: 15924
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 317330 0 0 0 68115 891 0 0 25 0 1 0 904487738 16707584 3321 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3321 1111 63 0 4016 0
vsize: 16316
[startup+700.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 321169 0 0 0 69106 900 0 0 25 0 1 0 904487738 15581184 3139 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3804 3139 1111 63 0 3741 0
vsize: 15216
[startup+710.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 325414 0 0 0 70093 913 0 0 25 0 1 0 904487738 16941056 3384 4294967295 134512640 134716908 3221224576 3221220848 1074961183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3384 1111 63 0 4073 0
vsize: 16544
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 330624 0 0 0 71079 928 0 0 25 0 1 0 904487738 15872000 3210 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3210 1111 63 0 3812 0
vsize: 15500
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 335576 0 0 0 72064 943 0 0 25 0 1 0 904487738 16838656 3311 4294967295 134512640 134716908 3221224576 3221221068 1076116628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3311 1111 63 0 4048 0
vsize: 16444
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 339555 0 0 0 73054 953 0 0 25 0 1 0 904487738 16683008 3273 4294967295 134512640 134716908 3221224576 3221221776 1075968211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4073 3273 1111 63 0 4010 0
vsize: 16292
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 344893 0 0 0 74040 967 0 0 25 0 1 0 904487738 16486400 3328 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3328 1111 63 0 3962 0
vsize: 16100
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 349782 0 0 0 75028 979 0 0 25 0 1 0 904487738 17313792 3458 4294967295 134512640 134716908 3221224576 3221220944 1076117130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4227 3458 1111 63 0 4164 0
vsize: 16908
[startup+770.017 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 354906 0 0 0 76016 992 0 0 25 0 1 0 904487738 17817600 3577 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3577 1111 63 0 4287 0
vsize: 17400
[startup+780.016 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 360733 0 0 0 76999 1009 0 0 25 0 1 0 904487738 17956864 3614 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4384 3614 1111 63 0 4321 0
vsize: 17536
[startup+790.017 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 365294 0 0 0 77988 1020 0 0 25 0 1 0 904487738 18436096 3778 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3778 1111 63 0 4438 0
vsize: 18004
[startup+800.017 s]
Raw data (loadavg): 1.34 1.08 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 369357 0 0 0 78976 1032 0 0 25 0 1 0 904487738 18239488 3516 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4453 3516 1111 63 0 4390 0
vsize: 17812
[startup+810.016 s]
Raw data (loadavg): 1.29 1.08 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 375084 0 0 0 79961 1047 0 0 25 0 1 0 904487738 18214912 3684 4294967295 134512640 134716908 3221224576 3221220848 1074960918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4447 3684 1111 63 0 4384 0
vsize: 17788
[startup+820.016 s]
Raw data (loadavg): 1.25 1.07 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 380152 0 0 0 80947 1062 0 0 25 0 1 0 904487738 17145856 3521 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4186 3521 1111 63 0 4123 0
vsize: 16744
[startup+830.017 s]
Raw data (loadavg): 1.21 1.07 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 385516 0 0 0 81932 1077 0 0 25 0 1 0 904487738 17440768 3584 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3584 1111 63 0 4195 0
vsize: 17032
[startup+840.016 s]
Raw data (loadavg): 1.17 1.07 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 389933 0 0 0 82920 1089 0 0 25 0 1 0 904487738 19107840 3904 4294967295 134512640 134716908 3221224576 3221220620 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3904 1111 63 0 4602 0
vsize: 18660
[startup+850.016 s]
Raw data (loadavg): 1.15 1.06 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 394136 0 0 0 83909 1100 0 0 25 0 1 0 904487738 19021824 3871 4294967295 134512640 134716908 3221224576 3221220912 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3871 1111 63 0 4581 0
vsize: 18576
[startup+860.017 s]
Raw data (loadavg): 1.12 1.06 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 398373 0 0 0 84897 1112 0 0 25 0 1 0 904487738 17752064 3638 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3638 1111 63 0 4271 0
vsize: 17336
[startup+870.017 s]
Raw data (loadavg): 1.10 1.06 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 403372 0 0 0 85884 1125 0 0 25 0 1 0 904487738 17567744 3624 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3624 1111 63 0 4226 0
vsize: 17156
[startup+880.017 s]
Raw data (loadavg): 1.09 1.06 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 409936 0 0 0 86866 1144 0 0 25 0 1 0 904487738 17772544 3655 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3655 1111 63 0 4276 0
vsize: 17356
[startup+890.017 s]
Raw data (loadavg): 1.07 1.05 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 417457 0 0 0 87846 1164 0 0 25 0 1 0 904487738 18051072 3739 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3739 1111 63 0 4344 0
vsize: 17628
[startup+900.018 s]
Raw data (loadavg): 1.06 1.05 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 423540 0 0 0 88829 1181 0 0 25 0 1 0 904487738 18300928 3790 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3790 1111 63 0 4405 0
vsize: 17872
[startup+910.018 s]
Raw data (loadavg): 1.05 1.05 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 430106 0 0 0 89809 1201 0 0 25 0 1 0 904487738 19378176 3916 4294967295 134512640 134716908 3221224576 3221220544 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4731 3916 1111 63 0 4668 0
vsize: 18924
[startup+920.019 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 437590 0 0 0 90789 1222 0 0 25 0 1 0 904487738 18763776 3916 4294967295 134512640 134716908 3221224576 3221223008 1073990086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 3916 1111 63 0 4518 0
vsize: 18324
[startup+930.019 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 444108 0 0 0 91771 1239 0 0 25 0 1 0 904487738 20721664 4316 4294967295 134512640 134716908 3221224576 3221220848 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5059 4316 1111 63 0 4996 0
vsize: 20236
[startup+940.019 s]
Raw data (loadavg): 1.03 1.04 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 447723 0 0 0 92762 1249 0 0 25 0 1 0 904487738 20279296 4169 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4951 4169 1111 63 0 4888 0
vsize: 19804
[startup+950.018 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 452073 0 0 0 93750 1261 0 0 25 0 1 0 904487738 19279872 4042 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4707 4042 1111 63 0 4644 0
vsize: 18828
[startup+960.018 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 457091 0 0 0 94735 1276 0 0 25 0 1 0 904487738 20500480 4080 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5005 4080 1111 63 0 4942 0
vsize: 20020
[startup+970.019 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 460383 0 0 0 95726 1285 0 0 25 0 1 0 904487738 20578304 4259 4294967295 134512640 134716908 3221224576 3221220508 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5024 4259 1111 63 0 4961 0
vsize: 20096
[startup+980.019 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 464389 0 0 0 96715 1297 0 0 25 0 1 0 904487738 19800064 4165 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4834 4165 1111 63 0 4771 0
vsize: 19336
[startup+990.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 468922 0 0 0 97703 1309 0 0 25 0 1 0 904487738 21676032 4519 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4519 1111 63 0 5229 0
vsize: 21168
[startup+1000.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 471996 0 0 0 98695 1317 0 0 25 0 1 0 904487738 20668416 4263 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 4263 1111 63 0 4983 0
vsize: 20184
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 477164 0 0 0 99681 1331 0 0 25 0 1 0 904487738 20054016 4231 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4231 1111 63 0 4833 0
vsize: 19584
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 481460 0 0 0 100671 1342 0 0 25 0 1 0 904487738 21868544 4582 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 4590 1111 63 0 5276 0
vsize: 21356
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 485576 0 0 0 101660 1353 0 0 25 0 1 0 904487738 21385216 4409 4294967295 134512640 134716908 3221224576 3221221680 1075969830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5221 4415 1111 63 0 5158 0
vsize: 20884
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 489943 0 0 0 102648 1365 0 0 25 0 1 0 904487738 21254144 4486 4294967295 134512640 134716908 3221224576 3221220412 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4486 1111 63 0 5126 0
vsize: 20756
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 494280 0 0 0 103637 1376 0 0 25 0 1 0 904487738 21889024 4544 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5344 4544 1111 63 0 5281 0
vsize: 21376
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 498188 0 0 0 104627 1386 0 0 25 0 1 0 904487738 22118400 4656 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5400 4656 1111 63 0 5337 0
vsize: 21600
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 501265 0 0 0 105620 1394 0 0 25 0 1 0 904487738 22487040 4612 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5490 4612 1111 63 0 5427 0
vsize: 21960
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 504901 0 0 0 106611 1403 0 0 25 0 1 0 904487738 21336064 4506 4294967295 134512640 134716908 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5209 4506 1111 63 0 5146 0
vsize: 20836
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 509102 0 0 0 107599 1414 0 0 25 0 1 0 904487738 22347776 4656 4294967295 134512640 134716908 3221224576 3221220784 1074815430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4547 1111 63 0 5283 0
vsize: 21824
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 512616 0 0 0 108591 1423 0 0 25 0 1 0 904487738 22388736 4710 4294967295 134512640 134716908 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5466 4710 1111 63 0 5403 0
vsize: 21864
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 516687 0 0 0 109580 1434 0 0 25 0 1 0 904487738 22843392 4795 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 4795 1111 63 0 5514 0
vsize: 22308
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 520352 0 0 0 110571 1443 0 0 25 0 1 0 904487738 20779008 4408 4294967295 134512640 134716908 3221224576 3221222304 1075828488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5073 4408 1111 63 0 5010 0
vsize: 20292
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 525750 0 0 0 111557 1458 0 0 25 0 1 0 904487738 22265856 4616 4294967295 134512640 134716908 3221224576 3221220952 1075112550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5436 4616 1111 63 0 5373 0
vsize: 21744
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 531922 0 0 0 112538 1477 0 0 25 0 1 0 904487738 20828160 4420 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5085 4420 1111 63 0 5022 0
vsize: 20340
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 539140 0 0 0 113520 1495 0 0 25 0 1 0 904487738 21352448 4528 4294967295 134512640 134716908 3221224576 3221222728 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 4528 1111 63 0 5150 0
vsize: 20852
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 544210 0 0 0 114505 1510 0 0 25 0 1 0 904487738 22851584 4733 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5579 4733 1111 63 0 5516 0
vsize: 22316
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 549792 0 0 0 115491 1524 0 0 25 0 1 0 904487738 22757376 4775 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5556 4775 1111 63 0 5493 0
vsize: 22224
[startup+1175.42 s]
Raw data (loadavg): 1.00 1.01 0.95 1/53 15513
Raw data (stat): 15513 (bsolo_lpr_cuts-) R 15512 31399 31398 0 -1 0 549792 0 0 0 115491 1524 0 0 25 0 1 0 904487738 22757376 4775 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5556 4775 1111 63 0 5493 0
vsize: 0

Child status: 10
Real time (s): 1175.41
CPU time (s): 1175.55
CPU user time (s): 1160.18
CPU system time (s): 15.3667
CPU usage (%): 100.012
Max. virtual memory (Kb): 22316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	92
#### END VERIFIER DATA ####