0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 428 #constraints 942
7.07/7.12	c #Conflicts:       1000 | #Constraints:       1941
7.07/7.12	c #Conflicts:       2000 | #Constraints:       2942
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:       3000 | #Constraints:       2913
7.07/7.12	c #Conflicts:       4000 | #Constraints:       3913
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:       5000 | #Constraints:       3315
7.07/7.12	c #Conflicts:       6000 | #Constraints:       4315
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:       7000 | #Constraints:       3320
7.07/7.12	c #Conflicts:       8000 | #Constraints:       4320
7.07/7.12	c #Conflicts:       9000 | #Constraints:       5321
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      10000 | #Constraints:       4019
7.07/7.12	c #Conflicts:      11000 | #Constraints:       5019
7.07/7.12	c #Conflicts:      12000 | #Constraints:       6019
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      13000 | #Constraints:       4469
7.07/7.12	c #Conflicts:      14000 | #Constraints:       5469
7.07/7.12	c #Conflicts:      15000 | #Constraints:       6469
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      16000 | #Constraints:       4696
7.07/7.12	c #Conflicts:      17000 | #Constraints:       5696
7.07/7.12	c #Conflicts:      18000 | #Constraints:       6696
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      19000 | #Constraints:       4711
7.07/7.12	c #Conflicts:      20000 | #Constraints:       5711
7.07/7.12	c #Conflicts:      21000 | #Constraints:       6712
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      22000 | #Constraints:       4521
7.07/7.12	c #Conflicts:      23000 | #Constraints:       5521
7.07/7.12	c #Conflicts:      24000 | #Constraints:       6522
7.07/7.12	c #Conflicts:      25000 | #Constraints:       7522
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      26000 | #Constraints:       5123
7.07/7.12	c #Conflicts:      27000 | #Constraints:       6123
7.07/7.12	c #Conflicts:      28000 | #Constraints:       7123
7.07/7.12	c #Conflicts:      29000 | #Constraints:       8123
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	c #Conflicts:      30000 | #Constraints:       5517
7.07/7.12	c #Conflicts:      31000 | #Constraints:       6517
7.07/7.12	c #Conflicts:      32000 | #Constraints:       7517
7.07/7.12	c #Conflicts:      33000 | #Constraints:       8517
7.07/7.12	c INPROCESSING
7.07/7.12	c GARBAGE COLLECT
7.07/7.12	WSVECS04 Frhs2[55]: 6 0 0.475485 shouldn't be
7.07/7.12	WSVECS04 Frhs2[169]: 6 0 0.595257 shouldn't be
7.07/7.12	WSVECS04 Frhs2[324]: 6 0 0.993499 shouldn't be
7.07/7.12	WSVECS04 Frhs2[344]: 6 0 0.726149 shouldn't be
7.07/7.12	WSVECS04 Frhs2[374]: 6 0 0.0479216 shouldn't be
7.07/7.12	WSVECS04 Frhs2[387]: 6 0 0.482648 shouldn't be
7.07/7.12	WSVECS04 Frhs2[388]: 6 0 0.0259363 shouldn't be
16.83/16.95	c #Conflicts:      34000 | #Constraints:       5717
16.83/16.95	c #Conflicts:      35000 | #Constraints:       6717
16.83/16.95	c #Conflicts:      36000 | #Constraints:       7717
16.83/16.95	c #Conflicts:      37000 | #Constraints:       8717
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      38000 | #Constraints:       5675
16.83/16.95	c #Conflicts:      39000 | #Constraints:       6675
16.83/16.95	c #Conflicts:      40000 | #Constraints:       7675
16.83/16.95	c #Conflicts:      41000 | #Constraints:       8675
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      42000 | #Constraints:       5484
16.83/16.95	c #Conflicts:      43000 | #Constraints:       6484
16.83/16.95	c #Conflicts:      44000 | #Constraints:       7484
16.83/16.95	c #Conflicts:      45000 | #Constraints:       8484
16.83/16.95	c #Conflicts:      46000 | #Constraints:       9484
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      47000 | #Constraints:       6089
16.83/16.95	c #Conflicts:      48000 | #Constraints:       7089
16.83/16.95	c #Conflicts:      49000 | #Constraints:       8089
16.83/16.95	c #Conflicts:      50000 | #Constraints:       9089
16.83/16.95	c #Conflicts:      51000 | #Constraints:      10089
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      52000 | #Constraints:       6493
16.83/16.95	c #Conflicts:      53000 | #Constraints:       7493
16.83/16.95	c #Conflicts:      54000 | #Constraints:       8493
16.83/16.95	c #Conflicts:      55000 | #Constraints:       9493
16.83/16.95	c #Conflicts:      56000 | #Constraints:      10493
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      57000 | #Constraints:       6693
16.83/16.95	c #Conflicts:      58000 | #Constraints:       7693
16.83/16.95	c #Conflicts:      59000 | #Constraints:       8693
16.83/16.95	c #Conflicts:      60000 | #Constraints:       9693
16.83/16.95	c #Conflicts:      61000 | #Constraints:      10693
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      62000 | #Constraints:       6691
16.83/16.95	c #Conflicts:      63000 | #Constraints:       7691
16.83/16.95	c #Conflicts:      64000 | #Constraints:       8691
16.83/16.95	c #Conflicts:      65000 | #Constraints:       9691
16.83/16.95	c #Conflicts:      66000 | #Constraints:      10691
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c #Conflicts:      67000 | #Constraints:       6493
16.83/16.95	c #Conflicts:      68000 | #Constraints:       7493
16.83/16.95	c #Conflicts:      69000 | #Constraints:       8493
16.83/16.95	c #Conflicts:      70000 | #Constraints:       9493
16.83/16.95	c #Conflicts:      71000 | #Constraints:      10493
16.83/16.95	c #Conflicts:      72000 | #Constraints:      11493
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c rational objective 60.9897
36.08/36.27	c #Conflicts:      73000 | #Constraints:       7089
36.08/36.27	c #Conflicts:      74000 | #Constraints:       8089
36.08/36.27	c #Conflicts:      75000 | #Constraints:       9089
36.08/36.27	c #Conflicts:      76000 | #Constraints:      10089
36.08/36.27	c #Conflicts:      77000 | #Constraints:      11089
36.08/36.27	c #Conflicts:      78000 | #Constraints:      12089
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:      79000 | #Constraints:       7486
36.08/36.27	c #Conflicts:      80000 | #Constraints:       8486
36.08/36.27	c #Conflicts:      81000 | #Constraints:       9486
36.08/36.27	c #Conflicts:      82000 | #Constraints:      10486
36.08/36.27	c #Conflicts:      83000 | #Constraints:      11486
36.08/36.27	c #Conflicts:      84000 | #Constraints:      12486
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:      85000 | #Constraints:       7683
36.08/36.27	c #Conflicts:      86000 | #Constraints:       8683
36.08/36.27	c #Conflicts:      87000 | #Constraints:       9683
36.08/36.27	c #Conflicts:      88000 | #Constraints:      10684
36.08/36.27	c #Conflicts:      89000 | #Constraints:      11684
36.08/36.27	c #Conflicts:      90000 | #Constraints:      12684
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:      91000 | #Constraints:       7689
36.08/36.27	c #Conflicts:      92000 | #Constraints:       8689
36.08/36.27	c #Conflicts:      93000 | #Constraints:       9689
36.08/36.27	c #Conflicts:      94000 | #Constraints:      10689
36.08/36.27	c #Conflicts:      95000 | #Constraints:      11689
36.08/36.27	c #Conflicts:      96000 | #Constraints:      12689
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:      97000 | #Constraints:       7497
36.08/36.27	c #Conflicts:      98000 | #Constraints:       8497
36.08/36.27	c #Conflicts:      99000 | #Constraints:       9497
36.08/36.27	c #Conflicts:     100000 | #Constraints:      10497
36.08/36.27	c #Conflicts:     101000 | #Constraints:      11497
36.08/36.27	c #Conflicts:     102000 | #Constraints:      12497
36.08/36.27	c #Conflicts:     103000 | #Constraints:      13497
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     104000 | #Constraints:       8092
36.08/36.27	c #Conflicts:     105000 | #Constraints:       9092
36.08/36.27	c #Conflicts:     106000 | #Constraints:      10092
36.08/36.27	c #Conflicts:     107000 | #Constraints:      11092
36.08/36.27	c #Conflicts:     108000 | #Constraints:      12092
36.08/36.27	c #Conflicts:     109000 | #Constraints:      13092
36.08/36.27	c #Conflicts:     110000 | #Constraints:      14092
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     111000 | #Constraints:       8494
36.08/36.27	c #Conflicts:     112000 | #Constraints:       9495
36.08/36.27	c #Conflicts:     113000 | #Constraints:      10495
36.08/36.27	c #Conflicts:     114000 | #Constraints:      11495
36.08/36.27	c #Conflicts:     115000 | #Constraints:      12495
36.08/36.27	c #Conflicts:     116000 | #Constraints:      13495
36.08/36.27	c #Conflicts:     117000 | #Constraints:      14495
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     118000 | #Constraints:       8688
36.08/36.27	c #Conflicts:     119000 | #Constraints:       9688
36.08/36.27	c #Conflicts:     120000 | #Constraints:      10688
36.08/36.27	c #Conflicts:     121000 | #Constraints:      11688
36.08/36.27	c #Conflicts:     122000 | #Constraints:      12688
36.08/36.27	c #Conflicts:     123000 | #Constraints:      13688
36.08/36.27	c #Conflicts:     124000 | #Constraints:      14688
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     125000 | #Constraints:       8686
36.08/36.27	c #Conflicts:     126000 | #Constraints:       9686
36.08/36.27	c #Conflicts:     127000 | #Constraints:      10686
36.08/36.27	c #Conflicts:     128000 | #Constraints:      11686
36.08/36.27	c #Conflicts:     129000 | #Constraints:      12687
36.08/36.27	c #Conflicts:     130000 | #Constraints:      13687
36.08/36.27	c #Conflicts:     131000 | #Constraints:      14687
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     132000 | #Constraints:       8483
36.08/36.27	c #Conflicts:     133000 | #Constraints:       9483
36.08/36.27	c #Conflicts:     134000 | #Constraints:      10483
36.08/36.27	c #Conflicts:     135000 | #Constraints:      11483
36.08/36.27	c #Conflicts:     136000 | #Constraints:      12483
36.08/36.27	c #Conflicts:     137000 | #Constraints:      13483
36.08/36.27	c #Conflicts:     138000 | #Constraints:      14483
36.08/36.27	c #Conflicts:     139000 | #Constraints:      15483
36.08/36.27	c INPROCESSING
36.08/36.27	c GARBAGE COLLECT
36.08/36.27	c #Conflicts:     140000 | #Constraints:       9085
36.08/36.27	c #Conflicts:     141000 | #Constraints:      10085
36.08/36.27	c #Conflicts:     142000 | #Constraints:      11085
36.08/36.27	c #Conflicts:     143000 | #Constraints:      12085
36.08/36.27	c #Conflicts:     144000 | #Constraints:      13085
36.08/36.27	c #Conflicts:     145000 | #Constraints:      14085
39.06/39.22	c #Conflicts:     146000 | #Constraints:      15086
39.06/39.22	c #Conflicts:     147000 | #Constraints:      16086
39.06/39.22	c INPROCESSING
39.06/39.22	c GARBAGE COLLECT
39.06/39.22	c #Conflicts:     148000 | #Constraints:       9488
39.06/39.22	c #Conflicts:     149000 | #Constraints:      10488
39.06/39.22	c #Conflicts:     150000 | #Constraints:      11488
39.06/39.22	c #Conflicts:     151000 | #Constraints:      12488
39.06/39.22	c #Conflicts:     152000 | #Constraints:      13488
39.06/39.22	c #Conflicts:     153000 | #Constraints:      14488
39.06/39.22	c #Conflicts:     154000 | #Constraints:      15488
39.06/39.22	c #Conflicts:     155000 | #Constraints:      16488
39.06/39.22	c INPROCESSING
39.06/39.22	c GARBAGE COLLECT
39.06/39.22	c rational objective 61.0017
52.62/52.87	c #Conflicts:     156000 | #Constraints:       9691
52.62/52.87	c #Conflicts:     157000 | #Constraints:      10691
52.62/52.87	c #Conflicts:     158000 | #Constraints:      11692
52.62/52.87	c #Conflicts:     159000 | #Constraints:      12693
52.62/52.87	c #Conflicts:     160000 | #Constraints:      13693
52.62/52.87	c #Conflicts:     161000 | #Constraints:      14694
52.62/52.87	c #Conflicts:     162000 | #Constraints:      15694
52.62/52.87	c #Conflicts:     163000 | #Constraints:      16694
52.62/52.87	c INPROCESSING
52.62/52.87	c GARBAGE COLLECT
52.62/52.87	c #Conflicts:     164000 | #Constraints:       9691
52.62/52.87	c #Conflicts:     165000 | #Constraints:      10692
52.62/52.87	c #Conflicts:     166000 | #Constraints:      11693
52.62/52.87	c #Conflicts:     167000 | #Constraints:      12695
52.62/52.87	c #Conflicts:     168000 | #Constraints:      13696
52.62/52.87	c #Conflicts:     169000 | #Constraints:      14697
52.62/52.87	c #Conflicts:     170000 | #Constraints:      15698
52.62/52.87	c #Conflicts:     171000 | #Constraints:      16699
52.62/52.87	c INPROCESSING
52.62/52.87	c GARBAGE COLLECT
52.62/52.87	c #Conflicts:     172000 | #Constraints:       9500
52.62/52.87	c #Conflicts:     173000 | #Constraints:      10501
52.62/52.87	c #Conflicts:     174000 | #Constraints:      11503
52.62/52.87	c #Conflicts:     175000 | #Constraints:      12506
52.62/52.87	c #Conflicts:     176000 | #Constraints:      13507
52.62/52.87	c #Conflicts:     177000 | #Constraints:      14509
52.62/52.87	c #Conflicts:     178000 | #Constraints:      15510
52.62/52.87	c #Conflicts:     179000 | #Constraints:      16511
52.62/52.87	c #Conflicts:     180000 | #Constraints:      17512
52.62/52.87	c INPROCESSING
52.62/52.87	c GARBAGE COLLECT
52.62/52.87	c #Conflicts:     181000 | #Constraints:      10106
52.62/52.87	c #Conflicts:     182000 | #Constraints:      11107
52.62/52.87	c #Conflicts:     183000 | #Constraints:      12108
52.62/52.87	c #Conflicts:     184000 | #Constraints:      13109
52.62/52.87	c #Conflicts:     185000 | #Constraints:      14110
52.62/52.87	c #Conflicts:     186000 | #Constraints:      15113
52.62/52.87	c #Conflicts:     187000 | #Constraints:      16114
52.62/52.87	c #Conflicts:     188000 | #Constraints:      17115
52.62/52.87	c #Conflicts:     189000 | #Constraints:      18116
52.62/52.87	c INPROCESSING
52.62/52.87	c GARBAGE COLLECT
52.62/52.87	c #Conflicts:     190000 | #Constraints:      10505
52.62/52.87	c #Conflicts:     191000 | #Constraints:      11507
52.62/52.87	c #Conflicts:     192000 | #Constraints:      12510
52.62/52.87	c #Conflicts:     193000 | #Constraints:      13513
52.62/52.87	c #Conflicts:     194000 | #Constraints:      14516
52.62/52.87	c #Conflicts:     195000 | #Constraints:      15519
52.62/52.87	c #Conflicts:     196000 | #Constraints:      16529
52.62/52.87	c #Conflicts:     197000 | #Constraints:      17536
52.62/52.87	c #Conflicts:     198000 | #Constraints:      18543
52.62/52.87	c INPROCESSING
52.62/52.87	c GARBAGE COLLECT
52.62/52.87	WSVECS04 Frhs2[5]: 6 0 0.694808 shouldn't be
52.62/52.87	WSVECS04 Frhs2[7]: 6 0 1.94861 shouldn't be
52.62/52.87	WSVECS04 Frhs2[8]: 6 0 1.25383 shouldn't be
52.62/52.87	WSVECS04 Frhs2[12]: 6 0 1.04967 shouldn't be
52.62/52.87	WSVECS04 Frhs2[14]: 6 0 0.675744 shouldn't be
52.62/52.87	WSVECS04 Frhs2[21]: 6 0 0.694801 shouldn't be
52.62/52.87	WSVECS04 Frhs2[27]: 6 0 1.9003 shouldn't be
52.62/52.87	WSVECS04 Frhs2[29]: 6 0 0.694816 shouldn't be
52.62/52.87	WSVECS04 Frhs2[32]: 6 -10.7627 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[33]: 6 0 0.694752 shouldn't be
52.62/52.87	WSVECS04 Frhs2[35]: 6 0 0.694765 shouldn't be
52.62/52.87	WSVECS04 Frhs2[37]: 6 0 0.694767 shouldn't be
52.62/52.87	WSVECS04 Frhs2[39]: 6 0 0.694809 shouldn't be
52.62/52.87	WSVECS04 Frhs2[43]: 6 0 0.694747 shouldn't be
52.62/52.87	WSVECS04 Frhs2[45]: 6 0 2.0031 shouldn't be
52.62/52.87	WSVECS04 Frhs2[47]: 6 0 0.69481 shouldn't be
52.62/52.87	WSVECS04 Frhs2[53]: 6 0 0.533731 shouldn't be
52.62/52.87	WSVECS04 Frhs2[57]: 6 0 0.196918 shouldn't be
52.62/52.87	WSVECS04 Frhs2[69]: 6 0 0.694757 shouldn't be
52.62/52.87	WSVECS04 Frhs2[77]: 6 0 0.694755 shouldn't be
52.62/52.87	WSVECS04 Frhs2[83]: 6 0 0.694811 shouldn't be
52.62/52.87	WSVECS04 Frhs2[87]: 6 0 0.744486 shouldn't be
52.62/52.87	WSVECS04 Frhs2[91]: 6 0 0.694744 shouldn't be
52.62/52.87	WSVECS04 Frhs2[97]: 6 0 0.705618 shouldn't be
52.62/52.87	WSVECS04 Frhs2[107]: 6 0 0.694796 shouldn't be
52.62/52.87	WSVECS04 Frhs2[109]: 6 0 0.694795 shouldn't be
52.62/52.87	WSVECS04 Frhs2[117]: 6 0 1.29687 shouldn't be
52.62/52.87	WSVECS04 Frhs2[129]: 6 0 2.20595 shouldn't be
52.62/52.87	WSVECS04 Frhs2[133]: 6 0 0.694791 shouldn't be
52.62/52.87	WSVECS04 Frhs2[135]: 6 0 0.694735 shouldn't be
52.62/52.87	WSVECS04 Frhs2[147]: 6 0 1.585 shouldn't be
52.62/52.87	WSVECS04 Frhs2[153]: 6 0 0.90431 shouldn't be
52.62/52.87	WSVECS04 Frhs2[155]: 6 0 0.694794 shouldn't be
52.62/52.87	WSVECS04 Frhs2[159]: 6 0 0.694751 shouldn't be
52.62/52.87	WSVECS04 Frhs2[161]: 6 0 0.694758 shouldn't be
52.62/52.87	WSVECS04 Frhs2[175]: 6 0 0.694819 shouldn't be
52.62/52.87	WSVECS04 Frhs2[177]: 6 0 1.89158 shouldn't be
52.62/52.87	WSVECS04 Frhs2[179]: 6 0 0.69477 shouldn't be
52.62/52.87	WSVECS04 Frhs2[181]: 6 0 2.02678 shouldn't be
52.62/52.87	WSVECS04 Frhs2[185]: 6 0 2.40261 shouldn't be
52.62/52.87	WSVECS04 Frhs2[195]: 6 0 0.694765 shouldn't be
52.62/52.87	WSVECS04 Frhs2[201]: 6 0 0.69475 shouldn't be
52.62/52.87	WSVECS04 Frhs2[203]: 6 0 0.694778 shouldn't be
52.62/52.87	WSVECS04 Frhs2[205]: 6 0 0.460541 shouldn't be
52.62/52.87	WSVECS04 Frhs2[207]: 6 0 0.694738 shouldn't be
52.62/52.87	WSVECS04 Frhs2[215]: 6 0 0.632197 shouldn't be
52.62/52.87	WSVECS04 Frhs2[223]: 6 0 0.69476 shouldn't be
52.62/52.87	WSVECS04 Frhs2[231]: 6 0 1.03585 shouldn't be
52.62/52.87	WSVECS04 Frhs2[235]: 6 0 1.39953 shouldn't be
52.62/52.87	WSVECS04 Frhs2[237]: 6 0 0.694781 shouldn't be
52.62/52.87	WSVECS04 Frhs2[239]: 6 0 0.768234 shouldn't be
52.62/52.87	WSVECS04 Frhs2[245]: 6 0 6.21634 shouldn't be
52.62/52.87	WSVECS04 Frhs2[249]: 6 0 0.035093 shouldn't be
52.62/52.87	WSVECS04 Frhs2[261]: 6 0 0.17788 shouldn't be
52.62/52.87	WSVECS04 Frhs2[263]: 6 0 0.774595 shouldn't be
52.62/52.87	WSVECS04 Frhs2[267]: 6 0 0.242959 shouldn't be
52.62/52.87	WSVECS04 Frhs2[269]: 6 0 0.347483 shouldn't be
52.62/52.87	WSVECS04 Frhs2[281]: 6 0 0.777645 shouldn't be
52.62/52.87	WSVECS04 Frhs2[282]: 6 0 0.0414916 shouldn't be
52.62/52.87	WSVECS04 Frhs2[283]: 6 0 0.736154 shouldn't be
52.62/52.87	WSVECS04 Frhs2[286]: 6 -0.0207469 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[292]: 6 0 2.98614 shouldn't be
52.62/52.87	WSVECS04 Frhs2[293]: 6 0 0.884093 shouldn't be
52.62/52.87	WSVECS04 Frhs2[305]: 6 -3.09252 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[307]: 6 -2.61738 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[308]: 6 0 1.13104 shouldn't be
52.62/52.87	WSVECS04 Frhs2[309]: 6 0 1.43724 shouldn't be
52.62/52.87	WSVECS04 Frhs2[319]: 6 -0.628798 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[320]: 6 0 1.38874 shouldn't be
52.62/52.87	WSVECS04 Frhs2[321]: 6 -3.22238 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[322]: 6 0 2.81402 shouldn't be
52.62/52.87	WSVECS04 Frhs2[333]: 6 -2.54247 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[345]: 6 -3.71716 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[351]: 6 -2.94304 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[354]: 6 0 0.295175 shouldn't be
52.62/52.87	WSVECS04 Frhs2[362]: 6 -1.00006 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[375]: 6 0 0.179317 shouldn't be
52.62/52.87	WSVECS04 Frhs2[379]: 6 -3.02358 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[385]: 6 -1.44649 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[413]: 6 0 0.592355 shouldn't be
52.62/52.87	WSVECS04 Frhs2[416]: 6 -0.278439 0 shouldn't be
52.62/52.87	WSVECS04 Frhs2[428]: 6 0 0.857771 shouldn't be
52.72/52.92	WSVECS04 Frhs2[105]: 6 0 0.904339 shouldn't be
52.72/52.92	WSVECS04 Frhs2[311]: 6 -0.671043 0 shouldn't be
52.72/52.96	WSVECS04 Frhs2[9]: 6 0 0.694792 shouldn't be
52.72/52.96	WSVECS04 Frhs2[75]: 6 0 0.694788 shouldn't be
52.72/52.96	WSVECS04 Frhs2[85]: 6 0 0.694816 shouldn't be
52.72/52.96	WSVECS04 Frhs2[89]: 6 0 0.715798 shouldn't be
52.72/52.96	WSVECS04 Frhs2[127]: 6 0 0.694781 shouldn't be
52.72/52.96	WSVECS04 Frhs2[149]: 6 0 0.0941497 shouldn't be
52.72/52.96	WSVECS04 Frhs2[151]: 6 0 0.694816 shouldn't be
52.72/52.96	WSVECS04 Frhs2[154]: 6 0 1.22175 shouldn't be
52.72/52.96	WSVECS04 Frhs2[187]: 6 0 0.69481 shouldn't be
52.72/52.96	WSVECS04 Frhs2[199]: 6 0 0.694787 shouldn't be
52.72/52.96	WSVECS04 Frhs2[209]: 6 0 0.630574 shouldn't be
52.72/52.96	WSVECS04 Frhs2[213]: 6 0 0.694801 shouldn't be
52.72/52.96	WSVECS04 Frhs2[229]: 6 0 0.694799 shouldn't be
52.72/52.96	WSVECS04 Frhs2[259]: 6 0 0.694772 shouldn't be
52.72/52.96	WSVECS04 Frhs2[285]: 6 0 0.715496 shouldn't be
52.72/52.96	WSVECS04 Frhs2[403]: 6 -1.70638 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[7]: 6 0 1.94852 shouldn't be
52.83/53.02	WSVECS04 Frhs2[8]: 6 0 1.25379 shouldn't be
52.83/53.02	WSVECS04 Frhs2[14]: 6 0 0.675668 shouldn't be
52.83/53.02	WSVECS04 Frhs2[27]: 6 0 1.90021 shouldn't be
52.83/53.02	WSVECS04 Frhs2[32]: 6 -10.7626 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[33]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[35]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[37]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[43]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[45]: 6 0 2.00306 shouldn't be
52.83/53.02	WSVECS04 Frhs2[47]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[57]: 6 0 0.196872 shouldn't be
52.83/53.02	WSVECS04 Frhs2[69]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[75]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[77]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[83]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[85]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[87]: 6 0 0.744462 shouldn't be
52.83/53.02	WSVECS04 Frhs2[91]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[97]: 6 0 0.705543 shouldn't be
52.83/53.02	WSVECS04 Frhs2[107]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[109]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[117]: 6 0 1.29678 shouldn't be
52.83/53.02	WSVECS04 Frhs2[129]: 6 0 2.2059 shouldn't be
52.83/53.02	WSVECS04 Frhs2[130]: 6 0 1.51118 shouldn't be
52.83/53.02	WSVECS04 Frhs2[133]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[135]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[147]: 6 0 1.58493 shouldn't be
52.83/53.02	WSVECS04 Frhs2[149]: 6 0 0.0941255 shouldn't be
52.83/53.02	WSVECS04 Frhs2[151]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[153]: 6 0 0.904292 shouldn't be
52.83/53.02	WSVECS04 Frhs2[154]: 6 0 1.22166 shouldn't be
52.83/53.02	WSVECS04 Frhs2[155]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[159]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[161]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[175]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[177]: 6 0 1.8915 shouldn't be
52.83/53.02	WSVECS04 Frhs2[179]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[181]: 6 0 2.02671 shouldn't be
52.83/53.02	WSVECS04 Frhs2[185]: 6 0 2.40252 shouldn't be
52.83/53.02	WSVECS04 Frhs2[187]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[195]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[199]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[201]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[205]: 6 0 0.460515 shouldn't be
52.83/53.02	WSVECS04 Frhs2[207]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[213]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[215]: 6 0 0.632131 shouldn't be
52.83/53.02	WSVECS04 Frhs2[223]: 6 0 0.694725 shouldn't be
52.83/53.02	WSVECS04 Frhs2[229]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[231]: 6 0 1.0358 shouldn't be
52.83/53.02	WSVECS04 Frhs2[235]: 6 0 1.39946 shouldn't be
52.83/53.02	WSVECS04 Frhs2[239]: 6 0 0.768212 shouldn't be
52.83/53.02	WSVECS04 Frhs2[245]: 6 0 6.21626 shouldn't be
52.83/53.02	WSVECS04 Frhs2[249]: 6 0 0.0350335 shouldn't be
52.83/53.02	WSVECS04 Frhs2[259]: 6 0 0.694724 shouldn't be
52.83/53.02	WSVECS04 Frhs2[263]: 6 0 0.774577 shouldn't be
52.83/53.02	WSVECS04 Frhs2[267]: 6 0 0.242931 shouldn't be
52.83/53.02	WSVECS04 Frhs2[269]: 6 0 0.347449 shouldn't be
52.83/53.02	WSVECS04 Frhs2[275]: 6 0 3.74193 shouldn't be
52.83/53.02	WSVECS04 Frhs2[282]: 6 0 0.0414186 shouldn't be
52.83/53.02	WSVECS04 Frhs2[283]: 6 0 0.736142 shouldn't be
52.83/53.02	WSVECS04 Frhs2[285]: 6 0 0.715434 shouldn't be
52.83/53.02	WSVECS04 Frhs2[286]: 6 -0.0207094 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[292]: 6 0 2.98608 shouldn't be
52.83/53.02	WSVECS04 Frhs2[293]: 6 0 0.884009 shouldn't be
52.83/53.02	WSVECS04 Frhs2[305]: 6 -3.09248 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[307]: 6 -2.61734 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[308]: 6 0 1.13096 shouldn't be
52.83/53.02	WSVECS04 Frhs2[309]: 6 0 1.43717 shouldn't be
52.83/53.02	WSVECS04 Frhs2[311]: 6 -0.670954 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[320]: 6 0 1.38867 shouldn't be
52.83/53.02	WSVECS04 Frhs2[321]: 6 -3.2223 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[322]: 6 0 2.81394 shouldn't be
52.83/53.02	WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[345]: 6 -3.71708 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[354]: 6 0 0.295125 shouldn't be
52.83/53.02	WSVECS04 Frhs2[362]: 6 -1 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[379]: 6 -3.02353 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[385]: 6 -1.44642 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[403]: 6 -1.70636 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[413]: 6 0 0.592332 shouldn't be
52.83/53.02	WSVECS04 Frhs2[416]: 6 -0.278342 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[427]: 6 -1.52683 0 shouldn't be
52.83/53.02	WSVECS04 Frhs2[428]: 6 0 0.857689 shouldn't be
68.07/68.30	c #Conflicts:     199000 | #Constraints:      10718
68.07/68.30	c #Conflicts:     200000 | #Constraints:      11718
68.07/68.30	c #Conflicts:     201000 | #Constraints:      12718
68.07/68.30	c #Conflicts:     202000 | #Constraints:      13719
68.07/68.30	c #Conflicts:     203000 | #Constraints:      14719
68.07/68.30	c #Conflicts:     204000 | #Constraints:      15719
68.07/68.30	c #Conflicts:     205000 | #Constraints:      16719
68.07/68.30	c #Conflicts:     206000 | #Constraints:      17719
68.07/68.30	c #Conflicts:     207000 | #Constraints:      18719
68.07/68.30	c INPROCESSING
68.07/68.30	c GARBAGE COLLECT
68.07/68.30	c #Conflicts:     208000 | #Constraints:      10711
68.07/68.30	c #Conflicts:     209000 | #Constraints:      11712
68.07/68.30	c #Conflicts:     210000 | #Constraints:      12712
68.07/68.30	c #Conflicts:     211000 | #Constraints:      13712
68.07/68.30	c #Conflicts:     212000 | #Constraints:      14712
68.07/68.30	c #Conflicts:     213000 | #Constraints:      15713
68.07/68.30	c #Conflicts:     214000 | #Constraints:      16717
68.07/68.30	c #Conflicts:     215000 | #Constraints:      17722
68.07/68.30	c #Conflicts:     216000 | #Constraints:      18730
68.07/68.30	c INPROCESSING
68.07/68.30	c GARBAGE COLLECT
68.07/68.30	c #Conflicts:     217000 | #Constraints:      10514
68.07/68.30	c #Conflicts:     218000 | #Constraints:      11515
68.07/68.30	c #Conflicts:     219000 | #Constraints:      12518
68.07/68.30	c #Conflicts:     220000 | #Constraints:      13523
68.07/68.30	c #Conflicts:     221000 | #Constraints:      14526
68.07/68.30	c #Conflicts:     222000 | #Constraints:      15532
68.07/68.30	c #Conflicts:     223000 | #Constraints:      16538
68.07/68.30	c #Conflicts:     224000 | #Constraints:      17540
68.07/68.30	c #Conflicts:     225000 | #Constraints:      18548
68.07/68.30	c #Conflicts:     226000 | #Constraints:      19559
68.07/68.30	c INPROCESSING
68.07/68.30	c GARBAGE COLLECT
68.07/68.30	c #Conflicts:     227000 | #Constraints:      11137
68.07/68.30	c #Conflicts:     228000 | #Constraints:      12139
68.07/68.30	c #Conflicts:     229000 | #Constraints:      13141
68.07/68.30	c #Conflicts:     230000 | #Constraints:      14142
68.07/68.30	c #Conflicts:     231000 | #Constraints:      15144
68.07/68.30	c #Conflicts:     232000 | #Constraints:      16145
68.07/68.30	c #Conflicts:     233000 | #Constraints:      17146
68.07/68.30	c #Conflicts:     234000 | #Constraints:      18147
68.07/68.30	c #Conflicts:     235000 | #Constraints:      19147
68.07/68.30	c #Conflicts:     236000 | #Constraints:      20148
68.07/68.31	c INPROCESSING
68.07/68.31	c GARBAGE COLLECT
68.07/68.31	c #Conflicts:     237000 | #Constraints:      11525
68.07/68.31	c #Conflicts:     238000 | #Constraints:      12526
68.07/68.31	c #Conflicts:     239000 | #Constraints:      13526
68.07/68.31	c #Conflicts:     240000 | #Constraints:      14527
68.07/68.31	c #Conflicts:     241000 | #Constraints:      15527
68.07/68.31	c #Conflicts:     242000 | #Constraints:      16528
68.07/68.31	c #Conflicts:     243000 | #Constraints:      17529
68.07/68.31	c #Conflicts:     244000 | #Constraints:      18530
68.07/68.31	c #Conflicts:     245000 | #Constraints:      19531
68.07/68.31	c #Conflicts:     246000 | #Constraints:      20532
68.07/68.31	c INPROCESSING
68.07/68.31	c GARBAGE COLLECT
68.07/68.31	WSVECS04 Frhs2[21]: 6 0 1.34811 shouldn't be
68.07/68.31	WSVECS04 Frhs2[32]: 6 0 7.42656 shouldn't be
68.07/68.31	WSVECS04 Frhs2[33]: 6 -1.08228 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[39]: 6 0 0.0753177 shouldn't be
68.07/68.31	WSVECS04 Frhs2[73]: 6 0 0.535563 shouldn't be
68.07/68.31	WSVECS04 Frhs2[79]: 6 0 0.100476 shouldn't be
68.07/68.31	WSVECS04 Frhs2[81]: 6 0 7.25772 shouldn't be
68.07/68.31	WSVECS04 Frhs2[93]: 6 0 0.970167 shouldn't be
68.07/68.31	WSVECS04 Frhs2[163]: 6 0 1.74488 shouldn't be
68.07/68.31	WSVECS04 Frhs2[197]: 6 0 5.64464 shouldn't be
68.07/68.31	WSVECS04 Frhs2[207]: 6 0 0.624052 shouldn't be
68.07/68.31	WSVECS04 Frhs2[211]: 6 0 2.01461 shouldn't be
68.07/68.31	WSVECS04 Frhs2[213]: 6 0 0.338307 shouldn't be
68.07/68.31	WSVECS04 Frhs2[214]: 6 0 0.338233 shouldn't be
68.07/68.31	WSVECS04 Frhs2[226]: 6 0 10.9259 shouldn't be
68.07/68.31	WSVECS04 Frhs2[235]: 6 0 0.100444 shouldn't be
68.07/68.31	WSVECS04 Frhs2[245]: 6 0 2.24946 shouldn't be
68.07/68.31	WSVECS04 Frhs2[247]: 6 0 0.974623 shouldn't be
68.07/68.31	WSVECS04 Frhs2[264]: 6 0 0.0709638 shouldn't be
68.07/68.31	WSVECS04 Frhs2[275]: 6 0 2.95864 shouldn't be
68.07/68.31	WSVECS04 Frhs2[277]: 6 0 0.100522 shouldn't be
68.07/68.31	WSVECS04 Frhs2[279]: 6 0 0.651304 shouldn't be
68.07/68.31	WSVECS04 Frhs2[281]: 6 0 0.709318 shouldn't be
68.07/68.31	WSVECS04 Frhs2[290]: 6 0 0.134984 shouldn't be
68.07/68.31	WSVECS04 Frhs2[293]: 6 0 7.7732 shouldn't be
68.07/68.31	WSVECS04 Frhs2[300]: 6 -2.47873 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[316]: 6 0 0.103671 shouldn't be
68.07/68.31	WSVECS04 Frhs2[330]: 6 0 0.4187 shouldn't be
68.07/68.31	WSVECS04 Frhs2[336]: 6 -1.32646 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[339]: 6 -1.55277 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[351]: 6 -1.06408 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[355]: 6 -1.30938 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[373]: 6 -1.99701 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[376]: 6 -2.91383 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[379]: 6 -1.59317 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[380]: 6 0 1.94527 shouldn't be
68.07/68.31	WSVECS04 Frhs2[386]: 6 0 0.296019 shouldn't be
68.07/68.31	WSVECS04 Frhs2[402]: 6 -1.66527 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[417]: 6 -1.46624 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[424]: 6 -1.81871 0 shouldn't be
68.07/68.31	WSVECS04 Frhs2[426]: 6 -0.834709 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[21]: 6 0 1.34808 shouldn't be
68.07/68.36	WSVECS04 Frhs2[79]: 6 0 0.100433 shouldn't be
68.07/68.36	WSVECS04 Frhs2[93]: 6 0 0.970069 shouldn't be
68.07/68.36	WSVECS04 Frhs2[168]: 6 0 0.521719 shouldn't be
68.07/68.36	WSVECS04 Frhs2[207]: 6 0 0.623962 shouldn't be
68.07/68.36	WSVECS04 Frhs2[213]: 6 0 0.338209 shouldn't be
68.07/68.36	WSVECS04 Frhs2[214]: 6 0 0.338208 shouldn't be
68.07/68.36	WSVECS04 Frhs2[235]: 6 0 0.100433 shouldn't be
68.07/68.36	WSVECS04 Frhs2[245]: 6 0 2.2494 shouldn't be
68.07/68.36	WSVECS04 Frhs2[247]: 6 0 0.974572 shouldn't be
68.07/68.36	WSVECS04 Frhs2[281]: 6 0 0.709283 shouldn't be
68.07/68.36	WSVECS04 Frhs2[339]: 6 -1.55268 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[351]: 6 -1.06403 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[379]: 6 -1.5931 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[380]: 6 0 1.94525 shouldn't be
68.07/68.36	WSVECS04 Frhs2[386]: 6 0 0.295962 shouldn't be
68.07/68.36	WSVECS04 Frhs2[417]: 6 -1.46623 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[424]: 6 -1.81869 0 shouldn't be
68.07/68.36	WSVECS04 Frhs2[426]: 6 -0.834658 0 shouldn't be
74.56/74.81	c #Conflicts:     247000 | #Constraints:      11716
74.56/74.81	c #Conflicts:     248000 | #Constraints:      12716
74.56/74.81	c #Conflicts:     249000 | #Constraints:      13716
74.56/74.81	c #Conflicts:     250000 | #Constraints:      14716
74.56/74.81	c #Conflicts:     251000 | #Constraints:      15716
74.56/74.81	c #Conflicts:     252000 | #Constraints:      16716
74.56/74.81	c #Conflicts:     253000 | #Constraints:      17716
74.56/74.81	c #Conflicts:     254000 | #Constraints:      18716
74.56/74.81	c #Conflicts:     255000 | #Constraints:      19716
74.56/74.81	c #Conflicts:     256000 | #Constraints:      20716
74.56/74.81	c INPROCESSING
74.56/74.81	c GARBAGE COLLECT
74.56/74.81	c #Conflicts:     257000 | #Constraints:      11702
74.56/74.81	c #Conflicts:     258000 | #Constraints:      12702
74.56/74.81	c #Conflicts:     259000 | #Constraints:      13702
74.56/74.81	c #Conflicts:     260000 | #Constraints:      14702
74.56/74.81	c #Conflicts:     261000 | #Constraints:      15702
74.56/74.81	c #Conflicts:     262000 | #Constraints:      16702
74.56/74.81	c #Conflicts:     263000 | #Constraints:      17702
74.56/74.81	c #Conflicts:     264000 | #Constraints:      18702
74.56/74.81	c #Conflicts:     265000 | #Constraints:      19702
74.56/74.81	c #Conflicts:     266000 | #Constraints:      20702
74.56/74.81	c INPROCESSING
74.56/74.81	c GARBAGE COLLECT
74.56/74.81	c rational objective 61.0021
93.49/93.84	c #Conflicts:     267000 | #Constraints:      11498
93.49/93.84	c #Conflicts:     268000 | #Constraints:      12498
93.49/93.84	c #Conflicts:     269000 | #Constraints:      13499
93.49/93.84	c #Conflicts:     270000 | #Constraints:      14499
93.49/93.84	c #Conflicts:     271000 | #Constraints:      15499
93.49/93.84	c #Conflicts:     272000 | #Constraints:      16499
93.49/93.84	c #Conflicts:     273000 | #Constraints:      17500
93.49/93.84	c #Conflicts:     274000 | #Constraints:      18501
93.49/93.84	c #Conflicts:     275000 | #Constraints:      19503
93.49/93.84	c #Conflicts:     276000 | #Constraints:      20505
93.49/93.84	c #Conflicts:     277000 | #Constraints:      21505
93.49/93.84	c INPROCESSING
93.49/93.84	c GARBAGE COLLECT
93.49/93.84	c #Conflicts:     278000 | #Constraints:      12102
93.49/93.84	c #Conflicts:     279000 | #Constraints:      13103
93.49/93.84	c #Conflicts:     280000 | #Constraints:      14103
93.49/93.84	c #Conflicts:     281000 | #Constraints:      15104
93.49/93.84	c #Conflicts:     282000 | #Constraints:      16105
93.49/93.84	c #Conflicts:     283000 | #Constraints:      17105
93.49/93.84	c #Conflicts:     284000 | #Constraints:      18105
93.49/93.84	c #Conflicts:     285000 | #Constraints:      19106
93.49/93.84	c #Conflicts:     286000 | #Constraints:      20108
93.49/93.84	c #Conflicts:     287000 | #Constraints:      21108
93.49/93.84	c #Conflicts:     288000 | #Constraints:      22109
93.49/93.84	c INPROCESSING
93.49/93.84	c GARBAGE COLLECT
93.49/93.84	c #Conflicts:     289000 | #Constraints:      12507
93.49/93.84	c #Conflicts:     290000 | #Constraints:      13508
93.49/93.84	c #Conflicts:     291000 | #Constraints:      14509
93.49/93.84	c #Conflicts:     292000 | #Constraints:      15511
93.49/93.84	c #Conflicts:     293000 | #Constraints:      16512
93.49/93.84	c #Conflicts:     294000 | #Constraints:      17515
93.49/93.84	c #Conflicts:     295000 | #Constraints:      18520
93.49/93.84	c #Conflicts:     296000 | #Constraints:      19521
93.49/93.84	c #Conflicts:     297000 | #Constraints:      20523
93.49/93.84	c #Conflicts:     298000 | #Constraints:      21523
93.49/93.84	c #Conflicts:     299000 | #Constraints:      22525
93.49/93.84	c INPROCESSING
93.49/93.84	c GARBAGE COLLECT
93.49/93.84	c #Conflicts:     300000 | #Constraints:      12714
93.49/93.84	c #Conflicts:     301000 | #Constraints:      13715
93.49/93.84	c #Conflicts:     302000 | #Constraints:      14715
93.49/93.84	c #Conflicts:     303000 | #Constraints:      15716
93.49/93.84	c #Conflicts:     304000 | #Constraints:      16717
93.49/93.84	c #Conflicts:     305000 | #Constraints:      17719
93.49/93.84	c #Conflicts:     306000 | #Constraints:      18720
93.49/93.84	c #Conflicts:     307000 | #Constraints:      19721
93.49/93.84	c #Conflicts:     308000 | #Constraints:      20721
93.49/93.84	c #Conflicts:     309000 | #Constraints:      21723
93.49/93.84	c #Conflicts:     310000 | #Constraints:      22724
93.49/93.84	c INPROCESSING
93.49/93.84	c GARBAGE COLLECT
93.49/93.84	c #Conflicts:     311000 | #Constraints:      12711
93.49/93.84	c #Conflicts:     312000 | #Constraints:      13711
93.49/93.84	c #Conflicts:     313000 | #Constraints:      14712
93.49/93.84	c #Conflicts:     314000 | #Constraints:      15712
93.49/93.84	c #Conflicts:     315000 | #Constraints:      16712
93.49/93.84	c #Conflicts:     316000 | #Constraints:      17713
93.49/93.84	c #Conflicts:     317000 | #Constraints:      18714
93.49/93.84	c #Conflicts:     318000 | #Constraints:      19715
93.49/93.84	c #Conflicts:     319000 | #Constraints:      20721
93.49/93.84	c #Conflicts:     320000 | #Constraints:      21730
93.49/93.84	c #Conflicts:     321000 | #Constraints:      22738
93.49/93.84	c INPROCESSING
93.49/93.84	c GARBAGE COLLECT
93.49/93.84	WSVECS04 Frhs2[11]: 6 0 101.976 shouldn't be
93.49/93.84	WSVECS04 Frhs2[12]: 6 0 101.976 shouldn't be
93.49/93.84	WSVECS04 Frhs2[15]: 6 0 5.99971 shouldn't be
93.49/93.84	WSVECS04 Frhs2[23]: 6 0 1680.45 shouldn't be
93.49/93.84	WSVECS04 Frhs2[24]: 6 0 91.0093 shouldn't be
93.49/93.84	WSVECS04 Frhs2[60]: 6 0 342.312 shouldn't be
93.49/93.84	WSVECS04 Frhs2[69]: 6 0 64.9796 shouldn't be
93.49/93.84	WSVECS04 Frhs2[99]: 6 0 22.4799 shouldn't be
93.49/93.84	WSVECS04 Frhs2[107]: 6 0 22.4799 shouldn't be
93.49/93.84	WSVECS04 Frhs2[112]: 6 -8.68058 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[121]: 6 -473.238 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[145]: 6 0 41.6708 shouldn't be
93.49/93.84	WSVECS04 Frhs2[149]: 6 0 48.6798 shouldn't be
93.49/93.84	WSVECS04 Frhs2[155]: 6 0 156.106 shouldn't be
93.49/93.84	WSVECS04 Frhs2[156]: 6 0 8.04323 shouldn't be
93.49/93.84	WSVECS04 Frhs2[163]: 6 0 83.4209 shouldn't be
93.49/93.84	WSVECS04 Frhs2[166]: 6 0 335.511 shouldn't be
93.49/93.84	WSVECS04 Frhs2[191]: 6 0 9.48286 shouldn't be
93.49/93.84	WSVECS04 Frhs2[208]: 6 -8.68051 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[209]: 6 0 205.591 shouldn't be
93.49/93.84	WSVECS04 Frhs2[216]: 6 -141.102 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[224]: 6 0 175.177 shouldn't be
93.49/93.84	WSVECS04 Frhs2[232]: 6 -29.7262 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[243]: 6 0 33.6149 shouldn't be
93.49/93.84	WSVECS04 Frhs2[249]: 6 0 46.511 shouldn't be
93.49/93.84	WSVECS04 Frhs2[264]: 6 -21.6928 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[274]: 6 0 190.158 shouldn't be
93.49/93.84	WSVECS04 Frhs2[275]: 6 0 804.613 shouldn't be
93.49/93.84	WSVECS04 Frhs2[276]: 6 0 221.103 shouldn't be
93.49/93.84	WSVECS04 Frhs2[279]: 6 0 112.305 shouldn't be
93.49/93.84	WSVECS04 Frhs2[280]: 6 0 94.0848 shouldn't be
93.49/93.84	WSVECS04 Frhs2[281]: 6 0 101.887 shouldn't be
93.49/93.84	WSVECS04 Frhs2[282]: 6 0 101.887 shouldn't be
93.49/93.84	WSVECS04 Frhs2[286]: 6 0 94.0741 shouldn't be
93.49/93.84	WSVECS04 Frhs2[299]: 6 0 465.979 shouldn't be
93.49/93.84	WSVECS04 Frhs2[307]: 6 -780.765 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[311]: 6 0 449.229 shouldn't be
93.49/93.84	WSVECS04 Frhs2[323]: 6 0 151.309 shouldn't be
93.49/93.84	WSVECS04 Frhs2[324]: 6 0 442.858 shouldn't be
93.49/93.84	WSVECS04 Frhs2[326]: 6 0 119.105 shouldn't be
93.49/93.84	WSVECS04 Frhs2[328]: 6 0 121.242 shouldn't be
93.49/93.84	WSVECS04 Frhs2[346]: 6 0 82.8415 shouldn't be
93.49/93.84	WSVECS04 Frhs2[360]: 6 -10.9581 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[362]: 6 -11.3805 0 shouldn't be
93.49/93.84	WSVECS04 Frhs2[398]: 6 0 148.741 shouldn't be
93.49/93.84	WSVECS04 Frhs2[423]: 6 0 409.592 shouldn't be
93.49/93.84	WSVECS04 Frhs2[424]: 6 0 107.665 shouldn't be
101.36/101.76	c #Conflicts:     322000 | #Constraints:      12524
101.36/101.76	c #Conflicts:     323000 | #Constraints:      13525
101.36/101.76	c #Conflicts:     324000 | #Constraints:      14525
101.36/101.76	c #Conflicts:     325000 | #Constraints:      15527
101.36/101.76	c #Conflicts:     326000 | #Constraints:      16528
101.36/101.76	c #Conflicts:     327000 | #Constraints:      17529
101.36/101.76	c #Conflicts:     328000 | #Constraints:      18532
101.36/101.76	c #Conflicts:     329000 | #Constraints:      19537
101.36/101.76	c #Conflicts:     330000 | #Constraints:      20543
101.36/101.76	c #Conflicts:     331000 | #Constraints:      21548
101.36/101.76	c #Conflicts:     332000 | #Constraints:      22552
101.36/101.76	c #Conflicts:     333000 | #Constraints:      23559
101.36/101.76	c INPROCESSING
101.36/101.76	c GARBAGE COLLECT
101.36/101.76	c #Conflicts:     334000 | #Constraints:      13125
101.36/101.76	c #Conflicts:     335000 | #Constraints:      14125
101.36/101.76	c #Conflicts:     336000 | #Constraints:      15125
101.36/101.76	c #Conflicts:     337000 | #Constraints:      16125
101.36/101.76	c #Conflicts:     338000 | #Constraints:      17125
101.36/101.76	c #Conflicts:     339000 | #Constraints:      18125
101.36/101.76	c #Conflicts:     340000 | #Constraints:      19125
101.36/101.76	c #Conflicts:     341000 | #Constraints:      20127
101.36/101.76	c #Conflicts:     342000 | #Constraints:      21129
101.36/101.76	c #Conflicts:     343000 | #Constraints:      22130
101.36/101.76	c #Conflicts:     344000 | #Constraints:      23131
101.36/101.76	c #Conflicts:     345000 | #Constraints:      24132
101.36/101.76	c INPROCESSING
101.36/101.76	c GARBAGE COLLECT
101.36/101.76	WSVECS04 Frhs2[3]: 6 0 18.5443 shouldn't be
101.36/101.76	WSVECS04 Frhs2[12]: 6 0 10.223 shouldn't be
101.36/101.76	WSVECS04 Frhs2[13]: 6 0 14.9815 shouldn't be
101.36/101.76	WSVECS04 Frhs2[14]: 6 0 21.0706 shouldn't be
101.36/101.76	WSVECS04 Frhs2[15]: 6 0 3.68754 shouldn't be
101.36/101.76	WSVECS04 Frhs2[19]: 6 0 2.06607 shouldn't be
101.36/101.76	WSVECS04 Frhs2[22]: 6 0 31.069 shouldn't be
101.36/101.76	WSVECS04 Frhs2[31]: 6 0 7.08612 shouldn't be
101.36/101.76	WSVECS04 Frhs2[32]: 6 0 13.1752 shouldn't be
101.36/101.76	WSVECS04 Frhs2[33]: 6 0 7.09384 shouldn't be
101.36/101.76	WSVECS04 Frhs2[38]: 6 0 8.15509 shouldn't be
101.36/101.76	WSVECS04 Frhs2[40]: 6 0 21.5622 shouldn't be
101.36/101.76	WSVECS04 Frhs2[41]: 6 0 23.4166 shouldn't be
101.36/101.76	WSVECS04 Frhs2[56]: 6 0 8.15511 shouldn't be
101.36/101.76	WSVECS04 Frhs2[66]: 6 0 28.6896 shouldn't be
101.36/101.76	WSVECS04 Frhs2[75]: 6 0 15.1655 shouldn't be
101.36/101.76	WSVECS04 Frhs2[79]: 6 0 1.17334 shouldn't be
101.36/101.76	WSVECS04 Frhs2[85]: 6 0 7.96922 shouldn't be
101.36/101.76	WSVECS04 Frhs2[88]: 6 0 8.15509 shouldn't be
101.36/101.76	WSVECS04 Frhs2[99]: 6 0 4.82166 shouldn't be
101.36/101.76	WSVECS04 Frhs2[111]: 6 0 33.1574 shouldn't be
101.36/101.76	WSVECS04 Frhs2[121]: 6 -81.1708 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[134]: 6 0 8.15508 shouldn't be
101.36/101.76	WSVECS04 Frhs2[136]: 6 0 8.15507 shouldn't be
101.36/101.76	WSVECS04 Frhs2[143]: 6 0 33.7851 shouldn't be
101.36/101.76	WSVECS04 Frhs2[151]: 6 0 2.06608 shouldn't be
101.36/101.76	WSVECS04 Frhs2[154]: 6 0 20.402 shouldn't be
101.36/101.76	WSVECS04 Frhs2[157]: 6 0 11.1199 shouldn't be
101.36/101.76	WSVECS04 Frhs2[161]: 6 0 2.06603 shouldn't be
101.36/101.76	WSVECS04 Frhs2[162]: 6 0 8.15509 shouldn't be
101.36/101.76	WSVECS04 Frhs2[164]: 6 0 30.1366 shouldn't be
101.36/101.76	WSVECS04 Frhs2[165]: 6 0 19.9681 shouldn't be
101.36/101.76	WSVECS04 Frhs2[166]: 6 0 10.3391 shouldn't be
101.36/101.76	WSVECS04 Frhs2[176]: 6 0 8.15513 shouldn't be
101.36/101.76	WSVECS04 Frhs2[177]: 6 0 1.41529 shouldn't be
101.36/101.76	WSVECS04 Frhs2[181]: 6 0 2.06602 shouldn't be
101.36/101.76	WSVECS04 Frhs2[191]: 6 0 4.25012 shouldn't be
101.36/101.76	WSVECS04 Frhs2[193]: 6 0 2.75039 shouldn't be
101.36/101.76	WSVECS04 Frhs2[199]: 6 0 2.06603 shouldn't be
101.36/101.76	WSVECS04 Frhs2[202]: 6 0 39.6522 shouldn't be
101.36/101.76	WSVECS04 Frhs2[206]: 6 0 8.15513 shouldn't be
101.36/101.76	WSVECS04 Frhs2[207]: 6 0 2.06608 shouldn't be
101.36/101.76	WSVECS04 Frhs2[213]: 6 0 7.51917 shouldn't be
101.36/101.76	WSVECS04 Frhs2[214]: 6 0 8.15509 shouldn't be
101.36/101.76	WSVECS04 Frhs2[215]: 6 0 4.25013 shouldn't be
101.36/101.76	WSVECS04 Frhs2[216]: 6 0 10.3392 shouldn't be
101.36/101.76	WSVECS04 Frhs2[217]: 6 0 4.1256 shouldn't be
101.36/101.76	WSVECS04 Frhs2[219]: 6 0 25.1214 shouldn't be
101.36/101.76	WSVECS04 Frhs2[223]: 6 0 1.96327 shouldn't be
101.36/101.76	WSVECS04 Frhs2[224]: 6 0 18.8056 shouldn't be
101.36/101.76	WSVECS04 Frhs2[227]: 6 0 33.4975 shouldn't be
101.36/101.76	WSVECS04 Frhs2[228]: 6 0 8.15512 shouldn't be
101.36/101.76	WSVECS04 Frhs2[229]: 6 0 2.06609 shouldn't be
101.36/101.76	WSVECS04 Frhs2[231]: 6 0 2.06603 shouldn't be
101.36/101.76	WSVECS04 Frhs2[238]: 6 0 10.812 shouldn't be
101.36/101.76	WSVECS04 Frhs2[240]: 6 0 10.3391 shouldn't be
101.36/101.76	WSVECS04 Frhs2[245]: 6 0 22.5047 shouldn't be
101.36/101.76	WSVECS04 Frhs2[250]: 6 0 10.7887 shouldn't be
101.36/101.76	WSVECS04 Frhs2[255]: 6 0 2.06606 shouldn't be
101.36/101.76	WSVECS04 Frhs2[256]: 6 0 8.15511 shouldn't be
101.36/101.76	WSVECS04 Frhs2[257]: 6 0 29.2797 shouldn't be
101.36/101.76	WSVECS04 Frhs2[259]: 6 0 2.06602 shouldn't be
101.36/101.76	WSVECS04 Frhs2[265]: 6 0 5.96652 shouldn't be
101.36/101.76	WSVECS04 Frhs2[272]: 6 0 8.64407 shouldn't be
101.36/101.76	WSVECS04 Frhs2[274]: 6 0 10.3173 shouldn't be
101.36/101.76	WSVECS04 Frhs2[275]: 6 0 44.3771 shouldn't be
101.36/101.76	WSVECS04 Frhs2[282]: 6 0 7.12211 shouldn't be
101.36/101.76	WSVECS04 Frhs2[283]: 6 0 1.54954 shouldn't be
101.36/101.76	WSVECS04 Frhs2[284]: 6 0 7.63858 shouldn't be
101.36/101.76	WSVECS04 Frhs2[291]: 6 -23.9926 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[292]: 6 0 7.34196 shouldn't be
101.36/101.76	WSVECS04 Frhs2[298]: 6 0 14.4609 shouldn't be
101.36/101.76	WSVECS04 Frhs2[303]: 6 0 21.6363 shouldn't be
101.36/101.76	WSVECS04 Frhs2[304]: 6 -20.6267 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[305]: 6 -30.7451 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[308]: 6 -47.8638 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[310]: 6 -53.0702 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[315]: 6 -28.8341 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[323]: 6 -13.9467 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[327]: 6 -28.155 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[328]: 6 0 47.6824 shouldn't be
101.36/101.76	WSVECS04 Frhs2[335]: 6 -16.3123 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[338]: 6 -49.0143 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[339]: 6 -37.5892 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[351]: 6 -32.9896 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[379]: 6 -12.2088 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[380]: 6 0 5.30572 shouldn't be
101.36/101.76	WSVECS04 Frhs2[383]: 6 -33.2362 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[385]: 6 -34.082 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[386]: 6 0 16.9557 shouldn't be
101.36/101.76	WSVECS04 Frhs2[391]: 6 -39.4148 0 shouldn't be
101.36/101.76	WSVECS04 Frhs2[393]: 6 0 13.0487 shouldn't be
101.36/101.76	WSVECS04 Frhs2[406]: 6 0 0.342961 shouldn't be
101.36/101.76	WSVECS04 Frhs2[410]: 6 0 20.3473 shouldn't be
101.36/101.76	WSVECS04 Frhs2[420]: 6 0 11.6779 shouldn't be
101.36/101.76	WSVECS04 Frhs2[422]: 6 -1.4908 0 shouldn't be
101.47/101.82	WSVECS04 Frhs2[83]: 6 0 2.06602 shouldn't be
101.47/101.82	WSVECS04 Frhs2[123]: 6 0 15.0585 shouldn't be
101.47/101.82	WSVECS04 Frhs2[153]: 6 0 0.571906 shouldn't be
101.47/101.82	WSVECS04 Frhs2[195]: 6 0 2.06603 shouldn't be
101.47/101.82	WSVECS04 Frhs2[203]: 6 0 2.06607 shouldn't be
101.47/101.82	WSVECS04 Frhs2[211]: 6 0 7.17065 shouldn't be
101.47/101.82	WSVECS04 Frhs2[239]: 6 0 4.25015 shouldn't be
101.47/101.82	WSVECS04 Frhs2[251]: 6 0 2.06603 shouldn't be
101.47/101.88	WSVECS04 Frhs2[36]: 6 0 8.15509 shouldn't be
101.47/101.88	WSVECS04 Frhs2[58]: 6 0 8.15509 shouldn't be
101.47/101.88	WSVECS04 Frhs2[86]: 6 0 8.15508 shouldn't be
101.47/101.88	WSVECS04 Frhs2[92]: 6 0 8.15508 shouldn't be
101.47/101.88	WSVECS04 Frhs2[110]: 6 0 18.2121 shouldn't be
101.47/101.88	WSVECS04 Frhs2[128]: 6 0 8.15506 shouldn't be
101.47/101.88	WSVECS04 Frhs2[167]: 6 0 22.0195 shouldn't be
101.47/101.88	WSVECS04 Frhs2[188]: 6 0 8.15507 shouldn't be
101.47/101.88	WSVECS04 Frhs2[200]: 6 0 8.15512 shouldn't be
101.47/101.88	WSVECS04 Frhs2[204]: 6 0 8.15512 shouldn't be
101.47/101.88	WSVECS04 Frhs2[212]: 6 0 8.15512 shouldn't be
101.47/101.88	WSVECS04 Frhs2[220]: 6 0 8.15509 shouldn't be
101.47/101.88	WSVECS04 Frhs2[226]: 6 0 11.0634 shouldn't be
101.47/101.88	WSVECS04 Frhs2[232]: 6 0 8.15511 shouldn't be
101.47/101.88	WSVECS04 Frhs2[234]: 6 0 8.15511 shouldn't be
101.47/101.88	WSVECS04 Frhs2[252]: 6 0 8.15507 shouldn't be
101.47/101.88	WSVECS04 Frhs2[273]: 6 0 4.22815 shouldn't be
101.47/101.88	WSVECS04 Frhs2[286]: 6 0 7.89689 shouldn't be
101.56/102.00	WSVECS04 Frhs2[276]: 6 0 42.26 shouldn't be
101.68/102.02	c rational objective 61.0023
118.42/118.85	c #Conflicts:     346000 | #Constraints:      13515
118.42/118.85	c #Conflicts:     347000 | #Constraints:      14516
118.42/118.85	c #Conflicts:     348000 | #Constraints:      15516
118.42/118.85	c #Conflicts:     349000 | #Constraints:      16517
118.42/118.85	c #Conflicts:     350000 | #Constraints:      17519
118.42/118.85	c #Conflicts:     351000 | #Constraints:      18519
118.42/118.85	c #Conflicts:     352000 | #Constraints:      19523
118.42/118.85	c #Conflicts:     353000 | #Constraints:      20525
118.42/118.85	c #Conflicts:     354000 | #Constraints:      21526
118.42/118.85	c #Conflicts:     355000 | #Constraints:      22527
118.42/118.85	c #Conflicts:     356000 | #Constraints:      23527
118.42/118.85	c #Conflicts:     357000 | #Constraints:      24528
118.42/118.85	c INPROCESSING
118.42/118.85	c GARBAGE COLLECT
118.42/118.85	c #Conflicts:     358000 | #Constraints:      13711
118.42/118.85	c #Conflicts:     359000 | #Constraints:      14712
118.42/118.85	c #Conflicts:     360000 | #Constraints:      15714
118.42/118.85	c #Conflicts:     361000 | #Constraints:      16715
118.42/118.85	c #Conflicts:     362000 | #Constraints:      17716
118.42/118.85	c #Conflicts:     363000 | #Constraints:      18716
118.42/118.85	c #Conflicts:     364000 | #Constraints:      19717
118.42/118.85	c #Conflicts:     365000 | #Constraints:      20718
118.42/118.85	c #Conflicts:     366000 | #Constraints:      21718
118.42/118.85	c #Conflicts:     367000 | #Constraints:      22719
118.42/118.85	c #Conflicts:     368000 | #Constraints:      23719
118.42/118.85	c #Conflicts:     369000 | #Constraints:      24720
118.42/118.85	c INPROCESSING
118.42/118.85	c GARBAGE COLLECT
118.42/118.85	c #Conflicts:     370000 | #Constraints:      13712
118.42/118.85	c #Conflicts:     371000 | #Constraints:      14714
118.42/118.85	c #Conflicts:     372000 | #Constraints:      15717
118.42/118.85	c #Conflicts:     373000 | #Constraints:      16719
118.42/118.85	c #Conflicts:     374000 | #Constraints:      17720
118.42/118.85	c #Conflicts:     375000 | #Constraints:      18721
118.42/118.85	c #Conflicts:     376000 | #Constraints:      19723
118.42/118.85	c #Conflicts:     377000 | #Constraints:      20733
118.42/118.85	c #Conflicts:     378000 | #Constraints:      21739
118.42/118.85	c #Conflicts:     379000 | #Constraints:      22744
118.42/118.85	c #Conflicts:     380000 | #Constraints:      23746
118.42/118.85	c #Conflicts:     381000 | #Constraints:      24746
118.42/118.85	c INPROCESSING
118.42/118.85	c GARBAGE COLLECT
118.42/118.85	c #Conflicts:     382000 | #Constraints:      13525
118.42/118.85	c #Conflicts:     383000 | #Constraints:      14526
118.42/118.85	c #Conflicts:     384000 | #Constraints:      15527
118.42/118.85	c #Conflicts:     385000 | #Constraints:      16528
118.42/118.85	c #Conflicts:     386000 | #Constraints:      17529
118.42/118.85	c #Conflicts:     387000 | #Constraints:      18530
118.42/118.85	c #Conflicts:     388000 | #Constraints:      19531
118.42/118.85	c #Conflicts:     389000 | #Constraints:      20532
118.42/118.85	c #Conflicts:     390000 | #Constraints:      21532
118.42/118.85	c #Conflicts:     391000 | #Constraints:      22532
118.42/118.85	c #Conflicts:     392000 | #Constraints:      23533
118.42/118.85	c #Conflicts:     393000 | #Constraints:      24534
118.42/118.85	c #Conflicts:     394000 | #Constraints:      25536
118.42/118.85	c INPROCESSING
118.42/118.85	c GARBAGE COLLECT
118.42/118.85	WSVECS04 Frhs2[9]: 6 0 17.816 shouldn't be
118.42/118.85	WSVECS04 Frhs2[10]: 6 0 0.228342 shouldn't be
118.42/118.85	WSVECS04 Frhs2[15]: 6 0 1.05161 shouldn't be
118.42/118.85	WSVECS04 Frhs2[17]: 6 0 0.166705 shouldn't be
118.42/118.85	WSVECS04 Frhs2[25]: 6 0 1.78526 shouldn't be
118.42/118.85	WSVECS04 Frhs2[27]: 6 0 27.0315 shouldn't be
118.42/118.85	WSVECS04 Frhs2[43]: 6 0 12.1916 shouldn't be
118.42/118.85	WSVECS04 Frhs2[52]: 6 0 4.84007 shouldn't be
118.42/118.85	WSVECS04 Frhs2[70]: 6 0 3.23606 shouldn't be
118.42/118.85	WSVECS04 Frhs2[73]: 6 0 0.140004 shouldn't be
118.42/118.85	WSVECS04 Frhs2[87]: 6 0 8.20081 shouldn't be
118.42/118.85	WSVECS04 Frhs2[97]: 6 0 2.5435 shouldn't be
118.42/118.85	WSVECS04 Frhs2[111]: 6 0 1.92721 shouldn't be
118.42/118.85	WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
118.42/118.85	WSVECS04 Frhs2[119]: 6 0 0.129672 shouldn't be
118.42/118.85	WSVECS04 Frhs2[121]: 6 -2.41518 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[153]: 6 0 2.11355 shouldn't be
118.42/118.85	WSVECS04 Frhs2[159]: 6 0 5.07294 shouldn't be
118.42/118.85	WSVECS04 Frhs2[161]: 6 0 2.99953 shouldn't be
118.42/118.85	WSVECS04 Frhs2[166]: 6 0 9.17717 shouldn't be
118.42/118.85	WSVECS04 Frhs2[167]: 6 0 9.35363 shouldn't be
118.42/118.85	WSVECS04 Frhs2[175]: 6 0 34.3948 shouldn't be
118.42/118.85	WSVECS04 Frhs2[177]: 6 0 0.491947 shouldn't be
118.42/118.85	WSVECS04 Frhs2[178]: 6 0 2.19041 shouldn't be
118.42/118.85	WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
118.42/118.85	WSVECS04 Frhs2[187]: 6 0 6.41989 shouldn't be
118.42/118.85	WSVECS04 Frhs2[189]: 6 0 1.96407 shouldn't be
118.42/118.85	WSVECS04 Frhs2[191]: 6 0 9.51701 shouldn't be
118.42/118.85	WSVECS04 Frhs2[199]: 6 0 4.02005 shouldn't be
118.42/118.85	WSVECS04 Frhs2[200]: 6 0 5.2501 shouldn't be
118.42/118.85	WSVECS04 Frhs2[203]: 6 0 16.6765 shouldn't be
118.42/118.85	WSVECS04 Frhs2[204]: 6 0 16.6765 shouldn't be
118.42/118.85	WSVECS04 Frhs2[207]: 6 0 2.99953 shouldn't be
118.42/118.85	WSVECS04 Frhs2[224]: 6 0 3.65668 shouldn't be
118.42/118.85	WSVECS04 Frhs2[228]: 6 0 3.32922 shouldn't be
118.42/118.85	WSVECS04 Frhs2[235]: 6 0 8.13814 shouldn't be
118.42/118.85	WSVECS04 Frhs2[237]: 6 0 7.52134 shouldn't be
118.42/118.85	WSVECS04 Frhs2[241]: 6 0 2.31683 shouldn't be
118.42/118.85	WSVECS04 Frhs2[243]: 6 0 2.9158 shouldn't be
118.42/118.85	WSVECS04 Frhs2[249]: 6 -5.05082 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[250]: 6 0 2.5261 shouldn't be
118.42/118.85	WSVECS04 Frhs2[257]: 6 0 2.81807 shouldn't be
118.42/118.85	WSVECS04 Frhs2[275]: 6 0 8.92877 shouldn't be
118.42/118.85	WSVECS04 Frhs2[277]: 6 0 2.31684 shouldn't be
118.42/118.85	WSVECS04 Frhs2[282]: 6 -37.4569 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[286]: 6 0 2.78063 shouldn't be
118.42/118.85	WSVECS04 Frhs2[296]: 6 -23.9098 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[303]: 6 0 16.3278 shouldn't be
118.42/118.85	WSVECS04 Frhs2[312]: 6 0 3.39745 shouldn't be
118.42/118.85	WSVECS04 Frhs2[318]: 6 -17.4742 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[334]: 6 0 19.6194 shouldn't be
118.42/118.85	WSVECS04 Frhs2[335]: 6 0 2.51151 shouldn't be
118.42/118.85	WSVECS04 Frhs2[336]: 6 -10.3653 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[338]: 6 -2.53558 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[339]: 6 0 4.69845 shouldn't be
118.42/118.85	WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[343]: 6 -8.6777 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[348]: 6 -14.3173 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[350]: 6 -8.8661 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[362]: 6 -0.507159 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[369]: 6 0 7.04944 shouldn't be
118.42/118.85	WSVECS04 Frhs2[382]: 6 0 5.35417 shouldn't be
118.42/118.85	WSVECS04 Frhs2[390]: 6 -22.1499 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[391]: 6 -7.0809 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[392]: 6 0 9.21984 shouldn't be
118.42/118.85	WSVECS04 Frhs2[397]: 6 -14.6127 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[421]: 6 -4.10658 0 shouldn't be
118.42/118.85	WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[21]: 6 0 0.342084 shouldn't be
118.52/118.91	WSVECS04 Frhs2[43]: 6 0 12.1915 shouldn't be
118.52/118.91	WSVECS04 Frhs2[111]: 6 0 1.92715 shouldn't be
118.52/118.91	WSVECS04 Frhs2[119]: 6 0 0.129653 shouldn't be
118.52/118.91	WSVECS04 Frhs2[121]: 6 -2.4151 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[167]: 6 0 9.35361 shouldn't be
118.52/118.91	WSVECS04 Frhs2[175]: 6 0 34.3947 shouldn't be
118.52/118.91	WSVECS04 Frhs2[187]: 6 0 6.41986 shouldn't be
118.52/118.91	WSVECS04 Frhs2[189]: 6 0 1.96404 shouldn't be
118.52/118.91	WSVECS04 Frhs2[228]: 6 0 3.32915 shouldn't be
118.52/118.91	WSVECS04 Frhs2[276]: 6 0 8.90993 shouldn't be
118.52/118.91	WSVECS04 Frhs2[282]: 6 -37.4568 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[296]: 6 -23.9097 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[303]: 6 0 16.3277 shouldn't be
118.52/118.91	WSVECS04 Frhs2[312]: 6 0 3.39736 shouldn't be
118.52/118.91	WSVECS04 Frhs2[323]: 6 0 28.4424 shouldn't be
118.52/118.91	WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[339]: 6 0 4.6984 shouldn't be
118.52/118.91	WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[343]: 6 -8.67761 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[348]: 6 -14.3172 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[350]: 6 -8.86606 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[365]: 6 0 20.7904 shouldn't be
118.52/118.91	WSVECS04 Frhs2[372]: 6 -18.5458 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[382]: 6 0 5.35412 shouldn't be
118.52/118.91	WSVECS04 Frhs2[390]: 6 -22.1498 0 shouldn't be
118.52/118.91	WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[10]: 6 0 0.228271 shouldn't be
118.52/118.97	WSVECS04 Frhs2[15]: 6 0 1.05153 shouldn't be
118.52/118.97	WSVECS04 Frhs2[17]: 6 0 0.166652 shouldn't be
118.52/118.97	WSVECS04 Frhs2[19]: 6 0 0.283607 shouldn't be
118.52/118.97	WSVECS04 Frhs2[25]: 6 0 1.78522 shouldn't be
118.52/118.97	WSVECS04 Frhs2[52]: 6 0 4.84004 shouldn't be
118.52/118.97	WSVECS04 Frhs2[69]: 6 0 10.3338 shouldn't be
118.52/118.97	WSVECS04 Frhs2[70]: 6 0 3.23605 shouldn't be
118.52/118.97	WSVECS04 Frhs2[73]: 6 0 0.139972 shouldn't be
118.52/118.97	WSVECS04 Frhs2[87]: 6 0 8.20075 shouldn't be
118.52/118.97	WSVECS04 Frhs2[97]: 6 0 2.54341 shouldn't be
118.52/118.97	WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
118.52/118.97	WSVECS04 Frhs2[159]: 6 0 5.07288 shouldn't be
118.52/118.97	WSVECS04 Frhs2[161]: 6 0 2.99951 shouldn't be
118.52/118.97	WSVECS04 Frhs2[166]: 6 0 9.17711 shouldn't be
118.52/118.97	WSVECS04 Frhs2[177]: 6 0 0.491895 shouldn't be
118.52/118.97	WSVECS04 Frhs2[178]: 6 0 2.19039 shouldn't be
118.52/118.97	WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
118.52/118.97	WSVECS04 Frhs2[199]: 6 0 4.02003 shouldn't be
118.52/118.97	WSVECS04 Frhs2[200]: 6 0 5.25 shouldn't be
118.52/118.97	WSVECS04 Frhs2[207]: 6 0 2.99951 shouldn't be
118.52/118.97	WSVECS04 Frhs2[224]: 6 0 3.65664 shouldn't be
118.52/118.97	WSVECS04 Frhs2[234]: 6 0 0.22827 shouldn't be
118.52/118.97	WSVECS04 Frhs2[235]: 6 0 8.1381 shouldn't be
118.52/118.97	WSVECS04 Frhs2[237]: 6 0 7.52127 shouldn't be
118.52/118.97	WSVECS04 Frhs2[241]: 6 0 2.31675 shouldn't be
118.52/118.97	WSVECS04 Frhs2[249]: 6 -5.05078 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[250]: 6 0 2.52608 shouldn't be
118.52/118.97	WSVECS04 Frhs2[257]: 6 0 2.81798 shouldn't be
118.52/118.97	WSVECS04 Frhs2[275]: 6 0 8.92871 shouldn't be
118.52/118.97	WSVECS04 Frhs2[277]: 6 0 2.31675 shouldn't be
118.52/118.97	WSVECS04 Frhs2[300]: 6 -3.40447 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[318]: 6 -17.4741 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[334]: 6 0 19.6193 shouldn't be
118.52/118.97	WSVECS04 Frhs2[338]: 6 -2.53551 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[340]: 6 -11.4243 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[362]: 6 -0.507079 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[391]: 6 -7.08085 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[399]: 6 -3.90715 0 shouldn't be
118.52/118.97	WSVECS04 Frhs2[421]: 6 -4.10655 0 shouldn't be
118.63/119.04	WSVECS04 Frhs2[92]: 6 0 0.927078 shouldn't be
118.63/119.04	WSVECS04 Frhs2[153]: 6 0 2.11347 shouldn't be
118.63/119.04	WSVECS04 Frhs2[203]: 6 0 16.6764 shouldn't be
118.63/119.04	WSVECS04 Frhs2[243]: 6 0 2.91576 shouldn't be
118.63/119.04	WSVECS04 Frhs2[369]: 6 0 7.04938 shouldn't be
140.97/141.45	c #Conflicts:     395000 | #Constraints:      14126
140.97/141.45	c #Conflicts:     396000 | #Constraints:      15126
140.97/141.45	c #Conflicts:     397000 | #Constraints:      16126
140.97/141.45	c #Conflicts:     398000 | #Constraints:      17126
140.97/141.45	c #Conflicts:     399000 | #Constraints:      18127
140.97/141.45	c #Conflicts:     400000 | #Constraints:      19128
140.97/141.45	c #Conflicts:     401000 | #Constraints:      20129
140.97/141.45	c #Conflicts:     402000 | #Constraints:      21130
140.97/141.45	c #Conflicts:     403000 | #Constraints:      22130
140.97/141.45	c #Conflicts:     404000 | #Constraints:      23131
140.97/141.45	c #Conflicts:     405000 | #Constraints:      24132
140.97/141.45	c #Conflicts:     406000 | #Constraints:      25132
140.97/141.45	c #Conflicts:     407000 | #Constraints:      26134
140.97/141.45	c INPROCESSING
140.97/141.45	c GARBAGE COLLECT
140.97/141.45	c #Conflicts:     408000 | #Constraints:      14523
140.97/141.45	c #Conflicts:     409000 | #Constraints:      15524
140.97/141.45	c #Conflicts:     410000 | #Constraints:      16525
140.97/141.45	c #Conflicts:     411000 | #Constraints:      17527
140.97/141.45	c #Conflicts:     412000 | #Constraints:      18529
140.97/141.45	c #Conflicts:     413000 | #Constraints:      19530
140.97/141.45	c #Conflicts:     414000 | #Constraints:      20532
140.97/141.45	c #Conflicts:     415000 | #Constraints:      21534
140.97/141.45	c #Conflicts:     416000 | #Constraints:      22536
140.97/141.45	c #Conflicts:     417000 | #Constraints:      23538
140.97/141.45	c #Conflicts:     418000 | #Constraints:      24540
140.97/141.45	c #Conflicts:     419000 | #Constraints:      25540
140.97/141.45	c #Conflicts:     420000 | #Constraints:      26543
140.97/141.45	c INPROCESSING
140.97/141.45	c GARBAGE COLLECT
140.97/141.45	c #Conflicts:     421000 | #Constraints:      14733
140.97/141.45	c #Conflicts:     422000 | #Constraints:      15735
140.97/141.45	c #Conflicts:     423000 | #Constraints:      16738
140.97/141.45	c #Conflicts:     424000 | #Constraints:      17741
140.97/141.45	c #Conflicts:     425000 | #Constraints:      18744
140.97/141.45	c #Conflicts:     426000 | #Constraints:      19747
140.97/141.45	c #Conflicts:     427000 | #Constraints:      20748
140.97/141.45	c #Conflicts:     428000 | #Constraints:      21750
140.97/141.45	c #Conflicts:     429000 | #Constraints:      22752
140.97/141.45	c #Conflicts:     430000 | #Constraints:      23755
140.97/141.45	c #Conflicts:     431000 | #Constraints:      24761
140.97/141.45	c #Conflicts:     432000 | #Constraints:      25767
140.97/141.45	c #Conflicts:     433000 | #Constraints:      26785
140.97/141.45	c INPROCESSING
140.97/141.45	c GARBAGE COLLECT
140.97/141.45	c #Conflicts:     434000 | #Constraints:      14754
140.97/141.45	c #Conflicts:     435000 | #Constraints:      15755
140.97/141.45	c #Conflicts:     436000 | #Constraints:      16758
140.97/141.45	c #Conflicts:     437000 | #Constraints:      17759
140.97/141.45	c #Conflicts:     438000 | #Constraints:      18760
140.97/141.45	c #Conflicts:     439000 | #Constraints:      19761
140.97/141.45	c #Conflicts:     440000 | #Constraints:      20762
140.97/141.45	c #Conflicts:     441000 | #Constraints:      21764
140.97/141.45	c #Conflicts:     442000 | #Constraints:      22766
140.97/141.45	c #Conflicts:     443000 | #Constraints:      23772
140.97/141.45	c #Conflicts:     444000 | #Constraints:      24780
140.97/141.45	c #Conflicts:     445000 | #Constraints:      25804
140.97/141.45	c #Conflicts:     446000 | #Constraints:      26806
140.97/141.45	c INPROCESSING
140.97/141.45	c GARBAGE COLLECT
140.97/141.45	WSVECS04 Frhs2[17]: 6 0 1.27265 shouldn't be
140.97/141.45	WSVECS04 Frhs2[19]: 6 0 0.424219 shouldn't be
140.97/141.45	WSVECS04 Frhs2[51]: 6 0 18.9788 shouldn't be
140.97/141.45	WSVECS04 Frhs2[57]: 6 0 7.27893 shouldn't be
140.97/141.45	WSVECS04 Frhs2[58]: 6 -22.894 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[59]: 6 0 1.14021 shouldn't be
140.97/141.45	WSVECS04 Frhs2[65]: 6 0 7.88595 shouldn't be
140.97/141.45	WSVECS04 Frhs2[69]: 6 0 1.08613 shouldn't be
140.97/141.45	WSVECS04 Frhs2[71]: 6 0 1.15641 shouldn't be
140.97/141.45	WSVECS04 Frhs2[79]: 6 0 8.865 shouldn't be
140.97/141.45	WSVECS04 Frhs2[105]: 6 0 11.0391 shouldn't be
140.97/141.45	WSVECS04 Frhs2[119]: 6 0 18.8039 shouldn't be
140.97/141.45	WSVECS04 Frhs2[135]: 6 0 2.24143 shouldn't be
140.97/141.45	WSVECS04 Frhs2[155]: 6 0 20.0691 shouldn't be
140.97/141.45	WSVECS04 Frhs2[159]: 6 0 3.81881 shouldn't be
140.97/141.45	WSVECS04 Frhs2[165]: 6 0 2.01304 shouldn't be
140.97/141.45	WSVECS04 Frhs2[167]: 6 0 150.88 shouldn't be
140.97/141.45	WSVECS04 Frhs2[168]: 6 0 137.92 shouldn't be
140.97/141.45	WSVECS04 Frhs2[175]: 6 0 8.59681 shouldn't be
140.97/141.45	WSVECS04 Frhs2[177]: 6 0 2.12935 shouldn't be
140.97/141.45	WSVECS04 Frhs2[183]: 6 0 22.0715 shouldn't be
140.97/141.45	WSVECS04 Frhs2[185]: 6 0 5.7731 shouldn't be
140.97/141.45	WSVECS04 Frhs2[191]: 6 0 48.0785 shouldn't be
140.97/141.45	WSVECS04 Frhs2[192]: 6 0 51.5593 shouldn't be
140.97/141.45	WSVECS04 Frhs2[203]: 6 -0.0621742 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[221]: 6 0 26.9364 shouldn't be
140.97/141.45	WSVECS04 Frhs2[223]: 6 0 181.009 shouldn't be
140.97/141.45	WSVECS04 Frhs2[227]: 6 0 1.20192 shouldn't be
140.97/141.45	WSVECS04 Frhs2[237]: 6 0 27.9695 shouldn't be
140.97/141.45	WSVECS04 Frhs2[238]: 6 0 91.8551 shouldn't be
140.97/141.45	WSVECS04 Frhs2[249]: 6 0 12.7085 shouldn't be
140.97/141.45	WSVECS04 Frhs2[269]: 6 -1.11033 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[277]: 6 0 35.3425 shouldn't be
140.97/141.45	WSVECS04 Frhs2[279]: 6 0 7.13677 shouldn't be
140.97/141.45	WSVECS04 Frhs2[283]: 6 0 5.57059 shouldn't be
140.97/141.45	WSVECS04 Frhs2[291]: 6 -23.0815 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[295]: 6 0 8.9954 shouldn't be
140.97/141.45	WSVECS04 Frhs2[296]: 6 -84.4477 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[304]: 6 0 44.5597 shouldn't be
140.97/141.45	WSVECS04 Frhs2[362]: 6 -3.66169 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[396]: 6 0 29.8746 shouldn't be
140.97/141.45	WSVECS04 Frhs2[400]: 6 -0.334534 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[406]: 6 -2.99191 0 shouldn't be
140.97/141.45	WSVECS04 Frhs2[413]: 6 -5.0467 0 shouldn't be
141.06/141.51	WSVECS04 Frhs2[120]: 6 0 20.2477 shouldn't be
141.06/141.51	WSVECS04 Frhs2[239]: 6 0 9.9433 shouldn't be
141.06/141.51	WSVECS04 Frhs2[294]: 6 0 40.1977 shouldn't be
141.06/141.51	WSVECS04 Frhs2[409]: 6 0 8.81337 shouldn't be
141.06/141.53	c rational objective 61.0024
159.23/159.76	c #Conflicts:     447000 | #Constraints:      14570
159.23/159.76	c #Conflicts:     448000 | #Constraints:      15571
159.23/159.76	c #Conflicts:     449000 | #Constraints:      16571
159.23/159.76	c #Conflicts:     450000 | #Constraints:      17572
159.23/159.76	c #Conflicts:     451000 | #Constraints:      18572
159.23/159.76	c #Conflicts:     452000 | #Constraints:      19574
159.23/159.76	c #Conflicts:     453000 | #Constraints:      20574
159.23/159.76	c #Conflicts:     454000 | #Constraints:      21575
159.23/159.76	c #Conflicts:     455000 | #Constraints:      22576
159.23/159.76	c #Conflicts:     456000 | #Constraints:      23577
159.23/159.76	c #Conflicts:     457000 | #Constraints:      24577
159.23/159.76	c #Conflicts:     458000 | #Constraints:      25577
159.23/159.76	c #Conflicts:     459000 | #Constraints:      26579
159.23/159.76	c #Conflicts:     460000 | #Constraints:      27583
159.23/159.76	c INPROCESSING
159.23/159.76	c GARBAGE COLLECT
159.23/159.76	c #Conflicts:     461000 | #Constraints:      15150
159.23/159.76	c #Conflicts:     462000 | #Constraints:      16151
159.23/159.76	c #Conflicts:     463000 | #Constraints:      17152
159.23/159.76	c #Conflicts:     464000 | #Constraints:      18154
159.23/159.76	c #Conflicts:     465000 | #Constraints:      19155
159.23/159.76	c #Conflicts:     466000 | #Constraints:      20157
159.23/159.76	c #Conflicts:     467000 | #Constraints:      21160
159.23/159.76	c #Conflicts:     468000 | #Constraints:      22163
159.23/159.76	c #Conflicts:     469000 | #Constraints:      23167
159.23/159.76	c #Conflicts:     470000 | #Constraints:      24171
159.23/159.76	c #Conflicts:     471000 | #Constraints:      25175
159.23/159.76	c #Conflicts:     472000 | #Constraints:      26181
159.23/159.76	c #Conflicts:     473000 | #Constraints:      27201
159.23/159.76	c #Conflicts:     474000 | #Constraints:      28236
159.23/159.76	c INPROCESSING
159.23/159.76	c GARBAGE COLLECT
159.23/159.76	c #Conflicts:     475000 | #Constraints:      15569
159.23/159.76	c #Conflicts:     476000 | #Constraints:      16569
159.23/159.76	c #Conflicts:     477000 | #Constraints:      17569
159.23/159.76	c #Conflicts:     478000 | #Constraints:      18569
159.23/159.76	c #Conflicts:     479000 | #Constraints:      19569
159.23/159.76	c #Conflicts:     480000 | #Constraints:      20569
159.23/159.76	c #Conflicts:     481000 | #Constraints:      21569
159.23/159.76	c #Conflicts:     482000 | #Constraints:      22569
159.23/159.76	c #Conflicts:     483000 | #Constraints:      23569
159.23/159.76	c #Conflicts:     484000 | #Constraints:      24569
159.23/159.76	c #Conflicts:     485000 | #Constraints:      25569
159.23/159.76	c #Conflicts:     486000 | #Constraints:      26569
159.23/159.76	c #Conflicts:     487000 | #Constraints:      27569
159.23/159.76	c #Conflicts:     488000 | #Constraints:      28569
159.23/159.76	c INPROCESSING
159.23/159.76	c GARBAGE COLLECT
159.23/159.76	c rational objective 61.0065
173.99/174.52	c #Conflicts:     489000 | #Constraints:      15747
173.99/174.52	c #Conflicts:     490000 | #Constraints:      16747
173.99/174.52	c #Conflicts:     491000 | #Constraints:      17747
173.99/174.52	c #Conflicts:     492000 | #Constraints:      18747
173.99/174.52	c #Conflicts:     493000 | #Constraints:      19747
173.99/174.52	c #Conflicts:     494000 | #Constraints:      20747
173.99/174.52	c #Conflicts:     495000 | #Constraints:      21747
173.99/174.52	c #Conflicts:     496000 | #Constraints:      22747
173.99/174.52	c #Conflicts:     497000 | #Constraints:      23747
173.99/174.52	c #Conflicts:     498000 | #Constraints:      24747
173.99/174.52	c #Conflicts:     499000 | #Constraints:      25747
173.99/174.52	c #Conflicts:     500000 | #Constraints:      26747
173.99/174.52	c #Conflicts:     501000 | #Constraints:      27747
173.99/174.52	c #Conflicts:     502000 | #Constraints:      28747
173.99/174.52	c INPROCESSING
173.99/174.52	c GARBAGE COLLECT
173.99/174.52	c #Conflicts:     503000 | #Constraints:      15740
173.99/174.52	c #Conflicts:     504000 | #Constraints:      16740
173.99/174.52	c #Conflicts:     505000 | #Constraints:      17740
173.99/174.52	c #Conflicts:     506000 | #Constraints:      18740
173.99/174.52	c #Conflicts:     507000 | #Constraints:      19742
173.99/174.52	c #Conflicts:     508000 | #Constraints:      20745
173.99/174.52	c #Conflicts:     509000 | #Constraints:      21746
173.99/174.52	c #Conflicts:     510000 | #Constraints:      22748
173.99/174.52	c #Conflicts:     511000 | #Constraints:      23748
173.99/174.52	c #Conflicts:     512000 | #Constraints:      24750
173.99/174.52	c #Conflicts:     513000 | #Constraints:      25751
173.99/174.52	c #Conflicts:     514000 | #Constraints:      26753
173.99/174.52	c #Conflicts:     515000 | #Constraints:      27754
173.99/174.52	c #Conflicts:     516000 | #Constraints:      28755
173.99/174.52	c INPROCESSING
173.99/174.52	c GARBAGE COLLECT
173.99/174.52	WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
173.99/174.52	WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
173.99/174.52	WSVECS04 Frhs2[17]: 6 0 19.7974 shouldn't be
173.99/174.52	WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
173.99/174.52	WSVECS04 Frhs2[37]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[43]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
173.99/174.52	WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
173.99/174.52	WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
173.99/174.52	WSVECS04 Frhs2[61]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[67]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
173.99/174.52	WSVECS04 Frhs2[71]: 6 0 17.7772 shouldn't be
173.99/174.52	WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
173.99/174.52	WSVECS04 Frhs2[99]: 6 0 53.5697 shouldn't be
173.99/174.52	WSVECS04 Frhs2[111]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[119]: 6 0 26.1592 shouldn't be
173.99/174.52	WSVECS04 Frhs2[131]: 6 0 51.56 shouldn't be
173.99/174.52	WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
173.99/174.52	WSVECS04 Frhs2[147]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
173.99/174.52	WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
173.99/174.52	WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
173.99/174.52	WSVECS04 Frhs2[163]: 6 0 20.7016 shouldn't be
173.99/174.52	WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
173.99/174.52	WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[179]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
173.99/174.52	WSVECS04 Frhs2[229]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
173.99/174.52	WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
173.99/174.52	WSVECS04 Frhs2[251]: 6 0 14.9832 shouldn't be
173.99/174.52	WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
173.99/174.52	WSVECS04 Frhs2[300]: 6 -28.6354 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[307]: 6 -26.6163 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
173.99/174.52	WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[332]: 6 0 154.861 shouldn't be
173.99/174.52	WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
173.99/174.52	WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[362]: 6 -5.1042 0 shouldn't be
173.99/174.52	WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
173.99/174.59	WSVECS04 Frhs2[9]: 6 0 11.456 shouldn't be
173.99/174.59	WSVECS04 Frhs2[17]: 6 0 19.7973 shouldn't be
173.99/174.59	WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
173.99/174.59	WSVECS04 Frhs2[37]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
173.99/174.59	WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
173.99/174.59	WSVECS04 Frhs2[61]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[67]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
173.99/174.59	WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
173.99/174.59	WSVECS04 Frhs2[99]: 6 0 53.5696 shouldn't be
173.99/174.59	WSVECS04 Frhs2[131]: 6 0 51.5599 shouldn't be
173.99/174.59	WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
173.99/174.59	WSVECS04 Frhs2[147]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
173.99/174.59	WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
173.99/174.59	WSVECS04 Frhs2[163]: 6 0 20.7015 shouldn't be
173.99/174.59	WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
173.99/174.59	WSVECS04 Frhs2[229]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
173.99/174.59	WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
173.99/174.59	WSVECS04 Frhs2[251]: 6 0 14.9831 shouldn't be
173.99/174.59	WSVECS04 Frhs2[300]: 6 -28.6353 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[307]: 6 -26.6162 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
173.99/174.59	WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[332]: 6 0 154.86 shouldn't be
173.99/174.59	WSVECS04 Frhs2[333]: 6 -373.955 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[357]: 6 0 90.4644 shouldn't be
173.99/174.59	WSVECS04 Frhs2[360]: 6 -22.3635 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[362]: 6 -5.10411 0 shouldn't be
173.99/174.59	WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
173.99/174.59	WSVECS04 Frhs2[381]: 6 0 12.5661 shouldn't be
173.99/174.59	WSVECS04 Frhs2[396]: 6 0 145.808 shouldn't be
173.99/174.59	WSVECS04 Frhs2[406]: 6 -20.6762 0 shouldn't be
174.09/174.66	WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
174.09/174.66	WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
174.09/174.66	WSVECS04 Frhs2[43]: 6 0 14.9831 shouldn't be
174.09/174.66	WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
174.09/174.66	WSVECS04 Frhs2[71]: 6 0 17.7771 shouldn't be
174.09/174.66	WSVECS04 Frhs2[111]: 6 0 14.9831 shouldn't be
174.09/174.66	WSVECS04 Frhs2[119]: 6 0 26.1591 shouldn't be
174.09/174.66	WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
174.09/174.66	WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
174.09/174.66	WSVECS04 Frhs2[179]: 6 0 14.9831 shouldn't be
174.09/174.66	WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
174.09/174.66	WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
174.09/174.66	WSVECS04 Frhs2[340]: 6 0 191.191 shouldn't be
174.09/174.66	WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
174.09/174.66	WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
174.09/174.66	WSVECS04 Frhs2[393]: 6 0 167.429 shouldn't be
179.28/179.80	c #Conflicts:     517000 | #Constraints:      15531
179.28/179.80	c #Conflicts:     518000 | #Constraints:      16531
179.28/179.80	c #Conflicts:     519000 | #Constraints:      17533
179.28/179.80	c #Conflicts:     520000 | #Constraints:      18534
179.28/179.80	c #Conflicts:     521000 | #Constraints:      19534
179.28/179.80	c #Conflicts:     522000 | #Constraints:      20535
179.28/179.80	c #Conflicts:     523000 | #Constraints:      21536
179.28/179.80	c #Conflicts:     524000 | #Constraints:      22536
179.28/179.80	c #Conflicts:     525000 | #Constraints:      23537
179.28/179.80	c #Conflicts:     526000 | #Constraints:      24539
179.28/179.80	c #Conflicts:     527000 | #Constraints:      25539
179.28/179.80	c #Conflicts:     528000 | #Constraints:      26539
179.28/179.80	c #Conflicts:     529000 | #Constraints:      27541
179.28/179.80	c #Conflicts:     530000 | #Constraints:      28541
179.28/179.80	c #Conflicts:     531000 | #Constraints:      29542
179.28/179.80	c INPROCESSING
179.28/179.80	c GARBAGE COLLECT
179.28/179.80	WSVECS04 Frhs2[4]: 6 -150.62 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[10]: 6 0 80.8878 shouldn't be
179.28/179.80	WSVECS04 Frhs2[11]: 6 0 1.0213 shouldn't be
179.28/179.80	WSVECS04 Frhs2[12]: 6 0 34.0942 shouldn't be
179.28/179.80	WSVECS04 Frhs2[13]: 6 0 54.5022 shouldn't be
179.28/179.80	WSVECS04 Frhs2[14]: 6 0 87.5751 shouldn't be
179.28/179.80	WSVECS04 Frhs2[19]: 6 0 2.14537 shouldn't be
179.28/179.80	WSVECS04 Frhs2[32]: 6 0 53.6585 shouldn't be
179.28/179.80	WSVECS04 Frhs2[36]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[40]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[44]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[48]: 6 0 23.9847 shouldn't be
179.28/179.80	WSVECS04 Frhs2[49]: 6 0 5.73733 shouldn't be
179.28/179.80	WSVECS04 Frhs2[62]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[64]: 6 0 22.8529 shouldn't be
179.28/179.80	WSVECS04 Frhs2[66]: 6 0 133.701 shouldn't be
179.28/179.80	WSVECS04 Frhs2[68]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[75]: 6 0 19.5704 shouldn't be
179.28/179.80	WSVECS04 Frhs2[78]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[79]: 6 0 118.257 shouldn't be
179.28/179.80	WSVECS04 Frhs2[82]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[84]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[86]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[90]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[92]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[99]: 6 0 2.10298 shouldn't be
179.28/179.80	WSVECS04 Frhs2[100]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[101]: 6 0 22.3984 shouldn't be
179.28/179.80	WSVECS04 Frhs2[110]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[111]: 6 -2.80448 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[112]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[116]: 6 0 154.641 shouldn't be
179.28/179.80	WSVECS04 Frhs2[123]: 6 0 31.9898 shouldn't be
179.28/179.80	WSVECS04 Frhs2[124]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[126]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[127]: 6 0 45.7765 shouldn't be
179.28/179.80	WSVECS04 Frhs2[130]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[134]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[136]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[138]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[140]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[160]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[171]: 6 0 197.905 shouldn't be
179.28/179.80	WSVECS04 Frhs2[172]: 6 0 129.873 shouldn't be
179.28/179.80	WSVECS04 Frhs2[174]: 6 0 56.9517 shouldn't be
179.28/179.80	WSVECS04 Frhs2[176]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[180]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[186]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[191]: 6 -254.076 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[195]: 6 0 36.8608 shouldn't be
179.28/179.80	WSVECS04 Frhs2[197]: 6 0 5.84343 shouldn't be
179.28/179.80	WSVECS04 Frhs2[200]: 6 0 82.9936 shouldn't be
179.28/179.80	WSVECS04 Frhs2[202]: 6 0 30.149 shouldn't be
179.28/179.80	WSVECS04 Frhs2[203]: 6 0 43.2588 shouldn't be
179.28/179.80	WSVECS04 Frhs2[204]: 6 0 76.2122 shouldn't be
179.28/179.80	WSVECS04 Frhs2[207]: 6 0 47.7212 shouldn't be
179.28/179.80	WSVECS04 Frhs2[208]: 6 0 55.5548 shouldn't be
179.28/179.80	WSVECS04 Frhs2[217]: 6 0 8.54493 shouldn't be
179.28/179.80	WSVECS04 Frhs2[228]: 6 0 87.5204 shouldn't be
179.28/179.80	WSVECS04 Frhs2[237]: 6 0 5.29117 shouldn't be
179.28/179.80	WSVECS04 Frhs2[248]: 6 -330.078 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[268]: 6 0 27.7669 shouldn't be
179.28/179.80	WSVECS04 Frhs2[280]: 6 0 51.2001 shouldn't be
179.28/179.80	WSVECS04 Frhs2[300]: 6 -52.6589 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[336]: 6 -45.4259 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[378]: 6 -22.9018 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[388]: 6 0 79.6375 shouldn't be
179.28/179.80	WSVECS04 Frhs2[418]: 6 -161.144 0 shouldn't be
179.28/179.80	WSVECS04 Frhs2[424]: 6 -160.713 0 shouldn't be
179.38/179.93	WSVECS04 Frhs2[18]: 6 0 95.499 shouldn't be
179.38/179.93	WSVECS04 Frhs2[72]: 6 0 17.8204 shouldn't be
179.38/179.93	WSVECS04 Frhs2[192]: 6 0 10.1232 shouldn't be
179.38/179.93	WSVECS04 Frhs2[398]: 6 -25.9776 0 shouldn't be
184.86/185.44	c #Conflicts:     532000 | #Constraints:      16125
184.86/185.44	c #Conflicts:     533000 | #Constraints:      17125
184.86/185.44	c #Conflicts:     534000 | #Constraints:      18125
184.86/185.44	c #Conflicts:     535000 | #Constraints:      19126
184.86/185.44	c #Conflicts:     536000 | #Constraints:      20127
184.86/185.44	c #Conflicts:     537000 | #Constraints:      21127
184.86/185.44	c #Conflicts:     538000 | #Constraints:      22128
184.86/185.44	c #Conflicts:     539000 | #Constraints:      23130
184.86/185.44	c #Conflicts:     540000 | #Constraints:      24132
184.86/185.44	c #Conflicts:     541000 | #Constraints:      25134
184.86/185.44	c #Conflicts:     542000 | #Constraints:      26135
184.86/185.44	c #Conflicts:     543000 | #Constraints:      27137
184.86/185.44	c #Conflicts:     544000 | #Constraints:      28138
184.86/185.44	c #Conflicts:     545000 | #Constraints:      29139
184.86/185.44	c #Conflicts:     546000 | #Constraints:      30140
184.86/185.44	c INPROCESSING
184.86/185.44	c GARBAGE COLLECT
184.86/185.44	WSVECS04 Frhs2[9]: 6 0 10.908 shouldn't be
184.86/185.44	WSVECS04 Frhs2[10]: 6 0 30.9417 shouldn't be
184.86/185.44	WSVECS04 Frhs2[12]: 6 0 94.332 shouldn't be
184.86/185.44	WSVECS04 Frhs2[17]: 6 0 11.9777 shouldn't be
184.86/185.44	WSVECS04 Frhs2[35]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[37]: 6 0 42.2286 shouldn't be
184.86/185.44	WSVECS04 Frhs2[58]: 6 0 30.0794 shouldn't be
184.86/185.44	WSVECS04 Frhs2[59]: 6 0 10.876 shouldn't be
184.86/185.44	WSVECS04 Frhs2[61]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[64]: 6 0 34.9333 shouldn't be
184.86/185.44	WSVECS04 Frhs2[67]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[69]: 6 0 2.82899 shouldn't be
184.86/185.44	WSVECS04 Frhs2[83]: 6 0 10.6769 shouldn't be
184.86/185.44	WSVECS04 Frhs2[95]: 6 0 7.20105 shouldn't be
184.86/185.44	WSVECS04 Frhs2[99]: 6 0 16.6784 shouldn't be
184.86/185.44	WSVECS04 Frhs2[100]: 6 0 30.0794 shouldn't be
184.86/185.44	WSVECS04 Frhs2[101]: 6 0 105.836 shouldn't be
184.86/185.44	WSVECS04 Frhs2[104]: 6 0 40.9577 shouldn't be
184.86/185.44	WSVECS04 Frhs2[107]: 6 0 16.8577 shouldn't be
184.86/185.44	WSVECS04 Frhs2[109]: 6 0 10.0458 shouldn't be
184.86/185.44	WSVECS04 Frhs2[112]: 6 -312.017 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[114]: 6 0 46.1787 shouldn't be
184.86/185.44	WSVECS04 Frhs2[115]: 6 0 23.9974 shouldn't be
184.86/185.44	WSVECS04 Frhs2[119]: 6 0 4.35634 shouldn't be
184.86/185.44	WSVECS04 Frhs2[129]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[135]: 6 0 18.1163 shouldn't be
184.86/185.44	WSVECS04 Frhs2[147]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[150]: 6 0 44.7748 shouldn't be
184.86/185.44	WSVECS04 Frhs2[159]: 6 0 35.5585 shouldn't be
184.86/185.44	WSVECS04 Frhs2[160]: 6 0 30.0795 shouldn't be
184.86/185.44	WSVECS04 Frhs2[163]: 6 0 18.7249 shouldn't be
184.86/185.44	WSVECS04 Frhs2[165]: 6 0 67.1407 shouldn't be
184.86/185.44	WSVECS04 Frhs2[172]: 6 0 86.7048 shouldn't be
184.86/185.44	WSVECS04 Frhs2[177]: 6 0 67.9341 shouldn't be
184.86/185.44	WSVECS04 Frhs2[185]: 6 0 51.0245 shouldn't be
184.86/185.44	WSVECS04 Frhs2[189]: 6 0 9.40955 shouldn't be
184.86/185.44	WSVECS04 Frhs2[191]: 6 0 67.8233 shouldn't be
184.86/185.44	WSVECS04 Frhs2[199]: 6 0 41.9996 shouldn't be
184.86/185.44	WSVECS04 Frhs2[203]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[214]: 6 0 30.0794 shouldn't be
184.86/185.44	WSVECS04 Frhs2[215]: 6 0 3.90855 shouldn't be
184.86/185.44	WSVECS04 Frhs2[222]: 6 0 44.7748 shouldn't be
184.86/185.44	WSVECS04 Frhs2[227]: 6 0 51.1976 shouldn't be
184.86/185.44	WSVECS04 Frhs2[231]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[233]: 6 0 10.908 shouldn't be
184.86/185.44	WSVECS04 Frhs2[245]: 6 0 53.1386 shouldn't be
184.86/185.44	WSVECS04 Frhs2[247]: 6 0 0.498724 shouldn't be
184.86/185.44	WSVECS04 Frhs2[253]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[255]: 6 0 10.0457 shouldn't be
184.86/185.44	WSVECS04 Frhs2[268]: 6 0 31.8021 shouldn't be
184.86/185.44	WSVECS04 Frhs2[272]: 6 0 143.251 shouldn't be
184.86/185.44	WSVECS04 Frhs2[276]: 6 0 190.584 shouldn't be
184.86/185.44	WSVECS04 Frhs2[280]: 6 0 137.281 shouldn't be
184.86/185.44	WSVECS04 Frhs2[282]: 6 0 137.949 shouldn't be
184.86/185.44	WSVECS04 Frhs2[284]: 6 0 138.283 shouldn't be
184.86/185.44	WSVECS04 Frhs2[286]: 6 0 138.45 shouldn't be
184.86/185.44	WSVECS04 Frhs2[287]: 6 0 20.0546 shouldn't be
184.86/185.44	WSVECS04 Frhs2[293]: 6 -94.8151 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[298]: 6 0 16.0838 shouldn't be
184.86/185.44	WSVECS04 Frhs2[301]: 6 -31.9337 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[308]: 6 -94.1622 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[309]: 6 -91.9201 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[323]: 6 -99.4372 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[336]: 6 0 31.2071 shouldn't be
184.86/185.44	WSVECS04 Frhs2[339]: 6 -172.065 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[362]: 6 -1.00008 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[373]: 6 -65.8738 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[375]: 6 -64.4684 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[377]: 6 -107.472 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[383]: 6 -56.685 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[403]: 6 -38.6387 0 shouldn't be
184.86/185.44	WSVECS04 Frhs2[418]: 6 0 11.9143 shouldn't be
184.86/185.44	WSVECS04 Frhs2[427]: 6 -72.4502 0 shouldn't be
184.97/185.50	WSVECS04 Frhs2[388]: 6 -117.137 0 shouldn't be
184.97/185.57	WSVECS04 Frhs2[356]: 6 -11.1205 0 shouldn't be
185.06/185.62	WSVECS04 Frhs2[13]: 6 0 70.2464 shouldn't be
185.06/185.62	WSVECS04 Frhs2[15]: 6 0 84.6386 shouldn't be
185.06/185.62	WSVECS04 Frhs2[72]: 6 0 28.6571 shouldn't be
185.06/185.62	WSVECS04 Frhs2[102]: 6 0 107.847 shouldn't be
185.06/185.62	WSVECS04 Frhs2[270]: 6 0 142.86 shouldn't be
195.94/196.50	c #Conflicts:     547000 | #Constraints:      16532
195.94/196.50	c #Conflicts:     548000 | #Constraints:      17532
195.94/196.50	c #Conflicts:     549000 | #Constraints:      18532
195.94/196.50	c #Conflicts:     550000 | #Constraints:      19533
195.94/196.50	c #Conflicts:     551000 | #Constraints:      20533
195.94/196.50	c #Conflicts:     552000 | #Constraints:      21534
195.94/196.50	c #Conflicts:     553000 | #Constraints:      22538
195.94/196.50	c #Conflicts:     554000 | #Constraints:      23540
195.94/196.50	c #Conflicts:     555000 | #Constraints:      24542
195.94/196.50	c #Conflicts:     556000 | #Constraints:      25545
195.94/196.50	c #Conflicts:     557000 | #Constraints:      26550
195.94/196.50	c #Conflicts:     558000 | #Constraints:      27561
195.94/196.50	c #Conflicts:     559000 | #Constraints:      28562
195.94/196.50	c #Conflicts:     560000 | #Constraints:      29562
195.94/196.50	c #Conflicts:     561000 | #Constraints:      30563
195.94/196.50	c INPROCESSING
195.94/196.50	c GARBAGE COLLECT
195.94/196.50	c #Conflicts:     562000 | #Constraints:      16732
195.94/196.50	c #Conflicts:     563000 | #Constraints:      17732
195.94/196.50	c #Conflicts:     564000 | #Constraints:      18733
195.94/196.50	c #Conflicts:     565000 | #Constraints:      19734
195.94/196.50	c #Conflicts:     566000 | #Constraints:      20735
195.94/196.50	c #Conflicts:     567000 | #Constraints:      21736
195.94/196.50	c #Conflicts:     568000 | #Constraints:      22738
195.94/196.50	c #Conflicts:     569000 | #Constraints:      23738
195.94/196.50	c #Conflicts:     570000 | #Constraints:      24739
195.94/196.50	c #Conflicts:     571000 | #Constraints:      25740
195.94/196.50	c #Conflicts:     572000 | #Constraints:      26740
195.94/196.50	c #Conflicts:     573000 | #Constraints:      27742
195.94/196.50	c #Conflicts:     574000 | #Constraints:      28745
195.94/196.50	c #Conflicts:     575000 | #Constraints:      29746
195.94/196.50	c #Conflicts:     576000 | #Constraints:      30750
195.94/196.50	c INPROCESSING
195.94/196.50	c GARBAGE COLLECT
195.94/196.50	WSVECS04 Frhs2[1]: 6 0 0.662221 shouldn't be
195.94/196.50	WSVECS04 Frhs2[7]: 6 0 1.54482 shouldn't be
195.94/196.50	WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
195.94/196.50	WSVECS04 Frhs2[13]: 6 0 9.30487 shouldn't be
195.94/196.50	WSVECS04 Frhs2[15]: 6 0 1.3779 shouldn't be
195.94/196.50	WSVECS04 Frhs2[30]: 6 0 4.34301 shouldn't be
195.94/196.50	WSVECS04 Frhs2[31]: 6 0 0.0814126 shouldn't be
195.94/196.50	WSVECS04 Frhs2[34]: 6 0 4.34305 shouldn't be
195.94/196.50	WSVECS04 Frhs2[44]: 6 0 4.3431 shouldn't be
195.94/196.50	WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
195.94/196.50	WSVECS04 Frhs2[57]: 6 0 1.82851 shouldn't be
195.94/196.50	WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
195.94/196.50	WSVECS04 Frhs2[73]: 6 0 1.5004 shouldn't be
195.94/196.50	WSVECS04 Frhs2[78]: 6 0 4.34304 shouldn't be
195.94/196.50	WSVECS04 Frhs2[86]: 6 0 4.34303 shouldn't be
195.94/196.50	WSVECS04 Frhs2[101]: 6 0 0.986158 shouldn't be
195.94/196.50	WSVECS04 Frhs2[130]: 6 0 4.34303 shouldn't be
195.94/196.50	WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[135]: 6 0 2.50628 shouldn't be
195.94/196.50	WSVECS04 Frhs2[148]: 6 0 4.34305 shouldn't be
195.94/196.50	WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
195.94/196.50	WSVECS04 Frhs2[167]: 6 0 2.48943 shouldn't be
195.94/196.50	WSVECS04 Frhs2[169]: 6 -2.57626 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[174]: 6 0 4.34306 shouldn't be
195.94/196.50	WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
195.94/196.50	WSVECS04 Frhs2[191]: 6 0 0.415222 shouldn't be
195.94/196.50	WSVECS04 Frhs2[220]: 6 0 16.7915 shouldn't be
195.94/196.50	WSVECS04 Frhs2[237]: 6 0 4.11909 shouldn't be
195.94/196.50	WSVECS04 Frhs2[270]: 6 0 0.617289 shouldn't be
195.94/196.50	WSVECS04 Frhs2[272]: 6 0 0.446445 shouldn't be
195.94/196.50	WSVECS04 Frhs2[284]: 6 0 0.476457 shouldn't be
195.94/196.50	WSVECS04 Frhs2[290]: 6 0 7.31909 shouldn't be
195.94/196.50	WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[297]: 6 -3.46463 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[299]: 6 0 10.7337 shouldn't be
195.94/196.50	WSVECS04 Frhs2[300]: 6 -11.214 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[303]: 6 0 4.0172 shouldn't be
195.94/196.50	WSVECS04 Frhs2[311]: 6 0 5.13164 shouldn't be
195.94/196.50	WSVECS04 Frhs2[317]: 6 -36.7134 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[360]: 6 -0.653751 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[365]: 6 -15.5991 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[384]: 6 -41.5319 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[393]: 6 -12.2288 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[406]: 6 -0.654154 0 shouldn't be
195.94/196.50	WSVECS04 Frhs2[425]: 6 -15.2871 0 shouldn't be
195.94/196.57	WSVECS04 Frhs2[17]: 6 0 0.0442575 shouldn't be
195.94/196.57	WSVECS04 Frhs2[62]: 6 0 4.34301 shouldn't be
195.94/196.57	WSVECS04 Frhs2[128]: 6 0 4.34304 shouldn't be
195.94/196.57	WSVECS04 Frhs2[133]: 6 -1.02266 0 shouldn't be
195.94/196.57	WSVECS04 Frhs2[428]: 6 -38.9902 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[1]: 6 0 0.662156 shouldn't be
196.03/196.64	WSVECS04 Frhs2[7]: 6 0 1.54478 shouldn't be
196.03/196.64	WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
196.03/196.64	WSVECS04 Frhs2[13]: 6 0 9.30483 shouldn't be
196.03/196.64	WSVECS04 Frhs2[14]: 6 0 14.6657 shouldn't be
196.03/196.64	WSVECS04 Frhs2[15]: 6 0 1.37786 shouldn't be
196.03/196.64	WSVECS04 Frhs2[17]: 6 0 0.0442205 shouldn't be
196.03/196.64	WSVECS04 Frhs2[22]: 6 0 5.37766 shouldn't be
196.03/196.64	WSVECS04 Frhs2[30]: 6 0 4.343 shouldn't be
196.03/196.64	WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
196.03/196.64	WSVECS04 Frhs2[57]: 6 0 1.82842 shouldn't be
196.03/196.64	WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
196.03/196.64	WSVECS04 Frhs2[73]: 6 0 1.50034 shouldn't be
196.03/196.64	WSVECS04 Frhs2[101]: 6 0 0.986134 shouldn't be
196.03/196.64	WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[133]: 6 -1.02256 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[135]: 6 0 2.50625 shouldn't be
196.03/196.64	WSVECS04 Frhs2[148]: 6 0 4.343 shouldn't be
196.03/196.64	WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
196.03/196.64	WSVECS04 Frhs2[167]: 6 0 2.48941 shouldn't be
196.03/196.64	WSVECS04 Frhs2[169]: 6 -2.57625 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[174]: 6 0 4.343 shouldn't be
196.03/196.64	WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
196.03/196.64	WSVECS04 Frhs2[191]: 6 0 0.415201 shouldn't be
196.03/196.64	WSVECS04 Frhs2[220]: 6 0 16.7914 shouldn't be
196.03/196.64	WSVECS04 Frhs2[237]: 6 0 4.119 shouldn't be
196.03/196.64	WSVECS04 Frhs2[272]: 6 0 0.44641 shouldn't be
196.03/196.64	WSVECS04 Frhs2[284]: 6 0 0.476373 shouldn't be
196.03/196.64	WSVECS04 Frhs2[290]: 6 0 7.319 shouldn't be
196.03/196.64	WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[297]: 6 -3.4646 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[299]: 6 0 10.7336 shouldn't be
196.03/196.64	WSVECS04 Frhs2[300]: 6 -11.2139 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[303]: 6 0 4.01716 shouldn't be
196.03/196.64	WSVECS04 Frhs2[311]: 6 0 5.13154 shouldn't be
196.03/196.64	WSVECS04 Frhs2[317]: 6 -36.7133 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[360]: 6 -0.653662 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[365]: 6 -15.599 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[384]: 6 -41.5318 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[393]: 6 -12.2287 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[406]: 6 -0.654143 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[425]: 6 -15.287 0 shouldn't be
196.03/196.64	WSVECS04 Frhs2[428]: 6 -38.9901 0 shouldn't be
196.13/196.71	WSVECS04 Frhs2[31]: 6 0 0.0813506 shouldn't be
196.13/196.71	WSVECS04 Frhs2[270]: 6 0 0.617268 shouldn't be
196.13/196.77	WSVECS04 Frhs2[4]: 6 0 4.343 shouldn't be
196.13/196.77	WSVECS04 Frhs2[62]: 6 0 4.343 shouldn't be
196.23/196.84	WSVECS04 Frhs2[78]: 6 0 4.343 shouldn't be
196.23/196.84	WSVECS04 Frhs2[86]: 6 0 4.343 shouldn't be
196.23/196.84	WSVECS04 Frhs2[130]: 6 0 4.343 shouldn't be
196.33/196.91	WSVECS04 Frhs2[12]: 6 0 33.3637 shouldn't be
196.33/196.91	WSVECS04 Frhs2[34]: 6 0 4.343 shouldn't be
196.33/196.91	WSVECS04 Frhs2[44]: 6 0 4.343 shouldn't be
196.33/196.91	WSVECS04 Frhs2[128]: 6 0 4.343 shouldn't be
224.77/225.43	c #Conflicts:     577000 | #Constraints:      16729
224.77/225.43	c #Conflicts:     578000 | #Constraints:      17729
224.77/225.43	c #Conflicts:     579000 | #Constraints:      18729
224.77/225.43	c #Conflicts:     580000 | #Constraints:      19729
224.77/225.43	c #Conflicts:     581000 | #Constraints:      20729
224.77/225.43	c #Conflicts:     582000 | #Constraints:      21729
224.77/225.43	c #Conflicts:     583000 | #Constraints:      22729
224.77/225.43	c #Conflicts:     584000 | #Constraints:      23729
224.77/225.43	c #Conflicts:     585000 | #Constraints:      24729
224.77/225.43	c #Conflicts:     586000 | #Constraints:      25729
224.77/225.43	c #Conflicts:     587000 | #Constraints:      26729
224.77/225.43	c #Conflicts:     588000 | #Constraints:      27729
224.77/225.43	c #Conflicts:     589000 | #Constraints:      28729
224.77/225.43	c #Conflicts:     590000 | #Constraints:      29729
224.77/225.43	c #Conflicts:     591000 | #Constraints:      30729
224.77/225.43	c INPROCESSING
224.77/225.43	c GARBAGE COLLECT
224.77/225.43	c #Conflicts:     592000 | #Constraints:      16520
224.77/225.43	c #Conflicts:     593000 | #Constraints:      17520
224.77/225.43	c #Conflicts:     594000 | #Constraints:      18520
224.77/225.43	c #Conflicts:     595000 | #Constraints:      19520
224.77/225.43	c #Conflicts:     596000 | #Constraints:      20520
224.77/225.43	c #Conflicts:     597000 | #Constraints:      21520
224.77/225.43	c #Conflicts:     598000 | #Constraints:      22520
224.77/225.43	c #Conflicts:     599000 | #Constraints:      23520
224.77/225.43	c #Conflicts:     600000 | #Constraints:      24520
224.77/225.43	c #Conflicts:     601000 | #Constraints:      25520
224.77/225.43	c #Conflicts:     602000 | #Constraints:      26520
224.77/225.43	c #Conflicts:     603000 | #Constraints:      27520
224.77/225.43	c #Conflicts:     604000 | #Constraints:      28520
224.77/225.43	c #Conflicts:     605000 | #Constraints:      29520
224.77/225.43	c #Conflicts:     606000 | #Constraints:      30520
224.77/225.43	c #Conflicts:     607000 | #Constraints:      31520
224.77/225.43	c INPROCESSING
224.77/225.43	c GARBAGE COLLECT
224.77/225.43	c #Conflicts:     608000 | #Constraints:      17112
224.77/225.43	c #Conflicts:     609000 | #Constraints:      18112
224.77/225.43	c #Conflicts:     610000 | #Constraints:      19112
224.77/225.43	c #Conflicts:     611000 | #Constraints:      20112
224.77/225.43	c #Conflicts:     612000 | #Constraints:      21112
224.77/225.43	c #Conflicts:     613000 | #Constraints:      22112
224.77/225.43	c #Conflicts:     614000 | #Constraints:      23112
224.77/225.43	c #Conflicts:     615000 | #Constraints:      24112
224.77/225.43	c #Conflicts:     616000 | #Constraints:      25112
224.77/225.43	c #Conflicts:     617000 | #Constraints:      26112
224.77/225.43	c #Conflicts:     618000 | #Constraints:      27112
224.77/225.43	c #Conflicts:     619000 | #Constraints:      28112
224.77/225.43	c #Conflicts:     620000 | #Constraints:      29112
224.77/225.43	c #Conflicts:     621000 | #Constraints:      30112
224.77/225.43	c #Conflicts:     622000 | #Constraints:      31112
224.77/225.43	c #Conflicts:     623000 | #Constraints:      32112
224.77/225.43	c INPROCESSING
224.77/225.43	c GARBAGE COLLECT
224.77/225.43	c #Conflicts:     624000 | #Constraints:      17508
224.77/225.43	c #Conflicts:     625000 | #Constraints:      18508
224.77/225.43	c #Conflicts:     626000 | #Constraints:      19508
224.77/225.43	c #Conflicts:     627000 | #Constraints:      20508
224.77/225.43	c #Conflicts:     628000 | #Constraints:      21508
224.77/225.43	c #Conflicts:     629000 | #Constraints:      22508
224.77/225.43	c #Conflicts:     630000 | #Constraints:      23508
224.77/225.43	c #Conflicts:     631000 | #Constraints:      24508
224.77/225.43	c #Conflicts:     632000 | #Constraints:      25508
224.77/225.43	c #Conflicts:     633000 | #Constraints:      26508
224.77/225.43	c #Conflicts:     634000 | #Constraints:      27508
224.77/225.43	c #Conflicts:     635000 | #Constraints:      28508
224.77/225.43	c #Conflicts:     636000 | #Constraints:      29508
224.77/225.43	c #Conflicts:     637000 | #Constraints:      30508
224.77/225.43	c #Conflicts:     638000 | #Constraints:      31508
224.77/225.43	c #Conflicts:     639000 | #Constraints:      32508
224.77/225.43	c INPROCESSING
224.77/225.43	c GARBAGE COLLECT
224.77/225.43	c #Conflicts:     640000 | #Constraints:      17705
224.77/225.43	c #Conflicts:     641000 | #Constraints:      18705
224.77/225.43	c #Conflicts:     642000 | #Constraints:      19705
224.77/225.43	c #Conflicts:     643000 | #Constraints:      20705
224.77/225.43	c #Conflicts:     644000 | #Constraints:      21705
224.77/225.43	c #Conflicts:     645000 | #Constraints:      22705
224.77/225.43	c #Conflicts:     646000 | #Constraints:      23705
224.77/225.43	c #Conflicts:     647000 | #Constraints:      24705
224.77/225.43	c #Conflicts:     648000 | #Constraints:      25705
224.77/225.43	c #Conflicts:     649000 | #Constraints:      26705
224.77/225.43	c #Conflicts:     650000 | #Constraints:      27705
224.77/225.43	c #Conflicts:     651000 | #Constraints:      28705
224.77/225.43	c #Conflicts:     652000 | #Constraints:      29705
224.77/225.43	c #Conflicts:     653000 | #Constraints:      30705
232.45/233.13	c #Conflicts:     654000 | #Constraints:      31705
232.45/233.13	c #Conflicts:     655000 | #Constraints:      32705
232.45/233.13	c INPROCESSING
232.45/233.13	c GARBAGE COLLECT
232.45/233.13	c #Conflicts:     656000 | #Constraints:      17711
232.45/233.13	c #Conflicts:     657000 | #Constraints:      18715
232.45/233.13	c #Conflicts:     658000 | #Constraints:      19715
232.45/233.13	c #Conflicts:     659000 | #Constraints:      20715
232.45/233.13	c #Conflicts:     660000 | #Constraints:      21716
232.45/233.13	c #Conflicts:     661000 | #Constraints:      22719
232.45/233.13	c #Conflicts:     662000 | #Constraints:      23720
232.45/233.13	c #Conflicts:     663000 | #Constraints:      24720
232.45/233.13	c #Conflicts:     664000 | #Constraints:      25720
232.45/233.13	c #Conflicts:     665000 | #Constraints:      26720
232.45/233.13	c #Conflicts:     666000 | #Constraints:      27720
232.45/233.13	c #Conflicts:     667000 | #Constraints:      28722
232.45/233.13	c #Conflicts:     668000 | #Constraints:      29722
232.45/233.13	c #Conflicts:     669000 | #Constraints:      30723
232.45/233.13	c #Conflicts:     670000 | #Constraints:      31724
232.45/233.13	c #Conflicts:     671000 | #Constraints:      32726
232.45/233.13	c INPROCESSING
232.45/233.13	c GARBAGE COLLECT
232.45/233.13	WSVECS04 Frhs2[10]: 6 0 0.178958 shouldn't be
232.45/233.13	WSVECS04 Frhs2[11]: 6 0 0.0103655 shouldn't be
232.45/233.13	WSVECS04 Frhs2[12]: 6 0 0.191887 shouldn't be
232.45/233.13	WSVECS04 Frhs2[18]: 6 -4.07485 0 shouldn't be
232.45/233.13	WSVECS04 Frhs2[20]: 6 0 0.0606757 shouldn't be
232.45/233.13	WSVECS04 Frhs2[22]: 6 0 0.059941 shouldn't be
232.45/233.13	WSVECS04 Frhs2[27]: 6 0 0.0894314 shouldn't be
232.45/233.13	WSVECS04 Frhs2[44]: 6 0 0.105311 shouldn't be
232.45/233.13	WSVECS04 Frhs2[46]: 6 0 0.732083 shouldn't be
232.45/233.13	WSVECS04 Frhs2[57]: 6 0 0.247836 shouldn't be
232.45/233.13	WSVECS04 Frhs2[68]: 6 0 0.105312 shouldn't be
232.45/233.13	WSVECS04 Frhs2[69]: 6 0 0.0383231 shouldn't be
232.45/233.13	WSVECS04 Frhs2[78]: 6 0 0.105346 shouldn't be
232.45/233.13	WSVECS04 Frhs2[96]: 6 0 0.105312 shouldn't be
232.45/233.13	WSVECS04 Frhs2[104]: 6 0 0.0497371 shouldn't be
232.45/233.13	WSVECS04 Frhs2[108]: 6 0 0.105362 shouldn't be
232.45/233.13	WSVECS04 Frhs2[112]: 6 0 0.105338 shouldn't be
232.45/233.13	WSVECS04 Frhs2[114]: 6 0 0.10531 shouldn't be
232.45/233.13	WSVECS04 Frhs2[116]: 6 0 0.105322 shouldn't be
232.45/233.13	WSVECS04 Frhs2[118]: 6 0 0.105353 shouldn't be
232.45/233.13	WSVECS04 Frhs2[120]: 6 0 0.105354 shouldn't be
232.45/233.13	WSVECS04 Frhs2[130]: 6 0 0.105323 shouldn't be
232.45/233.13	WSVECS04 Frhs2[131]: 6 0 0.293986 shouldn't be
232.45/233.13	WSVECS04 Frhs2[134]: 6 0 0.105358 shouldn't be
232.45/233.13	WSVECS04 Frhs2[140]: 6 0 0.105278 shouldn't be
232.45/233.13	WSVECS04 Frhs2[156]: 6 0 0.589963 shouldn't be
232.45/233.13	WSVECS04 Frhs2[163]: 6 0 0.594865 shouldn't be
232.45/233.13	WSVECS04 Frhs2[175]: 6 0 0.573563 shouldn't be
232.45/233.13	WSVECS04 Frhs2[176]: 6 0 0.105355 shouldn't be
232.45/233.13	WSVECS04 Frhs2[182]: 6 0 0.105299 shouldn't be
232.45/233.13	WSVECS04 Frhs2[186]: 6 0 0.105361 shouldn't be
232.45/233.13	WSVECS04 Frhs2[202]: 6 0 2.91259 shouldn't be
232.45/233.13	WSVECS04 Frhs2[206]: 6 0 0.105295 shouldn't be
232.45/233.13	WSVECS04 Frhs2[209]: 6 0 0.137611 shouldn't be
232.45/233.13	WSVECS04 Frhs2[214]: 6 0 0.105306 shouldn't be
232.45/233.13	WSVECS04 Frhs2[221]: 6 0 0.619385 shouldn't be
232.45/233.13	WSVECS04 Frhs2[223]: 6 0 0.156225 shouldn't be
232.45/233.13	WSVECS04 Frhs2[231]: 6 -0.0736623 0 shouldn't be
232.45/233.13	WSVECS04 Frhs2[240]: 6 0 0.19688 shouldn't be
232.45/233.13	WSVECS04 Frhs2[243]: 6 0 0.402936 shouldn't be
232.45/233.13	WSVECS04 Frhs2[252]: 6 0 0.105283 shouldn't be
232.45/233.13	WSVECS04 Frhs2[260]: 6 0 0.105273 shouldn't be
232.45/233.13	WSVECS04 Frhs2[261]: 6 0 0.402754 shouldn't be
232.45/233.13	WSVECS04 Frhs2[264]: 6 0 0.122573 shouldn't be
232.45/233.14	WSVECS04 Frhs2[268]: 6 0 0.09334 shouldn't be
232.45/233.14	WSVECS04 Frhs2[283]: 6 -0.0781289 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[285]: 6 -0.0279313 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[294]: 6 0 1.9481 shouldn't be
232.45/233.14	WSVECS04 Frhs2[295]: 6 -1.58364 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[299]: 6 0 0.886916 shouldn't be
232.45/233.14	WSVECS04 Frhs2[303]: 6 0 1.42638 shouldn't be
232.45/233.14	WSVECS04 Frhs2[307]: 6 0 0.387207 shouldn't be
232.45/233.14	WSVECS04 Frhs2[309]: 6 -1.32537 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[310]: 6 0 0.296328 shouldn't be
232.45/233.14	WSVECS04 Frhs2[312]: 6 -1.42971 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[318]: 6 0 1.58473 shouldn't be
232.45/233.14	WSVECS04 Frhs2[323]: 6 -0.0616779 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[326]: 6 0 0.572418 shouldn't be
232.45/233.14	WSVECS04 Frhs2[331]: 6 0 0.666342 shouldn't be
232.45/233.14	WSVECS04 Frhs2[360]: 6 -1.22301 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[367]: 6 -1.81166 0 shouldn't be
232.45/233.14	WSVECS04 Frhs2[386]: 6 0 0.0333504 shouldn't be
232.45/233.14	WSVECS04 Frhs2[428]: 6 -0.11391 0 shouldn't be
232.55/233.20	WSVECS04 Frhs2[167]: 6 0 1.15254 shouldn't be
232.55/233.20	WSVECS04 Frhs2[192]: 6 0 0.735134 shouldn't be
232.55/233.20	WSVECS04 Frhs2[347]: 6 0 0.311239 shouldn't be
238.93/239.60	c #Conflicts:     672000 | #Constraints:      17509
238.93/239.60	c #Conflicts:     673000 | #Constraints:      18510
238.93/239.60	c #Conflicts:     674000 | #Constraints:      19510
238.93/239.60	c #Conflicts:     675000 | #Constraints:      20511
238.93/239.60	c #Conflicts:     676000 | #Constraints:      21512
238.93/239.60	c #Conflicts:     677000 | #Constraints:      22514
238.93/239.60	c #Conflicts:     678000 | #Constraints:      23516
238.93/239.60	c #Conflicts:     679000 | #Constraints:      24518
238.93/239.60	c #Conflicts:     680000 | #Constraints:      25519
238.93/239.60	c #Conflicts:     681000 | #Constraints:      26520
238.93/239.60	c #Conflicts:     682000 | #Constraints:      27522
238.93/239.60	c #Conflicts:     683000 | #Constraints:      28523
238.93/239.60	c #Conflicts:     684000 | #Constraints:      29525
238.93/239.60	c #Conflicts:     685000 | #Constraints:      30526
238.93/239.60	c #Conflicts:     686000 | #Constraints:      31527
238.93/239.60	c #Conflicts:     687000 | #Constraints:      32528
238.93/239.60	c #Conflicts:     688000 | #Constraints:      33528
238.93/239.60	c INPROCESSING
238.93/239.60	c GARBAGE COLLECT
238.93/239.60	WSVECS04 Frhs2[67]: 6 0 0.0518196 shouldn't be
238.93/239.60	WSVECS04 Frhs2[263]: 6 0 0.0173652 shouldn't be
238.93/239.66	WSVECS04 Frhs2[7]: 6 0 0.0518201 shouldn't be
238.93/239.66	WSVECS04 Frhs2[19]: 6 0 244.182 shouldn't be
238.93/239.66	WSVECS04 Frhs2[20]: 6 -1.14035 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[22]: 6 -1.132 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[29]: 6 0 0.0518196 shouldn't be
238.93/239.66	WSVECS04 Frhs2[34]: 6 0 707.982 shouldn't be
238.93/239.66	WSVECS04 Frhs2[43]: 6 0 0.0518199 shouldn't be
238.93/239.66	WSVECS04 Frhs2[49]: 6 0 30.8038 shouldn't be
238.93/239.66	WSVECS04 Frhs2[52]: 6 -176.763 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[59]: 6 0 1.95531 shouldn't be
238.93/239.66	WSVECS04 Frhs2[71]: 6 0 0.05182 shouldn't be
238.93/239.66	WSVECS04 Frhs2[77]: 6 0 9.78257 shouldn't be
238.93/239.66	WSVECS04 Frhs2[79]: 6 0 41.4808 shouldn't be
238.93/239.66	WSVECS04 Frhs2[83]: 6 -32.5241 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[89]: 6 0 0.0518202 shouldn't be
238.93/239.66	WSVECS04 Frhs2[91]: 6 0 0.0518198 shouldn't be
238.93/239.66	WSVECS04 Frhs2[105]: 6 0 45.8377 shouldn't be
238.93/239.66	WSVECS04 Frhs2[119]: 6 0 0.0518201 shouldn't be
238.93/239.66	WSVECS04 Frhs2[139]: 6 0 0.0518197 shouldn't be
238.93/239.66	WSVECS04 Frhs2[147]: 6 0 0.0518201 shouldn't be
238.93/239.66	WSVECS04 Frhs2[155]: 6 0 24.0758 shouldn't be
238.93/239.66	WSVECS04 Frhs2[163]: 6 0 98.1706 shouldn't be
238.93/239.66	WSVECS04 Frhs2[164]: 6 0 20.7666 shouldn't be
238.93/239.66	WSVECS04 Frhs2[168]: 6 0 8.90093 shouldn't be
238.93/239.66	WSVECS04 Frhs2[171]: 6 0 11.4588 shouldn't be
238.93/239.66	WSVECS04 Frhs2[173]: 6 0 0.0518201 shouldn't be
238.93/239.66	WSVECS04 Frhs2[175]: 6 -18.1656 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[179]: 6 0 0.0518197 shouldn't be
238.93/239.66	WSVECS04 Frhs2[183]: 6 0 68.3641 shouldn't be
238.93/239.66	WSVECS04 Frhs2[187]: 6 0 0.0518198 shouldn't be
238.93/239.66	WSVECS04 Frhs2[197]: 6 0 0.0518202 shouldn't be
238.93/239.66	WSVECS04 Frhs2[199]: 6 0 1.58256 shouldn't be
238.93/239.66	WSVECS04 Frhs2[200]: 6 0 8.21292 shouldn't be
238.93/239.66	WSVECS04 Frhs2[203]: 6 0 0.0518197 shouldn't be
238.93/239.66	WSVECS04 Frhs2[221]: 6 0 76.7877 shouldn't be
238.93/239.66	WSVECS04 Frhs2[241]: 6 -7.83786 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[249]: 6 0 36.5688 shouldn't be
238.93/239.66	WSVECS04 Frhs2[251]: 6 -105.24 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[253]: 6 -73.775 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[259]: 6 0 0.0518202 shouldn't be
238.93/239.66	WSVECS04 Frhs2[261]: 6 0 24.0861 shouldn't be
238.93/239.66	WSVECS04 Frhs2[269]: 6 -12.4383 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[270]: 6 0 5.73551 shouldn't be
238.93/239.66	WSVECS04 Frhs2[273]: 6 0 25.8771 shouldn't be
238.93/239.66	WSVECS04 Frhs2[279]: 6 0 2.08199 shouldn't be
238.93/239.66	WSVECS04 Frhs2[280]: 6 0 2.0948 shouldn't be
238.93/239.66	WSVECS04 Frhs2[281]: 6 0 2.13381 shouldn't be
238.93/239.66	WSVECS04 Frhs2[283]: 6 0 2.13381 shouldn't be
238.93/239.66	WSVECS04 Frhs2[284]: 6 0 2.0948 shouldn't be
238.93/239.66	WSVECS04 Frhs2[286]: 6 0 2.0948 shouldn't be
238.93/239.66	WSVECS04 Frhs2[296]: 6 0 25.9791 shouldn't be
238.93/239.66	WSVECS04 Frhs2[304]: 6 0 118.231 shouldn't be
238.93/239.66	WSVECS04 Frhs2[327]: 6 0 4.79271 shouldn't be
238.93/239.66	WSVECS04 Frhs2[330]: 6 0 79.9261 shouldn't be
238.93/239.66	WSVECS04 Frhs2[349]: 6 0 8.16923 shouldn't be
238.93/239.66	WSVECS04 Frhs2[351]: 6 0 136.62 shouldn't be
238.93/239.66	WSVECS04 Frhs2[362]: 6 -3.33976 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[372]: 6 -44.3531 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[392]: 6 0 106.079 shouldn't be
238.93/239.66	WSVECS04 Frhs2[395]: 6 -51.3512 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[406]: 6 -4.79082 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[414]: 6 0 54.9455 shouldn't be
238.93/239.66	WSVECS04 Frhs2[421]: 6 -42.9229 0 shouldn't be
238.93/239.66	WSVECS04 Frhs2[424]: 6 0 98.9081 shouldn't be
238.93/239.66	WSVECS04 Frhs2[425]: 6 0 64.7831 shouldn't be
239.03/239.72	WSVECS04 Frhs2[47]: 6 0 0.0518199 shouldn't be
239.03/239.72	WSVECS04 Frhs2[51]: 6 0 74.264 shouldn't be
239.03/239.72	WSVECS04 Frhs2[65]: 6 0 97.875 shouldn't be
239.03/239.72	WSVECS04 Frhs2[73]: 6 0 76.785 shouldn't be
239.03/239.72	WSVECS04 Frhs2[213]: 6 0 2.91992 shouldn't be
239.03/239.72	WSVECS04 Frhs2[237]: 6 0 131.957 shouldn't be
239.03/239.72	WSVECS04 Frhs2[272]: 6 0 13.1198 shouldn't be
239.03/239.72	WSVECS04 Frhs2[274]: 6 0 25.8381 shouldn't be
239.03/239.72	WSVECS04 Frhs2[341]: 6 0 187.8 shouldn't be
239.03/239.72	WSVECS04 Frhs2[343]: 6 0 165.44 shouldn't be
239.03/239.72	WSVECS04 Frhs2[347]: 6 0 26.3803 shouldn't be
239.03/239.72	WSVECS04 Frhs2[375]: 6 0 15.0062 shouldn't be
239.03/239.72	WSVECS04 Frhs2[382]: 6 0 147.21 shouldn't be
239.03/239.72	WSVECS04 Frhs2[407]: 6 -5.69204 0 shouldn't be
239.03/239.72	WSVECS04 Frhs2[416]: 6 0 43.2619 shouldn't be
239.03/239.72	WSVECS04 Frhs2[417]: 6 0 159.114 shouldn't be
239.03/239.72	WSVECS04 Frhs2[418]: 6 0 266.633 shouldn't be
245.01/245.78	c #Conflicts:     689000 | #Constraints:      18120
245.01/245.78	c #Conflicts:     690000 | #Constraints:      19120
245.01/245.78	c #Conflicts:     691000 | #Constraints:      20121
245.01/245.78	c #Conflicts:     692000 | #Constraints:      21122
245.01/245.78	c #Conflicts:     693000 | #Constraints:      22123
245.01/245.78	c #Conflicts:     694000 | #Constraints:      23124
245.01/245.78	c #Conflicts:     695000 | #Constraints:      24125
245.01/245.78	c #Conflicts:     696000 | #Constraints:      25126
245.01/245.78	c #Conflicts:     697000 | #Constraints:      26127
245.01/245.78	c #Conflicts:     698000 | #Constraints:      27128
245.01/245.78	c #Conflicts:     699000 | #Constraints:      28130
245.01/245.78	c #Conflicts:     700000 | #Constraints:      29131
245.01/245.78	c #Conflicts:     701000 | #Constraints:      30133
245.01/245.78	c #Conflicts:     702000 | #Constraints:      31133
245.01/245.78	c #Conflicts:     703000 | #Constraints:      32135
245.01/245.78	c #Conflicts:     704000 | #Constraints:      33138
245.01/245.78	c #Conflicts:     705000 | #Constraints:      34147
245.01/245.78	c INPROCESSING
245.01/245.78	c GARBAGE COLLECT
245.01/245.78	WSVECS04 Frhs2[1]: 6 -13.2828 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[6]: 6 0 0.0244669 shouldn't be
245.01/245.78	WSVECS04 Frhs2[8]: 6 0 0.392017 shouldn't be
245.01/245.78	WSVECS04 Frhs2[10]: 6 0 1.4951 shouldn't be
245.01/245.78	WSVECS04 Frhs2[12]: 6 0 5.55516 shouldn't be
245.01/245.78	WSVECS04 Frhs2[14]: 6 0 0.530716 shouldn't be
245.01/245.78	WSVECS04 Frhs2[25]: 6 -11.9647 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[27]: 6 0 8.22328 shouldn't be
245.01/245.78	WSVECS04 Frhs2[38]: 6 0 59.0296 shouldn't be
245.01/245.78	WSVECS04 Frhs2[43]: 6 0 34.7111 shouldn't be
245.01/245.78	WSVECS04 Frhs2[47]: 6 -5.77686 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[57]: 6 0 12.3922 shouldn't be
245.01/245.78	WSVECS04 Frhs2[59]: 6 0 0.220613 shouldn't be
245.01/245.78	WSVECS04 Frhs2[60]: 6 0 14.1383 shouldn't be
245.01/245.78	WSVECS04 Frhs2[63]: 6 0 193.243 shouldn't be
245.01/245.78	WSVECS04 Frhs2[69]: 6 0 0.694165 shouldn't be
245.01/245.78	WSVECS04 Frhs2[105]: 6 0 1.12553 shouldn't be
245.01/245.78	WSVECS04 Frhs2[124]: 6 -0.343163 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[148]: 6 -0.343142 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[154]: 6 -39.6953 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[159]: 6 0 0.592966 shouldn't be
245.01/245.78	WSVECS04 Frhs2[164]: 6 0 126.577 shouldn't be
245.01/245.78	WSVECS04 Frhs2[175]: 6 0 10.9615 shouldn't be
245.01/245.78	WSVECS04 Frhs2[183]: 6 0 33.815 shouldn't be
245.01/245.78	WSVECS04 Frhs2[190]: 6 -0.343119 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[200]: 6 0 4.18015 shouldn't be
245.01/245.78	WSVECS04 Frhs2[216]: 6 0 0.34906 shouldn't be
245.01/245.78	WSVECS04 Frhs2[223]: 6 0 10.1769 shouldn't be
245.01/245.78	WSVECS04 Frhs2[224]: 6 0 8.3583 shouldn't be
245.01/245.78	WSVECS04 Frhs2[234]: 6 0 0.025012 shouldn't be
245.01/245.78	WSVECS04 Frhs2[283]: 6 0 2.17124 shouldn't be
245.01/245.78	WSVECS04 Frhs2[284]: 6 0 3.93284 shouldn't be
245.01/245.78	WSVECS04 Frhs2[285]: 6 0 1.44396 shouldn't be
245.01/245.78	WSVECS04 Frhs2[286]: 6 0 3.20569 shouldn't be
245.01/245.78	WSVECS04 Frhs2[293]: 6 0 70.4326 shouldn't be
245.01/245.78	WSVECS04 Frhs2[316]: 6 0 34.5167 shouldn't be
245.01/245.78	WSVECS04 Frhs2[350]: 6 0 49.4263 shouldn't be
245.01/245.78	WSVECS04 Frhs2[360]: 6 -5.44521 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[395]: 6 -20.1725 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[402]: 6 -3.1424 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[406]: 6 -4.42748 0 shouldn't be
245.01/245.78	WSVECS04 Frhs2[413]: 6 0 31.17 shouldn't be
245.01/245.78	WSVECS04 Frhs2[426]: 6 0 31.5315 shouldn't be
245.12/245.84	WSVECS04 Frhs2[108]: 6 -0.343169 0 shouldn't be
245.12/245.84	WSVECS04 Frhs2[243]: 6 0 13.5222 shouldn't be
245.12/245.84	WSVECS04 Frhs2[249]: 6 0 18.798 shouldn't be
245.12/245.84	WSVECS04 Frhs2[282]: 6 0 5.3873 shouldn't be
245.12/245.84	WSVECS04 Frhs2[348]: 6 0 24.773 shouldn't be
245.12/245.84	WSVECS04 Frhs2[371]: 6 0 50.7264 shouldn't be
245.12/245.84	WSVECS04 Frhs2[396]: 6 0 51.6964 shouldn't be
245.21/245.92	WSVECS04 Frhs2[398]: 6 0 33.4865 shouldn't be
245.21/245.92	WSVECS04 Frhs2[419]: 6 0 71.1094 shouldn't be
245.21/245.92	WSVECS04 Frhs2[428]: 6 0 90.9859 shouldn't be
259.17/259.94	c #Conflicts:     706000 | #Constraints:      18528
259.17/259.94	c #Conflicts:     707000 | #Constraints:      19529
259.17/259.94	c #Conflicts:     708000 | #Constraints:      20532
259.17/259.94	c #Conflicts:     709000 | #Constraints:      21533
259.17/259.94	c #Conflicts:     710000 | #Constraints:      22538
259.17/259.94	c #Conflicts:     711000 | #Constraints:      23541
259.17/259.94	c #Conflicts:     712000 | #Constraints:      24544
259.17/259.94	c #Conflicts:     713000 | #Constraints:      25546
259.17/259.94	c #Conflicts:     714000 | #Constraints:      26549
259.17/259.94	c #Conflicts:     715000 | #Constraints:      27552
259.17/259.94	c #Conflicts:     716000 | #Constraints:      28556
259.17/259.94	c #Conflicts:     717000 | #Constraints:      29560
259.17/259.94	c #Conflicts:     718000 | #Constraints:      30564
259.17/259.94	c #Conflicts:     719000 | #Constraints:      31567
259.17/259.94	c #Conflicts:     720000 | #Constraints:      32567
259.17/259.94	c #Conflicts:     721000 | #Constraints:      33570
259.17/259.94	c #Conflicts:     722000 | #Constraints:      34584
259.17/259.94	c INPROCESSING
259.17/259.94	c GARBAGE COLLECT
259.17/259.94	c #Conflicts:     723000 | #Constraints:      18748
259.17/259.94	c #Conflicts:     724000 | #Constraints:      19750
259.17/259.94	c #Conflicts:     725000 | #Constraints:      20750
259.17/259.94	c #Conflicts:     726000 | #Constraints:      21752
259.17/259.94	c #Conflicts:     727000 | #Constraints:      22753
259.17/259.94	c #Conflicts:     728000 | #Constraints:      23755
259.17/259.94	c #Conflicts:     729000 | #Constraints:      24757
259.17/259.94	c #Conflicts:     730000 | #Constraints:      25763
259.17/259.94	c #Conflicts:     731000 | #Constraints:      26770
259.17/259.94	c #Conflicts:     732000 | #Constraints:      27798
259.17/259.94	c #Conflicts:     733000 | #Constraints:      28806
259.17/259.94	c #Conflicts:     734000 | #Constraints:      29815
259.17/259.94	c #Conflicts:     735000 | #Constraints:      30854
259.17/259.94	c #Conflicts:     736000 | #Constraints:      31855
259.17/259.94	c #Conflicts:     737000 | #Constraints:      32872
259.17/259.94	c #Conflicts:     738000 | #Constraints:      33896
259.17/259.94	c #Conflicts:     739000 | #Constraints:      34916
259.17/259.94	c INPROCESSING
259.17/259.94	c GARBAGE COLLECT
259.17/259.94	WSVECS04 Frhs2[11]: 6 0 2.37464 shouldn't be
259.17/259.94	WSVECS04 Frhs2[17]: 6 0 2.71045 shouldn't be
259.17/259.94	WSVECS04 Frhs2[119]: 6 0 11.6399 shouldn't be
259.17/259.94	WSVECS04 Frhs2[120]: 6 0 5.30808 shouldn't be
259.17/259.94	WSVECS04 Frhs2[131]: 6 0 5.72398 shouldn't be
259.17/259.94	WSVECS04 Frhs2[133]: 6 0 9.72169 shouldn't be
259.17/259.94	WSVECS04 Frhs2[149]: 6 0 8.76778 shouldn't be
259.17/259.94	WSVECS04 Frhs2[163]: 6 0 3.69717 shouldn't be
259.17/259.94	WSVECS04 Frhs2[167]: 6 0 40.1999 shouldn't be
259.17/259.94	WSVECS04 Frhs2[169]: 6 0 1.78344 shouldn't be
259.17/259.94	WSVECS04 Frhs2[183]: 6 0 9.58439 shouldn't be
259.17/259.94	WSVECS04 Frhs2[199]: 6 0 3.23905 shouldn't be
259.17/259.94	WSVECS04 Frhs2[223]: 6 0 6.77255 shouldn't be
259.17/259.94	WSVECS04 Frhs2[237]: 6 0 8.84223 shouldn't be
259.17/259.94	WSVECS04 Frhs2[247]: 6 0 5.47835 shouldn't be
259.17/259.94	WSVECS04 Frhs2[249]: 6 0 6.64208 shouldn't be
259.17/259.94	WSVECS04 Frhs2[259]: 6 -1.11861 0 shouldn't be
259.17/259.94	WSVECS04 Frhs2[271]: 6 0 11.4357 shouldn't be
259.17/259.94	WSVECS04 Frhs2[272]: 6 0 5.28886 shouldn't be
259.17/259.94	WSVECS04 Frhs2[274]: 6 0 13.2174 shouldn't be
259.17/259.94	WSVECS04 Frhs2[275]: 6 0 2.32963 shouldn't be
259.17/259.94	WSVECS04 Frhs2[281]: 6 0 3.07747 shouldn't be
259.17/259.94	WSVECS04 Frhs2[285]: 6 0 2.2001 shouldn't be
259.17/259.94	WSVECS04 Frhs2[295]: 6 -32.0595 0 shouldn't be
259.17/259.94	WSVECS04 Frhs2[300]: 6 -14.2823 0 shouldn't be
259.17/259.94	WSVECS04 Frhs2[303]: 6 -8.17344 0 shouldn't be
259.17/259.94	WSVECS04 Frhs2[332]: 6 -3.29179 0 shouldn't be
259.17/259.94	WSVECS04 Frhs2[390]: 6 0 29.3248 shouldn't be
259.17/259.94	WSVECS04 Frhs2[391]: 6 0 1.45575 shouldn't be
259.17/259.94	WSVECS04 Frhs2[404]: 6 0 6.44925 shouldn't be
259.17/259.98	WSVECS04 Frhs2[302]: 6 0 14.6863 shouldn't be
259.17/259.98	WSVECS04 Frhs2[371]: 6 0 11.3484 shouldn't be
259.17/259.98	WSVECS04 Frhs2[424]: 6 0 13.9119 shouldn't be
259.28/260.04	WSVECS04 Frhs2[347]: 6 0 13.9065 shouldn't be
259.28/260.04	WSVECS04 Frhs2[411]: 6 0 11.883 shouldn't be
272.55/273.32	c #Conflicts:     740000 | #Constraints:      18826
272.55/273.32	c #Conflicts:     741000 | #Constraints:      19828
272.55/273.32	c #Conflicts:     742000 | #Constraints:      20830
272.55/273.32	c #Conflicts:     743000 | #Constraints:      21831
272.55/273.32	c #Conflicts:     744000 | #Constraints:      22833
272.55/273.32	c #Conflicts:     745000 | #Constraints:      23835
272.55/273.32	c #Conflicts:     746000 | #Constraints:      24837
272.55/273.32	c #Conflicts:     747000 | #Constraints:      25837
272.55/273.32	c #Conflicts:     748000 | #Constraints:      26838
272.55/273.32	c #Conflicts:     749000 | #Constraints:      27839
272.55/273.32	c #Conflicts:     750000 | #Constraints:      28840
272.55/273.32	c #Conflicts:     751000 | #Constraints:      29841
272.55/273.32	c #Conflicts:     752000 | #Constraints:      30843
272.55/273.32	c #Conflicts:     753000 | #Constraints:      31844
272.55/273.32	c #Conflicts:     754000 | #Constraints:      32846
272.55/273.32	c #Conflicts:     755000 | #Constraints:      33846
272.55/273.32	c #Conflicts:     756000 | #Constraints:      34848
272.55/273.32	c INPROCESSING
272.55/273.32	c GARBAGE COLLECT
272.55/273.32	c #Conflicts:     757000 | #Constraints:      18579
272.55/273.32	c #Conflicts:     758000 | #Constraints:      19579
272.55/273.32	c #Conflicts:     759000 | #Constraints:      20580
272.55/273.32	c #Conflicts:     760000 | #Constraints:      21581
272.55/273.32	c #Conflicts:     761000 | #Constraints:      22582
272.55/273.32	c #Conflicts:     762000 | #Constraints:      23584
272.55/273.32	c #Conflicts:     763000 | #Constraints:      24587
272.55/273.32	c #Conflicts:     764000 | #Constraints:      25588
272.55/273.32	c #Conflicts:     765000 | #Constraints:      26589
272.55/273.32	c #Conflicts:     766000 | #Constraints:      27589
272.55/273.32	c #Conflicts:     767000 | #Constraints:      28590
272.55/273.32	c #Conflicts:     768000 | #Constraints:      29590
272.55/273.32	c #Conflicts:     769000 | #Constraints:      30591
272.55/273.32	c #Conflicts:     770000 | #Constraints:      31593
272.55/273.32	c #Conflicts:     771000 | #Constraints:      32594
272.55/273.32	c #Conflicts:     772000 | #Constraints:      33595
272.55/273.32	c #Conflicts:     773000 | #Constraints:      34596
272.55/273.32	c #Conflicts:     774000 | #Constraints:      35596
272.55/273.32	c INPROCESSING
272.55/273.32	c GARBAGE COLLECT
272.55/273.32	WSVECS04 Frhs2[12]: 6 0 495.053 shouldn't be
272.55/273.32	WSVECS04 Frhs2[14]: 6 0 853.065 shouldn't be
272.55/273.32	WSVECS04 Frhs2[15]: 6 0 118.544 shouldn't be
272.55/273.32	WSVECS04 Frhs2[18]: 6 0 612.868 shouldn't be
272.55/273.32	WSVECS04 Frhs2[27]: 6 0 434.863 shouldn't be
272.55/273.32	WSVECS04 Frhs2[31]: 6 0 193.055 shouldn't be
272.55/273.32	WSVECS04 Frhs2[37]: 6 0 338.167 shouldn't be
272.55/273.32	WSVECS04 Frhs2[40]: 6 0 708.733 shouldn't be
272.55/273.32	WSVECS04 Frhs2[52]: 6 0 728.219 shouldn't be
272.55/273.32	WSVECS04 Frhs2[60]: 6 0 1511.42 shouldn't be
272.55/273.32	WSVECS04 Frhs2[65]: 6 -271.38 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[73]: 6 0 194.825 shouldn't be
272.55/273.32	WSVECS04 Frhs2[87]: 6 0 333.497 shouldn't be
272.55/273.32	WSVECS04 Frhs2[95]: 6 0 38.1941 shouldn't be
272.55/273.32	WSVECS04 Frhs2[97]: 6 0 343.841 shouldn't be
272.55/273.32	WSVECS04 Frhs2[113]: 6 0 869.05 shouldn't be
272.55/273.32	WSVECS04 Frhs2[115]: 6 0 319.001 shouldn't be
272.55/273.32	WSVECS04 Frhs2[126]: 6 0 566.676 shouldn't be
272.55/273.32	WSVECS04 Frhs2[130]: 6 0 1153.33 shouldn't be
272.55/273.32	WSVECS04 Frhs2[142]: 6 0 933.952 shouldn't be
272.55/273.32	WSVECS04 Frhs2[143]: 6 0 1832.24 shouldn't be
272.55/273.32	WSVECS04 Frhs2[151]: 6 0 38.1941 shouldn't be
272.55/273.32	WSVECS04 Frhs2[154]: 6 0 1476.99 shouldn't be
272.55/273.32	WSVECS04 Frhs2[192]: 6 0 816.162 shouldn't be
272.55/273.32	WSVECS04 Frhs2[200]: 6 0 721.541 shouldn't be
272.55/273.32	WSVECS04 Frhs2[205]: 6 0 38.1941 shouldn't be
272.55/273.32	WSVECS04 Frhs2[219]: 6 0 916.009 shouldn't be
272.55/273.32	WSVECS04 Frhs2[223]: 6 0 502.762 shouldn't be
272.55/273.32	WSVECS04 Frhs2[231]: 6 0 391.709 shouldn't be
272.55/273.32	WSVECS04 Frhs2[249]: 6 0 512.347 shouldn't be
272.55/273.32	WSVECS04 Frhs2[252]: 6 0 80.0956 shouldn't be
272.55/273.32	WSVECS04 Frhs2[260]: 6 0 566.676 shouldn't be
272.55/273.32	WSVECS04 Frhs2[272]: 6 -2254.54 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[275]: 6 0 26.4926 shouldn't be
272.55/273.32	WSVECS04 Frhs2[293]: 6 0 1545.5 shouldn't be
272.55/273.32	WSVECS04 Frhs2[294]: 6 -1361.62 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[300]: 6 -723.673 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[305]: 6 0 519.814 shouldn't be
272.55/273.32	WSVECS04 Frhs2[320]: 6 0 3116.96 shouldn't be
272.55/273.32	WSVECS04 Frhs2[328]: 6 -1279.37 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[335]: 6 0 942.91 shouldn't be
272.55/273.32	WSVECS04 Frhs2[353]: 6 -528.201 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[372]: 6 -1355.36 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[392]: 6 -38.8418 0 shouldn't be
272.55/273.32	WSVECS04 Frhs2[418]: 6 -964.469 0 shouldn't be
272.55/273.39	WSVECS04 Frhs2[33]: 6 0 38.1941 shouldn't be
272.55/273.39	WSVECS04 Frhs2[35]: 6 0 38.1941 shouldn't be
272.55/273.39	WSVECS04 Frhs2[43]: 6 0 115.02 shouldn't be
272.55/273.39	WSVECS04 Frhs2[47]: 6 0 38.1941 shouldn't be
272.55/273.39	WSVECS04 Frhs2[85]: 6 0 38.1941 shouldn't be
272.55/273.39	WSVECS04 Frhs2[119]: 6 0 38.1941 shouldn't be
272.55/273.39	WSVECS04 Frhs2[209]: 6 0 703.059 shouldn't be
272.55/273.39	WSVECS04 Frhs2[277]: 6 0 739.466 shouldn't be
272.55/273.39	WSVECS04 Frhs2[280]: 6 0 424.175 shouldn't be
272.55/273.39	WSVECS04 Frhs2[283]: 6 0 424.175 shouldn't be
272.55/273.39	WSVECS04 Frhs2[348]: 6 -1043.24 0 shouldn't be
272.55/273.39	WSVECS04 Frhs2[394]: 6 0 39.8405 shouldn't be
272.55/273.39	WSVECS04 Frhs2[399]: 6 0 576.977 shouldn't be
272.64/273.47	WSVECS04 Frhs2[100]: 6 0 566.676 shouldn't be
272.64/273.47	WSVECS04 Frhs2[134]: 6 0 566.676 shouldn't be
272.64/273.47	WSVECS04 Frhs2[162]: 6 0 566.676 shouldn't be
272.64/273.47	WSVECS04 Frhs2[164]: 6 0 1721.78 shouldn't be
272.64/273.47	WSVECS04 Frhs2[198]: 6 0 566.676 shouldn't be
272.64/273.47	WSVECS04 Frhs2[234]: 6 0 574.954 shouldn't be
272.64/273.47	WSVECS04 Frhs2[279]: 6 0 424.175 shouldn't be
272.64/273.47	WSVECS04 Frhs2[319]: 6 -1047.11 0 shouldn't be
272.64/273.47	WSVECS04 Frhs2[404]: 6 -292.796 0 shouldn't be
272.64/273.47	WSVECS04 Frhs2[428]: 6 -1023.99 0 shouldn't be
272.74/273.54	WSVECS04 Frhs2[78]: 6 0 566.676 shouldn't be
272.74/273.54	WSVECS04 Frhs2[120]: 6 0 566.676 shouldn't be
272.74/273.54	WSVECS04 Frhs2[136]: 6 0 566.676 shouldn't be
272.74/273.54	WSVECS04 Frhs2[140]: 6 0 566.676 shouldn't be
272.74/273.54	WSVECS04 Frhs2[281]: 6 0 1371.95 shouldn't be
272.84/273.60	WSVECS04 Frhs2[124]: 6 0 566.676 shouldn't be
272.95/273.74	WSVECS04 Frhs2[6]: 6 0 566.676 shouldn't be
299.29/300.16	c #Conflicts:     775000 | #Constraints:      19153
299.29/300.16	c #Conflicts:     776000 | #Constraints:      20153
299.29/300.16	c #Conflicts:     777000 | #Constraints:      21153
299.29/300.16	c #Conflicts:     778000 | #Constraints:      22153
299.29/300.16	c #Conflicts:     779000 | #Constraints:      23153
299.29/300.16	c #Conflicts:     780000 | #Constraints:      24153
299.29/300.16	c #Conflicts:     781000 | #Constraints:      25153
299.29/300.16	c #Conflicts:     782000 | #Constraints:      26153
299.29/300.16	c #Conflicts:     783000 | #Constraints:      27153
299.29/300.16	c #Conflicts:     784000 | #Constraints:      28153
299.29/300.16	c #Conflicts:     785000 | #Constraints:      29153
299.29/300.16	c #Conflicts:     786000 | #Constraints:      30153
299.29/300.16	c #Conflicts:     787000 | #Constraints:      31153
299.29/300.16	c #Conflicts:     788000 | #Constraints:      32153
299.29/300.16	c #Conflicts:     789000 | #Constraints:      33153
299.29/300.16	c #Conflicts:     790000 | #Constraints:      34154
299.29/300.16	c #Conflicts:     791000 | #Constraints:      35154
299.29/300.16	c #Conflicts:     792000 | #Constraints:      36155
299.29/300.16	c INPROCESSING
299.29/300.16	c GARBAGE COLLECT
299.29/300.16	c #Conflicts:     793000 | #Constraints:      19528
299.29/300.16	c #Conflicts:     794000 | #Constraints:      20528
299.29/300.16	c #Conflicts:     795000 | #Constraints:      21528
299.29/300.16	c #Conflicts:     796000 | #Constraints:      22528
299.29/300.16	c #Conflicts:     797000 | #Constraints:      23529
299.29/300.16	c #Conflicts:     798000 | #Constraints:      24529
299.29/300.16	c #Conflicts:     799000 | #Constraints:      25529
299.29/300.16	c #Conflicts:     800000 | #Constraints:      26529
299.29/300.16	c #Conflicts:     801000 | #Constraints:      27529
299.29/300.16	c #Conflicts:     802000 | #Constraints:      28529
299.29/300.16	c #Conflicts:     803000 | #Constraints:      29529
299.29/300.16	c #Conflicts:     804000 | #Constraints:      30529
299.29/300.16	c #Conflicts:     805000 | #Constraints:      31529
299.29/300.16	c #Conflicts:     806000 | #Constraints:      32529
299.29/300.16	c #Conflicts:     807000 | #Constraints:      33529
299.29/300.16	c #Conflicts:     808000 | #Constraints:      34529
299.29/300.16	c #Conflicts:     809000 | #Constraints:      35529
299.29/300.16	c #Conflicts:     810000 | #Constraints:      36529
299.29/300.16	c INPROCESSING
299.29/300.16	c GARBAGE COLLECT
299.29/300.16	c #Conflicts:     811000 | #Constraints:      19713
299.29/300.16	c #Conflicts:     812000 | #Constraints:      20713
299.29/300.16	c #Conflicts:     813000 | #Constraints:      21713
299.29/300.16	c #Conflicts:     814000 | #Constraints:      22713
299.29/300.16	c #Conflicts:     815000 | #Constraints:      23713
299.29/300.16	c #Conflicts:     816000 | #Constraints:      24713
299.29/300.16	c #Conflicts:     817000 | #Constraints:      25713
299.29/300.16	c #Conflicts:     818000 | #Constraints:      26713
299.29/300.16	c #Conflicts:     819000 | #Constraints:      27713
299.29/300.16	c #Conflicts:     820000 | #Constraints:      28713
299.29/300.16	c #Conflicts:     821000 | #Constraints:      29713
299.29/300.16	c #Conflicts:     822000 | #Constraints:      30713
299.29/300.16	c #Conflicts:     823000 | #Constraints:      31713
299.29/300.16	c #Conflicts:     824000 | #Constraints:      32713
299.29/300.16	c #Conflicts:     825000 | #Constraints:      33713
299.29/300.16	c #Conflicts:     826000 | #Constraints:      34713
299.29/300.16	c #Conflicts:     827000 | #Constraints:      35713
299.29/300.16	c #Conflicts:     828000 | #Constraints:      36713
299.29/300.16	c INPROCESSING
299.29/300.16	c GARBAGE COLLECT
299.29/300.16	c #Conflicts:     829000 | #Constraints:      19712
299.29/300.16	c #Conflicts:     830000 | #Constraints:      20712
299.29/300.16	c #Conflicts:     831000 | #Constraints:      21712
299.29/300.16	c #Conflicts:     832000 | #Constraints:      22712
299.29/300.16	c #Conflicts:     833000 | #Constraints:      23712
299.29/300.16	c #Conflicts:     834000 | #Constraints:      24712
299.29/300.16	c #Conflicts:     835000 | #Constraints:      25712
299.29/300.16	c #Conflicts:     836000 | #Constraints:      26712
299.29/300.16	c #Conflicts:     837000 | #Constraints:      27712
299.29/300.16	c #Conflicts:     838000 | #Constraints:      28712
299.29/300.16	c #Conflicts:     839000 | #Constraints:      29712
299.29/300.16	c #Conflicts:     840000 | #Constraints:      30712
299.29/300.16	c #Conflicts:     841000 | #Constraints:      31712
299.29/300.16	c #Conflicts:     842000 | #Constraints:      32712
299.29/300.16	c #Conflicts:     843000 | #Constraints:      33712
299.29/300.16	c #Conflicts:     844000 | #Constraints:      34712
299.29/300.16	c #Conflicts:     845000 | #Constraints:      35712
299.29/300.16	c #Conflicts:     846000 | #Constraints:      36712
299.29/300.16	c INPROCESSING
299.29/300.16	c GARBAGE COLLECT
299.29/300.16	c rational objective 61.0024
321.43/322.39	c #Conflicts:     847000 | #Constraints:      19502
321.43/322.39	c #Conflicts:     848000 | #Constraints:      20503
321.43/322.39	c #Conflicts:     849000 | #Constraints:      21503
321.43/322.39	c #Conflicts:     850000 | #Constraints:      22503
321.43/322.39	c #Conflicts:     851000 | #Constraints:      23503
321.43/322.39	c #Conflicts:     852000 | #Constraints:      24504
321.43/322.39	c #Conflicts:     853000 | #Constraints:      25505
321.43/322.39	c #Conflicts:     854000 | #Constraints:      26506
321.43/322.39	c #Conflicts:     855000 | #Constraints:      27507
321.43/322.39	c #Conflicts:     856000 | #Constraints:      28508
321.43/322.39	c #Conflicts:     857000 | #Constraints:      29508
321.43/322.39	c #Conflicts:     858000 | #Constraints:      30508
321.43/322.39	c #Conflicts:     859000 | #Constraints:      31509
321.43/322.39	c #Conflicts:     860000 | #Constraints:      32509
321.43/322.39	c #Conflicts:     861000 | #Constraints:      33511
321.43/322.39	c #Conflicts:     862000 | #Constraints:      34513
321.43/322.39	c #Conflicts:     863000 | #Constraints:      35514
321.43/322.39	c #Conflicts:     864000 | #Constraints:      36515
321.43/322.39	c #Conflicts:     865000 | #Constraints:      37517
321.43/322.39	c INPROCESSING
321.43/322.39	c GARBAGE COLLECT
321.43/322.39	c #Conflicts:     866000 | #Constraints:      20119
321.43/322.39	c #Conflicts:     867000 | #Constraints:      21120
321.43/322.39	c #Conflicts:     868000 | #Constraints:      22121
321.43/322.39	c #Conflicts:     869000 | #Constraints:      23122
321.43/322.39	c #Conflicts:     870000 | #Constraints:      24123
321.43/322.39	c #Conflicts:     871000 | #Constraints:      25125
321.43/322.39	c #Conflicts:     872000 | #Constraints:      26126
321.43/322.39	c #Conflicts:     873000 | #Constraints:      27126
321.43/322.39	c #Conflicts:     874000 | #Constraints:      28127
321.43/322.39	c #Conflicts:     875000 | #Constraints:      29128
321.43/322.39	c #Conflicts:     876000 | #Constraints:      30129
321.43/322.39	c #Conflicts:     877000 | #Constraints:      31131
321.43/322.39	c #Conflicts:     878000 | #Constraints:      32132
321.43/322.39	c #Conflicts:     879000 | #Constraints:      33133
321.43/322.39	c #Conflicts:     880000 | #Constraints:      34134
321.43/322.39	c #Conflicts:     881000 | #Constraints:      35134
321.43/322.39	c #Conflicts:     882000 | #Constraints:      36135
321.43/322.39	c #Conflicts:     883000 | #Constraints:      37136
321.43/322.39	c #Conflicts:     884000 | #Constraints:      38138
321.43/322.39	c INPROCESSING
321.43/322.39	c GARBAGE COLLECT
321.43/322.39	c #Conflicts:     885000 | #Constraints:      20521
321.43/322.39	c #Conflicts:     886000 | #Constraints:      21522
321.43/322.39	c #Conflicts:     887000 | #Constraints:      22523
321.43/322.39	c #Conflicts:     888000 | #Constraints:      23529
321.43/322.39	c #Conflicts:     889000 | #Constraints:      24532
321.43/322.39	c #Conflicts:     890000 | #Constraints:      25537
321.43/322.39	c #Conflicts:     891000 | #Constraints:      26543
321.43/322.39	c #Conflicts:     892000 | #Constraints:      27548
321.43/322.39	c #Conflicts:     893000 | #Constraints:      28548
321.43/322.39	c #Conflicts:     894000 | #Constraints:      29549
321.43/322.39	c #Conflicts:     895000 | #Constraints:      30550
321.43/322.39	c #Conflicts:     896000 | #Constraints:      31551
321.43/322.39	c #Conflicts:     897000 | #Constraints:      32551
321.43/322.39	c #Conflicts:     898000 | #Constraints:      33552
321.43/322.39	c #Conflicts:     899000 | #Constraints:      34554
321.43/322.39	c #Conflicts:     900000 | #Constraints:      35555
321.43/322.39	c #Conflicts:     901000 | #Constraints:      36557
321.43/322.39	c #Conflicts:     902000 | #Constraints:      37557
321.43/322.39	c #Conflicts:     903000 | #Constraints:      38560
321.43/322.39	c INPROCESSING
321.43/322.39	c GARBAGE COLLECT
321.43/322.39	c cpu time 317.262 s
321.43/322.39	c deterministic time 29117224565 2.91e+10
321.43/322.39	c optimization time 9.1e-05 s
321.43/322.39	c total solve time 317.259 s
321.43/322.39	c core-guided solve time 0 s
321.43/322.39	c propagation time 224.554 s
321.43/322.39	c conflict analysis time 75.4972 s
321.43/322.39	c propagations 50998123
321.43/322.39	c resolve steps 15385941
321.43/322.39	c decisions 1274777
321.43/322.39	c conflicts 903002
321.43/322.39	c restarts 1966
321.43/322.39	c inprocessing phases 86
321.43/322.39	c garbage collections 86 ,( 100.00 )
321.43/322.39	c input clauses 645 ,( 68.47 )
321.43/322.39	c input cardinalities 2 ,( 0.21 )
321.43/322.39	c input general constraints 295 ,( 31.32 )
321.43/322.39	c input average constraint length 5.45
321.43/322.39	c input average constraint degree 2.82
321.43/322.39	c learned clauses 756084 ,( 83.62 )
321.43/322.39	c learned cardinalities 461 ,( 0.05 )
321.43/322.39	c learned general constraints 147608 ,( 16.33 )
321.43/322.39	c learned average constraint length 149.58
321.43/322.39	c learned average constraint degree 9622871.02
321.43/322.39	c watched  CF 32, 64, 128, Arb: 135034 , 0 , 0 , 0
321.43/322.39	c counting CF 32, 64, 128, Arb: 12869 , 0 , 0 , 0
321.43/322.39	c watched   constraints 135034 ,( 91.30 ) 
321.43/322.39	c counting  constraints 12869 ,( 8.70 ) 
321.43/322.39	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 608858251 , 81537929 , 1050629422 ,( 870741930 , 179887492 )
321.43/322.39	c gcd simplifications 113545
321.43/322.39	c detected cardinalities 176
321.43/322.39	c weakened non-implied lits 16774170
321.43/322.39	c weakened non-implying lits 235620
321.43/322.39	c original variables 428
321.43/322.39	c clausal propagations 17281657
321.43/322.39	c cardinality propagations 551675
321.43/322.39	c watched propagations 9490528
321.43/322.39	c counting propagations 21956465
321.43/322.39	c watch lookups 6111033604
321.43/322.39	c watch backjump lookups 0
321.43/322.39	c watch checks 21482911626
321.43/322.39	c propagation checks 1065006789
321.43/322.39	c constraint additions 352642824
321.43/322.39	c trail pops 53175856
321.43/322.39	c formula constraints 942
321.43/322.39	c learned constraints 902987
321.43/322.39	c bound constraints 0
321.43/322.39	c core-guided constraints 0
321.43/322.39	c encountered formula constraints 12601904
321.43/322.39	c encountered learned constraints 3687000
321.43/322.39	c encountered bound constraints 0
321.43/322.39	c encountered core-guided constraints 0
321.43/322.39	c LP total time 12.7145 s
321.43/322.39	c LP solve time 10.11 s
321.43/322.39	c LP constraints added 955
321.43/322.39	c LP constraints removed 8
321.43/322.39	c LP pivots internal 90403
321.43/322.39	c LP pivots root 90562
321.43/322.39	c LP calls 1234
321.43/322.39	c LP optimalities 74
321.43/322.39	c LP no pivot count 1
321.43/322.39	c LP infeasibilities 1146
321.43/322.39	c LP valid Farkas constraints 1144
321.43/322.39	c LP learned Farkas constraints 15
321.43/322.39	c LP basis resets 12
321.43/322.39	c LP cycling count 0
321.43/322.39	c LP singular count 8
321.43/322.39	c LP no primal count 0
321.43/322.39	c LP no farkas count 2
321.43/322.39	c LP other issue count 2
321.43/322.39	c LP Gomory cuts 7
321.43/322.39	c LP learned cuts 6
321.43/322.39	c LP deleted cuts 8
321.43/322.39	c LP encountered Gomory constraints 0
321.43/322.39	c LP encountered Farkas constraints 9
321.43/322.39	c LP encountered learned Farkas constraints 15
321.43/322.39	c CG auxiliary variables introduced 0
321.43/322.39	c CG solutions found 0
321.43/322.39	c CG cores constructed 0
321.43/322.39	c CG core cardinality constraints returned 0
321.43/322.39	c CG unit cores 0
321.43/322.39	c CG single cores 0
321.43/322.39	c CG blocks removed during cardinality reduction 0
321.43/322.39	c CG first core best 0
321.43/322.39	c CG decision core best 0
321.43/322.39	c CG core reduction tie 0
321.43/322.39	c CG core degree average 0.00
321.43/322.39	c CG core slack average 0.00
321.43/322.39	c CG core upper bound improvements 0
321.43/322.39	c STR number of successful calls 0
321.43/322.39	c STR number of unsuccessful calls 0
321.43/322.39	c STR number of inconclusive calls 0
321.43/322.39	c STR number of successful attempts 0
321.43/322.39	c STR number of unsuccessful attempts 0
321.43/322.39	c STR number of inconclusive attempts 0
321.43/322.39	c STR average degree increase per successful call inf
321.43/322.39	c STR average degree increase per successful attempt inf
321.43/322.39	c STR total number of conflicts for successful attempts 0
321.43/322.39	c STR total number of conflicts for unsuccessful attempts 0
321.43/322.39	c STR total number of conflicts for inconclusive attempts 0
321.43/322.39	c STR average number of conflicts per successful attempt inf
321.43/322.39	c STR average number of conflicts per unsuccessful attempt inf
321.43/322.39	c STR average number of conflicts per inconclusive attempt inf
321.43/322.39	c AVG.sumWPerc 17.31 
321.43/322.39	c bigint constraints 0 
321.43/322.39	s SATISFIABLE
321.43/322.39	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428

