PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/een/normalized-p0282.opb
MD5SUM	dd62132555621025f45a5a6099c90742
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	282
Total number of constraints	221
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	44
Minimum length of a constraint	2
Maximum length of a constraint	57
Trace number 40938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 03:03:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29003 boxname=wulflinc2 idbench=389 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc2/normalized-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-p0282.opb
IDLAUNCH: 29003
/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:        884164 kB
Buffers:         21528 kB
Cached:         104424 kB
SwapCached:       4472 kB
Active:          25092 kB
Inactive:       106008 kB
HighTotal:      131008 kB
HighFree:        27412 kB
LowTotal:       903652 kB
LowFree:        856752 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13708 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:23:10 (client local time) WITH STATUS 10 IN 1179.27 SECONDS
stats: 29003 0 1179.27 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.193 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.055
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 554397 @ 3.914
c NEW SOLUTION FOUND: 416986 @ 3.915
c NEW SOLUTION FOUND: 411134 @ 3.982
c NEW SOLUTION FOUND: 410043 @ 3.995
c NEW SOLUTION FOUND: 397967 @ 4.736
c NEW SOLUTION FOUND: 397602 @ 5.662
c NEW SOLUTION FOUND: 392488 @ 6.215
c NEW SOLUTION FOUND: 390957 @ 11.417
c NEW SOLUTION FOUND: 389331 @ 11.463
c NEW SOLUTION FOUND: 373381 @ 18.107
c NEW SOLUTION FOUND: 372290 @ 18.144
c NEW SOLUTION FOUND: 366922 @ 18.722
c NEW SOLUTION FOUND: 366438 @ 18.796
c NEW SOLUTION FOUND: 365347 @ 19.02
c NEW SOLUTION FOUND: 361133 @ 64.125
s SATISFIABLE
v -x0 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -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 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 x244 -x245 -x246 -x247 x248 x249 -x250 x251 x252 -x253 x254 x255 x256 x257 -x258 -x259 x260 x261 x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 x278 x279 x280 x281 
c Exit Code: 10
c Total time: 1179.22 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.92 0.97 0.91 2/54 18783
Raw data (stat): 18783 (runsolver) R 18782 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906890286 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 9614 0 0 0 966 31 0 0 25 0 1 0 906890286 8105984 1260 4294967295 134512640 134716908 3221224576 3221222904 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1979 1260 1111 63 0 1916 0
vsize: 7916
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 27801 0 0 0 1919 79 0 0 25 0 1 0 906890286 11309056 2076 4294967295 134512640 134716908 3221224576 3221221680 1074138803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2761 2076 1111 63 0 2698 0
vsize: 11044
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 40174 0 0 0 2887 111 0 0 25 0 1 0 906890286 13012992 2470 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3177 2470 1111 63 0 3114 0
vsize: 12708
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 51609 0 0 0 3862 137 0 0 25 0 1 0 906890286 12771328 2443 4294967295 134512640 134716908 3221224576 3221222224 1075818281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2443 1111 63 0 3055 0
vsize: 12472
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 83370 0 0 0 4788 211 0 0 25 0 1 0 906890286 14872576 2939 4294967295 134512640 134716908 3221224576 3221222992 1074116576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3631 2939 1111 63 0 3568 0
vsize: 14524
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 123547 0 0 0 5697 301 0 0 25 0 1 0 906890286 17825792 3654 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4352 3654 1111 63 0 4289 0
vsize: 17408
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 161112 0 0 0 6616 383 0 0 25 0 1 0 906890286 20066304 4211 4294967295 134512640 134716908 3221224576 3221223004 134555028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4899 4211 1111 63 0 4836 0
vsize: 19596
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 202916 0 0 0 7521 478 0 0 25 0 1 0 906890286 23662592 4885 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 4885 1111 63 0 5714 0
vsize: 23108
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 241257 0 0 0 8434 565 0 0 25 0 1 0 906890286 26030080 5430 4294967295 134512640 134716908 3221224576 3221220948 1076117111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6355 5430 1111 63 0 6292 0
vsize: 25420
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 271012 0 0 0 9366 633 0 0 25 0 1 0 906890286 26836992 5862 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5862 1111 63 0 6489 0
vsize: 26208
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 306117 0 0 0 10283 716 0 0 25 0 1 0 906890286 29429760 6423 4294967295 134512640 134716908 3221224576 3221222856 1074207527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 6423 1111 63 0 7122 0
vsize: 28740
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 328376 0 0 0 11232 767 0 0 25 0 1 0 906890286 30363648 6656 4294967295 134512640 134716908 3221224576 3221222876 1074051424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7413 6656 1111 63 0 7350 0
vsize: 29652
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 354645 0 0 0 12170 829 0 0 25 0 1 0 906890286 32894976 7050 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7050 1111 63 0 7968 0
vsize: 32124
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 356491 0 0 0 13163 836 0 0 25 0 1 0 906890286 33267712 7355 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8122 7355 1111 63 0 8059 0
vsize: 32488
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 357149 0 0 0 14161 838 0 0 25 0 1 0 906890286 35078144 7786 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8564 7786 1111 63 0 8501 0
vsize: 34256
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18783
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 361101 0 0 0 15152 847 0 0 25 0 1 0 906890286 35196928 7740 4294967295 134512640 134716908 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8593 7740 1111 63 0 8530 0
vsize: 34372
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 361101 0 0 0 16152 847 0 0 25 0 1 0 906890286 35196928 7740 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8593 7740 1111 63 0 8530 0
vsize: 34372
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 372081 0 0 0 17125 874 0 0 25 0 1 0 906890286 32468992 7160 4294967295 134512640 134716908 3221224576 3221222488 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7927 7160 1111 63 0 7864 0
vsize: 31708
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 394419 0 0 0 18075 925 0 0 25 0 1 0 906890286 36888576 7310 4294967295 134512640 134716908 3221224576 3221222216 1075850414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9006 7310 1111 63 0 8943 0
vsize: 36024
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 402783 0 0 0 19055 945 0 0 25 0 1 0 906890286 34533376 7597 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7597 1111 63 0 8368 0
vsize: 33724
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 405391 0 0 0 20050 950 0 0 25 0 1 0 906890286 39530496 7640 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9651 7640 1111 63 0 9588 0
vsize: 38604
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 421870 0 0 0 21009 992 0 0 25 0 1 0 906890286 33329152 7370 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8137 7370 1111 63 0 8074 0
vsize: 32548
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 468673 0 0 0 21902 1098 0 0 25 0 1 0 906890286 35180544 7807 4294967295 134512640 134716908 3221224576 3221222304 1075829009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8589 7807 1111 63 0 8526 0
vsize: 34356
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 518350 0 0 0 22797 1204 0 0 25 0 1 0 906890286 41164800 8322 4294967295 134512640 134716908 3221224576 3221222216 1075850414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9580 8319 1111 63 0 9517 0
vsize: 40200
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 567102 0 0 0 23685 1316 0 0 25 0 1 0 906890286 42926080 8853 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8853 1111 63 0 10417 0
vsize: 41920
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 613603 0 0 0 24574 1427 0 0 25 0 1 0 906890286 40853504 9171 4294967295 134512640 134716908 3221224576 3221223144 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9974 9171 1111 63 0 9911 0
vsize: 39896
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 661498 0 0 0 25464 1537 0 0 25 0 1 0 906890286 42631168 9615 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10408 9615 1111 63 0 10345 0
vsize: 41632
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 704127 0 0 0 26368 1633 0 0 25 0 1 0 906890286 47894528 9957 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11693 9960 1111 63 0 11630 0
vsize: 46772
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 753348 0 0 0 27256 1745 0 0 25 0 1 0 906890286 46309376 10498 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11306 10498 1111 63 0 11243 0
vsize: 45224
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 799283 0 0 0 28149 1853 0 0 25 0 1 0 906890286 51564544 10850 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 10856 1111 63 0 12526 0
vsize: 50356
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 844619 0 0 0 29043 1959 0 0 25 0 1 0 906890286 49598464 11280 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12109 11280 1111 63 0 12046 0
vsize: 48436
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 883365 0 0 0 29953 2049 0 0 25 0 1 0 906890286 50384896 11498 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12301 11498 1111 63 0 12238 0
vsize: 49204
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 921487 0 0 0 30864 2138 0 0 25 0 1 0 906890286 52453376 11877 4294967295 134512640 134716908 3221224576 3221223356 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12806 11877 1111 63 0 12743 0
vsize: 51224
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 961477 0 0 0 31772 2231 0 0 25 0 1 0 906890286 57798656 12471 4294967295 134512640 134716908 3221224576 3221220956 1075112635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14111 12471 1111 63 0 14048 0
vsize: 56444
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1011445 0 0 0 32653 2349 0 0 25 0 1 0 906890286 55492608 12582 4294967295 134512640 134716908 3221224576 3221222928 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13548 12582 1111 63 0 13485 0
vsize: 54192
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1055628 0 0 0 33553 2450 0 0 25 0 1 0 906890286 56569856 12856 4294967295 134512640 134716908 3221224576 3221222496 1075799720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13811 12856 1111 63 0 13748 0
vsize: 55244
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1091342 0 0 0 34468 2535 0 0 25 0 1 0 906890286 57417728 13022 4294967295 134512640 134716908 3221224576 3221222816 1074057902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14018 13022 1111 63 0 13955 0
vsize: 56072
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1136907 0 0 0 35363 2640 0 0 25 0 1 0 906890286 62525440 13598 4294967295 134512640 134716908 3221224576 3221220640 1074788715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15265 13598 1111 63 0 15202 0
vsize: 61060
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1175300 0 0 0 36275 2729 0 0 25 0 1 0 906890286 65818624 14411 4294967295 134512640 134716908 3221224576 3221220720 1074971324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16069 14411 1111 63 0 16006 0
vsize: 64276
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1204445 0 0 0 37203 2801 0 0 25 0 1 0 906890286 60203008 13726 4294967295 134512640 134716908 3221224576 3221222576 1074918631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14698 13726 1111 63 0 14635 0
vsize: 58792
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1249472 0 0 0 38100 2904 0 0 25 0 1 0 906890286 65318912 14279 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15947 14279 1111 63 0 15884 0
vsize: 63788
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1291969 0 0 0 39003 3001 0 0 25 0 1 0 906890286 66203648 14250 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16163 14250 1111 63 0 16100 0
vsize: 64652
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307198 0 0 0 39969 3036 0 0 25 0 1 0 906890286 64163840 14654 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15665 14654 1111 63 0 15602 0
vsize: 62660
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307281 0 0 0 40968 3037 0 0 25 0 1 0 906890286 64487424 14737 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14737 1111 63 0 15681 0
vsize: 62976
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307368 0 0 0 41967 3038 0 0 25 0 1 0 906890286 64860160 14824 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15835 14824 1111 63 0 15772 0
vsize: 63340
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307418 0 0 0 42967 3038 0 0 25 0 1 0 906890286 65052672 14874 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15882 14874 1111 63 0 15819 0
vsize: 63528
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307501 0 0 0 43966 3039 0 0 25 0 1 0 906890286 65404928 14957 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15968 14957 1111 63 0 15905 0
vsize: 63872
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307537 0 0 0 44966 3040 0 0 25 0 1 0 906890286 65552384 14993 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16004 14993 1111 63 0 15941 0
vsize: 64016
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1307594 0 0 0 45965 3041 0 0 25 0 1 0 906890286 65675264 15050 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16034 15050 1111 63 0 15971 0
vsize: 64136
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1309269 0 0 0 46961 3045 0 0 25 0 1 0 906890286 70086656 16123 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 16123 1111 63 0 17048 0
vsize: 68444
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1309269 0 0 0 47961 3045 0 0 25 0 1 0 906890286 70086656 16123 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 16123 1111 63 0 17048 0
vsize: 68444
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1312095 0 0 0 48955 3051 0 0 25 0 1 0 906890286 76664832 17359 4294967295 134512640 134716908 3221224576 3221221728 1075969885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18717 17359 1111 63 0 18654 0
vsize: 74868
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 49946 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223300 134622827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 50946 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 51947 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 52947 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223392 134622264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 53947 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 54947 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316814 0 0 0 55947 3060 0 0 25 0 1 0 906890286 69148672 15872 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16882 15872 1111 63 0 16819 0
vsize: 67528
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1316955 0 0 0 56947 3061 0 0 25 0 1 0 906890286 67657728 15533 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16518 15533 1111 63 0 16455 0
vsize: 66072
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1317004 0 0 0 57945 3063 0 0 25 0 1 0 906890286 67858432 15582 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16567 15582 1111 63 0 16504 0
vsize: 66268
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1318005 0 0 0 58943 3065 0 0 25 0 1 0 906890286 67457024 15490 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16469 15490 1111 63 0 16406 0
vsize: 65876
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1319702 0 0 0 59939 3069 0 0 25 0 1 0 906890286 76513280 16522 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18680 16522 1111 63 0 18617 0
vsize: 74720
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1323539 0 0 0 60931 3077 0 0 25 0 1 0 906890286 67092480 15355 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16380 15355 1111 63 0 16317 0
vsize: 65520
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1323539 0 0 0 61932 3077 0 0 25 0 1 0 906890286 67092480 15355 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16380 15355 1111 63 0 16317 0
vsize: 65520
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1324110 0 0 0 62930 3079 0 0 25 0 1 0 906890286 65966080 15120 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16105 15120 1111 63 0 16042 0
vsize: 64420
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1327435 0 0 0 63923 3087 0 0 25 0 1 0 906890286 65327104 14938 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15949 14938 1111 63 0 15886 0
vsize: 63796
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1334285 0 0 0 64907 3102 0 0 25 0 1 0 906890286 65720320 14760 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15730 14751 1111 63 0 15667 0
vsize: 64180
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1353747 0 0 0 65860 3150 0 0 25 0 1 0 906890286 64598016 14792 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15771 14792 1111 63 0 15708 0
vsize: 63084
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1378390 0 0 0 66800 3209 0 0 25 0 1 0 906890286 64430080 14751 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15730 14751 1111 63 0 15667 0
vsize: 62920
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1379598 0 0 0 67797 3213 0 0 25 0 1 0 906890286 65224704 14945 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15924 14945 1111 63 0 15861 0
vsize: 63696
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1380399 0 0 0 68795 3215 0 0 25 0 1 0 906890286 67518464 15494 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1385175 0 0 0 69785 3225 0 0 25 0 1 0 906890286 67543040 15415 4294967295 134512640 134716908 3221224576 3221223292 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16490 15415 1111 63 0 16427 0
vsize: 65960
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1385175 0 0 0 70785 3225 0 0 25 0 1 0 906890286 67543040 15415 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16490 15415 1111 63 0 16427 0
vsize: 65960
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1385572 0 0 0 71784 3226 0 0 25 0 1 0 906890286 66826240 15291 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16315 15291 1111 63 0 16252 0
vsize: 65260
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1388855 0 0 0 72777 3234 0 0 25 0 1 0 906890286 66359296 15197 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16201 15197 1111 63 0 16138 0
vsize: 64804
[startup+770.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1393482 0 0 0 73765 3246 0 0 25 0 1 0 906890286 65777664 15080 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16059 15080 1111 63 0 15996 0
vsize: 64236
[startup+780.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1399727 0 0 0 74752 3259 0 0 25 0 1 0 906890286 65384448 14984 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15963 14984 1111 63 0 15900 0
vsize: 63852
[startup+790.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1415552 0 0 0 75713 3298 0 0 25 0 1 0 906890286 65363968 14979 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15958 14979 1111 63 0 15895 0
vsize: 63832
[startup+800.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1425226 0 0 0 76691 3321 0 0 25 0 1 0 906890286 65773568 15079 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16058 15079 1111 63 0 15995 0
vsize: 64232
[startup+810.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1429413 0 0 0 77681 3330 0 0 25 0 1 0 906890286 67428352 15416 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16462 15416 1111 63 0 16399 0
vsize: 65848
[startup+820.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1429413 0 0 0 78682 3330 0 0 25 0 1 0 906890286 67428352 15416 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16462 15416 1111 63 0 16399 0
vsize: 65848
[startup+830.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1432670 0 0 0 79674 3338 0 0 25 0 1 0 906890286 66666496 15231 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16276 15231 1111 63 0 16213 0
vsize: 65104
[startup+840.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1441633 0 0 0 80652 3360 0 0 25 0 1 0 906890286 66031616 15122 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16121 15122 1111 63 0 16058 0
vsize: 64484
[startup+850.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1444881 0 0 0 81644 3368 0 0 25 0 1 0 906890286 66949120 15359 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16345 15359 1111 63 0 16282 0
vsize: 65380
[startup+860.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1446012 0 0 0 82642 3371 0 0 25 0 1 0 906890286 66031616 15142 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16121 15142 1111 63 0 16058 0
vsize: 64484
[startup+870.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1448396 0 0 0 83637 3376 0 0 25 0 1 0 906890286 66473984 15250 4294967295 134512640 134716908 3221224576 3221223368 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16229 15250 1111 63 0 16166 0
vsize: 64916
[startup+880.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1455731 0 0 0 84619 3394 0 0 25 0 1 0 906890286 66015232 15138 4294967295 134512640 134716908 3221224576 3221223288 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16117 15138 1111 63 0 16054 0
vsize: 64468
[startup+890.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1457443 0 0 0 85615 3398 0 0 25 0 1 0 906890286 67567616 15508 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16496 15508 1111 63 0 16433 0
vsize: 65984
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1460057 0 0 0 86609 3405 0 0 25 0 1 0 906890286 66015232 15138 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16117 15138 1111 63 0 16054 0
vsize: 64468
[startup+910.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1463472 0 0 0 87600 3413 0 0 25 0 1 0 906890286 66551808 15269 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16248 15269 1111 63 0 16185 0
vsize: 64992
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1465274 0 0 0 88597 3417 0 0 25 0 1 0 906890286 66220032 15188 4294967295 134512640 134716908 3221224576 3221223376 134622654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16167 15188 1111 63 0 16104 0
vsize: 64668
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1493551 0 0 0 89529 3485 0 0 25 0 1 0 906890286 71176192 15150 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17377 15150 1111 63 0 17314 0
vsize: 69508
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1520544 0 0 0 90465 3549 0 0 25 0 1 0 906890286 71176192 15288 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17377 15299 1111 63 0 17314 0
vsize: 69508
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1525909 0 0 0 91453 3562 0 0 25 0 1 0 906890286 66158592 15185 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 15185 1111 63 0 16089 0
vsize: 64608
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1561389 0 0 0 92371 3644 0 0 25 0 1 0 906890286 71712768 15546 4294967295 134512640 134716908 3221224576 3221220784 1074815250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17508 15546 1111 63 0 17445 0
vsize: 70032
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1592516 0 0 0 93295 3720 0 0 25 0 1 0 906890286 75309056 16482 4294967295 134512640 134716908 3221224576 3221220784 1074815250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18386 16482 1111 63 0 18323 0
vsize: 73544
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1623096 0 0 0 94225 3790 0 0 25 0 1 0 906890286 73121792 15931 4294967295 134512640 134716908 3221224576 3221220524 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17852 15931 1111 63 0 17789 0
vsize: 71408
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1650916 0 0 0 95161 3855 0 0 25 0 1 0 906890286 68345856 15715 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16686 15715 1111 63 0 16623 0
vsize: 66744
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1680881 0 0 0 96089 3927 0 0 25 0 1 0 906890286 68902912 15842 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16822 15842 1111 63 0 16759 0
vsize: 67288
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1714033 0 0 0 97013 4003 0 0 25 0 1 0 906890286 69533696 15996 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16976 15996 1111 63 0 16913 0
vsize: 67904
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719555 0 0 0 98000 4016 0 0 25 0 1 0 906890286 70647808 16268 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17248 16268 1111 63 0 17185 0
vsize: 68992
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719646 0 0 0 98998 4018 0 0 25 0 1 0 906890286 71143424 16359 4294967295 134512640 134716908 3221224576 3221222508 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17369 16359 1111 63 0 17306 0
vsize: 69476
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719698 0 0 0 99997 4019 0 0 25 0 1 0 906890286 71356416 16411 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17421 16411 1111 63 0 17358 0
vsize: 69684
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719781 0 0 0 100997 4020 0 0 25 0 1 0 906890286 71704576 16494 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17506 16494 1111 63 0 17443 0
vsize: 70024
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719848 0 0 0 101996 4021 0 0 25 0 1 0 906890286 71888896 16561 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17551 16561 1111 63 0 17488 0
vsize: 70204
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719882 0 0 0 102996 4021 0 0 25 0 1 0 906890286 72028160 16595 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17585 16595 1111 63 0 17522 0
vsize: 70340
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719967 0 0 0 103996 4022 0 0 25 0 1 0 906890286 72359936 16680 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17666 16680 1111 63 0 17603 0
vsize: 70664
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1719996 0 0 0 104995 4023 0 0 25 0 1 0 906890286 72478720 16709 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17695 16709 1111 63 0 17632 0
vsize: 70780
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1720020 0 0 0 105995 4023 0 0 25 0 1 0 906890286 72577024 16733 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17719 16733 1111 63 0 17656 0
vsize: 70876
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1721890 0 0 0 106991 4027 0 0 25 0 1 0 906890286 77451264 17922 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18909 17922 1111 63 0 18846 0
vsize: 75636
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1725193 0 0 0 107985 4033 0 0 25 0 1 0 906890286 87543808 19958 4294967295 134512640 134716908 3221224576 3221220848 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21373 19958 1111 63 0 21310 0
vsize: 85492
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 108972 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 74240
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 109972 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 74240
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 110972 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 74240
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 111972 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 74240
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 112973 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223288 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 74240
[startup+1179.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 18785
Raw data (stat): 18783 (bsolo_lpr_cuts-) R 18782 31399 31398 0 -1 0 1731233 0 0 0 112973 4047 0 0 25 0 1 0 906890286 76021760 17553 4294967295 134512640 134716908 3221224576 3221223288 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18560 17553 1111 63 0 18497 0
vsize: 0

Child status: 10
Real time (s): 1179.1
CPU time (s): 1179.27
CPU user time (s): 1138.76
CPU system time (s): 40.5058
CPU usage (%): 100.014
Max. virtual memory (Kb): 85492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	361133
#### END VERIFIER DATA ####