PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb
MD5SUM	4a63080ba3e63c3b77e35782a700d569
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	330
Optimality of the best value was proved	NO
Number of terms in the objective function	2618
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2618
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2618
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	2617
Total number of constraints	1988
Number of constraints which are clauses	1988
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	30
Trace number 23493

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 05:56:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=632 boxname=wulflinc31 idbench=71 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
IDLAUNCH: 632
/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:        915172 kB
Buffers:         41556 kB
Cached:          55760 kB
SwapCached:        944 kB
Active:          81096 kB
Inactive:        18712 kB
HighTotal:      131008 kB
HighFree:        74256 kB
LowTotal:       903652 kB
LowFree:        840916 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14200 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 06:16:15 (client local time) WITH STATUS 0 IN 1200.88 SECONDS
stats: 632 7 1200.88 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2618 variables and 1988 constraints.
c After prepocess the problem consists of 2609 variables and 1758 constraints.
c preprocess terminated 1.293 s
c Initial Lower Bound: 287
c Lower Bound Elapsed time: 21.369
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 2613 @ 24.472
c NEW SOLUTION FOUND: 2612 @ 24.518
c NEW SOLUTION FOUND: 2611 @ 24.551
c NEW SOLUTION FOUND: 2610 @ 24.585
c NEW SOLUTION FOUND: 2609 @ 24.618
c NEW SOLUTION FOUND: 2608 @ 24.652
c NEW SOLUTION FOUND: 2607 @ 24.686
c NEW SOLUTION FOUND: 2606 @ 24.721
c NEW SOLUTION FOUND: 2605 @ 24.755
c NEW SOLUTION FOUND: 2604 @ 24.789
c NEW SOLUTION FOUND: 2603 @ 24.824
c NEW SOLUTION FOUND: 2602 @ 24.858
c NEW SOLUTION FOUND: 2601 @ 24.892
c NEW SOLUTION FOUND: 2600 @ 24.927
c NEW SOLUTION FOUND: 2599 @ 24.961
c NEW SOLUTION FOUND: 2598 @ 24.996
c NEW SOLUTION FOUND: 2597 @ 25.031
c NEW SOLUTION FOUND: 2596 @ 25.065
c NEW SOLUTION FOUND: 2595 @ 25.099
c NEW SOLUTION FOUND: 2594 @ 25.134
c NEW SOLUTION FOUND: 2593 @ 25.168
c NEW SOLUTION FOUND: 2592 @ 25.203
c NEW SOLUTION FOUND: 2591 @ 25.237
c NEW SOLUTION FOUND: 2590 @ 25.272
c NEW SOLUTION FOUND: 2589 @ 25.307
c NEW SOLUTION FOUND: 2588 @ 25.341
c NEW SOLUTION FOUND: 2587 @ 25.376
c NEW SOLUTION FOUND: 2586 @ 25.411
c NEW SOLUTION FOUND: 2585 @ 25.445
c NEW SOLUTION FOUND: 2584 @ 25.48
c NEW SOLUTION FOUND: 2583 @ 25.514
c NEW SOLUTION FOUND: 2582 @ 25.548
c NEW SOLUTION FOUND: 2581 @ 25.583
c NEW SOLUTION FOUND: 2580 @ 25.618
c NEW SOLUTION FOUND: 2579 @ 25.652
c NEW SOLUTION FOUND: 2578 @ 25.687
c NEW SOLUTION FOUND: 2577 @ 25.721
c NEW SOLUTION FOUND: 2576 @ 25.755
c NEW SOLUTION FOUND: 2575 @ 25.789
c NEW SOLUTION FOUND: 2574 @ 25.824
c NEW SOLUTION FOUND: 2573 @ 25.858
c NEW SOLUTION FOUND: 2572 @ 25.892
c NEW SOLUTION FOUND: 2571 @ 25.927
c NEW SOLUTION FOUND: 2570 @ 25.994
c NEW SOLUTION FOUND: 2569 @ 26.029
c NEW SOLUTION FOUND: 2568 @ 26.063
c NEW SOLUTION FOUND: 2567 @ 26.098
c NEW SOLUTION FOUND: 2566 @ 26.132
c NEW SOLUTION FOUND: 2565 @ 26.167
c NEW SOLUTION FOUND: 2564 @ 26.201
c NEW SOLUTION FOUND: 2563 @ 26.236
c NEW SOLUTION FOUND: 2562 @ 26.27
c NEW SOLUTION FOUND: 2561 @ 26.305
c NEW SOLUTION FOUND: 2560 @ 26.339
c NEW SOLUTION FOUND: 2559 @ 26.373
c NEW SOLUTION FOUND: 2558 @ 26.407
c NEW SOLUTION FOUND: 2557 @ 26.441
c NEW SOLUTION FOUND: 2556 @ 26.475
c NEW SOLUTION FOUND: 2555 @ 26.51
c NEW SOLUTION FOUND: 2554 @ 26.544
c NEW SOLUTION FOUND: 2553 @ 26.579
c NEW SOLUTION FOUND: 2552 @ 26.613
c NEW SOLUTION FOUND: 2551 @ 26.647
c NEW SOLUTION FOUND: 2550 @ 26.681
c NEW SOLUTION FOUND: 2549 @ 26.715
c NEW SOLUTION FOUND: 2548 @ 26.749
c NEW SOLUTION FOUND: 2547 @ 26.783
c NEW SOLUTION FOUND: 2546 @ 26.817
c NEW SOLUTION FOUND: 2545 @ 26.851
c NEW SOLUTION FOUND: 2544 @ 26.884
c NEW SOLUTION FOUND: 2543 @ 26.918
c NEW SOLUTION FOUND: 2542 @ 26.952
c NEW SOLUTION FOUND: 2541 @ 26.986
c NEW SOLUTION FOUND: 2540 @ 27.059
c NEW SOLUTION FOUND: 2539 @ 27.094
c NEW SOLUTION FOUND: 2538 @ 27.13
c NEW SOLUTION FOUND: 2537 @ 27.166
c NEW SOLUTION FOUND: 2536 @ 27.202
c NEW SOLUTION FOUND: 2535 @ 27.239
c NEW SOLUTION FOUND: 2534 @ 27.275
c NEW SOLUTION FOUND: 2533 @ 27.311
c NEW SOLUTION FOUND: 2532 @ 27.348
c NEW SOLUTION FOUND: 2531 @ 27.384
c NEW SOLUTION FOUND: 2530 @ 27.42
c NEW SOLUTION FOUND: 2529 @ 27.457
c NEW SOLUTION FOUND: 2528 @ 27.493
c NEW SOLUTION FOUND: 2527 @ 27.529
c NEW SOLUTION FOUND: 2526 @ 27.565
c NEW SOLUTION FOUND: 2525 @ 27.602
c NEW SOLUTION FOUND: 2524 @ 27.638
c NEW SOLUTION FOUND: 2523 @ 27.674
c NEW SOLUTION FOUND: 2522 @ 27.71
c NEW SOLUTION FOUND: 2521 @ 27.746
c NEW SOLUTION FOUND: 2520 @ 27.782
c NEW SOLUTION FOUND: 2519 @ 27.818
c NEW SOLUTION FOUND: 2518 @ 27.854
c NEW SOLUTION FOUND: 2517 @ 27.891
c NEW SOLUTION FOUND: 2516 @ 27.927
c NEW SOLUTION FOUND: 2515 @ 27.963
c NEW SOLUTION FOUND: 2514 @ 27.999
c NEW SOLUTION FOUND: 2513 @ 28.035
c NEW SOLUTION FOUND: 2512 @ 28.071
c NEW SOLUTION FOUND: 2511 @ 28.108
c NEW SOLUTION FOUND: 2510 @ 28.144
c NEW SOLUTION FOUND: 2509 @ 28.18
c NEW SOLUTION FOUND: 2508 @ 28.216
c NEW SOLUTION FOUND: 2507 @ 28.252
c NEW SOLUTION FOUND: 2506 @ 28.288
c NEW SOLUTION FOUND: 2505 @ 28.325
c NEW SOLUTION FOUND: 2504 @ 28.361
c NEW SOLUTION FOUND: 2503 @ 28.397
c NEW SOLUTION FOUND: 2502 @ 28.433
c NEW SOLUTION FOUND: 2501 @ 28.469
c NEW SOLUTION FOUND: 2500 @ 28.506
c NEW SOLUTION FOUND: 2499 @ 28.542
c NEW SOLUTION FOUND: 2498 @ 28.578
c NEW SOLUTION FOUND: 2497 @ 28.614
c NEW SOLUTION FOUND: 2496 @ 28.65
c NEW SOLUTION FOUND: 2495 @ 28.686
c NEW SOLUTION FOUND: 2494 @ 28.722
c NEW SOLUTION FOUND: 2493 @ 28.76
c NEW SOLUTION FOUND: 2492 @ 28.796
c NEW SOLUTION FOUND: 2491 @ 28.833
c NEW SOLUTION FOUND: 2490 @ 28.869
c NEW SOLUTION FOUND: 2489 @ 28.906
c NEW SOLUTION FOUND: 2488 @ 28.943
c NEW SOLUTION FOUND: 2487 @ 28.979
c NEW SOLUTION FOUND: 2486 @ 29.016
c NEW SOLUTION FOUND: 2485 @ 29.052
c NEW SOLUTION FOUND: 2484 @ 29.089
c NEW SOLUTION FOUND: 2483 @ 29.126
c NEW SOLUTION FOUND: 2482 @ 29.162
c NEW SOLUTION FOUND: 2481 @ 29.199
c NEW SOLUTION FOUND: 2480 @ 29.235
c NEW SOLUTION FOUND: 2479 @ 29.272
c NEW SOLUTION FOUND: 2478 @ 29.346
c NEW SOLUTION FOUND: 2477 @ 29.381
c NEW SOLUTION FOUND: 2476 @ 29.418
c NEW SOLUTION FOUND: 2475 @ 29.455
c NEW SOLUTION FOUND: 2474 @ 29.492
c NEW SOLUTION FOUND: 2473 @ 29.528
c NEW SOLUTION FOUND: 2472 @ 29.565
c NEW SOLUTION FOUND: 2471 @ 29.602
c NEW SOLUTION FOUND: 2470 @ 29.639
c NEW SOLUTION FOUND: 2469 @ 29.676
c NEW SOLUTION FOUND: 2468 @ 29.713
c NEW SOLUTION FOUND: 2467 @ 29.749
c NEW SOLUTION FOUND: 2466 @ 29.786
c NEW SOLUTION FOUND: 2465 @ 29.823
c NEW SOLUTION FOUND: 2464 @ 29.86
c NEW SOLUTION FOUND: 2463 @ 29.896
c NEW SOLUTION FOUND: 2462 @ 29.934
c NEW SOLUTION FOUND: 2461 @ 29.971
c NEW SOLUTION FOUND: 2460 @ 30.008
c NEW SOLUTION FOUND: 2459 @ 30.045
c NEW SOLUTION FOUND: 2458 @ 30.082
c NEW SOLUTION FOUND: 2457 @ 30.119
c NEW SOLUTION FOUND: 2456 @ 30.156
c NEW SOLUTION FOUND: 2455 @ 30.192
c NEW SOLUTION FOUND: 2454 @ 30.229
c NEW SOLUTION FOUND: 2453 @ 30.266
c NEW SOLUTION FOUND: 2452 @ 30.303
c NEW SOLUTION FOUND: 2451 @ 30.34
c NEW SOLUTION FOUND: 2450 @ 30.377
c NEW SOLUTION FOUND: 2449 @ 30.414
c NEW SOLUTION FOUND: 2448 @ 30.451
c NEW SOLUTION FOUND: 2447 @ 30.488
c NEW SOLUTION FOUND: 2446 @ 30.525
c NEW SOLUTION FOUND: 2445 @ 30.562
c NEW SOLUTION FOUND: 2444 @ 30.599
c NEW SOLUTION FOUND: 2443 @ 30.635
c NEW SOLUTION FOUND: 2442 @ 30.672
c NEW SOLUTION FOUND: 2441 @ 30.709
c NEW SOLUTION FOUND: 2440 @ 30.746
c NEW SOLUTION FOUND: 2439 @ 30.783
c NEW SOLUTION FOUND: 2438 @ 30.82
c NEW SOLUTION FOUND: 2437 @ 30.857
c NEW SOLUTION FOUND: 2436 @ 30.931
c NEW SOLUTION FOUND: 2435 @ 30.967
c NEW SOLUTION FOUND: 2434 @ 31.004
c NEW SOLUTION FOUND: 2433 @ 31.041
c NEW SOLUTION FOUND: 2432 @ 31.077
c NEW SOLUTION FOUND: 2431 @ 31.114
c NEW SOLUTION FOUND: 2430 @ 31.151
c NEW SOLUTION FOUND: 2429 @ 31.188
c NEW SOLUTION FOUND: 2428 @ 31.225
c NEW SOLUTION FOUND: 2427 @ 31.262
c NEW SOLUTION FOUND: 2426 @ 31.298
c NEW SOLUTION FOUND: 2425 @ 31.335
c NEW SOLUTION FOUND: 2424 @ 31.372
c NEW SOLUTION FOUND: 2423 @ 31.409
c NEW SOLUTION FOUND: 2422 @ 31.445
c NEW SOLUTION FOUND: 2421 @ 31.482
c NEW SOLUTION FOUND: 2420 @ 31.519
c NEW SOLUTION FOUND: 2419 @ 31.556
c NEW SOLUTION FOUND: 2418 @ 31.593
c NEW SOLUTION FOUND: 2417 @ 31.63
c NEW SOLUTION FOUND: 2416 @ 31.667
c NEW SOLUTION FOUND: 2415 @ 31.704
c NEW SOLUTION FOUND: 2414 @ 31.741
c NEW SOLUTION FOUND: 2413 @ 31.778
c NEW SOLUTION FOUND: 2412 @ 31.814
c NEW SOLUTION FOUND: 2411 @ 31.851
c NEW SOLUTION FOUND: 2410 @ 31.888
c NEW SOLUTION FOUND: 2409 @ 31.925
c NEW SOLUTION FOUND: 2408 @ 31.962
c NEW SOLUTION FOUND: 2407 @ 31.998
c NEW SOLUTION FOUND: 2406 @ 32.035
c NEW SOLUTION FOUND: 2405 @ 32.072
c NEW SOLUTION FOUND: 2404 @ 32.109
c NEW SOLUTION FOUND: 2403 @ 32.145
c NEW SOLUTION FOUND: 2402 @ 32.182
c NEW SOLUTION FOUND: 2401 @ 32.219
c NEW SOLUTION FOUND: 2400 @ 32.256
c NEW SOLUTION FOUND: 2399 @ 32.293
c NEW SOLUTION FOUND: 2398 @ 32.329
c NEW SOLUTION FOUND: 2397 @ 32.366
c NEW SOLUTION FOUND: 2396 @ 32.403
c NEW SOLUTION FOUND: 2395 @ 32.44
c NEW SOLUTION FOUND: 2394 @ 32.476
c NEW SOLUTION FOUND: 2393 @ 32.513
c NEW SOLUTION FOUND: 2392 @ 32.55
c NEW SOLUTION FOUND: 2391 @ 32.587
c NEW SOLUTION FOUND: 2390 @ 32.624
c NEW SOLUTION FOUND: 2389 @ 32.66
c NEW SOLUTION FOUND: 2388 @ 32.696
c NEW SOLUTION FOUND: 2387 @ 32.733
c NEW SOLUTION FOUND: 2386 @ 32.769
c NEW SOLUTION FOUND: 2385 @ 32.805
c NEW SOLUTION FOUND: 2384 @ 32.876
c NEW SOLUTION FOUND: 2383 @ 32.912
c NEW SOLUTION FOUND: 2382 @ 32.949
c NEW SOLUTION FOUND: 2381 @ 32.985
c NEW SOLUTION FOUND: 2380 @ 33.022
c NEW SOLUTION FOUND: 2379 @ 33.092
c NEW SOLUTION FOUND: 2378 @ 33.129
c NEW SOLUTION FOUND: 2377 @ 33.166
c NEW SOLUTION FOUND: 2376 @ 33.238
c NEW SOLUTION FOUND: 2375 @ 33.275
c NEW SOLUTION FOUND: 2374 @ 33.312
c NEW SOLUTION FOUND: 2373 @ 33.349
c NEW SOLUTION FOUND: 2372 @ 33.386
c NEW SOLUTION FOUND: 2371 @ 33.423
c NEW SOLUTION FOUND: 2370 @ 33.461
c NEW SOLUTION FOUND: 2369 @ 33.498
c NEW SOLUTION FOUND: 2368 @ 33.535
c NEW SOLUTION FOUND: 2367 @ 33.572
c NEW SOLUTION FOUND: 2366 @ 33.609
c NEW SOLUTION FOUND: 2365 @ 33.646
c NEW SOLUTION FOUND: 2364 @ 33.683
c NEW SOLUTION FOUND: 2363 @ 33.72
c NEW SOLUTION FOUND: 2362 @ 33.757
c NEW SOLUTION FOUND: 2361 @ 33.794
c NEW SOLUTION FOUND: 2360 @ 33.831
c NEW SOLUTION FOUND: 2359 @ 33.868
c NEW SOLUTION FOUND: 2358 @ 33.905
c NEW SOLUTION FOUND: 2357 @ 33.942
c NEW SOLUTION FOUND: 2356 @ 33.979
c NEW SOLUTION FOUND: 2355 @ 34.016
c NEW SOLUTION FOUND: 2354 @ 34.053
c NEW SOLUTION FOUND: 2353 @ 34.09
c NEW SOLUTION FOUND: 2352 @ 34.127
c NEW SOLUTION FOUND: 2351 @ 34.164
c NEW SOLUTION FOUND: 2350 @ 34.201
c NEW SOLUTION FOUND: 2349 @ 34.238
c NEW SOLUTION FOUND: 2348 @ 34.276
c NEW SOLUTION FOUND: 2347 @ 34.312
c NEW SOLUTION FOUND: 2346 @ 34.387
c NEW SOLUTION FOUND: 2345 @ 34.425
c NEW SOLUTION FOUND: 2344 @ 34.462
c NEW SOLUTION FOUND: 2343 @ 34.499
c NEW SOLUTION FOUND: 2342 @ 34.537
c NEW SOLUTION FOUND: 2341 @ 34.574
c NEW SOLUTION FOUND: 2340 @ 34.612
c NEW SOLUTION FOUND: 2339 @ 34.65
c NEW SOLUTION FOUND: 2338 @ 34.687
c NEW SOLUTION FOUND: 2337 @ 34.725
c NEW SOLUTION FOUND: 2336 @ 34.762
c NEW SOLUTION FOUND: 2335 @ 34.8
c NEW SOLUTION FOUND: 2334 @ 34.873
c NEW SOLUTION FOUND: 2333 @ 34.911
c NEW SOLUTION FOUND: 2332 @ 34.949
c NEW SOLUTION FOUND: 2331 @ 34.987
c NEW SOLUTION FOUND: 2330 @ 35.024
c NEW SOLUTION FOUND: 2329 @ 35.062
c NEW SOLUTION FOUND: 2328 @ 35.1
c NEW SOLUTION FOUND: 2327 @ 35.138
c NEW SOLUTION FOUND: 2326 @ 35.175
c NEW SOLUTION FOUND: 2325 @ 35.213
c NEW SOLUTION FOUND: 2324 @ 35.251
c NEW SOLUTION FOUND: 2323 @ 35.289
c NEW SOLUTION FOUND: 2322 @ 35.327
c NEW SOLUTION FOUND: 2321 @ 35.364
c NEW SOLUTION FOUND: 2320 @ 35.402
c NEW SOLUTION FOUND: 2319 @ 35.44
c NEW SOLUTION FOUND: 2318 @ 35.478
c NEW SOLUTION FOUND: 2317 @ 35.516
c NEW SOLUTION FOUND: 2316 @ 35.553
c NEW SOLUTION FOUND: 2315 @ 35.591
c NEW SOLUTION FOUND: 2314 @ 35.629
c NEW SOLUTION FOUND: 2313 @ 35.666
c NEW SOLUTION FOUND: 2312 @ 35.704
c NEW SOLUTION FOUND: 2311 @ 35.742
c NEW SOLUTION FOUND: 2310 @ 35.78
c NEW SOLUTION FOUND: 2309 @ 35.817
c NEW SOLUTION FOUND: 2308 @ 35.855
c NEW SOLUTION FOUND: 2307 @ 35.892
c NEW SOLUTION FOUND: 2306 @ 35.93
c NEW SOLUTION FOUND: 2305 @ 35.968
c NEW SOLUTION FOUND: 2304 @ 36.005
c NEW SOLUTION FOUND: 2303 @ 36.081
c NEW SOLUTION FOUND: 2302 @ 36.117
c NEW SOLUTION FOUND: 2301 @ 36.155
c NEW SOLUTION FOUND: 2300 @ 36.193
c NEW SOLUTION FOUND: 2299 @ 36.231
c NEW SOLUTION FOUND: 2298 @ 36.269
c NEW SOLUTION FOUND: 2297 @ 36.307
c NEW SOLUTION FOUND: 2296 @ 36.345
c NEW SOLUTION FOUND: 2295 @ 36.383
c NEW SOLUTION FOUND: 2294 @ 36.421
c NEW SOLUTION FOUND: 2293 @ 36.459
c NEW SOLUTION FOUND: 2292 @ 36.497
c NEW SOLUTION FOUND: 2291 @ 36.535
c NEW SOLUTION FOUND: 2290 @ 36.572
c NEW SOLUTION FOUND: 2289 @ 36.649
c NEW SOLUTION FOUND: 2288 @ 36.686
c NEW SOLUTION FOUND: 2287 @ 36.724
c NEW SOLUTION FOUND: 2286 @ 36.762
c NEW SOLUTION FOUND: 2285 @ 36.8
c NEW SOLUTION FOUND: 2284 @ 36.839
c NEW SOLUTION FOUND: 2283 @ 36.877
c NEW SOLUTION FOUND: 2282 @ 36.915
c NEW SOLUTION FOUND: 2281 @ 36.953
c NEW SOLUTION FOUND: 2280 @ 36.991
c NEW SOLUTION FOUND: 2279 @ 37.066
c NEW SOLUTION FOUND: 2278 @ 37.104
c NEW SOLUTION FOUND: 2277 @ 37.143
c NEW SOLUTION FOUND: 2276 @ 37.181
c NEW SOLUTION FOUND: 2275 @ 37.219
c NEW SOLUTION FOUND: 2274 @ 37.257
c NEW SOLUTION FOUND: 2273 @ 37.296
c NEW SOLUTION FOUND: 2272 @ 37.334
c NEW SOLUTION FOUND: 2271 @ 37.372
c NEW SOLUTION FOUND: 2270 @ 37.411
c NEW SOLUTION FOUND: 2269 @ 37.487
c NEW SOLUTION FOUND: 2268 @ 37.526
c NEW SOLUTION FOUND: 2267 @ 37.565
c NEW SOLUTION FOUND: 2266 @ 37.604
c NEW SOLUTION FOUND: 2265 @ 37.643
c NEW SOLUTION FOUND: 2264 @ 37.682
c NEW SOLUTION FOUND: 2263 @ 37.721
c NEW SOLUTION FOUND: 2262 @ 37.76
c NEW SOLUTION FOUND: 2261 @ 37.799
c NEW SOLUTION FOUND: 2260 @ 37.879
c NEW SOLUTION FOUND: 2259 @ 37.917
c NEW SOLUTION FOUND: 2258 @ 37.956
c NEW SOLUTION FOUND: 2257 @ 37.996
c NEW SOLUTION FOUND: 2256 @ 38.035
c NEW SOLUTION FOUND: 2255 @ 38.075
c NEW SOLUTION FOUND: 2254 @ 38.114
c NEW SOLUTION FOUND: 2253 @ 38.154
c NEW SOLUTION FOUND: 2252 @ 38.193
c NEW SOLUTION FOUND: 2251 @ 38.233
c NEW SOLUTION FOUND: 2250 @ 38.272
c NEW SOLUTION FOUND: 2249 @ 38.312
c NEW SOLUTION FOUND: 2248 @ 38.351
c NEW SOLUTION FOUND: 2247 @ 38.391
c NEW SOLUTION FOUND: 2246 @ 38.43
c NEW SOLUTION FOUND: 2245 @ 38.47
c NEW SOLUTION FOUND: 2244 @ 38.509
c NEW SOLUTION FOUND: 2243 @ 38.548
c NEW SOLUTION FOUND: 2242 @ 38.588
c NEW SOLUTION FOUND: 2241 @ 38.627
c NEW SOLUTION FOUND: 2240 @ 38.666
c NEW SOLUTION FOUND: 2239 @ 38.706
c NEW SOLUTION FOUND: 2238 @ 38.745
c NEW SOLUTION FOUND: 2237 @ 38.785
c NEW SOLUTION FOUND: 2236 @ 38.824
c NEW SOLUTION FOUND: 2235 @ 38.864
c NEW SOLUTION FOUND: 2234 @ 38.903
c NEW SOLUTION FOUND: 2233 @ 38.943
c NEW SOLUTION FOUND: 2232 @ 38.982
c NEW SOLUTION FOUND: 2231 @ 39.022
c NEW SOLUTION FOUND: 2230 @ 39.061
c NEW SOLUTION FOUND: 2229 @ 39.101
c NEW SOLUTION FOUND: 2228 @ 39.14
c NEW SOLUTION FOUND: 2227 @ 39.18
c NEW SOLUTION FOUND: 2226 @ 39.219
c NEW SOLUTION FOUND: 2225 @ 39.259
c NEW SOLUTION FOUND: 2224 @ 39.336
c NEW SOLUTION FOUND: 2223 @ 39.376
c NEW SOLUTION FOUND: 2222 @ 39.416
c NEW SOLUTION FOUND: 2221 @ 39.456
c NEW SOLUTION FOUND: 2220 @ 39.496
c NEW SOLUTION FOUND: 2219 @ 39.535
c NEW SOLUTION FOUND: 2218 @ 39.575
c NEW SOLUTION FOUND: 2217 @ 39.615
c NEW SOLUTION FOUND: 2216 @ 39.655
c NEW SOLUTION FOUND: 2215 @ 39.694
c NEW SOLUTION FOUND: 2214 @ 39.734
c NEW SOLUTION FOUND: 2213 @ 39.773
c NEW SOLUTION FOUND: 2212 @ 39.813
c NEW SOLUTION FOUND: 2211 @ 39.852
c NEW SOLUTION FOUND: 2210 @ 39.892
c NEW SOLUTION FOUND: 2209 @ 39.932
c NEW SOLUTION FOUND: 2208 @ 39.971
c NEW SOLUTION FOUND: 2207 @ 40.011
c NEW SOLUTION FOUND: 2206 @ 40.051
c NEW SOLUTION FOUND: 2205 @ 40.09
c NEW SOLUTION FOUND: 2204 @ 40.13
c NEW SOLUTION FOUND: 2203 @ 40.17
c NEW SOLUTION FOUND: 2202 @ 40.21
c NEW SOLUTION FOUND: 2201 @ 40.249
c NEW SOLUTION FOUND: 2200 @ 40.289
c NEW SOLUTION FOUND: 2199 @ 40.329
c NEW SOLUTION FOUND: 2198 @ 40.369
c NEW SOLUTION FOUND: 2197 @ 40.408
c NEW SOLUTION FOUND: 2196 @ 40.448
c NEW SOLUTION FOUND: 2195 @ 40.488
c NEW SOLUTION FOUND: 2194 @ 40.528
c NEW SOLUTION FOUND: 2193 @ 40.567
c NEW SOLUTION FOUND: 2192 @ 40.607
c NEW SOLUTION FOUND: 2191 @ 40.647
c NEW SOLUTION FOUND: 2190 @ 40.687
c NEW SOLUTION FOUND: 2189 @ 40.726
c NEW SOLUTION FOUND: 2188 @ 40.766
c NEW SOLUTION FOUND: 2187 @ 40.806
c NEW SOLUTION FOUND: 2186 @ 40.846
c NEW SOLUTION FOUND: 2185 @ 40.885
c NEW SOLUTION FOUND: 2184 @ 40.925
c NEW SOLUTION FOUND: 2183 @ 40.965
c NEW SOLUTION FOUND: 2182 @ 41.005
c NEW SOLUTION FOUND: 2181 @ 41.045
c NEW SOLUTION FOUND: 2180 @ 41.085
c NEW SOLUTION FOUND: 2179 @ 41.125
c NEW SOLUTION FOUND: 2178 @ 41.165
c NEW SOLUTION FOUND: 2177 @ 41.205
c NEW SOLUTION FOUND: 2176 @ 41.246
c NEW SOLUTION FOUND: 2175 @ 41.285
c NEW SOLUTION FOUND: 2174 @ 41.326
c NEW SOLUTION FOUND: 2173 @ 41.365
c NEW SOLUTION FOUND: 2172 @ 41.406
c NEW SOLUTION FOUND: 2171 @ 41.446
c NEW SOLUTION FOUND: 2170 @ 41.486
c NEW SOLUTION FOUND: 2169 @ 41.526
c NEW SOLUTION FOUND: 2168 @ 41.566
c NEW SOLUTION FOUND: 2167 @ 41.606
c NEW SOLUTION FOUND: 2166 @ 41.647
c NEW SOLUTION FOUND: 2165 @ 41.725
c NEW SOLUTION FOUND: 2164 @ 41.765
c NEW SOLUTION FOUND: 2163 @ 41.805
c NEW SOLUTION FOUND: 2162 @ 41.846
c NEW SOLUTION FOUND: 2161 @ 41.886
c NEW SOLUTION FOUND: 2160 @ 41.926
c NEW SOLUTION FOUND: 2159 @ 41.967
c NEW SOLUTION FOUND: 2158 @ 42.007
c NEW SOLUTION FOUND: 2157 @ 42.047
c NEW SOLUTION FOUND: 2156 @ 42.087
c NEW SOLUTION FOUND: 2155 @ 42.128
c NEW SOLUTION FOUND: 2154 @ 42.168
c NEW SOLUTION FOUND: 2153 @ 42.208
c NEW SOLUTION FOUND: 2152 @ 42.248
c NEW SOLUTION FOUND: 2151 @ 42.288
c NEW SOLUTION FOUND: 2150 @ 42.328
c NEW SOLUTION FOUND: 2149 @ 42.369
c NEW SOLUTION FOUND: 2148 @ 42.409
c NEW SOLUTION FOUND: 2147 @ 42.449
c NEW SOLUTION FOUND: 2146 @ 42.489
c NEW SOLUTION FOUND: 2145 @ 42.568
c NEW SOLUTION FOUND: 2144 @ 42.609
c NEW SOLUTION FOUND: 2143 @ 42.649
c NEW SOLUTION FOUND: 2142 @ 42.731
c NEW SOLUTION FOUND: 2141 @ 42.77
c NEW SOLUTION FOUND: 2140 @ 42.811
c NEW SOLUTION FOUND: 2139 @ 42.852
c NEW SOLUTION FOUND: 2138 @ 42.892
c NEW SOLUTION FOUND: 2137 @ 42.933
c NEW SOLUTION FOUND: 2136 @ 42.973
c NEW SOLUTION FOUND: 2135 @ 43.014
c NEW SOLUTION FOUND: 2134 @ 43.054
c NEW SOLUTION FOUND: 2133 @ 43.096
c NEW SOLUTION FOUND: 2132 @ 43.136
c NEW SOLUTION FOUND: 2131 @ 43.177
c NEW SOLUTION FOUND: 2130 @ 43.217
c NEW SOLUTION FOUND: 2129 @ 43.258
c NEW SOLUTION FOUND: 2128 @ 43.298
c NEW SOLUTION FOUND: 2127 @ 43.339
c NEW SOLUTION FOUND: 2126 @ 43.379
c NEW SOLUTION FOUND: 2125 @ 43.42
c NEW SOLUTION FOUND: 2124 @ 43.461
c NEW SOLUTION FOUND: 2123 @ 43.502
c NEW SOLUTION FOUND: 2122 @ 43.543
c NEW SOLUTION FOUND: 2121 @ 43.584
c NEW SOLUTION FOUND: 2120 @ 43.624
c NEW SOLUTION FOUND: 2119 @ 43.665
c NEW SOLUTION FOUND: 2118 @ 43.705
c NEW SOLUTION FOUND: 2117 @ 43.746
c NEW SOLUTION FOUND: 2116 @ 43.786
c NEW SOLUTION FOUND: 2115 @ 43.827
c NEW SOLUTION FOUND: 2114 @ 43.868
c NEW SOLUTION FOUND: 2113 @ 43.909
c NEW SOLUTION FOUND: 2112 @ 43.949
c NEW SOLUTION FOUND: 2111 @ 43.99
c NEW SOLUTION FOUND: 2110 @ 44.03
c NEW SOLUTION FOUND: 2109 @ 44.071
c NEW SOLUTION FOUND: 2108 @ 44.111
c NEW SOLUTION FOUND: 2107 @ 44.152
c NEW SOLUTION FOUND: 2106 @ 44.193
c NEW SOLUTION FOUND: 2105 @ 44.234
c NEW SOLUTION FOUND: 2104 @ 44.274
c NEW SOLUTION FOUND: 2103 @ 44.315
c NEW SOLUTION FOUND: 2102 @ 44.355
c NEW SOLUTION FOUND: 2101 @ 44.396
c NEW SOLUTION FOUND: 2100 @ 44.436
c NEW SOLUTION FOUND: 2099 @ 44.517
c NEW SOLUTION FOUND: 2098 @ 44.598
c NEW SOLUTION FOUND: 2097 @ 44.638
c NEW SOLUTION FOUND: 2096 @ 44.679
c NEW SOLUTION FOUND: 2095 @ 44.72
c NEW SOLUTION FOUND: 2094 @ 44.761
c NEW SOLUTION FOUND: 2093 @ 44.802
c NEW SOLUTION FOUND: 2092 @ 44.843
c NEW SOLUTION FOUND: 2091 @ 44.884
c NEW SOLUTION FOUND: 2090 @ 44.925
c NEW SOLUTION FOUND: 2089 @ 44.966
c NEW SOLUTION FOUND: 2088 @ 45.007
c NEW SOLUTION FOUND: 2087 @ 45.048
c NEW SOLUTION FOUND: 2086 @ 45.089
c NEW SOLUTION FOUND: 2085 @ 45.13
c NEW SOLUTION FOUND: 2084 @ 45.171
c NEW SOLUTION FOUND: 2083 @ 45.212
c NEW SOLUTION FOUND: 2082 @ 45.253
c NEW SOLUTION FOUND: 2081 @ 45.294
c NEW SOLUTION FOUND: 2080 @ 45.335
c NEW SOLUTION FOUND: 2079 @ 45.376
c NEW SOLUTION FOUND: 2078 @ 45.417
c NEW SOLUTION FOUND: 2077 @ 45.459
c NEW SOLUTION FOUND: 2076 @ 45.5
c NEW SOLUTION FOUND: 2075 @ 45.584
c NEW SOLUTION FOUND: 2074 @ 45.625
c NEW SOLUTION FOUND: 2073 @ 45.667
c NEW SOLUTION FOUND: 2072 @ 45.709
c NEW SOLUTION FOUND: 2071 @ 45.752
c NEW SOLUTION FOUND: 2070 @ 45.793
c NEW SOLUTION FOUND: 2069 @ 45.836
c NEW SOLUTION FOUND: 2068 @ 45.877
c NEW SOLUTION FOUND: 2067 @ 45.92
c NEW SOLUTION FOUND: 2066 @ 45.962
c NEW SOLUTION FOUND: 2065 @ 46.004
c NEW SOLUTION FOUND: 2064 @ 46.046
c NEW SOLUTION FOUND: 2063 @ 46.088
c NEW SOLUTION FOUND: 2062 @ 46.131
c NEW SOLUTION FOUND: 2061 @ 46.173
c NEW SOLUTION FOUND: 2060 @ 46.215
c NEW SOLUTION FOUND: 2059 @ 46.258
c NEW SOLUTION FOUND: 2058 @ 46.301
c NEW SOLUTION FOUND: 2057 @ 46.344
c NEW SOLUTION FOUND: 2056 @ 46.386
c NEW SOLUTION FOUND: 2055 @ 46.429
c NEW SOLUTION FOUND: 2054 @ 46.471
c NEW SOLUTION FOUND: 2053 @ 46.513
c NEW SOLUTION FOUND: 2052 @ 46.556
c NEW SOLUTION FOUND: 2051 @ 46.599
c NEW SOLUTION FOUND: 2050 @ 46.682
c NEW SOLUTION FOUND: 2049 @ 46.767
c NEW SOLUTION FOUND: 2048 @ 46.81
c NEW SOLUTION FOUND: 2047 @ 46.854
c NEW SOLUTION FOUND: 2046 @ 46.897
c NEW SOLUTION FOUND: 2045 @ 46.985
c NEW SOLUTION FOUND: 2044 @ 47.028
c NEW SOLUTION FOUND: 2043 @ 47.071
c NEW SOLUTION FOUND: 2042 @ 47.115
c NEW SOLUTION FOUND: 2041 @ 47.159
c NEW SOLUTION FOUND: 2040 @ 47.203
c NEW SOLUTION FOUND: 2039 @ 47.246
c NEW SOLUTION FOUND: 2038 @ 47.29
c NEW SOLUTION FOUND: 2037 @ 47.333
c NEW SOLUTION FOUND: 2036 @ 47.377
c NEW SOLUTION FOUND: 2035 @ 47.421
c NEW SOLUTION FOUND: 2034 @ 47.464
c NEW SOLUTION FOUND: 2033 @ 47.508
c NEW SOLUTION FOUND: 2032 @ 47.552
c NEW SOLUTION FOUND: 2031 @ 47.595
c NEW SOLUTION FOUND: 2030 @ 47.639
c NEW SOLUTION FOUND: 2029 @ 47.683
c NEW SOLUTION FOUND: 2028 @ 47.726
c NEW SOLUTION FOUND: 2027 @ 47.77
c NEW SOLUTION FOUND: 2026 @ 47.813
c NEW SOLUTION FOUND: 2025 @ 47.856
c NEW SOLUTION FOUND: 2024 @ 47.9
c NEW SOLUTION FOUND: 2023 @ 47.943
c NEW SOLUTION FOUND: 2022 @ 47.987
c NEW SOLUTION FOUND: 2021 @ 48.031
c NEW SOLUTION FOUND: 2020 @ 48.074
c NEW SOLUTION FOUND: 2019 @ 48.118
c NEW SOLUTION FOUND: 2018 @ 48.162
c NEW SOLUTION FOUND: 2017 @ 48.206
c NEW SOLUTION FOUND: 2016 @ 48.249
c NEW SOLUTION FOUND: 2015 @ 48.293
c NEW SOLUTION FOUND: 2014 @ 48.38
c NEW SOLUTION FOUND: 2013 @ 48.423
c NEW SOLUTION FOUND: 2012 @ 48.509
c NEW SOLUTION FOUND: 2011 @ 48.553
c NEW SOLUTION FOUND: 2010 @ 48.597
c NEW SOLUTION FOUND: 2009 @ 48.641
c NEW SOLUTION FOUND: 2008 @ 48.686
c NEW SOLUTION FOUND: 2007 @ 48.73
c NEW SOLUTION FOUND: 2006 @ 48.774
c NEW SOLUTION FOUND: 2005 @ 48.818
c NEW SOLUTION FOUND: 2004 @ 48.861
c NEW SOLUTION FOUND: 2003 @ 48.905
c NEW SOLUTION FOUND: 2002 @ 48.95
c NEW SOLUTION FOUND: 2001 @ 48.994
c NEW SOLUTION FOUND: 2000 @ 49.038
c NEW SOLUTION FOUND: 1999 @ 49.082
c NEW SOLUTION FOUND: 1998 @ 49.125
c NEW SOLUTION FOUND: 1997 @ 49.211
c NEW SOLUTION FOUND: 1996 @ 49.256
c NEW SOLUTION FOUND: 1995 @ 49.343
c NEW SOLUTION FOUND: 1994 @ 49.391
c NEW SOLUTION FOUND: 1993 @ 49.434
c NEW SOLUTION FOUND: 1992 @ 49.479
c NEW SOLUTION FOUND: 1991 @ 49.524
c NEW SOLUTION FOUND: 1990 @ 49.569
c NEW SOLUTION FOUND: 1989 @ 49.614
c NEW SOLUTION FOUND: 1988 @ 49.66
c NEW SOLUTION FOUND: 1987 @ 49.705
c NEW SOLUTION FOUND: 1986 @ 49.75
c NEW SOLUTION FOUND: 1985 @ 49.796
c NEW SOLUTION FOUND: 1984 @ 49.84
c NEW SOLUTION FOUND: 1983 @ 49.886
c NEW SOLUTION FOUND: 1982 @ 49.931
c NEW SOLUTION FOUND: 1981 @ 49.976
c NEW SOLUTION FOUND: 1980 @ 50.021
c NEW SOLUTION FOUND: 1979 @ 50.067
c NEW SOLUTION FOUND: 1978 @ 50.112
c NEW SOLUTION FOUND: 1977 @ 50.157
c NEW SOLUTION FOUND: 1976 @ 50.203
c NEW SOLUTION FOUND: 1975 @ 50.248
c NEW SOLUTION FOUND: 1974 @ 50.294
c NEW SOLUTION FOUND: 1973 @ 50.339
c NEW SOLUTION FOUND: 1972 @ 50.429
c NEW SOLUTION FOUND: 1971 @ 50.474
c NEW SOLUTION FOUND: 1970 @ 50.52
c NEW SOLUTION FOUND: 1969 @ 50.566
c NEW SOLUTION FOUND: 1968 @ 50.611
c NEW SOLUTION FOUND: 1967 @ 50.658
c NEW SOLUTION FOUND: 1966 @ 50.703
c NEW SOLUTION FOUND: 1965 @ 50.748
c NEW SOLUTION FOUND: 1964 @ 50.793
c NEW SOLUTION FOUND: 1963 @ 50.839
c NEW SOLUTION FOUND: 1962 @ 50.884
c NEW SOLUTION FOUND: 1961 @ 50.929
c NEW SOLUTION FOUND: 1960 @ 50.975
c NEW SOLUTION FOUND: 1959 @ 51.02
c NEW SOLUTION FOUND: 1958 @ 51.066
c NEW SOLUTION FOUND: 1957 @ 51.111
c NEW SOLUTION FOUND: 1956 @ 51.156
c NEW SOLUTION FOUND: 1955 @ 51.202
c NEW SOLUTION FOUND: 1954 @ 51.247
c NEW SOLUTION FOUND: 1953 @ 51.292
c NEW SOLUTION FOUND: 1952 @ 51.338
c NEW SOLUTION FOUND: 1951 @ 51.383
c NEW SOLUTION FOUND: 1950 @ 51.429
c NEW SOLUTION FOUND: 1949 @ 51.474
c NEW SOLUTION FOUND: 1948 @ 51.52
c NEW SOLUTION FOUND: 1947 @ 51.565
c NEW SOLUTION FOUND: 1946 @ 51.61
c NEW SOLUTION FOUND: 1945 @ 51.655
c NEW SOLUTION FOUND: 1944 @ 51.701
c NEW SOLUTION FOUND: 1943 @ 51.746
c NEW SOLUTION FOUND: 1942 @ 51.791
c NEW SOLUTION FOUND: 1941 @ 51.836
c NEW SOLUTION FOUND: 1940 @ 51.882
c NEW SOLUTION FOUND: 1939 @ 51.926
c NEW SOLUTION FOUND: 1938 @ 51.972
c NEW SOLUTION FOUND: 1937 @ 52.017
c NEW SOLUTION FOUND: 1936 @ 52.062
c NEW SOLUTION FOUND: 1935 @ 52.107
c NEW SOLUTION FOUND: 1934 @ 52.152
c NEW SOLUTION FOUND: 1933 @ 52.197
c NEW SOLUTION FOUND: 1932 @ 52.241
c NEW SOLUTION FOUND: 1931 @ 52.286
c NEW SOLUTION FOUND: 1930 @ 52.331
c NEW SOLUTION FOUND: 1929 @ 52.376
c NEW SOLUTION FOUND: 1928 @ 52.421
c NEW SOLUTION FOUND: 1927 @ 52.466
c NEW SOLUTION FOUND: 1926 @ 52.511
c NEW SOLUTION FOUND: 1925 @ 52.556
c NEW SOLUTION FOUND: 1924 @ 52.601
c NEW SOLUTION FOUND: 1923 @ 52.646
c NEW SOLUTION FOUND: 1922 @ 52.69
c NEW SOLUTION FOUND: 1921 @ 52.736
c NEW SOLUTION FOUND: 1920 @ 52.781
c NEW SOLUTION FOUND: 1919 @ 52.825
c NEW SOLUTION FOUND: 1918 @ 52.87
c NEW SOLUTION FOUND: 1917 @ 52.915
c NEW SOLUTION FOUND: 1916 @ 52.96
c NEW SOLUTION FOUND: 1915 @ 53.004
c NEW SOLUTION FOUND: 1914 @ 53.049
c NEW SOLUTION FOUND: 1913 @ 53.094
c NEW SOLUTION FOUND: 1912 @ 53.139
c NEW SOLUTION FOUND: 1911 @ 53.183
c NEW SOLUTION FOUND: 1910 @ 53.228
c NEW SOLUTION FOUND: 1909 @ 53.272
c NEW SOLUTION FOUND: 1908 @ 53.316
c NEW SOLUTION FOUND: 1907 @ 53.363
c NEW SOLUTION FOUND: 1906 @ 53.408
c NEW SOLUTION FOUND: 1905 @ 53.454
c NEW SOLUTION FOUND: 1904 @ 53.499
c NEW SOLUTION FOUND: 1903 @ 53.545
c NEW SOLUTION FOUND: 1902 @ 53.59
c NEW SOLUTION FOUND: 1901 @ 53.635
c NEW SOLUTION FOUND: 1900 @ 53.681
c NEW SOLUTION FOUND: 1899 @ 53.726
c NEW SOLUTION FOUND: 1898 @ 53.771
c NEW SOLUTION FOUND: 1897 @ 53.816
c NEW SOLUTION FOUND: 1896 @ 53.861
c NEW SOLUTION FOUND: 1895 @ 53.907
c NEW SOLUTION FOUND: 1894 @ 53.952
c NEW SOLUTION FOUND: 1893 @ 53.997
c NEW SOLUTION FOUND: 1892 @ 54.042
c NEW SOLUTION FOUND: 1891 @ 54.087
c NEW SOLUTION FOUND: 1890 @ 54.132
c NEW SOLUTION FOUND: 1889 @ 54.177
c NEW SOLUTION FOUND: 1888 @ 54.222
c NEW SOLUTION FOUND: 1887 @ 54.267
c NEW SOLUTION FOUND: 1886 @ 54.312
c NEW SOLUTION FOUND: 1885 @ 54.357
c NEW SOLUTION FOUND: 1884 @ 54.402
c NEW SOLUTION FOUND: 1883 @ 54.447
c NEW SOLUTION FOUND: 1882 @ 54.492
c NEW SOLUTION FOUND: 1881 @ 54.537
c NEW SOLUTION FOUND: 1880 @ 54.582
c NEW SOLUTION FOUND: 1879 @ 54.627
c NEW SOLUTION FOUND: 1878 @ 54.673
c NEW SOLUTION FOUND: 1877 @ 54.718
c NEW SOLUTION FOUND: 1876 @ 54.763
c NEW SOLUTION FOUND: 1875 @ 54.808
c NEW SOLUTION FOUND: 1874 @ 54.853
c NEW SOLUTION FOUND: 1873 @ 54.898
c NEW SOLUTION FOUND: 1872 @ 54.943
c NEW SOLUTION FOUND: 1871 @ 54.988
c NEW SOLUTION FOUND: 1870 @ 55.033
c NEW SOLUTION FOUND: 1869 @ 55.078
c NEW SOLUTION FOUND: 1868 @ 55.123
c NEW SOLUTION FOUND: 1867 @ 55.168
c NEW SOLUTION FOUND: 1866 @ 55.213
c NEW SOLUTION FOUND: 1865 @ 55.258
c NEW SOLUTION FOUND: 1864 @ 55.303
c NEW SOLUTION FOUND: 1863 @ 55.348
c NEW SOLUTION FOUND: 1862 @ 55.393
c NEW SOLUTION FOUND: 1861 @ 55.438
c NEW SOLUTION FOUND: 1860 @ 55.484
c NEW SOLUTION FOUND: 1859 @ 55.528
c NEW SOLUTION FOUND: 1858 @ 55.573
c NEW SOLUTION FOUND: 1857 @ 55.618
c NEW SOLUTION FOUND: 1856 @ 55.664
c NEW SOLUTION FOUND: 1855 @ 55.709
c NEW SOLUTION FOUND: 1854 @ 55.754
c NEW SOLUTION FOUND: 1853 @ 55.8
c NEW SOLUTION FOUND: 1852 @ 55.844
c NEW SOLUTION FOUND: 1851 @ 55.891
c NEW SOLUTION FOUND: 1850 @ 55.936
c NEW SOLUTION FOUND: 1849 @ 55.981
c NEW SOLUTION FOUND: 1848 @ 56.026
c NEW SOLUTION FOUND: 1847 @ 56.071
c NEW SOLUTION FOUND: 1846 @ 56.116
c NEW SOLUTION FOUND: 1845 @ 56.161
c NEW SOLUTION FOUND: 1844 @ 56.207
c NEW SOLUTION FOUND: 1843 @ 56.252
c NEW SOLUTION FOUND: 1842 @ 56.297
c NEW SOLUTION FOUND: 1841 @ 56.342
c NEW SOLUTION FOUND: 1840 @ 56.387
c NEW SOLUTION FOUND: 1839 @ 56.432
c NEW SOLUTION FOUND: 1838 @ 56.477
c NEW SOLUTION FOUND: 1837 @ 56.522
c NEW SOLUTION FOUND: 1836 @ 56.568
c NEW SOLUTION FOUND: 1835 @ 56.613
c NEW SOLUTION FOUND: 1834 @ 56.658
c NEW SOLUTION FOUND: 1833 @ 56.704
c NEW SOLUTION FOUND: 1832 @ 56.749
c NEW SOLUTION FOUND: 1831 @ 56.794
c NEW SOLUTION FOUND: 1830 @ 56.839
c NEW SOLUTION FOUND: 1829 @ 56.884
c NEW SOLUTION FOUND: 1828 @ 56.929
c NEW SOLUTION FOUND: 1827 @ 56.974
c NEW SOLUTION FOUND: 1826 @ 57.019
c NEW SOLUTION FOUND: 1825 @ 57.064
c NEW SOLUTION FOUND: 1824 @ 57.109
c NEW SOLUTION FOUND: 1823 @ 57.154
c NEW SOLUTION FOUND: 1822 @ 57.2
c NEW SOLUTION FOUND: 1821 @ 57.244
c NEW SOLUTION FOUND: 1820 @ 57.29
c NEW SOLUTION FOUND: 1819 @ 57.335
c NEW SOLUTION FOUND: 1818 @ 57.38
c NEW SOLUTION FOUND: 1817 @ 57.425
c NEW SOLUTION FOUND: 1816 @ 57.471
c NEW SOLUTION FOUND: 1815 @ 57.516
c NEW SOLUTION FOUND: 1814 @ 57.561
c NEW SOLUTION FOUND: 1813 @ 57.606
c NEW SOLUTION FOUND: 1812 @ 57.651
c NEW SOLUTION FOUND: 1811 @ 57.696
c NEW SOLUTION FOUND: 1810 @ 57.741
c NEW SOLUTION FOUND: 1809 @ 57.786
c NEW SOLUTION FOUND: 1808 @ 57.831
c NEW SOLUTION FOUND: 1807 @ 57.877
c NEW SOLUTION FOUND: 1806 @ 57.922
c NEW SOLUTION FOUND: 1805 @ 57.967
c NEW SOLUTION FOUND: 1804 @ 58.012
c NEW SOLUTION FOUND: 1803 @ 58.057
c NEW SOLUTION FOUND: 1802 @ 58.102
c NEW SOLUTION FOUND: 1801 @ 58.147
c NEW SOLUTION FOUND: 1800 @ 58.192
c NEW SOLUTION FOUND: 1799 @ 58.237
c NEW SOLUTION FOUND: 1798 @ 58.282
c NEW SOLUTION FOUND: 1797 @ 58.328
c NEW SOLUTION FOUND: 1796 @ 58.373
c NEW SOLUTION FOUND: 1795 @ 58.461
c NEW SOLUTION FOUND: 1794 @ 58.507
c NEW SOLUTION FOUND: 1793 @ 58.552
c NEW SOLUTION FOUND: 1792 @ 58.598
c NEW SOLUTION FOUND: 1791 @ 58.643
c NEW SOLUTION FOUND: 1790 @ 58.688
c NEW SOLUTION FOUND: 1789 @ 58.733
c NEW SOLUTION FOUND: 1788 @ 58.779
c NEW SOLUTION FOUND: 1787 @ 58.824
c NEW SOLUTION FOUND: 1786 @ 58.869
c NEW SOLUTION FOUND: 1785 @ 58.914
c NEW SOLUTION FOUND: 1784 @ 58.96
c NEW SOLUTION FOUND: 1783 @ 59.006
c NEW SOLUTION FOUND: 1782 @ 59.051
c NEW SOLUTION FOUND: 1781 @ 59.097
c NEW SOLUTION FOUND: 1780 @ 59.142
c NEW SOLUTION FOUND: 1779 @ 59.188
c NEW SOLUTION FOUND: 1778 @ 59.233
c NEW SOLUTION FOUND: 1777 @ 59.279
c NEW SOLUTION FOUND: 1776 @ 59.325
c NEW SOLUTION FOUND: 1775 @ 59.371
c NEW SOLUTION FOUND: 1774 @ 59.416
c NEW SOLUTION FOUND: 1773 @ 59.461
c NEW SOLUTION FOUND: 1772 @ 59.507
c NEW SOLUTION FOUND: 1771 @ 59.552
c NEW SOLUTION FOUND: 1770 @ 59.598
c NEW SOLUTION FOUND: 1769 @ 59.643
c NEW SOLUTION FOUND: 1768 @ 59.688
c NEW SOLUTION FOUND: 1767 @ 59.733
c NEW SOLUTION FOUND: 1766 @ 59.778
c NEW SOLUTION FOUND: 1765 @ 59.824
c NEW SOLUTION FOUND: 1764 @ 59.868
c NEW SOLUTION FOUND: 1763 @ 59.913
c NEW SOLUTION FOUND: 1762 @ 59.958
c NEW SOLUTION FOUND: 1761 @ 60.003
c NEW SOLUTION FOUND: 1760 @ 60.048
c NEW SOLUTION FOUND: 1759 @ 60.093
c NEW SOLUTION FOUND: 1758 @ 60.138
c NEW SOLUTION FOUND: 1757 @ 60.183
c NEW SOLUTION FOUND: 1756 @ 60.228
c NEW SOLUTION FOUND: 1755 @ 60.316
c NEW SOLUTION FOUND: 1754 @ 60.361
c NEW SOLUTION FOUND: 1753 @ 60.406
c NEW SOLUTION FOUND: 1752 @ 60.452
c NEW SOLUTION FOUND: 1751 @ 60.54
c NEW SOLUTION FOUND: 1750 @ 60.586
c NEW SOLUTION FOUND: 1749 @ 60.631
c NEW SOLUTION FOUND: 1748 @ 60.677
c NEW SOLUTION FOUND: 1747 @ 60.723
c NEW SOLUTION FOUND: 1746 @ 60.767
c NEW SOLUTION FOUND: 1745 @ 60.815
c NEW SOLUTION FOUND: 1744 @ 60.861
c NEW SOLUTION FOUND: 1743 @ 60.907
c NEW SOLUTION FOUND: 1742 @ 60.954
c NEW SOLUTION FOUND: 1741 @ 61.045
c NEW SOLUTION FOUND: 1740 @ 61.093
c NEW SOLUTION FOUND: 1739 @ 61.139
c NEW SOLUTION FOUND: 1738 @ 61.186
c NEW SOLUTION FOUND: 1737 @ 61.233
c NEW SOLUTION FOUND: 1736 @ 61.324
c NEW SOLUTION FOUND: 1735 @ 61.371
c NEW SOLUTION FOUND: 1734 @ 61.418
c NEW SOLUTION FOUND: 1733 @ 61.464
c NEW SOLUTION FOUND: 1732 @ 61.511
c NEW SOLUTION FOUND: 1731 @ 61.558
c NEW SOLUTION FOUND: 1730 @ 61.605
c NEW SOLUTION FOUND: 1729 @ 61.651
c NEW SOLUTION FOUND: 1728 @ 61.698
c NEW SOLUTION FOUND: 1727 @ 61.745
c NEW SOLUTION FOUND: 1726 @ 61.792
c NEW SOLUTION FOUND: 1725 @ 61.839
c NEW SOLUTION FOUND: 1724 @ 61.886
c NEW SOLUTION FOUND: 1723 @ 61.932
c NEW SOLUTION FOUND: 1722 @ 61.979
c NEW SOLUTION FOUND: 1721 @ 62.026
c NEW SOLUTION FOUND: 1720 @ 62.073
c NEW SOLUTION FOUND: 1719 @ 62.12
c NEW SOLUTION FOUND: 1718 @ 62.166
c NEW SOLUTION FOUND: 1717 @ 62.214
c NEW SOLUTION FOUND: 1716 @ 62.261
c NEW SOLUTION FOUND: 1715 @ 62.308
c NEW SOLUTION FOUND: 1714 @ 62.355
c NEW SOLUTION FOUND: 1713 @ 62.402
c NEW SOLUTION FOUND: 1712 @ 62.448
c NEW SOLUTION FOUND: 1711 @ 62.495
c NEW SOLUTION FOUND: 1710 @ 62.542
c NEW SOLUTION FOUND: 1709 @ 62.589
c NEW SOLUTION FOUND: 1708 @ 62.636
c NEW SOLUTION FOUND: 1707 @ 62.683
c NEW SOLUTION FOUND: 1706 @ 62.731
c NEW SOLUTION FOUND: 1705 @ 62.778
c NEW SOLUTION FOUND: 1704 @ 62.826
c NEW SOLUTION FOUND: 1703 @ 62.872
c NEW SOLUTION FOUND: 1702 @ 62.919
c NEW SOLUTION FOUND: 1701 @ 62.966
c NEW SOLUTION FOUND: 1700 @ 63.013
c NEW SOLUTION FOUND: 1699 @ 63.06
c NEW SOLUTION FOUND: 1698 @ 63.107
c NEW SOLUTION FOUND: 1697 @ 63.153
c NEW SOLUTION FOUND: 1696 @ 63.2
c NEW SOLUTION FOUND: 1695 @ 63.247
c NEW SOLUTION FOUND: 1694 @ 63.294
c NEW SOLUTION FOUND: 1693 @ 63.387
c NEW SOLUTION FOUND: 1692 @ 63.434
c NEW SOLUTION FOUND: 1691 @ 63.481
c NEW SOLUTION FOUND: 1690 @ 63.528
c NEW SOLUTION FOUND: 1689 @ 63.575
c NEW SOLUTION FOUND: 1688 @ 63.623
c NEW SOLUTION FOUND: 1687 @ 63.669
c NEW SOLUTION FOUND: 1686 @ 63.717
c NEW SOLUTION FOUND: 1685 @ 63.764
c NEW SOLUTION FOUND: 1684 @ 63.811
c NEW SOLUTION FOUND: 1683 @ 63.858
c NEW SOLUTION FOUND: 1682 @ 63.905
c NEW SOLUTION FOUND: 1681 @ 63.952
c NEW SOLUTION FOUND: 1680 @ 63.999
c NEW SOLUTION FOUND: 1679 @ 64.046
c NEW SOLUTION FOUND: 1678 @ 64.093
c NEW SOLUTION FOUND: 1677 @ 64.14
c NEW SOLUTION FOUND: 1676 @ 64.187
c NEW SOLUTION FOUND: 1675 @ 64.234
c NEW SOLUTION FOUND: 1674 @ 64.282
c NEW SOLUTION FOUND: 1673 @ 64.329
c NEW SOLUTION FOUND: 1672 @ 64.376
c NEW SOLUTION FOUND: 1671 @ 64.424
c NEW SOLUTION FOUND: 1670 @ 64.471
c NEW SOLUTION FOUND: 1669 @ 64.518
c NEW SOLUTION FOUND: 1668 @ 64.565
c NEW SOLUTION FOUND: 1667 @ 64.612
c NEW SOLUTION FOUND: 1666 @ 64.659
c NEW SOLUTION FOUND: 1665 @ 64.706
c NEW SOLUTION FOUND: 1664 @ 64.753
c NEW SOLUTION FOUND: 1663 @ 64.8
c NEW SOLUTION FOUND: 1662 @ 64.848
c NEW SOLUTION FOUND: 1661 @ 64.895
c NEW SOLUTION FOUND: 1660 @ 64.942
c NEW SOLUTION FOUND: 1659 @ 64.989
c NEW SOLUTION FOUND: 1658 @ 65.037
c NEW SOLUTION FOUND: 1657 @ 65.084
c NEW SOLUTION FOUND: 1656 @ 65.13
c NEW SOLUTION FOUND: 1655 @ 65.177
c NEW SOLUTION FOUND: 1654 @ 65.224
c NEW SOLUTION FOUND: 1653 @ 65.271
c NEW SOLUTION FOUND: 1652 @ 65.318
c NEW SOLUTION FOUND: 1651 @ 65.366
c NEW SOLUTION FOUND: 1650 @ 65.413
c NEW SOLUTION FOUND: 1649 @ 65.46
c NEW SOLUTION FOUND: 1648 @ 65.508
c NEW SOLUTION FOUND: 1647 @ 65.554
c NEW SOLUTION FOUND: 1646 @ 65.602
c NEW SOLUTION FOUND: 1645 @ 65.649
c NEW SOLUTION FOUND: 1644 @ 65.696
c NEW SOLUTION FOUND: 1643 @ 65.743
c NEW SOLUTION FOUND: 1642 @ 65.79
c NEW SOLUTION FOUND: 1641 @ 65.837
c NEW SOLUTION FOUND: 1640 @ 65.885
c NEW SOLUTION FOUND: 1639 @ 65.931
c NEW SOLUTION FOUND: 1638 @ 65.979
c NEW SOLUTION FOUND: 1637 @ 66.026
c NEW SOLUTION FOUND: 1636 @ 66.073
c NEW SOLUTION FOUND: 1635 @ 66.12
c NEW SOLUTION FOUND: 1634 @ 66.167
c NEW SOLUTION FOUND: 1633 @ 66.214
c NEW SOLUTION FOUND: 1632 @ 66.262
c NEW SOLUTION FOUND: 1631 @ 66.308
c NEW SOLUTION FOUND: 1630 @ 66.356
c NEW SOLUTION FOUND: 1629 @ 66.403
c NEW SOLUTION FOUND: 1628 @ 66.451
c NEW SOLUTION FOUND: 1627 @ 66.543
c NEW SOLUTION FOUND: 1626 @ 66.589
c NEW SOLUTION FOUND: 1625 @ 66.637
c NEW SOLUTION FOUND: 1624 @ 66.684
c NEW SOLUTION FOUND: 1623 @ 66.732
c NEW SOLUTION FOUND: 1622 @ 66.779
c NEW SOLUTION FOUND: 1621 @ 66.826
c NEW SOLUTION FOUND: 1620 @ 66.873
c NEW SOLUTION FOUND: 1619 @ 66.921
c NEW SOLUTION FOUND: 1618 @ 66.968
c NEW SOLUTION FOUND: 1617 @ 67.016
c NEW SOLUTION FOUND: 1616 @ 67.062
c NEW SOLUTION FOUND: 1615 @ 67.11
c NEW SOLUTION FOUND: 1614 @ 67.157
c NEW SOLUTION FOUND: 1613 @ 67.205
c NEW SOLUTION FOUND: 1612 @ 67.252
c NEW SOLUTION FOUND: 1611 @ 67.299
c NEW SOLUTION FOUND: 1610 @ 67.346
c NEW SOLUTION FOUND: 1609 @ 67.394
c NEW SOLUTION FOUND: 1608 @ 67.442
c NEW SOLUTION FOUND: 1607 @ 67.49
c NEW SOLUTION FOUND: 1606 @ 67.537
c NEW SOLUTION FOUND: 1605 @ 67.585
c NEW SOLUTION FOUND: 1604 @ 67.633
c NEW SOLUTION FOUND: 1603 @ 67.681
c NEW SOLUTION FOUND: 1602 @ 67.728
c NEW SOLUTION FOUND: 1601 @ 67.776
c NEW SOLUTION FOUND: 1600 @ 67.824
c NEW SOLUTION FOUND: 1599 @ 67.871
c NEW SOLUTION FOUND: 1598 @ 67.918
c NEW SOLUTION FOUND: 1597 @ 67.966
c NEW SOLUTION FOUND: 1596 @ 68.013
c NEW SOLUTION FOUND: 1595 @ 68.061
c NEW SOLUTION FOUND: 1594 @ 68.11
c NEW SOLUTION FOUND: 1593 @ 68.157
c NEW SOLUTION FOUND: 1592 @ 68.205
c NEW SOLUTION FOUND: 1591 @ 68.253
c NEW SOLUTION FOUND: 1590 @ 68.3
c NEW SOLUTION FOUND: 1589 @ 68.348
c NEW SOLUTION FOUND: 1588 @ 68.396
c NEW SOLUTION FOUND: 1587 @ 68.443
c NEW SOLUTION FOUND: 1586 @ 68.491
c NEW SOLUTION FOUND: 1585 @ 68.54
c NEW SOLUTION FOUND: 1584 @ 68.587
c NEW SOLUTION FOUND: 1583 @ 68.635
c NEW SOLUTION FOUND: 1582 @ 68.682
c NEW SOLUTION FOUND: 1581 @ 68.73
c NEW SOLUTION FOUND: 1580 @ 68.777
c NEW SOLUTION FOUND: 1579 @ 68.825
c NEW SOLUTION FOUND: 1578 @ 68.873
c NEW SOLUTION FOUND: 1577 @ 68.92
c NEW SOLUTION FOUND: 1576 @ 68.968
c NEW SOLUTION FOUND: 1575 @ 69.016
c NEW SOLUTION FOUND: 1574 @ 69.064
c NEW SOLUTION FOUND: 1573 @ 69.111
c NEW SOLUTION FOUND: 1572 @ 69.159
c NEW SOLUTION FOUND: 1571 @ 69.207
c NEW SOLUTION FOUND: 1570 @ 69.255
c NEW SOLUTION FOUND: 1569 @ 69.302
c NEW SOLUTION FOUND: 1568 @ 69.351
c NEW SOLUTION FOUND: 1567 @ 69.399
c NEW SOLUTION FOUND: 1566 @ 69.447
c NEW SOLUTION FOUND: 1565 @ 69.495
c NEW SOLUTION FOUND: 1564 @ 69.543
c NEW SOLUTION FOUND: 1563 @ 69.591
c NEW SOLUTION FOUND: 1562 @ 69.638
c NEW SOLUTION FOUND: 1561 @ 69.687
c NEW SOLUTION FOUND: 1560 @ 69.734
c NEW SOLUTION FOUND: 1559 @ 69.783
c NEW SOLUTION FOUND: 1558 @ 69.831
c NEW SOLUTION FOUND: 1557 @ 69.879
c NEW SOLUTION FOUND: 1556 @ 69.926
c NEW SOLUTION FOUND: 1555 @ 69.974
c NEW SOLUTION FOUND: 1554 @ 70.021
c NEW SOLUTION FOUND: 1553 @ 70.068
c NEW SOLUTION FOUND: 1552 @ 70.115
c NEW SOLUTION FOUND: 1551 @ 70.163
c NEW SOLUTION FOUND: 1550 @ 70.211
c NEW SOLUTION FOUND: 1549 @ 70.259
c NEW SOLUTION FOUND: 1548 @ 70.306
c NEW SOLUTION FOUND: 1547 @ 70.354
c NEW SOLUTION FOUND: 1546 @ 70.401
c NEW SOLUTION FOUND: 1545 @ 70.448
c NEW SOLUTION FOUND: 1544 @ 70.496
c NEW SOLUTION FOUND: 1543 @ 70.544
c NEW SOLUTION FOUND: 1542 @ 70.592
c NEW SOLUTION FOUND: 1541 @ 70.64
c NEW SOLUTION FOUND: 1540 @ 70.688
c NEW SOLUTION FOUND: 1539 @ 70.736
c NEW SOLUTION FOUND: 1538 @ 70.784
c NEW SOLUTION FOUND: 1537 @ 70.832
c NEW SOLUTION FOUND: 1536 @ 70.88
c NEW SOLUTION FOUND: 1535 @ 70.927
c NEW SOLUTION FOUND: 1534 @ 70.975
c NEW SOLUTION FOUND: 1533 @ 71.023
c NEW SOLUTION FOUND: 1532 @ 71.07
c NEW SOLUTION FOUND: 1531 @ 71.118
c NEW SOLUTION FOUND: 1530 @ 71.166
c NEW SOLUTION FOUND: 1529 @ 71.214
c NEW SOLUTION FOUND: 1528 @ 71.262
c NEW SOLUTION FOUND: 1527 @ 71.309
c NEW SOLUTION FOUND: 1526 @ 71.357
c NEW SOLUTION FOUND: 1525 @ 71.405
c NEW SOLUTION FOUND: 1524 @ 71.453
c NEW SOLUTION FOUND: 1523 @ 71.5
c NEW SOLUTION FOUND: 1522 @ 71.548
c NEW SOLUTION FOUND: 1521 @ 71.595
c NEW SOLUTION FOUND: 1520 @ 71.643
c NEW SOLUTION FOUND: 1519 @ 71.691
c NEW SOLUTION FOUND: 1518 @ 71.738
c NEW SOLUTION FOUND: 1517 @ 71.786
c NEW SOLUTION FOUND: 1516 @ 71.834
c NEW SOLUTION FOUND: 1515 @ 71.883
c NEW SOLUTION FOUND: 1514 @ 71.93
c NEW SOLUTION FOUND: 1513 @ 71.978
c NEW SOLUTION FOUND: 1512 @ 72.026
c NEW SOLUTION FOUND: 1511 @ 72.074
c NEW SOLUTION FOUND: 1510 @ 72.122
c NEW SOLUTION FOUND: 1509 @ 72.169
c NEW SOLUTION FOUND: 1508 @ 72.217
c NEW SOLUTION FOUND: 1507 @ 72.265
c NEW SOLUTION FOUND: 1506 @ 72.312
c NEW SOLUTION FOUND: 1505 @ 72.36
c NEW SOLUTION FOUND: 1504 @ 72.407
c NEW SOLUTION FOUND: 1503 @ 72.455
c NEW SOLUTION FOUND: 1502 @ 72.503
c NEW SOLUTION FOUND: 1501 @ 72.551
c NEW SOLUTION FOUND: 1500 @ 72.599
c NEW SOLUTION FOUND: 1499 @ 72.647
c NEW SOLUTION FOUND: 1498 @ 72.694
c NEW SOLUTION FOUND: 1497 @ 72.742
c NEW SOLUTION FOUND: 1496 @ 72.79
c NEW SOLUTION FOUND: 1495 @ 72.838
c NEW SOLUTION FOUND: 1494 @ 72.886
c NEW SOLUTION FOUND: 1493 @ 72.934
c NEW SOLUTION FOUND: 1492 @ 72.982
c NEW SOLUTION FOUND: 1491 @ 73.03
c NEW SOLUTION FOUND: 1490 @ 73.079
c NEW SOLUTION FOUND: 1489 @ 73.127
c NEW SOLUTION FOUND: 1488 @ 73.176
c NEW SOLUTION FOUND: 1487 @ 73.225
c NEW SOLUTION FOUND: 1486 @ 73.32
c NEW SOLUTION FOUND: 1485 @ 73.367
c NEW SOLUTION FOUND: 1484 @ 73.416
c NEW SOLUTION FOUND: 1483 @ 73.464
c NEW SOLUTION FOUND: 1482 @ 73.513
c NEW SOLUTION FOUND: 1481 @ 73.561
c NEW SOLUTION FOUND: 1480 @ 73.609
c NEW SOLUTION FOUND: 1479 @ 73.657
c NEW SOLUTION FOUND: 1478 @ 73.705
c NEW SOLUTION FOUND: 1477 @ 73.799
c NEW SOLUTION FOUND: 1476 @ 73.848
c NEW SOLUTION FOUND: 1475 @ 73.896
c NEW SOLUTION FOUND: 1474 @ 73.944
c NEW SOLUTION FOUND: 1473 @ 73.993
c NEW SOLUTION FOUND: 1472 @ 74.087
c NEW SOLUTION FOUND: 1471 @ 74.136
c NEW SOLUTION FOUND: 1470 @ 74.185
c NEW SOLUTION FOUND: 1469 @ 74.233
c NEW SOLUTION FOUND: 1468 @ 74.282
c NEW SOLUTION FOUND: 1467 @ 74.331
c NEW SOLUTION FOUND: 1466 @ 74.38
c NEW SOLUTION FOUND: 1465 @ 74.428
c NEW SOLUTION FOUND: 1464 @ 74.477
c NEW SOLUTION FOUND: 1463 @ 74.525
c NEW SOLUTION FOUND: 1462 @ 74.574
c NEW SOLUTION FOUND: 1461 @ 74.625
c NEW SOLUTION FOUND: 1460 @ 74.673
c NEW SOLUTION FOUND: 1459 @ 74.722
c NEW SOLUTION FOUND: 1458 @ 74.772
c NEW SOLUTION FOUND: 1457 @ 74.821
c NEW SOLUTION FOUND: 1456 @ 74.871
c NEW SOLUTION FOUND: 1455 @ 74.92
c NEW SOLUTION FOUND: 1454 @ 75.016
c NEW SOLUTION FOUND: 1453 @ 75.065
c NEW SOLUTION FOUND: 1452 @ 75.115
c NEW SOLUTION FOUND: 1451 @ 75.164
c NEW SOLUTION FOUND: 1450 @ 75.213
c NEW SOLUTION FOUND: 1449 @ 75.263
c NEW SOLUTION FOUND: 1448 @ 75.313
c NEW SOLUTION FOUND: 1447 @ 75.363
c NEW SOLUTION FOUND: 1446 @ 75.412
c NEW SOLUTION FOUND: 1445 @ 75.463
c NEW SOLUTION FOUND: 1444 @ 75.512
c NEW SOLUTION FOUND: 1443 @ 75.562
c NEW SOLUTION FOUND: 1442 @ 75.612
c NEW SOLUTION FOUND: 1441 @ 75.662
c NEW SOLUTION FOUND: 1440 @ 75.712
c NEW SOLUTION FOUND: 1439 @ 75.762
c NEW SOLUTION FOUND: 1438 @ 75.811
c NEW SOLUTION FOUND: 1437 @ 75.861
c NEW SOLUTION FOUND: 1436 @ 75.911
c NEW SOLUTION FOUND: 1435 @ 76.008
c NEW SOLUTION FOUND: 1434 @ 76.058
c NEW SOLUTION FOUND: 1433 @ 76.109
c NEW SOLUTION FOUND: 1432 @ 76.159
c NEW SOLUTION FOUND: 1431 @ 76.209
c NEW SOLUTION FOUND: 1430 @ 76.26
c NEW SOLUTION FOUND: 1429 @ 76.31
c NEW SOLUTION FOUND: 1428 @ 76.361
c NEW SOLUTION FOUND: 1427 @ 76.412
c NEW SOLUTION FOUND: 1426 @ 76.462
c NEW SOLUTION FOUND: 1425 @ 76.513
c NEW SOLUTION FOUND: 1424 @ 76.563
c NEW SOLUTION FOUND: 1423 @ 76.614
c NEW SOLUTION FOUND: 1422 @ 76.664
c NEW SOLUTION FOUND: 1421 @ 76.714
c NEW SOLUTION FOUND: 1420 @ 76.765
c NEW SOLUTION FOUND: 1419 @ 76.815
c NEW SOLUTION FOUND: 1418 @ 76.865
c NEW SOLUTION FOUND: 1417 @ 76.915
c NEW SOLUTION FOUND: 1416 @ 76.965
c NEW SOLUTION FOUND: 1415 @ 77.016
c NEW SOLUTION FOUND: 1414 @ 77.066
c NEW SOLUTION FOUND: 1413 @ 77.117
c NEW SOLUTION FOUND: 1412 @ 77.167
c NEW SOLUTION FOUND: 1411 @ 77.218
c NEW SOLUTION FOUND: 1410 @ 77.268
c NEW SOLUTION FOUND: 1409 @ 77.318
c NEW SOLUTION FOUND: 1408 @ 77.369
c NEW SOLUTION FOUND: 1407 @ 77.419
c NEW SOLUTION FOUND: 1406 @ 77.52
c NEW SOLUTION FOUND: 1405 @ 77.571
c NEW SOLUTION FOUND: 1404 @ 77.622
c NEW SOLUTION FOUND: 1403 @ 77.673
c NEW SOLUTION FOUND: 1402 @ 77.723
c NEW SOLUTION FOUND: 1401 @ 77.774
c NEW SOLUTION FOUND: 1400 @ 77.825
c NEW SOLUTION FOUND: 1399 @ 77.877
c NEW SOLUTION FOUND: 1398 @ 77.928
c NEW SOLUTION FOUND: 1397 @ 77.979
c NEW SOLUTION FOUND: 1396 @ 78.03
c NEW SOLUTION FOUND: 1395 @ 78.081
c NEW SOLUTION FOUND: 1394 @ 78.131
c NEW SOLUTION FOUND: 1393 @ 78.183
c NEW SOLUTION FOUND: 1392 @ 78.234
c NEW SOLUTION FOUND: 1391 @ 78.285
c NEW SOLUTION FOUND: 1390 @ 78.336
c NEW SOLUTION FOUND: 1389 @ 78.387
c NEW SOLUTION FOUND: 1388 @ 78.438
c NEW SOLUTION FOUND: 1387 @ 78.49
c NEW SOLUTION FOUND: 1386 @ 78.54
c NEW SOLUTION FOUND: 1385 @ 78.591
c NEW SOLUTION FOUND: 1384 @ 78.642
c NEW SOLUTION FOUND: 1383 @ 78.694
c NEW SOLUTION FOUND: 1382 @ 78.745
c NEW SOLUTION FOUND: 1381 @ 78.797
c NEW SOLUTION FOUND: 1380 @ 78.848
c NEW SOLUTION FOUND: 1379 @ 78.899
c NEW SOLUTION FOUND: 1378 @ 78.95
c NEW SOLUTION FOUND: 1377 @ 79.001
c NEW SOLUTION FOUND: 1376 @ 79.052
c NEW SOLUTION FOUND: 1375 @ 79.103
c NEW SOLUTION FOUND: 1374 @ 79.154
c NEW SOLUTION FOUND: 1373 @ 79.205
c NEW SOLUTION FOUND: 1372 @ 79.256
c NEW SOLUTION FOUND: 1371 @ 79.307
c NEW SOLUTION FOUND: 1370 @ 79.358
c NEW SOLUTION FOUND: 1369 @ 79.409
c NEW SOLUTION FOUND: 1368 @ 79.461
c NEW SOLUTION FOUND: 1367 @ 79.512
c NEW SOLUTION FOUND: 1366 @ 79.562
c NEW SOLUTION FOUND: 1365 @ 79.613
c NEW SOLUTION FOUND: 1364 @ 79.664
c NEW SOLUTION FOUND: 1363 @ 79.716
c NEW SOLUTION FOUND: 1362 @ 79.767
c NEW SOLUTION FOUND: 1361 @ 79.819
c NEW SOLUTION FOUND: 1360 @ 79.871
c NEW SOLUTION FOUND: 1359 @ 79.922
c NEW SOLUTION FOUND: 1358 @ 79.973
c NEW SOLUTION FOUND: 1357 @ 80.025
c NEW SOLUTION FOUND: 1356 @ 80.076
c NEW SOLUTION FOUND: 1355 @ 80.127
c NEW SOLUTION FOUND: 1354 @ 80.179
c NEW SOLUTION FOUND: 1353 @ 80.231
c NEW SOLUTION FOUND: 1352 @ 80.283
c NEW SOLUTION FOUND: 1351 @ 80.335
c NEW SOLUTION FOUND: 1350 @ 80.387
c NEW SOLUTION FOUND: 1349 @ 80.439
c NEW SOLUTION FOUND: 1348 @ 80.491
c NEW SOLUTION FOUND: 1347 @ 80.544
c NEW SOLUTION FOUND: 1346 @ 80.596
c NEW SOLUTION FOUND: 1345 @ 80.649
c NEW SOLUTION FOUND: 1344 @ 80.701
c NEW SOLUTION FOUND: 1343 @ 80.753
c NEW SOLUTION FOUND: 1342 @ 80.805
c NEW SOLUTION FOUND: 1341 @ 80.857
c NEW SOLUTION FOUND: 1340 @ 80.91
c NEW SOLUTION FOUND: 1339 @ 80.963
c NEW SOLUTION FOUND: 1338 @ 81.015
c NEW SOLUTION FOUND: 1337 @ 81.068
c NEW SOLUTION FOUND: 1336 @ 81.12
c NEW SOLUTION FOUND: 1335 @ 81.172
c NEW SOLUTION FOUND: 1334 @ 81.225
c NEW SOLUTION FOUND: 1333 @ 81.278
c NEW SOLUTION FOUND: 1332 @ 81.329
c NEW SOLUTION FOUND: 1331 @ 81.382
c NEW SOLUTION FOUND: 1330 @ 81.434
c NEW SOLUTION FOUND: 1329 @ 81.537
c NEW SOLUTION FOUND: 1328 @ 81.59
c NEW SOLUTION FOUND: 1327 @ 81.642
c NEW SOLUTION FOUND: 1326 @ 81.695
c NEW SOLUTION FOUND: 1325 @ 81.747
c NEW SOLUTION FOUND: 1324 @ 81.799
c NEW SOLUTION FOUND: 1323 @ 81.852
c NEW SOLUTION FOUND: 1322 @ 81.904
c NEW SOLUTION FOUND: 1321 @ 81.957
c NEW SOLUTION FOUND: 1320 @ 82.01
c NEW SOLUTION FOUND: 1319 @ 82.063
c NEW SOLUTION FOUND: 1318 @ 82.117
c NEW SOLUTION FOUND: 1317 @ 82.169
c NEW SOLUTION FOUND: 1316 @ 82.222
c NEW SOLUTION FOUND: 1315 @ 82.275
c NEW SOLUTION FOUND: 1314 @ 82.381
c NEW SOLUTION FOUND: 1313 @ 82.49
c NEW SOLUTION FOUND: 1312 @ 82.545
c NEW SOLUTION FOUND: 1311 @ 82.601
c NEW SOLUTION FOUND: 1310 @ 82.656
c NEW SOLUTION FOUND: 1309 @ 82.711
c NEW SOLUTION FOUND: 1308 @ 82.766
c NEW SOLUTION FOUND: 1307 @ 82.822
c NEW SOLUTION FOUND: 1306 @ 82.877
c NEW SOLUTION FOUND: 1305 @ 82.932
c NEW SOLUTION FOUND: 1304 @ 82.989
c NEW SOLUTION FOUND: 1303 @ 83.043
c NEW SOLUTION FOUND: 1302 @ 83.099
c NEW SOLUTION FOUND: 1301 @ 83.154
c NEW SOLUTION FOUND: 1300 @ 83.21
c NEW SOLUTION FOUND: 1299 @ 83.319
c NEW SOLUTION FOUND: 1298 @ 83.375
c NEW SOLUTION FOUND: 1297 @ 83.43
c NEW SOLUTION FOUND: 1296 @ 83.487
c NEW SOLUTION FOUND: 1295 @ 83.543
c NEW SOLUTION FOUND: 1294 @ 83.599
c NEW SOLUTION FOUND: 1293 @ 83.655
c NEW SOLUTION FOUND: 1292 @ 83.71
c NEW SOLUTION FOUND: 1291 @ 83.82
c NEW SOLUTION FOUND: 1290 @ 83.875
c NEW SOLUTION FOUND: 1289 @ 83.931
c NEW SOLUTION FOUND: 1288 @ 83.988
c NEW SOLUTION FOUND: 1287 @ 84.044
c NEW SOLUTION FOUND: 1286 @ 84.099
c NEW SOLUTION FOUND: 1285 @ 84.155
c NEW SOLUTION FOUND: 1284 @ 84.267
c NEW SOLUTION FOUND: 1283 @ 84.324
c NEW SOLUTION FOUND: 1282 @ 84.381
c NEW SOLUTION FOUND: 1281 @ 84.438
c NEW SOLUTION FOUND: 1280 @ 84.495
c NEW SOLUTION FOUND: 1279 @ 84.553
c NEW SOLUTION FOUND: 1278 @ 84.61
c NEW SOLUTION FOUND: 1277 @ 84.667
c NEW SOLUTION FOUND: 1276 @ 84.724
c NEW SOLUTION FOUND: 1275 @ 84.781
c NEW SOLUTION FOUND: 1274 @ 84.839
c NEW SOLUTION FOUND: 1273 @ 84.896
c NEW SOLUTION FOUND: 1272 @ 84.952
c NEW SOLUTION FOUND: 1271 @ 85.01
c NEW SOLUTION FOUND: 1270 @ 85.122
c NEW SOLUTION FOUND: 1269 @ 85.179
c NEW SOLUTION FOUND: 1268 @ 85.237
c NEW SOLUTION FOUND: 1267 @ 85.295
c NEW SOLUTION FOUND: 1266 @ 85.354
c NEW SOLUTION FOUND: 1265 @ 85.468
c NEW SOLUTION FOUND: 1264 @ 85.527
c NEW SOLUTION FOUND: 1263 @ 85.586
c NEW SOLUTION FOUND: 1262 @ 85.645
c NEW SOLUTION FOUND: 1261 @ 85.761
c NEW SOLUTION FOUND: 1260 @ 85.82
c NEW SOLUTION FOUND: 1259 @ 85.879
c NEW SOLUTION FOUND: 1258 @ 85.938
c NEW SOLUTION FOUND: 1257 @ 85.997
c NEW SOLUTION FOUND: 1256 @ 86.056
c NEW SOLUTION FOUND: 1255 @ 86.115
c NEW SOLUTION FOUND: 1254 @ 86.175
c NEW SOLUTION FOUND: 1253 @ 86.233
c NEW SOLUTION FOUND: 1252 @ 86.293
c NEW SOLUTION FOUND: 1251 @ 86.352
c NEW SOLUTION FOUND: 1250 @ 86.411
c NEW SOLUTION FOUND: 1249 @ 86.47
c NEW SOLUTION FOUND: 1248 @ 86.53
c NEW SOLUTION FOUND: 1247 @ 86.588
c NEW SOLUTION FOUND: 1246 @ 86.648
c NEW SOLUTION FOUND: 1245 @ 86.706
c NEW SOLUTION FOUND: 1244 @ 86.766
c NEW SOLUTION FOUND: 1243 @ 86.824
c NEW SOLUTION FOUND: 1242 @ 86.941
c NEW SOLUTION FOUND: 1241 @ 87.001
c NEW SOLUTION FOUND: 1240 @ 87.062
c NEW SOLUTION FOUND: 1239 @ 87.123
c NEW SOLUTION FOUND: 1238 @ 87.184
c NEW SOLUTION FOUND: 1237 @ 87.246
c NEW SOLUTION FOUND: 1236 @ 87.307
c NEW SOLUTION FOUND: 1235 @ 87.369
c NEW SOLUTION FOUND: 1234 @ 87.43
c NEW SOLUTION FOUND: 1233 @ 87.492
c NEW SOLUTION FOUND: 1232 @ 87.553
c NEW SOLUTION FOUND: 1231 @ 87.615
c NEW SOLUTION FOUND: 1230 @ 87.677
c NEW SOLUTION FOUND: 1229 @ 87.738
c NEW SOLUTION FOUND: 1228 @ 87.8
c NEW SOLUTION FOUND: 1227 @ 87.862
c NEW SOLUTION FOUND: 1226 @ 87.923
c NEW SOLUTION FOUND: 1225 @ 87.985
c NEW SOLUTION FOUND: 1224 @ 88.047
c NEW SOLUTION FOUND: 1223 @ 88.109
c NEW SOLUTION FOUND: 1222 @ 88.171
c NEW SOLUTION FOUND: 1221 @ 88.232
c NEW SOLUTION FOUND: 1220 @ 88.354
c NEW SOLUTION FOUND: 1219 @ 88.416
c NEW SOLUTION FOUND: 1218 @ 88.539
c NEW SOLUTION FOUND: 1217 @ 88.601
c NEW SOLUTION FOUND: 1216 @ 88.662
c NEW SOLUTION FOUND: 1215 @ 88.726
c NEW SOLUTION FOUND: 1214 @ 88.788
c NEW SOLUTION FOUND: 1213 @ 88.85
c NEW SOLUTION FOUND: 1212 @ 88.914
c NEW SOLUTION FOUND: 1211 @ 88.977
c NEW SOLUTION FOUND: 1210 @ 89.039
c NEW SOLUTION FOUND: 1209 @ 89.102
c NEW SOLUTION FOUND: 1208 @ 89.167
c NEW SOLUTION FOUND: 1207 @ 89.3
c NEW SOLUTION FOUND: 1206 @ 89.369
c NEW SOLUTION FOUND: 1205 @ 89.437
c NEW SOLUTION FOUND: 1204 @ 89.505
c NEW SOLUTION FOUND: 1203 @ 89.573
c NEW SOLUTION FOUND: 1202 @ 89.641
c NEW SOLUTION FOUND: 1201 @ 89.71
c NEW SOLUTION FOUND: 1200 @ 89.778
c NEW SOLUTION FOUND: 1199 @ 89.846
c NEW SOLUTION FOUND: 1198 @ 89.914
c NEW SOLUTION FOUND: 1197 @ 89.983
c NEW SOLUTION FOUND: 1196 @ 90.051
c NEW SOLUTION FOUND: 1195 @ 90.12
c NEW SOLUTION FOUND: 1194 @ 90.188
c NEW SOLUTION FOUND: 1193 @ 90.257
c NEW SOLUTION FOUND: 1192 @ 90.325
c NEW SOLUTION FOUND: 1191 @ 90.394
c NEW SOLUTION FOUND: 1190 @ 90.462
c NEW SOLUTION FOUND: 1189 @ 90.53
c NEW SOLUTION FOUND: 1188 @ 90.598
c NEW SOLUTION FOUND: 1187 @ 90.667
c NEW SOLUTION FOUND: 1186 @ 90.735
c NEW SOLUTION FOUND: 1185 @ 90.803
c NEW SOLUTION FOUND: 1184 @ 90.87
c NEW SOLUTION FOUND: 1183 @ 90.939
c NEW SOLUTION FOUND: 1182 @ 91.007
c NEW SOLUTION FOUND: 1181 @ 91.075
c NEW SOLUTION FOUND: 1180 @ 91.144
c NEW SOLUTION FOUND: 1179 @ 91.212
c NEW SOLUTION FOUND: 1178 @ 91.28
c NEW SOLUTION FOUND: 1177 @ 91.349
c NEW SOLUTION FOUND: 1176 @ 91.416
c NEW SOLUTION FOUND: 1175 @ 91.484
c NEW SOLUTION FOUND: 1174 @ 91.553
c NEW SOLUTION FOUND: 1173 @ 91.621
c NEW SOLUTION FOUND: 1172 @ 91.689
c NEW SOLUTION FOUND: 1171 @ 91.758
c NEW SOLUTION FOUND: 1170 @ 91.826
c NEW SOLUTION FOUND: 1169 @ 91.895
c NEW SOLUTION FOUND: 1168 @ 91.963
c NEW SOLUTION FOUND: 1167 @ 92.032
c NEW SOLUTION FOUND: 1166 @ 92.101
c NEW SOLUTION FOUND: 1165 @ 92.236
c NEW SOLUTION FOUND: 1164 @ 92.305
c NEW SOLUTION FOUND: 1163 @ 92.374
c NEW SOLUTION FOUND: 1162 @ 92.443
c NEW SOLUTION FOUND: 1161 @ 92.512
c NEW SOLUTION FOUND: 1160 @ 92.583
c NEW SOLUTION FOUND: 1159 @ 92.654
c NEW SOLUTION FOUND: 1158 @ 92.724
c NEW SOLUTION FOUND: 1157 @ 92.794
c NEW SOLUTION FOUND: 1156 @ 92.864
c NEW SOLUTION FOUND: 1155 @ 92.934
c NEW SOLUTION FOUND: 1154 @ 93.005
c NEW SOLUTION FOUND: 1153 @ 93.075
c NEW SOLUTION FOUND: 1152 @ 93.214
c NEW SOLUTION FOUND: 1151 @ 93.285
c NEW SOLUTION FOUND: 1150 @ 93.355
c NEW SOLUTION FOUND: 1149 @ 93.426
c NEW SOLUTION FOUND: 1148 @ 93.497
c NEW SOLUTION FOUND: 1147 @ 93.568
c NEW SOLUTION FOUND: 1146 @ 93.638
c NEW SOLUTION FOUND: 1145 @ 93.708
c NEW SOLUTION FOUND: 1144 @ 93.778
c NEW SOLUTION FOUND: 1143 @ 93.849
c NEW SOLUTION FOUND: 1142 @ 93.92
c NEW SOLUTION FOUND: 1141 @ 93.992
c NEW SOLUTION FOUND: 1140 @ 94.062
c NEW SOLUTION FOUND: 1139 @ 94.133
c NEW SOLUTION FOUND: 1138 @ 94.203
c NEW SOLUTION FOUND: 1137 @ 94.273
c NEW SOLUTION FOUND: 1136 @ 94.344
c NEW SOLUTION FOUND: 1135 @ 94.415
c NEW SOLUTION FOUND: 1134 @ 94.485
c NEW SOLUTION FOUND: 1133 @ 94.556
c NEW SOLUTION FOUND: 1132 @ 94.627
c NEW SOLUTION FOUND: 1131 @ 94.766
c NEW SOLUTION FOUND: 1130 @ 94.836
c NEW SOLUTION FOUND: 1129 @ 94.908
c NEW SOLUTION FOUND: 1128 @ 94.98
c NEW SOLUTION FOUND: 1127 @ 95.051
c NEW SOLUTION FOUND: 1126 @ 95.122
c NEW SOLUTION FOUND: 1125 @ 95.193
c NEW SOLUTION FOUND: 1124 @ 95.265
c NEW SOLUTION FOUND: 1123 @ 95.336
c NEW SOLUTION FOUND: 1122 @ 95.408
c NEW SOLUTION FOUND: 1121 @ 95.48
c NEW SOLUTION FOUND: 1120 @ 95.551
c NEW SOLUTION FOUND: 1119 @ 95.623
c NEW SOLUTION FOUND: 1118 @ 95.696
c NEW SOLUTION FOUND: 1117 @ 95.767
c NEW SOLUTION FOUND: 1116 @ 95.839
c NEW SOLUTION FOUND: 1115 @ 95.911
c NEW SOLUTION FOUND: 1114 @ 95.982
c NEW SOLUTION FOUND: 1113 @ 96.054
c NEW SOLUTION FOUND: 1112 @ 96.125
c NEW SOLUTION FOUND: 1111 @ 96.197
c NEW SOLUTION FOUND: 1110 @ 96.269
c NEW SOLUTION FOUND: 1109 @ 96.341
c NEW SOLUTION FOUND: 1108 @ 96.413
c NEW SOLUTION FOUND: 1107 @ 96.485
c NEW SOLUTION FOUND: 1106 @ 96.557
c NEW SOLUTION FOUND: 1105 @ 96.698
c NEW SOLUTION FOUND: 1104 @ 96.77
c NEW SOLUTION FOUND: 1103 @ 96.843
c NEW SOLUTION FOUND: 1102 @ 96.915
c NEW SOLUTION FOUND: 1101 @ 96.989
c NEW SOLUTION FOUND: 1100 @ 97.061
c NEW SOLUTION FOUND: 1099 @ 97.133
c NEW SOLUTION FOUND: 1098 @ 97.206
c NEW SOLUTION FOUND: 1097 @ 97.278
c NEW SOLUTION FOUND: 1096 @ 97.351
c NEW SOLUTION FOUND: 1095 @ 97.423
c NEW SOLUTION FOUND: 1094 @ 97.496
c NEW SOLUTION FOUND: 1093 @ 97.568
c NEW SOLUTION FOUND: 1092 @ 97.641
c NEW SOLUTION FOUND: 1091 @ 97.714
c NEW SOLUTION FOUND: 1090 @ 97.787
c NEW SOLUTION FOUND: 1089 @ 97.859
c NEW SOLUTION FOUND: 1088 @ 97.932
c NEW SOLUTION FOUND: 1087 @ 98.004
c NEW SOLUTION FOUND: 1086 @ 98.077
c NEW SOLUTION FOUND: 1085 @ 98.149
c NEW SOLUTION FOUND: 1084 @ 98.222
c NEW SOLUTION FOUND: 1083 @ 98.294
c NEW SOLUTION FOUND: 1082 @ 98.367
c NEW SOLUTION FOUND: 1081 @ 98.44
c NEW SOLUTION FOUND: 1080 @ 98.513
c NEW SOLUTION FOUND: 1079 @ 98.586
c NEW SOLUTION FOUND: 1078 @ 98.66
c NEW SOLUTION FOUND: 1077 @ 98.733
c NEW SOLUTION FOUND: 1076 @ 98.806
c NEW SOLUTION FOUND: 1075 @ 98.879
c NEW SOLUTION FOUND: 1074 @ 98.951
c NEW SOLUTION FOUND: 1073 @ 99.024
c NEW SOLUTION FOUND: 1072 @ 99.097
c NEW SOLUTION FOUND: 1071 @ 99.17
c NEW SOLUTION FOUND: 1070 @ 99.242
c NEW SOLUTION FOUND: 1069 @ 99.316
c NEW SOLUTION FOUND: 1068 @ 99.389
c NEW SOLUTION FOUND: 1067 @ 99.461
c NEW SOLUTION FOUND: 1066 @ 99.534
c NEW SOLUTION FOUND: 1065 @ 99.607
c NEW SOLUTION FOUND: 1064 @ 99.68
c NEW SOLUTION FOUND: 1063 @ 99.753
c NEW SOLUTION FOUND: 1062 @ 99.826
c NEW SOLUTION FOUND: 1061 @ 99.899
c NEW SOLUTION FOUND: 1060 @ 99.974
c NEW SOLUTION FOUND: 1059 @ 100.047
c NEW SOLUTION FOUND: 1058 @ 100.121
c NEW SOLUTION FOUND: 1057 @ 100.194
c NEW SOLUTION FOUND: 1056 @ 100.267
c NEW SOLUTION FOUND: 1055 @ 100.34
c NEW SOLUTION FOUND: 1054 @ 100.414
c NEW SOLUTION FOUND: 1053 @ 100.487
c NEW SOLUTION FOUND: 1052 @ 100.56
c NEW SOLUTION FOUND: 1051 @ 100.634
c NEW SOLUTION FOUND: 1050 @ 100.708
c NEW SOLUTION FOUND: 1049 @ 100.781
c NEW SOLUTION FOUND: 1048 @ 100.856
c NEW SOLUTION FOUND: 1047 @ 100.93
c NEW SOLUTION FOUND: 1046 @ 101.003
c NEW SOLUTION FOUND: 1045 @ 101.078
c NEW SOLUTION FOUND: 1044 @ 101.152
c NEW SOLUTION FOUND: 1043 @ 101.225
c NEW SOLUTION FOUND: 1042 @ 101.299
c NEW SOLUTION FOUND: 1041 @ 101.444
c NEW SOLUTION FOUND: 1040 @ 101.518
c NEW SOLUTION FOUND: 1039 @ 101.592
c NEW SOLUTION FOUND: 1038 @ 101.666
c NEW SOLUTION FOUND: 1037 @ 101.74
c NEW SOLUTION FOUND: 1036 @ 101.813
c NEW SOLUTION FOUND: 1035 @ 101.886
c NEW SOLUTION FOUND: 1034 @ 101.961
c NEW SOLUTION FOUND: 1033 @ 102.035
c NEW SOLUTION FOUND: 1032 @ 102.108
c NEW SOLUTION FOUND: 1031 @ 102.182
c NEW SOLUTION FOUND: 1030 @ 102.255
c NEW SOLUTION FOUND: 1029 @ 102.329
c NEW SOLUTION FOUND: 1028 @ 102.402
c NEW SOLUTION FOUND: 1027 @ 102.476
c NEW SOLUTION FOUND: 1026 @ 102.55
c NEW SOLUTION FOUND: 1025 @ 102.624
c NEW SOLUTION FOUND: 1024 @ 102.698
c NEW SOLUTION FOUND: 1023 @ 102.773
c NEW SOLUTION FOUND: 1022 @ 102.847
c NEW SOLUTION FOUND: 1021 @ 102.922
c NEW SOLUTION FOUND: 1020 @ 102.996
c NEW SOLUTION FOUND: 1019 @ 103.071
c NEW SOLUTION FOUND: 1018 @ 103.145
c NEW SOLUTION FOUND: 1017 @ 103.22
c NEW SOLUTION FOUND: 1016 @ 103.295
c NEW SOLUTION FOUND: 1015 @ 103.369
c NEW SOLUTION FOUND: 1014 @ 103.517
c NEW SOLUTION FOUND: 1013 @ 103.594
c NEW SOLUTION FOUND: 1012 @ 103.669
c NEW SOLUTION FOUND: 1011 @ 103.744
c NEW SOLUTION FOUND: 1010 @ 103.819
c NEW SOLUTION FOUND: 1009 @ 103.895
c NEW SOLUTION FOUND: 1008 @ 103.97
c NEW SOLUTION FOUND: 1007 @ 104.045
c NEW SOLUTION FOUND: 1006 @ 104.12
c NEW SOLUTION FOUND: 1005 @ 104.195
c NEW SOLUTION FOUND: 1004 @ 104.27
c NEW SOLUTION FOUND: 1003 @ 104.346
c NEW SOLUTION FOUND: 1002 @ 104.421
c NEW SOLUTION FOUND: 1001 @ 104.497
c NEW SOLUTION FOUND: 1000 @ 104.572
c NEW SOLUTION FOUND: 999 @ 104.646
c NEW SOLUTION FOUND: 998 @ 104.723
c NEW SOLUTION FOUND: 997 @ 104.796
c NEW SOLUTION FOUND: 996 @ 104.869
c NEW SOLUTION FOUND: 995 @ 104.943
c NEW SOLUTION FOUND: 994 @ 105.017
c NEW SOLUTION FOUND: 993 @ 105.091
c NEW SOLUTION FOUND: 992 @ 105.165
c NEW SOLUTION FOUND: 991 @ 105.239
c NEW SOLUTION FOUND: 990 @ 105.313
c NEW SOLUTION FOUND: 989 @ 105.387
c NEW SOLUTION FOUND: 988 @ 105.461
c NEW SOLUTION FOUND: 987 @ 105.535
c NEW SOLUTION FOUND: 986 @ 105.61
c NEW SOLUTION FOUND: 985 @ 105.684
c NEW SOLUTION FOUND: 984 @ 105.758
c NEW SOLUTION FOUND: 983 @ 105.832
c NEW SOLUTION FOUND: 982 @ 105.906
c NEW SOLUTION FOUND: 981 @ 105.98
c NEW SOLUTION FOUND: 980 @ 106.125
c NEW SOLUTION FOUND: 979 @ 106.2
c NEW SOLUTION FOUND: 978 @ 106.273
c NEW SOLUTION FOUND: 977 @ 106.348
c NEW SOLUTION FOUND: 976 @ 106.422
c NEW SOLUTION FOUND: 975 @ 106.496
c NEW SOLUTION FOUND: 974 @ 106.571
c NEW SOLUTION FOUND: 973 @ 106.645
c NEW SOLUTION FOUND: 972 @ 106.72
c NEW SOLUTION FOUND: 971 @ 106.794
c NEW SOLUTION FOUND: 970 @ 106.868
c NEW SOLUTION FOUND: 969 @ 106.942
c NEW SOLUTION FOUND: 968 @ 107.017
c NEW SOLUTION FOUND: 967 @ 107.091
c NEW SOLUTION FOUND: 966 @ 107.165
c NEW SOLUTION FOUND: 965 @ 107.241
c NEW SOLUTION FOUND: 964 @ 107.316
c NEW SOLUTION FOUND: 963 @ 107.39
c NEW SOLUTION FOUND: 962 @ 107.465
c NEW SOLUTION FOUND: 961 @ 107.539
c NEW SOLUTION FOUND: 960 @ 107.613
c NEW SOLUTION FOUND: 959 @ 107.688
c NEW SOLUTION FOUND: 958 @ 107.762
c NEW SOLUTION FOUND: 957 @ 107.837
c NEW SOLUTION FOUND: 956 @ 107.912
c NEW SOLUTION FOUND: 955 @ 107.988
c NEW SOLUTION FOUND: 954 @ 108.062
c NEW SOLUTION FOUND: 953 @ 108.138
c NEW SOLUTION FOUND: 952 @ 108.213
c NEW SOLUTION FOUND: 951 @ 108.288
c NEW SOLUTION FOUND: 950 @ 108.362
c NEW SOLUTION FOUND: 949 @ 108.437
c NEW SOLUTION FOUND: 948 @ 108.512
c NEW SOLUTION FOUND: 947 @ 108.587
c NEW SOLUTION FOUND: 946 @ 108.662
c NEW SOLUTION FOUND: 945 @ 108.737
c NEW SOLUTION FOUND: 944 @ 108.812
c NEW SOLUTION FOUND: 943 @ 108.887
c NEW SOLUTION FOUND: 942 @ 108.962
c NEW SOLUTION FOUND: 941 @ 109.038
c NEW SOLUTION FOUND: 940 @ 109.114
c NEW SOLUTION FOUND: 939 @ 109.189
c NEW SOLUTION FOUND: 938 @ 109.265
c NEW SOLUTION FOUND: 937 @ 109.341
c NEW SOLUTION FOUND: 936 @ 109.416
c NEW SOLUTION FOUND: 935 @ 109.492
c NEW SOLUTION FOUND: 934 @ 109.566
c NEW SOLUTION FOUND: 933 @ 109.642
c NEW SOLUTION FOUND: 932 @ 109.717
c NEW SOLUTION FOUND: 931 @ 109.793
c NEW SOLUTION FOUND: 930 @ 109.868
c NEW SOLUTION FOUND: 929 @ 109.944
c NEW SOLUTION FOUND: 928 @ 110.019
c NEW SOLUTION FOUND: 927 @ 110.094
c NEW SOLUTION FOUND: 926 @ 110.17
c NEW SOLUTION FOUND: 925 @ 110.245
c NEW SOLUTION FOUND: 924 @ 110.321
c NEW SOLUTION FOUND: 923 @ 110.396
c NEW SOLUTION FOUND: 922 @ 110.471
c NEW SOLUTION FOUND: 921 @ 110.547
c NEW SOLUTION FOUND: 920 @ 110.623
c NEW SOLUTION FOUND: 919 @ 110.698
c NEW SOLUTION FOUND: 918 @ 110.775
c NEW SOLUTION FOUND: 917 @ 110.851
c NEW SOLUTION FOUND: 916 @ 110.927
c NEW SOLUTION FOUND: 915 @ 111.004
c NEW SOLUTION FOUND: 914 @ 111.08
c NEW SOLUTION FOUND: 913 @ 111.156
c NEW SOLUTION FOUND: 912 @ 111.232
c NEW SOLUTION FOUND: 911 @ 111.308
c NEW SOLUTION FOUND: 910 @ 111.384
c NEW SOLUTION FOUND: 909 @ 111.461
c NEW SOLUTION FOUND: 908 @ 111.535
c NEW SOLUTION FOUND: 907 @ 111.612
c NEW SOLUTION FOUND: 906 @ 111.761
c NEW SOLUTION FOUND: 905 @ 111.836
c NEW SOLUTION FOUND: 904 @ 111.912
c NEW SOLUTION FOUND: 903 @ 111.988
c NEW SOLUTION FOUND: 902 @ 112.065
c NEW SOLUTION FOUND: 901 @ 112.141
c NEW SOLUTION FOUND: 900 @ 112.218
c NEW SOLUTION FOUND: 899 @ 112.444
c NEW SOLUTION FOUND: 898 @ 112.521
c NEW SOLUTION FOUND: 897 @ 112.599
c NEW SOLUTION FOUND: 896 @ 112.677
c NEW SOLUTION FOUND: 895 @ 112.754
c NEW SOLUTION FOUND: 894 @ 112.908
c NEW SOLUTION FOUND: 893 @ 112.987
c NEW SOLUTION FOUND: 892 @ 113.065
c NEW SOLUTION FOUND: 891 @ 113.144
c NEW SOLUTION FOUND: 890 @ 113.223
c NEW SOLUTION FOUND: 889 @ 113.379
c NEW SOLUTION FOUND: 888 @ 113.458
c NEW SOLUTION FOUND: 887 @ 113.538
c NEW SOLUTION FOUND: 886 @ 113.617
c NEW SOLUTION FOUND: 885 @ 113.696
c NEW SOLUTION FOUND: 884 @ 113.776
c NEW SOLUTION FOUND: 883 @ 113.855
c NEW SOLUTION FOUND: 882 @ 113.935
c NEW SOLUTION FOUND: 881 @ 114.015
c NEW SOLUTION FOUND: 880 @ 114.095
c NEW SOLUTION FOUND: 879 @ 114.175
c NEW SOLUTION FOUND: 878 @ 114.255
c NEW SOLUTION FOUND: 877 @ 114.334
c NEW SOLUTION FOUND: 876 @ 114.414
c NEW SOLUTION FOUND: 875 @ 114.493
c NEW SOLUTION FOUND: 874 @ 114.574
c NEW SOLUTION FOUND: 873 @ 114.653
c NEW SOLUTION FOUND: 872 @ 114.732
c NEW SOLUTION FOUND: 871 @ 114.811
c NEW SOLUTION FOUND: 870 @ 114.89
c NEW SOLUTION FOUND: 869 @ 114.969
c NEW SOLUTION FOUND: 868 @ 115.047
c NEW SOLUTION FOUND: 867 @ 115.126
c NEW SOLUTION FOUND: 866 @ 115.205
c NEW SOLUTION FOUND: 865 @ 115.284
c NEW SOLUTION FOUND: 864 @ 115.363
c NEW SOLUTION FOUND: 863 @ 115.443
c NEW SOLUTION FOUND: 862 @ 115.678
c NEW SOLUTION FOUND: 861 @ 115.757
c NEW SOLUTION FOUND: 860 @ 115.837
c NEW SOLUTION FOUND: 859 @ 115.917
c NEW SOLUTION FOUND: 858 @ 115.997
c NEW SOLUTION FOUND: 857 @ 116.077
c NEW SOLUTION FOUND: 856 @ 116.313
c NEW SOLUTION FOUND: 855 @ 116.394
c NEW SOLUTION FOUND: 854 @ 116.475
c NEW SOLUTION FOUND: 853 @ 116.556
c NEW SOLUTION FOUND: 852 @ 116.717
c NEW SOLUTION FOUND: 851 @ 116.798
c NEW SOLUTION FOUND: 850 @ 116.879
c NEW SOLUTION FOUND: 849 @ 116.962
c NEW SOLUTION FOUND: 848 @ 117.043
c NEW SOLUTION FOUND: 847 @ 117.126
c NEW SOLUTION FOUND: 846 @ 117.208
c NEW SOLUTION FOUND: 845 @ 117.29
c NEW SOLUTION FOUND: 844 @ 117.372
c NEW SOLUTION FOUND: 843 @ 117.455
c NEW SOLUTION FOUND: 842 @ 117.537
c NEW SOLUTION FOUND: 841 @ 117.62
c NEW SOLUTION FOUND: 840 @ 117.702
c NEW SOLUTION FOUND: 839 @ 117.784
c NEW SOLUTION FOUND: 838 @ 117.867
c NEW SOLUTION FOUND: 837 @ 117.949
c NEW SOLUTION FOUND: 836 @ 118.032
c NEW SOLUTION FOUND: 835 @ 118.196
c NEW SOLUTION FOUND: 834 @ 118.279
c NEW SOLUTION FOUND: 833 @ 118.362
c NEW SOLUTION FOUND: 832 @ 118.445
c NEW SOLUTION FOUND: 831 @ 118.528
c NEW SOLUTION FOUND: 830 @ 118.611
c NEW SOLUTION FOUND: 829 @ 118.693
c NEW SOLUTION FOUND: 828 @ 118.776
c NEW SOLUTION FOUND: 827 @ 118.858
c NEW SOLUTION FOUND: 826 @ 118.941
c NEW SOLUTION FOUND: 825 @ 119.023
c NEW SOLUTION FOUND: 824 @ 119.106
c NEW SOLUTION FOUND: 823 @ 119.188
c NEW SOLUTION FOUND: 822 @ 119.354
c NEW SOLUTION FOUND: 821 @ 119.439
c NEW SOLUTION FOUND: 820 @ 119.692
c NEW SOLUTION FOUND: 819 @ 119.863
c NEW SOLUTION FOUND: 818 @ 119.951
c NEW SOLUTION FOUND: 817 @ 120.04
c NEW SOLUTION FOUND: 816 @ 120.214
c NEW SOLUTION FOUND: 815 @ 120.305
c NEW SOLUTION FOUND: 814 @ 120.394
c NEW SOLUTION FOUND: 813 @ 120.483
c NEW SOLUTION FOUND: 812 @ 120.573
c NEW SOLUTION FOUND: 811 @ 120.661
c NEW SOLUTION FOUND: 810 @ 120.751
c NEW SOLUTION FOUND: 809 @ 120.841
c NEW SOLUTION FOUND: 808 @ 120.931
c NEW SOLUTION FOUND: 807 @ 121.02
c NEW SOLUTION FOUND: 806 @ 121.11
c NEW SOLUTION FOUND: 805 @ 121.2
c NEW SOLUTION FOUND: 804 @ 121.29
c NEW SOLUTION FOUND: 803 @ 121.379
c NEW SOLUTION FOUND: 802 @ 121.47
c NEW SOLUTION FOUND: 801 @ 121.559
c NEW SOLUTION FOUND: 800 @ 121.649
c NEW SOLUTION FOUND: 799 @ 121.738
c NEW SOLUTION FOUND: 798 @ 121.827
c NEW SOLUTION FOUND: 797 @ 121.916
c NEW SOLUTION FOUND: 796 @ 122.128
c NEW SOLUTION FOUND: 795 @ 122.221
c NEW SOLUTION FOUND: 794 @ 122.313
c NEW SOLUTION FOUND: 793 @ 122.405
c NEW SOLUTION FOUND: 792 @ 122.497
c NEW SOLUTION FOUND: 791 @ 122.591
c NEW SOLUTION FOUND: 790 @ 122.683
c NEW SOLUTION FOUND: 789 @ 122.776
c NEW SOLUTION FOUND: 788 @ 122.87
c NEW SOLUTION FOUND: 787 @ 123.056
c NEW SOLUTION FOUND: 786 @ 123.151
c NEW SOLUTION FOUND: 785 @ 123.245
c NEW SOLUTION FOUND: 784 @ 123.34
c NEW SOLUTION FOUND: 783 @ 123.435
c NEW SOLUTION FOUND: 782 @ 123.531
c NEW SOLUTION FOUND: 781 @ 123.626
c NEW SOLUTION FOUND: 780 @ 123.72
c NEW SOLUTION FOUND: 779 @ 123.908
c NEW SOLUTION FOUND: 778 @ 124.098
c NEW SOLUTION FOUND: 777 @ 124.195
c NEW SOLUTION FOUND: 776 @ 124.386
c NEW SOLUTION FOUND: 775 @ 124.483
c NEW SOLUTION FOUND: 774 @ 124.579
c NEW SOLUTION FOUND: 773 @ 124.677
c NEW SOLUTION FOUND: 772 @ 124.776
c NEW SOLUTION FOUND: 771 @ 124.974
c NEW SOLUTION FOUND: 770 @ 125.074
c NEW SOLUTION FOUND: 769 @ 125.176
c NEW SOLUTION FOUND: 768 @ 125.277
c NEW SOLUTION FOUND: 767 @ 125.377
c NEW SOLUTION FOUND: 766 @ 125.478
c NEW SOLUTION FOUND: 765 @ 125.582
c NEW SOLUTION FOUND: 764 @ 125.889
c NEW SOLUTION FOUND: 763 @ 125.993
c NEW SOLUTION FOUND: 762 @ 126.097
c NEW SOLUTION FOUND: 761 @ 126.206
c NEW SOLUTION FOUND: 760 @ 126.313
c NEW SOLUTION FOUND: 759 @ 126.418
c NEW SOLUTION FOUND: 758 @ 126.525
c NEW SOLUTION FOUND: 757 @ 126.635
c NEW SOLUTION FOUND: 756 @ 126.745
c NEW SOLUTION FOUND: 755 @ 126.963
c NEW SOLUTION FOUND: 754 @ 127.077
c NEW SOLUTION FOUND: 753 @ 127.19
c NEW SOLUTION FOUND: 752 @ 127.3
c NEW SOLUTION FOUND: 751 @ 127.411
c NEW SOLUTION FOUND: 750 @ 127.525
c NEW SOLUTION FOUND: 749 @ 127.636
c NEW SOLUTION FOUND: 748 @ 127.747
c NEW SOLUTION FOUND: 747 @ 127.967
c NEW SOLUTION FOUND: 746 @ 128.303
c NEW SOLUTION FOUND: 745 @ 128.421
c NEW SOLUTION FOUND: 744 @ 128.537
c NEW SOLUTION FOUND: 743 @ 128.775
c NEW SOLUTION FOUND: 742 @ 128.897
c NEW SOLUTION FOUND: 741 @ 129.017
c NEW SOLUTION FOUND: 740 @ 129.134
c NEW SOLUTION FOUND: 739 @ 129.254
c NEW SOLUTION FOUND: 738 @ 129.375
c NEW SOLUTION FOUND: 737 @ 129.496
c NEW SOLUTION FOUND: 736 @ 129.615
c NEW SOLUTION FOUND: 735 @ 129.858
c NEW SOLUTION FOUND: 734 @ 129.982
c NEW SOLUTION FOUND: 733 @ 130.105
c NEW SOLUTION FOUND: 732 @ 130.224
c NEW SOLUTION FOUND: 731 @ 130.343
c NEW SOLUTION FOUND: 730 @ 130.585
c NEW SOLUTION FOUND: 729 @ 130.708
c NEW SOLUTION FOUND: 728 @ 130.832
c NEW SOLUTION FOUND: 727 @ 130.955
c NEW SOLUTION FOUND: 726 @ 131.078
c NEW SOLUTION FOUND: 725 @ 131.206
c NEW SOLUTION FOUND: 724 @ 131.447
c NEW SOLUTION FOUND: 723 @ 131.568
c NEW SOLUTION FOUND: 722 @ 131.813
c NEW SOLUTION FOUND: 721 @ 132.065
c NEW SOLUTION FOUND: 720 @ 132.188
c NEW SOLUTION FOUND: 719 @ 132.317
c NEW SOLUTION FOUND: 718 @ 132.448
c NEW SOLUTION FOUND: 717 @ 132.574
c NEW SOLUTION FOUND: 716 @ 132.704
c NEW SOLUTION FOUND: 715 @ 132.836
c NEW SOLUTION FOUND: 714 @ 132.965
c NEW SOLUTION FOUND: 713 @ 133.23
c NEW SOLUTION FOUND: 712 @ 133.625
c NEW SOLUTION FOUND: 711 @ 133.761
c NEW SOLUTION FOUND: 710 @ 133.896
c NEW SOLUTION FOUND: 709 @ 134.034
c NEW SOLUTION FOUND: 708 @ 134.31
c NEW SOLUTION FOUND: 707 @ 134.449
c NEW SOLUTION FOUND: 706 @ 134.586
c NEW SOLUTION FOUND: 705 @ 134.724
c NEW SOLUTION FOUND: 704 @ 135.004
c NEW SOLUTION FOUND: 703 @ 135.144
c NEW SOLUTION FOUND: 702 @ 135.284
c NEW SOLUTION FOUND: 701 @ 135.426
c NEW SOLUTION FOUND: 700 @ 135.568
c NEW SOLUTION FOUND: 699 @ 135.85
c NEW SOLUTION FOUND: 698 @ 135.993
c NEW SOLUTION FOUND: 697 @ 136.133
c NEW SOLUTION FOUND: 696 @ 136.414
c NEW SOLUTION FOUND: 695 @ 136.559
c NEW SOLUTION FOUND: 694 @ 136.707
c NEW SOLUTION FOUND: 693 @ 137.139
c NEW SOLUTION FOUND: 692 @ 137.289
c NEW SOLUTION FOUND: 691 @ 137.586
c NEW SOLUTION FOUND: 690 @ 137.882
c NEW SOLUTION FOUND: 689 @ 138.034
c NEW SOLUTION FOUND: 688 @ 138.334
c NEW SOLUTION FOUND: 687 @ 138.788
c NEW SOLUTION FOUND: 686 @ 138.945
c NEW SOLUTION FOUND: 685 @ 139.099
c NEW SOLUTION FOUND: 684 @ 139.255
c NEW SOLUTION FOUND: 683 @ 139.408
c NEW SOLUTION FOUND: 682 @ 139.56
c NEW SOLUTION FOUND: 681 @ 139.714
c NEW SOLUTION FOUND: 680 @ 139.87
c NEW SOLUTION FOUND: 679 @ 140.028
c NEW SOLUTION FOUND: 678 @ 140.185
c NEW SOLUTION FOUND: 677 @ 140.342
c NEW SOLUTION FOUND: 676 @ 140.501
c NEW SOLUTION FOUND: 675 @ 140.658
c NEW SOLUTION FOUND: 674 @ 140.97
c NEW SOLUTION FOUND: 673 @ 141.287
c NEW SOLUTION FOUND: 672 @ 141.448
c NEW SOLUTION FOUND: 671 @ 141.763
c NEW SOLUTION FOUND: 670 @ 141.927
c NEW SOLUTION FOUND: 669 @ 142.087
c NEW SOLUTION FOUND: 668 @ 142.247
c NEW SOLUTION FOUND: 667 @ 142.41
c NEW SOLUTION FOUND: 666 @ 142.57
c NEW SOLUTION FOUND: 665 @ 142.729
c NEW SOLUTION FOUND: 664 @ 142.89
c NEW SOLUTION FOUND: 663 @ 143.055
c NEW SOLUTION FOUND: 662 @ 143.38
c NEW SOLUTION FOUND: 661 @ 143.542
c NEW SOLUTION FOUND: 660 @ 143.705
c NEW SOLUTION FOUND: 659 @ 143.868
c NEW SOLUTION FOUND: 658 @ 144.033
c NEW SOLUTION FOUND: 657 @ 144.533
c NEW SOLUTION FOUND: 656 @ 144.872
c NEW SOLUTION FOUND: 655 @ 145.205
c NEW SOLUTION FOUND: 654 @ 145.376
c NEW SOLUTION FOUND: 653 @ 145.545
c NEW SOLUTION FOUND: 652 @ 145.72
c NEW SOLUTION FOUND: 651 @ 146.059
c NEW SOLUTION FOUND: 650 @ 146.235
c NEW SOLUTION FOUND: 649 @ 146.408
c NEW SOLUTION FOUND: 648 @ 146.587
c NEW SOLUTION FOUND: 647 @ 146.937
c NEW SOLUTION FOUND: 646 @ 147.108
c NEW SOLUTION FOUND: 645 @ 147.29
c NEW SOLUTION FOUND: 644 @ 147.47
c NEW SOLUTION FOUND: 643 @ 147.648
c NEW SOLUTION FOUND: 642 @ 147.827
c NEW SOLUTION FOUND: 641 @ 148.004
c NEW SOLUTION FOUND: 640 @ 148.184
c NEW SOLUTION FOUND: 639 @ 148.537
c NEW SOLUTION FOUND: 638 @ 148.714
c NEW SOLUTION FOUND: 637 @ 148.896
c NEW SOLUTION FOUND: 636 @ 149.077
c NEW SOLUTION FOUND: 635 @ 149.26
c NEW SOLUTION FOUND: 634 @ 149.621
c NEW SOLUTION FOUND: 633 @ 149.806
c NEW SOLUTION FOUND: 632 @ 149.994
c NEW SOLUTION FOUND: 631 @ 150.181
c NEW SOLUTION FOUND: 630 @ 150.372
c NEW SOLUTION FOUND: 629 @ 150.557
c NEW SOLUTION FOUND: 628 @ 150.74
c NEW SOLUTION FOUND: 627 @ 150.939
c NEW SOLUTION FOUND: 626 @ 151.131
c NEW SOLUTION FOUND: 625 @ 151.324
c NEW SOLUTION FOUND: 624 @ 151.52
c NEW SOLUTION FOUND: 623 @ 151.916
c NEW SOLUTION FOUND: 622 @ 152.109
c NEW SOLUTION FOUND: 621 @ 152.306
c NEW SOLUTION FOUND: 620 @ 152.5
c NEW SOLUTION FOUND: 619 @ 152.698
c NEW SOLUTION FOUND: 618 @ 152.895
c NEW SOLUTION FOUND: 617 @ 153.093
c NEW SOLUTION FOUND: 616 @ 153.289
c NEW SOLUTION FOUND: 615 @ 153.489
c NEW SOLUTION FOUND: 614 @ 153.692
c NEW SOLUTION FOUND: 613 @ 153.892
c NEW SOLUTION FOUND: 612 @ 154.095
c NEW SOLUTION FOUND: 611 @ 154.511
c NEW SOLUTION FOUND: 610 @ 154.712
c NEW SOLUTION FOUND: 609 @ 154.916
c NEW SOLUTION FOUND: 608 @ 155.134
c NEW SOLUTION FOUND: 607 @ 155.609
c NEW SOLUTION FOUND: 606 @ 155.888
c NEW SOLUTION FOUND: 605 @ 156.107
c NEW SOLUTION FOUND: 604 @ 156.328
c NEW SOLUTION FOUND: 603 @ 156.557
c NEW SOLUTION FOUND: 602 @ 156.778
c NEW SOLUTION FOUND: 601 @ 157.067
c NEW SOLUTION FOUND: 600 @ 157.295
c NEW SOLUTION FOUND: 599 @ 157.982
c NEW SOLUTION FOUND: 598 @ 158.209
c NEW SOLUTION FOUND: 597 @ 158.443
c NEW SOLUTION FOUND: 596 @ 158.69
c NEW SOLUTION FOUND: 595 @ 158.921
c NEW SOLUTION FOUND: 594 @ 159.167
c NEW SOLUTION FOUND: 593 @ 159.416
c NEW SOLUTION FOUND: 592 @ 159.65
c NEW SOLUTION FOUND: 591 @ 160.204
c NEW SOLUTION FOUND: 590 @ 160.715
c NEW SOLUTION FOUND: 589 @ 160.967
c NEW SOLUTION FOUND: 588 @ 161.237
c NEW SOLUTION FOUND: 587 @ 161.492
c NEW SOLUTION FOUND: 586 @ 161.735
c NEW SOLUTION FOUND: 585 @ 161.985
c NEW SOLUTION FOUND: 584 @ 163.019
c NEW SOLUTION FOUND: 583 @ 163.841
c NEW SOLUTION FOUND: 582 @ 164.179
c NEW SOLUTION FOUND: 581 @ 164.463
c NEW SOLUTION FOUND: 580 @ 165.013
c NEW SOLUTION FOUND: 579 @ 165.542
c NEW SOLUTION FOUND: 578 @ 165.827
c NEW SOLUTION FOUND: 577 @ 166.468
c NEW SOLUTION FOUND: 576 @ 166.749
c NEW SOLUTION FOUND: 575 @ 167.056
c NEW SOLUTION FOUND: 574 @ 167.36
c NEW SOLUTION FOUND: 573 @ 167.66
c NEW SOLUTION FOUND: 572 @ 167.939
c NEW SOLUTION FOUND: 571 @ 168.231
c NEW SOLUTION FOUND: 570 @ 168.53
c NEW SOLUTION FOUND: 569 @ 168.832
c NEW SOLUTION FOUND: 568 @ 169.129
c NEW SOLUTION FOUND: 567 @ 169.509
c NEW SOLUTION FOUND: 566 @ 170.099
c NEW SOLUTION FOUND: 565 @ 171.006
c NEW SOLUTION FOUND: 564 @ 171.322
c NEW SOLUTION FOUND: 563 @ 171.939
c NEW SOLUTION FOUND: 562 @ 172.282
c NEW SOLUTION FOUND: 561 @ 172.602
c NEW SOLUTION FOUND: 560 @ 172.928
c NEW SOLUTION FOUND: 559 @ 173.25
c NEW SOLUTION FOUND: 558 @ 173.889
c NEW SOLUTION FOUND: 557 @ 174.552
c NEW SOLUTION FOUND: 556 @ 174.888
c NEW SOLUTION FOUND: 555 @ 175.557
c NEW SOLUTION FOUND: 554 @ 176.314
c NEW SOLUTION FOUND: 553 @ 176.99
c NEW SOLUTION FOUND: 552 @ 177.325
c NEW SOLUTION FOUND: 551 @ 177.659
c NEW SOLUTION FOUND: 550 @ 178.036
c NEW SOLUTION FOUND: 549 @ 178.733
c NEW SOLUTION FOUND: 548 @ 179.07
c NEW SOLUTION FOUND: 547 @ 179.495
c NEW SOLUTION FOUND: 546 @ 179.869
c NEW SOLUTION FOUND: 545 @ 180.243
c NEW SOLUTION FOUND: 544 @ 180.621
c NEW SOLUTION FOUND: 543 @ 180.983
c NEW SOLUTION FOUND: 542 @ 181.344
c NEW SOLUTION FOUND: 541 @ 181.704
c NEW SOLUTION FOUND: 540 @ 182.097
c NEW SOLUTION FOUND: 539 @ 182.492
c NEW SOLUTION FOUND: 538 @ 183.31
c NEW SOLUTION FOUND: 537 @ 184.118
c NEW SOLUTION FOUND: 536 @ 184.505
c NEW SOLUTION FOUND: 535 @ 184.912
c NEW SOLUTION FOUND: 534 @ 185.322
c NEW SOLUTION FOUND: 533 @ 185.719
c NEW SOLUTION FOUND: 532 @ 186.114
c NEW SOLUTION FOUND: 531 @ 186.515
c NEW SOLUTION FOUND: 530 @ 186.938
c NEW SOLUTION FOUND: 529 @ 187.42
c NEW SOLUTION FOUND: 528 @ 187.848
c NEW SOLUTION FOUND: 527 @ 188.27
c NEW SOLUTION FOUND: 526 @ 189.085
c NEW SOLUTION FOUND: 525 @ 189.98
c NEW SOLUTION FOUND: 524 @ 190.43
c NEW SOLUTION FOUND: 523 @ 190.87
c NEW SOLUTION FOUND: 522 @ 191.312
c NEW SOLUTION FOUND: 521 @ 191.715
c NEW SOLUTION FOUND: 520 @ 193.017
c NEW SOLUTION FOUND: 519 @ 193.444
c NEW SOLUTION FOUND: 518 @ 194.295
c NEW SOLUTION FOUND: 517 @ 194.696
c NEW SOLUTION FOUND: 516 @ 195.537
c NEW SOLUTION FOUND: 515 @ 196.783
c NEW SOLUTION FOUND: 514 @ 197.198
c NEW SOLUTION FOUND: 513 @ 197.997
c NEW SOLUTION FOUND: 512 @ 198.496
c NEW SOLUTION FOUND: 511 @ 199.42
c NEW SOLUTION FOUND: 510 @ 199.852
c NEW SOLUTION FOUND: 509 @ 200.273
c NEW SOLUTION FOUND: 508 @ 202.045
c NEW SOLUTION FOUND: 507 @ 202.466
c NEW SOLUTION FOUND: 506 @ 202.898
c NEW SOLUTION FOUND: 505 @ 203.333
c NEW SOLUTION FOUND: 504 @ 203.797
c NEW SOLUTION FOUND: 503 @ 204.25
c NEW SOLUTION FOUND: 502 @ 204.69
c NEW SOLUTION FOUND: 501 @ 205.134
c NEW SOLUTION FOUND: 500 @ 206.143
c NEW SOLUTION FOUND: 499 @ 206.58
c NEW SOLUTION FOUND: 498 @ 207.014
c NEW SOLUTION FOUND: 497 @ 207.461
c NEW SOLUTION FOUND: 496 @ 207.907
c NEW SOLUTION FOUND: 495 @ 208.365
c NEW SOLUTION FOUND: 494 @ 209.26
c NEW SOLUTION FOUND: 493 @ 209.688
c NEW SOLUTION FOUND: 492 @ 210.156
c NEW SOLUTION FOUND: 491 @ 210.624
c NEW SOLUTION FOUND: 490 @ 212.069
c NEW SOLUTION FOUND: 489 @ 212.574
c NEW SOLUTION FOUND: 488 @ 213.056
c NEW SOLUTION FOUND: 487 @ 214.041
c NEW SOLUTION FOUND: 486 @ 214.535
c NEW SOLUTION FOUND: 485 @ 215.026
c NEW SOLUTION FOUND: 484 @ 215.525
c NEW SOLUTION FOUND: 483 @ 216.03
c NEW SOLUTION FOUND: 482 @ 216.567
c NEW SOLUTION FOUND: 481 @ 217.065
c NEW SOLUTION FOUND: 480 @ 217.556
c NEW SOLUTION FOUND: 479 @ 218.05
c NEW SOLUTION FOUND: 478 @ 218.579
c NEW SOLUTION FOUND: 477 @ 219.073
c NEW SOLUTION FOUND: 476 @ 219.618
c NEW SOLUTION FOUND: 475 @ 220.131
c NEW SOLUTION FOUND: 474 @ 221.161
c NEW SOLUTION FOUND: 473 @ 221.673
c NEW SOLUTION FOUND: 472 @ 222.185
c NEW SOLUTION FOUND: 471 @ 222.696
c NEW SOLUTION FOUND: 470 @ 223.219
c NEW SOLUTION FOUND: 469 @ 224.89
c NEW SOLUTION FOUND: 468 @ 225.986
c NEW SOLUTION FOUND: 467 @ 227.628
c NEW SOLUTION FOUND: 466 @ 228.161
c NEW SOLUTION FOUND: 465 @ 228.676
c NEW SOLUTION FOUND: 464 @ 229.829
c NEW SOLUTION FOUND: 463 @ 230.394
c NEW SOLUTION FOUND: 462 @ 230.919
c NEW SOLUTION FOUND: 461 @ 232.233
c NEW SOLUTION FOUND: 460 @ 232.843
c NEW SOLUTION FOUND: 459 @ 233.445
c NEW SOLUTION FOUND: 458 @ 235.2
c NEW SOLUTION FOUND: 457 @ 235.962
c NEW SOLUTION FOUND: 456 @ 236.561
c NEW SOLUTION FOUND: 455 @ 237.777
c NEW SOLUTION FOUND: 454 @ 238.378
c NEW SOLUTION FOUND: 453 @ 239.08
c NEW SOLUTION FOUND: 452 @ 240.483
c NEW SOLUTION FOUND: 451 @ 241.093
c NEW SOLUTION FOUND: 450 @ 241.796
c NEW SOLUTION FOUND: 449 @ 242.44
c NEW SOLUTION FOUND: 448 @ 243.108
c NEW SOLUTION FOUND: 447 @ 243.771
c NEW SOLUTION FOUND: 446 @ 245.165
c NEW SOLUTION FOUND: 445 @ 245.891
c NEW SOLUTION FOUND: 444 @ 247.914
c NEW SOLUTION FOUND: 443 @ 250.321
c NEW SOLUTION FOUND: 442 @ 252.774
c NEW SOLUTION FOUND: 441 @ 255.324
c NEW SOLUTION FOUND: 440 @ 257.041
c NEW SOLUTION FOUND: 439 @ 258.74
c NEW SOLUTION FOUND: 438 @ 261.183
c NEW SOLUTION FOUND: 437 @ 263.925
c NEW SOLUTION FOUND: 436 @ 266.285
c NEW SOLUTION FOUND: 435 @ 271.045
c NEW SOLUTION FOUND: 434 @ 274.258
c NEW SOLUTION FOUND: 433 @ 275.874
c NEW SOLUTION FOUND: 432 @ 277.326
c NEW SOLUTION FOUND: 431 @ 279.855
c NEW SOLUTION FOUND: 430 @ 282.722
c NEW SOLUTION FOUND: 429 @ 287.896
c NEW SOLUTION FOUND: 428 @ 291.139
c NEW SOLUTION FOUND: 427 @ 297.029
c NEW SOLUTION FOUND: 426 @ 313.265
c NEW SOLUTION FOUND: 425 @ 324.379
c NEW SOLUTION FOUND: 424 @ 335.845
c NEW SOLUTION FOUND: 423 @ 342.633
c NEW SOLUTION FOUND: 422 @ 353.372
c NEW SOLUTION FOUND: 421 @ 366.036
c NEW SOLUTION FOUND: 420 @ 380.169
c NEW SOLUTION FOUND: 419 @ 397.791
c NEW SOLUTION FOUND: 418 @ 414.208
c NEW SOLUTION FOUND: 417 @ 429.53
c NEW SOLUTION FOUND: 416 @ 443.724
c NEW SOLUTION FOUND: 415 @ 462.188
c NEW SOLUTION FOUND: 414 @ 476.077
c NEW SOLUTION FOUND: 413 @ 508.808
c NEW SOLUTION FOUND: 412 @ 541.308
c NEW SOLUTION FOUND: 411 @ 582.744
c NEW SOLUTION FOUND: 410 @ 604.512
c NEW SOLUTION FOUND: 409 @ 633.758
c NEW SOLUTION FOUND: 408 @ 643.157
c NEW SOLUTION FOUND: 407 @ 649.028
c NEW SOLUTION FOUND: 406 @ 654.751
c NEW SOLUTION FOUND: 405 @ 660.525
c NEW SOLUTION FOUND: 404 @ 670.095
c NEW SOLUTION FOUND: 403 @ 674.229
c NEW SOLUTION FOUND: 402 @ 679.084
c NEW SOLUTION FOUND: 401 @ 685.002
c NEW SOLUTION FOUND: 400 @ 690.957
c NEW SOLUTION FOUND: 399 @ 695.453
c NEW SOLUTION FOUND: 398 @ 699.985
c NEW SOLUTION FOUND: 397 @ 711.324
c NEW SOLUTION FOUND: 396 @ 721.309
c NEW SOLUTION FOUND: 395 @ 775.674
c NEW SOLUTION FOUND: 394 @ 838.517
c NEW SOLUTION FOUND: 393 @ 912.599
c NEW SOLUTION FOUND: 392 @ 1000.31
c NEW SOLUTION FOUND: 391 @ 1075.71
c NEW SOLUTION FOUND: 390 @ 1168.54
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.98 2/54 9485
Raw data (stat): 9485 (runsolver) R 9484 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 655046296 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 2237 0 0 0 989 7 0 0 25 0 1 0 655046296 11640832 2039 4294967295 134512640 134714508 3221221776 3221217604 1074786562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2842 2039 1111 63 0 2779 0
vsize: 11368
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 2264 0 0 0 1989 7 0 0 25 0 1 0 655046296 11710464 2066 4294967295 134512640 134714508 3221221776 3221217760 1074881425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2859 2066 1111 63 0 2796 0
vsize: 11436
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 4279 0 0 0 2979 16 0 0 25 0 1 0 655046296 10489856 1877 4294967295 134512640 134714508 3221221776 3221220480 134652495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2561 1877 1111 63 0 2498 0
vsize: 10244
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 7873 0 0 0 3963 32 0 0 25 0 1 0 655046296 11276288 1883 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1877 1111 63 0 2498 0
vsize: 11012
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 12515 0 0 0 4948 47 0 0 25 0 1 0 655046296 10489856 1877 4294967295 134512640 134714508 3221221776 3221220592 134651176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2561 1877 1111 63 0 2498 0
vsize: 10244
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 18331 0 0 0 5928 67 0 0 25 0 1 0 655046296 10489856 1877 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1877 1111 63 0 2498 0
vsize: 10244
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 24629 0 0 0 6908 87 0 0 25 0 1 0 655046296 10518528 1878 4294967295 134512640 134714508 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1878 1111 63 0 2505 0
vsize: 10272
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 32353 0 0 0 7883 112 0 0 25 0 1 0 655046296 10489856 1877 4294967295 134512640 134714508 3221221776 3221220128 1074142985 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1877 1111 63 0 2498 0
vsize: 10244
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 43693 0 0 0 8851 145 0 0 25 0 1 0 655046296 10571776 1897 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1897 1111 63 0 2518 0
vsize: 10324
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 56843 0 0 0 9812 182 0 0 25 0 1 0 655046296 10620928 1909 4294967295 134512640 134714508 3221221776 3221220160 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2593 1909 1111 63 0 2530 0
vsize: 10372
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 69824 0 0 0 10776 219 0 0 25 0 1 0 655046296 11816960 2037 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2037 1111 63 0 2822 0
vsize: 11540
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 82611 0 0 0 11740 254 0 0 25 0 1 0 655046296 11968512 2067 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2922 2068 1111 63 0 2859 0
vsize: 11688
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 93044 0 0 0 12710 285 0 0 25 0 1 0 655046296 11489280 2069 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2805 2069 1111 63 0 2742 0
vsize: 11220
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 99378 0 0 0 13692 304 0 0 25 0 1 0 655046296 11325440 2082 4294967295 134512640 134714508 3221221776 3221220060 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2765 2082 1111 63 0 2702 0
vsize: 11060
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 106422 0 0 0 14674 321 0 0 25 0 1 0 655046296 12476416 2195 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2196 1111 63 0 2983 0
vsize: 12184
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 112258 0 0 0 15657 339 0 0 25 0 1 0 655046296 11710464 2176 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2859 2176 1111 63 0 2796 0
vsize: 11436
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 117271 0 0 0 16644 352 0 0 25 0 1 0 655046296 11796480 2204 4294967295 134512640 134714508 3221221776 3221220112 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2880 2204 1111 63 0 2817 0
vsize: 11520
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 124914 0 0 0 17622 374 0 0 25 0 1 0 655046296 11911168 2232 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2908 2232 1111 63 0 2845 0
vsize: 11632
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 131669 0 0 0 18603 393 0 0 25 0 1 0 655046296 13639680 2474 4294967295 134512640 134714508 3221221776 3221217920 1074969411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3330 2474 1111 63 0 3267 0
vsize: 13320
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 136464 0 0 0 19590 406 0 0 25 0 1 0 655046296 12124160 2284 4294967295 134512640 134714508 3221221776 3221220160 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2960 2284 1111 63 0 2897 0
vsize: 11840
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 140122 0 0 0 20582 415 0 0 25 0 1 0 655046296 12406784 2336 4294967295 134512640 134714508 3221221776 3221219776 1074913440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2336 1111 63 0 2966 0
vsize: 12116
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 143550 0 0 0 21571 426 0 0 25 0 1 0 655046296 13950976 2434 4294967295 134512640 134714508 3221221776 3221218004 1075115007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3406 2434 1111 63 0 3343 0
vsize: 13624
[startup+230.386 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 9485
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 147425 0 0 0 22598 437 0 0 25 0 1 0 655046296 14098432 2475 4294967295 134512640 134714508 3221221776 3221217936 1074794549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2475 1111 63 0 3379 0
vsize: 13768
[startup+240.388 s]
Raw data (loadavg): 1.07 0.99 0.99 2/56 9522
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 150999 0 0 0 23587 447 0 0 25 0 1 0 655046296 14213120 2521 4294967295 134512640 134714508 3221221776 3221217936 1075091523 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2521 1111 63 0 3407 0
vsize: 13880
[startup+250.389 s]
Raw data (loadavg): 1.28 1.04 1.00 3/57 9529
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 154178 0 0 0 24561 458 0 0 25 0 1 0 655046296 14262272 2552 4294967295 134512640 134714508 3221221776 3221217556 1074786584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2552 1111 63 0 3419 0
vsize: 13928
[startup+260.487 s]
Raw data (loadavg): 1.39 1.07 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 157755 0 0 0 25562 467 0 0 25 0 1 0 655046296 13283328 2493 4294967295 134512640 134714508 3221221776 3221219696 1075799758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2493 1111 63 0 3180 0
vsize: 12972
[startup+270.487 s]
Raw data (loadavg): 1.33 1.06 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 162052 0 0 0 26550 480 0 0 25 0 1 0 655046296 14708736 2662 4294967295 134512640 134714508 3221221776 3221217904 1075561216 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2662 1111 63 0 3528 0
vsize: 14364
[startup+280.487 s]
Raw data (loadavg): 1.28 1.06 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 166225 0 0 0 27538 491 0 0 25 0 1 0 655046296 13398016 2568 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3271 2568 1111 63 0 3208 0
vsize: 13084
[startup+290.902 s]
Raw data (loadavg): 1.24 1.06 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 171424 0 0 0 28567 503 0 0 25 0 1 0 655046296 15474688 2893 4294967295 134512640 134714508 3221221776 3221217740 1074860630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3778 2893 1111 63 0 3715 0
vsize: 15112
[startup+300.903 s]
Raw data (loadavg): 1.20 1.06 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 175635 0 0 0 29557 513 0 0 25 0 1 0 655046296 13504512 2621 4294967295 134512640 134714508 3221221776 3221220080 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 2621 1111 63 0 3234 0
vsize: 13188
[startup+310.903 s]
Raw data (loadavg): 1.17 1.05 1.01 2/54 9538
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 182575 0 0 0 30543 528 0 0 25 0 1 0 655046296 16289792 3102 4294967295 134512640 134714508 3221221776 3221218112 1075113511 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3977 3102 1111 63 0 3914 0
vsize: 15908
[startup+320.903 s]
Raw data (loadavg): 1.14 1.05 1.01 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 187025 0 0 0 31530 540 0 0 25 0 1 0 655046296 14090240 2764 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2764 1111 63 0 3377 0
vsize: 13760
[startup+330.904 s]
Raw data (loadavg): 1.12 1.05 1.01 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 192611 0 0 0 32516 554 0 0 25 0 1 0 655046296 14094336 2758 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3441 2758 1111 63 0 3378 0
vsize: 13764
[startup+340.904 s]
Raw data (loadavg): 1.10 1.05 1.01 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 196665 0 0 0 33507 564 0 0 25 0 1 0 655046296 14630912 2876 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2876 1111 63 0 3509 0
vsize: 14288
[startup+350.905 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 201037 0 0 0 34497 574 0 0 25 0 1 0 655046296 16719872 3094 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4082 3098 1111 63 0 4019 0
vsize: 16328
[startup+360.906 s]
Raw data (loadavg): 1.07 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 204805 0 0 0 35487 584 0 0 25 0 1 0 655046296 15171584 2997 4294967295 134512640 134714508 3221221776 3221218880 1074139033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2997 1111 63 0 3615 0
vsize: 14816
[startup+370.906 s]
Raw data (loadavg): 1.06 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 208317 0 0 0 36480 592 0 0 25 0 1 0 655046296 16728064 3272 4294967295 134512640 134714508 3221221776 3221217780 1074875789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4084 3272 1111 63 0 4021 0
vsize: 16336
[startup+380.906 s]
Raw data (loadavg): 1.05 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 212459 0 0 0 37469 603 0 0 25 0 1 0 655046296 14761984 2929 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3604 2929 1111 63 0 3541 0
vsize: 14416
[startup+390.906 s]
Raw data (loadavg): 1.04 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 218033 0 0 0 38454 618 0 0 25 0 1 0 655046296 17117184 3339 4294967295 134512640 134714508 3221221776 3221218352 1076049232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3339 1111 63 0 4116 0
vsize: 16716
[startup+400.906 s]
Raw data (loadavg): 1.04 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 221810 0 0 0 39444 628 0 0 25 0 1 0 655046296 17391616 3438 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3438 1111 63 0 4183 0
vsize: 16984
[startup+410.906 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 226883 0 0 0 40432 641 0 0 25 0 1 0 655046296 15253504 3023 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3724 3023 1111 63 0 3661 0
vsize: 14896
[startup+420.907 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 229927 0 0 0 41424 648 0 0 25 0 1 0 655046296 17506304 3461 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3461 1111 63 0 4211 0
vsize: 17096
[startup+430.907 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 232889 0 0 0 42414 659 0 0 25 0 1 0 655046296 15360000 3053 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3750 3053 1111 63 0 3687 0
vsize: 15000
[startup+440.907 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 236636 0 0 0 43404 669 0 0 25 0 1 0 655046296 15335424 3069 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3744 3069 1111 63 0 3681 0
vsize: 14976
[startup+450.908 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 240086 0 0 0 44396 677 0 0 25 0 1 0 655046296 17661952 3497 4294967295 134512640 134714508 3221221776 3221218112 1075113481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4312 3497 1111 63 0 4249 0
vsize: 17248
[startup+460.908 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 244476 0 0 0 45387 686 0 0 25 0 1 0 655046296 17731584 3572 4294967295 134512640 134714508 3221221776 3221217632 1074868649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3572 1111 63 0 4266 0
vsize: 17316
[startup+470.908 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 247370 0 0 0 46380 693 0 0 25 0 1 0 655046296 17731584 3529 4294967295 134512640 134714508 3221221776 3221218240 1075602757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3529 1111 63 0 4266 0
vsize: 17316
[startup+480.908 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 250442 0 0 0 47372 701 0 0 25 0 1 0 655046296 17768448 3574 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4338 3574 1111 63 0 4275 0
vsize: 17352
[startup+490.909 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 254079 0 0 0 48364 709 0 0 25 0 1 0 655046296 15589376 3131 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3806 3131 1111 63 0 3743 0
vsize: 15224
[startup+500.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 258083 0 0 0 49354 720 0 0 25 0 1 0 655046296 17993728 3629 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3629 1111 63 0 4330 0
vsize: 17572
[startup+510.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 260337 0 0 0 50347 727 0 0 25 0 1 0 655046296 15867904 3199 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3199 1111 63 0 3811 0
vsize: 15496
[startup+520.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 263417 0 0 0 51340 734 0 0 25 0 1 0 655046296 15577088 3128 4294967295 134512640 134714508 3221221776 3221219460 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3803 3128 1111 63 0 3740 0
vsize: 15212
[startup+530.909 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 266717 0 0 0 52332 742 0 0 25 0 1 0 655046296 15941632 3217 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3217 1111 63 0 3829 0
vsize: 15568
[startup+540.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 269316 0 0 0 53325 749 0 0 25 0 1 0 655046296 18264064 3692 4294967295 134512640 134714508 3221221776 3221217632 1074868306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3692 1111 63 0 4396 0
vsize: 17836
[startup+550.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 272556 0 0 0 54318 756 0 0 25 0 1 0 655046296 18280448 3691 4294967295 134512640 134714508 3221221776 3221217672 1074789560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4463 3691 1111 63 0 4400 0
vsize: 17852
[startup+560.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 275728 0 0 0 55310 764 0 0 25 0 1 0 655046296 18268160 3680 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3680 1111 63 0 4397 0
vsize: 17840
[startup+570.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9540
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 280459 0 0 0 56298 776 0 0 25 0 1 0 655046296 18116608 3644 4294967295 134512640 134714508 3221221776 3221217632 1074868427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4423 3644 1111 63 0 4360 0
vsize: 17692
[startup+580.911 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 283681 0 0 0 57290 785 0 0 25 0 1 0 655046296 18190336 3692 4294967295 134512640 134714508 3221221776 3221218352 1076043713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3692 1111 63 0 4378 0
vsize: 17764
[startup+590.911 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 286134 0 0 0 58283 792 0 0 25 0 1 0 655046296 16805888 3428 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4103 3428 1111 63 0 4040 0
vsize: 16412
[startup+600.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 289173 0 0 0 59275 800 0 0 25 0 1 0 655046296 16171008 3241 4294967295 134512640 134714508 3221221776 3221219776 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3241 1111 63 0 3885 0
vsize: 15792
[startup+610.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 292381 0 0 0 60267 808 0 0 25 0 1 0 655046296 15695872 3157 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3832 3157 1111 63 0 3769 0
vsize: 15328
[startup+620.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 294949 0 0 0 61262 814 0 0 25 0 1 0 655046296 16343040 3314 4294967295 134512640 134714508 3221221776 3221220240 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3990 3314 1111 63 0 3927 0
vsize: 15960
[startup+630.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 298486 0 0 0 62254 821 0 0 25 0 1 0 655046296 17879040 3626 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4365 3626 1111 63 0 4302 0
vsize: 17460
[startup+640.914 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 300811 0 0 0 63248 828 0 0 25 0 1 0 655046296 15716352 3162 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3837 3162 1111 63 0 3774 0
vsize: 15348
[startup+650.915 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 304157 0 0 0 64239 837 0 0 25 0 1 0 655046296 15867904 3199 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3199 1111 63 0 3811 0
vsize: 15496
[startup+660.915 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 307492 0 0 0 65231 845 0 0 25 0 1 0 655046296 15732736 3166 4294967295 134512640 134714508 3221221776 3221212336 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3841 3166 1111 63 0 3778 0
vsize: 15364
[startup+670.914 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 310812 0 0 0 66223 853 0 0 25 0 1 0 655046296 15835136 3191 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3866 3191 1111 63 0 3803 0
vsize: 15464
[startup+680.915 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 314160 0 0 0 67215 861 0 0 25 0 1 0 655046296 15781888 3178 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 3178 1111 63 0 3790 0
vsize: 15412
[startup+690.916 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 316817 0 0 0 68210 867 0 0 25 0 1 0 655046296 18518016 3778 4294967295 134512640 134714508 3221221776 3221217660 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3778 1111 63 0 4458 0
vsize: 18084
[startup+700.915 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 320858 0 0 0 69199 878 0 0 25 0 1 0 655046296 16130048 3263 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3938 3263 1111 63 0 3875 0
vsize: 15752
[startup+710.916 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 323432 0 0 0 70193 884 0 0 25 0 1 0 655046296 18288640 3717 4294967295 134512640 134714508 3221221776 3221218800 1074810486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3717 1111 63 0 4402 0
vsize: 17860
[startup+720.917 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 326796 0 0 0 71184 893 0 0 25 0 1 0 655046296 18681856 3802 4294967295 134512640 134714508 3221221776 3221218096 1075859168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3802 1111 63 0 4498 0
vsize: 18244
[startup+730.917 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 330154 0 0 0 72175 902 0 0 25 0 1 0 655046296 18542592 3773 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4527 3773 1111 63 0 4464 0
vsize: 18108
[startup+740.917 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 334475 0 0 0 73165 913 0 0 25 0 1 0 655046296 16392192 3327 4294967295 134512640 134714508 3221221776 3221219728 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4002 3327 1111 63 0 3939 0
vsize: 16008
[startup+750.917 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 340150 0 0 0 74152 926 0 0 25 0 1 0 655046296 17133568 3508 4294967295 134512640 134714508 3221221776 3221220256 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4183 3508 1111 63 0 4120 0
vsize: 16732
[startup+760.918 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 344443 0 0 0 75141 937 0 0 25 0 1 0 655046296 19128320 3958 4294967295 134512640 134714508 3221221776 3221217708 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3958 1111 63 0 4607 0
vsize: 18680
[startup+770.918 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 347186 0 0 0 76135 943 0 0 25 0 1 0 655046296 17182720 3507 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4195 3507 1111 63 0 4132 0
vsize: 16780
[startup+780.919 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 349812 0 0 0 77129 950 0 0 25 0 1 0 655046296 19259392 3974 4294967295 134512640 134714508 3221221776 3221217660 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4702 3974 1111 63 0 4639 0
vsize: 18808
[startup+790.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 353441 0 0 0 78121 958 0 0 25 0 1 0 655046296 19259392 3963 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4702 3963 1111 63 0 4639 0
vsize: 18808
[startup+800.919 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 356919 0 0 0 79113 966 0 0 25 0 1 0 655046296 19296256 3960 4294967295 134512640 134714508 3221221776 3221217772 1074860945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4711 3960 1111 63 0 4648 0
vsize: 18844
[startup+810.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 360515 0 0 0 80103 976 0 0 25 0 1 0 655046296 19255296 3958 4294967295 134512640 134714508 3221221776 3221218160 1075133218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3958 1111 63 0 4638 0
vsize: 18804
[startup+820.919 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 364405 0 0 0 81094 986 0 0 25 0 1 0 655046296 19509248 4040 4294967295 134512640 134714508 3221221776 3221217632 1074870807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4763 4040 1111 63 0 4700 0
vsize: 19052
[startup+830.919 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 367585 0 0 0 82085 994 0 0 25 0 1 0 655046296 17158144 3514 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3514 1111 63 0 4126 0
vsize: 16756
[startup+840.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 371709 0 0 0 83076 1004 0 0 25 0 1 0 655046296 17203200 3517 4294967295 134512640 134714508 3221221776 3221220128 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3517 1111 63 0 4137 0
vsize: 16800
[startup+850.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 374787 0 0 0 84068 1012 0 0 25 0 1 0 655046296 19857408 4104 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4848 4104 1111 63 0 4785 0
vsize: 19392
[startup+860.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 378971 0 0 0 85059 1021 0 0 25 0 1 0 655046296 19841024 4107 4294967295 134512640 134714508 3221221776 3221217936 1075093526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4844 4107 1111 63 0 4781 0
vsize: 19376
[startup+870.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 383404 0 0 0 86048 1032 0 0 25 0 1 0 655046296 19968000 4158 4294967295 134512640 134714508 3221221776 3221217980 1075564391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4875 4158 1111 63 0 4812 0
vsize: 19500
[startup+880.921 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 386012 0 0 0 87042 1038 0 0 25 0 1 0 655046296 17256448 3510 4294967295 134512640 134714508 3221221776 3221219120 1074839039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3510 1111 63 0 4150 0
vsize: 16852
[startup+890.921 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 390185 0 0 0 88033 1048 0 0 25 0 1 0 655046296 20373504 4221 4294967295 134512640 134714508 3221221776 3221217632 1074868359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4974 4221 1111 63 0 4911 0
vsize: 19896
[startup+900.921 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 393420 0 0 0 89026 1055 0 0 25 0 1 0 655046296 17575936 3616 4294967295 134512640 134714508 3221221776 3221217116 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3616 1111 63 0 4228 0
vsize: 17164
[startup+910.922 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 396811 0 0 0 90019 1061 0 0 25 0 1 0 655046296 20353024 4271 4294967295 134512640 134714508 3221221776 3221217632 1074868479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4969 4271 1111 63 0 4906 0
vsize: 19876
[startup+920.922 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 399043 0 0 0 91014 1066 0 0 25 0 1 0 655046296 20115456 4185 4294967295 134512640 134714508 3221221776 3221217632 1074868784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4185 1111 63 0 4848 0
vsize: 19644
[startup+930.922 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 401272 0 0 0 92008 1073 0 0 25 0 1 0 655046296 20115456 4182 4294967295 134512640 134714508 3221221776 3221217632 1074868404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4911 4182 1111 63 0 4848 0
vsize: 19644
[startup+940.922 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 404301 0 0 0 93001 1080 0 0 25 0 1 0 655046296 17686528 3643 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4318 3643 1111 63 0 4255 0
vsize: 17272
[startup+950.921 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 407709 0 0 0 93994 1088 0 0 25 0 1 0 655046296 20512768 4271 4294967295 134512640 134714508 3221221776 3221217632 1074871035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5008 4271 1111 63 0 4945 0
vsize: 20032
[startup+960.923 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 411094 0 0 0 94986 1096 0 0 25 0 1 0 655046296 17793024 3669 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 3669 1111 63 0 4281 0
vsize: 17376
[startup+970.922 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 415738 0 0 0 95975 1107 0 0 25 0 1 0 655046296 17899520 3695 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4370 3695 1111 63 0 4307 0
vsize: 17480
[startup+980.923 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 418830 0 0 0 96969 1113 0 0 25 0 1 0 655046296 19361792 4052 4294967295 134512640 134714508 3221221776 3221219776 1074918669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4727 4052 1111 63 0 4664 0
vsize: 18908
[startup+990.923 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 422069 0 0 0 97961 1121 0 0 25 0 1 0 655046296 20709376 4329 4294967295 134512640 134714508 3221221776 3221217952 1074882604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5056 4329 1111 63 0 4993 0
vsize: 20224
[startup+1000.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 425558 0 0 0 98953 1130 0 0 25 0 1 0 655046296 17670144 3639 4294967295 134512640 134714508 3221221776 3221212352 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4314 3639 1111 63 0 4251 0
vsize: 17256
[startup+1010.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 427911 0 0 0 99946 1136 0 0 25 0 1 0 655046296 18038784 3725 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3725 1111 63 0 4341 0
vsize: 17616
[startup+1020.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 431399 0 0 0 100938 1145 0 0 25 0 1 0 655046296 20791296 4343 4294967295 134512640 134714508 3221221776 3221217936 1074794632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4343 1111 63 0 5013 0
vsize: 20304
[startup+1030.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 433794 0 0 0 101932 1151 0 0 25 0 1 0 655046296 20791296 4349 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4349 1111 63 0 5013 0
vsize: 20304
[startup+1040.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 436398 0 0 0 102925 1158 0 0 25 0 1 0 655046296 20885504 4363 4294967295 134512640 134714508 3221221776 3221217632 1074870843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5099 4363 1111 63 0 5036 0
vsize: 20396
[startup+1050.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 439024 0 0 0 103917 1166 0 0 25 0 1 0 655046296 20930560 4369 4294967295 134512640 134714508 3221221776 3221217744 1074872805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4369 1111 63 0 5047 0
vsize: 20440
[startup+1060.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 443969 0 0 0 104905 1178 0 0 25 0 1 0 655046296 20938752 4399 4294967295 134512640 134714508 3221221776 3221217632 1074868742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5112 4399 1111 63 0 5049 0
vsize: 20448
[startup+1070.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 448532 0 0 0 105895 1189 0 0 25 0 1 0 655046296 20090880 4166 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4905 4166 1111 63 0 4842 0
vsize: 19620
[startup+1080.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 450804 0 0 0 106889 1195 0 0 25 0 1 0 655046296 19595264 4095 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4095 1111 63 0 4721 0
vsize: 19136
[startup+1090.93 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 452824 0 0 0 107884 1200 0 0 25 0 1 0 655046296 18300928 3786 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3786 1111 63 0 4405 0
vsize: 17872
[startup+1100.93 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 456361 0 0 0 108875 1209 0 0 25 0 1 0 655046296 20992000 4413 4294967295 134512640 134714508 3221221776 3221217632 1074868098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4413 1111 63 0 5062 0
vsize: 20500
[startup+1110.93 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 458794 0 0 0 109869 1215 0 0 25 0 1 0 655046296 21135360 4418 4294967295 134512640 134714508 3221221776 3221217632 1074868370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5160 4418 1111 63 0 5097 0
vsize: 20640
[startup+1120.93 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 461157 0 0 0 110864 1220 0 0 25 0 1 0 655046296 21159936 4436 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5166 4436 1111 63 0 5103 0
vsize: 20664
[startup+1130.93 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 465964 0 0 0 111851 1234 0 0 25 0 1 0 655046296 21135360 4436 4294967295 134512640 134714508 3221221776 3221217672 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5160 4436 1111 63 0 5097 0
vsize: 20640
[startup+1140.93 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 468618 0 0 0 112845 1240 0 0 25 0 1 0 655046296 21176320 4437 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5170 4437 1111 63 0 5107 0
vsize: 20680
[startup+1150.93 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 471260 0 0 0 113839 1246 0 0 25 0 1 0 655046296 21184512 4445 4294967295 134512640 134714508 3221221776 3221217632 1074868404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5172 4445 1111 63 0 5109 0
vsize: 20688
[startup+1160.93 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 474832 0 0 0 114831 1254 0 0 25 0 1 0 655046296 18305024 3794 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3794 1111 63 0 4406 0
vsize: 17876
[startup+1170.93 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 477245 0 0 0 115825 1260 0 0 25 0 1 0 655046296 18300928 3793 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3793 1111 63 0 4405 0
vsize: 17872
[startup+1180.93 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 479578 0 0 0 116820 1266 0 0 25 0 1 0 655046296 17960960 3710 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4385 3710 1111 63 0 4322 0
vsize: 17540
[startup+1190.93 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 482052 0 0 0 117813 1272 0 0 25 0 1 0 655046296 18280448 3788 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4463 3788 1111 63 0 4400 0
vsize: 17852
[startup+1200.93 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) R 9484 7876 7672 0 -1 0 485168 0 0 0 118805 1281 0 0 25 0 1 0 655046296 20226048 4233 4294967295 134512640 134714508 3221221776 3221218528 1074247413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4938 4233 1111 63 0 4875 0
vsize: 19752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.94 s]
Raw data (loadavg): 1.01 1.01 1.00 1/54 9542
Raw data (stat): 9485 (bsolo_lpr_cuts) Z 9484 7876 7672 0 -1 1036 485168 0 0 0 118805 1282 0 0 25 0 1 0 655046296 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.94
CPU time (s): 1200.88
CPU user time (s): 1188.06
CPU system time (s): 12.8201
CPU usage (%): 99.995
Max. virtual memory (Kb): 20688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####