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 25003

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 21:52:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3350 boxname=wulflinc31 idbench=373 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  76931687067724cc4684adb9e5aff770  /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.95:100.opb
IDLAUNCH: 3350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        782180 kB
Buffers:         43580 kB
Cached:         186368 kB
SwapCached:       1932 kB
Active:         165564 kB
Inactive:        67600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        781928 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13508 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 22:12:30 (client local time) WITH STATUS 0 IN 1200.63 SECONDS
stats: 3350 7 1200.63 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.467 s
c Initial Lower Bound: -1
c Lower Bound Elapsed time: 576.074
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 19600 @ 684.507
c NEW SOLUTION FOUND: 19597 @ 684.674
c NEW SOLUTION FOUND: 19595 @ 684.847
c NEW SOLUTION FOUND: 19592 @ 685.034
c NEW SOLUTION FOUND: 19590 @ 685.205
c NEW SOLUTION FOUND: 19588 @ 685.388
c NEW SOLUTION FOUND: 19584 @ 685.572
c NEW SOLUTION FOUND: 19581 @ 685.754
c NEW SOLUTION FOUND: 19579 @ 685.934
c NEW SOLUTION FOUND: 19576 @ 686.126
c NEW SOLUTION FOUND: 19570 @ 686.314
c NEW SOLUTION FOUND: 19564 @ 686.504
c NEW SOLUTION FOUND: 19554 @ 686.699
c NEW SOLUTION FOUND: 19544 @ 686.896
c NEW SOLUTION FOUND: 19534 @ 687.095
c NEW SOLUTION FOUND: 19524 @ 687.296
c NEW SOLUTION FOUND: 19514 @ 687.5
c NEW SOLUTION FOUND: 19504 @ 687.707
c NEW SOLUTION FOUND: 19494 @ 687.915
c NEW SOLUTION FOUND: 19490 @ 688.119
c NEW SOLUTION FOUND: 19484 @ 688.338
c NEW SOLUTION FOUND: 19482 @ 688.543
c NEW SOLUTION FOUND: 19472 @ 688.766
c NEW SOLUTION FOUND: 19462 @ 688.984
c NEW SOLUTION FOUND: 19461 @ 689.197
c NEW SOLUTION FOUND: 19460 @ 689.416
c NEW SOLUTION FOUND: 19457 @ 689.641
c NEW SOLUTION FOUND: 19447 @ 689.862
c NEW SOLUTION FOUND: 19446 @ 690.077
c NEW SOLUTION FOUND: 19436 @ 690.308
c NEW SOLUTION FOUND: 19426 @ 690.533
c NEW SOLUTION FOUND: 19425 @ 690.755
c NEW SOLUTION FOUND: 19424 @ 690.983
c NEW SOLUTION FOUND: 19414 @ 691.217
c NEW SOLUTION FOUND: 19404 @ 691.448
c NEW SOLUTION FOUND: 19394 @ 691.681
c NEW SOLUTION FOUND: 19393 @ 691.908
c NEW SOLUTION FOUND: 19390 @ 692.15
c NEW SOLUTION FOUND: 19380 @ 692.388
c NEW SOLUTION FOUND: 19370 @ 692.629
c NEW SOLUTION FOUND: 19360 @ 692.872
c NEW SOLUTION FOUND: 19350 @ 693.12
c NEW SOLUTION FOUND: 19340 @ 693.368
c NEW SOLUTION FOUND: 19330 @ 693.619
c NEW SOLUTION FOUND: 19320 @ 693.875
c NEW SOLUTION FOUND: 19310 @ 694.131
c NEW SOLUTION FOUND: 19306 @ 694.383
c NEW SOLUTION FOUND: 19300 @ 694.654
c NEW SOLUTION FOUND: 19290 @ 694.916
c NEW SOLUTION FOUND: 19288 @ 695.194
c NEW SOLUTION FOUND: 19286 @ 695.46
c NEW SOLUTION FOUND: 19283 @ 695.74
c NEW SOLUTION FOUND: 19277 @ 696.023
c NEW SOLUTION FOUND: 19271 @ 696.303
c NEW SOLUTION FOUND: 19261 @ 696.584
c NEW SOLUTION FOUND: 19260 @ 696.85
c NEW SOLUTION FOUND: 19250 @ 697.138
c NEW SOLUTION FOUND: 19244 @ 697.417
c NEW SOLUTION FOUND: 19243 @ 697.694
c NEW SOLUTION FOUND: 19242 @ 697.976
c NEW SOLUTION FOUND: 19241 @ 698.267
c NEW SOLUTION FOUND: 19231 @ 698.568
c NEW SOLUTION FOUND: 19221 @ 698.852
c NEW SOLUTION FOUND: 19211 @ 699.147
c NEW SOLUTION FOUND: 19202 @ 699.437
c NEW SOLUTION FOUND: 19201 @ 699.72
c NEW SOLUTION FOUND: 19200 @ 700.011
c NEW SOLUTION FOUND: 19190 @ 700.321
c NEW SOLUTION FOUND: 19180 @ 700.615
c NEW SOLUTION FOUND: 19170 @ 700.917
c NEW SOLUTION FOUND: 19160 @ 701.215
c NEW SOLUTION FOUND: 19150 @ 701.523
c NEW SOLUTION FOUND: 19140 @ 701.825
c NEW SOLUTION FOUND: 19130 @ 702.137
c NEW SOLUTION FOUND: 19120 @ 702.451
c NEW SOLUTION FOUND: 19110 @ 702.768
c NEW SOLUTION FOUND: 19100 @ 703.087
c NEW SOLUTION FOUND: 19090 @ 703.404
c NEW SOLUTION FOUND: 19086 @ 703.715
c NEW SOLUTION FOUND: 19083 @ 704.037
c NEW SOLUTION FOUND: 19081 @ 704.357
c NEW SOLUTION FOUND: 19080 @ 704.678
c NEW SOLUTION FOUND: 19076 @ 705.001
c NEW SOLUTION FOUND: 19075 @ 705.33
c NEW SOLUTION FOUND: 19074 @ 705.654
c NEW SOLUTION FOUND: 19073 @ 706.311
c NEW SOLUTION FOUND: 19070 @ 706.652
c NEW SOLUTION FOUND: 19061 @ 706.981
c NEW SOLUTION FOUND: 19060 @ 707.306
c NEW SOLUTION FOUND: 19059 @ 707.639
c NEW SOLUTION FOUND: 19055 @ 707.974
c NEW SOLUTION FOUND: 19046 @ 708.319
c NEW SOLUTION FOUND: 19045 @ 708.644
c NEW SOLUTION FOUND: 19041 @ 708.984
c NEW SOLUTION FOUND: 19040 @ 709.322
c NEW SOLUTION FOUND: 19037 @ 709.665
c NEW SOLUTION FOUND: 19031 @ 710.016
c NEW SOLUTION FOUND: 19027 @ 710.349
c NEW SOLUTION FOUND: 19017 @ 710.701
c NEW SOLUTION FOUND: 19016 @ 711.036
c NEW SOLUTION FOUND: 19015 @ 711.38
c NEW SOLUTION FOUND: 19005 @ 711.734
c NEW SOLUTION FOUND: 19001 @ 712.074
c NEW SOLUTION FOUND: 18991 @ 712.427
c NEW SOLUTION FOUND: 18990 @ 712.76
c NEW SOLUTION FOUND: 18987 @ 713.117
c NEW SOLUTION FOUND: 18984 @ 713.458
c NEW SOLUTION FOUND: 18980 @ 713.815
c NEW SOLUTION FOUND: 18976 @ 714.169
c NEW SOLUTION FOUND: 18975 @ 714.524
c NEW SOLUTION FOUND: 18971 @ 714.878
c NEW SOLUTION FOUND: 18967 @ 715.244
c NEW SOLUTION FOUND: 18963 @ 715.599
c NEW SOLUTION FOUND: 18959 @ 715.947
c NEW SOLUTION FOUND: 18955 @ 716.302
c NEW SOLUTION FOUND: 18951 @ 716.646
c NEW SOLUTION FOUND: 18947 @ 717.001
c NEW SOLUTION FOUND: 18943 @ 717.346
c NEW SOLUTION FOUND: 18941 @ 717.7
c NEW SOLUTION FOUND: 18940 @ 718.044
c NEW SOLUTION FOUND: 18939 @ 718.399
c NEW SOLUTION FOUND: 18938 @ 718.745
c NEW SOLUTION FOUND: 18937 @ 719.098
c NEW SOLUTION FOUND: 18936 @ 719.441
c NEW SOLUTION FOUND: 18935 @ 719.801
c NEW SOLUTION FOUND: 18934 @ 720.149
c NEW SOLUTION FOUND: 18933 @ 720.49
c NEW SOLUTION FOUND: 18932 @ 720.84
c NEW SOLUTION FOUND: 18931 @ 721.181
c NEW SOLUTION FOUND: 18930 @ 721.531
c NEW SOLUTION FOUND: 18929 @ 722.226
c NEW SOLUTION FOUND: 18928 @ 722.571
c NEW SOLUTION FOUND: 18927 @ 722.938
c NEW SOLUTION FOUND: 18926 @ 723.29
c NEW SOLUTION FOUND: 18925 @ 723.655
c NEW SOLUTION FOUND: 18924 @ 724.006
c NEW SOLUTION FOUND: 18923 @ 724.37
c NEW SOLUTION FOUND: 18922 @ 724.732
c NEW SOLUTION FOUND: 18921 @ 725.097
c NEW SOLUTION FOUND: 18920 @ 725.445
c NEW SOLUTION FOUND: 18919 @ 725.796
c NEW SOLUTION FOUND: 18918 @ 726.157
c NEW SOLUTION FOUND: 18917 @ 726.522
c NEW SOLUTION FOUND: 18916 @ 726.867
c NEW SOLUTION FOUND: 18915 @ 727.223
c NEW SOLUTION FOUND: 18913 @ 727.582
c NEW SOLUTION FOUND: 18912 @ 727.941
c NEW SOLUTION FOUND: 18911 @ 728.307
c NEW SOLUTION FOUND: 18910 @ 728.65
c NEW SOLUTION FOUND: 18909 @ 728.999
c NEW SOLUTION FOUND: 18908 @ 729.343
c NEW SOLUTION FOUND: 18907 @ 729.707
c NEW SOLUTION FOUND: 18906 @ 730.069
c NEW SOLUTION FOUND: 18905 @ 730.425
c NEW SOLUTION FOUND: 18901 @ 730.789
c NEW SOLUTION FOUND: 18900 @ 731.133
c NEW SOLUTION FOUND: 18899 @ 731.496
c NEW SOLUTION FOUND: 18898 @ 731.849
c NEW SOLUTION FOUND: 18897 @ 732.214
c NEW SOLUTION FOUND: 18893 @ 732.587
c NEW SOLUTION FOUND: 18892 @ 732.949
c NEW SOLUTION FOUND: 18891 @ 733.308
c NEW SOLUTION FOUND: 18890 @ 733.679
c NEW SOLUTION FOUND: 18889 @ 734.031
c NEW SOLUTION FOUND: 18888 @ 734.402
c NEW SOLUTION FOUND: 18887 @ 734.754
c NEW SOLUTION FOUND: 18886 @ 735.124
c NEW SOLUTION FOUND: 18885 @ 735.477
c NEW SOLUTION FOUND: 18884 @ 735.847
c NEW SOLUTION FOUND: 18883 @ 736.199
c NEW SOLUTION FOUND: 18882 @ 736.569
c NEW SOLUTION FOUND: 18881 @ 736.928
c NEW SOLUTION FOUND: 18880 @ 737.298
c NEW SOLUTION FOUND: 18879 @ 737.65
c NEW SOLUTION FOUND: 18878 @ 738.002
c NEW SOLUTION FOUND: 18877 @ 738.374
c NEW SOLUTION FOUND: 18875 @ 738.739
c NEW SOLUTION FOUND: 18874 @ 739.09
c NEW SOLUTION FOUND: 18873 @ 739.453
c NEW SOLUTION FOUND: 18872 @ 739.811
c NEW SOLUTION FOUND: 18871 @ 740.164
c NEW SOLUTION FOUND: 18870 @ 740.521
c NEW SOLUTION FOUND: 18869 @ 740.88
c NEW SOLUTION FOUND: 18867 @ 741.254
c NEW SOLUTION FOUND: 18866 @ 741.614
c NEW SOLUTION FOUND: 18865 @ 741.974
c NEW SOLUTION FOUND: 18864 @ 742.33
c NEW SOLUTION FOUND: 18862 @ 742.693
c NEW SOLUTION FOUND: 18860 @ 743.05
c NEW SOLUTION FOUND: 18859 @ 743.435
c NEW SOLUTION FOUND: 18858 @ 743.8
c NEW SOLUTION FOUND: 18857 @ 744.161
c NEW SOLUTION FOUND: 18855 @ 744.545
c NEW SOLUTION FOUND: 18853 @ 744.908
c NEW SOLUTION FOUND: 18851 @ 745.277
c NEW SOLUTION FOUND: 18849 @ 745.654
c NEW SOLUTION FOUND: 18847 @ 746.021
c NEW SOLUTION FOUND: 18845 @ 746.385
c NEW SOLUTION FOUND: 18843 @ 746.745
c NEW SOLUTION FOUND: 18841 @ 747.11
c NEW SOLUTION FOUND: 18837 @ 747.495
c NEW SOLUTION FOUND: 18835 @ 747.86
c NEW SOLUTION FOUND: 18829 @ 748.233
c NEW SOLUTION FOUND: 18827 @ 748.601
c NEW SOLUTION FOUND: 18825 @ 748.969
c NEW SOLUTION FOUND: 18823 @ 749.336
c NEW SOLUTION FOUND: 18821 @ 749.698
c NEW SOLUTION FOUND: 18819 @ 750.075
c NEW SOLUTION FOUND: 18817 @ 750.442
c NEW SOLUTION FOUND: 18815 @ 750.809
c NEW SOLUTION FOUND: 18813 @ 751.175
c NEW SOLUTION FOUND: 18811 @ 751.54
c NEW SOLUTION FOUND: 18809 @ 751.902
c NEW SOLUTION FOUND: 18807 @ 752.264
c NEW SOLUTION FOUND: 18805 @ 752.632
c NEW SOLUTION FOUND: 18803 @ 752.988
c NEW SOLUTION FOUND: 18801 @ 753.359
c NEW SOLUTION FOUND: 18799 @ 753.725
c NEW SOLUTION FOUND: 18797 @ 754.086
c NEW SOLUTION FOUND: 18795 @ 754.449
c NEW SOLUTION FOUND: 18793 @ 754.815
c NEW SOLUTION FOUND: 18791 @ 755.174
c NEW SOLUTION FOUND: 18789 @ 755.539
c NEW SOLUTION FOUND: 18787 @ 755.907
c NEW SOLUTION FOUND: 18785 @ 756.286
c NEW SOLUTION FOUND: 18783 @ 756.658
c NEW SOLUTION FOUND: 18781 @ 757.038
c NEW SOLUTION FOUND: 18779 @ 757.407
c NEW SOLUTION FOUND: 18772 @ 757.77
c NEW SOLUTION FOUND: 18770 @ 758.127
c NEW SOLUTION FOUND: 18768 @ 758.498
c NEW SOLUTION FOUND: 18766 @ 758.865
c NEW SOLUTION FOUND: 18764 @ 759.229
c NEW SOLUTION FOUND: 18762 @ 759.595
c NEW SOLUTION FOUND: 18760 @ 759.97
c NEW SOLUTION FOUND: 18758 @ 760.337
c NEW SOLUTION FOUND: 18756 @ 760.722
c NEW SOLUTION FOUND: 18754 @ 761.108
c NEW SOLUTION FOUND: 18752 @ 761.468
c NEW SOLUTION FOUND: 18750 @ 761.85
c NEW SOLUTION FOUND: 18748 @ 762.216
c NEW SOLUTION FOUND: 18746 @ 762.596
c NEW SOLUTION FOUND: 18742 @ 762.978
c NEW SOLUTION FOUND: 18740 @ 763.346
c NEW SOLUTION FOUND: 18738 @ 763.72
c NEW SOLUTION FOUND: 18736 @ 764.106
c NEW SOLUTION FOUND: 18734 @ 764.475
c NEW SOLUTION FOUND: 18732 @ 764.847
c NEW SOLUTION FOUND: 18730 @ 765.219
c NEW SOLUTION FOUND: 18728 @ 765.588
c NEW SOLUTION FOUND: 18726 @ 765.969
c NEW SOLUTION FOUND: 18723 @ 766.339
c NEW SOLUTION FOUND: 18720 @ 766.726
c NEW SOLUTION FOUND: 18717 @ 767.106
c NEW SOLUTION FOUND: 18714 @ 767.476
c NEW SOLUTION FOUND: 18711 @ 767.85
c NEW SOLUTION FOUND: 18708 @ 768.217
c NEW SOLUTION FOUND: 18705 @ 768.585
c NEW SOLUTION FOUND: 18702 @ 768.953
c NEW SOLUTION FOUND: 18699 @ 769.317
c NEW SOLUTION FOUND: 18695 @ 769.685
c NEW SOLUTION FOUND: 18691 @ 770.049
c NEW SOLUTION FOUND: 18687 @ 770.418
c NEW SOLUTION FOUND: 18683 @ 770.783
c NEW SOLUTION FOUND: 18679 @ 771.15
c NEW SOLUTION FOUND: 18675 @ 771.515
c NEW SOLUTION FOUND: 18673 @ 771.883
c NEW SOLUTION FOUND: 18671 @ 772.249
c NEW SOLUTION FOUND: 18669 @ 772.618
c NEW SOLUTION FOUND: 18667 @ 772.993
c NEW SOLUTION FOUND: 18665 @ 773.382
c NEW SOLUTION FOUND: 18663 @ 773.762
c NEW SOLUTION FOUND: 18660 @ 774.158
c NEW SOLUTION FOUND: 18656 @ 774.55
c NEW SOLUTION FOUND: 18653 @ 774.947
c NEW SOLUTION FOUND: 18651 @ 775.336
c NEW SOLUTION FOUND: 18648 @ 775.733
c NEW SOLUTION FOUND: 18645 @ 776.128
c NEW SOLUTION FOUND: 18644 @ 776.533
c NEW SOLUTION FOUND: 18641 @ 776.939
c NEW SOLUTION FOUND: 18638 @ 777.334
c NEW SOLUTION FOUND: 18636 @ 777.726
c NEW SOLUTION FOUND: 18633 @ 778.13
c NEW SOLUTION FOUND: 18630 @ 778.523
c NEW SOLUTION FOUND: 18621 @ 778.947
c NEW SOLUTION FOUND: 18612 @ 779.349
c NEW SOLUTION FOUND: 18603 @ 779.757
c NEW SOLUTION FOUND: 18600 @ 780.157
c NEW SOLUTION FOUND: 18597 @ 780.578
c NEW SOLUTION FOUND: 18594 @ 780.993
c NEW SOLUTION FOUND: 18591 @ 781.393
c NEW SOLUTION FOUND: 18582 @ 781.827
c NEW SOLUTION FOUND: 18579 @ 782.229
c NEW SOLUTION FOUND: 18576 @ 782.637
c NEW SOLUTION FOUND: 18573 @ 783.037
c NEW SOLUTION FOUND: 18570 @ 783.461
c NEW SOLUTION FOUND: 18567 @ 783.867
c NEW SOLUTION FOUND: 18564 @ 784.274
c NEW SOLUTION FOUND: 18561 @ 784.677
c NEW SOLUTION FOUND: 18558 @ 785.104
c NEW SOLUTION FOUND: 18555 @ 785.515
c NEW SOLUTION FOUND: 18552 @ 785.943
c NEW SOLUTION FOUND: 18549 @ 786.35
c NEW SOLUTION FOUND: 18546 @ 786.775
c NEW SOLUTION FOUND: 18543 @ 787.18
c NEW SOLUTION FOUND: 18540 @ 787.607
c NEW SOLUTION FOUND: 18537 @ 788.011
c NEW SOLUTION FOUND: 18534 @ 788.44
c NEW SOLUTION FOUND: 18532 @ 788.841
c NEW SOLUTION FOUND: 18529 @ 789.27
c NEW SOLUTION FOUND: 18526 @ 789.676
c NEW SOLUTION FOUND: 18523 @ 790.105
c NEW SOLUTION FOUND: 18520 @ 790.509
c NEW SOLUTION FOUND: 18517 @ 790.938
c NEW SOLUTION FOUND: 18514 @ 791.344
c NEW SOLUTION FOUND: 18511 @ 791.772
c NEW SOLUTION FOUND: 18508 @ 792.177
c NEW SOLUTION FOUND: 18505 @ 792.606
c NEW SOLUTION FOUND: 18502 @ 793.419
c NEW SOLUTION FOUND: 18499 @ 793.822
c NEW SOLUTION FOUND: 18496 @ 794.237
c NEW SOLUTION FOUND: 18489 @ 794.66
c NEW SOLUTION FOUND: 18486 @ 795.067
c NEW SOLUTION FOUND: 18483 @ 795.483
c NEW SOLUTION FOUND: 18480 @ 795.902
c NEW SOLUTION FOUND: 18477 @ 796.317
c NEW SOLUTION FOUND: 18474 @ 796.725
c NEW SOLUTION FOUND: 18471 @ 797.129
c NEW SOLUTION FOUND: 18468 @ 797.539
c NEW SOLUTION FOUND: 18465 @ 797.947
c NEW SOLUTION FOUND: 18462 @ 798.355
c NEW SOLUTION FOUND: 18459 @ 798.762
c NEW SOLUTION FOUND: 18452 @ 799.176
c NEW SOLUTION FOUND: 18444 @ 799.594
c NEW SOLUTION FOUND: 18436 @ 800.012
c NEW SOLUTION FOUND: 18428 @ 800.455
c NEW SOLUTION FOUND: 18425 @ 800.869
c NEW SOLUTION FOUND: 18422 @ 801.307
c NEW SOLUTION FOUND: 18419 @ 801.724
c NEW SOLUTION FOUND: 18416 @ 802.149
c NEW SOLUTION FOUND: 18411 @ 802.58
c NEW SOLUTION FOUND: 18408 @ 802.996
c NEW SOLUTION FOUND: 18405 @ 803.426
c NEW SOLUTION FOUND: 18402 @ 803.854
c NEW SOLUTION FOUND: 18399 @ 804.277
c NEW SOLUTION FOUND: 18396 @ 804.695
c NEW SOLUTION FOUND: 18393 @ 805.117
c NEW SOLUTION FOUND: 18390 @ 805.561
c NEW SOLUTION FOUND: 18386 @ 805.982
c NEW SOLUTION FOUND: 18382 @ 806.401
c NEW SOLUTION FOUND: 18378 @ 806.822
c NEW SOLUTION FOUND: 18374 @ 807.249
c NEW SOLUTION FOUND: 18370 @ 807.672
c NEW SOLUTION FOUND: 18366 @ 808.099
c NEW SOLUTION FOUND: 18362 @ 808.521
c NEW SOLUTION FOUND: 18352 @ 808.977
c NEW SOLUTION FOUND: 18348 @ 809.4
c NEW SOLUTION FOUND: 18338 @ 809.841
c NEW SOLUTION FOUND: 18334 @ 810.258
c NEW SOLUTION FOUND: 18330 @ 810.693
c NEW SOLUTION FOUND: 18326 @ 811.118
c NEW SOLUTION FOUND: 18322 @ 811.556
c NEW SOLUTION FOUND: 18318 @ 812.008
c NEW SOLUTION FOUND: 18314 @ 812.446
c NEW SOLUTION FOUND: 18310 @ 812.867
c NEW SOLUTION FOUND: 18306 @ 813.305
c NEW SOLUTION FOUND: 18302 @ 813.725
c NEW SOLUTION FOUND: 18298 @ 814.157
c NEW SOLUTION FOUND: 18294 @ 814.579
c NEW SOLUTION FOUND: 18290 @ 815.017
c NEW SOLUTION FOUND: 18286 @ 815.437
c NEW SOLUTION FOUND: 18282 @ 815.875
c NEW SOLUTION FOUND: 18278 @ 816.3
c NEW SOLUTION FOUND: 18274 @ 816.738
c NEW SOLUTION FOUND: 18270 @ 817.158
c NEW SOLUTION FOUND: 18266 @ 817.597
c NEW SOLUTION FOUND: 18262 @ 818.017
c NEW SOLUTION FOUND: 18258 @ 818.44
c NEW SOLUTION FOUND: 18254 @ 818.86
c NEW SOLUTION FOUND: 18250 @ 819.297
c NEW SOLUTION FOUND: 18246 @ 819.718
c NEW SOLUTION FOUND: 18242 @ 820.138
c NEW SOLUTION FOUND: 18238 @ 820.557
c NEW SOLUTION FOUND: 18234 @ 820.995
c NEW SOLUTION FOUND: 18230 @ 821.415
c NEW SOLUTION FOUND: 18226 @ 821.839
c NEW SOLUTION FOUND: 18222 @ 822.259
c NEW SOLUTION FOUND: 18218 @ 822.697
c NEW SOLUTION FOUND: 18214 @ 823.116
c NEW SOLUTION FOUND: 18210 @ 823.54
c NEW SOLUTION FOUND: 18206 @ 823.959
c NEW SOLUTION FOUND: 18202 @ 824.398
c NEW SOLUTION FOUND: 18198 @ 824.816
c NEW SOLUTION FOUND: 18194 @ 825.239
c NEW SOLUTION FOUND: 18190 @ 825.658
c NEW SOLUTION FOUND: 18186 @ 826.096
c NEW SOLUTION FOUND: 18182 @ 826.514
c NEW SOLUTION FOUND: 18178 @ 826.938
c NEW SOLUTION FOUND: 18174 @ 827.365
c NEW SOLUTION FOUND: 18170 @ 827.799
c NEW SOLUTION FOUND: 18166 @ 828.226
c NEW SOLUTION FOUND: 18162 @ 828.652
c NEW SOLUTION FOUND: 18158 @ 829.077
c NEW SOLUTION FOUND: 18154 @ 829.516
c NEW SOLUTION FOUND: 18150 @ 829.933
c NEW SOLUTION FOUND: 18146 @ 830.359
c NEW SOLUTION FOUND: 18142 @ 830.789
c NEW SOLUTION FOUND: 18138 @ 831.22
c NEW SOLUTION FOUND: 18134 @ 831.65
c NEW SOLUTION FOUND: 18130 @ 832.087
c NEW SOLUTION FOUND: 18126 @ 832.523
c NEW SOLUTION FOUND: 18122 @ 832.95
c NEW SOLUTION FOUND: 18118 @ 833.387
c NEW SOLUTION FOUND: 18114 @ 833.822
c NEW SOLUTION FOUND: 18110 @ 834.258
c NEW SOLUTION FOUND: 18106 @ 834.686
c NEW SOLUTION FOUND: 18102 @ 835.122
c NEW SOLUTION FOUND: 18098 @ 835.56
c NEW SOLUTION FOUND: 18094 @ 835.993
c NEW SOLUTION FOUND: 18090 @ 836.421
c NEW SOLUTION FOUND: 18086 @ 836.858
c NEW SOLUTION FOUND: 18082 @ 837.293
c NEW SOLUTION FOUND: 18078 @ 837.73
c NEW SOLUTION FOUND: 18074 @ 838.165
c NEW SOLUTION FOUND: 18070 @ 838.607
c NEW SOLUTION FOUND: 18066 @ 839.036
c NEW SOLUTION FOUND: 18062 @ 839.465
c NEW SOLUTION FOUND: 18058 @ 839.9
c NEW SOLUTION FOUND: 18054 @ 840.329
c NEW SOLUTION FOUND: 18050 @ 840.751
c NEW SOLUTION FOUND: 18046 @ 841.182
c NEW SOLUTION FOUND: 18042 @ 841.621
c NEW SOLUTION FOUND: 18038 @ 842.05
c NEW SOLUTION FOUND: 18034 @ 842.473
c NEW SOLUTION FOUND: 18030 @ 842.904
c NEW SOLUTION FOUND: 18026 @ 843.341
c NEW SOLUTION FOUND: 18022 @ 843.771
c NEW SOLUTION FOUND: 18018 @ 844.194
c NEW SOLUTION FOUND: 18014 @ 844.624
c NEW SOLUTION FOUND: 18010 @ 845.063
c NEW SOLUTION FOUND: 18006 @ 845.492
c NEW SOLUTION FOUND: 18002 @ 845.914
c NEW SOLUTION FOUND: 17998 @ 846.346
c NEW SOLUTION FOUND: 17994 @ 846.782
c NEW SOLUTION FOUND: 17990 @ 847.21
c NEW SOLUTION FOUND: 17986 @ 847.639
c NEW SOLUTION FOUND: 17982 @ 848.07
c NEW SOLUTION FOUND: 17978 @ 848.522
c NEW SOLUTION FOUND: 17974 @ 848.951
c NEW SOLUTION FOUND: 17970 @ 849.38
c NEW SOLUTION FOUND: 17966 @ 849.814
c NEW SOLUTION FOUND: 17962 @ 850.26
c NEW SOLUTION FOUND: 17958 @ 850.69
c NEW SOLUTION FOUND: 17954 @ 851.122
c NEW SOLUTION FOUND: 17950 @ 851.549
c NEW SOLUTION FOUND: 17946 @ 852.001
c NEW SOLUTION FOUND: 17942 @ 852.432
c NEW SOLUTION FOUND: 17938 @ 852.883
c NEW SOLUTION FOUND: 17934 @ 853.31
c NEW SOLUTION FOUND: 17930 @ 853.762
c NEW SOLUTION FOUND: 17926 @ 854.197
c NEW SOLUTION FOUND: 17922 @ 854.647
c NEW SOLUTION FOUND: 17918 @ 855.074
c NEW SOLUTION FOUND: 17914 @ 855.525
c NEW SOLUTION FOUND: 17904 @ 855.962
c NEW SOLUTION FOUND: 17900 @ 856.389
c NEW SOLUTION FOUND: 17896 @ 856.816
c NEW SOLUTION FOUND: 17892 @ 857.242
c NEW SOLUTION FOUND: 17888 @ 857.671
c NEW SOLUTION FOUND: 17884 @ 858.108
c NEW SOLUTION FOUND: 17880 @ 858.535
c NEW SOLUTION FOUND: 17876 @ 858.968
c NEW SOLUTION FOUND: 17872 @ 859.399
c NEW SOLUTION FOUND: 17868 @ 859.831
c NEW SOLUTION FOUND: 17864 @ 860.257
c NEW SOLUTION FOUND: 17860 @ 860.683
c NEW SOLUTION FOUND: 17856 @ 861.111
c NEW SOLUTION FOUND: 17852 @ 861.543
c NEW SOLUTION FOUND: 17848 @ 861.968
c NEW SOLUTION FOUND: 17844 @ 862.395
c NEW SOLUTION FOUND: 17840 @ 862.829
c NEW SOLUTION FOUND: 17836 @ 863.252
c NEW SOLUTION FOUND: 17832 @ 863.679
c NEW SOLUTION FOUND: 17828 @ 864.113
c NEW SOLUTION FOUND: 17824 @ 864.541
c NEW SOLUTION FOUND: 17820 @ 864.973
c NEW SOLUTION FOUND: 17816 @ 865.402
c NEW SOLUTION FOUND: 17812 @ 865.835
c NEW SOLUTION FOUND: 17808 @ 866.262
c NEW SOLUTION FOUND: 17804 @ 866.695
c NEW SOLUTION FOUND: 17800 @ 867.122
c NEW SOLUTION FOUND: 17796 @ 867.555
c NEW SOLUTION FOUND: 17792 @ 867.982
c NEW SOLUTION FOUND: 17788 @ 868.408
c NEW SOLUTION FOUND: 17784 @ 868.862
c NEW SOLUTION FOUND: 17780 @ 869.293
c NEW SOLUTION FOUND: 17776 @ 869.742
c NEW SOLUTION FOUND: 17772 @ 870.18
c NEW SOLUTION FOUND: 17768 @ 870.605
c NEW SOLUTION FOUND: 17764 @ 871.031
c NEW SOLUTION FOUND: 17760 @ 871.458
c NEW SOLUTION FOUND: 17756 @ 871.884
c NEW SOLUTION FOUND: 17752 @ 872.309
c NEW SOLUTION FOUND: 17748 @ 872.734
c NEW SOLUTION FOUND: 17744 @ 873.16
c NEW SOLUTION FOUND: 17740 @ 873.585
c NEW SOLUTION FOUND: 17736 @ 874.013
c NEW SOLUTION FOUND: 17732 @ 874.442
c NEW SOLUTION FOUND: 17728 @ 874.866
c NEW SOLUTION FOUND: 17724 @ 875.292
c NEW SOLUTION FOUND: 17720 @ 875.718
c NEW SOLUTION FOUND: 17716 @ 876.144
c NEW SOLUTION FOUND: 17712 @ 876.57
c NEW SOLUTION FOUND: 17708 @ 876.995
c NEW SOLUTION FOUND: 17704 @ 877.43
c NEW SOLUTION FOUND: 17700 @ 877.853
c NEW SOLUTION FOUND: 17696 @ 878.305
c NEW SOLUTION FOUND: 17692 @ 878.728
c NEW SOLUTION FOUND: 17682 @ 879.171
c NEW SOLUTION FOUND: 17678 @ 879.598
c NEW SOLUTION FOUND: 17674 @ 880.026
c NEW SOLUTION FOUND: 17670 @ 880.454
c NEW SOLUTION FOUND: 17666 @ 880.885
c NEW SOLUTION FOUND: 17662 @ 881.313
c NEW SOLUTION FOUND: 17658 @ 881.745
c NEW SOLUTION FOUND: 17654 @ 882.172
c NEW SOLUTION FOUND: 17650 @ 882.604
c NEW SOLUTION FOUND: 17646 @ 883.033
c NEW SOLUTION FOUND: 17642 @ 883.466
c NEW SOLUTION FOUND: 17638 @ 883.892
c NEW SOLUTION FOUND: 17634 @ 884.322
c NEW SOLUTION FOUND: 17630 @ 884.754
c NEW SOLUTION FOUND: 17626 @ 885.191
c NEW SOLUTION FOUND: 17622 @ 885.619
c NEW SOLUTION FOUND: 17618 @ 886.076
c NEW SOLUTION FOUND: 17614 @ 886.509
c NEW SOLUTION FOUND: 17610 @ 886.946
c NEW SOLUTION FOUND: 17606 @ 887.374
c NEW SOLUTION FOUND: 17602 @ 887.815
c NEW SOLUTION FOUND: 17598 @ 888.247
c NEW SOLUTION FOUND: 17594 @ 888.689
c NEW SOLUTION FOUND: 17590 @ 889.122
c NEW SOLUTION FOUND: 17586 @ 889.565
c NEW SOLUTION FOUND: 17582 @ 889.995
c NEW SOLUTION FOUND: 17578 @ 890.436
c NEW SOLUTION FOUND: 17574 @ 890.867
c NEW SOLUTION FOUND: 17570 @ 891.309
c NEW SOLUTION FOUND: 17566 @ 891.739
c NEW SOLUTION FOUND: 17562 @ 892.18
c NEW SOLUTION FOUND: 17552 @ 892.632
c NEW SOLUTION FOUND: 17548 @ 893.061
c NEW SOLUTION FOUND: 17544 @ 893.504
c NEW SOLUTION FOUND: 17540 @ 893.959
c NEW SOLUTION FOUND: 17536 @ 894.394
c NEW SOLUTION FOUND: 17532 @ 894.848
c NEW SOLUTION FOUND: 17528 @ 895.283
c NEW SOLUTION FOUND: 17524 @ 895.714
c NEW SOLUTION FOUND: 17520 @ 896.148
c NEW SOLUTION FOUND: 17516 @ 896.579
c NEW SOLUTION FOUND: 17512 @ 897.016
c NEW SOLUTION FOUND: 17508 @ 897.443
c NEW SOLUTION FOUND: 17504 @ 897.88
c NEW SOLUTION FOUND: 17500 @ 898.31
c NEW SOLUTION FOUND: 17496 @ 898.748
c NEW SOLUTION FOUND: 17492 @ 899.188
c NEW SOLUTION FOUND: 17488 @ 899.625
c NEW SOLUTION FOUND: 17484 @ 900.064
c NEW SOLUTION FOUND: 17480 @ 900.495
c NEW SOLUTION FOUND: 17476 @ 900.935
c NEW SOLUTION FOUND: 17472 @ 901.379
c NEW SOLUTION FOUND: 17468 @ 901.818
c NEW SOLUTION FOUND: 17464 @ 902.261
c NEW SOLUTION FOUND: 17460 @ 902.701
c NEW SOLUTION FOUND: 17456 @ 903.145
c NEW SOLUTION FOUND: 17452 @ 903.585
c NEW SOLUTION FOUND: 17448 @ 904.02
c NEW SOLUTION FOUND: 17444 @ 904.477
c NEW SOLUTION FOUND: 17440 @ 904.913
c NEW SOLUTION FOUND: 17436 @ 905.347
c NEW SOLUTION FOUND: 17432 @ 905.782
c NEW SOLUTION FOUND: 17428 @ 906.217
c NEW SOLUTION FOUND: 17424 @ 906.657
c NEW SOLUTION FOUND: 17420 @ 907.099
c NEW SOLUTION FOUND: 17416 @ 907.539
c NEW SOLUTION FOUND: 17412 @ 907.982
c NEW SOLUTION FOUND: 17408 @ 908.415
c NEW SOLUTION FOUND: 17404 @ 908.858
c NEW SOLUTION FOUND: 17400 @ 909.286
c NEW SOLUTION FOUND: 17396 @ 909.747
c NEW SOLUTION FOUND: 17392 @ 910.186
c NEW SOLUTION FOUND: 17388 @ 910.622
c NEW SOLUTION FOUND: 17384 @ 911.056
c NEW SOLUTION FOUND: 17380 @ 911.51
c NEW SOLUTION FOUND: 17376 @ 911.943
c NEW SOLUTION FOUND: 17372 @ 912.379
c NEW SOLUTION FOUND: 17368 @ 912.82
c NEW SOLUTION FOUND: 17364 @ 913.265
c NEW SOLUTION FOUND: 17360 @ 913.702
c NEW SOLUTION FOUND: 17356 @ 914.143
c NEW SOLUTION FOUND: 17352 @ 914.577
c NEW SOLUTION FOUND: 17348 @ 915.037
c NEW SOLUTION FOUND: 17344 @ 915.476
c NEW SOLUTION FOUND: 17340 @ 915.912
c NEW SOLUTION FOUND: 17336 @ 916.348
c NEW SOLUTION FOUND: 17332 @ 916.774
c NEW SOLUTION FOUND: 17328 @ 917.208
c NEW SOLUTION FOUND: 17324 @ 917.633
c NEW SOLUTION FOUND: 17320 @ 918.074
c NEW SOLUTION FOUND: 17316 @ 918.516
c NEW SOLUTION FOUND: 17312 @ 918.955
c NEW SOLUTION FOUND: 17308 @ 919.389
c NEW SOLUTION FOUND: 17304 @ 919.823
c NEW SOLUTION FOUND: 17300 @ 920.281
c NEW SOLUTION FOUND: 17296 @ 920.721
c NEW SOLUTION FOUND: 17292 @ 921.16
c NEW SOLUTION FOUND: 17288 @ 921.592
c NEW SOLUTION FOUND: 17284 @ 922.031
c NEW SOLUTION FOUND: 17280 @ 922.488
c NEW SOLUTION FOUND: 17276 @ 922.937
c NEW SOLUTION FOUND: 17272 @ 923.375
c NEW SOLUTION FOUND: 17268 @ 923.807
c NEW SOLUTION FOUND: 17264 @ 924.247
c NEW SOLUTION FOUND: 17260 @ 924.678
c NEW SOLUTION FOUND: 17256 @ 925.114
c NEW SOLUTION FOUND: 17252 @ 925.545
c NEW SOLUTION FOUND: 17248 @ 925.984
c NEW SOLUTION FOUND: 17244 @ 926.415
c NEW SOLUTION FOUND: 17240 @ 926.855
c NEW SOLUTION FOUND: 17236 @ 927.281
c NEW SOLUTION FOUND: 17232 @ 927.716
c NEW SOLUTION FOUND: 17228 @ 928.147
c NEW SOLUTION FOUND: 17224 @ 928.581
c NEW SOLUTION FOUND: 17220 @ 929.011
c NEW SOLUTION FOUND: 17216 @ 929.45
c NEW SOLUTION FOUND: 17212 @ 929.881
c NEW SOLUTION FOUND: 17208 @ 930.32
c NEW SOLUTION FOUND: 17204 @ 930.752
c NEW SOLUTION FOUND: 17200 @ 931.188
c NEW SOLUTION FOUND: 17196 @ 931.626
c NEW SOLUTION FOUND: 17192 @ 932.063
c NEW SOLUTION FOUND: 17188 @ 932.493
c NEW SOLUTION FOUND: 17184 @ 932.934
c NEW SOLUTION FOUND: 17180 @ 933.362
c NEW SOLUTION FOUND: 17176 @ 933.799
c NEW SOLUTION FOUND: 17172 @ 934.238
c NEW SOLUTION FOUND: 17168 @ 934.667
c NEW SOLUTION FOUND: 17164 @ 935.102
c NEW SOLUTION FOUND: 17160 @ 935.538
c NEW SOLUTION FOUND: 17156 @ 935.972
c NEW SOLUTION FOUND: 17152 @ 936.409
c NEW SOLUTION FOUND: 17148 @ 936.844
c NEW SOLUTION FOUND: 17144 @ 937.28
c NEW SOLUTION FOUND: 17140 @ 937.714
c NEW SOLUTION FOUND: 17136 @ 938.15
c NEW SOLUTION FOUND: 17132 @ 938.582
c NEW SOLUTION FOUND: 17128 @ 939.017
c NEW SOLUTION FOUND: 17124 @ 939.475
c NEW SOLUTION FOUND: 17120 @ 939.904
c NEW SOLUTION FOUND: 17116 @ 940.34
c NEW SOLUTION FOUND: 17112 @ 940.77
c NEW SOLUTION FOUND: 17108 @ 941.206
c NEW SOLUTION FOUND: 17104 @ 941.636
c NEW SOLUTION FOUND: 17100 @ 942.072
c NEW SOLUTION FOUND: 17096 @ 942.501
c NEW SOLUTION FOUND: 17092 @ 942.935
c NEW SOLUTION FOUND: 17088 @ 943.365
c NEW SOLUTION FOUND: 17084 @ 943.815
c NEW SOLUTION FOUND: 17080 @ 944.244
c NEW SOLUTION FOUND: 17076 @ 944.694
c NEW SOLUTION FOUND: 17072 @ 945.123
c NEW SOLUTION FOUND: 17068 @ 945.557
c NEW SOLUTION FOUND: 17064 @ 945.991
c NEW SOLUTION FOUND: 17060 @ 946.426
c NEW SOLUTION FOUND: 17056 @ 946.854
c NEW SOLUTION FOUND: 17052 @ 947.303
c NEW SOLUTION FOUND: 17048 @ 947.745
c NEW SOLUTION FOUND: 17044 @ 948.195
c NEW SOLUTION FOUND: 17040 @ 948.634
c NEW SOLUTION FOUND: 17036 @ 949.082
c NEW SOLUTION FOUND: 17032 @ 949.521
c NEW SOLUTION FOUND: 17028 @ 949.97
c NEW SOLUTION FOUND: 17024 @ 950.411
c NEW SOLUTION FOUND: 17020 @ 950.86
c NEW SOLUTION FOUND: 17016 @ 951.3
c NEW SOLUTION FOUND: 17012 @ 951.725
c NEW SOLUTION FOUND: 17008 @ 952.165
c NEW SOLUTION FOUND: 17004 @ 952.59
c NEW SOLUTION FOUND: 17000 @ 953.029
c NEW SOLUTION FOUND: 16996 @ 953.463
c NEW SOLUTION FOUND: 16992 @ 953.896
c NEW SOLUTION FOUND: 16988 @ 954.329
c NEW SOLUTION FOUND: 16984 @ 954.765
c NEW SOLUTION FOUND: 16980 @ 955.195
c NEW SOLUTION FOUND: 16976 @ 955.632
c NEW SOLUTION FOUND: 16972 @ 956.07
c NEW SOLUTION FOUND: 16968 @ 956.507
c NEW SOLUTION FOUND: 16964 @ 956.946
c NEW SOLUTION FOUND: 16960 @ 957.384
c NEW SOLUTION FOUND: 16956 @ 957.823
c NEW SOLUTION FOUND: 16952 @ 958.26
c NEW SOLUTION FOUND: 16948 @ 958.699
c NEW SOLUTION FOUND: 16944 @ 959.135
c NEW SOLUTION FOUND: 16940 @ 959.57
c NEW SOLUTION FOUND: 16936 @ 960.007
c NEW SOLUTION FOUND: 16932 @ 960.447
c NEW SOLUTION FOUND: 16928 @ 960.883
c NEW SOLUTION FOUND: 16924 @ 961.322
c NEW SOLUTION FOUND: 16920 @ 961.754
c NEW SOLUTION FOUND: 16916 @ 962.184
c NEW SOLUTION FOUND: 16912 @ 962.615
c NEW SOLUTION FOUND: 16908 @ 963.045
c NEW SOLUTION FOUND: 16904 @ 963.481
c NEW SOLUTION FOUND: 16900 @ 963.915
c NEW SOLUTION FOUND: 16896 @ 964.352
c NEW SOLUTION FOUND: 16892 @ 964.791
c NEW SOLUTION FOUND: 16888 @ 965.224
c NEW SOLUTION FOUND: 16884 @ 965.663
c NEW SOLUTION FOUND: 16880 @ 966.109
c NEW SOLUTION FOUND: 16876 @ 966.54
c NEW SOLUTION FOUND: 16872 @ 966.979
c NEW SOLUTION FOUND: 16868 @ 967.413
c NEW SOLUTION FOUND: 16864 @ 967.858
c NEW SOLUTION FOUND: 16860 @ 968.295
c NEW SOLUTION FOUND: 16856 @ 968.731
c NEW SOLUTION FOUND: 16852 @ 969.168
c NEW SOLUTION FOUND: 16848 @ 969.609
c NEW SOLUTION FOUND: 16844 @ 970.063
c NEW SOLUTION FOUND: 16840 @ 970.499
c NEW SOLUTION FOUND: 16836 @ 970.929
c NEW SOLUTION FOUND: 16832 @ 971.365
c NEW SOLUTION FOUND: 16828 @ 971.795
c NEW SOLUTION FOUND: 16824 @ 972.23
c NEW SOLUTION FOUND: 16820 @ 972.668
c NEW SOLUTION FOUND: 16816 @ 973.103
c NEW SOLUTION FOUND: 16812 @ 973.541
c NEW SOLUTION FOUND: 16808 @ 974.002
c NEW SOLUTION FOUND: 16804 @ 974.44
c NEW SOLUTION FOUND: 16800 @ 974.9
c NEW SOLUTION FOUND: 16796 @ 975.337
c NEW SOLUTION FOUND: 16792 @ 975.79
c NEW SOLUTION FOUND: 16788 @ 976.231
c NEW SOLUTION FOUND: 16784 @ 976.659
c NEW SOLUTION FOUND: 16780 @ 977.093
c NEW SOLUTION FOUND: 16776 @ 977.536
c NEW SOLUTION FOUND: 16772 @ 977.965
c NEW SOLUTION FOUND: 16768 @ 978.417
c NEW SOLUTION FOUND: 16764 @ 978.846
c NEW SOLUTION FOUND: 16760 @ 979.275
c NEW SOLUTION FOUND: 16756 @ 979.72
c NEW SOLUTION FOUND: 16752 @ 980.149
c NEW SOLUTION FOUND: 16748 @ 980.609
c NEW SOLUTION FOUND: 16744 @ 981.045
c NEW SOLUTION FOUND: 16740 @ 981.481
c NEW SOLUTION FOUND: 16736 @ 981.933
c NEW SOLUTION FOUND: 16732 @ 982.368
c NEW SOLUTION FOUND: 16728 @ 982.819
c NEW SOLUTION FOUND: 16724 @ 983.255
c NEW SOLUTION FOUND: 16720 @ 983.709
c NEW SOLUTION FOUND: 16716 @ 984.167
c NEW SOLUTION FOUND: 16712 @ 984.607
c NEW SOLUTION FOUND: 16708 @ 985.057
c NEW SOLUTION FOUND: 16704 @ 985.504
c NEW SOLUTION FOUND: 16694 @ 985.954
c NEW SOLUTION FOUND: 16690 @ 986.387
c NEW SOLUTION FOUND: 16686 @ 986.83
c NEW SOLUTION FOUND: 16682 @ 987.292
c NEW SOLUTION FOUND: 16678 @ 987.733
c NEW SOLUTION FOUND: 16674 @ 988.164
c NEW SOLUTION FOUND: 16670 @ 988.607
c NEW SOLUTION FOUND: 16666 @ 989.053
c NEW SOLUTION FOUND: 16662 @ 989.502
c NEW SOLUTION FOUND: 16658 @ 989.94
c NEW SOLUTION FOUND: 16654 @ 990.377
c NEW SOLUTION FOUND: 16650 @ 990.837
c NEW SOLUTION FOUND: 16646 @ 991.282
c NEW SOLUTION FOUND: 16642 @ 991.724
c NEW SOLUTION FOUND: 16638 @ 992.162
c NEW SOLUTION FOUND: 16634 @ 992.602
c NEW SOLUTION FOUND: 16630 @ 993.041
c NEW SOLUTION FOUND: 16626 @ 993.504
c NEW SOLUTION FOUND: 16622 @ 993.942
c NEW SOLUTION FOUND: 16618 @ 994.382
c NEW SOLUTION FOUND: 16614 @ 994.842
c NEW SOLUTION FOUND: 16610 @ 995.289
c NEW SOLUTION FOUND: 16606 @ 995.73
c NEW SOLUTION FOUND: 16602 @ 996.165
c NEW SOLUTION FOUND: 16598 @ 996.603
c NEW SOLUTION FOUND: 16594 @ 997.039
c NEW SOLUTION FOUND: 16590 @ 997.479
c NEW SOLUTION FOUND: 16586 @ 997.914
c NEW SOLUTION FOUND: 16582 @ 998.352
c NEW SOLUTION FOUND: 16578 @ 998.788
c NEW SOLUTION FOUND: 16574 @ 999.227
c NEW SOLUTION FOUND: 16570 @ 999.666
c NEW SOLUTION FOUND: 16566 @ 1000.1
c NEW SOLUTION FOUND: 16562 @ 1000.54
c NEW SOLUTION FOUND: 16558 @ 1000.98
c NEW SOLUTION FOUND: 16554 @ 1001.41
c NEW SOLUTION FOUND: 16550 @ 1001.85
c NEW SOLUTION FOUND: 16546 @ 1002.29
c NEW SOLUTION FOUND: 16542 @ 1002.73
c NEW SOLUTION FOUND: 16538 @ 1003.16
c NEW SOLUTION FOUND: 16534 @ 1003.61
c NEW SOLUTION FOUND: 16530 @ 1004.05
c NEW SOLUTION FOUND: 16526 @ 1004.5
c NEW SOLUTION FOUND: 16522 @ 1004.94
c NEW SOLUTION FOUND: 16518 @ 1005.39
c NEW SOLUTION FOUND: 16514 @ 1005.83
c NEW SOLUTION FOUND: 16510 @ 1006.27
c NEW SOLUTION FOUND: 16506 @ 1006.71
c NEW SOLUTION FOUND: 16502 @ 1007.16
c NEW SOLUTION FOUND: 16498 @ 1007.6
c NEW SOLUTION FOUND: 16494 @ 1008.05
c NEW SOLUTION FOUND: 16490 @ 1008.49
c NEW SOLUTION FOUND: 16486 @ 1008.93
c NEW SOLUTION FOUND: 16482 @ 1009.38
c NEW SOLUTION FOUND: 16478 @ 1009.82
c NEW SOLUTION FOUND: 16474 @ 1010.25
c NEW SOLUTION FOUND: 16470 @ 1010.69
c NEW SOLUTION FOUND: 16466 @ 1011.13
c NEW SOLUTION FOUND: 16462 @ 1011.57
c NEW SOLUTION FOUND: 16458 @ 1012
c NEW SOLUTION FOUND: 16454 @ 1012.45
c NEW SOLUTION FOUND: 16450 @ 1012.88
c NEW SOLUTION FOUND: 16446 @ 1013.32
c NEW SOLUTION FOUND: 16442 @ 1013.76
c NEW SOLUTION FOUND: 16438 @ 1014.2
c NEW SOLUTION FOUND: 16434 @ 1014.64
c NEW SOLUTION FOUND: 16430 @ 1015.08
c NEW SOLUTION FOUND: 16426 @ 1015.51
c NEW SOLUTION FOUND: 16422 @ 1015.98
c NEW SOLUTION FOUND: 16418 @ 1016.42
c NEW SOLUTION FOUND: 16414 @ 1016.86
c NEW SOLUTION FOUND: 16410 @ 1017.3
c NEW SOLUTION FOUND: 16400 @ 1017.75
c NEW SOLUTION FOUND: 16396 @ 1018.18
c NEW SOLUTION FOUND: 16392 @ 1018.65
c NEW SOLUTION FOUND: 16388 @ 1019.09
c NEW SOLUTION FOUND: 16384 @ 1019.53
c NEW SOLUTION FOUND: 16380 @ 1019.96
c NEW SOLUTION FOUND: 16376 @ 1020.4
c NEW SOLUTION FOUND: 16372 @ 1020.86
c NEW SOLUTION FOUND: 16368 @ 1021.33
c NEW SOLUTION FOUND: 16364 @ 1021.78
c NEW SOLUTION FOUND: 16360 @ 1022.23
c NEW SOLUTION FOUND: 16356 @ 1022.68
c NEW SOLUTION FOUND: 16352 @ 1023.13
c NEW SOLUTION FOUND: 16348 @ 1023.59
c NEW SOLUTION FOUND: 16344 @ 1024.04
c NEW SOLUTION FOUND: 16340 @ 1024.5
c NEW SOLUTION FOUND: 16336 @ 1024.94
c NEW SOLUTION FOUND: 16332 @ 1025.38
c NEW SOLUTION FOUND: 16328 @ 1025.83
c NEW SOLUTION FOUND: 16324 @ 1026.27
c NEW SOLUTION FOUND: 16320 @ 1026.72
c NEW SOLUTION FOUND: 16316 @ 1027.16
c NEW SOLUTION FOUND: 16312 @ 1027.6
c NEW SOLUTION FOUND: 16308 @ 1028.05
c NEW SOLUTION FOUND: 16304 @ 1028.49
c NEW SOLUTION FOUND: 16300 @ 1028.93
c NEW SOLUTION FOUND: 16296 @ 1029.37
c NEW SOLUTION FOUND: 16292 @ 1029.81
c NEW SOLUTION FOUND: 16288 @ 1030.26
c NEW SOLUTION FOUND: 16284 @ 1030.69
c NEW SOLUTION FOUND: 16280 @ 1031.14
c NEW SOLUTION FOUND: 16276 @ 1031.58
c NEW SOLUTION FOUND: 16272 @ 1032.03
c NEW SOLUTION FOUND: 16268 @ 1032.46
c NEW SOLUTION FOUND: 16264 @ 1032.9
c NEW SOLUTION FOUND: 16260 @ 1033.33
c NEW SOLUTION FOUND: 16256 @ 1033.78
c NEW SOLUTION FOUND: 16252 @ 1034.22
c NEW SOLUTION FOUND: 16248 @ 1034.66
c NEW SOLUTION FOUND: 16244 @ 1035.1
c NEW SOLUTION FOUND: 16240 @ 1035.55
c NEW SOLUTION FOUND: 16236 @ 1035.99
c NEW SOLUTION FOUND: 16232 @ 1036.43
c NEW SOLUTION FOUND: 16228 @ 1036.87
c NEW SOLUTION FOUND: 16224 @ 1037.32
c NEW SOLUTION FOUND: 16220 @ 1037.76
c NEW SOLUTION FOUND: 16216 @ 1038.21
c NEW SOLUTION FOUND: 16212 @ 1038.65
c NEW SOLUTION FOUND: 16208 @ 1039.09
c NEW SOLUTION FOUND: 16204 @ 1039.53
c NEW SOLUTION FOUND: 16200 @ 1039.97
c NEW SOLUTION FOUND: 16196 @ 1040.42
c NEW SOLUTION FOUND: 16192 @ 1040.86
c NEW SOLUTION FOUND: 16188 @ 1041.3
c NEW SOLUTION FOUND: 16184 @ 1041.74
c NEW SOLUTION FOUND: 16180 @ 1042.18
c NEW SOLUTION FOUND: 16176 @ 1042.62
c NEW SOLUTION FOUND: 16172 @ 1043.07
c NEW SOLUTION FOUND: 16168 @ 1043.52
c NEW SOLUTION FOUND: 16164 @ 1043.96
c NEW SOLUTION FOUND: 16160 @ 1044.42
c NEW SOLUTION FOUND: 16156 @ 1044.87
c NEW SOLUTION FOUND: 16152 @ 1045.32
c NEW SOLUTION FOUND: 16148 @ 1045.77
c NEW SOLUTION FOUND: 16144 @ 1046.22
c NEW SOLUTION FOUND: 16140 @ 1046.67
c NEW SOLUTION FOUND: 16136 @ 1047.11
c NEW SOLUTION FOUND: 16132 @ 1047.55
c NEW SOLUTION FOUND: 16128 @ 1048
c NEW SOLUTION FOUND: 16124 @ 1048.44
c NEW SOLUTION FOUND: 16120 @ 1048.88
c NEW SOLUTION FOUND: 16116 @ 1049.31
c NEW SOLUTION FOUND: 16112 @ 1049.77
c NEW SOLUTION FOUND: 16108 @ 1050.2
c NEW SOLUTION FOUND: 16104 @ 1050.65
c NEW SOLUTION FOUND: 16100 @ 1051.08
c NEW SOLUTION FOUND: 16096 @ 1051.52
c NEW SOLUTION FOUND: 16092 @ 1051.97
c NEW SOLUTION FOUND: 16088 @ 1052.41
c NEW SOLUTION FOUND: 16084 @ 1052.86
c NEW SOLUTION FOUND: 16080 @ 1053.31
c NEW SOLUTION FOUND: 16076 @ 1053.75
c NEW SOLUTION FOUND: 16072 @ 1054.19
c NEW SOLUTION FOUND: 16068 @ 1054.64
c NEW SOLUTION FOUND: 16064 @ 1055.08
c NEW SOLUTION FOUND: 16060 @ 1055.53
c NEW SOLUTION FOUND: 16056 @ 1055.97
c NEW SOLUTION FOUND: 16052 @ 1056.42
c NEW SOLUTION FOUND: 16048 @ 1056.86
c NEW SOLUTION FOUND: 16044 @ 1057.31
c NEW SOLUTION FOUND: 16040 @ 1057.75
c NEW SOLUTION FOUND: 16036 @ 1058.19
c NEW SOLUTION FOUND: 16032 @ 1058.66
c NEW SOLUTION FOUND: 16028 @ 1059.09
c NEW SOLUTION FOUND: 16024 @ 1059.55
c NEW SOLUTION FOUND: 16020 @ 1059.99
c NEW SOLUTION FOUND: 16016 @ 1060.46
c NEW SOLUTION FOUND: 16012 @ 1060.9
c NEW SOLUTION FOUND: 16008 @ 1061.37
c NEW SOLUTION FOUND: 16004 @ 1061.81
c NEW SOLUTION FOUND: 16000 @ 1062.27
c NEW SOLUTION FOUND: 15996 @ 1062.71
c NEW SOLUTION FOUND: 15986 @ 1063.17
c NEW SOLUTION FOUND: 15982 @ 1063.61
c NEW SOLUTION FOUND: 15978 @ 1064.05
c NEW SOLUTION FOUND: 15974 @ 1064.5
c NEW SOLUTION FOUND: 15970 @ 1064.94
c NEW SOLUTION FOUND: 15966 @ 1065.4
c NEW SOLUTION FOUND: 15962 @ 1065.84
c NEW SOLUTION FOUND: 15958 @ 1066.29
c NEW SOLUTION FOUND: 15954 @ 1066.73
c NEW SOLUTION FOUND: 15950 @ 1067.19
c NEW SOLUTION FOUND: 15946 @ 1067.63
c NEW SOLUTION FOUND: 15942 @ 1068.09
c NEW SOLUTION FOUND: 15938 @ 1068.52
c NEW SOLUTION FOUND: 15934 @ 1068.98
c NEW SOLUTION FOUND: 15930 @ 1069.42
c NEW SOLUTION FOUND: 15926 @ 1069.88
c NEW SOLUTION FOUND: 15922 @ 1070.32
c NEW SOLUTION FOUND: 15918 @ 1070.77
c NEW SOLUTION FOUND: 15914 @ 1071.21
c NEW SOLUTION FOUND: 15910 @ 1071.67
c NEW SOLUTION FOUND: 15906 @ 1072.11
c NEW SOLUTION FOUND: 15902 @ 1072.55
c NEW SOLUTION FOUND: 15898 @ 1072.99
c NEW SOLUTION FOUND: 15894 @ 1073.44
c NEW SOLUTION FOUND: 15890 @ 1073.88
c NEW SOLUTION FOUND: 15886 @ 1074.32
c NEW SOLUTION FOUND: 15882 @ 1074.77
c NEW SOLUTION FOUND: 15878 @ 1075.21
c NEW SOLUTION FOUND: 15874 @ 1075.66
c NEW SOLUTION FOUND: 15870 @ 1076.11
c NEW SOLUTION FOUND: 15866 @ 1076.55
c NEW SOLUTION FOUND: 15862 @ 1076.98
c NEW SOLUTION FOUND: 15858 @ 1077.42
c NEW SOLUTION FOUND: 15854 @ 1077.86
c NEW SOLUTION FOUND: 15850 @ 1078.29
c NEW SOLUTION FOUND: 15846 @ 1078.73
c NEW SOLUTION FOUND: 15842 @ 1079.17
c NEW SOLUTION FOUND: 15838 @ 1079.61
c NEW SOLUTION FOUND: 15834 @ 1080.05
c NEW SOLUTION FOUND: 15830 @ 1080.48
c NEW SOLUTION FOUND: 15826 @ 1080.92
c NEW SOLUTION FOUND: 15822 @ 1081.36
c NEW SOLUTION FOUND: 15818 @ 1081.8
c NEW SOLUTION FOUND: 15814 @ 1082.24
c NEW SOLUTION FOUND: 15810 @ 1082.68
c NEW SOLUTION FOUND: 15806 @ 1083.11
c NEW SOLUTION FOUND: 15802 @ 1083.56
c NEW SOLUTION FOUND: 15798 @ 1083.99
c NEW SOLUTION FOUND: 15794 @ 1084.43
c NEW SOLUTION FOUND: 15790 @ 1084.87
c NEW SOLUTION FOUND: 15786 @ 1085.31
c NEW SOLUTION FOUND: 15782 @ 1085.75
c NEW SOLUTION FOUND: 15778 @ 1086.19
c NEW SOLUTION FOUND: 15774 @ 1086.63
c NEW SOLUTION FOUND: 15770 @ 1087.08
c NEW SOLUTION FOUND: 15766 @ 1087.51
c NEW SOLUTION FOUND: 15762 @ 1087.96
c NEW SOLUTION FOUND: 15758 @ 1088.41
c NEW SOLUTION FOUND: 15754 @ 1088.85
c NEW SOLUTION FOUND: 15750 @ 1089.29
c NEW SOLUTION FOUND: 15746 @ 1089.73
c NEW SOLUTION FOUND: 15742 @ 1090.17
c NEW SOLUTION FOUND: 15738 @ 1090.61
c NEW SOLUTION FOUND: 15734 @ 1091.06
c NEW SOLUTION FOUND: 15730 @ 1091.5
c NEW SOLUTION FOUND: 15726 @ 1091.94
c NEW SOLUTION FOUND: 15722 @ 1092.38
c NEW SOLUTION FOUND: 15718 @ 1092.82
c NEW SOLUTION FOUND: 15714 @ 1093.26
c NEW SOLUTION FOUND: 15710 @ 1093.7
c NEW SOLUTION FOUND: 15706 @ 1094.14
c NEW SOLUTION FOUND: 15702 @ 1094.58
c NEW SOLUTION FOUND: 15698 @ 1095.04
c NEW SOLUTION FOUND: 15694 @ 1095.48
c NEW SOLUTION FOUND: 15690 @ 1095.94
c NEW SOLUTION FOUND: 15686 @ 1096.39
c NEW SOLUTION FOUND: 15682 @ 1096.83
c NEW SOLUTION FOUND: 15678 @ 1097.27
c NEW SOLUTION FOUND: 15674 @ 1097.71
c NEW SOLUTION FOUND: 15670 @ 1098.16
c NEW SOLUTION FOUND: 15666 @ 1098.6
c NEW SOLUTION FOUND: 15662 @ 1099.05
c NEW SOLUTION FOUND: 15658 @ 1099.5
c NEW SOLUTION FOUND: 15654 @ 1099.94
c NEW SOLUTION FOUND: 15650 @ 1100.39
c NEW SOLUTION FOUND: 15646 @ 1100.84
c NEW SOLUTION FOUND: 15642 @ 1101.28
c NEW SOLUTION FOUND: 15638 @ 1101.74
c NEW SOLUTION FOUND: 15634 @ 1102.18
c NEW SOLUTION FOUND: 15630 @ 1102.63
c NEW SOLUTION FOUND: 15626 @ 1103.07
c NEW SOLUTION FOUND: 15622 @ 1103.51
c NEW SOLUTION FOUND: 15618 @ 1103.96
c NEW SOLUTION FOUND: 15614 @ 1104.42
c NEW SOLUTION FOUND: 15610 @ 1104.87
c NEW SOLUTION FOUND: 15606 @ 1105.31
c NEW SOLUTION FOUND: 15602 @ 1105.76
c NEW SOLUTION FOUND: 15598 @ 1106.2
c NEW SOLUTION FOUND: 15594 @ 1106.65
c NEW SOLUTION FOUND: 15590 @ 1107.09
c NEW SOLUTION FOUND: 15586 @ 1107.54
c NEW SOLUTION FOUND: 15582 @ 1108.01
c NEW SOLUTION FOUND: 15578 @ 1108.44
c NEW SOLUTION FOUND: 15574 @ 1108.89
c NEW SOLUTION FOUND: 15570 @ 1109.34
c NEW SOLUTION FOUND: 15566 @ 1109.78
c NEW SOLUTION FOUND: 15562 @ 1110.23
c NEW SOLUTION FOUND: 15558 @ 1110.7
c NEW SOLUTION FOUND: 15554 @ 1111.14
c NEW SOLUTION FOUND: 15550 @ 1111.6
c NEW SOLUTION FOUND: 15546 @ 1112.04
c NEW SOLUTION FOUND: 15542 @ 1112.49
c NEW SOLUTION FOUND: 15538 @ 1112.94
c NEW SOLUTION FOUND: 15534 @ 1113.39
c NEW SOLUTION FOUND: 15524 @ 1113.84
c NEW SOLUTION FOUND: 15520 @ 1114.29
c NEW SOLUTION FOUND: 15516 @ 1114.77
c NEW SOLUTION FOUND: 15512 @ 1115.21
c NEW SOLUTION FOUND: 15508 @ 1115.67
c NEW SOLUTION FOUND: 15504 @ 1116.1
c NEW SOLUTION FOUND: 15500 @ 1116.55
c NEW SOLUTION FOUND: 15496 @ 1117
c NEW SOLUTION FOUND: 15492 @ 1117.45
c NEW SOLUTION FOUND: 15488 @ 1117.91
c NEW SOLUTION FOUND: 15484 @ 1118.36
c NEW SOLUTION FOUND: 15480 @ 1118.8
c NEW SOLUTION FOUND: 15476 @ 1119.25
c NEW SOLUTION FOUND: 15472 @ 1119.7
c NEW SOLUTION FOUND: 15468 @ 1120.16
c NEW SOLUTION FOUND: 15464 @ 1120.63
c NEW SOLUTION FOUND: 15460 @ 1121.08
c NEW SOLUTION FOUND: 15456 @ 1121.53
c NEW SOLUTION FOUND: 15452 @ 1121.98
c NEW SOLUTION FOUND: 15448 @ 1122.43
c NEW SOLUTION FOUND: 15444 @ 1122.88
c NEW SOLUTION FOUND: 15440 @ 1123.33
c NEW SOLUTION FOUND: 15436 @ 1123.78
c NEW SOLUTION FOUND: 15432 @ 1124.22
c NEW SOLUTION FOUND: 15428 @ 1124.68
c NEW SOLUTION FOUND: 15424 @ 1125.12
c NEW SOLUTION FOUND: 15420 @ 1125.58
c NEW SOLUTION FOUND: 15416 @ 1126.03
c NEW SOLUTION FOUND: 15412 @ 1126.48
c NEW SOLUTION FOUND: 15408 @ 1126.93
c NEW SOLUTION FOUND: 15404 @ 1127.39
c NEW SOLUTION FOUND: 15400 @ 1127.84
c NEW SOLUTION FOUND: 15396 @ 1128.29
c NEW SOLUTION FOUND: 15392 @ 1128.74
c NEW SOLUTION FOUND: 15388 @ 1129.19
c NEW SOLUTION FOUND: 15384 @ 1129.64
c NEW SOLUTION FOUND: 15380 @ 1130.09
c NEW SOLUTION FOUND: 15376 @ 1130.54
c NEW SOLUTION FOUND: 15372 @ 1130.98
c NEW SOLUTION FOUND: 15368 @ 1131.42
c NEW SOLUTION FOUND: 15364 @ 1131.87
c NEW SOLUTION FOUND: 15360 @ 1132.32
c NEW SOLUTION FOUND: 15356 @ 1132.77
c NEW SOLUTION FOUND: 15352 @ 1133.22
c NEW SOLUTION FOUND: 15348 @ 1133.67
c NEW SOLUTION FOUND: 15344 @ 1134.12
c NEW SOLUTION FOUND: 15340 @ 1134.57
c NEW SOLUTION FOUND: 15336 @ 1135.02
c NEW SOLUTION FOUND: 15332 @ 1135.47
c NEW SOLUTION FOUND: 15328 @ 1135.91
c NEW SOLUTION FOUND: 15324 @ 1136.36
c NEW SOLUTION FOUND: 15320 @ 1136.81
c NEW SOLUTION FOUND: 15316 @ 1137.26
c NEW SOLUTION FOUND: 15312 @ 1137.7
c NEW SOLUTION FOUND: 15308 @ 1138.15
c NEW SOLUTION FOUND: 15304 @ 1138.59
c NEW SOLUTION FOUND: 15300 @ 1139.05
c NEW SOLUTION FOUND: 15296 @ 1139.49
c NEW SOLUTION FOUND: 15292 @ 1139.95
c NEW SOLUTION FOUND: 15288 @ 1140.39
c NEW SOLUTION FOUND: 15284 @ 1140.84
c NEW SOLUTION FOUND: 15280 @ 1141.29
c NEW SOLUTION FOUND: 15276 @ 1141.74
c NEW SOLUTION FOUND: 15272 @ 1142.19
c NEW SOLUTION FOUND: 15268 @ 1142.65
c NEW SOLUTION FOUND: 15264 @ 1143.1
c NEW SOLUTION FOUND: 15260 @ 1143.56
c NEW SOLUTION FOUND: 15256 @ 1144.01
c NEW SOLUTION FOUND: 15252 @ 1144.46
c NEW SOLUTION FOUND: 15248 @ 1144.91
c NEW SOLUTION FOUND: 15244 @ 1145.37
c NEW SOLUTION FOUND: 15240 @ 1145.81
c NEW SOLUTION FOUND: 15236 @ 1146.27
c NEW SOLUTION FOUND: 15232 @ 1146.72
c NEW SOLUTION FOUND: 15228 @ 1147.18
c NEW SOLUTION FOUND: 15224 @ 1147.63
c NEW SOLUTION FOUND: 15220 @ 1148.09
c NEW SOLUTION FOUND: 15216 @ 1148.53
c NEW SOLUTION FOUND: 15212 @ 1148.99
c NEW SOLUTION FOUND: 15208 @ 1149.45
c NEW SOLUTION FOUND: 15204 @ 1149.91
c NEW SOLUTION FOUND: 15200 @ 1150.36
c NEW SOLUTION FOUND: 15196 @ 1150.82
c NEW SOLUTION FOUND: 15192 @ 1151.26
c NEW SOLUTION FOUND: 15188 @ 1151.72
c NEW SOLUTION FOUND: 15184 @ 1152.17
c NEW SOLUTION FOUND: 15180 @ 1152.64
c NEW SOLUTION FOUND: 15176 @ 1153.08
c NEW SOLUTION FOUND: 15172 @ 1153.55
c NEW SOLUTION FOUND: 15168 @ 1154
c NEW SOLUTION FOUND: 15164 @ 1154.45
c NEW SOLUTION FOUND: 15160 @ 1154.9
c NEW SOLUTION FOUND: 15156 @ 1155.34
c NEW SOLUTION FOUND: 15152 @ 1155.79
c NEW SOLUTION FOUND: 15148 @ 1156.24
c NEW SOLUTION FOUND: 15144 @ 1156.68
c NEW SOLUTION FOUND: 15140 @ 1157.13
c NEW SOLUTION FOUND: 15136 @ 1157.58
c NEW SOLUTION FOUND: 15132 @ 1158.03
c NEW SOLUTION FOUND: 15128 @ 1158.47
c NEW SOLUTION FOUND: 15124 @ 1158.92
c NEW SOLUTION FOUND: 15120 @ 1159.36
c NEW SOLUTION FOUND: 15116 @ 1159.82
c NEW SOLUTION FOUND: 15112 @ 1160.27
c NEW SOLUTION FOUND: 15108 @ 1160.72
c NEW SOLUTION FOUND: 15104 @ 1161.17
c NEW SOLUTION FOUND: 15100 @ 1161.62
c NEW SOLUTION FOUND: 15096 @ 1162.09
c NEW SOLUTION FOUND: 15092 @ 1162.55
c NEW SOLUTION FOUND: 15088 @ 1163
c NEW SOLUTION FOUND: 15084 @ 1163.46
c NEW SOLUTION FOUND: 15080 @ 1163.91
c NEW SOLUTION FOUND: 15076 @ 1164.36
c NEW SOLUTION FOUND: 15072 @ 1164.82
c NEW SOLUTION FOUND: 15068 @ 1165.27
c NEW SOLUTION FOUND: 15058 @ 1165.74
c NEW SOLUTION FOUND: 15054 @ 1166.19
c NEW SOLUTION FOUND: 15050 @ 1166.64
c NEW SOLUTION FOUND: 15046 @ 1167.1
c NEW SOLUTION FOUND: 15042 @ 1167.56
c NEW SOLUTION FOUND: 15038 @ 1168.02
c NEW SOLUTION FOUND: 15034 @ 1168.47
c NEW SOLUTION FOUND: 15030 @ 1168.93
c NEW SOLUTION FOUND: 15026 @ 1169.39
c NEW SOLUTION FOUND: 15022 @ 1169.84
c NEW SOLUTION FOUND: 15018 @ 1170.3
c NEW SOLUTION FOUND: 15014 @ 1170.76
c NEW SOLUTION FOUND: 15010 @ 1171.21
c NEW SOLUTION FOUND: 15006 @ 1171.67
c NEW SOLUTION FOUND: 15002 @ 1172.13
c NEW SOLUTION FOUND: 14998 @ 1172.58
c NEW SOLUTION FOUND: 14994 @ 1173.03
c NEW SOLUTION FOUND: 14990 @ 1173.49
c NEW SOLUTION FOUND: 14986 @ 1173.95
c NEW SOLUTION FOUND: 14982 @ 1174.4
c NEW SOLUTION FOUND: 14978 @ 1174.86
c NEW SOLUTION FOUND: 14974 @ 1175.32
c NEW SOLUTION FOUND: 14970 @ 1175.77
c NEW SOLUTION FOUND: 14966 @ 1176.23
c NEW SOLUTION FOUND: 14962 @ 1176.69
c NEW SOLUTION FOUND: 14958 @ 1177.14
c NEW SOLUTION FOUND: 14954 @ 1177.62
c NEW SOLUTION FOUND: 14950 @ 1178.07
c NEW SOLUTION FOUND: 14946 @ 1178.54
c NEW SOLUTION FOUND: 14942 @ 1178.99
c NEW SOLUTION FOUND: 14938 @ 1179.45
c NEW SOLUTION FOUND: 14934 @ 1179.9
c NEW SOLUTION FOUND: 14930 @ 1180.37
c NEW SOLUTION FOUND: 14926 @ 1180.82
c NEW SOLUTION FOUND: 14922 @ 1181.28
c NEW SOLUTION FOUND: 14918 @ 1181.74
c NEW SOLUTION FOUND: 14914 @ 1182.21
c NEW SOLUTION FOUND: 14910 @ 1182.68
c NEW SOLUTION FOUND: 14906 @ 1183.16
c NEW SOLUTION FOUND: 14902 @ 1183.63
c NEW SOLUTION FOUND: 14898 @ 1184.12
c NEW SOLUTION FOUND: 14894 @ 1184.56
c NEW SOLUTION FOUND: 14890 @ 1185.02
c NEW SOLUTION FOUND: 14886 @ 1185.47
c NEW SOLUTION FOUND: 14882 @ 1185.93
c NEW SOLUTION FOUND: 14878 @ 1186.4
c NEW SOLUTION FOUND: 14874 @ 1186.86
c NEW SOLUTION FOUND: 14870 @ 1187.34
c NEW SOLUTION FOUND: 14866 @ 1187.8
c NEW SOLUTION FOUND: 14862 @ 1188.26
c NEW SOLUTION FOUND: 14858 @ 1188.71
c NEW SOLUTION FOUND: 14854 @ 1189.16
c NEW SOLUTION FOUND: 14850 @ 1189.61
c NEW SOLUTION FOUND: 14846 @ 1190.07
c NEW SOLUTION FOUND: 14842 @ 1190.52
c NEW SOLUTION FOUND: 14838 @ 1190.97
c NEW SOLUTION FOUND: 14834 @ 1191.42
c NEW SOLUTION FOUND: 14830 @ 1191.88
c NEW SOLUTION FOUND: 14826 @ 1192.33
c NEW SOLUTION FOUND: 14822 @ 1192.79
c NEW SOLUTION FOUND: 14818 @ 1193.24
c NEW SOLUTION FOUND: 14814 @ 1193.71
c NEW SOLUTION FOUND: 14810 @ 1194.16
c NEW SOLUTION FOUND: 14806 @ 1194.62
c NEW SOLUTION FOUND: 14802 @ 1195.07
c NEW SOLUTION FOUND: 14798 @ 1195.52
c NEW SOLUTION FOUND: 14794 @ 1195.98
c NEW SOLUTION FOUND: 14790 @ 1196.43
c NEW SOLUTION FOUND: 14786 @ 1196.88
c NEW SOLUTION FOUND: 14782 @ 1197.36
c NEW SOLUTION FOUND: 14778 @ 1197.82
c NEW SOLUTION FOUND: 14774 @ 1198.29
c NEW SOLUTION FOUND: 14770 @ 1198.75
c NEW SOLUTION FOUND: 14766 @ 1199.22
c NEW SOLUTION FOUND: 14762 @ 1199.68
c NEW SOLUTION FOUND: 14758 @ 1200.16
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 5480
Raw data (stat): 5480 (runsolver) R 5479 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 755835394 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4424 0 0 0 982 12 0 0 25 0 1 0 755835394 21409792 4316 4294967295 134512640 134714508 3221221776 3221220512 134588079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5227 4316 1111 63 0 5164 0
vsize: 20908
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4870 0 0 0 1981 14 0 0 25 0 1 0 755835394 23195648 4762 4294967295 134512640 134714508 3221221776 3221220432 134627266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4870 0 0 0 2980 14 0 0 25 0 1 0 755835394 23195648 4762 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4870 0 0 0 3980 14 0 0 25 0 1 0 755835394 23195648 4762 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4870 0 0 0 4980 15 0 0 25 0 1 0 755835394 23195648 4762 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 4870 0 0 0 5980 15 0 0 25 0 1 0 755835394 23195648 4762 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4762 1111 63 0 5600 0
vsize: 22652
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 5379 0 0 0 6978 16 0 0 25 0 1 0 755835394 25387008 5271 4294967295 134512640 134714508 3221221776 3221219880 1077377232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6198 5271 1111 63 0 6135 0
vsize: 24792
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 5549 0 0 0 7978 17 0 0 25 0 1 0 755835394 26107904 5441 4294967295 134512640 134714508 3221221776 3221220096 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6374 5441 1111 63 0 6311 0
vsize: 25496
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 5666 0 0 0 8977 18 0 0 25 0 1 0 755835394 26537984 5558 4294967295 134512640 134714508 3221221776 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6479 5558 1111 63 0 6416 0
vsize: 25916
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 7825 0 0 0 9972 23 0 0 25 0 1 0 755835394 35778560 7076 4294967295 134512640 134714508 3221221776 3221218288 1074885325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8735 7076 1111 63 0 8672 0
vsize: 34940
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 7920 0 0 0 10972 24 0 0 25 0 1 0 755835394 35778560 7171 4294967295 134512640 134714508 3221221776 3221217660 1074787600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8735 7171 1111 63 0 8672 0
vsize: 34940
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8276 0 0 0 11971 24 0 0 25 0 1 0 755835394 34328576 7144 4294967295 134512640 134714508 3221221776 3221217580 1074788980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8381 7144 1111 63 0 8318 0
vsize: 33524
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8714 0 0 0 12970 26 0 0 25 0 1 0 755835394 34504704 7186 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8424 7186 1111 63 0 8361 0
vsize: 33696
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8755 0 0 0 13970 26 0 0 25 0 1 0 755835394 34672640 7227 4294967295 134512640 134714508 3221221776 3221217680 1074875028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8465 7227 1111 63 0 8402 0
vsize: 33860
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8801 0 0 0 14969 26 0 0 25 0 1 0 755835394 34865152 7273 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8512 7273 1111 63 0 8449 0
vsize: 34048
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8849 0 0 0 15969 27 0 0 25 0 1 0 755835394 35061760 7321 4294967295 134512640 134714508 3221221776 3221217856 1074883530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8560 7321 1111 63 0 8497 0
vsize: 34240
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 8897 0 0 0 16969 27 0 0 25 0 1 0 755835394 35258368 7369 4294967295 134512640 134714508 3221221776 3221217968 1074961490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8608 7369 1111 63 0 8545 0
vsize: 34432
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9003 0 0 0 17968 28 0 0 25 0 1 0 755835394 35700736 7475 4294967295 134512640 134714508 3221221776 3221217740 1074873409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8716 7475 1111 63 0 8653 0
vsize: 34864
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9004 0 0 0 18968 29 0 0 25 0 1 0 755835394 35700736 7476 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8716 7476 1111 63 0 8653 0
vsize: 34864
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9061 0 0 0 19968 29 0 0 25 0 1 0 755835394 35934208 7533 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7533 1111 63 0 8710 0
vsize: 35092
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9061 0 0 0 20968 29 0 0 25 0 1 0 755835394 35934208 7533 4294967295 134512640 134714508 3221221776 3221218032 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7533 1111 63 0 8710 0
vsize: 35092
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9061 0 0 0 21967 29 0 0 25 0 1 0 755835394 35934208 7533 4294967295 134512640 134714508 3221221776 3221217792 1074877652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7533 1111 63 0 8710 0
vsize: 35092
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9062 0 0 0 22967 30 0 0 25 0 1 0 755835394 35934208 7534 4294967295 134512640 134714508 3221221776 3221217936 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7534 1111 63 0 8710 0
vsize: 35092
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 23967 30 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217552 1074868756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 24967 30 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 25967 31 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217604 1074786556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 26967 31 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 27967 31 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217572 1074786528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 28966 32 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 29966 32 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217552 1074868705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 30966 32 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221218688 1075110409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 9170 0 0 0 31966 32 0 0 25 0 1 0 755835394 36179968 7620 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8833 7620 1111 63 0 8770 0
vsize: 35332
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 11995 0 0 0 32958 41 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221219848 1074950074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 12343 0 0 0 33955 43 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220184 134543154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 12693 0 0 0 34953 46 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221219896 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 13041 0 0 0 35951 48 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134647068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 13389 0 0 0 36949 50 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 13737 0 0 0 37947 53 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220208 134648667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 14085 0 0 0 38943 56 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134647065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 14435 0 0 0 39941 59 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220176 1074031978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 14783 0 0 0 40938 62 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220196 134648505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 15133 0 0 0 41934 65 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221219848 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 15481 0 0 0 42931 69 0 0 25 0 1 0 755835394 29216768 6266 4294967295 134512640 134714508 3221221776 3221219716 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7133 6266 1111 63 0 7070 0
vsize: 28532
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 15825 0 0 0 43928 72 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220160 134606975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 16171 0 0 0 44925 75 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220140 134555032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5480
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 16519 0 0 0 45922 78 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+470.485 s]
Raw data (loadavg): 1.15 1.02 1.01 3/58 5528
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 16883 0 0 0 46961 85 0 0 25 0 1 0 755835394 29216768 6266 4294967295 134512640 134714508 3221221776 3221219908 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7133 6266 1111 63 0 7070 0
vsize: 28532
[startup+480.505 s]
Raw data (loadavg): 1.27 1.05 1.02 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 17233 0 0 0 47961 87 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134647065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+490.506 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 17585 0 0 0 48959 89 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220200 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+500.507 s]
Raw data (loadavg): 1.19 1.04 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 17937 0 0 0 49957 92 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134646982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+510.507 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 18289 0 0 0 50954 95 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134647068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+520.507 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 18639 0 0 0 51953 96 0 0 25 0 1 0 755835394 29216768 6266 4294967295 134512640 134714508 3221221776 3221219836 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7133 6266 1111 63 0 7070 0
vsize: 28532
[startup+530.507 s]
Raw data (loadavg): 1.12 1.04 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 18985 0 0 0 52951 98 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220100 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+540.508 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 5533
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 19335 0 0 0 53948 101 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+550.508 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 19683 0 0 0 54946 104 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+560.508 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 20031 0 0 0 55943 107 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220200 134558801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+570.508 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 20381 0 0 0 56940 110 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+580.509 s]
Raw data (loadavg): 1.05 1.03 1.01 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 20731 0 0 0 57937 113 0 0 25 0 1 0 755835394 29216768 6266 4294967295 134512640 134714508 3221221776 3221219800 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28532
[startup+590.509 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 21079 0 0 0 58934 116 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134647065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+600.51 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 21429 0 0 0 59932 118 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+610.511 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 21781 0 0 0 60929 122 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+620.511 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 22131 0 0 0 61927 124 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+630.511 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 22481 0 0 0 62925 127 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+640.512 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 22831 0 0 0 63922 129 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220184 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+650.513 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 23007 0 0 0 64921 130 0 0 25 0 1 0 755835394 28905472 6264 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6264 1111 63 0 6994 0
vsize: 28228
[startup+660.513 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 23009 0 0 0 65921 131 0 0 25 0 1 0 755835394 28905472 6266 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6266 1111 63 0 6994 0
vsize: 28228
[startup+670.512 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 23011 0 0 0 66920 131 0 0 25 0 1 0 755835394 28905472 6268 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6268 1111 63 0 6994 0
vsize: 28228
[startup+680.513 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 23015 0 0 0 67919 132 0 0 25 0 1 0 755835394 28905472 6272 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7057 6272 1111 63 0 6994 0
vsize: 28228
[startup+690.514 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 31567 0 0 0 68900 152 0 0 25 0 1 0 755835394 27082752 5846 4294967295 134512640 134714508 3221221776 3221219352 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6612 5846 1111 63 0 6549 0
vsize: 26448
[startup+700.514 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 41909 0 0 0 69873 179 0 0 25 0 1 0 755835394 27348992 5911 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6677 5911 1111 63 0 6614 0
vsize: 26708
[startup+710.515 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 51293 0 0 0 70851 201 0 0 25 0 1 0 755835394 27348992 5911 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6677 5911 1111 63 0 6614 0
vsize: 26708
[startup+720.515 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 61927 0 0 0 71827 225 0 0 25 0 1 0 755835394 27889664 6043 4294967295 134512640 134714508 3221221776 3221220416 1076647565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6809 6043 1111 63 0 6746 0
vsize: 27236
[startup+730.516 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 70528 0 0 0 72809 243 0 0 25 0 1 0 755835394 27889664 6043 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6809 6043 1111 63 0 6746 0
vsize: 27236
[startup+740.516 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 79178 0 0 0 73790 262 0 0 25 0 1 0 755835394 33517568 6096 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8183 6097 1111 63 0 8120 0
vsize: 32732
[startup+750.517 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 89750 0 0 0 74765 288 0 0 25 0 1 0 755835394 28102656 6095 4294967295 134512640 134714508 3221221776 3221220404 1077374471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6861 6095 1111 63 0 6798 0
vsize: 27444
[startup+760.517 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 98993 0 0 0 75744 309 0 0 25 0 1 0 755835394 27996160 6069 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6069 1111 63 0 6772 0
vsize: 27340
[startup+770.517 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 108223 0 0 0 76724 328 0 0 25 0 1 0 755835394 27996160 6069 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6069 1111 63 0 6772 0
vsize: 27340
[startup+780.517 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5535
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 117314 0 0 0 77704 348 0 0 25 0 1 0 755835394 28426240 6155 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6940 6160 1111 63 0 6877 0
vsize: 27760
[startup+790.517 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 130073 0 0 0 78677 376 0 0 25 0 1 0 755835394 28102656 6095 4294967295 134512640 134714508 3221221776 3221220528 134652602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6861 6095 1111 63 0 6798 0
vsize: 27444
[startup+800.518 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 141900 0 0 0 79649 404 0 0 25 0 1 0 755835394 28102656 6095 4294967295 134512640 134714508 3221221776 3221220404 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6861 6095 1111 63 0 6798 0
vsize: 27444
[startup+810.518 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 154137 0 0 0 80621 433 0 0 25 0 1 0 755835394 27996160 6069 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6069 1111 63 0 6772 0
vsize: 27340
[startup+820.518 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 167683 0 0 0 81591 463 0 0 25 0 1 0 755835394 28266496 6135 4294967295 134512640 134714508 3221221776 3221219504 1075635454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6901 6135 1111 63 0 6838 0
vsize: 27604
[startup+830.518 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 180650 0 0 0 82563 491 0 0 25 0 1 0 755835394 28188672 6116 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6116 1111 63 0 6819 0
vsize: 27528
[startup+840.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 192380 0 0 0 83534 520 0 0 25 0 1 0 755835394 28188672 6116 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6116 1111 63 0 6819 0
vsize: 27528
[startup+850.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 204615 0 0 0 84506 548 0 0 25 0 1 0 755835394 28188672 6116 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6116 1111 63 0 6819 0
vsize: 27528
[startup+860.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 217416 0 0 0 85480 575 0 0 25 0 1 0 755835394 28188672 6116 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6116 1111 63 0 6819 0
vsize: 27528
[startup+870.519 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 230378 0 0 0 86447 607 0 0 25 0 1 0 755835394 29335552 6235 4294967295 134512640 134714508 3221221776 3221219840 1075961606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7162 6235 1111 63 0 7099 0
vsize: 28648
[startup+880.52 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 241726 0 0 0 87422 633 0 0 25 0 1 0 755835394 28372992 6137 4294967295 134512640 134714508 3221221776 3221219776 1074056630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6927 6141 1111 63 0 6864 0
vsize: 27708
[startup+890.521 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 252890 0 0 0 88397 658 0 0 25 0 1 0 755835394 28385280 6164 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6930 6164 1111 63 0 6867 0
vsize: 27720
[startup+900.522 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 264165 0 0 0 89370 685 0 0 25 0 1 0 755835394 28491776 6190 4294967295 134512640 134714508 3221221776 3221220296 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6190 1111 63 0 6893 0
vsize: 27824
[startup+910.522 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 276068 0 0 0 90344 711 0 0 25 0 1 0 755835394 29335552 6261 4294967295 134512640 134714508 3221221776 3221219696 1075799635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7162 6261 1111 63 0 7099 0
vsize: 28648
[startup+920.522 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 288925 0 0 0 91315 740 0 0 25 0 1 0 755835394 28385280 6164 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6930 6164 1111 63 0 6867 0
vsize: 27720
[startup+930.523 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 302240 0 0 0 92283 773 0 0 25 0 1 0 755835394 28385280 6164 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6930 6164 1111 63 0 6867 0
vsize: 27720
[startup+940.523 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 314594 0 0 0 93255 801 0 0 25 0 1 0 755835394 28577792 6211 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6211 1111 63 0 6914 0
vsize: 27908
[startup+950.524 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 326669 0 0 0 94225 831 0 0 25 0 1 0 755835394 28577792 6211 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6211 1111 63 0 6914 0
vsize: 27908
[startup+960.525 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 339729 0 0 0 95197 860 0 0 25 0 1 0 755835394 28577792 6211 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6211 1111 63 0 6914 0
vsize: 27908
[startup+970.524 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 353047 0 0 0 96168 889 0 0 25 0 1 0 755835394 28688384 6238 4294967295 134512640 134714508 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7004 6238 1111 63 0 6941 0
vsize: 28016
[startup+980.524 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 366332 0 0 0 97138 918 0 0 25 0 1 0 755835394 29478912 6424 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7235 6427 1111 63 0 7172 0
vsize: 28788
[startup+990.524 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 379168 0 0 0 98110 947 0 0 25 0 1 0 755835394 28794880 6264 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7030 6264 1111 63 0 6967 0
vsize: 28120
[startup+1000.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 391603 0 0 0 99082 975 0 0 25 0 1 0 755835394 28901376 6290 4294967295 134512640 134714508 3221221776 3221220304 134552032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7056 6290 1111 63 0 6993 0
vsize: 28224
[startup+1010.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 404369 0 0 0 100053 1004 0 0 25 0 1 0 755835394 28794880 6264 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7030 6264 1111 63 0 6967 0
vsize: 28120
[startup+1020.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 417268 0 0 0 101024 1033 0 0 25 0 1 0 755835394 29114368 6342 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7108 6342 1111 63 0 7045 0
vsize: 28432
[startup+1030.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 427887 0 0 0 102001 1056 0 0 25 0 1 0 755835394 29114368 6342 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7108 6342 1111 63 0 7045 0
vsize: 28432
[startup+1040.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 438451 0 0 0 102978 1079 0 0 25 0 1 0 755835394 29114368 6342 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7108 6342 1111 63 0 7045 0
vsize: 28432
[startup+1050.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 449338 0 0 0 103952 1106 0 0 25 0 1 0 755835394 30011392 6400 4294967295 134512640 134714508 3221221776 3221219696 1075799556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7327 6400 1111 63 0 7264 0
vsize: 29308
[startup+1060.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 461127 0 0 0 104927 1131 0 0 25 0 1 0 755835394 29114368 6342 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7108 6342 1111 63 0 7045 0
vsize: 28432
[startup+1070.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 473717 0 0 0 105899 1159 0 0 25 0 1 0 755835394 29114368 6342 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7108 6342 1111 63 0 7045 0
vsize: 28432
[startup+1080.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 485605 0 0 0 106873 1185 0 0 25 0 1 0 755835394 29319168 6392 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7158 6392 1111 63 0 7095 0
vsize: 28632
[startup+1090.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 497131 0 0 0 107847 1211 0 0 25 0 1 0 755835394 29601792 6461 4294967295 134512640 134714508 3221221776 3221220176 1074119066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6461 1111 63 0 7164 0
vsize: 28908
[startup+1100.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 508296 0 0 0 108822 1237 0 0 25 0 1 0 755835394 29331456 6395 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7161 6395 1111 63 0 7098 0
vsize: 28644
[startup+1110.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 520353 0 0 0 109794 1265 0 0 25 0 1 0 755835394 29331456 6395 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7161 6395 1111 63 0 7098 0
vsize: 28644
[startup+1120.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 531800 0 0 0 110769 1290 0 0 25 0 1 0 755835394 35868672 6658 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8757 6658 1111 63 0 8694 0
vsize: 35028
[startup+1130.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 543060 0 0 0 111742 1317 0 0 25 0 1 0 755835394 29659136 6475 4294967295 134512640 134714508 3221221776 3221220336 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7241 6475 1111 63 0 7178 0
vsize: 28964
[startup+1140.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 554620 0 0 0 112716 1343 0 0 25 0 1 0 755835394 29548544 6448 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7214 6448 1111 63 0 7151 0
vsize: 28856
[startup+1150.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 566577 0 0 0 113689 1370 0 0 25 0 1 0 755835394 29548544 6448 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7214 6448 1111 63 0 7151 0
vsize: 28856
[startup+1160.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 579456 0 0 0 114661 1399 0 0 25 0 1 0 755835394 29548544 6448 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7214 6448 1111 63 0 7151 0
vsize: 28856
[startup+1170.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 592739 0 0 0 115635 1425 0 0 25 0 1 0 755835394 29548544 6448 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7214 6448 1111 63 0 7151 0
vsize: 28856
[startup+1180.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 605335 0 0 0 116607 1454 0 0 25 0 1 0 755835394 29745152 6496 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6496 1111 63 0 7199 0
vsize: 29048
[startup+1190.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 617410 0 0 0 117579 1481 0 0 25 0 1 0 755835394 29851648 6522 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7288 6522 1111 63 0 7225 0
vsize: 29152
[startup+1200.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) R 5479 7876 7672 0 -1 0 630410 0 0 0 118552 1509 0 0 25 0 1 0 755835394 30060544 6543 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6547 1111 63 0 7276 0
vsize: 29356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 5537
Raw data (stat): 5480 (bsolo_lpr_cuts) Z 5479 7876 7672 0 -1 1036 630418 0 0 0 118552 1510 0 0 25 0 1 0 755835394 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.55
CPU time (s): 1200.63
CPU user time (s): 1185.52
CPU system time (s): 15.1087
CPU usage (%): 100.007
Max. virtual memory (Kb): 35332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####