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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
MD5SUM	76931687067724cc4684adb9e5aff770
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	149
Optimality of the best value was proved	NO
Number of terms in the objective function	10976
Biggest coefficient in the objective function	6152
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	31915
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	6152
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	31915
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.29
Number of variables	10976
Total number of constraints	23502
Number of constraints which are clauses	10470
Number of constraints which are cardinality constraints (but not clauses)	13032
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	24
Trace number 25002

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 21:32:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3349 boxname=wulflinc31 idbench=373 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  76931687067724cc4684adb9e5aff770  /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.95:100.opb
IDLAUNCH: 3349
/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:        782084 kB
Buffers:         43564 kB
Cached:         186384 kB
SwapCached:       1932 kB
Active:         164768 kB
Inactive:        68360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        781832 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:           26656 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13820 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 21:52:17 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 3349 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10976 variables and 12527 constraints.
c After prepocess the problem consists of 10975 variables and 12654 constraints.
c preprocess terminated 69.442 s
c Initial Lower Bound: -1
c Lower Bound Elapsed time: 577.81
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 19600 @ 686.79
c NEW SOLUTION FOUND: 19597 @ 686.959
c NEW SOLUTION FOUND: 19595 @ 687.137
c NEW SOLUTION FOUND: 19592 @ 687.325
c NEW SOLUTION FOUND: 19590 @ 687.502
c NEW SOLUTION FOUND: 19588 @ 687.688
c NEW SOLUTION FOUND: 19584 @ 687.881
c NEW SOLUTION FOUND: 19581 @ 688.066
c NEW SOLUTION FOUND: 19579 @ 688.247
c NEW SOLUTION FOUND: 19576 @ 688.442
c NEW SOLUTION FOUND: 19570 @ 688.636
c NEW SOLUTION FOUND: 19564 @ 688.83
c NEW SOLUTION FOUND: 19554 @ 689.028
c NEW SOLUTION FOUND: 19544 @ 689.228
c NEW SOLUTION FOUND: 19534 @ 689.432
c NEW SOLUTION FOUND: 19524 @ 689.637
c NEW SOLUTION FOUND: 19514 @ 689.846
c NEW SOLUTION FOUND: 19504 @ 690.06
c NEW SOLUTION FOUND: 19494 @ 690.275
c NEW SOLUTION FOUND: 19490 @ 690.483
c NEW SOLUTION FOUND: 19484 @ 690.705
c NEW SOLUTION FOUND: 19482 @ 690.913
c NEW SOLUTION FOUND: 19472 @ 691.136
c NEW SOLUTION FOUND: 19462 @ 691.356
c NEW SOLUTION FOUND: 19461 @ 691.579
c NEW SOLUTION FOUND: 19460 @ 691.801
c NEW SOLUTION FOUND: 19457 @ 692.029
c NEW SOLUTION FOUND: 19447 @ 692.253
c NEW SOLUTION FOUND: 19446 @ 692.472
c NEW SOLUTION FOUND: 19436 @ 692.705
c NEW SOLUTION FOUND: 19426 @ 692.937
c NEW SOLUTION FOUND: 19425 @ 693.164
c NEW SOLUTION FOUND: 19424 @ 693.403
c NEW SOLUTION FOUND: 19414 @ 693.643
c NEW SOLUTION FOUND: 19404 @ 693.879
c NEW SOLUTION FOUND: 19394 @ 694.116
c NEW SOLUTION FOUND: 19393 @ 694.35
c NEW SOLUTION FOUND: 19390 @ 694.597
c NEW SOLUTION FOUND: 19380 @ 694.847
c NEW SOLUTION FOUND: 19370 @ 695.094
c NEW SOLUTION FOUND: 19360 @ 695.343
c NEW SOLUTION FOUND: 19350 @ 695.592
c NEW SOLUTION FOUND: 19340 @ 695.844
c NEW SOLUTION FOUND: 19330 @ 696.102
c NEW SOLUTION FOUND: 19320 @ 696.361
c NEW SOLUTION FOUND: 19310 @ 696.622
c NEW SOLUTION FOUND: 19306 @ 696.879
c NEW SOLUTION FOUND: 19300 @ 697.15
c NEW SOLUTION FOUND: 19290 @ 697.416
c NEW SOLUTION FOUND: 19288 @ 697.689
c NEW SOLUTION FOUND: 19286 @ 697.957
c NEW SOLUTION FOUND: 19283 @ 698.232
c NEW SOLUTION FOUND: 19277 @ 698.512
c NEW SOLUTION FOUND: 19271 @ 698.787
c NEW SOLUTION FOUND: 19261 @ 699.078
c NEW SOLUTION FOUND: 19260 @ 699.354
c NEW SOLUTION FOUND: 19250 @ 699.639
c NEW SOLUTION FOUND: 19244 @ 699.924
c NEW SOLUTION FOUND: 19243 @ 700.203
c NEW SOLUTION FOUND: 19242 @ 700.487
c NEW SOLUTION FOUND: 19241 @ 700.769
c NEW SOLUTION FOUND: 19231 @ 701.061
c NEW SOLUTION FOUND: 19221 @ 701.347
c NEW SOLUTION FOUND: 19211 @ 701.644
c NEW SOLUTION FOUND: 19202 @ 701.94
c NEW SOLUTION FOUND: 19201 @ 702.239
c NEW SOLUTION FOUND: 19200 @ 702.539
c NEW SOLUTION FOUND: 19190 @ 702.847
c NEW SOLUTION FOUND: 19180 @ 703.147
c NEW SOLUTION FOUND: 19170 @ 703.453
c NEW SOLUTION FOUND: 19160 @ 703.769
c NEW SOLUTION FOUND: 19150 @ 704.079
c NEW SOLUTION FOUND: 19140 @ 704.4
c NEW SOLUTION FOUND: 19130 @ 704.713
c NEW SOLUTION FOUND: 19120 @ 705.043
c NEW SOLUTION FOUND: 19110 @ 705.363
c NEW SOLUTION FOUND: 19100 @ 705.688
c NEW SOLUTION FOUND: 19090 @ 706.014
c NEW SOLUTION FOUND: 19086 @ 706.339
c NEW SOLUTION FOUND: 19083 @ 706.669
c NEW SOLUTION FOUND: 19081 @ 706.995
c NEW SOLUTION FOUND: 19080 @ 707.327
c NEW SOLUTION FOUND: 19076 @ 707.659
c NEW SOLUTION FOUND: 19075 @ 708.016
c NEW SOLUTION FOUND: 19074 @ 708.349
c NEW SOLUTION FOUND: 19073 @ 709.042
c NEW SOLUTION FOUND: 19070 @ 709.369
c NEW SOLUTION FOUND: 19061 @ 709.698
c NEW SOLUTION FOUND: 19060 @ 710.03
c NEW SOLUTION FOUND: 19059 @ 710.369
c NEW SOLUTION FOUND: 19055 @ 710.717
c NEW SOLUTION FOUND: 19046 @ 711.059
c NEW SOLUTION FOUND: 19045 @ 711.392
c NEW SOLUTION FOUND: 19041 @ 711.733
c NEW SOLUTION FOUND: 19040 @ 712.075
c NEW SOLUTION FOUND: 19037 @ 712.413
c NEW SOLUTION FOUND: 19031 @ 712.76
c NEW SOLUTION FOUND: 19027 @ 713.1
c NEW SOLUTION FOUND: 19017 @ 713.453
c NEW SOLUTION FOUND: 19016 @ 713.796
c NEW SOLUTION FOUND: 19015 @ 714.14
c NEW SOLUTION FOUND: 19005 @ 714.497
c NEW SOLUTION FOUND: 19001 @ 714.843
c NEW SOLUTION FOUND: 18991 @ 715.204
c NEW SOLUTION FOUND: 18990 @ 715.552
c NEW SOLUTION FOUND: 18987 @ 715.913
c NEW SOLUTION FOUND: 18984 @ 716.258
c NEW SOLUTION FOUND: 18980 @ 716.616
c NEW SOLUTION FOUND: 18976 @ 716.985
c NEW SOLUTION FOUND: 18975 @ 717.353
c NEW SOLUTION FOUND: 18971 @ 717.705
c NEW SOLUTION FOUND: 18967 @ 718.055
c NEW SOLUTION FOUND: 18963 @ 718.424
c NEW SOLUTION FOUND: 18959 @ 718.773
c NEW SOLUTION FOUND: 18955 @ 719.14
c NEW SOLUTION FOUND: 18951 @ 719.503
c NEW SOLUTION FOUND: 18947 @ 719.858
c NEW SOLUTION FOUND: 18943 @ 720.21
c NEW SOLUTION FOUND: 18941 @ 720.563
c NEW SOLUTION FOUND: 18940 @ 720.929
c NEW SOLUTION FOUND: 18939 @ 721.28
c NEW SOLUTION FOUND: 18938 @ 721.644
c NEW SOLUTION FOUND: 18937 @ 722.011
c NEW SOLUTION FOUND: 18936 @ 722.374
c NEW SOLUTION FOUND: 18935 @ 722.742
c NEW SOLUTION FOUND: 18934 @ 723.096
c NEW SOLUTION FOUND: 18933 @ 723.447
c NEW SOLUTION FOUND: 18932 @ 723.802
c NEW SOLUTION FOUND: 18931 @ 724.156
c NEW SOLUTION FOUND: 18930 @ 724.512
c NEW SOLUTION FOUND: 18929 @ 725.228
c NEW SOLUTION FOUND: 18928 @ 725.587
c NEW SOLUTION FOUND: 18927 @ 725.947
c NEW SOLUTION FOUND: 18926 @ 726.314
c NEW SOLUTION FOUND: 18925 @ 726.682
c NEW SOLUTION FOUND: 18924 @ 727.049
c NEW SOLUTION FOUND: 18923 @ 727.396
c NEW SOLUTION FOUND: 18922 @ 727.76
c NEW SOLUTION FOUND: 18921 @ 728.111
c NEW SOLUTION FOUND: 18920 @ 728.471
c NEW SOLUTION FOUND: 18919 @ 728.832
c NEW SOLUTION FOUND: 18918 @ 729.182
c NEW SOLUTION FOUND: 18917 @ 729.554
c NEW SOLUTION FOUND: 18916 @ 729.905
c NEW SOLUTION FOUND: 18915 @ 730.261
c NEW SOLUTION FOUND: 18913 @ 730.618
c NEW SOLUTION FOUND: 18912 @ 730.972
c NEW SOLUTION FOUND: 18911 @ 731.327
c NEW SOLUTION FOUND: 18910 @ 731.681
c NEW SOLUTION FOUND: 18909 @ 732.045
c NEW SOLUTION FOUND: 18908 @ 732.416
c NEW SOLUTION FOUND: 18907 @ 732.771
c NEW SOLUTION FOUND: 18906 @ 733.13
c NEW SOLUTION FOUND: 18905 @ 733.487
c NEW SOLUTION FOUND: 18901 @ 733.851
c NEW SOLUTION FOUND: 18900 @ 734.199
c NEW SOLUTION FOUND: 18899 @ 734.569
c NEW SOLUTION FOUND: 18898 @ 734.938
c NEW SOLUTION FOUND: 18897 @ 735.303
c NEW SOLUTION FOUND: 18893 @ 735.684
c NEW SOLUTION FOUND: 18892 @ 736.039
c NEW SOLUTION FOUND: 18891 @ 736.408
c NEW SOLUTION FOUND: 18890 @ 736.77
c NEW SOLUTION FOUND: 18889 @ 737.13
c NEW SOLUTION FOUND: 18888 @ 737.49
c NEW SOLUTION FOUND: 18887 @ 737.857
c NEW SOLUTION FOUND: 18886 @ 738.219
c NEW SOLUTION FOUND: 18885 @ 738.586
c NEW SOLUTION FOUND: 18884 @ 738.948
c NEW SOLUTION FOUND: 18883 @ 739.3
c NEW SOLUTION FOUND: 18882 @ 739.663
c NEW SOLUTION FOUND: 18881 @ 740.017
c NEW SOLUTION FOUND: 18880 @ 740.374
c NEW SOLUTION FOUND: 18879 @ 740.745
c NEW SOLUTION FOUND: 18878 @ 741.12
c NEW SOLUTION FOUND: 18877 @ 741.479
c NEW SOLUTION FOUND: 18875 @ 741.848
c NEW SOLUTION FOUND: 18874 @ 742.2
c NEW SOLUTION FOUND: 18873 @ 742.56
c NEW SOLUTION FOUND: 18872 @ 742.916
c NEW SOLUTION FOUND: 18871 @ 743.287
c NEW SOLUTION FOUND: 18870 @ 743.644
c NEW SOLUTION FOUND: 18869 @ 744.009
c NEW SOLUTION FOUND: 18867 @ 744.371
c NEW SOLUTION FOUND: 18866 @ 744.721
c NEW SOLUTION FOUND: 18865 @ 745.079
c NEW SOLUTION FOUND: 18864 @ 745.436
c NEW SOLUTION FOUND: 18862 @ 745.794
c NEW SOLUTION FOUND: 18860 @ 746.169
c NEW SOLUTION FOUND: 18859 @ 746.552
c NEW SOLUTION FOUND: 18858 @ 746.918
c NEW SOLUTION FOUND: 18857 @ 747.285
c NEW SOLUTION FOUND: 18855 @ 747.652
c NEW SOLUTION FOUND: 18853 @ 748.023
c NEW SOLUTION FOUND: 18851 @ 748.393
c NEW SOLUTION FOUND: 18849 @ 748.758
c NEW SOLUTION FOUND: 18847 @ 749.145
c NEW SOLUTION FOUND: 18845 @ 749.509
c NEW SOLUTION FOUND: 18843 @ 749.89
c NEW SOLUTION FOUND: 18841 @ 750.255
c NEW SOLUTION FOUND: 18837 @ 750.627
c NEW SOLUTION FOUND: 18835 @ 750.99
c NEW SOLUTION FOUND: 18829 @ 751.383
c NEW SOLUTION FOUND: 18827 @ 751.747
c NEW SOLUTION FOUND: 18825 @ 752.134
c NEW SOLUTION FOUND: 18823 @ 752.498
c NEW SOLUTION FOUND: 18821 @ 752.868
c NEW SOLUTION FOUND: 18819 @ 753.249
c NEW SOLUTION FOUND: 18817 @ 753.639
c NEW SOLUTION FOUND: 18815 @ 754.012
c NEW SOLUTION FOUND: 18813 @ 754.391
c NEW SOLUTION FOUND: 18811 @ 754.771
c NEW SOLUTION FOUND: 18809 @ 755.138
c NEW SOLUTION FOUND: 18807 @ 755.507
c NEW SOLUTION FOUND: 18805 @ 755.885
c NEW SOLUTION FOUND: 18803 @ 756.257
c NEW SOLUTION FOUND: 18801 @ 756.632
c NEW SOLUTION FOUND: 18799 @ 757.007
c NEW SOLUTION FOUND: 18797 @ 757.386
c NEW SOLUTION FOUND: 18795 @ 757.767
c NEW SOLUTION FOUND: 18793 @ 758.142
c NEW SOLUTION FOUND: 18791 @ 758.52
c NEW SOLUTION FOUND: 18789 @ 758.908
c NEW SOLUTION FOUND: 18787 @ 759.301
c NEW SOLUTION FOUND: 18785 @ 759.687
c NEW SOLUTION FOUND: 18783 @ 760.079
c NEW SOLUTION FOUND: 18781 @ 760.454
c NEW SOLUTION FOUND: 18779 @ 760.841
c NEW SOLUTION FOUND: 18772 @ 761.212
c NEW SOLUTION FOUND: 18770 @ 761.591
c NEW SOLUTION FOUND: 18768 @ 761.956
c NEW SOLUTION FOUND: 18766 @ 762.331
c NEW SOLUTION FOUND: 18764 @ 762.719
c NEW SOLUTION FOUND: 18762 @ 763.095
c NEW SOLUTION FOUND: 18760 @ 763.486
c NEW SOLUTION FOUND: 18758 @ 763.859
c NEW SOLUTION FOUND: 18756 @ 764.252
c NEW SOLUTION FOUND: 18754 @ 764.645
c NEW SOLUTION FOUND: 18752 @ 765.017
c NEW SOLUTION FOUND: 18750 @ 765.396
c NEW SOLUTION FOUND: 18748 @ 765.763
c NEW SOLUTION FOUND: 18746 @ 766.136
c NEW SOLUTION FOUND: 18742 @ 766.527
c NEW SOLUTION FOUND: 18740 @ 766.896
c NEW SOLUTION FOUND: 18738 @ 767.276
c NEW SOLUTION FOUND: 18736 @ 767.662
c NEW SOLUTION FOUND: 18734 @ 768.027
c NEW SOLUTION FOUND: 18732 @ 768.417
c NEW SOLUTION FOUND: 18730 @ 768.789
c NEW SOLUTION FOUND: 18728 @ 769.166
c NEW SOLUTION FOUND: 18726 @ 769.553
c NEW SOLUTION FOUND: 18723 @ 769.919
c NEW SOLUTION FOUND: 18720 @ 770.305
c NEW SOLUTION FOUND: 18717 @ 770.676
c NEW SOLUTION FOUND: 18714 @ 771.048
c NEW SOLUTION FOUND: 18711 @ 771.416
c NEW SOLUTION FOUND: 18708 @ 771.805
c NEW SOLUTION FOUND: 18705 @ 772.18
c NEW SOLUTION FOUND: 18702 @ 772.569
c NEW SOLUTION FOUND: 18699 @ 772.944
c NEW SOLUTION FOUND: 18695 @ 773.314
c NEW SOLUTION FOUND: 18691 @ 773.686
c NEW SOLUTION FOUND: 18687 @ 774.054
c NEW SOLUTION FOUND: 18683 @ 774.429
c NEW SOLUTION FOUND: 18679 @ 774.832
c NEW SOLUTION FOUND: 18675 @ 775.225
c NEW SOLUTION FOUND: 18673 @ 775.604
c NEW SOLUTION FOUND: 18671 @ 775.97
c NEW SOLUTION FOUND: 18669 @ 776.364
c NEW SOLUTION FOUND: 18667 @ 776.755
c NEW SOLUTION FOUND: 18665 @ 777.138
c NEW SOLUTION FOUND: 18663 @ 777.529
c NEW SOLUTION FOUND: 18660 @ 777.939
c NEW SOLUTION FOUND: 18656 @ 778.337
c NEW SOLUTION FOUND: 18653 @ 778.723
c NEW SOLUTION FOUND: 18651 @ 779.115
c NEW SOLUTION FOUND: 18648 @ 779.508
c NEW SOLUTION FOUND: 18645 @ 779.898
c NEW SOLUTION FOUND: 18644 @ 780.287
c NEW SOLUTION FOUND: 18641 @ 780.709
c NEW SOLUTION FOUND: 18638 @ 781.1
c NEW SOLUTION FOUND: 18636 @ 781.501
c NEW SOLUTION FOUND: 18633 @ 781.891
c NEW SOLUTION FOUND: 18630 @ 782.284
c NEW SOLUTION FOUND: 18621 @ 782.698
c NEW SOLUTION FOUND: 18612 @ 783.097
c NEW SOLUTION FOUND: 18603 @ 783.504
c NEW SOLUTION FOUND: 18600 @ 783.895
c NEW SOLUTION FOUND: 18597 @ 784.304
c NEW SOLUTION FOUND: 18594 @ 784.712
c NEW SOLUTION FOUND: 18591 @ 785.14
c NEW SOLUTION FOUND: 18582 @ 785.57
c NEW SOLUTION FOUND: 18579 @ 785.976
c NEW SOLUTION FOUND: 18576 @ 786.383
c NEW SOLUTION FOUND: 18573 @ 786.796
c NEW SOLUTION FOUND: 18570 @ 787.214
c NEW SOLUTION FOUND: 18567 @ 787.642
c NEW SOLUTION FOUND: 18564 @ 788.074
c NEW SOLUTION FOUND: 18561 @ 788.484
c NEW SOLUTION FOUND: 18558 @ 788.898
c NEW SOLUTION FOUND: 18555 @ 789.319
c NEW SOLUTION FOUND: 18552 @ 789.721
c NEW SOLUTION FOUND: 18549 @ 790.125
c NEW SOLUTION FOUND: 18546 @ 790.538
c NEW SOLUTION FOUND: 18543 @ 790.953
c NEW SOLUTION FOUND: 18540 @ 791.363
c NEW SOLUTION FOUND: 18537 @ 791.777
c NEW SOLUTION FOUND: 18534 @ 792.195
c NEW SOLUTION FOUND: 18532 @ 792.605
c NEW SOLUTION FOUND: 18529 @ 793.037
c NEW SOLUTION FOUND: 18526 @ 793.463
c NEW SOLUTION FOUND: 18523 @ 793.893
c NEW SOLUTION FOUND: 18520 @ 794.304
c NEW SOLUTION FOUND: 18517 @ 794.72
c NEW SOLUTION FOUND: 18514 @ 795.148
c NEW SOLUTION FOUND: 18511 @ 795.563
c NEW SOLUTION FOUND: 18508 @ 795.972
c NEW SOLUTION FOUND: 18505 @ 796.38
c NEW SOLUTION FOUND: 18502 @ 797.232
c NEW SOLUTION FOUND: 18499 @ 797.637
c NEW SOLUTION FOUND: 18496 @ 798.056
c NEW SOLUTION FOUND: 18489 @ 798.476
c NEW SOLUTION FOUND: 18486 @ 798.878
c NEW SOLUTION FOUND: 18483 @ 799.294
c NEW SOLUTION FOUND: 18480 @ 799.707
c NEW SOLUTION FOUND: 18477 @ 800.118
c NEW SOLUTION FOUND: 18474 @ 800.53
c NEW SOLUTION FOUND: 18471 @ 800.945
c NEW SOLUTION FOUND: 18468 @ 801.37
c NEW SOLUTION FOUND: 18465 @ 801.802
c NEW SOLUTION FOUND: 18462 @ 802.225
c NEW SOLUTION FOUND: 18459 @ 802.642
c NEW SOLUTION FOUND: 18452 @ 803.059
c NEW SOLUTION FOUND: 18444 @ 803.48
c NEW SOLUTION FOUND: 18436 @ 803.903
c NEW SOLUTION FOUND: 18428 @ 804.331
c NEW SOLUTION FOUND: 18425 @ 804.757
c NEW SOLUTION FOUND: 18422 @ 805.178
c NEW SOLUTION FOUND: 18419 @ 805.624
c NEW SOLUTION FOUND: 18416 @ 806.055
c NEW SOLUTION FOUND: 18411 @ 806.491
c NEW SOLUTION FOUND: 18408 @ 806.906
c NEW SOLUTION FOUND: 18405 @ 807.356
c NEW SOLUTION FOUND: 18402 @ 807.786
c NEW SOLUTION FOUND: 18399 @ 808.225
c NEW SOLUTION FOUND: 18396 @ 808.662
c NEW SOLUTION FOUND: 18393 @ 809.093
c NEW SOLUTION FOUND: 18390 @ 809.53
c NEW SOLUTION FOUND: 18386 @ 809.967
c NEW SOLUTION FOUND: 18382 @ 810.412
c NEW SOLUTION FOUND: 18378 @ 810.846
c NEW SOLUTION FOUND: 18374 @ 811.279
c NEW SOLUTION FOUND: 18370 @ 811.706
c NEW SOLUTION FOUND: 18366 @ 812.134
c NEW SOLUTION FOUND: 18362 @ 812.555
c NEW SOLUTION FOUND: 18352 @ 812.987
c NEW SOLUTION FOUND: 18348 @ 813.399
c NEW SOLUTION FOUND: 18338 @ 813.854
c NEW SOLUTION FOUND: 18334 @ 814.271
c NEW SOLUTION FOUND: 18330 @ 814.7
c NEW SOLUTION FOUND: 18326 @ 815.129
c NEW SOLUTION FOUND: 18322 @ 815.58
c NEW SOLUTION FOUND: 18318 @ 816.002
c NEW SOLUTION FOUND: 18314 @ 816.433
c NEW SOLUTION FOUND: 18310 @ 816.857
c NEW SOLUTION FOUND: 18306 @ 817.291
c NEW SOLUTION FOUND: 18302 @ 817.725
c NEW SOLUTION FOUND: 18298 @ 818.168
c NEW SOLUTION FOUND: 18294 @ 818.615
c NEW SOLUTION FOUND: 18290 @ 819.055
c NEW SOLUTION FOUND: 18286 @ 819.513
c NEW SOLUTION FOUND: 18282 @ 819.951
c NEW SOLUTION FOUND: 18278 @ 820.387
c NEW SOLUTION FOUND: 18274 @ 820.817
c NEW SOLUTION FOUND: 18270 @ 821.25
c NEW SOLUTION FOUND: 18266 @ 821.683
c NEW SOLUTION FOUND: 18262 @ 822.115
c NEW SOLUTION FOUND: 18258 @ 822.553
c NEW SOLUTION FOUND: 18254 @ 822.988
c NEW SOLUTION FOUND: 18250 @ 823.429
c NEW SOLUTION FOUND: 18246 @ 823.879
c NEW SOLUTION FOUND: 18242 @ 824.311
c NEW SOLUTION FOUND: 18238 @ 824.747
c NEW SOLUTION FOUND: 18234 @ 825.183
c NEW SOLUTION FOUND: 18230 @ 825.618
c NEW SOLUTION FOUND: 18226 @ 826.055
c NEW SOLUTION FOUND: 18222 @ 826.509
c NEW SOLUTION FOUND: 18218 @ 826.943
c NEW SOLUTION FOUND: 18214 @ 827.399
c NEW SOLUTION FOUND: 18210 @ 827.833
c NEW SOLUTION FOUND: 18206 @ 828.288
c NEW SOLUTION FOUND: 18202 @ 828.735
c NEW SOLUTION FOUND: 18198 @ 829.17
c NEW SOLUTION FOUND: 18194 @ 829.608
c NEW SOLUTION FOUND: 18190 @ 830.043
c NEW SOLUTION FOUND: 18186 @ 830.498
c NEW SOLUTION FOUND: 18182 @ 830.928
c NEW SOLUTION FOUND: 18178 @ 831.363
c NEW SOLUTION FOUND: 18174 @ 831.802
c NEW SOLUTION FOUND: 18170 @ 832.237
c NEW SOLUTION FOUND: 18166 @ 832.694
c NEW SOLUTION FOUND: 18162 @ 833.128
c NEW SOLUTION FOUND: 18158 @ 833.568
c NEW SOLUTION FOUND: 18154 @ 834.001
c NEW SOLUTION FOUND: 18150 @ 834.435
c NEW SOLUTION FOUND: 18146 @ 834.877
c NEW SOLUTION FOUND: 18142 @ 835.33
c NEW SOLUTION FOUND: 18138 @ 835.767
c NEW SOLUTION FOUND: 18134 @ 836.193
c NEW SOLUTION FOUND: 18130 @ 836.624
c NEW SOLUTION FOUND: 18126 @ 837.081
c NEW SOLUTION FOUND: 18122 @ 837.519
c NEW SOLUTION FOUND: 18118 @ 838.004
c NEW SOLUTION FOUND: 18114 @ 838.439
c NEW SOLUTION FOUND: 18110 @ 838.875
c NEW SOLUTION FOUND: 18106 @ 839.327
c NEW SOLUTION FOUND: 18102 @ 839.782
c NEW SOLUTION FOUND: 18098 @ 840.217
c NEW SOLUTION FOUND: 18094 @ 840.654
c NEW SOLUTION FOUND: 18090 @ 841.094
c NEW SOLUTION FOUND: 18086 @ 841.528
c NEW SOLUTION FOUND: 18082 @ 841.971
c NEW SOLUTION FOUND: 18078 @ 842.419
c NEW SOLUTION FOUND: 18074 @ 842.855
c NEW SOLUTION FOUND: 18070 @ 843.293
c NEW SOLUTION FOUND: 18066 @ 843.735
c NEW SOLUTION FOUND: 18062 @ 844.163
c NEW SOLUTION FOUND: 18058 @ 844.619
c NEW SOLUTION FOUND: 18054 @ 845.063
c NEW SOLUTION FOUND: 18050 @ 845.521
c NEW SOLUTION FOUND: 18046 @ 845.951
c NEW SOLUTION FOUND: 18042 @ 846.391
c NEW SOLUTION FOUND: 18038 @ 846.838
c NEW SOLUTION FOUND: 18034 @ 847.272
c NEW SOLUTION FOUND: 18030 @ 847.704
c NEW SOLUTION FOUND: 18026 @ 848.131
c NEW SOLUTION FOUND: 18022 @ 848.563
c NEW SOLUTION FOUND: 18018 @ 848.992
c NEW SOLUTION FOUND: 18014 @ 849.446
c NEW SOLUTION FOUND: 18010 @ 849.876
c NEW SOLUTION FOUND: 18006 @ 850.332
c NEW SOLUTION FOUND: 18002 @ 850.761
c NEW SOLUTION FOUND: 17998 @ 851.218
c NEW SOLUTION FOUND: 17994 @ 851.65
c NEW SOLUTION FOUND: 17990 @ 852.109
c NEW SOLUTION FOUND: 17986 @ 852.546
c NEW SOLUTION FOUND: 17982 @ 853.002
c NEW SOLUTION FOUND: 17978 @ 853.426
c NEW SOLUTION FOUND: 17974 @ 853.869
c NEW SOLUTION FOUND: 17970 @ 854.321
c NEW SOLUTION FOUND: 17966 @ 854.753
c NEW SOLUTION FOUND: 17962 @ 855.187
c NEW SOLUTION FOUND: 17958 @ 855.63
c NEW SOLUTION FOUND: 17954 @ 856.08
c NEW SOLUTION FOUND: 17950 @ 856.511
c NEW SOLUTION FOUND: 17946 @ 856.962
c NEW SOLUTION FOUND: 17942 @ 857.389
c NEW SOLUTION FOUND: 17938 @ 857.819
c NEW SOLUTION FOUND: 17934 @ 858.251
c NEW SOLUTION FOUND: 17930 @ 858.706
c NEW SOLUTION FOUND: 17926 @ 859.136
c NEW SOLUTION FOUND: 17922 @ 859.566
c NEW SOLUTION FOUND: 17918 @ 859.999
c NEW SOLUTION FOUND: 17914 @ 860.454
c NEW SOLUTION FOUND: 17904 @ 860.893
c NEW SOLUTION FOUND: 17900 @ 861.323
c NEW SOLUTION FOUND: 17896 @ 861.755
c NEW SOLUTION FOUND: 17892 @ 862.197
c NEW SOLUTION FOUND: 17888 @ 862.633
c NEW SOLUTION FOUND: 17884 @ 863.067
c NEW SOLUTION FOUND: 17880 @ 863.502
c NEW SOLUTION FOUND: 17876 @ 863.934
c NEW SOLUTION FOUND: 17872 @ 864.375
c NEW SOLUTION FOUND: 17868 @ 864.83
c NEW SOLUTION FOUND: 17864 @ 865.263
c NEW SOLUTION FOUND: 17860 @ 865.702
c NEW SOLUTION FOUND: 17856 @ 866.16
c NEW SOLUTION FOUND: 17852 @ 866.6
c NEW SOLUTION FOUND: 17848 @ 867.03
c NEW SOLUTION FOUND: 17844 @ 867.472
c NEW SOLUTION FOUND: 17840 @ 867.915
c NEW SOLUTION FOUND: 17836 @ 868.344
c NEW SOLUTION FOUND: 17832 @ 868.781
c NEW SOLUTION FOUND: 17828 @ 869.238
c NEW SOLUTION FOUND: 17824 @ 869.692
c NEW SOLUTION FOUND: 17820 @ 870.135
c NEW SOLUTION FOUND: 17816 @ 870.593
c NEW SOLUTION FOUND: 17812 @ 871.032
c NEW SOLUTION FOUND: 17808 @ 871.466
c NEW SOLUTION FOUND: 17804 @ 871.901
c NEW SOLUTION FOUND: 17800 @ 872.336
c NEW SOLUTION FOUND: 17796 @ 872.767
c NEW SOLUTION FOUND: 17792 @ 873.209
c NEW SOLUTION FOUND: 17788 @ 873.656
c NEW SOLUTION FOUND: 17784 @ 874.117
c NEW SOLUTION FOUND: 17780 @ 874.556
c NEW SOLUTION FOUND: 17776 @ 874.991
c NEW SOLUTION FOUND: 17772 @ 875.447
c NEW SOLUTION FOUND: 17768 @ 875.891
c NEW SOLUTION FOUND: 17764 @ 876.365
c NEW SOLUTION FOUND: 17760 @ 876.81
c NEW SOLUTION FOUND: 17756 @ 877.249
c NEW SOLUTION FOUND: 17752 @ 877.694
c NEW SOLUTION FOUND: 17748 @ 878.139
c NEW SOLUTION FOUND: 17744 @ 878.594
c NEW SOLUTION FOUND: 17740 @ 879.052
c NEW SOLUTION FOUND: 17736 @ 879.491
c NEW SOLUTION FOUND: 17732 @ 879.952
c NEW SOLUTION FOUND: 17728 @ 880.395
c NEW SOLUTION FOUND: 17724 @ 880.854
c NEW SOLUTION FOUND: 17720 @ 881.299
c NEW SOLUTION FOUND: 17716 @ 881.752
c NEW SOLUTION FOUND: 17712 @ 882.195
c NEW SOLUTION FOUND: 17708 @ 882.654
c NEW SOLUTION FOUND: 17704 @ 883.107
c NEW SOLUTION FOUND: 17700 @ 883.568
c NEW SOLUTION FOUND: 17696 @ 884.022
c NEW SOLUTION FOUND: 17692 @ 884.483
c NEW SOLUTION FOUND: 17682 @ 884.923
c NEW SOLUTION FOUND: 17678 @ 885.371
c NEW SOLUTION FOUND: 17674 @ 885.801
c NEW SOLUTION FOUND: 17670 @ 886.238
c NEW SOLUTION FOUND: 17666 @ 886.673
c NEW SOLUTION FOUND: 17662 @ 887.111
c NEW SOLUTION FOUND: 17658 @ 887.541
c NEW SOLUTION FOUND: 17654 @ 887.991
c NEW SOLUTION FOUND: 17650 @ 888.448
c NEW SOLUTION FOUND: 17646 @ 888.892
c NEW SOLUTION FOUND: 17642 @ 889.327
c NEW SOLUTION FOUND: 17638 @ 889.768
c NEW SOLUTION FOUND: 17634 @ 890.204
c NEW SOLUTION FOUND: 17630 @ 890.645
c NEW SOLUTION FOUND: 17626 @ 891.086
c NEW SOLUTION FOUND: 17622 @ 891.519
c NEW SOLUTION FOUND: 17618 @ 891.971
c NEW SOLUTION FOUND: 17614 @ 892.414
c NEW SOLUTION FOUND: 17610 @ 892.867
c NEW SOLUTION FOUND: 17606 @ 893.312
c NEW SOLUTION FOUND: 17602 @ 893.77
c NEW SOLUTION FOUND: 17598 @ 894.208
c NEW SOLUTION FOUND: 17594 @ 894.647
c NEW SOLUTION FOUND: 17590 @ 895.107
c NEW SOLUTION FOUND: 17586 @ 895.547
c NEW SOLUTION FOUND: 17582 @ 895.986
c NEW SOLUTION FOUND: 17578 @ 896.431
c NEW SOLUTION FOUND: 17574 @ 896.86
c NEW SOLUTION FOUND: 17570 @ 897.295
c NEW SOLUTION FOUND: 17566 @ 897.731
c NEW SOLUTION FOUND: 17562 @ 898.164
c NEW SOLUTION FOUND: 17552 @ 898.619
c NEW SOLUTION FOUND: 17548 @ 899.036
c NEW SOLUTION FOUND: 17544 @ 899.475
c NEW SOLUTION FOUND: 17540 @ 899.912
c NEW SOLUTION FOUND: 17536 @ 900.349
c NEW SOLUTION FOUND: 17532 @ 900.777
c NEW SOLUTION FOUND: 17528 @ 901.216
c NEW SOLUTION FOUND: 17524 @ 901.647
c NEW SOLUTION FOUND: 17520 @ 902.086
c NEW SOLUTION FOUND: 17516 @ 902.514
c NEW SOLUTION FOUND: 17512 @ 902.953
c NEW SOLUTION FOUND: 17508 @ 903.379
c NEW SOLUTION FOUND: 17504 @ 903.837
c NEW SOLUTION FOUND: 17500 @ 904.277
c NEW SOLUTION FOUND: 17496 @ 904.734
c NEW SOLUTION FOUND: 17492 @ 905.175
c NEW SOLUTION FOUND: 17488 @ 905.635
c NEW SOLUTION FOUND: 17484 @ 906.078
c NEW SOLUTION FOUND: 17480 @ 906.539
c NEW SOLUTION FOUND: 17476 @ 906.98
c NEW SOLUTION FOUND: 17472 @ 907.444
c NEW SOLUTION FOUND: 17468 @ 907.886
c NEW SOLUTION FOUND: 17464 @ 908.321
c NEW SOLUTION FOUND: 17460 @ 908.764
c NEW SOLUTION FOUND: 17456 @ 909.208
c NEW SOLUTION FOUND: 17452 @ 909.637
c NEW SOLUTION FOUND: 17448 @ 910.084
c NEW SOLUTION FOUND: 17444 @ 910.512
c NEW SOLUTION FOUND: 17440 @ 910.959
c NEW SOLUTION FOUND: 17436 @ 911.39
c NEW SOLUTION FOUND: 17432 @ 911.825
c NEW SOLUTION FOUND: 17428 @ 912.256
c NEW SOLUTION FOUND: 17424 @ 912.692
c NEW SOLUTION FOUND: 17420 @ 913.119
c NEW SOLUTION FOUND: 17416 @ 913.551
c NEW SOLUTION FOUND: 17412 @ 913.993
c NEW SOLUTION FOUND: 17408 @ 914.442
c NEW SOLUTION FOUND: 17404 @ 914.902
c NEW SOLUTION FOUND: 17400 @ 915.333
c NEW SOLUTION FOUND: 17396 @ 915.774
c NEW SOLUTION FOUND: 17392 @ 916.207
c NEW SOLUTION FOUND: 17388 @ 916.668
c NEW SOLUTION FOUND: 17384 @ 917.099
c NEW SOLUTION FOUND: 17380 @ 917.555
c NEW SOLUTION FOUND: 17376 @ 917.99
c NEW SOLUTION FOUND: 17372 @ 918.451
c NEW SOLUTION FOUND: 17368 @ 918.884
c NEW SOLUTION FOUND: 17364 @ 919.345
c NEW SOLUTION FOUND: 17360 @ 919.784
c NEW SOLUTION FOUND: 17356 @ 920.245
c NEW SOLUTION FOUND: 17352 @ 920.681
c NEW SOLUTION FOUND: 17348 @ 921.143
c NEW SOLUTION FOUND: 17344 @ 921.587
c NEW SOLUTION FOUND: 17340 @ 922.048
c NEW SOLUTION FOUND: 17336 @ 922.496
c NEW SOLUTION FOUND: 17332 @ 922.957
c NEW SOLUTION FOUND: 17328 @ 923.4
c NEW SOLUTION FOUND: 17324 @ 923.838
c NEW SOLUTION FOUND: 17320 @ 924.282
c NEW SOLUTION FOUND: 17316 @ 924.719
c NEW SOLUTION FOUND: 17312 @ 925.162
c NEW SOLUTION FOUND: 17308 @ 925.601
c NEW SOLUTION FOUND: 17304 @ 926.041
c NEW SOLUTION FOUND: 17300 @ 926.503
c NEW SOLUTION FOUND: 17296 @ 926.944
c NEW SOLUTION FOUND: 17292 @ 927.404
c NEW SOLUTION FOUND: 17288 @ 927.851
c NEW SOLUTION FOUND: 17284 @ 928.289
c NEW SOLUTION FOUND: 17280 @ 928.729
c NEW SOLUTION FOUND: 17276 @ 929.191
c NEW SOLUTION FOUND: 17272 @ 929.63
c NEW SOLUTION FOUND: 17268 @ 930.093
c NEW SOLUTION FOUND: 17264 @ 930.54
c NEW SOLUTION FOUND: 17260 @ 930.978
c NEW SOLUTION FOUND: 17256 @ 931.42
c NEW SOLUTION FOUND: 17252 @ 931.858
c NEW SOLUTION FOUND: 17248 @ 932.304
c NEW SOLUTION FOUND: 17244 @ 932.744
c NEW SOLUTION FOUND: 17240 @ 933.205
c NEW SOLUTION FOUND: 17236 @ 933.637
c NEW SOLUTION FOUND: 17232 @ 934.093
c NEW SOLUTION FOUND: 17228 @ 934.527
c NEW SOLUTION FOUND: 17224 @ 934.989
c NEW SOLUTION FOUND: 17220 @ 935.448
c NEW SOLUTION FOUND: 17216 @ 935.91
c NEW SOLUTION FOUND: 17212 @ 936.347
c NEW SOLUTION FOUND: 17208 @ 936.791
c NEW SOLUTION FOUND: 17204 @ 937.236
c NEW SOLUTION FOUND: 17200 @ 937.672
c NEW SOLUTION FOUND: 17196 @ 938.107
c NEW SOLUTION FOUND: 17192 @ 938.546
c NEW SOLUTION FOUND: 17188 @ 938.982
c NEW SOLUTION FOUND: 17184 @ 939.421
c NEW SOLUTION FOUND: 17180 @ 939.866
c NEW SOLUTION FOUND: 17176 @ 940.304
c NEW SOLUTION FOUND: 17172 @ 940.748
c NEW SOLUTION FOUND: 17168 @ 941.188
c NEW SOLUTION FOUND: 17164 @ 941.63
c NEW SOLUTION FOUND: 17160 @ 942.068
c NEW SOLUTION FOUND: 17156 @ 942.502
c NEW SOLUTION FOUND: 17152 @ 942.963
c NEW SOLUTION FOUND: 17148 @ 943.396
c NEW SOLUTION FOUND: 17144 @ 943.841
c NEW SOLUTION FOUND: 17140 @ 944.296
c NEW SOLUTION FOUND: 17136 @ 944.761
c NEW SOLUTION FOUND: 17132 @ 945.216
c NEW SOLUTION FOUND: 17128 @ 945.655
c NEW SOLUTION FOUND: 17124 @ 946.085
c NEW SOLUTION FOUND: 17120 @ 946.526
c NEW SOLUTION FOUND: 17116 @ 946.963
c NEW SOLUTION FOUND: 17112 @ 947.403
c NEW SOLUTION FOUND: 17108 @ 947.845
c NEW SOLUTION FOUND: 17104 @ 948.287
c NEW SOLUTION FOUND: 17100 @ 948.729
c NEW SOLUTION FOUND: 17096 @ 949.175
c NEW SOLUTION FOUND: 17092 @ 949.633
c NEW SOLUTION FOUND: 17088 @ 950.079
c NEW SOLUTION FOUND: 17084 @ 950.516
c NEW SOLUTION FOUND: 17080 @ 950.963
c NEW SOLUTION FOUND: 17076 @ 951.401
c NEW SOLUTION FOUND: 17072 @ 951.848
c NEW SOLUTION FOUND: 17068 @ 952.289
c NEW SOLUTION FOUND: 17064 @ 952.735
c NEW SOLUTION FOUND: 17060 @ 953.171
c NEW SOLUTION FOUND: 17056 @ 953.616
c NEW SOLUTION FOUND: 17052 @ 954.06
c NEW SOLUTION FOUND: 17048 @ 954.496
c NEW SOLUTION FOUND: 17044 @ 954.934
c NEW SOLUTION FOUND: 17040 @ 955.382
c NEW SOLUTION FOUND: 17036 @ 955.841
c NEW SOLUTION FOUND: 17032 @ 956.28
c NEW SOLUTION FOUND: 17028 @ 956.746
c NEW SOLUTION FOUND: 17024 @ 957.192
c NEW SOLUTION FOUND: 17020 @ 957.65
c NEW SOLUTION FOUND: 17016 @ 958.087
c NEW SOLUTION FOUND: 17012 @ 958.549
c NEW SOLUTION FOUND: 17008 @ 958.987
c NEW SOLUTION FOUND: 17004 @ 959.449
c NEW SOLUTION FOUND: 17000 @ 959.887
c NEW SOLUTION FOUND: 16996 @ 960.35
c NEW SOLUTION FOUND: 16992 @ 960.786
c NEW SOLUTION FOUND: 16988 @ 961.247
c NEW SOLUTION FOUND: 16984 @ 961.685
c NEW SOLUTION FOUND: 16980 @ 962.147
c NEW SOLUTION FOUND: 16976 @ 962.584
c NEW SOLUTION FOUND: 16972 @ 963.047
c NEW SOLUTION FOUND: 16968 @ 963.484
c NEW SOLUTION FOUND: 16964 @ 963.925
c NEW SOLUTION FOUND: 16960 @ 964.363
c NEW SOLUTION FOUND: 16956 @ 964.827
c NEW SOLUTION FOUND: 16952 @ 965.265
c NEW SOLUTION FOUND: 16948 @ 965.726
c NEW SOLUTION FOUND: 16944 @ 966.165
c NEW SOLUTION FOUND: 16940 @ 966.61
c NEW SOLUTION FOUND: 16936 @ 967.048
c NEW SOLUTION FOUND: 16932 @ 967.499
c NEW SOLUTION FOUND: 16928 @ 967.933
c NEW SOLUTION FOUND: 16924 @ 968.375
c NEW SOLUTION FOUND: 16920 @ 968.809
c NEW SOLUTION FOUND: 16916 @ 969.26
c NEW SOLUTION FOUND: 16912 @ 969.698
c NEW SOLUTION FOUND: 16908 @ 970.131
c NEW SOLUTION FOUND: 16904 @ 970.575
c NEW SOLUTION FOUND: 16900 @ 971.034
c NEW SOLUTION FOUND: 16896 @ 971.474
c NEW SOLUTION FOUND: 16892 @ 971.913
c NEW SOLUTION FOUND: 16888 @ 972.35
c NEW SOLUTION FOUND: 16884 @ 972.809
c NEW SOLUTION FOUND: 16880 @ 973.259
c NEW SOLUTION FOUND: 16876 @ 973.72
c NEW SOLUTION FOUND: 16872 @ 974.156
c NEW SOLUTION FOUND: 16868 @ 974.599
c NEW SOLUTION FOUND: 16864 @ 975.049
c NEW SOLUTION FOUND: 16860 @ 975.492
c NEW SOLUTION FOUND: 16856 @ 975.942
c NEW SOLUTION FOUND: 16852 @ 976.383
c NEW SOLUTION FOUND: 16848 @ 976.839
c NEW SOLUTION FOUND: 16844 @ 977.282
c NEW SOLUTION FOUND: 16840 @ 977.718
c NEW SOLUTION FOUND: 16836 @ 978.161
c NEW SOLUTION FOUND: 16832 @ 978.614
c NEW SOLUTION FOUND: 16828 @ 979.056
c NEW SOLUTION FOUND: 16824 @ 979.508
c NEW SOLUTION FOUND: 16820 @ 979.949
c NEW SOLUTION FOUND: 16816 @ 980.396
c NEW SOLUTION FOUND: 16812 @ 980.837
c NEW SOLUTION FOUND: 16808 @ 981.288
c NEW SOLUTION FOUND: 16804 @ 981.729
c NEW SOLUTION FOUND: 16800 @ 982.175
c NEW SOLUTION FOUND: 16796 @ 982.617
c NEW SOLUTION FOUND: 16792 @ 983.065
c NEW SOLUTION FOUND: 16788 @ 983.506
c NEW SOLUTION FOUND: 16784 @ 983.953
c NEW SOLUTION FOUND: 16780 @ 984.394
c NEW SOLUTION FOUND: 16776 @ 984.841
c NEW SOLUTION FOUND: 16772 @ 985.283
c NEW SOLUTION FOUND: 16768 @ 985.733
c NEW SOLUTION FOUND: 16764 @ 986.174
c NEW SOLUTION FOUND: 16760 @ 986.629
c NEW SOLUTION FOUND: 16756 @ 987.071
c NEW SOLUTION FOUND: 16752 @ 987.516
c NEW SOLUTION FOUND: 16748 @ 987.958
c NEW SOLUTION FOUND: 16744 @ 988.391
c NEW SOLUTION FOUND: 16740 @ 988.832
c NEW SOLUTION FOUND: 16736 @ 989.266
c NEW SOLUTION FOUND: 16732 @ 989.708
c NEW SOLUTION FOUND: 16728 @ 990.142
c NEW SOLUTION FOUND: 16724 @ 990.583
c NEW SOLUTION FOUND: 16720 @ 991.017
c NEW SOLUTION FOUND: 16716 @ 991.458
c NEW SOLUTION FOUND: 16712 @ 991.885
c NEW SOLUTION FOUND: 16708 @ 992.321
c NEW SOLUTION FOUND: 16704 @ 992.752
c NEW SOLUTION FOUND: 16694 @ 993.211
c NEW SOLUTION FOUND: 16690 @ 993.645
c NEW SOLUTION FOUND: 16686 @ 994.093
c NEW SOLUTION FOUND: 16682 @ 994.548
c NEW SOLUTION FOUND: 16678 @ 994.992
c NEW SOLUTION FOUND: 16674 @ 995.435
c NEW SOLUTION FOUND: 16670 @ 995.879
c NEW SOLUTION FOUND: 16666 @ 996.32
c NEW SOLUTION FOUND: 16662 @ 996.758
c NEW SOLUTION FOUND: 16658 @ 997.191
c NEW SOLUTION FOUND: 16654 @ 997.633
c NEW SOLUTION FOUND: 16650 @ 998.078
c NEW SOLUTION FOUND: 16646 @ 998.525
c NEW SOLUTION FOUND: 16642 @ 998.967
c NEW SOLUTION FOUND: 16638 @ 999.407
c NEW SOLUTION FOUND: 16634 @ 999.852
c NEW SOLUTION FOUND: 16630 @ 1000.29
c NEW SOLUTION FOUND: 16626 @ 1000.75
c NEW SOLUTION FOUND: 16622 @ 1001.2
c NEW SOLUTION FOUND: 16618 @ 1001.66
c NEW SOLUTION FOUND: 16614 @ 1002.11
c NEW SOLUTION FOUND: 16610 @ 1002.56
c NEW SOLUTION FOUND: 16606 @ 1003
c NEW SOLUTION FOUND: 16602 @ 1003.44
c NEW SOLUTION FOUND: 16598 @ 1003.88
c NEW SOLUTION FOUND: 16594 @ 1004.33
c NEW SOLUTION FOUND: 16590 @ 1004.77
c NEW SOLUTION FOUND: 16586 @ 1005.22
c NEW SOLUTION FOUND: 16582 @ 1005.65
c NEW SOLUTION FOUND: 16578 @ 1006.11
c NEW SOLUTION FOUND: 16574 @ 1006.56
c NEW SOLUTION FOUND: 16570 @ 1007
c NEW SOLUTION FOUND: 16566 @ 1007.46
c NEW SOLUTION FOUND: 16562 @ 1007.91
c NEW SOLUTION FOUND: 16558 @ 1008.36
c NEW SOLUTION FOUND: 16554 @ 1008.8
c NEW SOLUTION FOUND: 16550 @ 1009.26
c NEW SOLUTION FOUND: 16546 @ 1009.72
c NEW SOLUTION FOUND: 16542 @ 1010.18
c NEW SOLUTION FOUND: 16538 @ 1010.64
c NEW SOLUTION FOUND: 16534 @ 1011.09
c NEW SOLUTION FOUND: 16530 @ 1011.54
c NEW SOLUTION FOUND: 16526 @ 1012
c NEW SOLUTION FOUND: 16522 @ 1012.44
c NEW SOLUTION FOUND: 16518 @ 1012.9
c NEW SOLUTION FOUND: 16514 @ 1013.34
c NEW SOLUTION FOUND: 16510 @ 1013.8
c NEW SOLUTION FOUND: 16506 @ 1014.24
c NEW SOLUTION FOUND: 16502 @ 1014.7
c NEW SOLUTION FOUND: 16498 @ 1015.14
c NEW SOLUTION FOUND: 16494 @ 1015.58
c NEW SOLUTION FOUND: 16490 @ 1016.04
c NEW SOLUTION FOUND: 16486 @ 1016.49
c NEW SOLUTION FOUND: 16482 @ 1016.95
c NEW SOLUTION FOUND: 16478 @ 1017.39
c NEW SOLUTION FOUND: 16474 @ 1017.85
c NEW SOLUTION FOUND: 16470 @ 1018.29
c NEW SOLUTION FOUND: 16466 @ 1018.73
c NEW SOLUTION FOUND: 16462 @ 1019.19
c NEW SOLUTION FOUND: 16458 @ 1019.62
c NEW SOLUTION FOUND: 16454 @ 1020.08
c NEW SOLUTION FOUND: 16450 @ 1020.52
c NEW SOLUTION FOUND: 16446 @ 1020.96
c NEW SOLUTION FOUND: 16442 @ 1021.4
c NEW SOLUTION FOUND: 16438 @ 1021.84
c NEW SOLUTION FOUND: 16434 @ 1022.27
c NEW SOLUTION FOUND: 16430 @ 1022.72
c NEW SOLUTION FOUND: 16426 @ 1023.16
c NEW SOLUTION FOUND: 16422 @ 1023.6
c NEW SOLUTION FOUND: 16418 @ 1024.04
c NEW SOLUTION FOUND: 16414 @ 1024.48
c NEW SOLUTION FOUND: 16410 @ 1024.92
c NEW SOLUTION FOUND: 16400 @ 1025.37
c NEW SOLUTION FOUND: 16396 @ 1025.81
c NEW SOLUTION FOUND: 16392 @ 1026.27
c NEW SOLUTION FOUND: 16388 @ 1026.7
c NEW SOLUTION FOUND: 16384 @ 1027.16
c NEW SOLUTION FOUND: 16380 @ 1027.61
c NEW SOLUTION FOUND: 16376 @ 1028.06
c NEW SOLUTION FOUND: 16372 @ 1028.49
c NEW SOLUTION FOUND: 16368 @ 1028.93
c NEW SOLUTION FOUND: 16364 @ 1029.39
c NEW SOLUTION FOUND: 16360 @ 1029.84
c NEW SOLUTION FOUND: 16356 @ 1030.28
c NEW SOLUTION FOUND: 16352 @ 1030.73
c NEW SOLUTION FOUND: 16348 @ 1031.17
c NEW SOLUTION FOUND: 16344 @ 1031.6
c NEW SOLUTION FOUND: 16340 @ 1032.05
c NEW SOLUTION FOUND: 16336 @ 1032.49
c NEW SOLUTION FOUND: 16332 @ 1032.94
c NEW SOLUTION FOUND: 16328 @ 1033.37
c NEW SOLUTION FOUND: 16324 @ 1033.82
c NEW SOLUTION FOUND: 16320 @ 1034.26
c NEW SOLUTION FOUND: 16316 @ 1034.71
c NEW SOLUTION FOUND: 16312 @ 1035.15
c NEW SOLUTION FOUND: 16308 @ 1035.6
c NEW SOLUTION FOUND: 16304 @ 1036.05
c NEW SOLUTION FOUND: 16300 @ 1036.49
c NEW SOLUTION FOUND: 16296 @ 1036.94
c NEW SOLUTION FOUND: 16292 @ 1037.38
c NEW SOLUTION FOUND: 16288 @ 1037.83
c NEW SOLUTION FOUND: 16284 @ 1038.27
c NEW SOLUTION FOUND: 16280 @ 1038.72
c NEW SOLUTION FOUND: 16276 @ 1039.16
c NEW SOLUTION FOUND: 16272 @ 1039.6
c NEW SOLUTION FOUND: 16268 @ 1040.04
c NEW SOLUTION FOUND: 16264 @ 1040.48
c NEW SOLUTION FOUND: 16260 @ 1040.92
c NEW SOLUTION FOUND: 16256 @ 1041.37
c NEW SOLUTION FOUND: 16252 @ 1041.81
c NEW SOLUTION FOUND: 16248 @ 1042.25
c NEW SOLUTION FOUND: 16244 @ 1042.69
c NEW SOLUTION FOUND: 16240 @ 1043.13
c NEW SOLUTION FOUND: 16236 @ 1043.58
c NEW SOLUTION FOUND: 16232 @ 1044.01
c NEW SOLUTION FOUND: 16228 @ 1044.46
c NEW SOLUTION FOUND: 16224 @ 1044.9
c NEW SOLUTION FOUND: 16220 @ 1045.35
c NEW SOLUTION FOUND: 16216 @ 1045.79
c NEW SOLUTION FOUND: 16212 @ 1046.23
c NEW SOLUTION FOUND: 16208 @ 1046.68
c NEW SOLUTION FOUND: 16204 @ 1047.12
c NEW SOLUTION FOUND: 16200 @ 1047.58
c NEW SOLUTION FOUND: 16196 @ 1048.04
c NEW SOLUTION FOUND: 16192 @ 1048.49
c NEW SOLUTION FOUND: 16188 @ 1048.96
c NEW SOLUTION FOUND: 16184 @ 1049.42
c NEW SOLUTION FOUND: 16180 @ 1049.86
c NEW SOLUTION FOUND: 16176 @ 1050.31
c NEW SOLUTION FOUND: 16172 @ 1050.76
c NEW SOLUTION FOUND: 16168 @ 1051.2
c NEW SOLUTION FOUND: 16164 @ 1051.65
c NEW SOLUTION FOUND: 16160 @ 1052.09
c NEW SOLUTION FOUND: 16156 @ 1052.53
c NEW SOLUTION FOUND: 16152 @ 1052.97
c NEW SOLUTION FOUND: 16148 @ 1053.41
c NEW SOLUTION FOUND: 16144 @ 1053.85
c NEW SOLUTION FOUND: 16140 @ 1054.3
c NEW SOLUTION FOUND: 16136 @ 1054.74
c NEW SOLUTION FOUND: 16132 @ 1055.18
c NEW SOLUTION FOUND: 16128 @ 1055.64
c NEW SOLUTION FOUND: 16124 @ 1056.09
c NEW SOLUTION FOUND: 16120 @ 1056.55
c NEW SOLUTION FOUND: 16116 @ 1056.99
c NEW SOLUTION FOUND: 16112 @ 1057.42
c NEW SOLUTION FOUND: 16108 @ 1057.86
c NEW SOLUTION FOUND: 16104 @ 1058.3
c NEW SOLUTION FOUND: 16100 @ 1058.74
c NEW SOLUTION FOUND: 16096 @ 1059.18
c NEW SOLUTION FOUND: 16092 @ 1059.61
c NEW SOLUTION FOUND: 16088 @ 1060.07
c NEW SOLUTION FOUND: 16084 @ 1060.51
c NEW SOLUTION FOUND: 16080 @ 1060.97
c NEW SOLUTION FOUND: 16076 @ 1061.41
c NEW SOLUTION FOUND: 16072 @ 1061.84
c NEW SOLUTION FOUND: 16068 @ 1062.29
c NEW SOLUTION FOUND: 16064 @ 1062.72
c NEW SOLUTION FOUND: 16060 @ 1063.16
c NEW SOLUTION FOUND: 16056 @ 1063.62
c NEW SOLUTION FOUND: 16052 @ 1064.07
c NEW SOLUTION FOUND: 16048 @ 1064.5
c NEW SOLUTION FOUND: 16044 @ 1064.94
c NEW SOLUTION FOUND: 16040 @ 1065.41
c NEW SOLUTION FOUND: 16036 @ 1065.85
c NEW SOLUTION FOUND: 16032 @ 1066.32
c NEW SOLUTION FOUND: 16028 @ 1066.76
c NEW SOLUTION FOUND: 16024 @ 1067.22
c NEW SOLUTION FOUND: 16020 @ 1067.66
c NEW SOLUTION FOUND: 16016 @ 1068.12
c NEW SOLUTION FOUND: 16012 @ 1068.56
c NEW SOLUTION FOUND: 16008 @ 1069.02
c NEW SOLUTION FOUND: 16004 @ 1069.46
c NEW SOLUTION FOUND: 16000 @ 1069.9
c NEW SOLUTION FOUND: 15996 @ 1070.37
c NEW SOLUTION FOUND: 15986 @ 1070.84
c NEW SOLUTION FOUND: 15982 @ 1071.27
c NEW SOLUTION FOUND: 15978 @ 1071.74
c NEW SOLUTION FOUND: 15974 @ 1072.2
c NEW SOLUTION FOUND: 15970 @ 1072.67
c NEW SOLUTION FOUND: 15966 @ 1073.13
c NEW SOLUTION FOUND: 15962 @ 1073.61
c NEW SOLUTION FOUND: 15958 @ 1074.06
c NEW SOLUTION FOUND: 15954 @ 1074.53
c NEW SOLUTION FOUND: 15950 @ 1075
c NEW SOLUTION FOUND: 15946 @ 1075.46
c NEW SOLUTION FOUND: 15942 @ 1075.93
c NEW SOLUTION FOUND: 15938 @ 1076.4
c NEW SOLUTION FOUND: 15934 @ 1076.85
c NEW SOLUTION FOUND: 15930 @ 1077.31
c NEW SOLUTION FOUND: 15926 @ 1077.77
c NEW SOLUTION FOUND: 15922 @ 1078.23
c NEW SOLUTION FOUND: 15918 @ 1078.69
c NEW SOLUTION FOUND: 15914 @ 1079.13
c NEW SOLUTION FOUND: 15910 @ 1079.59
c NEW SOLUTION FOUND: 15906 @ 1080.03
c NEW SOLUTION FOUND: 15902 @ 1080.49
c NEW SOLUTION FOUND: 15898 @ 1080.93
c NEW SOLUTION FOUND: 15894 @ 1081.4
c NEW SOLUTION FOUND: 15890 @ 1081.86
c NEW SOLUTION FOUND: 15886 @ 1082.31
c NEW SOLUTION FOUND: 15882 @ 1082.75
c NEW SOLUTION FOUND: 15878 @ 1083.2
c NEW SOLUTION FOUND: 15874 @ 1083.64
c NEW SOLUTION FOUND: 15870 @ 1084.08
c NEW SOLUTION FOUND: 15866 @ 1084.52
c NEW SOLUTION FOUND: 15862 @ 1084.96
c NEW SOLUTION FOUND: 15858 @ 1085.4
c NEW SOLUTION FOUND: 15854 @ 1085.84
c NEW SOLUTION FOUND: 15850 @ 1086.28
c NEW SOLUTION FOUND: 15846 @ 1086.72
c NEW SOLUTION FOUND: 15842 @ 1087.17
c NEW SOLUTION FOUND: 15838 @ 1087.62
c NEW SOLUTION FOUND: 15834 @ 1088.06
c NEW SOLUTION FOUND: 15830 @ 1088.52
c NEW SOLUTION FOUND: 15826 @ 1088.98
c NEW SOLUTION FOUND: 15822 @ 1089.42
c NEW SOLUTION FOUND: 15818 @ 1089.89
c NEW SOLUTION FOUND: 15814 @ 1090.33
c NEW SOLUTION FOUND: 15810 @ 1090.8
c NEW SOLUTION FOUND: 15806 @ 1091.23
c NEW SOLUTION FOUND: 15802 @ 1091.69
c NEW SOLUTION FOUND: 15798 @ 1092.13
c NEW SOLUTION FOUND: 15794 @ 1092.59
c NEW SOLUTION FOUND: 15790 @ 1093.06
c NEW SOLUTION FOUND: 15786 @ 1093.52
c NEW SOLUTION FOUND: 15782 @ 1093.99
c NEW SOLUTION FOUND: 15778 @ 1094.45
c NEW SOLUTION FOUND: 15774 @ 1094.92
c NEW SOLUTION FOUND: 15770 @ 1095.38
c NEW SOLUTION FOUND: 15766 @ 1095.84
c NEW SOLUTION FOUND: 15762 @ 1096.3
c NEW SOLUTION FOUND: 15758 @ 1096.77
c NEW SOLUTION FOUND: 15754 @ 1097.23
c NEW SOLUTION FOUND: 15750 @ 1097.7
c NEW SOLUTION FOUND: 15746 @ 1098.16
c NEW SOLUTION FOUND: 15742 @ 1098.62
c NEW SOLUTION FOUND: 15738 @ 1099.06
c NEW SOLUTION FOUND: 15734 @ 1099.53
c NEW SOLUTION FOUND: 15730 @ 1099.99
c NEW SOLUTION FOUND: 15726 @ 1100.45
c NEW SOLUTION FOUND: 15722 @ 1100.91
c NEW SOLUTION FOUND: 15718 @ 1101.38
c NEW SOLUTION FOUND: 15714 @ 1101.84
c NEW SOLUTION FOUND: 15710 @ 1102.29
c NEW SOLUTION FOUND: 15706 @ 1102.75
c NEW SOLUTION FOUND: 15702 @ 1103.21
c NEW SOLUTION FOUND: 15698 @ 1103.67
c NEW SOLUTION FOUND: 15694 @ 1104.13
c NEW SOLUTION FOUND: 15690 @ 1104.57
c NEW SOLUTION FOUND: 15686 @ 1105.03
c NEW SOLUTION FOUND: 15682 @ 1105.47
c NEW SOLUTION FOUND: 15678 @ 1105.94
c NEW SOLUTION FOUND: 15674 @ 1106.37
c NEW SOLUTION FOUND: 15670 @ 1106.82
c NEW SOLUTION FOUND: 15666 @ 1107.26
c NEW SOLUTION FOUND: 15662 @ 1107.71
c NEW SOLUTION FOUND: 15658 @ 1108.17
c NEW SOLUTION FOUND: 15654 @ 1108.62
c NEW SOLUTION FOUND: 15650 @ 1109.07
c NEW SOLUTION FOUND: 15646 @ 1109.52
c NEW SOLUTION FOUND: 15642 @ 1109.97
c NEW SOLUTION FOUND: 15638 @ 1110.41
c NEW SOLUTION FOUND: 15634 @ 1110.88
c NEW SOLUTION FOUND: 15630 @ 1111.32
c NEW SOLUTION FOUND: 15626 @ 1111.79
c NEW SOLUTION FOUND: 15622 @ 1112.23
c NEW SOLUTION FOUND: 15618 @ 1112.69
c NEW SOLUTION FOUND: 15614 @ 1113.14
c NEW SOLUTION FOUND: 15610 @ 1113.59
c NEW SOLUTION FOUND: 15606 @ 1114.04
c NEW SOLUTION FOUND: 15602 @ 1114.49
c NEW SOLUTION FOUND: 15598 @ 1114.93
c NEW SOLUTION FOUND: 15594 @ 1115.4
c NEW SOLUTION FOUND: 15590 @ 1115.85
c NEW SOLUTION FOUND: 15586 @ 1116.29
c NEW SOLUTION FOUND: 15582 @ 1116.74
c NEW SOLUTION FOUND: 15578 @ 1117.18
c NEW SOLUTION FOUND: 15574 @ 1117.64
c NEW SOLUTION FOUND: 15570 @ 1118.08
c NEW SOLUTION FOUND: 15566 @ 1118.53
c NEW SOLUTION FOUND: 15562 @ 1118.97
c NEW SOLUTION FOUND: 15558 @ 1119.42
c NEW SOLUTION FOUND: 15554 @ 1119.86
c NEW SOLUTION FOUND: 15550 @ 1120.31
c NEW SOLUTION FOUND: 15546 @ 1120.76
c NEW SOLUTION FOUND: 15542 @ 1121.21
c NEW SOLUTION FOUND: 15538 @ 1121.68
c NEW SOLUTION FOUND: 15534 @ 1122.13
c NEW SOLUTION FOUND: 15524 @ 1122.61
c NEW SOLUTION FOUND: 15520 @ 1123.04
c NEW SOLUTION FOUND: 15516 @ 1123.49
c NEW SOLUTION FOUND: 15512 @ 1123.93
c NEW SOLUTION FOUND: 15508 @ 1124.39
c NEW SOLUTION FOUND: 15504 @ 1124.85
c NEW SOLUTION FOUND: 15500 @ 1125.3
c NEW SOLUTION FOUND: 15496 @ 1125.74
c NEW SOLUTION FOUND: 15492 @ 1126.19
c NEW SOLUTION FOUND: 15488 @ 1126.64
c NEW SOLUTION FOUND: 15484 @ 1127.09
c NEW SOLUTION FOUND: 15480 @ 1127.53
c NEW SOLUTION FOUND: 15476 @ 1127.98
c NEW SOLUTION FOUND: 15472 @ 1128.43
c NEW SOLUTION FOUND: 15468 @ 1128.89
c NEW SOLUTION FOUND: 15464 @ 1129.34
c NEW SOLUTION FOUND: 15460 @ 1129.79
c NEW SOLUTION FOUND: 15456 @ 1130.24
c NEW SOLUTION FOUND: 15452 @ 1130.7
c NEW SOLUTION FOUND: 15448 @ 1131.16
c NEW SOLUTION FOUND: 15444 @ 1131.6
c NEW SOLUTION FOUND: 15440 @ 1132.06
c NEW SOLUTION FOUND: 15436 @ 1132.51
c NEW SOLUTION FOUND: 15432 @ 1132.96
c NEW SOLUTION FOUND: 15428 @ 1133.42
c NEW SOLUTION FOUND: 15424 @ 1133.87
c NEW SOLUTION FOUND: 15420 @ 1134.32
c NEW SOLUTION FOUND: 15416 @ 1134.79
c NEW SOLUTION FOUND: 15412 @ 1135.24
c NEW SOLUTION FOUND: 15408 @ 1135.71
c NEW SOLUTION FOUND: 15404 @ 1136.17
c NEW SOLUTION FOUND: 15400 @ 1136.62
c NEW SOLUTION FOUND: 15396 @ 1137.08
c NEW SOLUTION FOUND: 15392 @ 1137.54
c NEW SOLUTION FOUND: 15388 @ 1138
c NEW SOLUTION FOUND: 15384 @ 1138.44
c NEW SOLUTION FOUND: 15380 @ 1138.91
c NEW SOLUTION FOUND: 15376 @ 1139.36
c NEW SOLUTION FOUND: 15372 @ 1139.83
c NEW SOLUTION FOUND: 15368 @ 1140.28
c NEW SOLUTION FOUND: 15364 @ 1140.73
c NEW SOLUTION FOUND: 15360 @ 1141.18
c NEW SOLUTION FOUND: 15356 @ 1141.63
c NEW SOLUTION FOUND: 15352 @ 1142.08
c NEW SOLUTION FOUND: 15348 @ 1142.53
c NEW SOLUTION FOUND: 15344 @ 1142.98
c NEW SOLUTION FOUND: 15340 @ 1143.45
c NEW SOLUTION FOUND: 15336 @ 1143.9
c NEW SOLUTION FOUND: 15332 @ 1144.36
c NEW SOLUTION FOUND: 15328 @ 1144.81
c NEW SOLUTION FOUND: 15324 @ 1145.26
c NEW SOLUTION FOUND: 15320 @ 1145.7
c NEW SOLUTION FOUND: 15316 @ 1146.16
c NEW SOLUTION FOUND: 15312 @ 1146.61
c NEW SOLUTION FOUND: 15308 @ 1147.08
c NEW SOLUTION FOUND: 15304 @ 1147.53
c NEW SOLUTION FOUND: 15300 @ 1148
c NEW SOLUTION FOUND: 15296 @ 1148.45
c NEW SOLUTION FOUND: 15292 @ 1148.9
c NEW SOLUTION FOUND: 15288 @ 1149.35
c NEW SOLUTION FOUND: 15284 @ 1149.81
c NEW SOLUTION FOUND: 15280 @ 1150.24
c NEW SOLUTION FOUND: 15276 @ 1150.7
c NEW SOLUTION FOUND: 15272 @ 1151.15
c NEW SOLUTION FOUND: 15268 @ 1151.59
c NEW SOLUTION FOUND: 15264 @ 1152.06
c NEW SOLUTION FOUND: 15260 @ 1152.51
c NEW SOLUTION FOUND: 15256 @ 1152.96
c NEW SOLUTION FOUND: 15252 @ 1153.4
c NEW SOLUTION FOUND: 15248 @ 1153.86
c NEW SOLUTION FOUND: 15244 @ 1154.3
c NEW SOLUTION FOUND: 15240 @ 1154.75
c NEW SOLUTION FOUND: 15236 @ 1155.21
c NEW SOLUTION FOUND: 15232 @ 1155.66
c NEW SOLUTION FOUND: 15228 @ 1156.14
c NEW SOLUTION FOUND: 15224 @ 1156.61
c NEW SOLUTION FOUND: 15220 @ 1157.08
c NEW SOLUTION FOUND: 15216 @ 1157.53
c NEW SOLUTION FOUND: 15212 @ 1157.99
c NEW SOLUTION FOUND: 15208 @ 1158.44
c NEW SOLUTION FOUND: 15204 @ 1158.88
c NEW SOLUTION FOUND: 15200 @ 1159.34
c NEW SOLUTION FOUND: 15196 @ 1159.82
c NEW SOLUTION FOUND: 15192 @ 1160.26
c NEW SOLUTION FOUND: 15188 @ 1160.73
c NEW SOLUTION FOUND: 15184 @ 1161.18
c NEW SOLUTION FOUND: 15180 @ 1161.63
c NEW SOLUTION FOUND: 15176 @ 1162.09
c NEW SOLUTION FOUND: 15172 @ 1162.56
c NEW SOLUTION FOUND: 15168 @ 1163.03
c NEW SOLUTION FOUND: 15164 @ 1163.51
c NEW SOLUTION FOUND: 15160 @ 1163.96
c NEW SOLUTION FOUND: 15156 @ 1164.42
c NEW SOLUTION FOUND: 15152 @ 1164.87
c NEW SOLUTION FOUND: 15148 @ 1165.35
c NEW SOLUTION FOUND: 15144 @ 1165.79
c NEW SOLUTION FOUND: 15140 @ 1166.27
c NEW SOLUTION FOUND: 15136 @ 1166.71
c NEW SOLUTION FOUND: 15132 @ 1167.16
c NEW SOLUTION FOUND: 15128 @ 1167.64
c NEW SOLUTION FOUND: 15124 @ 1168.09
c NEW SOLUTION FOUND: 15120 @ 1168.53
c NEW SOLUTION FOUND: 15116 @ 1168.98
c NEW SOLUTION FOUND: 15112 @ 1169.43
c NEW SOLUTION FOUND: 15108 @ 1169.88
c NEW SOLUTION FOUND: 15104 @ 1170.33
c NEW SOLUTION FOUND: 15100 @ 1170.79
c NEW SOLUTION FOUND: 15096 @ 1171.24
c NEW SOLUTION FOUND: 15092 @ 1171.69
c NEW SOLUTION FOUND: 15088 @ 1172.14
c NEW SOLUTION FOUND: 15084 @ 1172.59
c NEW SOLUTION FOUND: 15080 @ 1173.05
c NEW SOLUTION FOUND: 15076 @ 1173.5
c NEW SOLUTION FOUND: 15072 @ 1173.96
c NEW SOLUTION FOUND: 15068 @ 1174.43
c NEW SOLUTION FOUND: 15058 @ 1174.89
c NEW SOLUTION FOUND: 15054 @ 1175.34
c NEW SOLUTION FOUND: 15050 @ 1175.82
c NEW SOLUTION FOUND: 15046 @ 1176.26
c NEW SOLUTION FOUND: 15042 @ 1176.73
c NEW SOLUTION FOUND: 15038 @ 1177.18
c NEW SOLUTION FOUND: 15034 @ 1177.63
c NEW SOLUTION FOUND: 15030 @ 1178.07
c NEW SOLUTION FOUND: 15026 @ 1178.54
c NEW SOLUTION FOUND: 15022 @ 1178.98
c NEW SOLUTION FOUND: 15018 @ 1179.44
c NEW SOLUTION FOUND: 15014 @ 1179.91
c NEW SOLUTION FOUND: 15010 @ 1180.36
c NEW SOLUTION FOUND: 15006 @ 1180.82
c NEW SOLUTION FOUND: 15002 @ 1181.27
c NEW SOLUTION FOUND: 14998 @ 1181.71
c NEW SOLUTION FOUND: 14994 @ 1182.16
c NEW SOLUTION FOUND: 14990 @ 1182.62
c NEW SOLUTION FOUND: 14986 @ 1183.09
c NEW SOLUTION FOUND: 14982 @ 1183.53
c NEW SOLUTION FOUND: 14978 @ 1184.01
c NEW SOLUTION FOUND: 14974 @ 1184.45
c NEW SOLUTION FOUND: 14970 @ 1184.91
c NEW SOLUTION FOUND: 14966 @ 1185.35
c NEW SOLUTION FOUND: 14962 @ 1185.81
c NEW SOLUTION FOUND: 14958 @ 1186.27
c NEW SOLUTION FOUND: 14954 @ 1186.72
c NEW SOLUTION FOUND: 14950 @ 1187.18
c NEW SOLUTION FOUND: 14946 @ 1187.65
c NEW SOLUTION FOUND: 14942 @ 1188.11
c NEW SOLUTION FOUND: 14938 @ 1188.57
c NEW SOLUTION FOUND: 14934 @ 1189.02
c NEW SOLUTION FOUND: 14930 @ 1189.49
c NEW SOLUTION FOUND: 14926 @ 1189.95
c NEW SOLUTION FOUND: 14922 @ 1190.4
c NEW SOLUTION FOUND: 14918 @ 1190.85
c NEW SOLUTION FOUND: 14914 @ 1191.32
c NEW SOLUTION FOUND: 14910 @ 1191.77
c NEW SOLUTION FOUND: 14906 @ 1192.22
c NEW SOLUTION FOUND: 14902 @ 1192.68
c NEW SOLUTION FOUND: 14898 @ 1193.14
c NEW SOLUTION FOUND: 14894 @ 1193.59
c NEW SOLUTION FOUND: 14890 @ 1194.04
c NEW SOLUTION FOUND: 14886 @ 1194.52
c NEW SOLUTION FOUND: 14882 @ 1194.98
c NEW SOLUTION FOUND: 14878 @ 1195.44
c NEW SOLUTION FOUND: 14874 @ 1195.88
c NEW SOLUTION FOUND: 14870 @ 1196.33
c NEW SOLUTION FOUND: 14866 @ 1196.78
c NEW SOLUTION FOUND: 14862 @ 1197.23
c NEW SOLUTION FOUND: 14858 @ 1197.68
c NEW SOLUTION FOUND: 14854 @ 1198.13
c NEW SOLUTION FOUND: 14850 @ 1198.61
c NEW SOLUTION FOUND: 14846 @ 1199.08
c NEW SOLUTION FOUND: 14842 @ 1199.53
c NEW SOLUTION FOUND: 14838 @ 1199.99
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.06 1.02 1.00 2/55 5388
Raw data (stat): 5388 (runsolver) R 5387 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 755714124 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4434 0 0 0 982 13 0 0 25 0 1 0 755714124 21544960 4326 4294967295 134512640 134714508 3221221776 3221220304 134542980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4326 1111 63 0 5197 0
vsize: 21040
[startup+20.0018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4870 0 0 0 1980 14 0 0 25 0 1 0 755714124 23195648 4762 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+30.0028 s]
Raw data (loadavg): 1.19 1.05 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4870 0 0 0 2981 15 0 0 25 0 1 0 755714124 23195648 4762 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+40.0035 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4870 0 0 0 3981 15 0 0 25 0 1 0 755714124 23195648 4762 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+50.0044 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4870 0 0 0 4981 15 0 0 25 0 1 0 755714124 23195648 4762 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+60.0054 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 4870 0 0 0 5981 15 0 0 25 0 1 0 755714124 23195648 4762 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+70.0063 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 5412 0 0 0 6981 16 0 0 25 0 1 0 755714124 25636864 5304 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6259 5304 1111 63 0 6196 0
vsize: 25036
[startup+80.0062 s]
Raw data (loadavg): 1.08 1.04 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 5555 0 0 0 7980 16 0 0 25 0 1 0 755714124 26132480 5447 4294967295 134512640 134714508 3221221776 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5447 1111 63 0 6317 0
vsize: 25520
[startup+90.0073 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 5662 0 0 0 8980 16 0 0 25 0 1 0 755714124 26521600 5554 4294967295 134512640 134714508 3221221776 3221219984 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6475 5554 1111 63 0 6412 0
vsize: 25900
[startup+100.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 7805 0 0 0 9976 20 0 0 25 0 1 0 755714124 35807232 7056 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8742 7056 1111 63 0 8679 0
vsize: 34968
[startup+110.008 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 7922 0 0 0 10976 21 0 0 25 0 1 0 755714124 35807232 7173 4294967295 134512640 134714508 3221221776 3221217904 1076111657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8742 7173 1111 63 0 8679 0
vsize: 34968
[startup+120.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8279 0 0 0 11976 22 0 0 25 0 1 0 755714124 34357248 7147 4294967295 134512640 134714508 3221221776 3221217856 1074883551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8388 7147 1111 63 0 8325 0
vsize: 33552
[startup+130.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8653 0 0 0 12975 22 0 0 25 0 1 0 755714124 36036608 7521 4294967295 134512640 134714508 3221221776 3221217856 1074883536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8798 7521 1111 63 0 8735 0
vsize: 35192
[startup+140.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8760 0 0 0 13975 22 0 0 25 0 1 0 755714124 34701312 7232 4294967295 134512640 134714508 3221221776 3221217604 1074786584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8472 7232 1111 63 0 8409 0
vsize: 33888
[startup+150.011 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8807 0 0 0 14975 22 0 0 25 0 1 0 755714124 34893824 7279 4294967295 134512640 134714508 3221221776 3221217808 1075895648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8519 7279 1111 63 0 8456 0
vsize: 34076
[startup+160.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8855 0 0 0 15975 23 0 0 25 0 1 0 755714124 35090432 7327 4294967295 134512640 134714508 3221221776 3221217856 1074883521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8567 7327 1111 63 0 8504 0
vsize: 34268
[startup+170.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 8903 0 0 0 16975 23 0 0 25 0 1 0 755714124 35287040 7375 4294967295 134512640 134714508 3221221776 3221218160 1075602856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8615 7375 1111 63 0 8552 0
vsize: 34460
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9009 0 0 0 17975 23 0 0 25 0 1 0 755714124 35729408 7481 4294967295 134512640 134714508 3221221776 3221217572 1074786488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8723 7481 1111 63 0 8660 0
vsize: 34892
[startup+190.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9010 0 0 0 18975 23 0 0 25 0 1 0 755714124 35729408 7482 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8723 7482 1111 63 0 8660 0
vsize: 34892
[startup+200.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9067 0 0 0 19975 23 0 0 25 0 1 0 755714124 35962880 7539 4294967295 134512640 134714508 3221221776 3221217856 1075093367 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8780 7539 1111 63 0 8717 0
vsize: 35120
[startup+210.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9067 0 0 0 20976 23 0 0 25 0 1 0 755714124 35962880 7539 4294967295 134512640 134714508 3221221776 3221218072 1075112546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8780 7539 1111 63 0 8717 0
vsize: 35120
[startup+220.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9067 0 0 0 21976 23 0 0 25 0 1 0 755714124 35962880 7539 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8780 7539 1111 63 0 8717 0
vsize: 35120
[startup+230.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9067 0 0 0 22976 23 0 0 25 0 1 0 755714124 35962880 7539 4294967295 134512640 134714508 3221221776 3221217924 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8780 7539 1111 63 0 8717 0
vsize: 35120
[startup+240.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9175 0 0 0 23976 23 0 0 25 0 1 0 755714124 36208640 7625 4294967295 134512640 134714508 3221221776 3221217900 1075564159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7625 1111 63 0 8777 0
vsize: 35360
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9175 0 0 0 24976 23 0 0 25 0 1 0 755714124 36208640 7625 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7625 1111 63 0 8777 0
vsize: 35360
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9175 0 0 0 25977 23 0 0 25 0 1 0 755714124 36208640 7625 4294967295 134512640 134714508 3221221776 3221218224 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7625 1111 63 0 8777 0
vsize: 35360
[startup+270.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9175 0 0 0 26977 23 0 0 25 0 1 0 755714124 36208640 7625 4294967295 134512640 134714508 3221221776 3221218224 1075397189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7625 1111 63 0 8777 0
vsize: 35360
[startup+280.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9175 0 0 0 27977 23 0 0 25 0 1 0 755714124 36208640 7625 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7625 1111 63 0 8777 0
vsize: 35360
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9176 0 0 0 28977 23 0 0 25 0 1 0 755714124 36208640 7626 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7626 1111 63 0 8777 0
vsize: 35360
[startup+300.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9176 0 0 0 29977 23 0 0 25 0 1 0 755714124 36208640 7626 4294967295 134512640 134714508 3221221776 3221217968 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7626 1111 63 0 8777 0
vsize: 35360
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9176 0 0 0 30978 23 0 0 25 0 1 0 755714124 36208640 7626 4294967295 134512640 134714508 3221221776 3221217604 1074786584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7626 1111 63 0 8777 0
vsize: 35360
[startup+320.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 9176 0 0 0 31978 23 0 0 25 0 1 0 755714124 36208640 7626 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7626 1111 63 0 8777 0
vsize: 35360
[startup+330.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 11986 0 0 0 32970 31 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+340.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 12336 0 0 0 33969 33 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220176 1074031960 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 12686 0 0 0 34966 36 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220176 1074031984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 13036 0 0 0 35963 39 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220208 134648493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 13384 0 0 0 36961 41 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 13732 0 0 0 37959 44 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134646982 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 14082 0 0 0 38956 47 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 14432 0 0 0 39954 49 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 14782 0 0 0 40952 51 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221219848 1074950099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 15132 0 0 0 41950 53 0 0 25 0 1 0 755714124 29245440 6272 4294967295 134512640 134714508 3221221776 3221219716 1074786537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7140 6272 1111 63 0 7077 0
vsize: 28560
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 15480 0 0 0 42948 56 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 15826 0 0 0 43945 59 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 16174 0 0 0 44942 63 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 16522 0 0 0 45940 65 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 16870 0 0 0 46938 68 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 17218 0 0 0 47936 69 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 17566 0 0 0 48933 73 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 17916 0 0 0 49931 75 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 18264 0 0 0 50928 78 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 18610 0 0 0 51926 81 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 18954 0 0 0 52923 83 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220136 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 19300 0 0 0 53921 86 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220184 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 19646 0 0 0 54919 88 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221219896 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 19992 0 0 0 55917 90 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220200 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 20338 0 0 0 56914 93 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220192 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 20684 0 0 0 57911 96 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 21030 0 0 0 58909 99 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 21378 0 0 0 59906 102 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 21724 0 0 0 60905 104 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 22072 0 0 0 61903 106 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220224 134648337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 22420 0 0 0 62900 109 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220112 1073989433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+640.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 22766 0 0 0 63899 111 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220204 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 23014 0 0 0 64897 113 0 0 25 0 1 0 755714124 28934144 6270 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6270 1111 63 0 7001 0
vsize: 28256
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 23016 0 0 0 65897 113 0 0 25 0 1 0 755714124 28934144 6272 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6272 1111 63 0 7001 0
vsize: 28256
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 23018 0 0 0 66897 113 0 0 25 0 1 0 755714124 28934144 6274 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6274 1111 63 0 7001 0
vsize: 28256
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 23020 0 0 0 67896 114 0 0 25 0 1 0 755714124 28934144 6276 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6276 1111 63 0 7001 0
vsize: 28256
[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 29402 0 0 0 68882 128 0 0 25 0 1 0 755714124 27029504 5823 4294967295 134512640 134714508 3221221776 3221220464 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6599 5823 1111 63 0 6536 0
vsize: 26396
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 44142 0 0 0 69849 161 0 0 25 0 1 0 755714124 26972160 5818 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6585 5818 1111 63 0 6522 0
vsize: 26340
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 55543 0 0 0 70823 187 0 0 25 0 1 0 755714124 27447296 5894 4294967295 134512640 134714508 3221221776 3221220392 134551621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6701 5894 1111 63 0 6638 0
vsize: 26804
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 65047 0 0 0 71801 209 0 0 25 0 1 0 755714124 27541504 5957 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6724 5957 1111 63 0 6661 0
vsize: 26896
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 75833 0 0 0 72777 233 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 84185 0 0 0 73756 254 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+750.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 90605 0 0 0 74740 270 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 100180 0 0 0 75718 293 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220424 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 108250 0 0 0 76699 312 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 115217 0 0 0 77683 328 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 121965 0 0 0 78666 345 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221219520 1075646704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+800.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 131758 0 0 0 79643 368 0 0 25 0 1 0 755714124 27967488 6017 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6828 6020 1111 63 0 6765 0
vsize: 27312
[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 139275 0 0 0 80626 386 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+820.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 148484 0 0 0 81605 407 0 0 25 0 1 0 755714124 27648000 5983 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5983 1111 63 0 6687 0
vsize: 27000
[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 159414 0 0 0 82580 432 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220296 1077379851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 170220 0 0 0 83556 456 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 179833 0 0 0 84536 477 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 189214 0 0 0 85515 498 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 197262 0 0 0 86497 515 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220128 1074115306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 205821 0 0 0 87477 536 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 212133 0 0 0 88462 551 0 0 25 0 1 0 755714124 28307456 6015 4294967295 134512640 134714508 3221221776 3221219504 1075828211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6911 6015 1111 63 0 6848 0
vsize: 27644
[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 218405 0 0 0 89446 568 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 223360 0 0 0 90433 581 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220408 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 228449 0 0 0 91418 596 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 234154 0 0 0 92404 611 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220456 134558798 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 240536 0 0 0 93389 626 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 247883 0 0 0 94371 643 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 255450 0 0 0 95352 662 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 263380 0 0 0 96333 682 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220512 134652594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 270399 0 0 0 97316 699 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 277406 0 0 0 98299 716 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220480 134652491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 283333 0 0 0 99284 732 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 289598 0 0 0 100270 746 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221220240 1074121052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 295664 0 0 0 101256 760 0 0 25 0 1 0 755714124 27865088 6036 4294967295 134512640 134714508 3221221776 3221219820 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 6036 1111 63 0 6740 0
vsize: 27212
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 301368 0 0 0 102240 776 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 306660 0 0 0 103227 790 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 311567 0 0 0 104214 803 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 317553 0 0 0 105200 817 0 0 25 0 1 0 755714124 27746304 6007 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6774 6007 1111 63 0 6711 0
vsize: 27096
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 323415 0 0 0 106186 831 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 328330 0 0 0 107174 843 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 333431 0 0 0 108162 856 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 338661 0 0 0 109150 868 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 343854 0 0 0 110136 882 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 349235 0 0 0 111123 895 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 354824 0 0 0 112110 909 0 0 25 0 1 0 755714124 28307456 6015 4294967295 134512640 134714508 3221221776 3221219840 1075961825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6911 6015 1111 63 0 6848 0
vsize: 27644
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 361023 0 0 0 113095 924 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 366974 0 0 0 114081 937 0 0 25 0 1 0 755714124 28307456 6015 4294967295 134512640 134714508 3221221776 3221219784 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6911 6015 1111 63 0 6848 0
vsize: 27644
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 372812 0 0 0 115068 951 0 0 25 0 1 0 755714124 28307456 6015 4294967295 134512640 134714508 3221221776 3221219600 1075823337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6911 6015 1111 63 0 6848 0
vsize: 27644
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 379031 0 0 0 116053 966 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220088 1074138163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 384961 0 0 0 117038 981 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 390681 0 0 0 118025 995 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5388
Raw data (stat): 5388 (bsolo_lpr) R 5387 7876 7672 0 -1 0 397142 0 0 0 119009 1011 0 0 25 0 1 0 755714124 27758592 6010 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6777 6010 1111 63 0 6714 0
vsize: 27108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 5388
Raw data (stat): 5388 (bsolo_lpr) Z 5387 7876 7672 0 -1 1036 397142 0 0 0 119009 1012 0 0 25 0 1 0 755714124 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.1
CPU time (s): 1200.22
CPU user time (s): 1190.1
CPU system time (s): 10.1265
CPU usage (%): 100.01
Max. virtual memory (Kb): 35360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####