Some explanations

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

General information on the benchmark

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

Trace number 25747 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 05:11:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17878 boxname=wulflinc31 idbench=1376 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17878
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        869052 kB
Buffers:          1868 kB
Cached:         143772 kB
SwapCached:        900 kB
Active:          53036 kB
Inactive:        94736 kB
HighTotal:      131008 kB
HighFree:        44968 kB
LowTotal:       903652 kB
LowFree:        824084 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12212 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 05:30:45 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 17878 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2756 variables and 749 constraints.
c After prepocess the problem consists of 2723 variables and 732 constraints.
c preprocess terminated 12.321 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.974
c NEW SOLUTION FOUND: 14456 @ 17.978
c NEW SOLUTION FOUND: 14454 @ 17.981
c NEW SOLUTION FOUND: 14453 @ 17.986
c NEW SOLUTION FOUND: 14452 @ 17.991
c NEW SOLUTION FOUND: 14451 @ 17.995
c NEW SOLUTION FOUND: 14357 @ 17.999
c NEW SOLUTION FOUND: 14356 @ 18.002
c NEW SOLUTION FOUND: 14330 @ 18.017
c NEW SOLUTION FOUND: 14301 @ 18.023
c NEW SOLUTION FOUND: 14300 @ 18.026
c NEW SOLUTION FOUND: 14299 @ 18.03
c NEW SOLUTION FOUND: 14271 @ 18.036
c NEW SOLUTION FOUND: 14240 @ 18.042
c NEW SOLUTION FOUND: 14238 @ 18.068
c NEW SOLUTION FOUND: 14237 @ 18.089
c NEW SOLUTION FOUND: 14234 @ 18.168
c NEW SOLUTION FOUND: 14207 @ 18.206
c NEW SOLUTION FOUND: 14203 @ 18.219
c NEW SOLUTION FOUND: 14201 @ 18.275
c NEW SOLUTION FOUND: 14176 @ 18.39
c NEW SOLUTION FOUND: 14172 @ 18.397
c NEW SOLUTION FOUND: 14153 @ 18.442
c NEW SOLUTION FOUND: 14142 @ 18.509
c NEW SOLUTION FOUND: 14115 @ 18.554
c NEW SOLUTION FOUND: 14111 @ 18.563
c NEW SOLUTION FOUND: 14110 @ 18.848
c NEW SOLUTION FOUND: 14109 @ 18.852
c NEW SOLUTION FOUND: 14108 @ 19.023
c NEW SOLUTION FOUND: 14107 @ 19.029
c NEW SOLUTION FOUND: 14105 @ 19.034
c NEW SOLUTION FOUND: 14094 @ 19.09
c NEW SOLUTION FOUND: 14092 @ 19.095
c NEW SOLUTION FOUND: 14065 @ 19.129
c NEW SOLUTION FOUND: 14063 @ 19.133
c NEW SOLUTION FOUND: 14045 @ 19.231
c NEW SOLUTION FOUND: 14043 @ 19.239
c NEW SOLUTION FOUND: 14041 @ 19.246
c NEW SOLUTION FOUND: 14040 @ 19.467
c NEW SOLUTION FOUND: 14039 @ 19.709
c NEW SOLUTION FOUND: 14038 @ 19.957
c NEW SOLUTION FOUND: 14037 @ 20.2
c NEW SOLUTION FOUND: 14036 @ 20.499
c NEW SOLUTION FOUND: 14035 @ 20.79
c NEW SOLUTION FOUND: 14033 @ 20.805
c NEW SOLUTION FOUND: 14031 @ 21.121
c NEW SOLUTION FOUND: 14029 @ 21.167
c NEW SOLUTION FOUND: 14027 @ 21.187
c NEW SOLUTION FOUND: 14023 @ 21.473
c NEW SOLUTION FOUND: 14009 @ 21.614
c NEW SOLUTION FOUND: 14007 @ 21.633
c NEW SOLUTION FOUND: 14003 @ 21.655
c NEW SOLUTION FOUND: 13987 @ 21.754
c NEW SOLUTION FOUND: 13985 @ 21.77
c NEW SOLUTION FOUND: 13981 @ 21.793
c NEW SOLUTION FOUND: 13968 @ 22.009
c NEW SOLUTION FOUND: 13952 @ 22.113
c NEW SOLUTION FOUND: 13950 @ 22.132
c NEW SOLUTION FOUND: 13946 @ 22.157
c NEW SOLUTION FOUND: 13931 @ 22.402
c NEW SOLUTION FOUND: 13929 @ 22.434
c NEW SOLUTION FOUND: 13927 @ 22.451
c NEW SOLUTION FOUND: 13920 @ 22.528
c NEW SOLUTION FOUND: 13918 @ 22.55
c NEW SOLUTION FOUND: 13914 @ 22.571
c NEW SOLUTION FOUND: 13911 @ 22.632
c NEW SOLUTION FOUND: 13909 @ 22.66
c NEW SOLUTION FOUND: 13907 @ 22.682
c NEW SOLUTION FOUND: 13889 @ 22.736
c NEW SOLUTION FOUND: 13887 @ 22.767
c NEW SOLUTION FOUND: 13885 @ 22.785
c NEW SOLUTION FOUND: 13883 @ 23.219
c NEW SOLUTION FOUND: 13865 @ 23.269
c NEW SOLUTION FOUND: 13861 @ 23.309
c NEW SOLUTION FOUND: 13852 @ 23.787
c NEW SOLUTION FOUND: 13848 @ 23.822
c NEW SOLUTION FOUND: 13847 @ 23.867
c NEW SOLUTION FOUND: 13845 @ 23.888
c NEW SOLUTION FOUND: 13841 @ 23.912
c NEW SOLUTION FOUND: 13823 @ 23.96
c NEW SOLUTION FOUND: 13821 @ 23.991
c NEW SOLUTION FOUND: 13819 @ 24.012
c NEW SOLUTION FOUND: 13817 @ 24.416
c NEW SOLUTION FOUND: 13815 @ 24.444
c NEW SOLUTION FOUND: 13813 @ 24.467
c NEW SOLUTION FOUND: 13793 @ 24.501
c NEW SOLUTION FOUND: 13791 @ 24.524
c NEW SOLUTION FOUND: 13790 @ 26.365
c NEW SOLUTION FOUND: 13774 @ 27.308
c NEW SOLUTION FOUND: 13772 @ 27.335
c NEW SOLUTION FOUND: 13768 @ 27.362
c NEW SOLUTION FOUND: 13762 @ 27.833
c NEW SOLUTION FOUND: 13746 @ 27.874
c NEW SOLUTION FOUND: 13744 @ 27.901
c NEW SOLUTION FOUND: 13740 @ 27.928
c NEW SOLUTION FOUND: 13739 @ 28.942
c NEW SOLUTION FOUND: 13723 @ 30.182
c NEW SOLUTION FOUND: 13721 @ 30.209
c NEW SOLUTION FOUND: 13717 @ 30.237
c NEW SOLUTION FOUND: 13715 @ 31.176
c NEW SOLUTION FOUND: 13713 @ 33.038
c NEW SOLUTION FOUND: 13711 @ 33.956
c NEW SOLUTION FOUND: 13695 @ 33.998
c NEW SOLUTION FOUND: 13693 @ 34.026
c NEW SOLUTION FOUND: 13689 @ 34.052
c NEW SOLUTION FOUND: 13688 @ 34.157
c NEW SOLUTION FOUND: 13686 @ 34.181
c NEW SOLUTION FOUND: 13685 @ 34.296
c NEW SOLUTION FOUND: 13683 @ 34.319
c NEW SOLUTION FOUND: 13667 @ 34.356
c NEW SOLUTION FOUND: 13665 @ 34.38
c NEW SOLUTION FOUND: 13663 @ 34.41
c NEW SOLUTION FOUND: 13661 @ 34.433
c NEW SOLUTION FOUND: 13658 @ 35.126
c NEW SOLUTION FOUND: 13657 @ 35.244
c NEW SOLUTION FOUND: 13655 @ 35.271
c NEW SOLUTION FOUND: 13637 @ 35.304
c NEW SOLUTION FOUND: 13635 @ 35.336
c NEW SOLUTION FOUND: 13633 @ 35.359
c NEW SOLUTION FOUND: 13631 @ 36.372
c NEW SOLUTION FOUND: 13629 @ 36.396
c NEW SOLUTION FOUND: 13628 @ 42.246
c NEW SOLUTION FOUND: 13627 @ 42.261
c NEW SOLUTION FOUND: 13611 @ 45.474
c NEW SOLUTION FOUND: 13609 @ 45.499
c NEW SOLUTION FOUND: 13607 @ 45.773
c NEW SOLUTION FOUND: 13591 @ 46.755
c NEW SOLUTION FOUND: 13589 @ 46.785
c NEW SOLUTION FOUND: 13585 @ 46.811
c NEW SOLUTION FOUND: 13583 @ 46.978
c NEW SOLUTION FOUND: 13581 @ 49.662
c NEW SOLUTION FOUND: 13123 @ 54.679
c NEW SOLUTION FOUND: 13122 @ 54.689
c NEW SOLUTION FOUND: 13120 @ 54.713
c NEW SOLUTION FOUND: 13072 @ 54.738
c NEW SOLUTION FOUND: 13029 @ 54.757
c NEW SOLUTION FOUND: 13027 @ 54.787
c NEW SOLUTION FOUND: 13025 @ 54.803
c NEW SOLUTION FOUND: 13023 @ 54.825
c NEW SOLUTION FOUND: 13005 @ 54.844
c NEW SOLUTION FOUND: 12982 @ 54.859
c NEW SOLUTION FOUND: 12980 @ 54.876
c NEW SOLUTION FOUND: 12963 @ 54.918
c NEW SOLUTION FOUND: 12928 @ 54.933
c NEW SOLUTION FOUND: 12922 @ 54.944
c NEW SOLUTION FOUND: 12920 @ 54.963
c NEW SOLUTION FOUND: 12895 @ 54.983
c NEW SOLUTION FOUND: 12872 @ 54.998
c NEW SOLUTION FOUND: 12835 @ 55.014
c NEW SOLUTION FOUND: 12829 @ 55.025
c NEW SOLUTION FOUND: 12827 @ 55.048
c NEW SOLUTION FOUND: 12825 @ 55.064
c NEW SOLUTION FOUND: 12809 @ 55.089
c NEW SOLUTION FOUND: 12807 @ 55.113
c NEW SOLUTION FOUND: 12805 @ 55.135
c NEW SOLUTION FOUND: 12803 @ 55.157
c NEW SOLUTION FOUND: 12798 @ 55.184
c NEW SOLUTION FOUND: 12775 @ 55.199
c NEW SOLUTION FOUND: 12773 @ 55.216
c NEW SOLUTION FOUND: 12771 @ 55.238
c NEW SOLUTION FOUND: 12769 @ 55.262
c NEW SOLUTION FOUND: 12744 @ 55.298
c NEW SOLUTION FOUND: 12742 @ 55.325
c NEW SOLUTION FOUND: 12740 @ 55.342
c NEW SOLUTION FOUND: 12739 @ 55.401
c NEW SOLUTION FOUND: 12737 @ 55.425
c NEW SOLUTION FOUND: 12718 @ 55.498
c NEW SOLUTION FOUND: 12716 @ 55.52
c NEW SOLUTION FOUND: 12714 @ 55.547
c NEW SOLUTION FOUND: 12712 @ 55.564
c NEW SOLUTION FOUND: 12710 @ 55.643
c NEW SOLUTION FOUND: 12708 @ 55.667
c NEW SOLUTION FOUND: 12690 @ 55.7
c NEW SOLUTION FOUND: 12688 @ 55.726
c NEW SOLUTION FOUND: 12686 @ 55.743
c NEW SOLUTION FOUND: 12675 @ 55.838
c NEW SOLUTION FOUND: 12673 @ 55.855
c NEW SOLUTION FOUND: 12671 @ 55.877
c NEW SOLUTION FOUND: 12669 @ 55.901
c NEW SOLUTION FOUND: 12666 @ 55.993
c NEW SOLUTION FOUND: 12648 @ 56.025
c NEW SOLUTION FOUND: 12644 @ 56.053
c NEW SOLUTION FOUND: 12642 @ 56.209
c NEW SOLUTION FOUND: 12640 @ 56.381
c NEW SOLUTION FOUND: 12624 @ 56.411
c NEW SOLUTION FOUND: 12622 @ 56.428
c NEW SOLUTION FOUND: 12620 @ 56.449
c NEW SOLUTION FOUND: 12618 @ 56.473
c NEW SOLUTION FOUND: 12616 @ 56.624
c NEW SOLUTION FOUND: 12614 @ 56.648
c NEW SOLUTION FOUND: 12596 @ 56.672
c NEW SOLUTION FOUND: 12594 @ 56.699
c NEW SOLUTION FOUND: 12592 @ 56.716
c NEW SOLUTION FOUND: 12581 @ 56.789
c NEW SOLUTION FOUND: 12579 @ 56.806
c NEW SOLUTION FOUND: 12577 @ 56.827
c NEW SOLUTION FOUND: 12575 @ 56.851
c NEW SOLUTION FOUND: 12572 @ 56.941
c NEW SOLUTION FOUND: 12556 @ 56.973
c NEW SOLUTION FOUND: 12554 @ 56.989
c NEW SOLUTION FOUND: 12552 @ 57.011
c NEW SOLUTION FOUND: 12550 @ 57.035
c NEW SOLUTION FOUND: 12548 @ 57.182
c NEW SOLUTION FOUND: 12546 @ 57.206
c NEW SOLUTION FOUND: 12545 @ 57.491
c NEW SOLUTION FOUND: 12544 @ 57.537
c NEW SOLUTION FOUND: 12542 @ 57.561
c NEW SOLUTION FOUND: 12524 @ 57.585
c NEW SOLUTION FOUND: 12522 @ 57.612
c NEW SOLUTION FOUND: 12520 @ 57.629
c NEW SOLUTION FOUND: 12518 @ 57.793
c NEW SOLUTION FOUND: 12517 @ 58.214
c NEW SOLUTION FOUND: 12501 @ 58.243
c NEW SOLUTION FOUND: 12499 @ 58.26
c NEW SOLUTION FOUND: 12497 @ 58.282
c NEW SOLUTION FOUND: 12495 @ 58.305
c NEW SOLUTION FOUND: 12493 @ 58.423
c NEW SOLUTION FOUND: 12491 @ 58.445
c NEW SOLUTION FOUND: 12469 @ 58.88
c NEW SOLUTION FOUND: 12467 @ 59.006
c NEW SOLUTION FOUND: 12466 @ 59.718
c NEW SOLUTION FOUND: 12450 @ 59.752
c NEW SOLUTION FOUND: 12448 @ 59.771
c NEW SOLUTION FOUND: 12446 @ 59.796
c NEW SOLUTION FOUND: 12444 @ 59.815
c NEW SOLUTION FOUND: 12442 @ 59.897
c NEW SOLUTION FOUND: 12441 @ 60.574
c NEW SOLUTION FOUND: 12439 @ 60.644
c NEW SOLUTION FOUND: 12437 @ 60.784
c NEW SOLUTION FOUND: 12421 @ 60.813
c NEW SOLUTION FOUND: 12419 @ 60.831
c NEW SOLUTION FOUND: 12417 @ 60.856
c NEW SOLUTION FOUND: 12415 @ 60.875
c NEW SOLUTION FOUND: 12413 @ 60.962
c NEW SOLUTION FOUND: 12411 @ 60.981
c NEW SOLUTION FOUND: 12410 @ 61.187
c NEW SOLUTION FOUND: 12409 @ 61.241
c NEW SOLUTION FOUND: 12407 @ 61.263
c NEW SOLUTION FOUND: 12389 @ 61.287
c NEW SOLUTION FOUND: 12387 @ 61.314
c NEW SOLUTION FOUND: 12385 @ 61.332
c NEW SOLUTION FOUND: 12383 @ 61.415
c NEW SOLUTION FOUND: 12381 @ 62.14
c NEW SOLUTION FOUND: 12379 @ 62.162
c NEW SOLUTION FOUND: 12375 @ 62.252
c NEW SOLUTION FOUND: 12357 @ 62.482
c NEW SOLUTION FOUND: 12355 @ 62.507
c NEW SOLUTION FOUND: 12353 @ 62.529
c NEW SOLUTION FOUND: 12351 @ 62.612
c NEW SOLUTION FOUND: 12334 @ 63.175
c NEW SOLUTION FOUND: 12332 @ 63.197
c NEW SOLUTION FOUND: 12330 @ 63.221
c NEW SOLUTION FOUND: 12328 @ 63.292
c NEW SOLUTION FOUND: 12326 @ 63.52
c NEW SOLUTION FOUND: 12310 @ 63.55
c NEW SOLUTION FOUND: 12308 @ 63.574
c NEW SOLUTION FOUND: 12304 @ 63.595
c NEW SOLUTION FOUND: 12302 @ 63.673
c NEW SOLUTION FOUND: 12300 @ 63.692
c NEW SOLUTION FOUND: 12286 @ 64.525
c NEW SOLUTION FOUND: 12284 @ 64.545
c NEW SOLUTION FOUND: 12282 @ 64.57
c NEW SOLUTION FOUND: 12280 @ 64.589
c NEW SOLUTION FOUND: 12278 @ 64.66
c NEW SOLUTION FOUND: 12273 @ 65.229
c NEW SOLUTION FOUND: 12271 @ 65.3
c NEW SOLUTION FOUND: 12270 @ 65.401
c NEW SOLUTION FOUND: 12268 @ 65.424
c NEW SOLUTION FOUND: 12267 @ 65.524
c NEW SOLUTION FOUND: 12251 @ 65.551
c NEW SOLUTION FOUND: 12249 @ 65.571
c NEW SOLUTION FOUND: 12247 @ 65.596
c NEW SOLUTION FOUND: 12245 @ 65.614
c NEW SOLUTION FOUND: 12243 @ 65.685
c NEW SOLUTION FOUND: 12227 @ 65.906
c NEW SOLUTION FOUND: 12225 @ 65.936
c NEW SOLUTION FOUND: 12223 @ 65.955
c NEW SOLUTION FOUND: 12219 @ 66.034
c NEW SOLUTION FOUND: 12217 @ 66.959
c NEW SOLUTION FOUND: 12215 @ 67.86
c NEW SOLUTION FOUND: 12214 @ 68.614
c NEW SOLUTION FOUND: 12212 @ 68.633
c NEW SOLUTION FOUND: 12209 @ 70.167
c NEW SOLUTION FOUND: 12207 @ 71.499
c NEW SOLUTION FOUND: 12204 @ 77.886
c NEW SOLUTION FOUND: 12202 @ 78.144
c NEW SOLUTION FOUND: 12199 @ 79.46
c NEW SOLUTION FOUND: 12198 @ 81.801
c NEW SOLUTION FOUND: 12196 @ 82.044
c NEW SOLUTION FOUND: 12195 @ 83.508
c NEW SOLUTION FOUND: 12184 @ 84.726
c NEW SOLUTION FOUND: 12182 @ 84.752
c NEW SOLUTION FOUND: 12180 @ 84.836
c NEW SOLUTION FOUND: 12178 @ 84.862
c NEW SOLUTION FOUND: 12177 @ 84.983
c NEW SOLUTION FOUND: 12175 @ 85.076
c NEW SOLUTION FOUND: 12174 @ 90.409
c NEW SOLUTION FOUND: 12173 @ 90.528
c NEW SOLUTION FOUND: 12172 @ 90.541
c NEW SOLUTION FOUND: 11990 @ 117.155
c NEW SOLUTION FOUND: 11949 @ 117.187
c NEW SOLUTION FOUND: 11947 @ 117.218
c NEW SOLUTION FOUND: 11899 @ 117.243
c NEW SOLUTION FOUND: 11858 @ 117.267
c NEW SOLUTION FOUND: 11856 @ 117.289
c NEW SOLUTION FOUND: 11854 @ 117.318
c NEW SOLUTION FOUND: 11852 @ 117.342
c NEW SOLUTION FOUND: 11811 @ 117.379
c NEW SOLUTION FOUND: 11770 @ 117.403
c NEW SOLUTION FOUND: 11768 @ 117.43
c NEW SOLUTION FOUND: 11752 @ 117.467
c NEW SOLUTION FOUND: 11750 @ 117.494
c NEW SOLUTION FOUND: 11746 @ 117.521
c NEW SOLUTION FOUND: 11745 @ 117.558
c NEW SOLUTION FOUND: 11743 @ 117.581
c NEW SOLUTION FOUND: 11741 @ 117.608
c NEW SOLUTION FOUND: 11739 @ 117.63
c NEW SOLUTION FOUND: 11732 @ 117.682
c NEW SOLUTION FOUND: 11730 @ 117.706
c NEW SOLUTION FOUND: 11728 @ 117.733
c NEW SOLUTION FOUND: 11726 @ 117.755
c NEW SOLUTION FOUND: 11711 @ 117.851
c NEW SOLUTION FOUND: 11709 @ 117.875
c NEW SOLUTION FOUND: 11705 @ 117.9
c NEW SOLUTION FOUND: 11703 @ 118.058
c NEW SOLUTION FOUND: 11700 @ 118.214
c NEW SOLUTION FOUND: 11698 @ 118.249
c NEW SOLUTION FOUND: 11696 @ 118.276
c NEW SOLUTION FOUND: 11688 @ 118.351
c NEW SOLUTION FOUND: 11686 @ 118.38
c NEW SOLUTION FOUND: 11682 @ 118.407
c NEW SOLUTION FOUND: 11681 @ 118.452
c NEW SOLUTION FOUND: 11679 @ 118.476
c NEW SOLUTION FOUND: 11677 @ 118.506
c NEW SOLUTION FOUND: 11675 @ 118.531
c NEW SOLUTION FOUND: 11671 @ 118.656
c NEW SOLUTION FOUND: 11669 @ 119.018
c NEW SOLUTION FOUND: 11668 @ 119.449
c NEW SOLUTION FOUND: 11667 @ 119.678
c NEW SOLUTION FOUND: 11665 @ 119.926
c NEW SOLUTION FOUND: 11664 @ 121.095
c NEW SOLUTION FOUND: 11662 @ 121.507
c NEW SOLUTION FOUND: 11660 @ 122.164
c NEW SOLUTION FOUND: 11655 @ 122.536
c NEW SOLUTION FOUND: 11653 @ 122.57
c NEW SOLUTION FOUND: 11651 @ 122.593
c NEW SOLUTION FOUND: 11650 @ 122.63
c NEW SOLUTION FOUND: 11648 @ 122.654
c NEW SOLUTION FOUND: 11644 @ 122.679
c NEW SOLUTION FOUND: 11642 @ 122.822
c NEW SOLUTION FOUND: 11640 @ 122.846
c NEW SOLUTION FOUND: 11639 @ 123.538
c NEW SOLUTION FOUND: 11637 @ 123.728
c NEW SOLUTION FOUND: 11635 @ 124.789
c NEW SOLUTION FOUND: 11633 @ 124.814
c NEW SOLUTION FOUND: 11630 @ 124.984
c NEW SOLUTION FOUND: 11628 @ 125.019
c NEW SOLUTION FOUND: 11626 @ 125.042
c NEW SOLUTION FOUND: 11614 @ 125.161
c NEW SOLUTION FOUND: 11612 @ 125.183
c NEW SOLUTION FOUND: 11611 @ 125.218
c NEW SOLUTION FOUND: 11609 @ 125.24
c NEW SOLUTION FOUND: 11607 @ 125.267
c NEW SOLUTION FOUND: 11605 @ 125.296
c NEW SOLUTION FOUND: 11603 @ 125.469
c NEW SOLUTION FOUND: 11599 @ 125.78
c NEW SOLUTION FOUND: 11597 @ 126.566
c NEW SOLUTION FOUND: 11596 @ 127.985
c NEW SOLUTION FOUND: 11594 @ 128.38
c NEW SOLUTION FOUND: 11585 @ 129.492
c NEW SOLUTION FOUND: 11583 @ 129.516
c NEW SOLUTION FOUND: 11582 @ 129.554
c NEW SOLUTION FOUND: 11580 @ 129.578
c NEW SOLUTION FOUND: 11578 @ 129.609
c NEW SOLUTION FOUND: 11576 @ 129.633
c NEW SOLUTION FOUND: 11572 @ 129.994
c NEW SOLUTION FOUND: 11571 @ 130.269
c NEW SOLUTION FOUND: 11569 @ 130.545
c NEW SOLUTION FOUND: 11568 @ 134.995
c NEW SOLUTION FOUND: 11566 @ 135.023
c NEW SOLUTION FOUND: 11565 @ 135.993
c NEW SOLUTION FOUND: 11563 @ 136.021
c NEW SOLUTION FOUND: 11559 @ 136.049
c NEW SOLUTION FOUND: 11554 @ 136.084
c NEW SOLUTION FOUND: 11552 @ 136.108
c NEW SOLUTION FOUND: 11550 @ 136.221
c NEW SOLUTION FOUND: 11548 @ 136.245
c NEW SOLUTION FOUND: 11544 @ 136.58
c NEW SOLUTION FOUND: 11543 @ 136.864
c NEW SOLUTION FOUND: 11541 @ 137.159
c NEW SOLUTION FOUND: 11539 @ 138.364
c NEW SOLUTION FOUND: 11537 @ 138.587
c NEW SOLUTION FOUND: 11535 @ 139.007
c NEW SOLUTION FOUND: 11534 @ 139.285
c NEW SOLUTION FOUND: 11533 @ 139.318
c NEW SOLUTION FOUND: 11531 @ 139.348
c NEW SOLUTION FOUND: 11527 @ 139.376
c NEW SOLUTION FOUND: 11525 @ 139.644
c NEW SOLUTION FOUND: 11521 @ 139.928
c NEW SOLUTION FOUND: 11519 @ 139.957
c NEW SOLUTION FOUND: 11515 @ 139.987
c NEW SOLUTION FOUND: 11514 @ 140.024
c NEW SOLUTION FOUND: 11512 @ 140.049
c NEW SOLUTION FOUND: 11510 @ 140.081
c NEW SOLUTION FOUND: 11508 @ 140.106
c NEW SOLUTION FOUND: 11504 @ 140.31
c NEW SOLUTION FOUND: 11503 @ 140.67
c NEW SOLUTION FOUND: 11501 @ 141.005
c NEW SOLUTION FOUND: 11500 @ 141.961
c NEW SOLUTION FOUND: 11498 @ 142.858
c NEW SOLUTION FOUND: 11492 @ 143.926
c NEW SOLUTION FOUND: 11490 @ 143.955
c NEW SOLUTION FOUND: 11486 @ 143.984
c NEW SOLUTION FOUND: 11481 @ 144.021
c NEW SOLUTION FOUND: 11479 @ 144.046
c NEW SOLUTION FOUND: 11477 @ 144.357
c NEW SOLUTION FOUND: 11475 @ 144.383
c NEW SOLUTION FOUND: 11473 @ 144.912
c NEW SOLUTION FOUND: 11472 @ 151.01
c NEW SOLUTION FOUND: 11470 @ 151.036
c NEW SOLUTION FOUND: 11466 @ 151.064
c NEW SOLUTION FOUND: 11465 @ 151.103
c NEW SOLUTION FOUND: 11463 @ 151.129
c NEW SOLUTION FOUND: 11459 @ 151.156
c NEW SOLUTION FOUND: 11455 @ 151.277
c NEW SOLUTION FOUND: 11453 @ 151.709
c NEW SOLUTION FOUND: 11452 @ 152.363
c NEW SOLUTION FOUND: 11450 @ 152.39
c NEW SOLUTION FOUND: 11449 @ 153.406
c NEW SOLUTION FOUND: 11447 @ 154.442
c NEW SOLUTION FOUND: 11444 @ 155.124
c NEW SOLUTION FOUND: 11442 @ 155.16
c NEW SOLUTION FOUND: 11440 @ 155.186
c NEW SOLUTION FOUND: 11437 @ 155.216
c NEW SOLUTION FOUND: 11435 @ 155.254
c NEW SOLUTION FOUND: 11433 @ 155.28
c NEW SOLUTION FOUND: 11431 @ 155.398
c NEW SOLUTION FOUND: 11429 @ 155.424
c NEW SOLUTION FOUND: 11425 @ 155.736
c NEW SOLUTION FOUND: 11424 @ 156.366
c NEW SOLUTION FOUND: 11422 @ 156.701
c NEW SOLUTION FOUND: 11421 @ 163.926
c NEW SOLUTION FOUND: 11418 @ 164.253
c NEW SOLUTION FOUND: 11416 @ 164.278
c NEW SOLUTION FOUND: 11414 @ 164.307
c NEW SOLUTION FOUND: 11412 @ 164.339
c NEW SOLUTION FOUND: 11409 @ 164.369
c NEW SOLUTION FOUND: 11407 @ 164.4
c NEW SOLUTION FOUND: 11405 @ 164.424
c NEW SOLUTION FOUND: 11402 @ 164.649
c NEW SOLUTION FOUND: 11400 @ 165.124
c NEW SOLUTION FOUND: 11399 @ 171.409
c NEW SOLUTION FOUND: 11397 @ 171.432
c NEW SOLUTION FOUND: 11394 @ 171.724
c NEW SOLUTION FOUND: 11392 @ 172
c NEW SOLUTION FOUND: 11390 @ 172.252
c NEW SOLUTION FOUND: 11387 @ 172.535
c NEW SOLUTION FOUND: 11385 @ 172.567
c NEW SOLUTION FOUND: 11381 @ 172.594
c NEW SOLUTION FOUND: 11376 @ 172.63
c NEW SOLUTION FOUND: 11374 @ 172.653
c NEW SOLUTION FOUND: 11373 @ 172.864
c NEW SOLUTION FOUND: 11371 @ 172.887
c NEW SOLUTION FOUND: 11369 @ 173.298
c NEW SOLUTION FOUND: 11368 @ 175.048
c NEW SOLUTION FOUND: 11366 @ 175.071
c NEW SOLUTION FOUND: 11364 @ 176.179
c NEW SOLUTION FOUND: 11362 @ 176.678
c NEW SOLUTION FOUND: 11360 @ 176.828
c NEW SOLUTION FOUND: 11358 @ 176.853
c NEW SOLUTION FOUND: 11355 @ 176.883
c NEW SOLUTION FOUND: 11353 @ 176.91
c NEW SOLUTION FOUND: 11351 @ 176.935
c NEW SOLUTION FOUND: 11347 @ 177.066
c NEW SOLUTION FOUND: 11345 @ 177.267
c NEW SOLUTION FOUND: 11344 @ 177.507
c NEW SOLUTION FOUND: 11343 @ 177.724
c NEW SOLUTION FOUND: 11341 @ 177.749
c NEW SOLUTION FOUND: 11340 @ 186.108
c NEW SOLUTION FOUND: 11339 @ 186.291
c NEW SOLUTION FOUND: 11338 @ 186.353
c NEW SOLUTION FOUND: 11337 @ 186.382
c NEW SOLUTION FOUND: 11336 @ 186.396
c NEW SOLUTION FOUND: 11334 @ 186.834
c NEW SOLUTION FOUND: 11333 @ 187.168
c NEW SOLUTION FOUND: 11332 @ 187.492
c NEW SOLUTION FOUND: 11330 @ 187.515
c NEW SOLUTION FOUND: 11329 @ 188.858
c NEW SOLUTION FOUND: 11327 @ 189.576
c NEW SOLUTION FOUND: 11326 @ 190.675
c NEW SOLUTION FOUND: 11325 @ 190.935
c NEW SOLUTION FOUND: 11324 @ 191.193
c NEW SOLUTION FOUND: 11323 @ 191.206
c NEW SOLUTION FOUND: 11319 @ 191.482
c NEW SOLUTION FOUND: 11317 @ 191.513
c NEW SOLUTION FOUND: 11315 @ 191.535
c NEW SOLUTION FOUND: 11308 @ 191.56
c NEW SOLUTION FOUND: 11304 @ 191.781
c NEW SOLUTION FOUND: 11302 @ 192.198
c NEW SOLUTION FOUND: 11301 @ 196.675
c NEW SOLUTION FOUND: 11300 @ 198.31
c NEW SOLUTION FOUND: 11299 @ 198.721
c NEW SOLUTION FOUND: 11298 @ 198.737
c NEW SOLUTION FOUND: 11294 @ 199.413
c NEW SOLUTION FOUND: 11292 @ 199.448
c NEW SOLUTION FOUND: 11290 @ 199.475
c NEW SOLUTION FOUND: 11287 @ 199.504
c NEW SOLUTION FOUND: 11285 @ 199.537
c NEW SOLUTION FOUND: 11283 @ 199.558
c NEW SOLUTION FOUND: 11280 @ 199.649
c NEW SOLUTION FOUND: 11279 @ 199.661
c NEW SOLUTION FOUND: 11277 @ 200.039
c NEW SOLUTION FOUND: 11275 @ 200.06
c NEW SOLUTION FOUND: 11273 @ 201.066
c NEW SOLUTION FOUND: 11267 @ 207.39
c NEW SOLUTION FOUND: 11265 @ 207.41
c NEW SOLUTION FOUND: 11261 @ 207.432
c NEW SOLUTION FOUND: 11256 @ 207.465
c NEW SOLUTION FOUND: 11254 @ 207.486
c NEW SOLUTION FOUND: 11252 @ 207.863
c NEW SOLUTION FOUND: 11250 @ 208.51
c NEW SOLUTION FOUND: 11249 @ 210.079
c NEW SOLUTION FOUND: 11247 @ 210.504
c NEW SOLUTION FOUND: 11246 @ 211.59
c NEW SOLUTION FOUND: 11242 @ 211.861
c NEW SOLUTION FOUND: 11240 @ 211.882
c NEW SOLUTION FOUND: 11236 @ 211.903
c NEW SOLUTION FOUND: 11235 @ 211.937
c NEW SOLUTION FOUND: 11233 @ 211.957
c NEW SOLUTION FOUND: 11229 @ 211.979
c NEW SOLUTION FOUND: 11225 @ 212.179
c NEW SOLUTION FOUND: 11224 @ 212.586
c NEW SOLUTION FOUND: 11223 @ 212.92
c NEW SOLUTION FOUND: 11222 @ 212.932
c NEW SOLUTION FOUND: 11220 @ 218.981
c NEW SOLUTION FOUND: 11218 @ 219.002
c NEW SOLUTION FOUND: 11215 @ 219.033
c NEW SOLUTION FOUND: 11213 @ 219.063
c NEW SOLUTION FOUND: 11211 @ 219.084
c NEW SOLUTION FOUND: 11209 @ 219.195
c NEW SOLUTION FOUND: 11207 @ 219.216
c NEW SOLUTION FOUND: 11203 @ 219.658
c NEW SOLUTION FOUND: 11202 @ 220.016
c NEW SOLUTION FOUND: 11200 @ 220.332
c NEW SOLUTION FOUND: 11199 @ 226.8
c NEW SOLUTION FOUND: 11197 @ 226.832
c NEW SOLUTION FOUND: 11195 @ 226.852
c NEW SOLUTION FOUND: 11192 @ 227.104
c NEW SOLUTION FOUND: 11187 @ 227.388
c NEW SOLUTION FOUND: 11186 @ 227.4
c NEW SOLUTION FOUND: 11184 @ 227.424
c NEW SOLUTION FOUND: 11180 @ 227.448
c NEW SOLUTION FOUND: 11175 @ 227.474
c NEW SOLUTION FOUND: 11173 @ 227.494
c NEW SOLUTION FOUND: 11171 @ 227.705
c NEW SOLUTION FOUND: 11169 @ 228.364
c NEW SOLUTION FOUND: 11168 @ 229.946
c NEW SOLUTION FOUND: 11166 @ 230.305
c NEW SOLUTION FOUND: 11158 @ 231.413
c NEW SOLUTION FOUND: 11156 @ 231.445
c NEW SOLUTION FOUND: 11154 @ 231.465
c NEW SOLUTION FOUND: 11147 @ 231.49
c NEW SOLUTION FOUND: 11145 @ 231.84
c NEW SOLUTION FOUND: 11144 @ 232.165
c NEW SOLUTION FOUND: 11143 @ 232.447
c NEW SOLUTION FOUND: 11141 @ 232.471
c NEW SOLUTION FOUND: 11139 @ 243.613
c NEW SOLUTION FOUND: 11137 @ 243.946
c NEW SOLUTION FOUND: 11136 @ 246.284
c NEW SOLUTION FOUND: 11134 @ 246.602
c NEW SOLUTION FOUND: 11133 @ 248.938
c NEW SOLUTION FOUND: 11131 @ 248.959
c NEW SOLUTION FOUND: 11127 @ 248.982
c NEW SOLUTION FOUND: 11126 @ 249.016
c NEW SOLUTION FOUND: 11124 @ 249.037
c NEW SOLUTION FOUND: 11120 @ 249.06
c NEW SOLUTION FOUND: 11116 @ 249.181
c NEW SOLUTION FOUND: 11114 @ 249.586
c NEW SOLUTION FOUND: 11112 @ 249.608
c NEW SOLUTION FOUND: 11111 @ 249.943
c NEW SOLUTION FOUND: 11109 @ 250.282
c NEW SOLUTION FOUND: 11107 @ 255.5
c NEW SOLUTION FOUND: 11105 @ 256.026
c NEW SOLUTION FOUND: 11103 @ 256.762
c NEW SOLUTION FOUND: 11102 @ 259.897
c NEW SOLUTION FOUND: 11101 @ 260.605
c NEW SOLUTION FOUND: 11100 @ 260.618
c NEW SOLUTION FOUND: 11095 @ 261.519
c NEW SOLUTION FOUND: 11093 @ 261.537
c NEW SOLUTION FOUND: 11091 @ 261.561
c NEW SOLUTION FOUND: 11089 @ 261.588
c NEW SOLUTION FOUND: 11088 @ 261.621
c NEW SOLUTION FOUND: 11086 @ 261.643
c NEW SOLUTION FOUND: 11084 @ 261.666
c NEW SOLUTION FOUND: 11082 @ 261.685
c NEW SOLUTION FOUND: 11078 @ 262.012
c NEW SOLUTION FOUND: 11077 @ 262.677
c NEW SOLUTION FOUND: 11075 @ 263.05
c NEW SOLUTION FOUND: 11073 @ 263.913
c NEW SOLUTION FOUND: 11071 @ 264.009
c NEW SOLUTION FOUND: 11066 @ 264.162
c NEW SOLUTION FOUND: 11064 @ 264.303
c NEW SOLUTION FOUND: 11062 @ 264.329
c NEW SOLUTION FOUND: 11060 @ 264.604
c NEW SOLUTION FOUND: 11058 @ 264.629
c NEW SOLUTION FOUND: 11052 @ 264.904
c NEW SOLUTION FOUND: 11050 @ 264.929
c NEW SOLUTION FOUND: 11046 @ 264.955
c NEW SOLUTION FOUND: 11041 @ 264.987
c NEW SOLUTION FOUND: 11039 @ 265.008
c NEW SOLUTION FOUND: 11037 @ 265.221
c NEW SOLUTION FOUND: 11035 @ 266.127
c NEW SOLUTION FOUND: 11034 @ 267.997
c NEW SOLUTION FOUND: 11032 @ 268.02
c NEW SOLUTION FOUND: 11029 @ 268.986
c NEW SOLUTION FOUND: 11027 @ 269.012
c NEW SOLUTION FOUND: 11025 @ 269.038
c NEW SOLUTION FOUND: 11022 @ 269.066
c NEW SOLUTION FOUND: 11020 @ 269.095
c NEW SOLUTION FOUND: 11018 @ 269.118
c NEW SOLUTION FOUND: 11016 @ 269.236
c NEW SOLUTION FOUND: 11014 @ 269.258
c NEW SOLUTION FOUND: 11012 @ 269.573
c NEW SOLUTION FOUND: 11010 @ 269.595
c NEW SOLUTION FOUND: 11009 @ 269.873
c NEW SOLUTION FOUND: 11007 @ 270.123
c NEW SOLUTION FOUND: 11005 @ 276.753
c NEW SOLUTION FOUND: 11003 @ 276.778
c NEW SOLUTION FOUND: 11001 @ 276.803
c NEW SOLUTION FOUND: 10995 @ 276.923
c NEW SOLUTION FOUND: 10993 @ 276.952
c NEW SOLUTION FOUND: 10991 @ 276.975
c NEW SOLUTION FOUND: 10990 @ 277.006
c NEW SOLUTION FOUND: 10988 @ 277.028
c NEW SOLUTION FOUND: 10986 @ 277.056
c NEW SOLUTION FOUND: 10984 @ 277.078
c NEW SOLUTION FOUND: 10982 @ 277.189
c NEW SOLUTION FOUND: 10980 @ 277.211
c NEW SOLUTION FOUND: 10978 @ 277.616
c NEW SOLUTION FOUND: 10976 @ 278.553
c NEW SOLUTION FOUND: 10975 @ 280.108
c NEW SOLUTION FOUND: 10973 @ 280.526
c NEW SOLUTION FOUND: 10969 @ 281.199
c NEW SOLUTION FOUND: 10967 @ 281.224
c NEW SOLUTION FOUND: 10965 @ 281.251
c NEW SOLUTION FOUND: 10962 @ 281.278
c NEW SOLUTION FOUND: 10960 @ 281.308
c NEW SOLUTION FOUND: 10958 @ 281.329
c NEW SOLUTION FOUND: 10956 @ 281.453
c NEW SOLUTION FOUND: 10954 @ 281.475
c NEW SOLUTION FOUND: 10950 @ 281.757
c NEW SOLUTION FOUND: 10948 @ 282.64
c NEW SOLUTION FOUND: 10947 @ 289.901
c NEW SOLUTION FOUND: 10946 @ 289.918
c NEW SOLUTION FOUND: 10944 @ 289.961
c NEW SOLUTION FOUND: 10942 @ 289.99
c NEW SOLUTION FOUND: 10941 @ 290.02
c NEW SOLUTION FOUND: 10940 @ 290.047
c NEW SOLUTION FOUND: 10939 @ 290.06
c NEW SOLUTION FOUND: 10937 @ 290.083
c NEW SOLUTION FOUND: 10935 @ 290.105
c NEW SOLUTION FOUND: 10931 @ 290.224
c NEW SOLUTION FOUND: 10929 @ 290.574
c NEW SOLUTION FOUND: 10928 @ 291.227
c NEW SOLUTION FOUND: 10926 @ 291.247
c NEW SOLUTION FOUND: 10925 @ 298.381
c NEW SOLUTION FOUND: 10922 @ 298.408
c NEW SOLUTION FOUND: 10918 @ 298.572
c NEW SOLUTION FOUND: 10916 @ 298.598
c NEW SOLUTION FOUND: 10912 @ 298.637
c NEW SOLUTION FOUND: 10909 @ 298.672
c NEW SOLUTION FOUND: 10907 @ 298.703
c NEW SOLUTION FOUND: 10905 @ 298.731
c NEW SOLUTION FOUND: 10901 @ 298.851
c NEW SOLUTION FOUND: 10899 @ 299.193
c NEW SOLUTION FOUND: 10898 @ 299.6
c NEW SOLUTION FOUND: 10895 @ 299.97
c NEW SOLUTION FOUND: 10894 @ 300.885
c NEW SOLUTION FOUND: 10892 @ 301.834
c NEW SOLUTION FOUND: 10887 @ 302.661
c NEW SOLUTION FOUND: 10886 @ 302.692
c NEW SOLUTION FOUND: 10884 @ 302.713
c NEW SOLUTION FOUND: 10880 @ 302.738
c NEW SOLUTION FOUND: 10875 @ 302.769
c NEW SOLUTION FOUND: 10873 @ 302.791
c NEW SOLUTION FOUND: 10871 @ 303.089
c NEW SOLUTION FOUND: 10870 @ 303.739
c NEW SOLUTION FOUND: 10868 @ 304.06
c NEW SOLUTION FOUND: 10867 @ 304.073
c NEW SOLUTION FOUND: 10861 @ 308.365
c NEW SOLUTION FOUND: 10855 @ 308.38
c NEW SOLUTION FOUND: 10853 @ 308.401
c NEW SOLUTION FOUND: 10852 @ 308.443
c NEW SOLUTION FOUND: 10850 @ 308.464
c NEW SOLUTION FOUND: 10848 @ 308.49
c NEW SOLUTION FOUND: 10846 @ 308.514
c NEW SOLUTION FOUND: 10837 @ 308.549
c NEW SOLUTION FOUND: 10835 @ 308.571
c NEW SOLUTION FOUND: 10833 @ 308.601
c NEW SOLUTION FOUND: 10831 @ 308.623
c NEW SOLUTION FOUND: 10826 @ 308.656
c NEW SOLUTION FOUND: 10824 @ 308.68
c NEW SOLUTION FOUND: 10798 @ 308.735
c NEW SOLUTION FOUND: 10796 @ 308.763
c NEW SOLUTION FOUND: 10794 @ 308.789
c NEW SOLUTION FOUND: 10792 @ 308.815
c NEW SOLUTION FOUND: 10789 @ 308.96
c NEW SOLUTION FOUND: 10787 @ 309.09
c NEW SOLUTION FOUND: 10785 @ 309.209
c NEW SOLUTION FOUND: 10783 @ 309.647
c NEW SOLUTION FOUND: 10782 @ 310.158
c NEW SOLUTION FOUND: 10780 @ 310.186
c NEW SOLUTION FOUND: 10776 @ 310.21
c NEW SOLUTION FOUND: 10774 @ 310.379
c NEW SOLUTION FOUND: 10771 @ 310.548
c NEW SOLUTION FOUND: 10769 @ 310.576
c NEW SOLUTION FOUND: 10767 @ 310.599
c NEW SOLUTION FOUND: 10766 @ 310.628
c NEW SOLUTION FOUND: 10764 @ 310.657
c NEW SOLUTION FOUND: 10762 @ 310.681
c NEW SOLUTION FOUND: 10760 @ 310.704
c NEW SOLUTION FOUND: 10756 @ 310.827
c NEW SOLUTION FOUND: 10755 @ 311.038
c NEW SOLUTION FOUND: 10753 @ 311.059
c NEW SOLUTION FOUND: 10751 @ 311.482
c NEW SOLUTION FOUND: 10749 @ 311.845
c NEW SOLUTION FOUND: 10748 @ 312.904
c NEW SOLUTION FOUND: 10746 @ 313.891
c NEW SOLUTION FOUND: 10734 @ 314.713
c NEW SOLUTION FOUND: 10731 @ 314.755
c NEW SOLUTION FOUND: 10729 @ 314.788
c NEW SOLUTION FOUND: 10727 @ 314.809
c NEW SOLUTION FOUND: 10725 @ 315.056
c NEW SOLUTION FOUND: 10724 @ 315.727
c NEW SOLUTION FOUND: 10723 @ 316.039
c NEW SOLUTION FOUND: 10721 @ 316.066
c NEW SOLUTION FOUND: 10720 @ 316.984
c NEW SOLUTION FOUND: 10717 @ 317.099
c NEW SOLUTION FOUND: 10714 @ 317.266
c NEW SOLUTION FOUND: 10712 @ 317.3
c NEW SOLUTION FOUND: 10710 @ 317.321
c NEW SOLUTION FOUND: 10708 @ 317.453
c NEW SOLUTION FOUND: 10707 @ 317.595
c NEW SOLUTION FOUND: 10706 @ 317.734
c NEW SOLUTION FOUND: 10704 @ 317.757
c NEW SOLUTION FOUND: 10703 @ 318.023
c NEW SOLUTION FOUND: 10697 @ 318.155
c NEW SOLUTION FOUND: 10693 @ 318.188
c NEW SOLUTION FOUND: 10692 @ 318.224
c NEW SOLUTION FOUND: 10690 @ 318.251
c NEW SOLUTION FOUND: 10688 @ 318.277
c NEW SOLUTION FOUND: 10686 @ 318.297
c NEW SOLUTION FOUND: 10685 @ 318.411
c NEW SOLUTION FOUND: 10683 @ 318.432
c NEW SOLUTION FOUND: 10681 @ 319.206
c NEW SOLUTION FOUND: 10680 @ 320.693
c NEW SOLUTION FOUND: 10678 @ 321.057
c NEW SOLUTION FOUND: 10676 @ 322.133
c NEW SOLUTION FOUND: 10671 @ 322.424
c NEW SOLUTION FOUND: 10669 @ 322.447
c NEW SOLUTION FOUND: 10667 @ 322.477
c NEW SOLUTION FOUND: 10665 @ 322.499
c NEW SOLUTION FOUND: 10660 @ 322.531
c NEW SOLUTION FOUND: 10658 @ 322.554
c NEW SOLUTION FOUND: 10655 @ 322.753
c NEW SOLUTION FOUND: 10653 @ 323.405
c NEW SOLUTION FOUND: 10652 @ 327.01
c NEW SOLUTION FOUND: 10650 @ 327.67
c NEW SOLUTION FOUND: 10642 @ 328.788
c NEW SOLUTION FOUND: 10640 @ 328.819
c NEW SOLUTION FOUND: 10638 @ 328.847
c NEW SOLUTION FOUND: 10633 @ 328.875
c NEW SOLUTION FOUND: 10631 @ 328.898
c NEW SOLUTION FOUND: 10629 @ 329.254
c NEW SOLUTION FOUND: 10628 @ 329.652
c NEW SOLUTION FOUND: 10627 @ 330.053
c NEW SOLUTION FOUND: 10625 @ 330.076
c NEW SOLUTION FOUND: 10623 @ 331.033
c NEW SOLUTION FOUND: 10621 @ 331.254
c NEW SOLUTION FOUND: 10619 @ 331.678
c NEW SOLUTION FOUND: 10618 @ 331.825
c NEW SOLUTION FOUND: 10616 @ 331.848
c NEW SOLUTION FOUND: 10612 @ 331.966
c NEW SOLUTION FOUND: 10610 @ 332.232
c NEW SOLUTION FOUND: 10609 @ 332.516
c NEW SOLUTION FOUND: 10608 @ 332.776
c NEW SOLUTION FOUND: 10606 @ 332.805
c NEW SOLUTION FOUND: 10603 @ 333.247
c NEW SOLUTION FOUND: 10601 @ 333.27
c NEW SOLUTION FOUND: 10597 @ 333.294
c NEW SOLUTION FOUND: 10596 @ 333.329
c NEW SOLUTION FOUND: 10594 @ 333.353
c NEW SOLUTION FOUND: 10590 @ 333.376
c NEW SOLUTION FOUND: 10587 @ 333.492
c NEW SOLUTION FOUND: 10585 @ 333.91
c NEW SOLUTION FOUND: 10582 @ 335.674
c NEW SOLUTION FOUND: 10580 @ 336.77
c NEW SOLUTION FOUND: 10578 @ 337.256
c NEW SOLUTION FOUND: 10575 @ 337.541
c NEW SOLUTION FOUND: 10573 @ 337.563
c NEW SOLUTION FOUND: 10569 @ 337.587
c NEW SOLUTION FOUND: 10568 @ 337.623
c NEW SOLUTION FOUND: 10566 @ 337.645
c NEW SOLUTION FOUND: 10562 @ 337.669
c NEW SOLUTION FOUND: 10560 @ 337.892
c NEW SOLUTION FOUND: 10557 @ 338.261
c NEW SOLUTION FOUND: 10556 @ 342.584
c NEW SOLUTION FOUND: 10554 @ 342.7
c NEW SOLUTION FOUND: 10552 @ 342.723
c NEW SOLUTION FOUND: 10548 @ 343.144
c NEW SOLUTION FOUND: 10546 @ 343.931
c NEW SOLUTION FOUND: 10543 @ 345.841
c NEW SOLUTION FOUND: 10532 @ 346.96
c NEW SOLUTION FOUND: 10531 @ 347.003
c NEW SOLUTION FOUND: 10529 @ 347.025
c NEW SOLUTION FOUND: 10525 @ 347.049
c NEW SOLUTION FOUND: 10521 @ 347.411
c NEW SOLUTION FOUND: 10520 @ 347.85
c NEW SOLUTION FOUND: 10518 @ 348.146
c NEW SOLUTION FOUND: 10515 @ 353.189
c NEW SOLUTION FOUND: 10514 @ 353.226
c NEW SOLUTION FOUND: 10512 @ 353.249
c NEW SOLUTION FOUND: 10508 @ 353.272
c NEW SOLUTION FOUND: 10506 @ 353.428
c NEW SOLUTION FOUND: 10504 @ 353.451
c NEW SOLUTION FOUND: 10495 @ 353.702
c NEW SOLUTION FOUND: 10493 @ 353.724
c NEW SOLUTION FOUND: 10490 @ 353.756
c NEW SOLUTION FOUND: 10488 @ 353.788
c NEW SOLUTION FOUND: 10486 @ 353.811
c NEW SOLUTION FOUND: 10484 @ 353.971
c NEW SOLUTION FOUND: 10483 @ 354.726
c NEW SOLUTION FOUND: 10481 @ 354.894
c NEW SOLUTION FOUND: 10480 @ 355.891
c NEW SOLUTION FOUND: 10478 @ 356.806
c NEW SOLUTION FOUND: 10472 @ 357.917
c NEW SOLUTION FOUND: 10470 @ 357.941
c NEW SOLUTION FOUND: 10466 @ 357.966
c NEW SOLUTION FOUND: 10461 @ 358.002
c NEW SOLUTION FOUND: 10459 @ 358.024
c NEW SOLUTION FOUND: 10455 @ 358.377
c NEW SOLUTION FOUND: 10453 @ 359.087
c NEW SOLUTION FOUND: 10452 @ 362.738
c NEW SOLUTION FOUND: 10450 @ 363.421
c NEW SOLUTION FOUND: 10449 @ 364.386
c NEW SOLUTION FOUND: 10447 @ 364.409
c NEW SOLUTION FOUND: 10443 @ 364.433
c NEW SOLUTION FOUND: 10442 @ 364.469
c NEW SOLUTION FOUND: 10440 @ 364.492
c NEW SOLUTION FOUND: 10436 @ 364.517
c NEW SOLUTION FOUND: 10432 @ 364.64
c NEW SOLUTION FOUND: 10430 @ 365.003
c NEW SOLUTION FOUND: 10428 @ 365.025
c NEW SOLUTION FOUND: 10427 @ 365.322
c NEW SOLUTION FOUND: 10425 @ 365.626
c NEW SOLUTION FOUND: 10423 @ 366.8
c NEW SOLUTION FOUND: 10421 @ 367.009
c NEW SOLUTION FOUND: 10419 @ 367.437
c NEW SOLUTION FOUND: 10417 @ 367.567
c NEW SOLUTION FOUND: 10415 @ 367.59
c NEW SOLUTION FOUND: 10411 @ 367.741
c NEW SOLUTION FOUND: 10409 @ 367.995
c NEW SOLUTION FOUND: 10405 @ 368.295
c NEW SOLUTION FOUND: 10403 @ 368.319
c NEW SOLUTION FOUND: 10399 @ 368.344
c NEW SOLUTION FOUND: 10398 @ 368.38
c NEW SOLUTION FOUND: 10396 @ 368.403
c NEW SOLUTION FOUND: 10392 @ 368.426
c NEW SOLUTION FOUND: 10390 @ 368.63
c NEW SOLUTION FOUND: 10388 @ 368.653
c NEW SOLUTION FOUND: 10387 @ 369.017
c NEW SOLUTION FOUND: 10385 @ 369.328
c NEW SOLUTION FOUND: 10384 @ 370.298
c NEW SOLUTION FOUND: 10382 @ 371.235
c NEW SOLUTION FOUND: 10381 @ 372.198
c NEW SOLUTION FOUND: 10374 @ 372.332
c NEW SOLUTION FOUND: 10372 @ 372.357
c NEW SOLUTION FOUND: 10368 @ 372.382
c NEW SOLUTION FOUND: 10363 @ 372.413
c NEW SOLUTION FOUND: 10361 @ 372.439
c NEW SOLUTION FOUND: 10359 @ 372.715
c NEW SOLUTION FOUND: 10357 @ 373.23
c NEW SOLUTION FOUND: 10354 @ 380.196
c NEW SOLUTION FOUND: 10352 @ 380.219
c NEW SOLUTION FOUND: 10346 @ 380.368
c NEW SOLUTION FOUND: 10342 @ 380.402
c NEW SOLUTION FOUND: 10341 @ 380.438
c NEW SOLUTION FOUND: 10339 @ 380.466
c NEW SOLUTION FOUND: 10335 @ 380.491
c NEW SOLUTION FOUND: 10333 @ 380.609
c NEW SOLUTION FOUND: 10331 @ 380.63
c NEW SOLUTION FOUND: 10329 @ 380.895
c NEW SOLUTION FOUND: 10326 @ 381.866
c NEW SOLUTION FOUND: 10325 @ 382.823
c NEW SOLUTION FOUND: 10323 @ 383.851
c NEW SOLUTION FOUND: 10322 @ 384.518
c NEW SOLUTION FOUND: 10320 @ 384.539
c NEW SOLUTION FOUND: 10318 @ 384.567
c NEW SOLUTION FOUND: 10316 @ 384.595
c NEW SOLUTION FOUND: 10315 @ 384.624
c NEW SOLUTION FOUND: 10313 @ 384.644
c NEW SOLUTION FOUND: 10311 @ 384.67
c NEW SOLUTION FOUND: 10309 @ 384.698
c NEW SOLUTION FOUND: 10307 @ 384.82
c NEW SOLUTION FOUND: 10305 @ 384.849
c NEW SOLUTION FOUND: 10303 @ 385.202
c NEW SOLUTION FOUND: 10301 @ 385.223
c NEW SOLUTION FOUND: 10300 @ 385.674
c NEW SOLUTION FOUND: 10298 @ 386.155
c NEW SOLUTION FOUND: 10297 @ 391.422
c NEW SOLUTION FOUND: 10296 @ 391.492
c NEW SOLUTION FOUND: 10295 @ 392.783
c NEW SOLUTION FOUND: 10294 @ 393.486
c NEW SOLUTION FOUND: 10293 @ 393.53
c NEW SOLUTION FOUND: 10291 @ 394.543
c NEW SOLUTION FOUND: 10290 @ 394.548
c NEW SOLUTION FOUND: 10289 @ 394.551
c NEW SOLUTION FOUND: 10288 @ 394.568
c NEW SOLUTION FOUND: 10286 @ 394.601
c NEW SOLUTION FOUND: 10284 @ 394.626
c NEW SOLUTION FOUND: 10279 @ 394.66
c NEW SOLUTION FOUND: 10277 @ 394.686
c NEW SOLUTION FOUND: 10276 @ 394.817
c NEW SOLUTION FOUND: 10275 @ 394.831
c NEW SOLUTION FOUND: 10273 @ 394.857
c NEW SOLUTION FOUND: 10271 @ 395.214
c NEW SOLUTION FOUND: 10270 @ 395.769
c NEW SOLUTION FOUND: 10268 @ 395.796
c NEW SOLUTION FOUND: 10262 @ 401.842
c NEW SOLUTION FOUND: 10261 @ 401.845
c NEW SOLUTION FOUND: 10260 @ 401.85
c NEW SOLUTION FOUND: 10258 @ 401.854
c NEW SOLUTION FOUND: 10257 @ 401.86
c NEW SOLUTION FOUND: 10256 @ 401.874
c NEW SOLUTION FOUND: 10255 @ 401.92
c NEW SOLUTION FOUND: 10253 @ 401.947
c NEW SOLUTION FOUND: 10251 @ 401.976
c NEW SOLUTION FOUND: 10249 @ 402.002
c NEW SOLUTION FOUND: 10247 @ 402.435
c NEW SOLUTION FOUND: 10246 @ 403.162
c NEW SOLUTION FOUND: 10245 @ 403.176
c NEW SOLUTION FOUND: 10244 @ 404.797
c NEW SOLUTION FOUND: 10242 @ 405.113
c NEW SOLUTION FOUND: 10241 @ 406.19
c NEW SOLUTION FOUND: 10229 @ 406.468
c NEW SOLUTION FOUND: 10228 @ 406.51
c NEW SOLUTION FOUND: 10226 @ 406.533
c NEW SOLUTION FOUND: 10222 @ 406.556
c NEW SOLUTION FOUND: 10220 @ 406.76
c NEW SOLUTION FOUND: 10217 @ 407.355
c NEW SOLUTION FOUND: 10216 @ 415.385
c NEW SOLUTION FOUND: 10215 @ 415.414
c NEW SOLUTION FOUND: 10213 @ 415.434
c NEW SOLUTION FOUND: 10211 @ 415.459
c NEW SOLUTION FOUND: 10209 @ 415.479
c NEW SOLUTION FOUND: 10207 @ 415.62
c NEW SOLUTION FOUND: 10205 @ 415.641
c NEW SOLUTION FOUND: 10203 @ 415.86
c NEW SOLUTION FOUND: 10202 @ 416.56
c NEW SOLUTION FOUND: 10200 @ 416.582
c NEW SOLUTION FOUND: 10198 @ 420.453
c NEW SOLUTION FOUND: 10197 @ 421.188
c NEW SOLUTION FOUND: 10195 @ 421.21
c NEW SOLUTION FOUND: 10194 @ 422.254
c NEW SOLUTION FOUND: 10192 @ 423.302
c NEW SOLUTION FOUND: 10187 @ 423.98
c NEW SOLUTION FOUND: 10185 @ 424.011
c NEW SOLUTION FOUND: 10183 @ 424.027
c NEW SOLUTION FOUND: 10178 @ 424.052
c NEW SOLUTION FOUND: 10176 @ 424.068
c NEW SOLUTION FOUND: 10174 @ 424.209
c NEW SOLUTION FOUND: 10172 @ 424.231
c NEW SOLUTION FOUND: 10170 @ 424.567
c NEW SOLUTION FOUND: 10169 @ 425.572
c NEW SOLUTION FOUND: 10167 @ 425.593
c NEW SOLUTION FOUND: 10163 @ 431.595
c NEW SOLUTION FOUND: 10161 @ 431.611
c NEW SOLUTION FOUND: 10160 @ 431.65
c NEW SOLUTION FOUND: 10159 @ 431.669
c NEW SOLUTION FOUND: 10158 @ 431.683
c NEW SOLUTION FOUND: 10156 @ 431.711
c NEW SOLUTION FOUND: 10154 @ 431.733
c NEW SOLUTION FOUND: 10152 @ 431.846
c NEW SOLUTION FOUND: 10150 @ 431.868
c NEW SOLUTION FOUND: 10146 @ 432.301
c NEW SOLUTION FOUND: 10144 @ 433.061
c NEW SOLUTION FOUND: 10143 @ 434.606
c NEW SOLUTION FOUND: 10141 @ 434.97
c NEW SOLUTION FOUND: 10128 @ 436.08
c NEW SOLUTION FOUND: 10127 @ 436.121
c NEW SOLUTION FOUND: 10125 @ 436.143
c NEW SOLUTION FOUND: 10121 @ 436.166
c NEW SOLUTION FOUND: 10119 @ 436.568
c NEW SOLUTION FOUND: 10116 @ 437.13
c NEW SOLUTION FOUND: 10114 @ 446.781
c NEW SOLUTION FOUND: 10112 @ 446.805
c NEW SOLUTION FOUND: 10109 @ 447.604
c NEW SOLUTION FOUND: 10108 @ 452.126
c NEW SOLUTION FOUND: 10106 @ 452.25
c NEW SOLUTION FOUND: 10105 @ 452.648
c NEW SOLUTION FOUND: 10103 @ 453.059
c NEW SOLUTION FOUND: 10101 @ 453.388
c NEW SOLUTION FOUND: 10098 @ 453.639
c NEW SOLUTION FOUND: 10096 @ 453.662
c NEW SOLUTION FOUND: 10092 @ 453.687
c NEW SOLUTION FOUND: 10091 @ 453.723
c NEW SOLUTION FOUND: 10089 @ 453.746
c NEW SOLUTION FOUND: 10085 @ 453.769
c NEW SOLUTION FOUND: 10083 @ 453.897
c NEW SOLUTION FOUND: 10081 @ 453.92
c NEW SOLUTION FOUND: 10080 @ 454.162
c NEW SOLUTION FOUND: 10078 @ 454.395
c NEW SOLUTION FOUND: 10077 @ 456.378
c NEW SOLUTION FOUND: 10076 @ 456.407
c NEW SOLUTION FOUND: 10074 @ 456.428
c NEW SOLUTION FOUND: 10072 @ 456.454
c NEW SOLUTION FOUND: 10070 @ 456.476
c NEW SOLUTION FOUND: 10068 @ 456.879
c NEW SOLUTION FOUND: 10067 @ 457.458
c NEW SOLUTION FOUND: 10065 @ 457.481
c NEW SOLUTION FOUND: 10064 @ 459.046
c NEW SOLUTION FOUND: 10062 @ 459.069
c NEW SOLUTION FOUND: 10058 @ 459.094
c NEW SOLUTION FOUND: 10053 @ 459.13
c NEW SOLUTION FOUND: 10051 @ 459.153
c NEW SOLUTION FOUND: 10050 @ 459.382
c NEW SOLUTION FOUND: 10048 @ 459.405
c NEW SOLUTION FOUND: 10047 @ 459.627
c NEW SOLUTION FOUND: 10046 @ 459.641
c NEW SOLUTION FOUND: 10044 @ 459.896
c NEW SOLUTION FOUND: 10042 @ 463.177
c NEW SOLUTION FOUND: 10041 @ 463.598
c NEW SOLUTION FOUND: 10039 @ 463.618
c NEW SOLUTION FOUND: 10037 @ 464.172
c NEW SOLUTION FOUND: 10032 @ 465.752
c NEW SOLUTION FOUND: 10030 @ 465.787
c NEW SOLUTION FOUND: 10028 @ 465.808
c NEW SOLUTION FOUND: 10027 @ 465.837
c NEW SOLUTION FOUND: 10025 @ 465.865
c NEW SOLUTION FOUND: 10023 @ 465.89
c NEW SOLUTION FOUND: 10021 @ 465.913
c NEW SOLUTION FOUND: 10018 @ 466.154
c NEW SOLUTION FOUND: 10016 @ 466.622
c NEW SOLUTION FOUND: 10014 @ 467.243
c NEW SOLUTION FOUND: 10012 @ 467.473
c NEW SOLUTION FOUND: 10010 @ 467.69
c NEW SOLUTION FOUND: 10009 @ 468.117
c NEW SOLUTION FOUND: 10007 @ 468.532
c NEW SOLUTION FOUND: 10000 @ 468.818
c NEW SOLUTION FOUND: 9996 @ 468.853
c NEW SOLUTION FOUND: 9991 @ 468.889
c NEW SOLUTION FOUND: 9989 @ 468.91
c NEW SOLUTION FOUND: 9988 @ 469.242
c NEW SOLUTION FOUND: 9986 @ 469.264
c NEW SOLUTION FOUND: 9984 @ 469.517
c NEW SOLUTION FOUND: 9982 @ 469.747
c NEW SOLUTION FOUND: 9980 @ 470.875
c NEW SOLUTION FOUND: 9977 @ 470.912
c NEW SOLUTION FOUND: 9973 @ 470.945
c NEW SOLUTION FOUND: 9971 @ 471.362
c NEW SOLUTION FOUND: 9969 @ 472.643
c NEW SOLUTION FOUND: 9966 @ 473.383
c NEW SOLUTION FOUND: 9965 @ 473.42
c NEW SOLUTION FOUND: 9963 @ 473.441
c NEW SOLUTION FOUND: 9961 @ 473.467
c NEW SOLUTION FOUND: 9959 @ 473.496
c NEW SOLUTION FOUND: 9957 @ 473.631
c NEW SOLUTION FOUND: 9955 @ 473.653
c NEW SOLUTION FOUND: 9952 @ 473.871
c NEW SOLUTION FOUND: 9951 @ 474.617
c NEW SOLUTION FOUND: 9948 @ 474.844
c NEW SOLUTION FOUND: 9946 @ 481.352
c NEW SOLUTION FOUND: 9944 @ 481.389
c NEW SOLUTION FOUND: 9942 @ 481.415
c NEW SOLUTION FOUND: 9940 @ 481.442
c NEW SOLUTION FOUND: 9939 @ 481.468
c NEW SOLUTION FOUND: 9933 @ 481.484
c NEW SOLUTION FOUND: 9931 @ 481.633
c NEW SOLUTION FOUND: 9929 @ 481.662
c NEW SOLUTION FOUND: 9927 @ 481.9
c NEW SOLUTION FOUND: 9926 @ 482.5
c NEW SOLUTION FOUND: 9923 @ 482.876
c NEW SOLUTION FOUND: 9919 @ 484.001
c NEW SOLUTION FOUND: 9917 @ 484.208
c NEW SOLUTION FOUND: 9915 @ 484.231
c NEW SOLUTION FOUND: 9914 @ 484.507
c NEW SOLUTION FOUND: 9912 @ 484.53
c NEW SOLUTION FOUND: 9901 @ 485.533
c NEW SOLUTION FOUND: 9900 @ 485.576
c NEW SOLUTION FOUND: 9898 @ 485.604
c NEW SOLUTION FOUND: 9894 @ 485.628
c NEW SOLUTION FOUND: 9893 @ 485.863
c NEW SOLUTION FOUND: 9892 @ 485.867
c NEW SOLUTION FOUND: 9891 @ 485.888
c NEW SOLUTION FOUND: 9889 @ 487.299
c NEW SOLUTION FOUND: 9888 @ 493.355
c NEW SOLUTION FOUND: 9885 @ 493.369
c NEW SOLUTION FOUND: 9883 @ 493.398
c NEW SOLUTION FOUND: 9882 @ 493.53
c NEW SOLUTION FOUND: 9879 @ 493.544
c NEW SOLUTION FOUND: 9877 @ 493.863
c NEW SOLUTION FOUND: 9876 @ 494.11
c NEW SOLUTION FOUND: 9875 @ 494.347
c NEW SOLUTION FOUND: 9873 @ 494.375
c NEW SOLUTION FOUND: 9872 @ 496.267
c NEW SOLUTION FOUND: 9869 @ 496.311
c NEW SOLUTION FOUND: 9867 @ 496.346
c NEW SOLUTION FOUND: 9865 @ 496.375
c NEW SOLUTION FOUND: 9864 @ 496.759
c NEW SOLUTION FOUND: 9862 @ 496.796
c NEW SOLUTION FOUND: 9860 @ 497.406
c NEW SOLUTION FOUND: 9853 @ 498.29
c NEW SOLUTION FOUND: 9852 @ 498.331
c NEW SOLUTION FOUND: 9851 @ 498.355
c NEW SOLUTION FOUND: 9850 @ 498.371
c NEW SOLUTION FOUND: 9846 @ 498.395
c NEW SOLUTION FOUND: 9843 @ 498.621
c NEW SOLUTION FOUND: 9842 @ 499.357
c NEW SOLUTION FOUND: 9841 @ 499.385
c NEW SOLUTION FOUND: 9839 @ 499.602
c NEW SOLUTION FOUND: 9837 @ 505.273
c NEW SOLUTION FOUND: 9836 @ 505.324
c NEW SOLUTION FOUND: 9834 @ 505.351
c NEW SOLUTION FOUND: 9830 @ 505.378
c NEW SOLUTION FOUND: 9826 @ 505.487
c NEW SOLUTION FOUND: 9824 @ 505.765
c NEW SOLUTION FOUND: 9822 @ 506.219
c NEW SOLUTION FOUND: 9821 @ 508.076
c NEW SOLUTION FOUND: 9820 @ 508.114
c NEW SOLUTION FOUND: 9818 @ 508.138
c NEW SOLUTION FOUND: 9814 @ 508.163
c NEW SOLUTION FOUND: 9812 @ 508.559
c NEW SOLUTION FOUND: 9809 @ 509.115
c NEW SOLUTION FOUND: 9805 @ 510.018
c NEW SOLUTION FOUND: 9803 @ 510.052
c NEW SOLUTION FOUND: 9801 @ 510.076
c NEW SOLUTION FOUND: 9798 @ 510.104
c NEW SOLUTION FOUND: 9796 @ 510.138
c NEW SOLUTION FOUND: 9794 @ 510.161
c NEW SOLUTION FOUND: 9792 @ 510.398
c NEW SOLUTION FOUND: 9790 @ 510.422
c NEW SOLUTION FOUND: 9788 @ 511.351
c NEW SOLUTION FOUND: 9787 @ 520.581
c NEW SOLUTION FOUND: 9783 @ 521.954
c NEW SOLUTION FOUND: 9781 @ 521.976
c NEW SOLUTION FOUND: 9780 @ 522.013
c NEW SOLUTION FOUND: 9778 @ 522.035
c NEW SOLUTION FOUND: 9776 @ 522.06
c NEW SOLUTION FOUND: 9774 @ 522.078
c NEW SOLUTION FOUND: 9772 @ 522.212
c NEW SOLUTION FOUND: 9770 @ 522.237
c NEW SOLUTION FOUND: 9768 @ 522.508
c NEW SOLUTION FOUND: 9766 @ 522.917
c NEW SOLUTION FOUND: 9760 @ 530.447
c NEW SOLUTION FOUND: 9758 @ 530.482
c NEW SOLUTION FOUND: 9756 @ 530.51
c NEW SOLUTION FOUND: 9755 @ 530.542
c NEW SOLUTION FOUND: 9753 @ 530.566
c NEW SOLUTION FOUND: 9751 @ 530.597
c NEW SOLUTION FOUND: 9749 @ 530.621
c NEW SOLUTION FOUND: 9747 @ 530.726
c NEW SOLUTION FOUND: 9745 @ 530.753
c NEW SOLUTION FOUND: 9743 @ 531.031
c NEW SOLUTION FOUND: 9741 @ 531.476
c NEW SOLUTION FOUND: 9740 @ 532.597
c NEW SOLUTION FOUND: 9739 @ 532.632
c NEW SOLUTION FOUND: 9737 @ 532.657
c NEW SOLUTION FOUND: 9735 @ 532.687
c NEW SOLUTION FOUND: 9733 @ 532.71
c NEW SOLUTION FOUND: 9731 @ 533.137
c NEW SOLUTION FOUND: 9728 @ 534.308
c NEW SOLUTION FOUND: 9724 @ 535.205
c NEW SOLUTION FOUND: 9722 @ 535.234
c NEW SOLUTION FOUND: 9720 @ 535.261
c NEW SOLUTION FOUND: 9717 @ 535.29
c NEW SOLUTION FOUND: 9715 @ 535.322
c NEW SOLUTION FOUND: 9713 @ 535.345
c NEW SOLUTION FOUND: 9711 @ 535.58
c NEW SOLUTION FOUND: 9709 @ 535.604
c NEW SOLUTION FOUND: 9707 @ 536.527
c NEW SOLUTION FOUND: 9704 @ 547.851
c NEW SOLUTION FOUND: 9702 @ 547.986
c NEW SOLUTION FOUND: 9700 @ 548.011
c NEW SOLUTION FOUND: 9696 @ 548.327
c NEW SOLUTION FOUND: 9695 @ 548.608
c NEW SOLUTION FOUND: 9693 @ 548.869
c NEW SOLUTION FOUND: 9692 @ 550.831
c NEW SOLUTION FOUND: 9691 @ 550.864
c NEW SOLUTION FOUND: 9689 @ 550.89
c NEW SOLUTION FOUND: 9687 @ 550.922
c NEW SOLUTION FOUND: 9685 @ 550.947
c NEW SOLUTION FOUND: 9683 @ 551.35
c NEW SOLUTION FOUND: 9682 @ 551.936
c NEW SOLUTION FOUND: 9680 @ 551.962
c NEW SOLUTION FOUND: 9677 @ 553.557
c NEW SOLUTION FOUND: 9675 @ 553.584
c NEW SOLUTION FOUND: 9671 @ 553.608
c NEW SOLUTION FOUND: 9670 @ 553.646
c NEW SOLUTION FOUND: 9668 @ 553.67
c NEW SOLUTION FOUND: 9664 @ 553.695
c NEW SOLUTION FOUND: 9662 @ 553.919
c NEW SOLUTION FOUND: 9659 @ 554.385
c NEW SOLUTION FOUND: 9658 @ 566.946
c NEW SOLUTION FOUND: 9657 @ 566.976
c NEW SOLUTION FOUND: 9655 @ 566.999
c NEW SOLUTION FOUND: 9653 @ 567.029
c NEW SOLUTION FOUND: 9651 @ 567.059
c NEW SOLUTION FOUND: 9647 @ 567.181
c NEW SOLUTION FOUND: 9645 @ 567.483
c NEW SOLUTION FOUND: 9643 @ 568.389
c NEW SOLUTION FOUND: 9642 @ 568.67
c NEW SOLUTION FOUND: 9640 @ 568.895
c NEW SOLUTION FOUND: 9639 @ 569.294
c NEW SOLUTION FOUND: 9637 @ 569.319
c NEW SOLUTION FOUND: 9636 @ 569.511
c NEW SOLUTION FOUND: 9634 @ 569.542
c NEW SOLUTION FOUND: 9627 @ 569.728
c NEW SOLUTION FOUND: 9625 @ 569.753
c NEW SOLUTION FOUND: 9623 @ 569.781
c NEW SOLUTION FOUND: 9621 @ 569.811
c NEW SOLUTION FOUND: 9620 @ 569.84
c NEW SOLUTION FOUND: 9618 @ 569.865
c NEW SOLUTION FOUND: 9616 @ 569.897
c NEW SOLUTION FOUND: 9614 @ 569.92
c NEW SOLUTION FOUND: 9612 @ 570.16
c NEW SOLUTION FOUND: 9611 @ 571.101
c NEW SOLUTION FOUND: 9609 @ 571.124
c NEW SOLUTION FOUND: 9604 @ 572.162
c NEW SOLUTION FOUND: 9600 @ 572.419
c NEW SOLUTION FOUND: 9598 @ 572.699
c NEW SOLUTION FOUND: 9596 @ 573.922
c NEW SOLUTION FOUND: 9593 @ 574.8
c NEW SOLUTION FOUND: 9591 @ 574.837
c NEW SOLUTION FOUND: 9589 @ 574.86
c NEW SOLUTION FOUND: 9588 @ 574.891
c NEW SOLUTION FOUND: 9586 @ 574.921
c NEW SOLUTION FOUND: 9584 @ 574.95
c NEW SOLUTION FOUND: 9582 @ 574.978
c NEW SOLUTION FOUND: 9580 @ 575.223
c NEW SOLUTION FOUND: 9578 @ 575.247
c NEW SOLUTION FOUND: 9577 @ 575.972
c NEW SOLUTION FOUND: 9575 @ 576.206
c NEW SOLUTION FOUND: 9573 @ 588.11
c NEW SOLUTION FOUND: 9571 @ 588.133
c NEW SOLUTION FOUND: 9567 @ 588.283
c NEW SOLUTION FOUND: 9565 @ 588.67
c NEW SOLUTION FOUND: 9563 @ 589.243
c NEW SOLUTION FOUND: 9562 @ 590.155
c NEW SOLUTION FOUND: 9561 @ 590.161
c NEW SOLUTION FOUND: 9560 @ 590.206
c NEW SOLUTION FOUND: 9558 @ 590.232
c NEW SOLUTION FOUND: 9556 @ 590.265
c NEW SOLUTION FOUND: 9554 @ 590.28
c NEW SOLUTION FOUND: 9553 @ 590.319
c NEW SOLUTION FOUND: 9547 @ 590.338
c NEW SOLUTION FOUND: 9545 @ 590.589
c NEW SOLUTION FOUND: 9544 @ 591.541
c NEW SOLUTION FOUND: 9542 @ 591.569
c NEW SOLUTION FOUND: 9540 @ 597.987
c NEW SOLUTION FOUND: 9539 @ 598.023
c NEW SOLUTION FOUND: 9538 @ 598.051
c NEW SOLUTION FOUND: 9536 @ 598.085
c NEW SOLUTION FOUND: 9534 @ 598.111
c NEW SOLUTION FOUND: 9531 @ 598.145
c NEW SOLUTION FOUND: 9530 @ 598.148
c NEW SOLUTION FOUND: 9529 @ 598.166
c NEW SOLUTION FOUND: 9527 @ 598.188
c NEW SOLUTION FOUND: 9523 @ 598.441
c NEW SOLUTION FOUND: 9521 @ 598.88
c NEW SOLUTION FOUND: 9520 @ 604.568
c NEW SOLUTION FOUND: 9519 @ 604.858
c NEW SOLUTION FOUND: 9518 @ 604.876
c NEW SOLUTION FOUND: 9516 @ 605.356
c NEW SOLUTION FOUND: 9515 @ 608.9
c NEW SOLUTION FOUND: 9513 @ 608.928
c NEW SOLUTION FOUND: 9511 @ 609.237
c NEW SOLUTION FOUND: 9509 @ 609.547
c NEW SOLUTION FOUND: 9507 @ 611.109
c NEW SOLUTION FOUND: 9505 @ 611.136
c NEW SOLUTION FOUND: 9501 @ 611.163
c NEW SOLUTION FOUND: 9496 @ 611.203
c NEW SOLUTION FOUND: 9494 @ 611.229
c NEW SOLUTION FOUND: 9490 @ 611.44
c NEW SOLUTION FOUND: 9489 @ 611.934
c NEW SOLUTION FOUND: 9488 @ 611.949
c NEW SOLUTION FOUND: 9487 @ 612.192
c NEW SOLUTION FOUND: 9485 @ 612.416
c NEW SOLUTION FOUND: 9482 @ 612.825
c NEW SOLUTION FOUND: 9481 @ 613.012
c NEW SOLUTION FOUND: 9474 @ 613.161
c NEW SOLUTION FOUND: 9472 @ 613.186
c NEW SOLUTION FOUND: 9468 @ 613.21
c NEW SOLUTION FOUND: 9467 @ 613.246
c NEW SOLUTION FOUND: 9465 @ 613.269
c NEW SOLUTION FOUND: 9461 @ 613.293
c NEW SOLUTION FOUND: 9459 @ 613.534
c NEW SOLUTION FOUND: 9457 @ 613.558
c NEW SOLUTION FOUND: 9456 @ 614.032
c NEW SOLUTION FOUND: 9454 @ 614.524
c NEW SOLUTION FOUND: 9453 @ 615.733
c NEW SOLUTION FOUND: 9451 @ 615.758
c NEW SOLUTION FOUND: 9447 @ 615.782
c NEW SOLUTION FOUND: 9443 @ 616.083
c NEW SOLUTION FOUND: 9441 @ 617.332
c NEW SOLUTION FOUND: 9438 @ 618.21
c NEW SOLUTION FOUND: 9436 @ 618.244
c NEW SOLUTION FOUND: 9434 @ 618.267
c NEW SOLUTION FOUND: 9427 @ 618.294
c NEW SOLUTION FOUND: 9423 @ 618.567
c NEW SOLUTION FOUND: 9422 @ 619.318
c NEW SOLUTION FOUND: 9420 @ 619.581
c NEW SOLUTION FOUND: 9418 @ 632.264
c NEW SOLUTION FOUND: 9414 @ 632.293
c NEW SOLUTION FOUND: 9413 @ 632.308
c NEW SOLUTION FOUND: 9411 @ 632.335
c NEW SOLUTION FOUND: 9409 @ 632.701
c NEW SOLUTION FOUND: 9407 @ 632.726
c NEW SOLUTION FOUND: 9406 @ 633.283
c NEW SOLUTION FOUND: 9404 @ 633.659
c NEW SOLUTION FOUND: 9402 @ 634.102
c NEW SOLUTION FOUND: 9400 @ 634.129
c NEW SOLUTION FOUND: 9398 @ 634.535
c NEW SOLUTION FOUND: 9397 @ 635.338
c NEW SOLUTION FOUND: 9395 @ 635.362
c NEW SOLUTION FOUND: 9394 @ 635.527
c NEW SOLUTION FOUND: 9383 @ 635.663
c NEW SOLUTION FOUND: 9381 @ 635.691
c NEW SOLUTION FOUND: 9378 @ 635.726
c NEW SOLUTION FOUND: 9376 @ 635.758
c NEW SOLUTION FOUND: 9374 @ 635.781
c NEW SOLUTION FOUND: 9372 @ 636.106
c NEW SOLUTION FOUND: 9370 @ 636.557
c NEW SOLUTION FOUND: 9366 @ 637.339
c NEW SOLUTION FOUND: 9364 @ 637.362
c NEW SOLUTION FOUND: 9360 @ 637.599
c NEW SOLUTION FOUND: 9359 @ 639.414
c NEW SOLUTION FOUND: 9357 @ 639.441
c NEW SOLUTION FOUND: 9353 @ 640.32
c NEW SOLUTION FOUND: 9351 @ 640.35
c NEW SOLUTION FOUND: 9349 @ 640.374
c NEW SOLUTION FOUND: 9348 @ 640.407
c NEW SOLUTION FOUND: 9346 @ 640.43
c NEW SOLUTION FOUND: 9344 @ 640.46
c NEW SOLUTION FOUND: 9342 @ 640.483
c NEW SOLUTION FOUND: 9338 @ 640.724
c NEW SOLUTION FOUND: 9336 @ 641.619
c NEW SOLUTION FOUND: 9335 @ 656.202
c NEW SOLUTION FOUND: 9334 @ 656.233
c NEW SOLUTION FOUND: 9333 @ 656.473
c NEW SOLUTION FOUND: 9331 @ 656.726
c NEW SOLUTION FOUND: 9328 @ 657.532
c NEW SOLUTION FOUND: 9327 @ 657.703
c NEW SOLUTION FOUND: 9320 @ 657.846
c NEW SOLUTION FOUND: 9318 @ 657.868
c NEW SOLUTION FOUND: 9316 @ 657.895
c NEW SOLUTION FOUND: 9314 @ 657.917
c NEW SOLUTION FOUND: 9309 @ 657.946
c NEW SOLUTION FOUND: 9307 @ 657.975
c NEW SOLUTION FOUND: 9305 @ 658.307
c NEW SOLUTION FOUND: 9303 @ 658.75
c NEW SOLUTION FOUND: 9302 @ 659.391
c NEW SOLUTION FOUND: 9300 @ 659.413
c NEW SOLUTION FOUND: 9296 @ 659.556
c NEW SOLUTION FOUND: 9294 @ 659.809
c NEW SOLUTION FOUND: 9293 @ 660.519
c NEW SOLUTION FOUND: 9290 @ 660.8
c NEW SOLUTION FOUND: 9288 @ 663.424
c NEW SOLUTION FOUND: 9286 @ 663.45
c NEW SOLUTION FOUND: 9283 @ 663.484
c NEW SOLUTION FOUND: 9281 @ 663.516
c NEW SOLUTION FOUND: 9279 @ 663.54
c NEW SOLUTION FOUND: 9275 @ 663.654
c NEW SOLUTION FOUND: 9273 @ 663.92
c NEW SOLUTION FOUND: 9272 @ 664.149
c NEW SOLUTION FOUND: 9269 @ 664.411
c NEW SOLUTION FOUND: 9267 @ 676.471
c NEW SOLUTION FOUND: 9266 @ 676.502
c NEW SOLUTION FOUND: 9264 @ 676.524
c NEW SOLUTION FOUND: 9262 @ 676.551
c NEW SOLUTION FOUND: 9260 @ 676.573
c NEW SOLUTION FOUND: 9258 @ 676.883
c NEW SOLUTION FOUND: 9256 @ 677.771
c NEW SOLUTION FOUND: 9254 @ 678.218
c NEW SOLUTION FOUND: 9253 @ 678.463
c NEW SOLUTION FOUND: 9251 @ 678.68
c NEW SOLUTION FOUND: 9249 @ 678.881
c NEW SOLUTION FOUND: 9242 @ 679.016
c NEW SOLUTION FOUND: 9240 @ 679.042
c NEW SOLUTION FOUND: 9236 @ 679.067
c NEW SOLUTION FOUND: 9231 @ 679.103
c NEW SOLUTION FOUND: 9229 @ 679.127
c NEW SOLUTION FOUND: 9228 @ 679.363
c NEW SOLUTION FOUND: 9226 @ 679.387
c NEW SOLUTION FOUND: 9225 @ 680.087
c NEW SOLUTION FOUND: 9222 @ 680.33
c NEW SOLUTION FOUND: 9221 @ 681.561
c NEW SOLUTION FOUND: 9220 @ 681.596
c NEW SOLUTION FOUND: 9218 @ 681.625
c NEW SOLUTION FOUND: 9216 @ 681.652
c NEW SOLUTION FOUND: 9214 @ 681.676
c NEW SOLUTION FOUND: 9213 @ 681.998
c NEW SOLUTION FOUND: 9211 @ 682.023
c NEW SOLUTION FOUND: 9209 @ 683.235
c NEW SOLUTION FOUND: 9197 @ 684.139
c NEW SOLUTION FOUND: 9195 @ 684.163
c NEW SOLUTION FOUND: 9194 @ 684.394
c NEW SOLUTION FOUND: 9192 @ 684.418
c NEW SOLUTION FOUND: 9191 @ 685.16
c NEW SOLUTION FOUND: 9190 @ 685.176
c NEW SOLUTION FOUND: 9188 @ 685.413
c NEW SOLUTION FOUND: 9186 @ 696.964
c NEW SOLUTION FOUND: 9184 @ 697.006
c NEW SOLUTION FOUND: 9183 @ 697.033
c NEW SOLUTION FOUND: 9182 @ 697.077
c NEW SOLUTION FOUND: 9180 @ 697.414
c NEW SOLUTION FOUND: 9178 @ 697.889
c NEW SOLUTION FOUND: 9176 @ 703.283
c NEW SOLUTION FOUND: 9175 @ 703.287
c NEW SOLUTION FOUND: 9174 @ 703.304
c NEW SOLUTION FOUND: 9172 @ 703.585
c NEW SOLUTION FOUND: 9170 @ 704.075
c NEW SOLUTION FOUND: 9168 @ 709.45
c NEW SOLUTION FOUND: 9166 @ 709.826
c NEW SOLUTION FOUND: 9164 @ 710.317
c NEW SOLUTION FOUND: 9163 @ 714.262
c NEW SOLUTION FOUND: 9161 @ 714.645
c NEW SOLUTION FOUND: 9160 @ 717.877
c NEW SOLUTION FOUND: 9158 @ 718.509
c NEW SOLUTION FOUND: 9157 @ 722.219
c NEW SOLUTION FOUND: 9154 @ 744.02
c NEW SOLUTION FOUND: 9153 @ 744.144
c NEW SOLUTION FOUND: 9151 @ 744.189
c NEW SOLUTION FOUND: 9147 @ 744.217
c NEW SOLUTION FOUND: 9145 @ 744.434
c NEW SOLUTION FOUND: 9142 @ 744.625
c NEW SOLUTION FOUND: 9141 @ 746.085
c NEW SOLUTION FOUND: 9139 @ 746.115
c NEW SOLUTION FOUND: 9138 @ 758.191
c NEW SOLUTION FOUND: 9135 @ 760.435
c NEW SOLUTION FOUND: 9132 @ 777.233
c NEW SOLUTION FOUND: 9130 @ 777.501
c NEW SOLUTION FOUND: 9129 @ 777.772
c NEW SOLUTION FOUND: 9127 @ 777.795
c NEW SOLUTION FOUND: 9126 @ 780.173
c NEW SOLUTION FOUND: 9124 @ 780.195
c NEW SOLUTION FOUND: 9123 @ 791.454
c NEW SOLUTION FOUND: 9122 @ 814.209
c NEW SOLUTION FOUND: 9121 @ 814.221
c NEW SOLUTION FOUND: 9120 @ 814.366
c NEW SOLUTION FOUND: 9119 @ 848.835
c NEW SOLUTION FOUND: 9118 @ 860.205
c NEW SOLUTION FOUND: 9117 @ 860.208
c NEW SOLUTION FOUND: 9116 @ 860.213
c NEW SOLUTION FOUND: 9115 @ 860.217
c NEW SOLUTION FOUND: 9114 @ 860.24
c NEW SOLUTION FOUND: 9107 @ 860.264
c NEW SOLUTION FOUND: 9105 @ 860.509
c NEW SOLUTION FOUND: 9104 @ 860.769
c NEW SOLUTION FOUND: 9102 @ 860.797
c NEW SOLUTION FOUND: 9101 @ 862.134
c NEW SOLUTION FOUND: 9099 @ 862.163
c NEW SOLUTION FOUND: 9098 @ 907.743
c NEW SOLUTION FOUND: 9097 @ 1074.89
c NEW SOLUTION FOUND: 9096 @ 1074.95
c NEW SOLUTION FOUND: 9095 @ 1075.36
c NEW SOLUTION FOUND: 9094 @ 1075.45
c NEW SOLUTION FOUND: 9093 @ 1075.47
c NEW SOLUTION FOUND: 9092 @ 1076.11
c NEW SOLUTION FOUND: 9090 @ 1076.15
c NEW SOLUTION FOUND: 9086 @ 1076.24
c NEW SOLUTION FOUND: 9085 @ 1076.26
c NEW SOLUTION FOUND: 9083 @ 1076.3
c NEW SOLUTION FOUND: 9078 @ 1076.48
c NEW SOLUTION FOUND: 9076 @ 1076.51
c NEW SOLUTION FOUND: 9074 @ 1076.96
c NEW SOLUTION FOUND: 9071 @ 1077.26
c NEW SOLUTION FOUND: 9069 @ 1079.38
c NEW SOLUTION FOUND: 9068 @ 1093.09
c NEW SOLUTION FOUND: 9066 @ 1101.95
c NEW SOLUTION FOUND: 9061 @ 1102.06
c NEW SOLUTION FOUND: 9059 @ 1102.1
c NEW SOLUTION FOUND: 9056 @ 1102.71
c NEW SOLUTION FOUND: 9055 @ 1104.82
c NEW SOLUTION FOUND: 9054 @ 1104.84
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.93 0.98 0.96 2/55 20490
Raw data (stat): 20490 (runsolver) R 20489 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 810313867 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99995 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 17727 0 0 0 954 42 0 0 25 0 1 0 810313867 76292096 17695 4294967295 134512640 134714540 3221221776 3221220356 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18626 17695 1111 63 0 18563 0
vsize: 74504
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 18884 0 0 0 1950 46 0 0 25 0 1 0 810313867 81022976 18852 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19781 18852 1111 63 0 19718 0
vsize: 79124
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 18919 0 0 0 2948 49 0 0 25 0 1 0 810313867 81125376 18887 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19806 18887 1111 63 0 19743 0
vsize: 79224
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 18960 0 0 0 3946 50 0 0 25 0 1 0 810313867 81260544 18928 4294967295 134512640 134714540 3221221776 3221220460 134524593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19839 18928 1111 63 0 19776 0
vsize: 79356
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19008 0 0 0 4944 53 0 0 25 0 1 0 810313867 81530880 18976 4294967295 134512640 134714540 3221221776 3221220392 1077374049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19905 18976 1111 63 0 19842 0
vsize: 79620
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19008 0 0 0 5942 55 0 0 25 0 1 0 810313867 81530880 18976 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19905 18976 1111 63 0 19842 0
vsize: 79620
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19064 0 0 0 6941 56 0 0 25 0 1 0 810313867 81653760 19032 4294967295 134512640 134714540 3221221776 3221220448 1076648059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19935 19032 1111 63 0 19872 0
vsize: 79740
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19069 0 0 0 7939 58 0 0 25 0 1 0 810313867 81788928 19037 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19968 19037 1111 63 0 19905 0
vsize: 79872
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19128 0 0 0 8937 61 0 0 25 0 1 0 810313867 82034688 19096 4294967295 134512640 134714540 3221221776 3221220732 134576355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20028 19096 1111 63 0 19965 0
vsize: 80112
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19199 0 0 0 9935 62 0 0 25 0 1 0 810313867 82182144 19161 4294967295 134512640 134714540 3221221776 3221220360 134542588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20064 19161 1111 63 0 20001 0
vsize: 80256
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 10934 63 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 11932 65 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 12930 68 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220512 134556864 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 13929 69 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220304 134539888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 14928 70 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220604 134518132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 15927 71 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 16925 73 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220352 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 17924 74 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 18923 76 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 19922 77 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220472 134586419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 20921 78 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220336 134523399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 21919 80 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220532 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 22918 81 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220308 1077378638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 23917 83 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 24916 84 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 25915 85 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220200 1077378266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 26913 86 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220592 134610886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 27913 87 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 28911 88 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220464 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 29910 90 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 30908 92 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220432 134524415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 31906 94 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 32904 96 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 33902 98 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 34901 100 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220492 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 35900 101 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220508 134523614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 36898 103 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220464 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 37897 104 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220156 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 38896 106 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220624 134623830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 39895 107 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220464 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 40893 109 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220404 1077374469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 41892 110 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220468 134591993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 42890 111 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 43888 113 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220512 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 44887 114 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220624 134623830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 45886 116 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220476 134535676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 46884 118 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 47882 120 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220368 134535465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+490.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 48881 121 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220512 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 49880 122 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220012 1077379889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 50880 123 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 51879 123 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 52879 124 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 53878 125 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220368 134696112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 54877 126 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220560 134590061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 55876 127 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220384 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 56876 128 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220444 134542828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 57875 128 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220308 1077378603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 58874 130 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 59873 131 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220512 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 60873 132 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220484 134592437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 61871 133 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 62870 134 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220288 134540498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 63869 135 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220116 1077374071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 64869 136 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220288 134539605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 65868 137 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220604 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 66867 138 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 67866 139 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 68866 140 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220100 1077378785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 69865 141 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220028 1077379959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+710.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 70864 142 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220432 134539757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+720.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 71863 143 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220432 134540498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 72863 144 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 73861 145 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220592 134610900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 74860 146 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220124 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+760.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 75859 147 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220432 134528440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+770.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 76858 148 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+780.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 77856 150 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+790.07 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19238 0 0 0 78859 151 0 0 25 0 1 0 810313867 82452480 19200 4294967295 134512640 134714540 3221221776 3221220512 134538883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20130 19200 1111 63 0 20067 0
vsize: 80520
[startup+800.069 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19287 0 0 0 79858 153 0 0 25 0 1 0 810313867 82587648 19249 4294967295 134512640 134714540 3221221776 3221220288 134540037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19249 1111 63 0 20100 0
vsize: 80652
[startup+810.069 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19287 0 0 0 80857 153 0 0 25 0 1 0 810313867 82587648 19249 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20163 19249 1111 63 0 20100 0
vsize: 80652
[startup+820.071 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 81856 155 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220296 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+830.071 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 82855 156 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+840.071 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 83855 156 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220332 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+850.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 84855 157 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220456 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+860.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 85854 158 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220456 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+870.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 86854 158 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220368 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+880.072 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19339 0 0 0 87853 158 0 0 25 0 1 0 810313867 82862080 19301 4294967295 134512640 134714540 3221221776 3221220392 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19301 1111 63 0 20167 0
vsize: 80920
[startup+890.073 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19340 0 0 0 88853 159 0 0 25 0 1 0 810313867 82862080 19302 4294967295 134512640 134714540 3221221776 3221220336 134523607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19302 1111 63 0 20167 0
vsize: 80920
[startup+900.074 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19340 0 0 0 89852 160 0 0 25 0 1 0 810313867 82862080 19302 4294967295 134512640 134714540 3221221776 3221220416 134524578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20230 19302 1111 63 0 20167 0
vsize: 80920
[startup+910.074 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 90851 161 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220440 134524591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+920.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 91851 162 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220368 134538819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+930.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 92850 162 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220488 134603809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+940.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 93850 163 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220496 1077377136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+950.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 94849 164 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+960.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 95849 165 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+970.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 96848 166 0 0 25 0 1 0 810313867 83132416 19379 4294967295 134512640 134714540 3221221776 3221220512 134538617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20296 19379 1111 63 0 20233 0
vsize: 81184
[startup+980.075 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 97848 166 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220404 1077374592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+990.076 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 98847 167 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 99846 168 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220056 1077377395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 100846 169 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220396 134613400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.96 3/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 101845 169 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220356 1077374057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 102845 170 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 103844 171 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220512 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 104843 172 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 105843 173 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220348 134535488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19417 0 0 0 106842 173 0 0 25 0 1 0 810313867 83058688 19375 4294967295 134512640 134714540 3221221776 3221220492 134534136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20278 19375 1111 63 0 20215 0
vsize: 81112
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 107841 175 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220332 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 108840 176 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220456 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 109840 176 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 110839 177 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 111838 178 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220488 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 112838 178 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 113837 180 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220500 1077374080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 114835 181 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220012 1077379863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 115835 182 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220600 134524385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 116835 182 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 81244
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19427 0 0 0 116835 182 0 0 25 0 1 0 810313867 83193856 19385 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19385 1111 63 0 20248 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.07
CPU user time (s): 1173.2
CPU system time (s): 1.86472
CPU usage (%): 100.008
Max. virtual memory (Kb): 81244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	9054
#### END VERIFIER DATA ####