PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        850688 kB
Buffers:         28012 kB
Cached:         131728 kB
SwapCached:       1148 kB
Active:          41252 kB
Inactive:       120756 kB
HighTotal:      131008 kB
HighFree:          840 kB
LowTotal:       903652 kB
LowFree:        849848 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16248 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:03:12 (client local time) WITH STATUS 10 IN 1177.53 SECONDS
stats: 28802 0 1177.53 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 900 constraints.
c After prepocess the problem consists of 200 variables and 881 constraints.
c preprocess terminated 0.368 s
c Initial Lower Bound: 68
c Lower Bound Elapsed time: 1.043
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 1.584
c NEW SOLUTION FOUND: 99 @ 1.585
c NEW SOLUTION FOUND: 98 @ 1.589
c NEW SOLUTION FOUND: 97 @ 1.595
c NEW SOLUTION FOUND: 96 @ 1.599
c NEW SOLUTION FOUND: 95 @ 1.604
c NEW SOLUTION FOUND: 94 @ 6.268
c NEW SOLUTION FOUND: 93 @ 7.82
c NEW SOLUTION FOUND: 91 @ 16.709
c NEW SOLUTION FOUND: 90 @ 21.568
c NEW SOLUTION FOUND: 89 @ 252.976
s SATISFIABLE
v -x1 x2 -x3 x4 -x5 x6 x7 -x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 -x30 -x31 x32 x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 -x61 -x62 x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 -x131 -x132 x133 -x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 
c Exit Code: 10
c Total time: 1177.51 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/55 26095
Raw data (stat): 26095 (runsolver) R 26094 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847749669 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.94 0.90 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 5415 0 0 0 980 18 0 0 25 0 1 0 847749669 6709248 955 4294967295 134512640 134716908 3221224576 3221222576 1074916310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1638 955 1111 63 0 1575 0
vsize: 6552
[startup+20.0004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 10308 0 0 0 1966 32 0 0 25 0 1 0 847749669 6959104 1020 4294967295 134512640 134716908 3221224576 3221222852 1077374461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 1020 1111 63 0 1636 0
vsize: 6796
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 15408 0 0 0 2950 48 0 0 25 0 1 0 847749669 7725056 1148 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1886 1148 1111 63 0 1823 0
vsize: 7544
[startup+40.001 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 20475 0 0 0 3934 64 0 0 25 0 1 0 847749669 8228864 1267 4294967295 134512640 134716908 3221224576 3221220740 1075964234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 1267 1111 63 0 1946 0
vsize: 8036
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 24284 0 0 0 4925 73 0 0 25 0 1 0 847749669 7974912 1210 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1210 1111 63 0 1884 0
vsize: 7788
[startup+60.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 28906 0 0 0 5910 89 0 0 25 0 1 0 847749669 8646656 1315 4294967295 134512640 134716908 3221224576 3221220716 1075093634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2111 1315 1111 63 0 2048 0
vsize: 8444
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 33538 0 0 0 6895 103 0 0 25 0 1 0 847749669 8773632 1343 4294967295 134512640 134716908 3221224576 3221221152 1076048670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2142 1343 1111 63 0 2079 0
vsize: 8568
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 38120 0 0 0 7882 116 0 0 25 0 1 0 847749669 8318976 1309 4294967295 134512640 134716908 3221224576 3221223068 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2031 1309 1111 63 0 1968 0
vsize: 8124
[startup+90.0019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 43143 0 0 0 8869 130 0 0 25 0 1 0 847749669 9273344 1494 4294967295 134512640 134716908 3221224576 3221220728 1074883053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2264 1494 1111 63 0 2201 0
vsize: 9056
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 47780 0 0 0 9856 143 0 0 25 0 1 0 847749669 9515008 1498 4294967295 134512640 134716908 3221224576 3221221232 1075967877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2323 1498 1111 63 0 2260 0
vsize: 9292
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 51813 0 0 0 10846 153 0 0 25 0 1 0 847749669 9330688 1555 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1555 1111 63 0 2215 0
vsize: 9112
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 57603 0 0 0 11829 171 0 0 25 0 1 0 847749669 10186752 1699 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1699 1111 63 0 2424 0
vsize: 9948
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 62908 0 0 0 12815 185 0 0 25 0 1 0 847749669 10362880 1755 4294967295 134512640 134716908 3221224576 3221220888 1075116227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1755 1111 63 0 2467 0
vsize: 10120
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 68140 0 0 0 13801 199 0 0 25 0 1 0 847749669 10252288 1773 4294967295 134512640 134716908 3221224576 3221221168 1074888127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1773 1111 63 0 2440 0
vsize: 10012
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 72277 0 0 0 14792 208 0 0 25 0 1 0 847749669 10620928 1808 4294967295 134512640 134716908 3221224576 3221220604 1074788153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2593 1808 1111 63 0 2530 0
vsize: 10372
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 76383 0 0 0 15781 219 0 0 25 0 1 0 847749669 10719232 1840 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2617 1840 1111 63 0 2554 0
vsize: 10468
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 81180 0 0 0 16768 232 0 0 25 0 1 0 847749669 10723328 1890 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1890 1111 63 0 2555 0
vsize: 10472
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 86154 0 0 0 17756 244 0 0 25 0 1 0 847749669 11227136 1921 4294967295 134512640 134716908 3221224576 3221221136 1076046556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2741 1921 1111 63 0 2678 0
vsize: 10964
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 91741 0 0 0 18742 259 0 0 25 0 1 0 847749669 10932224 1946 4294967295 134512640 134716908 3221224576 3221222852 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1946 1111 63 0 2606 0
vsize: 10676
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 97751 0 0 0 19726 275 0 0 25 0 1 0 847749669 11145216 2005 4294967295 134512640 134716908 3221224576 3221223152 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 2005 1111 63 0 2658 0
vsize: 10884
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 103235 0 0 0 20710 291 0 0 25 0 1 0 847749669 11702272 2130 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2130 1111 63 0 2794 0
vsize: 11428
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 108545 0 0 0 21696 305 0 0 25 0 1 0 847749669 12103680 2183 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2183 1111 63 0 2892 0
vsize: 11820
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 113454 0 0 0 22682 320 0 0 25 0 1 0 847749669 11456512 2118 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2797 2118 1111 63 0 2734 0
vsize: 11188
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 119482 0 0 0 23668 334 0 0 25 0 1 0 847749669 12652544 2309 4294967295 134512640 134716908 3221224576 3221221504 1075960342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2309 1111 63 0 3026 0
vsize: 12356
[startup+250.009 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 125166 0 0 0 24652 349 0 0 25 0 1 0 847749669 12840960 2396 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3135 2396 1111 63 0 3072 0
vsize: 12540
[startup+260.01 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 130827 0 0 0 25637 364 0 0 25 0 1 0 847749669 12730368 2380 4294967295 134512640 134716908 3221224576 3221222728 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3108 2380 1111 63 0 3045 0
vsize: 12432
[startup+270.01 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 136014 0 0 0 26622 380 0 0 25 0 1 0 847749669 13230080 2446 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3230 2446 1111 63 0 3167 0
vsize: 12920
[startup+280.025 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 141499 0 0 0 27609 395 0 0 25 0 1 0 847749669 12906496 2454 4294967295 134512640 134716908 3221224576 3221221768 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2454 1111 63 0 3088 0
vsize: 12604
[startup+290.042 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 147114 0 0 0 28594 411 0 0 25 0 1 0 847749669 12820480 2459 4294967295 134512640 134716908 3221224576 3221222852 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3130 2459 1111 63 0 3067 0
vsize: 12520
[startup+300.042 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 151760 0 0 0 29580 425 0 0 25 0 1 0 847749669 13627392 2599 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3327 2599 1111 63 0 3264 0
vsize: 13308
[startup+310.042 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 157011 0 0 0 30564 442 0 0 25 0 1 0 847749669 13811712 2638 4294967295 134512640 134716908 3221224576 3221220676 1075964237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2638 1111 63 0 3309 0
vsize: 13488
[startup+320.042 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 162555 0 0 0 31548 457 0 0 25 0 1 0 847749669 14372864 2727 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2727 1111 63 0 3446 0
vsize: 14036
[startup+330.043 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 168070 0 0 0 32536 470 0 0 25 0 1 0 847749669 14135296 2730 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3451 2730 1111 63 0 3388 0
vsize: 13804
[startup+340.043 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 174450 0 0 0 33518 487 0 0 25 0 1 0 847749669 14483456 2803 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2803 1111 63 0 3473 0
vsize: 14144
[startup+350.043 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 180004 0 0 0 34505 501 0 0 25 0 1 0 847749669 14483456 2810 4294967295 134512640 134716908 3221224576 3221223076 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2810 1111 63 0 3473 0
vsize: 14144
[startup+360.044 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 185437 0 0 0 35491 515 0 0 25 0 1 0 847749669 14880768 2870 4294967295 134512640 134716908 3221224576 3221221620 1074846155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2870 1111 63 0 3570 0
vsize: 14532
[startup+370.044 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 191561 0 0 0 36472 534 0 0 25 0 1 0 847749669 14905344 2916 4294967295 134512640 134716908 3221224576 3221223176 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2916 1111 63 0 3576 0
vsize: 14556
[startup+380.045 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 197597 0 0 0 37457 550 0 0 25 0 1 0 847749669 15486976 3055 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3781 3055 1111 63 0 3718 0
vsize: 15124
[startup+390.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 202661 0 0 0 38443 564 0 0 25 0 1 0 847749669 15065088 2999 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3678 2999 1111 63 0 3615 0
vsize: 14712
[startup+400.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 208560 0 0 0 39428 579 0 0 25 0 1 0 847749669 15273984 3054 4294967295 134512640 134716908 3221224576 3221223108 1077378648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 3054 1111 63 0 3666 0
vsize: 14916
[startup+410.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 213370 0 0 0 40415 592 0 0 25 0 1 0 847749669 15167488 3038 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3703 3038 1111 63 0 3640 0
vsize: 14812
[startup+420.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 218496 0 0 0 41402 605 0 0 25 0 1 0 847749669 15220736 3051 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3716 3051 1111 63 0 3653 0
vsize: 14864
[startup+430.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 223687 0 0 0 42389 618 0 0 25 0 1 0 847749669 15372288 3079 4294967295 134512640 134716908 3221224576 3221222576 1074918266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 3079 1111 63 0 3690 0
vsize: 15012
[startup+440.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 228268 0 0 0 43377 631 0 0 25 0 1 0 847749669 16396288 3267 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4003 3267 1111 63 0 3940 0
vsize: 16012
[startup+450.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 231163 0 0 0 44371 637 0 0 25 0 1 0 847749669 15687680 3165 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3165 1111 63 0 3767 0
vsize: 15320
[startup+460.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 234851 0 0 0 45362 646 0 0 25 0 1 0 847749669 16900096 3245 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3245 1111 63 0 4063 0
vsize: 16504
[startup+470.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 241659 0 0 0 46344 664 0 0 25 0 1 0 847749669 15945728 3228 4294967295 134512640 134716908 3221224576 3221222488 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3228 1111 63 0 3830 0
vsize: 15572
[startup+480.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 248014 0 0 0 47328 680 0 0 25 0 1 0 847749669 17408000 3487 4294967295 134512640 134716908 3221224576 3221220804 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3487 1111 63 0 4187 0
vsize: 17000
[startup+490.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 253668 0 0 0 48315 694 0 0 25 0 1 0 847749669 17694720 3432 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3432 1111 63 0 4257 0
vsize: 17280
[startup+500.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 258815 0 0 0 49300 708 0 0 25 0 1 0 847749669 18063360 3518 4294967295 134512640 134716908 3221224576 3221220896 1075171681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3518 1111 63 0 4347 0
vsize: 17640
[startup+510.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 264583 0 0 0 50286 723 0 0 25 0 1 0 847749669 17059840 3468 4294967295 134512640 134716908 3221224576 3221222984 1075120405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4165 3468 1111 63 0 4102 0
vsize: 16660
[startup+520.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 271396 0 0 0 51268 741 0 0 25 0 1 0 847749669 18280448 3693 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3693 1111 63 0 4400 0
vsize: 17852
[startup+530.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 276021 0 0 0 52256 753 0 0 25 0 1 0 847749669 18628608 3662 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4548 3662 1111 63 0 4485 0
vsize: 18192
[startup+540.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 281177 0 0 0 53241 768 0 0 25 0 1 0 847749669 17326080 3565 4294967295 134512640 134716908 3221224576 3221222572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4230 3565 1111 63 0 4167 0
vsize: 16920
[startup+550.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 286093 0 0 0 54231 778 0 0 25 0 1 0 847749669 18071552 3745 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4412 3745 1111 63 0 4349 0
vsize: 17648
[startup+560.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 290778 0 0 0 55217 792 0 0 25 0 1 0 847749669 17911808 3708 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3708 1111 63 0 4310 0
vsize: 17492
[startup+570.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 295831 0 0 0 56206 804 0 0 25 0 1 0 847749669 18055168 3743 4294967295 134512640 134716908 3221224576 3221222812 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4408 3743 1111 63 0 4345 0
vsize: 17632
[startup+580.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 302700 0 0 0 57190 820 0 0 25 0 1 0 847749669 19881984 3994 4294967295 134512640 134716908 3221224576 3221220684 1074797346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 3994 1111 63 0 4791 0
vsize: 19416
[startup+590.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 308339 0 0 0 58176 834 0 0 25 0 1 0 847749669 19881984 4105 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4105 1111 63 0 4791 0
vsize: 19416
[startup+600.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 312795 0 0 0 59166 844 0 0 25 0 1 0 847749669 20013056 4099 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 4099 1111 63 0 4823 0
vsize: 19544
[startup+610.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 317543 0 0 0 60154 857 0 0 25 0 1 0 847749669 19427328 4046 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4743 4046 1111 63 0 4680 0
vsize: 18972
[startup+620.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 321770 0 0 0 61144 867 0 0 25 0 1 0 847749669 20553728 4238 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5018 4238 1111 63 0 4955 0
vsize: 20072
[startup+630.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 327171 0 0 0 62129 881 0 0 25 0 1 0 847749669 20709376 4169 4294967295 134512640 134716908 3221224576 3221220848 1074961487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5056 4169 1111 63 0 4993 0
vsize: 20224
[startup+640.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 332258 0 0 0 63117 894 0 0 25 0 1 0 847749669 19881984 4181 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4181 1111 63 0 4791 0
vsize: 19416
[startup+650.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 337483 0 0 0 64104 907 0 0 25 0 1 0 847749669 20221952 4272 4294967295 134512640 134716908 3221224576 3221222784 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4937 4272 1111 63 0 4874 0
vsize: 19748
[startup+660.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 342313 0 0 0 65091 920 0 0 25 0 1 0 847749669 21524480 4525 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4525 1111 63 0 5192 0
vsize: 21020
[startup+670.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 345740 0 0 0 66082 930 0 0 25 0 1 0 847749669 20144128 4253 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 4253 1111 63 0 4855 0
vsize: 19672
[startup+680.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 351133 0 0 0 67067 944 0 0 25 0 1 0 847749669 20381696 4293 4294967295 134512640 134716908 3221224576 3221222680 1075964778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4976 4293 1111 63 0 4913 0
vsize: 19904
[startup+690.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 356455 0 0 0 68052 960 0 0 25 0 1 0 847749669 21983232 4483 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4483 1111 63 0 5304 0
vsize: 21468
[startup+700.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 360839 0 0 0 69040 972 0 0 25 0 1 0 847749669 21450752 4492 4294967295 134512640 134716908 3221224576 3221220460 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4492 1111 63 0 5174 0
vsize: 20948
[startup+710.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 366137 0 0 0 70027 986 0 0 25 0 1 0 847749669 22114304 4533 4294967295 134512640 134716908 3221224576 3221220816 1075115732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4533 1111 63 0 5336 0
vsize: 21596
[startup+720.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 371696 0 0 0 71013 1000 0 0 25 0 1 0 847749669 21938176 4595 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5356 4595 1111 63 0 5293 0
vsize: 21424
[startup+730.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 377305 0 0 0 71998 1014 0 0 25 0 1 0 847749669 21266432 4481 4294967295 134512640 134716908 3221224576 3221222304 1075828490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 4481 1111 63 0 5129 0
vsize: 20768
[startup+740.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 382324 0 0 0 72987 1026 0 0 25 0 1 0 847749669 21053440 4475 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5140 4475 1111 63 0 5077 0
vsize: 20560
[startup+750.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 387298 0 0 0 73972 1041 0 0 25 0 1 0 847749669 22274048 4537 4294967295 134512640 134716908 3221224576 3221221536 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5438 4537 1111 63 0 5375 0
vsize: 21752
[startup+760.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 392367 0 0 0 74957 1056 0 0 25 0 1 0 847749669 21495808 4570 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4570 1111 63 0 5185 0
vsize: 20992
[startup+770.053 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 398328 0 0 0 75942 1072 0 0 25 0 1 0 847749669 21196800 4510 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 4510 1111 63 0 5112 0
vsize: 20700
[startup+780.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 403744 0 0 0 76928 1086 0 0 25 0 1 0 847749669 22732800 4798 4294967295 134512640 134716908 3221224576 3221220736 1075095188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4798 1111 63 0 5487 0
vsize: 22200
[startup+790.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 408572 0 0 0 77916 1098 0 0 25 0 1 0 847749669 22790144 4802 4294967295 134512640 134716908 3221224576 3221221008 1075118240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5564 4802 1111 63 0 5501 0
vsize: 22256
[startup+800.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 415699 0 0 0 78899 1115 0 0 25 0 1 0 847749669 21954560 4682 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5360 4682 1111 63 0 5297 0
vsize: 21440
[startup+810.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 420952 0 0 0 79883 1131 0 0 25 0 1 0 847749669 22216704 4751 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5424 4751 1111 63 0 5361 0
vsize: 21696
[startup+820.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 425965 0 0 0 80870 1144 0 0 25 0 1 0 847749669 22368256 4786 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5461 4786 1111 63 0 5398 0
vsize: 21844
[startup+830.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 431624 0 0 0 81856 1159 0 0 25 0 1 0 847749669 22450176 4816 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 4816 1111 63 0 5418 0
vsize: 21924
[startup+840.054 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 437145 0 0 0 82842 1173 0 0 25 0 1 0 847749669 23199744 4967 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5664 4967 1111 63 0 5601 0
vsize: 22656
[startup+850.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 441382 0 0 0 83831 1184 0 0 25 0 1 0 847749669 24301568 5156 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5933 5156 1111 63 0 5870 0
vsize: 23732
[startup+860.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 444742 0 0 0 84823 1192 0 0 25 0 1 0 847749669 24367104 5185 4294967295 134512640 134716908 3221224576 3221220704 1075112371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 5185 1111 63 0 5886 0
vsize: 23796
[startup+870.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 448087 0 0 0 85815 1200 0 0 25 0 1 0 847749669 23830528 5076 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5818 5076 1111 63 0 5755 0
vsize: 23272
[startup+880.055 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 452978 0 0 0 86803 1212 0 0 25 0 1 0 847749669 24625152 5249 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5249 1111 63 0 5949 0
vsize: 24048
[startup+890.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 457629 0 0 0 87793 1223 0 0 25 0 1 0 847749669 24776704 5279 4294967295 134512640 134716908 3221224576 3221220512 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6049 5279 1111 63 0 5986 0
vsize: 24196
[startup+900.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 463204 0 0 0 88779 1237 0 0 25 0 1 0 847749669 25255936 5276 4294967295 134512640 134716908 3221224576 3221220804 1075115007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 5276 1111 63 0 6103 0
vsize: 24664
[startup+910.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 469143 0 0 0 89764 1252 0 0 25 0 1 0 847749669 24125440 5193 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 5193 1111 63 0 5827 0
vsize: 23560
[startup+920.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 473786 0 0 0 90752 1265 0 0 25 0 1 0 847749669 25153536 5381 4294967295 134512640 134716908 3221224576 3221220736 1075095169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6141 5381 1111 63 0 6078 0
vsize: 24564
[startup+930.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 478602 0 0 0 91737 1279 0 0 25 0 1 0 847749669 24109056 5208 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5886 5208 1111 63 0 5823 0
vsize: 23544
[startup+940.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 483926 0 0 0 92724 1292 0 0 25 0 1 0 847749669 25354240 5465 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 5465 1111 63 0 6127 0
vsize: 24760
[startup+950.056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 490910 0 0 0 93705 1312 0 0 25 0 1 0 847749669 24125440 5225 4294967295 134512640 134716908 3221224576 3221222784 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 5225 1111 63 0 5827 0
vsize: 23560
[startup+960.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 495005 0 0 0 94696 1321 0 0 25 0 1 0 847749669 25608192 5488 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 5488 1111 63 0 6189 0
vsize: 25008
[startup+970.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 498740 0 0 0 95688 1329 0 0 25 0 1 0 847749669 25915392 5611 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6327 5611 1111 63 0 6264 0
vsize: 25308
[startup+980.057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26095
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 501919 0 0 0 96681 1337 0 0 25 0 1 0 847749669 24944640 5393 4294967295 134512640 134716908 3221224576 3221222828 1074057894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5393 1111 63 0 6027 0
vsize: 24360
[startup+990.057 s]
Raw data (loadavg): 1.08 1.00 0.92 2/57 26143
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 506980 0 0 0 97669 1348 0 0 25 0 1 0 847749669 26226688 5502 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6403 5502 1111 63 0 6340 0
vsize: 25612
[startup+1000.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 26148
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 511916 0 0 0 98658 1359 0 0 25 0 1 0 847749669 26284032 5639 4294967295 134512640 134716908 3221224576 3221220536 1075964728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5639 1111 63 0 6354 0
vsize: 25668
[startup+1010.06 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 26148
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 516524 0 0 0 99645 1373 0 0 25 0 1 0 847749669 26308608 5649 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5649 1111 63 0 6360 0
vsize: 25692
[startup+1020.06 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 26148
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 521701 0 0 0 100632 1387 0 0 25 0 1 0 847749669 25600000 5553 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6250 5553 1111 63 0 6187 0
vsize: 25000
[startup+1030.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 26148
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 527304 0 0 0 101617 1401 0 0 25 0 1 0 847749669 25731072 5585 4294967295 134512640 134716908 3221224576 3221222880 1074039238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 5585 1111 63 0 6219 0
vsize: 25128
[startup+1040.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 26148
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 531412 0 0 0 102606 1412 0 0 25 0 1 0 847749669 25755648 5591 4294967295 134512640 134716908 3221224576 3221223020 1076648084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6288 5591 1111 63 0 6225 0
vsize: 25152
[startup+1050.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 26150
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 535922 0 0 0 103594 1425 0 0 25 0 1 0 847749669 27430912 5949 4294967295 134512640 134716908 3221224576 3221220536 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6697 5949 1111 63 0 6634 0
vsize: 26788
[startup+1060.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 541111 0 0 0 104581 1438 0 0 25 0 1 0 847749669 26025984 5657 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6354 5657 1111 63 0 6291 0
vsize: 25416
[startup+1070.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 546480 0 0 0 105567 1452 0 0 25 0 1 0 847749669 27033600 5819 4294967295 134512640 134716908 3221224576 3221220540 1074788184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 5819 1111 63 0 6537 0
vsize: 26400
[startup+1080.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 552367 0 0 0 106552 1467 0 0 25 0 1 0 847749669 27291648 5780 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 5780 1111 63 0 6600 0
vsize: 26652
[startup+1090.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 557085 0 0 0 107541 1478 0 0 25 0 1 0 847749669 28028928 6091 4294967295 134512640 134716908 3221224576 3221220544 1074790402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 6091 1111 63 0 6780 0
vsize: 27372
[startup+1100.06 s]
Raw data (loadavg): 1.01 1.00 0.92 3/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 560661 0 0 0 108534 1486 0 0 25 0 1 0 847749669 27537408 5961 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5961 1111 63 0 6660 0
vsize: 26892
[startup+1110.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 565822 0 0 0 109521 1498 0 0 25 0 1 0 847749669 26296320 5755 4294967295 134512640 134716908 3221224576 3221222444 1074050752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6420 5755 1111 63 0 6357 0
vsize: 25680
[startup+1120.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 570857 0 0 0 110509 1511 0 0 25 0 1 0 847749669 28348416 5940 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6921 5940 1111 63 0 6858 0
vsize: 27684
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 576017 0 0 0 111497 1523 0 0 25 0 1 0 847749669 28426240 6111 4294967295 134512640 134716908 3221224576 3221220848 1074961278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6940 6111 1111 63 0 6877 0
vsize: 27760
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 581239 0 0 0 112485 1535 0 0 25 0 1 0 847749669 28061696 6069 4294967295 134512640 134716908 3221224576 3221220512 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6851 6069 1111 63 0 6788 0
vsize: 27404
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 586074 0 0 0 113473 1547 0 0 25 0 1 0 847749669 29024256 6332 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6332 1111 63 0 7023 0
vsize: 28344
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 590314 0 0 0 114462 1558 0 0 25 0 1 0 847749669 28299264 6117 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 6117 1111 63 0 6846 0
vsize: 27636
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 598037 0 0 0 115443 1578 0 0 25 0 1 0 847749669 27918336 6009 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 6009 1111 63 0 6753 0
vsize: 27264
[startup+1177.38 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 26152
Raw data (stat): 26095 (bsolo_lpr_cuts-) R 26094 8378 8377 0 -1 0 598037 0 0 0 115443 1578 0 0 25 0 1 0 847749669 27918336 6009 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 6009 1111 63 0 6753 0
vsize: 0

Child status: 10
Real time (s): 1177.38
CPU time (s): 1177.53
CPU user time (s): 1161.65
CPU system time (s): 15.8856
CPU usage (%): 100.013
Max. virtual memory (Kb): 28344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	89
#### END VERIFIER DATA ####