PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	166
Trace number 23477

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916136 kB
Buffers:         41156 kB
Cached:          55140 kB
SwapCached:        944 kB
Active:          80180 kB
Inactive:        18652 kB
HighTotal:      131008 kB
HighFree:        74844 kB
LowTotal:       903652 kB
LowFree:        841292 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             336 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14232 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 01:53:07 (client local time) WITH STATUS 10 IN 1175.48 SECONDS
stats: 604 0 1175.48 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4677 variables and 509 constraints.
c After prepocess the problem consists of 4677 variables and 509 constraints.
c preprocess terminated 3.394 s
c Initial Lower Bound: 62
c Lower Bound Elapsed time: 2.83617
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2607 @ 27.551
c NEW SOLUTION FOUND: 2606 @ 27.65
c NEW SOLUTION FOUND: 2605 @ 27.703
c NEW SOLUTION FOUND: 2604 @ 27.755
c NEW SOLUTION FOUND: 2603 @ 27.808
c NEW SOLUTION FOUND: 2602 @ 27.861
c NEW SOLUTION FOUND: 2601 @ 27.914
c NEW SOLUTION FOUND: 2600 @ 27.967
c NEW SOLUTION FOUND: 2599 @ 28.019
c NEW SOLUTION FOUND: 2598 @ 28.072
c NEW SOLUTION FOUND: 2597 @ 28.125
c NEW SOLUTION FOUND: 2596 @ 28.178
c NEW SOLUTION FOUND: 2595 @ 28.231
c NEW SOLUTION FOUND: 2594 @ 28.283
c NEW SOLUTION FOUND: 2593 @ 28.336
c NEW SOLUTION FOUND: 2592 @ 28.389
c NEW SOLUTION FOUND: 2591 @ 28.442
c NEW SOLUTION FOUND: 2590 @ 28.494
c NEW SOLUTION FOUND: 2589 @ 28.547
c NEW SOLUTION FOUND: 2588 @ 28.6
c NEW SOLUTION FOUND: 2587 @ 28.653
c NEW SOLUTION FOUND: 2586 @ 28.705
c NEW SOLUTION FOUND: 2585 @ 28.758
c NEW SOLUTION FOUND: 2584 @ 28.811
c NEW SOLUTION FOUND: 2583 @ 28.864
c NEW SOLUTION FOUND: 2582 @ 28.916
c NEW SOLUTION FOUND: 2581 @ 28.969
c NEW SOLUTION FOUND: 2580 @ 29.021
c NEW SOLUTION FOUND: 2579 @ 29.074
c NEW SOLUTION FOUND: 2578 @ 29.127
c NEW SOLUTION FOUND: 2577 @ 29.18
c NEW SOLUTION FOUND: 2576 @ 29.233
c NEW SOLUTION FOUND: 2575 @ 29.285
c NEW SOLUTION FOUND: 2574 @ 29.338
c NEW SOLUTION FOUND: 2573 @ 29.391
c NEW SOLUTION FOUND: 2572 @ 29.443
c NEW SOLUTION FOUND: 2571 @ 29.496
c NEW SOLUTION FOUND: 2570 @ 29.548
c NEW SOLUTION FOUND: 2569 @ 29.601
c NEW SOLUTION FOUND: 2568 @ 29.654
c NEW SOLUTION FOUND: 2567 @ 29.706
c NEW SOLUTION FOUND: 2566 @ 29.759
c NEW SOLUTION FOUND: 2565 @ 29.812
c NEW SOLUTION FOUND: 2564 @ 29.864
c NEW SOLUTION FOUND: 2563 @ 29.917
c NEW SOLUTION FOUND: 2562 @ 29.97
c NEW SOLUTION FOUND: 2561 @ 30.022
c NEW SOLUTION FOUND: 2560 @ 30.075
c NEW SOLUTION FOUND: 2559 @ 30.128
c NEW SOLUTION FOUND: 2558 @ 30.18
c NEW SOLUTION FOUND: 2557 @ 30.233
c NEW SOLUTION FOUND: 2556 @ 30.286
c NEW SOLUTION FOUND: 2555 @ 30.338
c NEW SOLUTION FOUND: 2554 @ 30.391
c NEW SOLUTION FOUND: 2553 @ 30.443
c NEW SOLUTION FOUND: 2552 @ 30.495
c NEW SOLUTION FOUND: 2551 @ 30.548
c NEW SOLUTION FOUND: 2550 @ 30.6
c NEW SOLUTION FOUND: 2549 @ 30.653
c NEW SOLUTION FOUND: 2548 @ 30.705
c NEW SOLUTION FOUND: 2547 @ 30.757
c NEW SOLUTION FOUND: 2546 @ 30.81
c NEW SOLUTION FOUND: 2545 @ 30.863
c NEW SOLUTION FOUND: 2544 @ 30.915
c NEW SOLUTION FOUND: 2543 @ 30.968
c NEW SOLUTION FOUND: 2542 @ 31.021
c NEW SOLUTION FOUND: 2541 @ 31.08
c NEW SOLUTION FOUND: 2540 @ 31.139
c NEW SOLUTION FOUND: 2539 @ 31.198
c NEW SOLUTION FOUND: 2538 @ 31.256
c NEW SOLUTION FOUND: 2537 @ 31.315
c NEW SOLUTION FOUND: 2536 @ 31.373
c NEW SOLUTION FOUND: 2535 @ 31.432
c NEW SOLUTION FOUND: 2534 @ 31.49
c NEW SOLUTION FOUND: 2533 @ 31.549
c NEW SOLUTION FOUND: 2532 @ 31.607
c NEW SOLUTION FOUND: 2531 @ 31.665
c NEW SOLUTION FOUND: 2530 @ 31.724
c NEW SOLUTION FOUND: 2529 @ 31.782
c NEW SOLUTION FOUND: 2528 @ 31.841
c NEW SOLUTION FOUND: 2527 @ 31.899
c NEW SOLUTION FOUND: 2526 @ 31.958
c NEW SOLUTION FOUND: 2525 @ 32.016
c NEW SOLUTION FOUND: 2524 @ 32.075
c NEW SOLUTION FOUND: 2523 @ 32.133
c NEW SOLUTION FOUND: 2522 @ 32.191
c NEW SOLUTION FOUND: 2521 @ 32.25
c NEW SOLUTION FOUND: 2520 @ 32.308
c NEW SOLUTION FOUND: 2519 @ 32.367
c NEW SOLUTION FOUND: 2518 @ 32.425
c NEW SOLUTION FOUND: 2517 @ 32.483
c NEW SOLUTION FOUND: 2516 @ 32.543
c NEW SOLUTION FOUND: 2515 @ 32.602
c NEW SOLUTION FOUND: 2514 @ 32.662
c NEW SOLUTION FOUND: 2513 @ 32.721
c NEW SOLUTION FOUND: 2512 @ 32.78
c NEW SOLUTION FOUND: 2511 @ 32.84
c NEW SOLUTION FOUND: 2510 @ 32.899
c NEW SOLUTION FOUND: 2509 @ 32.958
c NEW SOLUTION FOUND: 2508 @ 33.017
c NEW SOLUTION FOUND: 2507 @ 33.077
c NEW SOLUTION FOUND: 2506 @ 33.136
c NEW SOLUTION FOUND: 2505 @ 33.195
c NEW SOLUTION FOUND: 2504 @ 33.254
c NEW SOLUTION FOUND: 2503 @ 33.313
c NEW SOLUTION FOUND: 2502 @ 33.372
c NEW SOLUTION FOUND: 2501 @ 33.431
c NEW SOLUTION FOUND: 2500 @ 33.49
c NEW SOLUTION FOUND: 2499 @ 33.549
c NEW SOLUTION FOUND: 2498 @ 33.608
c NEW SOLUTION FOUND: 2497 @ 33.667
c NEW SOLUTION FOUND: 2496 @ 33.727
c NEW SOLUTION FOUND: 2495 @ 33.786
c NEW SOLUTION FOUND: 2494 @ 33.845
c NEW SOLUTION FOUND: 2493 @ 33.904
c NEW SOLUTION FOUND: 2492 @ 33.963
c NEW SOLUTION FOUND: 2491 @ 34.022
c NEW SOLUTION FOUND: 2490 @ 34.081
c NEW SOLUTION FOUND: 2489 @ 34.14
c NEW SOLUTION FOUND: 2488 @ 34.199
c NEW SOLUTION FOUND: 2487 @ 34.258
c NEW SOLUTION FOUND: 2486 @ 34.317
c NEW SOLUTION FOUND: 2485 @ 34.376
c NEW SOLUTION FOUND: 2484 @ 34.435
c NEW SOLUTION FOUND: 2483 @ 34.494
c NEW SOLUTION FOUND: 2482 @ 34.553
c NEW SOLUTION FOUND: 2481 @ 34.612
c NEW SOLUTION FOUND: 2480 @ 34.672
c NEW SOLUTION FOUND: 2479 @ 34.731
c NEW SOLUTION FOUND: 2478 @ 34.79
c NEW SOLUTION FOUND: 2477 @ 34.849
c NEW SOLUTION FOUND: 2476 @ 34.908
c NEW SOLUTION FOUND: 2475 @ 34.966
c NEW SOLUTION FOUND: 2474 @ 35.025
c NEW SOLUTION FOUND: 2473 @ 35.084
c NEW SOLUTION FOUND: 2472 @ 35.143
c NEW SOLUTION FOUND: 2471 @ 35.202
c NEW SOLUTION FOUND: 2470 @ 35.261
c NEW SOLUTION FOUND: 2469 @ 35.321
c NEW SOLUTION FOUND: 2468 @ 35.38
c NEW SOLUTION FOUND: 2467 @ 35.439
c NEW SOLUTION FOUND: 2466 @ 35.498
c NEW SOLUTION FOUND: 2465 @ 35.557
c NEW SOLUTION FOUND: 2464 @ 35.616
c NEW SOLUTION FOUND: 2463 @ 35.675
c NEW SOLUTION FOUND: 2462 @ 35.734
c NEW SOLUTION FOUND: 2461 @ 35.793
c NEW SOLUTION FOUND: 2460 @ 35.852
c NEW SOLUTION FOUND: 2459 @ 35.91
c NEW SOLUTION FOUND: 2458 @ 35.969
c NEW SOLUTION FOUND: 2457 @ 36.028
c NEW SOLUTION FOUND: 2456 @ 36.088
c NEW SOLUTION FOUND: 2455 @ 36.146
c NEW SOLUTION FOUND: 2454 @ 36.205
c NEW SOLUTION FOUND: 2453 @ 36.264
c NEW SOLUTION FOUND: 2452 @ 36.323
c NEW SOLUTION FOUND: 2451 @ 36.382
c NEW SOLUTION FOUND: 2450 @ 36.441
c NEW SOLUTION FOUND: 2449 @ 36.499
c NEW SOLUTION FOUND: 2448 @ 36.558
c NEW SOLUTION FOUND: 2447 @ 36.617
c NEW SOLUTION FOUND: 2446 @ 36.676
c NEW SOLUTION FOUND: 2445 @ 36.735
c NEW SOLUTION FOUND: 2444 @ 36.794
c NEW SOLUTION FOUND: 2443 @ 36.852
c NEW SOLUTION FOUND: 2442 @ 36.911
c NEW SOLUTION FOUND: 2441 @ 36.97
c NEW SOLUTION FOUND: 2440 @ 37.029
c NEW SOLUTION FOUND: 2439 @ 37.089
c NEW SOLUTION FOUND: 2438 @ 37.148
c NEW SOLUTION FOUND: 2437 @ 37.206
c NEW SOLUTION FOUND: 2436 @ 37.265
c NEW SOLUTION FOUND: 2435 @ 37.324
c NEW SOLUTION FOUND: 2434 @ 37.383
c NEW SOLUTION FOUND: 2433 @ 37.441
c NEW SOLUTION FOUND: 2432 @ 37.5
c NEW SOLUTION FOUND: 2431 @ 37.559
c NEW SOLUTION FOUND: 2430 @ 37.618
c NEW SOLUTION FOUND: 2429 @ 37.676
c NEW SOLUTION FOUND: 2428 @ 37.735
c NEW SOLUTION FOUND: 2427 @ 37.794
c NEW SOLUTION FOUND: 2426 @ 37.853
c NEW SOLUTION FOUND: 2425 @ 37.911
c NEW SOLUTION FOUND: 2424 @ 37.97
c NEW SOLUTION FOUND: 2423 @ 38.028
c NEW SOLUTION FOUND: 2422 @ 38.144
c NEW SOLUTION FOUND: 2421 @ 38.204
c NEW SOLUTION FOUND: 2420 @ 38.264
c NEW SOLUTION FOUND: 2419 @ 38.324
c NEW SOLUTION FOUND: 2418 @ 38.384
c NEW SOLUTION FOUND: 2417 @ 38.444
c NEW SOLUTION FOUND: 2416 @ 38.505
c NEW SOLUTION FOUND: 2415 @ 38.565
c NEW SOLUTION FOUND: 2414 @ 38.625
c NEW SOLUTION FOUND: 2413 @ 38.685
c NEW SOLUTION FOUND: 2412 @ 38.745
c NEW SOLUTION FOUND: 2411 @ 38.805
c NEW SOLUTION FOUND: 2410 @ 38.865
c NEW SOLUTION FOUND: 2409 @ 38.925
c NEW SOLUTION FOUND: 2408 @ 38.985
c NEW SOLUTION FOUND: 2407 @ 39.045
c NEW SOLUTION FOUND: 2406 @ 39.105
c NEW SOLUTION FOUND: 2405 @ 39.165
c NEW SOLUTION FOUND: 2404 @ 39.225
c NEW SOLUTION FOUND: 2403 @ 39.285
c NEW SOLUTION FOUND: 2402 @ 39.345
c NEW SOLUTION FOUND: 2401 @ 39.405
c NEW SOLUTION FOUND: 2400 @ 39.464
c NEW SOLUTION FOUND: 2399 @ 39.524
c NEW SOLUTION FOUND: 2398 @ 39.584
c NEW SOLUTION FOUND: 2397 @ 39.644
c NEW SOLUTION FOUND: 2396 @ 39.704
c NEW SOLUTION FOUND: 2395 @ 39.764
c NEW SOLUTION FOUND: 2394 @ 39.824
c NEW SOLUTION FOUND: 2393 @ 39.884
c NEW SOLUTION FOUND: 2392 @ 39.944
c NEW SOLUTION FOUND: 2391 @ 40.004
c NEW SOLUTION FOUND: 2390 @ 40.064
c NEW SOLUTION FOUND: 2389 @ 40.123
c NEW SOLUTION FOUND: 2388 @ 40.183
c NEW SOLUTION FOUND: 2387 @ 40.243
c NEW SOLUTION FOUND: 2386 @ 40.304
c NEW SOLUTION FOUND: 2385 @ 40.364
c NEW SOLUTION FOUND: 2384 @ 40.424
c NEW SOLUTION FOUND: 2383 @ 40.484
c NEW SOLUTION FOUND: 2382 @ 40.543
c NEW SOLUTION FOUND: 2381 @ 40.603
c NEW SOLUTION FOUND: 2380 @ 40.663
c NEW SOLUTION FOUND: 2379 @ 40.723
c NEW SOLUTION FOUND: 2378 @ 40.783
c NEW SOLUTION FOUND: 2377 @ 40.843
c NEW SOLUTION FOUND: 2376 @ 40.902
c NEW SOLUTION FOUND: 2375 @ 40.962
c NEW SOLUTION FOUND: 2374 @ 41.022
c NEW SOLUTION FOUND: 2373 @ 41.082
c NEW SOLUTION FOUND: 2372 @ 41.142
c NEW SOLUTION FOUND: 2371 @ 41.201
c NEW SOLUTION FOUND: 2370 @ 41.261
c NEW SOLUTION FOUND: 2369 @ 41.321
c NEW SOLUTION FOUND: 2368 @ 41.38
c NEW SOLUTION FOUND: 2367 @ 41.44
c NEW SOLUTION FOUND: 2366 @ 41.5
c NEW SOLUTION FOUND: 2365 @ 41.56
c NEW SOLUTION FOUND: 2364 @ 41.619
c NEW SOLUTION FOUND: 2363 @ 41.679
c NEW SOLUTION FOUND: 2362 @ 41.739
c NEW SOLUTION FOUND: 2361 @ 41.799
c NEW SOLUTION FOUND: 2360 @ 41.859
c NEW SOLUTION FOUND: 2359 @ 41.918
c NEW SOLUTION FOUND: 2358 @ 41.978
c NEW SOLUTION FOUND: 2357 @ 42.038
c NEW SOLUTION FOUND: 2356 @ 42.098
c NEW SOLUTION FOUND: 2355 @ 42.158
c NEW SOLUTION FOUND: 2354 @ 42.219
c NEW SOLUTION FOUND: 2353 @ 42.278
c NEW SOLUTION FOUND: 2352 @ 42.338
c NEW SOLUTION FOUND: 2351 @ 42.398
c NEW SOLUTION FOUND: 2350 @ 42.457
c NEW SOLUTION FOUND: 2349 @ 42.517
c NEW SOLUTION FOUND: 2348 @ 42.577
c NEW SOLUTION FOUND: 2347 @ 42.637
c NEW SOLUTION FOUND: 2346 @ 42.696
c NEW SOLUTION FOUND: 2345 @ 42.756
c NEW SOLUTION FOUND: 2344 @ 42.816
c NEW SOLUTION FOUND: 2343 @ 42.875
c NEW SOLUTION FOUND: 2342 @ 42.935
c NEW SOLUTION FOUND: 2341 @ 42.995
c NEW SOLUTION FOUND: 2340 @ 43.055
c NEW SOLUTION FOUND: 2339 @ 43.115
c NEW SOLUTION FOUND: 2338 @ 43.175
c NEW SOLUTION FOUND: 2337 @ 43.235
c NEW SOLUTION FOUND: 2336 @ 43.294
c NEW SOLUTION FOUND: 2335 @ 43.354
c NEW SOLUTION FOUND: 2334 @ 43.413
c NEW SOLUTION FOUND: 2333 @ 43.473
c NEW SOLUTION FOUND: 2332 @ 43.532
c NEW SOLUTION FOUND: 2331 @ 43.592
c NEW SOLUTION FOUND: 2330 @ 43.651
c NEW SOLUTION FOUND: 2329 @ 43.711
c NEW SOLUTION FOUND: 2328 @ 43.771
c NEW SOLUTION FOUND: 2327 @ 43.83
c NEW SOLUTION FOUND: 2326 @ 43.89
c NEW SOLUTION FOUND: 2325 @ 43.95
c NEW SOLUTION FOUND: 2324 @ 44.009
c NEW SOLUTION FOUND: 2323 @ 44.069
c NEW SOLUTION FOUND: 2322 @ 44.128
c NEW SOLUTION FOUND: 2321 @ 44.187
c NEW SOLUTION FOUND: 2320 @ 44.247
c NEW SOLUTION FOUND: 2319 @ 44.306
c NEW SOLUTION FOUND: 2318 @ 44.366
c NEW SOLUTION FOUND: 2317 @ 44.425
c NEW SOLUTION FOUND: 2316 @ 44.485
c NEW SOLUTION FOUND: 2315 @ 44.544
c NEW SOLUTION FOUND: 2314 @ 44.604
c NEW SOLUTION FOUND: 2313 @ 44.664
c NEW SOLUTION FOUND: 2312 @ 44.723
c NEW SOLUTION FOUND: 2311 @ 44.783
c NEW SOLUTION FOUND: 2310 @ 44.842
c NEW SOLUTION FOUND: 2309 @ 44.902
c NEW SOLUTION FOUND: 2308 @ 44.961
c NEW SOLUTION FOUND: 2307 @ 45.02
c NEW SOLUTION FOUND: 2306 @ 45.08
c NEW SOLUTION FOUND: 2305 @ 45.139
c NEW SOLUTION FOUND: 2304 @ 45.199
c NEW SOLUTION FOUND: 2303 @ 45.258
c NEW SOLUTION FOUND: 2302 @ 45.318
c NEW SOLUTION FOUND: 2301 @ 45.378
c NEW SOLUTION FOUND: 2300 @ 45.437
c NEW SOLUTION FOUND: 2299 @ 45.496
c NEW SOLUTION FOUND: 2298 @ 45.556
c NEW SOLUTION FOUND: 2297 @ 45.615
c NEW SOLUTION FOUND: 2296 @ 45.674
c NEW SOLUTION FOUND: 2295 @ 45.734
c NEW SOLUTION FOUND: 2294 @ 45.793
c NEW SOLUTION FOUND: 2293 @ 45.852
c NEW SOLUTION FOUND: 2292 @ 45.912
c NEW SOLUTION FOUND: 2291 @ 45.971
c NEW SOLUTION FOUND: 2290 @ 46.03
c NEW SOLUTION FOUND: 2289 @ 46.09
c NEW SOLUTION FOUND: 2288 @ 46.149
c NEW SOLUTION FOUND: 2287 @ 46.208
c NEW SOLUTION FOUND: 2286 @ 46.268
c NEW SOLUTION FOUND: 2285 @ 46.327
c NEW SOLUTION FOUND: 2284 @ 46.386
c NEW SOLUTION FOUND: 2283 @ 46.445
c NEW SOLUTION FOUND: 2282 @ 46.505
c NEW SOLUTION FOUND: 2281 @ 46.563
c NEW SOLUTION FOUND: 2280 @ 46.622
c NEW SOLUTION FOUND: 2279 @ 46.682
c NEW SOLUTION FOUND: 2278 @ 46.741
c NEW SOLUTION FOUND: 2277 @ 46.8
c NEW SOLUTION FOUND: 2276 @ 46.859
c NEW SOLUTION FOUND: 2275 @ 46.919
c NEW SOLUTION FOUND: 2274 @ 46.978
c NEW SOLUTION FOUND: 2273 @ 47.037
c NEW SOLUTION FOUND: 2272 @ 47.096
c NEW SOLUTION FOUND: 2271 @ 47.156
c NEW SOLUTION FOUND: 2270 @ 47.215
c NEW SOLUTION FOUND: 2269 @ 47.274
c NEW SOLUTION FOUND: 2268 @ 47.333
c NEW SOLUTION FOUND: 2267 @ 47.392
c NEW SOLUTION FOUND: 2266 @ 47.452
c NEW SOLUTION FOUND: 2265 @ 47.511
c NEW SOLUTION FOUND: 2264 @ 47.57
c NEW SOLUTION FOUND: 2263 @ 47.629
c NEW SOLUTION FOUND: 2262 @ 47.689
c NEW SOLUTION FOUND: 2261 @ 47.748
c NEW SOLUTION FOUND: 2260 @ 47.807
c NEW SOLUTION FOUND: 2259 @ 47.866
c NEW SOLUTION FOUND: 2258 @ 47.925
c NEW SOLUTION FOUND: 2257 @ 47.985
c NEW SOLUTION FOUND: 2256 @ 48.044
c NEW SOLUTION FOUND: 2255 @ 48.103
c NEW SOLUTION FOUND: 2254 @ 48.162
c NEW SOLUTION FOUND: 2253 @ 48.222
c NEW SOLUTION FOUND: 2252 @ 48.281
c NEW SOLUTION FOUND: 2251 @ 48.34
c NEW SOLUTION FOUND: 2250 @ 48.399
c NEW SOLUTION FOUND: 2249 @ 48.458
c NEW SOLUTION FOUND: 2248 @ 48.517
c NEW SOLUTION FOUND: 2247 @ 48.577
c NEW SOLUTION FOUND: 2246 @ 48.636
c NEW SOLUTION FOUND: 2245 @ 48.695
c NEW SOLUTION FOUND: 2244 @ 48.754
c NEW SOLUTION FOUND: 2243 @ 48.814
c NEW SOLUTION FOUND: 2242 @ 48.873
c NEW SOLUTION FOUND: 2241 @ 48.932
c NEW SOLUTION FOUND: 2240 @ 48.991
c NEW SOLUTION FOUND: 2239 @ 49.05
c NEW SOLUTION FOUND: 2238 @ 49.111
c NEW SOLUTION FOUND: 2237 @ 49.17
c NEW SOLUTION FOUND: 2236 @ 49.229
c NEW SOLUTION FOUND: 2235 @ 49.288
c NEW SOLUTION FOUND: 2234 @ 49.347
c NEW SOLUTION FOUND: 2233 @ 49.406
c NEW SOLUTION FOUND: 2232 @ 49.465
c NEW SOLUTION FOUND: 2231 @ 49.524
c NEW SOLUTION FOUND: 2230 @ 49.583
c NEW SOLUTION FOUND: 2229 @ 49.642
c NEW SOLUTION FOUND: 2228 @ 49.701
c NEW SOLUTION FOUND: 2227 @ 49.76
c NEW SOLUTION FOUND: 2226 @ 49.82
c NEW SOLUTION FOUND: 2225 @ 49.879
c NEW SOLUTION FOUND: 2224 @ 49.939
c NEW SOLUTION FOUND: 2223 @ 49.998
c NEW SOLUTION FOUND: 2222 @ 50.057
c NEW SOLUTION FOUND: 2221 @ 50.116
c NEW SOLUTION FOUND: 2220 @ 50.175
c NEW SOLUTION FOUND: 2219 @ 50.234
c NEW SOLUTION FOUND: 2218 @ 50.293
c NEW SOLUTION FOUND: 2217 @ 50.352
c NEW SOLUTION FOUND: 2216 @ 50.411
c NEW SOLUTION FOUND: 2215 @ 50.47
c NEW SOLUTION FOUND: 2214 @ 50.529
c NEW SOLUTION FOUND: 2213 @ 50.588
c NEW SOLUTION FOUND: 2212 @ 50.647
c NEW SOLUTION FOUND: 2211 @ 50.707
c NEW SOLUTION FOUND: 2210 @ 50.765
c NEW SOLUTION FOUND: 2209 @ 50.825
c NEW SOLUTION FOUND: 2208 @ 50.883
c NEW SOLUTION FOUND: 2207 @ 50.942
c NEW SOLUTION FOUND: 2206 @ 51.001
c NEW SOLUTION FOUND: 2205 @ 51.06
c NEW SOLUTION FOUND: 2204 @ 51.119
c NEW SOLUTION FOUND: 2203 @ 51.178
c NEW SOLUTION FOUND: 2202 @ 51.237
c NEW SOLUTION FOUND: 2201 @ 51.296
c NEW SOLUTION FOUND: 2200 @ 51.355
c NEW SOLUTION FOUND: 2199 @ 51.414
c NEW SOLUTION FOUND: 2198 @ 51.472
c NEW SOLUTION FOUND: 2197 @ 51.531
c NEW SOLUTION FOUND: 2196 @ 51.59
c NEW SOLUTION FOUND: 2195 @ 51.649
c NEW SOLUTION FOUND: 2194 @ 51.708
c NEW SOLUTION FOUND: 2193 @ 51.767
c NEW SOLUTION FOUND: 2192 @ 51.826
c NEW SOLUTION FOUND: 2191 @ 51.885
c NEW SOLUTION FOUND: 2190 @ 51.943
c NEW SOLUTION FOUND: 2189 @ 52.002
c NEW SOLUTION FOUND: 2188 @ 52.061
c NEW SOLUTION FOUND: 2187 @ 52.12
c NEW SOLUTION FOUND: 2186 @ 52.179
c NEW SOLUTION FOUND: 2185 @ 52.238
c NEW SOLUTION FOUND: 2184 @ 52.296
c NEW SOLUTION FOUND: 2183 @ 52.355
c NEW SOLUTION FOUND: 2182 @ 52.414
c NEW SOLUTION FOUND: 2181 @ 52.473
c NEW SOLUTION FOUND: 2180 @ 52.532
c NEW SOLUTION FOUND: 2179 @ 52.591
c NEW SOLUTION FOUND: 2178 @ 52.649
c NEW SOLUTION FOUND: 2177 @ 52.709
c NEW SOLUTION FOUND: 2176 @ 52.767
c NEW SOLUTION FOUND: 2175 @ 52.826
c NEW SOLUTION FOUND: 2174 @ 52.885
c NEW SOLUTION FOUND: 2173 @ 52.944
c NEW SOLUTION FOUND: 2172 @ 53.002
c NEW SOLUTION FOUND: 2171 @ 53.061
c NEW SOLUTION FOUND: 2170 @ 53.12
c NEW SOLUTION FOUND: 2169 @ 53.179
c NEW SOLUTION FOUND: 2168 @ 53.237
c NEW SOLUTION FOUND: 2167 @ 53.295
c NEW SOLUTION FOUND: 2166 @ 53.354
c NEW SOLUTION FOUND: 2165 @ 53.413
c NEW SOLUTION FOUND: 2164 @ 53.471
c NEW SOLUTION FOUND: 2163 @ 53.53
c NEW SOLUTION FOUND: 2162 @ 53.589
c NEW SOLUTION FOUND: 2161 @ 53.648
c NEW SOLUTION FOUND: 2160 @ 53.706
c NEW SOLUTION FOUND: 2159 @ 53.765
c NEW SOLUTION FOUND: 2158 @ 53.824
c NEW SOLUTION FOUND: 2157 @ 53.883
c NEW SOLUTION FOUND: 2156 @ 53.941
c NEW SOLUTION FOUND: 2155 @ 54
c NEW SOLUTION FOUND: 2154 @ 54.059
c NEW SOLUTION FOUND: 2153 @ 54.118
c NEW SOLUTION FOUND: 2152 @ 54.176
c NEW SOLUTION FOUND: 2151 @ 54.235
c NEW SOLUTION FOUND: 2150 @ 54.293
c NEW SOLUTION FOUND: 2149 @ 54.352
c NEW SOLUTION FOUND: 2148 @ 54.411
c NEW SOLUTION FOUND: 2147 @ 54.469
c NEW SOLUTION FOUND: 2146 @ 54.528
c NEW SOLUTION FOUND: 2145 @ 54.587
c NEW SOLUTION FOUND: 2144 @ 54.645
c NEW SOLUTION FOUND: 2143 @ 54.704
c NEW SOLUTION FOUND: 2142 @ 54.763
c NEW SOLUTION FOUND: 2141 @ 54.821
c NEW SOLUTION FOUND: 2140 @ 54.88
c NEW SOLUTION FOUND: 2139 @ 54.939
c NEW SOLUTION FOUND: 2138 @ 54.998
c NEW SOLUTION FOUND: 2137 @ 55.058
c NEW SOLUTION FOUND: 2136 @ 55.116
c NEW SOLUTION FOUND: 2135 @ 55.175
c NEW SOLUTION FOUND: 2134 @ 55.234
c NEW SOLUTION FOUND: 2133 @ 55.292
c NEW SOLUTION FOUND: 2132 @ 55.351
c NEW SOLUTION FOUND: 2131 @ 55.41
c NEW SOLUTION FOUND: 2130 @ 55.469
c NEW SOLUTION FOUND: 2129 @ 55.527
c NEW SOLUTION FOUND: 2128 @ 55.586
c NEW SOLUTION FOUND: 2127 @ 55.644
c NEW SOLUTION FOUND: 2126 @ 55.703
c NEW SOLUTION FOUND: 2125 @ 55.761
c NEW SOLUTION FOUND: 2124 @ 55.82
c NEW SOLUTION FOUND: 2123 @ 55.879
c NEW SOLUTION FOUND: 2122 @ 55.937
c NEW SOLUTION FOUND: 2121 @ 55.996
c NEW SOLUTION FOUND: 2120 @ 56.054
c NEW SOLUTION FOUND: 2119 @ 56.113
c NEW SOLUTION FOUND: 2118 @ 56.171
c NEW SOLUTION FOUND: 2117 @ 56.23
c NEW SOLUTION FOUND: 2116 @ 56.289
c NEW SOLUTION FOUND: 2115 @ 56.348
c NEW SOLUTION FOUND: 2114 @ 56.408
c NEW SOLUTION FOUND: 2113 @ 56.467
c NEW SOLUTION FOUND: 2112 @ 56.526
c NEW SOLUTION FOUND: 2111 @ 56.585
c NEW SOLUTION FOUND: 2110 @ 56.644
c NEW SOLUTION FOUND: 2109 @ 56.703
c NEW SOLUTION FOUND: 2108 @ 56.762
c NEW SOLUTION FOUND: 2107 @ 56.821
c NEW SOLUTION FOUND: 2106 @ 56.88
c NEW SOLUTION FOUND: 2105 @ 56.939
c NEW SOLUTION FOUND: 2104 @ 56.998
c NEW SOLUTION FOUND: 2103 @ 57.057
c NEW SOLUTION FOUND: 2102 @ 57.116
c NEW SOLUTION FOUND: 2101 @ 57.175
c NEW SOLUTION FOUND: 2100 @ 57.233
c NEW SOLUTION FOUND: 2099 @ 57.294
c NEW SOLUTION FOUND: 2098 @ 57.353
c NEW SOLUTION FOUND: 2097 @ 57.412
c NEW SOLUTION FOUND: 2096 @ 57.471
c NEW SOLUTION FOUND: 2095 @ 57.53
c NEW SOLUTION FOUND: 2094 @ 57.588
c NEW SOLUTION FOUND: 2093 @ 57.647
c NEW SOLUTION FOUND: 2092 @ 57.707
c NEW SOLUTION FOUND: 2091 @ 57.766
c NEW SOLUTION FOUND: 2090 @ 57.824
c NEW SOLUTION FOUND: 2089 @ 57.883
c NEW SOLUTION FOUND: 2088 @ 57.942
c NEW SOLUTION FOUND: 2087 @ 58.001
c NEW SOLUTION FOUND: 2086 @ 58.06
c NEW SOLUTION FOUND: 2085 @ 58.119
c NEW SOLUTION FOUND: 2084 @ 58.178
c NEW SOLUTION FOUND: 2083 @ 58.237
c NEW SOLUTION FOUND: 2082 @ 58.296
c NEW SOLUTION FOUND: 2081 @ 58.355
c NEW SOLUTION FOUND: 2080 @ 58.413
c NEW SOLUTION FOUND: 2079 @ 58.472
c NEW SOLUTION FOUND: 2078 @ 58.531
c NEW SOLUTION FOUND: 2077 @ 58.59
c NEW SOLUTION FOUND: 2076 @ 58.649
c NEW SOLUTION FOUND: 2075 @ 58.708
c NEW SOLUTION FOUND: 2074 @ 58.767
c NEW SOLUTION FOUND: 2073 @ 58.826
c NEW SOLUTION FOUND: 2072 @ 58.885
c NEW SOLUTION FOUND: 2071 @ 58.943
c NEW SOLUTION FOUND: 2070 @ 59.002
c NEW SOLUTION FOUND: 2069 @ 59.061
c NEW SOLUTION FOUND: 2068 @ 59.12
c NEW SOLUTION FOUND: 2067 @ 59.179
c NEW SOLUTION FOUND: 2066 @ 59.237
c NEW SOLUTION FOUND: 2065 @ 59.296
c NEW SOLUTION FOUND: 2064 @ 59.355
c NEW SOLUTION FOUND: 2063 @ 59.413
c NEW SOLUTION FOUND: 2062 @ 59.472
c NEW SOLUTION FOUND: 2061 @ 59.531
c NEW SOLUTION FOUND: 2060 @ 59.59
c NEW SOLUTION FOUND: 2059 @ 59.648
c NEW SOLUTION FOUND: 2058 @ 59.707
c NEW SOLUTION FOUND: 2057 @ 59.766
c NEW SOLUTION FOUND: 2056 @ 59.825
c NEW SOLUTION FOUND: 2055 @ 59.882
c NEW SOLUTION FOUND: 2054 @ 59.942
c NEW SOLUTION FOUND: 2053 @ 60.001
c NEW SOLUTION FOUND: 2052 @ 60.06
c NEW SOLUTION FOUND: 2051 @ 60.118
c NEW SOLUTION FOUND: 2050 @ 60.177
c NEW SOLUTION FOUND: 2049 @ 60.236
c NEW SOLUTION FOUND: 2048 @ 60.295
c NEW SOLUTION FOUND: 2047 @ 60.354
c NEW SOLUTION FOUND: 2046 @ 60.412
c NEW SOLUTION FOUND: 2045 @ 60.471
c NEW SOLUTION FOUND: 2044 @ 60.53
c NEW SOLUTION FOUND: 2043 @ 60.588
c NEW SOLUTION FOUND: 2042 @ 60.647
c NEW SOLUTION FOUND: 2041 @ 60.706
c NEW SOLUTION FOUND: 2040 @ 60.764
c NEW SOLUTION FOUND: 2039 @ 60.823
c NEW SOLUTION FOUND: 2038 @ 60.882
c NEW SOLUTION FOUND: 2037 @ 60.94
c NEW SOLUTION FOUND: 2036 @ 60.999
c NEW SOLUTION FOUND: 2035 @ 61.057
c NEW SOLUTION FOUND: 2034 @ 61.117
c NEW SOLUTION FOUND: 2033 @ 61.176
c NEW SOLUTION FOUND: 2032 @ 61.234
c NEW SOLUTION FOUND: 2031 @ 61.293
c NEW SOLUTION FOUND: 2030 @ 61.351
c NEW SOLUTION FOUND: 2029 @ 61.41
c NEW SOLUTION FOUND: 2028 @ 61.468
c NEW SOLUTION FOUND: 2027 @ 61.527
c NEW SOLUTION FOUND: 2026 @ 61.585
c NEW SOLUTION FOUND: 2025 @ 61.644
c NEW SOLUTION FOUND: 2024 @ 61.703
c NEW SOLUTION FOUND: 2023 @ 61.761
c NEW SOLUTION FOUND: 2022 @ 61.82
c NEW SOLUTION FOUND: 2021 @ 61.878
c NEW SOLUTION FOUND: 2020 @ 61.937
c NEW SOLUTION FOUND: 2019 @ 61.995
c NEW SOLUTION FOUND: 2018 @ 62.054
c NEW SOLUTION FOUND: 2017 @ 62.112
c NEW SOLUTION FOUND: 2016 @ 62.171
c NEW SOLUTION FOUND: 2015 @ 62.229
c NEW SOLUTION FOUND: 2014 @ 62.287
c NEW SOLUTION FOUND: 2013 @ 62.346
c NEW SOLUTION FOUND: 2012 @ 62.404
c NEW SOLUTION FOUND: 2011 @ 62.463
c NEW SOLUTION FOUND: 2010 @ 62.521
c NEW SOLUTION FOUND: 2009 @ 62.58
c NEW SOLUTION FOUND: 2008 @ 62.638
c NEW SOLUTION FOUND: 2007 @ 62.697
c NEW SOLUTION FOUND: 2006 @ 62.755
c NEW SOLUTION FOUND: 2005 @ 62.813
c NEW SOLUTION FOUND: 2004 @ 62.872
c NEW SOLUTION FOUND: 2003 @ 62.93
c NEW SOLUTION FOUND: 2002 @ 62.989
c NEW SOLUTION FOUND: 2001 @ 63.047
c NEW SOLUTION FOUND: 2000 @ 63.106
c NEW SOLUTION FOUND: 1999 @ 63.164
c NEW SOLUTION FOUND: 1998 @ 63.222
c NEW SOLUTION FOUND: 1997 @ 63.281
c NEW SOLUTION FOUND: 1996 @ 63.339
c NEW SOLUTION FOUND: 1995 @ 63.397
c NEW SOLUTION FOUND: 1994 @ 63.455
c NEW SOLUTION FOUND: 1993 @ 63.514
c NEW SOLUTION FOUND: 1992 @ 63.572
c NEW SOLUTION FOUND: 1991 @ 63.63
c NEW SOLUTION FOUND: 1990 @ 63.689
c NEW SOLUTION FOUND: 1989 @ 63.747
c NEW SOLUTION FOUND: 1988 @ 63.805
c NEW SOLUTION FOUND: 1987 @ 63.863
c NEW SOLUTION FOUND: 1986 @ 63.922
c NEW SOLUTION FOUND: 1985 @ 63.98
c NEW SOLUTION FOUND: 1984 @ 64.038
c NEW SOLUTION FOUND: 1983 @ 64.096
c NEW SOLUTION FOUND: 1982 @ 64.155
c NEW SOLUTION FOUND: 1981 @ 64.213
c NEW SOLUTION FOUND: 1980 @ 64.271
c NEW SOLUTION FOUND: 1979 @ 64.33
c NEW SOLUTION FOUND: 1978 @ 64.388
c NEW SOLUTION FOUND: 1977 @ 64.446
c NEW SOLUTION FOUND: 1976 @ 64.504
c NEW SOLUTION FOUND: 1975 @ 64.562
c NEW SOLUTION FOUND: 1974 @ 64.621
c NEW SOLUTION FOUND: 1973 @ 64.679
c NEW SOLUTION FOUND: 1972 @ 64.737
c NEW SOLUTION FOUND: 1971 @ 64.796
c NEW SOLUTION FOUND: 1970 @ 64.854
c NEW SOLUTION FOUND: 1969 @ 64.912
c NEW SOLUTION FOUND: 1968 @ 64.97
c NEW SOLUTION FOUND: 1967 @ 65.028
c NEW SOLUTION FOUND: 1966 @ 65.086
c NEW SOLUTION FOUND: 1965 @ 65.144
c NEW SOLUTION FOUND: 1964 @ 65.203
c NEW SOLUTION FOUND: 1963 @ 65.261
c NEW SOLUTION FOUND: 1962 @ 65.32
c NEW SOLUTION FOUND: 1961 @ 65.378
c NEW SOLUTION FOUND: 1960 @ 65.436
c NEW SOLUTION FOUND: 1959 @ 65.494
c NEW SOLUTION FOUND: 1958 @ 65.552
c NEW SOLUTION FOUND: 1957 @ 65.61
c NEW SOLUTION FOUND: 1956 @ 65.668
c NEW SOLUTION FOUND: 1955 @ 65.726
c NEW SOLUTION FOUND: 1954 @ 65.784
c NEW SOLUTION FOUND: 1953 @ 65.842
c NEW SOLUTION FOUND: 1952 @ 65.9
c NEW SOLUTION FOUND: 1951 @ 65.959
c NEW SOLUTION FOUND: 1950 @ 66.017
c NEW SOLUTION FOUND: 1949 @ 66.075
c NEW SOLUTION FOUND: 1948 @ 66.133
c NEW SOLUTION FOUND: 1947 @ 66.191
c NEW SOLUTION FOUND: 1946 @ 66.249
c NEW SOLUTION FOUND: 1945 @ 66.307
c NEW SOLUTION FOUND: 1944 @ 66.365
c NEW SOLUTION FOUND: 1943 @ 66.423
c NEW SOLUTION FOUND: 1942 @ 66.48
c NEW SOLUTION FOUND: 1941 @ 66.538
c NEW SOLUTION FOUND: 1940 @ 66.596
c NEW SOLUTION FOUND: 1939 @ 66.654
c NEW SOLUTION FOUND: 1938 @ 66.712
c NEW SOLUTION FOUND: 1937 @ 66.77
c NEW SOLUTION FOUND: 1936 @ 66.828
c NEW SOLUTION FOUND: 1935 @ 66.887
c NEW SOLUTION FOUND: 1934 @ 66.945
c NEW SOLUTION FOUND: 1933 @ 67.003
c NEW SOLUTION FOUND: 1932 @ 67.062
c NEW SOLUTION FOUND: 1931 @ 67.12
c NEW SOLUTION FOUND: 1930 @ 67.178
c NEW SOLUTION FOUND: 1929 @ 67.236
c NEW SOLUTION FOUND: 1928 @ 67.294
c NEW SOLUTION FOUND: 1927 @ 67.351
c NEW SOLUTION FOUND: 1926 @ 67.409
c NEW SOLUTION FOUND: 1925 @ 67.467
c NEW SOLUTION FOUND: 1924 @ 67.525
c NEW SOLUTION FOUND: 1923 @ 67.583
c NEW SOLUTION FOUND: 1922 @ 67.641
c NEW SOLUTION FOUND: 1921 @ 67.699
c NEW SOLUTION FOUND: 1920 @ 67.757
c NEW SOLUTION FOUND: 1919 @ 67.815
c NEW SOLUTION FOUND: 1918 @ 67.873
c NEW SOLUTION FOUND: 1917 @ 67.931
c NEW SOLUTION FOUND: 1916 @ 67.989
c NEW SOLUTION FOUND: 1915 @ 68.047
c NEW SOLUTION FOUND: 1914 @ 68.104
c NEW SOLUTION FOUND: 1913 @ 68.162
c NEW SOLUTION FOUND: 1912 @ 68.22
c NEW SOLUTION FOUND: 1911 @ 68.278
c NEW SOLUTION FOUND: 1910 @ 68.336
c NEW SOLUTION FOUND: 1909 @ 68.394
c NEW SOLUTION FOUND: 1908 @ 68.452
c NEW SOLUTION FOUND: 1907 @ 68.509
c NEW SOLUTION FOUND: 1906 @ 68.567
c NEW SOLUTION FOUND: 1905 @ 68.625
c NEW SOLUTION FOUND: 1904 @ 68.683
c NEW SOLUTION FOUND: 1903 @ 68.741
c NEW SOLUTION FOUND: 1902 @ 68.799
c NEW SOLUTION FOUND: 1901 @ 68.857
c NEW SOLUTION FOUND: 1900 @ 68.915
c NEW SOLUTION FOUND: 1899 @ 68.973
c NEW SOLUTION FOUND: 1898 @ 69.03
c NEW SOLUTION FOUND: 1897 @ 69.088
c NEW SOLUTION FOUND: 1896 @ 69.146
c NEW SOLUTION FOUND: 1895 @ 69.203
c NEW SOLUTION FOUND: 1894 @ 69.261
c NEW SOLUTION FOUND: 1893 @ 69.319
c NEW SOLUTION FOUND: 1892 @ 69.377
c NEW SOLUTION FOUND: 1891 @ 69.434
c NEW SOLUTION FOUND: 1890 @ 69.492
c NEW SOLUTION FOUND: 1889 @ 69.55
c NEW SOLUTION FOUND: 1888 @ 69.608
c NEW SOLUTION FOUND: 1887 @ 69.666
c NEW SOLUTION FOUND: 1886 @ 69.724
c NEW SOLUTION FOUND: 1885 @ 69.781
c NEW SOLUTION FOUND: 1884 @ 69.839
c NEW SOLUTION FOUND: 1883 @ 69.897
c NEW SOLUTION FOUND: 1882 @ 69.955
c NEW SOLUTION FOUND: 1881 @ 70.013
c NEW SOLUTION FOUND: 1880 @ 70.07
c NEW SOLUTION FOUND: 1879 @ 70.128
c NEW SOLUTION FOUND: 1878 @ 70.186
c NEW SOLUTION FOUND: 1877 @ 70.244
c NEW SOLUTION FOUND: 1876 @ 70.302
c NEW SOLUTION FOUND: 1875 @ 70.36
c NEW SOLUTION FOUND: 1874 @ 70.417
c NEW SOLUTION FOUND: 1873 @ 70.475
c NEW SOLUTION FOUND: 1872 @ 70.533
c NEW SOLUTION FOUND: 1871 @ 70.59
c NEW SOLUTION FOUND: 1870 @ 70.648
c NEW SOLUTION FOUND: 1869 @ 70.706
c NEW SOLUTION FOUND: 1868 @ 70.763
c NEW SOLUTION FOUND: 1867 @ 70.821
c NEW SOLUTION FOUND: 1866 @ 70.879
c NEW SOLUTION FOUND: 1865 @ 70.936
c NEW SOLUTION FOUND: 1864 @ 70.994
c NEW SOLUTION FOUND: 1863 @ 71.051
c NEW SOLUTION FOUND: 1862 @ 71.109
c NEW SOLUTION FOUND: 1861 @ 71.167
c NEW SOLUTION FOUND: 1860 @ 71.224
c NEW SOLUTION FOUND: 1859 @ 71.282
c NEW SOLUTION FOUND: 1858 @ 71.339
c NEW SOLUTION FOUND: 1857 @ 71.397
c NEW SOLUTION FOUND: 1856 @ 71.454
c NEW SOLUTION FOUND: 1855 @ 71.512
c NEW SOLUTION FOUND: 1854 @ 71.569
c NEW SOLUTION FOUND: 1853 @ 71.627
c NEW SOLUTION FOUND: 1852 @ 71.685
c NEW SOLUTION FOUND: 1851 @ 71.742
c NEW SOLUTION FOUND: 1850 @ 71.8
c NEW SOLUTION FOUND: 1849 @ 71.857
c NEW SOLUTION FOUND: 1848 @ 71.915
c NEW SOLUTION FOUND: 1847 @ 71.972
c NEW SOLUTION FOUND: 1846 @ 72.03
c NEW SOLUTION FOUND: 1845 @ 72.087
c NEW SOLUTION FOUND: 1844 @ 72.146
c NEW SOLUTION FOUND: 1843 @ 72.203
c NEW SOLUTION FOUND: 1842 @ 72.261
c NEW SOLUTION FOUND: 1841 @ 72.318
c NEW SOLUTION FOUND: 1840 @ 72.376
c NEW SOLUTION FOUND: 1839 @ 72.433
c NEW SOLUTION FOUND: 1838 @ 72.491
c NEW SOLUTION FOUND: 1837 @ 72.548
c NEW SOLUTION FOUND: 1836 @ 72.605
c NEW SOLUTION FOUND: 1835 @ 72.663
c NEW SOLUTION FOUND: 1834 @ 72.72
c NEW SOLUTION FOUND: 1833 @ 72.778
c NEW SOLUTION FOUND: 1832 @ 72.835
c NEW SOLUTION FOUND: 1831 @ 72.893
c NEW SOLUTION FOUND: 1830 @ 72.95
c NEW SOLUTION FOUND: 1829 @ 73.008
c NEW SOLUTION FOUND: 1828 @ 73.065
c NEW SOLUTION FOUND: 1827 @ 73.123
c NEW SOLUTION FOUND: 1826 @ 73.18
c NEW SOLUTION FOUND: 1825 @ 73.238
c NEW SOLUTION FOUND: 1824 @ 73.295
c NEW SOLUTION FOUND: 1823 @ 73.352
c NEW SOLUTION FOUND: 1822 @ 73.41
c NEW SOLUTION FOUND: 1821 @ 73.467
c NEW SOLUTION FOUND: 1820 @ 73.525
c NEW SOLUTION FOUND: 1819 @ 73.582
c NEW SOLUTION FOUND: 1818 @ 73.639
c NEW SOLUTION FOUND: 1817 @ 73.697
c NEW SOLUTION FOUND: 1816 @ 73.754
c NEW SOLUTION FOUND: 1815 @ 73.811
c NEW SOLUTION FOUND: 1814 @ 73.869
c NEW SOLUTION FOUND: 1813 @ 73.926
c NEW SOLUTION FOUND: 1812 @ 73.983
c NEW SOLUTION FOUND: 1811 @ 74.041
c NEW SOLUTION FOUND: 1810 @ 74.098
c NEW SOLUTION FOUND: 1809 @ 74.155
c NEW SOLUTION FOUND: 1808 @ 74.212
c NEW SOLUTION FOUND: 1807 @ 74.27
c NEW SOLUTION FOUND: 1806 @ 74.327
c NEW SOLUTION FOUND: 1805 @ 74.384
c NEW SOLUTION FOUND: 1804 @ 74.442
c NEW SOLUTION FOUND: 1803 @ 74.499
c NEW SOLUTION FOUND: 1802 @ 74.556
c NEW SOLUTION FOUND: 1801 @ 74.613
c NEW SOLUTION FOUND: 1800 @ 74.67
c NEW SOLUTION FOUND: 1799 @ 74.728
c NEW SOLUTION FOUND: 1798 @ 74.785
c NEW SOLUTION FOUND: 1797 @ 74.842
c NEW SOLUTION FOUND: 1796 @ 74.9
c NEW SOLUTION FOUND: 1795 @ 74.957
c NEW SOLUTION FOUND: 1794 @ 75.014
c NEW SOLUTION FOUND: 1793 @ 75.071
c NEW SOLUTION FOUND: 1792 @ 75.128
c NEW SOLUTION FOUND: 1791 @ 75.185
c NEW SOLUTION FOUND: 1790 @ 75.243
c NEW SOLUTION FOUND: 1789 @ 75.301
c NEW SOLUTION FOUND: 1788 @ 75.358
c NEW SOLUTION FOUND: 1787 @ 75.415
c NEW SOLUTION FOUND: 1786 @ 75.472
c NEW SOLUTION FOUND: 1785 @ 75.529
c NEW SOLUTION FOUND: 1784 @ 75.586
c NEW SOLUTION FOUND: 1783 @ 75.643
c NEW SOLUTION FOUND: 1782 @ 75.701
c NEW SOLUTION FOUND: 1781 @ 75.758
c NEW SOLUTION FOUND: 1780 @ 75.815
c NEW SOLUTION FOUND: 1779 @ 75.872
c NEW SOLUTION FOUND: 1778 @ 75.929
c NEW SOLUTION FOUND: 1777 @ 75.986
c NEW SOLUTION FOUND: 1776 @ 76.043
c NEW SOLUTION FOUND: 1775 @ 76.1
c NEW SOLUTION FOUND: 1774 @ 76.158
c NEW SOLUTION FOUND: 1773 @ 76.215
c NEW SOLUTION FOUND: 1772 @ 76.272
c NEW SOLUTION FOUND: 1771 @ 76.329
c NEW SOLUTION FOUND: 1770 @ 76.386
c NEW SOLUTION FOUND: 1769 @ 76.443
c NEW SOLUTION FOUND: 1768 @ 76.5
c NEW SOLUTION FOUND: 1767 @ 76.557
c NEW SOLUTION FOUND: 1766 @ 76.614
c NEW SOLUTION FOUND: 1765 @ 76.671
c NEW SOLUTION FOUND: 1764 @ 76.728
c NEW SOLUTION FOUND: 1763 @ 76.785
c NEW SOLUTION FOUND: 1762 @ 76.842
c NEW SOLUTION FOUND: 1761 @ 76.899
c NEW SOLUTION FOUND: 1760 @ 76.956
c NEW SOLUTION FOUND: 1759 @ 77.013
c NEW SOLUTION FOUND: 1758 @ 77.07
c NEW SOLUTION FOUND: 1757 @ 77.127
c NEW SOLUTION FOUND: 1756 @ 77.184
c NEW SOLUTION FOUND: 1755 @ 77.241
c NEW SOLUTION FOUND: 1754 @ 77.298
c NEW SOLUTION FOUND: 1753 @ 77.354
c NEW SOLUTION FOUND: 1752 @ 77.411
c NEW SOLUTION FOUND: 1751 @ 77.468
c NEW SOLUTION FOUND: 1750 @ 77.525
c NEW SOLUTION FOUND: 1749 @ 77.582
c NEW SOLUTION FOUND: 1748 @ 77.639
c NEW SOLUTION FOUND: 1747 @ 77.696
c NEW SOLUTION FOUND: 1746 @ 77.753
c NEW SOLUTION FOUND: 1745 @ 77.81
c NEW SOLUTION FOUND: 1744 @ 77.867
c NEW SOLUTION FOUND: 1743 @ 77.924
c NEW SOLUTION FOUND: 1742 @ 77.98
c NEW SOLUTION FOUND: 1741 @ 78.037
c NEW SOLUTION FOUND: 1740 @ 78.094
c NEW SOLUTION FOUND: 1739 @ 78.151
c NEW SOLUTION FOUND: 1738 @ 78.208
c NEW SOLUTION FOUND: 1737 @ 78.265
c NEW SOLUTION FOUND: 1736 @ 78.321
c NEW SOLUTION FOUND: 1735 @ 78.378
c NEW SOLUTION FOUND: 1734 @ 78.435
c NEW SOLUTION FOUND: 1733 @ 78.492
c NEW SOLUTION FOUND: 1732 @ 78.549
c NEW SOLUTION FOUND: 1731 @ 78.606
c NEW SOLUTION FOUND: 1730 @ 78.662
c NEW SOLUTION FOUND: 1729 @ 78.72
c NEW SOLUTION FOUND: 1728 @ 78.776
c NEW SOLUTION FOUND: 1727 @ 78.833
c NEW SOLUTION FOUND: 1726 @ 78.89
c NEW SOLUTION FOUND: 1725 @ 78.947
c NEW SOLUTION FOUND: 1724 @ 79.004
c NEW SOLUTION FOUND: 1723 @ 79.062
c NEW SOLUTION FOUND: 1722 @ 79.118
c NEW SOLUTION FOUND: 1721 @ 79.175
c NEW SOLUTION FOUND: 1720 @ 79.232
c NEW SOLUTION FOUND: 1719 @ 79.289
c NEW SOLUTION FOUND: 1718 @ 79.345
c NEW SOLUTION FOUND: 1717 @ 79.402
c NEW SOLUTION FOUND: 1716 @ 79.459
c NEW SOLUTION FOUND: 1715 @ 79.515
c NEW SOLUTION FOUND: 1714 @ 79.572
c NEW SOLUTION FOUND: 1713 @ 79.629
c NEW SOLUTION FOUND: 1712 @ 79.686
c NEW SOLUTION FOUND: 1711 @ 79.742
c NEW SOLUTION FOUND: 1710 @ 79.798
c NEW SOLUTION FOUND: 1709 @ 79.855
c NEW SOLUTION FOUND: 1708 @ 79.912
c NEW SOLUTION FOUND: 1707 @ 79.97
c NEW SOLUTION FOUND: 1706 @ 80.026
c NEW SOLUTION FOUND: 1705 @ 80.083
c NEW SOLUTION FOUND: 1704 @ 80.14
c NEW SOLUTION FOUND: 1703 @ 80.197
c NEW SOLUTION FOUND: 1702 @ 80.253
c NEW SOLUTION FOUND: 1701 @ 80.311
c NEW SOLUTION FOUND: 1700 @ 80.367
c NEW SOLUTION FOUND: 1699 @ 80.424
c NEW SOLUTION FOUND: 1698 @ 80.481
c NEW SOLUTION FOUND: 1697 @ 80.538
c NEW SOLUTION FOUND: 1696 @ 80.594
c NEW SOLUTION FOUND: 1695 @ 80.651
c NEW SOLUTION FOUND: 1694 @ 80.708
c NEW SOLUTION FOUND: 1693 @ 80.765
c NEW SOLUTION FOUND: 1692 @ 80.821
c NEW SOLUTION FOUND: 1691 @ 80.878
c NEW SOLUTION FOUND: 1690 @ 80.934
c NEW SOLUTION FOUND: 1689 @ 80.991
c NEW SOLUTION FOUND: 1688 @ 81.048
c NEW SOLUTION FOUND: 1687 @ 81.104
c NEW SOLUTION FOUND: 1686 @ 81.161
c NEW SOLUTION FOUND: 1685 @ 81.217
c NEW SOLUTION FOUND: 1684 @ 81.274
c NEW SOLUTION FOUND: 1683 @ 81.331
c NEW SOLUTION FOUND: 1682 @ 81.387
c NEW SOLUTION FOUND: 1681 @ 81.444
c NEW SOLUTION FOUND: 1680 @ 81.5
c NEW SOLUTION FOUND: 1679 @ 81.557
c NEW SOLUTION FOUND: 1678 @ 81.614
c NEW SOLUTION FOUND: 1677 @ 81.67
c NEW SOLUTION FOUND: 1676 @ 81.727
c NEW SOLUTION FOUND: 1675 @ 81.783
c NEW SOLUTION FOUND: 1674 @ 81.84
c NEW SOLUTION FOUND: 1673 @ 81.896
c NEW SOLUTION FOUND: 1672 @ 81.953
c NEW SOLUTION FOUND: 1671 @ 82.009
c NEW SOLUTION FOUND: 1670 @ 82.066
c NEW SOLUTION FOUND: 1669 @ 82.122
c NEW SOLUTION FOUND: 1668 @ 82.179
c NEW SOLUTION FOUND: 1667 @ 82.235
c NEW SOLUTION FOUND: 1666 @ 82.292
c NEW SOLUTION FOUND: 1665 @ 82.348
c NEW SOLUTION FOUND: 1664 @ 82.405
c NEW SOLUTION FOUND: 1663 @ 82.461
c NEW SOLUTION FOUND: 1662 @ 82.518
c NEW SOLUTION FOUND: 1661 @ 82.574
c NEW SOLUTION FOUND: 1660 @ 82.631
c NEW SOLUTION FOUND: 1659 @ 82.688
c NEW SOLUTION FOUND: 1658 @ 82.744
c NEW SOLUTION FOUND: 1657 @ 82.801
c NEW SOLUTION FOUND: 1656 @ 82.857
c NEW SOLUTION FOUND: 1655 @ 82.914
c NEW SOLUTION FOUND: 1654 @ 82.97
c NEW SOLUTION FOUND: 1653 @ 83.026
c NEW SOLUTION FOUND: 1652 @ 83.083
c NEW SOLUTION FOUND: 1651 @ 83.14
c NEW SOLUTION FOUND: 1650 @ 83.196
c NEW SOLUTION FOUND: 1649 @ 83.253
c NEW SOLUTION FOUND: 1648 @ 83.309
c NEW SOLUTION FOUND: 1647 @ 83.365
c NEW SOLUTION FOUND: 1646 @ 83.422
c NEW SOLUTION FOUND: 1645 @ 83.478
c NEW SOLUTION FOUND: 1644 @ 83.535
c NEW SOLUTION FOUND: 1643 @ 83.591
c NEW SOLUTION FOUND: 1642 @ 83.647
c NEW SOLUTION FOUND: 1641 @ 83.704
c NEW SOLUTION FOUND: 1640 @ 83.76
c NEW SOLUTION FOUND: 1639 @ 83.817
c NEW SOLUTION FOUND: 1638 @ 83.873
c NEW SOLUTION FOUND: 1637 @ 83.93
c NEW SOLUTION FOUND: 1636 @ 83.986
c NEW SOLUTION FOUND: 1635 @ 84.043
c NEW SOLUTION FOUND: 1634 @ 84.099
c NEW SOLUTION FOUND: 1633 @ 84.155
c NEW SOLUTION FOUND: 1632 @ 84.212
c NEW SOLUTION FOUND: 1631 @ 84.268
c NEW SOLUTION FOUND: 1630 @ 84.325
c NEW SOLUTION FOUND: 1629 @ 84.381
c NEW SOLUTION FOUND: 1628 @ 84.437
c NEW SOLUTION FOUND: 1627 @ 84.494
c NEW SOLUTION FOUND: 1626 @ 84.55
c NEW SOLUTION FOUND: 1625 @ 84.606
c NEW SOLUTION FOUND: 1624 @ 84.663
c NEW SOLUTION FOUND: 1623 @ 84.72
c NEW SOLUTION FOUND: 1622 @ 84.776
c NEW SOLUTION FOUND: 1621 @ 84.832
c NEW SOLUTION FOUND: 1620 @ 84.889
c NEW SOLUTION FOUND: 1619 @ 84.945
c NEW SOLUTION FOUND: 1618 @ 85.002
c NEW SOLUTION FOUND: 1617 @ 85.058
c NEW SOLUTION FOUND: 1616 @ 85.116
c NEW SOLUTION FOUND: 1615 @ 85.172
c NEW SOLUTION FOUND: 1614 @ 85.229
c NEW SOLUTION FOUND: 1613 @ 85.285
c NEW SOLUTION FOUND: 1612 @ 85.342
c NEW SOLUTION FOUND: 1611 @ 85.398
c NEW SOLUTION FOUND: 1610 @ 85.454
c NEW SOLUTION FOUND: 1609 @ 85.511
c NEW SOLUTION FOUND: 1608 @ 85.567
c NEW SOLUTION FOUND: 1607 @ 85.623
c NEW SOLUTION FOUND: 1606 @ 85.68
c NEW SOLUTION FOUND: 1605 @ 85.736
c NEW SOLUTION FOUND: 1604 @ 85.792
c NEW SOLUTION FOUND: 1603 @ 85.849
c NEW SOLUTION FOUND: 1602 @ 85.905
c NEW SOLUTION FOUND: 1601 @ 85.961
c NEW SOLUTION FOUND: 1600 @ 86.018
c NEW SOLUTION FOUND: 1599 @ 86.074
c NEW SOLUTION FOUND: 1598 @ 86.13
c NEW SOLUTION FOUND: 1597 @ 86.186
c NEW SOLUTION FOUND: 1596 @ 86.242
c NEW SOLUTION FOUND: 1595 @ 86.298
c NEW SOLUTION FOUND: 1594 @ 86.355
c NEW SOLUTION FOUND: 1593 @ 86.41
c NEW SOLUTION FOUND: 1592 @ 86.466
c NEW SOLUTION FOUND: 1591 @ 86.522
c NEW SOLUTION FOUND: 1590 @ 86.578
c NEW SOLUTION FOUND: 1589 @ 86.636
c NEW SOLUTION FOUND: 1588 @ 86.692
c NEW SOLUTION FOUND: 1587 @ 86.748
c NEW SOLUTION FOUND: 1586 @ 86.804
c NEW SOLUTION FOUND: 1585 @ 86.861
c NEW SOLUTION FOUND: 1584 @ 86.917
c NEW SOLUTION FOUND: 1583 @ 86.973
c NEW SOLUTION FOUND: 1582 @ 87.029
c NEW SOLUTION FOUND: 1581 @ 87.085
c NEW SOLUTION FOUND: 1580 @ 87.141
c NEW SOLUTION FOUND: 1579 @ 87.197
c NEW SOLUTION FOUND: 1578 @ 87.253
c NEW SOLUTION FOUND: 1577 @ 87.309
c NEW SOLUTION FOUND: 1576 @ 87.365
c NEW SOLUTION FOUND: 1575 @ 87.421
c NEW SOLUTION FOUND: 1574 @ 87.478
c NEW SOLUTION FOUND: 1573 @ 87.534
c NEW SOLUTION FOUND: 1572 @ 87.59
c NEW SOLUTION FOUND: 1571 @ 87.646
c NEW SOLUTION FOUND: 1570 @ 87.702
c NEW SOLUTION FOUND: 1569 @ 87.758
c NEW SOLUTION FOUND: 1568 @ 87.814
c NEW SOLUTION FOUND: 1567 @ 87.87
c NEW SOLUTION FOUND: 1566 @ 87.926
c NEW SOLUTION FOUND: 1565 @ 87.982
c NEW SOLUTION FOUND: 1564 @ 88.038
c NEW SOLUTION FOUND: 1563 @ 88.094
c NEW SOLUTION FOUND: 1562 @ 88.15
c NEW SOLUTION FOUND: 1561 @ 88.206
c NEW SOLUTION FOUND: 1560 @ 88.262
c NEW SOLUTION FOUND: 1559 @ 88.318
c NEW SOLUTION FOUND: 1558 @ 88.374
c NEW SOLUTION FOUND: 1557 @ 88.43
c NEW SOLUTION FOUND: 1556 @ 88.486
c NEW SOLUTION FOUND: 1555 @ 88.542
c NEW SOLUTION FOUND: 1554 @ 88.598
c NEW SOLUTION FOUND: 1553 @ 88.654
c NEW SOLUTION FOUND: 1552 @ 88.711
c NEW SOLUTION FOUND: 1551 @ 88.766
c NEW SOLUTION FOUND: 1550 @ 88.822
c NEW SOLUTION FOUND: 1549 @ 88.878
c NEW SOLUTION FOUND: 1548 @ 88.934
c NEW SOLUTION FOUND: 1547 @ 88.99
c NEW SOLUTION FOUND: 1546 @ 89.046
c NEW SOLUTION FOUND: 1545 @ 89.102
c NEW SOLUTION FOUND: 1544 @ 89.158
c NEW SOLUTION FOUND: 1543 @ 89.214
c NEW SOLUTION FOUND: 1542 @ 89.27
c NEW SOLUTION FOUND: 1541 @ 89.326
c NEW SOLUTION FOUND: 1540 @ 89.382
c NEW SOLUTION FOUND: 1539 @ 89.438
c NEW SOLUTION FOUND: 1538 @ 89.494
c NEW SOLUTION FOUND: 1537 @ 89.55
c NEW SOLUTION FOUND: 1536 @ 89.605
c NEW SOLUTION FOUND: 1535 @ 89.661
c NEW SOLUTION FOUND: 1534 @ 89.717
c NEW SOLUTION FOUND: 1533 @ 89.773
c NEW SOLUTION FOUND: 1532 @ 89.829
c NEW SOLUTION FOUND: 1531 @ 89.885
c NEW SOLUTION FOUND: 1530 @ 89.941
c NEW SOLUTION FOUND: 1529 @ 89.997
c NEW SOLUTION FOUND: 1528 @ 90.052
c NEW SOLUTION FOUND: 1527 @ 90.108
c NEW SOLUTION FOUND: 1526 @ 90.164
c NEW SOLUTION FOUND: 1525 @ 90.22
c NEW SOLUTION FOUND: 1524 @ 90.276
c NEW SOLUTION FOUND: 1523 @ 90.332
c NEW SOLUTION FOUND: 1522 @ 90.388
c NEW SOLUTION FOUND: 1521 @ 90.444
c NEW SOLUTION FOUND: 1520 @ 90.499
c NEW SOLUTION FOUND: 1519 @ 90.555
c NEW SOLUTION FOUND: 1518 @ 90.611
c NEW SOLUTION FOUND: 1517 @ 90.667
c NEW SOLUTION FOUND: 1516 @ 90.723
c NEW SOLUTION FOUND: 1515 @ 90.778
c NEW SOLUTION FOUND: 1514 @ 90.834
c NEW SOLUTION FOUND: 1513 @ 90.89
c NEW SOLUTION FOUND: 1512 @ 90.946
c NEW SOLUTION FOUND: 1511 @ 91.002
c NEW SOLUTION FOUND: 1510 @ 91.058
c NEW SOLUTION FOUND: 1509 @ 91.115
c NEW SOLUTION FOUND: 1508 @ 91.17
c NEW SOLUTION FOUND: 1507 @ 91.226
c NEW SOLUTION FOUND: 1506 @ 91.282
c NEW SOLUTION FOUND: 1505 @ 91.337
c NEW SOLUTION FOUND: 1504 @ 91.393
c NEW SOLUTION FOUND: 1503 @ 91.449
c NEW SOLUTION FOUND: 1502 @ 91.505
c NEW SOLUTION FOUND: 1501 @ 91.56
c NEW SOLUTION FOUND: 1500 @ 91.616
c NEW SOLUTION FOUND: 1499 @ 91.671
c NEW SOLUTION FOUND: 1498 @ 91.727
c NEW SOLUTION FOUND: 1497 @ 91.783
c NEW SOLUTION FOUND: 1496 @ 91.839
c NEW SOLUTION FOUND: 1495 @ 91.894
c NEW SOLUTION FOUND: 1494 @ 91.95
c NEW SOLUTION FOUND: 1493 @ 92.006
c NEW SOLUTION FOUND: 1492 @ 92.061
c NEW SOLUTION FOUND: 1491 @ 92.117
c NEW SOLUTION FOUND: 1490 @ 92.172
c NEW SOLUTION FOUND: 1489 @ 92.228
c NEW SOLUTION FOUND: 1488 @ 92.284
c NEW SOLUTION FOUND: 1487 @ 92.339
c NEW SOLUTION FOUND: 1486 @ 92.395
c NEW SOLUTION FOUND: 1485 @ 92.45
c NEW SOLUTION FOUND: 1484 @ 92.506
c NEW SOLUTION FOUND: 1483 @ 92.561
c NEW SOLUTION FOUND: 1482 @ 92.617
c NEW SOLUTION FOUND: 1481 @ 92.673
c NEW SOLUTION FOUND: 1480 @ 92.729
c NEW SOLUTION FOUND: 1479 @ 92.784
c NEW SOLUTION FOUND: 1478 @ 92.84
c NEW SOLUTION FOUND: 1477 @ 92.895
c NEW SOLUTION FOUND: 1476 @ 92.951
c NEW SOLUTION FOUND: 1475 @ 93.006
c NEW SOLUTION FOUND: 1474 @ 93.061
c NEW SOLUTION FOUND: 1473 @ 93.117
c NEW SOLUTION FOUND: 1472 @ 93.172
c NEW SOLUTION FOUND: 1471 @ 93.228
c NEW SOLUTION FOUND: 1470 @ 93.283
c NEW SOLUTION FOUND: 1469 @ 93.338
c NEW SOLUTION FOUND: 1468 @ 93.394
c NEW SOLUTION FOUND: 1467 @ 93.449
c NEW SOLUTION FOUND: 1466 @ 93.505
c NEW SOLUTION FOUND: 1465 @ 93.56
c NEW SOLUTION FOUND: 1464 @ 93.616
c NEW SOLUTION FOUND: 1463 @ 93.671
c NEW SOLUTION FOUND: 1462 @ 93.727
c NEW SOLUTION FOUND: 1461 @ 93.783
c NEW SOLUTION FOUND: 1460 @ 93.838
c NEW SOLUTION FOUND: 1459 @ 93.894
c NEW SOLUTION FOUND: 1458 @ 93.949
c NEW SOLUTION FOUND: 1457 @ 94.005
c NEW SOLUTION FOUND: 1456 @ 94.06
c NEW SOLUTION FOUND: 1455 @ 94.115
c NEW SOLUTION FOUND: 1454 @ 94.171
c NEW SOLUTION FOUND: 1453 @ 94.226
c NEW SOLUTION FOUND: 1452 @ 94.282
c NEW SOLUTION FOUND: 1451 @ 94.337
c NEW SOLUTION FOUND: 1450 @ 94.392
c NEW SOLUTION FOUND: 1449 @ 94.448
c NEW SOLUTION FOUND: 1448 @ 94.503
c NEW SOLUTION FOUND: 1447 @ 94.558
c NEW SOLUTION FOUND: 1446 @ 94.614
c NEW SOLUTION FOUND: 1445 @ 94.669
c NEW SOLUTION FOUND: 1444 @ 94.725
c NEW SOLUTION FOUND: 1443 @ 94.78
c NEW SOLUTION FOUND: 1442 @ 94.835
c NEW SOLUTION FOUND: 1441 @ 94.891
c NEW SOLUTION FOUND: 1440 @ 94.946
c NEW SOLUTION FOUND: 1439 @ 95.001
c NEW SOLUTION FOUND: 1438 @ 95.057
c NEW SOLUTION FOUND: 1437 @ 95.112
c NEW SOLUTION FOUND: 1436 @ 95.167
c NEW SOLUTION FOUND: 1435 @ 95.223
c NEW SOLUTION FOUND: 1434 @ 95.278
c NEW SOLUTION FOUND: 1433 @ 95.334
c NEW SOLUTION FOUND: 1432 @ 95.389
c NEW SOLUTION FOUND: 1431 @ 95.444
c NEW SOLUTION FOUND: 1430 @ 95.5
c NEW SOLUTION FOUND: 1429 @ 95.555
c NEW SOLUTION FOUND: 1428 @ 95.61
c NEW SOLUTION FOUND: 1427 @ 95.666
c NEW SOLUTION FOUND: 1426 @ 95.721
c NEW SOLUTION FOUND: 1425 @ 95.776
c NEW SOLUTION FOUND: 1424 @ 95.832
c NEW SOLUTION FOUND: 1423 @ 95.887
c NEW SOLUTION FOUND: 1422 @ 95.942
c NEW SOLUTION FOUND: 1421 @ 95.997
c NEW SOLUTION FOUND: 1420 @ 96.052
c NEW SOLUTION FOUND: 1419 @ 96.108
c NEW SOLUTION FOUND: 1418 @ 96.163
c NEW SOLUTION FOUND: 1417 @ 96.218
c NEW SOLUTION FOUND: 1416 @ 96.273
c NEW SOLUTION FOUND: 1415 @ 96.328
c NEW SOLUTION FOUND: 1414 @ 96.383
c NEW SOLUTION FOUND: 1413 @ 96.438
c NEW SOLUTION FOUND: 1412 @ 96.494
c NEW SOLUTION FOUND: 1411 @ 96.549
c NEW SOLUTION FOUND: 1410 @ 96.604
c NEW SOLUTION FOUND: 1409 @ 96.659
c NEW SOLUTION FOUND: 1408 @ 96.715
c NEW SOLUTION FOUND: 1407 @ 96.77
c NEW SOLUTION FOUND: 1406 @ 96.825
c NEW SOLUTION FOUND: 1405 @ 96.88
c NEW SOLUTION FOUND: 1404 @ 96.936
c NEW SOLUTION FOUND: 1403 @ 96.991
c NEW SOLUTION FOUND: 1402 @ 97.046
c NEW SOLUTION FOUND: 1401 @ 97.101
c NEW SOLUTION FOUND: 1400 @ 97.157
c NEW SOLUTION FOUND: 1399 @ 97.212
c NEW SOLUTION FOUND: 1398 @ 97.268
c NEW SOLUTION FOUND: 1397 @ 97.323
c NEW SOLUTION FOUND: 1396 @ 97.378
c NEW SOLUTION FOUND: 1395 @ 97.433
c NEW SOLUTION FOUND: 1394 @ 97.488
c NEW SOLUTION FOUND: 1393 @ 97.543
c NEW SOLUTION FOUND: 1392 @ 97.598
c NEW SOLUTION FOUND: 1391 @ 97.653
c NEW SOLUTION FOUND: 1390 @ 97.708
c NEW SOLUTION FOUND: 1389 @ 97.763
c NEW SOLUTION FOUND: 1388 @ 97.818
c NEW SOLUTION FOUND: 1387 @ 97.873
c NEW SOLUTION FOUND: 1386 @ 97.928
c NEW SOLUTION FOUND: 1385 @ 97.983
c NEW SOLUTION FOUND: 1384 @ 98.038
c NEW SOLUTION FOUND: 1383 @ 98.093
c NEW SOLUTION FOUND: 1382 @ 98.149
c NEW SOLUTION FOUND: 1381 @ 98.203
c NEW SOLUTION FOUND: 1380 @ 98.258
c NEW SOLUTION FOUND: 1379 @ 98.313
c NEW SOLUTION FOUND: 1378 @ 98.368
c NEW SOLUTION FOUND: 1377 @ 98.423
c NEW SOLUTION FOUND: 1376 @ 98.478
c NEW SOLUTION FOUND: 1375 @ 98.533
c NEW SOLUTION FOUND: 1374 @ 98.588
c NEW SOLUTION FOUND: 1373 @ 98.643
c NEW SOLUTION FOUND: 1372 @ 98.698
c NEW SOLUTION FOUND: 1371 @ 98.753
c NEW SOLUTION FOUND: 1370 @ 98.808
c NEW SOLUTION FOUND: 1369 @ 98.863
c NEW SOLUTION FOUND: 1368 @ 98.918
c NEW SOLUTION FOUND: 1367 @ 98.973
c NEW SOLUTION FOUND: 1366 @ 99.028
c NEW SOLUTION FOUND: 1365 @ 99.083
c NEW SOLUTION FOUND: 1364 @ 99.137
c NEW SOLUTION FOUND: 1363 @ 99.192
c NEW SOLUTION FOUND: 1362 @ 99.247
c NEW SOLUTION FOUND: 1361 @ 99.302
c NEW SOLUTION FOUND: 1360 @ 99.357
c NEW SOLUTION FOUND: 1359 @ 99.412
c NEW SOLUTION FOUND: 1358 @ 99.466
c NEW SOLUTION FOUND: 1357 @ 99.521
c NEW SOLUTION FOUND: 1356 @ 99.576
c NEW SOLUTION FOUND: 1355 @ 99.631
c NEW SOLUTION FOUND: 1354 @ 99.686
c NEW SOLUTION FOUND: 1353 @ 99.74
c NEW SOLUTION FOUND: 1352 @ 99.794
c NEW SOLUTION FOUND: 1351 @ 99.849
c NEW SOLUTION FOUND: 1350 @ 99.905
c NEW SOLUTION FOUND: 1349 @ 99.96
c NEW SOLUTION FOUND: 1348 @ 100.014
c NEW SOLUTION FOUND: 1347 @ 100.069
c NEW SOLUTION FOUND: 1346 @ 100.124
c NEW SOLUTION FOUND: 1345 @ 100.179
c NEW SOLUTION FOUND: 1344 @ 100.234
c NEW SOLUTION FOUND: 1343 @ 100.288
c NEW SOLUTION FOUND: 1342 @ 100.344
c NEW SOLUTION FOUND: 1341 @ 100.398
c NEW SOLUTION FOUND: 1340 @ 100.453
c NEW SOLUTION FOUND: 1339 @ 100.508
c NEW SOLUTION FOUND: 1338 @ 100.563
c NEW SOLUTION FOUND: 1337 @ 100.617
c NEW SOLUTION FOUND: 1336 @ 100.672
c NEW SOLUTION FOUND: 1335 @ 100.727
c NEW SOLUTION FOUND: 1334 @ 100.783
c NEW SOLUTION FOUND: 1333 @ 100.838
c NEW SOLUTION FOUND: 1332 @ 100.893
c NEW SOLUTION FOUND: 1331 @ 100.948
c NEW SOLUTION FOUND: 1330 @ 101.002
c NEW SOLUTION FOUND: 1329 @ 101.057
c NEW SOLUTION FOUND: 1328 @ 101.112
c NEW SOLUTION FOUND: 1327 @ 101.166
c NEW SOLUTION FOUND: 1326 @ 101.221
c NEW SOLUTION FOUND: 1325 @ 101.276
c NEW SOLUTION FOUND: 1324 @ 101.33
c NEW SOLUTION FOUND: 1323 @ 101.385
c NEW SOLUTION FOUND: 1322 @ 101.44
c NEW SOLUTION FOUND: 1321 @ 101.494
c NEW SOLUTION FOUND: 1320 @ 101.549
c NEW SOLUTION FOUND: 1319 @ 101.604
c NEW SOLUTION FOUND: 1318 @ 101.658
c NEW SOLUTION FOUND: 1317 @ 101.713
c NEW SOLUTION FOUND: 1316 @ 101.768
c NEW SOLUTION FOUND: 1315 @ 101.822
c NEW SOLUTION FOUND: 1314 @ 101.877
c NEW SOLUTION FOUND: 1313 @ 101.932
c NEW SOLUTION FOUND: 1312 @ 101.986
c NEW SOLUTION FOUND: 1311 @ 102.041
c NEW SOLUTION FOUND: 1310 @ 102.095
c NEW SOLUTION FOUND: 1309 @ 102.15
c NEW SOLUTION FOUND: 1308 @ 102.205
c NEW SOLUTION FOUND: 1307 @ 102.259
c NEW SOLUTION FOUND: 1306 @ 102.314
c NEW SOLUTION FOUND: 1305 @ 102.368
c NEW SOLUTION FOUND: 1304 @ 102.423
c NEW SOLUTION FOUND: 1303 @ 102.478
c NEW SOLUTION FOUND: 1302 @ 102.532
c NEW SOLUTION FOUND: 1301 @ 102.587
c NEW SOLUTION FOUND: 1300 @ 102.641
c NEW SOLUTION FOUND: 1299 @ 102.696
c NEW SOLUTION FOUND: 1298 @ 102.751
c NEW SOLUTION FOUND: 1297 @ 102.805
c NEW SOLUTION FOUND: 1296 @ 102.86
c NEW SOLUTION FOUND: 1295 @ 102.915
c NEW SOLUTION FOUND: 1294 @ 102.969
c NEW SOLUTION FOUND: 1293 @ 103.024
c NEW SOLUTION FOUND: 1292 @ 103.08
c NEW SOLUTION FOUND: 1291 @ 103.136
c NEW SOLUTION FOUND: 1290 @ 103.191
c NEW SOLUTION FOUND: 1289 @ 103.245
c NEW SOLUTION FOUND: 1288 @ 103.3
c NEW SOLUTION FOUND: 1287 @ 103.354
c NEW SOLUTION FOUND: 1286 @ 103.409
c NEW SOLUTION FOUND: 1285 @ 103.463
c NEW SOLUTION FOUND: 1284 @ 103.518
c NEW SOLUTION FOUND: 1283 @ 103.572
c NEW SOLUTION FOUND: 1282 @ 103.627
c NEW SOLUTION FOUND: 1281 @ 103.681
c NEW SOLUTION FOUND: 1280 @ 103.736
c NEW SOLUTION FOUND: 1279 @ 103.791
c NEW SOLUTION FOUND: 1278 @ 103.845
c NEW SOLUTION FOUND: 1277 @ 103.9
c NEW SOLUTION FOUND: 1276 @ 103.954
c NEW SOLUTION FOUND: 1275 @ 104.009
c NEW SOLUTION FOUND: 1274 @ 104.063
c NEW SOLUTION FOUND: 1273 @ 104.118
c NEW SOLUTION FOUND: 1272 @ 104.172
c NEW SOLUTION FOUND: 1271 @ 104.227
c NEW SOLUTION FOUND: 1270 @ 104.281
c NEW SOLUTION FOUND: 1269 @ 104.335
c NEW SOLUTION FOUND: 1268 @ 104.39
c NEW SOLUTION FOUND: 1267 @ 104.444
c NEW SOLUTION FOUND: 1266 @ 104.499
c NEW SOLUTION FOUND: 1265 @ 104.553
c NEW SOLUTION FOUND: 1264 @ 104.607
c NEW SOLUTION FOUND: 1263 @ 104.662
c NEW SOLUTION FOUND: 1262 @ 104.717
c NEW SOLUTION FOUND: 1261 @ 104.771
c NEW SOLUTION FOUND: 1260 @ 104.825
c NEW SOLUTION FOUND: 1259 @ 104.88
c NEW SOLUTION FOUND: 1258 @ 104.934
c NEW SOLUTION FOUND: 1257 @ 104.989
c NEW SOLUTION FOUND: 1256 @ 105.043
c NEW SOLUTION FOUND: 1255 @ 105.098
c NEW SOLUTION FOUND: 1254 @ 105.152
c NEW SOLUTION FOUND: 1253 @ 105.206
c NEW SOLUTION FOUND: 1252 @ 105.261
c NEW SOLUTION FOUND: 1251 @ 105.316
c NEW SOLUTION FOUND: 1250 @ 105.37
c NEW SOLUTION FOUND: 1249 @ 105.425
c NEW SOLUTION FOUND: 1248 @ 105.479
c NEW SOLUTION FOUND: 1247 @ 105.533
c NEW SOLUTION FOUND: 1246 @ 105.588
c NEW SOLUTION FOUND: 1245 @ 105.642
c NEW SOLUTION FOUND: 1244 @ 105.696
c NEW SOLUTION FOUND: 1243 @ 105.751
c NEW SOLUTION FOUND: 1242 @ 105.805
c NEW SOLUTION FOUND: 1241 @ 105.859
c NEW SOLUTION FOUND: 1240 @ 105.914
c NEW SOLUTION FOUND: 1239 @ 105.968
c NEW SOLUTION FOUND: 1238 @ 106.022
c NEW SOLUTION FOUND: 1237 @ 106.077
c NEW SOLUTION FOUND: 1236 @ 106.131
c NEW SOLUTION FOUND: 1235 @ 106.185
c NEW SOLUTION FOUND: 1234 @ 106.24
c NEW SOLUTION FOUND: 1233 @ 106.294
c NEW SOLUTION FOUND: 1232 @ 106.348
c NEW SOLUTION FOUND: 1231 @ 106.401
c NEW SOLUTION FOUND: 1230 @ 106.456
c NEW SOLUTION FOUND: 1229 @ 106.51
c NEW SOLUTION FOUND: 1228 @ 106.564
c NEW SOLUTION FOUND: 1227 @ 106.618
c NEW SOLUTION FOUND: 1226 @ 106.673
c NEW SOLUTION FOUND: 1225 @ 106.727
c NEW SOLUTION FOUND: 1224 @ 106.781
c NEW SOLUTION FOUND: 1223 @ 106.835
c NEW SOLUTION FOUND: 1222 @ 106.89
c NEW SOLUTION FOUND: 1221 @ 106.944
c NEW SOLUTION FOUND: 1220 @ 106.998
c NEW SOLUTION FOUND: 1219 @ 107.052
c NEW SOLUTION FOUND: 1218 @ 107.106
c NEW SOLUTION FOUND: 1217 @ 107.16
c NEW SOLUTION FOUND: 1216 @ 107.215
c NEW SOLUTION FOUND: 1215 @ 107.269
c NEW SOLUTION FOUND: 1214 @ 107.323
c NEW SOLUTION FOUND: 1213 @ 107.377
c NEW SOLUTION FOUND: 1212 @ 107.431
c NEW SOLUTION FOUND: 1211 @ 107.485
c NEW SOLUTION FOUND: 1210 @ 107.539
c NEW SOLUTION FOUND: 1209 @ 107.593
c NEW SOLUTION FOUND: 1208 @ 107.647
c NEW SOLUTION FOUND: 1207 @ 107.701
c NEW SOLUTION FOUND: 1206 @ 107.756
c NEW SOLUTION FOUND: 1205 @ 107.81
c NEW SOLUTION FOUND: 1204 @ 107.864
c NEW SOLUTION FOUND: 1203 @ 107.918
c NEW SOLUTION FOUND: 1202 @ 107.972
c NEW SOLUTION FOUND: 1201 @ 108.026
c NEW SOLUTION FOUND: 1200 @ 108.08
c NEW SOLUTION FOUND: 1199 @ 108.134
c NEW SOLUTION FOUND: 1198 @ 108.189
c NEW SOLUTION FOUND: 1197 @ 108.243
c NEW SOLUTION FOUND: 1196 @ 108.297
c NEW SOLUTION FOUND: 1195 @ 108.351
c NEW SOLUTION FOUND: 1194 @ 108.405
c NEW SOLUTION FOUND: 1193 @ 108.459
c NEW SOLUTION FOUND: 1192 @ 108.513
c NEW SOLUTION FOUND: 1191 @ 108.567
c NEW SOLUTION FOUND: 1190 @ 108.621
c NEW SOLUTION FOUND: 1189 @ 108.675
c NEW SOLUTION FOUND: 1188 @ 108.729
c NEW SOLUTION FOUND: 1187 @ 108.783
c NEW SOLUTION FOUND: 1186 @ 108.838
c NEW SOLUTION FOUND: 1185 @ 108.892
c NEW SOLUTION FOUND: 1184 @ 108.946
c NEW SOLUTION FOUND: 1183 @ 109
c NEW SOLUTION FOUND: 1182 @ 109.055
c NEW SOLUTION FOUND: 1181 @ 109.109
c NEW SOLUTION FOUND: 1180 @ 109.163
c NEW SOLUTION FOUND: 1179 @ 109.217
c NEW SOLUTION FOUND: 1178 @ 109.271
c NEW SOLUTION FOUND: 1177 @ 109.325
c NEW SOLUTION FOUND: 1176 @ 109.379
c NEW SOLUTION FOUND: 1175 @ 109.433
c NEW SOLUTION FOUND: 1174 @ 109.487
c NEW SOLUTION FOUND: 1173 @ 109.541
c NEW SOLUTION FOUND: 1172 @ 109.595
c NEW SOLUTION FOUND: 1171 @ 109.649
c NEW SOLUTION FOUND: 1170 @ 109.703
c NEW SOLUTION FOUND: 1169 @ 109.757
c NEW SOLUTION FOUND: 1168 @ 109.811
c NEW SOLUTION FOUND: 1167 @ 109.865
c NEW SOLUTION FOUND: 1166 @ 109.919
c NEW SOLUTION FOUND: 1165 @ 109.973
c NEW SOLUTION FOUND: 1164 @ 110.027
c NEW SOLUTION FOUND: 1163 @ 110.081
c NEW SOLUTION FOUND: 1162 @ 110.135
c NEW SOLUTION FOUND: 1161 @ 110.189
c NEW SOLUTION FOUND: 1160 @ 110.243
c NEW SOLUTION FOUND: 1159 @ 110.298
c NEW SOLUTION FOUND: 1158 @ 110.351
c NEW SOLUTION FOUND: 1157 @ 110.405
c NEW SOLUTION FOUND: 1156 @ 110.459
c NEW SOLUTION FOUND: 1155 @ 110.513
c NEW SOLUTION FOUND: 1154 @ 110.567
c NEW SOLUTION FOUND: 1153 @ 110.621
c NEW SOLUTION FOUND: 1152 @ 110.674
c NEW SOLUTION FOUND: 1151 @ 110.728
c NEW SOLUTION FOUND: 1150 @ 110.782
c NEW SOLUTION FOUND: 1149 @ 110.836
c NEW SOLUTION FOUND: 1148 @ 110.89
c NEW SOLUTION FOUND: 1147 @ 110.944
c NEW SOLUTION FOUND: 1146 @ 110.997
c NEW SOLUTION FOUND: 1145 @ 111.051
c NEW SOLUTION FOUND: 1144 @ 111.105
c NEW SOLUTION FOUND: 1143 @ 111.159
c NEW SOLUTION FOUND: 1142 @ 111.213
c NEW SOLUTION FOUND: 1141 @ 111.267
c NEW SOLUTION FOUND: 1140 @ 111.32
c NEW SOLUTION FOUND: 1139 @ 111.374
c NEW SOLUTION FOUND: 1138 @ 111.428
c NEW SOLUTION FOUND: 1137 @ 111.482
c NEW SOLUTION FOUND: 1136 @ 111.535
c NEW SOLUTION FOUND: 1135 @ 111.589
c NEW SOLUTION FOUND: 1134 @ 111.643
c NEW SOLUTION FOUND: 1133 @ 111.696
c NEW SOLUTION FOUND: 1132 @ 111.75
c NEW SOLUTION FOUND: 1131 @ 111.804
c NEW SOLUTION FOUND: 1130 @ 111.857
c NEW SOLUTION FOUND: 1129 @ 111.911
c NEW SOLUTION FOUND: 1128 @ 111.965
c NEW SOLUTION FOUND: 1127 @ 112.018
c NEW SOLUTION FOUND: 1126 @ 112.072
c NEW SOLUTION FOUND: 1125 @ 112.126
c NEW SOLUTION FOUND: 1124 @ 112.179
c NEW SOLUTION FOUND: 1123 @ 112.233
c NEW SOLUTION FOUND: 1122 @ 112.286
c NEW SOLUTION FOUND: 1121 @ 112.34
c NEW SOLUTION FOUND: 1120 @ 112.394
c NEW SOLUTION FOUND: 1119 @ 112.447
c NEW SOLUTION FOUND: 1118 @ 112.501
c NEW SOLUTION FOUND: 1117 @ 112.554
c NEW SOLUTION FOUND: 1116 @ 112.608
c NEW SOLUTION FOUND: 1115 @ 112.662
c NEW SOLUTION FOUND: 1114 @ 112.716
c NEW SOLUTION FOUND: 1113 @ 112.769
c NEW SOLUTION FOUND: 1112 @ 112.823
c NEW SOLUTION FOUND: 1111 @ 112.876
c NEW SOLUTION FOUND: 1110 @ 112.93
c NEW SOLUTION FOUND: 1109 @ 112.983
c NEW SOLUTION FOUND: 1108 @ 113.036
c NEW SOLUTION FOUND: 1107 @ 113.09
c NEW SOLUTION FOUND: 1106 @ 113.143
c NEW SOLUTION FOUND: 1105 @ 113.197
c NEW SOLUTION FOUND: 1104 @ 113.25
c NEW SOLUTION FOUND: 1103 @ 113.304
c NEW SOLUTION FOUND: 1102 @ 113.357
c NEW SOLUTION FOUND: 1101 @ 113.411
c NEW SOLUTION FOUND: 1100 @ 113.464
c NEW SOLUTION FOUND: 1099 @ 113.518
c NEW SOLUTION FOUND: 1098 @ 113.571
c NEW SOLUTION FOUND: 1097 @ 113.625
c NEW SOLUTION FOUND: 1096 @ 113.678
c NEW SOLUTION FOUND: 1095 @ 113.732
c NEW SOLUTION FOUND: 1094 @ 113.785
c NEW SOLUTION FOUND: 1093 @ 113.839
c NEW SOLUTION FOUND: 1092 @ 113.892
c NEW SOLUTION FOUND: 1091 @ 113.946
c NEW SOLUTION FOUND: 1090 @ 113.999
c NEW SOLUTION FOUND: 1089 @ 114.053
c NEW SOLUTION FOUND: 1088 @ 114.106
c NEW SOLUTION FOUND: 1087 @ 114.16
c NEW SOLUTION FOUND: 1086 @ 114.213
c NEW SOLUTION FOUND: 1085 @ 114.267
c NEW SOLUTION FOUND: 1084 @ 114.32
c NEW SOLUTION FOUND: 1083 @ 114.374
c NEW SOLUTION FOUND: 1082 @ 114.427
c NEW SOLUTION FOUND: 1081 @ 114.481
c NEW SOLUTION FOUND: 1080 @ 114.534
c NEW SOLUTION FOUND: 1079 @ 114.589
c NEW SOLUTION FOUND: 1078 @ 114.642
c NEW SOLUTION FOUND: 1077 @ 114.696
c NEW SOLUTION FOUND: 1076 @ 114.749
c NEW SOLUTION FOUND: 1075 @ 114.803
c NEW SOLUTION FOUND: 1074 @ 114.856
c NEW SOLUTION FOUND: 1073 @ 114.91
c NEW SOLUTION FOUND: 1072 @ 114.963
c NEW SOLUTION FOUND: 1071 @ 115.017
c NEW SOLUTION FOUND: 1070 @ 115.07
c NEW SOLUTION FOUND: 1069 @ 115.125
c NEW SOLUTION FOUND: 1068 @ 115.178
c NEW SOLUTION FOUND: 1067 @ 115.232
c NEW SOLUTION FOUND: 1066 @ 115.285
c NEW SOLUTION FOUND: 1065 @ 115.339
c NEW SOLUTION FOUND: 1064 @ 115.392
c NEW SOLUTION FOUND: 1063 @ 115.446
c NEW SOLUTION FOUND: 1062 @ 115.499
c NEW SOLUTION FOUND: 1061 @ 115.553
c NEW SOLUTION FOUND: 1060 @ 115.606
c NEW SOLUTION FOUND: 1059 @ 115.659
c NEW SOLUTION FOUND: 1058 @ 115.713
c NEW SOLUTION FOUND: 1057 @ 115.766
c NEW SOLUTION FOUND: 1056 @ 115.819
c NEW SOLUTION FOUND: 1055 @ 115.873
c NEW SOLUTION FOUND: 1054 @ 115.926
c NEW SOLUTION FOUND: 1053 @ 115.979
c NEW SOLUTION FOUND: 1052 @ 116.033
c NEW SOLUTION FOUND: 1051 @ 116.086
c NEW SOLUTION FOUND: 1050 @ 116.14
c NEW SOLUTION FOUND: 1049 @ 116.193
c NEW SOLUTION FOUND: 1048 @ 116.246
c NEW SOLUTION FOUND: 1047 @ 116.299
c NEW SOLUTION FOUND: 1046 @ 116.353
c NEW SOLUTION FOUND: 1045 @ 116.406
c NEW SOLUTION FOUND: 1044 @ 116.459
c NEW SOLUTION FOUND: 1043 @ 116.513
c NEW SOLUTION FOUND: 1042 @ 116.566
c NEW SOLUTION FOUND: 1041 @ 116.619
c NEW SOLUTION FOUND: 1040 @ 116.672
c NEW SOLUTION FOUND: 1039 @ 116.726
c NEW SOLUTION FOUND: 1038 @ 116.779
c NEW SOLUTION FOUND: 1037 @ 116.832
c NEW SOLUTION FOUND: 1036 @ 116.886
c NEW SOLUTION FOUND: 1035 @ 116.939
c NEW SOLUTION FOUND: 1034 @ 116.992
c NEW SOLUTION FOUND: 1033 @ 117.045
c NEW SOLUTION FOUND: 1032 @ 117.099
c NEW SOLUTION FOUND: 1031 @ 117.152
c NEW SOLUTION FOUND: 1030 @ 117.205
c NEW SOLUTION FOUND: 1029 @ 117.258
c NEW SOLUTION FOUND: 1028 @ 117.311
c NEW SOLUTION FOUND: 1027 @ 117.364
c NEW SOLUTION FOUND: 1026 @ 117.418
c NEW SOLUTION FOUND: 1025 @ 117.471
c NEW SOLUTION FOUND: 1024 @ 117.524
c NEW SOLUTION FOUND: 1023 @ 117.577
c NEW SOLUTION FOUND: 1022 @ 117.63
c NEW SOLUTION FOUND: 1021 @ 117.683
c NEW SOLUTION FOUND: 1020 @ 117.737
c NEW SOLUTION FOUND: 1019 @ 117.79
c NEW SOLUTION FOUND: 1018 @ 117.843
c NEW SOLUTION FOUND: 1017 @ 117.896
c NEW SOLUTION FOUND: 1016 @ 117.949
c NEW SOLUTION FOUND: 1015 @ 118.002
c NEW SOLUTION FOUND: 1014 @ 118.055
c NEW SOLUTION FOUND: 1013 @ 118.109
c NEW SOLUTION FOUND: 1012 @ 118.162
c NEW SOLUTION FOUND: 1011 @ 118.215
c NEW SOLUTION FOUND: 1010 @ 118.268
c NEW SOLUTION FOUND: 1009 @ 118.321
c NEW SOLUTION FOUND: 1008 @ 118.374
c NEW SOLUTION FOUND: 1007 @ 118.427
c NEW SOLUTION FOUND: 1006 @ 118.48
c NEW SOLUTION FOUND: 1005 @ 118.533
c NEW SOLUTION FOUND: 1004 @ 118.586
c NEW SOLUTION FOUND: 1003 @ 118.639
c NEW SOLUTION FOUND: 1002 @ 118.692
c NEW SOLUTION FOUND: 1001 @ 118.745
c NEW SOLUTION FOUND: 1000 @ 118.798
c NEW SOLUTION FOUND: 999 @ 118.851
c NEW SOLUTION FOUND: 998 @ 118.904
c NEW SOLUTION FOUND: 997 @ 118.957
c NEW SOLUTION FOUND: 996 @ 119.01
c NEW SOLUTION FOUND: 995 @ 119.063
c NEW SOLUTION FOUND: 994 @ 119.116
c NEW SOLUTION FOUND: 993 @ 119.169
c NEW SOLUTION FOUND: 992 @ 119.222
c NEW SOLUTION FOUND: 991 @ 119.275
c NEW SOLUTION FOUND: 990 @ 119.328
c NEW SOLUTION FOUND: 989 @ 119.381
c NEW SOLUTION FOUND: 988 @ 119.434
c NEW SOLUTION FOUND: 987 @ 119.487
c NEW SOLUTION FOUND: 986 @ 119.54
c NEW SOLUTION FOUND: 985 @ 119.593
c NEW SOLUTION FOUND: 984 @ 119.646
c NEW SOLUTION FOUND: 983 @ 119.697
c NEW SOLUTION FOUND: 982 @ 119.75
c NEW SOLUTION FOUND: 981 @ 119.803
c NEW SOLUTION FOUND: 980 @ 119.856
c NEW SOLUTION FOUND: 979 @ 119.91
c NEW SOLUTION FOUND: 978 @ 119.963
c NEW SOLUTION FOUND: 977 @ 120.016
c NEW SOLUTION FOUND: 976 @ 120.069
c NEW SOLUTION FOUND: 975 @ 120.122
c NEW SOLUTION FOUND: 974 @ 120.175
c NEW SOLUTION FOUND: 973 @ 120.227
c NEW SOLUTION FOUND: 972 @ 120.28
c NEW SOLUTION FOUND: 971 @ 120.334
c NEW SOLUTION FOUND: 970 @ 120.387
c NEW SOLUTION FOUND: 969 @ 120.44
c NEW SOLUTION FOUND: 968 @ 120.492
c NEW SOLUTION FOUND: 967 @ 120.545
c NEW SOLUTION FOUND: 966 @ 120.598
c NEW SOLUTION FOUND: 965 @ 120.651
c NEW SOLUTION FOUND: 964 @ 120.704
c NEW SOLUTION FOUND: 963 @ 120.757
c NEW SOLUTION FOUND: 962 @ 120.809
c NEW SOLUTION FOUND: 961 @ 120.862
c NEW SOLUTION FOUND: 960 @ 120.915
c NEW SOLUTION FOUND: 959 @ 120.968
c NEW SOLUTION FOUND: 958 @ 121.021
c NEW SOLUTION FOUND: 957 @ 121.074
c NEW SOLUTION FOUND: 956 @ 121.128
c NEW SOLUTION FOUND: 955 @ 121.18
c NEW SOLUTION FOUND: 954 @ 121.233
c NEW SOLUTION FOUND: 953 @ 121.286
c NEW SOLUTION FOUND: 952 @ 121.339
c NEW SOLUTION FOUND: 951 @ 121.391
c NEW SOLUTION FOUND: 950 @ 121.444
c NEW SOLUTION FOUND: 949 @ 121.497
c NEW SOLUTION FOUND: 948 @ 121.549
c NEW SOLUTION FOUND: 947 @ 121.602
c NEW SOLUTION FOUND: 946 @ 121.655
c NEW SOLUTION FOUND: 945 @ 121.707
c NEW SOLUTION FOUND: 944 @ 121.76
c NEW SOLUTION FOUND: 943 @ 121.813
c NEW SOLUTION FOUND: 942 @ 121.866
c NEW SOLUTION FOUND: 941 @ 121.919
c NEW SOLUTION FOUND: 940 @ 121.971
c NEW SOLUTION FOUND: 939 @ 122.024
c NEW SOLUTION FOUND: 938 @ 122.077
c NEW SOLUTION FOUND: 937 @ 122.129
c NEW SOLUTION FOUND: 936 @ 122.182
c NEW SOLUTION FOUND: 935 @ 122.234
c NEW SOLUTION FOUND: 934 @ 122.287
c NEW SOLUTION FOUND: 933 @ 122.34
c NEW SOLUTION FOUND: 932 @ 122.392
c NEW SOLUTION FOUND: 931 @ 122.445
c NEW SOLUTION FOUND: 930 @ 122.497
c NEW SOLUTION FOUND: 929 @ 122.55
c NEW SOLUTION FOUND: 928 @ 122.603
c NEW SOLUTION FOUND: 927 @ 122.655
c NEW SOLUTION FOUND: 926 @ 122.708
c NEW SOLUTION FOUND: 925 @ 122.76
c NEW SOLUTION FOUND: 924 @ 122.813
c NEW SOLUTION FOUND: 923 @ 122.866
c NEW SOLUTION FOUND: 922 @ 122.919
c NEW SOLUTION FOUND: 921 @ 122.971
c NEW SOLUTION FOUND: 920 @ 123.024
c NEW SOLUTION FOUND: 919 @ 123.076
c NEW SOLUTION FOUND: 918 @ 123.129
c NEW SOLUTION FOUND: 917 @ 123.181
c NEW SOLUTION FOUND: 916 @ 123.234
c NEW SOLUTION FOUND: 915 @ 123.286
c NEW SOLUTION FOUND: 914 @ 123.339
c NEW SOLUTION FOUND: 913 @ 123.391
c NEW SOLUTION FOUND: 912 @ 123.444
c NEW SOLUTION FOUND: 911 @ 123.496
c NEW SOLUTION FOUND: 910 @ 123.549
c NEW SOLUTION FOUND: 909 @ 123.601
c NEW SOLUTION FOUND: 908 @ 123.654
c NEW SOLUTION FOUND: 907 @ 123.706
c NEW SOLUTION FOUND: 906 @ 123.759
c NEW SOLUTION FOUND: 905 @ 123.811
c NEW SOLUTION FOUND: 904 @ 123.864
c NEW SOLUTION FOUND: 903 @ 123.916
c NEW SOLUTION FOUND: 902 @ 123.969
c NEW SOLUTION FOUND: 901 @ 124.021
c NEW SOLUTION FOUND: 900 @ 124.074
c NEW SOLUTION FOUND: 899 @ 124.126
c NEW SOLUTION FOUND: 898 @ 124.179
c NEW SOLUTION FOUND: 897 @ 124.231
c NEW SOLUTION FOUND: 896 @ 124.283
c NEW SOLUTION FOUND: 895 @ 124.336
c NEW SOLUTION FOUND: 894 @ 124.388
c NEW SOLUTION FOUND: 893 @ 124.441
c NEW SOLUTION FOUND: 892 @ 124.493
c NEW SOLUTION FOUND: 891 @ 124.546
c NEW SOLUTION FOUND: 890 @ 124.598
c NEW SOLUTION FOUND: 889 @ 124.65
c NEW SOLUTION FOUND: 888 @ 124.703
c NEW SOLUTION FOUND: 887 @ 124.755
c NEW SOLUTION FOUND: 886 @ 124.808
c NEW SOLUTION FOUND: 885 @ 124.86
c NEW SOLUTION FOUND: 884 @ 124.913
c NEW SOLUTION FOUND: 883 @ 124.965
c NEW SOLUTION FOUND: 882 @ 125.018
c NEW SOLUTION FOUND: 881 @ 125.07
c NEW SOLUTION FOUND: 880 @ 125.122
c NEW SOLUTION FOUND: 879 @ 125.175
c NEW SOLUTION FOUND: 878 @ 125.227
c NEW SOLUTION FOUND: 877 @ 125.28
c NEW SOLUTION FOUND: 876 @ 125.333
c NEW SOLUTION FOUND: 875 @ 125.385
c NEW SOLUTION FOUND: 874 @ 125.438
c NEW SOLUTION FOUND: 873 @ 125.49
c NEW SOLUTION FOUND: 872 @ 125.542
c NEW SOLUTION FOUND: 871 @ 125.595
c NEW SOLUTION FOUND: 870 @ 125.647
c NEW SOLUTION FOUND: 869 @ 125.699
c NEW SOLUTION FOUND: 868 @ 125.752
c NEW SOLUTION FOUND: 867 @ 125.804
c NEW SOLUTION FOUND: 866 @ 125.856
c NEW SOLUTION FOUND: 865 @ 125.909
c NEW SOLUTION FOUND: 864 @ 125.961
c NEW SOLUTION FOUND: 863 @ 126.013
c NEW SOLUTION FOUND: 862 @ 126.066
c NEW SOLUTION FOUND: 861 @ 126.118
c NEW SOLUTION FOUND: 860 @ 126.17
c NEW SOLUTION FOUND: 859 @ 126.223
c NEW SOLUTION FOUND: 858 @ 126.275
c NEW SOLUTION FOUND: 857 @ 126.326
c NEW SOLUTION FOUND: 856 @ 126.379
c NEW SOLUTION FOUND: 855 @ 126.431
c NEW SOLUTION FOUND: 854 @ 126.483
c NEW SOLUTION FOUND: 853 @ 126.535
c NEW SOLUTION FOUND: 852 @ 126.588
c NEW SOLUTION FOUND: 851 @ 126.64
c NEW SOLUTION FOUND: 850 @ 126.692
c NEW SOLUTION FOUND: 849 @ 126.745
c NEW SOLUTION FOUND: 848 @ 126.797
c NEW SOLUTION FOUND: 847 @ 126.85
c NEW SOLUTION FOUND: 846 @ 126.902
c NEW SOLUTION FOUND: 845 @ 126.954
c NEW SOLUTION FOUND: 844 @ 127.006
c NEW SOLUTION FOUND: 843 @ 127.06
c NEW SOLUTION FOUND: 842 @ 127.112
c NEW SOLUTION FOUND: 841 @ 127.164
c NEW SOLUTION FOUND: 840 @ 127.216
c NEW SOLUTION FOUND: 839 @ 127.268
c NEW SOLUTION FOUND: 838 @ 127.321
c NEW SOLUTION FOUND: 837 @ 127.373
c NEW SOLUTION FOUND: 836 @ 127.425
c NEW SOLUTION FOUND: 835 @ 127.477
c NEW SOLUTION FOUND: 834 @ 127.529
c NEW SOLUTION FOUND: 833 @ 127.582
c NEW SOLUTION FOUND: 832 @ 127.634
c NEW SOLUTION FOUND: 831 @ 127.686
c NEW SOLUTION FOUND: 830 @ 127.738
c NEW SOLUTION FOUND: 829 @ 127.79
c NEW SOLUTION FOUND: 828 @ 127.843
c NEW SOLUTION FOUND: 827 @ 127.895
c NEW SOLUTION FOUND: 826 @ 127.947
c NEW SOLUTION FOUND: 825 @ 127.999
c NEW SOLUTION FOUND: 824 @ 128.053
c NEW SOLUTION FOUND: 823 @ 128.105
c NEW SOLUTION FOUND: 822 @ 128.158
c NEW SOLUTION FOUND: 821 @ 128.21
c NEW SOLUTION FOUND: 820 @ 128.262
c NEW SOLUTION FOUND: 819 @ 128.314
c NEW SOLUTION FOUND: 818 @ 128.366
c NEW SOLUTION FOUND: 817 @ 128.418
c NEW SOLUTION FOUND: 816 @ 128.47
c NEW SOLUTION FOUND: 815 @ 128.522
c NEW SOLUTION FOUND: 814 @ 128.574
c NEW SOLUTION FOUND: 813 @ 128.626
c NEW SOLUTION FOUND: 812 @ 128.679
c NEW SOLUTION FOUND: 811 @ 128.731
c NEW SOLUTION FOUND: 810 @ 128.783
c NEW SOLUTION FOUND: 809 @ 128.835
c NEW SOLUTION FOUND: 808 @ 128.887
c NEW SOLUTION FOUND: 807 @ 128.939
c NEW SOLUTION FOUND: 806 @ 128.991
c NEW SOLUTION FOUND: 805 @ 129.043
c NEW SOLUTION FOUND: 804 @ 129.095
c NEW SOLUTION FOUND: 803 @ 129.147
c NEW SOLUTION FOUND: 802 @ 129.2
c NEW SOLUTION FOUND: 801 @ 129.252
c NEW SOLUTION FOUND: 800 @ 129.304
c NEW SOLUTION FOUND: 799 @ 129.356
c NEW SOLUTION FOUND: 798 @ 129.408
c NEW SOLUTION FOUND: 797 @ 129.46
c NEW SOLUTION FOUND: 796 @ 129.512
c NEW SOLUTION FOUND: 795 @ 129.564
c NEW SOLUTION FOUND: 794 @ 129.616
c NEW SOLUTION FOUND: 793 @ 129.668
c NEW SOLUTION FOUND: 792 @ 129.72
c NEW SOLUTION FOUND: 791 @ 129.772
c NEW SOLUTION FOUND: 790 @ 129.824
c NEW SOLUTION FOUND: 789 @ 129.876
c NEW SOLUTION FOUND: 788 @ 129.928
c NEW SOLUTION FOUND: 787 @ 129.981
c NEW SOLUTION FOUND: 786 @ 130.033
c NEW SOLUTION FOUND: 785 @ 130.085
c NEW SOLUTION FOUND: 784 @ 130.137
c NEW SOLUTION FOUND: 783 @ 130.189
c NEW SOLUTION FOUND: 782 @ 130.241
c NEW SOLUTION FOUND: 781 @ 130.293
c NEW SOLUTION FOUND: 780 @ 130.346
c NEW SOLUTION FOUND: 779 @ 130.398
c NEW SOLUTION FOUND: 778 @ 130.45
c NEW SOLUTION FOUND: 777 @ 130.502
c NEW SOLUTION FOUND: 776 @ 130.553
c NEW SOLUTION FOUND: 775 @ 130.605
c NEW SOLUTION FOUND: 774 @ 130.657
c NEW SOLUTION FOUND: 773 @ 130.709
c NEW SOLUTION FOUND: 772 @ 130.761
c NEW SOLUTION FOUND: 771 @ 130.813
c NEW SOLUTION FOUND: 770 @ 130.865
c NEW SOLUTION FOUND: 769 @ 130.917
c NEW SOLUTION FOUND: 768 @ 130.969
c NEW SOLUTION FOUND: 767 @ 131.021
c NEW SOLUTION FOUND: 766 @ 131.073
c NEW SOLUTION FOUND: 765 @ 131.124
c NEW SOLUTION FOUND: 764 @ 131.176
c NEW SOLUTION FOUND: 763 @ 131.228
c NEW SOLUTION FOUND: 762 @ 131.28
c NEW SOLUTION FOUND: 761 @ 131.332
c NEW SOLUTION FOUND: 760 @ 131.384
c NEW SOLUTION FOUND: 759 @ 131.435
c NEW SOLUTION FOUND: 758 @ 131.487
c NEW SOLUTION FOUND: 757 @ 131.539
c NEW SOLUTION FOUND: 756 @ 131.591
c NEW SOLUTION FOUND: 755 @ 131.642
c NEW SOLUTION FOUND: 754 @ 131.694
c NEW SOLUTION FOUND: 753 @ 131.746
c NEW SOLUTION FOUND: 752 @ 131.798
c NEW SOLUTION FOUND: 751 @ 131.85
c NEW SOLUTION FOUND: 750 @ 131.902
c NEW SOLUTION FOUND: 749 @ 131.954
c NEW SOLUTION FOUND: 748 @ 132.005
c NEW SOLUTION FOUND: 747 @ 132.057
c NEW SOLUTION FOUND: 746 @ 132.109
c NEW SOLUTION FOUND: 745 @ 132.161
c NEW SOLUTION FOUND: 744 @ 132.212
c NEW SOLUTION FOUND: 743 @ 132.264
c NEW SOLUTION FOUND: 742 @ 132.316
c NEW SOLUTION FOUND: 741 @ 132.368
c NEW SOLUTION FOUND: 740 @ 132.419
c NEW SOLUTION FOUND: 739 @ 132.471
c NEW SOLUTION FOUND: 738 @ 132.523
c NEW SOLUTION FOUND: 737 @ 132.574
c NEW SOLUTION FOUND: 736 @ 132.626
c NEW SOLUTION FOUND: 735 @ 132.678
c NEW SOLUTION FOUND: 734 @ 132.73
c NEW SOLUTION FOUND: 733 @ 132.782
c NEW SOLUTION FOUND: 732 @ 132.833
c NEW SOLUTION FOUND: 731 @ 132.885
c NEW SOLUTION FOUND: 730 @ 132.937
c NEW SOLUTION FOUND: 729 @ 132.988
c NEW SOLUTION FOUND: 728 @ 133.039
c NEW SOLUTION FOUND: 727 @ 133.092
c NEW SOLUTION FOUND: 726 @ 133.144
c NEW SOLUTION FOUND: 725 @ 133.196
c NEW SOLUTION FOUND: 724 @ 133.247
c NEW SOLUTION FOUND: 723 @ 133.299
c NEW SOLUTION FOUND: 722 @ 133.351
c NEW SOLUTION FOUND: 721 @ 133.402
c NEW SOLUTION FOUND: 720 @ 133.454
c NEW SOLUTION FOUND: 719 @ 133.505
c NEW SOLUTION FOUND: 718 @ 133.557
c NEW SOLUTION FOUND: 717 @ 133.609
c NEW SOLUTION FOUND: 716 @ 133.66
c NEW SOLUTION FOUND: 715 @ 133.712
c NEW SOLUTION FOUND: 714 @ 133.764
c NEW SOLUTION FOUND: 713 @ 133.816
c NEW SOLUTION FOUND: 712 @ 133.868
c NEW SOLUTION FOUND: 711 @ 133.919
c NEW SOLUTION FOUND: 710 @ 133.971
c NEW SOLUTION FOUND: 709 @ 134.022
c NEW SOLUTION FOUND: 708 @ 134.074
c NEW SOLUTION FOUND: 707 @ 134.126
c NEW SOLUTION FOUND: 706 @ 134.177
c NEW SOLUTION FOUND: 705 @ 134.229
c NEW SOLUTION FOUND: 704 @ 134.28
c NEW SOLUTION FOUND: 703 @ 134.332
c NEW SOLUTION FOUND: 702 @ 134.383
c NEW SOLUTION FOUND: 701 @ 134.435
c NEW SOLUTION FOUND: 700 @ 134.486
c NEW SOLUTION FOUND: 699 @ 134.538
c NEW SOLUTION FOUND: 698 @ 134.59
c NEW SOLUTION FOUND: 697 @ 134.641
c NEW SOLUTION FOUND: 696 @ 134.693
c NEW SOLUTION FOUND: 695 @ 134.745
c NEW SOLUTION FOUND: 694 @ 134.796
c NEW SOLUTION FOUND: 693 @ 134.848
c NEW SOLUTION FOUND: 692 @ 134.899
c NEW SOLUTION FOUND: 691 @ 134.951
c NEW SOLUTION FOUND: 690 @ 135.002
c NEW SOLUTION FOUND: 689 @ 135.054
c NEW SOLUTION FOUND: 688 @ 135.105
c NEW SOLUTION FOUND: 687 @ 135.157
c NEW SOLUTION FOUND: 686 @ 135.208
c NEW SOLUTION FOUND: 685 @ 135.26
c NEW SOLUTION FOUND: 684 @ 135.312
c NEW SOLUTION FOUND: 683 @ 135.363
c NEW SOLUTION FOUND: 682 @ 135.415
c NEW SOLUTION FOUND: 681 @ 135.466
c NEW SOLUTION FOUND: 680 @ 135.518
c NEW SOLUTION FOUND: 679 @ 135.569
c NEW SOLUTION FOUND: 678 @ 135.621
c NEW SOLUTION FOUND: 677 @ 135.672
c NEW SOLUTION FOUND: 676 @ 135.723
c NEW SOLUTION FOUND: 675 @ 135.775
c NEW SOLUTION FOUND: 674 @ 135.826
c NEW SOLUTION FOUND: 673 @ 135.878
c NEW SOLUTION FOUND: 672 @ 135.929
c NEW SOLUTION FOUND: 671 @ 135.98
c NEW SOLUTION FOUND: 670 @ 136.032
c NEW SOLUTION FOUND: 669 @ 136.083
c NEW SOLUTION FOUND: 668 @ 136.135
c NEW SOLUTION FOUND: 667 @ 136.186
c NEW SOLUTION FOUND: 666 @ 136.238
c NEW SOLUTION FOUND: 665 @ 136.289
c NEW SOLUTION FOUND: 664 @ 136.34
c NEW SOLUTION FOUND: 663 @ 136.392
c NEW SOLUTION FOUND: 662 @ 136.443
c NEW SOLUTION FOUND: 661 @ 136.494
c NEW SOLUTION FOUND: 660 @ 136.546
c NEW SOLUTION FOUND: 659 @ 136.597
c NEW SOLUTION FOUND: 658 @ 136.648
c NEW SOLUTION FOUND: 657 @ 136.7
c NEW SOLUTION FOUND: 656 @ 136.751
c NEW SOLUTION FOUND: 655 @ 136.803
c NEW SOLUTION FOUND: 654 @ 136.854
c NEW SOLUTION FOUND: 653 @ 136.905
c NEW SOLUTION FOUND: 652 @ 136.956
c NEW SOLUTION FOUND: 651 @ 137.008
c NEW SOLUTION FOUND: 650 @ 137.059
c NEW SOLUTION FOUND: 649 @ 137.11
c NEW SOLUTION FOUND: 648 @ 137.161
c NEW SOLUTION FOUND: 647 @ 137.213
c NEW SOLUTION FOUND: 646 @ 137.264
c NEW SOLUTION FOUND: 645 @ 137.315
c NEW SOLUTION FOUND: 644 @ 137.367
c NEW SOLUTION FOUND: 643 @ 137.418
c NEW SOLUTION FOUND: 642 @ 137.469
c NEW SOLUTION FOUND: 641 @ 137.52
c NEW SOLUTION FOUND: 640 @ 137.571
c NEW SOLUTION FOUND: 639 @ 137.623
c NEW SOLUTION FOUND: 638 @ 137.674
c NEW SOLUTION FOUND: 637 @ 137.725
c NEW SOLUTION FOUND: 636 @ 137.776
c NEW SOLUTION FOUND: 635 @ 137.827
c NEW SOLUTION FOUND: 634 @ 137.878
c NEW SOLUTION FOUND: 633 @ 137.93
c NEW SOLUTION FOUND: 632 @ 137.981
c NEW SOLUTION FOUND: 631 @ 138.033
c NEW SOLUTION FOUND: 630 @ 138.086
c NEW SOLUTION FOUND: 629 @ 138.137
c NEW SOLUTION FOUND: 628 @ 138.188
c NEW SOLUTION FOUND: 627 @ 138.239
c NEW SOLUTION FOUND: 626 @ 138.29
c NEW SOLUTION FOUND: 625 @ 138.341
c NEW SOLUTION FOUND: 624 @ 138.392
c NEW SOLUTION FOUND: 623 @ 138.443
c NEW SOLUTION FOUND: 622 @ 138.494
c NEW SOLUTION FOUND: 621 @ 138.545
c NEW SOLUTION FOUND: 620 @ 138.596
c NEW SOLUTION FOUND: 619 @ 138.647
c NEW SOLUTION FOUND: 618 @ 138.698
c NEW SOLUTION FOUND: 617 @ 138.75
c NEW SOLUTION FOUND: 616 @ 138.801
c NEW SOLUTION FOUND: 615 @ 138.851
c NEW SOLUTION FOUND: 614 @ 138.903
c NEW SOLUTION FOUND: 613 @ 138.954
c NEW SOLUTION FOUND: 612 @ 139.005
c NEW SOLUTION FOUND: 611 @ 139.056
c NEW SOLUTION FOUND: 610 @ 139.107
c NEW SOLUTION FOUND: 609 @ 139.159
c NEW SOLUTION FOUND: 608 @ 139.21
c NEW SOLUTION FOUND: 607 @ 139.261
c NEW SOLUTION FOUND: 606 @ 139.312
c NEW SOLUTION FOUND: 605 @ 139.363
c NEW SOLUTION FOUND: 604 @ 139.413
c NEW SOLUTION FOUND: 603 @ 139.464
c NEW SOLUTION FOUND: 602 @ 139.515
c NEW SOLUTION FOUND: 601 @ 139.566
c NEW SOLUTION FOUND: 600 @ 139.617
c NEW SOLUTION FOUND: 599 @ 139.667
c NEW SOLUTION FOUND: 598 @ 139.718
c NEW SOLUTION FOUND: 597 @ 139.818
c NEW SOLUTION FOUND: 596 @ 139.87
c NEW SOLUTION FOUND: 595 @ 139.922
c NEW SOLUTION FOUND: 594 @ 139.975
c NEW SOLUTION FOUND: 593 @ 140.027
c NEW SOLUTION FOUND: 592 @ 140.078
c NEW SOLUTION FOUND: 591 @ 140.13
c NEW SOLUTION FOUND: 590 @ 140.182
c NEW SOLUTION FOUND: 589 @ 140.233
c NEW SOLUTION FOUND: 588 @ 140.336
c NEW SOLUTION FOUND: 587 @ 140.389
c NEW SOLUTION FOUND: 586 @ 140.441
c NEW SOLUTION FOUND: 585 @ 140.494
c NEW SOLUTION FOUND: 584 @ 140.546
c NEW SOLUTION FOUND: 583 @ 140.599
c NEW SOLUTION FOUND: 582 @ 140.651
c NEW SOLUTION FOUND: 581 @ 140.704
c NEW SOLUTION FOUND: 580 @ 140.757
c NEW SOLUTION FOUND: 579 @ 140.809
c NEW SOLUTION FOUND: 578 @ 140.862
c NEW SOLUTION FOUND: 577 @ 140.914
c NEW SOLUTION FOUND: 576 @ 140.967
c NEW SOLUTION FOUND: 575 @ 141.02
c NEW SOLUTION FOUND: 574 @ 141.072
c NEW SOLUTION FOUND: 573 @ 141.125
c NEW SOLUTION FOUND: 572 @ 141.177
c NEW SOLUTION FOUND: 571 @ 141.231
c NEW SOLUTION FOUND: 570 @ 141.283
c NEW SOLUTION FOUND: 569 @ 141.336
c NEW SOLUTION FOUND: 568 @ 141.388
c NEW SOLUTION FOUND: 567 @ 141.441
c NEW SOLUTION FOUND: 566 @ 141.493
c NEW SOLUTION FOUND: 565 @ 141.545
c NEW SOLUTION FOUND: 564 @ 141.598
c NEW SOLUTION FOUND: 563 @ 141.65
c NEW SOLUTION FOUND: 562 @ 141.702
c NEW SOLUTION FOUND: 561 @ 141.755
c NEW SOLUTION FOUND: 560 @ 141.807
c NEW SOLUTION FOUND: 559 @ 141.86
c NEW SOLUTION FOUND: 558 @ 141.912
c NEW SOLUTION FOUND: 557 @ 141.964
c NEW SOLUTION FOUND: 556 @ 142.017
c NEW SOLUTION FOUND: 555 @ 142.069
c NEW SOLUTION FOUND: 554 @ 142.122
c NEW SOLUTION FOUND: 553 @ 142.174
c NEW SOLUTION FOUND: 552 @ 142.226
c NEW SOLUTION FOUND: 551 @ 142.278
c NEW SOLUTION FOUND: 550 @ 142.331
c NEW SOLUTION FOUND: 549 @ 142.383
c NEW SOLUTION FOUND: 548 @ 142.435
c NEW SOLUTION FOUND: 547 @ 142.488
c NEW SOLUTION FOUND: 546 @ 142.54
c NEW SOLUTION FOUND: 545 @ 142.592
c NEW SOLUTION FOUND: 544 @ 142.644
c NEW SOLUTION FOUND: 543 @ 142.697
c NEW SOLUTION FOUND: 542 @ 142.749
c NEW SOLUTION FOUND: 541 @ 142.802
c NEW SOLUTION FOUND: 540 @ 142.854
c NEW SOLUTION FOUND: 539 @ 142.906
c NEW SOLUTION FOUND: 538 @ 142.959
c NEW SOLUTION FOUND: 537 @ 143.011
c NEW SOLUTION FOUND: 536 @ 143.063
c NEW SOLUTION FOUND: 535 @ 143.115
c NEW SOLUTION FOUND: 534 @ 143.168
c NEW SOLUTION FOUND: 533 @ 143.22
c NEW SOLUTION FOUND: 532 @ 143.272
c NEW SOLUTION FOUND: 531 @ 143.324
c NEW SOLUTION FOUND: 530 @ 143.377
c NEW SOLUTION FOUND: 529 @ 143.429
c NEW SOLUTION FOUND: 528 @ 143.481
c NEW SOLUTION FOUND: 527 @ 143.533
c NEW SOLUTION FOUND: 526 @ 143.586
c NEW SOLUTION FOUND: 525 @ 143.638
c NEW SOLUTION FOUND: 524 @ 143.69
c NEW SOLUTION FOUND: 523 @ 143.743
c NEW SOLUTION FOUND: 522 @ 143.795
c NEW SOLUTION FOUND: 521 @ 143.847
c NEW SOLUTION FOUND: 520 @ 143.899
c NEW SOLUTION FOUND: 519 @ 143.951
c NEW SOLUTION FOUND: 518 @ 144.003
c NEW SOLUTION FOUND: 517 @ 144.056
c NEW SOLUTION FOUND: 516 @ 144.108
c NEW SOLUTION FOUND: 515 @ 144.16
c NEW SOLUTION FOUND: 514 @ 144.212
c NEW SOLUTION FOUND: 513 @ 144.265
c NEW SOLUTION FOUND: 512 @ 144.317
c NEW SOLUTION FOUND: 511 @ 144.369
c NEW SOLUTION FOUND: 510 @ 144.421
c NEW SOLUTION FOUND: 509 @ 144.473
c NEW SOLUTION FOUND: 508 @ 144.525
c NEW SOLUTION FOUND: 507 @ 144.577
c NEW SOLUTION FOUND: 506 @ 144.63
c NEW SOLUTION FOUND: 505 @ 144.682
c NEW SOLUTION FOUND: 504 @ 144.734
c NEW SOLUTION FOUND: 503 @ 144.786
c NEW SOLUTION FOUND: 502 @ 144.839
c NEW SOLUTION FOUND: 501 @ 144.891
c NEW SOLUTION FOUND: 500 @ 144.943
c NEW SOLUTION FOUND: 499 @ 144.995
c NEW SOLUTION FOUND: 498 @ 145.048
c NEW SOLUTION FOUND: 497 @ 145.1
c NEW SOLUTION FOUND: 496 @ 145.151
c NEW SOLUTION FOUND: 495 @ 145.203
c NEW SOLUTION FOUND: 494 @ 145.254
c NEW SOLUTION FOUND: 493 @ 145.305
c NEW SOLUTION FOUND: 492 @ 145.357
c NEW SOLUTION FOUND: 491 @ 145.408
c NEW SOLUTION FOUND: 490 @ 145.459
c NEW SOLUTION FOUND: 489 @ 145.511
c NEW SOLUTION FOUND: 488 @ 145.562
c NEW SOLUTION FOUND: 487 @ 145.613
c NEW SOLUTION FOUND: 486 @ 145.664
c NEW SOLUTION FOUND: 485 @ 145.716
c NEW SOLUTION FOUND: 484 @ 145.767
c NEW SOLUTION FOUND: 483 @ 145.818
c NEW SOLUTION FOUND: 482 @ 145.869
c NEW SOLUTION FOUND: 481 @ 145.921
c NEW SOLUTION FOUND: 480 @ 145.972
c NEW SOLUTION FOUND: 479 @ 146.023
c NEW SOLUTION FOUND: 478 @ 146.074
c NEW SOLUTION FOUND: 477 @ 146.126
c NEW SOLUTION FOUND: 476 @ 146.177
c NEW SOLUTION FOUND: 475 @ 146.228
c NEW SOLUTION FOUND: 474 @ 146.278
c NEW SOLUTION FOUND: 473 @ 146.329
c NEW SOLUTION FOUND: 472 @ 146.38
c NEW SOLUTION FOUND: 471 @ 146.432
c NEW SOLUTION FOUND: 470 @ 146.483
c NEW SOLUTION FOUND: 469 @ 146.534
c NEW SOLUTION FOUND: 468 @ 146.585
c NEW SOLUTION FOUND: 467 @ 146.636
c NEW SOLUTION FOUND: 466 @ 146.687
c NEW SOLUTION FOUND: 465 @ 146.738
c NEW SOLUTION FOUND: 464 @ 146.79
c NEW SOLUTION FOUND: 463 @ 146.841
c NEW SOLUTION FOUND: 462 @ 146.892
c NEW SOLUTION FOUND: 461 @ 146.943
c NEW SOLUTION FOUND: 460 @ 146.994
c NEW SOLUTION FOUND: 459 @ 147.045
c NEW SOLUTION FOUND: 458 @ 147.097
c NEW SOLUTION FOUND: 457 @ 147.148
c NEW SOLUTION FOUND: 456 @ 147.199
c NEW SOLUTION FOUND: 455 @ 147.25
c NEW SOLUTION FOUND: 454 @ 147.301
c NEW SOLUTION FOUND: 453 @ 147.352
c NEW SOLUTION FOUND: 452 @ 147.404
c NEW SOLUTION FOUND: 451 @ 147.455
c NEW SOLUTION FOUND: 450 @ 147.506
c NEW SOLUTION FOUND: 449 @ 147.557
c NEW SOLUTION FOUND: 448 @ 147.608
c NEW SOLUTION FOUND: 447 @ 147.659
c NEW SOLUTION FOUND: 446 @ 147.71
c NEW SOLUTION FOUND: 445 @ 147.761
c NEW SOLUTION FOUND: 444 @ 147.812
c NEW SOLUTION FOUND: 443 @ 147.863
c NEW SOLUTION FOUND: 442 @ 147.914
c NEW SOLUTION FOUND: 441 @ 147.965
c NEW SOLUTION FOUND: 440 @ 148.016
c NEW SOLUTION FOUND: 439 @ 148.067
c NEW SOLUTION FOUND: 438 @ 148.118
c NEW SOLUTION FOUND: 437 @ 148.169
c NEW SOLUTION FOUND: 436 @ 148.22
c NEW SOLUTION FOUND: 435 @ 148.271
c NEW SOLUTION FOUND: 434 @ 148.322
c NEW SOLUTION FOUND: 433 @ 148.373
c NEW SOLUTION FOUND: 432 @ 148.424
c NEW SOLUTION FOUND: 431 @ 148.475
c NEW SOLUTION FOUND: 430 @ 148.526
c NEW SOLUTION FOUND: 429 @ 148.577
c NEW SOLUTION FOUND: 428 @ 148.628
c NEW SOLUTION FOUND: 427 @ 148.679
c NEW SOLUTION FOUND: 426 @ 148.73
c NEW SOLUTION FOUND: 425 @ 148.781
c NEW SOLUTION FOUND: 424 @ 148.832
c NEW SOLUTION FOUND: 423 @ 148.883
c NEW SOLUTION FOUND: 422 @ 148.933
c NEW SOLUTION FOUND: 421 @ 148.984
c NEW SOLUTION FOUND: 420 @ 149.035
c NEW SOLUTION FOUND: 419 @ 149.087
c NEW SOLUTION FOUND: 418 @ 149.14
c NEW SOLUTION FOUND: 417 @ 149.191
c NEW SOLUTION FOUND: 416 @ 149.243
c NEW SOLUTION FOUND: 415 @ 149.295
c NEW SOLUTION FOUND: 414 @ 149.346
c NEW SOLUTION FOUND: 413 @ 149.398
c NEW SOLUTION FOUND: 412 @ 149.45
c NEW SOLUTION FOUND: 411 @ 149.501
c NEW SOLUTION FOUND: 410 @ 149.553
c NEW SOLUTION FOUND: 409 @ 149.605
c NEW SOLUTION FOUND: 408 @ 149.657
c NEW SOLUTION FOUND: 407 @ 149.709
c NEW SOLUTION FOUND: 406 @ 149.76
c NEW SOLUTION FOUND: 405 @ 149.812
c NEW SOLUTION FOUND: 404 @ 149.864
c NEW SOLUTION FOUND: 403 @ 149.915
c NEW SOLUTION FOUND: 402 @ 149.967
c NEW SOLUTION FOUND: 401 @ 150.019
c NEW SOLUTION FOUND: 400 @ 150.071
c NEW SOLUTION FOUND: 399 @ 150.122
c NEW SOLUTION FOUND: 398 @ 150.174
c NEW SOLUTION FOUND: 397 @ 150.225
c NEW SOLUTION FOUND: 396 @ 150.277
c NEW SOLUTION FOUND: 395 @ 150.328
c NEW SOLUTION FOUND: 394 @ 150.379
c NEW SOLUTION FOUND: 393 @ 150.431
c NEW SOLUTION FOUND: 392 @ 150.482
c NEW SOLUTION FOUND: 391 @ 150.534
c NEW SOLUTION FOUND: 390 @ 150.586
c NEW SOLUTION FOUND: 389 @ 150.637
c NEW SOLUTION FOUND: 388 @ 150.689
c NEW SOLUTION FOUND: 387 @ 150.741
c NEW SOLUTION FOUND: 386 @ 150.793
c NEW SOLUTION FOUND: 385 @ 150.844
c NEW SOLUTION FOUND: 384 @ 150.896
c NEW SOLUTION FOUND: 383 @ 150.947
c NEW SOLUTION FOUND: 382 @ 150.999
c NEW SOLUTION FOUND: 381 @ 151.051
c NEW SOLUTION FOUND: 380 @ 151.102
c NEW SOLUTION FOUND: 379 @ 151.154
c NEW SOLUTION FOUND: 378 @ 151.206
c NEW SOLUTION FOUND: 377 @ 151.257
c NEW SOLUTION FOUND: 376 @ 151.309
c NEW SOLUTION FOUND: 375 @ 151.361
c NEW SOLUTION FOUND: 374 @ 151.412
c NEW SOLUTION FOUND: 373 @ 151.464
c NEW SOLUTION FOUND: 372 @ 151.515
c NEW SOLUTION FOUND: 371 @ 151.567
c NEW SOLUTION FOUND: 370 @ 151.618
c NEW SOLUTION FOUND: 369 @ 151.67
c NEW SOLUTION FOUND: 368 @ 151.721
c NEW SOLUTION FOUND: 367 @ 151.772
c NEW SOLUTION FOUND: 366 @ 151.823
c NEW SOLUTION FOUND: 365 @ 151.875
c NEW SOLUTION FOUND: 364 @ 151.926
c NEW SOLUTION FOUND: 363 @ 151.977
c NEW SOLUTION FOUND: 362 @ 152.029
c NEW SOLUTION FOUND: 361 @ 152.08
c NEW SOLUTION FOUND: 360 @ 152.132
c NEW SOLUTION FOUND: 359 @ 152.183
c NEW SOLUTION FOUND: 358 @ 152.235
c NEW SOLUTION FOUND: 357 @ 152.286
c NEW SOLUTION FOUND: 356 @ 152.337
c NEW SOLUTION FOUND: 355 @ 152.388
c NEW SOLUTION FOUND: 354 @ 152.441
c NEW SOLUTION FOUND: 353 @ 152.492
c NEW SOLUTION FOUND: 352 @ 152.543
c NEW SOLUTION FOUND: 351 @ 152.595
c NEW SOLUTION FOUND: 350 @ 152.646
c NEW SOLUTION FOUND: 349 @ 152.697
c NEW SOLUTION FOUND: 348 @ 152.749
c NEW SOLUTION FOUND: 347 @ 152.8
c NEW SOLUTION FOUND: 346 @ 152.851
c NEW SOLUTION FOUND: 345 @ 152.903
c NEW SOLUTION FOUND: 344 @ 152.953
c NEW SOLUTION FOUND: 343 @ 153.004
c NEW SOLUTION FOUND: 342 @ 153.055
c NEW SOLUTION FOUND: 341 @ 153.107
c NEW SOLUTION FOUND: 340 @ 153.158
c NEW SOLUTION FOUND: 339 @ 153.21
c NEW SOLUTION FOUND: 338 @ 153.261
c NEW SOLUTION FOUND: 337 @ 153.312
c NEW SOLUTION FOUND: 336 @ 153.363
c NEW SOLUTION FOUND: 335 @ 153.415
c NEW SOLUTION FOUND: 334 @ 153.466
c NEW SOLUTION FOUND: 333 @ 153.517
c NEW SOLUTION FOUND: 332 @ 153.568
c NEW SOLUTION FOUND: 331 @ 153.619
c NEW SOLUTION FOUND: 330 @ 153.671
c NEW SOLUTION FOUND: 329 @ 153.722
c NEW SOLUTION FOUND: 328 @ 153.773
c NEW SOLUTION FOUND: 327 @ 153.825
c NEW SOLUTION FOUND: 326 @ 153.876
c NEW SOLUTION FOUND: 325 @ 153.927
c NEW SOLUTION FOUND: 324 @ 153.978
c NEW SOLUTION FOUND: 323 @ 154.03
c NEW SOLUTION FOUND: 322 @ 154.08
c NEW SOLUTION FOUND: 321 @ 154.132
c NEW SOLUTION FOUND: 320 @ 154.183
c NEW SOLUTION FOUND: 319 @ 154.234
c NEW SOLUTION FOUND: 318 @ 154.286
c NEW SOLUTION FOUND: 317 @ 154.337
c NEW SOLUTION FOUND: 316 @ 154.39
c NEW SOLUTION FOUND: 315 @ 154.441
c NEW SOLUTION FOUND: 314 @ 154.492
c NEW SOLUTION FOUND: 313 @ 154.543
c NEW SOLUTION FOUND: 312 @ 154.595
c NEW SOLUTION FOUND: 311 @ 154.646
c NEW SOLUTION FOUND: 310 @ 154.697
c NEW SOLUTION FOUND: 309 @ 154.748
c NEW SOLUTION FOUND: 308 @ 154.799
c NEW SOLUTION FOUND: 307 @ 154.85
c NEW SOLUTION FOUND: 306 @ 154.901
c NEW SOLUTION FOUND: 305 @ 154.952
c NEW SOLUTION FOUND: 304 @ 155.003
c NEW SOLUTION FOUND: 303 @ 155.054
c NEW SOLUTION FOUND: 302 @ 155.106
c NEW SOLUTION FOUND: 301 @ 155.157
c NEW SOLUTION FOUND: 300 @ 155.208
c NEW SOLUTION FOUND: 299 @ 155.259
c NEW SOLUTION FOUND: 298 @ 155.31
c NEW SOLUTION FOUND: 297 @ 155.361
c NEW SOLUTION FOUND: 296 @ 155.46
c NEW SOLUTION FOUND: 295 @ 155.511
c NEW SOLUTION FOUND: 294 @ 155.562
c NEW SOLUTION FOUND: 293 @ 155.614
c NEW SOLUTION FOUND: 292 @ 155.665
c NEW SOLUTION FOUND: 291 @ 155.716
c NEW SOLUTION FOUND: 290 @ 155.768
c NEW SOLUTION FOUND: 289 @ 155.819
c NEW SOLUTION FOUND: 288 @ 155.87
c NEW SOLUTION FOUND: 287 @ 155.921
c NEW SOLUTION FOUND: 286 @ 155.973
c NEW SOLUTION FOUND: 285 @ 156.024
c NEW SOLUTION FOUND: 284 @ 156.075
c NEW SOLUTION FOUND: 283 @ 156.126
c NEW SOLUTION FOUND: 282 @ 156.178
c NEW SOLUTION FOUND: 281 @ 156.229
c NEW SOLUTION FOUND: 280 @ 156.28
c NEW SOLUTION FOUND: 279 @ 156.332
c NEW SOLUTION FOUND: 278 @ 156.383
c NEW SOLUTION FOUND: 277 @ 156.435
c NEW SOLUTION FOUND: 276 @ 156.486
c NEW SOLUTION FOUND: 275 @ 156.537
c NEW SOLUTION FOUND: 274 @ 156.588
c NEW SOLUTION FOUND: 273 @ 156.64
c NEW SOLUTION FOUND: 272 @ 156.691
c NEW SOLUTION FOUND: 271 @ 156.742
c NEW SOLUTION FOUND: 270 @ 156.793
c NEW SOLUTION FOUND: 269 @ 156.844
c NEW SOLUTION FOUND: 268 @ 156.896
c NEW SOLUTION FOUND: 267 @ 156.947
c NEW SOLUTION FOUND: 266 @ 156.998
c NEW SOLUTION FOUND: 265 @ 157.049
c NEW SOLUTION FOUND: 264 @ 157.101
c NEW SOLUTION FOUND: 263 @ 157.152
c NEW SOLUTION FOUND: 262 @ 157.203
c NEW SOLUTION FOUND: 261 @ 157.254
c NEW SOLUTION FOUND: 260 @ 157.305
c NEW SOLUTION FOUND: 259 @ 157.357
c NEW SOLUTION FOUND: 258 @ 157.408
c NEW SOLUTION FOUND: 257 @ 157.459
c NEW SOLUTION FOUND: 256 @ 157.51
c NEW SOLUTION FOUND: 255 @ 157.561
c NEW SOLUTION FOUND: 254 @ 157.613
c NEW SOLUTION FOUND: 253 @ 157.664
c NEW SOLUTION FOUND: 252 @ 157.715
c NEW SOLUTION FOUND: 251 @ 157.815
c NEW SOLUTION FOUND: 250 @ 157.866
c NEW SOLUTION FOUND: 249 @ 157.918
c NEW SOLUTION FOUND: 248 @ 157.969
c NEW SOLUTION FOUND: 247 @ 158.021
c NEW SOLUTION FOUND: 246 @ 158.073
c NEW SOLUTION FOUND: 245 @ 158.124
c NEW SOLUTION FOUND: 244 @ 158.176
c NEW SOLUTION FOUND: 243 @ 158.227
c NEW SOLUTION FOUND: 242 @ 158.279
c NEW SOLUTION FOUND: 241 @ 158.33
c NEW SOLUTION FOUND: 240 @ 158.382
c NEW SOLUTION FOUND: 239 @ 158.433
c NEW SOLUTION FOUND: 238 @ 158.485
c NEW SOLUTION FOUND: 237 @ 158.536
c NEW SOLUTION FOUND: 236 @ 158.588
c NEW SOLUTION FOUND: 235 @ 158.639
c NEW SOLUTION FOUND: 234 @ 158.691
c NEW SOLUTION FOUND: 233 @ 158.742
c NEW SOLUTION FOUND: 232 @ 158.794
c NEW SOLUTION FOUND: 231 @ 158.845
c NEW SOLUTION FOUND: 230 @ 158.897
c NEW SOLUTION FOUND: 229 @ 158.949
c NEW SOLUTION FOUND: 228 @ 159
c NEW SOLUTION FOUND: 227 @ 159.052
c NEW SOLUTION FOUND: 226 @ 159.103
c NEW SOLUTION FOUND: 225 @ 159.155
c NEW SOLUTION FOUND: 224 @ 159.206
c NEW SOLUTION FOUND: 223 @ 159.258
c NEW SOLUTION FOUND: 222 @ 159.309
c NEW SOLUTION FOUND: 221 @ 159.36
c NEW SOLUTION FOUND: 220 @ 159.411
c NEW SOLUTION FOUND: 219 @ 159.463
c NEW SOLUTION FOUND: 218 @ 159.514
c NEW SOLUTION FOUND: 217 @ 159.565
c NEW SOLUTION FOUND: 216 @ 159.616
c NEW SOLUTION FOUND: 215 @ 159.667
c NEW SOLUTION FOUND: 214 @ 159.719
c NEW SOLUTION FOUND: 213 @ 159.77
c NEW SOLUTION FOUND: 212 @ 159.822
c NEW SOLUTION FOUND: 211 @ 159.873
c NEW SOLUTION FOUND: 210 @ 159.924
c NEW SOLUTION FOUND: 209 @ 159.976
c NEW SOLUTION FOUND: 208 @ 160.027
c NEW SOLUTION FOUND: 207 @ 160.079
c NEW SOLUTION FOUND: 206 @ 160.13
c NEW SOLUTION FOUND: 205 @ 160.181
c NEW SOLUTION FOUND: 204 @ 160.233
c NEW SOLUTION FOUND: 203 @ 160.285
c NEW SOLUTION FOUND: 202 @ 160.336
c NEW SOLUTION FOUND: 201 @ 160.388
c NEW SOLUTION FOUND: 200 @ 160.44
c NEW SOLUTION FOUND: 199 @ 160.491
c NEW SOLUTION FOUND: 198 @ 160.543
c NEW SOLUTION FOUND: 197 @ 160.755
c NEW SOLUTION FOUND: 196 @ 160.811
c NEW SOLUTION FOUND: 195 @ 160.868
c NEW SOLUTION FOUND: 194 @ 160.979
c NEW SOLUTION FOUND: 193 @ 161.037
c NEW SOLUTION FOUND: 192 @ 161.152
c NEW SOLUTION FOUND: 191 @ 161.213
c NEW SOLUTION FOUND: 190 @ 161.274
c NEW SOLUTION FOUND: 189 @ 161.336
c NEW SOLUTION FOUND: 188 @ 161.397
c NEW SOLUTION FOUND: 187 @ 161.458
c NEW SOLUTION FOUND: 186 @ 161.521
c NEW SOLUTION FOUND: 185 @ 161.583
c NEW SOLUTION FOUND: 184 @ 161.645
c NEW SOLUTION FOUND: 183 @ 161.707
c NEW SOLUTION FOUND: 182 @ 161.769
c NEW SOLUTION FOUND: 181 @ 161.831
c NEW SOLUTION FOUND: 180 @ 161.954
c NEW SOLUTION FOUND: 179 @ 162.018
c NEW SOLUTION FOUND: 178 @ 162.081
c NEW SOLUTION FOUND: 177 @ 162.145
c NEW SOLUTION FOUND: 176 @ 162.274
c NEW SOLUTION FOUND: 175 @ 162.548
c NEW SOLUTION FOUND: 174 @ 162.746
c NEW SOLUTION FOUND: 173 @ 162.958
c NEW SOLUTION FOUND: 172 @ 163.232
c NEW SOLUTION FOUND: 171 @ 163.305
c NEW SOLUTION FOUND: 170 @ 163.452
c NEW SOLUTION FOUND: 169 @ 163.74
c NEW SOLUTION FOUND: 168 @ 164.02
c NEW SOLUTION FOUND: 167 @ 164.248
c NEW SOLUTION FOUND: 166 @ 164.619
c NEW SOLUTION FOUND: 165 @ 164.838
c NEW SOLUTION FOUND: 164 @ 165.097
c NEW SOLUTION FOUND: 163 @ 165.342
c NEW SOLUTION FOUND: 162 @ 165.43
c NEW SOLUTION FOUND: 161 @ 165.518
c NEW SOLUTION FOUND: 160 @ 165.781
c NEW SOLUTION FOUND: 159 @ 166.207
c NEW SOLUTION FOUND: 158 @ 166.467
c NEW SOLUTION FOUND: 157 @ 166.564
c NEW SOLUTION FOUND: 156 @ 166.662
c NEW SOLUTION FOUND: 155 @ 166.763
c NEW SOLUTION FOUND: 154 @ 167.071
c NEW SOLUTION FOUND: 153 @ 167.18
c NEW SOLUTION FOUND: 152 @ 167.295
c NEW SOLUTION FOUND: 151 @ 167.429
c NEW SOLUTION FOUND: 150 @ 167.71
c NEW SOLUTION FOUND: 149 @ 167.852
c NEW SOLUTION FOUND: 148 @ 167.999
c NEW SOLUTION FOUND: 147 @ 168.16
c NEW SOLUTION FOUND: 146 @ 168.316
c NEW SOLUTION FOUND: 145 @ 168.47
c NEW SOLUTION FOUND: 144 @ 168.622
c NEW SOLUTION FOUND: 143 @ 168.774
c NEW SOLUTION FOUND: 142 @ 168.927
c NEW SOLUTION FOUND: 141 @ 169.077
c NEW SOLUTION FOUND: 140 @ 169.242
c NEW SOLUTION FOUND: 139 @ 169.403
c NEW SOLUTION FOUND: 138 @ 169.562
c NEW SOLUTION FOUND: 137 @ 169.724
c NEW SOLUTION FOUND: 136 @ 169.885
c NEW SOLUTION FOUND: 135 @ 170.051
c NEW SOLUTION FOUND: 134 @ 170.213
c NEW SOLUTION FOUND: 133 @ 170.378
c NEW SOLUTION FOUND: 132 @ 170.703
c NEW SOLUTION FOUND: 131 @ 170.864
c NEW SOLUTION FOUND: 130 @ 171.19
c NEW SOLUTION FOUND: 129 @ 171.366
c NEW SOLUTION FOUND: 128 @ 171.534
c NEW SOLUTION FOUND: 127 @ 171.703
c NEW SOLUTION FOUND: 126 @ 171.877
c NEW SOLUTION FOUND: 125 @ 172.232
c NEW SOLUTION FOUND: 124 @ 172.409
c NEW SOLUTION FOUND: 123 @ 172.78
c NEW SOLUTION FOUND: 122 @ 173.162
c NEW SOLUTION FOUND: 121 @ 173.353
c NEW SOLUTION FOUND: 120 @ 173.548
c NEW SOLUTION FOUND: 119 @ 173.762
c NEW SOLUTION FOUND: 118 @ 173.961
c NEW SOLUTION FOUND: 117 @ 174.16
c NEW SOLUTION FOUND: 116 @ 174.359
c NEW SOLUTION FOUND: 115 @ 174.555
c NEW SOLUTION FOUND: 114 @ 174.75
c NEW SOLUTION FOUND: 113 @ 174.957
c NEW SOLUTION FOUND: 112 @ 175.155
c NEW SOLUTION FOUND: 111 @ 175.354
c NEW SOLUTION FOUND: 110 @ 175.557
c NEW SOLUTION FOUND: 109 @ 175.76
c NEW SOLUTION FOUND: 108 @ 175.959
c NEW SOLUTION FOUND: 107 @ 176.151
c NEW SOLUTION FOUND: 106 @ 176.569
c NEW SOLUTION FOUND: 105 @ 176.787
c NEW SOLUTION FOUND: 104 @ 177.224
c NEW SOLUTION FOUND: 103 @ 177.434
c NEW SOLUTION FOUND: 102 @ 177.649
c NEW SOLUTION FOUND: 101 @ 177.897
c NEW SOLUTION FOUND: 100 @ 178.128
c NEW SOLUTION FOUND: 99 @ 178.358
c NEW SOLUTION FOUND: 98 @ 178.835
c NEW SOLUTION FOUND: 97 @ 179.324
c NEW SOLUTION FOUND: 96 @ 180.009
c NEW SOLUTION FOUND: 95 @ 180.485
c NEW SOLUTION FOUND: 94 @ 181.21
c NEW SOLUTION FOUND: 93 @ 182.174
c NEW SOLUTION FOUND: 92 @ 182.451
c NEW SOLUTION FOUND: 91 @ 182.704
c NEW SOLUTION FOUND: 90 @ 182.975
c NEW SOLUTION FOUND: 89 @ 183.28
c NEW SOLUTION FOUND: 88 @ 183.531
c NEW SOLUTION FOUND: 87 @ 183.791
c NEW SOLUTION FOUND: 86 @ 184.054
c NEW SOLUTION FOUND: 85 @ 185.749
c NEW SOLUTION FOUND: 84 @ 187.689
c NEW SOLUTION FOUND: 83 @ 189.135
c NEW SOLUTION FOUND: 82 @ 192.292
c NEW SOLUTION FOUND: 81 @ 197.964
c NEW SOLUTION FOUND: 80 @ 201.54
c NEW SOLUTION FOUND: 79 @ 204.461
c NEW SOLUTION FOUND: 78 @ 322.723
c NEW SOLUTION FOUND: 77 @ 851.082
s SATISFIABLE
v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 
c Exit Code: 10
c Total time: 1175.44 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.14 1.03 1.01 2/54 7726
Raw data (stat): 7726 (runsolver) R 7725 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653470070 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 1.12 1.03 1.01 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 4565 0 0 0 983 12 0 0 25 0 1 0 653470070 14000128 2658 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3418 2658 1111 63 0 3355 0
vsize: 13672
[startup+20.0012 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 11231 0 0 0 1965 30 0 0 25 0 1 0 653470070 18100224 3628 4294967295 134512640 134714508 3221221792 3221217696 1074875065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4419 3628 1111 63 0 4356 0
vsize: 17676
[startup+30.0017 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 12442 0 0 0 2960 35 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221219952 1074050783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+40.0022 s]
Raw data (loadavg): 1.07 1.03 1.01 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 13947 0 0 0 3949 46 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220208 1074116193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+50.0031 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 15468 0 0 0 4939 56 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220496 134652514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+60.0045 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 17032 0 0 0 5930 66 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+70.005 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 18678 0 0 0 6921 75 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+80.0049 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 20347 0 0 0 7911 85 0 0 25 0 1 0 653470070 15364096 2998 4294967295 134512640 134714508 3221221792 3221219712 1075799503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2998 1111 63 0 3688 0
vsize: 15004
[startup+90.0062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 22069 0 0 0 8900 95 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220608 134651176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+100.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 23793 0 0 0 9890 106 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221218992 1075979624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+110.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 25555 0 0 0 10880 116 0 0 25 0 1 0 653470070 15364096 2998 4294967295 134512640 134714508 3221221792 3221219712 1075799538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2998 1111 63 0 3688 0
vsize: 15004
[startup+120.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 27330 0 0 0 11867 129 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221218896 1074139102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 29150 0 0 0 12856 140 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221219888 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+140.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 31011 0 0 0 13845 151 0 0 25 0 1 0 653470070 15364096 2998 4294967295 134512640 134714508 3221221792 3221219616 1075823357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3751 2998 1111 63 0 3688 0
vsize: 15004
[startup+150.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 32999 0 0 0 14835 162 0 0 25 0 1 0 653470070 15302656 3001 4294967295 134512640 134714508 3221221792 3221219972 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14944
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 35240 0 0 0 15821 175 0 0 25 0 1 0 653470070 15208448 2996 4294967295 134512640 134714508 3221221792 3221220096 1074138465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 2996 1111 63 0 3650 0
vsize: 14852
[startup+170.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 37549 0 0 0 16810 186 0 0 25 0 1 0 653470070 15208448 3003 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3003 1111 63 0 3650 0
vsize: 14852
[startup+180.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 38885 0 0 0 17805 192 0 0 25 0 1 0 653470070 15544320 3032 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 3032 1111 63 0 3732 0
vsize: 15180
[startup+190.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 39835 0 0 0 18801 196 0 0 25 0 1 0 653470070 15396864 3013 4294967295 134512640 134714508 3221221792 3221218064 1074799186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3013 1111 63 0 3696 0
vsize: 15036
[startup+200.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 40126 0 0 0 19799 198 0 0 25 0 1 0 653470070 15396864 3014 4294967295 134512640 134714508 3221221792 3221217864 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3014 1111 63 0 3696 0
vsize: 15036
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 40437 0 0 0 20798 199 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 40880 0 0 0 21797 201 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219936 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 41202 0 0 0 22796 202 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219944 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 41461 0 0 0 23795 203 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219712 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+250.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 41842 0 0 0 24793 205 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219840 1074140688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+260.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 42195 0 0 0 25792 206 0 0 25 0 1 0 653470070 15581184 3027 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3804 3027 1111 63 0 3741 0
vsize: 15216
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 42453 0 0 0 26791 208 0 0 25 0 1 0 653470070 15396864 3014 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3014 1111 63 0 3696 0
vsize: 15036
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 42763 0 0 0 27789 209 0 0 25 0 1 0 653470070 15396864 3014 4294967295 134512640 134714508 3221221792 3221218024 1076111521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3015 1111 63 0 3696 0
vsize: 15036
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 43052 0 0 0 28789 210 0 0 25 0 1 0 653470070 15581184 3027 4294967295 134512640 134714508 3221221792 3221218020 1075115136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3804 3027 1111 63 0 3741 0
vsize: 15216
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 43301 0 0 0 29787 212 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219936 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 43657 0 0 0 30786 214 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 43995 0 0 0 31785 215 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 44353 0 0 0 32783 216 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219792 1074918562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 44769 0 0 0 33782 218 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221220572 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 45087 0 0 0 34781 219 0 0 25 0 1 0 653470070 15396864 3016 4294967295 134512640 134714508 3221221792 3221217776 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3016 1111 63 0 3696 0
vsize: 15036
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 45360 0 0 0 35780 220 0 0 25 0 1 0 653470070 15368192 3012 4294967295 134512640 134714508 3221221792 3221219712 1075799685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3752 3012 1111 63 0 3689 0
vsize: 15008
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 45662 0 0 0 36778 222 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221218896 1074139067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 46044 0 0 0 37777 223 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219440 1074247416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 46824 0 0 0 38776 225 0 0 25 0 1 0 653470070 15802368 3063 4294967295 134512640 134714508 3221221792 3221217796 1074875808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3858 3063 1111 63 0 3795 0
vsize: 15432
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 47856 0 0 0 39772 228 0 0 25 0 1 0 653470070 15740928 3071 4294967295 134512640 134714508 3221221792 3221217952 1074794571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3843 3071 1111 63 0 3780 0
vsize: 15372
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 48791 0 0 0 40770 231 0 0 25 0 1 0 653470070 15745024 3073 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3844 3073 1111 63 0 3781 0
vsize: 15376
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 49794 0 0 0 41767 234 0 0 25 0 1 0 653470070 15790080 3057 4294967295 134512640 134714508 3221221792 3221218832 1075971441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3855 3057 1111 63 0 3792 0
vsize: 15420
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 50837 0 0 0 42763 238 0 0 25 0 1 0 653470070 15785984 3077 4294967295 134512640 134714508 3221221792 3221217920 1074880611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3854 3077 1111 63 0 3791 0
vsize: 15416
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 52269 0 0 0 43759 243 0 0 25 0 1 0 653470070 15929344 3091 4294967295 134512640 134714508 3221221792 3221217952 1074794695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3889 3091 1111 63 0 3826 0
vsize: 15556
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 53969 0 0 0 44754 247 0 0 25 0 1 0 653470070 15982592 3106 4294967295 134512640 134714508 3221221792 3221218628 1074786591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3902 3106 1111 63 0 3839 0
vsize: 15608
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 55777 0 0 0 45749 252 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221218896 1074139041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 57629 0 0 0 46744 257 0 0 25 0 1 0 653470070 15872000 3102 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3102 1111 63 0 3812 0
vsize: 15500
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 59586 0 0 0 47738 264 0 0 25 0 1 0 653470070 16007168 3112 4294967295 134512640 134714508 3221221792 3221218128 1075114277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3112 1111 63 0 3845 0
vsize: 15632
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 61084 0 0 0 48735 267 0 0 25 0 1 0 653470070 15777792 3056 4294967295 134512640 134714508 3221221792 3221217776 1074875093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3852 3056 1111 63 0 3789 0
vsize: 15408
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 62690 0 0 0 49731 272 0 0 25 0 1 0 653470070 16003072 3111 4294967295 134512640 134714508 3221221792 3221217796 1074875793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3111 1111 63 0 3844 0
vsize: 15628
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 64579 0 0 0 50727 276 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219976 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 66870 0 0 0 51722 281 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221218896 1074138810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 69266 0 0 0 52717 286 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219264 1074153259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 71667 0 0 0 53712 291 0 0 25 0 1 0 653470070 16011264 3111 4294967295 134512640 134714508 3221221792 3221217756 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3909 3111 1111 63 0 3846 0
vsize: 15636
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 73986 0 0 0 54707 297 0 0 25 0 1 0 653470070 15208448 3010 4294967295 134512640 134714508 3221221792 3221219720 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3713 3010 1111 63 0 3650 0
vsize: 14852
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 76353 0 0 0 55700 303 0 0 25 0 1 0 653470070 16003072 3111 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3111 1111 63 0 3844 0
vsize: 15628
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 78650 0 0 0 56694 310 0 0 25 0 1 0 653470070 16084992 3158 4294967295 134512640 134714508 3221221792 3221217776 1074875105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3158 1111 63 0 3864 0
vsize: 15708
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 81256 0 0 0 57687 317 0 0 25 0 1 0 653470070 15564800 3099 4294967295 134512640 134714508 3221221792 3221220208 1074116342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3099 1111 63 0 3737 0
vsize: 15200
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 83350 0 0 0 58681 323 0 0 25 0 1 0 653470070 16285696 3182 4294967295 134512640 134714508 3221221792 3221217776 1074875074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3182 1111 63 0 3913 0
vsize: 15904
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 85539 0 0 0 59676 329 0 0 25 0 1 0 653470070 16326656 3193 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3986 3193 1111 63 0 3923 0
vsize: 15944
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 87722 0 0 0 60671 334 0 0 25 0 1 0 653470070 15429632 3066 4294967295 134512640 134714508 3221221792 3221219224 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3767 3066 1111 63 0 3704 0
vsize: 15068
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 90147 0 0 0 61665 340 0 0 25 0 1 0 653470070 15564800 3078 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3080 1111 63 0 3737 0
vsize: 15200
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 92847 0 0 0 62658 347 0 0 25 0 1 0 653470070 16461824 3225 4294967295 134512640 134714508 3221221792 3221218628 1074786531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4019 3225 1111 63 0 3956 0
vsize: 16076
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 96019 0 0 0 63650 355 0 0 25 0 1 0 653470070 15556608 3097 4294967295 134512640 134714508 3221221792 3221220428 134649145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3798 3097 1111 63 0 3735 0
vsize: 15192
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 99551 0 0 0 64641 364 0 0 25 0 1 0 653470070 15429632 3066 4294967295 134512640 134714508 3221221792 3221219276 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3767 3066 1111 63 0 3704 0
vsize: 15068
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 102558 0 0 0 65633 372 0 0 25 0 1 0 653470070 16252928 3198 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3968 3198 1111 63 0 3905 0
vsize: 15872
[startup+670.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 105372 0 0 0 66626 379 0 0 25 0 1 0 653470070 16269312 3200 4294967295 134512640 134714508 3221221792 3221218032 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3972 3200 1111 63 0 3909 0
vsize: 15888
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 108645 0 0 0 67618 388 0 0 25 0 1 0 653470070 15646720 3119 4294967295 134512640 134714508 3221221792 3221220432 134649086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3820 3119 1111 63 0 3757 0
vsize: 15280
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 111210 0 0 0 68611 394 0 0 25 0 1 0 653470070 16535552 3244 4294967295 134512640 134714508 3221221792 3221218712 1074950105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4037 3244 1111 63 0 3974 0
vsize: 16148
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 113589 0 0 0 69604 402 0 0 25 0 1 0 653470070 15613952 3111 4294967295 134512640 134714508 3221221792 3221219792 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3812 3111 1111 63 0 3749 0
vsize: 15248
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 115992 0 0 0 70598 409 0 0 25 0 1 0 653470070 16539648 3242 4294967295 134512640 134714508 3221221792 3221217796 1074875812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3242 1111 63 0 3975 0
vsize: 16152
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 118690 0 0 0 71591 415 0 0 25 0 1 0 653470070 16650240 3272 4294967295 134512640 134714508 3221221792 3221217920 1075561223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4065 3272 1111 63 0 4002 0
vsize: 16260
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 121660 0 0 0 72584 422 0 0 25 0 1 0 653470070 15921152 3186 4294967295 134512640 134714508 3221221792 3221219760 1074247426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3887 3186 1111 63 0 3824 0
vsize: 15548
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 124716 0 0 0 73576 431 0 0 25 0 1 0 653470070 16273408 3205 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3205 1111 63 0 3910 0
vsize: 15892
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 128073 0 0 0 74568 439 0 0 25 0 1 0 653470070 16359424 3177 4294967295 134512640 134714508 3221221792 3221218776 1074831409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3177 1111 63 0 3931 0
vsize: 15976
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 131403 0 0 0 75559 448 0 0 25 0 1 0 653470070 16629760 3267 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4060 3267 1111 63 0 3997 0
vsize: 16240
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 134525 0 0 0 76551 456 0 0 25 0 1 0 653470070 16359424 3222 4294967295 134512640 134714508 3221221792 3221217732 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3222 1111 63 0 3931 0
vsize: 15976
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 137969 0 0 0 77542 465 0 0 25 0 1 0 653470070 16547840 3270 4294967295 134512640 134714508 3221221792 3221217952 1074794640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4040 3270 1111 63 0 3977 0
vsize: 16160
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 141795 0 0 0 78532 475 0 0 25 0 1 0 653470070 15613952 3111 4294967295 134512640 134714508 3221221792 3221219532 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3812 3111 1111 63 0 3749 0
vsize: 15248
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 145901 0 0 0 79522 486 0 0 25 0 1 0 653470070 15802368 3157 4294967295 134512640 134714508 3221221792 3221219560 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3858 3157 1111 63 0 3795 0
vsize: 15432
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 148815 0 0 0 80515 493 0 0 25 0 1 0 653470070 15851520 3169 4294967295 134512640 134714508 3221221792 3221219856 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3870 3169 1111 63 0 3807 0
vsize: 15480
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 152003 0 0 0 81506 502 0 0 25 0 1 0 653470070 15896576 3180 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3881 3180 1111 63 0 3818 0
vsize: 15524
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 154843 0 0 0 82501 507 0 0 25 0 1 0 653470070 16740352 3316 4294967295 134512640 134714508 3221221792 3221217952 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4087 3316 1111 63 0 4024 0
vsize: 16348
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 157353 0 0 0 83496 512 0 0 25 0 1 0 653470070 17027072 3364 4294967295 134512640 134714508 3221221792 3221218012 1074878527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 3364 1111 63 0 4094 0
vsize: 16628
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 159421 0 0 0 84491 518 0 0 25 0 1 0 653470070 16826368 3337 4294967295 134512640 134714508 3221221792 3221217792 1075088679 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3337 1111 63 0 4045 0
vsize: 16432
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 161631 0 0 0 85485 523 0 0 25 0 1 0 653470070 17137664 3390 4294967295 134512640 134714508 3221221792 3221217864 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3390 1111 63 0 4121 0
vsize: 16736
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 164115 0 0 0 86478 530 0 0 25 0 1 0 653470070 17133568 3386 4294967295 134512640 134714508 3221221792 3221217864 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4183 3386 1111 63 0 4120 0
vsize: 16732
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 166681 0 0 0 87470 537 0 0 25 0 1 0 653470070 16400384 3303 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4004 3303 1111 63 0 3941 0
vsize: 16016
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 169443 0 0 0 88463 545 0 0 25 0 1 0 653470070 16969728 3327 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4007 3306 1111 63 0 3944 0
vsize: 16572
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 171779 0 0 0 89458 550 0 0 25 0 1 0 653470070 16457728 3317 4294967295 134512640 134714508 3221221792 3221220044 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4018 3317 1111 63 0 3955 0
vsize: 16072
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 174106 0 0 0 90452 555 0 0 25 0 1 0 653470070 16408576 3305 4294967295 134512640 134714508 3221221792 3221218608 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3305 1111 63 0 3943 0
vsize: 16024
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 176660 0 0 0 91446 562 0 0 25 0 1 0 653470070 17444864 3466 4294967295 134512640 134714508 3221221792 3221217836 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4259 3466 1111 63 0 4196 0
vsize: 17036
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 179634 0 0 0 92439 569 0 0 25 0 1 0 653470070 17444864 3467 4294967295 134512640 134714508 3221221792 3221217864 1074950180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4259 3467 1111 63 0 4196 0
vsize: 17036
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 182792 0 0 0 93430 578 0 0 25 0 1 0 653470070 17412096 3458 4294967295 134512640 134714508 3221221792 3221217776 1074875059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4251 3458 1111 63 0 4188 0
vsize: 17004
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 185760 0 0 0 94422 586 0 0 25 0 1 0 653470070 17117184 3406 4294967295 134512640 134714508 3221221792 3221217808 1074788251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3406 1111 63 0 4116 0
vsize: 16716
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 189084 0 0 0 95413 595 0 0 25 0 1 0 653470070 17108992 3404 4294967295 134512640 134714508 3221221792 3221218832 1075859942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3404 1111 63 0 4114 0
vsize: 16708
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 192097 0 0 0 96406 603 0 0 25 0 1 0 653470070 17104896 3389 4294967295 134512640 134714508 3221221792 3221219904 1074867278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3389 1111 63 0 4113 0
vsize: 16704
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 194696 0 0 0 97398 611 0 0 25 0 1 0 653470070 16551936 3340 4294967295 134512640 134714508 3221221792 3221219624 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4041 3340 1111 63 0 3978 0
vsize: 16164
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 197433 0 0 0 98391 618 0 0 25 0 1 0 653470070 17309696 3453 4294967295 134512640 134714508 3221221792 3221217816 1074860225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4226 3453 1111 63 0 4163 0
vsize: 16904
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 200106 0 0 0 99384 625 0 0 25 0 1 0 653470070 17723392 3534 4294967295 134512640 134714508 3221221792 3221217836 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4327 3534 1111 63 0 4264 0
vsize: 17308
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 202429 0 0 0 100378 632 0 0 25 0 1 0 653470070 17649664 3516 4294967295 134512640 134714508 3221221792 3221217796 1074875766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4309 3516 1111 63 0 4246 0
vsize: 17236
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 204374 0 0 0 101372 637 0 0 25 0 1 0 653470070 17690624 3549 4294967295 134512640 134714508 3221221792 3221217776 1074875034 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4319 3549 1111 63 0 4256 0
vsize: 17276
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 206520 0 0 0 102368 642 0 0 25 0 1 0 653470070 17989632 3599 4294967295 134512640 134714508 3221221792 3221218012 1074878575 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4392 3599 1111 63 0 4329 0
vsize: 17568
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 208479 0 0 0 103363 647 0 0 25 0 1 0 653470070 17993728 3600 4294967295 134512640 134714508 3221221792 3221217836 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3600 1111 63 0 4330 0
vsize: 17572
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 210920 0 0 0 104358 652 0 0 25 0 1 0 653470070 17436672 3545 4294967295 134512640 134714508 3221221792 3221219752 1074138240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3545 1111 63 0 4194 0
vsize: 17028
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 213400 0 0 0 105352 658 0 0 25 0 1 0 653470070 17915904 3603 4294967295 134512640 134714508 3221221792 3221217952 1074794578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4374 3603 1111 63 0 4311 0
vsize: 17496
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 215766 0 0 0 106347 663 0 0 25 0 1 0 653470070 17129472 3481 4294967295 134512640 134714508 3221221792 3221219336 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4182 3481 1111 63 0 4119 0
vsize: 16728
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 218334 0 0 0 107340 670 0 0 25 0 1 0 653470070 17874944 3594 4294967295 134512640 134714508 3221221792 3221217952 1075093340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4364 3594 1111 63 0 4301 0
vsize: 17456
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 220851 0 0 0 108334 677 0 0 25 0 1 0 653470070 17129472 3481 4294967295 134512640 134714508 3221221792 3221219472 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4182 3481 1111 63 0 4119 0
vsize: 16728
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 223687 0 0 0 109327 684 0 0 25 0 1 0 653470070 18161664 3638 4294967295 134512640 134714508 3221221792 3221218304 1075240464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4434 3638 1111 63 0 4371 0
vsize: 17736
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 226809 0 0 0 110319 692 0 0 25 0 1 0 653470070 18149376 3636 4294967295 134512640 134714508 3221221792 3221217756 1074860828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4431 3636 1111 63 0 4368 0
vsize: 17724
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 229727 0 0 0 111311 700 0 0 25 0 1 0 653470070 17915904 3601 4294967295 134512640 134714508 3221221792 3221218832 1075859942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4374 3601 1111 63 0 4311 0
vsize: 17496
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 232944 0 0 0 112303 709 0 0 25 0 1 0 653470070 17952768 3612 4294967295 134512640 134714508 3221221792 3221217952 1074794649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4383 3612 1111 63 0 4320 0
vsize: 17532
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 235958 0 0 0 113295 717 0 0 25 0 1 0 653470070 17903616 3598 4294967295 134512640 134714508 3221221792 3221218832 1075860102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4371 3598 1111 63 0 4308 0
vsize: 17484
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 238954 0 0 0 114287 725 0 0 25 0 1 0 653470070 17129472 3481 4294967295 134512640 134714508 3221221792 3221219560 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4182 3481 1111 63 0 4119 0
vsize: 16728
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 242061 0 0 0 115279 733 0 0 25 0 1 0 653470070 17481728 3567 4294967295 134512640 134714508 3221221792 3221218912 1074865204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3567 1111 63 0 4205 0
vsize: 17072
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 244985 0 0 0 116272 740 0 0 25 0 1 0 653470070 18194432 3647 4294967295 134512640 134714508 3221221792 3221218368 1076043845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3647 1111 63 0 4379 0
vsize: 17768
[startup+1175.38 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 7726
Raw data (stat): 7726 (bsolo_lpr) R 7725 7876 7672 0 -1 0 244985 0 0 0 116272 740 0 0 25 0 1 0 653470070 18194432 3647 4294967295 134512640 134714508 3221221792 3221218368 1076043845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3647 1111 63 0 4379 0
vsize: 0

Child status: 10
Real time (s): 1175.38
CPU time (s): 1175.48
CPU user time (s): 1168.02
CPU system time (s): 7.45787
CPU usage (%): 100.008
Max. virtual memory (Kb): 17768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	77
#### END VERIFIER DATA ####