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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
MD5SUM49fba7b1c2f3e65c53f8418d126e3ec3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4605
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06684
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 26379 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 15:20:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13744 boxname=wulflinc10 idbench=1058 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  49fba7b1c2f3e65c53f8418d126e3ec3  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 13744
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        901304 kB
Buffers:         34328 kB
Cached:          77716 kB
SwapCached:        224 kB
Active:          68320 kB
Inactive:        46564 kB
HighTotal:      131008 kB
HighFree:        51884 kB
LowTotal:       903652 kB
LowFree:        849420 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12904 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:39:59 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 13744 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2756 variables and 749 constraints.
c After prepocess the problem consists of 2723 variables and 732 constraints.
c preprocess terminated 11.522 s
c Initial Lower Bound: 4
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 14055 @ 17.061
c NEW SOLUTION FOUND: 14054 @ 17.067
c NEW SOLUTION FOUND: 14053 @ 17.072
c NEW SOLUTION FOUND: 14052 @ 17.076
c NEW SOLUTION FOUND: 14050 @ 17.08
c NEW SOLUTION FOUND: 13889 @ 17.083
c NEW SOLUTION FOUND: 13882 @ 17.088
c NEW SOLUTION FOUND: 13842 @ 17.11
c NEW SOLUTION FOUND: 13841 @ 17.113
c NEW SOLUTION FOUND: 13840 @ 17.129
c NEW SOLUTION FOUND: 13839 @ 17.139
c NEW SOLUTION FOUND: 13837 @ 17.187
c NEW SOLUTION FOUND: 13835 @ 17.195
c NEW SOLUTION FOUND: 13800 @ 17.227
c NEW SOLUTION FOUND: 13782 @ 17.263
c NEW SOLUTION FOUND: 13781 @ 17.28
c NEW SOLUTION FOUND: 13739 @ 17.29
c NEW SOLUTION FOUND: 13738 @ 17.405
c NEW SOLUTION FOUND: 13716 @ 17.503
c NEW SOLUTION FOUND: 13715 @ 17.681
c NEW SOLUTION FOUND: 13714 @ 17.884
c NEW SOLUTION FOUND: 13713 @ 17.901
c NEW SOLUTION FOUND: 13712 @ 17.914
c NEW SOLUTION FOUND: 13710 @ 17.941
c NEW SOLUTION FOUND: 13687 @ 18.018
c NEW SOLUTION FOUND: 13683 @ 18.028
c NEW SOLUTION FOUND: 13681 @ 18.045
c NEW SOLUTION FOUND: 13678 @ 18.121
c NEW SOLUTION FOUND: 13676 @ 18.141
c NEW SOLUTION FOUND: 13675 @ 18.179
c NEW SOLUTION FOUND: 13671 @ 18.191
c NEW SOLUTION FOUND: 13669 @ 18.206
c NEW SOLUTION FOUND: 13649 @ 18.243
c NEW SOLUTION FOUND: 13647 @ 18.262
c NEW SOLUTION FOUND: 13646 @ 18.432
c NEW SOLUTION FOUND: 13645 @ 18.603
c NEW SOLUTION FOUND: 13644 @ 18.791
c NEW SOLUTION FOUND: 13643 @ 19.002
c NEW SOLUTION FOUND: 13642 @ 19.19
c NEW SOLUTION FOUND: 13639 @ 19.383
c NEW SOLUTION FOUND: 13638 @ 19.638
c NEW SOLUTION FOUND: 13618 @ 19.702
c NEW SOLUTION FOUND: 13616 @ 19.738
c NEW SOLUTION FOUND: 13613 @ 19.935
c NEW SOLUTION FOUND: 13611 @ 19.971
c NEW SOLUTION FOUND: 13591 @ 20.026
c NEW SOLUTION FOUND: 13589 @ 20.063
c NEW SOLUTION FOUND: 13588 @ 20.123
c NEW SOLUTION FOUND: 13584 @ 20.151
c NEW SOLUTION FOUND: 13577 @ 20.2
c NEW SOLUTION FOUND: 13561 @ 20.263
c NEW SOLUTION FOUND: 13557 @ 20.29
c NEW SOLUTION FOUND: 13555 @ 20.321
c NEW SOLUTION FOUND: 13551 @ 20.498
c NEW SOLUTION FOUND: 13550 @ 20.78
c NEW SOLUTION FOUND: 13549 @ 21.015
c NEW SOLUTION FOUND: 13547 @ 21.044
c NEW SOLUTION FOUND: 13528 @ 21.095
c NEW SOLUTION FOUND: 13525 @ 21.128
c NEW SOLUTION FOUND: 13524 @ 21.314
c NEW SOLUTION FOUND: 13522 @ 21.341
c NEW SOLUTION FOUND: 13504 @ 21.381
c NEW SOLUTION FOUND: 13500 @ 21.409
c NEW SOLUTION FOUND: 13499 @ 21.717
c NEW SOLUTION FOUND: 13497 @ 21.75
c NEW SOLUTION FOUND: 13475 @ 21.787
c NEW SOLUTION FOUND: 13469 @ 22.059
c NEW SOLUTION FOUND: 13468 @ 22.401
c NEW SOLUTION FOUND: 13448 @ 22.812
c NEW SOLUTION FOUND: 13446 @ 22.861
c NEW SOLUTION FOUND: 13438 @ 23.283
c NEW SOLUTION FOUND: 13436 @ 23.326
c NEW SOLUTION FOUND: 13431 @ 23.474
c NEW SOLUTION FOUND: 13430 @ 23.579
c NEW SOLUTION FOUND: 13427 @ 23.649
c NEW SOLUTION FOUND: 13426 @ 23.745
c NEW SOLUTION FOUND: 13424 @ 23.789
c NEW SOLUTION FOUND: 13406 @ 23.844
c NEW SOLUTION FOUND: 13402 @ 23.876
c NEW SOLUTION FOUND: 13399 @ 24.408
c NEW SOLUTION FOUND: 13397 @ 24.837
c NEW SOLUTION FOUND: 13382 @ 25.376
c NEW SOLUTION FOUND: 13378 @ 25.409
c NEW SOLUTION FOUND: 13376 @ 25.457
c NEW SOLUTION FOUND: 13373 @ 25.756
c NEW SOLUTION FOUND: 13371 @ 27.326
c NEW SOLUTION FOUND: 12877 @ 27.452
c NEW SOLUTION FOUND: 12782 @ 27.491
c NEW SOLUTION FOUND: 12745 @ 27.53
c NEW SOLUTION FOUND: 12741 @ 27.57
c NEW SOLUTION FOUND: 12739 @ 27.609
c NEW SOLUTION FOUND: 12721 @ 27.659
c NEW SOLUTION FOUND: 12717 @ 27.696
c NEW SOLUTION FOUND: 12716 @ 27.775
c NEW SOLUTION FOUND: 12714 @ 27.816
c NEW SOLUTION FOUND: 12713 @ 27.866
c NEW SOLUTION FOUND: 12711 @ 27.907
c NEW SOLUTION FOUND: 12695 @ 27.958
c NEW SOLUTION FOUND: 12691 @ 27.993
c NEW SOLUTION FOUND: 12689 @ 28.037
c NEW SOLUTION FOUND: 12688 @ 28.119
c NEW SOLUTION FOUND: 12687 @ 28.192
c NEW SOLUTION FOUND: 12685 @ 28.233
c NEW SOLUTION FOUND: 12684 @ 28.283
c NEW SOLUTION FOUND: 12682 @ 28.323
c NEW SOLUTION FOUND: 12666 @ 28.373
c NEW SOLUTION FOUND: 12662 @ 28.408
c NEW SOLUTION FOUND: 12660 @ 28.452
c NEW SOLUTION FOUND: 12658 @ 28.546
c NEW SOLUTION FOUND: 12654 @ 28.584
c NEW SOLUTION FOUND: 12653 @ 28.713
c NEW SOLUTION FOUND: 12651 @ 28.757
c NEW SOLUTION FOUND: 12648 @ 28.803
c NEW SOLUTION FOUND: 12632 @ 28.857
c NEW SOLUTION FOUND: 12628 @ 28.893
c NEW SOLUTION FOUND: 12626 @ 28.938
c NEW SOLUTION FOUND: 12624 @ 29.106
c NEW SOLUTION FOUND: 12623 @ 29.23
c NEW SOLUTION FOUND: 12622 @ 29.273
c NEW SOLUTION FOUND: 12618 @ 29.313
c NEW SOLUTION FOUND: 12616 @ 29.351
c NEW SOLUTION FOUND: 12598 @ 29.402
c NEW SOLUTION FOUND: 12594 @ 29.437
c NEW SOLUTION FOUND: 12591 @ 29.574
c NEW SOLUTION FOUND: 12588 @ 29.651
c NEW SOLUTION FOUND: 12572 @ 29.705
c NEW SOLUTION FOUND: 12568 @ 29.741
c NEW SOLUTION FOUND: 12566 @ 29.786
c NEW SOLUTION FOUND: 12565 @ 29.963
c NEW SOLUTION FOUND: 12563 @ 30.011
c NEW SOLUTION FOUND: 12559 @ 30.121
c NEW SOLUTION FOUND: 12558 @ 30.217
c NEW SOLUTION FOUND: 12556 @ 30.257
c NEW SOLUTION FOUND: 12553 @ 30.341
c NEW SOLUTION FOUND: 12533 @ 30.391
c NEW SOLUTION FOUND: 12531 @ 30.438
c NEW SOLUTION FOUND: 12525 @ 30.573
c NEW SOLUTION FOUND: 12524 @ 30.665
c NEW SOLUTION FOUND: 12522 @ 30.708
c NEW SOLUTION FOUND: 12521 @ 30.784
c NEW SOLUTION FOUND: 12519 @ 30.824
c NEW SOLUTION FOUND: 12503 @ 30.873
c NEW SOLUTION FOUND: 12499 @ 30.908
c NEW SOLUTION FOUND: 12497 @ 30.952
c NEW SOLUTION FOUND: 12495 @ 31.128
c NEW SOLUTION FOUND: 12476 @ 31.418
c NEW SOLUTION FOUND: 12474 @ 31.461
c NEW SOLUTION FOUND: 12473 @ 31.673
c NEW SOLUTION FOUND: 12471 @ 31.715
c NEW SOLUTION FOUND: 12466 @ 31.982
c NEW SOLUTION FOUND: 12464 @ 32.089
c NEW SOLUTION FOUND: 12463 @ 32.256
c NEW SOLUTION FOUND: 12462 @ 32.296
c NEW SOLUTION FOUND: 12458 @ 32.336
c NEW SOLUTION FOUND: 12456 @ 32.374
c NEW SOLUTION FOUND: 12438 @ 32.423
c NEW SOLUTION FOUND: 12434 @ 32.458
c NEW SOLUTION FOUND: 12433 @ 32.55
c NEW SOLUTION FOUND: 12431 @ 32.59
c NEW SOLUTION FOUND: 12430 @ 32.77
c NEW SOLUTION FOUND: 12428 @ 32.854
c NEW SOLUTION FOUND: 12427 @ 32.973
c NEW SOLUTION FOUND: 12411 @ 33.018
c NEW SOLUTION FOUND: 12407 @ 33.057
c NEW SOLUTION FOUND: 12405 @ 33.095
c NEW SOLUTION FOUND: 12403 @ 33.193
c NEW SOLUTION FOUND: 12400 @ 33.697
c NEW SOLUTION FOUND: 12399 @ 33.817
c NEW SOLUTION FOUND: 12383 @ 33.862
c NEW SOLUTION FOUND: 12379 @ 33.901
c NEW SOLUTION FOUND: 12377 @ 33.939
c NEW SOLUTION FOUND: 12375 @ 34.037
c NEW SOLUTION FOUND: 12359 @ 34.579
c NEW SOLUTION FOUND: 12357 @ 34.625
c NEW SOLUTION FOUND: 12356 @ 34.721
c NEW SOLUTION FOUND: 12354 @ 34.764
c NEW SOLUTION FOUND: 12338 @ 35.362
c NEW SOLUTION FOUND: 12334 @ 35.401
c NEW SOLUTION FOUND: 12332 @ 35.439
c NEW SOLUTION FOUND: 12330 @ 35.537
c NEW SOLUTION FOUND: 12328 @ 36.339
c NEW SOLUTION FOUND: 12326 @ 36.383
c NEW SOLUTION FOUND: 12325 @ 36.465
c NEW SOLUTION FOUND: 12323 @ 36.509
c NEW SOLUTION FOUND: 12322 @ 36.603
c NEW SOLUTION FOUND: 12320 @ 36.695
c NEW SOLUTION FOUND: 12300 @ 36.814
c NEW SOLUTION FOUND: 12298 @ 36.86
c NEW SOLUTION FOUND: 12297 @ 36.953
c NEW SOLUTION FOUND: 12295 @ 36.996
c NEW SOLUTION FOUND: 12278 @ 37.328
c NEW SOLUTION FOUND: 12274 @ 37.367
c NEW SOLUTION FOUND: 12273 @ 37.463
c NEW SOLUTION FOUND: 12271 @ 37.508
c NEW SOLUTION FOUND: 12270 @ 38.004
c NEW SOLUTION FOUND: 12266 @ 38.043
c NEW SOLUTION FOUND: 12264 @ 38.144
c NEW SOLUTION FOUND: 12263 @ 38.271
c NEW SOLUTION FOUND: 12262 @ 38.312
c NEW SOLUTION FOUND: 12258 @ 38.35
c NEW SOLUTION FOUND: 12256 @ 38.388
c NEW SOLUTION FOUND: 12238 @ 38.437
c NEW SOLUTION FOUND: 12234 @ 38.472
c NEW SOLUTION FOUND: 12233 @ 38.564
c NEW SOLUTION FOUND: 12231 @ 38.603
c NEW SOLUTION FOUND: 12230 @ 38.704
c NEW SOLUTION FOUND: 12228 @ 38.787
c NEW SOLUTION FOUND: 12212 @ 38.96
c NEW SOLUTION FOUND: 12208 @ 38.995
c NEW SOLUTION FOUND: 12206 @ 39.039
c NEW SOLUTION FOUND: 12203 @ 39.118
c NEW SOLUTION FOUND: 12202 @ 39.537
c NEW SOLUTION FOUND: 12200 @ 39.624
c NEW SOLUTION FOUND: 12199 @ 39.831
c NEW SOLUTION FOUND: 12183 @ 39.88
c NEW SOLUTION FOUND: 12179 @ 39.918
c NEW SOLUTION FOUND: 12177 @ 39.956
c NEW SOLUTION FOUND: 12175 @ 40.056
c NEW SOLUTION FOUND: 12174 @ 40.888
c NEW SOLUTION FOUND: 12170 @ 40.927
c NEW SOLUTION FOUND: 12168 @ 40.965
c NEW SOLUTION FOUND: 12166 @ 41.107
c NEW SOLUTION FOUND: 12163 @ 41.657
c NEW SOLUTION FOUND: 12159 @ 41.695
c NEW SOLUTION FOUND: 12156 @ 41.839
c NEW SOLUTION FOUND: 12140 @ 41.893
c NEW SOLUTION FOUND: 12136 @ 41.927
c NEW SOLUTION FOUND: 12134 @ 41.97
c NEW SOLUTION FOUND: 12133 @ 42.139
c NEW SOLUTION FOUND: 12131 @ 42.184
c NEW SOLUTION FOUND: 12111 @ 42.534
c NEW SOLUTION FOUND: 12109 @ 42.58
c NEW SOLUTION FOUND: 12107 @ 42.764
c NEW SOLUTION FOUND: 12104 @ 43.503
c NEW SOLUTION FOUND: 12102 @ 43.545
c NEW SOLUTION FOUND: 12100 @ 43.733
c NEW SOLUTION FOUND: 12098 @ 43.915
c NEW SOLUTION FOUND: 12082 @ 43.964
c NEW SOLUTION FOUND: 12078 @ 43.998
c NEW SOLUTION FOUND: 12076 @ 44.038
c NEW SOLUTION FOUND: 12072 @ 44.12
c NEW SOLUTION FOUND: 12070 @ 44.166
c NEW SOLUTION FOUND: 12067 @ 44.255
c NEW SOLUTION FOUND: 12066 @ 44.337
c NEW SOLUTION FOUND: 12064 @ 44.375
c NEW SOLUTION FOUND: 12048 @ 44.418
c NEW SOLUTION FOUND: 12044 @ 44.459
c NEW SOLUTION FOUND: 12042 @ 44.497
c NEW SOLUTION FOUND: 12041 @ 44.661
c NEW SOLUTION FOUND: 12039 @ 44.699
c NEW SOLUTION FOUND: 12038 @ 45.059
c NEW SOLUTION FOUND: 12037 @ 45.138
c NEW SOLUTION FOUND: 12035 @ 45.177
c NEW SOLUTION FOUND: 12017 @ 45.226
c NEW SOLUTION FOUND: 12013 @ 45.262
c NEW SOLUTION FOUND: 12011 @ 45.444
c NEW SOLUTION FOUND: 12009 @ 46.196
c NEW SOLUTION FOUND: 12007 @ 46.319
c NEW SOLUTION FOUND: 12006 @ 48.828
c NEW SOLUTION FOUND: 12004 @ 49.058
c NEW SOLUTION FOUND: 12002 @ 49.182
c NEW SOLUTION FOUND: 12001 @ 50.516
c NEW SOLUTION FOUND: 11999 @ 50.64
c NEW SOLUTION FOUND: 11998 @ 51.852
c NEW SOLUTION FOUND: 11996 @ 51.979
c NEW SOLUTION FOUND: 11994 @ 52.099
c NEW SOLUTION FOUND: 11992 @ 54.534
c NEW SOLUTION FOUND: 11991 @ 59.197
c NEW SOLUTION FOUND: 11989 @ 59.334
c NEW SOLUTION FOUND: 11987 @ 59.463
c NEW SOLUTION FOUND: 11986 @ 61.845
c NEW SOLUTION FOUND: 11984 @ 61.971
c NEW SOLUTION FOUND: 11982 @ 62.091
c NEW SOLUTION FOUND: 11981 @ 63.217
c NEW SOLUTION FOUND: 11979 @ 63.432
c NEW SOLUTION FOUND: 11972 @ 68.488
c NEW SOLUTION FOUND: 11968 @ 68.511
c NEW SOLUTION FOUND: 11966 @ 68.546
c NEW SOLUTION FOUND: 11963 @ 68.717
c NEW SOLUTION FOUND: 11961 @ 68.92
c NEW SOLUTION FOUND: 11959 @ 69.074
c NEW SOLUTION FOUND: 11958 @ 80.484
c NEW SOLUTION FOUND: 11956 @ 80.518
c NEW SOLUTION FOUND: 11531 @ 85.891
c NEW SOLUTION FOUND: 11527 @ 85.923
c NEW SOLUTION FOUND: 11486 @ 85.951
c NEW SOLUTION FOUND: 11484 @ 85.996
c NEW SOLUTION FOUND: 11462 @ 86.03
c NEW SOLUTION FOUND: 11459 @ 86.085
c NEW SOLUTION FOUND: 11455 @ 86.114
c NEW SOLUTION FOUND: 11451 @ 86.171
c NEW SOLUTION FOUND: 11447 @ 86.202
c NEW SOLUTION FOUND: 11445 @ 86.237
c NEW SOLUTION FOUND: 11429 @ 86.275
c NEW SOLUTION FOUND: 11425 @ 86.299
c NEW SOLUTION FOUND: 11423 @ 86.328
c NEW SOLUTION FOUND: 11422 @ 86.471
c NEW SOLUTION FOUND: 11420 @ 86.506
c NEW SOLUTION FOUND: 11418 @ 86.639
c NEW SOLUTION FOUND: 11416 @ 86.769
c NEW SOLUTION FOUND: 11414 @ 87.005
c NEW SOLUTION FOUND: 11412 @ 87.226
c NEW SOLUTION FOUND: 11408 @ 88
c NEW SOLUTION FOUND: 11406 @ 88.036
c NEW SOLUTION FOUND: 11405 @ 88.192
c NEW SOLUTION FOUND: 11403 @ 88.227
c NEW SOLUTION FOUND: 11401 @ 88.424
c NEW SOLUTION FOUND: 11399 @ 88.588
c NEW SOLUTION FOUND: 11393 @ 88.761
c NEW SOLUTION FOUND: 11392 @ 88.8
c NEW SOLUTION FOUND: 11388 @ 88.83
c NEW SOLUTION FOUND: 11386 @ 88.856
c NEW SOLUTION FOUND: 11384 @ 88.93
c NEW SOLUTION FOUND: 11383 @ 89.065
c NEW SOLUTION FOUND: 11380 @ 89.198
c NEW SOLUTION FOUND: 11378 @ 89.619
c NEW SOLUTION FOUND: 11377 @ 91.084
c NEW SOLUTION FOUND: 11375 @ 91.404
c NEW SOLUTION FOUND: 11374 @ 92.803
c NEW SOLUTION FOUND: 11371 @ 93.087
c NEW SOLUTION FOUND: 11365 @ 93.368
c NEW SOLUTION FOUND: 11361 @ 93.394
c NEW SOLUTION FOUND: 11360 @ 93.434
c NEW SOLUTION FOUND: 11356 @ 93.458
c NEW SOLUTION FOUND: 11354 @ 93.491
c NEW SOLUTION FOUND: 11352 @ 93.698
c NEW SOLUTION FOUND: 11350 @ 94.112
c NEW SOLUTION FOUND: 11349 @ 95.755
c NEW SOLUTION FOUND: 11345 @ 95.785
c NEW SOLUTION FOUND: 11343 @ 95.812
c NEW SOLUTION FOUND: 11340 @ 96.111
c NEW SOLUTION FOUND: 11327 @ 96.317
c NEW SOLUTION FOUND: 11325 @ 96.352
c NEW SOLUTION FOUND: 11321 @ 96.45
c NEW SOLUTION FOUND: 11319 @ 96.672
c NEW SOLUTION FOUND: 11317 @ 97.198
c NEW SOLUTION FOUND: 11316 @ 98.815
c NEW SOLUTION FOUND: 11314 @ 98.853
c NEW SOLUTION FOUND: 11302 @ 100.203
c NEW SOLUTION FOUND: 11301 @ 100.248
c NEW SOLUTION FOUND: 11297 @ 100.273
c NEW SOLUTION FOUND: 11295 @ 100.298
c NEW SOLUTION FOUND: 11293 @ 100.526
c NEW SOLUTION FOUND: 11292 @ 100.925
c NEW SOLUTION FOUND: 11289 @ 101.108
c NEW SOLUTION FOUND: 11287 @ 105.208
c NEW SOLUTION FOUND: 11286 @ 105.489
c NEW SOLUTION FOUND: 11284 @ 105.524
c NEW SOLUTION FOUND: 11282 @ 106.166
c NEW SOLUTION FOUND: 11278 @ 107.15
c NEW SOLUTION FOUND: 11276 @ 107.187
c NEW SOLUTION FOUND: 11272 @ 107.269
c NEW SOLUTION FOUND: 11268 @ 107.294
c NEW SOLUTION FOUND: 11266 @ 107.32
c NEW SOLUTION FOUND: 11265 @ 107.358
c NEW SOLUTION FOUND: 11261 @ 107.384
c NEW SOLUTION FOUND: 11259 @ 107.41
c NEW SOLUTION FOUND: 11257 @ 107.502
c NEW SOLUTION FOUND: 11255 @ 107.539
c NEW SOLUTION FOUND: 11253 @ 107.734
c NEW SOLUTION FOUND: 11252 @ 108.258
c NEW SOLUTION FOUND: 11249 @ 108.599
c NEW SOLUTION FOUND: 11248 @ 109.413
c NEW SOLUTION FOUND: 11246 @ 110.377
c NEW SOLUTION FOUND: 11235 @ 111.678
c NEW SOLUTION FOUND: 11233 @ 111.716
c NEW SOLUTION FOUND: 11230 @ 111.746
c NEW SOLUTION FOUND: 11226 @ 111.769
c NEW SOLUTION FOUND: 11223 @ 111.948
c NEW SOLUTION FOUND: 11221 @ 112.493
c NEW SOLUTION FOUND: 11220 @ 117.865
c NEW SOLUTION FOUND: 11218 @ 118.325
c NEW SOLUTION FOUND: 11211 @ 119.123
c NEW SOLUTION FOUND: 11207 @ 119.151
c NEW SOLUTION FOUND: 11205 @ 119.18
c NEW SOLUTION FOUND: 11202 @ 119.216
c NEW SOLUTION FOUND: 11198 @ 119.24
c NEW SOLUTION FOUND: 11195 @ 119.621
c NEW SOLUTION FOUND: 11193 @ 120.646
c NEW SOLUTION FOUND: 11191 @ 124.229
c NEW SOLUTION FOUND: 11190 @ 124.642
c NEW SOLUTION FOUND: 11188 @ 124.674
c NEW SOLUTION FOUND: 11186 @ 125.846
c NEW SOLUTION FOUND: 11184 @ 126.534
c NEW SOLUTION FOUND: 11182 @ 126.655
c NEW SOLUTION FOUND: 11180 @ 126.691
c NEW SOLUTION FOUND: 11179 @ 126.805
c NEW SOLUTION FOUND: 11172 @ 126.877
c NEW SOLUTION FOUND: 11168 @ 126.902
c NEW SOLUTION FOUND: 11166 @ 126.936
c NEW SOLUTION FOUND: 11163 @ 126.967
c NEW SOLUTION FOUND: 11159 @ 126.995
c NEW SOLUTION FOUND: 11157 @ 127.273
c NEW SOLUTION FOUND: 11156 @ 127.694
c NEW SOLUTION FOUND: 11153 @ 128.103
c NEW SOLUTION FOUND: 11152 @ 128.971
c NEW SOLUTION FOUND: 11150 @ 129.929
c NEW SOLUTION FOUND: 11146 @ 131.13
c NEW SOLUTION FOUND: 11142 @ 131.155
c NEW SOLUTION FOUND: 11140 @ 131.182
c NEW SOLUTION FOUND: 11137 @ 131.22
c NEW SOLUTION FOUND: 11133 @ 131.245
c NEW SOLUTION FOUND: 11131 @ 131.334
c NEW SOLUTION FOUND: 11129 @ 131.372
c NEW SOLUTION FOUND: 11127 @ 131.574
c NEW SOLUTION FOUND: 11125 @ 132.126
c NEW SOLUTION FOUND: 11118 @ 138.893
c NEW SOLUTION FOUND: 11116 @ 139.272
c NEW SOLUTION FOUND: 11114 @ 139.941
c NEW SOLUTION FOUND: 11111 @ 141.754
c NEW SOLUTION FOUND: 11104 @ 143.129
c NEW SOLUTION FOUND: 11100 @ 143.156
c NEW SOLUTION FOUND: 11095 @ 143.192
c NEW SOLUTION FOUND: 11093 @ 143.23
c NEW SOLUTION FOUND: 11090 @ 143.465
c NEW SOLUTION FOUND: 11088 @ 143.789
c NEW SOLUTION FOUND: 11086 @ 144.118
c NEW SOLUTION FOUND: 11084 @ 152.807
c NEW SOLUTION FOUND: 11082 @ 153.237
c NEW SOLUTION FOUND: 11080 @ 154.544
c NEW SOLUTION FOUND: 11076 @ 154.576
c NEW SOLUTION FOUND: 11074 @ 154.792
c NEW SOLUTION FOUND: 11073 @ 154.996
c NEW SOLUTION FOUND: 11072 @ 155.191
c NEW SOLUTION FOUND: 11070 @ 155.229
c NEW SOLUTION FOUND: 11063 @ 155.619
c NEW SOLUTION FOUND: 11061 @ 155.66
c NEW SOLUTION FOUND: 11058 @ 155.698
c NEW SOLUTION FOUND: 11054 @ 155.724
c NEW SOLUTION FOUND: 11051 @ 155.884
c NEW SOLUTION FOUND: 11049 @ 156.319
c NEW SOLUTION FOUND: 11046 @ 158.015
c NEW SOLUTION FOUND: 11045 @ 159.414
c NEW SOLUTION FOUND: 11044 @ 159.701
c NEW SOLUTION FOUND: 11042 @ 159.739
c NEW SOLUTION FOUND: 11040 @ 159.947
c NEW SOLUTION FOUND: 11036 @ 159.975
c NEW SOLUTION FOUND: 11035 @ 160.022
c NEW SOLUTION FOUND: 11031 @ 160.048
c NEW SOLUTION FOUND: 11029 @ 160.08
c NEW SOLUTION FOUND: 11025 @ 160.154
c NEW SOLUTION FOUND: 11023 @ 160.394
c NEW SOLUTION FOUND: 11021 @ 160.812
c NEW SOLUTION FOUND: 11020 @ 165.563
c NEW SOLUTION FOUND: 11018 @ 166.217
c NEW SOLUTION FOUND: 11017 @ 167.606
c NEW SOLUTION FOUND: 11016 @ 167.873
c NEW SOLUTION FOUND: 11014 @ 167.908
c NEW SOLUTION FOUND: 11008 @ 168.202
c NEW SOLUTION FOUND: 11004 @ 168.232
c NEW SOLUTION FOUND: 10999 @ 168.27
c NEW SOLUTION FOUND: 10997 @ 168.306
c NEW SOLUTION FOUND: 10995 @ 168.543
c NEW SOLUTION FOUND: 10993 @ 168.939
c NEW SOLUTION FOUND: 10991 @ 173.083
c NEW SOLUTION FOUND: 10990 @ 173.256
c NEW SOLUTION FOUND: 10988 @ 173.287
c NEW SOLUTION FOUND: 10986 @ 173.956
c NEW SOLUTION FOUND: 10981 @ 174.737
c NEW SOLUTION FOUND: 10980 @ 174.956
c NEW SOLUTION FOUND: 10978 @ 174.987
c NEW SOLUTION FOUND: 10977 @ 175.254
c NEW SOLUTION FOUND: 10973 @ 175.261
c NEW SOLUTION FOUND: 10972 @ 175.279
c NEW SOLUTION FOUND: 10970 @ 175.306
c NEW SOLUTION FOUND: 10969 @ 175.323
c NEW SOLUTION FOUND: 10968 @ 175.337
c NEW SOLUTION FOUND: 10967 @ 175.373
c NEW SOLUTION FOUND: 10966 @ 175.388
c NEW SOLUTION FOUND: 10964 @ 175.424
c NEW SOLUTION FOUND: 10963 @ 175.443
c NEW SOLUTION FOUND: 10959 @ 175.466
c NEW SOLUTION FOUND: 10957 @ 175.713
c NEW SOLUTION FOUND: 10956 @ 176.358
c NEW SOLUTION FOUND: 10954 @ 176.534
c NEW SOLUTION FOUND: 10953 @ 176.55
c NEW SOLUTION FOUND: 10952 @ 177.393
c NEW SOLUTION FOUND: 10951 @ 178.279
c NEW SOLUTION FOUND: 10950 @ 178.297
c NEW SOLUTION FOUND: 10949 @ 179.461
c NEW SOLUTION FOUND: 10948 @ 179.509
c NEW SOLUTION FOUND: 10941 @ 179.771
c NEW SOLUTION FOUND: 10937 @ 179.799
c NEW SOLUTION FOUND: 10934 @ 179.84
c NEW SOLUTION FOUND: 10932 @ 179.855
c NEW SOLUTION FOUND: 10930 @ 179.897
c NEW SOLUTION FOUND: 10927 @ 180.125
c NEW SOLUTION FOUND: 10925 @ 180.667
c NEW SOLUTION FOUND: 10920 @ 191.047
c NEW SOLUTION FOUND: 10919 @ 191.051
c NEW SOLUTION FOUND: 10918 @ 191.098
c NEW SOLUTION FOUND: 10916 @ 191.214
c NEW SOLUTION FOUND: 10915 @ 191.257
c NEW SOLUTION FOUND: 10914 @ 191.271
c NEW SOLUTION FOUND: 10913 @ 191.435
c NEW SOLUTION FOUND: 10912 @ 191.449
c NEW SOLUTION FOUND: 10911 @ 191.666
c NEW SOLUTION FOUND: 10908 @ 191.898
c NEW SOLUTION FOUND: 10907 @ 199.704
c NEW SOLUTION FOUND: 10905 @ 200.326
c NEW SOLUTION FOUND: 10904 @ 201.656
c NEW SOLUTION FOUND: 10901 @ 201.952
c NEW SOLUTION FOUND: 10895 @ 202.214
c NEW SOLUTION FOUND: 10893 @ 202.24
c NEW SOLUTION FOUND: 10891 @ 202.254
c NEW SOLUTION FOUND: 10890 @ 202.288
c NEW SOLUTION FOUND: 10886 @ 202.313
c NEW SOLUTION FOUND: 10884 @ 202.338
c NEW SOLUTION FOUND: 10882 @ 202.54
c NEW SOLUTION FOUND: 10880 @ 202.953
c NEW SOLUTION FOUND: 10879 @ 209.087
c NEW SOLUTION FOUND: 10877 @ 209.115
c NEW SOLUTION FOUND: 10875 @ 209.294
c NEW SOLUTION FOUND: 10873 @ 209.724
c NEW SOLUTION FOUND: 10872 @ 214.348
c NEW SOLUTION FOUND: 10870 @ 214.663
c NEW SOLUTION FOUND: 10866 @ 214.688
c NEW SOLUTION FOUND: 10865 @ 214.728
c NEW SOLUTION FOUND: 10861 @ 214.749
c NEW SOLUTION FOUND: 10859 @ 214.774
c NEW SOLUTION FOUND: 10855 @ 214.876
c NEW SOLUTION FOUND: 10853 @ 215.06
c NEW SOLUTION FOUND: 10851 @ 215.583
c NEW SOLUTION FOUND: 10848 @ 216.759
c NEW SOLUTION FOUND: 10846 @ 216.79
c NEW SOLUTION FOUND: 10844 @ 216.939
c NEW SOLUTION FOUND: 10843 @ 217.241
c NEW SOLUTION FOUND: 10842 @ 217.56
c NEW SOLUTION FOUND: 10840 @ 217.59
c NEW SOLUTION FOUND: 10839 @ 218.798
c NEW SOLUTION FOUND: 10837 @ 219.519
c NEW SOLUTION FOUND: 10835 @ 220.663
c NEW SOLUTION FOUND: 10833 @ 221.15
c NEW SOLUTION FOUND: 10825 @ 221.42
c NEW SOLUTION FOUND: 10824 @ 221.462
c NEW SOLUTION FOUND: 10820 @ 221.484
c NEW SOLUTION FOUND: 10818 @ 221.507
c NEW SOLUTION FOUND: 10816 @ 221.733
c NEW SOLUTION FOUND: 10815 @ 221.952
c NEW SOLUTION FOUND: 10812 @ 222.162
c NEW SOLUTION FOUND: 10810 @ 230.741
c NEW SOLUTION FOUND: 10808 @ 231.172
c NEW SOLUTION FOUND: 10807 @ 232.291
c NEW SOLUTION FOUND: 10803 @ 232.318
c NEW SOLUTION FOUND: 10801 @ 232.348
c NEW SOLUTION FOUND: 10800 @ 232.552
c NEW SOLUTION FOUND: 10798 @ 232.587
c NEW SOLUTION FOUND: 10796 @ 233.075
c NEW SOLUTION FOUND: 10794 @ 233.362
c NEW SOLUTION FOUND: 10792 @ 233.395
c NEW SOLUTION FOUND: 10791 @ 233.423
c NEW SOLUTION FOUND: 10787 @ 233.444
c NEW SOLUTION FOUND: 10785 @ 233.476
c NEW SOLUTION FOUND: 10783 @ 233.566
c NEW SOLUTION FOUND: 10781 @ 233.599
c NEW SOLUTION FOUND: 10779 @ 233.741
c NEW SOLUTION FOUND: 10778 @ 233.957
c NEW SOLUTION FOUND: 10775 @ 234.157
c NEW SOLUTION FOUND: 10774 @ 235.329
c NEW SOLUTION FOUND: 10772 @ 235.937
c NEW SOLUTION FOUND: 10770 @ 237.072
c NEW SOLUTION FOUND: 10769 @ 237.564
c NEW SOLUTION FOUND: 10768 @ 237.578
c NEW SOLUTION FOUND: 10763 @ 237.779
c NEW SOLUTION FOUND: 10762 @ 237.821
c NEW SOLUTION FOUND: 10758 @ 237.843
c NEW SOLUTION FOUND: 10756 @ 237.866
c NEW SOLUTION FOUND: 10755 @ 237.958
c NEW SOLUTION FOUND: 10754 @ 237.973
c NEW SOLUTION FOUND: 10752 @ 238.005
c NEW SOLUTION FOUND: 10750 @ 238.22
c NEW SOLUTION FOUND: 10749 @ 238.594
c NEW SOLUTION FOUND: 10747 @ 238.629
c NEW SOLUTION FOUND: 10746 @ 244.622
c NEW SOLUTION FOUND: 10744 @ 244.666
c NEW SOLUTION FOUND: 10742 @ 245.939
c NEW SOLUTION FOUND: 10740 @ 246.26
c NEW SOLUTION FOUND: 10739 @ 246.63
c NEW SOLUTION FOUND: 10735 @ 246.657
c NEW SOLUTION FOUND: 10733 @ 246.683
c NEW SOLUTION FOUND: 10730 @ 246.716
c NEW SOLUTION FOUND: 10726 @ 246.738
c NEW SOLUTION FOUND: 10722 @ 246.883
c NEW SOLUTION FOUND: 10721 @ 247.11
c NEW SOLUTION FOUND: 10719 @ 247.337
c NEW SOLUTION FOUND: 10718 @ 251.788
c NEW SOLUTION FOUND: 10716 @ 251.821
c NEW SOLUTION FOUND: 10714 @ 252.063
c NEW SOLUTION FOUND: 10712 @ 252.517
c NEW SOLUTION FOUND: 10711 @ 253.545
c NEW SOLUTION FOUND: 10710 @ 253.577
c NEW SOLUTION FOUND: 10706 @ 253.6
c NEW SOLUTION FOUND: 10704 @ 253.631
c NEW SOLUTION FOUND: 10702 @ 253.92
c NEW SOLUTION FOUND: 10700 @ 254.404
c NEW SOLUTION FOUND: 10691 @ 254.669
c NEW SOLUTION FOUND: 10690 @ 254.708
c NEW SOLUTION FOUND: 10686 @ 254.732
c NEW SOLUTION FOUND: 10684 @ 254.763
c NEW SOLUTION FOUND: 10682 @ 254.983
c NEW SOLUTION FOUND: 10679 @ 255.386
c NEW SOLUTION FOUND: 10678 @ 257.013
c NEW SOLUTION FOUND: 10676 @ 257.044
c NEW SOLUTION FOUND: 10674 @ 258.185
c NEW SOLUTION FOUND: 10667 @ 258.445
c NEW SOLUTION FOUND: 10666 @ 258.458
c NEW SOLUTION FOUND: 10662 @ 258.485
c NEW SOLUTION FOUND: 10657 @ 258.521
c NEW SOLUTION FOUND: 10655 @ 258.551
c NEW SOLUTION FOUND: 10653 @ 258.781
c NEW SOLUTION FOUND: 10651 @ 259.399
c NEW SOLUTION FOUND: 10646 @ 267.154
c NEW SOLUTION FOUND: 10645 @ 267.168
c NEW SOLUTION FOUND: 10606 @ 267.213
c NEW SOLUTION FOUND: 10602 @ 267.242
c NEW SOLUTION FOUND: 10597 @ 267.273
c NEW SOLUTION FOUND: 10595 @ 267.309
c NEW SOLUTION FOUND: 10585 @ 267.34
c NEW SOLUTION FOUND: 10579 @ 267.358
c NEW SOLUTION FOUND: 10575 @ 267.382
c NEW SOLUTION FOUND: 10573 @ 267.417
c NEW SOLUTION FOUND: 10562 @ 267.464
c NEW SOLUTION FOUND: 10556 @ 267.48
c NEW SOLUTION FOUND: 10552 @ 267.502
c NEW SOLUTION FOUND: 10551 @ 267.539
c NEW SOLUTION FOUND: 10547 @ 267.566
c NEW SOLUTION FOUND: 10545 @ 267.59
c NEW SOLUTION FOUND: 10536 @ 267.677
c NEW SOLUTION FOUND: 10532 @ 267.699
c NEW SOLUTION FOUND: 10531 @ 267.732
c NEW SOLUTION FOUND: 10527 @ 267.761
c NEW SOLUTION FOUND: 10525 @ 267.786
c NEW SOLUTION FOUND: 10524 @ 267.933
c NEW SOLUTION FOUND: 10522 @ 267.967
c NEW SOLUTION FOUND: 10520 @ 268.051
c NEW SOLUTION FOUND: 10518 @ 268.079
c NEW SOLUTION FOUND: 10509 @ 268.116
c NEW SOLUTION FOUND: 10505 @ 268.138
c NEW SOLUTION FOUND: 10503 @ 268.17
c NEW SOLUTION FOUND: 10500 @ 268.198
c NEW SOLUTION FOUND: 10496 @ 268.225
c NEW SOLUTION FOUND: 10494 @ 268.313
c NEW SOLUTION FOUND: 10492 @ 268.346
c NEW SOLUTION FOUND: 10490 @ 268.482
c NEW SOLUTION FOUND: 10488 @ 268.864
c NEW SOLUTION FOUND: 10487 @ 269.061
c NEW SOLUTION FOUND: 10485 @ 269.093
c NEW SOLUTION FOUND: 10483 @ 269.175
c NEW SOLUTION FOUND: 10481 @ 269.21
c NEW SOLUTION FOUND: 10479 @ 269.423
c NEW SOLUTION FOUND: 10474 @ 269.841
c NEW SOLUTION FOUND: 10472 @ 269.87
c NEW SOLUTION FOUND: 10471 @ 269.897
c NEW SOLUTION FOUND: 10467 @ 269.92
c NEW SOLUTION FOUND: 10465 @ 269.953
c NEW SOLUTION FOUND: 10463 @ 270.044
c NEW SOLUTION FOUND: 10461 @ 270.078
c NEW SOLUTION FOUND: 10460 @ 270.291
c NEW SOLUTION FOUND: 10458 @ 270.324
c NEW SOLUTION FOUND: 10456 @ 270.651
c NEW SOLUTION FOUND: 10454 @ 270.927
c NEW SOLUTION FOUND: 10453 @ 271.788
c NEW SOLUTION FOUND: 10451 @ 272.641
c NEW SOLUTION FOUND: 10449 @ 273.765
c NEW SOLUTION FOUND: 10439 @ 274.019
c NEW SOLUTION FOUND: 10437 @ 274.055
c NEW SOLUTION FOUND: 10434 @ 274.083
c NEW SOLUTION FOUND: 10430 @ 274.104
c NEW SOLUTION FOUND: 10428 @ 274.342
c NEW SOLUTION FOUND: 10426 @ 274.92
c NEW SOLUTION FOUND: 10422 @ 276.788
c NEW SOLUTION FOUND: 10420 @ 276.824
c NEW SOLUTION FOUND: 10418 @ 277.022
c NEW SOLUTION FOUND: 10417 @ 277.215
c NEW SOLUTION FOUND: 10416 @ 277.4
c NEW SOLUTION FOUND: 10414 @ 277.433
c NEW SOLUTION FOUND: 10413 @ 277.719
c NEW SOLUTION FOUND: 10409 @ 277.74
c NEW SOLUTION FOUND: 10408 @ 277.78
c NEW SOLUTION FOUND: 10404 @ 277.803
c NEW SOLUTION FOUND: 10402 @ 277.827
c NEW SOLUTION FOUND: 10398 @ 277.918
c NEW SOLUTION FOUND: 10395 @ 278.068
c NEW SOLUTION FOUND: 10393 @ 278.461
c NEW SOLUTION FOUND: 10392 @ 279.871
c NEW SOLUTION FOUND: 10390 @ 280.207
c NEW SOLUTION FOUND: 10389 @ 281.574
c NEW SOLUTION FOUND: 10386 @ 281.835
c NEW SOLUTION FOUND: 10378 @ 282.134
c NEW SOLUTION FOUND: 10376 @ 282.17
c NEW SOLUTION FOUND: 10373 @ 282.199
c NEW SOLUTION FOUND: 10369 @ 282.22
c NEW SOLUTION FOUND: 10367 @ 282.449
c NEW SOLUTION FOUND: 10365 @ 282.86
c NEW SOLUTION FOUND: 10362 @ 286.654
c NEW SOLUTION FOUND: 10360 @ 286.906
c NEW SOLUTION FOUND: 10358 @ 287.588
c NEW SOLUTION FOUND: 10356 @ 288.266
c NEW SOLUTION FOUND: 10352 @ 288.39
c NEW SOLUTION FOUND: 10350 @ 288.582
c NEW SOLUTION FOUND: 10345 @ 288.84
c NEW SOLUTION FOUND: 10341 @ 288.863
c NEW SOLUTION FOUND: 10339 @ 288.886
c NEW SOLUTION FOUND: 10336 @ 288.922
c NEW SOLUTION FOUND: 10332 @ 288.945
c NEW SOLUTION FOUND: 10331 @ 289.16
c NEW SOLUTION FOUND: 10329 @ 289.194
c NEW SOLUTION FOUND: 10328 @ 289.802
c NEW SOLUTION FOUND: 10327 @ 289.972
c NEW SOLUTION FOUND: 10325 @ 290.005
c NEW SOLUTION FOUND: 10324 @ 290.87
c NEW SOLUTION FOUND: 10322 @ 291.753
c NEW SOLUTION FOUND: 10320 @ 292.905
c NEW SOLUTION FOUND: 10312 @ 293.165
c NEW SOLUTION FOUND: 10308 @ 293.188
c NEW SOLUTION FOUND: 10303 @ 293.221
c NEW SOLUTION FOUND: 10301 @ 293.256
c NEW SOLUTION FOUND: 10299 @ 293.483
c NEW SOLUTION FOUND: 10297 @ 294.017
c NEW SOLUTION FOUND: 10296 @ 299.688
c NEW SOLUTION FOUND: 10294 @ 300.013
c NEW SOLUTION FOUND: 10293 @ 301.306
c NEW SOLUTION FOUND: 10289 @ 301.329
c NEW SOLUTION FOUND: 10287 @ 301.353
c NEW SOLUTION FOUND: 10284 @ 301.389
c NEW SOLUTION FOUND: 10280 @ 301.412
c NEW SOLUTION FOUND: 10278 @ 301.487
c NEW SOLUTION FOUND: 10276 @ 301.52
c NEW SOLUTION FOUND: 10275 @ 301.745
c NEW SOLUTION FOUND: 10273 @ 301.779
c NEW SOLUTION FOUND: 10271 @ 302.092
c NEW SOLUTION FOUND: 10269 @ 302.385
c NEW SOLUTION FOUND: 10268 @ 307.089
c NEW SOLUTION FOUND: 10266 @ 307.122
c NEW SOLUTION FOUND: 10264 @ 307.493
c NEW SOLUTION FOUND: 10262 @ 307.847
c NEW SOLUTION FOUND: 10261 @ 308.854
c NEW SOLUTION FOUND: 10260 @ 308.884
c NEW SOLUTION FOUND: 10256 @ 308.905
c NEW SOLUTION FOUND: 10254 @ 308.938
c NEW SOLUTION FOUND: 10250 @ 309.018
c NEW SOLUTION FOUND: 10246 @ 309.04
c NEW SOLUTION FOUND: 10244 @ 309.065
c NEW SOLUTION FOUND: 10241 @ 309.1
c NEW SOLUTION FOUND: 10237 @ 309.124
c NEW SOLUTION FOUND: 10233 @ 309.213
c NEW SOLUTION FOUND: 10231 @ 309.413
c NEW SOLUTION FOUND: 10229 @ 310.219
c NEW SOLUTION FOUND: 10228 @ 311.934
c NEW SOLUTION FOUND: 10226 @ 311.968
c NEW SOLUTION FOUND: 10221 @ 313.335
c NEW SOLUTION FOUND: 10217 @ 313.357
c NEW SOLUTION FOUND: 10215 @ 313.381
c NEW SOLUTION FOUND: 10212 @ 313.417
c NEW SOLUTION FOUND: 10208 @ 313.441
c NEW SOLUTION FOUND: 10207 @ 313.668
c NEW SOLUTION FOUND: 10205 @ 313.704
c NEW SOLUTION FOUND: 10203 @ 314.069
c NEW SOLUTION FOUND: 10201 @ 314.352
c NEW SOLUTION FOUND: 10199 @ 321.231
c NEW SOLUTION FOUND: 10195 @ 321.256
c NEW SOLUTION FOUND: 10192 @ 321.41
c NEW SOLUTION FOUND: 10190 @ 321.969
c NEW SOLUTION FOUND: 10189 @ 323.697
c NEW SOLUTION FOUND: 10187 @ 323.837
c NEW SOLUTION FOUND: 10179 @ 325.269
c NEW SOLUTION FOUND: 10175 @ 325.298
c NEW SOLUTION FOUND: 10174 @ 325.338
c NEW SOLUTION FOUND: 10170 @ 325.366
c NEW SOLUTION FOUND: 10168 @ 325.4
c NEW SOLUTION FOUND: 10166 @ 325.55
c NEW SOLUTION FOUND: 10165 @ 325.851
c NEW SOLUTION FOUND: 10164 @ 326.165
c NEW SOLUTION FOUND: 10162 @ 326.2
c NEW SOLUTION FOUND: 10160 @ 334.663
c NEW SOLUTION FOUND: 10158 @ 335.337
c NEW SOLUTION FOUND: 10152 @ 336.012
c NEW SOLUTION FOUND: 10151 @ 336.256
c NEW SOLUTION FOUND: 10144 @ 336.33
c NEW SOLUTION FOUND: 10140 @ 336.36
c NEW SOLUTION FOUND: 10138 @ 336.394
c NEW SOLUTION FOUND: 10133 @ 336.428
c NEW SOLUTION FOUND: 10131 @ 336.461
c NEW SOLUTION FOUND: 10129 @ 336.884
c NEW SOLUTION FOUND: 10128 @ 337.342
c NEW SOLUTION FOUND: 10125 @ 337.895
c NEW SOLUTION FOUND: 10124 @ 338.766
c NEW SOLUTION FOUND: 10122 @ 339.673
c NEW SOLUTION FOUND: 10120 @ 340.839
c NEW SOLUTION FOUND: 10118 @ 341.342
c NEW SOLUTION FOUND: 10115 @ 341.544
c NEW SOLUTION FOUND: 10112 @ 341.586
c NEW SOLUTION FOUND: 10108 @ 341.615
c NEW SOLUTION FOUND: 10106 @ 341.71
c NEW SOLUTION FOUND: 10104 @ 341.744
c NEW SOLUTION FOUND: 10103 @ 341.957
c NEW SOLUTION FOUND: 10101 @ 341.994
c NEW SOLUTION FOUND: 10099 @ 342.214
c NEW SOLUTION FOUND: 10097 @ 342.448
c NEW SOLUTION FOUND: 10096 @ 347.17
c NEW SOLUTION FOUND: 10094 @ 347.766
c NEW SOLUTION FOUND: 10093 @ 349.24
c NEW SOLUTION FOUND: 10092 @ 349.276
c NEW SOLUTION FOUND: 10090 @ 349.504
c NEW SOLUTION FOUND: 10087 @ 349.846
c NEW SOLUTION FOUND: 10086 @ 349.853
c NEW SOLUTION FOUND: 10085 @ 349.858
c NEW SOLUTION FOUND: 10084 @ 349.872
c NEW SOLUTION FOUND: 10083 @ 349.886
c NEW SOLUTION FOUND: 10081 @ 349.923
c NEW SOLUTION FOUND: 10078 @ 349.949
c NEW SOLUTION FOUND: 10074 @ 349.97
c NEW SOLUTION FOUND: 10073 @ 350.126
c NEW SOLUTION FOUND: 10071 @ 350.157
c NEW SOLUTION FOUND: 10069 @ 350.558
c NEW SOLUTION FOUND: 10068 @ 354.127
c NEW SOLUTION FOUND: 10067 @ 354.225
c NEW SOLUTION FOUND: 10066 @ 354.306
c NEW SOLUTION FOUND: 10064 @ 354.336
c NEW SOLUTION FOUND: 10062 @ 354.716
c NEW SOLUTION FOUND: 10060 @ 355.819
c NEW SOLUTION FOUND: 10058 @ 355.934
c NEW SOLUTION FOUND: 10057 @ 356.043
c NEW SOLUTION FOUND: 10056 @ 356.156
c NEW SOLUTION FOUND: 10054 @ 356.184
c NEW SOLUTION FOUND: 10053 @ 356.437
c NEW SOLUTION FOUND: 10052 @ 356.549
c NEW SOLUTION FOUND: 10050 @ 356.579
c NEW SOLUTION FOUND: 10042 @ 356.984
c NEW SOLUTION FOUND: 10040 @ 357.017
c NEW SOLUTION FOUND: 10037 @ 357.044
c NEW SOLUTION FOUND: 10033 @ 357.071
c NEW SOLUTION FOUND: 10031 @ 357.153
c NEW SOLUTION FOUND: 10030 @ 357.54
c NEW SOLUTION FOUND: 10029 @ 357.559
c NEW SOLUTION FOUND: 10028 @ 358.938
c NEW SOLUTION FOUND: 10026 @ 359.029
c NEW SOLUTION FOUND: 10024 @ 360.208
c NEW SOLUTION FOUND: 10023 @ 360.525
c NEW SOLUTION FOUND: 10022 @ 360.539
c NEW SOLUTION FOUND: 10018 @ 360.805
c NEW SOLUTION FOUND: 10017 @ 360.842
c NEW SOLUTION FOUND: 10013 @ 360.865
c NEW SOLUTION FOUND: 10011 @ 360.895
c NEW SOLUTION FOUND: 10009 @ 360.97
c NEW SOLUTION FOUND: 10008 @ 361.064
c NEW SOLUTION FOUND: 10007 @ 361.138
c NEW SOLUTION FOUND: 10005 @ 361.168
c NEW SOLUTION FOUND: 10003 @ 361.502
c NEW SOLUTION FOUND: 10001 @ 361.586
c NEW SOLUTION FOUND: 10000 @ 368.744
c NEW SOLUTION FOUND: 9998 @ 368.837
c NEW SOLUTION FOUND: 9996 @ 369.233
c NEW SOLUTION FOUND: 9995 @ 374.339
c NEW SOLUTION FOUND: 9993 @ 374.422
c NEW SOLUTION FOUND: 9991 @ 375.541
c NEW SOLUTION FOUND: 9989 @ 375.949
c NEW SOLUTION FOUND: 9986 @ 376.355
c NEW SOLUTION FOUND: 9982 @ 376.375
c NEW SOLUTION FOUND: 9981 @ 376.411
c NEW SOLUTION FOUND: 9977 @ 376.431
c NEW SOLUTION FOUND: 9975 @ 376.459
c NEW SOLUTION FOUND: 9974 @ 376.538
c NEW SOLUTION FOUND: 9972 @ 376.566
c NEW SOLUTION FOUND: 9971 @ 376.919
c NEW SOLUTION FOUND: 9970 @ 376.998
c NEW SOLUTION FOUND: 9968 @ 377.023
c NEW SOLUTION FOUND: 9967 @ 380.626
c NEW SOLUTION FOUND: 9965 @ 380.738
c NEW SOLUTION FOUND: 9963 @ 381.088
c NEW SOLUTION FOUND: 9961 @ 381.167
c NEW SOLUTION FOUND: 9960 @ 382.499
c NEW SOLUTION FOUND: 9956 @ 382.521
c NEW SOLUTION FOUND: 9954 @ 382.548
c NEW SOLUTION FOUND: 9953 @ 382.655
c NEW SOLUTION FOUND: 9951 @ 382.698
c NEW SOLUTION FOUND: 9949 @ 383.052
c NEW SOLUTION FOUND: 9943 @ 383.467
c NEW SOLUTION FOUND: 9941 @ 383.513
c NEW SOLUTION FOUND: 9938 @ 383.545
c NEW SOLUTION FOUND: 9934 @ 383.567
c NEW SOLUTION FOUND: 9932 @ 383.646
c NEW SOLUTION FOUND: 9930 @ 383.976
c NEW SOLUTION FOUND: 9928 @ 384.057
c NEW SOLUTION FOUND: 9927 @ 385.024
c NEW SOLUTION FOUND: 9925 @ 385.541
c NEW SOLUTION FOUND: 9923 @ 386.958
c NEW SOLUTION FOUND: 9921 @ 387.071
c NEW SOLUTION FOUND: 9911 @ 387.5
c NEW SOLUTION FOUND: 9910 @ 387.54
c NEW SOLUTION FOUND: 9906 @ 387.562
c NEW SOLUTION FOUND: 9904 @ 387.584
c NEW SOLUTION FOUND: 9902 @ 387.666
c NEW SOLUTION FOUND: 9900 @ 388.026
c NEW SOLUTION FOUND: 9899 @ 401.119
c NEW SOLUTION FOUND: 9898 @ 401.153
c NEW SOLUTION FOUND: 9897 @ 401.197
c NEW SOLUTION FOUND: 9893 @ 401.226
c NEW SOLUTION FOUND: 9891 @ 401.262
c NEW SOLUTION FOUND: 9889 @ 401.379
c NEW SOLUTION FOUND: 9888 @ 401.558
c NEW SOLUTION FOUND: 9887 @ 401.643
c NEW SOLUTION FOUND: 9885 @ 401.68
c NEW SOLUTION FOUND: 9884 @ 402.108
c NEW SOLUTION FOUND: 9883 @ 402.2
c NEW SOLUTION FOUND: 9881 @ 402.234
c NEW SOLUTION FOUND: 9880 @ 405.758
c NEW SOLUTION FOUND: 9878 @ 405.849
c NEW SOLUTION FOUND: 9876 @ 406.223
c NEW SOLUTION FOUND: 9874 @ 406.325
c NEW SOLUTION FOUND: 9870 @ 407.435
c NEW SOLUTION FOUND: 9868 @ 407.472
c NEW SOLUTION FOUND: 9866 @ 407.583
c NEW SOLUTION FOUND: 9864 @ 408.019
c NEW SOLUTION FOUND: 9862 @ 408.141
c NEW SOLUTION FOUND: 9858 @ 408.567
c NEW SOLUTION FOUND: 9857 @ 408.592
c NEW SOLUTION FOUND: 9854 @ 408.607
c NEW SOLUTION FOUND: 9852 @ 408.632
c NEW SOLUTION FOUND: 9849 @ 408.667
c NEW SOLUTION FOUND: 9845 @ 408.69
c NEW SOLUTION FOUND: 9843 @ 408.772
c NEW SOLUTION FOUND: 9841 @ 409.143
c NEW SOLUTION FOUND: 9840 @ 410.554
c NEW SOLUTION FOUND: 9838 @ 410.588
c NEW SOLUTION FOUND: 9837 @ 411.992
c NEW SOLUTION FOUND: 9834 @ 412.111
c NEW SOLUTION FOUND: 9830 @ 412.38
c NEW SOLUTION FOUND: 9828 @ 412.416
c NEW SOLUTION FOUND: 9825 @ 412.446
c NEW SOLUTION FOUND: 9821 @ 412.468
c NEW SOLUTION FOUND: 9819 @ 412.557
c NEW SOLUTION FOUND: 9818 @ 412.654
c NEW SOLUTION FOUND: 9817 @ 412.736
c NEW SOLUTION FOUND: 9815 @ 412.77
c NEW SOLUTION FOUND: 9813 @ 413.143
c NEW SOLUTION FOUND: 9809 @ 418.587
c NEW SOLUTION FOUND: 9807 @ 418.634
c NEW SOLUTION FOUND: 9806 @ 418.713
c NEW SOLUTION FOUND: 9804 @ 418.747
c NEW SOLUTION FOUND: 9803 @ 419.49
c NEW SOLUTION FOUND: 9802 @ 419.517
c NEW SOLUTION FOUND: 9801 @ 421.12
c NEW SOLUTION FOUND: 9799 @ 421.158
c NEW SOLUTION FOUND: 9797 @ 421.901
c NEW SOLUTION FOUND: 9796 @ 422.299
c NEW SOLUTION FOUND: 9792 @ 422.381
c NEW SOLUTION FOUND: 9788 @ 422.405
c NEW SOLUTION FOUND: 9786 @ 422.431
c NEW SOLUTION FOUND: 9785 @ 422.468
c NEW SOLUTION FOUND: 9781 @ 422.492
c NEW SOLUTION FOUND: 9779 @ 422.517
c NEW SOLUTION FOUND: 9778 @ 422.598
c NEW SOLUTION FOUND: 9776 @ 422.633
c NEW SOLUTION FOUND: 9774 @ 423.546
c NEW SOLUTION FOUND: 9773 @ 430.91
c NEW SOLUTION FOUND: 9772 @ 430.999
c NEW SOLUTION FOUND: 9770 @ 431.032
c NEW SOLUTION FOUND: 9765 @ 431.85
c NEW SOLUTION FOUND: 9763 @ 431.888
c NEW SOLUTION FOUND: 9762 @ 432
c NEW SOLUTION FOUND: 9760 @ 432.02
c NEW SOLUTION FOUND: 9758 @ 432.199
c NEW SOLUTION FOUND: 9754 @ 432.217
c NEW SOLUTION FOUND: 9752 @ 432.251
c NEW SOLUTION FOUND: 9745 @ 432.275
c NEW SOLUTION FOUND: 9743 @ 432.385
c NEW SOLUTION FOUND: 9742 @ 432.545
c NEW SOLUTION FOUND: 9739 @ 432.626
c NEW SOLUTION FOUND: 9737 @ 433.351
c NEW SOLUTION FOUND: 9736 @ 434.846
c NEW SOLUTION FOUND: 9734 @ 434.928
c NEW SOLUTION FOUND: 9733 @ 436.284
c NEW SOLUTION FOUND: 9728 @ 436.364
c NEW SOLUTION FOUND: 9724 @ 436.387
c NEW SOLUTION FOUND: 9722 @ 436.411
c NEW SOLUTION FOUND: 9721 @ 436.447
c NEW SOLUTION FOUND: 9717 @ 436.471
c NEW SOLUTION FOUND: 9715 @ 436.495
c NEW SOLUTION FOUND: 9713 @ 436.58
c NEW SOLUTION FOUND: 9711 @ 437.083
c NEW SOLUTION FOUND: 9709 @ 437.165
c NEW SOLUTION FOUND: 9708 @ 441.752
c NEW SOLUTION FOUND: 9706 @ 442.284
c NEW SOLUTION FOUND: 9704 @ 443.413
c NEW SOLUTION FOUND: 9702 @ 443.767
c NEW SOLUTION FOUND: 9700 @ 444.178
c NEW SOLUTION FOUND: 9696 @ 444.202
c NEW SOLUTION FOUND: 9694 @ 444.227
c NEW SOLUTION FOUND: 9691 @ 444.264
c NEW SOLUTION FOUND: 9687 @ 444.287
c NEW SOLUTION FOUND: 9685 @ 444.369
c NEW SOLUTION FOUND: 9683 @ 444.695
c NEW SOLUTION FOUND: 9681 @ 444.778
c NEW SOLUTION FOUND: 9680 @ 448.29
c NEW SOLUTION FOUND: 9678 @ 448.324
c NEW SOLUTION FOUND: 9677 @ 448.885
c NEW SOLUTION FOUND: 9676 @ 448.969
c NEW SOLUTION FOUND: 9674 @ 449.005
c NEW SOLUTION FOUND: 9671 @ 449.857
c NEW SOLUTION FOUND: 9668 @ 449.971
c NEW SOLUTION FOUND: 9658 @ 450.052
c NEW SOLUTION FOUND: 9656 @ 450.089
c NEW SOLUTION FOUND: 9653 @ 450.118
c NEW SOLUTION FOUND: 9649 @ 450.139
c NEW SOLUTION FOUND: 9647 @ 450.227
c NEW SOLUTION FOUND: 9645 @ 450.366
c NEW SOLUTION FOUND: 9643 @ 450.448
c NEW SOLUTION FOUND: 9641 @ 451.247
c NEW SOLUTION FOUND: 9640 @ 452.668
c NEW SOLUTION FOUND: 9638 @ 452.777
c NEW SOLUTION FOUND: 9637 @ 454.187
c NEW SOLUTION FOUND: 9633 @ 454.267
c NEW SOLUTION FOUND: 9629 @ 454.285
c NEW SOLUTION FOUND: 9627 @ 454.319
c NEW SOLUTION FOUND: 9626 @ 454.348
c NEW SOLUTION FOUND: 9622 @ 454.372
c NEW SOLUTION FOUND: 9620 @ 454.404
c NEW SOLUTION FOUND: 9617 @ 454.479
c NEW SOLUTION FOUND: 9615 @ 455.044
c NEW SOLUTION FOUND: 9613 @ 455.127
c NEW SOLUTION FOUND: 9612 @ 462.259
c NEW SOLUTION FOUND: 9610 @ 463.599
c NEW SOLUTION FOUND: 9608 @ 463.7
c NEW SOLUTION FOUND: 9603 @ 463.88
c NEW SOLUTION FOUND: 9602 @ 463.92
c NEW SOLUTION FOUND: 9598 @ 463.945
c NEW SOLUTION FOUND: 9596 @ 463.976
c NEW SOLUTION FOUND: 9595 @ 464.051
c NEW SOLUTION FOUND: 9593 @ 464.083
c NEW SOLUTION FOUND: 9591 @ 464.238
c NEW SOLUTION FOUND: 9589 @ 464.319
c NEW SOLUTION FOUND: 9587 @ 464.685
c NEW SOLUTION FOUND: 9586 @ 473.718
c NEW SOLUTION FOUND: 9584 @ 473.786
c NEW SOLUTION FOUND: 9582 @ 475.144
c NEW SOLUTION FOUND: 9580 @ 475.254
c NEW SOLUTION FOUND: 9574 @ 475.668
c NEW SOLUTION FOUND: 9570 @ 475.697
c NEW SOLUTION FOUND: 9569 @ 475.738
c NEW SOLUTION FOUND: 9565 @ 475.767
c NEW SOLUTION FOUND: 9563 @ 475.8
c NEW SOLUTION FOUND: 9561 @ 475.883
c NEW SOLUTION FOUND: 9559 @ 476.245
c NEW SOLUTION FOUND: 9558 @ 479.797
c NEW SOLUTION FOUND: 9556 @ 479.896
c NEW SOLUTION FOUND: 9555 @ 480.264
c NEW SOLUTION FOUND: 9554 @ 480.359
c NEW SOLUTION FOUND: 9552 @ 480.387
c NEW SOLUTION FOUND: 9546 @ 481.497
c NEW SOLUTION FOUND: 9544 @ 481.615
c NEW SOLUTION FOUND: 9543 @ 482.045
c NEW SOLUTION FOUND: 9542 @ 482.157
c NEW SOLUTION FOUND: 9540 @ 482.192
c NEW SOLUTION FOUND: 9531 @ 482.625
c NEW SOLUTION FOUND: 9530 @ 482.667
c NEW SOLUTION FOUND: 9526 @ 482.691
c NEW SOLUTION FOUND: 9524 @ 482.716
c NEW SOLUTION FOUND: 9523 @ 482.797
c NEW SOLUTION FOUND: 9521 @ 482.833
c NEW SOLUTION FOUND: 9519 @ 483.207
c NEW SOLUTION FOUND: 9518 @ 484.589
c NEW SOLUTION FOUND: 9516 @ 484.672
c NEW SOLUTION FOUND: 9515 @ 486.074
c NEW SOLUTION FOUND: 9512 @ 486.187
c NEW SOLUTION FOUND: 9505 @ 486.62
c NEW SOLUTION FOUND: 9503 @ 486.656
c NEW SOLUTION FOUND: 9500 @ 486.685
c NEW SOLUTION FOUND: 9496 @ 486.707
c NEW SOLUTION FOUND: 9493 @ 486.791
c NEW SOLUTION FOUND: 9491 @ 487.166
c NEW SOLUTION FOUND: 9490 @ 501.164
c NEW SOLUTION FOUND: 9488 @ 501.566
c NEW SOLUTION FOUND: 9486 @ 501.657
c NEW SOLUTION FOUND: 9485 @ 505.162
c NEW SOLUTION FOUND: 9484 @ 505.19
c NEW SOLUTION FOUND: 9483 @ 505.218
c NEW SOLUTION FOUND: 9481 @ 505.599
c NEW SOLUTION FOUND: 9480 @ 505.695
c NEW SOLUTION FOUND: 9479 @ 505.71
c NEW SOLUTION FOUND: 9475 @ 506.812
c NEW SOLUTION FOUND: 9474 @ 506.84
c NEW SOLUTION FOUND: 9473 @ 506.969
c NEW SOLUTION FOUND: 9471 @ 507.014
c NEW SOLUTION FOUND: 9470 @ 507.437
c NEW SOLUTION FOUND: 9469 @ 507.559
c NEW SOLUTION FOUND: 9467 @ 507.593
c NEW SOLUTION FOUND: 9464 @ 508.019
c NEW SOLUTION FOUND: 9460 @ 508.044
c NEW SOLUTION FOUND: 9458 @ 508.076
c NEW SOLUTION FOUND: 9455 @ 508.106
c NEW SOLUTION FOUND: 9451 @ 508.133
c NEW SOLUTION FOUND: 9450 @ 508.211
c NEW SOLUTION FOUND: 9448 @ 508.246
c NEW SOLUTION FOUND: 9446 @ 508.605
c NEW SOLUTION FOUND: 9443 @ 510.066
c NEW SOLUTION FOUND: 9441 @ 511.504
c NEW SOLUTION FOUND: 9439 @ 511.621
c NEW SOLUTION FOUND: 9433 @ 512.055
c NEW SOLUTION FOUND: 9432 @ 512.062
c NEW SOLUTION FOUND: 9429 @ 512.078
c NEW SOLUTION FOUND: 9428 @ 512.118
c NEW SOLUTION FOUND: 9424 @ 512.146
c NEW SOLUTION FOUND: 9422 @ 512.177
c NEW SOLUTION FOUND: 9420 @ 512.252
c NEW SOLUTION FOUND: 9418 @ 512.62
c NEW SOLUTION FOUND: 9416 @ 525.281
c NEW SOLUTION FOUND: 9415 @ 525.331
c NEW SOLUTION FOUND: 9414 @ 525.426
c NEW SOLUTION FOUND: 9412 @ 525.458
c NEW SOLUTION FOUND: 9411 @ 525.837
c NEW SOLUTION FOUND: 9410 @ 525.922
c NEW SOLUTION FOUND: 9408 @ 525.957
c NEW SOLUTION FOUND: 9405 @ 530.719
c NEW SOLUTION FOUND: 9404 @ 531.079
c NEW SOLUTION FOUND: 9403 @ 531.173
c NEW SOLUTION FOUND: 9401 @ 531.207
c NEW SOLUTION FOUND: 9400 @ 535.285
c NEW SOLUTION FOUND: 9397 @ 535.59
c NEW SOLUTION FOUND: 9395 @ 535.623
c NEW SOLUTION FOUND: 9394 @ 535.652
c NEW SOLUTION FOUND: 9390 @ 535.673
c NEW SOLUTION FOUND: 9388 @ 535.707
c NEW SOLUTION FOUND: 9385 @ 535.781
c NEW SOLUTION FOUND: 9383 @ 535.897
c NEW SOLUTION FOUND: 9381 @ 535.994
c NEW SOLUTION FOUND: 9379 @ 536.483
c NEW SOLUTION FOUND: 9377 @ 537.552
c NEW SOLUTION FOUND: 9375 @ 537.586
c NEW SOLUTION FOUND: 9374 @ 537.666
c NEW SOLUTION FOUND: 9372 @ 537.7
c NEW SOLUTION FOUND: 9371 @ 538.163
c NEW SOLUTION FOUND: 9370 @ 538.249
c NEW SOLUTION FOUND: 9368 @ 538.284
c NEW SOLUTION FOUND: 9367 @ 539.27
c NEW SOLUTION FOUND: 9365 @ 539.798
c NEW SOLUTION FOUND: 9363 @ 541.21
c NEW SOLUTION FOUND: 9361 @ 541.319
c NEW SOLUTION FOUND: 9358 @ 541.587
c NEW SOLUTION FOUND: 9356 @ 541.621
c NEW SOLUTION FOUND: 9355 @ 541.651
c NEW SOLUTION FOUND: 9351 @ 541.673
c NEW SOLUTION FOUND: 9349 @ 541.707
c NEW SOLUTION FOUND: 9348 @ 541.787
c NEW SOLUTION FOUND: 9346 @ 541.821
c NEW SOLUTION FOUND: 9344 @ 541.917
c NEW SOLUTION FOUND: 9342 @ 542.002
c NEW SOLUTION FOUND: 9340 @ 542.373
c NEW SOLUTION FOUND: 9339 @ 550.958
c NEW SOLUTION FOUND: 9337 @ 550.992
c NEW SOLUTION FOUND: 9335 @ 551.117
c NEW SOLUTION FOUND: 9334 @ 551.25
c NEW SOLUTION FOUND: 9331 @ 551.36
c NEW SOLUTION FOUND: 9329 @ 551.684
c NEW SOLUTION FOUND: 9324 @ 551.947
c NEW SOLUTION FOUND: 9320 @ 551.971
c NEW SOLUTION FOUND: 9318 @ 551.997
c NEW SOLUTION FOUND: 9316 @ 552.087
c NEW SOLUTION FOUND: 9315 @ 552.185
c NEW SOLUTION FOUND: 9314 @ 552.265
c NEW SOLUTION FOUND: 9312 @ 552.302
c NEW SOLUTION FOUND: 9310 @ 552.641
c NEW SOLUTION FOUND: 9308 @ 552.723
c NEW SOLUTION FOUND: 9307 @ 553.639
c NEW SOLUTION FOUND: 9305 @ 554.145
c NEW SOLUTION FOUND: 9303 @ 555.289
c NEW SOLUTION FOUND: 9301 @ 555.641
c NEW SOLUTION FOUND: 9296 @ 556.05
c NEW SOLUTION FOUND: 9295 @ 556.08
c NEW SOLUTION FOUND: 9293 @ 556.118
c NEW SOLUTION FOUND: 9290 @ 556.162
c NEW SOLUTION FOUND: 9286 @ 556.191
c NEW SOLUTION FOUND: 9284 @ 556.278
c NEW SOLUTION FOUND: 9283 @ 556.56
c NEW SOLUTION FOUND: 9280 @ 556.721
c NEW SOLUTION FOUND: 9279 @ 565.428
c NEW SOLUTION FOUND: 9278 @ 565.599
c NEW SOLUTION FOUND: 9277 @ 565.62
c NEW SOLUTION FOUND: 9275 @ 566.071
c NEW SOLUTION FOUND: 9274 @ 572.025
c NEW SOLUTION FOUND: 9272 @ 572.487
c NEW SOLUTION FOUND: 9270 @ 573.345
c NEW SOLUTION FOUND: 9266 @ 573.596
c NEW SOLUTION FOUND: 9263 @ 573.612
c NEW SOLUTION FOUND: 9259 @ 573.639
c NEW SOLUTION FOUND: 9258 @ 573.68
c NEW SOLUTION FOUND: 9254 @ 573.704
c NEW SOLUTION FOUND: 9252 @ 573.729
c NEW SOLUTION FOUND: 9249 @ 573.958
c NEW SOLUTION FOUND: 9247 @ 574.843
c NEW SOLUTION FOUND: 9244 @ 578.978
c NEW SOLUTION FOUND: 9242 @ 579.168
c NEW SOLUTION FOUND: 9241 @ 579.821
c NEW SOLUTION FOUND: 9240 @ 579.837
c NEW SOLUTION FOUND: 9236 @ 580.795
c NEW SOLUTION FOUND: 9234 @ 580.83
c NEW SOLUTION FOUND: 9230 @ 580.922
c NEW SOLUTION FOUND: 9226 @ 580.946
c NEW SOLUTION FOUND: 9224 @ 580.972
c NEW SOLUTION FOUND: 9221 @ 581.009
c NEW SOLUTION FOUND: 9217 @ 581.033
c NEW SOLUTION FOUND: 9215 @ 581.121
c NEW SOLUTION FOUND: 9213 @ 581.157
c NEW SOLUTION FOUND: 9211 @ 581.351
c NEW SOLUTION FOUND: 9210 @ 581.966
c NEW SOLUTION FOUND: 9207 @ 582.267
c NEW SOLUTION FOUND: 9206 @ 583.235
c NEW SOLUTION FOUND: 9204 @ 584.051
c NEW SOLUTION FOUND: 9193 @ 584.843
c NEW SOLUTION FOUND: 9192 @ 584.886
c NEW SOLUTION FOUND: 9188 @ 584.91
c NEW SOLUTION FOUND: 9186 @ 584.936
c NEW SOLUTION FOUND: 9185 @ 585.232
c NEW SOLUTION FOUND: 9183 @ 585.259
c NEW SOLUTION FOUND: 9181 @ 585.896
c NEW SOLUTION FOUND: 9179 @ 586.211
c NEW SOLUTION FOUND: 9178 @ 598.561
c NEW SOLUTION FOUND: 9171 @ 599.455
c NEW SOLUTION FOUND: 9169 @ 599.506
c NEW SOLUTION FOUND: 9166 @ 599.567
c NEW SOLUTION FOUND: 9162 @ 599.611
c NEW SOLUTION FOUND: 9158 @ 599.717
c NEW SOLUTION FOUND: 9157 @ 599.915
c NEW SOLUTION FOUND: 9155 @ 599.949
c NEW SOLUTION FOUND: 9153 @ 600.837
c NEW SOLUTION FOUND: 9149 @ 608.788
c NEW SOLUTION FOUND: 9145 @ 608.817
c NEW SOLUTION FOUND: 9140 @ 608.855
c NEW SOLUTION FOUND: 9138 @ 608.891
c NEW SOLUTION FOUND: 9136 @ 609.039
c NEW SOLUTION FOUND: 9135 @ 609.257
c NEW SOLUTION FOUND: 9134 @ 609.482
c NEW SOLUTION FOUND: 9132 @ 609.518
c NEW SOLUTION FOUND: 9131 @ 615.428
c NEW SOLUTION FOUND: 9130 @ 615.931
c NEW SOLUTION FOUND: 9129 @ 616.301
c NEW SOLUTION FOUND: 9127 @ 616.335
c NEW SOLUTION FOUND: 9126 @ 622.163
c NEW SOLUTION FOUND: 9124 @ 622.901
c NEW SOLUTION FOUND: 9122 @ 624.054
c NEW SOLUTION FOUND: 9120 @ 624.547
c NEW SOLUTION FOUND: 9118 @ 624.755
c NEW SOLUTION FOUND: 9116 @ 624.791
c NEW SOLUTION FOUND: 9113 @ 624.823
c NEW SOLUTION FOUND: 9109 @ 624.852
c NEW SOLUTION FOUND: 9107 @ 624.948
c NEW SOLUTION FOUND: 9105 @ 624.983
c NEW SOLUTION FOUND: 9103 @ 625.192
c NEW SOLUTION FOUND: 9102 @ 625.412
c NEW SOLUTION FOUND: 9101 @ 625.632
c NEW SOLUTION FOUND: 9099 @ 625.661
c NEW SOLUTION FOUND: 9098 @ 629.689
c NEW SOLUTION FOUND: 9096 @ 629.864
c NEW SOLUTION FOUND: 9094 @ 630.322
c NEW SOLUTION FOUND: 9092 @ 630.557
c NEW SOLUTION FOUND: 9091 @ 631.312
c NEW SOLUTION FOUND: 9087 @ 631.342
c NEW SOLUTION FOUND: 9085 @ 631.371
c NEW SOLUTION FOUND: 9084 @ 631.57
c NEW SOLUTION FOUND: 9082 @ 631.608
c NEW SOLUTION FOUND: 9074 @ 631.866
c NEW SOLUTION FOUND: 9070 @ 631.889
c NEW SOLUTION FOUND: 9069 @ 631.926
c NEW SOLUTION FOUND: 9065 @ 631.949
c NEW SOLUTION FOUND: 9063 @ 631.979
c NEW SOLUTION FOUND: 9061 @ 632.212
c NEW SOLUTION FOUND: 9059 @ 632.935
c NEW SOLUTION FOUND: 9056 @ 634.513
c NEW SOLUTION FOUND: 9049 @ 635.78
c NEW SOLUTION FOUND: 9048 @ 635.818
c NEW SOLUTION FOUND: 9044 @ 635.847
c NEW SOLUTION FOUND: 9042 @ 635.876
c NEW SOLUTION FOUND: 9040 @ 635.969
c NEW SOLUTION FOUND: 9038 @ 635.999
c NEW SOLUTION FOUND: 9035 @ 636.197
c NEW SOLUTION FOUND: 9033 @ 636.519
c NEW SOLUTION FOUND: 9031 @ 636.791
c NEW SOLUTION FOUND: 9029 @ 647.503
c NEW SOLUTION FOUND: 9027 @ 647.543
c NEW SOLUTION FOUND: 9025 @ 647.849
c NEW SOLUTION FOUND: 9024 @ 648.08
c NEW SOLUTION FOUND: 9021 @ 648.31
c NEW SOLUTION FOUND: 9017 @ 653.424
c NEW SOLUTION FOUND: 9015 @ 653.594
c NEW SOLUTION FOUND: 9013 @ 654.007
c NEW SOLUTION FOUND: 9012 @ 659.284
c NEW SOLUTION FOUND: 9009 @ 659.452
c NEW SOLUTION FOUND: 9007 @ 660.123
c NEW SOLUTION FOUND: 9006 @ 664.492
c NEW SOLUTION FOUND: 9004 @ 665.004
c NEW SOLUTION FOUND: 9003 @ 669.855
c NEW SOLUTION FOUND: 9001 @ 669.888
c NEW SOLUTION FOUND: 9000 @ 674.304
c NEW SOLUTION FOUND: 8999 @ 698.105
c NEW SOLUTION FOUND: 8998 @ 698.153
c NEW SOLUTION FOUND: 8996 @ 698.259
c NEW SOLUTION FOUND: 8993 @ 698.398
c NEW SOLUTION FOUND: 8989 @ 698.425
c NEW SOLUTION FOUND: 8987 @ 698.616
c NEW SOLUTION FOUND: 8986 @ 698.833
c NEW SOLUTION FOUND: 8984 @ 698.882
c NEW SOLUTION FOUND: 8982 @ 700.277
c NEW SOLUTION FOUND: 8981 @ 711.93
c NEW SOLUTION FOUND: 8978 @ 713.095
c NEW SOLUTION FOUND: 8974 @ 727.263
c NEW SOLUTION FOUND: 8972 @ 727.354
c NEW SOLUTION FOUND: 8971 @ 727.613
c NEW SOLUTION FOUND: 8969 @ 727.649
c NEW SOLUTION FOUND: 8967 @ 728.765
c NEW SOLUTION FOUND: 8966 @ 737.993
c NEW SOLUTION FOUND: 8965 @ 751.731
c NEW SOLUTION FOUND: 8962 @ 752.243
c NEW SOLUTION FOUND: 8960 @ 755.925
c NEW SOLUTION FOUND: 8957 @ 768.192
c NEW SOLUTION FOUND: 8956 @ 805.977
c NEW SOLUTION FOUND: 8953 @ 818.105
c NEW SOLUTION FOUND: 8951 @ 818.181
c NEW SOLUTION FOUND: 8944 @ 818.26
c NEW SOLUTION FOUND: 8942 @ 818.627
c NEW SOLUTION FOUND: 8941 @ 818.823
c NEW SOLUTION FOUND: 8939 @ 818.852
c NEW SOLUTION FOUND: 8938 @ 821.02
c NEW SOLUTION FOUND: 8936 @ 821.049
c NEW SOLUTION FOUND: 8935 @ 831.799
c NEW SOLUTION FOUND: 8933 @ 831.856
c NEW SOLUTION FOUND: 8932 @ 871.948
c NEW SOLUTION FOUND: 8931 @ 999.207
c NEW SOLUTION FOUND: 8930 @ 1018.41
c NEW SOLUTION FOUND: 8928 @ 1018.48
c NEW SOLUTION FOUND: 8927 @ 1020.93
c NEW SOLUTION FOUND: 8926 @ 1023.04
c NEW SOLUTION FOUND: 8925 @ 1023.68
c NEW SOLUTION FOUND: 8924 @ 1023.87
c NEW SOLUTION FOUND: 8919 @ 1023.95
c NEW SOLUTION FOUND: 8917 @ 1024.01
c NEW SOLUTION FOUND: 8912 @ 1024.14
c NEW SOLUTION FOUND: 8910 @ 1024.22
c NEW SOLUTION FOUND: 8908 @ 1024.48
c NEW SOLUTION FOUND: 8907 @ 1024.7
c NEW SOLUTION FOUND: 8905 @ 1024.76
c NEW SOLUTION FOUND: 8903 @ 1026.76
c NEW SOLUTION FOUND: 8902 @ 1042.87
c NEW SOLUTION FOUND: 8900 @ 1080.81
c NEW SOLUTION FOUND: 8897 @ 1081.07
c NEW SOLUTION FOUND: 8895 @ 1082.61
c NEW SOLUTION FOUND: 8894 @ 1082.84
c NEW SOLUTION FOUND: 8892 @ 1082.89
c NEW SOLUTION FOUND: 8885 @ 1082.99
c NEW SOLUTION FOUND: 8880 @ 1083.16
c NEW SOLUTION FOUND: 8878 @ 1083.2
c NEW SOLUTION FOUND: 8875 @ 1083.59
c NEW SOLUTION FOUND: 8873 @ 1085.96
c NEW SOLUTION FOUND: 8869 @ 1093.84
c NEW SOLUTION FOUND: 8867 @ 1093.89
c NEW SOLUTION FOUND: 8865 @ 1094.36
c NEW SOLUTION FOUND: 8862 @ 1094.62
c NEW SOLUTION FOUND: 8861 @ 1097.26
c NEW SOLUTION FOUND: 8859 @ 1097.31
s SATISFIABLE
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1042_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 C1070_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1126_bit0 -C1127_bit0 C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 C1140_bit0 C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 C1153_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1166_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 C1209_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 C1263_bit0 C1265_bit0 -C1266_bit0 C1267_bit0 -C1268_bit0 C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 C1291_bit0 C1292_bit0 -C1293_bit0 -C1294_bit0 C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 -C1304_bit0 C1305_bit0 C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1366_bit0 -C1367_bit0 C1368_bit0 C1369_bit0 C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 C1412_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 C1426_bit0 -C1428_bit0 -C1429_bit0 C1430_bit0 C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 C1519_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 C1533_bit0 -C1535_bit0 -C1536_bit0 C1537_bit0 C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 C1589_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 C1653_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 C1696_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 C1705_bit0 -C1706_bit0 C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1712_bit0 -C1713_bit0 C1714_bit0 C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 C1766_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 -C1847_bit0 C1848_bit0 C1849_bit0 -C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 C1880_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1896_bit0 -C1897_bit0 C1898_bit0 C1899_bit0 -C1900_bit0 -C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 C1923_bit0 C1924_bit0 -C1925_bit0 -C1926_bit0 -C1929_bit0 -C1933_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1954_bit0 C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1982_bit0 -C1983_bit0 C1984_bit0 C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C2000_bit0 -C2001_bit0 C2002_bit0 C2003_bit0 -C2004_bit0 -C2005_bit0 -C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2029_bit0 -C2030_bit0 C2031_bit0 C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 C2045_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 C2103_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 -C2119_bit0 -C2120_bit0 C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2126_bit0 -C2127_bit0 C2128_bit0 C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 -C2135_bit0 C2136_bit0 -C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 -C2141_bit0 -C2144_bit0 C2145_bit0 -C2146_bit0 C2147_bit0 -C2148_bit0 -C2149_bit0 C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 -C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2173_bit0 -C2174_bit0 -C2175_bit0 -C2176_bit0 -C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 -C2186_bit0 -C2187_bit0 C2189_bit0 -C2192_bit0 -C2193_bit0 -C2194_bit0 -C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 -C2232_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 C2247_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 -C2263_bit0 -C2264_bit0 -C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2270_bit0 -C2271_bit0 -C2272_bit0 -C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 C2289_bit0 C2290_bit0 C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 C2335_bit0 -C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2348_bit0 -C2349_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 -C2365_bit0 -C2366_bit0 -C2367_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 -C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2440_bit0 C2441_bit0 -C2442_bit0 C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 C2455_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 -C2472_bit0 C2473_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 C2522_bit0 -C2524_bit0 -C2525_bit0 C2526_bit0 C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 C2556_bit0 -C2557_bit0 -C2558_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 -C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 -C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 -C2576_bit0 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 C2589_bit0 -C2591_bit0 C2592_bit0 C2593_bit0 C2594_bit0 C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2748_bit0 -C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2779_bit0 -C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 -C2784_bit0 -C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 -C2790_bit0 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 -C2814_bit0 -C2817_bit0 -C2818_bit0 -C2819_bit0 -C2820_bit0 -C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 -C2827_bit0 -C2828_bit0 -C2829_bit0 -C2830_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 C2845_bit0 -C2848_bit0 -C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 -C2854_bit0 -C2855_bit0 -C2856_bit0 -C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_bit0 -C2902_bit0 -C2903_bit0 -C2904_bit0 -C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 -C2909_bit0 -C2910_bit0 -C2911_bit0 -C2912_bit0 -C2913_bit0 -C2914_bit0 -C2915_bit0 -C2918_bit0 -C2919_bit0 C2920_bit0 C2921_bit0 -C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 -C2929_bit0 C2930_bit0 -C2933_bit0 -C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 -C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 -C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 -C2947_bit0 -C2949_bit0 -C2950_bit0 -C2951_bit0 -C2952_bit0 -C2953_bit0 -C2954_bit0 -C2955_bit0 -C2956_bit0 -C2957_bit0 -C2958_bit0 -C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 -C2963_bit0 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 C2977_bit0 -C2980_bit0 -C2981_bit0 -C2982_bit0 -C2983_bit0 -C2984_bit0 -C2985_bit0 -C2986_bit0 -C2987_bit0 -C2988_bit0 -C2989_bit0 -C2990_bit0 -C2991_bit0 -C2992_bit0 C2993_bit0 -C2994_bit0 -C2995_bit0 -C2996_bit0 -C2997_bit0 -C2998_bit0 -C2999_bit0 -C3000_bit0 -C3001_bit0 C3003_bit0 -C3004_bit0 -C3005_bit0 -C3006_bit0 -C3007_bit0 -C3008_bit0 -C3009_bit0 -C3010_bit0 -C3011_bit0 -C3012_bit0 -C3013_bit0 -C3014_bit0 -C3015_bit0 -C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 -C3020_bit0 -C3021_bit0 -C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 -C3027_bit0 -C3028_bit0 -C3029_bit0 C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 -C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 -C3048_bit0 C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 C3055_bit0 -C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 -C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 C3078_bit0 -C3080_bit0 -C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 -C3087_bit0 -C3088_bit0 C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 -C3094_bit0 -C3095_bit0 C3096_bit0 C3097_bit0 C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 -C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 -C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 -C3154_bit0 -C3155_bit0 -C3156_bit0 -C3157_bit0 -C3158_bit0 -C3159_bit0 -C3161_bit0 -C3162_bit0 -C3163_bit0 C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 -C3170_bit0 C3172_bit0 -C3174_bit0 -C3175_bit0 -C3176_bit0 -C3177_bit0 -C3178_bit0 -C3179_bit0 -C3180_bit0 -C3181_bit0 -C3182_bit0 -C3183_bit0 -C3184_bit0 -C3185_bit0 -C3187_bit0 -C3188_bit0 C3189_bit0 -C3190_bit0 -C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 C3198_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 -C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 -C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 -C3214_bit0 -C3215_bit0 -C3216_bit0 -C3217_bit0 -C3218_bit0 -C3219_bit0 -C3220_bit0 -C3221_bit0 -C3222_bit0 -C3223_bit0 -C3224_bit0 -C3225_bit0 -C3226_bit0 -C3228_bit0 -C3229_bit0 -C3230_bit0 -C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 C3237_bit0 C3239_bit0 -C3241_bit0 -C3242_bit0 C3243_bit0 C3244_bit0 -C3245_bit0 -C3246_bit0 -C3247_bit0 -C3248_bit0 -C3249_bit0 -C3250_bit0 -C3251_bit0 -C3252_bit0 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 C3265_bit0 -C3267_bit0 -C3268_bit0 C3269_bit0 C3270_bit0 -C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 -C3291_bit0 -C3292_bit0 -C3293_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 -C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 -C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 C3323_bit0 C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 -C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 C3346_bit0 -C3348_bit0 -C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 -C3355_bit0 -C3356_bit0 C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 -C3362_bit0 -C3363_bit0 C3364_bit0 C3365_bit0 C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 -C3422_bit0 -C3423_bit0 -C3424_bit0 -C3425_bit0 -C3426_bit0 -C3427_bit0 -C3428_bit0 -C3429_bit0 -C3430_bit0 -C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 -C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 -C3443_bit0 -C3444_bit0 -C3445_bit0 C3446_bit0 -C3448_bit0 -C3449_bit0 -C3450_bit0 -C3451_bit0 -C3452_bit0 -C3453_bit0 -C3454_bit0 -C3455_bit0 -C3456_bit0 -C3457_bit0 -C3458_bit0 -C3459_bit0 -C3460_bit0 -C3461_bit0 -C3462_bit0 -C3463_bit0 -C3464_bit0 -C3466_bit0 -C3467_bit0 C3468_bit0 -C3469_bit0 C3470_bit0 -C3471_bit0 -C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 -C3476_bit0 -C3477_bit0 -C3478_bit0 -C3479_bit0 -C3480_bit0 -C3481_bit0 -C3483_bit0 -C3484_bit0 -C3485_bit0 -C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 -C3490_bit0 -C3491_bit0 -C3492_bit0 -C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 C3497_bit0 -C3499_bit0 -C3500_bit0 -C3501_bit0 -C3502_bit0 -C3503_bit0 -C3504_bit0 -C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 -C3510_bit0 -C3511_bit0 -C3512_bit0 -C3513_bit0 -C3514_bit0 -C3515_bit0 -C3517_bit0 -C3518_bit0 -C3519_bit0 -C3520_bit0 -C3521_bit0 -C3522_bit0 -C3523_bit0 -C3524_bit0 -C3526_bit0 -C3527_bit0 -C3528_bit0 -C3529_bit0 -C3530_bit0 -C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 C3536_bit0 C3537_bit0 -C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_bit0 -C3544_bit0 -C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 C3549_bit0 -C3550_bit0 -C3551_bit0 -C3552_bit0 -C3553_bit0 C3554_bit0 -C3555_bit0 -C3556_bit0 -C3557_bit0 -C3558_bit0 -C3559_bit0 -C3560_bit0 -C3561_bit0 -C3562_bit0 -C3563_bit0 -C3564_bit0 -C3565_bit0 -C3566_bit0 -C3567_bit0 -C1007_bit0 C1008_bit0 -C3568_bit0 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C3569_bit0 -C1025_bit0 C1026_bit0 -C1028_bit0 -C3570_bit0 -C1040_bit0 -C1041_bit0 -C1043_bit0 -C3571_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C3572_bit0 -C1063_bit0 C1064_bit0 -C3573_bit0 -C1069_bit0 -C1071_bit0 C1072_bit0 C3574_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C3575_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C3576_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C3577_bit0 -C1118_bit0 -C3578_bit0 -C1125_bit0 -C3579_bit0 -C1130_bit0 -C3580_bit0 -C1138_bit0 -C3581_bit0 -C1146_bit0 C1147_bit0 C3582_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C3583_bit0 -C1164_bit0 C1165_bit0 -C1167_bit0 C3584_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C3585_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C3586_bit0 -C1202_bit0 -C1203_bit0 -C3587_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C3588_bit0 -C1220_bit0 C1221_bit0 -C1223_bit0 C3589_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C3590_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C3591_bit0 C1257_bit0 -C3592_bit0 C1264_bit0 C3593_bit0 -C1269_bit0 -C3594_bit0 -C1277_bit0 -C3595_bit0 -C1282_bit0 -C1287_bit0 -C1288_bit0 C3596_bit0 -C1301_bit0 -C1302_bit0 C3597_bit0 -C1311_bit0 -C1312_bit0 -C3598_bit0 -C1324_bit0 -C1325_bit0 -C3599_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C3600_bit0 -C1346_bit0 -C1350_bit0 -C1355_bit0 -C3601_bit0 -C1364_bit0 -C1365_bit0 C3602_bit0 -C1378_bit0 -C1379_bit0 -C3603_bit0 -C1388_bit0 -C1389_bit0 -C3604_bit0 -C1401_bit0 -C1402_bit0 -C3605_bit0 -C1413_bit0 -C1414_bit0 -C3606_bit0 C1427_bit0 C3607_bit0 -C3608_bit0 -C3609_bit0 -C1455_bit0 -C3610_bit0 -C1462_bit0 -C3611_bit0 -C1477_bit0 -C1478_bit0 -C3612_bit0 -C1487_bit0 -C1488_bit0 -C3613_bit0 -C1504_bit0 -C1505_bit0 -C3614_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C3615_bit0 C1534_bit0 C3616_bit0 -C1547_bit0 -C1548_bit0 -C3617_bit0 -C1557_bit0 -C1558_bit0 -C3618_bit0 -C1574_bit0 C1575_bit0 -C3619_bit0 -C1590_bit0 C1591_bit0 -C3620_bit0 -C1604_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C1632_bit0 -C3624_bit0 C3625_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C3626_bit0 -C1664_bit0 -C1665_bit0 -C3627_bit0 -C1681_bit0 -C1682_bit0 -C3628_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C3629_bit0 C1711_bit0 C3630_bit0 -C1724_bit0 -C1725_bit0 -C3631_bit0 -C1734_bit0 -C1735_bit0 -C3632_bit0 -C1751_bit0 C1752_bit0 -C3633_bit0 -C1767_bit0 C1768_bit0 -C3634_bit0 -C1781_bit0 -C3635_bit0 -C1794_bit0 C1795_bit0 C3636_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 C1808_bit0 C1809_bit0 -C1810_bit0 -C1811_bit0 C3637_bit0 -C1819_bit0 C1820_bit0 C3638_bit0 -C1826_bit0 -C1827_bit0 C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 C1836_bit0 -C3639_bit0 -C1844_bit0 -C1845_bit0 C3640_bit0 -C1852_bit0 C1853_bit0 -C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C3641_bit0 -C1866_bit0 -C1868_bit0 -C1869_bit0 -C1874_bit0 -C3642_bit0 C1881_bit0 C3643_bit0 -C1894_bit0 -C1895_bit0 C3644_bit0 C1901_bit0 C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 C1909_bit0 C1910_bit0 C1911_bit0 C3645_bit0 -C1919_bit0 -C1920_bit0 C3646_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C3647_bit0 -C1944_bit0 -C1945_bit0 -C3648_bit0 C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C3649_bit0 -C1966_bit0 -C1968_bit0 -C1969_bit0 -C3650_bit0 C1981_bit0 C3651_bit0 -C1998_bit0 -C1999_bit0 C3652_bit0 -C2006_bit0 C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C3653_bit0 -C2027_bit0 -C2028_bit0 C3654_bit0 -C2044_bit0 -C2046_bit0 -C2047_bit0 -C3655_bit0 -C2068_bit0 -C2069_bit0 -C3656_bit0 -C2089_bit0 -C2090_bit0 -C3657_bit0 -C2104_bit0 -C2105_bit0 -C3658_bit0 C2125_bit0 C3659_bit0 -C2142_bit0 -C2143_bit0 C3660_bit0 -C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C3661_bit0 -C2171_bit0 -C2172_bit0 -C3662_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C3663_bit0 -C2212_bit0 -C2213_bit0 -C3664_bit0 -C2233_bit0 -C2234_bit0 -C3665_bit0 -C2248_bit0 C2249_bit0 -C3666_bit0 -C2269_bit0 -C3667_bit0 C3668_bit0 -C3669_bit0 -C3670_bit0 C3671_bit0 -C2347_bit0 -C2350_bit0 -C3672_bit0 C2368_bit0 C3673_bit0 -C2383_bit0 C2385_bit0 C2388_bit0 C2389_bit0 C2390_bit0 C3674_bit0 -C2400_bit0 -C2403_bit0 -C3675_bit0 C2421_bit0 C3676_bit0 C2439_bit0 C3677_bit0 -C2454_bit0 -C2456_bit0 -C3678_bit0 C2474_bit0 -C3679_bit0 -C2492_bit0 -C3680_bit0 C2510_bit0 C3681_bit0 C2523_bit0 C3682_bit0 -C2541_bit0 -C3683_bit0 C2559_bit0 C3684_bit0 -C2577_bit0 -C3685_bit0 C2590_bit0 C3686_bit0 C2608_bit0 -C3687_bit0 -C2621_bit0 -C2622_bit0 -C3688_bit0 -C2629_bit0 -C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C3689_bit0 -C2645_bit0 -C2646_bit0 -C3690_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C3691_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C3692_bit0 -C2689_bit0 -C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C3693_bit0 -C2706_bit0 -C2707_bit0 -C3694_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C3695_bit0 -C2730_bit0 -C2731_bit0 -C3696_bit0 -C2746_bit0 C2747_bit0 -C3697_bit0 C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C3698_bit0 -C2774_bit0 -C2778_bit0 -C3699_bit0 -C2791_bit0 -C2792_bit0 -C3700_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C3701_bit0 -C2815_bit0 -C2816_bit0 -C3702_bit0 -C2831_bit0 -C2832_bit0 -C3703_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C3704_bit0 -C2863_bit0 -C3705_bit0 -C2876_bit0 -C2877_bit0 -C3706_bit0 -C2887_bit0 -C2888_bit0 -C3707_bit0 -C2900_bit0 -C2901_bit0 -C3708_bit0 -C2916_bit0 -C2917_bit0 C3709_bit0 -C2931_bit0 C2932_bit0 -C3710_bit0 -C2948_bit0 -C3711_bit0 -C2964_bit0 -C2965_bit0 -C3712_bit0 -C2978_bit0 -C2979_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 -C3002_bit0 -C3716_bit0 -C3717_bit0 C3026_bit0 C3718_bit0 C3036_bit0 C3037_bit0 -C3039_bit0 -C3044_bit0 -C3719_bit0 C3052_bit0 C3720_bit0 -C3063_bit0 C3065_bit0 C3069_bit0 C3070_bit0 C3721_bit0 -C3079_bit0 -C3722_bit0 C3093_bit0 C3723_bit0 -C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3724_bit0 -C3119_bit0 -C3725_bit0 C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3726_bit0 -C3146_bit0 -C3727_bit0 C3160_bit0 C3728_bit0 -C3171_bit0 -C3173_bit0 -C3729_bit0 C3186_bit0 C3730_bit0 -C3197_bit0 C3199_bit0 C3731_bit0 -C3213_bit0 -C3732_bit0 -C3227_bit0 -C3733_bit0 -C3238_bit0 C3240_bit0 C3734_bit0 -C3253_bit0 -C3735_bit0 -C3264_bit0 C3266_bit0 C3736_bit0 -C3280_bit0 -C3737_bit0 C3294_bit0 C3738_bit0 C3304_bit0 -C3305_bit0 C3307_bit0 C3312_bit0 C3739_bit0 C3320_bit0 C3740_bit0 -C3331_bit0 -C3333_bit0 -C3338_bit0 -C3741_bit0 -C3344_bit0 -C3347_bit0 -C3742_bit0 C3361_bit0 C3743_bit0 -C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3744_bit0 -C3387_bit0 -C3745_bit0 -C3398_bit0 -C3400_bit0 -C3405_bit0 -C3746_bit0 -C3414_bit0 -C3747_bit0 -C3431_bit0 -C3748_bit0 -C3447_bit0 -C3749_bit0 C3465_bit0 C3750_bit0 C3482_bit0 -C3751_bit0 C3498_bit0 C3752_bit0 -C3516_bit0 -C3753_bit0 -C3525_bit0 -C3754_bit0 C3533_bit0 C3755_bit0 -C3543_bit0 -C3756_bit0 
c Exit Code: 10
c Total time: 1175.02 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
Raw data (loadavg): 0.68 0.90 0.97 2/54 16507
Raw data (stat): 16507 (runsolver) R 16506 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773063079 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.73 0.90 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 17755 0 0 0 961 37 0 0 25 0 1 0 773063079 76468224 17724 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18669 17724 1111 63 0 18606 0
vsize: 74676
[startup+20.0016 s]
Raw data (loadavg): 0.77 0.90 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 18832 0 0 0 1956 43 0 0 25 0 1 0 773063079 80809984 18801 4294967295 134512640 134714540 3221224592 3221223120 134540339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19729 18801 1111 63 0 19666 0
vsize: 78916
[startup+30.0017 s]
Raw data (loadavg): 0.80 0.90 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 2953 46 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221222888 1077377866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+40.0013 s]
Raw data (loadavg): 0.83 0.91 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 3950 49 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221222888 1077377411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+50.0013 s]
Raw data (loadavg): 0.86 0.91 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 4948 51 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221223200 134538828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+60.0014 s]
Raw data (loadavg): 0.88 0.91 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 5945 53 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+70.0019 s]
Raw data (loadavg): 0.90 0.91 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 6943 56 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221223380 134524450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+80.003 s]
Raw data (loadavg): 0.91 0.92 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19114 0 0 0 7942 57 0 0 25 0 1 0 773063079 81903616 19083 4294967295 134512640 134714540 3221224592 3221223128 1077377218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19996 19083 1111 63 0 19933 0
vsize: 79984
[startup+90.003 s]
Raw data (loadavg): 0.93 0.92 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 8939 60 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223416 134586932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+100.003 s]
Raw data (loadavg): 0.94 0.92 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 9937 62 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223388 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+110.004 s]
Raw data (loadavg): 0.95 0.92 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 10935 64 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223336 134556383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+120.004 s]
Raw data (loadavg): 0.95 0.92 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 11934 65 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223304 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+130.004 s]
Raw data (loadavg): 0.96 0.93 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 12933 67 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223280 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+140.004 s]
Raw data (loadavg): 0.97 0.93 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 13932 68 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+150.004 s]
Raw data (loadavg): 0.97 0.93 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 14930 69 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 15928 72 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221222744 134613965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+170.005 s]
Raw data (loadavg): 0.98 0.93 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 16926 74 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+180.005 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 17924 76 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223316 1077374218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+190.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 18922 78 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223212 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 19921 79 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+210.006 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 20920 81 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223168 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 21918 83 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223368 134523851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 22917 84 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223336 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+240.007 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 23916 85 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 24914 86 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223120 134540040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 25913 88 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223432 134623801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 26911 90 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 27910 91 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223128 1076648037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+290.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 28909 92 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223192 134523385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+300.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 29907 94 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+310.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 30906 96 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+320.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 31905 97 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223240 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+330.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 32904 98 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221222888 1077377425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+340.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 33903 99 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223148 134535646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 34901 101 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223352 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+360.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 35899 103 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223168 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+370.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 36898 104 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223408 134610966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19143 0 0 0 37898 105 0 0 25 0 1 0 773063079 82014208 19112 4294967295 134512640 134714540 3221224592 3221223044 1077378583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 19112 1111 63 0 19960 0
vsize: 80092
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 38895 107 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223312 134603576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+400.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 39895 108 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223312 134592113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+410.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 40893 110 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223112 1077377504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+420.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 41891 112 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223360 1076647572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+430.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 42890 113 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223104 134539718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+440.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 43888 116 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 44886 117 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223264 1076648048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 45885 118 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 46884 119 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 47883 121 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223304 134534137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 48881 123 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223348 134524380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 49880 124 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223384 134558585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 50879 125 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223216 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 51878 126 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 52877 127 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221222828 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 53876 128 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223224 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 54876 129 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223256 134523157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 55874 131 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 56873 132 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223292 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 57872 133 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223292 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 58871 134 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223384 134534133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 59870 135 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223100 1076533124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 60869 136 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 61869 137 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 62868 138 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223312 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 63867 139 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 64867 139 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223168 134538768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 65866 140 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 66866 141 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 67866 141 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223292 134535661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 68865 142 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 69864 143 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 70864 144 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223320 134672337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 71863 145 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223240 1077374435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19177 0 0 0 72862 146 0 0 25 0 1 0 773063079 82190336 19146 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19146 1111 63 0 20003 0
vsize: 80264
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19190 0 0 0 73860 148 0 0 25 0 1 0 773063079 82190336 19159 4294967295 134512640 134714540 3221224592 3221223148 134535530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19159 1111 63 0 20003 0
vsize: 80264
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19190 0 0 0 74861 148 0 0 25 0 1 0 773063079 82190336 19159 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20066 19159 1111 63 0 20003 0
vsize: 80264
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19198 0 0 0 75859 149 0 0 25 0 1 0 773063079 82231296 19167 4294967295 134512640 134714540 3221224592 3221223304 134592337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20076 19167 1111 63 0 20013 0
vsize: 80304
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19225 0 0 0 76859 150 0 0 25 0 1 0 773063079 82366464 19194 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20109 19194 1111 63 0 20046 0
vsize: 80436
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19225 0 0 0 77857 151 0 0 25 0 1 0 773063079 82366464 19194 4294967295 134512640 134714540 3221224592 3221223248 134540040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20109 19194 1111 63 0 20046 0
vsize: 80436
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19225 0 0 0 78857 152 0 0 25 0 1 0 773063079 82366464 19194 4294967295 134512640 134714540 3221224592 3221223312 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20109 19194 1111 63 0 20046 0
vsize: 80436
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19242 0 0 0 79856 153 0 0 25 0 1 0 773063079 82501632 19211 4294967295 134512640 134714540 3221224592 3221223296 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20142 19211 1111 63 0 20079 0
vsize: 80568
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19324 0 0 0 80855 154 0 0 25 0 1 0 773063079 82771968 19293 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19293 1111 63 0 20145 0
vsize: 80832
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19324 0 0 0 81855 155 0 0 25 0 1 0 773063079 82771968 19293 4294967295 134512640 134714540 3221224592 3221223416 134586932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19293 1111 63 0 20145 0
vsize: 80832
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19324 0 0 0 82854 156 0 0 25 0 1 0 773063079 82771968 19293 4294967295 134512640 134714540 3221224592 3221223148 134535530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19293 1111 63 0 20145 0
vsize: 80832
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19324 0 0 0 83853 157 0 0 25 0 1 0 773063079 82771968 19293 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19293 1111 63 0 20145 0
vsize: 80832
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19336 0 0 0 84853 158 0 0 25 0 1 0 773063079 82771968 19305 4294967295 134512640 134714540 3221224592 3221223168 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19305 1111 63 0 20145 0
vsize: 80832
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19336 0 0 0 85852 158 0 0 25 0 1 0 773063079 82771968 19305 4294967295 134512640 134714540 3221224592 3221223200 134524259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20208 19305 1111 63 0 20145 0
vsize: 80832
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19348 0 0 0 86851 159 0 0 25 0 1 0 773063079 82907136 19317 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20241 19317 1111 63 0 20178 0
vsize: 80964
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 87851 160 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 88850 162 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 89849 162 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 90849 163 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223292 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 91848 163 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 92847 165 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223152 134523396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 93846 166 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 94845 167 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 95845 168 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223168 134535335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 96844 169 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223224 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 97844 169 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223168 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19373 0 0 0 98843 170 0 0 25 0 1 0 773063079 83042304 19342 4294967295 134512640 134714540 3221224592 3221223288 134586385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20274 19342 1111 63 0 20211 0
vsize: 81096
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 99842 171 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223392 134623869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 100841 172 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223232 134523789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 101841 173 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 102839 174 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 103838 175 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223328 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 104837 177 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 105837 177 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 106836 178 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 107836 179 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 108834 180 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 109835 181 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223172 1077374189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 110835 182 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221222872 1077377720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 111835 182 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223328 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 112834 183 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 113833 184 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223308 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 114833 185 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223416 134524385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 115832 186 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223124 1077378603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 116832 187 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223292 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 81888
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 16507
Raw data (stat): 16507 (bsolo_mis) R 16506 15547 15546 0 -1 0 19586 0 0 0 116832 187 0 0 25 0 1 0 773063079 83853312 19555 4294967295 134512640 134714540 3221224592 3221223292 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 19555 1111 63 0 20409 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.07
CPU user time (s): 1173.15
CPU system time (s): 1.91171
CPU usage (%): 100.012
Max. virtual memory (Kb): 81888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	8859
#### END VERIFIER DATA ####