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-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
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	1175.04
Number of variables	2520
Total number of constraints	142
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	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 40458

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        865120 kB
Buffers:         24028 kB
Cached:         124280 kB
SwapCached:        952 kB
Active:          29604 kB
Inactive:       120784 kB
HighTotal:      131008 kB
HighFree:         6692 kB
LowTotal:       903652 kB
LowFree:        858428 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13440 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:42:32 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 28524 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2520 variables and 164 constraints.
c After prepocess the problem consists of 1326 variables and 233 constraints.
c preprocess terminated 2.343 s
c Initial Lower Bound: 310557
c Lower Bound Elapsed time: 0.08075
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1590784 @ 109.12
c NEW SOLUTION FOUND: 1581952 @ 109.346
c NEW SOLUTION FOUND: 1570816 @ 109.755
c NEW SOLUTION FOUND: 1567744 @ 110.186
c NEW SOLUTION FOUND: 1558400 @ 110.25
c NEW SOLUTION FOUND: 1556736 @ 110.289
c NEW SOLUTION FOUND: 1538688 @ 110.336
c NEW SOLUTION FOUND: 1529856 @ 110.576
c NEW SOLUTION FOUND: 1512448 @ 111.284
c NEW SOLUTION FOUND: 1489152 @ 113.313
c NEW SOLUTION FOUND: 1467904 @ 114.667
c NEW SOLUTION FOUND: 1466240 @ 114.698
c NEW SOLUTION FOUND: 1462784 @ 115.022
c NEW SOLUTION FOUND: 1462272 @ 115.074
c NEW SOLUTION FOUND: 1457408 @ 115.129
c NEW SOLUTION FOUND: 1421312 @ 115.431
c NEW SOLUTION FOUND: 1412480 @ 115.636
c NEW SOLUTION FOUND: 1407104 @ 629.509
c NEW SOLUTION FOUND: 1405440 @ 629.521
c NEW SOLUTION FOUND: 1395584 @ 635.688
c NEW SOLUTION FOUND: 1393920 @ 635.691
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 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 X112_bit2 -X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 X119_bit1 X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_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 -Y100_bit0 -Y101_bit0 -Y102_bit0 Y103_bit0 -Y104_bit0 -Y105_bit0 Y106_bit0 Y107_bit0 Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 Y112_bit0 -Y113_bit0 -Y114_bit0 -Y115_bit0 Y116_bit0 -Y117_bit0 -Y118_bit0 Y119_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.84 0.94 0.90 2/54 29908
Raw data (stat): 29908 (runsolver) R 29907 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901241569 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.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 6369 0 0 0 982 16 0 0 25 0 1 0 901241569 18288640 3751 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3751 1111 63 0 4402 0
vsize: 17860
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 9480 0 0 0 1972 26 0 0 25 0 1 0 901241569 18259968 3745 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3745 1111 63 0 4395 0
vsize: 17832
[startup+30.0008 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 12527 0 0 0 2963 35 0 0 25 0 1 0 901241569 18259968 3745 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3745 1111 63 0 4395 0
vsize: 17832
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 15195 0 0 0 3955 44 0 0 25 0 1 0 901241569 18259968 3745 4294967295 134512640 134716908 3221224576 3221221448 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3745 1111 63 0 4395 0
vsize: 17832
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 17536 0 0 0 4948 51 0 0 25 0 1 0 901241569 18632704 3767 4294967295 134512640 134716908 3221224576 3221220720 1074950912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3767 1111 63 0 4486 0
vsize: 18196
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 19460 0 0 0 5941 58 0 0 25 0 1 0 901241569 18259968 3745 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3745 1111 63 0 4395 0
vsize: 17832
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 21129 0 0 0 6936 64 0 0 25 0 1 0 901241569 18259968 3746 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3746 1111 63 0 4395 0
vsize: 17832
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 22924 0 0 0 7930 70 0 0 25 0 1 0 901241569 18259968 3746 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3746 1111 63 0 4395 0
vsize: 17832
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 24552 0 0 0 8925 76 0 0 25 0 1 0 901241569 18288640 3750 4294967295 134512640 134716908 3221224576 3221222736 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3746 1111 63 0 4395 0
vsize: 17860
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 25190 0 0 0 9922 79 0 0 25 0 1 0 901241569 18259968 3746 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3746 1111 63 0 4395 0
vsize: 17832
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 26686 0 0 0 10916 85 0 0 25 0 1 0 901241569 18538496 3820 4294967295 134512640 134716908 3221224576 3221223216 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3820 1111 63 0 4463 0
vsize: 18104
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 32450 0 0 0 11898 103 0 0 25 0 1 0 901241569 19697664 4090 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4085 1111 63 0 4728 0
vsize: 19236
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35645 0 0 0 12887 114 0 0 25 0 1 0 901241569 21176320 4445 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4445 1111 63 0 5107 0
vsize: 20680
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35647 0 0 0 13887 115 0 0 25 0 1 0 901241569 21176320 4447 4294967295 134512640 134716908 3221224576 3221222976 1074119046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4447 1111 63 0 5107 0
vsize: 20680
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35652 0 0 0 14886 116 0 0 25 0 1 0 901241569 21176320 4451 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4451 1111 63 0 5107 0
vsize: 20680
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35834 0 0 0 15885 118 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35834 0 0 0 16884 118 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221223296 134622777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35834 0 0 0 17884 119 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35834 0 0 0 18883 120 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35835 0 0 0 19882 121 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 20882 122 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222804 1077402435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 21882 122 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 22882 123 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222716 1074207392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 23881 124 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 24881 125 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 25880 126 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 35839 0 0 0 26880 126 0 0 25 0 1 0 901241569 21176320 4464 4294967295 134512640 134716908 3221224576 3221220736 1075093523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4464 1111 63 0 5107 0
vsize: 20680
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 36764 0 0 0 27877 130 0 0 25 0 1 0 901241569 21733376 4599 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4599 1111 63 0 5243 0
vsize: 21224
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 36764 0 0 0 28876 131 0 0 25 0 1 0 901241569 21733376 4599 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4599 1111 63 0 5243 0
vsize: 21224
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37037 0 0 0 29875 132 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221222928 1074142947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37037 0 0 0 30874 134 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37037 0 0 0 31873 135 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37146 0 0 0 32872 136 0 0 25 0 1 0 901241569 21819392 4608 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4608 1111 63 0 5264 0
vsize: 21308
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37149 0 0 0 33872 137 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37149 0 0 0 34870 139 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221220804 1075114957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 37209 0 0 0 35870 140 0 0 25 0 1 0 901241569 21733376 4600 4294967295 134512640 134716908 3221224576 3221223144 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4600 1111 63 0 5243 0
vsize: 21224
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38278 0 0 0 36866 144 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38278 0 0 0 37866 145 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222304 1075635652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38303 0 0 0 38865 146 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38414 0 0 0 39865 147 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222884 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38414 0 0 0 40864 148 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38423 0 0 0 41863 149 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38423 0 0 0 42862 150 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221223280 134654910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38423 0 0 0 43862 151 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 38423 0 0 0 44861 152 0 0 25 0 1 0 901241569 22142976 4700 4294967295 134512640 134716908 3221224576 3221222320 1075636586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4700 1111 63 0 5343 0
vsize: 21624
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40611 0 0 0 45855 159 0 0 25 0 1 0 901241569 22667264 4796 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5534 4796 1111 63 0 5471 0
vsize: 22136
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 46854 160 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 47853 161 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 48853 161 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222844 1077378561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 49853 162 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 50852 163 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 51852 164 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222620 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 52851 165 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 53851 165 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221223256 134524385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 54850 166 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 55850 167 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 56849 168 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 57849 169 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 58848 170 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 59848 171 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222992 1074116576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 60847 171 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221223192 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40739 0 0 0 61847 172 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221223232 134524393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40929 0 0 0 62846 174 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 40932 0 0 0 63844 175 0 0 25 0 1 0 901241569 22601728 4812 4294967295 134512640 134716908 3221224576 3221222976 1074153698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4812 1111 63 0 5455 0
vsize: 22072
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 42180 0 0 0 64839 180 0 0 25 0 1 0 901241569 23203840 4956 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4956 1111 63 0 5602 0
vsize: 22660
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 42903 0 0 0 65837 182 0 0 25 0 1 0 901241569 23826432 5093 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5093 1111 63 0 5754 0
vsize: 23268
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 66835 184 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223168 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 67835 185 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 68835 186 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223276 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 69834 186 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 70834 187 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223324 134535537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 71834 188 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 72834 188 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222928 1074142890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43100 0 0 0 73833 189 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 74833 189 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223276 134535530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 75833 190 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222496 1075799524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 76832 191 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 77832 192 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 78832 192 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 79831 193 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 80831 194 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 81830 195 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 82830 196 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 83829 197 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 84829 197 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222932 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 85828 198 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222992 1074116432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 86828 199 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 87827 200 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223216 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 88827 201 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 89826 202 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 90825 203 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223168 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 91824 204 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 92824 205 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 93823 207 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223280 134654883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 94822 208 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223024 1074039482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 95821 209 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223276 134558545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 96820 210 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 97820 211 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223296 1076647868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 98819 212 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 99819 213 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223240 134675297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 100819 213 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 101819 214 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222992 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 102818 215 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 103817 216 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223096 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 104817 217 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 105817 217 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222304 1075635526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 106816 218 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222304 1075829564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 107815 219 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 108815 220 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 109815 221 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223368 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 110814 222 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223280 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 111813 223 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222400 1075823340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 112813 224 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223308 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43159 0 0 0 113812 225 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43178 0 0 0 114811 226 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221223108 1077378603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43178 0 0 0 115811 226 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43178 0 0 0 116811 227 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 23268
[startup+1174.7 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29908
Raw data (stat): 29908 (bsolo_lpr-v2) R 29907 25568 25567 0 -1 0 43178 0 0 0 116811 227 0 0 25 0 1 0 901241569 23826432 5111 4294967295 134512640 134716908 3221224576 3221222976 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5817 5111 1111 63 0 5754 0
vsize: 0

Child status: 10
Real time (s): 1174.7
CPU time (s): 1175.04
CPU user time (s): 1172.75
CPU system time (s): 2.28965
CPU usage (%): 100.029
Max. virtual memory (Kb): 23268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1393920
#### END VERIFIER DATA ####