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-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
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	14
Trace number 40737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 20:36:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28794 boxname=wulflinc6 idbench=180 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc6/normalized-jnh201.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-jnh201.opb
IDLAUNCH: 28794
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        921280 kB
Buffers:         27736 kB
Cached:          64472 kB
SwapCached:       1292 kB
Active:          28460 kB
Inactive:        66180 kB
HighTotal:      131008 kB
HighFree:        82348 kB
LowTotal:       903652 kB
LowFree:        838932 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13016 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:55:52 (client local time) WITH STATUS 10 IN 1176.21 SECONDS
stats: 28794 0 1176.21 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 196 variables and 855 constraints.
c preprocess terminated 0.534 s
c Initial Lower Bound: 68
c Lower Bound Elapsed time: 0.963
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 1.508
c NEW SOLUTION FOUND: 99 @ 1.509
c NEW SOLUTION FOUND: 98 @ 1.513
c NEW SOLUTION FOUND: 97 @ 1.516
c NEW SOLUTION FOUND: 96 @ 1.52
c NEW SOLUTION FOUND: 95 @ 1.524
c NEW SOLUTION FOUND: 94 @ 1.528
c NEW SOLUTION FOUND: 93 @ 1.535
c NEW SOLUTION FOUND: 89 @ 1.584
c NEW SOLUTION FOUND: 88 @ 1.595
s SATISFIABLE
v -x1 x2 -x3 -x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 x40 x41 -x42 x43 -x44 -x45 x46 x47 -x48 -x49 x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 x87 -x88 x89 -x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 x106 -x107 -x108 -x109 x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 -x141 x142 -x143 x144 x145 -x146 x147 -x148 -x149 x150 -x151 x152 x153 -x154 -x155 -x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 x165 -x166 -x167 x168 -x169 x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 x187 -x188 -x189 x190 -x191 x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 
c Exit Code: 10
c Total time: 1176.19 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.87 0.95 0.92 2/54 1971
Raw data (stat): 1971 (runsolver) R 1970 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904561838 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.89 0.95 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 4578 0 0 0 982 15 0 0 25 0 1 0 904561838 7553024 1158 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1158 1111 63 0 1781 0
vsize: 7376
[startup+20.002 s]
Raw data (loadavg): 0.91 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 9206 0 0 0 1966 31 0 0 25 0 1 0 904561838 7757824 1209 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1209 1111 63 0 1831 0
vsize: 7576
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 14022 0 0 0 2950 48 0 0 25 0 1 0 904561838 8482816 1308 4294967295 134512640 134716908 3221224576 3221221176 1075850659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2071 1308 1111 63 0 2008 0
vsize: 8284
[startup+40.0027 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 19659 0 0 0 3932 66 0 0 25 0 1 0 904561838 9060352 1467 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 1467 1111 63 0 2149 0
vsize: 8848
[startup+50.0034 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 24390 0 0 0 4918 81 0 0 25 0 1 0 904561838 8974336 1453 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2191 1453 1111 63 0 2128 0
vsize: 8764
[startup+60.0036 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 29869 0 0 0 5902 97 0 0 25 0 1 0 904561838 9854976 1587 4294967295 134512640 134716908 3221224576 3221220608 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2406 1587 1111 63 0 2343 0
vsize: 9624
[startup+70.0041 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 34982 0 0 0 6887 112 0 0 25 0 1 0 904561838 9347072 1601 4294967295 134512640 134716908 3221224576 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2282 1601 1111 63 0 2219 0
vsize: 9128
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 39624 0 0 0 7875 125 0 0 25 0 1 0 904561838 9773056 1665 4294967295 134512640 134716908 3221224576 3221222832 1073990411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1665 1111 63 0 2323 0
vsize: 9544
[startup+90.005 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 44767 0 0 0 8859 141 0 0 25 0 1 0 904561838 9617408 1674 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2348 1674 1111 63 0 2285 0
vsize: 9392
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 50306 0 0 0 9846 155 0 0 25 0 1 0 904561838 10690560 1806 4294967295 134512640 134716908 3221224576 3221220960 1075133407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2610 1806 1111 63 0 2547 0
vsize: 10440
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 55575 0 0 0 10831 170 0 0 25 0 1 0 904561838 10600448 1778 4294967295 134512640 134716908 3221224576 3221221176 1075850724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1778 1111 63 0 2525 0
vsize: 10352
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 61278 0 0 0 11815 186 0 0 25 0 1 0 904561838 10436608 1816 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2548 1816 1111 63 0 2485 0
vsize: 10192
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 65428 0 0 0 12804 198 0 0 25 0 1 0 904561838 10641408 1864 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2598 1864 1111 63 0 2535 0
vsize: 10392
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 69787 0 0 0 13792 210 0 0 25 0 1 0 904561838 11112448 1923 4294967295 134512640 134716908 3221224576 3221220420 1074786501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2713 1923 1111 63 0 2650 0
vsize: 10852
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 74396 0 0 0 14778 225 0 0 25 0 1 0 904561838 10817536 1897 4294967295 134512640 134716908 3221224576 3221220728 1074883062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2641 1897 1111 63 0 2578 0
vsize: 10564
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 80203 0 0 0 15761 242 0 0 25 0 1 0 904561838 11423744 1999 4294967295 134512640 134716908 3221224576 3221221200 1075895371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2789 1999 1111 63 0 2726 0
vsize: 11156
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 85641 0 0 0 16745 258 0 0 25 0 1 0 904561838 11161600 1992 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1992 1111 63 0 2662 0
vsize: 10900
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 90544 0 0 0 17731 272 0 0 25 0 1 0 904561838 11558912 2080 4294967295 134512640 134716908 3221224576 3221220484 1074786600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2822 2080 1111 63 0 2759 0
vsize: 11288
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 96012 0 0 0 18715 289 0 0 25 0 1 0 904561838 11747328 2120 4294967295 134512640 134716908 3221224576 3221220848 1074799300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2868 2120 1111 63 0 2805 0
vsize: 11472
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 102466 0 0 0 19696 308 0 0 25 0 1 0 904561838 12587008 2274 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3073 2274 1111 63 0 3010 0
vsize: 12292
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 108139 0 0 0 20680 325 0 0 25 0 1 0 904561838 12812288 2337 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2337 1111 63 0 3065 0
vsize: 12512
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 114102 0 0 0 21664 341 0 0 25 0 1 0 904561838 12713984 2395 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2395 1111 63 0 3041 0
vsize: 12416
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 119233 0 0 0 22649 356 0 0 25 0 1 0 904561838 12455936 2367 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3041 2367 1111 63 0 2978 0
vsize: 12164
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 125506 0 0 0 23633 372 0 0 25 0 1 0 904561838 12914688 2424 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3153 2424 1111 63 0 3090 0
vsize: 12612
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 131129 0 0 0 24617 389 0 0 25 0 1 0 904561838 13193216 2481 4294967295 134512640 134716908 3221224576 3221220816 1075115760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3221 2481 1111 63 0 3158 0
vsize: 12884
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 136896 0 0 0 25600 406 0 0 25 0 1 0 904561838 13299712 2528 4294967295 134512640 134716908 3221224576 3221222720 1074790215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2528 1111 63 0 3184 0
vsize: 12988
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 141827 0 0 0 26587 419 0 0 25 0 1 0 904561838 13197312 2549 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3222 2549 1111 63 0 3159 0
vsize: 12888
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 147935 0 0 0 27570 437 0 0 25 0 1 0 904561838 14290944 2669 4294967295 134512640 134716908 3221224576 3221220724 1075964396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3489 2669 1111 63 0 3426 0
vsize: 13956
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 153755 0 0 0 28555 453 0 0 25 0 1 0 904561838 14389248 2804 4294967295 134512640 134716908 3221224576 3221220848 1074960843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2804 1111 63 0 3450 0
vsize: 14052
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 159138 0 0 0 29539 469 0 0 25 0 1 0 904561838 14569472 2760 4294967295 134512640 134716908 3221224576 3221221528 1075006389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2760 1111 63 0 3494 0
vsize: 14228
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 165315 0 0 0 30522 486 0 0 25 0 1 0 904561838 14761984 2820 4294967295 134512640 134716908 3221224576 3221221556 1075964060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2820 1111 63 0 3541 0
vsize: 14416
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 171576 0 0 0 31506 503 0 0 25 0 1 0 904561838 15011840 2894 4294967295 134512640 134716908 3221224576 3221220848 1074961212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2894 1111 63 0 3602 0
vsize: 14660
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 177807 0 0 0 32488 520 0 0 25 0 1 0 904561838 14745600 2874 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2874 1111 63 0 3537 0
vsize: 14400
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 184439 0 0 0 33472 537 0 0 25 0 1 0 904561838 15347712 2973 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 2973 1111 63 0 3684 0
vsize: 14988
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 190225 0 0 0 34458 552 0 0 25 0 1 0 904561838 15237120 3004 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3720 3004 1111 63 0 3657 0
vsize: 14880
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 195626 0 0 0 35443 567 0 0 25 0 1 0 904561838 15667200 3114 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3825 3114 1111 63 0 3762 0
vsize: 15300
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 200665 0 0 0 36430 580 0 0 25 0 1 0 904561838 15941632 3118 4294967295 134512640 134716908 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 3118 1111 63 0 3829 0
vsize: 15568
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 206577 0 0 0 37413 598 0 0 25 0 1 0 904561838 15998976 3109 4294967295 134512640 134716908 3221224576 3221220416 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3109 1111 63 0 3843 0
vsize: 15624
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 213527 0 0 0 38395 616 0 0 25 0 1 0 904561838 15593472 3126 4294967295 134512640 134716908 3221224576 3221221640 1077377725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3807 3126 1111 63 0 3744 0
vsize: 15228
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 218548 0 0 0 39384 628 0 0 25 0 1 0 904561838 16592896 3299 4294967295 134512640 134716908 3221224576 3221220688 1075895648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 3299 1111 63 0 3988 0
vsize: 16204
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 223537 0 0 0 40371 641 0 0 25 0 1 0 904561838 15695872 3163 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3832 3163 1111 63 0 3769 0
vsize: 15328
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 228889 0 0 0 41359 654 0 0 25 0 1 0 904561838 16678912 3344 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 3344 1111 63 0 4009 0
vsize: 16288
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 235583 0 0 0 42339 674 0 0 25 0 1 0 904561838 15908864 3201 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3884 3201 1111 63 0 3821 0
vsize: 15536
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 241252 0 0 0 43325 688 0 0 25 0 1 0 904561838 16130048 3264 4294967295 134512640 134716908 3221224576 3221223056 1074031945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3938 3264 1111 63 0 3875 0
vsize: 15752
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 245892 0 0 0 44313 700 0 0 25 0 1 0 904561838 17162240 3395 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 3395 1111 63 0 4127 0
vsize: 16760
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 251465 0 0 0 45297 716 0 0 25 0 1 0 904561838 16470016 3322 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 3322 1111 63 0 3958 0
vsize: 16084
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 256317 0 0 0 46285 729 0 0 25 0 1 0 904561838 16728064 3391 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4084 3391 1111 63 0 4021 0
vsize: 16336
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 261682 0 0 0 47272 743 0 0 25 0 1 0 904561838 17453056 3511 4294967295 134512640 134716908 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4261 3511 1111 63 0 4198 0
vsize: 17044
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 267931 0 0 0 48254 761 0 0 25 0 1 0 904561838 16859136 3438 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 3438 1111 63 0 4053 0
vsize: 16464
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 273223 0 0 0 49242 773 0 0 25 0 1 0 904561838 18022400 3580 4294967295 134512640 134716908 3221224576 3221220784 1074815482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4400 3580 1111 63 0 4337 0
vsize: 17600
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 278676 0 0 0 50225 791 0 0 25 0 1 0 904561838 18096128 3614 4294967295 134512640 134716908 3221224576 3221220784 1074815281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4418 3614 1111 63 0 4355 0
vsize: 17672
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 283457 0 0 0 51211 805 0 0 25 0 1 0 904561838 17133568 3516 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4183 3516 1111 63 0 4120 0
vsize: 16732
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 289681 0 0 0 52194 823 0 0 25 0 1 0 904561838 17596416 3597 4294967295 134512640 134716908 3221224576 3221222572 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4296 3597 1111 63 0 4233 0
vsize: 17184
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 294482 0 0 0 53183 834 0 0 25 0 1 0 904561838 17752064 3652 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4334 3652 1111 63 0 4271 0
vsize: 17336
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 299991 0 0 0 54169 848 0 0 25 0 1 0 904561838 17596416 3629 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4296 3629 1111 63 0 4233 0
vsize: 17184
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 305709 0 0 0 55155 863 0 0 25 0 1 0 904561838 18735104 3744 4294967295 134512640 134716908 3221224576 3221220536 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3744 1111 63 0 4511 0
vsize: 18296
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 311433 0 0 0 56138 881 0 0 25 0 1 0 904561838 19329024 3919 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4719 3919 1111 63 0 4656 0
vsize: 18876
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 316562 0 0 0 57124 894 0 0 25 0 1 0 904561838 19095552 3921 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4662 3922 1111 63 0 4599 0
vsize: 18648
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 321914 0 0 0 58111 908 0 0 25 0 1 0 904561838 19554304 3944 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 3947 1111 63 0 4711 0
vsize: 19096
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 326972 0 0 0 59097 923 0 0 25 0 1 0 904561838 19398656 3878 4294967295 134512640 134716908 3221224576 3221221616 1075971383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4736 3880 1111 63 0 4673 0
vsize: 18944
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 332983 0 0 0 60080 940 0 0 25 0 1 0 904561838 19513344 3916 4294967295 134512640 134716908 3221224576 3221220604 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 3916 1111 63 0 4701 0
vsize: 19056
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 338716 0 0 0 61063 957 0 0 25 0 1 0 904561838 19570688 4026 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4026 1111 63 0 4715 0
vsize: 19112
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 343116 0 0 0 62050 971 0 0 25 0 1 0 904561838 19083264 3975 4294967295 134512640 134716908 3221224576 3221222680 1075964723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4659 3975 1111 63 0 4596 0
vsize: 18636
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 349221 0 0 0 63032 989 0 0 25 0 1 0 904561838 20127744 4049 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4049 1111 63 0 4851 0
vsize: 19656
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 354767 0 0 0 64018 1003 0 0 25 0 1 0 904561838 19894272 4068 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4857 4073 1111 63 0 4794 0
vsize: 19428
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 360703 0 0 0 65002 1020 0 0 25 0 1 0 904561838 19599360 4099 4294967295 134512640 134716908 3221224576 3221222572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4785 4099 1111 63 0 4722 0
vsize: 19140
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 366792 0 0 0 65986 1036 0 0 25 0 1 0 904561838 20299776 4199 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4956 4199 1111 63 0 4893 0
vsize: 19824
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 372779 0 0 0 66972 1051 0 0 25 0 1 0 904561838 21131264 4286 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5159 4292 1111 63 0 5096 0
vsize: 20636
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 378334 0 0 0 67957 1066 0 0 25 0 1 0 904561838 21520384 4439 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5254 4439 1111 63 0 5191 0
vsize: 21016
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 384015 0 0 0 68940 1083 0 0 25 0 1 0 904561838 21598208 4534 4294967295 134512640 134716908 3221224576 3221220736 1075091418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4534 1111 63 0 5210 0
vsize: 21092
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 390763 0 0 0 69921 1103 0 0 25 0 1 0 904561838 20832256 4386 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 4386 1111 63 0 5023 0
vsize: 20344
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 396767 0 0 0 70902 1122 0 0 25 0 1 0 904561838 21757952 4463 4294967295 134512640 134716908 3221224576 3221220604 1074788201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5312 4463 1111 63 0 5249 0
vsize: 21248
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 403273 0 0 0 71885 1139 0 0 25 0 1 0 904561838 21491712 4496 4294967295 134512640 134716908 3221224576 3221221076 1076043939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4496 1111 63 0 5184 0
vsize: 20988
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 408452 0 0 0 72870 1155 0 0 25 0 1 0 904561838 22220800 4601 4294967295 134512640 134716908 3221224576 3221221568 1075338887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5425 4601 1111 63 0 5362 0
vsize: 21700
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 413811 0 0 0 73856 1169 0 0 25 0 1 0 904561838 22368256 4742 4294967295 134512640 134716908 3221224576 3221220648 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5461 4742 1111 63 0 5398 0
vsize: 21844
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 419864 0 0 0 74841 1185 0 0 25 0 1 0 904561838 21811200 4617 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 4623 1111 63 0 5262 0
vsize: 21300
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 426544 0 0 0 75825 1200 0 0 25 0 1 0 904561838 21839872 4633 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5332 4633 1111 63 0 5269 0
vsize: 21328
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 432254 0 0 0 76808 1218 0 0 25 0 1 0 904561838 22118400 4701 4294967295 134512640 134716908 3221224576 3221223048 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4701 1111 63 0 5337 0
vsize: 21600
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 437699 0 0 0 77794 1233 0 0 25 0 1 0 904561838 22908928 4871 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5593 4871 1111 63 0 5530 0
vsize: 22372
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 442797 0 0 0 78780 1247 0 0 25 0 1 0 904561838 23379968 4950 4294967295 134512640 134716908 3221224576 3221220540 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5708 4950 1111 63 0 5645 0
vsize: 22832
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 448679 0 0 0 79764 1263 0 0 25 0 1 0 904561838 23068672 4893 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 4893 1111 63 0 5569 0
vsize: 22528
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 455314 0 0 0 80747 1281 0 0 25 0 1 0 904561838 23248896 4920 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4920 1111 63 0 5613 0
vsize: 22704
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 462311 0 0 0 81729 1299 0 0 25 0 1 0 904561838 23482368 4885 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4885 1111 63 0 5670 0
vsize: 22932
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 467707 0 0 0 82713 1315 0 0 25 0 1 0 904561838 22704128 4876 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4876 1111 63 0 5480 0
vsize: 22172
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 473519 0 0 0 83698 1330 0 0 25 0 1 0 904561838 22835200 4876 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5575 4876 1111 63 0 5512 0
vsize: 22300
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 480555 0 0 0 84679 1350 0 0 25 0 1 0 904561838 24178688 5051 4294967295 134512640 134716908 3221224576 3221221696 1074834311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5903 5051 1111 63 0 5840 0
vsize: 23612
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 485546 0 0 0 85665 1364 0 0 25 0 1 0 904561838 24215552 5134 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 5134 1111 63 0 5849 0
vsize: 23648
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 492236 0 0 0 86648 1381 0 0 25 0 1 0 904561838 23412736 5017 4294967295 134512640 134716908 3221224576 3221222680 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5716 5017 1111 63 0 5653 0
vsize: 22864
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 497870 0 0 0 87635 1395 0 0 25 0 1 0 904561838 24698880 5269 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6030 5269 1111 63 0 5967 0
vsize: 24120
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 502243 0 0 0 88625 1406 0 0 25 0 1 0 904561838 23986176 5158 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5856 5158 1111 63 0 5793 0
vsize: 23424
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 507716 0 0 0 89611 1420 0 0 25 0 1 0 904561838 23928832 5143 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5842 5143 1111 63 0 5779 0
vsize: 23368
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 512591 0 0 0 90597 1434 0 0 25 0 1 0 904561838 24039424 5202 4294967295 134512640 134716908 3221224576 3221222880 1074039238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5869 5202 1111 63 0 5806 0
vsize: 23476
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 517251 0 0 0 91584 1447 0 0 25 0 1 0 904561838 25853952 5536 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 5536 1111 63 0 6249 0
vsize: 25248
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 522527 0 0 0 92570 1462 0 0 25 0 1 0 904561838 23982080 5188 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5855 5188 1111 63 0 5792 0
vsize: 23420
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 528268 0 0 0 93555 1478 0 0 25 0 1 0 904561838 25350144 5404 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5404 1111 63 0 6126 0
vsize: 24756
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 534378 0 0 0 94539 1494 0 0 25 0 1 0 904561838 25116672 5335 4294967295 134512640 134716908 3221224576 3221220960 1074972291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6132 5335 1111 63 0 6069 0
vsize: 24528
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 540081 0 0 0 95524 1510 0 0 25 0 1 0 904561838 25534464 5429 4294967295 134512640 134716908 3221224576 3221220536 1075964730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6234 5429 1111 63 0 6171 0
vsize: 24936
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 547685 0 0 0 96501 1533 0 0 25 0 1 0 904561838 25567232 5452 4294967295 134512640 134716908 3221224576 3221220540 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6242 5452 1111 63 0 6179 0
vsize: 24968
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 552928 0 0 0 97488 1546 0 0 25 0 1 0 904561838 25772032 5541 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 5541 1111 63 0 6229 0
vsize: 25168
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 557035 0 0 0 98477 1557 0 0 25 0 1 0 904561838 25214976 5457 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 5457 1111 63 0 6093 0
vsize: 24624
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 561253 0 0 0 99467 1568 0 0 25 0 1 0 904561838 24834048 5396 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6063 5396 1111 63 0 6000 0
vsize: 24252
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 565795 0 0 0 100455 1580 0 0 25 0 1 0 904561838 26337280 5671 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 5671 1111 63 0 6367 0
vsize: 25720
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 571264 0 0 0 101440 1596 0 0 25 0 1 0 904561838 26234880 5525 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 5525 1111 63 0 6342 0
vsize: 25620
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 576260 0 0 0 102428 1607 0 0 25 0 1 0 904561838 27123712 5869 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6622 5869 1111 63 0 6559 0
vsize: 26488
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 581074 0 0 0 103416 1621 0 0 25 0 1 0 904561838 25288704 5493 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6174 5493 1111 63 0 6111 0
vsize: 24696
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 585864 0 0 0 104404 1633 0 0 25 0 1 0 904561838 25686016 5601 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6271 5601 1111 63 0 6208 0
vsize: 25084
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 590632 0 0 0 105392 1645 0 0 25 0 1 0 904561838 26718208 5710 4294967295 134512640 134716908 3221224576 3221220736 1075091287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6523 5710 1111 63 0 6460 0
vsize: 26092
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 595063 0 0 0 106381 1656 0 0 25 0 1 0 904561838 27058176 5813 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5813 1111 63 0 6543 0
vsize: 26424
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 600754 0 0 0 107367 1671 0 0 25 0 1 0 904561838 26071040 5666 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6365 5666 1111 63 0 6302 0
vsize: 25460
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 606314 0 0 0 108352 1687 0 0 25 0 1 0 904561838 26832896 5728 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6551 5728 1111 63 0 6488 0
vsize: 26204
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 610304 0 0 0 109342 1697 0 0 25 0 1 0 904561838 26148864 5685 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6384 5685 1111 63 0 6321 0
vsize: 25536
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 613837 0 0 0 110333 1707 0 0 25 0 1 0 904561838 27856896 6050 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6801 6050 1111 63 0 6738 0
vsize: 27204
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 617737 0 0 0 111323 1717 0 0 25 0 1 0 904561838 26058752 5671 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6362 5671 1111 63 0 6299 0
vsize: 25448
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 621936 0 0 0 112313 1727 0 0 25 0 1 0 904561838 27467776 5947 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6706 5947 1111 63 0 6643 0
vsize: 26824
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 626894 0 0 0 113300 1740 0 0 25 0 1 0 904561838 27455488 5931 4294967295 134512640 134716908 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6703 5931 1111 63 0 6640 0
vsize: 26812
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 633862 0 0 0 114282 1759 0 0 25 0 1 0 904561838 27906048 5860 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6813 5860 1111 63 0 6750 0
vsize: 27252
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 639663 0 0 0 115266 1775 0 0 25 0 1 0 904561838 27975680 6052 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6830 6052 1111 63 0 6767 0
vsize: 27320
[startup+1175.85 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 1971
Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 639663 0 0 0 115266 1775 0 0 25 0 1 0 904561838 27975680 6052 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6830 6052 1111 63 0 6767 0
vsize: 0

Child status: 10
Real time (s): 1175.85
CPU time (s): 1176.21
CPU user time (s): 1158.32
CPU system time (s): 17.8923
CPU usage (%): 100.031
Max. virtual memory (Kb): 27320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	88
#### END VERIFIER DATA ####