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/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUM	773129c71f80eff294fafd0a8a5769cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	121
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.72874
Number of variables	4676
Total number of constraints	398
Number of constraints which are clauses	398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	80
Trace number 23453

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 19:03:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=560 boxname=wulflinc31 idbench=63 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  773129c71f80eff294fafd0a8a5769cd  /oldhome/oroussel/tmp/wulflinc31/normalized-bench1.pi.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-bench1.pi.opb
IDLAUNCH: 560
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917932 kB
Buffers:         40504 kB
Cached:          54024 kB
SwapCached:        944 kB
Active:          79020 kB
Inactive:        17956 kB
HighTotal:      131008 kB
HighFree:        75992 kB
LowTotal:       903652 kB
LowFree:        841940 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14200 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 19:23:17 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 560 7 1200.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4677 variables and 398 constraints.
c After prepocess the problem consists of 4677 variables and 398 constraints.
c preprocess terminated 1.484 s
c Initial Lower Bound: 120
c Lower Bound Elapsed time: 2.781
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 3523 @ 20.016
c NEW SOLUTION FOUND: 3522 @ 20.092
c NEW SOLUTION FOUND: 3521 @ 20.148
c NEW SOLUTION FOUND: 3520 @ 20.207
c NEW SOLUTION FOUND: 3519 @ 20.265
c NEW SOLUTION FOUND: 3518 @ 20.325
c NEW SOLUTION FOUND: 3517 @ 20.383
c NEW SOLUTION FOUND: 3516 @ 20.441
c NEW SOLUTION FOUND: 3515 @ 20.5
c NEW SOLUTION FOUND: 3514 @ 20.558
c NEW SOLUTION FOUND: 3513 @ 20.617
c NEW SOLUTION FOUND: 3512 @ 20.676
c NEW SOLUTION FOUND: 3511 @ 20.734
c NEW SOLUTION FOUND: 3510 @ 20.793
c NEW SOLUTION FOUND: 3509 @ 20.851
c NEW SOLUTION FOUND: 3508 @ 20.91
c NEW SOLUTION FOUND: 3507 @ 20.968
c NEW SOLUTION FOUND: 3506 @ 21.027
c NEW SOLUTION FOUND: 3505 @ 21.086
c NEW SOLUTION FOUND: 3504 @ 21.144
c NEW SOLUTION FOUND: 3503 @ 21.203
c NEW SOLUTION FOUND: 3502 @ 21.261
c NEW SOLUTION FOUND: 3501 @ 21.32
c NEW SOLUTION FOUND: 3500 @ 21.378
c NEW SOLUTION FOUND: 3499 @ 21.437
c NEW SOLUTION FOUND: 3498 @ 21.495
c NEW SOLUTION FOUND: 3497 @ 21.554
c NEW SOLUTION FOUND: 3496 @ 21.612
c NEW SOLUTION FOUND: 3495 @ 21.671
c NEW SOLUTION FOUND: 3494 @ 21.729
c NEW SOLUTION FOUND: 3493 @ 21.788
c NEW SOLUTION FOUND: 3492 @ 21.846
c NEW SOLUTION FOUND: 3491 @ 21.905
c NEW SOLUTION FOUND: 3490 @ 21.964
c NEW SOLUTION FOUND: 3489 @ 22.022
c NEW SOLUTION FOUND: 3488 @ 22.081
c NEW SOLUTION FOUND: 3487 @ 22.139
c NEW SOLUTION FOUND: 3486 @ 22.198
c NEW SOLUTION FOUND: 3485 @ 22.256
c NEW SOLUTION FOUND: 3484 @ 22.315
c NEW SOLUTION FOUND: 3483 @ 22.373
c NEW SOLUTION FOUND: 3482 @ 22.432
c NEW SOLUTION FOUND: 3481 @ 22.49
c NEW SOLUTION FOUND: 3480 @ 22.548
c NEW SOLUTION FOUND: 3479 @ 22.607
c NEW SOLUTION FOUND: 3478 @ 22.665
c NEW SOLUTION FOUND: 3477 @ 22.724
c NEW SOLUTION FOUND: 3476 @ 22.782
c NEW SOLUTION FOUND: 3475 @ 22.84
c NEW SOLUTION FOUND: 3474 @ 22.898
c NEW SOLUTION FOUND: 3473 @ 22.957
c NEW SOLUTION FOUND: 3472 @ 23.015
c NEW SOLUTION FOUND: 3471 @ 23.073
c NEW SOLUTION FOUND: 3470 @ 23.132
c NEW SOLUTION FOUND: 3469 @ 23.19
c NEW SOLUTION FOUND: 3468 @ 23.248
c NEW SOLUTION FOUND: 3467 @ 23.307
c NEW SOLUTION FOUND: 3466 @ 23.365
c NEW SOLUTION FOUND: 3465 @ 23.423
c NEW SOLUTION FOUND: 3464 @ 23.482
c NEW SOLUTION FOUND: 3463 @ 23.54
c NEW SOLUTION FOUND: 3462 @ 23.598
c NEW SOLUTION FOUND: 3461 @ 23.657
c NEW SOLUTION FOUND: 3460 @ 23.715
c NEW SOLUTION FOUND: 3459 @ 23.773
c NEW SOLUTION FOUND: 3458 @ 23.831
c NEW SOLUTION FOUND: 3457 @ 23.89
c NEW SOLUTION FOUND: 3456 @ 23.948
c NEW SOLUTION FOUND: 3455 @ 24.006
c NEW SOLUTION FOUND: 3454 @ 24.065
c NEW SOLUTION FOUND: 3453 @ 24.123
c NEW SOLUTION FOUND: 3452 @ 24.182
c NEW SOLUTION FOUND: 3451 @ 24.24
c NEW SOLUTION FOUND: 3450 @ 24.298
c NEW SOLUTION FOUND: 3449 @ 24.357
c NEW SOLUTION FOUND: 3448 @ 24.415
c NEW SOLUTION FOUND: 3447 @ 24.473
c NEW SOLUTION FOUND: 3446 @ 24.531
c NEW SOLUTION FOUND: 3445 @ 24.589
c NEW SOLUTION FOUND: 3444 @ 24.648
c NEW SOLUTION FOUND: 3443 @ 24.706
c NEW SOLUTION FOUND: 3442 @ 24.764
c NEW SOLUTION FOUND: 3441 @ 24.822
c NEW SOLUTION FOUND: 3440 @ 24.881
c NEW SOLUTION FOUND: 3439 @ 24.939
c NEW SOLUTION FOUND: 3438 @ 24.997
c NEW SOLUTION FOUND: 3437 @ 25.055
c NEW SOLUTION FOUND: 3436 @ 25.114
c NEW SOLUTION FOUND: 3435 @ 25.172
c NEW SOLUTION FOUND: 3434 @ 25.23
c NEW SOLUTION FOUND: 3433 @ 25.289
c NEW SOLUTION FOUND: 3432 @ 25.347
c NEW SOLUTION FOUND: 3431 @ 25.405
c NEW SOLUTION FOUND: 3430 @ 25.464
c NEW SOLUTION FOUND: 3429 @ 25.522
c NEW SOLUTION FOUND: 3428 @ 25.58
c NEW SOLUTION FOUND: 3427 @ 25.638
c NEW SOLUTION FOUND: 3426 @ 25.696
c NEW SOLUTION FOUND: 3425 @ 25.755
c NEW SOLUTION FOUND: 3424 @ 25.813
c NEW SOLUTION FOUND: 3423 @ 25.871
c NEW SOLUTION FOUND: 3422 @ 25.929
c NEW SOLUTION FOUND: 3421 @ 25.988
c NEW SOLUTION FOUND: 3420 @ 26.046
c NEW SOLUTION FOUND: 3419 @ 26.104
c NEW SOLUTION FOUND: 3418 @ 26.162
c NEW SOLUTION FOUND: 3417 @ 26.22
c NEW SOLUTION FOUND: 3416 @ 26.278
c NEW SOLUTION FOUND: 3415 @ 26.337
c NEW SOLUTION FOUND: 3414 @ 26.395
c NEW SOLUTION FOUND: 3413 @ 26.453
c NEW SOLUTION FOUND: 3412 @ 26.512
c NEW SOLUTION FOUND: 3411 @ 26.569
c NEW SOLUTION FOUND: 3410 @ 26.627
c NEW SOLUTION FOUND: 3409 @ 26.685
c NEW SOLUTION FOUND: 3408 @ 26.744
c NEW SOLUTION FOUND: 3407 @ 26.802
c NEW SOLUTION FOUND: 3406 @ 26.86
c NEW SOLUTION FOUND: 3405 @ 26.919
c NEW SOLUTION FOUND: 3404 @ 26.977
c NEW SOLUTION FOUND: 3403 @ 27.036
c NEW SOLUTION FOUND: 3402 @ 27.094
c NEW SOLUTION FOUND: 3401 @ 27.152
c NEW SOLUTION FOUND: 3400 @ 27.21
c NEW SOLUTION FOUND: 3399 @ 27.268
c NEW SOLUTION FOUND: 3398 @ 27.326
c NEW SOLUTION FOUND: 3397 @ 27.384
c NEW SOLUTION FOUND: 3396 @ 27.442
c NEW SOLUTION FOUND: 3395 @ 27.5
c NEW SOLUTION FOUND: 3394 @ 27.558
c NEW SOLUTION FOUND: 3393 @ 27.616
c NEW SOLUTION FOUND: 3392 @ 27.674
c NEW SOLUTION FOUND: 3391 @ 27.732
c NEW SOLUTION FOUND: 3390 @ 27.79
c NEW SOLUTION FOUND: 3389 @ 27.849
c NEW SOLUTION FOUND: 3388 @ 27.907
c NEW SOLUTION FOUND: 3387 @ 27.965
c NEW SOLUTION FOUND: 3386 @ 28.024
c NEW SOLUTION FOUND: 3385 @ 28.082
c NEW SOLUTION FOUND: 3384 @ 28.14
c NEW SOLUTION FOUND: 3383 @ 28.198
c NEW SOLUTION FOUND: 3382 @ 28.257
c NEW SOLUTION FOUND: 3381 @ 28.315
c NEW SOLUTION FOUND: 3380 @ 28.374
c NEW SOLUTION FOUND: 3379 @ 28.432
c NEW SOLUTION FOUND: 3378 @ 28.49
c NEW SOLUTION FOUND: 3377 @ 28.549
c NEW SOLUTION FOUND: 3376 @ 28.607
c NEW SOLUTION FOUND: 3375 @ 28.665
c NEW SOLUTION FOUND: 3374 @ 28.724
c NEW SOLUTION FOUND: 3373 @ 28.782
c NEW SOLUTION FOUND: 3372 @ 28.84
c NEW SOLUTION FOUND: 3371 @ 28.899
c NEW SOLUTION FOUND: 3370 @ 28.957
c NEW SOLUTION FOUND: 3369 @ 29.015
c NEW SOLUTION FOUND: 3368 @ 29.074
c NEW SOLUTION FOUND: 3367 @ 29.132
c NEW SOLUTION FOUND: 3366 @ 29.19
c NEW SOLUTION FOUND: 3365 @ 29.249
c NEW SOLUTION FOUND: 3364 @ 29.307
c NEW SOLUTION FOUND: 3363 @ 29.365
c NEW SOLUTION FOUND: 3362 @ 29.423
c NEW SOLUTION FOUND: 3361 @ 29.481
c NEW SOLUTION FOUND: 3360 @ 29.539
c NEW SOLUTION FOUND: 3359 @ 29.598
c NEW SOLUTION FOUND: 3358 @ 29.656
c NEW SOLUTION FOUND: 3357 @ 29.714
c NEW SOLUTION FOUND: 3356 @ 29.772
c NEW SOLUTION FOUND: 3355 @ 29.83
c NEW SOLUTION FOUND: 3354 @ 29.888
c NEW SOLUTION FOUND: 3353 @ 29.946
c NEW SOLUTION FOUND: 3352 @ 30.005
c NEW SOLUTION FOUND: 3351 @ 30.063
c NEW SOLUTION FOUND: 3350 @ 30.121
c NEW SOLUTION FOUND: 3349 @ 30.179
c NEW SOLUTION FOUND: 3348 @ 30.237
c NEW SOLUTION FOUND: 3347 @ 30.296
c NEW SOLUTION FOUND: 3346 @ 30.354
c NEW SOLUTION FOUND: 3345 @ 30.412
c NEW SOLUTION FOUND: 3344 @ 30.47
c NEW SOLUTION FOUND: 3343 @ 30.528
c NEW SOLUTION FOUND: 3342 @ 30.586
c NEW SOLUTION FOUND: 3341 @ 30.644
c NEW SOLUTION FOUND: 3340 @ 30.702
c NEW SOLUTION FOUND: 3339 @ 30.76
c NEW SOLUTION FOUND: 3338 @ 30.819
c NEW SOLUTION FOUND: 3337 @ 30.877
c NEW SOLUTION FOUND: 3336 @ 30.935
c NEW SOLUTION FOUND: 3335 @ 30.994
c NEW SOLUTION FOUND: 3334 @ 31.053
c NEW SOLUTION FOUND: 3333 @ 31.111
c NEW SOLUTION FOUND: 3332 @ 31.169
c NEW SOLUTION FOUND: 3331 @ 31.227
c NEW SOLUTION FOUND: 3330 @ 31.284
c NEW SOLUTION FOUND: 3329 @ 31.342
c NEW SOLUTION FOUND: 3328 @ 31.4
c NEW SOLUTION FOUND: 3327 @ 31.458
c NEW SOLUTION FOUND: 3326 @ 31.516
c NEW SOLUTION FOUND: 3325 @ 31.574
c NEW SOLUTION FOUND: 3324 @ 31.632
c NEW SOLUTION FOUND: 3323 @ 31.689
c NEW SOLUTION FOUND: 3322 @ 31.747
c NEW SOLUTION FOUND: 3321 @ 31.805
c NEW SOLUTION FOUND: 3320 @ 31.863
c NEW SOLUTION FOUND: 3319 @ 31.92
c NEW SOLUTION FOUND: 3318 @ 31.978
c NEW SOLUTION FOUND: 3317 @ 32.036
c NEW SOLUTION FOUND: 3316 @ 32.093
c NEW SOLUTION FOUND: 3315 @ 32.151
c NEW SOLUTION FOUND: 3314 @ 32.208
c NEW SOLUTION FOUND: 3313 @ 32.266
c NEW SOLUTION FOUND: 3312 @ 32.324
c NEW SOLUTION FOUND: 3311 @ 32.382
c NEW SOLUTION FOUND: 3310 @ 32.439
c NEW SOLUTION FOUND: 3309 @ 32.497
c NEW SOLUTION FOUND: 3308 @ 32.554
c NEW SOLUTION FOUND: 3307 @ 32.613
c NEW SOLUTION FOUND: 3306 @ 32.67
c NEW SOLUTION FOUND: 3305 @ 32.728
c NEW SOLUTION FOUND: 3304 @ 32.785
c NEW SOLUTION FOUND: 3303 @ 32.843
c NEW SOLUTION FOUND: 3302 @ 32.901
c NEW SOLUTION FOUND: 3301 @ 32.959
c NEW SOLUTION FOUND: 3300 @ 33.016
c NEW SOLUTION FOUND: 3299 @ 33.074
c NEW SOLUTION FOUND: 3298 @ 33.132
c NEW SOLUTION FOUND: 3297 @ 33.189
c NEW SOLUTION FOUND: 3296 @ 33.246
c NEW SOLUTION FOUND: 3295 @ 33.303
c NEW SOLUTION FOUND: 3294 @ 33.361
c NEW SOLUTION FOUND: 3293 @ 33.418
c NEW SOLUTION FOUND: 3292 @ 33.476
c NEW SOLUTION FOUND: 3291 @ 33.533
c NEW SOLUTION FOUND: 3290 @ 33.591
c NEW SOLUTION FOUND: 3289 @ 33.648
c NEW SOLUTION FOUND: 3288 @ 33.706
c NEW SOLUTION FOUND: 3287 @ 33.763
c NEW SOLUTION FOUND: 3286 @ 33.821
c NEW SOLUTION FOUND: 3285 @ 33.878
c NEW SOLUTION FOUND: 3284 @ 33.936
c NEW SOLUTION FOUND: 3283 @ 33.994
c NEW SOLUTION FOUND: 3282 @ 34.052
c NEW SOLUTION FOUND: 3281 @ 34.109
c NEW SOLUTION FOUND: 3280 @ 34.167
c NEW SOLUTION FOUND: 3279 @ 34.225
c NEW SOLUTION FOUND: 3278 @ 34.282
c NEW SOLUTION FOUND: 3277 @ 34.34
c NEW SOLUTION FOUND: 3276 @ 34.397
c NEW SOLUTION FOUND: 3275 @ 34.455
c NEW SOLUTION FOUND: 3274 @ 34.512
c NEW SOLUTION FOUND: 3273 @ 34.57
c NEW SOLUTION FOUND: 3272 @ 34.627
c NEW SOLUTION FOUND: 3271 @ 34.685
c NEW SOLUTION FOUND: 3270 @ 34.743
c NEW SOLUTION FOUND: 3269 @ 34.801
c NEW SOLUTION FOUND: 3268 @ 34.859
c NEW SOLUTION FOUND: 3267 @ 34.917
c NEW SOLUTION FOUND: 3266 @ 34.974
c NEW SOLUTION FOUND: 3265 @ 35.032
c NEW SOLUTION FOUND: 3264 @ 35.089
c NEW SOLUTION FOUND: 3263 @ 35.147
c NEW SOLUTION FOUND: 3262 @ 35.204
c NEW SOLUTION FOUND: 3261 @ 35.262
c NEW SOLUTION FOUND: 3260 @ 35.319
c NEW SOLUTION FOUND: 3259 @ 35.377
c NEW SOLUTION FOUND: 3258 @ 35.435
c NEW SOLUTION FOUND: 3257 @ 35.492
c NEW SOLUTION FOUND: 3256 @ 35.549
c NEW SOLUTION FOUND: 3255 @ 35.607
c NEW SOLUTION FOUND: 3254 @ 35.665
c NEW SOLUTION FOUND: 3253 @ 35.722
c NEW SOLUTION FOUND: 3252 @ 35.779
c NEW SOLUTION FOUND: 3251 @ 35.837
c NEW SOLUTION FOUND: 3250 @ 35.895
c NEW SOLUTION FOUND: 3249 @ 35.952
c NEW SOLUTION FOUND: 3248 @ 36.01
c NEW SOLUTION FOUND: 3247 @ 36.068
c NEW SOLUTION FOUND: 3246 @ 36.125
c NEW SOLUTION FOUND: 3245 @ 36.182
c NEW SOLUTION FOUND: 3244 @ 36.24
c NEW SOLUTION FOUND: 3243 @ 36.297
c NEW SOLUTION FOUND: 3242 @ 36.355
c NEW SOLUTION FOUND: 3241 @ 36.412
c NEW SOLUTION FOUND: 3240 @ 36.469
c NEW SOLUTION FOUND: 3239 @ 36.527
c NEW SOLUTION FOUND: 3238 @ 36.584
c NEW SOLUTION FOUND: 3237 @ 36.642
c NEW SOLUTION FOUND: 3236 @ 36.7
c NEW SOLUTION FOUND: 3235 @ 36.757
c NEW SOLUTION FOUND: 3234 @ 36.814
c NEW SOLUTION FOUND: 3233 @ 36.873
c NEW SOLUTION FOUND: 3232 @ 36.93
c NEW SOLUTION FOUND: 3231 @ 36.988
c NEW SOLUTION FOUND: 3230 @ 37.045
c NEW SOLUTION FOUND: 3229 @ 37.103
c NEW SOLUTION FOUND: 3228 @ 37.16
c NEW SOLUTION FOUND: 3227 @ 37.218
c NEW SOLUTION FOUND: 3226 @ 37.275
c NEW SOLUTION FOUND: 3225 @ 37.332
c NEW SOLUTION FOUND: 3224 @ 37.39
c NEW SOLUTION FOUND: 3223 @ 37.447
c NEW SOLUTION FOUND: 3222 @ 37.504
c NEW SOLUTION FOUND: 3221 @ 37.562
c NEW SOLUTION FOUND: 3220 @ 37.619
c NEW SOLUTION FOUND: 3219 @ 37.677
c NEW SOLUTION FOUND: 3218 @ 37.734
c NEW SOLUTION FOUND: 3217 @ 37.791
c NEW SOLUTION FOUND: 3216 @ 37.849
c NEW SOLUTION FOUND: 3215 @ 37.906
c NEW SOLUTION FOUND: 3214 @ 37.963
c NEW SOLUTION FOUND: 3213 @ 38.021
c NEW SOLUTION FOUND: 3212 @ 38.078
c NEW SOLUTION FOUND: 3211 @ 38.136
c NEW SOLUTION FOUND: 3210 @ 38.193
c NEW SOLUTION FOUND: 3209 @ 38.25
c NEW SOLUTION FOUND: 3208 @ 38.307
c NEW SOLUTION FOUND: 3207 @ 38.365
c NEW SOLUTION FOUND: 3206 @ 38.422
c NEW SOLUTION FOUND: 3205 @ 38.479
c NEW SOLUTION FOUND: 3204 @ 38.536
c NEW SOLUTION FOUND: 3203 @ 38.594
c NEW SOLUTION FOUND: 3202 @ 38.651
c NEW SOLUTION FOUND: 3201 @ 38.708
c NEW SOLUTION FOUND: 3200 @ 38.765
c NEW SOLUTION FOUND: 3199 @ 38.823
c NEW SOLUTION FOUND: 3198 @ 38.88
c NEW SOLUTION FOUND: 3197 @ 38.937
c NEW SOLUTION FOUND: 3196 @ 38.994
c NEW SOLUTION FOUND: 3195 @ 39.052
c NEW SOLUTION FOUND: 3194 @ 39.109
c NEW SOLUTION FOUND: 3193 @ 39.166
c NEW SOLUTION FOUND: 3192 @ 39.223
c NEW SOLUTION FOUND: 3191 @ 39.28
c NEW SOLUTION FOUND: 3190 @ 39.337
c NEW SOLUTION FOUND: 3189 @ 39.395
c NEW SOLUTION FOUND: 3188 @ 39.451
c NEW SOLUTION FOUND: 3187 @ 39.509
c NEW SOLUTION FOUND: 3186 @ 39.566
c NEW SOLUTION FOUND: 3185 @ 39.623
c NEW SOLUTION FOUND: 3184 @ 39.68
c NEW SOLUTION FOUND: 3183 @ 39.737
c NEW SOLUTION FOUND: 3182 @ 39.794
c NEW SOLUTION FOUND: 3181 @ 39.851
c NEW SOLUTION FOUND: 3180 @ 39.907
c NEW SOLUTION FOUND: 3179 @ 39.965
c NEW SOLUTION FOUND: 3178 @ 40.022
c NEW SOLUTION FOUND: 3177 @ 40.08
c NEW SOLUTION FOUND: 3176 @ 40.137
c NEW SOLUTION FOUND: 3175 @ 40.194
c NEW SOLUTION FOUND: 3174 @ 40.251
c NEW SOLUTION FOUND: 3173 @ 40.308
c NEW SOLUTION FOUND: 3172 @ 40.365
c NEW SOLUTION FOUND: 3171 @ 40.422
c NEW SOLUTION FOUND: 3170 @ 40.479
c NEW SOLUTION FOUND: 3169 @ 40.536
c NEW SOLUTION FOUND: 3168 @ 40.593
c NEW SOLUTION FOUND: 3167 @ 40.65
c NEW SOLUTION FOUND: 3166 @ 40.707
c NEW SOLUTION FOUND: 3165 @ 40.764
c NEW SOLUTION FOUND: 3164 @ 40.821
c NEW SOLUTION FOUND: 3163 @ 40.879
c NEW SOLUTION FOUND: 3162 @ 40.935
c NEW SOLUTION FOUND: 3161 @ 40.993
c NEW SOLUTION FOUND: 3160 @ 41.05
c NEW SOLUTION FOUND: 3159 @ 41.107
c NEW SOLUTION FOUND: 3158 @ 41.163
c NEW SOLUTION FOUND: 3157 @ 41.22
c NEW SOLUTION FOUND: 3156 @ 41.277
c NEW SOLUTION FOUND: 3155 @ 41.334
c NEW SOLUTION FOUND: 3154 @ 41.391
c NEW SOLUTION FOUND: 3153 @ 41.448
c NEW SOLUTION FOUND: 3152 @ 41.505
c NEW SOLUTION FOUND: 3151 @ 41.562
c NEW SOLUTION FOUND: 3150 @ 41.619
c NEW SOLUTION FOUND: 3149 @ 41.676
c NEW SOLUTION FOUND: 3148 @ 41.733
c NEW SOLUTION FOUND: 3147 @ 41.79
c NEW SOLUTION FOUND: 3146 @ 41.846
c NEW SOLUTION FOUND: 3145 @ 41.903
c NEW SOLUTION FOUND: 3144 @ 41.96
c NEW SOLUTION FOUND: 3143 @ 42.017
c NEW SOLUTION FOUND: 3142 @ 42.074
c NEW SOLUTION FOUND: 3141 @ 42.131
c NEW SOLUTION FOUND: 3140 @ 42.188
c NEW SOLUTION FOUND: 3139 @ 42.245
c NEW SOLUTION FOUND: 3138 @ 42.302
c NEW SOLUTION FOUND: 3137 @ 42.359
c NEW SOLUTION FOUND: 3136 @ 42.415
c NEW SOLUTION FOUND: 3135 @ 42.472
c NEW SOLUTION FOUND: 3134 @ 42.529
c NEW SOLUTION FOUND: 3133 @ 42.586
c NEW SOLUTION FOUND: 3132 @ 42.643
c NEW SOLUTION FOUND: 3131 @ 42.7
c NEW SOLUTION FOUND: 3130 @ 42.756
c NEW SOLUTION FOUND: 3129 @ 42.815
c NEW SOLUTION FOUND: 3128 @ 42.871
c NEW SOLUTION FOUND: 3127 @ 42.927
c NEW SOLUTION FOUND: 3126 @ 42.983
c NEW SOLUTION FOUND: 3125 @ 43.039
c NEW SOLUTION FOUND: 3124 @ 43.097
c NEW SOLUTION FOUND: 3123 @ 43.154
c NEW SOLUTION FOUND: 3122 @ 43.211
c NEW SOLUTION FOUND: 3121 @ 43.267
c NEW SOLUTION FOUND: 3120 @ 43.324
c NEW SOLUTION FOUND: 3119 @ 43.381
c NEW SOLUTION FOUND: 3118 @ 43.437
c NEW SOLUTION FOUND: 3117 @ 43.494
c NEW SOLUTION FOUND: 3116 @ 43.55
c NEW SOLUTION FOUND: 3115 @ 43.607
c NEW SOLUTION FOUND: 3114 @ 43.664
c NEW SOLUTION FOUND: 3113 @ 43.72
c NEW SOLUTION FOUND: 3112 @ 43.777
c NEW SOLUTION FOUND: 3111 @ 43.834
c NEW SOLUTION FOUND: 3110 @ 43.891
c NEW SOLUTION FOUND: 3109 @ 43.947
c NEW SOLUTION FOUND: 3108 @ 44.004
c NEW SOLUTION FOUND: 3107 @ 44.061
c NEW SOLUTION FOUND: 3106 @ 44.117
c NEW SOLUTION FOUND: 3105 @ 44.174
c NEW SOLUTION FOUND: 3104 @ 44.231
c NEW SOLUTION FOUND: 3103 @ 44.288
c NEW SOLUTION FOUND: 3102 @ 44.344
c NEW SOLUTION FOUND: 3101 @ 44.401
c NEW SOLUTION FOUND: 3100 @ 44.457
c NEW SOLUTION FOUND: 3099 @ 44.514
c NEW SOLUTION FOUND: 3098 @ 44.571
c NEW SOLUTION FOUND: 3097 @ 44.628
c NEW SOLUTION FOUND: 3096 @ 44.684
c NEW SOLUTION FOUND: 3095 @ 44.741
c NEW SOLUTION FOUND: 3094 @ 44.797
c NEW SOLUTION FOUND: 3093 @ 44.854
c NEW SOLUTION FOUND: 3092 @ 44.91
c NEW SOLUTION FOUND: 3091 @ 44.967
c NEW SOLUTION FOUND: 3090 @ 45.024
c NEW SOLUTION FOUND: 3089 @ 45.08
c NEW SOLUTION FOUND: 3088 @ 45.136
c NEW SOLUTION FOUND: 3087 @ 45.193
c NEW SOLUTION FOUND: 3086 @ 45.25
c NEW SOLUTION FOUND: 3085 @ 45.307
c NEW SOLUTION FOUND: 3084 @ 45.363
c NEW SOLUTION FOUND: 3083 @ 45.42
c NEW SOLUTION FOUND: 3082 @ 45.476
c NEW SOLUTION FOUND: 3081 @ 45.533
c NEW SOLUTION FOUND: 3080 @ 45.589
c NEW SOLUTION FOUND: 3079 @ 45.646
c NEW SOLUTION FOUND: 3078 @ 45.703
c NEW SOLUTION FOUND: 3077 @ 45.759
c NEW SOLUTION FOUND: 3076 @ 45.816
c NEW SOLUTION FOUND: 3075 @ 45.872
c NEW SOLUTION FOUND: 3074 @ 45.929
c NEW SOLUTION FOUND: 3073 @ 45.985
c NEW SOLUTION FOUND: 3072 @ 46.042
c NEW SOLUTION FOUND: 3071 @ 46.098
c NEW SOLUTION FOUND: 3070 @ 46.155
c NEW SOLUTION FOUND: 3069 @ 46.212
c NEW SOLUTION FOUND: 3068 @ 46.268
c NEW SOLUTION FOUND: 3067 @ 46.325
c NEW SOLUTION FOUND: 3066 @ 46.382
c NEW SOLUTION FOUND: 3065 @ 46.439
c NEW SOLUTION FOUND: 3064 @ 46.495
c NEW SOLUTION FOUND: 3063 @ 46.551
c NEW SOLUTION FOUND: 3062 @ 46.608
c NEW SOLUTION FOUND: 3061 @ 46.664
c NEW SOLUTION FOUND: 3060 @ 46.721
c NEW SOLUTION FOUND: 3059 @ 46.777
c NEW SOLUTION FOUND: 3058 @ 46.834
c NEW SOLUTION FOUND: 3057 @ 46.89
c NEW SOLUTION FOUND: 3056 @ 46.947
c NEW SOLUTION FOUND: 3055 @ 47.004
c NEW SOLUTION FOUND: 3054 @ 47.06
c NEW SOLUTION FOUND: 3053 @ 47.117
c NEW SOLUTION FOUND: 3052 @ 47.173
c NEW SOLUTION FOUND: 3051 @ 47.23
c NEW SOLUTION FOUND: 3050 @ 47.286
c NEW SOLUTION FOUND: 3049 @ 47.342
c NEW SOLUTION FOUND: 3048 @ 47.399
c NEW SOLUTION FOUND: 3047 @ 47.456
c NEW SOLUTION FOUND: 3046 @ 47.512
c NEW SOLUTION FOUND: 3045 @ 47.569
c NEW SOLUTION FOUND: 3044 @ 47.625
c NEW SOLUTION FOUND: 3043 @ 47.682
c NEW SOLUTION FOUND: 3042 @ 47.738
c NEW SOLUTION FOUND: 3041 @ 47.795
c NEW SOLUTION FOUND: 3040 @ 47.851
c NEW SOLUTION FOUND: 3039 @ 47.908
c NEW SOLUTION FOUND: 3038 @ 47.964
c NEW SOLUTION FOUND: 3037 @ 48.02
c NEW SOLUTION FOUND: 3036 @ 48.077
c NEW SOLUTION FOUND: 3035 @ 48.133
c NEW SOLUTION FOUND: 3034 @ 48.189
c NEW SOLUTION FOUND: 3033 @ 48.246
c NEW SOLUTION FOUND: 3032 @ 48.303
c NEW SOLUTION FOUND: 3031 @ 48.359
c NEW SOLUTION FOUND: 3030 @ 48.415
c NEW SOLUTION FOUND: 3029 @ 48.471
c NEW SOLUTION FOUND: 3028 @ 48.527
c NEW SOLUTION FOUND: 3027 @ 48.584
c NEW SOLUTION FOUND: 3026 @ 48.641
c NEW SOLUTION FOUND: 3025 @ 48.697
c NEW SOLUTION FOUND: 3024 @ 48.754
c NEW SOLUTION FOUND: 3023 @ 48.81
c NEW SOLUTION FOUND: 3022 @ 48.868
c NEW SOLUTION FOUND: 3021 @ 48.924
c NEW SOLUTION FOUND: 3020 @ 48.98
c NEW SOLUTION FOUND: 3019 @ 49.036
c NEW SOLUTION FOUND: 3018 @ 49.092
c NEW SOLUTION FOUND: 3017 @ 49.149
c NEW SOLUTION FOUND: 3016 @ 49.205
c NEW SOLUTION FOUND: 3015 @ 49.261
c NEW SOLUTION FOUND: 3014 @ 49.319
c NEW SOLUTION FOUND: 3013 @ 49.376
c NEW SOLUTION FOUND: 3012 @ 49.432
c NEW SOLUTION FOUND: 3011 @ 49.489
c NEW SOLUTION FOUND: 3010 @ 49.545
c NEW SOLUTION FOUND: 3009 @ 49.601
c NEW SOLUTION FOUND: 3008 @ 49.658
c NEW SOLUTION FOUND: 3007 @ 49.714
c NEW SOLUTION FOUND: 3006 @ 49.771
c NEW SOLUTION FOUND: 3005 @ 49.827
c NEW SOLUTION FOUND: 3004 @ 49.883
c NEW SOLUTION FOUND: 3003 @ 49.94
c NEW SOLUTION FOUND: 3002 @ 49.996
c NEW SOLUTION FOUND: 3001 @ 50.053
c NEW SOLUTION FOUND: 3000 @ 50.109
c NEW SOLUTION FOUND: 2999 @ 50.165
c NEW SOLUTION FOUND: 2998 @ 50.222
c NEW SOLUTION FOUND: 2997 @ 50.278
c NEW SOLUTION FOUND: 2996 @ 50.334
c NEW SOLUTION FOUND: 2995 @ 50.391
c NEW SOLUTION FOUND: 2994 @ 50.447
c NEW SOLUTION FOUND: 2993 @ 50.503
c NEW SOLUTION FOUND: 2992 @ 50.56
c NEW SOLUTION FOUND: 2991 @ 50.616
c NEW SOLUTION FOUND: 2990 @ 50.672
c NEW SOLUTION FOUND: 2989 @ 50.729
c NEW SOLUTION FOUND: 2988 @ 50.785
c NEW SOLUTION FOUND: 2987 @ 50.841
c NEW SOLUTION FOUND: 2986 @ 50.897
c NEW SOLUTION FOUND: 2985 @ 50.953
c NEW SOLUTION FOUND: 2984 @ 51.01
c NEW SOLUTION FOUND: 2983 @ 51.066
c NEW SOLUTION FOUND: 2982 @ 51.123
c NEW SOLUTION FOUND: 2981 @ 51.179
c NEW SOLUTION FOUND: 2980 @ 51.235
c NEW SOLUTION FOUND: 2979 @ 51.291
c NEW SOLUTION FOUND: 2978 @ 51.348
c NEW SOLUTION FOUND: 2977 @ 51.404
c NEW SOLUTION FOUND: 2976 @ 51.46
c NEW SOLUTION FOUND: 2975 @ 51.516
c NEW SOLUTION FOUND: 2974 @ 51.572
c NEW SOLUTION FOUND: 2973 @ 51.628
c NEW SOLUTION FOUND: 2972 @ 51.685
c NEW SOLUTION FOUND: 2971 @ 51.741
c NEW SOLUTION FOUND: 2970 @ 51.797
c NEW SOLUTION FOUND: 2969 @ 51.853
c NEW SOLUTION FOUND: 2968 @ 51.909
c NEW SOLUTION FOUND: 2967 @ 51.965
c NEW SOLUTION FOUND: 2966 @ 52.022
c NEW SOLUTION FOUND: 2965 @ 52.078
c NEW SOLUTION FOUND: 2964 @ 52.134
c NEW SOLUTION FOUND: 2963 @ 52.19
c NEW SOLUTION FOUND: 2962 @ 52.246
c NEW SOLUTION FOUND: 2961 @ 52.302
c NEW SOLUTION FOUND: 2960 @ 52.359
c NEW SOLUTION FOUND: 2959 @ 52.415
c NEW SOLUTION FOUND: 2958 @ 52.471
c NEW SOLUTION FOUND: 2957 @ 52.527
c NEW SOLUTION FOUND: 2956 @ 52.583
c NEW SOLUTION FOUND: 2955 @ 52.639
c NEW SOLUTION FOUND: 2954 @ 52.695
c NEW SOLUTION FOUND: 2953 @ 52.751
c NEW SOLUTION FOUND: 2952 @ 52.807
c NEW SOLUTION FOUND: 2951 @ 52.864
c NEW SOLUTION FOUND: 2950 @ 52.92
c NEW SOLUTION FOUND: 2949 @ 52.976
c NEW SOLUTION FOUND: 2948 @ 53.032
c NEW SOLUTION FOUND: 2947 @ 53.088
c NEW SOLUTION FOUND: 2946 @ 53.144
c NEW SOLUTION FOUND: 2945 @ 53.199
c NEW SOLUTION FOUND: 2944 @ 53.255
c NEW SOLUTION FOUND: 2943 @ 53.312
c NEW SOLUTION FOUND: 2942 @ 53.368
c NEW SOLUTION FOUND: 2941 @ 53.424
c NEW SOLUTION FOUND: 2940 @ 53.48
c NEW SOLUTION FOUND: 2939 @ 53.536
c NEW SOLUTION FOUND: 2938 @ 53.591
c NEW SOLUTION FOUND: 2937 @ 53.647
c NEW SOLUTION FOUND: 2936 @ 53.703
c NEW SOLUTION FOUND: 2935 @ 53.759
c NEW SOLUTION FOUND: 2934 @ 53.815
c NEW SOLUTION FOUND: 2933 @ 53.871
c NEW SOLUTION FOUND: 2932 @ 53.927
c NEW SOLUTION FOUND: 2931 @ 53.983
c NEW SOLUTION FOUND: 2930 @ 54.039
c NEW SOLUTION FOUND: 2929 @ 54.095
c NEW SOLUTION FOUND: 2928 @ 54.151
c NEW SOLUTION FOUND: 2927 @ 54.207
c NEW SOLUTION FOUND: 2926 @ 54.263
c NEW SOLUTION FOUND: 2925 @ 54.319
c NEW SOLUTION FOUND: 2924 @ 54.375
c NEW SOLUTION FOUND: 2923 @ 54.431
c NEW SOLUTION FOUND: 2922 @ 54.487
c NEW SOLUTION FOUND: 2921 @ 54.542
c NEW SOLUTION FOUND: 2920 @ 54.599
c NEW SOLUTION FOUND: 2919 @ 54.655
c NEW SOLUTION FOUND: 2918 @ 54.71
c NEW SOLUTION FOUND: 2917 @ 54.766
c NEW SOLUTION FOUND: 2916 @ 54.824
c NEW SOLUTION FOUND: 2915 @ 54.88
c NEW SOLUTION FOUND: 2914 @ 54.935
c NEW SOLUTION FOUND: 2913 @ 54.991
c NEW SOLUTION FOUND: 2912 @ 55.047
c NEW SOLUTION FOUND: 2911 @ 55.103
c NEW SOLUTION FOUND: 2910 @ 55.159
c NEW SOLUTION FOUND: 2909 @ 55.215
c NEW SOLUTION FOUND: 2908 @ 55.271
c NEW SOLUTION FOUND: 2907 @ 55.327
c NEW SOLUTION FOUND: 2906 @ 55.383
c NEW SOLUTION FOUND: 2905 @ 55.439
c NEW SOLUTION FOUND: 2904 @ 55.495
c NEW SOLUTION FOUND: 2903 @ 55.55
c NEW SOLUTION FOUND: 2902 @ 55.606
c NEW SOLUTION FOUND: 2901 @ 55.662
c NEW SOLUTION FOUND: 2900 @ 55.718
c NEW SOLUTION FOUND: 2899 @ 55.774
c NEW SOLUTION FOUND: 2898 @ 55.829
c NEW SOLUTION FOUND: 2897 @ 55.885
c NEW SOLUTION FOUND: 2896 @ 55.941
c NEW SOLUTION FOUND: 2895 @ 55.996
c NEW SOLUTION FOUND: 2894 @ 56.052
c NEW SOLUTION FOUND: 2893 @ 56.107
c NEW SOLUTION FOUND: 2892 @ 56.163
c NEW SOLUTION FOUND: 2891 @ 56.219
c NEW SOLUTION FOUND: 2890 @ 56.275
c NEW SOLUTION FOUND: 2889 @ 56.331
c NEW SOLUTION FOUND: 2888 @ 56.386
c NEW SOLUTION FOUND: 2887 @ 56.442
c NEW SOLUTION FOUND: 2886 @ 56.498
c NEW SOLUTION FOUND: 2885 @ 56.553
c NEW SOLUTION FOUND: 2884 @ 56.609
c NEW SOLUTION FOUND: 2883 @ 56.665
c NEW SOLUTION FOUND: 2882 @ 56.721
c NEW SOLUTION FOUND: 2881 @ 56.776
c NEW SOLUTION FOUND: 2880 @ 56.832
c NEW SOLUTION FOUND: 2879 @ 56.888
c NEW SOLUTION FOUND: 2878 @ 56.944
c NEW SOLUTION FOUND: 2877 @ 56.999
c NEW SOLUTION FOUND: 2876 @ 57.055
c NEW SOLUTION FOUND: 2875 @ 57.11
c NEW SOLUTION FOUND: 2874 @ 57.166
c NEW SOLUTION FOUND: 2873 @ 57.222
c NEW SOLUTION FOUND: 2872 @ 57.277
c NEW SOLUTION FOUND: 2871 @ 57.333
c NEW SOLUTION FOUND: 2870 @ 57.389
c NEW SOLUTION FOUND: 2869 @ 57.444
c NEW SOLUTION FOUND: 2868 @ 57.5
c NEW SOLUTION FOUND: 2867 @ 57.556
c NEW SOLUTION FOUND: 2866 @ 57.611
c NEW SOLUTION FOUND: 2865 @ 57.667
c NEW SOLUTION FOUND: 2864 @ 57.723
c NEW SOLUTION FOUND: 2863 @ 57.778
c NEW SOLUTION FOUND: 2862 @ 57.834
c NEW SOLUTION FOUND: 2861 @ 57.89
c NEW SOLUTION FOUND: 2860 @ 57.945
c NEW SOLUTION FOUND: 2859 @ 58.001
c NEW SOLUTION FOUND: 2858 @ 58.057
c NEW SOLUTION FOUND: 2857 @ 58.112
c NEW SOLUTION FOUND: 2856 @ 58.168
c NEW SOLUTION FOUND: 2855 @ 58.223
c NEW SOLUTION FOUND: 2854 @ 58.279
c NEW SOLUTION FOUND: 2853 @ 58.335
c NEW SOLUTION FOUND: 2852 @ 58.39
c NEW SOLUTION FOUND: 2851 @ 58.446
c NEW SOLUTION FOUND: 2850 @ 58.502
c NEW SOLUTION FOUND: 2849 @ 58.557
c NEW SOLUTION FOUND: 2848 @ 58.613
c NEW SOLUTION FOUND: 2847 @ 58.668
c NEW SOLUTION FOUND: 2846 @ 58.724
c NEW SOLUTION FOUND: 2845 @ 58.779
c NEW SOLUTION FOUND: 2844 @ 58.835
c NEW SOLUTION FOUND: 2843 @ 58.89
c NEW SOLUTION FOUND: 2842 @ 58.946
c NEW SOLUTION FOUND: 2841 @ 59.001
c NEW SOLUTION FOUND: 2840 @ 59.056
c NEW SOLUTION FOUND: 2839 @ 59.112
c NEW SOLUTION FOUND: 2838 @ 59.167
c NEW SOLUTION FOUND: 2837 @ 59.222
c NEW SOLUTION FOUND: 2836 @ 59.278
c NEW SOLUTION FOUND: 2835 @ 59.333
c NEW SOLUTION FOUND: 2834 @ 59.389
c NEW SOLUTION FOUND: 2833 @ 59.443
c NEW SOLUTION FOUND: 2832 @ 59.499
c NEW SOLUTION FOUND: 2831 @ 59.555
c NEW SOLUTION FOUND: 2830 @ 59.61
c NEW SOLUTION FOUND: 2829 @ 59.665
c NEW SOLUTION FOUND: 2828 @ 59.721
c NEW SOLUTION FOUND: 2827 @ 59.776
c NEW SOLUTION FOUND: 2826 @ 59.832
c NEW SOLUTION FOUND: 2825 @ 59.885
c NEW SOLUTION FOUND: 2824 @ 59.941
c NEW SOLUTION FOUND: 2823 @ 59.997
c NEW SOLUTION FOUND: 2822 @ 60.052
c NEW SOLUTION FOUND: 2821 @ 60.107
c NEW SOLUTION FOUND: 2820 @ 60.163
c NEW SOLUTION FOUND: 2819 @ 60.218
c NEW SOLUTION FOUND: 2818 @ 60.274
c NEW SOLUTION FOUND: 2817 @ 60.329
c NEW SOLUTION FOUND: 2816 @ 60.385
c NEW SOLUTION FOUND: 2815 @ 60.44
c NEW SOLUTION FOUND: 2814 @ 60.495
c NEW SOLUTION FOUND: 2813 @ 60.55
c NEW SOLUTION FOUND: 2812 @ 60.606
c NEW SOLUTION FOUND: 2811 @ 60.662
c NEW SOLUTION FOUND: 2810 @ 60.717
c NEW SOLUTION FOUND: 2809 @ 60.773
c NEW SOLUTION FOUND: 2808 @ 60.828
c NEW SOLUTION FOUND: 2807 @ 60.885
c NEW SOLUTION FOUND: 2806 @ 60.94
c NEW SOLUTION FOUND: 2805 @ 60.996
c NEW SOLUTION FOUND: 2804 @ 61.051
c NEW SOLUTION FOUND: 2803 @ 61.107
c NEW SOLUTION FOUND: 2802 @ 61.162
c NEW SOLUTION FOUND: 2801 @ 61.218
c NEW SOLUTION FOUND: 2800 @ 61.273
c NEW SOLUTION FOUND: 2799 @ 61.329
c NEW SOLUTION FOUND: 2798 @ 61.384
c NEW SOLUTION FOUND: 2797 @ 61.439
c NEW SOLUTION FOUND: 2796 @ 61.495
c NEW SOLUTION FOUND: 2795 @ 61.55
c NEW SOLUTION FOUND: 2794 @ 61.605
c NEW SOLUTION FOUND: 2793 @ 61.661
c NEW SOLUTION FOUND: 2792 @ 61.716
c NEW SOLUTION FOUND: 2791 @ 61.772
c NEW SOLUTION FOUND: 2790 @ 61.827
c NEW SOLUTION FOUND: 2789 @ 61.883
c NEW SOLUTION FOUND: 2788 @ 61.938
c NEW SOLUTION FOUND: 2787 @ 61.993
c NEW SOLUTION FOUND: 2786 @ 62.049
c NEW SOLUTION FOUND: 2785 @ 62.104
c NEW SOLUTION FOUND: 2784 @ 62.159
c NEW SOLUTION FOUND: 2783 @ 62.215
c NEW SOLUTION FOUND: 2782 @ 62.27
c NEW SOLUTION FOUND: 2781 @ 62.326
c NEW SOLUTION FOUND: 2780 @ 62.381
c NEW SOLUTION FOUND: 2779 @ 62.436
c NEW SOLUTION FOUND: 2778 @ 62.492
c NEW SOLUTION FOUND: 2777 @ 62.547
c NEW SOLUTION FOUND: 2776 @ 62.602
c NEW SOLUTION FOUND: 2775 @ 62.658
c NEW SOLUTION FOUND: 2774 @ 62.713
c NEW SOLUTION FOUND: 2773 @ 62.768
c NEW SOLUTION FOUND: 2772 @ 62.824
c NEW SOLUTION FOUND: 2771 @ 62.879
c NEW SOLUTION FOUND: 2770 @ 62.934
c NEW SOLUTION FOUND: 2769 @ 62.99
c NEW SOLUTION FOUND: 2768 @ 63.045
c NEW SOLUTION FOUND: 2767 @ 63.1
c NEW SOLUTION FOUND: 2766 @ 63.155
c NEW SOLUTION FOUND: 2765 @ 63.211
c NEW SOLUTION FOUND: 2764 @ 63.266
c NEW SOLUTION FOUND: 2763 @ 63.321
c NEW SOLUTION FOUND: 2762 @ 63.376
c NEW SOLUTION FOUND: 2761 @ 63.432
c NEW SOLUTION FOUND: 2760 @ 63.487
c NEW SOLUTION FOUND: 2759 @ 63.543
c NEW SOLUTION FOUND: 2758 @ 63.599
c NEW SOLUTION FOUND: 2757 @ 63.654
c NEW SOLUTION FOUND: 2756 @ 63.709
c NEW SOLUTION FOUND: 2755 @ 63.764
c NEW SOLUTION FOUND: 2754 @ 63.82
c NEW SOLUTION FOUND: 2753 @ 63.875
c NEW SOLUTION FOUND: 2752 @ 63.93
c NEW SOLUTION FOUND: 2751 @ 63.986
c NEW SOLUTION FOUND: 2750 @ 64.041
c NEW SOLUTION FOUND: 2749 @ 64.096
c NEW SOLUTION FOUND: 2748 @ 64.151
c NEW SOLUTION FOUND: 2747 @ 64.207
c NEW SOLUTION FOUND: 2746 @ 64.262
c NEW SOLUTION FOUND: 2745 @ 64.317
c NEW SOLUTION FOUND: 2744 @ 64.372
c NEW SOLUTION FOUND: 2743 @ 64.428
c NEW SOLUTION FOUND: 2742 @ 64.483
c NEW SOLUTION FOUND: 2741 @ 64.538
c NEW SOLUTION FOUND: 2740 @ 64.593
c NEW SOLUTION FOUND: 2739 @ 64.648
c NEW SOLUTION FOUND: 2738 @ 64.704
c NEW SOLUTION FOUND: 2737 @ 64.759
c NEW SOLUTION FOUND: 2736 @ 64.814
c NEW SOLUTION FOUND: 2735 @ 64.869
c NEW SOLUTION FOUND: 2734 @ 64.924
c NEW SOLUTION FOUND: 2733 @ 64.979
c NEW SOLUTION FOUND: 2732 @ 65.035
c NEW SOLUTION FOUND: 2731 @ 65.09
c NEW SOLUTION FOUND: 2730 @ 65.145
c NEW SOLUTION FOUND: 2729 @ 65.2
c NEW SOLUTION FOUND: 2728 @ 65.255
c NEW SOLUTION FOUND: 2727 @ 65.311
c NEW SOLUTION FOUND: 2726 @ 65.366
c NEW SOLUTION FOUND: 2725 @ 65.421
c NEW SOLUTION FOUND: 2724 @ 65.476
c NEW SOLUTION FOUND: 2723 @ 65.532
c NEW SOLUTION FOUND: 2722 @ 65.587
c NEW SOLUTION FOUND: 2721 @ 65.642
c NEW SOLUTION FOUND: 2720 @ 65.697
c NEW SOLUTION FOUND: 2719 @ 65.752
c NEW SOLUTION FOUND: 2718 @ 65.807
c NEW SOLUTION FOUND: 2717 @ 65.862
c NEW SOLUTION FOUND: 2716 @ 65.917
c NEW SOLUTION FOUND: 2715 @ 65.974
c NEW SOLUTION FOUND: 2714 @ 66.029
c NEW SOLUTION FOUND: 2713 @ 66.084
c NEW SOLUTION FOUND: 2712 @ 66.139
c NEW SOLUTION FOUND: 2711 @ 66.194
c NEW SOLUTION FOUND: 2710 @ 66.249
c NEW SOLUTION FOUND: 2709 @ 66.305
c NEW SOLUTION FOUND: 2708 @ 66.36
c NEW SOLUTION FOUND: 2707 @ 66.415
c NEW SOLUTION FOUND: 2706 @ 66.47
c NEW SOLUTION FOUND: 2705 @ 66.524
c NEW SOLUTION FOUND: 2704 @ 66.579
c NEW SOLUTION FOUND: 2703 @ 66.634
c NEW SOLUTION FOUND: 2702 @ 66.689
c NEW SOLUTION FOUND: 2701 @ 66.745
c NEW SOLUTION FOUND: 2700 @ 66.8
c NEW SOLUTION FOUND: 2699 @ 66.856
c NEW SOLUTION FOUND: 2698 @ 66.91
c NEW SOLUTION FOUND: 2697 @ 66.964
c NEW SOLUTION FOUND: 2696 @ 67.018
c NEW SOLUTION FOUND: 2695 @ 67.073
c NEW SOLUTION FOUND: 2694 @ 67.127
c NEW SOLUTION FOUND: 2693 @ 67.181
c NEW SOLUTION FOUND: 2692 @ 67.235
c NEW SOLUTION FOUND: 2691 @ 67.29
c NEW SOLUTION FOUND: 2690 @ 67.344
c NEW SOLUTION FOUND: 2689 @ 67.398
c NEW SOLUTION FOUND: 2688 @ 67.452
c NEW SOLUTION FOUND: 2687 @ 67.506
c NEW SOLUTION FOUND: 2686 @ 67.561
c NEW SOLUTION FOUND: 2685 @ 67.615
c NEW SOLUTION FOUND: 2684 @ 67.67
c NEW SOLUTION FOUND: 2683 @ 67.724
c NEW SOLUTION FOUND: 2682 @ 67.778
c NEW SOLUTION FOUND: 2681 @ 67.832
c NEW SOLUTION FOUND: 2680 @ 67.886
c NEW SOLUTION FOUND: 2679 @ 67.941
c NEW SOLUTION FOUND: 2678 @ 67.995
c NEW SOLUTION FOUND: 2677 @ 68.049
c NEW SOLUTION FOUND: 2676 @ 68.103
c NEW SOLUTION FOUND: 2675 @ 68.157
c NEW SOLUTION FOUND: 2674 @ 68.211
c NEW SOLUTION FOUND: 2673 @ 68.266
c NEW SOLUTION FOUND: 2672 @ 68.32
c NEW SOLUTION FOUND: 2671 @ 68.374
c NEW SOLUTION FOUND: 2670 @ 68.428
c NEW SOLUTION FOUND: 2669 @ 68.482
c NEW SOLUTION FOUND: 2668 @ 68.536
c NEW SOLUTION FOUND: 2667 @ 68.591
c NEW SOLUTION FOUND: 2666 @ 68.645
c NEW SOLUTION FOUND: 2665 @ 68.699
c NEW SOLUTION FOUND: 2664 @ 68.753
c NEW SOLUTION FOUND: 2663 @ 68.807
c NEW SOLUTION FOUND: 2662 @ 68.861
c NEW SOLUTION FOUND: 2661 @ 68.915
c NEW SOLUTION FOUND: 2660 @ 68.969
c NEW SOLUTION FOUND: 2659 @ 69.023
c NEW SOLUTION FOUND: 2658 @ 69.077
c NEW SOLUTION FOUND: 2657 @ 69.131
c NEW SOLUTION FOUND: 2656 @ 69.185
c NEW SOLUTION FOUND: 2655 @ 69.239
c NEW SOLUTION FOUND: 2654 @ 69.293
c NEW SOLUTION FOUND: 2653 @ 69.347
c NEW SOLUTION FOUND: 2652 @ 69.401
c NEW SOLUTION FOUND: 2651 @ 69.455
c NEW SOLUTION FOUND: 2650 @ 69.509
c NEW SOLUTION FOUND: 2649 @ 69.563
c NEW SOLUTION FOUND: 2648 @ 69.616
c NEW SOLUTION FOUND: 2647 @ 69.671
c NEW SOLUTION FOUND: 2646 @ 69.725
c NEW SOLUTION FOUND: 2645 @ 69.779
c NEW SOLUTION FOUND: 2644 @ 69.833
c NEW SOLUTION FOUND: 2643 @ 69.887
c NEW SOLUTION FOUND: 2642 @ 69.941
c NEW SOLUTION FOUND: 2641 @ 69.995
c NEW SOLUTION FOUND: 2640 @ 70.048
c NEW SOLUTION FOUND: 2639 @ 70.102
c NEW SOLUTION FOUND: 2638 @ 70.156
c NEW SOLUTION FOUND: 2637 @ 70.21
c NEW SOLUTION FOUND: 2636 @ 70.264
c NEW SOLUTION FOUND: 2635 @ 70.318
c NEW SOLUTION FOUND: 2634 @ 70.372
c NEW SOLUTION FOUND: 2633 @ 70.426
c NEW SOLUTION FOUND: 2632 @ 70.48
c NEW SOLUTION FOUND: 2631 @ 70.534
c NEW SOLUTION FOUND: 2630 @ 70.587
c NEW SOLUTION FOUND: 2629 @ 70.641
c NEW SOLUTION FOUND: 2628 @ 70.695
c NEW SOLUTION FOUND: 2627 @ 70.749
c NEW SOLUTION FOUND: 2626 @ 70.803
c NEW SOLUTION FOUND: 2625 @ 70.857
c NEW SOLUTION FOUND: 2624 @ 70.911
c NEW SOLUTION FOUND: 2623 @ 70.965
c NEW SOLUTION FOUND: 2622 @ 71.018
c NEW SOLUTION FOUND: 2621 @ 71.072
c NEW SOLUTION FOUND: 2620 @ 71.126
c NEW SOLUTION FOUND: 2619 @ 71.18
c NEW SOLUTION FOUND: 2618 @ 71.234
c NEW SOLUTION FOUND: 2617 @ 71.288
c NEW SOLUTION FOUND: 2616 @ 71.341
c NEW SOLUTION FOUND: 2615 @ 71.395
c NEW SOLUTION FOUND: 2614 @ 71.449
c NEW SOLUTION FOUND: 2613 @ 71.503
c NEW SOLUTION FOUND: 2612 @ 71.557
c NEW SOLUTION FOUND: 2611 @ 71.61
c NEW SOLUTION FOUND: 2610 @ 71.715
c NEW SOLUTION FOUND: 2609 @ 71.776
c NEW SOLUTION FOUND: 2608 @ 71.84
c NEW SOLUTION FOUND: 2607 @ 71.899
c NEW SOLUTION FOUND: 2606 @ 71.959
c NEW SOLUTION FOUND: 2605 @ 72.02
c NEW SOLUTION FOUND: 2604 @ 72.08
c NEW SOLUTION FOUND: 2603 @ 72.141
c NEW SOLUTION FOUND: 2602 @ 72.201
c NEW SOLUTION FOUND: 2601 @ 72.262
c NEW SOLUTION FOUND: 2600 @ 72.323
c NEW SOLUTION FOUND: 2599 @ 72.383
c NEW SOLUTION FOUND: 2598 @ 72.444
c NEW SOLUTION FOUND: 2597 @ 72.504
c NEW SOLUTION FOUND: 2596 @ 72.565
c NEW SOLUTION FOUND: 2595 @ 72.626
c NEW SOLUTION FOUND: 2594 @ 72.686
c NEW SOLUTION FOUND: 2593 @ 72.746
c NEW SOLUTION FOUND: 2592 @ 72.807
c NEW SOLUTION FOUND: 2591 @ 72.868
c NEW SOLUTION FOUND: 2590 @ 72.928
c NEW SOLUTION FOUND: 2589 @ 72.989
c NEW SOLUTION FOUND: 2588 @ 73.049
c NEW SOLUTION FOUND: 2587 @ 73.109
c NEW SOLUTION FOUND: 2586 @ 73.17
c NEW SOLUTION FOUND: 2585 @ 73.229
c NEW SOLUTION FOUND: 2584 @ 73.289
c NEW SOLUTION FOUND: 2583 @ 73.35
c NEW SOLUTION FOUND: 2582 @ 73.411
c NEW SOLUTION FOUND: 2581 @ 73.471
c NEW SOLUTION FOUND: 2580 @ 73.531
c NEW SOLUTION FOUND: 2579 @ 73.592
c NEW SOLUTION FOUND: 2578 @ 73.652
c NEW SOLUTION FOUND: 2577 @ 73.713
c NEW SOLUTION FOUND: 2576 @ 73.773
c NEW SOLUTION FOUND: 2575 @ 73.833
c NEW SOLUTION FOUND: 2574 @ 73.894
c NEW SOLUTION FOUND: 2573 @ 73.954
c NEW SOLUTION FOUND: 2572 @ 74.014
c NEW SOLUTION FOUND: 2571 @ 74.075
c NEW SOLUTION FOUND: 2570 @ 74.135
c NEW SOLUTION FOUND: 2569 @ 74.196
c NEW SOLUTION FOUND: 2568 @ 74.256
c NEW SOLUTION FOUND: 2567 @ 74.316
c NEW SOLUTION FOUND: 2566 @ 74.377
c NEW SOLUTION FOUND: 2565 @ 74.437
c NEW SOLUTION FOUND: 2564 @ 74.497
c NEW SOLUTION FOUND: 2563 @ 74.557
c NEW SOLUTION FOUND: 2562 @ 74.618
c NEW SOLUTION FOUND: 2561 @ 74.678
c NEW SOLUTION FOUND: 2560 @ 74.739
c NEW SOLUTION FOUND: 2559 @ 74.799
c NEW SOLUTION FOUND: 2558 @ 74.859
c NEW SOLUTION FOUND: 2557 @ 74.92
c NEW SOLUTION FOUND: 2556 @ 74.98
c NEW SOLUTION FOUND: 2555 @ 75.041
c NEW SOLUTION FOUND: 2554 @ 75.101
c NEW SOLUTION FOUND: 2553 @ 75.162
c NEW SOLUTION FOUND: 2552 @ 75.223
c NEW SOLUTION FOUND: 2551 @ 75.284
c NEW SOLUTION FOUND: 2550 @ 75.344
c NEW SOLUTION FOUND: 2549 @ 75.405
c NEW SOLUTION FOUND: 2548 @ 75.465
c NEW SOLUTION FOUND: 2547 @ 75.526
c NEW SOLUTION FOUND: 2546 @ 75.586
c NEW SOLUTION FOUND: 2545 @ 75.647
c NEW SOLUTION FOUND: 2544 @ 75.708
c NEW SOLUTION FOUND: 2543 @ 75.768
c NEW SOLUTION FOUND: 2542 @ 75.829
c NEW SOLUTION FOUND: 2541 @ 75.889
c NEW SOLUTION FOUND: 2540 @ 75.95
c NEW SOLUTION FOUND: 2539 @ 76.01
c NEW SOLUTION FOUND: 2538 @ 76.071
c NEW SOLUTION FOUND: 2537 @ 76.131
c NEW SOLUTION FOUND: 2536 @ 76.192
c NEW SOLUTION FOUND: 2535 @ 76.252
c NEW SOLUTION FOUND: 2534 @ 76.313
c NEW SOLUTION FOUND: 2533 @ 76.373
c NEW SOLUTION FOUND: 2532 @ 76.434
c NEW SOLUTION FOUND: 2531 @ 76.494
c NEW SOLUTION FOUND: 2530 @ 76.555
c NEW SOLUTION FOUND: 2529 @ 76.615
c NEW SOLUTION FOUND: 2528 @ 76.675
c NEW SOLUTION FOUND: 2527 @ 76.736
c NEW SOLUTION FOUND: 2526 @ 76.796
c NEW SOLUTION FOUND: 2525 @ 76.857
c NEW SOLUTION FOUND: 2524 @ 76.917
c NEW SOLUTION FOUND: 2523 @ 76.978
c NEW SOLUTION FOUND: 2522 @ 77.038
c NEW SOLUTION FOUND: 2521 @ 77.099
c NEW SOLUTION FOUND: 2520 @ 77.159
c NEW SOLUTION FOUND: 2519 @ 77.219
c NEW SOLUTION FOUND: 2518 @ 77.28
c NEW SOLUTION FOUND: 2517 @ 77.459
c NEW SOLUTION FOUND: 2516 @ 77.519
c NEW SOLUTION FOUND: 2515 @ 77.581
c NEW SOLUTION FOUND: 2514 @ 77.642
c NEW SOLUTION FOUND: 2513 @ 77.704
c NEW SOLUTION FOUND: 2512 @ 77.766
c NEW SOLUTION FOUND: 2511 @ 77.828
c NEW SOLUTION FOUND: 2510 @ 77.889
c NEW SOLUTION FOUND: 2509 @ 77.951
c NEW SOLUTION FOUND: 2508 @ 78.013
c NEW SOLUTION FOUND: 2507 @ 78.076
c NEW SOLUTION FOUND: 2506 @ 78.138
c NEW SOLUTION FOUND: 2505 @ 78.199
c NEW SOLUTION FOUND: 2504 @ 78.261
c NEW SOLUTION FOUND: 2503 @ 78.323
c NEW SOLUTION FOUND: 2502 @ 78.384
c NEW SOLUTION FOUND: 2501 @ 78.446
c NEW SOLUTION FOUND: 2500 @ 78.508
c NEW SOLUTION FOUND: 2499 @ 78.569
c NEW SOLUTION FOUND: 2498 @ 78.631
c NEW SOLUTION FOUND: 2497 @ 78.693
c NEW SOLUTION FOUND: 2496 @ 78.754
c NEW SOLUTION FOUND: 2495 @ 78.816
c NEW SOLUTION FOUND: 2494 @ 78.877
c NEW SOLUTION FOUND: 2493 @ 78.939
c NEW SOLUTION FOUND: 2492 @ 79
c NEW SOLUTION FOUND: 2491 @ 79.062
c NEW SOLUTION FOUND: 2490 @ 79.124
c NEW SOLUTION FOUND: 2489 @ 79.185
c NEW SOLUTION FOUND: 2488 @ 79.246
c NEW SOLUTION FOUND: 2487 @ 79.308
c NEW SOLUTION FOUND: 2486 @ 79.369
c NEW SOLUTION FOUND: 2485 @ 79.431
c NEW SOLUTION FOUND: 2484 @ 79.492
c NEW SOLUTION FOUND: 2483 @ 79.554
c NEW SOLUTION FOUND: 2482 @ 79.615
c NEW SOLUTION FOUND: 2481 @ 79.677
c NEW SOLUTION FOUND: 2480 @ 79.738
c NEW SOLUTION FOUND: 2479 @ 79.8
c NEW SOLUTION FOUND: 2478 @ 79.86
c NEW SOLUTION FOUND: 2477 @ 79.922
c NEW SOLUTION FOUND: 2476 @ 79.983
c NEW SOLUTION FOUND: 2475 @ 80.044
c NEW SOLUTION FOUND: 2474 @ 80.106
c NEW SOLUTION FOUND: 2473 @ 80.167
c NEW SOLUTION FOUND: 2472 @ 80.228
c NEW SOLUTION FOUND: 2471 @ 80.29
c NEW SOLUTION FOUND: 2470 @ 80.351
c NEW SOLUTION FOUND: 2469 @ 80.413
c NEW SOLUTION FOUND: 2468 @ 80.474
c NEW SOLUTION FOUND: 2467 @ 80.535
c NEW SOLUTION FOUND: 2466 @ 80.597
c NEW SOLUTION FOUND: 2465 @ 80.658
c NEW SOLUTION FOUND: 2464 @ 80.719
c NEW SOLUTION FOUND: 2463 @ 80.78
c NEW SOLUTION FOUND: 2462 @ 80.842
c NEW SOLUTION FOUND: 2461 @ 80.903
c NEW SOLUTION FOUND: 2460 @ 80.964
c NEW SOLUTION FOUND: 2459 @ 81.025
c NEW SOLUTION FOUND: 2458 @ 81.087
c NEW SOLUTION FOUND: 2457 @ 81.148
c NEW SOLUTION FOUND: 2456 @ 81.209
c NEW SOLUTION FOUND: 2455 @ 81.27
c NEW SOLUTION FOUND: 2454 @ 81.332
c NEW SOLUTION FOUND: 2453 @ 81.393
c NEW SOLUTION FOUND: 2452 @ 81.454
c NEW SOLUTION FOUND: 2451 @ 81.515
c NEW SOLUTION FOUND: 2450 @ 81.577
c NEW SOLUTION FOUND: 2449 @ 81.638
c NEW SOLUTION FOUND: 2448 @ 81.699
c NEW SOLUTION FOUND: 2447 @ 81.761
c NEW SOLUTION FOUND: 2446 @ 81.822
c NEW SOLUTION FOUND: 2445 @ 81.883
c NEW SOLUTION FOUND: 2444 @ 81.944
c NEW SOLUTION FOUND: 2443 @ 82.005
c NEW SOLUTION FOUND: 2442 @ 82.066
c NEW SOLUTION FOUND: 2441 @ 82.127
c NEW SOLUTION FOUND: 2440 @ 82.189
c NEW SOLUTION FOUND: 2439 @ 82.25
c NEW SOLUTION FOUND: 2438 @ 82.311
c NEW SOLUTION FOUND: 2437 @ 82.372
c NEW SOLUTION FOUND: 2436 @ 82.433
c NEW SOLUTION FOUND: 2435 @ 82.494
c NEW SOLUTION FOUND: 2434 @ 82.555
c NEW SOLUTION FOUND: 2433 @ 82.616
c NEW SOLUTION FOUND: 2432 @ 82.677
c NEW SOLUTION FOUND: 2431 @ 82.738
c NEW SOLUTION FOUND: 2430 @ 82.799
c NEW SOLUTION FOUND: 2429 @ 82.861
c NEW SOLUTION FOUND: 2428 @ 82.922
c NEW SOLUTION FOUND: 2427 @ 82.983
c NEW SOLUTION FOUND: 2426 @ 83.044
c NEW SOLUTION FOUND: 2425 @ 83.105
c NEW SOLUTION FOUND: 2424 @ 83.166
c NEW SOLUTION FOUND: 2423 @ 83.227
c NEW SOLUTION FOUND: 2422 @ 83.288
c NEW SOLUTION FOUND: 2421 @ 83.349
c NEW SOLUTION FOUND: 2420 @ 83.41
c NEW SOLUTION FOUND: 2419 @ 83.471
c NEW SOLUTION FOUND: 2418 @ 83.532
c NEW SOLUTION FOUND: 2417 @ 83.593
c NEW SOLUTION FOUND: 2416 @ 83.654
c NEW SOLUTION FOUND: 2415 @ 83.715
c NEW SOLUTION FOUND: 2414 @ 83.776
c NEW SOLUTION FOUND: 2413 @ 83.837
c NEW SOLUTION FOUND: 2412 @ 83.898
c NEW SOLUTION FOUND: 2411 @ 83.959
c NEW SOLUTION FOUND: 2410 @ 84.02
c NEW SOLUTION FOUND: 2409 @ 84.081
c NEW SOLUTION FOUND: 2408 @ 84.142
c NEW SOLUTION FOUND: 2407 @ 84.203
c NEW SOLUTION FOUND: 2406 @ 84.264
c NEW SOLUTION FOUND: 2405 @ 84.325
c NEW SOLUTION FOUND: 2404 @ 84.386
c NEW SOLUTION FOUND: 2403 @ 84.447
c NEW SOLUTION FOUND: 2402 @ 84.508
c NEW SOLUTION FOUND: 2401 @ 84.569
c NEW SOLUTION FOUND: 2400 @ 84.63
c NEW SOLUTION FOUND: 2399 @ 84.691
c NEW SOLUTION FOUND: 2398 @ 84.752
c NEW SOLUTION FOUND: 2397 @ 84.813
c NEW SOLUTION FOUND: 2396 @ 84.874
c NEW SOLUTION FOUND: 2395 @ 84.935
c NEW SOLUTION FOUND: 2394 @ 84.996
c NEW SOLUTION FOUND: 2393 @ 85.057
c NEW SOLUTION FOUND: 2392 @ 85.118
c NEW SOLUTION FOUND: 2391 @ 85.179
c NEW SOLUTION FOUND: 2390 @ 85.24
c NEW SOLUTION FOUND: 2389 @ 85.301
c NEW SOLUTION FOUND: 2388 @ 85.362
c NEW SOLUTION FOUND: 2387 @ 85.423
c NEW SOLUTION FOUND: 2386 @ 85.484
c NEW SOLUTION FOUND: 2385 @ 85.545
c NEW SOLUTION FOUND: 2384 @ 85.606
c NEW SOLUTION FOUND: 2383 @ 85.667
c NEW SOLUTION FOUND: 2382 @ 85.728
c NEW SOLUTION FOUND: 2381 @ 85.789
c NEW SOLUTION FOUND: 2380 @ 85.849
c NEW SOLUTION FOUND: 2379 @ 85.91
c NEW SOLUTION FOUND: 2378 @ 85.971
c NEW SOLUTION FOUND: 2377 @ 86.032
c NEW SOLUTION FOUND: 2376 @ 86.093
c NEW SOLUTION FOUND: 2375 @ 86.154
c NEW SOLUTION FOUND: 2374 @ 86.215
c NEW SOLUTION FOUND: 2373 @ 86.275
c NEW SOLUTION FOUND: 2372 @ 86.336
c NEW SOLUTION FOUND: 2371 @ 86.397
c NEW SOLUTION FOUND: 2370 @ 86.458
c NEW SOLUTION FOUND: 2369 @ 86.518
c NEW SOLUTION FOUND: 2368 @ 86.579
c NEW SOLUTION FOUND: 2367 @ 86.639
c NEW SOLUTION FOUND: 2366 @ 86.7
c NEW SOLUTION FOUND: 2365 @ 86.761
c NEW SOLUTION FOUND: 2364 @ 86.822
c NEW SOLUTION FOUND: 2363 @ 86.883
c NEW SOLUTION FOUND: 2362 @ 86.943
c NEW SOLUTION FOUND: 2361 @ 87.004
c NEW SOLUTION FOUND: 2360 @ 87.065
c NEW SOLUTION FOUND: 2359 @ 87.126
c NEW SOLUTION FOUND: 2358 @ 87.187
c NEW SOLUTION FOUND: 2357 @ 87.247
c NEW SOLUTION FOUND: 2356 @ 87.308
c NEW SOLUTION FOUND: 2355 @ 87.369
c NEW SOLUTION FOUND: 2354 @ 87.43
c NEW SOLUTION FOUND: 2353 @ 87.49
c NEW SOLUTION FOUND: 2352 @ 87.551
c NEW SOLUTION FOUND: 2351 @ 87.612
c NEW SOLUTION FOUND: 2350 @ 87.673
c NEW SOLUTION FOUND: 2349 @ 87.734
c NEW SOLUTION FOUND: 2348 @ 87.795
c NEW SOLUTION FOUND: 2347 @ 87.855
c NEW SOLUTION FOUND: 2346 @ 87.916
c NEW SOLUTION FOUND: 2345 @ 87.977
c NEW SOLUTION FOUND: 2344 @ 88.037
c NEW SOLUTION FOUND: 2343 @ 88.098
c NEW SOLUTION FOUND: 2342 @ 88.159
c NEW SOLUTION FOUND: 2341 @ 88.22
c NEW SOLUTION FOUND: 2340 @ 88.28
c NEW SOLUTION FOUND: 2339 @ 88.341
c NEW SOLUTION FOUND: 2338 @ 88.401
c NEW SOLUTION FOUND: 2337 @ 88.462
c NEW SOLUTION FOUND: 2336 @ 88.523
c NEW SOLUTION FOUND: 2335 @ 88.584
c NEW SOLUTION FOUND: 2334 @ 88.644
c NEW SOLUTION FOUND: 2333 @ 88.705
c NEW SOLUTION FOUND: 2332 @ 88.765
c NEW SOLUTION FOUND: 2331 @ 88.826
c NEW SOLUTION FOUND: 2330 @ 88.887
c NEW SOLUTION FOUND: 2329 @ 88.947
c NEW SOLUTION FOUND: 2328 @ 89.008
c NEW SOLUTION FOUND: 2327 @ 89.069
c NEW SOLUTION FOUND: 2326 @ 89.129
c NEW SOLUTION FOUND: 2325 @ 89.19
c NEW SOLUTION FOUND: 2324 @ 89.251
c NEW SOLUTION FOUND: 2323 @ 89.311
c NEW SOLUTION FOUND: 2322 @ 89.372
c NEW SOLUTION FOUND: 2321 @ 89.432
c NEW SOLUTION FOUND: 2320 @ 89.493
c NEW SOLUTION FOUND: 2319 @ 89.553
c NEW SOLUTION FOUND: 2318 @ 89.614
c NEW SOLUTION FOUND: 2317 @ 89.675
c NEW SOLUTION FOUND: 2316 @ 89.735
c NEW SOLUTION FOUND: 2315 @ 89.796
c NEW SOLUTION FOUND: 2314 @ 89.857
c NEW SOLUTION FOUND: 2313 @ 89.917
c NEW SOLUTION FOUND: 2312 @ 89.978
c NEW SOLUTION FOUND: 2311 @ 90.04
c NEW SOLUTION FOUND: 2310 @ 90.101
c NEW SOLUTION FOUND: 2309 @ 90.163
c NEW SOLUTION FOUND: 2308 @ 90.224
c NEW SOLUTION FOUND: 2307 @ 90.287
c NEW SOLUTION FOUND: 2306 @ 90.348
c NEW SOLUTION FOUND: 2305 @ 90.409
c NEW SOLUTION FOUND: 2304 @ 90.47
c NEW SOLUTION FOUND: 2303 @ 90.532
c NEW SOLUTION FOUND: 2302 @ 90.593
c NEW SOLUTION FOUND: 2301 @ 90.654
c NEW SOLUTION FOUND: 2300 @ 90.715
c NEW SOLUTION FOUND: 2299 @ 90.777
c NEW SOLUTION FOUND: 2298 @ 90.839
c NEW SOLUTION FOUND: 2297 @ 90.901
c NEW SOLUTION FOUND: 2296 @ 90.962
c NEW SOLUTION FOUND: 2295 @ 91.024
c NEW SOLUTION FOUND: 2294 @ 91.085
c NEW SOLUTION FOUND: 2293 @ 91.146
c NEW SOLUTION FOUND: 2292 @ 91.207
c NEW SOLUTION FOUND: 2291 @ 91.268
c NEW SOLUTION FOUND: 2290 @ 91.33
c NEW SOLUTION FOUND: 2289 @ 91.391
c NEW SOLUTION FOUND: 2288 @ 91.452
c NEW SOLUTION FOUND: 2287 @ 91.513
c NEW SOLUTION FOUND: 2286 @ 91.574
c NEW SOLUTION FOUND: 2285 @ 91.636
c NEW SOLUTION FOUND: 2284 @ 91.697
c NEW SOLUTION FOUND: 2283 @ 91.758
c NEW SOLUTION FOUND: 2282 @ 91.819
c NEW SOLUTION FOUND: 2281 @ 91.88
c NEW SOLUTION FOUND: 2280 @ 91.942
c NEW SOLUTION FOUND: 2279 @ 92.004
c NEW SOLUTION FOUND: 2278 @ 92.066
c NEW SOLUTION FOUND: 2277 @ 92.128
c NEW SOLUTION FOUND: 2276 @ 92.19
c NEW SOLUTION FOUND: 2275 @ 92.31
c NEW SOLUTION FOUND: 2274 @ 92.373
c NEW SOLUTION FOUND: 2273 @ 92.435
c NEW SOLUTION FOUND: 2272 @ 92.498
c NEW SOLUTION FOUND: 2271 @ 92.56
c NEW SOLUTION FOUND: 2270 @ 92.623
c NEW SOLUTION FOUND: 2269 @ 92.686
c NEW SOLUTION FOUND: 2268 @ 92.749
c NEW SOLUTION FOUND: 2267 @ 92.813
c NEW SOLUTION FOUND: 2266 @ 92.877
c NEW SOLUTION FOUND: 2265 @ 93.005
c NEW SOLUTION FOUND: 2264 @ 93.069
c NEW SOLUTION FOUND: 2263 @ 93.134
c NEW SOLUTION FOUND: 2262 @ 93.198
c NEW SOLUTION FOUND: 2261 @ 93.264
c NEW SOLUTION FOUND: 2260 @ 93.328
c NEW SOLUTION FOUND: 2259 @ 93.394
c NEW SOLUTION FOUND: 2258 @ 93.459
c NEW SOLUTION FOUND: 2257 @ 93.524
c NEW SOLUTION FOUND: 2256 @ 93.589
c NEW SOLUTION FOUND: 2255 @ 93.655
c NEW SOLUTION FOUND: 2254 @ 93.721
c NEW SOLUTION FOUND: 2253 @ 93.786
c NEW SOLUTION FOUND: 2252 @ 93.851
c NEW SOLUTION FOUND: 2251 @ 93.917
c NEW SOLUTION FOUND: 2250 @ 93.982
c NEW SOLUTION FOUND: 2249 @ 94.048
c NEW SOLUTION FOUND: 2248 @ 94.113
c NEW SOLUTION FOUND: 2247 @ 94.178
c NEW SOLUTION FOUND: 2246 @ 94.243
c NEW SOLUTION FOUND: 2245 @ 94.309
c NEW SOLUTION FOUND: 2244 @ 94.374
c NEW SOLUTION FOUND: 2243 @ 94.439
c NEW SOLUTION FOUND: 2242 @ 94.504
c NEW SOLUTION FOUND: 2241 @ 94.57
c NEW SOLUTION FOUND: 2240 @ 94.635
c NEW SOLUTION FOUND: 2239 @ 94.7
c NEW SOLUTION FOUND: 2238 @ 94.765
c NEW SOLUTION FOUND: 2237 @ 94.83
c NEW SOLUTION FOUND: 2236 @ 94.895
c NEW SOLUTION FOUND: 2235 @ 94.96
c NEW SOLUTION FOUND: 2234 @ 95.026
c NEW SOLUTION FOUND: 2233 @ 95.091
c NEW SOLUTION FOUND: 2232 @ 95.156
c NEW SOLUTION FOUND: 2231 @ 95.221
c NEW SOLUTION FOUND: 2230 @ 95.287
c NEW SOLUTION FOUND: 2229 @ 95.352
c NEW SOLUTION FOUND: 2228 @ 95.417
c NEW SOLUTION FOUND: 2227 @ 95.482
c NEW SOLUTION FOUND: 2226 @ 95.547
c NEW SOLUTION FOUND: 2225 @ 95.612
c NEW SOLUTION FOUND: 2224 @ 95.677
c NEW SOLUTION FOUND: 2223 @ 95.742
c NEW SOLUTION FOUND: 2222 @ 95.808
c NEW SOLUTION FOUND: 2221 @ 95.873
c NEW SOLUTION FOUND: 2220 @ 95.938
c NEW SOLUTION FOUND: 2219 @ 96.003
c NEW SOLUTION FOUND: 2218 @ 96.068
c NEW SOLUTION FOUND: 2217 @ 96.133
c NEW SOLUTION FOUND: 2216 @ 96.198
c NEW SOLUTION FOUND: 2215 @ 96.263
c NEW SOLUTION FOUND: 2214 @ 96.328
c NEW SOLUTION FOUND: 2213 @ 96.393
c NEW SOLUTION FOUND: 2212 @ 96.458
c NEW SOLUTION FOUND: 2211 @ 96.523
c NEW SOLUTION FOUND: 2210 @ 96.588
c NEW SOLUTION FOUND: 2209 @ 96.653
c NEW SOLUTION FOUND: 2208 @ 96.718
c NEW SOLUTION FOUND: 2207 @ 96.783
c NEW SOLUTION FOUND: 2206 @ 96.851
c NEW SOLUTION FOUND: 2205 @ 96.916
c NEW SOLUTION FOUND: 2204 @ 96.98
c NEW SOLUTION FOUND: 2203 @ 97.046
c NEW SOLUTION FOUND: 2202 @ 97.111
c NEW SOLUTION FOUND: 2201 @ 97.176
c NEW SOLUTION FOUND: 2200 @ 97.241
c NEW SOLUTION FOUND: 2199 @ 97.306
c NEW SOLUTION FOUND: 2198 @ 97.37
c NEW SOLUTION FOUND: 2197 @ 97.436
c NEW SOLUTION FOUND: 2196 @ 97.5
c NEW SOLUTION FOUND: 2195 @ 97.566
c NEW SOLUTION FOUND: 2194 @ 97.631
c NEW SOLUTION FOUND: 2193 @ 97.696
c NEW SOLUTION FOUND: 2192 @ 97.761
c NEW SOLUTION FOUND: 2191 @ 97.826
c NEW SOLUTION FOUND: 2190 @ 97.89
c NEW SOLUTION FOUND: 2189 @ 97.955
c NEW SOLUTION FOUND: 2188 @ 98.02
c NEW SOLUTION FOUND: 2187 @ 98.085
c NEW SOLUTION FOUND: 2186 @ 98.15
c NEW SOLUTION FOUND: 2185 @ 98.215
c NEW SOLUTION FOUND: 2184 @ 98.28
c NEW SOLUTION FOUND: 2183 @ 98.345
c NEW SOLUTION FOUND: 2182 @ 98.41
c NEW SOLUTION FOUND: 2181 @ 98.475
c NEW SOLUTION FOUND: 2180 @ 98.539
c NEW SOLUTION FOUND: 2179 @ 98.604
c NEW SOLUTION FOUND: 2178 @ 98.669
c NEW SOLUTION FOUND: 2177 @ 98.734
c NEW SOLUTION FOUND: 2176 @ 98.799
c NEW SOLUTION FOUND: 2175 @ 98.864
c NEW SOLUTION FOUND: 2174 @ 98.928
c NEW SOLUTION FOUND: 2173 @ 98.993
c NEW SOLUTION FOUND: 2172 @ 99.058
c NEW SOLUTION FOUND: 2171 @ 99.123
c NEW SOLUTION FOUND: 2170 @ 99.188
c NEW SOLUTION FOUND: 2169 @ 99.253
c NEW SOLUTION FOUND: 2168 @ 99.318
c NEW SOLUTION FOUND: 2167 @ 99.383
c NEW SOLUTION FOUND: 2166 @ 99.448
c NEW SOLUTION FOUND: 2165 @ 99.512
c NEW SOLUTION FOUND: 2164 @ 99.577
c NEW SOLUTION FOUND: 2163 @ 99.642
c NEW SOLUTION FOUND: 2162 @ 99.707
c NEW SOLUTION FOUND: 2161 @ 99.772
c NEW SOLUTION FOUND: 2160 @ 99.836
c NEW SOLUTION FOUND: 2159 @ 99.901
c NEW SOLUTION FOUND: 2158 @ 99.966
c NEW SOLUTION FOUND: 2157 @ 100.031
c NEW SOLUTION FOUND: 2156 @ 100.096
c NEW SOLUTION FOUND: 2155 @ 100.161
c NEW SOLUTION FOUND: 2154 @ 100.225
c NEW SOLUTION FOUND: 2153 @ 100.291
c NEW SOLUTION FOUND: 2152 @ 100.356
c NEW SOLUTION FOUND: 2151 @ 100.421
c NEW SOLUTION FOUND: 2150 @ 100.485
c NEW SOLUTION FOUND: 2149 @ 100.55
c NEW SOLUTION FOUND: 2148 @ 100.615
c NEW SOLUTION FOUND: 2147 @ 100.68
c NEW SOLUTION FOUND: 2146 @ 100.744
c NEW SOLUTION FOUND: 2145 @ 100.809
c NEW SOLUTION FOUND: 2144 @ 100.874
c NEW SOLUTION FOUND: 2143 @ 100.94
c NEW SOLUTION FOUND: 2142 @ 101.005
c NEW SOLUTION FOUND: 2141 @ 101.07
c NEW SOLUTION FOUND: 2140 @ 101.134
c NEW SOLUTION FOUND: 2139 @ 101.199
c NEW SOLUTION FOUND: 2138 @ 101.264
c NEW SOLUTION FOUND: 2137 @ 101.329
c NEW SOLUTION FOUND: 2136 @ 101.393
c NEW SOLUTION FOUND: 2135 @ 101.458
c NEW SOLUTION FOUND: 2134 @ 101.523
c NEW SOLUTION FOUND: 2133 @ 101.587
c NEW SOLUTION FOUND: 2132 @ 101.652
c NEW SOLUTION FOUND: 2131 @ 101.717
c NEW SOLUTION FOUND: 2130 @ 101.781
c NEW SOLUTION FOUND: 2129 @ 101.846
c NEW SOLUTION FOUND: 2128 @ 101.911
c NEW SOLUTION FOUND: 2127 @ 101.976
c NEW SOLUTION FOUND: 2126 @ 102.04
c NEW SOLUTION FOUND: 2125 @ 102.105
c NEW SOLUTION FOUND: 2124 @ 102.169
c NEW SOLUTION FOUND: 2123 @ 102.234
c NEW SOLUTION FOUND: 2122 @ 102.299
c NEW SOLUTION FOUND: 2121 @ 102.363
c NEW SOLUTION FOUND: 2120 @ 102.428
c NEW SOLUTION FOUND: 2119 @ 102.493
c NEW SOLUTION FOUND: 2118 @ 102.557
c NEW SOLUTION FOUND: 2117 @ 102.622
c NEW SOLUTION FOUND: 2116 @ 102.687
c NEW SOLUTION FOUND: 2115 @ 102.752
c NEW SOLUTION FOUND: 2114 @ 102.817
c NEW SOLUTION FOUND: 2113 @ 102.881
c NEW SOLUTION FOUND: 2112 @ 102.946
c NEW SOLUTION FOUND: 2111 @ 103.01
c NEW SOLUTION FOUND: 2110 @ 103.075
c NEW SOLUTION FOUND: 2109 @ 103.14
c NEW SOLUTION FOUND: 2108 @ 103.204
c NEW SOLUTION FOUND: 2107 @ 103.269
c NEW SOLUTION FOUND: 2106 @ 103.333
c NEW SOLUTION FOUND: 2105 @ 103.458
c NEW SOLUTION FOUND: 2104 @ 103.524
c NEW SOLUTION FOUND: 2103 @ 103.589
c NEW SOLUTION FOUND: 2102 @ 103.655
c NEW SOLUTION FOUND: 2101 @ 103.72
c NEW SOLUTION FOUND: 2100 @ 103.785
c NEW SOLUTION FOUND: 2099 @ 103.85
c NEW SOLUTION FOUND: 2098 @ 103.915
c NEW SOLUTION FOUND: 2097 @ 103.98
c NEW SOLUTION FOUND: 2096 @ 104.046
c NEW SOLUTION FOUND: 2095 @ 104.111
c NEW SOLUTION FOUND: 2094 @ 104.176
c NEW SOLUTION FOUND: 2093 @ 104.241
c NEW SOLUTION FOUND: 2092 @ 104.307
c NEW SOLUTION FOUND: 2091 @ 104.372
c NEW SOLUTION FOUND: 2090 @ 104.437
c NEW SOLUTION FOUND: 2089 @ 104.502
c NEW SOLUTION FOUND: 2088 @ 104.568
c NEW SOLUTION FOUND: 2087 @ 104.694
c NEW SOLUTION FOUND: 2086 @ 104.76
c NEW SOLUTION FOUND: 2085 @ 104.825
c NEW SOLUTION FOUND: 2084 @ 104.891
c NEW SOLUTION FOUND: 2083 @ 104.957
c NEW SOLUTION FOUND: 2082 @ 105.022
c NEW SOLUTION FOUND: 2081 @ 105.088
c NEW SOLUTION FOUND: 2080 @ 105.153
c NEW SOLUTION FOUND: 2079 @ 105.219
c NEW SOLUTION FOUND: 2078 @ 105.347
c NEW SOLUTION FOUND: 2077 @ 105.413
c NEW SOLUTION FOUND: 2076 @ 105.48
c NEW SOLUTION FOUND: 2075 @ 105.546
c NEW SOLUTION FOUND: 2074 @ 105.612
c NEW SOLUTION FOUND: 2073 @ 105.678
c NEW SOLUTION FOUND: 2072 @ 105.744
c NEW SOLUTION FOUND: 2071 @ 105.81
c NEW SOLUTION FOUND: 2070 @ 105.876
c NEW SOLUTION FOUND: 2069 @ 105.942
c NEW SOLUTION FOUND: 2068 @ 106.009
c NEW SOLUTION FOUND: 2067 @ 106.076
c NEW SOLUTION FOUND: 2066 @ 106.143
c NEW SOLUTION FOUND: 2065 @ 106.21
c NEW SOLUTION FOUND: 2064 @ 106.277
c NEW SOLUTION FOUND: 2063 @ 106.344
c NEW SOLUTION FOUND: 2062 @ 106.41
c NEW SOLUTION FOUND: 2061 @ 106.477
c NEW SOLUTION FOUND: 2060 @ 106.543
c NEW SOLUTION FOUND: 2059 @ 106.61
c NEW SOLUTION FOUND: 2058 @ 106.677
c NEW SOLUTION FOUND: 2057 @ 106.743
c NEW SOLUTION FOUND: 2056 @ 106.81
c NEW SOLUTION FOUND: 2055 @ 106.877
c NEW SOLUTION FOUND: 2054 @ 106.944
c NEW SOLUTION FOUND: 2053 @ 107.01
c NEW SOLUTION FOUND: 2052 @ 107.077
c NEW SOLUTION FOUND: 2051 @ 107.144
c NEW SOLUTION FOUND: 2050 @ 107.211
c NEW SOLUTION FOUND: 2049 @ 107.277
c NEW SOLUTION FOUND: 2048 @ 107.344
c NEW SOLUTION FOUND: 2047 @ 107.411
c NEW SOLUTION FOUND: 2046 @ 107.478
c NEW SOLUTION FOUND: 2045 @ 107.544
c NEW SOLUTION FOUND: 2044 @ 107.611
c NEW SOLUTION FOUND: 2043 @ 107.678
c NEW SOLUTION FOUND: 2042 @ 107.745
c NEW SOLUTION FOUND: 2041 @ 107.812
c NEW SOLUTION FOUND: 2040 @ 107.879
c NEW SOLUTION FOUND: 2039 @ 107.946
c NEW SOLUTION FOUND: 2038 @ 108.012
c NEW SOLUTION FOUND: 2037 @ 108.079
c NEW SOLUTION FOUND: 2036 @ 108.146
c NEW SOLUTION FOUND: 2035 @ 108.213
c NEW SOLUTION FOUND: 2034 @ 108.28
c NEW SOLUTION FOUND: 2033 @ 108.346
c NEW SOLUTION FOUND: 2032 @ 108.413
c NEW SOLUTION FOUND: 2031 @ 108.479
c NEW SOLUTION FOUND: 2030 @ 108.546
c NEW SOLUTION FOUND: 2029 @ 108.612
c NEW SOLUTION FOUND: 2028 @ 108.679
c NEW SOLUTION FOUND: 2027 @ 108.746
c NEW SOLUTION FOUND: 2026 @ 108.812
c NEW SOLUTION FOUND: 2025 @ 108.88
c NEW SOLUTION FOUND: 2024 @ 108.947
c NEW SOLUTION FOUND: 2023 @ 109.013
c NEW SOLUTION FOUND: 2022 @ 109.08
c NEW SOLUTION FOUND: 2021 @ 109.146
c NEW SOLUTION FOUND: 2020 @ 109.213
c NEW SOLUTION FOUND: 2019 @ 109.279
c NEW SOLUTION FOUND: 2018 @ 109.346
c NEW SOLUTION FOUND: 2017 @ 109.412
c NEW SOLUTION FOUND: 2016 @ 109.479
c NEW SOLUTION FOUND: 2015 @ 109.545
c NEW SOLUTION FOUND: 2014 @ 109.612
c NEW SOLUTION FOUND: 2013 @ 109.678
c NEW SOLUTION FOUND: 2012 @ 109.745
c NEW SOLUTION FOUND: 2011 @ 109.811
c NEW SOLUTION FOUND: 2010 @ 109.878
c NEW SOLUTION FOUND: 2009 @ 109.945
c NEW SOLUTION FOUND: 2008 @ 110.011
c NEW SOLUTION FOUND: 2007 @ 110.078
c NEW SOLUTION FOUND: 2006 @ 110.144
c NEW SOLUTION FOUND: 2005 @ 110.211
c NEW SOLUTION FOUND: 2004 @ 110.278
c NEW SOLUTION FOUND: 2003 @ 110.344
c NEW SOLUTION FOUND: 2002 @ 110.412
c NEW SOLUTION FOUND: 2001 @ 110.478
c NEW SOLUTION FOUND: 2000 @ 110.545
c NEW SOLUTION FOUND: 1999 @ 110.611
c NEW SOLUTION FOUND: 1998 @ 110.678
c NEW SOLUTION FOUND: 1997 @ 110.744
c NEW SOLUTION FOUND: 1996 @ 110.811
c NEW SOLUTION FOUND: 1995 @ 110.877
c NEW SOLUTION FOUND: 1994 @ 110.944
c NEW SOLUTION FOUND: 1993 @ 111.01
c NEW SOLUTION FOUND: 1992 @ 111.077
c NEW SOLUTION FOUND: 1991 @ 111.143
c NEW SOLUTION FOUND: 1990 @ 111.21
c NEW SOLUTION FOUND: 1989 @ 111.276
c NEW SOLUTION FOUND: 1988 @ 111.342
c NEW SOLUTION FOUND: 1987 @ 111.408
c NEW SOLUTION FOUND: 1986 @ 111.475
c NEW SOLUTION FOUND: 1985 @ 111.541
c NEW SOLUTION FOUND: 1984 @ 111.607
c NEW SOLUTION FOUND: 1983 @ 111.674
c NEW SOLUTION FOUND: 1982 @ 111.74
c NEW SOLUTION FOUND: 1981 @ 111.806
c NEW SOLUTION FOUND: 1980 @ 111.873
c NEW SOLUTION FOUND: 1979 @ 111.939
c NEW SOLUTION FOUND: 1978 @ 112.005
c NEW SOLUTION FOUND: 1977 @ 112.071
c NEW SOLUTION FOUND: 1976 @ 112.138
c NEW SOLUTION FOUND: 1975 @ 112.204
c NEW SOLUTION FOUND: 1974 @ 112.27
c NEW SOLUTION FOUND: 1973 @ 112.336
c NEW SOLUTION FOUND: 1972 @ 112.403
c NEW SOLUTION FOUND: 1971 @ 112.469
c NEW SOLUTION FOUND: 1970 @ 112.535
c NEW SOLUTION FOUND: 1969 @ 112.601
c NEW SOLUTION FOUND: 1968 @ 112.668
c NEW SOLUTION FOUND: 1967 @ 112.734
c NEW SOLUTION FOUND: 1966 @ 112.8
c NEW SOLUTION FOUND: 1965 @ 112.866
c NEW SOLUTION FOUND: 1964 @ 112.933
c NEW SOLUTION FOUND: 1963 @ 112.998
c NEW SOLUTION FOUND: 1962 @ 113.065
c NEW SOLUTION FOUND: 1961 @ 113.131
c NEW SOLUTION FOUND: 1960 @ 113.196
c NEW SOLUTION FOUND: 1959 @ 113.262
c NEW SOLUTION FOUND: 1958 @ 113.329
c NEW SOLUTION FOUND: 1957 @ 113.395
c NEW SOLUTION FOUND: 1956 @ 113.461
c NEW SOLUTION FOUND: 1955 @ 113.527
c NEW SOLUTION FOUND: 1954 @ 113.593
c NEW SOLUTION FOUND: 1953 @ 113.659
c NEW SOLUTION FOUND: 1952 @ 113.725
c NEW SOLUTION FOUND: 1951 @ 113.792
c NEW SOLUTION FOUND: 1950 @ 113.858
c NEW SOLUTION FOUND: 1949 @ 113.924
c NEW SOLUTION FOUND: 1948 @ 113.99
c NEW SOLUTION FOUND: 1947 @ 114.056
c NEW SOLUTION FOUND: 1946 @ 114.123
c NEW SOLUTION FOUND: 1945 @ 114.188
c NEW SOLUTION FOUND: 1944 @ 114.255
c NEW SOLUTION FOUND: 1943 @ 114.321
c NEW SOLUTION FOUND: 1942 @ 114.387
c NEW SOLUTION FOUND: 1941 @ 114.453
c NEW SOLUTION FOUND: 1940 @ 114.519
c NEW SOLUTION FOUND: 1939 @ 114.585
c NEW SOLUTION FOUND: 1938 @ 114.652
c NEW SOLUTION FOUND: 1937 @ 114.717
c NEW SOLUTION FOUND: 1936 @ 114.783
c NEW SOLUTION FOUND: 1935 @ 114.851
c NEW SOLUTION FOUND: 1934 @ 114.917
c NEW SOLUTION FOUND: 1933 @ 114.983
c NEW SOLUTION FOUND: 1932 @ 115.049
c NEW SOLUTION FOUND: 1931 @ 115.115
c NEW SOLUTION FOUND: 1930 @ 115.181
c NEW SOLUTION FOUND: 1929 @ 115.248
c NEW SOLUTION FOUND: 1928 @ 115.315
c NEW SOLUTION FOUND: 1927 @ 115.381
c NEW SOLUTION FOUND: 1926 @ 115.447
c NEW SOLUTION FOUND: 1925 @ 115.513
c NEW SOLUTION FOUND: 1924 @ 115.579
c NEW SOLUTION FOUND: 1923 @ 115.645
c NEW SOLUTION FOUND: 1922 @ 115.711
c NEW SOLUTION FOUND: 1921 @ 115.777
c NEW SOLUTION FOUND: 1920 @ 115.843
c NEW SOLUTION FOUND: 1919 @ 115.909
c NEW SOLUTION FOUND: 1918 @ 115.975
c NEW SOLUTION FOUND: 1917 @ 116.041
c NEW SOLUTION FOUND: 1916 @ 116.107
c NEW SOLUTION FOUND: 1915 @ 116.173
c NEW SOLUTION FOUND: 1914 @ 116.239
c NEW SOLUTION FOUND: 1913 @ 116.305
c NEW SOLUTION FOUND: 1912 @ 116.371
c NEW SOLUTION FOUND: 1911 @ 116.438
c NEW SOLUTION FOUND: 1910 @ 116.504
c NEW SOLUTION FOUND: 1909 @ 116.57
c NEW SOLUTION FOUND: 1908 @ 116.636
c NEW SOLUTION FOUND: 1907 @ 116.702
c NEW SOLUTION FOUND: 1906 @ 116.768
c NEW SOLUTION FOUND: 1905 @ 116.834
c NEW SOLUTION FOUND: 1904 @ 116.9
c NEW SOLUTION FOUND: 1903 @ 116.966
c NEW SOLUTION FOUND: 1902 @ 117.032
c NEW SOLUTION FOUND: 1901 @ 117.099
c NEW SOLUTION FOUND: 1900 @ 117.165
c NEW SOLUTION FOUND: 1899 @ 117.23
c NEW SOLUTION FOUND: 1898 @ 117.297
c NEW SOLUTION FOUND: 1897 @ 117.363
c NEW SOLUTION FOUND: 1896 @ 117.429
c NEW SOLUTION FOUND: 1895 @ 117.495
c NEW SOLUTION FOUND: 1894 @ 117.561
c NEW SOLUTION FOUND: 1893 @ 117.627
c NEW SOLUTION FOUND: 1892 @ 117.693
c NEW SOLUTION FOUND: 1891 @ 117.758
c NEW SOLUTION FOUND: 1890 @ 117.824
c NEW SOLUTION FOUND: 1889 @ 117.89
c NEW SOLUTION FOUND: 1888 @ 117.956
c NEW SOLUTION FOUND: 1887 @ 118.022
c NEW SOLUTION FOUND: 1886 @ 118.088
c NEW SOLUTION FOUND: 1885 @ 118.154
c NEW SOLUTION FOUND: 1884 @ 118.22
c NEW SOLUTION FOUND: 1883 @ 118.286
c NEW SOLUTION FOUND: 1882 @ 118.352
c NEW SOLUTION FOUND: 1881 @ 118.418
c NEW SOLUTION FOUND: 1880 @ 118.484
c NEW SOLUTION FOUND: 1879 @ 118.549
c NEW SOLUTION FOUND: 1878 @ 118.615
c NEW SOLUTION FOUND: 1877 @ 118.681
c NEW SOLUTION FOUND: 1876 @ 118.747
c NEW SOLUTION FOUND: 1875 @ 118.813
c NEW SOLUTION FOUND: 1874 @ 118.879
c NEW SOLUTION FOUND: 1873 @ 118.945
c NEW SOLUTION FOUND: 1872 @ 119.011
c NEW SOLUTION FOUND: 1871 @ 119.077
c NEW SOLUTION FOUND: 1870 @ 119.142
c NEW SOLUTION FOUND: 1869 @ 119.208
c NEW SOLUTION FOUND: 1868 @ 119.274
c NEW SOLUTION FOUND: 1867 @ 119.34
c NEW SOLUTION FOUND: 1866 @ 119.406
c NEW SOLUTION FOUND: 1865 @ 119.472
c NEW SOLUTION FOUND: 1864 @ 119.538
c NEW SOLUTION FOUND: 1863 @ 119.603
c NEW SOLUTION FOUND: 1862 @ 119.669
c NEW SOLUTION FOUND: 1861 @ 119.735
c NEW SOLUTION FOUND: 1860 @ 119.801
c NEW SOLUTION FOUND: 1859 @ 119.866
c NEW SOLUTION FOUND: 1858 @ 119.932
c NEW SOLUTION FOUND: 1857 @ 119.999
c NEW SOLUTION FOUND: 1856 @ 120.065
c NEW SOLUTION FOUND: 1855 @ 120.131
c NEW SOLUTION FOUND: 1854 @ 120.196
c NEW SOLUTION FOUND: 1853 @ 120.263
c NEW SOLUTION FOUND: 1852 @ 120.329
c NEW SOLUTION FOUND: 1851 @ 120.395
c NEW SOLUTION FOUND: 1850 @ 120.461
c NEW SOLUTION FOUND: 1849 @ 120.527
c NEW SOLUTION FOUND: 1848 @ 120.593
c NEW SOLUTION FOUND: 1847 @ 120.659
c NEW SOLUTION FOUND: 1846 @ 120.725
c NEW SOLUTION FOUND: 1845 @ 120.79
c NEW SOLUTION FOUND: 1844 @ 120.856
c NEW SOLUTION FOUND: 1843 @ 120.923
c NEW SOLUTION FOUND: 1842 @ 120.989
c NEW SOLUTION FOUND: 1841 @ 121.055
c NEW SOLUTION FOUND: 1840 @ 121.121
c NEW SOLUTION FOUND: 1839 @ 121.186
c NEW SOLUTION FOUND: 1838 @ 121.252
c NEW SOLUTION FOUND: 1837 @ 121.318
c NEW SOLUTION FOUND: 1836 @ 121.384
c NEW SOLUTION FOUND: 1835 @ 121.449
c NEW SOLUTION FOUND: 1834 @ 121.515
c NEW SOLUTION FOUND: 1833 @ 121.581
c NEW SOLUTION FOUND: 1832 @ 121.646
c NEW SOLUTION FOUND: 1831 @ 121.713
c NEW SOLUTION FOUND: 1830 @ 121.778
c NEW SOLUTION FOUND: 1829 @ 121.844
c NEW SOLUTION FOUND: 1828 @ 121.91
c NEW SOLUTION FOUND: 1827 @ 121.975
c NEW SOLUTION FOUND: 1826 @ 122.041
c NEW SOLUTION FOUND: 1825 @ 122.107
c NEW SOLUTION FOUND: 1824 @ 122.173
c NEW SOLUTION FOUND: 1823 @ 122.238
c NEW SOLUTION FOUND: 1822 @ 122.304
c NEW SOLUTION FOUND: 1821 @ 122.37
c NEW SOLUTION FOUND: 1820 @ 122.435
c NEW SOLUTION FOUND: 1819 @ 122.501
c NEW SOLUTION FOUND: 1818 @ 122.567
c NEW SOLUTION FOUND: 1817 @ 122.632
c NEW SOLUTION FOUND: 1816 @ 122.698
c NEW SOLUTION FOUND: 1815 @ 122.764
c NEW SOLUTION FOUND: 1814 @ 122.831
c NEW SOLUTION FOUND: 1813 @ 122.898
c NEW SOLUTION FOUND: 1812 @ 122.965
c NEW SOLUTION FOUND: 1811 @ 123.031
c NEW SOLUTION FOUND: 1810 @ 123.098
c NEW SOLUTION FOUND: 1809 @ 123.165
c NEW SOLUTION FOUND: 1808 @ 123.233
c NEW SOLUTION FOUND: 1807 @ 123.3
c NEW SOLUTION FOUND: 1806 @ 123.366
c NEW SOLUTION FOUND: 1805 @ 123.433
c NEW SOLUTION FOUND: 1804 @ 123.5
c NEW SOLUTION FOUND: 1803 @ 123.567
c NEW SOLUTION FOUND: 1802 @ 123.634
c NEW SOLUTION FOUND: 1801 @ 123.701
c NEW SOLUTION FOUND: 1800 @ 123.768
c NEW SOLUTION FOUND: 1799 @ 123.835
c NEW SOLUTION FOUND: 1798 @ 123.902
c NEW SOLUTION FOUND: 1797 @ 123.968
c NEW SOLUTION FOUND: 1796 @ 124.036
c NEW SOLUTION FOUND: 1795 @ 124.102
c NEW SOLUTION FOUND: 1794 @ 124.169
c NEW SOLUTION FOUND: 1793 @ 124.236
c NEW SOLUTION FOUND: 1792 @ 124.302
c NEW SOLUTION FOUND: 1791 @ 124.369
c NEW SOLUTION FOUND: 1790 @ 124.436
c NEW SOLUTION FOUND: 1789 @ 124.503
c NEW SOLUTION FOUND: 1788 @ 124.57
c NEW SOLUTION FOUND: 1787 @ 124.637
c NEW SOLUTION FOUND: 1786 @ 124.704
c NEW SOLUTION FOUND: 1785 @ 124.771
c NEW SOLUTION FOUND: 1784 @ 124.837
c NEW SOLUTION FOUND: 1783 @ 124.904
c NEW SOLUTION FOUND: 1782 @ 124.971
c NEW SOLUTION FOUND: 1781 @ 125.037
c NEW SOLUTION FOUND: 1780 @ 125.105
c NEW SOLUTION FOUND: 1779 @ 125.172
c NEW SOLUTION FOUND: 1778 @ 125.239
c NEW SOLUTION FOUND: 1777 @ 125.306
c NEW SOLUTION FOUND: 1776 @ 125.373
c NEW SOLUTION FOUND: 1775 @ 125.439
c NEW SOLUTION FOUND: 1774 @ 125.506
c NEW SOLUTION FOUND: 1773 @ 125.572
c NEW SOLUTION FOUND: 1772 @ 125.639
c NEW SOLUTION FOUND: 1771 @ 125.705
c NEW SOLUTION FOUND: 1770 @ 125.772
c NEW SOLUTION FOUND: 1769 @ 125.838
c NEW SOLUTION FOUND: 1768 @ 125.905
c NEW SOLUTION FOUND: 1767 @ 125.971
c NEW SOLUTION FOUND: 1766 @ 126.037
c NEW SOLUTION FOUND: 1765 @ 126.104
c NEW SOLUTION FOUND: 1764 @ 126.171
c NEW SOLUTION FOUND: 1763 @ 126.237
c NEW SOLUTION FOUND: 1762 @ 126.304
c NEW SOLUTION FOUND: 1761 @ 126.37
c NEW SOLUTION FOUND: 1760 @ 126.437
c NEW SOLUTION FOUND: 1759 @ 126.502
c NEW SOLUTION FOUND: 1758 @ 126.569
c NEW SOLUTION FOUND: 1757 @ 126.636
c NEW SOLUTION FOUND: 1756 @ 126.703
c NEW SOLUTION FOUND: 1755 @ 126.769
c NEW SOLUTION FOUND: 1754 @ 126.837
c NEW SOLUTION FOUND: 1753 @ 126.904
c NEW SOLUTION FOUND: 1752 @ 126.97
c NEW SOLUTION FOUND: 1751 @ 127.036
c NEW SOLUTION FOUND: 1750 @ 127.103
c NEW SOLUTION FOUND: 1749 @ 127.232
c NEW SOLUTION FOUND: 1748 @ 127.301
c NEW SOLUTION FOUND: 1747 @ 127.369
c NEW SOLUTION FOUND: 1746 @ 127.437
c NEW SOLUTION FOUND: 1745 @ 127.505
c NEW SOLUTION FOUND: 1744 @ 127.573
c NEW SOLUTION FOUND: 1743 @ 127.641
c NEW SOLUTION FOUND: 1742 @ 127.709
c NEW SOLUTION FOUND: 1741 @ 127.777
c NEW SOLUTION FOUND: 1740 @ 127.845
c NEW SOLUTION FOUND: 1739 @ 127.913
c NEW SOLUTION FOUND: 1738 @ 127.98
c NEW SOLUTION FOUND: 1737 @ 128.048
c NEW SOLUTION FOUND: 1736 @ 128.116
c NEW SOLUTION FOUND: 1735 @ 128.185
c NEW SOLUTION FOUND: 1734 @ 128.252
c NEW SOLUTION FOUND: 1733 @ 128.32
c NEW SOLUTION FOUND: 1732 @ 128.388
c NEW SOLUTION FOUND: 1731 @ 128.456
c NEW SOLUTION FOUND: 1730 @ 128.523
c NEW SOLUTION FOUND: 1729 @ 128.591
c NEW SOLUTION FOUND: 1728 @ 128.659
c NEW SOLUTION FOUND: 1727 @ 128.726
c NEW SOLUTION FOUND: 1726 @ 128.794
c NEW SOLUTION FOUND: 1725 @ 128.861
c NEW SOLUTION FOUND: 1724 @ 128.929
c NEW SOLUTION FOUND: 1723 @ 128.997
c NEW SOLUTION FOUND: 1722 @ 129.065
c NEW SOLUTION FOUND: 1721 @ 129.132
c NEW SOLUTION FOUND: 1720 @ 129.2
c NEW SOLUTION FOUND: 1719 @ 129.268
c NEW SOLUTION FOUND: 1718 @ 129.336
c NEW SOLUTION FOUND: 1717 @ 129.404
c NEW SOLUTION FOUND: 1716 @ 129.536
c NEW SOLUTION FOUND: 1715 @ 129.605
c NEW SOLUTION FOUND: 1714 @ 129.674
c NEW SOLUTION FOUND: 1713 @ 129.742
c NEW SOLUTION FOUND: 1712 @ 129.81
c NEW SOLUTION FOUND: 1711 @ 129.947
c NEW SOLUTION FOUND: 1710 @ 130.016
c NEW SOLUTION FOUND: 1709 @ 130.086
c NEW SOLUTION FOUND: 1708 @ 130.156
c NEW SOLUTION FOUND: 1707 @ 130.227
c NEW SOLUTION FOUND: 1706 @ 130.3
c NEW SOLUTION FOUND: 1705 @ 130.37
c NEW SOLUTION FOUND: 1704 @ 130.441
c NEW SOLUTION FOUND: 1703 @ 130.512
c NEW SOLUTION FOUND: 1702 @ 130.582
c NEW SOLUTION FOUND: 1701 @ 130.653
c NEW SOLUTION FOUND: 1700 @ 130.724
c NEW SOLUTION FOUND: 1699 @ 130.794
c NEW SOLUTION FOUND: 1698 @ 130.865
c NEW SOLUTION FOUND: 1697 @ 130.937
c NEW SOLUTION FOUND: 1696 @ 131.007
c NEW SOLUTION FOUND: 1695 @ 131.077
c NEW SOLUTION FOUND: 1694 @ 131.148
c NEW SOLUTION FOUND: 1693 @ 131.218
c NEW SOLUTION FOUND: 1692 @ 131.289
c NEW SOLUTION FOUND: 1691 @ 131.359
c NEW SOLUTION FOUND: 1690 @ 131.43
c NEW SOLUTION FOUND: 1689 @ 131.501
c NEW SOLUTION FOUND: 1688 @ 131.572
c NEW SOLUTION FOUND: 1687 @ 131.642
c NEW SOLUTION FOUND: 1686 @ 131.713
c NEW SOLUTION FOUND: 1685 @ 131.783
c NEW SOLUTION FOUND: 1684 @ 131.853
c NEW SOLUTION FOUND: 1683 @ 131.925
c NEW SOLUTION FOUND: 1682 @ 131.995
c NEW SOLUTION FOUND: 1681 @ 132.066
c NEW SOLUTION FOUND: 1680 @ 132.137
c NEW SOLUTION FOUND: 1679 @ 132.207
c NEW SOLUTION FOUND: 1678 @ 132.278
c NEW SOLUTION FOUND: 1677 @ 132.348
c NEW SOLUTION FOUND: 1676 @ 132.419
c NEW SOLUTION FOUND: 1675 @ 132.489
c NEW SOLUTION FOUND: 1674 @ 132.559
c NEW SOLUTION FOUND: 1673 @ 132.629
c NEW SOLUTION FOUND: 1672 @ 132.7
c NEW SOLUTION FOUND: 1671 @ 132.771
c NEW SOLUTION FOUND: 1670 @ 132.908
c NEW SOLUTION FOUND: 1669 @ 132.979
c NEW SOLUTION FOUND: 1668 @ 133.05
c NEW SOLUTION FOUND: 1667 @ 133.121
c NEW SOLUTION FOUND: 1666 @ 133.191
c NEW SOLUTION FOUND: 1665 @ 133.262
c NEW SOLUTION FOUND: 1664 @ 133.333
c NEW SOLUTION FOUND: 1663 @ 133.404
c NEW SOLUTION FOUND: 1662 @ 133.474
c NEW SOLUTION FOUND: 1661 @ 133.544
c NEW SOLUTION FOUND: 1660 @ 133.615
c NEW SOLUTION FOUND: 1659 @ 133.686
c NEW SOLUTION FOUND: 1658 @ 133.757
c NEW SOLUTION FOUND: 1657 @ 133.829
c NEW SOLUTION FOUND: 1656 @ 133.9
c NEW SOLUTION FOUND: 1655 @ 133.971
c NEW SOLUTION FOUND: 1654 @ 134.043
c NEW SOLUTION FOUND: 1653 @ 134.114
c NEW SOLUTION FOUND: 1652 @ 134.185
c NEW SOLUTION FOUND: 1651 @ 134.256
c NEW SOLUTION FOUND: 1650 @ 134.327
c NEW SOLUTION FOUND: 1649 @ 134.398
c NEW SOLUTION FOUND: 1648 @ 134.469
c NEW SOLUTION FOUND: 1647 @ 134.54
c NEW SOLUTION FOUND: 1646 @ 134.611
c NEW SOLUTION FOUND: 1645 @ 134.683
c NEW SOLUTION FOUND: 1644 @ 134.754
c NEW SOLUTION FOUND: 1643 @ 134.825
c NEW SOLUTION FOUND: 1642 @ 134.896
c NEW SOLUTION FOUND: 1641 @ 134.967
c NEW SOLUTION FOUND: 1640 @ 135.038
c NEW SOLUTION FOUND: 1639 @ 135.109
c NEW SOLUTION FOUND: 1638 @ 135.18
c NEW SOLUTION FOUND: 1637 @ 135.252
c NEW SOLUTION FOUND: 1636 @ 135.323
c NEW SOLUTION FOUND: 1635 @ 135.394
c NEW SOLUTION FOUND: 1634 @ 135.464
c NEW SOLUTION FOUND: 1633 @ 135.536
c NEW SOLUTION FOUND: 1632 @ 135.606
c NEW SOLUTION FOUND: 1631 @ 135.678
c NEW SOLUTION FOUND: 1630 @ 135.749
c NEW SOLUTION FOUND: 1629 @ 135.819
c NEW SOLUTION FOUND: 1628 @ 135.89
c NEW SOLUTION FOUND: 1627 @ 135.962
c NEW SOLUTION FOUND: 1626 @ 136.033
c NEW SOLUTION FOUND: 1625 @ 136.104
c NEW SOLUTION FOUND: 1624 @ 136.175
c NEW SOLUTION FOUND: 1623 @ 136.246
c NEW SOLUTION FOUND: 1622 @ 136.316
c NEW SOLUTION FOUND: 1621 @ 136.387
c NEW SOLUTION FOUND: 1620 @ 136.457
c NEW SOLUTION FOUND: 1619 @ 136.528
c NEW SOLUTION FOUND: 1618 @ 136.598
c NEW SOLUTION FOUND: 1617 @ 136.669
c NEW SOLUTION FOUND: 1616 @ 136.739
c NEW SOLUTION FOUND: 1615 @ 136.81
c NEW SOLUTION FOUND: 1614 @ 136.88
c NEW SOLUTION FOUND: 1613 @ 136.951
c NEW SOLUTION FOUND: 1612 @ 137.022
c NEW SOLUTION FOUND: 1611 @ 137.093
c NEW SOLUTION FOUND: 1610 @ 137.164
c NEW SOLUTION FOUND: 1609 @ 137.235
c NEW SOLUTION FOUND: 1608 @ 137.306
c NEW SOLUTION FOUND: 1607 @ 137.377
c NEW SOLUTION FOUND: 1606 @ 137.447
c NEW SOLUTION FOUND: 1605 @ 137.517
c NEW SOLUTION FOUND: 1604 @ 137.588
c NEW SOLUTION FOUND: 1603 @ 137.658
c NEW SOLUTION FOUND: 1602 @ 137.729
c NEW SOLUTION FOUND: 1601 @ 137.799
c NEW SOLUTION FOUND: 1600 @ 137.871
c NEW SOLUTION FOUND: 1599 @ 137.941
c NEW SOLUTION FOUND: 1598 @ 138.012
c NEW SOLUTION FOUND: 1597 @ 138.082
c NEW SOLUTION FOUND: 1596 @ 138.152
c NEW SOLUTION FOUND: 1595 @ 138.223
c NEW SOLUTION FOUND: 1594 @ 138.294
c NEW SOLUTION FOUND: 1593 @ 138.364
c NEW SOLUTION FOUND: 1592 @ 138.435
c NEW SOLUTION FOUND: 1591 @ 138.506
c NEW SOLUTION FOUND: 1590 @ 138.576
c NEW SOLUTION FOUND: 1589 @ 138.647
c NEW SOLUTION FOUND: 1588 @ 138.718
c NEW SOLUTION FOUND: 1587 @ 138.789
c NEW SOLUTION FOUND: 1586 @ 138.931
c NEW SOLUTION FOUND: 1585 @ 139.002
c NEW SOLUTION FOUND: 1584 @ 139.073
c NEW SOLUTION FOUND: 1583 @ 139.145
c NEW SOLUTION FOUND: 1582 @ 139.216
c NEW SOLUTION FOUND: 1581 @ 139.287
c NEW SOLUTION FOUND: 1580 @ 139.359
c NEW SOLUTION FOUND: 1579 @ 139.431
c NEW SOLUTION FOUND: 1578 @ 139.503
c NEW SOLUTION FOUND: 1577 @ 139.575
c NEW SOLUTION FOUND: 1576 @ 139.647
c NEW SOLUTION FOUND: 1575 @ 139.719
c NEW SOLUTION FOUND: 1574 @ 139.791
c NEW SOLUTION FOUND: 1573 @ 139.862
c NEW SOLUTION FOUND: 1572 @ 139.934
c NEW SOLUTION FOUND: 1571 @ 140.007
c NEW SOLUTION FOUND: 1570 @ 140.079
c NEW SOLUTION FOUND: 1569 @ 140.151
c NEW SOLUTION FOUND: 1568 @ 140.223
c NEW SOLUTION FOUND: 1567 @ 140.295
c NEW SOLUTION FOUND: 1566 @ 140.367
c NEW SOLUTION FOUND: 1565 @ 140.44
c NEW SOLUTION FOUND: 1564 @ 140.511
c NEW SOLUTION FOUND: 1563 @ 140.583
c NEW SOLUTION FOUND: 1562 @ 140.655
c NEW SOLUTION FOUND: 1561 @ 140.726
c NEW SOLUTION FOUND: 1560 @ 140.798
c NEW SOLUTION FOUND: 1559 @ 140.87
c NEW SOLUTION FOUND: 1558 @ 140.942
c NEW SOLUTION FOUND: 1557 @ 141.014
c NEW SOLUTION FOUND: 1556 @ 141.086
c NEW SOLUTION FOUND: 1555 @ 141.157
c NEW SOLUTION FOUND: 1554 @ 141.228
c NEW SOLUTION FOUND: 1553 @ 141.3
c NEW SOLUTION FOUND: 1552 @ 141.372
c NEW SOLUTION FOUND: 1551 @ 141.444
c NEW SOLUTION FOUND: 1550 @ 141.516
c NEW SOLUTION FOUND: 1549 @ 141.588
c NEW SOLUTION FOUND: 1548 @ 141.659
c NEW SOLUTION FOUND: 1547 @ 141.731
c NEW SOLUTION FOUND: 1546 @ 141.802
c NEW SOLUTION FOUND: 1545 @ 141.874
c NEW SOLUTION FOUND: 1544 @ 141.945
c NEW SOLUTION FOUND: 1543 @ 142.017
c NEW SOLUTION FOUND: 1542 @ 142.089
c NEW SOLUTION FOUND: 1541 @ 142.16
c NEW SOLUTION FOUND: 1540 @ 142.231
c NEW SOLUTION FOUND: 1539 @ 142.303
c NEW SOLUTION FOUND: 1538 @ 142.374
c NEW SOLUTION FOUND: 1537 @ 142.446
c NEW SOLUTION FOUND: 1536 @ 142.517
c NEW SOLUTION FOUND: 1535 @ 142.588
c NEW SOLUTION FOUND: 1534 @ 142.66
c NEW SOLUTION FOUND: 1533 @ 142.731
c NEW SOLUTION FOUND: 1532 @ 142.803
c NEW SOLUTION FOUND: 1531 @ 142.874
c NEW SOLUTION FOUND: 1530 @ 142.946
c NEW SOLUTION FOUND: 1529 @ 143.017
c NEW SOLUTION FOUND: 1528 @ 143.089
c NEW SOLUTION FOUND: 1527 @ 143.161
c NEW SOLUTION FOUND: 1526 @ 143.233
c NEW SOLUTION FOUND: 1525 @ 143.304
c NEW SOLUTION FOUND: 1524 @ 143.375
c NEW SOLUTION FOUND: 1523 @ 143.447
c NEW SOLUTION FOUND: 1522 @ 143.518
c NEW SOLUTION FOUND: 1521 @ 143.589
c NEW SOLUTION FOUND: 1520 @ 143.661
c NEW SOLUTION FOUND: 1519 @ 143.732
c NEW SOLUTION FOUND: 1518 @ 143.803
c NEW SOLUTION FOUND: 1517 @ 143.875
c NEW SOLUTION FOUND: 1516 @ 143.947
c NEW SOLUTION FOUND: 1515 @ 144.018
c NEW SOLUTION FOUND: 1514 @ 144.089
c NEW SOLUTION FOUND: 1513 @ 144.16
c NEW SOLUTION FOUND: 1512 @ 144.232
c NEW SOLUTION FOUND: 1511 @ 144.304
c NEW SOLUTION FOUND: 1510 @ 144.374
c NEW SOLUTION FOUND: 1509 @ 144.446
c NEW SOLUTION FOUND: 1508 @ 144.517
c NEW SOLUTION FOUND: 1507 @ 144.588
c NEW SOLUTION FOUND: 1506 @ 144.659
c NEW SOLUTION FOUND: 1505 @ 144.731
c NEW SOLUTION FOUND: 1504 @ 144.802
c NEW SOLUTION FOUND: 1503 @ 144.874
c NEW SOLUTION FOUND: 1502 @ 144.945
c NEW SOLUTION FOUND: 1501 @ 145.016
c NEW SOLUTION FOUND: 1500 @ 145.088
c NEW SOLUTION FOUND: 1499 @ 145.159
c NEW SOLUTION FOUND: 1498 @ 145.23
c NEW SOLUTION FOUND: 1497 @ 145.304
c NEW SOLUTION FOUND: 1496 @ 145.376
c NEW SOLUTION FOUND: 1495 @ 145.447
c NEW SOLUTION FOUND: 1494 @ 145.519
c NEW SOLUTION FOUND: 1493 @ 145.591
c NEW SOLUTION FOUND: 1492 @ 145.663
c NEW SOLUTION FOUND: 1491 @ 145.735
c NEW SOLUTION FOUND: 1490 @ 145.807
c NEW SOLUTION FOUND: 1489 @ 145.88
c NEW SOLUTION FOUND: 1488 @ 145.952
c NEW SOLUTION FOUND: 1487 @ 146.097
c NEW SOLUTION FOUND: 1486 @ 146.171
c NEW SOLUTION FOUND: 1485 @ 146.245
c NEW SOLUTION FOUND: 1484 @ 146.32
c NEW SOLUTION FOUND: 1483 @ 146.393
c NEW SOLUTION FOUND: 1482 @ 146.468
c NEW SOLUTION FOUND: 1481 @ 146.541
c NEW SOLUTION FOUND: 1480 @ 146.617
c NEW SOLUTION FOUND: 1479 @ 146.691
c NEW SOLUTION FOUND: 1478 @ 146.765
c NEW SOLUTION FOUND: 1477 @ 146.839
c NEW SOLUTION FOUND: 1476 @ 146.914
c NEW SOLUTION FOUND: 1475 @ 146.988
c NEW SOLUTION FOUND: 1474 @ 147.064
c NEW SOLUTION FOUND: 1473 @ 147.138
c NEW SOLUTION FOUND: 1472 @ 147.213
c NEW SOLUTION FOUND: 1471 @ 147.288
c NEW SOLUTION FOUND: 1470 @ 147.363
c NEW SOLUTION FOUND: 1469 @ 147.437
c NEW SOLUTION FOUND: 1468 @ 147.512
c NEW SOLUTION FOUND: 1467 @ 147.586
c NEW SOLUTION FOUND: 1466 @ 147.661
c NEW SOLUTION FOUND: 1465 @ 147.736
c NEW SOLUTION FOUND: 1464 @ 147.81
c NEW SOLUTION FOUND: 1463 @ 147.884
c NEW SOLUTION FOUND: 1462 @ 147.959
c NEW SOLUTION FOUND: 1461 @ 148.033
c NEW SOLUTION FOUND: 1460 @ 148.108
c NEW SOLUTION FOUND: 1459 @ 148.182
c NEW SOLUTION FOUND: 1458 @ 148.257
c NEW SOLUTION FOUND: 1457 @ 148.331
c NEW SOLUTION FOUND: 1456 @ 148.405
c NEW SOLUTION FOUND: 1455 @ 148.479
c NEW SOLUTION FOUND: 1454 @ 148.553
c NEW SOLUTION FOUND: 1453 @ 148.628
c NEW SOLUTION FOUND: 1452 @ 148.702
c NEW SOLUTION FOUND: 1451 @ 148.776
c NEW SOLUTION FOUND: 1450 @ 148.851
c NEW SOLUTION FOUND: 1449 @ 148.926
c NEW SOLUTION FOUND: 1448 @ 149
c NEW SOLUTION FOUND: 1447 @ 149.074
c NEW SOLUTION FOUND: 1446 @ 149.147
c NEW SOLUTION FOUND: 1445 @ 149.221
c NEW SOLUTION FOUND: 1444 @ 149.295
c NEW SOLUTION FOUND: 1443 @ 149.37
c NEW SOLUTION FOUND: 1442 @ 149.445
c NEW SOLUTION FOUND: 1441 @ 149.519
c NEW SOLUTION FOUND: 1440 @ 149.593
c NEW SOLUTION FOUND: 1439 @ 149.668
c NEW SOLUTION FOUND: 1438 @ 149.744
c NEW SOLUTION FOUND: 1437 @ 149.819
c NEW SOLUTION FOUND: 1436 @ 149.894
c NEW SOLUTION FOUND: 1435 @ 149.969
c NEW SOLUTION FOUND: 1434 @ 150.043
c NEW SOLUTION FOUND: 1433 @ 150.118
c NEW SOLUTION FOUND: 1432 @ 150.193
c NEW SOLUTION FOUND: 1431 @ 150.268
c NEW SOLUTION FOUND: 1430 @ 150.343
c NEW SOLUTION FOUND: 1429 @ 150.418
c NEW SOLUTION FOUND: 1428 @ 150.493
c NEW SOLUTION FOUND: 1427 @ 150.567
c NEW SOLUTION FOUND: 1426 @ 150.641
c NEW SOLUTION FOUND: 1425 @ 150.716
c NEW SOLUTION FOUND: 1424 @ 150.791
c NEW SOLUTION FOUND: 1423 @ 150.866
c NEW SOLUTION FOUND: 1422 @ 150.94
c NEW SOLUTION FOUND: 1421 @ 151.014
c NEW SOLUTION FOUND: 1420 @ 151.088
c NEW SOLUTION FOUND: 1419 @ 151.163
c NEW SOLUTION FOUND: 1418 @ 151.237
c NEW SOLUTION FOUND: 1417 @ 151.311
c NEW SOLUTION FOUND: 1416 @ 151.384
c NEW SOLUTION FOUND: 1415 @ 151.459
c NEW SOLUTION FOUND: 1414 @ 151.533
c NEW SOLUTION FOUND: 1413 @ 151.608
c NEW SOLUTION FOUND: 1412 @ 151.682
c NEW SOLUTION FOUND: 1411 @ 151.756
c NEW SOLUTION FOUND: 1410 @ 151.83
c NEW SOLUTION FOUND: 1409 @ 151.904
c NEW SOLUTION FOUND: 1408 @ 151.978
c NEW SOLUTION FOUND: 1407 @ 152.053
c NEW SOLUTION FOUND: 1406 @ 152.127
c NEW SOLUTION FOUND: 1405 @ 152.201
c NEW SOLUTION FOUND: 1404 @ 152.274
c NEW SOLUTION FOUND: 1403 @ 152.349
c NEW SOLUTION FOUND: 1402 @ 152.422
c NEW SOLUTION FOUND: 1401 @ 152.496
c NEW SOLUTION FOUND: 1400 @ 152.57
c NEW SOLUTION FOUND: 1399 @ 152.645
c NEW SOLUTION FOUND: 1398 @ 152.718
c NEW SOLUTION FOUND: 1397 @ 152.793
c NEW SOLUTION FOUND: 1396 @ 152.867
c NEW SOLUTION FOUND: 1395 @ 152.942
c NEW SOLUTION FOUND: 1394 @ 153.015
c NEW SOLUTION FOUND: 1393 @ 153.09
c NEW SOLUTION FOUND: 1392 @ 153.163
c NEW SOLUTION FOUND: 1391 @ 153.237
c NEW SOLUTION FOUND: 1390 @ 153.311
c NEW SOLUTION FOUND: 1389 @ 153.385
c NEW SOLUTION FOUND: 1388 @ 153.459
c NEW SOLUTION FOUND: 1387 @ 153.533
c NEW SOLUTION FOUND: 1386 @ 153.607
c NEW SOLUTION FOUND: 1385 @ 153.682
c NEW SOLUTION FOUND: 1384 @ 153.756
c NEW SOLUTION FOUND: 1383 @ 153.829
c NEW SOLUTION FOUND: 1382 @ 153.904
c NEW SOLUTION FOUND: 1381 @ 153.978
c NEW SOLUTION FOUND: 1380 @ 154.051
c NEW SOLUTION FOUND: 1379 @ 154.125
c NEW SOLUTION FOUND: 1378 @ 154.199
c NEW SOLUTION FOUND: 1377 @ 154.274
c NEW SOLUTION FOUND: 1376 @ 154.348
c NEW SOLUTION FOUND: 1375 @ 154.422
c NEW SOLUTION FOUND: 1374 @ 154.495
c NEW SOLUTION FOUND: 1373 @ 154.569
c NEW SOLUTION FOUND: 1372 @ 154.643
c NEW SOLUTION FOUND: 1371 @ 154.717
c NEW SOLUTION FOUND: 1370 @ 154.791
c NEW SOLUTION FOUND: 1369 @ 154.865
c NEW SOLUTION FOUND: 1368 @ 154.939
c NEW SOLUTION FOUND: 1367 @ 155.013
c NEW SOLUTION FOUND: 1366 @ 155.087
c NEW SOLUTION FOUND: 1365 @ 155.161
c NEW SOLUTION FOUND: 1364 @ 155.235
c NEW SOLUTION FOUND: 1363 @ 155.31
c NEW SOLUTION FOUND: 1362 @ 155.382
c NEW SOLUTION FOUND: 1361 @ 155.457
c NEW SOLUTION FOUND: 1360 @ 155.53
c NEW SOLUTION FOUND: 1359 @ 155.605
c NEW SOLUTION FOUND: 1358 @ 155.679
c NEW SOLUTION FOUND: 1357 @ 155.753
c NEW SOLUTION FOUND: 1356 @ 155.899
c NEW SOLUTION FOUND: 1355 @ 155.974
c NEW SOLUTION FOUND: 1354 @ 156.05
c NEW SOLUTION FOUND: 1353 @ 156.126
c NEW SOLUTION FOUND: 1352 @ 156.201
c NEW SOLUTION FOUND: 1351 @ 156.276
c NEW SOLUTION FOUND: 1350 @ 156.352
c NEW SOLUTION FOUND: 1349 @ 156.428
c NEW SOLUTION FOUND: 1348 @ 156.503
c NEW SOLUTION FOUND: 1347 @ 156.578
c NEW SOLUTION FOUND: 1346 @ 156.652
c NEW SOLUTION FOUND: 1345 @ 156.729
c NEW SOLUTION FOUND: 1344 @ 156.876
c NEW SOLUTION FOUND: 1343 @ 156.951
c NEW SOLUTION FOUND: 1342 @ 157.026
c NEW SOLUTION FOUND: 1341 @ 157.102
c NEW SOLUTION FOUND: 1340 @ 157.178
c NEW SOLUTION FOUND: 1339 @ 157.253
c NEW SOLUTION FOUND: 1338 @ 157.329
c NEW SOLUTION FOUND: 1337 @ 157.404
c NEW SOLUTION FOUND: 1336 @ 157.479
c NEW SOLUTION FOUND: 1335 @ 157.555
c NEW SOLUTION FOUND: 1334 @ 157.631
c NEW SOLUTION FOUND: 1333 @ 157.707
c NEW SOLUTION FOUND: 1332 @ 157.783
c NEW SOLUTION FOUND: 1331 @ 157.857
c NEW SOLUTION FOUND: 1330 @ 157.933
c NEW SOLUTION FOUND: 1329 @ 158.009
c NEW SOLUTION FOUND: 1328 @ 158.088
c NEW SOLUTION FOUND: 1327 @ 158.163
c NEW SOLUTION FOUND: 1326 @ 158.241
c NEW SOLUTION FOUND: 1325 @ 158.317
c NEW SOLUTION FOUND: 1324 @ 158.394
c NEW SOLUTION FOUND: 1323 @ 158.47
c NEW SOLUTION FOUND: 1322 @ 158.547
c NEW SOLUTION FOUND: 1321 @ 158.624
c NEW SOLUTION FOUND: 1320 @ 158.7
c NEW SOLUTION FOUND: 1319 @ 158.777
c NEW SOLUTION FOUND: 1318 @ 158.854
c NEW SOLUTION FOUND: 1317 @ 158.935
c NEW SOLUTION FOUND: 1316 @ 159.012
c NEW SOLUTION FOUND: 1315 @ 159.089
c NEW SOLUTION FOUND: 1314 @ 159.167
c NEW SOLUTION FOUND: 1313 @ 159.322
c NEW SOLUTION FOUND: 1312 @ 159.402
c NEW SOLUTION FOUND: 1311 @ 159.482
c NEW SOLUTION FOUND: 1310 @ 159.563
c NEW SOLUTION FOUND: 1309 @ 159.643
c NEW SOLUTION FOUND: 1308 @ 159.723
c NEW SOLUTION FOUND: 1307 @ 159.803
c NEW SOLUTION FOUND: 1306 @ 159.883
c NEW SOLUTION FOUND: 1305 @ 159.963
c NEW SOLUTION FOUND: 1304 @ 160.043
c NEW SOLUTION FOUND: 1303 @ 160.123
c NEW SOLUTION FOUND: 1302 @ 160.203
c NEW SOLUTION FOUND: 1301 @ 160.285
c NEW SOLUTION FOUND: 1300 @ 160.365
c NEW SOLUTION FOUND: 1299 @ 160.446
c NEW SOLUTION FOUND: 1298 @ 160.526
c NEW SOLUTION FOUND: 1297 @ 160.606
c NEW SOLUTION FOUND: 1296 @ 160.685
c NEW SOLUTION FOUND: 1295 @ 160.764
c NEW SOLUTION FOUND: 1294 @ 160.844
c NEW SOLUTION FOUND: 1293 @ 160.924
c NEW SOLUTION FOUND: 1292 @ 161.003
c NEW SOLUTION FOUND: 1291 @ 161.082
c NEW SOLUTION FOUND: 1290 @ 161.161
c NEW SOLUTION FOUND: 1289 @ 161.241
c NEW SOLUTION FOUND: 1288 @ 161.321
c NEW SOLUTION FOUND: 1287 @ 161.401
c NEW SOLUTION FOUND: 1286 @ 161.48
c NEW SOLUTION FOUND: 1285 @ 161.561
c NEW SOLUTION FOUND: 1284 @ 161.64
c NEW SOLUTION FOUND: 1283 @ 161.72
c NEW SOLUTION FOUND: 1282 @ 161.799
c NEW SOLUTION FOUND: 1281 @ 161.879
c NEW SOLUTION FOUND: 1280 @ 161.958
c NEW SOLUTION FOUND: 1279 @ 162.039
c NEW SOLUTION FOUND: 1278 @ 162.118
c NEW SOLUTION FOUND: 1277 @ 162.199
c NEW SOLUTION FOUND: 1276 @ 162.279
c NEW SOLUTION FOUND: 1275 @ 162.358
c NEW SOLUTION FOUND: 1274 @ 162.437
c NEW SOLUTION FOUND: 1273 @ 162.518
c NEW SOLUTION FOUND: 1272 @ 162.597
c NEW SOLUTION FOUND: 1271 @ 162.679
c NEW SOLUTION FOUND: 1270 @ 162.757
c NEW SOLUTION FOUND: 1269 @ 162.837
c NEW SOLUTION FOUND: 1268 @ 162.918
c NEW SOLUTION FOUND: 1267 @ 162.998
c NEW SOLUTION FOUND: 1266 @ 163.077
c NEW SOLUTION FOUND: 1265 @ 163.158
c NEW SOLUTION FOUND: 1264 @ 163.238
c NEW SOLUTION FOUND: 1263 @ 163.318
c NEW SOLUTION FOUND: 1262 @ 163.399
c NEW SOLUTION FOUND: 1261 @ 163.478
c NEW SOLUTION FOUND: 1260 @ 163.559
c NEW SOLUTION FOUND: 1259 @ 163.638
c NEW SOLUTION FOUND: 1258 @ 163.718
c NEW SOLUTION FOUND: 1257 @ 163.798
c NEW SOLUTION FOUND: 1256 @ 163.878
c NEW SOLUTION FOUND: 1255 @ 163.957
c NEW SOLUTION FOUND: 1254 @ 164.037
c NEW SOLUTION FOUND: 1253 @ 164.117
c NEW SOLUTION FOUND: 1252 @ 164.198
c NEW SOLUTION FOUND: 1251 @ 164.278
c NEW SOLUTION FOUND: 1250 @ 164.357
c NEW SOLUTION FOUND: 1249 @ 164.436
c NEW SOLUTION FOUND: 1248 @ 164.517
c NEW SOLUTION FOUND: 1247 @ 164.597
c NEW SOLUTION FOUND: 1246 @ 164.679
c NEW SOLUTION FOUND: 1245 @ 164.758
c NEW SOLUTION FOUND: 1244 @ 164.838
c NEW SOLUTION FOUND: 1243 @ 164.917
c NEW SOLUTION FOUND: 1242 @ 164.997
c NEW SOLUTION FOUND: 1241 @ 165.076
c NEW SOLUTION FOUND: 1240 @ 165.155
c NEW SOLUTION FOUND: 1239 @ 165.234
c NEW SOLUTION FOUND: 1238 @ 165.315
c NEW SOLUTION FOUND: 1237 @ 165.394
c NEW SOLUTION FOUND: 1236 @ 165.474
c NEW SOLUTION FOUND: 1235 @ 165.552
c NEW SOLUTION FOUND: 1234 @ 165.633
c NEW SOLUTION FOUND: 1233 @ 165.713
c NEW SOLUTION FOUND: 1232 @ 165.793
c NEW SOLUTION FOUND: 1231 @ 165.874
c NEW SOLUTION FOUND: 1230 @ 165.954
c NEW SOLUTION FOUND: 1229 @ 166.034
c NEW SOLUTION FOUND: 1228 @ 166.114
c NEW SOLUTION FOUND: 1227 @ 166.195
c NEW SOLUTION FOUND: 1226 @ 166.275
c NEW SOLUTION FOUND: 1225 @ 166.356
c NEW SOLUTION FOUND: 1224 @ 166.435
c NEW SOLUTION FOUND: 1223 @ 166.516
c NEW SOLUTION FOUND: 1222 @ 166.595
c NEW SOLUTION FOUND: 1221 @ 166.675
c NEW SOLUTION FOUND: 1220 @ 166.756
c NEW SOLUTION FOUND: 1219 @ 166.836
c NEW SOLUTION FOUND: 1218 @ 166.917
c NEW SOLUTION FOUND: 1217 @ 166.997
c NEW SOLUTION FOUND: 1216 @ 167.078
c NEW SOLUTION FOUND: 1215 @ 167.158
c NEW SOLUTION FOUND: 1214 @ 167.239
c NEW SOLUTION FOUND: 1213 @ 167.319
c NEW SOLUTION FOUND: 1212 @ 167.399
c NEW SOLUTION FOUND: 1211 @ 167.479
c NEW SOLUTION FOUND: 1210 @ 167.559
c NEW SOLUTION FOUND: 1209 @ 167.64
c NEW SOLUTION FOUND: 1208 @ 167.721
c NEW SOLUTION FOUND: 1207 @ 167.802
c NEW SOLUTION FOUND: 1206 @ 167.882
c NEW SOLUTION FOUND: 1205 @ 167.963
c NEW SOLUTION FOUND: 1204 @ 168.044
c NEW SOLUTION FOUND: 1203 @ 168.125
c NEW SOLUTION FOUND: 1202 @ 168.206
c NEW SOLUTION FOUND: 1201 @ 168.288
c NEW SOLUTION FOUND: 1200 @ 168.37
c NEW SOLUTION FOUND: 1199 @ 168.45
c NEW SOLUTION FOUND: 1198 @ 168.531
c NEW SOLUTION FOUND: 1197 @ 168.611
c NEW SOLUTION FOUND: 1196 @ 168.692
c NEW SOLUTION FOUND: 1195 @ 168.772
c NEW SOLUTION FOUND: 1194 @ 168.854
c NEW SOLUTION FOUND: 1193 @ 168.933
c NEW SOLUTION FOUND: 1192 @ 169.013
c NEW SOLUTION FOUND: 1191 @ 169.092
c NEW SOLUTION FOUND: 1190 @ 169.172
c NEW SOLUTION FOUND: 1189 @ 169.25
c NEW SOLUTION FOUND: 1188 @ 169.33
c NEW SOLUTION FOUND: 1187 @ 169.409
c NEW SOLUTION FOUND: 1186 @ 169.489
c NEW SOLUTION FOUND: 1185 @ 169.569
c NEW SOLUTION FOUND: 1184 @ 169.649
c NEW SOLUTION FOUND: 1183 @ 169.728
c NEW SOLUTION FOUND: 1182 @ 169.809
c NEW SOLUTION FOUND: 1181 @ 169.888
c NEW SOLUTION FOUND: 1180 @ 169.967
c NEW SOLUTION FOUND: 1179 @ 170.046
c NEW SOLUTION FOUND: 1178 @ 170.126
c NEW SOLUTION FOUND: 1177 @ 170.204
c NEW SOLUTION FOUND: 1176 @ 170.284
c NEW SOLUTION FOUND: 1175 @ 170.363
c NEW SOLUTION FOUND: 1174 @ 170.443
c NEW SOLUTION FOUND: 1173 @ 170.522
c NEW SOLUTION FOUND: 1172 @ 170.602
c NEW SOLUTION FOUND: 1171 @ 170.681
c NEW SOLUTION FOUND: 1170 @ 170.76
c NEW SOLUTION FOUND: 1169 @ 170.838
c NEW SOLUTION FOUND: 1168 @ 170.917
c NEW SOLUTION FOUND: 1167 @ 170.996
c NEW SOLUTION FOUND: 1166 @ 171.076
c NEW SOLUTION FOUND: 1165 @ 171.155
c NEW SOLUTION FOUND: 1164 @ 171.234
c NEW SOLUTION FOUND: 1163 @ 171.314
c NEW SOLUTION FOUND: 1162 @ 171.393
c NEW SOLUTION FOUND: 1161 @ 171.472
c NEW SOLUTION FOUND: 1160 @ 171.551
c NEW SOLUTION FOUND: 1159 @ 171.63
c NEW SOLUTION FOUND: 1158 @ 171.709
c NEW SOLUTION FOUND: 1157 @ 171.788
c NEW SOLUTION FOUND: 1156 @ 171.867
c NEW SOLUTION FOUND: 1155 @ 171.946
c NEW SOLUTION FOUND: 1154 @ 172.025
c NEW SOLUTION FOUND: 1153 @ 172.103
c NEW SOLUTION FOUND: 1152 @ 172.183
c NEW SOLUTION FOUND: 1151 @ 172.262
c NEW SOLUTION FOUND: 1150 @ 172.341
c NEW SOLUTION FOUND: 1149 @ 172.421
c NEW SOLUTION FOUND: 1148 @ 172.5
c NEW SOLUTION FOUND: 1147 @ 172.579
c NEW SOLUTION FOUND: 1146 @ 172.657
c NEW SOLUTION FOUND: 1145 @ 172.736
c NEW SOLUTION FOUND: 1144 @ 172.815
c NEW SOLUTION FOUND: 1143 @ 172.894
c NEW SOLUTION FOUND: 1142 @ 172.974
c NEW SOLUTION FOUND: 1141 @ 173.052
c NEW SOLUTION FOUND: 1140 @ 173.131
c NEW SOLUTION FOUND: 1139 @ 173.21
c NEW SOLUTION FOUND: 1138 @ 173.288
c NEW SOLUTION FOUND: 1137 @ 173.367
c NEW SOLUTION FOUND: 1136 @ 173.446
c NEW SOLUTION FOUND: 1135 @ 173.524
c NEW SOLUTION FOUND: 1134 @ 173.603
c NEW SOLUTION FOUND: 1133 @ 173.682
c NEW SOLUTION FOUND: 1132 @ 173.761
c NEW SOLUTION FOUND: 1131 @ 173.841
c NEW SOLUTION FOUND: 1130 @ 173.92
c NEW SOLUTION FOUND: 1129 @ 173.999
c NEW SOLUTION FOUND: 1128 @ 174.078
c NEW SOLUTION FOUND: 1127 @ 174.157
c NEW SOLUTION FOUND: 1126 @ 174.235
c NEW SOLUTION FOUND: 1125 @ 174.314
c NEW SOLUTION FOUND: 1124 @ 174.393
c NEW SOLUTION FOUND: 1123 @ 174.472
c NEW SOLUTION FOUND: 1122 @ 174.551
c NEW SOLUTION FOUND: 1121 @ 174.63
c NEW SOLUTION FOUND: 1120 @ 174.711
c NEW SOLUTION FOUND: 1119 @ 174.789
c NEW SOLUTION FOUND: 1118 @ 174.87
c NEW SOLUTION FOUND: 1117 @ 174.949
c NEW SOLUTION FOUND: 1116 @ 175.029
c NEW SOLUTION FOUND: 1115 @ 175.108
c NEW SOLUTION FOUND: 1114 @ 175.188
c NEW SOLUTION FOUND: 1113 @ 175.267
c NEW SOLUTION FOUND: 1112 @ 175.347
c NEW SOLUTION FOUND: 1111 @ 175.427
c NEW SOLUTION FOUND: 1110 @ 175.507
c NEW SOLUTION FOUND: 1109 @ 175.586
c NEW SOLUTION FOUND: 1108 @ 175.666
c NEW SOLUTION FOUND: 1107 @ 175.745
c NEW SOLUTION FOUND: 1106 @ 175.825
c NEW SOLUTION FOUND: 1105 @ 175.903
c NEW SOLUTION FOUND: 1104 @ 175.983
c NEW SOLUTION FOUND: 1103 @ 176.062
c NEW SOLUTION FOUND: 1102 @ 176.142
c NEW SOLUTION FOUND: 1101 @ 176.221
c NEW SOLUTION FOUND: 1100 @ 176.301
c NEW SOLUTION FOUND: 1099 @ 176.38
c NEW SOLUTION FOUND: 1098 @ 176.459
c NEW SOLUTION FOUND: 1097 @ 176.538
c NEW SOLUTION FOUND: 1096 @ 176.618
c NEW SOLUTION FOUND: 1095 @ 176.696
c NEW SOLUTION FOUND: 1094 @ 176.776
c NEW SOLUTION FOUND: 1093 @ 176.855
c NEW SOLUTION FOUND: 1092 @ 176.934
c NEW SOLUTION FOUND: 1091 @ 177.013
c NEW SOLUTION FOUND: 1090 @ 177.093
c NEW SOLUTION FOUND: 1089 @ 177.172
c NEW SOLUTION FOUND: 1088 @ 177.251
c NEW SOLUTION FOUND: 1087 @ 177.33
c NEW SOLUTION FOUND: 1086 @ 177.41
c NEW SOLUTION FOUND: 1085 @ 177.489
c NEW SOLUTION FOUND: 1084 @ 177.569
c NEW SOLUTION FOUND: 1083 @ 177.648
c NEW SOLUTION FOUND: 1082 @ 177.727
c NEW SOLUTION FOUND: 1081 @ 177.806
c NEW SOLUTION FOUND: 1080 @ 177.886
c NEW SOLUTION FOUND: 1079 @ 177.965
c NEW SOLUTION FOUND: 1078 @ 178.045
c NEW SOLUTION FOUND: 1077 @ 178.125
c NEW SOLUTION FOUND: 1076 @ 178.205
c NEW SOLUTION FOUND: 1075 @ 178.283
c NEW SOLUTION FOUND: 1074 @ 178.362
c NEW SOLUTION FOUND: 1073 @ 178.44
c NEW SOLUTION FOUND: 1072 @ 178.519
c NEW SOLUTION FOUND: 1071 @ 178.598
c NEW SOLUTION FOUND: 1070 @ 178.678
c NEW SOLUTION FOUND: 1069 @ 178.757
c NEW SOLUTION FOUND: 1068 @ 178.837
c NEW SOLUTION FOUND: 1067 @ 178.916
c NEW SOLUTION FOUND: 1066 @ 178.996
c NEW SOLUTION FOUND: 1065 @ 179.074
c NEW SOLUTION FOUND: 1064 @ 179.154
c NEW SOLUTION FOUND: 1063 @ 179.233
c NEW SOLUTION FOUND: 1062 @ 179.312
c NEW SOLUTION FOUND: 1061 @ 179.392
c NEW SOLUTION FOUND: 1060 @ 179.471
c NEW SOLUTION FOUND: 1059 @ 179.551
c NEW SOLUTION FOUND: 1058 @ 179.631
c NEW SOLUTION FOUND: 1057 @ 179.711
c NEW SOLUTION FOUND: 1056 @ 179.792
c NEW SOLUTION FOUND: 1055 @ 179.871
c NEW SOLUTION FOUND: 1054 @ 179.949
c NEW SOLUTION FOUND: 1053 @ 180.028
c NEW SOLUTION FOUND: 1052 @ 180.108
c NEW SOLUTION FOUND: 1051 @ 180.188
c NEW SOLUTION FOUND: 1050 @ 180.267
c NEW SOLUTION FOUND: 1049 @ 180.347
c NEW SOLUTION FOUND: 1048 @ 180.426
c NEW SOLUTION FOUND: 1047 @ 180.506
c NEW SOLUTION FOUND: 1046 @ 180.585
c NEW SOLUTION FOUND: 1045 @ 180.664
c NEW SOLUTION FOUND: 1044 @ 180.744
c NEW SOLUTION FOUND: 1043 @ 180.823
c NEW SOLUTION FOUND: 1042 @ 180.902
c NEW SOLUTION FOUND: 1041 @ 180.982
c NEW SOLUTION FOUND: 1040 @ 181.061
c NEW SOLUTION FOUND: 1039 @ 181.14
c NEW SOLUTION FOUND: 1038 @ 181.22
c NEW SOLUTION FOUND: 1037 @ 181.3
c NEW SOLUTION FOUND: 1036 @ 181.379
c NEW SOLUTION FOUND: 1035 @ 181.459
c NEW SOLUTION FOUND: 1034 @ 181.538
c NEW SOLUTION FOUND: 1033 @ 181.617
c NEW SOLUTION FOUND: 1032 @ 181.697
c NEW SOLUTION FOUND: 1031 @ 181.777
c NEW SOLUTION FOUND: 1030 @ 181.856
c NEW SOLUTION FOUND: 1029 @ 181.936
c NEW SOLUTION FOUND: 1028 @ 182.015
c NEW SOLUTION FOUND: 1027 @ 182.094
c NEW SOLUTION FOUND: 1026 @ 182.174
c NEW SOLUTION FOUND: 1025 @ 182.253
c NEW SOLUTION FOUND: 1024 @ 182.333
c NEW SOLUTION FOUND: 1023 @ 182.413
c NEW SOLUTION FOUND: 1022 @ 182.492
c NEW SOLUTION FOUND: 1021 @ 182.572
c NEW SOLUTION FOUND: 1020 @ 182.651
c NEW SOLUTION FOUND: 1019 @ 182.731
c NEW SOLUTION FOUND: 1018 @ 182.81
c NEW SOLUTION FOUND: 1017 @ 182.89
c NEW SOLUTION FOUND: 1016 @ 182.969
c NEW SOLUTION FOUND: 1015 @ 183.048
c NEW SOLUTION FOUND: 1014 @ 183.128
c NEW SOLUTION FOUND: 1013 @ 183.208
c NEW SOLUTION FOUND: 1012 @ 183.287
c NEW SOLUTION FOUND: 1011 @ 183.367
c NEW SOLUTION FOUND: 1010 @ 183.446
c NEW SOLUTION FOUND: 1009 @ 183.526
c NEW SOLUTION FOUND: 1008 @ 183.605
c NEW SOLUTION FOUND: 1007 @ 183.685
c NEW SOLUTION FOUND: 1006 @ 183.765
c NEW SOLUTION FOUND: 1005 @ 183.845
c NEW SOLUTION FOUND: 1004 @ 183.924
c NEW SOLUTION FOUND: 1003 @ 184.004
c NEW SOLUTION FOUND: 1002 @ 184.083
c NEW SOLUTION FOUND: 1001 @ 184.163
c NEW SOLUTION FOUND: 1000 @ 184.243
c NEW SOLUTION FOUND: 999 @ 184.322
c NEW SOLUTION FOUND: 998 @ 184.402
c NEW SOLUTION FOUND: 997 @ 184.481
c NEW SOLUTION FOUND: 996 @ 184.561
c NEW SOLUTION FOUND: 995 @ 184.64
c NEW SOLUTION FOUND: 994 @ 184.719
c NEW SOLUTION FOUND: 993 @ 184.799
c NEW SOLUTION FOUND: 992 @ 184.878
c NEW SOLUTION FOUND: 991 @ 184.959
c NEW SOLUTION FOUND: 990 @ 185.039
c NEW SOLUTION FOUND: 989 @ 185.118
c NEW SOLUTION FOUND: 988 @ 185.197
c NEW SOLUTION FOUND: 987 @ 185.276
c NEW SOLUTION FOUND: 986 @ 185.357
c NEW SOLUTION FOUND: 985 @ 185.436
c NEW SOLUTION FOUND: 984 @ 185.515
c NEW SOLUTION FOUND: 983 @ 185.594
c NEW SOLUTION FOUND: 982 @ 185.674
c NEW SOLUTION FOUND: 981 @ 185.754
c NEW SOLUTION FOUND: 980 @ 185.833
c NEW SOLUTION FOUND: 979 @ 185.988
c NEW SOLUTION FOUND: 978 @ 186.068
c NEW SOLUTION FOUND: 977 @ 186.147
c NEW SOLUTION FOUND: 976 @ 186.226
c NEW SOLUTION FOUND: 975 @ 186.305
c NEW SOLUTION FOUND: 974 @ 186.384
c NEW SOLUTION FOUND: 973 @ 186.465
c NEW SOLUTION FOUND: 972 @ 186.543
c NEW SOLUTION FOUND: 971 @ 186.622
c NEW SOLUTION FOUND: 970 @ 186.701
c NEW SOLUTION FOUND: 969 @ 186.781
c NEW SOLUTION FOUND: 968 @ 186.86
c NEW SOLUTION FOUND: 967 @ 186.939
c NEW SOLUTION FOUND: 966 @ 187.018
c NEW SOLUTION FOUND: 965 @ 187.099
c NEW SOLUTION FOUND: 964 @ 187.177
c NEW SOLUTION FOUND: 963 @ 187.257
c NEW SOLUTION FOUND: 962 @ 187.336
c NEW SOLUTION FOUND: 961 @ 187.416
c NEW SOLUTION FOUND: 960 @ 187.494
c NEW SOLUTION FOUND: 959 @ 187.574
c NEW SOLUTION FOUND: 958 @ 187.653
c NEW SOLUTION FOUND: 957 @ 187.734
c NEW SOLUTION FOUND: 956 @ 187.814
c NEW SOLUTION FOUND: 955 @ 187.893
c NEW SOLUTION FOUND: 954 @ 187.973
c NEW SOLUTION FOUND: 953 @ 188.053
c NEW SOLUTION FOUND: 952 @ 188.133
c NEW SOLUTION FOUND: 951 @ 188.212
c NEW SOLUTION FOUND: 950 @ 188.292
c NEW SOLUTION FOUND: 949 @ 188.372
c NEW SOLUTION FOUND: 948 @ 188.452
c NEW SOLUTION FOUND: 947 @ 188.531
c NEW SOLUTION FOUND: 946 @ 188.611
c NEW SOLUTION FOUND: 945 @ 188.69
c NEW SOLUTION FOUND: 944 @ 188.77
c NEW SOLUTION FOUND: 943 @ 188.849
c NEW SOLUTION FOUND: 942 @ 188.929
c NEW SOLUTION FOUND: 941 @ 189.008
c NEW SOLUTION FOUND: 940 @ 189.087
c NEW SOLUTION FOUND: 939 @ 189.166
c NEW SOLUTION FOUND: 938 @ 189.245
c NEW SOLUTION FOUND: 937 @ 189.325
c NEW SOLUTION FOUND: 936 @ 189.404
c NEW SOLUTION FOUND: 935 @ 189.485
c NEW SOLUTION FOUND: 934 @ 189.563
c NEW SOLUTION FOUND: 933 @ 189.642
c NEW SOLUTION FOUND: 932 @ 189.723
c NEW SOLUTION FOUND: 931 @ 189.802
c NEW SOLUTION FOUND: 930 @ 189.881
c NEW SOLUTION FOUND: 929 @ 189.96
c NEW SOLUTION FOUND: 928 @ 190.039
c NEW SOLUTION FOUND: 927 @ 190.118
c NEW SOLUTION FOUND: 926 @ 190.196
c NEW SOLUTION FOUND: 925 @ 190.276
c NEW SOLUTION FOUND: 924 @ 190.355
c NEW SOLUTION FOUND: 923 @ 190.433
c NEW SOLUTION FOUND: 922 @ 190.512
c NEW SOLUTION FOUND: 921 @ 190.591
c NEW SOLUTION FOUND: 920 @ 190.671
c NEW SOLUTION FOUND: 919 @ 190.751
c NEW SOLUTION FOUND: 918 @ 190.83
c NEW SOLUTION FOUND: 917 @ 190.909
c NEW SOLUTION FOUND: 916 @ 190.989
c NEW SOLUTION FOUND: 915 @ 191.068
c NEW SOLUTION FOUND: 914 @ 191.147
c NEW SOLUTION FOUND: 913 @ 191.226
c NEW SOLUTION FOUND: 912 @ 191.306
c NEW SOLUTION FOUND: 911 @ 191.385
c NEW SOLUTION FOUND: 910 @ 191.465
c NEW SOLUTION FOUND: 909 @ 191.545
c NEW SOLUTION FOUND: 908 @ 191.624
c NEW SOLUTION FOUND: 907 @ 191.705
c NEW SOLUTION FOUND: 906 @ 191.784
c NEW SOLUTION FOUND: 905 @ 191.864
c NEW SOLUTION FOUND: 904 @ 191.943
c NEW SOLUTION FOUND: 903 @ 192.022
c NEW SOLUTION FOUND: 902 @ 192.101
c NEW SOLUTION FOUND: 901 @ 192.181
c NEW SOLUTION FOUND: 900 @ 192.26
c NEW SOLUTION FOUND: 899 @ 192.339
c NEW SOLUTION FOUND: 898 @ 192.419
c NEW SOLUTION FOUND: 897 @ 192.499
c NEW SOLUTION FOUND: 896 @ 192.578
c NEW SOLUTION FOUND: 895 @ 192.658
c NEW SOLUTION FOUND: 894 @ 192.737
c NEW SOLUTION FOUND: 893 @ 192.815
c NEW SOLUTION FOUND: 892 @ 192.894
c NEW SOLUTION FOUND: 891 @ 192.974
c NEW SOLUTION FOUND: 890 @ 193.054
c NEW SOLUTION FOUND: 889 @ 193.132
c NEW SOLUTION FOUND: 888 @ 193.212
c NEW SOLUTION FOUND: 887 @ 193.291
c NEW SOLUTION FOUND: 886 @ 193.37
c NEW SOLUTION FOUND: 885 @ 193.45
c NEW SOLUTION FOUND: 884 @ 193.529
c NEW SOLUTION FOUND: 883 @ 193.609
c NEW SOLUTION FOUND: 882 @ 193.689
c NEW SOLUTION FOUND: 881 @ 193.767
c NEW SOLUTION FOUND: 880 @ 193.846
c NEW SOLUTION FOUND: 879 @ 193.925
c NEW SOLUTION FOUND: 878 @ 194.004
c NEW SOLUTION FOUND: 877 @ 194.082
c NEW SOLUTION FOUND: 876 @ 194.161
c NEW SOLUTION FOUND: 875 @ 194.24
c NEW SOLUTION FOUND: 874 @ 194.318
c NEW SOLUTION FOUND: 873 @ 194.397
c NEW SOLUTION FOUND: 872 @ 194.476
c NEW SOLUTION FOUND: 871 @ 194.557
c NEW SOLUTION FOUND: 870 @ 194.637
c NEW SOLUTION FOUND: 869 @ 194.717
c NEW SOLUTION FOUND: 868 @ 194.797
c NEW SOLUTION FOUND: 867 @ 194.878
c NEW SOLUTION FOUND: 866 @ 194.958
c NEW SOLUTION FOUND: 865 @ 195.039
c NEW SOLUTION FOUND: 864 @ 195.12
c NEW SOLUTION FOUND: 863 @ 195.201
c NEW SOLUTION FOUND: 862 @ 195.28
c NEW SOLUTION FOUND: 861 @ 195.362
c NEW SOLUTION FOUND: 860 @ 195.441
c NEW SOLUTION FOUND: 859 @ 195.522
c NEW SOLUTION FOUND: 858 @ 195.602
c NEW SOLUTION FOUND: 857 @ 195.684
c NEW SOLUTION FOUND: 856 @ 195.763
c NEW SOLUTION FOUND: 855 @ 195.844
c NEW SOLUTION FOUND: 854 @ 195.924
c NEW SOLUTION FOUND: 853 @ 196.005
c NEW SOLUTION FOUND: 852 @ 196.086
c NEW SOLUTION FOUND: 851 @ 196.169
c NEW SOLUTION FOUND: 850 @ 196.25
c NEW SOLUTION FOUND: 849 @ 196.331
c NEW SOLUTION FOUND: 848 @ 196.412
c NEW SOLUTION FOUND: 847 @ 196.492
c NEW SOLUTION FOUND: 846 @ 196.573
c NEW SOLUTION FOUND: 845 @ 196.653
c NEW SOLUTION FOUND: 844 @ 196.734
c NEW SOLUTION FOUND: 843 @ 196.815
c NEW SOLUTION FOUND: 842 @ 196.895
c NEW SOLUTION FOUND: 841 @ 196.976
c NEW SOLUTION FOUND: 840 @ 197.058
c NEW SOLUTION FOUND: 839 @ 197.137
c NEW SOLUTION FOUND: 838 @ 197.218
c NEW SOLUTION FOUND: 837 @ 197.299
c NEW SOLUTION FOUND: 836 @ 197.379
c NEW SOLUTION FOUND: 835 @ 197.46
c NEW SOLUTION FOUND: 834 @ 197.541
c NEW SOLUTION FOUND: 833 @ 197.621
c NEW SOLUTION FOUND: 832 @ 197.702
c NEW SOLUTION FOUND: 831 @ 197.782
c NEW SOLUTION FOUND: 830 @ 197.863
c NEW SOLUTION FOUND: 829 @ 197.943
c NEW SOLUTION FOUND: 828 @ 198.023
c NEW SOLUTION FOUND: 827 @ 198.104
c NEW SOLUTION FOUND: 826 @ 198.185
c NEW SOLUTION FOUND: 825 @ 198.264
c NEW SOLUTION FOUND: 824 @ 198.344
c NEW SOLUTION FOUND: 823 @ 198.425
c NEW SOLUTION FOUND: 822 @ 198.506
c NEW SOLUTION FOUND: 821 @ 198.585
c NEW SOLUTION FOUND: 820 @ 198.666
c NEW SOLUTION FOUND: 819 @ 198.745
c NEW SOLUTION FOUND: 818 @ 198.825
c NEW SOLUTION FOUND: 817 @ 198.906
c NEW SOLUTION FOUND: 816 @ 198.987
c NEW SOLUTION FOUND: 815 @ 199.066
c NEW SOLUTION FOUND: 814 @ 199.147
c NEW SOLUTION FOUND: 813 @ 199.228
c NEW SOLUTION FOUND: 812 @ 199.309
c NEW SOLUTION FOUND: 811 @ 199.389
c NEW SOLUTION FOUND: 810 @ 199.47
c NEW SOLUTION FOUND: 809 @ 199.55
c NEW SOLUTION FOUND: 808 @ 199.631
c NEW SOLUTION FOUND: 807 @ 199.711
c NEW SOLUTION FOUND: 806 @ 199.791
c NEW SOLUTION FOUND: 805 @ 199.87
c NEW SOLUTION FOUND: 804 @ 199.948
c NEW SOLUTION FOUND: 803 @ 200.027
c NEW SOLUTION FOUND: 802 @ 200.107
c NEW SOLUTION FOUND: 801 @ 200.186
c NEW SOLUTION FOUND: 800 @ 200.266
c NEW SOLUTION FOUND: 799 @ 200.345
c NEW SOLUTION FOUND: 798 @ 200.425
c NEW SOLUTION FOUND: 797 @ 200.504
c NEW SOLUTION FOUND: 796 @ 200.583
c NEW SOLUTION FOUND: 795 @ 200.663
c NEW SOLUTION FOUND: 794 @ 200.742
c NEW SOLUTION FOUND: 793 @ 200.822
c NEW SOLUTION FOUND: 792 @ 200.901
c NEW SOLUTION FOUND: 791 @ 200.98
c NEW SOLUTION FOUND: 790 @ 201.059
c NEW SOLUTION FOUND: 789 @ 201.138
c NEW SOLUTION FOUND: 788 @ 201.217
c NEW SOLUTION FOUND: 787 @ 201.298
c NEW SOLUTION FOUND: 786 @ 201.379
c NEW SOLUTION FOUND: 785 @ 201.458
c NEW SOLUTION FOUND: 784 @ 201.538
c NEW SOLUTION FOUND: 783 @ 201.617
c NEW SOLUTION FOUND: 782 @ 201.697
c NEW SOLUTION FOUND: 781 @ 201.777
c NEW SOLUTION FOUND: 780 @ 201.857
c NEW SOLUTION FOUND: 779 @ 201.937
c NEW SOLUTION FOUND: 778 @ 202.017
c NEW SOLUTION FOUND: 777 @ 202.096
c NEW SOLUTION FOUND: 776 @ 202.176
c NEW SOLUTION FOUND: 775 @ 202.256
c NEW SOLUTION FOUND: 774 @ 202.335
c NEW SOLUTION FOUND: 773 @ 202.415
c NEW SOLUTION FOUND: 772 @ 202.493
c NEW SOLUTION FOUND: 771 @ 202.573
c NEW SOLUTION FOUND: 770 @ 202.652
c NEW SOLUTION FOUND: 769 @ 202.731
c NEW SOLUTION FOUND: 768 @ 202.811
c NEW SOLUTION FOUND: 767 @ 202.891
c NEW SOLUTION FOUND: 766 @ 202.97
c NEW SOLUTION FOUND: 765 @ 203.05
c NEW SOLUTION FOUND: 764 @ 203.129
c NEW SOLUTION FOUND: 763 @ 203.209
c NEW SOLUTION FOUND: 762 @ 203.289
c NEW SOLUTION FOUND: 761 @ 203.368
c NEW SOLUTION FOUND: 760 @ 203.447
c NEW SOLUTION FOUND: 759 @ 203.526
c NEW SOLUTION FOUND: 758 @ 203.608
c NEW SOLUTION FOUND: 757 @ 203.688
c NEW SOLUTION FOUND: 756 @ 203.768
c NEW SOLUTION FOUND: 755 @ 203.848
c NEW SOLUTION FOUND: 754 @ 203.928
c NEW SOLUTION FOUND: 753 @ 204.008
c NEW SOLUTION FOUND: 752 @ 204.087
c NEW SOLUTION FOUND: 751 @ 204.168
c NEW SOLUTION FOUND: 750 @ 204.248
c NEW SOLUTION FOUND: 749 @ 204.329
c NEW SOLUTION FOUND: 748 @ 204.409
c NEW SOLUTION FOUND: 747 @ 204.489
c NEW SOLUTION FOUND: 746 @ 204.569
c NEW SOLUTION FOUND: 745 @ 204.649
c NEW SOLUTION FOUND: 744 @ 204.729
c NEW SOLUTION FOUND: 743 @ 204.809
c NEW SOLUTION FOUND: 742 @ 204.89
c NEW SOLUTION FOUND: 741 @ 204.97
c NEW SOLUTION FOUND: 740 @ 205.05
c NEW SOLUTION FOUND: 739 @ 205.13
c NEW SOLUTION FOUND: 738 @ 205.21
c NEW SOLUTION FOUND: 737 @ 205.292
c NEW SOLUTION FOUND: 736 @ 205.372
c NEW SOLUTION FOUND: 735 @ 205.452
c NEW SOLUTION FOUND: 734 @ 205.533
c NEW SOLUTION FOUND: 733 @ 205.612
c NEW SOLUTION FOUND: 732 @ 205.694
c NEW SOLUTION FOUND: 731 @ 205.774
c NEW SOLUTION FOUND: 730 @ 205.854
c NEW SOLUTION FOUND: 729 @ 205.934
c NEW SOLUTION FOUND: 728 @ 206.015
c NEW SOLUTION FOUND: 727 @ 206.095
c NEW SOLUTION FOUND: 726 @ 206.175
c NEW SOLUTION FOUND: 725 @ 206.255
c NEW SOLUTION FOUND: 724 @ 206.334
c NEW SOLUTION FOUND: 723 @ 206.415
c NEW SOLUTION FOUND: 722 @ 206.495
c NEW SOLUTION FOUND: 721 @ 206.576
c NEW SOLUTION FOUND: 720 @ 206.656
c NEW SOLUTION FOUND: 719 @ 206.736
c NEW SOLUTION FOUND: 718 @ 206.816
c NEW SOLUTION FOUND: 717 @ 206.896
c NEW SOLUTION FOUND: 716 @ 206.977
c NEW SOLUTION FOUND: 715 @ 207.057
c NEW SOLUTION FOUND: 714 @ 207.137
c NEW SOLUTION FOUND: 713 @ 207.217
c NEW SOLUTION FOUND: 712 @ 207.298
c NEW SOLUTION FOUND: 711 @ 207.379
c NEW SOLUTION FOUND: 710 @ 207.459
c NEW SOLUTION FOUND: 709 @ 207.539
c NEW SOLUTION FOUND: 708 @ 207.619
c NEW SOLUTION FOUND: 707 @ 207.7
c NEW SOLUTION FOUND: 706 @ 207.78
c NEW SOLUTION FOUND: 705 @ 207.86
c NEW SOLUTION FOUND: 704 @ 207.94
c NEW SOLUTION FOUND: 703 @ 208.019
c NEW SOLUTION FOUND: 702 @ 208.1
c NEW SOLUTION FOUND: 701 @ 208.18
c NEW SOLUTION FOUND: 700 @ 208.261
c NEW SOLUTION FOUND: 699 @ 208.341
c NEW SOLUTION FOUND: 698 @ 208.422
c NEW SOLUTION FOUND: 697 @ 208.502
c NEW SOLUTION FOUND: 696 @ 208.583
c NEW SOLUTION FOUND: 695 @ 208.663
c NEW SOLUTION FOUND: 694 @ 208.742
c NEW SOLUTION FOUND: 693 @ 208.822
c NEW SOLUTION FOUND: 692 @ 208.903
c NEW SOLUTION FOUND: 691 @ 208.984
c NEW SOLUTION FOUND: 690 @ 209.065
c NEW SOLUTION FOUND: 689 @ 209.145
c NEW SOLUTION FOUND: 688 @ 209.226
c NEW SOLUTION FOUND: 687 @ 209.306
c NEW SOLUTION FOUND: 686 @ 209.387
c NEW SOLUTION FOUND: 685 @ 209.467
c NEW SOLUTION FOUND: 684 @ 209.548
c NEW SOLUTION FOUND: 683 @ 209.629
c NEW SOLUTION FOUND: 682 @ 209.709
c NEW SOLUTION FOUND: 681 @ 209.789
c NEW SOLUTION FOUND: 680 @ 209.87
c NEW SOLUTION FOUND: 679 @ 209.95
c NEW SOLUTION FOUND: 678 @ 210.031
c NEW SOLUTION FOUND: 677 @ 210.111
c NEW SOLUTION FOUND: 676 @ 210.192
c NEW SOLUTION FOUND: 675 @ 210.272
c NEW SOLUTION FOUND: 674 @ 210.352
c NEW SOLUTION FOUND: 673 @ 210.433
c NEW SOLUTION FOUND: 672 @ 210.589
c NEW SOLUTION FOUND: 671 @ 210.67
c NEW SOLUTION FOUND: 670 @ 210.75
c NEW SOLUTION FOUND: 669 @ 210.832
c NEW SOLUTION FOUND: 668 @ 210.913
c NEW SOLUTION FOUND: 667 @ 210.995
c NEW SOLUTION FOUND: 666 @ 211.077
c NEW SOLUTION FOUND: 665 @ 211.158
c NEW SOLUTION FOUND: 664 @ 211.24
c NEW SOLUTION FOUND: 663 @ 211.322
c NEW SOLUTION FOUND: 662 @ 211.403
c NEW SOLUTION FOUND: 661 @ 211.484
c NEW SOLUTION FOUND: 660 @ 211.565
c NEW SOLUTION FOUND: 659 @ 211.646
c NEW SOLUTION FOUND: 658 @ 211.728
c NEW SOLUTION FOUND: 657 @ 211.809
c NEW SOLUTION FOUND: 656 @ 211.89
c NEW SOLUTION FOUND: 655 @ 211.97
c NEW SOLUTION FOUND: 654 @ 212.052
c NEW SOLUTION FOUND: 653 @ 212.133
c NEW SOLUTION FOUND: 652 @ 212.214
c NEW SOLUTION FOUND: 651 @ 212.295
c NEW SOLUTION FOUND: 650 @ 212.376
c NEW SOLUTION FOUND: 649 @ 212.458
c NEW SOLUTION FOUND: 648 @ 212.539
c NEW SOLUTION FOUND: 647 @ 212.621
c NEW SOLUTION FOUND: 646 @ 212.702
c NEW SOLUTION FOUND: 645 @ 212.783
c NEW SOLUTION FOUND: 644 @ 212.864
c NEW SOLUTION FOUND: 643 @ 212.945
c NEW SOLUTION FOUND: 642 @ 213.026
c NEW SOLUTION FOUND: 641 @ 213.107
c NEW SOLUTION FOUND: 640 @ 213.188
c NEW SOLUTION FOUND: 639 @ 213.271
c NEW SOLUTION FOUND: 638 @ 213.35
c NEW SOLUTION FOUND: 637 @ 213.431
c NEW SOLUTION FOUND: 636 @ 213.512
c NEW SOLUTION FOUND: 635 @ 213.593
c NEW SOLUTION FOUND: 634 @ 213.675
c NEW SOLUTION FOUND: 633 @ 213.756
c NEW SOLUTION FOUND: 632 @ 213.837
c NEW SOLUTION FOUND: 631 @ 213.918
c NEW SOLUTION FOUND: 630 @ 213.999
c NEW SOLUTION FOUND: 629 @ 214.081
c NEW SOLUTION FOUND: 628 @ 214.162
c NEW SOLUTION FOUND: 627 @ 214.243
c NEW SOLUTION FOUND: 626 @ 214.324
c NEW SOLUTION FOUND: 625 @ 214.404
c NEW SOLUTION FOUND: 624 @ 214.485
c NEW SOLUTION FOUND: 623 @ 214.564
c NEW SOLUTION FOUND: 622 @ 214.645
c NEW SOLUTION FOUND: 621 @ 214.724
c NEW SOLUTION FOUND: 620 @ 214.805
c NEW SOLUTION FOUND: 619 @ 214.885
c NEW SOLUTION FOUND: 618 @ 214.967
c NEW SOLUTION FOUND: 617 @ 215.046
c NEW SOLUTION FOUND: 616 @ 215.127
c NEW SOLUTION FOUND: 615 @ 215.207
c NEW SOLUTION FOUND: 614 @ 215.288
c NEW SOLUTION FOUND: 613 @ 215.367
c NEW SOLUTION FOUND: 612 @ 215.524
c NEW SOLUTION FOUND: 611 @ 215.605
c NEW SOLUTION FOUND: 610 @ 215.687
c NEW SOLUTION FOUND: 609 @ 215.769
c NEW SOLUTION FOUND: 608 @ 215.85
c NEW SOLUTION FOUND: 607 @ 215.932
c NEW SOLUTION FOUND: 606 @ 216.013
c NEW SOLUTION FOUND: 605 @ 216.094
c NEW SOLUTION FOUND: 604 @ 216.176
c NEW SOLUTION FOUND: 603 @ 216.256
c NEW SOLUTION FOUND: 602 @ 216.337
c NEW SOLUTION FOUND: 601 @ 216.416
c NEW SOLUTION FOUND: 600 @ 216.497
c NEW SOLUTION FOUND: 599 @ 216.58
c NEW SOLUTION FOUND: 598 @ 216.662
c NEW SOLUTION FOUND: 597 @ 216.745
c NEW SOLUTION FOUND: 596 @ 216.827
c NEW SOLUTION FOUND: 595 @ 216.909
c NEW SOLUTION FOUND: 594 @ 216.991
c NEW SOLUTION FOUND: 593 @ 217.072
c NEW SOLUTION FOUND: 592 @ 217.154
c NEW SOLUTION FOUND: 591 @ 217.237
c NEW SOLUTION FOUND: 590 @ 217.32
c NEW SOLUTION FOUND: 589 @ 217.403
c NEW SOLUTION FOUND: 588 @ 217.485
c NEW SOLUTION FOUND: 587 @ 217.568
c NEW SOLUTION FOUND: 586 @ 217.651
c NEW SOLUTION FOUND: 585 @ 217.734
c NEW SOLUTION FOUND: 584 @ 217.817
c NEW SOLUTION FOUND: 583 @ 217.9
c NEW SOLUTION FOUND: 582 @ 217.982
c NEW SOLUTION FOUND: 581 @ 218.065
c NEW SOLUTION FOUND: 580 @ 218.148
c NEW SOLUTION FOUND: 579 @ 218.23
c NEW SOLUTION FOUND: 578 @ 218.313
c NEW SOLUTION FOUND: 577 @ 218.395
c NEW SOLUTION FOUND: 576 @ 218.478
c NEW SOLUTION FOUND: 575 @ 218.56
c NEW SOLUTION FOUND: 574 @ 218.642
c NEW SOLUTION FOUND: 573 @ 218.725
c NEW SOLUTION FOUND: 572 @ 218.808
c NEW SOLUTION FOUND: 571 @ 218.891
c NEW SOLUTION FOUND: 570 @ 218.973
c NEW SOLUTION FOUND: 569 @ 219.056
c NEW SOLUTION FOUND: 568 @ 219.138
c NEW SOLUTION FOUND: 567 @ 219.22
c NEW SOLUTION FOUND: 566 @ 219.303
c NEW SOLUTION FOUND: 565 @ 219.386
c NEW SOLUTION FOUND: 564 @ 219.469
c NEW SOLUTION FOUND: 563 @ 219.551
c NEW SOLUTION FOUND: 562 @ 219.634
c NEW SOLUTION FOUND: 561 @ 219.717
c NEW SOLUTION FOUND: 560 @ 219.8
c NEW SOLUTION FOUND: 559 @ 219.882
c NEW SOLUTION FOUND: 558 @ 219.965
c NEW SOLUTION FOUND: 557 @ 220.047
c NEW SOLUTION FOUND: 556 @ 220.129
c NEW SOLUTION FOUND: 555 @ 220.211
c NEW SOLUTION FOUND: 554 @ 220.294
c NEW SOLUTION FOUND: 553 @ 220.376
c NEW SOLUTION FOUND: 552 @ 220.459
c NEW SOLUTION FOUND: 551 @ 220.541
c NEW SOLUTION FOUND: 550 @ 220.624
c NEW SOLUTION FOUND: 549 @ 220.706
c NEW SOLUTION FOUND: 548 @ 220.788
c NEW SOLUTION FOUND: 547 @ 220.871
c NEW SOLUTION FOUND: 546 @ 220.954
c NEW SOLUTION FOUND: 545 @ 221.036
c NEW SOLUTION FOUND: 544 @ 221.119
c NEW SOLUTION FOUND: 543 @ 221.201
c NEW SOLUTION FOUND: 542 @ 221.283
c NEW SOLUTION FOUND: 541 @ 221.365
c NEW SOLUTION FOUND: 540 @ 221.448
c NEW SOLUTION FOUND: 539 @ 221.53
c NEW SOLUTION FOUND: 538 @ 221.612
c NEW SOLUTION FOUND: 537 @ 221.695
c NEW SOLUTION FOUND: 536 @ 221.778
c NEW SOLUTION FOUND: 535 @ 221.86
c NEW SOLUTION FOUND: 534 @ 221.942
c NEW SOLUTION FOUND: 533 @ 222.025
c NEW SOLUTION FOUND: 532 @ 222.107
c NEW SOLUTION FOUND: 531 @ 222.19
c NEW SOLUTION FOUND: 530 @ 222.272
c NEW SOLUTION FOUND: 529 @ 222.355
c NEW SOLUTION FOUND: 528 @ 222.436
c NEW SOLUTION FOUND: 527 @ 222.519
c NEW SOLUTION FOUND: 526 @ 222.601
c NEW SOLUTION FOUND: 525 @ 222.684
c NEW SOLUTION FOUND: 524 @ 222.766
c NEW SOLUTION FOUND: 523 @ 222.848
c NEW SOLUTION FOUND: 522 @ 222.93
c NEW SOLUTION FOUND: 521 @ 223.012
c NEW SOLUTION FOUND: 520 @ 223.095
c NEW SOLUTION FOUND: 519 @ 223.177
c NEW SOLUTION FOUND: 518 @ 223.336
c NEW SOLUTION FOUND: 517 @ 223.419
c NEW SOLUTION FOUND: 516 @ 223.501
c NEW SOLUTION FOUND: 515 @ 223.583
c NEW SOLUTION FOUND: 514 @ 223.665
c NEW SOLUTION FOUND: 513 @ 223.75
c NEW SOLUTION FOUND: 512 @ 223.833
c NEW SOLUTION FOUND: 511 @ 223.915
c NEW SOLUTION FOUND: 510 @ 223.999
c NEW SOLUTION FOUND: 509 @ 224.085
c NEW SOLUTION FOUND: 508 @ 224.171
c NEW SOLUTION FOUND: 507 @ 224.257
c NEW SOLUTION FOUND: 506 @ 224.343
c NEW SOLUTION FOUND: 505 @ 224.428
c NEW SOLUTION FOUND: 504 @ 224.513
c NEW SOLUTION FOUND: 503 @ 224.599
c NEW SOLUTION FOUND: 502 @ 224.684
c NEW SOLUTION FOUND: 501 @ 224.77
c NEW SOLUTION FOUND: 500 @ 224.856
c NEW SOLUTION FOUND: 499 @ 224.942
c NEW SOLUTION FOUND: 498 @ 225.029
c NEW SOLUTION FOUND: 497 @ 225.115
c NEW SOLUTION FOUND: 496 @ 225.201
c NEW SOLUTION FOUND: 495 @ 225.288
c NEW SOLUTION FOUND: 494 @ 225.375
c NEW SOLUTION FOUND: 493 @ 225.462
c NEW SOLUTION FOUND: 492 @ 225.548
c NEW SOLUTION FOUND: 491 @ 225.634
c NEW SOLUTION FOUND: 490 @ 225.72
c NEW SOLUTION FOUND: 489 @ 225.806
c NEW SOLUTION FOUND: 488 @ 225.892
c NEW SOLUTION FOUND: 487 @ 225.978
c NEW SOLUTION FOUND: 486 @ 226.065
c NEW SOLUTION FOUND: 485 @ 226.152
c NEW SOLUTION FOUND: 484 @ 226.237
c NEW SOLUTION FOUND: 483 @ 226.322
c NEW SOLUTION FOUND: 482 @ 226.41
c NEW SOLUTION FOUND: 481 @ 226.496
c NEW SOLUTION FOUND: 480 @ 226.582
c NEW SOLUTION FOUND: 479 @ 226.668
c NEW SOLUTION FOUND: 478 @ 226.754
c NEW SOLUTION FOUND: 477 @ 226.84
c NEW SOLUTION FOUND: 476 @ 226.926
c NEW SOLUTION FOUND: 475 @ 227.013
c NEW SOLUTION FOUND: 474 @ 227.099
c NEW SOLUTION FOUND: 473 @ 227.187
c NEW SOLUTION FOUND: 472 @ 227.272
c NEW SOLUTION FOUND: 471 @ 227.36
c NEW SOLUTION FOUND: 470 @ 227.446
c NEW SOLUTION FOUND: 469 @ 227.533
c NEW SOLUTION FOUND: 468 @ 227.619
c NEW SOLUTION FOUND: 467 @ 227.705
c NEW SOLUTION FOUND: 466 @ 227.791
c NEW SOLUTION FOUND: 465 @ 227.877
c NEW SOLUTION FOUND: 464 @ 227.963
c NEW SOLUTION FOUND: 463 @ 228.048
c NEW SOLUTION FOUND: 462 @ 228.135
c NEW SOLUTION FOUND: 461 @ 228.221
c NEW SOLUTION FOUND: 460 @ 228.306
c NEW SOLUTION FOUND: 459 @ 228.392
c NEW SOLUTION FOUND: 458 @ 228.478
c NEW SOLUTION FOUND: 457 @ 228.566
c NEW SOLUTION FOUND: 456 @ 228.652
c NEW SOLUTION FOUND: 455 @ 228.738
c NEW SOLUTION FOUND: 454 @ 228.823
c NEW SOLUTION FOUND: 453 @ 228.909
c NEW SOLUTION FOUND: 452 @ 228.995
c NEW SOLUTION FOUND: 451 @ 229.081
c NEW SOLUTION FOUND: 450 @ 229.167
c NEW SOLUTION FOUND: 449 @ 229.252
c NEW SOLUTION FOUND: 448 @ 229.338
c NEW SOLUTION FOUND: 447 @ 229.424
c NEW SOLUTION FOUND: 446 @ 229.511
c NEW SOLUTION FOUND: 445 @ 229.597
c NEW SOLUTION FOUND: 444 @ 229.683
c NEW SOLUTION FOUND: 443 @ 229.77
c NEW SOLUTION FOUND: 442 @ 229.855
c NEW SOLUTION FOUND: 441 @ 229.941
c NEW SOLUTION FOUND: 440 @ 230.027
c NEW SOLUTION FOUND: 439 @ 230.113
c NEW SOLUTION FOUND: 438 @ 230.2
c NEW SOLUTION FOUND: 437 @ 230.286
c NEW SOLUTION FOUND: 436 @ 230.372
c NEW SOLUTION FOUND: 435 @ 230.458
c NEW SOLUTION FOUND: 434 @ 230.544
c NEW SOLUTION FOUND: 433 @ 230.629
c NEW SOLUTION FOUND: 432 @ 230.714
c NEW SOLUTION FOUND: 431 @ 230.801
c NEW SOLUTION FOUND: 430 @ 230.886
c NEW SOLUTION FOUND: 429 @ 230.971
c NEW SOLUTION FOUND: 428 @ 231.056
c NEW SOLUTION FOUND: 427 @ 231.142
c NEW SOLUTION FOUND: 426 @ 231.227
c NEW SOLUTION FOUND: 425 @ 231.313
c NEW SOLUTION FOUND: 424 @ 231.399
c NEW SOLUTION FOUND: 423 @ 231.485
c NEW SOLUTION FOUND: 422 @ 231.573
c NEW SOLUTION FOUND: 421 @ 231.659
c NEW SOLUTION FOUND: 420 @ 231.746
c NEW SOLUTION FOUND: 419 @ 231.833
c NEW SOLUTION FOUND: 418 @ 231.921
c NEW SOLUTION FOUND: 417 @ 232.008
c NEW SOLUTION FOUND: 416 @ 232.096
c NEW SOLUTION FOUND: 415 @ 232.183
c NEW SOLUTION FOUND: 414 @ 232.27
c NEW SOLUTION FOUND: 413 @ 232.357
c NEW SOLUTION FOUND: 412 @ 232.445
c NEW SOLUTION FOUND: 411 @ 232.532
c NEW SOLUTION FOUND: 410 @ 232.619
c NEW SOLUTION FOUND: 409 @ 232.707
c NEW SOLUTION FOUND: 408 @ 232.793
c NEW SOLUTION FOUND: 407 @ 232.88
c NEW SOLUTION FOUND: 406 @ 232.968
c NEW SOLUTION FOUND: 405 @ 233.055
c NEW SOLUTION FOUND: 404 @ 233.142
c NEW SOLUTION FOUND: 403 @ 233.229
c NEW SOLUTION FOUND: 402 @ 233.316
c NEW SOLUTION FOUND: 401 @ 233.403
c NEW SOLUTION FOUND: 400 @ 233.49
c NEW SOLUTION FOUND: 399 @ 233.576
c NEW SOLUTION FOUND: 398 @ 233.663
c NEW SOLUTION FOUND: 397 @ 233.75
c NEW SOLUTION FOUND: 396 @ 233.837
c NEW SOLUTION FOUND: 395 @ 233.923
c NEW SOLUTION FOUND: 394 @ 234.01
c NEW SOLUTION FOUND: 393 @ 234.182
c NEW SOLUTION FOUND: 392 @ 234.27
c NEW SOLUTION FOUND: 391 @ 234.359
c NEW SOLUTION FOUND: 390 @ 234.448
c NEW SOLUTION FOUND: 389 @ 234.536
c NEW SOLUTION FOUND: 388 @ 234.625
c NEW SOLUTION FOUND: 387 @ 234.715
c NEW SOLUTION FOUND: 386 @ 234.803
c NEW SOLUTION FOUND: 385 @ 234.892
c NEW SOLUTION FOUND: 384 @ 234.981
c NEW SOLUTION FOUND: 383 @ 235.07
c NEW SOLUTION FOUND: 382 @ 235.159
c NEW SOLUTION FOUND: 381 @ 235.248
c NEW SOLUTION FOUND: 380 @ 235.336
c NEW SOLUTION FOUND: 379 @ 235.426
c NEW SOLUTION FOUND: 378 @ 235.515
c NEW SOLUTION FOUND: 377 @ 235.604
c NEW SOLUTION FOUND: 376 @ 235.693
c NEW SOLUTION FOUND: 375 @ 235.782
c NEW SOLUTION FOUND: 374 @ 235.871
c NEW SOLUTION FOUND: 373 @ 235.96
c NEW SOLUTION FOUND: 372 @ 236.048
c NEW SOLUTION FOUND: 371 @ 236.137
c NEW SOLUTION FOUND: 370 @ 236.225
c NEW SOLUTION FOUND: 369 @ 236.314
c NEW SOLUTION FOUND: 368 @ 236.402
c NEW SOLUTION FOUND: 367 @ 236.489
c NEW SOLUTION FOUND: 366 @ 236.578
c NEW SOLUTION FOUND: 365 @ 236.667
c NEW SOLUTION FOUND: 364 @ 236.84
c NEW SOLUTION FOUND: 363 @ 236.929
c NEW SOLUTION FOUND: 362 @ 237.019
c NEW SOLUTION FOUND: 361 @ 237.108
c NEW SOLUTION FOUND: 360 @ 237.197
c NEW SOLUTION FOUND: 359 @ 237.286
c NEW SOLUTION FOUND: 358 @ 237.464
c NEW SOLUTION FOUND: 357 @ 237.555
c NEW SOLUTION FOUND: 356 @ 237.647
c NEW SOLUTION FOUND: 355 @ 237.738
c NEW SOLUTION FOUND: 354 @ 237.829
c NEW SOLUTION FOUND: 353 @ 237.92
c NEW SOLUTION FOUND: 352 @ 238.012
c NEW SOLUTION FOUND: 351 @ 238.104
c NEW SOLUTION FOUND: 350 @ 238.195
c NEW SOLUTION FOUND: 349 @ 238.287
c NEW SOLUTION FOUND: 348 @ 238.378
c NEW SOLUTION FOUND: 347 @ 238.467
c NEW SOLUTION FOUND: 346 @ 238.557
c NEW SOLUTION FOUND: 345 @ 238.647
c NEW SOLUTION FOUND: 344 @ 238.736
c NEW SOLUTION FOUND: 343 @ 238.827
c NEW SOLUTION FOUND: 342 @ 238.916
c NEW SOLUTION FOUND: 341 @ 239.006
c NEW SOLUTION FOUND: 340 @ 239.099
c NEW SOLUTION FOUND: 339 @ 239.191
c NEW SOLUTION FOUND: 338 @ 239.283
c NEW SOLUTION FOUND: 337 @ 239.376
c NEW SOLUTION FOUND: 336 @ 239.468
c NEW SOLUTION FOUND: 335 @ 239.562
c NEW SOLUTION FOUND: 334 @ 239.656
c NEW SOLUTION FOUND: 333 @ 239.749
c NEW SOLUTION FOUND: 332 @ 239.843
c NEW SOLUTION FOUND: 331 @ 239.936
c NEW SOLUTION FOUND: 330 @ 240.029
c NEW SOLUTION FOUND: 329 @ 240.121
c NEW SOLUTION FOUND: 328 @ 240.214
c NEW SOLUTION FOUND: 327 @ 240.305
c NEW SOLUTION FOUND: 326 @ 240.398
c NEW SOLUTION FOUND: 325 @ 240.49
c NEW SOLUTION FOUND: 324 @ 240.583
c NEW SOLUTION FOUND: 323 @ 240.676
c NEW SOLUTION FOUND: 322 @ 240.769
c NEW SOLUTION FOUND: 321 @ 240.861
c NEW SOLUTION FOUND: 320 @ 240.953
c NEW SOLUTION FOUND: 319 @ 241.047
c NEW SOLUTION FOUND: 318 @ 241.229
c NEW SOLUTION FOUND: 317 @ 241.324
c NEW SOLUTION FOUND: 316 @ 241.417
c NEW SOLUTION FOUND: 315 @ 241.511
c NEW SOLUTION FOUND: 314 @ 241.605
c NEW SOLUTION FOUND: 313 @ 241.699
c NEW SOLUTION FOUND: 312 @ 241.792
c NEW SOLUTION FOUND: 311 @ 241.886
c NEW SOLUTION FOUND: 310 @ 241.979
c NEW SOLUTION FOUND: 309 @ 242.072
c NEW SOLUTION FOUND: 308 @ 242.164
c NEW SOLUTION FOUND: 307 @ 242.257
c NEW SOLUTION FOUND: 306 @ 242.352
c NEW SOLUTION FOUND: 305 @ 242.446
c NEW SOLUTION FOUND: 304 @ 242.54
c NEW SOLUTION FOUND: 303 @ 242.635
c NEW SOLUTION FOUND: 302 @ 242.729
c NEW SOLUTION FOUND: 301 @ 242.824
c NEW SOLUTION FOUND: 300 @ 242.918
c NEW SOLUTION FOUND: 299 @ 243.014
c NEW SOLUTION FOUND: 298 @ 243.108
c NEW SOLUTION FOUND: 297 @ 243.203
c NEW SOLUTION FOUND: 296 @ 243.297
c NEW SOLUTION FOUND: 295 @ 243.391
c NEW SOLUTION FOUND: 294 @ 243.486
c NEW SOLUTION FOUND: 293 @ 243.581
c NEW SOLUTION FOUND: 292 @ 243.676
c NEW SOLUTION FOUND: 291 @ 243.773
c NEW SOLUTION FOUND: 290 @ 243.867
c NEW SOLUTION FOUND: 289 @ 243.961
c NEW SOLUTION FOUND: 288 @ 244.055
c NEW SOLUTION FOUND: 287 @ 244.149
c NEW SOLUTION FOUND: 286 @ 244.243
c NEW SOLUTION FOUND: 285 @ 244.337
c NEW SOLUTION FOUND: 284 @ 244.431
c NEW SOLUTION FOUND: 283 @ 244.528
c NEW SOLUTION FOUND: 282 @ 244.623
c NEW SOLUTION FOUND: 281 @ 244.718
c NEW SOLUTION FOUND: 280 @ 244.813
c NEW SOLUTION FOUND: 279 @ 244.908
c NEW SOLUTION FOUND: 278 @ 245.003
c NEW SOLUTION FOUND: 277 @ 245.098
c NEW SOLUTION FOUND: 276 @ 245.194
c NEW SOLUTION FOUND: 275 @ 245.289
c NEW SOLUTION FOUND: 274 @ 245.385
c NEW SOLUTION FOUND: 273 @ 245.48
c NEW SOLUTION FOUND: 272 @ 245.576
c NEW SOLUTION FOUND: 271 @ 245.673
c NEW SOLUTION FOUND: 270 @ 245.768
c NEW SOLUTION FOUND: 269 @ 245.864
c NEW SOLUTION FOUND: 268 @ 245.959
c NEW SOLUTION FOUND: 267 @ 246.055
c NEW SOLUTION FOUND: 266 @ 246.344
c NEW SOLUTION FOUND: 265 @ 246.447
c NEW SOLUTION FOUND: 264 @ 246.745
c NEW SOLUTION FOUND: 263 @ 246.85
c NEW SOLUTION FOUND: 262 @ 246.956
c NEW SOLUTION FOUND: 261 @ 247.063
c NEW SOLUTION FOUND: 260 @ 247.383
c NEW SOLUTION FOUND: 259 @ 247.495
c NEW SOLUTION FOUND: 258 @ 247.715
c NEW SOLUTION FOUND: 257 @ 247.829
c NEW SOLUTION FOUND: 256 @ 248.052
c NEW SOLUTION FOUND: 255 @ 248.171
c NEW SOLUTION FOUND: 254 @ 248.288
c NEW SOLUTION FOUND: 253 @ 248.405
c NEW SOLUTION FOUND: 252 @ 248.757
c NEW SOLUTION FOUND: 251 @ 248.885
c NEW SOLUTION FOUND: 250 @ 249.015
c NEW SOLUTION FOUND: 249 @ 249.144
c NEW SOLUTION FOUND: 248 @ 249.277
c NEW SOLUTION FOUND: 247 @ 249.413
c NEW SOLUTION FOUND: 246 @ 249.547
c NEW SOLUTION FOUND: 245 @ 249.681
c NEW SOLUTION FOUND: 244 @ 250.087
c NEW SOLUTION FOUND: 243 @ 250.359
c NEW SOLUTION FOUND: 242 @ 250.502
c NEW SOLUTION FOUND: 241 @ 250.646
c NEW SOLUTION FOUND: 240 @ 250.788
c NEW SOLUTION FOUND: 239 @ 250.933
c NEW SOLUTION FOUND: 238 @ 251.076
c NEW SOLUTION FOUND: 237 @ 251.22
c NEW SOLUTION FOUND: 236 @ 251.365
c NEW SOLUTION FOUND: 235 @ 251.509
c NEW SOLUTION FOUND: 234 @ 251.789
c NEW SOLUTION FOUND: 233 @ 252.075
c NEW SOLUTION FOUND: 232 @ 252.219
c NEW SOLUTION FOUND: 231 @ 252.364
c NEW SOLUTION FOUND: 230 @ 252.51
c NEW SOLUTION FOUND: 229 @ 252.805
c NEW SOLUTION FOUND: 228 @ 253.102
c NEW SOLUTION FOUND: 227 @ 253.407
c NEW SOLUTION FOUND: 226 @ 253.565
c NEW SOLUTION FOUND: 225 @ 253.88
c NEW SOLUTION FOUND: 224 @ 254.041
c NEW SOLUTION FOUND: 223 @ 254.533
c NEW SOLUTION FOUND: 222 @ 254.7
c NEW SOLUTION FOUND: 221 @ 254.869
c NEW SOLUTION FOUND: 220 @ 255.044
c NEW SOLUTION FOUND: 219 @ 255.217
c NEW SOLUTION FOUND: 218 @ 255.389
c NEW SOLUTION FOUND: 217 @ 255.563
c NEW SOLUTION FOUND: 216 @ 255.734
c NEW SOLUTION FOUND: 215 @ 255.908
c NEW SOLUTION FOUND: 214 @ 256.078
c NEW SOLUTION FOUND: 213 @ 256.253
c NEW SOLUTION FOUND: 212 @ 256.426
c NEW SOLUTION FOUND: 211 @ 256.777
c NEW SOLUTION FOUND: 210 @ 256.953
c NEW SOLUTION FOUND: 209 @ 257.134
c NEW SOLUTION FOUND: 208 @ 257.311
c NEW SOLUTION FOUND: 207 @ 257.488
c NEW SOLUTION FOUND: 206 @ 257.669
c NEW SOLUTION FOUND: 205 @ 257.854
c NEW SOLUTION FOUND: 204 @ 258.029
c NEW SOLUTION FOUND: 203 @ 258.206
c NEW SOLUTION FOUND: 202 @ 258.383
c NEW SOLUTION FOUND: 201 @ 258.563
c NEW SOLUTION FOUND: 200 @ 258.737
c NEW SOLUTION FOUND: 199 @ 258.915
c NEW SOLUTION FOUND: 198 @ 259.094
c NEW SOLUTION FOUND: 197 @ 259.451
c NEW SOLUTION FOUND: 196 @ 259.633
c NEW SOLUTION FOUND: 195 @ 259.808
c NEW SOLUTION FOUND: 194 @ 260.182
c NEW SOLUTION FOUND: 193 @ 260.368
c NEW SOLUTION FOUND: 192 @ 260.555
c NEW SOLUTION FOUND: 191 @ 260.747
c NEW SOLUTION FOUND: 190 @ 260.928
c NEW SOLUTION FOUND: 189 @ 261.298
c NEW SOLUTION FOUND: 188 @ 261.686
c NEW SOLUTION FOUND: 187 @ 261.883
c NEW SOLUTION FOUND: 186 @ 262.471
c NEW SOLUTION FOUND: 185 @ 262.67
c NEW SOLUTION FOUND: 184 @ 262.875
c NEW SOLUTION FOUND: 183 @ 263.277
c NEW SOLUTION FOUND: 182 @ 263.479
c NEW SOLUTION FOUND: 181 @ 263.698
c NEW SOLUTION FOUND: 180 @ 263.904
c NEW SOLUTION FOUND: 179 @ 264.511
c NEW SOLUTION FOUND: 178 @ 264.737
c NEW SOLUTION FOUND: 177 @ 264.939
c NEW SOLUTION FOUND: 176 @ 265.363
c NEW SOLUTION FOUND: 175 @ 265.57
c NEW SOLUTION FOUND: 174 @ 266.013
c NEW SOLUTION FOUND: 173 @ 266.225
c NEW SOLUTION FOUND: 172 @ 266.66
c NEW SOLUTION FOUND: 171 @ 266.883
c NEW SOLUTION FOUND: 170 @ 267.332
c NEW SOLUTION FOUND: 169 @ 267.803
c NEW SOLUTION FOUND: 168 @ 268.02
c NEW SOLUTION FOUND: 167 @ 268.261
c NEW SOLUTION FOUND: 166 @ 268.732
c NEW SOLUTION FOUND: 165 @ 268.981
c NEW SOLUTION FOUND: 164 @ 269.47
c NEW SOLUTION FOUND: 163 @ 269.971
c NEW SOLUTION FOUND: 162 @ 270.471
c NEW SOLUTION FOUND: 161 @ 271.502
c NEW SOLUTION FOUND: 160 @ 271.776
c NEW SOLUTION FOUND: 159 @ 272.046
c NEW SOLUTION FOUND: 158 @ 272.585
c NEW SOLUTION FOUND: 157 @ 273.195
c NEW SOLUTION FOUND: 156 @ 273.478
c NEW SOLUTION FOUND: 155 @ 274.049
c NEW SOLUTION FOUND: 154 @ 274.924
c NEW SOLUTION FOUND: 153 @ 275.225
c NEW SOLUTION FOUND: 152 @ 275.525
c NEW SOLUTION FOUND: 151 @ 275.819
c NEW SOLUTION FOUND: 150 @ 276.172
c NEW SOLUTION FOUND: 149 @ 276.481
c NEW SOLUTION FOUND: 148 @ 277.785
c NEW SOLUTION FOUND: 147 @ 278.467
c NEW SOLUTION FOUND: 146 @ 278.811
c NEW SOLUTION FOUND: 145 @ 279.544
c NEW SOLUTION FOUND: 144 @ 280.68
c NEW SOLUTION FOUND: 143 @ 281.904
c NEW SOLUTION FOUND: 142 @ 282.867
c NEW SOLUTION FOUND: 141 @ 283.311
c NEW SOLUTION FOUND: 140 @ 285.929
c NEW SOLUTION FOUND: 139 @ 290.604
c NEW SOLUTION FOUND: 138 @ 295.101
c NEW SOLUTION FOUND: 137 @ 300.797
c NEW SOLUTION FOUND: 136 @ 307.37
c NEW SOLUTION FOUND: 135 @ 308.349
c NEW SOLUTION FOUND: 134 @ 309.518
c NEW SOLUTION FOUND: 133 @ 310.585
c NEW SOLUTION FOUND: 132 @ 325.118
c NEW SOLUTION FOUND: 131 @ 416.648
c NEW SOLUTION FOUND: 130 @ 484.371
c NEW SOLUTION FOUND: 129 @ 550.071
c NEW SOLUTION FOUND: 128 @ 670.358
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.16 1.06 1.01 2/54 5083
Raw data (stat): 5083 (runsolver) R 5082 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 651128125 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.13 1.05 1.01 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 3725 0 0 0 982 12 0 0 25 0 1 0 651128125 12877824 2383 4294967295 134512640 134714508 3221221776 3221220224 134648534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2383 1111 63 0 3081 0
vsize: 12576
[startup+20.0015 s]
Raw data (loadavg): 1.11 1.05 1.01 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 4926 0 0 0 1979 15 0 0 25 0 1 0 651128125 13111296 2471 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2471 1111 63 0 3138 0
vsize: 12804
[startup+30.0015 s]
Raw data (loadavg): 1.10 1.05 1.01 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 6668 0 0 0 2966 28 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221219908 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+40.0013 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 8411 0 0 0 3954 41 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220128 1074142996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+50.0014 s]
Raw data (loadavg): 1.07 1.05 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 10130 0 0 0 4942 53 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2378 1111 63 0 3119 0
vsize: 12396
[startup+60.0023 s]
Raw data (loadavg): 1.06 1.04 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 11899 0 0 0 5929 66 0 0 25 0 1 0 651128125 12861440 2378 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12560
[startup+70.0033 s]
Raw data (loadavg): 1.05 1.04 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 13710 0 0 0 6915 80 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+80.0031 s]
Raw data (loadavg): 1.04 1.04 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 15662 0 0 0 7904 92 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+90.0031 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 17649 0 0 0 8892 103 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221219896 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+100.003 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 20009 0 0 0 9878 117 0 0 25 0 1 0 651128125 12849152 2379 4294967295 134512640 134714508 3221221776 3221219504 1075828235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2379 1111 63 0 3074 0
vsize: 12548
[startup+110.004 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 22694 0 0 0 10865 130 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220128 1074115534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+120.005 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 25583 0 0 0 11853 143 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220312 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+130.005 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 28851 0 0 0 12836 159 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+140.005 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 32121 0 0 0 13822 173 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+150.005 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 5083
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 35555 0 0 0 14807 188 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220128 1074115509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+160.006 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 39278 0 0 0 15791 205 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+170.006 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 42856 0 0 0 16778 218 0 0 25 0 1 0 651128125 13066240 2398 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3190 2398 1111 63 0 3127 0
vsize: 12760
[startup+180.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 46598 0 0 0 17762 234 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+190.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 50373 0 0 0 18747 249 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220208 1073990306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+200.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 54284 0 0 0 19734 263 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220480 134652495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+210.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 58607 0 0 0 20718 278 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220416 134649106 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+220.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 64306 0 0 0 21700 297 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+230.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 72142 0 0 0 22677 319 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221219456 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+240.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 82018 0 0 0 23648 349 0 0 25 0 1 0 651128125 12693504 2377 4294967295 134512640 134714508 3221221776 3221219968 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2377 1111 63 0 3036 0
vsize: 12396
[startup+250.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 92625 0 0 0 24617 380 0 0 25 0 1 0 651128125 12836864 2412 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 2412 1111 63 0 3071 0
vsize: 12536
[startup+260.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 99831 0 0 0 25598 399 0 0 25 0 1 0 651128125 13619200 2516 4294967295 134512640 134714508 3221221776 3221218328 1075240389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2516 1111 63 0 3262 0
vsize: 13300
[startup+270.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 102702 0 0 0 26589 408 0 0 25 0 1 0 651128125 13058048 2432 4294967295 134512640 134714508 3221221776 3221218760 1074831417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2432 1111 63 0 3125 0
vsize: 12752
[startup+280.007 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 103961 0 0 0 27584 414 0 0 25 0 1 0 651128125 13225984 2440 4294967295 134512640 134714508 3221221776 3221218304 1075119993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3229 2440 1111 63 0 3166 0
vsize: 12916
[startup+290.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 109032 0 0 0 28571 426 0 0 25 0 1 0 651128125 14581760 2769 4294967295 134512640 134714508 3221221776 3221219504 1075828464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3560 2769 1111 63 0 3497 0
vsize: 14240
[startup+300.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 115386 0 0 0 29555 443 0 0 25 0 1 0 651128125 14127104 2719 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2719 1111 63 0 3386 0
vsize: 13796
[startup+310.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 121740 0 0 0 30539 459 0 0 25 0 1 0 651128125 14983168 2866 4294967295 134512640 134714508 3221221776 3221219696 1075799685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2866 1111 63 0 3595 0
vsize: 14632
[startup+320.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 126463 0 0 0 31527 471 0 0 25 0 1 0 651128125 14204928 2758 4294967295 134512640 134714508 3221221776 3221220256 1074031972 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2758 1111 63 0 3405 0
vsize: 13872
[startup+330.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 132453 0 0 0 32514 484 0 0 25 0 1 0 651128125 16007168 3133 4294967295 134512640 134714508 3221221776 3221217980 1075564301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3133 1111 63 0 3845 0
vsize: 15632
[startup+340.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 138659 0 0 0 33499 499 0 0 25 0 1 0 651128125 15089664 2943 4294967295 134512640 134714508 3221221776 3221220284 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2943 1111 63 0 3621 0
vsize: 14736
[startup+350.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 144573 0 0 0 34484 514 0 0 25 0 1 0 651128125 15998976 3154 4294967295 134512640 134714508 3221221776 3221220304 134648630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3906 3154 1111 63 0 3843 0
vsize: 15624
[startup+360.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 149555 0 0 0 35473 526 0 0 25 0 1 0 651128125 17305600 3515 4294967295 134512640 134714508 3221221776 3221220056 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3516 1111 63 0 4162 0
vsize: 16900
[startup+370.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 156136 0 0 0 36458 541 0 0 25 0 1 0 651128125 16318464 3279 4294967295 134512640 134714508 3221221776 3221219880 1074138163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3984 3279 1111 63 0 3921 0
vsize: 15936
[startup+380.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 162233 0 0 0 37443 556 0 0 25 0 1 0 651128125 18407424 3737 4294967295 134512640 134714508 3221221776 3221218696 1074950108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3737 1111 63 0 4431 0
vsize: 17976
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 169156 0 0 0 38427 572 0 0 25 0 1 0 651128125 17727488 3621 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4328 3621 1111 63 0 4265 0
vsize: 17312
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 176069 0 0 0 39412 588 0 0 25 0 1 0 651128125 17489920 3563 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4270 3563 1111 63 0 4207 0
vsize: 17080
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 180844 0 0 0 40401 599 0 0 25 0 1 0 651128125 17747968 3626 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3626 1111 63 0 4270 0
vsize: 17332
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 186204 0 0 0 41388 612 0 0 25 0 1 0 651128125 19816448 4043 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4838 4043 1111 63 0 4775 0
vsize: 19352
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 191379 0 0 0 42376 623 0 0 25 0 1 0 651128125 19304448 3943 4294967295 134512640 134714508 3221221776 3221217760 1074875123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 3943 1111 63 0 4650 0
vsize: 18852
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 195936 0 0 0 43365 635 0 0 25 0 1 0 651128125 18247680 3698 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3698 1111 63 0 4392 0
vsize: 17820
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 200974 0 0 0 44353 647 0 0 25 0 1 0 651128125 18640896 3778 4294967295 134512640 134714508 3221221776 3221220096 1075006800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4551 3778 1111 63 0 4488 0
vsize: 18204
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 207544 0 0 0 45336 664 0 0 25 0 1 0 651128125 21577728 4482 4294967295 134512640 134714508 3221221776 3221217760 1074875068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5268 4482 1111 63 0 5205 0
vsize: 21072
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 213023 0 0 0 46324 677 0 0 25 0 1 0 651128125 21848064 4587 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5334 4587 1111 63 0 5271 0
vsize: 21336
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 218125 0 0 0 47312 689 0 0 25 0 1 0 651128125 19062784 3946 4294967295 134512640 134714508 3221221776 3221220096 1074039446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4654 3946 1111 63 0 4591 0
vsize: 18616
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 221581 0 0 0 48304 697 0 0 25 0 1 0 651128125 20021248 4140 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4888 4140 1111 63 0 4825 0
vsize: 19552
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 225202 0 0 0 49297 704 0 0 25 0 1 0 651128125 20885504 4336 4294967295 134512640 134714508 3221221776 3221217760 1074875003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5099 4336 1111 63 0 5036 0
vsize: 20396
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 229672 0 0 0 50284 717 0 0 25 0 1 0 651128125 20635648 4293 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5038 4293 1111 63 0 4975 0
vsize: 20152
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 234247 0 0 0 51273 729 0 0 25 0 1 0 651128125 20897792 4338 4294967295 134512640 134714508 3221221776 3221217760 1074874996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4338 1111 63 0 5039 0
vsize: 20408
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 238323 0 0 0 52263 738 0 0 25 0 1 0 651128125 21004288 4366 4294967295 134512640 134714508 3221221776 3221217760 1074875081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5128 4366 1111 63 0 5065 0
vsize: 20512
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 242441 0 0 0 53254 748 0 0 25 0 1 0 651128125 21016576 4369 4294967295 134512640 134714508 3221221776 3221217760 1074875083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5131 4369 1111 63 0 5068 0
vsize: 20524
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 247599 0 0 0 54242 760 0 0 25 0 1 0 651128125 20713472 4146 4294967295 134512640 134714508 3221221776 3221218968 1074138303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5057 4156 1111 63 0 4994 0
vsize: 20228
[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 251453 0 0 0 55234 768 0 0 25 0 1 0 651128125 21262336 4409 4294967295 134512640 134714508 3221221776 3221217760 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4409 1111 63 0 5128 0
vsize: 20764
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 256063 0 0 0 56222 780 0 0 25 0 1 0 651128125 21495808 4485 4294967295 134512640 134714508 3221221776 3221217760 1074875081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4485 1111 63 0 5185 0
vsize: 20992
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 260960 0 0 0 57211 792 0 0 25 0 1 0 651128125 21606400 4515 4294967295 134512640 134714508 3221221776 3221217780 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4515 1111 63 0 5212 0
vsize: 21100
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 265969 0 0 0 58200 803 0 0 25 0 1 0 651128125 21606400 4515 4294967295 134512640 134714508 3221221776 3221217760 1074875025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4515 1111 63 0 5212 0
vsize: 21100
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 271134 0 0 0 59188 815 0 0 25 0 1 0 651128125 21749760 4554 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4554 1111 63 0 5247 0
vsize: 21240
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 275222 0 0 0 60178 825 0 0 25 0 1 0 651128125 19550208 4066 4294967295 134512640 134714508 3221221776 3221219664 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4773 4066 1111 63 0 4710 0
vsize: 19092
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 278951 0 0 0 61171 833 0 0 25 0 1 0 651128125 22097920 4677 4294967295 134512640 134714508 3221221776 3221219776 1074916543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4677 1111 63 0 5332 0
vsize: 21580
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 284260 0 0 0 62158 846 0 0 25 0 1 0 651128125 20328448 4169 4294967295 134512640 134714508 3221221776 3221220280 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4169 1111 63 0 4900 0
vsize: 19852
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 289391 0 0 0 63145 859 0 0 25 0 1 0 651128125 23347200 4918 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5700 4918 1111 63 0 5637 0
vsize: 22800
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 295922 0 0 0 64131 873 0 0 25 0 1 0 651128125 23629824 4972 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5769 4972 1111 63 0 5706 0
vsize: 23076
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 302049 0 0 0 65116 888 0 0 25 0 1 0 651128125 23490560 5012 4294967295 134512640 134714508 3221221776 3221219776 1074918319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5735 5012 1111 63 0 5672 0
vsize: 22940
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 306411 0 0 0 66108 897 0 0 25 0 1 0 651128125 24498176 5230 4294967295 134512640 134714508 3221221776 3221218816 1075971417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5981 5230 1111 63 0 5918 0
vsize: 23924
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 311882 0 0 0 67094 910 0 0 25 0 1 0 651128125 20869120 4384 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5095 4384 1111 63 0 5032 0
vsize: 20380
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 315433 0 0 0 68086 918 0 0 25 0 1 0 651128125 20811776 4370 4294967295 134512640 134714508 3221221776 3221219824 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4370 1111 63 0 5018 0
vsize: 20324
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 318807 0 0 0 69078 926 0 0 25 0 1 0 651128125 20926464 4398 4294967295 134512640 134714508 3221221776 3221219920 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5109 4398 1111 63 0 5046 0
vsize: 20436
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 322409 0 0 0 70069 935 0 0 25 0 1 0 651128125 21028864 4423 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5134 4423 1111 63 0 5071 0
vsize: 20536
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 325958 0 0 0 71062 942 0 0 25 0 1 0 651128125 23113728 4893 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4893 1111 63 0 5580 0
vsize: 22572
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 329310 0 0 0 72053 952 0 0 25 0 1 0 651128125 23977984 5143 4294967295 134512640 134714508 3221221776 3221219776 1074918526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5854 5143 1111 63 0 5791 0
vsize: 23416
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 333852 0 0 0 73044 961 0 0 25 0 1 0 651128125 24678400 5235 4294967295 134512640 134714508 3221221776 3221217760 1074875083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6025 5235 1111 63 0 5962 0
vsize: 24100
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 337503 0 0 0 74035 970 0 0 25 0 1 0 651128125 24539136 5244 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5991 5244 1111 63 0 5928 0
vsize: 23964
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 342690 0 0 0 75025 980 0 0 25 0 1 0 651128125 21737472 4546 4294967295 134512640 134714508 3221221776 3221220304 134648617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5307 4546 1111 63 0 5244 0
vsize: 21228
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 348329 0 0 0 76013 993 0 0 25 0 1 0 651128125 24891392 5315 4294967295 134512640 134714508 3221221776 3221217760 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6077 5315 1111 63 0 6014 0
vsize: 24308
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 351727 0 0 0 77004 1001 0 0 25 0 1 0 651128125 26279936 5575 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6416 5579 1111 63 0 6353 0
vsize: 25664
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 355862 0 0 0 77994 1011 0 0 25 0 1 0 651128125 25698304 5482 4294967295 134512640 134714508 3221221776 3221217760 1074875065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5482 1111 63 0 6211 0
vsize: 25096
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 361448 0 0 0 78982 1024 0 0 25 0 1 0 651128125 21872640 4625 4294967295 134512640 134714508 3221221776 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5340 4625 1111 63 0 5277 0
vsize: 21360
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 365221 0 0 0 79974 1032 0 0 25 0 1 0 651128125 22614016 4755 4294967295 134512640 134714508 3221221776 3221219928 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5521 4755 1111 63 0 5458 0
vsize: 22084
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 371810 0 0 0 80959 1047 0 0 25 0 1 0 651128125 26800128 5762 4294967295 134512640 134714508 3221221776 3221217760 1074875065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6543 5762 1111 63 0 6480 0
vsize: 26172
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 374913 0 0 0 81950 1056 0 0 25 0 1 0 651128125 27009024 5521 4294967295 134512640 134714508 3221221776 3221219056 1074140035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6594 5526 1111 63 0 6531 0
vsize: 26376
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 379960 0 0 0 82939 1068 0 0 25 0 1 0 651128125 26906624 5812 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6569 5812 1111 63 0 6506 0
vsize: 26276
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 386154 0 0 0 83925 1082 0 0 25 0 1 0 651128125 22962176 4887 4294967295 134512640 134714508 3221221776 3221189728 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4887 1111 63 0 5543 0
vsize: 22424
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 389463 0 0 0 84918 1089 0 0 25 0 1 0 651128125 25546752 5154 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6237 5158 1111 63 0 6174 0
vsize: 24948
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 395339 0 0 0 85905 1102 0 0 25 0 1 0 651128125 24428544 5241 4294967295 134512640 134714508 3221221776 3221219776 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5964 5241 1111 63 0 5901 0
vsize: 23856
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 399548 0 0 0 86896 1112 0 0 25 0 1 0 651128125 24788992 5299 4294967295 134512640 134714508 3221221776 3221219928 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6052 5299 1111 63 0 5989 0
vsize: 24208
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 404366 0 0 0 87883 1124 0 0 25 0 1 0 651128125 24641536 5296 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6016 5296 1111 63 0 5953 0
vsize: 24064
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 409149 0 0 0 88872 1136 0 0 25 0 1 0 651128125 24551424 5274 4294967295 134512640 134714508 3221221776 3221206736 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5994 5274 1111 63 0 5931 0
vsize: 23976
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 413653 0 0 0 89860 1147 0 0 25 0 1 0 651128125 25149440 5370 4294967295 134512640 134714508 3221221776 3221219928 1074950105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6140 5370 1111 63 0 6077 0
vsize: 24560
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 419165 0 0 0 90848 1160 0 0 25 0 1 0 651128125 25657344 5542 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6264 5542 1111 63 0 6201 0
vsize: 25056
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 424028 0 0 0 91837 1172 0 0 25 0 1 0 651128125 25509888 5508 4294967295 134512640 134714508 3221221776 3221220128 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6228 5508 1111 63 0 6165 0
vsize: 24912
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 428830 0 0 0 92826 1183 0 0 25 0 1 0 651128125 25214976 5436 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5436 1111 63 0 6093 0
vsize: 24624
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 433095 0 0 0 93817 1192 0 0 25 0 1 0 651128125 25702400 5523 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6275 5523 1111 63 0 6212 0
vsize: 25100
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 438058 0 0 0 94805 1203 0 0 25 0 1 0 651128125 25604096 5531 4294967295 134512640 134714508 3221221776 3221219920 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6251 5531 1111 63 0 6188 0
vsize: 25004
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 442523 0 0 0 95796 1213 0 0 25 0 1 0 651128125 25833472 5555 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5555 1111 63 0 6244 0
vsize: 25228
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 447550 0 0 0 96784 1225 0 0 25 0 1 0 651128125 25669632 5547 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6267 5547 1111 63 0 6204 0
vsize: 25068
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 452198 0 0 0 97773 1236 0 0 25 0 1 0 651128125 26021888 5601 4294967295 134512640 134714508 3221221776 3221219928 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6353 5601 1111 63 0 6290 0
vsize: 25412
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 457307 0 0 0 98762 1247 0 0 25 0 1 0 651128125 25612288 5529 4294967295 134512640 134714508 3221221776 3221182784 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5529 1111 63 0 6190 0
vsize: 25012
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 460102 0 0 0 99756 1254 0 0 25 0 1 0 651128125 30846976 6772 4294967295 134512640 134714508 3221221776 3221217760 1074875081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7531 6772 1111 63 0 7468 0
vsize: 30124
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 465021 0 0 0 100744 1266 0 0 25 0 1 0 651128125 31301632 6858 4294967295 134512640 134714508 3221221776 3221217748 1074786507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7642 6858 1111 63 0 7579 0
vsize: 30568
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 470395 0 0 0 101731 1279 0 0 25 0 1 0 651128125 31305728 6856 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6856 1111 63 0 7580 0
vsize: 30572
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 473086 0 0 0 102724 1287 0 0 25 0 1 0 651128125 26439680 5733 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6455 5733 1111 63 0 6392 0
vsize: 25820
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 478413 0 0 0 103713 1297 0 0 25 0 1 0 651128125 26054656 5639 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6361 5639 1111 63 0 6298 0
vsize: 25444
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 481158 0 0 0 104707 1304 0 0 25 0 1 0 651128125 31264768 6833 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6833 1111 63 0 7570 0
vsize: 30532
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 486213 0 0 0 105696 1315 0 0 25 0 1 0 651128125 30584832 6693 4294967295 134512640 134714508 3221221776 3221217780 1074875793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7467 6693 1111 63 0 7404 0
vsize: 29868
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 490999 0 0 0 106685 1326 0 0 25 0 1 0 651128125 31621120 6957 4294967295 134512640 134714508 3221221776 3221218368 1074887360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7720 6957 1111 63 0 7657 0
vsize: 30880
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 495878 0 0 0 107675 1336 0 0 25 0 1 0 651128125 31223808 6869 4294967295 134512640 134714508 3221221776 3221217760 1074875083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7623 6869 1111 63 0 7560 0
vsize: 30492
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 500644 0 0 0 108665 1346 0 0 25 0 1 0 651128125 31223808 6866 4294967295 134512640 134714508 3221221776 3221217760 1074874996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7623 6866 1111 63 0 7560 0
vsize: 30492
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 505413 0 0 0 109653 1358 0 0 25 0 1 0 651128125 31236096 6860 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6860 1111 63 0 7563 0
vsize: 30504
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 509948 0 0 0 110643 1368 0 0 25 0 1 0 651128125 30756864 6745 4294967295 134512640 134714508 3221221776 3221217780 1074875737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7509 6745 1111 63 0 7446 0
vsize: 30036
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 514214 0 0 0 111634 1378 0 0 25 0 1 0 651128125 31485952 6915 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7687 6915 1111 63 0 7624 0
vsize: 30748
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 518770 0 0 0 112624 1388 0 0 25 0 1 0 651128125 31080448 6826 4294967295 134512640 134714508 3221221776 3221217820 1074873336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7588 6826 1111 63 0 7525 0
vsize: 30352
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 521895 0 0 0 113616 1396 0 0 25 0 1 0 651128125 30638080 6757 4294967295 134512640 134714508 3221221776 3221219776 1074918198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7480 6757 1111 63 0 7417 0
vsize: 29920
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 527518 0 0 0 114605 1408 0 0 25 0 1 0 651128125 31326208 6861 4294967295 134512640 134714508 3221221776 3221217760 1074875003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7648 6861 1111 63 0 7585 0
vsize: 30592
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 532095 0 0 0 115595 1418 0 0 25 0 1 0 651128125 31326208 6856 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7648 6856 1111 63 0 7585 0
vsize: 30592
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 536602 0 0 0 116584 1429 0 0 25 0 1 0 651128125 31203328 6813 4294967295 134512640 134714508 3221221776 3221217740 1074860813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7618 6813 1111 63 0 7555 0
vsize: 30472
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 540755 0 0 0 117575 1438 0 0 25 0 1 0 651128125 30613504 6673 4294967295 134512640 134714508 3221221776 3221217760 1074875081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6673 1111 63 0 7411 0
vsize: 29896
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) R 5082 7876 7672 0 -1 0 543165 0 0 0 118570 1443 0 0 25 0 1 0 651128125 30425088 6617 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6617 1111 63 0 7365 0
vsize: 29712
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5085
Raw data (stat): 5083 (bsolo_lpr_cuts) Z 5082 7876 7672 0 -1 1036 543165 0 0 0 118570 1444 0 0 25 0 1 0 651128125 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.05
CPU time (s): 1200.15
CPU user time (s): 1185.71
CPU system time (s): 14.4458
CPU usage (%): 100.009
Max. virtual memory (Kb): 30880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####