PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
MD5SUM	d28092793cdc5a919be9a0f5974c70fe
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48000
Optimality of the best value was proved	NO
Number of terms in the objective function	489
Biggest coefficient in the objective function	3145728
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	69282750
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	3145728
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	69282750
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.6134
Number of variables	873
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	43
Minimum length of a constraint	1
Maximum length of a constraint	100
Trace number 40311

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 06:31:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28371 boxname=wulflinc6 idbench=1327 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  d28092793cdc5a919be9a0f5974c70fe  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sample2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sample2.opb
IDLAUNCH: 28371
/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:        891764 kB
Buffers:         14772 kB
Cached:         106928 kB
SwapCached:        972 kB
Active:          27388 kB
Inactive:        96368 kB
HighTotal:      131008 kB
HighFree:        59472 kB
LowTotal:       903652 kB
LowFree:        832292 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13448 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:50:39 (client local time) WITH STATUS 10 IN 1175.15 SECONDS
stats: 28371 0 1175.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 873 variables and 67 constraints.
c After prepocess the problem consists of 456 variables and 219 constraints.
c preprocess terminated 0.748 s
c Initial Lower Bound: 31616
c Lower Bound Elapsed time: 0.0335
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 107460 @ 16.098
c NEW SOLUTION FOUND: 107456 @ 16.109
c NEW SOLUTION FOUND: 107454 @ 16.13
c NEW SOLUTION FOUND: 107452 @ 16.229
c NEW SOLUTION FOUND: 107450 @ 16.239
c NEW SOLUTION FOUND: 107444 @ 16.335
c NEW SOLUTION FOUND: 107442 @ 16.378
c NEW SOLUTION FOUND: 107428 @ 16.484
c NEW SOLUTION FOUND: 107426 @ 16.563
c NEW SOLUTION FOUND: 107400 @ 16.71
c NEW SOLUTION FOUND: 107398 @ 16.711
c NEW SOLUTION FOUND: 107397 @ 32.369
c NEW SOLUTION FOUND: 107396 @ 32.912
c NEW SOLUTION FOUND: 107395 @ 47.983
c NEW SOLUTION FOUND: 107262 @ 48.806
c NEW SOLUTION FOUND: 107260 @ 49.154
c NEW SOLUTION FOUND: 107258 @ 49.383
c NEW SOLUTION FOUND: 107252 @ 49.783
c NEW SOLUTION FOUND: 107250 @ 50.07
c NEW SOLUTION FOUND: 107242 @ 50.845
c NEW SOLUTION FOUND: 107240 @ 50.846
c NEW SOLUTION FOUND: 107238 @ 50.975
c NEW SOLUTION FOUND: 107236 @ 51.096
c NEW SOLUTION FOUND: 107234 @ 51.372
c NEW SOLUTION FOUND: 107230 @ 51.821
c NEW SOLUTION FOUND: 107227 @ 51.855
c NEW SOLUTION FOUND: 107223 @ 51.865
c NEW SOLUTION FOUND: 107217 @ 51.875
c NEW SOLUTION FOUND: 107216 @ 51.966
c NEW SOLUTION FOUND: 107215 @ 52.058
c NEW SOLUTION FOUND: 107214 @ 52.151
c NEW SOLUTION FOUND: 107211 @ 52.217
c NEW SOLUTION FOUND: 107210 @ 52.262
c NEW SOLUTION FOUND: 107202 @ 52.561
c NEW SOLUTION FOUND: 107140 @ 52.814
c NEW SOLUTION FOUND: 107139 @ 53.968
c NEW SOLUTION FOUND: 94210 @ 57.474
c NEW SOLUTION FOUND: 94209 @ 58.44
c NEW SOLUTION FOUND: 94172 @ 61.414
c NEW SOLUTION FOUND: 94124 @ 62.254
c NEW SOLUTION FOUND: 94100 @ 63.165
c NEW SOLUTION FOUND: 94088 @ 64.326
c NEW SOLUTION FOUND: 94082 @ 65.216
c NEW SOLUTION FOUND: 94048 @ 66.619
c NEW SOLUTION FOUND: 93888 @ 66.89
c NEW SOLUTION FOUND: 93822 @ 67.22
c NEW SOLUTION FOUND: 93820 @ 67.249
c NEW SOLUTION FOUND: 93818 @ 67.308
c NEW SOLUTION FOUND: 93816 @ 67.335
c NEW SOLUTION FOUND: 93814 @ 67.443
c NEW SOLUTION FOUND: 93812 @ 67.471
c NEW SOLUTION FOUND: 93808 @ 67.483
c NEW SOLUTION FOUND: 93792 @ 67.495
c NEW SOLUTION FOUND: 93760 @ 67.57
c NEW SOLUTION FOUND: 93758 @ 68.086
c NEW SOLUTION FOUND: 93756 @ 68.114
c NEW SOLUTION FOUND: 93754 @ 68.152
c NEW SOLUTION FOUND: 93752 @ 68.179
c NEW SOLUTION FOUND: 93744 @ 68.257
c NEW SOLUTION FOUND: 93728 @ 68.28
c NEW SOLUTION FOUND: 93724 @ 68.44
c NEW SOLUTION FOUND: 93720 @ 68.47
c NEW SOLUTION FOUND: 93710 @ 68.586
c NEW SOLUTION FOUND: 93706 @ 68.614
c NEW SOLUTION FOUND: 93704 @ 68.66
c NEW SOLUTION FOUND: 93700 @ 68.786
c NEW SOLUTION FOUND: 93698 @ 68.847
c NEW SOLUTION FOUND: 93696 @ 69.042
c NEW SOLUTION FOUND: 93694 @ 70.508
c NEW SOLUTION FOUND: 93693 @ 70.53
c NEW SOLUTION FOUND: 93692 @ 71.272
c NEW SOLUTION FOUND: 93691 @ 71.363
c NEW SOLUTION FOUND: 93690 @ 71.601
c NEW SOLUTION FOUND: 93688 @ 71.647
c NEW SOLUTION FOUND: 93687 @ 71.861
c NEW SOLUTION FOUND: 93684 @ 71.958
c NEW SOLUTION FOUND: 93683 @ 72.025
c NEW SOLUTION FOUND: 93682 @ 72.034
c NEW SOLUTION FOUND: 93681 @ 72.055
c NEW SOLUTION FOUND: 93680 @ 73.394
c NEW SOLUTION FOUND: 93679 @ 73.597
c NEW SOLUTION FOUND: 93677 @ 73.645
c NEW SOLUTION FOUND: 93676 @ 73.665
c NEW SOLUTION FOUND: 93675 @ 73.718
c NEW SOLUTION FOUND: 93673 @ 73.777
c NEW SOLUTION FOUND: 93672 @ 73.806
c NEW SOLUTION FOUND: 93664 @ 73.819
c NEW SOLUTION FOUND: 93663 @ 74.246
c NEW SOLUTION FOUND: 93662 @ 74.343
c NEW SOLUTION FOUND: 93661 @ 74.416
c NEW SOLUTION FOUND: 93660 @ 74.454
c NEW SOLUTION FOUND: 93659 @ 74.654
c NEW SOLUTION FOUND: 93657 @ 74.7
c NEW SOLUTION FOUND: 93656 @ 74.985
c NEW SOLUTION FOUND: 93655 @ 75.129
c NEW SOLUTION FOUND: 93653 @ 75.233
c NEW SOLUTION FOUND: 93652 @ 75.28
c NEW SOLUTION FOUND: 93651 @ 75.427
c NEW SOLUTION FOUND: 93650 @ 75.495
c NEW SOLUTION FOUND: 93649 @ 75.591
c NEW SOLUTION FOUND: 93648 @ 75.638
c NEW SOLUTION FOUND: 93647 @ 75.865
c NEW SOLUTION FOUND: 93645 @ 75.912
c NEW SOLUTION FOUND: 93644 @ 76.168
c NEW SOLUTION FOUND: 93643 @ 76.234
c NEW SOLUTION FOUND: 93641 @ 76.281
c NEW SOLUTION FOUND: 93640 @ 76.31
c NEW SOLUTION FOUND: 93639 @ 76.382
c NEW SOLUTION FOUND: 93637 @ 76.429
c NEW SOLUTION FOUND: 93636 @ 76.484
c NEW SOLUTION FOUND: 93634 @ 76.646
c NEW SOLUTION FOUND: 93633 @ 76.723
c NEW SOLUTION FOUND: 93632 @ 78.545
c NEW SOLUTION FOUND: 93627 @ 78.976
c NEW SOLUTION FOUND: 93625 @ 79.025
c NEW SOLUTION FOUND: 93624 @ 79.064
c NEW SOLUTION FOUND: 93623 @ 79.138
c NEW SOLUTION FOUND: 93621 @ 79.167
c NEW SOLUTION FOUND: 93618 @ 79.263
c NEW SOLUTION FOUND: 93617 @ 79.338
c NEW SOLUTION FOUND: 93616 @ 79.366
c NEW SOLUTION FOUND: 93615 @ 79.44
c NEW SOLUTION FOUND: 93614 @ 79.562
c NEW SOLUTION FOUND: 93613 @ 79.632
c NEW SOLUTION FOUND: 93612 @ 79.677
c NEW SOLUTION FOUND: 93610 @ 79.951
c NEW SOLUTION FOUND: 93609 @ 80.03
c NEW SOLUTION FOUND: 93603 @ 80.473
c NEW SOLUTION FOUND: 93601 @ 80.616
c NEW SOLUTION FOUND: 93600 @ 80.663
c NEW SOLUTION FOUND: 93598 @ 80.776
c NEW SOLUTION FOUND: 93597 @ 80.832
c NEW SOLUTION FOUND: 93591 @ 81.037
c NEW SOLUTION FOUND: 93585 @ 81.21
c NEW SOLUTION FOUND: 93540 @ 81.375
c NEW SOLUTION FOUND: 93537 @ 81.548
c NEW SOLUTION FOUND: 93504 @ 81.973
c NEW SOLUTION FOUND: 93455 @ 82.162
c NEW SOLUTION FOUND: 93453 @ 82.241
c NEW SOLUTION FOUND: 93451 @ 82.547
c NEW SOLUTION FOUND: 93449 @ 82.635
c NEW SOLUTION FOUND: 93448 @ 82.82
c NEW SOLUTION FOUND: 93446 @ 83.135
c NEW SOLUTION FOUND: 93444 @ 83.182
c NEW SOLUTION FOUND: 93441 @ 83.34
c NEW SOLUTION FOUND: 92948 @ 116.13
c NEW SOLUTION FOUND: 92945 @ 116.211
c NEW SOLUTION FOUND: 92932 @ 116.552
c NEW SOLUTION FOUND: 92930 @ 120.358
c NEW SOLUTION FOUND: 92929 @ 120.428
c NEW SOLUTION FOUND: 92894 @ 129.44
c NEW SOLUTION FOUND: 92890 @ 130.092
c NEW SOLUTION FOUND: 92886 @ 130.256
c NEW SOLUTION FOUND: 92885 @ 131.208
c NEW SOLUTION FOUND: 92884 @ 131.818
c NEW SOLUTION FOUND: 92883 @ 131.886
c NEW SOLUTION FOUND: 92881 @ 131.957
c NEW SOLUTION FOUND: 92878 @ 132.271
c NEW SOLUTION FOUND: 92874 @ 132.428
c NEW SOLUTION FOUND: 92870 @ 132.438
c NEW SOLUTION FOUND: 92866 @ 132.566
c NEW SOLUTION FOUND: 92862 @ 132.576
c NEW SOLUTION FOUND: 92860 @ 132.8
c NEW SOLUTION FOUND: 92856 @ 132.915
c NEW SOLUTION FOUND: 92853 @ 133.029
c NEW SOLUTION FOUND: 92850 @ 133.727
c NEW SOLUTION FOUND: 92846 @ 133.736
c NEW SOLUTION FOUND: 92845 @ 134.011
c NEW SOLUTION FOUND: 92843 @ 134.1
c NEW SOLUTION FOUND: 92841 @ 134.13
c NEW SOLUTION FOUND: 92837 @ 134.183
c NEW SOLUTION FOUND: 92834 @ 134.801
c NEW SOLUTION FOUND: 92830 @ 134.81
c NEW SOLUTION FOUND: 92826 @ 134.902
c NEW SOLUTION FOUND: 92822 @ 134.912
c NEW SOLUTION FOUND: 92818 @ 135.023
c NEW SOLUTION FOUND: 92814 @ 135.033
c NEW SOLUTION FOUND: 92813 @ 135.162
c NEW SOLUTION FOUND: 92811 @ 135.21
c NEW SOLUTION FOUND: 92809 @ 135.25
c NEW SOLUTION FOUND: 92805 @ 135.304
c NEW SOLUTION FOUND: 92804 @ 140.002
c NEW SOLUTION FOUND: 92802 @ 140.091
c NEW SOLUTION FOUND: 92801 @ 140.236
c NEW SOLUTION FOUND: 92796 @ 142.672
c NEW SOLUTION FOUND: 92794 @ 142.69
c NEW SOLUTION FOUND: 92788 @ 142.75
c NEW SOLUTION FOUND: 92786 @ 142.819
c NEW SOLUTION FOUND: 92780 @ 142.881
c NEW SOLUTION FOUND: 92778 @ 142.899
c NEW SOLUTION FOUND: 92772 @ 142.959
c NEW SOLUTION FOUND: 92770 @ 143.027
c NEW SOLUTION FOUND: 92764 @ 143.309
c NEW SOLUTION FOUND: 92762 @ 143.328
c NEW SOLUTION FOUND: 92756 @ 143.398
c NEW SOLUTION FOUND: 92754 @ 143.467
c NEW SOLUTION FOUND: 92748 @ 143.529
c NEW SOLUTION FOUND: 92746 @ 143.548
c NEW SOLUTION FOUND: 92740 @ 143.627
c NEW SOLUTION FOUND: 92738 @ 143.675
c NEW SOLUTION FOUND: 92737 @ 150.604
c NEW SOLUTION FOUND: 92734 @ 151.165
c NEW SOLUTION FOUND: 92732 @ 151.204
c NEW SOLUTION FOUND: 92728 @ 151.214
c NEW SOLUTION FOUND: 92725 @ 151.234
c NEW SOLUTION FOUND: 92724 @ 151.342
c NEW SOLUTION FOUND: 92720 @ 151.352
c NEW SOLUTION FOUND: 92717 @ 151.373
c NEW SOLUTION FOUND: 92706 @ 151.427
c NEW SOLUTION FOUND: 92702 @ 151.428
c NEW SOLUTION FOUND: 92700 @ 151.465
c NEW SOLUTION FOUND: 92696 @ 151.475
c NEW SOLUTION FOUND: 92693 @ 151.496
c NEW SOLUTION FOUND: 92691 @ 152.004
c NEW SOLUTION FOUND: 92689 @ 152.583
c NEW SOLUTION FOUND: 92688 @ 156.076
c NEW SOLUTION FOUND: 92679 @ 158.288
c NEW SOLUTION FOUND: 92676 @ 158.748
c NEW SOLUTION FOUND: 92675 @ 158.991
c NEW SOLUTION FOUND: 92674 @ 159.574
c NEW SOLUTION FOUND: 92673 @ 160.612
s SATISFIABLE
v I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 I_0x2e_W03W03_bit0 I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 -F_0x2e_W02D04_bit0 -F_0x2e_W02D04_bit1 -F_0x2e_W02D04_bit2 -F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 F_0x2e_W03D01_bit2 F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 F_0x2e_W03D02_bit2 F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 F_0x2e_D01C03_bit0 F_0x2e_D01C03_bit1 F_0x2e_D01C03_bit2 F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 F_0x2e_D02C01_bit0 F_0x2e_D02C01_bit1 F_0x2e_D02C01_bit2 F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 -F_0x2e_D03C01_bit0 -F_0x2e_D03C01_bit1 -F_0x2e_D03C01_bit2 -F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 -F_0x2e_D04C01_bit0 -F_0x2e_D04C01_bit1 -F_0x2e_D04C01_bit2 -F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 -F_0x2e_D04C02_bit0 -F_0x2e_D04C02_bit1 -F_0x2e_D04C02_bit2 -F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 -F_0x2e_D04D04_bit0 -F_0x2e_D04D04_bit1 -F_0x2e_D04D04_bit2 -F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 F_0x2e__0x2e__0x2e__0x2e_F01_bit0 F_0x2e__0x2e__0x2e__0x2e_F01_bit1 F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit3 F_0x2e__0x2e__0x2e__0x2e_F03_bit4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 F_0x2e_D03C02_bit0 F_0x2e_D03C02_bit1 F_0x2e_D03C02_bit2 F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 -F_0x2e_D02C03_bit0 -F_0x2e_D02C03_bit1 -F_0x2e_D02C03_bit2 -F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 F_0x2e_D01D01_bit0 F_0x2e_D01D01_bit1 F_0x2e_D01D01_bit2 F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 -F_0x2e_W02D02_bit2 -F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 F_0x2e_F01W03_bit_7 F_0x2e_F01W03_bit_6 F_0x2e_F01W03_bit_5 F_0x2e_F01W03_bit_4 F_0x2e_F01W03_bit_3 F_0x2e_F01W03_bit_2 F_0x2e_F01W03_bit_1 F_0x2e_F01W03_bit0 F_0x2e_F01W03_bit1 F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 -F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 -F_0x2e_F03W02_bit3 F_0x2e_F03W02_bit4 -F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -I_0x2e_D01C01_bit0 I_0x2e_D02C01_bit0 -I_0x2e_D03C01_bit0 -I_0x2e_D04C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D03C02_bit0 -I_0x2e_D04C02_bit0 I_0x2e_D01C03_bit0 -I_0x2e_D02C03_bit0 -I_0x2e_D03C03_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 -F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 -F_0x2e_W02W02_bit3 F_0x2e_W02W02_bit4 -F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 F_0x2e_W03W03_bit3 F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 
c Exit Code: 10
c Total time: 1175.13 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.87 0.91 0.90 2/54 26930
Raw data (stat): 26930 (runsolver) R 26929 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899489916 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.89 0.91 0.90 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 5279 0 0 0 982 15 0 0 25 0 1 0 899489916 10125312 1724 4294967295 134512640 134716908 3221224576 3221220688 1075090434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1724 1111 63 0 2409 0
vsize: 9888
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 11992 0 0 0 1960 37 0 0 25 0 1 0 899489916 11137024 2027 4294967295 134512640 134716908 3221224576 3221223288 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2719 2027 1111 63 0 2656 0
vsize: 10876
[startup+30.002 s]
Raw data (loadavg): 0.92 0.91 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 16729 0 0 0 2941 56 0 0 25 0 1 0 899489916 11350016 2063 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 2063 1111 63 0 2708 0
vsize: 11084
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.92 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 21987 0 0 0 3920 78 0 0 25 0 1 0 899489916 11526144 2116 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2814 2116 1111 63 0 2751 0
vsize: 11256
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 24986 0 0 0 4902 96 0 0 25 0 1 0 899489916 11902976 2163 4294967295 134512640 134716908 3221224576 3221221696 1074835546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2906 2163 1111 63 0 2843 0
vsize: 11624
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 31162 0 0 0 5874 124 0 0 25 0 1 0 899489916 12034048 2248 4294967295 134512640 134716908 3221224576 3221222480 1075460074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 2248 1111 63 0 2875 0
vsize: 11752
[startup+70.0046 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 39612 0 0 0 6843 155 0 0 25 0 1 0 899489916 12554240 2375 4294967295 134512640 134716908 3221224576 3221221888 1075006831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2375 1111 63 0 3002 0
vsize: 12260
[startup+80.0053 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 46215 0 0 0 7813 185 0 0 25 0 1 0 899489916 13750272 2667 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2667 1111 63 0 3294 0
vsize: 13428
[startup+90.0059 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 54257 0 0 0 8780 218 0 0 25 0 1 0 899489916 13991936 2726 4294967295 134512640 134716908 3221224576 3221222756 1077378722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2726 1111 63 0 3353 0
vsize: 13664
[startup+100.006 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 65149 0 0 0 9743 256 0 0 25 0 1 0 899489916 14299136 2737 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2737 1111 63 0 3428 0
vsize: 13964
[startup+110.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 76950 0 0 0 10703 296 0 0 25 0 1 0 899489916 14499840 2851 4294967295 134512640 134716908 3221224576 3221222848 1074055283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2851 1111 63 0 3477 0
vsize: 14160
[startup+120.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 87642 0 0 0 11667 332 0 0 25 0 1 0 899489916 15036416 2930 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3671 2930 1111 63 0 3608 0
vsize: 14684
[startup+130.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 91213 0 0 0 12649 350 0 0 25 0 1 0 899489916 14831616 2932 4294967295 134512640 134716908 3221224576 3221222608 1075088488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3621 2932 1111 63 0 3558 0
vsize: 14484
[startup+140.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 97933 0 0 0 13624 376 0 0 25 0 1 0 899489916 15568896 3112 4294967295 134512640 134716908 3221224576 3221222496 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 3112 1111 63 0 3738 0
vsize: 15204
[startup+150.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 100626 0 0 0 14609 391 0 0 25 0 1 0 899489916 15613952 3123 4294967295 134512640 134716908 3221224576 3221223472 134621531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 3123 1111 63 0 3749 0
vsize: 15248
[startup+160.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 103539 0 0 0 15593 407 0 0 25 0 1 0 899489916 15925248 3163 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3888 3163 1111 63 0 3825 0
vsize: 15552
[startup+170.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 109177 0 0 0 16580 420 0 0 25 0 1 0 899489916 17010688 3399 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3399 1111 63 0 4090 0
vsize: 16612
[startup+180.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 114858 0 0 0 17564 436 0 0 25 0 1 0 899489916 15818752 3180 4294967295 134512640 134716908 3221224576 3221222576 1074916712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3862 3180 1111 63 0 3799 0
vsize: 15448
[startup+190.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 125275 0 0 0 18533 467 0 0 25 0 1 0 899489916 16621568 3368 4294967295 134512640 134716908 3221224576 3221222576 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3368 1111 63 0 3995 0
vsize: 16232
[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 137212 0 0 0 19503 498 0 0 25 0 1 0 899489916 17039360 3476 4294967295 134512640 134716908 3221224576 3221222928 1074142751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3476 1111 63 0 4097 0
vsize: 16640
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 146735 0 0 0 20475 525 0 0 25 0 1 0 899489916 17043456 3479 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4161 3479 1111 63 0 4098 0
vsize: 16644
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 158000 0 0 0 21444 557 0 0 25 0 1 0 899489916 17195008 3516 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4198 3516 1111 63 0 4135 0
vsize: 16792
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 168048 0 0 0 22415 585 0 0 25 0 1 0 899489916 17195008 3516 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4198 3516 1111 63 0 4135 0
vsize: 16792
[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 179267 0 0 0 23385 615 0 0 25 0 1 0 899489916 17215488 3522 4294967295 134512640 134716908 3221224576 3221221888 1075006807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4203 3522 1111 63 0 4140 0
vsize: 16812
[startup+250.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 190895 0 0 0 24353 647 0 0 25 0 1 0 899489916 17473536 3583 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3583 1111 63 0 4203 0
vsize: 17064
[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 201468 0 0 0 25322 679 0 0 25 0 1 0 899489916 17473536 3585 4294967295 134512640 134716908 3221224576 3221222536 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 3585 1111 63 0 4203 0
vsize: 17064
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 213507 0 0 0 26290 711 0 0 25 0 1 0 899489916 17735680 3649 4294967295 134512640 134716908 3221224576 3221222992 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3649 1111 63 0 4267 0
vsize: 17320
[startup+280.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 223276 0 0 0 27262 739 0 0 25 0 1 0 899489916 17735680 3649 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3649 1111 63 0 4267 0
vsize: 17320
[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 233759 0 0 0 28235 767 0 0 25 0 1 0 899489916 17735680 3649 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3649 1111 63 0 4267 0
vsize: 17320
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 243764 0 0 0 29207 795 0 0 25 0 1 0 899489916 18157568 3671 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3671 1111 63 0 4370 0
vsize: 17732
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 255292 0 0 0 30181 822 0 0 25 0 1 0 899489916 18255872 3707 4294967295 134512640 134716908 3221224576 3221220776 1074882913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3707 1111 63 0 4394 0
vsize: 17828
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 266077 0 0 0 31150 853 0 0 25 0 1 0 899489916 17846272 3676 4294967295 134512640 134716908 3221224576 3221222756 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 3676 1111 63 0 4294 0
vsize: 17428
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 274492 0 0 0 32128 876 0 0 25 0 1 0 899489916 17854464 3678 4294967295 134512640 134716908 3221224576 3221222976 1074119059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4359 3678 1111 63 0 4296 0
vsize: 17436
[startup+340.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 282604 0 0 0 33102 901 0 0 25 0 1 0 899489916 18210816 3708 4294967295 134512640 134716908 3221224576 3221220648 1075964742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4446 3708 1111 63 0 4383 0
vsize: 17784
[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 292295 0 0 0 34075 929 0 0 25 0 1 0 899489916 17920000 3694 4294967295 134512640 134716908 3221224576 3221222664 1077374845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4375 3694 1111 63 0 4312 0
vsize: 17500
[startup+360.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 298606 0 0 0 35058 946 0 0 25 0 1 0 899489916 18354176 3752 4294967295 134512640 134716908 3221224576 3221220688 1075895901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4481 3752 1111 63 0 4418 0
vsize: 17924
[startup+370.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 303168 0 2 0 36032 958 0 0 25 0 1 0 899489916 18608128 3804 4294967295 134512640 134716908 3221224576 3221220848 1074961246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 3804 1111 63 0 4480 0
vsize: 18172
[startup+380.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 310129 0 2 0 37012 979 0 0 25 0 1 0 899489916 18227200 3771 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4450 3771 1111 63 0 4387 0
vsize: 17800
[startup+390.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 316694 0 2 0 37994 998 0 0 25 0 1 0 899489916 18796544 3834 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4589 3834 1111 63 0 4526 0
vsize: 18356
[startup+400.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 323114 0 2 0 38975 1016 0 0 25 0 1 0 899489916 18358272 3803 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4482 3803 1111 63 0 4419 0
vsize: 17928
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 330219 0 2 0 39958 1034 0 0 25 0 1 0 899489916 18731008 3837 4294967295 134512640 134716908 3221224576 3221220576 1075965308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3837 1111 63 0 4510 0
vsize: 18292
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 336957 0 2 0 40937 1055 0 0 25 0 1 0 899489916 18907136 3855 4294967295 134512640 134716908 3221224576 3221220876 1075894868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4616 3855 1111 63 0 4553 0
vsize: 18464
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 342632 0 2 0 41921 1072 0 0 25 0 1 0 899489916 18575360 3856 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3856 1111 63 0 4472 0
vsize: 18140
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 349527 0 2 0 42902 1091 0 0 25 0 1 0 899489916 19009536 3880 4294967295 134512640 134716908 3221224576 3221220848 1074961525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4641 3880 1111 63 0 4578 0
vsize: 18564
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 356586 0 2 0 43883 1110 0 0 25 0 1 0 899489916 18575360 3856 4294967295 134512640 134716908 3221224576 3221222632 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3856 1111 63 0 4472 0
vsize: 18140
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 362192 0 2 0 44868 1126 0 0 25 0 1 0 899489916 18575360 3856 4294967295 134512640 134716908 3221224576 3221222912 1074153524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3856 1111 63 0 4472 0
vsize: 18140
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 369863 0 2 0 45846 1148 0 0 25 0 1 0 899489916 18575360 3856 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3856 1111 63 0 4472 0
vsize: 18140
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 377556 0 2 0 46823 1171 0 0 25 0 1 0 899489916 18583552 3858 4294967295 134512640 134716908 3221224576 3221223040 1074121082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3858 1111 63 0 4474 0
vsize: 18148
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 385875 0 2 0 47804 1192 0 0 25 0 1 0 899489916 18583552 3856 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3856 1111 63 0 4474 0
vsize: 18148
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 393047 0 2 0 48783 1213 0 0 25 0 1 0 899489916 18624512 3868 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3868 1111 63 0 4484 0
vsize: 18188
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 399753 0 2 0 49765 1231 0 0 25 0 1 0 899489916 19050496 3891 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 3891 1111 63 0 4588 0
vsize: 18604
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 405292 0 2 0 50748 1248 0 0 25 0 1 0 899489916 18624512 3868 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3868 1111 63 0 4484 0
vsize: 18188
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 412484 0 2 0 51730 1266 0 0 25 0 1 0 899489916 19066880 3893 4294967295 134512640 134716908 3221224576 3221221108 1075863666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4655 3893 1111 63 0 4592 0
vsize: 18620
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 418025 0 2 0 52713 1284 0 0 25 0 1 0 899489916 18649088 3874 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4553 3874 1111 63 0 4490 0
vsize: 18212
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 424547 0 2 0 53695 1303 0 0 25 0 1 0 899489916 19111936 3907 4294967295 134512640 134716908 3221224576 3221220804 1075115084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3907 1111 63 0 4603 0
vsize: 18664
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 432919 0 2 0 54671 1327 0 0 25 0 1 0 899489916 19066880 3976 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4655 3976 1111 63 0 4592 0
vsize: 18620
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 439114 0 2 0 55655 1343 0 0 25 0 1 0 899489916 19079168 3979 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3979 1111 63 0 4595 0
vsize: 18632
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 445468 0 2 0 56638 1361 0 0 25 0 1 0 899489916 19066880 3976 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4655 3976 1111 63 0 4592 0
vsize: 18620
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 453819 0 2 0 57614 1385 0 0 25 0 1 0 899489916 19542016 4013 4294967295 134512640 134716908 3221224576 3221220544 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4771 4013 1111 63 0 4708 0
vsize: 19084
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 461424 0 2 0 58593 1406 0 0 25 0 1 0 899489916 19345408 4044 4294967295 134512640 134716908 3221224576 3221222576 1074918328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4044 1111 63 0 4660 0
vsize: 18892
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 466486 0 2 0 59578 1421 0 0 25 0 1 0 899489916 19767296 4069 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4826 4069 1111 63 0 4763 0
vsize: 19304
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 472925 0 2 0 60564 1436 0 0 25 0 1 0 899489916 19554304 4045 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4044 1111 63 0 4660 0
vsize: 19096
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 479660 0 2 0 61546 1454 0 0 25 0 1 0 899489916 19767296 4068 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4826 4068 1111 63 0 4763 0
vsize: 19304
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 485610 0 2 0 62530 1471 0 0 25 0 1 0 899489916 19345408 4044 4294967295 134512640 134716908 3221224576 3221223360 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4044 1111 63 0 4660 0
vsize: 18892
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 492147 0 2 0 63511 1490 0 0 25 0 1 0 899489916 19755008 4075 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 4075 1111 63 0 4760 0
vsize: 19292
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 500611 0 2 0 64490 1512 0 0 25 0 1 0 899489916 20029440 4131 4294967295 134512640 134716908 3221224576 3221220452 1074786596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4890 4131 1111 63 0 4827 0
vsize: 19560
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 509480 0 2 0 65468 1534 0 0 25 0 1 0 899489916 20152320 4167 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 4167 1111 63 0 4857 0
vsize: 19680
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 518130 0 2 0 66444 1559 0 0 25 0 1 0 899489916 20287488 4210 4294967295 134512640 134716908 3221224576 3221220736 1074794652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4210 1111 63 0 4890 0
vsize: 19812
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 524268 0 2 0 67428 1575 0 0 25 0 1 0 899489916 19972096 4193 4294967295 134512640 134716908 3221224576 3221222944 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4193 1111 63 0 4813 0
vsize: 19504
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 530257 0 2 0 68413 1590 0 0 25 0 1 0 899489916 19972096 4193 4294967295 134512640 134716908 3221224576 3221223104 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4193 1111 63 0 4813 0
vsize: 19504
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 536833 0 2 0 69394 1610 0 0 25 0 1 0 899489916 19972096 4193 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4193 1111 63 0 4813 0
vsize: 19504
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 543609 0 2 0 70375 1629 0 0 25 0 1 0 899489916 19972096 4194 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4194 1111 63 0 4813 0
vsize: 19504
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 550476 0 2 0 71356 1648 0 0 25 0 1 0 899489916 19972096 4194 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4194 1111 63 0 4813 0
vsize: 19504
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 557136 0 2 0 72339 1666 0 0 25 0 1 0 899489916 20406272 4221 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4982 4221 1111 63 0 4919 0
vsize: 19928
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 563404 0 2 0 73322 1683 0 0 25 0 1 0 899489916 20320256 4204 4294967295 134512640 134716908 3221224576 3221220508 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4961 4204 1111 63 0 4898 0
vsize: 19844
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 571591 0 2 0 74300 1706 0 0 25 0 1 0 899489916 20271104 4209 4294967295 134512640 134716908 3221224576 3221220588 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4949 4209 1111 63 0 4886 0
vsize: 19796
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 577991 0 2 0 75281 1725 0 0 25 0 1 0 899489916 19922944 4187 4294967295 134512640 134716908 3221224576 3221222332 1077378064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 4187 1111 63 0 4801 0
vsize: 19456
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 583893 0 2 0 76263 1743 0 0 25 0 1 0 899489916 19935232 4190 4294967295 134512640 134716908 3221224576 3221223040 1074121008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4867 4190 1111 63 0 4804 0
vsize: 19468
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 591977 0 2 0 77238 1768 0 0 25 0 1 0 899489916 19963904 4197 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4874 4197 1111 63 0 4811 0
vsize: 19496
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 596870 0 2 0 78225 1782 0 0 25 0 1 0 899489916 20430848 4210 4294967295 134512640 134716908 3221224576 3221221176 1075850727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 4210 1111 63 0 4925 0
vsize: 19952
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 604264 0 2 0 79204 1804 0 0 25 0 1 0 899489916 20516864 4253 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5009 4253 1111 63 0 4946 0
vsize: 20036
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 610114 0 2 0 80188 1819 0 0 25 0 1 0 899489916 20516864 4253 4294967295 134512640 134716908 3221224576 3221220604 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5009 4253 1111 63 0 4946 0
vsize: 20036
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 617585 0 2 0 81170 1838 0 0 25 0 1 0 899489916 20180992 4242 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4921 4242 1111 63 0 4858 0
vsize: 19708
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 626979 0 2 0 82146 1862 0 0 25 0 1 0 899489916 20811776 4322 4294967295 134512640 134716908 3221224576 3221220720 1074968515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 4322 1111 63 0 5018 0
vsize: 20324
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 634909 0 2 0 83127 1882 0 0 25 0 1 0 899489916 20877312 4340 4294967295 134512640 134716908 3221224576 3221220736 1075091287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5097 4340 1111 63 0 5034 0
vsize: 20388
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 639602 0 2 0 84114 1896 0 0 25 0 1 0 899489916 20733952 4334 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 4334 1111 63 0 4999 0
vsize: 20248
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 645065 0 2 0 85098 1911 0 0 25 0 1 0 899489916 20848640 4334 4294967295 134512640 134716908 3221224576 3221220752 1074882569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5090 4334 1111 63 0 5027 0
vsize: 20360
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 650910 0 2 0 86082 1928 0 0 25 0 1 0 899489916 20439040 4313 4294967295 134512640 134716908 3221224576 3221222264 1077377580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4990 4313 1111 63 0 4927 0
vsize: 19960
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 656827 0 2 0 87065 1946 0 0 25 0 1 0 899489916 20787200 4343 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5075 4343 1111 63 0 5012 0
vsize: 20300
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 664340 0 2 0 88044 1967 0 0 25 0 1 0 899489916 20447232 4315 4294967295 134512640 134716908 3221224576 3221223160 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 4315 1111 63 0 4929 0
vsize: 19968
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 671561 0 2 0 89022 1990 0 0 25 0 1 0 899489916 20447232 4315 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4992 4315 1111 63 0 4929 0
vsize: 19968
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 678063 0 2 0 90003 2008 0 0 25 0 1 0 899489916 20824064 4344 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4344 1111 63 0 5021 0
vsize: 20336
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 684785 0 2 0 90984 2028 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 690029 0 2 0 91969 2044 0 0 25 0 1 0 899489916 20750336 4389 4294967295 134512640 134716908 3221224576 3221222304 1075635959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5066 4389 1111 63 0 5003 0
vsize: 20264
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 691811 0 2 0 92963 2049 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 693809 0 2 0 93958 2055 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 695715 0 2 0 94953 2061 0 0 25 0 1 0 899489916 21172224 4414 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4414 1111 63 0 5106 0
vsize: 20676
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 697280 0 2 0 95948 2066 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 698909 0 2 0 96942 2072 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221223304 134543271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 701421 0 2 0 97932 2082 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 708623 0 2 0 98911 2104 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 714743 0 2 0 99892 2123 0 0 25 0 1 0 899489916 20738048 4386 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4386 1111 63 0 5000 0
vsize: 20252
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 721022 0 2 0 100874 2141 0 0 25 0 1 0 899489916 20746240 4388 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5065 4388 1111 63 0 5002 0
vsize: 20260
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 727369 0 2 0 101857 2159 0 0 25 0 1 0 899489916 20783104 4389 4294967295 134512640 134716908 3221224576 3221223328 134604488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5074 4389 1111 63 0 5011 0
vsize: 20296
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 731954 0 2 0 102848 2171 0 0 25 0 1 0 899489916 21278720 4418 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4418 1111 63 0 5132 0
vsize: 20780
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 735660 0 2 0 103839 2181 0 0 25 0 1 0 899489916 21278720 4444 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4444 1111 63 0 5132 0
vsize: 20780
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 740804 0 2 0 104824 2196 0 0 25 0 1 0 899489916 20877312 4420 4294967295 134512640 134716908 3221224576 3221222796 1077378561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5097 4420 1111 63 0 5034 0
vsize: 20388
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 748447 0 2 0 105801 2219 0 0 25 0 1 0 899489916 21278720 4518 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4518 1111 63 0 5132 0
vsize: 20780
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 753785 0 2 0 106785 2236 0 0 25 0 1 0 899489916 21700608 4542 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5298 4542 1111 63 0 5235 0
vsize: 21192
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 761060 0 2 0 107767 2255 0 0 25 0 1 0 899489916 21422080 4549 4294967295 134512640 134716908 3221224576 3221222152 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5230 4549 1111 63 0 5167 0
vsize: 20920
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 767306 0 2 0 108748 2274 0 0 25 0 1 0 899489916 21856256 4577 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 4577 1111 63 0 5273 0
vsize: 21344
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 772950 0 2 0 109732 2290 0 0 25 0 1 0 899489916 21856256 4584 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5336 4584 1111 63 0 5273 0
vsize: 21344
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 776485 0 2 0 110721 2302 0 0 25 0 1 0 899489916 21422080 4553 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5230 4553 1111 63 0 5167 0
vsize: 20920
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 781506 0 2 0 111707 2316 0 0 25 0 1 0 899489916 21434368 4564 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 4564 1111 63 0 5170 0
vsize: 20932
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 787254 0 2 0 112693 2331 0 0 25 0 1 0 899489916 21577728 4599 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5268 4599 1111 63 0 5205 0
vsize: 21072
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 792229 0 2 0 113676 2347 0 0 25 0 1 0 899489916 21577728 4599 4294967295 134512640 134716908 3221224576 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5268 4599 1111 63 0 5205 0
vsize: 21072
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 797838 0 2 0 114663 2361 0 0 25 0 1 0 899489916 21659648 4619 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4619 1111 63 0 5225 0
vsize: 21152
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 26930
Raw data (stat): 26930 (bsolo_lpr-v2) R 26929 25568 25567 0 -1 0 797838 0 2 0 114663 2361 0 0 25 0 1 0 899489916 21659648 4619 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4619 1111 63 0 5225 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.15
CPU user time (s): 1151.44
CPU system time (s): 23.7034
CPU usage (%): 100.014
Max. virtual memory (Kb): 21344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	92673
#### END VERIFIER DATA ####