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-jnh204.opb
MD5SUM	a868f0757b1a6fa4984216c84ba8594b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	93
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.142977
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 40738

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 20:37:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28795 boxname=wulflinc5 idbench=181 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a868f0757b1a6fa4984216c84ba8594b  /oldhome/oroussel/tmp/wulflinc5/normalized-jnh204.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-jnh204.opb
IDLAUNCH: 28795
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        838696 kB
Buffers:         28408 kB
Cached:         145976 kB
SwapCached:        648 kB
Active:          37532 kB
Inactive:       138900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        838444 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            13844 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:56:42 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 28795 0 1175.13 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 882 constraints.
c preprocess terminated 0.375 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 1.085
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 4.152
c NEW SOLUTION FOUND: 99 @ 4.153
c NEW SOLUTION FOUND: 98 @ 4.157
c NEW SOLUTION FOUND: 97 @ 4.164
c NEW SOLUTION FOUND: 96 @ 4.167
c NEW SOLUTION FOUND: 95 @ 699.579
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.11 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.92 0.97 0.91 1/54 22196
Raw data (stat): 22196 (runsolver) R 22195 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904567867 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 3426 0 0 0 988 9 0 0 25 0 1 0 904567867 7819264 1134 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1909 1134 1111 63 0 1846 0
vsize: 7636
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 7812 0 0 0 1975 22 0 0 25 0 1 0 904567867 8462336 1245 4294967295 134512640 134716908 3221224576 3221221344 1076084148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 1245 1111 63 0 2003 0
vsize: 8264
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 11889 0 0 0 2963 34 0 0 25 0 1 0 904567867 8179712 1256 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 1256 1111 63 0 1934 0
vsize: 7988
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 17273 0 0 0 3948 49 0 0 25 0 1 0 904567867 8462336 1335 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 1335 1111 63 0 2003 0
vsize: 8264
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 21917 0 0 0 4934 64 0 0 25 0 1 0 904567867 9388032 1527 4294967295 134512640 134716908 3221224576 3221220608 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2292 1527 1111 63 0 2229 0
vsize: 9168
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 26285 0 0 0 5920 78 0 0 25 0 1 0 904567867 9011200 1467 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2200 1467 1111 63 0 2137 0
vsize: 8800
[startup+70.0069 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 30392 0 0 0 6910 88 0 0 25 0 1 0 904567867 9506816 1598 4294967295 134512640 134716908 3221224576 3221220452 1074786600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2321 1598 1111 63 0 2258 0
vsize: 9284
[startup+80.0072 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 34494 0 0 0 7899 99 0 0 25 0 1 0 904567867 9617408 1554 4294967295 134512640 134716908 3221224576 3221220932 1075522630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2348 1554 1111 63 0 2285 0
vsize: 9392
[startup+90.0077 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 39207 0 0 0 8888 110 0 0 25 0 1 0 904567867 9822208 1605 4294967295 134512640 134716908 3221224576 3221221232 1075969305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2398 1605 1111 63 0 2335 0
vsize: 9592
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 44330 0 0 0 9874 124 0 0 25 0 1 0 904567867 9969664 1633 4294967295 134512640 134716908 3221224576 3221220728 1074883068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1633 1111 63 0 2371 0
vsize: 9736
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 48723 0 0 0 10864 135 0 0 25 0 1 0 904567867 10141696 1651 4294967295 134512640 134716908 3221224576 3221220392 1074788458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1651 1111 63 0 2413 0
vsize: 9904
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 53497 0 0 0 11851 148 0 0 25 0 1 0 904567867 9715712 1649 4294967295 134512640 134716908 3221224576 3221223056 1074031962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 1649 1111 63 0 2309 0
vsize: 9488
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 58386 0 0 0 12835 164 0 0 25 0 1 0 904567867 10682368 1820 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1820 1111 63 0 2545 0
vsize: 10432
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 62589 0 0 0 13826 174 0 0 25 0 1 0 904567867 10657792 1874 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1874 1111 63 0 2539 0
vsize: 10408
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 66900 0 0 0 14815 185 0 0 25 0 1 0 904567867 10858496 1880 4294967295 134512640 134716908 3221224576 3221220720 1074971704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1880 1111 63 0 2588 0
vsize: 10604
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 71560 0 0 0 15804 196 0 0 25 0 1 0 904567867 10379264 1797 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1797 1111 63 0 2471 0
vsize: 10136
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 76674 0 0 0 16790 211 0 0 25 0 1 0 904567867 10330112 1847 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2522 1847 1111 63 0 2459 0
vsize: 10088
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 81795 0 0 0 17775 225 0 0 25 0 1 0 904567867 11038720 1947 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2695 1947 1111 63 0 2632 0
vsize: 10780
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 86803 0 0 0 18764 237 0 0 25 0 1 0 904567867 10809344 1963 4294967295 134512640 134716908 3221224576 3221221920 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2639 1963 1111 63 0 2576 0
vsize: 10556
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 90807 0 0 0 19755 245 0 0 25 0 1 0 904567867 11747328 2070 4294967295 134512640 134716908 3221224576 3221220724 1075964396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2868 2070 1111 63 0 2805 0
vsize: 11472
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 95081 0 0 0 20745 256 0 0 25 0 1 0 904567867 11796480 2083 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2083 1111 63 0 2817 0
vsize: 11520
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 99563 0 0 0 21736 266 0 0 25 0 1 0 904567867 11907072 2092 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2092 1111 63 0 2844 0
vsize: 11628
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 102896 0 0 0 22728 273 0 0 25 0 1 0 904567867 11886592 2088 4294967295 134512640 134716908 3221224576 3221220444 1074787576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2902 2088 1111 63 0 2839 0
vsize: 11608
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 106818 0 0 0 23719 282 0 0 25 0 1 0 904567867 11689984 2037 4294967295 134512640 134716908 3221224576 3221221648 1074867317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2854 2037 1111 63 0 2791 0
vsize: 11416
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 110899 0 0 0 24708 294 0 0 25 0 1 0 904567867 11902976 2150 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2906 2150 1111 63 0 2843 0
vsize: 11624
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 114490 0 0 0 25699 303 0 0 25 0 1 0 904567867 11948032 2161 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2917 2161 1111 63 0 2854 0
vsize: 11668
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 119752 0 0 0 26688 315 0 0 25 0 1 0 904567867 11120640 2040 4294967295 134512640 134716908 3221224576 3221222912 1074153680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2040 1111 63 0 2652 0
vsize: 10860
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 123412 0 0 0 27678 324 0 0 25 0 1 0 904567867 11120640 2040 4294967295 134512640 134716908 3221224576 3221222824 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2040 1111 63 0 2652 0
vsize: 10860
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 127086 0 0 0 28669 334 0 0 25 0 1 0 904567867 12177408 2107 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2107 1111 63 0 2910 0
vsize: 11892
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 130713 0 0 0 29660 342 0 0 25 0 1 0 904567867 11161600 2057 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2725 2057 1111 63 0 2662 0
vsize: 10900
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 134555 0 0 0 30651 353 0 0 25 0 1 0 904567867 12255232 2149 4294967295 134512640 134716908 3221224576 3221220540 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2149 1111 63 0 2929 0
vsize: 11968
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 138213 0 0 0 31642 361 0 0 25 0 1 0 904567867 12206080 2138 4294967295 134512640 134716908 3221224576 3221220736 1075091544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2138 1111 63 0 2917 0
vsize: 11920
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 142336 0 0 0 32631 372 0 0 25 0 1 0 904567867 11120640 2047 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2047 1111 63 0 2652 0
vsize: 10860
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 146330 0 0 0 33621 383 0 0 25 0 1 0 904567867 11976704 2191 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2191 1111 63 0 2861 0
vsize: 11696
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 150434 0 0 0 34611 393 0 0 25 0 1 0 904567867 11120640 2047 4294967295 134512640 134716908 3221224576 3221222792 1074208241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2715 2047 1111 63 0 2652 0
vsize: 10860
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 154970 0 0 0 35600 404 0 0 25 0 1 0 904567867 11128832 2049 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2717 2049 1111 63 0 2654 0
vsize: 10868
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 159286 0 0 0 36590 415 0 0 25 0 1 0 904567867 11210752 2069 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 2069 1111 63 0 2674 0
vsize: 10948
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 163817 0 0 0 37579 426 0 0 25 0 1 0 904567867 11354112 2104 4294967295 134512640 134716908 3221224576 3221222660 1077378603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2772 2104 1111 63 0 2709 0
vsize: 11088
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 168305 0 0 0 38568 437 0 0 25 0 1 0 904567867 12464128 2181 4294967295 134512640 134716908 3221224576 3221221232 1075967695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2181 1111 63 0 2980 0
vsize: 12172
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 172541 0 0 0 39556 449 0 0 25 0 1 0 904567867 12320768 2261 4294967295 134512640 134716908 3221224576 3221220736 1074794666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2261 1111 63 0 2945 0
vsize: 12032
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 176490 0 0 0 40546 459 0 0 25 0 1 0 904567867 12316672 2282 4294967295 134512640 134716908 3221224576 3221220720 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 2282 1111 63 0 2944 0
vsize: 12028
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 181138 0 0 0 41535 469 0 0 25 0 1 0 904567867 12480512 2202 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3047 2202 1111 63 0 2984 0
vsize: 12188
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 186745 0 0 0 42521 483 0 0 25 0 1 0 904567867 12709888 2332 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2332 1111 63 0 3040 0
vsize: 12412
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 191591 0 0 0 43510 494 0 0 25 0 1 0 904567867 11771904 2206 4294967295 134512640 134716908 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2874 2206 1111 63 0 2811 0
vsize: 11496
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 196046 0 0 0 44498 507 0 0 25 0 1 0 904567867 12529664 2299 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2299 1111 63 0 2996 0
vsize: 12236
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 200264 0 0 0 45486 518 0 0 25 0 1 0 904567867 12980224 2327 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2327 1111 63 0 3106 0
vsize: 12676
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 205308 0 0 0 46475 530 0 0 25 0 1 0 904567867 13021184 2343 4294967295 134512640 134716908 3221224576 3221220660 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3179 2343 1111 63 0 3116 0
vsize: 12716
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 210471 0 0 0 47462 543 0 0 25 0 1 0 904567867 12058624 2279 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2279 1111 63 0 2881 0
vsize: 11776
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 214951 0 0 0 48451 554 0 0 25 0 1 0 904567867 12177408 2308 4294967295 134512640 134716908 3221224576 3221223232 134652269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 2308 1111 63 0 2910 0
vsize: 11892
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 218740 0 0 0 49443 562 0 0 25 0 1 0 904567867 13320192 2508 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3252 2508 1111 63 0 3189 0
vsize: 13008
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 222870 0 0 0 50434 572 0 0 25 0 1 0 904567867 13291520 2405 4294967295 134512640 134716908 3221224576 3221220476 1074787823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3245 2405 1111 63 0 3182 0
vsize: 12980
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 225847 0 0 0 51426 580 0 0 25 0 1 0 904567867 13402112 2520 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2520 1111 63 0 3209 0
vsize: 13088
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 230008 0 0 0 52418 589 0 0 25 0 1 0 904567867 13266944 2369 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2369 1111 63 0 3176 0
vsize: 12956
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 235150 0 0 0 53405 601 0 0 25 0 1 0 904567867 12275712 2332 4294967295 134512640 134716908 3221224576 3221222688 1074867311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2997 2332 1111 63 0 2934 0
vsize: 11988
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 239934 0 0 0 54394 613 0 0 25 0 1 0 904567867 13492224 2426 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2426 1111 63 0 3231 0
vsize: 13176
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 244491 0 0 0 55382 625 0 0 25 0 1 0 904567867 13328384 2519 4294967295 134512640 134716908 3221224576 3221220908 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2519 1111 63 0 3191 0
vsize: 13016
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 249548 0 0 0 56370 637 0 0 25 0 1 0 904567867 13770752 2511 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3362 2511 1111 63 0 3299 0
vsize: 13448
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 255168 0 0 0 57355 652 0 0 25 0 1 0 904567867 13869056 2509 4294967295 134512640 134716908 3221224576 3221220544 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2509 1111 63 0 3323 0
vsize: 13544
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 259754 0 0 0 58344 663 0 0 25 0 1 0 904567867 14090240 2673 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2673 1111 63 0 3377 0
vsize: 13760
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 264335 0 0 0 59333 674 0 0 25 0 1 0 904567867 14155776 2620 4294967295 134512640 134716908 3221224576 3221220908 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2620 1111 63 0 3393 0
vsize: 13824
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 270163 0 0 0 60317 690 0 0 25 0 1 0 904567867 14143488 2595 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2595 1111 63 0 3390 0
vsize: 13812
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 275642 0 0 0 61304 704 0 0 25 0 1 0 904567867 14368768 2749 4294967295 134512640 134716908 3221224576 3221220512 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3508 2749 1111 63 0 3445 0
vsize: 14032
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 281130 0 0 0 62292 716 0 0 25 0 1 0 904567867 14426112 2676 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2676 1111 63 0 3459 0
vsize: 14088
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 286536 0 0 0 63277 731 0 0 25 0 1 0 904567867 13586432 2620 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3317 2620 1111 63 0 3254 0
vsize: 13268
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 291410 0 0 0 64266 742 0 0 25 0 1 0 904567867 14733312 2739 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3597 2739 1111 63 0 3534 0
vsize: 14388
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 296396 0 0 0 65255 754 0 0 25 0 1 0 904567867 14757888 2844 4294967295 134512640 134716908 3221224576 3221220784 1074815312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2844 1111 63 0 3540 0
vsize: 14412
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 300823 0 0 0 66246 763 0 0 25 0 1 0 904567867 14680064 2713 4294967295 134512640 134716908 3221224576 3221220908 1073967720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2713 1111 63 0 3521 0
vsize: 14336
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 305776 0 0 0 67235 775 0 0 25 0 1 0 904567867 14536704 2779 4294967295 134512640 134716908 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2780 1111 63 0 3486 0
vsize: 14196
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 310384 0 0 0 68224 787 0 0 25 0 1 0 904567867 14778368 2737 4294967295 134512640 134716908 3221224576 3221220660 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3608 2737 1111 63 0 3545 0
vsize: 14432
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 317072 0 0 0 69207 804 0 0 25 0 1 0 904567867 14499840 2744 4294967295 134512640 134716908 3221224576 3221220740 1075964208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3540 2744 1111 63 0 3477 0
vsize: 14160
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 322297 0 0 0 70195 816 0 0 25 0 1 0 904567867 13705216 2683 4294967295 134512640 134716908 3221224576 3221222744 1077377266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3346 2683 1111 63 0 3283 0
vsize: 13384
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 327928 0 0 0 71182 829 0 0 25 0 1 0 904567867 13926400 2737 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 2737 1111 63 0 3337 0
vsize: 13600
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 334098 0 0 0 72166 845 0 0 25 0 1 0 904567867 14176256 2798 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3461 2798 1111 63 0 3398 0
vsize: 13844
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 339534 0 0 0 73154 858 0 0 25 0 1 0 904567867 15482880 3057 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 3057 1111 63 0 3717 0
vsize: 15120
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 343861 0 0 0 74144 868 0 0 25 0 1 0 904567867 15613952 2922 4294967295 134512640 134716908 3221224576 3221221232 1075967948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 2922 1111 63 0 3749 0
vsize: 15248
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 348447 0 0 0 75133 879 0 0 25 0 1 0 904567867 15671296 3053 4294967295 134512640 134716908 3221224576 3221220808 1074879905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3826 3053 1111 63 0 3763 0
vsize: 15304
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 354174 0 0 0 76119 893 0 0 25 0 1 0 904567867 16175104 3099 4294967295 134512640 134716908 3221224576 3221220848 1074961358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3949 3099 1111 63 0 3886 0
vsize: 15796
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 359874 0 0 0 77105 907 0 0 25 0 1 0 904567867 16281600 3115 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3975 3115 1111 63 0 3912 0
vsize: 15900
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 365436 0 0 0 78090 922 0 0 25 0 1 0 904567867 15196160 3027 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3710 3027 1111 63 0 3647 0
vsize: 14840
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 369534 0 0 0 79080 933 0 0 25 0 1 0 904567867 16404480 3143 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3143 1111 63 0 3942 0
vsize: 16020
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 374426 0 0 0 80068 945 0 0 25 0 1 0 904567867 16293888 3216 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3978 3216 1111 63 0 3915 0
vsize: 15912
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 377824 0 0 0 81060 953 0 0 25 0 1 0 904567867 15929344 3200 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3889 3200 1111 63 0 3826 0
vsize: 15556
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 381841 0 0 0 82050 964 0 0 25 0 1 0 904567867 16740352 3343 4294967295 134512640 134716908 3221224576 3221220848 1074961251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 3343 1111 63 0 4024 0
vsize: 16348
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 385864 0 0 0 83039 974 0 0 25 0 1 0 904567867 16732160 3185 4294967295 134512640 134716908 3221224576 3221220548 1074786550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3185 1111 63 0 4022 0
vsize: 16340
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 391301 0 0 0 84026 988 0 0 25 0 1 0 904567867 17641472 3508 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 3508 1111 63 0 4244 0
vsize: 17228
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 394393 0 0 0 85019 995 0 0 25 0 1 0 904567867 17047552 3379 4294967295 134512640 134716908 3221224576 3221220540 1074788971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3379 1111 63 0 4099 0
vsize: 16648
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 400040 0 0 0 86006 1008 0 0 25 0 1 0 904567867 17330176 3440 4294967295 134512640 134716908 3221224576 3221220540 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 3440 1111 63 0 4168 0
vsize: 16924
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 405147 0 0 0 86994 1020 0 0 25 0 1 0 904567867 17383424 3334 4294967295 134512640 134716908 3221224576 3221221024 1075132691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3336 1111 63 0 4181 0
vsize: 16976
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 408870 0 0 0 87986 1029 0 0 25 0 1 0 904567867 15962112 3234 4294967295 134512640 134716908 3221224576 3221221856 1074140048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3897 3234 1111 63 0 3834 0
vsize: 15588
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 414398 0 0 0 88972 1042 0 0 25 0 1 0 904567867 16039936 3253 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3916 3253 1111 63 0 3853 0
vsize: 15664
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 418081 0 0 0 89966 1049 0 0 25 0 1 0 904567867 17518592 3514 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3514 1111 63 0 4214 0
vsize: 17108
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 422953 0 0 0 90954 1061 0 0 25 0 1 0 904567867 17604608 3517 4294967295 134512640 134716908 3221224576 3221221728 1075969902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 3517 1111 63 0 4235 0
vsize: 17192
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 427987 0 0 0 91942 1073 0 0 25 0 1 0 904567867 17440768 3492 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4258 3492 1111 63 0 4195 0
vsize: 17032
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 432389 0 0 0 92932 1084 0 0 25 0 1 0 904567867 17911808 3588 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3588 1111 63 0 4310 0
vsize: 17492
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 436390 0 0 0 93922 1094 0 0 25 0 1 0 904567867 17862656 3474 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 3474 1111 63 0 4298 0
vsize: 17444
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 440194 0 0 0 94913 1103 0 0 25 0 1 0 904567867 16408576 3343 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3343 1111 63 0 3943 0
vsize: 16024
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 443837 0 0 0 95904 1111 0 0 25 0 1 0 904567867 18333696 3600 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4476 3601 1111 63 0 4413 0
vsize: 17904
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 447108 0 0 0 96898 1118 0 0 25 0 1 0 904567867 17891328 3612 4294967295 134512640 134716908 3221224576 3221220848 1074961378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3612 1111 63 0 4305 0
vsize: 17472
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 450825 0 0 0 97889 1127 0 0 25 0 1 0 904567867 17936384 3600 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4379 3600 1111 63 0 4316 0
vsize: 17516
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 455040 0 0 0 98879 1137 0 0 25 0 1 0 904567867 17260544 3417 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4214 3417 1111 63 0 4151 0
vsize: 16856
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 460105 0 0 0 99865 1151 0 0 25 0 1 0 904567867 17891328 3394 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3394 1111 63 0 4305 0
vsize: 17472
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 465470 0 0 0 100853 1164 0 0 25 0 1 0 904567867 16801792 3440 4294967295 134512640 134716908 3221224576 3221222736 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4102 3440 1111 63 0 4039 0
vsize: 16408
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 469578 0 0 0 101844 1173 0 0 25 0 1 0 904567867 17289216 3538 4294967295 134512640 134716908 3221224576 3221222544 1075961074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4221 3538 1111 63 0 4158 0
vsize: 16884
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 474386 0 0 0 102832 1185 0 0 25 0 1 0 904567867 18313216 3538 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3538 1111 63 0 4408 0
vsize: 17884
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 480544 0 0 0 103816 1202 0 0 25 0 1 0 904567867 18038784 3619 4294967295 134512640 134716908 3221224576 3221220536 1075964737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3619 1111 63 0 4341 0
vsize: 17616
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 485305 0 0 0 104804 1214 0 0 25 0 1 0 904567867 17047552 3500 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3500 1111 63 0 4099 0
vsize: 16648
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 490880 0 0 0 105789 1228 0 0 25 0 1 0 904567867 17047552 3500 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4162 3500 1111 63 0 4099 0
vsize: 16648
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 496504 0 0 0 106775 1243 0 0 25 0 1 0 904567867 19480576 3969 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4756 3969 1111 63 0 4693 0
vsize: 19024
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 501097 0 0 0 107763 1255 0 0 25 0 1 0 904567867 17293312 3560 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 3560 1111 63 0 4159 0
vsize: 16888
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 505945 0 0 0 108752 1266 0 0 25 0 1 0 904567867 18731008 3791 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 3791 1111 63 0 4510 0
vsize: 18292
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 511468 0 0 0 109739 1280 0 0 25 0 1 0 904567867 18931712 3673 4294967295 134512640 134716908 3221224576 3221220724 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3673 1111 63 0 4559 0
vsize: 18488
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 517102 0 0 0 110725 1294 0 0 25 0 1 0 904567867 19517440 3818 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4765 3818 1111 63 0 4702 0
vsize: 19060
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 521930 0 0 0 111713 1306 0 0 25 0 1 0 904567867 19111936 3850 4294967295 134512640 134716908 3221224576 3221220540 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4666 3850 1111 63 0 4603 0
vsize: 18664
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 527632 0 0 0 112698 1321 0 0 25 0 1 0 904567867 17838080 3661 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4355 3661 1111 63 0 4292 0
vsize: 17420
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 531758 0 0 0 113687 1333 0 0 25 0 1 0 904567867 19197952 3921 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 3921 1111 63 0 4624 0
vsize: 18748
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 536720 0 0 0 114675 1344 0 0 25 0 1 0 904567867 17821696 3688 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3688 1111 63 0 4288 0
vsize: 17404
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 541759 0 0 0 115663 1357 0 0 25 0 1 0 904567867 18989056 3837 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3837 1111 63 0 4573 0
vsize: 18544
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22196
Raw data (stat): 22196 (bsolo_lpr_cuts-) R 22195 7266 7265 0 -1 0 541759 0 0 0 115663 1357 0 0 25 0 1 0 904567867 18989056 3837 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3837 1111 63 0 4573 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.13
CPU user time (s): 1161.5
CPU system time (s): 13.6259
CPU usage (%): 100.013
Max. virtual memory (Kb): 19060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	95
#### END VERIFIER DATA ####