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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 26855

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 17:18:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19411 boxname=wulflinc8 idbench=1494 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 19411
/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:        525216 kB
Buffers:         34736 kB
Cached:         453504 kB
SwapCached:          0 kB
Active:          65180 kB
Inactive:       426044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        524964 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            12508 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:37:55 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 19411 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9232 variables and 732 constraints.
c After prepocess the problem consists of 6416 variables and 955 constraints.
c preprocess terminated 5.988 s
c Initial Lower Bound: 1501
c Lower Bound Elapsed time: 10.0802
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
Raw data (loadavg): 0.84 0.91 0.91 1/54 5714
Raw data (stat): 5714 (runsolver) D 5713 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 760191717 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.86 0.91 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 13261 0 0 0 951 28 0 0 25 0 1 0 760191717 55271424 12672 4294967295 134512640 134714508 3221224592 3221220516 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13494 12672 1111 63 0 13431 0
vsize: 53976
[startup+20.0051 s]
Raw data (loadavg): 0.88 0.91 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 13871 0 0 0 1950 29 0 0 25 0 1 0 760191717 54050816 12422 4294967295 134512640 134714508 3221224592 3221222716 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12422 1111 63 0 13133 0
vsize: 52784
[startup+30.0048 s]
Raw data (loadavg): 0.90 0.92 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 17193 0 0 0 2942 37 0 0 25 0 1 0 760191717 57192448 13122 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13963 13122 1111 63 0 13900 0
vsize: 55852
[startup+40.0076 s]
Raw data (loadavg): 0.92 0.92 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 17233 0 0 0 3942 37 0 0 25 0 1 0 760191717 57204736 13151 4294967295 134512640 134714508 3221224592 3221220612 1075964264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13966 13151 1111 63 0 13903 0
vsize: 55864
[startup+50.0075 s]
Raw data (loadavg): 0.93 0.92 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 4931 48 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+60.0073 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 5930 49 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223328 134591829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+70.0072 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 6929 49 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+80.0183 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 7930 49 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+90.0185 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 8930 50 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223336 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+100.018 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 9930 50 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+110.019 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 10930 50 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+120.019 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 11929 51 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+130.019 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 12928 52 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+140.019 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 13928 53 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+150.018 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 14927 53 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+160.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 15927 54 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+170.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 16927 54 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+180.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 17926 55 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+190.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 18926 55 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221222988 1077379851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+200.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 19926 56 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+210.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 20925 56 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+220.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 21925 57 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223280 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+230.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 22925 57 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+240.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 23925 58 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223424 134590089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+250.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 24925 58 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+260.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 25924 59 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+270.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 26924 59 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223184 134548587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+280.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 27924 59 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+290.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 28923 60 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+300.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 29923 60 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+310.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 30923 60 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+320.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 31923 61 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+330.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 32923 61 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+340.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 33922 62 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+350.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 34922 62 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 35921 63 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 36921 64 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+380.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 37921 64 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+390.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 38921 64 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 39921 64 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 40921 65 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 41920 65 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 42920 65 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 43921 65 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223328 134591997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 44921 65 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 45920 66 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 46920 66 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 47920 66 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 48920 67 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 49920 67 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223220 134696209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 50919 68 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 51919 68 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 52919 68 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 53919 68 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 54918 69 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 55918 69 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 56918 70 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 57918 70 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 58918 71 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 59917 71 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 60917 71 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 61917 72 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 62917 72 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 63917 72 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 64917 73 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 65916 73 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223248 134524379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 66916 74 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 67916 74 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 68915 75 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 69915 75 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 70915 76 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 71915 76 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 72914 77 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 73914 77 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 74914 77 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 75914 78 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223356 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 76914 78 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 77913 79 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 78913 79 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 79912 80 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 80912 80 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223372 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 81912 81 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 82911 81 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 83911 82 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 84911 82 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223328 134591875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 85911 83 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 86910 83 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 87910 84 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 88910 84 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 89910 84 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 90909 85 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 91909 85 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 92909 85 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 93909 86 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223220 1077374127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 94908 87 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 95908 87 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 96908 87 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 97908 88 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 98907 88 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 99907 88 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 100907 89 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223256 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 101907 90 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 102906 90 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 103906 91 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 104906 91 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223268 1077374560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 105907 92 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 106907 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 107907 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 108906 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 109907 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 110907 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 111907 93 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223268 1077374583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 112907 94 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223344 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 113906 95 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223392 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 114906 95 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 115906 96 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 116905 96 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 55368
[startup+1175.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5714
Raw data (stat): 5714 (bsolo_lpr_cuts) R 5713 3132 3131 0 -1 0 21530 0 0 0 116905 96 0 0 25 0 1 0 760191717 56696832 13060 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13842 13060 1111 63 0 13779 0
vsize: 0

Child status: 0
Real time (s): 1175.07
CPU time (s): 1175.04
CPU user time (s): 1174.04
CPU system time (s): 0.995848
CPU usage (%): 99.9973
Max. virtual memory (Kb): 55864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####