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-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
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	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 41400

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 11:24:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29458 boxname=wulflinc4 idbench=1242 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 29458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        797252 kB
Buffers:          3736 kB
Cached:         213328 kB
SwapCached:        876 kB
Active:          24092 kB
Inactive:       194980 kB
HighTotal:      131008 kB
HighFree:        12880 kB
LowTotal:       903652 kB
LowFree:        784372 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            12744 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:44:30 (client local time) WITH STATUS 0 IN 1175.7 SECONDS
stats: 29458 7 1175.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4060 variables and 294 constraints.
c After prepocess the problem consists of 3659 variables and 383 constraints.
c preprocess terminated 2.074 s
c Initial Lower Bound: -6681
c Lower Bound Elapsed time: 0.4645
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.68 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): 0.84 0.94 0.90 1/54 14979
Raw data (stat): 14979 (runsolver) R 14978 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909885641 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 9338 0 0 0 974 23 0 0 25 0 1 0 909885641 22220800 4707 4294967295 134512640 134716908 3221224560 3221221832 1077377203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5425 4707 1111 63 0 5362 0
vsize: 21700
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 15130 0 1 0 1956 37 0 0 25 0 1 0 909885641 22863872 4869 4294967295 134512640 134716908 3221224560 3221222048 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5582 4869 1111 63 0 5519 0
vsize: 22328
[startup+30.0028 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 19772 0 1 0 2944 49 0 0 25 0 1 0 909885641 22888448 4875 4294967295 134512640 134716908 3221224560 3221222240 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4875 1111 63 0 5525 0
vsize: 22352
[startup+40.0032 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 24951 0 1 0 3934 59 0 0 25 0 1 0 909885641 23126016 4933 4294967295 134512640 134716908 3221224560 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5646 4933 1111 63 0 5583 0
vsize: 22584
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 29207 0 1 0 4924 69 0 0 25 0 1 0 909885641 23875584 5020 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 5020 1111 63 0 5766 0
vsize: 23316
[startup+60.0043 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 34071 0 1 0 5914 79 0 0 25 0 1 0 909885641 22822912 4859 4294967295 134512640 134716908 3221224560 3221222608 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5572 4859 1111 63 0 5509 0
vsize: 22288
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 37961 0 1 0 6905 89 0 0 25 0 1 0 909885641 23433216 5008 4294967295 134512640 134716908 3221224560 3221222560 1074918476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5721 5008 1111 63 0 5658 0
vsize: 22884
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 42510 0 1 0 7895 99 0 0 25 0 1 0 909885641 23273472 4969 4294967295 134512640 134716908 3221224560 3221222248 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5682 4969 1111 63 0 5619 0
vsize: 22728
[startup+90.0058 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 46712 0 1 0 8884 110 0 0 25 0 1 0 909885641 23384064 4996 4294967295 134512640 134716908 3221224560 3221222336 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4996 1111 63 0 5646 0
vsize: 22836
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 51736 0 1 0 9871 123 0 0 25 0 1 0 909885641 25006080 5329 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5329 1111 63 0 6042 0
vsize: 24420
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 54411 0 1 0 10865 130 0 0 25 0 1 0 909885641 24104960 5172 4294967295 134512640 134716908 3221224560 3221222512 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5172 1111 63 0 5822 0
vsize: 23540
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 56160 0 1 0 11859 135 0 0 25 0 1 0 909885641 24059904 5161 4294967295 134512640 134716908 3221224560 3221221916 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 5161 1111 63 0 5811 0
vsize: 23496
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 56949 0 1 0 12857 138 0 0 25 0 1 0 909885641 24104960 5166 4294967295 134512640 134716908 3221224560 3221221664 1074138723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5885 5166 1111 63 0 5822 0
vsize: 23540
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 62018 0 1 0 13846 149 0 0 25 0 1 0 909885641 24059904 5161 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5874 5161 1111 63 0 5811 0
vsize: 23496
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 67979 0 1 0 14833 162 0 0 25 0 1 0 909885641 24920064 5312 4294967295 134512640 134716908 3221224560 3221220524 1074860634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6084 5312 1111 63 0 6021 0
vsize: 24336
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 73164 0 1 0 15822 173 0 0 25 0 1 0 909885641 24465408 5225 4294967295 134512640 134716908 3221224560 3221220584 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 5225 1111 63 0 5910 0
vsize: 23892
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 76194 0 1 0 16816 180 0 0 25 0 1 0 909885641 23998464 5146 4294967295 134512640 134716908 3221224560 3221222288 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 5146 1111 63 0 5796 0
vsize: 23436
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 79039 0 1 0 17808 188 0 0 25 0 1 0 909885641 24608768 5231 4294967295 134512640 134716908 3221224560 3221221040 1074798921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6008 5231 1111 63 0 5945 0
vsize: 24032
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 82432 0 1 0 18800 196 0 0 25 0 1 0 909885641 24883200 5298 4294967295 134512640 134716908 3221224560 3221221584 1074810419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 5298 1111 63 0 6012 0
vsize: 24300
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 85306 0 1 0 19794 202 0 0 25 0 1 0 909885641 24649728 5271 4294967295 134512640 134716908 3221224560 3221220764 1075563861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 5271 1111 63 0 5955 0
vsize: 24072
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 89632 0 1 0 20786 211 0 0 25 0 1 0 909885641 24072192 5164 4294967295 134512640 134716908 3221224560 3221222248 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5877 5164 1111 63 0 5814 0
vsize: 23508
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 92005 0 1 0 21780 217 0 0 25 0 1 0 909885641 24662016 5275 4294967295 134512640 134716908 3221224560 3221220592 1075965311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 5275 1111 63 0 5958 0
vsize: 24084
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 94944 0 1 0 22771 226 0 0 25 0 1 0 909885641 24772608 5298 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5302 1111 63 0 5985 0
vsize: 24192
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 97098 0 1 0 23766 231 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221222480 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 98826 0 1 0 24762 235 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 99329 0 1 0 25761 236 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 99770 0 1 0 26760 238 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221222368 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 100503 0 1 0 27757 241 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221222560 1074918215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 102342 0 1 0 28753 245 0 0 25 0 1 0 909885641 25300992 5400 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6177 5400 1111 63 0 6114 0
vsize: 24708
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 106128 0 1 0 29745 253 0 0 25 0 1 0 909885641 24518656 5273 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5273 1111 63 0 5923 0
vsize: 23944
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 109286 0 1 0 30738 260 0 0 25 0 1 0 909885641 25235456 5368 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 5368 1111 63 0 6098 0
vsize: 24644
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 111821 0 1 0 31732 267 0 0 25 0 1 0 909885641 25124864 5340 4294967295 134512640 134716908 3221224560 3221222416 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6134 5340 1111 63 0 6071 0
vsize: 24536
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 114409 0 1 0 32726 273 0 0 25 0 1 0 909885641 24653824 5306 4294967295 134512640 134716908 3221224560 3221222512 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6019 5306 1111 63 0 5956 0
vsize: 24076
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 116893 0 1 0 33721 278 0 0 25 0 1 0 909885641 24653824 5306 4294967295 134512640 134716908 3221224560 3221221992 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6019 5306 1111 63 0 5956 0
vsize: 24076
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 119112 0 1 0 34715 285 0 0 25 0 1 0 909885641 24776704 5336 4294967295 134512640 134716908 3221224560 3221222976 1074117062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6049 5336 1111 63 0 5986 0
vsize: 24196
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 121374 0 1 0 35709 290 0 0 25 0 1 0 909885641 25034752 5336 4294967295 134512640 134716908 3221224560 3221222672 1074867278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6112 5336 1111 63 0 6049 0
vsize: 24448
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 123589 0 1 0 36704 296 0 0 25 0 1 0 909885641 24653824 5306 4294967295 134512640 134716908 3221224560 3221222368 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6019 5306 1111 63 0 5956 0
vsize: 24076
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 125917 0 1 0 37698 302 0 0 25 0 1 0 909885641 24891392 5319 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 5323 1111 63 0 6014 0
vsize: 24308
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 127726 0 1 0 38693 307 0 0 25 0 1 0 909885641 24895488 5372 4294967295 134512640 134716908 3221224560 3221221904 1074839041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 5372 1111 63 0 6015 0
vsize: 24312
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 130131 0 1 0 39688 312 0 0 25 0 1 0 909885641 25284608 5403 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 5403 1111 63 0 6110 0
vsize: 24692
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 132840 0 1 0 40682 318 0 0 25 0 1 0 909885641 25227264 5418 4294967295 134512640 134716908 3221224560 3221221136 1076047982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5418 1111 63 0 6096 0
vsize: 24636
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 135907 0 1 0 41675 326 0 0 25 0 1 0 909885641 25485312 5452 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5455 1111 63 0 6159 0
vsize: 24888
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 139561 0 1 0 42667 334 0 0 25 0 1 0 909885641 25276416 5407 4294967295 134512640 134716908 3221224560 3221221792 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5411 1111 63 0 6108 0
vsize: 24684
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 142923 0 1 0 43659 342 0 0 25 0 1 0 909885641 25460736 5466 4294967295 134512640 134716908 3221224560 3221220544 1074875009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 5466 1111 63 0 6153 0
vsize: 24864
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 145707 0 1 0 44653 348 0 0 25 0 1 0 909885641 24854528 5362 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6068 5362 1111 63 0 6005 0
vsize: 24272
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 148616 0 1 0 45647 354 0 0 25 0 1 0 909885641 25309184 5440 4294967295 134512640 134716908 3221224560 3221220672 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5440 1111 63 0 6116 0
vsize: 24716
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 151440 0 1 0 46642 359 0 0 25 0 1 0 909885641 25288704 5407 4294967295 134512640 134716908 3221224560 3221221504 1074620306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6174 5407 1111 63 0 6111 0
vsize: 24696
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 156246 0 1 0 47630 371 0 0 25 0 1 0 909885641 24780800 5344 4294967295 134512640 134716908 3221224560 3221222624 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5344 1111 63 0 5987 0
vsize: 24200
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 160547 0 1 0 48621 380 0 0 25 0 1 0 909885641 26042368 5579 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6358 5579 1111 63 0 6295 0
vsize: 25432
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 165703 0 1 0 49611 391 0 0 25 0 1 0 909885641 25391104 5493 4294967295 134512640 134716908 3221224560 3221222624 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 5493 1111 63 0 6136 0
vsize: 24796
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 170351 0 1 0 50600 402 0 0 25 0 1 0 909885641 25812992 5596 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6302 5596 1111 63 0 6239 0
vsize: 25208
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 174483 0 1 0 51590 412 0 0 25 0 1 0 909885641 26578944 5720 4294967295 134512640 134716908 3221224560 3221221480 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5720 1111 63 0 6426 0
vsize: 25956
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 177700 0 1 0 52584 419 0 0 25 0 1 0 909885641 26427392 5746 4294967295 134512640 134716908 3221224560 3221222976 1074121065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5746 1111 63 0 6389 0
vsize: 25808
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 180147 0 1 0 53578 424 0 0 25 0 1 0 909885641 26480640 5727 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5727 1111 63 0 6402 0
vsize: 25860
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 183356 0 1 0 54572 431 0 0 25 0 1 0 909885641 26124288 5672 4294967295 134512640 134716908 3221224560 3221222384 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6378 5672 1111 63 0 6315 0
vsize: 25512
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 186592 0 1 0 55566 437 0 0 25 0 1 0 909885641 26791936 5790 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5790 1111 63 0 6478 0
vsize: 26164
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 189650 0 1 0 56559 444 0 0 25 0 1 0 909885641 26697728 5734 4294967295 134512640 134716908 3221224560 3221222288 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5734 1111 63 0 6455 0
vsize: 26072
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 192466 0 1 0 57553 450 0 0 25 0 1 0 909885641 26181632 5686 4294967295 134512640 134716908 3221224560 3221222288 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6392 5686 1111 63 0 6329 0
vsize: 25568
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 195853 0 1 0 58546 458 0 0 25 0 1 0 909885641 26181632 5686 4294967295 134512640 134716908 3221224560 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6392 5686 1111 63 0 6329 0
vsize: 25568
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 199498 0 1 0 59538 465 0 0 25 0 1 0 909885641 26828800 5799 4294967295 134512640 134716908 3221224560 3221221736 1075336097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6550 5799 1111 63 0 6487 0
vsize: 26200
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 202740 0 1 0 60531 473 0 0 25 0 1 0 909885641 26824704 5797 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6549 5797 1111 63 0 6486 0
vsize: 26196
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 206462 0 1 0 61523 481 0 0 25 0 1 0 909885641 26898432 5797 4294967295 134512640 134716908 3221224560 3221222208 1075818298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6567 5797 1111 63 0 6504 0
vsize: 26268
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 210406 0 1 0 62515 489 0 0 25 0 1 0 909885641 27443200 5948 4294967295 134512640 134716908 3221224560 3221220524 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5948 1111 63 0 6637 0
vsize: 26800
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 213417 0 1 0 63509 495 0 0 25 0 1 0 909885641 27389952 5939 4294967295 134512640 134716908 3221224560 3221221552 1075971438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6687 5939 1111 63 0 6624 0
vsize: 26748
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 216023 0 1 0 64504 500 0 0 25 0 1 0 909885641 27414528 5928 4294967295 134512640 134716908 3221224560 3221221480 1075112623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6693 5928 1111 63 0 6630 0
vsize: 26772
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 219173 0 1 0 65497 507 0 0 25 0 1 0 909885641 27262976 5906 4294967295 134512640 134716908 3221224560 3221220572 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6656 5906 1111 63 0 6593 0
vsize: 26624
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 222171 0 1 0 66490 515 0 0 25 0 1 0 909885641 26759168 5825 4294967295 134512640 134716908 3221224560 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6533 5825 1111 63 0 6470 0
vsize: 26132
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 224977 0 1 0 67484 521 0 0 25 0 1 0 909885641 26578944 5783 4294967295 134512640 134716908 3221224560 3221222748 1073987056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5783 1111 63 0 6426 0
vsize: 25956
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 227928 0 1 0 68479 527 0 0 25 0 1 0 909885641 26685440 5809 4294967295 134512640 134716908 3221224560 3221222960 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6515 5809 1111 63 0 6452 0
vsize: 26060
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 230784 0 1 0 69472 534 0 0 25 0 1 0 909885641 26685440 5809 4294967295 134512640 134716908 3221224560 3221222864 1074115328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6515 5809 1111 63 0 6452 0
vsize: 26060
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 233919 0 1 0 70465 541 0 0 25 0 1 0 909885641 26656768 5802 4294967295 134512640 134716908 3221224560 3221221704 1074138128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 5802 1111 63 0 6445 0
vsize: 26032
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 237049 0 1 0 71459 547 0 0 25 0 1 0 909885641 27316224 5921 4294967295 134512640 134716908 3221224560 3221220720 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6669 5921 1111 63 0 6606 0
vsize: 26676
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 239952 0 1 0 72452 554 0 0 25 0 1 0 909885641 27418624 5926 4294967295 134512640 134716908 3221224560 3221220824 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6694 5926 1111 63 0 6631 0
vsize: 26776
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 242973 0 1 0 73446 560 0 0 25 0 1 0 909885641 26701824 5813 4294967295 134512640 134716908 3221224560 3221222368 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 5813 1111 63 0 6456 0
vsize: 26076
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 246105 0 1 0 74439 567 0 0 25 0 1 0 909885641 27418624 5930 4294967295 134512640 134716908 3221224560 3221220516 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6694 5930 1111 63 0 6631 0
vsize: 26776
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 249025 0 1 0 75433 574 0 0 25 0 1 0 909885641 26578944 5783 4294967295 134512640 134716908 3221224560 3221222232 1074138309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5783 1111 63 0 6426 0
vsize: 25956
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 252262 0 1 0 76425 582 0 0 25 0 1 0 909885641 27242496 5901 4294967295 134512640 134716908 3221224560 3221220824 1074950064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 5901 1111 63 0 6588 0
vsize: 26604
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 255318 0 1 0 77417 590 0 0 25 0 1 0 909885641 26578944 5783 4294967295 134512640 134716908 3221224560 3221222184 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 5783 1111 63 0 6426 0
vsize: 25956
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 258451 0 1 0 78411 596 0 0 25 0 1 0 909885641 26697728 5812 4294967295 134512640 134716908 3221224560 3221222280 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5812 1111 63 0 6455 0
vsize: 26072
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 260667 0 1 0 79406 601 0 0 25 0 1 0 909885641 26697728 5812 4294967295 134512640 134716908 3221224560 3221222544 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5812 1111 63 0 6455 0
vsize: 26072
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 263825 0 1 0 80399 608 0 0 25 0 1 0 909885641 27160576 5925 4294967295 134512640 134716908 3221224560 3221221872 1075006863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6631 5925 1111 63 0 6568 0
vsize: 26524
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 266914 0 1 0 81393 615 0 0 25 0 1 0 909885641 27807744 6040 4294967295 134512640 134716908 3221224560 3221220556 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6040 1111 63 0 6726 0
vsize: 27156
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 269559 0 1 0 82388 620 0 0 25 0 1 0 909885641 27176960 5929 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6635 5929 1111 63 0 6572 0
vsize: 26540
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 272367 0 1 0 83381 627 0 0 25 0 1 0 909885641 27394048 5982 4294967295 134512640 134716908 3221224560 3221222288 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6688 5982 1111 63 0 6625 0
vsize: 26752
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 275276 0 1 0 84376 633 0 0 25 0 1 0 909885641 27865088 6054 4294967295 134512640 134716908 3221224560 3221220496 1074875065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6803 6054 1111 63 0 6740 0
vsize: 27212
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 278362 0 1 0 85369 640 0 0 25 0 1 0 909885641 27697152 6023 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6762 6028 1111 63 0 6699 0
vsize: 27048
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 281460 0 1 0 86360 649 0 0 25 0 1 0 909885641 27525120 6014 4294967295 134512640 134716908 3221224560 3221221772 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 6014 1111 63 0 6657 0
vsize: 26880
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 284338 0 1 0 87354 655 0 0 25 0 1 0 909885641 27631616 6040 4294967295 134512640 134716908 3221224560 3221222672 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6746 6040 1111 63 0 6683 0
vsize: 26984
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 286859 0 1 0 88348 661 0 0 25 0 1 0 909885641 27635712 6041 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6747 6041 1111 63 0 6684 0
vsize: 26988
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 290305 0 1 0 89341 668 0 0 25 0 1 0 909885641 27975680 6124 4294967295 134512640 134716908 3221224560 3221222416 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 6124 1111 63 0 6767 0
vsize: 27320
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 294253 0 1 0 90333 676 0 0 25 0 1 0 909885641 27582464 6028 4294967295 134512640 134716908 3221224560 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6734 6028 1111 63 0 6671 0
vsize: 26936
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 297881 0 1 0 91325 685 0 0 25 0 1 0 909885641 28295168 6121 4294967295 134512640 134716908 3221224560 3221222480 1075799727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6121 1111 63 0 6845 0
vsize: 27632
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 301564 0 1 0 92317 693 0 0 25 0 1 0 909885641 28397568 6167 4294967295 134512640 134716908 3221224560 3221220496 1074875155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6933 6167 1111 63 0 6870 0
vsize: 27732
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 304903 0 1 0 93310 700 0 0 25 0 1 0 909885641 28401664 6164 4294967295 134512640 134716908 3221224560 3221220604 1074873560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6934 6164 1111 63 0 6871 0
vsize: 27736
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 307870 0 1 0 94304 706 0 0 25 0 1 0 909885641 27631616 6040 4294967295 134512640 134716908 3221224560 3221222352 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6746 6040 1111 63 0 6683 0
vsize: 26984
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 311461 0 1 0 95295 716 0 0 25 0 1 0 909885641 27987968 6095 4294967295 134512640 134716908 3221224560 3221222528 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6095 1111 63 0 6770 0
vsize: 27332
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 314640 0 1 0 96288 723 0 0 25 0 1 0 909885641 27578368 6027 4294967295 134512640 134716908 3221224560 3221222144 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6733 6027 1111 63 0 6670 0
vsize: 26932
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 316845 0 1 0 97283 728 0 0 25 0 1 0 909885641 27856896 6058 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6801 6064 1111 63 0 6738 0
vsize: 27204
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 320893 0 1 0 98273 738 0 0 25 0 1 0 909885641 27627520 6039 4294967295 134512640 134716908 3221224560 3221222576 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 6039 1111 63 0 6682 0
vsize: 26980
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 324489 0 1 0 99266 746 0 0 25 0 1 0 909885641 28434432 6194 4294967295 134512640 134716908 3221224560 3221220584 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6942 6194 1111 63 0 6879 0
vsize: 27768
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 327653 0 1 0 100259 752 0 0 25 0 1 0 909885641 27734016 6065 4294967295 134512640 134716908 3221224560 3221222336 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6771 6065 1111 63 0 6708 0
vsize: 27084
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 330486 0 1 0 101253 759 0 0 25 0 1 0 909885641 27631616 6040 4294967295 134512640 134716908 3221224560 3221222048 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6746 6040 1111 63 0 6683 0
vsize: 26984
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 333837 0 1 0 102246 766 0 0 25 0 1 0 909885641 27844608 6092 4294967295 134512640 134716908 3221224560 3221222512 1074918607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6798 6092 1111 63 0 6735 0
vsize: 27192
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 336892 0 1 0 103239 773 0 0 25 0 1 0 909885641 27525120 6014 4294967295 134512640 134716908 3221224560 3221222144 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 6014 1111 63 0 6657 0
vsize: 26880
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 340399 0 1 0 104230 783 0 0 25 0 1 0 909885641 27639808 6042 4294967295 134512640 134716908 3221224560 3221222336 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6748 6042 1111 63 0 6685 0
vsize: 26992
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 343617 0 1 0 105223 789 0 0 25 0 1 0 909885641 28409856 6170 4294967295 134512640 134716908 3221224560 3221221432 1074950099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6141 1111 63 0 6784 0
vsize: 27744
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 346640 0 1 0 106216 797 0 0 25 0 1 0 909885641 28258304 6150 4294967295 134512640 134716908 3221224560 3221220496 1074875143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6899 6150 1111 63 0 6836 0
vsize: 27596
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 350437 0 1 0 107207 806 0 0 25 0 1 0 909885641 27635712 6041 4294967295 134512640 134716908 3221224560 3221222528 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6747 6041 1111 63 0 6684 0
vsize: 26988
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 353323 0 1 0 108202 812 0 0 25 0 1 0 909885641 28303360 6161 4294967295 134512640 134716908 3221224560 3221220736 1075895685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6910 6161 1111 63 0 6847 0
vsize: 27640
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 356768 0 1 0 109195 819 0 0 25 0 1 0 909885641 28209152 6135 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 6135 1111 63 0 6824 0
vsize: 27548
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 360213 0 1 0 110186 828 0 0 25 0 1 0 909885641 27865088 6065 4294967295 134512640 134716908 3221224560 3221222880 1075550261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6803 6065 1111 63 0 6740 0
vsize: 27212
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 363218 0 1 0 111179 835 0 0 25 0 1 0 909885641 27672576 6050 4294967295 134512640 134716908 3221224560 3221222192 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 6050 1111 63 0 6693 0
vsize: 27024
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 366116 0 1 0 112172 842 0 0 25 0 1 0 909885641 27852800 6089 4294967295 134512640 134716908 3221224560 3221222304 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6800 6089 1111 63 0 6737 0
vsize: 27200
[startup+1140.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 369249 0 1 0 113165 850 0 0 25 0 1 0 909885641 28000256 6130 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6836 6130 1111 63 0 6773 0
vsize: 27344
[startup+1150.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 372430 0 1 0 114156 858 0 0 25 0 1 0 909885641 27676672 6051 4294967295 134512640 134716908 3221224560 3221222352 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 6051 1111 63 0 6694 0
vsize: 27028
[startup+1160.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 375891 0 1 0 115147 868 0 0 25 0 1 0 909885641 27688960 6054 4294967295 134512640 134716908 3221224560 3221222536 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6760 6054 1111 63 0 6697 0
vsize: 27040
[startup+1170.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 378886 0 1 0 116141 874 0 0 25 0 1 0 909885641 27820032 6086 4294967295 134512640 134716908 3221224560 3221222216 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6086 1111 63 0 6729 0
vsize: 27168
[startup+1175.59 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 14979
Raw data (stat): 14979 (bsolo_lpr_cuts-) R 14978 21152 21151 0 -1 0 378886 0 1 0 116141 874 0 0 25 0 1 0 909885641 27820032 6086 4294967295 134512640 134716908 3221224560 3221222216 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 6086 1111 63 0 6729 0
vsize: 0

Child status: 0
Real time (s): 1175.59
CPU time (s): 1175.7
CPU user time (s): 1166.89
CPU system time (s): 8.81066
CPU usage (%): 100.01
Max. virtual memory (Kb): 27768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####