PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
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 numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 28407

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        648600 kB
Buffers:         18232 kB
Cached:         344968 kB
SwapCached:       1348 kB
Active:          31592 kB
Inactive:       334896 kB
HighTotal:      131008 kB
HighFree:        13888 kB
LowTotal:       903652 kB
LowFree:        634712 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            13992 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:36:52 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 12886 0 1175.06 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 12.191 s
c Initial Lower Bound: 4
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 14462 @ 17.74
c NEW SOLUTION FOUND: 14456 @ 17.743
c NEW SOLUTION FOUND: 14454 @ 17.746
c NEW SOLUTION FOUND: 14453 @ 17.751
c NEW SOLUTION FOUND: 14452 @ 17.756
c NEW SOLUTION FOUND: 14451 @ 17.76
c NEW SOLUTION FOUND: 14357 @ 17.763
c NEW SOLUTION FOUND: 14356 @ 17.767
c NEW SOLUTION FOUND: 14330 @ 17.781
c NEW SOLUTION FOUND: 14301 @ 17.787
c NEW SOLUTION FOUND: 14300 @ 17.79
c NEW SOLUTION FOUND: 14299 @ 17.793
c NEW SOLUTION FOUND: 14271 @ 17.799
c NEW SOLUTION FOUND: 14240 @ 17.805
c NEW SOLUTION FOUND: 14238 @ 17.83
c NEW SOLUTION FOUND: 14237 @ 17.851
c NEW SOLUTION FOUND: 14234 @ 17.928
c NEW SOLUTION FOUND: 14207 @ 17.964
c NEW SOLUTION FOUND: 14203 @ 17.977
c NEW SOLUTION FOUND: 14201 @ 18.032
c NEW SOLUTION FOUND: 14176 @ 18.145
c NEW SOLUTION FOUND: 14172 @ 18.152
c NEW SOLUTION FOUND: 14153 @ 18.196
c NEW SOLUTION FOUND: 14142 @ 18.264
c NEW SOLUTION FOUND: 14115 @ 18.309
c NEW SOLUTION FOUND: 14111 @ 18.317
c NEW SOLUTION FOUND: 14110 @ 18.601
c NEW SOLUTION FOUND: 14109 @ 18.605
c NEW SOLUTION FOUND: 14108 @ 18.776
c NEW SOLUTION FOUND: 14107 @ 18.782
c NEW SOLUTION FOUND: 14105 @ 18.787
c NEW SOLUTION FOUND: 14094 @ 18.843
c NEW SOLUTION FOUND: 14092 @ 18.848
c NEW SOLUTION FOUND: 14065 @ 18.882
c NEW SOLUTION FOUND: 14063 @ 18.886
c NEW SOLUTION FOUND: 14045 @ 18.985
c NEW SOLUTION FOUND: 14043 @ 18.992
c NEW SOLUTION FOUND: 14041 @ 18.999
c NEW SOLUTION FOUND: 14040 @ 19.221
c NEW SOLUTION FOUND: 14039 @ 19.464
c NEW SOLUTION FOUND: 14038 @ 19.712
c NEW SOLUTION FOUND: 14037 @ 19.958
c NEW SOLUTION FOUND: 14036 @ 20.255
c NEW SOLUTION FOUND: 14035 @ 20.548
c NEW SOLUTION FOUND: 14033 @ 20.562
c NEW SOLUTION FOUND: 14031 @ 20.88
c NEW SOLUTION FOUND: 14029 @ 20.925
c NEW SOLUTION FOUND: 14027 @ 20.946
c NEW SOLUTION FOUND: 14023 @ 21.232
c NEW SOLUTION FOUND: 14009 @ 21.373
c NEW SOLUTION FOUND: 14007 @ 21.393
c NEW SOLUTION FOUND: 14003 @ 21.414
c NEW SOLUTION FOUND: 13987 @ 21.513
c NEW SOLUTION FOUND: 13985 @ 21.529
c NEW SOLUTION FOUND: 13981 @ 21.552
c NEW SOLUTION FOUND: 13968 @ 21.768
c NEW SOLUTION FOUND: 13952 @ 21.872
c NEW SOLUTION FOUND: 13950 @ 21.89
c NEW SOLUTION FOUND: 13946 @ 21.915
c NEW SOLUTION FOUND: 13931 @ 22.162
c NEW SOLUTION FOUND: 13929 @ 22.194
c NEW SOLUTION FOUND: 13927 @ 22.211
c NEW SOLUTION FOUND: 13920 @ 22.288
c NEW SOLUTION FOUND: 13918 @ 22.309
c NEW SOLUTION FOUND: 13914 @ 22.33
c NEW SOLUTION FOUND: 13911 @ 22.391
c NEW SOLUTION FOUND: 13909 @ 22.419
c NEW SOLUTION FOUND: 13907 @ 22.44
c NEW SOLUTION FOUND: 13889 @ 22.494
c NEW SOLUTION FOUND: 13887 @ 22.525
c NEW SOLUTION FOUND: 13885 @ 22.542
c NEW SOLUTION FOUND: 13883 @ 22.977
c NEW SOLUTION FOUND: 13865 @ 23.028
c NEW SOLUTION FOUND: 13861 @ 23.067
c NEW SOLUTION FOUND: 13852 @ 23.538
c NEW SOLUTION FOUND: 13848 @ 23.573
c NEW SOLUTION FOUND: 13847 @ 23.617
c NEW SOLUTION FOUND: 13845 @ 23.638
c NEW SOLUTION FOUND: 13841 @ 23.661
c NEW SOLUTION FOUND: 13823 @ 23.708
c NEW SOLUTION FOUND: 13821 @ 23.739
c NEW SOLUTION FOUND: 13819 @ 23.76
c NEW SOLUTION FOUND: 13817 @ 24.157
c NEW SOLUTION FOUND: 13815 @ 24.184
c NEW SOLUTION FOUND: 13813 @ 24.206
c NEW SOLUTION FOUND: 13793 @ 24.24
c NEW SOLUTION FOUND: 13791 @ 24.262
c NEW SOLUTION FOUND: 13790 @ 26.076
c NEW SOLUTION FOUND: 13774 @ 27.007
c NEW SOLUTION FOUND: 13772 @ 27.034
c NEW SOLUTION FOUND: 13768 @ 27.06
c NEW SOLUTION FOUND: 13762 @ 27.525
c NEW SOLUTION FOUND: 13746 @ 27.565
c NEW SOLUTION FOUND: 13744 @ 27.592
c NEW SOLUTION FOUND: 13740 @ 27.618
c NEW SOLUTION FOUND: 13739 @ 28.613
c NEW SOLUTION FOUND: 13723 @ 29.827
c NEW SOLUTION FOUND: 13721 @ 29.854
c NEW SOLUTION FOUND: 13717 @ 29.881
c NEW SOLUTION FOUND: 13715 @ 30.804
c NEW SOLUTION FOUND: 13713 @ 32.659
c NEW SOLUTION FOUND: 13711 @ 33.577
c NEW SOLUTION FOUND: 13695 @ 33.619
c NEW SOLUTION FOUND: 13693 @ 33.646
c NEW SOLUTION FOUND: 13689 @ 33.672
c NEW SOLUTION FOUND: 13688 @ 33.777
c NEW SOLUTION FOUND: 13686 @ 33.8
c NEW SOLUTION FOUND: 13685 @ 33.915
c NEW SOLUTION FOUND: 13683 @ 33.938
c NEW SOLUTION FOUND: 13667 @ 33.974
c NEW SOLUTION FOUND: 13665 @ 33.997
c NEW SOLUTION FOUND: 13663 @ 34.027
c NEW SOLUTION FOUND: 13661 @ 34.051
c NEW SOLUTION FOUND: 13658 @ 34.742
c NEW SOLUTION FOUND: 13657 @ 34.861
c NEW SOLUTION FOUND: 13655 @ 34.887
c NEW SOLUTION FOUND: 13637 @ 34.92
c NEW SOLUTION FOUND: 13635 @ 34.952
c NEW SOLUTION FOUND: 13633 @ 34.976
c NEW SOLUTION FOUND: 13631 @ 35.968
c NEW SOLUTION FOUND: 13629 @ 35.991
c NEW SOLUTION FOUND: 13628 @ 41.729
c NEW SOLUTION FOUND: 13627 @ 41.745
c NEW SOLUTION FOUND: 13611 @ 44.894
c NEW SOLUTION FOUND: 13609 @ 44.919
c NEW SOLUTION FOUND: 13607 @ 45.187
c NEW SOLUTION FOUND: 13591 @ 46.156
c NEW SOLUTION FOUND: 13589 @ 46.185
c NEW SOLUTION FOUND: 13585 @ 46.21
c NEW SOLUTION FOUND: 13583 @ 46.375
c NEW SOLUTION FOUND: 13581 @ 49.003
c NEW SOLUTION FOUND: 13123 @ 53.912
c NEW SOLUTION FOUND: 13122 @ 53.922
c NEW SOLUTION FOUND: 13120 @ 53.945
c NEW SOLUTION FOUND: 13072 @ 53.97
c NEW SOLUTION FOUND: 13029 @ 53.988
c NEW SOLUTION FOUND: 13027 @ 54.016
c NEW SOLUTION FOUND: 13025 @ 54.033
c NEW SOLUTION FOUND: 13023 @ 54.054
c NEW SOLUTION FOUND: 13005 @ 54.073
c NEW SOLUTION FOUND: 12982 @ 54.087
c NEW SOLUTION FOUND: 12980 @ 54.104
c NEW SOLUTION FOUND: 12963 @ 54.145
c NEW SOLUTION FOUND: 12928 @ 54.16
c NEW SOLUTION FOUND: 12922 @ 54.171
c NEW SOLUTION FOUND: 12920 @ 54.189
c NEW SOLUTION FOUND: 12895 @ 54.208
c NEW SOLUTION FOUND: 12872 @ 54.223
c NEW SOLUTION FOUND: 12835 @ 54.238
c NEW SOLUTION FOUND: 12829 @ 54.249
c NEW SOLUTION FOUND: 12827 @ 54.272
c NEW SOLUTION FOUND: 12825 @ 54.288
c NEW SOLUTION FOUND: 12809 @ 54.313
c NEW SOLUTION FOUND: 12807 @ 54.336
c NEW SOLUTION FOUND: 12805 @ 54.357
c NEW SOLUTION FOUND: 12803 @ 54.379
c NEW SOLUTION FOUND: 12798 @ 54.405
c NEW SOLUTION FOUND: 12775 @ 54.42
c NEW SOLUTION FOUND: 12773 @ 54.436
c NEW SOLUTION FOUND: 12771 @ 54.457
c NEW SOLUTION FOUND: 12769 @ 54.481
c NEW SOLUTION FOUND: 12744 @ 54.516
c NEW SOLUTION FOUND: 12742 @ 54.542
c NEW SOLUTION FOUND: 12740 @ 54.559
c NEW SOLUTION FOUND: 12739 @ 54.617
c NEW SOLUTION FOUND: 12737 @ 54.64
c NEW SOLUTION FOUND: 12718 @ 54.712
c NEW SOLUTION FOUND: 12716 @ 54.734
c NEW SOLUTION FOUND: 12714 @ 54.76
c NEW SOLUTION FOUND: 12712 @ 54.776
c NEW SOLUTION FOUND: 12710 @ 54.854
c NEW SOLUTION FOUND: 12708 @ 54.877
c NEW SOLUTION FOUND: 12690 @ 54.909
c NEW SOLUTION FOUND: 12688 @ 54.935
c NEW SOLUTION FOUND: 12686 @ 54.951
c NEW SOLUTION FOUND: 12675 @ 55.045
c NEW SOLUTION FOUND: 12673 @ 55.061
c NEW SOLUTION FOUND: 12671 @ 55.082
c NEW SOLUTION FOUND: 12669 @ 55.106
c NEW SOLUTION FOUND: 12666 @ 55.196
c NEW SOLUTION FOUND: 12648 @ 55.227
c NEW SOLUTION FOUND: 12644 @ 55.255
c NEW SOLUTION FOUND: 12642 @ 55.408
c NEW SOLUTION FOUND: 12640 @ 55.577
c NEW SOLUTION FOUND: 12624 @ 55.606
c NEW SOLUTION FOUND: 12622 @ 55.623
c NEW SOLUTION FOUND: 12620 @ 55.644
c NEW SOLUTION FOUND: 12618 @ 55.667
c NEW SOLUTION FOUND: 12616 @ 55.816
c NEW SOLUTION FOUND: 12614 @ 55.84
c NEW SOLUTION FOUND: 12596 @ 55.864
c NEW SOLUTION FOUND: 12594 @ 55.89
c NEW SOLUTION FOUND: 12592 @ 55.906
c NEW SOLUTION FOUND: 12581 @ 55.978
c NEW SOLUTION FOUND: 12579 @ 55.994
c NEW SOLUTION FOUND: 12577 @ 56.015
c NEW SOLUTION FOUND: 12575 @ 56.039
c NEW SOLUTION FOUND: 12572 @ 56.127
c NEW SOLUTION FOUND: 12556 @ 56.158
c NEW SOLUTION FOUND: 12554 @ 56.174
c NEW SOLUTION FOUND: 12552 @ 56.195
c NEW SOLUTION FOUND: 12550 @ 56.219
c NEW SOLUTION FOUND: 12548 @ 56.363
c NEW SOLUTION FOUND: 12546 @ 56.387
c NEW SOLUTION FOUND: 12545 @ 56.667
c NEW SOLUTION FOUND: 12544 @ 56.712
c NEW SOLUTION FOUND: 12542 @ 56.735
c NEW SOLUTION FOUND: 12524 @ 56.759
c NEW SOLUTION FOUND: 12522 @ 56.785
c NEW SOLUTION FOUND: 12520 @ 56.801
c NEW SOLUTION FOUND: 12518 @ 56.962
c NEW SOLUTION FOUND: 12517 @ 57.373
c NEW SOLUTION FOUND: 12501 @ 57.402
c NEW SOLUTION FOUND: 12499 @ 57.418
c NEW SOLUTION FOUND: 12497 @ 57.439
c NEW SOLUTION FOUND: 12495 @ 57.463
c NEW SOLUTION FOUND: 12493 @ 57.577
c NEW SOLUTION FOUND: 12491 @ 57.599
c NEW SOLUTION FOUND: 12469 @ 58.025
c NEW SOLUTION FOUND: 12467 @ 58.148
c NEW SOLUTION FOUND: 12466 @ 58.842
c NEW SOLUTION FOUND: 12450 @ 58.876
c NEW SOLUTION FOUND: 12448 @ 58.894
c NEW SOLUTION FOUND: 12446 @ 58.919
c NEW SOLUTION FOUND: 12444 @ 58.937
c NEW SOLUTION FOUND: 12442 @ 59.018
c NEW SOLUTION FOUND: 12441 @ 59.677
c NEW SOLUTION FOUND: 12439 @ 59.745
c NEW SOLUTION FOUND: 12437 @ 59.883
c NEW SOLUTION FOUND: 12421 @ 59.91
c NEW SOLUTION FOUND: 12419 @ 59.929
c NEW SOLUTION FOUND: 12417 @ 59.953
c NEW SOLUTION FOUND: 12415 @ 59.971
c NEW SOLUTION FOUND: 12413 @ 60.057
c NEW SOLUTION FOUND: 12411 @ 60.075
c NEW SOLUTION FOUND: 12410 @ 60.278
c NEW SOLUTION FOUND: 12409 @ 60.331
c NEW SOLUTION FOUND: 12407 @ 60.352
c NEW SOLUTION FOUND: 12389 @ 60.376
c NEW SOLUTION FOUND: 12387 @ 60.402
c NEW SOLUTION FOUND: 12385 @ 60.42
c NEW SOLUTION FOUND: 12383 @ 60.501
c NEW SOLUTION FOUND: 12381 @ 61.209
c NEW SOLUTION FOUND: 12379 @ 61.231
c NEW SOLUTION FOUND: 12375 @ 61.32
c NEW SOLUTION FOUND: 12357 @ 61.546
c NEW SOLUTION FOUND: 12355 @ 61.57
c NEW SOLUTION FOUND: 12353 @ 61.591
c NEW SOLUTION FOUND: 12351 @ 61.673
c NEW SOLUTION FOUND: 12334 @ 62.225
c NEW SOLUTION FOUND: 12332 @ 62.247
c NEW SOLUTION FOUND: 12330 @ 62.27
c NEW SOLUTION FOUND: 12328 @ 62.339
c NEW SOLUTION FOUND: 12326 @ 62.564
c NEW SOLUTION FOUND: 12310 @ 62.594
c NEW SOLUTION FOUND: 12308 @ 62.617
c NEW SOLUTION FOUND: 12304 @ 62.637
c NEW SOLUTION FOUND: 12302 @ 62.714
c NEW SOLUTION FOUND: 12300 @ 62.732
c NEW SOLUTION FOUND: 12286 @ 63.548
c NEW SOLUTION FOUND: 12284 @ 63.568
c NEW SOLUTION FOUND: 12282 @ 63.592
c NEW SOLUTION FOUND: 12280 @ 63.61
c NEW SOLUTION FOUND: 12278 @ 63.68
c NEW SOLUTION FOUND: 12273 @ 64.237
c NEW SOLUTION FOUND: 12271 @ 64.306
c NEW SOLUTION FOUND: 12270 @ 64.405
c NEW SOLUTION FOUND: 12268 @ 64.428
c NEW SOLUTION FOUND: 12267 @ 64.526
c NEW SOLUTION FOUND: 12251 @ 64.552
c NEW SOLUTION FOUND: 12249 @ 64.571
c NEW SOLUTION FOUND: 12247 @ 64.596
c NEW SOLUTION FOUND: 12245 @ 64.614
c NEW SOLUTION FOUND: 12243 @ 64.684
c NEW SOLUTION FOUND: 12227 @ 64.9
c NEW SOLUTION FOUND: 12225 @ 64.929
c NEW SOLUTION FOUND: 12223 @ 64.947
c NEW SOLUTION FOUND: 12219 @ 65.024
c NEW SOLUTION FOUND: 12217 @ 65.926
c NEW SOLUTION FOUND: 12215 @ 66.819
c NEW SOLUTION FOUND: 12214 @ 67.565
c NEW SOLUTION FOUND: 12212 @ 67.584
c NEW SOLUTION FOUND: 12209 @ 69.099
c NEW SOLUTION FOUND: 12207 @ 70.421
c NEW SOLUTION FOUND: 12204 @ 76.664
c NEW SOLUTION FOUND: 12202 @ 76.915
c NEW SOLUTION FOUND: 12199 @ 78.201
c NEW SOLUTION FOUND: 12198 @ 80.482
c NEW SOLUTION FOUND: 12196 @ 80.72
c NEW SOLUTION FOUND: 12195 @ 82.151
c NEW SOLUTION FOUND: 12184 @ 83.338
c NEW SOLUTION FOUND: 12182 @ 83.364
c NEW SOLUTION FOUND: 12180 @ 83.446
c NEW SOLUTION FOUND: 12178 @ 83.471
c NEW SOLUTION FOUND: 12177 @ 83.591
c NEW SOLUTION FOUND: 12175 @ 83.682
c NEW SOLUTION FOUND: 12174 @ 88.88
c NEW SOLUTION FOUND: 12173 @ 88.995
c NEW SOLUTION FOUND: 12172 @ 89.008
c NEW SOLUTION FOUND: 11990 @ 114.856
c NEW SOLUTION FOUND: 11949 @ 114.887
c NEW SOLUTION FOUND: 11947 @ 114.917
c NEW SOLUTION FOUND: 11899 @ 114.942
c NEW SOLUTION FOUND: 11858 @ 114.966
c NEW SOLUTION FOUND: 11856 @ 114.987
c NEW SOLUTION FOUND: 11854 @ 115.016
c NEW SOLUTION FOUND: 11852 @ 115.039
c NEW SOLUTION FOUND: 11811 @ 115.075
c NEW SOLUTION FOUND: 11770 @ 115.098
c NEW SOLUTION FOUND: 11768 @ 115.125
c NEW SOLUTION FOUND: 11752 @ 115.161
c NEW SOLUTION FOUND: 11750 @ 115.188
c NEW SOLUTION FOUND: 11746 @ 115.214
c NEW SOLUTION FOUND: 11745 @ 115.25
c NEW SOLUTION FOUND: 11743 @ 115.273
c NEW SOLUTION FOUND: 11741 @ 115.3
c NEW SOLUTION FOUND: 11739 @ 115.321
c NEW SOLUTION FOUND: 11732 @ 115.372
c NEW SOLUTION FOUND: 11730 @ 115.395
c NEW SOLUTION FOUND: 11728 @ 115.421
c NEW SOLUTION FOUND: 11726 @ 115.443
c NEW SOLUTION FOUND: 11711 @ 115.537
c NEW SOLUTION FOUND: 11709 @ 115.561
c NEW SOLUTION FOUND: 11705 @ 115.586
c NEW SOLUTION FOUND: 11703 @ 115.74
c NEW SOLUTION FOUND: 11700 @ 115.894
c NEW SOLUTION FOUND: 11698 @ 115.928
c NEW SOLUTION FOUND: 11696 @ 115.955
c NEW SOLUTION FOUND: 11688 @ 116.029
c NEW SOLUTION FOUND: 11686 @ 116.056
c NEW SOLUTION FOUND: 11682 @ 116.082
c NEW SOLUTION FOUND: 11681 @ 116.127
c NEW SOLUTION FOUND: 11679 @ 116.15
c NEW SOLUTION FOUND: 11677 @ 116.18
c NEW SOLUTION FOUND: 11675 @ 116.204
c NEW SOLUTION FOUND: 11671 @ 116.327
c NEW SOLUTION FOUND: 11669 @ 116.681
c NEW SOLUTION FOUND: 11668 @ 117.102
c NEW SOLUTION FOUND: 11667 @ 117.325
c NEW SOLUTION FOUND: 11665 @ 117.568
c NEW SOLUTION FOUND: 11664 @ 118.704
c NEW SOLUTION FOUND: 11662 @ 119.106
c NEW SOLUTION FOUND: 11660 @ 119.747
c NEW SOLUTION FOUND: 11655 @ 120.111
c NEW SOLUTION FOUND: 11653 @ 120.145
c NEW SOLUTION FOUND: 11651 @ 120.168
c NEW SOLUTION FOUND: 11650 @ 120.204
c NEW SOLUTION FOUND: 11648 @ 120.228
c NEW SOLUTION FOUND: 11644 @ 120.252
c NEW SOLUTION FOUND: 11642 @ 120.392
c NEW SOLUTION FOUND: 11640 @ 120.415
c NEW SOLUTION FOUND: 11639 @ 121.093
c NEW SOLUTION FOUND: 11637 @ 121.279
c NEW SOLUTION FOUND: 11635 @ 122.315
c NEW SOLUTION FOUND: 11633 @ 122.34
c NEW SOLUTION FOUND: 11630 @ 122.507
c NEW SOLUTION FOUND: 11628 @ 122.542
c NEW SOLUTION FOUND: 11626 @ 122.564
c NEW SOLUTION FOUND: 11614 @ 122.681
c NEW SOLUTION FOUND: 11612 @ 122.703
c NEW SOLUTION FOUND: 11611 @ 122.737
c NEW SOLUTION FOUND: 11609 @ 122.759
c NEW SOLUTION FOUND: 11607 @ 122.785
c NEW SOLUTION FOUND: 11605 @ 122.813
c NEW SOLUTION FOUND: 11603 @ 122.982
c NEW SOLUTION FOUND: 11599 @ 123.287
c NEW SOLUTION FOUND: 11597 @ 124.056
c NEW SOLUTION FOUND: 11596 @ 125.44
c NEW SOLUTION FOUND: 11594 @ 125.827
c NEW SOLUTION FOUND: 11585 @ 126.914
c NEW SOLUTION FOUND: 11583 @ 126.937
c NEW SOLUTION FOUND: 11582 @ 126.975
c NEW SOLUTION FOUND: 11580 @ 126.998
c NEW SOLUTION FOUND: 11578 @ 127.028
c NEW SOLUTION FOUND: 11576 @ 127.052
c NEW SOLUTION FOUND: 11572 @ 127.404
c NEW SOLUTION FOUND: 11571 @ 127.674
c NEW SOLUTION FOUND: 11569 @ 127.943
c NEW SOLUTION FOUND: 11568 @ 132.281
c NEW SOLUTION FOUND: 11566 @ 132.308
c NEW SOLUTION FOUND: 11565 @ 133.257
c NEW SOLUTION FOUND: 11563 @ 133.284
c NEW SOLUTION FOUND: 11559 @ 133.311
c NEW SOLUTION FOUND: 11554 @ 133.346
c NEW SOLUTION FOUND: 11552 @ 133.369
c NEW SOLUTION FOUND: 11550 @ 133.48
c NEW SOLUTION FOUND: 11548 @ 133.504
c NEW SOLUTION FOUND: 11544 @ 133.833
c NEW SOLUTION FOUND: 11543 @ 134.11
c NEW SOLUTION FOUND: 11541 @ 134.398
c NEW SOLUTION FOUND: 11539 @ 135.571
c NEW SOLUTION FOUND: 11537 @ 135.79
c NEW SOLUTION FOUND: 11535 @ 136.204
c NEW SOLUTION FOUND: 11534 @ 136.476
c NEW SOLUTION FOUND: 11533 @ 136.508
c NEW SOLUTION FOUND: 11531 @ 136.538
c NEW SOLUTION FOUND: 11527 @ 136.565
c NEW SOLUTION FOUND: 11525 @ 136.827
c NEW SOLUTION FOUND: 11521 @ 137.105
c NEW SOLUTION FOUND: 11519 @ 137.134
c NEW SOLUTION FOUND: 11515 @ 137.162
c NEW SOLUTION FOUND: 11514 @ 137.198
c NEW SOLUTION FOUND: 11512 @ 137.222
c NEW SOLUTION FOUND: 11510 @ 137.253
c NEW SOLUTION FOUND: 11508 @ 137.278
c NEW SOLUTION FOUND: 11504 @ 137.478
c NEW SOLUTION FOUND: 11503 @ 137.831
c NEW SOLUTION FOUND: 11501 @ 138.159
c NEW SOLUTION FOUND: 11500 @ 139.089
c NEW SOLUTION FOUND: 11498 @ 139.966
c NEW SOLUTION FOUND: 11492 @ 141.009
c NEW SOLUTION FOUND: 11490 @ 141.037
c NEW SOLUTION FOUND: 11486 @ 141.066
c NEW SOLUTION FOUND: 11481 @ 141.102
c NEW SOLUTION FOUND: 11479 @ 141.127
c NEW SOLUTION FOUND: 11477 @ 141.43
c NEW SOLUTION FOUND: 11475 @ 141.455
c NEW SOLUTION FOUND: 11473 @ 141.973
c NEW SOLUTION FOUND: 11472 @ 147.913
c NEW SOLUTION FOUND: 11470 @ 147.938
c NEW SOLUTION FOUND: 11466 @ 147.966
c NEW SOLUTION FOUND: 11465 @ 148.004
c NEW SOLUTION FOUND: 11463 @ 148.029
c NEW SOLUTION FOUND: 11459 @ 148.056
c NEW SOLUTION FOUND: 11455 @ 148.174
c NEW SOLUTION FOUND: 11453 @ 148.596
c NEW SOLUTION FOUND: 11452 @ 149.236
c NEW SOLUTION FOUND: 11450 @ 149.262
c NEW SOLUTION FOUND: 11449 @ 150.254
c NEW SOLUTION FOUND: 11447 @ 151.266
c NEW SOLUTION FOUND: 11444 @ 151.931
c NEW SOLUTION FOUND: 11442 @ 151.966
c NEW SOLUTION FOUND: 11440 @ 151.992
c NEW SOLUTION FOUND: 11437 @ 152.021
c NEW SOLUTION FOUND: 11435 @ 152.058
c NEW SOLUTION FOUND: 11433 @ 152.084
c NEW SOLUTION FOUND: 11431 @ 152.199
c NEW SOLUTION FOUND: 11429 @ 152.225
c NEW SOLUTION FOUND: 11425 @ 152.53
c NEW SOLUTION FOUND: 11424 @ 153.143
c NEW SOLUTION FOUND: 11422 @ 153.472
c NEW SOLUTION FOUND: 11421 @ 160.519
c NEW SOLUTION FOUND: 11418 @ 160.839
c NEW SOLUTION FOUND: 11416 @ 160.864
c NEW SOLUTION FOUND: 11414 @ 160.893
c NEW SOLUTION FOUND: 11412 @ 160.923
c NEW SOLUTION FOUND: 11409 @ 160.953
c NEW SOLUTION FOUND: 11407 @ 160.983
c NEW SOLUTION FOUND: 11405 @ 161.007
c NEW SOLUTION FOUND: 11402 @ 161.227
c NEW SOLUTION FOUND: 11400 @ 161.691
c NEW SOLUTION FOUND: 11399 @ 167.818
c NEW SOLUTION FOUND: 11397 @ 167.841
c NEW SOLUTION FOUND: 11394 @ 168.127
c NEW SOLUTION FOUND: 11392 @ 168.399
c NEW SOLUTION FOUND: 11390 @ 168.646
c NEW SOLUTION FOUND: 11387 @ 168.923
c NEW SOLUTION FOUND: 11385 @ 168.954
c NEW SOLUTION FOUND: 11381 @ 168.981
c NEW SOLUTION FOUND: 11376 @ 169.016
c NEW SOLUTION FOUND: 11374 @ 169.039
c NEW SOLUTION FOUND: 11373 @ 169.244
c NEW SOLUTION FOUND: 11371 @ 169.267
c NEW SOLUTION FOUND: 11369 @ 169.669
c NEW SOLUTION FOUND: 11368 @ 171.372
c NEW SOLUTION FOUND: 11366 @ 171.395
c NEW SOLUTION FOUND: 11364 @ 172.477
c NEW SOLUTION FOUND: 11362 @ 172.964
c NEW SOLUTION FOUND: 11360 @ 173.11
c NEW SOLUTION FOUND: 11358 @ 173.134
c NEW SOLUTION FOUND: 11355 @ 173.164
c NEW SOLUTION FOUND: 11353 @ 173.191
c NEW SOLUTION FOUND: 11351 @ 173.215
c NEW SOLUTION FOUND: 11347 @ 173.344
c NEW SOLUTION FOUND: 11345 @ 173.54
c NEW SOLUTION FOUND: 11344 @ 173.775
c NEW SOLUTION FOUND: 11343 @ 173.988
c NEW SOLUTION FOUND: 11341 @ 174.012
c NEW SOLUTION FOUND: 11340 @ 182.157
c NEW SOLUTION FOUND: 11339 @ 182.337
c NEW SOLUTION FOUND: 11338 @ 182.398
c NEW SOLUTION FOUND: 11337 @ 182.427
c NEW SOLUTION FOUND: 11336 @ 182.441
c NEW SOLUTION FOUND: 11334 @ 182.869
c NEW SOLUTION FOUND: 11333 @ 183.196
c NEW SOLUTION FOUND: 11332 @ 183.512
c NEW SOLUTION FOUND: 11330 @ 183.534
c NEW SOLUTION FOUND: 11329 @ 184.848
c NEW SOLUTION FOUND: 11327 @ 185.551
c NEW SOLUTION FOUND: 11326 @ 186.628
c NEW SOLUTION FOUND: 11325 @ 186.881
c NEW SOLUTION FOUND: 11324 @ 187.135
c NEW SOLUTION FOUND: 11323 @ 187.148
c NEW SOLUTION FOUND: 11319 @ 187.417
c NEW SOLUTION FOUND: 11317 @ 187.449
c NEW SOLUTION FOUND: 11315 @ 187.47
c NEW SOLUTION FOUND: 11308 @ 187.495
c NEW SOLUTION FOUND: 11304 @ 187.711
c NEW SOLUTION FOUND: 11302 @ 188.117
c NEW SOLUTION FOUND: 11301 @ 192.478
c NEW SOLUTION FOUND: 11300 @ 194.071
c NEW SOLUTION FOUND: 11299 @ 194.472
c NEW SOLUTION FOUND: 11298 @ 194.487
c NEW SOLUTION FOUND: 11294 @ 195.148
c NEW SOLUTION FOUND: 11292 @ 195.183
c NEW SOLUTION FOUND: 11290 @ 195.209
c NEW SOLUTION FOUND: 11287 @ 195.237
c NEW SOLUTION FOUND: 11285 @ 195.269
c NEW SOLUTION FOUND: 11283 @ 195.289
c NEW SOLUTION FOUND: 11280 @ 195.378
c NEW SOLUTION FOUND: 11279 @ 195.39
c NEW SOLUTION FOUND: 11277 @ 195.758
c NEW SOLUTION FOUND: 11275 @ 195.778
c NEW SOLUTION FOUND: 11273 @ 196.761
c NEW SOLUTION FOUND: 11267 @ 202.922
c NEW SOLUTION FOUND: 11265 @ 202.942
c NEW SOLUTION FOUND: 11261 @ 202.963
c NEW SOLUTION FOUND: 11256 @ 202.996
c NEW SOLUTION FOUND: 11254 @ 203.016
c NEW SOLUTION FOUND: 11252 @ 203.384
c NEW SOLUTION FOUND: 11250 @ 204.017
c NEW SOLUTION FOUND: 11249 @ 205.544
c NEW SOLUTION FOUND: 11247 @ 205.959
c NEW SOLUTION FOUND: 11246 @ 207.025
c NEW SOLUTION FOUND: 11242 @ 207.291
c NEW SOLUTION FOUND: 11240 @ 207.311
c NEW SOLUTION FOUND: 11236 @ 207.332
c NEW SOLUTION FOUND: 11235 @ 207.364
c NEW SOLUTION FOUND: 11233 @ 207.385
c NEW SOLUTION FOUND: 11229 @ 207.406
c NEW SOLUTION FOUND: 11225 @ 207.602
c NEW SOLUTION FOUND: 11224 @ 208
c NEW SOLUTION FOUND: 11223 @ 208.327
c NEW SOLUTION FOUND: 11222 @ 208.338
c NEW SOLUTION FOUND: 11220 @ 214.233
c NEW SOLUTION FOUND: 11218 @ 214.254
c NEW SOLUTION FOUND: 11215 @ 214.284
c NEW SOLUTION FOUND: 11213 @ 214.314
c NEW SOLUTION FOUND: 11211 @ 214.334
c NEW SOLUTION FOUND: 11209 @ 214.443
c NEW SOLUTION FOUND: 11207 @ 214.463
c NEW SOLUTION FOUND: 11203 @ 214.893
c NEW SOLUTION FOUND: 11202 @ 215.24
c NEW SOLUTION FOUND: 11200 @ 215.549
c NEW SOLUTION FOUND: 11199 @ 221.858
c NEW SOLUTION FOUND: 11197 @ 221.889
c NEW SOLUTION FOUND: 11195 @ 221.909
c NEW SOLUTION FOUND: 11192 @ 222.156
c NEW SOLUTION FOUND: 11187 @ 222.433
c NEW SOLUTION FOUND: 11186 @ 222.445
c NEW SOLUTION FOUND: 11184 @ 222.469
c NEW SOLUTION FOUND: 11180 @ 222.493
c NEW SOLUTION FOUND: 11175 @ 222.518
c NEW SOLUTION FOUND: 11173 @ 222.537
c NEW SOLUTION FOUND: 11171 @ 222.744
c NEW SOLUTION FOUND: 11169 @ 223.385
c NEW SOLUTION FOUND: 11168 @ 224.928
c NEW SOLUTION FOUND: 11166 @ 225.278
c NEW SOLUTION FOUND: 11158 @ 226.363
c NEW SOLUTION FOUND: 11156 @ 226.394
c NEW SOLUTION FOUND: 11154 @ 226.414
c NEW SOLUTION FOUND: 11147 @ 226.438
c NEW SOLUTION FOUND: 11145 @ 226.78
c NEW SOLUTION FOUND: 11144 @ 227.098
c NEW SOLUTION FOUND: 11143 @ 227.374
c NEW SOLUTION FOUND: 11141 @ 227.397
c NEW SOLUTION FOUND: 11139 @ 238.244
c NEW SOLUTION FOUND: 11137 @ 238.568
c NEW SOLUTION FOUND: 11136 @ 240.846
c NEW SOLUTION FOUND: 11134 @ 241.158
c NEW SOLUTION FOUND: 11133 @ 243.434
c NEW SOLUTION FOUND: 11131 @ 243.455
c NEW SOLUTION FOUND: 11127 @ 243.477
c NEW SOLUTION FOUND: 11126 @ 243.511
c NEW SOLUTION FOUND: 11124 @ 243.531
c NEW SOLUTION FOUND: 11120 @ 243.553
c NEW SOLUTION FOUND: 11116 @ 243.672
c NEW SOLUTION FOUND: 11114 @ 244.066
c NEW SOLUTION FOUND: 11112 @ 244.087
c NEW SOLUTION FOUND: 11111 @ 244.413
c NEW SOLUTION FOUND: 11109 @ 244.744
c NEW SOLUTION FOUND: 11107 @ 249.824
c NEW SOLUTION FOUND: 11105 @ 250.337
c NEW SOLUTION FOUND: 11103 @ 251.056
c NEW SOLUTION FOUND: 11102 @ 254.108
c NEW SOLUTION FOUND: 11101 @ 254.798
c NEW SOLUTION FOUND: 11100 @ 254.81
c NEW SOLUTION FOUND: 11095 @ 255.691
c NEW SOLUTION FOUND: 11093 @ 255.708
c NEW SOLUTION FOUND: 11091 @ 255.732
c NEW SOLUTION FOUND: 11089 @ 255.758
c NEW SOLUTION FOUND: 11088 @ 255.791
c NEW SOLUTION FOUND: 11086 @ 255.812
c NEW SOLUTION FOUND: 11084 @ 255.835
c NEW SOLUTION FOUND: 11082 @ 255.854
c NEW SOLUTION FOUND: 11078 @ 256.173
c NEW SOLUTION FOUND: 11077 @ 256.822
c NEW SOLUTION FOUND: 11075 @ 257.186
c NEW SOLUTION FOUND: 11073 @ 258.025
c NEW SOLUTION FOUND: 11071 @ 258.119
c NEW SOLUTION FOUND: 11066 @ 258.268
c NEW SOLUTION FOUND: 11064 @ 258.407
c NEW SOLUTION FOUND: 11062 @ 258.432
c NEW SOLUTION FOUND: 11060 @ 258.702
c NEW SOLUTION FOUND: 11058 @ 258.726
c NEW SOLUTION FOUND: 11052 @ 258.995
c NEW SOLUTION FOUND: 11050 @ 259.02
c NEW SOLUTION FOUND: 11046 @ 259.045
c NEW SOLUTION FOUND: 11041 @ 259.076
c NEW SOLUTION FOUND: 11039 @ 259.097
c NEW SOLUTION FOUND: 11037 @ 259.305
c NEW SOLUTION FOUND: 11035 @ 260.189
c NEW SOLUTION FOUND: 11034 @ 262.014
c NEW SOLUTION FOUND: 11032 @ 262.035
c NEW SOLUTION FOUND: 11029 @ 262.979
c NEW SOLUTION FOUND: 11027 @ 263.003
c NEW SOLUTION FOUND: 11025 @ 263.029
c NEW SOLUTION FOUND: 11022 @ 263.056
c NEW SOLUTION FOUND: 11020 @ 263.085
c NEW SOLUTION FOUND: 11018 @ 263.106
c NEW SOLUTION FOUND: 11016 @ 263.222
c NEW SOLUTION FOUND: 11014 @ 263.243
c NEW SOLUTION FOUND: 11012 @ 263.551
c NEW SOLUTION FOUND: 11010 @ 263.572
c NEW SOLUTION FOUND: 11009 @ 263.844
c NEW SOLUTION FOUND: 11007 @ 264.085
c NEW SOLUTION FOUND: 11005 @ 270.544
c NEW SOLUTION FOUND: 11003 @ 270.568
c NEW SOLUTION FOUND: 11001 @ 270.593
c NEW SOLUTION FOUND: 10995 @ 270.709
c NEW SOLUTION FOUND: 10993 @ 270.738
c NEW SOLUTION FOUND: 10991 @ 270.76
c NEW SOLUTION FOUND: 10990 @ 270.79
c NEW SOLUTION FOUND: 10988 @ 270.811
c NEW SOLUTION FOUND: 10986 @ 270.839
c NEW SOLUTION FOUND: 10984 @ 270.86
c NEW SOLUTION FOUND: 10982 @ 270.97
c NEW SOLUTION FOUND: 10980 @ 270.991
c NEW SOLUTION FOUND: 10978 @ 271.386
c NEW SOLUTION FOUND: 10976 @ 272.3
c NEW SOLUTION FOUND: 10975 @ 273.816
c NEW SOLUTION FOUND: 10973 @ 274.224
c NEW SOLUTION FOUND: 10969 @ 274.882
c NEW SOLUTION FOUND: 10967 @ 274.907
c NEW SOLUTION FOUND: 10965 @ 274.933
c NEW SOLUTION FOUND: 10962 @ 274.959
c NEW SOLUTION FOUND: 10960 @ 274.988
c NEW SOLUTION FOUND: 10958 @ 275.01
c NEW SOLUTION FOUND: 10956 @ 275.13
c NEW SOLUTION FOUND: 10954 @ 275.152
c NEW SOLUTION FOUND: 10950 @ 275.427
c NEW SOLUTION FOUND: 10948 @ 276.288
c NEW SOLUTION FOUND: 10947 @ 283.372
c NEW SOLUTION FOUND: 10946 @ 283.389
c NEW SOLUTION FOUND: 10944 @ 283.431
c NEW SOLUTION FOUND: 10942 @ 283.46
c NEW SOLUTION FOUND: 10941 @ 283.488
c NEW SOLUTION FOUND: 10940 @ 283.514
c NEW SOLUTION FOUND: 10939 @ 283.528
c NEW SOLUTION FOUND: 10937 @ 283.551
c NEW SOLUTION FOUND: 10935 @ 283.572
c NEW SOLUTION FOUND: 10931 @ 283.688
c NEW SOLUTION FOUND: 10929 @ 284.03
c NEW SOLUTION FOUND: 10928 @ 284.669
c NEW SOLUTION FOUND: 10926 @ 284.689
c NEW SOLUTION FOUND: 10925 @ 291.647
c NEW SOLUTION FOUND: 10922 @ 291.674
c NEW SOLUTION FOUND: 10918 @ 291.835
c NEW SOLUTION FOUND: 10916 @ 291.861
c NEW SOLUTION FOUND: 10912 @ 291.899
c NEW SOLUTION FOUND: 10909 @ 291.933
c NEW SOLUTION FOUND: 10907 @ 291.963
c NEW SOLUTION FOUND: 10905 @ 291.99
c NEW SOLUTION FOUND: 10901 @ 292.108
c NEW SOLUTION FOUND: 10899 @ 292.441
c NEW SOLUTION FOUND: 10898 @ 292.839
c NEW SOLUTION FOUND: 10895 @ 293.201
c NEW SOLUTION FOUND: 10894 @ 294.092
c NEW SOLUTION FOUND: 10892 @ 295.019
c NEW SOLUTION FOUND: 10887 @ 295.827
c NEW SOLUTION FOUND: 10886 @ 295.857
c NEW SOLUTION FOUND: 10884 @ 295.878
c NEW SOLUTION FOUND: 10880 @ 295.902
c NEW SOLUTION FOUND: 10875 @ 295.933
c NEW SOLUTION FOUND: 10873 @ 295.954
c NEW SOLUTION FOUND: 10871 @ 296.245
c NEW SOLUTION FOUND: 10870 @ 296.881
c NEW SOLUTION FOUND: 10868 @ 297.195
c NEW SOLUTION FOUND: 10867 @ 297.208
c NEW SOLUTION FOUND: 10861 @ 301.386
c NEW SOLUTION FOUND: 10855 @ 301.4
c NEW SOLUTION FOUND: 10853 @ 301.421
c NEW SOLUTION FOUND: 10852 @ 301.462
c NEW SOLUTION FOUND: 10850 @ 301.482
c NEW SOLUTION FOUND: 10848 @ 301.509
c NEW SOLUTION FOUND: 10846 @ 301.532
c NEW SOLUTION FOUND: 10837 @ 301.565
c NEW SOLUTION FOUND: 10835 @ 301.587
c NEW SOLUTION FOUND: 10833 @ 301.616
c NEW SOLUTION FOUND: 10831 @ 301.639
c NEW SOLUTION FOUND: 10826 @ 301.671
c NEW SOLUTION FOUND: 10824 @ 301.693
c NEW SOLUTION FOUND: 10798 @ 301.747
c NEW SOLUTION FOUND: 10796 @ 301.775
c NEW SOLUTION FOUND: 10794 @ 301.8
c NEW SOLUTION FOUND: 10792 @ 301.826
c NEW SOLUTION FOUND: 10789 @ 301.967
c NEW SOLUTION FOUND: 10787 @ 302.095
c NEW SOLUTION FOUND: 10785 @ 302.211
c NEW SOLUTION FOUND: 10783 @ 302.639
c NEW SOLUTION FOUND: 10782 @ 303.137
c NEW SOLUTION FOUND: 10780 @ 303.165
c NEW SOLUTION FOUND: 10776 @ 303.188
c NEW SOLUTION FOUND: 10774 @ 303.354
c NEW SOLUTION FOUND: 10771 @ 303.517
c NEW SOLUTION FOUND: 10769 @ 303.545
c NEW SOLUTION FOUND: 10767 @ 303.567
c NEW SOLUTION FOUND: 10766 @ 303.595
c NEW SOLUTION FOUND: 10764 @ 303.624
c NEW SOLUTION FOUND: 10762 @ 303.647
c NEW SOLUTION FOUND: 10760 @ 303.67
c NEW SOLUTION FOUND: 10756 @ 303.79
c NEW SOLUTION FOUND: 10755 @ 303.997
c NEW SOLUTION FOUND: 10753 @ 304.018
c NEW SOLUTION FOUND: 10751 @ 304.43
c NEW SOLUTION FOUND: 10749 @ 304.786
c NEW SOLUTION FOUND: 10748 @ 305.818
c NEW SOLUTION FOUND: 10746 @ 306.783
c NEW SOLUTION FOUND: 10734 @ 307.585
c NEW SOLUTION FOUND: 10731 @ 307.627
c NEW SOLUTION FOUND: 10729 @ 307.659
c NEW SOLUTION FOUND: 10727 @ 307.68
c NEW SOLUTION FOUND: 10725 @ 307.922
c NEW SOLUTION FOUND: 10724 @ 308.577
c NEW SOLUTION FOUND: 10723 @ 308.882
c NEW SOLUTION FOUND: 10721 @ 308.909
c NEW SOLUTION FOUND: 10720 @ 309.804
c NEW SOLUTION FOUND: 10717 @ 309.918
c NEW SOLUTION FOUND: 10714 @ 310.081
c NEW SOLUTION FOUND: 10712 @ 310.114
c NEW SOLUTION FOUND: 10710 @ 310.135
c NEW SOLUTION FOUND: 10708 @ 310.264
c NEW SOLUTION FOUND: 10707 @ 310.404
c NEW SOLUTION FOUND: 10706 @ 310.541
c NEW SOLUTION FOUND: 10704 @ 310.563
c NEW SOLUTION FOUND: 10703 @ 310.824
c NEW SOLUTION FOUND: 10697 @ 310.952
c NEW SOLUTION FOUND: 10693 @ 310.984
c NEW SOLUTION FOUND: 10692 @ 311.019
c NEW SOLUTION FOUND: 10690 @ 311.047
c NEW SOLUTION FOUND: 10688 @ 311.072
c NEW SOLUTION FOUND: 10686 @ 311.092
c NEW SOLUTION FOUND: 10685 @ 311.204
c NEW SOLUTION FOUND: 10683 @ 311.224
c NEW SOLUTION FOUND: 10681 @ 311.982
c NEW SOLUTION FOUND: 10680 @ 313.433
c NEW SOLUTION FOUND: 10678 @ 313.789
c NEW SOLUTION FOUND: 10676 @ 314.843
c NEW SOLUTION FOUND: 10671 @ 315.129
c NEW SOLUTION FOUND: 10669 @ 315.151
c NEW SOLUTION FOUND: 10667 @ 315.18
c NEW SOLUTION FOUND: 10665 @ 315.202
c NEW SOLUTION FOUND: 10660 @ 315.234
c NEW SOLUTION FOUND: 10658 @ 315.256
c NEW SOLUTION FOUND: 10655 @ 315.451
c NEW SOLUTION FOUND: 10653 @ 316.09
c NEW SOLUTION FOUND: 10652 @ 319.609
c NEW SOLUTION FOUND: 10650 @ 320.253
c NEW SOLUTION FOUND: 10642 @ 321.348
c NEW SOLUTION FOUND: 10640 @ 321.379
c NEW SOLUTION FOUND: 10638 @ 321.406
c NEW SOLUTION FOUND: 10633 @ 321.434
c NEW SOLUTION FOUND: 10631 @ 321.456
c NEW SOLUTION FOUND: 10629 @ 321.804
c NEW SOLUTION FOUND: 10628 @ 322.193
c NEW SOLUTION FOUND: 10627 @ 322.584
c NEW SOLUTION FOUND: 10625 @ 322.607
c NEW SOLUTION FOUND: 10623 @ 323.539
c NEW SOLUTION FOUND: 10621 @ 323.755
c NEW SOLUTION FOUND: 10619 @ 324.17
c NEW SOLUTION FOUND: 10618 @ 324.315
c NEW SOLUTION FOUND: 10616 @ 324.337
c NEW SOLUTION FOUND: 10612 @ 324.452
c NEW SOLUTION FOUND: 10610 @ 324.713
c NEW SOLUTION FOUND: 10609 @ 324.992
c NEW SOLUTION FOUND: 10608 @ 325.246
c NEW SOLUTION FOUND: 10606 @ 325.274
c NEW SOLUTION FOUND: 10603 @ 325.707
c NEW SOLUTION FOUND: 10601 @ 325.729
c NEW SOLUTION FOUND: 10597 @ 325.753
c NEW SOLUTION FOUND: 10596 @ 325.788
c NEW SOLUTION FOUND: 10594 @ 325.811
c NEW SOLUTION FOUND: 10590 @ 325.834
c NEW SOLUTION FOUND: 10587 @ 325.948
c NEW SOLUTION FOUND: 10585 @ 326.357
c NEW SOLUTION FOUND: 10582 @ 328.079
c NEW SOLUTION FOUND: 10580 @ 329.15
c NEW SOLUTION FOUND: 10578 @ 329.627
c NEW SOLUTION FOUND: 10575 @ 329.905
c NEW SOLUTION FOUND: 10573 @ 329.927
c NEW SOLUTION FOUND: 10569 @ 329.95
c NEW SOLUTION FOUND: 10568 @ 329.985
c NEW SOLUTION FOUND: 10566 @ 330.007
c NEW SOLUTION FOUND: 10562 @ 330.03
c NEW SOLUTION FOUND: 10560 @ 330.248
c NEW SOLUTION FOUND: 10557 @ 330.609
c NEW SOLUTION FOUND: 10556 @ 334.825
c NEW SOLUTION FOUND: 10554 @ 334.939
c NEW SOLUTION FOUND: 10552 @ 334.961
c NEW SOLUTION FOUND: 10548 @ 335.373
c NEW SOLUTION FOUND: 10546 @ 336.143
c NEW SOLUTION FOUND: 10543 @ 338.005
c NEW SOLUTION FOUND: 10532 @ 339.099
c NEW SOLUTION FOUND: 10531 @ 339.141
c NEW SOLUTION FOUND: 10529 @ 339.163
c NEW SOLUTION FOUND: 10525 @ 339.186
c NEW SOLUTION FOUND: 10521 @ 339.539
c NEW SOLUTION FOUND: 10520 @ 339.967
c NEW SOLUTION FOUND: 10518 @ 340.254
c NEW SOLUTION FOUND: 10515 @ 345.178
c NEW SOLUTION FOUND: 10514 @ 345.213
c NEW SOLUTION FOUND: 10512 @ 345.235
c NEW SOLUTION FOUND: 10508 @ 345.258
c NEW SOLUTION FOUND: 10506 @ 345.41
c NEW SOLUTION FOUND: 10504 @ 345.432
c NEW SOLUTION FOUND: 10495 @ 345.678
c NEW SOLUTION FOUND: 10493 @ 345.7
c NEW SOLUTION FOUND: 10490 @ 345.731
c NEW SOLUTION FOUND: 10488 @ 345.763
c NEW SOLUTION FOUND: 10486 @ 345.785
c NEW SOLUTION FOUND: 10484 @ 345.941
c NEW SOLUTION FOUND: 10483 @ 346.678
c NEW SOLUTION FOUND: 10481 @ 346.842
c NEW SOLUTION FOUND: 10480 @ 347.813
c NEW SOLUTION FOUND: 10478 @ 348.706
c NEW SOLUTION FOUND: 10472 @ 349.791
c NEW SOLUTION FOUND: 10470 @ 349.814
c NEW SOLUTION FOUND: 10466 @ 349.838
c NEW SOLUTION FOUND: 10461 @ 349.873
c NEW SOLUTION FOUND: 10459 @ 349.896
c NEW SOLUTION FOUND: 10455 @ 350.248
c NEW SOLUTION FOUND: 10453 @ 350.95
c NEW SOLUTION FOUND: 10452 @ 354.567
c NEW SOLUTION FOUND: 10450 @ 355.248
c NEW SOLUTION FOUND: 10449 @ 356.206
c NEW SOLUTION FOUND: 10447 @ 356.229
c NEW SOLUTION FOUND: 10443 @ 356.253
c NEW SOLUTION FOUND: 10442 @ 356.289
c NEW SOLUTION FOUND: 10440 @ 356.312
c NEW SOLUTION FOUND: 10436 @ 356.336
c NEW SOLUTION FOUND: 10432 @ 356.458
c NEW SOLUTION FOUND: 10430 @ 356.818
c NEW SOLUTION FOUND: 10428 @ 356.84
c NEW SOLUTION FOUND: 10427 @ 357.138
c NEW SOLUTION FOUND: 10425 @ 357.439
c NEW SOLUTION FOUND: 10423 @ 358.603
c NEW SOLUTION FOUND: 10421 @ 358.811
c NEW SOLUTION FOUND: 10419 @ 359.237
c NEW SOLUTION FOUND: 10417 @ 359.366
c NEW SOLUTION FOUND: 10415 @ 359.389
c NEW SOLUTION FOUND: 10411 @ 359.54
c NEW SOLUTION FOUND: 10409 @ 359.792
c NEW SOLUTION FOUND: 10405 @ 360.093
c NEW SOLUTION FOUND: 10403 @ 360.116
c NEW SOLUTION FOUND: 10399 @ 360.141
c NEW SOLUTION FOUND: 10398 @ 360.177
c NEW SOLUTION FOUND: 10396 @ 360.2
c NEW SOLUTION FOUND: 10392 @ 360.223
c NEW SOLUTION FOUND: 10390 @ 360.426
c NEW SOLUTION FOUND: 10388 @ 360.449
c NEW SOLUTION FOUND: 10387 @ 360.811
c NEW SOLUTION FOUND: 10385 @ 361.12
c NEW SOLUTION FOUND: 10384 @ 362.084
c NEW SOLUTION FOUND: 10382 @ 363.013
c NEW SOLUTION FOUND: 10381 @ 363.955
c NEW SOLUTION FOUND: 10374 @ 364.087
c NEW SOLUTION FOUND: 10372 @ 364.111
c NEW SOLUTION FOUND: 10368 @ 364.136
c NEW SOLUTION FOUND: 10363 @ 364.166
c NEW SOLUTION FOUND: 10361 @ 364.191
c NEW SOLUTION FOUND: 10359 @ 364.461
c NEW SOLUTION FOUND: 10357 @ 364.964
c NEW SOLUTION FOUND: 10354 @ 371.754
c NEW SOLUTION FOUND: 10352 @ 371.777
c NEW SOLUTION FOUND: 10346 @ 371.923
c NEW SOLUTION FOUND: 10342 @ 371.956
c NEW SOLUTION FOUND: 10341 @ 371.992
c NEW SOLUTION FOUND: 10339 @ 372.019
c NEW SOLUTION FOUND: 10335 @ 372.043
c NEW SOLUTION FOUND: 10333 @ 372.158
c NEW SOLUTION FOUND: 10331 @ 372.179
c NEW SOLUTION FOUND: 10329 @ 372.437
c NEW SOLUTION FOUND: 10326 @ 373.384
c NEW SOLUTION FOUND: 10325 @ 374.32
c NEW SOLUTION FOUND: 10323 @ 375.324
c NEW SOLUTION FOUND: 10322 @ 375.972
c NEW SOLUTION FOUND: 10320 @ 375.994
c NEW SOLUTION FOUND: 10318 @ 376.02
c NEW SOLUTION FOUND: 10316 @ 376.047
c NEW SOLUTION FOUND: 10315 @ 376.075
c NEW SOLUTION FOUND: 10313 @ 376.096
c NEW SOLUTION FOUND: 10311 @ 376.121
c NEW SOLUTION FOUND: 10309 @ 376.148
c NEW SOLUTION FOUND: 10307 @ 376.267
c NEW SOLUTION FOUND: 10305 @ 376.295
c NEW SOLUTION FOUND: 10303 @ 376.639
c NEW SOLUTION FOUND: 10301 @ 376.66
c NEW SOLUTION FOUND: 10300 @ 377.1
c NEW SOLUTION FOUND: 10298 @ 377.57
c NEW SOLUTION FOUND: 10297 @ 382.708
c NEW SOLUTION FOUND: 10296 @ 382.777
c NEW SOLUTION FOUND: 10295 @ 384.041
c NEW SOLUTION FOUND: 10294 @ 384.729
c NEW SOLUTION FOUND: 10293 @ 384.771
c NEW SOLUTION FOUND: 10291 @ 385.763
c NEW SOLUTION FOUND: 10290 @ 385.767
c NEW SOLUTION FOUND: 10289 @ 385.77
c NEW SOLUTION FOUND: 10288 @ 385.787
c NEW SOLUTION FOUND: 10286 @ 385.819
c NEW SOLUTION FOUND: 10284 @ 385.844
c NEW SOLUTION FOUND: 10279 @ 385.877
c NEW SOLUTION FOUND: 10277 @ 385.903
c NEW SOLUTION FOUND: 10276 @ 386.031
c NEW SOLUTION FOUND: 10275 @ 386.045
c NEW SOLUTION FOUND: 10273 @ 386.072
c NEW SOLUTION FOUND: 10271 @ 386.419
c NEW SOLUTION FOUND: 10270 @ 386.963
c NEW SOLUTION FOUND: 10268 @ 386.989
c NEW SOLUTION FOUND: 10262 @ 392.884
c NEW SOLUTION FOUND: 10261 @ 392.888
c NEW SOLUTION FOUND: 10260 @ 392.893
c NEW SOLUTION FOUND: 10258 @ 392.897
c NEW SOLUTION FOUND: 10257 @ 392.903
c NEW SOLUTION FOUND: 10256 @ 392.916
c NEW SOLUTION FOUND: 10255 @ 392.961
c NEW SOLUTION FOUND: 10253 @ 392.988
c NEW SOLUTION FOUND: 10251 @ 393.016
c NEW SOLUTION FOUND: 10249 @ 393.042
c NEW SOLUTION FOUND: 10247 @ 393.466
c NEW SOLUTION FOUND: 10246 @ 394.177
c NEW SOLUTION FOUND: 10245 @ 394.191
c NEW SOLUTION FOUND: 10244 @ 395.771
c NEW SOLUTION FOUND: 10242 @ 396.079
c NEW SOLUTION FOUND: 10241 @ 397.134
c NEW SOLUTION FOUND: 10229 @ 397.406
c NEW SOLUTION FOUND: 10228 @ 397.447
c NEW SOLUTION FOUND: 10226 @ 397.469
c NEW SOLUTION FOUND: 10222 @ 397.492
c NEW SOLUTION FOUND: 10220 @ 397.692
c NEW SOLUTION FOUND: 10217 @ 398.272
c NEW SOLUTION FOUND: 10216 @ 406.105
c NEW SOLUTION FOUND: 10215 @ 406.134
c NEW SOLUTION FOUND: 10213 @ 406.153
c NEW SOLUTION FOUND: 10211 @ 406.178
c NEW SOLUTION FOUND: 10209 @ 406.198
c NEW SOLUTION FOUND: 10207 @ 406.336
c NEW SOLUTION FOUND: 10205 @ 406.358
c NEW SOLUTION FOUND: 10203 @ 406.571
c NEW SOLUTION FOUND: 10202 @ 407.255
c NEW SOLUTION FOUND: 10200 @ 407.276
c NEW SOLUTION FOUND: 10198 @ 411.043
c NEW SOLUTION FOUND: 10197 @ 411.759
c NEW SOLUTION FOUND: 10195 @ 411.781
c NEW SOLUTION FOUND: 10194 @ 412.8
c NEW SOLUTION FOUND: 10192 @ 413.823
c NEW SOLUTION FOUND: 10187 @ 414.486
c NEW SOLUTION FOUND: 10185 @ 414.516
c NEW SOLUTION FOUND: 10183 @ 414.532
c NEW SOLUTION FOUND: 10178 @ 414.557
c NEW SOLUTION FOUND: 10176 @ 414.573
c NEW SOLUTION FOUND: 10174 @ 414.71
c NEW SOLUTION FOUND: 10172 @ 414.732
c NEW SOLUTION FOUND: 10170 @ 415.06
c NEW SOLUTION FOUND: 10169 @ 416.04
c NEW SOLUTION FOUND: 10167 @ 416.061
c NEW SOLUTION FOUND: 10163 @ 421.912
c NEW SOLUTION FOUND: 10161 @ 421.928
c NEW SOLUTION FOUND: 10160 @ 421.966
c NEW SOLUTION FOUND: 10159 @ 421.985
c NEW SOLUTION FOUND: 10158 @ 421.998
c NEW SOLUTION FOUND: 10156 @ 422.026
c NEW SOLUTION FOUND: 10154 @ 422.048
c NEW SOLUTION FOUND: 10152 @ 422.158
c NEW SOLUTION FOUND: 10150 @ 422.179
c NEW SOLUTION FOUND: 10146 @ 422.602
c NEW SOLUTION FOUND: 10144 @ 423.344
c NEW SOLUTION FOUND: 10143 @ 424.855
c NEW SOLUTION FOUND: 10141 @ 425.21
c NEW SOLUTION FOUND: 10128 @ 426.297
c NEW SOLUTION FOUND: 10127 @ 426.337
c NEW SOLUTION FOUND: 10125 @ 426.359
c NEW SOLUTION FOUND: 10121 @ 426.381
c NEW SOLUTION FOUND: 10119 @ 426.774
c NEW SOLUTION FOUND: 10116 @ 427.321
c NEW SOLUTION FOUND: 10114 @ 436.732
c NEW SOLUTION FOUND: 10112 @ 436.756
c NEW SOLUTION FOUND: 10109 @ 437.538
c NEW SOLUTION FOUND: 10108 @ 441.948
c NEW SOLUTION FOUND: 10106 @ 442.07
c NEW SOLUTION FOUND: 10105 @ 442.461
c NEW SOLUTION FOUND: 10103 @ 442.865
c NEW SOLUTION FOUND: 10101 @ 443.187
c NEW SOLUTION FOUND: 10098 @ 443.433
c NEW SOLUTION FOUND: 10096 @ 443.456
c NEW SOLUTION FOUND: 10092 @ 443.48
c NEW SOLUTION FOUND: 10091 @ 443.516
c NEW SOLUTION FOUND: 10089 @ 443.538
c NEW SOLUTION FOUND: 10085 @ 443.562
c NEW SOLUTION FOUND: 10083 @ 443.687
c NEW SOLUTION FOUND: 10081 @ 443.71
c NEW SOLUTION FOUND: 10080 @ 443.948
c NEW SOLUTION FOUND: 10078 @ 444.177
c NEW SOLUTION FOUND: 10077 @ 446.113
c NEW SOLUTION FOUND: 10076 @ 446.142
c NEW SOLUTION FOUND: 10074 @ 446.163
c NEW SOLUTION FOUND: 10072 @ 446.188
c NEW SOLUTION FOUND: 10070 @ 446.209
c NEW SOLUTION FOUND: 10068 @ 446.605
c NEW SOLUTION FOUND: 10067 @ 447.174
c NEW SOLUTION FOUND: 10065 @ 447.196
c NEW SOLUTION FOUND: 10064 @ 448.727
c NEW SOLUTION FOUND: 10062 @ 448.75
c NEW SOLUTION FOUND: 10058 @ 448.774
c NEW SOLUTION FOUND: 10053 @ 448.809
c NEW SOLUTION FOUND: 10051 @ 448.832
c NEW SOLUTION FOUND: 10050 @ 449.056
c NEW SOLUTION FOUND: 10048 @ 449.079
c NEW SOLUTION FOUND: 10047 @ 449.296
c NEW SOLUTION FOUND: 10046 @ 449.31
c NEW SOLUTION FOUND: 10044 @ 449.561
c NEW SOLUTION FOUND: 10042 @ 452.765
c NEW SOLUTION FOUND: 10041 @ 453.177
c NEW SOLUTION FOUND: 10039 @ 453.197
c NEW SOLUTION FOUND: 10037 @ 453.742
c NEW SOLUTION FOUND: 10032 @ 455.288
c NEW SOLUTION FOUND: 10030 @ 455.322
c NEW SOLUTION FOUND: 10028 @ 455.343
c NEW SOLUTION FOUND: 10027 @ 455.371
c NEW SOLUTION FOUND: 10025 @ 455.399
c NEW SOLUTION FOUND: 10023 @ 455.423
c NEW SOLUTION FOUND: 10021 @ 455.445
c NEW SOLUTION FOUND: 10018 @ 455.682
c NEW SOLUTION FOUND: 10016 @ 456.141
c NEW SOLUTION FOUND: 10014 @ 456.746
c NEW SOLUTION FOUND: 10012 @ 456.972
c NEW SOLUTION FOUND: 10010 @ 457.185
c NEW SOLUTION FOUND: 10009 @ 457.603
c NEW SOLUTION FOUND: 10007 @ 458.012
c NEW SOLUTION FOUND: 10000 @ 458.292
c NEW SOLUTION FOUND: 9996 @ 458.326
c NEW SOLUTION FOUND: 9991 @ 458.361
c NEW SOLUTION FOUND: 9989 @ 458.383
c NEW SOLUTION FOUND: 9988 @ 458.708
c NEW SOLUTION FOUND: 9986 @ 458.729
c NEW SOLUTION FOUND: 9984 @ 458.977
c NEW SOLUTION FOUND: 9982 @ 459.202
c NEW SOLUTION FOUND: 9980 @ 460.304
c NEW SOLUTION FOUND: 9977 @ 460.341
c NEW SOLUTION FOUND: 9973 @ 460.374
c NEW SOLUTION FOUND: 9971 @ 460.782
c NEW SOLUTION FOUND: 9969 @ 462.035
c NEW SOLUTION FOUND: 9966 @ 462.757
c NEW SOLUTION FOUND: 9965 @ 462.793
c NEW SOLUTION FOUND: 9963 @ 462.814
c NEW SOLUTION FOUND: 9961 @ 462.84
c NEW SOLUTION FOUND: 9959 @ 462.867
c NEW SOLUTION FOUND: 9957 @ 463.001
c NEW SOLUTION FOUND: 9955 @ 463.022
c NEW SOLUTION FOUND: 9952 @ 463.235
c NEW SOLUTION FOUND: 9951 @ 463.965
c NEW SOLUTION FOUND: 9948 @ 464.188
c NEW SOLUTION FOUND: 9946 @ 470.539
c NEW SOLUTION FOUND: 9944 @ 470.576
c NEW SOLUTION FOUND: 9942 @ 470.601
c NEW SOLUTION FOUND: 9940 @ 470.628
c NEW SOLUTION FOUND: 9939 @ 470.653
c NEW SOLUTION FOUND: 9933 @ 470.668
c NEW SOLUTION FOUND: 9931 @ 470.815
c NEW SOLUTION FOUND: 9929 @ 470.843
c NEW SOLUTION FOUND: 9927 @ 471.076
c NEW SOLUTION FOUND: 9926 @ 471.662
c NEW SOLUTION FOUND: 9923 @ 472.029
c NEW SOLUTION FOUND: 9919 @ 473.127
c NEW SOLUTION FOUND: 9917 @ 473.331
c NEW SOLUTION FOUND: 9915 @ 473.353
c NEW SOLUTION FOUND: 9914 @ 473.624
c NEW SOLUTION FOUND: 9912 @ 473.646
c NEW SOLUTION FOUND: 9901 @ 474.625
c NEW SOLUTION FOUND: 9900 @ 474.667
c NEW SOLUTION FOUND: 9898 @ 474.695
c NEW SOLUTION FOUND: 9894 @ 474.719
c NEW SOLUTION FOUND: 9893 @ 474.949
c NEW SOLUTION FOUND: 9892 @ 474.953
c NEW SOLUTION FOUND: 9891 @ 474.973
c NEW SOLUTION FOUND: 9889 @ 476.352
c NEW SOLUTION FOUND: 9888 @ 482.301
c NEW SOLUTION FOUND: 9885 @ 482.316
c NEW SOLUTION FOUND: 9883 @ 482.344
c NEW SOLUTION FOUND: 9882 @ 482.475
c NEW SOLUTION FOUND: 9879 @ 482.49
c NEW SOLUTION FOUND: 9877 @ 482.805
c NEW SOLUTION FOUND: 9876 @ 483.051
c NEW SOLUTION FOUND: 9875 @ 483.287
c NEW SOLUTION FOUND: 9873 @ 483.314
c NEW SOLUTION FOUND: 9872 @ 485.197
c NEW SOLUTION FOUND: 9869 @ 485.241
c NEW SOLUTION FOUND: 9867 @ 485.276
c NEW SOLUTION FOUND: 9865 @ 485.304
c NEW SOLUTION FOUND: 9864 @ 485.687
c NEW SOLUTION FOUND: 9862 @ 485.724
c NEW SOLUTION FOUND: 9860 @ 486.333
c NEW SOLUTION FOUND: 9853 @ 487.212
c NEW SOLUTION FOUND: 9852 @ 487.254
c NEW SOLUTION FOUND: 9851 @ 487.277
c NEW SOLUTION FOUND: 9850 @ 487.293
c NEW SOLUTION FOUND: 9846 @ 487.317
c NEW SOLUTION FOUND: 9843 @ 487.543
c NEW SOLUTION FOUND: 9842 @ 488.272
c NEW SOLUTION FOUND: 9841 @ 488.299
c NEW SOLUTION FOUND: 9839 @ 488.515
c NEW SOLUTION FOUND: 9837 @ 494.138
c NEW SOLUTION FOUND: 9836 @ 494.188
c NEW SOLUTION FOUND: 9834 @ 494.216
c NEW SOLUTION FOUND: 9830 @ 494.243
c NEW SOLUTION FOUND: 9826 @ 494.351
c NEW SOLUTION FOUND: 9824 @ 494.626
c NEW SOLUTION FOUND: 9822 @ 495.079
c NEW SOLUTION FOUND: 9821 @ 496.924
c NEW SOLUTION FOUND: 9820 @ 496.961
c NEW SOLUTION FOUND: 9818 @ 496.985
c NEW SOLUTION FOUND: 9814 @ 497.01
c NEW SOLUTION FOUND: 9812 @ 497.403
c NEW SOLUTION FOUND: 9809 @ 497.959
c NEW SOLUTION FOUND: 9805 @ 498.854
c NEW SOLUTION FOUND: 9803 @ 498.888
c NEW SOLUTION FOUND: 9801 @ 498.911
c NEW SOLUTION FOUND: 9798 @ 498.939
c NEW SOLUTION FOUND: 9796 @ 498.972
c NEW SOLUTION FOUND: 9794 @ 498.996
c NEW SOLUTION FOUND: 9792 @ 499.232
c NEW SOLUTION FOUND: 9790 @ 499.255
c NEW SOLUTION FOUND: 9788 @ 500.177
c NEW SOLUTION FOUND: 9787 @ 509.336
c NEW SOLUTION FOUND: 9783 @ 510.704
c NEW SOLUTION FOUND: 9781 @ 510.726
c NEW SOLUTION FOUND: 9780 @ 510.763
c NEW SOLUTION FOUND: 9778 @ 510.784
c NEW SOLUTION FOUND: 9776 @ 510.81
c NEW SOLUTION FOUND: 9774 @ 510.828
c NEW SOLUTION FOUND: 9772 @ 510.961
c NEW SOLUTION FOUND: 9770 @ 510.986
c NEW SOLUTION FOUND: 9768 @ 511.256
c NEW SOLUTION FOUND: 9766 @ 511.663
c NEW SOLUTION FOUND: 9760 @ 519.131
c NEW SOLUTION FOUND: 9758 @ 519.166
c NEW SOLUTION FOUND: 9756 @ 519.194
c NEW SOLUTION FOUND: 9755 @ 519.226
c NEW SOLUTION FOUND: 9753 @ 519.249
c NEW SOLUTION FOUND: 9751 @ 519.28
c NEW SOLUTION FOUND: 9749 @ 519.304
c NEW SOLUTION FOUND: 9747 @ 519.408
c NEW SOLUTION FOUND: 9745 @ 519.435
c NEW SOLUTION FOUND: 9743 @ 519.711
c NEW SOLUTION FOUND: 9741 @ 520.154
c NEW SOLUTION FOUND: 9740 @ 521.262
c NEW SOLUTION FOUND: 9739 @ 521.297
c NEW SOLUTION FOUND: 9737 @ 521.322
c NEW SOLUTION FOUND: 9735 @ 521.351
c NEW SOLUTION FOUND: 9733 @ 521.375
c NEW SOLUTION FOUND: 9731 @ 521.8
c NEW SOLUTION FOUND: 9728 @ 522.965
c NEW SOLUTION FOUND: 9724 @ 523.857
c NEW SOLUTION FOUND: 9722 @ 523.887
c NEW SOLUTION FOUND: 9720 @ 523.913
c NEW SOLUTION FOUND: 9717 @ 523.942
c NEW SOLUTION FOUND: 9715 @ 523.974
c NEW SOLUTION FOUND: 9713 @ 523.997
c NEW SOLUTION FOUND: 9711 @ 524.231
c NEW SOLUTION FOUND: 9709 @ 524.254
c NEW SOLUTION FOUND: 9707 @ 525.171
c NEW SOLUTION FOUND: 9704 @ 536.374
c NEW SOLUTION FOUND: 9702 @ 536.509
c NEW SOLUTION FOUND: 9700 @ 536.533
c NEW SOLUTION FOUND: 9696 @ 536.847
c NEW SOLUTION FOUND: 9695 @ 537.127
c NEW SOLUTION FOUND: 9693 @ 537.387
c NEW SOLUTION FOUND: 9692 @ 539.329
c NEW SOLUTION FOUND: 9691 @ 539.362
c NEW SOLUTION FOUND: 9689 @ 539.388
c NEW SOLUTION FOUND: 9687 @ 539.42
c NEW SOLUTION FOUND: 9685 @ 539.444
c NEW SOLUTION FOUND: 9683 @ 539.844
c NEW SOLUTION FOUND: 9682 @ 540.428
c NEW SOLUTION FOUND: 9680 @ 540.453
c NEW SOLUTION FOUND: 9677 @ 542.035
c NEW SOLUTION FOUND: 9675 @ 542.061
c NEW SOLUTION FOUND: 9671 @ 542.086
c NEW SOLUTION FOUND: 9670 @ 542.123
c NEW SOLUTION FOUND: 9668 @ 542.147
c NEW SOLUTION FOUND: 9664 @ 542.172
c NEW SOLUTION FOUND: 9662 @ 542.395
c NEW SOLUTION FOUND: 9659 @ 542.859
c NEW SOLUTION FOUND: 9658 @ 555.297
c NEW SOLUTION FOUND: 9657 @ 555.328
c NEW SOLUTION FOUND: 9655 @ 555.351
c NEW SOLUTION FOUND: 9653 @ 555.38
c NEW SOLUTION FOUND: 9651 @ 555.41
c NEW SOLUTION FOUND: 9647 @ 555.532
c NEW SOLUTION FOUND: 9645 @ 555.831
c NEW SOLUTION FOUND: 9643 @ 556.732
c NEW SOLUTION FOUND: 9642 @ 557.011
c NEW SOLUTION FOUND: 9640 @ 557.234
c NEW SOLUTION FOUND: 9639 @ 557.631
c NEW SOLUTION FOUND: 9637 @ 557.656
c NEW SOLUTION FOUND: 9636 @ 557.846
c NEW SOLUTION FOUND: 9634 @ 557.877
c NEW SOLUTION FOUND: 9627 @ 558.062
c NEW SOLUTION FOUND: 9625 @ 558.087
c NEW SOLUTION FOUND: 9623 @ 558.114
c NEW SOLUTION FOUND: 9621 @ 558.144
c NEW SOLUTION FOUND: 9620 @ 558.173
c NEW SOLUTION FOUND: 9618 @ 558.198
c NEW SOLUTION FOUND: 9616 @ 558.231
c NEW SOLUTION FOUND: 9614 @ 558.253
c NEW SOLUTION FOUND: 9612 @ 558.492
c NEW SOLUTION FOUND: 9611 @ 559.426
c NEW SOLUTION FOUND: 9609 @ 559.449
c NEW SOLUTION FOUND: 9604 @ 560.477
c NEW SOLUTION FOUND: 9600 @ 560.734
c NEW SOLUTION FOUND: 9598 @ 561.013
c NEW SOLUTION FOUND: 9596 @ 562.232
c NEW SOLUTION FOUND: 9593 @ 563.104
c NEW SOLUTION FOUND: 9591 @ 563.141
c NEW SOLUTION FOUND: 9589 @ 563.164
c NEW SOLUTION FOUND: 9588 @ 563.195
c NEW SOLUTION FOUND: 9586 @ 563.225
c NEW SOLUTION FOUND: 9584 @ 563.253
c NEW SOLUTION FOUND: 9582 @ 563.281
c NEW SOLUTION FOUND: 9580 @ 563.526
c NEW SOLUTION FOUND: 9578 @ 563.549
c NEW SOLUTION FOUND: 9577 @ 564.27
c NEW SOLUTION FOUND: 9575 @ 564.503
c NEW SOLUTION FOUND: 9573 @ 576.293
c NEW SOLUTION FOUND: 9571 @ 576.316
c NEW SOLUTION FOUND: 9567 @ 576.466
c NEW SOLUTION FOUND: 9565 @ 576.85
c NEW SOLUTION FOUND: 9563 @ 577.421
c NEW SOLUTION FOUND: 9562 @ 578.328
c NEW SOLUTION FOUND: 9561 @ 578.334
c NEW SOLUTION FOUND: 9560 @ 578.379
c NEW SOLUTION FOUND: 9558 @ 578.405
c NEW SOLUTION FOUND: 9556 @ 578.437
c NEW SOLUTION FOUND: 9554 @ 578.452
c NEW SOLUTION FOUND: 9553 @ 578.491
c NEW SOLUTION FOUND: 9547 @ 578.51
c NEW SOLUTION FOUND: 9545 @ 578.761
c NEW SOLUTION FOUND: 9544 @ 579.707
c NEW SOLUTION FOUND: 9542 @ 579.735
c NEW SOLUTION FOUND: 9540 @ 586.099
c NEW SOLUTION FOUND: 9539 @ 586.134
c NEW SOLUTION FOUND: 9538 @ 586.163
c NEW SOLUTION FOUND: 9536 @ 586.196
c NEW SOLUTION FOUND: 9534 @ 586.222
c NEW SOLUTION FOUND: 9531 @ 586.256
c NEW SOLUTION FOUND: 9530 @ 586.259
c NEW SOLUTION FOUND: 9529 @ 586.277
c NEW SOLUTION FOUND: 9527 @ 586.299
c NEW SOLUTION FOUND: 9523 @ 586.55
c NEW SOLUTION FOUND: 9521 @ 586.987
c NEW SOLUTION FOUND: 9520 @ 592.629
c NEW SOLUTION FOUND: 9519 @ 592.918
c NEW SOLUTION FOUND: 9518 @ 592.935
c NEW SOLUTION FOUND: 9516 @ 593.413
c NEW SOLUTION FOUND: 9515 @ 596.932
c NEW SOLUTION FOUND: 9513 @ 596.959
c NEW SOLUTION FOUND: 9511 @ 597.267
c NEW SOLUTION FOUND: 9509 @ 597.575
c NEW SOLUTION FOUND: 9507 @ 599.126
c NEW SOLUTION FOUND: 9505 @ 599.153
c NEW SOLUTION FOUND: 9501 @ 599.18
c NEW SOLUTION FOUND: 9496 @ 599.22
c NEW SOLUTION FOUND: 9494 @ 599.245
c NEW SOLUTION FOUND: 9490 @ 599.455
c NEW SOLUTION FOUND: 9489 @ 599.944
c NEW SOLUTION FOUND: 9488 @ 599.959
c NEW SOLUTION FOUND: 9487 @ 600.201
c NEW SOLUTION FOUND: 9485 @ 600.424
c NEW SOLUTION FOUND: 9482 @ 600.83
c NEW SOLUTION FOUND: 9481 @ 601.016
c NEW SOLUTION FOUND: 9474 @ 601.166
c NEW SOLUTION FOUND: 9472 @ 601.19
c NEW SOLUTION FOUND: 9468 @ 601.214
c NEW SOLUTION FOUND: 9467 @ 601.25
c NEW SOLUTION FOUND: 9465 @ 601.273
c NEW SOLUTION FOUND: 9461 @ 601.297
c NEW SOLUTION FOUND: 9459 @ 601.537
c NEW SOLUTION FOUND: 9457 @ 601.56
c NEW SOLUTION FOUND: 9456 @ 602.031
c NEW SOLUTION FOUND: 9454 @ 602.519
c NEW SOLUTION FOUND: 9453 @ 603.721
c NEW SOLUTION FOUND: 9451 @ 603.746
c NEW SOLUTION FOUND: 9447 @ 603.77
c NEW SOLUTION FOUND: 9443 @ 604.071
c NEW SOLUTION FOUND: 9441 @ 605.311
c NEW SOLUTION FOUND: 9438 @ 606.185
c NEW SOLUTION FOUND: 9436 @ 606.218
c NEW SOLUTION FOUND: 9434 @ 606.241
c NEW SOLUTION FOUND: 9427 @ 606.268
c NEW SOLUTION FOUND: 9423 @ 606.54
c NEW SOLUTION FOUND: 9422 @ 607.283
c NEW SOLUTION FOUND: 9420 @ 607.544
c NEW SOLUTION FOUND: 9418 @ 620.096
c NEW SOLUTION FOUND: 9414 @ 620.125
c NEW SOLUTION FOUND: 9413 @ 620.14
c NEW SOLUTION FOUND: 9411 @ 620.166
c NEW SOLUTION FOUND: 9409 @ 620.53
c NEW SOLUTION FOUND: 9407 @ 620.555
c NEW SOLUTION FOUND: 9406 @ 621.108
c NEW SOLUTION FOUND: 9404 @ 621.481
c NEW SOLUTION FOUND: 9402 @ 621.921
c NEW SOLUTION FOUND: 9400 @ 621.948
c NEW SOLUTION FOUND: 9398 @ 622.352
c NEW SOLUTION FOUND: 9397 @ 623.147
c NEW SOLUTION FOUND: 9395 @ 623.171
c NEW SOLUTION FOUND: 9394 @ 623.335
c NEW SOLUTION FOUND: 9383 @ 623.47
c NEW SOLUTION FOUND: 9381 @ 623.498
c NEW SOLUTION FOUND: 9378 @ 623.533
c NEW SOLUTION FOUND: 9376 @ 623.564
c NEW SOLUTION FOUND: 9374 @ 623.588
c NEW SOLUTION FOUND: 9372 @ 623.91
c NEW SOLUTION FOUND: 9370 @ 624.358
c NEW SOLUTION FOUND: 9366 @ 625.131
c NEW SOLUTION FOUND: 9364 @ 625.154
c NEW SOLUTION FOUND: 9360 @ 625.391
c NEW SOLUTION FOUND: 9359 @ 627.189
c NEW SOLUTION FOUND: 9357 @ 627.216
c NEW SOLUTION FOUND: 9353 @ 628.089
c NEW SOLUTION FOUND: 9351 @ 628.119
c NEW SOLUTION FOUND: 9349 @ 628.143
c NEW SOLUTION FOUND: 9348 @ 628.176
c NEW SOLUTION FOUND: 9346 @ 628.199
c NEW SOLUTION FOUND: 9344 @ 628.228
c NEW SOLUTION FOUND: 9342 @ 628.251
c NEW SOLUTION FOUND: 9338 @ 628.492
c NEW SOLUTION FOUND: 9336 @ 629.379
c NEW SOLUTION FOUND: 9335 @ 643.822
c NEW SOLUTION FOUND: 9334 @ 643.854
c NEW SOLUTION FOUND: 9333 @ 644.092
c NEW SOLUTION FOUND: 9331 @ 644.345
c NEW SOLUTION FOUND: 9328 @ 645.144
c NEW SOLUTION FOUND: 9327 @ 645.314
c NEW SOLUTION FOUND: 9320 @ 645.456
c NEW SOLUTION FOUND: 9318 @ 645.478
c NEW SOLUTION FOUND: 9316 @ 645.504
c NEW SOLUTION FOUND: 9314 @ 645.527
c NEW SOLUTION FOUND: 9309 @ 645.556
c NEW SOLUTION FOUND: 9307 @ 645.585
c NEW SOLUTION FOUND: 9305 @ 645.914
c NEW SOLUTION FOUND: 9303 @ 646.355
c NEW SOLUTION FOUND: 9302 @ 646.99
c NEW SOLUTION FOUND: 9300 @ 647.012
c NEW SOLUTION FOUND: 9296 @ 647.155
c NEW SOLUTION FOUND: 9294 @ 647.405
c NEW SOLUTION FOUND: 9293 @ 648.11
c NEW SOLUTION FOUND: 9290 @ 648.39
c NEW SOLUTION FOUND: 9288 @ 650.988
c NEW SOLUTION FOUND: 9286 @ 651.014
c NEW SOLUTION FOUND: 9283 @ 651.047
c NEW SOLUTION FOUND: 9281 @ 651.079
c NEW SOLUTION FOUND: 9279 @ 651.103
c NEW SOLUTION FOUND: 9275 @ 651.216
c NEW SOLUTION FOUND: 9273 @ 651.481
c NEW SOLUTION FOUND: 9272 @ 651.708
c NEW SOLUTION FOUND: 9269 @ 651.968
c NEW SOLUTION FOUND: 9267 @ 663.9
c NEW SOLUTION FOUND: 9266 @ 663.93
c NEW SOLUTION FOUND: 9264 @ 663.952
c NEW SOLUTION FOUND: 9262 @ 663.979
c NEW SOLUTION FOUND: 9260 @ 664.001
c NEW SOLUTION FOUND: 9258 @ 664.309
c NEW SOLUTION FOUND: 9256 @ 665.19
c NEW SOLUTION FOUND: 9254 @ 665.632
c NEW SOLUTION FOUND: 9253 @ 665.876
c NEW SOLUTION FOUND: 9251 @ 666.094
c NEW SOLUTION FOUND: 9249 @ 666.294
c NEW SOLUTION FOUND: 9242 @ 666.429
c NEW SOLUTION FOUND: 9240 @ 666.455
c NEW SOLUTION FOUND: 9236 @ 666.48
c NEW SOLUTION FOUND: 9231 @ 666.516
c NEW SOLUTION FOUND: 9229 @ 666.54
c NEW SOLUTION FOUND: 9228 @ 666.775
c NEW SOLUTION FOUND: 9226 @ 666.799
c NEW SOLUTION FOUND: 9225 @ 667.493
c NEW SOLUTION FOUND: 9222 @ 667.735
c NEW SOLUTION FOUND: 9221 @ 668.956
c NEW SOLUTION FOUND: 9220 @ 668.991
c NEW SOLUTION FOUND: 9218 @ 669.02
c NEW SOLUTION FOUND: 9216 @ 669.047
c NEW SOLUTION FOUND: 9214 @ 669.071
c NEW SOLUTION FOUND: 9213 @ 669.392
c NEW SOLUTION FOUND: 9211 @ 669.416
c NEW SOLUTION FOUND: 9209 @ 670.621
c NEW SOLUTION FOUND: 9197 @ 671.519
c NEW SOLUTION FOUND: 9195 @ 671.543
c NEW SOLUTION FOUND: 9194 @ 671.772
c NEW SOLUTION FOUND: 9192 @ 671.797
c NEW SOLUTION FOUND: 9191 @ 672.528
c NEW SOLUTION FOUND: 9190 @ 672.544
c NEW SOLUTION FOUND: 9188 @ 672.779
c NEW SOLUTION FOUND: 9186 @ 684.209
c NEW SOLUTION FOUND: 9184 @ 684.251
c NEW SOLUTION FOUND: 9183 @ 684.278
c NEW SOLUTION FOUND: 9182 @ 684.322
c NEW SOLUTION FOUND: 9180 @ 684.657
c NEW SOLUTION FOUND: 9178 @ 685.129
c NEW SOLUTION FOUND: 9176 @ 690.468
c NEW SOLUTION FOUND: 9175 @ 690.472
c NEW SOLUTION FOUND: 9174 @ 690.489
c NEW SOLUTION FOUND: 9172 @ 690.768
c NEW SOLUTION FOUND: 9170 @ 691.256
c NEW SOLUTION FOUND: 9168 @ 696.576
c NEW SOLUTION FOUND: 9166 @ 696.949
c NEW SOLUTION FOUND: 9164 @ 697.436
c NEW SOLUTION FOUND: 9163 @ 701.346
c NEW SOLUTION FOUND: 9161 @ 701.73
c NEW SOLUTION FOUND: 9160 @ 704.939
c NEW SOLUTION FOUND: 9158 @ 705.567
c NEW SOLUTION FOUND: 9157 @ 709.254
c NEW SOLUTION FOUND: 9154 @ 730.802
c NEW SOLUTION FOUND: 9153 @ 730.926
c NEW SOLUTION FOUND: 9151 @ 730.971
c NEW SOLUTION FOUND: 9147 @ 730.999
c NEW SOLUTION FOUND: 9145 @ 731.216
c NEW SOLUTION FOUND: 9142 @ 731.407
c NEW SOLUTION FOUND: 9141 @ 732.858
c NEW SOLUTION FOUND: 9139 @ 732.888
c NEW SOLUTION FOUND: 9138 @ 744.861
c NEW SOLUTION FOUND: 9135 @ 747.081
c NEW SOLUTION FOUND: 9132 @ 763.723
c NEW SOLUTION FOUND: 9130 @ 763.989
c NEW SOLUTION FOUND: 9129 @ 764.26
c NEW SOLUTION FOUND: 9127 @ 764.282
c NEW SOLUTION FOUND: 9126 @ 766.638
c NEW SOLUTION FOUND: 9124 @ 766.66
c NEW SOLUTION FOUND: 9123 @ 777.828
c NEW SOLUTION FOUND: 9122 @ 800.393
c NEW SOLUTION FOUND: 9121 @ 800.406
c NEW SOLUTION FOUND: 9120 @ 800.549
c NEW SOLUTION FOUND: 9119 @ 834.687
c NEW SOLUTION FOUND: 9118 @ 845.947
c NEW SOLUTION FOUND: 9117 @ 845.95
c NEW SOLUTION FOUND: 9116 @ 845.955
c NEW SOLUTION FOUND: 9115 @ 845.959
c NEW SOLUTION FOUND: 9114 @ 845.982
c NEW SOLUTION FOUND: 9107 @ 846.006
c NEW SOLUTION FOUND: 9105 @ 846.248
c NEW SOLUTION FOUND: 9104 @ 846.507
c NEW SOLUTION FOUND: 9102 @ 846.534
c NEW SOLUTION FOUND: 9101 @ 847.858
c NEW SOLUTION FOUND: 9099 @ 847.886
c NEW SOLUTION FOUND: 9098 @ 893.035
c NEW SOLUTION FOUND: 9097 @ 1058.59
c NEW SOLUTION FOUND: 9096 @ 1058.64
c NEW SOLUTION FOUND: 9095 @ 1059.05
c NEW SOLUTION FOUND: 9094 @ 1059.14
c NEW SOLUTION FOUND: 9093 @ 1059.16
c NEW SOLUTION FOUND: 9092 @ 1059.79
c NEW SOLUTION FOUND: 9090 @ 1059.83
c NEW SOLUTION FOUND: 9086 @ 1059.93
c NEW SOLUTION FOUND: 9085 @ 1059.95
c NEW SOLUTION FOUND: 9083 @ 1059.99
c NEW SOLUTION FOUND: 9078 @ 1060.16
c NEW SOLUTION FOUND: 9076 @ 1060.2
c NEW SOLUTION FOUND: 9074 @ 1060.64
c NEW SOLUTION FOUND: 9071 @ 1060.94
c NEW SOLUTION FOUND: 9069 @ 1063.04
c NEW SOLUTION FOUND: 9068 @ 1076.76
c NEW SOLUTION FOUND: 9066 @ 1085.54
c NEW SOLUTION FOUND: 9061 @ 1085.65
c NEW SOLUTION FOUND: 9059 @ 1085.69
c NEW SOLUTION FOUND: 9056 @ 1086.29
c NEW SOLUTION FOUND: 9055 @ 1088.38
c NEW SOLUTION FOUND: 9054 @ 1088.41
c NEW SOLUTION FOUND: 9053 @ 1170.76
c NEW SOLUTION FOUND: 9052 @ 1171.7
c NEW SOLUTION FOUND: 9050 @ 1171.75
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 -x54_bit0 -x56_bit0 x57_bit0 x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 x66_bit0 -x67_bit0 -x68_bit0 x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x126_bit0 -x127_bit0 x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 x140_bit0 x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 x263_bit0 x265_bit0 -x266_bit0 x267_bit0 -x268_bit0 x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x289_bit0 -x290_bit0 x291_bit0 x292_bit0 -x293_bit0 -x294_bit0 x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x303_bit0 -x304_bit0 x305_bit0 x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x366_bit0 -x367_bit0 x368_bit0 x369_bit0 x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 x412_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 x426_bit0 -x428_bit0 -x429_bit0 -x430_bit0 x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x463_bit0 -x464_bit0 x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 x519_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 x533_bit0 -x535_bit0 -x536_bit0 x537_bit0 x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 x589_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x650_bit0 -x651_bit0 -x652_bit0 x653_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 x696_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 x710_bit0 -x712_bit0 -x713_bit0 x714_bit0 x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 x766_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 x880_bit0 -x882_bit0 -x883_bit0 x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x896_bit0 -x897_bit0 x898_bit0 x899_bit0 -x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 x923_bit0 x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x982_bit0 -x983_bit0 x984_bit0 x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x1000_bit0 -x1001_bit0 x1002_bit0 x1003_bit0 -x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1029_bit0 -x1030_bit0 x1031_bit0 x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 x1045_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 x1103_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1126_bit0 -x1127_bit0 x1128_bit0 x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1144_bit0 x1145_bit0 -x1146_bit0 x1147_bit0 -x1148_bit0 -x1149_bit0 x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 x1189_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 x1247_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 x1289_bit0 x1290_bit0 x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1348_bit0 x1349_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1440_bit0 x1441_bit0 -x1442_bit0 x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 x1455_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 x1473_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 x1522_bit0 -x1524_bit0 -x1525_bit0 x1526_bit0 x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 x1556_bit0 -x1557_bit0 -x1558_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 x1589_bit0 -x1591_bit0 x1592_bit0 x1593_bit0 x1594_bit0 x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 x1845_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1918_bit0 -x1919_bit0 x1920_bit0 x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 x1930_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 x1977_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 x2078_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2094_bit0 -x2095_bit0 x2096_bit0 x2097_bit0 x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 x2172_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2187_bit0 -x2188_bit0 x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 x2198_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 x2237_bit0 x2239_bit0 -x2241_bit0 -x2242_bit0 x2243_bit0 x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 x2265_bit0 -x2267_bit0 -x2268_bit0 x2269_bit0 x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 x2323_bit0 x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 x2346_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2362_bit0 -x2363_bit0 x2364_bit0 x2365_bit0 x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 x2446_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 x2497_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 x2532_bit0 -x2534_bit0 -x2535_bit0 x2536_bit0 x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 -x7_bit0 x8_bit0 -x2568_bit0 -x108_bit0 -x109_bit0 x111_bit0 -x2577_bit0 -x1269_bit0 -x2667_bit0 x2668_bit0 -x2669_bit0 -x2670_bit0 x2671_bit0 -x1347_bit0 -x1350_bit0 -x2672_bit0 x1368_bit0 x2673_bit0 -x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x2674_bit0 -x1400_bit0 -x1403_bit0 -x2675_bit0 x1421_bit0 x2676_bit0 -x118_bit0 -x2578_bit0 x1439_bit0 x2677_bit0 -x1454_bit0 -x1456_bit0 -x2678_bit0 x1474_bit0 -x2679_bit0 -x1492_bit0 -x2680_bit0 x1510_bit0 x2681_bit0 x1523_bit0 x2682_bit0 -x1541_bit0 -x2683_bit0 x1559_bit0 x2684_bit0 -x1577_bit0 -x2685_bit0 x1590_bit0 x2686_bit0 -x125_bit0 -x2579_bit0 x1608_bit0 -x2687_bit0 -x1621_bit0 -x1622_bit0 -x2688_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x2689_bit0 -x1645_bit0 -x1646_bit0 -x2690_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x2691_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x2692_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x2693_bit0 -x1706_bit0 -x1707_bit0 -x2694_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x2695_bit0 -x1730_bit0 -x1731_bit0 -x2696_bit0 -x130_bit0 -x2580_bit0 -x1746_bit0 x1747_bit0 -x2697_bit0 x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x2698_bit0 -x1774_bit0 -x1778_bit0 -x2699_bit0 -x1791_bit0 -x1792_bit0 -x2700_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x2701_bit0 -x1815_bit0 -x1816_bit0 -x2702_bit0 -x1831_bit0 -x1832_bit0 -x2703_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x2704_bit0 -x1863_bit0 -x2705_bit0 -x1876_bit0 -x1877_bit0 -x2706_bit0 -x138_bit0 -x2581_bit0 -x1887_bit0 -x1888_bit0 -x2707_bit0 -x1900_bit0 -x1901_bit0 -x2708_bit0 -x1916_bit0 -x1917_bit0 x2709_bit0 -x1931_bit0 x1932_bit0 -x2710_bit0 -x1948_bit0 -x2711_bit0 -x1964_bit0 -x1965_bit0 -x2712_bit0 -x1978_bit0 -x1979_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2002_bit0 -x2716_bit0 -x146_bit0 x147_bit0 x2582_bit0 -x2717_bit0 x2026_bit0 x2718_bit0 -x2036_bit0 x2037_bit0 x2039_bit0 x2044_bit0 x2719_bit0 x2052_bit0 x2720_bit0 -x2063_bit0 x2065_bit0 x2069_bit0 x2070_bit0 x2721_bit0 -x2079_bit0 -x2722_bit0 x2093_bit0 x2723_bit0 -x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2724_bit0 -x2119_bit0 -x2725_bit0 x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2726_bit0 -x151_bit0 -x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x2583_bit0 -x2146_bit0 -x2727_bit0 x2160_bit0 x2728_bit0 -x2171_bit0 -x2173_bit0 -x2729_bit0 x2186_bit0 x2730_bit0 -x2197_bit0 x2199_bit0 x2731_bit0 -x2213_bit0 -x2732_bit0 -x2227_bit0 -x2733_bit0 -x2238_bit0 x2240_bit0 x2734_bit0 -x2253_bit0 -x2735_bit0 -x2264_bit0 x2266_bit0 x2736_bit0 -x164_bit0 x165_bit0 -x167_bit0 x2584_bit0 -x2280_bit0 -x2737_bit0 x2294_bit0 x2738_bit0 x2304_bit0 x2305_bit0 -x2307_bit0 -x2312_bit0 -x2739_bit0 x2320_bit0 x2740_bit0 x2331_bit0 -x2333_bit0 x2338_bit0 -x2741_bit0 -x2344_bit0 -x2347_bit0 -x2742_bit0 x2361_bit0 x2743_bit0 -x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2744_bit0 -x2387_bit0 -x2745_bit0 -x2398_bit0 -x2400_bit0 -x2405_bit0 -x2746_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x2585_bit0 -x2414_bit0 -x2747_bit0 -x2431_bit0 -x2748_bit0 -x2447_bit0 -x2749_bit0 -x2465_bit0 -x2750_bit0 x2482_bit0 -x2751_bit0 x2498_bit0 x2752_bit0 -x2516_bit0 -x2753_bit0 -x2525_bit0 -x2754_bit0 x2533_bit0 x2755_bit0 -x2543_bit0 -x2756_bit0 -x191_bit0 -x192_bit0 -x194_bit0 -x2586_bit0 -x12_bit0 -x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x2569_bit0 -x25_bit0 x26_bit0 -x28_bit0 -x2570_bit0 -x40_bit0 -x41_bit0 -x43_bit0 -x2571_bit0 -x52_bit0 -x53_bit0 -x55_bit0 -x2572_bit0 -x63_bit0 -x64_bit0 -x2573_bit0 -x69_bit0 -x71_bit0 x72_bit0 x2574_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x2575_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x2576_bit0 -x202_bit0 -x203_bit0 -x2587_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x2588_bit0 -x220_bit0 x221_bit0 -x223_bit0 x2589_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x2590_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x2591_bit0 x264_bit0 x2593_bit0 -x269_bit0 -x2594_bit0 -x282_bit0 -x287_bit0 -x288_bit0 x2596_bit0 -x301_bit0 -x302_bit0 x2597_bit0 -x311_bit0 -x312_bit0 -x2598_bit0 -x324_bit0 -x325_bit0 -x2599_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x2600_bit0 -x346_bit0 x350_bit0 x355_bit0 x2601_bit0 -x364_bit0 -x365_bit0 x2602_bit0 -x378_bit0 -x379_bit0 -x2603_bit0 -x388_bit0 -x389_bit0 -x2604_bit0 -x401_bit0 -x402_bit0 -x2605_bit0 -x413_bit0 -x414_bit0 -x2606_bit0 x427_bit0 x2607_bit0 -x2608_bit0 -x2609_bit0 -x455_bit0 -x2610_bit0 -x462_bit0 -x2611_bit0 -x477_bit0 -x478_bit0 -x2612_bit0 -x487_bit0 -x488_bit0 -x2613_bit0 -x504_bit0 -x505_bit0 -x2614_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x2615_bit0 x534_bit0 x2616_bit0 -x547_bit0 -x548_bit0 -x2617_bit0 -x557_bit0 -x558_bit0 -x2618_bit0 -x574_bit0 x575_bit0 -x2619_bit0 -x590_bit0 x591_bit0 -x2620_bit0 -x604_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x632_bit0 -x2624_bit0 x2625_bit0 -x649_bit0 -x654_bit0 -x655_bit0 -x2626_bit0 -x664_bit0 -x665_bit0 -x2627_bit0 -x257_bit0 -x2592_bit0 -x681_bit0 -x682_bit0 -x2628_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x2629_bit0 x711_bit0 x2630_bit0 -x724_bit0 -x725_bit0 -x2631_bit0 -x734_bit0 -x735_bit0 -x2632_bit0 -x751_bit0 x752_bit0 -x2633_bit0 -x767_bit0 x768_bit0 -x2634_bit0 -x781_bit0 -x2635_bit0 -x794_bit0 x795_bit0 x2636_bit0 -x801_bit0 x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 x808_bit0 -x809_bit0 x810_bit0 -x811_bit0 x2637_bit0 -x819_bit0 x820_bit0 x2638_bit0 x826_bit0 -x827_bit0 -x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 x834_bit0 x835_bit0 x836_bit0 x2639_bit0 -x844_bit0 -x845_bit0 x2640_bit0 -x852_bit0 -x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x2641_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 -x2642_bit0 x881_bit0 x2643_bit0 -x894_bit0 -x895_bit0 x2644_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x2645_bit0 -x919_bit0 -x920_bit0 x2646_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x2647_bit0 -x944_bit0 -x945_bit0 -x2648_bit0 -x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x2649_bit0 -x966_bit0 -x968_bit0 -x969_bit0 -x2650_bit0 x981_bit0 x2651_bit0 -x998_bit0 -x999_bit0 x2652_bit0 -x1006_bit0 x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x2653_bit0 -x1027_bit0 -x1028_bit0 x2654_bit0 -x1044_bit0 -x1046_bit0 -x1047_bit0 -x2655_bit0 -x1068_bit0 -x1069_bit0 -x2656_bit0 -x1089_bit0 -x1090_bit0 -x2657_bit0 -x277_bit0 -x2595_bit0 -x1104_bit0 -x1105_bit0 -x2658_bit0 x1125_bit0 x2659_bit0 -x1142_bit0 -x1143_bit0 x2660_bit0 -x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x2661_bit0 -x1171_bit0 -x1172_bit0 -x2662_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x2663_bit0 -x1212_bit0 -x1213_bit0 -x2664_bit0 -x1233_bit0 -x1234_bit0 -x2665_bit0 -x1248_bit0 x1249_bit0 -x2666_bit0 
c Exit Code: 10
c Total time: 1175.01 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.79 0.94 0.96 2/54 16583
Raw data (stat): 16583 (runsolver) R 16582 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776991635 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.0002 s]
Raw data (loadavg): 0.82 0.94 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 17726 0 0 0 960 37 0 0 25 0 1 0 776991635 76292096 17695 4294967295 134512640 134714540 3221224592 3221223016 1077377266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 17695 1111 63 0 18563 0
vsize: 74504
[startup+20.0014 s]
Raw data (loadavg): 0.85 0.94 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 18883 0 0 0 1952 40 0 0 25 0 1 0 776991635 81022976 18852 4294967295 134512640 134714540 3221224592 3221223112 1077377790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19781 18852 1111 63 0 19718 0
vsize: 79124
[startup+30.0021 s]
Raw data (loadavg): 0.87 0.94 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 18918 0 0 0 2949 43 0 0 25 0 1 0 776991635 81125376 18887 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19806 18887 1111 63 0 19743 0
vsize: 79224
[startup+40.0021 s]
Raw data (loadavg): 0.89 0.94 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 18959 0 0 0 3947 45 0 0 25 0 1 0 776991635 81260544 18928 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19839 18928 1111 63 0 19776 0
vsize: 79356
[startup+50.0025 s]
Raw data (loadavg): 0.91 0.94 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19007 0 0 0 4945 47 0 0 25 0 1 0 776991635 81530880 18976 4294967295 134512640 134714540 3221224592 3221223256 1077377385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19905 18976 1111 63 0 19842 0
vsize: 79620
[startup+60.0022 s]
Raw data (loadavg): 0.92 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19007 0 0 0 5943 50 0 0 25 0 1 0 776991635 81530880 18976 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19905 18976 1111 63 0 19842 0
vsize: 79620
[startup+70.0037 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19063 0 0 0 6940 52 0 0 25 0 1 0 776991635 81653760 19032 4294967295 134512640 134714540 3221224592 3221223312 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19935 19032 1111 63 0 19872 0
vsize: 79740
[startup+80.0041 s]
Raw data (loadavg): 0.94 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19068 0 0 0 7939 53 0 0 25 0 1 0 776991635 81788928 19037 4294967295 134512640 134714540 3221224592 3221222932 1077374152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19968 19037 1111 63 0 19905 0
vsize: 79872
[startup+90.0035 s]
Raw data (loadavg): 0.95 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19198 0 0 0 8938 54 0 0 25 0 1 0 776991635 82305024 19167 4294967295 134512640 134714540 3221224592 3221223128 1077378421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20094 19167 1111 63 0 20031 0
vsize: 80376
[startup+100.004 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19198 0 0 0 9937 56 0 0 25 0 1 0 776991635 82182144 19161 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20064 19161 1111 63 0 20001 0
vsize: 80256
[startup+110.004 s]
Raw data (loadavg): 0.96 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 10937 56 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223220 134594374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 11935 58 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223288 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+130.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 12934 59 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223096 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 13933 61 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 14932 61 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223216 1076647872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+160.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 15931 63 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223120 134540030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+170.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 16931 64 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223104 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 17930 64 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223164 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 18929 66 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223248 134540186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 19928 67 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 20927 68 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223172 134542593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 21926 69 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221222948 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 22925 70 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 23924 71 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223228 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 24924 72 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 25923 73 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 26922 74 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 27922 75 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 28921 75 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 29920 77 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223120 134539888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 30918 78 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 31917 80 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 32916 81 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223172 134535326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 33915 82 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223344 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 34914 83 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223296 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 35913 84 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 36910 86 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 37909 87 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 38908 88 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 39907 90 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 40906 91 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221222972 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 41906 92 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223392 134623864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 42904 93 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223224 134594352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 43904 94 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 44903 96 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223296 134523399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 45901 97 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223248 134524471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 46900 98 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223280 134558537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 47899 99 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223304 134592430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 48898 100 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223312 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 49897 102 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223368 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 50896 102 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223240 1077374435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.96 3/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 51896 103 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223184 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 52895 105 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223208 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 53894 105 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 54893 106 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223312 134535468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 55893 107 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 56892 108 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 57890 109 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223256 134539591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 58890 111 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223388 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 59888 112 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 60888 113 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 61887 113 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223316 134542620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 62886 115 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223148 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 63885 116 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223148 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 64884 117 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223288 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 65883 118 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223172 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 66883 119 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 67882 120 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223420 134524384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 68881 121 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223208 134672929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 69880 122 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223104 134542308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 70880 122 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221222844 1077379840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 71879 123 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223328 134538875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 72879 124 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223148 134535542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 73878 125 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223104 134540074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 74877 126 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223292 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 75876 127 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223148 134535512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19237 0 0 0 76876 128 0 0 25 0 1 0 776991635 82452480 19200 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19286 0 0 0 77874 129 0 0 25 0 1 0 776991635 82587648 19249 4294967295 134512640 134714540 3221224592 3221223112 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20163 19249 1111 63 0 20100 0
vsize: 80652
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19286 0 0 0 78874 130 0 0 25 0 1 0 776991635 82587648 19249 4294967295 134512640 134714540 3221224592 3221223112 1077378379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20163 19249 1111 63 0 20100 0
vsize: 80652
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19286 0 0 0 79873 131 0 0 25 0 1 0 776991635 82587648 19249 4294967295 134512640 134714540 3221224592 3221222828 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20163 19249 1111 63 0 20100 0
vsize: 80652
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 80873 131 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221223296 134603759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 81872 133 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 82871 133 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 83871 134 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221223384 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 84870 135 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19338 0 0 0 85870 136 0 0 25 0 1 0 776991635 82862080 19301 4294967295 134512640 134714540 3221224592 3221223248 134524477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19339 0 0 0 86869 136 0 0 25 0 1 0 776991635 82862080 19302 4294967295 134512640 134714540 3221224592 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19302 1111 63 0 20167 0
vsize: 80920
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19339 0 0 0 87868 138 0 0 25 0 1 0 776991635 82862080 19302 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19302 1111 63 0 20167 0
vsize: 80920
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19339 0 0 0 88868 138 0 0 25 0 1 0 776991635 82862080 19302 4294967295 134512640 134714540 3221224592 3221223108 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 19302 1111 63 0 20167 0
vsize: 80920
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 89867 139 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223148 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 90866 140 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223312 134558526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 91865 141 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223172 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 92865 141 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223388 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 93865 142 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223096 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 94864 143 0 0 25 0 1 0 776991635 83132416 19379 4294967295 134512640 134714540 3221224592 3221223128 1077378412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 95863 144 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223316 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 96862 145 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223416 134586932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 97862 146 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223280 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 98861 147 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223292 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 99860 148 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 100860 148 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223440 134623830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 101859 149 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223116 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 102858 150 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 103857 152 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223120 134540186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19416 0 0 0 104856 153 0 0 25 0 1 0 776991635 83058688 19375 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 105854 155 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223272 134591837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 106852 156 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223348 134523855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 107851 157 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223276 134532458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 108850 158 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 109849 159 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223248 134540168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 110848 160 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 111848 161 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223104 134540037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1130.02 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 112847 162 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223016 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1140.02 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 113846 163 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223436 134623273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1150.02 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 114846 164 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221222972 1077379863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1160.02 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 115845 165 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223068 1077378561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1170.02 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 116844 165 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1174.98 s]
Raw data (loadavg): 1.03 0.99 0.97 1/53 16583
Raw data (stat): 16583 (bsolo_mis) R 16582 7266 7265 0 -1 0 19426 0 0 0 116844 165 0 0 25 0 1 0 776991635 83193856 19385 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.06
CPU user time (s): 1173.36
CPU system time (s): 1.70174
CPU usage (%): 100.007
Max. virtual memory (Kb): 81244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	9050
#### END VERIFIER DATA ####