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/miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	459.704
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 28550

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 03:00:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12365 boxname=wulflinc25 idbench=952 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 12365
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        604940 kB
Buffers:         11676 kB
Cached:         394376 kB
SwapCached:        588 kB
Active:          24680 kB
Inactive:       383588 kB
HighTotal:      131008 kB
HighFree:        36400 kB
LowTotal:       903652 kB
LowFree:        568540 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            15780 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:20:54 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 12365 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 372 constraints.
c preprocess terminated 82.613 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.2325
c Use computed LB before first solution.
#### 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.96 1.00 1.00 2/54 8039
Raw data (stat): 8039 (runsolver) R 8038 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835489059 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.0012 s]
Raw data (loadavg): 0.97 1.00 1.00 2/54 8039
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6445 0 0 0 980 17 0 0 25 0 1 0 835489059 29597696 6367 4294967295 134512640 134714508 3221224592 3221223016 1077377574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6367 1111 63 0 7163 0
vsize: 28904
[startup+20.0013 s]
Raw data (loadavg): 0.97 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6487 0 0 0 1980 17 0 0 25 0 1 0 835489059 29761536 6409 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6409 1111 63 0 7203 0
vsize: 29064
[startup+30.0024 s]
Raw data (loadavg): 0.98 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6514 0 0 0 2979 17 0 0 25 0 1 0 835489059 29835264 6436 4294967295 134512640 134714508 3221224592 3221223228 134554910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6436 1111 63 0 7221 0
vsize: 29136
[startup+40.0027 s]
Raw data (loadavg): 0.98 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6537 0 0 0 3979 17 0 0 25 0 1 0 835489059 29904896 6458 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7301 6458 1111 63 0 7238 0
vsize: 29204
[startup+50.0034 s]
Raw data (loadavg): 0.98 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6599 0 0 0 4979 17 0 0 25 0 1 0 835489059 30126080 6494 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6494 1111 63 0 7292 0
vsize: 29420
[startup+60.0038 s]
Raw data (loadavg): 0.98 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6618 0 0 0 5979 17 0 0 25 0 1 0 835489059 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+70.0041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6618 0 0 0 6979 17 0 0 25 0 1 0 835489059 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+80.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 6640 0 0 0 7979 17 0 0 25 0 1 0 835489059 30261248 6534 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7388 6534 1111 63 0 7325 0
vsize: 29552
[startup+90.0046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 7829 0 0 0 8976 21 0 0 25 0 1 0 835489059 30314496 6701 4294967295 134512640 134714508 3221224592 3221222064 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29604
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 9238 0 0 0 9971 26 0 0 25 0 1 0 835489059 30314496 6703 4294967295 134512640 134714508 3221224592 3221222592 1074918496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6703 1111 63 0 7338 0
vsize: 29604
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 10583 0 0 0 10968 29 0 0 25 0 1 0 835489059 30314496 6704 4294967295 134512640 134714508 3221224592 3221222168 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 11852 0 0 0 11965 33 0 0 25 0 1 0 835489059 30314496 6704 4294967295 134512640 134714508 3221224592 3221222128 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12384 0 0 0 12963 34 0 0 25 0 1 0 835489059 30314496 6704 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12454 0 0 0 13962 36 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12552 0 0 0 14962 36 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222456 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12602 0 0 0 15962 36 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12708 0 0 0 16961 37 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12812 0 0 0 17961 38 0 0 25 0 1 0 835489059 30502912 6707 4294967295 134512640 134714508 3221224592 3221220664 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 12917 0 0 0 18960 39 0 0 25 0 1 0 835489059 30502912 6706 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6706 1111 63 0 7384 0
vsize: 29788
[startup+200.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13020 0 0 0 19959 40 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+210.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13124 0 0 0 20959 40 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221223072 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+220.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13228 0 0 0 21958 41 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222928 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+230.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13336 0 0 0 22958 42 0 0 25 0 1 0 835489059 30502912 6707 4294967295 134512640 134714508 3221224592 3221220736 1074970935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13438 0 0 0 23957 43 0 0 25 0 1 0 835489059 30502912 6707 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+250.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13506 0 0 0 24957 44 0 0 25 0 1 0 835489059 30314496 6705 4294967295 134512640 134714508 3221224592 3221222592 1074918811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13575 0 0 0 25956 45 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+270.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8041
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13597 0 0 0 26956 45 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221221872 1074139967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+280.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13608 0 0 0 27956 45 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13681 0 0 0 28955 46 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222592 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+300.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13743 0 0 0 29954 47 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222784 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13743 0 0 0 30954 48 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222592 1074916984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13800 0 0 0 31953 49 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222440 1075007310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+330.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 13979 0 0 0 32950 52 0 0 25 0 1 0 835489059 30564352 6708 4294967295 134512640 134714508 3221224592 3221220556 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7462 6708 1111 63 0 7399 0
vsize: 29848
[startup+340.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14077 0 0 0 33949 53 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222512 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+350.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14208 0 0 0 34948 55 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+360.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14365 0 0 0 35947 56 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+370.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14551 0 0 0 36946 58 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222312 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14759 0 0 0 37944 59 0 0 25 0 1 0 835489059 30314496 6706 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 14929 0 0 0 38943 61 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222400 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+400.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 15151 0 0 0 39940 63 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222592 1074918328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+410.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 15343 0 0 0 40938 65 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+420.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 15507 0 0 0 41937 67 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223208 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 15716 0 0 0 42936 68 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222880 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 15994 0 0 0 43934 71 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+450.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 16302 0 0 0 44932 72 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+460.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17847 0 0 0 45928 77 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222944 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+470.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 46927 78 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221221696 1074138832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+480.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 47927 78 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222712 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+490.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 48927 79 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223360 134624784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+500.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 49927 79 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1075828579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+510.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 50927 79 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222976 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+520.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 51927 79 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+530.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 52926 80 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+540.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17946 0 0 0 53926 80 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223056 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+550.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17948 0 0 0 54926 81 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222312 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+560.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17969 0 0 0 55925 81 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223292 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+570.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17969 0 0 0 56925 82 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223296 134652541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+580.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17969 0 0 0 57925 82 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221223008 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+590.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17969 0 0 0 58925 82 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+600.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 17969 0 0 0 59925 83 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222336 1075646809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+610.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 18280 0 0 0 60923 85 0 0 25 0 1 0 835489059 30314496 6710 4294967295 134512640 134714508 3221224592 3221222864 1074056237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+620.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 33009 0 0 0 61884 124 0 0 25 0 1 0 835489059 30994432 6856 4294967295 134512640 134714508 3221224592 3221223008 1074116184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7567 6857 1111 63 0 7504 0
vsize: 30268
[startup+630.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 52252 0 0 0 62833 175 0 0 25 0 1 0 835489059 31748096 7040 4294967295 134512640 134714508 3221224592 3221222496 1075460102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7751 7040 1111 63 0 7688 0
vsize: 31004
[startup+640.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 71389 0 0 0 63790 219 0 0 25 0 1 0 835489059 32497664 7223 4294967295 134512640 134714508 3221224592 3221222872 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7934 7223 1111 63 0 7871 0
vsize: 31736
[startup+650.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 79178 0 0 0 64766 242 0 0 25 0 1 0 835489059 32821248 7307 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8013 7307 1111 63 0 7950 0
vsize: 32052
[startup+660.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 101441 0 0 0 65712 296 0 0 25 0 1 0 835489059 34258944 7674 4294967295 134512640 134714508 3221224592 3221222320 1075635516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8364 7674 1111 63 0 8301 0
vsize: 33456
[startup+670.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 124134 0 0 0 66656 353 0 0 25 0 1 0 835489059 35930112 8058 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8772 8058 1111 63 0 8709 0
vsize: 35088
[startup+680.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 145965 0 0 0 67602 408 0 0 25 0 1 0 835489059 37543936 8476 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 8476 1111 63 0 9103 0
vsize: 36664
[startup+690.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 169196 0 0 0 68542 467 0 0 25 0 1 0 835489059 38952960 8820 4294967295 134512640 134714508 3221224592 3221222896 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9510 8820 1111 63 0 9447 0
vsize: 38040
[startup+700.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 191825 0 0 0 69486 524 0 0 25 0 1 0 835489059 40755200 9219 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 9219 1111 63 0 9887 0
vsize: 39800
[startup+710.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 213581 0 0 0 70430 579 0 0 25 0 1 0 835489059 42643456 9708 4294967295 134512640 134714508 3221224592 3221222944 1074142728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10411 9708 1111 63 0 10348 0
vsize: 41644
[startup+720.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 236022 0 0 0 71375 635 0 0 25 0 1 0 835489059 44097536 10063 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10766 10063 1111 63 0 10703 0
vsize: 43064
[startup+730.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 258144 0 0 0 72322 688 0 0 25 0 1 0 835489059 45895680 10439 4294967295 134512640 134714508 3221224592 3221222512 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11205 10439 1111 63 0 11142 0
vsize: 44820
[startup+740.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 281106 0 0 0 73267 743 0 0 25 0 1 0 835489059 47022080 10777 4294967295 134512640 134714508 3221224592 3221222656 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 10777 1111 63 0 11417 0
vsize: 45920
[startup+750.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 302896 0 0 0 74213 798 0 0 25 0 1 0 835489059 50171904 11377 4294967295 134512640 134714508 3221224592 3221222704 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 11377 1111 63 0 12186 0
vsize: 48996
[startup+760.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 325319 0 0 0 75159 851 0 0 25 0 1 0 835489059 51523584 11758 4294967295 134512640 134714508 3221224592 3221223040 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12579 11758 1111 63 0 12516 0
vsize: 50316
[startup+770.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 348564 0 0 0 76108 903 0 0 25 0 1 0 835489059 52785152 12105 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12887 12105 1111 63 0 12824 0
vsize: 51548
[startup+780.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 371650 0 0 0 77055 956 0 0 25 0 1 0 835489059 54243328 12461 4294967295 134512640 134714508 3221224592 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13243 12461 1111 63 0 13180 0
vsize: 52972
[startup+790.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 395188 0 0 0 78000 1012 0 0 25 0 1 0 835489059 56008704 12867 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13674 12867 1111 63 0 13611 0
vsize: 54696
[startup+800.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 418234 0 0 0 78946 1065 0 0 25 0 1 0 835489059 57118720 13164 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13945 13164 1111 63 0 13882 0
vsize: 55780
[startup+810.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 441107 0 0 0 79894 1117 0 0 25 0 1 0 835489059 58834944 13601 4294967295 134512640 134714508 3221224592 3221222592 1074913813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14364 13601 1111 63 0 14301 0
vsize: 57456
[startup+820.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 463837 0 0 0 80837 1175 0 0 25 0 1 0 835489059 60145664 13941 4294967295 134512640 134714508 3221224592 3221223008 1074117042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14719 13942 1111 63 0 14656 0
vsize: 58736
[startup+830.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 487051 0 0 0 81781 1232 0 0 25 0 1 0 835489059 61521920 14277 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15020 14277 1111 63 0 14957 0
vsize: 60080
[startup+840.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 509992 0 0 0 82721 1291 0 0 25 0 1 0 835489059 63320064 14653 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15459 14653 1111 63 0 15396 0
vsize: 61836
[startup+850.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 532945 0 0 0 83668 1345 0 0 25 0 1 0 835489059 67260416 15476 4294967295 134512640 134714508 3221224592 3221223008 1074116272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16421 15476 1111 63 0 16358 0
vsize: 65684
[startup+860.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 552854 0 0 0 84619 1394 0 0 25 0 1 0 835489059 68653056 15828 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 15828 1111 63 0 16698 0
vsize: 67044
[startup+870.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 576230 0 0 0 85560 1453 0 0 25 0 1 0 835489059 70258688 16216 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17191 16222 1111 63 0 17128 0
vsize: 68612
[startup+880.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 599337 0 0 0 86503 1511 0 0 25 0 1 0 835489059 71983104 16610 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17554 16596 1111 63 0 17491 0
vsize: 70296
[startup+890.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 621961 0 0 0 87448 1565 0 0 25 0 1 0 835489059 73199616 16939 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 16943 1111 63 0 17808 0
vsize: 71484
[startup+900.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 645501 0 0 0 88395 1619 0 0 25 0 1 0 835489059 74620928 17316 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18218 17316 1111 63 0 18155 0
vsize: 72872
[startup+910.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 668645 0 0 0 89339 1674 0 0 25 0 1 0 835489059 76615680 17709 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18705 17710 1111 63 0 18642 0
vsize: 74820
[startup+920.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 691899 0 0 0 90284 1730 0 0 25 0 1 0 835489059 77725696 18011 4294967295 134512640 134714508 3221224592 3221222624 1075088419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18954 18011 1111 63 0 18891 0
vsize: 75904
[startup+930.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 714764 0 0 0 91231 1784 0 0 25 0 1 0 835489059 79159296 18422 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19326 18427 1111 63 0 19263 0
vsize: 77304
[startup+940.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 737457 0 0 0 92179 1836 0 0 25 0 1 0 835489059 80297984 18732 4294967295 134512640 134714508 3221224592 3221222592 1074056544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18732 1111 63 0 19541 0
vsize: 78416
[startup+950.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 760385 0 0 0 93124 1890 0 0 25 0 1 0 835489059 82038784 19093 4294967295 134512640 134714508 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20029 19093 1111 63 0 19966 0
vsize: 80116
[startup+960.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 783782 0 0 0 94074 1940 0 0 25 0 1 0 835489059 83464192 19441 4294967295 134512640 134714508 3221224592 3221222320 1075828218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20377 19441 1111 63 0 20314 0
vsize: 81508
[startup+970.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 807134 0 0 0 95023 1992 0 0 25 0 1 0 835489059 84701184 19843 4294967295 134512640 134714508 3221224592 3221222416 1075142867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20679 19843 1111 63 0 20616 0
vsize: 82716
[startup+980.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 830832 0 0 0 95967 2048 0 0 25 0 1 0 835489059 86024192 20166 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21002 20166 1111 63 0 20939 0
vsize: 84008
[startup+990.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 853147 0 0 0 96914 2101 0 0 25 0 1 0 835489059 87437312 20511 4294967295 134512640 134714508 3221224592 3221222616 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21347 20511 1111 63 0 21284 0
vsize: 85388
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 876464 0 0 0 97864 2151 0 0 25 0 1 0 835489059 89223168 20884 4294967295 134512640 134714508 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21783 20884 1111 63 0 21720 0
vsize: 87132
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 899792 0 0 0 98814 2201 0 0 25 0 1 0 835489059 90664960 21271 4294967295 134512640 134714508 3221224592 3221222320 1075829506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22135 21271 1111 63 0 22072 0
vsize: 88540
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 922594 0 0 0 99764 2251 0 0 25 0 1 0 835489059 91865088 21628 4294967295 134512640 134714508 3221224592 3221223056 1074121018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22428 21628 1111 63 0 22365 0
vsize: 89712
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 944384 0 0 0 100714 2302 0 0 25 0 1 0 835489059 93589504 22029 4294967295 134512640 134714508 3221224592 3221223008 1074116176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22849 22031 1111 63 0 22786 0
vsize: 91396
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 967308 0 0 0 101660 2356 0 0 25 0 1 0 835489059 95170560 22372 4294967295 134512640 134714508 3221224592 3221222416 1075823260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23235 22372 1111 63 0 23172 0
vsize: 92940
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 990310 0 0 0 102604 2413 0 0 25 0 1 0 835489059 97046528 22866 4294967295 134512640 134714508 3221224592 3221222544 1074153698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23693 22866 1111 63 0 23630 0
vsize: 94772
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1001511 0 0 0 103576 2441 0 0 25 0 1 0 835489059 103440384 23902 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25254 23902 1111 63 0 25191 0
vsize: 101016
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1023114 0 0 0 104521 2495 0 0 25 0 1 0 835489059 105103360 24298 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25616 24280 1111 63 0 25553 0
vsize: 102640
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1045573 0 0 0 105469 2548 0 0 25 0 1 0 835489059 106278912 24604 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25947 24604 1111 63 0 25884 0
vsize: 103788
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054103 0 0 0 106447 2570 0 0 25 0 1 0 835489059 108052480 25038 4294967295 134512640 134714508 3221224592 3221222688 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 25038 1111 63 0 26317 0
vsize: 105520
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054222 0 0 0 107446 2571 0 0 25 0 1 0 835489059 108539904 25157 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26499 25157 1111 63 0 26436 0
vsize: 105996
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054328 0 0 0 108446 2572 0 0 25 0 1 0 835489059 109027328 25263 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26618 25263 1111 63 0 26555 0
vsize: 106472
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054397 0 0 0 109446 2572 0 0 25 0 1 0 835489059 109309952 25332 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26687 25332 1111 63 0 26624 0
vsize: 106748
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054480 0 0 0 110445 2573 0 0 25 0 1 0 835489059 109727744 25415 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26789 25415 1111 63 0 26726 0
vsize: 107156
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054537 0 0 0 111445 2573 0 0 25 0 1 0 835489059 109948928 25472 4294967295 134512640 134714508 3221224592 3221222704 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26843 25472 1111 63 0 26780 0
vsize: 107372
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054585 0 0 0 112444 2574 0 0 25 0 1 0 835489059 110145536 25520 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26891 25520 1111 63 0 26828 0
vsize: 107564
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054630 0 0 0 113444 2575 0 0 25 0 1 0 835489059 110329856 25565 4294967295 134512640 134714508 3221224592 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 25565 1111 63 0 26873 0
vsize: 107744
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054729 0 0 0 114443 2575 0 0 25 0 1 0 835489059 110747648 25664 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27038 25664 1111 63 0 26975 0
vsize: 108152
[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054768 0 0 0 115443 2576 0 0 25 0 1 0 835489059 110907392 25703 4294967295 134512640 134714508 3221224592 3221222656 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27077 25703 1111 63 0 27014 0
vsize: 108308
[startup+1190.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054805 0 0 0 116443 2576 0 0 25 0 1 0 835489059 111058944 25740 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27114 25740 1111 63 0 27051 0
vsize: 108456
[startup+1200.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) R 8038 1586 1585 0 -1 0 1054843 0 0 0 117442 2577 0 0 25 0 1 0 835489059 111214592 25778 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27152 25778 1111 63 0 27089 0
vsize: 108608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 8043
Raw data (stat): 8039 (bsolo_lpr_cuts) Z 8038 1586 1585 0 -1 1036 1054843 0 0 0 117442 2581 0 0 25 0 1 0 835489059 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.25
CPU user time (s): 1174.43
CPU system time (s): 25.8171
CPU usage (%): 100.015
Max. virtual memory (Kb): 108608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####