PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 25123

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 23:32:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5150 boxname=wulflinc31 idbench=397 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
IDLAUNCH: 5150
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        766340 kB
Buffers:         51872 kB
Cached:         187236 kB
SwapCached:       1952 kB
Active:         202644 kB
Inactive:        45384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766088 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14588 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 23:52:21 (client local time) WITH STATUS 10 IN 1175.87 SECONDS
stats: 5150 0 1175.87 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 201 variables and 289 constraints.
c preprocess terminated 0.255 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.1955
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2288 @ 11.786
c NEW SOLUTION FOUND: 2091 @ 14.98
c NEW SOLUTION FOUND: 2081 @ 18.413
c NEW SOLUTION FOUND: 2074 @ 19.4
c NEW SOLUTION FOUND: 2064 @ 21.096
c NEW SOLUTION FOUND: 2043 @ 22.898
c NEW SOLUTION FOUND: 1994 @ 24.821
c NEW SOLUTION FOUND: 1989 @ 30.678
c NEW SOLUTION FOUND: 1977 @ 32.791
c NEW SOLUTION FOUND: 1949 @ 34.632
c NEW SOLUTION FOUND: 1947 @ 40.242
c NEW SOLUTION FOUND: 1942 @ 43.647
c NEW SOLUTION FOUND: 1937 @ 54.879
c NEW SOLUTION FOUND: 1936 @ 69.004
c NEW SOLUTION FOUND: 1919 @ 73.945
c NEW SOLUTION FOUND: 1909 @ 91.42
c NEW SOLUTION FOUND: 1904 @ 102.591
c NEW SOLUTION FOUND: 1899 @ 103.346
c NEW SOLUTION FOUND: 1882 @ 107.253
c NEW SOLUTION FOUND: 1880 @ 108.697
c NEW SOLUTION FOUND: 1854 @ 134.383
c NEW SOLUTION FOUND: 1831 @ 399.244
c NEW SOLUTION FOUND: 1821 @ 399.699
c NEW SOLUTION FOUND: 1809 @ 572.582
c NEW SOLUTION FOUND: 1799 @ 580.769
c NEW SOLUTION FOUND: 1787 @ 644.987
c NEW SOLUTION FOUND: 1759 @ 728.436
c NEW SOLUTION FOUND: 1738 @ 938.643
s SATISFIABLE
v x0 -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 
c Exit Code: 10
c Total time: 1175.83 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.96 2/55 18556
Raw data (stat): 18556 (runsolver) R 18555 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765078191 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 6556 0 0 0 978 17 0 0 25 0 1 0 765078191 6119424 812 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1494 812 1111 63 0 1431 0
vsize: 5976
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 17569 0 0 0 1950 45 0 0 25 0 1 0 765078191 7458816 1142 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1821 1142 1111 63 0 1758 0
vsize: 7284
[startup+30.0012 s]
Raw data (loadavg): 1.03 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 29708 0 0 0 2922 74 0 0 25 0 1 0 765078191 9617408 1654 4294967295 134512640 134714508 3221221792 3221220144 1074115517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2348 1654 1111 63 0 2285 0
vsize: 9392
[startup+40.0012 s]
Raw data (loadavg): 1.03 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 41463 0 0 0 3890 106 0 0 25 0 1 0 765078191 11390976 2090 4294967295 134512640 134714508 3221221792 3221219948 1074859524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2781 2090 1111 63 0 2718 0
vsize: 11124
[startup+50.002 s]
Raw data (loadavg): 1.02 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 54027 0 0 0 4857 139 0 0 25 0 1 0 765078191 13840384 2615 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3379 2615 1111 63 0 3316 0
vsize: 13516
[startup+60.0019 s]
Raw data (loadavg): 1.02 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 65432 0 0 0 5832 164 0 0 25 0 1 0 765078191 14536704 2868 4294967295 134512640 134714508 3221221792 3221219424 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2868 1111 63 0 3486 0
vsize: 14196
[startup+70.002 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 84902 0 0 0 6787 209 0 0 25 0 1 0 765078191 14811136 2932 4294967295 134512640 134714508 3221221792 3221220144 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3616 2932 1111 63 0 3553 0
vsize: 14464
[startup+80.0028 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 107831 0 0 0 7732 263 0 0 25 0 1 0 765078191 16478208 3346 4294967295 134512640 134714508 3221221792 3221219904 1074867311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 3346 1111 63 0 3960 0
vsize: 16092
[startup+90.0029 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 120999 0 0 0 8701 294 0 0 25 0 1 0 765078191 17989632 3549 4294967295 134512640 134714508 3221221792 3221218784 1075110491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4392 3549 1111 63 0 4329 0
vsize: 17568
[startup+100.004 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 134286 0 0 0 9671 324 0 0 25 0 1 0 765078191 18583552 3849 4294967295 134512640 134714508 3221221792 3221219136 1074839048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4537 3849 1111 63 0 4474 0
vsize: 18148
[startup+110.005 s]
Raw data (loadavg): 1.01 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 150102 0 0 0 10634 361 0 0 25 0 1 0 765078191 19288064 4000 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4709 4000 1111 63 0 4646 0
vsize: 18836
[startup+120.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 160882 0 0 0 11609 387 0 0 25 0 1 0 765078191 20156416 4212 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4921 4212 1111 63 0 4858 0
vsize: 19684
[startup+130.004 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 171387 0 0 0 12584 411 0 0 25 0 1 0 765078191 20017152 4210 4294967295 134512640 134714508 3221221792 3221218896 1074138863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4216 1111 63 0 5015 0
vsize: 19548
[startup+140.004 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 181574 0 0 0 13560 436 0 0 25 0 1 0 765078191 21549056 4552 4294967295 134512640 134714508 3221221792 3221219440 1075818300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5261 4552 1111 63 0 5198 0
vsize: 21044
[startup+150.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 194056 0 0 0 14531 465 0 0 25 0 1 0 765078191 23044096 4849 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5626 4853 1111 63 0 5563 0
vsize: 22504
[startup+160.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 203845 0 0 0 15510 486 0 0 25 0 1 0 765078191 22855680 4903 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5580 4903 1111 63 0 5517 0
vsize: 22320
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 213373 0 0 0 16488 508 0 0 25 0 1 0 765078191 22286336 4770 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5441 4770 1111 63 0 5378 0
vsize: 21764
[startup+180.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 222679 0 0 0 17467 529 0 0 25 0 1 0 765078191 23261184 4899 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5679 4899 1111 63 0 5616 0
vsize: 22716
[startup+190.005 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 235692 0 0 0 18439 557 0 0 25 0 1 0 765078191 24301568 5066 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5933 5066 1111 63 0 5870 0
vsize: 23732
[startup+200.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 247794 0 0 0 19413 583 0 0 25 0 1 0 765078191 21905408 4677 4294967295 134512640 134714508 3221221792 3221219792 1074918003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5348 4677 1111 63 0 5285 0
vsize: 21392
[startup+210.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 259530 0 0 0 20387 609 0 0 25 0 1 0 765078191 22880256 4907 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5586 4907 1111 63 0 5523 0
vsize: 22344
[startup+220.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 269637 0 0 0 21364 633 0 0 25 0 1 0 765078191 24317952 5095 4294967295 134512640 134714508 3221221792 3221217836 1074873541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5095 1111 63 0 5874 0
vsize: 23748
[startup+230.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 281205 0 0 0 22339 658 0 0 25 0 1 0 765078191 23724032 4870 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5792 4874 1111 63 0 5729 0
vsize: 23168
[startup+240.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 292001 0 0 0 23315 682 0 0 25 0 1 0 765078191 24457216 5143 4294967295 134512640 134714508 3221221792 3221217732 1074786550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5971 5143 1111 63 0 5908 0
vsize: 23884
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 305387 0 0 0 24284 714 0 0 25 0 1 0 765078191 23478272 5061 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5732 5061 1111 63 0 5669 0
vsize: 22928
[startup+260.007 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 317762 0 0 0 25256 742 0 0 25 0 1 0 765078191 24301568 5230 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5933 5230 1111 63 0 5870 0
vsize: 23732
[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 330411 0 0 0 26226 772 0 0 25 0 1 0 765078191 25849856 5429 4294967295 134512640 134714508 3221221792 3221218244 1074944427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6311 5429 1111 63 0 6248 0
vsize: 25244
[startup+280.007 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 343420 0 0 0 27196 801 0 0 25 0 1 0 765078191 25628672 5574 4294967295 134512640 134714508 3221221792 3221219792 1074916681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5574 1111 63 0 6194 0
vsize: 25028
[startup+290.006 s]
Raw data (loadavg): 1.00 0.97 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 356502 0 0 0 28169 829 0 0 25 0 1 0 765078191 25858048 5610 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6313 5610 1111 63 0 6250 0
vsize: 25252
[startup+300.007 s]
Raw data (loadavg): 1.08 0.99 0.97 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 369268 0 0 0 29140 858 0 0 25 0 1 0 765078191 26243072 5736 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6407 5736 1111 63 0 6344 0
vsize: 25628
[startup+310.008 s]
Raw data (loadavg): 1.14 1.01 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 381367 0 0 0 30110 888 0 0 25 0 1 0 765078191 27852800 5887 4294967295 134512640 134714508 3221221792 3221218624 1075115406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6800 5887 1111 63 0 6737 0
vsize: 27200
[startup+320.007 s]
Raw data (loadavg): 1.12 1.01 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 393054 0 0 0 31087 912 0 0 25 0 1 0 765078191 27164672 5956 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6632 5956 1111 63 0 6569 0
vsize: 26528
[startup+330.007 s]
Raw data (loadavg): 1.10 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 404852 0 0 0 32062 936 0 0 25 0 1 0 765078191 28848128 6246 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7043 6246 1111 63 0 6980 0
vsize: 28172
[startup+340.007 s]
Raw data (loadavg): 1.08 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 416368 0 0 0 33037 962 0 0 25 0 1 0 765078191 30355456 6635 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7411 6635 1111 63 0 7348 0
vsize: 29644
[startup+350.007 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 428859 0 0 0 34008 991 0 0 25 0 1 0 765078191 28205056 6202 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6202 1111 63 0 6823 0
vsize: 27544
[startup+360.007 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 440418 0 0 0 34982 1017 0 0 25 0 1 0 765078191 28483584 6283 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6283 1111 63 0 6891 0
vsize: 27816
[startup+370.007 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 451048 0 0 0 35960 1040 0 0 25 0 1 0 765078191 29687808 6485 4294967295 134512640 134714508 3221221792 3221218020 1075115062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7248 6485 1111 63 0 7185 0
vsize: 28992
[startup+380.008 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 463391 0 0 0 36931 1068 0 0 25 0 1 0 765078191 28868608 6345 4294967295 134512640 134714508 3221221792 3221218896 1074138614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7048 6345 1111 63 0 6985 0
vsize: 28192
[startup+390.008 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 475729 0 0 0 37903 1097 0 0 25 0 1 0 765078191 28995584 6408 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7079 6408 1111 63 0 7016 0
vsize: 28316
[startup+400.009 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 487933 0 0 0 38875 1125 0 0 25 0 1 0 765078191 28991488 6407 4294967295 134512640 134714508 3221221792 3221220144 1074115509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7078 6407 1111 63 0 7015 0
vsize: 28312
[startup+410.009 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 501226 0 0 0 39843 1157 0 0 25 0 1 0 765078191 30015488 6655 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7328 6655 1111 63 0 7265 0
vsize: 29312
[startup+420.009 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 514573 0 0 0 40812 1188 0 0 25 0 1 0 765078191 32108544 6971 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7839 6971 1111 63 0 7776 0
vsize: 31356
[startup+430.01 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 527857 0 0 0 41780 1220 0 0 25 0 1 0 765078191 31465472 7009 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7682 7009 1111 63 0 7619 0
vsize: 30728
[startup+440.01 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 540033 0 0 0 42751 1249 0 0 25 0 1 0 765078191 32415744 7211 4294967295 134512640 134714508 3221221792 3221219520 1075828775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7914 7211 1111 63 0 7851 0
vsize: 31656
[startup+450.009 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 552737 0 0 0 43720 1281 0 0 25 0 1 0 765078191 33267712 7448 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8122 7448 1111 63 0 8059 0
vsize: 32488
[startup+460.009 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 565989 0 0 0 44688 1312 0 0 25 0 1 0 765078191 34156544 7665 4294967295 134512640 134714508 3221221792 3221219080 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8339 7665 1111 63 0 8276 0
vsize: 33356
[startup+470.009 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 577558 0 0 0 45663 1337 0 0 25 0 1 0 765078191 37470208 8265 4294967295 134512640 134714508 3221221792 3221217848 1074789596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9148 8265 1111 63 0 9085 0
vsize: 36592
[startup+480.009 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 589302 0 0 0 46638 1363 0 0 25 0 1 0 765078191 36204544 7913 4294967295 134512640 134714508 3221221792 3221218560 1076083606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8839 7913 1111 63 0 8776 0
vsize: 35356
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 601620 0 0 0 47610 1390 0 0 25 0 1 0 765078191 34791424 7820 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8494 7820 1111 63 0 8431 0
vsize: 33976
[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 611580 0 0 0 48586 1415 0 0 25 0 1 0 765078191 37044224 8190 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9044 8190 1111 63 0 8981 0
vsize: 36176
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 621904 0 0 0 49563 1438 0 0 25 0 1 0 765078191 37720064 8292 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9209 8292 1111 63 0 9146 0
vsize: 36836
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 633666 0 0 0 50538 1463 0 0 25 0 1 0 765078191 35721216 8047 4294967295 134512640 134714508 3221221792 3221220300 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8721 8047 1111 63 0 8658 0
vsize: 34884
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 644524 0 0 0 51515 1486 0 0 25 0 1 0 765078191 37965824 8441 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9269 8441 1111 63 0 9206 0
vsize: 37076
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 656959 0 0 0 52485 1517 0 0 25 0 1 0 765078191 36724736 8292 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9007 8297 1111 63 0 8944 0
vsize: 35864
[startup+550.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 669855 0 0 0 53458 1544 0 0 25 0 1 0 765078191 37462016 8443 4294967295 134512640 134714508 3221221792 3221220336 134650078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9146 8443 1111 63 0 9083 0
vsize: 36584
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 680794 0 0 0 54433 1569 0 0 25 0 1 0 765078191 38871040 8580 4294967295 134512640 134714508 3221221792 3221219520 1074867433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9490 8580 1111 63 0 9427 0
vsize: 37960
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 692946 0 0 0 55402 1600 0 0 25 0 1 0 765078191 38203392 8653 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9327 8653 1111 63 0 9264 0
vsize: 37308
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 704240 0 0 0 56375 1627 0 0 25 0 1 0 765078191 40738816 9175 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 9175 1111 63 0 9883 0
vsize: 39784
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 714804 0 0 0 57354 1648 0 0 25 0 1 0 765078191 39604224 9000 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9669 9000 1111 63 0 9606 0
vsize: 38676
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 727341 0 0 0 58327 1675 0 0 25 0 1 0 765078191 39653376 9015 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9681 9015 1111 63 0 9618 0
vsize: 38724
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 739931 0 0 0 59298 1704 0 0 25 0 1 0 765078191 40177664 9118 4294967295 134512640 134714508 3221221792 3221219520 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9809 9118 1111 63 0 9746 0
vsize: 39236
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 750869 0 0 0 60272 1730 0 0 25 0 1 0 765078191 40615936 9218 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9916 9218 1111 63 0 9853 0
vsize: 39664
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 763334 0 0 0 61242 1760 0 0 25 0 1 0 765078191 41046016 9323 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10021 9323 1111 63 0 9958 0
vsize: 40084
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 775712 0 0 0 62213 1789 0 0 25 0 1 0 765078191 41058304 9358 4294967295 134512640 134714508 3221221792 3221219136 1074839094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10024 9358 1111 63 0 9961 0
vsize: 40096
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 784857 0 0 0 63192 1811 0 0 25 0 1 0 765078191 41734144 9523 4294967295 134512640 134714508 3221221792 3221219584 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10189 9523 1111 63 0 10126 0
vsize: 40756
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 794913 0 0 0 64171 1833 0 0 25 0 1 0 765078191 41357312 9415 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10097 9415 1111 63 0 10034 0
vsize: 40388
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 806920 0 0 0 65142 1861 0 0 25 0 1 0 765078191 42393600 9681 4294967295 134512640 134714508 3221221792 3221219792 1074918201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10350 9681 1111 63 0 10287 0
vsize: 41400
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 818271 0 0 0 66115 1888 0 0 25 0 1 0 765078191 45424640 10294 4294967295 134512640 134714508 3221221792 3221217952 1075091205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11090 10294 1111 63 0 11027 0
vsize: 44360
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 827270 0 0 0 67095 1908 0 0 25 0 1 0 765078191 43036672 9841 4294967295 134512640 134714508 3221221792 3221219808 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10507 9841 1111 63 0 10444 0
vsize: 42028
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 835954 0 0 0 68077 1927 0 0 25 0 1 0 765078191 42971136 9825 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9825 1111 63 0 10428 0
vsize: 41964
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 848861 0 0 0 69052 1952 0 0 25 0 1 0 765078191 45441024 10053 4294967295 134512640 134714508 3221221792 3221218424 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11094 10053 1111 63 0 11031 0
vsize: 44376
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 857999 0 0 0 70030 1975 0 0 25 0 1 0 765078191 43466752 9937 4294967295 134512640 134714508 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10612 9937 1111 63 0 10549 0
vsize: 42448
[startup+730.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 865599 0 0 0 71011 1993 0 0 25 0 1 0 765078191 43229184 9888 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10554 9888 1111 63 0 10491 0
vsize: 42216
[startup+740.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 873907 0 0 0 71994 2010 0 0 25 0 1 0 765078191 46288896 10606 4294967295 134512640 134714508 3221221792 3221217728 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11301 10606 1111 63 0 11238 0
vsize: 45204
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 884348 0 0 0 72971 2034 0 0 25 0 1 0 765078191 43499520 9954 4294967295 134512640 134714508 3221221792 3221219888 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10620 9954 1111 63 0 10557 0
vsize: 42480
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 893325 0 0 0 73951 2054 0 0 25 0 1 0 765078191 43225088 9887 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9887 1111 63 0 10490 0
vsize: 42212
[startup+770.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 907005 0 0 0 74920 2085 0 0 25 0 1 0 765078191 44187648 10122 4294967295 134512640 134714508 3221221792 3221220272 1074031998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10788 10122 1111 63 0 10725 0
vsize: 43152
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 913683 0 0 0 75903 2102 0 0 25 0 1 0 765078191 45191168 10367 4294967295 134512640 134714508 3221221792 3221218784 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10367 1111 63 0 10970 0
vsize: 44132
[startup+790.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 914854 0 0 0 76900 2105 0 0 25 0 1 0 765078191 48590848 11178 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11863 11178 1111 63 0 11800 0
vsize: 47452
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 918632 0 0 0 77892 2113 0 0 25 0 1 0 765078191 52166656 11319 4294967295 134512640 134714508 3221221792 3221218864 1074867331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12736 11319 1111 63 0 12673 0
vsize: 50944
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 930843 0 0 0 78869 2137 0 0 25 0 1 0 765078191 44879872 10289 4294967295 134512640 134714508 3221221792 3221219232 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10289 1111 63 0 10894 0
vsize: 43828
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 939343 0 0 0 79848 2158 0 0 25 0 1 0 765078191 45142016 10355 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 10355 1111 63 0 10958 0
vsize: 44084
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 947311 0 0 0 80830 2176 0 0 25 0 1 0 765078191 44961792 10311 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10977 10311 1111 63 0 10914 0
vsize: 43908
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 959419 0 0 0 81803 2204 0 0 25 0 1 0 765078191 44752896 10260 4294967295 134512640 134714508 3221221792 3221219120 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10926 10260 1111 63 0 10863 0
vsize: 43704
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 962564 0 0 0 82796 2211 0 0 25 0 1 0 765078191 45719552 10496 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11162 10496 1111 63 0 11099 0
vsize: 44648
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 964877 0 0 0 83791 2216 0 0 25 0 1 0 765078191 53714944 11699 4294967295 134512640 134714508 3221221792 3221217952 1075091857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13114 11703 1111 63 0 13051 0
vsize: 52456
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 973125 0 0 0 84773 2234 0 0 25 0 1 0 765078191 45105152 10346 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11012 10346 1111 63 0 10949 0
vsize: 44048
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 982808 0 0 0 85751 2256 0 0 25 0 1 0 765078191 44929024 10303 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10969 10303 1111 63 0 10906 0
vsize: 43876
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 991210 0 0 0 86733 2274 0 0 25 0 1 0 765078191 45043712 10331 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10997 10331 1111 63 0 10934 0
vsize: 43988
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1004756 0 0 0 87703 2305 0 0 25 0 1 0 765078191 45359104 10408 4294967295 134512640 134714508 3221221792 3221220192 1074119059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11074 10408 1111 63 0 11011 0
vsize: 44296
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1015777 0 0 0 88677 2331 0 0 25 0 1 0 765078191 44994560 10301 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10985 10301 1111 63 0 10922 0
vsize: 43940
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1020952 0 0 0 89665 2343 0 0 25 0 1 0 765078191 46059520 10579 4294967295 134512640 134714508 3221221792 3221218944 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11245 10579 1111 63 0 11182 0
vsize: 44980
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1023620 0 0 0 90658 2350 0 0 25 0 1 0 765078191 52183040 11821 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12740 11821 1111 63 0 12677 0
vsize: 50960
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1035138 0 0 0 91633 2375 0 0 25 0 1 0 765078191 45580288 10450 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11128 10450 1111 63 0 11065 0
vsize: 44512
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1046090 0 0 0 92609 2399 0 0 25 0 1 0 765078191 45248512 10381 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11047 10381 1111 63 0 10984 0
vsize: 44188
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1047232 0 0 0 93605 2403 0 0 25 0 1 0 765078191 48705536 11210 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11891 11210 1111 63 0 11828 0
vsize: 47564
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1056732 0 0 0 94584 2425 0 0 25 0 1 0 765078191 51040256 11293 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12461 11293 1111 63 0 12398 0
vsize: 49844
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1068077 0 0 0 95559 2449 0 0 25 0 1 0 765078191 46583808 10678 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11373 10678 1111 63 0 11310 0
vsize: 45492
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1078247 0 0 0 96536 2473 0 0 25 0 1 0 765078191 45531136 10450 4294967295 134512640 134714508 3221221792 3221219656 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11116 10450 1111 63 0 11053 0
vsize: 44464
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1088176 0 0 0 97514 2495 0 0 25 0 1 0 765078191 51109888 11295 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12478 11295 1111 63 0 12415 0
vsize: 49912
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1098320 0 0 0 98490 2519 0 0 25 0 1 0 765078191 45957120 10554 4294967295 134512640 134714508 3221221792 3221219328 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11220 10554 1111 63 0 11157 0
vsize: 44880
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1100020 0 0 0 99487 2523 0 0 25 0 1 0 765078191 53727232 11395 4294967295 134512640 134714508 3221221792 3221218776 1074831832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13117 11395 1111 63 0 13054 0
vsize: 52468
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1115461 0 0 0 100452 2558 0 0 25 0 1 0 765078191 45981696 10560 4294967295 134512640 134714508 3221221792 3221219536 1075636590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10560 1111 63 0 11163 0
vsize: 44904
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1124561 0 0 0 101431 2579 0 0 25 0 1 0 765078191 46026752 10571 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11237 10571 1111 63 0 11174 0
vsize: 44948
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1140070 0 0 0 102395 2615 0 0 25 0 1 0 765078191 46084096 10585 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11251 10585 1111 63 0 11188 0
vsize: 45004
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1141352 0 0 0 103392 2618 0 0 25 0 1 0 765078191 49995776 11513 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12206 11513 1111 63 0 12143 0
vsize: 48824
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1150547 0 0 0 104372 2638 0 0 25 0 1 0 765078191 48304128 11096 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11793 11096 1111 63 0 11730 0
vsize: 47172
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1162342 0 0 0 105345 2666 0 0 25 0 1 0 765078191 47054848 10822 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11488 10822 1111 63 0 11425 0
vsize: 45952
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1172743 0 0 0 106322 2688 0 0 25 0 1 0 765078191 46817280 10760 4294967295 134512640 134714508 3221221792 3221218896 1074138617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11430 10760 1111 63 0 11367 0
vsize: 45720
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1183351 0 0 0 107299 2712 0 0 25 0 1 0 765078191 47423488 10893 4294967295 134512640 134714508 3221221792 3221220268 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11578 10893 1111 63 0 11515 0
vsize: 46312
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1194728 0 0 0 108273 2738 0 0 25 0 1 0 765078191 48750592 11236 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11902 11236 1111 63 0 11839 0
vsize: 47608
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1201103 0 0 0 109258 2753 0 0 25 0 1 0 765078191 47718400 10984 4294967295 134512640 134714508 3221221792 3221218832 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11650 10984 1111 63 0 11587 0
vsize: 46600
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1203679 0 0 0 110252 2759 0 0 25 0 1 0 765078191 55627776 12547 4294967295 134512640 134714508 3221221792 3221218160 1075894549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13581 12547 1111 63 0 13518 0
vsize: 54324
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1215662 0 0 0 111225 2786 0 0 25 0 1 0 765078191 47652864 10967 4294967295 134512640 134714508 3221221792 3221219616 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11634 10967 1111 63 0 11571 0
vsize: 46536
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1224508 0 0 0 112205 2807 0 0 25 0 1 0 765078191 47681536 10974 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11641 10974 1111 63 0 11578 0
vsize: 46564
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1232948 0 0 0 113188 2824 0 0 25 0 1 0 765078191 47591424 10952 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11619 10952 1111 63 0 11556 0
vsize: 46476
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1241433 0 0 0 114169 2843 0 0 25 0 1 0 765078191 52948992 11785 4294967295 134512640 134714508 3221221792 3221217864 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12927 11785 1111 63 0 12864 0
vsize: 51708
[startup+1175.77 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 18556
Raw data (stat): 18556 (bsolo_lpr_cuts) R 18555 7876 7672 0 -1 0 1241433 0 0 0 114169 2843 0 0 25 0 1 0 765078191 52948992 11785 4294967295 134512640 134714508 3221221792 3221217864 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12927 11785 1111 63 0 12864 0
vsize: 0

Child status: 10
Real time (s): 1175.77
CPU time (s): 1175.87
CPU user time (s): 1147.23
CPU system time (s): 28.6396
CPU usage (%): 100.008
Max. virtual memory (Kb): 54324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1738
#### END VERIFIER DATA ####