0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.17/0.25 c #variables 4115 #constraints 48009
6.15/6.28 c #Conflicts: 1000 | #Constraints: 49008
6.15/6.28 c #Conflicts: 2000 | #Constraints: 50008
6.15/6.28 c INPROCESSING
6.15/6.28 c GARBAGE COLLECT
6.15/6.28 c #Conflicts: 3000 | #Constraints: 50016
6.15/6.28 c #Conflicts: 4000 | #Constraints: 51016
6.15/6.28 c INPROCESSING
6.15/6.28 c GARBAGE COLLECT
6.15/6.28 c #Conflicts: 5000 | #Constraints: 50424
6.15/6.28 c #Conflicts: 6000 | #Constraints: 51424
6.15/6.28 c INPROCESSING
6.15/6.28 c GARBAGE COLLECT
6.15/6.28 c #Conflicts: 7000 | #Constraints: 50429
6.15/6.28 c #Conflicts: 8000 | #Constraints: 51429
6.15/6.28 c #Conflicts: 9000 | #Constraints: 52429
6.15/6.28 c INPROCESSING
6.15/6.28 c GARBAGE COLLECT
6.15/6.28 c #Conflicts: 10000 | #Constraints: 51139
6.15/6.28 c #Conflicts: 11000 | #Constraints: 52139
6.15/6.28 c #Conflicts: 12000 | #Constraints: 53139
6.15/6.28 c INPROCESSING
6.15/6.28 c GARBAGE COLLECT
6.15/6.28 c rational objective 63.4062
10.04/10.19 c #Conflicts: 13000 | #Constraints: 51597
10.04/10.19 c #Conflicts: 14000 | #Constraints: 52597
10.04/10.19 c #Conflicts: 15000 | #Constraints: 53597
10.04/10.19 c INPROCESSING
10.04/10.19 c GARBAGE COLLECT
10.04/10.19 c #Conflicts: 16000 | #Constraints: 51840
10.04/10.19 c #Conflicts: 17000 | #Constraints: 52840
10.04/10.19 c #Conflicts: 18000 | #Constraints: 53840
10.04/10.19 c INPROCESSING
10.04/10.19 c GARBAGE COLLECT
10.04/10.19 c rational objective 63.5312
15.62/15.75 c #Conflicts: 19000 | #Constraints: 51852
15.62/15.75 c #Conflicts: 20000 | #Constraints: 52852
15.62/15.75 c #Conflicts: 21000 | #Constraints: 53852
15.62/15.75 c INPROCESSING
15.62/15.75 c GARBAGE COLLECT
15.62/15.75 c #Conflicts: 22000 | #Constraints: 51653
15.62/15.75 c #Conflicts: 23000 | #Constraints: 52653
15.62/15.75 c #Conflicts: 24000 | #Constraints: 53653
15.62/15.75 c #Conflicts: 25000 | #Constraints: 54653
15.62/15.75 c INPROCESSING
15.62/15.75 c GARBAGE COLLECT
15.62/15.75 c #Conflicts: 26000 | #Constraints: 52248
15.62/15.75 c #Conflicts: 27000 | #Constraints: 53248
15.62/15.75 c #Conflicts: 28000 | #Constraints: 54248
15.62/15.75 c #Conflicts: 29000 | #Constraints: 55248
15.62/15.75 c INPROCESSING
15.62/15.75 c GARBAGE COLLECT
15.62/15.75 c rational objective 63.5938
20.71/20.83 c #Conflicts: 30000 | #Constraints: 52657
20.71/20.83 c #Conflicts: 31000 | #Constraints: 53657
20.71/20.83 c #Conflicts: 32000 | #Constraints: 54657
20.71/20.83 c #Conflicts: 33000 | #Constraints: 55657
20.71/20.83 c INPROCESSING
20.71/20.83 c GARBAGE COLLECT
20.71/20.83 c #Conflicts: 34000 | #Constraints: 52852
20.71/20.83 c #Conflicts: 35000 | #Constraints: 53852
20.71/20.83 c #Conflicts: 36000 | #Constraints: 54852
20.71/20.83 c #Conflicts: 37000 | #Constraints: 55852
20.71/20.83 c INPROCESSING
20.71/20.83 c GARBAGE COLLECT
20.71/20.83 c rational objective 63.625
24.59/24.71 c #Conflicts: 38000 | #Constraints: 52868
24.59/24.71 c #Conflicts: 39000 | #Constraints: 53868
24.59/24.71 c #Conflicts: 40000 | #Constraints: 54868
24.59/24.71 c #Conflicts: 41000 | #Constraints: 55868
24.59/24.71 c INPROCESSING
24.59/24.71 c GARBAGE COLLECT
24.59/24.71 c rational objective 63.7812
31.27/31.46 c #Conflicts: 42000 | #Constraints: 52686
31.27/31.46 c #Conflicts: 43000 | #Constraints: 53686
31.27/31.46 c #Conflicts: 44000 | #Constraints: 54686
31.27/31.46 c #Conflicts: 45000 | #Constraints: 55686
31.27/31.46 c #Conflicts: 46000 | #Constraints: 56686
31.27/31.46 c INPROCESSING
31.27/31.46 c GARBAGE COLLECT
31.27/31.46 c #Conflicts: 47000 | #Constraints: 53268
31.27/31.46 c #Conflicts: 48000 | #Constraints: 54268
31.27/31.46 c #Conflicts: 49000 | #Constraints: 55268
31.27/31.46 c #Conflicts: 50000 | #Constraints: 56268
31.27/31.46 c #Conflicts: 51000 | #Constraints: 57268
31.27/31.46 c INPROCESSING
31.27/31.46 c GARBAGE COLLECT
31.27/31.46 c rational objective 63.9062
52.50/52.72 c #Conflicts: 52000 | #Constraints: 53670
52.50/52.72 c #Conflicts: 53000 | #Constraints: 54670
52.50/52.72 c #Conflicts: 54000 | #Constraints: 55670
52.50/52.72 c #Conflicts: 55000 | #Constraints: 56670
52.50/52.72 c #Conflicts: 56000 | #Constraints: 57670
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c #Conflicts: 57000 | #Constraints: 53868
52.50/52.72 c #Conflicts: 58000 | #Constraints: 54868
52.50/52.72 c #Conflicts: 59000 | #Constraints: 55868
52.50/52.72 c #Conflicts: 60000 | #Constraints: 56868
52.50/52.72 c #Conflicts: 61000 | #Constraints: 57868
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c #Conflicts: 62000 | #Constraints: 53872
52.50/52.72 c #Conflicts: 63000 | #Constraints: 54872
52.50/52.72 c #Conflicts: 64000 | #Constraints: 55872
52.50/52.72 c #Conflicts: 65000 | #Constraints: 56872
52.50/52.72 c #Conflicts: 66000 | #Constraints: 57872
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c #Conflicts: 67000 | #Constraints: 53668
52.50/52.72 c #Conflicts: 68000 | #Constraints: 54668
52.50/52.72 c #Conflicts: 69000 | #Constraints: 55668
52.50/52.72 c #Conflicts: 70000 | #Constraints: 56668
52.50/52.72 c #Conflicts: 71000 | #Constraints: 57668
52.50/52.72 c #Conflicts: 72000 | #Constraints: 58668
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c #Conflicts: 73000 | #Constraints: 54277
52.50/52.72 c #Conflicts: 74000 | #Constraints: 55277
52.50/52.72 c #Conflicts: 75000 | #Constraints: 56277
52.50/52.72 c #Conflicts: 76000 | #Constraints: 57277
52.50/52.72 c #Conflicts: 77000 | #Constraints: 58277
52.50/52.72 c #Conflicts: 78000 | #Constraints: 59277
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c #Conflicts: 79000 | #Constraints: 54663
52.50/52.72 c #Conflicts: 80000 | #Constraints: 55663
52.50/52.72 c #Conflicts: 81000 | #Constraints: 56663
52.50/52.72 c #Conflicts: 82000 | #Constraints: 57663
52.50/52.72 c #Conflicts: 83000 | #Constraints: 58663
52.50/52.72 c #Conflicts: 84000 | #Constraints: 59663
52.50/52.72 c INPROCESSING
52.50/52.72 c GARBAGE COLLECT
52.50/52.72 c rational objective 63.9688
64.26/64.51 c #Conflicts: 85000 | #Constraints: 54874
64.26/64.51 c #Conflicts: 86000 | #Constraints: 55874
64.26/64.51 c #Conflicts: 87000 | #Constraints: 56874
64.26/64.51 c #Conflicts: 88000 | #Constraints: 57874
64.26/64.51 c #Conflicts: 89000 | #Constraints: 58874
64.26/64.51 c #Conflicts: 90000 | #Constraints: 59874
64.26/64.51 c INPROCESSING
64.26/64.51 c GARBAGE COLLECT
64.26/64.51 c #Conflicts: 91000 | #Constraints: 54889
64.26/64.51 c #Conflicts: 92000 | #Constraints: 55889
64.26/64.51 c #Conflicts: 93000 | #Constraints: 56889
64.26/64.51 c #Conflicts: 94000 | #Constraints: 57889
64.26/64.51 c #Conflicts: 95000 | #Constraints: 58889
64.26/64.51 c #Conflicts: 96000 | #Constraints: 59889
64.26/64.51 c INPROCESSING
64.26/64.51 c GARBAGE COLLECT
64.26/64.51 c rational objective 64.1562
74.73/75.02 c #Conflicts: 97000 | #Constraints: 54686
74.73/75.02 c #Conflicts: 98000 | #Constraints: 55686
74.73/75.02 c #Conflicts: 99000 | #Constraints: 56686
74.73/75.02 c #Conflicts: 100000 | #Constraints: 57686
74.73/75.02 c #Conflicts: 101000 | #Constraints: 58686
74.73/75.02 c #Conflicts: 102000 | #Constraints: 59686
74.73/75.02 c #Conflicts: 103000 | #Constraints: 60686
74.73/75.02 c INPROCESSING
74.73/75.02 c GARBAGE COLLECT
74.73/75.02 c #Conflicts: 104000 | #Constraints: 55279
74.73/75.02 c #Conflicts: 105000 | #Constraints: 56279
74.73/75.02 c #Conflicts: 106000 | #Constraints: 57279
74.73/75.02 c #Conflicts: 107000 | #Constraints: 58279
74.73/75.02 c #Conflicts: 108000 | #Constraints: 59279
74.73/75.02 c #Conflicts: 109000 | #Constraints: 60279
74.73/75.02 c #Conflicts: 110000 | #Constraints: 61279
74.73/75.02 c INPROCESSING
74.73/75.02 c GARBAGE COLLECT
74.73/75.02 c rational objective 64.1875
83.60/84.00 c #Conflicts: 111000 | #Constraints: 55692
83.60/84.00 c #Conflicts: 112000 | #Constraints: 56692
83.60/84.00 c #Conflicts: 113000 | #Constraints: 57692
83.60/84.00 c #Conflicts: 114000 | #Constraints: 58692
83.60/84.00 c #Conflicts: 115000 | #Constraints: 59692
83.60/84.00 c #Conflicts: 116000 | #Constraints: 60692
83.60/84.00 c #Conflicts: 117000 | #Constraints: 61692
83.60/84.00 c INPROCESSING
83.60/84.00 c GARBAGE COLLECT
83.60/84.00 c #Conflicts: 118000 | #Constraints: 55900
83.60/84.00 c #Conflicts: 119000 | #Constraints: 56900
83.60/84.00 c #Conflicts: 120000 | #Constraints: 57900
83.60/84.00 c #Conflicts: 121000 | #Constraints: 58900
83.60/84.00 c #Conflicts: 122000 | #Constraints: 59900
83.60/84.00 c #Conflicts: 123000 | #Constraints: 60900
83.60/84.00 c #Conflicts: 124000 | #Constraints: 61900
83.60/84.00 c INPROCESSING
83.60/84.00 c GARBAGE COLLECT
83.60/84.00 c rational objective 64.3125
113.70/114.16 c #Conflicts: 125000 | #Constraints: 55893
113.70/114.16 c #Conflicts: 126000 | #Constraints: 56893
113.70/114.16 c #Conflicts: 127000 | #Constraints: 57893
113.70/114.16 c #Conflicts: 128000 | #Constraints: 58893
113.70/114.16 c #Conflicts: 129000 | #Constraints: 59893
113.70/114.16 c #Conflicts: 130000 | #Constraints: 60893
113.70/114.16 c #Conflicts: 131000 | #Constraints: 61893
113.70/114.16 c #Conflicts: 132000 | #Constraints: 62893
113.70/114.16 c #Conflicts: 133000 | #Constraints: 63893
113.70/114.16 c #Conflicts: 134000 | #Constraints: 64893
113.70/114.16 c #Conflicts: 135000 | #Constraints: 65893
113.70/114.16 c #Conflicts: 136000 | #Constraints: 66893
113.70/114.16 c #Conflicts: 137000 | #Constraints: 67893
113.70/114.16 c #Conflicts: 138000 | #Constraints: 68893
113.70/114.16 c #Conflicts: 139000 | #Constraints: 69893
113.70/114.16 c #Conflicts: 140000 | #Constraints: 70893
113.70/114.16 c #Conflicts: 141000 | #Constraints: 71893
113.70/114.16 c #Conflicts: 142000 | #Constraints: 72893
113.70/114.16 c #Conflicts: 143000 | #Constraints: 73893
113.70/114.16 c #Conflicts: 144000 | #Constraints: 74893
113.70/114.16 c #Conflicts: 145000 | #Constraints: 75893
113.70/114.16 c #Conflicts: 146000 | #Constraints: 76893
113.70/114.16 c #Conflicts: 147000 | #Constraints: 77893
113.70/114.16 c #Conflicts: 148000 | #Constraints: 78893
113.70/114.16 c #Conflicts: 149000 | #Constraints: 79893
113.70/114.16 c #Conflicts: 150000 | #Constraints: 80893
113.70/114.16 c #Conflicts: 151000 | #Constraints: 81893
113.70/114.16 c #Conflicts: 152000 | #Constraints: 82893
113.70/114.16 c #Conflicts: 153000 | #Constraints: 83893
113.70/114.16 c #Conflicts: 154000 | #Constraints: 84893
113.70/114.16 c #Conflicts: 155000 | #Constraints: 85893
113.70/114.16 c #Conflicts: 156000 | #Constraints: 86893
113.70/114.16 c INPROCESSING
113.70/114.16 c GARBAGE COLLECT
113.70/114.16 c rational objective 64.3937
129.35/129.87 c #Conflicts: 157000 | #Constraints: 68103
129.35/129.87 c #Conflicts: 158000 | #Constraints: 69104
129.35/129.87 c #Conflicts: 159000 | #Constraints: 70104
129.35/129.87 c #Conflicts: 160000 | #Constraints: 71104
129.35/129.87 c #Conflicts: 161000 | #Constraints: 72104
129.35/129.87 c #Conflicts: 162000 | #Constraints: 73104
129.35/129.87 c #Conflicts: 163000 | #Constraints: 74104
129.35/129.87 c #Conflicts: 164000 | #Constraints: 75104
129.35/129.87 c #Conflicts: 165000 | #Constraints: 76104
129.35/129.87 c INPROCESSING
129.35/129.87 c GARBAGE COLLECT
129.35/129.87 c #Conflicts: 166000 | #Constraints: 62953
129.35/129.87 c #Conflicts: 167000 | #Constraints: 63953
129.35/129.87 c #Conflicts: 168000 | #Constraints: 64953
129.35/129.87 c #Conflicts: 169000 | #Constraints: 65953
129.35/129.87 c #Conflicts: 170000 | #Constraints: 66953
129.35/129.87 c #Conflicts: 171000 | #Constraints: 67953
129.35/129.87 c #Conflicts: 172000 | #Constraints: 68954
129.35/129.87 c #Conflicts: 173000 | #Constraints: 69954
129.35/129.87 c #Conflicts: 174000 | #Constraints: 70954
129.35/129.87 c INPROCESSING
129.35/129.87 c GARBAGE COLLECT
129.35/129.87 c rational objective 64.4474
186.56/187.23 c #Conflicts: 175000 | #Constraints: 60533
186.56/187.23 c #Conflicts: 176000 | #Constraints: 61533
186.56/187.23 c #Conflicts: 177000 | #Constraints: 62533
186.56/187.23 c #Conflicts: 178000 | #Constraints: 63533
186.56/187.23 c #Conflicts: 179000 | #Constraints: 64533
186.56/187.23 c #Conflicts: 180000 | #Constraints: 65533
186.56/187.23 c #Conflicts: 181000 | #Constraints: 66533
186.56/187.23 c #Conflicts: 182000 | #Constraints: 67533
186.56/187.23 c INPROCESSING
186.56/187.23 c GARBAGE COLLECT
186.56/187.23 c #Conflicts: 183000 | #Constraints: 58361
186.56/187.23 c #Conflicts: 184000 | #Constraints: 59361
186.56/187.23 c #Conflicts: 185000 | #Constraints: 60361
186.56/187.23 c #Conflicts: 186000 | #Constraints: 61361
186.56/187.23 c #Conflicts: 187000 | #Constraints: 62361
186.56/187.23 c #Conflicts: 188000 | #Constraints: 63361
186.56/187.23 c #Conflicts: 189000 | #Constraints: 64361
186.56/187.23 c #Conflicts: 190000 | #Constraints: 65361
186.56/187.23 c #Conflicts: 191000 | #Constraints: 66361
186.56/187.23 c #Conflicts: 192000 | #Constraints: 67361
186.56/187.23 c #Conflicts: 193000 | #Constraints: 68361
186.56/187.23 c #Conflicts: 194000 | #Constraints: 69361
186.56/187.23 c #Conflicts: 195000 | #Constraints: 70361
186.56/187.23 c #Conflicts: 196000 | #Constraints: 71361
186.56/187.23 c #Conflicts: 197000 | #Constraints: 72361
186.56/187.23 c #Conflicts: 198000 | #Constraints: 73361
186.56/187.23 c #Conflicts: 199000 | #Constraints: 74361
186.56/187.23 c #Conflicts: 200000 | #Constraints: 75361
186.56/187.23 c #Conflicts: 201000 | #Constraints: 76361
186.56/187.23 c #Conflicts: 202000 | #Constraints: 77361
186.56/187.23 c #Conflicts: 203000 | #Constraints: 78361
186.56/187.23 c #Conflicts: 204000 | #Constraints: 79361
186.56/187.23 c #Conflicts: 205000 | #Constraints: 80361
186.56/187.23 c #Conflicts: 206000 | #Constraints: 81361
186.56/187.23 c #Conflicts: 207000 | #Constraints: 82361
186.56/187.23 c #Conflicts: 208000 | #Constraints: 83361
186.56/187.23 c #Conflicts: 209000 | #Constraints: 84361
186.56/187.23 c #Conflicts: 210000 | #Constraints: 85361
186.56/187.23 c #Conflicts: 211000 | #Constraints: 86361
186.56/187.23 c #Conflicts: 212000 | #Constraints: 87361
186.56/187.23 c #Conflicts: 213000 | #Constraints: 88361
186.56/187.23 c #Conflicts: 214000 | #Constraints: 89361
186.56/187.23 c #Conflicts: 215000 | #Constraints: 90361
186.56/187.23 c #Conflicts: 216000 | #Constraints: 91361
186.56/187.23 c #Conflicts: 217000 | #Constraints: 92361
186.56/187.23 c #Conflicts: 218000 | #Constraints: 93361
186.56/187.23 c #Conflicts: 219000 | #Constraints: 94361
186.56/187.23 c #Conflicts: 220000 | #Constraints: 95361
186.56/187.23 c INPROCESSING
186.56/187.23 c GARBAGE COLLECT
186.56/187.23 c rational objective 64.4818
263.14/264.09 c #Conflicts: 221000 | #Constraints: 72347
263.14/264.09 c #Conflicts: 222000 | #Constraints: 73347
263.14/264.09 c #Conflicts: 223000 | #Constraints: 74347
263.14/264.09 c #Conflicts: 224000 | #Constraints: 75347
263.14/264.09 c #Conflicts: 225000 | #Constraints: 76347
263.14/264.09 c #Conflicts: 226000 | #Constraints: 77347
263.14/264.09 c #Conflicts: 227000 | #Constraints: 78347
263.14/264.09 c #Conflicts: 228000 | #Constraints: 79347
263.14/264.09 c #Conflicts: 229000 | #Constraints: 80347
263.14/264.09 c #Conflicts: 230000 | #Constraints: 81347
263.14/264.09 c #Conflicts: 231000 | #Constraints: 82347
263.14/264.09 c INPROCESSING
263.14/264.09 c GARBAGE COLLECT
263.14/264.09 c #Conflicts: 232000 | #Constraints: 66238
263.14/264.09 c #Conflicts: 233000 | #Constraints: 67238
263.14/264.09 c #Conflicts: 234000 | #Constraints: 68238
263.14/264.09 c #Conflicts: 235000 | #Constraints: 69238
263.14/264.09 c #Conflicts: 236000 | #Constraints: 70238
263.14/264.09 c #Conflicts: 237000 | #Constraints: 71238
263.14/264.09 c #Conflicts: 238000 | #Constraints: 72239
263.14/264.09 c #Conflicts: 239000 | #Constraints: 73239
263.14/264.09 c #Conflicts: 240000 | #Constraints: 74239
263.14/264.09 c #Conflicts: 241000 | #Constraints: 75239
263.14/264.09 c INPROCESSING
263.14/264.09 c GARBAGE COLLECT
263.14/264.09 c #Conflicts: 242000 | #Constraints: 62482
263.14/264.09 c #Conflicts: 243000 | #Constraints: 63482
263.14/264.09 c #Conflicts: 244000 | #Constraints: 64482
263.14/264.09 c #Conflicts: 245000 | #Constraints: 65482
263.14/264.09 c #Conflicts: 246000 | #Constraints: 66482
263.14/264.09 c #Conflicts: 247000 | #Constraints: 67482
263.14/264.09 c #Conflicts: 248000 | #Constraints: 68482
263.14/264.09 c #Conflicts: 249000 | #Constraints: 69482
263.14/264.09 c #Conflicts: 250000 | #Constraints: 70482
263.14/264.09 c #Conflicts: 251000 | #Constraints: 71482
263.14/264.09 c #Conflicts: 252000 | #Constraints: 72482
263.14/264.09 c INPROCESSING
263.14/264.09 c GARBAGE COLLECT
263.14/264.09 c #Conflicts: 253000 | #Constraints: 61299
263.14/264.09 c #Conflicts: 254000 | #Constraints: 62299
263.14/264.09 c #Conflicts: 255000 | #Constraints: 63299
263.14/264.09 c #Conflicts: 256000 | #Constraints: 64299
263.14/264.09 c #Conflicts: 257000 | #Constraints: 65299
263.14/264.09 c #Conflicts: 258000 | #Constraints: 66299
263.14/264.09 c #Conflicts: 259000 | #Constraints: 67299
263.14/264.09 c #Conflicts: 260000 | #Constraints: 68299
263.14/264.09 c #Conflicts: 261000 | #Constraints: 69299
263.14/264.09 c #Conflicts: 262000 | #Constraints: 70299
263.14/264.09 c #Conflicts: 263000 | #Constraints: 71299
263.14/264.09 c #Conflicts: 264000 | #Constraints: 72299
263.14/264.09 c #Conflicts: 265000 | #Constraints: 73299
263.14/264.09 c #Conflicts: 266000 | #Constraints: 74300
263.14/264.09 c #Conflicts: 267000 | #Constraints: 75300
263.14/264.09 c #Conflicts: 268000 | #Constraints: 76300
263.14/264.09 c #Conflicts: 269000 | #Constraints: 77300
263.14/264.09 c #Conflicts: 270000 | #Constraints: 78300
263.14/264.09 c #Conflicts: 271000 | #Constraints: 79300
263.14/264.09 c #Conflicts: 272000 | #Constraints: 80300
263.14/264.09 c #Conflicts: 273000 | #Constraints: 81300
263.14/264.09 c #Conflicts: 274000 | #Constraints: 82300
263.14/264.09 c #Conflicts: 275000 | #Constraints: 83300
263.14/264.09 c #Conflicts: 276000 | #Constraints: 84300
263.14/264.09 c #Conflicts: 277000 | #Constraints: 85300
263.14/264.09 c #Conflicts: 278000 | #Constraints: 86300
263.14/264.09 c #Conflicts: 279000 | #Constraints: 87300
263.14/264.09 c #Conflicts: 280000 | #Constraints: 88300
263.14/264.09 c #Conflicts: 281000 | #Constraints: 89300
263.14/264.09 c #Conflicts: 282000 | #Constraints: 90300
263.14/264.09 c #Conflicts: 283000 | #Constraints: 91300
263.14/264.09 c #Conflicts: 284000 | #Constraints: 92300
263.14/264.09 c #Conflicts: 285000 | #Constraints: 93300
263.14/264.09 c #Conflicts: 286000 | #Constraints: 94301
263.14/264.09 c #Conflicts: 287000 | #Constraints: 95303
263.14/264.09 c #Conflicts: 288000 | #Constraints: 96303
263.14/264.09 c #Conflicts: 289000 | #Constraints: 97304
263.14/264.09 c #Conflicts: 290000 | #Constraints: 98305
263.14/264.09 c #Conflicts: 291000 | #Constraints: 99306
263.14/264.09 c #Conflicts: 292000 | #Constraints: 100306
263.14/264.09 c #Conflicts: 293000 | #Constraints: 101307
263.14/264.09 c #Conflicts: 294000 | #Constraints: 102307
263.14/264.09 c #Conflicts: 295000 | #Constraints: 103307
263.14/264.09 c INPROCESSING
263.14/264.09 c GARBAGE COLLECT
263.14/264.09 c rational objective 64.529
343.22/344.32 c #Conflicts: 296000 | #Constraints: 76630
343.22/344.32 c #Conflicts: 297000 | #Constraints: 77630
343.22/344.32 c #Conflicts: 298000 | #Constraints: 78630
343.22/344.32 c #Conflicts: 299000 | #Constraints: 79630
343.22/344.32 c #Conflicts: 300000 | #Constraints: 80630
343.22/344.32 c #Conflicts: 301000 | #Constraints: 81630
343.22/344.32 c #Conflicts: 302000 | #Constraints: 82630
343.22/344.32 c #Conflicts: 303000 | #Constraints: 83630
343.22/344.32 c #Conflicts: 304000 | #Constraints: 84630
343.22/344.32 c #Conflicts: 305000 | #Constraints: 85630
343.22/344.32 c #Conflicts: 306000 | #Constraints: 86630
343.22/344.32 c #Conflicts: 307000 | #Constraints: 87630
343.22/344.32 c INPROCESSING
343.22/344.32 c GARBAGE COLLECT
343.22/344.32 c #Conflicts: 308000 | #Constraints: 68845
343.22/344.32 c #Conflicts: 309000 | #Constraints: 69845
343.22/344.32 c #Conflicts: 310000 | #Constraints: 70845
343.22/344.32 c #Conflicts: 311000 | #Constraints: 71845
343.22/344.32 c #Conflicts: 312000 | #Constraints: 72845
343.22/344.32 c #Conflicts: 313000 | #Constraints: 73845
343.22/344.32 c #Conflicts: 314000 | #Constraints: 74845
343.22/344.32 c #Conflicts: 315000 | #Constraints: 75845
343.22/344.32 c #Conflicts: 316000 | #Constraints: 76845
343.22/344.32 c #Conflicts: 317000 | #Constraints: 77845
343.22/344.32 c #Conflicts: 318000 | #Constraints: 78845
343.22/344.32 c #Conflicts: 319000 | #Constraints: 79845
343.22/344.32 c INPROCESSING
343.22/344.32 c GARBAGE COLLECT
343.22/344.32 c #Conflicts: 320000 | #Constraints: 64901
343.22/344.32 c #Conflicts: 321000 | #Constraints: 65901
343.22/344.32 c #Conflicts: 322000 | #Constraints: 66901
343.22/344.32 c #Conflicts: 323000 | #Constraints: 67901
343.22/344.32 c #Conflicts: 324000 | #Constraints: 68901
343.22/344.32 c #Conflicts: 325000 | #Constraints: 69901
343.22/344.32 c #Conflicts: 326000 | #Constraints: 70901
343.22/344.32 c #Conflicts: 327000 | #Constraints: 71901
343.22/344.32 c #Conflicts: 328000 | #Constraints: 72901
343.22/344.32 c #Conflicts: 329000 | #Constraints: 73901
343.22/344.32 c #Conflicts: 330000 | #Constraints: 74901
343.22/344.32 c #Conflicts: 331000 | #Constraints: 75901
343.22/344.32 c INPROCESSING
343.22/344.32 c GARBAGE COLLECT
343.22/344.32 c #Conflicts: 332000 | #Constraints: 62765
343.22/344.32 c #Conflicts: 333000 | #Constraints: 63765
343.22/344.32 c #Conflicts: 334000 | #Constraints: 64765
343.22/344.32 c #Conflicts: 335000 | #Constraints: 65765
343.22/344.32 c #Conflicts: 336000 | #Constraints: 66765
343.22/344.32 c #Conflicts: 337000 | #Constraints: 67765
343.22/344.32 c #Conflicts: 338000 | #Constraints: 68765
343.22/344.32 c #Conflicts: 339000 | #Constraints: 69765
343.22/344.32 c #Conflicts: 340000 | #Constraints: 70765
343.22/344.32 c #Conflicts: 341000 | #Constraints: 71765
343.22/344.32 c #Conflicts: 342000 | #Constraints: 72765
343.22/344.32 c #Conflicts: 343000 | #Constraints: 73765
343.22/344.32 c #Conflicts: 344000 | #Constraints: 74765
343.22/344.32 c #Conflicts: 345000 | #Constraints: 75765
343.22/344.32 c #Conflicts: 346000 | #Constraints: 76765
343.22/344.32 c #Conflicts: 347000 | #Constraints: 77765
343.22/344.32 c #Conflicts: 348000 | #Constraints: 78765
343.22/344.32 c #Conflicts: 349000 | #Constraints: 79765
343.22/344.32 c #Conflicts: 350000 | #Constraints: 80765
343.22/344.32 c #Conflicts: 351000 | #Constraints: 81765
343.22/344.32 c #Conflicts: 352000 | #Constraints: 82765
343.22/344.32 c #Conflicts: 353000 | #Constraints: 83765
343.22/344.32 c #Conflicts: 354000 | #Constraints: 84765
343.22/344.32 c #Conflicts: 355000 | #Constraints: 85765
343.22/344.32 c #Conflicts: 356000 | #Constraints: 86765
343.22/344.32 c #Conflicts: 357000 | #Constraints: 87765
343.22/344.32 c #Conflicts: 358000 | #Constraints: 88765
343.22/344.32 c #Conflicts: 359000 | #Constraints: 89765
343.22/344.32 c #Conflicts: 360000 | #Constraints: 90765
343.22/344.32 c #Conflicts: 361000 | #Constraints: 91765
343.22/344.32 c #Conflicts: 362000 | #Constraints: 92765
343.22/344.32 c #Conflicts: 363000 | #Constraints: 93765
343.22/344.32 c #Conflicts: 364000 | #Constraints: 94765
343.22/344.32 c #Conflicts: 365000 | #Constraints: 95765
343.22/344.32 c #Conflicts: 366000 | #Constraints: 96765
343.22/344.32 c #Conflicts: 367000 | #Constraints: 97765
343.22/344.32 c #Conflicts: 368000 | #Constraints: 98765
343.22/344.32 c #Conflicts: 369000 | #Constraints: 99765
343.22/344.32 c #Conflicts: 370000 | #Constraints: 100765
343.22/344.32 c #Conflicts: 371000 | #Constraints: 101765
343.22/344.32 c #Conflicts: 372000 | #Constraints: 102765
357.18/358.35 c #Conflicts: 373000 | #Constraints: 103765
357.18/358.35 c #Conflicts: 374000 | #Constraints: 104766
357.18/358.35 c #Conflicts: 375000 | #Constraints: 105766
357.18/358.35 c #Conflicts: 376000 | #Constraints: 106766
357.18/358.35 c #Conflicts: 377000 | #Constraints: 107766
357.18/358.35 c #Conflicts: 378000 | #Constraints: 108767
357.18/358.35 c #Conflicts: 379000 | #Constraints: 109768
357.18/358.35 c #Conflicts: 380000 | #Constraints: 110770
357.18/358.35 c INPROCESSING
357.18/358.35 c GARBAGE COLLECT
357.18/358.35 c rational objective 64.621
452.41/453.89 c #Conflicts: 381000 | #Constraints: 80484
452.41/453.89 c #Conflicts: 382000 | #Constraints: 81485
452.41/453.89 c #Conflicts: 383000 | #Constraints: 82485
452.41/453.89 c #Conflicts: 384000 | #Constraints: 83485
452.41/453.89 c #Conflicts: 385000 | #Constraints: 84485
452.41/453.89 c #Conflicts: 386000 | #Constraints: 85485
452.41/453.89 c #Conflicts: 387000 | #Constraints: 86485
452.41/453.89 c #Conflicts: 388000 | #Constraints: 87485
452.41/453.89 c #Conflicts: 389000 | #Constraints: 88485
452.41/453.89 c #Conflicts: 390000 | #Constraints: 89485
452.41/453.89 c #Conflicts: 391000 | #Constraints: 90485
452.41/453.89 c #Conflicts: 392000 | #Constraints: 91485
452.41/453.89 c #Conflicts: 393000 | #Constraints: 92485
452.41/453.89 c INPROCESSING
452.41/453.89 c GARBAGE COLLECT
452.41/453.89 c #Conflicts: 394000 | #Constraints: 71011
452.41/453.89 c #Conflicts: 395000 | #Constraints: 72011
452.41/453.89 c #Conflicts: 396000 | #Constraints: 73011
452.41/453.89 c #Conflicts: 397000 | #Constraints: 74011
452.41/453.89 c #Conflicts: 398000 | #Constraints: 75011
452.41/453.89 c #Conflicts: 399000 | #Constraints: 76011
452.41/453.89 c #Conflicts: 400000 | #Constraints: 77011
452.41/453.89 c #Conflicts: 401000 | #Constraints: 78011
452.41/453.89 c #Conflicts: 402000 | #Constraints: 79011
452.41/453.89 c #Conflicts: 403000 | #Constraints: 80011
452.41/453.89 c #Conflicts: 404000 | #Constraints: 81011
452.41/453.89 c #Conflicts: 405000 | #Constraints: 82011
452.41/453.89 c #Conflicts: 406000 | #Constraints: 83011
452.41/453.89 c #Conflicts: 407000 | #Constraints: 84011
452.41/453.89 c INPROCESSING
452.41/453.89 c GARBAGE COLLECT
452.41/453.89 c #Conflicts: 408000 | #Constraints: 66904
452.41/453.89 c #Conflicts: 409000 | #Constraints: 67904
452.41/453.89 c #Conflicts: 410000 | #Constraints: 68904
452.41/453.89 c #Conflicts: 411000 | #Constraints: 69904
452.41/453.89 c #Conflicts: 412000 | #Constraints: 70904
452.41/453.89 c #Conflicts: 413000 | #Constraints: 71904
452.41/453.89 c #Conflicts: 414000 | #Constraints: 72904
452.41/453.89 c #Conflicts: 415000 | #Constraints: 73904
452.41/453.89 c #Conflicts: 416000 | #Constraints: 74904
452.41/453.89 c #Conflicts: 417000 | #Constraints: 75904
452.41/453.89 c #Conflicts: 418000 | #Constraints: 76904
452.41/453.89 c #Conflicts: 419000 | #Constraints: 77904
452.41/453.89 c #Conflicts: 420000 | #Constraints: 78904
452.41/453.89 c #Conflicts: 421000 | #Constraints: 79904
452.41/453.89 c INPROCESSING
452.41/453.89 c GARBAGE COLLECT
452.41/453.89 c #Conflicts: 422000 | #Constraints: 64829
452.41/453.89 c #Conflicts: 423000 | #Constraints: 65829
452.41/453.89 c #Conflicts: 424000 | #Constraints: 66829
452.41/453.89 c #Conflicts: 425000 | #Constraints: 67829
452.41/453.89 c #Conflicts: 426000 | #Constraints: 68829
452.41/453.89 c #Conflicts: 427000 | #Constraints: 69829
452.41/453.89 c #Conflicts: 428000 | #Constraints: 70829
452.41/453.89 c #Conflicts: 429000 | #Constraints: 71829
452.41/453.89 c #Conflicts: 430000 | #Constraints: 72829
452.41/453.89 c #Conflicts: 431000 | #Constraints: 73829
452.41/453.89 c #Conflicts: 432000 | #Constraints: 74829
452.41/453.89 c #Conflicts: 433000 | #Constraints: 75829
452.41/453.89 c #Conflicts: 434000 | #Constraints: 76829
452.41/453.89 c #Conflicts: 435000 | #Constraints: 77829
452.41/453.89 c #Conflicts: 436000 | #Constraints: 78829
452.41/453.89 c #Conflicts: 437000 | #Constraints: 79829
452.41/453.89 c #Conflicts: 438000 | #Constraints: 80829
452.41/453.89 c #Conflicts: 439000 | #Constraints: 81829
452.41/453.89 c #Conflicts: 440000 | #Constraints: 82829
452.41/453.89 c #Conflicts: 441000 | #Constraints: 83830
452.41/453.89 c #Conflicts: 442000 | #Constraints: 84830
452.41/453.89 c #Conflicts: 443000 | #Constraints: 85830
452.41/453.89 c #Conflicts: 444000 | #Constraints: 86830
452.41/453.89 c #Conflicts: 445000 | #Constraints: 87832
452.41/453.89 c #Conflicts: 446000 | #Constraints: 88833
452.41/453.89 c #Conflicts: 447000 | #Constraints: 89833
452.41/453.89 c #Conflicts: 448000 | #Constraints: 90845
452.41/453.89 c #Conflicts: 449000 | #Constraints: 91877
452.41/453.89 c #Conflicts: 450000 | #Constraints: 92887
452.41/453.89 c #Conflicts: 451000 | #Constraints: 93888
452.41/453.89 c #Conflicts: 452000 | #Constraints: 94890
452.41/453.89 c #Conflicts: 453000 | #Constraints: 95891
452.41/453.89 c #Conflicts: 454000 | #Constraints: 96891
452.41/453.89 c #Conflicts: 455000 | #Constraints: 97892
452.41/453.89 c #Conflicts: 456000 | #Constraints: 98892
452.41/453.89 c #Conflicts: 457000 | #Constraints: 99892
507.63/509.29 c #Conflicts: 458000 | #Constraints: 100892
507.63/509.29 c #Conflicts: 459000 | #Constraints: 101892
507.63/509.29 c #Conflicts: 460000 | #Constraints: 102892
507.63/509.29 c #Conflicts: 461000 | #Constraints: 103892
507.63/509.29 c #Conflicts: 462000 | #Constraints: 104893
507.63/509.29 c #Conflicts: 463000 | #Constraints: 105893
507.63/509.29 c #Conflicts: 464000 | #Constraints: 106894
507.63/509.29 c #Conflicts: 465000 | #Constraints: 107894
507.63/509.29 c #Conflicts: 466000 | #Constraints: 108894
507.63/509.29 c #Conflicts: 467000 | #Constraints: 109894
507.63/509.29 c #Conflicts: 468000 | #Constraints: 110894
507.63/509.29 c #Conflicts: 469000 | #Constraints: 111894
507.63/509.29 c #Conflicts: 470000 | #Constraints: 112894
507.63/509.29 c #Conflicts: 471000 | #Constraints: 113894
507.63/509.29 c #Conflicts: 472000 | #Constraints: 114894
507.63/509.29 c #Conflicts: 473000 | #Constraints: 115894
507.63/509.29 c #Conflicts: 474000 | #Constraints: 116894
507.63/509.29 c #Conflicts: 475000 | #Constraints: 117894
507.63/509.29 c INPROCESSING
507.63/509.29 c GARBAGE COLLECT
507.63/509.29 c #Conflicts: 476000 | #Constraints: 83913
507.63/509.29 c #Conflicts: 477000 | #Constraints: 84913
507.63/509.29 c #Conflicts: 478000 | #Constraints: 85913
507.63/509.29 c #Conflicts: 479000 | #Constraints: 86913
507.63/509.29 c #Conflicts: 480000 | #Constraints: 87913
507.63/509.29 c #Conflicts: 481000 | #Constraints: 88913
507.63/509.29 c #Conflicts: 482000 | #Constraints: 89913
507.63/509.29 c #Conflicts: 483000 | #Constraints: 90913
507.63/509.29 c #Conflicts: 484000 | #Constraints: 91913
507.63/509.29 c #Conflicts: 485000 | #Constraints: 92913
507.63/509.29 c #Conflicts: 486000 | #Constraints: 93913
507.63/509.29 c #Conflicts: 487000 | #Constraints: 94913
507.63/509.29 c #Conflicts: 488000 | #Constraints: 95914
507.63/509.29 c #Conflicts: 489000 | #Constraints: 96915
507.63/509.29 c #Conflicts: 490000 | #Constraints: 97916
507.63/509.29 c INPROCESSING
507.63/509.29 c GARBAGE COLLECT
507.63/509.29 c rational objective 64.8192
529.48/531.15 c #Conflicts: 491000 | #Constraints: 73791
529.48/531.15 c #Conflicts: 492000 | #Constraints: 74791
529.48/531.15 c #Conflicts: 493000 | #Constraints: 75791
529.48/531.15 c #Conflicts: 494000 | #Constraints: 76791
529.48/531.15 c #Conflicts: 495000 | #Constraints: 77791
529.48/531.15 c #Conflicts: 496000 | #Constraints: 78791
529.48/531.15 c #Conflicts: 497000 | #Constraints: 79791
529.48/531.15 c #Conflicts: 498000 | #Constraints: 80791
529.48/531.15 c #Conflicts: 499000 | #Constraints: 81791
529.48/531.15 c #Conflicts: 500000 | #Constraints: 82791
529.48/531.15 c #Conflicts: 501000 | #Constraints: 83791
529.48/531.15 c #Conflicts: 502000 | #Constraints: 84791
529.48/531.15 c #Conflicts: 503000 | #Constraints: 85791
529.48/531.15 c #Conflicts: 504000 | #Constraints: 86791
529.48/531.15 c #Conflicts: 505000 | #Constraints: 87791
529.48/531.15 c #Conflicts: 506000 | #Constraints: 88791
529.48/531.15 c INPROCESSING
529.48/531.15 c GARBAGE COLLECT
529.48/531.15 c rational objective 65.26
548.43/550.13 c #Conflicts: 507000 | #Constraints: 69466
548.43/550.13 c #Conflicts: 508000 | #Constraints: 70466
548.43/550.13 c #Conflicts: 509000 | #Constraints: 71466
548.43/550.13 c #Conflicts: 510000 | #Constraints: 72467
548.43/550.13 c #Conflicts: 511000 | #Constraints: 73467
548.43/550.13 c #Conflicts: 512000 | #Constraints: 74467
548.43/550.13 c #Conflicts: 513000 | #Constraints: 75467
548.43/550.13 c #Conflicts: 514000 | #Constraints: 76467
548.43/550.13 c #Conflicts: 515000 | #Constraints: 77467
548.43/550.13 c #Conflicts: 516000 | #Constraints: 78467
548.43/550.13 c #Conflicts: 517000 | #Constraints: 79467
548.43/550.13 c #Conflicts: 518000 | #Constraints: 80467
548.43/550.13 c #Conflicts: 519000 | #Constraints: 81467
548.43/550.13 c #Conflicts: 520000 | #Constraints: 82467
548.43/550.13 c #Conflicts: 521000 | #Constraints: 83467
548.43/550.13 c INPROCESSING
548.43/550.13 c GARBAGE COLLECT
548.43/550.13 c rational objective 65.3371
653.34/655.37 c #Conflicts: 522000 | #Constraints: 66448
653.34/655.37 c #Conflicts: 523000 | #Constraints: 67449
653.34/655.37 c #Conflicts: 524000 | #Constraints: 68449
653.34/655.37 c #Conflicts: 525000 | #Constraints: 69449
653.34/655.37 c #Conflicts: 526000 | #Constraints: 70449
653.34/655.37 c #Conflicts: 527000 | #Constraints: 71449
653.34/655.37 c #Conflicts: 528000 | #Constraints: 72449
653.34/655.37 c #Conflicts: 529000 | #Constraints: 73449
653.34/655.37 c #Conflicts: 530000 | #Constraints: 74449
653.34/655.37 c #Conflicts: 531000 | #Constraints: 75449
653.34/655.37 c #Conflicts: 532000 | #Constraints: 76449
653.34/655.37 c #Conflicts: 533000 | #Constraints: 77449
653.34/655.37 c #Conflicts: 534000 | #Constraints: 78449
653.34/655.37 c #Conflicts: 535000 | #Constraints: 79450
653.34/655.37 c #Conflicts: 536000 | #Constraints: 80451
653.34/655.37 c #Conflicts: 537000 | #Constraints: 81452
653.34/655.37 c #Conflicts: 538000 | #Constraints: 82453
653.34/655.37 c #Conflicts: 539000 | #Constraints: 83455
653.34/655.37 c #Conflicts: 540000 | #Constraints: 84457
653.34/655.37 c #Conflicts: 541000 | #Constraints: 85458
653.34/655.37 c #Conflicts: 542000 | #Constraints: 86459
653.34/655.37 c #Conflicts: 543000 | #Constraints: 87461
653.34/655.37 c #Conflicts: 544000 | #Constraints: 88461
653.34/655.37 c #Conflicts: 545000 | #Constraints: 89464
653.34/655.37 c #Conflicts: 546000 | #Constraints: 90465
653.34/655.37 c #Conflicts: 547000 | #Constraints: 91465
653.34/655.37 c #Conflicts: 548000 | #Constraints: 92466
653.34/655.37 c #Conflicts: 549000 | #Constraints: 93467
653.34/655.37 c #Conflicts: 550000 | #Constraints: 94467
653.34/655.37 c #Conflicts: 551000 | #Constraints: 95467
653.34/655.37 c #Conflicts: 552000 | #Constraints: 96467
653.34/655.37 c #Conflicts: 553000 | #Constraints: 97469
653.34/655.37 c #Conflicts: 554000 | #Constraints: 98470
653.34/655.37 c #Conflicts: 555000 | #Constraints: 99470
653.34/655.37 c #Conflicts: 556000 | #Constraints: 100472
653.34/655.37 c #Conflicts: 557000 | #Constraints: 101474
653.34/655.37 c #Conflicts: 558000 | #Constraints: 102476
653.34/655.37 c #Conflicts: 559000 | #Constraints: 103477
653.34/655.37 c #Conflicts: 560000 | #Constraints: 104478
653.34/655.37 c #Conflicts: 561000 | #Constraints: 105480
653.34/655.37 c #Conflicts: 562000 | #Constraints: 106482
653.34/655.37 c #Conflicts: 563000 | #Constraints: 107483
653.34/655.37 c #Conflicts: 564000 | #Constraints: 108483
653.34/655.37 c #Conflicts: 565000 | #Constraints: 109484
653.34/655.37 c #Conflicts: 566000 | #Constraints: 110485
653.34/655.37 c #Conflicts: 567000 | #Constraints: 111486
653.34/655.37 c #Conflicts: 568000 | #Constraints: 112486
653.34/655.37 c #Conflicts: 569000 | #Constraints: 113487
653.34/655.37 c #Conflicts: 570000 | #Constraints: 114487
653.34/655.37 c #Conflicts: 571000 | #Constraints: 115487
653.34/655.37 c #Conflicts: 572000 | #Constraints: 116488
653.34/655.37 c #Conflicts: 573000 | #Constraints: 117488
653.34/655.37 c #Conflicts: 574000 | #Constraints: 118488
653.34/655.37 c #Conflicts: 575000 | #Constraints: 119489
653.34/655.37 c #Conflicts: 576000 | #Constraints: 120489
653.34/655.37 c #Conflicts: 577000 | #Constraints: 121489
653.34/655.37 c #Conflicts: 578000 | #Constraints: 122489
653.34/655.37 c #Conflicts: 579000 | #Constraints: 123489
653.34/655.37 c #Conflicts: 580000 | #Constraints: 124490
653.34/655.37 c INPROCESSING
653.34/655.37 c GARBAGE COLLECT
653.34/655.37 c #Conflicts: 581000 | #Constraints: 86918
653.34/655.37 c #Conflicts: 582000 | #Constraints: 87918
653.34/655.37 c #Conflicts: 583000 | #Constraints: 88918
653.34/655.37 c #Conflicts: 584000 | #Constraints: 89918
653.34/655.37 c #Conflicts: 585000 | #Constraints: 90918
653.34/655.37 c #Conflicts: 586000 | #Constraints: 91918
653.34/655.37 c #Conflicts: 587000 | #Constraints: 92918
653.34/655.37 c #Conflicts: 588000 | #Constraints: 93918
653.34/655.37 c #Conflicts: 589000 | #Constraints: 94918
653.34/655.37 c #Conflicts: 590000 | #Constraints: 95918
653.34/655.37 c #Conflicts: 591000 | #Constraints: 96918
653.34/655.37 c #Conflicts: 592000 | #Constraints: 97919
653.34/655.37 c #Conflicts: 593000 | #Constraints: 98919
653.34/655.37 c #Conflicts: 594000 | #Constraints: 99919
653.34/655.37 c #Conflicts: 595000 | #Constraints: 100919
653.34/655.37 c #Conflicts: 596000 | #Constraints: 101919
653.34/655.37 c #Conflicts: 597000 | #Constraints: 102919
653.34/655.37 c INPROCESSING
653.34/655.37 c GARBAGE COLLECT
653.34/655.37 c #Conflicts: 598000 | #Constraints: 76155
653.34/655.37 c #Conflicts: 599000 | #Constraints: 77155
692.03/694.13 c #Conflicts: 600000 | #Constraints: 78155
692.03/694.13 c #Conflicts: 601000 | #Constraints: 79155
692.03/694.13 c #Conflicts: 602000 | #Constraints: 80155
692.03/694.13 c #Conflicts: 603000 | #Constraints: 81155
692.03/694.13 c #Conflicts: 604000 | #Constraints: 82155
692.03/694.13 c #Conflicts: 605000 | #Constraints: 83155
692.03/694.13 c #Conflicts: 606000 | #Constraints: 84155
692.03/694.13 c #Conflicts: 607000 | #Constraints: 85155
692.03/694.13 c #Conflicts: 608000 | #Constraints: 86155
692.03/694.13 c #Conflicts: 609000 | #Constraints: 87155
692.03/694.13 c #Conflicts: 610000 | #Constraints: 88155
692.03/694.13 c #Conflicts: 611000 | #Constraints: 89155
692.03/694.13 c #Conflicts: 612000 | #Constraints: 90155
692.03/694.13 c #Conflicts: 613000 | #Constraints: 91155
692.03/694.13 c #Conflicts: 614000 | #Constraints: 92155
692.03/694.13 c #Conflicts: 615000 | #Constraints: 93155
692.03/694.13 c INPROCESSING
692.03/694.13 c GARBAGE COLLECT
692.03/694.13 c #Conflicts: 616000 | #Constraints: 71661
692.03/694.13 c #Conflicts: 617000 | #Constraints: 72661
692.03/694.13 c #Conflicts: 618000 | #Constraints: 73662
692.03/694.13 c #Conflicts: 619000 | #Constraints: 74662
692.03/694.13 c #Conflicts: 620000 | #Constraints: 75662
692.03/694.13 c #Conflicts: 621000 | #Constraints: 76662
692.03/694.13 c #Conflicts: 622000 | #Constraints: 77662
692.03/694.13 c #Conflicts: 623000 | #Constraints: 78663
692.03/694.13 c #Conflicts: 624000 | #Constraints: 79665
692.03/694.13 c #Conflicts: 625000 | #Constraints: 80666
692.03/694.13 c #Conflicts: 626000 | #Constraints: 81668
692.03/694.13 c #Conflicts: 627000 | #Constraints: 82669
692.03/694.13 c #Conflicts: 628000 | #Constraints: 83672
692.03/694.13 c #Conflicts: 629000 | #Constraints: 84673
692.03/694.13 c #Conflicts: 630000 | #Constraints: 85674
692.03/694.13 c #Conflicts: 631000 | #Constraints: 86677
692.03/694.13 c #Conflicts: 632000 | #Constraints: 87678
692.03/694.13 c INPROCESSING
692.03/694.13 c GARBAGE COLLECT
692.03/694.13 c rational objective 65.375
805.07/807.53 c #Conflicts: 633000 | #Constraints: 68733
805.07/807.53 c #Conflicts: 634000 | #Constraints: 69733
805.07/807.53 c #Conflicts: 635000 | #Constraints: 70733
805.07/807.53 c #Conflicts: 636000 | #Constraints: 71733
805.07/807.53 c #Conflicts: 637000 | #Constraints: 72733
805.07/807.53 c #Conflicts: 638000 | #Constraints: 73733
805.07/807.53 c #Conflicts: 639000 | #Constraints: 74733
805.07/807.53 c #Conflicts: 640000 | #Constraints: 75733
805.07/807.53 c #Conflicts: 641000 | #Constraints: 76733
805.07/807.53 c #Conflicts: 642000 | #Constraints: 77733
805.07/807.53 c #Conflicts: 643000 | #Constraints: 78733
805.07/807.53 c #Conflicts: 644000 | #Constraints: 79733
805.07/807.53 c #Conflicts: 645000 | #Constraints: 80733
805.07/807.53 c #Conflicts: 646000 | #Constraints: 81733
805.07/807.53 c #Conflicts: 647000 | #Constraints: 82733
805.07/807.53 c #Conflicts: 648000 | #Constraints: 83733
805.07/807.53 c #Conflicts: 649000 | #Constraints: 84733
805.07/807.53 c #Conflicts: 650000 | #Constraints: 85733
805.07/807.53 c #Conflicts: 651000 | #Constraints: 86733
805.07/807.53 c #Conflicts: 652000 | #Constraints: 87733
805.07/807.53 c #Conflicts: 653000 | #Constraints: 88733
805.07/807.53 c #Conflicts: 654000 | #Constraints: 89733
805.07/807.53 c #Conflicts: 655000 | #Constraints: 90733
805.07/807.53 c #Conflicts: 656000 | #Constraints: 91733
805.07/807.53 c #Conflicts: 657000 | #Constraints: 92733
805.07/807.53 c #Conflicts: 658000 | #Constraints: 93733
805.07/807.53 c #Conflicts: 659000 | #Constraints: 94733
805.07/807.53 c #Conflicts: 660000 | #Constraints: 95733
805.07/807.53 c #Conflicts: 661000 | #Constraints: 96733
805.07/807.53 c #Conflicts: 662000 | #Constraints: 97733
805.07/807.53 c #Conflicts: 663000 | #Constraints: 98733
805.07/807.53 c #Conflicts: 664000 | #Constraints: 99733
805.07/807.53 c #Conflicts: 665000 | #Constraints: 100733
805.07/807.53 c #Conflicts: 666000 | #Constraints: 101733
805.07/807.53 c #Conflicts: 667000 | #Constraints: 102733
805.07/807.53 c #Conflicts: 668000 | #Constraints: 103733
805.07/807.53 c #Conflicts: 669000 | #Constraints: 104733
805.07/807.53 c #Conflicts: 670000 | #Constraints: 105733
805.07/807.53 c #Conflicts: 671000 | #Constraints: 106733
805.07/807.53 c #Conflicts: 672000 | #Constraints: 107733
805.07/807.53 c #Conflicts: 673000 | #Constraints: 108733
805.07/807.53 c #Conflicts: 674000 | #Constraints: 109733
805.07/807.53 c #Conflicts: 675000 | #Constraints: 110733
805.07/807.53 c #Conflicts: 676000 | #Constraints: 111733
805.07/807.53 c #Conflicts: 677000 | #Constraints: 112733
805.07/807.53 c #Conflicts: 678000 | #Constraints: 113733
805.07/807.53 c #Conflicts: 679000 | #Constraints: 114733
805.07/807.53 c #Conflicts: 680000 | #Constraints: 115733
805.07/807.53 c #Conflicts: 681000 | #Constraints: 116733
805.07/807.53 c #Conflicts: 682000 | #Constraints: 117733
805.07/807.53 c #Conflicts: 683000 | #Constraints: 118733
805.07/807.53 c #Conflicts: 684000 | #Constraints: 119733
805.07/807.53 c #Conflicts: 685000 | #Constraints: 120733
805.07/807.53 c #Conflicts: 686000 | #Constraints: 121733
805.07/807.53 c #Conflicts: 687000 | #Constraints: 122733
805.07/807.53 c #Conflicts: 688000 | #Constraints: 123733
805.07/807.53 c #Conflicts: 689000 | #Constraints: 124734
805.07/807.53 c #Conflicts: 690000 | #Constraints: 125734
805.07/807.53 c #Conflicts: 691000 | #Constraints: 126734
805.07/807.53 c #Conflicts: 692000 | #Constraints: 127734
805.07/807.53 c #Conflicts: 693000 | #Constraints: 128734
805.07/807.53 c #Conflicts: 694000 | #Constraints: 129734
805.07/807.53 c #Conflicts: 695000 | #Constraints: 130734
805.07/807.53 c #Conflicts: 696000 | #Constraints: 131734
805.07/807.53 c INPROCESSING
805.07/807.53 c GARBAGE COLLECT
805.07/807.53 c #Conflicts: 697000 | #Constraints: 90562
805.07/807.53 c #Conflicts: 698000 | #Constraints: 91562
805.07/807.53 c #Conflicts: 699000 | #Constraints: 92562
805.07/807.53 c #Conflicts: 700000 | #Constraints: 93562
805.07/807.53 c #Conflicts: 701000 | #Constraints: 94562
805.07/807.53 c #Conflicts: 702000 | #Constraints: 95562
805.07/807.53 c #Conflicts: 703000 | #Constraints: 96562
805.07/807.53 c #Conflicts: 704000 | #Constraints: 97562
805.07/807.53 c #Conflicts: 705000 | #Constraints: 98562
805.07/807.53 c #Conflicts: 706000 | #Constraints: 99562
805.07/807.53 c #Conflicts: 707000 | #Constraints: 100562
805.07/807.53 c #Conflicts: 708000 | #Constraints: 101562
805.07/807.53 c #Conflicts: 709000 | #Constraints: 102562
805.07/807.53 c #Conflicts: 710000 | #Constraints: 103562
805.07/807.53 c #Conflicts: 711000 | #Constraints: 104562
814.54/817.07 c #Conflicts: 712000 | #Constraints: 105562
814.54/817.07 c #Conflicts: 713000 | #Constraints: 106562
814.54/817.07 c #Conflicts: 714000 | #Constraints: 107562
814.54/817.07 c #Conflicts: 715000 | #Constraints: 108562
814.54/817.07 c INPROCESSING
814.54/817.07 c GARBAGE COLLECT
814.54/817.07 c rational objective 65.4671
864.78/867.40 c #Conflicts: 716000 | #Constraints: 79115
864.78/867.40 c #Conflicts: 717000 | #Constraints: 80115
864.78/867.40 c #Conflicts: 718000 | #Constraints: 81115
864.78/867.40 c #Conflicts: 719000 | #Constraints: 82115
864.78/867.40 c #Conflicts: 720000 | #Constraints: 83115
864.78/867.40 c #Conflicts: 721000 | #Constraints: 84115
864.78/867.40 c #Conflicts: 722000 | #Constraints: 85115
864.78/867.40 c #Conflicts: 723000 | #Constraints: 86115
864.78/867.40 c #Conflicts: 724000 | #Constraints: 87115
864.78/867.40 c #Conflicts: 725000 | #Constraints: 88115
864.78/867.40 c #Conflicts: 726000 | #Constraints: 89115
864.78/867.40 c #Conflicts: 727000 | #Constraints: 90115
864.78/867.40 c #Conflicts: 728000 | #Constraints: 91115
864.78/867.40 c #Conflicts: 729000 | #Constraints: 92115
864.78/867.40 c #Conflicts: 730000 | #Constraints: 93115
864.78/867.40 c #Conflicts: 731000 | #Constraints: 94115
864.78/867.40 c #Conflicts: 732000 | #Constraints: 95115
864.78/867.40 c #Conflicts: 733000 | #Constraints: 96115
864.78/867.40 c #Conflicts: 734000 | #Constraints: 97115
864.78/867.40 c INPROCESSING
864.78/867.40 c GARBAGE COLLECT
864.78/867.40 c #Conflicts: 735000 | #Constraints: 73472
864.78/867.40 c #Conflicts: 736000 | #Constraints: 74472
864.78/867.40 c #Conflicts: 737000 | #Constraints: 75472
864.78/867.40 c #Conflicts: 738000 | #Constraints: 76472
864.78/867.40 c #Conflicts: 739000 | #Constraints: 77472
864.78/867.40 c #Conflicts: 740000 | #Constraints: 78473
864.78/867.40 c #Conflicts: 741000 | #Constraints: 79473
864.78/867.40 c #Conflicts: 742000 | #Constraints: 80473
864.78/867.40 c #Conflicts: 743000 | #Constraints: 81473
864.78/867.40 c #Conflicts: 744000 | #Constraints: 82473
864.78/867.40 c #Conflicts: 745000 | #Constraints: 83473
864.78/867.40 c #Conflicts: 746000 | #Constraints: 84473
864.78/867.40 c #Conflicts: 747000 | #Constraints: 85473
864.78/867.40 c #Conflicts: 748000 | #Constraints: 86473
864.78/867.40 c #Conflicts: 749000 | #Constraints: 87473
864.78/867.40 c #Conflicts: 750000 | #Constraints: 88473
864.78/867.40 c #Conflicts: 751000 | #Constraints: 89473
864.78/867.40 c #Conflicts: 752000 | #Constraints: 90473
864.78/867.40 c #Conflicts: 753000 | #Constraints: 91473
864.78/867.40 c INPROCESSING
864.78/867.40 c GARBAGE COLLECT
864.78/867.40 c rational objective 65.5104
968.16/971.13 c #Conflicts: 754000 | #Constraints: 70586
968.16/971.13 c #Conflicts: 755000 | #Constraints: 71586
968.16/971.13 c #Conflicts: 756000 | #Constraints: 72586
968.16/971.13 c #Conflicts: 757000 | #Constraints: 73586
968.16/971.13 c #Conflicts: 758000 | #Constraints: 74586
968.16/971.13 c #Conflicts: 759000 | #Constraints: 75586
968.16/971.13 c #Conflicts: 760000 | #Constraints: 76586
968.16/971.13 c #Conflicts: 761000 | #Constraints: 77586
968.16/971.13 c #Conflicts: 762000 | #Constraints: 78586
968.16/971.13 c #Conflicts: 763000 | #Constraints: 79586
968.16/971.13 c #Conflicts: 764000 | #Constraints: 80586
968.16/971.13 c #Conflicts: 765000 | #Constraints: 81586
968.16/971.13 c #Conflicts: 766000 | #Constraints: 82586
968.16/971.13 c #Conflicts: 767000 | #Constraints: 83586
968.16/971.13 c #Conflicts: 768000 | #Constraints: 84586
968.16/971.13 c #Conflicts: 769000 | #Constraints: 85586
968.16/971.13 c #Conflicts: 770000 | #Constraints: 86586
968.16/971.13 c #Conflicts: 771000 | #Constraints: 87586
968.16/971.13 c #Conflicts: 772000 | #Constraints: 88586
968.16/971.13 c #Conflicts: 773000 | #Constraints: 89586
968.16/971.13 c #Conflicts: 774000 | #Constraints: 90586
968.16/971.13 c #Conflicts: 775000 | #Constraints: 91586
968.16/971.13 c #Conflicts: 776000 | #Constraints: 92586
968.16/971.13 c #Conflicts: 777000 | #Constraints: 93586
968.16/971.13 c #Conflicts: 778000 | #Constraints: 94586
968.16/971.13 c #Conflicts: 779000 | #Constraints: 95586
968.16/971.13 c #Conflicts: 780000 | #Constraints: 96586
968.16/971.13 c #Conflicts: 781000 | #Constraints: 97586
968.16/971.13 c #Conflicts: 782000 | #Constraints: 98586
968.16/971.13 c #Conflicts: 783000 | #Constraints: 99586
968.16/971.13 c #Conflicts: 784000 | #Constraints: 100586
968.16/971.13 c #Conflicts: 785000 | #Constraints: 101586
968.16/971.13 c #Conflicts: 786000 | #Constraints: 102586
968.16/971.13 c #Conflicts: 787000 | #Constraints: 103586
968.16/971.13 c #Conflicts: 788000 | #Constraints: 104586
968.16/971.13 c #Conflicts: 789000 | #Constraints: 105586
968.16/971.13 c #Conflicts: 790000 | #Constraints: 106586
968.16/971.13 c #Conflicts: 791000 | #Constraints: 107586
968.16/971.13 c #Conflicts: 792000 | #Constraints: 108586
968.16/971.13 c #Conflicts: 793000 | #Constraints: 109586
968.16/971.13 c #Conflicts: 794000 | #Constraints: 110586
968.16/971.13 c #Conflicts: 795000 | #Constraints: 111586
968.16/971.13 c #Conflicts: 796000 | #Constraints: 112586
968.16/971.13 c #Conflicts: 797000 | #Constraints: 113586
968.16/971.13 c #Conflicts: 798000 | #Constraints: 114587
968.16/971.13 c #Conflicts: 799000 | #Constraints: 115587
968.16/971.13 c #Conflicts: 800000 | #Constraints: 116587
968.16/971.13 c #Conflicts: 801000 | #Constraints: 117587
968.16/971.13 c #Conflicts: 802000 | #Constraints: 118587
968.16/971.13 c #Conflicts: 803000 | #Constraints: 119587
968.16/971.13 c #Conflicts: 804000 | #Constraints: 120587
968.16/971.13 c #Conflicts: 805000 | #Constraints: 121587
968.16/971.13 c #Conflicts: 806000 | #Constraints: 122587
968.16/971.13 c #Conflicts: 807000 | #Constraints: 123587
968.16/971.13 c #Conflicts: 808000 | #Constraints: 124587
968.16/971.13 c #Conflicts: 809000 | #Constraints: 125587
968.16/971.13 c #Conflicts: 810000 | #Constraints: 126587
968.16/971.13 c #Conflicts: 811000 | #Constraints: 127587
968.16/971.13 c #Conflicts: 812000 | #Constraints: 128587
968.16/971.13 c #Conflicts: 813000 | #Constraints: 129587
968.16/971.13 c #Conflicts: 814000 | #Constraints: 130587
968.16/971.13 c #Conflicts: 815000 | #Constraints: 131587
968.16/971.13 c #Conflicts: 816000 | #Constraints: 132587
968.16/971.13 c #Conflicts: 817000 | #Constraints: 133587
968.16/971.13 c #Conflicts: 818000 | #Constraints: 134587
968.16/971.13 c #Conflicts: 819000 | #Constraints: 135588
968.16/971.13 c #Conflicts: 820000 | #Constraints: 136589
968.16/971.13 c #Conflicts: 821000 | #Constraints: 137591
968.16/971.13 c #Conflicts: 822000 | #Constraints: 138591
968.16/971.13 c #Conflicts: 823000 | #Constraints: 139592
968.16/971.13 c INPROCESSING
968.16/971.13 c GARBAGE COLLECT
968.16/971.13 WSVECS04 Frhs2[34]: 6 0 8.73419 shouldn't be
968.16/971.13 WSVECS04 Frhs2[105]: 6 -0.875 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[119]: 6 -0.500001 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[153]: 6 0 60.0758 shouldn't be
968.16/971.13 WSVECS04 Frhs2[168]: 6 -0.5 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[172]: 6 0 46.165 shouldn't be
968.16/971.13 WSVECS04 Frhs2[208]: 6 -0.5 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[242]: 6 -1.625 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[335]: 6 0 19.6612 shouldn't be
968.16/971.13 WSVECS04 Frhs2[350]: 6 0 4.91529 shouldn't be
968.16/971.13 WSVECS04 Frhs2[411]: 6 -1 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[416]: 6 0 114.967 shouldn't be
968.16/971.13 WSVECS04 Frhs2[417]: 6 0 115.092 shouldn't be
968.16/971.13 WSVECS04 Frhs2[418]: 6 0 115.217 shouldn't be
968.16/971.13 WSVECS04 Frhs2[420]: 6 0 115.467 shouldn't be
968.16/971.13 WSVECS04 Frhs2[421]: 6 0 115.592 shouldn't be
968.16/971.13 WSVECS04 Frhs2[422]: 6 0 115.717 shouldn't be
968.16/971.13 WSVECS04 Frhs2[423]: 6 0 115.842 shouldn't be
968.16/971.13 WSVECS04 Frhs2[424]: 6 0 115.967 shouldn't be
968.16/971.13 WSVECS04 Frhs2[425]: 6 0 116.092 shouldn't be
968.16/971.13 WSVECS04 Frhs2[427]: 6 0 116.342 shouldn't be
968.16/971.13 WSVECS04 Frhs2[428]: 6 0 116.467 shouldn't be
968.16/971.13 WSVECS04 Frhs2[433]: 6 0 117.092 shouldn't be
968.16/971.13 WSVECS04 Frhs2[434]: 6 0 116.655 shouldn't be
968.16/971.13 WSVECS04 Frhs2[498]: 6 -202.867 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[604]: 6 0 0.0786295 shouldn't be
968.16/971.13 WSVECS04 Frhs2[625]: 6 0 4.40141 shouldn't be
968.16/971.13 WSVECS04 Frhs2[850]: 6 0 0.125 shouldn't be
968.16/971.13 WSVECS04 Frhs2[852]: 6 0 0.250001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[853]: 6 0 22.7876 shouldn't be
968.16/971.13 WSVECS04 Frhs2[854]: 6 0 22.304 shouldn't be
968.16/971.13 WSVECS04 Frhs2[855]: 6 0 21.8204 shouldn't be
968.16/971.13 WSVECS04 Frhs2[856]: 6 0 21.3369 shouldn't be
968.16/971.13 WSVECS04 Frhs2[857]: 6 0 20.8533 shouldn't be
968.16/971.13 WSVECS04 Frhs2[859]: 6 0 19.8861 shouldn't be
968.16/971.13 WSVECS04 Frhs2[860]: 6 0 19.4026 shouldn't be
968.16/971.13 WSVECS04 Frhs2[881]: 6 0 0.125 shouldn't be
968.16/971.13 WSVECS04 Frhs2[882]: 6 0 0.250001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[883]: 6 0 0.375001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[884]: 6 0 0.500001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[885]: 6 0 0.625001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[887]: 6 0 0.875 shouldn't be
968.16/971.13 WSVECS04 Frhs2[890]: 6 0 1.25 shouldn't be
968.16/971.13 WSVECS04 Frhs2[903]: 6 0 22.1673 shouldn't be
968.16/971.13 WSVECS04 Frhs2[906]: 6 0 6.7059 shouldn't be
968.16/971.13 WSVECS04 Frhs2[972]: 6 0 17.2178 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1010]: 6 0 0.625001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1012]: 6 0 0.750001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1013]: 6 0 0.812501 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1017]: 6 0 1.0625 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1040]: 6 0 0.0625004 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1041]: 6 0 0.125001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1092]: 6 0 29.1516 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1094]: 6 0 17.491 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1095]: 6 0 11.6607 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1096]: 6 0 5.83033 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1103]: 6 -59.4807 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1145]: 6 0 316.145 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1384]: 6 -36.0796 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1403]: 6 0 0.0625005 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1406]: 6 0 0.250001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1407]: 6 0 0.3125 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1409]: 6 0 0.4375 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1608]: 6 -0.875 0 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1638]: 6 0 0.375001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1645]: 6 0 51.3215 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1646]: 6 0 47.3737 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1647]: 6 0 43.4259 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1648]: 6 0 39.4781 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1649]: 6 0 35.5303 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1650]: 6 0 31.5825 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1651]: 6 0 27.6347 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1652]: 6 0 23.6869 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1653]: 6 0 19.7391 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1654]: 6 0 15.7912 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1655]: 6 0 11.8434 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1656]: 6 0 7.89562 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1986]: 6 0 56.6085 shouldn't be
968.16/971.13 WSVECS04 Frhs2[1994]: 6 0 0.500001 shouldn't be
968.16/971.13 WSVECS04 Frhs2[2001]: 6 0 1.75 shouldn't be
968.16/971.13 WSVECS04 Frhs2[2966]: 6 0 16.6341 shouldn't be
968.16/971.13 WSVECS04 Frhs2[3937]: 6 0 37.0299 shouldn't be
968.16/971.13 WSVECS04 Frhs2[3948]: 6 0 28.1665 shouldn't be
968.16/971.13 WSVECS04 Frhs2[4067]: 6 0 40.7394 shouldn't be
1052.39/1055.67 c #Conflicts: 824000 | #Constraints: 94821
1052.39/1055.67 c #Conflicts: 825000 | #Constraints: 95821
1052.39/1055.67 c #Conflicts: 826000 | #Constraints: 96821
1052.39/1055.67 c #Conflicts: 827000 | #Constraints: 97821
1052.39/1055.67 c #Conflicts: 828000 | #Constraints: 98822
1052.39/1055.67 c #Conflicts: 829000 | #Constraints: 99822
1052.39/1055.67 c #Conflicts: 830000 | #Constraints: 100822
1052.39/1055.67 c #Conflicts: 831000 | #Constraints: 101822
1052.39/1055.67 c #Conflicts: 832000 | #Constraints: 102822
1052.39/1055.67 c #Conflicts: 833000 | #Constraints: 103822
1052.39/1055.67 c #Conflicts: 834000 | #Constraints: 104822
1052.39/1055.67 c #Conflicts: 835000 | #Constraints: 105822
1052.39/1055.67 c #Conflicts: 836000 | #Constraints: 106823
1052.39/1055.67 c #Conflicts: 837000 | #Constraints: 107823
1052.39/1055.67 c #Conflicts: 838000 | #Constraints: 108825
1052.39/1055.67 c #Conflicts: 839000 | #Constraints: 109825
1052.39/1055.67 c #Conflicts: 840000 | #Constraints: 110826
1052.39/1055.67 c #Conflicts: 841000 | #Constraints: 111827
1052.39/1055.67 c #Conflicts: 842000 | #Constraints: 112827
1052.39/1055.67 c #Conflicts: 843000 | #Constraints: 113828
1052.39/1055.67 c INPROCESSING
1052.39/1055.67 c GARBAGE COLLECT
1052.39/1055.67 c #Conflicts: 844000 | #Constraints: 81710
1052.39/1055.67 c #Conflicts: 845000 | #Constraints: 82710
1052.39/1055.67 c #Conflicts: 846000 | #Constraints: 83710
1052.39/1055.67 c #Conflicts: 847000 | #Constraints: 84710
1052.39/1055.67 c #Conflicts: 848000 | #Constraints: 85710
1052.39/1055.67 c #Conflicts: 849000 | #Constraints: 86710
1052.39/1055.67 c #Conflicts: 850000 | #Constraints: 87710
1052.39/1055.67 c #Conflicts: 851000 | #Constraints: 88710
1052.39/1055.67 c #Conflicts: 852000 | #Constraints: 89710
1052.39/1055.67 c #Conflicts: 853000 | #Constraints: 90710
1052.39/1055.67 c #Conflicts: 854000 | #Constraints: 91710
1052.39/1055.67 c #Conflicts: 855000 | #Constraints: 92710
1052.39/1055.67 c #Conflicts: 856000 | #Constraints: 93710
1052.39/1055.67 c #Conflicts: 857000 | #Constraints: 94710
1052.39/1055.67 c #Conflicts: 858000 | #Constraints: 95710
1052.39/1055.67 c #Conflicts: 859000 | #Constraints: 96710
1052.39/1055.67 c #Conflicts: 860000 | #Constraints: 97710
1052.39/1055.67 c #Conflicts: 861000 | #Constraints: 98710
1052.39/1055.67 c #Conflicts: 862000 | #Constraints: 99710
1052.39/1055.67 c #Conflicts: 863000 | #Constraints: 100710
1052.39/1055.67 c #Conflicts: 864000 | #Constraints: 101710
1052.39/1055.67 c INPROCESSING
1052.39/1055.67 c GARBAGE COLLECT
1052.39/1055.67 c #Conflicts: 865000 | #Constraints: 75866
1052.39/1055.67 c #Conflicts: 866000 | #Constraints: 76866
1052.39/1055.67 c #Conflicts: 867000 | #Constraints: 77866
1052.39/1055.67 c #Conflicts: 868000 | #Constraints: 78866
1052.39/1055.67 c #Conflicts: 869000 | #Constraints: 79866
1052.39/1055.67 c #Conflicts: 870000 | #Constraints: 80866
1052.39/1055.67 c #Conflicts: 871000 | #Constraints: 81866
1052.39/1055.67 c #Conflicts: 872000 | #Constraints: 82866
1052.39/1055.67 c #Conflicts: 873000 | #Constraints: 83866
1052.39/1055.67 c #Conflicts: 874000 | #Constraints: 84866
1052.39/1055.67 c #Conflicts: 875000 | #Constraints: 85866
1052.39/1055.67 c #Conflicts: 876000 | #Constraints: 86866
1052.39/1055.67 c #Conflicts: 877000 | #Constraints: 87866
1052.39/1055.67 c #Conflicts: 878000 | #Constraints: 88866
1052.39/1055.67 c #Conflicts: 879000 | #Constraints: 89866
1052.39/1055.67 c #Conflicts: 880000 | #Constraints: 90866
1052.39/1055.67 c #Conflicts: 881000 | #Constraints: 91866
1052.39/1055.67 c #Conflicts: 882000 | #Constraints: 92866
1052.39/1055.67 c #Conflicts: 883000 | #Constraints: 93866
1052.39/1055.67 c #Conflicts: 884000 | #Constraints: 94866
1052.39/1055.67 c #Conflicts: 885000 | #Constraints: 95866
1052.39/1055.67 c INPROCESSING
1052.39/1055.67 c GARBAGE COLLECT
1052.39/1055.67 c rational objective 65.5653
1171.32/1174.93 c #Conflicts: 886000 | #Constraints: 73021
1171.32/1174.93 c #Conflicts: 887000 | #Constraints: 74021
1171.32/1174.93 c #Conflicts: 888000 | #Constraints: 75021
1171.32/1174.93 c #Conflicts: 889000 | #Constraints: 76021
1171.32/1174.93 c #Conflicts: 890000 | #Constraints: 77021
1171.32/1174.93 c #Conflicts: 891000 | #Constraints: 78021
1171.32/1174.93 c #Conflicts: 892000 | #Constraints: 79021
1171.32/1174.93 c #Conflicts: 893000 | #Constraints: 80021
1171.32/1174.93 c #Conflicts: 894000 | #Constraints: 81022
1171.32/1174.93 c #Conflicts: 895000 | #Constraints: 82022
1171.32/1174.93 c #Conflicts: 896000 | #Constraints: 83022
1171.32/1174.93 c #Conflicts: 897000 | #Constraints: 84022
1171.32/1174.93 c #Conflicts: 898000 | #Constraints: 85022
1171.32/1174.93 c #Conflicts: 899000 | #Constraints: 86022
1171.32/1174.93 c #Conflicts: 900000 | #Constraints: 87022
1171.32/1174.93 c #Conflicts: 901000 | #Constraints: 88022
1171.32/1174.93 c #Conflicts: 902000 | #Constraints: 89022
1171.32/1174.93 c #Conflicts: 903000 | #Constraints: 90022
1171.32/1174.93 c #Conflicts: 904000 | #Constraints: 91023
1171.32/1174.93 c #Conflicts: 905000 | #Constraints: 92023
1171.32/1174.93 c #Conflicts: 906000 | #Constraints: 93023
1171.32/1174.93 c #Conflicts: 907000 | #Constraints: 94023
1171.32/1174.93 c #Conflicts: 908000 | #Constraints: 95023
1171.32/1174.93 c #Conflicts: 909000 | #Constraints: 96023
1171.32/1174.93 c #Conflicts: 910000 | #Constraints: 97023
1171.32/1174.93 c #Conflicts: 911000 | #Constraints: 98024
1171.32/1174.93 c #Conflicts: 912000 | #Constraints: 99024
1171.32/1174.93 c #Conflicts: 913000 | #Constraints: 100024
1171.32/1174.93 c #Conflicts: 914000 | #Constraints: 101024
1171.32/1174.93 c #Conflicts: 915000 | #Constraints: 102024
1171.32/1174.93 c #Conflicts: 916000 | #Constraints: 103024
1171.32/1174.93 c #Conflicts: 917000 | #Constraints: 104024
1171.32/1174.93 c #Conflicts: 918000 | #Constraints: 105024
1171.32/1174.93 c #Conflicts: 919000 | #Constraints: 106024
1171.32/1174.93 c #Conflicts: 920000 | #Constraints: 107024
1171.32/1174.93 c #Conflicts: 921000 | #Constraints: 108024
1171.32/1174.93 c #Conflicts: 922000 | #Constraints: 109024
1171.32/1174.93 c #Conflicts: 923000 | #Constraints: 110024
1171.32/1174.93 c #Conflicts: 924000 | #Constraints: 111024
1171.32/1174.93 c #Conflicts: 925000 | #Constraints: 112024
1171.32/1174.93 c #Conflicts: 926000 | #Constraints: 113024
1171.32/1174.93 c #Conflicts: 927000 | #Constraints: 114024
1171.32/1174.93 c #Conflicts: 928000 | #Constraints: 115024
1171.32/1174.93 c #Conflicts: 929000 | #Constraints: 116024
1171.32/1174.93 c #Conflicts: 930000 | #Constraints: 117024
1171.32/1174.93 c #Conflicts: 931000 | #Constraints: 118024
1171.32/1174.93 c #Conflicts: 932000 | #Constraints: 119024
1171.32/1174.93 c #Conflicts: 933000 | #Constraints: 120024
1171.32/1174.93 c #Conflicts: 934000 | #Constraints: 121024
1171.32/1174.93 c #Conflicts: 935000 | #Constraints: 122024
1171.32/1174.93 c #Conflicts: 936000 | #Constraints: 123024
1171.32/1174.93 c #Conflicts: 937000 | #Constraints: 124024
1171.32/1174.93 c #Conflicts: 938000 | #Constraints: 125024
1171.32/1174.93 c #Conflicts: 939000 | #Constraints: 126024
1171.32/1174.93 c #Conflicts: 940000 | #Constraints: 127024
1171.32/1174.93 c #Conflicts: 941000 | #Constraints: 128024
1171.32/1174.93 c #Conflicts: 942000 | #Constraints: 129024
1171.32/1174.93 c #Conflicts: 943000 | #Constraints: 130024
1171.32/1174.93 c #Conflicts: 944000 | #Constraints: 131024
1171.32/1174.93 c #Conflicts: 945000 | #Constraints: 132024
1171.32/1174.93 c #Conflicts: 946000 | #Constraints: 133024
1171.32/1174.93 c #Conflicts: 947000 | #Constraints: 134024
1171.32/1174.93 c #Conflicts: 948000 | #Constraints: 135024
1171.32/1174.93 c #Conflicts: 949000 | #Constraints: 136024
1171.32/1174.93 c #Conflicts: 950000 | #Constraints: 137025
1171.32/1174.93 c #Conflicts: 951000 | #Constraints: 138025
1171.32/1174.93 c #Conflicts: 952000 | #Constraints: 139025
1171.32/1174.93 c #Conflicts: 953000 | #Constraints: 140025
1171.32/1174.93 c #Conflicts: 954000 | #Constraints: 141025
1171.32/1174.93 c #Conflicts: 955000 | #Constraints: 142025
1171.32/1174.93 c #Conflicts: 956000 | #Constraints: 143025
1171.32/1174.93 c #Conflicts: 957000 | #Constraints: 144025
1171.32/1174.93 c #Conflicts: 958000 | #Constraints: 145026
1171.32/1174.93 c #Conflicts: 959000 | #Constraints: 146026
1171.32/1174.93 c #Conflicts: 960000 | #Constraints: 147026
1171.32/1174.93 c INPROCESSING
1171.32/1174.93 c GARBAGE COLLECT
1171.32/1174.93 c #Conflicts: 961000 | #Constraints: 98582
1171.32/1174.93 c #Conflicts: 962000 | #Constraints: 99582
1171.32/1174.93 c #Conflicts: 963000 | #Constraints: 100582
1171.32/1174.93 c #Conflicts: 964000 | #Constraints: 101582
1211.08/1214.81 c #Conflicts: 965000 | #Constraints: 102582
1211.08/1214.81 c #Conflicts: 966000 | #Constraints: 103582
1211.08/1214.81 c #Conflicts: 967000 | #Constraints: 104582
1211.08/1214.81 c #Conflicts: 968000 | #Constraints: 105582
1211.08/1214.81 c #Conflicts: 969000 | #Constraints: 106582
1211.08/1214.81 c #Conflicts: 970000 | #Constraints: 107582
1211.08/1214.81 c #Conflicts: 971000 | #Constraints: 108582
1211.08/1214.81 c #Conflicts: 972000 | #Constraints: 109582
1211.08/1214.81 c #Conflicts: 973000 | #Constraints: 110582
1211.08/1214.81 c #Conflicts: 974000 | #Constraints: 111582
1211.08/1214.81 c #Conflicts: 975000 | #Constraints: 112582
1211.08/1214.81 c #Conflicts: 976000 | #Constraints: 113582
1211.08/1214.81 c #Conflicts: 977000 | #Constraints: 114582
1211.08/1214.81 c #Conflicts: 978000 | #Constraints: 115582
1211.08/1214.81 c #Conflicts: 979000 | #Constraints: 116582
1211.08/1214.81 c #Conflicts: 980000 | #Constraints: 117582
1211.08/1214.81 c #Conflicts: 981000 | #Constraints: 118582
1211.08/1214.81 c #Conflicts: 982000 | #Constraints: 119582
1211.08/1214.81 c INPROCESSING
1211.08/1214.81 c GARBAGE COLLECT
1211.08/1214.81 c rational objective 65.6903
1350.03/1354.21 c #Conflicts: 983000 | #Constraints: 84854
1350.03/1354.21 c #Conflicts: 984000 | #Constraints: 85854
1350.03/1354.21 c #Conflicts: 985000 | #Constraints: 86855
1350.03/1354.21 c #Conflicts: 986000 | #Constraints: 87855
1350.03/1354.21 c #Conflicts: 987000 | #Constraints: 88855
1350.03/1354.21 c #Conflicts: 988000 | #Constraints: 89855
1350.03/1354.21 c #Conflicts: 989000 | #Constraints: 90855
1350.03/1354.21 c #Conflicts: 990000 | #Constraints: 91855
1350.03/1354.21 c #Conflicts: 991000 | #Constraints: 92855
1350.03/1354.21 c #Conflicts: 992000 | #Constraints: 93855
1350.03/1354.21 c #Conflicts: 993000 | #Constraints: 94855
1350.03/1354.21 c #Conflicts: 994000 | #Constraints: 95855
1350.03/1354.21 c #Conflicts: 995000 | #Constraints: 96855
1350.03/1354.21 c #Conflicts: 996000 | #Constraints: 97855
1350.03/1354.21 c #Conflicts: 997000 | #Constraints: 98855
1350.03/1354.21 c #Conflicts: 998000 | #Constraints: 99855
1350.03/1354.21 c #Conflicts: 999000 | #Constraints: 100855
1350.03/1354.21 c #Conflicts: 1000000 | #Constraints: 101855
1350.03/1354.21 c #Conflicts: 1001000 | #Constraints: 102855
1350.03/1354.21 c #Conflicts: 1002000 | #Constraints: 103855
1350.03/1354.21 c #Conflicts: 1003000 | #Constraints: 104855
1350.03/1354.21 c #Conflicts: 1004000 | #Constraints: 105856
1350.03/1354.21 c INPROCESSING
1350.03/1354.21 c GARBAGE COLLECT
1350.03/1354.21 c #Conflicts: 1005000 | #Constraints: 77876
1350.03/1354.21 c #Conflicts: 1006000 | #Constraints: 78877
1350.03/1354.21 c #Conflicts: 1007000 | #Constraints: 79882
1350.03/1354.21 c #Conflicts: 1008000 | #Constraints: 80882
1350.03/1354.21 c #Conflicts: 1009000 | #Constraints: 81882
1350.03/1354.21 c #Conflicts: 1010000 | #Constraints: 82882
1350.03/1354.21 c #Conflicts: 1011000 | #Constraints: 83882
1350.03/1354.21 c #Conflicts: 1012000 | #Constraints: 84882
1350.03/1354.21 c #Conflicts: 1013000 | #Constraints: 85882
1350.03/1354.21 c #Conflicts: 1014000 | #Constraints: 86882
1350.03/1354.21 c #Conflicts: 1015000 | #Constraints: 87882
1350.03/1354.21 c #Conflicts: 1016000 | #Constraints: 88882
1350.03/1354.21 c #Conflicts: 1017000 | #Constraints: 89882
1350.03/1354.21 c #Conflicts: 1018000 | #Constraints: 90882
1350.03/1354.21 c #Conflicts: 1019000 | #Constraints: 91882
1350.03/1354.21 c #Conflicts: 1020000 | #Constraints: 92882
1350.03/1354.21 c #Conflicts: 1021000 | #Constraints: 93882
1350.03/1354.21 c #Conflicts: 1022000 | #Constraints: 94882
1350.03/1354.21 c #Conflicts: 1023000 | #Constraints: 95882
1350.03/1354.21 c #Conflicts: 1024000 | #Constraints: 96882
1350.03/1354.21 c #Conflicts: 1025000 | #Constraints: 97882
1350.03/1354.21 c #Conflicts: 1026000 | #Constraints: 98882
1350.03/1354.21 c INPROCESSING
1350.03/1354.21 c GARBAGE COLLECT
1350.03/1354.21 c #Conflicts: 1027000 | #Constraints: 74068
1350.03/1354.21 c #Conflicts: 1028000 | #Constraints: 75068
1350.03/1354.21 c #Conflicts: 1029000 | #Constraints: 76068
1350.03/1354.21 c #Conflicts: 1030000 | #Constraints: 77068
1350.03/1354.21 c #Conflicts: 1031000 | #Constraints: 78068
1350.03/1354.21 c #Conflicts: 1032000 | #Constraints: 79068
1350.03/1354.21 c #Conflicts: 1033000 | #Constraints: 80068
1350.03/1354.21 c #Conflicts: 1034000 | #Constraints: 81068
1350.03/1354.21 c #Conflicts: 1035000 | #Constraints: 82069
1350.03/1354.21 c #Conflicts: 1036000 | #Constraints: 83069
1350.03/1354.21 c #Conflicts: 1037000 | #Constraints: 84069
1350.03/1354.21 c #Conflicts: 1038000 | #Constraints: 85069
1350.03/1354.21 c #Conflicts: 1039000 | #Constraints: 86069
1350.03/1354.21 c #Conflicts: 1040000 | #Constraints: 87069
1350.03/1354.21 c #Conflicts: 1041000 | #Constraints: 88069
1350.03/1354.21 c #Conflicts: 1042000 | #Constraints: 89069
1350.03/1354.21 c #Conflicts: 1043000 | #Constraints: 90069
1350.03/1354.21 c #Conflicts: 1044000 | #Constraints: 91069
1350.03/1354.21 c #Conflicts: 1045000 | #Constraints: 92069
1350.03/1354.21 c #Conflicts: 1046000 | #Constraints: 93069
1350.03/1354.21 c #Conflicts: 1047000 | #Constraints: 94069
1350.03/1354.21 c #Conflicts: 1048000 | #Constraints: 95069
1350.03/1354.21 c #Conflicts: 1049000 | #Constraints: 96069
1350.03/1354.21 c #Conflicts: 1050000 | #Constraints: 97069
1350.03/1354.21 c #Conflicts: 1051000 | #Constraints: 98069
1350.03/1354.21 c #Conflicts: 1052000 | #Constraints: 99069
1350.03/1354.21 c #Conflicts: 1053000 | #Constraints: 100070
1350.03/1354.21 c #Conflicts: 1054000 | #Constraints: 101070
1350.03/1354.21 c #Conflicts: 1055000 | #Constraints: 102070
1350.03/1354.21 c #Conflicts: 1056000 | #Constraints: 103071
1350.03/1354.21 c #Conflicts: 1057000 | #Constraints: 104072
1350.03/1354.21 c #Conflicts: 1058000 | #Constraints: 105073
1350.03/1354.21 c #Conflicts: 1059000 | #Constraints: 106073
1350.03/1354.21 c #Conflicts: 1060000 | #Constraints: 107074
1562.02/1566.96 c #Conflicts: 1061000 | #Constraints: 108076
1562.02/1566.96 c #Conflicts: 1062000 | #Constraints: 109079
1562.02/1566.96 c #Conflicts: 1063000 | #Constraints: 110079
1562.02/1566.96 c #Conflicts: 1064000 | #Constraints: 111080
1562.02/1566.96 c #Conflicts: 1065000 | #Constraints: 112081
1562.02/1566.96 c #Conflicts: 1066000 | #Constraints: 113082
1562.02/1566.96 c #Conflicts: 1067000 | #Constraints: 114082
1562.02/1566.96 c #Conflicts: 1068000 | #Constraints: 115083
1562.02/1566.96 c #Conflicts: 1069000 | #Constraints: 116083
1562.02/1566.96 c #Conflicts: 1070000 | #Constraints: 117084
1562.02/1566.96 c #Conflicts: 1071000 | #Constraints: 118084
1562.02/1566.96 c #Conflicts: 1072000 | #Constraints: 119085
1562.02/1566.96 c #Conflicts: 1073000 | #Constraints: 120086
1562.02/1566.96 c #Conflicts: 1074000 | #Constraints: 121089
1562.02/1566.96 c #Conflicts: 1075000 | #Constraints: 122089
1562.02/1566.96 c #Conflicts: 1076000 | #Constraints: 123090
1562.02/1566.96 c #Conflicts: 1077000 | #Constraints: 124092
1562.02/1566.96 c #Conflicts: 1078000 | #Constraints: 125092
1562.02/1566.96 c #Conflicts: 1079000 | #Constraints: 126093
1562.02/1566.96 c #Conflicts: 1080000 | #Constraints: 127093
1562.02/1566.96 c #Conflicts: 1081000 | #Constraints: 128093
1562.02/1566.96 c #Conflicts: 1082000 | #Constraints: 129094
1562.02/1566.96 c #Conflicts: 1083000 | #Constraints: 130094
1562.02/1566.96 c #Conflicts: 1084000 | #Constraints: 131094
1562.02/1566.96 c #Conflicts: 1085000 | #Constraints: 132094
1562.02/1566.96 c #Conflicts: 1086000 | #Constraints: 133095
1562.02/1566.96 c #Conflicts: 1087000 | #Constraints: 134095
1562.02/1566.96 c #Conflicts: 1088000 | #Constraints: 135096
1562.02/1566.96 c #Conflicts: 1089000 | #Constraints: 136096
1562.02/1566.96 c #Conflicts: 1090000 | #Constraints: 137096
1562.02/1566.96 c #Conflicts: 1091000 | #Constraints: 138097
1562.02/1566.96 c #Conflicts: 1092000 | #Constraints: 139098
1562.02/1566.96 c #Conflicts: 1093000 | #Constraints: 140098
1562.02/1566.96 c #Conflicts: 1094000 | #Constraints: 141099
1562.02/1566.96 c #Conflicts: 1095000 | #Constraints: 142099
1562.02/1566.96 c #Conflicts: 1096000 | #Constraints: 143099
1562.02/1566.96 c #Conflicts: 1097000 | #Constraints: 144099
1562.02/1566.96 c #Conflicts: 1098000 | #Constraints: 145100
1562.02/1566.96 c #Conflicts: 1099000 | #Constraints: 146100
1562.02/1566.96 c #Conflicts: 1100000 | #Constraints: 147102
1562.02/1566.96 c #Conflicts: 1101000 | #Constraints: 148104
1562.02/1566.96 c #Conflicts: 1102000 | #Constraints: 149107
1562.02/1566.96 c #Conflicts: 1103000 | #Constraints: 150108
1562.02/1566.96 c #Conflicts: 1104000 | #Constraints: 151108
1562.02/1566.96 c #Conflicts: 1105000 | #Constraints: 152108
1562.02/1566.96 c #Conflicts: 1106000 | #Constraints: 153108
1562.02/1566.96 c #Conflicts: 1107000 | #Constraints: 154108
1562.02/1566.96 c INPROCESSING
1562.02/1566.96 c GARBAGE COLLECT
1562.02/1566.96 c #Conflicts: 1108000 | #Constraints: 102069
1562.02/1566.96 c #Conflicts: 1109000 | #Constraints: 103069
1562.02/1566.96 c #Conflicts: 1110000 | #Constraints: 104069
1562.02/1566.96 c #Conflicts: 1111000 | #Constraints: 105069
1562.02/1566.96 c #Conflicts: 1112000 | #Constraints: 106070
1562.02/1566.96 c #Conflicts: 1113000 | #Constraints: 107070
1562.02/1566.96 c #Conflicts: 1114000 | #Constraints: 108070
1562.02/1566.96 c #Conflicts: 1115000 | #Constraints: 109070
1562.02/1566.96 c #Conflicts: 1116000 | #Constraints: 110070
1562.02/1566.96 c #Conflicts: 1117000 | #Constraints: 111070
1562.02/1566.96 c #Conflicts: 1118000 | #Constraints: 112070
1562.02/1566.96 c #Conflicts: 1119000 | #Constraints: 113070
1562.02/1566.96 c #Conflicts: 1120000 | #Constraints: 114070
1562.02/1566.96 c #Conflicts: 1121000 | #Constraints: 115070
1562.02/1566.96 c #Conflicts: 1122000 | #Constraints: 116070
1562.02/1566.96 c #Conflicts: 1123000 | #Constraints: 117070
1562.02/1566.96 c #Conflicts: 1124000 | #Constraints: 118070
1562.02/1566.96 c #Conflicts: 1125000 | #Constraints: 119070
1562.02/1566.96 c #Conflicts: 1126000 | #Constraints: 120070
1562.02/1566.96 c #Conflicts: 1127000 | #Constraints: 121070
1562.02/1566.96 c #Conflicts: 1128000 | #Constraints: 122070
1562.02/1566.96 c #Conflicts: 1129000 | #Constraints: 123070
1562.02/1566.96 c #Conflicts: 1130000 | #Constraints: 124070
1562.02/1566.96 c #Conflicts: 1131000 | #Constraints: 125070
1562.02/1566.96 c INPROCESSING
1562.02/1566.96 c GARBAGE COLLECT
1562.02/1566.96 c #Conflicts: 1132000 | #Constraints: 87663
1562.02/1566.96 c #Conflicts: 1133000 | #Constraints: 88663
1562.02/1566.96 c #Conflicts: 1134000 | #Constraints: 89663
1562.02/1566.96 c #Conflicts: 1135000 | #Constraints: 90663
1562.02/1566.96 c #Conflicts: 1136000 | #Constraints: 91663
1562.02/1566.96 c #Conflicts: 1137000 | #Constraints: 92663
1666.98/1672.28 c #Conflicts: 1138000 | #Constraints: 93663
1666.98/1672.28 c #Conflicts: 1139000 | #Constraints: 94663
1666.98/1672.28 c #Conflicts: 1140000 | #Constraints: 95663
1666.98/1672.28 c #Conflicts: 1141000 | #Constraints: 96663
1666.98/1672.28 c #Conflicts: 1142000 | #Constraints: 97663
1666.98/1672.28 c #Conflicts: 1143000 | #Constraints: 98664
1666.98/1672.28 c #Conflicts: 1144000 | #Constraints: 99665
1666.98/1672.28 c #Conflicts: 1145000 | #Constraints: 100665
1666.98/1672.28 c #Conflicts: 1146000 | #Constraints: 101665
1666.98/1672.28 c #Conflicts: 1147000 | #Constraints: 102665
1666.98/1672.28 c #Conflicts: 1148000 | #Constraints: 103665
1666.98/1672.28 c #Conflicts: 1149000 | #Constraints: 104665
1666.98/1672.28 c #Conflicts: 1150000 | #Constraints: 105665
1666.98/1672.28 c #Conflicts: 1151000 | #Constraints: 106665
1666.98/1672.28 c #Conflicts: 1152000 | #Constraints: 107665
1666.98/1672.28 c #Conflicts: 1153000 | #Constraints: 108665
1666.98/1672.28 c #Conflicts: 1154000 | #Constraints: 109665
1666.98/1672.28 c #Conflicts: 1155000 | #Constraints: 110665
1666.98/1672.28 c INPROCESSING
1666.98/1672.28 c GARBAGE COLLECT
1666.98/1672.28 c #Conflicts: 1156000 | #Constraints: 80440
1666.98/1672.28 c #Conflicts: 1157000 | #Constraints: 81440
1666.98/1672.28 c #Conflicts: 1158000 | #Constraints: 82440
1666.98/1672.28 c #Conflicts: 1159000 | #Constraints: 83440
1666.98/1672.28 c #Conflicts: 1160000 | #Constraints: 84440
1666.98/1672.28 c #Conflicts: 1161000 | #Constraints: 85440
1666.98/1672.28 c #Conflicts: 1162000 | #Constraints: 86440
1666.98/1672.28 c #Conflicts: 1163000 | #Constraints: 87440
1666.98/1672.28 c #Conflicts: 1164000 | #Constraints: 88440
1666.98/1672.28 c #Conflicts: 1165000 | #Constraints: 89440
1666.98/1672.28 c #Conflicts: 1166000 | #Constraints: 90440
1666.98/1672.28 c #Conflicts: 1167000 | #Constraints: 91440
1666.98/1672.28 c #Conflicts: 1168000 | #Constraints: 92440
1666.98/1672.28 c #Conflicts: 1169000 | #Constraints: 93440
1666.98/1672.28 c #Conflicts: 1170000 | #Constraints: 94440
1666.98/1672.28 c #Conflicts: 1171000 | #Constraints: 95440
1666.98/1672.28 c #Conflicts: 1172000 | #Constraints: 96440
1666.98/1672.28 c #Conflicts: 1173000 | #Constraints: 97440
1666.98/1672.28 c #Conflicts: 1174000 | #Constraints: 98440
1666.98/1672.28 c #Conflicts: 1175000 | #Constraints: 99440
1666.98/1672.28 c #Conflicts: 1176000 | #Constraints: 100440
1666.98/1672.28 c #Conflicts: 1177000 | #Constraints: 101440
1666.98/1672.28 c #Conflicts: 1178000 | #Constraints: 102440
1666.98/1672.28 c #Conflicts: 1179000 | #Constraints: 103440
1666.98/1672.28 c INPROCESSING
1666.98/1672.28 c GARBAGE COLLECT
1666.98/1672.28 c #Conflicts: 1180000 | #Constraints: 76790
1666.98/1672.28 c #Conflicts: 1181000 | #Constraints: 77790
1666.98/1672.28 c #Conflicts: 1182000 | #Constraints: 78790
1666.98/1672.28 c #Conflicts: 1183000 | #Constraints: 79790
1666.98/1672.28 c #Conflicts: 1184000 | #Constraints: 80790
1666.98/1672.28 c #Conflicts: 1185000 | #Constraints: 81790
1666.98/1672.28 c #Conflicts: 1186000 | #Constraints: 82790
1666.98/1672.28 c #Conflicts: 1187000 | #Constraints: 83790
1666.98/1672.28 c #Conflicts: 1188000 | #Constraints: 84790
1666.98/1672.28 c #Conflicts: 1189000 | #Constraints: 85790
1666.98/1672.28 c #Conflicts: 1190000 | #Constraints: 86790
1666.98/1672.28 c #Conflicts: 1191000 | #Constraints: 87790
1666.98/1672.28 c #Conflicts: 1192000 | #Constraints: 88790
1666.98/1672.28 c #Conflicts: 1193000 | #Constraints: 89790
1666.98/1672.28 c #Conflicts: 1194000 | #Constraints: 90790
1666.98/1672.28 c #Conflicts: 1195000 | #Constraints: 91790
1666.98/1672.28 c #Conflicts: 1196000 | #Constraints: 92790
1666.98/1672.28 c #Conflicts: 1197000 | #Constraints: 93790
1666.98/1672.28 c #Conflicts: 1198000 | #Constraints: 94790
1666.98/1672.28 c #Conflicts: 1199000 | #Constraints: 95791
1666.98/1672.28 c #Conflicts: 1200000 | #Constraints: 96791
1666.98/1672.28 c #Conflicts: 1201000 | #Constraints: 97791
1666.98/1672.28 c #Conflicts: 1202000 | #Constraints: 98791
1666.98/1672.28 c #Conflicts: 1203000 | #Constraints: 99791
1666.98/1672.28 c #Conflicts: 1204000 | #Constraints: 100791
1666.98/1672.28 c #Conflicts: 1205000 | #Constraints: 101791
1666.98/1672.28 c #Conflicts: 1206000 | #Constraints: 102791
1666.98/1672.28 c #Conflicts: 1207000 | #Constraints: 103791
1666.98/1672.28 c #Conflicts: 1208000 | #Constraints: 104791
1666.98/1672.28 c #Conflicts: 1209000 | #Constraints: 105791
1666.98/1672.28 c #Conflicts: 1210000 | #Constraints: 106791
1666.98/1672.28 c #Conflicts: 1211000 | #Constraints: 107791
1666.98/1672.28 c #Conflicts: 1212000 | #Constraints: 108791
1666.98/1672.28 c #Conflicts: 1213000 | #Constraints: 109792
1666.98/1672.28 c #Conflicts: 1214000 | #Constraints: 110792
1666.98/1672.28 c #Conflicts: 1215000 | #Constraints: 111792
1834.34/1840.19 c #Conflicts: 1216000 | #Constraints: 112792
1834.34/1840.19 c #Conflicts: 1217000 | #Constraints: 113793
1834.34/1840.19 c #Conflicts: 1218000 | #Constraints: 114793
1834.34/1840.19 c #Conflicts: 1219000 | #Constraints: 115793
1834.34/1840.19 c #Conflicts: 1220000 | #Constraints: 116793
1834.34/1840.19 c #Conflicts: 1221000 | #Constraints: 117793
1834.34/1840.19 c #Conflicts: 1222000 | #Constraints: 118793
1834.34/1840.19 c #Conflicts: 1223000 | #Constraints: 119793
1834.34/1840.19 c #Conflicts: 1224000 | #Constraints: 120794
1834.34/1840.19 c #Conflicts: 1225000 | #Constraints: 121794
1834.34/1840.19 c #Conflicts: 1226000 | #Constraints: 122794
1834.34/1840.19 c #Conflicts: 1227000 | #Constraints: 123795
1834.34/1840.19 c #Conflicts: 1228000 | #Constraints: 124795
1834.34/1840.19 c #Conflicts: 1229000 | #Constraints: 125795
1834.34/1840.19 c #Conflicts: 1230000 | #Constraints: 126797
1834.34/1840.19 c #Conflicts: 1231000 | #Constraints: 127797
1834.34/1840.19 c #Conflicts: 1232000 | #Constraints: 128798
1834.34/1840.19 c #Conflicts: 1233000 | #Constraints: 129798
1834.34/1840.19 c #Conflicts: 1234000 | #Constraints: 130798
1834.34/1840.19 c #Conflicts: 1235000 | #Constraints: 131798
1834.34/1840.19 c #Conflicts: 1236000 | #Constraints: 132798
1834.34/1840.19 c #Conflicts: 1237000 | #Constraints: 133798
1834.34/1840.19 c #Conflicts: 1238000 | #Constraints: 134799
1834.34/1840.19 c #Conflicts: 1239000 | #Constraints: 135799
1834.34/1840.19 c #Conflicts: 1240000 | #Constraints: 136799
1834.34/1840.19 c #Conflicts: 1241000 | #Constraints: 137799
1834.34/1840.19 c #Conflicts: 1242000 | #Constraints: 138799
1834.34/1840.19 c #Conflicts: 1243000 | #Constraints: 139802
1834.34/1840.19 c #Conflicts: 1244000 | #Constraints: 140802
1834.34/1840.19 c #Conflicts: 1245000 | #Constraints: 141803
1834.34/1840.19 c #Conflicts: 1246000 | #Constraints: 142803
1834.34/1840.19 c #Conflicts: 1247000 | #Constraints: 143803
1834.34/1840.19 c #Conflicts: 1248000 | #Constraints: 144804
1834.34/1840.19 c #Conflicts: 1249000 | #Constraints: 145804
1834.34/1840.19 c #Conflicts: 1250000 | #Constraints: 146804
1834.34/1840.19 c #Conflicts: 1251000 | #Constraints: 147804
1834.34/1840.19 c #Conflicts: 1252000 | #Constraints: 148804
1834.34/1840.19 c #Conflicts: 1253000 | #Constraints: 149805
1834.34/1840.19 c #Conflicts: 1254000 | #Constraints: 150805
1834.34/1840.19 c #Conflicts: 1255000 | #Constraints: 151806
1834.34/1840.19 c #Conflicts: 1256000 | #Constraints: 152807
1834.34/1840.19 c #Conflicts: 1257000 | #Constraints: 153809
1834.34/1840.19 c #Conflicts: 1258000 | #Constraints: 154809
1834.34/1840.19 c #Conflicts: 1259000 | #Constraints: 155809
1834.34/1840.19 c #Conflicts: 1260000 | #Constraints: 156809
1834.34/1840.19 c #Conflicts: 1261000 | #Constraints: 157810
1834.34/1840.19 c #Conflicts: 1262000 | #Constraints: 158812
1834.34/1840.19 c #Conflicts: 1263000 | #Constraints: 159813
1834.34/1840.19 c #Conflicts: 1264000 | #Constraints: 160814
1834.34/1840.19 c INPROCESSING
1834.34/1840.19 c GARBAGE COLLECT
1834.34/1840.19 c #Conflicts: 1265000 | #Constraints: 105109
1834.34/1840.19 c #Conflicts: 1266000 | #Constraints: 106109
1834.34/1840.19 c #Conflicts: 1267000 | #Constraints: 107109
1834.34/1840.19 c #Conflicts: 1268000 | #Constraints: 108109
1834.34/1840.19 c #Conflicts: 1269000 | #Constraints: 109110
1834.34/1840.19 c #Conflicts: 1270000 | #Constraints: 110110
1834.34/1840.19 c #Conflicts: 1271000 | #Constraints: 111110
1834.34/1840.19 c #Conflicts: 1272000 | #Constraints: 112110
1834.34/1840.19 c #Conflicts: 1273000 | #Constraints: 113110
1834.34/1840.19 c #Conflicts: 1274000 | #Constraints: 114110
1834.34/1840.19 c #Conflicts: 1275000 | #Constraints: 115110
1834.34/1840.19 c #Conflicts: 1276000 | #Constraints: 116110
1834.34/1840.19 c #Conflicts: 1277000 | #Constraints: 117110
1834.34/1840.19 c #Conflicts: 1278000 | #Constraints: 118110
1834.34/1840.19 c #Conflicts: 1279000 | #Constraints: 119110
1834.34/1840.19 c #Conflicts: 1280000 | #Constraints: 120110
1834.34/1840.19 c #Conflicts: 1281000 | #Constraints: 121110
1834.34/1840.19 c #Conflicts: 1282000 | #Constraints: 122110
1834.34/1840.19 c #Conflicts: 1283000 | #Constraints: 123110
1834.34/1840.19 c #Conflicts: 1284000 | #Constraints: 124110
1834.34/1840.19 c #Conflicts: 1285000 | #Constraints: 125110
1834.34/1840.19 c #Conflicts: 1286000 | #Constraints: 126110
1834.34/1840.19 c #Conflicts: 1287000 | #Constraints: 127110
1834.34/1840.19 c #Conflicts: 1288000 | #Constraints: 128110
1834.34/1840.19 c #Conflicts: 1289000 | #Constraints: 129110
1834.34/1840.19 c #Conflicts: 1290000 | #Constraints: 130110
1834.34/1840.19 c INPROCESSING
1834.34/1840.19 c GARBAGE COLLECT
1834.34/1840.19 c #Conflicts: 1291000 | #Constraints: 90017
1834.34/1840.19 c #Conflicts: 1292000 | #Constraints: 91018
1840.22/1846.09 c #Conflicts: 1293000 | #Constraints: 92020
1840.22/1846.09 c #Conflicts: 1294000 | #Constraints: 93021
1840.22/1846.09 c #Conflicts: 1295000 | #Constraints: 94021
1840.22/1846.09 WSVECS04 Frhs2[133]: 6 -0.50004 0 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[193]: 6 -0.500092 0 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[482]: 6 0 0.0705777 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[589]: 6 0 0.375071 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[635]: 6 0 0.0147243 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[840]: 6 0 0.0716858 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[841]: 6 0 0.0896426 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[847]: 6 0 0.358212 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[849]: 6 0 0.474702 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[873]: 6 0 0.600956 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[896]: 6 0 1.47941 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[952]: 6 0 0.487096 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[961]: 6 0 0.052201 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[966]: 6 0 0.508587 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[1078]: 6 0 0.0347363 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[1139]: 6 0 0.0242686 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[1391]: 6 0 148.418 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2672]: 6 0 0.0537632 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2677]: 6 0 0.0537606 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2679]: 6 0 0.0537766 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2680]: 6 0 0.0537585 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2685]: 6 0 0.0537763 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2687]: 6 0 0.0537628 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2710]: 6 0 0.0537668 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2713]: 6 0 0.0537625 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2763]: 6 0 0.0537492 shouldn't be
1840.22/1846.09 WSVECS04 Frhs2[2784]: 6 0 0.0537738 shouldn't be
1959.50/1965.66 c #Conflicts: 1296000 | #Constraints: 95021
1959.50/1965.66 c #Conflicts: 1297000 | #Constraints: 96021
1959.50/1965.66 c #Conflicts: 1298000 | #Constraints: 97021
1959.50/1965.66 c #Conflicts: 1299000 | #Constraints: 98021
1959.50/1965.66 c #Conflicts: 1300000 | #Constraints: 99021
1959.50/1965.66 c #Conflicts: 1301000 | #Constraints: 100021
1959.50/1965.66 c #Conflicts: 1302000 | #Constraints: 101021
1959.50/1965.66 c #Conflicts: 1303000 | #Constraints: 102021
1959.50/1965.66 c #Conflicts: 1304000 | #Constraints: 103021
1959.50/1965.66 c #Conflicts: 1305000 | #Constraints: 104021
1959.50/1965.66 c #Conflicts: 1306000 | #Constraints: 105021
1959.50/1965.66 c #Conflicts: 1307000 | #Constraints: 106021
1959.50/1965.66 c #Conflicts: 1308000 | #Constraints: 107021
1959.50/1965.66 c #Conflicts: 1309000 | #Constraints: 108021
1959.50/1965.66 c #Conflicts: 1310000 | #Constraints: 109021
1959.50/1965.66 c #Conflicts: 1311000 | #Constraints: 110021
1959.50/1965.66 c #Conflicts: 1312000 | #Constraints: 111021
1959.50/1965.66 c #Conflicts: 1313000 | #Constraints: 112021
1959.50/1965.66 c #Conflicts: 1314000 | #Constraints: 113021
1959.50/1965.66 c #Conflicts: 1315000 | #Constraints: 114021
1959.50/1965.66 c #Conflicts: 1316000 | #Constraints: 115021
1959.50/1965.66 c INPROCESSING
1959.50/1965.66 c GARBAGE COLLECT
1959.50/1965.66 c #Conflicts: 1317000 | #Constraints: 82635
1959.50/1965.66 c #Conflicts: 1318000 | #Constraints: 83635
1959.50/1965.66 c #Conflicts: 1319000 | #Constraints: 84635
1959.50/1965.66 c #Conflicts: 1320000 | #Constraints: 85635
1959.50/1965.66 c #Conflicts: 1321000 | #Constraints: 86635
1959.50/1965.66 c #Conflicts: 1322000 | #Constraints: 87635
1959.50/1965.66 c #Conflicts: 1323000 | #Constraints: 88635
1959.50/1965.66 c #Conflicts: 1324000 | #Constraints: 89635
1959.50/1965.66 c #Conflicts: 1325000 | #Constraints: 90635
1959.50/1965.66 c #Conflicts: 1326000 | #Constraints: 91635
1959.50/1965.66 c #Conflicts: 1327000 | #Constraints: 92635
1959.50/1965.66 c #Conflicts: 1328000 | #Constraints: 93635
1959.50/1965.66 c #Conflicts: 1329000 | #Constraints: 94635
1959.50/1965.66 c #Conflicts: 1330000 | #Constraints: 95635
1959.50/1965.66 c #Conflicts: 1331000 | #Constraints: 96635
1959.50/1965.66 c #Conflicts: 1332000 | #Constraints: 97635
1959.50/1965.66 c #Conflicts: 1333000 | #Constraints: 98635
1959.50/1965.66 c #Conflicts: 1334000 | #Constraints: 99635
1959.50/1965.66 c #Conflicts: 1335000 | #Constraints: 100635
1959.50/1965.66 c #Conflicts: 1336000 | #Constraints: 101635
1959.50/1965.66 c #Conflicts: 1337000 | #Constraints: 102635
1959.50/1965.66 c #Conflicts: 1338000 | #Constraints: 103635
1959.50/1965.66 c #Conflicts: 1339000 | #Constraints: 104635
1959.50/1965.66 c #Conflicts: 1340000 | #Constraints: 105635
1959.50/1965.66 c #Conflicts: 1341000 | #Constraints: 106635
1959.50/1965.66 c INPROCESSING
1959.50/1965.66 c GARBAGE COLLECT
1959.50/1965.66 c #Conflicts: 1342000 | #Constraints: 78015
1959.50/1965.66 c #Conflicts: 1343000 | #Constraints: 79015
1959.50/1965.66 c #Conflicts: 1344000 | #Constraints: 80015
1959.50/1965.66 c #Conflicts: 1345000 | #Constraints: 81015
1959.50/1965.66 c #Conflicts: 1346000 | #Constraints: 82015
1959.50/1965.66 c #Conflicts: 1347000 | #Constraints: 83015
1959.50/1965.66 c #Conflicts: 1348000 | #Constraints: 84016
1959.50/1965.66 c #Conflicts: 1349000 | #Constraints: 85016
1959.50/1965.66 c #Conflicts: 1350000 | #Constraints: 86016
1959.50/1965.66 c #Conflicts: 1351000 | #Constraints: 87016
1959.50/1965.66 c #Conflicts: 1352000 | #Constraints: 88016
1959.50/1965.66 c #Conflicts: 1353000 | #Constraints: 89016
1959.50/1965.66 c #Conflicts: 1354000 | #Constraints: 90016
1959.50/1965.66 c #Conflicts: 1355000 | #Constraints: 91016
1959.50/1965.66 c #Conflicts: 1356000 | #Constraints: 92016
1959.50/1965.66 c #Conflicts: 1357000 | #Constraints: 93016
1959.50/1965.66 c #Conflicts: 1358000 | #Constraints: 94016
1959.50/1965.66 c #Conflicts: 1359000 | #Constraints: 95016
1959.50/1965.66 c #Conflicts: 1360000 | #Constraints: 96016
1959.50/1965.66 c #Conflicts: 1361000 | #Constraints: 97016
1959.50/1965.66 c #Conflicts: 1362000 | #Constraints: 98016
1959.50/1965.66 c #Conflicts: 1363000 | #Constraints: 99016
1959.50/1965.66 c #Conflicts: 1364000 | #Constraints: 100016
1959.50/1965.66 c #Conflicts: 1365000 | #Constraints: 101016
1959.50/1965.66 c #Conflicts: 1366000 | #Constraints: 102016
1959.50/1965.66 c #Conflicts: 1367000 | #Constraints: 103016
1959.50/1965.66 c #Conflicts: 1368000 | #Constraints: 104016
1959.50/1965.66 c #Conflicts: 1369000 | #Constraints: 105016
1959.50/1965.66 c #Conflicts: 1370000 | #Constraints: 106016
1959.50/1965.66 c #Conflicts: 1371000 | #Constraints: 107016
1959.50/1965.66 c #Conflicts: 1372000 | #Constraints: 108016
1959.50/1965.66 c #Conflicts: 1373000 | #Constraints: 109016
2121.37/2127.91 c #Conflicts: 1374000 | #Constraints: 110016
2121.37/2127.91 c #Conflicts: 1375000 | #Constraints: 111016
2121.37/2127.91 c #Conflicts: 1376000 | #Constraints: 112016
2121.37/2127.91 c #Conflicts: 1377000 | #Constraints: 113016
2121.37/2127.91 c #Conflicts: 1378000 | #Constraints: 114016
2121.37/2127.91 c #Conflicts: 1379000 | #Constraints: 115016
2121.37/2127.91 c #Conflicts: 1380000 | #Constraints: 116016
2121.37/2127.91 c #Conflicts: 1381000 | #Constraints: 117016
2121.37/2127.91 c #Conflicts: 1382000 | #Constraints: 118016
2121.37/2127.91 c #Conflicts: 1383000 | #Constraints: 119016
2121.37/2127.91 c #Conflicts: 1384000 | #Constraints: 120017
2121.37/2127.91 c #Conflicts: 1385000 | #Constraints: 121017
2121.37/2127.91 c #Conflicts: 1386000 | #Constraints: 122017
2121.37/2127.91 c #Conflicts: 1387000 | #Constraints: 123017
2121.37/2127.91 c #Conflicts: 1388000 | #Constraints: 124017
2121.37/2127.91 c #Conflicts: 1389000 | #Constraints: 125019
2121.37/2127.91 c #Conflicts: 1390000 | #Constraints: 126019
2121.37/2127.91 c #Conflicts: 1391000 | #Constraints: 127019
2121.37/2127.91 c #Conflicts: 1392000 | #Constraints: 128019
2121.37/2127.91 c #Conflicts: 1393000 | #Constraints: 129019
2121.37/2127.91 c #Conflicts: 1394000 | #Constraints: 130020
2121.37/2127.91 c #Conflicts: 1395000 | #Constraints: 131021
2121.37/2127.91 c #Conflicts: 1396000 | #Constraints: 132021
2121.37/2127.91 c #Conflicts: 1397000 | #Constraints: 133021
2121.37/2127.91 c #Conflicts: 1398000 | #Constraints: 134021
2121.37/2127.91 c #Conflicts: 1399000 | #Constraints: 135021
2121.37/2127.91 c #Conflicts: 1400000 | #Constraints: 136021
2121.37/2127.91 c #Conflicts: 1401000 | #Constraints: 137021
2121.37/2127.91 c #Conflicts: 1402000 | #Constraints: 138021
2121.37/2127.91 c #Conflicts: 1403000 | #Constraints: 139021
2121.37/2127.91 c #Conflicts: 1404000 | #Constraints: 140021
2121.37/2127.91 c #Conflicts: 1405000 | #Constraints: 141021
2121.37/2127.91 c #Conflicts: 1406000 | #Constraints: 142021
2121.37/2127.91 c #Conflicts: 1407000 | #Constraints: 143021
2121.37/2127.91 c #Conflicts: 1408000 | #Constraints: 144021
2121.37/2127.91 c #Conflicts: 1409000 | #Constraints: 145021
2121.37/2127.91 c #Conflicts: 1410000 | #Constraints: 146021
2121.37/2127.91 c #Conflicts: 1411000 | #Constraints: 147021
2121.37/2127.91 c #Conflicts: 1412000 | #Constraints: 148021
2121.37/2127.91 c #Conflicts: 1413000 | #Constraints: 149021
2121.37/2127.91 c #Conflicts: 1414000 | #Constraints: 150021
2121.37/2127.91 c #Conflicts: 1415000 | #Constraints: 151021
2121.37/2127.91 c #Conflicts: 1416000 | #Constraints: 152021
2121.37/2127.91 c #Conflicts: 1417000 | #Constraints: 153021
2121.37/2127.91 c #Conflicts: 1418000 | #Constraints: 154021
2121.37/2127.91 c #Conflicts: 1419000 | #Constraints: 155021
2121.37/2127.91 c #Conflicts: 1420000 | #Constraints: 156021
2121.37/2127.91 c #Conflicts: 1421000 | #Constraints: 157021
2121.37/2127.91 c #Conflicts: 1422000 | #Constraints: 158021
2121.37/2127.91 c #Conflicts: 1423000 | #Constraints: 159021
2121.37/2127.91 c #Conflicts: 1424000 | #Constraints: 160021
2121.37/2127.91 c #Conflicts: 1425000 | #Constraints: 161021
2121.37/2127.91 c #Conflicts: 1426000 | #Constraints: 162021
2121.37/2127.91 c #Conflicts: 1427000 | #Constraints: 163021
2121.37/2127.91 c #Conflicts: 1428000 | #Constraints: 164021
2121.37/2127.91 c #Conflicts: 1429000 | #Constraints: 165021
2121.37/2127.91 c #Conflicts: 1430000 | #Constraints: 166021
2121.37/2127.91 c #Conflicts: 1431000 | #Constraints: 167021
2121.37/2127.91 c #Conflicts: 1432000 | #Constraints: 168021
2121.37/2127.91 c INPROCESSING
2121.37/2127.91 c GARBAGE COLLECT
2121.37/2127.91 c #Conflicts: 1433000 | #Constraints: 108732
2121.37/2127.91 c #Conflicts: 1434000 | #Constraints: 109732
2121.37/2127.91 c #Conflicts: 1435000 | #Constraints: 110732
2121.37/2127.91 c #Conflicts: 1436000 | #Constraints: 111732
2121.37/2127.91 c #Conflicts: 1437000 | #Constraints: 112732
2121.37/2127.91 c #Conflicts: 1438000 | #Constraints: 113732
2121.37/2127.91 c #Conflicts: 1439000 | #Constraints: 114732
2121.37/2127.91 c #Conflicts: 1440000 | #Constraints: 115732
2121.37/2127.91 c #Conflicts: 1441000 | #Constraints: 116732
2121.37/2127.91 c #Conflicts: 1442000 | #Constraints: 117732
2121.37/2127.91 c #Conflicts: 1443000 | #Constraints: 118732
2121.37/2127.91 c #Conflicts: 1444000 | #Constraints: 119732
2121.37/2127.91 c #Conflicts: 1445000 | #Constraints: 120732
2121.37/2127.91 c #Conflicts: 1446000 | #Constraints: 121732
2121.37/2127.91 c #Conflicts: 1447000 | #Constraints: 122732
2121.37/2127.91 c #Conflicts: 1448000 | #Constraints: 123732
2121.37/2127.91 c #Conflicts: 1449000 | #Constraints: 124732
2121.37/2127.91 c #Conflicts: 1450000 | #Constraints: 125732
2121.37/2127.91 c #Conflicts: 1451000 | #Constraints: 126732
2235.39/2242.26 c #Conflicts: 1452000 | #Constraints: 127732
2235.39/2242.26 c #Conflicts: 1453000 | #Constraints: 128732
2235.39/2242.26 c #Conflicts: 1454000 | #Constraints: 129732
2235.39/2242.26 c #Conflicts: 1455000 | #Constraints: 130732
2235.39/2242.26 c #Conflicts: 1456000 | #Constraints: 131732
2235.39/2242.26 c #Conflicts: 1457000 | #Constraints: 132732
2235.39/2242.26 c #Conflicts: 1458000 | #Constraints: 133732
2235.39/2242.26 c #Conflicts: 1459000 | #Constraints: 134732
2235.39/2242.26 c #Conflicts: 1460000 | #Constraints: 135732
2235.39/2242.26 c INPROCESSING
2235.39/2242.26 c GARBAGE COLLECT
2235.39/2242.26 c #Conflicts: 1461000 | #Constraints: 93015
2235.39/2242.26 c #Conflicts: 1462000 | #Constraints: 94015
2235.39/2242.26 c #Conflicts: 1463000 | #Constraints: 95015
2235.39/2242.26 c #Conflicts: 1464000 | #Constraints: 96015
2235.39/2242.26 c #Conflicts: 1465000 | #Constraints: 97015
2235.39/2242.26 c #Conflicts: 1466000 | #Constraints: 98015
2235.39/2242.26 c #Conflicts: 1467000 | #Constraints: 99015
2235.39/2242.26 c #Conflicts: 1468000 | #Constraints: 100015
2235.39/2242.26 c #Conflicts: 1469000 | #Constraints: 101015
2235.39/2242.26 c #Conflicts: 1470000 | #Constraints: 102015
2235.39/2242.26 c #Conflicts: 1471000 | #Constraints: 103015
2235.39/2242.26 c #Conflicts: 1472000 | #Constraints: 104015
2235.39/2242.26 c #Conflicts: 1473000 | #Constraints: 105015
2235.39/2242.26 c #Conflicts: 1474000 | #Constraints: 106015
2235.39/2242.26 c #Conflicts: 1475000 | #Constraints: 107015
2235.39/2242.26 c #Conflicts: 1476000 | #Constraints: 108015
2235.39/2242.26 c #Conflicts: 1477000 | #Constraints: 109015
2235.39/2242.26 c #Conflicts: 1478000 | #Constraints: 110015
2235.39/2242.26 c #Conflicts: 1479000 | #Constraints: 111015
2235.39/2242.26 c #Conflicts: 1480000 | #Constraints: 112015
2235.39/2242.26 c #Conflicts: 1481000 | #Constraints: 113016
2235.39/2242.26 c #Conflicts: 1482000 | #Constraints: 114017
2235.39/2242.26 c #Conflicts: 1483000 | #Constraints: 115017
2235.39/2242.26 c #Conflicts: 1484000 | #Constraints: 116017
2235.39/2242.26 c #Conflicts: 1485000 | #Constraints: 117018
2235.39/2242.26 c #Conflicts: 1486000 | #Constraints: 118018
2235.39/2242.26 c #Conflicts: 1487000 | #Constraints: 119018
2235.39/2242.26 c INPROCESSING
2235.39/2242.26 c GARBAGE COLLECT
2235.39/2242.26 c #Conflicts: 1488000 | #Constraints: 84420
2235.39/2242.26 c #Conflicts: 1489000 | #Constraints: 85420
2235.39/2242.26 c #Conflicts: 1490000 | #Constraints: 86420
2235.39/2242.26 c #Conflicts: 1491000 | #Constraints: 87420
2235.39/2242.26 c #Conflicts: 1492000 | #Constraints: 88420
2235.39/2242.26 c #Conflicts: 1493000 | #Constraints: 89420
2235.39/2242.26 c #Conflicts: 1494000 | #Constraints: 90420
2235.39/2242.26 c #Conflicts: 1495000 | #Constraints: 91420
2235.39/2242.26 c #Conflicts: 1496000 | #Constraints: 92420
2235.39/2242.26 c #Conflicts: 1497000 | #Constraints: 93420
2235.39/2242.26 c #Conflicts: 1498000 | #Constraints: 94420
2235.39/2242.26 c #Conflicts: 1499000 | #Constraints: 95421
2235.39/2242.26 c #Conflicts: 1500000 | #Constraints: 96421
2235.39/2242.26 c #Conflicts: 1501000 | #Constraints: 97421
2235.39/2242.26 c #Conflicts: 1502000 | #Constraints: 98421
2235.39/2242.26 c #Conflicts: 1503000 | #Constraints: 99422
2235.39/2242.26 c #Conflicts: 1504000 | #Constraints: 100424
2235.39/2242.26 c #Conflicts: 1505000 | #Constraints: 101426
2235.39/2242.26 c #Conflicts: 1506000 | #Constraints: 102427
2235.39/2242.26 c #Conflicts: 1507000 | #Constraints: 103427
2235.39/2242.26 c #Conflicts: 1508000 | #Constraints: 104427
2235.39/2242.26 c #Conflicts: 1509000 | #Constraints: 105428
2235.39/2242.26 c #Conflicts: 1510000 | #Constraints: 106429
2235.39/2242.26 c #Conflicts: 1511000 | #Constraints: 107429
2235.39/2242.26 c #Conflicts: 1512000 | #Constraints: 108430
2235.39/2242.26 c #Conflicts: 1513000 | #Constraints: 109430
2235.39/2242.26 c #Conflicts: 1514000 | #Constraints: 110431
2235.39/2242.26 c #Conflicts: 1515000 | #Constraints: 111431
2235.39/2242.26 c INPROCESSING
2235.39/2242.26 c GARBAGE COLLECT
2235.39/2242.26 c #Conflicts: 1516000 | #Constraints: 80852
2235.39/2242.26 c #Conflicts: 1517000 | #Constraints: 81852
2235.39/2242.26 c #Conflicts: 1518000 | #Constraints: 82852
2235.39/2242.26 c #Conflicts: 1519000 | #Constraints: 83852
2235.39/2242.26 c #Conflicts: 1520000 | #Constraints: 84852
2235.39/2242.26 c #Conflicts: 1521000 | #Constraints: 85852
2235.39/2242.26 c #Conflicts: 1522000 | #Constraints: 86852
2235.39/2242.26 c #Conflicts: 1523000 | #Constraints: 87852
2235.39/2242.26 c #Conflicts: 1524000 | #Constraints: 88852
2235.39/2242.26 c #Conflicts: 1525000 | #Constraints: 89852
2235.39/2242.26 c #Conflicts: 1526000 | #Constraints: 90852
2235.39/2242.26 c #Conflicts: 1527000 | #Constraints: 91852
2235.39/2242.26 c #Conflicts: 1528000 | #Constraints: 92852
2399.78/2407.03 c #Conflicts: 1529000 | #Constraints: 93852
2399.78/2407.03 c #Conflicts: 1530000 | #Constraints: 94852
2399.78/2407.03 c #Conflicts: 1531000 | #Constraints: 95852
2399.78/2407.03 c #Conflicts: 1532000 | #Constraints: 96852
2399.78/2407.03 c #Conflicts: 1533000 | #Constraints: 97852
2399.78/2407.03 c #Conflicts: 1534000 | #Constraints: 98852
2399.78/2407.03 c #Conflicts: 1535000 | #Constraints: 99852
2399.78/2407.03 c #Conflicts: 1536000 | #Constraints: 100852
2399.78/2407.03 c #Conflicts: 1537000 | #Constraints: 101852
2399.78/2407.03 c #Conflicts: 1538000 | #Constraints: 102852
2399.78/2407.03 c #Conflicts: 1539000 | #Constraints: 103852
2399.78/2407.03 c #Conflicts: 1540000 | #Constraints: 104852
2399.78/2407.03 c #Conflicts: 1541000 | #Constraints: 105852
2399.78/2407.03 c #Conflicts: 1542000 | #Constraints: 106853
2399.78/2407.03 c #Conflicts: 1543000 | #Constraints: 107853
2399.78/2407.03 c #Conflicts: 1544000 | #Constraints: 108853
2399.78/2407.03 c #Conflicts: 1545000 | #Constraints: 109853
2399.78/2407.03 c #Conflicts: 1546000 | #Constraints: 110853
2399.78/2407.03 c #Conflicts: 1547000 | #Constraints: 111853
2399.78/2407.03 c #Conflicts: 1548000 | #Constraints: 112853
2399.78/2407.03 c #Conflicts: 1549000 | #Constraints: 113853
2399.78/2407.03 c #Conflicts: 1550000 | #Constraints: 114853
2399.78/2407.03 c #Conflicts: 1551000 | #Constraints: 115853
2399.78/2407.03 c #Conflicts: 1552000 | #Constraints: 116853
2399.78/2407.03 c #Conflicts: 1553000 | #Constraints: 117853
2399.78/2407.03 c #Conflicts: 1554000 | #Constraints: 118853
2399.78/2407.03 c #Conflicts: 1555000 | #Constraints: 119853
2399.78/2407.03 c #Conflicts: 1556000 | #Constraints: 120853
2399.78/2407.03 c #Conflicts: 1557000 | #Constraints: 121854
2399.78/2407.03 c #Conflicts: 1558000 | #Constraints: 122854
2399.78/2407.03 c #Conflicts: 1559000 | #Constraints: 123855
2399.78/2407.03 c #Conflicts: 1560000 | #Constraints: 124855
2399.78/2407.03 c #Conflicts: 1561000 | #Constraints: 125855
2399.78/2407.03 c #Conflicts: 1562000 | #Constraints: 126855
2399.78/2407.03 c #Conflicts: 1563000 | #Constraints: 127855
2399.78/2407.03 c #Conflicts: 1564000 | #Constraints: 128855
2399.78/2407.03 c #Conflicts: 1565000 | #Constraints: 129856
2399.78/2407.03 c #Conflicts: 1566000 | #Constraints: 130857
2399.78/2407.03 c #Conflicts: 1567000 | #Constraints: 131858
2399.78/2407.03 c #Conflicts: 1568000 | #Constraints: 132858
2399.78/2407.03 c #Conflicts: 1569000 | #Constraints: 133858
2399.78/2407.03 c #Conflicts: 1570000 | #Constraints: 134860
2399.78/2407.03 c #Conflicts: 1571000 | #Constraints: 135862
2399.78/2407.03 c #Conflicts: 1572000 | #Constraints: 136863
2399.78/2407.03 c #Conflicts: 1573000 | #Constraints: 137864
2399.78/2407.03 c #Conflicts: 1574000 | #Constraints: 138864
2399.78/2407.03 c #Conflicts: 1575000 | #Constraints: 139864
2399.78/2407.03 c #Conflicts: 1576000 | #Constraints: 140864
2399.78/2407.03 c #Conflicts: 1577000 | #Constraints: 141864
2399.78/2407.03 c #Conflicts: 1578000 | #Constraints: 142864
2399.78/2407.03 c #Conflicts: 1579000 | #Constraints: 143864
2399.78/2407.03 c #Conflicts: 1580000 | #Constraints: 144864
2399.78/2407.03 c #Conflicts: 1581000 | #Constraints: 145864
2399.78/2407.03 c #Conflicts: 1582000 | #Constraints: 146864
2399.78/2407.03 c #Conflicts: 1583000 | #Constraints: 147864
2399.78/2407.03 c #Conflicts: 1584000 | #Constraints: 148864
2399.78/2407.03 c #Conflicts: 1585000 | #Constraints: 149864
2399.78/2407.03 c #Conflicts: 1586000 | #Constraints: 150864
2399.78/2407.03 c #Conflicts: 1587000 | #Constraints: 151864
2399.78/2407.03 c #Conflicts: 1588000 | #Constraints: 152864
2399.78/2407.03 c #Conflicts: 1589000 | #Constraints: 153864
2399.78/2407.03 c #Conflicts: 1590000 | #Constraints: 154864
2399.78/2407.03 c #Conflicts: 1591000 | #Constraints: 155864
2399.78/2407.03 c #Conflicts: 1592000 | #Constraints: 156864
2399.78/2407.03 c #Conflicts: 1593000 | #Constraints: 157865
2399.78/2407.03 c #Conflicts: 1594000 | #Constraints: 158865
2399.78/2407.03 c #Conflicts: 1595000 | #Constraints: 159865
2399.78/2407.03 c #Conflicts: 1596000 | #Constraints: 160865
2399.78/2407.03 c #Conflicts: 1597000 | #Constraints: 161865
2399.78/2407.03 c #Conflicts: 1598000 | #Constraints: 162865
2399.78/2407.03 c #Conflicts: 1599000 | #Constraints: 163865
2399.78/2407.03 c #Conflicts: 1600000 | #Constraints: 164865
2399.78/2407.03 c #Conflicts: 1601000 | #Constraints: 165865
2399.78/2407.03 c #Conflicts: 1602000 | #Constraints: 166865
2399.78/2407.03 c #Conflicts: 1603000 | #Constraints: 167865
2399.78/2407.03 c #Conflicts: 1604000 | #Constraints: 168865
2399.78/2407.03 c #Conflicts: 1605000 | #Constraints: 169865
2399.78/2407.03 c #Conflicts: 1606000 | #Constraints: 170865
2399.78/2407.03 c #Conflicts: 1607000 | #Constraints: 171865
2544.30/2551.99 c #Conflicts: 1608000 | #Constraints: 172865
2544.30/2551.99 c #Conflicts: 1609000 | #Constraints: 173865
2544.30/2551.99 c #Conflicts: 1610000 | #Constraints: 174865
2544.30/2551.99 c #Conflicts: 1611000 | #Constraints: 175865
2544.30/2551.99 c INPROCESSING
2544.30/2551.99 c GARBAGE COLLECT
2544.30/2551.99 c #Conflicts: 1612000 | #Constraints: 113008
2544.30/2551.99 c #Conflicts: 1613000 | #Constraints: 114008
2544.30/2551.99 c #Conflicts: 1614000 | #Constraints: 115008
2544.30/2551.99 c #Conflicts: 1615000 | #Constraints: 116008
2544.30/2551.99 c #Conflicts: 1616000 | #Constraints: 117010
2544.30/2551.99 c #Conflicts: 1617000 | #Constraints: 118011
2544.30/2551.99 c #Conflicts: 1618000 | #Constraints: 119011
2544.30/2551.99 c #Conflicts: 1619000 | #Constraints: 120013
2544.30/2551.99 c #Conflicts: 1620000 | #Constraints: 121013
2544.30/2551.99 c #Conflicts: 1621000 | #Constraints: 122014
2544.30/2551.99 c #Conflicts: 1622000 | #Constraints: 123016
2544.30/2551.99 c #Conflicts: 1623000 | #Constraints: 124017
2544.30/2551.99 c #Conflicts: 1624000 | #Constraints: 125018
2544.30/2551.99 c #Conflicts: 1625000 | #Constraints: 126019
2544.30/2551.99 c #Conflicts: 1626000 | #Constraints: 127020
2544.30/2551.99 c #Conflicts: 1627000 | #Constraints: 128022
2544.30/2551.99 c #Conflicts: 1628000 | #Constraints: 129022
2544.30/2551.99 c #Conflicts: 1629000 | #Constraints: 130023
2544.30/2551.99 c #Conflicts: 1630000 | #Constraints: 131036
2544.30/2551.99 c #Conflicts: 1631000 | #Constraints: 132036
2544.30/2551.99 c #Conflicts: 1632000 | #Constraints: 133048
2544.30/2551.99 c #Conflicts: 1633000 | #Constraints: 134050
2544.30/2551.99 c #Conflicts: 1634000 | #Constraints: 135052
2544.30/2551.99 c #Conflicts: 1635000 | #Constraints: 136052
2544.30/2551.99 c #Conflicts: 1636000 | #Constraints: 137059
2544.30/2551.99 c #Conflicts: 1637000 | #Constraints: 138060
2544.30/2551.99 c #Conflicts: 1638000 | #Constraints: 139060
2544.30/2551.99 c #Conflicts: 1639000 | #Constraints: 140060
2544.30/2551.99 c #Conflicts: 1640000 | #Constraints: 141060
2544.30/2551.99 c INPROCESSING
2544.30/2551.99 c GARBAGE COLLECT
2544.30/2551.99 c #Conflicts: 1641000 | #Constraints: 95637
2544.30/2551.99 c #Conflicts: 1642000 | #Constraints: 96644
2544.30/2551.99 c #Conflicts: 1643000 | #Constraints: 97644
2544.30/2551.99 c #Conflicts: 1644000 | #Constraints: 98644
2544.30/2551.99 c #Conflicts: 1645000 | #Constraints: 99644
2544.30/2551.99 c #Conflicts: 1646000 | #Constraints: 100644
2544.30/2551.99 c #Conflicts: 1647000 | #Constraints: 101644
2544.30/2551.99 c #Conflicts: 1648000 | #Constraints: 102644
2544.30/2551.99 c #Conflicts: 1649000 | #Constraints: 103644
2544.30/2551.99 c #Conflicts: 1650000 | #Constraints: 104644
2544.30/2551.99 c #Conflicts: 1651000 | #Constraints: 105644
2544.30/2551.99 c #Conflicts: 1652000 | #Constraints: 106644
2544.30/2551.99 c #Conflicts: 1653000 | #Constraints: 107644
2544.30/2551.99 c #Conflicts: 1654000 | #Constraints: 108644
2544.30/2551.99 c #Conflicts: 1655000 | #Constraints: 109644
2544.30/2551.99 c #Conflicts: 1656000 | #Constraints: 110644
2544.30/2551.99 c #Conflicts: 1657000 | #Constraints: 111644
2544.30/2551.99 c #Conflicts: 1658000 | #Constraints: 112644
2544.30/2551.99 c #Conflicts: 1659000 | #Constraints: 113644
2544.30/2551.99 c #Conflicts: 1660000 | #Constraints: 114644
2544.30/2551.99 c #Conflicts: 1661000 | #Constraints: 115644
2544.30/2551.99 c #Conflicts: 1662000 | #Constraints: 116644
2544.30/2551.99 c #Conflicts: 1663000 | #Constraints: 117644
2544.30/2551.99 c #Conflicts: 1664000 | #Constraints: 118644
2544.30/2551.99 c #Conflicts: 1665000 | #Constraints: 119644
2544.30/2551.99 c #Conflicts: 1666000 | #Constraints: 120644
2544.30/2551.99 c #Conflicts: 1667000 | #Constraints: 121644
2544.30/2551.99 c #Conflicts: 1668000 | #Constraints: 122644
2544.30/2551.99 c #Conflicts: 1669000 | #Constraints: 123644
2544.30/2551.99 c INPROCESSING
2544.30/2551.99 c GARBAGE COLLECT
2544.30/2551.99 c #Conflicts: 1670000 | #Constraints: 86857
2544.30/2551.99 c #Conflicts: 1671000 | #Constraints: 87857
2544.30/2551.99 c #Conflicts: 1672000 | #Constraints: 88857
2544.30/2551.99 c #Conflicts: 1673000 | #Constraints: 89857
2544.30/2551.99 c #Conflicts: 1674000 | #Constraints: 90857
2544.30/2551.99 c #Conflicts: 1675000 | #Constraints: 91857
2544.30/2551.99 c #Conflicts: 1676000 | #Constraints: 92857
2544.30/2551.99 c #Conflicts: 1677000 | #Constraints: 93857
2544.30/2551.99 c #Conflicts: 1678000 | #Constraints: 94858
2544.30/2551.99 c #Conflicts: 1679000 | #Constraints: 95858
2544.30/2551.99 c #Conflicts: 1680000 | #Constraints: 96858
2544.30/2551.99 c #Conflicts: 1681000 | #Constraints: 97858
2544.30/2551.99 c #Conflicts: 1682000 | #Constraints: 98858
2544.30/2551.99 c #Conflicts: 1683000 | #Constraints: 99858
2544.30/2551.99 c #Conflicts: 1684000 | #Constraints: 100858
2673.66/2681.65 c #Conflicts: 1685000 | #Constraints: 101858
2673.66/2681.65 c #Conflicts: 1686000 | #Constraints: 102858
2673.66/2681.65 c #Conflicts: 1687000 | #Constraints: 103858
2673.66/2681.65 c #Conflicts: 1688000 | #Constraints: 104858
2673.66/2681.65 c #Conflicts: 1689000 | #Constraints: 105858
2673.66/2681.65 c #Conflicts: 1690000 | #Constraints: 106858
2673.66/2681.65 c #Conflicts: 1691000 | #Constraints: 107858
2673.66/2681.65 c #Conflicts: 1692000 | #Constraints: 108858
2673.66/2681.65 c #Conflicts: 1693000 | #Constraints: 109858
2673.66/2681.65 c #Conflicts: 1694000 | #Constraints: 110858
2673.66/2681.65 c #Conflicts: 1695000 | #Constraints: 111858
2673.66/2681.65 c #Conflicts: 1696000 | #Constraints: 112858
2673.66/2681.65 c #Conflicts: 1697000 | #Constraints: 113858
2673.66/2681.65 c #Conflicts: 1698000 | #Constraints: 114858
2673.66/2681.65 c INPROCESSING
2673.66/2681.65 c GARBAGE COLLECT
2673.66/2681.65 c #Conflicts: 1699000 | #Constraints: 82354
2673.66/2681.65 c #Conflicts: 1700000 | #Constraints: 83354
2673.66/2681.65 c #Conflicts: 1701000 | #Constraints: 84354
2673.66/2681.65 c #Conflicts: 1702000 | #Constraints: 85354
2673.66/2681.65 c #Conflicts: 1703000 | #Constraints: 86354
2673.66/2681.65 c #Conflicts: 1704000 | #Constraints: 87354
2673.66/2681.65 c #Conflicts: 1705000 | #Constraints: 88354
2673.66/2681.65 c #Conflicts: 1706000 | #Constraints: 89354
2673.66/2681.65 c #Conflicts: 1707000 | #Constraints: 90354
2673.66/2681.65 c #Conflicts: 1708000 | #Constraints: 91354
2673.66/2681.65 c #Conflicts: 1709000 | #Constraints: 92354
2673.66/2681.65 c #Conflicts: 1710000 | #Constraints: 93354
2673.66/2681.65 c #Conflicts: 1711000 | #Constraints: 94354
2673.66/2681.65 c #Conflicts: 1712000 | #Constraints: 95354
2673.66/2681.65 c #Conflicts: 1713000 | #Constraints: 96354
2673.66/2681.65 c #Conflicts: 1714000 | #Constraints: 97354
2673.66/2681.65 c #Conflicts: 1715000 | #Constraints: 98354
2673.66/2681.65 c #Conflicts: 1716000 | #Constraints: 99355
2673.66/2681.65 c #Conflicts: 1717000 | #Constraints: 100356
2673.66/2681.65 c #Conflicts: 1718000 | #Constraints: 101356
2673.66/2681.65 c #Conflicts: 1719000 | #Constraints: 102356
2673.66/2681.65 c #Conflicts: 1720000 | #Constraints: 103356
2673.66/2681.65 c #Conflicts: 1721000 | #Constraints: 104356
2673.66/2681.65 c #Conflicts: 1722000 | #Constraints: 105356
2673.66/2681.65 c #Conflicts: 1723000 | #Constraints: 106356
2673.66/2681.65 c #Conflicts: 1724000 | #Constraints: 107356
2673.66/2681.65 c #Conflicts: 1725000 | #Constraints: 108356
2673.66/2681.65 c #Conflicts: 1726000 | #Constraints: 109356
2673.66/2681.65 c #Conflicts: 1727000 | #Constraints: 110356
2673.66/2681.65 c #Conflicts: 1728000 | #Constraints: 111356
2673.66/2681.65 c #Conflicts: 1729000 | #Constraints: 112356
2673.66/2681.65 c #Conflicts: 1730000 | #Constraints: 113356
2673.66/2681.65 c #Conflicts: 1731000 | #Constraints: 114356
2673.66/2681.65 c #Conflicts: 1732000 | #Constraints: 115356
2673.66/2681.65 c #Conflicts: 1733000 | #Constraints: 116356
2673.66/2681.65 c #Conflicts: 1734000 | #Constraints: 117356
2673.66/2681.65 c #Conflicts: 1735000 | #Constraints: 118356
2673.66/2681.65 c #Conflicts: 1736000 | #Constraints: 119356
2673.66/2681.65 c #Conflicts: 1737000 | #Constraints: 120356
2673.66/2681.65 c #Conflicts: 1738000 | #Constraints: 121356
2673.66/2681.65 c #Conflicts: 1739000 | #Constraints: 122356
2673.66/2681.65 c #Conflicts: 1740000 | #Constraints: 123356
2673.66/2681.65 c #Conflicts: 1741000 | #Constraints: 124356
2673.66/2681.65 c #Conflicts: 1742000 | #Constraints: 125356
2673.66/2681.65 c #Conflicts: 1743000 | #Constraints: 126356
2673.66/2681.65 c #Conflicts: 1744000 | #Constraints: 127356
2673.66/2681.65 c #Conflicts: 1745000 | #Constraints: 128356
2673.66/2681.65 c #Conflicts: 1746000 | #Constraints: 129356
2673.66/2681.65 c #Conflicts: 1747000 | #Constraints: 130356
2673.66/2681.65 c #Conflicts: 1748000 | #Constraints: 131356
2673.66/2681.65 c #Conflicts: 1749000 | #Constraints: 132356
2673.66/2681.65 c #Conflicts: 1750000 | #Constraints: 133356
2673.66/2681.65 c #Conflicts: 1751000 | #Constraints: 134356
2673.66/2681.65 c #Conflicts: 1752000 | #Constraints: 135356
2673.66/2681.65 c #Conflicts: 1753000 | #Constraints: 136356
2673.66/2681.65 c #Conflicts: 1754000 | #Constraints: 137356
2673.66/2681.65 c #Conflicts: 1755000 | #Constraints: 138356
2673.66/2681.65 c #Conflicts: 1756000 | #Constraints: 139356
2673.66/2681.65 c #Conflicts: 1757000 | #Constraints: 140356
2673.66/2681.65 c #Conflicts: 1758000 | #Constraints: 141356
2673.66/2681.65 c #Conflicts: 1759000 | #Constraints: 142356
2673.66/2681.65 c #Conflicts: 1760000 | #Constraints: 143356
2673.66/2681.65 c #Conflicts: 1761000 | #Constraints: 144356
2673.66/2681.65 c #Conflicts: 1762000 | #Constraints: 145356
2828.28/2836.62 c #Conflicts: 1763000 | #Constraints: 146356
2828.28/2836.62 c #Conflicts: 1764000 | #Constraints: 147356
2828.28/2836.62 c #Conflicts: 1765000 | #Constraints: 148356
2828.28/2836.62 c #Conflicts: 1766000 | #Constraints: 149356
2828.28/2836.62 c #Conflicts: 1767000 | #Constraints: 150356
2828.28/2836.62 c #Conflicts: 1768000 | #Constraints: 151356
2828.28/2836.62 c #Conflicts: 1769000 | #Constraints: 152356
2828.28/2836.62 c #Conflicts: 1770000 | #Constraints: 153356
2828.28/2836.62 c #Conflicts: 1771000 | #Constraints: 154356
2828.28/2836.62 c #Conflicts: 1772000 | #Constraints: 155356
2828.28/2836.62 c #Conflicts: 1773000 | #Constraints: 156356
2828.28/2836.62 c #Conflicts: 1774000 | #Constraints: 157356
2828.28/2836.62 c #Conflicts: 1775000 | #Constraints: 158356
2828.28/2836.62 c #Conflicts: 1776000 | #Constraints: 159356
2828.28/2836.62 c #Conflicts: 1777000 | #Constraints: 160356
2828.28/2836.62 c #Conflicts: 1778000 | #Constraints: 161356
2828.28/2836.62 c #Conflicts: 1779000 | #Constraints: 162356
2828.28/2836.62 c #Conflicts: 1780000 | #Constraints: 163356
2828.28/2836.62 c #Conflicts: 1781000 | #Constraints: 164356
2828.28/2836.62 c #Conflicts: 1782000 | #Constraints: 165356
2828.28/2836.62 c #Conflicts: 1783000 | #Constraints: 166356
2828.28/2836.62 c #Conflicts: 1784000 | #Constraints: 167356
2828.28/2836.62 c #Conflicts: 1785000 | #Constraints: 168356
2828.28/2836.62 c #Conflicts: 1786000 | #Constraints: 169356
2828.28/2836.62 c #Conflicts: 1787000 | #Constraints: 170357
2828.28/2836.62 c #Conflicts: 1788000 | #Constraints: 171357
2828.28/2836.62 c #Conflicts: 1789000 | #Constraints: 172357
2828.28/2836.62 c #Conflicts: 1790000 | #Constraints: 173357
2828.28/2836.62 c #Conflicts: 1791000 | #Constraints: 174357
2828.28/2836.62 c #Conflicts: 1792000 | #Constraints: 175357
2828.28/2836.62 c #Conflicts: 1793000 | #Constraints: 176357
2828.28/2836.62 c #Conflicts: 1794000 | #Constraints: 177357
2828.28/2836.62 c #Conflicts: 1795000 | #Constraints: 178357
2828.28/2836.62 c #Conflicts: 1796000 | #Constraints: 179357
2828.28/2836.62 c #Conflicts: 1797000 | #Constraints: 180357
2828.28/2836.62 c #Conflicts: 1798000 | #Constraints: 181357
2828.28/2836.62 c #Conflicts: 1799000 | #Constraints: 182357
2828.28/2836.62 c #Conflicts: 1800000 | #Constraints: 183357
2828.28/2836.62 c INPROCESSING
2828.28/2836.62 c GARBAGE COLLECT
2828.28/2836.62 c #Conflicts: 1801000 | #Constraints: 116807
2828.28/2836.62 c #Conflicts: 1802000 | #Constraints: 117809
2828.28/2836.62 c #Conflicts: 1803000 | #Constraints: 118811
2828.28/2836.62 c #Conflicts: 1804000 | #Constraints: 119811
2828.28/2836.62 c #Conflicts: 1805000 | #Constraints: 120811
2828.28/2836.62 c #Conflicts: 1806000 | #Constraints: 121811
2828.28/2836.62 c #Conflicts: 1807000 | #Constraints: 122811
2828.28/2836.62 c #Conflicts: 1808000 | #Constraints: 123811
2828.28/2836.62 c #Conflicts: 1809000 | #Constraints: 124811
2828.28/2836.62 c #Conflicts: 1810000 | #Constraints: 125811
2828.28/2836.62 c #Conflicts: 1811000 | #Constraints: 126811
2828.28/2836.62 c #Conflicts: 1812000 | #Constraints: 127811
2828.28/2836.62 c #Conflicts: 1813000 | #Constraints: 128811
2828.28/2836.62 c #Conflicts: 1814000 | #Constraints: 129811
2828.28/2836.62 c #Conflicts: 1815000 | #Constraints: 130811
2828.28/2836.62 c #Conflicts: 1816000 | #Constraints: 131811
2828.28/2836.62 c #Conflicts: 1817000 | #Constraints: 132811
2828.28/2836.62 c #Conflicts: 1818000 | #Constraints: 133811
2828.28/2836.62 c #Conflicts: 1819000 | #Constraints: 134811
2828.28/2836.62 c #Conflicts: 1820000 | #Constraints: 135811
2828.28/2836.62 c #Conflicts: 1821000 | #Constraints: 136811
2828.28/2836.62 c #Conflicts: 1822000 | #Constraints: 137811
2828.28/2836.62 c #Conflicts: 1823000 | #Constraints: 138811
2828.28/2836.62 c #Conflicts: 1824000 | #Constraints: 139811
2828.28/2836.62 c #Conflicts: 1825000 | #Constraints: 140811
2828.28/2836.62 c #Conflicts: 1826000 | #Constraints: 141811
2828.28/2836.62 c #Conflicts: 1827000 | #Constraints: 142811
2828.28/2836.62 c #Conflicts: 1828000 | #Constraints: 143811
2828.28/2836.62 c #Conflicts: 1829000 | #Constraints: 144811
2828.28/2836.62 c #Conflicts: 1830000 | #Constraints: 145812
2828.28/2836.62 c INPROCESSING
2828.28/2836.62 c GARBAGE COLLECT
2828.28/2836.62 c #Conflicts: 1831000 | #Constraints: 97759
2828.28/2836.62 c #Conflicts: 1832000 | #Constraints: 98759
2828.28/2836.62 c #Conflicts: 1833000 | #Constraints: 99759
2828.28/2836.62 c #Conflicts: 1834000 | #Constraints: 100759
2828.28/2836.62 c #Conflicts: 1835000 | #Constraints: 101759
2828.28/2836.62 c #Conflicts: 1836000 | #Constraints: 102759
2828.28/2836.62 c #Conflicts: 1837000 | #Constraints: 103759
2828.28/2836.62 c #Conflicts: 1838000 | #Constraints: 104759
2828.28/2836.62 c #Conflicts: 1839000 | #Constraints: 105759
2951.17/2959.88 c #Conflicts: 1840000 | #Constraints: 106759
2951.17/2959.88 c #Conflicts: 1841000 | #Constraints: 107759
2951.17/2959.88 c #Conflicts: 1842000 | #Constraints: 108759
2951.17/2959.88 c #Conflicts: 1843000 | #Constraints: 109759
2951.17/2959.88 c #Conflicts: 1844000 | #Constraints: 110759
2951.17/2959.88 c #Conflicts: 1845000 | #Constraints: 111759
2951.17/2959.88 c #Conflicts: 1846000 | #Constraints: 112759
2951.17/2959.88 c #Conflicts: 1847000 | #Constraints: 113759
2951.17/2959.88 c #Conflicts: 1848000 | #Constraints: 114759
2951.17/2959.88 c #Conflicts: 1849000 | #Constraints: 115759
2951.17/2959.88 c #Conflicts: 1850000 | #Constraints: 116759
2951.17/2959.88 c #Conflicts: 1851000 | #Constraints: 117759
2951.17/2959.88 c #Conflicts: 1852000 | #Constraints: 118760
2951.17/2959.88 c #Conflicts: 1853000 | #Constraints: 119760
2951.17/2959.88 c #Conflicts: 1854000 | #Constraints: 120760
2951.17/2959.88 c #Conflicts: 1855000 | #Constraints: 121760
2951.17/2959.88 c #Conflicts: 1856000 | #Constraints: 122760
2951.17/2959.88 c #Conflicts: 1857000 | #Constraints: 123760
2951.17/2959.88 c #Conflicts: 1858000 | #Constraints: 124760
2951.17/2959.88 c #Conflicts: 1859000 | #Constraints: 125760
2951.17/2959.88 c #Conflicts: 1860000 | #Constraints: 126760
2951.17/2959.88 c #Conflicts: 1861000 | #Constraints: 127760
2951.17/2959.88 c INPROCESSING
2951.17/2959.88 c GARBAGE COLLECT
2951.17/2959.88 c #Conflicts: 1862000 | #Constraints: 88817
2951.17/2959.88 c #Conflicts: 1863000 | #Constraints: 89817
2951.17/2959.88 c #Conflicts: 1864000 | #Constraints: 90817
2951.17/2959.88 c #Conflicts: 1865000 | #Constraints: 91817
2951.17/2959.88 c #Conflicts: 1866000 | #Constraints: 92817
2951.17/2959.88 c #Conflicts: 1867000 | #Constraints: 93817
2951.17/2959.88 c #Conflicts: 1868000 | #Constraints: 94817
2951.17/2959.88 c #Conflicts: 1869000 | #Constraints: 95817
2951.17/2959.88 c #Conflicts: 1870000 | #Constraints: 96817
2951.17/2959.88 c #Conflicts: 1871000 | #Constraints: 97817
2951.17/2959.88 c #Conflicts: 1872000 | #Constraints: 98817
2951.17/2959.88 c #Conflicts: 1873000 | #Constraints: 99818
2951.17/2959.88 c #Conflicts: 1874000 | #Constraints: 100818
2951.17/2959.88 c #Conflicts: 1875000 | #Constraints: 101818
2951.17/2959.88 c #Conflicts: 1876000 | #Constraints: 102818
2951.17/2959.88 c #Conflicts: 1877000 | #Constraints: 103818
2951.17/2959.88 c #Conflicts: 1878000 | #Constraints: 104818
2951.17/2959.88 c #Conflicts: 1879000 | #Constraints: 105818
2951.17/2959.88 c #Conflicts: 1880000 | #Constraints: 106818
2951.17/2959.88 c #Conflicts: 1881000 | #Constraints: 107818
2951.17/2959.88 c #Conflicts: 1882000 | #Constraints: 108818
2951.17/2959.88 c #Conflicts: 1883000 | #Constraints: 109818
2951.17/2959.88 c #Conflicts: 1884000 | #Constraints: 110818
2951.17/2959.88 c #Conflicts: 1885000 | #Constraints: 111818
2951.17/2959.88 c #Conflicts: 1886000 | #Constraints: 112818
2951.17/2959.88 c #Conflicts: 1887000 | #Constraints: 113818
2951.17/2959.88 c #Conflicts: 1888000 | #Constraints: 114818
2951.17/2959.88 c #Conflicts: 1889000 | #Constraints: 115818
2951.17/2959.88 c #Conflicts: 1890000 | #Constraints: 116818
2951.17/2959.88 c #Conflicts: 1891000 | #Constraints: 117818
2951.17/2959.88 c #Conflicts: 1892000 | #Constraints: 118818
2951.17/2959.88 c INPROCESSING
2951.17/2959.88 c GARBAGE COLLECT
2951.17/2959.88 c #Conflicts: 1893000 | #Constraints: 84438
2951.17/2959.88 c #Conflicts: 1894000 | #Constraints: 85438
2951.17/2959.88 c #Conflicts: 1895000 | #Constraints: 86438
2951.17/2959.88 c #Conflicts: 1896000 | #Constraints: 87438
2951.17/2959.88 c #Conflicts: 1897000 | #Constraints: 88438
2951.17/2959.88 c #Conflicts: 1898000 | #Constraints: 89438
2951.17/2959.88 c #Conflicts: 1899000 | #Constraints: 90438
2951.17/2959.88 c #Conflicts: 1900000 | #Constraints: 91438
2951.17/2959.88 c #Conflicts: 1901000 | #Constraints: 92439
2951.17/2959.88 c #Conflicts: 1902000 | #Constraints: 93439
2951.17/2959.88 c #Conflicts: 1903000 | #Constraints: 94439
2951.17/2959.88 c #Conflicts: 1904000 | #Constraints: 95439
2951.17/2959.88 c #Conflicts: 1905000 | #Constraints: 96439
2951.17/2959.88 c #Conflicts: 1906000 | #Constraints: 97439
2951.17/2959.88 c #Conflicts: 1907000 | #Constraints: 98439
2951.17/2959.88 c #Conflicts: 1908000 | #Constraints: 99439
2951.17/2959.88 c #Conflicts: 1909000 | #Constraints: 100439
2951.17/2959.88 c #Conflicts: 1910000 | #Constraints: 101439
2951.17/2959.88 c #Conflicts: 1911000 | #Constraints: 102439
2951.17/2959.88 c #Conflicts: 1912000 | #Constraints: 103439
2951.17/2959.88 c #Conflicts: 1913000 | #Constraints: 104439
2951.17/2959.88 c #Conflicts: 1914000 | #Constraints: 105439
2951.17/2959.88 c #Conflicts: 1915000 | #Constraints: 106439
2951.17/2959.88 c #Conflicts: 1916000 | #Constraints: 107439
2951.17/2959.88 c #Conflicts: 1917000 | #Constraints: 108439
3141.76/3150.94 c #Conflicts: 1918000 | #Constraints: 109440
3141.76/3150.94 c #Conflicts: 1919000 | #Constraints: 110440
3141.76/3150.94 c #Conflicts: 1920000 | #Constraints: 111441
3141.76/3150.94 c #Conflicts: 1921000 | #Constraints: 112444
3141.76/3150.94 c #Conflicts: 1922000 | #Constraints: 113444
3141.76/3150.94 c #Conflicts: 1923000 | #Constraints: 114447
3141.76/3150.94 c #Conflicts: 1924000 | #Constraints: 115447
3141.76/3150.94 c #Conflicts: 1925000 | #Constraints: 116447
3141.76/3150.94 c #Conflicts: 1926000 | #Constraints: 117447
3141.76/3150.94 c #Conflicts: 1927000 | #Constraints: 118449
3141.76/3150.94 c #Conflicts: 1928000 | #Constraints: 119449
3141.76/3150.94 c #Conflicts: 1929000 | #Constraints: 120449
3141.76/3150.94 c #Conflicts: 1930000 | #Constraints: 121450
3141.76/3150.94 c #Conflicts: 1931000 | #Constraints: 122450
3141.76/3150.94 c #Conflicts: 1932000 | #Constraints: 123451
3141.76/3150.94 c #Conflicts: 1933000 | #Constraints: 124451
3141.76/3150.94 c #Conflicts: 1934000 | #Constraints: 125454
3141.76/3150.94 c #Conflicts: 1935000 | #Constraints: 126456
3141.76/3150.94 c #Conflicts: 1936000 | #Constraints: 127457
3141.76/3150.94 c #Conflicts: 1937000 | #Constraints: 128458
3141.76/3150.94 c #Conflicts: 1938000 | #Constraints: 129460
3141.76/3150.94 c #Conflicts: 1939000 | #Constraints: 130461
3141.76/3150.94 c #Conflicts: 1940000 | #Constraints: 131461
3141.76/3150.94 c #Conflicts: 1941000 | #Constraints: 132461
3141.76/3150.94 c #Conflicts: 1942000 | #Constraints: 133462
3141.76/3150.94 c #Conflicts: 1943000 | #Constraints: 134462
3141.76/3150.94 c #Conflicts: 1944000 | #Constraints: 135463
3141.76/3150.94 c #Conflicts: 1945000 | #Constraints: 136463
3141.76/3150.94 c #Conflicts: 1946000 | #Constraints: 137464
3141.76/3150.94 c #Conflicts: 1947000 | #Constraints: 138467
3141.76/3150.94 c #Conflicts: 1948000 | #Constraints: 139467
3141.76/3150.94 c #Conflicts: 1949000 | #Constraints: 140469
3141.76/3150.94 c #Conflicts: 1950000 | #Constraints: 141469
3141.76/3150.94 c #Conflicts: 1951000 | #Constraints: 142472
3141.76/3150.94 c #Conflicts: 1952000 | #Constraints: 143475
3141.76/3150.94 c #Conflicts: 1953000 | #Constraints: 144476
3141.76/3150.94 c #Conflicts: 1954000 | #Constraints: 145477
3141.76/3150.94 c #Conflicts: 1955000 | #Constraints: 146477
3141.76/3150.94 c #Conflicts: 1956000 | #Constraints: 147478
3141.76/3150.94 c #Conflicts: 1957000 | #Constraints: 148479
3141.76/3150.94 c #Conflicts: 1958000 | #Constraints: 149479
3141.76/3150.94 c #Conflicts: 1959000 | #Constraints: 150480
3141.76/3150.94 c #Conflicts: 1960000 | #Constraints: 151480
3141.76/3150.94 c #Conflicts: 1961000 | #Constraints: 152481
3141.76/3150.94 c #Conflicts: 1962000 | #Constraints: 153481
3141.76/3150.94 c #Conflicts: 1963000 | #Constraints: 154482
3141.76/3150.94 c #Conflicts: 1964000 | #Constraints: 155485
3141.76/3150.94 c #Conflicts: 1965000 | #Constraints: 156485
3141.76/3150.94 c #Conflicts: 1966000 | #Constraints: 157485
3141.76/3150.94 c #Conflicts: 1967000 | #Constraints: 158486
3141.76/3150.94 c #Conflicts: 1968000 | #Constraints: 159488
3141.76/3150.94 c #Conflicts: 1969000 | #Constraints: 160495
3141.76/3150.94 c #Conflicts: 1970000 | #Constraints: 161495
3141.76/3150.94 c #Conflicts: 1971000 | #Constraints: 162495
3141.76/3150.94 c #Conflicts: 1972000 | #Constraints: 163495
3141.76/3150.94 c #Conflicts: 1973000 | #Constraints: 164495
3141.76/3150.94 c #Conflicts: 1974000 | #Constraints: 165495
3141.76/3150.94 c #Conflicts: 1975000 | #Constraints: 166495
3141.76/3150.94 c #Conflicts: 1976000 | #Constraints: 167495
3141.76/3150.94 c #Conflicts: 1977000 | #Constraints: 168495
3141.76/3150.94 c #Conflicts: 1978000 | #Constraints: 169495
3141.76/3150.94 c #Conflicts: 1979000 | #Constraints: 170495
3141.76/3150.94 c #Conflicts: 1980000 | #Constraints: 171495
3141.76/3150.94 c #Conflicts: 1981000 | #Constraints: 172495
3141.76/3150.94 c #Conflicts: 1982000 | #Constraints: 173495
3141.76/3150.94 c #Conflicts: 1983000 | #Constraints: 174495
3141.76/3150.94 c #Conflicts: 1984000 | #Constraints: 175495
3141.76/3150.94 c #Conflicts: 1985000 | #Constraints: 176495
3141.76/3150.94 c #Conflicts: 1986000 | #Constraints: 177495
3141.76/3150.94 c #Conflicts: 1987000 | #Constraints: 178495
3141.76/3150.94 c #Conflicts: 1988000 | #Constraints: 179495
3141.76/3150.94 c #Conflicts: 1989000 | #Constraints: 180495
3141.76/3150.94 c #Conflicts: 1990000 | #Constraints: 181495
3141.76/3150.94 c #Conflicts: 1991000 | #Constraints: 182495
3141.76/3150.94 c #Conflicts: 1992000 | #Constraints: 183495
3141.76/3150.94 c #Conflicts: 1993000 | #Constraints: 184495
3141.76/3150.94 c #Conflicts: 1994000 | #Constraints: 185495
3141.76/3150.94 c #Conflicts: 1995000 | #Constraints: 186495
3141.76/3150.94 c #Conflicts: 1996000 | #Constraints: 187495
3295.76/3305.36 c #Conflicts: 1997000 | #Constraints: 188495
3295.76/3305.36 c #Conflicts: 1998000 | #Constraints: 189495
3295.76/3305.36 c #Conflicts: 1999000 | #Constraints: 190495
3295.76/3305.36 c INPROCESSING
3295.76/3305.36 c GARBAGE COLLECT
3295.76/3305.36 c #Conflicts: 2000000 | #Constraints: 120343
3295.76/3305.36 c #Conflicts: 2001000 | #Constraints: 121343
3295.76/3305.36 c #Conflicts: 2002000 | #Constraints: 122343
3295.76/3305.36 c #Conflicts: 2003000 | #Constraints: 123343
3295.76/3305.36 c #Conflicts: 2004000 | #Constraints: 124343
3295.76/3305.36 c #Conflicts: 2005000 | #Constraints: 125343
3295.76/3305.36 c #Conflicts: 2006000 | #Constraints: 126343
3295.76/3305.36 c #Conflicts: 2007000 | #Constraints: 127343
3295.76/3305.36 c #Conflicts: 2008000 | #Constraints: 128343
3295.76/3305.36 c #Conflicts: 2009000 | #Constraints: 129343
3295.76/3305.36 c #Conflicts: 2010000 | #Constraints: 130343
3295.76/3305.36 c #Conflicts: 2011000 | #Constraints: 131343
3295.76/3305.36 c #Conflicts: 2012000 | #Constraints: 132343
3295.76/3305.36 c #Conflicts: 2013000 | #Constraints: 133343
3295.76/3305.36 c #Conflicts: 2014000 | #Constraints: 134343
3295.76/3305.36 c #Conflicts: 2015000 | #Constraints: 135343
3295.76/3305.36 c #Conflicts: 2016000 | #Constraints: 136343
3295.76/3305.36 c #Conflicts: 2017000 | #Constraints: 137343
3295.76/3305.36 c #Conflicts: 2018000 | #Constraints: 138343
3295.76/3305.36 c #Conflicts: 2019000 | #Constraints: 139343
3295.76/3305.36 c #Conflicts: 2020000 | #Constraints: 140343
3295.76/3305.36 c #Conflicts: 2021000 | #Constraints: 141343
3295.76/3305.36 c #Conflicts: 2022000 | #Constraints: 142343
3295.76/3305.36 c #Conflicts: 2023000 | #Constraints: 143343
3295.76/3305.36 c #Conflicts: 2024000 | #Constraints: 144343
3295.76/3305.36 c #Conflicts: 2025000 | #Constraints: 145343
3295.76/3305.36 c #Conflicts: 2026000 | #Constraints: 146343
3295.76/3305.36 c #Conflicts: 2027000 | #Constraints: 147343
3295.76/3305.36 c #Conflicts: 2028000 | #Constraints: 148343
3295.76/3305.36 c #Conflicts: 2029000 | #Constraints: 149343
3295.76/3305.36 c #Conflicts: 2030000 | #Constraints: 150343
3295.76/3305.36 c #Conflicts: 2031000 | #Constraints: 151343
3295.76/3305.36 c INPROCESSING
3295.76/3305.36 c GARBAGE COLLECT
3295.76/3305.36 c #Conflicts: 2032000 | #Constraints: 100612
3295.76/3305.36 c #Conflicts: 2033000 | #Constraints: 101612
3295.76/3305.36 c #Conflicts: 2034000 | #Constraints: 102612
3295.76/3305.36 c #Conflicts: 2035000 | #Constraints: 103612
3295.76/3305.36 c #Conflicts: 2036000 | #Constraints: 104612
3295.76/3305.36 c #Conflicts: 2037000 | #Constraints: 105612
3295.76/3305.36 c #Conflicts: 2038000 | #Constraints: 106612
3295.76/3305.36 c #Conflicts: 2039000 | #Constraints: 107612
3295.76/3305.36 c #Conflicts: 2040000 | #Constraints: 108612
3295.76/3305.36 c #Conflicts: 2041000 | #Constraints: 109612
3295.76/3305.36 c #Conflicts: 2042000 | #Constraints: 110612
3295.76/3305.36 c #Conflicts: 2043000 | #Constraints: 111612
3295.76/3305.36 c #Conflicts: 2044000 | #Constraints: 112613
3295.76/3305.36 c #Conflicts: 2045000 | #Constraints: 113616
3295.76/3305.36 c #Conflicts: 2046000 | #Constraints: 114617
3295.76/3305.36 c #Conflicts: 2047000 | #Constraints: 115617
3295.76/3305.36 c #Conflicts: 2048000 | #Constraints: 116618
3295.76/3305.36 c #Conflicts: 2049000 | #Constraints: 117618
3295.76/3305.36 c #Conflicts: 2050000 | #Constraints: 118619
3295.76/3305.36 c #Conflicts: 2051000 | #Constraints: 119620
3295.76/3305.36 c #Conflicts: 2052000 | #Constraints: 120620
3295.76/3305.36 c #Conflicts: 2053000 | #Constraints: 121620
3295.76/3305.36 c #Conflicts: 2054000 | #Constraints: 122620
3295.76/3305.36 c #Conflicts: 2055000 | #Constraints: 123620
3295.76/3305.36 c #Conflicts: 2056000 | #Constraints: 124620
3295.76/3305.36 c #Conflicts: 2057000 | #Constraints: 125620
3295.76/3305.36 c #Conflicts: 2058000 | #Constraints: 126620
3295.76/3305.36 c #Conflicts: 2059000 | #Constraints: 127621
3295.76/3305.36 c #Conflicts: 2060000 | #Constraints: 128621
3295.76/3305.36 c #Conflicts: 2061000 | #Constraints: 129623
3295.76/3305.36 c #Conflicts: 2062000 | #Constraints: 130623
3295.76/3305.36 c #Conflicts: 2063000 | #Constraints: 131623
3295.76/3305.36 c #Conflicts: 2064000 | #Constraints: 132623
3295.76/3305.36 c INPROCESSING
3295.76/3305.36 c GARBAGE COLLECT
3295.76/3305.36 c #Conflicts: 2065000 | #Constraints: 91526
3295.76/3305.36 c #Conflicts: 2066000 | #Constraints: 92526
3295.76/3305.36 c #Conflicts: 2067000 | #Constraints: 93527
3295.76/3305.36 c #Conflicts: 2068000 | #Constraints: 94527
3295.76/3305.36 c #Conflicts: 2069000 | #Constraints: 95527
3295.76/3305.36 c #Conflicts: 2070000 | #Constraints: 96527
3295.76/3305.36 c #Conflicts: 2071000 | #Constraints: 97527
3295.76/3305.36 c #Conflicts: 2072000 | #Constraints: 98527
3461.53/3471.51 c #Conflicts: 2073000 | #Constraints: 99527
3461.53/3471.51 c #Conflicts: 2074000 | #Constraints: 100527
3461.53/3471.51 c #Conflicts: 2075000 | #Constraints: 101527
3461.53/3471.51 c #Conflicts: 2076000 | #Constraints: 102527
3461.53/3471.51 c #Conflicts: 2077000 | #Constraints: 103527
3461.53/3471.51 c #Conflicts: 2078000 | #Constraints: 104528
3461.53/3471.51 c #Conflicts: 2079000 | #Constraints: 105529
3461.53/3471.51 c #Conflicts: 2080000 | #Constraints: 106529
3461.53/3471.51 c #Conflicts: 2081000 | #Constraints: 107530
3461.53/3471.51 c #Conflicts: 2082000 | #Constraints: 108530
3461.53/3471.51 c #Conflicts: 2083000 | #Constraints: 109531
3461.53/3471.51 c #Conflicts: 2084000 | #Constraints: 110532
3461.53/3471.51 c #Conflicts: 2085000 | #Constraints: 111533
3461.53/3471.51 c #Conflicts: 2086000 | #Constraints: 112533
3461.53/3471.51 c #Conflicts: 2087000 | #Constraints: 113533
3461.53/3471.51 c #Conflicts: 2088000 | #Constraints: 114533
3461.53/3471.51 c #Conflicts: 2089000 | #Constraints: 115533
3461.53/3471.51 c #Conflicts: 2090000 | #Constraints: 116533
3461.53/3471.51 c #Conflicts: 2091000 | #Constraints: 117533
3461.53/3471.51 c #Conflicts: 2092000 | #Constraints: 118533
3461.53/3471.51 c #Conflicts: 2093000 | #Constraints: 119533
3461.53/3471.51 c #Conflicts: 2094000 | #Constraints: 120533
3461.53/3471.51 c #Conflicts: 2095000 | #Constraints: 121533
3461.53/3471.51 c #Conflicts: 2096000 | #Constraints: 122533
3461.53/3471.51 c INPROCESSING
3461.53/3471.51 c GARBAGE COLLECT
3461.53/3471.51 c #Conflicts: 2097000 | #Constraints: 86024
3461.53/3471.51 c #Conflicts: 2098000 | #Constraints: 87024
3461.53/3471.51 c #Conflicts: 2099000 | #Constraints: 88024
3461.53/3471.51 c #Conflicts: 2100000 | #Constraints: 89024
3461.53/3471.51 c #Conflicts: 2101000 | #Constraints: 90024
3461.53/3471.51 c #Conflicts: 2102000 | #Constraints: 91024
3461.53/3471.51 c #Conflicts: 2103000 | #Constraints: 92024
3461.53/3471.51 c #Conflicts: 2104000 | #Constraints: 93024
3461.53/3471.51 c #Conflicts: 2105000 | #Constraints: 94024
3461.53/3471.51 c #Conflicts: 2106000 | #Constraints: 95024
3461.53/3471.51 c #Conflicts: 2107000 | #Constraints: 96024
3461.53/3471.51 c #Conflicts: 2108000 | #Constraints: 97070
3461.53/3471.51 c #Conflicts: 2109000 | #Constraints: 98070
3461.53/3471.51 c #Conflicts: 2110000 | #Constraints: 99070
3461.53/3471.51 c #Conflicts: 2111000 | #Constraints: 100071
3461.53/3471.51 c #Conflicts: 2112000 | #Constraints: 101072
3461.53/3471.51 c #Conflicts: 2113000 | #Constraints: 102072
3461.53/3471.51 c #Conflicts: 2114000 | #Constraints: 103072
3461.53/3471.51 c #Conflicts: 2115000 | #Constraints: 104072
3461.53/3471.51 c #Conflicts: 2116000 | #Constraints: 105072
3461.53/3471.51 c #Conflicts: 2117000 | #Constraints: 106072
3461.53/3471.51 c #Conflicts: 2118000 | #Constraints: 107072
3461.53/3471.51 c #Conflicts: 2119000 | #Constraints: 108072
3461.53/3471.51 c #Conflicts: 2120000 | #Constraints: 109072
3461.53/3471.51 c #Conflicts: 2121000 | #Constraints: 110072
3461.53/3471.51 c #Conflicts: 2122000 | #Constraints: 111072
3461.53/3471.51 c #Conflicts: 2123000 | #Constraints: 112072
3461.53/3471.51 c #Conflicts: 2124000 | #Constraints: 113072
3461.53/3471.51 c #Conflicts: 2125000 | #Constraints: 114072
3461.53/3471.51 c #Conflicts: 2126000 | #Constraints: 115073
3461.53/3471.51 c #Conflicts: 2127000 | #Constraints: 116075
3461.53/3471.51 c #Conflicts: 2128000 | #Constraints: 117075
3461.53/3471.51 c #Conflicts: 2129000 | #Constraints: 118076
3461.53/3471.51 c #Conflicts: 2130000 | #Constraints: 119076
3461.53/3471.51 c #Conflicts: 2131000 | #Constraints: 120076
3461.53/3471.51 c #Conflicts: 2132000 | #Constraints: 121076
3461.53/3471.51 c #Conflicts: 2133000 | #Constraints: 122076
3461.53/3471.51 c #Conflicts: 2134000 | #Constraints: 123076
3461.53/3471.51 c #Conflicts: 2135000 | #Constraints: 124076
3461.53/3471.51 c #Conflicts: 2136000 | #Constraints: 125076
3461.53/3471.51 c #Conflicts: 2137000 | #Constraints: 126077
3461.53/3471.51 c #Conflicts: 2138000 | #Constraints: 127079
3461.53/3471.51 c #Conflicts: 2139000 | #Constraints: 128079
3461.53/3471.51 c #Conflicts: 2140000 | #Constraints: 129081
3461.53/3471.51 c #Conflicts: 2141000 | #Constraints: 130082
3461.53/3471.51 c #Conflicts: 2142000 | #Constraints: 131082
3461.53/3471.51 c #Conflicts: 2143000 | #Constraints: 132082
3461.53/3471.51 c #Conflicts: 2144000 | #Constraints: 133083
3461.53/3471.51 c #Conflicts: 2145000 | #Constraints: 134084
3461.53/3471.51 c #Conflicts: 2146000 | #Constraints: 135085
3461.53/3471.51 c #Conflicts: 2147000 | #Constraints: 136085
3461.53/3471.51 c #Conflicts: 2148000 | #Constraints: 137086
3461.53/3471.51 c #Conflicts: 2149000 | #Constraints: 138087
3461.53/3471.51 c #Conflicts: 2150000 | #Constraints: 139087
3461.53/3471.51 c #Conflicts: 2151000 | #Constraints: 140087
3600.03/3610.40 c #Conflicts: 2152000 | #Constraints: 141088
3600.03/3610.40 c #Conflicts: 2153000 | #Constraints: 142088
3600.03/3610.40 c #Conflicts: 2154000 | #Constraints: 143088
3600.03/3610.40 c #Conflicts: 2155000 | #Constraints: 144089
3600.03/3610.40 c #Conflicts: 2156000 | #Constraints: 145089
3600.03/3610.40 c #Conflicts: 2157000 | #Constraints: 146089
3600.03/3610.40 c #Conflicts: 2158000 | #Constraints: 147090
3600.03/3610.40 c #Conflicts: 2159000 | #Constraints: 148095
3600.03/3610.40 c #Conflicts: 2160000 | #Constraints: 149095
3600.03/3610.40 c #Conflicts: 2161000 | #Constraints: 150095
3600.03/3610.40 c #Conflicts: 2162000 | #Constraints: 151096
3600.03/3610.40 c #Conflicts: 2163000 | #Constraints: 152096
3600.03/3610.40 c #Conflicts: 2164000 | #Constraints: 153098
3600.03/3610.40 c #Conflicts: 2165000 | #Constraints: 154098
3600.03/3610.40 c #Conflicts: 2166000 | #Constraints: 155098
3600.03/3610.40 c #Conflicts: 2167000 | #Constraints: 156098
3600.03/3610.40 c #Conflicts: 2168000 | #Constraints: 157098
3600.03/3610.40 c #Conflicts: 2169000 | #Constraints: 158098
3600.03/3610.40 c #Conflicts: 2170000 | #Constraints: 159098
3600.03/3610.40 c #Conflicts: 2171000 | #Constraints: 160098
3600.03/3610.40 c #Conflicts: 2172000 | #Constraints: 161098
3600.03/3610.40 c #Conflicts: 2173000 | #Constraints: 162098
3600.03/3610.40 c #Conflicts: 2174000 | #Constraints: 163098
3600.03/3610.40 c #Conflicts: 2175000 | #Constraints: 164098
3600.03/3610.40 c #Conflicts: 2176000 | #Constraints: 165098
3600.03/3610.40 c #Conflicts: 2177000 | #Constraints: 166098
3600.03/3610.40 c #Conflicts: 2178000 | #Constraints: 167098
3600.03/3610.40 c #Conflicts: 2179000 | #Constraints: 168098
3600.03/3610.40 c #Conflicts: 2180000 | #Constraints: 169098
3600.03/3610.40 c #Conflicts: 2181000 | #Constraints: 170098
3600.03/3610.40 c #Conflicts: 2182000 | #Constraints: 171098
3600.03/3610.40 c #Conflicts: 2183000 | #Constraints: 172098
3600.03/3610.40 c #Conflicts: 2184000 | #Constraints: 173098
3600.03/3610.40 c #Conflicts: 2185000 | #Constraints: 174098
3600.03/3610.40 c #Conflicts: 2186000 | #Constraints: 175098
3600.03/3610.40 c #Conflicts: 2187000 | #Constraints: 176099
3600.03/3610.40 c #Conflicts: 2188000 | #Constraints: 177099
3600.03/3610.40 c #Conflicts: 2189000 | #Constraints: 178099
3600.03/3610.40 c #Conflicts: 2190000 | #Constraints: 179099
3600.03/3610.40 c #Conflicts: 2191000 | #Constraints: 180099
3600.03/3610.40 c #Conflicts: 2192000 | #Constraints: 181099
3600.03/3610.40 c #Conflicts: 2193000 | #Constraints: 182099
3600.03/3610.40 c #Conflicts: 2194000 | #Constraints: 183099
3600.03/3610.40 c #Conflicts: 2195000 | #Constraints: 184099
3600.03/3610.40 c #Conflicts: 2196000 | #Constraints: 185099
3600.03/3610.40 c #Conflicts: 2197000 | #Constraints: 186099
3600.03/3610.40 c #Conflicts: 2198000 | #Constraints: 187100
3600.03/3610.40 c #Conflicts: 2199000 | #Constraints: 188101
3600.03/3610.40 c #Conflicts: 2200000 | #Constraints: 189101
3600.03/3610.40 c #Conflicts: 2201000 | #Constraints: 190104
3600.03/3610.40 c #Conflicts: 2202000 | #Constraints: 191104
3600.03/3610.40 c #Conflicts: 2203000 | #Constraints: 192104
3600.03/3610.40 c cpu time 3584.62 s
3600.03/3610.40 c deterministic time 261126747114 2.61e+11
3600.03/3610.40 c optimization time 253.798 s
3600.03/3610.40 c total solve time 3330.65 s
3600.03/3610.40 c core-guided solve time 0 s
3600.03/3610.40 c propagation time 1950.12 s
3600.03/3610.40 c conflict analysis time 1533.6 s
3600.03/3610.40 c propagations 829045682
3600.03/3610.40 c resolve steps 101929687
3600.03/3610.40 c decisions 3745157
3600.03/3610.40 c conflicts 2203083
3600.03/3610.40 c restarts 4093
3600.03/3610.40 c inprocessing phases 87
3600.03/3610.40 c garbage collections 87 ,( 100.00 )
3600.03/3610.40 c input clauses 44885 ,( 93.49 )
3600.03/3610.40 c input cardinalities 45 ,( 0.09 )
3600.03/3610.40 c input general constraints 3079 ,( 6.41 )
3600.03/3610.40 c input average constraint length 2.20
3600.03/3610.40 c input average constraint degree 1.31
3600.03/3610.40 c learned clauses 2129389 ,( 96.63 )
3600.03/3610.40 c learned cardinalities 21671 ,( 0.98 )
3600.03/3610.40 c learned general constraints 52605 ,( 2.39 )
3600.03/3610.40 c learned average constraint length 804.39
3600.03/3610.40 c learned average constraint degree 1293201.13
3600.03/3610.40 c watched CF 32, 64, 128, Arb: 42526 , 0 , 0 , 0
3600.03/3610.40 c counting CF 32, 64, 128, Arb: 13158 , 0 , 0 , 0
3600.03/3610.40 c watched constraints 42526 ,( 76.37 )
3600.03/3610.40 c counting constraints 13158 ,( 23.63 )
3600.03/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10354306187 , 1392544474 , 2165901827 ,( 480658783 , 1685243044 )
3600.03/3610.40 c gcd simplifications 9019
3600.03/3610.40 c detected cardinalities 380
3600.03/3610.40 c weakened non-implied lits 10002120
3600.03/3610.40 c weakened non-implying lits 9223
3600.03/3610.40 c original variables 4115
3600.03/3610.40 c clausal propagations 300043378
3600.03/3610.40 c cardinality propagations 13628691
3600.03/3610.40 c watched propagations 3899321
3600.03/3610.40 c counting propagations 509217067
3600.03/3610.40 c watch lookups 39752477861
3600.03/3610.40 c watch backjump lookups 0
3600.03/3610.40 c watch checks 187234657236
3600.03/3610.40 c propagation checks 28896859152
3600.03/3610.40 c constraint additions 3574567149
3600.03/3610.40 c trail pops 834990313
3600.03/3610.40 c formula constraints 48009
3600.03/3610.40 c learned constraints 2203082
3600.03/3610.40 c bound constraints 0
3600.03/3610.40 c core-guided constraints 0
3600.03/3610.40 c encountered formula constraints 78665845
3600.03/3610.40 c encountered learned constraints 25464590
3600.03/3610.40 c encountered bound constraints 0
3600.03/3610.40 c encountered core-guided constraints 0
3600.03/3610.40 c LP total time 74.1033 s
3600.03/3610.40 c LP solve time 64.34 s
3600.03/3610.40 c LP constraints added 48494
3600.03/3610.40 c LP constraints removed 379
3600.03/3610.40 c LP pivots internal 220615
3600.03/3610.40 c LP pivots root 183948
3600.03/3610.40 c LP calls 703
3600.03/3610.40 c LP optimalities 100
3600.03/3610.40 c LP no pivot count 0
3600.03/3610.40 c LP infeasibilities 526
3600.03/3610.40 c LP valid Farkas constraints 526
3600.03/3610.40 c LP learned Farkas constraints 0
3600.03/3610.40 c LP basis resets 73
3600.03/3610.40 c LP cycling count 11
3600.03/3610.40 c LP singular count 14
3600.03/3610.40 c LP no primal count 0
3600.03/3610.40 c LP no farkas count 0
3600.03/3610.40 c LP other issue count 48
3600.03/3610.40 c LP Gomory cuts 57
3600.03/3610.40 c LP learned cuts 428
3600.03/3610.40 c LP deleted cuts 379
3600.03/3610.40 c LP encountered Gomory constraints 880
3600.03/3610.40 c LP encountered Farkas constraints 1455
3600.03/3610.40 c LP encountered learned Farkas constraints 0
3600.03/3610.40 c CG auxiliary variables introduced 0
3600.03/3610.40 c CG solutions found 0
3600.03/3610.40 c CG cores constructed 0
3600.03/3610.40 c CG core cardinality constraints returned 0
3600.03/3610.40 c CG unit cores 0
3600.03/3610.40 c CG single cores 0
3600.03/3610.40 c CG blocks removed during cardinality reduction 0
3600.03/3610.40 c CG first core best 0
3600.03/3610.40 c CG decision core best 0
3600.03/3610.40 c CG core reduction tie 0
3600.03/3610.40 c CG core degree average 0.00
3600.03/3610.40 c CG core slack average 0.00
3600.03/3610.40 c CG core upper bound improvements 0
3600.03/3610.40 c STR number of successful calls 0
3600.03/3610.40 c STR number of unsuccessful calls 0
3600.03/3610.40 c STR number of inconclusive calls 0
3600.03/3610.40 c STR number of successful attempts 0
3600.03/3610.40 c STR number of unsuccessful attempts 0
3600.03/3610.40 c STR number of inconclusive attempts 0
3600.03/3610.40 c STR average degree increase per successful call inf
3600.03/3610.40 c STR average degree increase per successful attempt inf
3600.03/3610.40 c STR total number of conflicts for successful attempts 0
3600.03/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.40 c STR average number of conflicts per successful attempt inf
3600.03/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.40 c AVG.sumWPerc 27.62
3600.03/3610.40 c bigint constraints 0
3600.03/3610.40 s UNKNOWN
3600.03/3610.40 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: 63708 MiB (62703 MiB free)
memory of node 1: 64465 MiB (62391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545233-1753234346/watcher-4545233-1753234346 -o /tmp/evaluation-result-4545233-1753234346/solver-4545233-1753234346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753234346-162781 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545233-1753234346.opb /tmp/proof-4545233-1753234346
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162834, runsolver pid=162825
[startup+0.100057 s]*
/proc/loadavg: 1.14 1.65 2.00 4/267 162842
/proc/meminfo: memFree=128068548/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=59096 memory=14652 CPUtime=0.07 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 1414 0 0 0 5 2 0 0 20 0 1 0 239112495 60514304 3663 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 14774 3663 2016 1147 0 2201 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 17596 KiB
[startup+0.204999 s]*
/proc/loadavg: 1.14 1.65 2.00 4/266 162850
/proc/meminfo: memFree=128005604/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=81860 memory=35072 CPUtime=0.17 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 5513 0 0 0 14 3 0 0 20 0 1 0 239112495 83824640 8768 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 20465 8768 2304 1147 0 7892 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 86052 KiB
Current children cumulated memory: 38016 KiB
[startup+0.305693 s]*
/proc/loadavg: 1.14 1.65 2.00 5/266 162850
/proc/meminfo: memFree=127953420/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=121772 memory=69156 CPUtime=0.28 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 10616 0 0 0 23 5 0 0 20 0 1 0 239112495 124694528 17289 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 30443 17289 2304 1147 0 17870 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 125964 KiB
Current children cumulated memory: 72100 KiB
[startup+0.700143 s]
/proc/loadavg: 1.14 1.65 2.00 4/266 162850
/proc/meminfo: memFree=127912424/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=121772 memory=71636 CPUtime=0.67 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 10647 0 0 0 61 6 0 0 20 0 1 0 239112495 124694528 17909 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 30443 17909 2368 1147 0 17870 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 125964 KiB
Current children cumulated memory: 74580 KiB
[startup+1.50015 s]
/proc/loadavg: 1.14 1.65 2.00 4/266 162850
/proc/meminfo: memFree=127777364/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=124492 memory=72404 CPUtime=1.46 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 10873 0 0 0 139 7 0 0 20 0 1 0 239112495 127479808 18101 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 31123 18101 2368 1147 0 18550 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 128684 KiB
Current children cumulated memory: 75348 KiB
[startup+3.10565 s]
/proc/loadavg: 1.14 1.65 2.00 5/271 162888
/proc/meminfo: memFree=127474640/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=128912 memory=74580 CPUtime=3.06 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 11417 0 0 0 296 10 0 0 20 0 1 0 239112495 132005888 18645 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 32228 18645 2368 1147 0 19655 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 133104 KiB
Current children cumulated memory: 77524 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 1.69 2.01 5/271 162888
/proc/meminfo: memFree=127341680/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=128912 memory=77224 CPUtime=6.25 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 11519 0 0 0 611 14 0 0 20 0 1 0 239112495 132005888 19306 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 32228 19306 2400 1147 0 19655 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 133104 KiB
Current children cumulated memory: 80168 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.73 2.02 5/271 162888
/proc/meminfo: memFree=127280424/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=137520 memory=86588 CPUtime=12.62 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 13365 0 0 0 1242 20 0 0 20 0 1 0 239112495 140820480 21647 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 34380 21647 2400 1147 0 21807 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 141712 KiB
Current children cumulated memory: 89532 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.84 2.05 5/271 162889
/proc/meminfo: memFree=127172060/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=150776 memory=98572 CPUtime=25.39 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 15332 0 0 0 2506 33 0 0 20 0 1 0 239112495 154394624 24643 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 37694 24643 2400 1147 0 25121 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 154968 KiB
Current children cumulated memory: 101516 KiB
[startup+51.1056 s]
/proc/loadavg: 2.95 2.06 2.12 5/271 162889
/proc/meminfo: memFree=127026464/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=160208 memory=109324 CPUtime=50.91 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 18045 0 0 0 5035 56 0 0 20 0 1 0 239112495 164052992 27331 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 40052 27331 2400 1147 0 27479 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 164400 KiB
Current children cumulated memory: 112268 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.38 2.22 5/272 162892
/proc/meminfo: memFree=126691192/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=221156 memory=151028 CPUtime=101.93 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 19386 0 0 0 10096 97 0 0 20 0 1 0 239112495 226463744 37757 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 55289 37757 2400 1147 0 42716 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 225348 KiB
Current children cumulated memory: 153972 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.69 2.34 5/270 162894
/proc/meminfo: memFree=126355644/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=302824 memory=212492 CPUtime=161.74 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 26661 0 0 0 16033 141 0 0 20 0 1 0 239112495 310091776 53123 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 75706 53123 2496 1147 0 63133 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 307016 KiB
Current children cumulated memory: 215436 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.95 2.46 5/270 162897
/proc/meminfo: memFree=126082932/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=385960 memory=254500 CPUtime=221.55 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 27480 0 0 0 21981 174 0 0 20 0 1 0 239112495 395223040 63625 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
################
# More data... #
################
/proc/162837/statm: 205513 145042 2496 1147 0 192940 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 826244 KiB
Current children cumulated memory: 583112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.22 4.12 5/269 163147
/proc/meminfo: memFree=116461728/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=822052 memory=580168 CPUtime=3093.3 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44275 0 0 0 307947 1383 0 0 20 0 1 0 239112495 841781248 145042 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 205513 145042 2496 1147 0 192940 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 826244 KiB
Current children cumulated memory: 583112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.21 4.12 5/268 163149
/proc/meminfo: memFree=116286916/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=822052 memory=580168 CPUtime=3153.13 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44304 0 0 0 313914 1399 0 0 20 0 1 0 239112495 841781248 145042 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 205513 145042 2496 1147 0 192940 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 826244 KiB
Current children cumulated memory: 583112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.11 5/268 163152
/proc/meminfo: memFree=116102440/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825364 memory=583516 CPUtime=3212.97 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44651 0 0 0 319880 1417 0 0 20 0 1 0 239112495 845172736 145879 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206341 145879 2496 1147 0 193768 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 829556 KiB
Current children cumulated memory: 586460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.18 4.11 5/267 163154
/proc/meminfo: memFree=115904696/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825364 memory=583516 CPUtime=3272.81 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44651 0 0 0 325845 1436 0 0 20 0 1 0 239112495 845172736 145879 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206341 145879 2496 1147 0 193768 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 829556 KiB
Current children cumulated memory: 586460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/267 163156
/proc/meminfo: memFree=115710328/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=583772 CPUtime=3332.66 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44718 0 0 0 331803 1463 0 0 20 0 1 0 239112495 845570048 145943 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 145943 2496 1147 0 193865 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 586716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/267 163158
/proc/meminfo: memFree=115468112/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=583900 CPUtime=3392.5 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44722 0 0 0 337767 1483 0 0 20 0 1 0 239112495 845570048 145975 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 145975 2496 1147 0 193865 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 586844 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/267 163160
/proc/meminfo: memFree=115241668/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=583900 CPUtime=3452.36 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44722 0 0 0 343736 1500 0 0 20 0 1 0 239112495 845570048 145975 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 145975 2496 1147 0 193865 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 586844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/266 163162
/proc/meminfo: memFree=115006740/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=583900 CPUtime=3512.2 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44722 0 0 0 349703 1517 0 0 20 0 1 0 239112495 845570048 145975 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 145975 2496 1147 0 193865 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 586844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/267 163170
/proc/meminfo: memFree=114805964/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=633056 CPUtime=3572.03 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 44753 0 0 0 355671 1532 0 0 20 0 1 0 239112495 845570048 158264 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 158264 2496 1147 0 193865 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 636000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 163172
/proc/meminfo: memFree=114715400/131249996 swapFree=33000896/33010684
[pid=162834] ppid=162825 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/162834/stat : 162834 (run-dec-log.sh) S 162825 162834 162769 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112494 4292608 736 18446744073709551615 94296714440704 94296715335237 140723656473888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94296715574288 94296715622032 94296718503936 140723656481093 140723656481250 140723656481250 140723656486854 0
/proc/162834/statm: 1048 736 672 219 0 110 0
[pid=162837] ppid=162834 vsize=825752 memory=669920 CPUtime=3600.03 cores=1,3
/proc/162837/stat : 162837 (roundingsat) R 162834 162834 162769 0 -1 4194304 45411 0 0 0 358462 1541 0 0 20 0 1 0 239112495 845570048 167480 18446744073709551615 4227072 8923433 140724180767328 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30203904 140724180773259 140724180773414 140724180773414 140724180778986 0
/proc/162837/statm: 206438 167480 2496 1147 0 193865 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 829944 KiB
Current children cumulated memory: 672864 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 162834 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.002922 s
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 162837 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.63 s, system=15.4255 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
Child status: 2
Real time (s): 3610.41
CPU time (s): 3600.06
CPU user time (s): 3584.63
CPU system time (s): 15.4255
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 829944
Max. memory (cumulated for all children) (KiB): 672864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.63
system time used= 15.4255
maximum resident set size= 670048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3684360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308
involuntary context switches= 6306
# summary of solver processes directly reported to runsolver:
# pid: 162834,162837
# total CPU time (s): 3600.06
# total CPU user time (s): 3584.63
# total CPU system time (s): 15.4255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91726 second user time and 15.7728 second system time
The end
Begin job on nodeC023 at 2025-07-23 03:32:26
IDJOB=4545233
IDBENCH=180780
IDSOLVER=3352
FILE ID=nodeC023/4545233-1753234346
RUNJOBID= nodeC023-1753234346-162781
SLURM_JOB_ID= 9687856
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545233-1753234346/watcher-4545233-1753234346 -o /tmp/evaluation-result-4545233-1753234346/solver-4545233-1753234346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1753234346-162781 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4545233-1753234346.opb /tmp/proof-4545233-1753234346
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=1501686839
nodeC023 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.832
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.78
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.888
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.78
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.890
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.78
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 : 3607.051
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.78
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 : 3598.294
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.78
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.903
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.78
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.885
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.78
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 : 3599.926
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128093808 kB
MemAvailable: 129686024 kB
Buffers: 16 kB
Cached: 2334496 kB
SwapCached: 2872 kB
Active: 753640 kB
Inactive: 1662596 kB
Active(anon): 47484 kB
Inactive(anon): 55056 kB
Active(file): 706156 kB
Inactive(file): 1607540 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000896 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 37608 kB
Writeback: 0 kB
AnonPages: 81996 kB
Mapped: 103056 kB
Shmem: 20816 kB
KReclaimable: 235516 kB
Slab: 331528 kB
SReclaimable: 235516 kB
SUnreclaim: 96012 kB
KernelStack: 4144 kB
PageTables: 3020 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 354280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 420836 MiB
End job on nodeC023 at 2025-07-23 04:32:37