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 40925

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 02:33:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28987 boxname=wulflinc4 idbench=373 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  76931687067724cc4684adb9e5aff770  /oldhome/oroussel/tmp/wulflinc4/normalized-30:70:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-30:70:4.5:0.95:100.opb
IDLAUNCH: 28987
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        908404 kB
Buffers:         29564 kB
Cached:          75192 kB
SwapCached:       1188 kB
Active:          27484 kB
Inactive:        79600 kB
HighTotal:      131008 kB
HighFree:        54824 kB
LowTotal:       903652 kB
LowFree:        853580 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13568 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:53:31 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 28987 7 1200.19 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.475 s
c Initial Lower Bound: -1
c Lower Bound Elapsed time: 565.261
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 19600 @ 673.921
c NEW SOLUTION FOUND: 19597 @ 674.09
c NEW SOLUTION FOUND: 19595 @ 674.266
c NEW SOLUTION FOUND: 19592 @ 674.454
c NEW SOLUTION FOUND: 19590 @ 674.628
c NEW SOLUTION FOUND: 19588 @ 674.811
c NEW SOLUTION FOUND: 19584 @ 674.997
c NEW SOLUTION FOUND: 19581 @ 675.181
c NEW SOLUTION FOUND: 19579 @ 675.362
c NEW SOLUTION FOUND: 19576 @ 675.556
c NEW SOLUTION FOUND: 19570 @ 675.744
c NEW SOLUTION FOUND: 19564 @ 675.935
c NEW SOLUTION FOUND: 19554 @ 676.13
c NEW SOLUTION FOUND: 19544 @ 676.33
c NEW SOLUTION FOUND: 19534 @ 676.53
c NEW SOLUTION FOUND: 19524 @ 676.732
c NEW SOLUTION FOUND: 19514 @ 676.939
c NEW SOLUTION FOUND: 19504 @ 677.147
c NEW SOLUTION FOUND: 19494 @ 677.357
c NEW SOLUTION FOUND: 19490 @ 677.563
c NEW SOLUTION FOUND: 19484 @ 677.782
c NEW SOLUTION FOUND: 19482 @ 677.99
c NEW SOLUTION FOUND: 19472 @ 678.215
c NEW SOLUTION FOUND: 19462 @ 678.435
c NEW SOLUTION FOUND: 19461 @ 678.647
c NEW SOLUTION FOUND: 19460 @ 678.866
c NEW SOLUTION FOUND: 19457 @ 679.093
c NEW SOLUTION FOUND: 19447 @ 679.315
c NEW SOLUTION FOUND: 19446 @ 679.531
c NEW SOLUTION FOUND: 19436 @ 679.763
c NEW SOLUTION FOUND: 19426 @ 679.989
c NEW SOLUTION FOUND: 19425 @ 680.212
c NEW SOLUTION FOUND: 19424 @ 680.441
c NEW SOLUTION FOUND: 19414 @ 680.677
c NEW SOLUTION FOUND: 19404 @ 680.909
c NEW SOLUTION FOUND: 19394 @ 681.142
c NEW SOLUTION FOUND: 19393 @ 681.37
c NEW SOLUTION FOUND: 19390 @ 681.612
c NEW SOLUTION FOUND: 19380 @ 681.852
c NEW SOLUTION FOUND: 19370 @ 682.093
c NEW SOLUTION FOUND: 19360 @ 682.336
c NEW SOLUTION FOUND: 19350 @ 682.584
c NEW SOLUTION FOUND: 19340 @ 682.83
c NEW SOLUTION FOUND: 19330 @ 683.082
c NEW SOLUTION FOUND: 19320 @ 683.337
c NEW SOLUTION FOUND: 19310 @ 683.593
c NEW SOLUTION FOUND: 19306 @ 683.847
c NEW SOLUTION FOUND: 19300 @ 684.118
c NEW SOLUTION FOUND: 19290 @ 684.381
c NEW SOLUTION FOUND: 19288 @ 684.659
c NEW SOLUTION FOUND: 19286 @ 684.926
c NEW SOLUTION FOUND: 19283 @ 685.209
c NEW SOLUTION FOUND: 19277 @ 685.492
c NEW SOLUTION FOUND: 19271 @ 685.773
c NEW SOLUTION FOUND: 19261 @ 686.057
c NEW SOLUTION FOUND: 19260 @ 686.329
c NEW SOLUTION FOUND: 19250 @ 686.623
c NEW SOLUTION FOUND: 19244 @ 686.907
c NEW SOLUTION FOUND: 19243 @ 687.19
c NEW SOLUTION FOUND: 19242 @ 687.478
c NEW SOLUTION FOUND: 19241 @ 687.773
c NEW SOLUTION FOUND: 19231 @ 688.079
c NEW SOLUTION FOUND: 19221 @ 688.367
c NEW SOLUTION FOUND: 19211 @ 688.666
c NEW SOLUTION FOUND: 19202 @ 688.955
c NEW SOLUTION FOUND: 19201 @ 689.238
c NEW SOLUTION FOUND: 19200 @ 689.53
c NEW SOLUTION FOUND: 19190 @ 689.84
c NEW SOLUTION FOUND: 19180 @ 690.136
c NEW SOLUTION FOUND: 19170 @ 690.44
c NEW SOLUTION FOUND: 19160 @ 690.739
c NEW SOLUTION FOUND: 19150 @ 691.045
c NEW SOLUTION FOUND: 19140 @ 691.348
c NEW SOLUTION FOUND: 19130 @ 691.658
c NEW SOLUTION FOUND: 19120 @ 691.977
c NEW SOLUTION FOUND: 19110 @ 692.293
c NEW SOLUTION FOUND: 19100 @ 692.611
c NEW SOLUTION FOUND: 19090 @ 692.928
c NEW SOLUTION FOUND: 19086 @ 693.241
c NEW SOLUTION FOUND: 19083 @ 693.564
c NEW SOLUTION FOUND: 19081 @ 693.886
c NEW SOLUTION FOUND: 19080 @ 694.21
c NEW SOLUTION FOUND: 19076 @ 694.534
c NEW SOLUTION FOUND: 19075 @ 694.863
c NEW SOLUTION FOUND: 19074 @ 695.191
c NEW SOLUTION FOUND: 19073 @ 695.851
c NEW SOLUTION FOUND: 19070 @ 696.194
c NEW SOLUTION FOUND: 19061 @ 696.524
c NEW SOLUTION FOUND: 19060 @ 696.851
c NEW SOLUTION FOUND: 19059 @ 697.185
c NEW SOLUTION FOUND: 19055 @ 697.523
c NEW SOLUTION FOUND: 19046 @ 697.867
c NEW SOLUTION FOUND: 19045 @ 698.193
c NEW SOLUTION FOUND: 19041 @ 698.53
c NEW SOLUTION FOUND: 19040 @ 698.865
c NEW SOLUTION FOUND: 19037 @ 699.203
c NEW SOLUTION FOUND: 19031 @ 699.546
c NEW SOLUTION FOUND: 19027 @ 699.874
c NEW SOLUTION FOUND: 19017 @ 700.225
c NEW SOLUTION FOUND: 19016 @ 700.558
c NEW SOLUTION FOUND: 19015 @ 700.903
c NEW SOLUTION FOUND: 19005 @ 701.256
c NEW SOLUTION FOUND: 19001 @ 701.604
c NEW SOLUTION FOUND: 18991 @ 701.96
c NEW SOLUTION FOUND: 18990 @ 702.297
c NEW SOLUTION FOUND: 18987 @ 702.662
c NEW SOLUTION FOUND: 18984 @ 703.004
c NEW SOLUTION FOUND: 18980 @ 703.366
c NEW SOLUTION FOUND: 18976 @ 703.723
c NEW SOLUTION FOUND: 18975 @ 704.074
c NEW SOLUTION FOUND: 18971 @ 704.429
c NEW SOLUTION FOUND: 18967 @ 704.796
c NEW SOLUTION FOUND: 18963 @ 705.154
c NEW SOLUTION FOUND: 18959 @ 705.504
c NEW SOLUTION FOUND: 18955 @ 705.86
c NEW SOLUTION FOUND: 18951 @ 706.205
c NEW SOLUTION FOUND: 18947 @ 706.563
c NEW SOLUTION FOUND: 18943 @ 706.909
c NEW SOLUTION FOUND: 18941 @ 707.266
c NEW SOLUTION FOUND: 18940 @ 707.612
c NEW SOLUTION FOUND: 18939 @ 707.969
c NEW SOLUTION FOUND: 18938 @ 708.314
c NEW SOLUTION FOUND: 18937 @ 708.669
c NEW SOLUTION FOUND: 18936 @ 709.015
c NEW SOLUTION FOUND: 18935 @ 709.377
c NEW SOLUTION FOUND: 18934 @ 709.729
c NEW SOLUTION FOUND: 18933 @ 710.072
c NEW SOLUTION FOUND: 18932 @ 710.424
c NEW SOLUTION FOUND: 18931 @ 710.768
c NEW SOLUTION FOUND: 18930 @ 711.119
c NEW SOLUTION FOUND: 18929 @ 711.816
c NEW SOLUTION FOUND: 18928 @ 712.161
c NEW SOLUTION FOUND: 18927 @ 712.529
c NEW SOLUTION FOUND: 18926 @ 712.885
c NEW SOLUTION FOUND: 18925 @ 713.251
c NEW SOLUTION FOUND: 18924 @ 713.605
c NEW SOLUTION FOUND: 18923 @ 713.971
c NEW SOLUTION FOUND: 18922 @ 714.336
c NEW SOLUTION FOUND: 18921 @ 714.703
c NEW SOLUTION FOUND: 18920 @ 715.053
c NEW SOLUTION FOUND: 18919 @ 715.406
c NEW SOLUTION FOUND: 18918 @ 715.772
c NEW SOLUTION FOUND: 18917 @ 716.139
c NEW SOLUTION FOUND: 18916 @ 716.487
c NEW SOLUTION FOUND: 18915 @ 716.846
c NEW SOLUTION FOUND: 18913 @ 717.208
c NEW SOLUTION FOUND: 18912 @ 717.566
c NEW SOLUTION FOUND: 18911 @ 717.935
c NEW SOLUTION FOUND: 18910 @ 718.281
c NEW SOLUTION FOUND: 18909 @ 718.633
c NEW SOLUTION FOUND: 18908 @ 718.98
c NEW SOLUTION FOUND: 18907 @ 719.347
c NEW SOLUTION FOUND: 18906 @ 719.711
c NEW SOLUTION FOUND: 18905 @ 720.071
c NEW SOLUTION FOUND: 18901 @ 720.435
c NEW SOLUTION FOUND: 18900 @ 720.783
c NEW SOLUTION FOUND: 18899 @ 721.145
c NEW SOLUTION FOUND: 18898 @ 721.499
c NEW SOLUTION FOUND: 18897 @ 721.873
c NEW SOLUTION FOUND: 18893 @ 722.247
c NEW SOLUTION FOUND: 18892 @ 722.612
c NEW SOLUTION FOUND: 18891 @ 722.971
c NEW SOLUTION FOUND: 18890 @ 723.344
c NEW SOLUTION FOUND: 18889 @ 723.698
c NEW SOLUTION FOUND: 18888 @ 724.07
c NEW SOLUTION FOUND: 18887 @ 724.424
c NEW SOLUTION FOUND: 18886 @ 724.796
c NEW SOLUTION FOUND: 18885 @ 725.15
c NEW SOLUTION FOUND: 18884 @ 725.522
c NEW SOLUTION FOUND: 18883 @ 725.877
c NEW SOLUTION FOUND: 18882 @ 726.247
c NEW SOLUTION FOUND: 18881 @ 726.601
c NEW SOLUTION FOUND: 18880 @ 726.973
c NEW SOLUTION FOUND: 18879 @ 727.327
c NEW SOLUTION FOUND: 18878 @ 727.681
c NEW SOLUTION FOUND: 18877 @ 728.055
c NEW SOLUTION FOUND: 18875 @ 728.421
c NEW SOLUTION FOUND: 18874 @ 728.772
c NEW SOLUTION FOUND: 18873 @ 729.136
c NEW SOLUTION FOUND: 18872 @ 729.495
c NEW SOLUTION FOUND: 18871 @ 729.851
c NEW SOLUTION FOUND: 18870 @ 730.21
c NEW SOLUTION FOUND: 18869 @ 730.569
c NEW SOLUTION FOUND: 18867 @ 730.944
c NEW SOLUTION FOUND: 18866 @ 731.305
c NEW SOLUTION FOUND: 18865 @ 731.666
c NEW SOLUTION FOUND: 18864 @ 732.024
c NEW SOLUTION FOUND: 18862 @ 732.387
c NEW SOLUTION FOUND: 18860 @ 732.742
c NEW SOLUTION FOUND: 18859 @ 733.127
c NEW SOLUTION FOUND: 18858 @ 733.504
c NEW SOLUTION FOUND: 18857 @ 733.868
c NEW SOLUTION FOUND: 18855 @ 734.262
c NEW SOLUTION FOUND: 18853 @ 734.628
c NEW SOLUTION FOUND: 18851 @ 735
c NEW SOLUTION FOUND: 18849 @ 735.381
c NEW SOLUTION FOUND: 18847 @ 735.751
c NEW SOLUTION FOUND: 18845 @ 736.119
c NEW SOLUTION FOUND: 18843 @ 736.484
c NEW SOLUTION FOUND: 18841 @ 736.851
c NEW SOLUTION FOUND: 18837 @ 737.238
c NEW SOLUTION FOUND: 18835 @ 737.604
c NEW SOLUTION FOUND: 18829 @ 737.981
c NEW SOLUTION FOUND: 18827 @ 738.351
c NEW SOLUTION FOUND: 18825 @ 738.72
c NEW SOLUTION FOUND: 18823 @ 739.088
c NEW SOLUTION FOUND: 18821 @ 739.449
c NEW SOLUTION FOUND: 18819 @ 739.828
c NEW SOLUTION FOUND: 18817 @ 740.196
c NEW SOLUTION FOUND: 18815 @ 740.564
c NEW SOLUTION FOUND: 18813 @ 740.932
c NEW SOLUTION FOUND: 18811 @ 741.296
c NEW SOLUTION FOUND: 18809 @ 741.66
c NEW SOLUTION FOUND: 18807 @ 742.024
c NEW SOLUTION FOUND: 18805 @ 742.394
c NEW SOLUTION FOUND: 18803 @ 742.753
c NEW SOLUTION FOUND: 18801 @ 743.122
c NEW SOLUTION FOUND: 18799 @ 743.49
c NEW SOLUTION FOUND: 18797 @ 743.852
c NEW SOLUTION FOUND: 18795 @ 744.217
c NEW SOLUTION FOUND: 18793 @ 744.584
c NEW SOLUTION FOUND: 18791 @ 744.946
c NEW SOLUTION FOUND: 18789 @ 745.313
c NEW SOLUTION FOUND: 18787 @ 745.688
c NEW SOLUTION FOUND: 18785 @ 746.071
c NEW SOLUTION FOUND: 18783 @ 746.448
c NEW SOLUTION FOUND: 18781 @ 746.829
c NEW SOLUTION FOUND: 18779 @ 747.201
c NEW SOLUTION FOUND: 18772 @ 747.567
c NEW SOLUTION FOUND: 18770 @ 747.927
c NEW SOLUTION FOUND: 18768 @ 748.303
c NEW SOLUTION FOUND: 18766 @ 748.673
c NEW SOLUTION FOUND: 18764 @ 749.041
c NEW SOLUTION FOUND: 18762 @ 749.411
c NEW SOLUTION FOUND: 18760 @ 749.785
c NEW SOLUTION FOUND: 18758 @ 750.153
c NEW SOLUTION FOUND: 18756 @ 750.54
c NEW SOLUTION FOUND: 18754 @ 750.929
c NEW SOLUTION FOUND: 18752 @ 751.292
c NEW SOLUTION FOUND: 18750 @ 751.678
c NEW SOLUTION FOUND: 18748 @ 752.045
c NEW SOLUTION FOUND: 18746 @ 752.429
c NEW SOLUTION FOUND: 18742 @ 752.813
c NEW SOLUTION FOUND: 18740 @ 753.185
c NEW SOLUTION FOUND: 18738 @ 753.564
c NEW SOLUTION FOUND: 18736 @ 753.954
c NEW SOLUTION FOUND: 18734 @ 754.326
c NEW SOLUTION FOUND: 18732 @ 754.702
c NEW SOLUTION FOUND: 18730 @ 755.077
c NEW SOLUTION FOUND: 18728 @ 755.45
c NEW SOLUTION FOUND: 18726 @ 755.834
c NEW SOLUTION FOUND: 18723 @ 756.208
c NEW SOLUTION FOUND: 18720 @ 756.597
c NEW SOLUTION FOUND: 18717 @ 756.979
c NEW SOLUTION FOUND: 18714 @ 757.348
c NEW SOLUTION FOUND: 18711 @ 757.725
c NEW SOLUTION FOUND: 18708 @ 758.096
c NEW SOLUTION FOUND: 18705 @ 758.467
c NEW SOLUTION FOUND: 18702 @ 758.837
c NEW SOLUTION FOUND: 18699 @ 759.203
c NEW SOLUTION FOUND: 18695 @ 759.573
c NEW SOLUTION FOUND: 18691 @ 759.938
c NEW SOLUTION FOUND: 18687 @ 760.308
c NEW SOLUTION FOUND: 18683 @ 760.674
c NEW SOLUTION FOUND: 18679 @ 761.044
c NEW SOLUTION FOUND: 18675 @ 761.41
c NEW SOLUTION FOUND: 18673 @ 761.78
c NEW SOLUTION FOUND: 18671 @ 762.147
c NEW SOLUTION FOUND: 18669 @ 762.519
c NEW SOLUTION FOUND: 18667 @ 762.895
c NEW SOLUTION FOUND: 18665 @ 763.284
c NEW SOLUTION FOUND: 18663 @ 763.668
c NEW SOLUTION FOUND: 18660 @ 764.066
c NEW SOLUTION FOUND: 18656 @ 764.46
c NEW SOLUTION FOUND: 18653 @ 764.86
c NEW SOLUTION FOUND: 18651 @ 765.265
c NEW SOLUTION FOUND: 18648 @ 765.659
c NEW SOLUTION FOUND: 18645 @ 766.054
c NEW SOLUTION FOUND: 18644 @ 766.455
c NEW SOLUTION FOUND: 18641 @ 766.863
c NEW SOLUTION FOUND: 18638 @ 767.26
c NEW SOLUTION FOUND: 18636 @ 767.674
c NEW SOLUTION FOUND: 18633 @ 768.083
c NEW SOLUTION FOUND: 18630 @ 768.49
c NEW SOLUTION FOUND: 18621 @ 768.892
c NEW SOLUTION FOUND: 18612 @ 769.297
c NEW SOLUTION FOUND: 18603 @ 769.709
c NEW SOLUTION FOUND: 18600 @ 770.113
c NEW SOLUTION FOUND: 18597 @ 770.524
c NEW SOLUTION FOUND: 18594 @ 770.936
c NEW SOLUTION FOUND: 18591 @ 771.346
c NEW SOLUTION FOUND: 18582 @ 771.784
c NEW SOLUTION FOUND: 18579 @ 772.194
c NEW SOLUTION FOUND: 18576 @ 772.62
c NEW SOLUTION FOUND: 18573 @ 773.039
c NEW SOLUTION FOUND: 18570 @ 773.469
c NEW SOLUTION FOUND: 18567 @ 773.886
c NEW SOLUTION FOUND: 18564 @ 774.316
c NEW SOLUTION FOUND: 18561 @ 774.734
c NEW SOLUTION FOUND: 18558 @ 775.165
c NEW SOLUTION FOUND: 18555 @ 775.582
c NEW SOLUTION FOUND: 18552 @ 776.014
c NEW SOLUTION FOUND: 18549 @ 776.425
c NEW SOLUTION FOUND: 18546 @ 776.855
c NEW SOLUTION FOUND: 18543 @ 777.272
c NEW SOLUTION FOUND: 18540 @ 777.703
c NEW SOLUTION FOUND: 18537 @ 778.119
c NEW SOLUTION FOUND: 18534 @ 778.55
c NEW SOLUTION FOUND: 18532 @ 778.964
c NEW SOLUTION FOUND: 18529 @ 779.397
c NEW SOLUTION FOUND: 18526 @ 779.798
c NEW SOLUTION FOUND: 18523 @ 780.218
c NEW SOLUTION FOUND: 18520 @ 780.626
c NEW SOLUTION FOUND: 18517 @ 781.057
c NEW SOLUTION FOUND: 18514 @ 781.465
c NEW SOLUTION FOUND: 18511 @ 781.885
c NEW SOLUTION FOUND: 18508 @ 782.292
c NEW SOLUTION FOUND: 18505 @ 782.724
c NEW SOLUTION FOUND: 18502 @ 783.561
c NEW SOLUTION FOUND: 18499 @ 783.97
c NEW SOLUTION FOUND: 18496 @ 784.404
c NEW SOLUTION FOUND: 18489 @ 784.832
c NEW SOLUTION FOUND: 18486 @ 785.239
c NEW SOLUTION FOUND: 18483 @ 785.66
c NEW SOLUTION FOUND: 18480 @ 786.094
c NEW SOLUTION FOUND: 18477 @ 786.508
c NEW SOLUTION FOUND: 18474 @ 786.942
c NEW SOLUTION FOUND: 18471 @ 787.37
c NEW SOLUTION FOUND: 18468 @ 787.786
c NEW SOLUTION FOUND: 18465 @ 788.217
c NEW SOLUTION FOUND: 18462 @ 788.634
c NEW SOLUTION FOUND: 18459 @ 789.051
c NEW SOLUTION FOUND: 18452 @ 789.468
c NEW SOLUTION FOUND: 18444 @ 789.885
c NEW SOLUTION FOUND: 18436 @ 790.303
c NEW SOLUTION FOUND: 18428 @ 790.749
c NEW SOLUTION FOUND: 18425 @ 791.166
c NEW SOLUTION FOUND: 18422 @ 791.609
c NEW SOLUTION FOUND: 18419 @ 792.037
c NEW SOLUTION FOUND: 18416 @ 792.484
c NEW SOLUTION FOUND: 18411 @ 792.933
c NEW SOLUTION FOUND: 18408 @ 793.352
c NEW SOLUTION FOUND: 18405 @ 793.795
c NEW SOLUTION FOUND: 18402 @ 794.219
c NEW SOLUTION FOUND: 18399 @ 794.651
c NEW SOLUTION FOUND: 18396 @ 795.074
c NEW SOLUTION FOUND: 18393 @ 795.521
c NEW SOLUTION FOUND: 18390 @ 795.954
c NEW SOLUTION FOUND: 18386 @ 796.376
c NEW SOLUTION FOUND: 18382 @ 796.822
c NEW SOLUTION FOUND: 18378 @ 797.255
c NEW SOLUTION FOUND: 18374 @ 797.677
c NEW SOLUTION FOUND: 18370 @ 798.109
c NEW SOLUTION FOUND: 18366 @ 798.534
c NEW SOLUTION FOUND: 18362 @ 798.961
c NEW SOLUTION FOUND: 18352 @ 799.395
c NEW SOLUTION FOUND: 18348 @ 799.811
c NEW SOLUTION FOUND: 18338 @ 800.245
c NEW SOLUTION FOUND: 18334 @ 800.659
c NEW SOLUTION FOUND: 18330 @ 801.089
c NEW SOLUTION FOUND: 18326 @ 801.517
c NEW SOLUTION FOUND: 18322 @ 801.944
c NEW SOLUTION FOUND: 18318 @ 802.379
c NEW SOLUTION FOUND: 18314 @ 802.807
c NEW SOLUTION FOUND: 18310 @ 803.241
c NEW SOLUTION FOUND: 18306 @ 803.669
c NEW SOLUTION FOUND: 18302 @ 804.106
c NEW SOLUTION FOUND: 18298 @ 804.529
c NEW SOLUTION FOUND: 18294 @ 804.964
c NEW SOLUTION FOUND: 18290 @ 805.395
c NEW SOLUTION FOUND: 18286 @ 805.827
c NEW SOLUTION FOUND: 18282 @ 806.257
c NEW SOLUTION FOUND: 18278 @ 806.69
c NEW SOLUTION FOUND: 18274 @ 807.115
c NEW SOLUTION FOUND: 18270 @ 807.548
c NEW SOLUTION FOUND: 18266 @ 807.975
c NEW SOLUTION FOUND: 18262 @ 808.407
c NEW SOLUTION FOUND: 18258 @ 808.833
c NEW SOLUTION FOUND: 18254 @ 809.265
c NEW SOLUTION FOUND: 18250 @ 809.692
c NEW SOLUTION FOUND: 18246 @ 810.125
c NEW SOLUTION FOUND: 18242 @ 810.547
c NEW SOLUTION FOUND: 18238 @ 810.98
c NEW SOLUTION FOUND: 18234 @ 811.409
c NEW SOLUTION FOUND: 18230 @ 811.842
c NEW SOLUTION FOUND: 18226 @ 812.27
c NEW SOLUTION FOUND: 18222 @ 812.702
c NEW SOLUTION FOUND: 18218 @ 813.129
c NEW SOLUTION FOUND: 18214 @ 813.56
c NEW SOLUTION FOUND: 18210 @ 813.993
c NEW SOLUTION FOUND: 18206 @ 814.421
c NEW SOLUTION FOUND: 18202 @ 814.857
c NEW SOLUTION FOUND: 18198 @ 815.283
c NEW SOLUTION FOUND: 18194 @ 815.738
c NEW SOLUTION FOUND: 18190 @ 816.167
c NEW SOLUTION FOUND: 18186 @ 816.622
c NEW SOLUTION FOUND: 18182 @ 817.053
c NEW SOLUTION FOUND: 18178 @ 817.485
c NEW SOLUTION FOUND: 18174 @ 817.937
c NEW SOLUTION FOUND: 18170 @ 818.367
c NEW SOLUTION FOUND: 18166 @ 818.818
c NEW SOLUTION FOUND: 18162 @ 819.249
c NEW SOLUTION FOUND: 18158 @ 819.701
c NEW SOLUTION FOUND: 18154 @ 820.126
c NEW SOLUTION FOUND: 18150 @ 820.566
c NEW SOLUTION FOUND: 18146 @ 821.004
c NEW SOLUTION FOUND: 18142 @ 821.436
c NEW SOLUTION FOUND: 18138 @ 821.884
c NEW SOLUTION FOUND: 18134 @ 822.312
c NEW SOLUTION FOUND: 18130 @ 822.761
c NEW SOLUTION FOUND: 18126 @ 823.187
c NEW SOLUTION FOUND: 18122 @ 823.637
c NEW SOLUTION FOUND: 18118 @ 824.064
c NEW SOLUTION FOUND: 18114 @ 824.513
c NEW SOLUTION FOUND: 18110 @ 824.942
c NEW SOLUTION FOUND: 18106 @ 825.398
c NEW SOLUTION FOUND: 18102 @ 825.835
c NEW SOLUTION FOUND: 18098 @ 826.288
c NEW SOLUTION FOUND: 18094 @ 826.72
c NEW SOLUTION FOUND: 18090 @ 827.174
c NEW SOLUTION FOUND: 18086 @ 827.61
c NEW SOLUTION FOUND: 18082 @ 828.064
c NEW SOLUTION FOUND: 18078 @ 828.5
c NEW SOLUTION FOUND: 18074 @ 828.954
c NEW SOLUTION FOUND: 18070 @ 829.389
c NEW SOLUTION FOUND: 18066 @ 829.843
c NEW SOLUTION FOUND: 18062 @ 830.279
c NEW SOLUTION FOUND: 18058 @ 830.734
c NEW SOLUTION FOUND: 18054 @ 831.17
c NEW SOLUTION FOUND: 18050 @ 831.624
c NEW SOLUTION FOUND: 18046 @ 832.061
c NEW SOLUTION FOUND: 18042 @ 832.514
c NEW SOLUTION FOUND: 18038 @ 832.951
c NEW SOLUTION FOUND: 18034 @ 833.404
c NEW SOLUTION FOUND: 18030 @ 833.84
c NEW SOLUTION FOUND: 18026 @ 834.295
c NEW SOLUTION FOUND: 18022 @ 834.723
c NEW SOLUTION FOUND: 18018 @ 835.152
c NEW SOLUTION FOUND: 18014 @ 835.608
c NEW SOLUTION FOUND: 18010 @ 836.063
c NEW SOLUTION FOUND: 18006 @ 836.493
c NEW SOLUTION FOUND: 18002 @ 836.924
c NEW SOLUTION FOUND: 17998 @ 837.353
c NEW SOLUTION FOUND: 17994 @ 837.784
c NEW SOLUTION FOUND: 17990 @ 838.216
c NEW SOLUTION FOUND: 17986 @ 838.647
c NEW SOLUTION FOUND: 17982 @ 839.076
c NEW SOLUTION FOUND: 17978 @ 839.516
c NEW SOLUTION FOUND: 17974 @ 839.947
c NEW SOLUTION FOUND: 17970 @ 840.403
c NEW SOLUTION FOUND: 17966 @ 840.831
c NEW SOLUTION FOUND: 17962 @ 841.282
c NEW SOLUTION FOUND: 17958 @ 841.713
c NEW SOLUTION FOUND: 17954 @ 842.167
c NEW SOLUTION FOUND: 17950 @ 842.597
c NEW SOLUTION FOUND: 17946 @ 843.053
c NEW SOLUTION FOUND: 17942 @ 843.498
c NEW SOLUTION FOUND: 17938 @ 843.934
c NEW SOLUTION FOUND: 17934 @ 844.382
c NEW SOLUTION FOUND: 17930 @ 844.818
c NEW SOLUTION FOUND: 17926 @ 845.264
c NEW SOLUTION FOUND: 17922 @ 845.7
c NEW SOLUTION FOUND: 17918 @ 846.147
c NEW SOLUTION FOUND: 17914 @ 846.582
c NEW SOLUTION FOUND: 17904 @ 847.039
c NEW SOLUTION FOUND: 17900 @ 847.487
c NEW SOLUTION FOUND: 17896 @ 847.921
c NEW SOLUTION FOUND: 17892 @ 848.377
c NEW SOLUTION FOUND: 17888 @ 848.809
c NEW SOLUTION FOUND: 17884 @ 849.265
c NEW SOLUTION FOUND: 17880 @ 849.698
c NEW SOLUTION FOUND: 17876 @ 850.154
c NEW SOLUTION FOUND: 17872 @ 850.587
c NEW SOLUTION FOUND: 17868 @ 851.043
c NEW SOLUTION FOUND: 17864 @ 851.471
c NEW SOLUTION FOUND: 17860 @ 851.926
c NEW SOLUTION FOUND: 17856 @ 852.355
c NEW SOLUTION FOUND: 17852 @ 852.81
c NEW SOLUTION FOUND: 17848 @ 853.234
c NEW SOLUTION FOUND: 17844 @ 853.685
c NEW SOLUTION FOUND: 17840 @ 854.114
c NEW SOLUTION FOUND: 17836 @ 854.558
c NEW SOLUTION FOUND: 17832 @ 854.987
c NEW SOLUTION FOUND: 17828 @ 855.439
c NEW SOLUTION FOUND: 17824 @ 855.864
c NEW SOLUTION FOUND: 17820 @ 856.313
c NEW SOLUTION FOUND: 17816 @ 856.762
c NEW SOLUTION FOUND: 17812 @ 857.194
c NEW SOLUTION FOUND: 17808 @ 857.642
c NEW SOLUTION FOUND: 17804 @ 858.077
c NEW SOLUTION FOUND: 17800 @ 858.526
c NEW SOLUTION FOUND: 17796 @ 858.961
c NEW SOLUTION FOUND: 17792 @ 859.412
c NEW SOLUTION FOUND: 17788 @ 859.847
c NEW SOLUTION FOUND: 17784 @ 860.298
c NEW SOLUTION FOUND: 17780 @ 860.732
c NEW SOLUTION FOUND: 17776 @ 861.181
c NEW SOLUTION FOUND: 17772 @ 861.615
c NEW SOLUTION FOUND: 17768 @ 862.05
c NEW SOLUTION FOUND: 17764 @ 862.501
c NEW SOLUTION FOUND: 17760 @ 862.938
c NEW SOLUTION FOUND: 17756 @ 863.388
c NEW SOLUTION FOUND: 17752 @ 863.825
c NEW SOLUTION FOUND: 17748 @ 864.274
c NEW SOLUTION FOUND: 17744 @ 864.721
c NEW SOLUTION FOUND: 17740 @ 865.169
c NEW SOLUTION FOUND: 17736 @ 865.617
c NEW SOLUTION FOUND: 17732 @ 866.068
c NEW SOLUTION FOUND: 17728 @ 866.508
c NEW SOLUTION FOUND: 17724 @ 866.957
c NEW SOLUTION FOUND: 17720 @ 867.385
c NEW SOLUTION FOUND: 17716 @ 867.844
c NEW SOLUTION FOUND: 17712 @ 868.298
c NEW SOLUTION FOUND: 17708 @ 868.731
c NEW SOLUTION FOUND: 17704 @ 869.165
c NEW SOLUTION FOUND: 17700 @ 869.616
c NEW SOLUTION FOUND: 17696 @ 870.05
c NEW SOLUTION FOUND: 17692 @ 870.488
c NEW SOLUTION FOUND: 17682 @ 870.957
c NEW SOLUTION FOUND: 17678 @ 871.399
c NEW SOLUTION FOUND: 17674 @ 871.832
c NEW SOLUTION FOUND: 17670 @ 872.27
c NEW SOLUTION FOUND: 17666 @ 872.707
c NEW SOLUTION FOUND: 17662 @ 873.157
c NEW SOLUTION FOUND: 17658 @ 873.594
c NEW SOLUTION FOUND: 17654 @ 874.044
c NEW SOLUTION FOUND: 17650 @ 874.48
c NEW SOLUTION FOUND: 17646 @ 874.948
c NEW SOLUTION FOUND: 17642 @ 875.384
c NEW SOLUTION FOUND: 17638 @ 875.853
c NEW SOLUTION FOUND: 17634 @ 876.285
c NEW SOLUTION FOUND: 17630 @ 876.719
c NEW SOLUTION FOUND: 17626 @ 877.152
c NEW SOLUTION FOUND: 17622 @ 877.59
c NEW SOLUTION FOUND: 17618 @ 878.026
c NEW SOLUTION FOUND: 17614 @ 878.463
c NEW SOLUTION FOUND: 17610 @ 878.899
c NEW SOLUTION FOUND: 17606 @ 879.328
c NEW SOLUTION FOUND: 17602 @ 879.764
c NEW SOLUTION FOUND: 17598 @ 880.217
c NEW SOLUTION FOUND: 17594 @ 880.656
c NEW SOLUTION FOUND: 17590 @ 881.09
c NEW SOLUTION FOUND: 17586 @ 881.521
c NEW SOLUTION FOUND: 17582 @ 881.955
c NEW SOLUTION FOUND: 17578 @ 882.387
c NEW SOLUTION FOUND: 17574 @ 882.841
c NEW SOLUTION FOUND: 17570 @ 883.277
c NEW SOLUTION FOUND: 17566 @ 883.705
c NEW SOLUTION FOUND: 17562 @ 884.139
c NEW SOLUTION FOUND: 17552 @ 884.597
c NEW SOLUTION FOUND: 17548 @ 885.02
c NEW SOLUTION FOUND: 17544 @ 885.464
c NEW SOLUTION FOUND: 17540 @ 885.895
c NEW SOLUTION FOUND: 17536 @ 886.328
c NEW SOLUTION FOUND: 17532 @ 886.76
c NEW SOLUTION FOUND: 17528 @ 887.199
c NEW SOLUTION FOUND: 17524 @ 887.641
c NEW SOLUTION FOUND: 17520 @ 888.072
c NEW SOLUTION FOUND: 17516 @ 888.506
c NEW SOLUTION FOUND: 17512 @ 888.945
c NEW SOLUTION FOUND: 17508 @ 889.382
c NEW SOLUTION FOUND: 17504 @ 889.832
c NEW SOLUTION FOUND: 17500 @ 890.263
c NEW SOLUTION FOUND: 17496 @ 890.706
c NEW SOLUTION FOUND: 17492 @ 891.139
c NEW SOLUTION FOUND: 17488 @ 891.576
c NEW SOLUTION FOUND: 17484 @ 892.01
c NEW SOLUTION FOUND: 17480 @ 892.459
c NEW SOLUTION FOUND: 17476 @ 892.89
c NEW SOLUTION FOUND: 17472 @ 893.338
c NEW SOLUTION FOUND: 17468 @ 893.77
c NEW SOLUTION FOUND: 17464 @ 894.207
c NEW SOLUTION FOUND: 17460 @ 894.645
c NEW SOLUTION FOUND: 17456 @ 895.084
c NEW SOLUTION FOUND: 17452 @ 895.522
c NEW SOLUTION FOUND: 17448 @ 895.96
c NEW SOLUTION FOUND: 17444 @ 896.396
c NEW SOLUTION FOUND: 17440 @ 896.834
c NEW SOLUTION FOUND: 17436 @ 897.271
c NEW SOLUTION FOUND: 17432 @ 897.708
c NEW SOLUTION FOUND: 17428 @ 898.145
c NEW SOLUTION FOUND: 17424 @ 898.61
c NEW SOLUTION FOUND: 17420 @ 899.048
c NEW SOLUTION FOUND: 17416 @ 899.489
c NEW SOLUTION FOUND: 17412 @ 899.928
c NEW SOLUTION FOUND: 17408 @ 900.36
c NEW SOLUTION FOUND: 17404 @ 900.798
c NEW SOLUTION FOUND: 17400 @ 901.234
c NEW SOLUTION FOUND: 17396 @ 901.671
c NEW SOLUTION FOUND: 17392 @ 902.109
c NEW SOLUTION FOUND: 17388 @ 902.548
c NEW SOLUTION FOUND: 17384 @ 902.984
c NEW SOLUTION FOUND: 17380 @ 903.419
c NEW SOLUTION FOUND: 17376 @ 903.855
c NEW SOLUTION FOUND: 17372 @ 904.292
c NEW SOLUTION FOUND: 17368 @ 904.73
c NEW SOLUTION FOUND: 17364 @ 905.165
c NEW SOLUTION FOUND: 17360 @ 905.61
c NEW SOLUTION FOUND: 17356 @ 906.048
c NEW SOLUTION FOUND: 17352 @ 906.488
c NEW SOLUTION FOUND: 17348 @ 906.927
c NEW SOLUTION FOUND: 17344 @ 907.366
c NEW SOLUTION FOUND: 17340 @ 907.803
c NEW SOLUTION FOUND: 17336 @ 908.242
c NEW SOLUTION FOUND: 17332 @ 908.68
c NEW SOLUTION FOUND: 17328 @ 909.119
c NEW SOLUTION FOUND: 17324 @ 909.557
c NEW SOLUTION FOUND: 17320 @ 909.995
c NEW SOLUTION FOUND: 17316 @ 910.431
c NEW SOLUTION FOUND: 17312 @ 910.87
c NEW SOLUTION FOUND: 17308 @ 911.307
c NEW SOLUTION FOUND: 17304 @ 911.748
c NEW SOLUTION FOUND: 17300 @ 912.188
c NEW SOLUTION FOUND: 17296 @ 912.623
c NEW SOLUTION FOUND: 17292 @ 913.061
c NEW SOLUTION FOUND: 17288 @ 913.498
c NEW SOLUTION FOUND: 17284 @ 913.936
c NEW SOLUTION FOUND: 17280 @ 914.371
c NEW SOLUTION FOUND: 17276 @ 914.808
c NEW SOLUTION FOUND: 17272 @ 915.243
c NEW SOLUTION FOUND: 17268 @ 915.682
c NEW SOLUTION FOUND: 17264 @ 916.118
c NEW SOLUTION FOUND: 17260 @ 916.558
c NEW SOLUTION FOUND: 17256 @ 916.993
c NEW SOLUTION FOUND: 17252 @ 917.431
c NEW SOLUTION FOUND: 17248 @ 917.865
c NEW SOLUTION FOUND: 17244 @ 918.306
c NEW SOLUTION FOUND: 17240 @ 918.741
c NEW SOLUTION FOUND: 17236 @ 919.171
c NEW SOLUTION FOUND: 17232 @ 919.613
c NEW SOLUTION FOUND: 17228 @ 920.049
c NEW SOLUTION FOUND: 17224 @ 920.491
c NEW SOLUTION FOUND: 17220 @ 920.927
c NEW SOLUTION FOUND: 17216 @ 921.367
c NEW SOLUTION FOUND: 17212 @ 921.803
c NEW SOLUTION FOUND: 17208 @ 922.243
c NEW SOLUTION FOUND: 17204 @ 922.679
c NEW SOLUTION FOUND: 17200 @ 923.12
c NEW SOLUTION FOUND: 17196 @ 923.553
c NEW SOLUTION FOUND: 17192 @ 923.994
c NEW SOLUTION FOUND: 17188 @ 924.426
c NEW SOLUTION FOUND: 17184 @ 924.867
c NEW SOLUTION FOUND: 17180 @ 925.3
c NEW SOLUTION FOUND: 17176 @ 925.741
c NEW SOLUTION FOUND: 17172 @ 926.172
c NEW SOLUTION FOUND: 17168 @ 926.614
c NEW SOLUTION FOUND: 17164 @ 927.046
c NEW SOLUTION FOUND: 17160 @ 927.489
c NEW SOLUTION FOUND: 17156 @ 927.921
c NEW SOLUTION FOUND: 17152 @ 928.359
c NEW SOLUTION FOUND: 17148 @ 928.8
c NEW SOLUTION FOUND: 17144 @ 929.243
c NEW SOLUTION FOUND: 17140 @ 929.684
c NEW SOLUTION FOUND: 17136 @ 930.126
c NEW SOLUTION FOUND: 17132 @ 930.569
c NEW SOLUTION FOUND: 17128 @ 931.014
c NEW SOLUTION FOUND: 17124 @ 931.457
c NEW SOLUTION FOUND: 17120 @ 931.901
c NEW SOLUTION FOUND: 17116 @ 932.344
c NEW SOLUTION FOUND: 17112 @ 932.789
c NEW SOLUTION FOUND: 17108 @ 933.237
c NEW SOLUTION FOUND: 17104 @ 933.679
c NEW SOLUTION FOUND: 17100 @ 934.127
c NEW SOLUTION FOUND: 17096 @ 934.568
c NEW SOLUTION FOUND: 17092 @ 935.032
c NEW SOLUTION FOUND: 17088 @ 935.468
c NEW SOLUTION FOUND: 17084 @ 935.929
c NEW SOLUTION FOUND: 17080 @ 936.363
c NEW SOLUTION FOUND: 17076 @ 936.826
c NEW SOLUTION FOUND: 17072 @ 937.269
c NEW SOLUTION FOUND: 17068 @ 937.732
c NEW SOLUTION FOUND: 17064 @ 938.175
c NEW SOLUTION FOUND: 17060 @ 938.638
c NEW SOLUTION FOUND: 17056 @ 939.082
c NEW SOLUTION FOUND: 17052 @ 939.545
c NEW SOLUTION FOUND: 17048 @ 939.988
c NEW SOLUTION FOUND: 17044 @ 940.45
c NEW SOLUTION FOUND: 17040 @ 940.893
c NEW SOLUTION FOUND: 17036 @ 941.356
c NEW SOLUTION FOUND: 17032 @ 941.799
c NEW SOLUTION FOUND: 17028 @ 942.262
c NEW SOLUTION FOUND: 17024 @ 942.704
c NEW SOLUTION FOUND: 17020 @ 943.166
c NEW SOLUTION FOUND: 17016 @ 943.608
c NEW SOLUTION FOUND: 17012 @ 944.071
c NEW SOLUTION FOUND: 17008 @ 944.513
c NEW SOLUTION FOUND: 17004 @ 944.977
c NEW SOLUTION FOUND: 17000 @ 945.42
c NEW SOLUTION FOUND: 16996 @ 945.885
c NEW SOLUTION FOUND: 16992 @ 946.327
c NEW SOLUTION FOUND: 16988 @ 946.791
c NEW SOLUTION FOUND: 16984 @ 947.234
c NEW SOLUTION FOUND: 16980 @ 947.698
c NEW SOLUTION FOUND: 16976 @ 948.148
c NEW SOLUTION FOUND: 16972 @ 948.59
c NEW SOLUTION FOUND: 16968 @ 949.037
c NEW SOLUTION FOUND: 16964 @ 949.477
c NEW SOLUTION FOUND: 16960 @ 949.925
c NEW SOLUTION FOUND: 16956 @ 950.366
c NEW SOLUTION FOUND: 16952 @ 950.812
c NEW SOLUTION FOUND: 16948 @ 951.253
c NEW SOLUTION FOUND: 16944 @ 951.701
c NEW SOLUTION FOUND: 16940 @ 952.16
c NEW SOLUTION FOUND: 16936 @ 952.606
c NEW SOLUTION FOUND: 16932 @ 953.071
c NEW SOLUTION FOUND: 16928 @ 953.518
c NEW SOLUTION FOUND: 16924 @ 953.97
c NEW SOLUTION FOUND: 16920 @ 954.409
c NEW SOLUTION FOUND: 16916 @ 954.86
c NEW SOLUTION FOUND: 16912 @ 955.299
c NEW SOLUTION FOUND: 16908 @ 955.751
c NEW SOLUTION FOUND: 16904 @ 956.193
c NEW SOLUTION FOUND: 16900 @ 956.633
c NEW SOLUTION FOUND: 16896 @ 957.078
c NEW SOLUTION FOUND: 16892 @ 957.524
c NEW SOLUTION FOUND: 16888 @ 957.963
c NEW SOLUTION FOUND: 16884 @ 958.414
c NEW SOLUTION FOUND: 16880 @ 958.852
c NEW SOLUTION FOUND: 16876 @ 959.305
c NEW SOLUTION FOUND: 16872 @ 959.748
c NEW SOLUTION FOUND: 16868 @ 960.192
c NEW SOLUTION FOUND: 16864 @ 960.64
c NEW SOLUTION FOUND: 16860 @ 961.077
c NEW SOLUTION FOUND: 16856 @ 961.522
c NEW SOLUTION FOUND: 16852 @ 961.967
c NEW SOLUTION FOUND: 16848 @ 962.421
c NEW SOLUTION FOUND: 16844 @ 962.868
c NEW SOLUTION FOUND: 16840 @ 963.318
c NEW SOLUTION FOUND: 16836 @ 963.767
c NEW SOLUTION FOUND: 16832 @ 964.225
c NEW SOLUTION FOUND: 16828 @ 964.667
c NEW SOLUTION FOUND: 16824 @ 965.136
c NEW SOLUTION FOUND: 16820 @ 965.589
c NEW SOLUTION FOUND: 16816 @ 966.035
c NEW SOLUTION FOUND: 16812 @ 966.484
c NEW SOLUTION FOUND: 16808 @ 966.958
c NEW SOLUTION FOUND: 16804 @ 967.418
c NEW SOLUTION FOUND: 16800 @ 967.876
c NEW SOLUTION FOUND: 16796 @ 968.329
c NEW SOLUTION FOUND: 16792 @ 968.786
c NEW SOLUTION FOUND: 16788 @ 969.232
c NEW SOLUTION FOUND: 16784 @ 969.704
c NEW SOLUTION FOUND: 16780 @ 970.154
c NEW SOLUTION FOUND: 16776 @ 970.599
c NEW SOLUTION FOUND: 16772 @ 971.047
c NEW SOLUTION FOUND: 16768 @ 971.498
c NEW SOLUTION FOUND: 16764 @ 971.946
c NEW SOLUTION FOUND: 16760 @ 972.396
c NEW SOLUTION FOUND: 16756 @ 972.845
c NEW SOLUTION FOUND: 16752 @ 973.288
c NEW SOLUTION FOUND: 16748 @ 973.738
c NEW SOLUTION FOUND: 16744 @ 974.181
c NEW SOLUTION FOUND: 16740 @ 974.628
c NEW SOLUTION FOUND: 16736 @ 975.074
c NEW SOLUTION FOUND: 16732 @ 975.515
c NEW SOLUTION FOUND: 16728 @ 975.957
c NEW SOLUTION FOUND: 16724 @ 976.398
c NEW SOLUTION FOUND: 16720 @ 976.848
c NEW SOLUTION FOUND: 16716 @ 977.307
c NEW SOLUTION FOUND: 16712 @ 977.75
c NEW SOLUTION FOUND: 16708 @ 978.208
c NEW SOLUTION FOUND: 16704 @ 978.657
c NEW SOLUTION FOUND: 16694 @ 979.114
c NEW SOLUTION FOUND: 16690 @ 979.552
c NEW SOLUTION FOUND: 16686 @ 980.024
c NEW SOLUTION FOUND: 16682 @ 980.472
c NEW SOLUTION FOUND: 16678 @ 980.942
c NEW SOLUTION FOUND: 16674 @ 981.389
c NEW SOLUTION FOUND: 16670 @ 981.856
c NEW SOLUTION FOUND: 16666 @ 982.301
c NEW SOLUTION FOUND: 16662 @ 982.769
c NEW SOLUTION FOUND: 16658 @ 983.209
c NEW SOLUTION FOUND: 16654 @ 983.68
c NEW SOLUTION FOUND: 16650 @ 984.127
c NEW SOLUTION FOUND: 16646 @ 984.59
c NEW SOLUTION FOUND: 16642 @ 985.038
c NEW SOLUTION FOUND: 16638 @ 985.49
c NEW SOLUTION FOUND: 16634 @ 985.948
c NEW SOLUTION FOUND: 16630 @ 986.395
c NEW SOLUTION FOUND: 16626 @ 986.854
c NEW SOLUTION FOUND: 16622 @ 987.302
c NEW SOLUTION FOUND: 16618 @ 987.757
c NEW SOLUTION FOUND: 16614 @ 988.204
c NEW SOLUTION FOUND: 16610 @ 988.64
c NEW SOLUTION FOUND: 16606 @ 989.089
c NEW SOLUTION FOUND: 16602 @ 989.524
c NEW SOLUTION FOUND: 16598 @ 989.971
c NEW SOLUTION FOUND: 16594 @ 990.406
c NEW SOLUTION FOUND: 16590 @ 990.854
c NEW SOLUTION FOUND: 16586 @ 991.29
c NEW SOLUTION FOUND: 16582 @ 991.738
c NEW SOLUTION FOUND: 16578 @ 992.173
c NEW SOLUTION FOUND: 16574 @ 992.62
c NEW SOLUTION FOUND: 16570 @ 993.056
c NEW SOLUTION FOUND: 16566 @ 993.524
c NEW SOLUTION FOUND: 16562 @ 993.984
c NEW SOLUTION FOUND: 16558 @ 994.448
c NEW SOLUTION FOUND: 16554 @ 994.887
c NEW SOLUTION FOUND: 16550 @ 995.35
c NEW SOLUTION FOUND: 16546 @ 995.786
c NEW SOLUTION FOUND: 16542 @ 996.25
c NEW SOLUTION FOUND: 16538 @ 996.688
c NEW SOLUTION FOUND: 16534 @ 997.15
c NEW SOLUTION FOUND: 16530 @ 997.619
c NEW SOLUTION FOUND: 16526 @ 998.061
c NEW SOLUTION FOUND: 16522 @ 998.504
c NEW SOLUTION FOUND: 16518 @ 998.971
c NEW SOLUTION FOUND: 16514 @ 999.434
c NEW SOLUTION FOUND: 16510 @ 999.881
c NEW SOLUTION FOUND: 16506 @ 1000.34
c NEW SOLUTION FOUND: 16502 @ 1000.8
c NEW SOLUTION FOUND: 16498 @ 1001.26
c NEW SOLUTION FOUND: 16494 @ 1001.71
c NEW SOLUTION FOUND: 16490 @ 1002.15
c NEW SOLUTION FOUND: 16486 @ 1002.62
c NEW SOLUTION FOUND: 16482 @ 1003.06
c NEW SOLUTION FOUND: 16478 @ 1003.53
c NEW SOLUTION FOUND: 16474 @ 1003.97
c NEW SOLUTION FOUND: 16470 @ 1004.43
c NEW SOLUTION FOUND: 16466 @ 1004.87
c NEW SOLUTION FOUND: 16462 @ 1005.31
c NEW SOLUTION FOUND: 16458 @ 1005.75
c NEW SOLUTION FOUND: 16454 @ 1006.21
c NEW SOLUTION FOUND: 16450 @ 1006.66
c NEW SOLUTION FOUND: 16446 @ 1007.11
c NEW SOLUTION FOUND: 16442 @ 1007.55
c NEW SOLUTION FOUND: 16438 @ 1008.01
c NEW SOLUTION FOUND: 16434 @ 1008.45
c NEW SOLUTION FOUND: 16430 @ 1008.89
c NEW SOLUTION FOUND: 16426 @ 1009.34
c NEW SOLUTION FOUND: 16422 @ 1009.79
c NEW SOLUTION FOUND: 16418 @ 1010.23
c NEW SOLUTION FOUND: 16414 @ 1010.68
c NEW SOLUTION FOUND: 16410 @ 1011.12
c NEW SOLUTION FOUND: 16400 @ 1011.58
c NEW SOLUTION FOUND: 16396 @ 1012.02
c NEW SOLUTION FOUND: 16392 @ 1012.48
c NEW SOLUTION FOUND: 16388 @ 1012.92
c NEW SOLUTION FOUND: 16384 @ 1013.38
c NEW SOLUTION FOUND: 16380 @ 1013.81
c NEW SOLUTION FOUND: 16376 @ 1014.26
c NEW SOLUTION FOUND: 16372 @ 1014.72
c NEW SOLUTION FOUND: 16368 @ 1015.17
c NEW SOLUTION FOUND: 16364 @ 1015.62
c NEW SOLUTION FOUND: 16360 @ 1016.07
c NEW SOLUTION FOUND: 16356 @ 1016.52
c NEW SOLUTION FOUND: 16352 @ 1016.97
c NEW SOLUTION FOUND: 16348 @ 1017.42
c NEW SOLUTION FOUND: 16344 @ 1017.87
c NEW SOLUTION FOUND: 16340 @ 1018.32
c NEW SOLUTION FOUND: 16336 @ 1018.76
c NEW SOLUTION FOUND: 16332 @ 1019.23
c NEW SOLUTION FOUND: 16328 @ 1019.68
c NEW SOLUTION FOUND: 16324 @ 1020.13
c NEW SOLUTION FOUND: 16320 @ 1020.58
c NEW SOLUTION FOUND: 16316 @ 1021.03
c NEW SOLUTION FOUND: 16312 @ 1021.48
c NEW SOLUTION FOUND: 16308 @ 1021.93
c NEW SOLUTION FOUND: 16304 @ 1022.38
c NEW SOLUTION FOUND: 16300 @ 1022.83
c NEW SOLUTION FOUND: 16296 @ 1023.29
c NEW SOLUTION FOUND: 16292 @ 1023.74
c NEW SOLUTION FOUND: 16288 @ 1024.2
c NEW SOLUTION FOUND: 16284 @ 1024.64
c NEW SOLUTION FOUND: 16280 @ 1025.09
c NEW SOLUTION FOUND: 16276 @ 1025.54
c NEW SOLUTION FOUND: 16272 @ 1025.99
c NEW SOLUTION FOUND: 16268 @ 1026.45
c NEW SOLUTION FOUND: 16264 @ 1026.89
c NEW SOLUTION FOUND: 16260 @ 1027.34
c NEW SOLUTION FOUND: 16256 @ 1027.79
c NEW SOLUTION FOUND: 16252 @ 1028.25
c NEW SOLUTION FOUND: 16248 @ 1028.69
c NEW SOLUTION FOUND: 16244 @ 1029.14
c NEW SOLUTION FOUND: 16240 @ 1029.59
c NEW SOLUTION FOUND: 16236 @ 1030.06
c NEW SOLUTION FOUND: 16232 @ 1030.5
c NEW SOLUTION FOUND: 16228 @ 1030.95
c NEW SOLUTION FOUND: 16224 @ 1031.4
c NEW SOLUTION FOUND: 16220 @ 1031.85
c NEW SOLUTION FOUND: 16216 @ 1032.3
c NEW SOLUTION FOUND: 16212 @ 1032.75
c NEW SOLUTION FOUND: 16208 @ 1033.2
c NEW SOLUTION FOUND: 16204 @ 1033.65
c NEW SOLUTION FOUND: 16200 @ 1034.12
c NEW SOLUTION FOUND: 16196 @ 1034.56
c NEW SOLUTION FOUND: 16192 @ 1035.02
c NEW SOLUTION FOUND: 16188 @ 1035.47
c NEW SOLUTION FOUND: 16184 @ 1035.94
c NEW SOLUTION FOUND: 16180 @ 1036.38
c NEW SOLUTION FOUND: 16176 @ 1036.85
c NEW SOLUTION FOUND: 16172 @ 1037.3
c NEW SOLUTION FOUND: 16168 @ 1037.76
c NEW SOLUTION FOUND: 16164 @ 1038.21
c NEW SOLUTION FOUND: 16160 @ 1038.68
c NEW SOLUTION FOUND: 16156 @ 1039.12
c NEW SOLUTION FOUND: 16152 @ 1039.59
c NEW SOLUTION FOUND: 16148 @ 1040.04
c NEW SOLUTION FOUND: 16144 @ 1040.51
c NEW SOLUTION FOUND: 16140 @ 1040.95
c NEW SOLUTION FOUND: 16136 @ 1041.42
c NEW SOLUTION FOUND: 16132 @ 1041.87
c NEW SOLUTION FOUND: 16128 @ 1042.33
c NEW SOLUTION FOUND: 16124 @ 1042.77
c NEW SOLUTION FOUND: 16120 @ 1043.24
c NEW SOLUTION FOUND: 16116 @ 1043.68
c NEW SOLUTION FOUND: 16112 @ 1044.14
c NEW SOLUTION FOUND: 16108 @ 1044.59
c NEW SOLUTION FOUND: 16104 @ 1045.06
c NEW SOLUTION FOUND: 16100 @ 1045.5
c NEW SOLUTION FOUND: 16096 @ 1045.97
c NEW SOLUTION FOUND: 16092 @ 1046.42
c NEW SOLUTION FOUND: 16088 @ 1046.89
c NEW SOLUTION FOUND: 16084 @ 1047.33
c NEW SOLUTION FOUND: 16080 @ 1047.8
c NEW SOLUTION FOUND: 16076 @ 1048.24
c NEW SOLUTION FOUND: 16072 @ 1048.71
c NEW SOLUTION FOUND: 16068 @ 1049.15
c NEW SOLUTION FOUND: 16064 @ 1049.62
c NEW SOLUTION FOUND: 16060 @ 1050.07
c NEW SOLUTION FOUND: 16056 @ 1050.53
c NEW SOLUTION FOUND: 16052 @ 1050.98
c NEW SOLUTION FOUND: 16048 @ 1051.44
c NEW SOLUTION FOUND: 16044 @ 1051.88
c NEW SOLUTION FOUND: 16040 @ 1052.33
c NEW SOLUTION FOUND: 16036 @ 1052.77
c NEW SOLUTION FOUND: 16032 @ 1053.22
c NEW SOLUTION FOUND: 16028 @ 1053.67
c NEW SOLUTION FOUND: 16024 @ 1054.13
c NEW SOLUTION FOUND: 16020 @ 1054.57
c NEW SOLUTION FOUND: 16016 @ 1055.04
c NEW SOLUTION FOUND: 16012 @ 1055.48
c NEW SOLUTION FOUND: 16008 @ 1055.92
c NEW SOLUTION FOUND: 16004 @ 1056.37
c NEW SOLUTION FOUND: 16000 @ 1056.81
c NEW SOLUTION FOUND: 15996 @ 1057.25
c NEW SOLUTION FOUND: 15986 @ 1057.7
c NEW SOLUTION FOUND: 15982 @ 1058.14
c NEW SOLUTION FOUND: 15978 @ 1058.59
c NEW SOLUTION FOUND: 15974 @ 1059.06
c NEW SOLUTION FOUND: 15970 @ 1059.53
c NEW SOLUTION FOUND: 15966 @ 1059.97
c NEW SOLUTION FOUND: 15962 @ 1060.42
c NEW SOLUTION FOUND: 15958 @ 1060.89
c NEW SOLUTION FOUND: 15954 @ 1061.34
c NEW SOLUTION FOUND: 15950 @ 1061.78
c NEW SOLUTION FOUND: 15946 @ 1062.23
c NEW SOLUTION FOUND: 15942 @ 1062.68
c NEW SOLUTION FOUND: 15938 @ 1063.15
c NEW SOLUTION FOUND: 15934 @ 1063.61
c NEW SOLUTION FOUND: 15930 @ 1064.05
c NEW SOLUTION FOUND: 15926 @ 1064.5
c NEW SOLUTION FOUND: 15922 @ 1064.94
c NEW SOLUTION FOUND: 15918 @ 1065.38
c NEW SOLUTION FOUND: 15914 @ 1065.83
c NEW SOLUTION FOUND: 15910 @ 1066.28
c NEW SOLUTION FOUND: 15906 @ 1066.72
c NEW SOLUTION FOUND: 15902 @ 1067.17
c NEW SOLUTION FOUND: 15898 @ 1067.62
c NEW SOLUTION FOUND: 15894 @ 1068.07
c NEW SOLUTION FOUND: 15890 @ 1068.52
c NEW SOLUTION FOUND: 15886 @ 1068.97
c NEW SOLUTION FOUND: 15882 @ 1069.44
c NEW SOLUTION FOUND: 15878 @ 1069.89
c NEW SOLUTION FOUND: 15874 @ 1070.37
c NEW SOLUTION FOUND: 15870 @ 1070.82
c NEW SOLUTION FOUND: 15866 @ 1071.3
c NEW SOLUTION FOUND: 15862 @ 1071.74
c NEW SOLUTION FOUND: 15858 @ 1072.21
c NEW SOLUTION FOUND: 15854 @ 1072.66
c NEW SOLUTION FOUND: 15850 @ 1073.11
c NEW SOLUTION FOUND: 15846 @ 1073.56
c NEW SOLUTION FOUND: 15842 @ 1074.03
c NEW SOLUTION FOUND: 15838 @ 1074.47
c NEW SOLUTION FOUND: 15834 @ 1074.93
c NEW SOLUTION FOUND: 15830 @ 1075.37
c NEW SOLUTION FOUND: 15826 @ 1075.82
c NEW SOLUTION FOUND: 15822 @ 1076.26
c NEW SOLUTION FOUND: 15818 @ 1076.72
c NEW SOLUTION FOUND: 15814 @ 1077.16
c NEW SOLUTION FOUND: 15810 @ 1077.62
c NEW SOLUTION FOUND: 15806 @ 1078.06
c NEW SOLUTION FOUND: 15802 @ 1078.5
c NEW SOLUTION FOUND: 15798 @ 1078.94
c NEW SOLUTION FOUND: 15794 @ 1079.39
c NEW SOLUTION FOUND: 15790 @ 1079.83
c NEW SOLUTION FOUND: 15786 @ 1080.28
c NEW SOLUTION FOUND: 15782 @ 1080.72
c NEW SOLUTION FOUND: 15778 @ 1081.18
c NEW SOLUTION FOUND: 15774 @ 1081.62
c NEW SOLUTION FOUND: 15770 @ 1082.09
c NEW SOLUTION FOUND: 15766 @ 1082.54
c NEW SOLUTION FOUND: 15762 @ 1082.99
c NEW SOLUTION FOUND: 15758 @ 1083.44
c NEW SOLUTION FOUND: 15754 @ 1083.89
c NEW SOLUTION FOUND: 15750 @ 1084.34
c NEW SOLUTION FOUND: 15746 @ 1084.79
c NEW SOLUTION FOUND: 15742 @ 1085.23
c NEW SOLUTION FOUND: 15738 @ 1085.68
c NEW SOLUTION FOUND: 15734 @ 1086.13
c NEW SOLUTION FOUND: 15730 @ 1086.58
c NEW SOLUTION FOUND: 15726 @ 1087.03
c NEW SOLUTION FOUND: 15722 @ 1087.47
c NEW SOLUTION FOUND: 15718 @ 1087.92
c NEW SOLUTION FOUND: 15714 @ 1088.37
c NEW SOLUTION FOUND: 15710 @ 1088.81
c NEW SOLUTION FOUND: 15706 @ 1089.28
c NEW SOLUTION FOUND: 15702 @ 1089.73
c NEW SOLUTION FOUND: 15698 @ 1090.2
c NEW SOLUTION FOUND: 15694 @ 1090.66
c NEW SOLUTION FOUND: 15690 @ 1091.13
c NEW SOLUTION FOUND: 15686 @ 1091.58
c NEW SOLUTION FOUND: 15682 @ 1092.05
c NEW SOLUTION FOUND: 15678 @ 1092.5
c NEW SOLUTION FOUND: 15674 @ 1092.95
c NEW SOLUTION FOUND: 15670 @ 1093.4
c NEW SOLUTION FOUND: 15666 @ 1093.87
c NEW SOLUTION FOUND: 15662 @ 1094.32
c NEW SOLUTION FOUND: 15658 @ 1094.79
c NEW SOLUTION FOUND: 15654 @ 1095.24
c NEW SOLUTION FOUND: 15650 @ 1095.69
c NEW SOLUTION FOUND: 15646 @ 1096.14
c NEW SOLUTION FOUND: 15642 @ 1096.59
c NEW SOLUTION FOUND: 15638 @ 1097.03
c NEW SOLUTION FOUND: 15634 @ 1097.48
c NEW SOLUTION FOUND: 15630 @ 1097.93
c NEW SOLUTION FOUND: 15626 @ 1098.38
c NEW SOLUTION FOUND: 15622 @ 1098.83
c NEW SOLUTION FOUND: 15618 @ 1099.28
c NEW SOLUTION FOUND: 15614 @ 1099.72
c NEW SOLUTION FOUND: 15610 @ 1100.18
c NEW SOLUTION FOUND: 15606 @ 1100.63
c NEW SOLUTION FOUND: 15602 @ 1101.09
c NEW SOLUTION FOUND: 15598 @ 1101.54
c NEW SOLUTION FOUND: 15594 @ 1101.99
c NEW SOLUTION FOUND: 15590 @ 1102.44
c NEW SOLUTION FOUND: 15586 @ 1102.89
c NEW SOLUTION FOUND: 15582 @ 1103.34
c NEW SOLUTION FOUND: 15578 @ 1103.78
c NEW SOLUTION FOUND: 15574 @ 1104.23
c NEW SOLUTION FOUND: 15570 @ 1104.69
c NEW SOLUTION FOUND: 15566 @ 1105.14
c NEW SOLUTION FOUND: 15562 @ 1105.59
c NEW SOLUTION FOUND: 15558 @ 1106.05
c NEW SOLUTION FOUND: 15554 @ 1106.49
c NEW SOLUTION FOUND: 15550 @ 1106.94
c NEW SOLUTION FOUND: 15546 @ 1107.41
c NEW SOLUTION FOUND: 15542 @ 1107.86
c NEW SOLUTION FOUND: 15538 @ 1108.33
c NEW SOLUTION FOUND: 15534 @ 1108.77
c NEW SOLUTION FOUND: 15524 @ 1109.23
c NEW SOLUTION FOUND: 15520 @ 1109.68
c NEW SOLUTION FOUND: 15516 @ 1110.14
c NEW SOLUTION FOUND: 15512 @ 1110.59
c NEW SOLUTION FOUND: 15508 @ 1111.05
c NEW SOLUTION FOUND: 15504 @ 1111.5
c NEW SOLUTION FOUND: 15500 @ 1111.97
c NEW SOLUTION FOUND: 15496 @ 1112.42
c NEW SOLUTION FOUND: 15492 @ 1112.87
c NEW SOLUTION FOUND: 15488 @ 1113.33
c NEW SOLUTION FOUND: 15484 @ 1113.77
c NEW SOLUTION FOUND: 15480 @ 1114.23
c NEW SOLUTION FOUND: 15476 @ 1114.68
c NEW SOLUTION FOUND: 15472 @ 1115.13
c NEW SOLUTION FOUND: 15468 @ 1115.59
c NEW SOLUTION FOUND: 15464 @ 1116.04
c NEW SOLUTION FOUND: 15460 @ 1116.49
c NEW SOLUTION FOUND: 15456 @ 1116.94
c NEW SOLUTION FOUND: 15452 @ 1117.4
c NEW SOLUTION FOUND: 15448 @ 1117.84
c NEW SOLUTION FOUND: 15444 @ 1118.29
c NEW SOLUTION FOUND: 15440 @ 1118.72
c NEW SOLUTION FOUND: 15436 @ 1119.18
c NEW SOLUTION FOUND: 15432 @ 1119.62
c NEW SOLUTION FOUND: 15428 @ 1120.08
c NEW SOLUTION FOUND: 15424 @ 1120.52
c NEW SOLUTION FOUND: 15420 @ 1120.97
c NEW SOLUTION FOUND: 15416 @ 1121.42
c NEW SOLUTION FOUND: 15412 @ 1121.87
c NEW SOLUTION FOUND: 15408 @ 1122.31
c NEW SOLUTION FOUND: 15404 @ 1122.76
c NEW SOLUTION FOUND: 15400 @ 1123.2
c NEW SOLUTION FOUND: 15396 @ 1123.65
c NEW SOLUTION FOUND: 15392 @ 1124.1
c NEW SOLUTION FOUND: 15388 @ 1124.55
c NEW SOLUTION FOUND: 15384 @ 1124.99
c NEW SOLUTION FOUND: 15380 @ 1125.45
c NEW SOLUTION FOUND: 15376 @ 1125.88
c NEW SOLUTION FOUND: 15372 @ 1126.34
c NEW SOLUTION FOUND: 15368 @ 1126.78
c NEW SOLUTION FOUND: 15364 @ 1127.23
c NEW SOLUTION FOUND: 15360 @ 1127.67
c NEW SOLUTION FOUND: 15356 @ 1128.13
c NEW SOLUTION FOUND: 15352 @ 1128.57
c NEW SOLUTION FOUND: 15348 @ 1129.03
c NEW SOLUTION FOUND: 15344 @ 1129.47
c NEW SOLUTION FOUND: 15340 @ 1129.93
c NEW SOLUTION FOUND: 15336 @ 1130.38
c NEW SOLUTION FOUND: 15332 @ 1130.82
c NEW SOLUTION FOUND: 15328 @ 1131.27
c NEW SOLUTION FOUND: 15324 @ 1131.72
c NEW SOLUTION FOUND: 15320 @ 1132.17
c NEW SOLUTION FOUND: 15316 @ 1132.62
c NEW SOLUTION FOUND: 15312 @ 1133.07
c NEW SOLUTION FOUND: 15308 @ 1133.52
c NEW SOLUTION FOUND: 15304 @ 1133.97
c NEW SOLUTION FOUND: 15300 @ 1134.42
c NEW SOLUTION FOUND: 15296 @ 1134.87
c NEW SOLUTION FOUND: 15292 @ 1135.32
c NEW SOLUTION FOUND: 15288 @ 1135.77
c NEW SOLUTION FOUND: 15284 @ 1136.24
c NEW SOLUTION FOUND: 15280 @ 1136.68
c NEW SOLUTION FOUND: 15276 @ 1137.12
c NEW SOLUTION FOUND: 15272 @ 1137.57
c NEW SOLUTION FOUND: 15268 @ 1138.01
c NEW SOLUTION FOUND: 15264 @ 1138.46
c NEW SOLUTION FOUND: 15260 @ 1138.91
c NEW SOLUTION FOUND: 15256 @ 1139.37
c NEW SOLUTION FOUND: 15252 @ 1139.81
c NEW SOLUTION FOUND: 15248 @ 1140.28
c NEW SOLUTION FOUND: 15244 @ 1140.73
c NEW SOLUTION FOUND: 15240 @ 1141.18
c NEW SOLUTION FOUND: 15236 @ 1141.63
c NEW SOLUTION FOUND: 15232 @ 1142.07
c NEW SOLUTION FOUND: 15228 @ 1142.54
c NEW SOLUTION FOUND: 15224 @ 1142.98
c NEW SOLUTION FOUND: 15220 @ 1143.43
c NEW SOLUTION FOUND: 15216 @ 1143.88
c NEW SOLUTION FOUND: 15212 @ 1144.34
c NEW SOLUTION FOUND: 15208 @ 1144.78
c NEW SOLUTION FOUND: 15204 @ 1145.24
c NEW SOLUTION FOUND: 15200 @ 1145.68
c NEW SOLUTION FOUND: 15196 @ 1146.15
c NEW SOLUTION FOUND: 15192 @ 1146.6
c NEW SOLUTION FOUND: 15188 @ 1147.05
c NEW SOLUTION FOUND: 15184 @ 1147.51
c NEW SOLUTION FOUND: 15180 @ 1147.96
c NEW SOLUTION FOUND: 15176 @ 1148.4
c NEW SOLUTION FOUND: 15172 @ 1148.85
c NEW SOLUTION FOUND: 15168 @ 1149.3
c NEW SOLUTION FOUND: 15164 @ 1149.75
c NEW SOLUTION FOUND: 15160 @ 1150.2
c NEW SOLUTION FOUND: 15156 @ 1150.65
c NEW SOLUTION FOUND: 15152 @ 1151.1
c NEW SOLUTION FOUND: 15148 @ 1151.55
c NEW SOLUTION FOUND: 15144 @ 1151.99
c NEW SOLUTION FOUND: 15140 @ 1152.44
c NEW SOLUTION FOUND: 15136 @ 1152.89
c NEW SOLUTION FOUND: 15132 @ 1153.35
c NEW SOLUTION FOUND: 15128 @ 1153.79
c NEW SOLUTION FOUND: 15124 @ 1154.25
c NEW SOLUTION FOUND: 15120 @ 1154.69
c NEW SOLUTION FOUND: 15116 @ 1155.15
c NEW SOLUTION FOUND: 15112 @ 1155.59
c NEW SOLUTION FOUND: 15108 @ 1156.05
c NEW SOLUTION FOUND: 15104 @ 1156.5
c NEW SOLUTION FOUND: 15100 @ 1156.95
c NEW SOLUTION FOUND: 15096 @ 1157.4
c NEW SOLUTION FOUND: 15092 @ 1157.86
c NEW SOLUTION FOUND: 15088 @ 1158.32
c NEW SOLUTION FOUND: 15084 @ 1158.78
c NEW SOLUTION FOUND: 15080 @ 1159.23
c NEW SOLUTION FOUND: 15076 @ 1159.69
c NEW SOLUTION FOUND: 15072 @ 1160.14
c NEW SOLUTION FOUND: 15068 @ 1160.6
c NEW SOLUTION FOUND: 15058 @ 1161.07
c NEW SOLUTION FOUND: 15054 @ 1161.52
c NEW SOLUTION FOUND: 15050 @ 1161.97
c NEW SOLUTION FOUND: 15046 @ 1162.44
c NEW SOLUTION FOUND: 15042 @ 1162.9
c NEW SOLUTION FOUND: 15038 @ 1163.36
c NEW SOLUTION FOUND: 15034 @ 1163.82
c NEW SOLUTION FOUND: 15030 @ 1164.27
c NEW SOLUTION FOUND: 15026 @ 1164.73
c NEW SOLUTION FOUND: 15022 @ 1165.19
c NEW SOLUTION FOUND: 15018 @ 1165.64
c NEW SOLUTION FOUND: 15014 @ 1166.1
c NEW SOLUTION FOUND: 15010 @ 1166.56
c NEW SOLUTION FOUND: 15006 @ 1167.02
c NEW SOLUTION FOUND: 15002 @ 1167.48
c NEW SOLUTION FOUND: 14998 @ 1167.93
c NEW SOLUTION FOUND: 14994 @ 1168.38
c NEW SOLUTION FOUND: 14990 @ 1168.84
c NEW SOLUTION FOUND: 14986 @ 1169.29
c NEW SOLUTION FOUND: 14982 @ 1169.75
c NEW SOLUTION FOUND: 14978 @ 1170.2
c NEW SOLUTION FOUND: 14974 @ 1170.66
c NEW SOLUTION FOUND: 14970 @ 1171.12
c NEW SOLUTION FOUND: 14966 @ 1171.58
c NEW SOLUTION FOUND: 14962 @ 1172.03
c NEW SOLUTION FOUND: 14958 @ 1172.49
c NEW SOLUTION FOUND: 14954 @ 1172.94
c NEW SOLUTION FOUND: 14950 @ 1173.41
c NEW SOLUTION FOUND: 14946 @ 1173.86
c NEW SOLUTION FOUND: 14942 @ 1174.33
c NEW SOLUTION FOUND: 14938 @ 1174.78
c NEW SOLUTION FOUND: 14934 @ 1175.22
c NEW SOLUTION FOUND: 14930 @ 1175.67
c NEW SOLUTION FOUND: 14926 @ 1176.12
c NEW SOLUTION FOUND: 14922 @ 1176.57
c NEW SOLUTION FOUND: 14918 @ 1177.02
c NEW SOLUTION FOUND: 14914 @ 1177.47
c NEW SOLUTION FOUND: 14910 @ 1177.92
c NEW SOLUTION FOUND: 14906 @ 1178.37
c NEW SOLUTION FOUND: 14902 @ 1178.82
c NEW SOLUTION FOUND: 14898 @ 1179.28
c NEW SOLUTION FOUND: 14894 @ 1179.74
c NEW SOLUTION FOUND: 14890 @ 1180.2
c NEW SOLUTION FOUND: 14886 @ 1180.65
c NEW SOLUTION FOUND: 14882 @ 1181.1
c NEW SOLUTION FOUND: 14878 @ 1181.55
c NEW SOLUTION FOUND: 14874 @ 1182
c NEW SOLUTION FOUND: 14870 @ 1182.48
c NEW SOLUTION FOUND: 14866 @ 1182.93
c NEW SOLUTION FOUND: 14862 @ 1183.38
c NEW SOLUTION FOUND: 14858 @ 1183.84
c NEW SOLUTION FOUND: 14854 @ 1184.3
c NEW SOLUTION FOUND: 14850 @ 1184.76
c NEW SOLUTION FOUND: 14846 @ 1185.22
c NEW SOLUTION FOUND: 14842 @ 1185.67
c NEW SOLUTION FOUND: 14838 @ 1186.14
c NEW SOLUTION FOUND: 14834 @ 1186.59
c NEW SOLUTION FOUND: 14830 @ 1187.06
c NEW SOLUTION FOUND: 14826 @ 1187.51
c NEW SOLUTION FOUND: 14822 @ 1187.98
c NEW SOLUTION FOUND: 14818 @ 1188.43
c NEW SOLUTION FOUND: 14814 @ 1188.9
c NEW SOLUTION FOUND: 14810 @ 1189.35
c NEW SOLUTION FOUND: 14806 @ 1189.83
c NEW SOLUTION FOUND: 14802 @ 1190.28
c NEW SOLUTION FOUND: 14798 @ 1190.75
c NEW SOLUTION FOUND: 14794 @ 1191.2
c NEW SOLUTION FOUND: 14790 @ 1191.67
c NEW SOLUTION FOUND: 14786 @ 1192.12
c NEW SOLUTION FOUND: 14782 @ 1192.59
c NEW SOLUTION FOUND: 14778 @ 1193.04
c NEW SOLUTION FOUND: 14774 @ 1193.51
c NEW SOLUTION FOUND: 14770 @ 1193.96
c NEW SOLUTION FOUND: 14766 @ 1194.43
c NEW SOLUTION FOUND: 14762 @ 1194.89
c NEW SOLUTION FOUND: 14758 @ 1195.35
c NEW SOLUTION FOUND: 14754 @ 1195.81
c NEW SOLUTION FOUND: 14750 @ 1196.28
c NEW SOLUTION FOUND: 14746 @ 1196.73
c NEW SOLUTION FOUND: 14742 @ 1197.2
c NEW SOLUTION FOUND: 14738 @ 1197.65
c NEW SOLUTION FOUND: 14734 @ 1198.12
c NEW SOLUTION FOUND: 14730 @ 1198.57
c NEW SOLUTION FOUND: 14726 @ 1199.04
c NEW SOLUTION FOUND: 14722 @ 1199.5
c NEW SOLUTION FOUND: 14718 @ 1199.97
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/54 7501
Raw data (stat): 7501 (runsolver) R 7500 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906696773 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99994 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4435 0 0 0 984 13 0 0 25 0 1 0 906696773 21540864 4324 4294967295 134512640 134716908 3221224560 3221223024 134536698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5259 4324 1111 63 0 5196 0
vsize: 21036
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4871 0 0 0 1984 14 0 0 25 0 1 0 906696773 23191552 4760 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5662 4760 1111 63 0 5599 0
vsize: 22648
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4871 0 0 0 2984 14 0 0 25 0 1 0 906696773 23191552 4760 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5662 4760 1111 63 0 5599 0
vsize: 22648
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4871 0 0 0 3984 14 0 0 25 0 1 0 906696773 23191552 4760 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5662 4760 1111 63 0 5599 0
vsize: 22648
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4871 0 0 0 4984 14 0 0 25 0 1 0 906696773 23191552 4760 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5662 4760 1111 63 0 5599 0
vsize: 22648
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 4871 0 0 0 5984 14 0 0 25 0 1 0 906696773 23191552 4760 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5662 4760 1111 63 0 5599 0
vsize: 22648
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 5407 0 0 0 6983 15 0 0 25 0 1 0 906696773 25608192 5296 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 5296 1111 63 0 6189 0
vsize: 25008
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 5550 0 0 0 7983 15 0 0 25 0 1 0 906696773 26103808 5439 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5439 1111 63 0 6310 0
vsize: 25492
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 7594 0 0 0 8979 20 0 0 25 0 1 0 906696773 35774464 6842 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 6842 1111 63 0 8671 0
vsize: 34936
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 7838 0 0 0 9978 22 0 0 25 0 1 0 906696773 35774464 7086 4294967295 134512640 134716908 3221224560 3221221056 1074885513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 7086 1111 63 0 8671 0
vsize: 34936
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 7928 0 0 0 10977 22 0 0 25 0 1 0 906696773 35774464 7176 4294967295 134512640 134716908 3221224560 3221220684 1075116774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 7176 1111 63 0 8671 0
vsize: 34936
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8276 0 0 0 11977 23 0 0 25 0 1 0 906696773 34324480 7141 4294967295 134512640 134716908 3221224560 3221220340 1074786562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8380 7141 1111 63 0 8317 0
vsize: 33520
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8714 0 0 0 12976 24 0 0 25 0 1 0 906696773 34500608 7183 4294967295 134512640 134716908 3221224560 3221220448 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8423 7183 1111 63 0 8360 0
vsize: 33692
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8755 0 0 0 13976 24 0 0 25 0 1 0 906696773 34668544 7224 4294967295 134512640 134716908 3221224560 3221220340 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 7224 1111 63 0 8401 0
vsize: 33856
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8801 0 0 0 14976 24 0 0 25 0 1 0 906696773 34861056 7270 4294967295 134512640 134716908 3221224560 3221220348 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8511 7270 1111 63 0 8448 0
vsize: 34044
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8897 0 0 0 15976 24 0 0 25 0 1 0 906696773 35254272 7366 4294967295 134512640 134716908 3221224560 3221220528 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7366 1111 63 0 8544 0
vsize: 34428
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 8897 0 0 0 16976 25 0 0 25 0 1 0 906696773 35254272 7366 4294967295 134512640 134716908 3221224560 3221220476 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7366 1111 63 0 8544 0
vsize: 34428
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9004 0 0 0 17976 25 0 0 25 0 1 0 906696773 35696640 7473 4294967295 134512640 134716908 3221224560 3221220832 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8715 7473 1111 63 0 8652 0
vsize: 34860
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9060 0 0 0 18976 25 0 0 25 0 1 0 906696773 35930112 7529 4294967295 134512640 134716908 3221224560 3221220608 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8772 7529 1111 63 0 8709 0
vsize: 35088
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9061 0 0 0 19976 25 0 0 25 0 1 0 906696773 35930112 7530 4294967295 134512640 134716908 3221224560 3221220448 1074875006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8772 7530 1111 63 0 8709 0
vsize: 35088
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9061 0 0 0 20976 25 0 0 25 0 1 0 906696773 35930112 7530 4294967295 134512640 134716908 3221224560 3221220424 1075964755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8772 7530 1111 63 0 8709 0
vsize: 35088
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9062 0 0 0 21976 25 0 0 25 0 1 0 906696773 35930112 7531 4294967295 134512640 134716908 3221224560 3221220736 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8772 7531 1111 63 0 8709 0
vsize: 35088
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9148 0 0 0 22976 25 0 0 25 0 1 0 906696773 36175872 7595 4294967295 134512640 134716908 3221224560 3221220576 1075895656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7595 1111 63 0 8769 0
vsize: 35328
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 23976 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220992 1075397159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 24977 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220348 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 25977 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220348 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 26977 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220704 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 27977 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220348 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 28977 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220840 1075112546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 29978 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220528 1074881470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 9170 0 0 0 30978 25 0 0 25 0 1 0 906696773 36175872 7617 4294967295 134512640 134716908 3221224560 3221220432 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8832 7617 1111 63 0 8769 0
vsize: 35328
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 11899 0 0 0 31971 33 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 12253 0 0 0 32968 36 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 12609 0 0 0 33966 38 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 12965 0 0 0 34964 40 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 13319 0 0 0 35962 43 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 13673 0 0 0 36959 45 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222936 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 14027 0 0 0 37957 47 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222768 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 14383 0 0 0 38955 49 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 14739 0 0 0 39953 52 0 0 25 0 1 0 906696773 29212672 6263 4294967295 134512640 134716908 3221224560 3221222484 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6263 1111 63 0 7069 0
vsize: 28528
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 15093 0 0 0 40951 54 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222952 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 15447 0 0 0 41949 56 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222960 134646834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 15799 0 0 0 42947 58 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222928 134606864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 16153 0 0 0 43945 61 0 0 25 0 1 0 906696773 29212672 6263 4294967295 134512640 134716908 3221224560 3221222460 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6263 1111 63 0 7069 0
vsize: 28528
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 16505 0 0 0 44943 63 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 16859 0 0 0 45940 66 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222616 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 17211 0 0 0 46937 69 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222904 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 17565 0 0 0 47935 72 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222908 134532458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 17919 0 0 0 48932 75 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 18273 0 0 0 49931 77 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222992 134649067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 18625 0 0 0 50928 79 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222720 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 18975 0 0 0 51927 81 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 19325 0 0 0 52924 83 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222992 134649067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 19677 0 0 0 53922 86 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222616 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 20029 0 0 0 54920 88 0 0 25 0 1 0 906696773 29212672 6263 4294967295 134512640 134716908 3221224560 3221222608 1074790215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6263 1111 63 0 7069 0
vsize: 28528
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 20379 0 0 0 55918 90 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 20731 0 0 0 56916 93 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 21083 0 0 0 57914 95 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222944 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 21435 0 0 0 58912 97 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222952 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 21787 0 0 0 59910 99 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222956 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 22139 0 0 0 60908 102 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222912 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 22493 0 0 0 61906 104 0 0 25 0 1 0 906696773 29212672 6263 4294967295 134512640 134716908 3221224560 3221222484 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6263 1111 63 0 7069 0
vsize: 28528
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 22843 0 0 0 62903 107 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 23007 0 0 0 63902 108 0 0 25 0 1 0 906696773 28901376 6261 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7056 6261 1111 63 0 6993 0
vsize: 28224
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 23009 0 0 0 64901 108 0 0 25 0 1 0 906696773 28901376 6263 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7056 6263 1111 63 0 6993 0
vsize: 28224
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 23011 0 0 0 65900 109 0 0 25 0 1 0 906696773 28901376 6265 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6265 1111 63 0 6993 0
vsize: 28224
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 23015 0 0 0 66899 110 0 0 25 0 1 0 906696773 28901376 6269 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6269 1111 63 0 6993 0
vsize: 28224
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 31653 0 0 0 67878 131 0 0 25 0 1 0 906696773 27078656 5843 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6611 5843 1111 63 0 6548 0
vsize: 26444
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 42011 0 0 0 68853 156 0 0 25 0 1 0 906696773 27770880 6006 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6780 6006 1111 63 0 6717 0
vsize: 27120
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 51293 0 0 0 69830 179 0 0 25 0 1 0 906696773 27344896 5908 4294967295 134512640 134716908 3221224560 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6676 5908 1111 63 0 6613 0
vsize: 26704
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 61927 0 0 0 70805 204 0 0 25 0 1 0 906696773 27885568 6040 4294967295 134512640 134716908 3221224560 3221223136 134549324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6808 6040 1111 63 0 6745 0
vsize: 27232
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 70528 0 0 0 71784 225 0 0 25 0 1 0 906696773 27885568 6040 4294967295 134512640 134716908 3221224560 3221223096 1077377254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6808 6040 1111 63 0 6745 0
vsize: 27232
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 78917 0 0 0 72766 243 0 0 25 0 1 0 906696773 27774976 6013 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 6013 1111 63 0 6718 0
vsize: 27124
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 89445 0 0 0 73741 269 0 0 25 0 1 0 906696773 27992064 6066 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6066 1111 63 0 6771 0
vsize: 27336
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 98741 0 0 0 74717 292 0 0 25 0 1 0 906696773 28418048 6146 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6938 6152 1111 63 0 6875 0
vsize: 27752
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 107882 0 0 0 75696 314 0 0 25 0 1 0 906696773 27992064 6066 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6066 1111 63 0 6771 0
vsize: 27336
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 117107 0 0 0 76674 336 0 0 25 0 1 0 906696773 33734656 6147 4294967295 134512640 134716908 3221224560 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8236 6147 1111 63 0 8173 0
vsize: 32944
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 128342 0 0 0 77648 363 0 0 25 0 1 0 906696773 27992064 6066 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6066 1111 63 0 6771 0
vsize: 27336
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 140364 0 0 0 78622 388 0 0 25 0 1 0 906696773 27992064 6066 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6066 1111 63 0 6771 0
vsize: 27336
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 151619 0 0 0 79597 414 0 0 25 0 1 0 906696773 28205056 6118 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6118 1111 63 0 6823 0
vsize: 27544
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 162183 0 0 0 80572 438 0 0 25 0 1 0 906696773 28315648 6145 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6913 6145 1111 63 0 6850 0
vsize: 27652
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 172918 0 0 0 81548 463 0 0 25 0 1 0 906696773 28729344 6212 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7014 6214 1111 63 0 6951 0
vsize: 28056
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 184132 0 0 0 82520 491 0 0 25 0 1 0 906696773 28205056 6118 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6118 1111 63 0 6823 0
vsize: 27544
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 196042 0 0 0 83491 521 0 0 25 0 1 0 906696773 28205056 6118 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6118 1111 63 0 6823 0
vsize: 27544
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 208385 0 0 0 84460 551 0 0 25 0 1 0 906696773 28532736 6198 4294967295 134512640 134716908 3221224560 3221222288 1075635463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 6198 1111 63 0 6903 0
vsize: 27864
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 220377 0 0 0 85430 581 0 0 25 0 1 0 906696773 28422144 6171 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6171 1111 63 0 6876 0
vsize: 27756
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 231569 0 0 0 86403 609 0 0 25 0 1 0 906696773 28532736 6198 4294967295 134512640 134716908 3221224560 3221223080 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 6198 1111 63 0 6903 0
vsize: 27864
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 242458 0 0 0 87378 634 0 0 25 0 1 0 906696773 29319168 6215 4294967295 134512640 134716908 3221224560 3221222288 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7158 6220 1111 63 0 7095 0
vsize: 28632
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 254132 0 0 0 88350 663 0 0 25 0 1 0 906696773 28422144 6171 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6171 1111 63 0 6876 0
vsize: 27756
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 267282 0 0 0 89319 693 0 0 25 0 1 0 906696773 28422144 6171 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6171 1111 63 0 6876 0
vsize: 27756
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 280162 0 0 0 90287 725 0 0 25 0 1 0 906696773 28422144 6171 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6171 1111 63 0 6876 0
vsize: 27756
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 293338 0 0 0 91257 756 0 0 25 0 1 0 906696773 28409856 6152 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6936 6156 1111 63 0 6873 0
vsize: 27744
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 306889 0 0 0 92225 788 0 0 25 0 1 0 906696773 28532736 6198 4294967295 134512640 134716908 3221224560 3221223352 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 6198 1111 63 0 6903 0
vsize: 27864
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 320320 0 0 0 93194 820 0 0 25 0 1 0 906696773 28422144 6171 4294967295 134512640 134716908 3221224560 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6171 1111 63 0 6876 0
vsize: 27756
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 333643 0 0 0 94164 849 0 0 25 0 1 0 906696773 28618752 6219 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6987 6219 1111 63 0 6924 0
vsize: 27948
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 346729 0 0 0 95135 879 0 0 25 0 1 0 906696773 35102720 6468 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8570 6469 1111 63 0 8507 0
vsize: 34280
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 359990 0 0 0 96102 911 0 0 25 0 1 0 906696773 28999680 6312 4294967295 134512640 134716908 3221224560 3221222304 1075646723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7080 6312 1111 63 0 7017 0
vsize: 28320
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 373370 0 0 0 97072 941 0 0 25 0 1 0 906696773 28618752 6219 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6987 6219 1111 63 0 6924 0
vsize: 27948
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 385868 0 0 0 98041 972 0 0 25 0 1 0 906696773 28778496 6258 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7026 6258 1111 63 0 6963 0
vsize: 28104
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 397665 0 0 0 99013 1000 0 0 25 0 1 0 906696773 28995584 6311 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7079 6311 1111 63 0 7016 0
vsize: 28316
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 408245 0 0 0 99989 1025 0 0 25 0 1 0 906696773 29892608 6356 4294967295 134512640 134716908 3221224560 3221222288 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7298 6361 1111 63 0 7235 0
vsize: 29192
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 419176 0 0 0 100964 1049 0 0 25 0 1 0 906696773 29212672 6364 4294967295 134512640 134716908 3221224560 3221223376 134653544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6364 1111 63 0 7069 0
vsize: 28528
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 429277 0 0 0 101942 1072 0 0 25 0 1 0 906696773 29200384 6361 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7129 6361 1111 63 0 7066 0
vsize: 28516
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 439463 0 0 0 102917 1097 0 0 25 0 1 0 906696773 29212672 6364 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6364 1111 63 0 7069 0
vsize: 28528
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 450012 0 0 0 103893 1121 0 0 25 0 1 0 906696773 29319168 6390 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7158 6390 1111 63 0 7095 0
vsize: 28632
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 461217 0 0 0 104865 1149 0 0 25 0 1 0 906696773 29212672 6364 4294967295 134512640 134716908 3221224560 3221222872 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6364 1111 63 0 7069 0
vsize: 28528
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 472739 0 0 0 105839 1175 0 0 25 0 1 0 906696773 29212672 6364 4294967295 134512640 134716908 3221224560 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6364 1111 63 0 7069 0
vsize: 28528
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 484596 0 0 0 106810 1205 0 0 25 0 1 0 906696773 29212672 6364 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6364 1111 63 0 7069 0
vsize: 28528
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 497346 0 0 0 107781 1234 0 0 25 0 1 0 906696773 35639296 6717 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8701 6717 1111 63 0 8638 0
vsize: 34804
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 510287 0 0 0 108752 1263 0 0 25 0 1 0 906696773 29515776 6407 4294967295 134512640 134716908 3221224560 3221222304 1075640228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 6407 1111 63 0 7143 0
vsize: 28824
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 523626 0 0 0 109721 1294 0 0 25 0 1 0 906696773 29319168 6390 4294967295 134512640 134716908 3221224560 3221223268 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7158 6390 1111 63 0 7095 0
vsize: 28632
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 536747 0 0 0 110689 1327 0 0 25 0 1 0 906696773 29523968 6433 4294967295 134512640 134716908 3221224560 3221222560 1074056630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7208 6437 1111 63 0 7145 0
vsize: 28832
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 548139 0 0 0 111662 1354 0 0 25 0 1 0 906696773 29536256 6443 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7211 6443 1111 63 0 7148 0
vsize: 28844
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 559629 0 0 0 112635 1381 0 0 25 0 1 0 906696773 29536256 6443 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7211 6443 1111 63 0 7148 0
vsize: 28844
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 572812 0 0 0 113604 1412 0 0 25 0 1 0 906696773 29863936 6523 4294967295 134512640 134716908 3221224560 3221222288 1075635468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7291 6523 1111 63 0 7228 0
vsize: 29164
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 585669 0 0 0 114575 1442 0 0 25 0 1 0 906696773 29646848 6470 4294967295 134512640 134716908 3221224560 3221223256 134586419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7238 6470 1111 63 0 7175 0
vsize: 28952
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 599000 0 0 0 115544 1473 0 0 25 0 1 0 906696773 29962240 6547 4294967295 134512640 134716908 3221224560 3221222288 1075635491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 6547 1111 63 0 7252 0
vsize: 29260
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 609387 0 0 0 116519 1498 0 0 25 0 1 0 906696773 30060544 6571 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6571 1111 63 0 7276 0
vsize: 29356
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 619188 0 0 0 117495 1522 0 0 25 0 1 0 906696773 29949952 6544 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7312 6544 1111 63 0 7249 0
vsize: 29248
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) R 7500 21152 21151 0 -1 0 629718 0 0 0 118471 1546 0 0 25 0 1 0 906696773 29949952 6544 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7312 6544 1111 63 0 7249 0
vsize: 29248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7501
Raw data (stat): 7501 (bsolo_lpr_cuts-) Z 7500 21152 21151 0 -1 1036 629718 0 0 0 118471 1547 0 0 25 0 1 0 906696773 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.19
CPU user time (s): 1184.71
CPU system time (s): 15.4796
CPU usage (%): 100.011
Max. virtual memory (Kb): 35328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####