PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
MD5SUM	30256c883dd8af773c334a2b26410bd9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9400
Biggest coefficient in the objective function	2494038016
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	391862963250
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	2494038016
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	391862963250
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.092985
Number of variables	10680
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	40
Maximum length of a constraint	1700
Trace number 41361

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 10:59:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29423 boxname=wulflinc6 idbench=1207 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  30256c883dd8af773c334a2b26410bd9  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-degen2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-degen2.opb
IDLAUNCH: 29423
/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:        467924 kB
Buffers:         25784 kB
Cached:         519392 kB
SwapCached:        932 kB
Active:          32548 kB
Inactive:       514692 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        467672 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13756 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:18:46 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 29423 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10680 variables and 665 constraints.
c After prepocess the problem consists of 4628 variables and 846 constraints.
c preprocess terminated 36.851 s
c Initial Lower Bound: 1553830807
c Lower Bound Elapsed time: 4.26725
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.04 0.99 0.92 1/54 10845
Raw data (stat): 10845 (runsolver) R 10844 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909740020 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 10845
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 5981 0 0 0 986 12 0 0 25 0 1 0 909740020 37548032 5901 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 5901 1111 63 0 9104 0
vsize: 36668
[startup+20.0009 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10845
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 10843 0 0 0 1973 24 0 0 25 0 1 0 909740020 47624192 10712 4294967295 134512640 134716908 3221224560 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11627 10712 1111 63 0 11564 0
vsize: 46508
[startup+30.0014 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 10845
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 11848 0 0 0 2970 28 0 0 25 0 1 0 909740020 51200000 11602 4294967295 134512640 134716908 3221224560 3221223232 134627186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12500 11602 1111 63 0 12437 0
vsize: 50000
[startup+40.0011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10845
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 13425 0 0 0 3967 31 0 0 25 0 1 0 909740020 56074240 12769 4294967295 134512640 134716908 3221224560 3221220624 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13690 12769 1111 63 0 13627 0
vsize: 54760
[startup+50.0013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 10845
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 16006 0 0 0 4961 38 0 0 25 0 1 0 909740020 56365056 12886 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13761 12886 1111 63 0 13698 0
vsize: 55044
[startup+60.002 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17927 0 0 0 5952 46 0 0 25 0 1 0 909740020 54575104 12575 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12575 1111 63 0 13261 0
vsize: 53296
[startup+70.0025 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17927 0 0 0 6952 46 0 0 25 0 1 0 909740020 54575104 12575 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12575 1111 63 0 13261 0
vsize: 53296
[startup+80.0026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17927 0 0 0 7952 47 0 0 25 0 1 0 909740020 54575104 12575 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12575 1111 63 0 13261 0
vsize: 53296
[startup+90.0032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17927 0 0 0 8952 47 0 0 25 0 1 0 909740020 54575104 12575 4294967295 134512640 134716908 3221224560 3221223396 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12575 1111 63 0 13261 0
vsize: 53296
[startup+100.003 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17927 0 0 0 9952 48 0 0 25 0 1 0 909740020 54575104 12575 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12575 1111 63 0 13261 0
vsize: 53296
[startup+110.004 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 10952 48 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577058 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+120.005 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 10898
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 11952 48 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+130.004 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 12952 49 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+140.005 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 13952 49 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+150.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 14952 49 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+160.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 15952 50 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+170.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 16952 50 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+180.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 17952 51 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+190.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 18952 51 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+200.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 19952 51 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+210.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 20952 52 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+220.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 21952 52 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+230.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 22952 53 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 23952 53 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 24952 53 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 25952 53 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223396 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 26952 54 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 27952 54 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223440 134577075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17928 0 0 0 28952 54 0 0 25 0 1 0 909740020 54575104 12576 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13324 12576 1111 63 0 13261 0
vsize: 53296
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17929 0 0 0 29953 54 0 0 25 0 1 0 909740020 54710272 12577 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 12577 1111 63 0 13294 0
vsize: 53428
[startup+310.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17937 0 0 0 30953 55 0 0 25 0 1 0 909740020 54710272 12585 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 12585 1111 63 0 13294 0
vsize: 53428
[startup+320.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17946 0 0 0 31952 56 0 0 25 0 1 0 909740020 54710272 12594 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 12594 1111 63 0 13294 0
vsize: 53428
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 17975 0 0 0 32952 56 0 0 25 0 1 0 909740020 54849536 12623 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13391 12623 1111 63 0 13328 0
vsize: 53564
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18015 0 0 0 33952 56 0 0 25 0 1 0 909740020 54984704 12663 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13424 12663 1111 63 0 13361 0
vsize: 53696
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18047 0 0 0 34952 57 0 0 25 0 1 0 909740020 55119872 12695 4294967295 134512640 134716908 3221224560 3221223440 134577075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13457 12695 1111 63 0 13394 0
vsize: 53828
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10900
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18069 0 0 0 35952 57 0 0 25 0 1 0 909740020 55255040 12717 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13490 12717 1111 63 0 13427 0
vsize: 53960
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18074 0 0 0 36952 57 0 0 25 0 1 0 909740020 55255040 12722 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13490 12722 1111 63 0 13427 0
vsize: 53960
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18082 0 0 0 37952 58 0 0 25 0 1 0 909740020 55255040 12730 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13490 12730 1111 63 0 13427 0
vsize: 53960
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18100 0 0 0 38952 58 0 0 25 0 1 0 909740020 55390208 12748 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13523 12748 1111 63 0 13460 0
vsize: 54092
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18127 0 0 0 39952 58 0 0 25 0 1 0 909740020 55390208 12775 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13523 12775 1111 63 0 13460 0
vsize: 54092
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18150 0 0 0 40951 59 0 0 25 0 1 0 909740020 55525376 12798 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13556 12798 1111 63 0 13493 0
vsize: 54224
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18164 0 0 0 41951 60 0 0 25 0 1 0 909740020 55660544 12812 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13589 12812 1111 63 0 13526 0
vsize: 54356
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18170 0 0 0 42952 60 0 0 25 0 1 0 909740020 55660544 12818 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13589 12818 1111 63 0 13526 0
vsize: 54356
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18181 0 0 0 43952 60 0 0 25 0 1 0 909740020 55660544 12829 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13589 12829 1111 63 0 13526 0
vsize: 54356
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18208 0 0 0 44951 61 0 0 25 0 1 0 909740020 55795712 12856 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13622 12856 1111 63 0 13559 0
vsize: 54488
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18232 0 0 0 45951 61 0 0 25 0 1 0 909740020 55930880 12880 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12880 1111 63 0 13592 0
vsize: 54620
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18238 0 0 0 46951 62 0 0 25 0 1 0 909740020 55930880 12886 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12886 1111 63 0 13592 0
vsize: 54620
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18242 0 0 0 47951 62 0 0 25 0 1 0 909740020 55930880 12890 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12890 1111 63 0 13592 0
vsize: 54620
[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18258 0 0 0 48951 63 0 0 25 0 1 0 909740020 55930880 12906 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13655 12906 1111 63 0 13592 0
vsize: 54620
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18262 0 0 0 49951 64 0 0 25 0 1 0 909740020 56066048 12910 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 12910 1111 63 0 13625 0
vsize: 54752
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18277 0 0 0 50950 64 0 0 25 0 1 0 909740020 56066048 12925 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 12925 1111 63 0 13625 0
vsize: 54752
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18279 0 0 0 51950 65 0 0 25 0 1 0 909740020 56066048 12927 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 12927 1111 63 0 13625 0
vsize: 54752
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18293 0 0 0 52950 65 0 0 25 0 1 0 909740020 56201216 12941 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13721 12941 1111 63 0 13658 0
vsize: 54884
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18310 0 0 0 53950 65 0 0 25 0 1 0 909740020 56201216 12958 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13721 12958 1111 63 0 13658 0
vsize: 54884
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18316 0 0 0 54950 66 0 0 25 0 1 0 909740020 56201216 12964 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13721 12964 1111 63 0 13658 0
vsize: 54884
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18327 0 0 0 55950 66 0 0 25 0 1 0 909740020 56336384 12975 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12975 1111 63 0 13691 0
vsize: 55016
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18339 0 0 0 56950 67 0 0 25 0 1 0 909740020 56336384 12987 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12987 1111 63 0 13691 0
vsize: 55016
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18339 0 0 0 57950 67 0 0 25 0 1 0 909740020 56336384 12987 4294967295 134512640 134716908 3221224560 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12987 1111 63 0 13691 0
vsize: 55016
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18339 0 0 0 58950 67 0 0 25 0 1 0 909740020 56336384 12987 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12987 1111 63 0 13691 0
vsize: 55016
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18341 0 0 0 59950 68 0 0 25 0 1 0 909740020 56336384 12989 4294967295 134512640 134716908 3221224560 3221223440 134577039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12989 1111 63 0 13691 0
vsize: 55016
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18344 0 0 0 60950 68 0 0 25 0 1 0 909740020 56336384 12992 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12992 1111 63 0 13691 0
vsize: 55016
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18348 0 0 0 61949 69 0 0 25 0 1 0 909740020 56336384 12996 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12996 1111 63 0 13691 0
vsize: 55016
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18350 0 0 0 62950 69 0 0 25 0 1 0 909740020 56336384 12998 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 12998 1111 63 0 13691 0
vsize: 55016
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18355 0 0 0 63949 70 0 0 25 0 1 0 909740020 56336384 13003 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 13003 1111 63 0 13691 0
vsize: 55016
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18358 0 0 0 64949 70 0 0 25 0 1 0 909740020 56336384 13006 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13754 13006 1111 63 0 13691 0
vsize: 55016
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18360 0 0 0 65949 70 0 0 25 0 1 0 909740020 56471552 13008 4294967295 134512640 134716908 3221224560 3221223348 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13008 1111 63 0 13724 0
vsize: 55148
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18364 0 0 0 66950 70 0 0 25 0 1 0 909740020 56471552 13012 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13012 1111 63 0 13724 0
vsize: 55148
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18365 0 0 0 67950 71 0 0 25 0 1 0 909740020 56471552 13013 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13013 1111 63 0 13724 0
vsize: 55148
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18365 0 0 0 68950 71 0 0 25 0 1 0 909740020 56471552 13013 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13013 1111 63 0 13724 0
vsize: 55148
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18368 0 0 0 69950 71 0 0 25 0 1 0 909740020 56471552 13016 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13016 1111 63 0 13724 0
vsize: 55148
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18368 0 0 0 70950 72 0 0 25 0 1 0 909740020 56471552 13016 4294967295 134512640 134716908 3221224560 3221223152 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13016 1111 63 0 13724 0
vsize: 55148
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18374 0 0 0 71950 72 0 0 25 0 1 0 909740020 56471552 13022 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13022 1111 63 0 13724 0
vsize: 55148
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18378 0 0 0 72950 72 0 0 25 0 1 0 909740020 56471552 13026 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13026 1111 63 0 13724 0
vsize: 55148
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18381 0 0 0 73950 72 0 0 25 0 1 0 909740020 56471552 13029 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13029 1111 63 0 13724 0
vsize: 55148
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18381 0 0 0 74950 73 0 0 25 0 1 0 909740020 56471552 13029 4294967295 134512640 134716908 3221224560 3221223392 134600260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13029 1111 63 0 13724 0
vsize: 55148
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18382 0 0 0 75950 73 0 0 25 0 1 0 909740020 56471552 13030 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13030 1111 63 0 13724 0
vsize: 55148
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18383 0 0 0 76950 74 0 0 25 0 1 0 909740020 56471552 13031 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13031 1111 63 0 13724 0
vsize: 55148
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18390 0 0 0 77950 74 0 0 25 0 1 0 909740020 56471552 13038 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13787 13038 1111 63 0 13724 0
vsize: 55148
[startup+790.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18397 0 0 0 78950 74 0 0 25 0 1 0 909740020 56606720 13045 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13045 1111 63 0 13757 0
vsize: 55280
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18404 0 0 0 79950 75 0 0 25 0 1 0 909740020 56606720 13052 4294967295 134512640 134716908 3221224560 3221223344 134597619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13052 1111 63 0 13757 0
vsize: 55280
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18406 0 0 0 80950 75 0 0 25 0 1 0 909740020 56606720 13054 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13054 1111 63 0 13757 0
vsize: 55280
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18406 0 0 0 81950 76 0 0 25 0 1 0 909740020 56606720 13054 4294967295 134512640 134716908 3221224560 3221223348 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13054 1111 63 0 13757 0
vsize: 55280
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18406 0 0 0 82949 76 0 0 25 0 1 0 909740020 56606720 13054 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13054 1111 63 0 13757 0
vsize: 55280
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18406 0 0 0 83950 76 0 0 25 0 1 0 909740020 56606720 13054 4294967295 134512640 134716908 3221224560 3221223396 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13054 1111 63 0 13757 0
vsize: 55280
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18415 0 0 0 84950 76 0 0 25 0 1 0 909740020 56606720 13063 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13063 1111 63 0 13757 0
vsize: 55280
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18416 0 0 0 85950 77 0 0 25 0 1 0 909740020 56606720 13064 4294967295 134512640 134716908 3221224560 3221223440 134577104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13064 1111 63 0 13757 0
vsize: 55280
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18416 0 0 0 86950 77 0 0 25 0 1 0 909740020 56606720 13064 4294967295 134512640 134716908 3221224560 3221223360 134597604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13064 1111 63 0 13757 0
vsize: 55280
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18419 0 0 0 87950 78 0 0 25 0 1 0 909740020 56606720 13067 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13067 1111 63 0 13757 0
vsize: 55280
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18421 0 0 0 88949 78 0 0 25 0 1 0 909740020 56606720 13069 4294967295 134512640 134716908 3221224560 3221223336 134600357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13069 1111 63 0 13757 0
vsize: 55280
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18421 0 0 0 89950 78 0 0 25 0 1 0 909740020 56606720 13069 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13820 13069 1111 63 0 13757 0
vsize: 55280
[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 90950 79 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 91950 79 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 92950 79 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 93950 80 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 94950 80 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 95950 80 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 96949 81 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 97949 81 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223420 134600261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 98950 82 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 99950 82 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 100950 82 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 101949 83 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 102949 83 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 103949 84 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 104949 84 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223384 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 105950 84 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18425 0 0 0 106950 85 0 0 25 0 1 0 909740020 56741888 13073 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13073 1111 63 0 13790 0
vsize: 55412
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18436 0 0 0 107949 85 0 0 25 0 1 0 909740020 56741888 13084 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13084 1111 63 0 13790 0
vsize: 55412
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18442 0 0 0 108949 86 0 0 25 0 1 0 909740020 56741888 13090 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13090 1111 63 0 13790 0
vsize: 55412
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18453 0 0 0 109950 86 0 0 25 0 1 0 909740020 56741888 13101 4294967295 134512640 134716908 3221224560 3221223296 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13101 1111 63 0 13790 0
vsize: 55412
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18453 0 0 0 110950 86 0 0 25 0 1 0 909740020 56741888 13101 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13101 1111 63 0 13790 0
vsize: 55412
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18456 0 0 0 111950 86 0 0 25 0 1 0 909740020 56741888 13104 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13104 1111 63 0 13790 0
vsize: 55412
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18456 0 0 0 112950 87 0 0 25 0 1 0 909740020 56741888 13104 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13104 1111 63 0 13790 0
vsize: 55412
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18456 0 0 0 113950 87 0 0 25 0 1 0 909740020 56741888 13104 4294967295 134512640 134716908 3221224560 3221223328 134597639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13104 1111 63 0 13790 0
vsize: 55412
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18456 0 0 0 114950 87 0 0 25 0 1 0 909740020 56741888 13104 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13853 13104 1111 63 0 13790 0
vsize: 55412
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18459 0 0 0 115950 88 0 0 25 0 1 0 909740020 56877056 13107 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13886 13107 1111 63 0 13823 0
vsize: 55544
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18459 0 0 0 116950 88 0 0 25 0 1 0 909740020 56877056 13107 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13886 13107 1111 63 0 13823 0
vsize: 55544
[startup+1174.68 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 10902
Raw data (stat): 10845 (bsolo_lpr_cuts-) R 10844 25568 25567 0 -1 0 18459 0 0 0 116950 88 0 0 25 0 1 0 909740020 56877056 13107 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13886 13107 1111 63 0 13823 0
vsize: 0

Child status: 0
Real time (s): 1174.68
CPU time (s): 1175.04
CPU user time (s): 1174.13
CPU system time (s): 0.908861
CPU usage (%): 100.03
Max. virtual memory (Kb): 55544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####