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 24088

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 02:11:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1703 boxname=wulflinc31 idbench=190 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  98f8a95595a145a754e30c7b5811afa6  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh220.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh220.opb
IDLAUNCH: 1703
/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:        143416 kB
Buffers:         40548 kB
Cached:         816356 kB
SwapCached:        644 kB
Active:         490644 kB
Inactive:       368592 kB
HighTotal:      131008 kB
HighFree:         5180 kB
LowTotal:       903652 kB
LowFree:        138236 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26272 kB
Committed_AS:    63612 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 02:30:58 (client local time) WITH STATUS 10 IN 1175.12 SECONDS
stats: 1703 0 1175.12 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.417 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 0.56175
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.741
c NEW SOLUTION FOUND: 99 @ 2.742
c NEW SOLUTION FOUND: 98 @ 2.747
c NEW SOLUTION FOUND: 97 @ 2.75
c NEW SOLUTION FOUND: 96 @ 2.754
c NEW SOLUTION FOUND: 95 @ 2.76
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.09 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): 1.14 1.00 0.93 2/54 8941
Raw data (stat): 8941 (runsolver) R 8940 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 688261233 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 4568 0 0 0 982 13 0 0 25 0 1 0 688261233 6844416 945 4294967295 134512640 134714508 3221221792 3221220276 1077374505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1671 945 1111 63 0 1608 0
vsize: 6684
[startup+20.0011 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 8488 0 0 0 1972 24 0 0 25 0 1 0 688261233 7200768 991 4294967295 134512640 134714508 3221221792 3221217756 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 991 1111 63 0 1695 0
vsize: 7032
[startup+30.0017 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 12500 0 0 0 2960 36 0 0 25 0 1 0 688261233 6733824 963 4294967295 134512640 134714508 3221221792 3221219792 1074918562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1644 963 1111 63 0 1581 0
vsize: 6576
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 17128 0 0 0 3947 49 0 0 25 0 1 0 688261233 7806976 1184 4294967295 134512640 134714508 3221221792 3221217676 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1184 1111 63 0 1843 0
vsize: 7624
[startup+50.0039 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 20972 0 0 0 4937 59 0 0 25 0 1 0 688261233 7217152 1081 4294967295 134512640 134714508 3221221792 3221219972 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1753 1073 1111 63 0 1690 0
vsize: 7048
[startup+60.0035 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 26283 0 0 0 5923 73 0 0 25 0 1 0 688261233 8093696 1206 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1976 1206 1111 63 0 1913 0
vsize: 7904
[startup+70.0044 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 32095 0 0 0 6908 88 0 0 25 0 1 0 688261233 7925760 1186 4294967295 134512640 134714508 3221221792 3221218160 1075894507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1935 1186 1111 63 0 1872 0
vsize: 7740
[startup+80.0047 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 36964 0 0 0 7895 102 0 0 25 0 1 0 688261233 7741440 1211 4294967295 134512640 134714508 3221221792 3221219984 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1890 1211 1111 63 0 1827 0
vsize: 7560
[startup+90.0053 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 41825 0 0 0 8883 114 0 0 25 0 1 0 688261233 8790016 1378 4294967295 134512640 134714508 3221221792 3221218888 1075859557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2146 1378 1111 63 0 2083 0
vsize: 8584
[startup+100.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 46420 0 0 0 9870 127 0 0 25 0 1 0 688261233 8855552 1390 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2162 1390 1111 63 0 2099 0
vsize: 8648
[startup+110.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 51146 0 0 0 10857 141 0 0 25 0 1 0 688261233 9084928 1440 4294967295 134512640 134714508 3221221792 3221218124 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2218 1440 1111 63 0 2155 0
vsize: 8872
[startup+120.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 55612 0 0 0 11844 153 0 0 25 0 1 0 688261233 9441280 1568 4294967295 134512640 134714508 3221221792 3221217752 1075964742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2305 1568 1111 63 0 2242 0
vsize: 9220
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 60597 0 0 0 12831 166 0 0 25 0 1 0 688261233 9719808 1556 4294967295 134512640 134714508 3221221792 3221218824 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2373 1556 1111 63 0 2310 0
vsize: 9492
[startup+140.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 65749 0 0 0 13818 180 0 0 25 0 1 0 688261233 9465856 1537 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1537 1111 63 0 2248 0
vsize: 9244
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 70333 0 0 0 14806 193 0 0 25 0 1 0 688261233 9859072 1637 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2407 1637 1111 63 0 2344 0
vsize: 9628
[startup+160.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 76067 0 0 0 15787 211 0 0 25 0 1 0 688261233 9326592 1598 4294967295 134512640 134714508 3221221792 3221219504 1073987045 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 1598 1111 63 0 2214 0
vsize: 9108
[startup+170.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 83029 0 0 0 16768 231 0 0 25 0 1 0 688261233 10891264 1904 4294967295 134512640 134714508 3221221792 3221217940 1075964390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1904 1111 63 0 2596 0
vsize: 10636
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 87807 0 0 0 17756 243 0 0 25 0 1 0 688261233 10698752 1895 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1895 1111 63 0 2549 0
vsize: 10448
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 94194 0 0 0 18737 262 0 0 25 0 1 0 688261233 10809344 1894 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2639 1894 1111 63 0 2576 0
vsize: 10556
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 100369 0 0 0 19721 278 0 0 25 0 1 0 688261233 10985472 1963 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2682 1963 1111 63 0 2619 0
vsize: 10728
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 105215 0 0 0 20708 291 0 0 25 0 1 0 688261233 11571200 2009 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2825 2009 1111 63 0 2762 0
vsize: 11300
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 109872 0 0 0 21697 303 0 0 25 0 1 0 688261233 10534912 1900 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1900 1111 63 0 2509 0
vsize: 10288
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 115001 0 0 0 22683 316 0 0 25 0 1 0 688261233 10612736 1901 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2591 1901 1111 63 0 2528 0
vsize: 10364
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 119623 0 0 0 23673 327 0 0 25 0 1 0 688261233 10825728 1958 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2643 1958 1111 63 0 2580 0
vsize: 10572
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 124542 0 0 0 24661 339 0 0 25 0 1 0 688261233 10678272 1935 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2607 1935 1111 63 0 2544 0
vsize: 10428
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 130122 0 0 0 25647 354 0 0 25 0 1 0 688261233 12156928 2189 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2968 2189 1111 63 0 2905 0
vsize: 11872
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 136374 0 0 0 26631 369 0 0 25 0 1 0 688261233 11841536 2007 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 2007 1111 63 0 2828 0
vsize: 11564
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 142518 0 0 0 27617 383 0 0 25 0 1 0 688261233 12931072 2459 4294967295 134512640 134714508 3221221792 3221218020 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3157 2459 1111 63 0 3094 0
vsize: 12628
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 146470 0 0 0 28609 392 0 0 25 0 1 0 688261233 12353536 2234 4294967295 134512640 134714508 3221221792 3221217756 1074788201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2234 1111 63 0 2953 0
vsize: 12064
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 153583 0 0 0 29593 409 0 0 25 0 1 0 688261233 11288576 2052 4294967295 134512640 134714508 3221221792 3221218896 1074138723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2756 2053 1111 63 0 2693 0
vsize: 11024
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 159628 0 0 0 30578 424 0 0 25 0 1 0 688261233 12636160 2252 4294967295 134512640 134714508 3221221792 3221217892 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2252 1111 63 0 3022 0
vsize: 12340
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 167802 0 0 0 31556 446 0 0 25 0 1 0 688261233 11538432 2145 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2817 2145 1111 63 0 2754 0
vsize: 11268
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 175499 0 0 0 32538 464 0 0 25 0 1 0 688261233 11935744 2219 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2914 2219 1111 63 0 2851 0
vsize: 11656
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 181129 0 0 0 33526 476 0 0 25 0 1 0 688261233 13279232 2273 4294967295 134512640 134714508 3221221792 3221218448 1075966271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2273 1111 63 0 3179 0
vsize: 12968
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 188491 0 0 0 34509 494 0 0 25 0 1 0 688261233 12537856 2336 4294967295 134512640 134714508 3221221792 3221217628 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2336 1111 63 0 2998 0
vsize: 12244
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 196083 0 0 0 35490 512 0 0 25 0 1 0 688261233 13926400 2463 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2463 1111 63 0 3337 0
vsize: 13600
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 203964 0 0 0 36470 532 0 0 25 0 1 0 688261233 13008896 2496 4294967295 134512640 134714508 3221221792 3221218896 1074138813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3176 2496 1111 63 0 3113 0
vsize: 12704
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 211222 0 0 0 37452 550 0 0 25 0 1 0 688261233 14376960 2773 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2773 1111 63 0 3447 0
vsize: 14040
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 216981 0 0 0 38439 563 0 0 25 0 1 0 688261233 13262848 2565 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3238 2565 1111 63 0 3175 0
vsize: 12952
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 221924 0 0 0 39429 574 0 0 25 0 1 0 688261233 14655488 2850 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2850 1111 63 0 3515 0
vsize: 14312
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 227723 0 0 0 40415 588 0 0 25 0 1 0 688261233 14897152 2878 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2878 1111 63 0 3574 0
vsize: 14548
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 235155 0 0 0 41397 607 0 0 25 0 1 0 688261233 14200832 2763 4294967295 134512640 134714508 3221221792 3221220072 1074138256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3467 2763 1111 63 0 3404 0
vsize: 13868
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 242058 0 0 0 42380 623 0 0 25 0 1 0 688261233 14082048 2766 4294967295 134512640 134714508 3221221792 3221219600 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3438 2766 1111 63 0 3375 0
vsize: 13752
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 246409 0 0 0 43371 633 0 0 25 0 1 0 688261233 15982592 2930 4294967295 134512640 134714508 3221221792 3221217836 1074873498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3902 2930 1111 63 0 3839 0
vsize: 15608
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 250194 0 0 0 44362 642 0 0 25 0 1 0 688261233 16326656 3088 4294967295 134512640 134714508 3221221792 3221218448 1075967410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3986 3088 1111 63 0 3923 0
vsize: 15944
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 255521 0 0 0 45351 653 0 0 25 0 1 0 688261233 15929344 3080 4294967295 134512640 134714508 3221221792 3221217760 1074872775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3889 3080 1111 63 0 3826 0
vsize: 15556
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 263370 0 0 0 46330 675 0 0 25 0 1 0 688261233 16269312 3040 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3972 3040 1111 63 0 3909 0
vsize: 15888
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 270427 0 0 0 47311 693 0 0 25 0 1 0 688261233 16363520 3157 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3995 3157 1111 63 0 3932 0
vsize: 15980
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 276573 0 0 0 48295 709 0 0 25 0 1 0 688261233 16171008 2952 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3948 2952 1111 63 0 3885 0
vsize: 15792
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 281956 0 0 0 49282 722 0 0 25 0 1 0 688261233 15806464 3045 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3045 1111 63 0 3796 0
vsize: 15436
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 288841 0 0 0 50265 740 0 0 25 0 1 0 688261233 14553088 2881 4294967295 134512640 134714508 3221221792 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2881 1111 63 0 3490 0
vsize: 14212
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 294189 0 0 0 51252 753 0 0 25 0 1 0 688261233 14491648 2866 4294967295 134512640 134714508 3221221792 3221220016 1074208585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2866 1111 63 0 3475 0
vsize: 14152
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 300819 0 0 0 52236 770 0 0 25 0 1 0 688261233 14819328 2946 4294967295 134512640 134714508 3221221792 3221220372 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2946 1111 63 0 3555 0
vsize: 14472
[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 306113 0 0 0 53224 782 0 0 25 0 1 0 688261233 15110144 3017 4294967295 134512640 134714508 3221221792 3221219664 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3689 3017 1111 63 0 3626 0
vsize: 14756
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 310336 0 0 0 54214 792 0 0 25 0 1 0 688261233 15110144 3017 4294967295 134512640 134714508 3221221792 3221219928 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3689 3017 1111 63 0 3626 0
vsize: 14756
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 316838 0 0 0 55197 809 0 0 25 0 1 0 688261233 15044608 3001 4294967295 134512640 134714508 3221221792 3221219600 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3673 3001 1111 63 0 3610 0
vsize: 14692
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 321056 0 0 0 56187 819 0 0 25 0 1 0 688261233 15650816 3117 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3821 3117 1111 63 0 3758 0
vsize: 15284
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 326402 0 0 0 57173 833 0 0 25 0 1 0 688261233 15261696 3054 4294967295 134512640 134714508 3221221792 3221220192 1074118870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3726 3054 1111 63 0 3663 0
vsize: 14904
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 331575 0 0 0 58160 847 0 0 25 0 1 0 688261233 16519168 3206 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4033 3206 1111 63 0 3970 0
vsize: 16132
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 338936 0 0 0 59141 866 0 0 25 0 1 0 688261233 15257600 3053 4294967295 134512640 134714508 3221221792 3221219948 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3725 3053 1111 63 0 3662 0
vsize: 14900
[startup+610.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 343557 0 0 0 60130 877 0 0 25 0 1 0 688261233 17354752 3517 4294967295 134512640 134714508 3221221792 3221218944 1075969877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4237 3517 1111 63 0 4174 0
vsize: 16948
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 347959 0 0 0 61120 887 0 0 25 0 1 0 688261233 17264640 3415 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3415 1111 63 0 4152 0
vsize: 16860
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 355237 0 0 0 62101 906 0 0 25 0 1 0 688261233 15376384 3082 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3754 3082 1111 63 0 3691 0
vsize: 15016
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 363231 0 0 0 63082 925 0 0 25 0 1 0 688261233 15548416 3096 4294967295 134512640 134714508 3221221792 3221219856 1075961651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3796 3096 1111 63 0 3733 0
vsize: 15184
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 368144 0 0 0 64070 937 0 0 25 0 1 0 688261233 16019456 3207 4294967295 134512640 134714508 3221221792 3221219072 1074140044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3911 3207 1111 63 0 3848 0
vsize: 15644
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 374745 0 0 0 65055 953 0 0 25 0 1 0 688261233 15880192 3173 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3877 3173 1111 63 0 3814 0
vsize: 15508
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 380920 0 0 0 66041 966 0 0 25 0 1 0 688261233 16326656 3276 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3986 3279 1111 63 0 3923 0
vsize: 15944
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 386686 0 0 0 67027 980 0 0 25 0 1 0 688261233 16855040 3418 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4115 3418 1111 63 0 4052 0
vsize: 16460
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 392461 0 0 0 68012 996 0 0 25 0 1 0 688261233 16244736 3294 4294967295 134512640 134714508 3221221792 3221219072 1074140029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3966 3294 1111 63 0 3903 0
vsize: 15864
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 397089 0 0 0 69002 1007 0 0 25 0 1 0 688261233 17977344 3619 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3619 1111 63 0 4326 0
vsize: 17556
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 402138 0 0 0 69990 1019 0 0 25 0 1 0 688261233 18382848 3754 4294967295 134512640 134714508 3221221792 3221217952 1075095124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3754 1111 63 0 4425 0
vsize: 17952
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 407424 0 0 0 70977 1031 0 0 25 0 1 0 688261233 18124800 3579 4294967295 134512640 134714508 3221221792 3221217728 1075965289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4425 3579 1111 63 0 4362 0
vsize: 17700
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 415695 0 0 0 71956 1053 0 0 25 0 1 0 688261233 18567168 3534 4294967295 134512640 134714508 3221221792 3221217752 1074789711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4533 3534 1111 63 0 4470 0
vsize: 18132
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 423713 0 0 0 72936 1073 0 0 25 0 1 0 688261233 17178624 3529 4294967295 134512640 134714508 3221221792 3221219728 1074052193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4194 3529 1111 63 0 4131 0
vsize: 16776
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 431759 0 0 0 73915 1094 0 0 25 0 1 0 688261233 19111936 3643 4294967295 134512640 134714508 3221221792 3221218832 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3648 1111 63 0 4603 0
vsize: 18664
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 436001 0 0 0 74904 1105 0 0 25 0 1 0 688261233 19369984 3945 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4729 3945 1111 63 0 4666 0
vsize: 18916
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 439231 0 0 0 75896 1113 0 0 25 0 1 0 688261233 17833984 3689 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4354 3689 1111 63 0 4291 0
vsize: 17416
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 443237 0 0 0 76888 1121 0 0 25 0 1 0 688261233 19398656 3786 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4736 3791 1111 63 0 4673 0
vsize: 18944
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 450360 0 0 0 77871 1139 0 0 25 0 1 0 688261233 18722816 3738 4294967295 134512640 134714508 3221221792 3221218336 1075088566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4571 3738 1111 63 0 4508 0
vsize: 18284
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 456976 0 0 0 78852 1157 0 0 25 0 1 0 688261233 17854464 3663 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4359 3663 1111 63 0 4296 0
vsize: 17436
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 464273 0 0 0 79833 1177 0 0 25 0 1 0 688261233 19447808 3725 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4748 3725 1111 63 0 4685 0
vsize: 18992
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 470125 0 0 0 80818 1192 0 0 25 0 1 0 688261233 19521536 3968 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4766 3968 1111 63 0 4703 0
vsize: 19064
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 475839 0 0 0 81804 1206 0 0 25 0 1 0 688261233 20299776 4169 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4956 4169 1111 63 0 4893 0
vsize: 19824
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 482318 0 0 0 82786 1224 0 0 25 0 1 0 688261233 18116608 3758 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4423 3758 1111 63 0 4360 0
vsize: 17692
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 489519 0 0 0 83768 1242 0 0 25 0 1 0 688261233 18550784 3864 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4529 3864 1111 63 0 4466 0
vsize: 18116
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 495341 0 0 0 84753 1258 0 0 25 0 1 0 688261233 18919424 3954 4294967295 134512640 134714508 3221221792 3221219552 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3955 1111 63 0 4557 0
vsize: 18476
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 500892 0 0 0 85739 1272 0 0 25 0 1 0 688261233 18763776 3916 4294967295 134512640 134714508 3221221792 3221220144 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4581 3916 1111 63 0 4518 0
vsize: 18324
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 508747 0 0 0 86719 1292 0 0 25 0 1 0 688261233 20557824 4053 4294967295 134512640 134714508 3221221792 3221217936 1074882881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5019 4053 1111 63 0 4956 0
vsize: 20076
[startup+890.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 515165 0 0 0 87704 1307 0 0 25 0 1 0 688261233 21372928 4407 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5218 4407 1111 63 0 5155 0
vsize: 20872
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 523275 0 0 0 88683 1328 0 0 25 0 1 0 688261233 19312640 4041 4294967295 134512640 134714508 3221221792 3221220272 1074031958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4715 4041 1111 63 0 4652 0
vsize: 18860
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 531436 0 0 0 89663 1349 0 0 25 0 1 0 688261233 19951616 4183 4294967295 134512640 134714508 3221221792 3221219504 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 4183 1111 63 0 4808 0
vsize: 19484
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 535347 0 0 0 90653 1358 0 0 25 0 1 0 688261233 19415040 4075 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4740 4075 1111 63 0 4677 0
vsize: 18960
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 538836 0 0 0 91645 1366 0 0 25 0 1 0 688261233 21803008 4504 4294967295 134512640 134714508 3221221792 3221218020 1075115023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5323 4504 1111 63 0 5260 0
vsize: 21292
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 544833 0 0 0 92632 1380 0 0 25 0 1 0 688261233 19898368 4181 4294967295 134512640 134714508 3221221792 3221219792 1074916702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4858 4181 1111 63 0 4795 0
vsize: 19432
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 552615 0 0 0 93614 1398 0 0 25 0 1 0 688261233 19619840 4125 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4125 1111 63 0 4727 0
vsize: 19160
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 560079 0 0 0 94597 1415 0 0 25 0 1 0 688261233 19595264 4119 4294967295 134512640 134714508 3221221792 3221220048 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4784 4119 1111 63 0 4721 0
vsize: 19136
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 568314 0 0 0 95577 1436 0 0 25 0 1 0 688261233 22413312 4395 4294967295 134512640 134714508 3221221792 3221217952 1074794472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5472 4395 1111 63 0 5409 0
vsize: 21888
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 573815 0 0 0 96564 1449 0 0 25 0 1 0 688261233 22933504 4841 4294967295 134512640 134714508 3221221792 3221217756 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5599 4841 1111 63 0 5536 0
vsize: 22396
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 577750 0 0 0 97554 1458 0 0 25 0 1 0 688261233 22839296 4822 4294967295 134512640 134714508 3221221792 3221218448 1075968211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4822 1111 63 0 5513 0
vsize: 22304
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 583464 0 0 0 98542 1471 0 0 25 0 1 0 688261233 22564864 4631 4294967295 134512640 134714508 3221221792 3221218336 1075088560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4469 1111 63 0 5284 0
vsize: 22036
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 589706 0 0 0 99526 1487 0 0 25 0 1 0 688261233 20480000 4333 4294967295 134512640 134714508 3221221792 3221219792 1074918322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5000 4333 1111 63 0 4937 0
vsize: 20000
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 597491 0 0 0 100506 1506 0 0 25 0 1 0 688261233 20520960 4345 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5010 4345 1111 63 0 4947 0
vsize: 20040
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 603386 0 0 0 101489 1522 0 0 25 0 1 0 688261233 21344256 4515 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5211 4515 1111 63 0 5148 0
vsize: 20844
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 609252 0 0 0 102474 1537 0 0 25 0 1 0 688261233 20828160 4420 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5085 4420 1111 63 0 5022 0
vsize: 20340
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 614535 0 0 0 103461 1550 0 0 25 0 1 0 688261233 20606976 4366 4294967295 134512640 134714508 3221221792 3221219768 1074206262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4366 1111 63 0 4968 0
vsize: 20124
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 620505 0 0 0 104446 1565 0 0 25 0 1 0 688261233 20606976 4366 4294967295 134512640 134714508 3221221792 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4366 1111 63 0 4968 0
vsize: 20124
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 626095 0 0 0 105433 1579 0 0 25 0 1 0 688261233 20680704 4378 4294967295 134512640 134714508 3221221792 3221220128 1075552774 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5049 4378 1111 63 0 4986 0
vsize: 20196
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 631543 0 0 0 106419 1593 0 0 25 0 1 0 688261233 20865024 4429 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5094 4429 1111 63 0 5031 0
vsize: 20376
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 637420 0 0 0 107404 1608 0 0 25 0 1 0 688261233 23457792 4666 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4666 1111 63 0 5664 0
vsize: 22908
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 642459 0 0 0 108392 1620 0 0 25 0 1 0 688261233 21204992 4502 4294967295 134512640 134714508 3221221792 3221218984 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5177 4502 1111 63 0 5114 0
vsize: 20708
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 647819 0 0 0 109378 1634 0 0 25 0 1 0 688261233 20930560 4445 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5110 4445 1111 63 0 5047 0
vsize: 20440
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 654764 0 0 0 110361 1651 0 0 25 0 1 0 688261233 23429120 4636 4294967295 134512640 134714508 3221221792 3221217936 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5720 4636 1111 63 0 5657 0
vsize: 22880
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 661410 0 0 0 111345 1667 0 0 25 0 1 0 688261233 22921216 4767 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5596 4767 1111 63 0 5533 0
vsize: 22384
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 667247 0 0 0 112331 1682 0 0 25 0 1 0 688261233 21192704 4509 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5174 4509 1111 63 0 5111 0
vsize: 20696
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 671053 0 0 0 113322 1691 0 0 25 0 1 0 688261233 23453696 4911 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4911 1111 63 0 5663 0
vsize: 22904
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 675986 0 0 0 114310 1703 0 0 25 0 1 0 688261233 21266432 4527 4294967295 134512640 134714508 3221221792 3221219792 1074916558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5192 4527 1111 63 0 5129 0
vsize: 20768
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 683497 0 0 0 115292 1721 0 0 25 0 1 0 688261233 21364736 4526 4294967295 134512640 134714508 3221221792 3221219504 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4526 1111 63 0 5153 0
vsize: 20864
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 8941
Raw data (stat): 8941 (bsolo_lpr_cuts) R 8940 7876 7672 0 -1 0 683497 0 0 0 115292 1721 0 0 25 0 1 0 688261233 21364736 4526 4294967295 134512640 134714508 3221221792 3221219504 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4526 1111 63 0 5153 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.12
CPU user time (s): 1157.83
CPU system time (s): 17.2924
CPU usage (%): 100.01
Max. virtual memory (Kb): 22908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	95
#### END VERIFIER DATA ####