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/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 26381

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 15:20:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13730 boxname=wulflinc15 idbench=1057 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 13730
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        893924 kB
Buffers:         34364 kB
Cached:          86116 kB
SwapCached:        560 kB
Active:          59344 kB
Inactive:        63616 kB
HighTotal:      131008 kB
HighFree:        42672 kB
LowTotal:       903652 kB
LowFree:        851252 kB
SwapTotal:     2097136 kB
SwapFree:      2096112 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            12232 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:40:13 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 13730 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.727 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02825
c 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
Raw data (loadavg): 0.81 0.90 0.96 2/54 25115
Raw data (stat): 25115 (runsolver) R 25114 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773045167 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.84 0.90 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 9132 0 2 0 953 31 0 0 25 0 1 0 773045167 20733952 4375 4294967295 134512640 134714508 3221224576 3221222304 1075635945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 4375 1111 63 0 4999 0
vsize: 20248
[startup+20.0017 s]
Raw data (loadavg): 0.87 0.90 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 15442 0 2 0 1928 55 0 0 25 0 1 0 773045167 25542656 5545 4294967295 134512640 134714508 3221224576 3221222864 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5545 1111 63 0 6173 0
vsize: 24944
[startup+30.0015 s]
Raw data (loadavg): 0.89 0.90 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 22551 0 2 0 2904 80 0 0 25 0 1 0 773045167 31051776 6877 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7581 6877 1111 63 0 7518 0
vsize: 30324
[startup+40.0018 s]
Raw data (loadavg): 0.90 0.91 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 29337 0 2 0 3878 106 0 0 25 0 1 0 773045167 35774464 8032 4294967295 134512640 134714508 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 8032 1111 63 0 8671 0
vsize: 34936
[startup+50.0021 s]
Raw data (loadavg): 0.92 0.91 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 35649 0 2 0 4856 128 0 0 25 0 1 0 773045167 41594880 9366 4294967295 134512640 134714508 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10155 9366 1111 63 0 10092 0
vsize: 40620
[startup+60.003 s]
Raw data (loadavg): 0.93 0.91 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 43689 0 2 0 5831 153 0 0 25 0 1 0 773045167 45903872 10439 4294967295 134512640 134714508 3221224576 3221223460 134621538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11207 10439 1111 63 0 11144 0
vsize: 44828
[startup+70.0043 s]
Raw data (loadavg): 0.94 0.91 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 52074 0 2 0 6805 179 0 0 25 0 1 0 773045167 50622464 11598 4294967295 134512640 134714508 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12359 11598 1111 63 0 12296 0
vsize: 49436
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.92 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 60940 0 2 0 7779 206 0 0 25 0 1 0 773045167 57131008 12948 4294967295 134512640 134714508 3221224576 3221222760 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13948 12948 1111 63 0 13885 0
vsize: 55792
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.92 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 69476 0 2 0 8752 232 0 0 25 0 1 0 773045167 60489728 13779 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14768 13779 1111 63 0 14705 0
vsize: 59072
[startup+100.005 s]
Raw data (loadavg): 0.96 0.92 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 78979 0 2 0 9726 259 0 0 25 0 1 0 773045167 63451136 14531 4294967295 134512640 134714508 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15491 14531 1111 63 0 15428 0
vsize: 61964
[startup+110.005 s]
Raw data (loadavg): 0.97 0.92 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 90620 0 2 0 10693 292 0 0 25 0 1 0 773045167 67137536 15427 4294967295 134512640 134714508 3221224576 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16391 15427 1111 63 0 16328 0
vsize: 65564
[startup+120.005 s]
Raw data (loadavg): 0.97 0.92 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 101994 0 2 0 11661 324 0 0 25 0 1 0 773045167 70574080 16297 4294967295 134512640 134714508 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17230 16297 1111 63 0 17167 0
vsize: 68920
[startup+130.005 s]
Raw data (loadavg): 0.98 0.93 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 113345 0 2 0 12630 355 0 0 25 0 1 0 773045167 74276864 17237 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18134 17237 1111 63 0 18071 0
vsize: 72536
[startup+140.006 s]
Raw data (loadavg): 0.98 0.93 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 124396 0 2 0 13600 385 0 0 25 0 1 0 773045167 77766656 18101 4294967295 134512640 134714508 3221224576 3221222304 1075828548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18986 18101 1111 63 0 18923 0
vsize: 75944
[startup+150.005 s]
Raw data (loadavg): 0.98 0.93 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 135950 0 2 0 14568 418 0 0 25 0 1 0 773045167 81383424 19021 4294967295 134512640 134714508 3221224576 3221222992 1074117102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19869 19021 1111 63 0 19806 0
vsize: 79476
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 147306 0 2 0 15534 452 0 0 25 0 1 0 773045167 84733952 19834 4294967295 134512640 134714508 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20687 19834 1111 63 0 20624 0
vsize: 82748
[startup+170.005 s]
Raw data (loadavg): 0.99 0.93 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 159396 0 2 0 16499 487 0 0 25 0 1 0 773045167 94081024 21473 4294967295 134512640 134714508 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22969 21473 1111 63 0 22906 0
vsize: 91876
[startup+180.005 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 169833 0 2 0 17470 517 0 0 25 0 1 0 773045167 96964608 22145 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23730 22147 1111 63 0 23667 0
vsize: 94692
[startup+190.006 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 177836 0 2 0 18448 539 0 0 25 0 1 0 773045167 99045376 22689 4294967295 134512640 134714508 3221224576 3221222224 1075818209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24181 22689 1111 63 0 24118 0
vsize: 96724
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 187959 0 2 0 19419 568 0 0 25 0 1 0 773045167 101904384 23432 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24879 23432 1111 63 0 24816 0
vsize: 99516
[startup+210.005 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 197955 0 2 0 20389 598 0 0 25 0 1 0 773045167 104243200 24022 4294967295 134512640 134714508 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25450 24022 1111 63 0 25387 0
vsize: 101800
[startup+220.005 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 209313 0 2 0 21356 631 0 0 25 0 1 0 773045167 107384832 24807 4294967295 134512640 134714508 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26217 24807 1111 63 0 26154 0
vsize: 104868
[startup+230.005 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 219953 0 2 0 22328 659 0 0 25 0 1 0 773045167 109912064 25438 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26834 25438 1111 63 0 26771 0
vsize: 107336
[startup+240.005 s]
Raw data (loadavg): 0.99 0.94 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 227337 0 2 0 23307 680 0 0 25 0 1 0 773045167 111943680 25934 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27330 25934 1111 63 0 27267 0
vsize: 109320
[startup+250.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 237551 0 2 0 24280 707 0 0 25 0 1 0 773045167 114114560 26484 4294967295 134512640 134714508 3221224576 3221222856 1074138290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27860 26484 1111 63 0 27797 0
vsize: 111440
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 248356 0 2 0 25248 739 0 0 25 0 1 0 773045167 117006336 27198 4294967295 134512640 134714508 3221224576 3221223376 134597661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28566 27198 1111 63 0 28503 0
vsize: 114264
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 260183 0 2 0 26217 771 0 0 25 0 1 0 773045167 120176640 27987 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29340 27987 1111 63 0 29277 0
vsize: 117360
[startup+280.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 271595 0 2 0 27181 807 0 0 25 0 1 0 773045167 122658816 28599 4294967295 134512640 134714508 3221224576 3221222832 1074206907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29946 28599 1111 63 0 29883 0
vsize: 119784
[startup+290.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 282550 0 2 0 28150 838 0 0 25 0 1 0 773045167 125497344 29307 4294967295 134512640 134714508 3221224576 3221222420 1073986686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30639 29307 1111 63 0 30576 0
vsize: 122556
[startup+300.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 293550 0 2 0 29118 870 0 0 25 0 1 0 773045167 129085440 30183 4294967295 134512640 134714508 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31515 30183 1111 63 0 31452 0
vsize: 126060
[startup+310.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 303840 0 2 0 30091 897 0 0 25 0 1 0 773045167 132120576 30956 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32373 30959 1111 63 0 32310 0
vsize: 129024
[startup+320.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 309876 0 2 0 31076 913 0 0 25 0 1 0 773045167 133771264 31374 4294967295 134512640 134714508 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32659 31374 1111 63 0 32596 0
vsize: 130636
[startup+330.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 320738 0 2 0 32042 947 0 0 25 0 1 0 773045167 137519104 32288 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33574 32288 1111 63 0 33511 0
vsize: 134296
[startup+340.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 330778 0 2 0 33014 974 0 0 25 0 1 0 773045167 141148160 33072 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34460 33072 1111 63 0 34397 0
vsize: 137840
[startup+350.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 342134 0 2 0 33980 1009 0 0 25 0 1 0 773045167 144097280 33880 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35180 33880 1111 63 0 35117 0
vsize: 140720
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 353386 0 2 0 34949 1040 0 0 25 0 1 0 773045167 146849792 34576 4294967295 134512640 134714508 3221224576 3221223216 134649077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35852 34576 1111 63 0 35789 0
vsize: 143408
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 359943 0 2 0 35929 1060 0 0 25 0 1 0 773045167 149270528 35176 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36443 35176 1111 63 0 36380 0
vsize: 145772
[startup+380.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 36924 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 37924 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 38925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223312 134622851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 39925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 40925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362586 0 2 0 41924 1066 0 0 25 0 1 0 773045167 149487616 35241 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36496 35241 1111 63 0 36433 0
vsize: 145984
[startup+440.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 365382 0 2 0 42918 1073 0 0 25 0 1 0 773045167 148987904 35120 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36374 35120 1111 63 0 36311 0
vsize: 145496
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 380197 0 2 0 43880 1111 0 0 25 0 1 0 773045167 152313856 35910 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37186 35910 1111 63 0 37123 0
vsize: 148744
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 394142 0 2 0 44848 1143 0 0 25 0 1 0 773045167 157818880 37023 4294967295 134512640 134714508 3221224576 3221223216 134535146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38530 37028 1111 63 0 38467 0
vsize: 154120
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 402846 0 2 0 45824 1167 0 0 25 0 1 0 773045167 169984000 38549 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41500 38553 1111 63 0 41437 0
vsize: 166000
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 418648 0 2 0 46784 1207 0 0 25 0 1 0 773045167 171528192 39293 4294967295 134512640 134714508 3221224576 3221222756 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41877 39293 1111 63 0 41814 0
vsize: 167508
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 434431 0 2 0 47746 1245 0 0 25 0 1 0 773045167 176222208 40089 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43023 40090 1111 63 0 42960 0
vsize: 172092
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 436762 0 2 0 48741 1251 0 0 25 0 1 0 773045167 175411200 40277 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 449825 0 2 0 49708 1284 0 0 25 0 1 0 773045167 177250304 40713 4294967295 134512640 134714508 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43468 40715 1111 63 0 43405 0
vsize: 173096
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 457407 0 2 0 50688 1304 0 0 25 0 1 0 773045167 178642944 41053 4294967295 134512640 134714508 3221224576 3221222848 1074055297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43614 41053 1111 63 0 43551 0
vsize: 174456
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 464995 0 2 0 51670 1322 0 0 25 0 1 0 773045167 179933184 41397 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43929 41397 1111 63 0 43866 0
vsize: 175716
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 472691 0 2 0 52651 1341 0 0 25 0 1 0 773045167 181157888 41707 4294967295 134512640 134714508 3221224576 3221222992 1074116414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44228 41707 1111 63 0 44165 0
vsize: 176912
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 482406 0 2 0 53626 1367 0 0 25 0 1 0 773045167 184315904 42105 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44999 42105 1111 63 0 44936 0
vsize: 179996
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 498109 0 2 0 54586 1407 0 0 25 0 1 0 773045167 185274368 42690 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45233 42690 1111 63 0 45170 0
vsize: 180932
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 514072 0 2 0 55550 1443 0 0 25 0 1 0 773045167 188071936 43374 4294967295 134512640 134714508 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45916 43374 1111 63 0 45853 0
vsize: 183664
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 525637 0 2 0 56524 1469 0 0 25 0 1 0 773045167 190230528 43913 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46443 43913 1111 63 0 46380 0
vsize: 185772
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 539222 0 2 0 57489 1504 0 0 25 0 1 0 773045167 191746048 44313 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46847 44318 1111 63 0 46784 0
vsize: 187252
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 555345 0 2 0 58445 1549 0 0 25 0 1 0 773045167 194297856 44925 4294967295 134512640 134714508 3221224576 3221223280 134652498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47436 44925 1111 63 0 47373 0
vsize: 189744
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 568438 0 2 0 59414 1580 0 0 25 0 1 0 773045167 196820992 45552 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48052 45552 1111 63 0 47989 0
vsize: 192208
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 575480 0 2 0 60397 1596 0 0 25 0 1 0 773045167 197455872 45697 4294967295 134512640 134714508 3221224576 3221222576 1074918162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48207 45697 1111 63 0 48144 0
vsize: 192828
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 585404 0 2 0 61372 1622 0 0 25 0 1 0 773045167 199823360 46142 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48688 46140 1111 63 0 48625 0
vsize: 195140
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 600571 0 2 0 62333 1661 0 0 25 0 1 0 773045167 201916416 46752 4294967295 134512640 134714508 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49296 46752 1111 63 0 49233 0
vsize: 197184
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 614236 0 2 0 63299 1695 0 0 25 0 1 0 773045167 203841536 47232 4294967295 134512640 134714508 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49766 47232 1111 63 0 49703 0
vsize: 199064
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 629566 0 2 0 64259 1735 0 0 25 0 1 0 773045167 206987264 48047 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50534 48047 1111 63 0 50471 0
vsize: 202136
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 645055 0 2 0 65218 1777 0 0 25 0 1 0 773045167 210288640 48878 4294967295 134512640 134714508 3221224576 3221222576 1074918652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51340 48878 1111 63 0 51277 0
vsize: 205360
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 651246 0 2 0 66202 1792 0 0 25 0 1 0 773045167 212189184 49330 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51804 49330 1111 63 0 51741 0
vsize: 207216
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 667281 0 2 0 67159 1836 0 0 25 0 1 0 773045167 214888448 49955 4294967295 134512640 134714508 3221224576 3221222400 1075823542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52463 49955 1111 63 0 52400 0
vsize: 209852
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 683553 0 2 0 68114 1881 0 0 25 0 1 0 773045167 218513408 50862 4294967295 134512640 134714508 3221224576 3221222888 1074063729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53348 50862 1111 63 0 53285 0
vsize: 213392
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 686029 0 2 0 69107 1888 0 0 25 0 1 0 773045167 219619328 51141 4294967295 134512640 134714508 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 699022 0 2 0 70070 1925 0 0 25 0 1 0 773045167 221769728 51608 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54143 51608 1111 63 0 54080 0
vsize: 216572
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 707806 0 2 0 71047 1949 0 0 25 0 1 0 773045167 223174656 52000 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54486 52002 1111 63 0 54423 0
vsize: 217944
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 722242 0 2 0 72005 1991 0 0 25 0 1 0 773045167 226004992 52710 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55177 52710 1111 63 0 55114 0
vsize: 220708
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 725507 0 2 0 72995 2001 0 0 25 0 1 0 773045167 229015552 53436 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55912 53436 1111 63 0 55849 0
vsize: 223648
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 73992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223352 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 74992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223296 134622884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 75992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 76993 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727450 0 2 0 77992 2005 0 0 25 0 1 0 773045167 227381248 53024 4294967295 134512640 134714508 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55513 53024 1111 63 0 55450 0
vsize: 222052
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 730901 0 2 0 78983 2014 0 0 25 0 1 0 773045167 227110912 52974 4294967295 134512640 134714508 3221224576 3221223368 134543541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55447 52974 1111 63 0 55384 0
vsize: 221788
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 746244 0 2 0 79944 2053 0 0 25 0 1 0 773045167 230383616 53684 4294967295 134512640 134714508 3221224576 3221222688 1074867299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56246 53684 1111 63 0 56183 0
vsize: 224984
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 761792 0 2 0 80904 2093 0 0 25 0 1 0 773045167 233426944 54397 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56989 54397 1111 63 0 56926 0
vsize: 227956
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 774631 0 2 0 81872 2126 0 0 25 0 1 0 773045167 235569152 54933 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57512 54933 1111 63 0 57449 0
vsize: 230048
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 790463 0 2 0 82830 2168 0 0 25 0 1 0 773045167 238039040 55586 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58115 55586 1111 63 0 58052 0
vsize: 232460
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 805693 0 2 0 83790 2208 0 0 25 0 1 0 773045167 241278976 56334 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58906 56334 1111 63 0 58843 0
vsize: 235624
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 817910 0 2 0 84758 2240 0 0 25 0 1 0 773045167 242757632 56766 4294967295 134512640 134714508 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59267 56766 1111 63 0 59204 0
vsize: 237068
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 832037 0 2 0 85722 2276 0 0 25 0 1 0 773045167 245583872 57423 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59957 57423 1111 63 0 59894 0
vsize: 239828
[startup+890.016 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 845979 0 2 0 86687 2312 0 0 25 0 1 0 773045167 248881152 58210 4294967295 134512640 134714508 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60762 58210 1111 63 0 60699 0
vsize: 243048
[startup+900.016 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 846177 0 2 0 87684 2314 0 0 25 0 1 0 773045167 249712640 58408 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60965 58408 1111 63 0 60902 0
vsize: 243860
[startup+910.017 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 847111 0 2 0 88682 2317 0 0 25 0 1 0 773045167 252391424 59065 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+920.017 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 847111 0 2 0 89682 2317 0 0 25 0 1 0 773045167 252391424 59065 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+930.016 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 90676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.017 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 91676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.017 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 92676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.018 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 93676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.019 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 94676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 95677 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 96677 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+1000.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 852658 0 2 0 97670 2331 0 0 25 0 1 0 773045167 249573376 58224 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61405 58228 1111 63 0 61342 0
vsize: 243724
[startup+1010.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 867316 0 2 0 98631 2370 0 0 25 0 1 0 773045167 254517248 58903 4294967295 134512640 134714508 3221224576 3221221640 1075007266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61506 58897 1111 63 0 61443 0
vsize: 248552
[startup+1020.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 882540 0 2 0 99591 2410 0 0 25 0 1 0 773045167 254676992 59586 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62177 59586 1111 63 0 62114 0
vsize: 248708
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 891616 0 2 0 100564 2437 0 0 25 0 1 0 773045167 257818624 60387 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62944 60387 1111 63 0 62881 0
vsize: 251776
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 892278 0 2 0 101563 2439 0 0 25 0 1 0 773045167 259624960 60822 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63385 60822 1111 63 0 63322 0
vsize: 253540
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 102558 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 103559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 104559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 105559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223368 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 902507 0 2 0 106538 2465 0 0 25 0 1 0 773045167 258748416 60607 4294967295 134512640 134714508 3221224576 3221222496 1075799720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63171 60607 1111 63 0 63108 0
vsize: 252684
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 917471 0 2 0 107499 2503 0 0 25 0 1 0 773045167 262422528 61540 4294967295 134512640 134714508 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64068 61540 1111 63 0 64005 0
vsize: 256272
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 917814 0 2 0 108497 2505 0 0 25 0 1 0 773045167 263364608 61794 4294967295 134512640 134714508 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64298 61794 1111 63 0 64235 0
vsize: 257192
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 918470 0 2 0 109495 2507 0 0 25 0 1 0 773045167 265166848 62228 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 110491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 111491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 112491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 113491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223368 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 924277 0 2 0 114483 2520 0 0 25 0 1 0 773045167 262557696 61591 4294967295 134512640 134714508 3221224576 3221222576 1074918345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64101 61591 1111 63 0 64038 0
vsize: 256404
[startup+1175.12 s]
Raw data (loadavg): 1.00 0.99 0.97 1/53 25115
Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 924277 0 2 0 114483 2520 0 0 25 0 1 0 773045167 262557696 61591 4294967295 134512640 134714508 3221224576 3221222576 1074918345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64101 61591 1111 63 0 64038 0
vsize: 0

Child status: 0
Real time (s): 1175.12
CPU time (s): 1175.12
CPU user time (s): 1149.59
CPU system time (s): 25.5371
CPU usage (%): 100.001
Max. virtual memory (Kb): 258952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####