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-prom2.pi.opb
MD5SUM	4a63080ba3e63c3b77e35782a700d569
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	330
Optimality of the best value was proved	NO
Number of terms in the objective function	2618
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	2618
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2618
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	2617
Total number of constraints	1988
Number of constraints which are clauses	1988
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	1
Maximum length of a constraint	30
Trace number 40668

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        858208 kB
Buffers:         22984 kB
Cached:         129140 kB
SwapCached:       1148 kB
Active:          30684 kB
Inactive:       123728 kB
HighTotal:      131008 kB
HighFree:         3360 kB
LowTotal:       903652 kB
LowFree:        854848 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5264 kB
Slab:            16304 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:53:51 (client local time) WITH STATUS 0 IN 1200.16 SECONDS
stats: 28685 7 1200.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2618 variables and 1988 constraints.
c After prepocess the problem consists of 2609 variables and 1758 constraints.
c preprocess terminated 1.287 s
c Initial Lower Bound: 287
c Lower Bound Elapsed time: 22.095
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2613 @ 25.144
c NEW SOLUTION FOUND: 2612 @ 25.188
c NEW SOLUTION FOUND: 2611 @ 25.219
c NEW SOLUTION FOUND: 2610 @ 25.251
c NEW SOLUTION FOUND: 2609 @ 25.283
c NEW SOLUTION FOUND: 2608 @ 25.315
c NEW SOLUTION FOUND: 2607 @ 25.348
c NEW SOLUTION FOUND: 2606 @ 25.38
c NEW SOLUTION FOUND: 2605 @ 25.412
c NEW SOLUTION FOUND: 2604 @ 25.444
c NEW SOLUTION FOUND: 2603 @ 25.477
c NEW SOLUTION FOUND: 2602 @ 25.509
c NEW SOLUTION FOUND: 2601 @ 25.541
c NEW SOLUTION FOUND: 2600 @ 25.573
c NEW SOLUTION FOUND: 2599 @ 25.605
c NEW SOLUTION FOUND: 2598 @ 25.638
c NEW SOLUTION FOUND: 2597 @ 25.67
c NEW SOLUTION FOUND: 2596 @ 25.702
c NEW SOLUTION FOUND: 2595 @ 25.734
c NEW SOLUTION FOUND: 2594 @ 25.766
c NEW SOLUTION FOUND: 2593 @ 25.798
c NEW SOLUTION FOUND: 2592 @ 25.83
c NEW SOLUTION FOUND: 2591 @ 25.862
c NEW SOLUTION FOUND: 2590 @ 25.894
c NEW SOLUTION FOUND: 2589 @ 25.926
c NEW SOLUTION FOUND: 2588 @ 25.959
c NEW SOLUTION FOUND: 2587 @ 25.991
c NEW SOLUTION FOUND: 2586 @ 26.023
c NEW SOLUTION FOUND: 2585 @ 26.055
c NEW SOLUTION FOUND: 2584 @ 26.087
c NEW SOLUTION FOUND: 2583 @ 26.119
c NEW SOLUTION FOUND: 2582 @ 26.151
c NEW SOLUTION FOUND: 2581 @ 26.183
c NEW SOLUTION FOUND: 2580 @ 26.215
c NEW SOLUTION FOUND: 2579 @ 26.248
c NEW SOLUTION FOUND: 2578 @ 26.279
c NEW SOLUTION FOUND: 2577 @ 26.311
c NEW SOLUTION FOUND: 2576 @ 26.343
c NEW SOLUTION FOUND: 2575 @ 26.375
c NEW SOLUTION FOUND: 2574 @ 26.406
c NEW SOLUTION FOUND: 2573 @ 26.438
c NEW SOLUTION FOUND: 2572 @ 26.47
c NEW SOLUTION FOUND: 2571 @ 26.503
c NEW SOLUTION FOUND: 2570 @ 26.568
c NEW SOLUTION FOUND: 2569 @ 26.599
c NEW SOLUTION FOUND: 2568 @ 26.631
c NEW SOLUTION FOUND: 2567 @ 26.664
c NEW SOLUTION FOUND: 2566 @ 26.696
c NEW SOLUTION FOUND: 2565 @ 26.728
c NEW SOLUTION FOUND: 2564 @ 26.761
c NEW SOLUTION FOUND: 2563 @ 26.793
c NEW SOLUTION FOUND: 2562 @ 26.826
c NEW SOLUTION FOUND: 2561 @ 26.858
c NEW SOLUTION FOUND: 2560 @ 26.89
c NEW SOLUTION FOUND: 2559 @ 26.922
c NEW SOLUTION FOUND: 2558 @ 26.955
c NEW SOLUTION FOUND: 2557 @ 26.987
c NEW SOLUTION FOUND: 2556 @ 27.02
c NEW SOLUTION FOUND: 2555 @ 27.052
c NEW SOLUTION FOUND: 2554 @ 27.084
c NEW SOLUTION FOUND: 2553 @ 27.117
c NEW SOLUTION FOUND: 2552 @ 27.149
c NEW SOLUTION FOUND: 2551 @ 27.182
c NEW SOLUTION FOUND: 2550 @ 27.214
c NEW SOLUTION FOUND: 2549 @ 27.246
c NEW SOLUTION FOUND: 2548 @ 27.279
c NEW SOLUTION FOUND: 2547 @ 27.311
c NEW SOLUTION FOUND: 2546 @ 27.344
c NEW SOLUTION FOUND: 2545 @ 27.376
c NEW SOLUTION FOUND: 2544 @ 27.408
c NEW SOLUTION FOUND: 2543 @ 27.44
c NEW SOLUTION FOUND: 2542 @ 27.473
c NEW SOLUTION FOUND: 2541 @ 27.506
c NEW SOLUTION FOUND: 2540 @ 27.576
c NEW SOLUTION FOUND: 2539 @ 27.61
c NEW SOLUTION FOUND: 2538 @ 27.645
c NEW SOLUTION FOUND: 2537 @ 27.68
c NEW SOLUTION FOUND: 2536 @ 27.715
c NEW SOLUTION FOUND: 2535 @ 27.75
c NEW SOLUTION FOUND: 2534 @ 27.784
c NEW SOLUTION FOUND: 2533 @ 27.819
c NEW SOLUTION FOUND: 2532 @ 27.854
c NEW SOLUTION FOUND: 2531 @ 27.889
c NEW SOLUTION FOUND: 2530 @ 27.924
c NEW SOLUTION FOUND: 2529 @ 27.959
c NEW SOLUTION FOUND: 2528 @ 27.993
c NEW SOLUTION FOUND: 2527 @ 28.028
c NEW SOLUTION FOUND: 2526 @ 28.063
c NEW SOLUTION FOUND: 2525 @ 28.098
c NEW SOLUTION FOUND: 2524 @ 28.133
c NEW SOLUTION FOUND: 2523 @ 28.168
c NEW SOLUTION FOUND: 2522 @ 28.203
c NEW SOLUTION FOUND: 2521 @ 28.237
c NEW SOLUTION FOUND: 2520 @ 28.272
c NEW SOLUTION FOUND: 2519 @ 28.307
c NEW SOLUTION FOUND: 2518 @ 28.342
c NEW SOLUTION FOUND: 2517 @ 28.377
c NEW SOLUTION FOUND: 2516 @ 28.412
c NEW SOLUTION FOUND: 2515 @ 28.446
c NEW SOLUTION FOUND: 2514 @ 28.481
c NEW SOLUTION FOUND: 2513 @ 28.516
c NEW SOLUTION FOUND: 2512 @ 28.551
c NEW SOLUTION FOUND: 2511 @ 28.585
c NEW SOLUTION FOUND: 2510 @ 28.62
c NEW SOLUTION FOUND: 2509 @ 28.655
c NEW SOLUTION FOUND: 2508 @ 28.69
c NEW SOLUTION FOUND: 2507 @ 28.725
c NEW SOLUTION FOUND: 2506 @ 28.759
c NEW SOLUTION FOUND: 2505 @ 28.794
c NEW SOLUTION FOUND: 2504 @ 28.829
c NEW SOLUTION FOUND: 2503 @ 28.863
c NEW SOLUTION FOUND: 2502 @ 28.898
c NEW SOLUTION FOUND: 2501 @ 28.933
c NEW SOLUTION FOUND: 2500 @ 28.968
c NEW SOLUTION FOUND: 2499 @ 29.002
c NEW SOLUTION FOUND: 2498 @ 29.037
c NEW SOLUTION FOUND: 2497 @ 29.072
c NEW SOLUTION FOUND: 2496 @ 29.107
c NEW SOLUTION FOUND: 2495 @ 29.141
c NEW SOLUTION FOUND: 2494 @ 29.176
c NEW SOLUTION FOUND: 2493 @ 29.211
c NEW SOLUTION FOUND: 2492 @ 29.246
c NEW SOLUTION FOUND: 2491 @ 29.281
c NEW SOLUTION FOUND: 2490 @ 29.316
c NEW SOLUTION FOUND: 2489 @ 29.35
c NEW SOLUTION FOUND: 2488 @ 29.385
c NEW SOLUTION FOUND: 2487 @ 29.42
c NEW SOLUTION FOUND: 2486 @ 29.455
c NEW SOLUTION FOUND: 2485 @ 29.49
c NEW SOLUTION FOUND: 2484 @ 29.525
c NEW SOLUTION FOUND: 2483 @ 29.559
c NEW SOLUTION FOUND: 2482 @ 29.594
c NEW SOLUTION FOUND: 2481 @ 29.629
c NEW SOLUTION FOUND: 2480 @ 29.664
c NEW SOLUTION FOUND: 2479 @ 29.698
c NEW SOLUTION FOUND: 2478 @ 29.769
c NEW SOLUTION FOUND: 2477 @ 29.803
c NEW SOLUTION FOUND: 2476 @ 29.837
c NEW SOLUTION FOUND: 2475 @ 29.872
c NEW SOLUTION FOUND: 2474 @ 29.907
c NEW SOLUTION FOUND: 2473 @ 29.942
c NEW SOLUTION FOUND: 2472 @ 29.978
c NEW SOLUTION FOUND: 2471 @ 30.013
c NEW SOLUTION FOUND: 2470 @ 30.048
c NEW SOLUTION FOUND: 2469 @ 30.082
c NEW SOLUTION FOUND: 2468 @ 30.117
c NEW SOLUTION FOUND: 2467 @ 30.152
c NEW SOLUTION FOUND: 2466 @ 30.187
c NEW SOLUTION FOUND: 2465 @ 30.222
c NEW SOLUTION FOUND: 2464 @ 30.257
c NEW SOLUTION FOUND: 2463 @ 30.291
c NEW SOLUTION FOUND: 2462 @ 30.326
c NEW SOLUTION FOUND: 2461 @ 30.361
c NEW SOLUTION FOUND: 2460 @ 30.396
c NEW SOLUTION FOUND: 2459 @ 30.431
c NEW SOLUTION FOUND: 2458 @ 30.466
c NEW SOLUTION FOUND: 2457 @ 30.501
c NEW SOLUTION FOUND: 2456 @ 30.535
c NEW SOLUTION FOUND: 2455 @ 30.57
c NEW SOLUTION FOUND: 2454 @ 30.605
c NEW SOLUTION FOUND: 2453 @ 30.64
c NEW SOLUTION FOUND: 2452 @ 30.675
c NEW SOLUTION FOUND: 2451 @ 30.709
c NEW SOLUTION FOUND: 2450 @ 30.744
c NEW SOLUTION FOUND: 2449 @ 30.779
c NEW SOLUTION FOUND: 2448 @ 30.814
c NEW SOLUTION FOUND: 2447 @ 30.848
c NEW SOLUTION FOUND: 2446 @ 30.883
c NEW SOLUTION FOUND: 2445 @ 30.918
c NEW SOLUTION FOUND: 2444 @ 30.953
c NEW SOLUTION FOUND: 2443 @ 30.988
c NEW SOLUTION FOUND: 2442 @ 31.022
c NEW SOLUTION FOUND: 2441 @ 31.057
c NEW SOLUTION FOUND: 2440 @ 31.092
c NEW SOLUTION FOUND: 2439 @ 31.127
c NEW SOLUTION FOUND: 2438 @ 31.161
c NEW SOLUTION FOUND: 2437 @ 31.196
c NEW SOLUTION FOUND: 2436 @ 31.267
c NEW SOLUTION FOUND: 2435 @ 31.3
c NEW SOLUTION FOUND: 2434 @ 31.335
c NEW SOLUTION FOUND: 2433 @ 31.37
c NEW SOLUTION FOUND: 2432 @ 31.405
c NEW SOLUTION FOUND: 2431 @ 31.44
c NEW SOLUTION FOUND: 2430 @ 31.476
c NEW SOLUTION FOUND: 2429 @ 31.511
c NEW SOLUTION FOUND: 2428 @ 31.546
c NEW SOLUTION FOUND: 2427 @ 31.581
c NEW SOLUTION FOUND: 2426 @ 31.616
c NEW SOLUTION FOUND: 2425 @ 31.65
c NEW SOLUTION FOUND: 2424 @ 31.686
c NEW SOLUTION FOUND: 2423 @ 31.721
c NEW SOLUTION FOUND: 2422 @ 31.756
c NEW SOLUTION FOUND: 2421 @ 31.791
c NEW SOLUTION FOUND: 2420 @ 31.825
c NEW SOLUTION FOUND: 2419 @ 31.86
c NEW SOLUTION FOUND: 2418 @ 31.895
c NEW SOLUTION FOUND: 2417 @ 31.93
c NEW SOLUTION FOUND: 2416 @ 31.965
c NEW SOLUTION FOUND: 2415 @ 32
c NEW SOLUTION FOUND: 2414 @ 32.035
c NEW SOLUTION FOUND: 2413 @ 32.07
c NEW SOLUTION FOUND: 2412 @ 32.105
c NEW SOLUTION FOUND: 2411 @ 32.14
c NEW SOLUTION FOUND: 2410 @ 32.175
c NEW SOLUTION FOUND: 2409 @ 32.21
c NEW SOLUTION FOUND: 2408 @ 32.245
c NEW SOLUTION FOUND: 2407 @ 32.28
c NEW SOLUTION FOUND: 2406 @ 32.315
c NEW SOLUTION FOUND: 2405 @ 32.35
c NEW SOLUTION FOUND: 2404 @ 32.385
c NEW SOLUTION FOUND: 2403 @ 32.42
c NEW SOLUTION FOUND: 2402 @ 32.455
c NEW SOLUTION FOUND: 2401 @ 32.49
c NEW SOLUTION FOUND: 2400 @ 32.525
c NEW SOLUTION FOUND: 2399 @ 32.56
c NEW SOLUTION FOUND: 2398 @ 32.595
c NEW SOLUTION FOUND: 2397 @ 32.63
c NEW SOLUTION FOUND: 2396 @ 32.665
c NEW SOLUTION FOUND: 2395 @ 32.7
c NEW SOLUTION FOUND: 2394 @ 32.735
c NEW SOLUTION FOUND: 2393 @ 32.77
c NEW SOLUTION FOUND: 2392 @ 32.805
c NEW SOLUTION FOUND: 2391 @ 32.84
c NEW SOLUTION FOUND: 2390 @ 32.875
c NEW SOLUTION FOUND: 2389 @ 32.91
c NEW SOLUTION FOUND: 2388 @ 32.944
c NEW SOLUTION FOUND: 2387 @ 32.979
c NEW SOLUTION FOUND: 2386 @ 33.014
c NEW SOLUTION FOUND: 2385 @ 33.049
c NEW SOLUTION FOUND: 2384 @ 33.119
c NEW SOLUTION FOUND: 2383 @ 33.152
c NEW SOLUTION FOUND: 2382 @ 33.188
c NEW SOLUTION FOUND: 2381 @ 33.223
c NEW SOLUTION FOUND: 2380 @ 33.258
c NEW SOLUTION FOUND: 2379 @ 33.329
c NEW SOLUTION FOUND: 2378 @ 33.363
c NEW SOLUTION FOUND: 2377 @ 33.398
c NEW SOLUTION FOUND: 2376 @ 33.471
c NEW SOLUTION FOUND: 2375 @ 33.505
c NEW SOLUTION FOUND: 2374 @ 33.541
c NEW SOLUTION FOUND: 2373 @ 33.576
c NEW SOLUTION FOUND: 2372 @ 33.612
c NEW SOLUTION FOUND: 2371 @ 33.647
c NEW SOLUTION FOUND: 2370 @ 33.683
c NEW SOLUTION FOUND: 2369 @ 33.718
c NEW SOLUTION FOUND: 2368 @ 33.754
c NEW SOLUTION FOUND: 2367 @ 33.789
c NEW SOLUTION FOUND: 2366 @ 33.825
c NEW SOLUTION FOUND: 2365 @ 33.861
c NEW SOLUTION FOUND: 2364 @ 33.897
c NEW SOLUTION FOUND: 2363 @ 33.932
c NEW SOLUTION FOUND: 2362 @ 33.968
c NEW SOLUTION FOUND: 2361 @ 34.003
c NEW SOLUTION FOUND: 2360 @ 34.039
c NEW SOLUTION FOUND: 2359 @ 34.074
c NEW SOLUTION FOUND: 2358 @ 34.11
c NEW SOLUTION FOUND: 2357 @ 34.146
c NEW SOLUTION FOUND: 2356 @ 34.181
c NEW SOLUTION FOUND: 2355 @ 34.217
c NEW SOLUTION FOUND: 2354 @ 34.253
c NEW SOLUTION FOUND: 2353 @ 34.289
c NEW SOLUTION FOUND: 2352 @ 34.325
c NEW SOLUTION FOUND: 2351 @ 34.361
c NEW SOLUTION FOUND: 2350 @ 34.396
c NEW SOLUTION FOUND: 2349 @ 34.432
c NEW SOLUTION FOUND: 2348 @ 34.467
c NEW SOLUTION FOUND: 2347 @ 34.503
c NEW SOLUTION FOUND: 2346 @ 34.574
c NEW SOLUTION FOUND: 2345 @ 34.611
c NEW SOLUTION FOUND: 2344 @ 34.646
c NEW SOLUTION FOUND: 2343 @ 34.682
c NEW SOLUTION FOUND: 2342 @ 34.719
c NEW SOLUTION FOUND: 2341 @ 34.755
c NEW SOLUTION FOUND: 2340 @ 34.791
c NEW SOLUTION FOUND: 2339 @ 34.827
c NEW SOLUTION FOUND: 2338 @ 34.863
c NEW SOLUTION FOUND: 2337 @ 34.899
c NEW SOLUTION FOUND: 2336 @ 34.935
c NEW SOLUTION FOUND: 2335 @ 34.971
c NEW SOLUTION FOUND: 2334 @ 35.044
c NEW SOLUTION FOUND: 2333 @ 35.079
c NEW SOLUTION FOUND: 2332 @ 35.115
c NEW SOLUTION FOUND: 2331 @ 35.151
c NEW SOLUTION FOUND: 2330 @ 35.187
c NEW SOLUTION FOUND: 2329 @ 35.224
c NEW SOLUTION FOUND: 2328 @ 35.26
c NEW SOLUTION FOUND: 2327 @ 35.296
c NEW SOLUTION FOUND: 2326 @ 35.332
c NEW SOLUTION FOUND: 2325 @ 35.369
c NEW SOLUTION FOUND: 2324 @ 35.405
c NEW SOLUTION FOUND: 2323 @ 35.442
c NEW SOLUTION FOUND: 2322 @ 35.478
c NEW SOLUTION FOUND: 2321 @ 35.514
c NEW SOLUTION FOUND: 2320 @ 35.55
c NEW SOLUTION FOUND: 2319 @ 35.586
c NEW SOLUTION FOUND: 2318 @ 35.623
c NEW SOLUTION FOUND: 2317 @ 35.659
c NEW SOLUTION FOUND: 2316 @ 35.695
c NEW SOLUTION FOUND: 2315 @ 35.732
c NEW SOLUTION FOUND: 2314 @ 35.768
c NEW SOLUTION FOUND: 2313 @ 35.804
c NEW SOLUTION FOUND: 2312 @ 35.84
c NEW SOLUTION FOUND: 2311 @ 35.877
c NEW SOLUTION FOUND: 2310 @ 35.913
c NEW SOLUTION FOUND: 2309 @ 35.949
c NEW SOLUTION FOUND: 2308 @ 35.985
c NEW SOLUTION FOUND: 2307 @ 36.022
c NEW SOLUTION FOUND: 2306 @ 36.058
c NEW SOLUTION FOUND: 2305 @ 36.094
c NEW SOLUTION FOUND: 2304 @ 36.13
c NEW SOLUTION FOUND: 2303 @ 36.203
c NEW SOLUTION FOUND: 2302 @ 36.238
c NEW SOLUTION FOUND: 2301 @ 36.275
c NEW SOLUTION FOUND: 2300 @ 36.311
c NEW SOLUTION FOUND: 2299 @ 36.348
c NEW SOLUTION FOUND: 2298 @ 36.384
c NEW SOLUTION FOUND: 2297 @ 36.42
c NEW SOLUTION FOUND: 2296 @ 36.457
c NEW SOLUTION FOUND: 2295 @ 36.493
c NEW SOLUTION FOUND: 2294 @ 36.529
c NEW SOLUTION FOUND: 2293 @ 36.566
c NEW SOLUTION FOUND: 2292 @ 36.602
c NEW SOLUTION FOUND: 2291 @ 36.638
c NEW SOLUTION FOUND: 2290 @ 36.675
c NEW SOLUTION FOUND: 2289 @ 36.748
c NEW SOLUTION FOUND: 2288 @ 36.783
c NEW SOLUTION FOUND: 2287 @ 36.82
c NEW SOLUTION FOUND: 2286 @ 36.857
c NEW SOLUTION FOUND: 2285 @ 36.893
c NEW SOLUTION FOUND: 2284 @ 36.93
c NEW SOLUTION FOUND: 2283 @ 36.966
c NEW SOLUTION FOUND: 2282 @ 37.003
c NEW SOLUTION FOUND: 2281 @ 37.039
c NEW SOLUTION FOUND: 2280 @ 37.076
c NEW SOLUTION FOUND: 2279 @ 37.15
c NEW SOLUTION FOUND: 2278 @ 37.185
c NEW SOLUTION FOUND: 2277 @ 37.222
c NEW SOLUTION FOUND: 2276 @ 37.259
c NEW SOLUTION FOUND: 2275 @ 37.296
c NEW SOLUTION FOUND: 2274 @ 37.332
c NEW SOLUTION FOUND: 2273 @ 37.369
c NEW SOLUTION FOUND: 2272 @ 37.406
c NEW SOLUTION FOUND: 2271 @ 37.443
c NEW SOLUTION FOUND: 2270 @ 37.48
c NEW SOLUTION FOUND: 2269 @ 37.556
c NEW SOLUTION FOUND: 2268 @ 37.593
c NEW SOLUTION FOUND: 2267 @ 37.63
c NEW SOLUTION FOUND: 2266 @ 37.668
c NEW SOLUTION FOUND: 2265 @ 37.705
c NEW SOLUTION FOUND: 2264 @ 37.743
c NEW SOLUTION FOUND: 2263 @ 37.781
c NEW SOLUTION FOUND: 2262 @ 37.819
c NEW SOLUTION FOUND: 2261 @ 37.857
c NEW SOLUTION FOUND: 2260 @ 37.935
c NEW SOLUTION FOUND: 2259 @ 37.972
c NEW SOLUTION FOUND: 2258 @ 38.01
c NEW SOLUTION FOUND: 2257 @ 38.049
c NEW SOLUTION FOUND: 2256 @ 38.087
c NEW SOLUTION FOUND: 2255 @ 38.126
c NEW SOLUTION FOUND: 2254 @ 38.164
c NEW SOLUTION FOUND: 2253 @ 38.203
c NEW SOLUTION FOUND: 2252 @ 38.242
c NEW SOLUTION FOUND: 2251 @ 38.28
c NEW SOLUTION FOUND: 2250 @ 38.319
c NEW SOLUTION FOUND: 2249 @ 38.357
c NEW SOLUTION FOUND: 2248 @ 38.395
c NEW SOLUTION FOUND: 2247 @ 38.434
c NEW SOLUTION FOUND: 2246 @ 38.472
c NEW SOLUTION FOUND: 2245 @ 38.511
c NEW SOLUTION FOUND: 2244 @ 38.549
c NEW SOLUTION FOUND: 2243 @ 38.588
c NEW SOLUTION FOUND: 2242 @ 38.626
c NEW SOLUTION FOUND: 2241 @ 38.665
c NEW SOLUTION FOUND: 2240 @ 38.703
c NEW SOLUTION FOUND: 2239 @ 38.741
c NEW SOLUTION FOUND: 2238 @ 38.78
c NEW SOLUTION FOUND: 2237 @ 38.818
c NEW SOLUTION FOUND: 2236 @ 38.856
c NEW SOLUTION FOUND: 2235 @ 38.895
c NEW SOLUTION FOUND: 2234 @ 38.933
c NEW SOLUTION FOUND: 2233 @ 38.971
c NEW SOLUTION FOUND: 2232 @ 39.01
c NEW SOLUTION FOUND: 2231 @ 39.048
c NEW SOLUTION FOUND: 2230 @ 39.087
c NEW SOLUTION FOUND: 2229 @ 39.125
c NEW SOLUTION FOUND: 2228 @ 39.163
c NEW SOLUTION FOUND: 2227 @ 39.202
c NEW SOLUTION FOUND: 2226 @ 39.24
c NEW SOLUTION FOUND: 2225 @ 39.278
c NEW SOLUTION FOUND: 2224 @ 39.356
c NEW SOLUTION FOUND: 2223 @ 39.393
c NEW SOLUTION FOUND: 2222 @ 39.432
c NEW SOLUTION FOUND: 2221 @ 39.471
c NEW SOLUTION FOUND: 2220 @ 39.509
c NEW SOLUTION FOUND: 2219 @ 39.548
c NEW SOLUTION FOUND: 2218 @ 39.586
c NEW SOLUTION FOUND: 2217 @ 39.625
c NEW SOLUTION FOUND: 2216 @ 39.664
c NEW SOLUTION FOUND: 2215 @ 39.702
c NEW SOLUTION FOUND: 2214 @ 39.74
c NEW SOLUTION FOUND: 2213 @ 39.778
c NEW SOLUTION FOUND: 2212 @ 39.817
c NEW SOLUTION FOUND: 2211 @ 39.855
c NEW SOLUTION FOUND: 2210 @ 39.894
c NEW SOLUTION FOUND: 2209 @ 39.932
c NEW SOLUTION FOUND: 2208 @ 39.971
c NEW SOLUTION FOUND: 2207 @ 40.009
c NEW SOLUTION FOUND: 2206 @ 40.048
c NEW SOLUTION FOUND: 2205 @ 40.086
c NEW SOLUTION FOUND: 2204 @ 40.125
c NEW SOLUTION FOUND: 2203 @ 40.163
c NEW SOLUTION FOUND: 2202 @ 40.202
c NEW SOLUTION FOUND: 2201 @ 40.24
c NEW SOLUTION FOUND: 2200 @ 40.279
c NEW SOLUTION FOUND: 2199 @ 40.318
c NEW SOLUTION FOUND: 2198 @ 40.356
c NEW SOLUTION FOUND: 2197 @ 40.395
c NEW SOLUTION FOUND: 2196 @ 40.433
c NEW SOLUTION FOUND: 2195 @ 40.472
c NEW SOLUTION FOUND: 2194 @ 40.51
c NEW SOLUTION FOUND: 2193 @ 40.549
c NEW SOLUTION FOUND: 2192 @ 40.588
c NEW SOLUTION FOUND: 2191 @ 40.626
c NEW SOLUTION FOUND: 2190 @ 40.665
c NEW SOLUTION FOUND: 2189 @ 40.703
c NEW SOLUTION FOUND: 2188 @ 40.742
c NEW SOLUTION FOUND: 2187 @ 40.78
c NEW SOLUTION FOUND: 2186 @ 40.819
c NEW SOLUTION FOUND: 2185 @ 40.857
c NEW SOLUTION FOUND: 2184 @ 40.896
c NEW SOLUTION FOUND: 2183 @ 40.935
c NEW SOLUTION FOUND: 2182 @ 40.976
c NEW SOLUTION FOUND: 2181 @ 41.013
c NEW SOLUTION FOUND: 2180 @ 41.053
c NEW SOLUTION FOUND: 2179 @ 41.091
c NEW SOLUTION FOUND: 2178 @ 41.13
c NEW SOLUTION FOUND: 2177 @ 41.169
c NEW SOLUTION FOUND: 2176 @ 41.208
c NEW SOLUTION FOUND: 2175 @ 41.247
c NEW SOLUTION FOUND: 2174 @ 41.286
c NEW SOLUTION FOUND: 2173 @ 41.325
c NEW SOLUTION FOUND: 2172 @ 41.364
c NEW SOLUTION FOUND: 2171 @ 41.403
c NEW SOLUTION FOUND: 2170 @ 41.442
c NEW SOLUTION FOUND: 2169 @ 41.481
c NEW SOLUTION FOUND: 2168 @ 41.52
c NEW SOLUTION FOUND: 2167 @ 41.559
c NEW SOLUTION FOUND: 2166 @ 41.598
c NEW SOLUTION FOUND: 2165 @ 41.676
c NEW SOLUTION FOUND: 2164 @ 41.714
c NEW SOLUTION FOUND: 2163 @ 41.753
c NEW SOLUTION FOUND: 2162 @ 41.792
c NEW SOLUTION FOUND: 2161 @ 41.831
c NEW SOLUTION FOUND: 2160 @ 41.87
c NEW SOLUTION FOUND: 2159 @ 41.91
c NEW SOLUTION FOUND: 2158 @ 41.949
c NEW SOLUTION FOUND: 2157 @ 41.988
c NEW SOLUTION FOUND: 2156 @ 42.027
c NEW SOLUTION FOUND: 2155 @ 42.066
c NEW SOLUTION FOUND: 2154 @ 42.106
c NEW SOLUTION FOUND: 2153 @ 42.145
c NEW SOLUTION FOUND: 2152 @ 42.184
c NEW SOLUTION FOUND: 2151 @ 42.223
c NEW SOLUTION FOUND: 2150 @ 42.262
c NEW SOLUTION FOUND: 2149 @ 42.301
c NEW SOLUTION FOUND: 2148 @ 42.34
c NEW SOLUTION FOUND: 2147 @ 42.379
c NEW SOLUTION FOUND: 2146 @ 42.419
c NEW SOLUTION FOUND: 2145 @ 42.497
c NEW SOLUTION FOUND: 2144 @ 42.535
c NEW SOLUTION FOUND: 2143 @ 42.575
c NEW SOLUTION FOUND: 2142 @ 42.654
c NEW SOLUTION FOUND: 2141 @ 42.692
c NEW SOLUTION FOUND: 2140 @ 42.732
c NEW SOLUTION FOUND: 2139 @ 42.771
c NEW SOLUTION FOUND: 2138 @ 42.811
c NEW SOLUTION FOUND: 2137 @ 42.85
c NEW SOLUTION FOUND: 2136 @ 42.89
c NEW SOLUTION FOUND: 2135 @ 42.929
c NEW SOLUTION FOUND: 2134 @ 42.969
c NEW SOLUTION FOUND: 2133 @ 43.009
c NEW SOLUTION FOUND: 2132 @ 43.048
c NEW SOLUTION FOUND: 2131 @ 43.088
c NEW SOLUTION FOUND: 2130 @ 43.127
c NEW SOLUTION FOUND: 2129 @ 43.167
c NEW SOLUTION FOUND: 2128 @ 43.206
c NEW SOLUTION FOUND: 2127 @ 43.246
c NEW SOLUTION FOUND: 2126 @ 43.286
c NEW SOLUTION FOUND: 2125 @ 43.326
c NEW SOLUTION FOUND: 2124 @ 43.365
c NEW SOLUTION FOUND: 2123 @ 43.405
c NEW SOLUTION FOUND: 2122 @ 43.445
c NEW SOLUTION FOUND: 2121 @ 43.484
c NEW SOLUTION FOUND: 2120 @ 43.524
c NEW SOLUTION FOUND: 2119 @ 43.564
c NEW SOLUTION FOUND: 2118 @ 43.604
c NEW SOLUTION FOUND: 2117 @ 43.643
c NEW SOLUTION FOUND: 2116 @ 43.683
c NEW SOLUTION FOUND: 2115 @ 43.723
c NEW SOLUTION FOUND: 2114 @ 43.762
c NEW SOLUTION FOUND: 2113 @ 43.802
c NEW SOLUTION FOUND: 2112 @ 43.842
c NEW SOLUTION FOUND: 2111 @ 43.881
c NEW SOLUTION FOUND: 2110 @ 43.921
c NEW SOLUTION FOUND: 2109 @ 43.96
c NEW SOLUTION FOUND: 2108 @ 44
c NEW SOLUTION FOUND: 2107 @ 44.04
c NEW SOLUTION FOUND: 2106 @ 44.08
c NEW SOLUTION FOUND: 2105 @ 44.119
c NEW SOLUTION FOUND: 2104 @ 44.159
c NEW SOLUTION FOUND: 2103 @ 44.198
c NEW SOLUTION FOUND: 2102 @ 44.238
c NEW SOLUTION FOUND: 2101 @ 44.278
c NEW SOLUTION FOUND: 2100 @ 44.318
c NEW SOLUTION FOUND: 2099 @ 44.397
c NEW SOLUTION FOUND: 2098 @ 44.476
c NEW SOLUTION FOUND: 2097 @ 44.515
c NEW SOLUTION FOUND: 2096 @ 44.555
c NEW SOLUTION FOUND: 2095 @ 44.595
c NEW SOLUTION FOUND: 2094 @ 44.635
c NEW SOLUTION FOUND: 2093 @ 44.675
c NEW SOLUTION FOUND: 2092 @ 44.715
c NEW SOLUTION FOUND: 2091 @ 44.755
c NEW SOLUTION FOUND: 2090 @ 44.796
c NEW SOLUTION FOUND: 2089 @ 44.836
c NEW SOLUTION FOUND: 2088 @ 44.876
c NEW SOLUTION FOUND: 2087 @ 44.916
c NEW SOLUTION FOUND: 2086 @ 44.956
c NEW SOLUTION FOUND: 2085 @ 44.996
c NEW SOLUTION FOUND: 2084 @ 45.036
c NEW SOLUTION FOUND: 2083 @ 45.076
c NEW SOLUTION FOUND: 2082 @ 45.116
c NEW SOLUTION FOUND: 2081 @ 45.156
c NEW SOLUTION FOUND: 2080 @ 45.196
c NEW SOLUTION FOUND: 2079 @ 45.235
c NEW SOLUTION FOUND: 2078 @ 45.276
c NEW SOLUTION FOUND: 2077 @ 45.315
c NEW SOLUTION FOUND: 2076 @ 45.355
c NEW SOLUTION FOUND: 2075 @ 45.436
c NEW SOLUTION FOUND: 2074 @ 45.475
c NEW SOLUTION FOUND: 2073 @ 45.516
c NEW SOLUTION FOUND: 2072 @ 45.556
c NEW SOLUTION FOUND: 2071 @ 45.597
c NEW SOLUTION FOUND: 2070 @ 45.637
c NEW SOLUTION FOUND: 2069 @ 45.677
c NEW SOLUTION FOUND: 2068 @ 45.718
c NEW SOLUTION FOUND: 2067 @ 45.758
c NEW SOLUTION FOUND: 2066 @ 45.799
c NEW SOLUTION FOUND: 2065 @ 45.839
c NEW SOLUTION FOUND: 2064 @ 45.88
c NEW SOLUTION FOUND: 2063 @ 45.923
c NEW SOLUTION FOUND: 2062 @ 45.962
c NEW SOLUTION FOUND: 2061 @ 46.003
c NEW SOLUTION FOUND: 2060 @ 46.044
c NEW SOLUTION FOUND: 2059 @ 46.085
c NEW SOLUTION FOUND: 2058 @ 46.128
c NEW SOLUTION FOUND: 2057 @ 46.168
c NEW SOLUTION FOUND: 2056 @ 46.209
c NEW SOLUTION FOUND: 2055 @ 46.25
c NEW SOLUTION FOUND: 2054 @ 46.29
c NEW SOLUTION FOUND: 2053 @ 46.33
c NEW SOLUTION FOUND: 2052 @ 46.371
c NEW SOLUTION FOUND: 2051 @ 46.411
c NEW SOLUTION FOUND: 2050 @ 46.492
c NEW SOLUTION FOUND: 2049 @ 46.573
c NEW SOLUTION FOUND: 2048 @ 46.616
c NEW SOLUTION FOUND: 2047 @ 46.656
c NEW SOLUTION FOUND: 2046 @ 46.697
c NEW SOLUTION FOUND: 2045 @ 46.78
c NEW SOLUTION FOUND: 2044 @ 46.821
c NEW SOLUTION FOUND: 2043 @ 46.862
c NEW SOLUTION FOUND: 2042 @ 46.904
c NEW SOLUTION FOUND: 2041 @ 46.945
c NEW SOLUTION FOUND: 2040 @ 46.987
c NEW SOLUTION FOUND: 2039 @ 47.028
c NEW SOLUTION FOUND: 2038 @ 47.07
c NEW SOLUTION FOUND: 2037 @ 47.111
c NEW SOLUTION FOUND: 2036 @ 47.153
c NEW SOLUTION FOUND: 2035 @ 47.194
c NEW SOLUTION FOUND: 2034 @ 47.235
c NEW SOLUTION FOUND: 2033 @ 47.277
c NEW SOLUTION FOUND: 2032 @ 47.318
c NEW SOLUTION FOUND: 2031 @ 47.359
c NEW SOLUTION FOUND: 2030 @ 47.401
c NEW SOLUTION FOUND: 2029 @ 47.443
c NEW SOLUTION FOUND: 2028 @ 47.484
c NEW SOLUTION FOUND: 2027 @ 47.526
c NEW SOLUTION FOUND: 2026 @ 47.567
c NEW SOLUTION FOUND: 2025 @ 47.609
c NEW SOLUTION FOUND: 2024 @ 47.65
c NEW SOLUTION FOUND: 2023 @ 47.692
c NEW SOLUTION FOUND: 2022 @ 47.734
c NEW SOLUTION FOUND: 2021 @ 47.775
c NEW SOLUTION FOUND: 2020 @ 47.817
c NEW SOLUTION FOUND: 2019 @ 47.858
c NEW SOLUTION FOUND: 2018 @ 47.9
c NEW SOLUTION FOUND: 2017 @ 47.941
c NEW SOLUTION FOUND: 2016 @ 47.983
c NEW SOLUTION FOUND: 2015 @ 48.024
c NEW SOLUTION FOUND: 2014 @ 48.107
c NEW SOLUTION FOUND: 2013 @ 48.148
c NEW SOLUTION FOUND: 2012 @ 48.232
c NEW SOLUTION FOUND: 2011 @ 48.273
c NEW SOLUTION FOUND: 2010 @ 48.315
c NEW SOLUTION FOUND: 2009 @ 48.356
c NEW SOLUTION FOUND: 2008 @ 48.398
c NEW SOLUTION FOUND: 2007 @ 48.44
c NEW SOLUTION FOUND: 2006 @ 48.482
c NEW SOLUTION FOUND: 2005 @ 48.524
c NEW SOLUTION FOUND: 2004 @ 48.566
c NEW SOLUTION FOUND: 2003 @ 48.608
c NEW SOLUTION FOUND: 2002 @ 48.65
c NEW SOLUTION FOUND: 2001 @ 48.693
c NEW SOLUTION FOUND: 2000 @ 48.735
c NEW SOLUTION FOUND: 1999 @ 48.777
c NEW SOLUTION FOUND: 1998 @ 48.819
c NEW SOLUTION FOUND: 1997 @ 48.903
c NEW SOLUTION FOUND: 1996 @ 48.944
c NEW SOLUTION FOUND: 1995 @ 49.029
c NEW SOLUTION FOUND: 1994 @ 49.073
c NEW SOLUTION FOUND: 1993 @ 49.115
c NEW SOLUTION FOUND: 1992 @ 49.158
c NEW SOLUTION FOUND: 1991 @ 49.201
c NEW SOLUTION FOUND: 1990 @ 49.245
c NEW SOLUTION FOUND: 1989 @ 49.288
c NEW SOLUTION FOUND: 1988 @ 49.331
c NEW SOLUTION FOUND: 1987 @ 49.374
c NEW SOLUTION FOUND: 1986 @ 49.417
c NEW SOLUTION FOUND: 1985 @ 49.46
c NEW SOLUTION FOUND: 1984 @ 49.503
c NEW SOLUTION FOUND: 1983 @ 49.546
c NEW SOLUTION FOUND: 1982 @ 49.59
c NEW SOLUTION FOUND: 1981 @ 49.633
c NEW SOLUTION FOUND: 1980 @ 49.676
c NEW SOLUTION FOUND: 1979 @ 49.719
c NEW SOLUTION FOUND: 1978 @ 49.763
c NEW SOLUTION FOUND: 1977 @ 49.808
c NEW SOLUTION FOUND: 1976 @ 49.85
c NEW SOLUTION FOUND: 1975 @ 49.894
c NEW SOLUTION FOUND: 1974 @ 49.937
c NEW SOLUTION FOUND: 1973 @ 49.982
c NEW SOLUTION FOUND: 1972 @ 50.069
c NEW SOLUTION FOUND: 1971 @ 50.111
c NEW SOLUTION FOUND: 1970 @ 50.155
c NEW SOLUTION FOUND: 1969 @ 50.198
c NEW SOLUTION FOUND: 1968 @ 50.242
c NEW SOLUTION FOUND: 1967 @ 50.285
c NEW SOLUTION FOUND: 1966 @ 50.329
c NEW SOLUTION FOUND: 1965 @ 50.372
c NEW SOLUTION FOUND: 1964 @ 50.416
c NEW SOLUTION FOUND: 1963 @ 50.46
c NEW SOLUTION FOUND: 1962 @ 50.504
c NEW SOLUTION FOUND: 1961 @ 50.547
c NEW SOLUTION FOUND: 1960 @ 50.591
c NEW SOLUTION FOUND: 1959 @ 50.634
c NEW SOLUTION FOUND: 1958 @ 50.678
c NEW SOLUTION FOUND: 1957 @ 50.722
c NEW SOLUTION FOUND: 1956 @ 50.766
c NEW SOLUTION FOUND: 1955 @ 50.809
c NEW SOLUTION FOUND: 1954 @ 50.853
c NEW SOLUTION FOUND: 1953 @ 50.896
c NEW SOLUTION FOUND: 1952 @ 50.94
c NEW SOLUTION FOUND: 1951 @ 50.984
c NEW SOLUTION FOUND: 1950 @ 51.028
c NEW SOLUTION FOUND: 1949 @ 51.071
c NEW SOLUTION FOUND: 1948 @ 51.115
c NEW SOLUTION FOUND: 1947 @ 51.158
c NEW SOLUTION FOUND: 1946 @ 51.202
c NEW SOLUTION FOUND: 1945 @ 51.246
c NEW SOLUTION FOUND: 1944 @ 51.29
c NEW SOLUTION FOUND: 1943 @ 51.333
c NEW SOLUTION FOUND: 1942 @ 51.377
c NEW SOLUTION FOUND: 1941 @ 51.42
c NEW SOLUTION FOUND: 1940 @ 51.465
c NEW SOLUTION FOUND: 1939 @ 51.508
c NEW SOLUTION FOUND: 1938 @ 51.552
c NEW SOLUTION FOUND: 1937 @ 51.596
c NEW SOLUTION FOUND: 1936 @ 51.639
c NEW SOLUTION FOUND: 1935 @ 51.683
c NEW SOLUTION FOUND: 1934 @ 51.727
c NEW SOLUTION FOUND: 1933 @ 51.77
c NEW SOLUTION FOUND: 1932 @ 51.814
c NEW SOLUTION FOUND: 1931 @ 51.857
c NEW SOLUTION FOUND: 1930 @ 51.901
c NEW SOLUTION FOUND: 1929 @ 51.944
c NEW SOLUTION FOUND: 1928 @ 51.988
c NEW SOLUTION FOUND: 1927 @ 52.031
c NEW SOLUTION FOUND: 1926 @ 52.075
c NEW SOLUTION FOUND: 1925 @ 52.118
c NEW SOLUTION FOUND: 1924 @ 52.162
c NEW SOLUTION FOUND: 1923 @ 52.205
c NEW SOLUTION FOUND: 1922 @ 52.249
c NEW SOLUTION FOUND: 1921 @ 52.292
c NEW SOLUTION FOUND: 1920 @ 52.336
c NEW SOLUTION FOUND: 1919 @ 52.379
c NEW SOLUTION FOUND: 1918 @ 52.423
c NEW SOLUTION FOUND: 1917 @ 52.466
c NEW SOLUTION FOUND: 1916 @ 52.51
c NEW SOLUTION FOUND: 1915 @ 52.553
c NEW SOLUTION FOUND: 1914 @ 52.596
c NEW SOLUTION FOUND: 1913 @ 52.64
c NEW SOLUTION FOUND: 1912 @ 52.684
c NEW SOLUTION FOUND: 1911 @ 52.727
c NEW SOLUTION FOUND: 1910 @ 52.771
c NEW SOLUTION FOUND: 1909 @ 52.814
c NEW SOLUTION FOUND: 1908 @ 52.857
c NEW SOLUTION FOUND: 1907 @ 52.903
c NEW SOLUTION FOUND: 1906 @ 52.945
c NEW SOLUTION FOUND: 1905 @ 52.989
c NEW SOLUTION FOUND: 1904 @ 53.033
c NEW SOLUTION FOUND: 1903 @ 53.078
c NEW SOLUTION FOUND: 1902 @ 53.121
c NEW SOLUTION FOUND: 1901 @ 53.164
c NEW SOLUTION FOUND: 1900 @ 53.208
c NEW SOLUTION FOUND: 1899 @ 53.252
c NEW SOLUTION FOUND: 1898 @ 53.296
c NEW SOLUTION FOUND: 1897 @ 53.339
c NEW SOLUTION FOUND: 1896 @ 53.383
c NEW SOLUTION FOUND: 1895 @ 53.428
c NEW SOLUTION FOUND: 1894 @ 53.472
c NEW SOLUTION FOUND: 1893 @ 53.516
c NEW SOLUTION FOUND: 1892 @ 53.56
c NEW SOLUTION FOUND: 1891 @ 53.603
c NEW SOLUTION FOUND: 1890 @ 53.647
c NEW SOLUTION FOUND: 1889 @ 53.691
c NEW SOLUTION FOUND: 1888 @ 53.735
c NEW SOLUTION FOUND: 1887 @ 53.779
c NEW SOLUTION FOUND: 1886 @ 53.823
c NEW SOLUTION FOUND: 1885 @ 53.867
c NEW SOLUTION FOUND: 1884 @ 53.911
c NEW SOLUTION FOUND: 1883 @ 53.954
c NEW SOLUTION FOUND: 1882 @ 53.998
c NEW SOLUTION FOUND: 1881 @ 54.042
c NEW SOLUTION FOUND: 1880 @ 54.086
c NEW SOLUTION FOUND: 1879 @ 54.13
c NEW SOLUTION FOUND: 1878 @ 54.174
c NEW SOLUTION FOUND: 1877 @ 54.218
c NEW SOLUTION FOUND: 1876 @ 54.262
c NEW SOLUTION FOUND: 1875 @ 54.306
c NEW SOLUTION FOUND: 1874 @ 54.349
c NEW SOLUTION FOUND: 1873 @ 54.393
c NEW SOLUTION FOUND: 1872 @ 54.437
c NEW SOLUTION FOUND: 1871 @ 54.48
c NEW SOLUTION FOUND: 1870 @ 54.525
c NEW SOLUTION FOUND: 1869 @ 54.569
c NEW SOLUTION FOUND: 1868 @ 54.612
c NEW SOLUTION FOUND: 1867 @ 54.656
c NEW SOLUTION FOUND: 1866 @ 54.7
c NEW SOLUTION FOUND: 1865 @ 54.744
c NEW SOLUTION FOUND: 1864 @ 54.788
c NEW SOLUTION FOUND: 1863 @ 54.832
c NEW SOLUTION FOUND: 1862 @ 54.875
c NEW SOLUTION FOUND: 1861 @ 54.919
c NEW SOLUTION FOUND: 1860 @ 54.962
c NEW SOLUTION FOUND: 1859 @ 55.006
c NEW SOLUTION FOUND: 1858 @ 55.05
c NEW SOLUTION FOUND: 1857 @ 55.093
c NEW SOLUTION FOUND: 1856 @ 55.137
c NEW SOLUTION FOUND: 1855 @ 55.181
c NEW SOLUTION FOUND: 1854 @ 55.225
c NEW SOLUTION FOUND: 1853 @ 55.269
c NEW SOLUTION FOUND: 1852 @ 55.313
c NEW SOLUTION FOUND: 1851 @ 55.357
c NEW SOLUTION FOUND: 1850 @ 55.401
c NEW SOLUTION FOUND: 1849 @ 55.446
c NEW SOLUTION FOUND: 1848 @ 55.489
c NEW SOLUTION FOUND: 1847 @ 55.534
c NEW SOLUTION FOUND: 1846 @ 55.577
c NEW SOLUTION FOUND: 1845 @ 55.621
c NEW SOLUTION FOUND: 1844 @ 55.665
c NEW SOLUTION FOUND: 1843 @ 55.71
c NEW SOLUTION FOUND: 1842 @ 55.753
c NEW SOLUTION FOUND: 1841 @ 55.798
c NEW SOLUTION FOUND: 1840 @ 55.841
c NEW SOLUTION FOUND: 1839 @ 55.885
c NEW SOLUTION FOUND: 1838 @ 55.929
c NEW SOLUTION FOUND: 1837 @ 55.973
c NEW SOLUTION FOUND: 1836 @ 56.017
c NEW SOLUTION FOUND: 1835 @ 56.061
c NEW SOLUTION FOUND: 1834 @ 56.105
c NEW SOLUTION FOUND: 1833 @ 56.149
c NEW SOLUTION FOUND: 1832 @ 56.192
c NEW SOLUTION FOUND: 1831 @ 56.237
c NEW SOLUTION FOUND: 1830 @ 56.28
c NEW SOLUTION FOUND: 1829 @ 56.324
c NEW SOLUTION FOUND: 1828 @ 56.367
c NEW SOLUTION FOUND: 1827 @ 56.411
c NEW SOLUTION FOUND: 1826 @ 56.455
c NEW SOLUTION FOUND: 1825 @ 56.499
c NEW SOLUTION FOUND: 1824 @ 56.542
c NEW SOLUTION FOUND: 1823 @ 56.586
c NEW SOLUTION FOUND: 1822 @ 56.63
c NEW SOLUTION FOUND: 1821 @ 56.674
c NEW SOLUTION FOUND: 1820 @ 56.718
c NEW SOLUTION FOUND: 1819 @ 56.762
c NEW SOLUTION FOUND: 1818 @ 56.805
c NEW SOLUTION FOUND: 1817 @ 56.849
c NEW SOLUTION FOUND: 1816 @ 56.892
c NEW SOLUTION FOUND: 1815 @ 56.936
c NEW SOLUTION FOUND: 1814 @ 56.979
c NEW SOLUTION FOUND: 1813 @ 57.023
c NEW SOLUTION FOUND: 1812 @ 57.066
c NEW SOLUTION FOUND: 1811 @ 57.11
c NEW SOLUTION FOUND: 1810 @ 57.153
c NEW SOLUTION FOUND: 1809 @ 57.197
c NEW SOLUTION FOUND: 1808 @ 57.24
c NEW SOLUTION FOUND: 1807 @ 57.284
c NEW SOLUTION FOUND: 1806 @ 57.327
c NEW SOLUTION FOUND: 1805 @ 57.371
c NEW SOLUTION FOUND: 1804 @ 57.414
c NEW SOLUTION FOUND: 1803 @ 57.459
c NEW SOLUTION FOUND: 1802 @ 57.502
c NEW SOLUTION FOUND: 1801 @ 57.546
c NEW SOLUTION FOUND: 1800 @ 57.589
c NEW SOLUTION FOUND: 1799 @ 57.633
c NEW SOLUTION FOUND: 1798 @ 57.677
c NEW SOLUTION FOUND: 1797 @ 57.721
c NEW SOLUTION FOUND: 1796 @ 57.764
c NEW SOLUTION FOUND: 1795 @ 57.852
c NEW SOLUTION FOUND: 1794 @ 57.895
c NEW SOLUTION FOUND: 1793 @ 57.938
c NEW SOLUTION FOUND: 1792 @ 57.982
c NEW SOLUTION FOUND: 1791 @ 58.026
c NEW SOLUTION FOUND: 1790 @ 58.07
c NEW SOLUTION FOUND: 1789 @ 58.114
c NEW SOLUTION FOUND: 1788 @ 58.157
c NEW SOLUTION FOUND: 1787 @ 58.201
c NEW SOLUTION FOUND: 1786 @ 58.245
c NEW SOLUTION FOUND: 1785 @ 58.288
c NEW SOLUTION FOUND: 1784 @ 58.332
c NEW SOLUTION FOUND: 1783 @ 58.376
c NEW SOLUTION FOUND: 1782 @ 58.42
c NEW SOLUTION FOUND: 1781 @ 58.464
c NEW SOLUTION FOUND: 1780 @ 58.507
c NEW SOLUTION FOUND: 1779 @ 58.551
c NEW SOLUTION FOUND: 1778 @ 58.595
c NEW SOLUTION FOUND: 1777 @ 58.638
c NEW SOLUTION FOUND: 1776 @ 58.682
c NEW SOLUTION FOUND: 1775 @ 58.726
c NEW SOLUTION FOUND: 1774 @ 58.77
c NEW SOLUTION FOUND: 1773 @ 58.814
c NEW SOLUTION FOUND: 1772 @ 58.858
c NEW SOLUTION FOUND: 1771 @ 58.901
c NEW SOLUTION FOUND: 1770 @ 58.945
c NEW SOLUTION FOUND: 1769 @ 58.989
c NEW SOLUTION FOUND: 1768 @ 59.033
c NEW SOLUTION FOUND: 1767 @ 59.076
c NEW SOLUTION FOUND: 1766 @ 59.12
c NEW SOLUTION FOUND: 1765 @ 59.164
c NEW SOLUTION FOUND: 1764 @ 59.208
c NEW SOLUTION FOUND: 1763 @ 59.251
c NEW SOLUTION FOUND: 1762 @ 59.295
c NEW SOLUTION FOUND: 1761 @ 59.339
c NEW SOLUTION FOUND: 1760 @ 59.382
c NEW SOLUTION FOUND: 1759 @ 59.427
c NEW SOLUTION FOUND: 1758 @ 59.47
c NEW SOLUTION FOUND: 1757 @ 59.514
c NEW SOLUTION FOUND: 1756 @ 59.558
c NEW SOLUTION FOUND: 1755 @ 59.645
c NEW SOLUTION FOUND: 1754 @ 59.688
c NEW SOLUTION FOUND: 1753 @ 59.732
c NEW SOLUTION FOUND: 1752 @ 59.775
c NEW SOLUTION FOUND: 1751 @ 59.862
c NEW SOLUTION FOUND: 1750 @ 59.905
c NEW SOLUTION FOUND: 1749 @ 59.949
c NEW SOLUTION FOUND: 1748 @ 59.994
c NEW SOLUTION FOUND: 1747 @ 60.038
c NEW SOLUTION FOUND: 1746 @ 60.082
c NEW SOLUTION FOUND: 1745 @ 60.128
c NEW SOLUTION FOUND: 1744 @ 60.171
c NEW SOLUTION FOUND: 1743 @ 60.216
c NEW SOLUTION FOUND: 1742 @ 60.263
c NEW SOLUTION FOUND: 1741 @ 60.351
c NEW SOLUTION FOUND: 1740 @ 60.395
c NEW SOLUTION FOUND: 1739 @ 60.44
c NEW SOLUTION FOUND: 1738 @ 60.485
c NEW SOLUTION FOUND: 1737 @ 60.53
c NEW SOLUTION FOUND: 1736 @ 60.619
c NEW SOLUTION FOUND: 1735 @ 60.663
c NEW SOLUTION FOUND: 1734 @ 60.709
c NEW SOLUTION FOUND: 1733 @ 60.755
c NEW SOLUTION FOUND: 1732 @ 60.801
c NEW SOLUTION FOUND: 1731 @ 60.846
c NEW SOLUTION FOUND: 1730 @ 60.892
c NEW SOLUTION FOUND: 1729 @ 60.938
c NEW SOLUTION FOUND: 1728 @ 60.983
c NEW SOLUTION FOUND: 1727 @ 61.029
c NEW SOLUTION FOUND: 1726 @ 61.075
c NEW SOLUTION FOUND: 1725 @ 61.121
c NEW SOLUTION FOUND: 1724 @ 61.167
c NEW SOLUTION FOUND: 1723 @ 61.213
c NEW SOLUTION FOUND: 1722 @ 61.258
c NEW SOLUTION FOUND: 1721 @ 61.304
c NEW SOLUTION FOUND: 1720 @ 61.35
c NEW SOLUTION FOUND: 1719 @ 61.397
c NEW SOLUTION FOUND: 1718 @ 61.442
c NEW SOLUTION FOUND: 1717 @ 61.488
c NEW SOLUTION FOUND: 1716 @ 61.534
c NEW SOLUTION FOUND: 1715 @ 61.58
c NEW SOLUTION FOUND: 1714 @ 61.626
c NEW SOLUTION FOUND: 1713 @ 61.672
c NEW SOLUTION FOUND: 1712 @ 61.718
c NEW SOLUTION FOUND: 1711 @ 61.764
c NEW SOLUTION FOUND: 1710 @ 61.809
c NEW SOLUTION FOUND: 1709 @ 61.855
c NEW SOLUTION FOUND: 1708 @ 61.901
c NEW SOLUTION FOUND: 1707 @ 61.948
c NEW SOLUTION FOUND: 1706 @ 61.994
c NEW SOLUTION FOUND: 1705 @ 62.04
c NEW SOLUTION FOUND: 1704 @ 62.088
c NEW SOLUTION FOUND: 1703 @ 62.132
c NEW SOLUTION FOUND: 1702 @ 62.179
c NEW SOLUTION FOUND: 1701 @ 62.225
c NEW SOLUTION FOUND: 1700 @ 62.271
c NEW SOLUTION FOUND: 1699 @ 62.317
c NEW SOLUTION FOUND: 1698 @ 62.364
c NEW SOLUTION FOUND: 1697 @ 62.409
c NEW SOLUTION FOUND: 1696 @ 62.456
c NEW SOLUTION FOUND: 1695 @ 62.502
c NEW SOLUTION FOUND: 1694 @ 62.548
c NEW SOLUTION FOUND: 1693 @ 62.639
c NEW SOLUTION FOUND: 1692 @ 62.685
c NEW SOLUTION FOUND: 1691 @ 62.731
c NEW SOLUTION FOUND: 1690 @ 62.777
c NEW SOLUTION FOUND: 1689 @ 62.824
c NEW SOLUTION FOUND: 1688 @ 62.87
c NEW SOLUTION FOUND: 1687 @ 62.917
c NEW SOLUTION FOUND: 1686 @ 62.963
c NEW SOLUTION FOUND: 1685 @ 63.009
c NEW SOLUTION FOUND: 1684 @ 63.056
c NEW SOLUTION FOUND: 1683 @ 63.102
c NEW SOLUTION FOUND: 1682 @ 63.148
c NEW SOLUTION FOUND: 1681 @ 63.194
c NEW SOLUTION FOUND: 1680 @ 63.241
c NEW SOLUTION FOUND: 1679 @ 63.287
c NEW SOLUTION FOUND: 1678 @ 63.333
c NEW SOLUTION FOUND: 1677 @ 63.379
c NEW SOLUTION FOUND: 1676 @ 63.426
c NEW SOLUTION FOUND: 1675 @ 63.472
c NEW SOLUTION FOUND: 1674 @ 63.518
c NEW SOLUTION FOUND: 1673 @ 63.564
c NEW SOLUTION FOUND: 1672 @ 63.611
c NEW SOLUTION FOUND: 1671 @ 63.657
c NEW SOLUTION FOUND: 1670 @ 63.703
c NEW SOLUTION FOUND: 1669 @ 63.749
c NEW SOLUTION FOUND: 1668 @ 63.796
c NEW SOLUTION FOUND: 1667 @ 63.842
c NEW SOLUTION FOUND: 1666 @ 63.888
c NEW SOLUTION FOUND: 1665 @ 63.934
c NEW SOLUTION FOUND: 1664 @ 63.981
c NEW SOLUTION FOUND: 1663 @ 64.027
c NEW SOLUTION FOUND: 1662 @ 64.074
c NEW SOLUTION FOUND: 1661 @ 64.119
c NEW SOLUTION FOUND: 1660 @ 64.166
c NEW SOLUTION FOUND: 1659 @ 64.212
c NEW SOLUTION FOUND: 1658 @ 64.258
c NEW SOLUTION FOUND: 1657 @ 64.304
c NEW SOLUTION FOUND: 1656 @ 64.351
c NEW SOLUTION FOUND: 1655 @ 64.396
c NEW SOLUTION FOUND: 1654 @ 64.443
c NEW SOLUTION FOUND: 1653 @ 64.488
c NEW SOLUTION FOUND: 1652 @ 64.535
c NEW SOLUTION FOUND: 1651 @ 64.581
c NEW SOLUTION FOUND: 1650 @ 64.627
c NEW SOLUTION FOUND: 1649 @ 64.673
c NEW SOLUTION FOUND: 1648 @ 64.719
c NEW SOLUTION FOUND: 1647 @ 64.765
c NEW SOLUTION FOUND: 1646 @ 64.812
c NEW SOLUTION FOUND: 1645 @ 64.859
c NEW SOLUTION FOUND: 1644 @ 64.906
c NEW SOLUTION FOUND: 1643 @ 64.952
c NEW SOLUTION FOUND: 1642 @ 64.999
c NEW SOLUTION FOUND: 1641 @ 65.045
c NEW SOLUTION FOUND: 1640 @ 65.092
c NEW SOLUTION FOUND: 1639 @ 65.138
c NEW SOLUTION FOUND: 1638 @ 65.185
c NEW SOLUTION FOUND: 1637 @ 65.231
c NEW SOLUTION FOUND: 1636 @ 65.278
c NEW SOLUTION FOUND: 1635 @ 65.324
c NEW SOLUTION FOUND: 1634 @ 65.37
c NEW SOLUTION FOUND: 1633 @ 65.416
c NEW SOLUTION FOUND: 1632 @ 65.462
c NEW SOLUTION FOUND: 1631 @ 65.507
c NEW SOLUTION FOUND: 1630 @ 65.554
c NEW SOLUTION FOUND: 1629 @ 65.6
c NEW SOLUTION FOUND: 1628 @ 65.647
c NEW SOLUTION FOUND: 1627 @ 65.739
c NEW SOLUTION FOUND: 1626 @ 65.784
c NEW SOLUTION FOUND: 1625 @ 65.83
c NEW SOLUTION FOUND: 1624 @ 65.877
c NEW SOLUTION FOUND: 1623 @ 65.923
c NEW SOLUTION FOUND: 1622 @ 65.969
c NEW SOLUTION FOUND: 1621 @ 66.015
c NEW SOLUTION FOUND: 1620 @ 66.062
c NEW SOLUTION FOUND: 1619 @ 66.108
c NEW SOLUTION FOUND: 1618 @ 66.155
c NEW SOLUTION FOUND: 1617 @ 66.201
c NEW SOLUTION FOUND: 1616 @ 66.247
c NEW SOLUTION FOUND: 1615 @ 66.293
c NEW SOLUTION FOUND: 1614 @ 66.34
c NEW SOLUTION FOUND: 1613 @ 66.386
c NEW SOLUTION FOUND: 1612 @ 66.432
c NEW SOLUTION FOUND: 1611 @ 66.478
c NEW SOLUTION FOUND: 1610 @ 66.525
c NEW SOLUTION FOUND: 1609 @ 66.57
c NEW SOLUTION FOUND: 1608 @ 66.618
c NEW SOLUTION FOUND: 1607 @ 66.664
c NEW SOLUTION FOUND: 1606 @ 66.711
c NEW SOLUTION FOUND: 1605 @ 66.758
c NEW SOLUTION FOUND: 1604 @ 66.804
c NEW SOLUTION FOUND: 1603 @ 66.852
c NEW SOLUTION FOUND: 1602 @ 66.898
c NEW SOLUTION FOUND: 1601 @ 66.945
c NEW SOLUTION FOUND: 1600 @ 66.992
c NEW SOLUTION FOUND: 1599 @ 67.038
c NEW SOLUTION FOUND: 1598 @ 67.085
c NEW SOLUTION FOUND: 1597 @ 67.131
c NEW SOLUTION FOUND: 1596 @ 67.178
c NEW SOLUTION FOUND: 1595 @ 67.225
c NEW SOLUTION FOUND: 1594 @ 67.271
c NEW SOLUTION FOUND: 1593 @ 67.318
c NEW SOLUTION FOUND: 1592 @ 67.364
c NEW SOLUTION FOUND: 1591 @ 67.411
c NEW SOLUTION FOUND: 1590 @ 67.458
c NEW SOLUTION FOUND: 1589 @ 67.505
c NEW SOLUTION FOUND: 1588 @ 67.552
c NEW SOLUTION FOUND: 1587 @ 67.598
c NEW SOLUTION FOUND: 1586 @ 67.645
c NEW SOLUTION FOUND: 1585 @ 67.691
c NEW SOLUTION FOUND: 1584 @ 67.738
c NEW SOLUTION FOUND: 1583 @ 67.784
c NEW SOLUTION FOUND: 1582 @ 67.831
c NEW SOLUTION FOUND: 1581 @ 67.878
c NEW SOLUTION FOUND: 1580 @ 67.925
c NEW SOLUTION FOUND: 1579 @ 67.972
c NEW SOLUTION FOUND: 1578 @ 68.018
c NEW SOLUTION FOUND: 1577 @ 68.066
c NEW SOLUTION FOUND: 1576 @ 68.112
c NEW SOLUTION FOUND: 1575 @ 68.159
c NEW SOLUTION FOUND: 1574 @ 68.206
c NEW SOLUTION FOUND: 1573 @ 68.253
c NEW SOLUTION FOUND: 1572 @ 68.3
c NEW SOLUTION FOUND: 1571 @ 68.347
c NEW SOLUTION FOUND: 1570 @ 68.393
c NEW SOLUTION FOUND: 1569 @ 68.44
c NEW SOLUTION FOUND: 1568 @ 68.487
c NEW SOLUTION FOUND: 1567 @ 68.534
c NEW SOLUTION FOUND: 1566 @ 68.581
c NEW SOLUTION FOUND: 1565 @ 68.627
c NEW SOLUTION FOUND: 1564 @ 68.674
c NEW SOLUTION FOUND: 1563 @ 68.72
c NEW SOLUTION FOUND: 1562 @ 68.767
c NEW SOLUTION FOUND: 1561 @ 68.813
c NEW SOLUTION FOUND: 1560 @ 68.86
c NEW SOLUTION FOUND: 1559 @ 68.906
c NEW SOLUTION FOUND: 1558 @ 68.953
c NEW SOLUTION FOUND: 1557 @ 69
c NEW SOLUTION FOUND: 1556 @ 69.046
c NEW SOLUTION FOUND: 1555 @ 69.093
c NEW SOLUTION FOUND: 1554 @ 69.139
c NEW SOLUTION FOUND: 1553 @ 69.186
c NEW SOLUTION FOUND: 1552 @ 69.232
c NEW SOLUTION FOUND: 1551 @ 69.28
c NEW SOLUTION FOUND: 1550 @ 69.326
c NEW SOLUTION FOUND: 1549 @ 69.373
c NEW SOLUTION FOUND: 1548 @ 69.419
c NEW SOLUTION FOUND: 1547 @ 69.466
c NEW SOLUTION FOUND: 1546 @ 69.512
c NEW SOLUTION FOUND: 1545 @ 69.559
c NEW SOLUTION FOUND: 1544 @ 69.605
c NEW SOLUTION FOUND: 1543 @ 69.651
c NEW SOLUTION FOUND: 1542 @ 69.699
c NEW SOLUTION FOUND: 1541 @ 69.747
c NEW SOLUTION FOUND: 1540 @ 69.793
c NEW SOLUTION FOUND: 1539 @ 69.84
c NEW SOLUTION FOUND: 1538 @ 69.887
c NEW SOLUTION FOUND: 1537 @ 69.934
c NEW SOLUTION FOUND: 1536 @ 69.981
c NEW SOLUTION FOUND: 1535 @ 70.027
c NEW SOLUTION FOUND: 1534 @ 70.074
c NEW SOLUTION FOUND: 1533 @ 70.121
c NEW SOLUTION FOUND: 1532 @ 70.168
c NEW SOLUTION FOUND: 1531 @ 70.215
c NEW SOLUTION FOUND: 1530 @ 70.263
c NEW SOLUTION FOUND: 1529 @ 70.309
c NEW SOLUTION FOUND: 1528 @ 70.356
c NEW SOLUTION FOUND: 1527 @ 70.402
c NEW SOLUTION FOUND: 1526 @ 70.449
c NEW SOLUTION FOUND: 1525 @ 70.496
c NEW SOLUTION FOUND: 1524 @ 70.543
c NEW SOLUTION FOUND: 1523 @ 70.59
c NEW SOLUTION FOUND: 1522 @ 70.637
c NEW SOLUTION FOUND: 1521 @ 70.684
c NEW SOLUTION FOUND: 1520 @ 70.731
c NEW SOLUTION FOUND: 1519 @ 70.777
c NEW SOLUTION FOUND: 1518 @ 70.824
c NEW SOLUTION FOUND: 1517 @ 70.87
c NEW SOLUTION FOUND: 1516 @ 70.917
c NEW SOLUTION FOUND: 1515 @ 70.964
c NEW SOLUTION FOUND: 1514 @ 71.011
c NEW SOLUTION FOUND: 1513 @ 71.058
c NEW SOLUTION FOUND: 1512 @ 71.105
c NEW SOLUTION FOUND: 1511 @ 71.152
c NEW SOLUTION FOUND: 1510 @ 71.199
c NEW SOLUTION FOUND: 1509 @ 71.245
c NEW SOLUTION FOUND: 1508 @ 71.292
c NEW SOLUTION FOUND: 1507 @ 71.339
c NEW SOLUTION FOUND: 1506 @ 71.385
c NEW SOLUTION FOUND: 1505 @ 71.432
c NEW SOLUTION FOUND: 1504 @ 71.478
c NEW SOLUTION FOUND: 1503 @ 71.525
c NEW SOLUTION FOUND: 1502 @ 71.572
c NEW SOLUTION FOUND: 1501 @ 71.619
c NEW SOLUTION FOUND: 1500 @ 71.666
c NEW SOLUTION FOUND: 1499 @ 71.712
c NEW SOLUTION FOUND: 1498 @ 71.759
c NEW SOLUTION FOUND: 1497 @ 71.805
c NEW SOLUTION FOUND: 1496 @ 71.853
c NEW SOLUTION FOUND: 1495 @ 71.901
c NEW SOLUTION FOUND: 1494 @ 71.948
c NEW SOLUTION FOUND: 1493 @ 71.996
c NEW SOLUTION FOUND: 1492 @ 72.043
c NEW SOLUTION FOUND: 1491 @ 72.091
c NEW SOLUTION FOUND: 1490 @ 72.138
c NEW SOLUTION FOUND: 1489 @ 72.186
c NEW SOLUTION FOUND: 1488 @ 72.232
c NEW SOLUTION FOUND: 1487 @ 72.279
c NEW SOLUTION FOUND: 1486 @ 72.373
c NEW SOLUTION FOUND: 1485 @ 72.419
c NEW SOLUTION FOUND: 1484 @ 72.466
c NEW SOLUTION FOUND: 1483 @ 72.514
c NEW SOLUTION FOUND: 1482 @ 72.561
c NEW SOLUTION FOUND: 1481 @ 72.608
c NEW SOLUTION FOUND: 1480 @ 72.655
c NEW SOLUTION FOUND: 1479 @ 72.702
c NEW SOLUTION FOUND: 1478 @ 72.75
c NEW SOLUTION FOUND: 1477 @ 72.844
c NEW SOLUTION FOUND: 1476 @ 72.89
c NEW SOLUTION FOUND: 1475 @ 72.938
c NEW SOLUTION FOUND: 1474 @ 72.986
c NEW SOLUTION FOUND: 1473 @ 73.034
c NEW SOLUTION FOUND: 1472 @ 73.129
c NEW SOLUTION FOUND: 1471 @ 73.176
c NEW SOLUTION FOUND: 1470 @ 73.224
c NEW SOLUTION FOUND: 1469 @ 73.27
c NEW SOLUTION FOUND: 1468 @ 73.318
c NEW SOLUTION FOUND: 1467 @ 73.366
c NEW SOLUTION FOUND: 1466 @ 73.414
c NEW SOLUTION FOUND: 1465 @ 73.462
c NEW SOLUTION FOUND: 1464 @ 73.51
c NEW SOLUTION FOUND: 1463 @ 73.559
c NEW SOLUTION FOUND: 1462 @ 73.606
c NEW SOLUTION FOUND: 1461 @ 73.656
c NEW SOLUTION FOUND: 1460 @ 73.703
c NEW SOLUTION FOUND: 1459 @ 73.752
c NEW SOLUTION FOUND: 1458 @ 73.799
c NEW SOLUTION FOUND: 1457 @ 73.848
c NEW SOLUTION FOUND: 1456 @ 73.897
c NEW SOLUTION FOUND: 1455 @ 73.946
c NEW SOLUTION FOUND: 1454 @ 74.042
c NEW SOLUTION FOUND: 1453 @ 74.089
c NEW SOLUTION FOUND: 1452 @ 74.137
c NEW SOLUTION FOUND: 1451 @ 74.186
c NEW SOLUTION FOUND: 1450 @ 74.234
c NEW SOLUTION FOUND: 1449 @ 74.283
c NEW SOLUTION FOUND: 1448 @ 74.334
c NEW SOLUTION FOUND: 1447 @ 74.382
c NEW SOLUTION FOUND: 1446 @ 74.431
c NEW SOLUTION FOUND: 1445 @ 74.479
c NEW SOLUTION FOUND: 1444 @ 74.528
c NEW SOLUTION FOUND: 1443 @ 74.577
c NEW SOLUTION FOUND: 1442 @ 74.626
c NEW SOLUTION FOUND: 1441 @ 74.676
c NEW SOLUTION FOUND: 1440 @ 74.725
c NEW SOLUTION FOUND: 1439 @ 74.774
c NEW SOLUTION FOUND: 1438 @ 74.823
c NEW SOLUTION FOUND: 1437 @ 74.872
c NEW SOLUTION FOUND: 1436 @ 74.921
c NEW SOLUTION FOUND: 1435 @ 75.02
c NEW SOLUTION FOUND: 1434 @ 75.069
c NEW SOLUTION FOUND: 1433 @ 75.118
c NEW SOLUTION FOUND: 1432 @ 75.168
c NEW SOLUTION FOUND: 1431 @ 75.217
c NEW SOLUTION FOUND: 1430 @ 75.266
c NEW SOLUTION FOUND: 1429 @ 75.315
c NEW SOLUTION FOUND: 1428 @ 75.365
c NEW SOLUTION FOUND: 1427 @ 75.414
c NEW SOLUTION FOUND: 1426 @ 75.465
c NEW SOLUTION FOUND: 1425 @ 75.515
c NEW SOLUTION FOUND: 1424 @ 75.565
c NEW SOLUTION FOUND: 1423 @ 75.615
c NEW SOLUTION FOUND: 1422 @ 75.665
c NEW SOLUTION FOUND: 1421 @ 75.715
c NEW SOLUTION FOUND: 1420 @ 75.764
c NEW SOLUTION FOUND: 1419 @ 75.814
c NEW SOLUTION FOUND: 1418 @ 75.865
c NEW SOLUTION FOUND: 1417 @ 75.914
c NEW SOLUTION FOUND: 1416 @ 75.964
c NEW SOLUTION FOUND: 1415 @ 76.015
c NEW SOLUTION FOUND: 1414 @ 76.065
c NEW SOLUTION FOUND: 1413 @ 76.115
c NEW SOLUTION FOUND: 1412 @ 76.165
c NEW SOLUTION FOUND: 1411 @ 76.216
c NEW SOLUTION FOUND: 1410 @ 76.266
c NEW SOLUTION FOUND: 1409 @ 76.316
c NEW SOLUTION FOUND: 1408 @ 76.366
c NEW SOLUTION FOUND: 1407 @ 76.417
c NEW SOLUTION FOUND: 1406 @ 76.516
c NEW SOLUTION FOUND: 1405 @ 76.565
c NEW SOLUTION FOUND: 1404 @ 76.615
c NEW SOLUTION FOUND: 1403 @ 76.665
c NEW SOLUTION FOUND: 1402 @ 76.715
c NEW SOLUTION FOUND: 1401 @ 76.766
c NEW SOLUTION FOUND: 1400 @ 76.815
c NEW SOLUTION FOUND: 1399 @ 76.866
c NEW SOLUTION FOUND: 1398 @ 76.916
c NEW SOLUTION FOUND: 1397 @ 76.966
c NEW SOLUTION FOUND: 1396 @ 77.016
c NEW SOLUTION FOUND: 1395 @ 77.067
c NEW SOLUTION FOUND: 1394 @ 77.116
c NEW SOLUTION FOUND: 1393 @ 77.167
c NEW SOLUTION FOUND: 1392 @ 77.217
c NEW SOLUTION FOUND: 1391 @ 77.267
c NEW SOLUTION FOUND: 1390 @ 77.317
c NEW SOLUTION FOUND: 1389 @ 77.367
c NEW SOLUTION FOUND: 1388 @ 77.417
c NEW SOLUTION FOUND: 1387 @ 77.467
c NEW SOLUTION FOUND: 1386 @ 77.517
c NEW SOLUTION FOUND: 1385 @ 77.568
c NEW SOLUTION FOUND: 1384 @ 77.618
c NEW SOLUTION FOUND: 1383 @ 77.668
c NEW SOLUTION FOUND: 1382 @ 77.719
c NEW SOLUTION FOUND: 1381 @ 77.77
c NEW SOLUTION FOUND: 1380 @ 77.821
c NEW SOLUTION FOUND: 1379 @ 77.871
c NEW SOLUTION FOUND: 1378 @ 77.921
c NEW SOLUTION FOUND: 1377 @ 77.971
c NEW SOLUTION FOUND: 1376 @ 78.021
c NEW SOLUTION FOUND: 1375 @ 78.071
c NEW SOLUTION FOUND: 1374 @ 78.121
c NEW SOLUTION FOUND: 1373 @ 78.171
c NEW SOLUTION FOUND: 1372 @ 78.221
c NEW SOLUTION FOUND: 1371 @ 78.271
c NEW SOLUTION FOUND: 1370 @ 78.321
c NEW SOLUTION FOUND: 1369 @ 78.371
c NEW SOLUTION FOUND: 1368 @ 78.421
c NEW SOLUTION FOUND: 1367 @ 78.471
c NEW SOLUTION FOUND: 1366 @ 78.521
c NEW SOLUTION FOUND: 1365 @ 78.571
c NEW SOLUTION FOUND: 1364 @ 78.621
c NEW SOLUTION FOUND: 1363 @ 78.672
c NEW SOLUTION FOUND: 1362 @ 78.723
c NEW SOLUTION FOUND: 1361 @ 78.773
c NEW SOLUTION FOUND: 1360 @ 78.823
c NEW SOLUTION FOUND: 1359 @ 78.873
c NEW SOLUTION FOUND: 1358 @ 78.924
c NEW SOLUTION FOUND: 1357 @ 78.974
c NEW SOLUTION FOUND: 1356 @ 79.025
c NEW SOLUTION FOUND: 1355 @ 79.075
c NEW SOLUTION FOUND: 1354 @ 79.128
c NEW SOLUTION FOUND: 1353 @ 79.179
c NEW SOLUTION FOUND: 1352 @ 79.229
c NEW SOLUTION FOUND: 1351 @ 79.28
c NEW SOLUTION FOUND: 1350 @ 79.331
c NEW SOLUTION FOUND: 1349 @ 79.382
c NEW SOLUTION FOUND: 1348 @ 79.434
c NEW SOLUTION FOUND: 1347 @ 79.486
c NEW SOLUTION FOUND: 1346 @ 79.537
c NEW SOLUTION FOUND: 1345 @ 79.589
c NEW SOLUTION FOUND: 1344 @ 79.64
c NEW SOLUTION FOUND: 1343 @ 79.691
c NEW SOLUTION FOUND: 1342 @ 79.742
c NEW SOLUTION FOUND: 1341 @ 79.793
c NEW SOLUTION FOUND: 1340 @ 79.844
c NEW SOLUTION FOUND: 1339 @ 79.896
c NEW SOLUTION FOUND: 1338 @ 79.947
c NEW SOLUTION FOUND: 1337 @ 79.999
c NEW SOLUTION FOUND: 1336 @ 80.049
c NEW SOLUTION FOUND: 1335 @ 80.1
c NEW SOLUTION FOUND: 1334 @ 80.152
c NEW SOLUTION FOUND: 1333 @ 80.204
c NEW SOLUTION FOUND: 1332 @ 80.255
c NEW SOLUTION FOUND: 1331 @ 80.306
c NEW SOLUTION FOUND: 1330 @ 80.357
c NEW SOLUTION FOUND: 1329 @ 80.459
c NEW SOLUTION FOUND: 1328 @ 80.51
c NEW SOLUTION FOUND: 1327 @ 80.562
c NEW SOLUTION FOUND: 1326 @ 80.614
c NEW SOLUTION FOUND: 1325 @ 80.665
c NEW SOLUTION FOUND: 1324 @ 80.717
c NEW SOLUTION FOUND: 1323 @ 80.768
c NEW SOLUTION FOUND: 1322 @ 80.82
c NEW SOLUTION FOUND: 1321 @ 80.873
c NEW SOLUTION FOUND: 1320 @ 80.926
c NEW SOLUTION FOUND: 1319 @ 80.977
c NEW SOLUTION FOUND: 1318 @ 81.028
c NEW SOLUTION FOUND: 1317 @ 81.081
c NEW SOLUTION FOUND: 1316 @ 81.133
c NEW SOLUTION FOUND: 1315 @ 81.184
c NEW SOLUTION FOUND: 1314 @ 81.289
c NEW SOLUTION FOUND: 1313 @ 81.397
c NEW SOLUTION FOUND: 1312 @ 81.451
c NEW SOLUTION FOUND: 1311 @ 81.505
c NEW SOLUTION FOUND: 1310 @ 81.559
c NEW SOLUTION FOUND: 1309 @ 81.613
c NEW SOLUTION FOUND: 1308 @ 81.667
c NEW SOLUTION FOUND: 1307 @ 81.721
c NEW SOLUTION FOUND: 1306 @ 81.775
c NEW SOLUTION FOUND: 1305 @ 81.829
c NEW SOLUTION FOUND: 1304 @ 81.884
c NEW SOLUTION FOUND: 1303 @ 81.938
c NEW SOLUTION FOUND: 1302 @ 81.993
c NEW SOLUTION FOUND: 1301 @ 82.047
c NEW SOLUTION FOUND: 1300 @ 82.101
c NEW SOLUTION FOUND: 1299 @ 82.21
c NEW SOLUTION FOUND: 1298 @ 82.264
c NEW SOLUTION FOUND: 1297 @ 82.318
c NEW SOLUTION FOUND: 1296 @ 82.373
c NEW SOLUTION FOUND: 1295 @ 82.428
c NEW SOLUTION FOUND: 1294 @ 82.483
c NEW SOLUTION FOUND: 1293 @ 82.537
c NEW SOLUTION FOUND: 1292 @ 82.592
c NEW SOLUTION FOUND: 1291 @ 82.699
c NEW SOLUTION FOUND: 1290 @ 82.754
c NEW SOLUTION FOUND: 1289 @ 82.809
c NEW SOLUTION FOUND: 1288 @ 82.864
c NEW SOLUTION FOUND: 1287 @ 82.919
c NEW SOLUTION FOUND: 1286 @ 82.973
c NEW SOLUTION FOUND: 1285 @ 83.028
c NEW SOLUTION FOUND: 1284 @ 83.138
c NEW SOLUTION FOUND: 1283 @ 83.194
c NEW SOLUTION FOUND: 1282 @ 83.249
c NEW SOLUTION FOUND: 1281 @ 83.305
c NEW SOLUTION FOUND: 1280 @ 83.361
c NEW SOLUTION FOUND: 1279 @ 83.417
c NEW SOLUTION FOUND: 1278 @ 83.473
c NEW SOLUTION FOUND: 1277 @ 83.528
c NEW SOLUTION FOUND: 1276 @ 83.585
c NEW SOLUTION FOUND: 1275 @ 83.64
c NEW SOLUTION FOUND: 1274 @ 83.697
c NEW SOLUTION FOUND: 1273 @ 83.752
c NEW SOLUTION FOUND: 1272 @ 83.808
c NEW SOLUTION FOUND: 1271 @ 83.864
c NEW SOLUTION FOUND: 1270 @ 83.975
c NEW SOLUTION FOUND: 1269 @ 84.031
c NEW SOLUTION FOUND: 1268 @ 84.087
c NEW SOLUTION FOUND: 1267 @ 84.143
c NEW SOLUTION FOUND: 1266 @ 84.202
c NEW SOLUTION FOUND: 1265 @ 84.314
c NEW SOLUTION FOUND: 1264 @ 84.371
c NEW SOLUTION FOUND: 1263 @ 84.429
c NEW SOLUTION FOUND: 1262 @ 84.489
c NEW SOLUTION FOUND: 1261 @ 84.602
c NEW SOLUTION FOUND: 1260 @ 84.659
c NEW SOLUTION FOUND: 1259 @ 84.717
c NEW SOLUTION FOUND: 1258 @ 84.776
c NEW SOLUTION FOUND: 1257 @ 84.833
c NEW SOLUTION FOUND: 1256 @ 84.892
c NEW SOLUTION FOUND: 1255 @ 84.949
c NEW SOLUTION FOUND: 1254 @ 85.008
c NEW SOLUTION FOUND: 1253 @ 85.065
c NEW SOLUTION FOUND: 1252 @ 85.124
c NEW SOLUTION FOUND: 1251 @ 85.182
c NEW SOLUTION FOUND: 1250 @ 85.24
c NEW SOLUTION FOUND: 1249 @ 85.298
c NEW SOLUTION FOUND: 1248 @ 85.356
c NEW SOLUTION FOUND: 1247 @ 85.413
c NEW SOLUTION FOUND: 1246 @ 85.472
c NEW SOLUTION FOUND: 1245 @ 85.529
c NEW SOLUTION FOUND: 1244 @ 85.588
c NEW SOLUTION FOUND: 1243 @ 85.645
c NEW SOLUTION FOUND: 1242 @ 85.76
c NEW SOLUTION FOUND: 1241 @ 85.819
c NEW SOLUTION FOUND: 1240 @ 85.88
c NEW SOLUTION FOUND: 1239 @ 85.94
c NEW SOLUTION FOUND: 1238 @ 85.999
c NEW SOLUTION FOUND: 1237 @ 86.06
c NEW SOLUTION FOUND: 1236 @ 86.12
c NEW SOLUTION FOUND: 1235 @ 86.18
c NEW SOLUTION FOUND: 1234 @ 86.242
c NEW SOLUTION FOUND: 1233 @ 86.301
c NEW SOLUTION FOUND: 1232 @ 86.362
c NEW SOLUTION FOUND: 1231 @ 86.422
c NEW SOLUTION FOUND: 1230 @ 86.484
c NEW SOLUTION FOUND: 1229 @ 86.544
c NEW SOLUTION FOUND: 1228 @ 86.604
c NEW SOLUTION FOUND: 1227 @ 86.666
c NEW SOLUTION FOUND: 1226 @ 86.725
c NEW SOLUTION FOUND: 1225 @ 86.786
c NEW SOLUTION FOUND: 1224 @ 86.846
c NEW SOLUTION FOUND: 1223 @ 86.907
c NEW SOLUTION FOUND: 1222 @ 86.967
c NEW SOLUTION FOUND: 1221 @ 87.028
c NEW SOLUTION FOUND: 1220 @ 87.148
c NEW SOLUTION FOUND: 1219 @ 87.208
c NEW SOLUTION FOUND: 1218 @ 87.33
c NEW SOLUTION FOUND: 1217 @ 87.39
c NEW SOLUTION FOUND: 1216 @ 87.451
c NEW SOLUTION FOUND: 1215 @ 87.513
c NEW SOLUTION FOUND: 1214 @ 87.574
c NEW SOLUTION FOUND: 1213 @ 87.636
c NEW SOLUTION FOUND: 1212 @ 87.699
c NEW SOLUTION FOUND: 1211 @ 87.76
c NEW SOLUTION FOUND: 1210 @ 87.822
c NEW SOLUTION FOUND: 1209 @ 87.884
c NEW SOLUTION FOUND: 1208 @ 87.948
c NEW SOLUTION FOUND: 1207 @ 88.081
c NEW SOLUTION FOUND: 1206 @ 88.15
c NEW SOLUTION FOUND: 1205 @ 88.217
c NEW SOLUTION FOUND: 1204 @ 88.284
c NEW SOLUTION FOUND: 1203 @ 88.352
c NEW SOLUTION FOUND: 1202 @ 88.42
c NEW SOLUTION FOUND: 1201 @ 88.488
c NEW SOLUTION FOUND: 1200 @ 88.556
c NEW SOLUTION FOUND: 1199 @ 88.624
c NEW SOLUTION FOUND: 1198 @ 88.691
c NEW SOLUTION FOUND: 1197 @ 88.76
c NEW SOLUTION FOUND: 1196 @ 88.827
c NEW SOLUTION FOUND: 1195 @ 88.895
c NEW SOLUTION FOUND: 1194 @ 88.962
c NEW SOLUTION FOUND: 1193 @ 89.03
c NEW SOLUTION FOUND: 1192 @ 89.098
c NEW SOLUTION FOUND: 1191 @ 89.166
c NEW SOLUTION FOUND: 1190 @ 89.234
c NEW SOLUTION FOUND: 1189 @ 89.301
c NEW SOLUTION FOUND: 1188 @ 89.368
c NEW SOLUTION FOUND: 1187 @ 89.437
c NEW SOLUTION FOUND: 1186 @ 89.504
c NEW SOLUTION FOUND: 1185 @ 89.572
c NEW SOLUTION FOUND: 1184 @ 89.639
c NEW SOLUTION FOUND: 1183 @ 89.707
c NEW SOLUTION FOUND: 1182 @ 89.774
c NEW SOLUTION FOUND: 1181 @ 89.841
c NEW SOLUTION FOUND: 1180 @ 89.909
c NEW SOLUTION FOUND: 1179 @ 89.976
c NEW SOLUTION FOUND: 1178 @ 90.044
c NEW SOLUTION FOUND: 1177 @ 90.112
c NEW SOLUTION FOUND: 1176 @ 90.178
c NEW SOLUTION FOUND: 1175 @ 90.245
c NEW SOLUTION FOUND: 1174 @ 90.313
c NEW SOLUTION FOUND: 1173 @ 90.381
c NEW SOLUTION FOUND: 1172 @ 90.448
c NEW SOLUTION FOUND: 1171 @ 90.516
c NEW SOLUTION FOUND: 1170 @ 90.583
c NEW SOLUTION FOUND: 1169 @ 90.651
c NEW SOLUTION FOUND: 1168 @ 90.718
c NEW SOLUTION FOUND: 1167 @ 90.786
c NEW SOLUTION FOUND: 1166 @ 90.854
c NEW SOLUTION FOUND: 1165 @ 90.987
c NEW SOLUTION FOUND: 1164 @ 91.055
c NEW SOLUTION FOUND: 1163 @ 91.123
c NEW SOLUTION FOUND: 1162 @ 91.191
c NEW SOLUTION FOUND: 1161 @ 91.259
c NEW SOLUTION FOUND: 1160 @ 91.327
c NEW SOLUTION FOUND: 1159 @ 91.394
c NEW SOLUTION FOUND: 1158 @ 91.462
c NEW SOLUTION FOUND: 1157 @ 91.53
c NEW SOLUTION FOUND: 1156 @ 91.598
c NEW SOLUTION FOUND: 1155 @ 91.666
c NEW SOLUTION FOUND: 1154 @ 91.736
c NEW SOLUTION FOUND: 1153 @ 91.803
c NEW SOLUTION FOUND: 1152 @ 91.94
c NEW SOLUTION FOUND: 1151 @ 92.007
c NEW SOLUTION FOUND: 1150 @ 92.076
c NEW SOLUTION FOUND: 1149 @ 92.145
c NEW SOLUTION FOUND: 1148 @ 92.214
c NEW SOLUTION FOUND: 1147 @ 92.283
c NEW SOLUTION FOUND: 1146 @ 92.351
c NEW SOLUTION FOUND: 1145 @ 92.42
c NEW SOLUTION FOUND: 1144 @ 92.489
c NEW SOLUTION FOUND: 1143 @ 92.558
c NEW SOLUTION FOUND: 1142 @ 92.626
c NEW SOLUTION FOUND: 1141 @ 92.697
c NEW SOLUTION FOUND: 1140 @ 92.766
c NEW SOLUTION FOUND: 1139 @ 92.835
c NEW SOLUTION FOUND: 1138 @ 92.904
c NEW SOLUTION FOUND: 1137 @ 92.973
c NEW SOLUTION FOUND: 1136 @ 93.042
c NEW SOLUTION FOUND: 1135 @ 93.111
c NEW SOLUTION FOUND: 1134 @ 93.18
c NEW SOLUTION FOUND: 1133 @ 93.25
c NEW SOLUTION FOUND: 1132 @ 93.319
c NEW SOLUTION FOUND: 1131 @ 93.456
c NEW SOLUTION FOUND: 1130 @ 93.524
c NEW SOLUTION FOUND: 1129 @ 93.592
c NEW SOLUTION FOUND: 1128 @ 93.661
c NEW SOLUTION FOUND: 1127 @ 93.729
c NEW SOLUTION FOUND: 1126 @ 93.798
c NEW SOLUTION FOUND: 1125 @ 93.866
c NEW SOLUTION FOUND: 1124 @ 93.935
c NEW SOLUTION FOUND: 1123 @ 94.004
c NEW SOLUTION FOUND: 1122 @ 94.072
c NEW SOLUTION FOUND: 1121 @ 94.141
c NEW SOLUTION FOUND: 1120 @ 94.211
c NEW SOLUTION FOUND: 1119 @ 94.279
c NEW SOLUTION FOUND: 1118 @ 94.348
c NEW SOLUTION FOUND: 1117 @ 94.416
c NEW SOLUTION FOUND: 1116 @ 94.485
c NEW SOLUTION FOUND: 1115 @ 94.554
c NEW SOLUTION FOUND: 1114 @ 94.622
c NEW SOLUTION FOUND: 1113 @ 94.69
c NEW SOLUTION FOUND: 1112 @ 94.76
c NEW SOLUTION FOUND: 1111 @ 94.828
c NEW SOLUTION FOUND: 1110 @ 94.896
c NEW SOLUTION FOUND: 1109 @ 94.965
c NEW SOLUTION FOUND: 1108 @ 95.034
c NEW SOLUTION FOUND: 1107 @ 95.103
c NEW SOLUTION FOUND: 1106 @ 95.172
c NEW SOLUTION FOUND: 1105 @ 95.308
c NEW SOLUTION FOUND: 1104 @ 95.376
c NEW SOLUTION FOUND: 1103 @ 95.446
c NEW SOLUTION FOUND: 1102 @ 95.514
c NEW SOLUTION FOUND: 1101 @ 95.583
c NEW SOLUTION FOUND: 1100 @ 95.652
c NEW SOLUTION FOUND: 1099 @ 95.721
c NEW SOLUTION FOUND: 1098 @ 95.79
c NEW SOLUTION FOUND: 1097 @ 95.86
c NEW SOLUTION FOUND: 1096 @ 95.929
c NEW SOLUTION FOUND: 1095 @ 95.998
c NEW SOLUTION FOUND: 1094 @ 96.067
c NEW SOLUTION FOUND: 1093 @ 96.137
c NEW SOLUTION FOUND: 1092 @ 96.206
c NEW SOLUTION FOUND: 1091 @ 96.275
c NEW SOLUTION FOUND: 1090 @ 96.344
c NEW SOLUTION FOUND: 1089 @ 96.412
c NEW SOLUTION FOUND: 1088 @ 96.481
c NEW SOLUTION FOUND: 1087 @ 96.55
c NEW SOLUTION FOUND: 1086 @ 96.62
c NEW SOLUTION FOUND: 1085 @ 96.688
c NEW SOLUTION FOUND: 1084 @ 96.757
c NEW SOLUTION FOUND: 1083 @ 96.826
c NEW SOLUTION FOUND: 1082 @ 96.895
c NEW SOLUTION FOUND: 1081 @ 96.964
c NEW SOLUTION FOUND: 1080 @ 97.033
c NEW SOLUTION FOUND: 1079 @ 97.102
c NEW SOLUTION FOUND: 1078 @ 97.171
c NEW SOLUTION FOUND: 1077 @ 97.24
c NEW SOLUTION FOUND: 1076 @ 97.309
c NEW SOLUTION FOUND: 1075 @ 97.378
c NEW SOLUTION FOUND: 1074 @ 97.448
c NEW SOLUTION FOUND: 1073 @ 97.517
c NEW SOLUTION FOUND: 1072 @ 97.586
c NEW SOLUTION FOUND: 1071 @ 97.656
c NEW SOLUTION FOUND: 1070 @ 97.725
c NEW SOLUTION FOUND: 1069 @ 97.796
c NEW SOLUTION FOUND: 1068 @ 97.866
c NEW SOLUTION FOUND: 1067 @ 97.935
c NEW SOLUTION FOUND: 1066 @ 98.004
c NEW SOLUTION FOUND: 1065 @ 98.073
c NEW SOLUTION FOUND: 1064 @ 98.143
c NEW SOLUTION FOUND: 1063 @ 98.212
c NEW SOLUTION FOUND: 1062 @ 98.281
c NEW SOLUTION FOUND: 1061 @ 98.352
c NEW SOLUTION FOUND: 1060 @ 98.422
c NEW SOLUTION FOUND: 1059 @ 98.492
c NEW SOLUTION FOUND: 1058 @ 98.562
c NEW SOLUTION FOUND: 1057 @ 98.632
c NEW SOLUTION FOUND: 1056 @ 98.701
c NEW SOLUTION FOUND: 1055 @ 98.772
c NEW SOLUTION FOUND: 1054 @ 98.842
c NEW SOLUTION FOUND: 1053 @ 98.912
c NEW SOLUTION FOUND: 1052 @ 98.983
c NEW SOLUTION FOUND: 1051 @ 99.055
c NEW SOLUTION FOUND: 1050 @ 99.124
c NEW SOLUTION FOUND: 1049 @ 99.194
c NEW SOLUTION FOUND: 1048 @ 99.264
c NEW SOLUTION FOUND: 1047 @ 99.334
c NEW SOLUTION FOUND: 1046 @ 99.404
c NEW SOLUTION FOUND: 1045 @ 99.474
c NEW SOLUTION FOUND: 1044 @ 99.543
c NEW SOLUTION FOUND: 1043 @ 99.613
c NEW SOLUTION FOUND: 1042 @ 99.683
c NEW SOLUTION FOUND: 1041 @ 99.822
c NEW SOLUTION FOUND: 1040 @ 99.892
c NEW SOLUTION FOUND: 1039 @ 99.964
c NEW SOLUTION FOUND: 1038 @ 100.035
c NEW SOLUTION FOUND: 1037 @ 100.106
c NEW SOLUTION FOUND: 1036 @ 100.176
c NEW SOLUTION FOUND: 1035 @ 100.247
c NEW SOLUTION FOUND: 1034 @ 100.317
c NEW SOLUTION FOUND: 1033 @ 100.389
c NEW SOLUTION FOUND: 1032 @ 100.458
c NEW SOLUTION FOUND: 1031 @ 100.529
c NEW SOLUTION FOUND: 1030 @ 100.601
c NEW SOLUTION FOUND: 1029 @ 100.671
c NEW SOLUTION FOUND: 1028 @ 100.742
c NEW SOLUTION FOUND: 1027 @ 100.812
c NEW SOLUTION FOUND: 1026 @ 100.885
c NEW SOLUTION FOUND: 1025 @ 100.956
c NEW SOLUTION FOUND: 1024 @ 101.027
c NEW SOLUTION FOUND: 1023 @ 101.099
c NEW SOLUTION FOUND: 1022 @ 101.17
c NEW SOLUTION FOUND: 1021 @ 101.241
c NEW SOLUTION FOUND: 1020 @ 101.311
c NEW SOLUTION FOUND: 1019 @ 101.383
c NEW SOLUTION FOUND: 1018 @ 101.457
c NEW SOLUTION FOUND: 1017 @ 101.527
c NEW SOLUTION FOUND: 1016 @ 101.598
c NEW SOLUTION FOUND: 1015 @ 101.669
c NEW SOLUTION FOUND: 1014 @ 101.81
c NEW SOLUTION FOUND: 1013 @ 101.882
c NEW SOLUTION FOUND: 1012 @ 101.955
c NEW SOLUTION FOUND: 1011 @ 102.026
c NEW SOLUTION FOUND: 1010 @ 102.098
c NEW SOLUTION FOUND: 1009 @ 102.171
c NEW SOLUTION FOUND: 1008 @ 102.242
c NEW SOLUTION FOUND: 1007 @ 102.314
c NEW SOLUTION FOUND: 1006 @ 102.387
c NEW SOLUTION FOUND: 1005 @ 102.459
c NEW SOLUTION FOUND: 1004 @ 102.531
c NEW SOLUTION FOUND: 1003 @ 102.603
c NEW SOLUTION FOUND: 1002 @ 102.675
c NEW SOLUTION FOUND: 1001 @ 102.747
c NEW SOLUTION FOUND: 1000 @ 102.818
c NEW SOLUTION FOUND: 999 @ 102.889
c NEW SOLUTION FOUND: 998 @ 102.961
c NEW SOLUTION FOUND: 997 @ 103.033
c NEW SOLUTION FOUND: 996 @ 103.104
c NEW SOLUTION FOUND: 995 @ 103.175
c NEW SOLUTION FOUND: 994 @ 103.247
c NEW SOLUTION FOUND: 993 @ 103.318
c NEW SOLUTION FOUND: 992 @ 103.39
c NEW SOLUTION FOUND: 991 @ 103.462
c NEW SOLUTION FOUND: 990 @ 103.534
c NEW SOLUTION FOUND: 989 @ 103.606
c NEW SOLUTION FOUND: 988 @ 103.677
c NEW SOLUTION FOUND: 987 @ 103.75
c NEW SOLUTION FOUND: 986 @ 103.823
c NEW SOLUTION FOUND: 985 @ 103.896
c NEW SOLUTION FOUND: 984 @ 103.969
c NEW SOLUTION FOUND: 983 @ 104.042
c NEW SOLUTION FOUND: 982 @ 104.115
c NEW SOLUTION FOUND: 981 @ 104.187
c NEW SOLUTION FOUND: 980 @ 104.332
c NEW SOLUTION FOUND: 979 @ 104.404
c NEW SOLUTION FOUND: 978 @ 104.477
c NEW SOLUTION FOUND: 977 @ 104.55
c NEW SOLUTION FOUND: 976 @ 104.624
c NEW SOLUTION FOUND: 975 @ 104.697
c NEW SOLUTION FOUND: 974 @ 104.771
c NEW SOLUTION FOUND: 973 @ 104.845
c NEW SOLUTION FOUND: 972 @ 104.919
c NEW SOLUTION FOUND: 971 @ 104.993
c NEW SOLUTION FOUND: 970 @ 105.067
c NEW SOLUTION FOUND: 969 @ 105.14
c NEW SOLUTION FOUND: 968 @ 105.214
c NEW SOLUTION FOUND: 967 @ 105.287
c NEW SOLUTION FOUND: 966 @ 105.361
c NEW SOLUTION FOUND: 965 @ 105.434
c NEW SOLUTION FOUND: 964 @ 105.508
c NEW SOLUTION FOUND: 963 @ 105.581
c NEW SOLUTION FOUND: 962 @ 105.655
c NEW SOLUTION FOUND: 961 @ 105.728
c NEW SOLUTION FOUND: 960 @ 105.802
c NEW SOLUTION FOUND: 959 @ 105.876
c NEW SOLUTION FOUND: 958 @ 105.949
c NEW SOLUTION FOUND: 957 @ 106.023
c NEW SOLUTION FOUND: 956 @ 106.096
c NEW SOLUTION FOUND: 955 @ 106.17
c NEW SOLUTION FOUND: 954 @ 106.243
c NEW SOLUTION FOUND: 953 @ 106.317
c NEW SOLUTION FOUND: 952 @ 106.39
c NEW SOLUTION FOUND: 951 @ 106.464
c NEW SOLUTION FOUND: 950 @ 106.538
c NEW SOLUTION FOUND: 949 @ 106.612
c NEW SOLUTION FOUND: 948 @ 106.687
c NEW SOLUTION FOUND: 947 @ 106.76
c NEW SOLUTION FOUND: 946 @ 106.834
c NEW SOLUTION FOUND: 945 @ 106.908
c NEW SOLUTION FOUND: 944 @ 106.982
c NEW SOLUTION FOUND: 943 @ 107.058
c NEW SOLUTION FOUND: 942 @ 107.133
c NEW SOLUTION FOUND: 941 @ 107.207
c NEW SOLUTION FOUND: 940 @ 107.281
c NEW SOLUTION FOUND: 939 @ 107.356
c NEW SOLUTION FOUND: 938 @ 107.43
c NEW SOLUTION FOUND: 937 @ 107.505
c NEW SOLUTION FOUND: 936 @ 107.58
c NEW SOLUTION FOUND: 935 @ 107.654
c NEW SOLUTION FOUND: 934 @ 107.728
c NEW SOLUTION FOUND: 933 @ 107.803
c NEW SOLUTION FOUND: 932 @ 107.878
c NEW SOLUTION FOUND: 931 @ 107.953
c NEW SOLUTION FOUND: 930 @ 108.028
c NEW SOLUTION FOUND: 929 @ 108.103
c NEW SOLUTION FOUND: 928 @ 108.177
c NEW SOLUTION FOUND: 927 @ 108.252
c NEW SOLUTION FOUND: 926 @ 108.326
c NEW SOLUTION FOUND: 925 @ 108.401
c NEW SOLUTION FOUND: 924 @ 108.475
c NEW SOLUTION FOUND: 923 @ 108.549
c NEW SOLUTION FOUND: 922 @ 108.623
c NEW SOLUTION FOUND: 921 @ 108.697
c NEW SOLUTION FOUND: 920 @ 108.772
c NEW SOLUTION FOUND: 919 @ 108.846
c NEW SOLUTION FOUND: 918 @ 108.92
c NEW SOLUTION FOUND: 917 @ 108.995
c NEW SOLUTION FOUND: 916 @ 109.069
c NEW SOLUTION FOUND: 915 @ 109.143
c NEW SOLUTION FOUND: 914 @ 109.217
c NEW SOLUTION FOUND: 913 @ 109.292
c NEW SOLUTION FOUND: 912 @ 109.366
c NEW SOLUTION FOUND: 911 @ 109.44
c NEW SOLUTION FOUND: 910 @ 109.514
c NEW SOLUTION FOUND: 909 @ 109.588
c NEW SOLUTION FOUND: 908 @ 109.662
c NEW SOLUTION FOUND: 907 @ 109.736
c NEW SOLUTION FOUND: 906 @ 109.882
c NEW SOLUTION FOUND: 905 @ 109.956
c NEW SOLUTION FOUND: 904 @ 110.03
c NEW SOLUTION FOUND: 903 @ 110.106
c NEW SOLUTION FOUND: 902 @ 110.181
c NEW SOLUTION FOUND: 901 @ 110.258
c NEW SOLUTION FOUND: 900 @ 110.332
c NEW SOLUTION FOUND: 899 @ 110.555
c NEW SOLUTION FOUND: 898 @ 110.631
c NEW SOLUTION FOUND: 897 @ 110.707
c NEW SOLUTION FOUND: 896 @ 110.784
c NEW SOLUTION FOUND: 895 @ 110.86
c NEW SOLUTION FOUND: 894 @ 111.012
c NEW SOLUTION FOUND: 893 @ 111.091
c NEW SOLUTION FOUND: 892 @ 111.168
c NEW SOLUTION FOUND: 891 @ 111.244
c NEW SOLUTION FOUND: 890 @ 111.323
c NEW SOLUTION FOUND: 889 @ 111.478
c NEW SOLUTION FOUND: 888 @ 111.555
c NEW SOLUTION FOUND: 887 @ 111.634
c NEW SOLUTION FOUND: 886 @ 111.711
c NEW SOLUTION FOUND: 885 @ 111.791
c NEW SOLUTION FOUND: 884 @ 111.87
c NEW SOLUTION FOUND: 883 @ 111.949
c NEW SOLUTION FOUND: 882 @ 112.027
c NEW SOLUTION FOUND: 881 @ 112.106
c NEW SOLUTION FOUND: 880 @ 112.186
c NEW SOLUTION FOUND: 879 @ 112.264
c NEW SOLUTION FOUND: 878 @ 112.343
c NEW SOLUTION FOUND: 877 @ 112.423
c NEW SOLUTION FOUND: 876 @ 112.502
c NEW SOLUTION FOUND: 875 @ 112.581
c NEW SOLUTION FOUND: 874 @ 112.661
c NEW SOLUTION FOUND: 873 @ 112.74
c NEW SOLUTION FOUND: 872 @ 112.818
c NEW SOLUTION FOUND: 871 @ 112.897
c NEW SOLUTION FOUND: 870 @ 112.975
c NEW SOLUTION FOUND: 869 @ 113.054
c NEW SOLUTION FOUND: 868 @ 113.132
c NEW SOLUTION FOUND: 867 @ 113.211
c NEW SOLUTION FOUND: 866 @ 113.289
c NEW SOLUTION FOUND: 865 @ 113.367
c NEW SOLUTION FOUND: 864 @ 113.446
c NEW SOLUTION FOUND: 863 @ 113.525
c NEW SOLUTION FOUND: 862 @ 113.758
c NEW SOLUTION FOUND: 861 @ 113.837
c NEW SOLUTION FOUND: 860 @ 113.917
c NEW SOLUTION FOUND: 859 @ 113.997
c NEW SOLUTION FOUND: 858 @ 114.077
c NEW SOLUTION FOUND: 857 @ 114.156
c NEW SOLUTION FOUND: 856 @ 114.392
c NEW SOLUTION FOUND: 855 @ 114.472
c NEW SOLUTION FOUND: 854 @ 114.552
c NEW SOLUTION FOUND: 853 @ 114.632
c NEW SOLUTION FOUND: 852 @ 114.792
c NEW SOLUTION FOUND: 851 @ 114.872
c NEW SOLUTION FOUND: 850 @ 114.954
c NEW SOLUTION FOUND: 849 @ 115.034
c NEW SOLUTION FOUND: 848 @ 115.116
c NEW SOLUTION FOUND: 847 @ 115.196
c NEW SOLUTION FOUND: 846 @ 115.277
c NEW SOLUTION FOUND: 845 @ 115.359
c NEW SOLUTION FOUND: 844 @ 115.44
c NEW SOLUTION FOUND: 843 @ 115.522
c NEW SOLUTION FOUND: 842 @ 115.604
c NEW SOLUTION FOUND: 841 @ 115.685
c NEW SOLUTION FOUND: 840 @ 115.766
c NEW SOLUTION FOUND: 839 @ 115.847
c NEW SOLUTION FOUND: 838 @ 115.929
c NEW SOLUTION FOUND: 837 @ 116.012
c NEW SOLUTION FOUND: 836 @ 116.094
c NEW SOLUTION FOUND: 835 @ 116.258
c NEW SOLUTION FOUND: 834 @ 116.34
c NEW SOLUTION FOUND: 833 @ 116.423
c NEW SOLUTION FOUND: 832 @ 116.505
c NEW SOLUTION FOUND: 831 @ 116.587
c NEW SOLUTION FOUND: 830 @ 116.67
c NEW SOLUTION FOUND: 829 @ 116.752
c NEW SOLUTION FOUND: 828 @ 116.835
c NEW SOLUTION FOUND: 827 @ 116.917
c NEW SOLUTION FOUND: 826 @ 116.999
c NEW SOLUTION FOUND: 825 @ 117.082
c NEW SOLUTION FOUND: 824 @ 117.164
c NEW SOLUTION FOUND: 823 @ 117.247
c NEW SOLUTION FOUND: 822 @ 117.412
c NEW SOLUTION FOUND: 821 @ 117.498
c NEW SOLUTION FOUND: 820 @ 117.749
c NEW SOLUTION FOUND: 819 @ 117.92
c NEW SOLUTION FOUND: 818 @ 118.007
c NEW SOLUTION FOUND: 817 @ 118.095
c NEW SOLUTION FOUND: 816 @ 118.27
c NEW SOLUTION FOUND: 815 @ 118.359
c NEW SOLUTION FOUND: 814 @ 118.447
c NEW SOLUTION FOUND: 813 @ 118.535
c NEW SOLUTION FOUND: 812 @ 118.625
c NEW SOLUTION FOUND: 811 @ 118.712
c NEW SOLUTION FOUND: 810 @ 118.801
c NEW SOLUTION FOUND: 809 @ 118.889
c NEW SOLUTION FOUND: 808 @ 118.979
c NEW SOLUTION FOUND: 807 @ 119.068
c NEW SOLUTION FOUND: 806 @ 119.156
c NEW SOLUTION FOUND: 805 @ 119.245
c NEW SOLUTION FOUND: 804 @ 119.334
c NEW SOLUTION FOUND: 803 @ 119.423
c NEW SOLUTION FOUND: 802 @ 119.512
c NEW SOLUTION FOUND: 801 @ 119.601
c NEW SOLUTION FOUND: 800 @ 119.69
c NEW SOLUTION FOUND: 799 @ 119.779
c NEW SOLUTION FOUND: 798 @ 119.868
c NEW SOLUTION FOUND: 797 @ 119.957
c NEW SOLUTION FOUND: 796 @ 120.168
c NEW SOLUTION FOUND: 795 @ 120.261
c NEW SOLUTION FOUND: 794 @ 120.351
c NEW SOLUTION FOUND: 793 @ 120.444
c NEW SOLUTION FOUND: 792 @ 120.535
c NEW SOLUTION FOUND: 791 @ 120.626
c NEW SOLUTION FOUND: 790 @ 120.717
c NEW SOLUTION FOUND: 789 @ 120.809
c NEW SOLUTION FOUND: 788 @ 120.902
c NEW SOLUTION FOUND: 787 @ 121.087
c NEW SOLUTION FOUND: 786 @ 121.181
c NEW SOLUTION FOUND: 785 @ 121.274
c NEW SOLUTION FOUND: 784 @ 121.368
c NEW SOLUTION FOUND: 783 @ 121.461
c NEW SOLUTION FOUND: 782 @ 121.556
c NEW SOLUTION FOUND: 781 @ 121.649
c NEW SOLUTION FOUND: 780 @ 121.743
c NEW SOLUTION FOUND: 779 @ 121.928
c NEW SOLUTION FOUND: 778 @ 122.118
c NEW SOLUTION FOUND: 777 @ 122.214
c NEW SOLUTION FOUND: 776 @ 122.405
c NEW SOLUTION FOUND: 775 @ 122.501
c NEW SOLUTION FOUND: 774 @ 122.597
c NEW SOLUTION FOUND: 773 @ 122.694
c NEW SOLUTION FOUND: 772 @ 122.794
c NEW SOLUTION FOUND: 771 @ 122.99
c NEW SOLUTION FOUND: 770 @ 123.09
c NEW SOLUTION FOUND: 769 @ 123.19
c NEW SOLUTION FOUND: 768 @ 123.293
c NEW SOLUTION FOUND: 767 @ 123.393
c NEW SOLUTION FOUND: 766 @ 123.494
c NEW SOLUTION FOUND: 765 @ 123.599
c NEW SOLUTION FOUND: 764 @ 123.906
c NEW SOLUTION FOUND: 763 @ 124.011
c NEW SOLUTION FOUND: 762 @ 124.116
c NEW SOLUTION FOUND: 761 @ 124.221
c NEW SOLUTION FOUND: 760 @ 124.33
c NEW SOLUTION FOUND: 759 @ 124.436
c NEW SOLUTION FOUND: 758 @ 124.548
c NEW SOLUTION FOUND: 757 @ 124.661
c NEW SOLUTION FOUND: 756 @ 124.774
c NEW SOLUTION FOUND: 755 @ 124.997
c NEW SOLUTION FOUND: 754 @ 125.106
c NEW SOLUTION FOUND: 753 @ 125.215
c NEW SOLUTION FOUND: 752 @ 125.328
c NEW SOLUTION FOUND: 751 @ 125.438
c NEW SOLUTION FOUND: 750 @ 125.55
c NEW SOLUTION FOUND: 749 @ 125.665
c NEW SOLUTION FOUND: 748 @ 125.779
c NEW SOLUTION FOUND: 747 @ 126.007
c NEW SOLUTION FOUND: 746 @ 126.341
c NEW SOLUTION FOUND: 745 @ 126.461
c NEW SOLUTION FOUND: 744 @ 126.576
c NEW SOLUTION FOUND: 743 @ 126.815
c NEW SOLUTION FOUND: 742 @ 126.932
c NEW SOLUTION FOUND: 741 @ 127.052
c NEW SOLUTION FOUND: 740 @ 127.17
c NEW SOLUTION FOUND: 739 @ 127.29
c NEW SOLUTION FOUND: 738 @ 127.411
c NEW SOLUTION FOUND: 737 @ 127.531
c NEW SOLUTION FOUND: 736 @ 127.653
c NEW SOLUTION FOUND: 735 @ 127.892
c NEW SOLUTION FOUND: 734 @ 128.013
c NEW SOLUTION FOUND: 733 @ 128.133
c NEW SOLUTION FOUND: 732 @ 128.256
c NEW SOLUTION FOUND: 731 @ 128.378
c NEW SOLUTION FOUND: 730 @ 128.622
c NEW SOLUTION FOUND: 729 @ 128.745
c NEW SOLUTION FOUND: 728 @ 128.868
c NEW SOLUTION FOUND: 727 @ 128.989
c NEW SOLUTION FOUND: 726 @ 129.112
c NEW SOLUTION FOUND: 725 @ 129.235
c NEW SOLUTION FOUND: 724 @ 129.475
c NEW SOLUTION FOUND: 723 @ 129.597
c NEW SOLUTION FOUND: 722 @ 129.843
c NEW SOLUTION FOUND: 721 @ 130.096
c NEW SOLUTION FOUND: 720 @ 130.224
c NEW SOLUTION FOUND: 719 @ 130.352
c NEW SOLUTION FOUND: 718 @ 130.478
c NEW SOLUTION FOUND: 717 @ 130.605
c NEW SOLUTION FOUND: 716 @ 130.731
c NEW SOLUTION FOUND: 715 @ 130.861
c NEW SOLUTION FOUND: 714 @ 130.99
c NEW SOLUTION FOUND: 713 @ 131.251
c NEW SOLUTION FOUND: 712 @ 131.642
c NEW SOLUTION FOUND: 711 @ 131.775
c NEW SOLUTION FOUND: 710 @ 131.911
c NEW SOLUTION FOUND: 709 @ 132.049
c NEW SOLUTION FOUND: 708 @ 132.325
c NEW SOLUTION FOUND: 707 @ 132.461
c NEW SOLUTION FOUND: 706 @ 132.599
c NEW SOLUTION FOUND: 705 @ 132.738
c NEW SOLUTION FOUND: 704 @ 133.015
c NEW SOLUTION FOUND: 703 @ 133.154
c NEW SOLUTION FOUND: 702 @ 133.295
c NEW SOLUTION FOUND: 701 @ 133.436
c NEW SOLUTION FOUND: 700 @ 133.576
c NEW SOLUTION FOUND: 699 @ 133.857
c NEW SOLUTION FOUND: 698 @ 133.999
c NEW SOLUTION FOUND: 697 @ 134.139
c NEW SOLUTION FOUND: 696 @ 134.43
c NEW SOLUTION FOUND: 695 @ 134.578
c NEW SOLUTION FOUND: 694 @ 134.722
c NEW SOLUTION FOUND: 693 @ 135.16
c NEW SOLUTION FOUND: 692 @ 135.307
c NEW SOLUTION FOUND: 691 @ 135.608
c NEW SOLUTION FOUND: 690 @ 135.909
c NEW SOLUTION FOUND: 689 @ 136.064
c NEW SOLUTION FOUND: 688 @ 136.372
c NEW SOLUTION FOUND: 687 @ 136.827
c NEW SOLUTION FOUND: 686 @ 136.981
c NEW SOLUTION FOUND: 685 @ 137.136
c NEW SOLUTION FOUND: 684 @ 137.289
c NEW SOLUTION FOUND: 683 @ 137.442
c NEW SOLUTION FOUND: 682 @ 137.596
c NEW SOLUTION FOUND: 681 @ 137.748
c NEW SOLUTION FOUND: 680 @ 137.904
c NEW SOLUTION FOUND: 679 @ 138.059
c NEW SOLUTION FOUND: 678 @ 138.216
c NEW SOLUTION FOUND: 677 @ 138.373
c NEW SOLUTION FOUND: 676 @ 138.524
c NEW SOLUTION FOUND: 675 @ 138.681
c NEW SOLUTION FOUND: 674 @ 138.995
c NEW SOLUTION FOUND: 673 @ 139.316
c NEW SOLUTION FOUND: 672 @ 139.478
c NEW SOLUTION FOUND: 671 @ 139.797
c NEW SOLUTION FOUND: 670 @ 139.956
c NEW SOLUTION FOUND: 669 @ 140.113
c NEW SOLUTION FOUND: 668 @ 140.272
c NEW SOLUTION FOUND: 667 @ 140.43
c NEW SOLUTION FOUND: 666 @ 140.592
c NEW SOLUTION FOUND: 665 @ 140.753
c NEW SOLUTION FOUND: 664 @ 140.918
c NEW SOLUTION FOUND: 663 @ 141.08
c NEW SOLUTION FOUND: 662 @ 141.408
c NEW SOLUTION FOUND: 661 @ 141.57
c NEW SOLUTION FOUND: 660 @ 141.734
c NEW SOLUTION FOUND: 659 @ 141.901
c NEW SOLUTION FOUND: 658 @ 142.073
c NEW SOLUTION FOUND: 657 @ 142.569
c NEW SOLUTION FOUND: 656 @ 142.91
c NEW SOLUTION FOUND: 655 @ 143.258
c NEW SOLUTION FOUND: 654 @ 143.429
c NEW SOLUTION FOUND: 653 @ 143.603
c NEW SOLUTION FOUND: 652 @ 143.776
c NEW SOLUTION FOUND: 651 @ 144.122
c NEW SOLUTION FOUND: 650 @ 144.295
c NEW SOLUTION FOUND: 649 @ 144.473
c NEW SOLUTION FOUND: 648 @ 144.645
c NEW SOLUTION FOUND: 647 @ 144.998
c NEW SOLUTION FOUND: 646 @ 145.173
c NEW SOLUTION FOUND: 645 @ 145.353
c NEW SOLUTION FOUND: 644 @ 145.535
c NEW SOLUTION FOUND: 643 @ 145.712
c NEW SOLUTION FOUND: 642 @ 145.892
c NEW SOLUTION FOUND: 641 @ 146.072
c NEW SOLUTION FOUND: 640 @ 146.255
c NEW SOLUTION FOUND: 639 @ 146.609
c NEW SOLUTION FOUND: 638 @ 146.792
c NEW SOLUTION FOUND: 637 @ 146.974
c NEW SOLUTION FOUND: 636 @ 147.155
c NEW SOLUTION FOUND: 635 @ 147.345
c NEW SOLUTION FOUND: 634 @ 147.716
c NEW SOLUTION FOUND: 633 @ 147.901
c NEW SOLUTION FOUND: 632 @ 148.095
c NEW SOLUTION FOUND: 631 @ 148.285
c NEW SOLUTION FOUND: 630 @ 148.476
c NEW SOLUTION FOUND: 629 @ 148.664
c NEW SOLUTION FOUND: 628 @ 148.854
c NEW SOLUTION FOUND: 627 @ 149.039
c NEW SOLUTION FOUND: 626 @ 149.231
c NEW SOLUTION FOUND: 625 @ 149.42
c NEW SOLUTION FOUND: 624 @ 149.61
c NEW SOLUTION FOUND: 623 @ 150.002
c NEW SOLUTION FOUND: 622 @ 150.199
c NEW SOLUTION FOUND: 621 @ 150.395
c NEW SOLUTION FOUND: 620 @ 150.587
c NEW SOLUTION FOUND: 619 @ 150.782
c NEW SOLUTION FOUND: 618 @ 151.035
c NEW SOLUTION FOUND: 617 @ 151.237
c NEW SOLUTION FOUND: 616 @ 151.441
c NEW SOLUTION FOUND: 615 @ 151.643
c NEW SOLUTION FOUND: 614 @ 151.855
c NEW SOLUTION FOUND: 613 @ 152.056
c NEW SOLUTION FOUND: 612 @ 152.263
c NEW SOLUTION FOUND: 611 @ 152.685
c NEW SOLUTION FOUND: 610 @ 152.899
c NEW SOLUTION FOUND: 609 @ 153.107
c NEW SOLUTION FOUND: 608 @ 153.323
c NEW SOLUTION FOUND: 607 @ 153.754
c NEW SOLUTION FOUND: 606 @ 153.972
c NEW SOLUTION FOUND: 605 @ 154.254
c NEW SOLUTION FOUND: 604 @ 154.546
c NEW SOLUTION FOUND: 603 @ 154.777
c NEW SOLUTION FOUND: 602 @ 155.005
c NEW SOLUTION FOUND: 601 @ 155.231
c NEW SOLUTION FOUND: 600 @ 155.462
c NEW SOLUTION FOUND: 599 @ 156.168
c NEW SOLUTION FOUND: 598 @ 156.406
c NEW SOLUTION FOUND: 597 @ 156.637
c NEW SOLUTION FOUND: 596 @ 156.879
c NEW SOLUTION FOUND: 595 @ 157.116
c NEW SOLUTION FOUND: 594 @ 157.364
c NEW SOLUTION FOUND: 593 @ 157.944
c NEW SOLUTION FOUND: 592 @ 158.494
c NEW SOLUTION FOUND: 591 @ 159.021
c NEW SOLUTION FOUND: 590 @ 159.597
c NEW SOLUTION FOUND: 589 @ 159.873
c NEW SOLUTION FOUND: 588 @ 160.155
c NEW SOLUTION FOUND: 587 @ 160.427
c NEW SOLUTION FOUND: 586 @ 160.697
c NEW SOLUTION FOUND: 585 @ 160.967
c NEW SOLUTION FOUND: 584 @ 162.044
c NEW SOLUTION FOUND: 583 @ 162.992
c NEW SOLUTION FOUND: 582 @ 163.347
c NEW SOLUTION FOUND: 581 @ 163.65
c NEW SOLUTION FOUND: 580 @ 164.247
c NEW SOLUTION FOUND: 579 @ 164.866
c NEW SOLUTION FOUND: 578 @ 165.163
c NEW SOLUTION FOUND: 577 @ 165.81
c NEW SOLUTION FOUND: 576 @ 166.451
c NEW SOLUTION FOUND: 575 @ 167.073
c NEW SOLUTION FOUND: 574 @ 167.368
c NEW SOLUTION FOUND: 573 @ 167.666
c NEW SOLUTION FOUND: 572 @ 167.956
c NEW SOLUTION FOUND: 571 @ 168.331
c NEW SOLUTION FOUND: 570 @ 168.624
c NEW SOLUTION FOUND: 569 @ 168.951
c NEW SOLUTION FOUND: 568 @ 169.263
c NEW SOLUTION FOUND: 567 @ 169.575
c NEW SOLUTION FOUND: 566 @ 170.204
c NEW SOLUTION FOUND: 565 @ 171.161
c NEW SOLUTION FOUND: 564 @ 171.488
c NEW SOLUTION FOUND: 563 @ 172.141
c NEW SOLUTION FOUND: 562 @ 172.485
c NEW SOLUTION FOUND: 561 @ 172.811
c NEW SOLUTION FOUND: 560 @ 173.169
c NEW SOLUTION FOUND: 559 @ 173.501
c NEW SOLUTION FOUND: 558 @ 174.19
c NEW SOLUTION FOUND: 557 @ 174.879
c NEW SOLUTION FOUND: 556 @ 175.239
c NEW SOLUTION FOUND: 555 @ 175.95
c NEW SOLUTION FOUND: 554 @ 176.303
c NEW SOLUTION FOUND: 553 @ 176.663
c NEW SOLUTION FOUND: 552 @ 177.043
c NEW SOLUTION FOUND: 551 @ 177.38
c NEW SOLUTION FOUND: 550 @ 177.732
c NEW SOLUTION FOUND: 549 @ 178.474
c NEW SOLUTION FOUND: 548 @ 178.832
c NEW SOLUTION FOUND: 547 @ 179.199
c NEW SOLUTION FOUND: 546 @ 179.586
c NEW SOLUTION FOUND: 545 @ 179.967
c NEW SOLUTION FOUND: 544 @ 180.352
c NEW SOLUTION FOUND: 543 @ 180.764
c NEW SOLUTION FOUND: 542 @ 181.138
c NEW SOLUTION FOUND: 541 @ 181.526
c NEW SOLUTION FOUND: 540 @ 181.954
c NEW SOLUTION FOUND: 539 @ 182.355
c NEW SOLUTION FOUND: 538 @ 183.169
c NEW SOLUTION FOUND: 537 @ 184.018
c NEW SOLUTION FOUND: 536 @ 184.42
c NEW SOLUTION FOUND: 535 @ 184.809
c NEW SOLUTION FOUND: 534 @ 185.212
c NEW SOLUTION FOUND: 533 @ 185.65
c NEW SOLUTION FOUND: 532 @ 186.151
c NEW SOLUTION FOUND: 531 @ 186.59
c NEW SOLUTION FOUND: 530 @ 187.097
c NEW SOLUTION FOUND: 529 @ 187.545
c NEW SOLUTION FOUND: 528 @ 187.973
c NEW SOLUTION FOUND: 527 @ 188.397
c NEW SOLUTION FOUND: 526 @ 189.331
c NEW SOLUTION FOUND: 525 @ 190.222
c NEW SOLUTION FOUND: 524 @ 190.671
c NEW SOLUTION FOUND: 523 @ 191.105
c NEW SOLUTION FOUND: 522 @ 191.551
c NEW SOLUTION FOUND: 521 @ 192.004
c NEW SOLUTION FOUND: 520 @ 193.273
c NEW SOLUTION FOUND: 519 @ 193.686
c NEW SOLUTION FOUND: 518 @ 194.487
c NEW SOLUTION FOUND: 517 @ 194.867
c NEW SOLUTION FOUND: 516 @ 195.699
c NEW SOLUTION FOUND: 515 @ 196.996
c NEW SOLUTION FOUND: 514 @ 197.418
c NEW SOLUTION FOUND: 513 @ 198.752
c NEW SOLUTION FOUND: 512 @ 199.581
c NEW SOLUTION FOUND: 511 @ 200.542
c NEW SOLUTION FOUND: 510 @ 200.972
c NEW SOLUTION FOUND: 509 @ 201.544
c NEW SOLUTION FOUND: 508 @ 203.341
c NEW SOLUTION FOUND: 507 @ 203.787
c NEW SOLUTION FOUND: 506 @ 204.259
c NEW SOLUTION FOUND: 505 @ 204.76
c NEW SOLUTION FOUND: 504 @ 205.207
c NEW SOLUTION FOUND: 503 @ 205.659
c NEW SOLUTION FOUND: 502 @ 207.203
c NEW SOLUTION FOUND: 501 @ 209.017
c NEW SOLUTION FOUND: 500 @ 210.386
c NEW SOLUTION FOUND: 499 @ 210.879
c NEW SOLUTION FOUND: 498 @ 211.37
c NEW SOLUTION FOUND: 497 @ 211.849
c NEW SOLUTION FOUND: 496 @ 212.375
c NEW SOLUTION FOUND: 495 @ 212.914
c NEW SOLUTION FOUND: 494 @ 213.995
c NEW SOLUTION FOUND: 493 @ 214.484
c NEW SOLUTION FOUND: 492 @ 215.014
c NEW SOLUTION FOUND: 491 @ 215.492
c NEW SOLUTION FOUND: 490 @ 216.942
c NEW SOLUTION FOUND: 489 @ 218.092
c NEW SOLUTION FOUND: 488 @ 219.073
c NEW SOLUTION FOUND: 487 @ 220.072
c NEW SOLUTION FOUND: 486 @ 220.627
c NEW SOLUTION FOUND: 485 @ 221.181
c NEW SOLUTION FOUND: 484 @ 221.675
c NEW SOLUTION FOUND: 483 @ 222.215
c NEW SOLUTION FOUND: 482 @ 222.712
c NEW SOLUTION FOUND: 481 @ 223.355
c NEW SOLUTION FOUND: 480 @ 224.007
c NEW SOLUTION FOUND: 479 @ 224.559
c NEW SOLUTION FOUND: 478 @ 225.15
c NEW SOLUTION FOUND: 477 @ 225.701
c NEW SOLUTION FOUND: 476 @ 226.239
c NEW SOLUTION FOUND: 475 @ 226.792
c NEW SOLUTION FOUND: 474 @ 227.911
c NEW SOLUTION FOUND: 473 @ 228.567
c NEW SOLUTION FOUND: 472 @ 229.177
c NEW SOLUTION FOUND: 471 @ 229.862
c NEW SOLUTION FOUND: 470 @ 230.434
c NEW SOLUTION FOUND: 469 @ 231.762
c NEW SOLUTION FOUND: 468 @ 232.454
c NEW SOLUTION FOUND: 467 @ 234.982
c NEW SOLUTION FOUND: 466 @ 236.139
c NEW SOLUTION FOUND: 465 @ 236.787
c NEW SOLUTION FOUND: 464 @ 238.025
c NEW SOLUTION FOUND: 463 @ 239.323
c NEW SOLUTION FOUND: 462 @ 240.631
c NEW SOLUTION FOUND: 461 @ 241.918
c NEW SOLUTION FOUND: 460 @ 242.576
c NEW SOLUTION FOUND: 459 @ 243.229
c NEW SOLUTION FOUND: 458 @ 245.22
c NEW SOLUTION FOUND: 457 @ 245.909
c NEW SOLUTION FOUND: 456 @ 246.492
c NEW SOLUTION FOUND: 455 @ 247.906
c NEW SOLUTION FOUND: 454 @ 248.55
c NEW SOLUTION FOUND: 453 @ 249.931
c NEW SOLUTION FOUND: 452 @ 251.978
c NEW SOLUTION FOUND: 451 @ 252.742
c NEW SOLUTION FOUND: 450 @ 253.446
c NEW SOLUTION FOUND: 449 @ 254.157
c NEW SOLUTION FOUND: 448 @ 254.999
c NEW SOLUTION FOUND: 447 @ 256.372
c NEW SOLUTION FOUND: 446 @ 258.521
c NEW SOLUTION FOUND: 445 @ 259.334
c NEW SOLUTION FOUND: 444 @ 261.587
c NEW SOLUTION FOUND: 443 @ 266.496
c NEW SOLUTION FOUND: 442 @ 269.849
c NEW SOLUTION FOUND: 441 @ 271.312
c NEW SOLUTION FOUND: 440 @ 272.031
c NEW SOLUTION FOUND: 439 @ 272.791
c NEW SOLUTION FOUND: 438 @ 273.681
c NEW SOLUTION FOUND: 437 @ 275.925
c NEW SOLUTION FOUND: 436 @ 279.086
c NEW SOLUTION FOUND: 435 @ 281.93
c NEW SOLUTION FOUND: 434 @ 283.633
c NEW SOLUTION FOUND: 433 @ 284.432
c NEW SOLUTION FOUND: 432 @ 285.307
c NEW SOLUTION FOUND: 431 @ 286.887
c NEW SOLUTION FOUND: 430 @ 292.276
c NEW SOLUTION FOUND: 429 @ 298.645
c NEW SOLUTION FOUND: 428 @ 301.045
c NEW SOLUTION FOUND: 427 @ 304.416
c NEW SOLUTION FOUND: 426 @ 308.056
c NEW SOLUTION FOUND: 425 @ 309.872
c NEW SOLUTION FOUND: 424 @ 316.634
c NEW SOLUTION FOUND: 423 @ 321.51
c NEW SOLUTION FOUND: 422 @ 324.128
c NEW SOLUTION FOUND: 421 @ 325.577
c NEW SOLUTION FOUND: 420 @ 330.68
c NEW SOLUTION FOUND: 419 @ 338.279
c NEW SOLUTION FOUND: 418 @ 342.487
c NEW SOLUTION FOUND: 417 @ 348.559
c NEW SOLUTION FOUND: 416 @ 351.254
c NEW SOLUTION FOUND: 415 @ 352.66
c NEW SOLUTION FOUND: 414 @ 355.705
c NEW SOLUTION FOUND: 413 @ 358.981
c NEW SOLUTION FOUND: 412 @ 360.48
c NEW SOLUTION FOUND: 411 @ 366.788
c NEW SOLUTION FOUND: 410 @ 368.8
c NEW SOLUTION FOUND: 409 @ 372.519
c NEW SOLUTION FOUND: 408 @ 374.077
c NEW SOLUTION FOUND: 407 @ 375.953
c NEW SOLUTION FOUND: 406 @ 377.522
c NEW SOLUTION FOUND: 405 @ 379.222
c NEW SOLUTION FOUND: 404 @ 382.645
c NEW SOLUTION FOUND: 403 @ 384.313
c NEW SOLUTION FOUND: 402 @ 386.804
c NEW SOLUTION FOUND: 401 @ 390.924
c NEW SOLUTION FOUND: 400 @ 394.288
c NEW SOLUTION FOUND: 399 @ 395.939
c NEW SOLUTION FOUND: 398 @ 397.636
c NEW SOLUTION FOUND: 397 @ 399.636
c NEW SOLUTION FOUND: 396 @ 403.625
c NEW SOLUTION FOUND: 395 @ 408.535
c NEW SOLUTION FOUND: 394 @ 413.942
c NEW SOLUTION FOUND: 393 @ 417.421
c NEW SOLUTION FOUND: 392 @ 419.232
c NEW SOLUTION FOUND: 391 @ 421.098
c NEW SOLUTION FOUND: 390 @ 423.187
c NEW SOLUTION FOUND: 389 @ 429.9
c NEW SOLUTION FOUND: 388 @ 438.352
c NEW SOLUTION FOUND: 387 @ 442.205
c NEW SOLUTION FOUND: 386 @ 447.946
c NEW SOLUTION FOUND: 385 @ 453.796
c NEW SOLUTION FOUND: 384 @ 455.793
c NEW SOLUTION FOUND: 383 @ 460.63
c NEW SOLUTION FOUND: 382 @ 466.901
c NEW SOLUTION FOUND: 381 @ 469.23
c NEW SOLUTION FOUND: 380 @ 471.777
c NEW SOLUTION FOUND: 379 @ 477.183
c NEW SOLUTION FOUND: 378 @ 482.286
c NEW SOLUTION FOUND: 377 @ 486.721
c NEW SOLUTION FOUND: 376 @ 488.596
c NEW SOLUTION FOUND: 375 @ 504.669
c NEW SOLUTION FOUND: 374 @ 508.99
c NEW SOLUTION FOUND: 373 @ 514.988
c NEW SOLUTION FOUND: 372 @ 544.762
c NEW SOLUTION FOUND: 371 @ 559.66
c NEW SOLUTION FOUND: 370 @ 572.034
c NEW SOLUTION FOUND: 369 @ 583.156
c NEW SOLUTION FOUND: 368 @ 601.08
c NEW SOLUTION FOUND: 367 @ 617.808
c NEW SOLUTION FOUND: 366 @ 627.424
c NEW SOLUTION FOUND: 365 @ 650.245
c NEW SOLUTION FOUND: 364 @ 678.298
c NEW SOLUTION FOUND: 363 @ 687.967
c NEW SOLUTION FOUND: 362 @ 690.511
c NEW SOLUTION FOUND: 361 @ 696.5
c NEW SOLUTION FOUND: 360 @ 707.488
c NEW SOLUTION FOUND: 359 @ 715.554
c NEW SOLUTION FOUND: 358 @ 718.072
c NEW SOLUTION FOUND: 357 @ 724.284
c NEW SOLUTION FOUND: 356 @ 728.371
c NEW SOLUTION FOUND: 355 @ 732.504
c NEW SOLUTION FOUND: 354 @ 736.924
c NEW SOLUTION FOUND: 353 @ 757.984
c NEW SOLUTION FOUND: 352 @ 761.955
c NEW SOLUTION FOUND: 351 @ 766.448
c NEW SOLUTION FOUND: 350 @ 771.657
c NEW SOLUTION FOUND: 349 @ 777.981
c NEW SOLUTION FOUND: 348 @ 787.182
c NEW SOLUTION FOUND: 347 @ 790.715
c NEW SOLUTION FOUND: 346 @ 796.51
c NEW SOLUTION FOUND: 345 @ 808.629
c NEW SOLUTION FOUND: 344 @ 825.876
c NEW SOLUTION FOUND: 343 @ 832.136
c NEW SOLUTION FOUND: 342 @ 844.701
c NEW SOLUTION FOUND: 341 @ 855.441
c NEW SOLUTION FOUND: 340 @ 866.699
c NEW SOLUTION FOUND: 339 @ 886.331
c NEW SOLUTION FOUND: 338 @ 897.055
c NEW SOLUTION FOUND: 337 @ 913.586
c NEW SOLUTION FOUND: 336 @ 933.273
c NEW SOLUTION FOUND: 335 @ 959.579
c NEW SOLUTION FOUND: 334 @ 994.801
c NEW SOLUTION FOUND: 333 @ 1034.59
c NEW SOLUTION FOUND: 332 @ 1043.2
c NEW SOLUTION FOUND: 331 @ 1051.92
c NEW SOLUTION FOUND: 330 @ 1069.89
c NEW SOLUTION FOUND: 329 @ 1095.99
c NEW SOLUTION FOUND: 328 @ 1104.59
c NEW SOLUTION FOUND: 327 @ 1120.22
c NEW SOLUTION FOUND: 326 @ 1153.37
c NEW SOLUTION FOUND: 325 @ 1169.53
c NEW SOLUTION FOUND: 324 @ 1190.58
c NEW SOLUTION FOUND: 323 @ 1199.16
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 24712
Raw data (stat): 24712 (runsolver) R 24711 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846610955 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 2237 0 0 0 992 6 0 0 25 0 1 0 846610955 11636736 2036 4294967295 134512640 134716908 3221224576 3221220356 1074786479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 2036 1111 63 0 2778 0
vsize: 11364
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 2264 0 0 0 1992 6 0 0 25 0 1 0 846610955 11706368 2063 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 2063 1111 63 0 2795 0
vsize: 11432
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 4227 0 0 0 2983 14 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221222320 1075646679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 8035 0 0 0 3969 27 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221222400 1075140406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 12869 0 0 0 4951 45 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 18912 0 0 0 5933 63 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221223360 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 25408 0 0 0 6912 84 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221222576 1075550151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 33935 0 0 0 7888 108 0 0 25 0 1 0 846610955 10485760 1874 4294967295 134512640 134716908 3221224576 3221222664 1077377311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1874 1111 63 0 2497 0
vsize: 10240
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 45517 0 0 0 8855 142 0 0 25 0 1 0 846610955 11620352 1968 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2837 1968 1111 63 0 2774 0
vsize: 11348
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 58228 0 0 0 9820 176 0 0 25 0 1 0 846610955 10678272 1921 4294967295 134512640 134716908 3221224576 3221223216 134645745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2607 1921 1111 63 0 2544 0
vsize: 10428
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 72286 0 0 0 10783 213 0 0 25 0 1 0 846610955 10821632 1956 4294967295 134512640 134716908 3221224576 3221223284 134603753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2642 1956 1111 63 0 2579 0
vsize: 10568
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 85581 0 0 0 11747 249 0 0 25 0 1 0 846610955 10964992 1991 4294967295 134512640 134716908 3221224576 3221223228 1076533124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2677 1991 1111 63 0 2614 0
vsize: 10708
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 95420 0 0 0 12721 275 0 0 25 0 1 0 846610955 12066816 2075 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2075 1111 63 0 2883 0
vsize: 11784
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 101956 0 0 0 13704 292 0 0 25 0 1 0 846610955 11366400 2090 4294967295 134512640 134716908 3221224576 3221222864 1074143848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2775 2090 1111 63 0 2712 0
vsize: 11100
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 109095 0 0 0 14686 311 0 0 25 0 1 0 846610955 12541952 2226 4294967295 134512640 134716908 3221224576 3221220940 1075115856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3062 2226 1111 63 0 2999 0
vsize: 12248
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 115680 0 0 0 15670 327 0 0 25 0 1 0 846610955 11685888 2168 4294967295 134512640 134716908 3221224576 3221222668 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2853 2168 1111 63 0 2790 0
vsize: 11412
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 121072 0 0 0 16654 343 0 0 25 0 1 0 846610955 11735040 2187 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2865 2187 1111 63 0 2802 0
vsize: 11460
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 128637 0 0 0 17636 361 0 0 25 0 1 0 846610955 12029952 2259 4294967295 134512640 134716908 3221224576 3221222848 1074056052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2929 2251 1111 63 0 2866 0
vsize: 11748
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 135313 0 0 0 18619 378 0 0 25 0 1 0 846610955 11997184 2251 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2929 2251 1111 63 0 2866 0
vsize: 11716
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 139884 0 0 0 19606 391 0 0 25 0 1 0 846610955 13737984 2379 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2379 1111 63 0 3291 0
vsize: 13416
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 143909 0 0 0 20597 401 0 0 25 0 1 0 846610955 12201984 2301 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2979 2301 1111 63 0 2916 0
vsize: 11916
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 147486 0 0 0 21587 410 0 0 25 0 1 0 846610955 13959168 2433 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2434 1111 63 0 3345 0
vsize: 13632
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 151413 0 0 0 22576 422 0 0 25 0 1 0 846610955 12308480 2327 4294967295 134512640 134716908 3221224576 3221222864 1074153893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3005 2327 1111 63 0 2942 0
vsize: 12020
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 155341 0 0 0 23566 432 0 0 25 0 1 0 846610955 12443648 2360 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3038 2360 1111 63 0 2975 0
vsize: 12152
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 158791 0 0 0 24557 442 0 0 25 0 1 0 846610955 12636160 2407 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2407 1111 63 0 3022 0
vsize: 12340
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 162065 0 0 0 25547 451 0 0 25 0 1 0 846610955 14430208 2566 4294967295 134512640 134716908 3221224576 3221220380 1074787750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2566 1111 63 0 3460 0
vsize: 14092
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 165960 0 0 0 26537 462 0 0 25 0 1 0 846610955 12705792 2424 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2424 1111 63 0 3039 0
vsize: 12408
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 169376 0 0 0 27527 472 0 0 25 0 1 0 846610955 12709888 2425 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2425 1111 63 0 3040 0
vsize: 12412
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 173801 0 0 0 28516 483 0 0 25 0 1 0 846610955 12750848 2435 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3113 2435 1111 63 0 3050 0
vsize: 12452
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 177352 0 0 0 29508 491 0 0 25 0 1 0 846610955 12890112 2445 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2445 1111 63 0 3084 0
vsize: 12588
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 180327 0 0 0 30501 498 0 0 25 0 1 0 846610955 13180928 2540 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3218 2540 1111 63 0 3155 0
vsize: 12872
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 182828 0 0 0 31495 505 0 0 25 0 1 0 846610955 15011840 2732 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2732 1111 63 0 3602 0
vsize: 14660
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 185583 0 0 0 32488 512 0 0 25 0 1 0 846610955 14934016 2732 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2732 1111 63 0 3583 0
vsize: 14584
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 187873 0 0 0 33483 517 0 0 25 0 1 0 846610955 13180928 2541 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3218 2541 1111 63 0 3155 0
vsize: 12872
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 190722 0 0 0 34476 524 0 0 25 0 1 0 846610955 13238272 2555 4294967295 134512640 134716908 3221224576 3221222880 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3232 2555 1111 63 0 3169 0
vsize: 12928
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 193185 0 0 0 35469 531 0 0 25 0 1 0 846610955 15187968 2781 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2781 1111 63 0 3645 0
vsize: 14832
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 195477 0 0 0 36463 537 0 0 25 0 1 0 846610955 15126528 2793 4294967295 134512640 134716908 3221224576 3221221120 1076044962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2793 1111 63 0 3630 0
vsize: 14772
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 198377 0 0 0 37457 544 0 0 25 0 1 0 846610955 15290368 2791 4294967295 134512640 134716908 3221224576 3221220420 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3733 2791 1111 63 0 3670 0
vsize: 14932
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 200660 0 0 0 38452 549 0 0 25 0 1 0 846610955 15327232 2817 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2817 1111 63 0 3679 0
vsize: 14968
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 202858 0 0 0 39446 555 0 0 25 0 1 0 846610955 13295616 2569 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3246 2569 1111 63 0 3183 0
vsize: 12984
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 205055 0 0 0 40441 560 0 0 25 0 1 0 846610955 15519744 2880 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3789 2880 1111 63 0 3726 0
vsize: 15156
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 207425 0 0 0 41436 565 0 0 25 0 1 0 846610955 15556608 2864 4294967295 134512640 134716908 3221224576 3221221616 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 2864 1111 63 0 3735 0
vsize: 15192
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 209290 0 0 0 42432 570 0 0 25 0 1 0 846610955 13668352 2660 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3337 2660 1111 63 0 3274 0
vsize: 13348
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 211369 0 0 0 43427 575 0 0 25 0 1 0 846610955 15638528 2892 4294967295 134512640 134716908 3221224576 3221221232 1075966262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2892 1111 63 0 3755 0
vsize: 15272
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 214055 0 0 0 44420 582 0 0 25 0 1 0 846610955 15527936 2871 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3791 2871 1111 63 0 3728 0
vsize: 15164
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 216077 0 0 0 45414 589 0 0 25 0 1 0 846610955 15671296 2907 4294967295 134512640 134716908 3221224576 3221220472 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3826 2907 1111 63 0 3763 0
vsize: 15304
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 218626 0 0 0 46407 596 0 0 25 0 1 0 846610955 15716352 2890 4294967295 134512640 134716908 3221224576 3221221616 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3837 2890 1111 63 0 3774 0
vsize: 15348
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 220522 0 0 0 47402 600 0 0 25 0 1 0 846610955 13697024 2639 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3344 2639 1111 63 0 3281 0
vsize: 13376
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 222883 0 0 0 48396 607 0 0 25 0 1 0 846610955 15683584 2929 4294967295 134512640 134716908 3221224576 3221220512 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3829 2929 1111 63 0 3766 0
vsize: 15316
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 224967 0 0 0 49392 611 0 0 25 0 1 0 846610955 15687680 2942 4294967295 134512640 134716908 3221224576 3221220736 1075091577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3830 2942 1111 63 0 3767 0
vsize: 15320
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 226591 0 0 0 50388 615 0 0 25 0 1 0 846610955 15724544 2935 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3839 2935 1111 63 0 3776 0
vsize: 15356
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 228667 0 0 0 51383 620 0 0 25 0 1 0 846610955 15753216 2940 4294967295 134512640 134716908 3221224576 3221221648 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 2940 1111 63 0 3783 0
vsize: 15384
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 230398 0 0 0 52379 624 0 0 25 0 1 0 846610955 14217216 2781 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2781 1111 63 0 3408 0
vsize: 13884
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 232869 0 0 0 53374 630 0 0 25 0 1 0 846610955 14225408 2781 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2781 1111 63 0 3410 0
vsize: 13892
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 234690 0 0 0 54369 635 0 0 25 0 1 0 846610955 14622720 2840 4294967295 134512640 134716908 3221224576 3221221660 1073967528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2840 1111 63 0 3507 0
vsize: 14280
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 237545 0 0 0 55362 642 0 0 25 0 1 0 846610955 13881344 2712 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2712 1111 63 0 3326 0
vsize: 13556
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 239527 0 0 0 56357 647 0 0 25 0 1 0 846610955 15872000 2989 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 2989 1111 63 0 3812 0
vsize: 15500
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 241241 0 0 0 57353 651 0 0 25 0 1 0 846610955 14336000 2801 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2801 1111 63 0 3437 0
vsize: 14000
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 243112 0 0 0 58348 657 0 0 25 0 1 0 846610955 16023552 2992 4294967295 134512640 134716908 3221224576 3221220960 1074972124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3912 2992 1111 63 0 3849 0
vsize: 15648
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 244758 0 0 0 59345 660 0 0 25 0 1 0 846610955 16068608 3005 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3923 3005 1111 63 0 3860 0
vsize: 15692
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 246427 0 0 0 60341 663 0 0 25 0 1 0 846610955 16076800 3020 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3020 1111 63 0 3862 0
vsize: 15700
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 248075 0 0 0 61337 668 0 0 25 0 1 0 846610955 16158720 3022 4294967295 134512640 134716908 3221224576 3221220912 1075113508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3022 1111 63 0 3882 0
vsize: 15780
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 249925 0 0 0 62333 672 0 0 25 0 1 0 846610955 15794176 3037 4294967295 134512640 134716908 3221224576 3221220432 1074868638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3037 1111 63 0 3793 0
vsize: 15424
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 251874 0 0 0 63329 677 0 0 25 0 1 0 846610955 14458880 2840 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3530 2840 1111 63 0 3467 0
vsize: 14120
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 253676 0 0 0 64327 679 0 0 25 0 1 0 846610955 15110144 2824 4294967295 134512640 134716908 3221224576 3221221888 1076083624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3689 2826 1111 63 0 3626 0
vsize: 14756
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 256103 0 0 0 65322 684 0 0 25 0 1 0 846610955 16191488 3026 4294967295 134512640 134716908 3221224576 3221220908 1075113131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3026 1111 63 0 3890 0
vsize: 15812
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 257962 0 0 0 66318 688 0 0 25 0 1 0 846610955 16195584 3031 4294967295 134512640 134716908 3221224576 3221221696 1074834343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3954 3031 1111 63 0 3891 0
vsize: 15816
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 259948 0 0 0 67313 693 0 0 25 0 1 0 846610955 16105472 3046 4294967295 134512640 134716908 3221224576 3221220432 1074870982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3932 3046 1111 63 0 3869 0
vsize: 15728
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 261770 0 0 0 68309 697 0 0 25 0 1 0 846610955 16269312 3054 4294967295 134512640 134716908 3221224576 3221220432 1074871511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3054 1111 63 0 3909 0
vsize: 15888
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 263475 0 0 0 69306 700 0 0 25 0 1 0 846610955 14249984 2772 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3479 2772 1111 63 0 3416 0
vsize: 13916
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 265101 0 0 0 70302 704 0 0 25 0 1 0 846610955 16166912 3063 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3947 3063 1111 63 0 3884 0
vsize: 15788
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 267037 0 0 0 71298 709 0 0 25 0 1 0 846610955 16281600 3063 4294967295 134512640 134716908 3221224576 3221220472 1074789701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3975 3063 1111 63 0 3912 0
vsize: 15900
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 268747 0 0 0 72294 713 0 0 25 0 1 0 846610955 16306176 3071 4294967295 134512640 134716908 3221224576 3221220512 1075965284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3071 1111 63 0 3918 0
vsize: 15924
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 269827 0 0 0 73292 715 0 0 25 0 1 0 846610955 16347136 3085 4294967295 134512640 134716908 3221224576 3221220540 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3991 3085 1111 63 0 3928 0
vsize: 15964
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 271001 0 0 0 74290 717 0 0 25 0 1 0 846610955 16351232 3088 4294967295 134512640 134716908 3221224576 3221220452 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3992 3088 1111 63 0 3929 0
vsize: 15968
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 272173 0 0 0 75288 719 0 0 25 0 1 0 846610955 16355328 3084 4294967295 134512640 134716908 3221224576 3221220432 1074870877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3993 3084 1111 63 0 3930 0
vsize: 15972
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 273387 0 0 0 76285 722 0 0 25 0 1 0 846610955 16367616 3121 4294967295 134512640 134716908 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3996 3121 1111 63 0 3933 0
vsize: 15984
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 274605 0 0 0 77282 725 0 0 25 0 1 0 846610955 16400384 3097 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4004 3097 1111 63 0 3941 0
vsize: 16016
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 275372 0 0 0 78280 727 0 0 25 0 1 0 846610955 16015360 3106 4294967295 134512640 134716908 3221224576 3221221064 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3910 3106 1111 63 0 3847 0
vsize: 15640
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 276572 0 0 0 79278 730 0 0 25 0 1 0 846610955 16465920 3119 4294967295 134512640 134716908 3221224576 3221220472 1074789556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3119 1111 63 0 3957 0
vsize: 16080
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 277867 0 0 0 80275 733 0 0 25 0 1 0 846610955 16486400 3114 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3114 1111 63 0 3962 0
vsize: 16100
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 278679 0 0 0 81273 735 0 0 25 0 1 0 846610955 16097280 3137 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3137 1111 63 0 3867 0
vsize: 15720
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 279902 0 0 0 82271 738 0 0 25 0 1 0 846610955 16531456 3136 4294967295 134512640 134716908 3221224576 3221220640 1074881356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4036 3136 1111 63 0 3973 0
vsize: 16144
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 281040 0 0 0 83269 740 0 0 25 0 1 0 846610955 16601088 3174 4294967295 134512640 134716908 3221224576 3221220796 1075116471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 3174 1111 63 0 3990 0
vsize: 16212
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 282267 0 0 0 84266 743 0 0 25 0 1 0 846610955 16564224 3156 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3156 1111 63 0 3981 0
vsize: 16176
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 283394 0 0 0 85263 746 0 0 25 0 1 0 846610955 16281600 3180 4294967295 134512640 134716908 3221224576 3221220432 1074867700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3975 3180 1111 63 0 3912 0
vsize: 15900
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 284429 0 0 0 86262 748 0 0 25 0 1 0 846610955 16588800 3181 4294967295 134512640 134716908 3221224576 3221220844 1075116336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4050 3181 1111 63 0 3987 0
vsize: 16200
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 285324 0 0 0 87259 750 0 0 25 0 1 0 846610955 15003648 2978 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3663 2978 1111 63 0 3600 0
vsize: 14652
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 286176 0 0 0 88258 752 0 0 25 0 1 0 846610955 16334848 3186 4294967295 134512640 134716908 3221224576 3221220640 1074881435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3186 1111 63 0 3925 0
vsize: 15952
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 287255 0 0 0 89255 755 0 0 25 0 1 0 846610955 16584704 3184 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4049 3184 1111 63 0 3986 0
vsize: 16196
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 287848 0 0 0 90254 756 0 0 25 0 1 0 846610955 16584704 3182 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4049 3182 1111 63 0 3986 0
vsize: 16196
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 288713 0 0 0 91252 758 0 0 25 0 1 0 846610955 14704640 2913 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2913 1111 63 0 3527 0
vsize: 14360
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 289633 0 0 0 92251 759 0 0 25 0 1 0 846610955 16728064 3170 4294967295 134512640 134716908 3221224576 3221220736 1074794589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4084 3170 1111 63 0 4021 0
vsize: 16336
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 290354 0 0 0 93250 761 0 0 25 0 1 0 846610955 16228352 3193 4294967295 134512640 134716908 3221224576 3221220540 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3193 1111 63 0 3899 0
vsize: 15848
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 291009 0 0 0 94249 762 0 0 25 0 1 0 846610955 16314368 3179 4294967295 134512640 134716908 3221224576 3221220736 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 3179 1111 63 0 3920 0
vsize: 15932
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 291866 0 0 0 95247 764 0 0 25 0 1 0 846610955 14704640 2913 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2913 1111 63 0 3527 0
vsize: 14360
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 292954 0 0 0 96245 766 0 0 25 0 1 0 846610955 16703488 3167 4294967295 134512640 134716908 3221224576 3221220796 1075116541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4078 3167 1111 63 0 4015 0
vsize: 16312
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 293807 0 0 0 97244 767 0 0 25 0 1 0 846610955 16310272 3197 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 3197 1111 63 0 3919 0
vsize: 15928
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 294563 0 0 0 98242 769 0 0 25 0 1 0 846610955 16330752 3194 4294967295 134512640 134716908 3221224576 3221221344 1076083646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3987 3194 1111 63 0 3924 0
vsize: 15948
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 295256 0 0 0 99241 770 0 0 25 0 1 0 846610955 16699392 3282 4294967295 134512640 134716908 3221224576 3221220544 1074872712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4077 3282 1111 63 0 4014 0
vsize: 16308
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 296152 0 0 0 100239 772 0 0 25 0 1 0 846610955 14704640 2913 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2913 1111 63 0 3527 0
vsize: 14360
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 297210 0 0 0 101238 774 0 0 25 0 1 0 846610955 16723968 3182 4294967295 134512640 134716908 3221224576 3221221108 1075863614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 3182 1111 63 0 4020 0
vsize: 16332
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 298064 0 0 0 102236 776 0 0 25 0 1 0 846610955 16228352 3196 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3196 1111 63 0 3899 0
vsize: 15848
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 298791 0 0 0 103235 777 0 0 25 0 1 0 846610955 16424960 3207 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4010 3207 1111 63 0 3947 0
vsize: 16040
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 299496 0 0 0 104233 779 0 0 25 0 1 0 846610955 16334848 3201 4294967295 134512640 134716908 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3201 1111 63 0 3925 0
vsize: 15952
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 300201 0 0 0 105231 782 0 0 25 0 1 0 846610955 16457728 3221 4294967295 134512640 134716908 3221224576 3221220544 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3221 1111 63 0 3955 0
vsize: 16072
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 301203 0 0 0 106229 784 0 0 25 0 1 0 846610955 14704640 2913 4294967295 134512640 134716908 3221224576 3221216288 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2913 1111 63 0 3527 0
vsize: 14360
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 302323 0 0 0 107226 786 0 0 25 0 1 0 846610955 16805888 3202 4294967295 134512640 134716908 3221224576 3221220640 1074881396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4103 3202 1111 63 0 4040 0
vsize: 16412
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 303143 0 0 0 108225 787 0 0 25 0 1 0 846610955 16412672 3214 4294967295 134512640 134716908 3221224576 3221220460 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 3214 1111 63 0 3944 0
vsize: 16028
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 303756 0 0 0 109224 789 0 0 25 0 1 0 846610955 16830464 3208 4294967295 134512640 134716908 3221224576 3221221148 1076042563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4109 3208 1111 63 0 4046 0
vsize: 16436
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 304584 0 0 0 110222 791 0 0 25 0 1 0 846610955 16445440 3215 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4015 3215 1111 63 0 3952 0
vsize: 16060
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 305364 0 0 0 111221 793 0 0 25 0 1 0 846610955 16453632 3218 4294967295 134512640 134716908 3221224576 3221221232 1075967840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4017 3218 1111 63 0 3954 0
vsize: 16068
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 306159 0 0 0 112219 794 0 0 25 0 1 0 846610955 16486400 3239 4294967295 134512640 134716908 3221224576 3221220432 1074868468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3239 1111 63 0 3962 0
vsize: 16100
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 307708 0 0 0 113215 798 0 0 25 0 1 0 846610955 16494592 3218 4294967295 134512640 134716908 3221224576 3221220896 1075170005 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4027 3218 1111 63 0 3964 0
vsize: 16108
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 307733 0 0 0 114216 798 0 0 25 0 1 0 846610955 16494592 3243 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4027 3243 1111 63 0 3964 0
vsize: 16108
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 308531 0 0 0 115214 800 0 0 25 0 1 0 846610955 16515072 3253 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4032 3253 1111 63 0 3969 0
vsize: 16128
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 309660 0 0 0 116212 802 0 0 25 0 1 0 846610955 15036416 2964 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3671 2964 1111 63 0 3608 0
vsize: 14684
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 310153 0 0 0 117211 804 0 0 25 0 1 0 846610955 16543744 3250 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3250 1111 63 0 3976 0
vsize: 16156
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 310966 0 0 0 118209 806 0 0 25 0 1 0 846610955 16543744 3249 4294967295 134512640 134716908 3221224576 3221221108 1074260613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3249 1111 63 0 3976 0
vsize: 16156
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) R 24711 8378 8377 0 -1 0 312247 0 0 0 119206 808 0 0 25 0 1 0 846610955 15626240 3079 4294967295 134512640 134716908 3221224576 3221222656 1075963599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 3079 1111 63 0 3752 0
vsize: 15260
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 24712
Raw data (stat): 24712 (bsolo_lpr_cuts-) Z 24711 8378 8377 0 -1 1036 312247 0 0 0 119206 809 0 0 25 0 1 0 846610955 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.16
CPU user time (s): 1192.07
CPU system time (s): 8.09777
CPU usage (%): 100.011
Max. virtual memory (Kb): 16436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####