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/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 41608

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 16:57:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29673 boxname=wulflinc4 idbench=1457 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 29673
/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:        902008 kB
Buffers:          5020 kB
Cached:         107284 kB
SwapCached:        916 kB
Active:          25200 kB
Inactive:        89104 kB
HighTotal:      131008 kB
HighFree:        21028 kB
LowTotal:       903652 kB
LowFree:        880980 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12632 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:17:24 (client local time) WITH STATUS 0 IN 1180.9 SECONDS
stats: 29673 7 1180.9 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 48.896 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.18
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1180.84 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.85 0.94 0.90 2/54 18704
Raw data (stat): 18704 (runsolver) R 18703 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911882789 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0014 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 5920 0 0 0 982 15 0 0 25 0 1 0 911882789 27402240 5838 4294967295 134512640 134716908 3221224560 3221223172 134557776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 5838 1111 63 0 6627 0
vsize: 26760
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 5963 0 0 0 1981 15 0 0 25 0 1 0 911882789 27529216 5881 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6721 5881 1111 63 0 6658 0
vsize: 26884
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6065 0 0 0 2981 16 0 0 25 0 1 0 911882789 27779072 5927 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5927 1111 63 0 6719 0
vsize: 27128
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6073 0 0 0 3981 16 0 0 25 0 1 0 911882789 27779072 5935 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5935 1111 63 0 6719 0
vsize: 27128
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6292 0 0 0 4980 16 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221222464 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6514 0 0 0 5980 17 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221221600 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6563 0 0 0 6979 18 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6692 0 0 0 7978 19 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221222304 1075636583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6697 0 0 0 8977 20 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221221840 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6697 0 0 0 9977 21 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221222576 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+110.004 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6697 0 0 0 10977 21 0 0 25 0 1 0 911882789 27926528 6120 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+120.005 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 6769 0 0 0 11976 22 0 0 25 0 1 0 911882789 27926528 6121 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+130.006 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 7542 0 0 0 12974 25 0 0 25 0 1 0 911882789 27926528 6121 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+140.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 18704
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 7775 0 0 0 13971 27 0 0 25 0 1 0 911882789 27926528 6121 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+150.006 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 8352 0 0 0 14966 32 0 0 25 0 1 0 911882789 27926528 6121 4294967295 134512640 134716908 3221224560 3221222060 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+160.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 9019 0 0 0 15963 36 0 0 25 0 1 0 911882789 27926528 6121 4294967295 134512640 134716908 3221224560 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+170.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 9588 0 0 0 16960 38 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+180.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 10189 0 0 0 17956 42 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221223408 134623469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+190.007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 11170 0 0 0 18952 46 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221221752 1074138333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6885 6125 1111 63 0 6822 0
vsize: 27272
[startup+200.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 12428 0 0 0 19947 51 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+210.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18757
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 13687 0 0 0 20943 54 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222512 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+220.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 15776 0 0 0 21937 60 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222560 1074918198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 16786 0 0 0 22934 63 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222752 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 17452 0 0 0 23931 66 0 0 25 0 1 0 911882789 27926528 6122 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 19034 0 0 0 24925 71 0 0 25 0 1 0 911882789 27979776 6135 4294967295 134512640 134716908 3221224560 3221222024 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6831 6135 1111 63 0 6768 0
vsize: 27324
[startup+260.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 21691 0 0 0 25917 80 0 0 25 0 1 0 911882789 28073984 6158 4294967295 134512640 134716908 3221224560 3221222960 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6854 6158 1111 63 0 6791 0
vsize: 27416
[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 23238 0 0 0 26911 86 0 0 25 0 1 0 911882789 28073984 6158 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6854 6158 1111 63 0 6791 0
vsize: 27416
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 26753 0 0 0 27900 97 0 0 25 0 1 0 911882789 28200960 6189 4294967295 134512640 134716908 3221224560 3221222704 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6885 6189 1111 63 0 6822 0
vsize: 27540
[startup+290.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 30504 0 0 0 28889 109 0 0 25 0 1 0 911882789 28299264 6213 4294967295 134512640 134716908 3221224560 3221223408 134623469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 6213 1111 63 0 6846 0
vsize: 27636
[startup+300.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 34394 0 0 0 29878 120 0 0 25 0 1 0 911882789 28295168 6212 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6908 6212 1111 63 0 6845 0
vsize: 27632
[startup+310.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 37228 0 0 0 30870 128 0 0 25 0 1 0 911882789 28368896 6230 4294967295 134512640 134716908 3221224560 3221222864 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+320.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 38852 0 0 0 31865 133 0 0 25 0 1 0 911882789 28368896 6230 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+330.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 39524 0 0 0 32861 137 0 0 25 0 1 0 911882789 28368896 6230 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+340.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 40348 0 0 0 33857 141 0 0 25 0 1 0 911882789 28442624 6235 4294967295 134512640 134716908 3221224560 3221221840 1074140019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6944 6235 1111 63 0 6881 0
vsize: 27776
[startup+350.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 41382 0 0 0 34853 145 0 0 25 0 1 0 911882789 28368896 6230 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+360.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 44411 0 0 0 35845 153 0 0 25 0 1 0 911882789 28442624 6249 4294967295 134512640 134716908 3221224560 3221222464 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6944 6249 1111 63 0 6881 0
vsize: 27776
[startup+370.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 46430 0 0 0 36839 160 0 0 25 0 1 0 911882789 28516352 6267 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6962 6267 1111 63 0 6899 0
vsize: 27848
[startup+380.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 47947 0 0 0 37830 169 0 0 25 0 1 0 911882789 28516352 6267 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6962 6267 1111 63 0 6899 0
vsize: 27848
[startup+390.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 62924 0 0 0 38793 206 0 0 25 0 1 0 911882789 29593600 6526 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7225 6526 1111 63 0 7162 0
vsize: 28900
[startup+400.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 78840 0 0 0 39752 248 0 0 25 0 1 0 911882789 30834688 6833 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7528 6833 1111 63 0 7465 0
vsize: 30112
[startup+410.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 97550 0 0 0 40706 293 0 0 25 0 1 0 911882789 32452608 7228 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7923 7228 1111 63 0 7860 0
vsize: 31692
[startup+420.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 115644 0 0 0 41664 336 0 0 25 0 1 0 911882789 33751040 7545 4294967295 134512640 134716908 3221224560 3221221984 1076059584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8323 7549 1111 63 0 8260 0
vsize: 32960
[startup+430.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 132434 0 0 0 42622 378 0 0 25 0 1 0 911882789 35508224 7974 4294967295 134512640 134716908 3221224560 3221222808 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 7974 1111 63 0 8606 0
vsize: 34676
[startup+440.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 149282 0 0 0 43579 421 0 0 25 0 1 0 911882789 37711872 8498 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9207 8498 1111 63 0 9144 0
vsize: 36828
[startup+450.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 154337 0 0 0 44564 436 0 0 25 0 1 0 911882789 38559744 8720 4294967295 134512640 134716908 3221224560 3221222848 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9414 8720 1111 63 0 9351 0
vsize: 37656
[startup+460.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18759
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 156934 0 0 0 45557 443 0 0 25 0 1 0 911882789 39690240 9002 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9690 9002 1111 63 0 9627 0
vsize: 38760
[startup+470.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 159760 0 0 0 46551 450 0 0 25 0 1 0 911882789 39718912 9009 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9697 9009 1111 63 0 9634 0
vsize: 38788
[startup+480.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 160718 0 0 0 47548 452 0 0 25 0 1 0 911882789 38961152 8801 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9512 8801 1111 63 0 9449 0
vsize: 38048
[startup+490.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 161607 0 0 0 48546 454 0 0 25 0 1 0 911882789 38756352 8762 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9462 8762 1111 63 0 9399 0
vsize: 37848
[startup+500.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 163678 0 0 0 49541 459 0 0 25 0 1 0 911882789 39456768 8945 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9633 8945 1111 63 0 9570 0
vsize: 38532
[startup+510.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 164461 0 0 0 50540 461 0 0 25 0 1 0 911882789 39395328 8929 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 8929 1111 63 0 9555 0
vsize: 38472
[startup+520.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 165596 0 0 0 51535 466 0 0 25 0 1 0 911882789 38801408 8722 4294967295 134512640 134716908 3221224560 3221221216 1075966483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9473 8722 1111 63 0 9410 0
vsize: 37892
[startup+530.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 183329 0 0 0 52493 509 0 0 25 0 1 0 911882789 39923712 9054 4294967295 134512640 134716908 3221224560 3221222560 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9747 9054 1111 63 0 9684 0
vsize: 38988
[startup+540.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 200201 0 0 0 53452 549 0 0 25 0 1 0 911882789 40869888 9290 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9978 9290 1111 63 0 9915 0
vsize: 39912
[startup+550.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 221653 0 0 0 54401 600 0 0 25 0 1 0 911882789 42188800 9612 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10300 9612 1111 63 0 10237 0
vsize: 41200
[startup+560.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 241653 0 0 0 55352 650 0 0 25 0 1 0 911882789 44445696 10159 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10851 10159 1111 63 0 10788 0
vsize: 43404
[startup+570.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 259958 0 0 0 56308 693 0 0 25 0 1 0 911882789 46235648 10590 4294967295 134512640 134716908 3221224560 3221222880 1074138432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11288 10590 1111 63 0 11225 0
vsize: 45152
[startup+580.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 279048 0 0 0 57261 741 0 0 25 0 1 0 911882789 47747072 10965 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11657 10965 1111 63 0 11594 0
vsize: 46628
[startup+590.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 283093 0 0 0 58251 751 0 0 25 0 1 0 911882789 49287168 11341 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12033 11341 1111 63 0 11970 0
vsize: 48132
[startup+600.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 287355 0 0 0 59239 763 0 0 25 0 1 0 911882789 48377856 11119 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11811 11119 1111 63 0 11748 0
vsize: 47244
[startup+610.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 291795 0 0 0 60227 776 0 0 25 0 1 0 911882789 48553984 11162 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11854 11162 1111 63 0 11791 0
vsize: 47416
[startup+620.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 295582 0 0 0 61218 785 0 0 25 0 1 0 911882789 49524736 11398 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12091 11398 1111 63 0 12028 0
vsize: 48364
[startup+630.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 298412 0 0 0 62211 792 0 0 25 0 1 0 911882789 49524736 11398 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12091 11398 1111 63 0 12028 0
vsize: 48364
[startup+640.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 301101 0 0 0 63206 797 0 0 25 0 1 0 911882789 49053696 11284 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11976 11284 1111 63 0 11913 0
vsize: 47904
[startup+650.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 302917 0 0 0 64201 803 0 0 25 0 1 0 911882789 49741824 11452 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12144 11452 1111 63 0 12081 0
vsize: 48576
[startup+660.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 303633 0 0 0 65199 804 0 0 25 0 1 0 911882789 51798016 11942 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 11942 1111 63 0 12583 0
vsize: 50584
[startup+670.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 305367 0 0 0 66196 808 0 0 25 0 1 0 911882789 49922048 11496 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12188 11496 1111 63 0 12125 0
vsize: 48752
[startup+680.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 305367 0 0 0 67196 808 0 0 25 0 1 0 911882789 49922048 11496 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12188 11496 1111 63 0 12125 0
vsize: 48752
[startup+690.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 305947 0 0 0 68194 810 0 0 25 0 1 0 911882789 50774016 11698 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12396 11698 1111 63 0 12333 0
vsize: 49584
[startup+700.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 307762 0 0 0 69189 815 0 0 25 0 1 0 911882789 50774016 11691 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12396 11691 1111 63 0 12333 0
vsize: 49584
[startup+710.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 318598 0 0 0 70161 843 0 0 25 0 1 0 911882789 49348608 11356 4294967295 134512640 134716908 3221224560 3221222428 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12048 11356 1111 63 0 11985 0
vsize: 48192
[startup+720.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 340092 0 0 0 71111 893 0 0 25 0 1 0 911882789 51949568 11718 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12683 11729 1111 63 0 12620 0
vsize: 50732
[startup+730.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 360877 0 0 0 72064 942 0 0 25 0 1 0 911882789 52150272 12043 4294967295 134512640 134716908 3221224560 3221222752 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12732 12043 1111 63 0 12669 0
vsize: 50928
[startup+740.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 380199 0 0 0 73017 991 0 0 25 0 1 0 911882789 53628928 12404 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13093 12404 1111 63 0 13030 0
vsize: 52372
[startup+750.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 403670 0 0 0 73965 1043 0 0 25 0 1 0 911882789 55201792 12788 4294967295 134512640 134716908 3221224560 3221222912 1074115334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13512 12789 1111 63 0 13449 0
vsize: 53908
[startup+760.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 423657 0 0 0 74914 1094 0 0 25 0 1 0 911882789 56692736 13152 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13841 13152 1111 63 0 13778 0
vsize: 55364
[startup+770.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 442896 0 0 0 75865 1143 0 0 25 0 1 0 911882789 58392576 13567 4294967295 134512640 134716908 3221224560 3221222304 1075640249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14247 13558 1111 63 0 14184 0
vsize: 57024
[startup+780.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 462031 0 0 0 76819 1189 0 0 25 0 1 0 911882789 61435904 14258 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14999 14258 1111 63 0 14936 0
vsize: 59996
[startup+790.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 484330 0 0 0 77767 1241 0 0 25 0 1 0 911882789 62959616 14634 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15371 14634 1111 63 0 15308 0
vsize: 61484
[startup+800.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 488949 0 0 0 78755 1253 0 0 25 0 1 0 911882789 63713280 14818 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15555 14818 1111 63 0 15492 0
vsize: 62220
[startup+810.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 490308 0 0 0 79753 1256 0 0 25 0 1 0 911882789 64020480 14893 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15630 14893 1111 63 0 15567 0
vsize: 62520
[startup+820.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 497267 0 0 0 80734 1275 0 0 25 0 1 0 911882789 63959040 14854 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15583 14846 1111 63 0 15520 0
vsize: 62460
[startup+830.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 520618 0 0 0 81678 1331 0 0 25 0 1 0 911882789 65368064 15222 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15959 15222 1111 63 0 15896 0
vsize: 63836
[startup+840.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 543755 0 0 0 82627 1382 0 0 25 0 1 0 911882789 67047424 15632 4294967295 134512640 134716908 3221224560 3221222912 1074115531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16404 15636 1111 63 0 16341 0
vsize: 65476
[startup+850.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 564828 0 0 0 83576 1433 0 0 25 0 1 0 911882789 68694016 16038 4294967295 134512640 134716908 3221224560 3221222816 1074153734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16771 16038 1111 63 0 16708 0
vsize: 67084
[startup+860.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 588260 0 0 0 84519 1490 0 0 25 0 1 0 911882789 71561216 16464 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17471 16476 1111 63 0 17408 0
vsize: 69884
[startup+870.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 611758 0 0 0 85466 1544 0 0 25 0 1 0 911882789 71847936 16808 4294967295 134512640 134716908 3221224560 3221222976 1074117036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17541 16808 1111 63 0 17478 0
vsize: 70164
[startup+880.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 632710 0 0 0 86416 1594 0 0 25 0 1 0 911882789 74260480 17369 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18130 17369 1111 63 0 18067 0
vsize: 72520
[startup+890.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 645628 0 0 0 87387 1624 0 0 25 0 1 0 911882789 74399744 17413 4294967295 134512640 134716908 3221224560 3221223008 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18164 17413 1111 63 0 18101 0
vsize: 72656
[startup+900.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 669046 0 0 0 88330 1680 0 0 25 0 1 0 911882789 75907072 17781 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18532 17781 1111 63 0 18469 0
vsize: 74128
[startup+910.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 691253 0 0 0 89276 1735 0 0 25 0 1 0 911882789 77365248 18136 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18888 18136 1111 63 0 18825 0
vsize: 75552
[startup+920.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 709279 0 0 0 90234 1777 0 0 25 0 1 0 911882789 79564800 18676 4294967295 134512640 134716908 3221224560 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19425 18676 1111 63 0 19362 0
vsize: 77700
[startup+930.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 709443 0 0 0 91232 1779 0 0 25 0 1 0 911882789 80027648 18813 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19538 18813 1111 63 0 19475 0
vsize: 78152
[startup+940.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 710151 0 0 0 92231 1780 0 0 25 0 1 0 911882789 82022400 19294 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20025 19294 1111 63 0 19962 0
vsize: 80100
[startup+950.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 713611 0 0 0 93224 1787 0 0 25 0 1 0 911882789 79396864 18659 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 18659 1111 63 0 19321 0
vsize: 77536
[startup+960.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 715616 0 0 0 94219 1792 0 0 25 0 1 0 911882789 79069184 18579 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 18579 1111 63 0 19241 0
vsize: 77216
[startup+970.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 718818 0 0 0 95212 1800 0 0 25 0 1 0 911882789 79548416 18696 4294967295 134512640 134716908 3221224560 3221223344 134622550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19421 18696 1111 63 0 19358 0
vsize: 77684
[startup+980.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 722474 0 0 0 96203 1809 0 0 25 0 1 0 911882789 79314944 18639 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19364 18639 1111 63 0 19301 0
vsize: 77456
[startup+990.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 723868 0 0 0 97200 1812 0 0 25 0 1 0 911882789 79904768 18783 4294967295 134512640 134716908 3221224560 3221223352 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19508 18783 1111 63 0 19445 0
vsize: 78032
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 736898 0 0 0 98169 1843 0 0 25 0 1 0 911882789 79958016 18796 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19521 18796 1111 63 0 19458 0
vsize: 78084
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 758847 0 0 0 99118 1894 0 0 25 0 1 0 911882789 81457152 19162 4294967295 134512640 134716908 3221224560 3221223344 134584965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19887 19162 1111 63 0 19824 0
vsize: 79548
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 777765 0 0 0 100072 1941 0 0 25 0 1 0 911882789 82751488 19478 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19478 1111 63 0 20140 0
vsize: 80812
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 798337 0 0 0 101021 1992 0 0 25 0 1 0 911882789 84197376 19831 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20556 19831 1111 63 0 20493 0
vsize: 82224
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 819376 0 0 0 101969 2044 0 0 25 0 1 0 911882789 85708800 20200 4294967295 134512640 134716908 3221224560 3221221904 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20925 20200 1111 63 0 20862 0
vsize: 83700
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 840761 0 0 0 102919 2094 0 0 25 0 1 0 911882789 87044096 20526 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21251 20526 1111 63 0 21188 0
vsize: 85004
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 856924 0 0 0 103877 2136 0 0 25 0 1 0 911882789 92217344 21468 4294967295 134512640 134716908 3221224560 3221222772 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22514 21468 1111 63 0 22451 0
vsize: 90056
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 876331 0 0 0 104829 2184 0 0 25 0 1 0 911882789 93818880 21840 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22905 21846 1111 63 0 22842 0
vsize: 91620
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 898593 0 0 0 105774 2240 0 0 25 0 1 0 911882789 95399936 22230 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23291 22230 1111 63 0 23228 0
vsize: 93164
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 901010 0 0 0 106769 2244 0 0 25 0 1 0 911882789 96243712 22436 4294967295 134512640 134716908 3221224560 3221223340 134622712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23497 22436 1111 63 0 23434 0
vsize: 93988
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 901441 0 0 0 107769 2245 0 0 25 0 1 0 911882789 97226752 22656 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23737 22656 1111 63 0 23674 0
vsize: 94948
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 902549 0 0 0 108766 2248 0 0 25 0 1 0 911882789 97030144 22628 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23689 22628 1111 63 0 23626 0
vsize: 94756
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 904494 0 0 0 109763 2251 0 0 25 0 1 0 911882789 96518144 22475 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23564 22475 1111 63 0 23501 0
vsize: 94256
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 905872 0 0 0 110760 2255 0 0 25 0 1 0 911882789 97062912 22621 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23697 22621 1111 63 0 23634 0
vsize: 94788
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 908356 0 0 0 111755 2260 0 0 25 0 1 0 911882789 95887360 22349 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23410 22349 1111 63 0 23347 0
vsize: 93640
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 911204 0 0 0 112746 2268 0 0 25 0 1 0 911882789 96030720 22384 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23445 22384 1111 63 0 23382 0
vsize: 93780
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 912394 0 0 0 113743 2271 0 0 25 0 1 0 911882789 96464896 22490 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23551 22490 1111 63 0 23488 0
vsize: 94204
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 912779 0 0 0 114742 2272 0 0 25 0 1 0 911882789 97304576 22695 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23756 22695 1111 63 0 23693 0
vsize: 95024
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 913893 0 0 0 115740 2275 0 0 25 0 1 0 911882789 97431552 22710 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23787 22710 1111 63 0 23724 0
vsize: 95148
[startup+1180.79 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 18761
Raw data (stat): 18704 (bsolo_lpr_cuts-) R 18703 21152 21151 0 -1 0 913893 0 0 0 115740 2275 0 0 25 0 1 0 911882789 97431552 22710 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23787 22710 1111 63 0 23724 0
vsize: 0

Child status: 0
Real time (s): 1180.79
CPU time (s): 1180.9
CPU user time (s): 1158.08
CPU system time (s): 22.8145
CPU usage (%): 100.009
Max. virtual memory (Kb): 95148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####