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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 40908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 01:54:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28974 boxname=wulflinc5 idbench=360 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 28974
/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:        897084 kB
Buffers:         14816 kB
Cached:         101412 kB
SwapCached:        732 kB
Active:          25136 kB
Inactive:        93128 kB
HighTotal:      131008 kB
HighFree:        28336 kB
LowTotal:       903652 kB
LowFree:        868748 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13864 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:13:37 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28974 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4608 variables and 30522 constraints.
c After prepocess the problem consists of 4608 variables and 30522 constraints.
c preprocess terminated 46.602 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.91 2/54 24895
Raw data (stat): 24895 (runsolver) R 24894 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906469566 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 35213 0 0 0 908 88 0 0 25 0 1 0 906469566 55345152 12635 4294967295 134512640 134716908 3221224560 3221222984 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13512 12635 1111 63 0 13449 0
vsize: 54048
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 52766 0 0 0 1864 132 0 0 25 0 1 0 906469566 70266880 16295 4294967295 134512640 134716908 3221224560 3221223124 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 62651 0 0 0 2839 157 0 0 25 0 1 0 906469566 70266880 16295 4294967295 134512640 134716908 3221224560 3221222912 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65634 0 0 0 3832 165 0 0 25 0 1 0 906469566 70266880 16295 4294967295 134512640 134716908 3221224560 3221222960 134542753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65648 0 0 0 4831 166 0 0 25 0 1 0 906469566 70266880 16309 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16309 1111 63 0 17092 0
vsize: 68620
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 5829 167 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223344 134529075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 6828 169 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 7827 170 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 8826 171 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223060 134535329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 9824 173 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 10824 174 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 11823 175 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223216 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 12822 176 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 13821 176 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223120 134698864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 14821 177 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223108 134699046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 15820 178 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223248 134528605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 16820 178 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 17820 179 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 18820 179 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223272 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 19819 180 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223392 134587928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 20819 180 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 21818 181 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 22818 182 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 23817 182 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 24817 183 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223324 134552693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 25816 184 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65650 0 0 0 26816 184 0 0 25 0 1 0 906469566 70266880 16311 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65779 0 0 0 27816 185 0 0 25 0 1 0 906469566 70807552 16440 4294967295 134512640 134716908 3221224560 3221223304 134551636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 16440 1111 63 0 17224 0
vsize: 69148
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 65931 0 0 0 28815 186 0 0 25 0 1 0 906469566 71483392 16592 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17452 16592 1111 63 0 17389 0
vsize: 69808
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66055 0 0 0 29814 187 0 0 25 0 1 0 906469566 72024064 16716 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17584 16716 1111 63 0 17521 0
vsize: 70336
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66173 0 0 0 30814 187 0 0 25 0 1 0 906469566 72425472 16834 4294967295 134512640 134716908 3221224560 3221223224 134536851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17682 16834 1111 63 0 17619 0
vsize: 70728
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66261 0 0 0 31813 188 0 0 25 0 1 0 906469566 72826880 16922 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17780 16922 1111 63 0 17717 0
vsize: 71120
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66356 0 0 0 32813 189 0 0 25 0 1 0 906469566 73207808 17017 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17873 17017 1111 63 0 17810 0
vsize: 71492
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66391 0 0 0 33812 189 0 0 25 0 1 0 906469566 73342976 17052 4294967295 134512640 134716908 3221224560 3221222496 134699851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17906 17052 1111 63 0 17843 0
vsize: 71624
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66494 0 0 0 34812 190 0 0 25 0 1 0 906469566 73748480 17155 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18005 17155 1111 63 0 17942 0
vsize: 72020
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24895
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66526 0 0 0 35812 191 0 0 25 0 1 0 906469566 73883648 17187 4294967295 134512640 134716908 3221224560 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18038 17187 1111 63 0 17975 0
vsize: 72152
[startup+370.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66651 0 0 0 36801 201 0 0 25 0 1 0 906469566 74412032 17312 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18167 17312 1111 63 0 18104 0
vsize: 72668
[startup+380.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66736 0 0 0 37800 201 0 0 25 0 1 0 906469566 74817536 17397 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18266 17397 1111 63 0 18203 0
vsize: 73064
[startup+390.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66848 0 0 0 38799 202 0 0 25 0 1 0 906469566 75223040 17509 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18365 17509 1111 63 0 18302 0
vsize: 73460
[startup+400.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66894 0 0 0 39799 203 0 0 25 0 1 0 906469566 75493376 17555 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18431 17555 1111 63 0 18368 0
vsize: 73724
[startup+410.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 66961 0 0 0 40798 204 0 0 25 0 1 0 906469566 75739136 17622 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18491 17622 1111 63 0 18428 0
vsize: 73964
[startup+420.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67026 0 0 0 41798 204 0 0 25 0 1 0 906469566 76009472 17687 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18557 17687 1111 63 0 18494 0
vsize: 74228
[startup+430.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24948
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67104 0 0 0 42798 205 0 0 25 0 1 0 906469566 76279808 17765 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18623 17765 1111 63 0 18560 0
vsize: 74492
[startup+440.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67168 0 0 0 43797 206 0 0 25 0 1 0 906469566 76550144 17829 4294967295 134512640 134716908 3221224560 3221223100 134613765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18689 17829 1111 63 0 18626 0
vsize: 74756
[startup+450.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67249 0 0 0 44796 206 0 0 25 0 1 0 906469566 76820480 17910 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18755 17910 1111 63 0 18692 0
vsize: 75020
[startup+460.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67309 0 0 0 45796 207 0 0 25 0 1 0 906469566 77074432 17970 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18817 17970 1111 63 0 18754 0
vsize: 75268
[startup+470.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67449 0 0 0 46796 208 0 0 25 0 1 0 906469566 77742080 18110 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18980 18110 1111 63 0 18917 0
vsize: 75920
[startup+480.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67510 0 0 0 47795 208 0 0 25 0 1 0 906469566 78012416 18171 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19046 18171 1111 63 0 18983 0
vsize: 76184
[startup+490.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67616 0 0 0 48794 209 0 0 25 0 1 0 906469566 78417920 18277 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19145 18277 1111 63 0 19082 0
vsize: 76580
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67752 0 0 0 49794 210 0 0 25 0 1 0 906469566 78946304 18413 4294967295 134512640 134716908 3221224560 3221223344 134529318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19274 18413 1111 63 0 19211 0
vsize: 77096
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67904 0 0 0 50793 211 0 0 25 0 1 0 906469566 79622144 18565 4294967295 134512640 134716908 3221224560 3221223136 134542748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19439 18565 1111 63 0 19376 0
vsize: 77756
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 67974 0 0 0 51792 212 0 0 25 0 1 0 906469566 79876096 18635 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19501 18635 1111 63 0 19438 0
vsize: 78004
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68083 0 0 0 52791 213 0 0 25 0 1 0 906469566 80273408 18744 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19598 18744 1111 63 0 19535 0
vsize: 78392
[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68187 0 0 0 53791 214 0 0 25 0 1 0 906469566 80674816 18848 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19696 18848 1111 63 0 19633 0
vsize: 78784
[startup+550.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68296 0 0 0 54790 214 0 0 25 0 1 0 906469566 81215488 18957 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19828 18957 1111 63 0 19765 0
vsize: 79312
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68413 0 0 0 55790 215 0 0 25 0 1 0 906469566 81620992 19074 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19927 19074 1111 63 0 19864 0
vsize: 79708
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68450 0 0 0 56789 216 0 0 25 0 1 0 906469566 81756160 19111 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 19111 1111 63 0 19897 0
vsize: 79840
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68543 0 0 0 57789 216 0 0 25 0 1 0 906469566 82161664 19204 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20059 19204 1111 63 0 19996 0
vsize: 80236
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68612 0 0 0 58789 216 0 0 25 0 1 0 906469566 82407424 19273 4294967295 134512640 134716908 3221224560 3221223264 134528538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20119 19273 1111 63 0 20056 0
vsize: 80476
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68668 0 0 0 59788 217 0 0 25 0 1 0 906469566 82677760 19329 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20185 19329 1111 63 0 20122 0
vsize: 80740
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68765 0 0 0 60788 218 0 0 25 0 1 0 906469566 83054592 19426 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 19426 1111 63 0 20214 0
vsize: 81108
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68814 0 0 0 61787 219 0 0 25 0 1 0 906469566 83316736 19475 4294967295 134512640 134716908 3221224560 3221223344 134529184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20341 19475 1111 63 0 20278 0
vsize: 81364
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68892 0 0 0 62787 219 0 0 25 0 1 0 906469566 83677184 19553 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20429 19553 1111 63 0 20366 0
vsize: 81716
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 68975 0 0 0 63786 220 0 0 25 0 1 0 906469566 83947520 19636 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20495 19636 1111 63 0 20432 0
vsize: 81980
[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69061 0 0 0 64786 221 0 0 25 0 1 0 906469566 84336640 19722 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20590 19722 1111 63 0 20527 0
vsize: 82360
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69163 0 0 0 65784 222 0 0 25 0 1 0 906469566 84742144 19824 4294967295 134512640 134716908 3221224560 3221223320 134675437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20689 19824 1111 63 0 20626 0
vsize: 82756
[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69241 0 0 0 66784 223 0 0 25 0 1 0 906469566 85008384 19902 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20754 19902 1111 63 0 20691 0
vsize: 83016
[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69275 0 0 0 67784 223 0 0 25 0 1 0 906469566 85143552 19936 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 19936 1111 63 0 20724 0
vsize: 83148
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69366 0 0 0 68784 223 0 0 25 0 1 0 906469566 85536768 20027 4294967295 134512640 134716908 3221224560 3221223200 134698630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20883 20027 1111 63 0 20820 0
vsize: 83532
[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69446 0 0 0 69783 224 0 0 25 0 1 0 906469566 85925888 20107 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20978 20107 1111 63 0 20915 0
vsize: 83912
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24950
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69512 0 0 0 70782 225 0 0 25 0 1 0 906469566 86155264 20173 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21034 20173 1111 63 0 20971 0
vsize: 84136
[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69606 0 0 0 71782 226 0 0 25 0 1 0 906469566 86560768 20267 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21133 20268 1111 63 0 21070 0
vsize: 84532
[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69725 0 0 0 72781 227 0 0 25 0 1 0 906469566 86966272 20386 4294967295 134512640 134716908 3221224560 3221223100 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21232 20386 1111 63 0 21169 0
vsize: 84928
[startup+740.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69764 0 0 0 73781 227 0 0 25 0 1 0 906469566 87236608 20425 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21298 20425 1111 63 0 21235 0
vsize: 85192
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69837 0 0 0 74780 228 0 0 25 0 1 0 906469566 87506944 20498 4294967295 134512640 134716908 3221224560 3221223372 134584844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21364 20498 1111 63 0 21301 0
vsize: 85456
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 69911 0 0 0 75779 229 0 0 25 0 1 0 906469566 87773184 20572 4294967295 134512640 134716908 3221224560 3221223152 134549825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21429 20572 1111 63 0 21366 0
vsize: 85716
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70001 0 0 0 76779 229 0 0 25 0 1 0 906469566 88178688 20662 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21528 20662 1111 63 0 21465 0
vsize: 86112
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70034 0 0 0 77779 230 0 0 25 0 1 0 906469566 88313856 20695 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21561 20695 1111 63 0 21498 0
vsize: 86244
[startup+790.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70114 0 0 0 78779 230 0 0 25 0 1 0 906469566 88571904 20775 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21624 20775 1111 63 0 21561 0
vsize: 86496
[startup+800.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70123 0 0 0 79778 231 0 0 25 0 1 0 906469566 88707072 20784 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21657 20784 1111 63 0 21594 0
vsize: 86628
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70181 0 0 0 80778 232 0 0 25 0 1 0 906469566 88829952 20842 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 20842 1111 63 0 21624 0
vsize: 86748
[startup+820.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70257 0 0 0 81777 232 0 0 25 0 1 0 906469566 89227264 20918 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21784 20918 1111 63 0 21721 0
vsize: 87136
[startup+830.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70282 0 0 0 82777 233 0 0 25 0 1 0 906469566 89337856 20943 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21811 20943 1111 63 0 21748 0
vsize: 87244
[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70333 0 0 0 83776 234 0 0 25 0 1 0 906469566 89473024 20994 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21844 20994 1111 63 0 21781 0
vsize: 87376
[startup+850.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70395 0 0 0 84776 234 0 0 25 0 1 0 906469566 89735168 21056 4294967295 134512640 134716908 3221224560 3221223328 134529281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21908 21056 1111 63 0 21845 0
vsize: 87632
[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70433 0 0 0 85776 234 0 0 25 0 1 0 906469566 89870336 21094 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 21094 1111 63 0 21878 0
vsize: 87764
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70478 0 0 0 86775 235 0 0 25 0 1 0 906469566 90140672 21139 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22007 21139 1111 63 0 21944 0
vsize: 88028
[startup+880.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70513 0 0 0 87775 235 0 0 25 0 1 0 906469566 90275840 21174 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22040 21174 1111 63 0 21977 0
vsize: 88160
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70554 0 0 0 88775 235 0 0 25 0 1 0 906469566 90402816 21215 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 21215 1111 63 0 22008 0
vsize: 88284
[startup+900.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70608 0 0 0 89774 236 0 0 25 0 1 0 906469566 90648576 21269 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22131 21269 1111 63 0 22068 0
vsize: 88524
[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70682 0 0 0 90774 237 0 0 25 0 1 0 906469566 90914816 21343 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22196 21343 1111 63 0 22133 0
vsize: 88784
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70707 0 0 0 91774 237 0 0 25 0 1 0 906469566 91049984 21368 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21368 1111 63 0 22166 0
vsize: 88916
[startup+930.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70736 0 0 0 92773 238 0 0 25 0 1 0 906469566 91185152 21397 4294967295 134512640 134716908 3221224560 3221223128 134535877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22262 21397 1111 63 0 22199 0
vsize: 89048
[startup+940.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70769 0 0 0 93773 238 0 0 25 0 1 0 906469566 91320320 21430 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21430 1111 63 0 22232 0
vsize: 89180
[startup+950.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70789 0 0 0 94772 239 0 0 25 0 1 0 906469566 91320320 21450 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21450 1111 63 0 22232 0
vsize: 89180
[startup+960.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70818 0 0 0 95772 239 0 0 25 0 1 0 906469566 91455488 21479 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21479 1111 63 0 22265 0
vsize: 89312
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70821 0 0 0 96772 239 0 0 25 0 1 0 906469566 91455488 21482 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21482 1111 63 0 22265 0
vsize: 89312
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70855 0 0 0 97772 240 0 0 25 0 1 0 906469566 91590656 21516 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21516 1111 63 0 22298 0
vsize: 89444
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70927 0 0 0 98772 240 0 0 25 0 1 0 906469566 91996160 21588 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22460 21588 1111 63 0 22397 0
vsize: 89840
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 70947 0 0 0 99772 241 0 0 25 0 1 0 906469566 92078080 21608 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22480 21608 1111 63 0 22417 0
vsize: 89920
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71023 0 0 0 100771 241 0 0 25 0 1 0 906469566 92319744 21684 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22539 21684 1111 63 0 22476 0
vsize: 90156
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71081 0 0 0 101771 242 0 0 25 0 1 0 906469566 92590080 21742 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22605 21742 1111 63 0 22542 0
vsize: 90420
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71139 0 0 0 102771 242 0 0 25 0 1 0 906469566 92856320 21800 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22670 21800 1111 63 0 22607 0
vsize: 90680
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71156 0 0 0 103771 242 0 0 25 0 1 0 906469566 92852224 21817 4294967295 134512640 134716908 3221224560 3221223192 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22669 21817 1111 63 0 22606 0
vsize: 90676
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71220 0 0 0 104770 243 0 0 25 0 1 0 906469566 93110272 21881 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21881 1111 63 0 22669 0
vsize: 90928
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71238 0 0 0 105770 243 0 0 25 0 1 0 906469566 93245440 21899 4294967295 134512640 134716908 3221224560 3221223200 134539425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21899 1111 63 0 22702 0
vsize: 91060
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71278 0 0 0 106770 244 0 0 25 0 1 0 906469566 93380608 21939 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22798 21939 1111 63 0 22735 0
vsize: 91192
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71330 0 0 0 107769 244 0 0 25 0 1 0 906469566 93650944 21991 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22864 21991 1111 63 0 22801 0
vsize: 91456
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71406 0 0 0 108769 245 0 0 25 0 1 0 906469566 93921280 22067 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22930 22067 1111 63 0 22867 0
vsize: 91720
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71474 0 0 0 109769 245 0 0 25 0 1 0 906469566 94191616 22135 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22996 22135 1111 63 0 22933 0
vsize: 91984
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71504 0 0 0 110768 246 0 0 25 0 1 0 906469566 94326784 22165 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22165 1111 63 0 22966 0
vsize: 92116
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71523 0 0 0 111768 246 0 0 25 0 1 0 906469566 94326784 22184 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22184 1111 63 0 22966 0
vsize: 92116
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71523 0 0 0 112768 246 0 0 25 0 1 0 906469566 94326784 22184 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22184 1111 63 0 22966 0
vsize: 92116
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71605 0 0 0 113768 247 0 0 25 0 1 0 906469566 94720000 22266 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23125 22266 1111 63 0 23062 0
vsize: 92500
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71663 0 0 0 114767 247 0 0 25 0 1 0 906469566 94982144 22324 4294967295 134512640 134716908 3221224560 3221223280 134584759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23189 22324 1111 63 0 23126 0
vsize: 92756
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71707 0 0 0 115767 248 0 0 25 0 1 0 906469566 95117312 22368 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23222 22368 1111 63 0 23159 0
vsize: 92888
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71763 0 0 0 116767 249 0 0 25 0 1 0 906469566 95387648 22424 4294967295 134512640 134716908 3221224560 3221223344 134529266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23288 22424 1111 63 0 23225 0
vsize: 93152
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 24952
Raw data (stat): 24895 (bsolo_lpr_cuts-) R 24894 7266 7265 0 -1 0 71763 0 0 0 116767 249 0 0 25 0 1 0 906469566 95387648 22424 4294967295 134512640 134716908 3221224560 3221223344 134529266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23288 22424 1111 63 0 23225 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1172.52
CPU system time (s): 2.53461
CPU usage (%): 100.012
Max. virtual memory (Kb): 93152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####