OK	0

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62743 MiB free)
  memory of node 1: 64465 MiB (63675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493807-1751150316/watcher-4493807-1751150316 -o /tmp/evaluation-result-4493807-1751150316/solver-4493807-1751150316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14374 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4493807-1751150316.opb PROOFDIR/proof-4493807-1751150316 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=15770, runsolver pid=15767

[startup+0.100057 s]*
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129453096/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=57808 memory=14468 CPUtime=0.08 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 1082 0 0 0 8 0 0 0 20 0 1 0 30709174 59195392 3617 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 14452 3617 2336 1147 0 1879 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62000 KiB
Current children cumulated memory: 17412 KiB

[startup+0.205626 s]*
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129453272/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=58072 memory=14724 CPUtime=0.19 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 1177 0 0 0 18 1 0 0 20 0 1 0 30709174 59465728 3681 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 14518 3681 2336 1147 0 1945 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62264 KiB
Current children cumulated memory: 17668 KiB

[startup+0.305301 s]*
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129451760/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=58748 memory=15364 CPUtime=0.29 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 1317 0 0 0 28 1 0 0 20 0 1 0 30709174 60157952 3841 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 14687 3841 2336 1147 0 2114 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62940 KiB
Current children cumulated memory: 18308 KiB

[startup+0.700158 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129449744/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=59688 memory=16516 CPUtime=0.68 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 1568 0 0 0 66 2 0 0 20 0 1 0 30709174 61120512 4129 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 14922 4129 2368 1147 0 2349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63880 KiB
Current children cumulated memory: 19460 KiB

[startup+1.50019 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129441932/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=60512 memory=19220 CPUtime=1.48 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 1758 0 0 0 144 4 0 0 20 0 1 0 30709174 61964288 4805 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 15128 4805 2368 1147 0 2555 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64704 KiB
Current children cumulated memory: 22164 KiB

[startup+3.1052 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129405292/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=61668 memory=20372 CPUtime=3.07 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 2022 0 0 0 301 6 0 0 20 0 1 0 30709174 63148032 5093 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 15417 5093 2368 1147 0 2844 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 23316 KiB

[startup+6.30013 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129355036/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=66124 memory=22292 CPUtime=6.27 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 2532 0 0 0 614 13 0 0 20 0 1 0 30709174 67710976 5573 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 16531 5573 2368 1147 0 3958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70316 KiB
Current children cumulated memory: 25236 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15819
/proc/meminfo: memFree=129389180/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=67664 memory=24980 CPUtime=12.65 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 3207 0 0 0 1237 28 0 0 20 0 1 0 30709174 69287936 6245 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 16916 6245 2368 1147 0 4343 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 71856 KiB
Current children cumulated memory: 27924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.06 4.04 5/271 15911
/proc/meminfo: memFree=127822844/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=77236 memory=31764 CPUtime=25.41 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 4885 0 0 0 2491 50 0 0 20 0 1 0 30709174 79089664 7941 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 19309 7941 2368 1147 0 6736 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 81428 KiB
Current children cumulated memory: 34708 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.07 4.04 5/272 16006
/proc/meminfo: memFree=128598540/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=79916 memory=37468 CPUtime=50.94 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 5833 0 0 0 5005 89 0 0 20 0 1 0 30709174 81833984 9367 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 19979 9367 2368 1147 0 7406 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 84108 KiB
Current children cumulated memory: 40412 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.04 5/272 16191
/proc/meminfo: memFree=128426056/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=91688 memory=45028 CPUtime=101.97 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 8301 0 0 0 10034 163 0 0 20 0 1 0 30709174 93888512 11257 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 22922 11257 2496 1147 0 10349 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 47972 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.05 4/266 16338
/proc/meminfo: memFree=127806428/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=96564 memory=50848 CPUtime=161.82 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 10381 0 0 0 15948 234 0 0 20 0 1 0 30709174 98881536 12712 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 24141 12712 2496 1147 0 11568 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 100756 KiB
Current children cumulated memory: 53792 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.10 4.06 5/270 16561
/proc/meminfo: memFree=127546532/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=97976 memory=54220 CPUtime=221.68 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 11975 0 0 0 21867 301 0 0 20 0 1 0 30709174 100327424 13555 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 24494 13555 2496 1147 0 11921 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 102168 KiB
Current children cumulated memory: 57164 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.12 4.07 5/272 16610
/proc/meminfo: memFree=127484820/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=100248 memory=57424 CPUtime=281.53 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13477 0 0 0 27778 375 0 0 20 0 1 0 30709174 102653952 14356 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 25062 14356 2496 1147 0 12489 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 104440 KiB
Current children cumulated memory: 60368 KiB

[startup+322.433 s]
# the end of solver process 15770 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=317.266 s, system=4.27382 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+307.2 s]
/proc/loadavg: 4.19 4.13 4.07 5/272 16611
/proc/meminfo: memFree=127277880/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=100248 memory=58064 CPUtime=306.36 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13622 0 0 0 30228 408 0 0 20 0 1 0 30709174 102653952 14516 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 25062 14516 2496 1147 0 12489 0
Current children cumulated CPU time: 306.36 s
Current children cumulated vsize: 104440 KiB
Current children cumulated memory: 61008 KiB

[startup+313.6 s]
/proc/loadavg: 4.18 4.13 4.07 5/272 16611
/proc/meminfo: memFree=127239204/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=100248 memory=58320 CPUtime=312.75 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13697 0 0 0 30860 415 0 0 20 0 1 0 30709174 102653952 14580 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 25062 14580 2496 1147 0 12489 0
Current children cumulated CPU time: 312.75 s
Current children cumulated vsize: 104440 KiB
Current children cumulated memory: 61264 KiB

[startup+316.8 s]
/proc/loadavg: 4.16 4.12 4.07 5/273 16613
/proc/meminfo: memFree=127174188/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=111924 memory=58448 CPUtime=315.94 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13737 0 0 0 31174 420 0 0 20 0 1 0 30709174 114610176 14612 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 27981 14612 2496 1147 0 15408 0
Current children cumulated CPU time: 315.94 s
Current children cumulated vsize: 116116 KiB
Current children cumulated memory: 61392 KiB

[startup+320 s]*
/proc/loadavg: 4.15 4.12 4.07 5/273 16613
/proc/meminfo: memFree=127108604/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=111924 memory=58448 CPUtime=319.14 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13738 0 0 0 31490 424 0 0 20 0 1 0 30709174 114610176 14612 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 27981 14612 2496 1147 0 15408 0
Current children cumulated CPU time: 319.14 s
Current children cumulated vsize: 116116 KiB
Current children cumulated memory: 61392 KiB

[startup+321.6 s]
/proc/loadavg: 4.15 4.12 4.07 5/273 16613
/proc/meminfo: memFree=127130388/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=111924 memory=58576 CPUtime=320.72 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13751 0 0 0 31647 425 0 0 20 0 1 0 30709174 114610176 14644 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 27981 14644 2496 1147 0 15408 0
Current children cumulated CPU time: 320.72 s
Current children cumulated vsize: 116116 KiB
Current children cumulated memory: 61520 KiB

[startup+322 s]*
/proc/loadavg: 4.15 4.12 4.07 5/273 16613
/proc/meminfo: memFree=127116816/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=111924 memory=58704 CPUtime=321.13 cores=1,3
/proc/15772/stat : 15772 (roundingsat) R 15770 15770 14359 0 -1 4194304 13773 0 0 0 31687 426 0 0 20 0 1 0 30709174 114610176 14676 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 27981 14676 2496 1147 0 15408 0
Current children cumulated CPU time: 321.13 s
Current children cumulated vsize: 116116 KiB
Current children cumulated memory: 61648 KiB

[startup+322.4 s]
/proc/loadavg: 4.15 4.12 4.07 5/273 16613
/proc/meminfo: memFree=127116816/131249988 swapFree=33010684/33010684
[pid=15770] ppid=15767 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/15770/stat : 15770 (run-dec-ls-log.) S 15767 15770 14359 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 30709174 4292608 736 18446744073709551615 93991999418368 93992000312901 140721004471408 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93992000551952 93992000599696 93992028311552 140721004476699 140721004476897 140721004476897 140721004482499 0
/proc/15770/statm: 1048 736 672 219 0 110 0
[pid=15772] ppid=15770 vsize=112236 memory=59472 CPUtime=321.52 cores=1,3
/proc/15772/stat : 15772 (roundingsat) D 15770 15770 14359 0 -1 4194304 13978 0 0 0 31726 426 0 0 20 0 1 0 30709174 114929664 14868 18446744073709551615 4227072 8923433 140729595243216 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 27029504 140729595251024 140729595251240 140729595251240 140729595256810 0
/proc/15772/statm: 28059 14868 2496 1147 0 15486 0
Current children cumulated CPU time: 321.52 s
Current children cumulated vsize: 116428 KiB
Current children cumulated memory: 62416 KiB

Child status: 0

Real time (s): 322.433
CPU time (s): 321.54
CPU user time (s): 317.266
CPU system time (s): 4.27382
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 116428
Max. memory (cumulated for all children) (KiB): 62416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.266
system time used= 4.27382
maximum resident set size= 59472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1667248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 602
involuntary context switches= 742


# summary of solver processes directly reported to runsolver:
#   pid: 15770
#   total CPU time (s): 321.54
#   total CPU user time (s): 317.266
#   total CPU system time (s): 4.27382

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.517843 second user time and 1.58894 second system time

The end

Begin job on nodeC020 at 2025-06-29 00:38:36
IDJOB=4493807
IDBENCH=147873
IDSOLVER=3354
FILE ID=nodeC020/4493807-1751150316
RUNJOBID= nodeC020-1751146607-14374
SLURM_JOB_ID= 9587464
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493807-1751150316/watcher-4493807-1751150316 -o /tmp/evaluation-result-4493807-1751150316/solver-4493807-1751150316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14374 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4493807-1751150316.opb PROOFDIR/proof-4493807-1751150316

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=1449224976

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.664
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.920
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.185
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.078
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.849
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.912
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.661
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.452
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129452552 kB
MemAvailable:   129511012 kB
Buffers:            3280 kB
Cached:           866732 kB
SwapCached:            0 kB
Active:           622068 kB
Inactive:         609980 kB
Active(anon):     380168 kB
Inactive(anon):        0 kB
Active(file):     241900 kB
Inactive(file):   609980 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64872 kB
Writeback:            24 kB
AnonPages:        364188 kB
Mapped:           115012 kB
Shmem:             18056 kB
KReclaimable:      91636 kB
Slab:             178740 kB
SReclaimable:      91636 kB
SUnreclaim:        87104 kB
KernelStack:        4400 kB
PageTables:         3936 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     723940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC020 at 2025-06-29 00:43:59