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-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
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.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
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	3
Maximum length of a constraint	166
Trace number 39455

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        347056 kB
Buffers:         34380 kB
Cached:         628664 kB
SwapCached:        568 kB
Active:          57424 kB
Inactive:       607652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        346804 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16776 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:32:14 (client local time) WITH STATUS 10 IN 1181.76 SECONDS
stats: 27510 0 1181.76 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4677 variables and 509 constraints.
c After prepocess the problem consists of 4677 variables and 509 constraints.
c preprocess terminated 3.333 s
c Initial Lower Bound: 60
c Lower Bound Elapsed time: 1.23525
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2680 @ 14.438
c NEW SOLUTION FOUND: 2679 @ 14.532
c NEW SOLUTION FOUND: 2678 @ 14.58
c NEW SOLUTION FOUND: 2677 @ 14.629
c NEW SOLUTION FOUND: 2676 @ 14.678
c NEW SOLUTION FOUND: 2675 @ 14.727
c NEW SOLUTION FOUND: 2674 @ 14.776
c NEW SOLUTION FOUND: 2673 @ 14.825
c NEW SOLUTION FOUND: 2672 @ 14.874
c NEW SOLUTION FOUND: 2671 @ 14.924
c NEW SOLUTION FOUND: 2670 @ 14.973
c NEW SOLUTION FOUND: 2669 @ 15.023
c NEW SOLUTION FOUND: 2668 @ 15.072
c NEW SOLUTION FOUND: 2667 @ 15.121
c NEW SOLUTION FOUND: 2666 @ 15.171
c NEW SOLUTION FOUND: 2665 @ 15.22
c NEW SOLUTION FOUND: 2664 @ 15.27
c NEW SOLUTION FOUND: 2663 @ 15.319
c NEW SOLUTION FOUND: 2662 @ 15.369
c NEW SOLUTION FOUND: 2661 @ 15.418
c NEW SOLUTION FOUND: 2660 @ 15.467
c NEW SOLUTION FOUND: 2659 @ 15.517
c NEW SOLUTION FOUND: 2658 @ 15.566
c NEW SOLUTION FOUND: 2657 @ 15.616
c NEW SOLUTION FOUND: 2656 @ 15.666
c NEW SOLUTION FOUND: 2655 @ 15.715
c NEW SOLUTION FOUND: 2654 @ 15.765
c NEW SOLUTION FOUND: 2653 @ 15.814
c NEW SOLUTION FOUND: 2652 @ 15.864
c NEW SOLUTION FOUND: 2651 @ 15.914
c NEW SOLUTION FOUND: 2650 @ 15.963
c NEW SOLUTION FOUND: 2649 @ 16.013
c NEW SOLUTION FOUND: 2648 @ 16.063
c NEW SOLUTION FOUND: 2647 @ 16.112
c NEW SOLUTION FOUND: 2646 @ 16.162
c NEW SOLUTION FOUND: 2645 @ 16.212
c NEW SOLUTION FOUND: 2644 @ 16.262
c NEW SOLUTION FOUND: 2643 @ 16.311
c NEW SOLUTION FOUND: 2642 @ 16.361
c NEW SOLUTION FOUND: 2641 @ 16.41
c NEW SOLUTION FOUND: 2640 @ 16.46
c NEW SOLUTION FOUND: 2639 @ 16.51
c NEW SOLUTION FOUND: 2638 @ 16.559
c NEW SOLUTION FOUND: 2637 @ 16.609
c NEW SOLUTION FOUND: 2636 @ 16.658
c NEW SOLUTION FOUND: 2635 @ 16.708
c NEW SOLUTION FOUND: 2634 @ 16.757
c NEW SOLUTION FOUND: 2633 @ 16.807
c NEW SOLUTION FOUND: 2632 @ 16.857
c NEW SOLUTION FOUND: 2631 @ 16.906
c NEW SOLUTION FOUND: 2630 @ 16.956
c NEW SOLUTION FOUND: 2629 @ 17.005
c NEW SOLUTION FOUND: 2628 @ 17.055
c NEW SOLUTION FOUND: 2627 @ 17.104
c NEW SOLUTION FOUND: 2626 @ 17.154
c NEW SOLUTION FOUND: 2625 @ 17.203
c NEW SOLUTION FOUND: 2624 @ 17.253
c NEW SOLUTION FOUND: 2623 @ 17.303
c NEW SOLUTION FOUND: 2622 @ 17.353
c NEW SOLUTION FOUND: 2621 @ 17.402
c NEW SOLUTION FOUND: 2620 @ 17.452
c NEW SOLUTION FOUND: 2619 @ 17.501
c NEW SOLUTION FOUND: 2618 @ 17.551
c NEW SOLUTION FOUND: 2617 @ 17.6
c NEW SOLUTION FOUND: 2616 @ 17.65
c NEW SOLUTION FOUND: 2615 @ 17.699
c NEW SOLUTION FOUND: 2614 @ 17.748
c NEW SOLUTION FOUND: 2613 @ 17.798
c NEW SOLUTION FOUND: 2612 @ 17.847
c NEW SOLUTION FOUND: 2611 @ 17.896
c NEW SOLUTION FOUND: 2610 @ 17.946
c NEW SOLUTION FOUND: 2609 @ 17.996
c NEW SOLUTION FOUND: 2608 @ 18.053
c NEW SOLUTION FOUND: 2607 @ 18.109
c NEW SOLUTION FOUND: 2606 @ 18.163
c NEW SOLUTION FOUND: 2605 @ 18.218
c NEW SOLUTION FOUND: 2604 @ 18.273
c NEW SOLUTION FOUND: 2603 @ 18.385
c NEW SOLUTION FOUND: 2602 @ 18.439
c NEW SOLUTION FOUND: 2601 @ 18.495
c NEW SOLUTION FOUND: 2600 @ 18.551
c NEW SOLUTION FOUND: 2599 @ 18.607
c NEW SOLUTION FOUND: 2598 @ 18.663
c NEW SOLUTION FOUND: 2597 @ 18.718
c NEW SOLUTION FOUND: 2596 @ 18.774
c NEW SOLUTION FOUND: 2595 @ 18.83
c NEW SOLUTION FOUND: 2594 @ 18.886
c NEW SOLUTION FOUND: 2593 @ 18.998
c NEW SOLUTION FOUND: 2592 @ 19.053
c NEW SOLUTION FOUND: 2591 @ 19.11
c NEW SOLUTION FOUND: 2590 @ 19.167
c NEW SOLUTION FOUND: 2589 @ 19.223
c NEW SOLUTION FOUND: 2588 @ 19.28
c NEW SOLUTION FOUND: 2587 @ 19.337
c NEW SOLUTION FOUND: 2586 @ 19.393
c NEW SOLUTION FOUND: 2585 @ 19.45
c NEW SOLUTION FOUND: 2584 @ 19.507
c NEW SOLUTION FOUND: 2583 @ 19.563
c NEW SOLUTION FOUND: 2582 @ 19.62
c NEW SOLUTION FOUND: 2581 @ 19.677
c NEW SOLUTION FOUND: 2580 @ 19.733
c NEW SOLUTION FOUND: 2579 @ 19.79
c NEW SOLUTION FOUND: 2578 @ 19.847
c NEW SOLUTION FOUND: 2577 @ 19.906
c NEW SOLUTION FOUND: 2576 @ 19.963
c NEW SOLUTION FOUND: 2575 @ 20.018
c NEW SOLUTION FOUND: 2574 @ 20.075
c NEW SOLUTION FOUND: 2573 @ 20.131
c NEW SOLUTION FOUND: 2572 @ 20.188
c NEW SOLUTION FOUND: 2571 @ 20.244
c NEW SOLUTION FOUND: 2570 @ 20.301
c NEW SOLUTION FOUND: 2569 @ 20.358
c NEW SOLUTION FOUND: 2568 @ 20.414
c NEW SOLUTION FOUND: 2567 @ 20.47
c NEW SOLUTION FOUND: 2566 @ 20.527
c NEW SOLUTION FOUND: 2565 @ 20.583
c NEW SOLUTION FOUND: 2564 @ 20.64
c NEW SOLUTION FOUND: 2563 @ 20.697
c NEW SOLUTION FOUND: 2562 @ 20.753
c NEW SOLUTION FOUND: 2561 @ 20.81
c NEW SOLUTION FOUND: 2560 @ 20.866
c NEW SOLUTION FOUND: 2559 @ 20.923
c NEW SOLUTION FOUND: 2558 @ 20.98
c NEW SOLUTION FOUND: 2557 @ 21.036
c NEW SOLUTION FOUND: 2556 @ 21.092
c NEW SOLUTION FOUND: 2555 @ 21.149
c NEW SOLUTION FOUND: 2554 @ 21.205
c NEW SOLUTION FOUND: 2553 @ 21.262
c NEW SOLUTION FOUND: 2552 @ 21.318
c NEW SOLUTION FOUND: 2551 @ 21.375
c NEW SOLUTION FOUND: 2550 @ 21.431
c NEW SOLUTION FOUND: 2549 @ 21.488
c NEW SOLUTION FOUND: 2548 @ 21.544
c NEW SOLUTION FOUND: 2547 @ 21.601
c NEW SOLUTION FOUND: 2546 @ 21.658
c NEW SOLUTION FOUND: 2545 @ 21.714
c NEW SOLUTION FOUND: 2544 @ 21.771
c NEW SOLUTION FOUND: 2543 @ 21.828
c NEW SOLUTION FOUND: 2542 @ 21.884
c NEW SOLUTION FOUND: 2541 @ 21.941
c NEW SOLUTION FOUND: 2540 @ 21.998
c NEW SOLUTION FOUND: 2539 @ 22.055
c NEW SOLUTION FOUND: 2538 @ 22.111
c NEW SOLUTION FOUND: 2537 @ 22.168
c NEW SOLUTION FOUND: 2536 @ 22.224
c NEW SOLUTION FOUND: 2535 @ 22.282
c NEW SOLUTION FOUND: 2534 @ 22.338
c NEW SOLUTION FOUND: 2533 @ 22.395
c NEW SOLUTION FOUND: 2532 @ 22.452
c NEW SOLUTION FOUND: 2531 @ 22.508
c NEW SOLUTION FOUND: 2530 @ 22.565
c NEW SOLUTION FOUND: 2529 @ 22.621
c NEW SOLUTION FOUND: 2528 @ 22.678
c NEW SOLUTION FOUND: 2527 @ 22.734
c NEW SOLUTION FOUND: 2526 @ 22.791
c NEW SOLUTION FOUND: 2525 @ 22.848
c NEW SOLUTION FOUND: 2524 @ 22.904
c NEW SOLUTION FOUND: 2523 @ 22.961
c NEW SOLUTION FOUND: 2522 @ 23.017
c NEW SOLUTION FOUND: 2521 @ 23.073
c NEW SOLUTION FOUND: 2520 @ 23.13
c NEW SOLUTION FOUND: 2519 @ 23.186
c NEW SOLUTION FOUND: 2518 @ 23.242
c NEW SOLUTION FOUND: 2517 @ 23.298
c NEW SOLUTION FOUND: 2516 @ 23.355
c NEW SOLUTION FOUND: 2515 @ 23.411
c NEW SOLUTION FOUND: 2514 @ 23.467
c NEW SOLUTION FOUND: 2513 @ 23.524
c NEW SOLUTION FOUND: 2512 @ 23.58
c NEW SOLUTION FOUND: 2511 @ 23.636
c NEW SOLUTION FOUND: 2510 @ 23.693
c NEW SOLUTION FOUND: 2509 @ 23.749
c NEW SOLUTION FOUND: 2508 @ 23.805
c NEW SOLUTION FOUND: 2507 @ 23.862
c NEW SOLUTION FOUND: 2506 @ 23.918
c NEW SOLUTION FOUND: 2505 @ 23.975
c NEW SOLUTION FOUND: 2504 @ 24.031
c NEW SOLUTION FOUND: 2503 @ 24.087
c NEW SOLUTION FOUND: 2502 @ 24.144
c NEW SOLUTION FOUND: 2501 @ 24.2
c NEW SOLUTION FOUND: 2500 @ 24.256
c NEW SOLUTION FOUND: 2499 @ 24.313
c NEW SOLUTION FOUND: 2498 @ 24.369
c NEW SOLUTION FOUND: 2497 @ 24.425
c NEW SOLUTION FOUND: 2496 @ 24.482
c NEW SOLUTION FOUND: 2495 @ 24.538
c NEW SOLUTION FOUND: 2494 @ 24.595
c NEW SOLUTION FOUND: 2493 @ 24.651
c NEW SOLUTION FOUND: 2492 @ 24.707
c NEW SOLUTION FOUND: 2491 @ 24.764
c NEW SOLUTION FOUND: 2490 @ 24.821
c NEW SOLUTION FOUND: 2489 @ 24.877
c NEW SOLUTION FOUND: 2488 @ 24.933
c NEW SOLUTION FOUND: 2487 @ 24.99
c NEW SOLUTION FOUND: 2486 @ 25.046
c NEW SOLUTION FOUND: 2485 @ 25.102
c NEW SOLUTION FOUND: 2484 @ 25.159
c NEW SOLUTION FOUND: 2483 @ 25.271
c NEW SOLUTION FOUND: 2482 @ 25.326
c NEW SOLUTION FOUND: 2481 @ 25.383
c NEW SOLUTION FOUND: 2480 @ 25.44
c NEW SOLUTION FOUND: 2479 @ 25.496
c NEW SOLUTION FOUND: 2478 @ 25.552
c NEW SOLUTION FOUND: 2477 @ 25.608
c NEW SOLUTION FOUND: 2476 @ 25.665
c NEW SOLUTION FOUND: 2475 @ 25.721
c NEW SOLUTION FOUND: 2474 @ 25.778
c NEW SOLUTION FOUND: 2473 @ 25.834
c NEW SOLUTION FOUND: 2472 @ 25.891
c NEW SOLUTION FOUND: 2471 @ 25.949
c NEW SOLUTION FOUND: 2470 @ 26.006
c NEW SOLUTION FOUND: 2469 @ 26.121
c NEW SOLUTION FOUND: 2468 @ 26.177
c NEW SOLUTION FOUND: 2467 @ 26.235
c NEW SOLUTION FOUND: 2466 @ 26.293
c NEW SOLUTION FOUND: 2465 @ 26.351
c NEW SOLUTION FOUND: 2464 @ 26.409
c NEW SOLUTION FOUND: 2463 @ 26.466
c NEW SOLUTION FOUND: 2462 @ 26.524
c NEW SOLUTION FOUND: 2461 @ 26.581
c NEW SOLUTION FOUND: 2460 @ 26.638
c NEW SOLUTION FOUND: 2459 @ 26.694
c NEW SOLUTION FOUND: 2458 @ 26.751
c NEW SOLUTION FOUND: 2457 @ 26.808
c NEW SOLUTION FOUND: 2456 @ 26.864
c NEW SOLUTION FOUND: 2455 @ 26.92
c NEW SOLUTION FOUND: 2454 @ 26.977
c NEW SOLUTION FOUND: 2453 @ 27.034
c NEW SOLUTION FOUND: 2452 @ 27.091
c NEW SOLUTION FOUND: 2451 @ 27.148
c NEW SOLUTION FOUND: 2450 @ 27.204
c NEW SOLUTION FOUND: 2449 @ 27.261
c NEW SOLUTION FOUND: 2448 @ 27.319
c NEW SOLUTION FOUND: 2447 @ 27.376
c NEW SOLUTION FOUND: 2446 @ 27.433
c NEW SOLUTION FOUND: 2445 @ 27.49
c NEW SOLUTION FOUND: 2444 @ 27.546
c NEW SOLUTION FOUND: 2443 @ 27.605
c NEW SOLUTION FOUND: 2442 @ 27.665
c NEW SOLUTION FOUND: 2441 @ 27.722
c NEW SOLUTION FOUND: 2440 @ 27.78
c NEW SOLUTION FOUND: 2439 @ 27.838
c NEW SOLUTION FOUND: 2438 @ 27.895
c NEW SOLUTION FOUND: 2437 @ 27.953
c NEW SOLUTION FOUND: 2436 @ 28.011
c NEW SOLUTION FOUND: 2435 @ 28.068
c NEW SOLUTION FOUND: 2434 @ 28.126
c NEW SOLUTION FOUND: 2433 @ 28.184
c NEW SOLUTION FOUND: 2432 @ 28.302
c NEW SOLUTION FOUND: 2431 @ 28.361
c NEW SOLUTION FOUND: 2430 @ 28.42
c NEW SOLUTION FOUND: 2429 @ 28.48
c NEW SOLUTION FOUND: 2428 @ 28.539
c NEW SOLUTION FOUND: 2427 @ 28.598
c NEW SOLUTION FOUND: 2426 @ 28.657
c NEW SOLUTION FOUND: 2425 @ 28.716
c NEW SOLUTION FOUND: 2424 @ 28.776
c NEW SOLUTION FOUND: 2423 @ 28.835
c NEW SOLUTION FOUND: 2422 @ 28.894
c NEW SOLUTION FOUND: 2421 @ 28.953
c NEW SOLUTION FOUND: 2420 @ 29.013
c NEW SOLUTION FOUND: 2419 @ 29.072
c NEW SOLUTION FOUND: 2418 @ 29.131
c NEW SOLUTION FOUND: 2417 @ 29.19
c NEW SOLUTION FOUND: 2416 @ 29.25
c NEW SOLUTION FOUND: 2415 @ 29.308
c NEW SOLUTION FOUND: 2414 @ 29.367
c NEW SOLUTION FOUND: 2413 @ 29.426
c NEW SOLUTION FOUND: 2412 @ 29.485
c NEW SOLUTION FOUND: 2411 @ 29.544
c NEW SOLUTION FOUND: 2410 @ 29.603
c NEW SOLUTION FOUND: 2409 @ 29.661
c NEW SOLUTION FOUND: 2408 @ 29.72
c NEW SOLUTION FOUND: 2407 @ 29.779
c NEW SOLUTION FOUND: 2406 @ 29.838
c NEW SOLUTION FOUND: 2405 @ 29.897
c NEW SOLUTION FOUND: 2404 @ 29.956
c NEW SOLUTION FOUND: 2403 @ 30.015
c NEW SOLUTION FOUND: 2402 @ 30.074
c NEW SOLUTION FOUND: 2401 @ 30.133
c NEW SOLUTION FOUND: 2400 @ 30.192
c NEW SOLUTION FOUND: 2399 @ 30.25
c NEW SOLUTION FOUND: 2398 @ 30.309
c NEW SOLUTION FOUND: 2397 @ 30.368
c NEW SOLUTION FOUND: 2396 @ 30.427
c NEW SOLUTION FOUND: 2395 @ 30.486
c NEW SOLUTION FOUND: 2394 @ 30.545
c NEW SOLUTION FOUND: 2393 @ 30.604
c NEW SOLUTION FOUND: 2392 @ 30.663
c NEW SOLUTION FOUND: 2391 @ 30.721
c NEW SOLUTION FOUND: 2390 @ 30.78
c NEW SOLUTION FOUND: 2389 @ 30.84
c NEW SOLUTION FOUND: 2388 @ 30.898
c NEW SOLUTION FOUND: 2387 @ 30.957
c NEW SOLUTION FOUND: 2386 @ 31.016
c NEW SOLUTION FOUND: 2385 @ 31.075
c NEW SOLUTION FOUND: 2384 @ 31.133
c NEW SOLUTION FOUND: 2383 @ 31.192
c NEW SOLUTION FOUND: 2382 @ 31.251
c NEW SOLUTION FOUND: 2381 @ 31.31
c NEW SOLUTION FOUND: 2380 @ 31.368
c NEW SOLUTION FOUND: 2379 @ 31.428
c NEW SOLUTION FOUND: 2378 @ 31.486
c NEW SOLUTION FOUND: 2377 @ 31.545
c NEW SOLUTION FOUND: 2376 @ 31.603
c NEW SOLUTION FOUND: 2375 @ 31.662
c NEW SOLUTION FOUND: 2374 @ 31.721
c NEW SOLUTION FOUND: 2373 @ 31.779
c NEW SOLUTION FOUND: 2372 @ 31.838
c NEW SOLUTION FOUND: 2371 @ 31.896
c NEW SOLUTION FOUND: 2370 @ 32.017
c NEW SOLUTION FOUND: 2369 @ 32.076
c NEW SOLUTION FOUND: 2368 @ 32.136
c NEW SOLUTION FOUND: 2367 @ 32.196
c NEW SOLUTION FOUND: 2366 @ 32.256
c NEW SOLUTION FOUND: 2365 @ 32.317
c NEW SOLUTION FOUND: 2364 @ 32.377
c NEW SOLUTION FOUND: 2363 @ 32.437
c NEW SOLUTION FOUND: 2362 @ 32.497
c NEW SOLUTION FOUND: 2361 @ 32.557
c NEW SOLUTION FOUND: 2360 @ 32.618
c NEW SOLUTION FOUND: 2359 @ 32.678
c NEW SOLUTION FOUND: 2358 @ 32.738
c NEW SOLUTION FOUND: 2357 @ 32.798
c NEW SOLUTION FOUND: 2356 @ 32.858
c NEW SOLUTION FOUND: 2355 @ 32.918
c NEW SOLUTION FOUND: 2354 @ 32.978
c NEW SOLUTION FOUND: 2353 @ 33.039
c NEW SOLUTION FOUND: 2352 @ 33.099
c NEW SOLUTION FOUND: 2351 @ 33.159
c NEW SOLUTION FOUND: 2350 @ 33.22
c NEW SOLUTION FOUND: 2349 @ 33.28
c NEW SOLUTION FOUND: 2348 @ 33.34
c NEW SOLUTION FOUND: 2347 @ 33.4
c NEW SOLUTION FOUND: 2346 @ 33.461
c NEW SOLUTION FOUND: 2345 @ 33.521
c NEW SOLUTION FOUND: 2344 @ 33.581
c NEW SOLUTION FOUND: 2343 @ 33.64
c NEW SOLUTION FOUND: 2342 @ 33.701
c NEW SOLUTION FOUND: 2341 @ 33.761
c NEW SOLUTION FOUND: 2340 @ 33.821
c NEW SOLUTION FOUND: 2339 @ 33.882
c NEW SOLUTION FOUND: 2338 @ 33.942
c NEW SOLUTION FOUND: 2337 @ 34.002
c NEW SOLUTION FOUND: 2336 @ 34.063
c NEW SOLUTION FOUND: 2335 @ 34.123
c NEW SOLUTION FOUND: 2334 @ 34.183
c NEW SOLUTION FOUND: 2333 @ 34.243
c NEW SOLUTION FOUND: 2332 @ 34.304
c NEW SOLUTION FOUND: 2331 @ 34.364
c NEW SOLUTION FOUND: 2330 @ 34.424
c NEW SOLUTION FOUND: 2329 @ 34.485
c NEW SOLUTION FOUND: 2328 @ 34.545
c NEW SOLUTION FOUND: 2327 @ 34.605
c NEW SOLUTION FOUND: 2326 @ 34.665
c NEW SOLUTION FOUND: 2325 @ 34.727
c NEW SOLUTION FOUND: 2324 @ 34.792
c NEW SOLUTION FOUND: 2323 @ 34.852
c NEW SOLUTION FOUND: 2322 @ 34.914
c NEW SOLUTION FOUND: 2321 @ 34.975
c NEW SOLUTION FOUND: 2320 @ 35.037
c NEW SOLUTION FOUND: 2319 @ 35.099
c NEW SOLUTION FOUND: 2318 @ 35.16
c NEW SOLUTION FOUND: 2317 @ 35.222
c NEW SOLUTION FOUND: 2316 @ 35.284
c NEW SOLUTION FOUND: 2315 @ 35.346
c NEW SOLUTION FOUND: 2314 @ 35.408
c NEW SOLUTION FOUND: 2313 @ 35.469
c NEW SOLUTION FOUND: 2312 @ 35.531
c NEW SOLUTION FOUND: 2311 @ 35.593
c NEW SOLUTION FOUND: 2310 @ 35.655
c NEW SOLUTION FOUND: 2309 @ 35.716
c NEW SOLUTION FOUND: 2308 @ 35.778
c NEW SOLUTION FOUND: 2307 @ 35.839
c NEW SOLUTION FOUND: 2306 @ 35.901
c NEW SOLUTION FOUND: 2305 @ 35.963
c NEW SOLUTION FOUND: 2304 @ 36.025
c NEW SOLUTION FOUND: 2303 @ 36.087
c NEW SOLUTION FOUND: 2302 @ 36.149
c NEW SOLUTION FOUND: 2301 @ 36.21
c NEW SOLUTION FOUND: 2300 @ 36.272
c NEW SOLUTION FOUND: 2299 @ 36.334
c NEW SOLUTION FOUND: 2298 @ 36.397
c NEW SOLUTION FOUND: 2297 @ 36.459
c NEW SOLUTION FOUND: 2296 @ 36.521
c NEW SOLUTION FOUND: 2295 @ 36.583
c NEW SOLUTION FOUND: 2294 @ 36.645
c NEW SOLUTION FOUND: 2293 @ 36.707
c NEW SOLUTION FOUND: 2292 @ 36.77
c NEW SOLUTION FOUND: 2291 @ 36.833
c NEW SOLUTION FOUND: 2290 @ 36.895
c NEW SOLUTION FOUND: 2289 @ 36.957
c NEW SOLUTION FOUND: 2288 @ 37.019
c NEW SOLUTION FOUND: 2287 @ 37.08
c NEW SOLUTION FOUND: 2286 @ 37.142
c NEW SOLUTION FOUND: 2285 @ 37.204
c NEW SOLUTION FOUND: 2284 @ 37.266
c NEW SOLUTION FOUND: 2283 @ 37.329
c NEW SOLUTION FOUND: 2282 @ 37.391
c NEW SOLUTION FOUND: 2281 @ 37.455
c NEW SOLUTION FOUND: 2280 @ 37.516
c NEW SOLUTION FOUND: 2279 @ 37.579
c NEW SOLUTION FOUND: 2278 @ 37.641
c NEW SOLUTION FOUND: 2277 @ 37.703
c NEW SOLUTION FOUND: 2276 @ 37.766
c NEW SOLUTION FOUND: 2275 @ 37.829
c NEW SOLUTION FOUND: 2274 @ 37.892
c NEW SOLUTION FOUND: 2273 @ 37.955
c NEW SOLUTION FOUND: 2272 @ 38.018
c NEW SOLUTION FOUND: 2271 @ 38.082
c NEW SOLUTION FOUND: 2270 @ 38.145
c NEW SOLUTION FOUND: 2269 @ 38.207
c NEW SOLUTION FOUND: 2268 @ 38.27
c NEW SOLUTION FOUND: 2267 @ 38.333
c NEW SOLUTION FOUND: 2266 @ 38.396
c NEW SOLUTION FOUND: 2265 @ 38.459
c NEW SOLUTION FOUND: 2264 @ 38.522
c NEW SOLUTION FOUND: 2263 @ 38.585
c NEW SOLUTION FOUND: 2262 @ 38.648
c NEW SOLUTION FOUND: 2261 @ 38.711
c NEW SOLUTION FOUND: 2260 @ 38.773
c NEW SOLUTION FOUND: 2259 @ 38.836
c NEW SOLUTION FOUND: 2258 @ 38.899
c NEW SOLUTION FOUND: 2257 @ 38.962
c NEW SOLUTION FOUND: 2256 @ 39.025
c NEW SOLUTION FOUND: 2255 @ 39.153
c NEW SOLUTION FOUND: 2254 @ 39.218
c NEW SOLUTION FOUND: 2253 @ 39.282
c NEW SOLUTION FOUND: 2252 @ 39.349
c NEW SOLUTION FOUND: 2251 @ 39.412
c NEW SOLUTION FOUND: 2250 @ 39.477
c NEW SOLUTION FOUND: 2249 @ 39.542
c NEW SOLUTION FOUND: 2248 @ 39.606
c NEW SOLUTION FOUND: 2247 @ 39.671
c NEW SOLUTION FOUND: 2246 @ 39.736
c NEW SOLUTION FOUND: 2245 @ 39.801
c NEW SOLUTION FOUND: 2244 @ 39.865
c NEW SOLUTION FOUND: 2243 @ 39.93
c NEW SOLUTION FOUND: 2242 @ 39.995
c NEW SOLUTION FOUND: 2241 @ 40.06
c NEW SOLUTION FOUND: 2240 @ 40.124
c NEW SOLUTION FOUND: 2239 @ 40.189
c NEW SOLUTION FOUND: 2238 @ 40.253
c NEW SOLUTION FOUND: 2237 @ 40.318
c NEW SOLUTION FOUND: 2236 @ 40.383
c NEW SOLUTION FOUND: 2235 @ 40.448
c NEW SOLUTION FOUND: 2234 @ 40.512
c NEW SOLUTION FOUND: 2233 @ 40.578
c NEW SOLUTION FOUND: 2232 @ 40.643
c NEW SOLUTION FOUND: 2231 @ 40.708
c NEW SOLUTION FOUND: 2230 @ 40.774
c NEW SOLUTION FOUND: 2229 @ 40.839
c NEW SOLUTION FOUND: 2228 @ 40.905
c NEW SOLUTION FOUND: 2227 @ 41.038
c NEW SOLUTION FOUND: 2226 @ 41.105
c NEW SOLUTION FOUND: 2225 @ 41.171
c NEW SOLUTION FOUND: 2224 @ 41.239
c NEW SOLUTION FOUND: 2223 @ 41.306
c NEW SOLUTION FOUND: 2222 @ 41.373
c NEW SOLUTION FOUND: 2221 @ 41.44
c NEW SOLUTION FOUND: 2220 @ 41.507
c NEW SOLUTION FOUND: 2219 @ 41.575
c NEW SOLUTION FOUND: 2218 @ 41.642
c NEW SOLUTION FOUND: 2217 @ 41.709
c NEW SOLUTION FOUND: 2216 @ 41.776
c NEW SOLUTION FOUND: 2215 @ 41.843
c NEW SOLUTION FOUND: 2214 @ 41.91
c NEW SOLUTION FOUND: 2213 @ 41.977
c NEW SOLUTION FOUND: 2212 @ 42.044
c NEW SOLUTION FOUND: 2211 @ 42.111
c NEW SOLUTION FOUND: 2210 @ 42.179
c NEW SOLUTION FOUND: 2209 @ 42.246
c NEW SOLUTION FOUND: 2208 @ 42.313
c NEW SOLUTION FOUND: 2207 @ 42.38
c NEW SOLUTION FOUND: 2206 @ 42.447
c NEW SOLUTION FOUND: 2205 @ 42.514
c NEW SOLUTION FOUND: 2204 @ 42.581
c NEW SOLUTION FOUND: 2203 @ 42.648
c NEW SOLUTION FOUND: 2202 @ 42.715
c NEW SOLUTION FOUND: 2201 @ 42.782
c NEW SOLUTION FOUND: 2200 @ 42.849
c NEW SOLUTION FOUND: 2199 @ 42.916
c NEW SOLUTION FOUND: 2198 @ 42.983
c NEW SOLUTION FOUND: 2197 @ 43.051
c NEW SOLUTION FOUND: 2196 @ 43.118
c NEW SOLUTION FOUND: 2195 @ 43.186
c NEW SOLUTION FOUND: 2194 @ 43.253
c NEW SOLUTION FOUND: 2193 @ 43.322
c NEW SOLUTION FOUND: 2192 @ 43.392
c NEW SOLUTION FOUND: 2191 @ 43.46
c NEW SOLUTION FOUND: 2190 @ 43.529
c NEW SOLUTION FOUND: 2189 @ 43.598
c NEW SOLUTION FOUND: 2188 @ 43.667
c NEW SOLUTION FOUND: 2187 @ 43.736
c NEW SOLUTION FOUND: 2186 @ 43.862
c NEW SOLUTION FOUND: 2185 @ 43.998
c NEW SOLUTION FOUND: 2184 @ 44.066
c NEW SOLUTION FOUND: 2183 @ 44.134
c NEW SOLUTION FOUND: 2182 @ 44.203
c NEW SOLUTION FOUND: 2181 @ 44.272
c NEW SOLUTION FOUND: 2180 @ 44.341
c NEW SOLUTION FOUND: 2179 @ 44.409
c NEW SOLUTION FOUND: 2178 @ 44.535
c NEW SOLUTION FOUND: 2177 @ 44.668
c NEW SOLUTION FOUND: 2176 @ 44.735
c NEW SOLUTION FOUND: 2175 @ 44.805
c NEW SOLUTION FOUND: 2174 @ 44.873
c NEW SOLUTION FOUND: 2173 @ 44.941
c NEW SOLUTION FOUND: 2172 @ 45.01
c NEW SOLUTION FOUND: 2171 @ 45.079
c NEW SOLUTION FOUND: 2170 @ 45.205
c NEW SOLUTION FOUND: 2169 @ 45.341
c NEW SOLUTION FOUND: 2168 @ 45.408
c NEW SOLUTION FOUND: 2167 @ 45.477
c NEW SOLUTION FOUND: 2166 @ 45.546
c NEW SOLUTION FOUND: 2165 @ 45.614
c NEW SOLUTION FOUND: 2164 @ 45.682
c NEW SOLUTION FOUND: 2163 @ 45.75
c NEW SOLUTION FOUND: 2162 @ 45.818
c NEW SOLUTION FOUND: 2161 @ 45.887
c NEW SOLUTION FOUND: 2160 @ 45.955
c NEW SOLUTION FOUND: 2159 @ 46.024
c NEW SOLUTION FOUND: 2158 @ 46.093
c NEW SOLUTION FOUND: 2157 @ 46.162
c NEW SOLUTION FOUND: 2156 @ 46.231
c NEW SOLUTION FOUND: 2155 @ 46.301
c NEW SOLUTION FOUND: 2154 @ 46.369
c NEW SOLUTION FOUND: 2153 @ 46.438
c NEW SOLUTION FOUND: 2152 @ 46.506
c NEW SOLUTION FOUND: 2151 @ 46.575
c NEW SOLUTION FOUND: 2150 @ 46.643
c NEW SOLUTION FOUND: 2149 @ 46.712
c NEW SOLUTION FOUND: 2148 @ 46.78
c NEW SOLUTION FOUND: 2147 @ 46.848
c NEW SOLUTION FOUND: 2146 @ 46.917
c NEW SOLUTION FOUND: 2145 @ 46.984
c NEW SOLUTION FOUND: 2144 @ 47.052
c NEW SOLUTION FOUND: 2143 @ 47.177
c NEW SOLUTION FOUND: 2142 @ 47.309
c NEW SOLUTION FOUND: 2141 @ 47.377
c NEW SOLUTION FOUND: 2140 @ 47.445
c NEW SOLUTION FOUND: 2139 @ 47.513
c NEW SOLUTION FOUND: 2138 @ 47.582
c NEW SOLUTION FOUND: 2137 @ 47.651
c NEW SOLUTION FOUND: 2136 @ 47.719
c NEW SOLUTION FOUND: 2135 @ 47.788
c NEW SOLUTION FOUND: 2134 @ 47.855
c NEW SOLUTION FOUND: 2133 @ 47.924
c NEW SOLUTION FOUND: 2132 @ 47.992
c NEW SOLUTION FOUND: 2131 @ 48.061
c NEW SOLUTION FOUND: 2130 @ 48.129
c NEW SOLUTION FOUND: 2129 @ 48.198
c NEW SOLUTION FOUND: 2128 @ 48.267
c NEW SOLUTION FOUND: 2127 @ 48.335
c NEW SOLUTION FOUND: 2126 @ 48.403
c NEW SOLUTION FOUND: 2125 @ 48.471
c NEW SOLUTION FOUND: 2124 @ 48.539
c NEW SOLUTION FOUND: 2123 @ 48.607
c NEW SOLUTION FOUND: 2122 @ 48.676
c NEW SOLUTION FOUND: 2121 @ 48.802
c NEW SOLUTION FOUND: 2120 @ 48.938
c NEW SOLUTION FOUND: 2119 @ 49.006
c NEW SOLUTION FOUND: 2118 @ 49.074
c NEW SOLUTION FOUND: 2117 @ 49.142
c NEW SOLUTION FOUND: 2116 @ 49.268
c NEW SOLUTION FOUND: 2115 @ 49.402
c NEW SOLUTION FOUND: 2114 @ 49.469
c NEW SOLUTION FOUND: 2113 @ 49.537
c NEW SOLUTION FOUND: 2112 @ 49.663
c NEW SOLUTION FOUND: 2111 @ 49.795
c NEW SOLUTION FOUND: 2110 @ 49.862
c NEW SOLUTION FOUND: 2109 @ 49.931
c NEW SOLUTION FOUND: 2108 @ 49.999
c NEW SOLUTION FOUND: 2107 @ 50.126
c NEW SOLUTION FOUND: 2106 @ 50.262
c NEW SOLUTION FOUND: 2105 @ 50.329
c NEW SOLUTION FOUND: 2104 @ 50.398
c NEW SOLUTION FOUND: 2103 @ 50.582
c NEW SOLUTION FOUND: 2102 @ 50.776
c NEW SOLUTION FOUND: 2101 @ 50.843
c NEW SOLUTION FOUND: 2100 @ 50.911
c NEW SOLUTION FOUND: 2099 @ 50.98
c NEW SOLUTION FOUND: 2098 @ 51.048
c NEW SOLUTION FOUND: 2097 @ 51.116
c NEW SOLUTION FOUND: 2096 @ 51.185
c NEW SOLUTION FOUND: 2095 @ 51.254
c NEW SOLUTION FOUND: 2094 @ 51.322
c NEW SOLUTION FOUND: 2093 @ 51.39
c NEW SOLUTION FOUND: 2092 @ 51.458
c NEW SOLUTION FOUND: 2091 @ 51.527
c NEW SOLUTION FOUND: 2090 @ 51.653
c NEW SOLUTION FOUND: 2089 @ 51.786
c NEW SOLUTION FOUND: 2088 @ 51.854
c NEW SOLUTION FOUND: 2087 @ 51.922
c NEW SOLUTION FOUND: 2086 @ 51.991
c NEW SOLUTION FOUND: 2085 @ 52.06
c NEW SOLUTION FOUND: 2084 @ 52.129
c NEW SOLUTION FOUND: 2083 @ 52.198
c NEW SOLUTION FOUND: 2082 @ 52.266
c NEW SOLUTION FOUND: 2081 @ 52.449
c NEW SOLUTION FOUND: 2080 @ 52.651
c NEW SOLUTION FOUND: 2079 @ 52.776
c NEW SOLUTION FOUND: 2078 @ 52.912
c NEW SOLUTION FOUND: 2077 @ 52.98
c NEW SOLUTION FOUND: 2076 @ 53.048
c NEW SOLUTION FOUND: 2075 @ 53.117
c NEW SOLUTION FOUND: 2074 @ 53.186
c NEW SOLUTION FOUND: 2073 @ 53.255
c NEW SOLUTION FOUND: 2072 @ 53.324
c NEW SOLUTION FOUND: 2071 @ 53.392
c NEW SOLUTION FOUND: 2070 @ 53.461
c NEW SOLUTION FOUND: 2069 @ 53.53
c NEW SOLUTION FOUND: 2068 @ 53.598
c NEW SOLUTION FOUND: 2067 @ 53.667
c NEW SOLUTION FOUND: 2066 @ 53.736
c NEW SOLUTION FOUND: 2065 @ 53.805
c NEW SOLUTION FOUND: 2064 @ 53.989
c NEW SOLUTION FOUND: 2063 @ 54.19
c NEW SOLUTION FOUND: 2062 @ 54.258
c NEW SOLUTION FOUND: 2061 @ 54.327
c NEW SOLUTION FOUND: 2060 @ 54.396
c NEW SOLUTION FOUND: 2059 @ 54.464
c NEW SOLUTION FOUND: 2058 @ 54.533
c NEW SOLUTION FOUND: 2057 @ 54.66
c NEW SOLUTION FOUND: 2056 @ 54.795
c NEW SOLUTION FOUND: 2055 @ 54.863
c NEW SOLUTION FOUND: 2054 @ 54.931
c NEW SOLUTION FOUND: 2053 @ 55.058
c NEW SOLUTION FOUND: 2052 @ 55.195
c NEW SOLUTION FOUND: 2051 @ 55.262
c NEW SOLUTION FOUND: 2050 @ 55.331
c NEW SOLUTION FOUND: 2049 @ 55.4
c NEW SOLUTION FOUND: 2048 @ 55.469
c NEW SOLUTION FOUND: 2047 @ 55.537
c NEW SOLUTION FOUND: 2046 @ 55.605
c NEW SOLUTION FOUND: 2045 @ 55.673
c NEW SOLUTION FOUND: 2044 @ 55.741
c NEW SOLUTION FOUND: 2043 @ 55.809
c NEW SOLUTION FOUND: 2042 @ 55.878
c NEW SOLUTION FOUND: 2041 @ 55.947
c NEW SOLUTION FOUND: 2040 @ 56.016
c NEW SOLUTION FOUND: 2039 @ 56.084
c NEW SOLUTION FOUND: 2038 @ 56.153
c NEW SOLUTION FOUND: 2037 @ 56.222
c NEW SOLUTION FOUND: 2036 @ 56.291
c NEW SOLUTION FOUND: 2035 @ 56.36
c NEW SOLUTION FOUND: 2034 @ 56.429
c NEW SOLUTION FOUND: 2033 @ 56.498
c NEW SOLUTION FOUND: 2032 @ 56.567
c NEW SOLUTION FOUND: 2031 @ 56.635
c NEW SOLUTION FOUND: 2030 @ 56.704
c NEW SOLUTION FOUND: 2029 @ 56.773
c NEW SOLUTION FOUND: 2028 @ 56.842
c NEW SOLUTION FOUND: 2027 @ 56.911
c NEW SOLUTION FOUND: 2026 @ 56.979
c NEW SOLUTION FOUND: 2025 @ 57.047
c NEW SOLUTION FOUND: 2024 @ 57.116
c NEW SOLUTION FOUND: 2023 @ 57.185
c NEW SOLUTION FOUND: 2022 @ 57.254
c NEW SOLUTION FOUND: 2021 @ 57.322
c NEW SOLUTION FOUND: 2020 @ 57.449
c NEW SOLUTION FOUND: 2019 @ 57.587
c NEW SOLUTION FOUND: 2018 @ 57.654
c NEW SOLUTION FOUND: 2017 @ 57.722
c NEW SOLUTION FOUND: 2016 @ 57.79
c NEW SOLUTION FOUND: 2015 @ 57.859
c NEW SOLUTION FOUND: 2014 @ 57.927
c NEW SOLUTION FOUND: 2013 @ 58.054
c NEW SOLUTION FOUND: 2012 @ 58.19
c NEW SOLUTION FOUND: 2011 @ 58.316
c NEW SOLUTION FOUND: 2010 @ 58.452
c NEW SOLUTION FOUND: 2009 @ 58.52
c NEW SOLUTION FOUND: 2008 @ 58.588
c NEW SOLUTION FOUND: 2007 @ 58.657
c NEW SOLUTION FOUND: 2006 @ 58.725
c NEW SOLUTION FOUND: 2005 @ 58.853
c NEW SOLUTION FOUND: 2004 @ 58.989
c NEW SOLUTION FOUND: 2003 @ 59.057
c NEW SOLUTION FOUND: 2002 @ 59.126
c NEW SOLUTION FOUND: 2001 @ 59.251
c NEW SOLUTION FOUND: 2000 @ 59.388
c NEW SOLUTION FOUND: 1999 @ 59.456
c NEW SOLUTION FOUND: 1998 @ 59.524
c NEW SOLUTION FOUND: 1997 @ 59.594
c NEW SOLUTION FOUND: 1996 @ 59.663
c NEW SOLUTION FOUND: 1995 @ 59.732
c NEW SOLUTION FOUND: 1994 @ 59.8
c NEW SOLUTION FOUND: 1993 @ 59.869
c NEW SOLUTION FOUND: 1992 @ 59.996
c NEW SOLUTION FOUND: 1991 @ 60.133
c NEW SOLUTION FOUND: 1990 @ 60.318
c NEW SOLUTION FOUND: 1989 @ 60.576
c NEW SOLUTION FOUND: 1988 @ 60.71
c NEW SOLUTION FOUND: 1987 @ 60.777
c NEW SOLUTION FOUND: 1986 @ 60.845
c NEW SOLUTION FOUND: 1985 @ 60.914
c NEW SOLUTION FOUND: 1984 @ 60.982
c NEW SOLUTION FOUND: 1983 @ 61.051
c NEW SOLUTION FOUND: 1982 @ 61.119
c NEW SOLUTION FOUND: 1981 @ 61.187
c NEW SOLUTION FOUND: 1980 @ 61.256
c NEW SOLUTION FOUND: 1979 @ 61.324
c NEW SOLUTION FOUND: 1978 @ 61.451
c NEW SOLUTION FOUND: 1977 @ 61.585
c NEW SOLUTION FOUND: 1976 @ 61.653
c NEW SOLUTION FOUND: 1975 @ 61.722
c NEW SOLUTION FOUND: 1974 @ 61.79
c NEW SOLUTION FOUND: 1973 @ 61.858
c NEW SOLUTION FOUND: 1972 @ 61.926
c NEW SOLUTION FOUND: 1971 @ 61.994
c NEW SOLUTION FOUND: 1970 @ 62.121
c NEW SOLUTION FOUND: 1969 @ 62.254
c NEW SOLUTION FOUND: 1968 @ 62.321
c NEW SOLUTION FOUND: 1967 @ 62.39
c NEW SOLUTION FOUND: 1966 @ 62.517
c NEW SOLUTION FOUND: 1965 @ 62.65
c NEW SOLUTION FOUND: 1964 @ 62.717
c NEW SOLUTION FOUND: 1963 @ 62.786
c NEW SOLUTION FOUND: 1962 @ 62.854
c NEW SOLUTION FOUND: 1961 @ 62.924
c NEW SOLUTION FOUND: 1960 @ 62.992
c NEW SOLUTION FOUND: 1959 @ 63.061
c NEW SOLUTION FOUND: 1958 @ 63.128
c NEW SOLUTION FOUND: 1957 @ 63.197
c NEW SOLUTION FOUND: 1956 @ 63.266
c NEW SOLUTION FOUND: 1955 @ 63.335
c NEW SOLUTION FOUND: 1954 @ 63.404
c NEW SOLUTION FOUND: 1953 @ 63.474
c NEW SOLUTION FOUND: 1952 @ 63.543
c NEW SOLUTION FOUND: 1951 @ 63.611
c NEW SOLUTION FOUND: 1950 @ 63.738
c NEW SOLUTION FOUND: 1949 @ 63.874
c NEW SOLUTION FOUND: 1948 @ 63.942
c NEW SOLUTION FOUND: 1947 @ 64.127
c NEW SOLUTION FOUND: 1946 @ 64.327
c NEW SOLUTION FOUND: 1945 @ 64.395
c NEW SOLUTION FOUND: 1944 @ 64.522
c NEW SOLUTION FOUND: 1943 @ 64.657
c NEW SOLUTION FOUND: 1942 @ 64.724
c NEW SOLUTION FOUND: 1941 @ 64.793
c NEW SOLUTION FOUND: 1940 @ 64.922
c NEW SOLUTION FOUND: 1939 @ 65.057
c NEW SOLUTION FOUND: 1938 @ 65.124
c NEW SOLUTION FOUND: 1937 @ 65.193
c NEW SOLUTION FOUND: 1936 @ 65.261
c NEW SOLUTION FOUND: 1935 @ 65.388
c NEW SOLUTION FOUND: 1934 @ 65.521
c NEW SOLUTION FOUND: 1933 @ 65.589
c NEW SOLUTION FOUND: 1932 @ 65.657
c NEW SOLUTION FOUND: 1931 @ 65.726
c NEW SOLUTION FOUND: 1930 @ 65.853
c NEW SOLUTION FOUND: 1929 @ 65.988
c NEW SOLUTION FOUND: 1928 @ 66.056
c NEW SOLUTION FOUND: 1927 @ 66.124
c NEW SOLUTION FOUND: 1926 @ 66.252
c NEW SOLUTION FOUND: 1925 @ 66.387
c NEW SOLUTION FOUND: 1924 @ 66.514
c NEW SOLUTION FOUND: 1923 @ 66.647
c NEW SOLUTION FOUND: 1922 @ 66.715
c NEW SOLUTION FOUND: 1921 @ 66.783
c NEW SOLUTION FOUND: 1920 @ 66.852
c NEW SOLUTION FOUND: 1919 @ 66.921
c NEW SOLUTION FOUND: 1918 @ 66.988
c NEW SOLUTION FOUND: 1917 @ 67.057
c NEW SOLUTION FOUND: 1916 @ 67.126
c NEW SOLUTION FOUND: 1915 @ 67.194
c NEW SOLUTION FOUND: 1914 @ 67.263
c NEW SOLUTION FOUND: 1913 @ 67.331
c NEW SOLUTION FOUND: 1912 @ 67.399
c NEW SOLUTION FOUND: 1911 @ 67.468
c NEW SOLUTION FOUND: 1910 @ 67.536
c NEW SOLUTION FOUND: 1909 @ 67.604
c NEW SOLUTION FOUND: 1908 @ 67.672
c NEW SOLUTION FOUND: 1907 @ 67.74
c NEW SOLUTION FOUND: 1906 @ 67.809
c NEW SOLUTION FOUND: 1905 @ 67.877
c NEW SOLUTION FOUND: 1904 @ 67.946
c NEW SOLUTION FOUND: 1903 @ 68.015
c NEW SOLUTION FOUND: 1902 @ 68.084
c NEW SOLUTION FOUND: 1901 @ 68.152
c NEW SOLUTION FOUND: 1900 @ 68.221
c NEW SOLUTION FOUND: 1899 @ 68.29
c NEW SOLUTION FOUND: 1898 @ 68.358
c NEW SOLUTION FOUND: 1897 @ 68.426
c NEW SOLUTION FOUND: 1896 @ 68.495
c NEW SOLUTION FOUND: 1895 @ 68.564
c NEW SOLUTION FOUND: 1894 @ 68.691
c NEW SOLUTION FOUND: 1893 @ 68.943
c NEW SOLUTION FOUND: 1892 @ 69.14
c NEW SOLUTION FOUND: 1891 @ 69.208
c NEW SOLUTION FOUND: 1890 @ 69.276
c NEW SOLUTION FOUND: 1889 @ 69.344
c NEW SOLUTION FOUND: 1888 @ 69.412
c NEW SOLUTION FOUND: 1887 @ 69.481
c NEW SOLUTION FOUND: 1886 @ 69.549
c NEW SOLUTION FOUND: 1885 @ 69.735
c NEW SOLUTION FOUND: 1884 @ 69.933
c NEW SOLUTION FOUND: 1883 @ 70.118
c NEW SOLUTION FOUND: 1882 @ 70.316
c NEW SOLUTION FOUND: 1881 @ 70.383
c NEW SOLUTION FOUND: 1880 @ 70.451
c NEW SOLUTION FOUND: 1879 @ 70.52
c NEW SOLUTION FOUND: 1878 @ 70.646
c NEW SOLUTION FOUND: 1877 @ 70.778
c NEW SOLUTION FOUND: 1876 @ 70.845
c NEW SOLUTION FOUND: 1875 @ 70.971
c NEW SOLUTION FOUND: 1874 @ 71.106
c NEW SOLUTION FOUND: 1873 @ 71.173
c NEW SOLUTION FOUND: 1872 @ 71.242
c NEW SOLUTION FOUND: 1871 @ 71.311
c NEW SOLUTION FOUND: 1870 @ 71.378
c NEW SOLUTION FOUND: 1869 @ 71.506
c NEW SOLUTION FOUND: 1868 @ 71.641
c NEW SOLUTION FOUND: 1867 @ 71.709
c NEW SOLUTION FOUND: 1866 @ 71.777
c NEW SOLUTION FOUND: 1865 @ 71.846
c NEW SOLUTION FOUND: 1864 @ 71.914
c NEW SOLUTION FOUND: 1863 @ 71.982
c NEW SOLUTION FOUND: 1862 @ 72.05
c NEW SOLUTION FOUND: 1861 @ 72.119
c NEW SOLUTION FOUND: 1860 @ 72.188
c NEW SOLUTION FOUND: 1859 @ 72.256
c NEW SOLUTION FOUND: 1858 @ 72.324
c NEW SOLUTION FOUND: 1857 @ 72.393
c NEW SOLUTION FOUND: 1856 @ 72.462
c NEW SOLUTION FOUND: 1855 @ 72.53
c NEW SOLUTION FOUND: 1854 @ 72.657
c NEW SOLUTION FOUND: 1853 @ 72.789
c NEW SOLUTION FOUND: 1852 @ 72.856
c NEW SOLUTION FOUND: 1851 @ 72.925
c NEW SOLUTION FOUND: 1850 @ 73.052
c NEW SOLUTION FOUND: 1849 @ 73.182
c NEW SOLUTION FOUND: 1848 @ 73.25
c NEW SOLUTION FOUND: 1847 @ 73.318
c NEW SOLUTION FOUND: 1846 @ 73.387
c NEW SOLUTION FOUND: 1845 @ 73.455
c NEW SOLUTION FOUND: 1844 @ 73.523
c NEW SOLUTION FOUND: 1843 @ 73.59
c NEW SOLUTION FOUND: 1842 @ 73.659
c NEW SOLUTION FOUND: 1841 @ 73.727
c NEW SOLUTION FOUND: 1840 @ 73.854
c NEW SOLUTION FOUND: 1839 @ 73.986
c NEW SOLUTION FOUND: 1838 @ 74.112
c NEW SOLUTION FOUND: 1837 @ 74.245
c NEW SOLUTION FOUND: 1836 @ 74.313
c NEW SOLUTION FOUND: 1835 @ 74.381
c NEW SOLUTION FOUND: 1834 @ 74.449
c NEW SOLUTION FOUND: 1833 @ 74.517
c NEW SOLUTION FOUND: 1832 @ 74.586
c NEW SOLUTION FOUND: 1831 @ 74.654
c NEW SOLUTION FOUND: 1830 @ 74.723
c NEW SOLUTION FOUND: 1829 @ 74.908
c NEW SOLUTION FOUND: 1828 @ 75.108
c NEW SOLUTION FOUND: 1827 @ 75.176
c NEW SOLUTION FOUND: 1826 @ 75.244
c NEW SOLUTION FOUND: 1825 @ 75.312
c NEW SOLUTION FOUND: 1824 @ 75.38
c NEW SOLUTION FOUND: 1823 @ 75.449
c NEW SOLUTION FOUND: 1822 @ 75.517
c NEW SOLUTION FOUND: 1821 @ 75.586
c NEW SOLUTION FOUND: 1820 @ 75.654
c NEW SOLUTION FOUND: 1819 @ 75.781
c NEW SOLUTION FOUND: 1818 @ 75.912
c NEW SOLUTION FOUND: 1817 @ 75.98
c NEW SOLUTION FOUND: 1816 @ 76.048
c NEW SOLUTION FOUND: 1815 @ 76.116
c NEW SOLUTION FOUND: 1814 @ 76.184
c NEW SOLUTION FOUND: 1813 @ 76.253
c NEW SOLUTION FOUND: 1812 @ 76.322
c NEW SOLUTION FOUND: 1811 @ 76.39
c NEW SOLUTION FOUND: 1810 @ 76.458
c NEW SOLUTION FOUND: 1809 @ 76.526
c NEW SOLUTION FOUND: 1808 @ 76.594
c NEW SOLUTION FOUND: 1807 @ 76.663
c NEW SOLUTION FOUND: 1806 @ 76.73
c NEW SOLUTION FOUND: 1805 @ 76.799
c NEW SOLUTION FOUND: 1804 @ 76.868
c NEW SOLUTION FOUND: 1803 @ 76.936
c NEW SOLUTION FOUND: 1802 @ 77.004
c NEW SOLUTION FOUND: 1801 @ 77.073
c NEW SOLUTION FOUND: 1800 @ 77.141
c NEW SOLUTION FOUND: 1799 @ 77.209
c NEW SOLUTION FOUND: 1798 @ 77.277
c NEW SOLUTION FOUND: 1797 @ 77.345
c NEW SOLUTION FOUND: 1796 @ 77.413
c NEW SOLUTION FOUND: 1795 @ 77.54
c NEW SOLUTION FOUND: 1794 @ 77.733
c NEW SOLUTION FOUND: 1793 @ 77.925
c NEW SOLUTION FOUND: 1792 @ 78.118
c NEW SOLUTION FOUND: 1791 @ 78.251
c NEW SOLUTION FOUND: 1790 @ 78.319
c NEW SOLUTION FOUND: 1789 @ 78.387
c NEW SOLUTION FOUND: 1788 @ 78.455
c NEW SOLUTION FOUND: 1787 @ 78.522
c NEW SOLUTION FOUND: 1786 @ 78.59
c NEW SOLUTION FOUND: 1785 @ 78.658
c NEW SOLUTION FOUND: 1784 @ 78.726
c NEW SOLUTION FOUND: 1783 @ 78.794
c NEW SOLUTION FOUND: 1782 @ 78.862
c NEW SOLUTION FOUND: 1781 @ 78.988
c NEW SOLUTION FOUND: 1780 @ 79.122
c NEW SOLUTION FOUND: 1779 @ 79.19
c NEW SOLUTION FOUND: 1778 @ 79.258
c NEW SOLUTION FOUND: 1777 @ 79.384
c NEW SOLUTION FOUND: 1776 @ 79.519
c NEW SOLUTION FOUND: 1775 @ 79.645
c NEW SOLUTION FOUND: 1774 @ 79.778
c NEW SOLUTION FOUND: 1773 @ 79.845
c NEW SOLUTION FOUND: 1772 @ 79.912
c NEW SOLUTION FOUND: 1771 @ 79.981
c NEW SOLUTION FOUND: 1770 @ 80.049
c NEW SOLUTION FOUND: 1769 @ 80.176
c NEW SOLUTION FOUND: 1768 @ 80.307
c NEW SOLUTION FOUND: 1767 @ 80.374
c NEW SOLUTION FOUND: 1766 @ 80.442
c NEW SOLUTION FOUND: 1765 @ 80.511
c NEW SOLUTION FOUND: 1764 @ 80.579
c NEW SOLUTION FOUND: 1763 @ 80.647
c NEW SOLUTION FOUND: 1762 @ 80.716
c NEW SOLUTION FOUND: 1761 @ 80.784
c NEW SOLUTION FOUND: 1760 @ 80.852
c NEW SOLUTION FOUND: 1759 @ 80.92
c NEW SOLUTION FOUND: 1758 @ 81.106
c NEW SOLUTION FOUND: 1757 @ 81.303
c NEW SOLUTION FOUND: 1756 @ 81.429
c NEW SOLUTION FOUND: 1755 @ 81.56
c NEW SOLUTION FOUND: 1754 @ 81.627
c NEW SOLUTION FOUND: 1753 @ 81.695
c NEW SOLUTION FOUND: 1752 @ 81.764
c NEW SOLUTION FOUND: 1751 @ 81.831
c NEW SOLUTION FOUND: 1750 @ 81.958
c NEW SOLUTION FOUND: 1749 @ 82.092
c NEW SOLUTION FOUND: 1748 @ 82.218
c NEW SOLUTION FOUND: 1747 @ 82.348
c NEW SOLUTION FOUND: 1746 @ 82.416
c NEW SOLUTION FOUND: 1745 @ 82.484
c NEW SOLUTION FOUND: 1744 @ 82.551
c NEW SOLUTION FOUND: 1743 @ 82.619
c NEW SOLUTION FOUND: 1742 @ 82.755
c NEW SOLUTION FOUND: 1741 @ 82.823
c NEW SOLUTION FOUND: 1740 @ 82.892
c NEW SOLUTION FOUND: 1739 @ 82.961
c NEW SOLUTION FOUND: 1738 @ 83.03
c NEW SOLUTION FOUND: 1737 @ 83.099
c NEW SOLUTION FOUND: 1736 @ 83.168
c NEW SOLUTION FOUND: 1735 @ 83.239
c NEW SOLUTION FOUND: 1734 @ 83.308
c NEW SOLUTION FOUND: 1733 @ 83.376
c NEW SOLUTION FOUND: 1732 @ 83.446
c NEW SOLUTION FOUND: 1731 @ 83.514
c NEW SOLUTION FOUND: 1730 @ 83.583
c NEW SOLUTION FOUND: 1729 @ 83.652
c NEW SOLUTION FOUND: 1728 @ 83.721
c NEW SOLUTION FOUND: 1727 @ 83.849
c NEW SOLUTION FOUND: 1726 @ 83.985
c NEW SOLUTION FOUND: 1725 @ 84.053
c NEW SOLUTION FOUND: 1724 @ 84.122
c NEW SOLUTION FOUND: 1723 @ 84.192
c NEW SOLUTION FOUND: 1722 @ 84.261
c NEW SOLUTION FOUND: 1721 @ 84.33
c NEW SOLUTION FOUND: 1720 @ 84.399
c NEW SOLUTION FOUND: 1719 @ 84.468
c NEW SOLUTION FOUND: 1718 @ 84.537
c NEW SOLUTION FOUND: 1717 @ 84.605
c NEW SOLUTION FOUND: 1716 @ 84.675
c NEW SOLUTION FOUND: 1715 @ 84.744
c NEW SOLUTION FOUND: 1714 @ 84.873
c NEW SOLUTION FOUND: 1713 @ 85.009
c NEW SOLUTION FOUND: 1712 @ 85.078
c NEW SOLUTION FOUND: 1711 @ 85.147
c NEW SOLUTION FOUND: 1710 @ 85.276
c NEW SOLUTION FOUND: 1709 @ 85.412
c NEW SOLUTION FOUND: 1708 @ 85.481
c NEW SOLUTION FOUND: 1707 @ 85.549
c NEW SOLUTION FOUND: 1706 @ 85.618
c NEW SOLUTION FOUND: 1705 @ 85.687
c NEW SOLUTION FOUND: 1704 @ 85.756
c NEW SOLUTION FOUND: 1703 @ 85.824
c NEW SOLUTION FOUND: 1702 @ 85.953
c NEW SOLUTION FOUND: 1701 @ 86.09
c NEW SOLUTION FOUND: 1700 @ 86.158
c NEW SOLUTION FOUND: 1699 @ 86.226
c NEW SOLUTION FOUND: 1698 @ 86.296
c NEW SOLUTION FOUND: 1697 @ 86.364
c NEW SOLUTION FOUND: 1696 @ 86.433
c NEW SOLUTION FOUND: 1695 @ 86.502
c NEW SOLUTION FOUND: 1694 @ 86.571
c NEW SOLUTION FOUND: 1693 @ 86.64
c NEW SOLUTION FOUND: 1692 @ 86.708
c NEW SOLUTION FOUND: 1691 @ 86.777
c NEW SOLUTION FOUND: 1690 @ 86.847
c NEW SOLUTION FOUND: 1689 @ 86.975
c NEW SOLUTION FOUND: 1688 @ 87.107
c NEW SOLUTION FOUND: 1687 @ 87.174
c NEW SOLUTION FOUND: 1686 @ 87.303
c NEW SOLUTION FOUND: 1685 @ 87.439
c NEW SOLUTION FOUND: 1684 @ 87.506
c NEW SOLUTION FOUND: 1683 @ 87.575
c NEW SOLUTION FOUND: 1682 @ 87.645
c NEW SOLUTION FOUND: 1681 @ 87.713
c NEW SOLUTION FOUND: 1680 @ 87.782
c NEW SOLUTION FOUND: 1679 @ 87.85
c NEW SOLUTION FOUND: 1678 @ 87.919
c NEW SOLUTION FOUND: 1677 @ 87.987
c NEW SOLUTION FOUND: 1676 @ 88.116
c NEW SOLUTION FOUND: 1675 @ 88.25
c NEW SOLUTION FOUND: 1674 @ 88.317
c NEW SOLUTION FOUND: 1673 @ 88.386
c NEW SOLUTION FOUND: 1672 @ 88.454
c NEW SOLUTION FOUND: 1671 @ 88.523
c NEW SOLUTION FOUND: 1670 @ 88.592
c NEW SOLUTION FOUND: 1669 @ 88.66
c NEW SOLUTION FOUND: 1668 @ 88.911
c NEW SOLUTION FOUND: 1667 @ 89.174
c NEW SOLUTION FOUND: 1666 @ 89.242
c NEW SOLUTION FOUND: 1665 @ 89.31
c NEW SOLUTION FOUND: 1664 @ 89.379
c NEW SOLUTION FOUND: 1663 @ 89.447
c NEW SOLUTION FOUND: 1662 @ 89.516
c NEW SOLUTION FOUND: 1661 @ 89.585
c NEW SOLUTION FOUND: 1660 @ 89.654
c NEW SOLUTION FOUND: 1659 @ 89.722
c NEW SOLUTION FOUND: 1658 @ 89.791
c NEW SOLUTION FOUND: 1657 @ 89.86
c NEW SOLUTION FOUND: 1656 @ 89.929
c NEW SOLUTION FOUND: 1655 @ 90.057
c NEW SOLUTION FOUND: 1654 @ 90.253
c NEW SOLUTION FOUND: 1653 @ 90.388
c NEW SOLUTION FOUND: 1652 @ 90.457
c NEW SOLUTION FOUND: 1651 @ 90.526
c NEW SOLUTION FOUND: 1650 @ 90.596
c NEW SOLUTION FOUND: 1649 @ 90.665
c NEW SOLUTION FOUND: 1648 @ 90.734
c NEW SOLUTION FOUND: 1647 @ 90.803
c NEW SOLUTION FOUND: 1646 @ 90.871
c NEW SOLUTION FOUND: 1645 @ 90.94
c NEW SOLUTION FOUND: 1644 @ 91.069
c NEW SOLUTION FOUND: 1643 @ 91.202
c NEW SOLUTION FOUND: 1642 @ 91.27
c NEW SOLUTION FOUND: 1641 @ 91.339
c NEW SOLUTION FOUND: 1640 @ 91.468
c NEW SOLUTION FOUND: 1639 @ 91.601
c NEW SOLUTION FOUND: 1638 @ 91.669
c NEW SOLUTION FOUND: 1637 @ 91.738
c NEW SOLUTION FOUND: 1636 @ 91.807
c NEW SOLUTION FOUND: 1635 @ 91.876
c NEW SOLUTION FOUND: 1634 @ 91.944
c NEW SOLUTION FOUND: 1633 @ 92.013
c NEW SOLUTION FOUND: 1632 @ 92.082
c NEW SOLUTION FOUND: 1631 @ 92.15
c NEW SOLUTION FOUND: 1630 @ 92.219
c NEW SOLUTION FOUND: 1629 @ 92.288
c NEW SOLUTION FOUND: 1628 @ 92.357
c NEW SOLUTION FOUND: 1627 @ 92.426
c NEW SOLUTION FOUND: 1626 @ 92.495
c NEW SOLUTION FOUND: 1625 @ 92.564
c NEW SOLUTION FOUND: 1624 @ 92.754
c NEW SOLUTION FOUND: 1623 @ 92.953
c NEW SOLUTION FOUND: 1622 @ 93.02
c NEW SOLUTION FOUND: 1621 @ 93.089
c NEW SOLUTION FOUND: 1620 @ 93.157
c NEW SOLUTION FOUND: 1619 @ 93.286
c NEW SOLUTION FOUND: 1618 @ 93.422
c NEW SOLUTION FOUND: 1617 @ 93.489
c NEW SOLUTION FOUND: 1616 @ 93.558
c NEW SOLUTION FOUND: 1615 @ 93.627
c NEW SOLUTION FOUND: 1614 @ 93.695
c NEW SOLUTION FOUND: 1613 @ 93.764
c NEW SOLUTION FOUND: 1612 @ 93.833
c NEW SOLUTION FOUND: 1611 @ 93.901
c NEW SOLUTION FOUND: 1610 @ 93.97
c NEW SOLUTION FOUND: 1609 @ 94.038
c NEW SOLUTION FOUND: 1608 @ 94.106
c NEW SOLUTION FOUND: 1607 @ 94.175
c NEW SOLUTION FOUND: 1606 @ 94.244
c NEW SOLUTION FOUND: 1605 @ 94.313
c NEW SOLUTION FOUND: 1604 @ 94.382
c NEW SOLUTION FOUND: 1603 @ 94.451
c NEW SOLUTION FOUND: 1602 @ 94.52
c NEW SOLUTION FOUND: 1601 @ 94.589
c NEW SOLUTION FOUND: 1600 @ 94.657
c NEW SOLUTION FOUND: 1599 @ 94.725
c NEW SOLUTION FOUND: 1598 @ 94.855
c NEW SOLUTION FOUND: 1597 @ 94.99
c NEW SOLUTION FOUND: 1596 @ 95.056
c NEW SOLUTION FOUND: 1595 @ 95.124
c NEW SOLUTION FOUND: 1594 @ 95.193
c NEW SOLUTION FOUND: 1593 @ 95.26
c NEW SOLUTION FOUND: 1592 @ 95.33
c NEW SOLUTION FOUND: 1591 @ 95.398
c NEW SOLUTION FOUND: 1590 @ 95.467
c NEW SOLUTION FOUND: 1589 @ 95.536
c NEW SOLUTION FOUND: 1588 @ 95.605
c NEW SOLUTION FOUND: 1587 @ 95.673
c NEW SOLUTION FOUND: 1586 @ 95.742
c NEW SOLUTION FOUND: 1585 @ 95.81
c NEW SOLUTION FOUND: 1584 @ 95.878
c NEW SOLUTION FOUND: 1583 @ 96.007
c NEW SOLUTION FOUND: 1582 @ 96.142
c NEW SOLUTION FOUND: 1581 @ 96.209
c NEW SOLUTION FOUND: 1580 @ 96.278
c NEW SOLUTION FOUND: 1579 @ 96.347
c NEW SOLUTION FOUND: 1578 @ 96.415
c NEW SOLUTION FOUND: 1577 @ 96.483
c NEW SOLUTION FOUND: 1576 @ 96.611
c NEW SOLUTION FOUND: 1575 @ 96.743
c NEW SOLUTION FOUND: 1574 @ 96.811
c NEW SOLUTION FOUND: 1573 @ 96.939
c NEW SOLUTION FOUND: 1572 @ 97.135
c NEW SOLUTION FOUND: 1571 @ 97.266
c NEW SOLUTION FOUND: 1570 @ 97.334
c NEW SOLUTION FOUND: 1569 @ 97.402
c NEW SOLUTION FOUND: 1568 @ 97.47
c NEW SOLUTION FOUND: 1567 @ 97.539
c NEW SOLUTION FOUND: 1566 @ 97.608
c NEW SOLUTION FOUND: 1565 @ 97.676
c NEW SOLUTION FOUND: 1564 @ 97.745
c NEW SOLUTION FOUND: 1563 @ 97.813
c NEW SOLUTION FOUND: 1562 @ 97.882
c NEW SOLUTION FOUND: 1561 @ 98.011
c NEW SOLUTION FOUND: 1560 @ 98.203
c NEW SOLUTION FOUND: 1559 @ 98.336
c NEW SOLUTION FOUND: 1558 @ 98.403
c NEW SOLUTION FOUND: 1557 @ 98.472
c NEW SOLUTION FOUND: 1556 @ 98.541
c NEW SOLUTION FOUND: 1555 @ 98.609
c NEW SOLUTION FOUND: 1554 @ 98.678
c NEW SOLUTION FOUND: 1553 @ 98.747
c NEW SOLUTION FOUND: 1552 @ 98.816
c NEW SOLUTION FOUND: 1551 @ 98.885
c NEW SOLUTION FOUND: 1550 @ 99.014
c NEW SOLUTION FOUND: 1549 @ 99.148
c NEW SOLUTION FOUND: 1548 @ 99.216
c NEW SOLUTION FOUND: 1547 @ 99.285
c NEW SOLUTION FOUND: 1546 @ 99.353
c NEW SOLUTION FOUND: 1545 @ 99.421
c NEW SOLUTION FOUND: 1544 @ 99.49
c NEW SOLUTION FOUND: 1543 @ 99.558
c NEW SOLUTION FOUND: 1542 @ 99.626
c NEW SOLUTION FOUND: 1541 @ 99.695
c NEW SOLUTION FOUND: 1540 @ 99.763
c NEW SOLUTION FOUND: 1539 @ 99.831
c NEW SOLUTION FOUND: 1538 @ 99.9
c NEW SOLUTION FOUND: 1537 @ 99.968
c NEW SOLUTION FOUND: 1536 @ 100.036
c NEW SOLUTION FOUND: 1535 @ 100.104
c NEW SOLUTION FOUND: 1534 @ 100.172
c NEW SOLUTION FOUND: 1533 @ 100.241
c NEW SOLUTION FOUND: 1532 @ 100.309
c NEW SOLUTION FOUND: 1531 @ 100.377
c NEW SOLUTION FOUND: 1530 @ 100.445
c NEW SOLUTION FOUND: 1529 @ 100.513
c NEW SOLUTION FOUND: 1528 @ 100.582
c NEW SOLUTION FOUND: 1527 @ 100.65
c NEW SOLUTION FOUND: 1526 @ 100.718
c NEW SOLUTION FOUND: 1525 @ 100.786
c NEW SOLUTION FOUND: 1524 @ 100.854
c NEW SOLUTION FOUND: 1523 @ 100.922
c NEW SOLUTION FOUND: 1522 @ 100.99
c NEW SOLUTION FOUND: 1521 @ 101.059
c NEW SOLUTION FOUND: 1520 @ 101.127
c NEW SOLUTION FOUND: 1519 @ 101.195
c NEW SOLUTION FOUND: 1518 @ 101.264
c NEW SOLUTION FOUND: 1517 @ 101.333
c NEW SOLUTION FOUND: 1516 @ 101.401
c NEW SOLUTION FOUND: 1515 @ 101.47
c NEW SOLUTION FOUND: 1514 @ 101.538
c NEW SOLUTION FOUND: 1513 @ 101.606
c NEW SOLUTION FOUND: 1512 @ 101.674
c NEW SOLUTION FOUND: 1511 @ 101.802
c NEW SOLUTION FOUND: 1510 @ 101.937
c NEW SOLUTION FOUND: 1509 @ 102.004
c NEW SOLUTION FOUND: 1508 @ 102.072
c NEW SOLUTION FOUND: 1507 @ 102.141
c NEW SOLUTION FOUND: 1506 @ 102.209
c NEW SOLUTION FOUND: 1505 @ 102.278
c NEW SOLUTION FOUND: 1504 @ 102.345
c NEW SOLUTION FOUND: 1503 @ 102.414
c NEW SOLUTION FOUND: 1502 @ 102.482
c NEW SOLUTION FOUND: 1501 @ 102.55
c NEW SOLUTION FOUND: 1500 @ 102.618
c NEW SOLUTION FOUND: 1499 @ 102.686
c NEW SOLUTION FOUND: 1498 @ 102.813
c NEW SOLUTION FOUND: 1497 @ 102.947
c NEW SOLUTION FOUND: 1496 @ 103.015
c NEW SOLUTION FOUND: 1495 @ 103.083
c NEW SOLUTION FOUND: 1494 @ 103.151
c NEW SOLUTION FOUND: 1493 @ 103.219
c NEW SOLUTION FOUND: 1492 @ 103.347
c NEW SOLUTION FOUND: 1491 @ 103.478
c NEW SOLUTION FOUND: 1490 @ 103.546
c NEW SOLUTION FOUND: 1489 @ 103.613
c NEW SOLUTION FOUND: 1488 @ 103.682
c NEW SOLUTION FOUND: 1487 @ 103.751
c NEW SOLUTION FOUND: 1486 @ 103.82
c NEW SOLUTION FOUND: 1485 @ 103.887
c NEW SOLUTION FOUND: 1484 @ 103.956
c NEW SOLUTION FOUND: 1483 @ 104.024
c NEW SOLUTION FOUND: 1482 @ 104.092
c NEW SOLUTION FOUND: 1481 @ 104.16
c NEW SOLUTION FOUND: 1480 @ 104.229
c NEW SOLUTION FOUND: 1479 @ 104.299
c NEW SOLUTION FOUND: 1478 @ 104.367
c NEW SOLUTION FOUND: 1477 @ 104.436
c NEW SOLUTION FOUND: 1476 @ 104.506
c NEW SOLUTION FOUND: 1475 @ 104.574
c NEW SOLUTION FOUND: 1474 @ 104.642
c NEW SOLUTION FOUND: 1473 @ 104.711
c NEW SOLUTION FOUND: 1472 @ 104.779
c NEW SOLUTION FOUND: 1471 @ 104.849
c NEW SOLUTION FOUND: 1470 @ 104.919
c NEW SOLUTION FOUND: 1469 @ 104.988
c NEW SOLUTION FOUND: 1468 @ 105.057
c NEW SOLUTION FOUND: 1467 @ 105.188
c NEW SOLUTION FOUND: 1466 @ 105.324
c NEW SOLUTION FOUND: 1465 @ 105.393
c NEW SOLUTION FOUND: 1464 @ 105.461
c NEW SOLUTION FOUND: 1463 @ 105.53
c NEW SOLUTION FOUND: 1462 @ 105.599
c NEW SOLUTION FOUND: 1461 @ 105.73
c NEW SOLUTION FOUND: 1460 @ 105.864
c NEW SOLUTION FOUND: 1459 @ 105.932
c NEW SOLUTION FOUND: 1458 @ 106.001
c NEW SOLUTION FOUND: 1457 @ 106.07
c NEW SOLUTION FOUND: 1456 @ 106.14
c NEW SOLUTION FOUND: 1455 @ 106.209
c NEW SOLUTION FOUND: 1454 @ 106.278
c NEW SOLUTION FOUND: 1453 @ 106.348
c NEW SOLUTION FOUND: 1452 @ 106.417
c NEW SOLUTION FOUND: 1451 @ 106.486
c NEW SOLUTION FOUND: 1450 @ 106.555
c NEW SOLUTION FOUND: 1449 @ 106.623
c NEW SOLUTION FOUND: 1448 @ 106.693
c NEW SOLUTION FOUND: 1447 @ 106.884
c NEW SOLUTION FOUND: 1446 @ 107.085
c NEW SOLUTION FOUND: 1445 @ 107.153
c NEW SOLUTION FOUND: 1444 @ 107.222
c NEW SOLUTION FOUND: 1443 @ 107.29
c NEW SOLUTION FOUND: 1442 @ 107.359
c NEW SOLUTION FOUND: 1441 @ 107.49
c NEW SOLUTION FOUND: 1440 @ 107.626
c NEW SOLUTION FOUND: 1439 @ 107.759
c NEW SOLUTION FOUND: 1438 @ 107.898
c NEW SOLUTION FOUND: 1437 @ 108.03
c NEW SOLUTION FOUND: 1436 @ 108.291
c NEW SOLUTION FOUND: 1435 @ 108.622
c NEW SOLUTION FOUND: 1434 @ 108.826
c NEW SOLUTION FOUND: 1433 @ 109.022
c NEW SOLUTION FOUND: 1432 @ 109.226
c NEW SOLUTION FOUND: 1431 @ 109.296
c NEW SOLUTION FOUND: 1430 @ 109.554
c NEW SOLUTION FOUND: 1429 @ 109.76
c NEW SOLUTION FOUND: 1428 @ 109.829
c NEW SOLUTION FOUND: 1427 @ 109.961
c NEW SOLUTION FOUND: 1426 @ 110.099
c NEW SOLUTION FOUND: 1425 @ 110.168
c NEW SOLUTION FOUND: 1424 @ 110.238
c NEW SOLUTION FOUND: 1423 @ 110.37
c NEW SOLUTION FOUND: 1422 @ 110.508
c NEW SOLUTION FOUND: 1421 @ 110.64
c NEW SOLUTION FOUND: 1420 @ 110.778
c NEW SOLUTION FOUND: 1419 @ 110.847
c NEW SOLUTION FOUND: 1418 @ 110.981
c NEW SOLUTION FOUND: 1417 @ 111.246
c NEW SOLUTION FOUND: 1416 @ 111.513
c NEW SOLUTION FOUND: 1415 @ 111.647
c NEW SOLUTION FOUND: 1414 @ 111.716
c NEW SOLUTION FOUND: 1413 @ 111.846
c NEW SOLUTION FOUND: 1412 @ 111.985
c NEW SOLUTION FOUND: 1411 @ 112.054
c NEW SOLUTION FOUND: 1410 @ 112.187
c NEW SOLUTION FOUND: 1409 @ 112.325
c NEW SOLUTION FOUND: 1408 @ 112.457
c NEW SOLUTION FOUND: 1407 @ 112.594
c NEW SOLUTION FOUND: 1406 @ 112.663
c NEW SOLUTION FOUND: 1405 @ 112.732
c NEW SOLUTION FOUND: 1404 @ 112.802
c NEW SOLUTION FOUND: 1403 @ 112.871
c NEW SOLUTION FOUND: 1402 @ 112.941
c NEW SOLUTION FOUND: 1401 @ 113.08
c NEW SOLUTION FOUND: 1400 @ 113.15
c NEW SOLUTION FOUND: 1399 @ 113.22
c NEW SOLUTION FOUND: 1398 @ 113.291
c NEW SOLUTION FOUND: 1397 @ 113.362
c NEW SOLUTION FOUND: 1396 @ 113.434
c NEW SOLUTION FOUND: 1395 @ 113.508
c NEW SOLUTION FOUND: 1394 @ 113.581
c NEW SOLUTION FOUND: 1393 @ 113.653
c NEW SOLUTION FOUND: 1392 @ 113.726
c NEW SOLUTION FOUND: 1391 @ 113.799
c NEW SOLUTION FOUND: 1390 @ 113.999
c NEW SOLUTION FOUND: 1389 @ 114.275
c NEW SOLUTION FOUND: 1388 @ 114.477
c NEW SOLUTION FOUND: 1387 @ 114.619
c NEW SOLUTION FOUND: 1386 @ 114.691
c NEW SOLUTION FOUND: 1385 @ 114.828
c NEW SOLUTION FOUND: 1384 @ 114.971
c NEW SOLUTION FOUND: 1383 @ 115.104
c NEW SOLUTION FOUND: 1382 @ 115.247
c NEW SOLUTION FOUND: 1381 @ 115.318
c NEW SOLUTION FOUND: 1380 @ 115.392
c NEW SOLUTION FOUND: 1379 @ 115.464
c NEW SOLUTION FOUND: 1378 @ 115.536
c NEW SOLUTION FOUND: 1377 @ 115.672
c NEW SOLUTION FOUND: 1376 @ 116.005
c NEW SOLUTION FOUND: 1375 @ 116.279
c NEW SOLUTION FOUND: 1374 @ 116.415
c NEW SOLUTION FOUND: 1373 @ 116.619
c NEW SOLUTION FOUND: 1372 @ 116.761
c NEW SOLUTION FOUND: 1371 @ 116.833
c NEW SOLUTION FOUND: 1370 @ 117.027
c NEW SOLUTION FOUND: 1369 @ 117.234
c NEW SOLUTION FOUND: 1368 @ 117.306
c NEW SOLUTION FOUND: 1367 @ 117.378
c NEW SOLUTION FOUND: 1366 @ 117.58
c NEW SOLUTION FOUND: 1365 @ 117.788
c NEW SOLUTION FOUND: 1364 @ 117.986
c NEW SOLUTION FOUND: 1363 @ 118.197
c NEW SOLUTION FOUND: 1362 @ 118.33
c NEW SOLUTION FOUND: 1361 @ 118.603
c NEW SOLUTION FOUND: 1360 @ 118.808
c NEW SOLUTION FOUND: 1359 @ 118.879
c NEW SOLUTION FOUND: 1358 @ 118.952
c NEW SOLUTION FOUND: 1357 @ 119.024
c NEW SOLUTION FOUND: 1356 @ 119.096
c NEW SOLUTION FOUND: 1355 @ 119.229
c NEW SOLUTION FOUND: 1354 @ 119.372
c NEW SOLUTION FOUND: 1353 @ 119.444
c NEW SOLUTION FOUND: 1352 @ 119.516
c NEW SOLUTION FOUND: 1351 @ 119.589
c NEW SOLUTION FOUND: 1350 @ 119.662
c NEW SOLUTION FOUND: 1349 @ 119.734
c NEW SOLUTION FOUND: 1348 @ 119.87
c NEW SOLUTION FOUND: 1347 @ 120.134
c NEW SOLUTION FOUND: 1346 @ 120.338
c NEW SOLUTION FOUND: 1345 @ 120.409
c NEW SOLUTION FOUND: 1344 @ 120.612
c NEW SOLUTION FOUND: 1343 @ 120.816
c NEW SOLUTION FOUND: 1342 @ 120.887
c NEW SOLUTION FOUND: 1341 @ 121.02
c NEW SOLUTION FOUND: 1340 @ 121.162
c NEW SOLUTION FOUND: 1339 @ 121.234
c NEW SOLUTION FOUND: 1338 @ 121.306
c NEW SOLUTION FOUND: 1337 @ 121.443
c NEW SOLUTION FOUND: 1336 @ 121.704
c NEW SOLUTION FOUND: 1335 @ 121.91
c NEW SOLUTION FOUND: 1334 @ 121.981
c NEW SOLUTION FOUND: 1333 @ 122.053
c NEW SOLUTION FOUND: 1332 @ 122.125
c NEW SOLUTION FOUND: 1331 @ 122.197
c NEW SOLUTION FOUND: 1330 @ 122.27
c NEW SOLUTION FOUND: 1329 @ 122.342
c NEW SOLUTION FOUND: 1328 @ 122.413
c NEW SOLUTION FOUND: 1327 @ 122.485
c NEW SOLUTION FOUND: 1326 @ 122.556
c NEW SOLUTION FOUND: 1325 @ 122.628
c NEW SOLUTION FOUND: 1324 @ 122.765
c NEW SOLUTION FOUND: 1323 @ 122.904
c NEW SOLUTION FOUND: 1322 @ 122.975
c NEW SOLUTION FOUND: 1321 @ 123.047
c NEW SOLUTION FOUND: 1320 @ 123.185
c NEW SOLUTION FOUND: 1319 @ 123.322
c NEW SOLUTION FOUND: 1318 @ 123.58
c NEW SOLUTION FOUND: 1317 @ 123.855
c NEW SOLUTION FOUND: 1316 @ 123.926
c NEW SOLUTION FOUND: 1315 @ 124.127
c NEW SOLUTION FOUND: 1314 @ 124.396
c NEW SOLUTION FOUND: 1313 @ 124.538
c NEW SOLUTION FOUND: 1312 @ 124.67
c NEW SOLUTION FOUND: 1311 @ 125.005
c NEW SOLUTION FOUND: 1310 @ 125.279
c NEW SOLUTION FOUND: 1309 @ 125.35
c NEW SOLUTION FOUND: 1308 @ 125.422
c NEW SOLUTION FOUND: 1307 @ 125.494
c NEW SOLUTION FOUND: 1306 @ 125.626
c NEW SOLUTION FOUND: 1305 @ 125.83
c NEW SOLUTION FOUND: 1304 @ 126.032
c NEW SOLUTION FOUND: 1303 @ 126.173
c NEW SOLUTION FOUND: 1302 @ 126.245
c NEW SOLUTION FOUND: 1301 @ 126.317
c NEW SOLUTION FOUND: 1300 @ 126.389
c NEW SOLUTION FOUND: 1299 @ 126.461
c NEW SOLUTION FOUND: 1298 @ 126.597
c NEW SOLUTION FOUND: 1297 @ 126.739
c NEW SOLUTION FOUND: 1296 @ 126.811
c NEW SOLUTION FOUND: 1295 @ 126.883
c NEW SOLUTION FOUND: 1294 @ 126.955
c NEW SOLUTION FOUND: 1293 @ 127.027
c NEW SOLUTION FOUND: 1292 @ 127.164
c NEW SOLUTION FOUND: 1291 @ 127.362
c NEW SOLUTION FOUND: 1290 @ 127.634
c NEW SOLUTION FOUND: 1289 @ 127.84
c NEW SOLUTION FOUND: 1288 @ 127.911
c NEW SOLUTION FOUND: 1287 @ 128.105
c NEW SOLUTION FOUND: 1286 @ 128.378
c NEW SOLUTION FOUND: 1285 @ 128.516
c NEW SOLUTION FOUND: 1284 @ 128.718
c NEW SOLUTION FOUND: 1283 @ 128.986
c NEW SOLUTION FOUND: 1282 @ 129.249
c NEW SOLUTION FOUND: 1281 @ 129.454
c NEW SOLUTION FOUND: 1280 @ 129.656
c NEW SOLUTION FOUND: 1279 @ 129.926
c NEW SOLUTION FOUND: 1278 @ 130.257
c NEW SOLUTION FOUND: 1277 @ 130.466
c NEW SOLUTION FOUND: 1276 @ 130.537
c NEW SOLUTION FOUND: 1275 @ 130.669
c NEW SOLUTION FOUND: 1274 @ 130.875
c NEW SOLUTION FOUND: 1273 @ 131.013
c NEW SOLUTION FOUND: 1272 @ 131.084
c NEW SOLUTION FOUND: 1271 @ 131.156
c NEW SOLUTION FOUND: 1270 @ 131.228
c NEW SOLUTION FOUND: 1269 @ 131.3
c NEW SOLUTION FOUND: 1268 @ 131.372
c NEW SOLUTION FOUND: 1267 @ 131.505
c NEW SOLUTION FOUND: 1266 @ 131.647
c NEW SOLUTION FOUND: 1265 @ 131.718
c NEW SOLUTION FOUND: 1264 @ 131.855
c NEW SOLUTION FOUND: 1263 @ 131.992
c NEW SOLUTION FOUND: 1262 @ 132.063
c NEW SOLUTION FOUND: 1261 @ 132.135
c NEW SOLUTION FOUND: 1260 @ 132.207
c NEW SOLUTION FOUND: 1259 @ 132.344
c NEW SOLUTION FOUND: 1258 @ 132.608
c NEW SOLUTION FOUND: 1257 @ 133.009
c NEW SOLUTION FOUND: 1256 @ 133.54
c NEW SOLUTION FOUND: 1255 @ 134.013
c NEW SOLUTION FOUND: 1254 @ 134.152
c NEW SOLUTION FOUND: 1253 @ 134.284
c NEW SOLUTION FOUND: 1252 @ 134.425
c NEW SOLUTION FOUND: 1251 @ 134.495
c NEW SOLUTION FOUND: 1250 @ 134.568
c NEW SOLUTION FOUND: 1249 @ 134.64
c NEW SOLUTION FOUND: 1248 @ 134.772
c NEW SOLUTION FOUND: 1247 @ 134.913
c NEW SOLUTION FOUND: 1246 @ 134.984
c NEW SOLUTION FOUND: 1245 @ 135.177
c NEW SOLUTION FOUND: 1244 @ 135.381
c NEW SOLUTION FOUND: 1243 @ 135.452
c NEW SOLUTION FOUND: 1242 @ 135.706
c NEW SOLUTION FOUND: 1241 @ 135.975
c NEW SOLUTION FOUND: 1240 @ 136.109
c NEW SOLUTION FOUND: 1239 @ 136.315
c NEW SOLUTION FOUND: 1238 @ 136.582
c NEW SOLUTION FOUND: 1237 @ 136.853
c NEW SOLUTION FOUND: 1236 @ 136.989
c NEW SOLUTION FOUND: 1235 @ 137.06
c NEW SOLUTION FOUND: 1234 @ 137.191
c NEW SOLUTION FOUND: 1233 @ 137.332
c NEW SOLUTION FOUND: 1232 @ 137.403
c NEW SOLUTION FOUND: 1231 @ 137.54
c NEW SOLUTION FOUND: 1230 @ 137.738
c NEW SOLUTION FOUND: 1229 @ 137.878
c NEW SOLUTION FOUND: 1228 @ 137.949
c NEW SOLUTION FOUND: 1227 @ 138.216
c NEW SOLUTION FOUND: 1226 @ 138.49
c NEW SOLUTION FOUND: 1225 @ 138.622
c NEW SOLUTION FOUND: 1224 @ 138.825
c NEW SOLUTION FOUND: 1223 @ 139.029
c NEW SOLUTION FOUND: 1222 @ 139.288
c NEW SOLUTION FOUND: 1221 @ 139.62
c NEW SOLUTION FOUND: 1220 @ 139.825
c NEW SOLUTION FOUND: 1219 @ 139.896
c NEW SOLUTION FOUND: 1218 @ 139.967
c NEW SOLUTION FOUND: 1217 @ 140.038
c NEW SOLUTION FOUND: 1216 @ 140.11
c NEW SOLUTION FOUND: 1215 @ 140.243
c NEW SOLUTION FOUND: 1214 @ 140.383
c NEW SOLUTION FOUND: 1213 @ 140.454
c NEW SOLUTION FOUND: 1212 @ 140.526
c NEW SOLUTION FOUND: 1211 @ 140.598
c NEW SOLUTION FOUND: 1210 @ 140.8
c NEW SOLUTION FOUND: 1209 @ 141.004
c NEW SOLUTION FOUND: 1208 @ 141.076
c NEW SOLUTION FOUND: 1207 @ 141.147
c NEW SOLUTION FOUND: 1206 @ 141.341
c NEW SOLUTION FOUND: 1205 @ 141.609
c NEW SOLUTION FOUND: 1204 @ 141.745
c NEW SOLUTION FOUND: 1203 @ 141.816
c NEW SOLUTION FOUND: 1202 @ 141.952
c NEW SOLUTION FOUND: 1201 @ 142.211
c NEW SOLUTION FOUND: 1200 @ 142.414
c NEW SOLUTION FOUND: 1199 @ 142.549
c NEW SOLUTION FOUND: 1198 @ 142.817
c NEW SOLUTION FOUND: 1197 @ 143.143
c NEW SOLUTION FOUND: 1196 @ 143.478
c NEW SOLUTION FOUND: 1195 @ 143.747
c NEW SOLUTION FOUND: 1194 @ 143.883
c NEW SOLUTION FOUND: 1193 @ 143.954
c NEW SOLUTION FOUND: 1192 @ 144.025
c NEW SOLUTION FOUND: 1191 @ 144.096
c NEW SOLUTION FOUND: 1190 @ 144.167
c NEW SOLUTION FOUND: 1189 @ 144.3
c NEW SOLUTION FOUND: 1188 @ 144.506
c NEW SOLUTION FOUND: 1187 @ 144.642
c NEW SOLUTION FOUND: 1186 @ 144.774
c NEW SOLUTION FOUND: 1185 @ 144.914
c NEW SOLUTION FOUND: 1184 @ 144.984
c NEW SOLUTION FOUND: 1183 @ 145.056
c NEW SOLUTION FOUND: 1182 @ 145.192
c NEW SOLUTION FOUND: 1181 @ 145.333
c NEW SOLUTION FOUND: 1180 @ 145.405
c NEW SOLUTION FOUND: 1179 @ 145.542
c NEW SOLUTION FOUND: 1178 @ 145.739
c NEW SOLUTION FOUND: 1177 @ 145.944
c NEW SOLUTION FOUND: 1176 @ 146.141
c NEW SOLUTION FOUND: 1175 @ 146.282
c NEW SOLUTION FOUND: 1174 @ 146.353
c NEW SOLUTION FOUND: 1173 @ 146.424
c NEW SOLUTION FOUND: 1172 @ 146.495
c NEW SOLUTION FOUND: 1171 @ 146.566
c NEW SOLUTION FOUND: 1170 @ 146.638
c NEW SOLUTION FOUND: 1169 @ 146.775
c NEW SOLUTION FOUND: 1168 @ 146.972
c NEW SOLUTION FOUND: 1167 @ 147.112
c NEW SOLUTION FOUND: 1166 @ 147.183
c NEW SOLUTION FOUND: 1165 @ 147.255
c NEW SOLUTION FOUND: 1164 @ 147.392
c NEW SOLUTION FOUND: 1163 @ 147.529
c NEW SOLUTION FOUND: 1162 @ 147.6
c NEW SOLUTION FOUND: 1161 @ 147.671
c NEW SOLUTION FOUND: 1160 @ 147.744
c NEW SOLUTION FOUND: 1159 @ 147.938
c NEW SOLUTION FOUND: 1158 @ 148.141
c NEW SOLUTION FOUND: 1157 @ 148.278
c NEW SOLUTION FOUND: 1156 @ 148.417
c NEW SOLUTION FOUND: 1155 @ 148.488
c NEW SOLUTION FOUND: 1154 @ 148.69
c NEW SOLUTION FOUND: 1153 @ 149.018
c NEW SOLUTION FOUND: 1152 @ 149.287
c NEW SOLUTION FOUND: 1151 @ 149.423
c NEW SOLUTION FOUND: 1150 @ 149.494
c NEW SOLUTION FOUND: 1149 @ 149.566
c NEW SOLUTION FOUND: 1148 @ 149.702
c NEW SOLUTION FOUND: 1147 @ 149.837
c NEW SOLUTION FOUND: 1146 @ 149.907
c NEW SOLUTION FOUND: 1145 @ 149.978
c NEW SOLUTION FOUND: 1144 @ 150.115
c NEW SOLUTION FOUND: 1143 @ 150.443
c NEW SOLUTION FOUND: 1142 @ 150.716
c NEW SOLUTION FOUND: 1141 @ 150.787
c NEW SOLUTION FOUND: 1140 @ 150.859
c NEW SOLUTION FOUND: 1139 @ 150.93
c NEW SOLUTION FOUND: 1138 @ 151.002
c NEW SOLUTION FOUND: 1137 @ 151.073
c NEW SOLUTION FOUND: 1136 @ 151.144
c NEW SOLUTION FOUND: 1135 @ 151.215
c NEW SOLUTION FOUND: 1134 @ 151.287
c NEW SOLUTION FOUND: 1133 @ 151.358
c NEW SOLUTION FOUND: 1132 @ 151.429
c NEW SOLUTION FOUND: 1131 @ 151.501
c NEW SOLUTION FOUND: 1130 @ 151.703
c NEW SOLUTION FOUND: 1129 @ 151.971
c NEW SOLUTION FOUND: 1128 @ 152.111
c NEW SOLUTION FOUND: 1127 @ 152.313
c NEW SOLUTION FOUND: 1126 @ 152.517
c NEW SOLUTION FOUND: 1125 @ 152.588
c NEW SOLUTION FOUND: 1124 @ 152.659
c NEW SOLUTION FOUND: 1123 @ 152.73
c NEW SOLUTION FOUND: 1122 @ 152.862
c NEW SOLUTION FOUND: 1121 @ 153.002
c NEW SOLUTION FOUND: 1120 @ 153.139
c NEW SOLUTION FOUND: 1119 @ 153.275
c NEW SOLUTION FOUND: 1118 @ 153.346
c NEW SOLUTION FOUND: 1117 @ 153.417
c NEW SOLUTION FOUND: 1116 @ 153.612
c NEW SOLUTION FOUND: 1115 @ 153.882
c NEW SOLUTION FOUND: 1114 @ 154.15
c NEW SOLUTION FOUND: 1113 @ 154.354
c NEW SOLUTION FOUND: 1112 @ 154.61
c NEW SOLUTION FOUND: 1111 @ 154.943
c NEW SOLUTION FOUND: 1110 @ 155.078
c NEW SOLUTION FOUND: 1109 @ 155.15
c NEW SOLUTION FOUND: 1108 @ 155.221
c NEW SOLUTION FOUND: 1107 @ 155.293
c NEW SOLUTION FOUND: 1106 @ 155.495
c NEW SOLUTION FOUND: 1105 @ 155.822
c NEW SOLUTION FOUND: 1104 @ 156.092
c NEW SOLUTION FOUND: 1103 @ 156.227
c NEW SOLUTION FOUND: 1102 @ 156.298
c NEW SOLUTION FOUND: 1101 @ 156.37
c NEW SOLUTION FOUND: 1100 @ 156.441
c NEW SOLUTION FOUND: 1099 @ 156.578
c NEW SOLUTION FOUND: 1098 @ 156.713
c NEW SOLUTION FOUND: 1097 @ 156.783
c NEW SOLUTION FOUND: 1096 @ 156.855
c NEW SOLUTION FOUND: 1095 @ 157.048
c NEW SOLUTION FOUND: 1094 @ 157.25
c NEW SOLUTION FOUND: 1093 @ 157.321
c NEW SOLUTION FOUND: 1092 @ 157.392
c NEW SOLUTION FOUND: 1091 @ 157.595
c NEW SOLUTION FOUND: 1090 @ 157.864
c NEW SOLUTION FOUND: 1089 @ 158.06
c NEW SOLUTION FOUND: 1088 @ 158.199
c NEW SOLUTION FOUND: 1087 @ 158.336
c NEW SOLUTION FOUND: 1086 @ 158.534
c NEW SOLUTION FOUND: 1085 @ 158.673
c NEW SOLUTION FOUND: 1084 @ 158.875
c NEW SOLUTION FOUND: 1083 @ 159.078
c NEW SOLUTION FOUND: 1082 @ 159.272
c NEW SOLUTION FOUND: 1081 @ 159.539
c NEW SOLUTION FOUND: 1080 @ 159.797
c NEW SOLUTION FOUND: 1079 @ 160
c NEW SOLUTION FOUND: 1078 @ 160.071
c NEW SOLUTION FOUND: 1077 @ 160.142
c NEW SOLUTION FOUND: 1076 @ 160.213
c NEW SOLUTION FOUND: 1075 @ 160.285
c NEW SOLUTION FOUND: 1074 @ 160.488
c NEW SOLUTION FOUND: 1073 @ 160.755
c NEW SOLUTION FOUND: 1072 @ 160.893
c NEW SOLUTION FOUND: 1071 @ 160.963
c NEW SOLUTION FOUND: 1070 @ 161.035
c NEW SOLUTION FOUND: 1069 @ 161.237
c NEW SOLUTION FOUND: 1068 @ 161.439
c NEW SOLUTION FOUND: 1067 @ 161.509
c NEW SOLUTION FOUND: 1066 @ 161.641
c NEW SOLUTION FOUND: 1065 @ 161.781
c NEW SOLUTION FOUND: 1064 @ 161.852
c NEW SOLUTION FOUND: 1063 @ 161.988
c NEW SOLUTION FOUND: 1062 @ 162.308
c NEW SOLUTION FOUND: 1061 @ 162.575
c NEW SOLUTION FOUND: 1060 @ 162.645
c NEW SOLUTION FOUND: 1059 @ 162.782
c NEW SOLUTION FOUND: 1058 @ 162.917
c NEW SOLUTION FOUND: 1057 @ 162.988
c NEW SOLUTION FOUND: 1056 @ 163.124
c NEW SOLUTION FOUND: 1055 @ 163.328
c NEW SOLUTION FOUND: 1054 @ 163.462
c NEW SOLUTION FOUND: 1053 @ 163.532
c NEW SOLUTION FOUND: 1052 @ 163.734
c NEW SOLUTION FOUND: 1051 @ 163.937
c NEW SOLUTION FOUND: 1050 @ 164.007
c NEW SOLUTION FOUND: 1049 @ 164.078
c NEW SOLUTION FOUND: 1048 @ 164.149
c NEW SOLUTION FOUND: 1047 @ 164.282
c NEW SOLUTION FOUND: 1046 @ 164.618
c NEW SOLUTION FOUND: 1045 @ 164.823
c NEW SOLUTION FOUND: 1044 @ 164.894
c NEW SOLUTION FOUND: 1043 @ 164.965
c NEW SOLUTION FOUND: 1042 @ 165.167
c NEW SOLUTION FOUND: 1041 @ 165.369
c NEW SOLUTION FOUND: 1040 @ 165.439
c NEW SOLUTION FOUND: 1039 @ 165.572
c NEW SOLUTION FOUND: 1038 @ 165.711
c NEW SOLUTION FOUND: 1037 @ 165.781
c NEW SOLUTION FOUND: 1036 @ 165.852
c NEW SOLUTION FOUND: 1035 @ 165.988
c NEW SOLUTION FOUND: 1034 @ 166.247
c NEW SOLUTION FOUND: 1033 @ 166.447
c NEW SOLUTION FOUND: 1032 @ 166.584
c NEW SOLUTION FOUND: 1031 @ 166.785
c NEW SOLUTION FOUND: 1030 @ 166.92
c NEW SOLUTION FOUND: 1029 @ 166.99
c NEW SOLUTION FOUND: 1028 @ 167.061
c NEW SOLUTION FOUND: 1027 @ 167.131
c NEW SOLUTION FOUND: 1026 @ 167.268
c NEW SOLUTION FOUND: 1025 @ 167.407
c NEW SOLUTION FOUND: 1024 @ 167.539
c NEW SOLUTION FOUND: 1023 @ 167.68
c NEW SOLUTION FOUND: 1022 @ 167.947
c NEW SOLUTION FOUND: 1021 @ 168.402
c NEW SOLUTION FOUND: 1020 @ 168.733
c NEW SOLUTION FOUND: 1019 @ 168.999
c NEW SOLUTION FOUND: 1018 @ 169.267
c NEW SOLUTION FOUND: 1017 @ 169.467
c NEW SOLUTION FOUND: 1016 @ 169.606
c NEW SOLUTION FOUND: 1015 @ 169.676
c NEW SOLUTION FOUND: 1014 @ 169.747
c NEW SOLUTION FOUND: 1013 @ 169.883
c NEW SOLUTION FOUND: 1012 @ 170.208
c NEW SOLUTION FOUND: 1011 @ 170.608
c NEW SOLUTION FOUND: 1010 @ 171.007
c NEW SOLUTION FOUND: 1009 @ 171.338
c NEW SOLUTION FOUND: 1008 @ 171.539
c NEW SOLUTION FOUND: 1007 @ 171.809
c NEW SOLUTION FOUND: 1006 @ 172.073
c NEW SOLUTION FOUND: 1005 @ 172.212
c NEW SOLUTION FOUND: 1004 @ 172.283
c NEW SOLUTION FOUND: 1003 @ 172.42
c NEW SOLUTION FOUND: 1002 @ 172.56
c NEW SOLUTION FOUND: 1001 @ 172.761
c NEW SOLUTION FOUND: 1000 @ 173.026
c NEW SOLUTION FOUND: 999 @ 173.296
c NEW SOLUTION FOUND: 998 @ 173.56
c NEW SOLUTION FOUND: 997 @ 173.83
c NEW SOLUTION FOUND: 996 @ 174.094
c NEW SOLUTION FOUND: 995 @ 174.294
c NEW SOLUTION FOUND: 994 @ 174.433
c NEW SOLUTION FOUND: 993 @ 174.634
c NEW SOLUTION FOUND: 992 @ 174.835
c NEW SOLUTION FOUND: 991 @ 174.967
c NEW SOLUTION FOUND: 990 @ 175.105
c NEW SOLUTION FOUND: 989 @ 175.241
c NEW SOLUTION FOUND: 988 @ 175.437
c NEW SOLUTION FOUND: 987 @ 175.576
c NEW SOLUTION FOUND: 986 @ 175.645
c NEW SOLUTION FOUND: 985 @ 175.913
c NEW SOLUTION FOUND: 984 @ 176.248
c NEW SOLUTION FOUND: 983 @ 176.449
c NEW SOLUTION FOUND: 982 @ 176.586
c NEW SOLUTION FOUND: 981 @ 176.722
c NEW SOLUTION FOUND: 980 @ 176.855
c NEW SOLUTION FOUND: 979 @ 176.926
c NEW SOLUTION FOUND: 978 @ 176.996
c NEW SOLUTION FOUND: 977 @ 177.13
c NEW SOLUTION FOUND: 976 @ 177.268
c NEW SOLUTION FOUND: 975 @ 177.338
c NEW SOLUTION FOUND: 974 @ 177.409
c NEW SOLUTION FOUND: 973 @ 177.546
c NEW SOLUTION FOUND: 972 @ 177.742
c NEW SOLUTION FOUND: 971 @ 177.881
c NEW SOLUTION FOUND: 970 @ 177.952
c NEW SOLUTION FOUND: 969 @ 178.088
c NEW SOLUTION FOUND: 968 @ 178.224
c NEW SOLUTION FOUND: 967 @ 178.36
c NEW SOLUTION FOUND: 966 @ 178.498
c NEW SOLUTION FOUND: 965 @ 178.568
c NEW SOLUTION FOUND: 964 @ 178.639
c NEW SOLUTION FOUND: 963 @ 178.771
c NEW SOLUTION FOUND: 962 @ 178.976
c NEW SOLUTION FOUND: 961 @ 179.177
c NEW SOLUTION FOUND: 960 @ 179.315
c NEW SOLUTION FOUND: 959 @ 179.385
c NEW SOLUTION FOUND: 958 @ 179.455
c NEW SOLUTION FOUND: 957 @ 179.653
c NEW SOLUTION FOUND: 956 @ 179.858
c NEW SOLUTION FOUND: 955 @ 179.993
c NEW SOLUTION FOUND: 954 @ 180.128
c NEW SOLUTION FOUND: 953 @ 180.198
c NEW SOLUTION FOUND: 952 @ 180.269
c NEW SOLUTION FOUND: 951 @ 180.339
c NEW SOLUTION FOUND: 950 @ 180.41
c NEW SOLUTION FOUND: 949 @ 180.543
c NEW SOLUTION FOUND: 948 @ 180.813
c NEW SOLUTION FOUND: 947 @ 181.204
c NEW SOLUTION FOUND: 946 @ 181.471
c NEW SOLUTION FOUND: 945 @ 181.606
c NEW SOLUTION FOUND: 944 @ 181.806
c NEW SOLUTION FOUND: 943 @ 182.064
c NEW SOLUTION FOUND: 942 @ 182.329
c NEW SOLUTION FOUND: 941 @ 182.467
c NEW SOLUTION FOUND: 940 @ 182.536
c NEW SOLUTION FOUND: 939 @ 182.607
c NEW SOLUTION FOUND: 938 @ 182.677
c NEW SOLUTION FOUND: 937 @ 182.748
c NEW SOLUTION FOUND: 936 @ 182.95
c NEW SOLUTION FOUND: 935 @ 183.152
c NEW SOLUTION FOUND: 934 @ 183.289
c NEW SOLUTION FOUND: 933 @ 183.423
c NEW SOLUTION FOUND: 932 @ 183.492
c NEW SOLUTION FOUND: 931 @ 183.624
c NEW SOLUTION FOUND: 930 @ 183.763
c NEW SOLUTION FOUND: 929 @ 183.833
c NEW SOLUTION FOUND: 928 @ 183.97
c NEW SOLUTION FOUND: 927 @ 184.174
c NEW SOLUTION FOUND: 926 @ 184.308
c NEW SOLUTION FOUND: 925 @ 184.377
c NEW SOLUTION FOUND: 924 @ 184.509
c NEW SOLUTION FOUND: 923 @ 184.648
c NEW SOLUTION FOUND: 922 @ 184.718
c NEW SOLUTION FOUND: 921 @ 184.788
c NEW SOLUTION FOUND: 920 @ 184.858
c NEW SOLUTION FOUND: 919 @ 185.061
c NEW SOLUTION FOUND: 918 @ 185.261
c NEW SOLUTION FOUND: 917 @ 185.331
c NEW SOLUTION FOUND: 916 @ 185.401
c NEW SOLUTION FOUND: 915 @ 185.727
c NEW SOLUTION FOUND: 914 @ 186.062
c NEW SOLUTION FOUND: 913 @ 186.133
c NEW SOLUTION FOUND: 912 @ 186.203
c NEW SOLUTION FOUND: 911 @ 186.273
c NEW SOLUTION FOUND: 910 @ 186.344
c NEW SOLUTION FOUND: 909 @ 186.677
c NEW SOLUTION FOUND: 908 @ 187.005
c NEW SOLUTION FOUND: 907 @ 187.136
c NEW SOLUTION FOUND: 906 @ 187.335
c NEW SOLUTION FOUND: 905 @ 187.473
c NEW SOLUTION FOUND: 904 @ 187.544
c NEW SOLUTION FOUND: 903 @ 187.927
c NEW SOLUTION FOUND: 902 @ 188.252
c NEW SOLUTION FOUND: 901 @ 188.388
c NEW SOLUTION FOUND: 900 @ 188.522
c NEW SOLUTION FOUND: 899 @ 188.592
c NEW SOLUTION FOUND: 898 @ 188.789
c NEW SOLUTION FOUND: 897 @ 189.127
c NEW SOLUTION FOUND: 896 @ 189.39
c NEW SOLUTION FOUND: 895 @ 189.528
c NEW SOLUTION FOUND: 894 @ 189.664
c NEW SOLUTION FOUND: 893 @ 189.921
c NEW SOLUTION FOUND: 892 @ 190.12
c NEW SOLUTION FOUND: 891 @ 190.19
c NEW SOLUTION FOUND: 890 @ 190.261
c NEW SOLUTION FOUND: 889 @ 190.331
c NEW SOLUTION FOUND: 888 @ 190.401
c NEW SOLUTION FOUND: 887 @ 190.603
c NEW SOLUTION FOUND: 886 @ 190.934
c NEW SOLUTION FOUND: 885 @ 191.197
c NEW SOLUTION FOUND: 884 @ 191.4
c NEW SOLUTION FOUND: 883 @ 191.661
c NEW SOLUTION FOUND: 882 @ 191.865
c NEW SOLUTION FOUND: 881 @ 192.066
c NEW SOLUTION FOUND: 880 @ 192.267
c NEW SOLUTION FOUND: 879 @ 192.402
c NEW SOLUTION FOUND: 878 @ 192.54
c NEW SOLUTION FOUND: 877 @ 192.675
c NEW SOLUTION FOUND: 876 @ 192.812
c NEW SOLUTION FOUND: 875 @ 192.882
c NEW SOLUTION FOUND: 874 @ 192.953
c NEW SOLUTION FOUND: 873 @ 193.089
c NEW SOLUTION FOUND: 872 @ 193.227
c NEW SOLUTION FOUND: 871 @ 193.42
c NEW SOLUTION FOUND: 870 @ 193.619
c NEW SOLUTION FOUND: 869 @ 193.689
c NEW SOLUTION FOUND: 868 @ 193.759
c NEW SOLUTION FOUND: 867 @ 193.829
c NEW SOLUTION FOUND: 866 @ 193.9
c NEW SOLUTION FOUND: 865 @ 193.97
c NEW SOLUTION FOUND: 864 @ 194.105
c NEW SOLUTION FOUND: 863 @ 194.239
c NEW SOLUTION FOUND: 862 @ 194.441
c NEW SOLUTION FOUND: 861 @ 194.703
c NEW SOLUTION FOUND: 860 @ 194.972
c NEW SOLUTION FOUND: 859 @ 195.172
c NEW SOLUTION FOUND: 858 @ 195.303
c NEW SOLUTION FOUND: 857 @ 195.44
c NEW SOLUTION FOUND: 856 @ 195.51
c NEW SOLUTION FOUND: 855 @ 195.713
c NEW SOLUTION FOUND: 854 @ 195.913
c NEW SOLUTION FOUND: 853 @ 195.984
c NEW SOLUTION FOUND: 852 @ 196.182
c NEW SOLUTION FOUND: 851 @ 196.583
c NEW SOLUTION FOUND: 850 @ 196.85
c NEW SOLUTION FOUND: 849 @ 196.92
c NEW SOLUTION FOUND: 848 @ 197.118
c NEW SOLUTION FOUND: 847 @ 197.321
c NEW SOLUTION FOUND: 846 @ 197.456
c NEW SOLUTION FOUND: 845 @ 197.652
c NEW SOLUTION FOUND: 844 @ 197.788
c NEW SOLUTION FOUND: 843 @ 197.858
c NEW SOLUTION FOUND: 842 @ 197.929
c NEW SOLUTION FOUND: 841 @ 197.999
c NEW SOLUTION FOUND: 840 @ 198.135
c NEW SOLUTION FOUND: 839 @ 198.33
c NEW SOLUTION FOUND: 838 @ 198.534
c NEW SOLUTION FOUND: 837 @ 198.667
c NEW SOLUTION FOUND: 836 @ 198.737
c NEW SOLUTION FOUND: 835 @ 198.806
c NEW SOLUTION FOUND: 834 @ 198.942
c NEW SOLUTION FOUND: 833 @ 199.079
c NEW SOLUTION FOUND: 832 @ 199.21
c NEW SOLUTION FOUND: 831 @ 199.413
c NEW SOLUTION FOUND: 830 @ 199.608
c NEW SOLUTION FOUND: 829 @ 199.876
c NEW SOLUTION FOUND: 828 @ 200.076
c NEW SOLUTION FOUND: 827 @ 200.207
c NEW SOLUTION FOUND: 826 @ 200.345
c NEW SOLUTION FOUND: 825 @ 200.481
c NEW SOLUTION FOUND: 824 @ 200.676
c NEW SOLUTION FOUND: 823 @ 200.945
c NEW SOLUTION FOUND: 822 @ 201.145
c NEW SOLUTION FOUND: 821 @ 201.214
c NEW SOLUTION FOUND: 820 @ 201.346
c NEW SOLUTION FOUND: 819 @ 201.484
c NEW SOLUTION FOUND: 818 @ 201.553
c NEW SOLUTION FOUND: 817 @ 201.624
c NEW SOLUTION FOUND: 816 @ 201.826
c NEW SOLUTION FOUND: 815 @ 202.212
c NEW SOLUTION FOUND: 814 @ 202.473
c NEW SOLUTION FOUND: 813 @ 202.608
c NEW SOLUTION FOUND: 812 @ 202.741
c NEW SOLUTION FOUND: 811 @ 202.879
c NEW SOLUTION FOUND: 810 @ 202.949
c NEW SOLUTION FOUND: 809 @ 203.019
c NEW SOLUTION FOUND: 808 @ 203.157
c NEW SOLUTION FOUND: 807 @ 203.295
c NEW SOLUTION FOUND: 806 @ 203.365
c NEW SOLUTION FOUND: 805 @ 203.435
c NEW SOLUTION FOUND: 804 @ 203.506
c NEW SOLUTION FOUND: 803 @ 203.576
c NEW SOLUTION FOUND: 802 @ 203.647
c NEW SOLUTION FOUND: 801 @ 203.717
c NEW SOLUTION FOUND: 800 @ 203.787
c NEW SOLUTION FOUND: 799 @ 203.857
c NEW SOLUTION FOUND: 798 @ 203.928
c NEW SOLUTION FOUND: 797 @ 203.999
c NEW SOLUTION FOUND: 796 @ 204.069
c NEW SOLUTION FOUND: 795 @ 204.206
c NEW SOLUTION FOUND: 794 @ 204.341
c NEW SOLUTION FOUND: 793 @ 204.411
c NEW SOLUTION FOUND: 792 @ 204.481
c NEW SOLUTION FOUND: 791 @ 204.552
c NEW SOLUTION FOUND: 790 @ 204.622
c NEW SOLUTION FOUND: 789 @ 204.692
c NEW SOLUTION FOUND: 788 @ 204.763
c NEW SOLUTION FOUND: 787 @ 204.833
c NEW SOLUTION FOUND: 786 @ 204.903
c NEW SOLUTION FOUND: 785 @ 204.974
c NEW SOLUTION FOUND: 784 @ 205.111
c NEW SOLUTION FOUND: 783 @ 205.315
c NEW SOLUTION FOUND: 782 @ 205.451
c NEW SOLUTION FOUND: 781 @ 205.521
c NEW SOLUTION FOUND: 780 @ 205.592
c NEW SOLUTION FOUND: 779 @ 205.662
c NEW SOLUTION FOUND: 778 @ 205.733
c NEW SOLUTION FOUND: 777 @ 205.803
c NEW SOLUTION FOUND: 776 @ 205.873
c NEW SOLUTION FOUND: 775 @ 205.944
c NEW SOLUTION FOUND: 774 @ 206.013
c NEW SOLUTION FOUND: 773 @ 206.083
c NEW SOLUTION FOUND: 772 @ 206.154
c NEW SOLUTION FOUND: 771 @ 206.224
c NEW SOLUTION FOUND: 770 @ 206.295
c NEW SOLUTION FOUND: 769 @ 206.365
c NEW SOLUTION FOUND: 768 @ 206.435
c NEW SOLUTION FOUND: 767 @ 206.505
c NEW SOLUTION FOUND: 766 @ 206.575
c NEW SOLUTION FOUND: 765 @ 206.645
c NEW SOLUTION FOUND: 764 @ 206.715
c NEW SOLUTION FOUND: 763 @ 206.786
c NEW SOLUTION FOUND: 762 @ 206.856
c NEW SOLUTION FOUND: 761 @ 206.925
c NEW SOLUTION FOUND: 760 @ 206.996
c NEW SOLUTION FOUND: 759 @ 207.065
c NEW SOLUTION FOUND: 758 @ 207.136
c NEW SOLUTION FOUND: 757 @ 207.206
c NEW SOLUTION FOUND: 756 @ 207.276
c NEW SOLUTION FOUND: 755 @ 207.346
c NEW SOLUTION FOUND: 754 @ 207.416
c NEW SOLUTION FOUND: 753 @ 207.487
c NEW SOLUTION FOUND: 752 @ 207.557
c NEW SOLUTION FOUND: 751 @ 207.627
c NEW SOLUTION FOUND: 750 @ 207.698
c NEW SOLUTION FOUND: 749 @ 207.767
c NEW SOLUTION FOUND: 748 @ 207.837
c NEW SOLUTION FOUND: 747 @ 207.907
c NEW SOLUTION FOUND: 746 @ 207.977
c NEW SOLUTION FOUND: 745 @ 208.048
c NEW SOLUTION FOUND: 744 @ 208.118
c NEW SOLUTION FOUND: 743 @ 208.188
c NEW SOLUTION FOUND: 742 @ 208.259
c NEW SOLUTION FOUND: 741 @ 208.329
c NEW SOLUTION FOUND: 740 @ 208.399
c NEW SOLUTION FOUND: 739 @ 208.469
c NEW SOLUTION FOUND: 738 @ 208.539
c NEW SOLUTION FOUND: 737 @ 208.609
c NEW SOLUTION FOUND: 736 @ 208.679
c NEW SOLUTION FOUND: 735 @ 208.75
c NEW SOLUTION FOUND: 734 @ 208.82
c NEW SOLUTION FOUND: 733 @ 208.957
c NEW SOLUTION FOUND: 732 @ 209.094
c NEW SOLUTION FOUND: 731 @ 209.23
c NEW SOLUTION FOUND: 730 @ 209.367
c NEW SOLUTION FOUND: 729 @ 209.436
c NEW SOLUTION FOUND: 728 @ 209.506
c NEW SOLUTION FOUND: 727 @ 209.577
c NEW SOLUTION FOUND: 726 @ 209.647
c NEW SOLUTION FOUND: 725 @ 209.717
c NEW SOLUTION FOUND: 724 @ 209.787
c NEW SOLUTION FOUND: 723 @ 209.857
c NEW SOLUTION FOUND: 722 @ 209.927
c NEW SOLUTION FOUND: 721 @ 209.997
c NEW SOLUTION FOUND: 720 @ 210.067
c NEW SOLUTION FOUND: 719 @ 210.137
c NEW SOLUTION FOUND: 718 @ 210.206
c NEW SOLUTION FOUND: 717 @ 210.277
c NEW SOLUTION FOUND: 716 @ 210.347
c NEW SOLUTION FOUND: 715 @ 210.416
c NEW SOLUTION FOUND: 714 @ 210.486
c NEW SOLUTION FOUND: 713 @ 210.557
c NEW SOLUTION FOUND: 712 @ 210.627
c NEW SOLUTION FOUND: 711 @ 210.697
c NEW SOLUTION FOUND: 710 @ 210.767
c NEW SOLUTION FOUND: 709 @ 210.836
c NEW SOLUTION FOUND: 708 @ 210.907
c NEW SOLUTION FOUND: 707 @ 210.977
c NEW SOLUTION FOUND: 706 @ 211.047
c NEW SOLUTION FOUND: 705 @ 211.116
c NEW SOLUTION FOUND: 704 @ 211.186
c NEW SOLUTION FOUND: 703 @ 211.256
c NEW SOLUTION FOUND: 702 @ 211.326
c NEW SOLUTION FOUND: 701 @ 211.395
c NEW SOLUTION FOUND: 700 @ 211.463
c NEW SOLUTION FOUND: 699 @ 211.534
c NEW SOLUTION FOUND: 698 @ 211.604
c NEW SOLUTION FOUND: 697 @ 211.674
c NEW SOLUTION FOUND: 696 @ 211.744
c NEW SOLUTION FOUND: 695 @ 211.814
c NEW SOLUTION FOUND: 694 @ 211.884
c NEW SOLUTION FOUND: 693 @ 211.954
c NEW SOLUTION FOUND: 692 @ 212.025
c NEW SOLUTION FOUND: 691 @ 212.094
c NEW SOLUTION FOUND: 690 @ 212.164
c NEW SOLUTION FOUND: 689 @ 212.234
c NEW SOLUTION FOUND: 688 @ 212.304
c NEW SOLUTION FOUND: 687 @ 212.44
c NEW SOLUTION FOUND: 686 @ 212.576
c NEW SOLUTION FOUND: 685 @ 212.646
c NEW SOLUTION FOUND: 684 @ 212.716
c NEW SOLUTION FOUND: 683 @ 212.785
c NEW SOLUTION FOUND: 682 @ 212.921
c NEW SOLUTION FOUND: 681 @ 213.057
c NEW SOLUTION FOUND: 680 @ 213.128
c NEW SOLUTION FOUND: 679 @ 213.198
c NEW SOLUTION FOUND: 678 @ 213.269
c NEW SOLUTION FOUND: 677 @ 213.339
c NEW SOLUTION FOUND: 676 @ 213.41
c NEW SOLUTION FOUND: 675 @ 213.481
c NEW SOLUTION FOUND: 674 @ 213.551
c NEW SOLUTION FOUND: 673 @ 213.621
c NEW SOLUTION FOUND: 672 @ 213.691
c NEW SOLUTION FOUND: 671 @ 213.762
c NEW SOLUTION FOUND: 670 @ 213.832
c NEW SOLUTION FOUND: 669 @ 213.902
c NEW SOLUTION FOUND: 668 @ 213.974
c NEW SOLUTION FOUND: 667 @ 214.045
c NEW SOLUTION FOUND: 666 @ 214.115
c NEW SOLUTION FOUND: 665 @ 214.185
c NEW SOLUTION FOUND: 664 @ 214.256
c NEW SOLUTION FOUND: 663 @ 214.326
c NEW SOLUTION FOUND: 662 @ 214.396
c NEW SOLUTION FOUND: 661 @ 214.467
c NEW SOLUTION FOUND: 660 @ 214.537
c NEW SOLUTION FOUND: 659 @ 214.608
c NEW SOLUTION FOUND: 658 @ 214.678
c NEW SOLUTION FOUND: 657 @ 214.749
c NEW SOLUTION FOUND: 656 @ 214.82
c NEW SOLUTION FOUND: 655 @ 214.89
c NEW SOLUTION FOUND: 654 @ 214.96
c NEW SOLUTION FOUND: 653 @ 215.031
c NEW SOLUTION FOUND: 652 @ 215.101
c NEW SOLUTION FOUND: 651 @ 215.171
c NEW SOLUTION FOUND: 650 @ 215.242
c NEW SOLUTION FOUND: 649 @ 215.311
c NEW SOLUTION FOUND: 648 @ 215.382
c NEW SOLUTION FOUND: 647 @ 215.452
c NEW SOLUTION FOUND: 646 @ 215.522
c NEW SOLUTION FOUND: 645 @ 215.592
c NEW SOLUTION FOUND: 644 @ 215.662
c NEW SOLUTION FOUND: 643 @ 215.732
c NEW SOLUTION FOUND: 642 @ 215.802
c NEW SOLUTION FOUND: 641 @ 215.872
c NEW SOLUTION FOUND: 640 @ 215.941
c NEW SOLUTION FOUND: 639 @ 216.011
c NEW SOLUTION FOUND: 638 @ 216.081
c NEW SOLUTION FOUND: 637 @ 216.152
c NEW SOLUTION FOUND: 636 @ 216.222
c NEW SOLUTION FOUND: 635 @ 216.293
c NEW SOLUTION FOUND: 634 @ 216.363
c NEW SOLUTION FOUND: 633 @ 216.433
c NEW SOLUTION FOUND: 632 @ 216.504
c NEW SOLUTION FOUND: 631 @ 216.574
c NEW SOLUTION FOUND: 630 @ 216.644
c NEW SOLUTION FOUND: 629 @ 216.714
c NEW SOLUTION FOUND: 628 @ 216.784
c NEW SOLUTION FOUND: 627 @ 216.854
c NEW SOLUTION FOUND: 626 @ 216.925
c NEW SOLUTION FOUND: 625 @ 216.995
c NEW SOLUTION FOUND: 624 @ 217.065
c NEW SOLUTION FOUND: 623 @ 217.135
c NEW SOLUTION FOUND: 622 @ 217.206
c NEW SOLUTION FOUND: 621 @ 217.275
c NEW SOLUTION FOUND: 620 @ 217.345
c NEW SOLUTION FOUND: 619 @ 217.417
c NEW SOLUTION FOUND: 618 @ 217.488
c NEW SOLUTION FOUND: 617 @ 217.56
c NEW SOLUTION FOUND: 616 @ 217.634
c NEW SOLUTION FOUND: 615 @ 217.705
c NEW SOLUTION FOUND: 614 @ 217.778
c NEW SOLUTION FOUND: 613 @ 217.85
c NEW SOLUTION FOUND: 612 @ 217.922
c NEW SOLUTION FOUND: 611 @ 217.994
c NEW SOLUTION FOUND: 610 @ 218.067
c NEW SOLUTION FOUND: 609 @ 218.139
c NEW SOLUTION FOUND: 608 @ 218.211
c NEW SOLUTION FOUND: 607 @ 218.283
c NEW SOLUTION FOUND: 606 @ 218.354
c NEW SOLUTION FOUND: 605 @ 218.426
c NEW SOLUTION FOUND: 604 @ 218.499
c NEW SOLUTION FOUND: 603 @ 218.571
c NEW SOLUTION FOUND: 602 @ 218.643
c NEW SOLUTION FOUND: 601 @ 218.715
c NEW SOLUTION FOUND: 600 @ 218.787
c NEW SOLUTION FOUND: 599 @ 218.859
c NEW SOLUTION FOUND: 598 @ 218.931
c NEW SOLUTION FOUND: 597 @ 219.006
c NEW SOLUTION FOUND: 596 @ 219.081
c NEW SOLUTION FOUND: 595 @ 219.155
c NEW SOLUTION FOUND: 594 @ 219.228
c NEW SOLUTION FOUND: 593 @ 219.301
c NEW SOLUTION FOUND: 592 @ 219.375
c NEW SOLUTION FOUND: 591 @ 219.45
c NEW SOLUTION FOUND: 590 @ 219.524
c NEW SOLUTION FOUND: 589 @ 219.597
c NEW SOLUTION FOUND: 588 @ 219.671
c NEW SOLUTION FOUND: 587 @ 219.746
c NEW SOLUTION FOUND: 586 @ 219.82
c NEW SOLUTION FOUND: 585 @ 219.894
c NEW SOLUTION FOUND: 584 @ 219.968
c NEW SOLUTION FOUND: 583 @ 220.041
c NEW SOLUTION FOUND: 582 @ 220.115
c NEW SOLUTION FOUND: 581 @ 220.189
c NEW SOLUTION FOUND: 580 @ 220.264
c NEW SOLUTION FOUND: 579 @ 220.337
c NEW SOLUTION FOUND: 578 @ 220.412
c NEW SOLUTION FOUND: 577 @ 220.485
c NEW SOLUTION FOUND: 576 @ 220.56
c NEW SOLUTION FOUND: 575 @ 220.636
c NEW SOLUTION FOUND: 574 @ 220.712
c NEW SOLUTION FOUND: 573 @ 220.788
c NEW SOLUTION FOUND: 572 @ 220.863
c NEW SOLUTION FOUND: 571 @ 220.939
c NEW SOLUTION FOUND: 570 @ 221.088
c NEW SOLUTION FOUND: 569 @ 221.235
c NEW SOLUTION FOUND: 568 @ 221.313
c NEW SOLUTION FOUND: 567 @ 221.391
c NEW SOLUTION FOUND: 566 @ 221.468
c NEW SOLUTION FOUND: 565 @ 221.544
c NEW SOLUTION FOUND: 564 @ 221.621
c NEW SOLUTION FOUND: 563 @ 221.697
c NEW SOLUTION FOUND: 562 @ 221.775
c NEW SOLUTION FOUND: 561 @ 221.853
c NEW SOLUTION FOUND: 560 @ 221.932
c NEW SOLUTION FOUND: 559 @ 222.008
c NEW SOLUTION FOUND: 558 @ 222.085
c NEW SOLUTION FOUND: 557 @ 222.164
c NEW SOLUTION FOUND: 556 @ 222.242
c NEW SOLUTION FOUND: 555 @ 222.319
c NEW SOLUTION FOUND: 554 @ 222.396
c NEW SOLUTION FOUND: 553 @ 222.475
c NEW SOLUTION FOUND: 552 @ 222.552
c NEW SOLUTION FOUND: 551 @ 222.629
c NEW SOLUTION FOUND: 550 @ 222.706
c NEW SOLUTION FOUND: 549 @ 222.784
c NEW SOLUTION FOUND: 548 @ 222.862
c NEW SOLUTION FOUND: 547 @ 222.939
c NEW SOLUTION FOUND: 546 @ 223.017
c NEW SOLUTION FOUND: 545 @ 223.093
c NEW SOLUTION FOUND: 544 @ 223.17
c NEW SOLUTION FOUND: 543 @ 223.248
c NEW SOLUTION FOUND: 542 @ 223.327
c NEW SOLUTION FOUND: 541 @ 223.403
c NEW SOLUTION FOUND: 540 @ 223.479
c NEW SOLUTION FOUND: 539 @ 223.558
c NEW SOLUTION FOUND: 538 @ 223.635
c NEW SOLUTION FOUND: 537 @ 223.715
c NEW SOLUTION FOUND: 536 @ 223.792
c NEW SOLUTION FOUND: 535 @ 223.87
c NEW SOLUTION FOUND: 534 @ 223.949
c NEW SOLUTION FOUND: 533 @ 224.028
c NEW SOLUTION FOUND: 532 @ 224.108
c NEW SOLUTION FOUND: 531 @ 224.188
c NEW SOLUTION FOUND: 530 @ 224.268
c NEW SOLUTION FOUND: 529 @ 224.346
c NEW SOLUTION FOUND: 528 @ 224.426
c NEW SOLUTION FOUND: 527 @ 224.507
c NEW SOLUTION FOUND: 526 @ 224.588
c NEW SOLUTION FOUND: 525 @ 224.748
c NEW SOLUTION FOUND: 524 @ 224.908
c NEW SOLUTION FOUND: 523 @ 224.989
c NEW SOLUTION FOUND: 522 @ 225.071
c NEW SOLUTION FOUND: 521 @ 225.151
c NEW SOLUTION FOUND: 520 @ 225.232
c NEW SOLUTION FOUND: 519 @ 225.313
c NEW SOLUTION FOUND: 518 @ 225.393
c NEW SOLUTION FOUND: 517 @ 225.962
c NEW SOLUTION FOUND: 516 @ 226.92
c NEW SOLUTION FOUND: 515 @ 227.32
c NEW SOLUTION FOUND: 514 @ 227.562
c NEW SOLUTION FOUND: 513 @ 227.886
c NEW SOLUTION FOUND: 512 @ 228.756
c NEW SOLUTION FOUND: 511 @ 229.562
c NEW SOLUTION FOUND: 510 @ 230.143
c NEW SOLUTION FOUND: 509 @ 231.16
c NEW SOLUTION FOUND: 508 @ 231.967
c NEW SOLUTION FOUND: 507 @ 232.22
c NEW SOLUTION FOUND: 506 @ 232.474
c NEW SOLUTION FOUND: 505 @ 232.811
c NEW SOLUTION FOUND: 504 @ 233.148
c NEW SOLUTION FOUND: 503 @ 233.4
c NEW SOLUTION FOUND: 502 @ 234.246
c NEW SOLUTION FOUND: 501 @ 234.745
c NEW SOLUTION FOUND: 500 @ 235.165
c NEW SOLUTION FOUND: 499 @ 235.751
c NEW SOLUTION FOUND: 498 @ 236.607
c NEW SOLUTION FOUND: 497 @ 237.032
c NEW SOLUTION FOUND: 496 @ 237.466
c NEW SOLUTION FOUND: 495 @ 238.231
c NEW SOLUTION FOUND: 494 @ 238.907
c NEW SOLUTION FOUND: 493 @ 239.329
c NEW SOLUTION FOUND: 492 @ 239.762
c NEW SOLUTION FOUND: 491 @ 240.27
c NEW SOLUTION FOUND: 490 @ 240.62
c NEW SOLUTION FOUND: 489 @ 241.31
c NEW SOLUTION FOUND: 488 @ 241.821
c NEW SOLUTION FOUND: 487 @ 242.17
c NEW SOLUTION FOUND: 486 @ 242.511
c NEW SOLUTION FOUND: 485 @ 242.853
c NEW SOLUTION FOUND: 484 @ 243.284
c NEW SOLUTION FOUND: 483 @ 244.318
c NEW SOLUTION FOUND: 482 @ 245.151
c NEW SOLUTION FOUND: 481 @ 245.411
c NEW SOLUTION FOUND: 480 @ 245.756
c NEW SOLUTION FOUND: 479 @ 246.099
c NEW SOLUTION FOUND: 478 @ 246.438
c NEW SOLUTION FOUND: 477 @ 246.783
c NEW SOLUTION FOUND: 476 @ 247.128
c NEW SOLUTION FOUND: 475 @ 247.646
c NEW SOLUTION FOUND: 474 @ 248.067
c NEW SOLUTION FOUND: 473 @ 248.498
c NEW SOLUTION FOUND: 472 @ 248.93
c NEW SOLUTION FOUND: 471 @ 249.712
c NEW SOLUTION FOUND: 470 @ 250.477
c NEW SOLUTION FOUND: 469 @ 251.072
c NEW SOLUTION FOUND: 468 @ 251.762
c NEW SOLUTION FOUND: 467 @ 252.189
c NEW SOLUTION FOUND: 466 @ 252.449
c NEW SOLUTION FOUND: 465 @ 252.971
c NEW SOLUTION FOUND: 464 @ 253.57
c NEW SOLUTION FOUND: 463 @ 254.003
c NEW SOLUTION FOUND: 462 @ 254.428
c NEW SOLUTION FOUND: 461 @ 255.121
c NEW SOLUTION FOUND: 460 @ 255.631
c NEW SOLUTION FOUND: 459 @ 255.891
c NEW SOLUTION FOUND: 458 @ 256.235
c NEW SOLUTION FOUND: 457 @ 256.578
c NEW SOLUTION FOUND: 456 @ 257.004
c NEW SOLUTION FOUND: 455 @ 257.427
c NEW SOLUTION FOUND: 454 @ 258.124
c NEW SOLUTION FOUND: 453 @ 258.794
c NEW SOLUTION FOUND: 452 @ 259.14
c NEW SOLUTION FOUND: 451 @ 259.396
c NEW SOLUTION FOUND: 450 @ 260.004
c NEW SOLUTION FOUND: 449 @ 260.427
c NEW SOLUTION FOUND: 448 @ 260.769
c NEW SOLUTION FOUND: 447 @ 261.108
c NEW SOLUTION FOUND: 446 @ 261.802
c NEW SOLUTION FOUND: 445 @ 262.407
c NEW SOLUTION FOUND: 444 @ 262.838
c NEW SOLUTION FOUND: 443 @ 263.448
c NEW SOLUTION FOUND: 442 @ 263.962
c NEW SOLUTION FOUND: 441 @ 264.311
c NEW SOLUTION FOUND: 440 @ 264.574
c NEW SOLUTION FOUND: 439 @ 265.094
c NEW SOLUTION FOUND: 438 @ 265.772
c NEW SOLUTION FOUND: 437 @ 266.463
c NEW SOLUTION FOUND: 436 @ 266.981
c NEW SOLUTION FOUND: 435 @ 267.766
c NEW SOLUTION FOUND: 434 @ 268.781
c NEW SOLUTION FOUND: 433 @ 269.295
c NEW SOLUTION FOUND: 432 @ 269.99
c NEW SOLUTION FOUND: 431 @ 270.423
c NEW SOLUTION FOUND: 430 @ 270.769
c NEW SOLUTION FOUND: 429 @ 271.198
c NEW SOLUTION FOUND: 428 @ 271.542
c NEW SOLUTION FOUND: 427 @ 272.241
c NEW SOLUTION FOUND: 426 @ 272.827
c NEW SOLUTION FOUND: 425 @ 273.178
c NEW SOLUTION FOUND: 424 @ 273.436
c NEW SOLUTION FOUND: 423 @ 273.696
c NEW SOLUTION FOUND: 422 @ 274.307
c NEW SOLUTION FOUND: 421 @ 274.905
c NEW SOLUTION FOUND: 420 @ 275.338
c NEW SOLUTION FOUND: 419 @ 275.601
c NEW SOLUTION FOUND: 418 @ 276.303
c NEW SOLUTION FOUND: 417 @ 276.977
c NEW SOLUTION FOUND: 416 @ 277.237
c NEW SOLUTION FOUND: 415 @ 277.584
c NEW SOLUTION FOUND: 414 @ 277.927
c NEW SOLUTION FOUND: 413 @ 278.188
c NEW SOLUTION FOUND: 412 @ 278.537
c NEW SOLUTION FOUND: 411 @ 279.235
c NEW SOLUTION FOUND: 410 @ 279.739
c NEW SOLUTION FOUND: 409 @ 280.001
c NEW SOLUTION FOUND: 408 @ 280.701
c NEW SOLUTION FOUND: 407 @ 281.384
c NEW SOLUTION FOUND: 406 @ 281.811
c NEW SOLUTION FOUND: 405 @ 282.071
c NEW SOLUTION FOUND: 404 @ 282.334
c NEW SOLUTION FOUND: 403 @ 282.698
c NEW SOLUTION FOUND: 402 @ 283.346
c NEW SOLUTION FOUND: 401 @ 283.896
c NEW SOLUTION FOUND: 400 @ 284.173
c NEW SOLUTION FOUND: 399 @ 284.82
c NEW SOLUTION FOUND: 398 @ 285.835
c NEW SOLUTION FOUND: 397 @ 286.819
c NEW SOLUTION FOUND: 396 @ 287.092
c NEW SOLUTION FOUND: 395 @ 287.193
c NEW SOLUTION FOUND: 394 @ 287.291
c NEW SOLUTION FOUND: 393 @ 287.389
c NEW SOLUTION FOUND: 392 @ 287.487
c NEW SOLUTION FOUND: 391 @ 287.586
c NEW SOLUTION FOUND: 390 @ 287.683
c NEW SOLUTION FOUND: 389 @ 287.785
c NEW SOLUTION FOUND: 388 @ 287.883
c NEW SOLUTION FOUND: 387 @ 287.983
c NEW SOLUTION FOUND: 386 @ 288.081
c NEW SOLUTION FOUND: 385 @ 288.179
c NEW SOLUTION FOUND: 384 @ 288.279
c NEW SOLUTION FOUND: 383 @ 288.376
c NEW SOLUTION FOUND: 382 @ 288.475
c NEW SOLUTION FOUND: 381 @ 288.576
c NEW SOLUTION FOUND: 380 @ 288.676
c NEW SOLUTION FOUND: 379 @ 288.774
c NEW SOLUTION FOUND: 378 @ 288.872
c NEW SOLUTION FOUND: 377 @ 288.97
c NEW SOLUTION FOUND: 376 @ 289.068
c NEW SOLUTION FOUND: 375 @ 289.166
c NEW SOLUTION FOUND: 374 @ 289.265
c NEW SOLUTION FOUND: 373 @ 289.365
c NEW SOLUTION FOUND: 372 @ 289.463
c NEW SOLUTION FOUND: 371 @ 289.561
c NEW SOLUTION FOUND: 370 @ 289.66
c NEW SOLUTION FOUND: 369 @ 289.759
c NEW SOLUTION FOUND: 368 @ 289.858
c NEW SOLUTION FOUND: 367 @ 289.955
c NEW SOLUTION FOUND: 366 @ 290.055
c NEW SOLUTION FOUND: 365 @ 290.151
c NEW SOLUTION FOUND: 364 @ 290.251
c NEW SOLUTION FOUND: 363 @ 290.349
c NEW SOLUTION FOUND: 362 @ 290.448
c NEW SOLUTION FOUND: 361 @ 290.546
c NEW SOLUTION FOUND: 360 @ 290.645
c NEW SOLUTION FOUND: 359 @ 290.746
c NEW SOLUTION FOUND: 358 @ 290.843
c NEW SOLUTION FOUND: 357 @ 290.944
c NEW SOLUTION FOUND: 356 @ 291.043
c NEW SOLUTION FOUND: 355 @ 291.144
c NEW SOLUTION FOUND: 354 @ 291.242
c NEW SOLUTION FOUND: 353 @ 291.34
c NEW SOLUTION FOUND: 352 @ 291.441
c NEW SOLUTION FOUND: 351 @ 291.539
c NEW SOLUTION FOUND: 350 @ 291.636
c NEW SOLUTION FOUND: 349 @ 291.736
c NEW SOLUTION FOUND: 348 @ 291.834
c NEW SOLUTION FOUND: 347 @ 291.933
c NEW SOLUTION FOUND: 346 @ 292.031
c NEW SOLUTION FOUND: 345 @ 292.129
c NEW SOLUTION FOUND: 344 @ 292.227
c NEW SOLUTION FOUND: 343 @ 292.326
c NEW SOLUTION FOUND: 342 @ 292.425
c NEW SOLUTION FOUND: 341 @ 292.525
c NEW SOLUTION FOUND: 340 @ 292.624
c NEW SOLUTION FOUND: 339 @ 292.726
c NEW SOLUTION FOUND: 338 @ 292.824
c NEW SOLUTION FOUND: 337 @ 292.921
c NEW SOLUTION FOUND: 336 @ 293.02
c NEW SOLUTION FOUND: 335 @ 293.119
c NEW SOLUTION FOUND: 334 @ 293.218
c NEW SOLUTION FOUND: 333 @ 293.318
c NEW SOLUTION FOUND: 332 @ 293.416
c NEW SOLUTION FOUND: 331 @ 293.516
c NEW SOLUTION FOUND: 330 @ 293.618
c NEW SOLUTION FOUND: 329 @ 293.719
c NEW SOLUTION FOUND: 328 @ 293.823
c NEW SOLUTION FOUND: 327 @ 293.927
c NEW SOLUTION FOUND: 326 @ 294.031
c NEW SOLUTION FOUND: 325 @ 294.132
c NEW SOLUTION FOUND: 324 @ 294.236
c NEW SOLUTION FOUND: 323 @ 294.339
c NEW SOLUTION FOUND: 322 @ 294.44
c NEW SOLUTION FOUND: 321 @ 294.545
c NEW SOLUTION FOUND: 320 @ 294.648
c NEW SOLUTION FOUND: 319 @ 294.75
c NEW SOLUTION FOUND: 318 @ 294.851
c NEW SOLUTION FOUND: 317 @ 294.958
c NEW SOLUTION FOUND: 316 @ 295.064
c NEW SOLUTION FOUND: 315 @ 295.172
c NEW SOLUTION FOUND: 314 @ 295.278
c NEW SOLUTION FOUND: 313 @ 295.383
c NEW SOLUTION FOUND: 312 @ 295.487
c NEW SOLUTION FOUND: 311 @ 295.595
c NEW SOLUTION FOUND: 310 @ 295.701
c NEW SOLUTION FOUND: 309 @ 295.808
c NEW SOLUTION FOUND: 308 @ 295.912
c NEW SOLUTION FOUND: 307 @ 296.019
c NEW SOLUTION FOUND: 306 @ 296.126
c NEW SOLUTION FOUND: 305 @ 296.232
c NEW SOLUTION FOUND: 304 @ 296.342
c NEW SOLUTION FOUND: 303 @ 296.451
c NEW SOLUTION FOUND: 302 @ 296.561
c NEW SOLUTION FOUND: 301 @ 296.669
c NEW SOLUTION FOUND: 300 @ 296.778
c NEW SOLUTION FOUND: 299 @ 296.886
c NEW SOLUTION FOUND: 298 @ 296.996
c NEW SOLUTION FOUND: 297 @ 297.106
c NEW SOLUTION FOUND: 296 @ 297.215
c NEW SOLUTION FOUND: 295 @ 297.324
c NEW SOLUTION FOUND: 294 @ 297.431
c NEW SOLUTION FOUND: 293 @ 297.538
c NEW SOLUTION FOUND: 292 @ 297.646
c NEW SOLUTION FOUND: 291 @ 297.755
c NEW SOLUTION FOUND: 290 @ 297.864
c NEW SOLUTION FOUND: 289 @ 297.972
c NEW SOLUTION FOUND: 288 @ 298.081
c NEW SOLUTION FOUND: 287 @ 298.19
c NEW SOLUTION FOUND: 286 @ 298.299
c NEW SOLUTION FOUND: 285 @ 298.414
c NEW SOLUTION FOUND: 284 @ 298.527
c NEW SOLUTION FOUND: 283 @ 298.636
c NEW SOLUTION FOUND: 282 @ 298.746
c NEW SOLUTION FOUND: 281 @ 298.852
c NEW SOLUTION FOUND: 280 @ 298.959
c NEW SOLUTION FOUND: 279 @ 299.068
c NEW SOLUTION FOUND: 278 @ 299.176
c NEW SOLUTION FOUND: 277 @ 299.285
c NEW SOLUTION FOUND: 276 @ 299.393
c NEW SOLUTION FOUND: 275 @ 299.502
c NEW SOLUTION FOUND: 274 @ 299.611
c NEW SOLUTION FOUND: 273 @ 299.719
c NEW SOLUTION FOUND: 272 @ 299.825
c NEW SOLUTION FOUND: 271 @ 299.932
c NEW SOLUTION FOUND: 270 @ 300.039
c NEW SOLUTION FOUND: 269 @ 300.147
c NEW SOLUTION FOUND: 268 @ 300.254
c NEW SOLUTION FOUND: 267 @ 300.361
c NEW SOLUTION FOUND: 266 @ 300.468
c NEW SOLUTION FOUND: 265 @ 300.575
c NEW SOLUTION FOUND: 264 @ 300.683
c NEW SOLUTION FOUND: 263 @ 300.793
c NEW SOLUTION FOUND: 262 @ 300.9
c NEW SOLUTION FOUND: 261 @ 301.009
c NEW SOLUTION FOUND: 260 @ 301.116
c NEW SOLUTION FOUND: 259 @ 301.223
c NEW SOLUTION FOUND: 258 @ 301.331
c NEW SOLUTION FOUND: 257 @ 301.438
c NEW SOLUTION FOUND: 256 @ 301.544
c NEW SOLUTION FOUND: 255 @ 301.656
c NEW SOLUTION FOUND: 254 @ 301.764
c NEW SOLUTION FOUND: 253 @ 301.87
c NEW SOLUTION FOUND: 252 @ 301.98
c NEW SOLUTION FOUND: 251 @ 302.088
c NEW SOLUTION FOUND: 250 @ 302.199
c NEW SOLUTION FOUND: 249 @ 302.306
c NEW SOLUTION FOUND: 248 @ 302.414
c NEW SOLUTION FOUND: 247 @ 302.521
c NEW SOLUTION FOUND: 246 @ 302.627
c NEW SOLUTION FOUND: 245 @ 302.737
c NEW SOLUTION FOUND: 244 @ 302.846
c NEW SOLUTION FOUND: 243 @ 302.957
c NEW SOLUTION FOUND: 242 @ 303.067
c NEW SOLUTION FOUND: 241 @ 303.174
c NEW SOLUTION FOUND: 240 @ 303.282
c NEW SOLUTION FOUND: 239 @ 303.39
c NEW SOLUTION FOUND: 238 @ 303.498
c NEW SOLUTION FOUND: 237 @ 303.608
c NEW SOLUTION FOUND: 236 @ 303.717
c NEW SOLUTION FOUND: 235 @ 303.823
c NEW SOLUTION FOUND: 234 @ 303.932
c NEW SOLUTION FOUND: 233 @ 304.038
c NEW SOLUTION FOUND: 232 @ 304.146
c NEW SOLUTION FOUND: 231 @ 304.255
c NEW SOLUTION FOUND: 230 @ 304.367
c NEW SOLUTION FOUND: 229 @ 304.476
c NEW SOLUTION FOUND: 228 @ 304.582
c NEW SOLUTION FOUND: 227 @ 304.689
c NEW SOLUTION FOUND: 226 @ 304.799
c NEW SOLUTION FOUND: 225 @ 304.907
c NEW SOLUTION FOUND: 224 @ 305.013
c NEW SOLUTION FOUND: 223 @ 305.121
c NEW SOLUTION FOUND: 222 @ 305.227
c NEW SOLUTION FOUND: 221 @ 305.336
c NEW SOLUTION FOUND: 220 @ 305.442
c NEW SOLUTION FOUND: 219 @ 305.549
c NEW SOLUTION FOUND: 218 @ 305.657
c NEW SOLUTION FOUND: 217 @ 305.765
c NEW SOLUTION FOUND: 216 @ 305.872
c NEW SOLUTION FOUND: 215 @ 306.085
c NEW SOLUTION FOUND: 214 @ 306.195
c NEW SOLUTION FOUND: 213 @ 306.303
c NEW SOLUTION FOUND: 212 @ 306.412
c NEW SOLUTION FOUND: 211 @ 306.519
c NEW SOLUTION FOUND: 210 @ 306.626
c NEW SOLUTION FOUND: 209 @ 306.736
c NEW SOLUTION FOUND: 208 @ 306.843
c NEW SOLUTION FOUND: 207 @ 306.951
c NEW SOLUTION FOUND: 206 @ 307.062
c NEW SOLUTION FOUND: 205 @ 307.171
c NEW SOLUTION FOUND: 204 @ 307.283
c NEW SOLUTION FOUND: 203 @ 307.39
c NEW SOLUTION FOUND: 202 @ 307.498
c NEW SOLUTION FOUND: 201 @ 307.608
c NEW SOLUTION FOUND: 200 @ 307.718
c NEW SOLUTION FOUND: 199 @ 307.825
c NEW SOLUTION FOUND: 198 @ 307.934
c NEW SOLUTION FOUND: 197 @ 308.043
c NEW SOLUTION FOUND: 196 @ 308.155
c NEW SOLUTION FOUND: 195 @ 308.264
c NEW SOLUTION FOUND: 194 @ 308.375
c NEW SOLUTION FOUND: 193 @ 308.485
c NEW SOLUTION FOUND: 192 @ 308.593
c NEW SOLUTION FOUND: 191 @ 308.704
c NEW SOLUTION FOUND: 190 @ 308.814
c NEW SOLUTION FOUND: 189 @ 308.923
c NEW SOLUTION FOUND: 188 @ 309.032
c NEW SOLUTION FOUND: 187 @ 309.142
c NEW SOLUTION FOUND: 186 @ 309.359
c NEW SOLUTION FOUND: 185 @ 309.467
c NEW SOLUTION FOUND: 184 @ 309.58
c NEW SOLUTION FOUND: 183 @ 309.688
c NEW SOLUTION FOUND: 182 @ 309.798
c NEW SOLUTION FOUND: 181 @ 309.909
c NEW SOLUTION FOUND: 180 @ 310.018
c NEW SOLUTION FOUND: 179 @ 310.126
c NEW SOLUTION FOUND: 178 @ 310.238
c NEW SOLUTION FOUND: 177 @ 310.349
c NEW SOLUTION FOUND: 176 @ 310.465
c NEW SOLUTION FOUND: 175 @ 310.585
c NEW SOLUTION FOUND: 174 @ 310.699
c NEW SOLUTION FOUND: 173 @ 310.814
c NEW SOLUTION FOUND: 172 @ 310.93
c NEW SOLUTION FOUND: 171 @ 311.047
c NEW SOLUTION FOUND: 170 @ 311.165
c NEW SOLUTION FOUND: 169 @ 311.283
c NEW SOLUTION FOUND: 168 @ 311.401
c NEW SOLUTION FOUND: 167 @ 311.518
c NEW SOLUTION FOUND: 166 @ 311.637
c NEW SOLUTION FOUND: 165 @ 311.754
c NEW SOLUTION FOUND: 164 @ 311.872
c NEW SOLUTION FOUND: 163 @ 311.992
c NEW SOLUTION FOUND: 162 @ 312.232
c NEW SOLUTION FOUND: 161 @ 312.353
c NEW SOLUTION FOUND: 160 @ 312.474
c NEW SOLUTION FOUND: 159 @ 312.599
c NEW SOLUTION FOUND: 158 @ 312.723
c NEW SOLUTION FOUND: 157 @ 312.848
c NEW SOLUTION FOUND: 156 @ 312.974
c NEW SOLUTION FOUND: 155 @ 313.097
c NEW SOLUTION FOUND: 154 @ 313.218
c NEW SOLUTION FOUND: 153 @ 313.339
c NEW SOLUTION FOUND: 152 @ 313.462
c NEW SOLUTION FOUND: 151 @ 313.585
c NEW SOLUTION FOUND: 150 @ 313.705
c NEW SOLUTION FOUND: 149 @ 313.826
c NEW SOLUTION FOUND: 148 @ 313.944
c NEW SOLUTION FOUND: 147 @ 314.066
c NEW SOLUTION FOUND: 146 @ 314.186
c NEW SOLUTION FOUND: 145 @ 314.31
c NEW SOLUTION FOUND: 144 @ 314.431
c NEW SOLUTION FOUND: 143 @ 314.552
c NEW SOLUTION FOUND: 142 @ 314.677
c NEW SOLUTION FOUND: 141 @ 314.799
c NEW SOLUTION FOUND: 140 @ 314.926
c NEW SOLUTION FOUND: 139 @ 315.048
c NEW SOLUTION FOUND: 138 @ 315.167
c NEW SOLUTION FOUND: 137 @ 315.289
c NEW SOLUTION FOUND: 136 @ 315.408
c NEW SOLUTION FOUND: 135 @ 315.533
c NEW SOLUTION FOUND: 134 @ 315.654
c NEW SOLUTION FOUND: 133 @ 315.78
c NEW SOLUTION FOUND: 132 @ 315.901
c NEW SOLUTION FOUND: 131 @ 316.036
c NEW SOLUTION FOUND: 130 @ 316.171
c NEW SOLUTION FOUND: 129 @ 316.303
c NEW SOLUTION FOUND: 128 @ 316.438
c NEW SOLUTION FOUND: 127 @ 316.575
c NEW SOLUTION FOUND: 126 @ 316.709
c NEW SOLUTION FOUND: 125 @ 316.841
c NEW SOLUTION FOUND: 124 @ 316.976
c NEW SOLUTION FOUND: 123 @ 317.254
c NEW SOLUTION FOUND: 122 @ 317.389
c NEW SOLUTION FOUND: 121 @ 317.526
c NEW SOLUTION FOUND: 120 @ 317.666
c NEW SOLUTION FOUND: 119 @ 317.962
c NEW SOLUTION FOUND: 118 @ 318.119
c NEW SOLUTION FOUND: 117 @ 318.273
c NEW SOLUTION FOUND: 116 @ 318.427
c NEW SOLUTION FOUND: 115 @ 318.583
c NEW SOLUTION FOUND: 114 @ 318.741
c NEW SOLUTION FOUND: 113 @ 318.894
c NEW SOLUTION FOUND: 112 @ 319.047
c NEW SOLUTION FOUND: 111 @ 319.357
c NEW SOLUTION FOUND: 110 @ 319.536
c NEW SOLUTION FOUND: 109 @ 319.705
c NEW SOLUTION FOUND: 108 @ 319.877
c NEW SOLUTION FOUND: 107 @ 320.05
c NEW SOLUTION FOUND: 106 @ 320.406
c NEW SOLUTION FOUND: 105 @ 320.583
c NEW SOLUTION FOUND: 104 @ 320.774
c NEW SOLUTION FOUND: 103 @ 320.96
c NEW SOLUTION FOUND: 102 @ 321.333
c NEW SOLUTION FOUND: 101 @ 321.523
c NEW SOLUTION FOUND: 100 @ 321.716
c NEW SOLUTION FOUND: 99 @ 322.119
c NEW SOLUTION FOUND: 98 @ 322.343
c NEW SOLUTION FOUND: 97 @ 322.557
c NEW SOLUTION FOUND: 96 @ 322.765
c NEW SOLUTION FOUND: 95 @ 323.454
c NEW SOLUTION FOUND: 94 @ 323.682
c NEW SOLUTION FOUND: 93 @ 323.901
c NEW SOLUTION FOUND: 92 @ 324.583
c NEW SOLUTION FOUND: 91 @ 325.054
c NEW SOLUTION FOUND: 90 @ 325.356
c NEW SOLUTION FOUND: 89 @ 325.989
c NEW SOLUTION FOUND: 88 @ 326.294
c NEW SOLUTION FOUND: 87 @ 326.566
c NEW SOLUTION FOUND: 86 @ 327.713
c NEW SOLUTION FOUND: 85 @ 328.562
c NEW SOLUTION FOUND: 84 @ 329.152
c NEW SOLUTION FOUND: 83 @ 330.012
c NEW SOLUTION FOUND: 82 @ 332.572
c NEW SOLUTION FOUND: 81 @ 333.648
c NEW SOLUTION FOUND: 80 @ 336.254
c NEW SOLUTION FOUND: 79 @ 337.452
c NEW SOLUTION FOUND: 78 @ 338.861
c NEW SOLUTION FOUND: 77 @ 340.424
c NEW SOLUTION FOUND: 76 @ 345.877
c NEW SOLUTION FOUND: 75 @ 347.807
c NEW SOLUTION FOUND: 74 @ 351.123
c NEW SOLUTION FOUND: 73 @ 374.389
c NEW SOLUTION FOUND: 72 @ 386.012
c NEW SOLUTION FOUND: 71 @ 394.364
c NEW SOLUTION FOUND: 70 @ 405.251
c NEW SOLUTION FOUND: 69 @ 457.762
c NEW SOLUTION FOUND: 68 @ 495.92
c NEW SOLUTION FOUND: 67 @ 885.265
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 
c Exit Code: 10
c Total time: 1181.74 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 1/54 3620
Raw data (stat): 3620 (runsolver) R 3619 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892178759 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 4617 0 3 0 978 10 0 0 25 0 1 0 892178759 12488704 2329 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2329 1111 63 0 2986 0
vsize: 12196
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 10843 0 3 0 1962 26 0 0 25 0 1 0 892178759 12689408 2302 4294967295 134512640 134716908 3221224576 3221222496 1075799526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3098 2302 1111 63 0 3035 0
vsize: 12392
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 21976 0 3 0 2925 62 0 0 25 0 1 0 892178759 12488704 2301 4294967295 134512640 134716908 3221224576 3221222608 1075088370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2301 1111 63 0 2986 0
vsize: 12196
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 32003 0 3 0 3892 94 0 0 25 0 1 0 892178759 12402688 2312 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3028 2312 1111 63 0 2965 0
vsize: 12112
[startup+50.003 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 42007 0 3 0 4866 121 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221223368 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 54145 0 3 0 5831 155 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 68233 0 3 0 6795 191 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221223040 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 83545 0 3 0 7756 230 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221221872 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 98982 0 3 0 8716 271 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221223260 1076647871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 114305 0 3 0 9676 311 0 0 25 0 1 0 892178759 12427264 2309 4294967295 134512640 134716908 3221224576 3221222912 1074138405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2309 1111 63 0 2971 0
vsize: 12136
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 129737 0 3 0 10636 351 0 0 25 0 1 0 892178759 12427264 2309 4294967295 134512640 134716908 3221224576 3221222576 1074916721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2309 1111 63 0 2971 0
vsize: 12136
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 144950 0 3 0 11600 387 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221223196 1076530932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 160095 0 3 0 12557 431 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221221832 1077377565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 175456 0 3 0 13517 471 0 0 25 0 1 0 892178759 12713984 2365 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2365 1111 63 0 3041 0
vsize: 12416
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 190634 0 3 0 14478 511 0 0 25 0 1 0 892178759 12427264 2309 4294967295 134512640 134716908 3221224576 3221222992 1074116211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2309 1111 63 0 2971 0
vsize: 12136
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 206004 0 3 0 15438 550 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221222552 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 221375 0 3 0 16399 589 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221223280 134654874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 236746 0 3 0 17361 627 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 252229 0 3 0 18321 667 0 0 25 0 1 0 892178759 12660736 2312 4294967295 134512640 134716908 3221224576 3221222304 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2312 1111 63 0 3028 0
vsize: 12364
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 267699 0 3 0 19279 710 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 282617 0 3 0 20240 749 0 0 25 0 1 0 892178759 12660736 2312 4294967295 134512640 134716908 3221224576 3221222304 1075828215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2312 1111 63 0 3028 0
vsize: 12364
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 297123 0 3 0 21202 787 0 0 25 0 1 0 892178759 12517376 2317 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2317 1111 63 0 2993 0
vsize: 12224
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 309030 0 3 0 22171 818 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 319727 0 3 0 23143 847 0 0 25 0 1 0 892178759 12427264 2309 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2309 1111 63 0 2971 0
vsize: 12136
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 330205 0 3 0 24113 876 0 0 25 0 1 0 892178759 12333056 2299 4294967295 134512640 134716908 3221224576 3221222624 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2299 1111 63 0 2948 0
vsize: 12044
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 340689 0 3 0 25084 906 0 0 25 0 1 0 892178759 13123584 2379 4294967295 134512640 134716908 3221224576 3221220848 1074960800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3204 2379 1111 63 0 3141 0
vsize: 12816
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 351088 0 3 0 26058 932 0 0 25 0 1 0 892178759 12533760 2313 4294967295 134512640 134716908 3221224576 3221221696 1074866626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2313 1111 63 0 2997 0
vsize: 12240
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 361464 0 3 0 27031 959 0 0 25 0 1 0 892178759 12382208 2311 4294967295 134512640 134716908 3221224576 3221222320 1075636583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2311 1111 63 0 2960 0
vsize: 12092
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 372422 0 3 0 28002 989 0 0 25 0 1 0 892178759 12775424 2322 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3119 2322 1111 63 0 3056 0
vsize: 12476
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 383712 0 3 0 28972 1018 0 0 25 0 1 0 892178759 13103104 2400 4294967295 134512640 134716908 3221224576 3221220824 1077410152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2400 1111 63 0 3136 0
vsize: 12796
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 394923 0 3 0 29944 1047 0 0 25 0 1 0 892178759 12419072 2320 4294967295 134512640 134716908 3221224576 3221223040 1074121018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3032 2320 1111 63 0 2969 0
vsize: 12128
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 404765 0 3 0 30917 1074 0 0 25 0 1 0 892178759 12427264 2322 4294967295 134512640 134716908 3221224576 3221222648 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2322 1111 63 0 2971 0
vsize: 12136
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 411938 0 3 0 31901 1091 0 0 25 0 1 0 892178759 13520896 2488 4294967295 134512640 134716908 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2488 1111 63 0 3238 0
vsize: 13204
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 414866 0 3 0 32894 1098 0 0 25 0 1 0 892178759 13795328 2592 4294967295 134512640 134716908 3221224576 3221220432 1074871119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2592 1111 63 0 3305 0
vsize: 13472
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 416903 0 3 0 33889 1103 0 0 25 0 1 0 892178759 13266944 2512 4294967295 134512640 134716908 3221224576 3221222536 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2512 1111 63 0 3176 0
vsize: 12956
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 419090 0 3 0 34884 1108 0 0 25 0 1 0 892178759 13762560 2603 4294967295 134512640 134716908 3221224576 3221220736 1074794554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2603 1111 63 0 3297 0
vsize: 13440
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 420760 0 3 0 35879 1113 0 0 25 0 1 0 892178759 12795904 2412 4294967295 134512640 134716908 3221224576 3221222296 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3124 2412 1111 63 0 3061 0
vsize: 12496
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 422993 0 3 0 36874 1118 0 0 25 0 1 0 892178759 13787136 2596 4294967295 134512640 134716908 3221224576 3221220432 1074867700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3366 2596 1111 63 0 3303 0
vsize: 13464
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 425346 0 3 0 37869 1124 0 0 25 0 1 0 892178759 13766656 2588 4294967295 134512640 134716908 3221224576 3221220580 1074875733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 2588 1111 63 0 3298 0
vsize: 13444
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 427556 0 3 0 38864 1129 0 0 25 0 1 0 892178759 13766656 2591 4294967295 134512640 134716908 3221224576 3221220848 1074960752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 2591 1111 63 0 3298 0
vsize: 13444
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 429713 0 3 0 39859 1134 0 0 25 0 1 0 892178759 13791232 2595 4294967295 134512640 134716908 3221224576 3221220560 1074875163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 2595 1111 63 0 3304 0
vsize: 13468
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 432176 0 3 0 40854 1139 0 0 25 0 1 0 892178759 14028800 2656 4294967295 134512640 134716908 3221224576 3221221152 1076049052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2656 1111 63 0 3362 0
vsize: 13700
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 434403 0 3 0 41850 1143 0 0 25 0 1 0 892178759 14016512 2652 4294967295 134512640 134716908 3221224576 3221220648 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2652 1111 63 0 3359 0
vsize: 13688
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 437088 0 3 0 42844 1150 0 0 25 0 1 0 892178759 13983744 2644 4294967295 134512640 134716908 3221224576 3221220432 1074868823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2644 1111 63 0 3351 0
vsize: 13656
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 439874 0 3 0 43836 1157 0 0 25 0 1 0 892178759 13996032 2647 4294967295 134512640 134716908 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2647 1111 63 0 3354 0
vsize: 13668
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 442214 0 3 0 44831 1163 0 0 25 0 1 0 892178759 13582336 2524 4294967295 134512640 134716908 3221224576 3221221520 1074620194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2524 1111 63 0 3253 0
vsize: 13264
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 444769 0 3 0 45825 1169 0 0 25 0 1 0 892178759 14020608 2653 4294967295 134512640 134716908 3221224576 3221220848 1074960881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2653 1111 63 0 3360 0
vsize: 13692
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 446881 0 3 0 46820 1174 0 0 25 0 1 0 892178759 13840384 2607 4294967295 134512640 134716908 3221224576 3221220484 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3379 2607 1111 63 0 3316 0
vsize: 13516
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 449227 0 3 0 47814 1180 0 0 25 0 1 0 892178759 13045760 2473 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2473 1111 63 0 3122 0
vsize: 12740
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 451355 0 3 0 48809 1186 0 0 25 0 1 0 892178759 13045760 2473 4294967295 134512640 134716908 3221224576 3221222312 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2473 1111 63 0 3122 0
vsize: 12740
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 453078 0 3 0 49805 1190 0 0 25 0 1 0 892178759 13045760 2473 4294967295 134512640 134716908 3221224576 3221222396 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2473 1111 63 0 3122 0
vsize: 12740
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 455060 0 3 0 50801 1194 0 0 25 0 1 0 892178759 14204928 2701 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2701 1111 63 0 3405 0
vsize: 13872
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 457396 0 3 0 51795 1200 0 0 25 0 1 0 892178759 13103104 2487 4294967295 134512640 134716908 3221224576 3221221568 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2487 1111 63 0 3136 0
vsize: 12796
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 459833 0 3 0 52790 1205 0 0 25 0 1 0 892178759 14090240 2667 4294967295 134512640 134716908 3221224576 3221221108 1075863612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2667 1111 63 0 3377 0
vsize: 13760
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 461862 0 3 0 53786 1210 0 0 25 0 1 0 892178759 14131200 2682 4294967295 134512640 134716908 3221224576 3221220544 1074872727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2682 1111 63 0 3387 0
vsize: 13800
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 464656 0 3 0 54780 1216 0 0 25 0 1 0 892178759 13086720 2483 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3195 2483 1111 63 0 3132 0
vsize: 12780
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 466949 0 3 0 55774 1222 0 0 25 0 1 0 892178759 13713408 2568 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2568 1111 63 0 3285 0
vsize: 13392
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 469089 0 3 0 56769 1227 0 0 25 0 1 0 892178759 14233600 2703 4294967295 134512640 134716908 3221224576 3221220580 1074875817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2703 1111 63 0 3412 0
vsize: 13900
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 471629 0 3 0 57763 1234 0 0 25 0 1 0 892178759 13107200 2488 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2488 1111 63 0 3137 0
vsize: 12800
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 473918 0 3 0 58758 1239 0 0 25 0 1 0 892178759 13991936 2640 4294967295 134512640 134716908 3221224576 3221220580 1074875817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2640 1111 63 0 3353 0
vsize: 13664
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 475944 0 3 0 59753 1243 0 0 25 0 1 0 892178759 13885440 2622 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2622 1111 63 0 3327 0
vsize: 13560
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 478494 0 3 0 60747 1250 0 0 25 0 1 0 892178759 13877248 2615 4294967295 134512640 134716908 3221224576 3221221580 1074621120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 2615 1111 63 0 3325 0
vsize: 13552
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 480995 0 3 0 61742 1255 0 0 25 0 1 0 892178759 14094336 2640 4294967295 134512640 134716908 3221224576 3221222584 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3441 2640 1111 63 0 3378 0
vsize: 13764
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 483322 0 3 0 62736 1261 0 0 25 0 1 0 892178759 13971456 2636 4294967295 134512640 134716908 3221224576 3221220580 1074875789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2636 1111 63 0 3348 0
vsize: 13644
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 485299 0 3 0 63731 1266 0 0 25 0 1 0 892178759 14233600 2706 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2706 1111 63 0 3412 0
vsize: 13900
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 488058 0 3 0 64725 1273 0 0 25 0 1 0 892178759 13963264 2636 4294967295 134512640 134716908 3221224576 3221220592 1075965329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3409 2636 1111 63 0 3346 0
vsize: 13636
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 490313 0 3 0 65719 1278 0 0 25 0 1 0 892178759 13299712 2514 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3247 2514 1111 63 0 3184 0
vsize: 12988
[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 492751 0 3 0 66714 1284 0 0 25 0 1 0 892178759 14237696 2706 4294967295 134512640 134716908 3221224576 3221220944 1075894505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3476 2706 1111 63 0 3413 0
vsize: 13904
[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 495216 0 3 0 67708 1290 0 0 25 0 1 0 892178759 14336000 2733 4294967295 134512640 134716908 3221224576 3221220580 1074875778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2733 1111 63 0 3437 0
vsize: 14000
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 497338 0 3 0 68704 1295 0 0 25 0 1 0 892178759 13983744 2643 4294967295 134512640 134716908 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2643 1111 63 0 3351 0
vsize: 13656
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 498973 0 3 0 69701 1298 0 0 25 0 1 0 892178759 14008320 2647 4294967295 134512640 134716908 3221224576 3221221496 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 2647 1111 63 0 3357 0
vsize: 13680
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 501177 0 3 0 70695 1303 0 0 25 0 1 0 892178759 13971456 2642 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2642 1111 63 0 3348 0
vsize: 13644
[startup+730.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 502928 0 3 0 71691 1308 0 0 25 0 1 0 892178759 14336000 2732 4294967295 134512640 134716908 3221224576 3221220432 1074871270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2732 1111 63 0 3437 0
vsize: 14000
[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 505474 0 3 0 72686 1313 0 0 25 0 1 0 892178759 13942784 2612 4294967295 134512640 134716908 3221224576 3221221560 1074831550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 2612 1111 63 0 3341 0
vsize: 13616
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 507621 0 3 0 73682 1317 0 0 25 0 1 0 892178759 14127104 2674 4294967295 134512640 134716908 3221224576 3221220580 1074875797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2674 1111 63 0 3386 0
vsize: 13796
[startup+760.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 509567 0 3 0 74678 1322 0 0 25 0 1 0 892178759 13946880 2635 4294967295 134512640 134716908 3221224576 3221220620 1074873543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2635 1111 63 0 3342 0
vsize: 13620
[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 511104 0 3 0 75674 1325 0 0 25 0 1 0 892178759 13946880 2650 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2650 1111 63 0 3342 0
vsize: 13620
[startup+780.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 513070 0 3 0 76670 1329 0 0 25 0 1 0 892178759 14057472 2647 4294967295 134512640 134716908 3221224576 3221220560 1074875123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2647 1111 63 0 3369 0
vsize: 13728
[startup+790.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 514881 0 3 0 77667 1333 0 0 25 0 1 0 892178759 14045184 2646 4294967295 134512640 134716908 3221224576 3221220580 1074875773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2646 1111 63 0 3366 0
vsize: 13716
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 516576 0 3 0 78663 1337 0 0 25 0 1 0 892178759 14045184 2644 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2644 1111 63 0 3366 0
vsize: 13716
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 518524 0 3 0 79659 1341 0 0 25 0 1 0 892178759 14057472 2648 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3432 2648 1111 63 0 3369 0
vsize: 13728
[startup+820.013 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 520675 0 3 0 80654 1347 0 0 25 0 1 0 892178759 14065664 2648 4294967295 134512640 134716908 3221224576 3221220576 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2648 1111 63 0 3371 0
vsize: 13736
[startup+830.013 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 522260 0 3 0 81650 1350 0 0 25 0 1 0 892178759 13246464 2523 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2523 1111 63 0 3171 0
vsize: 12936
[startup+840.014 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 523565 0 3 0 82648 1353 0 0 25 0 1 0 892178759 13668352 2615 4294967295 134512640 134716908 3221224576 3221221680 1074138732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3337 2615 1111 63 0 3274 0
vsize: 13348
[startup+850.014 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 525202 0 3 0 83645 1356 0 0 25 0 1 0 892178759 13246464 2523 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2523 1111 63 0 3171 0
vsize: 12936
[startup+860.015 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 527137 0 3 0 84640 1361 0 0 25 0 1 0 892178759 14045184 2656 4294967295 134512640 134716908 3221224576 3221220688 1075895674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2656 1111 63 0 3366 0
vsize: 13716
[startup+870.015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 528944 0 3 0 85636 1365 0 0 25 0 1 0 892178759 13975552 2657 4294967295 134512640 134716908 3221224576 3221220560 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2657 1111 63 0 3349 0
vsize: 13648
[startup+880.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 530424 0 3 0 86632 1370 0 0 25 0 1 0 892178759 14016512 2667 4294967295 134512640 134716908 3221224576 3221221600 1074810492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2667 1111 63 0 3359 0
vsize: 13688
[startup+890.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 532715 0 3 0 87627 1374 0 0 25 0 1 0 892178759 13844480 2669 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2669 1111 63 0 3317 0
vsize: 13520
[startup+900.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 534897 0 3 0 88622 1380 0 0 25 0 1 0 892178759 14766080 2835 4294967295 134512640 134716908 3221224576 3221220560 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2835 1111 63 0 3542 0
vsize: 14420
[startup+910.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 536989 0 3 0 89617 1385 0 0 25 0 1 0 892178759 14532608 2768 4294967295 134512640 134716908 3221224576 3221222640 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3548 2768 1111 63 0 3485 0
vsize: 14192
[startup+920.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 539171 0 3 0 90611 1391 0 0 25 0 1 0 892178759 13549568 2568 4294967295 134512640 134716908 3221224576 3221221768 1077380786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2568 1111 63 0 3245 0
vsize: 13232
[startup+930.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 541410 0 3 0 91606 1396 0 0 25 0 1 0 892178759 14716928 2821 4294967295 134512640 134716908 3221224576 3221220560 1074875123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2821 1111 63 0 3530 0
vsize: 14372
[startup+940.016 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 543238 0 3 0 92603 1399 0 0 25 0 1 0 892178759 14708736 2823 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2823 1111 63 0 3528 0
vsize: 14364
[startup+950.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 545720 0 3 0 93599 1403 0 0 25 0 1 0 892178759 14778368 2837 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3608 2837 1111 63 0 3545 0
vsize: 14432
[startup+960.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 547646 0 3 0 94594 1408 0 0 25 0 1 0 892178759 14729216 2827 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2827 1111 63 0 3533 0
vsize: 14384
[startup+970.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 549528 0 3 0 95590 1413 0 0 25 0 1 0 892178759 14729216 2824 4294967295 134512640 134716908 3221224576 3221220560 1074874996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2824 1111 63 0 3533 0
vsize: 14384
[startup+980.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 551859 0 3 0 96585 1418 0 0 25 0 1 0 892178759 14675968 2785 4294967295 134512640 134716908 3221224576 3221221640 1075007308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3583 2785 1111 63 0 3520 0
vsize: 14332
[startup+990.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 553631 0 3 0 97581 1422 0 0 25 0 1 0 892178759 14635008 2808 4294967295 134512640 134716908 3221224576 3221220544 1074872712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3573 2808 1111 63 0 3510 0
vsize: 14292
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 555839 0 3 0 98576 1427 0 0 25 0 1 0 892178759 14635008 2807 4294967295 134512640 134716908 3221224576 3221220752 1074882607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3573 2807 1111 63 0 3510 0
vsize: 14292
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 558076 0 3 0 99572 1432 0 0 25 0 1 0 892178759 14614528 2803 4294967295 134512640 134716908 3221224576 3221220432 1074869216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2803 1111 63 0 3505 0
vsize: 14272
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 560422 0 3 0 100566 1437 0 0 25 0 1 0 892178759 13549568 2569 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2569 1111 63 0 3245 0
vsize: 13232
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 562970 0 3 0 101560 1444 0 0 25 0 1 0 892178759 14614528 2797 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2797 1111 63 0 3505 0
vsize: 14272
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 565145 0 3 0 102557 1449 0 0 25 0 1 0 892178759 14655488 2809 4294967295 134512640 134716908 3221224576 3221220580 1074875790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2809 1111 63 0 3515 0
vsize: 14312
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 566880 0 3 0 103554 1452 0 0 25 0 1 0 892178759 14741504 2834 4294967295 134512640 134716908 3221224576 3221220560 1074875143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2834 1111 63 0 3536 0
vsize: 14396
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 568455 0 3 0 104550 1456 0 0 25 0 1 0 892178759 14741504 2833 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2833 1111 63 0 3536 0
vsize: 14396
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 570589 0 3 0 105545 1461 0 0 25 0 1 0 892178759 14708736 2815 4294967295 134512640 134716908 3221224576 3221220720 1074970413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2815 1111 63 0 3528 0
vsize: 14364
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 572354 0 3 0 106541 1465 0 0 25 0 1 0 892178759 13647872 2621 4294967295 134512640 134716908 3221224576 3221221960 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2621 1111 63 0 3269 0
vsize: 13328
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 574757 0 3 0 107537 1470 0 0 25 0 1 0 892178759 14700544 2820 4294967295 134512640 134716908 3221224576 3221220848 1074960847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2820 1111 63 0 3526 0
vsize: 14356
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 576751 0 3 0 108533 1474 0 0 25 0 1 0 892178759 14700544 2820 4294967295 134512640 134716908 3221224576 3221220648 1074950160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3589 2820 1111 63 0 3526 0
vsize: 14356
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 578542 0 3 0 109529 1478 0 0 25 0 1 0 892178759 14417920 2746 4294967295 134512640 134716908 3221224576 3221220912 1075114312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3520 2746 1111 63 0 3457 0
vsize: 14080
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 581015 0 3 0 110524 1483 0 0 25 0 1 0 892178759 14417920 2746 4294967295 134512640 134716908 3221224576 3221220560 1074875065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3520 2746 1111 63 0 3457 0
vsize: 14080
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 583308 0 3 0 111519 1489 0 0 25 0 1 0 892178759 14852096 2857 4294967295 134512640 134716908 3221224576 3221220580 1074875746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2857 1111 63 0 3563 0
vsize: 14504
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 585103 0 3 0 112515 1493 0 0 25 0 1 0 892178759 14249984 2768 4294967295 134512640 134716908 3221224576 3221222304 1075635468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3479 2768 1111 63 0 3416 0
vsize: 13916
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 587850 0 3 0 113509 1499 0 0 25 0 1 0 892178759 13647872 2621 4294967295 134512640 134716908 3221224576 3221222016 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2621 1111 63 0 3269 0
vsize: 13328
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 590123 0 3 0 114504 1505 0 0 25 0 1 0 892178759 14917632 2876 4294967295 134512640 134716908 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2876 1111 63 0 3579 0
vsize: 14568
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 592595 0 3 0 115499 1510 0 0 25 0 1 0 892178759 14897152 2872 4294967295 134512640 134716908 3221224576 3221221496 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2872 1111 63 0 3574 0
vsize: 14548
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 595073 0 3 0 116492 1516 0 0 25 0 1 0 892178759 14942208 2885 4294967295 134512640 134716908 3221224576 3221220432 1074868635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3648 2885 1111 63 0 3585 0
vsize: 14592
[startup+1181.71 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 7266 7265 0 -1 0 595073 0 3 0 116492 1516 0 0 25 0 1 0 892178759 14942208 2885 4294967295 134512640 134716908 3221224576 3221220432 1074868635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3648 2885 1111 63 0 3585 0
vsize: 0

Child status: 10
Real time (s): 1181.71
CPU time (s): 1181.76
CPU user time (s): 1166.59
CPU system time (s): 15.1757
CPU usage (%): 100.004
Max. virtual memory (Kb): 14592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	67
#### END VERIFIER DATA ####