0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.93/1.06 c #variables 2346 #constraints 209576
0.93/1.06 c objective is ce32
1.32/1.44 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.32/1.44 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.32/1.44 c GLOBAL bounds - >= -1983 @ 1.05264
1.32/1.45 c GLOBAL bounds - >= -1983 @ 1.06241
1.32/1.46 c GLOBAL bounds - >= -1983 @ 1.06606
1.32/1.46 c GLOBAL bounds - >= -1983 @ 1.0688
1.32/1.46 c GLOBAL bounds - >= -1983 @ 1.07193
1.32/1.47 c GLOBAL bounds - >= -1983 @ 1.07494
1.32/1.47 c GLOBAL bounds - >= -1983 @ 1.07802
1.32/1.47 c GLOBAL bounds - >= -1983 @ 1.08121
1.32/1.48 c GLOBAL bounds - >= -1983 @ 1.08445
1.32/1.48 c GLOBAL bounds - >= -1983 @ 1.08768
1.32/1.48 c GLOBAL bounds - >= -1983 @ 1.09086
1.32/1.49 c GLOBAL bounds - >= -1983 @ 1.09419
1.32/1.49 c GLOBAL bounds - >= -1983 @ 1.09753
1.32/1.49 c GLOBAL bounds - >= -1983 @ 1.10116
1.42/1.50 c GLOBAL bounds - >= -1983 @ 1.10564
1.42/1.51 c GLOBAL bounds - >= -1983 @ 1.11562
1.42/1.52 c GLOBAL bounds - >= -1983 @ 1.12582
1.42/1.53 c GLOBAL bounds - >= -1983 @ 1.14105
1.42/1.55 c GLOBAL bounds - >= -1983 @ 1.15607
1.42/1.56 c GLOBAL bounds - >= -1983 @ 1.16399
1.42/1.57 c GLOBAL bounds - >= -1983 @ 1.17302
1.52/1.62 c GLOBAL bounds - >= -1983 @ 1.23104
1.52/1.65 c GLOBAL bounds - >= -1983 @ 1.25494
1.52/1.67 c GLOBAL bounds - >= -1983 @ 1.27274
1.52/1.68 c GLOBAL bounds - >= -1983 @ 1.29041
1.62/1.70 c GLOBAL bounds - >= -1983 @ 1.30767
1.62/1.71 c GLOBAL bounds - >= -1983 @ 1.31628
1.62/1.72 c GLOBAL bounds - >= -1983 @ 1.32125
1.62/1.72 c GLOBAL bounds - >= -1983 @ 1.32543
1.62/1.72 c GLOBAL bounds - >= -1983 @ 1.32957
1.62/1.73 c GLOBAL bounds - >= -1983 @ 1.3336
1.62/1.73 c GLOBAL bounds - >= -1983 @ 1.33784
1.62/1.74 c GLOBAL bounds - >= -1983 @ 1.34118
2.11/2.20 c GLOBAL bounds - >= -1983 @ 1.79017
3.70/3.87 c #Conflicts: 1000 | #Constraints: 122596
3.70/3.87 c GLOBAL bounds - >= -1983 @ 3.44485
3.79/3.96 c GLOBAL bounds - >= -1983 @ 3.53277
4.18/4.32 c GLOBAL bounds - >= -1983 @ 3.8843
4.48/4.67 c GLOBAL bounds - >= -1983 @ 4.22898
6.38/6.56 c #Conflicts: 2000 | #Constraints: 123604
6.38/6.56 c INPROCESSING
6.38/6.56 c GARBAGE COLLECT
6.38/6.56 c GLOBAL bounds - >= -1983 @ 6.1075
7.37/7.55 c #Conflicts: 3000 | #Constraints: 123609
7.37/7.55 c GLOBAL bounds - >= -1983 @ 7.08151
9.76/9.99 c #Conflicts: 4000 | #Constraints: 124611
9.76/9.99 c INPROCESSING
9.76/9.99 c GARBAGE COLLECT
9.76/9.99 c GLOBAL bounds - >= -1983 @ 9.50491
11.06/11.28 c #Conflicts: 5000 | #Constraints: 124014
11.06/11.28 c GLOBAL bounds - >= -1983 @ 10.7825
13.65/13.81 c #Conflicts: 6000 | #Constraints: 125016
13.65/13.81 c GLOBAL bounds - >= -1983 @ 13.2995
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 7000 | #Constraints: 124019
171.93/172.56 c #Conflicts: 8000 | #Constraints: 125019
171.93/172.56 c #Conflicts: 9000 | #Constraints: 126019
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 10000 | #Constraints: 124720
171.93/172.56 c #Conflicts: 11000 | #Constraints: 125720
171.93/172.56 c #Conflicts: 12000 | #Constraints: 126720
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 13000 | #Constraints: 125171
171.93/172.56 c #Conflicts: 14000 | #Constraints: 126171
171.93/172.56 c #Conflicts: 15000 | #Constraints: 127171
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 16000 | #Constraints: 125399
171.93/172.56 c #Conflicts: 17000 | #Constraints: 126399
171.93/172.56 c #Conflicts: 18000 | #Constraints: 127399
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 19000 | #Constraints: 125413
171.93/172.56 c #Conflicts: 20000 | #Constraints: 126413
171.93/172.56 c #Conflicts: 21000 | #Constraints: 127413
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 22000 | #Constraints: 125218
171.93/172.56 c #Conflicts: 23000 | #Constraints: 126218
171.93/172.56 c #Conflicts: 24000 | #Constraints: 127218
171.93/172.56 c #Conflicts: 25000 | #Constraints: 128218
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 26000 | #Constraints: 125822
171.93/172.56 c #Conflicts: 27000 | #Constraints: 126822
171.93/172.56 c #Conflicts: 28000 | #Constraints: 127822
171.93/172.56 c #Conflicts: 29000 | #Constraints: 128822
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 30000 | #Constraints: 126222
171.93/172.56 c #Conflicts: 31000 | #Constraints: 127222
171.93/172.56 c #Conflicts: 32000 | #Constraints: 128222
171.93/172.56 c #Conflicts: 33000 | #Constraints: 129222
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 34000 | #Constraints: 126422
171.93/172.56 c #Conflicts: 35000 | #Constraints: 127422
171.93/172.56 c #Conflicts: 36000 | #Constraints: 128422
171.93/172.56 c #Conflicts: 37000 | #Constraints: 129422
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 38000 | #Constraints: 126425
171.93/172.56 c #Conflicts: 39000 | #Constraints: 127425
171.93/172.56 c #Conflicts: 40000 | #Constraints: 128425
171.93/172.56 c #Conflicts: 41000 | #Constraints: 129425
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 42000 | #Constraints: 126226
171.93/172.56 c #Conflicts: 43000 | #Constraints: 127226
171.93/172.56 c #Conflicts: 44000 | #Constraints: 128226
171.93/172.56 c #Conflicts: 45000 | #Constraints: 129226
171.93/172.56 c #Conflicts: 46000 | #Constraints: 130226
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 47000 | #Constraints: 126823
171.93/172.56 c #Conflicts: 48000 | #Constraints: 127823
171.93/172.56 c #Conflicts: 49000 | #Constraints: 128823
171.93/172.56 c #Conflicts: 50000 | #Constraints: 129823
171.93/172.56 c #Conflicts: 51000 | #Constraints: 130823
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 52000 | #Constraints: 127222
171.93/172.56 c #Conflicts: 53000 | #Constraints: 128222
171.93/172.56 c #Conflicts: 54000 | #Constraints: 129222
171.93/172.56 c #Conflicts: 55000 | #Constraints: 130222
171.93/172.56 c #Conflicts: 56000 | #Constraints: 131222
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 57000 | #Constraints: 127423
171.93/172.56 c #Conflicts: 58000 | #Constraints: 128423
171.93/172.56 c #Conflicts: 59000 | #Constraints: 129423
171.93/172.56 c #Conflicts: 60000 | #Constraints: 130423
171.93/172.56 c #Conflicts: 61000 | #Constraints: 131423
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 62000 | #Constraints: 127424
171.93/172.56 c #Conflicts: 63000 | #Constraints: 128424
171.93/172.56 c #Conflicts: 64000 | #Constraints: 129424
171.93/172.56 c #Conflicts: 65000 | #Constraints: 130424
171.93/172.56 c #Conflicts: 66000 | #Constraints: 131424
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 67000 | #Constraints: 127224
171.93/172.56 c #Conflicts: 68000 | #Constraints: 128224
171.93/172.56 c #Conflicts: 69000 | #Constraints: 129224
171.93/172.56 c #Conflicts: 70000 | #Constraints: 130224
171.93/172.56 c #Conflicts: 71000 | #Constraints: 131224
171.93/172.56 c #Conflicts: 72000 | #Constraints: 132224
171.93/172.56 c INPROCESSING
171.93/172.56 c GARBAGE COLLECT
171.93/172.56 c #Conflicts: 73000 | #Constraints: 127824
171.93/172.56 c #Conflicts: 74000 | #Constraints: 128824
327.81/328.80 c #Conflicts: 75000 | #Constraints: 129824
327.81/328.80 c #Conflicts: 76000 | #Constraints: 130824
327.81/328.80 c #Conflicts: 77000 | #Constraints: 131824
327.81/328.80 c #Conflicts: 78000 | #Constraints: 132824
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 79000 | #Constraints: 128224
327.81/328.80 c #Conflicts: 80000 | #Constraints: 129224
327.81/328.80 c #Conflicts: 81000 | #Constraints: 130224
327.81/328.80 c #Conflicts: 82000 | #Constraints: 131224
327.81/328.80 c #Conflicts: 83000 | #Constraints: 132224
327.81/328.80 c #Conflicts: 84000 | #Constraints: 133224
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 85000 | #Constraints: 128425
327.81/328.80 c #Conflicts: 86000 | #Constraints: 129425
327.81/328.80 c #Conflicts: 87000 | #Constraints: 130425
327.81/328.80 c #Conflicts: 88000 | #Constraints: 131425
327.81/328.80 c #Conflicts: 89000 | #Constraints: 132425
327.81/328.80 c #Conflicts: 90000 | #Constraints: 133425
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 91000 | #Constraints: 128423
327.81/328.80 c #Conflicts: 92000 | #Constraints: 129423
327.81/328.80 c #Conflicts: 93000 | #Constraints: 130423
327.81/328.80 c #Conflicts: 94000 | #Constraints: 131423
327.81/328.80 c #Conflicts: 95000 | #Constraints: 132423
327.81/328.80 c #Conflicts: 96000 | #Constraints: 133423
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 97000 | #Constraints: 128223
327.81/328.80 c #Conflicts: 98000 | #Constraints: 129223
327.81/328.80 c #Conflicts: 99000 | #Constraints: 130223
327.81/328.80 c #Conflicts: 100000 | #Constraints: 131223
327.81/328.80 c #Conflicts: 101000 | #Constraints: 132223
327.81/328.80 c #Conflicts: 102000 | #Constraints: 133223
327.81/328.80 c #Conflicts: 103000 | #Constraints: 134223
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 104000 | #Constraints: 128824
327.81/328.80 c #Conflicts: 105000 | #Constraints: 129824
327.81/328.80 c #Conflicts: 106000 | #Constraints: 130824
327.81/328.80 c #Conflicts: 107000 | #Constraints: 131824
327.81/328.80 c #Conflicts: 108000 | #Constraints: 132824
327.81/328.80 c #Conflicts: 109000 | #Constraints: 133824
327.81/328.80 c #Conflicts: 110000 | #Constraints: 134824
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 111000 | #Constraints: 129225
327.81/328.80 c #Conflicts: 112000 | #Constraints: 130225
327.81/328.80 c #Conflicts: 113000 | #Constraints: 131225
327.81/328.80 c #Conflicts: 114000 | #Constraints: 132225
327.81/328.80 c #Conflicts: 115000 | #Constraints: 133225
327.81/328.80 c #Conflicts: 116000 | #Constraints: 134225
327.81/328.80 c #Conflicts: 117000 | #Constraints: 135225
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 118000 | #Constraints: 129426
327.81/328.80 c #Conflicts: 119000 | #Constraints: 130426
327.81/328.80 c #Conflicts: 120000 | #Constraints: 131426
327.81/328.80 c #Conflicts: 121000 | #Constraints: 132426
327.81/328.80 c #Conflicts: 122000 | #Constraints: 133426
327.81/328.80 c #Conflicts: 123000 | #Constraints: 134426
327.81/328.80 c #Conflicts: 124000 | #Constraints: 135426
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 125000 | #Constraints: 129425
327.81/328.80 c #Conflicts: 126000 | #Constraints: 130425
327.81/328.80 c #Conflicts: 127000 | #Constraints: 131425
327.81/328.80 c #Conflicts: 128000 | #Constraints: 132425
327.81/328.80 c #Conflicts: 129000 | #Constraints: 133425
327.81/328.80 c #Conflicts: 130000 | #Constraints: 134425
327.81/328.80 c #Conflicts: 131000 | #Constraints: 135425
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 132000 | #Constraints: 129224
327.81/328.80 c #Conflicts: 133000 | #Constraints: 130224
327.81/328.80 c #Conflicts: 134000 | #Constraints: 131224
327.81/328.80 c #Conflicts: 135000 | #Constraints: 132224
327.81/328.80 c #Conflicts: 136000 | #Constraints: 133224
327.81/328.80 c #Conflicts: 137000 | #Constraints: 134224
327.81/328.80 c #Conflicts: 138000 | #Constraints: 135224
327.81/328.80 c #Conflicts: 139000 | #Constraints: 136224
327.81/328.80 c INPROCESSING
327.81/328.80 c GARBAGE COLLECT
327.81/328.80 c #Conflicts: 140000 | #Constraints: 129827
327.81/328.80 c #Conflicts: 141000 | #Constraints: 130827
327.81/328.80 c #Conflicts: 142000 | #Constraints: 131827
327.81/328.80 c #Conflicts: 143000 | #Constraints: 132827
327.81/328.80 c #Conflicts: 144000 | #Constraints: 133827
327.81/328.80 c #Conflicts: 145000 | #Constraints: 134827
327.81/328.80 c #Conflicts: 146000 | #Constraints: 135827
327.81/328.80 c #Conflicts: 147000 | #Constraints: 136827
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 148000 | #Constraints: 130227
468.85/470.25 c #Conflicts: 149000 | #Constraints: 131227
468.85/470.25 c #Conflicts: 150000 | #Constraints: 132227
468.85/470.25 c #Conflicts: 151000 | #Constraints: 133227
468.85/470.25 c #Conflicts: 152000 | #Constraints: 134227
468.85/470.25 c #Conflicts: 153000 | #Constraints: 135227
468.85/470.25 c #Conflicts: 154000 | #Constraints: 136227
468.85/470.25 c #Conflicts: 155000 | #Constraints: 137227
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 156000 | #Constraints: 130426
468.85/470.25 c #Conflicts: 157000 | #Constraints: 131426
468.85/470.25 c #Conflicts: 158000 | #Constraints: 132426
468.85/470.25 c #Conflicts: 159000 | #Constraints: 133426
468.85/470.25 c #Conflicts: 160000 | #Constraints: 134426
468.85/470.25 c #Conflicts: 161000 | #Constraints: 135426
468.85/470.25 c #Conflicts: 162000 | #Constraints: 136426
468.85/470.25 c #Conflicts: 163000 | #Constraints: 137426
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 164000 | #Constraints: 130427
468.85/470.25 c #Conflicts: 165000 | #Constraints: 131427
468.85/470.25 c #Conflicts: 166000 | #Constraints: 132427
468.85/470.25 c #Conflicts: 167000 | #Constraints: 133427
468.85/470.25 c #Conflicts: 168000 | #Constraints: 134427
468.85/470.25 c #Conflicts: 169000 | #Constraints: 135427
468.85/470.25 c #Conflicts: 170000 | #Constraints: 136427
468.85/470.25 c #Conflicts: 171000 | #Constraints: 137427
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 172000 | #Constraints: 130227
468.85/470.25 c #Conflicts: 173000 | #Constraints: 131227
468.85/470.25 c #Conflicts: 174000 | #Constraints: 132227
468.85/470.25 c #Conflicts: 175000 | #Constraints: 133227
468.85/470.25 c #Conflicts: 176000 | #Constraints: 134227
468.85/470.25 c #Conflicts: 177000 | #Constraints: 135227
468.85/470.25 c #Conflicts: 178000 | #Constraints: 136227
468.85/470.25 c #Conflicts: 179000 | #Constraints: 137227
468.85/470.25 c #Conflicts: 180000 | #Constraints: 138227
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 181000 | #Constraints: 130827
468.85/470.25 c #Conflicts: 182000 | #Constraints: 131827
468.85/470.25 c #Conflicts: 183000 | #Constraints: 132827
468.85/470.25 c #Conflicts: 184000 | #Constraints: 133827
468.85/470.25 c #Conflicts: 185000 | #Constraints: 134827
468.85/470.25 c #Conflicts: 186000 | #Constraints: 135827
468.85/470.25 c #Conflicts: 187000 | #Constraints: 136827
468.85/470.25 c #Conflicts: 188000 | #Constraints: 137827
468.85/470.25 c #Conflicts: 189000 | #Constraints: 138827
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 190000 | #Constraints: 131230
468.85/470.25 c #Conflicts: 191000 | #Constraints: 132230
468.85/470.25 c #Conflicts: 192000 | #Constraints: 133230
468.85/470.25 c #Conflicts: 193000 | #Constraints: 134230
468.85/470.25 c #Conflicts: 194000 | #Constraints: 135230
468.85/470.25 c #Conflicts: 195000 | #Constraints: 136230
468.85/470.25 c #Conflicts: 196000 | #Constraints: 137230
468.85/470.25 c #Conflicts: 197000 | #Constraints: 138230
468.85/470.25 c #Conflicts: 198000 | #Constraints: 139230
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 199000 | #Constraints: 131428
468.85/470.25 c #Conflicts: 200000 | #Constraints: 132428
468.85/470.25 c #Conflicts: 201000 | #Constraints: 133428
468.85/470.25 c #Conflicts: 202000 | #Constraints: 134428
468.85/470.25 c #Conflicts: 203000 | #Constraints: 135428
468.85/470.25 c #Conflicts: 204000 | #Constraints: 136428
468.85/470.25 c #Conflicts: 205000 | #Constraints: 137428
468.85/470.25 c #Conflicts: 206000 | #Constraints: 138428
468.85/470.25 c #Conflicts: 207000 | #Constraints: 139428
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 208000 | #Constraints: 131427
468.85/470.25 c #Conflicts: 209000 | #Constraints: 132427
468.85/470.25 c #Conflicts: 210000 | #Constraints: 133427
468.85/470.25 c #Conflicts: 211000 | #Constraints: 134427
468.85/470.25 c #Conflicts: 212000 | #Constraints: 135427
468.85/470.25 c #Conflicts: 213000 | #Constraints: 136427
468.85/470.25 c #Conflicts: 214000 | #Constraints: 137427
468.85/470.25 c #Conflicts: 215000 | #Constraints: 138427
468.85/470.25 c #Conflicts: 216000 | #Constraints: 139427
468.85/470.25 c INPROCESSING
468.85/470.25 c GARBAGE COLLECT
468.85/470.25 c #Conflicts: 217000 | #Constraints: 131227
468.85/470.25 c #Conflicts: 218000 | #Constraints: 132227
468.85/470.25 c #Conflicts: 219000 | #Constraints: 133227
468.85/470.25 c #Conflicts: 220000 | #Constraints: 134227
623.30/625.02 c #Conflicts: 221000 | #Constraints: 135227
623.30/625.02 c #Conflicts: 222000 | #Constraints: 136227
623.30/625.02 c #Conflicts: 223000 | #Constraints: 137227
623.30/625.02 c #Conflicts: 224000 | #Constraints: 138227
623.30/625.02 c #Conflicts: 225000 | #Constraints: 139227
623.30/625.02 c #Conflicts: 226000 | #Constraints: 140227
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 227000 | #Constraints: 131827
623.30/625.02 c #Conflicts: 228000 | #Constraints: 132827
623.30/625.02 c #Conflicts: 229000 | #Constraints: 133827
623.30/625.02 c #Conflicts: 230000 | #Constraints: 134827
623.30/625.02 c #Conflicts: 231000 | #Constraints: 135827
623.30/625.02 c #Conflicts: 232000 | #Constraints: 136827
623.30/625.02 c #Conflicts: 233000 | #Constraints: 137827
623.30/625.02 c #Conflicts: 234000 | #Constraints: 138827
623.30/625.02 c #Conflicts: 235000 | #Constraints: 139827
623.30/625.02 c #Conflicts: 236000 | #Constraints: 140827
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 237000 | #Constraints: 132226
623.30/625.02 c #Conflicts: 238000 | #Constraints: 133226
623.30/625.02 c #Conflicts: 239000 | #Constraints: 134226
623.30/625.02 c #Conflicts: 240000 | #Constraints: 135226
623.30/625.02 c #Conflicts: 241000 | #Constraints: 136226
623.30/625.02 c #Conflicts: 242000 | #Constraints: 137226
623.30/625.02 c #Conflicts: 243000 | #Constraints: 138226
623.30/625.02 c #Conflicts: 244000 | #Constraints: 139226
623.30/625.02 c #Conflicts: 245000 | #Constraints: 140226
623.30/625.02 c #Conflicts: 246000 | #Constraints: 141226
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 247000 | #Constraints: 132425
623.30/625.02 c #Conflicts: 248000 | #Constraints: 133425
623.30/625.02 c #Conflicts: 249000 | #Constraints: 134425
623.30/625.02 c #Conflicts: 250000 | #Constraints: 135425
623.30/625.02 c #Conflicts: 251000 | #Constraints: 136425
623.30/625.02 c #Conflicts: 252000 | #Constraints: 137425
623.30/625.02 c #Conflicts: 253000 | #Constraints: 138425
623.30/625.02 c #Conflicts: 254000 | #Constraints: 139425
623.30/625.02 c #Conflicts: 255000 | #Constraints: 140425
623.30/625.02 c #Conflicts: 256000 | #Constraints: 141425
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 257000 | #Constraints: 132426
623.30/625.02 c #Conflicts: 258000 | #Constraints: 133426
623.30/625.02 c #Conflicts: 259000 | #Constraints: 134426
623.30/625.02 c #Conflicts: 260000 | #Constraints: 135426
623.30/625.02 c #Conflicts: 261000 | #Constraints: 136426
623.30/625.02 c #Conflicts: 262000 | #Constraints: 137426
623.30/625.02 c #Conflicts: 263000 | #Constraints: 138426
623.30/625.02 c #Conflicts: 264000 | #Constraints: 139426
623.30/625.02 c #Conflicts: 265000 | #Constraints: 140426
623.30/625.02 c #Conflicts: 266000 | #Constraints: 141426
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 267000 | #Constraints: 132227
623.30/625.02 c #Conflicts: 268000 | #Constraints: 133227
623.30/625.02 c #Conflicts: 269000 | #Constraints: 134227
623.30/625.02 c #Conflicts: 270000 | #Constraints: 135227
623.30/625.02 c #Conflicts: 271000 | #Constraints: 136227
623.30/625.02 c #Conflicts: 272000 | #Constraints: 137227
623.30/625.02 c #Conflicts: 273000 | #Constraints: 138227
623.30/625.02 c #Conflicts: 274000 | #Constraints: 139227
623.30/625.02 c #Conflicts: 275000 | #Constraints: 140227
623.30/625.02 c #Conflicts: 276000 | #Constraints: 141227
623.30/625.02 c #Conflicts: 277000 | #Constraints: 142227
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 278000 | #Constraints: 132826
623.30/625.02 c #Conflicts: 279000 | #Constraints: 133826
623.30/625.02 c #Conflicts: 280000 | #Constraints: 134826
623.30/625.02 c #Conflicts: 281000 | #Constraints: 135826
623.30/625.02 c #Conflicts: 282000 | #Constraints: 136826
623.30/625.02 c #Conflicts: 283000 | #Constraints: 137826
623.30/625.02 c #Conflicts: 284000 | #Constraints: 138826
623.30/625.02 c #Conflicts: 285000 | #Constraints: 139826
623.30/625.02 c #Conflicts: 286000 | #Constraints: 140826
623.30/625.02 c #Conflicts: 287000 | #Constraints: 141826
623.30/625.02 c #Conflicts: 288000 | #Constraints: 142826
623.30/625.02 c INPROCESSING
623.30/625.02 c GARBAGE COLLECT
623.30/625.02 c #Conflicts: 289000 | #Constraints: 133226
623.30/625.02 c #Conflicts: 290000 | #Constraints: 134226
623.30/625.02 c #Conflicts: 291000 | #Constraints: 135226
623.30/625.02 c #Conflicts: 292000 | #Constraints: 136226
623.30/625.02 c #Conflicts: 293000 | #Constraints: 137226
623.30/625.02 c #Conflicts: 294000 | #Constraints: 138226
780.83/782.92 c #Conflicts: 295000 | #Constraints: 139226
780.83/782.92 c #Conflicts: 296000 | #Constraints: 140226
780.83/782.92 c #Conflicts: 297000 | #Constraints: 141226
780.83/782.92 c #Conflicts: 298000 | #Constraints: 142226
780.83/782.92 c #Conflicts: 299000 | #Constraints: 143226
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 300000 | #Constraints: 133426
780.83/782.92 c #Conflicts: 301000 | #Constraints: 134426
780.83/782.92 c #Conflicts: 302000 | #Constraints: 135426
780.83/782.92 c #Conflicts: 303000 | #Constraints: 136426
780.83/782.92 c #Conflicts: 304000 | #Constraints: 137426
780.83/782.92 c #Conflicts: 305000 | #Constraints: 138426
780.83/782.92 c #Conflicts: 306000 | #Constraints: 139426
780.83/782.92 c #Conflicts: 307000 | #Constraints: 140426
780.83/782.92 c #Conflicts: 308000 | #Constraints: 141426
780.83/782.92 c #Conflicts: 309000 | #Constraints: 142426
780.83/782.92 c #Conflicts: 310000 | #Constraints: 143426
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 311000 | #Constraints: 133432
780.83/782.92 c #Conflicts: 312000 | #Constraints: 134432
780.83/782.92 c #Conflicts: 313000 | #Constraints: 135432
780.83/782.92 c #Conflicts: 314000 | #Constraints: 136432
780.83/782.92 c #Conflicts: 315000 | #Constraints: 137432
780.83/782.92 c #Conflicts: 316000 | #Constraints: 138432
780.83/782.92 c #Conflicts: 317000 | #Constraints: 139432
780.83/782.92 c #Conflicts: 318000 | #Constraints: 140432
780.83/782.92 c #Conflicts: 319000 | #Constraints: 141432
780.83/782.92 c #Conflicts: 320000 | #Constraints: 142432
780.83/782.92 c #Conflicts: 321000 | #Constraints: 143432
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 322000 | #Constraints: 133231
780.83/782.92 c #Conflicts: 323000 | #Constraints: 134231
780.83/782.92 c #Conflicts: 324000 | #Constraints: 135231
780.83/782.92 c #Conflicts: 325000 | #Constraints: 136231
780.83/782.92 c #Conflicts: 326000 | #Constraints: 137231
780.83/782.92 c #Conflicts: 327000 | #Constraints: 138231
780.83/782.92 c #Conflicts: 328000 | #Constraints: 139231
780.83/782.92 c #Conflicts: 329000 | #Constraints: 140231
780.83/782.92 c #Conflicts: 330000 | #Constraints: 141231
780.83/782.92 c #Conflicts: 331000 | #Constraints: 142231
780.83/782.92 c #Conflicts: 332000 | #Constraints: 143231
780.83/782.92 c #Conflicts: 333000 | #Constraints: 144231
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 334000 | #Constraints: 133826
780.83/782.92 c #Conflicts: 335000 | #Constraints: 134826
780.83/782.92 c #Conflicts: 336000 | #Constraints: 135826
780.83/782.92 c #Conflicts: 337000 | #Constraints: 136826
780.83/782.92 c #Conflicts: 338000 | #Constraints: 137826
780.83/782.92 c #Conflicts: 339000 | #Constraints: 138826
780.83/782.92 c #Conflicts: 340000 | #Constraints: 139826
780.83/782.92 c #Conflicts: 341000 | #Constraints: 140826
780.83/782.92 c #Conflicts: 342000 | #Constraints: 141826
780.83/782.92 c #Conflicts: 343000 | #Constraints: 142826
780.83/782.92 c #Conflicts: 344000 | #Constraints: 143826
780.83/782.92 c #Conflicts: 345000 | #Constraints: 144826
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 346000 | #Constraints: 134227
780.83/782.92 c #Conflicts: 347000 | #Constraints: 135227
780.83/782.92 c #Conflicts: 348000 | #Constraints: 136227
780.83/782.92 c #Conflicts: 349000 | #Constraints: 137227
780.83/782.92 c #Conflicts: 350000 | #Constraints: 138227
780.83/782.92 c #Conflicts: 351000 | #Constraints: 139227
780.83/782.92 c #Conflicts: 352000 | #Constraints: 140227
780.83/782.92 c #Conflicts: 353000 | #Constraints: 141227
780.83/782.92 c #Conflicts: 354000 | #Constraints: 142227
780.83/782.92 c #Conflicts: 355000 | #Constraints: 143227
780.83/782.92 c #Conflicts: 356000 | #Constraints: 144227
780.83/782.92 c #Conflicts: 357000 | #Constraints: 145227
780.83/782.92 c INPROCESSING
780.83/782.92 c GARBAGE COLLECT
780.83/782.92 c #Conflicts: 358000 | #Constraints: 134425
780.83/782.92 c #Conflicts: 359000 | #Constraints: 135425
780.83/782.92 c #Conflicts: 360000 | #Constraints: 136425
780.83/782.92 c #Conflicts: 361000 | #Constraints: 137425
780.83/782.92 c #Conflicts: 362000 | #Constraints: 138425
780.83/782.92 c #Conflicts: 363000 | #Constraints: 139425
780.83/782.92 c #Conflicts: 364000 | #Constraints: 140425
780.83/782.92 c #Conflicts: 365000 | #Constraints: 141425
780.83/782.92 c #Conflicts: 366000 | #Constraints: 142425
780.83/782.92 c #Conflicts: 367000 | #Constraints: 143425
780.83/782.92 c #Conflicts: 368000 | #Constraints: 144425
780.83/782.92 c #Conflicts: 369000 | #Constraints: 145425
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 370000 | #Constraints: 134426
936.47/938.91 c #Conflicts: 371000 | #Constraints: 135426
936.47/938.91 c #Conflicts: 372000 | #Constraints: 136426
936.47/938.91 c #Conflicts: 373000 | #Constraints: 137426
936.47/938.91 c #Conflicts: 374000 | #Constraints: 138426
936.47/938.91 c #Conflicts: 375000 | #Constraints: 139426
936.47/938.91 c #Conflicts: 376000 | #Constraints: 140426
936.47/938.91 c #Conflicts: 377000 | #Constraints: 141426
936.47/938.91 c #Conflicts: 378000 | #Constraints: 142426
936.47/938.91 c #Conflicts: 379000 | #Constraints: 143426
936.47/938.91 c #Conflicts: 380000 | #Constraints: 144426
936.47/938.91 c #Conflicts: 381000 | #Constraints: 145426
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 382000 | #Constraints: 134224
936.47/938.91 c #Conflicts: 383000 | #Constraints: 135224
936.47/938.91 c #Conflicts: 384000 | #Constraints: 136224
936.47/938.91 c #Conflicts: 385000 | #Constraints: 137224
936.47/938.91 c #Conflicts: 386000 | #Constraints: 138224
936.47/938.91 c #Conflicts: 387000 | #Constraints: 139224
936.47/938.91 c #Conflicts: 388000 | #Constraints: 140224
936.47/938.91 c #Conflicts: 389000 | #Constraints: 141224
936.47/938.91 c #Conflicts: 390000 | #Constraints: 142224
936.47/938.91 c #Conflicts: 391000 | #Constraints: 143224
936.47/938.91 c #Conflicts: 392000 | #Constraints: 144224
936.47/938.91 c #Conflicts: 393000 | #Constraints: 145224
936.47/938.91 c #Conflicts: 394000 | #Constraints: 146224
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 395000 | #Constraints: 134825
936.47/938.91 c #Conflicts: 396000 | #Constraints: 135825
936.47/938.91 c #Conflicts: 397000 | #Constraints: 136825
936.47/938.91 c #Conflicts: 398000 | #Constraints: 137825
936.47/938.91 c #Conflicts: 399000 | #Constraints: 138825
936.47/938.91 c #Conflicts: 400000 | #Constraints: 139825
936.47/938.91 c #Conflicts: 401000 | #Constraints: 140825
936.47/938.91 c #Conflicts: 402000 | #Constraints: 141825
936.47/938.91 c #Conflicts: 403000 | #Constraints: 142825
936.47/938.91 c #Conflicts: 404000 | #Constraints: 143825
936.47/938.91 c #Conflicts: 405000 | #Constraints: 144825
936.47/938.91 c #Conflicts: 406000 | #Constraints: 145825
936.47/938.91 c #Conflicts: 407000 | #Constraints: 146825
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 408000 | #Constraints: 135226
936.47/938.91 c #Conflicts: 409000 | #Constraints: 136226
936.47/938.91 c #Conflicts: 410000 | #Constraints: 137226
936.47/938.91 c #Conflicts: 411000 | #Constraints: 138226
936.47/938.91 c #Conflicts: 412000 | #Constraints: 139226
936.47/938.91 c #Conflicts: 413000 | #Constraints: 140226
936.47/938.91 c #Conflicts: 414000 | #Constraints: 141226
936.47/938.91 c #Conflicts: 415000 | #Constraints: 142226
936.47/938.91 c #Conflicts: 416000 | #Constraints: 143226
936.47/938.91 c #Conflicts: 417000 | #Constraints: 144226
936.47/938.91 c #Conflicts: 418000 | #Constraints: 145226
936.47/938.91 c #Conflicts: 419000 | #Constraints: 146226
936.47/938.91 c #Conflicts: 420000 | #Constraints: 147226
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 421000 | #Constraints: 135431
936.47/938.91 c #Conflicts: 422000 | #Constraints: 136431
936.47/938.91 c #Conflicts: 423000 | #Constraints: 137431
936.47/938.91 c #Conflicts: 424000 | #Constraints: 138431
936.47/938.91 c #Conflicts: 425000 | #Constraints: 139431
936.47/938.91 c #Conflicts: 426000 | #Constraints: 140431
936.47/938.91 c #Conflicts: 427000 | #Constraints: 141431
936.47/938.91 c #Conflicts: 428000 | #Constraints: 142431
936.47/938.91 c #Conflicts: 429000 | #Constraints: 143431
936.47/938.91 c #Conflicts: 430000 | #Constraints: 144431
936.47/938.91 c #Conflicts: 431000 | #Constraints: 145431
936.47/938.91 c #Conflicts: 432000 | #Constraints: 146431
936.47/938.91 c #Conflicts: 433000 | #Constraints: 147431
936.47/938.91 c INPROCESSING
936.47/938.91 c GARBAGE COLLECT
936.47/938.91 c #Conflicts: 434000 | #Constraints: 135429
936.47/938.91 c #Conflicts: 435000 | #Constraints: 136429
936.47/938.91 c #Conflicts: 436000 | #Constraints: 137429
936.47/938.91 c #Conflicts: 437000 | #Constraints: 138429
936.47/938.91 c #Conflicts: 438000 | #Constraints: 139429
936.47/938.91 c #Conflicts: 439000 | #Constraints: 140429
936.47/938.91 c #Conflicts: 440000 | #Constraints: 141429
936.47/938.91 c #Conflicts: 441000 | #Constraints: 142429
936.47/938.91 c #Conflicts: 442000 | #Constraints: 143429
936.47/938.91 c #Conflicts: 443000 | #Constraints: 144429
936.47/938.91 c #Conflicts: 444000 | #Constraints: 145429
1086.22/1089.02 c #Conflicts: 445000 | #Constraints: 146429
1086.22/1089.02 c #Conflicts: 446000 | #Constraints: 147429
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 447000 | #Constraints: 135231
1086.22/1089.02 c #Conflicts: 448000 | #Constraints: 136231
1086.22/1089.02 c #Conflicts: 449000 | #Constraints: 137231
1086.22/1089.02 c #Conflicts: 450000 | #Constraints: 138231
1086.22/1089.02 c #Conflicts: 451000 | #Constraints: 139231
1086.22/1089.02 c #Conflicts: 452000 | #Constraints: 140231
1086.22/1089.02 c #Conflicts: 453000 | #Constraints: 141231
1086.22/1089.02 c #Conflicts: 454000 | #Constraints: 142231
1086.22/1089.02 c #Conflicts: 455000 | #Constraints: 143231
1086.22/1089.02 c #Conflicts: 456000 | #Constraints: 144231
1086.22/1089.02 c #Conflicts: 457000 | #Constraints: 145231
1086.22/1089.02 c #Conflicts: 458000 | #Constraints: 146231
1086.22/1089.02 c #Conflicts: 459000 | #Constraints: 147231
1086.22/1089.02 c #Conflicts: 460000 | #Constraints: 148231
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 461000 | #Constraints: 135830
1086.22/1089.02 c #Conflicts: 462000 | #Constraints: 136830
1086.22/1089.02 c #Conflicts: 463000 | #Constraints: 137830
1086.22/1089.02 c #Conflicts: 464000 | #Constraints: 138830
1086.22/1089.02 c #Conflicts: 465000 | #Constraints: 139830
1086.22/1089.02 c #Conflicts: 466000 | #Constraints: 140830
1086.22/1089.02 c #Conflicts: 467000 | #Constraints: 141830
1086.22/1089.02 c #Conflicts: 468000 | #Constraints: 142830
1086.22/1089.02 c #Conflicts: 469000 | #Constraints: 143830
1086.22/1089.02 c #Conflicts: 470000 | #Constraints: 144830
1086.22/1089.02 c #Conflicts: 471000 | #Constraints: 145830
1086.22/1089.02 c #Conflicts: 472000 | #Constraints: 146830
1086.22/1089.02 c #Conflicts: 473000 | #Constraints: 147830
1086.22/1089.02 c #Conflicts: 474000 | #Constraints: 148830
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 475000 | #Constraints: 136231
1086.22/1089.02 c #Conflicts: 476000 | #Constraints: 137231
1086.22/1089.02 c #Conflicts: 477000 | #Constraints: 138231
1086.22/1089.02 c #Conflicts: 478000 | #Constraints: 139231
1086.22/1089.02 c #Conflicts: 479000 | #Constraints: 140231
1086.22/1089.02 c #Conflicts: 480000 | #Constraints: 141231
1086.22/1089.02 c #Conflicts: 481000 | #Constraints: 142231
1086.22/1089.02 c #Conflicts: 482000 | #Constraints: 143231
1086.22/1089.02 c #Conflicts: 483000 | #Constraints: 144231
1086.22/1089.02 c #Conflicts: 484000 | #Constraints: 145231
1086.22/1089.02 c #Conflicts: 485000 | #Constraints: 146231
1086.22/1089.02 c #Conflicts: 486000 | #Constraints: 147231
1086.22/1089.02 c #Conflicts: 487000 | #Constraints: 148231
1086.22/1089.02 c #Conflicts: 488000 | #Constraints: 149231
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 489000 | #Constraints: 136431
1086.22/1089.02 c #Conflicts: 490000 | #Constraints: 137431
1086.22/1089.02 c #Conflicts: 491000 | #Constraints: 138431
1086.22/1089.02 c #Conflicts: 492000 | #Constraints: 139431
1086.22/1089.02 c #Conflicts: 493000 | #Constraints: 140431
1086.22/1089.02 c #Conflicts: 494000 | #Constraints: 141431
1086.22/1089.02 c #Conflicts: 495000 | #Constraints: 142431
1086.22/1089.02 c #Conflicts: 496000 | #Constraints: 143431
1086.22/1089.02 c #Conflicts: 497000 | #Constraints: 144431
1086.22/1089.02 c #Conflicts: 498000 | #Constraints: 145431
1086.22/1089.02 c #Conflicts: 499000 | #Constraints: 146431
1086.22/1089.02 c #Conflicts: 500000 | #Constraints: 147431
1086.22/1089.02 c #Conflicts: 501000 | #Constraints: 148431
1086.22/1089.02 c #Conflicts: 502000 | #Constraints: 149431
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 503000 | #Constraints: 136431
1086.22/1089.02 c #Conflicts: 504000 | #Constraints: 137431
1086.22/1089.02 c #Conflicts: 505000 | #Constraints: 138431
1086.22/1089.02 c #Conflicts: 506000 | #Constraints: 139431
1086.22/1089.02 c #Conflicts: 507000 | #Constraints: 140431
1086.22/1089.02 c #Conflicts: 508000 | #Constraints: 141431
1086.22/1089.02 c #Conflicts: 509000 | #Constraints: 142431
1086.22/1089.02 c #Conflicts: 510000 | #Constraints: 143431
1086.22/1089.02 c #Conflicts: 511000 | #Constraints: 144431
1086.22/1089.02 c #Conflicts: 512000 | #Constraints: 145431
1086.22/1089.02 c #Conflicts: 513000 | #Constraints: 146431
1086.22/1089.02 c #Conflicts: 514000 | #Constraints: 147431
1086.22/1089.02 c #Conflicts: 515000 | #Constraints: 148431
1086.22/1089.02 c #Conflicts: 516000 | #Constraints: 149431
1086.22/1089.02 c INPROCESSING
1086.22/1089.02 c GARBAGE COLLECT
1086.22/1089.02 c #Conflicts: 517000 | #Constraints: 136228
1086.22/1089.02 c #Conflicts: 518000 | #Constraints: 137228
1086.22/1089.02 c #Conflicts: 519000 | #Constraints: 138228
1231.87/1235.05 c #Conflicts: 520000 | #Constraints: 139228
1231.87/1235.05 c #Conflicts: 521000 | #Constraints: 140228
1231.87/1235.05 c #Conflicts: 522000 | #Constraints: 141228
1231.87/1235.05 c #Conflicts: 523000 | #Constraints: 142228
1231.87/1235.05 c #Conflicts: 524000 | #Constraints: 143228
1231.87/1235.05 c #Conflicts: 525000 | #Constraints: 144228
1231.87/1235.05 c #Conflicts: 526000 | #Constraints: 145228
1231.87/1235.05 c #Conflicts: 527000 | #Constraints: 146228
1231.87/1235.05 c #Conflicts: 528000 | #Constraints: 147228
1231.87/1235.05 c #Conflicts: 529000 | #Constraints: 148228
1231.87/1235.05 c #Conflicts: 530000 | #Constraints: 149228
1231.87/1235.05 c #Conflicts: 531000 | #Constraints: 150228
1231.87/1235.05 c INPROCESSING
1231.87/1235.05 c GARBAGE COLLECT
1231.87/1235.05 c #Conflicts: 532000 | #Constraints: 136829
1231.87/1235.05 c #Conflicts: 533000 | #Constraints: 137829
1231.87/1235.05 c #Conflicts: 534000 | #Constraints: 138829
1231.87/1235.05 c #Conflicts: 535000 | #Constraints: 139829
1231.87/1235.05 c #Conflicts: 536000 | #Constraints: 140829
1231.87/1235.05 c #Conflicts: 537000 | #Constraints: 141829
1231.87/1235.05 c #Conflicts: 538000 | #Constraints: 142829
1231.87/1235.05 c #Conflicts: 539000 | #Constraints: 143829
1231.87/1235.05 c #Conflicts: 540000 | #Constraints: 144829
1231.87/1235.05 c #Conflicts: 541000 | #Constraints: 145829
1231.87/1235.05 c #Conflicts: 542000 | #Constraints: 146829
1231.87/1235.05 c #Conflicts: 543000 | #Constraints: 147829
1231.87/1235.05 c #Conflicts: 544000 | #Constraints: 148829
1231.87/1235.05 c #Conflicts: 545000 | #Constraints: 149829
1231.87/1235.05 c #Conflicts: 546000 | #Constraints: 150829
1231.87/1235.05 c INPROCESSING
1231.87/1235.05 c GARBAGE COLLECT
1231.87/1235.05 c #Conflicts: 547000 | #Constraints: 137233
1231.87/1235.05 c #Conflicts: 548000 | #Constraints: 138233
1231.87/1235.05 c #Conflicts: 549000 | #Constraints: 139233
1231.87/1235.05 c #Conflicts: 550000 | #Constraints: 140233
1231.87/1235.05 c #Conflicts: 551000 | #Constraints: 141233
1231.87/1235.05 c #Conflicts: 552000 | #Constraints: 142233
1231.87/1235.05 c #Conflicts: 553000 | #Constraints: 143233
1231.87/1235.05 c #Conflicts: 554000 | #Constraints: 144233
1231.87/1235.05 c #Conflicts: 555000 | #Constraints: 145233
1231.87/1235.05 c #Conflicts: 556000 | #Constraints: 146233
1231.87/1235.05 c #Conflicts: 557000 | #Constraints: 147233
1231.87/1235.05 c #Conflicts: 558000 | #Constraints: 148233
1231.87/1235.05 c #Conflicts: 559000 | #Constraints: 149233
1231.87/1235.05 c #Conflicts: 560000 | #Constraints: 150233
1231.87/1235.05 c #Conflicts: 561000 | #Constraints: 151233
1231.87/1235.05 c INPROCESSING
1231.87/1235.05 c GARBAGE COLLECT
1231.87/1235.05 c #Conflicts: 562000 | #Constraints: 137431
1231.87/1235.05 c #Conflicts: 563000 | #Constraints: 138431
1231.87/1235.05 c #Conflicts: 564000 | #Constraints: 139431
1231.87/1235.05 c #Conflicts: 565000 | #Constraints: 140431
1231.87/1235.05 c #Conflicts: 566000 | #Constraints: 141431
1231.87/1235.05 c #Conflicts: 567000 | #Constraints: 142431
1231.87/1235.05 c #Conflicts: 568000 | #Constraints: 143431
1231.87/1235.05 c #Conflicts: 569000 | #Constraints: 144431
1231.87/1235.05 c #Conflicts: 570000 | #Constraints: 145431
1231.87/1235.05 c #Conflicts: 571000 | #Constraints: 146431
1231.87/1235.05 c #Conflicts: 572000 | #Constraints: 147431
1231.87/1235.05 c #Conflicts: 573000 | #Constraints: 148431
1231.87/1235.05 c #Conflicts: 574000 | #Constraints: 149431
1231.87/1235.05 c #Conflicts: 575000 | #Constraints: 150431
1231.87/1235.05 c #Conflicts: 576000 | #Constraints: 151431
1231.87/1235.05 c INPROCESSING
1231.87/1235.05 c GARBAGE COLLECT
1231.87/1235.05 c #Conflicts: 577000 | #Constraints: 137431
1231.87/1235.05 c #Conflicts: 578000 | #Constraints: 138431
1231.87/1235.05 c #Conflicts: 579000 | #Constraints: 139431
1231.87/1235.05 c #Conflicts: 580000 | #Constraints: 140431
1231.87/1235.05 c #Conflicts: 581000 | #Constraints: 141431
1231.87/1235.05 c #Conflicts: 582000 | #Constraints: 142431
1231.87/1235.05 c #Conflicts: 583000 | #Constraints: 143431
1231.87/1235.05 c #Conflicts: 584000 | #Constraints: 144431
1231.87/1235.05 c #Conflicts: 585000 | #Constraints: 145431
1231.87/1235.05 c #Conflicts: 586000 | #Constraints: 146431
1231.87/1235.05 c #Conflicts: 587000 | #Constraints: 147431
1231.87/1235.05 c #Conflicts: 588000 | #Constraints: 148431
1231.87/1235.05 c #Conflicts: 589000 | #Constraints: 149431
1231.87/1235.05 c #Conflicts: 590000 | #Constraints: 150431
1231.87/1235.05 c #Conflicts: 591000 | #Constraints: 151431
1231.87/1235.05 c INPROCESSING
1231.87/1235.05 c GARBAGE COLLECT
1231.87/1235.05 c #Conflicts: 592000 | #Constraints: 137232
1231.87/1235.05 c #Conflicts: 593000 | #Constraints: 138232
1231.87/1235.05 c #Conflicts: 594000 | #Constraints: 139232
1231.87/1235.05 c #Conflicts: 595000 | #Constraints: 140232
1362.46/1365.91 c #Conflicts: 596000 | #Constraints: 141232
1362.46/1365.91 c #Conflicts: 597000 | #Constraints: 142232
1362.46/1365.91 c #Conflicts: 598000 | #Constraints: 143232
1362.46/1365.91 c #Conflicts: 599000 | #Constraints: 144232
1362.46/1365.91 c #Conflicts: 600000 | #Constraints: 145232
1362.46/1365.91 c #Conflicts: 601000 | #Constraints: 146232
1362.46/1365.91 c #Conflicts: 602000 | #Constraints: 147232
1362.46/1365.91 c #Conflicts: 603000 | #Constraints: 148232
1362.46/1365.91 c #Conflicts: 604000 | #Constraints: 149232
1362.46/1365.91 c #Conflicts: 605000 | #Constraints: 150232
1362.46/1365.91 c #Conflicts: 606000 | #Constraints: 151232
1362.46/1365.91 c #Conflicts: 607000 | #Constraints: 152232
1362.46/1365.91 c INPROCESSING
1362.46/1365.91 c GARBAGE COLLECT
1362.46/1365.91 c #Conflicts: 608000 | #Constraints: 137832
1362.46/1365.91 c #Conflicts: 609000 | #Constraints: 138832
1362.46/1365.91 c #Conflicts: 610000 | #Constraints: 139832
1362.46/1365.91 c #Conflicts: 611000 | #Constraints: 140832
1362.46/1365.91 c #Conflicts: 612000 | #Constraints: 141832
1362.46/1365.91 c #Conflicts: 613000 | #Constraints: 142832
1362.46/1365.91 c #Conflicts: 614000 | #Constraints: 143832
1362.46/1365.91 c #Conflicts: 615000 | #Constraints: 144832
1362.46/1365.91 c #Conflicts: 616000 | #Constraints: 145832
1362.46/1365.91 c #Conflicts: 617000 | #Constraints: 146832
1362.46/1365.91 c #Conflicts: 618000 | #Constraints: 147832
1362.46/1365.91 c #Conflicts: 619000 | #Constraints: 148832
1362.46/1365.91 c #Conflicts: 620000 | #Constraints: 149832
1362.46/1365.91 c #Conflicts: 621000 | #Constraints: 150832
1362.46/1365.91 c #Conflicts: 622000 | #Constraints: 151832
1362.46/1365.91 c #Conflicts: 623000 | #Constraints: 152832
1362.46/1365.91 c INPROCESSING
1362.46/1365.91 c GARBAGE COLLECT
1362.46/1365.91 c #Conflicts: 624000 | #Constraints: 138234
1362.46/1365.91 c #Conflicts: 625000 | #Constraints: 139234
1362.46/1365.91 c #Conflicts: 626000 | #Constraints: 140234
1362.46/1365.91 c #Conflicts: 627000 | #Constraints: 141234
1362.46/1365.91 c #Conflicts: 628000 | #Constraints: 142234
1362.46/1365.91 c #Conflicts: 629000 | #Constraints: 143234
1362.46/1365.91 c #Conflicts: 630000 | #Constraints: 144234
1362.46/1365.91 c #Conflicts: 631000 | #Constraints: 145234
1362.46/1365.91 c #Conflicts: 632000 | #Constraints: 146234
1362.46/1365.91 c #Conflicts: 633000 | #Constraints: 147234
1362.46/1365.91 c #Conflicts: 634000 | #Constraints: 148234
1362.46/1365.91 c #Conflicts: 635000 | #Constraints: 149234
1362.46/1365.91 c #Conflicts: 636000 | #Constraints: 150234
1362.46/1365.91 c #Conflicts: 637000 | #Constraints: 151234
1362.46/1365.91 c #Conflicts: 638000 | #Constraints: 152234
1362.46/1365.91 c #Conflicts: 639000 | #Constraints: 153234
1362.46/1365.91 c INPROCESSING
1362.46/1365.91 c GARBAGE COLLECT
1362.46/1365.91 c #Conflicts: 640000 | #Constraints: 138428
1362.46/1365.91 c #Conflicts: 641000 | #Constraints: 139428
1362.46/1365.91 c #Conflicts: 642000 | #Constraints: 140428
1362.46/1365.91 c #Conflicts: 643000 | #Constraints: 141428
1362.46/1365.91 c #Conflicts: 644000 | #Constraints: 142428
1362.46/1365.91 c #Conflicts: 645000 | #Constraints: 143428
1362.46/1365.91 c #Conflicts: 646000 | #Constraints: 144428
1362.46/1365.91 c #Conflicts: 647000 | #Constraints: 145428
1362.46/1365.91 c #Conflicts: 648000 | #Constraints: 146428
1362.46/1365.91 c #Conflicts: 649000 | #Constraints: 147428
1362.46/1365.91 c #Conflicts: 650000 | #Constraints: 148428
1362.46/1365.91 c #Conflicts: 651000 | #Constraints: 149428
1362.46/1365.91 c #Conflicts: 652000 | #Constraints: 150428
1362.46/1365.91 c #Conflicts: 653000 | #Constraints: 151428
1362.46/1365.91 c #Conflicts: 654000 | #Constraints: 152428
1362.46/1365.91 c #Conflicts: 655000 | #Constraints: 153428
1362.46/1365.91 c INPROCESSING
1362.46/1365.91 c GARBAGE COLLECT
1362.46/1365.91 c #Conflicts: 656000 | #Constraints: 138429
1362.46/1365.91 c #Conflicts: 657000 | #Constraints: 139429
1362.46/1365.91 c #Conflicts: 658000 | #Constraints: 140429
1362.46/1365.91 c #Conflicts: 659000 | #Constraints: 141429
1362.46/1365.91 c #Conflicts: 660000 | #Constraints: 142429
1362.46/1365.91 c #Conflicts: 661000 | #Constraints: 143429
1362.46/1365.91 c #Conflicts: 662000 | #Constraints: 144429
1362.46/1365.91 c #Conflicts: 663000 | #Constraints: 145429
1362.46/1365.91 c #Conflicts: 664000 | #Constraints: 146429
1362.46/1365.91 c #Conflicts: 665000 | #Constraints: 147429
1362.46/1365.91 c #Conflicts: 666000 | #Constraints: 148429
1362.46/1365.91 c #Conflicts: 667000 | #Constraints: 149429
1362.46/1365.91 c #Conflicts: 668000 | #Constraints: 150429
1362.46/1365.91 c #Conflicts: 669000 | #Constraints: 151429
1362.46/1365.91 c #Conflicts: 670000 | #Constraints: 152429
1362.46/1365.91 c #Conflicts: 671000 | #Constraints: 153429
1507.12/1510.96 c INPROCESSING
1507.12/1510.96 c GARBAGE COLLECT
1507.12/1510.96 c #Conflicts: 672000 | #Constraints: 138231
1507.12/1510.96 c #Conflicts: 673000 | #Constraints: 139231
1507.12/1510.96 c #Conflicts: 674000 | #Constraints: 140231
1507.12/1510.96 c #Conflicts: 675000 | #Constraints: 141231
1507.12/1510.96 c #Conflicts: 676000 | #Constraints: 142231
1507.12/1510.96 c #Conflicts: 677000 | #Constraints: 143231
1507.12/1510.96 c #Conflicts: 678000 | #Constraints: 144231
1507.12/1510.96 c #Conflicts: 679000 | #Constraints: 145231
1507.12/1510.96 c #Conflicts: 680000 | #Constraints: 146231
1507.12/1510.96 c #Conflicts: 681000 | #Constraints: 147231
1507.12/1510.96 c #Conflicts: 682000 | #Constraints: 148231
1507.12/1510.96 c #Conflicts: 683000 | #Constraints: 149231
1507.12/1510.96 c #Conflicts: 684000 | #Constraints: 150231
1507.12/1510.96 c #Conflicts: 685000 | #Constraints: 151231
1507.12/1510.96 c #Conflicts: 686000 | #Constraints: 152231
1507.12/1510.96 c #Conflicts: 687000 | #Constraints: 153231
1507.12/1510.96 c #Conflicts: 688000 | #Constraints: 154231
1507.12/1510.96 c INPROCESSING
1507.12/1510.96 c GARBAGE COLLECT
1507.12/1510.96 c #Conflicts: 689000 | #Constraints: 138831
1507.12/1510.96 c #Conflicts: 690000 | #Constraints: 139831
1507.12/1510.96 c #Conflicts: 691000 | #Constraints: 140831
1507.12/1510.96 c #Conflicts: 692000 | #Constraints: 141831
1507.12/1510.96 c #Conflicts: 693000 | #Constraints: 142831
1507.12/1510.96 c #Conflicts: 694000 | #Constraints: 143831
1507.12/1510.96 c #Conflicts: 695000 | #Constraints: 144831
1507.12/1510.96 c #Conflicts: 696000 | #Constraints: 145831
1507.12/1510.96 c #Conflicts: 697000 | #Constraints: 146831
1507.12/1510.96 c #Conflicts: 698000 | #Constraints: 147831
1507.12/1510.96 c #Conflicts: 699000 | #Constraints: 148831
1507.12/1510.96 c #Conflicts: 700000 | #Constraints: 149831
1507.12/1510.96 c #Conflicts: 701000 | #Constraints: 150831
1507.12/1510.96 c #Conflicts: 702000 | #Constraints: 151831
1507.12/1510.96 c #Conflicts: 703000 | #Constraints: 152831
1507.12/1510.96 c #Conflicts: 704000 | #Constraints: 153831
1507.12/1510.96 c #Conflicts: 705000 | #Constraints: 154831
1507.12/1510.96 c INPROCESSING
1507.12/1510.96 c GARBAGE COLLECT
1507.12/1510.96 c #Conflicts: 706000 | #Constraints: 139228
1507.12/1510.96 c #Conflicts: 707000 | #Constraints: 140228
1507.12/1510.96 c #Conflicts: 708000 | #Constraints: 141228
1507.12/1510.96 c #Conflicts: 709000 | #Constraints: 142228
1507.12/1510.96 c #Conflicts: 710000 | #Constraints: 143228
1507.12/1510.96 c #Conflicts: 711000 | #Constraints: 144228
1507.12/1510.96 c #Conflicts: 712000 | #Constraints: 145228
1507.12/1510.96 c #Conflicts: 713000 | #Constraints: 146228
1507.12/1510.96 c #Conflicts: 714000 | #Constraints: 147228
1507.12/1510.96 c #Conflicts: 715000 | #Constraints: 148228
1507.12/1510.96 c #Conflicts: 716000 | #Constraints: 149228
1507.12/1510.96 c #Conflicts: 717000 | #Constraints: 150228
1507.12/1510.96 c #Conflicts: 718000 | #Constraints: 151228
1507.12/1510.96 c #Conflicts: 719000 | #Constraints: 152228
1507.12/1510.96 c #Conflicts: 720000 | #Constraints: 153228
1507.12/1510.96 c #Conflicts: 721000 | #Constraints: 154228
1507.12/1510.96 c #Conflicts: 722000 | #Constraints: 155228
1507.12/1510.96 c INPROCESSING
1507.12/1510.96 c GARBAGE COLLECT
1507.12/1510.96 c #Conflicts: 723000 | #Constraints: 139435
1507.12/1510.96 c #Conflicts: 724000 | #Constraints: 140435
1507.12/1510.96 c #Conflicts: 725000 | #Constraints: 141435
1507.12/1510.96 c #Conflicts: 726000 | #Constraints: 142435
1507.12/1510.96 c #Conflicts: 727000 | #Constraints: 143435
1507.12/1510.96 c #Conflicts: 728000 | #Constraints: 144435
1507.12/1510.96 c #Conflicts: 729000 | #Constraints: 145435
1507.12/1510.96 c #Conflicts: 730000 | #Constraints: 146435
1507.12/1510.96 c #Conflicts: 731000 | #Constraints: 147435
1507.12/1510.96 c #Conflicts: 732000 | #Constraints: 148435
1507.12/1510.96 c #Conflicts: 733000 | #Constraints: 149435
1507.12/1510.96 c #Conflicts: 734000 | #Constraints: 150435
1507.12/1510.96 c #Conflicts: 735000 | #Constraints: 151435
1507.12/1510.96 c #Conflicts: 736000 | #Constraints: 152435
1507.12/1510.96 c #Conflicts: 737000 | #Constraints: 153435
1507.12/1510.96 c #Conflicts: 738000 | #Constraints: 154435
1507.12/1510.96 c #Conflicts: 739000 | #Constraints: 155435
1507.12/1510.96 c INPROCESSING
1507.12/1510.96 c GARBAGE COLLECT
1507.12/1510.96 c #Conflicts: 740000 | #Constraints: 139435
1507.12/1510.96 c #Conflicts: 741000 | #Constraints: 140435
1507.12/1510.96 c #Conflicts: 742000 | #Constraints: 141435
1507.12/1510.96 c #Conflicts: 743000 | #Constraints: 142435
1507.12/1510.96 c #Conflicts: 744000 | #Constraints: 143435
1507.12/1510.96 c #Conflicts: 745000 | #Constraints: 144435
1507.12/1510.96 c #Conflicts: 746000 | #Constraints: 145435
1507.12/1510.96 c #Conflicts: 747000 | #Constraints: 146435
1651.27/1655.42 c #Conflicts: 748000 | #Constraints: 147435
1651.27/1655.42 c #Conflicts: 749000 | #Constraints: 148435
1651.27/1655.42 c #Conflicts: 750000 | #Constraints: 149435
1651.27/1655.42 c #Conflicts: 751000 | #Constraints: 150435
1651.27/1655.42 c #Conflicts: 752000 | #Constraints: 151435
1651.27/1655.42 c #Conflicts: 753000 | #Constraints: 152435
1651.27/1655.42 c #Conflicts: 754000 | #Constraints: 153435
1651.27/1655.42 c #Conflicts: 755000 | #Constraints: 154435
1651.27/1655.42 c #Conflicts: 756000 | #Constraints: 155435
1651.27/1655.42 c INPROCESSING
1651.27/1655.42 c GARBAGE COLLECT
1651.27/1655.42 c #Conflicts: 757000 | #Constraints: 139233
1651.27/1655.42 c #Conflicts: 758000 | #Constraints: 140233
1651.27/1655.42 c #Conflicts: 759000 | #Constraints: 141233
1651.27/1655.42 c #Conflicts: 760000 | #Constraints: 142233
1651.27/1655.42 c #Conflicts: 761000 | #Constraints: 143233
1651.27/1655.42 c #Conflicts: 762000 | #Constraints: 144233
1651.27/1655.42 c #Conflicts: 763000 | #Constraints: 145233
1651.27/1655.42 c #Conflicts: 764000 | #Constraints: 146233
1651.27/1655.42 c #Conflicts: 765000 | #Constraints: 147233
1651.27/1655.42 c #Conflicts: 766000 | #Constraints: 148233
1651.27/1655.42 c #Conflicts: 767000 | #Constraints: 149233
1651.27/1655.42 c #Conflicts: 768000 | #Constraints: 150233
1651.27/1655.42 c #Conflicts: 769000 | #Constraints: 151233
1651.27/1655.42 c #Conflicts: 770000 | #Constraints: 152233
1651.27/1655.42 c #Conflicts: 771000 | #Constraints: 153233
1651.27/1655.42 c #Conflicts: 772000 | #Constraints: 154233
1651.27/1655.42 c #Conflicts: 773000 | #Constraints: 155233
1651.27/1655.42 c #Conflicts: 774000 | #Constraints: 156233
1651.27/1655.42 c INPROCESSING
1651.27/1655.42 c GARBAGE COLLECT
1651.27/1655.42 c #Conflicts: 775000 | #Constraints: 139834
1651.27/1655.42 c #Conflicts: 776000 | #Constraints: 140834
1651.27/1655.42 c #Conflicts: 777000 | #Constraints: 141834
1651.27/1655.42 c #Conflicts: 778000 | #Constraints: 142834
1651.27/1655.42 c #Conflicts: 779000 | #Constraints: 143834
1651.27/1655.42 c #Conflicts: 780000 | #Constraints: 144834
1651.27/1655.42 c #Conflicts: 781000 | #Constraints: 145834
1651.27/1655.42 c #Conflicts: 782000 | #Constraints: 146834
1651.27/1655.42 c #Conflicts: 783000 | #Constraints: 147834
1651.27/1655.42 c #Conflicts: 784000 | #Constraints: 148834
1651.27/1655.42 c #Conflicts: 785000 | #Constraints: 149834
1651.27/1655.42 c #Conflicts: 786000 | #Constraints: 150834
1651.27/1655.42 c #Conflicts: 787000 | #Constraints: 151834
1651.27/1655.42 c #Conflicts: 788000 | #Constraints: 152834
1651.27/1655.42 c #Conflicts: 789000 | #Constraints: 153834
1651.27/1655.42 c #Conflicts: 790000 | #Constraints: 154834
1651.27/1655.42 c #Conflicts: 791000 | #Constraints: 155834
1651.27/1655.42 c #Conflicts: 792000 | #Constraints: 156834
1651.27/1655.42 c INPROCESSING
1651.27/1655.42 c GARBAGE COLLECT
1651.27/1655.42 c #Conflicts: 793000 | #Constraints: 140236
1651.27/1655.42 c #Conflicts: 794000 | #Constraints: 141236
1651.27/1655.42 c #Conflicts: 795000 | #Constraints: 142236
1651.27/1655.42 c #Conflicts: 796000 | #Constraints: 143236
1651.27/1655.42 c #Conflicts: 797000 | #Constraints: 144236
1651.27/1655.42 c #Conflicts: 798000 | #Constraints: 145236
1651.27/1655.42 c #Conflicts: 799000 | #Constraints: 146236
1651.27/1655.42 c #Conflicts: 800000 | #Constraints: 147236
1651.27/1655.42 c #Conflicts: 801000 | #Constraints: 148236
1651.27/1655.42 c #Conflicts: 802000 | #Constraints: 149236
1651.27/1655.42 c #Conflicts: 803000 | #Constraints: 150236
1651.27/1655.42 c #Conflicts: 804000 | #Constraints: 151236
1651.27/1655.42 c #Conflicts: 805000 | #Constraints: 152236
1651.27/1655.42 c #Conflicts: 806000 | #Constraints: 153236
1651.27/1655.42 c #Conflicts: 807000 | #Constraints: 154236
1651.27/1655.42 c #Conflicts: 808000 | #Constraints: 155236
1651.27/1655.42 c #Conflicts: 809000 | #Constraints: 156236
1651.27/1655.42 c #Conflicts: 810000 | #Constraints: 157236
1651.27/1655.42 c INPROCESSING
1651.27/1655.42 c GARBAGE COLLECT
1651.27/1655.42 c #Conflicts: 811000 | #Constraints: 140437
1651.27/1655.42 c #Conflicts: 812000 | #Constraints: 141437
1651.27/1655.42 c #Conflicts: 813000 | #Constraints: 142437
1651.27/1655.42 c #Conflicts: 814000 | #Constraints: 143437
1651.27/1655.42 c #Conflicts: 815000 | #Constraints: 144437
1651.27/1655.42 c #Conflicts: 816000 | #Constraints: 145437
1651.27/1655.42 c #Conflicts: 817000 | #Constraints: 146437
1651.27/1655.42 c #Conflicts: 818000 | #Constraints: 147437
1651.27/1655.42 c #Conflicts: 819000 | #Constraints: 148437
1651.27/1655.42 c #Conflicts: 820000 | #Constraints: 149437
1651.27/1655.42 c #Conflicts: 821000 | #Constraints: 150437
1651.27/1655.42 c #Conflicts: 822000 | #Constraints: 151437
1651.27/1655.42 c #Conflicts: 823000 | #Constraints: 152437
1792.32/1796.85 c #Conflicts: 824000 | #Constraints: 153437
1792.32/1796.85 c #Conflicts: 825000 | #Constraints: 154437
1792.32/1796.85 c #Conflicts: 826000 | #Constraints: 155437
1792.32/1796.85 c #Conflicts: 827000 | #Constraints: 156437
1792.32/1796.85 c #Conflicts: 828000 | #Constraints: 157437
1792.32/1796.85 c INPROCESSING
1792.32/1796.85 c GARBAGE COLLECT
1792.32/1796.85 c #Conflicts: 829000 | #Constraints: 140437
1792.32/1796.85 c #Conflicts: 830000 | #Constraints: 141437
1792.32/1796.85 c #Conflicts: 831000 | #Constraints: 142437
1792.32/1796.85 c #Conflicts: 832000 | #Constraints: 143437
1792.32/1796.85 c #Conflicts: 833000 | #Constraints: 144437
1792.32/1796.85 c #Conflicts: 834000 | #Constraints: 145437
1792.32/1796.85 c #Conflicts: 835000 | #Constraints: 146437
1792.32/1796.85 c #Conflicts: 836000 | #Constraints: 147437
1792.32/1796.85 c #Conflicts: 837000 | #Constraints: 148437
1792.32/1796.85 c #Conflicts: 838000 | #Constraints: 149437
1792.32/1796.85 c #Conflicts: 839000 | #Constraints: 150437
1792.32/1796.85 c #Conflicts: 840000 | #Constraints: 151437
1792.32/1796.85 c #Conflicts: 841000 | #Constraints: 152437
1792.32/1796.85 c #Conflicts: 842000 | #Constraints: 153437
1792.32/1796.85 c #Conflicts: 843000 | #Constraints: 154437
1792.32/1796.85 c #Conflicts: 844000 | #Constraints: 155437
1792.32/1796.85 c #Conflicts: 845000 | #Constraints: 156437
1792.32/1796.85 c #Conflicts: 846000 | #Constraints: 157437
1792.32/1796.85 c INPROCESSING
1792.32/1796.85 c GARBAGE COLLECT
1792.32/1796.85 c #Conflicts: 847000 | #Constraints: 140231
1792.32/1796.85 c #Conflicts: 848000 | #Constraints: 141231
1792.32/1796.85 c #Conflicts: 849000 | #Constraints: 142231
1792.32/1796.85 c #Conflicts: 850000 | #Constraints: 143231
1792.32/1796.85 c #Conflicts: 851000 | #Constraints: 144231
1792.32/1796.85 c #Conflicts: 852000 | #Constraints: 145231
1792.32/1796.85 c #Conflicts: 853000 | #Constraints: 146231
1792.32/1796.85 c #Conflicts: 854000 | #Constraints: 147231
1792.32/1796.85 c #Conflicts: 855000 | #Constraints: 148231
1792.32/1796.85 c #Conflicts: 856000 | #Constraints: 149231
1792.32/1796.85 c #Conflicts: 857000 | #Constraints: 150231
1792.32/1796.85 c #Conflicts: 858000 | #Constraints: 151231
1792.32/1796.85 c #Conflicts: 859000 | #Constraints: 152231
1792.32/1796.85 c #Conflicts: 860000 | #Constraints: 153231
1792.32/1796.85 c #Conflicts: 861000 | #Constraints: 154231
1792.32/1796.85 c #Conflicts: 862000 | #Constraints: 155231
1792.32/1796.85 c #Conflicts: 863000 | #Constraints: 156231
1792.32/1796.85 c #Conflicts: 864000 | #Constraints: 157231
1792.32/1796.85 c #Conflicts: 865000 | #Constraints: 158231
1792.32/1796.85 c INPROCESSING
1792.32/1796.85 c GARBAGE COLLECT
1792.32/1796.85 c #Conflicts: 866000 | #Constraints: 140835
1792.32/1796.85 c #Conflicts: 867000 | #Constraints: 141835
1792.32/1796.85 c #Conflicts: 868000 | #Constraints: 142835
1792.32/1796.85 c #Conflicts: 869000 | #Constraints: 143835
1792.32/1796.85 c #Conflicts: 870000 | #Constraints: 144835
1792.32/1796.85 c #Conflicts: 871000 | #Constraints: 145835
1792.32/1796.85 c #Conflicts: 872000 | #Constraints: 146835
1792.32/1796.85 c #Conflicts: 873000 | #Constraints: 147835
1792.32/1796.85 c #Conflicts: 874000 | #Constraints: 148835
1792.32/1796.85 c #Conflicts: 875000 | #Constraints: 149835
1792.32/1796.85 c #Conflicts: 876000 | #Constraints: 150835
1792.32/1796.85 c #Conflicts: 877000 | #Constraints: 151835
1792.32/1796.85 c #Conflicts: 878000 | #Constraints: 152835
1792.32/1796.85 c #Conflicts: 879000 | #Constraints: 153835
1792.32/1796.85 c #Conflicts: 880000 | #Constraints: 154835
1792.32/1796.85 c #Conflicts: 881000 | #Constraints: 155835
1792.32/1796.85 c #Conflicts: 882000 | #Constraints: 156835
1792.32/1796.85 c #Conflicts: 883000 | #Constraints: 157835
1792.32/1796.85 c #Conflicts: 884000 | #Constraints: 158835
1792.32/1796.85 c INPROCESSING
1792.32/1796.85 c GARBAGE COLLECT
1792.32/1796.85 c #Conflicts: 885000 | #Constraints: 141233
1792.32/1796.85 c #Conflicts: 886000 | #Constraints: 142233
1792.32/1796.85 c #Conflicts: 887000 | #Constraints: 143233
1792.32/1796.85 c #Conflicts: 888000 | #Constraints: 144233
1792.32/1796.85 c #Conflicts: 889000 | #Constraints: 145233
1792.32/1796.85 c #Conflicts: 890000 | #Constraints: 146233
1792.32/1796.85 c #Conflicts: 891000 | #Constraints: 147233
1792.32/1796.85 c #Conflicts: 892000 | #Constraints: 148233
1792.32/1796.85 c #Conflicts: 893000 | #Constraints: 149233
1792.32/1796.85 c #Conflicts: 894000 | #Constraints: 150233
1792.32/1796.85 c #Conflicts: 895000 | #Constraints: 151233
1792.32/1796.85 c #Conflicts: 896000 | #Constraints: 152233
1792.32/1796.85 c #Conflicts: 897000 | #Constraints: 153233
1792.32/1796.85 c #Conflicts: 898000 | #Constraints: 154233
1792.32/1796.85 c #Conflicts: 899000 | #Constraints: 155233
1938.28/1943.16 c #Conflicts: 900000 | #Constraints: 156233
1938.28/1943.16 c #Conflicts: 901000 | #Constraints: 157233
1938.28/1943.16 c #Conflicts: 902000 | #Constraints: 158233
1938.28/1943.16 c #Conflicts: 903000 | #Constraints: 159233
1938.28/1943.16 c INPROCESSING
1938.28/1943.16 c GARBAGE COLLECT
1938.28/1943.16 c #Conflicts: 904000 | #Constraints: 141431
1938.28/1943.16 c #Conflicts: 905000 | #Constraints: 142431
1938.28/1943.16 c #Conflicts: 906000 | #Constraints: 143431
1938.28/1943.16 c #Conflicts: 907000 | #Constraints: 144431
1938.28/1943.16 c #Conflicts: 908000 | #Constraints: 145431
1938.28/1943.16 c #Conflicts: 909000 | #Constraints: 146431
1938.28/1943.16 c #Conflicts: 910000 | #Constraints: 147431
1938.28/1943.16 c #Conflicts: 911000 | #Constraints: 148431
1938.28/1943.16 c #Conflicts: 912000 | #Constraints: 149431
1938.28/1943.16 c #Conflicts: 913000 | #Constraints: 150431
1938.28/1943.16 c #Conflicts: 914000 | #Constraints: 151431
1938.28/1943.16 c #Conflicts: 915000 | #Constraints: 152431
1938.28/1943.16 c #Conflicts: 916000 | #Constraints: 153431
1938.28/1943.16 c #Conflicts: 917000 | #Constraints: 154431
1938.28/1943.16 c #Conflicts: 918000 | #Constraints: 155431
1938.28/1943.16 c #Conflicts: 919000 | #Constraints: 156431
1938.28/1943.16 c #Conflicts: 920000 | #Constraints: 157431
1938.28/1943.16 c #Conflicts: 921000 | #Constraints: 158431
1938.28/1943.16 c #Conflicts: 922000 | #Constraints: 159431
1938.28/1943.16 c INPROCESSING
1938.28/1943.16 c GARBAGE COLLECT
1938.28/1943.16 c #Conflicts: 923000 | #Constraints: 141429
1938.28/1943.16 c #Conflicts: 924000 | #Constraints: 142429
1938.28/1943.16 c #Conflicts: 925000 | #Constraints: 143429
1938.28/1943.16 c #Conflicts: 926000 | #Constraints: 144429
1938.28/1943.16 c #Conflicts: 927000 | #Constraints: 145429
1938.28/1943.16 c #Conflicts: 928000 | #Constraints: 146429
1938.28/1943.16 c #Conflicts: 929000 | #Constraints: 147429
1938.28/1943.16 c #Conflicts: 930000 | #Constraints: 148429
1938.28/1943.16 c #Conflicts: 931000 | #Constraints: 149429
1938.28/1943.16 c #Conflicts: 932000 | #Constraints: 150429
1938.28/1943.16 c #Conflicts: 933000 | #Constraints: 151429
1938.28/1943.16 c #Conflicts: 934000 | #Constraints: 152429
1938.28/1943.16 c #Conflicts: 935000 | #Constraints: 153429
1938.28/1943.16 c #Conflicts: 936000 | #Constraints: 154429
1938.28/1943.16 c #Conflicts: 937000 | #Constraints: 155429
1938.28/1943.16 c #Conflicts: 938000 | #Constraints: 156429
1938.28/1943.16 c #Conflicts: 939000 | #Constraints: 157429
1938.28/1943.16 c #Conflicts: 940000 | #Constraints: 158429
1938.28/1943.16 c #Conflicts: 941000 | #Constraints: 159429
1938.28/1943.16 c INPROCESSING
1938.28/1943.16 c GARBAGE COLLECT
1938.28/1943.16 c #Conflicts: 942000 | #Constraints: 141232
1938.28/1943.16 c #Conflicts: 943000 | #Constraints: 142232
1938.28/1943.16 c #Conflicts: 944000 | #Constraints: 143232
1938.28/1943.16 c #Conflicts: 945000 | #Constraints: 144232
1938.28/1943.16 c #Conflicts: 946000 | #Constraints: 145232
1938.28/1943.16 c #Conflicts: 947000 | #Constraints: 146232
1938.28/1943.16 c #Conflicts: 948000 | #Constraints: 147232
1938.28/1943.16 c #Conflicts: 949000 | #Constraints: 148232
1938.28/1943.16 c #Conflicts: 950000 | #Constraints: 149232
1938.28/1943.16 c #Conflicts: 951000 | #Constraints: 150232
1938.28/1943.16 c #Conflicts: 952000 | #Constraints: 151232
1938.28/1943.16 c #Conflicts: 953000 | #Constraints: 152232
1938.28/1943.16 c #Conflicts: 954000 | #Constraints: 153232
1938.28/1943.16 c #Conflicts: 955000 | #Constraints: 154232
1938.28/1943.16 c #Conflicts: 956000 | #Constraints: 155232
1938.28/1943.16 c #Conflicts: 957000 | #Constraints: 156232
1938.28/1943.16 c #Conflicts: 958000 | #Constraints: 157232
1938.28/1943.16 c #Conflicts: 959000 | #Constraints: 158232
1938.28/1943.16 c #Conflicts: 960000 | #Constraints: 159232
1938.28/1943.16 c #Conflicts: 961000 | #Constraints: 160232
1938.28/1943.16 c INPROCESSING
1938.28/1943.16 c GARBAGE COLLECT
1938.28/1943.16 c #Conflicts: 962000 | #Constraints: 141838
1938.28/1943.16 c #Conflicts: 963000 | #Constraints: 142838
1938.28/1943.16 c #Conflicts: 964000 | #Constraints: 143838
1938.28/1943.16 c #Conflicts: 965000 | #Constraints: 144838
1938.28/1943.16 c #Conflicts: 966000 | #Constraints: 145838
1938.28/1943.16 c #Conflicts: 967000 | #Constraints: 146838
1938.28/1943.16 c #Conflicts: 968000 | #Constraints: 147838
1938.28/1943.16 c #Conflicts: 969000 | #Constraints: 148838
1938.28/1943.16 c #Conflicts: 970000 | #Constraints: 149838
1938.28/1943.16 c #Conflicts: 971000 | #Constraints: 150838
1938.28/1943.16 c #Conflicts: 972000 | #Constraints: 151838
1938.28/1943.16 c #Conflicts: 973000 | #Constraints: 152838
1938.28/1943.16 c #Conflicts: 974000 | #Constraints: 153838
1938.28/1943.16 c #Conflicts: 975000 | #Constraints: 154838
2086.03/2091.22 c #Conflicts: 976000 | #Constraints: 155838
2086.03/2091.22 c #Conflicts: 977000 | #Constraints: 156838
2086.03/2091.22 c #Conflicts: 978000 | #Constraints: 157838
2086.03/2091.22 c #Conflicts: 979000 | #Constraints: 158838
2086.03/2091.22 c #Conflicts: 980000 | #Constraints: 159838
2086.03/2091.22 c #Conflicts: 981000 | #Constraints: 160838
2086.03/2091.22 c INPROCESSING
2086.03/2091.22 c GARBAGE COLLECT
2086.03/2091.22 c #Conflicts: 982000 | #Constraints: 142239
2086.03/2091.22 c #Conflicts: 983000 | #Constraints: 143239
2086.03/2091.22 c #Conflicts: 984000 | #Constraints: 144239
2086.03/2091.22 c #Conflicts: 985000 | #Constraints: 145239
2086.03/2091.22 c #Conflicts: 986000 | #Constraints: 146239
2086.03/2091.22 c #Conflicts: 987000 | #Constraints: 147239
2086.03/2091.22 c #Conflicts: 988000 | #Constraints: 148239
2086.03/2091.22 c #Conflicts: 989000 | #Constraints: 149239
2086.03/2091.22 c #Conflicts: 990000 | #Constraints: 150239
2086.03/2091.22 c #Conflicts: 991000 | #Constraints: 151239
2086.03/2091.22 c #Conflicts: 992000 | #Constraints: 152239
2086.03/2091.22 c #Conflicts: 993000 | #Constraints: 153239
2086.03/2091.22 c #Conflicts: 994000 | #Constraints: 154239
2086.03/2091.22 c #Conflicts: 995000 | #Constraints: 155239
2086.03/2091.22 c #Conflicts: 996000 | #Constraints: 156239
2086.03/2091.22 c #Conflicts: 997000 | #Constraints: 157239
2086.03/2091.22 c #Conflicts: 998000 | #Constraints: 158239
2086.03/2091.22 c #Conflicts: 999000 | #Constraints: 159239
2086.03/2091.22 c #Conflicts: 1000000 | #Constraints: 160239
2086.03/2091.22 c #Conflicts: 1001000 | #Constraints: 161239
2086.03/2091.22 c INPROCESSING
2086.03/2091.22 c GARBAGE COLLECT
2086.03/2091.22 c #Conflicts: 1002000 | #Constraints: 142438
2086.03/2091.22 c #Conflicts: 1003000 | #Constraints: 143438
2086.03/2091.22 c #Conflicts: 1004000 | #Constraints: 144438
2086.03/2091.22 c #Conflicts: 1005000 | #Constraints: 145438
2086.03/2091.22 c #Conflicts: 1006000 | #Constraints: 146438
2086.03/2091.22 c #Conflicts: 1007000 | #Constraints: 147438
2086.03/2091.22 c #Conflicts: 1008000 | #Constraints: 148438
2086.03/2091.22 c #Conflicts: 1009000 | #Constraints: 149438
2086.03/2091.22 c #Conflicts: 1010000 | #Constraints: 150438
2086.03/2091.22 c #Conflicts: 1011000 | #Constraints: 151438
2086.03/2091.22 c #Conflicts: 1012000 | #Constraints: 152438
2086.03/2091.22 c #Conflicts: 1013000 | #Constraints: 153438
2086.03/2091.22 c #Conflicts: 1014000 | #Constraints: 154438
2086.03/2091.22 c #Conflicts: 1015000 | #Constraints: 155438
2086.03/2091.22 c #Conflicts: 1016000 | #Constraints: 156438
2086.03/2091.22 c #Conflicts: 1017000 | #Constraints: 157438
2086.03/2091.22 c #Conflicts: 1018000 | #Constraints: 158438
2086.03/2091.22 c #Conflicts: 1019000 | #Constraints: 159438
2086.03/2091.22 c #Conflicts: 1020000 | #Constraints: 160438
2086.03/2091.22 c #Conflicts: 1021000 | #Constraints: 161438
2086.03/2091.22 c INPROCESSING
2086.03/2091.22 c GARBAGE COLLECT
2086.03/2091.22 c #Conflicts: 1022000 | #Constraints: 142436
2086.03/2091.22 c #Conflicts: 1023000 | #Constraints: 143436
2086.03/2091.22 c #Conflicts: 1024000 | #Constraints: 144436
2086.03/2091.22 c #Conflicts: 1025000 | #Constraints: 145436
2086.03/2091.22 c #Conflicts: 1026000 | #Constraints: 146436
2086.03/2091.22 c #Conflicts: 1027000 | #Constraints: 147436
2086.03/2091.22 c #Conflicts: 1028000 | #Constraints: 148436
2086.03/2091.22 c #Conflicts: 1029000 | #Constraints: 149436
2086.03/2091.22 c #Conflicts: 1030000 | #Constraints: 150436
2086.03/2091.22 c #Conflicts: 1031000 | #Constraints: 151436
2086.03/2091.22 c #Conflicts: 1032000 | #Constraints: 152436
2086.03/2091.22 c #Conflicts: 1033000 | #Constraints: 153436
2086.03/2091.22 c #Conflicts: 1034000 | #Constraints: 154436
2086.03/2091.22 c #Conflicts: 1035000 | #Constraints: 155436
2086.03/2091.22 c #Conflicts: 1036000 | #Constraints: 156436
2086.03/2091.22 c #Conflicts: 1037000 | #Constraints: 157436
2086.03/2091.22 c #Conflicts: 1038000 | #Constraints: 158436
2086.03/2091.22 c #Conflicts: 1039000 | #Constraints: 159436
2086.03/2091.22 c #Conflicts: 1040000 | #Constraints: 160436
2086.03/2091.22 c #Conflicts: 1041000 | #Constraints: 161436
2086.03/2091.22 c INPROCESSING
2086.03/2091.22 c GARBAGE COLLECT
2086.03/2091.22 c #Conflicts: 1042000 | #Constraints: 142236
2086.03/2091.22 c #Conflicts: 1043000 | #Constraints: 143236
2086.03/2091.22 c #Conflicts: 1044000 | #Constraints: 144236
2086.03/2091.22 c #Conflicts: 1045000 | #Constraints: 145236
2086.03/2091.22 c #Conflicts: 1046000 | #Constraints: 146236
2086.03/2091.22 c #Conflicts: 1047000 | #Constraints: 147236
2086.03/2091.22 c #Conflicts: 1048000 | #Constraints: 148236
2086.03/2091.22 c #Conflicts: 1049000 | #Constraints: 149236
2086.03/2091.22 c #Conflicts: 1050000 | #Constraints: 150236
2086.03/2091.22 c #Conflicts: 1051000 | #Constraints: 151236
2086.03/2091.22 c #Conflicts: 1052000 | #Constraints: 152236
2233.49/2239.08 c #Conflicts: 1053000 | #Constraints: 153236
2233.49/2239.08 c #Conflicts: 1054000 | #Constraints: 154236
2233.49/2239.08 c #Conflicts: 1055000 | #Constraints: 155236
2233.49/2239.08 c #Conflicts: 1056000 | #Constraints: 156236
2233.49/2239.08 c #Conflicts: 1057000 | #Constraints: 157236
2233.49/2239.08 c #Conflicts: 1058000 | #Constraints: 158236
2233.49/2239.08 c #Conflicts: 1059000 | #Constraints: 159236
2233.49/2239.08 c #Conflicts: 1060000 | #Constraints: 160236
2233.49/2239.08 c #Conflicts: 1061000 | #Constraints: 161236
2233.49/2239.08 c #Conflicts: 1062000 | #Constraints: 162236
2233.49/2239.08 c INPROCESSING
2233.49/2239.08 c GARBAGE COLLECT
2233.49/2239.08 c #Conflicts: 1063000 | #Constraints: 142840
2233.49/2239.08 c #Conflicts: 1064000 | #Constraints: 143840
2233.49/2239.08 c #Conflicts: 1065000 | #Constraints: 144840
2233.49/2239.08 c #Conflicts: 1066000 | #Constraints: 145840
2233.49/2239.08 c #Conflicts: 1067000 | #Constraints: 146840
2233.49/2239.08 c #Conflicts: 1068000 | #Constraints: 147840
2233.49/2239.08 c #Conflicts: 1069000 | #Constraints: 148840
2233.49/2239.08 c #Conflicts: 1070000 | #Constraints: 149840
2233.49/2239.08 c #Conflicts: 1071000 | #Constraints: 150840
2233.49/2239.08 c #Conflicts: 1072000 | #Constraints: 151840
2233.49/2239.08 c #Conflicts: 1073000 | #Constraints: 152840
2233.49/2239.08 c #Conflicts: 1074000 | #Constraints: 153840
2233.49/2239.08 c #Conflicts: 1075000 | #Constraints: 154840
2233.49/2239.08 c #Conflicts: 1076000 | #Constraints: 155840
2233.49/2239.08 c #Conflicts: 1077000 | #Constraints: 156840
2233.49/2239.08 c #Conflicts: 1078000 | #Constraints: 157840
2233.49/2239.08 c #Conflicts: 1079000 | #Constraints: 158840
2233.49/2239.08 c #Conflicts: 1080000 | #Constraints: 159840
2233.49/2239.08 c #Conflicts: 1081000 | #Constraints: 160840
2233.49/2239.08 c #Conflicts: 1082000 | #Constraints: 161840
2233.49/2239.08 c #Conflicts: 1083000 | #Constraints: 162840
2233.49/2239.08 c INPROCESSING
2233.49/2239.08 c GARBAGE COLLECT
2233.49/2239.08 c #Conflicts: 1084000 | #Constraints: 143241
2233.49/2239.08 c #Conflicts: 1085000 | #Constraints: 144241
2233.49/2239.08 c #Conflicts: 1086000 | #Constraints: 145241
2233.49/2239.08 c #Conflicts: 1087000 | #Constraints: 146241
2233.49/2239.08 c #Conflicts: 1088000 | #Constraints: 147241
2233.49/2239.08 c #Conflicts: 1089000 | #Constraints: 148241
2233.49/2239.08 c #Conflicts: 1090000 | #Constraints: 149241
2233.49/2239.08 c #Conflicts: 1091000 | #Constraints: 150241
2233.49/2239.08 c #Conflicts: 1092000 | #Constraints: 151241
2233.49/2239.08 c #Conflicts: 1093000 | #Constraints: 152241
2233.49/2239.08 c #Conflicts: 1094000 | #Constraints: 153241
2233.49/2239.08 c #Conflicts: 1095000 | #Constraints: 154241
2233.49/2239.08 c #Conflicts: 1096000 | #Constraints: 155241
2233.49/2239.08 c #Conflicts: 1097000 | #Constraints: 156241
2233.49/2239.08 c #Conflicts: 1098000 | #Constraints: 157241
2233.49/2239.08 c #Conflicts: 1099000 | #Constraints: 158241
2233.49/2239.08 c #Conflicts: 1100000 | #Constraints: 159241
2233.49/2239.08 c #Conflicts: 1101000 | #Constraints: 160241
2233.49/2239.08 c #Conflicts: 1102000 | #Constraints: 161241
2233.49/2239.08 c #Conflicts: 1103000 | #Constraints: 162241
2233.49/2239.08 c #Conflicts: 1104000 | #Constraints: 163241
2233.49/2239.08 c INPROCESSING
2233.49/2239.08 c GARBAGE COLLECT
2233.49/2239.08 c #Conflicts: 1105000 | #Constraints: 143442
2233.49/2239.08 c #Conflicts: 1106000 | #Constraints: 144442
2233.49/2239.08 c #Conflicts: 1107000 | #Constraints: 145442
2233.49/2239.08 c #Conflicts: 1108000 | #Constraints: 146442
2233.49/2239.08 c #Conflicts: 1109000 | #Constraints: 147442
2233.49/2239.08 c #Conflicts: 1110000 | #Constraints: 148442
2233.49/2239.08 c #Conflicts: 1111000 | #Constraints: 149442
2233.49/2239.08 c #Conflicts: 1112000 | #Constraints: 150442
2233.49/2239.08 c #Conflicts: 1113000 | #Constraints: 151442
2233.49/2239.08 c #Conflicts: 1114000 | #Constraints: 152442
2233.49/2239.08 c #Conflicts: 1115000 | #Constraints: 153442
2233.49/2239.08 c #Conflicts: 1116000 | #Constraints: 154442
2233.49/2239.08 c #Conflicts: 1117000 | #Constraints: 155442
2233.49/2239.08 c #Conflicts: 1118000 | #Constraints: 156442
2233.49/2239.08 c #Conflicts: 1119000 | #Constraints: 157442
2233.49/2239.08 c #Conflicts: 1120000 | #Constraints: 158442
2233.49/2239.08 c #Conflicts: 1121000 | #Constraints: 159442
2233.49/2239.08 c #Conflicts: 1122000 | #Constraints: 160442
2233.49/2239.08 c #Conflicts: 1123000 | #Constraints: 161442
2233.49/2239.08 c #Conflicts: 1124000 | #Constraints: 162442
2233.49/2239.08 c #Conflicts: 1125000 | #Constraints: 163442
2233.49/2239.08 c INPROCESSING
2233.49/2239.08 c GARBAGE COLLECT
2233.49/2239.08 c #Conflicts: 1126000 | #Constraints: 143439
2233.49/2239.08 c #Conflicts: 1127000 | #Constraints: 144439
2233.49/2239.08 c #Conflicts: 1128000 | #Constraints: 145439
2380.74/2386.62 c #Conflicts: 1129000 | #Constraints: 146439
2380.74/2386.62 c #Conflicts: 1130000 | #Constraints: 147439
2380.74/2386.62 c #Conflicts: 1131000 | #Constraints: 148439
2380.74/2386.62 c #Conflicts: 1132000 | #Constraints: 149439
2380.74/2386.62 c #Conflicts: 1133000 | #Constraints: 150439
2380.74/2386.62 c #Conflicts: 1134000 | #Constraints: 151439
2380.74/2386.62 c #Conflicts: 1135000 | #Constraints: 152439
2380.74/2386.62 c #Conflicts: 1136000 | #Constraints: 153439
2380.74/2386.62 c #Conflicts: 1137000 | #Constraints: 154439
2380.74/2386.62 c #Conflicts: 1138000 | #Constraints: 155439
2380.74/2386.62 c #Conflicts: 1139000 | #Constraints: 156439
2380.74/2386.62 c #Conflicts: 1140000 | #Constraints: 157439
2380.74/2386.62 c #Conflicts: 1141000 | #Constraints: 158439
2380.74/2386.62 c #Conflicts: 1142000 | #Constraints: 159439
2380.74/2386.62 c #Conflicts: 1143000 | #Constraints: 160439
2380.74/2386.62 c #Conflicts: 1144000 | #Constraints: 161439
2380.74/2386.62 c #Conflicts: 1145000 | #Constraints: 162439
2380.74/2386.62 c #Conflicts: 1146000 | #Constraints: 163439
2380.74/2386.62 c INPROCESSING
2380.74/2386.62 c GARBAGE COLLECT
2380.74/2386.62 c #Conflicts: 1147000 | #Constraints: 143236
2380.74/2386.62 c #Conflicts: 1148000 | #Constraints: 144236
2380.74/2386.62 c #Conflicts: 1149000 | #Constraints: 145236
2380.74/2386.62 c #Conflicts: 1150000 | #Constraints: 146236
2380.74/2386.62 c #Conflicts: 1151000 | #Constraints: 147236
2380.74/2386.62 c #Conflicts: 1152000 | #Constraints: 148236
2380.74/2386.62 c #Conflicts: 1153000 | #Constraints: 149236
2380.74/2386.62 c #Conflicts: 1154000 | #Constraints: 150236
2380.74/2386.62 c #Conflicts: 1155000 | #Constraints: 151236
2380.74/2386.62 c #Conflicts: 1156000 | #Constraints: 152236
2380.74/2386.62 c #Conflicts: 1157000 | #Constraints: 153236
2380.74/2386.62 c #Conflicts: 1158000 | #Constraints: 154236
2380.74/2386.62 c #Conflicts: 1159000 | #Constraints: 155236
2380.74/2386.62 c #Conflicts: 1160000 | #Constraints: 156236
2380.74/2386.62 c #Conflicts: 1161000 | #Constraints: 157236
2380.74/2386.62 c #Conflicts: 1162000 | #Constraints: 158236
2380.74/2386.62 c #Conflicts: 1163000 | #Constraints: 159236
2380.74/2386.62 c #Conflicts: 1164000 | #Constraints: 160236
2380.74/2386.62 c #Conflicts: 1165000 | #Constraints: 161236
2380.74/2386.62 c #Conflicts: 1166000 | #Constraints: 162236
2380.74/2386.62 c #Conflicts: 1167000 | #Constraints: 163236
2380.74/2386.62 c #Conflicts: 1168000 | #Constraints: 164236
2380.74/2386.62 c INPROCESSING
2380.74/2386.62 c GARBAGE COLLECT
2380.74/2386.62 c #Conflicts: 1169000 | #Constraints: 143837
2380.74/2386.62 c #Conflicts: 1170000 | #Constraints: 144837
2380.74/2386.62 c #Conflicts: 1171000 | #Constraints: 145837
2380.74/2386.62 c #Conflicts: 1172000 | #Constraints: 146837
2380.74/2386.62 c #Conflicts: 1173000 | #Constraints: 147837
2380.74/2386.62 c #Conflicts: 1174000 | #Constraints: 148837
2380.74/2386.62 c #Conflicts: 1175000 | #Constraints: 149837
2380.74/2386.62 c #Conflicts: 1176000 | #Constraints: 150837
2380.74/2386.62 c #Conflicts: 1177000 | #Constraints: 151837
2380.74/2386.62 c #Conflicts: 1178000 | #Constraints: 152837
2380.74/2386.62 c #Conflicts: 1179000 | #Constraints: 153837
2380.74/2386.62 c #Conflicts: 1180000 | #Constraints: 154837
2380.74/2386.62 c #Conflicts: 1181000 | #Constraints: 155837
2380.74/2386.62 c #Conflicts: 1182000 | #Constraints: 156837
2380.74/2386.62 c #Conflicts: 1183000 | #Constraints: 157837
2380.74/2386.62 c #Conflicts: 1184000 | #Constraints: 158837
2380.74/2386.62 c #Conflicts: 1185000 | #Constraints: 159837
2380.74/2386.62 c #Conflicts: 1186000 | #Constraints: 160837
2380.74/2386.62 c #Conflicts: 1187000 | #Constraints: 161837
2380.74/2386.62 c #Conflicts: 1188000 | #Constraints: 162837
2380.74/2386.62 c #Conflicts: 1189000 | #Constraints: 163837
2380.74/2386.62 c #Conflicts: 1190000 | #Constraints: 164837
2380.74/2386.62 c INPROCESSING
2380.74/2386.62 c GARBAGE COLLECT
2380.74/2386.62 c #Conflicts: 1191000 | #Constraints: 144238
2380.74/2386.62 c #Conflicts: 1192000 | #Constraints: 145238
2380.74/2386.62 c #Conflicts: 1193000 | #Constraints: 146238
2380.74/2386.62 c #Conflicts: 1194000 | #Constraints: 147238
2380.74/2386.62 c #Conflicts: 1195000 | #Constraints: 148238
2380.74/2386.62 c #Conflicts: 1196000 | #Constraints: 149238
2380.74/2386.62 c #Conflicts: 1197000 | #Constraints: 150238
2380.74/2386.62 c #Conflicts: 1198000 | #Constraints: 151238
2380.74/2386.62 c #Conflicts: 1199000 | #Constraints: 152238
2380.74/2386.62 c #Conflicts: 1200000 | #Constraints: 153238
2380.74/2386.62 c #Conflicts: 1201000 | #Constraints: 154238
2380.74/2386.62 c #Conflicts: 1202000 | #Constraints: 155238
2380.74/2386.62 c #Conflicts: 1203000 | #Constraints: 156238
2380.74/2386.62 c #Conflicts: 1204000 | #Constraints: 157238
2380.74/2386.62 c #Conflicts: 1205000 | #Constraints: 158238
2532.08/2538.39 c #Conflicts: 1206000 | #Constraints: 159238
2532.08/2538.39 c #Conflicts: 1207000 | #Constraints: 160238
2532.08/2538.39 c #Conflicts: 1208000 | #Constraints: 161238
2532.08/2538.39 c #Conflicts: 1209000 | #Constraints: 162238
2532.08/2538.39 c #Conflicts: 1210000 | #Constraints: 163238
2532.08/2538.39 c #Conflicts: 1211000 | #Constraints: 164238
2532.08/2538.39 c #Conflicts: 1212000 | #Constraints: 165238
2532.08/2538.39 c INPROCESSING
2532.08/2538.39 c GARBAGE COLLECT
2532.08/2538.39 c #Conflicts: 1213000 | #Constraints: 144436
2532.08/2538.39 c #Conflicts: 1214000 | #Constraints: 145436
2532.08/2538.39 c #Conflicts: 1215000 | #Constraints: 146436
2532.08/2538.39 c #Conflicts: 1216000 | #Constraints: 147436
2532.08/2538.39 c #Conflicts: 1217000 | #Constraints: 148436
2532.08/2538.39 c #Conflicts: 1218000 | #Constraints: 149436
2532.08/2538.39 c #Conflicts: 1219000 | #Constraints: 150436
2532.08/2538.39 c #Conflicts: 1220000 | #Constraints: 151436
2532.08/2538.39 c #Conflicts: 1221000 | #Constraints: 152436
2532.08/2538.39 c #Conflicts: 1222000 | #Constraints: 153436
2532.08/2538.39 c #Conflicts: 1223000 | #Constraints: 154436
2532.08/2538.39 c #Conflicts: 1224000 | #Constraints: 155436
2532.08/2538.39 c #Conflicts: 1225000 | #Constraints: 156436
2532.08/2538.39 c #Conflicts: 1226000 | #Constraints: 157436
2532.08/2538.39 c #Conflicts: 1227000 | #Constraints: 158436
2532.08/2538.39 c #Conflicts: 1228000 | #Constraints: 159436
2532.08/2538.39 c #Conflicts: 1229000 | #Constraints: 160436
2532.08/2538.39 c #Conflicts: 1230000 | #Constraints: 161436
2532.08/2538.39 c #Conflicts: 1231000 | #Constraints: 162436
2532.08/2538.39 c #Conflicts: 1232000 | #Constraints: 163436
2532.08/2538.39 c #Conflicts: 1233000 | #Constraints: 164436
2532.08/2538.39 c #Conflicts: 1234000 | #Constraints: 165436
2532.08/2538.39 c INPROCESSING
2532.08/2538.39 c GARBAGE COLLECT
2532.08/2538.39 c #Conflicts: 1235000 | #Constraints: 144439
2532.08/2538.39 c #Conflicts: 1236000 | #Constraints: 145439
2532.08/2538.39 c #Conflicts: 1237000 | #Constraints: 146439
2532.08/2538.39 c #Conflicts: 1238000 | #Constraints: 147439
2532.08/2538.39 c #Conflicts: 1239000 | #Constraints: 148439
2532.08/2538.39 c #Conflicts: 1240000 | #Constraints: 149439
2532.08/2538.39 c #Conflicts: 1241000 | #Constraints: 150439
2532.08/2538.39 c #Conflicts: 1242000 | #Constraints: 151439
2532.08/2538.39 c #Conflicts: 1243000 | #Constraints: 152439
2532.08/2538.39 c #Conflicts: 1244000 | #Constraints: 153439
2532.08/2538.39 c #Conflicts: 1245000 | #Constraints: 154439
2532.08/2538.39 c #Conflicts: 1246000 | #Constraints: 155439
2532.08/2538.39 c #Conflicts: 1247000 | #Constraints: 156439
2532.08/2538.39 c #Conflicts: 1248000 | #Constraints: 157439
2532.08/2538.39 c #Conflicts: 1249000 | #Constraints: 158439
2532.08/2538.39 c #Conflicts: 1250000 | #Constraints: 159439
2532.08/2538.39 c #Conflicts: 1251000 | #Constraints: 160439
2532.08/2538.39 c #Conflicts: 1252000 | #Constraints: 161439
2532.08/2538.39 c #Conflicts: 1253000 | #Constraints: 162439
2532.08/2538.39 c #Conflicts: 1254000 | #Constraints: 163439
2532.08/2538.39 c #Conflicts: 1255000 | #Constraints: 164439
2532.08/2538.39 c #Conflicts: 1256000 | #Constraints: 165439
2532.08/2538.39 c INPROCESSING
2532.08/2538.39 c GARBAGE COLLECT
2532.08/2538.39 c #Conflicts: 1257000 | #Constraints: 144236
2532.08/2538.39 c #Conflicts: 1258000 | #Constraints: 145236
2532.08/2538.39 c #Conflicts: 1259000 | #Constraints: 146236
2532.08/2538.39 c #Conflicts: 1260000 | #Constraints: 147236
2532.08/2538.39 c #Conflicts: 1261000 | #Constraints: 148236
2532.08/2538.39 c #Conflicts: 1262000 | #Constraints: 149236
2532.08/2538.39 c #Conflicts: 1263000 | #Constraints: 150236
2532.08/2538.39 c #Conflicts: 1264000 | #Constraints: 151236
2532.08/2538.39 c #Conflicts: 1265000 | #Constraints: 152236
2532.08/2538.39 c #Conflicts: 1266000 | #Constraints: 153236
2532.08/2538.39 c #Conflicts: 1267000 | #Constraints: 154236
2532.08/2538.39 c #Conflicts: 1268000 | #Constraints: 155236
2532.08/2538.39 c #Conflicts: 1269000 | #Constraints: 156236
2532.08/2538.39 c #Conflicts: 1270000 | #Constraints: 157236
2532.08/2538.39 c #Conflicts: 1271000 | #Constraints: 158236
2532.08/2538.39 c #Conflicts: 1272000 | #Constraints: 159236
2532.08/2538.39 c #Conflicts: 1273000 | #Constraints: 160236
2532.08/2538.39 c #Conflicts: 1274000 | #Constraints: 161236
2532.08/2538.39 c #Conflicts: 1275000 | #Constraints: 162236
2532.08/2538.39 c #Conflicts: 1276000 | #Constraints: 163236
2532.08/2538.39 c #Conflicts: 1277000 | #Constraints: 164236
2532.08/2538.39 c #Conflicts: 1278000 | #Constraints: 165236
2532.08/2538.39 c #Conflicts: 1279000 | #Constraints: 166236
2532.08/2538.39 c INPROCESSING
2532.08/2538.39 c GARBAGE COLLECT
2532.08/2538.39 c #Conflicts: 1280000 | #Constraints: 144837
2532.08/2538.39 c #Conflicts: 1281000 | #Constraints: 145837
2681.44/2688.06 c #Conflicts: 1282000 | #Constraints: 146837
2681.44/2688.06 c #Conflicts: 1283000 | #Constraints: 147837
2681.44/2688.06 c #Conflicts: 1284000 | #Constraints: 148837
2681.44/2688.06 c #Conflicts: 1285000 | #Constraints: 149837
2681.44/2688.06 c #Conflicts: 1286000 | #Constraints: 150837
2681.44/2688.06 c #Conflicts: 1287000 | #Constraints: 151837
2681.44/2688.06 c #Conflicts: 1288000 | #Constraints: 152837
2681.44/2688.06 c #Conflicts: 1289000 | #Constraints: 153837
2681.44/2688.06 c #Conflicts: 1290000 | #Constraints: 154837
2681.44/2688.06 c #Conflicts: 1291000 | #Constraints: 155837
2681.44/2688.06 c #Conflicts: 1292000 | #Constraints: 156837
2681.44/2688.06 c #Conflicts: 1293000 | #Constraints: 157837
2681.44/2688.06 c #Conflicts: 1294000 | #Constraints: 158837
2681.44/2688.06 c #Conflicts: 1295000 | #Constraints: 159837
2681.44/2688.06 c #Conflicts: 1296000 | #Constraints: 160837
2681.44/2688.06 c #Conflicts: 1297000 | #Constraints: 161837
2681.44/2688.06 c #Conflicts: 1298000 | #Constraints: 162837
2681.44/2688.06 c #Conflicts: 1299000 | #Constraints: 163837
2681.44/2688.06 c #Conflicts: 1300000 | #Constraints: 164837
2681.44/2688.06 c #Conflicts: 1301000 | #Constraints: 165837
2681.44/2688.06 c #Conflicts: 1302000 | #Constraints: 166837
2681.44/2688.06 c INPROCESSING
2681.44/2688.06 c GARBAGE COLLECT
2681.44/2688.06 c #Conflicts: 1303000 | #Constraints: 145238
2681.44/2688.06 c #Conflicts: 1304000 | #Constraints: 146238
2681.44/2688.06 c #Conflicts: 1305000 | #Constraints: 147238
2681.44/2688.06 c #Conflicts: 1306000 | #Constraints: 148238
2681.44/2688.06 c #Conflicts: 1307000 | #Constraints: 149238
2681.44/2688.06 c #Conflicts: 1308000 | #Constraints: 150238
2681.44/2688.06 c #Conflicts: 1309000 | #Constraints: 151238
2681.44/2688.06 c #Conflicts: 1310000 | #Constraints: 152238
2681.44/2688.06 c #Conflicts: 1311000 | #Constraints: 153238
2681.44/2688.06 c #Conflicts: 1312000 | #Constraints: 154238
2681.44/2688.06 c #Conflicts: 1313000 | #Constraints: 155238
2681.44/2688.06 c #Conflicts: 1314000 | #Constraints: 156238
2681.44/2688.06 c #Conflicts: 1315000 | #Constraints: 157238
2681.44/2688.06 c #Conflicts: 1316000 | #Constraints: 158238
2681.44/2688.06 c #Conflicts: 1317000 | #Constraints: 159238
2681.44/2688.06 c #Conflicts: 1318000 | #Constraints: 160238
2681.44/2688.06 c #Conflicts: 1319000 | #Constraints: 161238
2681.44/2688.06 c #Conflicts: 1320000 | #Constraints: 162238
2681.44/2688.06 c #Conflicts: 1321000 | #Constraints: 163238
2681.44/2688.06 c #Conflicts: 1322000 | #Constraints: 164238
2681.44/2688.06 c #Conflicts: 1323000 | #Constraints: 165238
2681.44/2688.06 c #Conflicts: 1324000 | #Constraints: 166238
2681.44/2688.06 c #Conflicts: 1325000 | #Constraints: 167238
2681.44/2688.06 c INPROCESSING
2681.44/2688.06 c GARBAGE COLLECT
2681.44/2688.06 c #Conflicts: 1326000 | #Constraints: 145437
2681.44/2688.06 c #Conflicts: 1327000 | #Constraints: 146437
2681.44/2688.06 c #Conflicts: 1328000 | #Constraints: 147437
2681.44/2688.06 c #Conflicts: 1329000 | #Constraints: 148437
2681.44/2688.06 c #Conflicts: 1330000 | #Constraints: 149437
2681.44/2688.06 c #Conflicts: 1331000 | #Constraints: 150437
2681.44/2688.06 c #Conflicts: 1332000 | #Constraints: 151437
2681.44/2688.06 c #Conflicts: 1333000 | #Constraints: 152437
2681.44/2688.06 c #Conflicts: 1334000 | #Constraints: 153437
2681.44/2688.06 c #Conflicts: 1335000 | #Constraints: 154437
2681.44/2688.06 c #Conflicts: 1336000 | #Constraints: 155437
2681.44/2688.06 c #Conflicts: 1337000 | #Constraints: 156437
2681.44/2688.06 c #Conflicts: 1338000 | #Constraints: 157437
2681.44/2688.06 c #Conflicts: 1339000 | #Constraints: 158437
2681.44/2688.06 c #Conflicts: 1340000 | #Constraints: 159437
2681.44/2688.06 c #Conflicts: 1341000 | #Constraints: 160437
2681.44/2688.06 c #Conflicts: 1342000 | #Constraints: 161437
2681.44/2688.06 c #Conflicts: 1343000 | #Constraints: 162437
2681.44/2688.06 c #Conflicts: 1344000 | #Constraints: 163437
2681.44/2688.06 c #Conflicts: 1345000 | #Constraints: 164437
2681.44/2688.06 c #Conflicts: 1346000 | #Constraints: 165437
2681.44/2688.06 c #Conflicts: 1347000 | #Constraints: 166437
2681.44/2688.06 c #Conflicts: 1348000 | #Constraints: 167437
2681.44/2688.06 c INPROCESSING
2681.44/2688.06 c GARBAGE COLLECT
2681.44/2688.06 c #Conflicts: 1349000 | #Constraints: 145440
2681.44/2688.06 c #Conflicts: 1350000 | #Constraints: 146440
2681.44/2688.06 c #Conflicts: 1351000 | #Constraints: 147440
2681.44/2688.06 c #Conflicts: 1352000 | #Constraints: 148440
2681.44/2688.06 c #Conflicts: 1353000 | #Constraints: 149440
2681.44/2688.06 c #Conflicts: 1354000 | #Constraints: 150440
2681.44/2688.06 c #Conflicts: 1355000 | #Constraints: 151440
2681.44/2688.06 c #Conflicts: 1356000 | #Constraints: 152440
2681.44/2688.06 c #Conflicts: 1357000 | #Constraints: 153440
2681.44/2688.06 c #Conflicts: 1358000 | #Constraints: 154440
2837.47/2844.43 c #Conflicts: 1359000 | #Constraints: 155440
2837.47/2844.43 c #Conflicts: 1360000 | #Constraints: 156440
2837.47/2844.43 c #Conflicts: 1361000 | #Constraints: 157440
2837.47/2844.43 c #Conflicts: 1362000 | #Constraints: 158440
2837.47/2844.43 c #Conflicts: 1363000 | #Constraints: 159440
2837.47/2844.43 c #Conflicts: 1364000 | #Constraints: 160440
2837.47/2844.43 c #Conflicts: 1365000 | #Constraints: 161440
2837.47/2844.43 c #Conflicts: 1366000 | #Constraints: 162440
2837.47/2844.43 c #Conflicts: 1367000 | #Constraints: 163440
2837.47/2844.43 c #Conflicts: 1368000 | #Constraints: 164440
2837.47/2844.43 c #Conflicts: 1369000 | #Constraints: 165440
2837.47/2844.43 c #Conflicts: 1370000 | #Constraints: 166440
2837.47/2844.43 c #Conflicts: 1371000 | #Constraints: 167440
2837.47/2844.43 c INPROCESSING
2837.47/2844.43 c GARBAGE COLLECT
2837.47/2844.43 c #Conflicts: 1372000 | #Constraints: 145236
2837.47/2844.43 c #Conflicts: 1373000 | #Constraints: 146236
2837.47/2844.43 c #Conflicts: 1374000 | #Constraints: 147236
2837.47/2844.43 c #Conflicts: 1375000 | #Constraints: 148236
2837.47/2844.43 c #Conflicts: 1376000 | #Constraints: 149236
2837.47/2844.43 c #Conflicts: 1377000 | #Constraints: 150236
2837.47/2844.43 c #Conflicts: 1378000 | #Constraints: 151236
2837.47/2844.43 c #Conflicts: 1379000 | #Constraints: 152236
2837.47/2844.43 c #Conflicts: 1380000 | #Constraints: 153236
2837.47/2844.43 c #Conflicts: 1381000 | #Constraints: 154236
2837.47/2844.43 c #Conflicts: 1382000 | #Constraints: 155236
2837.47/2844.43 c #Conflicts: 1383000 | #Constraints: 156236
2837.47/2844.43 c #Conflicts: 1384000 | #Constraints: 157236
2837.47/2844.43 c #Conflicts: 1385000 | #Constraints: 158236
2837.47/2844.43 c #Conflicts: 1386000 | #Constraints: 159236
2837.47/2844.43 c #Conflicts: 1387000 | #Constraints: 160236
2837.47/2844.43 c #Conflicts: 1388000 | #Constraints: 161236
2837.47/2844.43 c #Conflicts: 1389000 | #Constraints: 162236
2837.47/2844.43 c #Conflicts: 1390000 | #Constraints: 163236
2837.47/2844.43 c #Conflicts: 1391000 | #Constraints: 164236
2837.47/2844.43 c #Conflicts: 1392000 | #Constraints: 165236
2837.47/2844.43 c #Conflicts: 1393000 | #Constraints: 166236
2837.47/2844.43 c #Conflicts: 1394000 | #Constraints: 167236
2837.47/2844.43 c #Conflicts: 1395000 | #Constraints: 168236
2837.47/2844.43 c INPROCESSING
2837.47/2844.43 c GARBAGE COLLECT
2837.47/2844.43 c #Conflicts: 1396000 | #Constraints: 145838
2837.47/2844.43 c #Conflicts: 1397000 | #Constraints: 146838
2837.47/2844.43 c #Conflicts: 1398000 | #Constraints: 147838
2837.47/2844.43 c #Conflicts: 1399000 | #Constraints: 148838
2837.47/2844.43 c #Conflicts: 1400000 | #Constraints: 149838
2837.47/2844.43 c #Conflicts: 1401000 | #Constraints: 150838
2837.47/2844.43 c #Conflicts: 1402000 | #Constraints: 151838
2837.47/2844.43 c #Conflicts: 1403000 | #Constraints: 152838
2837.47/2844.43 c #Conflicts: 1404000 | #Constraints: 153838
2837.47/2844.43 c #Conflicts: 1405000 | #Constraints: 154838
2837.47/2844.43 c #Conflicts: 1406000 | #Constraints: 155838
2837.47/2844.43 c #Conflicts: 1407000 | #Constraints: 156838
2837.47/2844.43 c #Conflicts: 1408000 | #Constraints: 157838
2837.47/2844.43 c #Conflicts: 1409000 | #Constraints: 158838
2837.47/2844.43 c #Conflicts: 1410000 | #Constraints: 159838
2837.47/2844.43 c #Conflicts: 1411000 | #Constraints: 160838
2837.47/2844.43 c #Conflicts: 1412000 | #Constraints: 161838
2837.47/2844.43 c #Conflicts: 1413000 | #Constraints: 162838
2837.47/2844.43 c #Conflicts: 1414000 | #Constraints: 163838
2837.47/2844.43 c #Conflicts: 1415000 | #Constraints: 164838
2837.47/2844.43 c #Conflicts: 1416000 | #Constraints: 165838
2837.47/2844.43 c #Conflicts: 1417000 | #Constraints: 166838
2837.47/2844.43 c #Conflicts: 1418000 | #Constraints: 167838
2837.47/2844.43 c #Conflicts: 1419000 | #Constraints: 168838
2837.47/2844.43 c INPROCESSING
2837.47/2844.43 c GARBAGE COLLECT
2837.47/2844.43 c #Conflicts: 1420000 | #Constraints: 146239
2837.47/2844.43 c #Conflicts: 1421000 | #Constraints: 147239
2837.47/2844.43 c #Conflicts: 1422000 | #Constraints: 148239
2837.47/2844.43 c #Conflicts: 1423000 | #Constraints: 149239
2837.47/2844.43 c #Conflicts: 1424000 | #Constraints: 150239
2837.47/2844.43 c #Conflicts: 1425000 | #Constraints: 151239
2837.47/2844.43 c #Conflicts: 1426000 | #Constraints: 152239
2837.47/2844.43 c #Conflicts: 1427000 | #Constraints: 153239
2837.47/2844.43 c #Conflicts: 1428000 | #Constraints: 154239
2837.47/2844.43 c #Conflicts: 1429000 | #Constraints: 155239
2837.47/2844.43 c #Conflicts: 1430000 | #Constraints: 156239
2837.47/2844.43 c #Conflicts: 1431000 | #Constraints: 157239
2837.47/2844.43 c #Conflicts: 1432000 | #Constraints: 158239
2837.47/2844.43 c #Conflicts: 1433000 | #Constraints: 159239
2837.47/2844.43 c #Conflicts: 1434000 | #Constraints: 160239
2837.47/2844.43 c #Conflicts: 1435000 | #Constraints: 161239
2990.51/2997.88 c #Conflicts: 1436000 | #Constraints: 162239
2990.51/2997.88 c #Conflicts: 1437000 | #Constraints: 163239
2990.51/2997.88 c #Conflicts: 1438000 | #Constraints: 164239
2990.51/2997.88 c #Conflicts: 1439000 | #Constraints: 165239
2990.51/2997.88 c #Conflicts: 1440000 | #Constraints: 166239
2990.51/2997.88 c #Conflicts: 1441000 | #Constraints: 167239
2990.51/2997.88 c #Conflicts: 1442000 | #Constraints: 168239
2990.51/2997.88 c #Conflicts: 1443000 | #Constraints: 169239
2990.51/2997.88 c INPROCESSING
2990.51/2997.88 c GARBAGE COLLECT
2990.51/2997.88 c #Conflicts: 1444000 | #Constraints: 146435
2990.51/2997.88 c #Conflicts: 1445000 | #Constraints: 147435
2990.51/2997.88 c #Conflicts: 1446000 | #Constraints: 148435
2990.51/2997.88 c #Conflicts: 1447000 | #Constraints: 149435
2990.51/2997.88 c #Conflicts: 1448000 | #Constraints: 150435
2990.51/2997.88 c #Conflicts: 1449000 | #Constraints: 151435
2990.51/2997.88 c #Conflicts: 1450000 | #Constraints: 152435
2990.51/2997.88 c #Conflicts: 1451000 | #Constraints: 153435
2990.51/2997.88 c #Conflicts: 1452000 | #Constraints: 154435
2990.51/2997.88 c #Conflicts: 1453000 | #Constraints: 155435
2990.51/2997.88 c #Conflicts: 1454000 | #Constraints: 156435
2990.51/2997.88 c #Conflicts: 1455000 | #Constraints: 157435
2990.51/2997.88 c #Conflicts: 1456000 | #Constraints: 158435
2990.51/2997.88 c #Conflicts: 1457000 | #Constraints: 159435
2990.51/2997.88 c #Conflicts: 1458000 | #Constraints: 160435
2990.51/2997.88 c #Conflicts: 1459000 | #Constraints: 161435
2990.51/2997.88 c #Conflicts: 1460000 | #Constraints: 162435
2990.51/2997.88 c #Conflicts: 1461000 | #Constraints: 163435
2990.51/2997.88 c #Conflicts: 1462000 | #Constraints: 164435
2990.51/2997.88 c #Conflicts: 1463000 | #Constraints: 165435
2990.51/2997.88 c #Conflicts: 1464000 | #Constraints: 166435
2990.51/2997.88 c #Conflicts: 1465000 | #Constraints: 167435
2990.51/2997.88 c #Conflicts: 1466000 | #Constraints: 168435
2990.51/2997.88 c #Conflicts: 1467000 | #Constraints: 169435
2990.51/2997.88 c INPROCESSING
2990.51/2997.88 c GARBAGE COLLECT
2990.51/2997.88 c #Conflicts: 1468000 | #Constraints: 146430
2990.51/2997.88 c #Conflicts: 1469000 | #Constraints: 147430
2990.51/2997.88 c #Conflicts: 1470000 | #Constraints: 148430
2990.51/2997.88 c #Conflicts: 1471000 | #Constraints: 149430
2990.51/2997.88 c #Conflicts: 1472000 | #Constraints: 150430
2990.51/2997.88 c #Conflicts: 1473000 | #Constraints: 151430
2990.51/2997.88 c #Conflicts: 1474000 | #Constraints: 152430
2990.51/2997.88 c #Conflicts: 1475000 | #Constraints: 153430
2990.51/2997.88 c #Conflicts: 1476000 | #Constraints: 154430
2990.51/2997.88 c #Conflicts: 1477000 | #Constraints: 155430
2990.51/2997.88 c #Conflicts: 1478000 | #Constraints: 156430
2990.51/2997.88 c #Conflicts: 1479000 | #Constraints: 157430
2990.51/2997.88 c #Conflicts: 1480000 | #Constraints: 158430
2990.51/2997.88 c #Conflicts: 1481000 | #Constraints: 159430
2990.51/2997.88 c #Conflicts: 1482000 | #Constraints: 160430
2990.51/2997.88 c #Conflicts: 1483000 | #Constraints: 161430
2990.51/2997.88 c #Conflicts: 1484000 | #Constraints: 162430
2990.51/2997.88 c #Conflicts: 1485000 | #Constraints: 163430
2990.51/2997.88 c #Conflicts: 1486000 | #Constraints: 164430
2990.51/2997.88 c #Conflicts: 1487000 | #Constraints: 165430
2990.51/2997.88 c #Conflicts: 1488000 | #Constraints: 166430
2990.51/2997.88 c #Conflicts: 1489000 | #Constraints: 167430
2990.51/2997.88 c #Conflicts: 1490000 | #Constraints: 168430
2990.51/2997.88 c #Conflicts: 1491000 | #Constraints: 169430
2990.51/2997.88 c INPROCESSING
2990.51/2997.88 c GARBAGE COLLECT
2990.51/2997.88 c #Conflicts: 1492000 | #Constraints: 146230
2990.51/2997.88 c #Conflicts: 1493000 | #Constraints: 147230
2990.51/2997.88 c #Conflicts: 1494000 | #Constraints: 148230
2990.51/2997.88 c #Conflicts: 1495000 | #Constraints: 149230
2990.51/2997.88 c #Conflicts: 1496000 | #Constraints: 150230
2990.51/2997.88 c #Conflicts: 1497000 | #Constraints: 151230
2990.51/2997.88 c #Conflicts: 1498000 | #Constraints: 152230
2990.51/2997.88 c #Conflicts: 1499000 | #Constraints: 153230
2990.51/2997.88 c #Conflicts: 1500000 | #Constraints: 154230
2990.51/2997.88 c #Conflicts: 1501000 | #Constraints: 155230
2990.51/2997.88 c #Conflicts: 1502000 | #Constraints: 156230
2990.51/2997.88 c #Conflicts: 1503000 | #Constraints: 157230
2990.51/2997.88 c #Conflicts: 1504000 | #Constraints: 158230
2990.51/2997.88 c #Conflicts: 1505000 | #Constraints: 159230
2990.51/2997.88 c #Conflicts: 1506000 | #Constraints: 160230
2990.51/2997.88 c #Conflicts: 1507000 | #Constraints: 161230
2990.51/2997.88 c #Conflicts: 1508000 | #Constraints: 162230
2990.51/2997.88 c #Conflicts: 1509000 | #Constraints: 163230
2990.51/2997.88 c #Conflicts: 1510000 | #Constraints: 164230
2990.51/2997.88 c #Conflicts: 1511000 | #Constraints: 165230
3156.60/3164.37 c #Conflicts: 1512000 | #Constraints: 166230
3156.60/3164.37 c #Conflicts: 1513000 | #Constraints: 167230
3156.60/3164.37 c #Conflicts: 1514000 | #Constraints: 168230
3156.60/3164.37 c #Conflicts: 1515000 | #Constraints: 169230
3156.60/3164.37 c #Conflicts: 1516000 | #Constraints: 170230
3156.60/3164.37 c INPROCESSING
3156.60/3164.37 c GARBAGE COLLECT
3156.60/3164.37 c #Conflicts: 1517000 | #Constraints: 146832
3156.60/3164.37 c #Conflicts: 1518000 | #Constraints: 147832
3156.60/3164.37 c #Conflicts: 1519000 | #Constraints: 148832
3156.60/3164.37 c #Conflicts: 1520000 | #Constraints: 149832
3156.60/3164.37 c #Conflicts: 1521000 | #Constraints: 150832
3156.60/3164.37 c #Conflicts: 1522000 | #Constraints: 151832
3156.60/3164.37 c #Conflicts: 1523000 | #Constraints: 152832
3156.60/3164.37 c #Conflicts: 1524000 | #Constraints: 153832
3156.60/3164.37 c #Conflicts: 1525000 | #Constraints: 154832
3156.60/3164.37 c #Conflicts: 1526000 | #Constraints: 155832
3156.60/3164.37 c #Conflicts: 1527000 | #Constraints: 156832
3156.60/3164.37 c #Conflicts: 1528000 | #Constraints: 157832
3156.60/3164.37 c #Conflicts: 1529000 | #Constraints: 158832
3156.60/3164.37 c #Conflicts: 1530000 | #Constraints: 159832
3156.60/3164.37 c #Conflicts: 1531000 | #Constraints: 160832
3156.60/3164.37 c #Conflicts: 1532000 | #Constraints: 161832
3156.60/3164.37 c #Conflicts: 1533000 | #Constraints: 162832
3156.60/3164.37 c #Conflicts: 1534000 | #Constraints: 163832
3156.60/3164.37 c #Conflicts: 1535000 | #Constraints: 164832
3156.60/3164.37 c #Conflicts: 1536000 | #Constraints: 165832
3156.60/3164.37 c #Conflicts: 1537000 | #Constraints: 166832
3156.60/3164.37 c #Conflicts: 1538000 | #Constraints: 167832
3156.60/3164.37 c #Conflicts: 1539000 | #Constraints: 168832
3156.60/3164.37 c #Conflicts: 1540000 | #Constraints: 169832
3156.60/3164.37 c #Conflicts: 1541000 | #Constraints: 170832
3156.60/3164.37 c INPROCESSING
3156.60/3164.37 c GARBAGE COLLECT
3156.60/3164.37 c #Conflicts: 1542000 | #Constraints: 147233
3156.60/3164.37 c #Conflicts: 1543000 | #Constraints: 148233
3156.60/3164.37 c #Conflicts: 1544000 | #Constraints: 149233
3156.60/3164.37 c #Conflicts: 1545000 | #Constraints: 150233
3156.60/3164.37 c #Conflicts: 1546000 | #Constraints: 151233
3156.60/3164.37 c #Conflicts: 1547000 | #Constraints: 152233
3156.60/3164.37 c #Conflicts: 1548000 | #Constraints: 153233
3156.60/3164.37 c #Conflicts: 1549000 | #Constraints: 154233
3156.60/3164.37 c #Conflicts: 1550000 | #Constraints: 155233
3156.60/3164.37 c #Conflicts: 1551000 | #Constraints: 156233
3156.60/3164.37 c #Conflicts: 1552000 | #Constraints: 157233
3156.60/3164.37 c #Conflicts: 1553000 | #Constraints: 158233
3156.60/3164.37 c #Conflicts: 1554000 | #Constraints: 159233
3156.60/3164.37 c #Conflicts: 1555000 | #Constraints: 160233
3156.60/3164.37 c #Conflicts: 1556000 | #Constraints: 161233
3156.60/3164.37 c #Conflicts: 1557000 | #Constraints: 162233
3156.60/3164.37 c #Conflicts: 1558000 | #Constraints: 163233
3156.60/3164.37 c #Conflicts: 1559000 | #Constraints: 164233
3156.60/3164.37 c #Conflicts: 1560000 | #Constraints: 165233
3156.60/3164.37 c #Conflicts: 1561000 | #Constraints: 166233
3156.60/3164.37 c #Conflicts: 1562000 | #Constraints: 167233
3156.60/3164.37 c #Conflicts: 1563000 | #Constraints: 168233
3156.60/3164.37 c #Conflicts: 1564000 | #Constraints: 169233
3156.60/3164.37 c #Conflicts: 1565000 | #Constraints: 170233
3156.60/3164.37 c #Conflicts: 1566000 | #Constraints: 171233
3156.60/3164.37 c INPROCESSING
3156.60/3164.37 c GARBAGE COLLECT
3156.60/3164.37 c #Conflicts: 1567000 | #Constraints: 147430
3156.60/3164.37 c #Conflicts: 1568000 | #Constraints: 148430
3156.60/3164.37 c #Conflicts: 1569000 | #Constraints: 149430
3156.60/3164.37 c #Conflicts: 1570000 | #Constraints: 150430
3156.60/3164.37 c #Conflicts: 1571000 | #Constraints: 151430
3156.60/3164.37 c #Conflicts: 1572000 | #Constraints: 152430
3156.60/3164.37 c #Conflicts: 1573000 | #Constraints: 153430
3156.60/3164.37 c #Conflicts: 1574000 | #Constraints: 154430
3156.60/3164.37 c #Conflicts: 1575000 | #Constraints: 155430
3156.60/3164.37 c #Conflicts: 1576000 | #Constraints: 156430
3156.60/3164.37 c #Conflicts: 1577000 | #Constraints: 157430
3156.60/3164.37 c #Conflicts: 1578000 | #Constraints: 158430
3156.60/3164.37 c #Conflicts: 1579000 | #Constraints: 159430
3156.60/3164.37 c #Conflicts: 1580000 | #Constraints: 160430
3156.60/3164.37 c #Conflicts: 1581000 | #Constraints: 161430
3156.60/3164.37 c #Conflicts: 1582000 | #Constraints: 162430
3156.60/3164.37 c #Conflicts: 1583000 | #Constraints: 163430
3156.60/3164.37 c #Conflicts: 1584000 | #Constraints: 164430
3156.60/3164.37 c #Conflicts: 1585000 | #Constraints: 165430
3156.60/3164.37 c #Conflicts: 1586000 | #Constraints: 166430
3156.60/3164.37 c #Conflicts: 1587000 | #Constraints: 167430
3156.60/3164.37 c #Conflicts: 1588000 | #Constraints: 168430
3306.56/3314.61 c #Conflicts: 1589000 | #Constraints: 169430
3306.56/3314.61 c #Conflicts: 1590000 | #Constraints: 170430
3306.56/3314.61 c #Conflicts: 1591000 | #Constraints: 171430
3306.56/3314.61 c INPROCESSING
3306.56/3314.61 c GARBAGE COLLECT
3306.56/3314.61 c #Conflicts: 1592000 | #Constraints: 147434
3306.56/3314.61 c #Conflicts: 1593000 | #Constraints: 148434
3306.56/3314.61 c #Conflicts: 1594000 | #Constraints: 149434
3306.56/3314.61 c #Conflicts: 1595000 | #Constraints: 150434
3306.56/3314.61 c #Conflicts: 1596000 | #Constraints: 151434
3306.56/3314.61 c #Conflicts: 1597000 | #Constraints: 152434
3306.56/3314.61 c #Conflicts: 1598000 | #Constraints: 153434
3306.56/3314.61 c #Conflicts: 1599000 | #Constraints: 154434
3306.56/3314.61 c #Conflicts: 1600000 | #Constraints: 155434
3306.56/3314.61 c #Conflicts: 1601000 | #Constraints: 156434
3306.56/3314.61 c #Conflicts: 1602000 | #Constraints: 157434
3306.56/3314.61 c #Conflicts: 1603000 | #Constraints: 158434
3306.56/3314.61 c #Conflicts: 1604000 | #Constraints: 159434
3306.56/3314.61 c #Conflicts: 1605000 | #Constraints: 160434
3306.56/3314.61 c #Conflicts: 1606000 | #Constraints: 161434
3306.56/3314.61 c #Conflicts: 1607000 | #Constraints: 162434
3306.56/3314.61 c #Conflicts: 1608000 | #Constraints: 163434
3306.56/3314.61 c #Conflicts: 1609000 | #Constraints: 164434
3306.56/3314.61 c #Conflicts: 1610000 | #Constraints: 165434
3306.56/3314.61 c #Conflicts: 1611000 | #Constraints: 166434
3306.56/3314.61 c #Conflicts: 1612000 | #Constraints: 167434
3306.56/3314.61 c #Conflicts: 1613000 | #Constraints: 168434
3306.56/3314.61 c #Conflicts: 1614000 | #Constraints: 169434
3306.56/3314.61 c #Conflicts: 1615000 | #Constraints: 170434
3306.56/3314.61 c #Conflicts: 1616000 | #Constraints: 171434
3306.56/3314.61 c INPROCESSING
3306.56/3314.61 c GARBAGE COLLECT
3306.56/3314.61 c #Conflicts: 1617000 | #Constraints: 147242
3306.56/3314.61 c #Conflicts: 1618000 | #Constraints: 148242
3306.56/3314.61 c #Conflicts: 1619000 | #Constraints: 149242
3306.56/3314.61 c #Conflicts: 1620000 | #Constraints: 150242
3306.56/3314.61 c #Conflicts: 1621000 | #Constraints: 151242
3306.56/3314.61 c #Conflicts: 1622000 | #Constraints: 152242
3306.56/3314.61 c #Conflicts: 1623000 | #Constraints: 153242
3306.56/3314.61 c #Conflicts: 1624000 | #Constraints: 154242
3306.56/3314.61 c #Conflicts: 1625000 | #Constraints: 155242
3306.56/3314.61 c #Conflicts: 1626000 | #Constraints: 156242
3306.56/3314.61 c #Conflicts: 1627000 | #Constraints: 157242
3306.56/3314.61 c #Conflicts: 1628000 | #Constraints: 158242
3306.56/3314.61 c #Conflicts: 1629000 | #Constraints: 159242
3306.56/3314.61 c #Conflicts: 1630000 | #Constraints: 160242
3306.56/3314.61 c #Conflicts: 1631000 | #Constraints: 161242
3306.56/3314.61 c #Conflicts: 1632000 | #Constraints: 162242
3306.56/3314.61 c #Conflicts: 1633000 | #Constraints: 163242
3306.56/3314.61 c #Conflicts: 1634000 | #Constraints: 164242
3306.56/3314.61 c #Conflicts: 1635000 | #Constraints: 165242
3306.56/3314.61 c #Conflicts: 1636000 | #Constraints: 166242
3306.56/3314.61 c #Conflicts: 1637000 | #Constraints: 167242
3306.56/3314.61 c #Conflicts: 1638000 | #Constraints: 168242
3306.56/3314.61 c #Conflicts: 1639000 | #Constraints: 169242
3306.56/3314.61 c #Conflicts: 1640000 | #Constraints: 170242
3306.56/3314.61 c #Conflicts: 1641000 | #Constraints: 171242
3306.56/3314.61 c #Conflicts: 1642000 | #Constraints: 172242
3306.56/3314.61 c INPROCESSING
3306.56/3314.61 c GARBAGE COLLECT
3306.56/3314.61 c #Conflicts: 1643000 | #Constraints: 147835
3306.56/3314.61 c #Conflicts: 1644000 | #Constraints: 148835
3306.56/3314.61 c #Conflicts: 1645000 | #Constraints: 149835
3306.56/3314.61 c #Conflicts: 1646000 | #Constraints: 150835
3306.56/3314.61 c #Conflicts: 1647000 | #Constraints: 151835
3306.56/3314.61 c #Conflicts: 1648000 | #Constraints: 152835
3306.56/3314.61 c #Conflicts: 1649000 | #Constraints: 153835
3306.56/3314.61 c #Conflicts: 1650000 | #Constraints: 154835
3306.56/3314.61 c #Conflicts: 1651000 | #Constraints: 155835
3306.56/3314.61 c #Conflicts: 1652000 | #Constraints: 156835
3306.56/3314.61 c #Conflicts: 1653000 | #Constraints: 157835
3306.56/3314.61 c #Conflicts: 1654000 | #Constraints: 158835
3306.56/3314.61 c #Conflicts: 1655000 | #Constraints: 159835
3306.56/3314.61 c #Conflicts: 1656000 | #Constraints: 160835
3306.56/3314.61 c #Conflicts: 1657000 | #Constraints: 161835
3306.56/3314.61 c #Conflicts: 1658000 | #Constraints: 162835
3306.56/3314.61 c #Conflicts: 1659000 | #Constraints: 163835
3306.56/3314.61 c #Conflicts: 1660000 | #Constraints: 164835
3306.56/3314.61 c #Conflicts: 1661000 | #Constraints: 165835
3306.56/3314.61 c #Conflicts: 1662000 | #Constraints: 166835
3306.56/3314.61 c #Conflicts: 1663000 | #Constraints: 167835
3306.56/3314.61 c #Conflicts: 1664000 | #Constraints: 168835
3306.56/3314.61 c #Conflicts: 1665000 | #Constraints: 169835
3457.40/3465.80 c #Conflicts: 1666000 | #Constraints: 170835
3457.40/3465.80 c #Conflicts: 1667000 | #Constraints: 171835
3457.40/3465.80 c #Conflicts: 1668000 | #Constraints: 172835
3457.40/3465.80 c INPROCESSING
3457.40/3465.80 c GARBAGE COLLECT
3457.40/3465.80 c #Conflicts: 1669000 | #Constraints: 148236
3457.40/3465.80 c #Conflicts: 1670000 | #Constraints: 149236
3457.40/3465.80 c #Conflicts: 1671000 | #Constraints: 150236
3457.40/3465.80 c #Conflicts: 1672000 | #Constraints: 151236
3457.40/3465.80 c #Conflicts: 1673000 | #Constraints: 152236
3457.40/3465.80 c #Conflicts: 1674000 | #Constraints: 153236
3457.40/3465.80 c #Conflicts: 1675000 | #Constraints: 154236
3457.40/3465.80 c #Conflicts: 1676000 | #Constraints: 155236
3457.40/3465.80 c #Conflicts: 1677000 | #Constraints: 156236
3457.40/3465.80 c #Conflicts: 1678000 | #Constraints: 157236
3457.40/3465.80 c #Conflicts: 1679000 | #Constraints: 158236
3457.40/3465.80 c #Conflicts: 1680000 | #Constraints: 159236
3457.40/3465.80 c #Conflicts: 1681000 | #Constraints: 160236
3457.40/3465.80 c #Conflicts: 1682000 | #Constraints: 161236
3457.40/3465.80 c #Conflicts: 1683000 | #Constraints: 162236
3457.40/3465.80 c #Conflicts: 1684000 | #Constraints: 163236
3457.40/3465.80 c #Conflicts: 1685000 | #Constraints: 164236
3457.40/3465.80 c #Conflicts: 1686000 | #Constraints: 165236
3457.40/3465.80 c #Conflicts: 1687000 | #Constraints: 166236
3457.40/3465.80 c #Conflicts: 1688000 | #Constraints: 167236
3457.40/3465.80 c #Conflicts: 1689000 | #Constraints: 168236
3457.40/3465.80 c #Conflicts: 1690000 | #Constraints: 169236
3457.40/3465.80 c #Conflicts: 1691000 | #Constraints: 170236
3457.40/3465.80 c #Conflicts: 1692000 | #Constraints: 171236
3457.40/3465.80 c #Conflicts: 1693000 | #Constraints: 172236
3457.40/3465.80 c #Conflicts: 1694000 | #Constraints: 173236
3457.40/3465.80 c INPROCESSING
3457.40/3465.80 c GARBAGE COLLECT
3457.40/3465.80 c #Conflicts: 1695000 | #Constraints: 148438
3457.40/3465.80 c #Conflicts: 1696000 | #Constraints: 149438
3457.40/3465.80 c #Conflicts: 1697000 | #Constraints: 150438
3457.40/3465.80 c #Conflicts: 1698000 | #Constraints: 151438
3457.40/3465.80 c #Conflicts: 1699000 | #Constraints: 152438
3457.40/3465.80 c #Conflicts: 1700000 | #Constraints: 153438
3457.40/3465.80 c #Conflicts: 1701000 | #Constraints: 154438
3457.40/3465.80 c #Conflicts: 1702000 | #Constraints: 155438
3457.40/3465.80 c #Conflicts: 1703000 | #Constraints: 156438
3457.40/3465.80 c #Conflicts: 1704000 | #Constraints: 157438
3457.40/3465.80 c #Conflicts: 1705000 | #Constraints: 158438
3457.40/3465.80 c #Conflicts: 1706000 | #Constraints: 159438
3457.40/3465.80 c #Conflicts: 1707000 | #Constraints: 160438
3457.40/3465.80 c #Conflicts: 1708000 | #Constraints: 161438
3457.40/3465.80 c #Conflicts: 1709000 | #Constraints: 162438
3457.40/3465.80 c #Conflicts: 1710000 | #Constraints: 163438
3457.40/3465.80 c #Conflicts: 1711000 | #Constraints: 164438
3457.40/3465.80 c #Conflicts: 1712000 | #Constraints: 165438
3457.40/3465.80 c #Conflicts: 1713000 | #Constraints: 166438
3457.40/3465.80 c #Conflicts: 1714000 | #Constraints: 167438
3457.40/3465.80 c #Conflicts: 1715000 | #Constraints: 168438
3457.40/3465.80 c #Conflicts: 1716000 | #Constraints: 169438
3457.40/3465.80 c #Conflicts: 1717000 | #Constraints: 170438
3457.40/3465.80 c #Conflicts: 1718000 | #Constraints: 171438
3457.40/3465.80 c #Conflicts: 1719000 | #Constraints: 172438
3457.40/3465.80 c #Conflicts: 1720000 | #Constraints: 173438
3457.40/3465.80 c INPROCESSING
3457.40/3465.80 c GARBAGE COLLECT
3457.40/3465.80 c #Conflicts: 1721000 | #Constraints: 148435
3457.40/3465.80 c #Conflicts: 1722000 | #Constraints: 149435
3457.40/3465.80 c #Conflicts: 1723000 | #Constraints: 150435
3457.40/3465.80 c #Conflicts: 1724000 | #Constraints: 151435
3457.40/3465.80 c #Conflicts: 1725000 | #Constraints: 152435
3457.40/3465.80 c #Conflicts: 1726000 | #Constraints: 153435
3457.40/3465.80 c #Conflicts: 1727000 | #Constraints: 154435
3457.40/3465.80 c #Conflicts: 1728000 | #Constraints: 155435
3457.40/3465.80 c #Conflicts: 1729000 | #Constraints: 156435
3457.40/3465.80 c #Conflicts: 1730000 | #Constraints: 157435
3457.40/3465.80 c #Conflicts: 1731000 | #Constraints: 158435
3457.40/3465.80 c #Conflicts: 1732000 | #Constraints: 159435
3457.40/3465.80 c #Conflicts: 1733000 | #Constraints: 160435
3457.40/3465.80 c #Conflicts: 1734000 | #Constraints: 161435
3457.40/3465.80 c #Conflicts: 1735000 | #Constraints: 162435
3457.40/3465.80 c #Conflicts: 1736000 | #Constraints: 163435
3457.40/3465.80 c #Conflicts: 1737000 | #Constraints: 164435
3457.40/3465.80 c #Conflicts: 1738000 | #Constraints: 165435
3457.40/3465.80 c #Conflicts: 1739000 | #Constraints: 166435
3457.40/3465.80 c #Conflicts: 1740000 | #Constraints: 167435
3457.40/3465.80 c #Conflicts: 1741000 | #Constraints: 168435
3457.40/3465.80 c #Conflicts: 1742000 | #Constraints: 169435
3600.06/3608.80 c #Conflicts: 1743000 | #Constraints: 170435
3600.06/3608.80 c #Conflicts: 1744000 | #Constraints: 171435
3600.06/3608.80 c #Conflicts: 1745000 | #Constraints: 172435
3600.06/3608.80 c #Conflicts: 1746000 | #Constraints: 173435
3600.06/3608.80 c INPROCESSING
3600.06/3608.80 c GARBAGE COLLECT
3600.06/3608.80 c #Conflicts: 1747000 | #Constraints: 148232
3600.06/3608.80 c #Conflicts: 1748000 | #Constraints: 149232
3600.06/3608.80 c #Conflicts: 1749000 | #Constraints: 150232
3600.06/3608.80 c #Conflicts: 1750000 | #Constraints: 151232
3600.06/3608.80 c #Conflicts: 1751000 | #Constraints: 152232
3600.06/3608.80 c #Conflicts: 1752000 | #Constraints: 153232
3600.06/3608.80 c #Conflicts: 1753000 | #Constraints: 154232
3600.06/3608.80 c #Conflicts: 1754000 | #Constraints: 155232
3600.06/3608.80 c #Conflicts: 1755000 | #Constraints: 156232
3600.06/3608.80 c #Conflicts: 1756000 | #Constraints: 157232
3600.06/3608.80 c #Conflicts: 1757000 | #Constraints: 158232
3600.06/3608.80 c #Conflicts: 1758000 | #Constraints: 159232
3600.06/3608.80 c #Conflicts: 1759000 | #Constraints: 160232
3600.06/3608.80 c #Conflicts: 1760000 | #Constraints: 161232
3600.06/3608.80 c #Conflicts: 1761000 | #Constraints: 162232
3600.06/3608.80 c #Conflicts: 1762000 | #Constraints: 163232
3600.06/3608.80 c #Conflicts: 1763000 | #Constraints: 164232
3600.06/3608.80 c #Conflicts: 1764000 | #Constraints: 165232
3600.06/3608.80 c #Conflicts: 1765000 | #Constraints: 166232
3600.06/3608.80 c #Conflicts: 1766000 | #Constraints: 167232
3600.06/3608.80 c #Conflicts: 1767000 | #Constraints: 168232
3600.06/3608.80 c #Conflicts: 1768000 | #Constraints: 169232
3600.06/3608.80 c #Conflicts: 1769000 | #Constraints: 170232
3600.06/3608.80 c #Conflicts: 1770000 | #Constraints: 171232
3600.06/3608.80 c #Conflicts: 1771000 | #Constraints: 172232
3600.06/3608.80 c #Conflicts: 1772000 | #Constraints: 173232
3600.06/3608.80 c #Conflicts: 1773000 | #Constraints: 174232
3600.06/3608.80 c INPROCESSING
3600.06/3608.80 c GARBAGE COLLECT
3600.06/3608.80 c #Conflicts: 1774000 | #Constraints: 148835
3600.06/3608.80 c #Conflicts: 1775000 | #Constraints: 149835
3600.06/3608.80 c #Conflicts: 1776000 | #Constraints: 150835
3600.06/3608.80 c #Conflicts: 1777000 | #Constraints: 151835
3600.06/3608.80 c #Conflicts: 1778000 | #Constraints: 152835
3600.06/3608.80 c #Conflicts: 1779000 | #Constraints: 153835
3600.06/3608.80 c #Conflicts: 1780000 | #Constraints: 154835
3600.06/3608.80 c #Conflicts: 1781000 | #Constraints: 155835
3600.06/3608.80 c #Conflicts: 1782000 | #Constraints: 156835
3600.06/3608.80 c #Conflicts: 1783000 | #Constraints: 157835
3600.06/3608.80 c #Conflicts: 1784000 | #Constraints: 158835
3600.06/3608.80 c #Conflicts: 1785000 | #Constraints: 159835
3600.06/3608.80 c #Conflicts: 1786000 | #Constraints: 160835
3600.06/3608.80 c #Conflicts: 1787000 | #Constraints: 161835
3600.06/3608.80 c #Conflicts: 1788000 | #Constraints: 162835
3600.06/3608.80 c #Conflicts: 1789000 | #Constraints: 163835
3600.06/3608.80 c #Conflicts: 1790000 | #Constraints: 164835
3600.06/3608.80 c #Conflicts: 1791000 | #Constraints: 165835
3600.06/3608.80 c #Conflicts: 1792000 | #Constraints: 166835
3600.06/3608.80 c #Conflicts: 1793000 | #Constraints: 167835
3600.06/3608.80 c #Conflicts: 1794000 | #Constraints: 168835
3600.06/3608.80 c #Conflicts: 1795000 | #Constraints: 169835
3600.06/3608.80 c #Conflicts: 1796000 | #Constraints: 170835
3600.06/3608.80 c #Conflicts: 1797000 | #Constraints: 171835
3600.06/3608.80 c #Conflicts: 1798000 | #Constraints: 172835
3600.06/3608.80 c #Conflicts: 1799000 | #Constraints: 173835
3600.06/3608.80 c #Conflicts: 1800000 | #Constraints: 174835
3600.06/3608.80 c INPROCESSING
3600.06/3608.80 c GARBAGE COLLECT
3600.06/3608.80 c #Conflicts: 1801000 | #Constraints: 149237
3600.06/3608.80 c #Conflicts: 1802000 | #Constraints: 150237
3600.06/3608.80 c #Conflicts: 1803000 | #Constraints: 151237
3600.06/3608.80 c #Conflicts: 1804000 | #Constraints: 152237
3600.06/3608.80 c #Conflicts: 1805000 | #Constraints: 153237
3600.06/3608.80 c #Conflicts: 1806000 | #Constraints: 154237
3600.06/3608.80 c #Conflicts: 1807000 | #Constraints: 155237
3600.06/3608.80 c #Conflicts: 1808000 | #Constraints: 156237
3600.06/3608.80 c #Conflicts: 1809000 | #Constraints: 157237
3600.06/3608.80 c #Conflicts: 1810000 | #Constraints: 158237
3600.06/3608.80 c #Conflicts: 1811000 | #Constraints: 159237
3600.06/3608.80 c #Conflicts: 1812000 | #Constraints: 160237
3600.06/3608.80 c #Conflicts: 1813000 | #Constraints: 161237
3600.06/3608.80 c #Conflicts: 1814000 | #Constraints: 162237
3600.06/3608.80 c cpu time 3583.47 s
3600.06/3608.80 c deterministic time 1 1.00e+00
3600.06/3608.80 c optimization time 3582.69 s
3600.06/3608.80 c total solve time 0 s
3600.06/3608.80 c core-guided solve time 0 s
3600.06/3608.80 c propagation time 0.065485 s
3600.06/3608.80 c conflict analysis time 0 s
3600.06/3608.80 c propagations 0
3600.06/3608.80 c resolve steps 0
3600.06/3608.80 c decisions 0
3600.06/3608.80 c conflicts 0
3600.06/3608.80 c restarts 0
3600.06/3608.80 c inprocessing phases 0
3600.06/3608.80 c garbage collections 0 ,( -nan )
3600.06/3608.80 c input clauses 209576 ,( 100.00 )
3600.06/3608.80 c input cardinalities 0 ,( 0.00 )
3600.06/3608.80 c input general constraints 0 ,( 0.00 )
3600.06/3608.80 c input average constraint length 3.00
3600.06/3608.80 c input average constraint degree 1.00
3600.06/3608.80 c learned clauses 0 ,( 0.00 )
3600.06/3608.80 c learned cardinalities 0 ,( 0.00 )
3600.06/3608.80 c learned general constraints 0 ,( 0.00 )
3600.06/3608.80 c learned average constraint length 0.00
3600.06/3608.80 c learned average constraint degree 0.00
3600.06/3608.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3608.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3608.80 c watched constraints 0 ,( -nan )
3600.06/3608.80 c counting constraints 0 ,( -nan )
3600.06/3608.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3608.80 c gcd simplifications 0
3600.06/3608.80 c detected cardinalities 0
3600.06/3608.80 c weakened non-implied lits 0
3600.06/3608.80 c weakened non-implying lits 0
3600.06/3608.80 c original variables 2346
3600.06/3608.80 c clausal propagations 0
3600.06/3608.80 c cardinality propagations 0
3600.06/3608.80 c watched propagations 0
3600.06/3608.80 c counting propagations 0
3600.06/3608.80 c watch lookups 0
3600.06/3608.80 c watch backjump lookups 0
3600.06/3608.80 c watch checks 0
3600.06/3608.80 c propagation checks 0
3600.06/3608.80 c constraint additions 0
3600.06/3608.80 c trail pops 0
3600.06/3608.80 c formula constraints 209576
3600.06/3608.80 c learned constraints 0
3600.06/3608.80 c bound constraints 0
3600.06/3608.80 c core-guided constraints 0
3600.06/3608.80 c encountered formula constraints 0
3600.06/3608.80 c encountered learned constraints 0
3600.06/3608.80 c encountered bound constraints 0
3600.06/3608.80 c encountered core-guided constraints 0
3600.06/3608.80 c LP total time 0 s
3600.06/3608.80 c LP solve time 0 s
3600.06/3608.80 c LP constraints added 0
3600.06/3608.80 c LP constraints removed 0
3600.06/3608.80 c LP pivots internal 0
3600.06/3608.80 c LP pivots root 0
3600.06/3608.80 c LP calls 0
3600.06/3608.80 c LP optimalities 0
3600.06/3608.80 c LP no pivot count 0
3600.06/3608.80 c LP infeasibilities 0
3600.06/3608.80 c LP valid Farkas constraints 0
3600.06/3608.80 c LP learned Farkas constraints 0
3600.06/3608.80 c LP basis resets 0
3600.06/3608.80 c LP cycling count 0
3600.06/3608.80 c LP singular count 0
3600.06/3608.80 c LP no primal count 0
3600.06/3608.80 c LP no farkas count 0
3600.06/3608.80 c LP other issue count 0
3600.06/3608.80 c LP Gomory cuts 0
3600.06/3608.80 c LP learned cuts 0
3600.06/3608.80 c LP deleted cuts 0
3600.06/3608.80 c LP encountered Gomory constraints 0
3600.06/3608.80 c LP encountered Farkas constraints 0
3600.06/3608.80 c LP encountered learned Farkas constraints 0
3600.06/3608.80 c CG auxiliary variables introduced 0
3600.06/3608.80 c CG solutions found 0
3600.06/3608.80 c CG cores constructed 0
3600.06/3608.80 c CG core cardinality constraints returned 0
3600.06/3608.80 c CG unit cores 0
3600.06/3608.80 c CG single cores 0
3600.06/3608.80 c CG blocks removed during cardinality reduction 0
3600.06/3608.80 c CG first core best 0
3600.06/3608.80 c CG decision core best 0
3600.06/3608.80 c CG core reduction tie 0
3600.06/3608.80 c CG core degree average 0.00
3600.06/3608.80 c CG core slack average 0.00
3600.06/3608.80 c CG core upper bound improvements 0
3600.06/3608.80 c STR number of successful calls 0
3600.06/3608.80 c STR number of unsuccessful calls 0
3600.06/3608.80 c STR number of inconclusive calls 0
3600.06/3608.80 c STR number of successful attempts 0
3600.06/3608.80 c STR number of unsuccessful attempts 0
3600.06/3608.80 c STR number of inconclusive attempts 0
3600.06/3608.80 c STR average degree increase per successful call inf
3600.06/3608.80 c STR average degree increase per successful attempt inf
3600.06/3608.80 c STR total number of conflicts for successful attempts 0
3600.06/3608.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3608.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3608.80 c STR average number of conflicts per successful attempt inf
3600.06/3608.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3608.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3608.80 c AVG.sumWPerc -nan
3600.06/3608.80 c bigint constraints 0
3600.06/3608.80 s UNKNOWN
3600.06/3608.80 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 (32497 MiB free)
memory of node 1: 64465 MiB (63772 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521125-1751582674/watcher-4521125-1751582674 -o /tmp/evaluation-result-4521125-1751582674/solver-4521125-1751582674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521125-1751582674.opb PROOFDIR/proof-4521125-1751582674
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
solver pid=83465, runsolver pid=83462
Current StackSize limit: 8192 KiB
[startup+0.100013 s]*
/proc/loadavg: 4.16 4.13 4.06 5/264 83467
/proc/meminfo: memFree=100381628/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=58180 memory=12032 CPUtime=0.06 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 1356 0 0 0 5 1 0 0 20 0 1 0 73944954 59576320 3008 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 14545 3008 1952 1147 0 1972 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62372 KiB
Current children cumulated memory: 15104 KiB
[startup+0.205839 s]*
/proc/loadavg: 4.16 4.13 4.06 4/264 83467
/proc/meminfo: memFree=102268536/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=61332 memory=18572 CPUtime=0.15 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 2643 0 0 0 12 3 0 0 20 0 1 0 73944954 62803968 4643 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 15333 4643 1952 1147 0 2760 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 65524 KiB
Current children cumulated memory: 21644 KiB
[startup+0.305902 s]*
/proc/loadavg: 4.16 4.13 4.06 4/264 83467
/proc/meminfo: memFree=104068676/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=65264 memory=22072 CPUtime=0.26 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 3826 0 0 0 19 7 0 0 20 0 1 0 73944954 66830336 5518 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 16316 5518 1952 1147 0 3743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 69456 KiB
Current children cumulated memory: 25144 KiB
[startup+0.700197 s]
/proc/loadavg: 4.16 4.13 4.06 3/266 83476
/proc/meminfo: memFree=104671552/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=95284 memory=50508 CPUtime=0.63 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 9896 0 0 0 47 16 0 0 20 0 1 0 73944954 97570816 12627 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 23821 12627 2240 1147 0 11248 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 99476 KiB
Current children cumulated memory: 53580 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.13 4.06 5/270 83487
/proc/meminfo: memFree=104425276/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261420 CPUtime=1.42 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37741 0 0 0 110 32 0 0 20 0 1 0 73944954 340209664 65355 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65355 2336 1147 0 70486 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264492 KiB
[startup+3.10611 s]
/proc/loadavg: 4.16 4.13 4.06 4/268 83502
/proc/meminfo: memFree=103928944/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261804 CPUtime=3 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37832 0 0 0 268 32 0 0 20 0 1 0 73944954 340209664 65451 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65451 2336 1147 0 70486 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264876 KiB
[startup+6.30013 s]
/proc/loadavg: 4.15 4.12 4.06 6/270 83535
/proc/meminfo: memFree=104344620/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261804 CPUtime=6.18 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37835 0 0 0 584 34 0 0 20 0 1 0 73944954 340209664 65451 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65451 2336 1147 0 70486 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264876 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.12 4.06 5/272 83581
/proc/meminfo: memFree=128201384/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261804 CPUtime=12.56 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37838 0 0 0 1219 37 0 0 20 0 1 0 73944954 340209664 65451 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65451 2336 1147 0 70486 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264876 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.12 4.06 5/272 83581
/proc/meminfo: memFree=127922072/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261804 CPUtime=25.33 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37859 0 0 0 2491 42 0 0 20 0 1 0 73944954 340209664 65451 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65451 2336 1147 0 70486 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264876 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.06 5/272 83581
/proc/meminfo: memFree=127577836/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=332236 memory=261804 CPUtime=50.87 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 37862 0 0 0 5033 54 0 0 20 0 1 0 73944954 340209664 65451 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 83059 65451 2336 1147 0 70486 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 336428 KiB
Current children cumulated memory: 264876 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/273 83584
/proc/meminfo: memFree=126671664/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=381556 memory=296688 CPUtime=101.92 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 38398 0 0 0 10115 77 0 0 20 0 1 0 73944954 390713344 74172 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 95389 74172 2336 1147 0 82816 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 385748 KiB
Current children cumulated memory: 299760 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/274 83593
/proc/meminfo: memFree=125690236/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=381556 memory=304888 CPUtime=161.76 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 38403 0 0 0 16073 103 0 0 20 0 1 0 73944954 390713344 76222 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 95389 76222 2336 1147 0 82816 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 385748 KiB
Current children cumulated memory: 307960 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/274 83595
/proc/meminfo: memFree=124832456/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=381556 memory=308984 CPUtime=221.6 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 38426 0 0 0 22030 130 0 0 20 0 1 0 73944954 390713344 77246 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 95389 77246 2336 1147 0 82816 0
################
# More data... #
################
/proc/83467/statm: 135963 98743 2336 1147 0 123390 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 398044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.21 4.13 5/271 83752
/proc/meminfo: memFree=88581540/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=397020 CPUtime=3094.75 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39911 0 0 0 308018 1457 0 0 20 0 1 0 73944954 556904448 99255 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99255 2336 1147 0 123390 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 400092 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/272 83761
/proc/meminfo: memFree=87934684/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=397020 CPUtime=3154.61 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39926 0 0 0 313981 1480 0 0 20 0 1 0 73944954 556904448 99255 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99255 2336 1147 0 123390 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 400092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/273 83764
/proc/meminfo: memFree=87275240/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=397020 CPUtime=3214.47 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39926 0 0 0 319941 1506 0 0 20 0 1 0 73944954 556904448 99255 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99255 2336 1147 0 123390 0
Current children cumulated CPU time: 3214.47 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 400092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/273 83766
/proc/meminfo: memFree=86581204/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=397020 CPUtime=3274.33 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39927 0 0 0 325903 1530 0 0 20 0 1 0 73944954 556904448 99255 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99255 2336 1147 0 123390 0
Current children cumulated CPU time: 3274.33 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 400092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/273 83768
/proc/meminfo: memFree=85865580/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=399068 CPUtime=3334.19 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39928 0 0 0 331866 1553 0 0 20 0 1 0 73944954 556904448 99767 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99767 2336 1147 0 123390 0
Current children cumulated CPU time: 3334.19 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 402140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/273 83770
/proc/meminfo: memFree=85176836/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=399068 CPUtime=3394.05 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39928 0 0 0 337829 1576 0 0 20 0 1 0 73944954 556904448 99767 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 99767 2336 1147 0 123390 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 402140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/273 83773
/proc/meminfo: memFree=84510984/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=403164 CPUtime=3453.91 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 39975 0 0 0 343792 1599 0 0 20 0 1 0 73944954 556904448 100791 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 100791 2336 1147 0 123390 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 406236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/273 83775
/proc/meminfo: memFree=83848728/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=403164 CPUtime=3513.77 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 40044 0 0 0 349752 1625 0 0 20 0 1 0 73944954 556904448 100791 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 100791 2336 1147 0 123390 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 406236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/273 83777
/proc/meminfo: memFree=83203428/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=403164 CPUtime=3573.62 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 40048 0 0 0 355716 1646 0 0 20 0 1 0 73944954 556904448 100791 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 100791 2336 1147 0 123390 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 406236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.12 4.13 4.11 5/273 83777
/proc/meminfo: memFree=82911144/131249988 swapFree=33010160/33010684
[pid=83465] ppid=83462 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/83465/stat : 83465 (run-opt-log.sh) S 83462 83465 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73944953 4292608 768 18446744073709551615 93867195523072 93867196417605 140732872030784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93867196656656 93867196704400 93867221176320 140732872038689 140732872038884 140732872038884 140732872044486 0
/proc/83465/statm: 1048 768 704 219 0 110 0
[pid=83467] ppid=83465 vsize=543852 memory=403164 CPUtime=3600.06 cores=5,7
/proc/83467/stat : 83467 (roundingsat) R 83465 83465 83021 0 -1 4194304 40048 0 0 0 358347 1659 0 0 20 0 1 0 73944954 556904448 100791 18446744073709551615 4227072 8923433 140725184382992 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14258176 140725184391506 140725184391720 140725184391720 140725184397290 0
/proc/83467/statm: 135963 100791 2336 1147 0 123390 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 548044 KiB
Current children cumulated memory: 406236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 83465 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001007 s, system=0.001007 s
[startup+3608.88 s]
# the end of solver process 83467 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.51 s, system=16.6003 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): 3608.88
CPU time (s): 3600.11
CPU user time (s): 3583.51
CPU system time (s): 16.6003
CPU usage (%): 99.757
Max. virtual memory (cumulated for all children) (KiB): 548044
Max. memory (cumulated for all children) (KiB): 406236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.51
system time used= 16.6003
maximum resident set size= 403548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24411288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1466
involuntary context switches= 4913
# summary of solver processes directly reported to runsolver:
# pid: 83465,83467
# total CPU time (s): 3600.11
# total CPU user time (s): 3583.51
# total CPU system time (s): 16.6003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77327 second user time and 16.7588 second system time
The end
Begin job on nodeC020 at 2025-07-04 00:44:34
IDJOB=4521125
IDBENCH=178227
IDSOLVER=3351
FILE ID=nodeC020/4521125-1751582674
RUNJOBID= nodeC020-1751579055-83034
SLURM_JOB_ID= 9598813
Free space on /tmp= 431736 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521125-1751582674/watcher-4521125-1751582674 -o /tmp/evaluation-result-4521125-1751582674/solver-4521125-1751582674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83034 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521125-1751582674.opb PROOFDIR/proof-4521125-1751582674
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=1389317034
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.185
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.023
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.529
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3614.611
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.028
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 97491612 kB
MemAvailable: 123766664 kB
Buffers: 2128 kB
Cached: 27039860 kB
SwapCached: 8 kB
Active: 6349724 kB
Inactive: 26474440 kB
Active(anon): 5775656 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 26449872 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34972 kB
Writeback: 6952756 kB
AnonPages: 5784748 kB
Mapped: 112332 kB
Shmem: 18044 kB
KReclaimable: 181600 kB
Slab: 530280 kB
SReclaimable: 181600 kB
SUnreclaim: 348680 kB
KernelStack: 4256 kB
PageTables: 15748 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6960944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1105920 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431716 MiB
End job on nodeC020 at 2025-07-04 01:44:43