PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
MD5SUM	6cda2e87049e07c7829c58ae7ae8c049
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1152
Optimality of the best value was proved	NO
Number of terms in the objective function	3600
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	188743500
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	188743500
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	6100
Total number of constraints	3706
Number of constraints which are clauses	600
Number of constraints which are cardinality constraints (but not clauses)	1020
Number of constraints which are nor clauses,nor cardinality constraints	2086
Minimum length of a constraint	1
Maximum length of a constraint	300
Trace number 41658

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 19:06:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29719 boxname=wulflinc4 idbench=1503 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6cda2e87049e07c7829c58ae7ae8c049  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos11.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos11.opb
IDLAUNCH: 29719
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        894500 kB
Buffers:           688 kB
Cached:         118980 kB
SwapCached:        896 kB
Active:          25860 kB
Inactive:        95780 kB
HighTotal:      131008 kB
HighFree:         9072 kB
LowTotal:       903652 kB
LowFree:        885428 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12624 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:26:35 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 29719 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6100 variables and 3042 constraints.
c After prepocess the problem consists of 5640 variables and 3562 constraints.
c preprocess terminated 79.136 s
c Initial Lower Bound: 768
c Lower Bound Elapsed time: 50.384
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 188739603 @ 745.186
c NEW SOLUTION FOUND: 188739602 @ 745.294
c NEW SOLUTION FOUND: 188739601 @ 745.469
c NEW SOLUTION FOUND: 188739600 @ 745.646
c NEW SOLUTION FOUND: 188739599 @ 745.816
c NEW SOLUTION FOUND: 188739598 @ 745.985
c NEW SOLUTION FOUND: 188739597 @ 746.15
c NEW SOLUTION FOUND: 188739596 @ 746.318
c NEW SOLUTION FOUND: 188739595 @ 746.484
c NEW SOLUTION FOUND: 188739594 @ 746.651
c NEW SOLUTION FOUND: 188739593 @ 746.819
c NEW SOLUTION FOUND: 188739592 @ 746.991
c NEW SOLUTION FOUND: 188739591 @ 747.157
c NEW SOLUTION FOUND: 188739590 @ 747.323
c NEW SOLUTION FOUND: 188739589 @ 747.49
c NEW SOLUTION FOUND: 188739588 @ 747.659
c NEW SOLUTION FOUND: 188739587 @ 747.831
c NEW SOLUTION FOUND: 188739586 @ 748
c NEW SOLUTION FOUND: 188739585 @ 748.169
c NEW SOLUTION FOUND: 188739584 @ 748.334
c NEW SOLUTION FOUND: 188739583 @ 748.502
c NEW SOLUTION FOUND: 188739582 @ 748.673
c NEW SOLUTION FOUND: 188739581 @ 748.842
c NEW SOLUTION FOUND: 188739580 @ 749.013
c NEW SOLUTION FOUND: 188739579 @ 749.183
c NEW SOLUTION FOUND: 188739578 @ 749.355
c NEW SOLUTION FOUND: 188739577 @ 749.524
c NEW SOLUTION FOUND: 188739576 @ 749.694
c NEW SOLUTION FOUND: 188739575 @ 749.863
c NEW SOLUTION FOUND: 188739574 @ 750.036
c NEW SOLUTION FOUND: 188739573 @ 750.204
c NEW SOLUTION FOUND: 188739572 @ 750.371
c NEW SOLUTION FOUND: 188739571 @ 750.541
c NEW SOLUTION FOUND: 188739570 @ 750.713
c NEW SOLUTION FOUND: 188739569 @ 750.882
c NEW SOLUTION FOUND: 188739568 @ 751.053
c NEW SOLUTION FOUND: 188739567 @ 751.221
c NEW SOLUTION FOUND: 188739566 @ 751.393
c NEW SOLUTION FOUND: 188739565 @ 751.563
c NEW SOLUTION FOUND: 188739564 @ 751.732
c NEW SOLUTION FOUND: 188739563 @ 751.903
c NEW SOLUTION FOUND: 188739562 @ 752.069
c NEW SOLUTION FOUND: 188739561 @ 752.237
c NEW SOLUTION FOUND: 188739560 @ 752.403
c NEW SOLUTION FOUND: 188739559 @ 752.572
c NEW SOLUTION FOUND: 188739558 @ 752.742
c NEW SOLUTION FOUND: 188739557 @ 752.911
c NEW SOLUTION FOUND: 188739556 @ 753.078
c NEW SOLUTION FOUND: 188739555 @ 753.247
c NEW SOLUTION FOUND: 188739554 @ 753.421
c NEW SOLUTION FOUND: 188739553 @ 753.589
c NEW SOLUTION FOUND: 188739552 @ 753.761
c NEW SOLUTION FOUND: 188739551 @ 753.928
c NEW SOLUTION FOUND: 188739550 @ 754.099
c NEW SOLUTION FOUND: 188739549 @ 754.266
c NEW SOLUTION FOUND: 188739548 @ 754.437
c NEW SOLUTION FOUND: 188739547 @ 754.606
c NEW SOLUTION FOUND: 188739546 @ 754.776
c NEW SOLUTION FOUND: 188739545 @ 754.947
c NEW SOLUTION FOUND: 188739544 @ 755.116
c NEW SOLUTION FOUND: 188739543 @ 755.285
c NEW SOLUTION FOUND: 188739542 @ 755.456
c NEW SOLUTION FOUND: 188739541 @ 755.627
c NEW SOLUTION FOUND: 188739540 @ 755.798
c NEW SOLUTION FOUND: 188739539 @ 755.968
c NEW SOLUTION FOUND: 188739538 @ 756.139
c NEW SOLUTION FOUND: 188739537 @ 756.309
c NEW SOLUTION FOUND: 188739536 @ 756.48
c NEW SOLUTION FOUND: 188739535 @ 756.653
c NEW SOLUTION FOUND: 188739534 @ 756.825
c NEW SOLUTION FOUND: 188739533 @ 757
c NEW SOLUTION FOUND: 188739532 @ 757.175
c NEW SOLUTION FOUND: 188739531 @ 757.347
c NEW SOLUTION FOUND: 188739530 @ 757.519
c NEW SOLUTION FOUND: 188739529 @ 757.693
c NEW SOLUTION FOUND: 188739528 @ 757.865
c NEW SOLUTION FOUND: 188739527 @ 758.037
c NEW SOLUTION FOUND: 188739526 @ 758.21
c NEW SOLUTION FOUND: 188739525 @ 758.38
c NEW SOLUTION FOUND: 188739524 @ 758.551
c NEW SOLUTION FOUND: 188739523 @ 758.722
c NEW SOLUTION FOUND: 188739522 @ 758.896
c NEW SOLUTION FOUND: 188739521 @ 759.064
c NEW SOLUTION FOUND: 188739520 @ 759.239
c NEW SOLUTION FOUND: 188739519 @ 759.408
c NEW SOLUTION FOUND: 188739518 @ 759.581
c NEW SOLUTION FOUND: 188739517 @ 759.747
c NEW SOLUTION FOUND: 188739516 @ 759.918
c NEW SOLUTION FOUND: 188739515 @ 760.088
c NEW SOLUTION FOUND: 188739514 @ 760.259
c NEW SOLUTION FOUND: 188739513 @ 760.427
c NEW SOLUTION FOUND: 188739512 @ 760.599
c NEW SOLUTION FOUND: 188739511 @ 760.771
c NEW SOLUTION FOUND: 188739510 @ 760.943
c NEW SOLUTION FOUND: 188739509 @ 761.113
c NEW SOLUTION FOUND: 188739508 @ 761.284
c NEW SOLUTION FOUND: 188739507 @ 761.453
c NEW SOLUTION FOUND: 188739506 @ 761.626
c NEW SOLUTION FOUND: 188739505 @ 761.793
c NEW SOLUTION FOUND: 188739504 @ 761.97
c NEW SOLUTION FOUND: 188739503 @ 762.136
c NEW SOLUTION FOUND: 188739502 @ 762.311
c NEW SOLUTION FOUND: 188739501 @ 762.478
c NEW SOLUTION FOUND: 188739500 @ 762.652
c NEW SOLUTION FOUND: 188739499 @ 762.822
c NEW SOLUTION FOUND: 188739498 @ 762.997
c NEW SOLUTION FOUND: 188739497 @ 763.163
c NEW SOLUTION FOUND: 188739496 @ 763.335
c NEW SOLUTION FOUND: 188739495 @ 763.504
c NEW SOLUTION FOUND: 188739494 @ 763.676
c NEW SOLUTION FOUND: 188739493 @ 763.848
c NEW SOLUTION FOUND: 188739492 @ 764.019
c NEW SOLUTION FOUND: 188739491 @ 764.189
c NEW SOLUTION FOUND: 188739490 @ 764.359
c NEW SOLUTION FOUND: 188739489 @ 764.528
c NEW SOLUTION FOUND: 188739488 @ 764.698
c NEW SOLUTION FOUND: 188739487 @ 764.871
c NEW SOLUTION FOUND: 188739486 @ 765.043
c NEW SOLUTION FOUND: 188739485 @ 765.212
c NEW SOLUTION FOUND: 188739484 @ 765.384
c NEW SOLUTION FOUND: 188739483 @ 765.553
c NEW SOLUTION FOUND: 188739482 @ 765.722
c NEW SOLUTION FOUND: 188739481 @ 765.891
c NEW SOLUTION FOUND: 188739480 @ 766.059
c NEW SOLUTION FOUND: 188739479 @ 766.23
c NEW SOLUTION FOUND: 188739478 @ 766.399
c NEW SOLUTION FOUND: 188739477 @ 766.569
c NEW SOLUTION FOUND: 188739476 @ 766.742
c NEW SOLUTION FOUND: 188739475 @ 766.915
c NEW SOLUTION FOUND: 188739474 @ 767.086
c NEW SOLUTION FOUND: 188739473 @ 767.258
c NEW SOLUTION FOUND: 188739472 @ 767.433
c NEW SOLUTION FOUND: 188739471 @ 767.606
c NEW SOLUTION FOUND: 188739470 @ 767.776
c NEW SOLUTION FOUND: 188739469 @ 767.948
c NEW SOLUTION FOUND: 188739468 @ 768.118
c NEW SOLUTION FOUND: 188739467 @ 768.291
c NEW SOLUTION FOUND: 188739466 @ 768.465
c NEW SOLUTION FOUND: 188739465 @ 768.637
c NEW SOLUTION FOUND: 188739464 @ 768.808
c NEW SOLUTION FOUND: 188739463 @ 768.984
c NEW SOLUTION FOUND: 188739462 @ 769.154
c NEW SOLUTION FOUND: 188739461 @ 769.33
c NEW SOLUTION FOUND: 188739460 @ 769.502
c NEW SOLUTION FOUND: 188739459 @ 769.675
c NEW SOLUTION FOUND: 188739458 @ 769.85
c NEW SOLUTION FOUND: 188739457 @ 770.025
c NEW SOLUTION FOUND: 188739456 @ 770.198
c NEW SOLUTION FOUND: 188739455 @ 770.373
c NEW SOLUTION FOUND: 188739454 @ 770.546
c NEW SOLUTION FOUND: 188739453 @ 770.72
c NEW SOLUTION FOUND: 188739452 @ 770.896
c NEW SOLUTION FOUND: 188739451 @ 771.07
c NEW SOLUTION FOUND: 188739450 @ 771.242
c NEW SOLUTION FOUND: 188739449 @ 771.415
c NEW SOLUTION FOUND: 188739448 @ 771.588
c NEW SOLUTION FOUND: 188739447 @ 771.76
c NEW SOLUTION FOUND: 188739446 @ 771.931
c NEW SOLUTION FOUND: 188739445 @ 772.105
c NEW SOLUTION FOUND: 188739444 @ 772.28
c NEW SOLUTION FOUND: 188739443 @ 772.451
c NEW SOLUTION FOUND: 188739442 @ 772.621
c NEW SOLUTION FOUND: 188739441 @ 772.795
c NEW SOLUTION FOUND: 188739440 @ 772.966
c NEW SOLUTION FOUND: 188739439 @ 773.14
c NEW SOLUTION FOUND: 188739438 @ 773.31
c NEW SOLUTION FOUND: 188739437 @ 773.484
c NEW SOLUTION FOUND: 188739436 @ 773.652
c NEW SOLUTION FOUND: 188739435 @ 773.827
c NEW SOLUTION FOUND: 188739434 @ 773.995
c NEW SOLUTION FOUND: 188739433 @ 774.169
c NEW SOLUTION FOUND: 188739432 @ 774.341
c NEW SOLUTION FOUND: 188739431 @ 774.518
c NEW SOLUTION FOUND: 188739430 @ 774.689
c NEW SOLUTION FOUND: 188739429 @ 774.862
c NEW SOLUTION FOUND: 188739428 @ 775.037
c NEW SOLUTION FOUND: 188739427 @ 775.212
c NEW SOLUTION FOUND: 188739425 @ 775.384
c NEW SOLUTION FOUND: 188739423 @ 775.558
c NEW SOLUTION FOUND: 188739421 @ 775.73
c NEW SOLUTION FOUND: 188739419 @ 775.904
c NEW SOLUTION FOUND: 188739417 @ 776.074
c NEW SOLUTION FOUND: 188739415 @ 776.248
c NEW SOLUTION FOUND: 188739413 @ 776.419
c NEW SOLUTION FOUND: 188739411 @ 776.593
c NEW SOLUTION FOUND: 188739409 @ 776.765
c NEW SOLUTION FOUND: 188739407 @ 776.94
c NEW SOLUTION FOUND: 188739405 @ 777.111
c NEW SOLUTION FOUND: 188739403 @ 777.286
c NEW SOLUTION FOUND: 188739401 @ 777.457
c NEW SOLUTION FOUND: 188739399 @ 777.632
c NEW SOLUTION FOUND: 188739397 @ 777.804
c NEW SOLUTION FOUND: 188739395 @ 777.977
c NEW SOLUTION FOUND: 188739393 @ 778.148
c NEW SOLUTION FOUND: 188739391 @ 778.323
c NEW SOLUTION FOUND: 188739389 @ 778.494
c NEW SOLUTION FOUND: 188739387 @ 778.667
c NEW SOLUTION FOUND: 188739385 @ 778.838
c NEW SOLUTION FOUND: 188739383 @ 779.013
c NEW SOLUTION FOUND: 188739381 @ 779.181
c NEW SOLUTION FOUND: 188739379 @ 779.356
c NEW SOLUTION FOUND: 188739377 @ 779.523
c NEW SOLUTION FOUND: 188739375 @ 779.698
c NEW SOLUTION FOUND: 188739373 @ 779.866
c NEW SOLUTION FOUND: 188739371 @ 780.039
c NEW SOLUTION FOUND: 188739369 @ 780.208
c NEW SOLUTION FOUND: 188739367 @ 780.381
c NEW SOLUTION FOUND: 188739365 @ 780.549
c NEW SOLUTION FOUND: 188739363 @ 780.723
c NEW SOLUTION FOUND: 188739361 @ 780.894
c NEW SOLUTION FOUND: 188739359 @ 781.066
c NEW SOLUTION FOUND: 188739357 @ 781.237
c NEW SOLUTION FOUND: 188739355 @ 781.41
c NEW SOLUTION FOUND: 188739353 @ 781.581
c NEW SOLUTION FOUND: 188739351 @ 781.754
c NEW SOLUTION FOUND: 188739349 @ 781.924
c NEW SOLUTION FOUND: 188739347 @ 782.098
c NEW SOLUTION FOUND: 188739345 @ 782.268
c NEW SOLUTION FOUND: 188739343 @ 782.44
c NEW SOLUTION FOUND: 188739341 @ 782.609
c NEW SOLUTION FOUND: 188739339 @ 782.783
c NEW SOLUTION FOUND: 188739337 @ 782.954
c NEW SOLUTION FOUND: 188739335 @ 783.125
c NEW SOLUTION FOUND: 188739333 @ 783.293
c NEW SOLUTION FOUND: 188739331 @ 783.468
c NEW SOLUTION FOUND: 188739329 @ 783.637
c NEW SOLUTION FOUND: 188739327 @ 783.811
c NEW SOLUTION FOUND: 188739325 @ 783.981
c NEW SOLUTION FOUND: 188739323 @ 784.155
c NEW SOLUTION FOUND: 188739321 @ 784.326
c NEW SOLUTION FOUND: 188739319 @ 784.499
c NEW SOLUTION FOUND: 188739317 @ 784.669
c NEW SOLUTION FOUND: 188739315 @ 784.843
c NEW SOLUTION FOUND: 188739313 @ 785.012
c NEW SOLUTION FOUND: 188739311 @ 785.186
c NEW SOLUTION FOUND: 188739309 @ 785.357
c NEW SOLUTION FOUND: 188739307 @ 785.531
c NEW SOLUTION FOUND: 188739305 @ 785.702
c NEW SOLUTION FOUND: 188739303 @ 785.872
c NEW SOLUTION FOUND: 188739301 @ 786.046
c NEW SOLUTION FOUND: 188739299 @ 786.214
c NEW SOLUTION FOUND: 188739297 @ 786.388
c NEW SOLUTION FOUND: 188739295 @ 786.559
c NEW SOLUTION FOUND: 188739293 @ 786.732
c NEW SOLUTION FOUND: 188739291 @ 786.905
c NEW SOLUTION FOUND: 188739289 @ 787.077
c NEW SOLUTION FOUND: 188739287 @ 787.246
c NEW SOLUTION FOUND: 188739285 @ 787.421
c NEW SOLUTION FOUND: 188739283 @ 787.589
c NEW SOLUTION FOUND: 188739281 @ 787.762
c NEW SOLUTION FOUND: 188739279 @ 787.932
c NEW SOLUTION FOUND: 188739277 @ 788.106
c NEW SOLUTION FOUND: 188739275 @ 788.275
c NEW SOLUTION FOUND: 188739273 @ 788.447
c NEW SOLUTION FOUND: 188739271 @ 788.616
c NEW SOLUTION FOUND: 188739269 @ 788.79
c NEW SOLUTION FOUND: 188739267 @ 788.959
c NEW SOLUTION FOUND: 188739265 @ 789.132
c NEW SOLUTION FOUND: 188739263 @ 789.3
c NEW SOLUTION FOUND: 188739261 @ 789.473
c NEW SOLUTION FOUND: 188739259 @ 789.642
c NEW SOLUTION FOUND: 188739257 @ 789.814
c NEW SOLUTION FOUND: 188739255 @ 789.984
c NEW SOLUTION FOUND: 188739253 @ 790.158
c NEW SOLUTION FOUND: 188739251 @ 790.327
c NEW SOLUTION FOUND: 188739249 @ 790.5
c NEW SOLUTION FOUND: 188739247 @ 790.667
c NEW SOLUTION FOUND: 188739245 @ 790.838
c NEW SOLUTION FOUND: 188739243 @ 791.008
c NEW SOLUTION FOUND: 188739241 @ 791.18
c NEW SOLUTION FOUND: 188739239 @ 791.346
c NEW SOLUTION FOUND: 188739237 @ 791.519
c NEW SOLUTION FOUND: 188739235 @ 791.687
c NEW SOLUTION FOUND: 188739233 @ 791.86
c NEW SOLUTION FOUND: 188739231 @ 792.03
c NEW SOLUTION FOUND: 188739229 @ 792.202
c NEW SOLUTION FOUND: 188739227 @ 792.371
c NEW SOLUTION FOUND: 188739225 @ 792.543
c NEW SOLUTION FOUND: 188739223 @ 792.713
c NEW SOLUTION FOUND: 188739221 @ 792.886
c NEW SOLUTION FOUND: 188739219 @ 793.056
c NEW SOLUTION FOUND: 188739217 @ 793.229
c NEW SOLUTION FOUND: 188739215 @ 793.397
c NEW SOLUTION FOUND: 188739213 @ 793.571
c NEW SOLUTION FOUND: 188739211 @ 793.742
c NEW SOLUTION FOUND: 188739209 @ 793.914
c NEW SOLUTION FOUND: 188739207 @ 794.083
c NEW SOLUTION FOUND: 188739205 @ 794.258
c NEW SOLUTION FOUND: 188739203 @ 794.427
c NEW SOLUTION FOUND: 188739201 @ 794.601
c NEW SOLUTION FOUND: 188739199 @ 794.773
c NEW SOLUTION FOUND: 188739197 @ 794.946
c NEW SOLUTION FOUND: 188739195 @ 795.116
c NEW SOLUTION FOUND: 188739193 @ 795.287
c NEW SOLUTION FOUND: 188739191 @ 795.459
c NEW SOLUTION FOUND: 188739189 @ 795.631
c NEW SOLUTION FOUND: 188739187 @ 795.801
c NEW SOLUTION FOUND: 188739185 @ 795.973
c NEW SOLUTION FOUND: 188739183 @ 796.143
c NEW SOLUTION FOUND: 188739181 @ 796.318
c NEW SOLUTION FOUND: 188739179 @ 796.488
c NEW SOLUTION FOUND: 188739177 @ 796.662
c NEW SOLUTION FOUND: 188739175 @ 796.832
c NEW SOLUTION FOUND: 188739173 @ 797.005
c NEW SOLUTION FOUND: 188739171 @ 797.174
c NEW SOLUTION FOUND: 188739169 @ 797.348
c NEW SOLUTION FOUND: 188739167 @ 797.518
c NEW SOLUTION FOUND: 188739165 @ 797.689
c NEW SOLUTION FOUND: 188739163 @ 797.859
c NEW SOLUTION FOUND: 188739161 @ 798.034
c NEW SOLUTION FOUND: 188739159 @ 798.203
c NEW SOLUTION FOUND: 188739157 @ 798.373
c NEW SOLUTION FOUND: 188739155 @ 798.542
c NEW SOLUTION FOUND: 188739153 @ 798.715
c NEW SOLUTION FOUND: 188739151 @ 798.885
c NEW SOLUTION FOUND: 188739149 @ 799.056
c NEW SOLUTION FOUND: 188739147 @ 799.225
c NEW SOLUTION FOUND: 188739145 @ 799.397
c NEW SOLUTION FOUND: 188739143 @ 799.566
c NEW SOLUTION FOUND: 188739141 @ 799.74
c NEW SOLUTION FOUND: 188739139 @ 799.909
c NEW SOLUTION FOUND: 188739137 @ 800.08
c NEW SOLUTION FOUND: 188739135 @ 800.251
c NEW SOLUTION FOUND: 188739133 @ 800.423
c NEW SOLUTION FOUND: 188739131 @ 800.592
c NEW SOLUTION FOUND: 188739129 @ 800.763
c NEW SOLUTION FOUND: 188739127 @ 800.933
c NEW SOLUTION FOUND: 188739125 @ 801.103
c NEW SOLUTION FOUND: 188739123 @ 801.273
c NEW SOLUTION FOUND: 188739121 @ 801.443
c NEW SOLUTION FOUND: 188739119 @ 801.613
c NEW SOLUTION FOUND: 188739117 @ 801.784
c NEW SOLUTION FOUND: 188739115 @ 801.953
c NEW SOLUTION FOUND: 188739113 @ 802.127
c NEW SOLUTION FOUND: 188739111 @ 802.295
c NEW SOLUTION FOUND: 188739109 @ 802.468
c NEW SOLUTION FOUND: 188739107 @ 802.638
c NEW SOLUTION FOUND: 188739105 @ 802.809
c NEW SOLUTION FOUND: 188739103 @ 802.98
c NEW SOLUTION FOUND: 188739101 @ 803.152
c NEW SOLUTION FOUND: 188739099 @ 803.322
c NEW SOLUTION FOUND: 188739097 @ 803.492
c NEW SOLUTION FOUND: 188739095 @ 803.66
c NEW SOLUTION FOUND: 188739093 @ 803.833
c NEW SOLUTION FOUND: 188739091 @ 804
c NEW SOLUTION FOUND: 188739089 @ 804.171
c NEW SOLUTION FOUND: 188739087 @ 804.339
c NEW SOLUTION FOUND: 188739085 @ 804.513
c NEW SOLUTION FOUND: 188739083 @ 804.684
c NEW SOLUTION FOUND: 188739081 @ 804.858
c NEW SOLUTION FOUND: 188739079 @ 805.026
c NEW SOLUTION FOUND: 188739077 @ 805.196
c NEW SOLUTION FOUND: 188739075 @ 805.365
c NEW SOLUTION FOUND: 188739073 @ 805.534
c NEW SOLUTION FOUND: 188739069 @ 805.7
c NEW SOLUTION FOUND: 188739065 @ 805.872
c NEW SOLUTION FOUND: 188739061 @ 806.04
c NEW SOLUTION FOUND: 188739057 @ 806.213
c NEW SOLUTION FOUND: 188739053 @ 806.379
c NEW SOLUTION FOUND: 188739049 @ 806.551
c NEW SOLUTION FOUND: 188739045 @ 806.718
c NEW SOLUTION FOUND: 188739041 @ 806.89
c NEW SOLUTION FOUND: 188739037 @ 807.057
c NEW SOLUTION FOUND: 188739033 @ 807.231
c NEW SOLUTION FOUND: 188739029 @ 807.4
c NEW SOLUTION FOUND: 188739025 @ 807.571
c NEW SOLUTION FOUND: 188739021 @ 807.74
c NEW SOLUTION FOUND: 188739017 @ 807.914
c NEW SOLUTION FOUND: 188739013 @ 808.083
c NEW SOLUTION FOUND: 188739009 @ 808.255
c NEW SOLUTION FOUND: 188739005 @ 808.424
c NEW SOLUTION FOUND: 188739001 @ 808.598
c NEW SOLUTION FOUND: 188738997 @ 808.768
c NEW SOLUTION FOUND: 188738993 @ 808.942
c NEW SOLUTION FOUND: 188738989 @ 809.109
c NEW SOLUTION FOUND: 188738985 @ 809.283
c NEW SOLUTION FOUND: 188738981 @ 809.452
c NEW SOLUTION FOUND: 188738977 @ 809.625
c NEW SOLUTION FOUND: 188738973 @ 809.794
c NEW SOLUTION FOUND: 188738969 @ 809.966
c NEW SOLUTION FOUND: 188738965 @ 810.135
c NEW SOLUTION FOUND: 188738961 @ 810.309
c NEW SOLUTION FOUND: 188738957 @ 810.478
c NEW SOLUTION FOUND: 188738953 @ 810.649
c NEW SOLUTION FOUND: 188738949 @ 810.818
c NEW SOLUTION FOUND: 188738945 @ 810.993
c NEW SOLUTION FOUND: 188738941 @ 811.159
c NEW SOLUTION FOUND: 188738937 @ 811.329
c NEW SOLUTION FOUND: 188738933 @ 811.498
c NEW SOLUTION FOUND: 188738929 @ 811.668
c NEW SOLUTION FOUND: 188738925 @ 811.836
c NEW SOLUTION FOUND: 188738921 @ 812.006
c NEW SOLUTION FOUND: 188738917 @ 812.175
c NEW SOLUTION FOUND: 188738913 @ 812.344
c NEW SOLUTION FOUND: 188738909 @ 812.511
c NEW SOLUTION FOUND: 188738905 @ 812.679
c NEW SOLUTION FOUND: 188738901 @ 812.848
c NEW SOLUTION FOUND: 188738897 @ 813.016
c NEW SOLUTION FOUND: 188738893 @ 813.183
c NEW SOLUTION FOUND: 188738889 @ 813.352
c NEW SOLUTION FOUND: 188738885 @ 813.519
c NEW SOLUTION FOUND: 188738881 @ 813.685
c NEW SOLUTION FOUND: 188738877 @ 813.852
c NEW SOLUTION FOUND: 188738873 @ 814.019
c NEW SOLUTION FOUND: 188738869 @ 814.186
c NEW SOLUTION FOUND: 188738865 @ 814.354
c NEW SOLUTION FOUND: 188738861 @ 814.521
c NEW SOLUTION FOUND: 188738857 @ 814.691
c NEW SOLUTION FOUND: 188738853 @ 814.86
c NEW SOLUTION FOUND: 188738849 @ 815.028
c NEW SOLUTION FOUND: 188738845 @ 815.196
c NEW SOLUTION FOUND: 188738841 @ 815.362
c NEW SOLUTION FOUND: 188738837 @ 815.531
c NEW SOLUTION FOUND: 188738833 @ 815.698
c NEW SOLUTION FOUND: 188738829 @ 815.865
c NEW SOLUTION FOUND: 188738825 @ 816.032
c NEW SOLUTION FOUND: 188738821 @ 816.2
c NEW SOLUTION FOUND: 188738817 @ 816.366
c NEW SOLUTION FOUND: 188738813 @ 816.534
c NEW SOLUTION FOUND: 188738809 @ 816.7
c NEW SOLUTION FOUND: 188738805 @ 816.868
c NEW SOLUTION FOUND: 188738801 @ 817.038
c NEW SOLUTION FOUND: 188738797 @ 817.21
c NEW SOLUTION FOUND: 188738793 @ 817.379
c NEW SOLUTION FOUND: 188738789 @ 817.546
c NEW SOLUTION FOUND: 188738785 @ 817.718
c NEW SOLUTION FOUND: 188738781 @ 817.884
c NEW SOLUTION FOUND: 188738777 @ 818.052
c NEW SOLUTION FOUND: 188738773 @ 818.219
c NEW SOLUTION FOUND: 188738769 @ 818.387
c NEW SOLUTION FOUND: 188738765 @ 818.554
c NEW SOLUTION FOUND: 188738761 @ 818.721
c NEW SOLUTION FOUND: 188738757 @ 818.887
c NEW SOLUTION FOUND: 188738753 @ 819.058
c NEW SOLUTION FOUND: 188738749 @ 819.224
c NEW SOLUTION FOUND: 188738745 @ 819.393
c NEW SOLUTION FOUND: 188738741 @ 819.56
c NEW SOLUTION FOUND: 188738737 @ 819.729
c NEW SOLUTION FOUND: 188738733 @ 819.897
c NEW SOLUTION FOUND: 188738729 @ 820.066
c NEW SOLUTION FOUND: 188738725 @ 820.23
c NEW SOLUTION FOUND: 188738721 @ 820.399
c NEW SOLUTION FOUND: 188738717 @ 820.565
c NEW SOLUTION FOUND: 188738713 @ 820.733
c NEW SOLUTION FOUND: 188738709 @ 820.9
c NEW SOLUTION FOUND: 188738705 @ 821.069
c NEW SOLUTION FOUND: 188738701 @ 821.235
c NEW SOLUTION FOUND: 188738697 @ 821.404
c NEW SOLUTION FOUND: 188738693 @ 821.57
c NEW SOLUTION FOUND: 188738689 @ 821.738
c NEW SOLUTION FOUND: 188738685 @ 821.907
c NEW SOLUTION FOUND: 188738681 @ 822.076
c NEW SOLUTION FOUND: 188738677 @ 822.244
c NEW SOLUTION FOUND: 188738673 @ 822.412
c NEW SOLUTION FOUND: 188738669 @ 822.582
c NEW SOLUTION FOUND: 188738665 @ 822.752
c NEW SOLUTION FOUND: 188738661 @ 822.921
c NEW SOLUTION FOUND: 188738657 @ 823.091
c NEW SOLUTION FOUND: 188738653 @ 823.259
c NEW SOLUTION FOUND: 188738649 @ 823.427
c NEW SOLUTION FOUND: 188738645 @ 823.592
c NEW SOLUTION FOUND: 188738641 @ 823.76
c NEW SOLUTION FOUND: 188738637 @ 823.929
c NEW SOLUTION FOUND: 188738633 @ 824.096
c NEW SOLUTION FOUND: 188738629 @ 824.262
c NEW SOLUTION FOUND: 188738625 @ 824.431
c NEW SOLUTION FOUND: 188738621 @ 824.599
c NEW SOLUTION FOUND: 188738617 @ 824.767
c NEW SOLUTION FOUND: 188738613 @ 824.936
c NEW SOLUTION FOUND: 188738609 @ 825.106
c NEW SOLUTION FOUND: 188738605 @ 825.275
c NEW SOLUTION FOUND: 188738601 @ 825.446
c NEW SOLUTION FOUND: 188738597 @ 825.613
c NEW SOLUTION FOUND: 188738593 @ 825.785
c NEW SOLUTION FOUND: 188738589 @ 825.954
c NEW SOLUTION FOUND: 188738585 @ 826.123
c NEW SOLUTION FOUND: 188738581 @ 826.29
c NEW SOLUTION FOUND: 188738577 @ 826.46
c NEW SOLUTION FOUND: 188738573 @ 826.628
c NEW SOLUTION FOUND: 188738569 @ 826.796
c NEW SOLUTION FOUND: 188738565 @ 826.963
c NEW SOLUTION FOUND: 188738561 @ 827.134
c NEW SOLUTION FOUND: 188738557 @ 827.302
c NEW SOLUTION FOUND: 188738553 @ 827.47
c NEW SOLUTION FOUND: 188738549 @ 827.638
c NEW SOLUTION FOUND: 188738545 @ 827.807
c NEW SOLUTION FOUND: 188738541 @ 827.975
c NEW SOLUTION FOUND: 188738537 @ 828.143
c NEW SOLUTION FOUND: 188738533 @ 828.309
c NEW SOLUTION FOUND: 188738529 @ 828.478
c NEW SOLUTION FOUND: 188738525 @ 828.645
c NEW SOLUTION FOUND: 188738521 @ 828.813
c NEW SOLUTION FOUND: 188738517 @ 828.982
c NEW SOLUTION FOUND: 188738513 @ 829.152
c NEW SOLUTION FOUND: 188738509 @ 829.32
c NEW SOLUTION FOUND: 188738505 @ 829.486
c NEW SOLUTION FOUND: 188738501 @ 829.652
c NEW SOLUTION FOUND: 188738497 @ 829.821
c NEW SOLUTION FOUND: 188738493 @ 829.989
c NEW SOLUTION FOUND: 188738489 @ 830.156
c NEW SOLUTION FOUND: 188738485 @ 830.321
c NEW SOLUTION FOUND: 188738481 @ 830.489
c NEW SOLUTION FOUND: 188738477 @ 830.655
c NEW SOLUTION FOUND: 188738473 @ 830.823
c NEW SOLUTION FOUND: 188738469 @ 830.989
c NEW SOLUTION FOUND: 188738465 @ 831.155
c NEW SOLUTION FOUND: 188738461 @ 831.321
c NEW SOLUTION FOUND: 188738457 @ 831.486
c NEW SOLUTION FOUND: 188738453 @ 831.652
c NEW SOLUTION FOUND: 188738449 @ 831.819
c NEW SOLUTION FOUND: 188738445 @ 831.984
c NEW SOLUTION FOUND: 188738441 @ 832.149
c NEW SOLUTION FOUND: 188738437 @ 832.315
c NEW SOLUTION FOUND: 188738433 @ 832.482
c NEW SOLUTION FOUND: 188738429 @ 832.648
c NEW SOLUTION FOUND: 188738425 @ 832.815
c NEW SOLUTION FOUND: 188738421 @ 832.981
c NEW SOLUTION FOUND: 188738417 @ 833.147
c NEW SOLUTION FOUND: 188738413 @ 833.315
c NEW SOLUTION FOUND: 188738409 @ 833.483
c NEW SOLUTION FOUND: 188738405 @ 833.649
c NEW SOLUTION FOUND: 188738401 @ 833.815
c NEW SOLUTION FOUND: 188738397 @ 833.982
c NEW SOLUTION FOUND: 188738393 @ 834.148
c NEW SOLUTION FOUND: 188738389 @ 834.314
c NEW SOLUTION FOUND: 188738385 @ 834.478
c NEW SOLUTION FOUND: 188738381 @ 834.643
c NEW SOLUTION FOUND: 188738377 @ 834.811
c NEW SOLUTION FOUND: 188738373 @ 834.979
c NEW SOLUTION FOUND: 188738369 @ 835.148
c NEW SOLUTION FOUND: 188738365 @ 835.313
c NEW SOLUTION FOUND: 188738361 @ 835.484
c NEW SOLUTION FOUND: 188738357 @ 835.65
c NEW SOLUTION FOUND: 188738349 @ 835.819
c NEW SOLUTION FOUND: 188738341 @ 835.985
c NEW SOLUTION FOUND: 188738333 @ 836.154
c NEW SOLUTION FOUND: 188738325 @ 836.32
c NEW SOLUTION FOUND: 188738317 @ 836.488
c NEW SOLUTION FOUND: 188738309 @ 836.653
c NEW SOLUTION FOUND: 188738301 @ 836.822
c NEW SOLUTION FOUND: 188738293 @ 836.989
c NEW SOLUTION FOUND: 188738285 @ 837.156
c NEW SOLUTION FOUND: 188738277 @ 837.322
c NEW SOLUTION FOUND: 188738269 @ 837.489
c NEW SOLUTION FOUND: 188738261 @ 837.653
c NEW SOLUTION FOUND: 188738253 @ 837.818
c NEW SOLUTION FOUND: 188738245 @ 837.984
c NEW SOLUTION FOUND: 188738237 @ 838.153
c NEW SOLUTION FOUND: 188738229 @ 838.319
c NEW SOLUTION FOUND: 188738221 @ 838.486
c NEW SOLUTION FOUND: 188738213 @ 838.653
c NEW SOLUTION FOUND: 188738205 @ 838.82
c NEW SOLUTION FOUND: 188738197 @ 838.987
c NEW SOLUTION FOUND: 188738189 @ 839.157
c NEW SOLUTION FOUND: 188738181 @ 839.323
c NEW SOLUTION FOUND: 188738173 @ 839.489
c NEW SOLUTION FOUND: 188738165 @ 839.656
c NEW SOLUTION FOUND: 188738157 @ 839.824
c NEW SOLUTION FOUND: 188738149 @ 839.99
c NEW SOLUTION FOUND: 188738141 @ 840.16
c NEW SOLUTION FOUND: 188738133 @ 840.328
c NEW SOLUTION FOUND: 188738125 @ 840.5
c NEW SOLUTION FOUND: 188738117 @ 840.667
c NEW SOLUTION FOUND: 188738109 @ 840.838
c NEW SOLUTION FOUND: 188738101 @ 841.006
c NEW SOLUTION FOUND: 188738093 @ 841.174
c NEW SOLUTION FOUND: 188738085 @ 841.341
c NEW SOLUTION FOUND: 188738077 @ 841.51
c NEW SOLUTION FOUND: 188738069 @ 841.678
c NEW SOLUTION FOUND: 188738061 @ 841.846
c NEW SOLUTION FOUND: 188738053 @ 842.012
c NEW SOLUTION FOUND: 188738045 @ 842.184
c NEW SOLUTION FOUND: 188738037 @ 842.35
c NEW SOLUTION FOUND: 188738029 @ 842.519
c NEW SOLUTION FOUND: 188738021 @ 842.685
c NEW SOLUTION FOUND: 188738013 @ 842.857
c NEW SOLUTION FOUND: 188738005 @ 843.024
c NEW SOLUTION FOUND: 188737997 @ 843.194
c NEW SOLUTION FOUND: 188737989 @ 843.361
c NEW SOLUTION FOUND: 188737981 @ 843.531
c NEW SOLUTION FOUND: 188737973 @ 843.697
c NEW SOLUTION FOUND: 188737965 @ 843.867
c NEW SOLUTION FOUND: 188737957 @ 844.032
c NEW SOLUTION FOUND: 188737949 @ 844.204
c NEW SOLUTION FOUND: 188737941 @ 844.369
c NEW SOLUTION FOUND: 188737933 @ 844.54
c NEW SOLUTION FOUND: 188737925 @ 844.708
c NEW SOLUTION FOUND: 188737917 @ 844.88
c NEW SOLUTION FOUND: 188737909 @ 845.048
c NEW SOLUTION FOUND: 188737901 @ 845.218
c NEW SOLUTION FOUND: 188737893 @ 845.386
c NEW SOLUTION FOUND: 188737885 @ 845.557
c NEW SOLUTION FOUND: 188737877 @ 845.723
c NEW SOLUTION FOUND: 188737869 @ 845.893
c NEW SOLUTION FOUND: 188737861 @ 846.059
c NEW SOLUTION FOUND: 188737853 @ 846.228
c NEW SOLUTION FOUND: 188737845 @ 846.394
c NEW SOLUTION FOUND: 188737837 @ 846.563
c NEW SOLUTION FOUND: 188737829 @ 846.729
c NEW SOLUTION FOUND: 188737821 @ 846.899
c NEW SOLUTION FOUND: 188737813 @ 847.067
c NEW SOLUTION FOUND: 188737805 @ 847.236
c NEW SOLUTION FOUND: 188737797 @ 847.402
c NEW SOLUTION FOUND: 188737789 @ 847.571
c NEW SOLUTION FOUND: 188737781 @ 847.738
c NEW SOLUTION FOUND: 188737773 @ 847.903
c NEW SOLUTION FOUND: 188737765 @ 848.07
c NEW SOLUTION FOUND: 188737757 @ 848.238
c NEW SOLUTION FOUND: 188737749 @ 848.403
c NEW SOLUTION FOUND: 188737741 @ 848.57
c NEW SOLUTION FOUND: 188737733 @ 848.739
c NEW SOLUTION FOUND: 188737725 @ 848.908
c NEW SOLUTION FOUND: 188737717 @ 849.076
c NEW SOLUTION FOUND: 188737709 @ 849.244
c NEW SOLUTION FOUND: 188737701 @ 849.413
c NEW SOLUTION FOUND: 188737693 @ 849.582
c NEW SOLUTION FOUND: 188737685 @ 849.75
c NEW SOLUTION FOUND: 188737677 @ 849.917
c NEW SOLUTION FOUND: 188737669 @ 850.085
c NEW SOLUTION FOUND: 188737661 @ 850.251
c NEW SOLUTION FOUND: 188737653 @ 850.421
c NEW SOLUTION FOUND: 188737645 @ 850.587
c NEW SOLUTION FOUND: 188737637 @ 850.755
c NEW SOLUTION FOUND: 188737629 @ 850.922
c NEW SOLUTION FOUND: 188737621 @ 851.089
c NEW SOLUTION FOUND: 188737613 @ 851.254
c NEW SOLUTION FOUND: 188737605 @ 851.42
c NEW SOLUTION FOUND: 188737597 @ 851.588
c NEW SOLUTION FOUND: 188737589 @ 851.753
c NEW SOLUTION FOUND: 188737581 @ 851.922
c NEW SOLUTION FOUND: 188737573 @ 852.088
c NEW SOLUTION FOUND: 188737565 @ 852.257
c NEW SOLUTION FOUND: 188737557 @ 852.422
c NEW SOLUTION FOUND: 188737549 @ 852.59
c NEW SOLUTION FOUND: 188737541 @ 852.756
c NEW SOLUTION FOUND: 188737533 @ 852.925
c NEW SOLUTION FOUND: 188737525 @ 853.091
c NEW SOLUTION FOUND: 188737517 @ 853.259
c NEW SOLUTION FOUND: 188737509 @ 853.424
c NEW SOLUTION FOUND: 188737501 @ 853.592
c NEW SOLUTION FOUND: 188737493 @ 853.757
c NEW SOLUTION FOUND: 188737485 @ 853.925
c NEW SOLUTION FOUND: 188737477 @ 854.091
c NEW SOLUTION FOUND: 188737469 @ 854.258
c NEW SOLUTION FOUND: 188737461 @ 854.423
c NEW SOLUTION FOUND: 188737453 @ 854.59
c NEW SOLUTION FOUND: 188737445 @ 854.755
c NEW SOLUTION FOUND: 188737437 @ 854.923
c NEW SOLUTION FOUND: 188737429 @ 855.089
c NEW SOLUTION FOUND: 188737421 @ 855.257
c NEW SOLUTION FOUND: 188737413 @ 855.422
c NEW SOLUTION FOUND: 188737405 @ 855.589
c NEW SOLUTION FOUND: 188737397 @ 855.753
c NEW SOLUTION FOUND: 188737389 @ 855.92
c NEW SOLUTION FOUND: 188737381 @ 856.086
c NEW SOLUTION FOUND: 188737373 @ 856.254
c NEW SOLUTION FOUND: 188737365 @ 856.419
c NEW SOLUTION FOUND: 188737357 @ 856.588
c NEW SOLUTION FOUND: 188737349 @ 856.754
c NEW SOLUTION FOUND: 188737341 @ 856.922
c NEW SOLUTION FOUND: 188737333 @ 857.088
c NEW SOLUTION FOUND: 188737325 @ 857.257
c NEW SOLUTION FOUND: 188737317 @ 857.421
c NEW SOLUTION FOUND: 188737309 @ 857.586
c NEW SOLUTION FOUND: 188737301 @ 857.753
c NEW SOLUTION FOUND: 188737293 @ 857.917
c NEW SOLUTION FOUND: 188737285 @ 858.08
c NEW SOLUTION FOUND: 188737277 @ 858.249
c NEW SOLUTION FOUND: 188737269 @ 858.413
c NEW SOLUTION FOUND: 188737261 @ 858.582
c NEW SOLUTION FOUND: 188737253 @ 858.747
c NEW SOLUTION FOUND: 188737245 @ 858.919
c NEW SOLUTION FOUND: 188737237 @ 859.083
c NEW SOLUTION FOUND: 188737229 @ 859.252
c NEW SOLUTION FOUND: 188737221 @ 859.417
c NEW SOLUTION FOUND: 188737213 @ 859.586
c NEW SOLUTION FOUND: 188737205 @ 859.75
c NEW SOLUTION FOUND: 188737197 @ 859.918
c NEW SOLUTION FOUND: 188737189 @ 860.084
c NEW SOLUTION FOUND: 188737181 @ 860.252
c NEW SOLUTION FOUND: 188737173 @ 860.417
c NEW SOLUTION FOUND: 188737165 @ 860.585
c NEW SOLUTION FOUND: 188737157 @ 860.75
c NEW SOLUTION FOUND: 188737149 @ 860.92
c NEW SOLUTION FOUND: 188737141 @ 861.083
c NEW SOLUTION FOUND: 188737133 @ 861.252
c NEW SOLUTION FOUND: 188737125 @ 861.415
c NEW SOLUTION FOUND: 188737117 @ 861.583
c NEW SOLUTION FOUND: 188737109 @ 861.748
c NEW SOLUTION FOUND: 188737101 @ 861.918
c NEW SOLUTION FOUND: 188737093 @ 862.082
c NEW SOLUTION FOUND: 188737085 @ 862.252
c NEW SOLUTION FOUND: 188737077 @ 862.416
c NEW SOLUTION FOUND: 188737069 @ 862.581
c NEW SOLUTION FOUND: 188737061 @ 862.749
c NEW SOLUTION FOUND: 188737053 @ 862.916
c NEW SOLUTION FOUND: 188737045 @ 863.082
c NEW SOLUTION FOUND: 188737037 @ 863.249
c NEW SOLUTION FOUND: 188737029 @ 863.416
c NEW SOLUTION FOUND: 188737021 @ 863.58
c NEW SOLUTION FOUND: 188737013 @ 863.747
c NEW SOLUTION FOUND: 188737005 @ 863.911
c NEW SOLUTION FOUND: 188736997 @ 864.076
c NEW SOLUTION FOUND: 188736989 @ 864.242
c NEW SOLUTION FOUND: 188736981 @ 864.409
c NEW SOLUTION FOUND: 188736973 @ 864.575
c NEW SOLUTION FOUND: 188736965 @ 864.741
c NEW SOLUTION FOUND: 188736957 @ 864.908
c NEW SOLUTION FOUND: 188736949 @ 865.076
c NEW SOLUTION FOUND: 188736933 @ 865.24
c NEW SOLUTION FOUND: 188736917 @ 865.406
c NEW SOLUTION FOUND: 188736901 @ 865.57
c NEW SOLUTION FOUND: 188736885 @ 865.736
c NEW SOLUTION FOUND: 188736869 @ 865.901
c NEW SOLUTION FOUND: 188736853 @ 866.067
c NEW SOLUTION FOUND: 188736837 @ 866.23
c NEW SOLUTION FOUND: 188736821 @ 866.397
c NEW SOLUTION FOUND: 188736805 @ 866.562
c NEW SOLUTION FOUND: 188736789 @ 866.729
c NEW SOLUTION FOUND: 188736773 @ 866.895
c NEW SOLUTION FOUND: 188736757 @ 867.06
c NEW SOLUTION FOUND: 188736741 @ 867.227
c NEW SOLUTION FOUND: 188736725 @ 867.392
c NEW SOLUTION FOUND: 188736709 @ 867.557
c NEW SOLUTION FOUND: 188736693 @ 867.723
c NEW SOLUTION FOUND: 188736677 @ 867.887
c NEW SOLUTION FOUND: 188736661 @ 868.054
c NEW SOLUTION FOUND: 188736645 @ 868.217
c NEW SOLUTION FOUND: 188736629 @ 868.382
c NEW SOLUTION FOUND: 188736613 @ 868.549
c NEW SOLUTION FOUND: 188736597 @ 868.714
c NEW SOLUTION FOUND: 188736581 @ 868.878
c NEW SOLUTION FOUND: 188736565 @ 869.043
c NEW SOLUTION FOUND: 188736549 @ 869.207
c NEW SOLUTION FOUND: 188736533 @ 869.374
c NEW SOLUTION FOUND: 188736517 @ 869.536
c NEW SOLUTION FOUND: 188736501 @ 869.701
c NEW SOLUTION FOUND: 188736485 @ 869.865
c NEW SOLUTION FOUND: 188736469 @ 870.03
c NEW SOLUTION FOUND: 188736453 @ 870.195
c NEW SOLUTION FOUND: 188736437 @ 870.359
c NEW SOLUTION FOUND: 188736421 @ 870.526
c NEW SOLUTION FOUND: 188736405 @ 870.692
c NEW SOLUTION FOUND: 188736389 @ 870.857
c NEW SOLUTION FOUND: 188736373 @ 871.024
c NEW SOLUTION FOUND: 188736357 @ 871.19
c NEW SOLUTION FOUND: 188736341 @ 871.356
c NEW SOLUTION FOUND: 188736325 @ 871.521
c NEW SOLUTION FOUND: 188736309 @ 871.686
c NEW SOLUTION FOUND: 188736293 @ 871.851
c NEW SOLUTION FOUND: 188736277 @ 872.016
c NEW SOLUTION FOUND: 188736261 @ 872.18
c NEW SOLUTION FOUND: 188736245 @ 872.345
c NEW SOLUTION FOUND: 188736229 @ 872.509
c NEW SOLUTION FOUND: 188736213 @ 872.676
c NEW SOLUTION FOUND: 188736197 @ 872.842
c NEW SOLUTION FOUND: 188736181 @ 873.007
c NEW SOLUTION FOUND: 188736165 @ 873.173
c NEW SOLUTION FOUND: 188736149 @ 873.338
c NEW SOLUTION FOUND: 188736133 @ 873.502
c NEW SOLUTION FOUND: 188736117 @ 873.667
c NEW SOLUTION FOUND: 188736101 @ 873.833
c NEW SOLUTION FOUND: 188736085 @ 873.999
c NEW SOLUTION FOUND: 188736069 @ 874.164
c NEW SOLUTION FOUND: 188736053 @ 874.328
c NEW SOLUTION FOUND: 188736037 @ 874.493
c NEW SOLUTION FOUND: 188736021 @ 874.658
c NEW SOLUTION FOUND: 188736005 @ 874.823
c NEW SOLUTION FOUND: 188735989 @ 874.988
c NEW SOLUTION FOUND: 188735973 @ 875.154
c NEW SOLUTION FOUND: 188735957 @ 875.319
c NEW SOLUTION FOUND: 188735941 @ 875.483
c NEW SOLUTION FOUND: 188735925 @ 875.648
c NEW SOLUTION FOUND: 188735909 @ 875.815
c NEW SOLUTION FOUND: 188735893 @ 875.978
c NEW SOLUTION FOUND: 188735877 @ 876.142
c NEW SOLUTION FOUND: 188735861 @ 876.307
c NEW SOLUTION FOUND: 188735845 @ 876.472
c NEW SOLUTION FOUND: 188735829 @ 876.635
c NEW SOLUTION FOUND: 188735813 @ 876.8
c NEW SOLUTION FOUND: 188735797 @ 876.966
c NEW SOLUTION FOUND: 188735781 @ 877.131
c NEW SOLUTION FOUND: 188735765 @ 877.297
c NEW SOLUTION FOUND: 188735749 @ 877.458
c NEW SOLUTION FOUND: 188735733 @ 877.623
c NEW SOLUTION FOUND: 188735717 @ 877.788
c NEW SOLUTION FOUND: 188735701 @ 877.953
c NEW SOLUTION FOUND: 188735685 @ 878.117
c NEW SOLUTION FOUND: 188735669 @ 878.281
c NEW SOLUTION FOUND: 188735653 @ 878.446
c NEW SOLUTION FOUND: 188735637 @ 878.609
c NEW SOLUTION FOUND: 188735621 @ 878.774
c NEW SOLUTION FOUND: 188735605 @ 878.938
c NEW SOLUTION FOUND: 188735589 @ 879.103
c NEW SOLUTION FOUND: 188735573 @ 879.267
c NEW SOLUTION FOUND: 188735557 @ 879.429
c NEW SOLUTION FOUND: 188735541 @ 879.592
c NEW SOLUTION FOUND: 188735525 @ 879.755
c NEW SOLUTION FOUND: 188735509 @ 879.921
c NEW SOLUTION FOUND: 188735493 @ 880.083
c NEW SOLUTION FOUND: 188735477 @ 880.247
c NEW SOLUTION FOUND: 188735461 @ 880.41
c NEW SOLUTION FOUND: 188735445 @ 880.575
c NEW SOLUTION FOUND: 188735429 @ 880.737
c NEW SOLUTION FOUND: 188735413 @ 880.901
c NEW SOLUTION FOUND: 188735397 @ 881.064
c NEW SOLUTION FOUND: 188735381 @ 881.229
c NEW SOLUTION FOUND: 188735365 @ 881.391
c NEW SOLUTION FOUND: 188735349 @ 881.554
c NEW SOLUTION FOUND: 188735333 @ 881.717
c NEW SOLUTION FOUND: 188735317 @ 881.88
c NEW SOLUTION FOUND: 188735301 @ 882.042
c NEW SOLUTION FOUND: 188735285 @ 882.207
c NEW SOLUTION FOUND: 188735269 @ 882.368
c NEW SOLUTION FOUND: 188735253 @ 882.532
c NEW SOLUTION FOUND: 188735237 @ 882.694
c NEW SOLUTION FOUND: 188735221 @ 882.86
c NEW SOLUTION FOUND: 188735205 @ 883.021
c NEW SOLUTION FOUND: 188735189 @ 883.184
c NEW SOLUTION FOUND: 188735173 @ 883.345
c NEW SOLUTION FOUND: 188735157 @ 883.509
c NEW SOLUTION FOUND: 188735141 @ 883.669
c NEW SOLUTION FOUND: 188735125 @ 883.832
c NEW SOLUTION FOUND: 188735109 @ 883.994
c NEW SOLUTION FOUND: 188735093 @ 884.157
c NEW SOLUTION FOUND: 188735077 @ 884.317
c NEW SOLUTION FOUND: 188735061 @ 884.481
c NEW SOLUTION FOUND: 188735045 @ 884.641
c NEW SOLUTION FOUND: 188735029 @ 884.806
c NEW SOLUTION FOUND: 188735013 @ 884.966
c NEW SOLUTION FOUND: 188734997 @ 885.129
c NEW SOLUTION FOUND: 188734981 @ 885.289
c NEW SOLUTION FOUND: 188734965 @ 885.45
c NEW SOLUTION FOUND: 188734949 @ 885.611
c NEW SOLUTION FOUND: 188734933 @ 885.775
c NEW SOLUTION FOUND: 188734917 @ 885.934
c NEW SOLUTION FOUND: 188734901 @ 886.098
c NEW SOLUTION FOUND: 188734885 @ 886.259
c NEW SOLUTION FOUND: 188734869 @ 886.423
c NEW SOLUTION FOUND: 188734853 @ 886.584
c NEW SOLUTION FOUND: 188734837 @ 886.748
c NEW SOLUTION FOUND: 188734821 @ 886.91
c NEW SOLUTION FOUND: 188734805 @ 887.073
c NEW SOLUTION FOUND: 188734789 @ 887.236
c NEW SOLUTION FOUND: 188734773 @ 887.399
c NEW SOLUTION FOUND: 188734757 @ 887.561
c NEW SOLUTION FOUND: 188734741 @ 887.725
c NEW SOLUTION FOUND: 188734725 @ 887.887
c NEW SOLUTION FOUND: 188734709 @ 888.05
c NEW SOLUTION FOUND: 188734693 @ 888.212
c NEW SOLUTION FOUND: 188734677 @ 888.376
c NEW SOLUTION FOUND: 188734661 @ 888.538
c NEW SOLUTION FOUND: 188734645 @ 888.702
c NEW SOLUTION FOUND: 188734629 @ 888.866
c NEW SOLUTION FOUND: 188734613 @ 889.029
c NEW SOLUTION FOUND: 188734597 @ 889.191
c NEW SOLUTION FOUND: 188734581 @ 889.355
c NEW SOLUTION FOUND: 188734565 @ 889.518
c NEW SOLUTION FOUND: 188734549 @ 889.682
c NEW SOLUTION FOUND: 188734533 @ 889.843
c NEW SOLUTION FOUND: 188734517 @ 890.007
c NEW SOLUTION FOUND: 188734501 @ 890.169
c NEW SOLUTION FOUND: 188734485 @ 890.332
c NEW SOLUTION FOUND: 188734469 @ 890.493
c NEW SOLUTION FOUND: 188734453 @ 890.655
c NEW SOLUTION FOUND: 188734437 @ 890.815
c NEW SOLUTION FOUND: 188734421 @ 890.981
c NEW SOLUTION FOUND: 188734405 @ 891.141
c NEW SOLUTION FOUND: 188734389 @ 891.305
c NEW SOLUTION FOUND: 188734373 @ 891.466
c NEW SOLUTION FOUND: 188734357 @ 891.631
c NEW SOLUTION FOUND: 188734341 @ 891.794
c NEW SOLUTION FOUND: 188734325 @ 891.956
c NEW SOLUTION FOUND: 188734309 @ 892.114
c NEW SOLUTION FOUND: 188734293 @ 892.278
c NEW SOLUTION FOUND: 188734277 @ 892.44
c NEW SOLUTION FOUND: 188734261 @ 892.602
c NEW SOLUTION FOUND: 188734245 @ 892.763
c NEW SOLUTION FOUND: 188734229 @ 892.927
c NEW SOLUTION FOUND: 188734213 @ 893.088
c NEW SOLUTION FOUND: 188734197 @ 893.252
c NEW SOLUTION FOUND: 188734165 @ 893.413
c NEW SOLUTION FOUND: 188734133 @ 893.576
c NEW SOLUTION FOUND: 188734101 @ 893.734
c NEW SOLUTION FOUND: 188734069 @ 893.897
c NEW SOLUTION FOUND: 188734037 @ 894.057
c NEW SOLUTION FOUND: 188734005 @ 894.221
c NEW SOLUTION FOUND: 188733973 @ 894.383
c NEW SOLUTION FOUND: 188733941 @ 894.545
c NEW SOLUTION FOUND: 188733909 @ 894.704
c NEW SOLUTION FOUND: 188733877 @ 894.868
c NEW SOLUTION FOUND: 188733845 @ 895.03
c NEW SOLUTION FOUND: 188733813 @ 895.193
c NEW SOLUTION FOUND: 188733781 @ 895.352
c NEW SOLUTION FOUND: 188733749 @ 895.515
c NEW SOLUTION FOUND: 188733717 @ 895.675
c NEW SOLUTION FOUND: 188733685 @ 895.838
c NEW SOLUTION FOUND: 188733653 @ 896
c NEW SOLUTION FOUND: 188733621 @ 896.162
c NEW SOLUTION FOUND: 188733589 @ 896.324
c NEW SOLUTION FOUND: 188733557 @ 896.488
c NEW SOLUTION FOUND: 188733525 @ 896.65
c NEW SOLUTION FOUND: 188733493 @ 896.814
c NEW SOLUTION FOUND: 188733461 @ 896.975
c NEW SOLUTION FOUND: 188733429 @ 897.138
c NEW SOLUTION FOUND: 188733397 @ 897.3
c NEW SOLUTION FOUND: 188733365 @ 897.463
c NEW SOLUTION FOUND: 188733333 @ 897.623
c NEW SOLUTION FOUND: 188733301 @ 897.787
c NEW SOLUTION FOUND: 188733269 @ 897.949
c NEW SOLUTION FOUND: 188733237 @ 898.113
c NEW SOLUTION FOUND: 188733205 @ 898.273
c NEW SOLUTION FOUND: 188733173 @ 898.436
c NEW SOLUTION FOUND: 188733141 @ 898.597
c NEW SOLUTION FOUND: 188733109 @ 898.761
c NEW SOLUTION FOUND: 188733077 @ 898.923
c NEW SOLUTION FOUND: 188733045 @ 899.086
c NEW SOLUTION FOUND: 188733013 @ 899.247
c NEW SOLUTION FOUND: 188732981 @ 899.411
c NEW SOLUTION FOUND: 188732949 @ 899.571
c NEW SOLUTION FOUND: 188732917 @ 899.734
c NEW SOLUTION FOUND: 188732885 @ 899.894
c NEW SOLUTION FOUND: 188732853 @ 900.058
c NEW SOLUTION FOUND: 188732821 @ 900.219
c NEW SOLUTION FOUND: 188732789 @ 900.382
c NEW SOLUTION FOUND: 188732757 @ 900.542
c NEW SOLUTION FOUND: 188732725 @ 900.704
c NEW SOLUTION FOUND: 188732693 @ 900.866
c NEW SOLUTION FOUND: 188732661 @ 901.032
c NEW SOLUTION FOUND: 188732629 @ 901.192
c NEW SOLUTION FOUND: 188732597 @ 901.355
c NEW SOLUTION FOUND: 188732565 @ 901.515
c NEW SOLUTION FOUND: 188732533 @ 901.678
c NEW SOLUTION FOUND: 188732501 @ 901.839
c NEW SOLUTION FOUND: 188732469 @ 902.002
c NEW SOLUTION FOUND: 188732437 @ 902.164
c NEW SOLUTION FOUND: 188732405 @ 902.326
c NEW SOLUTION FOUND: 188732373 @ 902.486
c NEW SOLUTION FOUND: 188732341 @ 902.649
c NEW SOLUTION FOUND: 188732309 @ 902.809
c NEW SOLUTION FOUND: 188732277 @ 902.973
c NEW SOLUTION FOUND: 188732245 @ 903.132
c NEW SOLUTION FOUND: 188732213 @ 903.294
c NEW SOLUTION FOUND: 188732181 @ 903.454
c NEW SOLUTION FOUND: 188732149 @ 903.617
c NEW SOLUTION FOUND: 188732117 @ 903.778
c NEW SOLUTION FOUND: 188732085 @ 903.938
c NEW SOLUTION FOUND: 188732053 @ 904.097
c NEW SOLUTION FOUND: 188732021 @ 904.257
c NEW SOLUTION FOUND: 188731989 @ 904.418
c NEW SOLUTION FOUND: 188731957 @ 904.579
c NEW SOLUTION FOUND: 188731925 @ 904.739
c NEW SOLUTION FOUND: 188731893 @ 904.899
c NEW SOLUTION FOUND: 188731861 @ 905.059
c NEW SOLUTION FOUND: 188731829 @ 905.22
c NEW SOLUTION FOUND: 188731797 @ 905.38
c NEW SOLUTION FOUND: 188731765 @ 905.538
c NEW SOLUTION FOUND: 188731733 @ 905.699
c NEW SOLUTION FOUND: 188731701 @ 905.857
c NEW SOLUTION FOUND: 188731669 @ 906.018
c NEW SOLUTION FOUND: 188731637 @ 906.177
c NEW SOLUTION FOUND: 188731605 @ 906.339
c NEW SOLUTION FOUND: 188731573 @ 906.498
c NEW SOLUTION FOUND: 188731541 @ 906.658
c NEW SOLUTION FOUND: 188731509 @ 906.817
c NEW SOLUTION FOUND: 188731477 @ 906.979
c NEW SOLUTION FOUND: 188731445 @ 907.139
c NEW SOLUTION FOUND: 188731413 @ 907.299
c NEW SOLUTION FOUND: 188731381 @ 907.458
c NEW SOLUTION FOUND: 188731349 @ 907.617
c NEW SOLUTION FOUND: 188731317 @ 907.777
c NEW SOLUTION FOUND: 188731285 @ 907.936
c NEW SOLUTION FOUND: 188731253 @ 908.096
c NEW SOLUTION FOUND: 188731221 @ 908.257
c NEW SOLUTION FOUND: 188731189 @ 908.416
c NEW SOLUTION FOUND: 188731157 @ 908.575
c NEW SOLUTION FOUND: 188731125 @ 908.734
c NEW SOLUTION FOUND: 188731093 @ 908.895
c NEW SOLUTION FOUND: 188731061 @ 909.053
c NEW SOLUTION FOUND: 188731029 @ 909.213
c NEW SOLUTION FOUND: 188730997 @ 909.374
c NEW SOLUTION FOUND: 188730965 @ 909.532
c NEW SOLUTION FOUND: 188730933 @ 909.692
c NEW SOLUTION FOUND: 188730901 @ 909.851
c NEW SOLUTION FOUND: 188730869 @ 910.01
c NEW SOLUTION FOUND: 188730837 @ 910.169
c NEW SOLUTION FOUND: 188730805 @ 910.328
c NEW SOLUTION FOUND: 188730773 @ 910.486
c NEW SOLUTION FOUND: 188730741 @ 910.649
c NEW SOLUTION FOUND: 188730709 @ 910.806
c NEW SOLUTION FOUND: 188730677 @ 910.969
c NEW SOLUTION FOUND: 188730645 @ 911.128
c NEW SOLUTION FOUND: 188730613 @ 911.291
c NEW SOLUTION FOUND: 188730581 @ 911.449
c NEW SOLUTION FOUND: 188730549 @ 911.61
c NEW SOLUTION FOUND: 188730517 @ 911.769
c NEW SOLUTION FOUND: 188730485 @ 911.928
c NEW SOLUTION FOUND: 188730453 @ 912.086
c NEW SOLUTION FOUND: 188730421 @ 912.249
c NEW SOLUTION FOUND: 188730389 @ 912.409
c NEW SOLUTION FOUND: 188730357 @ 912.569
c NEW SOLUTION FOUND: 188730325 @ 912.728
c NEW SOLUTION FOUND: 188730293 @ 912.891
c NEW SOLUTION FOUND: 188730261 @ 913.05
c NEW SOLUTION FOUND: 188730229 @ 913.211
c NEW SOLUTION FOUND: 188730197 @ 913.369
c NEW SOLUTION FOUND: 188730165 @ 913.53
c NEW SOLUTION FOUND: 188730133 @ 913.688
c NEW SOLUTION FOUND: 188730101 @ 913.848
c NEW SOLUTION FOUND: 188730069 @ 914.007
c NEW SOLUTION FOUND: 188730037 @ 914.167
c NEW SOLUTION FOUND: 188730005 @ 914.326
c NEW SOLUTION FOUND: 188729973 @ 914.487
c NEW SOLUTION FOUND: 188729941 @ 914.645
c NEW SOLUTION FOUND: 188729909 @ 914.805
c NEW SOLUTION FOUND: 188729877 @ 914.964
c NEW SOLUTION FOUND: 188729845 @ 915.125
c NEW SOLUTION FOUND: 188729813 @ 915.282
c NEW SOLUTION FOUND: 188729781 @ 915.442
c NEW SOLUTION FOUND: 188729749 @ 915.601
c NEW SOLUTION FOUND: 188729717 @ 915.762
c NEW SOLUTION FOUND: 188729685 @ 915.92
c NEW SOLUTION FOUND: 188729653 @ 916.08
c NEW SOLUTION FOUND: 188729621 @ 916.239
c NEW SOLUTION FOUND: 188729589 @ 916.4
c NEW SOLUTION FOUND: 188729557 @ 916.559
c NEW SOLUTION FOUND: 188729525 @ 916.718
c NEW SOLUTION FOUND: 188729493 @ 916.877
c NEW SOLUTION FOUND: 188729461 @ 917.038
c NEW SOLUTION FOUND: 188729429 @ 917.195
c NEW SOLUTION FOUND: 188729397 @ 917.356
c NEW SOLUTION FOUND: 188729365 @ 917.513
c NEW SOLUTION FOUND: 188729333 @ 917.674
c NEW SOLUTION FOUND: 188729301 @ 917.833
c NEW SOLUTION FOUND: 188729269 @ 917.993
c NEW SOLUTION FOUND: 188729237 @ 918.152
c NEW SOLUTION FOUND: 188729205 @ 918.312
c NEW SOLUTION FOUND: 188729173 @ 918.47
c NEW SOLUTION FOUND: 188729141 @ 918.63
c NEW SOLUTION FOUND: 188729109 @ 918.789
c NEW SOLUTION FOUND: 188729077 @ 918.951
c NEW SOLUTION FOUND: 188729045 @ 919.109
c NEW SOLUTION FOUND: 188729013 @ 919.269
c NEW SOLUTION FOUND: 188728981 @ 919.427
c NEW SOLUTION FOUND: 188728949 @ 919.587
c NEW SOLUTION FOUND: 188728917 @ 919.745
c NEW SOLUTION FOUND: 188728885 @ 919.906
c NEW SOLUTION FOUND: 188728853 @ 920.065
c NEW SOLUTION FOUND: 188728821 @ 920.225
c NEW SOLUTION FOUND: 188728789 @ 920.383
c NEW SOLUTION FOUND: 188728757 @ 920.543
c NEW SOLUTION FOUND: 188728725 @ 920.701
c NEW SOLUTION FOUND: 188728693 @ 920.861
c NEW SOLUTION FOUND: 188728629 @ 921.02
c NEW SOLUTION FOUND: 188728565 @ 921.179
c NEW SOLUTION FOUND: 188728501 @ 921.337
c NEW SOLUTION FOUND: 188728437 @ 921.496
c NEW SOLUTION FOUND: 188728373 @ 921.654
c NEW SOLUTION FOUND: 188728309 @ 921.813
c NEW SOLUTION FOUND: 188728245 @ 921.972
c NEW SOLUTION FOUND: 188728181 @ 922.132
c NEW SOLUTION FOUND: 188728117 @ 922.29
c NEW SOLUTION FOUND: 188728053 @ 922.449
c NEW SOLUTION FOUND: 188727989 @ 922.607
c NEW SOLUTION FOUND: 188727925 @ 922.766
c NEW SOLUTION FOUND: 188727861 @ 922.925
c NEW SOLUTION FOUND: 188727797 @ 923.084
c NEW SOLUTION FOUND: 188727733 @ 923.242
c NEW SOLUTION FOUND: 188727669 @ 923.401
c NEW SOLUTION FOUND: 188727605 @ 923.558
c NEW SOLUTION FOUND: 188727541 @ 923.719
c NEW SOLUTION FOUND: 188727477 @ 923.876
c NEW SOLUTION FOUND: 188727413 @ 924.038
c NEW SOLUTION FOUND: 188727349 @ 924.194
c NEW SOLUTION FOUND: 188727285 @ 924.353
c NEW SOLUTION FOUND: 188727221 @ 924.509
c NEW SOLUTION FOUND: 188727157 @ 924.669
c NEW SOLUTION FOUND: 188727093 @ 924.826
c NEW SOLUTION FOUND: 188727029 @ 924.986
c NEW SOLUTION FOUND: 188726965 @ 925.143
c NEW SOLUTION FOUND: 188726901 @ 925.301
c NEW SOLUTION FOUND: 188726837 @ 925.457
c NEW SOLUTION FOUND: 188726773 @ 925.616
c NEW SOLUTION FOUND: 188726709 @ 925.773
c NEW SOLUTION FOUND: 188726645 @ 925.932
c NEW SOLUTION FOUND: 188726581 @ 926.088
c NEW SOLUTION FOUND: 188726517 @ 926.246
c NEW SOLUTION FOUND: 188726453 @ 926.402
c NEW SOLUTION FOUND: 188726389 @ 926.56
c NEW SOLUTION FOUND: 188726325 @ 926.72
c NEW SOLUTION FOUND: 188726261 @ 926.882
c NEW SOLUTION FOUND: 188726197 @ 927.04
c NEW SOLUTION FOUND: 188726133 @ 927.201
c NEW SOLUTION FOUND: 188726069 @ 927.359
c NEW SOLUTION FOUND: 188726005 @ 927.517
c NEW SOLUTION FOUND: 188725941 @ 927.675
c NEW SOLUTION FOUND: 188725877 @ 927.833
c NEW SOLUTION FOUND: 188725813 @ 927.992
c NEW SOLUTION FOUND: 188725749 @ 928.15
c NEW SOLUTION FOUND: 188725685 @ 928.308
c NEW SOLUTION FOUND: 188725621 @ 928.465
c NEW SOLUTION FOUND: 188725557 @ 928.623
c NEW SOLUTION FOUND: 188725493 @ 928.781
c NEW SOLUTION FOUND: 188725429 @ 928.939
c NEW SOLUTION FOUND: 188725365 @ 929.097
c NEW SOLUTION FOUND: 188725301 @ 929.255
c NEW SOLUTION FOUND: 188725237 @ 929.412
c NEW SOLUTION FOUND: 188725173 @ 929.57
c NEW SOLUTION FOUND: 188725109 @ 929.728
c NEW SOLUTION FOUND: 188725045 @ 929.887
c NEW SOLUTION FOUND: 188724981 @ 930.045
c NEW SOLUTION FOUND: 188724917 @ 930.203
c NEW SOLUTION FOUND: 188724853 @ 930.36
c NEW SOLUTION FOUND: 188724789 @ 930.518
c NEW SOLUTION FOUND: 188724725 @ 930.676
c NEW SOLUTION FOUND: 188724661 @ 930.834
c NEW SOLUTION FOUND: 188724597 @ 930.992
c NEW SOLUTION FOUND: 188724533 @ 931.152
c NEW SOLUTION FOUND: 188724469 @ 931.31
c NEW SOLUTION FOUND: 188724405 @ 931.467
c NEW SOLUTION FOUND: 188724341 @ 931.623
c NEW SOLUTION FOUND: 188724277 @ 931.781
c NEW SOLUTION FOUND: 188724213 @ 931.941
c NEW SOLUTION FOUND: 188724149 @ 932.097
c NEW SOLUTION FOUND: 188724085 @ 932.255
c NEW SOLUTION FOUND: 188724021 @ 932.412
c NEW SOLUTION FOUND: 188723957 @ 932.568
c NEW SOLUTION FOUND: 188723893 @ 932.725
c NEW SOLUTION FOUND: 188723829 @ 932.882
c NEW SOLUTION FOUND: 188723765 @ 933.039
c NEW SOLUTION FOUND: 188723701 @ 933.196
c NEW SOLUTION FOUND: 188723637 @ 933.351
c NEW SOLUTION FOUND: 188723573 @ 933.511
c NEW SOLUTION FOUND: 188723509 @ 933.667
c NEW SOLUTION FOUND: 188723445 @ 933.825
c NEW SOLUTION FOUND: 188723381 @ 933.981
c NEW SOLUTION FOUND: 188723317 @ 934.14
c NEW SOLUTION FOUND: 188723253 @ 934.296
c NEW SOLUTION FOUND: 188723189 @ 934.455
c NEW SOLUTION FOUND: 188723125 @ 934.61
c NEW SOLUTION FOUND: 188723061 @ 934.769
c NEW SOLUTION FOUND: 188722997 @ 934.925
c NEW SOLUTION FOUND: 188722933 @ 935.083
c NEW SOLUTION FOUND: 188722869 @ 935.238
c NEW SOLUTION FOUND: 188722805 @ 935.396
c NEW SOLUTION FOUND: 188722741 @ 935.551
c NEW SOLUTION FOUND: 188722677 @ 935.71
c NEW SOLUTION FOUND: 188722613 @ 935.865
c NEW SOLUTION FOUND: 188722549 @ 936.024
c NEW SOLUTION FOUND: 188722485 @ 936.178
c NEW SOLUTION FOUND: 188722421 @ 936.337
c NEW SOLUTION FOUND: 188722357 @ 936.492
c NEW SOLUTION FOUND: 188722293 @ 936.651
c NEW SOLUTION FOUND: 188722229 @ 936.805
c NEW SOLUTION FOUND: 188722165 @ 936.966
c NEW SOLUTION FOUND: 188722101 @ 937.122
c NEW SOLUTION FOUND: 188722037 @ 937.282
c NEW SOLUTION FOUND: 188721973 @ 937.437
c NEW SOLUTION FOUND: 188721909 @ 937.594
c NEW SOLUTION FOUND: 188721845 @ 937.749
c NEW SOLUTION FOUND: 188721781 @ 937.908
c NEW SOLUTION FOUND: 188721717 @ 938.062
c NEW SOLUTION FOUND: 188721653 @ 938.221
c NEW SOLUTION FOUND: 188721589 @ 938.377
c NEW SOLUTION FOUND: 188721525 @ 938.536
c NEW SOLUTION FOUND: 188721461 @ 938.69
c NEW SOLUTION FOUND: 188721397 @ 938.849
c NEW SOLUTION FOUND: 188721333 @ 939.004
c NEW SOLUTION FOUND: 188721269 @ 939.162
c NEW SOLUTION FOUND: 188721205 @ 939.316
c NEW SOLUTION FOUND: 188721141 @ 939.475
c NEW SOLUTION FOUND: 188721077 @ 939.629
c NEW SOLUTION FOUND: 188721013 @ 939.788
c NEW SOLUTION FOUND: 188720949 @ 939.943
c NEW SOLUTION FOUND: 188720885 @ 940.104
c NEW SOLUTION FOUND: 188720821 @ 940.259
c NEW SOLUTION FOUND: 188720757 @ 940.418
c NEW SOLUTION FOUND: 188720693 @ 940.572
c NEW SOLUTION FOUND: 188720629 @ 940.73
c NEW SOLUTION FOUND: 188720565 @ 940.885
c NEW SOLUTION FOUND: 188720501 @ 941.043
c NEW SOLUTION FOUND: 188720437 @ 941.198
c NEW SOLUTION FOUND: 188720373 @ 941.355
c NEW SOLUTION FOUND: 188720309 @ 941.51
c NEW SOLUTION FOUND: 188720245 @ 941.668
c NEW SOLUTION FOUND: 188720181 @ 941.824
c NEW SOLUTION FOUND: 188720117 @ 941.982
c NEW SOLUTION FOUND: 188720053 @ 942.138
c NEW SOLUTION FOUND: 188719989 @ 942.295
c NEW SOLUTION FOUND: 188719925 @ 942.449
c NEW SOLUTION FOUND: 188719861 @ 942.606
c NEW SOLUTION FOUND: 188719797 @ 942.76
c NEW SOLUTION FOUND: 188719733 @ 942.92
c NEW SOLUTION FOUND: 188719669 @ 943.075
c NEW SOLUTION FOUND: 188719605 @ 943.233
c NEW SOLUTION FOUND: 188719541 @ 943.389
c NEW SOLUTION FOUND: 188719477 @ 943.547
c NEW SOLUTION FOUND: 188719413 @ 943.701
c NEW SOLUTION FOUND: 188719349 @ 943.857
c NEW SOLUTION FOUND: 188719285 @ 944.013
c NEW SOLUTION FOUND: 188719221 @ 944.169
c NEW SOLUTION FOUND: 188719157 @ 944.324
c NEW SOLUTION FOUND: 188719093 @ 944.482
c NEW SOLUTION FOUND: 188719029 @ 944.637
c NEW SOLUTION FOUND: 188718965 @ 944.791
c NEW SOLUTION FOUND: 188718901 @ 944.946
c NEW SOLUTION FOUND: 188718837 @ 945.101
c NEW SOLUTION FOUND: 188718773 @ 945.256
c NEW SOLUTION FOUND: 188718709 @ 945.413
c NEW SOLUTION FOUND: 188718645 @ 945.568
c NEW SOLUTION FOUND: 188718581 @ 945.725
c NEW SOLUTION FOUND: 188718517 @ 945.88
c NEW SOLUTION FOUND: 188718453 @ 946.035
c NEW SOLUTION FOUND: 188718389 @ 946.189
c NEW SOLUTION FOUND: 188718325 @ 946.343
c NEW SOLUTION FOUND: 188718261 @ 946.499
c NEW SOLUTION FOUND: 188718197 @ 946.654
c NEW SOLUTION FOUND: 188718133 @ 946.81
c NEW SOLUTION FOUND: 188718069 @ 946.967
c NEW SOLUTION FOUND: 188718005 @ 947.123
c NEW SOLUTION FOUND: 188717941 @ 947.279
c NEW SOLUTION FOUND: 188717877 @ 947.436
c NEW SOLUTION FOUND: 188717813 @ 947.592
c NEW SOLUTION FOUND: 188717749 @ 947.749
c NEW SOLUTION FOUND: 188717685 @ 947.903
c NEW SOLUTION FOUND: 188717557 @ 948.059
c NEW SOLUTION FOUND: 188717429 @ 948.214
c NEW SOLUTION FOUND: 188717301 @ 948.371
c NEW SOLUTION FOUND: 188717173 @ 948.525
c NEW SOLUTION FOUND: 188717045 @ 948.681
c NEW SOLUTION FOUND: 188716917 @ 948.837
c NEW SOLUTION FOUND: 188716789 @ 948.994
c NEW SOLUTION FOUND: 188716661 @ 949.148
c NEW SOLUTION FOUND: 188716533 @ 949.304
c NEW SOLUTION FOUND: 188716405 @ 949.458
c NEW SOLUTION FOUND: 188716277 @ 949.613
c NEW SOLUTION FOUND: 188716149 @ 949.766
c NEW SOLUTION FOUND: 188716021 @ 949.922
c NEW SOLUTION FOUND: 188715893 @ 950.076
c NEW SOLUTION FOUND: 188715765 @ 950.232
c NEW SOLUTION FOUND: 188715637 @ 950.384
c NEW SOLUTION FOUND: 188715509 @ 950.539
c NEW SOLUTION FOUND: 188715381 @ 950.695
c NEW SOLUTION FOUND: 188715253 @ 950.849
c NEW SOLUTION FOUND: 188715125 @ 951.002
c NEW SOLUTION FOUND: 188714997 @ 951.157
c NEW SOLUTION FOUND: 188714869 @ 951.311
c NEW SOLUTION FOUND: 188714741 @ 951.467
c NEW SOLUTION FOUND: 188714613 @ 951.622
c NEW SOLUTION FOUND: 188714485 @ 951.777
c NEW SOLUTION FOUND: 188714357 @ 951.933
c NEW SOLUTION FOUND: 188714229 @ 952.088
c NEW SOLUTION FOUND: 188714101 @ 952.242
c NEW SOLUTION FOUND: 188713973 @ 952.398
c NEW SOLUTION FOUND: 188713845 @ 952.551
c NEW SOLUTION FOUND: 188713717 @ 952.707
c NEW SOLUTION FOUND: 188713589 @ 952.862
c NEW SOLUTION FOUND: 188713461 @ 953.016
c NEW SOLUTION FOUND: 188713333 @ 953.171
c NEW SOLUTION FOUND: 188713205 @ 953.325
c NEW SOLUTION FOUND: 188713077 @ 953.481
c NEW SOLUTION FOUND: 188712949 @ 953.635
c NEW SOLUTION FOUND: 188712821 @ 953.791
c NEW SOLUTION FOUND: 188712693 @ 953.945
c NEW SOLUTION FOUND: 188712565 @ 954.1
c NEW SOLUTION FOUND: 188712437 @ 954.254
c NEW SOLUTION FOUND: 188712309 @ 954.409
c NEW SOLUTION FOUND: 188712181 @ 954.563
c NEW SOLUTION FOUND: 188712053 @ 954.717
c NEW SOLUTION FOUND: 188711925 @ 954.872
c NEW SOLUTION FOUND: 188711797 @ 955.027
c NEW SOLUTION FOUND: 188711669 @ 955.181
c NEW SOLUTION FOUND: 188711541 @ 955.334
c NEW SOLUTION FOUND: 188711413 @ 955.488
c NEW SOLUTION FOUND: 188711285 @ 955.644
c NEW SOLUTION FOUND: 188711157 @ 955.797
c NEW SOLUTION FOUND: 188711029 @ 955.951
c NEW SOLUTION FOUND: 188710901 @ 956.105
c NEW SOLUTION FOUND: 188710773 @ 956.259
c NEW SOLUTION FOUND: 188710645 @ 956.411
c NEW SOLUTION FOUND: 188710517 @ 956.567
c NEW SOLUTION FOUND: 188710389 @ 956.72
c NEW SOLUTION FOUND: 188710261 @ 956.876
c NEW SOLUTION FOUND: 188710133 @ 957.029
c NEW SOLUTION FOUND: 188710005 @ 957.183
c NEW SOLUTION FOUND: 188709877 @ 957.336
c NEW SOLUTION FOUND: 188709749 @ 957.491
c NEW SOLUTION FOUND: 188709621 @ 957.643
c NEW SOLUTION FOUND: 188709493 @ 957.797
c NEW SOLUTION FOUND: 188709365 @ 957.95
c NEW SOLUTION FOUND: 188709237 @ 958.105
c NEW SOLUTION FOUND: 188709109 @ 958.258
c NEW SOLUTION FOUND: 188708981 @ 958.412
c NEW SOLUTION FOUND: 188708853 @ 958.565
c NEW SOLUTION FOUND: 188708725 @ 958.719
c NEW SOLUTION FOUND: 188708597 @ 958.873
c NEW SOLUTION FOUND: 188708469 @ 959.026
c NEW SOLUTION FOUND: 188708341 @ 959.181
c NEW SOLUTION FOUND: 188708213 @ 959.334
c NEW SOLUTION FOUND: 188708085 @ 959.487
c NEW SOLUTION FOUND: 188707957 @ 959.64
c NEW SOLUTION FOUND: 188707829 @ 959.794
c NEW SOLUTION FOUND: 188707701 @ 959.948
c NEW SOLUTION FOUND: 188707573 @ 960.102
c NEW SOLUTION FOUND: 188707445 @ 960.256
c NEW SOLUTION FOUND: 188707317 @ 960.41
c NEW SOLUTION FOUND: 188707189 @ 960.565
c NEW SOLUTION FOUND: 188707061 @ 960.718
c NEW SOLUTION FOUND: 188706933 @ 960.873
c NEW SOLUTION FOUND: 188706805 @ 961.028
c NEW SOLUTION FOUND: 188706677 @ 961.18
c NEW SOLUTION FOUND: 188706549 @ 961.334
c NEW SOLUTION FOUND: 188706421 @ 961.487
c NEW SOLUTION FOUND: 188706293 @ 961.64
c NEW SOLUTION FOUND: 188706165 @ 961.792
c NEW SOLUTION FOUND: 188706037 @ 961.946
c NEW SOLUTION FOUND: 188705909 @ 962.098
c NEW SOLUTION FOUND: 188705781 @ 962.252
c NEW SOLUTION FOUND: 188705653 @ 962.405
c NEW SOLUTION FOUND: 188705525 @ 962.557
c NEW SOLUTION FOUND: 188705397 @ 962.709
c NEW SOLUTION FOUND: 188705269 @ 962.863
c NEW SOLUTION FOUND: 188705141 @ 963.014
c NEW SOLUTION FOUND: 188705013 @ 963.168
c NEW SOLUTION FOUND: 188704885 @ 963.32
c NEW SOLUTION FOUND: 188704757 @ 963.474
c NEW SOLUTION FOUND: 188704629 @ 963.626
c NEW SOLUTION FOUND: 188704501 @ 963.778
c NEW SOLUTION FOUND: 188704373 @ 963.931
c NEW SOLUTION FOUND: 188704245 @ 964.085
c NEW SOLUTION FOUND: 188704117 @ 964.236
c NEW SOLUTION FOUND: 188703989 @ 964.388
c NEW SOLUTION FOUND: 188703861 @ 964.54
c NEW SOLUTION FOUND: 188703733 @ 964.69
c NEW SOLUTION FOUND: 188703605 @ 964.844
c NEW SOLUTION FOUND: 188703477 @ 964.997
c NEW SOLUTION FOUND: 188703349 @ 965.15
c NEW SOLUTION FOUND: 188703221 @ 965.302
c NEW SOLUTION FOUND: 188703093 @ 965.452
c NEW SOLUTION FOUND: 188702965 @ 965.605
c NEW SOLUTION FOUND: 188702837 @ 965.755
c NEW SOLUTION FOUND: 188702709 @ 965.909
c NEW SOLUTION FOUND: 188702581 @ 966.06
c NEW SOLUTION FOUND: 188702453 @ 966.213
c NEW SOLUTION FOUND: 188702325 @ 966.365
c NEW SOLUTION FOUND: 188702197 @ 966.517
c NEW SOLUTION FOUND: 188702069 @ 966.669
c NEW SOLUTION FOUND: 188701941 @ 966.821
c NEW SOLUTION FOUND: 188701813 @ 966.974
c NEW SOLUTION FOUND: 188701685 @ 967.125
c NEW SOLUTION FOUND: 188701557 @ 967.278
c NEW SOLUTION FOUND: 188701429 @ 967.429
c NEW SOLUTION FOUND: 188701301 @ 967.581
c NEW SOLUTION FOUND: 188701173 @ 967.732
c NEW SOLUTION FOUND: 188701045 @ 967.885
c NEW SOLUTION FOUND: 188700789 @ 968.036
c NEW SOLUTION FOUND: 188700533 @ 968.188
c NEW SOLUTION FOUND: 188700277 @ 968.339
c NEW SOLUTION FOUND: 188700021 @ 968.49
c NEW SOLUTION FOUND: 188699765 @ 968.642
c NEW SOLUTION FOUND: 188699509 @ 968.795
c NEW SOLUTION FOUND: 188699253 @ 968.946
c NEW SOLUTION FOUND: 188698997 @ 969.097
c NEW SOLUTION FOUND: 188698741 @ 969.249
c NEW SOLUTION FOUND: 188698485 @ 969.4
c NEW SOLUTION FOUND: 188698229 @ 969.551
c NEW SOLUTION FOUND: 188697973 @ 969.702
c NEW SOLUTION FOUND: 188697717 @ 969.853
c NEW SOLUTION FOUND: 188697461 @ 970.005
c NEW SOLUTION FOUND: 188697205 @ 970.156
c NEW SOLUTION FOUND: 188696949 @ 970.307
c NEW SOLUTION FOUND: 188696693 @ 970.458
c NEW SOLUTION FOUND: 188696437 @ 970.61
c NEW SOLUTION FOUND: 188696181 @ 970.76
c NEW SOLUTION FOUND: 188695925 @ 970.911
c NEW SOLUTION FOUND: 188695669 @ 971.062
c NEW SOLUTION FOUND: 188695413 @ 971.213
c NEW SOLUTION FOUND: 188695157 @ 971.364
c NEW SOLUTION FOUND: 188694901 @ 971.514
c NEW SOLUTION FOUND: 188694645 @ 971.666
c NEW SOLUTION FOUND: 188694389 @ 971.817
c NEW SOLUTION FOUND: 188694133 @ 971.968
c NEW SOLUTION FOUND: 188693877 @ 972.118
c NEW SOLUTION FOUND: 188693621 @ 972.271
c NEW SOLUTION FOUND: 188693365 @ 972.422
c NEW SOLUTION FOUND: 188693109 @ 972.575
c NEW SOLUTION FOUND: 188692853 @ 972.725
c NEW SOLUTION FOUND: 188692597 @ 972.879
c NEW SOLUTION FOUND: 188692341 @ 973.031
c NEW SOLUTION FOUND: 188692085 @ 973.183
c NEW SOLUTION FOUND: 188691829 @ 973.333
c NEW SOLUTION FOUND: 188691573 @ 973.485
c NEW SOLUTION FOUND: 188691317 @ 973.638
c NEW SOLUTION FOUND: 188691061 @ 973.791
c NEW SOLUTION FOUND: 188690805 @ 973.942
c NEW SOLUTION FOUND: 188690549 @ 974.095
c NEW SOLUTION FOUND: 188690293 @ 974.247
c NEW SOLUTION FOUND: 188690037 @ 974.399
c NEW SOLUTION FOUND: 188689781 @ 974.55
c NEW SOLUTION FOUND: 188689525 @ 974.699
c NEW SOLUTION FOUND: 188689269 @ 974.852
c NEW SOLUTION FOUND: 188689013 @ 975.003
c NEW SOLUTION FOUND: 188688757 @ 975.154
c NEW SOLUTION FOUND: 188688501 @ 975.305
c NEW SOLUTION FOUND: 188688245 @ 975.456
c NEW SOLUTION FOUND: 188687989 @ 975.608
c NEW SOLUTION FOUND: 188687733 @ 975.758
c NEW SOLUTION FOUND: 188687477 @ 975.91
c NEW SOLUTION FOUND: 188687221 @ 976.06
c NEW SOLUTION FOUND: 188686965 @ 976.211
c NEW SOLUTION FOUND: 188686709 @ 976.362
c NEW SOLUTION FOUND: 188686453 @ 976.512
c NEW SOLUTION FOUND: 188686197 @ 976.664
c NEW SOLUTION FOUND: 188685941 @ 976.814
c NEW SOLUTION FOUND: 188685685 @ 976.966
c NEW SOLUTION FOUND: 188685429 @ 977.119
c NEW SOLUTION FOUND: 188685173 @ 977.27
c NEW SOLUTION FOUND: 188684917 @ 977.423
c NEW SOLUTION FOUND: 188684661 @ 977.574
c NEW SOLUTION FOUND: 188684405 @ 977.723
c NEW SOLUTION FOUND: 188684149 @ 977.874
c NEW SOLUTION FOUND: 188683893 @ 978.025
c NEW SOLUTION FOUND: 188683637 @ 978.177
c NEW SOLUTION FOUND: 188683381 @ 978.329
c NEW SOLUTION FOUND: 188683125 @ 978.481
c NEW SOLUTION FOUND: 188682869 @ 978.633
c NEW SOLUTION FOUND: 188682613 @ 978.785
c NEW SOLUTION FOUND: 188682357 @ 978.94
c NEW SOLUTION FOUND: 188682101 @ 979.089
c NEW SOLUTION FOUND: 188681845 @ 979.241
c NEW SOLUTION FOUND: 188681589 @ 979.391
c NEW SOLUTION FOUND: 188681333 @ 979.543
c NEW SOLUTION FOUND: 188681077 @ 979.694
c NEW SOLUTION FOUND: 188680821 @ 979.845
c NEW SOLUTION FOUND: 188680565 @ 979.995
c NEW SOLUTION FOUND: 188680309 @ 980.147
c NEW SOLUTION FOUND: 188680053 @ 980.298
c NEW SOLUTION FOUND: 188679797 @ 980.449
c NEW SOLUTION FOUND: 188679541 @ 980.6
c NEW SOLUTION FOUND: 188679285 @ 980.751
c NEW SOLUTION FOUND: 188679029 @ 980.902
c NEW SOLUTION FOUND: 188678773 @ 981.055
c NEW SOLUTION FOUND: 188678517 @ 981.205
c NEW SOLUTION FOUND: 188678261 @ 981.357
c NEW SOLUTION FOUND: 188678005 @ 981.507
c NEW SOLUTION FOUND: 188677749 @ 981.657
c NEW SOLUTION FOUND: 188677493 @ 981.806
c NEW SOLUTION FOUND: 188677237 @ 981.958
c NEW SOLUTION FOUND: 188676981 @ 982.108
c NEW SOLUTION FOUND: 188676725 @ 982.26
c NEW SOLUTION FOUND: 188676469 @ 982.409
c NEW SOLUTION FOUND: 188676213 @ 982.559
c NEW SOLUTION FOUND: 188675957 @ 982.71
c NEW SOLUTION FOUND: 188675701 @ 982.862
c NEW SOLUTION FOUND: 188675445 @ 983.011
c NEW SOLUTION FOUND: 188675189 @ 983.162
c NEW SOLUTION FOUND: 188674933 @ 983.313
c NEW SOLUTION FOUND: 188674677 @ 983.467
c NEW SOLUTION FOUND: 188674421 @ 983.617
c NEW SOLUTION FOUND: 188674165 @ 983.768
c NEW SOLUTION FOUND: 188673909 @ 983.921
c NEW SOLUTION FOUND: 188673653 @ 984.072
c NEW SOLUTION FOUND: 188673397 @ 984.223
c NEW SOLUTION FOUND: 188673141 @ 984.372
c NEW SOLUTION FOUND: 188672885 @ 984.523
c NEW SOLUTION FOUND: 188672629 @ 984.674
c NEW SOLUTION FOUND: 188672373 @ 984.825
c NEW SOLUTION FOUND: 188672117 @ 984.976
c NEW SOLUTION FOUND: 188671861 @ 985.124
c NEW SOLUTION FOUND: 188671605 @ 985.276
c NEW SOLUTION FOUND: 188671349 @ 985.426
c NEW SOLUTION FOUND: 188671093 @ 985.579
c NEW SOLUTION FOUND: 188670837 @ 985.729
c NEW SOLUTION FOUND: 188670581 @ 985.882
c NEW SOLUTION FOUND: 188670325 @ 986.03
c NEW SOLUTION FOUND: 188670069 @ 986.18
c NEW SOLUTION FOUND: 188669813 @ 986.327
c NEW SOLUTION FOUND: 188669557 @ 986.479
c NEW SOLUTION FOUND: 188669301 @ 986.628
c NEW SOLUTION FOUND: 188669045 @ 986.78
c NEW SOLUTION FOUND: 188668789 @ 986.93
c NEW SOLUTION FOUND: 188668533 @ 987.08
c NEW SOLUTION FOUND: 188668277 @ 987.231
c NEW SOLUTION FOUND: 188668021 @ 987.382
c NEW SOLUTION FOUND: 188667765 @ 987.533
c NEW SOLUTION FOUND: 188667509 @ 987.685
c NEW SOLUTION FOUND: 188667253 @ 987.836
c NEW SOLUTION FOUND: 188666997 @ 987.986
c NEW SOLUTION FOUND: 188666741 @ 988.136
c NEW SOLUTION FOUND: 188666485 @ 988.287
c NEW SOLUTION FOUND: 188666229 @ 988.437
c NEW SOLUTION FOUND: 188665973 @ 988.589
c NEW SOLUTION FOUND: 188665717 @ 988.74
c NEW SOLUTION FOUND: 188665461 @ 988.891
c NEW SOLUTION FOUND: 188665205 @ 989.041
c NEW SOLUTION FOUND: 188664949 @ 989.19
c NEW SOLUTION FOUND: 188664693 @ 989.339
c NEW SOLUTION FOUND: 188664437 @ 989.49
c NEW SOLUTION FOUND: 188664181 @ 989.64
c NEW SOLUTION FOUND: 188663925 @ 989.79
c NEW SOLUTION FOUND: 188663669 @ 989.94
c NEW SOLUTION FOUND: 188663413 @ 990.091
c NEW SOLUTION FOUND: 188663157 @ 990.242
c NEW SOLUTION FOUND: 188662901 @ 990.391
c NEW SOLUTION FOUND: 188662645 @ 990.542
c NEW SOLUTION FOUND: 188662389 @ 990.69
c NEW SOLUTION FOUND: 188662133 @ 990.842
c NEW SOLUTION FOUND: 188661877 @ 990.993
c NEW SOLUTION FOUND: 188661621 @ 991.143
c NEW SOLUTION FOUND: 188661365 @ 991.294
c NEW SOLUTION FOUND: 188661109 @ 991.444
c NEW SOLUTION FOUND: 188660853 @ 991.594
c NEW SOLUTION FOUND: 188660597 @ 991.745
c NEW SOLUTION FOUND: 188660341 @ 991.896
c NEW SOLUTION FOUND: 188660085 @ 992.046
c NEW SOLUTION FOUND: 188659829 @ 992.198
c NEW SOLUTION FOUND: 188659573 @ 992.348
c NEW SOLUTION FOUND: 188659317 @ 992.499
c NEW SOLUTION FOUND: 188659061 @ 992.649
c NEW SOLUTION FOUND: 188658805 @ 992.801
c NEW SOLUTION FOUND: 188658549 @ 992.952
c NEW SOLUTION FOUND: 188658293 @ 993.104
c NEW SOLUTION FOUND: 188658037 @ 993.253
c NEW SOLUTION FOUND: 188657781 @ 993.405
c NEW SOLUTION FOUND: 188657525 @ 993.555
c NEW SOLUTION FOUND: 188657269 @ 993.706
c NEW SOLUTION FOUND: 188657013 @ 993.855
c NEW SOLUTION FOUND: 188656757 @ 994.006
c NEW SOLUTION FOUND: 188656501 @ 994.156
c NEW SOLUTION FOUND: 188656245 @ 994.306
c NEW SOLUTION FOUND: 188655989 @ 994.457
c NEW SOLUTION FOUND: 188655477 @ 994.606
c NEW SOLUTION FOUND: 188654965 @ 994.757
c NEW SOLUTION FOUND: 188654453 @ 994.909
c NEW SOLUTION FOUND: 188653941 @ 995.059
c NEW SOLUTION FOUND: 188653429 @ 995.21
c NEW SOLUTION FOUND: 188652917 @ 995.359
c NEW SOLUTION FOUND: 188652405 @ 995.51
c NEW SOLUTION FOUND: 188651893 @ 995.659
c NEW SOLUTION FOUND: 188651381 @ 995.809
c NEW SOLUTION FOUND: 188650869 @ 995.959
c NEW SOLUTION FOUND: 188650357 @ 996.11
c NEW SOLUTION FOUND: 188649845 @ 996.26
c NEW SOLUTION FOUND: 188649333 @ 996.411
c NEW SOLUTION FOUND: 188648821 @ 996.56
c NEW SOLUTION FOUND: 188648309 @ 996.711
c NEW SOLUTION FOUND: 188647797 @ 996.862
c NEW SOLUTION FOUND: 188647285 @ 997.013
c NEW SOLUTION FOUND: 188646773 @ 997.163
c NEW SOLUTION FOUND: 188646261 @ 997.314
c NEW SOLUTION FOUND: 188645749 @ 997.463
c NEW SOLUTION FOUND: 188645237 @ 997.613
c NEW SOLUTION FOUND: 188644725 @ 997.763
c NEW SOLUTION FOUND: 188644213 @ 997.913
c NEW SOLUTION FOUND: 188643701 @ 998.063
c NEW SOLUTION FOUND: 188643189 @ 998.213
c NEW SOLUTION FOUND: 188642677 @ 998.363
c NEW SOLUTION FOUND: 188642165 @ 998.512
c NEW SOLUTION FOUND: 188641653 @ 998.66
c NEW SOLUTION FOUND: 188641141 @ 998.811
c NEW SOLUTION FOUND: 188640629 @ 998.961
c NEW SOLUTION FOUND: 188640117 @ 999.111
c NEW SOLUTION FOUND: 188639605 @ 999.26
c NEW SOLUTION FOUND: 188639093 @ 999.412
c NEW SOLUTION FOUND: 188638581 @ 999.562
c NEW SOLUTION FOUND: 188638069 @ 999.712
c NEW SOLUTION FOUND: 188637557 @ 999.861
c NEW SOLUTION FOUND: 188637045 @ 1000.01
c NEW SOLUTION FOUND: 188636533 @ 1000.16
c NEW SOLUTION FOUND: 188636021 @ 1000.31
c NEW SOLUTION FOUND: 188635509 @ 1000.46
c NEW SOLUTION FOUND: 188634997 @ 1000.61
c NEW SOLUTION FOUND: 188634485 @ 1000.76
c NEW SOLUTION FOUND: 188633973 @ 1000.91
c NEW SOLUTION FOUND: 188633461 @ 1001.06
c NEW SOLUTION FOUND: 188632949 @ 1001.21
c NEW SOLUTION FOUND: 188632437 @ 1001.36
c NEW SOLUTION FOUND: 188631925 @ 1001.51
c NEW SOLUTION FOUND: 188631413 @ 1001.66
c NEW SOLUTION FOUND: 188630901 @ 1001.81
c NEW SOLUTION FOUND: 188630389 @ 1001.95
c NEW SOLUTION FOUND: 188629877 @ 1002.1
c NEW SOLUTION FOUND: 188629365 @ 1002.25
c NEW SOLUTION FOUND: 188628853 @ 1002.4
c NEW SOLUTION FOUND: 188628341 @ 1002.55
c NEW SOLUTION FOUND: 188627829 @ 1002.7
c NEW SOLUTION FOUND: 188627317 @ 1002.85
c NEW SOLUTION FOUND: 188626805 @ 1003
c NEW SOLUTION FOUND: 188626293 @ 1003.15
c NEW SOLUTION FOUND: 188625781 @ 1003.3
c NEW SOLUTION FOUND: 188625269 @ 1003.45
c NEW SOLUTION FOUND: 188624757 @ 1003.6
c NEW SOLUTION FOUND: 188624245 @ 1003.74
c NEW SOLUTION FOUND: 188623733 @ 1003.89
c NEW SOLUTION FOUND: 188623221 @ 1004.04
c NEW SOLUTION FOUND: 188622709 @ 1004.19
c NEW SOLUTION FOUND: 188622197 @ 1004.34
c NEW SOLUTION FOUND: 188621685 @ 1004.48
c NEW SOLUTION FOUND: 188621173 @ 1004.63
c NEW SOLUTION FOUND: 188620661 @ 1004.78
c NEW SOLUTION FOUND: 188620149 @ 1004.93
c NEW SOLUTION FOUND: 188619637 @ 1005.08
c NEW SOLUTION FOUND: 188619125 @ 1005.23
c NEW SOLUTION FOUND: 188618613 @ 1005.37
c NEW SOLUTION FOUND: 188618101 @ 1005.52
c NEW SOLUTION FOUND: 188617589 @ 1005.67
c NEW SOLUTION FOUND: 188617077 @ 1005.82
c NEW SOLUTION FOUND: 188616565 @ 1005.96
c NEW SOLUTION FOUND: 188616053 @ 1006.11
c NEW SOLUTION FOUND: 188615541 @ 1006.26
c NEW SOLUTION FOUND: 188615029 @ 1006.41
c NEW SOLUTION FOUND: 188614517 @ 1006.55
c NEW SOLUTION FOUND: 188614005 @ 1006.7
c NEW SOLUTION FOUND: 188613493 @ 1006.85
c NEW SOLUTION FOUND: 188612981 @ 1006.99
c NEW SOLUTION FOUND: 188612469 @ 1007.14
c NEW SOLUTION FOUND: 188611957 @ 1007.29
c NEW SOLUTION FOUND: 188611445 @ 1007.44
c NEW SOLUTION FOUND: 188610933 @ 1007.59
c NEW SOLUTION FOUND: 188610421 @ 1007.73
c NEW SOLUTION FOUND: 188609909 @ 1007.88
c NEW SOLUTION FOUND: 188609397 @ 1008.03
c NEW SOLUTION FOUND: 188608885 @ 1008.17
c NEW SOLUTION FOUND: 188608373 @ 1008.32
c NEW SOLUTION FOUND: 188607861 @ 1008.47
c NEW SOLUTION FOUND: 188607349 @ 1008.62
c NEW SOLUTION FOUND: 188606837 @ 1008.77
c NEW SOLUTION FOUND: 188606325 @ 1008.91
c NEW SOLUTION FOUND: 188605813 @ 1009.06
c NEW SOLUTION FOUND: 188605301 @ 1009.21
c NEW SOLUTION FOUND: 188604789 @ 1009.35
c NEW SOLUTION FOUND: 188604277 @ 1009.5
c NEW SOLUTION FOUND: 188603765 @ 1009.65
c NEW SOLUTION FOUND: 188603253 @ 1009.8
c NEW SOLUTION FOUND: 188602741 @ 1009.94
c NEW SOLUTION FOUND: 188602229 @ 1010.09
c NEW SOLUTION FOUND: 188601717 @ 1010.24
c NEW SOLUTION FOUND: 188601205 @ 1010.38
c NEW SOLUTION FOUND: 188600693 @ 1010.53
c NEW SOLUTION FOUND: 188600181 @ 1010.68
c NEW SOLUTION FOUND: 188599669 @ 1010.83
c NEW SOLUTION FOUND: 188599157 @ 1010.98
c NEW SOLUTION FOUND: 188598645 @ 1011.12
c NEW SOLUTION FOUND: 188598133 @ 1011.27
c NEW SOLUTION FOUND: 188597621 @ 1011.41
c NEW SOLUTION FOUND: 188597109 @ 1011.56
c NEW SOLUTION FOUND: 188596597 @ 1011.7
c NEW SOLUTION FOUND: 188596085 @ 1011.85
c NEW SOLUTION FOUND: 188595573 @ 1012
c NEW SOLUTION FOUND: 188595061 @ 1012.15
c NEW SOLUTION FOUND: 188594549 @ 1012.29
c NEW SOLUTION FOUND: 188594037 @ 1012.44
c NEW SOLUTION FOUND: 188593525 @ 1012.59
c NEW SOLUTION FOUND: 188593013 @ 1012.73
c NEW SOLUTION FOUND: 188592501 @ 1012.88
c NEW SOLUTION FOUND: 188591989 @ 1013.03
c NEW SOLUTION FOUND: 188591477 @ 1013.17
c NEW SOLUTION FOUND: 188590965 @ 1013.32
c NEW SOLUTION FOUND: 188590453 @ 1013.47
c NEW SOLUTION FOUND: 188589941 @ 1013.62
c NEW SOLUTION FOUND: 188589429 @ 1013.76
c NEW SOLUTION FOUND: 188588917 @ 1013.91
c NEW SOLUTION FOUND: 188588405 @ 1014.05
c NEW SOLUTION FOUND: 188587893 @ 1014.2
c NEW SOLUTION FOUND: 188587381 @ 1014.35
c NEW SOLUTION FOUND: 188586869 @ 1014.5
c NEW SOLUTION FOUND: 188586357 @ 1014.65
c NEW SOLUTION FOUND: 188585845 @ 1014.8
c NEW SOLUTION FOUND: 188585333 @ 1014.94
c NEW SOLUTION FOUND: 188584821 @ 1015.09
c NEW SOLUTION FOUND: 188584309 @ 1015.24
c NEW SOLUTION FOUND: 188583797 @ 1015.39
c NEW SOLUTION FOUND: 188583285 @ 1015.53
c NEW SOLUTION FOUND: 188582773 @ 1015.68
c NEW SOLUTION FOUND: 188582261 @ 1015.82
c NEW SOLUTION FOUND: 188581749 @ 1015.97
c NEW SOLUTION FOUND: 188581237 @ 1016.12
c NEW SOLUTION FOUND: 188580725 @ 1016.26
c NEW SOLUTION FOUND: 188580213 @ 1016.41
c NEW SOLUTION FOUND: 188579701 @ 1016.55
c NEW SOLUTION FOUND: 188579189 @ 1016.7
c NEW SOLUTION FOUND: 188578677 @ 1016.85
c NEW SOLUTION FOUND: 188578165 @ 1016.99
c NEW SOLUTION FOUND: 188577653 @ 1017.14
c NEW SOLUTION FOUND: 188577141 @ 1017.29
c NEW SOLUTION FOUND: 188576629 @ 1017.43
c NEW SOLUTION FOUND: 188576117 @ 1017.58
c NEW SOLUTION FOUND: 188575605 @ 1017.72
c NEW SOLUTION FOUND: 188575093 @ 1017.87
c NEW SOLUTION FOUND: 188574581 @ 1018.02
c NEW SOLUTION FOUND: 188574069 @ 1018.16
c NEW SOLUTION FOUND: 188573557 @ 1018.31
c NEW SOLUTION FOUND: 188573045 @ 1018.46
c NEW SOLUTION FOUND: 188572533 @ 1018.6
c NEW SOLUTION FOUND: 188572021 @ 1018.75
c NEW SOLUTION FOUND: 188571509 @ 1018.89
c NEW SOLUTION FOUND: 188570997 @ 1019.04
c NEW SOLUTION FOUND: 188570485 @ 1019.18
c NEW SOLUTION FOUND: 188569973 @ 1019.33
c NEW SOLUTION FOUND: 188569461 @ 1019.47
c NEW SOLUTION FOUND: 188568949 @ 1019.62
c NEW SOLUTION FOUND: 188568437 @ 1019.76
c NEW SOLUTION FOUND: 188567925 @ 1019.91
c NEW SOLUTION FOUND: 188567413 @ 1020.06
c NEW SOLUTION FOUND: 188566901 @ 1020.2
c NEW SOLUTION FOUND: 188566389 @ 1020.35
c NEW SOLUTION FOUND: 188565877 @ 1020.49
c NEW SOLUTION FOUND: 188565365 @ 1020.64
c NEW SOLUTION FOUND: 188564853 @ 1020.78
c NEW SOLUTION FOUND: 188564341 @ 1020.93
c NEW SOLUTION FOUND: 188563317 @ 1021.08
c NEW SOLUTION FOUND: 188562293 @ 1021.22
c NEW SOLUTION FOUND: 188561269 @ 1021.37
c NEW SOLUTION FOUND: 188560245 @ 1021.51
c NEW SOLUTION FOUND: 188559221 @ 1021.66
c NEW SOLUTION FOUND: 188558197 @ 1021.81
c NEW SOLUTION FOUND: 188557173 @ 1021.95
c NEW SOLUTION FOUND: 188556149 @ 1022.1
c NEW SOLUTION FOUND: 188555125 @ 1022.24
c NEW SOLUTION FOUND: 188554101 @ 1022.39
c NEW SOLUTION FOUND: 188553077 @ 1022.53
c NEW SOLUTION FOUND: 188552053 @ 1022.68
c NEW SOLUTION FOUND: 188551029 @ 1022.82
c NEW SOLUTION FOUND: 188550005 @ 1022.97
c NEW SOLUTION FOUND: 188548981 @ 1023.11
c NEW SOLUTION FOUND: 188547957 @ 1023.26
c NEW SOLUTION FOUND: 188546933 @ 1023.4
c NEW SOLUTION FOUND: 188545909 @ 1023.55
c NEW SOLUTION FOUND: 188544885 @ 1023.7
c NEW SOLUTION FOUND: 188543861 @ 1023.84
c NEW SOLUTION FOUND: 188542837 @ 1023.99
c NEW SOLUTION FOUND: 188541813 @ 1024.13
c NEW SOLUTION FOUND: 188540789 @ 1024.28
c NEW SOLUTION FOUND: 188539765 @ 1024.42
c NEW SOLUTION FOUND: 188538741 @ 1024.57
c NEW SOLUTION FOUND: 188537717 @ 1024.71
c NEW SOLUTION FOUND: 188536693 @ 1024.86
c NEW SOLUTION FOUND: 188535669 @ 1025.01
c NEW SOLUTION FOUND: 188534645 @ 1025.15
c NEW SOLUTION FOUND: 188533621 @ 1025.3
c NEW SOLUTION FOUND: 188532597 @ 1025.44
c NEW SOLUTION FOUND: 188531573 @ 1025.59
c NEW SOLUTION FOUND: 188530549 @ 1025.73
c NEW SOLUTION FOUND: 188529525 @ 1025.88
c NEW SOLUTION FOUND: 188528501 @ 1026.02
c NEW SOLUTION FOUND: 188527477 @ 1026.16
c NEW SOLUTION FOUND: 188526453 @ 1026.31
c NEW SOLUTION FOUND: 188525429 @ 1026.46
c NEW SOLUTION FOUND: 188524405 @ 1026.6
c NEW SOLUTION FOUND: 188523381 @ 1026.74
c NEW SOLUTION FOUND: 188522357 @ 1026.89
c NEW SOLUTION FOUND: 188521333 @ 1027.04
c NEW SOLUTION FOUND: 188520309 @ 1027.18
c NEW SOLUTION FOUND: 188519285 @ 1027.33
c NEW SOLUTION FOUND: 188518261 @ 1027.47
c NEW SOLUTION FOUND: 188517237 @ 1027.62
c NEW SOLUTION FOUND: 188516213 @ 1027.76
c NEW SOLUTION FOUND: 188515189 @ 1027.91
c NEW SOLUTION FOUND: 188514165 @ 1028.05
c NEW SOLUTION FOUND: 188513141 @ 1028.19
c NEW SOLUTION FOUND: 188512117 @ 1028.34
c NEW SOLUTION FOUND: 188511093 @ 1028.48
c NEW SOLUTION FOUND: 188510069 @ 1028.63
c NEW SOLUTION FOUND: 188509045 @ 1028.77
c NEW SOLUTION FOUND: 188508021 @ 1028.91
c NEW SOLUTION FOUND: 188506997 @ 1029.06
c NEW SOLUTION FOUND: 188505973 @ 1029.2
c NEW SOLUTION FOUND: 188504949 @ 1029.35
c NEW SOLUTION FOUND: 188503925 @ 1029.49
c NEW SOLUTION FOUND: 188502901 @ 1029.63
c NEW SOLUTION FOUND: 188501877 @ 1029.78
c NEW SOLUTION FOUND: 188500853 @ 1029.92
c NEW SOLUTION FOUND: 188499829 @ 1030.07
c NEW SOLUTION FOUND: 188498805 @ 1030.21
c NEW SOLUTION FOUND: 188497781 @ 1030.35
c NEW SOLUTION FOUND: 188496757 @ 1030.49
c NEW SOLUTION FOUND: 188495733 @ 1030.64
c NEW SOLUTION FOUND: 188494709 @ 1030.78
c NEW SOLUTION FOUND: 188493685 @ 1030.93
c NEW SOLUTION FOUND: 188492661 @ 1031.07
c NEW SOLUTION FOUND: 188491637 @ 1031.22
c NEW SOLUTION FOUND: 188490613 @ 1031.36
c NEW SOLUTION FOUND: 188489589 @ 1031.5
c NEW SOLUTION FOUND: 188488565 @ 1031.65
c NEW SOLUTION FOUND: 188487541 @ 1031.79
c NEW SOLUTION FOUND: 188486517 @ 1031.93
c NEW SOLUTION FOUND: 188485493 @ 1032.08
c NEW SOLUTION FOUND: 188484469 @ 1032.23
c NEW SOLUTION FOUND: 188483445 @ 1032.37
c NEW SOLUTION FOUND: 188482421 @ 1032.52
c NEW SOLUTION FOUND: 188481397 @ 1032.66
c NEW SOLUTION FOUND: 188480373 @ 1032.8
c NEW SOLUTION FOUND: 188479349 @ 1032.95
c NEW SOLUTION FOUND: 188478325 @ 1033.09
c NEW SOLUTION FOUND: 188477301 @ 1033.23
c NEW SOLUTION FOUND: 188476277 @ 1033.38
c NEW SOLUTION FOUND: 188475253 @ 1033.52
c NEW SOLUTION FOUND: 188474229 @ 1033.67
c NEW SOLUTION FOUND: 188473205 @ 1033.81
c NEW SOLUTION FOUND: 188472181 @ 1033.96
c NEW SOLUTION FOUND: 188471157 @ 1034.1
c NEW SOLUTION FOUND: 188470133 @ 1034.25
c NEW SOLUTION FOUND: 188469109 @ 1034.39
c NEW SOLUTION FOUND: 188468085 @ 1034.53
c NEW SOLUTION FOUND: 188467061 @ 1034.68
c NEW SOLUTION FOUND: 188466037 @ 1034.82
c NEW SOLUTION FOUND: 188465013 @ 1034.96
c NEW SOLUTION FOUND: 188463989 @ 1035.11
c NEW SOLUTION FOUND: 188462965 @ 1035.25
c NEW SOLUTION FOUND: 188461941 @ 1035.39
c NEW SOLUTION FOUND: 188460917 @ 1035.54
c NEW SOLUTION FOUND: 188459893 @ 1035.68
c NEW SOLUTION FOUND: 188458869 @ 1035.82
c NEW SOLUTION FOUND: 188457845 @ 1035.97
c NEW SOLUTION FOUND: 188456821 @ 1036.11
c NEW SOLUTION FOUND: 188455797 @ 1036.25
c NEW SOLUTION FOUND: 188454773 @ 1036.39
c NEW SOLUTION FOUND: 188453749 @ 1036.54
c NEW SOLUTION FOUND: 188452725 @ 1036.68
c NEW SOLUTION FOUND: 188451701 @ 1036.83
c NEW SOLUTION FOUND: 188450677 @ 1036.97
c NEW SOLUTION FOUND: 188449653 @ 1037.11
c NEW SOLUTION FOUND: 188448629 @ 1037.25
c NEW SOLUTION FOUND: 188447605 @ 1037.4
c NEW SOLUTION FOUND: 188446581 @ 1037.54
c NEW SOLUTION FOUND: 188445557 @ 1037.68
c NEW SOLUTION FOUND: 188444533 @ 1037.83
c NEW SOLUTION FOUND: 188443509 @ 1037.97
c NEW SOLUTION FOUND: 188442485 @ 1038.11
c NEW SOLUTION FOUND: 188441461 @ 1038.26
c NEW SOLUTION FOUND: 188440437 @ 1038.4
c NEW SOLUTION FOUND: 188439413 @ 1038.54
c NEW SOLUTION FOUND: 188438389 @ 1038.68
c NEW SOLUTION FOUND: 188437365 @ 1038.83
c NEW SOLUTION FOUND: 188436341 @ 1038.97
c NEW SOLUTION FOUND: 188435317 @ 1039.11
c NEW SOLUTION FOUND: 188434293 @ 1039.25
c NEW SOLUTION FOUND: 188433269 @ 1039.39
c NEW SOLUTION FOUND: 188432245 @ 1039.53
c NEW SOLUTION FOUND: 188431221 @ 1039.68
c NEW SOLUTION FOUND: 188430197 @ 1039.82
c NEW SOLUTION FOUND: 188429173 @ 1039.96
c NEW SOLUTION FOUND: 188428149 @ 1040.1
c NEW SOLUTION FOUND: 188427125 @ 1040.24
c NEW SOLUTION FOUND: 188426101 @ 1040.39
c NEW SOLUTION FOUND: 188425077 @ 1040.53
c NEW SOLUTION FOUND: 188424053 @ 1040.67
c NEW SOLUTION FOUND: 188423029 @ 1040.81
c NEW SOLUTION FOUND: 188422005 @ 1040.95
c NEW SOLUTION FOUND: 188420981 @ 1041.1
c NEW SOLUTION FOUND: 188419957 @ 1041.23
c NEW SOLUTION FOUND: 188418933 @ 1041.38
c NEW SOLUTION FOUND: 188417909 @ 1041.52
c NEW SOLUTION FOUND: 188416885 @ 1041.66
c NEW SOLUTION FOUND: 188415861 @ 1041.8
c NEW SOLUTION FOUND: 188414837 @ 1041.94
c NEW SOLUTION FOUND: 188413813 @ 1042.08
c NEW SOLUTION FOUND: 188412789 @ 1042.22
c NEW SOLUTION FOUND: 188411765 @ 1042.36
c NEW SOLUTION FOUND: 188410741 @ 1042.5
c NEW SOLUTION FOUND: 188409717 @ 1042.64
c NEW SOLUTION FOUND: 188408693 @ 1042.79
c NEW SOLUTION FOUND: 188407669 @ 1042.93
c NEW SOLUTION FOUND: 188406645 @ 1043.07
c NEW SOLUTION FOUND: 188405621 @ 1043.21
c NEW SOLUTION FOUND: 188404597 @ 1043.35
c NEW SOLUTION FOUND: 188403573 @ 1043.49
c NEW SOLUTION FOUND: 188402549 @ 1043.63
c NEW SOLUTION FOUND: 188401525 @ 1043.77
c NEW SOLUTION FOUND: 188400501 @ 1043.91
c NEW SOLUTION FOUND: 188399477 @ 1044.06
c NEW SOLUTION FOUND: 188398453 @ 1044.2
c NEW SOLUTION FOUND: 188397429 @ 1044.34
c NEW SOLUTION FOUND: 188396405 @ 1044.48
c NEW SOLUTION FOUND: 188395381 @ 1044.62
c NEW SOLUTION FOUND: 188394357 @ 1044.76
c NEW SOLUTION FOUND: 188393333 @ 1044.9
c NEW SOLUTION FOUND: 188392309 @ 1045.04
c NEW SOLUTION FOUND: 188391285 @ 1045.18
c NEW SOLUTION FOUND: 188390261 @ 1045.32
c NEW SOLUTION FOUND: 188389237 @ 1045.46
c NEW SOLUTION FOUND: 188388213 @ 1045.6
c NEW SOLUTION FOUND: 188387189 @ 1045.74
c NEW SOLUTION FOUND: 188386165 @ 1045.88
c NEW SOLUTION FOUND: 188385141 @ 1046.03
c NEW SOLUTION FOUND: 188384117 @ 1046.17
c NEW SOLUTION FOUND: 188383093 @ 1046.31
c NEW SOLUTION FOUND: 188382069 @ 1046.45
c NEW SOLUTION FOUND: 188381045 @ 1046.59
c NEW SOLUTION FOUND: 188380021 @ 1046.73
c NEW SOLUTION FOUND: 188377973 @ 1046.87
c NEW SOLUTION FOUND: 188375925 @ 1047.01
c NEW SOLUTION FOUND: 188373877 @ 1047.15
c NEW SOLUTION FOUND: 188371829 @ 1047.29
c NEW SOLUTION FOUND: 188369781 @ 1047.43
c NEW SOLUTION FOUND: 188367733 @ 1047.57
c NEW SOLUTION FOUND: 188365685 @ 1047.71
c NEW SOLUTION FOUND: 188363637 @ 1047.85
c NEW SOLUTION FOUND: 188361589 @ 1047.99
c NEW SOLUTION FOUND: 188359541 @ 1048.13
c NEW SOLUTION FOUND: 188357493 @ 1048.28
c NEW SOLUTION FOUND: 188355445 @ 1048.41
c NEW SOLUTION FOUND: 188353397 @ 1048.55
c NEW SOLUTION FOUND: 188351349 @ 1048.69
c NEW SOLUTION FOUND: 188349301 @ 1048.84
c NEW SOLUTION FOUND: 188347253 @ 1048.97
c NEW SOLUTION FOUND: 188345205 @ 1049.12
c NEW SOLUTION FOUND: 188343157 @ 1049.26
c NEW SOLUTION FOUND: 188341109 @ 1049.39
c NEW SOLUTION FOUND: 188339061 @ 1049.54
c NEW SOLUTION FOUND: 188337013 @ 1049.67
c NEW SOLUTION FOUND: 188334965 @ 1049.81
c NEW SOLUTION FOUND: 188332917 @ 1049.95
c NEW SOLUTION FOUND: 188330869 @ 1050.09
c NEW SOLUTION FOUND: 188328821 @ 1050.23
c NEW SOLUTION FOUND: 188326773 @ 1050.37
c NEW SOLUTION FOUND: 188324725 @ 1050.51
c NEW SOLUTION FOUND: 188322677 @ 1050.65
c NEW SOLUTION FOUND: 188320629 @ 1050.79
c NEW SOLUTION FOUND: 188318581 @ 1050.93
c NEW SOLUTION FOUND: 188316533 @ 1051.07
c NEW SOLUTION FOUND: 188314485 @ 1051.21
c NEW SOLUTION FOUND: 188312437 @ 1051.35
c NEW SOLUTION FOUND: 188310389 @ 1051.49
c NEW SOLUTION FOUND: 188308341 @ 1051.63
c NEW SOLUTION FOUND: 188306293 @ 1051.77
c NEW SOLUTION FOUND: 188304245 @ 1051.91
c NEW SOLUTION FOUND: 188302197 @ 1052.05
c NEW SOLUTION FOUND: 188300149 @ 1052.19
c NEW SOLUTION FOUND: 188298101 @ 1052.33
c NEW SOLUTION FOUND: 188296053 @ 1052.47
c NEW SOLUTION FOUND: 188294005 @ 1052.61
c NEW SOLUTION FOUND: 188291957 @ 1052.75
c NEW SOLUTION FOUND: 188289909 @ 1052.89
c NEW SOLUTION FOUND: 188287861 @ 1053.03
c NEW SOLUTION FOUND: 188285813 @ 1053.16
c NEW SOLUTION FOUND: 188283765 @ 1053.3
c NEW SOLUTION FOUND: 188281717 @ 1053.44
c NEW SOLUTION FOUND: 188279669 @ 1053.58
c NEW SOLUTION FOUND: 188277621 @ 1053.72
c NEW SOLUTION FOUND: 188275573 @ 1053.86
c NEW SOLUTION FOUND: 188273525 @ 1054
c NEW SOLUTION FOUND: 188271477 @ 1054.14
c NEW SOLUTION FOUND: 188269429 @ 1054.28
c NEW SOLUTION FOUND: 188267381 @ 1054.41
c NEW SOLUTION FOUND: 188265333 @ 1054.55
c NEW SOLUTION FOUND: 188263285 @ 1054.69
c NEW SOLUTION FOUND: 188261237 @ 1054.83
c NEW SOLUTION FOUND: 188259189 @ 1054.97
c NEW SOLUTION FOUND: 188257141 @ 1055.11
c NEW SOLUTION FOUND: 188255093 @ 1055.25
c NEW SOLUTION FOUND: 188253045 @ 1055.38
c NEW SOLUTION FOUND: 188250997 @ 1055.52
c NEW SOLUTION FOUND: 188248949 @ 1055.66
c NEW SOLUTION FOUND: 188246901 @ 1055.8
c NEW SOLUTION FOUND: 188244853 @ 1055.94
c NEW SOLUTION FOUND: 188242805 @ 1056.07
c NEW SOLUTION FOUND: 188240757 @ 1056.21
c NEW SOLUTION FOUND: 188238709 @ 1056.35
c NEW SOLUTION FOUND: 188236661 @ 1056.49
c NEW SOLUTION FOUND: 188234613 @ 1056.63
c NEW SOLUTION FOUND: 188232565 @ 1056.77
c NEW SOLUTION FOUND: 188230517 @ 1056.91
c NEW SOLUTION FOUND: 188228469 @ 1057.05
c NEW SOLUTION FOUND: 188226421 @ 1057.18
c NEW SOLUTION FOUND: 188224373 @ 1057.33
c NEW SOLUTION FOUND: 188222325 @ 1057.46
c NEW SOLUTION FOUND: 188220277 @ 1057.6
c NEW SOLUTION FOUND: 188218229 @ 1057.74
c NEW SOLUTION FOUND: 188216181 @ 1057.88
c NEW SOLUTION FOUND: 188214133 @ 1058.02
c NEW SOLUTION FOUND: 188212085 @ 1058.16
c NEW SOLUTION FOUND: 188210037 @ 1058.3
c NEW SOLUTION FOUND: 188207989 @ 1058.44
c NEW SOLUTION FOUND: 188205941 @ 1058.58
c NEW SOLUTION FOUND: 188203893 @ 1058.71
c NEW SOLUTION FOUND: 188201845 @ 1058.85
c NEW SOLUTION FOUND: 188199797 @ 1058.99
c NEW SOLUTION FOUND: 188197749 @ 1059.13
c NEW SOLUTION FOUND: 188195701 @ 1059.27
c NEW SOLUTION FOUND: 188193653 @ 1059.41
c NEW SOLUTION FOUND: 188191605 @ 1059.54
c NEW SOLUTION FOUND: 188189557 @ 1059.68
c NEW SOLUTION FOUND: 188187509 @ 1059.82
c NEW SOLUTION FOUND: 188185461 @ 1059.96
c NEW SOLUTION FOUND: 188183413 @ 1060.1
c NEW SOLUTION FOUND: 188181365 @ 1060.23
c NEW SOLUTION FOUND: 188179317 @ 1060.37
c NEW SOLUTION FOUND: 188177269 @ 1060.51
c NEW SOLUTION FOUND: 188175221 @ 1060.65
c NEW SOLUTION FOUND: 188173173 @ 1060.79
c NEW SOLUTION FOUND: 188171125 @ 1060.93
c NEW SOLUTION FOUND: 188169077 @ 1061.07
c NEW SOLUTION FOUND: 188167029 @ 1061.21
c NEW SOLUTION FOUND: 188164981 @ 1061.35
c NEW SOLUTION FOUND: 188162933 @ 1061.49
c NEW SOLUTION FOUND: 188160885 @ 1061.63
c NEW SOLUTION FOUND: 188158837 @ 1061.77
c NEW SOLUTION FOUND: 188156789 @ 1061.91
c NEW SOLUTION FOUND: 188154741 @ 1062.05
c NEW SOLUTION FOUND: 188152693 @ 1062.18
c NEW SOLUTION FOUND: 188150645 @ 1062.33
c NEW SOLUTION FOUND: 188148597 @ 1062.46
c NEW SOLUTION FOUND: 188146549 @ 1062.6
c NEW SOLUTION FOUND: 188144501 @ 1062.74
c NEW SOLUTION FOUND: 188142453 @ 1062.88
c NEW SOLUTION FOUND: 188140405 @ 1063.02
c NEW SOLUTION FOUND: 188138357 @ 1063.16
c NEW SOLUTION FOUND: 188136309 @ 1063.29
c NEW SOLUTION FOUND: 188134261 @ 1063.43
c NEW SOLUTION FOUND: 188132213 @ 1063.57
c NEW SOLUTION FOUND: 188130165 @ 1063.71
c NEW SOLUTION FOUND: 188128117 @ 1063.85
c NEW SOLUTION FOUND: 188126069 @ 1063.98
c NEW SOLUTION FOUND: 188124021 @ 1064.12
c NEW SOLUTION FOUND: 188121973 @ 1064.26
c NEW SOLUTION FOUND: 188119925 @ 1064.4
c NEW SOLUTION FOUND: 188117877 @ 1064.53
c NEW SOLUTION FOUND: 188115829 @ 1064.67
c NEW SOLUTION FOUND: 188113781 @ 1064.81
c NEW SOLUTION FOUND: 188111733 @ 1064.95
c NEW SOLUTION FOUND: 188109685 @ 1065.09
c NEW SOLUTION FOUND: 188107637 @ 1065.22
c NEW SOLUTION FOUND: 188105589 @ 1065.36
c NEW SOLUTION FOUND: 188103541 @ 1065.5
c NEW SOLUTION FOUND: 188101493 @ 1065.64
c NEW SOLUTION FOUND: 188099445 @ 1065.78
c NEW SOLUTION FOUND: 188097397 @ 1065.91
c NEW SOLUTION FOUND: 188095349 @ 1066.05
c NEW SOLUTION FOUND: 188093301 @ 1066.19
c NEW SOLUTION FOUND: 188091253 @ 1066.33
c NEW SOLUTION FOUND: 188089205 @ 1066.46
c NEW SOLUTION FOUND: 188087157 @ 1066.6
c NEW SOLUTION FOUND: 188085109 @ 1066.74
c NEW SOLUTION FOUND: 188083061 @ 1066.88
c NEW SOLUTION FOUND: 188081013 @ 1067.02
c NEW SOLUTION FOUND: 188078965 @ 1067.15
c NEW SOLUTION FOUND: 188076917 @ 1067.29
c NEW SOLUTION FOUND: 188074869 @ 1067.43
c NEW SOLUTION FOUND: 188072821 @ 1067.57
c NEW SOLUTION FOUND: 188070773 @ 1067.7
c NEW SOLUTION FOUND: 188068725 @ 1067.84
c NEW SOLUTION FOUND: 188066677 @ 1067.98
c NEW SOLUTION FOUND: 188064629 @ 1068.12
c NEW SOLUTION FOUND: 188062581 @ 1068.25
c NEW SOLUTION FOUND: 188060533 @ 1068.39
c NEW SOLUTION FOUND: 188058485 @ 1068.53
c NEW SOLUTION FOUND: 188056437 @ 1068.66
c NEW SOLUTION FOUND: 188054389 @ 1068.8
c NEW SOLUTION FOUND: 188052341 @ 1068.94
c NEW SOLUTION FOUND: 188050293 @ 1069.08
c NEW SOLUTION FOUND: 188048245 @ 1069.21
c NEW SOLUTION FOUND: 188046197 @ 1069.35
c NEW SOLUTION FOUND: 188044149 @ 1069.49
c NEW SOLUTION FOUND: 188042101 @ 1069.62
c NEW SOLUTION FOUND: 188040053 @ 1069.76
c NEW SOLUTION FOUND: 188038005 @ 1069.9
c NEW SOLUTION FOUND: 188035957 @ 1070.03
c NEW SOLUTION FOUND: 188033909 @ 1070.17
c NEW SOLUTION FOUND: 188031861 @ 1070.3
c NEW SOLUTION FOUND: 188029813 @ 1070.44
c NEW SOLUTION FOUND: 188027765 @ 1070.58
c NEW SOLUTION FOUND: 188025717 @ 1070.71
c NEW SOLUTION FOUND: 188023669 @ 1070.85
c NEW SOLUTION FOUND: 188021621 @ 1070.98
c NEW SOLUTION FOUND: 188019573 @ 1071.12
c NEW SOLUTION FOUND: 188017525 @ 1071.26
c NEW SOLUTION FOUND: 188015477 @ 1071.39
c NEW SOLUTION FOUND: 188013429 @ 1071.53
c NEW SOLUTION FOUND: 188011381 @ 1071.66
c NEW SOLUTION FOUND: 188007285 @ 1071.8
c NEW SOLUTION FOUND: 188003189 @ 1071.94
c NEW SOLUTION FOUND: 187999093 @ 1072.07
c NEW SOLUTION FOUND: 187994997 @ 1072.21
c NEW SOLUTION FOUND: 187990901 @ 1072.35
c NEW SOLUTION FOUND: 187986805 @ 1072.48
c NEW SOLUTION FOUND: 187982709 @ 1072.62
c NEW SOLUTION FOUND: 187978613 @ 1072.75
c NEW SOLUTION FOUND: 187974517 @ 1072.89
c NEW SOLUTION FOUND: 187970421 @ 1073.03
c NEW SOLUTION FOUND: 187966325 @ 1073.16
c NEW SOLUTION FOUND: 187962229 @ 1073.3
c NEW SOLUTION FOUND: 187958133 @ 1073.43
c NEW SOLUTION FOUND: 187954037 @ 1073.57
c NEW SOLUTION FOUND: 187949941 @ 1073.7
c NEW SOLUTION FOUND: 187945845 @ 1073.84
c NEW SOLUTION FOUND: 187941749 @ 1073.97
c NEW SOLUTION FOUND: 187937653 @ 1074.11
c NEW SOLUTION FOUND: 187933557 @ 1074.24
c NEW SOLUTION FOUND: 187929461 @ 1074.38
c NEW SOLUTION FOUND: 187925365 @ 1074.51
c NEW SOLUTION FOUND: 187921269 @ 1074.64
c NEW SOLUTION FOUND: 187917173 @ 1074.78
c NEW SOLUTION FOUND: 187913077 @ 1074.91
c NEW SOLUTION FOUND: 187908981 @ 1075.05
c NEW SOLUTION FOUND: 187904885 @ 1075.19
c NEW SOLUTION FOUND: 187900789 @ 1075.32
c NEW SOLUTION FOUND: 187896693 @ 1075.46
c NEW SOLUTION FOUND: 187892597 @ 1075.59
c NEW SOLUTION FOUND: 187888501 @ 1075.73
c NEW SOLUTION FOUND: 187884405 @ 1075.86
c NEW SOLUTION FOUND: 187880309 @ 1076
c NEW SOLUTION FOUND: 187876213 @ 1076.13
c NEW SOLUTION FOUND: 187872117 @ 1076.27
c NEW SOLUTION FOUND: 187868021 @ 1076.4
c NEW SOLUTION FOUND: 187863925 @ 1076.54
c NEW SOLUTION FOUND: 187859829 @ 1076.67
c NEW SOLUTION FOUND: 187855733 @ 1076.8
c NEW SOLUTION FOUND: 187851637 @ 1076.94
c NEW SOLUTION FOUND: 187847541 @ 1077.07
c NEW SOLUTION FOUND: 187843445 @ 1077.2
c NEW SOLUTION FOUND: 187839349 @ 1077.34
c NEW SOLUTION FOUND: 187835253 @ 1077.47
c NEW SOLUTION FOUND: 187831157 @ 1077.61
c NEW SOLUTION FOUND: 187827061 @ 1077.74
c NEW SOLUTION FOUND: 187822965 @ 1077.88
c NEW SOLUTION FOUND: 187818869 @ 1078.01
c NEW SOLUTION FOUND: 187814773 @ 1078.14
c NEW SOLUTION FOUND: 187810677 @ 1078.28
c NEW SOLUTION FOUND: 187806581 @ 1078.41
c NEW SOLUTION FOUND: 187802485 @ 1078.54
c NEW SOLUTION FOUND: 187798389 @ 1078.68
c NEW SOLUTION FOUND: 187794293 @ 1078.81
c NEW SOLUTION FOUND: 187790197 @ 1078.95
c NEW SOLUTION FOUND: 187786101 @ 1079.08
c NEW SOLUTION FOUND: 187782005 @ 1079.21
c NEW SOLUTION FOUND: 187777909 @ 1079.35
c NEW SOLUTION FOUND: 187773813 @ 1079.48
c NEW SOLUTION FOUND: 187769717 @ 1079.61
c NEW SOLUTION FOUND: 187765621 @ 1079.75
c NEW SOLUTION FOUND: 187761525 @ 1079.88
c NEW SOLUTION FOUND: 187757429 @ 1080.01
c NEW SOLUTION FOUND: 187753333 @ 1080.15
c NEW SOLUTION FOUND: 187749237 @ 1080.28
c NEW SOLUTION FOUND: 187745141 @ 1080.41
c NEW SOLUTION FOUND: 187741045 @ 1080.55
c NEW SOLUTION FOUND: 187736949 @ 1080.68
c NEW SOLUTION FOUND: 187732853 @ 1080.82
c NEW SOLUTION FOUND: 187728757 @ 1080.95
c NEW SOLUTION FOUND: 187724661 @ 1081.08
c NEW SOLUTION FOUND: 187720565 @ 1081.22
c NEW SOLUTION FOUND: 187716469 @ 1081.35
c NEW SOLUTION FOUND: 187712373 @ 1081.48
c NEW SOLUTION FOUND: 187708277 @ 1081.62
c NEW SOLUTION FOUND: 187704181 @ 1081.75
c NEW SOLUTION FOUND: 187700085 @ 1081.88
c NEW SOLUTION FOUND: 187695989 @ 1082.02
c NEW SOLUTION FOUND: 187691893 @ 1082.15
c NEW SOLUTION FOUND: 187687797 @ 1082.28
c NEW SOLUTION FOUND: 187683701 @ 1082.42
c NEW SOLUTION FOUND: 187679605 @ 1082.55
c NEW SOLUTION FOUND: 187675509 @ 1082.68
c NEW SOLUTION FOUND: 187671413 @ 1082.82
c NEW SOLUTION FOUND: 187667317 @ 1082.95
c NEW SOLUTION FOUND: 187663221 @ 1083.08
c NEW SOLUTION FOUND: 187659125 @ 1083.22
c NEW SOLUTION FOUND: 187655029 @ 1083.35
c NEW SOLUTION FOUND: 187650933 @ 1083.48
c NEW SOLUTION FOUND: 187646837 @ 1083.62
c NEW SOLUTION FOUND: 187642741 @ 1083.75
c NEW SOLUTION FOUND: 187638645 @ 1083.88
c NEW SOLUTION FOUND: 187634549 @ 1084.01
c NEW SOLUTION FOUND: 187630453 @ 1084.15
c NEW SOLUTION FOUND: 187626357 @ 1084.28
c NEW SOLUTION FOUND: 187622261 @ 1084.41
c NEW SOLUTION FOUND: 187618165 @ 1084.55
c NEW SOLUTION FOUND: 187614069 @ 1084.68
c NEW SOLUTION FOUND: 187609973 @ 1084.81
c NEW SOLUTION FOUND: 187605877 @ 1084.95
c NEW SOLUTION FOUND: 187601781 @ 1085.08
c NEW SOLUTION FOUND: 187597685 @ 1085.21
c NEW SOLUTION FOUND: 187593589 @ 1085.35
c NEW SOLUTION FOUND: 187589493 @ 1085.48
c NEW SOLUTION FOUND: 187585397 @ 1085.61
c NEW SOLUTION FOUND: 187581301 @ 1085.74
c NEW SOLUTION FOUND: 187577205 @ 1085.88
c NEW SOLUTION FOUND: 187573109 @ 1086.01
c NEW SOLUTION FOUND: 187569013 @ 1086.14
c NEW SOLUTION FOUND: 187564917 @ 1086.28
c NEW SOLUTION FOUND: 187560821 @ 1086.41
c NEW SOLUTION FOUND: 187556725 @ 1086.54
c NEW SOLUTION FOUND: 187552629 @ 1086.67
c NEW SOLUTION FOUND: 187548533 @ 1086.81
c NEW SOLUTION FOUND: 187544437 @ 1086.94
c NEW SOLUTION FOUND: 187540341 @ 1087.07
c NEW SOLUTION FOUND: 187536245 @ 1087.21
c NEW SOLUTION FOUND: 187532149 @ 1087.34
c NEW SOLUTION FOUND: 187528053 @ 1087.47
c NEW SOLUTION FOUND: 187523957 @ 1087.61
c NEW SOLUTION FOUND: 187519861 @ 1087.74
c NEW SOLUTION FOUND: 187515765 @ 1087.87
c NEW SOLUTION FOUND: 187511669 @ 1088
c NEW SOLUTION FOUND: 187507573 @ 1088.14
c NEW SOLUTION FOUND: 187503477 @ 1088.27
c NEW SOLUTION FOUND: 187499381 @ 1088.4
c NEW SOLUTION FOUND: 187495285 @ 1088.54
c NEW SOLUTION FOUND: 187491189 @ 1088.67
c NEW SOLUTION FOUND: 187487093 @ 1088.8
c NEW SOLUTION FOUND: 187482997 @ 1088.93
c NEW SOLUTION FOUND: 187478901 @ 1089.07
c NEW SOLUTION FOUND: 187474805 @ 1089.2
c NEW SOLUTION FOUND: 187470709 @ 1089.33
c NEW SOLUTION FOUND: 187466613 @ 1089.46
c NEW SOLUTION FOUND: 187462517 @ 1089.6
c NEW SOLUTION FOUND: 187458421 @ 1089.73
c NEW SOLUTION FOUND: 187454325 @ 1089.86
c NEW SOLUTION FOUND: 187450229 @ 1089.99
c NEW SOLUTION FOUND: 187446133 @ 1090.12
c NEW SOLUTION FOUND: 187442037 @ 1090.26
c NEW SOLUTION FOUND: 187437941 @ 1090.39
c NEW SOLUTION FOUND: 187433845 @ 1090.52
c NEW SOLUTION FOUND: 187429749 @ 1090.65
c NEW SOLUTION FOUND: 187425653 @ 1090.78
c NEW SOLUTION FOUND: 187421557 @ 1090.91
c NEW SOLUTION FOUND: 187417461 @ 1091.05
c NEW SOLUTION FOUND: 187413365 @ 1091.18
c NEW SOLUTION FOUND: 187409269 @ 1091.31
c NEW SOLUTION FOUND: 187405173 @ 1091.44
c NEW SOLUTION FOUND: 187401077 @ 1091.58
c NEW SOLUTION FOUND: 187396981 @ 1091.71
c NEW SOLUTION FOUND: 187392885 @ 1091.84
c NEW SOLUTION FOUND: 187388789 @ 1091.97
c NEW SOLUTION FOUND: 187384693 @ 1092.1
c NEW SOLUTION FOUND: 187380597 @ 1092.23
c NEW SOLUTION FOUND: 187376501 @ 1092.37
c NEW SOLUTION FOUND: 187372405 @ 1092.5
c NEW SOLUTION FOUND: 187368309 @ 1092.63
c NEW SOLUTION FOUND: 187364213 @ 1092.76
c NEW SOLUTION FOUND: 187360117 @ 1092.89
c NEW SOLUTION FOUND: 187356021 @ 1093.03
c NEW SOLUTION FOUND: 187351925 @ 1093.16
c NEW SOLUTION FOUND: 187347829 @ 1093.29
c NEW SOLUTION FOUND: 187343733 @ 1093.42
c NEW SOLUTION FOUND: 187339637 @ 1093.55
c NEW SOLUTION FOUND: 187335541 @ 1093.68
c NEW SOLUTION FOUND: 187331445 @ 1093.82
c NEW SOLUTION FOUND: 187327349 @ 1093.95
c NEW SOLUTION FOUND: 187323253 @ 1094.08
c NEW SOLUTION FOUND: 187319157 @ 1094.21
c NEW SOLUTION FOUND: 187315061 @ 1094.34
c NEW SOLUTION FOUND: 187310965 @ 1094.47
c NEW SOLUTION FOUND: 187306869 @ 1094.61
c NEW SOLUTION FOUND: 187302773 @ 1094.74
c NEW SOLUTION FOUND: 187298677 @ 1094.87
c NEW SOLUTION FOUND: 187294581 @ 1095
c NEW SOLUTION FOUND: 187290485 @ 1095.13
c NEW SOLUTION FOUND: 187286389 @ 1095.27
c NEW SOLUTION FOUND: 187282293 @ 1095.4
c NEW SOLUTION FOUND: 187278197 @ 1095.53
c NEW SOLUTION FOUND: 187274101 @ 1095.66
c NEW SOLUTION FOUND: 187265909 @ 1095.79
c NEW SOLUTION FOUND: 187257717 @ 1095.93
c NEW SOLUTION FOUND: 187249525 @ 1096.06
c NEW SOLUTION FOUND: 187241333 @ 1096.19
c NEW SOLUTION FOUND: 187233141 @ 1096.32
c NEW SOLUTION FOUND: 187224949 @ 1096.45
c NEW SOLUTION FOUND: 187216757 @ 1096.58
c NEW SOLUTION FOUND: 187208565 @ 1096.71
c NEW SOLUTION FOUND: 187200373 @ 1096.84
c NEW SOLUTION FOUND: 187192181 @ 1096.97
c NEW SOLUTION FOUND: 187183989 @ 1097.11
c NEW SOLUTION FOUND: 187175797 @ 1097.24
c NEW SOLUTION FOUND: 187167605 @ 1097.37
c NEW SOLUTION FOUND: 187159413 @ 1097.5
c NEW SOLUTION FOUND: 187151221 @ 1097.63
c NEW SOLUTION FOUND: 187143029 @ 1097.76
c NEW SOLUTION FOUND: 187134837 @ 1097.89
c NEW SOLUTION FOUND: 187126645 @ 1098.02
c NEW SOLUTION FOUND: 187118453 @ 1098.16
c NEW SOLUTION FOUND: 187110261 @ 1098.29
c NEW SOLUTION FOUND: 187102069 @ 1098.42
c NEW SOLUTION FOUND: 187093877 @ 1098.55
c NEW SOLUTION FOUND: 187085685 @ 1098.68
c NEW SOLUTION FOUND: 187077493 @ 1098.81
c NEW SOLUTION FOUND: 187069301 @ 1098.94
c NEW SOLUTION FOUND: 187061109 @ 1099.07
c NEW SOLUTION FOUND: 187052917 @ 1099.2
c NEW SOLUTION FOUND: 187044725 @ 1099.34
c NEW SOLUTION FOUND: 187036533 @ 1099.46
c NEW SOLUTION FOUND: 187028341 @ 1099.6
c NEW SOLUTION FOUND: 187020149 @ 1099.73
c NEW SOLUTION FOUND: 187011957 @ 1099.86
c NEW SOLUTION FOUND: 187003765 @ 1099.99
c NEW SOLUTION FOUND: 186995573 @ 1100.12
c NEW SOLUTION FOUND: 186987381 @ 1100.25
c NEW SOLUTION FOUND: 186979189 @ 1100.38
c NEW SOLUTION FOUND: 186970997 @ 1100.51
c NEW SOLUTION FOUND: 186962805 @ 1100.64
c NEW SOLUTION FOUND: 186954613 @ 1100.77
c NEW SOLUTION FOUND: 186946421 @ 1100.9
c NEW SOLUTION FOUND: 186938229 @ 1101.03
c NEW SOLUTION FOUND: 186930037 @ 1101.16
c NEW SOLUTION FOUND: 186921845 @ 1101.29
c NEW SOLUTION FOUND: 186913653 @ 1101.42
c NEW SOLUTION FOUND: 186905461 @ 1101.55
c NEW SOLUTION FOUND: 186897269 @ 1101.68
c NEW SOLUTION FOUND: 186889077 @ 1101.81
c NEW SOLUTION FOUND: 186880885 @ 1101.94
c NEW SOLUTION FOUND: 186872693 @ 1102.07
c NEW SOLUTION FOUND: 186864501 @ 1102.2
c NEW SOLUTION FOUND: 186856309 @ 1102.33
c NEW SOLUTION FOUND: 186848117 @ 1102.46
c NEW SOLUTION FOUND: 186839925 @ 1102.59
c NEW SOLUTION FOUND: 186831733 @ 1102.71
c NEW SOLUTION FOUND: 186823541 @ 1102.84
c NEW SOLUTION FOUND: 186815349 @ 1102.97
c NEW SOLUTION FOUND: 186807157 @ 1103.1
c NEW SOLUTION FOUND: 186798965 @ 1103.23
c NEW SOLUTION FOUND: 186790773 @ 1103.36
c NEW SOLUTION FOUND: 186782581 @ 1103.49
c NEW SOLUTION FOUND: 186774389 @ 1103.62
c NEW SOLUTION FOUND: 186766197 @ 1103.75
c NEW SOLUTION FOUND: 186758005 @ 1103.88
c NEW SOLUTION FOUND: 186749813 @ 1104.01
c NEW SOLUTION FOUND: 186741621 @ 1104.14
c NEW SOLUTION FOUND: 186733429 @ 1104.27
c NEW SOLUTION FOUND: 186725237 @ 1104.4
c NEW SOLUTION FOUND: 186717045 @ 1104.53
c NEW SOLUTION FOUND: 186708853 @ 1104.65
c NEW SOLUTION FOUND: 186700661 @ 1104.78
c NEW SOLUTION FOUND: 186692469 @ 1104.91
c NEW SOLUTION FOUND: 186684277 @ 1105.04
c NEW SOLUTION FOUND: 186676085 @ 1105.17
c NEW SOLUTION FOUND: 186667893 @ 1105.3
c NEW SOLUTION FOUND: 186659701 @ 1105.43
c NEW SOLUTION FOUND: 186651509 @ 1105.56
c NEW SOLUTION FOUND: 186643317 @ 1105.69
c NEW SOLUTION FOUND: 186635125 @ 1105.82
c NEW SOLUTION FOUND: 186626933 @ 1105.95
c NEW SOLUTION FOUND: 186618741 @ 1106.08
c NEW SOLUTION FOUND: 186610549 @ 1106.21
c NEW SOLUTION FOUND: 186602357 @ 1106.34
c NEW SOLUTION FOUND: 186594165 @ 1106.46
c NEW SOLUTION FOUND: 186585973 @ 1106.59
c NEW SOLUTION FOUND: 186577781 @ 1106.72
c NEW SOLUTION FOUND: 186569589 @ 1106.85
c NEW SOLUTION FOUND: 186561397 @ 1106.98
c NEW SOLUTION FOUND: 186553205 @ 1107.11
c NEW SOLUTION FOUND: 186545013 @ 1107.24
c NEW SOLUTION FOUND: 186536821 @ 1107.37
c NEW SOLUTION FOUND: 186528629 @ 1107.49
c NEW SOLUTION FOUND: 186520437 @ 1107.63
c NEW SOLUTION FOUND: 186512245 @ 1107.75
c NEW SOLUTION FOUND: 186504053 @ 1107.88
c NEW SOLUTION FOUND: 186495861 @ 1108.01
c NEW SOLUTION FOUND: 186487669 @ 1108.14
c NEW SOLUTION FOUND: 186479477 @ 1108.27
c NEW SOLUTION FOUND: 186471285 @ 1108.4
c NEW SOLUTION FOUND: 186463093 @ 1108.53
c NEW SOLUTION FOUND: 186454901 @ 1108.66
c NEW SOLUTION FOUND: 186446709 @ 1108.79
c NEW SOLUTION FOUND: 186438517 @ 1108.91
c NEW SOLUTION FOUND: 186430325 @ 1109.04
c NEW SOLUTION FOUND: 186422133 @ 1109.17
c NEW SOLUTION FOUND: 186413941 @ 1109.3
c NEW SOLUTION FOUND: 186405749 @ 1109.43
c NEW SOLUTION FOUND: 186397557 @ 1109.55
c NEW SOLUTION FOUND: 186389365 @ 1109.68
c NEW SOLUTION FOUND: 186381173 @ 1109.81
c NEW SOLUTION FOUND: 186372981 @ 1109.94
c NEW SOLUTION FOUND: 186364789 @ 1110.07
c NEW SOLUTION FOUND: 186356597 @ 1110.2
c NEW SOLUTION FOUND: 186348405 @ 1110.32
c NEW SOLUTION FOUND: 186340213 @ 1110.45
c NEW SOLUTION FOUND: 186332021 @ 1110.58
c NEW SOLUTION FOUND: 186323829 @ 1110.71
c NEW SOLUTION FOUND: 186315637 @ 1110.84
c NEW SOLUTION FOUND: 186307445 @ 1110.97
c NEW SOLUTION FOUND: 186299253 @ 1111.1
c NEW SOLUTION FOUND: 186291061 @ 1111.22
c NEW SOLUTION FOUND: 186282869 @ 1111.35
c NEW SOLUTION FOUND: 186274677 @ 1111.48
c NEW SOLUTION FOUND: 186266485 @ 1111.61
c NEW SOLUTION FOUND: 186258293 @ 1111.74
c NEW SOLUTION FOUND: 186250101 @ 1111.86
c NEW SOLUTION FOUND: 186241909 @ 1111.99
c NEW SOLUTION FOUND: 186233717 @ 1112.12
c NEW SOLUTION FOUND: 186225525 @ 1112.25
c NEW SOLUTION FOUND: 186217333 @ 1112.37
c NEW SOLUTION FOUND: 186209141 @ 1112.5
c NEW SOLUTION FOUND: 186200949 @ 1112.63
c NEW SOLUTION FOUND: 186192757 @ 1112.76
c NEW SOLUTION FOUND: 186184565 @ 1112.88
c NEW SOLUTION FOUND: 186176373 @ 1113.01
c NEW SOLUTION FOUND: 186168181 @ 1113.14
c NEW SOLUTION FOUND: 186159989 @ 1113.26
c NEW SOLUTION FOUND: 186151797 @ 1113.39
c NEW SOLUTION FOUND: 186143605 @ 1113.52
c NEW SOLUTION FOUND: 186135413 @ 1113.64
c NEW SOLUTION FOUND: 186127221 @ 1113.77
c NEW SOLUTION FOUND: 186119029 @ 1113.9
c NEW SOLUTION FOUND: 186110837 @ 1114.03
c NEW SOLUTION FOUND: 186102645 @ 1114.15
c NEW SOLUTION FOUND: 186094453 @ 1114.28
c NEW SOLUTION FOUND: 186086261 @ 1114.4
c NEW SOLUTION FOUND: 186078069 @ 1114.53
c NEW SOLUTION FOUND: 186069877 @ 1114.66
c NEW SOLUTION FOUND: 186061685 @ 1114.78
c NEW SOLUTION FOUND: 186053493 @ 1114.91
c NEW SOLUTION FOUND: 186045301 @ 1115.04
c NEW SOLUTION FOUND: 186037109 @ 1115.16
c NEW SOLUTION FOUND: 186028917 @ 1115.29
c NEW SOLUTION FOUND: 186020725 @ 1115.41
c NEW SOLUTION FOUND: 186012533 @ 1115.54
c NEW SOLUTION FOUND: 186004341 @ 1115.67
c NEW SOLUTION FOUND: 185996149 @ 1115.8
c NEW SOLUTION FOUND: 185987957 @ 1115.92
c NEW SOLUTION FOUND: 185979765 @ 1116.05
c NEW SOLUTION FOUND: 185971573 @ 1116.18
c NEW SOLUTION FOUND: 185963381 @ 1116.3
c NEW SOLUTION FOUND: 185955189 @ 1116.43
c NEW SOLUTION FOUND: 185946997 @ 1116.56
c NEW SOLUTION FOUND: 185938805 @ 1116.68
c NEW SOLUTION FOUND: 185930613 @ 1116.81
c NEW SOLUTION FOUND: 185922421 @ 1116.94
c NEW SOLUTION FOUND: 185914229 @ 1117.07
c NEW SOLUTION FOUND: 185906037 @ 1117.19
c NEW SOLUTION FOUND: 185897845 @ 1117.32
c NEW SOLUTION FOUND: 185889653 @ 1117.44
c NEW SOLUTION FOUND: 185881461 @ 1117.57
c NEW SOLUTION FOUND: 185873269 @ 1117.69
c NEW SOLUTION FOUND: 185865077 @ 1117.82
c NEW SOLUTION FOUND: 185856885 @ 1117.95
c NEW SOLUTION FOUND: 185848693 @ 1118.07
c NEW SOLUTION FOUND: 185840501 @ 1118.2
c NEW SOLUTION FOUND: 185832309 @ 1118.33
c NEW SOLUTION FOUND: 185824117 @ 1118.45
c NEW SOLUTION FOUND: 185815925 @ 1118.58
c NEW SOLUTION FOUND: 185807733 @ 1118.7
c NEW SOLUTION FOUND: 185799541 @ 1118.83
c NEW SOLUTION FOUND: 185783157 @ 1118.95
c NEW SOLUTION FOUND: 185766773 @ 1119.08
c NEW SOLUTION FOUND: 185750389 @ 1119.2
c NEW SOLUTION FOUND: 185734005 @ 1119.33
c NEW SOLUTION FOUND: 185717621 @ 1119.46
c NEW SOLUTION FOUND: 185701237 @ 1119.58
c NEW SOLUTION FOUND: 185684853 @ 1119.71
c NEW SOLUTION FOUND: 185668469 @ 1119.84
c NEW SOLUTION FOUND: 185652085 @ 1119.96
c NEW SOLUTION FOUND: 185635701 @ 1120.09
c NEW SOLUTION FOUND: 185619317 @ 1120.21
c NEW SOLUTION FOUND: 185602933 @ 1120.34
c NEW SOLUTION FOUND: 185586549 @ 1120.46
c NEW SOLUTION FOUND: 185570165 @ 1120.59
c NEW SOLUTION FOUND: 185553781 @ 1120.71
c NEW SOLUTION FOUND: 185537397 @ 1120.84
c NEW SOLUTION FOUND: 185521013 @ 1120.96
c NEW SOLUTION FOUND: 185504629 @ 1121.09
c NEW SOLUTION FOUND: 185488245 @ 1121.21
c NEW SOLUTION FOUND: 185471861 @ 1121.34
c NEW SOLUTION FOUND: 185455477 @ 1121.46
c NEW SOLUTION FOUND: 185439093 @ 1121.59
c NEW SOLUTION FOUND: 185422709 @ 1121.71
c NEW SOLUTION FOUND: 185406325 @ 1121.84
c NEW SOLUTION FOUND: 185389941 @ 1121.96
c NEW SOLUTION FOUND: 185373557 @ 1122.09
c NEW SOLUTION FOUND: 185357173 @ 1122.22
c NEW SOLUTION FOUND: 185340789 @ 1122.34
c NEW SOLUTION FOUND: 185324405 @ 1122.47
c NEW SOLUTION FOUND: 185308021 @ 1122.59
c NEW SOLUTION FOUND: 185291637 @ 1122.72
c NEW SOLUTION FOUND: 185275253 @ 1122.84
c NEW SOLUTION FOUND: 185258869 @ 1122.97
c NEW SOLUTION FOUND: 185242485 @ 1123.09
c NEW SOLUTION FOUND: 185226101 @ 1123.22
c NEW SOLUTION FOUND: 185209717 @ 1123.34
c NEW SOLUTION FOUND: 185193333 @ 1123.46
c NEW SOLUTION FOUND: 185176949 @ 1123.59
c NEW SOLUTION FOUND: 185160565 @ 1123.71
c NEW SOLUTION FOUND: 185144181 @ 1123.84
c NEW SOLUTION FOUND: 185127797 @ 1123.96
c NEW SOLUTION FOUND: 185111413 @ 1124.09
c NEW SOLUTION FOUND: 185095029 @ 1124.21
c NEW SOLUTION FOUND: 185078645 @ 1124.34
c NEW SOLUTION FOUND: 185062261 @ 1124.46
c NEW SOLUTION FOUND: 185045877 @ 1124.59
c NEW SOLUTION FOUND: 185029493 @ 1124.71
c NEW SOLUTION FOUND: 185013109 @ 1124.83
c NEW SOLUTION FOUND: 184996725 @ 1124.96
c NEW SOLUTION FOUND: 184980341 @ 1125.08
c NEW SOLUTION FOUND: 184963957 @ 1125.21
c NEW SOLUTION FOUND: 184947573 @ 1125.33
c NEW SOLUTION FOUND: 184931189 @ 1125.45
c NEW SOLUTION FOUND: 184914805 @ 1125.58
c NEW SOLUTION FOUND: 184898421 @ 1125.7
c NEW SOLUTION FOUND: 184882037 @ 1125.83
c NEW SOLUTION FOUND: 184865653 @ 1125.95
c NEW SOLUTION FOUND: 184849269 @ 1126.08
c NEW SOLUTION FOUND: 184832885 @ 1126.2
c NEW SOLUTION FOUND: 184816501 @ 1126.32
c NEW SOLUTION FOUND: 184800117 @ 1126.44
c NEW SOLUTION FOUND: 184783733 @ 1126.57
c NEW SOLUTION FOUND: 184767349 @ 1126.69
c NEW SOLUTION FOUND: 184750965 @ 1126.82
c NEW SOLUTION FOUND: 184734581 @ 1126.94
c NEW SOLUTION FOUND: 184718197 @ 1127.07
c NEW SOLUTION FOUND: 184701813 @ 1127.19
c NEW SOLUTION FOUND: 184685429 @ 1127.31
c NEW SOLUTION FOUND: 184669045 @ 1127.43
c NEW SOLUTION FOUND: 184652661 @ 1127.56
c NEW SOLUTION FOUND: 184636277 @ 1127.68
c NEW SOLUTION FOUND: 184619893 @ 1127.8
c NEW SOLUTION FOUND: 184603509 @ 1127.93
c NEW SOLUTION FOUND: 184587125 @ 1128.05
c NEW SOLUTION FOUND: 184570741 @ 1128.17
c NEW SOLUTION FOUND: 184554357 @ 1128.3
c NEW SOLUTION FOUND: 184537973 @ 1128.42
c NEW SOLUTION FOUND: 184521589 @ 1128.54
c NEW SOLUTION FOUND: 184505205 @ 1128.67
c NEW SOLUTION FOUND: 184488821 @ 1128.79
c NEW SOLUTION FOUND: 184472437 @ 1128.91
c NEW SOLUTION FOUND: 184456053 @ 1129.04
c NEW SOLUTION FOUND: 184439669 @ 1129.16
c NEW SOLUTION FOUND: 184423285 @ 1129.29
c NEW SOLUTION FOUND: 184406901 @ 1129.41
c NEW SOLUTION FOUND: 184390517 @ 1129.53
c NEW SOLUTION FOUND: 184374133 @ 1129.65
c NEW SOLUTION FOUND: 184357749 @ 1129.78
c NEW SOLUTION FOUND: 184341365 @ 1129.9
c NEW SOLUTION FOUND: 184324981 @ 1130.02
c NEW SOLUTION FOUND: 184308597 @ 1130.15
c NEW SOLUTION FOUND: 184292213 @ 1130.27
c NEW SOLUTION FOUND: 184275829 @ 1130.39
c NEW SOLUTION FOUND: 184259445 @ 1130.52
c NEW SOLUTION FOUND: 184243061 @ 1130.64
c NEW SOLUTION FOUND: 184226677 @ 1130.76
c NEW SOLUTION FOUND: 184210293 @ 1130.88
c NEW SOLUTION FOUND: 184193909 @ 1131.01
c NEW SOLUTION FOUND: 184177525 @ 1131.13
c NEW SOLUTION FOUND: 184161141 @ 1131.25
c NEW SOLUTION FOUND: 184144757 @ 1131.38
c NEW SOLUTION FOUND: 184128373 @ 1131.5
c NEW SOLUTION FOUND: 184111989 @ 1131.62
c NEW SOLUTION FOUND: 184095605 @ 1131.75
c NEW SOLUTION FOUND: 184079221 @ 1131.87
c NEW SOLUTION FOUND: 184062837 @ 1131.99
c NEW SOLUTION FOUND: 184046453 @ 1132.12
c NEW SOLUTION FOUND: 184030069 @ 1132.24
c NEW SOLUTION FOUND: 184013685 @ 1132.36
c NEW SOLUTION FOUND: 183997301 @ 1132.48
c NEW SOLUTION FOUND: 183980917 @ 1132.61
c NEW SOLUTION FOUND: 183964533 @ 1132.73
c NEW SOLUTION FOUND: 183948149 @ 1132.85
c NEW SOLUTION FOUND: 183931765 @ 1132.98
c NEW SOLUTION FOUND: 183915381 @ 1133.1
c NEW SOLUTION FOUND: 183898997 @ 1133.22
c NEW SOLUTION FOUND: 183882613 @ 1133.34
c NEW SOLUTION FOUND: 183866229 @ 1133.47
c NEW SOLUTION FOUND: 183849845 @ 1133.59
c NEW SOLUTION FOUND: 183833461 @ 1133.71
c NEW SOLUTION FOUND: 183817077 @ 1133.83
c NEW SOLUTION FOUND: 183800693 @ 1133.96
c NEW SOLUTION FOUND: 183784309 @ 1134.08
c NEW SOLUTION FOUND: 183767925 @ 1134.2
c NEW SOLUTION FOUND: 183751541 @ 1134.32
c NEW SOLUTION FOUND: 183735157 @ 1134.44
c NEW SOLUTION FOUND: 183718773 @ 1134.57
c NEW SOLUTION FOUND: 183702389 @ 1134.69
c NEW SOLUTION FOUND: 183686005 @ 1134.81
c NEW SOLUTION FOUND: 183669621 @ 1134.93
c NEW SOLUTION FOUND: 183653237 @ 1135.06
c NEW SOLUTION FOUND: 183636853 @ 1135.18
c NEW SOLUTION FOUND: 183620469 @ 1135.3
c NEW SOLUTION FOUND: 183604085 @ 1135.42
c NEW SOLUTION FOUND: 183587701 @ 1135.54
c NEW SOLUTION FOUND: 183571317 @ 1135.66
c NEW SOLUTION FOUND: 183554933 @ 1135.79
c NEW SOLUTION FOUND: 183538549 @ 1135.91
c NEW SOLUTION FOUND: 183522165 @ 1136.03
c NEW SOLUTION FOUND: 183505781 @ 1136.15
c NEW SOLUTION FOUND: 183489397 @ 1136.28
c NEW SOLUTION FOUND: 183473013 @ 1136.4
c NEW SOLUTION FOUND: 183456629 @ 1136.52
c NEW SOLUTION FOUND: 183440245 @ 1136.64
c NEW SOLUTION FOUND: 183423861 @ 1136.76
c NEW SOLUTION FOUND: 183407477 @ 1136.88
c NEW SOLUTION FOUND: 183391093 @ 1137.01
c NEW SOLUTION FOUND: 183374709 @ 1137.13
c NEW SOLUTION FOUND: 183358325 @ 1137.25
c NEW SOLUTION FOUND: 183341941 @ 1137.37
c NEW SOLUTION FOUND: 183325557 @ 1137.49
c NEW SOLUTION FOUND: 183309173 @ 1137.62
c NEW SOLUTION FOUND: 183292789 @ 1137.74
c NEW SOLUTION FOUND: 183276405 @ 1137.86
c NEW SOLUTION FOUND: 183260021 @ 1137.98
c NEW SOLUTION FOUND: 183243637 @ 1138.1
c NEW SOLUTION FOUND: 183227253 @ 1138.22
c NEW SOLUTION FOUND: 183210869 @ 1138.35
c NEW SOLUTION FOUND: 183194485 @ 1138.47
c NEW SOLUTION FOUND: 183178101 @ 1138.59
c NEW SOLUTION FOUND: 183161717 @ 1138.71
c NEW SOLUTION FOUND: 183145333 @ 1138.83
c NEW SOLUTION FOUND: 183128949 @ 1138.95
c NEW SOLUTION FOUND: 183112565 @ 1139.07
c NEW SOLUTION FOUND: 183096181 @ 1139.19
c NEW SOLUTION FOUND: 183079797 @ 1139.31
c NEW SOLUTION FOUND: 183063413 @ 1139.43
c NEW SOLUTION FOUND: 183047029 @ 1139.55
c NEW SOLUTION FOUND: 183030645 @ 1139.67
c NEW SOLUTION FOUND: 183014261 @ 1139.8
c NEW SOLUTION FOUND: 182997877 @ 1139.92
c NEW SOLUTION FOUND: 182981493 @ 1140.04
c NEW SOLUTION FOUND: 182965109 @ 1140.16
c NEW SOLUTION FOUND: 182948725 @ 1140.28
c NEW SOLUTION FOUND: 182932341 @ 1140.4
c NEW SOLUTION FOUND: 182915957 @ 1140.52
c NEW SOLUTION FOUND: 182899573 @ 1140.64
c NEW SOLUTION FOUND: 182883189 @ 1140.76
c NEW SOLUTION FOUND: 182866805 @ 1140.88
c NEW SOLUTION FOUND: 182850421 @ 1141.01
c NEW SOLUTION FOUND: 182817653 @ 1141.12
c NEW SOLUTION FOUND: 182784885 @ 1141.24
c NEW SOLUTION FOUND: 182752117 @ 1141.37
c NEW SOLUTION FOUND: 182719349 @ 1141.49
c NEW SOLUTION FOUND: 182686581 @ 1141.61
c NEW SOLUTION FOUND: 182653813 @ 1141.73
c NEW SOLUTION FOUND: 182621045 @ 1141.85
c NEW SOLUTION FOUND: 182588277 @ 1141.97
c NEW SOLUTION FOUND: 182555509 @ 1142.09
c NEW SOLUTION FOUND: 182522741 @ 1142.21
c NEW SOLUTION FOUND: 182489973 @ 1142.33
c NEW SOLUTION FOUND: 182457205 @ 1142.45
c NEW SOLUTION FOUND: 182424437 @ 1142.57
c NEW SOLUTION FOUND: 182391669 @ 1142.69
c NEW SOLUTION FOUND: 182358901 @ 1142.81
c NEW SOLUTION FOUND: 182326133 @ 1142.93
c NEW SOLUTION FOUND: 182293365 @ 1143.05
c NEW SOLUTION FOUND: 182260597 @ 1143.17
c NEW SOLUTION FOUND: 182227829 @ 1143.29
c NEW SOLUTION FOUND: 182195061 @ 1143.41
c NEW SOLUTION FOUND: 182162293 @ 1143.53
c NEW SOLUTION FOUND: 182129525 @ 1143.65
c NEW SOLUTION FOUND: 182096757 @ 1143.77
c NEW SOLUTION FOUND: 182063989 @ 1143.89
c NEW SOLUTION FOUND: 182031221 @ 1144.01
c NEW SOLUTION FOUND: 181998453 @ 1144.13
c NEW SOLUTION FOUND: 181965685 @ 1144.25
c NEW SOLUTION FOUND: 181932917 @ 1144.37
c NEW SOLUTION FOUND: 181900149 @ 1144.49
c NEW SOLUTION FOUND: 181867381 @ 1144.61
c NEW SOLUTION FOUND: 181834613 @ 1144.73
c NEW SOLUTION FOUND: 181801845 @ 1144.85
c NEW SOLUTION FOUND: 181769077 @ 1144.97
c NEW SOLUTION FOUND: 181736309 @ 1145.09
c NEW SOLUTION FOUND: 181703541 @ 1145.21
c NEW SOLUTION FOUND: 181670773 @ 1145.33
c NEW SOLUTION FOUND: 181638005 @ 1145.45
c NEW SOLUTION FOUND: 181605237 @ 1145.57
c NEW SOLUTION FOUND: 181572469 @ 1145.68
c NEW SOLUTION FOUND: 181539701 @ 1145.81
c NEW SOLUTION FOUND: 181506933 @ 1145.92
c NEW SOLUTION FOUND: 181474165 @ 1146.05
c NEW SOLUTION FOUND: 181441397 @ 1146.16
c NEW SOLUTION FOUND: 181408629 @ 1146.28
c NEW SOLUTION FOUND: 181375861 @ 1146.4
c NEW SOLUTION FOUND: 181343093 @ 1146.52
c NEW SOLUTION FOUND: 181310325 @ 1146.64
c NEW SOLUTION FOUND: 181277557 @ 1146.76
c NEW SOLUTION FOUND: 181244789 @ 1146.88
c NEW SOLUTION FOUND: 181212021 @ 1147
c NEW SOLUTION FOUND: 181179253 @ 1147.12
c NEW SOLUTION FOUND: 181146485 @ 1147.24
c NEW SOLUTION FOUND: 181113717 @ 1147.36
c NEW SOLUTION FOUND: 181080949 @ 1147.48
c NEW SOLUTION FOUND: 181048181 @ 1147.6
c NEW SOLUTION FOUND: 181015413 @ 1147.72
c NEW SOLUTION FOUND: 180982645 @ 1147.84
c NEW SOLUTION FOUND: 180949877 @ 1147.96
c NEW SOLUTION FOUND: 180917109 @ 1148.07
c NEW SOLUTION FOUND: 180884341 @ 1148.19
c NEW SOLUTION FOUND: 180851573 @ 1148.31
c NEW SOLUTION FOUND: 180818805 @ 1148.43
c NEW SOLUTION FOUND: 180786037 @ 1148.55
c NEW SOLUTION FOUND: 180753269 @ 1148.67
c NEW SOLUTION FOUND: 180720501 @ 1148.79
c NEW SOLUTION FOUND: 180687733 @ 1148.9
c NEW SOLUTION FOUND: 180654965 @ 1149.02
c NEW SOLUTION FOUND: 180622197 @ 1149.14
c NEW SOLUTION FOUND: 180589429 @ 1149.26
c NEW SOLUTION FOUND: 180556661 @ 1149.38
c NEW SOLUTION FOUND: 180523893 @ 1149.5
c NEW SOLUTION FOUND: 180491125 @ 1149.62
c NEW SOLUTION FOUND: 180458357 @ 1149.73
c NEW SOLUTION FOUND: 180425589 @ 1149.85
c NEW SOLUTION FOUND: 180392821 @ 1149.97
c NEW SOLUTION FOUND: 180360053 @ 1150.09
c NEW SOLUTION FOUND: 180327285 @ 1150.21
c NEW SOLUTION FOUND: 180294517 @ 1150.33
c NEW SOLUTION FOUND: 180261749 @ 1150.45
c NEW SOLUTION FOUND: 180228981 @ 1150.57
c NEW SOLUTION FOUND: 180196213 @ 1150.68
c NEW SOLUTION FOUND: 180163445 @ 1150.8
c NEW SOLUTION FOUND: 180130677 @ 1150.92
c NEW SOLUTION FOUND: 180097909 @ 1151.04
c NEW SOLUTION FOUND: 180065141 @ 1151.16
c NEW SOLUTION FOUND: 180032373 @ 1151.28
c NEW SOLUTION FOUND: 179999605 @ 1151.39
c NEW SOLUTION FOUND: 179966837 @ 1151.51
c NEW SOLUTION FOUND: 179934069 @ 1151.63
c NEW SOLUTION FOUND: 179901301 @ 1151.75
c NEW SOLUTION FOUND: 179868533 @ 1151.87
c NEW SOLUTION FOUND: 179835765 @ 1151.98
c NEW SOLUTION FOUND: 179802997 @ 1152.1
c NEW SOLUTION FOUND: 179770229 @ 1152.22
c NEW SOLUTION FOUND: 179737461 @ 1152.33
c NEW SOLUTION FOUND: 179704693 @ 1152.45
c NEW SOLUTION FOUND: 179671925 @ 1152.57
c NEW SOLUTION FOUND: 179639157 @ 1152.69
c NEW SOLUTION FOUND: 179606389 @ 1152.81
c NEW SOLUTION FOUND: 179573621 @ 1152.92
c NEW SOLUTION FOUND: 179540853 @ 1153.04
c NEW SOLUTION FOUND: 179508085 @ 1153.16
c NEW SOLUTION FOUND: 179475317 @ 1153.28
c NEW SOLUTION FOUND: 179442549 @ 1153.4
c NEW SOLUTION FOUND: 179409781 @ 1153.51
c NEW SOLUTION FOUND: 179377013 @ 1153.63
c NEW SOLUTION FOUND: 179344245 @ 1153.75
c NEW SOLUTION FOUND: 179311477 @ 1153.87
c NEW SOLUTION FOUND: 179278709 @ 1153.98
c NEW SOLUTION FOUND: 179245941 @ 1154.1
c NEW SOLUTION FOUND: 179213173 @ 1154.21
c NEW SOLUTION FOUND: 179180405 @ 1154.33
c NEW SOLUTION FOUND: 179147637 @ 1154.45
c NEW SOLUTION FOUND: 179114869 @ 1154.57
c NEW SOLUTION FOUND: 179082101 @ 1154.68
c NEW SOLUTION FOUND: 179049333 @ 1154.8
c NEW SOLUTION FOUND: 179016565 @ 1154.92
c NEW SOLUTION FOUND: 178983797 @ 1155.04
c NEW SOLUTION FOUND: 178951029 @ 1155.15
c NEW SOLUTION FOUND: 178918261 @ 1155.27
c NEW SOLUTION FOUND: 178885493 @ 1155.38
c NEW SOLUTION FOUND: 178852725 @ 1155.5
c NEW SOLUTION FOUND: 178819957 @ 1155.62
c NEW SOLUTION FOUND: 178787189 @ 1155.74
c NEW SOLUTION FOUND: 178754421 @ 1155.85
c NEW SOLUTION FOUND: 178721653 @ 1155.97
c NEW SOLUTION FOUND: 178688885 @ 1156.09
c NEW SOLUTION FOUND: 178656117 @ 1156.2
c NEW SOLUTION FOUND: 178623349 @ 1156.32
c NEW SOLUTION FOUND: 178590581 @ 1156.44
c NEW SOLUTION FOUND: 178557813 @ 1156.55
c NEW SOLUTION FOUND: 178525045 @ 1156.67
c NEW SOLUTION FOUND: 178492277 @ 1156.79
c NEW SOLUTION FOUND: 178459509 @ 1156.9
c NEW SOLUTION FOUND: 178426741 @ 1157.02
c NEW SOLUTION FOUND: 178393973 @ 1157.14
c NEW SOLUTION FOUND: 178361205 @ 1157.25
c NEW SOLUTION FOUND: 178328437 @ 1157.37
c NEW SOLUTION FOUND: 178295669 @ 1157.49
c NEW SOLUTION FOUND: 178262901 @ 1157.6
c NEW SOLUTION FOUND: 178230133 @ 1157.72
c NEW SOLUTION FOUND: 178197365 @ 1157.84
c NEW SOLUTION FOUND: 178164597 @ 1157.95
c NEW SOLUTION FOUND: 178131829 @ 1158.07
c NEW SOLUTION FOUND: 178099061 @ 1158.18
c NEW SOLUTION FOUND: 178066293 @ 1158.3
c NEW SOLUTION FOUND: 178033525 @ 1158.41
c NEW SOLUTION FOUND: 178000757 @ 1158.53
c NEW SOLUTION FOUND: 177967989 @ 1158.65
c NEW SOLUTION FOUND: 177935221 @ 1158.76
c NEW SOLUTION FOUND: 177902453 @ 1158.88
c NEW SOLUTION FOUND: 177869685 @ 1158.99
c NEW SOLUTION FOUND: 177836917 @ 1159.11
c NEW SOLUTION FOUND: 177804149 @ 1159.23
c NEW SOLUTION FOUND: 177771381 @ 1159.34
c NEW SOLUTION FOUND: 177738613 @ 1159.46
c NEW SOLUTION FOUND: 177705845 @ 1159.57
c NEW SOLUTION FOUND: 177673077 @ 1159.69
c NEW SOLUTION FOUND: 177640309 @ 1159.8
c NEW SOLUTION FOUND: 177607541 @ 1159.92
c NEW SOLUTION FOUND: 177574773 @ 1160.04
c NEW SOLUTION FOUND: 177542005 @ 1160.15
c NEW SOLUTION FOUND: 177509237 @ 1160.27
c NEW SOLUTION FOUND: 177476469 @ 1160.38
c NEW SOLUTION FOUND: 177443701 @ 1160.5
c NEW SOLUTION FOUND: 177410933 @ 1160.61
c NEW SOLUTION FOUND: 177378165 @ 1160.73
c NEW SOLUTION FOUND: 177345397 @ 1160.85
c NEW SOLUTION FOUND: 177312629 @ 1160.96
c NEW SOLUTION FOUND: 177279861 @ 1161.08
c NEW SOLUTION FOUND: 177247093 @ 1161.19
c NEW SOLUTION FOUND: 177214325 @ 1161.31
c NEW SOLUTION FOUND: 177181557 @ 1161.42
c NEW SOLUTION FOUND: 177148789 @ 1161.54
c NEW SOLUTION FOUND: 177116021 @ 1161.65
c NEW SOLUTION FOUND: 177083253 @ 1161.77
c NEW SOLUTION FOUND: 177050485 @ 1161.88
c NEW SOLUTION FOUND: 177017717 @ 1161.99
c NEW SOLUTION FOUND: 176984949 @ 1162.11
c NEW SOLUTION FOUND: 176952181 @ 1162.22
c NEW SOLUTION FOUND: 176886645 @ 1162.34
c NEW SOLUTION FOUND: 176821109 @ 1162.45
c NEW SOLUTION FOUND: 176755573 @ 1162.57
c NEW SOLUTION FOUND: 176690037 @ 1162.68
c NEW SOLUTION FOUND: 176624501 @ 1162.8
c NEW SOLUTION FOUND: 176558965 @ 1162.91
c NEW SOLUTION FOUND: 176493429 @ 1163.03
c NEW SOLUTION FOUND: 176427893 @ 1163.14
c NEW SOLUTION FOUND: 176362357 @ 1163.26
c NEW SOLUTION FOUND: 176296821 @ 1163.37
c NEW SOLUTION FOUND: 176231285 @ 1163.49
c NEW SOLUTION FOUND: 176165749 @ 1163.6
c NEW SOLUTION FOUND: 176100213 @ 1163.71
c NEW SOLUTION FOUND: 176034677 @ 1163.83
c NEW SOLUTION FOUND: 175969141 @ 1163.94
c NEW SOLUTION FOUND: 175903605 @ 1164.06
c NEW SOLUTION FOUND: 175838069 @ 1164.17
c NEW SOLUTION FOUND: 175772533 @ 1164.29
c NEW SOLUTION FOUND: 175706997 @ 1164.4
c NEW SOLUTION FOUND: 175641461 @ 1164.52
c NEW SOLUTION FOUND: 175575925 @ 1164.63
c NEW SOLUTION FOUND: 175510389 @ 1164.74
c NEW SOLUTION FOUND: 175444853 @ 1164.86
c NEW SOLUTION FOUND: 175379317 @ 1164.97
c NEW SOLUTION FOUND: 175313781 @ 1165.09
c NEW SOLUTION FOUND: 175248245 @ 1165.2
c NEW SOLUTION FOUND: 175182709 @ 1165.32
c NEW SOLUTION FOUND: 175117173 @ 1165.43
c NEW SOLUTION FOUND: 175051637 @ 1165.55
c NEW SOLUTION FOUND: 174986101 @ 1165.66
c NEW SOLUTION FOUND: 174920565 @ 1165.77
c NEW SOLUTION FOUND: 174855029 @ 1165.89
c NEW SOLUTION FOUND: 174789493 @ 1166
c NEW SOLUTION FOUND: 174723957 @ 1166.12
c NEW SOLUTION FOUND: 174658421 @ 1166.23
c NEW SOLUTION FOUND: 174592885 @ 1166.34
c NEW SOLUTION FOUND: 174527349 @ 1166.46
c NEW SOLUTION FOUND: 174461813 @ 1166.57
c NEW SOLUTION FOUND: 174396277 @ 1166.68
c NEW SOLUTION FOUND: 174330741 @ 1166.8
c NEW SOLUTION FOUND: 174265205 @ 1166.91
c NEW SOLUTION FOUND: 174199669 @ 1167.03
c NEW SOLUTION FOUND: 174134133 @ 1167.14
c NEW SOLUTION FOUND: 174068597 @ 1167.26
c NEW SOLUTION FOUND: 174003061 @ 1167.37
c NEW SOLUTION FOUND: 173937525 @ 1167.48
c NEW SOLUTION FOUND: 173871989 @ 1167.6
c NEW SOLUTION FOUND: 173806453 @ 1167.71
c NEW SOLUTION FOUND: 173740917 @ 1167.83
c NEW SOLUTION FOUND: 173675381 @ 1167.94
c NEW SOLUTION FOUND: 173609845 @ 1168.06
c NEW SOLUTION FOUND: 173544309 @ 1168.17
c NEW SOLUTION FOUND: 173478773 @ 1168.28
c NEW SOLUTION FOUND: 173413237 @ 1168.39
c NEW SOLUTION FOUND: 173347701 @ 1168.51
c NEW SOLUTION FOUND: 173282165 @ 1168.62
c NEW SOLUTION FOUND: 173216629 @ 1168.73
c NEW SOLUTION FOUND: 173151093 @ 1168.85
c NEW SOLUTION FOUND: 173085557 @ 1168.96
c NEW SOLUTION FOUND: 173020021 @ 1169.08
c NEW SOLUTION FOUND: 172954485 @ 1169.19
c NEW SOLUTION FOUND: 172888949 @ 1169.3
c NEW SOLUTION FOUND: 172823413 @ 1169.42
c NEW SOLUTION FOUND: 172757877 @ 1169.53
c NEW SOLUTION FOUND: 172692341 @ 1169.64
c NEW SOLUTION FOUND: 172626805 @ 1169.76
c NEW SOLUTION FOUND: 172561269 @ 1169.87
c NEW SOLUTION FOUND: 172495733 @ 1169.98
c NEW SOLUTION FOUND: 172430197 @ 1170.1
c NEW SOLUTION FOUND: 172364661 @ 1170.21
c NEW SOLUTION FOUND: 172299125 @ 1170.32
c NEW SOLUTION FOUND: 172233589 @ 1170.43
c NEW SOLUTION FOUND: 172168053 @ 1170.55
c NEW SOLUTION FOUND: 172102517 @ 1170.66
c NEW SOLUTION FOUND: 172036981 @ 1170.77
c NEW SOLUTION FOUND: 171971445 @ 1170.89
c NEW SOLUTION FOUND: 171905909 @ 1171
c NEW SOLUTION FOUND: 171840373 @ 1171.11
c NEW SOLUTION FOUND: 171774837 @ 1171.23
c NEW SOLUTION FOUND: 171709301 @ 1171.34
c NEW SOLUTION FOUND: 171643765 @ 1171.45
c NEW SOLUTION FOUND: 171578229 @ 1171.56
c NEW SOLUTION FOUND: 171512693 @ 1171.68
c NEW SOLUTION FOUND: 171447157 @ 1171.79
c NEW SOLUTION FOUND: 171381621 @ 1171.9
c NEW SOLUTION FOUND: 171316085 @ 1172.01
c NEW SOLUTION FOUND: 171250549 @ 1172.13
c NEW SOLUTION FOUND: 171185013 @ 1172.24
c NEW SOLUTION FOUND: 171119477 @ 1172.35
c NEW SOLUTION FOUND: 171053941 @ 1172.47
c NEW SOLUTION FOUND: 170988405 @ 1172.58
c NEW SOLUTION FOUND: 170922869 @ 1172.69
c NEW SOLUTION FOUND: 170857333 @ 1172.8
c NEW SOLUTION FOUND: 170791797 @ 1172.91
c NEW SOLUTION FOUND: 170726261 @ 1173.03
c NEW SOLUTION FOUND: 170660725 @ 1173.14
c NEW SOLUTION FOUND: 170595189 @ 1173.25
c NEW SOLUTION FOUND: 170529653 @ 1173.37
c NEW SOLUTION FOUND: 170464117 @ 1173.48
c NEW SOLUTION FOUND: 170398581 @ 1173.59
c NEW SOLUTION FOUND: 170333045 @ 1173.7
c NEW SOLUTION FOUND: 170267509 @ 1173.81
c NEW SOLUTION FOUND: 170201973 @ 1173.92
c NEW SOLUTION FOUND: 170136437 @ 1174.04
c NEW SOLUTION FOUND: 170070901 @ 1174.15
c NEW SOLUTION FOUND: 170005365 @ 1174.26
c NEW SOLUTION FOUND: 169939829 @ 1174.37
c NEW SOLUTION FOUND: 169874293 @ 1174.48
c NEW SOLUTION FOUND: 169808757 @ 1174.59
c NEW SOLUTION FOUND: 169743221 @ 1174.71
c NEW SOLUTION FOUND: 169677685 @ 1174.82
c NEW SOLUTION FOUND: 169612149 @ 1174.93
c NEW SOLUTION FOUND: 169546613 @ 1175.04
c NEW SOLUTION FOUND: 169481077 @ 1175.15
c NEW SOLUTION FOUND: 169415541 @ 1175.27
c NEW SOLUTION FOUND: 169350005 @ 1175.38
c NEW SOLUTION FOUND: 169284469 @ 1175.49
c NEW SOLUTION FOUND: 169218933 @ 1175.6
c NEW SOLUTION FOUND: 169153397 @ 1175.71
c NEW SOLUTION FOUND: 169087861 @ 1175.82
c NEW SOLUTION FOUND: 169022325 @ 1175.93
c NEW SOLUTION FOUND: 168956789 @ 1176.05
c NEW SOLUTION FOUND: 168891253 @ 1176.16
c NEW SOLUTION FOUND: 168825717 @ 1176.27
c NEW SOLUTION FOUND: 168760181 @ 1176.38
c NEW SOLUTION FOUND: 168694645 @ 1176.49
c NEW SOLUTION FOUND: 168629109 @ 1176.6
c NEW SOLUTION FOUND: 168563573 @ 1176.71
c NEW SOLUTION FOUND: 168498037 @ 1176.83
c NEW SOLUTION FOUND: 168432501 @ 1176.94
c NEW SOLUTION FOUND: 168366965 @ 1177.05
c NEW SOLUTION FOUND: 168301429 @ 1177.16
c NEW SOLUTION FOUND: 168235893 @ 1177.27
c NEW SOLUTION FOUND: 168170357 @ 1177.38
c NEW SOLUTION FOUND: 168104821 @ 1177.49
c NEW SOLUTION FOUND: 168039285 @ 1177.61
c NEW SOLUTION FOUND: 167973749 @ 1177.72
c NEW SOLUTION FOUND: 167908213 @ 1177.83
c NEW SOLUTION FOUND: 167842677 @ 1177.94
c NEW SOLUTION FOUND: 167777141 @ 1178.05
c NEW SOLUTION FOUND: 167711605 @ 1178.16
c NEW SOLUTION FOUND: 167646069 @ 1178.28
c NEW SOLUTION FOUND: 167580533 @ 1178.39
c NEW SOLUTION FOUND: 167514997 @ 1178.5
c NEW SOLUTION FOUND: 167449461 @ 1178.61
c NEW SOLUTION FOUND: 167383925 @ 1178.72
c NEW SOLUTION FOUND: 167318389 @ 1178.83
c NEW SOLUTION FOUND: 167252853 @ 1178.94
c NEW SOLUTION FOUND: 167187317 @ 1179.05
c NEW SOLUTION FOUND: 167121781 @ 1179.16
c NEW SOLUTION FOUND: 167056245 @ 1179.28
c NEW SOLUTION FOUND: 166990709 @ 1179.39
c NEW SOLUTION FOUND: 166925173 @ 1179.5
c NEW SOLUTION FOUND: 166859637 @ 1179.61
c NEW SOLUTION FOUND: 166794101 @ 1179.72
c NEW SOLUTION FOUND: 166728565 @ 1179.83
c NEW SOLUTION FOUND: 166663029 @ 1179.94
c NEW SOLUTION FOUND: 166597493 @ 1180.05
c NEW SOLUTION FOUND: 166531957 @ 1180.16
c NEW SOLUTION FOUND: 166466421 @ 1180.27
c NEW SOLUTION FOUND: 166400885 @ 1180.38
c NEW SOLUTION FOUND: 166335349 @ 1180.49
c NEW SOLUTION FOUND: 166269813 @ 1180.6
c NEW SOLUTION FOUND: 166204277 @ 1180.71
c NEW SOLUTION FOUND: 166138741 @ 1180.82
c NEW SOLUTION FOUND: 166073205 @ 1180.93
c NEW SOLUTION FOUND: 166007669 @ 1181.04
c NEW SOLUTION FOUND: 165942133 @ 1181.15
c NEW SOLUTION FOUND: 165876597 @ 1181.26
c NEW SOLUTION FOUND: 165811061 @ 1181.37
c NEW SOLUTION FOUND: 165745525 @ 1181.48
c NEW SOLUTION FOUND: 165679989 @ 1181.59
c NEW SOLUTION FOUND: 165614453 @ 1181.7
c NEW SOLUTION FOUND: 165548917 @ 1181.81
c NEW SOLUTION FOUND: 165483381 @ 1181.92
c NEW SOLUTION FOUND: 165417845 @ 1182.03
c NEW SOLUTION FOUND: 165352309 @ 1182.14
c NEW SOLUTION FOUND: 165286773 @ 1182.25
c NEW SOLUTION FOUND: 165221237 @ 1182.36
c NEW SOLUTION FOUND: 165155701 @ 1182.47
c NEW SOLUTION FOUND: 165024629 @ 1182.58
c NEW SOLUTION FOUND: 164893557 @ 1182.69
c NEW SOLUTION FOUND: 164762485 @ 1182.8
c NEW SOLUTION FOUND: 164631413 @ 1182.91
c NEW SOLUTION FOUND: 164500341 @ 1183.02
c NEW SOLUTION FOUND: 164369269 @ 1183.13
c NEW SOLUTION FOUND: 164238197 @ 1183.24
c NEW SOLUTION FOUND: 164107125 @ 1183.35
c NEW SOLUTION FOUND: 163976053 @ 1183.46
c NEW SOLUTION FOUND: 163844981 @ 1183.57
c NEW SOLUTION FOUND: 163713909 @ 1183.68
c NEW SOLUTION FOUND: 163582837 @ 1183.79
c NEW SOLUTION FOUND: 163451765 @ 1183.9
c NEW SOLUTION FOUND: 163320693 @ 1184.01
c NEW SOLUTION FOUND: 163189621 @ 1184.12
c NEW SOLUTION FOUND: 163058549 @ 1184.23
c NEW SOLUTION FOUND: 162927477 @ 1184.34
c NEW SOLUTION FOUND: 162796405 @ 1184.44
c NEW SOLUTION FOUND: 162665333 @ 1184.55
c NEW SOLUTION FOUND: 162534261 @ 1184.66
c NEW SOLUTION FOUND: 162403189 @ 1184.77
c NEW SOLUTION FOUND: 162272117 @ 1184.88
c NEW SOLUTION FOUND: 162141045 @ 1184.99
c NEW SOLUTION FOUND: 162009973 @ 1185.1
c NEW SOLUTION FOUND: 161878901 @ 1185.21
c NEW SOLUTION FOUND: 161747829 @ 1185.32
c NEW SOLUTION FOUND: 161616757 @ 1185.43
c NEW SOLUTION FOUND: 161485685 @ 1185.54
c NEW SOLUTION FOUND: 161354613 @ 1185.65
c NEW SOLUTION FOUND: 161223541 @ 1185.76
c NEW SOLUTION FOUND: 161092469 @ 1185.86
c NEW SOLUTION FOUND: 160961397 @ 1185.97
c NEW SOLUTION FOUND: 160830325 @ 1186.08
c NEW SOLUTION FOUND: 160699253 @ 1186.19
c NEW SOLUTION FOUND: 160568181 @ 1186.3
c NEW SOLUTION FOUND: 160437109 @ 1186.41
c NEW SOLUTION FOUND: 160306037 @ 1186.52
c NEW SOLUTION FOUND: 160174965 @ 1186.63
c NEW SOLUTION FOUND: 160043893 @ 1186.73
c NEW SOLUTION FOUND: 159912821 @ 1186.84
c NEW SOLUTION FOUND: 159781749 @ 1186.95
c NEW SOLUTION FOUND: 159650677 @ 1187.06
c NEW SOLUTION FOUND: 159519605 @ 1187.17
c NEW SOLUTION FOUND: 159388533 @ 1187.28
c NEW SOLUTION FOUND: 159257461 @ 1187.39
c NEW SOLUTION FOUND: 159126389 @ 1187.5
c NEW SOLUTION FOUND: 158995317 @ 1187.6
c NEW SOLUTION FOUND: 158864245 @ 1187.71
c NEW SOLUTION FOUND: 158733173 @ 1187.82
c NEW SOLUTION FOUND: 158602101 @ 1187.93
c NEW SOLUTION FOUND: 158471029 @ 1188.04
c NEW SOLUTION FOUND: 158339957 @ 1188.15
c NEW SOLUTION FOUND: 158208885 @ 1188.26
c NEW SOLUTION FOUND: 158077813 @ 1188.36
c NEW SOLUTION FOUND: 157946741 @ 1188.47
c NEW SOLUTION FOUND: 157815669 @ 1188.58
c NEW SOLUTION FOUND: 157684597 @ 1188.69
c NEW SOLUTION FOUND: 157553525 @ 1188.8
c NEW SOLUTION FOUND: 157422453 @ 1188.91
c NEW SOLUTION FOUND: 157291381 @ 1189.02
c NEW SOLUTION FOUND: 157160309 @ 1189.12
c NEW SOLUTION FOUND: 157029237 @ 1189.23
c NEW SOLUTION FOUND: 156898165 @ 1189.34
c NEW SOLUTION FOUND: 156767093 @ 1189.45
c NEW SOLUTION FOUND: 156636021 @ 1189.56
c NEW SOLUTION FOUND: 156504949 @ 1189.66
c NEW SOLUTION FOUND: 156373877 @ 1189.77
c NEW SOLUTION FOUND: 156242805 @ 1189.88
c NEW SOLUTION FOUND: 156111733 @ 1189.99
c NEW SOLUTION FOUND: 155980661 @ 1190.1
c NEW SOLUTION FOUND: 155849589 @ 1190.21
c NEW SOLUTION FOUND: 155718517 @ 1190.32
c NEW SOLUTION FOUND: 155587445 @ 1190.42
c NEW SOLUTION FOUND: 155456373 @ 1190.53
c NEW SOLUTION FOUND: 155325301 @ 1190.64
c NEW SOLUTION FOUND: 155194229 @ 1190.75
c NEW SOLUTION FOUND: 155063157 @ 1190.86
c NEW SOLUTION FOUND: 154932085 @ 1190.96
c NEW SOLUTION FOUND: 154801013 @ 1191.07
c NEW SOLUTION FOUND: 154669941 @ 1191.18
c NEW SOLUTION FOUND: 154538869 @ 1191.29
c NEW SOLUTION FOUND: 154407797 @ 1191.4
c NEW SOLUTION FOUND: 154276725 @ 1191.51
c NEW SOLUTION FOUND: 154145653 @ 1191.62
c NEW SOLUTION FOUND: 154014581 @ 1191.72
c NEW SOLUTION FOUND: 153883509 @ 1191.83
c NEW SOLUTION FOUND: 153752437 @ 1191.94
c NEW SOLUTION FOUND: 153621365 @ 1192.05
c NEW SOLUTION FOUND: 153490293 @ 1192.15
c NEW SOLUTION FOUND: 153359221 @ 1192.26
c NEW SOLUTION FOUND: 153228149 @ 1192.37
c NEW SOLUTION FOUND: 153097077 @ 1192.48
c NEW SOLUTION FOUND: 152966005 @ 1192.59
c NEW SOLUTION FOUND: 152834933 @ 1192.69
c NEW SOLUTION FOUND: 152703861 @ 1192.8
c NEW SOLUTION FOUND: 152572789 @ 1192.91
c NEW SOLUTION FOUND: 152441717 @ 1193.02
c NEW SOLUTION FOUND: 152310645 @ 1193.12
c NEW SOLUTION FOUND: 152179573 @ 1193.23
c NEW SOLUTION FOUND: 152048501 @ 1193.34
c NEW SOLUTION FOUND: 151917429 @ 1193.44
c NEW SOLUTION FOUND: 151786357 @ 1193.55
c NEW SOLUTION FOUND: 151655285 @ 1193.66
c NEW SOLUTION FOUND: 151524213 @ 1193.77
c NEW SOLUTION FOUND: 151393141 @ 1193.88
c NEW SOLUTION FOUND: 151262069 @ 1193.98
c NEW SOLUTION FOUND: 151130997 @ 1194.09
c NEW SOLUTION FOUND: 150999925 @ 1194.19
c NEW SOLUTION FOUND: 150868853 @ 1194.3
c NEW SOLUTION FOUND: 150737781 @ 1194.41
c NEW SOLUTION FOUND: 150606709 @ 1194.52
c NEW SOLUTION FOUND: 150475637 @ 1194.62
c NEW SOLUTION FOUND: 150344565 @ 1194.73
c NEW SOLUTION FOUND: 150213493 @ 1194.84
c NEW SOLUTION FOUND: 150082421 @ 1194.94
c NEW SOLUTION FOUND: 149951349 @ 1195.05
c NEW SOLUTION FOUND: 149820277 @ 1195.16
c NEW SOLUTION FOUND: 149689205 @ 1195.26
c NEW SOLUTION FOUND: 149558133 @ 1195.37
c NEW SOLUTION FOUND: 149427061 @ 1195.48
c NEW SOLUTION FOUND: 149295989 @ 1195.58
c NEW SOLUTION FOUND: 149164917 @ 1195.69
c NEW SOLUTION FOUND: 149033845 @ 1195.8
c NEW SOLUTION FOUND: 148902773 @ 1195.91
c NEW SOLUTION FOUND: 148771701 @ 1196.01
c NEW SOLUTION FOUND: 148640629 @ 1196.12
c NEW SOLUTION FOUND: 148509557 @ 1196.23
c NEW SOLUTION FOUND: 148378485 @ 1196.33
c NEW SOLUTION FOUND: 148247413 @ 1196.44
c NEW SOLUTION FOUND: 148116341 @ 1196.54
c NEW SOLUTION FOUND: 147985269 @ 1196.65
c NEW SOLUTION FOUND: 147854197 @ 1196.76
c NEW SOLUTION FOUND: 147723125 @ 1196.86
c NEW SOLUTION FOUND: 147592053 @ 1196.97
c NEW SOLUTION FOUND: 147460981 @ 1197.08
c NEW SOLUTION FOUND: 147329909 @ 1197.18
c NEW SOLUTION FOUND: 147198837 @ 1197.29
c NEW SOLUTION FOUND: 147067765 @ 1197.4
c NEW SOLUTION FOUND: 146936693 @ 1197.5
c NEW SOLUTION FOUND: 146805621 @ 1197.61
c NEW SOLUTION FOUND: 146674549 @ 1197.71
c NEW SOLUTION FOUND: 146543477 @ 1197.82
c NEW SOLUTION FOUND: 146412405 @ 1197.92
c NEW SOLUTION FOUND: 146281333 @ 1198.03
c NEW SOLUTION FOUND: 146150261 @ 1198.14
c NEW SOLUTION FOUND: 146019189 @ 1198.24
c NEW SOLUTION FOUND: 145888117 @ 1198.35
c NEW SOLUTION FOUND: 145757045 @ 1198.45
c NEW SOLUTION FOUND: 145625973 @ 1198.56
c NEW SOLUTION FOUND: 145494901 @ 1198.66
c NEW SOLUTION FOUND: 145363829 @ 1198.77
c NEW SOLUTION FOUND: 145232757 @ 1198.88
c NEW SOLUTION FOUND: 145101685 @ 1198.98
c NEW SOLUTION FOUND: 144970613 @ 1199.09
c NEW SOLUTION FOUND: 144839541 @ 1199.19
c NEW SOLUTION FOUND: 144708469 @ 1199.3
c NEW SOLUTION FOUND: 144577397 @ 1199.41
c NEW SOLUTION FOUND: 144446325 @ 1199.51
c NEW SOLUTION FOUND: 144315253 @ 1199.62
c NEW SOLUTION FOUND: 144184181 @ 1199.72
c NEW SOLUTION FOUND: 144053109 @ 1199.83
c NEW SOLUTION FOUND: 143922037 @ 1199.93
c NEW SOLUTION FOUND: 143790965 @ 1200.04
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.97 0.91 2/54 19616
Raw data (stat): 19616 (runsolver) R 19615 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912655852 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 17231 0 0 0 957 41 0 0 25 0 1 0 912655852 59043840 13519 4294967295 134512640 134716908 3221224560 3221223024 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14415 13519 1111 63 0 14352 0
vsize: 57660
[startup+20.001 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 1947 51 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+30.0013 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 2947 51 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223212 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 3947 51 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 4947 51 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 5946 52 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+70.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21396 0 0 0 6946 52 0 0 25 0 1 0 912655852 68153344 15755 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15755 1111 63 0 16576 0
vsize: 66556
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 21418 0 0 0 7946 53 0 0 25 0 1 0 912655852 68153344 15777 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15777 1111 63 0 16576 0
vsize: 66556
[startup+90.0051 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22485 0 0 0 8943 55 0 0 25 0 1 0 912655852 70266880 16285 4294967295 134512640 134716908 3221224560 3221220508 1074873514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16285 1111 63 0 17092 0
vsize: 68620
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22489 0 0 0 9943 56 0 0 25 0 1 0 912655852 70266880 16289 4294967295 134512640 134716908 3221224560 3221220424 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16289 1111 63 0 17092 0
vsize: 68620
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22549 0 0 0 10943 56 0 0 25 0 1 0 912655852 70512640 16349 4294967295 134512640 134716908 3221224560 3221220508 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 16349 1111 63 0 17152 0
vsize: 68860
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22570 0 0 0 11943 57 0 0 25 0 1 0 912655852 70512640 16360 4294967295 134512640 134716908 3221224560 3221220832 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 16360 1111 63 0 17152 0
vsize: 68860
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22962 0 0 0 12941 59 0 0 25 0 1 0 912655852 68759552 16070 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16787 16070 1111 63 0 16724 0
vsize: 67148
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22964 0 0 0 13940 60 0 0 25 0 1 0 912655852 68759552 16072 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16787 16072 1111 63 0 16724 0
vsize: 67148
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22964 0 0 0 14939 61 0 0 25 0 1 0 912655852 68759552 16072 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16787 16072 1111 63 0 16724 0
vsize: 67148
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 22964 0 0 0 15938 61 0 0 25 0 1 0 912655852 68759552 16072 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16787 16072 1111 63 0 16724 0
vsize: 67148
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 23748 0 0 0 16936 64 0 0 25 0 1 0 912655852 72003584 16856 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17579 16856 1111 63 0 17516 0
vsize: 70316
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 24414 0 0 0 17932 68 0 0 25 0 1 0 912655852 74706944 17522 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18239 17522 1111 63 0 18176 0
vsize: 72956
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 25076 0 0 0 18930 71 0 0 25 0 1 0 912655852 77410304 18184 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18899 18184 1111 63 0 18836 0
vsize: 75596
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 25742 0 0 0 19928 73 0 0 25 0 1 0 912655852 80252928 18849 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19593 18849 1111 63 0 19530 0
vsize: 78372
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 26416 0 0 0 20925 76 0 0 25 0 1 0 912655852 82956288 19523 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20253 19523 1111 63 0 20190 0
vsize: 81012
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 27002 0 0 0 21922 79 0 0 25 0 1 0 912655852 85397504 20108 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20849 20108 1111 63 0 20786 0
vsize: 83396
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 27593 0 0 0 22921 80 0 0 25 0 1 0 912655852 87830528 20699 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21443 20699 1111 63 0 21380 0
vsize: 85772
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 28134 0 0 0 23918 83 0 0 25 0 1 0 912655852 89997312 21238 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21972 21238 1111 63 0 21909 0
vsize: 87888
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 28729 0 0 0 24915 86 0 0 25 0 1 0 912655852 92577792 21829 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22602 21829 1111 63 0 22539 0
vsize: 90408
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 29311 0 0 0 25913 89 0 0 25 0 1 0 912655852 94875648 22410 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23163 22410 1111 63 0 23100 0
vsize: 92652
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 29883 0 0 0 26910 91 0 0 25 0 1 0 912655852 97308672 22982 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23757 22982 1111 63 0 23694 0
vsize: 95028
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 30454 0 0 0 27908 93 0 0 25 0 1 0 912655852 99684352 23549 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24337 23549 1111 63 0 24274 0
vsize: 97348
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 31020 0 0 0 28907 95 0 0 25 0 1 0 912655852 101982208 24115 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24898 24115 1111 63 0 24835 0
vsize: 99592
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 31610 0 0 0 29904 98 0 0 25 0 1 0 912655852 104415232 24705 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25492 24705 1111 63 0 25429 0
vsize: 101968
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 32241 0 0 0 30901 101 0 0 25 0 1 0 912655852 107020288 25334 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26128 25334 1111 63 0 26065 0
vsize: 104512
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 32796 0 0 0 31898 104 0 0 25 0 1 0 912655852 109318144 25888 4294967295 134512640 134716908 3221224560 3221223320 134613531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 25888 1111 63 0 26626 0
vsize: 106756
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 33309 0 0 0 32896 107 0 0 25 0 1 0 912655852 111382528 26399 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27193 26399 1111 63 0 27130 0
vsize: 108772
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 33714 0 0 0 33895 108 0 0 25 0 1 0 912655852 113139712 26804 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27622 26804 1111 63 0 27559 0
vsize: 110488
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 34154 0 0 0 34894 109 0 0 25 0 1 0 912655852 114925568 27240 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28058 27240 1111 63 0 27995 0
vsize: 112232
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 34573 0 0 0 35892 111 0 0 25 0 1 0 912655852 116682752 27659 4294967295 134512640 134716908 3221224560 3221223300 134594993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28487 27659 1111 63 0 28424 0
vsize: 113948
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 34984 0 0 0 36890 113 0 0 25 0 1 0 912655852 118304768 28070 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28883 28070 1111 63 0 28820 0
vsize: 115532
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 35382 0 0 0 37888 115 0 0 25 0 1 0 912655852 119926784 28468 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29279 28468 1111 63 0 29216 0
vsize: 117116
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 35805 0 0 0 38886 117 0 0 25 0 1 0 912655852 121683968 28891 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29708 28891 1111 63 0 29645 0
vsize: 118832
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 36295 0 0 0 39884 119 0 0 25 0 1 0 912655852 123707392 29367 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30202 29367 1111 63 0 30139 0
vsize: 120808
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 36645 0 0 0 40883 121 0 0 25 0 1 0 912655852 125194240 29716 4294967295 134512640 134716908 3221224560 3221223164 134536842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30565 29716 1111 63 0 30502 0
vsize: 122260
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 36972 0 0 0 41881 122 0 0 25 0 1 0 912655852 126545920 30043 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30895 30043 1111 63 0 30832 0
vsize: 123580
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 37276 0 0 0 42880 124 0 0 25 0 1 0 912655852 127766528 30343 4294967295 134512640 134716908 3221224560 3221223164 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31193 30343 1111 63 0 31130 0
vsize: 124772
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 37551 0 0 0 43878 126 0 0 25 0 1 0 912655852 128847872 30618 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31457 30618 1111 63 0 31394 0
vsize: 125828
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 37835 0 0 0 44878 126 0 0 25 0 1 0 912655852 130064384 30902 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31754 30902 1111 63 0 31691 0
vsize: 127016
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 38120 0 0 0 45876 128 0 0 25 0 1 0 912655852 131145728 31187 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 31187 1111 63 0 31955 0
vsize: 128072
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 38390 0 0 0 46875 129 0 0 25 0 1 0 912655852 132362240 31457 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32315 31457 1111 63 0 32252 0
vsize: 129260
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 38656 0 0 0 47874 130 0 0 25 0 1 0 912655852 133447680 31723 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32580 31723 1111 63 0 32517 0
vsize: 130320
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 38959 0 0 0 48872 132 0 0 25 0 1 0 912655852 134664192 32026 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32877 32026 1111 63 0 32814 0
vsize: 131508
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 39233 0 0 0 49871 134 0 0 25 0 1 0 912655852 135745536 32300 4294967295 134512640 134716908 3221224560 3221223336 134597629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33141 32300 1111 63 0 33078 0
vsize: 132564
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 39552 0 0 0 50869 136 0 0 25 0 1 0 912655852 137162752 32610 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33487 32610 1111 63 0 33424 0
vsize: 133948
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 39903 0 0 0 51866 138 0 0 25 0 1 0 912655852 138514432 32961 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33817 32961 1111 63 0 33754 0
vsize: 135268
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 40191 0 0 0 52864 141 0 0 25 0 1 0 912655852 139730944 33249 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34114 33249 1111 63 0 34051 0
vsize: 136456
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 40764 0 0 0 53862 143 0 0 25 0 1 0 912655852 142061568 33821 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34683 33821 1111 63 0 34620 0
vsize: 138732
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 41548 0 0 0 54858 147 0 0 25 0 1 0 912655852 145305600 34605 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35475 34605 1111 63 0 35412 0
vsize: 141900
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 42239 0 0 0 55855 150 0 0 25 0 1 0 912655852 148144128 35296 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36168 35296 1111 63 0 36105 0
vsize: 144672
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43046 0 0 0 56852 153 0 0 25 0 1 0 912655852 151523328 36103 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36993 36103 1111 63 0 36930 0
vsize: 147972
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43845 0 0 0 57850 156 0 0 25 0 1 0 912655852 154841088 36898 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37803 36898 1111 63 0 37740 0
vsize: 151212
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43876 0 0 0 58848 157 0 0 25 0 1 0 912655852 154841088 36929 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37803 36929 1111 63 0 37740 0
vsize: 151212
[startup+600.025 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43877 0 0 0 59847 158 0 0 25 0 1 0 912655852 154841088 36930 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37803 36930 1111 63 0 37740 0
vsize: 151212
[startup+610.025 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43884 0 0 0 60845 160 0 0 25 0 1 0 912655852 154841088 36937 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37803 36937 1111 63 0 37740 0
vsize: 151212
[startup+620.026 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 43940 0 0 0 61845 161 0 0 25 0 1 0 912655852 155176960 36989 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37885 36989 1111 63 0 37822 0
vsize: 151540
[startup+630.026 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44014 0 0 0 62844 162 0 0 25 0 1 0 912655852 155475968 37061 4294967295 134512640 134716908 3221224560 3221223296 134523927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37958 37061 1111 63 0 37895 0
vsize: 151832
[startup+640.027 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44071 0 0 0 63843 162 0 0 25 0 1 0 912655852 155746304 37117 4294967295 134512640 134716908 3221224560 3221223236 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38024 37117 1111 63 0 37961 0
vsize: 152096
[startup+650.027 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44112 0 0 0 64843 163 0 0 25 0 1 0 912655852 155881472 37158 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38057 37158 1111 63 0 37994 0
vsize: 152228
[startup+660.028 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44141 0 0 0 65842 164 0 0 25 0 1 0 912655852 156016640 37187 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38090 37187 1111 63 0 38027 0
vsize: 152360
[startup+670.029 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44166 0 0 0 66841 165 0 0 25 0 1 0 912655852 156147712 37212 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38122 37212 1111 63 0 38059 0
vsize: 152488
[startup+680.029 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44215 0 0 0 67841 165 0 0 25 0 1 0 912655852 156413952 37261 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38187 37261 1111 63 0 38124 0
vsize: 152748
[startup+690.03 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44248 0 0 0 68840 166 0 0 25 0 1 0 912655852 156549120 37294 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38220 37294 1111 63 0 38157 0
vsize: 152880
[startup+700.031 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44311 0 0 0 69839 167 0 0 25 0 1 0 912655852 156684288 37357 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38253 37357 1111 63 0 38190 0
vsize: 153012
[startup+710.032 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44371 0 0 0 70838 168 0 0 25 0 1 0 912655852 156954624 37417 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38319 37417 1111 63 0 38256 0
vsize: 153276
[startup+720.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44427 0 0 0 71837 169 0 0 25 0 1 0 912655852 157216768 37473 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38383 37473 1111 63 0 38320 0
vsize: 153532
[startup+730.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44494 0 0 0 72835 171 0 0 25 0 1 0 912655852 157487104 37540 4294967295 134512640 134716908 3221224560 3221223320 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38449 37540 1111 63 0 38386 0
vsize: 153796
[startup+740.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 44585 0 0 0 73835 171 0 0 25 0 1 0 912655852 157892608 37631 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38548 37631 1111 63 0 38485 0
vsize: 154192
[startup+750.033 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 45641 0 0 0 74831 175 0 0 25 0 1 0 912655852 160727040 38248 4294967295 134512640 134716908 3221224560 3221223136 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38248 1111 63 0 39177 0
vsize: 156960
[startup+760.034 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 46347 0 0 0 75827 179 0 0 25 0 1 0 912655852 160727040 38248 4294967295 134512640 134716908 3221224560 3221223192 1073987057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38248 1111 63 0 39177 0
vsize: 156960
[startup+770.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 47183 0 0 0 76821 184 0 0 25 0 1 0 912655852 160727040 38248 4294967295 134512640 134716908 3221224560 3221223136 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38248 1111 63 0 39177 0
vsize: 156960
[startup+780.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 48184 0 0 0 77817 188 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+790.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 49138 0 0 0 78813 193 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+800.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 50184 0 0 0 79808 197 0 0 25 0 1 0 912655852 160845824 38252 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39269 38252 1111 63 0 39206 0
vsize: 157076
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 51342 0 0 0 80803 203 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 52817 0 0 0 81798 208 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223008 1073990180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 54500 0 0 0 82793 213 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223264 134603815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 56457 0 0 0 83785 221 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 58803 0 0 0 84778 229 0 0 25 0 1 0 912655852 160964608 38277 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39298 38277 1111 63 0 39235 0
vsize: 157192
[startup+860.038 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 61757 0 0 0 85768 238 0 0 25 0 1 0 912655852 160993280 38286 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39305 38286 1111 63 0 39242 0
vsize: 157220
[startup+870.039 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 65078 0 0 0 86756 250 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+880.039 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 68723 0 0 0 87745 261 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221222960 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+890.04 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 72636 0 0 0 88735 272 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223216 134524415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+900.04 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 76943 0 0 0 89723 283 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+910.04 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 81801 0 0 0 90710 296 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+920.041 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 87564 0 0 0 91696 311 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223304 134654951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+930.041 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 93590 0 0 0 92679 327 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+940.042 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 99831 0 0 0 93665 342 0 0 25 0 1 0 912655852 161128448 38253 4294967295 134512640 134716908 3221224560 3221222624 1075961606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39338 38253 1111 63 0 39275 0
vsize: 157352
[startup+950.042 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 105934 0 0 0 94649 358 0 0 25 0 1 0 912655852 160874496 38256 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39276 38256 1111 63 0 39213 0
vsize: 157104
[startup+960.043 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 112663 0 0 0 95632 374 0 0 25 0 1 0 912655852 160780288 38255 4294967295 134512640 134716908 3221224560 3221223008 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39253 38255 1111 63 0 39190 0
vsize: 157012
[startup+970.043 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 120092 0 0 0 96614 393 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223152 134613458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+980.043 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 128444 0 0 0 97595 412 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221222824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+990.044 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 137812 0 0 0 98574 433 0 0 25 0 1 0 912655852 160817152 38271 4294967295 134512640 134716908 3221224560 3221222288 1075635436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39262 38271 1111 63 0 39199 0
vsize: 157048
[startup+1000.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 147928 0 0 0 99549 458 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223344 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+1010.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 159061 0 0 0 100526 482 0 0 25 0 1 0 912655852 160903168 38292 4294967295 134512640 134716908 3221224560 3221222304 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39283 38292 1111 63 0 39220 0
vsize: 157132
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 171083 0 0 0 101499 509 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223136 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 184205 0 0 0 102469 538 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223216 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 198428 0 0 0 103438 570 0 0 25 0 1 0 912655852 161382400 38381 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39400 38381 1111 63 0 39337 0
vsize: 157600
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 213814 0 0 0 104403 604 0 0 25 0 1 0 912655852 160727040 38249 4294967295 134512640 134716908 3221224560 3221223008 1074039480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38249 1111 63 0 39177 0
vsize: 156960
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 230516 0 0 0 105365 643 0 0 25 0 1 0 912655852 161017856 38320 4294967295 134512640 134716908 3221224560 3221222240 1075895028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39311 38320 1111 63 0 39248 0
vsize: 157244
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 247513 0 0 0 106326 682 0 0 25 0 1 0 912655852 160772096 38260 4294967295 134512640 134716908 3221224560 3221223080 1077379846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39251 38260 1111 63 0 39188 0
vsize: 157004
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 264730 0 0 0 107285 723 0 0 25 0 1 0 912655852 160776192 38261 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39252 38261 1111 63 0 39189 0
vsize: 157008
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 282456 0 0 0 108245 764 0 0 25 0 1 0 912655852 161533952 38344 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39437 38344 1111 63 0 39374 0
vsize: 157748
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 300429 0 0 0 109204 804 0 0 25 0 1 0 912655852 161153024 38345 4294967295 134512640 134716908 3221224560 3221222976 1074117036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39344 38345 1111 63 0 39281 0
vsize: 157376
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 318613 0 0 0 110165 843 0 0 25 0 1 0 912655852 160935936 38300 4294967295 134512640 134716908 3221224560 3221223136 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39291 38300 1111 63 0 39228 0
vsize: 157164
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 337116 0 0 0 111125 883 0 0 25 0 1 0 912655852 160976896 38310 4294967295 134512640 134716908 3221224560 3221223376 134653544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39301 38310 1111 63 0 39238 0
vsize: 157204
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 356168 0 0 0 112082 927 0 0 25 0 1 0 912655852 160940032 38301 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39292 38301 1111 63 0 39229 0
vsize: 157168
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 375667 0 0 0 113038 971 0 0 25 0 1 0 912655852 160968704 38308 4294967295 134512640 134716908 3221224560 3221222936 1073987068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39299 38308 1111 63 0 39236 0
vsize: 157196
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 395653 0 0 0 113995 1014 0 0 25 0 1 0 912655852 161071104 38333 4294967295 134512640 134716908 3221224560 3221223312 134654966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39324 38333 1111 63 0 39261 0
vsize: 157296
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 415856 0 0 0 114949 1061 0 0 25 0 1 0 912655852 161062912 38331 4294967295 134512640 134716908 3221224560 3221222856 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39322 38331 1111 63 0 39259 0
vsize: 157288
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 436809 0 0 0 115902 1108 0 0 25 0 1 0 912655852 161144832 38351 4294967295 134512640 134716908 3221224560 3221223376 134653582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39342 38351 1111 63 0 39279 0
vsize: 157368
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 457984 0 0 0 116853 1157 0 0 25 0 1 0 912655852 161140736 38350 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39341 38350 1111 63 0 39278 0
vsize: 157364
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 479870 0 0 0 117803 1206 0 0 25 0 1 0 912655852 161247232 38376 4294967295 134512640 134716908 3221224560 3221223180 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39367 38376 1111 63 0 39304 0
vsize: 157468
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) R 19615 21152 21151 0 -1 0 502088 0 0 0 118751 1258 0 0 25 0 1 0 912655852 161943552 38444 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39537 38444 1111 63 0 39474 0
vsize: 158148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 19616
Raw data (stat): 19616 (bsolo_lpr_cuts-) Z 19615 21152 21151 0 -1 1036 502088 0 0 0 118751 1265 0 0 25 0 1 0 912655852 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.18
CPU user time (s): 1187.52
CPU system time (s): 12.6581
CPU usage (%): 100.004
Max. virtual memory (Kb): 158148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####