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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
Number of variables	2100
Total number of constraints	120
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	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 40455

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 11:09:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28521 boxname=wulflinc5 idbench=1477 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 28521
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        878360 kB
Buffers:         20268 kB
Cached:         114288 kB
SwapCached:        696 kB
Active:          22384 kB
Inactive:       114268 kB
HighTotal:      131008 kB
HighFree:        26684 kB
LowTotal:       903652 kB
LowFree:        851676 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14052 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:29:04 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 28521 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1118 variables and 170 constraints.
c preprocess terminated 1.542 s
c Initial Lower Bound: 160352
c Lower Bound Elapsed time: 0.06325
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 951680 @ 73.768
c NEW SOLUTION FOUND: 939904 @ 73.804
c NEW SOLUTION FOUND: 939392 @ 74.521
c NEW SOLUTION FOUND: 920576 @ 74.524
c NEW SOLUTION FOUND: 920064 @ 75.442
c NEW SOLUTION FOUND: 901248 @ 75.445
c NEW SOLUTION FOUND: 897024 @ 78.502
c NEW SOLUTION FOUND: 890240 @ 78.854
c NEW SOLUTION FOUND: 877696 @ 84.721
c NEW SOLUTION FOUND: 870912 @ 86.113
c NEW SOLUTION FOUND: 863872 @ 99.256
c NEW SOLUTION FOUND: 861696 @ 103.59
c NEW SOLUTION FOUND: 855552 @ 114.146
c NEW SOLUTION FOUND: 852224 @ 118.176
c NEW SOLUTION FOUND: 851200 @ 118.862
c NEW SOLUTION FOUND: 849536 @ 119.301
c NEW SOLUTION FOUND: 842496 @ 119.485
c NEW SOLUTION FOUND: 838400 @ 123.046
c NEW SOLUTION FOUND: 837376 @ 124.211
c NEW SOLUTION FOUND: 835840 @ 284.837
c NEW SOLUTION FOUND: 834176 @ 683.909
c NEW SOLUTION FOUND: 832896 @ 741.508
c NEW SOLUTION FOUND: 832384 @ 748.216
c NEW SOLUTION FOUND: 830720 @ 760.363
c NEW SOLUTION FOUND: 829952 @ 772.82
c NEW SOLUTION FOUND: 825344 @ 778.894
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 X28_bit0 X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 X33_bit0 -X33_bit1 X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 X48_bit1 X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 X54_bit1 X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 X62_bit1 X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 X64_bit0 X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 X71_bit1 X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 X72_bit0 X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 X93_bit0 X93_bit1 X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 X99_bit1 X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 -Y1_bit0 Y2_bit0 Y3_bit0 -Y4_bit0 Y5_bit0 Y6_bit0 Y7_bit0 -Y8_bit0 Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 Y15_bit0 Y16_bit0 -Y17_bit0 Y18_bit0 -Y19_bit0 Y20_bit0 -Y21_bit0 Y22_bit0 -Y23_bit0 Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 Y28_bit0 Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 Y38_bit0 Y39_bit0 -Y40_bit0 Y41_bit0 Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 Y48_bit0 Y49_bit0 -Y50_bit0 -Y51_bit0 Y52_bit0 Y53_bit0 Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 Y58_bit0 Y59_bit0 Y60_bit0 -Y61_bit0 Y62_bit0 -Y63_bit0 Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 -Y68_bit0 Y69_bit0 -Y70_bit0 Y71_bit0 Y72_bit0 -Y73_bit0 Y74_bit0 -Y75_bit0 -Y76_bit0 Y77_bit0 Y78_bit0 Y79_bit0 Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 Y84_bit0 -Y85_bit0 -Y86_bit0 Y87_bit0 -Y88_bit0 Y89_bit0 -Y90_bit0 -Y91_bit0 Y92_bit0 Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 Y97_bit0 -Y98_bit0 Y99_bit0 
c Exit Code: 10
c Total time: 1175.03 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.95 0.93 2/54 18523
Raw data (stat): 18523 (runsolver) R 18522 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901161602 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.95 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 6076 0 0 0 979 17 0 0 25 0 1 0 901161602 15958016 3185 4294967295 134512640 134716908 3221224576 3221222864 1074153751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3185 1111 63 0 3833 0
vsize: 15584
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 9348 0 0 0 1969 28 0 0 25 0 1 0 901161602 15982592 3187 4294967295 134512640 134716908 3221224576 3221222480 1075460070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3187 1111 63 0 3839 0
vsize: 15608
[startup+30.0002 s]
Raw data (loadavg): 0.91 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 12258 0 0 0 2959 38 0 0 25 0 1 0 901161602 15982592 3192 4294967295 134512640 134716908 3221224576 3221221680 1074138998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3192 1111 63 0 3839 0
vsize: 15608
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 14550 0 0 0 3950 47 0 0 25 0 1 0 901161602 15982592 3186 4294967295 134512640 134716908 3221224576 3221223336 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3186 1111 63 0 3839 0
vsize: 15608
[startup+50 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 16662 0 0 0 4942 55 0 0 25 0 1 0 901161602 15958016 3186 4294967295 134512640 134716908 3221224576 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3186 1111 63 0 3833 0
vsize: 15584
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 18756 0 0 0 5933 64 0 0 25 0 1 0 901161602 16121856 3191 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3936 3191 1111 63 0 3873 0
vsize: 15744
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 19604 0 0 0 6927 70 0 0 25 0 1 0 901161602 15958016 3186 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3186 1111 63 0 3833 0
vsize: 15584
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 23649 0 0 0 7911 87 0 0 25 0 1 0 901161602 16506880 3325 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4030 3325 1111 63 0 3967 0
vsize: 16120
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 30562 0 0 0 8885 112 0 0 25 0 1 0 901161602 17641472 3602 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4345 3604 1111 63 0 4282 0
vsize: 17228
[startup+100 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 32718 0 0 0 9873 124 0 0 25 0 1 0 901161602 18067456 3706 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3706 1111 63 0 4348 0
vsize: 17644
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 33657 0 0 0 10865 132 0 0 25 0 1 0 901161602 18067456 3706 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3706 1111 63 0 4348 0
vsize: 17644
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 34840 0 0 0 11857 140 0 0 25 0 1 0 901161602 18067456 3706 4294967295 134512640 134716908 3221224576 3221223296 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3706 1111 63 0 4348 0
vsize: 17644
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 36637 0 0 0 12849 149 0 0 25 0 1 0 901161602 18554880 3825 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3825 1111 63 0 4467 0
vsize: 18120
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 36688 0 0 0 13848 150 0 0 25 0 1 0 901161602 18554880 3825 4294967295 134512640 134716908 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3825 1111 63 0 4467 0
vsize: 18120
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 37733 0 0 0 14845 154 0 0 25 0 1 0 901161602 19169280 3972 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3972 1111 63 0 4617 0
vsize: 18720
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 37733 0 0 0 15844 154 0 0 25 0 1 0 901161602 19169280 3972 4294967295 134512640 134716908 3221224576 3221223296 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3972 1111 63 0 4617 0
vsize: 18720
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 37741 0 0 0 16843 156 0 0 25 0 1 0 901161602 19169280 3972 4294967295 134512640 134716908 3221224576 3221222992 1074116197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3972 1111 63 0 4617 0
vsize: 18720
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 37741 0 0 0 17842 157 0 0 25 0 1 0 901161602 19169280 3972 4294967295 134512640 134716908 3221224576 3221222576 1074056648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3972 1111 63 0 4617 0
vsize: 18720
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 37741 0 0 0 18840 159 0 0 25 0 1 0 901161602 19169280 3972 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3972 1111 63 0 4617 0
vsize: 18720
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 38057 0 0 0 19838 161 0 0 25 0 1 0 901161602 19169280 3975 4294967295 134512640 134716908 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3975 1111 63 0 4617 0
vsize: 18720
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 38200 0 0 0 20836 163 0 0 25 0 1 0 901161602 19169280 3975 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4680 3975 1111 63 0 4617 0
vsize: 18720
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39104 0 0 0 21832 167 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39104 0 0 0 22832 168 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39108 0 0 0 23831 169 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39108 0 0 0 24830 170 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221222480 1075460136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39131 0 0 0 25830 171 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221223296 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39174 0 0 0 26828 173 0 0 25 0 1 0 901161602 19464192 4047 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 4047 1111 63 0 4689 0
vsize: 19008
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 39812 0 0 0 27823 177 0 0 25 0 1 0 901161602 19501056 4056 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 4056 1111 63 0 4698 0
vsize: 19044
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41138 0 0 0 28818 183 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41138 0 0 0 29817 184 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41139 0 0 0 30815 186 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222392 1077377842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41527 0 0 0 31812 189 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221223296 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41527 0 0 0 32811 190 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221223008 1073990032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 41539 0 0 0 33810 192 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 42307 0 0 0 34804 198 0 0 25 0 1 0 901161602 19632128 4080 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4793 4080 1111 63 0 4730 0
vsize: 19172
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 42781 0 0 0 35801 201 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222576 1074056563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 42785 0 0 0 36800 203 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 42786 0 0 0 37799 204 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221223168 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 43383 0 0 0 38796 207 0 0 25 0 1 0 901161602 19546112 4067 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4772 4067 1111 63 0 4709 0
vsize: 19088
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 43577 0 0 0 39795 208 0 0 25 0 1 0 901161602 19603456 4069 4294967295 134512640 134716908 3221224576 3221223188 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4786 4069 1111 63 0 4723 0
vsize: 19144
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 45339 0 0 0 40786 217 0 0 25 0 1 0 901161602 19648512 4092 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4092 1111 63 0 4734 0
vsize: 19188
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46281 0 0 0 41782 221 0 0 25 0 1 0 901161602 20074496 4196 4294967295 134512640 134716908 3221224576 3221223280 134654907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4196 1111 63 0 4838 0
vsize: 19604
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46281 0 0 0 42780 223 0 0 25 0 1 0 901161602 20074496 4196 4294967295 134512640 134716908 3221224576 3221222852 1077402432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4196 1111 63 0 4838 0
vsize: 19604
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46328 0 0 0 43779 224 0 0 25 0 1 0 901161602 20074496 4196 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4196 1111 63 0 4838 0
vsize: 19604
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46407 0 0 0 44778 226 0 0 25 0 1 0 901161602 20074496 4196 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4196 1111 63 0 4838 0
vsize: 19604
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46413 0 0 0 45777 227 0 0 25 0 1 0 901161602 20074496 4196 4294967295 134512640 134716908 3221224576 3221221556 1075964073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4196 1111 63 0 4838 0
vsize: 19604
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 46874 0 0 0 46774 230 0 0 25 0 1 0 901161602 20549632 4264 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5017 4264 1111 63 0 4954 0
vsize: 20068
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47613 0 0 0 47770 234 0 0 25 0 1 0 901161602 20606976 4312 4294967295 134512640 134716908 3221224576 3221221676 1075117860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4312 1111 63 0 4968 0
vsize: 20124
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47613 0 0 0 48769 235 0 0 25 0 1 0 901161602 20606976 4312 4294967295 134512640 134716908 3221224576 3221222976 1074119048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4312 1111 63 0 4968 0
vsize: 20124
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47613 0 0 0 49768 236 0 0 25 0 1 0 901161602 20606976 4312 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4312 1111 63 0 4968 0
vsize: 20124
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47626 0 0 0 50767 237 0 0 25 0 1 0 901161602 20606976 4319 4294967295 134512640 134716908 3221224576 3221222528 1075655614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4319 1111 63 0 4968 0
vsize: 20124
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47626 0 0 0 51766 239 0 0 25 0 1 0 901161602 20606976 4319 4294967295 134512640 134716908 3221224576 3221223192 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4319 1111 63 0 4968 0
vsize: 20124
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 47657 0 0 0 52765 240 0 0 25 0 1 0 901161602 20606976 4326 4294967295 134512640 134716908 3221224576 3221222548 1074248336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4326 1111 63 0 4968 0
vsize: 20124
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 48003 0 0 0 53764 242 0 0 25 0 1 0 901161602 20606976 4326 4294967295 134512640 134716908 3221224576 3221223432 134586620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5031 4326 1111 63 0 4968 0
vsize: 20124
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49533 0 0 0 54755 250 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49533 0 0 0 55753 252 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221221612 1075971136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49535 0 0 0 56751 254 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222868 1074248336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49535 0 0 0 57749 255 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 58748 256 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 59747 257 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 60746 259 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221223024 1074039077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 61745 260 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221223272 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 62743 261 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 63742 262 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 64741 264 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222928 1074115509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49547 0 0 0 65740 265 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49549 0 0 0 66738 267 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49549 0 0 0 67737 268 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221221780 1074206298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49549 0 0 0 68734 271 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222400 1075823342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 49815 0 0 0 69733 273 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222576 1074921304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 51103 0 0 0 70727 279 0 0 25 0 1 0 901161602 20840448 4383 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5088 4383 1111 63 0 5025 0
vsize: 20352
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53080 0 0 0 71720 285 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221222608 1075088333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53080 0 0 0 72719 287 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221222892 1074138442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53081 0 0 0 73718 288 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53081 0 0 0 74717 289 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221222848 1074056253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53081 0 0 0 75716 290 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53082 0 0 0 76714 292 0 0 25 0 1 0 901161602 21676032 4587 4294967295 134512640 134716908 3221224576 3221223280 134592393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4587 1111 63 0 5229 0
vsize: 21168
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 53998 0 0 0 77710 296 0 0 25 0 1 0 901161602 21946368 4652 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4652 1111 63 0 5295 0
vsize: 21432
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 78708 299 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 79706 301 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221222984 1074209036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 80705 302 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 81703 303 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221223168 134535023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 82701 306 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221222688 1074867275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 83700 307 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221223164 1074057888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54476 0 0 0 84699 307 0 0 25 0 1 0 901161602 22138880 4695 4294967295 134512640 134716908 3221224576 3221223336 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4695 1111 63 0 5342 0
vsize: 21620
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54499 0 0 0 85698 309 0 0 25 0 1 0 901161602 22138880 4698 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4698 1111 63 0 5342 0
vsize: 21620
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 54810 0 0 0 86696 312 0 0 25 0 1 0 901161602 22204416 4715 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4715 1111 63 0 5358 0
vsize: 21684
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 55770 0 0 0 87689 319 0 0 25 0 1 0 901161602 22204416 4716 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4716 1111 63 0 5358 0
vsize: 21684
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59442 0 0 0 88675 332 0 0 25 0 1 0 901161602 22720512 4842 4294967295 134512640 134716908 3221224576 3221223204 1077374168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4842 1111 63 0 5484 0
vsize: 22188
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59888 0 0 0 89673 335 0 0 25 0 1 0 901161602 22896640 4869 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5590 4869 1111 63 0 5527 0
vsize: 22360
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59919 0 0 0 90672 336 0 0 25 0 1 0 901161602 22827008 4868 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5573 4868 1111 63 0 5510 0
vsize: 22292
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59919 0 0 0 91671 338 0 0 25 0 1 0 901161602 22827008 4868 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5573 4868 1111 63 0 5510 0
vsize: 22292
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59919 0 0 0 92670 339 0 0 25 0 1 0 901161602 22794240 4860 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4860 1111 63 0 5502 0
vsize: 22260
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59919 0 0 0 93669 340 0 0 25 0 1 0 901161602 22794240 4860 4294967295 134512640 134716908 3221224576 3221223276 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4860 1111 63 0 5502 0
vsize: 22260
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 59920 0 0 0 94668 341 0 0 25 0 1 0 901161602 22794240 4860 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4860 1111 63 0 5502 0
vsize: 22260
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 60659 0 0 0 95664 345 0 0 25 0 1 0 901161602 23191552 4938 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 4938 1111 63 0 5599 0
vsize: 22648
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 60663 0 0 0 96663 346 0 0 25 0 1 0 901161602 23191552 4942 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 4942 1111 63 0 5599 0
vsize: 22648
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 61431 0 0 0 97660 349 0 0 25 0 1 0 901161602 23609344 5058 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5764 5058 1111 63 0 5701 0
vsize: 23056
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 61431 0 0 0 98659 350 0 0 25 0 1 0 901161602 23273472 4977 4294967295 134512640 134716908 3221224576 3221222304 1075829562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5682 4977 1111 63 0 5619 0
vsize: 22728
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 61431 0 0 0 99658 351 0 0 25 0 1 0 901161602 23273472 4977 4294967295 134512640 134716908 3221224576 3221223280 134654880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5682 4977 1111 63 0 5619 0
vsize: 22728
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 61652 0 0 0 100657 353 0 0 25 0 1 0 901161602 23273472 4977 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5682 4977 1111 63 0 5619 0
vsize: 22728
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 61740 0 0 0 101656 354 0 0 25 0 1 0 901161602 23191552 4957 4294967295 134512640 134716908 3221224576 3221222304 1075635645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 4957 1111 63 0 5599 0
vsize: 22648
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 62169 0 0 0 102655 356 0 0 25 0 1 0 901161602 23412736 5006 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5716 5006 1111 63 0 5653 0
vsize: 22864
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63823 0 0 0 103648 362 0 0 25 0 1 0 901161602 24219648 5191 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5913 5191 1111 63 0 5850 0
vsize: 23652
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63823 0 0 0 104647 363 0 0 25 0 1 0 901161602 24219648 5191 4294967295 134512640 134716908 3221224576 3221223056 1074039475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5913 5191 1111 63 0 5850 0
vsize: 23652
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 105646 365 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221223112 1077378425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 106646 365 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 107644 367 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 108643 368 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221223168 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 109642 370 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 110642 370 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 111640 372 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221223136 134540488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 112639 373 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 113638 375 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 114637 376 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221223280 134654880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63826 0 0 0 115637 376 0 0 25 0 1 0 901161602 24231936 5193 4294967295 134512640 134716908 3221224576 3221222576 1074056605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5193 1111 63 0 5853 0
vsize: 23664
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63840 0 0 0 116636 377 0 0 25 0 1 0 901161602 24231936 5205 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5205 1111 63 0 5853 0
vsize: 23664
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 18523
Raw data (stat): 18523 (bsolo_lpr-v2) R 18522 7266 7265 0 -1 0 63840 0 0 0 116636 377 0 0 25 0 1 0 901161602 24231936 5205 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5205 1111 63 0 5853 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.05
CPU user time (s): 1171.26
CPU system time (s): 3.78942
CPU usage (%): 100.008
Max. virtual memory (Kb): 23664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	825344
#### END VERIFIER DATA ####