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 23478

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916088 kB
Buffers:         41176 kB
Cached:          55256 kB
SwapCached:        944 kB
Active:          80460 kB
Inactive:        18412 kB
HighTotal:      131008 kB
HighFree:        74788 kB
LowTotal:       903652 kB
LowFree:        841300 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14200 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 02:13:01 (client local time) WITH STATUS 10 IN 1182.82 SECONDS
stats: 605 0 1182.82 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.372 s
c Initial Lower Bound: 62
c Lower Bound Elapsed time: 2.855
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2607 @ 27.301
c NEW SOLUTION FOUND: 2606 @ 27.405
c NEW SOLUTION FOUND: 2605 @ 27.461
c NEW SOLUTION FOUND: 2604 @ 27.517
c NEW SOLUTION FOUND: 2603 @ 27.572
c NEW SOLUTION FOUND: 2602 @ 27.628
c NEW SOLUTION FOUND: 2601 @ 27.684
c NEW SOLUTION FOUND: 2600 @ 27.74
c NEW SOLUTION FOUND: 2599 @ 27.795
c NEW SOLUTION FOUND: 2598 @ 27.851
c NEW SOLUTION FOUND: 2597 @ 27.907
c NEW SOLUTION FOUND: 2596 @ 27.963
c NEW SOLUTION FOUND: 2595 @ 28.019
c NEW SOLUTION FOUND: 2594 @ 28.074
c NEW SOLUTION FOUND: 2593 @ 28.13
c NEW SOLUTION FOUND: 2592 @ 28.186
c NEW SOLUTION FOUND: 2591 @ 28.241
c NEW SOLUTION FOUND: 2590 @ 28.298
c NEW SOLUTION FOUND: 2589 @ 28.353
c NEW SOLUTION FOUND: 2588 @ 28.409
c NEW SOLUTION FOUND: 2587 @ 28.465
c NEW SOLUTION FOUND: 2586 @ 28.521
c NEW SOLUTION FOUND: 2585 @ 28.576
c NEW SOLUTION FOUND: 2584 @ 28.632
c NEW SOLUTION FOUND: 2583 @ 28.688
c NEW SOLUTION FOUND: 2582 @ 28.743
c NEW SOLUTION FOUND: 2581 @ 28.799
c NEW SOLUTION FOUND: 2580 @ 28.855
c NEW SOLUTION FOUND: 2579 @ 28.91
c NEW SOLUTION FOUND: 2578 @ 28.966
c NEW SOLUTION FOUND: 2577 @ 29.022
c NEW SOLUTION FOUND: 2576 @ 29.077
c NEW SOLUTION FOUND: 2575 @ 29.133
c NEW SOLUTION FOUND: 2574 @ 29.189
c NEW SOLUTION FOUND: 2573 @ 29.244
c NEW SOLUTION FOUND: 2572 @ 29.3
c NEW SOLUTION FOUND: 2571 @ 29.356
c NEW SOLUTION FOUND: 2570 @ 29.411
c NEW SOLUTION FOUND: 2569 @ 29.467
c NEW SOLUTION FOUND: 2568 @ 29.523
c NEW SOLUTION FOUND: 2567 @ 29.578
c NEW SOLUTION FOUND: 2566 @ 29.634
c NEW SOLUTION FOUND: 2565 @ 29.689
c NEW SOLUTION FOUND: 2564 @ 29.745
c NEW SOLUTION FOUND: 2563 @ 29.801
c NEW SOLUTION FOUND: 2562 @ 29.856
c NEW SOLUTION FOUND: 2561 @ 29.912
c NEW SOLUTION FOUND: 2560 @ 29.968
c NEW SOLUTION FOUND: 2559 @ 30.023
c NEW SOLUTION FOUND: 2558 @ 30.079
c NEW SOLUTION FOUND: 2557 @ 30.135
c NEW SOLUTION FOUND: 2556 @ 30.191
c NEW SOLUTION FOUND: 2555 @ 30.246
c NEW SOLUTION FOUND: 2554 @ 30.303
c NEW SOLUTION FOUND: 2553 @ 30.358
c NEW SOLUTION FOUND: 2552 @ 30.414
c NEW SOLUTION FOUND: 2551 @ 30.47
c NEW SOLUTION FOUND: 2550 @ 30.526
c NEW SOLUTION FOUND: 2549 @ 30.581
c NEW SOLUTION FOUND: 2548 @ 30.637
c NEW SOLUTION FOUND: 2547 @ 30.693
c NEW SOLUTION FOUND: 2546 @ 30.749
c NEW SOLUTION FOUND: 2545 @ 30.804
c NEW SOLUTION FOUND: 2544 @ 30.86
c NEW SOLUTION FOUND: 2543 @ 30.917
c NEW SOLUTION FOUND: 2542 @ 30.973
c NEW SOLUTION FOUND: 2541 @ 31.035
c NEW SOLUTION FOUND: 2540 @ 31.097
c NEW SOLUTION FOUND: 2539 @ 31.158
c NEW SOLUTION FOUND: 2538 @ 31.219
c NEW SOLUTION FOUND: 2537 @ 31.281
c NEW SOLUTION FOUND: 2536 @ 31.342
c NEW SOLUTION FOUND: 2535 @ 31.404
c NEW SOLUTION FOUND: 2534 @ 31.465
c NEW SOLUTION FOUND: 2533 @ 31.526
c NEW SOLUTION FOUND: 2532 @ 31.588
c NEW SOLUTION FOUND: 2531 @ 31.649
c NEW SOLUTION FOUND: 2530 @ 31.71
c NEW SOLUTION FOUND: 2529 @ 31.771
c NEW SOLUTION FOUND: 2528 @ 31.833
c NEW SOLUTION FOUND: 2527 @ 31.894
c NEW SOLUTION FOUND: 2526 @ 31.955
c NEW SOLUTION FOUND: 2525 @ 32.016
c NEW SOLUTION FOUND: 2524 @ 32.078
c NEW SOLUTION FOUND: 2523 @ 32.139
c NEW SOLUTION FOUND: 2522 @ 32.2
c NEW SOLUTION FOUND: 2521 @ 32.261
c NEW SOLUTION FOUND: 2520 @ 32.323
c NEW SOLUTION FOUND: 2519 @ 32.385
c NEW SOLUTION FOUND: 2518 @ 32.446
c NEW SOLUTION FOUND: 2517 @ 32.507
c NEW SOLUTION FOUND: 2516 @ 32.568
c NEW SOLUTION FOUND: 2515 @ 32.629
c NEW SOLUTION FOUND: 2514 @ 32.691
c NEW SOLUTION FOUND: 2513 @ 32.752
c NEW SOLUTION FOUND: 2512 @ 32.813
c NEW SOLUTION FOUND: 2511 @ 32.874
c NEW SOLUTION FOUND: 2510 @ 32.935
c NEW SOLUTION FOUND: 2509 @ 32.996
c NEW SOLUTION FOUND: 2508 @ 33.058
c NEW SOLUTION FOUND: 2507 @ 33.119
c NEW SOLUTION FOUND: 2506 @ 33.18
c NEW SOLUTION FOUND: 2505 @ 33.24
c NEW SOLUTION FOUND: 2504 @ 33.301
c NEW SOLUTION FOUND: 2503 @ 33.363
c NEW SOLUTION FOUND: 2502 @ 33.424
c NEW SOLUTION FOUND: 2501 @ 33.485
c NEW SOLUTION FOUND: 2500 @ 33.546
c NEW SOLUTION FOUND: 2499 @ 33.607
c NEW SOLUTION FOUND: 2498 @ 33.668
c NEW SOLUTION FOUND: 2497 @ 33.73
c NEW SOLUTION FOUND: 2496 @ 33.791
c NEW SOLUTION FOUND: 2495 @ 33.852
c NEW SOLUTION FOUND: 2494 @ 33.913
c NEW SOLUTION FOUND: 2493 @ 33.974
c NEW SOLUTION FOUND: 2492 @ 34.035
c NEW SOLUTION FOUND: 2491 @ 34.096
c NEW SOLUTION FOUND: 2490 @ 34.157
c NEW SOLUTION FOUND: 2489 @ 34.219
c NEW SOLUTION FOUND: 2488 @ 34.28
c NEW SOLUTION FOUND: 2487 @ 34.341
c NEW SOLUTION FOUND: 2486 @ 34.402
c NEW SOLUTION FOUND: 2485 @ 34.463
c NEW SOLUTION FOUND: 2484 @ 34.525
c NEW SOLUTION FOUND: 2483 @ 34.586
c NEW SOLUTION FOUND: 2482 @ 34.647
c NEW SOLUTION FOUND: 2481 @ 34.708
c NEW SOLUTION FOUND: 2480 @ 34.769
c NEW SOLUTION FOUND: 2479 @ 34.83
c NEW SOLUTION FOUND: 2478 @ 34.891
c NEW SOLUTION FOUND: 2477 @ 34.952
c NEW SOLUTION FOUND: 2476 @ 35.013
c NEW SOLUTION FOUND: 2475 @ 35.074
c NEW SOLUTION FOUND: 2474 @ 35.135
c NEW SOLUTION FOUND: 2473 @ 35.196
c NEW SOLUTION FOUND: 2472 @ 35.257
c NEW SOLUTION FOUND: 2471 @ 35.318
c NEW SOLUTION FOUND: 2470 @ 35.379
c NEW SOLUTION FOUND: 2469 @ 35.439
c NEW SOLUTION FOUND: 2468 @ 35.5
c NEW SOLUTION FOUND: 2467 @ 35.561
c NEW SOLUTION FOUND: 2466 @ 35.622
c NEW SOLUTION FOUND: 2465 @ 35.683
c NEW SOLUTION FOUND: 2464 @ 35.744
c NEW SOLUTION FOUND: 2463 @ 35.805
c NEW SOLUTION FOUND: 2462 @ 35.866
c NEW SOLUTION FOUND: 2461 @ 35.927
c NEW SOLUTION FOUND: 2460 @ 35.988
c NEW SOLUTION FOUND: 2459 @ 36.049
c NEW SOLUTION FOUND: 2458 @ 36.11
c NEW SOLUTION FOUND: 2457 @ 36.17
c NEW SOLUTION FOUND: 2456 @ 36.231
c NEW SOLUTION FOUND: 2455 @ 36.293
c NEW SOLUTION FOUND: 2454 @ 36.354
c NEW SOLUTION FOUND: 2453 @ 36.414
c NEW SOLUTION FOUND: 2452 @ 36.475
c NEW SOLUTION FOUND: 2451 @ 36.536
c NEW SOLUTION FOUND: 2450 @ 36.597
c NEW SOLUTION FOUND: 2449 @ 36.658
c NEW SOLUTION FOUND: 2448 @ 36.719
c NEW SOLUTION FOUND: 2447 @ 36.78
c NEW SOLUTION FOUND: 2446 @ 36.841
c NEW SOLUTION FOUND: 2445 @ 36.901
c NEW SOLUTION FOUND: 2444 @ 36.962
c NEW SOLUTION FOUND: 2443 @ 37.023
c NEW SOLUTION FOUND: 2442 @ 37.084
c NEW SOLUTION FOUND: 2441 @ 37.145
c NEW SOLUTION FOUND: 2440 @ 37.206
c NEW SOLUTION FOUND: 2439 @ 37.266
c NEW SOLUTION FOUND: 2438 @ 37.327
c NEW SOLUTION FOUND: 2437 @ 37.388
c NEW SOLUTION FOUND: 2436 @ 37.449
c NEW SOLUTION FOUND: 2435 @ 37.51
c NEW SOLUTION FOUND: 2434 @ 37.571
c NEW SOLUTION FOUND: 2433 @ 37.631
c NEW SOLUTION FOUND: 2432 @ 37.692
c NEW SOLUTION FOUND: 2431 @ 37.753
c NEW SOLUTION FOUND: 2430 @ 37.814
c NEW SOLUTION FOUND: 2429 @ 37.874
c NEW SOLUTION FOUND: 2428 @ 37.935
c NEW SOLUTION FOUND: 2427 @ 37.996
c NEW SOLUTION FOUND: 2426 @ 38.056
c NEW SOLUTION FOUND: 2425 @ 38.117
c NEW SOLUTION FOUND: 2424 @ 38.178
c NEW SOLUTION FOUND: 2423 @ 38.238
c NEW SOLUTION FOUND: 2422 @ 38.358
c NEW SOLUTION FOUND: 2421 @ 38.42
c NEW SOLUTION FOUND: 2420 @ 38.482
c NEW SOLUTION FOUND: 2419 @ 38.544
c NEW SOLUTION FOUND: 2418 @ 38.606
c NEW SOLUTION FOUND: 2417 @ 38.668
c NEW SOLUTION FOUND: 2416 @ 38.73
c NEW SOLUTION FOUND: 2415 @ 38.793
c NEW SOLUTION FOUND: 2414 @ 38.855
c NEW SOLUTION FOUND: 2413 @ 38.917
c NEW SOLUTION FOUND: 2412 @ 38.979
c NEW SOLUTION FOUND: 2411 @ 39.041
c NEW SOLUTION FOUND: 2410 @ 39.103
c NEW SOLUTION FOUND: 2409 @ 39.165
c NEW SOLUTION FOUND: 2408 @ 39.227
c NEW SOLUTION FOUND: 2407 @ 39.29
c NEW SOLUTION FOUND: 2406 @ 39.352
c NEW SOLUTION FOUND: 2405 @ 39.414
c NEW SOLUTION FOUND: 2404 @ 39.476
c NEW SOLUTION FOUND: 2403 @ 39.538
c NEW SOLUTION FOUND: 2402 @ 39.6
c NEW SOLUTION FOUND: 2401 @ 39.662
c NEW SOLUTION FOUND: 2400 @ 39.724
c NEW SOLUTION FOUND: 2399 @ 39.786
c NEW SOLUTION FOUND: 2398 @ 39.848
c NEW SOLUTION FOUND: 2397 @ 39.909
c NEW SOLUTION FOUND: 2396 @ 39.971
c NEW SOLUTION FOUND: 2395 @ 40.033
c NEW SOLUTION FOUND: 2394 @ 40.095
c NEW SOLUTION FOUND: 2393 @ 40.157
c NEW SOLUTION FOUND: 2392 @ 40.219
c NEW SOLUTION FOUND: 2391 @ 40.282
c NEW SOLUTION FOUND: 2390 @ 40.344
c NEW SOLUTION FOUND: 2389 @ 40.406
c NEW SOLUTION FOUND: 2388 @ 40.468
c NEW SOLUTION FOUND: 2387 @ 40.53
c NEW SOLUTION FOUND: 2386 @ 40.592
c NEW SOLUTION FOUND: 2385 @ 40.654
c NEW SOLUTION FOUND: 2384 @ 40.716
c NEW SOLUTION FOUND: 2383 @ 40.778
c NEW SOLUTION FOUND: 2382 @ 40.84
c NEW SOLUTION FOUND: 2381 @ 40.902
c NEW SOLUTION FOUND: 2380 @ 40.964
c NEW SOLUTION FOUND: 2379 @ 41.026
c NEW SOLUTION FOUND: 2378 @ 41.088
c NEW SOLUTION FOUND: 2377 @ 41.15
c NEW SOLUTION FOUND: 2376 @ 41.211
c NEW SOLUTION FOUND: 2375 @ 41.273
c NEW SOLUTION FOUND: 2374 @ 41.335
c NEW SOLUTION FOUND: 2373 @ 41.398
c NEW SOLUTION FOUND: 2372 @ 41.459
c NEW SOLUTION FOUND: 2371 @ 41.521
c NEW SOLUTION FOUND: 2370 @ 41.583
c NEW SOLUTION FOUND: 2369 @ 41.645
c NEW SOLUTION FOUND: 2368 @ 41.707
c NEW SOLUTION FOUND: 2367 @ 41.769
c NEW SOLUTION FOUND: 2366 @ 41.831
c NEW SOLUTION FOUND: 2365 @ 41.893
c NEW SOLUTION FOUND: 2364 @ 41.955
c NEW SOLUTION FOUND: 2363 @ 42.017
c NEW SOLUTION FOUND: 2362 @ 42.079
c NEW SOLUTION FOUND: 2361 @ 42.141
c NEW SOLUTION FOUND: 2360 @ 42.203
c NEW SOLUTION FOUND: 2359 @ 42.265
c NEW SOLUTION FOUND: 2358 @ 42.327
c NEW SOLUTION FOUND: 2357 @ 42.389
c NEW SOLUTION FOUND: 2356 @ 42.451
c NEW SOLUTION FOUND: 2355 @ 42.512
c NEW SOLUTION FOUND: 2354 @ 42.575
c NEW SOLUTION FOUND: 2353 @ 42.637
c NEW SOLUTION FOUND: 2352 @ 42.699
c NEW SOLUTION FOUND: 2351 @ 42.761
c NEW SOLUTION FOUND: 2350 @ 42.823
c NEW SOLUTION FOUND: 2349 @ 42.885
c NEW SOLUTION FOUND: 2348 @ 42.947
c NEW SOLUTION FOUND: 2347 @ 43.009
c NEW SOLUTION FOUND: 2346 @ 43.071
c NEW SOLUTION FOUND: 2345 @ 43.134
c NEW SOLUTION FOUND: 2344 @ 43.197
c NEW SOLUTION FOUND: 2343 @ 43.259
c NEW SOLUTION FOUND: 2342 @ 43.322
c NEW SOLUTION FOUND: 2341 @ 43.385
c NEW SOLUTION FOUND: 2340 @ 43.448
c NEW SOLUTION FOUND: 2339 @ 43.511
c NEW SOLUTION FOUND: 2338 @ 43.573
c NEW SOLUTION FOUND: 2337 @ 43.636
c NEW SOLUTION FOUND: 2336 @ 43.698
c NEW SOLUTION FOUND: 2335 @ 43.761
c NEW SOLUTION FOUND: 2334 @ 43.824
c NEW SOLUTION FOUND: 2333 @ 43.887
c NEW SOLUTION FOUND: 2332 @ 43.949
c NEW SOLUTION FOUND: 2331 @ 44.012
c NEW SOLUTION FOUND: 2330 @ 44.074
c NEW SOLUTION FOUND: 2329 @ 44.137
c NEW SOLUTION FOUND: 2328 @ 44.199
c NEW SOLUTION FOUND: 2327 @ 44.262
c NEW SOLUTION FOUND: 2326 @ 44.324
c NEW SOLUTION FOUND: 2325 @ 44.386
c NEW SOLUTION FOUND: 2324 @ 44.448
c NEW SOLUTION FOUND: 2323 @ 44.509
c NEW SOLUTION FOUND: 2322 @ 44.571
c NEW SOLUTION FOUND: 2321 @ 44.633
c NEW SOLUTION FOUND: 2320 @ 44.694
c NEW SOLUTION FOUND: 2319 @ 44.756
c NEW SOLUTION FOUND: 2318 @ 44.817
c NEW SOLUTION FOUND: 2317 @ 44.879
c NEW SOLUTION FOUND: 2316 @ 44.941
c NEW SOLUTION FOUND: 2315 @ 45.002
c NEW SOLUTION FOUND: 2314 @ 45.064
c NEW SOLUTION FOUND: 2313 @ 45.126
c NEW SOLUTION FOUND: 2312 @ 45.187
c NEW SOLUTION FOUND: 2311 @ 45.249
c NEW SOLUTION FOUND: 2310 @ 45.31
c NEW SOLUTION FOUND: 2309 @ 45.372
c NEW SOLUTION FOUND: 2308 @ 45.433
c NEW SOLUTION FOUND: 2307 @ 45.495
c NEW SOLUTION FOUND: 2306 @ 45.557
c NEW SOLUTION FOUND: 2305 @ 45.618
c NEW SOLUTION FOUND: 2304 @ 45.68
c NEW SOLUTION FOUND: 2303 @ 45.741
c NEW SOLUTION FOUND: 2302 @ 45.803
c NEW SOLUTION FOUND: 2301 @ 45.865
c NEW SOLUTION FOUND: 2300 @ 45.926
c NEW SOLUTION FOUND: 2299 @ 45.988
c NEW SOLUTION FOUND: 2298 @ 46.049
c NEW SOLUTION FOUND: 2297 @ 46.111
c NEW SOLUTION FOUND: 2296 @ 46.172
c NEW SOLUTION FOUND: 2295 @ 46.234
c NEW SOLUTION FOUND: 2294 @ 46.296
c NEW SOLUTION FOUND: 2293 @ 46.357
c NEW SOLUTION FOUND: 2292 @ 46.419
c NEW SOLUTION FOUND: 2291 @ 46.48
c NEW SOLUTION FOUND: 2290 @ 46.541
c NEW SOLUTION FOUND: 2289 @ 46.602
c NEW SOLUTION FOUND: 2288 @ 46.664
c NEW SOLUTION FOUND: 2287 @ 46.725
c NEW SOLUTION FOUND: 2286 @ 46.787
c NEW SOLUTION FOUND: 2285 @ 46.848
c NEW SOLUTION FOUND: 2284 @ 46.909
c NEW SOLUTION FOUND: 2283 @ 46.971
c NEW SOLUTION FOUND: 2282 @ 47.032
c NEW SOLUTION FOUND: 2281 @ 47.094
c NEW SOLUTION FOUND: 2280 @ 47.155
c NEW SOLUTION FOUND: 2279 @ 47.217
c NEW SOLUTION FOUND: 2278 @ 47.278
c NEW SOLUTION FOUND: 2277 @ 47.339
c NEW SOLUTION FOUND: 2276 @ 47.401
c NEW SOLUTION FOUND: 2275 @ 47.462
c NEW SOLUTION FOUND: 2274 @ 47.524
c NEW SOLUTION FOUND: 2273 @ 47.585
c NEW SOLUTION FOUND: 2272 @ 47.647
c NEW SOLUTION FOUND: 2271 @ 47.708
c NEW SOLUTION FOUND: 2270 @ 47.769
c NEW SOLUTION FOUND: 2269 @ 47.831
c NEW SOLUTION FOUND: 2268 @ 47.892
c NEW SOLUTION FOUND: 2267 @ 47.953
c NEW SOLUTION FOUND: 2266 @ 48.015
c NEW SOLUTION FOUND: 2265 @ 48.076
c NEW SOLUTION FOUND: 2264 @ 48.137
c NEW SOLUTION FOUND: 2263 @ 48.199
c NEW SOLUTION FOUND: 2262 @ 48.261
c NEW SOLUTION FOUND: 2261 @ 48.322
c NEW SOLUTION FOUND: 2260 @ 48.383
c NEW SOLUTION FOUND: 2259 @ 48.445
c NEW SOLUTION FOUND: 2258 @ 48.506
c NEW SOLUTION FOUND: 2257 @ 48.567
c NEW SOLUTION FOUND: 2256 @ 48.629
c NEW SOLUTION FOUND: 2255 @ 48.69
c NEW SOLUTION FOUND: 2254 @ 48.752
c NEW SOLUTION FOUND: 2253 @ 48.813
c NEW SOLUTION FOUND: 2252 @ 48.874
c NEW SOLUTION FOUND: 2251 @ 48.936
c NEW SOLUTION FOUND: 2250 @ 48.997
c NEW SOLUTION FOUND: 2249 @ 49.058
c NEW SOLUTION FOUND: 2248 @ 49.12
c NEW SOLUTION FOUND: 2247 @ 49.181
c NEW SOLUTION FOUND: 2246 @ 49.242
c NEW SOLUTION FOUND: 2245 @ 49.304
c NEW SOLUTION FOUND: 2244 @ 49.365
c NEW SOLUTION FOUND: 2243 @ 49.426
c NEW SOLUTION FOUND: 2242 @ 49.487
c NEW SOLUTION FOUND: 2241 @ 49.549
c NEW SOLUTION FOUND: 2240 @ 49.61
c NEW SOLUTION FOUND: 2239 @ 49.672
c NEW SOLUTION FOUND: 2238 @ 49.733
c NEW SOLUTION FOUND: 2237 @ 49.794
c NEW SOLUTION FOUND: 2236 @ 49.855
c NEW SOLUTION FOUND: 2235 @ 49.917
c NEW SOLUTION FOUND: 2234 @ 49.978
c NEW SOLUTION FOUND: 2233 @ 50.039
c NEW SOLUTION FOUND: 2232 @ 50.1
c NEW SOLUTION FOUND: 2231 @ 50.162
c NEW SOLUTION FOUND: 2230 @ 50.223
c NEW SOLUTION FOUND: 2229 @ 50.284
c NEW SOLUTION FOUND: 2228 @ 50.346
c NEW SOLUTION FOUND: 2227 @ 50.407
c NEW SOLUTION FOUND: 2226 @ 50.468
c NEW SOLUTION FOUND: 2225 @ 50.53
c NEW SOLUTION FOUND: 2224 @ 50.591
c NEW SOLUTION FOUND: 2223 @ 50.652
c NEW SOLUTION FOUND: 2222 @ 50.713
c NEW SOLUTION FOUND: 2221 @ 50.774
c NEW SOLUTION FOUND: 2220 @ 50.835
c NEW SOLUTION FOUND: 2219 @ 50.897
c NEW SOLUTION FOUND: 2218 @ 50.958
c NEW SOLUTION FOUND: 2217 @ 51.019
c NEW SOLUTION FOUND: 2216 @ 51.08
c NEW SOLUTION FOUND: 2215 @ 51.141
c NEW SOLUTION FOUND: 2214 @ 51.202
c NEW SOLUTION FOUND: 2213 @ 51.264
c NEW SOLUTION FOUND: 2212 @ 51.325
c NEW SOLUTION FOUND: 2211 @ 51.386
c NEW SOLUTION FOUND: 2210 @ 51.447
c NEW SOLUTION FOUND: 2209 @ 51.508
c NEW SOLUTION FOUND: 2208 @ 51.569
c NEW SOLUTION FOUND: 2207 @ 51.63
c NEW SOLUTION FOUND: 2206 @ 51.692
c NEW SOLUTION FOUND: 2205 @ 51.753
c NEW SOLUTION FOUND: 2204 @ 51.814
c NEW SOLUTION FOUND: 2203 @ 51.875
c NEW SOLUTION FOUND: 2202 @ 51.936
c NEW SOLUTION FOUND: 2201 @ 51.997
c NEW SOLUTION FOUND: 2200 @ 52.058
c NEW SOLUTION FOUND: 2199 @ 52.119
c NEW SOLUTION FOUND: 2198 @ 52.18
c NEW SOLUTION FOUND: 2197 @ 52.241
c NEW SOLUTION FOUND: 2196 @ 52.303
c NEW SOLUTION FOUND: 2195 @ 52.364
c NEW SOLUTION FOUND: 2194 @ 52.425
c NEW SOLUTION FOUND: 2193 @ 52.486
c NEW SOLUTION FOUND: 2192 @ 52.547
c NEW SOLUTION FOUND: 2191 @ 52.608
c NEW SOLUTION FOUND: 2190 @ 52.67
c NEW SOLUTION FOUND: 2189 @ 52.731
c NEW SOLUTION FOUND: 2188 @ 52.792
c NEW SOLUTION FOUND: 2187 @ 52.853
c NEW SOLUTION FOUND: 2186 @ 52.914
c NEW SOLUTION FOUND: 2185 @ 52.976
c NEW SOLUTION FOUND: 2184 @ 53.036
c NEW SOLUTION FOUND: 2183 @ 53.097
c NEW SOLUTION FOUND: 2182 @ 53.157
c NEW SOLUTION FOUND: 2181 @ 53.218
c NEW SOLUTION FOUND: 2180 @ 53.279
c NEW SOLUTION FOUND: 2179 @ 53.341
c NEW SOLUTION FOUND: 2178 @ 53.402
c NEW SOLUTION FOUND: 2177 @ 53.463
c NEW SOLUTION FOUND: 2176 @ 53.524
c NEW SOLUTION FOUND: 2175 @ 53.585
c NEW SOLUTION FOUND: 2174 @ 53.646
c NEW SOLUTION FOUND: 2173 @ 53.707
c NEW SOLUTION FOUND: 2172 @ 53.768
c NEW SOLUTION FOUND: 2171 @ 53.829
c NEW SOLUTION FOUND: 2170 @ 53.89
c NEW SOLUTION FOUND: 2169 @ 53.95
c NEW SOLUTION FOUND: 2168 @ 54.011
c NEW SOLUTION FOUND: 2167 @ 54.072
c NEW SOLUTION FOUND: 2166 @ 54.133
c NEW SOLUTION FOUND: 2165 @ 54.194
c NEW SOLUTION FOUND: 2164 @ 54.255
c NEW SOLUTION FOUND: 2163 @ 54.317
c NEW SOLUTION FOUND: 2162 @ 54.378
c NEW SOLUTION FOUND: 2161 @ 54.439
c NEW SOLUTION FOUND: 2160 @ 54.5
c NEW SOLUTION FOUND: 2159 @ 54.561
c NEW SOLUTION FOUND: 2158 @ 54.622
c NEW SOLUTION FOUND: 2157 @ 54.683
c NEW SOLUTION FOUND: 2156 @ 54.744
c NEW SOLUTION FOUND: 2155 @ 54.804
c NEW SOLUTION FOUND: 2154 @ 54.865
c NEW SOLUTION FOUND: 2153 @ 54.926
c NEW SOLUTION FOUND: 2152 @ 54.987
c NEW SOLUTION FOUND: 2151 @ 55.048
c NEW SOLUTION FOUND: 2150 @ 55.109
c NEW SOLUTION FOUND: 2149 @ 55.17
c NEW SOLUTION FOUND: 2148 @ 55.23
c NEW SOLUTION FOUND: 2147 @ 55.291
c NEW SOLUTION FOUND: 2146 @ 55.352
c NEW SOLUTION FOUND: 2145 @ 55.413
c NEW SOLUTION FOUND: 2144 @ 55.474
c NEW SOLUTION FOUND: 2143 @ 55.535
c NEW SOLUTION FOUND: 2142 @ 55.595
c NEW SOLUTION FOUND: 2141 @ 55.656
c NEW SOLUTION FOUND: 2140 @ 55.717
c NEW SOLUTION FOUND: 2139 @ 55.778
c NEW SOLUTION FOUND: 2138 @ 55.839
c NEW SOLUTION FOUND: 2137 @ 55.9
c NEW SOLUTION FOUND: 2136 @ 55.96
c NEW SOLUTION FOUND: 2135 @ 56.021
c NEW SOLUTION FOUND: 2134 @ 56.082
c NEW SOLUTION FOUND: 2133 @ 56.143
c NEW SOLUTION FOUND: 2132 @ 56.204
c NEW SOLUTION FOUND: 2131 @ 56.265
c NEW SOLUTION FOUND: 2130 @ 56.326
c NEW SOLUTION FOUND: 2129 @ 56.387
c NEW SOLUTION FOUND: 2128 @ 56.447
c NEW SOLUTION FOUND: 2127 @ 56.508
c NEW SOLUTION FOUND: 2126 @ 56.569
c NEW SOLUTION FOUND: 2125 @ 56.63
c NEW SOLUTION FOUND: 2124 @ 56.69
c NEW SOLUTION FOUND: 2123 @ 56.751
c NEW SOLUTION FOUND: 2122 @ 56.812
c NEW SOLUTION FOUND: 2121 @ 56.873
c NEW SOLUTION FOUND: 2120 @ 56.933
c NEW SOLUTION FOUND: 2119 @ 56.994
c NEW SOLUTION FOUND: 2118 @ 57.055
c NEW SOLUTION FOUND: 2117 @ 57.116
c NEW SOLUTION FOUND: 2116 @ 57.177
c NEW SOLUTION FOUND: 2115 @ 57.239
c NEW SOLUTION FOUND: 2114 @ 57.3
c NEW SOLUTION FOUND: 2113 @ 57.361
c NEW SOLUTION FOUND: 2112 @ 57.422
c NEW SOLUTION FOUND: 2111 @ 57.484
c NEW SOLUTION FOUND: 2110 @ 57.545
c NEW SOLUTION FOUND: 2109 @ 57.606
c NEW SOLUTION FOUND: 2108 @ 57.667
c NEW SOLUTION FOUND: 2107 @ 57.728
c NEW SOLUTION FOUND: 2106 @ 57.789
c NEW SOLUTION FOUND: 2105 @ 57.85
c NEW SOLUTION FOUND: 2104 @ 57.912
c NEW SOLUTION FOUND: 2103 @ 57.973
c NEW SOLUTION FOUND: 2102 @ 58.034
c NEW SOLUTION FOUND: 2101 @ 58.095
c NEW SOLUTION FOUND: 2100 @ 58.156
c NEW SOLUTION FOUND: 2099 @ 58.219
c NEW SOLUTION FOUND: 2098 @ 58.28
c NEW SOLUTION FOUND: 2097 @ 58.341
c NEW SOLUTION FOUND: 2096 @ 58.402
c NEW SOLUTION FOUND: 2095 @ 58.463
c NEW SOLUTION FOUND: 2094 @ 58.524
c NEW SOLUTION FOUND: 2093 @ 58.586
c NEW SOLUTION FOUND: 2092 @ 58.647
c NEW SOLUTION FOUND: 2091 @ 58.708
c NEW SOLUTION FOUND: 2090 @ 58.769
c NEW SOLUTION FOUND: 2089 @ 58.83
c NEW SOLUTION FOUND: 2088 @ 58.891
c NEW SOLUTION FOUND: 2087 @ 58.952
c NEW SOLUTION FOUND: 2086 @ 59.013
c NEW SOLUTION FOUND: 2085 @ 59.074
c NEW SOLUTION FOUND: 2084 @ 59.135
c NEW SOLUTION FOUND: 2083 @ 59.196
c NEW SOLUTION FOUND: 2082 @ 59.257
c NEW SOLUTION FOUND: 2081 @ 59.318
c NEW SOLUTION FOUND: 2080 @ 59.379
c NEW SOLUTION FOUND: 2079 @ 59.44
c NEW SOLUTION FOUND: 2078 @ 59.501
c NEW SOLUTION FOUND: 2077 @ 59.562
c NEW SOLUTION FOUND: 2076 @ 59.623
c NEW SOLUTION FOUND: 2075 @ 59.684
c NEW SOLUTION FOUND: 2074 @ 59.745
c NEW SOLUTION FOUND: 2073 @ 59.805
c NEW SOLUTION FOUND: 2072 @ 59.865
c NEW SOLUTION FOUND: 2071 @ 59.926
c NEW SOLUTION FOUND: 2070 @ 59.987
c NEW SOLUTION FOUND: 2069 @ 60.048
c NEW SOLUTION FOUND: 2068 @ 60.109
c NEW SOLUTION FOUND: 2067 @ 60.17
c NEW SOLUTION FOUND: 2066 @ 60.231
c NEW SOLUTION FOUND: 2065 @ 60.292
c NEW SOLUTION FOUND: 2064 @ 60.353
c NEW SOLUTION FOUND: 2063 @ 60.414
c NEW SOLUTION FOUND: 2062 @ 60.475
c NEW SOLUTION FOUND: 2061 @ 60.536
c NEW SOLUTION FOUND: 2060 @ 60.597
c NEW SOLUTION FOUND: 2059 @ 60.658
c NEW SOLUTION FOUND: 2058 @ 60.719
c NEW SOLUTION FOUND: 2057 @ 60.779
c NEW SOLUTION FOUND: 2056 @ 60.84
c NEW SOLUTION FOUND: 2055 @ 60.901
c NEW SOLUTION FOUND: 2054 @ 60.962
c NEW SOLUTION FOUND: 2053 @ 61.023
c NEW SOLUTION FOUND: 2052 @ 61.083
c NEW SOLUTION FOUND: 2051 @ 61.144
c NEW SOLUTION FOUND: 2050 @ 61.205
c NEW SOLUTION FOUND: 2049 @ 61.266
c NEW SOLUTION FOUND: 2048 @ 61.327
c NEW SOLUTION FOUND: 2047 @ 61.388
c NEW SOLUTION FOUND: 2046 @ 61.449
c NEW SOLUTION FOUND: 2045 @ 61.51
c NEW SOLUTION FOUND: 2044 @ 61.57
c NEW SOLUTION FOUND: 2043 @ 61.631
c NEW SOLUTION FOUND: 2042 @ 61.692
c NEW SOLUTION FOUND: 2041 @ 61.753
c NEW SOLUTION FOUND: 2040 @ 61.814
c NEW SOLUTION FOUND: 2039 @ 61.875
c NEW SOLUTION FOUND: 2038 @ 61.935
c NEW SOLUTION FOUND: 2037 @ 61.996
c NEW SOLUTION FOUND: 2036 @ 62.057
c NEW SOLUTION FOUND: 2035 @ 62.118
c NEW SOLUTION FOUND: 2034 @ 62.178
c NEW SOLUTION FOUND: 2033 @ 62.239
c NEW SOLUTION FOUND: 2032 @ 62.3
c NEW SOLUTION FOUND: 2031 @ 62.361
c NEW SOLUTION FOUND: 2030 @ 62.422
c NEW SOLUTION FOUND: 2029 @ 62.483
c NEW SOLUTION FOUND: 2028 @ 62.543
c NEW SOLUTION FOUND: 2027 @ 62.604
c NEW SOLUTION FOUND: 2026 @ 62.665
c NEW SOLUTION FOUND: 2025 @ 62.726
c NEW SOLUTION FOUND: 2024 @ 62.786
c NEW SOLUTION FOUND: 2023 @ 62.847
c NEW SOLUTION FOUND: 2022 @ 62.908
c NEW SOLUTION FOUND: 2021 @ 62.968
c NEW SOLUTION FOUND: 2020 @ 63.029
c NEW SOLUTION FOUND: 2019 @ 63.09
c NEW SOLUTION FOUND: 2018 @ 63.15
c NEW SOLUTION FOUND: 2017 @ 63.211
c NEW SOLUTION FOUND: 2016 @ 63.272
c NEW SOLUTION FOUND: 2015 @ 63.332
c NEW SOLUTION FOUND: 2014 @ 63.393
c NEW SOLUTION FOUND: 2013 @ 63.454
c NEW SOLUTION FOUND: 2012 @ 63.514
c NEW SOLUTION FOUND: 2011 @ 63.575
c NEW SOLUTION FOUND: 2010 @ 63.635
c NEW SOLUTION FOUND: 2009 @ 63.696
c NEW SOLUTION FOUND: 2008 @ 63.757
c NEW SOLUTION FOUND: 2007 @ 63.817
c NEW SOLUTION FOUND: 2006 @ 63.878
c NEW SOLUTION FOUND: 2005 @ 63.938
c NEW SOLUTION FOUND: 2004 @ 63.999
c NEW SOLUTION FOUND: 2003 @ 64.06
c NEW SOLUTION FOUND: 2002 @ 64.12
c NEW SOLUTION FOUND: 2001 @ 64.181
c NEW SOLUTION FOUND: 2000 @ 64.241
c NEW SOLUTION FOUND: 1999 @ 64.302
c NEW SOLUTION FOUND: 1998 @ 64.363
c NEW SOLUTION FOUND: 1997 @ 64.424
c NEW SOLUTION FOUND: 1996 @ 64.484
c NEW SOLUTION FOUND: 1995 @ 64.544
c NEW SOLUTION FOUND: 1994 @ 64.605
c NEW SOLUTION FOUND: 1993 @ 64.666
c NEW SOLUTION FOUND: 1992 @ 64.726
c NEW SOLUTION FOUND: 1991 @ 64.787
c NEW SOLUTION FOUND: 1990 @ 64.847
c NEW SOLUTION FOUND: 1989 @ 64.907
c NEW SOLUTION FOUND: 1988 @ 64.968
c NEW SOLUTION FOUND: 1987 @ 65.028
c NEW SOLUTION FOUND: 1986 @ 65.089
c NEW SOLUTION FOUND: 1985 @ 65.149
c NEW SOLUTION FOUND: 1984 @ 65.21
c NEW SOLUTION FOUND: 1983 @ 65.27
c NEW SOLUTION FOUND: 1982 @ 65.331
c NEW SOLUTION FOUND: 1981 @ 65.391
c NEW SOLUTION FOUND: 1980 @ 65.452
c NEW SOLUTION FOUND: 1979 @ 65.512
c NEW SOLUTION FOUND: 1978 @ 65.573
c NEW SOLUTION FOUND: 1977 @ 65.633
c NEW SOLUTION FOUND: 1976 @ 65.693
c NEW SOLUTION FOUND: 1975 @ 65.754
c NEW SOLUTION FOUND: 1974 @ 65.814
c NEW SOLUTION FOUND: 1973 @ 65.875
c NEW SOLUTION FOUND: 1972 @ 65.935
c NEW SOLUTION FOUND: 1971 @ 65.996
c NEW SOLUTION FOUND: 1970 @ 66.057
c NEW SOLUTION FOUND: 1969 @ 66.117
c NEW SOLUTION FOUND: 1968 @ 66.177
c NEW SOLUTION FOUND: 1967 @ 66.238
c NEW SOLUTION FOUND: 1966 @ 66.298
c NEW SOLUTION FOUND: 1965 @ 66.359
c NEW SOLUTION FOUND: 1964 @ 66.418
c NEW SOLUTION FOUND: 1963 @ 66.478
c NEW SOLUTION FOUND: 1962 @ 66.539
c NEW SOLUTION FOUND: 1961 @ 66.599
c NEW SOLUTION FOUND: 1960 @ 66.659
c NEW SOLUTION FOUND: 1959 @ 66.72
c NEW SOLUTION FOUND: 1958 @ 66.78
c NEW SOLUTION FOUND: 1957 @ 66.841
c NEW SOLUTION FOUND: 1956 @ 66.901
c NEW SOLUTION FOUND: 1955 @ 66.961
c NEW SOLUTION FOUND: 1954 @ 67.021
c NEW SOLUTION FOUND: 1953 @ 67.082
c NEW SOLUTION FOUND: 1952 @ 67.142
c NEW SOLUTION FOUND: 1951 @ 67.202
c NEW SOLUTION FOUND: 1950 @ 67.263
c NEW SOLUTION FOUND: 1949 @ 67.323
c NEW SOLUTION FOUND: 1948 @ 67.383
c NEW SOLUTION FOUND: 1947 @ 67.444
c NEW SOLUTION FOUND: 1946 @ 67.504
c NEW SOLUTION FOUND: 1945 @ 67.564
c NEW SOLUTION FOUND: 1944 @ 67.625
c NEW SOLUTION FOUND: 1943 @ 67.685
c NEW SOLUTION FOUND: 1942 @ 67.745
c NEW SOLUTION FOUND: 1941 @ 67.805
c NEW SOLUTION FOUND: 1940 @ 67.866
c NEW SOLUTION FOUND: 1939 @ 67.926
c NEW SOLUTION FOUND: 1938 @ 67.986
c NEW SOLUTION FOUND: 1937 @ 68.046
c NEW SOLUTION FOUND: 1936 @ 68.107
c NEW SOLUTION FOUND: 1935 @ 68.167
c NEW SOLUTION FOUND: 1934 @ 68.227
c NEW SOLUTION FOUND: 1933 @ 68.288
c NEW SOLUTION FOUND: 1932 @ 68.348
c NEW SOLUTION FOUND: 1931 @ 68.409
c NEW SOLUTION FOUND: 1930 @ 68.469
c NEW SOLUTION FOUND: 1929 @ 68.529
c NEW SOLUTION FOUND: 1928 @ 68.589
c NEW SOLUTION FOUND: 1927 @ 68.649
c NEW SOLUTION FOUND: 1926 @ 68.71
c NEW SOLUTION FOUND: 1925 @ 68.77
c NEW SOLUTION FOUND: 1924 @ 68.83
c NEW SOLUTION FOUND: 1923 @ 68.89
c NEW SOLUTION FOUND: 1922 @ 68.951
c NEW SOLUTION FOUND: 1921 @ 69.011
c NEW SOLUTION FOUND: 1920 @ 69.071
c NEW SOLUTION FOUND: 1919 @ 69.131
c NEW SOLUTION FOUND: 1918 @ 69.191
c NEW SOLUTION FOUND: 1917 @ 69.252
c NEW SOLUTION FOUND: 1916 @ 69.312
c NEW SOLUTION FOUND: 1915 @ 69.372
c NEW SOLUTION FOUND: 1914 @ 69.432
c NEW SOLUTION FOUND: 1913 @ 69.492
c NEW SOLUTION FOUND: 1912 @ 69.552
c NEW SOLUTION FOUND: 1911 @ 69.613
c NEW SOLUTION FOUND: 1910 @ 69.673
c NEW SOLUTION FOUND: 1909 @ 69.733
c NEW SOLUTION FOUND: 1908 @ 69.793
c NEW SOLUTION FOUND: 1907 @ 69.853
c NEW SOLUTION FOUND: 1906 @ 69.913
c NEW SOLUTION FOUND: 1905 @ 69.974
c NEW SOLUTION FOUND: 1904 @ 70.034
c NEW SOLUTION FOUND: 1903 @ 70.094
c NEW SOLUTION FOUND: 1902 @ 70.154
c NEW SOLUTION FOUND: 1901 @ 70.214
c NEW SOLUTION FOUND: 1900 @ 70.275
c NEW SOLUTION FOUND: 1899 @ 70.335
c NEW SOLUTION FOUND: 1898 @ 70.395
c NEW SOLUTION FOUND: 1897 @ 70.455
c NEW SOLUTION FOUND: 1896 @ 70.515
c NEW SOLUTION FOUND: 1895 @ 70.575
c NEW SOLUTION FOUND: 1894 @ 70.635
c NEW SOLUTION FOUND: 1893 @ 70.695
c NEW SOLUTION FOUND: 1892 @ 70.755
c NEW SOLUTION FOUND: 1891 @ 70.816
c NEW SOLUTION FOUND: 1890 @ 70.876
c NEW SOLUTION FOUND: 1889 @ 70.936
c NEW SOLUTION FOUND: 1888 @ 70.996
c NEW SOLUTION FOUND: 1887 @ 71.056
c NEW SOLUTION FOUND: 1886 @ 71.116
c NEW SOLUTION FOUND: 1885 @ 71.176
c NEW SOLUTION FOUND: 1884 @ 71.236
c NEW SOLUTION FOUND: 1883 @ 71.296
c NEW SOLUTION FOUND: 1882 @ 71.356
c NEW SOLUTION FOUND: 1881 @ 71.416
c NEW SOLUTION FOUND: 1880 @ 71.476
c NEW SOLUTION FOUND: 1879 @ 71.536
c NEW SOLUTION FOUND: 1878 @ 71.596
c NEW SOLUTION FOUND: 1877 @ 71.656
c NEW SOLUTION FOUND: 1876 @ 71.716
c NEW SOLUTION FOUND: 1875 @ 71.776
c NEW SOLUTION FOUND: 1874 @ 71.836
c NEW SOLUTION FOUND: 1873 @ 71.896
c NEW SOLUTION FOUND: 1872 @ 71.956
c NEW SOLUTION FOUND: 1871 @ 72.016
c NEW SOLUTION FOUND: 1870 @ 72.076
c NEW SOLUTION FOUND: 1869 @ 72.135
c NEW SOLUTION FOUND: 1868 @ 72.195
c NEW SOLUTION FOUND: 1867 @ 72.255
c NEW SOLUTION FOUND: 1866 @ 72.315
c NEW SOLUTION FOUND: 1865 @ 72.375
c NEW SOLUTION FOUND: 1864 @ 72.435
c NEW SOLUTION FOUND: 1863 @ 72.495
c NEW SOLUTION FOUND: 1862 @ 72.555
c NEW SOLUTION FOUND: 1861 @ 72.615
c NEW SOLUTION FOUND: 1860 @ 72.675
c NEW SOLUTION FOUND: 1859 @ 72.735
c NEW SOLUTION FOUND: 1858 @ 72.794
c NEW SOLUTION FOUND: 1857 @ 72.854
c NEW SOLUTION FOUND: 1856 @ 72.914
c NEW SOLUTION FOUND: 1855 @ 72.974
c NEW SOLUTION FOUND: 1854 @ 73.033
c NEW SOLUTION FOUND: 1853 @ 73.093
c NEW SOLUTION FOUND: 1852 @ 73.152
c NEW SOLUTION FOUND: 1851 @ 73.212
c NEW SOLUTION FOUND: 1850 @ 73.272
c NEW SOLUTION FOUND: 1849 @ 73.332
c NEW SOLUTION FOUND: 1848 @ 73.391
c NEW SOLUTION FOUND: 1847 @ 73.451
c NEW SOLUTION FOUND: 1846 @ 73.511
c NEW SOLUTION FOUND: 1845 @ 73.571
c NEW SOLUTION FOUND: 1844 @ 73.632
c NEW SOLUTION FOUND: 1843 @ 73.692
c NEW SOLUTION FOUND: 1842 @ 73.752
c NEW SOLUTION FOUND: 1841 @ 73.811
c NEW SOLUTION FOUND: 1840 @ 73.871
c NEW SOLUTION FOUND: 1839 @ 73.931
c NEW SOLUTION FOUND: 1838 @ 73.99
c NEW SOLUTION FOUND: 1837 @ 74.05
c NEW SOLUTION FOUND: 1836 @ 74.11
c NEW SOLUTION FOUND: 1835 @ 74.17
c NEW SOLUTION FOUND: 1834 @ 74.229
c NEW SOLUTION FOUND: 1833 @ 74.289
c NEW SOLUTION FOUND: 1832 @ 74.349
c NEW SOLUTION FOUND: 1831 @ 74.409
c NEW SOLUTION FOUND: 1830 @ 74.469
c NEW SOLUTION FOUND: 1829 @ 74.528
c NEW SOLUTION FOUND: 1828 @ 74.588
c NEW SOLUTION FOUND: 1827 @ 74.648
c NEW SOLUTION FOUND: 1826 @ 74.707
c NEW SOLUTION FOUND: 1825 @ 74.767
c NEW SOLUTION FOUND: 1824 @ 74.827
c NEW SOLUTION FOUND: 1823 @ 74.886
c NEW SOLUTION FOUND: 1822 @ 74.946
c NEW SOLUTION FOUND: 1821 @ 75.006
c NEW SOLUTION FOUND: 1820 @ 75.065
c NEW SOLUTION FOUND: 1819 @ 75.125
c NEW SOLUTION FOUND: 1818 @ 75.185
c NEW SOLUTION FOUND: 1817 @ 75.244
c NEW SOLUTION FOUND: 1816 @ 75.304
c NEW SOLUTION FOUND: 1815 @ 75.363
c NEW SOLUTION FOUND: 1814 @ 75.423
c NEW SOLUTION FOUND: 1813 @ 75.483
c NEW SOLUTION FOUND: 1812 @ 75.542
c NEW SOLUTION FOUND: 1811 @ 75.602
c NEW SOLUTION FOUND: 1810 @ 75.661
c NEW SOLUTION FOUND: 1809 @ 75.721
c NEW SOLUTION FOUND: 1808 @ 75.781
c NEW SOLUTION FOUND: 1807 @ 75.84
c NEW SOLUTION FOUND: 1806 @ 75.9
c NEW SOLUTION FOUND: 1805 @ 75.959
c NEW SOLUTION FOUND: 1804 @ 76.019
c NEW SOLUTION FOUND: 1803 @ 76.078
c NEW SOLUTION FOUND: 1802 @ 76.138
c NEW SOLUTION FOUND: 1801 @ 76.198
c NEW SOLUTION FOUND: 1800 @ 76.257
c NEW SOLUTION FOUND: 1799 @ 76.317
c NEW SOLUTION FOUND: 1798 @ 76.377
c NEW SOLUTION FOUND: 1797 @ 76.436
c NEW SOLUTION FOUND: 1796 @ 76.496
c NEW SOLUTION FOUND: 1795 @ 76.555
c NEW SOLUTION FOUND: 1794 @ 76.615
c NEW SOLUTION FOUND: 1793 @ 76.674
c NEW SOLUTION FOUND: 1792 @ 76.734
c NEW SOLUTION FOUND: 1791 @ 76.793
c NEW SOLUTION FOUND: 1790 @ 76.853
c NEW SOLUTION FOUND: 1789 @ 76.912
c NEW SOLUTION FOUND: 1788 @ 76.972
c NEW SOLUTION FOUND: 1787 @ 77.031
c NEW SOLUTION FOUND: 1786 @ 77.09
c NEW SOLUTION FOUND: 1785 @ 77.15
c NEW SOLUTION FOUND: 1784 @ 77.209
c NEW SOLUTION FOUND: 1783 @ 77.269
c NEW SOLUTION FOUND: 1782 @ 77.328
c NEW SOLUTION FOUND: 1781 @ 77.388
c NEW SOLUTION FOUND: 1780 @ 77.447
c NEW SOLUTION FOUND: 1779 @ 77.507
c NEW SOLUTION FOUND: 1778 @ 77.566
c NEW SOLUTION FOUND: 1777 @ 77.625
c NEW SOLUTION FOUND: 1776 @ 77.685
c NEW SOLUTION FOUND: 1775 @ 77.744
c NEW SOLUTION FOUND: 1774 @ 77.803
c NEW SOLUTION FOUND: 1773 @ 77.863
c NEW SOLUTION FOUND: 1772 @ 77.922
c NEW SOLUTION FOUND: 1771 @ 77.982
c NEW SOLUTION FOUND: 1770 @ 78.041
c NEW SOLUTION FOUND: 1769 @ 78.1
c NEW SOLUTION FOUND: 1768 @ 78.16
c NEW SOLUTION FOUND: 1767 @ 78.219
c NEW SOLUTION FOUND: 1766 @ 78.279
c NEW SOLUTION FOUND: 1765 @ 78.338
c NEW SOLUTION FOUND: 1764 @ 78.397
c NEW SOLUTION FOUND: 1763 @ 78.457
c NEW SOLUTION FOUND: 1762 @ 78.516
c NEW SOLUTION FOUND: 1761 @ 78.575
c NEW SOLUTION FOUND: 1760 @ 78.635
c NEW SOLUTION FOUND: 1759 @ 78.694
c NEW SOLUTION FOUND: 1758 @ 78.753
c NEW SOLUTION FOUND: 1757 @ 78.813
c NEW SOLUTION FOUND: 1756 @ 78.872
c NEW SOLUTION FOUND: 1755 @ 78.931
c NEW SOLUTION FOUND: 1754 @ 78.991
c NEW SOLUTION FOUND: 1753 @ 79.05
c NEW SOLUTION FOUND: 1752 @ 79.109
c NEW SOLUTION FOUND: 1751 @ 79.169
c NEW SOLUTION FOUND: 1750 @ 79.228
c NEW SOLUTION FOUND: 1749 @ 79.287
c NEW SOLUTION FOUND: 1748 @ 79.346
c NEW SOLUTION FOUND: 1747 @ 79.406
c NEW SOLUTION FOUND: 1746 @ 79.465
c NEW SOLUTION FOUND: 1745 @ 79.524
c NEW SOLUTION FOUND: 1744 @ 79.583
c NEW SOLUTION FOUND: 1743 @ 79.643
c NEW SOLUTION FOUND: 1742 @ 79.701
c NEW SOLUTION FOUND: 1741 @ 79.76
c NEW SOLUTION FOUND: 1740 @ 79.819
c NEW SOLUTION FOUND: 1739 @ 79.878
c NEW SOLUTION FOUND: 1738 @ 79.938
c NEW SOLUTION FOUND: 1737 @ 79.997
c NEW SOLUTION FOUND: 1736 @ 80.056
c NEW SOLUTION FOUND: 1735 @ 80.115
c NEW SOLUTION FOUND: 1734 @ 80.174
c NEW SOLUTION FOUND: 1733 @ 80.234
c NEW SOLUTION FOUND: 1732 @ 80.293
c NEW SOLUTION FOUND: 1731 @ 80.352
c NEW SOLUTION FOUND: 1730 @ 80.412
c NEW SOLUTION FOUND: 1729 @ 80.471
c NEW SOLUTION FOUND: 1728 @ 80.53
c NEW SOLUTION FOUND: 1727 @ 80.589
c NEW SOLUTION FOUND: 1726 @ 80.648
c NEW SOLUTION FOUND: 1725 @ 80.707
c NEW SOLUTION FOUND: 1724 @ 80.767
c NEW SOLUTION FOUND: 1723 @ 80.826
c NEW SOLUTION FOUND: 1722 @ 80.885
c NEW SOLUTION FOUND: 1721 @ 80.944
c NEW SOLUTION FOUND: 1720 @ 81.003
c NEW SOLUTION FOUND: 1719 @ 81.062
c NEW SOLUTION FOUND: 1718 @ 81.121
c NEW SOLUTION FOUND: 1717 @ 81.18
c NEW SOLUTION FOUND: 1716 @ 81.239
c NEW SOLUTION FOUND: 1715 @ 81.299
c NEW SOLUTION FOUND: 1714 @ 81.358
c NEW SOLUTION FOUND: 1713 @ 81.417
c NEW SOLUTION FOUND: 1712 @ 81.476
c NEW SOLUTION FOUND: 1711 @ 81.535
c NEW SOLUTION FOUND: 1710 @ 81.594
c NEW SOLUTION FOUND: 1709 @ 81.653
c NEW SOLUTION FOUND: 1708 @ 81.712
c NEW SOLUTION FOUND: 1707 @ 81.771
c NEW SOLUTION FOUND: 1706 @ 81.83
c NEW SOLUTION FOUND: 1705 @ 81.89
c NEW SOLUTION FOUND: 1704 @ 81.949
c NEW SOLUTION FOUND: 1703 @ 82.008
c NEW SOLUTION FOUND: 1702 @ 82.067
c NEW SOLUTION FOUND: 1701 @ 82.126
c NEW SOLUTION FOUND: 1700 @ 82.185
c NEW SOLUTION FOUND: 1699 @ 82.244
c NEW SOLUTION FOUND: 1698 @ 82.303
c NEW SOLUTION FOUND: 1697 @ 82.363
c NEW SOLUTION FOUND: 1696 @ 82.422
c NEW SOLUTION FOUND: 1695 @ 82.481
c NEW SOLUTION FOUND: 1694 @ 82.54
c NEW SOLUTION FOUND: 1693 @ 82.599
c NEW SOLUTION FOUND: 1692 @ 82.658
c NEW SOLUTION FOUND: 1691 @ 82.717
c NEW SOLUTION FOUND: 1690 @ 82.776
c NEW SOLUTION FOUND: 1689 @ 82.835
c NEW SOLUTION FOUND: 1688 @ 82.894
c NEW SOLUTION FOUND: 1687 @ 82.953
c NEW SOLUTION FOUND: 1686 @ 83.012
c NEW SOLUTION FOUND: 1685 @ 83.071
c NEW SOLUTION FOUND: 1684 @ 83.13
c NEW SOLUTION FOUND: 1683 @ 83.189
c NEW SOLUTION FOUND: 1682 @ 83.248
c NEW SOLUTION FOUND: 1681 @ 83.307
c NEW SOLUTION FOUND: 1680 @ 83.366
c NEW SOLUTION FOUND: 1679 @ 83.425
c NEW SOLUTION FOUND: 1678 @ 83.484
c NEW SOLUTION FOUND: 1677 @ 83.543
c NEW SOLUTION FOUND: 1676 @ 83.602
c NEW SOLUTION FOUND: 1675 @ 83.661
c NEW SOLUTION FOUND: 1674 @ 83.72
c NEW SOLUTION FOUND: 1673 @ 83.779
c NEW SOLUTION FOUND: 1672 @ 83.838
c NEW SOLUTION FOUND: 1671 @ 83.897
c NEW SOLUTION FOUND: 1670 @ 83.956
c NEW SOLUTION FOUND: 1669 @ 84.015
c NEW SOLUTION FOUND: 1668 @ 84.074
c NEW SOLUTION FOUND: 1667 @ 84.133
c NEW SOLUTION FOUND: 1666 @ 84.192
c NEW SOLUTION FOUND: 1665 @ 84.251
c NEW SOLUTION FOUND: 1664 @ 84.31
c NEW SOLUTION FOUND: 1663 @ 84.369
c NEW SOLUTION FOUND: 1662 @ 84.428
c NEW SOLUTION FOUND: 1661 @ 84.487
c NEW SOLUTION FOUND: 1660 @ 84.546
c NEW SOLUTION FOUND: 1659 @ 84.605
c NEW SOLUTION FOUND: 1658 @ 84.663
c NEW SOLUTION FOUND: 1657 @ 84.722
c NEW SOLUTION FOUND: 1656 @ 84.781
c NEW SOLUTION FOUND: 1655 @ 84.84
c NEW SOLUTION FOUND: 1654 @ 84.899
c NEW SOLUTION FOUND: 1653 @ 84.958
c NEW SOLUTION FOUND: 1652 @ 85.017
c NEW SOLUTION FOUND: 1651 @ 85.076
c NEW SOLUTION FOUND: 1650 @ 85.135
c NEW SOLUTION FOUND: 1649 @ 85.193
c NEW SOLUTION FOUND: 1648 @ 85.252
c NEW SOLUTION FOUND: 1647 @ 85.311
c NEW SOLUTION FOUND: 1646 @ 85.37
c NEW SOLUTION FOUND: 1645 @ 85.429
c NEW SOLUTION FOUND: 1644 @ 85.488
c NEW SOLUTION FOUND: 1643 @ 85.546
c NEW SOLUTION FOUND: 1642 @ 85.605
c NEW SOLUTION FOUND: 1641 @ 85.664
c NEW SOLUTION FOUND: 1640 @ 85.723
c NEW SOLUTION FOUND: 1639 @ 85.782
c NEW SOLUTION FOUND: 1638 @ 85.841
c NEW SOLUTION FOUND: 1637 @ 85.899
c NEW SOLUTION FOUND: 1636 @ 85.958
c NEW SOLUTION FOUND: 1635 @ 86.017
c NEW SOLUTION FOUND: 1634 @ 86.076
c NEW SOLUTION FOUND: 1633 @ 86.135
c NEW SOLUTION FOUND: 1632 @ 86.194
c NEW SOLUTION FOUND: 1631 @ 86.252
c NEW SOLUTION FOUND: 1630 @ 86.31
c NEW SOLUTION FOUND: 1629 @ 86.369
c NEW SOLUTION FOUND: 1628 @ 86.428
c NEW SOLUTION FOUND: 1627 @ 86.487
c NEW SOLUTION FOUND: 1626 @ 86.546
c NEW SOLUTION FOUND: 1625 @ 86.604
c NEW SOLUTION FOUND: 1624 @ 86.663
c NEW SOLUTION FOUND: 1623 @ 86.722
c NEW SOLUTION FOUND: 1622 @ 86.781
c NEW SOLUTION FOUND: 1621 @ 86.84
c NEW SOLUTION FOUND: 1620 @ 86.898
c NEW SOLUTION FOUND: 1619 @ 86.957
c NEW SOLUTION FOUND: 1618 @ 87.016
c NEW SOLUTION FOUND: 1617 @ 87.074
c NEW SOLUTION FOUND: 1616 @ 87.133
c NEW SOLUTION FOUND: 1615 @ 87.192
c NEW SOLUTION FOUND: 1614 @ 87.251
c NEW SOLUTION FOUND: 1613 @ 87.31
c NEW SOLUTION FOUND: 1612 @ 87.368
c NEW SOLUTION FOUND: 1611 @ 87.427
c NEW SOLUTION FOUND: 1610 @ 87.486
c NEW SOLUTION FOUND: 1609 @ 87.544
c NEW SOLUTION FOUND: 1608 @ 87.603
c NEW SOLUTION FOUND: 1607 @ 87.662
c NEW SOLUTION FOUND: 1606 @ 87.72
c NEW SOLUTION FOUND: 1605 @ 87.779
c NEW SOLUTION FOUND: 1604 @ 87.838
c NEW SOLUTION FOUND: 1603 @ 87.897
c NEW SOLUTION FOUND: 1602 @ 87.955
c NEW SOLUTION FOUND: 1601 @ 88.014
c NEW SOLUTION FOUND: 1600 @ 88.073
c NEW SOLUTION FOUND: 1599 @ 88.131
c NEW SOLUTION FOUND: 1598 @ 88.19
c NEW SOLUTION FOUND: 1597 @ 88.248
c NEW SOLUTION FOUND: 1596 @ 88.307
c NEW SOLUTION FOUND: 1595 @ 88.366
c NEW SOLUTION FOUND: 1594 @ 88.424
c NEW SOLUTION FOUND: 1593 @ 88.483
c NEW SOLUTION FOUND: 1592 @ 88.542
c NEW SOLUTION FOUND: 1591 @ 88.6
c NEW SOLUTION FOUND: 1590 @ 88.659
c NEW SOLUTION FOUND: 1589 @ 88.719
c NEW SOLUTION FOUND: 1588 @ 88.778
c NEW SOLUTION FOUND: 1587 @ 88.836
c NEW SOLUTION FOUND: 1586 @ 88.895
c NEW SOLUTION FOUND: 1585 @ 88.953
c NEW SOLUTION FOUND: 1584 @ 89.012
c NEW SOLUTION FOUND: 1583 @ 89.07
c NEW SOLUTION FOUND: 1582 @ 89.129
c NEW SOLUTION FOUND: 1581 @ 89.187
c NEW SOLUTION FOUND: 1580 @ 89.246
c NEW SOLUTION FOUND: 1579 @ 89.304
c NEW SOLUTION FOUND: 1578 @ 89.363
c NEW SOLUTION FOUND: 1577 @ 89.421
c NEW SOLUTION FOUND: 1576 @ 89.48
c NEW SOLUTION FOUND: 1575 @ 89.538
c NEW SOLUTION FOUND: 1574 @ 89.597
c NEW SOLUTION FOUND: 1573 @ 89.656
c NEW SOLUTION FOUND: 1572 @ 89.714
c NEW SOLUTION FOUND: 1571 @ 89.773
c NEW SOLUTION FOUND: 1570 @ 89.831
c NEW SOLUTION FOUND: 1569 @ 89.89
c NEW SOLUTION FOUND: 1568 @ 89.948
c NEW SOLUTION FOUND: 1567 @ 90.007
c NEW SOLUTION FOUND: 1566 @ 90.067
c NEW SOLUTION FOUND: 1565 @ 90.127
c NEW SOLUTION FOUND: 1564 @ 90.186
c NEW SOLUTION FOUND: 1563 @ 90.245
c NEW SOLUTION FOUND: 1562 @ 90.305
c NEW SOLUTION FOUND: 1561 @ 90.364
c NEW SOLUTION FOUND: 1560 @ 90.424
c NEW SOLUTION FOUND: 1559 @ 90.483
c NEW SOLUTION FOUND: 1558 @ 90.543
c NEW SOLUTION FOUND: 1557 @ 90.602
c NEW SOLUTION FOUND: 1556 @ 90.661
c NEW SOLUTION FOUND: 1555 @ 90.721
c NEW SOLUTION FOUND: 1554 @ 90.78
c NEW SOLUTION FOUND: 1553 @ 90.839
c NEW SOLUTION FOUND: 1552 @ 90.899
c NEW SOLUTION FOUND: 1551 @ 90.958
c NEW SOLUTION FOUND: 1550 @ 91.017
c NEW SOLUTION FOUND: 1549 @ 91.077
c NEW SOLUTION FOUND: 1548 @ 91.136
c NEW SOLUTION FOUND: 1547 @ 91.195
c NEW SOLUTION FOUND: 1546 @ 91.254
c NEW SOLUTION FOUND: 1545 @ 91.314
c NEW SOLUTION FOUND: 1544 @ 91.373
c NEW SOLUTION FOUND: 1543 @ 91.433
c NEW SOLUTION FOUND: 1542 @ 91.492
c NEW SOLUTION FOUND: 1541 @ 91.551
c NEW SOLUTION FOUND: 1540 @ 91.611
c NEW SOLUTION FOUND: 1539 @ 91.67
c NEW SOLUTION FOUND: 1538 @ 91.729
c NEW SOLUTION FOUND: 1537 @ 91.788
c NEW SOLUTION FOUND: 1536 @ 91.848
c NEW SOLUTION FOUND: 1535 @ 91.907
c NEW SOLUTION FOUND: 1534 @ 91.966
c NEW SOLUTION FOUND: 1533 @ 92.025
c NEW SOLUTION FOUND: 1532 @ 92.084
c NEW SOLUTION FOUND: 1531 @ 92.145
c NEW SOLUTION FOUND: 1530 @ 92.204
c NEW SOLUTION FOUND: 1529 @ 92.263
c NEW SOLUTION FOUND: 1528 @ 92.324
c NEW SOLUTION FOUND: 1527 @ 92.383
c NEW SOLUTION FOUND: 1526 @ 92.442
c NEW SOLUTION FOUND: 1525 @ 92.501
c NEW SOLUTION FOUND: 1524 @ 92.56
c NEW SOLUTION FOUND: 1523 @ 92.619
c NEW SOLUTION FOUND: 1522 @ 92.678
c NEW SOLUTION FOUND: 1521 @ 92.737
c NEW SOLUTION FOUND: 1520 @ 92.796
c NEW SOLUTION FOUND: 1519 @ 92.856
c NEW SOLUTION FOUND: 1518 @ 92.915
c NEW SOLUTION FOUND: 1517 @ 92.973
c NEW SOLUTION FOUND: 1516 @ 93.032
c NEW SOLUTION FOUND: 1515 @ 93.091
c NEW SOLUTION FOUND: 1514 @ 93.15
c NEW SOLUTION FOUND: 1513 @ 93.21
c NEW SOLUTION FOUND: 1512 @ 93.269
c NEW SOLUTION FOUND: 1511 @ 93.328
c NEW SOLUTION FOUND: 1510 @ 93.387
c NEW SOLUTION FOUND: 1509 @ 93.446
c NEW SOLUTION FOUND: 1508 @ 93.505
c NEW SOLUTION FOUND: 1507 @ 93.565
c NEW SOLUTION FOUND: 1506 @ 93.624
c NEW SOLUTION FOUND: 1505 @ 93.683
c NEW SOLUTION FOUND: 1504 @ 93.742
c NEW SOLUTION FOUND: 1503 @ 93.801
c NEW SOLUTION FOUND: 1502 @ 93.86
c NEW SOLUTION FOUND: 1501 @ 93.919
c NEW SOLUTION FOUND: 1500 @ 93.978
c NEW SOLUTION FOUND: 1499 @ 94.037
c NEW SOLUTION FOUND: 1498 @ 94.097
c NEW SOLUTION FOUND: 1497 @ 94.156
c NEW SOLUTION FOUND: 1496 @ 94.215
c NEW SOLUTION FOUND: 1495 @ 94.274
c NEW SOLUTION FOUND: 1494 @ 94.333
c NEW SOLUTION FOUND: 1493 @ 94.392
c NEW SOLUTION FOUND: 1492 @ 94.451
c NEW SOLUTION FOUND: 1491 @ 94.51
c NEW SOLUTION FOUND: 1490 @ 94.569
c NEW SOLUTION FOUND: 1489 @ 94.628
c NEW SOLUTION FOUND: 1488 @ 94.687
c NEW SOLUTION FOUND: 1487 @ 94.745
c NEW SOLUTION FOUND: 1486 @ 94.804
c NEW SOLUTION FOUND: 1485 @ 94.863
c NEW SOLUTION FOUND: 1484 @ 94.922
c NEW SOLUTION FOUND: 1483 @ 94.981
c NEW SOLUTION FOUND: 1482 @ 95.04
c NEW SOLUTION FOUND: 1481 @ 95.099
c NEW SOLUTION FOUND: 1480 @ 95.158
c NEW SOLUTION FOUND: 1479 @ 95.217
c NEW SOLUTION FOUND: 1478 @ 95.276
c NEW SOLUTION FOUND: 1477 @ 95.335
c NEW SOLUTION FOUND: 1476 @ 95.395
c NEW SOLUTION FOUND: 1475 @ 95.454
c NEW SOLUTION FOUND: 1474 @ 95.513
c NEW SOLUTION FOUND: 1473 @ 95.571
c NEW SOLUTION FOUND: 1472 @ 95.63
c NEW SOLUTION FOUND: 1471 @ 95.689
c NEW SOLUTION FOUND: 1470 @ 95.748
c NEW SOLUTION FOUND: 1469 @ 95.807
c NEW SOLUTION FOUND: 1468 @ 95.866
c NEW SOLUTION FOUND: 1467 @ 95.925
c NEW SOLUTION FOUND: 1466 @ 95.983
c NEW SOLUTION FOUND: 1465 @ 96.043
c NEW SOLUTION FOUND: 1464 @ 96.101
c NEW SOLUTION FOUND: 1463 @ 96.16
c NEW SOLUTION FOUND: 1462 @ 96.219
c NEW SOLUTION FOUND: 1461 @ 96.278
c NEW SOLUTION FOUND: 1460 @ 96.337
c NEW SOLUTION FOUND: 1459 @ 96.395
c NEW SOLUTION FOUND: 1458 @ 96.454
c NEW SOLUTION FOUND: 1457 @ 96.513
c NEW SOLUTION FOUND: 1456 @ 96.572
c NEW SOLUTION FOUND: 1455 @ 96.63
c NEW SOLUTION FOUND: 1454 @ 96.689
c NEW SOLUTION FOUND: 1453 @ 96.748
c NEW SOLUTION FOUND: 1452 @ 96.807
c NEW SOLUTION FOUND: 1451 @ 96.866
c NEW SOLUTION FOUND: 1450 @ 96.924
c NEW SOLUTION FOUND: 1449 @ 96.983
c NEW SOLUTION FOUND: 1448 @ 97.042
c NEW SOLUTION FOUND: 1447 @ 97.101
c NEW SOLUTION FOUND: 1446 @ 97.16
c NEW SOLUTION FOUND: 1445 @ 97.218
c NEW SOLUTION FOUND: 1444 @ 97.277
c NEW SOLUTION FOUND: 1443 @ 97.336
c NEW SOLUTION FOUND: 1442 @ 97.395
c NEW SOLUTION FOUND: 1441 @ 97.453
c NEW SOLUTION FOUND: 1440 @ 97.512
c NEW SOLUTION FOUND: 1439 @ 97.571
c NEW SOLUTION FOUND: 1438 @ 97.63
c NEW SOLUTION FOUND: 1437 @ 97.688
c NEW SOLUTION FOUND: 1436 @ 97.747
c NEW SOLUTION FOUND: 1435 @ 97.806
c NEW SOLUTION FOUND: 1434 @ 97.865
c NEW SOLUTION FOUND: 1433 @ 97.923
c NEW SOLUTION FOUND: 1432 @ 97.982
c NEW SOLUTION FOUND: 1431 @ 98.041
c NEW SOLUTION FOUND: 1430 @ 98.099
c NEW SOLUTION FOUND: 1429 @ 98.158
c NEW SOLUTION FOUND: 1428 @ 98.217
c NEW SOLUTION FOUND: 1427 @ 98.275
c NEW SOLUTION FOUND: 1426 @ 98.334
c NEW SOLUTION FOUND: 1425 @ 98.393
c NEW SOLUTION FOUND: 1424 @ 98.452
c NEW SOLUTION FOUND: 1423 @ 98.511
c NEW SOLUTION FOUND: 1422 @ 98.569
c NEW SOLUTION FOUND: 1421 @ 98.628
c NEW SOLUTION FOUND: 1420 @ 98.686
c NEW SOLUTION FOUND: 1419 @ 98.745
c NEW SOLUTION FOUND: 1418 @ 98.803
c NEW SOLUTION FOUND: 1417 @ 98.863
c NEW SOLUTION FOUND: 1416 @ 98.921
c NEW SOLUTION FOUND: 1415 @ 98.98
c NEW SOLUTION FOUND: 1414 @ 99.038
c NEW SOLUTION FOUND: 1413 @ 99.097
c NEW SOLUTION FOUND: 1412 @ 99.156
c NEW SOLUTION FOUND: 1411 @ 99.214
c NEW SOLUTION FOUND: 1410 @ 99.273
c NEW SOLUTION FOUND: 1409 @ 99.331
c NEW SOLUTION FOUND: 1408 @ 99.39
c NEW SOLUTION FOUND: 1407 @ 99.449
c NEW SOLUTION FOUND: 1406 @ 99.507
c NEW SOLUTION FOUND: 1405 @ 99.566
c NEW SOLUTION FOUND: 1404 @ 99.623
c NEW SOLUTION FOUND: 1403 @ 99.682
c NEW SOLUTION FOUND: 1402 @ 99.741
c NEW SOLUTION FOUND: 1401 @ 99.799
c NEW SOLUTION FOUND: 1400 @ 99.858
c NEW SOLUTION FOUND: 1399 @ 99.916
c NEW SOLUTION FOUND: 1398 @ 99.976
c NEW SOLUTION FOUND: 1397 @ 100.034
c NEW SOLUTION FOUND: 1396 @ 100.093
c NEW SOLUTION FOUND: 1395 @ 100.152
c NEW SOLUTION FOUND: 1394 @ 100.21
c NEW SOLUTION FOUND: 1393 @ 100.269
c NEW SOLUTION FOUND: 1392 @ 100.327
c NEW SOLUTION FOUND: 1391 @ 100.387
c NEW SOLUTION FOUND: 1390 @ 100.445
c NEW SOLUTION FOUND: 1389 @ 100.503
c NEW SOLUTION FOUND: 1388 @ 100.562
c NEW SOLUTION FOUND: 1387 @ 100.62
c NEW SOLUTION FOUND: 1386 @ 100.679
c NEW SOLUTION FOUND: 1385 @ 100.737
c NEW SOLUTION FOUND: 1384 @ 100.796
c NEW SOLUTION FOUND: 1383 @ 100.854
c NEW SOLUTION FOUND: 1382 @ 100.913
c NEW SOLUTION FOUND: 1381 @ 100.971
c NEW SOLUTION FOUND: 1380 @ 101.031
c NEW SOLUTION FOUND: 1379 @ 101.089
c NEW SOLUTION FOUND: 1378 @ 101.147
c NEW SOLUTION FOUND: 1377 @ 101.206
c NEW SOLUTION FOUND: 1376 @ 101.264
c NEW SOLUTION FOUND: 1375 @ 101.323
c NEW SOLUTION FOUND: 1374 @ 101.381
c NEW SOLUTION FOUND: 1373 @ 101.439
c NEW SOLUTION FOUND: 1372 @ 101.498
c NEW SOLUTION FOUND: 1371 @ 101.556
c NEW SOLUTION FOUND: 1370 @ 101.615
c NEW SOLUTION FOUND: 1369 @ 101.673
c NEW SOLUTION FOUND: 1368 @ 101.732
c NEW SOLUTION FOUND: 1367 @ 101.79
c NEW SOLUTION FOUND: 1366 @ 101.848
c NEW SOLUTION FOUND: 1365 @ 101.907
c NEW SOLUTION FOUND: 1364 @ 101.965
c NEW SOLUTION FOUND: 1363 @ 102.023
c NEW SOLUTION FOUND: 1362 @ 102.082
c NEW SOLUTION FOUND: 1361 @ 102.14
c NEW SOLUTION FOUND: 1360 @ 102.198
c NEW SOLUTION FOUND: 1359 @ 102.257
c NEW SOLUTION FOUND: 1358 @ 102.315
c NEW SOLUTION FOUND: 1357 @ 102.373
c NEW SOLUTION FOUND: 1356 @ 102.432
c NEW SOLUTION FOUND: 1355 @ 102.49
c NEW SOLUTION FOUND: 1354 @ 102.549
c NEW SOLUTION FOUND: 1353 @ 102.607
c NEW SOLUTION FOUND: 1352 @ 102.665
c NEW SOLUTION FOUND: 1351 @ 102.723
c NEW SOLUTION FOUND: 1350 @ 102.782
c NEW SOLUTION FOUND: 1349 @ 102.84
c NEW SOLUTION FOUND: 1348 @ 102.898
c NEW SOLUTION FOUND: 1347 @ 102.957
c NEW SOLUTION FOUND: 1346 @ 103.015
c NEW SOLUTION FOUND: 1345 @ 103.073
c NEW SOLUTION FOUND: 1344 @ 103.132
c NEW SOLUTION FOUND: 1343 @ 103.19
c NEW SOLUTION FOUND: 1342 @ 103.248
c NEW SOLUTION FOUND: 1341 @ 103.306
c NEW SOLUTION FOUND: 1340 @ 103.365
c NEW SOLUTION FOUND: 1339 @ 103.424
c NEW SOLUTION FOUND: 1338 @ 103.482
c NEW SOLUTION FOUND: 1337 @ 103.54
c NEW SOLUTION FOUND: 1336 @ 103.598
c NEW SOLUTION FOUND: 1335 @ 103.657
c NEW SOLUTION FOUND: 1334 @ 103.716
c NEW SOLUTION FOUND: 1333 @ 103.775
c NEW SOLUTION FOUND: 1332 @ 103.833
c NEW SOLUTION FOUND: 1331 @ 103.891
c NEW SOLUTION FOUND: 1330 @ 103.949
c NEW SOLUTION FOUND: 1329 @ 104.007
c NEW SOLUTION FOUND: 1328 @ 104.066
c NEW SOLUTION FOUND: 1327 @ 104.125
c NEW SOLUTION FOUND: 1326 @ 104.183
c NEW SOLUTION FOUND: 1325 @ 104.241
c NEW SOLUTION FOUND: 1324 @ 104.299
c NEW SOLUTION FOUND: 1323 @ 104.358
c NEW SOLUTION FOUND: 1322 @ 104.416
c NEW SOLUTION FOUND: 1321 @ 104.473
c NEW SOLUTION FOUND: 1320 @ 104.53
c NEW SOLUTION FOUND: 1319 @ 104.587
c NEW SOLUTION FOUND: 1318 @ 104.645
c NEW SOLUTION FOUND: 1317 @ 104.702
c NEW SOLUTION FOUND: 1316 @ 104.759
c NEW SOLUTION FOUND: 1315 @ 104.817
c NEW SOLUTION FOUND: 1314 @ 104.874
c NEW SOLUTION FOUND: 1313 @ 104.931
c NEW SOLUTION FOUND: 1312 @ 104.988
c NEW SOLUTION FOUND: 1311 @ 105.046
c NEW SOLUTION FOUND: 1310 @ 105.103
c NEW SOLUTION FOUND: 1309 @ 105.16
c NEW SOLUTION FOUND: 1308 @ 105.217
c NEW SOLUTION FOUND: 1307 @ 105.276
c NEW SOLUTION FOUND: 1306 @ 105.333
c NEW SOLUTION FOUND: 1305 @ 105.391
c NEW SOLUTION FOUND: 1304 @ 105.448
c NEW SOLUTION FOUND: 1303 @ 105.505
c NEW SOLUTION FOUND: 1302 @ 105.563
c NEW SOLUTION FOUND: 1301 @ 105.62
c NEW SOLUTION FOUND: 1300 @ 105.677
c NEW SOLUTION FOUND: 1299 @ 105.734
c NEW SOLUTION FOUND: 1298 @ 105.792
c NEW SOLUTION FOUND: 1297 @ 105.849
c NEW SOLUTION FOUND: 1296 @ 105.906
c NEW SOLUTION FOUND: 1295 @ 105.963
c NEW SOLUTION FOUND: 1294 @ 106.021
c NEW SOLUTION FOUND: 1293 @ 106.078
c NEW SOLUTION FOUND: 1292 @ 106.135
c NEW SOLUTION FOUND: 1291 @ 106.192
c NEW SOLUTION FOUND: 1290 @ 106.249
c NEW SOLUTION FOUND: 1289 @ 106.306
c NEW SOLUTION FOUND: 1288 @ 106.363
c NEW SOLUTION FOUND: 1287 @ 106.42
c NEW SOLUTION FOUND: 1286 @ 106.478
c NEW SOLUTION FOUND: 1285 @ 106.535
c NEW SOLUTION FOUND: 1284 @ 106.592
c NEW SOLUTION FOUND: 1283 @ 106.649
c NEW SOLUTION FOUND: 1282 @ 106.707
c NEW SOLUTION FOUND: 1281 @ 106.764
c NEW SOLUTION FOUND: 1280 @ 106.821
c NEW SOLUTION FOUND: 1279 @ 106.878
c NEW SOLUTION FOUND: 1278 @ 106.935
c NEW SOLUTION FOUND: 1277 @ 106.993
c NEW SOLUTION FOUND: 1276 @ 107.05
c NEW SOLUTION FOUND: 1275 @ 107.107
c NEW SOLUTION FOUND: 1274 @ 107.164
c NEW SOLUTION FOUND: 1273 @ 107.221
c NEW SOLUTION FOUND: 1272 @ 107.278
c NEW SOLUTION FOUND: 1271 @ 107.336
c NEW SOLUTION FOUND: 1270 @ 107.393
c NEW SOLUTION FOUND: 1269 @ 107.45
c NEW SOLUTION FOUND: 1268 @ 107.507
c NEW SOLUTION FOUND: 1267 @ 107.564
c NEW SOLUTION FOUND: 1266 @ 107.621
c NEW SOLUTION FOUND: 1265 @ 107.679
c NEW SOLUTION FOUND: 1264 @ 107.736
c NEW SOLUTION FOUND: 1263 @ 107.793
c NEW SOLUTION FOUND: 1262 @ 107.85
c NEW SOLUTION FOUND: 1261 @ 107.907
c NEW SOLUTION FOUND: 1260 @ 107.964
c NEW SOLUTION FOUND: 1259 @ 108.022
c NEW SOLUTION FOUND: 1258 @ 108.079
c NEW SOLUTION FOUND: 1257 @ 108.136
c NEW SOLUTION FOUND: 1256 @ 108.193
c NEW SOLUTION FOUND: 1255 @ 108.251
c NEW SOLUTION FOUND: 1254 @ 108.308
c NEW SOLUTION FOUND: 1253 @ 108.365
c NEW SOLUTION FOUND: 1252 @ 108.422
c NEW SOLUTION FOUND: 1251 @ 108.479
c NEW SOLUTION FOUND: 1250 @ 108.536
c NEW SOLUTION FOUND: 1249 @ 108.594
c NEW SOLUTION FOUND: 1248 @ 108.651
c NEW SOLUTION FOUND: 1247 @ 108.708
c NEW SOLUTION FOUND: 1246 @ 108.765
c NEW SOLUTION FOUND: 1245 @ 108.822
c NEW SOLUTION FOUND: 1244 @ 108.879
c NEW SOLUTION FOUND: 1243 @ 108.936
c NEW SOLUTION FOUND: 1242 @ 108.993
c NEW SOLUTION FOUND: 1241 @ 109.05
c NEW SOLUTION FOUND: 1240 @ 109.107
c NEW SOLUTION FOUND: 1239 @ 109.164
c NEW SOLUTION FOUND: 1238 @ 109.221
c NEW SOLUTION FOUND: 1237 @ 109.278
c NEW SOLUTION FOUND: 1236 @ 109.335
c NEW SOLUTION FOUND: 1235 @ 109.393
c NEW SOLUTION FOUND: 1234 @ 109.45
c NEW SOLUTION FOUND: 1233 @ 109.507
c NEW SOLUTION FOUND: 1232 @ 109.564
c NEW SOLUTION FOUND: 1231 @ 109.621
c NEW SOLUTION FOUND: 1230 @ 109.678
c NEW SOLUTION FOUND: 1229 @ 109.735
c NEW SOLUTION FOUND: 1228 @ 109.792
c NEW SOLUTION FOUND: 1227 @ 109.849
c NEW SOLUTION FOUND: 1226 @ 109.906
c NEW SOLUTION FOUND: 1225 @ 109.963
c NEW SOLUTION FOUND: 1224 @ 110.02
c NEW SOLUTION FOUND: 1223 @ 110.077
c NEW SOLUTION FOUND: 1222 @ 110.134
c NEW SOLUTION FOUND: 1221 @ 110.191
c NEW SOLUTION FOUND: 1220 @ 110.248
c NEW SOLUTION FOUND: 1219 @ 110.305
c NEW SOLUTION FOUND: 1218 @ 110.362
c NEW SOLUTION FOUND: 1217 @ 110.419
c NEW SOLUTION FOUND: 1216 @ 110.476
c NEW SOLUTION FOUND: 1215 @ 110.533
c NEW SOLUTION FOUND: 1214 @ 110.59
c NEW SOLUTION FOUND: 1213 @ 110.647
c NEW SOLUTION FOUND: 1212 @ 110.704
c NEW SOLUTION FOUND: 1211 @ 110.761
c NEW SOLUTION FOUND: 1210 @ 110.818
c NEW SOLUTION FOUND: 1209 @ 110.875
c NEW SOLUTION FOUND: 1208 @ 110.931
c NEW SOLUTION FOUND: 1207 @ 110.988
c NEW SOLUTION FOUND: 1206 @ 111.045
c NEW SOLUTION FOUND: 1205 @ 111.102
c NEW SOLUTION FOUND: 1204 @ 111.159
c NEW SOLUTION FOUND: 1203 @ 111.216
c NEW SOLUTION FOUND: 1202 @ 111.273
c NEW SOLUTION FOUND: 1201 @ 111.33
c NEW SOLUTION FOUND: 1200 @ 111.387
c NEW SOLUTION FOUND: 1199 @ 111.443
c NEW SOLUTION FOUND: 1198 @ 111.5
c NEW SOLUTION FOUND: 1197 @ 111.557
c NEW SOLUTION FOUND: 1196 @ 111.614
c NEW SOLUTION FOUND: 1195 @ 111.671
c NEW SOLUTION FOUND: 1194 @ 111.728
c NEW SOLUTION FOUND: 1193 @ 111.785
c NEW SOLUTION FOUND: 1192 @ 111.841
c NEW SOLUTION FOUND: 1191 @ 111.898
c NEW SOLUTION FOUND: 1190 @ 111.955
c NEW SOLUTION FOUND: 1189 @ 112.012
c NEW SOLUTION FOUND: 1188 @ 112.069
c NEW SOLUTION FOUND: 1187 @ 112.126
c NEW SOLUTION FOUND: 1186 @ 112.182
c NEW SOLUTION FOUND: 1185 @ 112.239
c NEW SOLUTION FOUND: 1184 @ 112.296
c NEW SOLUTION FOUND: 1183 @ 112.353
c NEW SOLUTION FOUND: 1182 @ 112.41
c NEW SOLUTION FOUND: 1181 @ 112.467
c NEW SOLUTION FOUND: 1180 @ 112.524
c NEW SOLUTION FOUND: 1179 @ 112.581
c NEW SOLUTION FOUND: 1178 @ 112.637
c NEW SOLUTION FOUND: 1177 @ 112.694
c NEW SOLUTION FOUND: 1176 @ 112.751
c NEW SOLUTION FOUND: 1175 @ 112.808
c NEW SOLUTION FOUND: 1174 @ 112.864
c NEW SOLUTION FOUND: 1173 @ 112.921
c NEW SOLUTION FOUND: 1172 @ 112.977
c NEW SOLUTION FOUND: 1171 @ 113.034
c NEW SOLUTION FOUND: 1170 @ 113.091
c NEW SOLUTION FOUND: 1169 @ 113.148
c NEW SOLUTION FOUND: 1168 @ 113.204
c NEW SOLUTION FOUND: 1167 @ 113.261
c NEW SOLUTION FOUND: 1166 @ 113.318
c NEW SOLUTION FOUND: 1165 @ 113.375
c NEW SOLUTION FOUND: 1164 @ 113.432
c NEW SOLUTION FOUND: 1163 @ 113.488
c NEW SOLUTION FOUND: 1162 @ 113.545
c NEW SOLUTION FOUND: 1161 @ 113.602
c NEW SOLUTION FOUND: 1160 @ 113.658
c NEW SOLUTION FOUND: 1159 @ 113.715
c NEW SOLUTION FOUND: 1158 @ 113.772
c NEW SOLUTION FOUND: 1157 @ 113.829
c NEW SOLUTION FOUND: 1156 @ 113.885
c NEW SOLUTION FOUND: 1155 @ 113.942
c NEW SOLUTION FOUND: 1154 @ 113.998
c NEW SOLUTION FOUND: 1153 @ 114.055
c NEW SOLUTION FOUND: 1152 @ 114.112
c NEW SOLUTION FOUND: 1151 @ 114.168
c NEW SOLUTION FOUND: 1150 @ 114.225
c NEW SOLUTION FOUND: 1149 @ 114.282
c NEW SOLUTION FOUND: 1148 @ 114.339
c NEW SOLUTION FOUND: 1147 @ 114.395
c NEW SOLUTION FOUND: 1146 @ 114.452
c NEW SOLUTION FOUND: 1145 @ 114.509
c NEW SOLUTION FOUND: 1144 @ 114.565
c NEW SOLUTION FOUND: 1143 @ 114.622
c NEW SOLUTION FOUND: 1142 @ 114.678
c NEW SOLUTION FOUND: 1141 @ 114.735
c NEW SOLUTION FOUND: 1140 @ 114.792
c NEW SOLUTION FOUND: 1139 @ 114.848
c NEW SOLUTION FOUND: 1138 @ 114.905
c NEW SOLUTION FOUND: 1137 @ 114.962
c NEW SOLUTION FOUND: 1136 @ 115.018
c NEW SOLUTION FOUND: 1135 @ 115.075
c NEW SOLUTION FOUND: 1134 @ 115.131
c NEW SOLUTION FOUND: 1133 @ 115.188
c NEW SOLUTION FOUND: 1132 @ 115.244
c NEW SOLUTION FOUND: 1131 @ 115.301
c NEW SOLUTION FOUND: 1130 @ 115.357
c NEW SOLUTION FOUND: 1129 @ 115.414
c NEW SOLUTION FOUND: 1128 @ 115.47
c NEW SOLUTION FOUND: 1127 @ 115.527
c NEW SOLUTION FOUND: 1126 @ 115.583
c NEW SOLUTION FOUND: 1125 @ 115.64
c NEW SOLUTION FOUND: 1124 @ 115.696
c NEW SOLUTION FOUND: 1123 @ 115.753
c NEW SOLUTION FOUND: 1122 @ 115.809
c NEW SOLUTION FOUND: 1121 @ 115.865
c NEW SOLUTION FOUND: 1120 @ 115.922
c NEW SOLUTION FOUND: 1119 @ 115.978
c NEW SOLUTION FOUND: 1118 @ 116.035
c NEW SOLUTION FOUND: 1117 @ 116.091
c NEW SOLUTION FOUND: 1116 @ 116.148
c NEW SOLUTION FOUND: 1115 @ 116.204
c NEW SOLUTION FOUND: 1114 @ 116.261
c NEW SOLUTION FOUND: 1113 @ 116.317
c NEW SOLUTION FOUND: 1112 @ 116.374
c NEW SOLUTION FOUND: 1111 @ 116.431
c NEW SOLUTION FOUND: 1110 @ 116.487
c NEW SOLUTION FOUND: 1109 @ 116.543
c NEW SOLUTION FOUND: 1108 @ 116.6
c NEW SOLUTION FOUND: 1107 @ 116.656
c NEW SOLUTION FOUND: 1106 @ 116.713
c NEW SOLUTION FOUND: 1105 @ 116.769
c NEW SOLUTION FOUND: 1104 @ 116.825
c NEW SOLUTION FOUND: 1103 @ 116.882
c NEW SOLUTION FOUND: 1102 @ 116.938
c NEW SOLUTION FOUND: 1101 @ 116.995
c NEW SOLUTION FOUND: 1100 @ 117.051
c NEW SOLUTION FOUND: 1099 @ 117.108
c NEW SOLUTION FOUND: 1098 @ 117.164
c NEW SOLUTION FOUND: 1097 @ 117.22
c NEW SOLUTION FOUND: 1096 @ 117.277
c NEW SOLUTION FOUND: 1095 @ 117.333
c NEW SOLUTION FOUND: 1094 @ 117.389
c NEW SOLUTION FOUND: 1093 @ 117.446
c NEW SOLUTION FOUND: 1092 @ 117.503
c NEW SOLUTION FOUND: 1091 @ 117.559
c NEW SOLUTION FOUND: 1090 @ 117.615
c NEW SOLUTION FOUND: 1089 @ 117.672
c NEW SOLUTION FOUND: 1088 @ 117.728
c NEW SOLUTION FOUND: 1087 @ 117.785
c NEW SOLUTION FOUND: 1086 @ 117.841
c NEW SOLUTION FOUND: 1085 @ 117.897
c NEW SOLUTION FOUND: 1084 @ 117.954
c NEW SOLUTION FOUND: 1083 @ 118.01
c NEW SOLUTION FOUND: 1082 @ 118.066
c NEW SOLUTION FOUND: 1081 @ 118.123
c NEW SOLUTION FOUND: 1080 @ 118.179
c NEW SOLUTION FOUND: 1079 @ 118.237
c NEW SOLUTION FOUND: 1078 @ 118.293
c NEW SOLUTION FOUND: 1077 @ 118.35
c NEW SOLUTION FOUND: 1076 @ 118.406
c NEW SOLUTION FOUND: 1075 @ 118.462
c NEW SOLUTION FOUND: 1074 @ 118.519
c NEW SOLUTION FOUND: 1073 @ 118.575
c NEW SOLUTION FOUND: 1072 @ 118.632
c NEW SOLUTION FOUND: 1071 @ 118.688
c NEW SOLUTION FOUND: 1070 @ 118.744
c NEW SOLUTION FOUND: 1069 @ 118.801
c NEW SOLUTION FOUND: 1068 @ 118.857
c NEW SOLUTION FOUND: 1067 @ 118.913
c NEW SOLUTION FOUND: 1066 @ 118.969
c NEW SOLUTION FOUND: 1065 @ 119.026
c NEW SOLUTION FOUND: 1064 @ 119.082
c NEW SOLUTION FOUND: 1063 @ 119.138
c NEW SOLUTION FOUND: 1062 @ 119.195
c NEW SOLUTION FOUND: 1061 @ 119.251
c NEW SOLUTION FOUND: 1060 @ 119.307
c NEW SOLUTION FOUND: 1059 @ 119.363
c NEW SOLUTION FOUND: 1058 @ 119.42
c NEW SOLUTION FOUND: 1057 @ 119.476
c NEW SOLUTION FOUND: 1056 @ 119.531
c NEW SOLUTION FOUND: 1055 @ 119.587
c NEW SOLUTION FOUND: 1054 @ 119.644
c NEW SOLUTION FOUND: 1053 @ 119.7
c NEW SOLUTION FOUND: 1052 @ 119.756
c NEW SOLUTION FOUND: 1051 @ 119.812
c NEW SOLUTION FOUND: 1050 @ 119.869
c NEW SOLUTION FOUND: 1049 @ 119.925
c NEW SOLUTION FOUND: 1048 @ 119.981
c NEW SOLUTION FOUND: 1047 @ 120.037
c NEW SOLUTION FOUND: 1046 @ 120.093
c NEW SOLUTION FOUND: 1045 @ 120.15
c NEW SOLUTION FOUND: 1044 @ 120.206
c NEW SOLUTION FOUND: 1043 @ 120.262
c NEW SOLUTION FOUND: 1042 @ 120.318
c NEW SOLUTION FOUND: 1041 @ 120.375
c NEW SOLUTION FOUND: 1040 @ 120.431
c NEW SOLUTION FOUND: 1039 @ 120.487
c NEW SOLUTION FOUND: 1038 @ 120.543
c NEW SOLUTION FOUND: 1037 @ 120.599
c NEW SOLUTION FOUND: 1036 @ 120.656
c NEW SOLUTION FOUND: 1035 @ 120.712
c NEW SOLUTION FOUND: 1034 @ 120.768
c NEW SOLUTION FOUND: 1033 @ 120.824
c NEW SOLUTION FOUND: 1032 @ 120.88
c NEW SOLUTION FOUND: 1031 @ 120.936
c NEW SOLUTION FOUND: 1030 @ 120.993
c NEW SOLUTION FOUND: 1029 @ 121.049
c NEW SOLUTION FOUND: 1028 @ 121.105
c NEW SOLUTION FOUND: 1027 @ 121.161
c NEW SOLUTION FOUND: 1026 @ 121.217
c NEW SOLUTION FOUND: 1025 @ 121.273
c NEW SOLUTION FOUND: 1024 @ 121.329
c NEW SOLUTION FOUND: 1023 @ 121.385
c NEW SOLUTION FOUND: 1022 @ 121.442
c NEW SOLUTION FOUND: 1021 @ 121.498
c NEW SOLUTION FOUND: 1020 @ 121.554
c NEW SOLUTION FOUND: 1019 @ 121.61
c NEW SOLUTION FOUND: 1018 @ 121.666
c NEW SOLUTION FOUND: 1017 @ 121.722
c NEW SOLUTION FOUND: 1016 @ 121.778
c NEW SOLUTION FOUND: 1015 @ 121.834
c NEW SOLUTION FOUND: 1014 @ 121.89
c NEW SOLUTION FOUND: 1013 @ 121.946
c NEW SOLUTION FOUND: 1012 @ 122.002
c NEW SOLUTION FOUND: 1011 @ 122.058
c NEW SOLUTION FOUND: 1010 @ 122.114
c NEW SOLUTION FOUND: 1009 @ 122.171
c NEW SOLUTION FOUND: 1008 @ 122.227
c NEW SOLUTION FOUND: 1007 @ 122.283
c NEW SOLUTION FOUND: 1006 @ 122.339
c NEW SOLUTION FOUND: 1005 @ 122.395
c NEW SOLUTION FOUND: 1004 @ 122.451
c NEW SOLUTION FOUND: 1003 @ 122.508
c NEW SOLUTION FOUND: 1002 @ 122.563
c NEW SOLUTION FOUND: 1001 @ 122.619
c NEW SOLUTION FOUND: 1000 @ 122.675
c NEW SOLUTION FOUND: 999 @ 122.731
c NEW SOLUTION FOUND: 998 @ 122.787
c NEW SOLUTION FOUND: 997 @ 122.843
c NEW SOLUTION FOUND: 996 @ 122.899
c NEW SOLUTION FOUND: 995 @ 122.955
c NEW SOLUTION FOUND: 994 @ 123.011
c NEW SOLUTION FOUND: 993 @ 123.067
c NEW SOLUTION FOUND: 992 @ 123.123
c NEW SOLUTION FOUND: 991 @ 123.179
c NEW SOLUTION FOUND: 990 @ 123.235
c NEW SOLUTION FOUND: 989 @ 123.291
c NEW SOLUTION FOUND: 988 @ 123.347
c NEW SOLUTION FOUND: 987 @ 123.403
c NEW SOLUTION FOUND: 986 @ 123.459
c NEW SOLUTION FOUND: 985 @ 123.515
c NEW SOLUTION FOUND: 984 @ 123.571
c NEW SOLUTION FOUND: 983 @ 123.626
c NEW SOLUTION FOUND: 982 @ 123.682
c NEW SOLUTION FOUND: 981 @ 123.738
c NEW SOLUTION FOUND: 980 @ 123.794
c NEW SOLUTION FOUND: 979 @ 123.85
c NEW SOLUTION FOUND: 978 @ 123.906
c NEW SOLUTION FOUND: 977 @ 123.962
c NEW SOLUTION FOUND: 976 @ 124.018
c NEW SOLUTION FOUND: 975 @ 124.074
c NEW SOLUTION FOUND: 974 @ 124.129
c NEW SOLUTION FOUND: 973 @ 124.185
c NEW SOLUTION FOUND: 972 @ 124.241
c NEW SOLUTION FOUND: 971 @ 124.297
c NEW SOLUTION FOUND: 970 @ 124.353
c NEW SOLUTION FOUND: 969 @ 124.409
c NEW SOLUTION FOUND: 968 @ 124.465
c NEW SOLUTION FOUND: 967 @ 124.521
c NEW SOLUTION FOUND: 966 @ 124.577
c NEW SOLUTION FOUND: 965 @ 124.632
c NEW SOLUTION FOUND: 964 @ 124.688
c NEW SOLUTION FOUND: 963 @ 124.744
c NEW SOLUTION FOUND: 962 @ 124.8
c NEW SOLUTION FOUND: 961 @ 124.855
c NEW SOLUTION FOUND: 960 @ 124.911
c NEW SOLUTION FOUND: 959 @ 124.967
c NEW SOLUTION FOUND: 958 @ 125.023
c NEW SOLUTION FOUND: 957 @ 125.079
c NEW SOLUTION FOUND: 956 @ 125.134
c NEW SOLUTION FOUND: 955 @ 125.19
c NEW SOLUTION FOUND: 954 @ 125.246
c NEW SOLUTION FOUND: 953 @ 125.302
c NEW SOLUTION FOUND: 952 @ 125.357
c NEW SOLUTION FOUND: 951 @ 125.413
c NEW SOLUTION FOUND: 950 @ 125.469
c NEW SOLUTION FOUND: 949 @ 125.525
c NEW SOLUTION FOUND: 948 @ 125.58
c NEW SOLUTION FOUND: 947 @ 125.636
c NEW SOLUTION FOUND: 946 @ 125.692
c NEW SOLUTION FOUND: 945 @ 125.747
c NEW SOLUTION FOUND: 944 @ 125.803
c NEW SOLUTION FOUND: 943 @ 125.859
c NEW SOLUTION FOUND: 942 @ 125.915
c NEW SOLUTION FOUND: 941 @ 125.97
c NEW SOLUTION FOUND: 940 @ 126.026
c NEW SOLUTION FOUND: 939 @ 126.082
c NEW SOLUTION FOUND: 938 @ 126.137
c NEW SOLUTION FOUND: 937 @ 126.192
c NEW SOLUTION FOUND: 936 @ 126.248
c NEW SOLUTION FOUND: 935 @ 126.304
c NEW SOLUTION FOUND: 934 @ 126.36
c NEW SOLUTION FOUND: 933 @ 126.415
c NEW SOLUTION FOUND: 932 @ 126.471
c NEW SOLUTION FOUND: 931 @ 126.527
c NEW SOLUTION FOUND: 930 @ 126.582
c NEW SOLUTION FOUND: 929 @ 126.638
c NEW SOLUTION FOUND: 928 @ 126.694
c NEW SOLUTION FOUND: 927 @ 126.749
c NEW SOLUTION FOUND: 926 @ 126.805
c NEW SOLUTION FOUND: 925 @ 126.86
c NEW SOLUTION FOUND: 924 @ 126.916
c NEW SOLUTION FOUND: 923 @ 126.972
c NEW SOLUTION FOUND: 922 @ 127.027
c NEW SOLUTION FOUND: 921 @ 127.083
c NEW SOLUTION FOUND: 920 @ 127.138
c NEW SOLUTION FOUND: 919 @ 127.194
c NEW SOLUTION FOUND: 918 @ 127.25
c NEW SOLUTION FOUND: 917 @ 127.305
c NEW SOLUTION FOUND: 916 @ 127.361
c NEW SOLUTION FOUND: 915 @ 127.416
c NEW SOLUTION FOUND: 914 @ 127.472
c NEW SOLUTION FOUND: 913 @ 127.527
c NEW SOLUTION FOUND: 912 @ 127.583
c NEW SOLUTION FOUND: 911 @ 127.638
c NEW SOLUTION FOUND: 910 @ 127.694
c NEW SOLUTION FOUND: 909 @ 127.75
c NEW SOLUTION FOUND: 908 @ 127.805
c NEW SOLUTION FOUND: 907 @ 127.861
c NEW SOLUTION FOUND: 906 @ 127.916
c NEW SOLUTION FOUND: 905 @ 127.972
c NEW SOLUTION FOUND: 904 @ 128.027
c NEW SOLUTION FOUND: 903 @ 128.083
c NEW SOLUTION FOUND: 902 @ 128.138
c NEW SOLUTION FOUND: 901 @ 128.194
c NEW SOLUTION FOUND: 900 @ 128.249
c NEW SOLUTION FOUND: 899 @ 128.305
c NEW SOLUTION FOUND: 898 @ 128.361
c NEW SOLUTION FOUND: 897 @ 128.416
c NEW SOLUTION FOUND: 896 @ 128.472
c NEW SOLUTION FOUND: 895 @ 128.527
c NEW SOLUTION FOUND: 894 @ 128.583
c NEW SOLUTION FOUND: 893 @ 128.638
c NEW SOLUTION FOUND: 892 @ 128.694
c NEW SOLUTION FOUND: 891 @ 128.749
c NEW SOLUTION FOUND: 890 @ 128.805
c NEW SOLUTION FOUND: 889 @ 128.86
c NEW SOLUTION FOUND: 888 @ 128.916
c NEW SOLUTION FOUND: 887 @ 128.971
c NEW SOLUTION FOUND: 886 @ 129.026
c NEW SOLUTION FOUND: 885 @ 129.082
c NEW SOLUTION FOUND: 884 @ 129.137
c NEW SOLUTION FOUND: 883 @ 129.193
c NEW SOLUTION FOUND: 882 @ 129.248
c NEW SOLUTION FOUND: 881 @ 129.304
c NEW SOLUTION FOUND: 880 @ 129.359
c NEW SOLUTION FOUND: 879 @ 129.414
c NEW SOLUTION FOUND: 878 @ 129.47
c NEW SOLUTION FOUND: 877 @ 129.525
c NEW SOLUTION FOUND: 876 @ 129.581
c NEW SOLUTION FOUND: 875 @ 129.636
c NEW SOLUTION FOUND: 874 @ 129.692
c NEW SOLUTION FOUND: 873 @ 129.747
c NEW SOLUTION FOUND: 872 @ 129.802
c NEW SOLUTION FOUND: 871 @ 129.858
c NEW SOLUTION FOUND: 870 @ 129.913
c NEW SOLUTION FOUND: 869 @ 129.969
c NEW SOLUTION FOUND: 868 @ 130.024
c NEW SOLUTION FOUND: 867 @ 130.08
c NEW SOLUTION FOUND: 866 @ 130.135
c NEW SOLUTION FOUND: 865 @ 130.19
c NEW SOLUTION FOUND: 864 @ 130.246
c NEW SOLUTION FOUND: 863 @ 130.302
c NEW SOLUTION FOUND: 862 @ 130.357
c NEW SOLUTION FOUND: 861 @ 130.412
c NEW SOLUTION FOUND: 860 @ 130.468
c NEW SOLUTION FOUND: 859 @ 130.523
c NEW SOLUTION FOUND: 858 @ 130.579
c NEW SOLUTION FOUND: 857 @ 130.634
c NEW SOLUTION FOUND: 856 @ 130.689
c NEW SOLUTION FOUND: 855 @ 130.745
c NEW SOLUTION FOUND: 854 @ 130.8
c NEW SOLUTION FOUND: 853 @ 130.855
c NEW SOLUTION FOUND: 852 @ 130.911
c NEW SOLUTION FOUND: 851 @ 130.966
c NEW SOLUTION FOUND: 850 @ 131.021
c NEW SOLUTION FOUND: 849 @ 131.077
c NEW SOLUTION FOUND: 848 @ 131.132
c NEW SOLUTION FOUND: 847 @ 131.187
c NEW SOLUTION FOUND: 846 @ 131.243
c NEW SOLUTION FOUND: 845 @ 131.298
c NEW SOLUTION FOUND: 844 @ 131.353
c NEW SOLUTION FOUND: 843 @ 131.409
c NEW SOLUTION FOUND: 842 @ 131.464
c NEW SOLUTION FOUND: 841 @ 131.519
c NEW SOLUTION FOUND: 840 @ 131.575
c NEW SOLUTION FOUND: 839 @ 131.63
c NEW SOLUTION FOUND: 838 @ 131.685
c NEW SOLUTION FOUND: 837 @ 131.741
c NEW SOLUTION FOUND: 836 @ 131.796
c NEW SOLUTION FOUND: 835 @ 131.851
c NEW SOLUTION FOUND: 834 @ 131.907
c NEW SOLUTION FOUND: 833 @ 131.962
c NEW SOLUTION FOUND: 832 @ 132.017
c NEW SOLUTION FOUND: 831 @ 132.072
c NEW SOLUTION FOUND: 830 @ 132.128
c NEW SOLUTION FOUND: 829 @ 132.183
c NEW SOLUTION FOUND: 828 @ 132.238
c NEW SOLUTION FOUND: 827 @ 132.294
c NEW SOLUTION FOUND: 826 @ 132.349
c NEW SOLUTION FOUND: 825 @ 132.405
c NEW SOLUTION FOUND: 824 @ 132.461
c NEW SOLUTION FOUND: 823 @ 132.517
c NEW SOLUTION FOUND: 822 @ 132.572
c NEW SOLUTION FOUND: 821 @ 132.627
c NEW SOLUTION FOUND: 820 @ 132.682
c NEW SOLUTION FOUND: 819 @ 132.738
c NEW SOLUTION FOUND: 818 @ 132.793
c NEW SOLUTION FOUND: 817 @ 132.847
c NEW SOLUTION FOUND: 816 @ 132.903
c NEW SOLUTION FOUND: 815 @ 132.958
c NEW SOLUTION FOUND: 814 @ 133.013
c NEW SOLUTION FOUND: 813 @ 133.068
c NEW SOLUTION FOUND: 812 @ 133.123
c NEW SOLUTION FOUND: 811 @ 133.179
c NEW SOLUTION FOUND: 810 @ 133.234
c NEW SOLUTION FOUND: 809 @ 133.289
c NEW SOLUTION FOUND: 808 @ 133.344
c NEW SOLUTION FOUND: 807 @ 133.399
c NEW SOLUTION FOUND: 806 @ 133.455
c NEW SOLUTION FOUND: 805 @ 133.51
c NEW SOLUTION FOUND: 804 @ 133.565
c NEW SOLUTION FOUND: 803 @ 133.62
c NEW SOLUTION FOUND: 802 @ 133.676
c NEW SOLUTION FOUND: 801 @ 133.731
c NEW SOLUTION FOUND: 800 @ 133.786
c NEW SOLUTION FOUND: 799 @ 133.841
c NEW SOLUTION FOUND: 798 @ 133.896
c NEW SOLUTION FOUND: 797 @ 133.952
c NEW SOLUTION FOUND: 796 @ 134.007
c NEW SOLUTION FOUND: 795 @ 134.062
c NEW SOLUTION FOUND: 794 @ 134.117
c NEW SOLUTION FOUND: 793 @ 134.173
c NEW SOLUTION FOUND: 792 @ 134.228
c NEW SOLUTION FOUND: 791 @ 134.283
c NEW SOLUTION FOUND: 790 @ 134.339
c NEW SOLUTION FOUND: 789 @ 134.394
c NEW SOLUTION FOUND: 788 @ 134.449
c NEW SOLUTION FOUND: 787 @ 134.504
c NEW SOLUTION FOUND: 786 @ 134.559
c NEW SOLUTION FOUND: 785 @ 134.615
c NEW SOLUTION FOUND: 784 @ 134.67
c NEW SOLUTION FOUND: 783 @ 134.725
c NEW SOLUTION FOUND: 782 @ 134.78
c NEW SOLUTION FOUND: 781 @ 134.835
c NEW SOLUTION FOUND: 780 @ 134.89
c NEW SOLUTION FOUND: 779 @ 134.946
c NEW SOLUTION FOUND: 778 @ 135.001
c NEW SOLUTION FOUND: 777 @ 135.056
c NEW SOLUTION FOUND: 776 @ 135.111
c NEW SOLUTION FOUND: 775 @ 135.166
c NEW SOLUTION FOUND: 774 @ 135.221
c NEW SOLUTION FOUND: 773 @ 135.276
c NEW SOLUTION FOUND: 772 @ 135.331
c NEW SOLUTION FOUND: 771 @ 135.387
c NEW SOLUTION FOUND: 770 @ 135.442
c NEW SOLUTION FOUND: 769 @ 135.497
c NEW SOLUTION FOUND: 768 @ 135.552
c NEW SOLUTION FOUND: 767 @ 135.607
c NEW SOLUTION FOUND: 766 @ 135.662
c NEW SOLUTION FOUND: 765 @ 135.717
c NEW SOLUTION FOUND: 764 @ 135.772
c NEW SOLUTION FOUND: 763 @ 135.827
c NEW SOLUTION FOUND: 762 @ 135.882
c NEW SOLUTION FOUND: 761 @ 135.937
c NEW SOLUTION FOUND: 760 @ 135.993
c NEW SOLUTION FOUND: 759 @ 136.048
c NEW SOLUTION FOUND: 758 @ 136.103
c NEW SOLUTION FOUND: 757 @ 136.158
c NEW SOLUTION FOUND: 756 @ 136.213
c NEW SOLUTION FOUND: 755 @ 136.269
c NEW SOLUTION FOUND: 754 @ 136.324
c NEW SOLUTION FOUND: 753 @ 136.379
c NEW SOLUTION FOUND: 752 @ 136.434
c NEW SOLUTION FOUND: 751 @ 136.489
c NEW SOLUTION FOUND: 750 @ 136.544
c NEW SOLUTION FOUND: 749 @ 136.6
c NEW SOLUTION FOUND: 748 @ 136.655
c NEW SOLUTION FOUND: 747 @ 136.71
c NEW SOLUTION FOUND: 746 @ 136.764
c NEW SOLUTION FOUND: 745 @ 136.819
c NEW SOLUTION FOUND: 744 @ 136.874
c NEW SOLUTION FOUND: 743 @ 136.93
c NEW SOLUTION FOUND: 742 @ 136.984
c NEW SOLUTION FOUND: 741 @ 137.04
c NEW SOLUTION FOUND: 740 @ 137.094
c NEW SOLUTION FOUND: 739 @ 137.149
c NEW SOLUTION FOUND: 738 @ 137.204
c NEW SOLUTION FOUND: 737 @ 137.259
c NEW SOLUTION FOUND: 736 @ 137.314
c NEW SOLUTION FOUND: 735 @ 137.37
c NEW SOLUTION FOUND: 734 @ 137.424
c NEW SOLUTION FOUND: 733 @ 137.479
c NEW SOLUTION FOUND: 732 @ 137.534
c NEW SOLUTION FOUND: 731 @ 137.589
c NEW SOLUTION FOUND: 730 @ 137.644
c NEW SOLUTION FOUND: 729 @ 137.699
c NEW SOLUTION FOUND: 728 @ 137.754
c NEW SOLUTION FOUND: 727 @ 137.809
c NEW SOLUTION FOUND: 726 @ 137.864
c NEW SOLUTION FOUND: 725 @ 137.919
c NEW SOLUTION FOUND: 724 @ 137.974
c NEW SOLUTION FOUND: 723 @ 138.029
c NEW SOLUTION FOUND: 722 @ 138.084
c NEW SOLUTION FOUND: 721 @ 138.139
c NEW SOLUTION FOUND: 720 @ 138.193
c NEW SOLUTION FOUND: 719 @ 138.248
c NEW SOLUTION FOUND: 718 @ 138.304
c NEW SOLUTION FOUND: 717 @ 138.359
c NEW SOLUTION FOUND: 716 @ 138.413
c NEW SOLUTION FOUND: 715 @ 138.469
c NEW SOLUTION FOUND: 714 @ 138.523
c NEW SOLUTION FOUND: 713 @ 138.578
c NEW SOLUTION FOUND: 712 @ 138.633
c NEW SOLUTION FOUND: 711 @ 138.688
c NEW SOLUTION FOUND: 710 @ 138.743
c NEW SOLUTION FOUND: 709 @ 138.798
c NEW SOLUTION FOUND: 708 @ 138.853
c NEW SOLUTION FOUND: 707 @ 138.908
c NEW SOLUTION FOUND: 706 @ 138.962
c NEW SOLUTION FOUND: 705 @ 139.017
c NEW SOLUTION FOUND: 704 @ 139.072
c NEW SOLUTION FOUND: 703 @ 139.127
c NEW SOLUTION FOUND: 702 @ 139.182
c NEW SOLUTION FOUND: 701 @ 139.237
c NEW SOLUTION FOUND: 700 @ 139.291
c NEW SOLUTION FOUND: 699 @ 139.346
c NEW SOLUTION FOUND: 698 @ 139.401
c NEW SOLUTION FOUND: 697 @ 139.455
c NEW SOLUTION FOUND: 696 @ 139.51
c NEW SOLUTION FOUND: 695 @ 139.565
c NEW SOLUTION FOUND: 694 @ 139.619
c NEW SOLUTION FOUND: 693 @ 139.674
c NEW SOLUTION FOUND: 692 @ 139.729
c NEW SOLUTION FOUND: 691 @ 139.784
c NEW SOLUTION FOUND: 690 @ 139.838
c NEW SOLUTION FOUND: 689 @ 139.893
c NEW SOLUTION FOUND: 688 @ 139.948
c NEW SOLUTION FOUND: 687 @ 140.003
c NEW SOLUTION FOUND: 686 @ 140.058
c NEW SOLUTION FOUND: 685 @ 140.113
c NEW SOLUTION FOUND: 684 @ 140.167
c NEW SOLUTION FOUND: 683 @ 140.222
c NEW SOLUTION FOUND: 682 @ 140.277
c NEW SOLUTION FOUND: 681 @ 140.332
c NEW SOLUTION FOUND: 680 @ 140.387
c NEW SOLUTION FOUND: 679 @ 140.442
c NEW SOLUTION FOUND: 678 @ 140.497
c NEW SOLUTION FOUND: 677 @ 140.551
c NEW SOLUTION FOUND: 676 @ 140.606
c NEW SOLUTION FOUND: 675 @ 140.661
c NEW SOLUTION FOUND: 674 @ 140.715
c NEW SOLUTION FOUND: 673 @ 140.77
c NEW SOLUTION FOUND: 672 @ 140.825
c NEW SOLUTION FOUND: 671 @ 140.879
c NEW SOLUTION FOUND: 670 @ 140.934
c NEW SOLUTION FOUND: 669 @ 140.989
c NEW SOLUTION FOUND: 668 @ 141.043
c NEW SOLUTION FOUND: 667 @ 141.098
c NEW SOLUTION FOUND: 666 @ 141.153
c NEW SOLUTION FOUND: 665 @ 141.207
c NEW SOLUTION FOUND: 664 @ 141.262
c NEW SOLUTION FOUND: 663 @ 141.317
c NEW SOLUTION FOUND: 662 @ 141.371
c NEW SOLUTION FOUND: 661 @ 141.426
c NEW SOLUTION FOUND: 660 @ 141.48
c NEW SOLUTION FOUND: 659 @ 141.535
c NEW SOLUTION FOUND: 658 @ 141.59
c NEW SOLUTION FOUND: 657 @ 141.644
c NEW SOLUTION FOUND: 656 @ 141.699
c NEW SOLUTION FOUND: 655 @ 141.754
c NEW SOLUTION FOUND: 654 @ 141.808
c NEW SOLUTION FOUND: 653 @ 141.863
c NEW SOLUTION FOUND: 652 @ 141.917
c NEW SOLUTION FOUND: 651 @ 141.972
c NEW SOLUTION FOUND: 650 @ 142.026
c NEW SOLUTION FOUND: 649 @ 142.081
c NEW SOLUTION FOUND: 648 @ 142.135
c NEW SOLUTION FOUND: 647 @ 142.19
c NEW SOLUTION FOUND: 646 @ 142.245
c NEW SOLUTION FOUND: 645 @ 142.3
c NEW SOLUTION FOUND: 644 @ 142.354
c NEW SOLUTION FOUND: 643 @ 142.409
c NEW SOLUTION FOUND: 642 @ 142.463
c NEW SOLUTION FOUND: 641 @ 142.518
c NEW SOLUTION FOUND: 640 @ 142.572
c NEW SOLUTION FOUND: 639 @ 142.627
c NEW SOLUTION FOUND: 638 @ 142.681
c NEW SOLUTION FOUND: 637 @ 142.736
c NEW SOLUTION FOUND: 636 @ 142.79
c NEW SOLUTION FOUND: 635 @ 142.845
c NEW SOLUTION FOUND: 634 @ 142.899
c NEW SOLUTION FOUND: 633 @ 142.954
c NEW SOLUTION FOUND: 632 @ 143.008
c NEW SOLUTION FOUND: 631 @ 143.063
c NEW SOLUTION FOUND: 630 @ 143.117
c NEW SOLUTION FOUND: 629 @ 143.172
c NEW SOLUTION FOUND: 628 @ 143.226
c NEW SOLUTION FOUND: 627 @ 143.28
c NEW SOLUTION FOUND: 626 @ 143.335
c NEW SOLUTION FOUND: 625 @ 143.389
c NEW SOLUTION FOUND: 624 @ 143.444
c NEW SOLUTION FOUND: 623 @ 143.498
c NEW SOLUTION FOUND: 622 @ 143.552
c NEW SOLUTION FOUND: 621 @ 143.607
c NEW SOLUTION FOUND: 620 @ 143.661
c NEW SOLUTION FOUND: 619 @ 143.715
c NEW SOLUTION FOUND: 618 @ 143.77
c NEW SOLUTION FOUND: 617 @ 143.824
c NEW SOLUTION FOUND: 616 @ 143.879
c NEW SOLUTION FOUND: 615 @ 143.933
c NEW SOLUTION FOUND: 614 @ 143.987
c NEW SOLUTION FOUND: 613 @ 144.042
c NEW SOLUTION FOUND: 612 @ 144.096
c NEW SOLUTION FOUND: 611 @ 144.15
c NEW SOLUTION FOUND: 610 @ 144.205
c NEW SOLUTION FOUND: 609 @ 144.259
c NEW SOLUTION FOUND: 608 @ 144.314
c NEW SOLUTION FOUND: 607 @ 144.368
c NEW SOLUTION FOUND: 606 @ 144.422
c NEW SOLUTION FOUND: 605 @ 144.477
c NEW SOLUTION FOUND: 604 @ 144.531
c NEW SOLUTION FOUND: 603 @ 144.586
c NEW SOLUTION FOUND: 602 @ 144.64
c NEW SOLUTION FOUND: 601 @ 144.694
c NEW SOLUTION FOUND: 600 @ 144.749
c NEW SOLUTION FOUND: 599 @ 144.803
c NEW SOLUTION FOUND: 598 @ 144.857
c NEW SOLUTION FOUND: 597 @ 144.962
c NEW SOLUTION FOUND: 596 @ 145.017
c NEW SOLUTION FOUND: 595 @ 145.072
c NEW SOLUTION FOUND: 594 @ 145.127
c NEW SOLUTION FOUND: 593 @ 145.183
c NEW SOLUTION FOUND: 592 @ 145.238
c NEW SOLUTION FOUND: 591 @ 145.293
c NEW SOLUTION FOUND: 590 @ 145.348
c NEW SOLUTION FOUND: 589 @ 145.403
c NEW SOLUTION FOUND: 588 @ 145.509
c NEW SOLUTION FOUND: 587 @ 145.565
c NEW SOLUTION FOUND: 586 @ 145.621
c NEW SOLUTION FOUND: 585 @ 145.677
c NEW SOLUTION FOUND: 584 @ 145.733
c NEW SOLUTION FOUND: 583 @ 145.789
c NEW SOLUTION FOUND: 582 @ 145.845
c NEW SOLUTION FOUND: 581 @ 145.901
c NEW SOLUTION FOUND: 580 @ 145.957
c NEW SOLUTION FOUND: 579 @ 146.013
c NEW SOLUTION FOUND: 578 @ 146.069
c NEW SOLUTION FOUND: 577 @ 146.124
c NEW SOLUTION FOUND: 576 @ 146.18
c NEW SOLUTION FOUND: 575 @ 146.236
c NEW SOLUTION FOUND: 574 @ 146.292
c NEW SOLUTION FOUND: 573 @ 146.348
c NEW SOLUTION FOUND: 572 @ 146.404
c NEW SOLUTION FOUND: 571 @ 146.462
c NEW SOLUTION FOUND: 570 @ 146.518
c NEW SOLUTION FOUND: 569 @ 146.574
c NEW SOLUTION FOUND: 568 @ 146.63
c NEW SOLUTION FOUND: 567 @ 146.685
c NEW SOLUTION FOUND: 566 @ 146.741
c NEW SOLUTION FOUND: 565 @ 146.797
c NEW SOLUTION FOUND: 564 @ 146.853
c NEW SOLUTION FOUND: 563 @ 146.909
c NEW SOLUTION FOUND: 562 @ 146.965
c NEW SOLUTION FOUND: 561 @ 147.02
c NEW SOLUTION FOUND: 560 @ 147.076
c NEW SOLUTION FOUND: 559 @ 147.132
c NEW SOLUTION FOUND: 558 @ 147.188
c NEW SOLUTION FOUND: 557 @ 147.244
c NEW SOLUTION FOUND: 556 @ 147.299
c NEW SOLUTION FOUND: 555 @ 147.355
c NEW SOLUTION FOUND: 554 @ 147.411
c NEW SOLUTION FOUND: 553 @ 147.467
c NEW SOLUTION FOUND: 552 @ 147.522
c NEW SOLUTION FOUND: 551 @ 147.578
c NEW SOLUTION FOUND: 550 @ 147.634
c NEW SOLUTION FOUND: 549 @ 147.69
c NEW SOLUTION FOUND: 548 @ 147.745
c NEW SOLUTION FOUND: 547 @ 147.801
c NEW SOLUTION FOUND: 546 @ 147.857
c NEW SOLUTION FOUND: 545 @ 147.913
c NEW SOLUTION FOUND: 544 @ 147.968
c NEW SOLUTION FOUND: 543 @ 148.024
c NEW SOLUTION FOUND: 542 @ 148.08
c NEW SOLUTION FOUND: 541 @ 148.136
c NEW SOLUTION FOUND: 540 @ 148.192
c NEW SOLUTION FOUND: 539 @ 148.248
c NEW SOLUTION FOUND: 538 @ 148.304
c NEW SOLUTION FOUND: 537 @ 148.359
c NEW SOLUTION FOUND: 536 @ 148.415
c NEW SOLUTION FOUND: 535 @ 148.471
c NEW SOLUTION FOUND: 534 @ 148.527
c NEW SOLUTION FOUND: 533 @ 148.583
c NEW SOLUTION FOUND: 532 @ 148.638
c NEW SOLUTION FOUND: 531 @ 148.694
c NEW SOLUTION FOUND: 530 @ 148.75
c NEW SOLUTION FOUND: 529 @ 148.806
c NEW SOLUTION FOUND: 528 @ 148.861
c NEW SOLUTION FOUND: 527 @ 148.917
c NEW SOLUTION FOUND: 526 @ 148.973
c NEW SOLUTION FOUND: 525 @ 149.029
c NEW SOLUTION FOUND: 524 @ 149.085
c NEW SOLUTION FOUND: 523 @ 149.14
c NEW SOLUTION FOUND: 522 @ 149.196
c NEW SOLUTION FOUND: 521 @ 149.252
c NEW SOLUTION FOUND: 520 @ 149.307
c NEW SOLUTION FOUND: 519 @ 149.363
c NEW SOLUTION FOUND: 518 @ 149.419
c NEW SOLUTION FOUND: 517 @ 149.474
c NEW SOLUTION FOUND: 516 @ 149.53
c NEW SOLUTION FOUND: 515 @ 149.586
c NEW SOLUTION FOUND: 514 @ 149.642
c NEW SOLUTION FOUND: 513 @ 149.697
c NEW SOLUTION FOUND: 512 @ 149.753
c NEW SOLUTION FOUND: 511 @ 149.809
c NEW SOLUTION FOUND: 510 @ 149.864
c NEW SOLUTION FOUND: 509 @ 149.92
c NEW SOLUTION FOUND: 508 @ 149.976
c NEW SOLUTION FOUND: 507 @ 150.031
c NEW SOLUTION FOUND: 506 @ 150.087
c NEW SOLUTION FOUND: 505 @ 150.143
c NEW SOLUTION FOUND: 504 @ 150.198
c NEW SOLUTION FOUND: 503 @ 150.254
c NEW SOLUTION FOUND: 502 @ 150.31
c NEW SOLUTION FOUND: 501 @ 150.365
c NEW SOLUTION FOUND: 500 @ 150.421
c NEW SOLUTION FOUND: 499 @ 150.477
c NEW SOLUTION FOUND: 498 @ 150.532
c NEW SOLUTION FOUND: 497 @ 150.588
c NEW SOLUTION FOUND: 496 @ 150.643
c NEW SOLUTION FOUND: 495 @ 150.699
c NEW SOLUTION FOUND: 494 @ 150.755
c NEW SOLUTION FOUND: 493 @ 150.81
c NEW SOLUTION FOUND: 492 @ 150.866
c NEW SOLUTION FOUND: 491 @ 150.922
c NEW SOLUTION FOUND: 490 @ 150.977
c NEW SOLUTION FOUND: 489 @ 151.033
c NEW SOLUTION FOUND: 488 @ 151.088
c NEW SOLUTION FOUND: 487 @ 151.144
c NEW SOLUTION FOUND: 486 @ 151.199
c NEW SOLUTION FOUND: 485 @ 151.255
c NEW SOLUTION FOUND: 484 @ 151.31
c NEW SOLUTION FOUND: 483 @ 151.366
c NEW SOLUTION FOUND: 482 @ 151.421
c NEW SOLUTION FOUND: 481 @ 151.477
c NEW SOLUTION FOUND: 480 @ 151.532
c NEW SOLUTION FOUND: 479 @ 151.588
c NEW SOLUTION FOUND: 478 @ 151.643
c NEW SOLUTION FOUND: 477 @ 151.699
c NEW SOLUTION FOUND: 476 @ 151.755
c NEW SOLUTION FOUND: 475 @ 151.81
c NEW SOLUTION FOUND: 474 @ 151.865
c NEW SOLUTION FOUND: 473 @ 151.921
c NEW SOLUTION FOUND: 472 @ 151.976
c NEW SOLUTION FOUND: 471 @ 152.032
c NEW SOLUTION FOUND: 470 @ 152.087
c NEW SOLUTION FOUND: 469 @ 152.143
c NEW SOLUTION FOUND: 468 @ 152.198
c NEW SOLUTION FOUND: 467 @ 152.254
c NEW SOLUTION FOUND: 466 @ 152.309
c NEW SOLUTION FOUND: 465 @ 152.365
c NEW SOLUTION FOUND: 464 @ 152.42
c NEW SOLUTION FOUND: 463 @ 152.476
c NEW SOLUTION FOUND: 462 @ 152.531
c NEW SOLUTION FOUND: 461 @ 152.587
c NEW SOLUTION FOUND: 460 @ 152.642
c NEW SOLUTION FOUND: 459 @ 152.697
c NEW SOLUTION FOUND: 458 @ 152.753
c NEW SOLUTION FOUND: 457 @ 152.807
c NEW SOLUTION FOUND: 456 @ 152.863
c NEW SOLUTION FOUND: 455 @ 152.918
c NEW SOLUTION FOUND: 454 @ 152.974
c NEW SOLUTION FOUND: 453 @ 153.029
c NEW SOLUTION FOUND: 452 @ 153.085
c NEW SOLUTION FOUND: 451 @ 153.14
c NEW SOLUTION FOUND: 450 @ 153.195
c NEW SOLUTION FOUND: 449 @ 153.251
c NEW SOLUTION FOUND: 448 @ 153.306
c NEW SOLUTION FOUND: 447 @ 153.361
c NEW SOLUTION FOUND: 446 @ 153.417
c NEW SOLUTION FOUND: 445 @ 153.472
c NEW SOLUTION FOUND: 444 @ 153.527
c NEW SOLUTION FOUND: 443 @ 153.583
c NEW SOLUTION FOUND: 442 @ 153.638
c NEW SOLUTION FOUND: 441 @ 153.693
c NEW SOLUTION FOUND: 440 @ 153.749
c NEW SOLUTION FOUND: 439 @ 153.804
c NEW SOLUTION FOUND: 438 @ 153.86
c NEW SOLUTION FOUND: 437 @ 153.915
c NEW SOLUTION FOUND: 436 @ 153.97
c NEW SOLUTION FOUND: 435 @ 154.025
c NEW SOLUTION FOUND: 434 @ 154.081
c NEW SOLUTION FOUND: 433 @ 154.137
c NEW SOLUTION FOUND: 432 @ 154.192
c NEW SOLUTION FOUND: 431 @ 154.247
c NEW SOLUTION FOUND: 430 @ 154.303
c NEW SOLUTION FOUND: 429 @ 154.358
c NEW SOLUTION FOUND: 428 @ 154.413
c NEW SOLUTION FOUND: 427 @ 154.469
c NEW SOLUTION FOUND: 426 @ 154.524
c NEW SOLUTION FOUND: 425 @ 154.579
c NEW SOLUTION FOUND: 424 @ 154.634
c NEW SOLUTION FOUND: 423 @ 154.689
c NEW SOLUTION FOUND: 422 @ 154.744
c NEW SOLUTION FOUND: 421 @ 154.8
c NEW SOLUTION FOUND: 420 @ 154.855
c NEW SOLUTION FOUND: 419 @ 154.911
c NEW SOLUTION FOUND: 418 @ 154.967
c NEW SOLUTION FOUND: 417 @ 155.023
c NEW SOLUTION FOUND: 416 @ 155.079
c NEW SOLUTION FOUND: 415 @ 155.135
c NEW SOLUTION FOUND: 414 @ 155.191
c NEW SOLUTION FOUND: 413 @ 155.247
c NEW SOLUTION FOUND: 412 @ 155.303
c NEW SOLUTION FOUND: 411 @ 155.359
c NEW SOLUTION FOUND: 410 @ 155.415
c NEW SOLUTION FOUND: 409 @ 155.471
c NEW SOLUTION FOUND: 408 @ 155.528
c NEW SOLUTION FOUND: 407 @ 155.583
c NEW SOLUTION FOUND: 406 @ 155.639
c NEW SOLUTION FOUND: 405 @ 155.695
c NEW SOLUTION FOUND: 404 @ 155.751
c NEW SOLUTION FOUND: 403 @ 155.807
c NEW SOLUTION FOUND: 402 @ 155.863
c NEW SOLUTION FOUND: 401 @ 155.919
c NEW SOLUTION FOUND: 400 @ 155.975
c NEW SOLUTION FOUND: 399 @ 156.031
c NEW SOLUTION FOUND: 398 @ 156.086
c NEW SOLUTION FOUND: 397 @ 156.142
c NEW SOLUTION FOUND: 396 @ 156.198
c NEW SOLUTION FOUND: 395 @ 156.254
c NEW SOLUTION FOUND: 394 @ 156.31
c NEW SOLUTION FOUND: 393 @ 156.366
c NEW SOLUTION FOUND: 392 @ 156.421
c NEW SOLUTION FOUND: 391 @ 156.477
c NEW SOLUTION FOUND: 390 @ 156.533
c NEW SOLUTION FOUND: 389 @ 156.589
c NEW SOLUTION FOUND: 388 @ 156.645
c NEW SOLUTION FOUND: 387 @ 156.701
c NEW SOLUTION FOUND: 386 @ 156.757
c NEW SOLUTION FOUND: 385 @ 156.813
c NEW SOLUTION FOUND: 384 @ 156.869
c NEW SOLUTION FOUND: 383 @ 156.925
c NEW SOLUTION FOUND: 382 @ 156.981
c NEW SOLUTION FOUND: 381 @ 157.037
c NEW SOLUTION FOUND: 380 @ 157.092
c NEW SOLUTION FOUND: 379 @ 157.148
c NEW SOLUTION FOUND: 378 @ 157.204
c NEW SOLUTION FOUND: 377 @ 157.26
c NEW SOLUTION FOUND: 376 @ 157.316
c NEW SOLUTION FOUND: 375 @ 157.372
c NEW SOLUTION FOUND: 374 @ 157.428
c NEW SOLUTION FOUND: 373 @ 157.484
c NEW SOLUTION FOUND: 372 @ 157.539
c NEW SOLUTION FOUND: 371 @ 157.595
c NEW SOLUTION FOUND: 370 @ 157.651
c NEW SOLUTION FOUND: 369 @ 157.707
c NEW SOLUTION FOUND: 368 @ 157.762
c NEW SOLUTION FOUND: 367 @ 157.818
c NEW SOLUTION FOUND: 366 @ 157.873
c NEW SOLUTION FOUND: 365 @ 157.929
c NEW SOLUTION FOUND: 364 @ 157.985
c NEW SOLUTION FOUND: 363 @ 158.04
c NEW SOLUTION FOUND: 362 @ 158.096
c NEW SOLUTION FOUND: 361 @ 158.152
c NEW SOLUTION FOUND: 360 @ 158.208
c NEW SOLUTION FOUND: 359 @ 158.264
c NEW SOLUTION FOUND: 358 @ 158.32
c NEW SOLUTION FOUND: 357 @ 158.375
c NEW SOLUTION FOUND: 356 @ 158.431
c NEW SOLUTION FOUND: 355 @ 158.486
c NEW SOLUTION FOUND: 354 @ 158.542
c NEW SOLUTION FOUND: 353 @ 158.597
c NEW SOLUTION FOUND: 352 @ 158.653
c NEW SOLUTION FOUND: 351 @ 158.709
c NEW SOLUTION FOUND: 350 @ 158.764
c NEW SOLUTION FOUND: 349 @ 158.82
c NEW SOLUTION FOUND: 348 @ 158.876
c NEW SOLUTION FOUND: 347 @ 158.931
c NEW SOLUTION FOUND: 346 @ 158.987
c NEW SOLUTION FOUND: 345 @ 159.042
c NEW SOLUTION FOUND: 344 @ 159.098
c NEW SOLUTION FOUND: 343 @ 159.153
c NEW SOLUTION FOUND: 342 @ 159.209
c NEW SOLUTION FOUND: 341 @ 159.265
c NEW SOLUTION FOUND: 340 @ 159.32
c NEW SOLUTION FOUND: 339 @ 159.376
c NEW SOLUTION FOUND: 338 @ 159.431
c NEW SOLUTION FOUND: 337 @ 159.486
c NEW SOLUTION FOUND: 336 @ 159.542
c NEW SOLUTION FOUND: 335 @ 159.597
c NEW SOLUTION FOUND: 334 @ 159.653
c NEW SOLUTION FOUND: 333 @ 159.708
c NEW SOLUTION FOUND: 332 @ 159.764
c NEW SOLUTION FOUND: 331 @ 159.819
c NEW SOLUTION FOUND: 330 @ 159.875
c NEW SOLUTION FOUND: 329 @ 159.931
c NEW SOLUTION FOUND: 328 @ 159.986
c NEW SOLUTION FOUND: 327 @ 160.042
c NEW SOLUTION FOUND: 326 @ 160.098
c NEW SOLUTION FOUND: 325 @ 160.153
c NEW SOLUTION FOUND: 324 @ 160.209
c NEW SOLUTION FOUND: 323 @ 160.265
c NEW SOLUTION FOUND: 322 @ 160.32
c NEW SOLUTION FOUND: 321 @ 160.376
c NEW SOLUTION FOUND: 320 @ 160.431
c NEW SOLUTION FOUND: 319 @ 160.487
c NEW SOLUTION FOUND: 318 @ 160.543
c NEW SOLUTION FOUND: 317 @ 160.599
c NEW SOLUTION FOUND: 316 @ 160.656
c NEW SOLUTION FOUND: 315 @ 160.712
c NEW SOLUTION FOUND: 314 @ 160.767
c NEW SOLUTION FOUND: 313 @ 160.822
c NEW SOLUTION FOUND: 312 @ 160.878
c NEW SOLUTION FOUND: 311 @ 160.934
c NEW SOLUTION FOUND: 310 @ 160.989
c NEW SOLUTION FOUND: 309 @ 161.044
c NEW SOLUTION FOUND: 308 @ 161.1
c NEW SOLUTION FOUND: 307 @ 161.155
c NEW SOLUTION FOUND: 306 @ 161.21
c NEW SOLUTION FOUND: 305 @ 161.266
c NEW SOLUTION FOUND: 304 @ 161.321
c NEW SOLUTION FOUND: 303 @ 161.377
c NEW SOLUTION FOUND: 302 @ 161.432
c NEW SOLUTION FOUND: 301 @ 161.488
c NEW SOLUTION FOUND: 300 @ 161.543
c NEW SOLUTION FOUND: 299 @ 161.598
c NEW SOLUTION FOUND: 298 @ 161.654
c NEW SOLUTION FOUND: 297 @ 161.709
c NEW SOLUTION FOUND: 296 @ 161.814
c NEW SOLUTION FOUND: 295 @ 161.87
c NEW SOLUTION FOUND: 294 @ 161.926
c NEW SOLUTION FOUND: 293 @ 161.982
c NEW SOLUTION FOUND: 292 @ 162.038
c NEW SOLUTION FOUND: 291 @ 162.094
c NEW SOLUTION FOUND: 290 @ 162.15
c NEW SOLUTION FOUND: 289 @ 162.206
c NEW SOLUTION FOUND: 288 @ 162.262
c NEW SOLUTION FOUND: 287 @ 162.317
c NEW SOLUTION FOUND: 286 @ 162.374
c NEW SOLUTION FOUND: 285 @ 162.43
c NEW SOLUTION FOUND: 284 @ 162.486
c NEW SOLUTION FOUND: 283 @ 162.541
c NEW SOLUTION FOUND: 282 @ 162.597
c NEW SOLUTION FOUND: 281 @ 162.653
c NEW SOLUTION FOUND: 280 @ 162.709
c NEW SOLUTION FOUND: 279 @ 162.765
c NEW SOLUTION FOUND: 278 @ 162.821
c NEW SOLUTION FOUND: 277 @ 162.877
c NEW SOLUTION FOUND: 276 @ 162.933
c NEW SOLUTION FOUND: 275 @ 162.989
c NEW SOLUTION FOUND: 274 @ 163.045
c NEW SOLUTION FOUND: 273 @ 163.1
c NEW SOLUTION FOUND: 272 @ 163.156
c NEW SOLUTION FOUND: 271 @ 163.212
c NEW SOLUTION FOUND: 270 @ 163.268
c NEW SOLUTION FOUND: 269 @ 163.323
c NEW SOLUTION FOUND: 268 @ 163.379
c NEW SOLUTION FOUND: 267 @ 163.435
c NEW SOLUTION FOUND: 266 @ 163.491
c NEW SOLUTION FOUND: 265 @ 163.547
c NEW SOLUTION FOUND: 264 @ 163.602
c NEW SOLUTION FOUND: 263 @ 163.658
c NEW SOLUTION FOUND: 262 @ 163.713
c NEW SOLUTION FOUND: 261 @ 163.769
c NEW SOLUTION FOUND: 260 @ 163.825
c NEW SOLUTION FOUND: 259 @ 163.881
c NEW SOLUTION FOUND: 258 @ 163.937
c NEW SOLUTION FOUND: 257 @ 163.993
c NEW SOLUTION FOUND: 256 @ 164.049
c NEW SOLUTION FOUND: 255 @ 164.104
c NEW SOLUTION FOUND: 254 @ 164.16
c NEW SOLUTION FOUND: 253 @ 164.216
c NEW SOLUTION FOUND: 252 @ 164.272
c NEW SOLUTION FOUND: 251 @ 164.378
c NEW SOLUTION FOUND: 250 @ 164.434
c NEW SOLUTION FOUND: 249 @ 164.49
c NEW SOLUTION FOUND: 248 @ 164.545
c NEW SOLUTION FOUND: 247 @ 164.601
c NEW SOLUTION FOUND: 246 @ 164.657
c NEW SOLUTION FOUND: 245 @ 164.713
c NEW SOLUTION FOUND: 244 @ 164.769
c NEW SOLUTION FOUND: 243 @ 164.825
c NEW SOLUTION FOUND: 242 @ 164.88
c NEW SOLUTION FOUND: 241 @ 164.936
c NEW SOLUTION FOUND: 240 @ 164.992
c NEW SOLUTION FOUND: 239 @ 165.048
c NEW SOLUTION FOUND: 238 @ 165.104
c NEW SOLUTION FOUND: 237 @ 165.159
c NEW SOLUTION FOUND: 236 @ 165.215
c NEW SOLUTION FOUND: 235 @ 165.271
c NEW SOLUTION FOUND: 234 @ 165.327
c NEW SOLUTION FOUND: 233 @ 165.384
c NEW SOLUTION FOUND: 232 @ 165.439
c NEW SOLUTION FOUND: 231 @ 165.495
c NEW SOLUTION FOUND: 230 @ 165.551
c NEW SOLUTION FOUND: 229 @ 165.607
c NEW SOLUTION FOUND: 228 @ 165.662
c NEW SOLUTION FOUND: 227 @ 165.718
c NEW SOLUTION FOUND: 226 @ 165.774
c NEW SOLUTION FOUND: 225 @ 165.83
c NEW SOLUTION FOUND: 224 @ 165.885
c NEW SOLUTION FOUND: 223 @ 165.941
c NEW SOLUTION FOUND: 222 @ 165.996
c NEW SOLUTION FOUND: 221 @ 166.052
c NEW SOLUTION FOUND: 220 @ 166.107
c NEW SOLUTION FOUND: 219 @ 166.162
c NEW SOLUTION FOUND: 218 @ 166.218
c NEW SOLUTION FOUND: 217 @ 166.274
c NEW SOLUTION FOUND: 216 @ 166.329
c NEW SOLUTION FOUND: 215 @ 166.385
c NEW SOLUTION FOUND: 214 @ 166.441
c NEW SOLUTION FOUND: 213 @ 166.497
c NEW SOLUTION FOUND: 212 @ 166.553
c NEW SOLUTION FOUND: 211 @ 166.609
c NEW SOLUTION FOUND: 210 @ 166.664
c NEW SOLUTION FOUND: 209 @ 166.72
c NEW SOLUTION FOUND: 208 @ 166.776
c NEW SOLUTION FOUND: 207 @ 166.831
c NEW SOLUTION FOUND: 206 @ 166.887
c NEW SOLUTION FOUND: 205 @ 166.942
c NEW SOLUTION FOUND: 204 @ 166.998
c NEW SOLUTION FOUND: 203 @ 167.054
c NEW SOLUTION FOUND: 202 @ 167.111
c NEW SOLUTION FOUND: 201 @ 167.167
c NEW SOLUTION FOUND: 200 @ 167.223
c NEW SOLUTION FOUND: 199 @ 167.279
c NEW SOLUTION FOUND: 198 @ 167.336
c NEW SOLUTION FOUND: 197 @ 167.558
c NEW SOLUTION FOUND: 196 @ 167.619
c NEW SOLUTION FOUND: 195 @ 167.68
c NEW SOLUTION FOUND: 194 @ 167.799
c NEW SOLUTION FOUND: 193 @ 167.861
c NEW SOLUTION FOUND: 192 @ 167.983
c NEW SOLUTION FOUND: 191 @ 168.048
c NEW SOLUTION FOUND: 190 @ 168.114
c NEW SOLUTION FOUND: 189 @ 168.18
c NEW SOLUTION FOUND: 188 @ 168.247
c NEW SOLUTION FOUND: 187 @ 168.313
c NEW SOLUTION FOUND: 186 @ 168.38
c NEW SOLUTION FOUND: 185 @ 168.446
c NEW SOLUTION FOUND: 184 @ 168.513
c NEW SOLUTION FOUND: 183 @ 168.579
c NEW SOLUTION FOUND: 182 @ 168.646
c NEW SOLUTION FOUND: 181 @ 168.712
c NEW SOLUTION FOUND: 180 @ 168.842
c NEW SOLUTION FOUND: 179 @ 168.91
c NEW SOLUTION FOUND: 178 @ 168.978
c NEW SOLUTION FOUND: 177 @ 169.046
c NEW SOLUTION FOUND: 176 @ 169.182
c NEW SOLUTION FOUND: 175 @ 169.381
c NEW SOLUTION FOUND: 174 @ 169.458
c NEW SOLUTION FOUND: 173 @ 169.536
c NEW SOLUTION FOUND: 172 @ 169.691
c NEW SOLUTION FOUND: 171 @ 169.771
c NEW SOLUTION FOUND: 170 @ 169.851
c NEW SOLUTION FOUND: 169 @ 169.932
c NEW SOLUTION FOUND: 168 @ 170.089
c NEW SOLUTION FOUND: 167 @ 170.172
c NEW SOLUTION FOUND: 166 @ 170.255
c NEW SOLUTION FOUND: 165 @ 170.342
c NEW SOLUTION FOUND: 164 @ 170.433
c NEW SOLUTION FOUND: 163 @ 170.525
c NEW SOLUTION FOUND: 162 @ 170.621
c NEW SOLUTION FOUND: 161 @ 170.716
c NEW SOLUTION FOUND: 160 @ 170.81
c NEW SOLUTION FOUND: 159 @ 170.904
c NEW SOLUTION FOUND: 158 @ 171.005
c NEW SOLUTION FOUND: 157 @ 171.111
c NEW SOLUTION FOUND: 156 @ 171.216
c NEW SOLUTION FOUND: 155 @ 171.32
c NEW SOLUTION FOUND: 154 @ 171.641
c NEW SOLUTION FOUND: 153 @ 171.758
c NEW SOLUTION FOUND: 152 @ 171.878
c NEW SOLUTION FOUND: 151 @ 172.018
c NEW SOLUTION FOUND: 150 @ 172.308
c NEW SOLUTION FOUND: 149 @ 172.459
c NEW SOLUTION FOUND: 148 @ 172.609
c NEW SOLUTION FOUND: 147 @ 172.779
c NEW SOLUTION FOUND: 146 @ 172.94
c NEW SOLUTION FOUND: 145 @ 173.103
c NEW SOLUTION FOUND: 144 @ 173.276
c NEW SOLUTION FOUND: 143 @ 173.439
c NEW SOLUTION FOUND: 142 @ 173.606
c NEW SOLUTION FOUND: 141 @ 173.765
c NEW SOLUTION FOUND: 140 @ 173.932
c NEW SOLUTION FOUND: 139 @ 174.097
c NEW SOLUTION FOUND: 138 @ 174.265
c NEW SOLUTION FOUND: 137 @ 174.436
c NEW SOLUTION FOUND: 136 @ 174.602
c NEW SOLUTION FOUND: 135 @ 174.776
c NEW SOLUTION FOUND: 134 @ 174.941
c NEW SOLUTION FOUND: 133 @ 175.116
c NEW SOLUTION FOUND: 132 @ 175.452
c NEW SOLUTION FOUND: 131 @ 175.618
c NEW SOLUTION FOUND: 130 @ 175.954
c NEW SOLUTION FOUND: 129 @ 176.125
c NEW SOLUTION FOUND: 128 @ 176.297
c NEW SOLUTION FOUND: 127 @ 176.471
c NEW SOLUTION FOUND: 126 @ 176.653
c NEW SOLUTION FOUND: 125 @ 177.027
c NEW SOLUTION FOUND: 124 @ 177.216
c NEW SOLUTION FOUND: 123 @ 177.608
c NEW SOLUTION FOUND: 122 @ 177.995
c NEW SOLUTION FOUND: 121 @ 178.193
c NEW SOLUTION FOUND: 120 @ 178.405
c NEW SOLUTION FOUND: 119 @ 178.623
c NEW SOLUTION FOUND: 118 @ 178.832
c NEW SOLUTION FOUND: 117 @ 179.052
c NEW SOLUTION FOUND: 116 @ 179.282
c NEW SOLUTION FOUND: 115 @ 179.501
c NEW SOLUTION FOUND: 114 @ 179.71
c NEW SOLUTION FOUND: 113 @ 179.911
c NEW SOLUTION FOUND: 112 @ 180.118
c NEW SOLUTION FOUND: 111 @ 180.332
c NEW SOLUTION FOUND: 110 @ 180.541
c NEW SOLUTION FOUND: 109 @ 180.746
c NEW SOLUTION FOUND: 108 @ 180.96
c NEW SOLUTION FOUND: 107 @ 181.168
c NEW SOLUTION FOUND: 106 @ 181.597
c NEW SOLUTION FOUND: 105 @ 181.824
c NEW SOLUTION FOUND: 104 @ 182.281
c NEW SOLUTION FOUND: 103 @ 182.512
c NEW SOLUTION FOUND: 102 @ 182.731
c NEW SOLUTION FOUND: 101 @ 182.968
c NEW SOLUTION FOUND: 100 @ 183.199
c NEW SOLUTION FOUND: 99 @ 183.429
c NEW SOLUTION FOUND: 98 @ 184.386
c NEW SOLUTION FOUND: 97 @ 185.099
c NEW SOLUTION FOUND: 96 @ 185.695
c NEW SOLUTION FOUND: 95 @ 185.996
c NEW SOLUTION FOUND: 94 @ 186.508
c NEW SOLUTION FOUND: 93 @ 187.516
c NEW SOLUTION FOUND: 92 @ 187.853
c NEW SOLUTION FOUND: 91 @ 188.21
c NEW SOLUTION FOUND: 90 @ 188.559
c NEW SOLUTION FOUND: 89 @ 188.899
c NEW SOLUTION FOUND: 88 @ 189.26
c NEW SOLUTION FOUND: 87 @ 189.622
c NEW SOLUTION FOUND: 86 @ 189.958
c NEW SOLUTION FOUND: 85 @ 194.234
c NEW SOLUTION FOUND: 84 @ 197.264
c NEW SOLUTION FOUND: 83 @ 200.128
c NEW SOLUTION FOUND: 82 @ 208.558
c NEW SOLUTION FOUND: 81 @ 220.486
c NEW SOLUTION FOUND: 80 @ 234.756
c NEW SOLUTION FOUND: 79 @ 248.442
c NEW SOLUTION FOUND: 78 @ 463.349
c NEW SOLUTION FOUND: 77 @ 731.222
c NEW SOLUTION FOUND: 76 @ 948.922
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: 1182.79 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 7819
Raw data (stat): 7819 (runsolver) R 7818 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653588757 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 4565 0 0 0 985 10 0 0 25 0 1 0 653588757 14000128 2658 4294967295 134512640 134714508 3221221776 3221220100 134557790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2658 1111 63 0 3355 0
vsize: 13672
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 11228 0 0 0 1969 25 0 0 25 0 1 0 653588757 18100224 3625 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4419 3625 1111 63 0 4356 0
vsize: 17676
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 12458 0 0 0 2963 31 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221219820 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 13905 0 0 0 3954 40 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 15368 0 0 0 4945 49 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 16871 0 0 0 5938 56 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220528 134652572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 18450 0 0 0 6929 65 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221219664 1074051046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 20056 0 0 0 7920 74 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 21699 0 0 0 8911 83 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221219504 1075635916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 23326 0 0 0 9901 93 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220560 134551450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 24972 0 0 0 10892 102 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221219504 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 26667 0 0 0 11880 113 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220416 134645627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 28371 0 0 0 12871 123 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 30106 0 0 0 13860 134 0 0 25 0 1 0 653588757 15585280 2999 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 2999 1111 63 0 3742 0
vsize: 15220
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 31894 0 0 0 14850 144 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221219776 1074056591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 33854 0 0 0 15839 155 0 0 25 0 1 0 653588757 15208448 2996 4294967295 134512640 134714508 3221221776 3221220480 134652495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 36072 0 0 0 16828 166 0 0 25 0 1 0 653588757 15208448 2997 4294967295 134512640 134714508 3221221776 3221220516 134652588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2997 1111 63 0 3650 0
vsize: 14852
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 37529 0 0 0 17823 172 0 0 25 0 1 0 653588757 15208448 3005 4294967295 134512640 134714508 3221221776 3221219392 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3005 1111 63 0 3650 0
vsize: 14852
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 40352 0 0 0 18816 179 0 0 25 0 1 0 653588757 15499264 3029 4294967295 134512640 134714508 3221221776 3221218812 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3784 3040 1111 63 0 3721 0
vsize: 15136
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 48645 0 0 0 19798 197 0 0 25 0 1 0 653588757 16465920 3249 4294967295 134512640 134714508 3221221776 3221218832 1075084443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3249 1111 63 0 3957 0
vsize: 16080
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 59355 0 0 0 20773 222 0 0 25 0 1 0 653588757 16961536 3358 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3358 1111 63 0 4078 0
vsize: 16564
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 72587 0 0 0 21743 252 0 0 25 0 1 0 653588757 17408000 3473 4294967295 134512640 134714508 3221221776 3221219424 1075818295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4250 3473 1111 63 0 4187 0
vsize: 17000
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 84818 0 0 0 22716 279 0 0 25 0 1 0 653588757 17596416 3589 4294967295 134512640 134714508 3221221776 3221219776 1074918660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4296 3589 1111 63 0 4233 0
vsize: 17184
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 3/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 98152 0 0 0 23686 309 0 0 25 0 1 0 653588757 16609280 3317 4294967295 134512640 134714508 3221221776 3221219120 1074839036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4055 3317 1111 63 0 3992 0
vsize: 16220
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 110683 0 0 0 24659 337 0 0 25 0 1 0 653588757 17223680 3485 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3485 1111 63 0 4142 0
vsize: 16820
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 121477 0 0 0 25635 361 0 0 25 0 1 0 653588757 17121280 3477 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4180 3477 1111 63 0 4117 0
vsize: 16720
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 132693 0 0 0 26608 389 0 0 25 0 1 0 653588757 17330176 3528 4294967295 134512640 134714508 3221221776 3221219120 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4231 3528 1111 63 0 4168 0
vsize: 16924
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 143686 0 0 0 27581 415 0 0 25 0 1 0 653588757 18120704 3653 4294967295 134512640 134714508 3221221776 3221220280 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4424 3653 1111 63 0 4361 0
vsize: 17696
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 153999 0 0 0 28556 440 0 0 25 0 1 0 653588757 20054016 4090 4294967295 134512640 134714508 3221221776 3221218004 1075114912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4090 1111 63 0 4833 0
vsize: 19584
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 164219 0 0 0 29537 460 0 0 25 0 1 0 653588757 20885504 4308 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5099 4308 1111 63 0 5036 0
vsize: 20396
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 173896 0 0 0 30514 483 0 0 25 0 1 0 653588757 21204992 4378 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4378 1111 63 0 5114 0
vsize: 20708
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 184201 0 0 0 31491 506 0 0 25 0 1 0 653588757 21905408 4543 4294967295 134512640 134714508 3221221776 3221217760 1074875065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5348 4543 1111 63 0 5285 0
vsize: 21392
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 193146 0 0 0 32471 527 0 0 25 0 1 0 653588757 21917696 4538 4294967295 134512640 134714508 3221221776 3221218696 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5351 4538 1111 63 0 5288 0
vsize: 21404
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 202950 0 0 0 33449 549 0 0 25 0 1 0 653588757 23154688 4858 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4858 1111 63 0 5590 0
vsize: 22612
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 210800 0 0 0 34431 567 0 0 25 0 1 0 653588757 23031808 4825 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5623 4825 1111 63 0 5560 0
vsize: 22492
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 221270 0 0 0 35407 591 0 0 25 0 1 0 653588757 23277568 4892 4294967295 134512640 134714508 3221221776 3221218800 1074810536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5683 4892 1111 63 0 5620 0
vsize: 22732
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 231842 0 0 0 36383 615 0 0 25 0 1 0 653588757 22683648 4769 4294967295 134512640 134714508 3221221776 3221217740 1074860620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5538 4769 1111 63 0 5475 0
vsize: 22152
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 243607 0 0 0 37356 643 0 0 25 0 1 0 653588757 20459520 4289 4294967295 134512640 134714508 3221221776 3221219744 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4289 1111 63 0 4932 0
vsize: 19980
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 253312 0 0 0 38332 667 0 0 25 0 1 0 653588757 20807680 4374 4294967295 134512640 134714508 3221221776 3221219920 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5080 4374 1111 63 0 5017 0
vsize: 20320
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7819
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 264359 0 0 0 39308 691 0 0 25 0 1 0 653588757 22736896 4790 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4790 1111 63 0 5488 0
vsize: 22204
[startup+410.207 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 7828
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 275370 0 0 0 40303 715 0 0 25 0 1 0 653588757 22736896 4778 4294967295 134512640 134714508 3221221776 3221218152 1075112516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4778 1111 63 0 5488 0
vsize: 22204
[startup+420.207 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 7863
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 285760 0 0 0 41278 741 0 0 25 0 1 0 653588757 22818816 4764 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5571 4764 1111 63 0 5508 0
vsize: 22284
[startup+430.319 s]
Raw data (loadavg): 1.20 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 297396 0 0 0 42261 769 0 0 25 0 1 0 653588757 20307968 4251 4294967295 134512640 134714508 3221221776 3221208108 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4958 4252 1111 63 0 4895 0
vsize: 19832
[startup+440.319 s]
Raw data (loadavg): 1.17 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 308053 0 0 0 43237 793 0 0 25 0 1 0 653588757 22245376 4712 4294967295 134512640 134714508 3221221776 3221219776 1074916744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5431 4712 1111 63 0 5368 0
vsize: 21724
[startup+450.32 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 320104 0 0 0 44209 821 0 0 25 0 1 0 653588757 22380544 4745 4294967295 134512640 134714508 3221221776 3221219776 1074915844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5464 4745 1111 63 0 5401 0
vsize: 21856
[startup+460.321 s]
Raw data (loadavg): 1.12 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 331611 0 0 0 45183 847 0 0 25 0 1 0 653588757 22626304 4744 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5524 4744 1111 63 0 5461 0
vsize: 22096
[startup+470.321 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 343173 0 0 0 46153 877 0 0 25 0 1 0 653588757 22532096 4718 4294967295 134512640 134714508 3221221776 3221218048 1074960768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4718 1111 63 0 5438 0
vsize: 22004
[startup+480.321 s]
Raw data (loadavg): 1.09 1.03 1.01 2/54 7872
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 353323 0 0 0 47128 902 0 0 25 0 1 0 653588757 20832256 4368 4294967295 134512640 134714508 3221221776 3221220112 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5086 4368 1111 63 0 5023 0
vsize: 20344
[startup+490.322 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 363902 0 0 0 48102 928 0 0 25 0 1 0 653588757 23429120 4859 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5720 4865 1111 63 0 5657 0
vsize: 22880
[startup+500.323 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 373028 0 0 0 49083 948 0 0 25 0 1 0 653588757 20959232 4411 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5117 4411 1111 63 0 5054 0
vsize: 20468
[startup+510.323 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 382723 0 0 0 50059 971 0 0 25 0 1 0 653588757 24072192 5159 4294967295 134512640 134714508 3221221776 3221219776 1074916669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5877 5159 1111 63 0 5814 0
vsize: 23508
[startup+520.323 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 391389 0 0 0 51039 992 0 0 25 0 1 0 653588757 21872640 4632 4294967295 134512640 134714508 3221221776 3221219392 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5340 4632 1111 63 0 5277 0
vsize: 21360
[startup+530.324 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 400572 0 0 0 52018 1013 0 0 25 0 1 0 653588757 24039424 5127 4294967295 134512640 134714508 3221221776 3221218880 1074139033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5869 5127 1111 63 0 5806 0
vsize: 23476
[startup+540.324 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 408909 0 0 0 52997 1034 0 0 25 0 1 0 653588757 25120768 5410 4294967295 134512640 134714508 3221221776 3221219776 1074916669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6133 5410 1111 63 0 6070 0
vsize: 24532
[startup+550.325 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 417966 0 0 0 53977 1055 0 0 25 0 1 0 653588757 22716416 4835 4294967295 134512640 134714508 3221221776 3221215640 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5546 4835 1111 63 0 5483 0
vsize: 22184
[startup+560.326 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 427053 0 0 0 54954 1077 0 0 25 0 1 0 653588757 22679552 4826 4294967295 134512640 134714508 3221221776 3221219056 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5537 4826 1111 63 0 5474 0
vsize: 22148
[startup+570.326 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 434684 0 0 0 55936 1095 0 0 25 0 1 0 653588757 26054656 5572 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6361 5572 1111 63 0 6298 0
vsize: 25444
[startup+580.326 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 443921 0 0 0 56915 1117 0 0 25 0 1 0 653588757 24637440 5304 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5304 1111 63 0 5952 0
vsize: 24060
[startup+590.326 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 454175 0 0 0 57891 1141 0 0 25 0 1 0 653588757 23556096 5040 4294967295 134512640 134714508 3221221776 3221219248 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5751 5040 1111 63 0 5688 0
vsize: 23004
[startup+600.327 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 463573 0 0 0 58869 1164 0 0 25 0 1 0 653588757 24186880 5193 4294967295 134512640 134714508 3221221776 3221219600 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5905 5193 1111 63 0 5842 0
vsize: 23620
[startup+610.327 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 474611 0 0 0 59843 1189 0 0 25 0 1 0 653588757 24760320 5296 4294967295 134512640 134714508 3221221776 3221218880 1074138626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5296 1111 63 0 5982 0
vsize: 24180
[startup+620.327 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 482087 0 0 0 60825 1208 0 0 25 0 1 0 653588757 28704768 6247 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7008 6247 1111 63 0 6945 0
vsize: 28032
[startup+630.327 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 486086 0 0 0 61815 1218 0 0 25 0 1 0 653588757 29401088 6431 4294967295 134512640 134714508 3221221776 3221217780 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7178 6431 1111 63 0 7115 0
vsize: 28712
[startup+640.327 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 495645 0 0 0 62792 1241 0 0 25 0 1 0 653588757 28561408 6150 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6973 6150 1111 63 0 6910 0
vsize: 27892
[startup+650.328 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 504053 0 0 0 63771 1263 0 0 25 0 1 0 653588757 25067520 5408 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6120 5408 1111 63 0 6057 0
vsize: 24480
[startup+660.329 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 512250 0 0 0 64750 1283 0 0 25 0 1 0 653588757 25264128 5456 4294967295 134512640 134714508 3221221776 3221219504 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6168 5456 1111 63 0 6105 0
vsize: 24672
[startup+670.329 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 520709 0 0 0 65731 1303 0 0 25 0 1 0 653588757 25133056 5424 4294967295 134512640 134714508 3221221776 3221219120 1074153686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6136 5424 1111 63 0 6073 0
vsize: 24544
[startup+680.33 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 529026 0 0 0 66709 1325 0 0 25 0 1 0 653588757 25104384 5419 4294967295 134512640 134714508 3221221776 3221219568 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6129 5419 1111 63 0 6066 0
vsize: 24516
[startup+690.33 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 539001 0 0 0 67688 1347 0 0 25 0 1 0 653588757 25153536 5432 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6141 5432 1111 63 0 6078 0
vsize: 24564
[startup+700.331 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 548473 0 0 0 68666 1369 0 0 25 0 1 0 653588757 27074560 5457 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6610 5463 1111 63 0 6547 0
vsize: 26440
[startup+710.331 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 556805 0 0 0 69647 1387 0 0 25 0 1 0 653588757 25133056 5430 4294967295 134512640 134714508 3221221776 3221219696 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6136 5430 1111 63 0 6073 0
vsize: 24544
[startup+720.331 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 565061 0 0 0 70627 1407 0 0 25 0 1 0 653588757 28069888 6147 4294967295 134512640 134714508 3221221776 3221219776 1074916715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6853 6147 1111 63 0 6790 0
vsize: 27412
[startup+730.331 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 573293 0 0 0 71610 1425 0 0 25 0 1 0 653588757 28557312 6211 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6972 6211 1111 63 0 6909 0
vsize: 27888
[startup+740.332 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 580006 0 0 0 72592 1442 0 0 25 0 1 0 653588757 28069888 6147 4294967295 134512640 134714508 3221221776 3221219776 1074918319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6853 6147 1111 63 0 6790 0
vsize: 27412
[startup+750.332 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7874
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 586951 0 0 0 73576 1458 0 0 25 0 1 0 653588757 26546176 5775 4294967295 134512640 134714508 3221221776 3221219424 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5775 1111 63 0 6418 0
vsize: 25924
[startup+760.332 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 595665 0 0 0 74556 1478 0 0 25 0 1 0 653588757 28200960 6120 4294967295 134512640 134714508 3221221776 3221218376 1075850796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6885 6120 1111 63 0 6822 0
vsize: 27540
[startup+770.333 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 604367 0 0 0 75533 1501 0 0 25 0 1 0 653588757 24625152 5306 4294967295 134512640 134714508 3221221776 3221219744 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6012 5306 1111 63 0 5949 0
vsize: 24048
[startup+780.333 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 614161 0 0 0 76509 1526 0 0 25 0 1 0 653588757 24739840 5334 4294967295 134512640 134714508 3221221776 3221210704 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6040 5334 1111 63 0 5977 0
vsize: 24160
[startup+790.333 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 622763 0 0 0 77491 1544 0 0 25 0 1 0 653588757 28299264 6111 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6909 6111 1111 63 0 6846 0
vsize: 27636
[startup+800.334 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 632737 0 0 0 78466 1569 0 0 25 0 1 0 653588757 24911872 5376 4294967295 134512640 134714508 3221221776 3221219824 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6082 5376 1111 63 0 6019 0
vsize: 24328
[startup+810.335 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 640077 0 0 0 79449 1586 0 0 25 0 1 0 653588757 29159424 6355 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7119 6355 1111 63 0 7056 0
vsize: 28476
[startup+820.335 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 648412 0 0 0 80429 1606 0 0 25 0 1 0 653588757 29339648 6376 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7163 6376 1111 63 0 7100 0
vsize: 28652
[startup+830.335 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 658556 0 0 0 81406 1630 0 0 25 0 1 0 653588757 25833472 5561 4294967295 134512640 134714508 3221221776 3221219928 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5561 1111 63 0 6244 0
vsize: 25228
[startup+840.336 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 667167 0 0 0 82384 1652 0 0 25 0 1 0 653588757 26058752 5587 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6362 5587 1111 63 0 6299 0
vsize: 25448
[startup+850.337 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 675824 0 0 0 83365 1672 0 0 25 0 1 0 653588757 26062848 5609 4294967295 134512640 134714508 3221221776 3221220304 134648223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6363 5609 1111 63 0 6300 0
vsize: 25452
[startup+860.337 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 680462 0 0 0 84354 1682 0 0 25 0 1 0 653588757 25612288 5547 4294967295 134512640 134714508 3221221776 3221219200 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5547 1111 63 0 6190 0
vsize: 25012
[startup+870.337 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 689451 0 0 0 85333 1704 0 0 25 0 1 0 653588757 25796608 5590 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6298 5590 1111 63 0 6235 0
vsize: 25192
[startup+880.338 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 697876 0 0 0 86312 1725 0 0 25 0 1 0 653588757 25837568 5600 4294967295 134512640 134714508 3221221776 3221210528 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6308 5600 1111 63 0 6245 0
vsize: 25232
[startup+890.338 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 704304 0 0 0 87297 1740 0 0 25 0 1 0 653588757 29380608 6387 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7173 6387 1111 63 0 7110 0
vsize: 28692
[startup+900.338 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 711940 0 0 0 88280 1757 0 0 25 0 1 0 653588757 29380608 6382 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7173 6382 1111 63 0 7110 0
vsize: 28692
[startup+910.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 719657 0 0 0 89263 1774 0 0 25 0 1 0 653588757 29462528 6434 4294967295 134512640 134714508 3221221776 3221217760 1074875114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7193 6434 1111 63 0 7130 0
vsize: 28772
[startup+920.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 726704 0 0 0 90247 1791 0 0 25 0 1 0 653588757 29130752 6391 4294967295 134512640 134714508 3221221776 3221219776 1074918490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7112 6391 1111 63 0 7049 0
vsize: 28448
[startup+930.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 735709 0 0 0 91226 1812 0 0 25 0 1 0 653588757 29659136 6476 4294967295 134512640 134714508 3221221776 3221217848 1074950180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7241 6476 1111 63 0 7178 0
vsize: 28964
[startup+940.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 746009 0 0 0 92201 1837 0 0 25 0 1 0 653588757 25784320 5585 4294967295 134512640 134714508 3221221776 3221219688 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6295 5585 1111 63 0 6232 0
vsize: 25180
[startup+950.342 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 754746 0 0 0 93181 1857 0 0 25 0 1 0 653588757 26435584 5743 4294967295 134512640 134714508 3221221776 3221219100 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6454 5743 1111 63 0 6391 0
vsize: 25816
[startup+960.342 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 761700 0 0 0 94162 1876 0 0 25 0 1 0 653588757 30863360 6739 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7535 6739 1111 63 0 7472 0
vsize: 30140
[startup+970.342 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 769175 0 0 0 95142 1896 0 0 25 0 1 0 653588757 29671424 6521 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7244 6521 1111 63 0 7181 0
vsize: 28976
[startup+980.343 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 778804 0 0 0 96119 1919 0 0 25 0 1 0 653588757 26255360 5699 4294967295 134512640 134714508 3221221776 3221219920 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6410 5699 1111 63 0 6347 0
vsize: 25640
[startup+990.343 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 783891 0 0 0 97106 1932 0 0 25 0 1 0 653588757 26611712 5786 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6497 5786 1111 63 0 6434 0
vsize: 25988
[startup+1000.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 792317 0 0 0 98086 1952 0 0 25 0 1 0 653588757 26382336 5730 4294967295 134512640 134714508 3221221776 3221218208 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6441 5730 1111 63 0 6378 0
vsize: 25764
[startup+1010.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 800134 0 0 0 99068 1971 0 0 25 0 1 0 653588757 26054656 5649 4294967295 134512640 134714508 3221221776 3221213008 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6361 5649 1111 63 0 6298 0
vsize: 25444
[startup+1020.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 807804 0 0 0 100049 1990 0 0 25 0 1 0 653588757 26427392 5741 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+1030.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 816455 0 0 0 101030 2010 0 0 25 0 1 0 653588757 29376512 6354 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7172 6354 1111 63 0 7109 0
vsize: 28688
[startup+1040.34 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 823004 0 0 0 102014 2026 0 0 25 0 1 0 653588757 30932992 6829 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7552 6829 1111 63 0 7489 0
vsize: 30208
[startup+1050.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 831223 0 0 0 102994 2045 0 0 25 0 1 0 653588757 27557888 5957 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6728 5957 1111 63 0 6665 0
vsize: 26912
[startup+1060.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 838738 0 0 0 103978 2061 0 0 25 0 1 0 653588757 32694272 7204 4294967295 134512640 134714508 3221221776 3221217760 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7982 7204 1111 63 0 7919 0
vsize: 31928
[startup+1070.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 842659 0 0 0 104970 2070 0 0 25 0 1 0 653588757 31416320 6959 4294967295 134512640 134714508 3221221776 3221219776 1074918619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7670 6959 1111 63 0 7607 0
vsize: 30680
[startup+1080.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 850943 0 0 0 105950 2090 0 0 25 0 1 0 653588757 27615232 6031 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6742 6031 1111 63 0 6679 0
vsize: 26968
[startup+1090.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 860407 0 0 0 106929 2111 0 0 25 0 1 0 653588757 27246592 5941 4294967295 134512640 134714508 3221221776 3221219872 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6653 5942 1111 63 0 6590 0
vsize: 26608
[startup+1100.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 867850 0 0 0 107913 2128 0 0 25 0 1 0 653588757 32567296 7183 4294967295 134512640 134714508 3221221776 3221218048 1074799162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7951 7183 1111 63 0 7888 0
vsize: 31804
[startup+1110.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 875273 0 0 0 108895 2146 0 0 25 0 1 0 653588757 28348416 6134 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6921 6134 1111 63 0 6858 0
vsize: 27684
[startup+1120.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 883269 0 0 0 109876 2165 0 0 25 0 1 0 653588757 32571392 7180 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7952 7180 1111 63 0 7889 0
vsize: 31808
[startup+1130.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 890501 0 0 0 110859 2183 0 0 25 0 1 0 653588757 26247168 5690 4294967295 134512640 134714508 3221221776 3221219688 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6408 5690 1111 63 0 6345 0
vsize: 25632
[startup+1140.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 896005 0 0 0 111844 2197 0 0 25 0 1 0 653588757 28749824 6216 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7019 6216 1111 63 0 6956 0
vsize: 28076
[startup+1150.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 904296 0 0 0 112826 2215 0 0 25 0 1 0 653588757 33181696 7329 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8101 7329 1111 63 0 8038 0
vsize: 32404
[startup+1160.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 912220 0 0 0 113806 2235 0 0 25 0 1 0 653588757 28573696 6262 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6976 6262 1111 63 0 6913 0
vsize: 27904
[startup+1170.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 923017 0 0 0 114781 2261 0 0 25 0 1 0 653588757 28561408 6258 4294967295 134512640 134714508 3221221776 3221197648 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6973 6258 1111 63 0 6910 0
vsize: 27892
[startup+1180.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 929829 0 0 0 115767 2275 0 0 25 0 1 0 653588757 33857536 7551 4294967295 134512640 134714508 3221221776 3221219776 1074916785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8266 7551 1111 63 0 8203 0
vsize: 33064
[startup+1182.74 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 7877
Raw data (stat): 7819 (bsolo_lpr_cuts) R 7818 7876 7672 0 -1 0 929829 0 0 0 115767 2275 0 0 25 0 1 0 653588757 33857536 7551 4294967295 134512640 134714508 3221221776 3221219776 1074916785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8266 7551 1111 63 0 8203 0
vsize: 0

Child status: 10
Real time (s): 1182.74
CPU time (s): 1182.82
CPU user time (s): 1159.96
CPU system time (s): 22.8585
CPU usage (%): 100.007
Max. virtual memory (Kb): 33064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	76
#### END VERIFIER DATA ####