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/fctp/normalized-mps-v2-13-7-ran17x17.opb
MD5SUM	4afffa77a031423497a8b9b377dd0292
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	689314
Optimality of the best value was proved	NO
Number of terms in the objective function	6069
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1576985250
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1576985250
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	6069
Total number of constraints	323
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	323
Minimum length of a constraint	21
Maximum length of a constraint	340
Trace number 26869

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 17:29:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19320 boxname=wulflinc26 idbench=1487 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4afffa77a031423497a8b9b377dd0292  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ran17x17.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ran17x17.opb
IDLAUNCH: 19320
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        444088 kB
Buffers:         34772 kB
Cached:         524800 kB
SwapCached:        680 kB
Active:          35004 kB
Inactive:       527224 kB
HighTotal:      131008 kB
HighFree:         2912 kB
LowTotal:       903652 kB
LowFree:        441176 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            22636 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:49:28 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19320 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6069 variables and 357 constraints.
c After prepocess the problem consists of 3411 variables and 496 constraints.
c preprocess terminated 12.876 s
c Initial Lower Bound: 155556
c Lower Bound Elapsed time: 1.297
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (runsolver) R 22427 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832054764 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 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): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 7652 0 0 0 979 17 0 0 25 0 1 0 832054764 34496512 7551 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8422 7551 1111 63 0 8359 0
vsize: 33688
[startup+20.0005 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 17608 0 0 0 1957 39 0 0 25 0 1 0 832054764 43692032 9831 4294967295 134512640 134714508 3221224576 3221222648 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 9831 1111 63 0 10604 0
vsize: 42668
[startup+30.0008 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24368 0 0 0 2940 56 0 0 25 0 1 0 832054764 46399488 10512 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10512 1111 63 0 11265 0
vsize: 45312
[startup+40.0013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 3936 59 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223376 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+50.0023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 4932 63 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+60.0017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 5929 66 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+70.0014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 6926 69 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+80.0024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 7923 73 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+90.0018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 8921 75 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+100.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 9918 78 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+110.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 10914 82 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+120.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 11910 86 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+130.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 12908 88 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+140.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 13905 92 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+150.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 14902 95 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+160.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 15899 97 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+170.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 16897 100 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+180.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 17895 103 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+190.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 18892 106 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+200.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 19888 109 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+210.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 20885 112 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+220.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 21882 115 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+230.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 22880 118 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+240 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 23878 120 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223252 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+250 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 24875 123 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+260 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 25873 126 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+269.999 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 26869 129 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223144 1077377720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+280 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 27867 132 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+290 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 28863 136 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+300 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 29860 140 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+310 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 30856 144 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+320 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 31852 147 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223168 134548578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+330 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 32849 151 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+340 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 33846 154 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+350.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 34843 157 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+360.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 35840 160 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223288 134524591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+370.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 36837 164 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+380.001 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 37833 168 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+390.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 38829 172 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+400.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 39825 176 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+410.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 40823 178 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+420.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 41821 180 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+430.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 42819 183 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223328 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+440.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 43816 186 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+450.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 44814 188 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223328 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+460.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 45811 191 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+470.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 46807 196 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+480.003 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 47805 198 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+490.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 48802 201 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+500.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 49800 203 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+510.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 50799 204 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+520.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 51798 206 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+530.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 52797 207 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+540.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 53795 209 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+550.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 54794 210 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+560.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 55791 213 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223204 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+570.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 56790 214 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+580.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 57789 215 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223320 134672921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+590.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 58788 217 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223376 134597600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+600.003 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 59787 218 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+610.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 60785 220 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+620.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 61783 222 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+630.003 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 62782 223 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+640.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 63781 225 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+650.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 64779 226 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+660.003 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 65779 227 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+670.003 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 66776 230 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+680.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 67773 233 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223332 134652855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+690.002 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 68772 234 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+700.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 69772 235 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+710.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 70770 237 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+720.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 71769 239 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+730.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 72766 241 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+740.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 73764 244 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223320 134672936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+750.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 74763 245 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+760.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 75760 248 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+770.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 76758 249 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+780.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 77757 250 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+790.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 78756 252 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+800.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 79755 253 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+810.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 80754 254 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223232 1076647581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+820.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 81753 255 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+830.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 82752 257 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+840.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 83750 259 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+850.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 84748 261 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+860.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 85747 262 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+870.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 86746 263 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+880.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 87745 265 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+890.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 88743 267 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+900.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 89743 267 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+910.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 90740 270 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223144 1077377790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+920.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 91738 272 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+930.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 92737 274 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+940.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 93736 275 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+950.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 94734 276 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+960.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 95734 278 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+970.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 96733 278 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+980.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 97731 280 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+990.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 98730 282 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 99727 284 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 100724 287 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 101722 289 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 102720 290 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 103719 292 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 104718 293 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223280 134524393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 105716 295 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 106715 296 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 107714 297 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 108713 298 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 109712 299 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 110712 300 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 111711 301 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 112710 303 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 113709 304 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 114707 306 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 115706 306 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 116705 308 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223324 134558545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 45312
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.96 1/53 22428
Raw data (stat): 22428 (bsolo_lpr_cuts) R 22427 20687 20686 0 -1 0 24372 0 0 0 116705 308 0 0 25 0 1 0 832054764 46399488 10516 4294967295 134512640 134714508 3221224576 3221223324 134558545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10516 1111 63 0 11265 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1171.92
CPU system time (s): 3.11453
CPU usage (%): 100.011
Max. virtual memory (Kb): 45312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####