PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 25048

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 06:38:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4955 boxname=wulflinc31 idbench=382 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
IDLAUNCH: 4955
/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:        800356 kB
Buffers:         48700 kB
Cached:         163636 kB
SwapCached:       1932 kB
Active:         170284 kB
Inactive:        45256 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800104 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13156 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 06:58:25 (client local time) WITH STATUS 10 IN 1180.16 SECONDS
stats: 4955 0 1180.16 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 225 variables and 225 constraints.
c After prepocess the problem consists of 225 variables and 225 constraints.
c preprocess terminated 0.084 s
c Initial Lower Bound: 49
c Lower Bound Elapsed time: 0.378
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 55 @ 2.182
s SATISFIABLE
v -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 x10 -x11 -x12 x13 -x14 -x15 x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 x61 x62 x63 -x64 x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 x224 -x225 
c Exit Code: 10
c Total time: 1180.13 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.91 0.95 0.96 2/55 10306
Raw data (stat): 10306 (runsolver) R 10305 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758993455 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 6346 0 0 0 976 20 0 0 25 0 1 0 758993455 6807552 919 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1662 919 1111 63 0 1599 0
vsize: 6648
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 13886 0 0 0 1956 40 0 0 25 0 1 0 758993455 7012352 1027 4294967295 134512640 134714508 3221221792 3221219924 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1712 1027 1111 63 0 1649 0
vsize: 6848
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 21304 0 0 0 2938 58 0 0 25 0 1 0 758993455 7282688 1094 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1778 1094 1111 63 0 1715 0
vsize: 7112
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 27864 0 0 0 3920 76 0 0 25 0 1 0 758993455 7667712 1188 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1872 1188 1111 63 0 1809 0
vsize: 7488
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 36289 0 0 0 4900 97 0 0 25 0 1 0 758993455 8335360 1343 4294967295 134512640 134714508 3221221792 3221218896 1074138803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2035 1343 1111 63 0 1972 0
vsize: 8140
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 45517 0 0 0 5878 119 0 0 25 0 1 0 758993455 9089024 1438 4294967295 134512640 134714508 3221221792 3221218684 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2219 1444 1111 63 0 2156 0
vsize: 8876
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 52446 0 0 0 6859 137 0 0 25 0 1 0 758993455 9646080 1654 4294967295 134512640 134714508 3221221792 3221217648 1074867970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2355 1654 1111 63 0 2292 0
vsize: 9420
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 61513 0 0 0 7838 159 0 0 25 0 1 0 758993455 10014720 1721 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2445 1721 1111 63 0 2382 0
vsize: 9780
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 71023 0 0 0 8814 183 0 0 25 0 1 0 758993455 9629696 1638 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2351 1638 1111 63 0 2288 0
vsize: 9404
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 80406 0 0 0 9792 205 0 0 25 0 1 0 758993455 10178560 1717 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2485 1717 1111 63 0 2422 0
vsize: 9940
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 90606 0 0 0 10767 230 0 0 25 0 1 0 758993455 9695232 1673 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2367 1673 1111 63 0 2304 0
vsize: 9468
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 101026 0 0 0 11742 255 0 0 25 0 1 0 758993455 10096640 1777 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2465 1777 1111 63 0 2402 0
vsize: 9860
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 111615 0 0 0 12716 281 0 0 25 0 1 0 758993455 9670656 1680 4294967295 134512640 134714508 3221221792 3221218608 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1680 1111 63 0 2298 0
vsize: 9444
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 122389 0 0 0 13693 305 0 0 25 0 1 0 758993455 10776576 1883 4294967295 134512640 134714508 3221221792 3221218112 1075169805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1883 1111 63 0 2568 0
vsize: 10524
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 134055 0 0 0 14667 331 0 0 25 0 1 0 758993455 10125312 1791 4294967295 134512640 134714508 3221221792 3221219704 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2472 1791 1111 63 0 2409 0
vsize: 9888
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 145703 0 0 0 15644 355 0 0 25 0 1 0 758993455 10440704 1857 4294967295 134512640 134714508 3221221792 3221219792 1074918198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2549 1857 1111 63 0 2486 0
vsize: 10196
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 157936 0 0 0 16616 382 0 0 25 0 1 0 758993455 11304960 2029 4294967295 134512640 134714508 3221221792 3221217952 1075094841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2760 2032 1111 63 0 2697 0
vsize: 11040
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 170194 0 0 0 17587 412 0 0 25 0 1 0 758993455 11255808 2027 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2748 2027 1111 63 0 2685 0
vsize: 10992
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 182190 0 0 0 18561 438 0 0 25 0 1 0 758993455 10268672 1826 4294967295 134512640 134714508 3221221792 3221220040 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1826 1111 63 0 2444 0
vsize: 10028
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 192619 0 0 0 19535 464 0 0 25 0 1 0 758993455 10936320 1957 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1957 1111 63 0 2607 0
vsize: 10680
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 203367 0 0 0 20508 491 0 0 25 0 1 0 758993455 11280384 2041 4294967295 134512640 134714508 3221221792 3221218544 1074247413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 2041 1111 63 0 2691 0
vsize: 11016
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 214524 0 0 0 21482 517 0 0 25 0 1 0 758993455 12288000 2264 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2264 1111 63 0 2937 0
vsize: 12000
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 226764 0 0 0 22454 545 0 0 25 0 1 0 758993455 12476416 2278 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3046 2278 1111 63 0 2983 0
vsize: 12184
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 238374 0 0 0 23427 573 0 0 25 0 1 0 758993455 11993088 2235 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2235 1111 63 0 2865 0
vsize: 11712
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 249376 0 0 0 24401 599 0 0 25 0 1 0 758993455 12877824 2400 4294967295 134512640 134714508 3221221792 3221217728 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2400 1111 63 0 3081 0
vsize: 12576
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 260068 0 0 0 25375 625 0 0 25 0 1 0 758993455 12242944 2308 4294967295 134512640 134714508 3221221792 3221219552 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2989 2308 1111 63 0 2926 0
vsize: 11956
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 271906 0 0 0 26348 652 0 0 25 0 1 0 758993455 12251136 2310 4294967295 134512640 134714508 3221221792 3221219136 1074839039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 2310 1111 63 0 2928 0
vsize: 11964
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 284489 0 0 0 27320 680 0 0 25 0 1 0 758993455 11976704 2213 4294967295 134512640 134714508 3221221792 3221218832 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2213 1111 63 0 2861 0
vsize: 11696
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 297021 0 0 0 28293 707 0 0 25 0 1 0 758993455 12775424 2408 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2408 1111 63 0 3056 0
vsize: 12476
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 309121 0 0 0 29265 736 0 0 25 0 1 0 758993455 12787712 2413 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2413 1111 63 0 3059 0
vsize: 12488
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 321251 0 0 0 30236 764 0 0 25 0 1 0 758993455 12849152 2426 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2426 1111 63 0 3074 0
vsize: 12548
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 333644 0 0 0 31208 793 0 0 25 0 1 0 758993455 13606912 2521 4294967295 134512640 134714508 3221221792 3221218392 1075850777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3322 2521 1111 63 0 3259 0
vsize: 13288
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 346249 0 0 0 32178 823 0 0 25 0 1 0 758993455 13475840 2490 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3290 2490 1111 63 0 3227 0
vsize: 13160
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 358878 0 0 0 33148 854 0 0 25 0 1 0 758993455 12509184 2361 4294967295 134512640 134714508 3221221792 3221219792 1074918494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2361 1111 63 0 2991 0
vsize: 12216
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 370769 0 0 0 34119 882 0 0 25 0 1 0 758993455 12222464 2271 4294967295 134512640 134714508 3221221792 3221219944 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2271 1111 63 0 2921 0
vsize: 11936
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 384588 0 0 0 35089 912 0 0 25 0 1 0 758993455 12042240 2259 4294967295 134512640 134714508 3221221792 3221220256 1074121040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2940 2259 1111 63 0 2877 0
vsize: 11760
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 397331 0 0 0 36061 940 0 0 25 0 1 0 758993455 12206080 2267 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2980 2267 1111 63 0 2917 0
vsize: 11920
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 410336 0 0 0 37035 967 0 0 25 0 1 0 758993455 12509184 2360 4294967295 134512640 134714508 3221221792 3221219792 1074918619 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2360 1111 63 0 2991 0
vsize: 12216
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 422848 0 0 0 38006 996 0 0 25 0 1 0 758993455 13438976 2483 4294967295 134512640 134714508 3221221792 3221218448 1075966540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2483 1111 63 0 3218 0
vsize: 13124
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 434941 0 0 0 38976 1026 0 0 25 0 1 0 758993455 11825152 2206 4294967295 134512640 134714508 3221221792 3221218544 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2887 2206 1111 63 0 2824 0
vsize: 11548
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 446245 0 0 0 39952 1051 0 0 25 0 1 0 758993455 12374016 2339 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3021 2339 1111 63 0 2958 0
vsize: 12084
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 458047 0 0 0 40925 1077 0 0 25 0 1 0 758993455 12177408 2260 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2973 2260 1111 63 0 2910 0
vsize: 11892
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 469911 0 0 0 41899 1104 0 0 25 0 1 0 758993455 12451840 2327 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3040 2327 1111 63 0 2977 0
vsize: 12160
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 482927 0 0 0 42871 1132 0 0 25 0 1 0 758993455 12120064 2248 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2248 1111 63 0 2896 0
vsize: 11836
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 495743 0 0 0 43842 1161 0 0 25 0 1 0 758993455 13869056 2563 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3386 2563 1111 63 0 3323 0
vsize: 13544
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 508055 0 0 0 44813 1190 0 0 25 0 1 0 758993455 12943360 2447 4294967295 134512640 134714508 3221221792 3221218544 1074247419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2447 1111 63 0 3097 0
vsize: 12640
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 520430 0 0 0 45787 1217 0 0 25 0 1 0 758993455 13225984 2543 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3229 2543 1111 63 0 3166 0
vsize: 12916
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 531221 0 0 0 46765 1239 0 0 25 0 1 0 758993455 13422592 2593 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2593 1111 63 0 3214 0
vsize: 13108
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 542415 0 0 0 47739 1265 0 0 25 0 1 0 758993455 12906496 2438 4294967295 134512640 134714508 3221221792 3221219944 1074950105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2438 1111 63 0 3088 0
vsize: 12604
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 555013 0 0 0 48710 1294 0 0 25 0 1 0 758993455 13045760 2472 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2472 1111 63 0 3122 0
vsize: 12740
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 567285 0 0 0 49683 1322 0 0 25 0 1 0 758993455 14503936 2753 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2753 1111 63 0 3478 0
vsize: 14164
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 579073 0 0 0 50657 1347 0 0 25 0 1 0 758993455 13246464 2553 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3234 2553 1111 63 0 3171 0
vsize: 12936
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 591365 0 0 0 51630 1375 0 0 25 0 1 0 758993455 13664256 2643 4294967295 134512640 134714508 3221221792 3221219792 1074916785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2643 1111 63 0 3273 0
vsize: 13344
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 603987 0 0 0 52605 1400 0 0 25 0 1 0 758993455 14790656 2826 4294967295 134512640 134714508 3221221792 3221218392 1075850790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3611 2826 1111 63 0 3548 0
vsize: 14444
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 616629 0 0 0 53577 1428 0 0 25 0 1 0 758993455 13340672 2562 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2562 1111 63 0 3194 0
vsize: 13028
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 628772 0 0 0 54552 1454 0 0 25 0 1 0 758993455 15155200 2952 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2952 1111 63 0 3637 0
vsize: 14800
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 638452 0 0 0 55531 1474 0 0 25 0 1 0 758993455 14217216 2789 4294967295 134512640 134714508 3221221792 3221219072 1074140378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2789 1111 63 0 3408 0
vsize: 13884
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 649345 0 0 0 56507 1499 0 0 25 0 1 0 758993455 15519744 2948 4294967295 134512640 134714508 3221221792 3221218736 1074620096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2948 1111 63 0 3726 0
vsize: 15156
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 660601 0 0 0 57480 1526 0 0 25 0 1 0 758993455 15675392 3100 4294967295 134512640 134714508 3221221792 3221217676 1074788968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 3100 1111 63 0 3764 0
vsize: 15308
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 672447 0 0 0 58453 1553 0 0 25 0 1 0 758993455 13897728 2712 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2712 1111 63 0 3330 0
vsize: 13572
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 683371 0 0 0 59430 1576 0 0 25 0 1 0 758993455 15790080 3135 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3855 3135 1111 63 0 3792 0
vsize: 15420
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 696076 0 0 0 60403 1603 0 0 25 0 1 0 758993455 14934016 2965 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3646 2965 1111 63 0 3583 0
vsize: 14584
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 708830 0 0 0 61373 1633 0 0 25 0 1 0 758993455 15998976 3143 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3143 1111 63 0 3843 0
vsize: 15624
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 721116 0 0 0 62346 1661 0 0 25 0 1 0 758993455 13971456 2723 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2723 1111 63 0 3348 0
vsize: 13644
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 731779 0 0 0 63321 1685 0 0 25 0 1 0 758993455 14594048 2882 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2882 1111 63 0 3500 0
vsize: 14252
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 743294 0 0 0 64297 1710 0 0 25 0 1 0 758993455 14319616 2815 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3496 2815 1111 63 0 3433 0
vsize: 13984
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 754833 0 0 0 65272 1736 0 0 25 0 1 0 758993455 16322560 3216 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3216 1111 63 0 3922 0
vsize: 15940
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 765125 0 0 0 66249 1759 0 0 25 0 1 0 758993455 15142912 3002 4294967295 134512640 134714508 3221221792 3221220224 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3697 3002 1111 63 0 3634 0
vsize: 14788
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 776093 0 0 0 67225 1783 0 0 25 0 1 0 758993455 15056896 2963 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3676 2963 1111 63 0 3613 0
vsize: 14704
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 788810 0 0 0 68195 1813 0 0 25 0 1 0 758993455 15929344 3045 4294967295 134512640 134714508 3221221792 3221218936 1075850777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3889 3045 1111 63 0 3826 0
vsize: 15556
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 801186 0 0 0 69169 1839 0 0 25 0 1 0 758993455 15142912 2984 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3697 2984 1111 63 0 3634 0
vsize: 14788
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 812998 0 0 0 70142 1866 0 0 25 0 1 0 758993455 16977920 3236 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4145 3236 1111 63 0 4082 0
vsize: 16580
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 826254 0 0 0 71113 1896 0 0 25 0 1 0 758993455 16470016 3199 4294967295 134512640 134714508 3221221792 3221218392 1075850752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3199 1111 63 0 3958 0
vsize: 16084
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 837222 0 0 0 72088 1920 0 0 25 0 1 0 758993455 15568896 3067 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3801 3077 1111 63 0 3738 0
vsize: 15204
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 849512 0 0 0 73061 1948 0 0 25 0 1 0 758993455 14901248 2957 4294967295 134512640 134714508 3221221792 3221218336 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2957 1111 63 0 3575 0
vsize: 14552
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 861672 0 0 0 74034 1975 0 0 25 0 1 0 758993455 16936960 3358 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3358 1111 63 0 4072 0
vsize: 16540
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 873979 0 0 0 75008 2001 0 0 25 0 1 0 758993455 15745024 3163 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3844 3163 1111 63 0 3781 0
vsize: 15376
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 886961 0 0 0 75978 2031 0 0 25 0 1 0 758993455 15253504 3043 4294967295 134512640 134714508 3221221792 3221219944 1074950119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3724 3043 1111 63 0 3661 0
vsize: 14896
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 899277 0 0 0 76951 2058 0 0 25 0 1 0 758993455 15048704 2993 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2993 1111 63 0 3611 0
vsize: 14696
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 911125 0 0 0 77926 2083 0 0 25 0 1 0 758993455 17281024 3433 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3433 1111 63 0 4156 0
vsize: 16876
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 922719 0 0 0 78902 2107 0 0 25 0 1 0 758993455 15593472 3126 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3807 3126 1111 63 0 3744 0
vsize: 15228
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 934659 0 0 0 79875 2134 0 0 25 0 1 0 758993455 15855616 3095 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3871 3108 1111 63 0 3808 0
vsize: 15484
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 944561 0 0 0 80853 2157 0 0 25 0 1 0 758993455 15802368 3177 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3858 3177 1111 63 0 3795 0
vsize: 15432
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 955988 0 0 0 81827 2183 0 0 25 0 1 0 758993455 16515072 3350 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4032 3350 1111 63 0 3969 0
vsize: 16128
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 968411 0 0 0 82798 2212 0 0 25 0 1 0 758993455 15499264 3103 4294967295 134512640 134714508 3221221792 3221220208 1074117062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3784 3103 1111 63 0 3721 0
vsize: 15136
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 980614 0 0 0 83770 2240 0 0 25 0 1 0 758993455 16396288 3322 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4003 3322 1111 63 0 3940 0
vsize: 16012
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 992760 0 0 0 84743 2268 0 0 25 0 1 0 758993455 17575936 3525 4294967295 134512640 134714508 3221221792 3221218176 1075133407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 3525 1111 63 0 4228 0
vsize: 17164
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1004755 0 0 0 85714 2297 0 0 25 0 1 0 758993455 16007168 3120 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3908 3125 1111 63 0 3845 0
vsize: 15632
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1016984 0 0 0 86688 2324 0 0 25 0 1 0 758993455 16433152 3331 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 3331 1111 63 0 3949 0
vsize: 16048
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1028542 0 0 0 87660 2351 0 0 25 0 1 0 758993455 15429632 3086 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3767 3086 1111 63 0 3704 0
vsize: 15068
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1040358 0 0 0 88635 2377 0 0 25 0 1 0 758993455 15953920 3182 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3182 1111 63 0 3832 0
vsize: 15580
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1052191 0 0 0 89608 2404 0 0 25 0 1 0 758993455 15314944 3052 4294967295 134512640 134714508 3221221792 3221218448 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3740 3053 1111 63 0 3677 0
vsize: 14956
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1063337 0 0 0 90584 2428 0 0 25 0 1 0 758993455 17702912 3601 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3601 1111 63 0 4259 0
vsize: 17288
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1074681 0 0 0 91558 2454 0 0 25 0 1 0 758993455 15196160 3002 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3710 3002 1111 63 0 3647 0
vsize: 14840
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1085808 0 0 0 92533 2479 0 0 25 0 1 0 758993455 16494592 3346 4294967295 134512640 134714508 3221221792 3221219856 1075961758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4027 3346 1111 63 0 3964 0
vsize: 16108
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1097152 0 0 0 93509 2504 0 0 25 0 1 0 758993455 17846272 3524 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3524 1111 63 0 4294 0
vsize: 17428
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1108410 0 0 0 94483 2530 0 0 25 0 1 0 758993455 17731584 3504 4294967295 134512640 134714508 3221221792 3221217756 1074860608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4329 3504 1111 63 0 4266 0
vsize: 17316
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1121353 0 0 0 95453 2560 0 0 25 0 1 0 758993455 17657856 3527 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3527 1111 63 0 4248 0
vsize: 17244
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1135291 0 0 0 96422 2591 0 0 25 0 1 0 758993455 15630336 3135 4294967295 134512640 134714508 3221221792 3221218208 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3816 3135 1111 63 0 3753 0
vsize: 15264
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1147902 0 0 0 97393 2620 0 0 25 0 1 0 758993455 16625664 3375 4294967295 134512640 134714508 3221221792 3221220072 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3378 1111 63 0 3996 0
vsize: 16236
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1160654 0 0 0 98363 2651 0 0 25 0 1 0 758993455 17858560 3583 4294967295 134512640 134714508 3221221792 3221218864 1074867317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4360 3583 1111 63 0 4297 0
vsize: 17440
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1174054 0 0 0 99332 2681 0 0 25 0 1 0 758993455 15642624 3114 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3819 3114 1111 63 0 3756 0
vsize: 15276
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1187142 0 0 0 100304 2710 0 0 25 0 1 0 758993455 16973824 3463 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3463 1111 63 0 4081 0
vsize: 16576
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1199809 0 0 0 101276 2739 0 0 25 0 1 0 758993455 16457728 3337 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3337 1111 63 0 3955 0
vsize: 16072
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1212802 0 0 0 102248 2766 0 0 25 0 1 0 758993455 17158144 3480 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3491 1111 63 0 4126 0
vsize: 16756
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1224228 0 0 0 103225 2790 0 0 25 0 1 0 758993455 17448960 3545 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4260 3555 1111 63 0 4197 0
vsize: 17040
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1236502 0 0 0 104198 2817 0 0 25 0 1 0 758993455 18526208 3710 4294967295 134512640 134714508 3221221792 3221217756 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4523 3710 1111 63 0 4460 0
vsize: 18092
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1249045 0 0 0 105170 2845 0 0 25 0 1 0 758993455 16216064 3272 4294967295 134512640 134714508 3221221792 3221218208 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3959 3272 1111 63 0 3896 0
vsize: 15836
[startup+1090.03 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1260016 0 0 0 106145 2870 0 0 25 0 1 0 758993455 18653184 3823 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3823 1111 63 0 4491 0
vsize: 18216
[startup+1100.03 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1273111 0 0 0 107117 2898 0 0 25 0 1 0 758993455 17473536 3578 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3578 1111 63 0 4203 0
vsize: 17064
[startup+1110.03 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1283660 0 0 0 108095 2920 0 0 25 0 1 0 758993455 17326080 3549 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3549 1111 63 0 4167 0
vsize: 16920
[startup+1120.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1295336 0 0 0 109069 2947 0 0 25 0 1 0 758993455 16764928 3412 4294967295 134512640 134714508 3221221792 3221218320 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4093 3412 1111 63 0 4030 0
vsize: 16372
[startup+1130.03 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1306535 0 0 0 110044 2972 0 0 25 0 1 0 758993455 16699392 3396 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3396 1111 63 0 4014 0
vsize: 16308
[startup+1140.03 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1318006 0 0 0 111018 2998 0 0 25 0 1 0 758993455 17367040 3559 4294967295 134512640 134714508 3221221792 3221219536 1075646807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4240 3559 1111 63 0 4177 0
vsize: 16960
[startup+1150.03 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1330568 0 0 0 111992 3024 0 0 25 0 1 0 758993455 17235968 3495 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3495 1111 63 0 4145 0
vsize: 16832
[startup+1160.03 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1343286 0 0 0 112964 3052 0 0 25 0 1 0 758993455 17735680 3649 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3649 1111 63 0 4267 0
vsize: 17320
[startup+1170.03 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1355762 0 0 0 113937 3080 0 0 25 0 1 0 758993455 16576512 3366 4294967295 134512640 134714508 3221221792 3221218060 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4047 3366 1111 63 0 3984 0
vsize: 16188
[startup+1180.02 s]
Raw data (loadavg): 1.01 0.99 0.96 1/54 10306
Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1355762 0 0 0 113937 3080 0 0 25 0 1 0 758993455 16576512 3366 4294967295 134512640 134714508 3221221792 3221218060 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4047 3366 1111 63 0 3984 0
vsize: 0

Child status: 10
Real time (s): 1180.02
CPU time (s): 1180.16
CPU user time (s): 1149.08
CPU system time (s): 31.0813
CPU usage (%): 100.012
Max. virtual memory (Kb): 18216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	55
#### END VERIFIER DATA ####