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-jnh1.opb
MD5SUM	063eb2758c10dfb54cdafd2acd326cb9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	92
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	0.244961
Number of variables	200
Total number of constraints	950
Number of constraints which are clauses	950
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	14
Trace number 24023

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 22:54:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1586 boxname=wulflinc31 idbench=177 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  063eb2758c10dfb54cdafd2acd326cb9  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh1.opb
IDLAUNCH: 1586
/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:        145324 kB
Buffers:         39564 kB
Cached:         815640 kB
SwapCached:        644 kB
Active:         489816 kB
Inactive:       367688 kB
HighTotal:      131008 kB
HighFree:         5992 kB
LowTotal:       903652 kB
LowFree:        139332 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26224 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 23:14:09 (client local time) WITH STATUS 10 IN 1176.26 SECONDS
stats: 1586 0 1176.26 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 950 constraints.
c After prepocess the problem consists of 192 variables and 882 constraints.
c preprocess terminated 0.615 s
c Initial Lower Bound: 72
c Lower Bound Elapsed time: 0.548
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.912
c NEW SOLUTION FOUND: 99 @ 2.913
c NEW SOLUTION FOUND: 98 @ 2.918
c NEW SOLUTION FOUND: 97 @ 2.921
c NEW SOLUTION FOUND: 96 @ 2.928
c NEW SOLUTION FOUND: 95 @ 2.933
c NEW SOLUTION FOUND: 94 @ 2.937
c NEW SOLUTION FOUND: 93 @ 5.855
c NEW SOLUTION FOUND: 92 @ 45.364
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: 1176.23 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.95 2/54 2727
Raw data (stat): 2727 (runsolver) R 2726 7876 7672 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 687080012 1056768 98 4294967295 134512640 135381576 3221221696 3221217068 135024789 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 6309 0 0 0 973 22 0 0 25 0 1 0 687080012 7397376 1059 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1806 1059 1111 63 0 1743 0
vsize: 7224
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 12329 0 0 0 1957 38 0 0 25 0 1 0 687080012 8404992 1250 4294967295 134512640 134714508 3221221792 3221217660 1074787454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2052 1250 1111 63 0 1989 0
vsize: 8208
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 18710 0 0 0 2940 55 0 0 25 0 1 0 687080012 8339456 1274 4294967295 134512640 134714508 3221221792 3221218384 1074884324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2036 1274 1111 63 0 1973 0
vsize: 8144
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 23914 0 0 0 3927 68 0 0 25 0 1 0 687080012 9097216 1446 4294967295 134512640 134714508 3221221792 3221217668 1074786486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2221 1446 1111 63 0 2158 0
vsize: 8884
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 31691 0 0 0 4906 90 0 0 25 0 1 0 687080012 9089024 1494 4294967295 134512640 134714508 3221221792 3221218448 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2219 1494 1111 63 0 2156 0
vsize: 8876
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 38907 0 0 0 5886 110 0 0 25 0 1 0 687080012 8814592 1443 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2152 1443 1111 63 0 2089 0
vsize: 8608
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 46856 0 0 0 6864 132 0 0 25 0 1 0 687080012 9396224 1546 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1546 1111 63 0 2231 0
vsize: 9176
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 54949 0 0 0 7842 154 0 0 25 0 1 0 687080012 10084352 1715 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2462 1715 1111 63 0 2399 0
vsize: 9848
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 62138 0 0 0 8821 175 0 0 25 0 1 0 687080012 9404416 1619 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2296 1619 1111 63 0 2233 0
vsize: 9184
[startup+100.004 s]
Raw data (loadavg): 1.06 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 69007 0 0 0 9802 195 0 0 25 0 1 0 687080012 9527296 1649 4294967295 134512640 134714508 3221221792 3221219792 1074052193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1649 1111 63 0 2263 0
vsize: 9304
[startup+110.005 s]
Raw data (loadavg): 1.05 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 73824 0 0 0 10789 208 0 0 25 0 1 0 687080012 10399744 1788 4294967295 134512640 134714508 3221221792 3221217740 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2539 1788 1111 63 0 2476 0
vsize: 10156
[startup+120.005 s]
Raw data (loadavg): 1.04 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 81433 0 0 0 11769 229 0 0 25 0 1 0 687080012 10878976 1936 4294967295 134512640 134714508 3221221792 3221217952 1074794695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2656 1936 1111 63 0 2593 0
vsize: 10624
[startup+130.006 s]
Raw data (loadavg): 1.03 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 87638 0 0 0 12751 246 0 0 25 0 1 0 687080012 10485760 1832 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1832 1111 63 0 2497 0
vsize: 10240
[startup+140.006 s]
Raw data (loadavg): 1.03 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 94611 0 0 0 13734 263 0 0 25 0 1 0 687080012 11538432 2078 4294967295 134512640 134714508 3221221792 3221218280 1074798917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2817 2078 1111 63 0 2754 0
vsize: 11268
[startup+150.006 s]
Raw data (loadavg): 1.02 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 101334 0 0 0 14718 280 0 0 25 0 1 0 687080012 12095488 2161 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2161 1111 63 0 2890 0
vsize: 11812
[startup+160.007 s]
Raw data (loadavg): 1.02 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 106903 0 0 0 15704 294 0 0 25 0 1 0 687080012 10625024 1923 4294967295 134512640 134714508 3221221792 3221220368 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2594 1923 1111 63 0 2531 0
vsize: 10376
[startup+170.006 s]
Raw data (loadavg): 1.02 0.98 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 113901 0 0 0 16685 313 0 0 25 0 1 0 687080012 10792960 1953 4294967295 134512640 134714508 3221221792 3221220272 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1953 1111 63 0 2572 0
vsize: 10540
[startup+180.008 s]
Raw data (loadavg): 1.09 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 119157 0 0 0 17671 327 0 0 25 0 1 0 687080012 10932224 1998 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2669 1998 1111 63 0 2606 0
vsize: 10676
[startup+190.008 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 127178 0 0 0 18650 348 0 0 25 0 1 0 687080012 11231232 2071 4294967295 134512640 134714508 3221221792 3221219504 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2742 2071 1111 63 0 2679 0
vsize: 10968
[startup+200.007 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 134161 0 0 0 19634 364 0 0 25 0 1 0 687080012 12455936 2353 4294967295 134512640 134714508 3221221792 3221218448 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 2353 1111 63 0 2978 0
vsize: 12164
[startup+210.007 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 140795 0 0 0 20617 382 0 0 25 0 1 0 687080012 11608064 2163 4294967295 134512640 134714508 3221221792 3221219520 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2834 2163 1111 63 0 2771 0
vsize: 11336
[startup+220.007 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 148285 0 0 0 21599 400 0 0 25 0 1 0 687080012 12419072 2274 4294967295 134512640 134714508 3221221792 3221218064 1074961496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2274 1111 63 0 2969 0
vsize: 12128
[startup+230.008 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 154592 0 0 0 22584 415 0 0 25 0 1 0 687080012 12255232 2289 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2289 1111 63 0 2929 0
vsize: 11968
[startup+240.008 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 159822 0 0 0 23570 429 0 0 25 0 1 0 687080012 13127680 2414 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3205 2414 1111 63 0 3142 0
vsize: 12820
[startup+250.008 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 167138 0 0 0 24552 447 0 0 25 0 1 0 687080012 12480512 2344 4294967295 134512640 134714508 3221221792 3221219944 1074950131 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3047 2344 1111 63 0 2984 0
vsize: 12188
[startup+260.009 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 174260 0 0 0 25537 463 0 0 25 0 1 0 687080012 12779520 2402 4294967295 134512640 134714508 3221221792 3221217972 1075114923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2402 1111 63 0 3057 0
vsize: 12480
[startup+270.009 s]
Raw data (loadavg): 1.10 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 181334 0 0 0 26520 480 0 0 25 0 1 0 687080012 12713984 2433 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2433 1111 63 0 3041 0
vsize: 12416
[startup+280.01 s]
Raw data (loadavg): 1.08 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 189440 0 0 0 27502 498 0 0 25 0 1 0 687080012 14098432 2596 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3442 2596 1111 63 0 3379 0
vsize: 13768
[startup+290.011 s]
Raw data (loadavg): 1.07 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 197831 0 0 0 28483 517 0 0 25 0 1 0 687080012 13008896 2505 4294967295 134512640 134714508 3221221792 3221219552 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3176 2505 1111 63 0 3113 0
vsize: 12704
[startup+300.011 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 204994 0 0 0 29467 534 0 0 25 0 1 0 687080012 14032896 2656 4294967295 134512640 134714508 3221221792 3221218160 1075894562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2656 1111 63 0 3363 0
vsize: 13704
[startup+310.011 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 211010 0 0 0 30454 546 0 0 25 0 1 0 687080012 14069760 2687 4294967295 134512640 134714508 3221221792 3221218008 1075115505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2687 1111 63 0 3372 0
vsize: 13740
[startup+320.012 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 217980 0 0 0 31438 563 0 0 25 0 1 0 687080012 13512704 2624 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3299 2624 1111 63 0 3236 0
vsize: 13196
[startup+330.012 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 221448 0 0 0 32430 571 0 0 25 0 1 0 687080012 14061568 2762 4294967295 134512640 134714508 3221221792 3221219704 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3433 2762 1111 63 0 3370 0
vsize: 13732
[startup+340.012 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 225214 0 0 0 33421 581 0 0 25 0 1 0 687080012 13733888 2654 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2654 1111 63 0 3290 0
vsize: 13412
[startup+350.012 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 230103 0 0 0 34409 592 0 0 25 0 1 0 687080012 13443072 2591 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3282 2591 1111 63 0 3219 0
vsize: 13128
[startup+360.012 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 236892 0 0 0 35391 610 0 0 25 0 1 0 687080012 13307904 2578 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2578 1111 63 0 3186 0
vsize: 12996
[startup+370.012 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 241607 0 0 0 36379 623 0 0 25 0 1 0 687080012 15560704 2961 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2961 1111 63 0 3736 0
vsize: 15196
[startup+380.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 248163 0 0 0 37363 639 0 0 25 0 1 0 687080012 14065664 2748 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2748 1111 63 0 3371 0
vsize: 13736
[startup+390.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 254323 0 0 0 38350 653 0 0 25 0 1 0 687080012 14831616 2764 4294967295 134512640 134714508 3221221792 3221218912 1074834346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3621 2764 1111 63 0 3558 0
vsize: 14484
[startup+400.013 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 263018 0 0 0 39328 674 0 0 25 0 1 0 687080012 15405056 2738 4294967295 134512640 134714508 3221221792 3221218000 1074815488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3761 2738 1111 63 0 3698 0
vsize: 15044
[startup+410.014 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 271930 0 0 0 40307 696 0 0 25 0 1 0 687080012 15519744 2966 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2966 1111 63 0 3726 0
vsize: 15156
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 280109 0 0 0 41288 715 0 0 25 0 1 0 687080012 14036992 2692 4294967295 134512640 134714508 3221221792 3221218016 1074960804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2692 1111 63 0 3364 0
vsize: 13708
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 284669 0 0 0 42277 726 0 0 25 0 1 0 687080012 15929344 3104 4294967295 134512640 134714508 3221221792 3221217952 1075095151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3889 3104 1111 63 0 3826 0
vsize: 15556
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 288089 0 0 0 43269 734 0 0 25 0 1 0 687080012 16101376 3197 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3197 1111 63 0 3868 0
vsize: 15724
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 292016 0 0 0 44260 743 0 0 25 0 1 0 687080012 14303232 2822 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2822 1111 63 0 3429 0
vsize: 13968
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 297745 0 0 0 45246 757 0 0 25 0 1 0 687080012 16113664 3152 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3934 3152 1111 63 0 3871 0
vsize: 15736
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 303076 0 0 0 46233 770 0 0 25 0 1 0 687080012 14372864 2839 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2839 1111 63 0 3446 0
vsize: 14036
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 308555 0 0 0 47219 785 0 0 25 0 1 0 687080012 14372864 2839 4294967295 134512640 134714508 3221221792 3221219608 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2839 1111 63 0 3446 0
vsize: 14036
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 313306 0 0 0 48208 796 0 0 25 0 1 0 687080012 16072704 3139 4294967295 134512640 134714508 3221221792 3221218020 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3924 3139 1111 63 0 3861 0
vsize: 15696
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 318800 0 0 0 49196 808 0 0 25 0 1 0 687080012 14487552 2867 4294967295 134512640 134714508 3221221792 3221220128 1074153767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2867 1111 63 0 3474 0
vsize: 14148
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 323146 0 0 0 50186 818 0 0 25 0 1 0 687080012 16535552 3281 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4037 3281 1111 63 0 3974 0
vsize: 16148
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 327990 0 0 0 51175 830 0 0 25 0 1 0 687080012 16441344 3166 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 3166 1111 63 0 3951 0
vsize: 16056
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 332294 0 0 0 52165 840 0 0 25 0 1 0 687080012 14483456 2866 4294967295 134512640 134714508 3221221792 3221219472 1073987049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2866 1111 63 0 3473 0
vsize: 14144
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 335960 0 0 0 53157 848 0 0 25 0 1 0 687080012 16363520 3213 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3995 3213 1111 63 0 3932 0
vsize: 15980
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 339836 0 0 0 54149 856 0 0 25 0 1 0 687080012 16343040 3212 4294967295 134512640 134714508 3221221792 3221218000 1074815290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3212 1111 63 0 3927 0
vsize: 15960
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 346609 0 0 0 55134 871 0 0 25 0 1 0 687080012 16527360 3062 4294967295 134512640 134714508 3221221792 3221218056 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3062 1111 63 0 3972 0
vsize: 16140
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 352689 0 0 0 56120 886 0 0 25 0 1 0 687080012 16457728 3206 4294967295 134512640 134714508 3221221792 3221218336 1075088566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3206 1111 63 0 3955 0
vsize: 16072
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 358402 0 0 0 57106 899 0 0 25 0 1 0 687080012 16879616 3188 4294967295 134512640 134714508 3221221792 3221218880 1075661523 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4121 3188 1111 63 0 4058 0
vsize: 16484
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 364051 0 0 0 58094 912 0 0 25 0 1 0 687080012 14970880 2985 4294967295 134512640 134714508 3221221792 3221219136 1074839094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3689 2989 1111 63 0 3626 0
vsize: 14620
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 369972 0 0 0 59080 926 0 0 25 0 1 0 687080012 15097856 3016 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3686 3016 1111 63 0 3623 0
vsize: 14744
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 376599 0 0 0 60066 940 0 0 25 0 1 0 687080012 14983168 2988 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3658 2988 1111 63 0 3595 0
vsize: 14632
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 382159 0 0 0 61054 953 0 0 25 0 1 0 687080012 14704640 2920 4294967295 134512640 134714508 3221221792 3221220144 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3590 2920 1111 63 0 3527 0
vsize: 14360
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 389056 0 0 0 62037 970 0 0 25 0 1 0 687080012 16822272 3362 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4107 3362 1111 63 0 4044 0
vsize: 16428
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 395886 0 0 0 63021 986 0 0 25 0 1 0 687080012 14704640 2920 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3590 2920 1111 63 0 3527 0
vsize: 14360
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 403530 0 0 0 64002 1005 0 0 25 0 1 0 687080012 16912384 3394 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4129 3394 1111 63 0 4066 0
vsize: 16516
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 408015 0 0 0 64991 1016 0 0 25 0 1 0 687080012 15228928 3016 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3718 3016 1111 63 0 3655 0
vsize: 14872
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 416030 0 0 0 65972 1035 0 0 25 0 1 0 687080012 15224832 3015 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 3015 1111 63 0 3654 0
vsize: 14868
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 422718 0 0 0 66957 1051 0 0 25 0 1 0 687080012 15732736 3130 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3841 3130 1111 63 0 3778 0
vsize: 15364
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 430204 0 0 0 67939 1069 0 0 25 0 1 0 687080012 17235968 3161 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3161 1111 63 0 4145 0
vsize: 16832
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 436638 0 0 0 68923 1085 0 0 25 0 1 0 687080012 17055744 3152 4294967295 134512640 134714508 3221221792 3221217672 1074788427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4164 3152 1111 63 0 4101 0
vsize: 16656
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 443763 0 0 0 69905 1103 0 0 25 0 1 0 687080012 16699392 3310 4294967295 134512640 134714508 3221221792 3221217628 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3310 1111 63 0 4014 0
vsize: 16308
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 447714 0 0 0 70895 1114 0 0 25 0 1 0 687080012 15826944 3169 4294967295 134512640 134714508 3221221792 3221219520 1075828441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3169 1111 63 0 3801 0
vsize: 15456
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 452162 0 0 0 71884 1124 0 0 25 0 1 0 687080012 17981440 3443 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4390 3443 1111 63 0 4327 0
vsize: 17560
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 457411 0 0 0 72873 1136 0 0 25 0 1 0 687080012 16019456 3248 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3911 3248 1111 63 0 3848 0
vsize: 15644
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 464814 0 0 0 73854 1155 0 0 25 0 1 0 687080012 17825792 3333 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3333 1111 63 0 4289 0
vsize: 17408
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 471677 0 0 0 74836 1173 0 0 25 0 1 0 687080012 16166912 3253 4294967295 134512640 134714508 3221221792 3221219440 1075818331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3947 3253 1111 63 0 3884 0
vsize: 15788
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 481025 0 0 0 75815 1194 0 0 25 0 1 0 687080012 17543168 3440 4294967295 134512640 134714508 3221221792 3221217968 1074882566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3440 1111 63 0 4220 0
vsize: 17132
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 489406 0 0 0 76794 1215 0 0 25 0 1 0 687080012 16424960 3315 4294967295 134512640 134714508 3221221792 3221218984 1074138300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4010 3315 1111 63 0 3947 0
vsize: 16040
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 498447 0 0 0 77772 1237 0 0 25 0 1 0 687080012 17719296 3492 4294967295 134512640 134714508 3221221792 3221217752 1075964781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4326 3492 1111 63 0 4263 0
vsize: 17304
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 503911 0 0 0 78760 1250 0 0 25 0 1 0 687080012 17989632 3614 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4392 3614 1111 63 0 4329 0
vsize: 17568
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 510013 0 0 0 79746 1264 0 0 25 0 1 0 687080012 18464768 3680 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4508 3680 1111 63 0 4445 0
vsize: 18032
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 514909 0 0 0 80733 1278 0 0 25 0 1 0 687080012 18800640 3807 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3807 1111 63 0 4527 0
vsize: 18360
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 521239 0 0 0 81717 1294 0 0 25 0 1 0 687080012 18313216 3696 4294967295 134512640 134714508 3221221792 3221217904 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4471 3696 1111 63 0 4408 0
vsize: 17884
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 527072 0 0 0 82702 1309 0 0 25 0 1 0 687080012 18853888 3618 4294967295 134512640 134714508 3221221792 3221218736 1074620117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3618 1111 63 0 4540 0
vsize: 18412
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 533329 0 0 0 83685 1326 0 0 25 0 1 0 687080012 18694144 3749 4294967295 134512640 134714508 3221221792 3221218000 1074815290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3749 1111 63 0 4501 0
vsize: 18256
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 540163 0 0 0 84669 1342 0 0 25 0 1 0 687080012 17051648 3500 4294967295 134512640 134714508 3221221792 3221219832 1074137216 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3500 1111 63 0 4100 0
vsize: 16652
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 548425 0 0 0 85649 1363 0 0 25 0 1 0 687080012 18333696 3602 4294967295 134512640 134714508 3221221792 3221217960 1074797141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3602 1111 63 0 4413 0
vsize: 17904
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 556047 0 0 0 86629 1383 0 0 25 0 1 0 687080012 17625088 3634 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4303 3634 1111 63 0 4240 0
vsize: 17212
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 561523 0 0 0 87616 1396 0 0 25 0 1 0 687080012 17686528 3655 4294967295 134512640 134714508 3221221792 3221219840 1075963614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4318 3655 1111 63 0 4255 0
vsize: 17272
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 567934 0 0 0 88603 1409 0 0 25 0 1 0 687080012 18489344 3851 4294967295 134512640 134714508 3221221792 3221219792 1074917092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4514 3851 1111 63 0 4451 0
vsize: 18056
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 573852 0 0 0 89591 1421 0 0 25 0 1 0 687080012 18657280 3892 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4555 3892 1111 63 0 4492 0
vsize: 18220
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 578764 0 0 0 90580 1432 0 0 25 0 1 0 687080012 20918272 4278 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5107 4278 1111 63 0 5044 0
vsize: 20428
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 583738 0 0 0 91568 1445 0 0 25 0 1 0 687080012 20414464 3995 4294967295 134512640 134714508 3221221792 3221218832 1075971410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 3999 1111 63 0 4921 0
vsize: 19936
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 592063 0 0 0 92546 1466 0 0 25 0 1 0 687080012 21020672 4159 4294967295 134512640 134714508 3221221792 3221218832 1075860056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5132 4159 1111 63 0 5069 0
vsize: 20528
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 596591 0 0 0 93536 1477 0 0 25 0 1 0 687080012 21180416 4244 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5171 4244 1111 63 0 5108 0
vsize: 20684
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 601300 0 0 0 94525 1488 0 0 25 0 1 0 687080012 20688896 4072 4294967295 134512640 134714508 3221221792 3221217636 1074786537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5051 4072 1111 63 0 4988 0
vsize: 20204
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 607906 0 0 0 95507 1506 0 0 25 0 1 0 687080012 20422656 4152 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4986 4152 1111 63 0 4923 0
vsize: 19944
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 614423 0 0 0 96490 1523 0 0 25 0 1 0 687080012 20717568 4280 4294967295 134512640 134714508 3221221792 3221218064 1074960857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5058 4280 1111 63 0 4995 0
vsize: 20232
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 620616 0 0 0 97476 1538 0 0 25 0 1 0 687080012 20799488 4300 4294967295 134512640 134714508 3221221792 3221218064 1074961186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4300 1111 63 0 5015 0
vsize: 20312
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 625862 0 0 0 98462 1552 0 0 25 0 1 0 687080012 20611072 4184 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5032 4184 1111 63 0 4969 0
vsize: 20128
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 631578 0 0 0 99449 1565 0 0 25 0 1 0 687080012 19738624 4124 4294967295 134512640 134714508 3221221792 3221219944 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4819 4124 1111 63 0 4756 0
vsize: 19276
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 640262 0 0 0 100427 1587 0 0 25 0 1 0 687080012 21037056 4325 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5136 4325 1111 63 0 5073 0
vsize: 20544
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 647070 0 0 0 101410 1604 0 0 25 0 1 0 687080012 21102592 4322 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5152 4322 1111 63 0 5089 0
vsize: 20608
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 650029 0 0 0 102402 1612 0 0 25 0 1 0 687080012 20250624 4281 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4281 1111 63 0 4881 0
vsize: 19776
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 654074 0 0 0 103391 1623 0 0 25 0 1 0 687080012 19832832 4179 4294967295 134512640 134714508 3221221792 3221219744 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4842 4179 1111 63 0 4779 0
vsize: 19368
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 659536 0 0 0 104381 1634 0 0 25 0 1 0 687080012 20979712 4413 4294967295 134512640 134714508 3221221792 3221219440 1075818340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5122 4413 1111 63 0 5059 0
vsize: 20488
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 664205 0 0 0 105370 1644 0 0 25 0 1 0 687080012 20910080 4418 4294967295 134512640 134714508 3221221792 3221219440 1075818346 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5105 4418 1111 63 0 5042 0
vsize: 20420
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 668711 0 0 0 106360 1655 0 0 25 0 1 0 687080012 23502848 5003 4294967295 134512640 134714508 3221221792 3221217900 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5738 5003 1111 63 0 5675 0
vsize: 22952
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 674503 0 0 0 107346 1669 0 0 25 0 1 0 687080012 19984384 4203 4294967295 134512640 134714508 3221221792 3221219616 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4879 4203 1111 63 0 4816 0
vsize: 19516
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 679267 0 0 0 108334 1681 0 0 25 0 1 0 687080012 22409216 4457 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4457 1111 63 0 5408 0
vsize: 21884
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 687750 0 0 0 109313 1703 0 0 25 0 1 0 687080012 20533248 4319 4294967295 134512640 134714508 3221221792 3221219760 1074247409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5013 4319 1111 63 0 4950 0
vsize: 20052
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 695225 0 0 0 110295 1721 0 0 25 0 1 0 687080012 20287488 4259 4294967295 134512640 134714508 3221221792 3221219520 1075831094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4259 1111 63 0 4890 0
vsize: 19812
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 701027 0 0 0 111282 1734 0 0 25 0 1 0 687080012 20287488 4290 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4290 1111 63 0 4890 0
vsize: 19812
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 708062 0 0 0 112266 1750 0 0 25 0 1 0 687080012 22974464 4576 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4576 1111 63 0 5546 0
vsize: 22436
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 714281 0 0 0 113252 1765 0 0 25 0 1 0 687080012 20676608 4353 4294967295 134512640 134714508 3221221792 3221218896 1074138636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5048 4353 1111 63 0 4985 0
vsize: 20192
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 720212 0 0 0 114238 1778 0 0 25 0 1 0 687080012 20951040 4452 4294967295 134512640 134714508 3221221792 3221220112 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5077 4414 1111 63 0 5014 0
vsize: 20460
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 725160 0 0 0 115227 1789 0 0 25 0 1 0 687080012 20815872 4419 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4419 1111 63 0 5019 0
vsize: 20328
[startup+1176.12 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 2727
Raw data (stat): 2727 (bsolo_lpr_cuts) R 2726 7876 7672 0 -1 0 725160 0 0 0 115227 1789 0 0 25 0 1 0 687080012 20815872 4419 4294967295 134512640 134714508 3221221792 3221219792 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4419 1111 63 0 5019 0
vsize: 0

Child status: 10
Real time (s): 1176.12
CPU time (s): 1176.26
CPU user time (s): 1158.3
CPU system time (s): 17.9573
CPU usage (%): 100.012
Max. virtual memory (Kb): 22952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	92
#### END VERIFIER DATA ####