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 26620

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-24 16:24:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12364 boxname=wulflinc6 idbench=952 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 12364
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        539336 kB
Buffers:          5264 kB
Cached:         459108 kB
SwapCached:        408 kB
Active:          18564 kB
Inactive:       448124 kB
HighTotal:      131008 kB
HighFree:        33544 kB
LowTotal:       903652 kB
LowFree:        505792 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5704 kB
Slab:            22876 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:44:51 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 12364 7 1200.45 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.598 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.2345
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.97 1.01 1.02 2/54 26786
Raw data (stat): 26786 (runsolver) R 26785 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773435611 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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+9.99977 s]
Raw data (loadavg): 0.97 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6445 0 0 0 981 16 0 0 25 0 1 0 773435611 29597696 6367 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7226 6367 1111 63 0 7163 0
vsize: 28904
[startup+20.0003 s]
Raw data (loadavg): 0.98 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6487 0 0 0 1981 16 0 0 25 0 1 0 773435611 29761536 6409 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7266 6409 1111 63 0 7203 0
vsize: 29064
[startup+30 s]
Raw data (loadavg): 0.98 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6514 0 0 0 2981 16 0 0 25 0 1 0 773435611 29835264 6436 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 6436 1111 63 0 7221 0
vsize: 29136
[startup+40.0001 s]
Raw data (loadavg): 0.98 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6538 0 0 0 3981 17 0 0 25 0 1 0 773435611 29904896 6458 4294967295 134512640 134714508 3221224592 3221223232 134606494 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.0006 s]
Raw data (loadavg): 0.99 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6599 0 0 0 4981 17 0 0 25 0 1 0 773435611 30126080 6494 4294967295 134512640 134714508 3221224592 3221223232 134606494 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.0004 s]
Raw data (loadavg): 0.99 1.01 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6618 0 0 0 5982 17 0 0 25 0 1 0 773435611 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606456 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.0006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6618 0 0 0 6982 17 0 0 25 0 1 0 773435611 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606494 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.001 s]
Raw data (loadavg): 0.99 1.00 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6640 0 0 0 7982 17 0 0 25 0 1 0 773435611 30261248 6534 4294967295 134512640 134714508 3221224592 3221223264 134627187 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.0008 s]
Raw data (loadavg): 0.99 1.00 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 7832 0 0 0 8978 21 0 0 25 0 1 0 773435611 30314496 6701 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29604
[startup+99.9999 s]
Raw data (loadavg): 0.99 1.00 1.01 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 9274 0 0 0 9974 25 0 0 25 0 1 0 773435611 30695424 6739 4294967295 134512640 134714508 3221224592 3221220588 1074788136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7494 6739 1111 63 0 7431 0
vsize: 29976
[startup+110 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 10584 0 0 0 10970 30 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221222992 1074153782 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 11885 0 0 0 11966 34 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221223232 134649075 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12384 0 0 0 12964 37 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221223008 1074116396 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12454 0 0 0 13963 38 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221221696 1074138752 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12552 0 0 0 14962 39 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222808 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12602 0 0 0 15962 40 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221220796 1075563087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+169.999 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12707 0 0 0 16961 40 0 0 25 0 1 0 773435611 30502912 6706 4294967295 134512640 134714508 3221224592 3221220832 1075115777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7447 6706 1111 63 0 7384 0
vsize: 29788
[startup+180 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12810 0 0 0 17961 41 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221223260 1074016544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+190 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12914 0 0 0 18961 41 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+200 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13018 0 0 0 19961 42 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222896 1074153786 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13122 0 0 0 20960 43 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222976 1074153736 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13224 0 0 0 21959 44 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222216 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+229.999 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13330 0 0 0 22959 45 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222416 1075823625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+240 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13432 0 0 0 23958 46 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222808 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+249.999 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13506 0 0 0 24958 46 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222608 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+260 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13567 0 0 0 25958 47 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222416 1075823576 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13597 0 0 0 26958 48 0 0 25 0 1 0 773435611 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+280 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13608 0 0 0 27957 48 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222844 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+290 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13672 0 0 0 28957 49 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223228 134649400 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.001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13743 0 0 0 29957 49 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222520 1077380592 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13743 0 0 0 30957 50 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222424 1074063729 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 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13789 0 0 0 31956 51 0 0 25 0 1 0 773435611 30466048 6707 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6707 1111 63 0 7375 0
vsize: 29752
[startup+330.001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13963 0 0 0 32954 53 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223232 134650104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+340 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14077 0 0 0 33954 54 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221221632 1075860004 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.001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14190 0 0 0 34953 55 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221221696 1074138892 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.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14353 0 0 0 35952 57 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222904 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+370.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14530 0 0 0 36951 58 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223008 1074117062 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.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14736 0 0 0 37951 59 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222976 1074153749 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.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14898 0 0 0 38949 61 0 0 25 0 1 0 773435611 30314496 6707 4294967295 134512640 134714508 3221224592 3221222200 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6707 1111 63 0 7338 0
vsize: 29604
[startup+400.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15125 0 0 0 39947 63 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222848 1074153672 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.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15316 0 0 0 40946 65 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222560 1074153675 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.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15483 0 0 0 41944 67 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222168 1074138271 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.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15689 0 0 0 42942 69 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222592 1074916549 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.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15968 0 0 0 43941 71 0 0 25 0 1 0 773435611 30515200 6711 4294967295 134512640 134714508 3221224592 3221222656 1075961773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 6711 1111 63 0 7387 0
vsize: 29800
[startup+450.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 16274 0 0 0 44938 74 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221223232 134650104 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17679 0 0 0 45934 79 0 0 25 0 1 0 773435611 30556160 6711 4294967295 134512640 134714508 3221224592 3221221404 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7460 6711 1111 63 0 7397 0
vsize: 29840
[startup+470.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 46933 80 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222680 1074138162 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 47933 80 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1074153782 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 48933 81 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222640 1074153648 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 49933 81 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222592 1074919746 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 50933 82 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221221784 1074138285 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 51933 82 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222512 1075802501 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.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 52932 83 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222480 1074050818 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 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 53932 83 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222616 1077380592 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 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 54932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222424 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+560.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 55932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221221872 1074140704 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 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 56932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222496 1074153663 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.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 57932 85 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222792 1074138162 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.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 58931 86 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222824 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+600.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 59931 87 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221220556 1074860626 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.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17981 0 0 0 60930 88 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221223216 134649123 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.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 30403 0 0 0 61894 125 0 0 25 0 1 0 773435611 30683136 6800 4294967295 134512640 134714508 3221224592 3221222608 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6800 1111 63 0 7428 0
vsize: 29964
[startup+630.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 49462 0 0 0 62843 176 0 0 25 0 1 0 773435611 31522816 7005 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7696 7005 1111 63 0 7633 0
vsize: 30784
[startup+640.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 68563 0 0 0 63795 224 0 0 25 0 1 0 773435611 32419840 7159 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7915 7161 1111 63 0 7852 0
vsize: 31660
[startup+650.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 77860 0 0 0 64769 251 0 0 25 0 1 0 773435611 32751616 7306 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7996 7306 1111 63 0 7933 0
vsize: 31984
[startup+660.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 97748 0 0 0 65718 302 0 0 25 0 1 0 773435611 34226176 7603 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8356 7603 1111 63 0 8293 0
vsize: 33424
[startup+670.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 120359 0 0 0 66659 362 0 0 25 0 1 0 773435611 35700736 7991 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8716 7995 1111 63 0 8653 0
vsize: 34864
[startup+680.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 142256 0 0 0 67604 417 0 0 25 0 1 0 773435611 37466112 8439 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9147 8441 1111 63 0 9084 0
vsize: 36588
[startup+690.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 165481 0 0 0 68548 473 0 0 25 0 1 0 773435611 39071744 8776 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9539 8784 1111 63 0 9476 0
vsize: 38156
[startup+700.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 188619 0 0 0 69496 526 0 0 25 0 1 0 773435611 40509440 9182 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9890 9182 1111 63 0 9827 0
vsize: 39560
[startup+710.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 210382 0 0 0 70442 580 0 0 25 0 1 0 773435611 42434560 9657 4294967295 134512640 134714508 3221224592 3221222912 134650190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10360 9657 1111 63 0 10297 0
vsize: 41440
[startup+720.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 232947 0 0 0 71385 638 0 0 25 0 1 0 773435611 43880448 10010 4294967295 134512640 134714508 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10713 10010 1111 63 0 10650 0
vsize: 42852
[startup+730.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 254858 0 0 0 72336 686 0 0 25 0 1 0 773435611 45469696 10398 4294967295 134512640 134714508 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11101 10398 1111 63 0 11038 0
vsize: 44404
[startup+740.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 277633 0 0 0 73283 740 0 0 25 0 1 0 773435611 47132672 10740 4294967295 134512640 134714508 3221224592 3221222320 1075828218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11507 10740 1111 63 0 11444 0
vsize: 46028
[startup+750.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 299364 0 0 0 74233 790 0 0 25 0 1 0 773435611 48361472 11104 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11807 11104 1111 63 0 11744 0
vsize: 47228
[startup+760.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 321596 0 0 0 75180 843 0 0 25 0 1 0 773435611 51089408 11664 4294967295 134512640 134714508 3221224592 3221222832 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12473 11664 1111 63 0 12410 0
vsize: 49892
[startup+770.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 344762 0 0 0 76127 897 0 0 25 0 1 0 773435611 52690944 12054 4294967295 134512640 134714508 3221224592 3221222592 1074913776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12864 12054 1111 63 0 12801 0
vsize: 51456
[startup+780.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 367958 0 0 0 77073 951 0 0 25 0 1 0 773435611 54210560 12427 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13235 12427 1111 63 0 13172 0
vsize: 52940
[startup+790.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 391386 0 0 0 78021 1003 0 0 25 0 1 0 773435611 55517184 12772 4294967295 134512640 134714508 3221224592 3221222484 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13538 12756 1111 63 0 13475 0
vsize: 54216
[startup+800.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 414460 0 0 0 78966 1059 0 0 25 0 1 0 773435611 57028608 13141 4294967295 134512640 134714508 3221224592 3221222320 1075635641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 13141 1111 63 0 13860 0
vsize: 55692
[startup+810.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 437450 0 0 0 79915 1110 0 0 25 0 1 0 773435611 58417152 13512 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14262 13512 1111 63 0 14199 0
vsize: 57048
[startup+820.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 460299 0 0 0 80862 1164 0 0 25 0 1 0 773435611 60174336 13885 4294967295 134512640 134714508 3221224592 3221222560 1075961280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14691 13885 1111 63 0 14628 0
vsize: 58764
[startup+830.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 483281 0 0 0 81811 1215 0 0 25 0 1 0 773435611 61304832 14224 4294967295 134512640 134714508 3221224592 3221222616 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14967 14224 1111 63 0 14904 0
vsize: 59868
[startup+840.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 506329 0 0 0 82757 1270 0 0 25 0 1 0 773435611 63426560 14649 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15485 14649 1111 63 0 15422 0
vsize: 61940
[startup+850.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 529343 0 0 0 83698 1329 0 0 25 0 1 0 773435611 64331776 14943 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15706 14943 1111 63 0 15643 0
vsize: 62824
[startup+860.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 549016 0 0 0 84651 1376 0 0 25 0 1 0 773435611 68726784 15782 4294967295 134512640 134714508 3221224592 3221222240 1075819127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16779 15782 1111 63 0 16716 0
vsize: 67116
[startup+870.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 572379 0 0 0 85600 1428 0 0 25 0 1 0 773435611 70008832 16159 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17092 16159 1111 63 0 17029 0
vsize: 68368
[startup+880.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 595406 0 0 0 86547 1481 0 0 25 0 1 0 773435611 71335936 16483 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17416 16483 1111 63 0 17353 0
vsize: 69664
[startup+890.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 617849 0 0 0 87497 1532 0 0 25 0 1 0 773435611 73457664 16937 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17934 16937 1111 63 0 17871 0
vsize: 71736
[startup+900.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 641313 0 0 0 88439 1590 0 0 25 0 1 0 773435611 74223616 17219 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18121 17219 1111 63 0 18058 0
vsize: 72484
[startup+910.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 664346 0 0 0 89385 1644 0 0 25 0 1 0 773435611 76345344 17643 4294967295 134512640 134714508 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18639 17643 1111 63 0 18576 0
vsize: 74556
[startup+920.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 687443 0 0 0 90330 1699 0 0 25 0 1 0 773435611 77250560 17939 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18860 17939 1111 63 0 18797 0
vsize: 75440
[startup+930.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 710385 0 0 0 91274 1756 0 0 25 0 1 0 773435611 79249408 18370 4294967295 134512640 134714508 3221224592 3221221536 1074620308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19348 18375 1111 63 0 19285 0
vsize: 77392
[startup+940.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 733031 0 0 0 92224 1806 0 0 25 0 1 0 773435611 79974400 18653 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19525 18653 1111 63 0 19462 0
vsize: 78100
[startup+950.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 756243 0 0 0 93171 1860 0 0 25 0 1 0 773435611 81432576 19009 4294967295 134512640 134714508 3221224592 3221222596 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19881 19009 1111 63 0 19818 0
vsize: 79524
[startup+960.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 779100 0 0 0 94116 1915 0 0 25 0 1 0 773435611 82993152 19390 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20262 19390 1111 63 0 20199 0
vsize: 81048
[startup+970.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 802222 0 0 0 95062 1969 0 0 25 0 1 0 773435611 84598784 19750 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20654 19750 1111 63 0 20591 0
vsize: 82616
[startup+980.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 825798 0 0 0 96007 2024 0 0 25 0 1 0 773435611 85839872 20121 4294967295 134512640 134714508 3221224592 3221222344 1074137219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20957 20121 1111 63 0 20894 0
vsize: 83828
[startup+990.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 848357 0 0 0 96956 2076 0 0 25 0 1 0 773435611 87408640 20486 4294967295 134512640 134714508 3221224592 3221221712 1074865092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21340 20487 1111 63 0 21277 0
vsize: 85360
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 871313 0 0 0 97901 2132 0 0 25 0 1 0 773435611 88567808 20787 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21623 20787 1111 63 0 21560 0
vsize: 86492
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 894491 0 0 0 98848 2185 0 0 25 0 1 0 773435611 90152960 21204 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22010 21204 1111 63 0 21947 0
vsize: 88040
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 917309 0 0 0 99798 2235 0 0 25 0 1 0 773435611 91533312 21527 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22347 21527 1111 63 0 22284 0
vsize: 89388
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 939067 0 0 0 100749 2284 0 0 25 0 1 0 773435611 93093888 21928 4294967295 134512640 134714508 3221224592 3221222592 1074056291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22728 21928 1111 63 0 22665 0
vsize: 90912
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 961805 0 0 0 101697 2337 0 0 25 0 1 0 773435611 94838784 22328 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23154 22328 1111 63 0 23091 0
vsize: 92616
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 985071 0 0 0 102643 2391 0 0 25 0 1 0 773435611 96100352 22662 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23462 22662 1111 63 0 23399 0
vsize: 93848
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 996094 0 0 0 103613 2421 0 0 25 0 1 0 773435611 103067648 23814 4294967295 134512640 134714508 3221224592 3221222592 1074913856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25163 23814 1111 63 0 25100 0
vsize: 100652
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1017922 0 0 0 104563 2472 0 0 25 0 1 0 773435611 104591360 24180 4294967295 134512640 134714508 3221224592 3221222908 1074138448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25535 24180 1111 63 0 25472 0
vsize: 102140
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1040183 0 0 0 105511 2524 0 0 25 0 1 0 773435611 106221568 24567 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25933 24567 1111 63 0 25870 0
vsize: 103732
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054067 0 0 0 106477 2558 0 0 25 0 1 0 773435611 107905024 25002 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26344 25002 1111 63 0 26281 0
vsize: 105376
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054201 0 0 0 107476 2560 0 0 25 0 1 0 773435611 108453888 25136 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26478 25136 1111 63 0 26415 0
vsize: 105912
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054290 0 0 0 108476 2561 0 0 25 0 1 0 773435611 108949504 25225 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26599 25225 1111 63 0 26536 0
vsize: 106396
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054378 0 0 0 109475 2561 0 0 25 0 1 0 773435611 109232128 25313 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26668 25313 1111 63 0 26605 0
vsize: 106672
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054462 0 0 0 110475 2562 0 0 25 0 1 0 773435611 109654016 25397 4294967295 134512640 134714508 3221224592 3221222704 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26771 25397 1111 63 0 26708 0
vsize: 107084
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054516 0 0 0 111475 2562 0 0 25 0 1 0 773435611 109875200 25451 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26825 25451 1111 63 0 26762 0
vsize: 107300
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054569 0 0 0 112475 2563 0 0 25 0 1 0 773435611 110080000 25504 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26875 25504 1111 63 0 26812 0
vsize: 107500
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054614 0 0 0 113474 2564 0 0 25 0 1 0 773435611 110264320 25549 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26920 25549 1111 63 0 26857 0
vsize: 107680
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054657 0 0 0 114474 2564 0 0 25 0 1 0 773435611 110440448 25592 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26963 25592 1111 63 0 26900 0
vsize: 107852
[startup+1180.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054753 0 0 0 115473 2566 0 0 25 0 1 0 773435611 110845952 25688 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 25688 1111 63 0 26999 0
vsize: 108248
[startup+1190.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054790 0 0 0 116473 2566 0 0 25 0 1 0 773435611 110997504 25725 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27099 25725 1111 63 0 27036 0
vsize: 108396
[startup+1200.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 26786
Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054828 0 0 0 117473 2567 0 0 25 0 1 0 773435611 111153152 25763 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27137 25763 1111 63 0 27074 0
vsize: 108548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 26786
Raw data (stat): 26786 (bsolo_lpr) Z 26785 25568 25567 0 -1 1036 1054828 0 0 0 117473 2571 0 0 25 0 1 0 773435611 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.08
CPU time (s): 1200.45
CPU user time (s): 1174.74
CPU system time (s): 25.7151
CPU usage (%): 100.031
Max. virtual memory (Kb): 108548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####