0.00/0.11 c RoundingSat 2
0.00/0.11 c branch pb25
0.00/0.11 c commit 63f22ad
0.09/0.29 c #variables 4115 #constraints 48009
5.47/5.66 c #Conflicts: 1000 | #Constraints: 49008
5.47/5.66 c #Conflicts: 2000 | #Constraints: 50008
5.47/5.66 c INPROCESSING
5.47/5.66 c GARBAGE COLLECT
5.47/5.66 c #Conflicts: 3000 | #Constraints: 50016
5.47/5.66 c #Conflicts: 4000 | #Constraints: 51016
5.47/5.66 c INPROCESSING
5.47/5.66 c GARBAGE COLLECT
5.47/5.66 c #Conflicts: 5000 | #Constraints: 50424
5.47/5.66 c #Conflicts: 6000 | #Constraints: 51424
5.47/5.66 c INPROCESSING
5.47/5.66 c GARBAGE COLLECT
5.47/5.66 c #Conflicts: 7000 | #Constraints: 50429
5.47/5.66 c #Conflicts: 8000 | #Constraints: 51429
5.47/5.66 c #Conflicts: 9000 | #Constraints: 52429
5.47/5.66 c INPROCESSING
5.47/5.66 c GARBAGE COLLECT
5.47/5.66 c #Conflicts: 10000 | #Constraints: 51139
5.47/5.66 c #Conflicts: 11000 | #Constraints: 52139
5.47/5.66 c #Conflicts: 12000 | #Constraints: 53139
5.47/5.66 c INPROCESSING
5.47/5.66 c GARBAGE COLLECT
5.47/5.66 c rational objective 63.4062
8.96/9.15 c #Conflicts: 13000 | #Constraints: 51597
8.96/9.15 c #Conflicts: 14000 | #Constraints: 52597
8.96/9.15 c #Conflicts: 15000 | #Constraints: 53597
8.96/9.15 c INPROCESSING
8.96/9.15 c GARBAGE COLLECT
8.96/9.15 c #Conflicts: 16000 | #Constraints: 51840
8.96/9.15 c #Conflicts: 17000 | #Constraints: 52840
8.96/9.15 c #Conflicts: 18000 | #Constraints: 53840
8.96/9.15 c INPROCESSING
8.96/9.15 c GARBAGE COLLECT
8.96/9.15 c rational objective 63.5312
13.85/14.10 c #Conflicts: 19000 | #Constraints: 51852
13.85/14.10 c #Conflicts: 20000 | #Constraints: 52852
13.85/14.10 c #Conflicts: 21000 | #Constraints: 53852
13.85/14.10 c INPROCESSING
13.85/14.10 c GARBAGE COLLECT
13.85/14.10 c #Conflicts: 22000 | #Constraints: 51653
13.85/14.10 c #Conflicts: 23000 | #Constraints: 52653
13.85/14.10 c #Conflicts: 24000 | #Constraints: 53653
13.85/14.10 c #Conflicts: 25000 | #Constraints: 54653
13.85/14.10 c INPROCESSING
13.85/14.10 c GARBAGE COLLECT
13.85/14.10 c #Conflicts: 26000 | #Constraints: 52248
13.85/14.10 c #Conflicts: 27000 | #Constraints: 53248
13.85/14.10 c #Conflicts: 28000 | #Constraints: 54248
13.85/14.10 c #Conflicts: 29000 | #Constraints: 55248
13.85/14.10 c INPROCESSING
13.85/14.10 c GARBAGE COLLECT
13.85/14.10 c rational objective 63.5938
18.43/18.62 c #Conflicts: 30000 | #Constraints: 52657
18.43/18.62 c #Conflicts: 31000 | #Constraints: 53657
18.43/18.62 c #Conflicts: 32000 | #Constraints: 54657
18.43/18.62 c #Conflicts: 33000 | #Constraints: 55657
18.43/18.62 c INPROCESSING
18.43/18.62 c GARBAGE COLLECT
18.43/18.62 c #Conflicts: 34000 | #Constraints: 52852
18.43/18.62 c #Conflicts: 35000 | #Constraints: 53852
18.43/18.62 c #Conflicts: 36000 | #Constraints: 54852
18.43/18.62 c #Conflicts: 37000 | #Constraints: 55852
18.43/18.62 c INPROCESSING
18.43/18.62 c GARBAGE COLLECT
18.43/18.62 c rational objective 63.625
21.73/22.00 c #Conflicts: 38000 | #Constraints: 52868
21.73/22.00 c #Conflicts: 39000 | #Constraints: 53868
21.73/22.00 c #Conflicts: 40000 | #Constraints: 54868
21.73/22.00 c #Conflicts: 41000 | #Constraints: 55868
21.73/22.00 c INPROCESSING
21.73/22.00 c GARBAGE COLLECT
21.73/22.00 c rational objective 63.7812
27.81/28.01 c #Conflicts: 42000 | #Constraints: 52686
27.81/28.01 c #Conflicts: 43000 | #Constraints: 53686
27.81/28.01 c #Conflicts: 44000 | #Constraints: 54686
27.81/28.01 c #Conflicts: 45000 | #Constraints: 55686
27.81/28.01 c #Conflicts: 46000 | #Constraints: 56686
27.81/28.01 c INPROCESSING
27.81/28.01 c GARBAGE COLLECT
27.81/28.01 c #Conflicts: 47000 | #Constraints: 53268
27.81/28.01 c #Conflicts: 48000 | #Constraints: 54268
27.81/28.01 c #Conflicts: 49000 | #Constraints: 55268
27.81/28.01 c #Conflicts: 50000 | #Constraints: 56268
27.81/28.01 c #Conflicts: 51000 | #Constraints: 57268
27.81/28.01 c INPROCESSING
27.81/28.01 c GARBAGE COLLECT
27.81/28.01 c rational objective 63.9062
46.65/46.94 c #Conflicts: 52000 | #Constraints: 53670
46.65/46.94 c #Conflicts: 53000 | #Constraints: 54670
46.65/46.94 c #Conflicts: 54000 | #Constraints: 55670
46.65/46.94 c #Conflicts: 55000 | #Constraints: 56670
46.65/46.94 c #Conflicts: 56000 | #Constraints: 57670
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c #Conflicts: 57000 | #Constraints: 53868
46.65/46.94 c #Conflicts: 58000 | #Constraints: 54868
46.65/46.94 c #Conflicts: 59000 | #Constraints: 55868
46.65/46.94 c #Conflicts: 60000 | #Constraints: 56868
46.65/46.94 c #Conflicts: 61000 | #Constraints: 57868
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c #Conflicts: 62000 | #Constraints: 53872
46.65/46.94 c #Conflicts: 63000 | #Constraints: 54872
46.65/46.94 c #Conflicts: 64000 | #Constraints: 55872
46.65/46.94 c #Conflicts: 65000 | #Constraints: 56872
46.65/46.94 c #Conflicts: 66000 | #Constraints: 57872
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c #Conflicts: 67000 | #Constraints: 53668
46.65/46.94 c #Conflicts: 68000 | #Constraints: 54668
46.65/46.94 c #Conflicts: 69000 | #Constraints: 55668
46.65/46.94 c #Conflicts: 70000 | #Constraints: 56668
46.65/46.94 c #Conflicts: 71000 | #Constraints: 57668
46.65/46.94 c #Conflicts: 72000 | #Constraints: 58668
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c #Conflicts: 73000 | #Constraints: 54277
46.65/46.94 c #Conflicts: 74000 | #Constraints: 55277
46.65/46.94 c #Conflicts: 75000 | #Constraints: 56277
46.65/46.94 c #Conflicts: 76000 | #Constraints: 57277
46.65/46.94 c #Conflicts: 77000 | #Constraints: 58277
46.65/46.94 c #Conflicts: 78000 | #Constraints: 59277
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c #Conflicts: 79000 | #Constraints: 54663
46.65/46.94 c #Conflicts: 80000 | #Constraints: 55663
46.65/46.94 c #Conflicts: 81000 | #Constraints: 56663
46.65/46.94 c #Conflicts: 82000 | #Constraints: 57663
46.65/46.94 c #Conflicts: 83000 | #Constraints: 58663
46.65/46.94 c #Conflicts: 84000 | #Constraints: 59663
46.65/46.94 c INPROCESSING
46.65/46.94 c GARBAGE COLLECT
46.65/46.94 c rational objective 63.9688
56.93/57.25 c #Conflicts: 85000 | #Constraints: 54874
56.93/57.25 c #Conflicts: 86000 | #Constraints: 55874
56.93/57.25 c #Conflicts: 87000 | #Constraints: 56874
56.93/57.25 c #Conflicts: 88000 | #Constraints: 57874
56.93/57.25 c #Conflicts: 89000 | #Constraints: 58874
56.93/57.25 c #Conflicts: 90000 | #Constraints: 59874
56.93/57.25 c INPROCESSING
56.93/57.25 c GARBAGE COLLECT
56.93/57.25 c #Conflicts: 91000 | #Constraints: 54889
56.93/57.25 c #Conflicts: 92000 | #Constraints: 55889
56.93/57.25 c #Conflicts: 93000 | #Constraints: 56889
56.93/57.25 c #Conflicts: 94000 | #Constraints: 57889
56.93/57.25 c #Conflicts: 95000 | #Constraints: 58889
56.93/57.25 c #Conflicts: 96000 | #Constraints: 59889
56.93/57.25 c INPROCESSING
56.93/57.25 c GARBAGE COLLECT
56.93/57.25 c rational objective 64.1562
66.10/66.43 c #Conflicts: 97000 | #Constraints: 54686
66.10/66.43 c #Conflicts: 98000 | #Constraints: 55686
66.10/66.43 c #Conflicts: 99000 | #Constraints: 56686
66.10/66.43 c #Conflicts: 100000 | #Constraints: 57686
66.10/66.43 c #Conflicts: 101000 | #Constraints: 58686
66.10/66.43 c #Conflicts: 102000 | #Constraints: 59686
66.10/66.43 c #Conflicts: 103000 | #Constraints: 60686
66.10/66.43 c INPROCESSING
66.10/66.43 c GARBAGE COLLECT
66.10/66.43 c #Conflicts: 104000 | #Constraints: 55279
66.10/66.43 c #Conflicts: 105000 | #Constraints: 56279
66.10/66.43 c #Conflicts: 106000 | #Constraints: 57279
66.10/66.43 c #Conflicts: 107000 | #Constraints: 58279
66.10/66.43 c #Conflicts: 108000 | #Constraints: 59279
66.10/66.43 c #Conflicts: 109000 | #Constraints: 60279
66.10/66.43 c #Conflicts: 110000 | #Constraints: 61279
66.10/66.43 c INPROCESSING
66.10/66.43 c GARBAGE COLLECT
66.10/66.43 c rational objective 64.1875
73.88/74.27 c #Conflicts: 111000 | #Constraints: 55692
73.88/74.27 c #Conflicts: 112000 | #Constraints: 56692
73.88/74.27 c #Conflicts: 113000 | #Constraints: 57692
73.88/74.27 c #Conflicts: 114000 | #Constraints: 58692
73.88/74.27 c #Conflicts: 115000 | #Constraints: 59692
73.88/74.27 c #Conflicts: 116000 | #Constraints: 60692
73.88/74.27 c #Conflicts: 117000 | #Constraints: 61692
73.88/74.27 c INPROCESSING
73.88/74.27 c GARBAGE COLLECT
73.88/74.27 c #Conflicts: 118000 | #Constraints: 55900
73.88/74.27 c #Conflicts: 119000 | #Constraints: 56900
73.88/74.27 c #Conflicts: 120000 | #Constraints: 57900
73.88/74.27 c #Conflicts: 121000 | #Constraints: 58900
73.88/74.27 c #Conflicts: 122000 | #Constraints: 59900
73.88/74.27 c #Conflicts: 123000 | #Constraints: 60900
73.88/74.27 c #Conflicts: 124000 | #Constraints: 61900
73.88/74.27 c INPROCESSING
73.88/74.27 c GARBAGE COLLECT
73.88/74.27 c rational objective 64.3125
100.99/101.43 c #Conflicts: 125000 | #Constraints: 55893
100.99/101.43 c #Conflicts: 126000 | #Constraints: 56893
100.99/101.43 c #Conflicts: 127000 | #Constraints: 57893
100.99/101.43 c #Conflicts: 128000 | #Constraints: 58893
100.99/101.43 c #Conflicts: 129000 | #Constraints: 59893
100.99/101.43 c #Conflicts: 130000 | #Constraints: 60893
100.99/101.43 c #Conflicts: 131000 | #Constraints: 61893
100.99/101.43 c #Conflicts: 132000 | #Constraints: 62893
100.99/101.43 c #Conflicts: 133000 | #Constraints: 63893
100.99/101.43 c #Conflicts: 134000 | #Constraints: 64893
100.99/101.43 c #Conflicts: 135000 | #Constraints: 65893
100.99/101.43 c #Conflicts: 136000 | #Constraints: 66893
100.99/101.43 c #Conflicts: 137000 | #Constraints: 67893
100.99/101.43 c #Conflicts: 138000 | #Constraints: 68893
100.99/101.43 c #Conflicts: 139000 | #Constraints: 69893
100.99/101.43 c #Conflicts: 140000 | #Constraints: 70893
100.99/101.43 c #Conflicts: 141000 | #Constraints: 71893
100.99/101.43 c #Conflicts: 142000 | #Constraints: 72893
100.99/101.43 c #Conflicts: 143000 | #Constraints: 73893
100.99/101.43 c #Conflicts: 144000 | #Constraints: 74893
100.99/101.43 c #Conflicts: 145000 | #Constraints: 75893
100.99/101.43 c #Conflicts: 146000 | #Constraints: 76893
100.99/101.43 c #Conflicts: 147000 | #Constraints: 77893
100.99/101.43 c #Conflicts: 148000 | #Constraints: 78893
100.99/101.43 c #Conflicts: 149000 | #Constraints: 79893
100.99/101.43 c #Conflicts: 150000 | #Constraints: 80893
100.99/101.43 c #Conflicts: 151000 | #Constraints: 81893
100.99/101.43 c #Conflicts: 152000 | #Constraints: 82893
100.99/101.43 c #Conflicts: 153000 | #Constraints: 83893
100.99/101.43 c #Conflicts: 154000 | #Constraints: 84893
100.99/101.43 c #Conflicts: 155000 | #Constraints: 85893
100.99/101.43 c #Conflicts: 156000 | #Constraints: 86893
100.99/101.43 c INPROCESSING
100.99/101.43 c GARBAGE COLLECT
100.99/101.43 c rational objective 64.3937
115.26/115.75 c #Conflicts: 157000 | #Constraints: 68103
115.26/115.75 c #Conflicts: 158000 | #Constraints: 69104
115.26/115.75 c #Conflicts: 159000 | #Constraints: 70104
115.26/115.75 c #Conflicts: 160000 | #Constraints: 71104
115.26/115.75 c #Conflicts: 161000 | #Constraints: 72104
115.26/115.75 c #Conflicts: 162000 | #Constraints: 73104
115.26/115.75 c #Conflicts: 163000 | #Constraints: 74104
115.26/115.75 c #Conflicts: 164000 | #Constraints: 75104
115.26/115.75 c #Conflicts: 165000 | #Constraints: 76104
115.26/115.75 c INPROCESSING
115.26/115.75 c GARBAGE COLLECT
115.26/115.75 c #Conflicts: 166000 | #Constraints: 62953
115.26/115.75 c #Conflicts: 167000 | #Constraints: 63953
115.26/115.75 c #Conflicts: 168000 | #Constraints: 64953
115.26/115.75 c #Conflicts: 169000 | #Constraints: 65953
115.26/115.75 c #Conflicts: 170000 | #Constraints: 66953
115.26/115.75 c #Conflicts: 171000 | #Constraints: 67953
115.26/115.75 c #Conflicts: 172000 | #Constraints: 68954
115.26/115.75 c #Conflicts: 173000 | #Constraints: 69954
115.26/115.75 c #Conflicts: 174000 | #Constraints: 70954
115.26/115.75 c INPROCESSING
115.26/115.75 c GARBAGE COLLECT
115.26/115.75 c rational objective 64.4474
164.61/165.27 c #Conflicts: 175000 | #Constraints: 60533
164.61/165.27 c #Conflicts: 176000 | #Constraints: 61533
164.61/165.27 c #Conflicts: 177000 | #Constraints: 62533
164.61/165.27 c #Conflicts: 178000 | #Constraints: 63533
164.61/165.27 c #Conflicts: 179000 | #Constraints: 64533
164.61/165.27 c #Conflicts: 180000 | #Constraints: 65533
164.61/165.27 c #Conflicts: 181000 | #Constraints: 66533
164.61/165.27 c #Conflicts: 182000 | #Constraints: 67533
164.61/165.27 c INPROCESSING
164.61/165.27 c GARBAGE COLLECT
164.61/165.27 c #Conflicts: 183000 | #Constraints: 58361
164.61/165.27 c #Conflicts: 184000 | #Constraints: 59361
164.61/165.27 c #Conflicts: 185000 | #Constraints: 60361
164.61/165.27 c #Conflicts: 186000 | #Constraints: 61361
164.61/165.27 c #Conflicts: 187000 | #Constraints: 62361
164.61/165.27 c #Conflicts: 188000 | #Constraints: 63361
164.61/165.27 c #Conflicts: 189000 | #Constraints: 64361
164.61/165.27 c #Conflicts: 190000 | #Constraints: 65361
164.61/165.27 c #Conflicts: 191000 | #Constraints: 66361
164.61/165.27 c #Conflicts: 192000 | #Constraints: 67361
164.61/165.27 c #Conflicts: 193000 | #Constraints: 68361
164.61/165.27 c #Conflicts: 194000 | #Constraints: 69361
164.61/165.27 c #Conflicts: 195000 | #Constraints: 70361
164.61/165.27 c #Conflicts: 196000 | #Constraints: 71361
164.61/165.27 c #Conflicts: 197000 | #Constraints: 72361
164.61/165.27 c #Conflicts: 198000 | #Constraints: 73361
164.61/165.27 c #Conflicts: 199000 | #Constraints: 74361
164.61/165.27 c #Conflicts: 200000 | #Constraints: 75361
164.61/165.27 c #Conflicts: 201000 | #Constraints: 76361
164.61/165.27 c #Conflicts: 202000 | #Constraints: 77361
164.61/165.27 c #Conflicts: 203000 | #Constraints: 78361
164.61/165.27 c #Conflicts: 204000 | #Constraints: 79361
164.61/165.27 c #Conflicts: 205000 | #Constraints: 80361
164.61/165.27 c #Conflicts: 206000 | #Constraints: 81361
164.61/165.27 c #Conflicts: 207000 | #Constraints: 82361
164.61/165.27 c #Conflicts: 208000 | #Constraints: 83361
164.61/165.27 c #Conflicts: 209000 | #Constraints: 84361
164.61/165.27 c #Conflicts: 210000 | #Constraints: 85361
164.61/165.27 c #Conflicts: 211000 | #Constraints: 86361
164.61/165.27 c #Conflicts: 212000 | #Constraints: 87361
164.61/165.27 c #Conflicts: 213000 | #Constraints: 88361
164.61/165.27 c #Conflicts: 214000 | #Constraints: 89361
164.61/165.27 c #Conflicts: 215000 | #Constraints: 90361
164.61/165.27 c #Conflicts: 216000 | #Constraints: 91361
164.61/165.27 c #Conflicts: 217000 | #Constraints: 92361
164.61/165.27 c #Conflicts: 218000 | #Constraints: 93361
164.61/165.27 c #Conflicts: 219000 | #Constraints: 94361
164.61/165.27 c #Conflicts: 220000 | #Constraints: 95361
164.61/165.27 c INPROCESSING
164.61/165.27 c GARBAGE COLLECT
164.61/165.27 c rational objective 64.4818
238.20/239.07 c #Conflicts: 221000 | #Constraints: 72347
238.20/239.07 c #Conflicts: 222000 | #Constraints: 73347
238.20/239.07 c #Conflicts: 223000 | #Constraints: 74347
238.20/239.07 c #Conflicts: 224000 | #Constraints: 75347
238.20/239.07 c #Conflicts: 225000 | #Constraints: 76347
238.20/239.07 c #Conflicts: 226000 | #Constraints: 77347
238.20/239.07 c #Conflicts: 227000 | #Constraints: 78347
238.20/239.07 c #Conflicts: 228000 | #Constraints: 79347
238.20/239.07 c #Conflicts: 229000 | #Constraints: 80347
238.20/239.07 c #Conflicts: 230000 | #Constraints: 81347
238.20/239.07 c #Conflicts: 231000 | #Constraints: 82347
238.20/239.07 c INPROCESSING
238.20/239.07 c GARBAGE COLLECT
238.20/239.07 c #Conflicts: 232000 | #Constraints: 66238
238.20/239.07 c #Conflicts: 233000 | #Constraints: 67238
238.20/239.07 c #Conflicts: 234000 | #Constraints: 68238
238.20/239.07 c #Conflicts: 235000 | #Constraints: 69238
238.20/239.07 c #Conflicts: 236000 | #Constraints: 70238
238.20/239.07 c #Conflicts: 237000 | #Constraints: 71238
238.20/239.07 c #Conflicts: 238000 | #Constraints: 72239
238.20/239.07 c #Conflicts: 239000 | #Constraints: 73239
238.20/239.07 c #Conflicts: 240000 | #Constraints: 74239
238.20/239.07 c #Conflicts: 241000 | #Constraints: 75239
238.20/239.07 c INPROCESSING
238.20/239.07 c GARBAGE COLLECT
238.20/239.07 c #Conflicts: 242000 | #Constraints: 62482
238.20/239.07 c #Conflicts: 243000 | #Constraints: 63482
238.20/239.07 c #Conflicts: 244000 | #Constraints: 64482
238.20/239.07 c #Conflicts: 245000 | #Constraints: 65482
238.20/239.07 c #Conflicts: 246000 | #Constraints: 66482
238.20/239.07 c #Conflicts: 247000 | #Constraints: 67482
238.20/239.07 c #Conflicts: 248000 | #Constraints: 68482
238.20/239.07 c #Conflicts: 249000 | #Constraints: 69482
238.20/239.07 c #Conflicts: 250000 | #Constraints: 70482
238.20/239.07 c #Conflicts: 251000 | #Constraints: 71482
238.20/239.07 c #Conflicts: 252000 | #Constraints: 72482
238.20/239.07 c INPROCESSING
238.20/239.07 c GARBAGE COLLECT
238.20/239.07 c #Conflicts: 253000 | #Constraints: 61299
238.20/239.07 c #Conflicts: 254000 | #Constraints: 62299
238.20/239.07 c #Conflicts: 255000 | #Constraints: 63299
238.20/239.07 c #Conflicts: 256000 | #Constraints: 64299
238.20/239.07 c #Conflicts: 257000 | #Constraints: 65299
238.20/239.07 c #Conflicts: 258000 | #Constraints: 66299
238.20/239.07 c #Conflicts: 259000 | #Constraints: 67299
238.20/239.07 c #Conflicts: 260000 | #Constraints: 68299
238.20/239.07 c #Conflicts: 261000 | #Constraints: 69299
238.20/239.07 c #Conflicts: 262000 | #Constraints: 70299
238.20/239.07 c #Conflicts: 263000 | #Constraints: 71299
238.20/239.07 c #Conflicts: 264000 | #Constraints: 72299
238.20/239.07 c #Conflicts: 265000 | #Constraints: 73299
238.20/239.07 c #Conflicts: 266000 | #Constraints: 74300
238.20/239.07 c #Conflicts: 267000 | #Constraints: 75300
238.20/239.07 c #Conflicts: 268000 | #Constraints: 76300
238.20/239.07 c #Conflicts: 269000 | #Constraints: 77300
238.20/239.07 c #Conflicts: 270000 | #Constraints: 78300
238.20/239.07 c #Conflicts: 271000 | #Constraints: 79300
238.20/239.07 c #Conflicts: 272000 | #Constraints: 80300
238.20/239.07 c #Conflicts: 273000 | #Constraints: 81300
238.20/239.07 c #Conflicts: 274000 | #Constraints: 82300
238.20/239.07 c #Conflicts: 275000 | #Constraints: 83300
238.20/239.07 c #Conflicts: 276000 | #Constraints: 84300
238.20/239.07 c #Conflicts: 277000 | #Constraints: 85300
238.20/239.07 c #Conflicts: 278000 | #Constraints: 86300
238.20/239.07 c #Conflicts: 279000 | #Constraints: 87300
238.20/239.07 c #Conflicts: 280000 | #Constraints: 88300
238.20/239.07 c #Conflicts: 281000 | #Constraints: 89300
238.20/239.07 c #Conflicts: 282000 | #Constraints: 90300
238.20/239.07 c #Conflicts: 283000 | #Constraints: 91300
238.20/239.07 c #Conflicts: 284000 | #Constraints: 92300
238.20/239.07 c #Conflicts: 285000 | #Constraints: 93300
238.20/239.07 c #Conflicts: 286000 | #Constraints: 94301
238.20/239.07 c #Conflicts: 287000 | #Constraints: 95303
238.20/239.07 c #Conflicts: 288000 | #Constraints: 96303
238.20/239.07 c #Conflicts: 289000 | #Constraints: 97304
238.20/239.07 c #Conflicts: 290000 | #Constraints: 98305
238.20/239.07 c #Conflicts: 291000 | #Constraints: 99306
238.20/239.07 c #Conflicts: 292000 | #Constraints: 100306
238.20/239.07 c #Conflicts: 293000 | #Constraints: 101307
238.20/239.07 c #Conflicts: 294000 | #Constraints: 102307
238.20/239.07 c #Conflicts: 295000 | #Constraints: 103307
238.20/239.07 c INPROCESSING
238.20/239.07 c GARBAGE COLLECT
238.20/239.07 c rational objective 64.529
311.67/312.78 c #Conflicts: 296000 | #Constraints: 76630
311.67/312.78 c #Conflicts: 297000 | #Constraints: 77630
311.67/312.78 c #Conflicts: 298000 | #Constraints: 78630
311.67/312.78 c #Conflicts: 299000 | #Constraints: 79630
311.67/312.78 c #Conflicts: 300000 | #Constraints: 80630
311.67/312.78 c #Conflicts: 301000 | #Constraints: 81630
311.67/312.78 c #Conflicts: 302000 | #Constraints: 82630
311.67/312.78 c #Conflicts: 303000 | #Constraints: 83630
311.67/312.78 c #Conflicts: 304000 | #Constraints: 84630
311.67/312.78 c #Conflicts: 305000 | #Constraints: 85630
311.67/312.78 c #Conflicts: 306000 | #Constraints: 86630
311.67/312.78 c #Conflicts: 307000 | #Constraints: 87630
311.67/312.78 c INPROCESSING
311.67/312.78 c GARBAGE COLLECT
311.67/312.78 c #Conflicts: 308000 | #Constraints: 68845
311.67/312.78 c #Conflicts: 309000 | #Constraints: 69845
311.67/312.78 c #Conflicts: 310000 | #Constraints: 70845
311.67/312.78 c #Conflicts: 311000 | #Constraints: 71845
311.67/312.78 c #Conflicts: 312000 | #Constraints: 72845
311.67/312.78 c #Conflicts: 313000 | #Constraints: 73845
311.67/312.78 c #Conflicts: 314000 | #Constraints: 74845
311.67/312.78 c #Conflicts: 315000 | #Constraints: 75845
311.67/312.78 c #Conflicts: 316000 | #Constraints: 76845
311.67/312.78 c #Conflicts: 317000 | #Constraints: 77845
311.67/312.78 c #Conflicts: 318000 | #Constraints: 78845
311.67/312.78 c #Conflicts: 319000 | #Constraints: 79845
311.67/312.78 c INPROCESSING
311.67/312.78 c GARBAGE COLLECT
311.67/312.78 c #Conflicts: 320000 | #Constraints: 64901
311.67/312.78 c #Conflicts: 321000 | #Constraints: 65901
311.67/312.78 c #Conflicts: 322000 | #Constraints: 66901
311.67/312.78 c #Conflicts: 323000 | #Constraints: 67901
311.67/312.78 c #Conflicts: 324000 | #Constraints: 68901
311.67/312.78 c #Conflicts: 325000 | #Constraints: 69901
311.67/312.78 c #Conflicts: 326000 | #Constraints: 70901
311.67/312.78 c #Conflicts: 327000 | #Constraints: 71901
311.67/312.78 c #Conflicts: 328000 | #Constraints: 72901
311.67/312.78 c #Conflicts: 329000 | #Constraints: 73901
311.67/312.78 c #Conflicts: 330000 | #Constraints: 74901
311.67/312.78 c #Conflicts: 331000 | #Constraints: 75901
311.67/312.78 c INPROCESSING
311.67/312.78 c GARBAGE COLLECT
311.67/312.78 c #Conflicts: 332000 | #Constraints: 62765
311.67/312.78 c #Conflicts: 333000 | #Constraints: 63765
311.67/312.78 c #Conflicts: 334000 | #Constraints: 64765
311.67/312.78 c #Conflicts: 335000 | #Constraints: 65765
311.67/312.78 c #Conflicts: 336000 | #Constraints: 66765
311.67/312.78 c #Conflicts: 337000 | #Constraints: 67765
311.67/312.78 c #Conflicts: 338000 | #Constraints: 68765
311.67/312.78 c #Conflicts: 339000 | #Constraints: 69765
311.67/312.78 c #Conflicts: 340000 | #Constraints: 70765
311.67/312.78 c #Conflicts: 341000 | #Constraints: 71765
311.67/312.78 c #Conflicts: 342000 | #Constraints: 72765
311.67/312.78 c #Conflicts: 343000 | #Constraints: 73765
311.67/312.78 c #Conflicts: 344000 | #Constraints: 74765
311.67/312.78 c #Conflicts: 345000 | #Constraints: 75765
311.67/312.78 c #Conflicts: 346000 | #Constraints: 76765
311.67/312.78 c #Conflicts: 347000 | #Constraints: 77765
311.67/312.78 c #Conflicts: 348000 | #Constraints: 78765
311.67/312.78 c #Conflicts: 349000 | #Constraints: 79765
311.67/312.78 c #Conflicts: 350000 | #Constraints: 80765
311.67/312.78 c #Conflicts: 351000 | #Constraints: 81765
311.67/312.78 c #Conflicts: 352000 | #Constraints: 82765
311.67/312.78 c #Conflicts: 353000 | #Constraints: 83765
311.67/312.78 c #Conflicts: 354000 | #Constraints: 84765
311.67/312.78 c #Conflicts: 355000 | #Constraints: 85765
311.67/312.78 c #Conflicts: 356000 | #Constraints: 86765
311.67/312.78 c #Conflicts: 357000 | #Constraints: 87765
311.67/312.78 c #Conflicts: 358000 | #Constraints: 88765
311.67/312.78 c #Conflicts: 359000 | #Constraints: 89765
311.67/312.78 c #Conflicts: 360000 | #Constraints: 90765
311.67/312.78 c #Conflicts: 361000 | #Constraints: 91765
311.67/312.78 c #Conflicts: 362000 | #Constraints: 92765
311.67/312.78 c #Conflicts: 363000 | #Constraints: 93765
311.67/312.78 c #Conflicts: 364000 | #Constraints: 94765
311.67/312.78 c #Conflicts: 365000 | #Constraints: 95765
311.67/312.78 c #Conflicts: 366000 | #Constraints: 96765
311.67/312.78 c #Conflicts: 367000 | #Constraints: 97765
311.67/312.78 c #Conflicts: 368000 | #Constraints: 98765
311.67/312.78 c #Conflicts: 369000 | #Constraints: 99765
311.67/312.78 c #Conflicts: 370000 | #Constraints: 100765
311.67/312.78 c #Conflicts: 371000 | #Constraints: 101765
311.67/312.78 c #Conflicts: 372000 | #Constraints: 102765
324.95/326.05 c #Conflicts: 373000 | #Constraints: 103765
324.95/326.05 c #Conflicts: 374000 | #Constraints: 104766
324.95/326.05 c #Conflicts: 375000 | #Constraints: 105766
324.95/326.05 c #Conflicts: 376000 | #Constraints: 106766
324.95/326.05 c #Conflicts: 377000 | #Constraints: 107766
324.95/326.05 c #Conflicts: 378000 | #Constraints: 108767
324.95/326.05 c #Conflicts: 379000 | #Constraints: 109768
324.95/326.05 c #Conflicts: 380000 | #Constraints: 110770
324.95/326.05 c INPROCESSING
324.95/326.05 c GARBAGE COLLECT
324.95/326.05 c rational objective 64.621
411.77/413.16 c #Conflicts: 381000 | #Constraints: 80484
411.77/413.16 c #Conflicts: 382000 | #Constraints: 81485
411.77/413.16 c #Conflicts: 383000 | #Constraints: 82485
411.77/413.16 c #Conflicts: 384000 | #Constraints: 83485
411.77/413.16 c #Conflicts: 385000 | #Constraints: 84485
411.77/413.16 c #Conflicts: 386000 | #Constraints: 85485
411.77/413.16 c #Conflicts: 387000 | #Constraints: 86485
411.77/413.16 c #Conflicts: 388000 | #Constraints: 87485
411.77/413.16 c #Conflicts: 389000 | #Constraints: 88485
411.77/413.16 c #Conflicts: 390000 | #Constraints: 89485
411.77/413.16 c #Conflicts: 391000 | #Constraints: 90485
411.77/413.16 c #Conflicts: 392000 | #Constraints: 91485
411.77/413.16 c #Conflicts: 393000 | #Constraints: 92485
411.77/413.16 c INPROCESSING
411.77/413.16 c GARBAGE COLLECT
411.77/413.16 c #Conflicts: 394000 | #Constraints: 71011
411.77/413.16 c #Conflicts: 395000 | #Constraints: 72011
411.77/413.16 c #Conflicts: 396000 | #Constraints: 73011
411.77/413.16 c #Conflicts: 397000 | #Constraints: 74011
411.77/413.16 c #Conflicts: 398000 | #Constraints: 75011
411.77/413.16 c #Conflicts: 399000 | #Constraints: 76011
411.77/413.16 c #Conflicts: 400000 | #Constraints: 77011
411.77/413.16 c #Conflicts: 401000 | #Constraints: 78011
411.77/413.16 c #Conflicts: 402000 | #Constraints: 79011
411.77/413.16 c #Conflicts: 403000 | #Constraints: 80011
411.77/413.16 c #Conflicts: 404000 | #Constraints: 81011
411.77/413.16 c #Conflicts: 405000 | #Constraints: 82011
411.77/413.16 c #Conflicts: 406000 | #Constraints: 83011
411.77/413.16 c #Conflicts: 407000 | #Constraints: 84011
411.77/413.16 c INPROCESSING
411.77/413.16 c GARBAGE COLLECT
411.77/413.16 c #Conflicts: 408000 | #Constraints: 66904
411.77/413.16 c #Conflicts: 409000 | #Constraints: 67904
411.77/413.16 c #Conflicts: 410000 | #Constraints: 68904
411.77/413.16 c #Conflicts: 411000 | #Constraints: 69904
411.77/413.16 c #Conflicts: 412000 | #Constraints: 70904
411.77/413.16 c #Conflicts: 413000 | #Constraints: 71904
411.77/413.16 c #Conflicts: 414000 | #Constraints: 72904
411.77/413.16 c #Conflicts: 415000 | #Constraints: 73904
411.77/413.16 c #Conflicts: 416000 | #Constraints: 74904
411.77/413.16 c #Conflicts: 417000 | #Constraints: 75904
411.77/413.16 c #Conflicts: 418000 | #Constraints: 76904
411.77/413.16 c #Conflicts: 419000 | #Constraints: 77904
411.77/413.16 c #Conflicts: 420000 | #Constraints: 78904
411.77/413.16 c #Conflicts: 421000 | #Constraints: 79904
411.77/413.16 c INPROCESSING
411.77/413.16 c GARBAGE COLLECT
411.77/413.16 c #Conflicts: 422000 | #Constraints: 64829
411.77/413.16 c #Conflicts: 423000 | #Constraints: 65829
411.77/413.16 c #Conflicts: 424000 | #Constraints: 66829
411.77/413.16 c #Conflicts: 425000 | #Constraints: 67829
411.77/413.16 c #Conflicts: 426000 | #Constraints: 68829
411.77/413.16 c #Conflicts: 427000 | #Constraints: 69829
411.77/413.16 c #Conflicts: 428000 | #Constraints: 70829
411.77/413.16 c #Conflicts: 429000 | #Constraints: 71829
411.77/413.16 c #Conflicts: 430000 | #Constraints: 72829
411.77/413.16 c #Conflicts: 431000 | #Constraints: 73829
411.77/413.16 c #Conflicts: 432000 | #Constraints: 74829
411.77/413.16 c #Conflicts: 433000 | #Constraints: 75829
411.77/413.16 c #Conflicts: 434000 | #Constraints: 76829
411.77/413.16 c #Conflicts: 435000 | #Constraints: 77829
411.77/413.16 c #Conflicts: 436000 | #Constraints: 78829
411.77/413.16 c #Conflicts: 437000 | #Constraints: 79829
411.77/413.16 c #Conflicts: 438000 | #Constraints: 80829
411.77/413.16 c #Conflicts: 439000 | #Constraints: 81829
411.77/413.16 c #Conflicts: 440000 | #Constraints: 82829
411.77/413.16 c #Conflicts: 441000 | #Constraints: 83830
411.77/413.16 c #Conflicts: 442000 | #Constraints: 84830
411.77/413.16 c #Conflicts: 443000 | #Constraints: 85830
411.77/413.16 c #Conflicts: 444000 | #Constraints: 86830
411.77/413.16 c #Conflicts: 445000 | #Constraints: 87832
411.77/413.16 c #Conflicts: 446000 | #Constraints: 88833
411.77/413.16 c #Conflicts: 447000 | #Constraints: 89833
411.77/413.16 c #Conflicts: 448000 | #Constraints: 90845
411.77/413.16 c #Conflicts: 449000 | #Constraints: 91877
411.77/413.16 c #Conflicts: 450000 | #Constraints: 92887
411.77/413.16 c #Conflicts: 451000 | #Constraints: 93888
411.77/413.16 c #Conflicts: 452000 | #Constraints: 94890
411.77/413.16 c #Conflicts: 453000 | #Constraints: 95891
411.77/413.16 c #Conflicts: 454000 | #Constraints: 96891
411.77/413.16 c #Conflicts: 455000 | #Constraints: 97892
411.77/413.16 c #Conflicts: 456000 | #Constraints: 98892
411.77/413.16 c #Conflicts: 457000 | #Constraints: 99892
461.32/462.88 c #Conflicts: 458000 | #Constraints: 100892
461.32/462.88 c #Conflicts: 459000 | #Constraints: 101892
461.32/462.88 c #Conflicts: 460000 | #Constraints: 102892
461.32/462.88 c #Conflicts: 461000 | #Constraints: 103892
461.32/462.88 c #Conflicts: 462000 | #Constraints: 104893
461.32/462.88 c #Conflicts: 463000 | #Constraints: 105893
461.32/462.88 c #Conflicts: 464000 | #Constraints: 106894
461.32/462.88 c #Conflicts: 465000 | #Constraints: 107894
461.32/462.88 c #Conflicts: 466000 | #Constraints: 108894
461.32/462.88 c #Conflicts: 467000 | #Constraints: 109894
461.32/462.88 c #Conflicts: 468000 | #Constraints: 110894
461.32/462.88 c #Conflicts: 469000 | #Constraints: 111894
461.32/462.88 c #Conflicts: 470000 | #Constraints: 112894
461.32/462.88 c #Conflicts: 471000 | #Constraints: 113894
461.32/462.88 c #Conflicts: 472000 | #Constraints: 114894
461.32/462.88 c #Conflicts: 473000 | #Constraints: 115894
461.32/462.88 c #Conflicts: 474000 | #Constraints: 116894
461.32/462.88 c #Conflicts: 475000 | #Constraints: 117894
461.32/462.88 c INPROCESSING
461.32/462.88 c GARBAGE COLLECT
461.32/462.88 c #Conflicts: 476000 | #Constraints: 83913
461.32/462.88 c #Conflicts: 477000 | #Constraints: 84913
461.32/462.88 c #Conflicts: 478000 | #Constraints: 85913
461.32/462.88 c #Conflicts: 479000 | #Constraints: 86913
461.32/462.88 c #Conflicts: 480000 | #Constraints: 87913
461.32/462.88 c #Conflicts: 481000 | #Constraints: 88913
461.32/462.88 c #Conflicts: 482000 | #Constraints: 89913
461.32/462.88 c #Conflicts: 483000 | #Constraints: 90913
461.32/462.88 c #Conflicts: 484000 | #Constraints: 91913
461.32/462.88 c #Conflicts: 485000 | #Constraints: 92913
461.32/462.88 c #Conflicts: 486000 | #Constraints: 93913
461.32/462.88 c #Conflicts: 487000 | #Constraints: 94913
461.32/462.88 c #Conflicts: 488000 | #Constraints: 95914
461.32/462.88 c #Conflicts: 489000 | #Constraints: 96915
461.32/462.88 c #Conflicts: 490000 | #Constraints: 97916
461.32/462.88 c INPROCESSING
461.32/462.88 c GARBAGE COLLECT
461.32/462.88 c rational objective 64.8192
480.87/482.46 c #Conflicts: 491000 | #Constraints: 73791
480.87/482.46 c #Conflicts: 492000 | #Constraints: 74791
480.87/482.46 c #Conflicts: 493000 | #Constraints: 75791
480.87/482.46 c #Conflicts: 494000 | #Constraints: 76791
480.87/482.46 c #Conflicts: 495000 | #Constraints: 77791
480.87/482.46 c #Conflicts: 496000 | #Constraints: 78791
480.87/482.46 c #Conflicts: 497000 | #Constraints: 79791
480.87/482.46 c #Conflicts: 498000 | #Constraints: 80791
480.87/482.46 c #Conflicts: 499000 | #Constraints: 81791
480.87/482.46 c #Conflicts: 500000 | #Constraints: 82791
480.87/482.46 c #Conflicts: 501000 | #Constraints: 83791
480.87/482.46 c #Conflicts: 502000 | #Constraints: 84791
480.87/482.46 c #Conflicts: 503000 | #Constraints: 85791
480.87/482.46 c #Conflicts: 504000 | #Constraints: 86791
480.87/482.46 c #Conflicts: 505000 | #Constraints: 87791
480.87/482.46 c #Conflicts: 506000 | #Constraints: 88791
480.87/482.46 c INPROCESSING
480.87/482.46 c GARBAGE COLLECT
480.87/482.46 c rational objective 65.26
497.44/499.01 c #Conflicts: 507000 | #Constraints: 69466
497.44/499.01 c #Conflicts: 508000 | #Constraints: 70466
497.44/499.01 c #Conflicts: 509000 | #Constraints: 71466
497.44/499.01 c #Conflicts: 510000 | #Constraints: 72467
497.44/499.01 c #Conflicts: 511000 | #Constraints: 73467
497.44/499.01 c #Conflicts: 512000 | #Constraints: 74467
497.44/499.01 c #Conflicts: 513000 | #Constraints: 75467
497.44/499.01 c #Conflicts: 514000 | #Constraints: 76467
497.44/499.01 c #Conflicts: 515000 | #Constraints: 77467
497.44/499.01 c #Conflicts: 516000 | #Constraints: 78467
497.44/499.01 c #Conflicts: 517000 | #Constraints: 79467
497.44/499.01 c #Conflicts: 518000 | #Constraints: 80467
497.44/499.01 c #Conflicts: 519000 | #Constraints: 81467
497.44/499.01 c #Conflicts: 520000 | #Constraints: 82467
497.44/499.01 c #Conflicts: 521000 | #Constraints: 83467
497.44/499.01 c INPROCESSING
497.44/499.01 c GARBAGE COLLECT
497.44/499.01 c rational objective 65.3371
592.80/594.62 c #Conflicts: 522000 | #Constraints: 66448
592.80/594.62 c #Conflicts: 523000 | #Constraints: 67449
592.80/594.62 c #Conflicts: 524000 | #Constraints: 68449
592.80/594.62 c #Conflicts: 525000 | #Constraints: 69449
592.80/594.62 c #Conflicts: 526000 | #Constraints: 70449
592.80/594.62 c #Conflicts: 527000 | #Constraints: 71449
592.80/594.62 c #Conflicts: 528000 | #Constraints: 72449
592.80/594.62 c #Conflicts: 529000 | #Constraints: 73449
592.80/594.62 c #Conflicts: 530000 | #Constraints: 74449
592.80/594.62 c #Conflicts: 531000 | #Constraints: 75449
592.80/594.62 c #Conflicts: 532000 | #Constraints: 76449
592.80/594.62 c #Conflicts: 533000 | #Constraints: 77449
592.80/594.62 c #Conflicts: 534000 | #Constraints: 78449
592.80/594.62 c #Conflicts: 535000 | #Constraints: 79450
592.80/594.62 c #Conflicts: 536000 | #Constraints: 80451
592.80/594.62 c #Conflicts: 537000 | #Constraints: 81452
592.80/594.62 c #Conflicts: 538000 | #Constraints: 82453
592.80/594.62 c #Conflicts: 539000 | #Constraints: 83455
592.80/594.62 c #Conflicts: 540000 | #Constraints: 84457
592.80/594.62 c #Conflicts: 541000 | #Constraints: 85458
592.80/594.62 c #Conflicts: 542000 | #Constraints: 86459
592.80/594.62 c #Conflicts: 543000 | #Constraints: 87461
592.80/594.62 c #Conflicts: 544000 | #Constraints: 88461
592.80/594.62 c #Conflicts: 545000 | #Constraints: 89464
592.80/594.62 c #Conflicts: 546000 | #Constraints: 90465
592.80/594.62 c #Conflicts: 547000 | #Constraints: 91465
592.80/594.62 c #Conflicts: 548000 | #Constraints: 92466
592.80/594.62 c #Conflicts: 549000 | #Constraints: 93467
592.80/594.62 c #Conflicts: 550000 | #Constraints: 94467
592.80/594.62 c #Conflicts: 551000 | #Constraints: 95467
592.80/594.62 c #Conflicts: 552000 | #Constraints: 96467
592.80/594.62 c #Conflicts: 553000 | #Constraints: 97469
592.80/594.62 c #Conflicts: 554000 | #Constraints: 98470
592.80/594.62 c #Conflicts: 555000 | #Constraints: 99470
592.80/594.62 c #Conflicts: 556000 | #Constraints: 100472
592.80/594.62 c #Conflicts: 557000 | #Constraints: 101474
592.80/594.62 c #Conflicts: 558000 | #Constraints: 102476
592.80/594.62 c #Conflicts: 559000 | #Constraints: 103477
592.80/594.62 c #Conflicts: 560000 | #Constraints: 104478
592.80/594.62 c #Conflicts: 561000 | #Constraints: 105480
592.80/594.62 c #Conflicts: 562000 | #Constraints: 106482
592.80/594.62 c #Conflicts: 563000 | #Constraints: 107483
592.80/594.62 c #Conflicts: 564000 | #Constraints: 108483
592.80/594.62 c #Conflicts: 565000 | #Constraints: 109484
592.80/594.62 c #Conflicts: 566000 | #Constraints: 110485
592.80/594.62 c #Conflicts: 567000 | #Constraints: 111486
592.80/594.62 c #Conflicts: 568000 | #Constraints: 112486
592.80/594.62 c #Conflicts: 569000 | #Constraints: 113487
592.80/594.62 c #Conflicts: 570000 | #Constraints: 114487
592.80/594.62 c #Conflicts: 571000 | #Constraints: 115487
592.80/594.62 c #Conflicts: 572000 | #Constraints: 116488
592.80/594.62 c #Conflicts: 573000 | #Constraints: 117488
592.80/594.62 c #Conflicts: 574000 | #Constraints: 118488
592.80/594.62 c #Conflicts: 575000 | #Constraints: 119489
592.80/594.62 c #Conflicts: 576000 | #Constraints: 120489
592.80/594.62 c #Conflicts: 577000 | #Constraints: 121489
592.80/594.62 c #Conflicts: 578000 | #Constraints: 122489
592.80/594.62 c #Conflicts: 579000 | #Constraints: 123489
592.80/594.62 c #Conflicts: 580000 | #Constraints: 124490
592.80/594.62 c INPROCESSING
592.80/594.62 c GARBAGE COLLECT
592.80/594.62 c #Conflicts: 581000 | #Constraints: 86918
592.80/594.62 c #Conflicts: 582000 | #Constraints: 87918
592.80/594.62 c #Conflicts: 583000 | #Constraints: 88918
592.80/594.62 c #Conflicts: 584000 | #Constraints: 89918
592.80/594.62 c #Conflicts: 585000 | #Constraints: 90918
592.80/594.62 c #Conflicts: 586000 | #Constraints: 91918
592.80/594.62 c #Conflicts: 587000 | #Constraints: 92918
592.80/594.62 c #Conflicts: 588000 | #Constraints: 93918
592.80/594.62 c #Conflicts: 589000 | #Constraints: 94918
592.80/594.62 c #Conflicts: 590000 | #Constraints: 95918
592.80/594.62 c #Conflicts: 591000 | #Constraints: 96918
592.80/594.62 c #Conflicts: 592000 | #Constraints: 97919
592.80/594.62 c #Conflicts: 593000 | #Constraints: 98919
592.80/594.62 c #Conflicts: 594000 | #Constraints: 99919
592.80/594.62 c #Conflicts: 595000 | #Constraints: 100919
592.80/594.62 c #Conflicts: 596000 | #Constraints: 101919
592.80/594.62 c #Conflicts: 597000 | #Constraints: 102919
592.80/594.62 c INPROCESSING
592.80/594.62 c GARBAGE COLLECT
592.80/594.62 c #Conflicts: 598000 | #Constraints: 76155
592.80/594.62 c #Conflicts: 599000 | #Constraints: 77155
626.62/628.53 c #Conflicts: 600000 | #Constraints: 78155
626.62/628.53 c #Conflicts: 601000 | #Constraints: 79155
626.62/628.53 c #Conflicts: 602000 | #Constraints: 80155
626.62/628.53 c #Conflicts: 603000 | #Constraints: 81155
626.62/628.53 c #Conflicts: 604000 | #Constraints: 82155
626.62/628.53 c #Conflicts: 605000 | #Constraints: 83155
626.62/628.53 c #Conflicts: 606000 | #Constraints: 84155
626.62/628.53 c #Conflicts: 607000 | #Constraints: 85155
626.62/628.53 c #Conflicts: 608000 | #Constraints: 86155
626.62/628.53 c #Conflicts: 609000 | #Constraints: 87155
626.62/628.53 c #Conflicts: 610000 | #Constraints: 88155
626.62/628.53 c #Conflicts: 611000 | #Constraints: 89155
626.62/628.53 c #Conflicts: 612000 | #Constraints: 90155
626.62/628.53 c #Conflicts: 613000 | #Constraints: 91155
626.62/628.53 c #Conflicts: 614000 | #Constraints: 92155
626.62/628.53 c #Conflicts: 615000 | #Constraints: 93155
626.62/628.53 c INPROCESSING
626.62/628.53 c GARBAGE COLLECT
626.62/628.53 c #Conflicts: 616000 | #Constraints: 71661
626.62/628.53 c #Conflicts: 617000 | #Constraints: 72661
626.62/628.53 c #Conflicts: 618000 | #Constraints: 73662
626.62/628.53 c #Conflicts: 619000 | #Constraints: 74662
626.62/628.53 c #Conflicts: 620000 | #Constraints: 75662
626.62/628.53 c #Conflicts: 621000 | #Constraints: 76662
626.62/628.53 c #Conflicts: 622000 | #Constraints: 77662
626.62/628.53 c #Conflicts: 623000 | #Constraints: 78663
626.62/628.53 c #Conflicts: 624000 | #Constraints: 79665
626.62/628.53 c #Conflicts: 625000 | #Constraints: 80666
626.62/628.53 c #Conflicts: 626000 | #Constraints: 81668
626.62/628.53 c #Conflicts: 627000 | #Constraints: 82669
626.62/628.53 c #Conflicts: 628000 | #Constraints: 83672
626.62/628.53 c #Conflicts: 629000 | #Constraints: 84673
626.62/628.53 c #Conflicts: 630000 | #Constraints: 85674
626.62/628.53 c #Conflicts: 631000 | #Constraints: 86677
626.62/628.53 c #Conflicts: 632000 | #Constraints: 87678
626.62/628.53 c INPROCESSING
626.62/628.53 c GARBAGE COLLECT
626.62/628.53 c rational objective 65.375
723.60/725.74 c #Conflicts: 633000 | #Constraints: 68733
723.60/725.74 c #Conflicts: 634000 | #Constraints: 69733
723.60/725.74 c #Conflicts: 635000 | #Constraints: 70733
723.60/725.74 c #Conflicts: 636000 | #Constraints: 71733
723.60/725.74 c #Conflicts: 637000 | #Constraints: 72733
723.60/725.74 c #Conflicts: 638000 | #Constraints: 73733
723.60/725.74 c #Conflicts: 639000 | #Constraints: 74733
723.60/725.74 c #Conflicts: 640000 | #Constraints: 75733
723.60/725.74 c #Conflicts: 641000 | #Constraints: 76733
723.60/725.74 c #Conflicts: 642000 | #Constraints: 77733
723.60/725.74 c #Conflicts: 643000 | #Constraints: 78733
723.60/725.74 c #Conflicts: 644000 | #Constraints: 79733
723.60/725.74 c #Conflicts: 645000 | #Constraints: 80733
723.60/725.74 c #Conflicts: 646000 | #Constraints: 81733
723.60/725.74 c #Conflicts: 647000 | #Constraints: 82733
723.60/725.74 c #Conflicts: 648000 | #Constraints: 83733
723.60/725.74 c #Conflicts: 649000 | #Constraints: 84733
723.60/725.74 c #Conflicts: 650000 | #Constraints: 85733
723.60/725.74 c #Conflicts: 651000 | #Constraints: 86733
723.60/725.74 c #Conflicts: 652000 | #Constraints: 87733
723.60/725.74 c #Conflicts: 653000 | #Constraints: 88733
723.60/725.74 c #Conflicts: 654000 | #Constraints: 89733
723.60/725.74 c #Conflicts: 655000 | #Constraints: 90733
723.60/725.74 c #Conflicts: 656000 | #Constraints: 91733
723.60/725.74 c #Conflicts: 657000 | #Constraints: 92733
723.60/725.74 c #Conflicts: 658000 | #Constraints: 93733
723.60/725.74 c #Conflicts: 659000 | #Constraints: 94733
723.60/725.74 c #Conflicts: 660000 | #Constraints: 95733
723.60/725.74 c #Conflicts: 661000 | #Constraints: 96733
723.60/725.74 c #Conflicts: 662000 | #Constraints: 97733
723.60/725.74 c #Conflicts: 663000 | #Constraints: 98733
723.60/725.74 c #Conflicts: 664000 | #Constraints: 99733
723.60/725.74 c #Conflicts: 665000 | #Constraints: 100733
723.60/725.74 c #Conflicts: 666000 | #Constraints: 101733
723.60/725.74 c #Conflicts: 667000 | #Constraints: 102733
723.60/725.74 c #Conflicts: 668000 | #Constraints: 103733
723.60/725.74 c #Conflicts: 669000 | #Constraints: 104733
723.60/725.74 c #Conflicts: 670000 | #Constraints: 105733
723.60/725.74 c #Conflicts: 671000 | #Constraints: 106733
723.60/725.74 c #Conflicts: 672000 | #Constraints: 107733
723.60/725.74 c #Conflicts: 673000 | #Constraints: 108733
723.60/725.74 c #Conflicts: 674000 | #Constraints: 109733
723.60/725.74 c #Conflicts: 675000 | #Constraints: 110733
723.60/725.74 c #Conflicts: 676000 | #Constraints: 111733
723.60/725.74 c #Conflicts: 677000 | #Constraints: 112733
723.60/725.74 c #Conflicts: 678000 | #Constraints: 113733
723.60/725.74 c #Conflicts: 679000 | #Constraints: 114733
723.60/725.74 c #Conflicts: 680000 | #Constraints: 115733
723.60/725.74 c #Conflicts: 681000 | #Constraints: 116733
723.60/725.74 c #Conflicts: 682000 | #Constraints: 117733
723.60/725.74 c #Conflicts: 683000 | #Constraints: 118733
723.60/725.74 c #Conflicts: 684000 | #Constraints: 119733
723.60/725.74 c #Conflicts: 685000 | #Constraints: 120733
723.60/725.74 c #Conflicts: 686000 | #Constraints: 121733
723.60/725.74 c #Conflicts: 687000 | #Constraints: 122733
723.60/725.74 c #Conflicts: 688000 | #Constraints: 123733
723.60/725.74 c #Conflicts: 689000 | #Constraints: 124734
723.60/725.74 c #Conflicts: 690000 | #Constraints: 125734
723.60/725.74 c #Conflicts: 691000 | #Constraints: 126734
723.60/725.74 c #Conflicts: 692000 | #Constraints: 127734
723.60/725.74 c #Conflicts: 693000 | #Constraints: 128734
723.60/725.74 c #Conflicts: 694000 | #Constraints: 129734
723.60/725.74 c #Conflicts: 695000 | #Constraints: 130734
723.60/725.74 c #Conflicts: 696000 | #Constraints: 131734
723.60/725.74 c INPROCESSING
723.60/725.74 c GARBAGE COLLECT
723.60/725.74 c #Conflicts: 697000 | #Constraints: 90562
723.60/725.74 c #Conflicts: 698000 | #Constraints: 91562
723.60/725.74 c #Conflicts: 699000 | #Constraints: 92562
723.60/725.74 c #Conflicts: 700000 | #Constraints: 93562
723.60/725.74 c #Conflicts: 701000 | #Constraints: 94562
723.60/725.74 c #Conflicts: 702000 | #Constraints: 95562
723.60/725.74 c #Conflicts: 703000 | #Constraints: 96562
723.60/725.74 c #Conflicts: 704000 | #Constraints: 97562
723.60/725.74 c #Conflicts: 705000 | #Constraints: 98562
723.60/725.74 c #Conflicts: 706000 | #Constraints: 99562
723.60/725.74 c #Conflicts: 707000 | #Constraints: 100562
723.60/725.74 c #Conflicts: 708000 | #Constraints: 101562
723.60/725.74 c #Conflicts: 709000 | #Constraints: 102562
723.60/725.74 c #Conflicts: 710000 | #Constraints: 103562
723.60/725.74 c #Conflicts: 711000 | #Constraints: 104562
732.28/734.47 c #Conflicts: 712000 | #Constraints: 105562
732.28/734.47 c #Conflicts: 713000 | #Constraints: 106562
732.28/734.47 c #Conflicts: 714000 | #Constraints: 107562
732.28/734.47 c #Conflicts: 715000 | #Constraints: 108562
732.28/734.47 c INPROCESSING
732.28/734.47 c GARBAGE COLLECT
732.28/734.47 c rational objective 65.4671
777.28/779.55 c #Conflicts: 716000 | #Constraints: 79115
777.28/779.55 c #Conflicts: 717000 | #Constraints: 80115
777.28/779.55 c #Conflicts: 718000 | #Constraints: 81115
777.28/779.55 c #Conflicts: 719000 | #Constraints: 82115
777.28/779.55 c #Conflicts: 720000 | #Constraints: 83115
777.28/779.55 c #Conflicts: 721000 | #Constraints: 84115
777.28/779.55 c #Conflicts: 722000 | #Constraints: 85115
777.28/779.55 c #Conflicts: 723000 | #Constraints: 86115
777.28/779.55 c #Conflicts: 724000 | #Constraints: 87115
777.28/779.55 c #Conflicts: 725000 | #Constraints: 88115
777.28/779.55 c #Conflicts: 726000 | #Constraints: 89115
777.28/779.55 c #Conflicts: 727000 | #Constraints: 90115
777.28/779.55 c #Conflicts: 728000 | #Constraints: 91115
777.28/779.55 c #Conflicts: 729000 | #Constraints: 92115
777.28/779.55 c #Conflicts: 730000 | #Constraints: 93115
777.28/779.55 c #Conflicts: 731000 | #Constraints: 94115
777.28/779.55 c #Conflicts: 732000 | #Constraints: 95115
777.28/779.55 c #Conflicts: 733000 | #Constraints: 96115
777.28/779.55 c #Conflicts: 734000 | #Constraints: 97115
777.28/779.55 c INPROCESSING
777.28/779.55 c GARBAGE COLLECT
777.28/779.55 c #Conflicts: 735000 | #Constraints: 73472
777.28/779.55 c #Conflicts: 736000 | #Constraints: 74472
777.28/779.55 c #Conflicts: 737000 | #Constraints: 75472
777.28/779.55 c #Conflicts: 738000 | #Constraints: 76472
777.28/779.55 c #Conflicts: 739000 | #Constraints: 77472
777.28/779.55 c #Conflicts: 740000 | #Constraints: 78473
777.28/779.55 c #Conflicts: 741000 | #Constraints: 79473
777.28/779.55 c #Conflicts: 742000 | #Constraints: 80473
777.28/779.55 c #Conflicts: 743000 | #Constraints: 81473
777.28/779.55 c #Conflicts: 744000 | #Constraints: 82473
777.28/779.55 c #Conflicts: 745000 | #Constraints: 83473
777.28/779.55 c #Conflicts: 746000 | #Constraints: 84473
777.28/779.55 c #Conflicts: 747000 | #Constraints: 85473
777.28/779.55 c #Conflicts: 748000 | #Constraints: 86473
777.28/779.55 c #Conflicts: 749000 | #Constraints: 87473
777.28/779.55 c #Conflicts: 750000 | #Constraints: 88473
777.28/779.55 c #Conflicts: 751000 | #Constraints: 89473
777.28/779.55 c #Conflicts: 752000 | #Constraints: 90473
777.28/779.55 c #Conflicts: 753000 | #Constraints: 91473
777.28/779.55 c INPROCESSING
777.28/779.55 c GARBAGE COLLECT
777.28/779.55 c rational objective 65.5104
869.85/872.31 c #Conflicts: 754000 | #Constraints: 70586
869.85/872.31 c #Conflicts: 755000 | #Constraints: 71586
869.85/872.31 c #Conflicts: 756000 | #Constraints: 72586
869.85/872.31 c #Conflicts: 757000 | #Constraints: 73586
869.85/872.31 c #Conflicts: 758000 | #Constraints: 74586
869.85/872.31 c #Conflicts: 759000 | #Constraints: 75586
869.85/872.31 c #Conflicts: 760000 | #Constraints: 76586
869.85/872.31 c #Conflicts: 761000 | #Constraints: 77586
869.85/872.31 c #Conflicts: 762000 | #Constraints: 78586
869.85/872.31 c #Conflicts: 763000 | #Constraints: 79586
869.85/872.31 c #Conflicts: 764000 | #Constraints: 80586
869.85/872.31 c #Conflicts: 765000 | #Constraints: 81586
869.85/872.31 c #Conflicts: 766000 | #Constraints: 82586
869.85/872.31 c #Conflicts: 767000 | #Constraints: 83586
869.85/872.31 c #Conflicts: 768000 | #Constraints: 84586
869.85/872.31 c #Conflicts: 769000 | #Constraints: 85586
869.85/872.31 c #Conflicts: 770000 | #Constraints: 86586
869.85/872.31 c #Conflicts: 771000 | #Constraints: 87586
869.85/872.31 c #Conflicts: 772000 | #Constraints: 88586
869.85/872.31 c #Conflicts: 773000 | #Constraints: 89586
869.85/872.31 c #Conflicts: 774000 | #Constraints: 90586
869.85/872.31 c #Conflicts: 775000 | #Constraints: 91586
869.85/872.31 c #Conflicts: 776000 | #Constraints: 92586
869.85/872.31 c #Conflicts: 777000 | #Constraints: 93586
869.85/872.31 c #Conflicts: 778000 | #Constraints: 94586
869.85/872.31 c #Conflicts: 779000 | #Constraints: 95586
869.85/872.31 c #Conflicts: 780000 | #Constraints: 96586
869.85/872.31 c #Conflicts: 781000 | #Constraints: 97586
869.85/872.31 c #Conflicts: 782000 | #Constraints: 98586
869.85/872.31 c #Conflicts: 783000 | #Constraints: 99586
869.85/872.31 c #Conflicts: 784000 | #Constraints: 100586
869.85/872.31 c #Conflicts: 785000 | #Constraints: 101586
869.85/872.31 c #Conflicts: 786000 | #Constraints: 102586
869.85/872.31 c #Conflicts: 787000 | #Constraints: 103586
869.85/872.31 c #Conflicts: 788000 | #Constraints: 104586
869.85/872.31 c #Conflicts: 789000 | #Constraints: 105586
869.85/872.31 c #Conflicts: 790000 | #Constraints: 106586
869.85/872.31 c #Conflicts: 791000 | #Constraints: 107586
869.85/872.31 c #Conflicts: 792000 | #Constraints: 108586
869.85/872.31 c #Conflicts: 793000 | #Constraints: 109586
869.85/872.31 c #Conflicts: 794000 | #Constraints: 110586
869.85/872.31 c #Conflicts: 795000 | #Constraints: 111586
869.85/872.31 c #Conflicts: 796000 | #Constraints: 112586
869.85/872.31 c #Conflicts: 797000 | #Constraints: 113586
869.85/872.31 c #Conflicts: 798000 | #Constraints: 114587
869.85/872.31 c #Conflicts: 799000 | #Constraints: 115587
869.85/872.31 c #Conflicts: 800000 | #Constraints: 116587
869.85/872.31 c #Conflicts: 801000 | #Constraints: 117587
869.85/872.31 c #Conflicts: 802000 | #Constraints: 118587
869.85/872.31 c #Conflicts: 803000 | #Constraints: 119587
869.85/872.31 c #Conflicts: 804000 | #Constraints: 120587
869.85/872.31 c #Conflicts: 805000 | #Constraints: 121587
869.85/872.31 c #Conflicts: 806000 | #Constraints: 122587
869.85/872.31 c #Conflicts: 807000 | #Constraints: 123587
869.85/872.31 c #Conflicts: 808000 | #Constraints: 124587
869.85/872.31 c #Conflicts: 809000 | #Constraints: 125587
869.85/872.31 c #Conflicts: 810000 | #Constraints: 126587
869.85/872.31 c #Conflicts: 811000 | #Constraints: 127587
869.85/872.31 c #Conflicts: 812000 | #Constraints: 128587
869.85/872.31 c #Conflicts: 813000 | #Constraints: 129587
869.85/872.31 c #Conflicts: 814000 | #Constraints: 130587
869.85/872.31 c #Conflicts: 815000 | #Constraints: 131587
869.85/872.31 c #Conflicts: 816000 | #Constraints: 132587
869.85/872.31 c #Conflicts: 817000 | #Constraints: 133587
869.85/872.31 c #Conflicts: 818000 | #Constraints: 134587
869.85/872.31 c #Conflicts: 819000 | #Constraints: 135588
869.85/872.31 c #Conflicts: 820000 | #Constraints: 136589
869.85/872.31 c #Conflicts: 821000 | #Constraints: 137591
869.85/872.31 c #Conflicts: 822000 | #Constraints: 138591
869.85/872.31 c #Conflicts: 823000 | #Constraints: 139592
869.85/872.31 c INPROCESSING
869.85/872.31 c GARBAGE COLLECT
869.85/872.31 WSVECS04 Frhs2[34]: 6 0 8.73419 shouldn't be
869.85/872.31 WSVECS04 Frhs2[105]: 6 -0.875 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[119]: 6 -0.500001 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[153]: 6 0 60.0758 shouldn't be
869.85/872.31 WSVECS04 Frhs2[168]: 6 -0.5 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[172]: 6 0 46.165 shouldn't be
869.85/872.31 WSVECS04 Frhs2[208]: 6 -0.5 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[242]: 6 -1.625 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[335]: 6 0 19.6612 shouldn't be
869.85/872.31 WSVECS04 Frhs2[350]: 6 0 4.91529 shouldn't be
869.85/872.31 WSVECS04 Frhs2[411]: 6 -1 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[416]: 6 0 114.967 shouldn't be
869.85/872.31 WSVECS04 Frhs2[417]: 6 0 115.092 shouldn't be
869.85/872.31 WSVECS04 Frhs2[418]: 6 0 115.217 shouldn't be
869.85/872.31 WSVECS04 Frhs2[420]: 6 0 115.467 shouldn't be
869.85/872.31 WSVECS04 Frhs2[421]: 6 0 115.592 shouldn't be
869.85/872.31 WSVECS04 Frhs2[422]: 6 0 115.717 shouldn't be
869.85/872.31 WSVECS04 Frhs2[423]: 6 0 115.842 shouldn't be
869.85/872.31 WSVECS04 Frhs2[424]: 6 0 115.967 shouldn't be
869.85/872.31 WSVECS04 Frhs2[425]: 6 0 116.092 shouldn't be
869.85/872.31 WSVECS04 Frhs2[427]: 6 0 116.342 shouldn't be
869.85/872.31 WSVECS04 Frhs2[428]: 6 0 116.467 shouldn't be
869.85/872.31 WSVECS04 Frhs2[433]: 6 0 117.092 shouldn't be
869.85/872.31 WSVECS04 Frhs2[434]: 6 0 116.655 shouldn't be
869.85/872.31 WSVECS04 Frhs2[498]: 6 -202.867 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[604]: 6 0 0.0786295 shouldn't be
869.85/872.31 WSVECS04 Frhs2[625]: 6 0 4.40141 shouldn't be
869.85/872.31 WSVECS04 Frhs2[850]: 6 0 0.125 shouldn't be
869.85/872.31 WSVECS04 Frhs2[852]: 6 0 0.250001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[853]: 6 0 22.7876 shouldn't be
869.85/872.31 WSVECS04 Frhs2[854]: 6 0 22.304 shouldn't be
869.85/872.31 WSVECS04 Frhs2[855]: 6 0 21.8204 shouldn't be
869.85/872.31 WSVECS04 Frhs2[856]: 6 0 21.3369 shouldn't be
869.85/872.31 WSVECS04 Frhs2[857]: 6 0 20.8533 shouldn't be
869.85/872.31 WSVECS04 Frhs2[859]: 6 0 19.8861 shouldn't be
869.85/872.31 WSVECS04 Frhs2[860]: 6 0 19.4026 shouldn't be
869.85/872.31 WSVECS04 Frhs2[881]: 6 0 0.125 shouldn't be
869.85/872.31 WSVECS04 Frhs2[882]: 6 0 0.250001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[883]: 6 0 0.375001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[884]: 6 0 0.500001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[885]: 6 0 0.625001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[887]: 6 0 0.875 shouldn't be
869.85/872.31 WSVECS04 Frhs2[890]: 6 0 1.25 shouldn't be
869.85/872.31 WSVECS04 Frhs2[903]: 6 0 22.1673 shouldn't be
869.85/872.31 WSVECS04 Frhs2[906]: 6 0 6.7059 shouldn't be
869.85/872.31 WSVECS04 Frhs2[972]: 6 0 17.2178 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1010]: 6 0 0.625001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1012]: 6 0 0.750001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1013]: 6 0 0.812501 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1017]: 6 0 1.0625 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1040]: 6 0 0.0625004 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1041]: 6 0 0.125001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1092]: 6 0 29.1516 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1094]: 6 0 17.491 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1095]: 6 0 11.6607 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1096]: 6 0 5.83033 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1103]: 6 -59.4807 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1145]: 6 0 316.145 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1384]: 6 -36.0796 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1403]: 6 0 0.0625005 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1406]: 6 0 0.250001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1407]: 6 0 0.3125 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1409]: 6 0 0.4375 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1608]: 6 -0.875 0 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1638]: 6 0 0.375001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1645]: 6 0 51.3215 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1646]: 6 0 47.3737 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1647]: 6 0 43.4259 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1648]: 6 0 39.4781 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1649]: 6 0 35.5303 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1650]: 6 0 31.5825 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1651]: 6 0 27.6347 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1652]: 6 0 23.6869 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1653]: 6 0 19.7391 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1654]: 6 0 15.7912 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1655]: 6 0 11.8434 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1656]: 6 0 7.89562 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1986]: 6 0 56.6085 shouldn't be
869.85/872.31 WSVECS04 Frhs2[1994]: 6 0 0.500001 shouldn't be
869.85/872.31 WSVECS04 Frhs2[2001]: 6 0 1.75 shouldn't be
869.85/872.31 WSVECS04 Frhs2[2966]: 6 0 16.6341 shouldn't be
869.85/872.31 WSVECS04 Frhs2[3937]: 6 0 37.0299 shouldn't be
869.85/872.31 WSVECS04 Frhs2[3948]: 6 0 28.1665 shouldn't be
869.85/872.31 WSVECS04 Frhs2[4067]: 6 0 40.7394 shouldn't be
943.99/946.63 c #Conflicts: 824000 | #Constraints: 94821
943.99/946.63 c #Conflicts: 825000 | #Constraints: 95821
943.99/946.63 c #Conflicts: 826000 | #Constraints: 96821
943.99/946.63 c #Conflicts: 827000 | #Constraints: 97821
943.99/946.63 c #Conflicts: 828000 | #Constraints: 98822
943.99/946.63 c #Conflicts: 829000 | #Constraints: 99822
943.99/946.63 c #Conflicts: 830000 | #Constraints: 100822
943.99/946.63 c #Conflicts: 831000 | #Constraints: 101822
943.99/946.63 c #Conflicts: 832000 | #Constraints: 102822
943.99/946.63 c #Conflicts: 833000 | #Constraints: 103822
943.99/946.63 c #Conflicts: 834000 | #Constraints: 104822
943.99/946.63 c #Conflicts: 835000 | #Constraints: 105822
943.99/946.63 c #Conflicts: 836000 | #Constraints: 106823
943.99/946.63 c #Conflicts: 837000 | #Constraints: 107823
943.99/946.63 c #Conflicts: 838000 | #Constraints: 108825
943.99/946.63 c #Conflicts: 839000 | #Constraints: 109825
943.99/946.63 c #Conflicts: 840000 | #Constraints: 110826
943.99/946.63 c #Conflicts: 841000 | #Constraints: 111827
943.99/946.63 c #Conflicts: 842000 | #Constraints: 112827
943.99/946.63 c #Conflicts: 843000 | #Constraints: 113828
943.99/946.63 c INPROCESSING
943.99/946.63 c GARBAGE COLLECT
943.99/946.63 c #Conflicts: 844000 | #Constraints: 81710
943.99/946.63 c #Conflicts: 845000 | #Constraints: 82710
943.99/946.63 c #Conflicts: 846000 | #Constraints: 83710
943.99/946.63 c #Conflicts: 847000 | #Constraints: 84710
943.99/946.63 c #Conflicts: 848000 | #Constraints: 85710
943.99/946.63 c #Conflicts: 849000 | #Constraints: 86710
943.99/946.63 c #Conflicts: 850000 | #Constraints: 87710
943.99/946.63 c #Conflicts: 851000 | #Constraints: 88710
943.99/946.63 c #Conflicts: 852000 | #Constraints: 89710
943.99/946.63 c #Conflicts: 853000 | #Constraints: 90710
943.99/946.63 c #Conflicts: 854000 | #Constraints: 91710
943.99/946.63 c #Conflicts: 855000 | #Constraints: 92710
943.99/946.63 c #Conflicts: 856000 | #Constraints: 93710
943.99/946.63 c #Conflicts: 857000 | #Constraints: 94710
943.99/946.63 c #Conflicts: 858000 | #Constraints: 95710
943.99/946.63 c #Conflicts: 859000 | #Constraints: 96710
943.99/946.63 c #Conflicts: 860000 | #Constraints: 97710
943.99/946.63 c #Conflicts: 861000 | #Constraints: 98710
943.99/946.63 c #Conflicts: 862000 | #Constraints: 99710
943.99/946.63 c #Conflicts: 863000 | #Constraints: 100710
943.99/946.63 c #Conflicts: 864000 | #Constraints: 101710
943.99/946.63 c INPROCESSING
943.99/946.63 c GARBAGE COLLECT
943.99/946.63 c #Conflicts: 865000 | #Constraints: 75866
943.99/946.63 c #Conflicts: 866000 | #Constraints: 76866
943.99/946.63 c #Conflicts: 867000 | #Constraints: 77866
943.99/946.63 c #Conflicts: 868000 | #Constraints: 78866
943.99/946.63 c #Conflicts: 869000 | #Constraints: 79866
943.99/946.63 c #Conflicts: 870000 | #Constraints: 80866
943.99/946.63 c #Conflicts: 871000 | #Constraints: 81866
943.99/946.63 c #Conflicts: 872000 | #Constraints: 82866
943.99/946.63 c #Conflicts: 873000 | #Constraints: 83866
943.99/946.63 c #Conflicts: 874000 | #Constraints: 84866
943.99/946.63 c #Conflicts: 875000 | #Constraints: 85866
943.99/946.63 c #Conflicts: 876000 | #Constraints: 86866
943.99/946.63 c #Conflicts: 877000 | #Constraints: 87866
943.99/946.63 c #Conflicts: 878000 | #Constraints: 88866
943.99/946.63 c #Conflicts: 879000 | #Constraints: 89866
943.99/946.63 c #Conflicts: 880000 | #Constraints: 90866
943.99/946.63 c #Conflicts: 881000 | #Constraints: 91866
943.99/946.63 c #Conflicts: 882000 | #Constraints: 92866
943.99/946.63 c #Conflicts: 883000 | #Constraints: 93866
943.99/946.63 c #Conflicts: 884000 | #Constraints: 94866
943.99/946.63 c #Conflicts: 885000 | #Constraints: 95866
943.99/946.63 c INPROCESSING
943.99/946.63 c GARBAGE COLLECT
943.99/946.63 c rational objective 65.5653
1052.23/1055.13 c #Conflicts: 886000 | #Constraints: 73021
1052.23/1055.13 c #Conflicts: 887000 | #Constraints: 74021
1052.23/1055.13 c #Conflicts: 888000 | #Constraints: 75021
1052.23/1055.13 c #Conflicts: 889000 | #Constraints: 76021
1052.23/1055.13 c #Conflicts: 890000 | #Constraints: 77021
1052.23/1055.13 c #Conflicts: 891000 | #Constraints: 78021
1052.23/1055.13 c #Conflicts: 892000 | #Constraints: 79021
1052.23/1055.13 c #Conflicts: 893000 | #Constraints: 80021
1052.23/1055.13 c #Conflicts: 894000 | #Constraints: 81022
1052.23/1055.13 c #Conflicts: 895000 | #Constraints: 82022
1052.23/1055.13 c #Conflicts: 896000 | #Constraints: 83022
1052.23/1055.13 c #Conflicts: 897000 | #Constraints: 84022
1052.23/1055.13 c #Conflicts: 898000 | #Constraints: 85022
1052.23/1055.13 c #Conflicts: 899000 | #Constraints: 86022
1052.23/1055.13 c #Conflicts: 900000 | #Constraints: 87022
1052.23/1055.13 c #Conflicts: 901000 | #Constraints: 88022
1052.23/1055.13 c #Conflicts: 902000 | #Constraints: 89022
1052.23/1055.13 c #Conflicts: 903000 | #Constraints: 90022
1052.23/1055.13 c #Conflicts: 904000 | #Constraints: 91023
1052.23/1055.13 c #Conflicts: 905000 | #Constraints: 92023
1052.23/1055.13 c #Conflicts: 906000 | #Constraints: 93023
1052.23/1055.13 c #Conflicts: 907000 | #Constraints: 94023
1052.23/1055.13 c #Conflicts: 908000 | #Constraints: 95023
1052.23/1055.13 c #Conflicts: 909000 | #Constraints: 96023
1052.23/1055.13 c #Conflicts: 910000 | #Constraints: 97023
1052.23/1055.13 c #Conflicts: 911000 | #Constraints: 98024
1052.23/1055.13 c #Conflicts: 912000 | #Constraints: 99024
1052.23/1055.13 c #Conflicts: 913000 | #Constraints: 100024
1052.23/1055.13 c #Conflicts: 914000 | #Constraints: 101024
1052.23/1055.13 c #Conflicts: 915000 | #Constraints: 102024
1052.23/1055.13 c #Conflicts: 916000 | #Constraints: 103024
1052.23/1055.13 c #Conflicts: 917000 | #Constraints: 104024
1052.23/1055.13 c #Conflicts: 918000 | #Constraints: 105024
1052.23/1055.13 c #Conflicts: 919000 | #Constraints: 106024
1052.23/1055.13 c #Conflicts: 920000 | #Constraints: 107024
1052.23/1055.13 c #Conflicts: 921000 | #Constraints: 108024
1052.23/1055.13 c #Conflicts: 922000 | #Constraints: 109024
1052.23/1055.13 c #Conflicts: 923000 | #Constraints: 110024
1052.23/1055.13 c #Conflicts: 924000 | #Constraints: 111024
1052.23/1055.13 c #Conflicts: 925000 | #Constraints: 112024
1052.23/1055.13 c #Conflicts: 926000 | #Constraints: 113024
1052.23/1055.13 c #Conflicts: 927000 | #Constraints: 114024
1052.23/1055.13 c #Conflicts: 928000 | #Constraints: 115024
1052.23/1055.13 c #Conflicts: 929000 | #Constraints: 116024
1052.23/1055.13 c #Conflicts: 930000 | #Constraints: 117024
1052.23/1055.13 c #Conflicts: 931000 | #Constraints: 118024
1052.23/1055.13 c #Conflicts: 932000 | #Constraints: 119024
1052.23/1055.13 c #Conflicts: 933000 | #Constraints: 120024
1052.23/1055.13 c #Conflicts: 934000 | #Constraints: 121024
1052.23/1055.13 c #Conflicts: 935000 | #Constraints: 122024
1052.23/1055.13 c #Conflicts: 936000 | #Constraints: 123024
1052.23/1055.13 c #Conflicts: 937000 | #Constraints: 124024
1052.23/1055.13 c #Conflicts: 938000 | #Constraints: 125024
1052.23/1055.13 c #Conflicts: 939000 | #Constraints: 126024
1052.23/1055.13 c #Conflicts: 940000 | #Constraints: 127024
1052.23/1055.13 c #Conflicts: 941000 | #Constraints: 128024
1052.23/1055.13 c #Conflicts: 942000 | #Constraints: 129024
1052.23/1055.13 c #Conflicts: 943000 | #Constraints: 130024
1052.23/1055.13 c #Conflicts: 944000 | #Constraints: 131024
1052.23/1055.13 c #Conflicts: 945000 | #Constraints: 132024
1052.23/1055.13 c #Conflicts: 946000 | #Constraints: 133024
1052.23/1055.13 c #Conflicts: 947000 | #Constraints: 134024
1052.23/1055.13 c #Conflicts: 948000 | #Constraints: 135024
1052.23/1055.13 c #Conflicts: 949000 | #Constraints: 136024
1052.23/1055.13 c #Conflicts: 950000 | #Constraints: 137025
1052.23/1055.13 c #Conflicts: 951000 | #Constraints: 138025
1052.23/1055.13 c #Conflicts: 952000 | #Constraints: 139025
1052.23/1055.13 c #Conflicts: 953000 | #Constraints: 140025
1052.23/1055.13 c #Conflicts: 954000 | #Constraints: 141025
1052.23/1055.13 c #Conflicts: 955000 | #Constraints: 142025
1052.23/1055.13 c #Conflicts: 956000 | #Constraints: 143025
1052.23/1055.13 c #Conflicts: 957000 | #Constraints: 144025
1052.23/1055.13 c #Conflicts: 958000 | #Constraints: 145026
1052.23/1055.13 c #Conflicts: 959000 | #Constraints: 146026
1052.23/1055.13 c #Conflicts: 960000 | #Constraints: 147026
1052.23/1055.13 c INPROCESSING
1052.23/1055.13 c GARBAGE COLLECT
1052.23/1055.13 c #Conflicts: 961000 | #Constraints: 98582
1052.23/1055.13 c #Conflicts: 962000 | #Constraints: 99582
1052.23/1055.13 c #Conflicts: 963000 | #Constraints: 100582
1052.23/1055.13 c #Conflicts: 964000 | #Constraints: 101582
1083.36/1086.37 c #Conflicts: 965000 | #Constraints: 102582
1083.36/1086.37 c #Conflicts: 966000 | #Constraints: 103582
1083.36/1086.37 c #Conflicts: 967000 | #Constraints: 104582
1083.36/1086.37 c #Conflicts: 968000 | #Constraints: 105582
1083.36/1086.37 c #Conflicts: 969000 | #Constraints: 106582
1083.36/1086.37 c #Conflicts: 970000 | #Constraints: 107582
1083.36/1086.37 c #Conflicts: 971000 | #Constraints: 108582
1083.36/1086.37 c #Conflicts: 972000 | #Constraints: 109582
1083.36/1086.37 c #Conflicts: 973000 | #Constraints: 110582
1083.36/1086.37 c #Conflicts: 974000 | #Constraints: 111582
1083.36/1086.37 c #Conflicts: 975000 | #Constraints: 112582
1083.36/1086.37 c #Conflicts: 976000 | #Constraints: 113582
1083.36/1086.37 c #Conflicts: 977000 | #Constraints: 114582
1083.36/1086.37 c #Conflicts: 978000 | #Constraints: 115582
1083.36/1086.37 c #Conflicts: 979000 | #Constraints: 116582
1083.36/1086.37 c #Conflicts: 980000 | #Constraints: 117582
1083.36/1086.37 c #Conflicts: 981000 | #Constraints: 118582
1083.36/1086.37 c #Conflicts: 982000 | #Constraints: 119582
1083.36/1086.37 c INPROCESSING
1083.36/1086.37 c GARBAGE COLLECT
1083.36/1086.37 c rational objective 65.6903
1200.99/1204.21 c #Conflicts: 983000 | #Constraints: 84854
1200.99/1204.21 c #Conflicts: 984000 | #Constraints: 85854
1200.99/1204.21 c #Conflicts: 985000 | #Constraints: 86855
1200.99/1204.21 c #Conflicts: 986000 | #Constraints: 87855
1200.99/1204.21 c #Conflicts: 987000 | #Constraints: 88855
1200.99/1204.21 c #Conflicts: 988000 | #Constraints: 89855
1200.99/1204.21 c #Conflicts: 989000 | #Constraints: 90855
1200.99/1204.21 c #Conflicts: 990000 | #Constraints: 91855
1200.99/1204.21 c #Conflicts: 991000 | #Constraints: 92855
1200.99/1204.21 c #Conflicts: 992000 | #Constraints: 93855
1200.99/1204.21 c #Conflicts: 993000 | #Constraints: 94855
1200.99/1204.21 c #Conflicts: 994000 | #Constraints: 95855
1200.99/1204.21 c #Conflicts: 995000 | #Constraints: 96855
1200.99/1204.21 c #Conflicts: 996000 | #Constraints: 97855
1200.99/1204.21 c #Conflicts: 997000 | #Constraints: 98855
1200.99/1204.21 c #Conflicts: 998000 | #Constraints: 99855
1200.99/1204.21 c #Conflicts: 999000 | #Constraints: 100855
1200.99/1204.21 c #Conflicts: 1000000 | #Constraints: 101855
1200.99/1204.21 c #Conflicts: 1001000 | #Constraints: 102855
1200.99/1204.21 c #Conflicts: 1002000 | #Constraints: 103855
1200.99/1204.21 c #Conflicts: 1003000 | #Constraints: 104855
1200.99/1204.21 c #Conflicts: 1004000 | #Constraints: 105856
1200.99/1204.21 c INPROCESSING
1200.99/1204.21 c GARBAGE COLLECT
1200.99/1204.21 c #Conflicts: 1005000 | #Constraints: 77876
1200.99/1204.21 c #Conflicts: 1006000 | #Constraints: 78877
1200.99/1204.21 c #Conflicts: 1007000 | #Constraints: 79882
1200.99/1204.21 c #Conflicts: 1008000 | #Constraints: 80882
1200.99/1204.21 c #Conflicts: 1009000 | #Constraints: 81882
1200.99/1204.21 c #Conflicts: 1010000 | #Constraints: 82882
1200.99/1204.21 c #Conflicts: 1011000 | #Constraints: 83882
1200.99/1204.21 c #Conflicts: 1012000 | #Constraints: 84882
1200.99/1204.21 c #Conflicts: 1013000 | #Constraints: 85882
1200.99/1204.21 c #Conflicts: 1014000 | #Constraints: 86882
1200.99/1204.21 c #Conflicts: 1015000 | #Constraints: 87882
1200.99/1204.21 c #Conflicts: 1016000 | #Constraints: 88882
1200.99/1204.21 c #Conflicts: 1017000 | #Constraints: 89882
1200.99/1204.21 c #Conflicts: 1018000 | #Constraints: 90882
1200.99/1204.21 c #Conflicts: 1019000 | #Constraints: 91882
1200.99/1204.21 c #Conflicts: 1020000 | #Constraints: 92882
1200.99/1204.21 c #Conflicts: 1021000 | #Constraints: 93882
1200.99/1204.21 c #Conflicts: 1022000 | #Constraints: 94882
1200.99/1204.21 c #Conflicts: 1023000 | #Constraints: 95882
1200.99/1204.21 c #Conflicts: 1024000 | #Constraints: 96882
1200.99/1204.21 c #Conflicts: 1025000 | #Constraints: 97882
1200.99/1204.21 c #Conflicts: 1026000 | #Constraints: 98882
1200.99/1204.21 c INPROCESSING
1200.99/1204.21 c GARBAGE COLLECT
1200.99/1204.21 c #Conflicts: 1027000 | #Constraints: 74068
1200.99/1204.21 c #Conflicts: 1028000 | #Constraints: 75068
1200.99/1204.21 c #Conflicts: 1029000 | #Constraints: 76068
1200.99/1204.21 c #Conflicts: 1030000 | #Constraints: 77068
1200.99/1204.21 c #Conflicts: 1031000 | #Constraints: 78068
1200.99/1204.21 c #Conflicts: 1032000 | #Constraints: 79068
1200.99/1204.21 c #Conflicts: 1033000 | #Constraints: 80068
1200.99/1204.21 c #Conflicts: 1034000 | #Constraints: 81068
1200.99/1204.21 c #Conflicts: 1035000 | #Constraints: 82069
1200.99/1204.21 c #Conflicts: 1036000 | #Constraints: 83069
1200.99/1204.21 c #Conflicts: 1037000 | #Constraints: 84069
1200.99/1204.21 c #Conflicts: 1038000 | #Constraints: 85069
1200.99/1204.21 c #Conflicts: 1039000 | #Constraints: 86069
1200.99/1204.21 c #Conflicts: 1040000 | #Constraints: 87069
1200.99/1204.21 c #Conflicts: 1041000 | #Constraints: 88069
1200.99/1204.21 c #Conflicts: 1042000 | #Constraints: 89069
1200.99/1204.21 c #Conflicts: 1043000 | #Constraints: 90069
1200.99/1204.21 c #Conflicts: 1044000 | #Constraints: 91069
1200.99/1204.21 c #Conflicts: 1045000 | #Constraints: 92069
1200.99/1204.21 c #Conflicts: 1046000 | #Constraints: 93069
1200.99/1204.21 c #Conflicts: 1047000 | #Constraints: 94069
1200.99/1204.21 c #Conflicts: 1048000 | #Constraints: 95069
1200.99/1204.21 c #Conflicts: 1049000 | #Constraints: 96069
1200.99/1204.21 c #Conflicts: 1050000 | #Constraints: 97069
1200.99/1204.21 c #Conflicts: 1051000 | #Constraints: 98069
1200.99/1204.21 c #Conflicts: 1052000 | #Constraints: 99069
1200.99/1204.21 c #Conflicts: 1053000 | #Constraints: 100070
1200.99/1204.21 c #Conflicts: 1054000 | #Constraints: 101070
1200.99/1204.21 c #Conflicts: 1055000 | #Constraints: 102070
1200.99/1204.21 c #Conflicts: 1056000 | #Constraints: 103071
1200.99/1204.21 c #Conflicts: 1057000 | #Constraints: 104072
1200.99/1204.21 c #Conflicts: 1058000 | #Constraints: 105073
1200.99/1204.21 c #Conflicts: 1059000 | #Constraints: 106073
1200.99/1204.21 c #Conflicts: 1060000 | #Constraints: 107074
1380.25/1383.98 c #Conflicts: 1061000 | #Constraints: 108076
1380.25/1383.98 c #Conflicts: 1062000 | #Constraints: 109079
1380.25/1383.98 c #Conflicts: 1063000 | #Constraints: 110079
1380.25/1383.98 c #Conflicts: 1064000 | #Constraints: 111080
1380.25/1383.98 c #Conflicts: 1065000 | #Constraints: 112081
1380.25/1383.98 c #Conflicts: 1066000 | #Constraints: 113082
1380.25/1383.98 c #Conflicts: 1067000 | #Constraints: 114082
1380.25/1383.98 c #Conflicts: 1068000 | #Constraints: 115083
1380.25/1383.98 c #Conflicts: 1069000 | #Constraints: 116083
1380.25/1383.98 c #Conflicts: 1070000 | #Constraints: 117084
1380.25/1383.98 c #Conflicts: 1071000 | #Constraints: 118084
1380.25/1383.98 c #Conflicts: 1072000 | #Constraints: 119085
1380.25/1383.98 c #Conflicts: 1073000 | #Constraints: 120086
1380.25/1383.98 c #Conflicts: 1074000 | #Constraints: 121089
1380.25/1383.98 c #Conflicts: 1075000 | #Constraints: 122089
1380.25/1383.98 c #Conflicts: 1076000 | #Constraints: 123090
1380.25/1383.98 c #Conflicts: 1077000 | #Constraints: 124092
1380.25/1383.98 c #Conflicts: 1078000 | #Constraints: 125092
1380.25/1383.98 c #Conflicts: 1079000 | #Constraints: 126093
1380.25/1383.98 c #Conflicts: 1080000 | #Constraints: 127093
1380.25/1383.98 c #Conflicts: 1081000 | #Constraints: 128093
1380.25/1383.98 c #Conflicts: 1082000 | #Constraints: 129094
1380.25/1383.98 c #Conflicts: 1083000 | #Constraints: 130094
1380.25/1383.98 c #Conflicts: 1084000 | #Constraints: 131094
1380.25/1383.98 c #Conflicts: 1085000 | #Constraints: 132094
1380.25/1383.98 c #Conflicts: 1086000 | #Constraints: 133095
1380.25/1383.98 c #Conflicts: 1087000 | #Constraints: 134095
1380.25/1383.98 c #Conflicts: 1088000 | #Constraints: 135096
1380.25/1383.98 c #Conflicts: 1089000 | #Constraints: 136096
1380.25/1383.98 c #Conflicts: 1090000 | #Constraints: 137096
1380.25/1383.98 c #Conflicts: 1091000 | #Constraints: 138097
1380.25/1383.98 c #Conflicts: 1092000 | #Constraints: 139098
1380.25/1383.98 c #Conflicts: 1093000 | #Constraints: 140098
1380.25/1383.98 c #Conflicts: 1094000 | #Constraints: 141099
1380.25/1383.98 c #Conflicts: 1095000 | #Constraints: 142099
1380.25/1383.98 c #Conflicts: 1096000 | #Constraints: 143099
1380.25/1383.98 c #Conflicts: 1097000 | #Constraints: 144099
1380.25/1383.98 c #Conflicts: 1098000 | #Constraints: 145100
1380.25/1383.98 c #Conflicts: 1099000 | #Constraints: 146100
1380.25/1383.98 c #Conflicts: 1100000 | #Constraints: 147102
1380.25/1383.98 c #Conflicts: 1101000 | #Constraints: 148104
1380.25/1383.98 c #Conflicts: 1102000 | #Constraints: 149107
1380.25/1383.98 c #Conflicts: 1103000 | #Constraints: 150108
1380.25/1383.98 c #Conflicts: 1104000 | #Constraints: 151108
1380.25/1383.98 c #Conflicts: 1105000 | #Constraints: 152108
1380.25/1383.98 c #Conflicts: 1106000 | #Constraints: 153108
1380.25/1383.98 c #Conflicts: 1107000 | #Constraints: 154108
1380.25/1383.98 c INPROCESSING
1380.25/1383.98 c GARBAGE COLLECT
1380.25/1383.98 c #Conflicts: 1108000 | #Constraints: 102069
1380.25/1383.98 c #Conflicts: 1109000 | #Constraints: 103069
1380.25/1383.98 c #Conflicts: 1110000 | #Constraints: 104069
1380.25/1383.98 c #Conflicts: 1111000 | #Constraints: 105069
1380.25/1383.98 c #Conflicts: 1112000 | #Constraints: 106070
1380.25/1383.98 c #Conflicts: 1113000 | #Constraints: 107070
1380.25/1383.98 c #Conflicts: 1114000 | #Constraints: 108070
1380.25/1383.98 c #Conflicts: 1115000 | #Constraints: 109070
1380.25/1383.98 c #Conflicts: 1116000 | #Constraints: 110070
1380.25/1383.98 c #Conflicts: 1117000 | #Constraints: 111070
1380.25/1383.98 c #Conflicts: 1118000 | #Constraints: 112070
1380.25/1383.98 c #Conflicts: 1119000 | #Constraints: 113070
1380.25/1383.98 c #Conflicts: 1120000 | #Constraints: 114070
1380.25/1383.98 c #Conflicts: 1121000 | #Constraints: 115070
1380.25/1383.98 c #Conflicts: 1122000 | #Constraints: 116070
1380.25/1383.98 c #Conflicts: 1123000 | #Constraints: 117070
1380.25/1383.98 c #Conflicts: 1124000 | #Constraints: 118070
1380.25/1383.98 c #Conflicts: 1125000 | #Constraints: 119070
1380.25/1383.98 c #Conflicts: 1126000 | #Constraints: 120070
1380.25/1383.98 c #Conflicts: 1127000 | #Constraints: 121070
1380.25/1383.98 c #Conflicts: 1128000 | #Constraints: 122070
1380.25/1383.98 c #Conflicts: 1129000 | #Constraints: 123070
1380.25/1383.98 c #Conflicts: 1130000 | #Constraints: 124070
1380.25/1383.98 c #Conflicts: 1131000 | #Constraints: 125070
1380.25/1383.98 c INPROCESSING
1380.25/1383.98 c GARBAGE COLLECT
1380.25/1383.98 c #Conflicts: 1132000 | #Constraints: 87663
1380.25/1383.98 c #Conflicts: 1133000 | #Constraints: 88663
1380.25/1383.98 c #Conflicts: 1134000 | #Constraints: 89663
1380.25/1383.98 c #Conflicts: 1135000 | #Constraints: 90663
1380.25/1383.98 c #Conflicts: 1136000 | #Constraints: 91663
1380.25/1383.98 c #Conflicts: 1137000 | #Constraints: 92663
1476.61/1480.58 c #Conflicts: 1138000 | #Constraints: 93663
1476.61/1480.58 c #Conflicts: 1139000 | #Constraints: 94663
1476.61/1480.58 c #Conflicts: 1140000 | #Constraints: 95663
1476.61/1480.58 c #Conflicts: 1141000 | #Constraints: 96663
1476.61/1480.58 c #Conflicts: 1142000 | #Constraints: 97663
1476.61/1480.58 c #Conflicts: 1143000 | #Constraints: 98664
1476.61/1480.58 c #Conflicts: 1144000 | #Constraints: 99665
1476.61/1480.58 c #Conflicts: 1145000 | #Constraints: 100665
1476.61/1480.58 c #Conflicts: 1146000 | #Constraints: 101665
1476.61/1480.58 c #Conflicts: 1147000 | #Constraints: 102665
1476.61/1480.58 c #Conflicts: 1148000 | #Constraints: 103665
1476.61/1480.58 c #Conflicts: 1149000 | #Constraints: 104665
1476.61/1480.58 c #Conflicts: 1150000 | #Constraints: 105665
1476.61/1480.58 c #Conflicts: 1151000 | #Constraints: 106665
1476.61/1480.58 c #Conflicts: 1152000 | #Constraints: 107665
1476.61/1480.58 c #Conflicts: 1153000 | #Constraints: 108665
1476.61/1480.58 c #Conflicts: 1154000 | #Constraints: 109665
1476.61/1480.58 c #Conflicts: 1155000 | #Constraints: 110665
1476.61/1480.58 c INPROCESSING
1476.61/1480.58 c GARBAGE COLLECT
1476.61/1480.58 c #Conflicts: 1156000 | #Constraints: 80440
1476.61/1480.58 c #Conflicts: 1157000 | #Constraints: 81440
1476.61/1480.58 c #Conflicts: 1158000 | #Constraints: 82440
1476.61/1480.58 c #Conflicts: 1159000 | #Constraints: 83440
1476.61/1480.58 c #Conflicts: 1160000 | #Constraints: 84440
1476.61/1480.58 c #Conflicts: 1161000 | #Constraints: 85440
1476.61/1480.58 c #Conflicts: 1162000 | #Constraints: 86440
1476.61/1480.58 c #Conflicts: 1163000 | #Constraints: 87440
1476.61/1480.58 c #Conflicts: 1164000 | #Constraints: 88440
1476.61/1480.58 c #Conflicts: 1165000 | #Constraints: 89440
1476.61/1480.58 c #Conflicts: 1166000 | #Constraints: 90440
1476.61/1480.58 c #Conflicts: 1167000 | #Constraints: 91440
1476.61/1480.58 c #Conflicts: 1168000 | #Constraints: 92440
1476.61/1480.58 c #Conflicts: 1169000 | #Constraints: 93440
1476.61/1480.58 c #Conflicts: 1170000 | #Constraints: 94440
1476.61/1480.58 c #Conflicts: 1171000 | #Constraints: 95440
1476.61/1480.58 c #Conflicts: 1172000 | #Constraints: 96440
1476.61/1480.58 c #Conflicts: 1173000 | #Constraints: 97440
1476.61/1480.58 c #Conflicts: 1174000 | #Constraints: 98440
1476.61/1480.58 c #Conflicts: 1175000 | #Constraints: 99440
1476.61/1480.58 c #Conflicts: 1176000 | #Constraints: 100440
1476.61/1480.58 c #Conflicts: 1177000 | #Constraints: 101440
1476.61/1480.58 c #Conflicts: 1178000 | #Constraints: 102440
1476.61/1480.58 c #Conflicts: 1179000 | #Constraints: 103440
1476.61/1480.58 c INPROCESSING
1476.61/1480.58 c GARBAGE COLLECT
1476.61/1480.58 c #Conflicts: 1180000 | #Constraints: 76790
1476.61/1480.58 c #Conflicts: 1181000 | #Constraints: 77790
1476.61/1480.58 c #Conflicts: 1182000 | #Constraints: 78790
1476.61/1480.58 c #Conflicts: 1183000 | #Constraints: 79790
1476.61/1480.58 c #Conflicts: 1184000 | #Constraints: 80790
1476.61/1480.58 c #Conflicts: 1185000 | #Constraints: 81790
1476.61/1480.58 c #Conflicts: 1186000 | #Constraints: 82790
1476.61/1480.58 c #Conflicts: 1187000 | #Constraints: 83790
1476.61/1480.58 c #Conflicts: 1188000 | #Constraints: 84790
1476.61/1480.58 c #Conflicts: 1189000 | #Constraints: 85790
1476.61/1480.58 c #Conflicts: 1190000 | #Constraints: 86790
1476.61/1480.58 c #Conflicts: 1191000 | #Constraints: 87790
1476.61/1480.58 c #Conflicts: 1192000 | #Constraints: 88790
1476.61/1480.58 c #Conflicts: 1193000 | #Constraints: 89790
1476.61/1480.58 c #Conflicts: 1194000 | #Constraints: 90790
1476.61/1480.58 c #Conflicts: 1195000 | #Constraints: 91790
1476.61/1480.58 c #Conflicts: 1196000 | #Constraints: 92790
1476.61/1480.58 c #Conflicts: 1197000 | #Constraints: 93790
1476.61/1480.58 c #Conflicts: 1198000 | #Constraints: 94790
1476.61/1480.58 c #Conflicts: 1199000 | #Constraints: 95791
1476.61/1480.58 c #Conflicts: 1200000 | #Constraints: 96791
1476.61/1480.58 c #Conflicts: 1201000 | #Constraints: 97791
1476.61/1480.58 c #Conflicts: 1202000 | #Constraints: 98791
1476.61/1480.58 c #Conflicts: 1203000 | #Constraints: 99791
1476.61/1480.58 c #Conflicts: 1204000 | #Constraints: 100791
1476.61/1480.58 c #Conflicts: 1205000 | #Constraints: 101791
1476.61/1480.58 c #Conflicts: 1206000 | #Constraints: 102791
1476.61/1480.58 c #Conflicts: 1207000 | #Constraints: 103791
1476.61/1480.58 c #Conflicts: 1208000 | #Constraints: 104791
1476.61/1480.58 c #Conflicts: 1209000 | #Constraints: 105791
1476.61/1480.58 c #Conflicts: 1210000 | #Constraints: 106791
1476.61/1480.58 c #Conflicts: 1211000 | #Constraints: 107791
1476.61/1480.58 c #Conflicts: 1212000 | #Constraints: 108791
1476.61/1480.58 c #Conflicts: 1213000 | #Constraints: 109792
1476.61/1480.58 c #Conflicts: 1214000 | #Constraints: 110792
1476.61/1480.58 c #Conflicts: 1215000 | #Constraints: 111792
1632.72/1637.05 c #Conflicts: 1216000 | #Constraints: 112792
1632.72/1637.05 c #Conflicts: 1217000 | #Constraints: 113793
1632.72/1637.05 c #Conflicts: 1218000 | #Constraints: 114793
1632.72/1637.05 c #Conflicts: 1219000 | #Constraints: 115793
1632.72/1637.05 c #Conflicts: 1220000 | #Constraints: 116793
1632.72/1637.05 c #Conflicts: 1221000 | #Constraints: 117793
1632.72/1637.05 c #Conflicts: 1222000 | #Constraints: 118793
1632.72/1637.05 c #Conflicts: 1223000 | #Constraints: 119793
1632.72/1637.05 c #Conflicts: 1224000 | #Constraints: 120794
1632.72/1637.05 c #Conflicts: 1225000 | #Constraints: 121794
1632.72/1637.05 c #Conflicts: 1226000 | #Constraints: 122794
1632.72/1637.05 c #Conflicts: 1227000 | #Constraints: 123795
1632.72/1637.05 c #Conflicts: 1228000 | #Constraints: 124795
1632.72/1637.05 c #Conflicts: 1229000 | #Constraints: 125795
1632.72/1637.05 c #Conflicts: 1230000 | #Constraints: 126797
1632.72/1637.05 c #Conflicts: 1231000 | #Constraints: 127797
1632.72/1637.05 c #Conflicts: 1232000 | #Constraints: 128798
1632.72/1637.05 c #Conflicts: 1233000 | #Constraints: 129798
1632.72/1637.05 c #Conflicts: 1234000 | #Constraints: 130798
1632.72/1637.05 c #Conflicts: 1235000 | #Constraints: 131798
1632.72/1637.05 c #Conflicts: 1236000 | #Constraints: 132798
1632.72/1637.05 c #Conflicts: 1237000 | #Constraints: 133798
1632.72/1637.05 c #Conflicts: 1238000 | #Constraints: 134799
1632.72/1637.05 c #Conflicts: 1239000 | #Constraints: 135799
1632.72/1637.05 c #Conflicts: 1240000 | #Constraints: 136799
1632.72/1637.05 c #Conflicts: 1241000 | #Constraints: 137799
1632.72/1637.05 c #Conflicts: 1242000 | #Constraints: 138799
1632.72/1637.05 c #Conflicts: 1243000 | #Constraints: 139802
1632.72/1637.05 c #Conflicts: 1244000 | #Constraints: 140802
1632.72/1637.05 c #Conflicts: 1245000 | #Constraints: 141803
1632.72/1637.05 c #Conflicts: 1246000 | #Constraints: 142803
1632.72/1637.05 c #Conflicts: 1247000 | #Constraints: 143803
1632.72/1637.05 c #Conflicts: 1248000 | #Constraints: 144804
1632.72/1637.05 c #Conflicts: 1249000 | #Constraints: 145804
1632.72/1637.05 c #Conflicts: 1250000 | #Constraints: 146804
1632.72/1637.05 c #Conflicts: 1251000 | #Constraints: 147804
1632.72/1637.05 c #Conflicts: 1252000 | #Constraints: 148804
1632.72/1637.05 c #Conflicts: 1253000 | #Constraints: 149805
1632.72/1637.05 c #Conflicts: 1254000 | #Constraints: 150805
1632.72/1637.05 c #Conflicts: 1255000 | #Constraints: 151806
1632.72/1637.05 c #Conflicts: 1256000 | #Constraints: 152807
1632.72/1637.05 c #Conflicts: 1257000 | #Constraints: 153809
1632.72/1637.05 c #Conflicts: 1258000 | #Constraints: 154809
1632.72/1637.05 c #Conflicts: 1259000 | #Constraints: 155809
1632.72/1637.05 c #Conflicts: 1260000 | #Constraints: 156809
1632.72/1637.05 c #Conflicts: 1261000 | #Constraints: 157810
1632.72/1637.05 c #Conflicts: 1262000 | #Constraints: 158812
1632.72/1637.05 c #Conflicts: 1263000 | #Constraints: 159813
1632.72/1637.05 c #Conflicts: 1264000 | #Constraints: 160814
1632.72/1637.05 c INPROCESSING
1632.72/1637.05 c GARBAGE COLLECT
1632.72/1637.05 c #Conflicts: 1265000 | #Constraints: 105109
1632.72/1637.05 c #Conflicts: 1266000 | #Constraints: 106109
1632.72/1637.05 c #Conflicts: 1267000 | #Constraints: 107109
1632.72/1637.05 c #Conflicts: 1268000 | #Constraints: 108109
1632.72/1637.05 c #Conflicts: 1269000 | #Constraints: 109110
1632.72/1637.05 c #Conflicts: 1270000 | #Constraints: 110110
1632.72/1637.05 c #Conflicts: 1271000 | #Constraints: 111110
1632.72/1637.05 c #Conflicts: 1272000 | #Constraints: 112110
1632.72/1637.05 c #Conflicts: 1273000 | #Constraints: 113110
1632.72/1637.05 c #Conflicts: 1274000 | #Constraints: 114110
1632.72/1637.05 c #Conflicts: 1275000 | #Constraints: 115110
1632.72/1637.05 c #Conflicts: 1276000 | #Constraints: 116110
1632.72/1637.05 c #Conflicts: 1277000 | #Constraints: 117110
1632.72/1637.05 c #Conflicts: 1278000 | #Constraints: 118110
1632.72/1637.05 c #Conflicts: 1279000 | #Constraints: 119110
1632.72/1637.05 c #Conflicts: 1280000 | #Constraints: 120110
1632.72/1637.05 c #Conflicts: 1281000 | #Constraints: 121110
1632.72/1637.05 c #Conflicts: 1282000 | #Constraints: 122110
1632.72/1637.05 c #Conflicts: 1283000 | #Constraints: 123110
1632.72/1637.05 c #Conflicts: 1284000 | #Constraints: 124110
1632.72/1637.05 c #Conflicts: 1285000 | #Constraints: 125110
1632.72/1637.05 c #Conflicts: 1286000 | #Constraints: 126110
1632.72/1637.05 c #Conflicts: 1287000 | #Constraints: 127110
1632.72/1637.05 c #Conflicts: 1288000 | #Constraints: 128110
1632.72/1637.05 c #Conflicts: 1289000 | #Constraints: 129110
1632.72/1637.05 c #Conflicts: 1290000 | #Constraints: 130110
1632.72/1637.05 c INPROCESSING
1632.72/1637.05 c GARBAGE COLLECT
1632.72/1637.05 c #Conflicts: 1291000 | #Constraints: 90017
1632.72/1637.05 c #Conflicts: 1292000 | #Constraints: 91018
1638.30/1642.68 c #Conflicts: 1293000 | #Constraints: 92020
1638.30/1642.68 c #Conflicts: 1294000 | #Constraints: 93021
1638.30/1642.68 c #Conflicts: 1295000 | #Constraints: 94021
1638.30/1642.68 WSVECS04 Frhs2[133]: 6 -0.50004 0 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[193]: 6 -0.500092 0 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[482]: 6 0 0.0705777 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[589]: 6 0 0.375071 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[635]: 6 0 0.0147243 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[840]: 6 0 0.0716858 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[841]: 6 0 0.0896426 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[847]: 6 0 0.358212 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[849]: 6 0 0.474702 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[873]: 6 0 0.600956 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[896]: 6 0 1.47941 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[952]: 6 0 0.487096 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[961]: 6 0 0.052201 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[966]: 6 0 0.508587 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[1078]: 6 0 0.0347363 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[1139]: 6 0 0.0242686 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[1391]: 6 0 148.418 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2672]: 6 0 0.0537632 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2677]: 6 0 0.0537606 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2679]: 6 0 0.0537766 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2680]: 6 0 0.0537585 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2685]: 6 0 0.0537763 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2687]: 6 0 0.0537628 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2710]: 6 0 0.0537668 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2713]: 6 0 0.0537625 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2763]: 6 0 0.0537492 shouldn't be
1638.30/1642.68 WSVECS04 Frhs2[2784]: 6 0 0.0537738 shouldn't be
1751.32/1755.98 c #Conflicts: 1296000 | #Constraints: 95021
1751.32/1755.98 c #Conflicts: 1297000 | #Constraints: 96021
1751.32/1755.98 c #Conflicts: 1298000 | #Constraints: 97021
1751.32/1755.98 c #Conflicts: 1299000 | #Constraints: 98021
1751.32/1755.98 c #Conflicts: 1300000 | #Constraints: 99021
1751.32/1755.98 c #Conflicts: 1301000 | #Constraints: 100021
1751.32/1755.98 c #Conflicts: 1302000 | #Constraints: 101021
1751.32/1755.98 c #Conflicts: 1303000 | #Constraints: 102021
1751.32/1755.98 c #Conflicts: 1304000 | #Constraints: 103021
1751.32/1755.98 c #Conflicts: 1305000 | #Constraints: 104021
1751.32/1755.98 c #Conflicts: 1306000 | #Constraints: 105021
1751.32/1755.98 c #Conflicts: 1307000 | #Constraints: 106021
1751.32/1755.98 c #Conflicts: 1308000 | #Constraints: 107021
1751.32/1755.98 c #Conflicts: 1309000 | #Constraints: 108021
1751.32/1755.98 c #Conflicts: 1310000 | #Constraints: 109021
1751.32/1755.98 c #Conflicts: 1311000 | #Constraints: 110021
1751.32/1755.98 c #Conflicts: 1312000 | #Constraints: 111021
1751.32/1755.98 c #Conflicts: 1313000 | #Constraints: 112021
1751.32/1755.98 c #Conflicts: 1314000 | #Constraints: 113021
1751.32/1755.98 c #Conflicts: 1315000 | #Constraints: 114021
1751.32/1755.98 c #Conflicts: 1316000 | #Constraints: 115021
1751.32/1755.98 c INPROCESSING
1751.32/1755.98 c GARBAGE COLLECT
1751.32/1755.98 c #Conflicts: 1317000 | #Constraints: 82635
1751.32/1755.98 c #Conflicts: 1318000 | #Constraints: 83635
1751.32/1755.98 c #Conflicts: 1319000 | #Constraints: 84635
1751.32/1755.98 c #Conflicts: 1320000 | #Constraints: 85635
1751.32/1755.98 c #Conflicts: 1321000 | #Constraints: 86635
1751.32/1755.98 c #Conflicts: 1322000 | #Constraints: 87635
1751.32/1755.98 c #Conflicts: 1323000 | #Constraints: 88635
1751.32/1755.98 c #Conflicts: 1324000 | #Constraints: 89635
1751.32/1755.98 c #Conflicts: 1325000 | #Constraints: 90635
1751.32/1755.98 c #Conflicts: 1326000 | #Constraints: 91635
1751.32/1755.98 c #Conflicts: 1327000 | #Constraints: 92635
1751.32/1755.98 c #Conflicts: 1328000 | #Constraints: 93635
1751.32/1755.98 c #Conflicts: 1329000 | #Constraints: 94635
1751.32/1755.98 c #Conflicts: 1330000 | #Constraints: 95635
1751.32/1755.98 c #Conflicts: 1331000 | #Constraints: 96635
1751.32/1755.98 c #Conflicts: 1332000 | #Constraints: 97635
1751.32/1755.98 c #Conflicts: 1333000 | #Constraints: 98635
1751.32/1755.98 c #Conflicts: 1334000 | #Constraints: 99635
1751.32/1755.98 c #Conflicts: 1335000 | #Constraints: 100635
1751.32/1755.98 c #Conflicts: 1336000 | #Constraints: 101635
1751.32/1755.98 c #Conflicts: 1337000 | #Constraints: 102635
1751.32/1755.98 c #Conflicts: 1338000 | #Constraints: 103635
1751.32/1755.98 c #Conflicts: 1339000 | #Constraints: 104635
1751.32/1755.98 c #Conflicts: 1340000 | #Constraints: 105635
1751.32/1755.98 c #Conflicts: 1341000 | #Constraints: 106635
1751.32/1755.98 c INPROCESSING
1751.32/1755.98 c GARBAGE COLLECT
1751.32/1755.98 c #Conflicts: 1342000 | #Constraints: 78015
1751.32/1755.98 c #Conflicts: 1343000 | #Constraints: 79015
1751.32/1755.98 c #Conflicts: 1344000 | #Constraints: 80015
1751.32/1755.98 c #Conflicts: 1345000 | #Constraints: 81015
1751.32/1755.98 c #Conflicts: 1346000 | #Constraints: 82015
1751.32/1755.98 c #Conflicts: 1347000 | #Constraints: 83015
1751.32/1755.98 c #Conflicts: 1348000 | #Constraints: 84016
1751.32/1755.98 c #Conflicts: 1349000 | #Constraints: 85016
1751.32/1755.98 c #Conflicts: 1350000 | #Constraints: 86016
1751.32/1755.98 c #Conflicts: 1351000 | #Constraints: 87016
1751.32/1755.98 c #Conflicts: 1352000 | #Constraints: 88016
1751.32/1755.98 c #Conflicts: 1353000 | #Constraints: 89016
1751.32/1755.98 c #Conflicts: 1354000 | #Constraints: 90016
1751.32/1755.98 c #Conflicts: 1355000 | #Constraints: 91016
1751.32/1755.98 c #Conflicts: 1356000 | #Constraints: 92016
1751.32/1755.98 c #Conflicts: 1357000 | #Constraints: 93016
1751.32/1755.98 c #Conflicts: 1358000 | #Constraints: 94016
1751.32/1755.98 c #Conflicts: 1359000 | #Constraints: 95016
1751.32/1755.98 c #Conflicts: 1360000 | #Constraints: 96016
1751.32/1755.98 c #Conflicts: 1361000 | #Constraints: 97016
1751.32/1755.98 c #Conflicts: 1362000 | #Constraints: 98016
1751.32/1755.98 c #Conflicts: 1363000 | #Constraints: 99016
1751.32/1755.98 c #Conflicts: 1364000 | #Constraints: 100016
1751.32/1755.98 c #Conflicts: 1365000 | #Constraints: 101016
1751.32/1755.98 c #Conflicts: 1366000 | #Constraints: 102016
1751.32/1755.98 c #Conflicts: 1367000 | #Constraints: 103016
1751.32/1755.98 c #Conflicts: 1368000 | #Constraints: 104016
1751.32/1755.98 c #Conflicts: 1369000 | #Constraints: 105016
1751.32/1755.98 c #Conflicts: 1370000 | #Constraints: 106016
1751.32/1755.98 c #Conflicts: 1371000 | #Constraints: 107016
1751.32/1755.98 c #Conflicts: 1372000 | #Constraints: 108016
1751.32/1755.98 c #Conflicts: 1373000 | #Constraints: 109016
1899.06/1904.07 c #Conflicts: 1374000 | #Constraints: 110016
1899.06/1904.07 c #Conflicts: 1375000 | #Constraints: 111016
1899.06/1904.07 c #Conflicts: 1376000 | #Constraints: 112016
1899.06/1904.07 c #Conflicts: 1377000 | #Constraints: 113016
1899.06/1904.07 c #Conflicts: 1378000 | #Constraints: 114016
1899.06/1904.07 c #Conflicts: 1379000 | #Constraints: 115016
1899.06/1904.07 c #Conflicts: 1380000 | #Constraints: 116016
1899.06/1904.07 c #Conflicts: 1381000 | #Constraints: 117016
1899.06/1904.07 c #Conflicts: 1382000 | #Constraints: 118016
1899.06/1904.07 c #Conflicts: 1383000 | #Constraints: 119016
1899.06/1904.07 c #Conflicts: 1384000 | #Constraints: 120017
1899.06/1904.07 c #Conflicts: 1385000 | #Constraints: 121017
1899.06/1904.07 c #Conflicts: 1386000 | #Constraints: 122017
1899.06/1904.07 c #Conflicts: 1387000 | #Constraints: 123017
1899.06/1904.07 c #Conflicts: 1388000 | #Constraints: 124017
1899.06/1904.07 c #Conflicts: 1389000 | #Constraints: 125019
1899.06/1904.07 c #Conflicts: 1390000 | #Constraints: 126019
1899.06/1904.07 c #Conflicts: 1391000 | #Constraints: 127019
1899.06/1904.07 c #Conflicts: 1392000 | #Constraints: 128019
1899.06/1904.07 c #Conflicts: 1393000 | #Constraints: 129019
1899.06/1904.07 c #Conflicts: 1394000 | #Constraints: 130020
1899.06/1904.07 c #Conflicts: 1395000 | #Constraints: 131021
1899.06/1904.07 c #Conflicts: 1396000 | #Constraints: 132021
1899.06/1904.07 c #Conflicts: 1397000 | #Constraints: 133021
1899.06/1904.07 c #Conflicts: 1398000 | #Constraints: 134021
1899.06/1904.07 c #Conflicts: 1399000 | #Constraints: 135021
1899.06/1904.07 c #Conflicts: 1400000 | #Constraints: 136021
1899.06/1904.07 c #Conflicts: 1401000 | #Constraints: 137021
1899.06/1904.07 c #Conflicts: 1402000 | #Constraints: 138021
1899.06/1904.07 c #Conflicts: 1403000 | #Constraints: 139021
1899.06/1904.07 c #Conflicts: 1404000 | #Constraints: 140021
1899.06/1904.07 c #Conflicts: 1405000 | #Constraints: 141021
1899.06/1904.07 c #Conflicts: 1406000 | #Constraints: 142021
1899.06/1904.07 c #Conflicts: 1407000 | #Constraints: 143021
1899.06/1904.07 c #Conflicts: 1408000 | #Constraints: 144021
1899.06/1904.07 c #Conflicts: 1409000 | #Constraints: 145021
1899.06/1904.07 c #Conflicts: 1410000 | #Constraints: 146021
1899.06/1904.07 c #Conflicts: 1411000 | #Constraints: 147021
1899.06/1904.07 c #Conflicts: 1412000 | #Constraints: 148021
1899.06/1904.07 c #Conflicts: 1413000 | #Constraints: 149021
1899.06/1904.07 c #Conflicts: 1414000 | #Constraints: 150021
1899.06/1904.07 c #Conflicts: 1415000 | #Constraints: 151021
1899.06/1904.07 c #Conflicts: 1416000 | #Constraints: 152021
1899.06/1904.07 c #Conflicts: 1417000 | #Constraints: 153021
1899.06/1904.07 c #Conflicts: 1418000 | #Constraints: 154021
1899.06/1904.07 c #Conflicts: 1419000 | #Constraints: 155021
1899.06/1904.07 c #Conflicts: 1420000 | #Constraints: 156021
1899.06/1904.07 c #Conflicts: 1421000 | #Constraints: 157021
1899.06/1904.07 c #Conflicts: 1422000 | #Constraints: 158021
1899.06/1904.07 c #Conflicts: 1423000 | #Constraints: 159021
1899.06/1904.07 c #Conflicts: 1424000 | #Constraints: 160021
1899.06/1904.07 c #Conflicts: 1425000 | #Constraints: 161021
1899.06/1904.07 c #Conflicts: 1426000 | #Constraints: 162021
1899.06/1904.07 c #Conflicts: 1427000 | #Constraints: 163021
1899.06/1904.07 c #Conflicts: 1428000 | #Constraints: 164021
1899.06/1904.07 c #Conflicts: 1429000 | #Constraints: 165021
1899.06/1904.07 c #Conflicts: 1430000 | #Constraints: 166021
1899.06/1904.07 c #Conflicts: 1431000 | #Constraints: 167021
1899.06/1904.07 c #Conflicts: 1432000 | #Constraints: 168021
1899.06/1904.07 c INPROCESSING
1899.06/1904.07 c GARBAGE COLLECT
1899.06/1904.07 c #Conflicts: 1433000 | #Constraints: 108732
1899.06/1904.07 c #Conflicts: 1434000 | #Constraints: 109732
1899.06/1904.07 c #Conflicts: 1435000 | #Constraints: 110732
1899.06/1904.07 c #Conflicts: 1436000 | #Constraints: 111732
1899.06/1904.07 c #Conflicts: 1437000 | #Constraints: 112732
1899.06/1904.07 c #Conflicts: 1438000 | #Constraints: 113732
1899.06/1904.07 c #Conflicts: 1439000 | #Constraints: 114732
1899.06/1904.07 c #Conflicts: 1440000 | #Constraints: 115732
1899.06/1904.07 c #Conflicts: 1441000 | #Constraints: 116732
1899.06/1904.07 c #Conflicts: 1442000 | #Constraints: 117732
1899.06/1904.07 c #Conflicts: 1443000 | #Constraints: 118732
1899.06/1904.07 c #Conflicts: 1444000 | #Constraints: 119732
1899.06/1904.07 c #Conflicts: 1445000 | #Constraints: 120732
1899.06/1904.07 c #Conflicts: 1446000 | #Constraints: 121732
1899.06/1904.07 c #Conflicts: 1447000 | #Constraints: 122732
1899.06/1904.07 c #Conflicts: 1448000 | #Constraints: 123732
1899.06/1904.07 c #Conflicts: 1449000 | #Constraints: 124732
1899.06/1904.07 c #Conflicts: 1450000 | #Constraints: 125732
1899.06/1904.07 c #Conflicts: 1451000 | #Constraints: 126732
2000.31/2005.52 c #Conflicts: 1452000 | #Constraints: 127732
2000.31/2005.52 c #Conflicts: 1453000 | #Constraints: 128732
2000.31/2005.52 c #Conflicts: 1454000 | #Constraints: 129732
2000.31/2005.52 c #Conflicts: 1455000 | #Constraints: 130732
2000.31/2005.52 c #Conflicts: 1456000 | #Constraints: 131732
2000.31/2005.52 c #Conflicts: 1457000 | #Constraints: 132732
2000.31/2005.52 c #Conflicts: 1458000 | #Constraints: 133732
2000.31/2005.52 c #Conflicts: 1459000 | #Constraints: 134732
2000.31/2005.52 c #Conflicts: 1460000 | #Constraints: 135732
2000.31/2005.52 c INPROCESSING
2000.31/2005.52 c GARBAGE COLLECT
2000.31/2005.52 c #Conflicts: 1461000 | #Constraints: 93015
2000.31/2005.52 c #Conflicts: 1462000 | #Constraints: 94015
2000.31/2005.52 c #Conflicts: 1463000 | #Constraints: 95015
2000.31/2005.52 c #Conflicts: 1464000 | #Constraints: 96015
2000.31/2005.52 c #Conflicts: 1465000 | #Constraints: 97015
2000.31/2005.52 c #Conflicts: 1466000 | #Constraints: 98015
2000.31/2005.52 c #Conflicts: 1467000 | #Constraints: 99015
2000.31/2005.52 c #Conflicts: 1468000 | #Constraints: 100015
2000.31/2005.52 c #Conflicts: 1469000 | #Constraints: 101015
2000.31/2005.52 c #Conflicts: 1470000 | #Constraints: 102015
2000.31/2005.52 c #Conflicts: 1471000 | #Constraints: 103015
2000.31/2005.52 c #Conflicts: 1472000 | #Constraints: 104015
2000.31/2005.52 c #Conflicts: 1473000 | #Constraints: 105015
2000.31/2005.52 c #Conflicts: 1474000 | #Constraints: 106015
2000.31/2005.52 c #Conflicts: 1475000 | #Constraints: 107015
2000.31/2005.52 c #Conflicts: 1476000 | #Constraints: 108015
2000.31/2005.52 c #Conflicts: 1477000 | #Constraints: 109015
2000.31/2005.52 c #Conflicts: 1478000 | #Constraints: 110015
2000.31/2005.52 c #Conflicts: 1479000 | #Constraints: 111015
2000.31/2005.52 c #Conflicts: 1480000 | #Constraints: 112015
2000.31/2005.52 c #Conflicts: 1481000 | #Constraints: 113016
2000.31/2005.52 c #Conflicts: 1482000 | #Constraints: 114017
2000.31/2005.52 c #Conflicts: 1483000 | #Constraints: 115017
2000.31/2005.52 c #Conflicts: 1484000 | #Constraints: 116017
2000.31/2005.52 c #Conflicts: 1485000 | #Constraints: 117018
2000.31/2005.52 c #Conflicts: 1486000 | #Constraints: 118018
2000.31/2005.52 c #Conflicts: 1487000 | #Constraints: 119018
2000.31/2005.52 c INPROCESSING
2000.31/2005.52 c GARBAGE COLLECT
2000.31/2005.52 c #Conflicts: 1488000 | #Constraints: 84420
2000.31/2005.52 c #Conflicts: 1489000 | #Constraints: 85420
2000.31/2005.52 c #Conflicts: 1490000 | #Constraints: 86420
2000.31/2005.52 c #Conflicts: 1491000 | #Constraints: 87420
2000.31/2005.52 c #Conflicts: 1492000 | #Constraints: 88420
2000.31/2005.52 c #Conflicts: 1493000 | #Constraints: 89420
2000.31/2005.52 c #Conflicts: 1494000 | #Constraints: 90420
2000.31/2005.52 c #Conflicts: 1495000 | #Constraints: 91420
2000.31/2005.52 c #Conflicts: 1496000 | #Constraints: 92420
2000.31/2005.52 c #Conflicts: 1497000 | #Constraints: 93420
2000.31/2005.52 c #Conflicts: 1498000 | #Constraints: 94420
2000.31/2005.52 c #Conflicts: 1499000 | #Constraints: 95421
2000.31/2005.52 c #Conflicts: 1500000 | #Constraints: 96421
2000.31/2005.52 c #Conflicts: 1501000 | #Constraints: 97421
2000.31/2005.52 c #Conflicts: 1502000 | #Constraints: 98421
2000.31/2005.52 c #Conflicts: 1503000 | #Constraints: 99422
2000.31/2005.52 c #Conflicts: 1504000 | #Constraints: 100424
2000.31/2005.52 c #Conflicts: 1505000 | #Constraints: 101426
2000.31/2005.52 c #Conflicts: 1506000 | #Constraints: 102427
2000.31/2005.52 c #Conflicts: 1507000 | #Constraints: 103427
2000.31/2005.52 c #Conflicts: 1508000 | #Constraints: 104427
2000.31/2005.52 c #Conflicts: 1509000 | #Constraints: 105428
2000.31/2005.52 c #Conflicts: 1510000 | #Constraints: 106429
2000.31/2005.52 c #Conflicts: 1511000 | #Constraints: 107429
2000.31/2005.52 c #Conflicts: 1512000 | #Constraints: 108430
2000.31/2005.52 c #Conflicts: 1513000 | #Constraints: 109430
2000.31/2005.52 c #Conflicts: 1514000 | #Constraints: 110431
2000.31/2005.52 c #Conflicts: 1515000 | #Constraints: 111431
2000.31/2005.52 c INPROCESSING
2000.31/2005.52 c GARBAGE COLLECT
2000.31/2005.52 c #Conflicts: 1516000 | #Constraints: 80852
2000.31/2005.52 c #Conflicts: 1517000 | #Constraints: 81852
2000.31/2005.52 c #Conflicts: 1518000 | #Constraints: 82852
2000.31/2005.52 c #Conflicts: 1519000 | #Constraints: 83852
2000.31/2005.52 c #Conflicts: 1520000 | #Constraints: 84852
2000.31/2005.52 c #Conflicts: 1521000 | #Constraints: 85852
2000.31/2005.52 c #Conflicts: 1522000 | #Constraints: 86852
2000.31/2005.52 c #Conflicts: 1523000 | #Constraints: 87852
2000.31/2005.52 c #Conflicts: 1524000 | #Constraints: 88852
2000.31/2005.52 c #Conflicts: 1525000 | #Constraints: 89852
2000.31/2005.52 c #Conflicts: 1526000 | #Constraints: 90852
2000.31/2005.52 c #Conflicts: 1527000 | #Constraints: 91852
2000.31/2005.52 c #Conflicts: 1528000 | #Constraints: 92852
2147.18/2152.77 c #Conflicts: 1529000 | #Constraints: 93852
2147.18/2152.77 c #Conflicts: 1530000 | #Constraints: 94852
2147.18/2152.77 c #Conflicts: 1531000 | #Constraints: 95852
2147.18/2152.77 c #Conflicts: 1532000 | #Constraints: 96852
2147.18/2152.77 c #Conflicts: 1533000 | #Constraints: 97852
2147.18/2152.77 c #Conflicts: 1534000 | #Constraints: 98852
2147.18/2152.77 c #Conflicts: 1535000 | #Constraints: 99852
2147.18/2152.77 c #Conflicts: 1536000 | #Constraints: 100852
2147.18/2152.77 c #Conflicts: 1537000 | #Constraints: 101852
2147.18/2152.77 c #Conflicts: 1538000 | #Constraints: 102852
2147.18/2152.77 c #Conflicts: 1539000 | #Constraints: 103852
2147.18/2152.77 c #Conflicts: 1540000 | #Constraints: 104852
2147.18/2152.77 c #Conflicts: 1541000 | #Constraints: 105852
2147.18/2152.77 c #Conflicts: 1542000 | #Constraints: 106853
2147.18/2152.77 c #Conflicts: 1543000 | #Constraints: 107853
2147.18/2152.77 c #Conflicts: 1544000 | #Constraints: 108853
2147.18/2152.77 c #Conflicts: 1545000 | #Constraints: 109853
2147.18/2152.77 c #Conflicts: 1546000 | #Constraints: 110853
2147.18/2152.77 c #Conflicts: 1547000 | #Constraints: 111853
2147.18/2152.77 c #Conflicts: 1548000 | #Constraints: 112853
2147.18/2152.77 c #Conflicts: 1549000 | #Constraints: 113853
2147.18/2152.77 c #Conflicts: 1550000 | #Constraints: 114853
2147.18/2152.77 c #Conflicts: 1551000 | #Constraints: 115853
2147.18/2152.77 c #Conflicts: 1552000 | #Constraints: 116853
2147.18/2152.77 c #Conflicts: 1553000 | #Constraints: 117853
2147.18/2152.77 c #Conflicts: 1554000 | #Constraints: 118853
2147.18/2152.77 c #Conflicts: 1555000 | #Constraints: 119853
2147.18/2152.77 c #Conflicts: 1556000 | #Constraints: 120853
2147.18/2152.77 c #Conflicts: 1557000 | #Constraints: 121854
2147.18/2152.77 c #Conflicts: 1558000 | #Constraints: 122854
2147.18/2152.77 c #Conflicts: 1559000 | #Constraints: 123855
2147.18/2152.77 c #Conflicts: 1560000 | #Constraints: 124855
2147.18/2152.77 c #Conflicts: 1561000 | #Constraints: 125855
2147.18/2152.77 c #Conflicts: 1562000 | #Constraints: 126855
2147.18/2152.77 c #Conflicts: 1563000 | #Constraints: 127855
2147.18/2152.77 c #Conflicts: 1564000 | #Constraints: 128855
2147.18/2152.77 c #Conflicts: 1565000 | #Constraints: 129856
2147.18/2152.77 c #Conflicts: 1566000 | #Constraints: 130857
2147.18/2152.77 c #Conflicts: 1567000 | #Constraints: 131858
2147.18/2152.77 c #Conflicts: 1568000 | #Constraints: 132858
2147.18/2152.77 c #Conflicts: 1569000 | #Constraints: 133858
2147.18/2152.77 c #Conflicts: 1570000 | #Constraints: 134860
2147.18/2152.77 c #Conflicts: 1571000 | #Constraints: 135862
2147.18/2152.77 c #Conflicts: 1572000 | #Constraints: 136863
2147.18/2152.77 c #Conflicts: 1573000 | #Constraints: 137864
2147.18/2152.77 c #Conflicts: 1574000 | #Constraints: 138864
2147.18/2152.77 c #Conflicts: 1575000 | #Constraints: 139864
2147.18/2152.77 c #Conflicts: 1576000 | #Constraints: 140864
2147.18/2152.77 c #Conflicts: 1577000 | #Constraints: 141864
2147.18/2152.77 c #Conflicts: 1578000 | #Constraints: 142864
2147.18/2152.77 c #Conflicts: 1579000 | #Constraints: 143864
2147.18/2152.77 c #Conflicts: 1580000 | #Constraints: 144864
2147.18/2152.77 c #Conflicts: 1581000 | #Constraints: 145864
2147.18/2152.77 c #Conflicts: 1582000 | #Constraints: 146864
2147.18/2152.77 c #Conflicts: 1583000 | #Constraints: 147864
2147.18/2152.77 c #Conflicts: 1584000 | #Constraints: 148864
2147.18/2152.77 c #Conflicts: 1585000 | #Constraints: 149864
2147.18/2152.77 c #Conflicts: 1586000 | #Constraints: 150864
2147.18/2152.77 c #Conflicts: 1587000 | #Constraints: 151864
2147.18/2152.77 c #Conflicts: 1588000 | #Constraints: 152864
2147.18/2152.77 c #Conflicts: 1589000 | #Constraints: 153864
2147.18/2152.77 c #Conflicts: 1590000 | #Constraints: 154864
2147.18/2152.77 c #Conflicts: 1591000 | #Constraints: 155864
2147.18/2152.77 c #Conflicts: 1592000 | #Constraints: 156864
2147.18/2152.77 c #Conflicts: 1593000 | #Constraints: 157865
2147.18/2152.77 c #Conflicts: 1594000 | #Constraints: 158865
2147.18/2152.77 c #Conflicts: 1595000 | #Constraints: 159865
2147.18/2152.77 c #Conflicts: 1596000 | #Constraints: 160865
2147.18/2152.77 c #Conflicts: 1597000 | #Constraints: 161865
2147.18/2152.77 c #Conflicts: 1598000 | #Constraints: 162865
2147.18/2152.77 c #Conflicts: 1599000 | #Constraints: 163865
2147.18/2152.77 c #Conflicts: 1600000 | #Constraints: 164865
2147.18/2152.77 c #Conflicts: 1601000 | #Constraints: 165865
2147.18/2152.77 c #Conflicts: 1602000 | #Constraints: 166865
2147.18/2152.77 c #Conflicts: 1603000 | #Constraints: 167865
2147.18/2152.77 c #Conflicts: 1604000 | #Constraints: 168865
2147.18/2152.77 c #Conflicts: 1605000 | #Constraints: 169865
2147.18/2152.77 c #Conflicts: 1606000 | #Constraints: 170865
2147.18/2152.77 c #Conflicts: 1607000 | #Constraints: 171865
2275.28/2281.11 c #Conflicts: 1608000 | #Constraints: 172865
2275.28/2281.11 c #Conflicts: 1609000 | #Constraints: 173865
2275.28/2281.11 c #Conflicts: 1610000 | #Constraints: 174865
2275.28/2281.11 c #Conflicts: 1611000 | #Constraints: 175865
2275.28/2281.11 c INPROCESSING
2275.28/2281.11 c GARBAGE COLLECT
2275.28/2281.11 c #Conflicts: 1612000 | #Constraints: 113008
2275.28/2281.11 c #Conflicts: 1613000 | #Constraints: 114008
2275.28/2281.11 c #Conflicts: 1614000 | #Constraints: 115008
2275.28/2281.11 c #Conflicts: 1615000 | #Constraints: 116008
2275.28/2281.11 c #Conflicts: 1616000 | #Constraints: 117010
2275.28/2281.11 c #Conflicts: 1617000 | #Constraints: 118011
2275.28/2281.11 c #Conflicts: 1618000 | #Constraints: 119011
2275.28/2281.11 c #Conflicts: 1619000 | #Constraints: 120013
2275.28/2281.11 c #Conflicts: 1620000 | #Constraints: 121013
2275.28/2281.11 c #Conflicts: 1621000 | #Constraints: 122014
2275.28/2281.11 c #Conflicts: 1622000 | #Constraints: 123016
2275.28/2281.11 c #Conflicts: 1623000 | #Constraints: 124017
2275.28/2281.11 c #Conflicts: 1624000 | #Constraints: 125018
2275.28/2281.11 c #Conflicts: 1625000 | #Constraints: 126019
2275.28/2281.11 c #Conflicts: 1626000 | #Constraints: 127020
2275.28/2281.11 c #Conflicts: 1627000 | #Constraints: 128022
2275.28/2281.11 c #Conflicts: 1628000 | #Constraints: 129022
2275.28/2281.11 c #Conflicts: 1629000 | #Constraints: 130023
2275.28/2281.11 c #Conflicts: 1630000 | #Constraints: 131036
2275.28/2281.11 c #Conflicts: 1631000 | #Constraints: 132036
2275.28/2281.11 c #Conflicts: 1632000 | #Constraints: 133048
2275.28/2281.11 c #Conflicts: 1633000 | #Constraints: 134050
2275.28/2281.11 c #Conflicts: 1634000 | #Constraints: 135052
2275.28/2281.11 c #Conflicts: 1635000 | #Constraints: 136052
2275.28/2281.11 c #Conflicts: 1636000 | #Constraints: 137059
2275.28/2281.11 c #Conflicts: 1637000 | #Constraints: 138060
2275.28/2281.11 c #Conflicts: 1638000 | #Constraints: 139060
2275.28/2281.11 c #Conflicts: 1639000 | #Constraints: 140060
2275.28/2281.11 c #Conflicts: 1640000 | #Constraints: 141060
2275.28/2281.11 c INPROCESSING
2275.28/2281.11 c GARBAGE COLLECT
2275.28/2281.11 c #Conflicts: 1641000 | #Constraints: 95637
2275.28/2281.11 c #Conflicts: 1642000 | #Constraints: 96644
2275.28/2281.11 c #Conflicts: 1643000 | #Constraints: 97644
2275.28/2281.11 c #Conflicts: 1644000 | #Constraints: 98644
2275.28/2281.11 c #Conflicts: 1645000 | #Constraints: 99644
2275.28/2281.11 c #Conflicts: 1646000 | #Constraints: 100644
2275.28/2281.11 c #Conflicts: 1647000 | #Constraints: 101644
2275.28/2281.11 c #Conflicts: 1648000 | #Constraints: 102644
2275.28/2281.11 c #Conflicts: 1649000 | #Constraints: 103644
2275.28/2281.11 c #Conflicts: 1650000 | #Constraints: 104644
2275.28/2281.11 c #Conflicts: 1651000 | #Constraints: 105644
2275.28/2281.11 c #Conflicts: 1652000 | #Constraints: 106644
2275.28/2281.11 c #Conflicts: 1653000 | #Constraints: 107644
2275.28/2281.11 c #Conflicts: 1654000 | #Constraints: 108644
2275.28/2281.11 c #Conflicts: 1655000 | #Constraints: 109644
2275.28/2281.11 c #Conflicts: 1656000 | #Constraints: 110644
2275.28/2281.11 c #Conflicts: 1657000 | #Constraints: 111644
2275.28/2281.11 c #Conflicts: 1658000 | #Constraints: 112644
2275.28/2281.11 c #Conflicts: 1659000 | #Constraints: 113644
2275.28/2281.11 c #Conflicts: 1660000 | #Constraints: 114644
2275.28/2281.11 c #Conflicts: 1661000 | #Constraints: 115644
2275.28/2281.11 c #Conflicts: 1662000 | #Constraints: 116644
2275.28/2281.11 c #Conflicts: 1663000 | #Constraints: 117644
2275.28/2281.11 c #Conflicts: 1664000 | #Constraints: 118644
2275.28/2281.11 c #Conflicts: 1665000 | #Constraints: 119644
2275.28/2281.11 c #Conflicts: 1666000 | #Constraints: 120644
2275.28/2281.11 c #Conflicts: 1667000 | #Constraints: 121644
2275.28/2281.11 c #Conflicts: 1668000 | #Constraints: 122644
2275.28/2281.11 c #Conflicts: 1669000 | #Constraints: 123644
2275.28/2281.11 c INPROCESSING
2275.28/2281.11 c GARBAGE COLLECT
2275.28/2281.11 c #Conflicts: 1670000 | #Constraints: 86857
2275.28/2281.11 c #Conflicts: 1671000 | #Constraints: 87857
2275.28/2281.11 c #Conflicts: 1672000 | #Constraints: 88857
2275.28/2281.11 c #Conflicts: 1673000 | #Constraints: 89857
2275.28/2281.11 c #Conflicts: 1674000 | #Constraints: 90857
2275.28/2281.11 c #Conflicts: 1675000 | #Constraints: 91857
2275.28/2281.11 c #Conflicts: 1676000 | #Constraints: 92857
2275.28/2281.11 c #Conflicts: 1677000 | #Constraints: 93857
2275.28/2281.11 c #Conflicts: 1678000 | #Constraints: 94858
2275.28/2281.11 c #Conflicts: 1679000 | #Constraints: 95858
2275.28/2281.11 c #Conflicts: 1680000 | #Constraints: 96858
2275.28/2281.11 c #Conflicts: 1681000 | #Constraints: 97858
2275.28/2281.11 c #Conflicts: 1682000 | #Constraints: 98858
2275.28/2281.11 c #Conflicts: 1683000 | #Constraints: 99858
2275.28/2281.11 c #Conflicts: 1684000 | #Constraints: 100858
2389.11/2395.25 c #Conflicts: 1685000 | #Constraints: 101858
2389.11/2395.25 c #Conflicts: 1686000 | #Constraints: 102858
2389.11/2395.25 c #Conflicts: 1687000 | #Constraints: 103858
2389.11/2395.25 c #Conflicts: 1688000 | #Constraints: 104858
2389.11/2395.25 c #Conflicts: 1689000 | #Constraints: 105858
2389.11/2395.25 c #Conflicts: 1690000 | #Constraints: 106858
2389.11/2395.25 c #Conflicts: 1691000 | #Constraints: 107858
2389.11/2395.25 c #Conflicts: 1692000 | #Constraints: 108858
2389.11/2395.25 c #Conflicts: 1693000 | #Constraints: 109858
2389.11/2395.25 c #Conflicts: 1694000 | #Constraints: 110858
2389.11/2395.25 c #Conflicts: 1695000 | #Constraints: 111858
2389.11/2395.25 c #Conflicts: 1696000 | #Constraints: 112858
2389.11/2395.25 c #Conflicts: 1697000 | #Constraints: 113858
2389.11/2395.25 c #Conflicts: 1698000 | #Constraints: 114858
2389.11/2395.25 c INPROCESSING
2389.11/2395.25 c GARBAGE COLLECT
2389.11/2395.25 c #Conflicts: 1699000 | #Constraints: 82354
2389.11/2395.25 c #Conflicts: 1700000 | #Constraints: 83354
2389.11/2395.25 c #Conflicts: 1701000 | #Constraints: 84354
2389.11/2395.25 c #Conflicts: 1702000 | #Constraints: 85354
2389.11/2395.25 c #Conflicts: 1703000 | #Constraints: 86354
2389.11/2395.25 c #Conflicts: 1704000 | #Constraints: 87354
2389.11/2395.25 c #Conflicts: 1705000 | #Constraints: 88354
2389.11/2395.25 c #Conflicts: 1706000 | #Constraints: 89354
2389.11/2395.25 c #Conflicts: 1707000 | #Constraints: 90354
2389.11/2395.25 c #Conflicts: 1708000 | #Constraints: 91354
2389.11/2395.25 c #Conflicts: 1709000 | #Constraints: 92354
2389.11/2395.25 c #Conflicts: 1710000 | #Constraints: 93354
2389.11/2395.25 c #Conflicts: 1711000 | #Constraints: 94354
2389.11/2395.25 c #Conflicts: 1712000 | #Constraints: 95354
2389.11/2395.25 c #Conflicts: 1713000 | #Constraints: 96354
2389.11/2395.25 c #Conflicts: 1714000 | #Constraints: 97354
2389.11/2395.25 c #Conflicts: 1715000 | #Constraints: 98354
2389.11/2395.25 c #Conflicts: 1716000 | #Constraints: 99355
2389.11/2395.25 c #Conflicts: 1717000 | #Constraints: 100356
2389.11/2395.25 c #Conflicts: 1718000 | #Constraints: 101356
2389.11/2395.25 c #Conflicts: 1719000 | #Constraints: 102356
2389.11/2395.25 c #Conflicts: 1720000 | #Constraints: 103356
2389.11/2395.25 c #Conflicts: 1721000 | #Constraints: 104356
2389.11/2395.25 c #Conflicts: 1722000 | #Constraints: 105356
2389.11/2395.25 c #Conflicts: 1723000 | #Constraints: 106356
2389.11/2395.25 c #Conflicts: 1724000 | #Constraints: 107356
2389.11/2395.25 c #Conflicts: 1725000 | #Constraints: 108356
2389.11/2395.25 c #Conflicts: 1726000 | #Constraints: 109356
2389.11/2395.25 c #Conflicts: 1727000 | #Constraints: 110356
2389.11/2395.25 c #Conflicts: 1728000 | #Constraints: 111356
2389.11/2395.25 c #Conflicts: 1729000 | #Constraints: 112356
2389.11/2395.25 c #Conflicts: 1730000 | #Constraints: 113356
2389.11/2395.25 c #Conflicts: 1731000 | #Constraints: 114356
2389.11/2395.25 c #Conflicts: 1732000 | #Constraints: 115356
2389.11/2395.25 c #Conflicts: 1733000 | #Constraints: 116356
2389.11/2395.25 c #Conflicts: 1734000 | #Constraints: 117356
2389.11/2395.25 c #Conflicts: 1735000 | #Constraints: 118356
2389.11/2395.25 c #Conflicts: 1736000 | #Constraints: 119356
2389.11/2395.25 c #Conflicts: 1737000 | #Constraints: 120356
2389.11/2395.25 c #Conflicts: 1738000 | #Constraints: 121356
2389.11/2395.25 c #Conflicts: 1739000 | #Constraints: 122356
2389.11/2395.25 c #Conflicts: 1740000 | #Constraints: 123356
2389.11/2395.25 c #Conflicts: 1741000 | #Constraints: 124356
2389.11/2395.25 c #Conflicts: 1742000 | #Constraints: 125356
2389.11/2395.25 c #Conflicts: 1743000 | #Constraints: 126356
2389.11/2395.25 c #Conflicts: 1744000 | #Constraints: 127356
2389.11/2395.25 c #Conflicts: 1745000 | #Constraints: 128356
2389.11/2395.25 c #Conflicts: 1746000 | #Constraints: 129356
2389.11/2395.25 c #Conflicts: 1747000 | #Constraints: 130356
2389.11/2395.25 c #Conflicts: 1748000 | #Constraints: 131356
2389.11/2395.25 c #Conflicts: 1749000 | #Constraints: 132356
2389.11/2395.25 c #Conflicts: 1750000 | #Constraints: 133356
2389.11/2395.25 c #Conflicts: 1751000 | #Constraints: 134356
2389.11/2395.25 c #Conflicts: 1752000 | #Constraints: 135356
2389.11/2395.25 c #Conflicts: 1753000 | #Constraints: 136356
2389.11/2395.25 c #Conflicts: 1754000 | #Constraints: 137356
2389.11/2395.25 c #Conflicts: 1755000 | #Constraints: 138356
2389.11/2395.25 c #Conflicts: 1756000 | #Constraints: 139356
2389.11/2395.25 c #Conflicts: 1757000 | #Constraints: 140356
2389.11/2395.25 c #Conflicts: 1758000 | #Constraints: 141356
2389.11/2395.25 c #Conflicts: 1759000 | #Constraints: 142356
2389.11/2395.25 c #Conflicts: 1760000 | #Constraints: 143356
2389.11/2395.25 c #Conflicts: 1761000 | #Constraints: 144356
2389.11/2395.25 c #Conflicts: 1762000 | #Constraints: 145356
2533.59/2540.05 c #Conflicts: 1763000 | #Constraints: 146356
2533.59/2540.05 c #Conflicts: 1764000 | #Constraints: 147356
2533.59/2540.05 c #Conflicts: 1765000 | #Constraints: 148356
2533.59/2540.05 c #Conflicts: 1766000 | #Constraints: 149356
2533.59/2540.05 c #Conflicts: 1767000 | #Constraints: 150356
2533.59/2540.05 c #Conflicts: 1768000 | #Constraints: 151356
2533.59/2540.05 c #Conflicts: 1769000 | #Constraints: 152356
2533.59/2540.05 c #Conflicts: 1770000 | #Constraints: 153356
2533.59/2540.05 c #Conflicts: 1771000 | #Constraints: 154356
2533.59/2540.05 c #Conflicts: 1772000 | #Constraints: 155356
2533.59/2540.05 c #Conflicts: 1773000 | #Constraints: 156356
2533.59/2540.05 c #Conflicts: 1774000 | #Constraints: 157356
2533.59/2540.05 c #Conflicts: 1775000 | #Constraints: 158356
2533.59/2540.05 c #Conflicts: 1776000 | #Constraints: 159356
2533.59/2540.05 c #Conflicts: 1777000 | #Constraints: 160356
2533.59/2540.05 c #Conflicts: 1778000 | #Constraints: 161356
2533.59/2540.05 c #Conflicts: 1779000 | #Constraints: 162356
2533.59/2540.05 c #Conflicts: 1780000 | #Constraints: 163356
2533.59/2540.05 c #Conflicts: 1781000 | #Constraints: 164356
2533.59/2540.05 c #Conflicts: 1782000 | #Constraints: 165356
2533.59/2540.05 c #Conflicts: 1783000 | #Constraints: 166356
2533.59/2540.05 c #Conflicts: 1784000 | #Constraints: 167356
2533.59/2540.05 c #Conflicts: 1785000 | #Constraints: 168356
2533.59/2540.05 c #Conflicts: 1786000 | #Constraints: 169356
2533.59/2540.05 c #Conflicts: 1787000 | #Constraints: 170357
2533.59/2540.05 c #Conflicts: 1788000 | #Constraints: 171357
2533.59/2540.05 c #Conflicts: 1789000 | #Constraints: 172357
2533.59/2540.05 c #Conflicts: 1790000 | #Constraints: 173357
2533.59/2540.05 c #Conflicts: 1791000 | #Constraints: 174357
2533.59/2540.05 c #Conflicts: 1792000 | #Constraints: 175357
2533.59/2540.05 c #Conflicts: 1793000 | #Constraints: 176357
2533.59/2540.05 c #Conflicts: 1794000 | #Constraints: 177357
2533.59/2540.05 c #Conflicts: 1795000 | #Constraints: 178357
2533.59/2540.05 c #Conflicts: 1796000 | #Constraints: 179357
2533.59/2540.05 c #Conflicts: 1797000 | #Constraints: 180357
2533.59/2540.05 c #Conflicts: 1798000 | #Constraints: 181357
2533.59/2540.05 c #Conflicts: 1799000 | #Constraints: 182357
2533.59/2540.05 c #Conflicts: 1800000 | #Constraints: 183357
2533.59/2540.05 c INPROCESSING
2533.59/2540.05 c GARBAGE COLLECT
2533.59/2540.05 c #Conflicts: 1801000 | #Constraints: 116807
2533.59/2540.05 c #Conflicts: 1802000 | #Constraints: 117809
2533.59/2540.05 c #Conflicts: 1803000 | #Constraints: 118811
2533.59/2540.05 c #Conflicts: 1804000 | #Constraints: 119811
2533.59/2540.05 c #Conflicts: 1805000 | #Constraints: 120811
2533.59/2540.05 c #Conflicts: 1806000 | #Constraints: 121811
2533.59/2540.05 c #Conflicts: 1807000 | #Constraints: 122811
2533.59/2540.05 c #Conflicts: 1808000 | #Constraints: 123811
2533.59/2540.05 c #Conflicts: 1809000 | #Constraints: 124811
2533.59/2540.05 c #Conflicts: 1810000 | #Constraints: 125811
2533.59/2540.05 c #Conflicts: 1811000 | #Constraints: 126811
2533.59/2540.05 c #Conflicts: 1812000 | #Constraints: 127811
2533.59/2540.05 c #Conflicts: 1813000 | #Constraints: 128811
2533.59/2540.05 c #Conflicts: 1814000 | #Constraints: 129811
2533.59/2540.05 c #Conflicts: 1815000 | #Constraints: 130811
2533.59/2540.05 c #Conflicts: 1816000 | #Constraints: 131811
2533.59/2540.05 c #Conflicts: 1817000 | #Constraints: 132811
2533.59/2540.05 c #Conflicts: 1818000 | #Constraints: 133811
2533.59/2540.05 c #Conflicts: 1819000 | #Constraints: 134811
2533.59/2540.05 c #Conflicts: 1820000 | #Constraints: 135811
2533.59/2540.05 c #Conflicts: 1821000 | #Constraints: 136811
2533.59/2540.05 c #Conflicts: 1822000 | #Constraints: 137811
2533.59/2540.05 c #Conflicts: 1823000 | #Constraints: 138811
2533.59/2540.05 c #Conflicts: 1824000 | #Constraints: 139811
2533.59/2540.05 c #Conflicts: 1825000 | #Constraints: 140811
2533.59/2540.05 c #Conflicts: 1826000 | #Constraints: 141811
2533.59/2540.05 c #Conflicts: 1827000 | #Constraints: 142811
2533.59/2540.05 c #Conflicts: 1828000 | #Constraints: 143811
2533.59/2540.05 c #Conflicts: 1829000 | #Constraints: 144811
2533.59/2540.05 c #Conflicts: 1830000 | #Constraints: 145812
2533.59/2540.05 c INPROCESSING
2533.59/2540.05 c GARBAGE COLLECT
2533.59/2540.05 c #Conflicts: 1831000 | #Constraints: 97759
2533.59/2540.05 c #Conflicts: 1832000 | #Constraints: 98759
2533.59/2540.05 c #Conflicts: 1833000 | #Constraints: 99759
2533.59/2540.05 c #Conflicts: 1834000 | #Constraints: 100759
2533.59/2540.05 c #Conflicts: 1835000 | #Constraints: 101759
2533.59/2540.05 c #Conflicts: 1836000 | #Constraints: 102759
2533.59/2540.05 c #Conflicts: 1837000 | #Constraints: 103759
2533.59/2540.05 c #Conflicts: 1838000 | #Constraints: 104759
2533.59/2540.05 c #Conflicts: 1839000 | #Constraints: 105759
2646.83/2653.52 c #Conflicts: 1840000 | #Constraints: 106759
2646.83/2653.52 c #Conflicts: 1841000 | #Constraints: 107759
2646.83/2653.52 c #Conflicts: 1842000 | #Constraints: 108759
2646.83/2653.52 c #Conflicts: 1843000 | #Constraints: 109759
2646.83/2653.52 c #Conflicts: 1844000 | #Constraints: 110759
2646.83/2653.52 c #Conflicts: 1845000 | #Constraints: 111759
2646.83/2653.52 c #Conflicts: 1846000 | #Constraints: 112759
2646.83/2653.52 c #Conflicts: 1847000 | #Constraints: 113759
2646.83/2653.52 c #Conflicts: 1848000 | #Constraints: 114759
2646.83/2653.52 c #Conflicts: 1849000 | #Constraints: 115759
2646.83/2653.52 c #Conflicts: 1850000 | #Constraints: 116759
2646.83/2653.52 c #Conflicts: 1851000 | #Constraints: 117759
2646.83/2653.52 c #Conflicts: 1852000 | #Constraints: 118760
2646.83/2653.52 c #Conflicts: 1853000 | #Constraints: 119760
2646.83/2653.52 c #Conflicts: 1854000 | #Constraints: 120760
2646.83/2653.52 c #Conflicts: 1855000 | #Constraints: 121760
2646.83/2653.52 c #Conflicts: 1856000 | #Constraints: 122760
2646.83/2653.52 c #Conflicts: 1857000 | #Constraints: 123760
2646.83/2653.52 c #Conflicts: 1858000 | #Constraints: 124760
2646.83/2653.52 c #Conflicts: 1859000 | #Constraints: 125760
2646.83/2653.52 c #Conflicts: 1860000 | #Constraints: 126760
2646.83/2653.52 c #Conflicts: 1861000 | #Constraints: 127760
2646.83/2653.52 c INPROCESSING
2646.83/2653.52 c GARBAGE COLLECT
2646.83/2653.52 c #Conflicts: 1862000 | #Constraints: 88817
2646.83/2653.52 c #Conflicts: 1863000 | #Constraints: 89817
2646.83/2653.52 c #Conflicts: 1864000 | #Constraints: 90817
2646.83/2653.52 c #Conflicts: 1865000 | #Constraints: 91817
2646.83/2653.52 c #Conflicts: 1866000 | #Constraints: 92817
2646.83/2653.52 c #Conflicts: 1867000 | #Constraints: 93817
2646.83/2653.52 c #Conflicts: 1868000 | #Constraints: 94817
2646.83/2653.52 c #Conflicts: 1869000 | #Constraints: 95817
2646.83/2653.52 c #Conflicts: 1870000 | #Constraints: 96817
2646.83/2653.52 c #Conflicts: 1871000 | #Constraints: 97817
2646.83/2653.52 c #Conflicts: 1872000 | #Constraints: 98817
2646.83/2653.52 c #Conflicts: 1873000 | #Constraints: 99818
2646.83/2653.52 c #Conflicts: 1874000 | #Constraints: 100818
2646.83/2653.52 c #Conflicts: 1875000 | #Constraints: 101818
2646.83/2653.52 c #Conflicts: 1876000 | #Constraints: 102818
2646.83/2653.52 c #Conflicts: 1877000 | #Constraints: 103818
2646.83/2653.52 c #Conflicts: 1878000 | #Constraints: 104818
2646.83/2653.52 c #Conflicts: 1879000 | #Constraints: 105818
2646.83/2653.52 c #Conflicts: 1880000 | #Constraints: 106818
2646.83/2653.52 c #Conflicts: 1881000 | #Constraints: 107818
2646.83/2653.52 c #Conflicts: 1882000 | #Constraints: 108818
2646.83/2653.52 c #Conflicts: 1883000 | #Constraints: 109818
2646.83/2653.52 c #Conflicts: 1884000 | #Constraints: 110818
2646.83/2653.52 c #Conflicts: 1885000 | #Constraints: 111818
2646.83/2653.52 c #Conflicts: 1886000 | #Constraints: 112818
2646.83/2653.52 c #Conflicts: 1887000 | #Constraints: 113818
2646.83/2653.52 c #Conflicts: 1888000 | #Constraints: 114818
2646.83/2653.52 c #Conflicts: 1889000 | #Constraints: 115818
2646.83/2653.52 c #Conflicts: 1890000 | #Constraints: 116818
2646.83/2653.52 c #Conflicts: 1891000 | #Constraints: 117818
2646.83/2653.52 c #Conflicts: 1892000 | #Constraints: 118818
2646.83/2653.52 c INPROCESSING
2646.83/2653.52 c GARBAGE COLLECT
2646.83/2653.52 c #Conflicts: 1893000 | #Constraints: 84438
2646.83/2653.52 c #Conflicts: 1894000 | #Constraints: 85438
2646.83/2653.52 c #Conflicts: 1895000 | #Constraints: 86438
2646.83/2653.52 c #Conflicts: 1896000 | #Constraints: 87438
2646.83/2653.52 c #Conflicts: 1897000 | #Constraints: 88438
2646.83/2653.52 c #Conflicts: 1898000 | #Constraints: 89438
2646.83/2653.52 c #Conflicts: 1899000 | #Constraints: 90438
2646.83/2653.52 c #Conflicts: 1900000 | #Constraints: 91438
2646.83/2653.52 c #Conflicts: 1901000 | #Constraints: 92439
2646.83/2653.52 c #Conflicts: 1902000 | #Constraints: 93439
2646.83/2653.52 c #Conflicts: 1903000 | #Constraints: 94439
2646.83/2653.52 c #Conflicts: 1904000 | #Constraints: 95439
2646.83/2653.52 c #Conflicts: 1905000 | #Constraints: 96439
2646.83/2653.52 c #Conflicts: 1906000 | #Constraints: 97439
2646.83/2653.52 c #Conflicts: 1907000 | #Constraints: 98439
2646.83/2653.52 c #Conflicts: 1908000 | #Constraints: 99439
2646.83/2653.52 c #Conflicts: 1909000 | #Constraints: 100439
2646.83/2653.52 c #Conflicts: 1910000 | #Constraints: 101439
2646.83/2653.52 c #Conflicts: 1911000 | #Constraints: 102439
2646.83/2653.52 c #Conflicts: 1912000 | #Constraints: 103439
2646.83/2653.52 c #Conflicts: 1913000 | #Constraints: 104439
2646.83/2653.52 c #Conflicts: 1914000 | #Constraints: 105439
2646.83/2653.52 c #Conflicts: 1915000 | #Constraints: 106439
2646.83/2653.52 c #Conflicts: 1916000 | #Constraints: 107439
2646.83/2653.52 c #Conflicts: 1917000 | #Constraints: 108439
2799.37/2806.45 c #Conflicts: 1918000 | #Constraints: 109440
2799.37/2806.45 c #Conflicts: 1919000 | #Constraints: 110440
2799.37/2806.45 c #Conflicts: 1920000 | #Constraints: 111441
2799.37/2806.45 c #Conflicts: 1921000 | #Constraints: 112444
2799.37/2806.45 c #Conflicts: 1922000 | #Constraints: 113444
2799.37/2806.45 c #Conflicts: 1923000 | #Constraints: 114447
2799.37/2806.45 c #Conflicts: 1924000 | #Constraints: 115447
2799.37/2806.45 c #Conflicts: 1925000 | #Constraints: 116447
2799.37/2806.45 c #Conflicts: 1926000 | #Constraints: 117447
2799.37/2806.45 c #Conflicts: 1927000 | #Constraints: 118449
2799.37/2806.45 c #Conflicts: 1928000 | #Constraints: 119449
2799.37/2806.45 c #Conflicts: 1929000 | #Constraints: 120449
2799.37/2806.45 c #Conflicts: 1930000 | #Constraints: 121450
2799.37/2806.45 c #Conflicts: 1931000 | #Constraints: 122450
2799.37/2806.45 c #Conflicts: 1932000 | #Constraints: 123451
2799.37/2806.45 c #Conflicts: 1933000 | #Constraints: 124451
2799.37/2806.45 c #Conflicts: 1934000 | #Constraints: 125454
2799.37/2806.45 c #Conflicts: 1935000 | #Constraints: 126456
2799.37/2806.45 c #Conflicts: 1936000 | #Constraints: 127457
2799.37/2806.45 c #Conflicts: 1937000 | #Constraints: 128458
2799.37/2806.45 c #Conflicts: 1938000 | #Constraints: 129460
2799.37/2806.45 c #Conflicts: 1939000 | #Constraints: 130461
2799.37/2806.45 c #Conflicts: 1940000 | #Constraints: 131461
2799.37/2806.45 c #Conflicts: 1941000 | #Constraints: 132461
2799.37/2806.45 c #Conflicts: 1942000 | #Constraints: 133462
2799.37/2806.45 c #Conflicts: 1943000 | #Constraints: 134462
2799.37/2806.45 c #Conflicts: 1944000 | #Constraints: 135463
2799.37/2806.45 c #Conflicts: 1945000 | #Constraints: 136463
2799.37/2806.45 c #Conflicts: 1946000 | #Constraints: 137464
2799.37/2806.45 c #Conflicts: 1947000 | #Constraints: 138467
2799.37/2806.45 c #Conflicts: 1948000 | #Constraints: 139467
2799.37/2806.45 c #Conflicts: 1949000 | #Constraints: 140469
2799.37/2806.45 c #Conflicts: 1950000 | #Constraints: 141469
2799.37/2806.45 c #Conflicts: 1951000 | #Constraints: 142472
2799.37/2806.45 c #Conflicts: 1952000 | #Constraints: 143475
2799.37/2806.45 c #Conflicts: 1953000 | #Constraints: 144476
2799.37/2806.45 c #Conflicts: 1954000 | #Constraints: 145477
2799.37/2806.45 c #Conflicts: 1955000 | #Constraints: 146477
2799.37/2806.45 c #Conflicts: 1956000 | #Constraints: 147478
2799.37/2806.45 c #Conflicts: 1957000 | #Constraints: 148479
2799.37/2806.45 c #Conflicts: 1958000 | #Constraints: 149479
2799.37/2806.45 c #Conflicts: 1959000 | #Constraints: 150480
2799.37/2806.45 c #Conflicts: 1960000 | #Constraints: 151480
2799.37/2806.45 c #Conflicts: 1961000 | #Constraints: 152481
2799.37/2806.45 c #Conflicts: 1962000 | #Constraints: 153481
2799.37/2806.45 c #Conflicts: 1963000 | #Constraints: 154482
2799.37/2806.45 c #Conflicts: 1964000 | #Constraints: 155485
2799.37/2806.45 c #Conflicts: 1965000 | #Constraints: 156485
2799.37/2806.45 c #Conflicts: 1966000 | #Constraints: 157485
2799.37/2806.45 c #Conflicts: 1967000 | #Constraints: 158486
2799.37/2806.45 c #Conflicts: 1968000 | #Constraints: 159488
2799.37/2806.45 c #Conflicts: 1969000 | #Constraints: 160495
2799.37/2806.45 c #Conflicts: 1970000 | #Constraints: 161495
2799.37/2806.45 c #Conflicts: 1971000 | #Constraints: 162495
2799.37/2806.45 c #Conflicts: 1972000 | #Constraints: 163495
2799.37/2806.45 c #Conflicts: 1973000 | #Constraints: 164495
2799.37/2806.45 c #Conflicts: 1974000 | #Constraints: 165495
2799.37/2806.45 c #Conflicts: 1975000 | #Constraints: 166495
2799.37/2806.45 c #Conflicts: 1976000 | #Constraints: 167495
2799.37/2806.45 c #Conflicts: 1977000 | #Constraints: 168495
2799.37/2806.45 c #Conflicts: 1978000 | #Constraints: 169495
2799.37/2806.45 c #Conflicts: 1979000 | #Constraints: 170495
2799.37/2806.45 c #Conflicts: 1980000 | #Constraints: 171495
2799.37/2806.45 c #Conflicts: 1981000 | #Constraints: 172495
2799.37/2806.45 c #Conflicts: 1982000 | #Constraints: 173495
2799.37/2806.45 c #Conflicts: 1983000 | #Constraints: 174495
2799.37/2806.45 c #Conflicts: 1984000 | #Constraints: 175495
2799.37/2806.45 c #Conflicts: 1985000 | #Constraints: 176495
2799.37/2806.45 c #Conflicts: 1986000 | #Constraints: 177495
2799.37/2806.45 c #Conflicts: 1987000 | #Constraints: 178495
2799.37/2806.45 c #Conflicts: 1988000 | #Constraints: 179495
2799.37/2806.45 c #Conflicts: 1989000 | #Constraints: 180495
2799.37/2806.45 c #Conflicts: 1990000 | #Constraints: 181495
2799.37/2806.45 c #Conflicts: 1991000 | #Constraints: 182495
2799.37/2806.45 c #Conflicts: 1992000 | #Constraints: 183495
2799.37/2806.45 c #Conflicts: 1993000 | #Constraints: 184495
2799.37/2806.45 c #Conflicts: 1994000 | #Constraints: 185495
2799.37/2806.45 c #Conflicts: 1995000 | #Constraints: 186495
2799.37/2806.45 c #Conflicts: 1996000 | #Constraints: 187495
2923.43/2930.84 c #Conflicts: 1997000 | #Constraints: 188495
2923.43/2930.84 c #Conflicts: 1998000 | #Constraints: 189495
2923.43/2930.84 c #Conflicts: 1999000 | #Constraints: 190495
2923.43/2930.84 c INPROCESSING
2923.43/2930.84 c GARBAGE COLLECT
2923.43/2930.84 c #Conflicts: 2000000 | #Constraints: 120343
2923.43/2930.84 c #Conflicts: 2001000 | #Constraints: 121343
2923.43/2930.84 c #Conflicts: 2002000 | #Constraints: 122343
2923.43/2930.84 c #Conflicts: 2003000 | #Constraints: 123343
2923.43/2930.84 c #Conflicts: 2004000 | #Constraints: 124343
2923.43/2930.84 c #Conflicts: 2005000 | #Constraints: 125343
2923.43/2930.84 c #Conflicts: 2006000 | #Constraints: 126343
2923.43/2930.84 c #Conflicts: 2007000 | #Constraints: 127343
2923.43/2930.84 c #Conflicts: 2008000 | #Constraints: 128343
2923.43/2930.84 c #Conflicts: 2009000 | #Constraints: 129343
2923.43/2930.84 c #Conflicts: 2010000 | #Constraints: 130343
2923.43/2930.84 c #Conflicts: 2011000 | #Constraints: 131343
2923.43/2930.84 c #Conflicts: 2012000 | #Constraints: 132343
2923.43/2930.84 c #Conflicts: 2013000 | #Constraints: 133343
2923.43/2930.84 c #Conflicts: 2014000 | #Constraints: 134343
2923.43/2930.84 c #Conflicts: 2015000 | #Constraints: 135343
2923.43/2930.84 c #Conflicts: 2016000 | #Constraints: 136343
2923.43/2930.84 c #Conflicts: 2017000 | #Constraints: 137343
2923.43/2930.84 c #Conflicts: 2018000 | #Constraints: 138343
2923.43/2930.84 c #Conflicts: 2019000 | #Constraints: 139343
2923.43/2930.84 c #Conflicts: 2020000 | #Constraints: 140343
2923.43/2930.84 c #Conflicts: 2021000 | #Constraints: 141343
2923.43/2930.84 c #Conflicts: 2022000 | #Constraints: 142343
2923.43/2930.84 c #Conflicts: 2023000 | #Constraints: 143343
2923.43/2930.84 c #Conflicts: 2024000 | #Constraints: 144343
2923.43/2930.84 c #Conflicts: 2025000 | #Constraints: 145343
2923.43/2930.84 c #Conflicts: 2026000 | #Constraints: 146343
2923.43/2930.84 c #Conflicts: 2027000 | #Constraints: 147343
2923.43/2930.84 c #Conflicts: 2028000 | #Constraints: 148343
2923.43/2930.84 c #Conflicts: 2029000 | #Constraints: 149343
2923.43/2930.84 c #Conflicts: 2030000 | #Constraints: 150343
2923.43/2930.84 c #Conflicts: 2031000 | #Constraints: 151343
2923.43/2930.84 c INPROCESSING
2923.43/2930.84 c GARBAGE COLLECT
2923.43/2930.84 c #Conflicts: 2032000 | #Constraints: 100612
2923.43/2930.84 c #Conflicts: 2033000 | #Constraints: 101612
2923.43/2930.84 c #Conflicts: 2034000 | #Constraints: 102612
2923.43/2930.84 c #Conflicts: 2035000 | #Constraints: 103612
2923.43/2930.84 c #Conflicts: 2036000 | #Constraints: 104612
2923.43/2930.84 c #Conflicts: 2037000 | #Constraints: 105612
2923.43/2930.84 c #Conflicts: 2038000 | #Constraints: 106612
2923.43/2930.84 c #Conflicts: 2039000 | #Constraints: 107612
2923.43/2930.84 c #Conflicts: 2040000 | #Constraints: 108612
2923.43/2930.84 c #Conflicts: 2041000 | #Constraints: 109612
2923.43/2930.84 c #Conflicts: 2042000 | #Constraints: 110612
2923.43/2930.84 c #Conflicts: 2043000 | #Constraints: 111612
2923.43/2930.84 c #Conflicts: 2044000 | #Constraints: 112613
2923.43/2930.84 c #Conflicts: 2045000 | #Constraints: 113616
2923.43/2930.84 c #Conflicts: 2046000 | #Constraints: 114617
2923.43/2930.84 c #Conflicts: 2047000 | #Constraints: 115617
2923.43/2930.84 c #Conflicts: 2048000 | #Constraints: 116618
2923.43/2930.84 c #Conflicts: 2049000 | #Constraints: 117618
2923.43/2930.84 c #Conflicts: 2050000 | #Constraints: 118619
2923.43/2930.84 c #Conflicts: 2051000 | #Constraints: 119620
2923.43/2930.84 c #Conflicts: 2052000 | #Constraints: 120620
2923.43/2930.84 c #Conflicts: 2053000 | #Constraints: 121620
2923.43/2930.84 c #Conflicts: 2054000 | #Constraints: 122620
2923.43/2930.84 c #Conflicts: 2055000 | #Constraints: 123620
2923.43/2930.84 c #Conflicts: 2056000 | #Constraints: 124620
2923.43/2930.84 c #Conflicts: 2057000 | #Constraints: 125620
2923.43/2930.84 c #Conflicts: 2058000 | #Constraints: 126620
2923.43/2930.84 c #Conflicts: 2059000 | #Constraints: 127621
2923.43/2930.84 c #Conflicts: 2060000 | #Constraints: 128621
2923.43/2930.84 c #Conflicts: 2061000 | #Constraints: 129623
2923.43/2930.84 c #Conflicts: 2062000 | #Constraints: 130623
2923.43/2930.84 c #Conflicts: 2063000 | #Constraints: 131623
2923.43/2930.84 c #Conflicts: 2064000 | #Constraints: 132623
2923.43/2930.84 c INPROCESSING
2923.43/2930.84 c GARBAGE COLLECT
2923.43/2930.84 c #Conflicts: 2065000 | #Constraints: 91526
2923.43/2930.84 c #Conflicts: 2066000 | #Constraints: 92526
2923.43/2930.84 c #Conflicts: 2067000 | #Constraints: 93527
2923.43/2930.84 c #Conflicts: 2068000 | #Constraints: 94527
2923.43/2930.84 c #Conflicts: 2069000 | #Constraints: 95527
2923.43/2930.84 c #Conflicts: 2070000 | #Constraints: 96527
2923.43/2930.84 c #Conflicts: 2071000 | #Constraints: 97527
2923.43/2930.84 c #Conflicts: 2072000 | #Constraints: 98527
3068.53/3076.32 c #Conflicts: 2073000 | #Constraints: 99527
3068.53/3076.32 c #Conflicts: 2074000 | #Constraints: 100527
3068.53/3076.32 c #Conflicts: 2075000 | #Constraints: 101527
3068.53/3076.32 c #Conflicts: 2076000 | #Constraints: 102527
3068.53/3076.32 c #Conflicts: 2077000 | #Constraints: 103527
3068.53/3076.32 c #Conflicts: 2078000 | #Constraints: 104528
3068.53/3076.32 c #Conflicts: 2079000 | #Constraints: 105529
3068.53/3076.32 c #Conflicts: 2080000 | #Constraints: 106529
3068.53/3076.32 c #Conflicts: 2081000 | #Constraints: 107530
3068.53/3076.32 c #Conflicts: 2082000 | #Constraints: 108530
3068.53/3076.32 c #Conflicts: 2083000 | #Constraints: 109531
3068.53/3076.32 c #Conflicts: 2084000 | #Constraints: 110532
3068.53/3076.32 c #Conflicts: 2085000 | #Constraints: 111533
3068.53/3076.32 c #Conflicts: 2086000 | #Constraints: 112533
3068.53/3076.32 c #Conflicts: 2087000 | #Constraints: 113533
3068.53/3076.32 c #Conflicts: 2088000 | #Constraints: 114533
3068.53/3076.32 c #Conflicts: 2089000 | #Constraints: 115533
3068.53/3076.32 c #Conflicts: 2090000 | #Constraints: 116533
3068.53/3076.32 c #Conflicts: 2091000 | #Constraints: 117533
3068.53/3076.32 c #Conflicts: 2092000 | #Constraints: 118533
3068.53/3076.32 c #Conflicts: 2093000 | #Constraints: 119533
3068.53/3076.32 c #Conflicts: 2094000 | #Constraints: 120533
3068.53/3076.32 c #Conflicts: 2095000 | #Constraints: 121533
3068.53/3076.32 c #Conflicts: 2096000 | #Constraints: 122533
3068.53/3076.32 c INPROCESSING
3068.53/3076.32 c GARBAGE COLLECT
3068.53/3076.32 c #Conflicts: 2097000 | #Constraints: 86024
3068.53/3076.32 c #Conflicts: 2098000 | #Constraints: 87024
3068.53/3076.32 c #Conflicts: 2099000 | #Constraints: 88024
3068.53/3076.32 c #Conflicts: 2100000 | #Constraints: 89024
3068.53/3076.32 c #Conflicts: 2101000 | #Constraints: 90024
3068.53/3076.32 c #Conflicts: 2102000 | #Constraints: 91024
3068.53/3076.32 c #Conflicts: 2103000 | #Constraints: 92024
3068.53/3076.32 c #Conflicts: 2104000 | #Constraints: 93024
3068.53/3076.32 c #Conflicts: 2105000 | #Constraints: 94024
3068.53/3076.32 c #Conflicts: 2106000 | #Constraints: 95024
3068.53/3076.32 c #Conflicts: 2107000 | #Constraints: 96024
3068.53/3076.32 c #Conflicts: 2108000 | #Constraints: 97070
3068.53/3076.32 c #Conflicts: 2109000 | #Constraints: 98070
3068.53/3076.32 c #Conflicts: 2110000 | #Constraints: 99070
3068.53/3076.32 c #Conflicts: 2111000 | #Constraints: 100071
3068.53/3076.32 c #Conflicts: 2112000 | #Constraints: 101072
3068.53/3076.32 c #Conflicts: 2113000 | #Constraints: 102072
3068.53/3076.32 c #Conflicts: 2114000 | #Constraints: 103072
3068.53/3076.32 c #Conflicts: 2115000 | #Constraints: 104072
3068.53/3076.32 c #Conflicts: 2116000 | #Constraints: 105072
3068.53/3076.32 c #Conflicts: 2117000 | #Constraints: 106072
3068.53/3076.32 c #Conflicts: 2118000 | #Constraints: 107072
3068.53/3076.32 c #Conflicts: 2119000 | #Constraints: 108072
3068.53/3076.32 c #Conflicts: 2120000 | #Constraints: 109072
3068.53/3076.32 c #Conflicts: 2121000 | #Constraints: 110072
3068.53/3076.32 c #Conflicts: 2122000 | #Constraints: 111072
3068.53/3076.32 c #Conflicts: 2123000 | #Constraints: 112072
3068.53/3076.32 c #Conflicts: 2124000 | #Constraints: 113072
3068.53/3076.32 c #Conflicts: 2125000 | #Constraints: 114072
3068.53/3076.32 c #Conflicts: 2126000 | #Constraints: 115073
3068.53/3076.32 c #Conflicts: 2127000 | #Constraints: 116075
3068.53/3076.32 c #Conflicts: 2128000 | #Constraints: 117075
3068.53/3076.32 c #Conflicts: 2129000 | #Constraints: 118076
3068.53/3076.32 c #Conflicts: 2130000 | #Constraints: 119076
3068.53/3076.32 c #Conflicts: 2131000 | #Constraints: 120076
3068.53/3076.32 c #Conflicts: 2132000 | #Constraints: 121076
3068.53/3076.32 c #Conflicts: 2133000 | #Constraints: 122076
3068.53/3076.32 c #Conflicts: 2134000 | #Constraints: 123076
3068.53/3076.32 c #Conflicts: 2135000 | #Constraints: 124076
3068.53/3076.32 c #Conflicts: 2136000 | #Constraints: 125076
3068.53/3076.32 c #Conflicts: 2137000 | #Constraints: 126077
3068.53/3076.32 c #Conflicts: 2138000 | #Constraints: 127079
3068.53/3076.32 c #Conflicts: 2139000 | #Constraints: 128079
3068.53/3076.32 c #Conflicts: 2140000 | #Constraints: 129081
3068.53/3076.32 c #Conflicts: 2141000 | #Constraints: 130082
3068.53/3076.32 c #Conflicts: 2142000 | #Constraints: 131082
3068.53/3076.32 c #Conflicts: 2143000 | #Constraints: 132082
3068.53/3076.32 c #Conflicts: 2144000 | #Constraints: 133083
3068.53/3076.32 c #Conflicts: 2145000 | #Constraints: 134084
3068.53/3076.32 c #Conflicts: 2146000 | #Constraints: 135085
3068.53/3076.32 c #Conflicts: 2147000 | #Constraints: 136085
3068.53/3076.32 c #Conflicts: 2148000 | #Constraints: 137086
3068.53/3076.32 c #Conflicts: 2149000 | #Constraints: 138087
3068.53/3076.32 c #Conflicts: 2150000 | #Constraints: 139087
3068.53/3076.32 c #Conflicts: 2151000 | #Constraints: 140087
3250.72/3259.01 c #Conflicts: 2152000 | #Constraints: 141088
3250.72/3259.01 c #Conflicts: 2153000 | #Constraints: 142088
3250.72/3259.01 c #Conflicts: 2154000 | #Constraints: 143088
3250.72/3259.01 c #Conflicts: 2155000 | #Constraints: 144089
3250.72/3259.01 c #Conflicts: 2156000 | #Constraints: 145089
3250.72/3259.01 c #Conflicts: 2157000 | #Constraints: 146089
3250.72/3259.01 c #Conflicts: 2158000 | #Constraints: 147090
3250.72/3259.01 c #Conflicts: 2159000 | #Constraints: 148095
3250.72/3259.01 c #Conflicts: 2160000 | #Constraints: 149095
3250.72/3259.01 c #Conflicts: 2161000 | #Constraints: 150095
3250.72/3259.01 c #Conflicts: 2162000 | #Constraints: 151096
3250.72/3259.01 c #Conflicts: 2163000 | #Constraints: 152096
3250.72/3259.01 c #Conflicts: 2164000 | #Constraints: 153098
3250.72/3259.01 c #Conflicts: 2165000 | #Constraints: 154098
3250.72/3259.01 c #Conflicts: 2166000 | #Constraints: 155098
3250.72/3259.01 c #Conflicts: 2167000 | #Constraints: 156098
3250.72/3259.01 c #Conflicts: 2168000 | #Constraints: 157098
3250.72/3259.01 c #Conflicts: 2169000 | #Constraints: 158098
3250.72/3259.01 c #Conflicts: 2170000 | #Constraints: 159098
3250.72/3259.01 c #Conflicts: 2171000 | #Constraints: 160098
3250.72/3259.01 c #Conflicts: 2172000 | #Constraints: 161098
3250.72/3259.01 c #Conflicts: 2173000 | #Constraints: 162098
3250.72/3259.01 c #Conflicts: 2174000 | #Constraints: 163098
3250.72/3259.01 c #Conflicts: 2175000 | #Constraints: 164098
3250.72/3259.01 c #Conflicts: 2176000 | #Constraints: 165098
3250.72/3259.01 c #Conflicts: 2177000 | #Constraints: 166098
3250.72/3259.01 c #Conflicts: 2178000 | #Constraints: 167098
3250.72/3259.01 c #Conflicts: 2179000 | #Constraints: 168098
3250.72/3259.01 c #Conflicts: 2180000 | #Constraints: 169098
3250.72/3259.01 c #Conflicts: 2181000 | #Constraints: 170098
3250.72/3259.01 c #Conflicts: 2182000 | #Constraints: 171098
3250.72/3259.01 c #Conflicts: 2183000 | #Constraints: 172098
3250.72/3259.01 c #Conflicts: 2184000 | #Constraints: 173098
3250.72/3259.01 c #Conflicts: 2185000 | #Constraints: 174098
3250.72/3259.01 c #Conflicts: 2186000 | #Constraints: 175098
3250.72/3259.01 c #Conflicts: 2187000 | #Constraints: 176099
3250.72/3259.01 c #Conflicts: 2188000 | #Constraints: 177099
3250.72/3259.01 c #Conflicts: 2189000 | #Constraints: 178099
3250.72/3259.01 c #Conflicts: 2190000 | #Constraints: 179099
3250.72/3259.01 c #Conflicts: 2191000 | #Constraints: 180099
3250.72/3259.01 c #Conflicts: 2192000 | #Constraints: 181099
3250.72/3259.01 c #Conflicts: 2193000 | #Constraints: 182099
3250.72/3259.01 c #Conflicts: 2194000 | #Constraints: 183099
3250.72/3259.01 c #Conflicts: 2195000 | #Constraints: 184099
3250.72/3259.01 c #Conflicts: 2196000 | #Constraints: 185099
3250.72/3259.01 c #Conflicts: 2197000 | #Constraints: 186099
3250.72/3259.01 c #Conflicts: 2198000 | #Constraints: 187100
3250.72/3259.01 c #Conflicts: 2199000 | #Constraints: 188101
3250.72/3259.01 c #Conflicts: 2200000 | #Constraints: 189101
3250.72/3259.01 c #Conflicts: 2201000 | #Constraints: 190104
3250.72/3259.01 c #Conflicts: 2202000 | #Constraints: 191104
3250.72/3259.01 c #Conflicts: 2203000 | #Constraints: 192104
3250.72/3259.01 c #Conflicts: 2204000 | #Constraints: 193104
3250.72/3259.01 c #Conflicts: 2205000 | #Constraints: 194104
3250.72/3259.01 c #Conflicts: 2206000 | #Constraints: 195104
3250.72/3259.01 c #Conflicts: 2207000 | #Constraints: 196105
3250.72/3259.01 c #Conflicts: 2208000 | #Constraints: 197105
3250.72/3259.01 c INPROCESSING
3250.72/3259.01 c GARBAGE COLLECT
3250.72/3259.01 c #Conflicts: 2209000 | #Constraints: 123281
3250.72/3259.01 c #Conflicts: 2210000 | #Constraints: 124281
3250.72/3259.01 c #Conflicts: 2211000 | #Constraints: 125281
3250.72/3259.01 c #Conflicts: 2212000 | #Constraints: 126281
3250.72/3259.01 c #Conflicts: 2213000 | #Constraints: 127282
3250.72/3259.01 c #Conflicts: 2214000 | #Constraints: 128282
3250.72/3259.01 c #Conflicts: 2215000 | #Constraints: 129282
3250.72/3259.01 c #Conflicts: 2216000 | #Constraints: 130282
3250.72/3259.01 c #Conflicts: 2217000 | #Constraints: 131282
3250.72/3259.01 c #Conflicts: 2218000 | #Constraints: 132282
3250.72/3259.01 c #Conflicts: 2219000 | #Constraints: 133282
3250.72/3259.01 c #Conflicts: 2220000 | #Constraints: 134282
3250.72/3259.01 c #Conflicts: 2221000 | #Constraints: 135282
3250.72/3259.01 c #Conflicts: 2222000 | #Constraints: 136282
3250.72/3259.01 c #Conflicts: 2223000 | #Constraints: 137282
3250.72/3259.01 c #Conflicts: 2224000 | #Constraints: 138282
3250.72/3259.01 c #Conflicts: 2225000 | #Constraints: 139283
3250.72/3259.01 c #Conflicts: 2226000 | #Constraints: 140283
3250.72/3259.01 c #Conflicts: 2227000 | #Constraints: 141283
3250.72/3259.01 c #Conflicts: 2228000 | #Constraints: 142285
3250.72/3259.01 c #Conflicts: 2229000 | #Constraints: 143286
3387.62/3396.31 c #Conflicts: 2230000 | #Constraints: 144287
3387.62/3396.31 c #Conflicts: 2231000 | #Constraints: 145290
3387.62/3396.31 c #Conflicts: 2232000 | #Constraints: 146291
3387.62/3396.31 c #Conflicts: 2233000 | #Constraints: 147291
3387.62/3396.31 c #Conflicts: 2234000 | #Constraints: 148291
3387.62/3396.31 c #Conflicts: 2235000 | #Constraints: 149291
3387.62/3396.31 c #Conflicts: 2236000 | #Constraints: 150291
3387.62/3396.31 c #Conflicts: 2237000 | #Constraints: 151291
3387.62/3396.31 c #Conflicts: 2238000 | #Constraints: 152291
3387.62/3396.31 c #Conflicts: 2239000 | #Constraints: 153291
3387.62/3396.31 c #Conflicts: 2240000 | #Constraints: 154291
3387.62/3396.31 c #Conflicts: 2241000 | #Constraints: 155291
3387.62/3396.31 c #Conflicts: 2242000 | #Constraints: 156291
3387.62/3396.31 c INPROCESSING
3387.62/3396.31 c GARBAGE COLLECT
3387.62/3396.31 c #Conflicts: 2243000 | #Constraints: 102900
3387.62/3396.31 c #Conflicts: 2244000 | #Constraints: 103900
3387.62/3396.31 c #Conflicts: 2245000 | #Constraints: 104900
3387.62/3396.31 c #Conflicts: 2246000 | #Constraints: 105900
3387.62/3396.31 c #Conflicts: 2247000 | #Constraints: 106900
3387.62/3396.31 c #Conflicts: 2248000 | #Constraints: 107900
3387.62/3396.31 c #Conflicts: 2249000 | #Constraints: 108900
3387.62/3396.31 c #Conflicts: 2250000 | #Constraints: 109900
3387.62/3396.31 c #Conflicts: 2251000 | #Constraints: 110900
3387.62/3396.31 c #Conflicts: 2252000 | #Constraints: 111900
3387.62/3396.31 c #Conflicts: 2253000 | #Constraints: 112900
3387.62/3396.31 c #Conflicts: 2254000 | #Constraints: 113900
3387.62/3396.31 c #Conflicts: 2255000 | #Constraints: 114900
3387.62/3396.31 c #Conflicts: 2256000 | #Constraints: 115900
3387.62/3396.31 c #Conflicts: 2257000 | #Constraints: 116900
3387.62/3396.31 c #Conflicts: 2258000 | #Constraints: 117900
3387.62/3396.31 c #Conflicts: 2259000 | #Constraints: 118900
3387.62/3396.31 c #Conflicts: 2260000 | #Constraints: 119900
3387.62/3396.31 c #Conflicts: 2261000 | #Constraints: 120900
3387.62/3396.31 c #Conflicts: 2262000 | #Constraints: 121900
3387.62/3396.31 c #Conflicts: 2263000 | #Constraints: 122900
3387.62/3396.31 c #Conflicts: 2264000 | #Constraints: 123900
3387.62/3396.31 c #Conflicts: 2265000 | #Constraints: 124900
3387.62/3396.31 c #Conflicts: 2266000 | #Constraints: 125900
3387.62/3396.31 c #Conflicts: 2267000 | #Constraints: 126900
3387.62/3396.31 c #Conflicts: 2268000 | #Constraints: 127900
3387.62/3396.31 c #Conflicts: 2269000 | #Constraints: 128900
3387.62/3396.31 c #Conflicts: 2270000 | #Constraints: 129900
3387.62/3396.31 c #Conflicts: 2271000 | #Constraints: 130900
3387.62/3396.31 c #Conflicts: 2272000 | #Constraints: 131900
3387.62/3396.31 c #Conflicts: 2273000 | #Constraints: 132900
3387.62/3396.31 c #Conflicts: 2274000 | #Constraints: 133900
3387.62/3396.31 c #Conflicts: 2275000 | #Constraints: 134900
3387.62/3396.31 c #Conflicts: 2276000 | #Constraints: 135900
3387.62/3396.31 c #Conflicts: 2277000 | #Constraints: 136901
3387.62/3396.31 c INPROCESSING
3387.62/3396.31 c GARBAGE COLLECT
3387.62/3396.31 c #Conflicts: 2278000 | #Constraints: 93597
3387.62/3396.31 c #Conflicts: 2279000 | #Constraints: 94597
3387.62/3396.31 c #Conflicts: 2280000 | #Constraints: 95597
3387.62/3396.31 c #Conflicts: 2281000 | #Constraints: 96597
3387.62/3396.31 c #Conflicts: 2282000 | #Constraints: 97597
3387.62/3396.31 c #Conflicts: 2283000 | #Constraints: 98597
3387.62/3396.31 c #Conflicts: 2284000 | #Constraints: 99597
3387.62/3396.31 c #Conflicts: 2285000 | #Constraints: 100597
3387.62/3396.31 c #Conflicts: 2286000 | #Constraints: 101597
3387.62/3396.31 c #Conflicts: 2287000 | #Constraints: 102597
3387.62/3396.31 c #Conflicts: 2288000 | #Constraints: 103597
3387.62/3396.31 c #Conflicts: 2289000 | #Constraints: 104597
3387.62/3396.31 c #Conflicts: 2290000 | #Constraints: 105597
3387.62/3396.31 c #Conflicts: 2291000 | #Constraints: 106597
3387.62/3396.31 c #Conflicts: 2292000 | #Constraints: 107597
3387.62/3396.31 c #Conflicts: 2293000 | #Constraints: 108597
3387.62/3396.31 c #Conflicts: 2294000 | #Constraints: 109597
3387.62/3396.31 c #Conflicts: 2295000 | #Constraints: 110597
3387.62/3396.31 c #Conflicts: 2296000 | #Constraints: 111598
3387.62/3396.31 c #Conflicts: 2297000 | #Constraints: 112598
3387.62/3396.31 c #Conflicts: 2298000 | #Constraints: 113598
3387.62/3396.31 c #Conflicts: 2299000 | #Constraints: 114598
3387.62/3396.31 c #Conflicts: 2300000 | #Constraints: 115598
3387.62/3396.31 c #Conflicts: 2301000 | #Constraints: 116598
3387.62/3396.31 c #Conflicts: 2302000 | #Constraints: 117598
3387.62/3396.31 c #Conflicts: 2303000 | #Constraints: 118598
3387.62/3396.31 c #Conflicts: 2304000 | #Constraints: 119598
3387.62/3396.31 c #Conflicts: 2305000 | #Constraints: 120598
3387.62/3396.31 c #Conflicts: 2306000 | #Constraints: 121598
3538.58/3547.71 c #Conflicts: 2307000 | #Constraints: 122598
3538.58/3547.71 c #Conflicts: 2308000 | #Constraints: 123598
3538.58/3547.71 c #Conflicts: 2309000 | #Constraints: 124598
3538.58/3547.71 c #Conflicts: 2310000 | #Constraints: 125598
3538.58/3547.71 c #Conflicts: 2311000 | #Constraints: 126598
3538.58/3547.71 c INPROCESSING
3538.58/3547.71 c GARBAGE COLLECT
3538.58/3547.71 c #Conflicts: 2312000 | #Constraints: 88240
3538.58/3547.71 c #Conflicts: 2313000 | #Constraints: 89240
3538.58/3547.71 c #Conflicts: 2314000 | #Constraints: 90240
3538.58/3547.71 c #Conflicts: 2315000 | #Constraints: 91240
3538.58/3547.71 c #Conflicts: 2316000 | #Constraints: 92240
3538.58/3547.71 c #Conflicts: 2317000 | #Constraints: 93240
3538.58/3547.71 c #Conflicts: 2318000 | #Constraints: 94240
3538.58/3547.71 c #Conflicts: 2319000 | #Constraints: 95240
3538.58/3547.71 c #Conflicts: 2320000 | #Constraints: 96240
3538.58/3547.71 c #Conflicts: 2321000 | #Constraints: 97240
3538.58/3547.71 c #Conflicts: 2322000 | #Constraints: 98240
3538.58/3547.71 c #Conflicts: 2323000 | #Constraints: 99240
3538.58/3547.71 c #Conflicts: 2324000 | #Constraints: 100240
3538.58/3547.71 c #Conflicts: 2325000 | #Constraints: 101240
3538.58/3547.71 c #Conflicts: 2326000 | #Constraints: 102240
3538.58/3547.71 c #Conflicts: 2327000 | #Constraints: 103240
3538.58/3547.71 c #Conflicts: 2328000 | #Constraints: 104240
3538.58/3547.71 c #Conflicts: 2329000 | #Constraints: 105240
3538.58/3547.71 c #Conflicts: 2330000 | #Constraints: 106240
3538.58/3547.71 c #Conflicts: 2331000 | #Constraints: 107240
3538.58/3547.71 c #Conflicts: 2332000 | #Constraints: 108240
3538.58/3547.71 c #Conflicts: 2333000 | #Constraints: 109240
3538.58/3547.71 c #Conflicts: 2334000 | #Constraints: 110241
3538.58/3547.71 c #Conflicts: 2335000 | #Constraints: 111241
3538.58/3547.71 c #Conflicts: 2336000 | #Constraints: 112241
3538.58/3547.71 c #Conflicts: 2337000 | #Constraints: 113241
3538.58/3547.71 c #Conflicts: 2338000 | #Constraints: 114241
3538.58/3547.71 c #Conflicts: 2339000 | #Constraints: 115241
3538.58/3547.71 c #Conflicts: 2340000 | #Constraints: 116241
3538.58/3547.71 c #Conflicts: 2341000 | #Constraints: 117241
3538.58/3547.71 c #Conflicts: 2342000 | #Constraints: 118241
3538.58/3547.71 c #Conflicts: 2343000 | #Constraints: 119241
3538.58/3547.71 c #Conflicts: 2344000 | #Constraints: 120241
3538.58/3547.71 c #Conflicts: 2345000 | #Constraints: 121241
3538.58/3547.71 c #Conflicts: 2346000 | #Constraints: 122241
3538.58/3547.71 c #Conflicts: 2347000 | #Constraints: 123241
3538.58/3547.71 c #Conflicts: 2348000 | #Constraints: 124241
3538.58/3547.71 c #Conflicts: 2349000 | #Constraints: 125241
3538.58/3547.71 c #Conflicts: 2350000 | #Constraints: 126241
3538.58/3547.71 c #Conflicts: 2351000 | #Constraints: 127241
3538.58/3547.71 c #Conflicts: 2352000 | #Constraints: 128241
3538.58/3547.71 c #Conflicts: 2353000 | #Constraints: 129241
3538.58/3547.71 c #Conflicts: 2354000 | #Constraints: 130241
3538.58/3547.71 c #Conflicts: 2355000 | #Constraints: 131241
3538.58/3547.71 c #Conflicts: 2356000 | #Constraints: 132241
3538.58/3547.71 c #Conflicts: 2357000 | #Constraints: 133241
3538.58/3547.71 c #Conflicts: 2358000 | #Constraints: 134241
3538.58/3547.71 c #Conflicts: 2359000 | #Constraints: 135242
3538.58/3547.71 c #Conflicts: 2360000 | #Constraints: 136242
3538.58/3547.71 c #Conflicts: 2361000 | #Constraints: 137242
3538.58/3547.71 c #Conflicts: 2362000 | #Constraints: 138242
3538.58/3547.71 c #Conflicts: 2363000 | #Constraints: 139243
3538.58/3547.71 c #Conflicts: 2364000 | #Constraints: 140244
3538.58/3547.71 c #Conflicts: 2365000 | #Constraints: 141245
3538.58/3547.71 c #Conflicts: 2366000 | #Constraints: 142246
3538.58/3547.71 c #Conflicts: 2367000 | #Constraints: 143247
3538.58/3547.71 c #Conflicts: 2368000 | #Constraints: 144248
3538.58/3547.71 c #Conflicts: 2369000 | #Constraints: 145250
3538.58/3547.71 c #Conflicts: 2370000 | #Constraints: 146250
3538.58/3547.71 c #Conflicts: 2371000 | #Constraints: 147252
3538.58/3547.71 c #Conflicts: 2372000 | #Constraints: 148252
3538.58/3547.71 c #Conflicts: 2373000 | #Constraints: 149252
3538.58/3547.71 c #Conflicts: 2374000 | #Constraints: 150252
3538.58/3547.71 c #Conflicts: 2375000 | #Constraints: 151252
3538.58/3547.71 c #Conflicts: 2376000 | #Constraints: 152252
3538.58/3547.71 c #Conflicts: 2377000 | #Constraints: 153253
3538.58/3547.71 c #Conflicts: 2378000 | #Constraints: 154253
3538.58/3547.71 c #Conflicts: 2379000 | #Constraints: 155253
3538.58/3547.71 c #Conflicts: 2380000 | #Constraints: 156253
3538.58/3547.71 c #Conflicts: 2381000 | #Constraints: 157253
3538.58/3547.71 c #Conflicts: 2382000 | #Constraints: 158253
3538.58/3547.71 c #Conflicts: 2383000 | #Constraints: 159253
3538.58/3547.71 c #Conflicts: 2384000 | #Constraints: 160253
3600.00/3609.30 c #Conflicts: 2385000 | #Constraints: 161253
3600.00/3609.30 c #Conflicts: 2386000 | #Constraints: 162253
3600.00/3609.30 c #Conflicts: 2387000 | #Constraints: 163253
3600.00/3609.30 c #Conflicts: 2388000 | #Constraints: 164253
3600.00/3609.30 c #Conflicts: 2389000 | #Constraints: 165253
3600.00/3609.30 c #Conflicts: 2390000 | #Constraints: 166253
3600.00/3609.30 c #Conflicts: 2391000 | #Constraints: 167253
3600.00/3609.30 c #Conflicts: 2392000 | #Constraints: 168253
3600.00/3609.30 c #Conflicts: 2393000 | #Constraints: 169253
3600.00/3609.30 c #Conflicts: 2394000 | #Constraints: 170253
3600.00/3609.30 c #Conflicts: 2395000 | #Constraints: 171253
3600.00/3609.30 c #Conflicts: 2396000 | #Constraints: 172254
3600.00/3609.30 c #Conflicts: 2397000 | #Constraints: 173254
3600.00/3609.30 c #Conflicts: 2398000 | #Constraints: 174254
3600.00/3609.30 c #Conflicts: 2399000 | #Constraints: 175254
3600.00/3609.30 c #Conflicts: 2400000 | #Constraints: 176254
3600.00/3609.30 c #Conflicts: 2401000 | #Constraints: 177254
3600.00/3609.30 c #Conflicts: 2402000 | #Constraints: 178254
3600.00/3609.30 c #Conflicts: 2403000 | #Constraints: 179254
3600.00/3609.30 c #Conflicts: 2404000 | #Constraints: 180254
3600.00/3609.30 c #Conflicts: 2405000 | #Constraints: 181254
3600.00/3609.30 c #Conflicts: 2406000 | #Constraints: 182254
3600.00/3609.30 c #Conflicts: 2407000 | #Constraints: 183254
3600.00/3609.30 c cpu time 3588.55 s
3600.00/3609.30 c deterministic time 293040516660 2.93e+11
3600.00/3609.30 c optimization time 198.971 s
3600.00/3609.30 c total solve time 3389.45 s
3600.00/3609.30 c core-guided solve time 0 s
3600.00/3609.30 c propagation time 1986.49 s
3600.00/3609.30 c conflict analysis time 1500.32 s
3600.00/3609.30 c propagations 910502887
3600.00/3609.30 c resolve steps 112202584
3600.00/3609.30 c decisions 4038109
3600.00/3609.30 c conflicts 2407884
3600.00/3609.30 c restarts 4094
3600.00/3609.30 c inprocessing phases 91
3600.00/3609.30 c garbage collections 91 ,( 100.00 )
3600.00/3609.30 c input clauses 44885 ,( 93.49 )
3600.00/3609.30 c input cardinalities 45 ,( 0.09 )
3600.00/3609.30 c input general constraints 3079 ,( 6.41 )
3600.00/3609.30 c input average constraint length 2.20
3600.00/3609.30 c input average constraint degree 1.31
3600.00/3609.30 c learned clauses 2330542 ,( 96.76 )
3600.00/3609.30 c learned cardinalities 22881 ,( 0.95 )
3600.00/3609.30 c learned general constraints 55072 ,( 2.29 )
3600.00/3609.30 c learned average constraint length 825.24
3600.00/3609.30 c learned average constraint degree 1246199.37
3600.00/3609.30 c watched CF 32, 64, 128, Arb: 44645 , 0 , 0 , 0
3600.00/3609.30 c counting CF 32, 64, 128, Arb: 13506 , 0 , 0 , 0
3600.00/3609.30 c watched constraints 44645 ,( 76.77 )
3600.00/3609.30 c counting constraints 13506 ,( 23.23 )
3600.00/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 11876783353 , 1568857424 , 2369473014 ,( 542943004 , 1826530010 )
3600.00/3609.30 c gcd simplifications 9445
3600.00/3609.30 c detected cardinalities 394
3600.00/3609.30 c weakened non-implied lits 10748383
3600.00/3609.30 c weakened non-implying lits 9457
3600.00/3609.30 c original variables 4115
3600.00/3609.30 c clausal propagations 332020010
3600.00/3609.30 c cardinality propagations 14868157
3600.00/3609.30 c watched propagations 4269952
3600.00/3609.30 c counting propagations 556879813
3600.00/3609.30 c watch lookups 43949152586
3600.00/3609.30 c watch backjump lookups 0
3600.00/3609.30 c watch checks 210408329591
3600.00/3609.30 c propagation checks 32825083316
3600.00/3609.30 c constraint additions 4026020249
3600.00/3609.30 c trail pops 916945497
3600.00/3609.30 c formula constraints 48009
3600.00/3609.30 c learned constraints 2407883
3600.00/3609.30 c bound constraints 0
3600.00/3609.30 c core-guided constraints 0
3600.00/3609.30 c encountered formula constraints 86055724
3600.00/3609.30 c encountered learned constraints 28552286
3600.00/3609.30 c encountered bound constraints 0
3600.00/3609.30 c encountered core-guided constraints 0
3600.00/3609.30 c LP total time 80.7151 s
3600.00/3609.30 c LP solve time 71.79 s
3600.00/3609.30 c LP constraints added 48494
3600.00/3609.30 c LP constraints removed 379
3600.00/3609.30 c LP pivots internal 241397
3600.00/3609.30 c LP pivots root 203027
3600.00/3609.30 c LP calls 741
3600.00/3609.30 c LP optimalities 102
3600.00/3609.30 c LP no pivot count 0
3600.00/3609.30 c LP infeasibilities 555
3600.00/3609.30 c LP valid Farkas constraints 555
3600.00/3609.30 c LP learned Farkas constraints 0
3600.00/3609.30 c LP basis resets 80
3600.00/3609.30 c LP cycling count 14
3600.00/3609.30 c LP singular count 15
3600.00/3609.30 c LP no primal count 0
3600.00/3609.30 c LP no farkas count 0
3600.00/3609.30 c LP other issue count 51
3600.00/3609.30 c LP Gomory cuts 57
3600.00/3609.30 c LP learned cuts 428
3600.00/3609.30 c LP deleted cuts 379
3600.00/3609.30 c LP encountered Gomory constraints 904
3600.00/3609.30 c LP encountered Farkas constraints 1554
3600.00/3609.30 c LP encountered learned Farkas constraints 0
3600.00/3609.30 c CG auxiliary variables introduced 0
3600.00/3609.30 c CG solutions found 0
3600.00/3609.30 c CG cores constructed 0
3600.00/3609.30 c CG core cardinality constraints returned 0
3600.00/3609.30 c CG unit cores 0
3600.00/3609.30 c CG single cores 0
3600.00/3609.30 c CG blocks removed during cardinality reduction 0
3600.00/3609.30 c CG first core best 0
3600.00/3609.30 c CG decision core best 0
3600.00/3609.30 c CG core reduction tie 0
3600.00/3609.30 c CG core degree average 0.00
3600.00/3609.30 c CG core slack average 0.00
3600.00/3609.30 c CG core upper bound improvements 0
3600.00/3609.30 c STR number of successful calls 0
3600.00/3609.30 c STR number of unsuccessful calls 0
3600.00/3609.30 c STR number of inconclusive calls 0
3600.00/3609.30 c STR number of successful attempts 0
3600.00/3609.30 c STR number of unsuccessful attempts 0
3600.00/3609.30 c STR number of inconclusive attempts 0
3600.00/3609.30 c STR average degree increase per successful call inf
3600.00/3609.30 c STR average degree increase per successful attempt inf
3600.00/3609.30 c STR total number of conflicts for successful attempts 0
3600.00/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.30 c STR average number of conflicts per successful attempt inf
3600.00/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.30 c AVG.sumWPerc 27.26
3600.00/3609.30 c bigint constraints 0
3600.00/3609.30 s UNKNOWN
3600.00/3609.30 c Program interrupted by user.
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: 63665 MiB (62113 MiB free)
memory of node 1: 64507 MiB (63732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545232-1753234342/watcher-4545232-1753234342 -o /tmp/evaluation-result-4545232-1753234342/solver-4545232-1753234342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162747 --watchdog 3760 run-dec.sh HOME/instance-4545232-1753234342.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 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.el9_5.x86_64
Starting watchdog thread
solver pid=162792, runsolver pid=162784
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 2.94 3.87 4.01 1/269 162810
/proc/meminfo: memFree=128857976/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=50704 memory=2048 CPUtime=0 cores=4,6
/proc/162802/stat : 162802 (roundingsat) D 162792 162792 162736 0 -1 4194304 141 0 4 0 0 0 0 0 20 0 1 0 239111916 51920896 512 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 12676 512 480 1147 0 140 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54896 KiB
Current children cumulated memory: 4992 KiB
[startup+0.205329 s]*
/proc/loadavg: 2.94 3.87 4.01 4/266 162810
/proc/meminfo: memFree=128814900/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=59296 memory=13836 CPUtime=0.09 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 1419 0 5 0 7 2 0 0 20 0 1 0 239111916 60719104 3459 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 14824 3459 1856 1147 0 2251 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63488 KiB
Current children cumulated memory: 16780 KiB
[startup+0.305536 s]*
/proc/loadavg: 2.94 3.87 4.01 5/264 162818
/proc/meminfo: memFree=128737012/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=119552 memory=67040 CPUtime=0.19 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 9594 0 5 0 14 5 0 0 20 0 1 0 239111916 122421248 16760 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 29888 16760 2176 1147 0 17315 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123744 KiB
Current children cumulated memory: 69984 KiB
[startup+0.700211 s]
/proc/loadavg: 2.94 3.87 4.01 4/264 162818
/proc/meminfo: memFree=128672196/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=119552 memory=69836 CPUtime=0.58 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 9670 0 5 0 52 6 0 0 20 0 1 0 239111916 122421248 17459 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 29888 17459 2272 1147 0 17315 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 123744 KiB
Current children cumulated memory: 72780 KiB
[startup+1.5002 s]
/proc/loadavg: 2.94 3.87 4.01 4/264 162818
/proc/meminfo: memFree=128539648/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=122272 memory=70604 CPUtime=1.37 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 9897 0 5 0 130 7 0 0 20 0 1 0 239111916 125206528 17651 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 30568 17651 2272 1147 0 17995 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 126464 KiB
Current children cumulated memory: 73548 KiB
[startup+3.10555 s]
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128426404/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=126692 memory=73548 CPUtime=2.98 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 10617 0 5 0 290 8 0 0 20 0 1 0 239111916 129732608 18387 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 31673 18387 2272 1147 0 19100 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 130884 KiB
Current children cumulated memory: 76492 KiB
[startup+6.30019 s]
/proc/loadavg: 3.11 3.89 4.02 5/269 162856
/proc/meminfo: memFree=128181260/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=126692 memory=76300 CPUtime=6.16 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 10759 0 5 0 604 12 0 0 20 0 1 0 239111916 129732608 19075 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 31673 19075 2304 1147 0 19100 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 130884 KiB
Current children cumulated memory: 79244 KiB
[startup+12.7002 s]
/proc/loadavg: 3.26 3.91 4.02 5/269 162856
/proc/meminfo: memFree=128161308/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=136180 memory=84620 CPUtime=12.55 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 12848 0 5 0 1236 19 0 0 20 0 1 0 239111916 139448320 21155 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 34045 21155 2304 1147 0 21472 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 140372 KiB
Current children cumulated memory: 87564 KiB
[startup+25.5002 s]
/proc/loadavg: 3.65 3.97 4.04 5/269 162857
/proc/meminfo: memFree=128111036/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=146176 memory=92672 CPUtime=25.31 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 13851 0 5 0 2504 27 0 0 20 0 1 0 239111916 149684224 23168 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 36544 23168 2304 1147 0 23971 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 150368 KiB
Current children cumulated memory: 95616 KiB
[startup+51.1056 s]
/proc/loadavg: 3.83 3.99 4.04 5/270 162858
/proc/meminfo: memFree=128050528/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=167108 memory=107196 CPUtime=50.85 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 16960 0 5 0 5039 46 0 0 20 0 1 0 239111916 171118592 26799 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 41777 26799 2304 1147 0 29204 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 171300 KiB
Current children cumulated memory: 110140 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.00 4.05 5/270 162860
/proc/meminfo: memFree=127854964/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=276916 memory=184784 CPUtime=101.9 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 21178 0 5 0 10109 81 0 0 20 0 1 0 239111916 283561984 46196 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 69229 46196 2304 1147 0 56656 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 187728 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.02 4.05 5/270 162862
/proc/meminfo: memFree=127709928/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=293396 memory=236692 CPUtime=161.72 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 23837 0 5 0 16058 114 0 0 20 0 1 0 239111916 300437504 59173 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 73349 59173 2432 1147 0 60776 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 297588 KiB
Current children cumulated memory: 239636 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.03 4.05 5/271 162866
/proc/meminfo: memFree=127694656/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=380020 memory=248136 CPUtime=221.55 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 25178 0 5 0 22009 146 0 0 20 0 1 0 239111916 389140480 62034 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 95005 62034 2432 1147 0 82432 0
################
# More data... #
################
/proc/162802/statm: 204151 143768 2432 1147 0 191578 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 820796 KiB
Current children cumulated memory: 578016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 163114
/proc/meminfo: memFree=126270300/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=820660 memory=611928 CPUtime=3154.28 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 42992 0 5 0 314381 1047 0 0 20 0 1 0 239111916 840355840 152982 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205165 152982 2432 1147 0 192592 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 824852 KiB
Current children cumulated memory: 614872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 163116
/proc/meminfo: memFree=126187920/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=820660 memory=689752 CPUtime=3214.12 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43030 0 5 0 320354 1058 0 0 20 0 1 0 239111916 840355840 172438 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205165 172438 2432 1147 0 192592 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 824852 KiB
Current children cumulated memory: 692696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 163118
/proc/meminfo: memFree=126180616/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3273.95 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43850 0 5 0 326323 1072 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 163119
/proc/meminfo: memFree=126167452/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3333.77 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43857 0 5 0 332290 1087 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 163122
/proc/meminfo: memFree=126118360/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3393.6 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43857 0 5 0 338256 1104 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 163124
/proc/meminfo: memFree=126052832/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3453.43 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43857 0 5 0 344224 1119 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/268 163133
/proc/meminfo: memFree=126016872/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3513.26 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43905 0 5 0 350195 1131 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 163135
/proc/meminfo: memFree=126017016/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3573.08 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43951 0 5 0 356167 1141 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 163137
/proc/meminfo: memFree=126008436/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3600 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43970 0 5 0 358855 1145 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 162792 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.00231 s
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 162802 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.55 s, system=11.4646 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 163137
/proc/meminfo: memFree=126008436/131249996 swapFree=33003468/33010684
[pid=162792] ppid=162784 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/162792/stat : 162792 (run-dec.sh) S 162784 162792 162736 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 239111915 4292608 736 18446744073709551615 94000067989504 94000068884037 140720472990256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94000069123088 94000069170832 94000084291584 140720472992107 140720472992230 140720472992230 140720472997834 0
/proc/162792/statm: 1048 736 672 219 0 110 0
[pid=162802] ppid=162792 vsize=823284 memory=692312 CPUtime=3600 cores=4,6
/proc/162802/stat : 162802 (roundingsat) R 162792 162792 162736 0 -1 4194304 43970 0 5 0 358855 1145 0 0 20 0 1 0 239111916 843042816 173078 18446744073709551615 4227072 8923433 140735636930560 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14430208 140735636937141 140735636937254 140735636937254 140735636942826 0
/proc/162802/statm: 205821 173078 2432 1147 0 193248 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 827476 KiB
Current children cumulated memory: 695256 KiB
Child status: 2
Real time (s): 3609.31
CPU time (s): 3600.02
CPU user time (s): 3588.55
CPU system time (s): 11.4646
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 827476
Max. memory (cumulated for all children) (KiB): 695256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.55
system time used= 11.4646
maximum resident set size= 692440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44193
page faults= 5
swaps= 0
block input operations= 24
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332
involuntary context switches= 1491
# summary of solver processes directly reported to runsolver:
# pid: 162792,162802
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.55
# total CPU system time (s): 11.4646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61715 second user time and 15.9265 second system time
The end
Begin job on nodeC021 at 2025-07-23 03:32:22
IDJOB=4545232
IDBENCH=180780
IDSOLVER=3349
FILE ID=nodeC021/4545232-1753234342
RUNJOBID= nodeC021-1753234342-162747
SLURM_JOB_ID= 9687855
Free space on /tmp= 433020 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545232-1753234342/watcher-4545232-1753234342 -o /tmp/evaluation-result-4545232-1753234342/solver-4545232-1753234342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162747 --watchdog 3760 run-dec.sh HOME/instance-4545232-1753234342.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=1640149867
nodeC021 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.772
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.56
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.798
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.56
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 : 3599.149
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.56
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 : 3600.298
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.56
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 : 3686.894
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.56
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.795
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.56
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 : 3599.771
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.56
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.042
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128857476 kB
MemAvailable: 129665084 kB
Buffers: 1056 kB
Cached: 1543468 kB
SwapCached: 56 kB
Active: 1170080 kB
Inactive: 450556 kB
Active(anon): 59304 kB
Inactive(anon): 38496 kB
Active(file): 1110776 kB
Inactive(file): 412060 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30516 kB
Writeback: 0 kB
AnonPages: 78396 kB
Mapped: 104044 kB
Shmem: 21656 kB
KReclaimable: 247624 kB
Slab: 343996 kB
SReclaimable: 247624 kB
SUnreclaim: 96372 kB
KernelStack: 4128 kB
PageTables: 2796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 358716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC021 at 2025-07-23 04:32:32