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-jnh220.opb
MD5SUM	98f8a95595a145a754e30c7b5811afa6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	94
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.160974
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 40740

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        870740 kB
Buffers:         26272 kB
Cached:         115900 kB
SwapCached:       1376 kB
Active:          29064 kB
Inactive:       115160 kB
HighTotal:      131008 kB
HighFree:        29456 kB
LowTotal:       903652 kB
LowFree:        841284 kB
SwapTotal:     2097136 kB
SwapFree:      2094724 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13976 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:05:21 (client local time) WITH STATUS 10 IN 1175.9 SECONDS
stats: 28804 0 1175.9 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 892 constraints.
c preprocess terminated 0.401 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 1.069
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.893
c NEW SOLUTION FOUND: 99 @ 2.894
c NEW SOLUTION FOUND: 98 @ 2.898
c NEW SOLUTION FOUND: 97 @ 2.902
c NEW SOLUTION FOUND: 96 @ 2.905
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: 1175.89 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.89 0.95 0.93 2/54 15792
Raw data (stat): 15792 (runsolver) R 15791 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904623330 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.0011 s]
Raw data (loadavg): 0.90 0.95 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 4148 0 0 0 984 13 0 0 25 0 1 0 904623330 7421952 1046 4294967295 134512640 134716908 3221224576 3221221696 1074832383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1812 1046 1111 63 0 1749 0
vsize: 7248
[startup+20.0018 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 8373 0 0 0 1969 28 0 0 25 0 1 0 904623330 7933952 1154 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1154 1111 63 0 1874 0
vsize: 7748
[startup+30.0015 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 12446 0 0 0 2957 40 0 0 25 0 1 0 904623330 8105984 1167 4294967295 134512640 134716908 3221224576 3221220848 1074960809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 1167 1111 63 0 1916 0
vsize: 7916
[startup+40.0012 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 16202 0 0 0 3947 50 0 0 25 0 1 0 904623330 8171520 1205 4294967295 134512640 134716908 3221224576 3221220548 1074786520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1995 1205 1111 63 0 1932 0
vsize: 7980
[startup+50.0024 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 19349 0 0 0 4938 60 0 0 25 0 1 0 904623330 8359936 1287 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2041 1287 1111 63 0 1978 0
vsize: 8164
[startup+60.0024 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 23241 0 0 0 5927 71 0 0 25 0 1 0 904623330 8286208 1283 4294967295 134512640 134716908 3221224576 3221220688 1075895855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 1283 1111 63 0 1960 0
vsize: 8092
[startup+70.0021 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 27190 0 0 0 6916 82 0 0 25 0 1 0 904623330 8163328 1259 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1993 1259 1111 63 0 1930 0
vsize: 7972
[startup+80.0018 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 31201 0 0 0 7905 93 0 0 25 0 1 0 904623330 8630272 1285 4294967295 134512640 134716908 3221224576 3221221648 1075895994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2107 1285 1111 63 0 2044 0
vsize: 8428
[startup+90.0015 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 35269 0 0 0 8892 106 0 0 25 0 1 0 904623330 8372224 1315 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2044 1315 1111 63 0 1981 0
vsize: 8176
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 39148 0 0 0 9880 118 0 0 25 0 1 0 904623330 8253440 1341 4294967295 134512640 134716908 3221224576 3221222504 1077378782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2015 1341 1111 63 0 1952 0
vsize: 8060
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 43042 0 0 0 10867 131 0 0 25 0 1 0 904623330 9121792 1432 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2227 1432 1111 63 0 2164 0
vsize: 8908
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 47703 0 0 0 11853 146 0 0 25 0 1 0 904623330 8577024 1420 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2094 1420 1111 63 0 2031 0
vsize: 8376
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 52060 0 0 0 12839 160 0 0 25 0 1 0 904623330 9097216 1492 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 1492 1111 63 0 2158 0
vsize: 8884
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 56790 0 0 0 13828 171 0 0 25 0 1 0 904623330 8912896 1503 4294967295 134512640 134716908 3221224576 3221222952 1077410241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2176 1503 1111 63 0 2113 0
vsize: 8704
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 60625 0 0 0 14818 181 0 0 25 0 1 0 904623330 9789440 1587 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2390 1587 1111 63 0 2327 0
vsize: 9560
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 64271 0 0 0 15806 193 0 0 25 0 1 0 904623330 9515008 1566 4294967295 134512640 134716908 3221224576 3221220756 1075115092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1566 1111 63 0 2260 0
vsize: 9292
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 68081 0 0 0 16795 204 0 0 25 0 1 0 904623330 9834496 1640 4294967295 134512640 134716908 3221224576 3221220568 1075964775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2401 1640 1111 63 0 2338 0
vsize: 9604
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 72266 0 0 0 17784 216 0 0 25 0 1 0 904623330 10182656 1659 4294967295 134512640 134716908 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1659 1111 63 0 2423 0
vsize: 9944
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 77007 0 0 0 18771 229 0 0 25 0 1 0 904623330 9560064 1661 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2334 1661 1111 63 0 2271 0
vsize: 9336
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 81497 0 0 0 19758 242 0 0 25 0 1 0 904623330 10645504 1829 4294967295 134512640 134716908 3221224576 3221221104 1075397144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1829 1111 63 0 2536 0
vsize: 10396
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 85336 0 0 0 20749 251 0 0 25 0 1 0 904623330 10473472 1830 4294967295 134512640 134716908 3221224576 3221221696 1074837194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1830 1111 63 0 2494 0
vsize: 10228
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 88831 0 0 0 21741 260 0 0 25 0 1 0 904623330 10346496 1792 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2526 1792 1111 63 0 2463 0
vsize: 10104
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 92418 0 0 0 22731 270 0 0 25 0 1 0 904623330 9957376 1758 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2431 1758 1111 63 0 2368 0
vsize: 9724
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 96367 0 0 0 23720 281 0 0 25 0 1 0 904623330 9986048 1765 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2438 1765 1111 63 0 2375 0
vsize: 9752
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 100778 0 0 0 24709 292 0 0 25 0 1 0 904623330 10031104 1776 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2449 1776 1111 63 0 2386 0
vsize: 9796
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 104304 0 0 0 25700 301 0 0 25 0 1 0 904623330 10838016 1826 4294967295 134512640 134716908 3221224576 3221220784 1074815221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2646 1826 1111 63 0 2583 0
vsize: 10584
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 108476 0 0 0 26689 312 0 0 25 0 1 0 904623330 10252288 1830 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1830 1111 63 0 2440 0
vsize: 10012
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 111663 0 0 0 27682 320 0 0 25 0 1 0 904623330 10285056 1838 4294967295 134512640 134716908 3221224576 3221222912 1074153017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2511 1838 1111 63 0 2448 0
vsize: 10044
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 115557 0 0 0 28672 330 0 0 25 0 1 0 904623330 10981376 1964 4294967295 134512640 134716908 3221224576 3221220608 1074790177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2681 1964 1111 63 0 2618 0
vsize: 10724
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 119249 0 0 0 29662 340 0 0 25 0 1 0 904623330 10739712 1902 4294967295 134512640 134716908 3221224576 3221221504 1075960397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2622 1902 1111 63 0 2559 0
vsize: 10488
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 122915 0 0 0 30652 350 0 0 25 0 1 0 904623330 10944512 1906 4294967295 134512640 134716908 3221224576 3221220736 1074794697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2672 1906 1111 63 0 2609 0
vsize: 10688
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 127316 0 0 0 31640 363 0 0 25 0 1 0 904623330 11284480 1988 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1988 1111 63 0 2692 0
vsize: 11020
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 131350 0 0 0 32629 373 0 0 25 0 1 0 904623330 10551296 1903 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2576 1903 1111 63 0 2513 0
vsize: 10304
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 135163 0 0 0 33619 384 0 0 25 0 1 0 904623330 11341824 1962 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1963 1111 63 0 2706 0
vsize: 11076
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 139040 0 0 0 34608 395 0 0 25 0 1 0 904623330 11423744 1992 4294967295 134512640 134716908 3221224576 3221220848 1074961396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2789 1992 1111 63 0 2726 0
vsize: 11156
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 142862 0 0 0 35597 406 0 0 25 0 1 0 904623330 10756096 1953 4294967295 134512640 134716908 3221224576 3221222576 1074918322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2626 1953 1111 63 0 2563 0
vsize: 10504
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 146913 0 0 0 36586 418 0 0 25 0 1 0 904623330 11673600 2072 4294967295 134512640 134716908 3221224576 3221220848 1074799491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2850 2072 1111 63 0 2787 0
vsize: 11400
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 150838 0 0 0 37575 429 0 0 25 0 1 0 904623330 10817536 1965 4294967295 134512640 134716908 3221224576 3221222624 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2641 1965 1111 63 0 2578 0
vsize: 10564
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 155473 0 0 0 38563 441 0 0 25 0 1 0 904623330 11485184 2060 4294967295 134512640 134716908 3221224576 3221220464 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2804 2060 1111 63 0 2741 0
vsize: 11216
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 158997 0 0 0 39554 450 0 0 25 0 1 0 904623330 11780096 2088 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 2088 1111 63 0 2813 0
vsize: 11504
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 162417 0 0 0 40544 460 0 0 25 0 1 0 904623330 11358208 2053 4294967295 134512640 134716908 3221224576 3221221232 1075966495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2773 2053 1111 63 0 2710 0
vsize: 11092
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 166544 0 0 0 41533 471 0 0 25 0 1 0 904623330 11833344 2098 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2098 1111 63 0 2826 0
vsize: 11556
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 170398 0 0 0 42523 482 0 0 25 0 1 0 904623330 12001280 2149 4294967295 134512640 134716908 3221224576 3221220728 1074883029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 2149 1111 63 0 2867 0
vsize: 11720
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 174322 0 0 0 43513 492 0 0 25 0 1 0 904623330 11096064 2036 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2709 2036 1111 63 0 2646 0
vsize: 10836
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 178649 0 0 0 44502 503 0 0 25 0 1 0 904623330 11272192 2079 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2752 2079 1111 63 0 2689 0
vsize: 11008
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 182213 0 0 0 45491 514 0 0 25 0 1 0 904623330 12148736 2191 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2191 1111 63 0 2903 0
vsize: 11864
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 186574 0 0 0 46479 526 0 0 25 0 1 0 904623330 12079104 2231 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2949 2231 1111 63 0 2886 0
vsize: 11796
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 189947 0 0 0 47473 533 0 0 25 0 1 0 904623330 11497472 2140 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2140 1111 63 0 2744 0
vsize: 11228
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 194056 0 0 0 48461 544 0 0 25 0 1 0 904623330 12304384 2261 4294967295 134512640 134716908 3221224576 3221220812 1075563940 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3004 2261 1111 63 0 2941 0
vsize: 12016
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 198665 0 0 0 49449 556 0 0 25 0 1 0 904623330 11464704 2132 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 2132 1111 63 0 2736 0
vsize: 11196
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 203132 0 0 0 50437 569 0 0 25 0 1 0 904623330 11833344 2163 4294967295 134512640 134716908 3221224576 3221220524 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2163 1111 63 0 2826 0
vsize: 11556
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 208310 0 0 0 51423 583 0 0 25 0 1 0 904623330 12177408 2213 4294967295 134512640 134716908 3221224576 3221220784 1075895891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2213 1111 63 0 2910 0
vsize: 11892
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 212840 0 0 0 52410 596 0 0 25 0 1 0 904623330 12427264 2275 4294967295 134512640 134716908 3221224576 3221220608 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2275 1111 63 0 2971 0
vsize: 12136
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 217900 0 0 0 53397 610 0 0 25 0 1 0 904623330 13058048 2421 4294967295 134512640 134716908 3221224576 3221220544 1075965287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2421 1111 63 0 3125 0
vsize: 12752
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 222188 0 0 0 54385 622 0 0 25 0 1 0 904623330 12251136 2324 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2324 1111 63 0 2928 0
vsize: 11964
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 226522 0 0 0 55374 633 0 0 25 0 1 0 904623330 12251136 2324 4294967295 134512640 134716908 3221224576 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2324 1111 63 0 2928 0
vsize: 11964
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 230533 0 0 0 56365 642 0 0 25 0 1 0 904623330 12251136 2324 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2324 1111 63 0 2928 0
vsize: 11964
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 234950 0 0 0 57353 654 0 0 25 0 1 0 904623330 13336576 2520 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3256 2520 1111 63 0 3193 0
vsize: 13024
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 239483 0 0 0 58342 665 0 0 25 0 1 0 904623330 13328384 2488 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2488 1111 63 0 3191 0
vsize: 13016
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 243501 0 0 0 59331 676 0 0 25 0 1 0 904623330 13680640 2502 4294967295 134512640 134716908 3221224576 3221220488 1074788374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2502 1111 63 0 3277 0
vsize: 13360
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 247938 0 0 0 60319 688 0 0 25 0 1 0 904623330 14032896 2592 4294967295 134512640 134716908 3221224576 3221220632 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3426 2592 1111 63 0 3363 0
vsize: 13704
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 251511 0 0 0 61310 697 0 0 25 0 1 0 904623330 13709312 2489 4294967295 134512640 134716908 3221224576 3221221560 1074831411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2489 1111 63 0 3284 0
vsize: 13388
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 256277 0 0 0 62297 711 0 0 25 0 1 0 904623330 12697600 2411 4294967295 134512640 134716908 3221224576 3221223156 134652681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3100 2411 1111 63 0 3037 0
vsize: 12400
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 260240 0 0 0 63286 722 0 0 25 0 1 0 904623330 13778944 2515 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2515 1111 63 0 3301 0
vsize: 13456
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 265103 0 0 0 64273 735 0 0 25 0 1 0 904623330 13905920 2544 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3395 2544 1111 63 0 3332 0
vsize: 13580
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 269870 0 0 0 65261 747 0 0 25 0 1 0 904623330 14008320 2561 4294967295 134512640 134716908 3221224576 3221220848 1074806558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 2561 1111 63 0 3357 0
vsize: 13680
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 274165 0 0 0 66249 759 0 0 25 0 1 0 904623330 12922880 2488 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3155 2488 1111 63 0 3092 0
vsize: 12620
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 278427 0 0 0 67238 771 0 0 25 0 1 0 904623330 13721600 2583 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 2583 1111 63 0 3287 0
vsize: 13400
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 283267 0 0 0 68225 784 0 0 25 0 1 0 904623330 14065664 2677 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2677 1111 63 0 3371 0
vsize: 13736
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 287381 0 0 0 69213 796 0 0 25 0 1 0 904623330 14123008 2694 4294967295 134512640 134716908 3221224576 3221221112 1076048732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2694 1111 63 0 3385 0
vsize: 13792
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 291713 0 0 0 70202 808 0 0 25 0 1 0 904623330 13070336 2524 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3191 2524 1111 63 0 3128 0
vsize: 12764
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 296685 0 0 0 71188 822 0 0 25 0 1 0 904623330 13238272 2565 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3232 2565 1111 63 0 3169 0
vsize: 12928
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 300803 0 0 0 72178 832 0 0 25 0 1 0 904623330 13258752 2570 4294967295 134512640 134716908 3221224576 3221222680 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3237 2570 1111 63 0 3174 0
vsize: 12948
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 305751 0 0 0 73164 846 0 0 25 0 1 0 904623330 13410304 2607 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2607 1111 63 0 3211 0
vsize: 13096
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 310374 0 0 0 74151 859 0 0 25 0 1 0 904623330 14622720 2822 4294967295 134512640 134716908 3221224576 3221220536 1075964778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2822 1111 63 0 3507 0
vsize: 14280
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 314412 0 0 0 75141 870 0 0 25 0 1 0 904623330 14708736 2754 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2754 1111 63 0 3528 0
vsize: 14364
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 318155 0 0 0 76131 879 0 0 25 0 1 0 904623330 13639680 2663 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2663 1111 63 0 3267 0
vsize: 13320
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 322996 0 0 0 77117 893 0 0 25 0 1 0 904623330 13639680 2663 4294967295 134512640 134716908 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2668 1111 63 0 3410 0
vsize: 13320
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 328354 0 0 0 78103 907 0 0 25 0 1 0 904623330 14106624 2720 4294967295 134512640 134716908 3221224576 3221220756 1075114923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 2720 1111 63 0 3381 0
vsize: 13776
[startup+800.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 332295 0 0 0 79092 919 0 0 25 0 1 0 904623330 14905344 2789 4294967295 134512640 134716908 3221224576 3221220736 1075091697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2789 1111 63 0 3576 0
vsize: 14556
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 336672 0 0 0 80080 931 0 0 25 0 1 0 904623330 14868480 2771 4294967295 134512640 134716908 3221224576 3221220848 1074960847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3630 2771 1111 63 0 3567 0
vsize: 14520
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 340416 0 0 0 81072 939 0 0 25 0 1 0 904623330 15007744 2890 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2890 1111 63 0 3601 0
vsize: 14656
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 344388 0 0 0 82061 950 0 0 25 0 1 0 904623330 15126528 2924 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2924 1111 63 0 3630 0
vsize: 14772
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 349196 0 0 0 83047 964 0 0 25 0 1 0 904623330 15122432 2923 4294967295 134512640 134716908 3221224576 3221220752 1074882530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3692 2923 1111 63 0 3629 0
vsize: 14768
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15792
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 353769 0 0 0 84036 976 0 0 25 0 1 0 904623330 15515648 2924 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3788 2924 1111 63 0 3725 0
vsize: 15152
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 15832
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 357561 0 0 0 85027 985 0 0 25 0 1 0 904623330 15122432 2933 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3692 2933 1111 63 0 3629 0
vsize: 14768
[startup+870.004 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 362857 0 0 0 86010 1002 0 0 25 0 1 0 904623330 15790080 3105 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 3105 1111 63 0 3792 0
vsize: 15420
[startup+880.004 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 367266 0 0 0 86999 1013 0 0 25 0 1 0 904623330 14471168 2866 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3533 2866 1111 63 0 3470 0
vsize: 14132
[startup+890.005 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 371218 0 0 0 87989 1023 0 0 25 0 1 0 904623330 15622144 3044 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3044 1111 63 0 3751 0
vsize: 15256
[startup+900.005 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 374950 0 0 0 88980 1032 0 0 25 0 1 0 904623330 16023552 3161 4294967295 134512640 134716908 3221224576 3221221096 1075090005 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 3161 1111 63 0 3849 0
vsize: 15648
[startup+910.005 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 378295 0 0 0 89971 1041 0 0 25 0 1 0 904623330 14725120 2902 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2902 1111 63 0 3532 0
vsize: 14380
[startup+920.005 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15845
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 383218 0 0 0 90959 1054 0 0 25 0 1 0 904623330 14725120 2928 4294967295 134512640 134716908 3221224576 3221222224 1075818333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2928 1111 63 0 3532 0
vsize: 14380
[startup+930.005 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 388326 0 0 0 91946 1067 0 0 25 0 1 0 904623330 14979072 2990 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2990 1111 63 0 3594 0
vsize: 14628
[startup+940.005 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 393524 0 0 0 92931 1081 0 0 25 0 1 0 904623330 16400384 3241 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3241 1111 63 0 3941 0
vsize: 16016
[startup+950.005 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 398334 0 0 0 93919 1094 0 0 25 0 1 0 904623330 16322560 3069 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3069 1111 63 0 3922 0
vsize: 15940
[startup+960.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 401902 0 0 0 94910 1103 0 0 25 0 1 0 904623330 15368192 3085 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3752 3085 1111 63 0 3689 0
vsize: 15008
[startup+970.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 406931 0 0 0 95896 1117 0 0 25 0 1 0 904623330 16707584 3188 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 3188 1111 63 0 4016 0
vsize: 16316
[startup+980.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 410821 0 0 0 96886 1127 0 0 25 0 1 0 904623330 16416768 3236 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4008 3236 1111 63 0 3945 0
vsize: 16032
[startup+990.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 415044 0 0 0 97874 1140 0 0 25 0 1 0 904623330 16826368 3339 4294967295 134512640 134716908 3221224576 3221220544 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 3339 1111 63 0 4045 0
vsize: 16432
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 419708 0 0 0 98863 1151 0 0 25 0 1 0 904623330 16982016 3242 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3242 1111 63 0 4083 0
vsize: 16584
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 424427 0 0 0 99851 1163 0 0 25 0 1 0 904623330 16867328 3339 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3339 1111 63 0 4055 0
vsize: 16472
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 428419 0 0 0 100840 1174 0 0 25 0 1 0 904623330 15835136 3199 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 3199 1111 63 0 3803 0
vsize: 15464
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 431475 0 0 0 101833 1182 0 0 25 0 1 0 904623330 16924672 3346 4294967295 134512640 134716908 3221224576 3221220544 1074872799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4132 3346 1111 63 0 4069 0
vsize: 16528
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 435555 0 0 0 102822 1193 0 0 25 0 1 0 904623330 16744448 3296 4294967295 134512640 134716908 3221224576 3221220484 1074786531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4088 3296 1111 63 0 4025 0
vsize: 16352
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 438973 0 0 0 103814 1201 0 0 25 0 1 0 904623330 17203200 3464 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 3464 1111 63 0 4137 0
vsize: 16800
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 442486 0 0 0 104805 1210 0 0 25 0 1 0 904623330 17039360 3382 4294967295 134512640 134716908 3221224576 3221220588 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 3382 1111 63 0 4097 0
vsize: 16640
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 446481 0 0 0 105795 1220 0 0 25 0 1 0 904623330 17121280 3301 4294967295 134512640 134716908 3221224576 3221221232 1075967705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3301 1111 63 0 4117 0
vsize: 16720
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 450310 0 0 0 106785 1231 0 0 25 0 1 0 904623330 16945152 3365 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4137 3365 1111 63 0 4074 0
vsize: 16548
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 454802 0 0 0 107773 1243 0 0 25 0 1 0 904623330 17129472 3403 4294967295 134512640 134716908 3221224576 3221220540 1074788036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 3403 1111 63 0 4119 0
vsize: 16728
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 459275 0 0 0 108760 1255 0 0 25 0 1 0 904623330 17653760 3596 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4310 3596 1111 63 0 4247 0
vsize: 17240
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 463052 0 0 0 109751 1265 0 0 25 0 1 0 904623330 17137664 3406 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3406 1111 63 0 4121 0
vsize: 16736
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 467186 0 0 0 110740 1276 0 0 25 0 1 0 904623330 16207872 3290 4294967295 134512640 134716908 3221224576 3221222744 1077378323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3957 3290 1111 63 0 3894 0
vsize: 15828
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 470857 0 0 0 111731 1285 0 0 25 0 1 0 904623330 16773120 3386 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4095 3386 1111 63 0 4032 0
vsize: 16380
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 475790 0 0 0 112717 1299 0 0 25 0 1 0 904623330 16867328 3419 4294967295 134512640 134716908 3221224576 3221222856 1074138306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3419 1111 63 0 4055 0
vsize: 16472
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 479274 0 0 0 113709 1307 0 0 25 0 1 0 904623330 17637376 3541 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4306 3541 1111 63 0 4243 0
vsize: 17224
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 483497 0 0 0 114699 1318 0 0 25 0 1 0 904623330 16297984 3312 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3312 1111 63 0 3916 0
vsize: 15916
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 488195 0 0 0 115686 1331 0 0 25 0 1 0 904623330 16470016 3354 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3354 1111 63 0 3958 0
vsize: 16084
[startup+1175.73 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 15847
Raw data (stat): 15792 (bsolo_lpr_cuts-) R 15791 31399 31398 0 -1 0 488195 0 0 0 115686 1331 0 0 25 0 1 0 904623330 16470016 3354 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3354 1111 63 0 3958 0
vsize: 0

Child status: 10
Real time (s): 1175.73
CPU time (s): 1175.9
CPU user time (s): 1162.49
CPU system time (s): 13.41
CPU usage (%): 100.015
Max. virtual memory (Kb): 17240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	96
#### END VERIFIER DATA ####