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/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
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	3
Maximum length of a constraint	5
Trace number 40932

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 02:53:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28996 boxname=wulflinc5 idbench=382 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc5/normalized-g15x15.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-g15x15.opb
IDLAUNCH: 28996
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        893368 kB
Buffers:         19652 kB
Cached:         100656 kB
SwapCached:        732 kB
Active:          24100 kB
Inactive:        98284 kB
HighTotal:      131008 kB
HighFree:        29036 kB
LowTotal:       903652 kB
LowFree:        864332 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13336 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:12:46 (client local time) WITH STATUS 10 IN 1176 SECONDS
stats: 28996 0 1176 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.082 s
c Initial Lower Bound: 49
c Lower Bound Elapsed time: 0.358
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 55 @ 2.163
c NEW SOLUTION FOUND: 54 @ 1055.14
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.98 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.90 2/54 25231
Raw data (stat): 25231 (runsolver) R 25230 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906824474 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.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 4000 0 0 0 981 16 0 0 25 0 1 0 906824474 6414336 850 4294967295 134512640 134716908 3221224576 3221221028 1074944160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1566 850 1111 63 0 1503 0
vsize: 6264
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 7886 0 0 0 1966 31 0 0 25 0 1 0 906824474 7098368 990 4294967295 134512640 134716908 3221224576 3221220804 1075115084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 990 1111 63 0 1670 0
vsize: 6932
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 11436 0 0 0 2955 42 0 0 25 0 1 0 906824474 7479296 1073 4294967295 134512640 134716908 3221224576 3221220720 1074970836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 1073 1111 63 0 1763 0
vsize: 7304
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 14731 0 0 0 3943 54 0 0 25 0 1 0 906824474 7860224 1171 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1919 1171 1111 63 0 1856 0
vsize: 7676
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 18085 0 0 0 4933 64 0 0 25 0 1 0 906824474 8171520 1249 4294967295 134512640 134716908 3221224576 3221220576 1075088646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1249 1111 63 0 1932 0
vsize: 7980
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 21307 0 0 0 5920 77 0 0 25 0 1 0 906824474 8515584 1334 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2079 1334 1111 63 0 2016 0
vsize: 8316
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 24867 0 0 0 6910 88 0 0 25 0 1 0 906824474 8757248 1408 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2138 1408 1111 63 0 2075 0
vsize: 8552
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 28452 0 0 0 7897 101 0 0 25 0 1 0 906824474 9224192 1507 4294967295 134512640 134716908 3221224576 3221221108 1074260543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2252 1507 1111 63 0 2189 0
vsize: 9008
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 32036 0 0 0 8887 111 0 0 25 0 1 0 906824474 9187328 1558 4294967295 134512640 134716908 3221224576 3221223204 134651106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2243 1558 1111 63 0 2180 0
vsize: 8972
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 36081 0 0 0 9874 124 0 0 25 0 1 0 906824474 9760768 1644 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2383 1644 1111 63 0 2320 0
vsize: 9532
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 39914 0 0 0 10864 135 0 0 25 0 1 0 906824474 10059776 1711 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2456 1711 1111 63 0 2393 0
vsize: 9824
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 43815 0 0 0 11851 147 0 0 25 0 1 0 906824474 10346496 1782 4294967295 134512640 134716908 3221224576 3221223088 134646728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1782 1111 63 0 2463 0
vsize: 10104
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 47807 0 0 0 12840 159 0 0 25 0 1 0 906824474 10579968 1845 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2583 1845 1111 63 0 2520 0
vsize: 10332
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 51713 0 0 0 13827 172 0 0 25 0 1 0 906824474 10932224 1922 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1922 1111 63 0 2606 0
vsize: 10676
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 55957 0 0 0 14816 184 0 0 25 0 1 0 906824474 10768384 1925 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1925 1111 63 0 2566 0
vsize: 10516
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 60038 0 0 0 15803 196 0 0 25 0 1 0 906824474 11304960 2026 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2760 2026 1111 63 0 2697 0
vsize: 11040
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 64168 0 0 0 16790 210 0 0 25 0 1 0 906824474 11538432 2076 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2817 2076 1111 63 0 2754 0
vsize: 11268
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 68347 0 0 0 17777 223 0 0 25 0 1 0 906824474 11591680 2113 4294967295 134512640 134716908 3221224576 3221223072 134646834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2830 2113 1111 63 0 2767 0
vsize: 11320
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 72137 0 0 0 18765 235 0 0 25 0 1 0 906824474 12136448 2208 4294967295 134512640 134716908 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2963 2208 1111 63 0 2900 0
vsize: 11852
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 75876 0 0 0 19753 247 0 0 25 0 1 0 906824474 11984896 2241 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2926 2241 1111 63 0 2863 0
vsize: 11704
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 79595 0 0 0 20742 259 0 0 25 0 1 0 906824474 12546048 2304 4294967295 134512640 134716908 3221224576 3221222188 1074831198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3063 2304 1111 63 0 3000 0
vsize: 12252
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 83523 0 0 0 21730 271 0 0 25 0 1 0 906824474 12881920 2391 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3145 2391 1111 63 0 3082 0
vsize: 12580
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 87135 0 0 0 22718 283 0 0 25 0 1 0 906824474 13176832 2463 4294967295 134512640 134716908 3221224576 3221220640 1074881420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2463 1111 63 0 3154 0
vsize: 12868
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 90871 0 0 0 23708 293 0 0 25 0 1 0 906824474 13438976 2529 4294967295 134512640 134716908 3221224576 3221220576 1074790018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2529 1111 63 0 3218 0
vsize: 13124
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 94520 0 0 0 24696 305 0 0 25 0 1 0 906824474 13172736 2532 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2532 1111 63 0 3153 0
vsize: 12864
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 98366 0 0 0 25684 317 0 0 25 0 1 0 906824474 13664256 2618 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2618 1111 63 0 3273 0
vsize: 13344
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 102556 0 0 0 26671 331 0 0 25 0 1 0 906824474 13914112 2680 4294967295 134512640 134716908 3221224576 3221222416 1074146279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2680 1111 63 0 3334 0
vsize: 13588
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 106676 0 0 0 27661 341 0 0 25 0 1 0 906824474 14069760 2733 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2733 1111 63 0 3372 0
vsize: 13740
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 110644 0 0 0 28649 353 0 0 25 0 1 0 906824474 14323712 2779 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3497 2779 1111 63 0 3434 0
vsize: 13988
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 114757 0 0 0 29638 364 0 0 25 0 1 0 906824474 14835712 2869 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3622 2869 1111 63 0 3559 0
vsize: 14488
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 118948 0 0 0 30626 376 0 0 25 0 1 0 906824474 15065088 2926 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3678 2926 1111 63 0 3615 0
vsize: 14712
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 123133 0 0 0 31612 390 0 0 25 0 1 0 906824474 15298560 2979 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2979 1111 63 0 3672 0
vsize: 14940
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 127459 0 0 0 32598 404 0 0 25 0 1 0 906824474 15208448 2996 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 131530 0 0 0 33588 415 0 0 25 0 1 0 906824474 15683584 3073 4294967295 134512640 134716908 3221224576 3221220640 1074788835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3829 3073 1111 63 0 3766 0
vsize: 15316
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 135732 0 0 0 34576 427 0 0 25 0 1 0 906824474 15360000 3067 4294967295 134512640 134716908 3221224576 3221222400 1074153687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 3067 1111 63 0 3687 0
vsize: 15000
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 139857 0 0 0 35563 440 0 0 25 0 1 0 906824474 15908864 3167 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3884 3167 1111 63 0 3821 0
vsize: 15536
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 144370 0 0 0 36550 453 0 0 25 0 1 0 906824474 16138240 3225 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 3229 1111 63 0 3954 0
vsize: 15760
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 148510 0 0 0 37539 465 0 0 25 0 1 0 906824474 16371712 3279 4294967295 134512640 134716908 3221224576 3221222784 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3279 1111 63 0 3934 0
vsize: 15988
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 152697 0 0 0 38527 477 0 0 25 0 1 0 906824474 16502784 3326 4294967295 134512640 134716908 3221224576 3221223064 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3326 1111 63 0 3966 0
vsize: 16116
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 156591 0 0 0 39516 488 0 0 25 0 1 0 906824474 16928768 3396 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3396 1111 63 0 4070 0
vsize: 16532
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25231
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 161251 0 0 0 40502 502 0 0 25 0 1 0 906824474 16953344 3422 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4139 3422 1111 63 0 4076 0
vsize: 16556
[startup+420.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 166038 0 0 0 41489 515 0 0 25 0 1 0 906824474 16916480 3455 4294967295 134512640 134716908 3221224576 3221222528 1074052293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4130 3455 1111 63 0 4067 0
vsize: 16520
[startup+430.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 170756 0 0 0 42474 530 0 0 25 0 1 0 906824474 17395712 3540 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4247 3540 1111 63 0 4184 0
vsize: 16988
[startup+440.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 175709 0 0 0 43460 545 0 0 25 0 1 0 906824474 17702912 3598 4294967295 134512640 134716908 3221224576 3221222232 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3598 1111 63 0 4259 0
vsize: 17288
[startup+450.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 179689 0 0 0 44448 556 0 0 25 0 1 0 906824474 18223104 3743 4294967295 134512640 134716908 3221224576 3221223040 134607003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4449 3743 1111 63 0 4386 0
vsize: 17796
[startup+460.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 183272 0 0 0 45437 568 0 0 25 0 1 0 906824474 18333696 3767 4294967295 134512640 134716908 3221224576 3221222740 1077378632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3767 1111 63 0 4413 0
vsize: 17904
[startup+470.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 187784 0 0 0 46426 579 0 0 25 0 1 0 906824474 18759680 3856 4294967295 134512640 134716908 3221224576 3221220432 1074867710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3856 1111 63 0 4517 0
vsize: 18320
[startup+480.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25284
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 192176 0 0 0 47414 592 0 0 25 0 1 0 906824474 19021824 3887 4294967295 134512640 134716908 3221224576 3221220736 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3887 1111 63 0 4581 0
vsize: 18576
[startup+490.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 196393 0 0 0 48403 602 0 0 25 0 1 0 906824474 18989056 3936 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3936 1111 63 0 4573 0
vsize: 18544
[startup+500.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 200299 0 0 0 49391 615 0 0 25 0 1 0 906824474 19525632 4012 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 4013 1111 63 0 4704 0
vsize: 19068
[startup+510.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 204685 0 0 0 50377 629 0 0 25 0 1 0 906824474 19714048 4063 4294967295 134512640 134716908 3221224576 3221220736 1075093060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4813 4063 1111 63 0 4750 0
vsize: 19252
[startup+520.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 209114 0 0 0 51365 642 0 0 25 0 1 0 906824474 19906560 4117 4294967295 134512640 134716908 3221224576 3221221176 1075850777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4860 4117 1111 63 0 4797 0
vsize: 19440
[startup+530.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 213434 0 0 0 52353 654 0 0 25 0 1 0 906824474 20054016 4142 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 4142 1111 63 0 4833 0
vsize: 19584
[startup+540.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 217768 0 0 0 53341 665 0 0 25 0 1 0 906824474 20008960 4161 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4885 4161 1111 63 0 4822 0
vsize: 19540
[startup+550.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 222136 0 0 0 54328 678 0 0 25 0 1 0 906824474 20054016 4186 4294967295 134512640 134716908 3221224576 3221222280 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 4186 1111 63 0 4833 0
vsize: 19584
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 225915 0 0 0 55318 689 0 0 25 0 1 0 906824474 20279296 4245 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4245 1111 63 0 4888 0
vsize: 19804
[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 229871 0 0 0 56307 700 0 0 25 0 1 0 906824474 20447232 4286 4294967295 134512640 134716908 3221224576 3221223060 134646662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 4286 1111 63 0 4929 0
vsize: 19968
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 234242 0 0 0 57295 712 0 0 25 0 1 0 906824474 20660224 4320 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 4320 1111 63 0 4981 0
vsize: 20176
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 238651 0 0 0 58284 724 0 0 25 0 1 0 906824474 20606976 4350 4294967295 134512640 134716908 3221224576 3221221680 1074138608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 4360 1111 63 0 5005 0
vsize: 20124
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 242646 0 0 0 59272 735 0 0 25 0 1 0 906824474 21278720 4468 4294967295 134512640 134716908 3221224576 3221220600 1074790372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4468 1111 63 0 5132 0
vsize: 20780
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 247234 0 0 0 60262 746 0 0 25 0 1 0 906824474 20971520 4445 4294967295 134512640 134716908 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5120 4445 1111 63 0 5057 0
vsize: 20480
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 251778 0 0 0 61250 758 0 0 25 0 1 0 906824474 21716992 4554 4294967295 134512640 134716908 3221224576 3221221168 1074887082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4554 1111 63 0 5239 0
vsize: 21208
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 255967 0 0 0 62238 770 0 0 25 0 1 0 906824474 21860352 4591 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5337 4591 1111 63 0 5274 0
vsize: 21348
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 260103 0 0 0 63226 783 0 0 25 0 1 0 906824474 21696512 4590 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4590 1111 63 0 5234 0
vsize: 21188
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 264313 0 0 0 64214 795 0 0 25 0 1 0 906824474 22151168 4671 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5408 4671 1111 63 0 5345 0
vsize: 21632
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 268857 0 0 0 65201 808 0 0 25 0 1 0 906824474 22409216 4719 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4719 1111 63 0 5408 0
vsize: 21884
[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 272913 0 0 0 66191 818 0 0 25 0 1 0 906824474 21942272 4682 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5357 4682 1111 63 0 5294 0
vsize: 21428
[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 277282 0 0 0 67178 831 0 0 25 0 1 0 906824474 22683648 4812 4294967295 134512640 134716908 3221224576 3221220848 1074960881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5538 4812 1111 63 0 5475 0
vsize: 22152
[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 281097 0 0 0 68167 842 0 0 25 0 1 0 906824474 22339584 4779 4294967295 134512640 134716908 3221224576 3221222928 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4779 1111 63 0 5391 0
vsize: 21816
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 284897 0 0 0 69155 854 0 0 25 0 1 0 906824474 23072768 4888 4294967295 134512640 134716908 3221224576 3221220848 1074801494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 4888 1111 63 0 5570 0
vsize: 22532
[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 288894 0 0 0 70145 865 0 0 25 0 1 0 906824474 23150592 4926 4294967295 134512640 134716908 3221224576 3221220432 1074867970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5652 4926 1111 63 0 5589 0
vsize: 22608
[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 293252 0 0 0 71133 878 0 0 25 0 1 0 906824474 23412736 4971 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5716 4971 1111 63 0 5653 0
vsize: 22864
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 297123 0 0 0 72119 891 0 0 25 0 1 0 906824474 23244800 4969 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4969 1111 63 0 5612 0
vsize: 22700
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 301306 0 0 0 73108 903 0 0 25 0 1 0 906824474 23195648 4988 4294967295 134512640 134716908 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4988 1111 63 0 5600 0
vsize: 22652
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 305661 0 0 0 74097 914 0 0 25 0 1 0 906824474 23912448 5093 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5838 5093 1111 63 0 5775 0
vsize: 23352
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25286
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 309666 0 0 0 75085 926 0 0 25 0 1 0 906824474 23748608 5095 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5798 5095 1111 63 0 5735 0
vsize: 23192
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 313753 0 0 0 76072 939 0 0 25 0 1 0 906824474 23920640 5116 4294967295 134512640 134716908 3221224576 3221222784 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5840 5116 1111 63 0 5777 0
vsize: 23360
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 317868 0 0 0 77061 951 0 0 25 0 1 0 906824474 24363008 5198 4294967295 134512640 134716908 3221224576 3221220512 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5948 5198 1111 63 0 5885 0
vsize: 23792
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 321739 0 0 0 78049 962 0 0 25 0 1 0 906824474 23912448 5163 4294967295 134512640 134716908 3221224576 3221222904 1077410241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5838 5163 1111 63 0 5775 0
vsize: 23352
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 325692 0 0 0 79038 973 0 0 25 0 1 0 906824474 24453120 5240 4294967295 134512640 134716908 3221224576 3221222720 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5970 5240 1111 63 0 5907 0
vsize: 23880
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 330005 0 0 0 80028 984 0 0 25 0 1 0 906824474 24858624 5323 4294967295 134512640 134716908 3221224576 3221220484 1074786540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5323 1111 63 0 6006 0
vsize: 24276
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 334670 0 0 0 81016 996 0 0 25 0 1 0 906824474 24383488 5278 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5953 5278 1111 63 0 5890 0
vsize: 23812
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 339224 0 0 0 82004 1008 0 0 25 0 1 0 906824474 24944640 5362 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5362 1111 63 0 6027 0
vsize: 24360
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 343145 0 0 0 82992 1021 0 0 25 0 1 0 906824474 24727552 5362 4294967295 134512640 134716908 3221224576 3221222668 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6037 5362 1111 63 0 5974 0
vsize: 24148
[startup+850.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 347487 0 0 0 83979 1033 0 0 25 0 1 0 906824474 24977408 5423 4294967295 134512640 134716908 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 5423 1111 63 0 6035 0
vsize: 24392
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 351643 0 0 0 84967 1046 0 0 25 0 1 0 906824474 25329664 5476 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6184 5476 1111 63 0 6121 0
vsize: 24736
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 356069 0 0 0 85954 1060 0 0 25 0 1 0 906824474 25858048 5564 4294967295 134512640 134716908 3221224576 3221221580 1074621120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6313 5564 1111 63 0 6250 0
vsize: 25252
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 360406 0 0 0 86943 1071 0 0 25 0 1 0 906824474 25726976 5577 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 5577 1111 63 0 6218 0
vsize: 25124
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 364424 0 0 0 87931 1083 0 0 25 0 1 0 906824474 25882624 5613 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6319 5613 1111 63 0 6256 0
vsize: 25276
[startup+900.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 368512 0 0 0 88921 1093 0 0 25 0 1 0 906824474 26017792 5646 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 5646 1111 63 0 6289 0
vsize: 25408
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 372667 0 0 0 89909 1105 0 0 25 0 1 0 906824474 25944064 5659 4294967295 134512640 134716908 3221224576 3221222904 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6334 5659 1111 63 0 6271 0
vsize: 25336
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 377120 0 0 0 90897 1117 0 0 25 0 1 0 906824474 26656768 5784 4294967295 134512640 134716908 3221224576 3221220432 1074870796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 5784 1111 63 0 6445 0
vsize: 26032
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 381366 0 0 0 91885 1129 0 0 25 0 1 0 906824474 26542080 5775 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6480 5775 1111 63 0 6417 0
vsize: 25920
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 385372 0 0 0 92875 1139 0 0 25 0 1 0 906824474 26525696 5785 4294967295 134512640 134716908 3221224576 3221222576 1074916737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6476 5785 1111 63 0 6413 0
vsize: 25904
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 389294 0 0 0 93863 1152 0 0 25 0 1 0 906824474 27074560 5885 4294967295 134512640 134716908 3221224576 3221220676 1075964252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 5885 1111 63 0 6547 0
vsize: 26440
[startup+960.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 393099 0 0 0 94853 1162 0 0 25 0 1 0 906824474 26841088 5866 4294967295 134512640 134716908 3221224576 3221222576 1074918195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6553 5866 1111 63 0 6490 0
vsize: 26212
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 397002 0 0 0 95844 1172 0 0 25 0 1 0 906824474 27447296 5954 4294967295 134512640 134716908 3221224576 3221220432 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6701 5954 1111 63 0 6638 0
vsize: 26804
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 401165 0 0 0 96832 1184 0 0 25 0 1 0 906824474 27316224 5941 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6669 5941 1111 63 0 6606 0
vsize: 26676
[startup+990.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 405321 0 0 0 97820 1196 0 0 25 0 1 0 906824474 27754496 6027 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 6027 1111 63 0 6713 0
vsize: 27104
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 409254 0 0 0 98810 1206 0 0 25 0 1 0 906824474 27873280 6075 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6805 6075 1111 63 0 6742 0
vsize: 27220
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 413046 0 0 0 99800 1216 0 0 25 0 1 0 906824474 27496448 6038 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6713 6038 1111 63 0 6650 0
vsize: 26852
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 417230 0 0 0 100791 1225 0 0 25 0 1 0 906824474 27897856 6106 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6811 6106 1111 63 0 6748 0
vsize: 27244
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 421254 0 0 0 101780 1237 0 0 25 0 1 0 906824474 28028928 6136 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6136 1111 63 0 6780 0
vsize: 27372
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 425912 0 0 0 102768 1249 0 0 25 0 1 0 906824474 28155904 6199 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6874 6199 1111 63 0 6811 0
vsize: 27496
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 429931 0 0 0 103758 1258 0 0 25 0 1 0 906824474 28844032 6293 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7042 6293 1111 63 0 6979 0
vsize: 28168
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 433929 0 0 0 104747 1270 0 0 25 0 1 0 906824474 28717056 6307 4294967295 134512640 134716908 3221224576 3221223056 1074031967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7011 6307 1111 63 0 6948 0
vsize: 28044
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 437650 0 0 0 105737 1280 0 0 25 0 1 0 906824474 28987392 6356 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6356 1111 63 0 7014 0
vsize: 28308
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 441410 0 0 0 106727 1291 0 0 25 0 1 0 906824474 29384704 6435 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7174 6435 1111 63 0 7111 0
vsize: 28696
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 444888 0 0 0 107717 1301 0 0 25 0 1 0 906824474 29323264 6418 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7159 6418 1111 63 0 7096 0
vsize: 28636
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 448628 0 0 0 108705 1313 0 0 25 0 1 0 906824474 29540352 6491 4294967295 134512640 134716908 3221224576 3221220460 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6491 1111 63 0 7149 0
vsize: 28848
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 452353 0 0 0 109693 1325 0 0 25 0 1 0 906824474 29421568 6465 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7183 6465 1111 63 0 7120 0
vsize: 28732
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 456370 0 0 0 110682 1336 0 0 25 0 1 0 906824474 29810688 6553 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7278 6553 1111 63 0 7215 0
vsize: 29112
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 460567 0 0 0 111671 1348 0 0 25 0 1 0 906824474 29966336 6564 4294967295 134512640 134716908 3221224576 3221220452 1074786600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7316 6564 1111 63 0 7253 0
vsize: 29264
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 464560 0 0 0 112659 1359 0 0 25 0 1 0 906824474 29802496 6548 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7276 6548 1111 63 0 7213 0
vsize: 29104
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 468950 0 0 0 113645 1373 0 0 25 0 1 0 906824474 30191616 6637 4294967295 134512640 134716908 3221224576 3221220716 1074970247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7371 6637 1111 63 0 7308 0
vsize: 29484
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 473128 0 0 0 114633 1386 0 0 25 0 1 0 906824474 30064640 6613 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7340 6613 1111 63 0 7277 0
vsize: 29360
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 477260 0 0 0 115622 1398 0 0 25 0 1 0 906824474 30543872 6707 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6707 1111 63 0 7394 0
vsize: 29828
[startup+1175.84 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 25288
Raw data (stat): 25231 (bsolo_lpr_cuts-) R 25230 7266 7265 0 -1 0 477260 0 0 0 115622 1398 0 0 25 0 1 0 906824474 30543872 6707 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6707 1111 63 0 7394 0
vsize: 0

Child status: 10
Real time (s): 1175.84
CPU time (s): 1176
CPU user time (s): 1161.97
CPU system time (s): 14.0369
CPU usage (%): 100.014
Max. virtual memory (Kb): 29828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	54
#### END VERIFIER DATA ####