0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
2.00/2.93 c #variables 3741 #constraints 423980
2.00/2.93 c objective is ce32
2.79/3.70 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.79/3.70 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.79/3.70 c GLOBAL bounds - >= -3153 @ 2.23093
2.79/3.72 c GLOBAL bounds - >= -3153 @ 2.24747
2.79/3.73 c GLOBAL bounds - >= -3153 @ 2.25628
2.79/3.74 c GLOBAL bounds - >= -3153 @ 2.26143
2.79/3.74 c GLOBAL bounds - >= -3153 @ 2.26669
2.79/3.75 c GLOBAL bounds - >= -3153 @ 2.27094
2.79/3.75 c GLOBAL bounds - >= -3153 @ 2.27498
2.79/3.76 c GLOBAL bounds - >= -3153 @ 2.28
2.79/3.76 c GLOBAL bounds - >= -3153 @ 2.28321
2.79/3.77 c GLOBAL bounds - >= -3153 @ 2.28844
2.79/3.77 c GLOBAL bounds - >= -3153 @ 2.29383
2.79/3.78 c GLOBAL bounds - >= -3153 @ 2.29961
2.79/3.78 c GLOBAL bounds - >= -3153 @ 2.30554
2.79/3.79 c GLOBAL bounds - >= -3153 @ 2.31135
2.89/3.80 c GLOBAL bounds - >= -3153 @ 2.31688
2.89/3.80 c GLOBAL bounds - >= -3153 @ 2.3231
2.89/3.81 c GLOBAL bounds - >= -3153 @ 2.32801
2.89/3.82 c GLOBAL bounds - >= -3153 @ 2.33572
2.89/3.84 c GLOBAL bounds - >= -3153 @ 2.36138
2.89/3.87 c GLOBAL bounds - >= -3153 @ 2.38415
2.99/3.91 c GLOBAL bounds - >= -3153 @ 2.423
2.99/3.94 c GLOBAL bounds - >= -3153 @ 2.45065
2.99/3.96 c GLOBAL bounds - >= -3153 @ 2.47035
2.99/3.97 c GLOBAL bounds - >= -3153 @ 2.48958
3.09/4.02 c GLOBAL bounds - >= -3153 @ 2.52667
3.09/4.04 c GLOBAL bounds - >= -3153 @ 2.54925
3.48/4.49 c GLOBAL bounds - >= -3153 @ 2.98932
3.58/4.56 c GLOBAL bounds - >= -3153 @ 3.06433
3.68/4.60 c GLOBAL bounds - >= -3153 @ 3.103
3.68/4.65 c GLOBAL bounds - >= -3153 @ 3.15161
3.68/4.66 c GLOBAL bounds - >= -3153 @ 3.16017
3.68/4.67 c GLOBAL bounds - >= -3153 @ 3.16828
3.68/4.68 c GLOBAL bounds - >= -3153 @ 3.17721
3.68/4.69 c GLOBAL bounds - >= -3153 @ 3.18409
3.78/4.70 c GLOBAL bounds - >= -3153 @ 3.19071
3.78/4.70 c GLOBAL bounds - >= -3153 @ 3.19748
3.78/4.71 c GLOBAL bounds - >= -3153 @ 3.20504
4.47/5.47 c GLOBAL bounds - >= -3153 @ 3.95017
7.06/8.06 c #Conflicts: 1000 | #Constraints: 244788
7.06/8.06 c GLOBAL bounds - >= -3153 @ 6.50424
7.55/8.59 c GLOBAL bounds - >= -3153 @ 7.0356
8.84/9.86 c GLOBAL bounds - >= -3153 @ 8.29998
9.35/10.36 c GLOBAL bounds - >= -3153 @ 8.79244
9.35/10.38 c GLOBAL bounds - >= -3153 @ 8.81356
9.44/10.40 c GLOBAL bounds - >= -3153 @ 8.82731
9.44/10.41 c GLOBAL bounds - >= -3153 @ 8.84021
9.54/10.58 c GLOBAL bounds - >= -3153 @ 9.00644
11.44/12.45 c #Conflicts: 2000 | #Constraints: 245804
11.44/12.45 c INPROCESSING
11.44/12.45 c GARBAGE COLLECT
11.44/12.45 c GLOBAL bounds - >= -3153 @ 10.8641
50.06/51.17 c #Conflicts: 3000 | #Constraints: 245807
50.06/51.17 c #Conflicts: 4000 | #Constraints: 246807
50.06/51.17 c INPROCESSING
50.06/51.17 c GARBAGE COLLECT
50.06/51.17 c #Conflicts: 5000 | #Constraints: 246209
50.06/51.17 c #Conflicts: 6000 | #Constraints: 247209
50.06/51.17 c INPROCESSING
50.06/51.17 c GARBAGE COLLECT
50.06/51.17 c #Conflicts: 7000 | #Constraints: 246211
50.06/51.17 c #Conflicts: 8000 | #Constraints: 247211
50.06/51.17 c #Conflicts: 9000 | #Constraints: 248211
50.06/51.17 c INPROCESSING
50.06/51.17 c GARBAGE COLLECT
50.06/51.17 c #Conflicts: 10000 | #Constraints: 246911
50.06/51.17 c #Conflicts: 11000 | #Constraints: 247911
50.06/51.17 c #Conflicts: 12000 | #Constraints: 248911
50.06/51.17 c INPROCESSING
50.06/51.17 c GARBAGE COLLECT
50.06/51.17 c #Conflicts: 13000 | #Constraints: 247361
50.06/51.17 c GLOBAL bounds - >= -3153 @ 49.3644
73.60/74.73 c #Conflicts: 14000 | #Constraints: 248363
73.60/74.73 c #Conflicts: 15000 | #Constraints: 249363
73.60/74.73 c INPROCESSING
73.60/74.73 c GARBAGE COLLECT
73.60/74.73 c #Conflicts: 16000 | #Constraints: 247590
73.60/74.73 c #Conflicts: 17000 | #Constraints: 248590
73.60/74.73 c #Conflicts: 18000 | #Constraints: 249590
73.60/74.73 c INPROCESSING
73.60/74.73 c GARBAGE COLLECT
73.60/74.73 c #Conflicts: 19000 | #Constraints: 247604
73.60/74.73 c GLOBAL bounds - >= -3153 @ 72.7972
73.60/74.74 c GLOBAL bounds - >= -3153 @ 72.8093
356.15/357.92 c #Conflicts: 20000 | #Constraints: 248608
356.15/357.92 c #Conflicts: 21000 | #Constraints: 249608
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 22000 | #Constraints: 247414
356.15/357.92 c #Conflicts: 23000 | #Constraints: 248414
356.15/357.92 c #Conflicts: 24000 | #Constraints: 249414
356.15/357.92 c #Conflicts: 25000 | #Constraints: 250414
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 26000 | #Constraints: 248017
356.15/357.92 c #Conflicts: 27000 | #Constraints: 249017
356.15/357.92 c #Conflicts: 28000 | #Constraints: 250017
356.15/357.92 c #Conflicts: 29000 | #Constraints: 251017
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 30000 | #Constraints: 248418
356.15/357.92 c #Conflicts: 31000 | #Constraints: 249418
356.15/357.92 c #Conflicts: 32000 | #Constraints: 250418
356.15/357.92 c #Conflicts: 33000 | #Constraints: 251418
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 34000 | #Constraints: 248620
356.15/357.92 c #Conflicts: 35000 | #Constraints: 249620
356.15/357.92 c #Conflicts: 36000 | #Constraints: 250620
356.15/357.92 c #Conflicts: 37000 | #Constraints: 251620
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 38000 | #Constraints: 248622
356.15/357.92 c #Conflicts: 39000 | #Constraints: 249622
356.15/357.92 c #Conflicts: 40000 | #Constraints: 250622
356.15/357.92 c #Conflicts: 41000 | #Constraints: 251622
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 42000 | #Constraints: 248423
356.15/357.92 c #Conflicts: 43000 | #Constraints: 249423
356.15/357.92 c #Conflicts: 44000 | #Constraints: 250423
356.15/357.92 c #Conflicts: 45000 | #Constraints: 251423
356.15/357.92 c #Conflicts: 46000 | #Constraints: 252423
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 47000 | #Constraints: 249021
356.15/357.92 c #Conflicts: 48000 | #Constraints: 250021
356.15/357.92 c #Conflicts: 49000 | #Constraints: 251021
356.15/357.92 c #Conflicts: 50000 | #Constraints: 252021
356.15/357.92 c #Conflicts: 51000 | #Constraints: 253021
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 52000 | #Constraints: 249421
356.15/357.92 c #Conflicts: 53000 | #Constraints: 250421
356.15/357.92 c #Conflicts: 54000 | #Constraints: 251421
356.15/357.92 c #Conflicts: 55000 | #Constraints: 252421
356.15/357.92 c #Conflicts: 56000 | #Constraints: 253421
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 57000 | #Constraints: 249620
356.15/357.92 c #Conflicts: 58000 | #Constraints: 250620
356.15/357.92 c #Conflicts: 59000 | #Constraints: 251620
356.15/357.92 c #Conflicts: 60000 | #Constraints: 252620
356.15/357.92 c #Conflicts: 61000 | #Constraints: 253620
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 62000 | #Constraints: 249621
356.15/357.92 c #Conflicts: 63000 | #Constraints: 250621
356.15/357.92 c #Conflicts: 64000 | #Constraints: 251621
356.15/357.92 c #Conflicts: 65000 | #Constraints: 252621
356.15/357.92 c #Conflicts: 66000 | #Constraints: 253621
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 67000 | #Constraints: 249420
356.15/357.92 c #Conflicts: 68000 | #Constraints: 250420
356.15/357.92 c #Conflicts: 69000 | #Constraints: 251420
356.15/357.92 c #Conflicts: 70000 | #Constraints: 252420
356.15/357.92 c #Conflicts: 71000 | #Constraints: 253420
356.15/357.92 c #Conflicts: 72000 | #Constraints: 254420
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 73000 | #Constraints: 250021
356.15/357.92 c #Conflicts: 74000 | #Constraints: 251021
356.15/357.92 c #Conflicts: 75000 | #Constraints: 252021
356.15/357.92 c #Conflicts: 76000 | #Constraints: 253021
356.15/357.92 c #Conflicts: 77000 | #Constraints: 254021
356.15/357.92 c #Conflicts: 78000 | #Constraints: 255021
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 79000 | #Constraints: 250422
356.15/357.92 c #Conflicts: 80000 | #Constraints: 251422
356.15/357.92 c #Conflicts: 81000 | #Constraints: 252422
356.15/357.92 c #Conflicts: 82000 | #Constraints: 253422
356.15/357.92 c #Conflicts: 83000 | #Constraints: 254422
356.15/357.92 c #Conflicts: 84000 | #Constraints: 255422
356.15/357.92 c INPROCESSING
356.15/357.92 c GARBAGE COLLECT
356.15/357.92 c #Conflicts: 85000 | #Constraints: 250622
356.15/357.92 c #Conflicts: 86000 | #Constraints: 251622
356.15/357.92 c #Conflicts: 87000 | #Constraints: 252622
356.15/357.92 c #Conflicts: 88000 | #Constraints: 253622
356.15/357.92 c #Conflicts: 89000 | #Constraints: 254622
685.39/688.09 c #Conflicts: 90000 | #Constraints: 255622
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 91000 | #Constraints: 250621
685.39/688.09 c #Conflicts: 92000 | #Constraints: 251621
685.39/688.09 c #Conflicts: 93000 | #Constraints: 252621
685.39/688.09 c #Conflicts: 94000 | #Constraints: 253621
685.39/688.09 c #Conflicts: 95000 | #Constraints: 254621
685.39/688.09 c #Conflicts: 96000 | #Constraints: 255621
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 97000 | #Constraints: 250421
685.39/688.09 c #Conflicts: 98000 | #Constraints: 251421
685.39/688.09 c #Conflicts: 99000 | #Constraints: 252421
685.39/688.09 c #Conflicts: 100000 | #Constraints: 253421
685.39/688.09 c #Conflicts: 101000 | #Constraints: 254421
685.39/688.09 c #Conflicts: 102000 | #Constraints: 255421
685.39/688.09 c #Conflicts: 103000 | #Constraints: 256421
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 104000 | #Constraints: 251018
685.39/688.09 c #Conflicts: 105000 | #Constraints: 252018
685.39/688.09 c #Conflicts: 106000 | #Constraints: 253018
685.39/688.09 c #Conflicts: 107000 | #Constraints: 254018
685.39/688.09 c #Conflicts: 108000 | #Constraints: 255018
685.39/688.09 c #Conflicts: 109000 | #Constraints: 256018
685.39/688.09 c #Conflicts: 110000 | #Constraints: 257018
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 111000 | #Constraints: 251418
685.39/688.09 c #Conflicts: 112000 | #Constraints: 252418
685.39/688.09 c #Conflicts: 113000 | #Constraints: 253418
685.39/688.09 c #Conflicts: 114000 | #Constraints: 254418
685.39/688.09 c #Conflicts: 115000 | #Constraints: 255418
685.39/688.09 c #Conflicts: 116000 | #Constraints: 256418
685.39/688.09 c #Conflicts: 117000 | #Constraints: 257418
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 118000 | #Constraints: 251621
685.39/688.09 c #Conflicts: 119000 | #Constraints: 252621
685.39/688.09 c #Conflicts: 120000 | #Constraints: 253621
685.39/688.09 c #Conflicts: 121000 | #Constraints: 254621
685.39/688.09 c #Conflicts: 122000 | #Constraints: 255621
685.39/688.09 c #Conflicts: 123000 | #Constraints: 256621
685.39/688.09 c #Conflicts: 124000 | #Constraints: 257621
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 125000 | #Constraints: 251622
685.39/688.09 c #Conflicts: 126000 | #Constraints: 252622
685.39/688.09 c #Conflicts: 127000 | #Constraints: 253622
685.39/688.09 c #Conflicts: 128000 | #Constraints: 254622
685.39/688.09 c #Conflicts: 129000 | #Constraints: 255622
685.39/688.09 c #Conflicts: 130000 | #Constraints: 256622
685.39/688.09 c #Conflicts: 131000 | #Constraints: 257622
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 132000 | #Constraints: 251422
685.39/688.09 c #Conflicts: 133000 | #Constraints: 252422
685.39/688.09 c #Conflicts: 134000 | #Constraints: 253422
685.39/688.09 c #Conflicts: 135000 | #Constraints: 254422
685.39/688.09 c #Conflicts: 136000 | #Constraints: 255422
685.39/688.09 c #Conflicts: 137000 | #Constraints: 256422
685.39/688.09 c #Conflicts: 138000 | #Constraints: 257422
685.39/688.09 c #Conflicts: 139000 | #Constraints: 258422
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 140000 | #Constraints: 252023
685.39/688.09 c #Conflicts: 141000 | #Constraints: 253023
685.39/688.09 c #Conflicts: 142000 | #Constraints: 254023
685.39/688.09 c #Conflicts: 143000 | #Constraints: 255023
685.39/688.09 c #Conflicts: 144000 | #Constraints: 256023
685.39/688.09 c #Conflicts: 145000 | #Constraints: 257023
685.39/688.09 c #Conflicts: 146000 | #Constraints: 258023
685.39/688.09 c #Conflicts: 147000 | #Constraints: 259023
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 148000 | #Constraints: 252423
685.39/688.09 c #Conflicts: 149000 | #Constraints: 253423
685.39/688.09 c #Conflicts: 150000 | #Constraints: 254423
685.39/688.09 c #Conflicts: 151000 | #Constraints: 255423
685.39/688.09 c #Conflicts: 152000 | #Constraints: 256423
685.39/688.09 c #Conflicts: 153000 | #Constraints: 257423
685.39/688.09 c #Conflicts: 154000 | #Constraints: 258423
685.39/688.09 c #Conflicts: 155000 | #Constraints: 259423
685.39/688.09 c INPROCESSING
685.39/688.09 c GARBAGE COLLECT
685.39/688.09 c #Conflicts: 156000 | #Constraints: 252623
685.39/688.09 c #Conflicts: 157000 | #Constraints: 253623
685.39/688.09 c #Conflicts: 158000 | #Constraints: 254623
685.39/688.09 c #Conflicts: 159000 | #Constraints: 255623
685.39/688.09 c #Conflicts: 160000 | #Constraints: 256623
685.39/688.09 c #Conflicts: 161000 | #Constraints: 257623
685.39/688.09 c #Conflicts: 162000 | #Constraints: 258623
1023.49/1027.03 c #Conflicts: 163000 | #Constraints: 259623
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 164000 | #Constraints: 252624
1023.49/1027.03 c #Conflicts: 165000 | #Constraints: 253624
1023.49/1027.03 c #Conflicts: 166000 | #Constraints: 254624
1023.49/1027.03 c #Conflicts: 167000 | #Constraints: 255624
1023.49/1027.03 c #Conflicts: 168000 | #Constraints: 256624
1023.49/1027.03 c #Conflicts: 169000 | #Constraints: 257624
1023.49/1027.03 c #Conflicts: 170000 | #Constraints: 258624
1023.49/1027.03 c #Conflicts: 171000 | #Constraints: 259624
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 172000 | #Constraints: 252424
1023.49/1027.03 c #Conflicts: 173000 | #Constraints: 253424
1023.49/1027.03 c #Conflicts: 174000 | #Constraints: 254424
1023.49/1027.03 c #Conflicts: 175000 | #Constraints: 255424
1023.49/1027.03 c #Conflicts: 176000 | #Constraints: 256424
1023.49/1027.03 c #Conflicts: 177000 | #Constraints: 257424
1023.49/1027.03 c #Conflicts: 178000 | #Constraints: 258424
1023.49/1027.03 c #Conflicts: 179000 | #Constraints: 259424
1023.49/1027.03 c #Conflicts: 180000 | #Constraints: 260424
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 181000 | #Constraints: 253025
1023.49/1027.03 c #Conflicts: 182000 | #Constraints: 254025
1023.49/1027.03 c #Conflicts: 183000 | #Constraints: 255025
1023.49/1027.03 c #Conflicts: 184000 | #Constraints: 256025
1023.49/1027.03 c #Conflicts: 185000 | #Constraints: 257025
1023.49/1027.03 c #Conflicts: 186000 | #Constraints: 258025
1023.49/1027.03 c #Conflicts: 187000 | #Constraints: 259025
1023.49/1027.03 c #Conflicts: 188000 | #Constraints: 260025
1023.49/1027.03 c #Conflicts: 189000 | #Constraints: 261025
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 190000 | #Constraints: 253426
1023.49/1027.03 c #Conflicts: 191000 | #Constraints: 254426
1023.49/1027.03 c #Conflicts: 192000 | #Constraints: 255426
1023.49/1027.03 c #Conflicts: 193000 | #Constraints: 256426
1023.49/1027.03 c #Conflicts: 194000 | #Constraints: 257426
1023.49/1027.03 c #Conflicts: 195000 | #Constraints: 258426
1023.49/1027.03 c #Conflicts: 196000 | #Constraints: 259426
1023.49/1027.03 c #Conflicts: 197000 | #Constraints: 260426
1023.49/1027.03 c #Conflicts: 198000 | #Constraints: 261426
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 199000 | #Constraints: 253626
1023.49/1027.03 c #Conflicts: 200000 | #Constraints: 254626
1023.49/1027.03 c #Conflicts: 201000 | #Constraints: 255626
1023.49/1027.03 c #Conflicts: 202000 | #Constraints: 256626
1023.49/1027.03 c #Conflicts: 203000 | #Constraints: 257626
1023.49/1027.03 c #Conflicts: 204000 | #Constraints: 258626
1023.49/1027.03 c #Conflicts: 205000 | #Constraints: 259626
1023.49/1027.03 c #Conflicts: 206000 | #Constraints: 260626
1023.49/1027.03 c #Conflicts: 207000 | #Constraints: 261626
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 208000 | #Constraints: 253624
1023.49/1027.03 c #Conflicts: 209000 | #Constraints: 254624
1023.49/1027.03 c #Conflicts: 210000 | #Constraints: 255624
1023.49/1027.03 c #Conflicts: 211000 | #Constraints: 256624
1023.49/1027.03 c #Conflicts: 212000 | #Constraints: 257624
1023.49/1027.03 c #Conflicts: 213000 | #Constraints: 258624
1023.49/1027.03 c #Conflicts: 214000 | #Constraints: 259624
1023.49/1027.03 c #Conflicts: 215000 | #Constraints: 260624
1023.49/1027.03 c #Conflicts: 216000 | #Constraints: 261624
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 217000 | #Constraints: 253426
1023.49/1027.03 c #Conflicts: 218000 | #Constraints: 254426
1023.49/1027.03 c #Conflicts: 219000 | #Constraints: 255426
1023.49/1027.03 c #Conflicts: 220000 | #Constraints: 256426
1023.49/1027.03 c #Conflicts: 221000 | #Constraints: 257426
1023.49/1027.03 c #Conflicts: 222000 | #Constraints: 258426
1023.49/1027.03 c #Conflicts: 223000 | #Constraints: 259426
1023.49/1027.03 c #Conflicts: 224000 | #Constraints: 260426
1023.49/1027.03 c #Conflicts: 225000 | #Constraints: 261426
1023.49/1027.03 c #Conflicts: 226000 | #Constraints: 262426
1023.49/1027.03 c INPROCESSING
1023.49/1027.03 c GARBAGE COLLECT
1023.49/1027.03 c #Conflicts: 227000 | #Constraints: 254029
1023.49/1027.03 c #Conflicts: 228000 | #Constraints: 255029
1023.49/1027.03 c #Conflicts: 229000 | #Constraints: 256029
1023.49/1027.03 c #Conflicts: 230000 | #Constraints: 257029
1023.49/1027.03 c #Conflicts: 231000 | #Constraints: 258029
1023.49/1027.03 c #Conflicts: 232000 | #Constraints: 259029
1023.49/1027.03 c #Conflicts: 233000 | #Constraints: 260029
1023.49/1027.03 c #Conflicts: 234000 | #Constraints: 261029
1023.49/1027.03 c #Conflicts: 235000 | #Constraints: 262029
1296.24/1300.59 c #Conflicts: 236000 | #Constraints: 263029
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 237000 | #Constraints: 254427
1296.24/1300.59 c #Conflicts: 238000 | #Constraints: 255427
1296.24/1300.59 c #Conflicts: 239000 | #Constraints: 256427
1296.24/1300.59 c #Conflicts: 240000 | #Constraints: 257427
1296.24/1300.59 c #Conflicts: 241000 | #Constraints: 258427
1296.24/1300.59 c #Conflicts: 242000 | #Constraints: 259427
1296.24/1300.59 c #Conflicts: 243000 | #Constraints: 260427
1296.24/1300.59 c #Conflicts: 244000 | #Constraints: 261427
1296.24/1300.59 c #Conflicts: 245000 | #Constraints: 262427
1296.24/1300.59 c #Conflicts: 246000 | #Constraints: 263427
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 247000 | #Constraints: 254627
1296.24/1300.59 c #Conflicts: 248000 | #Constraints: 255627
1296.24/1300.59 c #Conflicts: 249000 | #Constraints: 256627
1296.24/1300.59 c #Conflicts: 250000 | #Constraints: 257627
1296.24/1300.59 c #Conflicts: 251000 | #Constraints: 258627
1296.24/1300.59 c #Conflicts: 252000 | #Constraints: 259627
1296.24/1300.59 c #Conflicts: 253000 | #Constraints: 260627
1296.24/1300.59 c #Conflicts: 254000 | #Constraints: 261627
1296.24/1300.59 c #Conflicts: 255000 | #Constraints: 262627
1296.24/1300.59 c #Conflicts: 256000 | #Constraints: 263627
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 257000 | #Constraints: 254628
1296.24/1300.59 c #Conflicts: 258000 | #Constraints: 255628
1296.24/1300.59 c #Conflicts: 259000 | #Constraints: 256628
1296.24/1300.59 c #Conflicts: 260000 | #Constraints: 257628
1296.24/1300.59 c #Conflicts: 261000 | #Constraints: 258628
1296.24/1300.59 c #Conflicts: 262000 | #Constraints: 259628
1296.24/1300.59 c #Conflicts: 263000 | #Constraints: 260628
1296.24/1300.59 c #Conflicts: 264000 | #Constraints: 261628
1296.24/1300.59 c #Conflicts: 265000 | #Constraints: 262628
1296.24/1300.59 c #Conflicts: 266000 | #Constraints: 263628
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 267000 | #Constraints: 254428
1296.24/1300.59 c #Conflicts: 268000 | #Constraints: 255428
1296.24/1300.59 c #Conflicts: 269000 | #Constraints: 256428
1296.24/1300.59 c #Conflicts: 270000 | #Constraints: 257428
1296.24/1300.59 c #Conflicts: 271000 | #Constraints: 258428
1296.24/1300.59 c #Conflicts: 272000 | #Constraints: 259428
1296.24/1300.59 c #Conflicts: 273000 | #Constraints: 260428
1296.24/1300.59 c #Conflicts: 274000 | #Constraints: 261428
1296.24/1300.59 c #Conflicts: 275000 | #Constraints: 262428
1296.24/1300.59 c #Conflicts: 276000 | #Constraints: 263428
1296.24/1300.59 c #Conflicts: 277000 | #Constraints: 264428
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 278000 | #Constraints: 255025
1296.24/1300.59 c #Conflicts: 279000 | #Constraints: 256025
1296.24/1300.59 c #Conflicts: 280000 | #Constraints: 257025
1296.24/1300.59 c #Conflicts: 281000 | #Constraints: 258025
1296.24/1300.59 c #Conflicts: 282000 | #Constraints: 259025
1296.24/1300.59 c #Conflicts: 283000 | #Constraints: 260025
1296.24/1300.59 c #Conflicts: 284000 | #Constraints: 261025
1296.24/1300.59 c #Conflicts: 285000 | #Constraints: 262025
1296.24/1300.59 c #Conflicts: 286000 | #Constraints: 263025
1296.24/1300.59 c #Conflicts: 287000 | #Constraints: 264025
1296.24/1300.59 c #Conflicts: 288000 | #Constraints: 265025
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 289000 | #Constraints: 255423
1296.24/1300.59 c #Conflicts: 290000 | #Constraints: 256423
1296.24/1300.59 c #Conflicts: 291000 | #Constraints: 257423
1296.24/1300.59 c #Conflicts: 292000 | #Constraints: 258423
1296.24/1300.59 c #Conflicts: 293000 | #Constraints: 259423
1296.24/1300.59 c #Conflicts: 294000 | #Constraints: 260423
1296.24/1300.59 c #Conflicts: 295000 | #Constraints: 261423
1296.24/1300.59 c #Conflicts: 296000 | #Constraints: 262423
1296.24/1300.59 c #Conflicts: 297000 | #Constraints: 263423
1296.24/1300.59 c #Conflicts: 298000 | #Constraints: 264423
1296.24/1300.59 c #Conflicts: 299000 | #Constraints: 265423
1296.24/1300.59 c INPROCESSING
1296.24/1300.59 c GARBAGE COLLECT
1296.24/1300.59 c #Conflicts: 300000 | #Constraints: 255623
1296.24/1300.59 c #Conflicts: 301000 | #Constraints: 256623
1296.24/1300.59 c #Conflicts: 302000 | #Constraints: 257623
1296.24/1300.59 c #Conflicts: 303000 | #Constraints: 258623
1296.24/1300.59 c #Conflicts: 304000 | #Constraints: 259623
1296.24/1300.59 c #Conflicts: 305000 | #Constraints: 260623
1296.24/1300.59 c #Conflicts: 306000 | #Constraints: 261623
1296.24/1300.59 c #Conflicts: 307000 | #Constraints: 262623
1296.24/1300.59 c #Conflicts: 308000 | #Constraints: 263623
1296.24/1300.59 c #Conflicts: 309000 | #Constraints: 264623
1296.24/1300.59 c #Conflicts: 310000 | #Constraints: 265623
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 311000 | #Constraints: 255621
1525.51/1530.42 c #Conflicts: 312000 | #Constraints: 256621
1525.51/1530.42 c #Conflicts: 313000 | #Constraints: 257621
1525.51/1530.42 c #Conflicts: 314000 | #Constraints: 258621
1525.51/1530.42 c #Conflicts: 315000 | #Constraints: 259621
1525.51/1530.42 c #Conflicts: 316000 | #Constraints: 260621
1525.51/1530.42 c #Conflicts: 317000 | #Constraints: 261621
1525.51/1530.42 c #Conflicts: 318000 | #Constraints: 262621
1525.51/1530.42 c #Conflicts: 319000 | #Constraints: 263621
1525.51/1530.42 c #Conflicts: 320000 | #Constraints: 264621
1525.51/1530.42 c #Conflicts: 321000 | #Constraints: 265621
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 322000 | #Constraints: 255424
1525.51/1530.42 c #Conflicts: 323000 | #Constraints: 256424
1525.51/1530.42 c #Conflicts: 324000 | #Constraints: 257424
1525.51/1530.42 c #Conflicts: 325000 | #Constraints: 258424
1525.51/1530.42 c #Conflicts: 326000 | #Constraints: 259424
1525.51/1530.42 c #Conflicts: 327000 | #Constraints: 260424
1525.51/1530.42 c #Conflicts: 328000 | #Constraints: 261424
1525.51/1530.42 c #Conflicts: 329000 | #Constraints: 262424
1525.51/1530.42 c #Conflicts: 330000 | #Constraints: 263424
1525.51/1530.42 c #Conflicts: 331000 | #Constraints: 264424
1525.51/1530.42 c #Conflicts: 332000 | #Constraints: 265424
1525.51/1530.42 c #Conflicts: 333000 | #Constraints: 266424
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 334000 | #Constraints: 256025
1525.51/1530.42 c #Conflicts: 335000 | #Constraints: 257025
1525.51/1530.42 c #Conflicts: 336000 | #Constraints: 258025
1525.51/1530.42 c #Conflicts: 337000 | #Constraints: 259025
1525.51/1530.42 c #Conflicts: 338000 | #Constraints: 260025
1525.51/1530.42 c #Conflicts: 339000 | #Constraints: 261025
1525.51/1530.42 c #Conflicts: 340000 | #Constraints: 262025
1525.51/1530.42 c #Conflicts: 341000 | #Constraints: 263025
1525.51/1530.42 c #Conflicts: 342000 | #Constraints: 264025
1525.51/1530.42 c #Conflicts: 343000 | #Constraints: 265025
1525.51/1530.42 c #Conflicts: 344000 | #Constraints: 266025
1525.51/1530.42 c #Conflicts: 345000 | #Constraints: 267025
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 346000 | #Constraints: 256427
1525.51/1530.42 c #Conflicts: 347000 | #Constraints: 257427
1525.51/1530.42 c #Conflicts: 348000 | #Constraints: 258427
1525.51/1530.42 c #Conflicts: 349000 | #Constraints: 259427
1525.51/1530.42 c #Conflicts: 350000 | #Constraints: 260427
1525.51/1530.42 c #Conflicts: 351000 | #Constraints: 261427
1525.51/1530.42 c #Conflicts: 352000 | #Constraints: 262427
1525.51/1530.42 c #Conflicts: 353000 | #Constraints: 263427
1525.51/1530.42 c #Conflicts: 354000 | #Constraints: 264427
1525.51/1530.42 c #Conflicts: 355000 | #Constraints: 265427
1525.51/1530.42 c #Conflicts: 356000 | #Constraints: 266427
1525.51/1530.42 c #Conflicts: 357000 | #Constraints: 267427
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 358000 | #Constraints: 256625
1525.51/1530.42 c #Conflicts: 359000 | #Constraints: 257625
1525.51/1530.42 c #Conflicts: 360000 | #Constraints: 258625
1525.51/1530.42 c #Conflicts: 361000 | #Constraints: 259625
1525.51/1530.42 c #Conflicts: 362000 | #Constraints: 260625
1525.51/1530.42 c #Conflicts: 363000 | #Constraints: 261625
1525.51/1530.42 c #Conflicts: 364000 | #Constraints: 262625
1525.51/1530.42 c #Conflicts: 365000 | #Constraints: 263625
1525.51/1530.42 c #Conflicts: 366000 | #Constraints: 264625
1525.51/1530.42 c #Conflicts: 367000 | #Constraints: 265625
1525.51/1530.42 c #Conflicts: 368000 | #Constraints: 266625
1525.51/1530.42 c #Conflicts: 369000 | #Constraints: 267625
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 370000 | #Constraints: 256624
1525.51/1530.42 c #Conflicts: 371000 | #Constraints: 257624
1525.51/1530.42 c #Conflicts: 372000 | #Constraints: 258624
1525.51/1530.42 c #Conflicts: 373000 | #Constraints: 259624
1525.51/1530.42 c #Conflicts: 374000 | #Constraints: 260624
1525.51/1530.42 c #Conflicts: 375000 | #Constraints: 261624
1525.51/1530.42 c #Conflicts: 376000 | #Constraints: 262624
1525.51/1530.42 c #Conflicts: 377000 | #Constraints: 263624
1525.51/1530.42 c #Conflicts: 378000 | #Constraints: 264624
1525.51/1530.42 c #Conflicts: 379000 | #Constraints: 265624
1525.51/1530.42 c #Conflicts: 380000 | #Constraints: 266624
1525.51/1530.42 c #Conflicts: 381000 | #Constraints: 267624
1525.51/1530.42 c INPROCESSING
1525.51/1530.42 c GARBAGE COLLECT
1525.51/1530.42 c #Conflicts: 382000 | #Constraints: 256425
1525.51/1530.42 c #Conflicts: 383000 | #Constraints: 257425
1525.51/1530.42 c #Conflicts: 384000 | #Constraints: 258425
1759.04/1764.68 c #Conflicts: 385000 | #Constraints: 259425
1759.04/1764.68 c #Conflicts: 386000 | #Constraints: 260425
1759.04/1764.68 c #Conflicts: 387000 | #Constraints: 261425
1759.04/1764.68 c #Conflicts: 388000 | #Constraints: 262425
1759.04/1764.68 c #Conflicts: 389000 | #Constraints: 263425
1759.04/1764.68 c #Conflicts: 390000 | #Constraints: 264425
1759.04/1764.68 c #Conflicts: 391000 | #Constraints: 265425
1759.04/1764.68 c #Conflicts: 392000 | #Constraints: 266425
1759.04/1764.68 c #Conflicts: 393000 | #Constraints: 267425
1759.04/1764.68 c #Conflicts: 394000 | #Constraints: 268425
1759.04/1764.68 c INPROCESSING
1759.04/1764.68 c GARBAGE COLLECT
1759.04/1764.68 c #Conflicts: 395000 | #Constraints: 257021
1759.04/1764.68 c #Conflicts: 396000 | #Constraints: 258021
1759.04/1764.68 c #Conflicts: 397000 | #Constraints: 259021
1759.04/1764.68 c #Conflicts: 398000 | #Constraints: 260021
1759.04/1764.68 c #Conflicts: 399000 | #Constraints: 261021
1759.04/1764.68 c #Conflicts: 400000 | #Constraints: 262021
1759.04/1764.68 c #Conflicts: 401000 | #Constraints: 263021
1759.04/1764.68 c #Conflicts: 402000 | #Constraints: 264021
1759.04/1764.68 c #Conflicts: 403000 | #Constraints: 265021
1759.04/1764.68 c #Conflicts: 404000 | #Constraints: 266021
1759.04/1764.68 c #Conflicts: 405000 | #Constraints: 267021
1759.04/1764.68 c #Conflicts: 406000 | #Constraints: 268021
1759.04/1764.68 c #Conflicts: 407000 | #Constraints: 269021
1759.04/1764.68 c INPROCESSING
1759.04/1764.68 c GARBAGE COLLECT
1759.04/1764.68 c #Conflicts: 408000 | #Constraints: 257422
1759.04/1764.68 c #Conflicts: 409000 | #Constraints: 258422
1759.04/1764.68 c #Conflicts: 410000 | #Constraints: 259422
1759.04/1764.68 c #Conflicts: 411000 | #Constraints: 260422
1759.04/1764.68 c #Conflicts: 412000 | #Constraints: 261422
1759.04/1764.68 c #Conflicts: 413000 | #Constraints: 262422
1759.04/1764.68 c #Conflicts: 414000 | #Constraints: 263422
1759.04/1764.68 c #Conflicts: 415000 | #Constraints: 264422
1759.04/1764.68 c #Conflicts: 416000 | #Constraints: 265422
1759.04/1764.68 c #Conflicts: 417000 | #Constraints: 266422
1759.04/1764.68 c #Conflicts: 418000 | #Constraints: 267422
1759.04/1764.68 c #Conflicts: 419000 | #Constraints: 268422
1759.04/1764.68 c #Conflicts: 420000 | #Constraints: 269422
1759.04/1764.68 c INPROCESSING
1759.04/1764.68 c GARBAGE COLLECT
1759.04/1764.68 c #Conflicts: 421000 | #Constraints: 257626
1759.04/1764.68 c #Conflicts: 422000 | #Constraints: 258626
1759.04/1764.68 c #Conflicts: 423000 | #Constraints: 259626
1759.04/1764.68 c #Conflicts: 424000 | #Constraints: 260626
1759.04/1764.68 c #Conflicts: 425000 | #Constraints: 261626
1759.04/1764.68 c #Conflicts: 426000 | #Constraints: 262626
1759.04/1764.68 c #Conflicts: 427000 | #Constraints: 263626
1759.04/1764.68 c #Conflicts: 428000 | #Constraints: 264626
1759.04/1764.68 c #Conflicts: 429000 | #Constraints: 265626
1759.04/1764.68 c #Conflicts: 430000 | #Constraints: 266626
1759.04/1764.68 c #Conflicts: 431000 | #Constraints: 267626
1759.04/1764.68 c #Conflicts: 432000 | #Constraints: 268626
1759.04/1764.68 c #Conflicts: 433000 | #Constraints: 269626
1759.04/1764.68 c INPROCESSING
1759.04/1764.68 c GARBAGE COLLECT
1759.04/1764.68 c #Conflicts: 434000 | #Constraints: 257627
1759.04/1764.68 c #Conflicts: 435000 | #Constraints: 258627
1759.04/1764.68 c #Conflicts: 436000 | #Constraints: 259627
1759.04/1764.68 c #Conflicts: 437000 | #Constraints: 260627
1759.04/1764.68 c #Conflicts: 438000 | #Constraints: 261627
1759.04/1764.68 c #Conflicts: 439000 | #Constraints: 262627
1759.04/1764.68 c #Conflicts: 440000 | #Constraints: 263627
1759.04/1764.68 c #Conflicts: 441000 | #Constraints: 264627
1759.04/1764.68 c #Conflicts: 442000 | #Constraints: 265627
1759.04/1764.68 c #Conflicts: 443000 | #Constraints: 266627
1759.04/1764.68 c #Conflicts: 444000 | #Constraints: 267627
1759.04/1764.68 c #Conflicts: 445000 | #Constraints: 268627
1759.04/1764.68 c #Conflicts: 446000 | #Constraints: 269627
1759.04/1764.68 c INPROCESSING
1759.04/1764.68 c GARBAGE COLLECT
1759.04/1764.68 c #Conflicts: 447000 | #Constraints: 257424
1759.04/1764.68 c #Conflicts: 448000 | #Constraints: 258424
1759.04/1764.68 c #Conflicts: 449000 | #Constraints: 259424
1759.04/1764.68 c #Conflicts: 450000 | #Constraints: 260424
1759.04/1764.68 c #Conflicts: 451000 | #Constraints: 261424
1759.04/1764.68 c #Conflicts: 452000 | #Constraints: 262424
1759.04/1764.68 c #Conflicts: 453000 | #Constraints: 263424
1759.04/1764.68 c #Conflicts: 454000 | #Constraints: 264424
1759.04/1764.68 c #Conflicts: 455000 | #Constraints: 265424
1759.04/1764.68 c #Conflicts: 456000 | #Constraints: 266424
1759.04/1764.68 c #Conflicts: 457000 | #Constraints: 267424
1759.04/1764.68 c #Conflicts: 458000 | #Constraints: 268424
1759.04/1764.68 c #Conflicts: 459000 | #Constraints: 269424
1759.04/1764.68 c #Conflicts: 460000 | #Constraints: 270424
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 461000 | #Constraints: 258028
2006.76/2013.05 c #Conflicts: 462000 | #Constraints: 259028
2006.76/2013.05 c #Conflicts: 463000 | #Constraints: 260028
2006.76/2013.05 c #Conflicts: 464000 | #Constraints: 261028
2006.76/2013.05 c #Conflicts: 465000 | #Constraints: 262028
2006.76/2013.05 c #Conflicts: 466000 | #Constraints: 263028
2006.76/2013.05 c #Conflicts: 467000 | #Constraints: 264028
2006.76/2013.05 c #Conflicts: 468000 | #Constraints: 265028
2006.76/2013.05 c #Conflicts: 469000 | #Constraints: 266028
2006.76/2013.05 c #Conflicts: 470000 | #Constraints: 267028
2006.76/2013.05 c #Conflicts: 471000 | #Constraints: 268028
2006.76/2013.05 c #Conflicts: 472000 | #Constraints: 269028
2006.76/2013.05 c #Conflicts: 473000 | #Constraints: 270028
2006.76/2013.05 c #Conflicts: 474000 | #Constraints: 271028
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 475000 | #Constraints: 258430
2006.76/2013.05 c #Conflicts: 476000 | #Constraints: 259430
2006.76/2013.05 c #Conflicts: 477000 | #Constraints: 260430
2006.76/2013.05 c #Conflicts: 478000 | #Constraints: 261430
2006.76/2013.05 c #Conflicts: 479000 | #Constraints: 262430
2006.76/2013.05 c #Conflicts: 480000 | #Constraints: 263430
2006.76/2013.05 c #Conflicts: 481000 | #Constraints: 264430
2006.76/2013.05 c #Conflicts: 482000 | #Constraints: 265430
2006.76/2013.05 c #Conflicts: 483000 | #Constraints: 266430
2006.76/2013.05 c #Conflicts: 484000 | #Constraints: 267430
2006.76/2013.05 c #Conflicts: 485000 | #Constraints: 268430
2006.76/2013.05 c #Conflicts: 486000 | #Constraints: 269430
2006.76/2013.05 c #Conflicts: 487000 | #Constraints: 270430
2006.76/2013.05 c #Conflicts: 488000 | #Constraints: 271430
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 489000 | #Constraints: 258628
2006.76/2013.05 c #Conflicts: 490000 | #Constraints: 259628
2006.76/2013.05 c #Conflicts: 491000 | #Constraints: 260628
2006.76/2013.05 c #Conflicts: 492000 | #Constraints: 261628
2006.76/2013.05 c #Conflicts: 493000 | #Constraints: 262628
2006.76/2013.05 c #Conflicts: 494000 | #Constraints: 263628
2006.76/2013.05 c #Conflicts: 495000 | #Constraints: 264628
2006.76/2013.05 c #Conflicts: 496000 | #Constraints: 265628
2006.76/2013.05 c #Conflicts: 497000 | #Constraints: 266628
2006.76/2013.05 c #Conflicts: 498000 | #Constraints: 267628
2006.76/2013.05 c #Conflicts: 499000 | #Constraints: 268628
2006.76/2013.05 c #Conflicts: 500000 | #Constraints: 269628
2006.76/2013.05 c #Conflicts: 501000 | #Constraints: 270628
2006.76/2013.05 c #Conflicts: 502000 | #Constraints: 271628
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 503000 | #Constraints: 258629
2006.76/2013.05 c #Conflicts: 504000 | #Constraints: 259629
2006.76/2013.05 c #Conflicts: 505000 | #Constraints: 260629
2006.76/2013.05 c #Conflicts: 506000 | #Constraints: 261629
2006.76/2013.05 c #Conflicts: 507000 | #Constraints: 262629
2006.76/2013.05 c #Conflicts: 508000 | #Constraints: 263629
2006.76/2013.05 c #Conflicts: 509000 | #Constraints: 264629
2006.76/2013.05 c #Conflicts: 510000 | #Constraints: 265629
2006.76/2013.05 c #Conflicts: 511000 | #Constraints: 266629
2006.76/2013.05 c #Conflicts: 512000 | #Constraints: 267629
2006.76/2013.05 c #Conflicts: 513000 | #Constraints: 268629
2006.76/2013.05 c #Conflicts: 514000 | #Constraints: 269629
2006.76/2013.05 c #Conflicts: 515000 | #Constraints: 270629
2006.76/2013.05 c #Conflicts: 516000 | #Constraints: 271629
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 517000 | #Constraints: 258430
2006.76/2013.05 c #Conflicts: 518000 | #Constraints: 259430
2006.76/2013.05 c #Conflicts: 519000 | #Constraints: 260430
2006.76/2013.05 c #Conflicts: 520000 | #Constraints: 261430
2006.76/2013.05 c #Conflicts: 521000 | #Constraints: 262430
2006.76/2013.05 c #Conflicts: 522000 | #Constraints: 263430
2006.76/2013.05 c #Conflicts: 523000 | #Constraints: 264430
2006.76/2013.05 c #Conflicts: 524000 | #Constraints: 265430
2006.76/2013.05 c #Conflicts: 525000 | #Constraints: 266430
2006.76/2013.05 c #Conflicts: 526000 | #Constraints: 267430
2006.76/2013.05 c #Conflicts: 527000 | #Constraints: 268430
2006.76/2013.05 c #Conflicts: 528000 | #Constraints: 269430
2006.76/2013.05 c #Conflicts: 529000 | #Constraints: 270430
2006.76/2013.05 c #Conflicts: 530000 | #Constraints: 271430
2006.76/2013.05 c #Conflicts: 531000 | #Constraints: 272430
2006.76/2013.05 c INPROCESSING
2006.76/2013.05 c GARBAGE COLLECT
2006.76/2013.05 c #Conflicts: 532000 | #Constraints: 259030
2006.76/2013.05 c #Conflicts: 533000 | #Constraints: 260030
2006.76/2013.05 c #Conflicts: 534000 | #Constraints: 261030
2006.76/2013.05 c #Conflicts: 535000 | #Constraints: 262030
2223.45/2230.34 c #Conflicts: 536000 | #Constraints: 263030
2223.45/2230.34 c #Conflicts: 537000 | #Constraints: 264030
2223.45/2230.34 c #Conflicts: 538000 | #Constraints: 265030
2223.45/2230.34 c #Conflicts: 539000 | #Constraints: 266030
2223.45/2230.34 c #Conflicts: 540000 | #Constraints: 267030
2223.45/2230.34 c #Conflicts: 541000 | #Constraints: 268030
2223.45/2230.34 c #Conflicts: 542000 | #Constraints: 269030
2223.45/2230.34 c #Conflicts: 543000 | #Constraints: 270030
2223.45/2230.34 c #Conflicts: 544000 | #Constraints: 271030
2223.45/2230.34 c #Conflicts: 545000 | #Constraints: 272030
2223.45/2230.34 c #Conflicts: 546000 | #Constraints: 273030
2223.45/2230.34 c INPROCESSING
2223.45/2230.34 c GARBAGE COLLECT
2223.45/2230.34 c #Conflicts: 547000 | #Constraints: 259430
2223.45/2230.34 c #Conflicts: 548000 | #Constraints: 260430
2223.45/2230.34 c #Conflicts: 549000 | #Constraints: 261430
2223.45/2230.34 c #Conflicts: 550000 | #Constraints: 262430
2223.45/2230.34 c #Conflicts: 551000 | #Constraints: 263430
2223.45/2230.34 c #Conflicts: 552000 | #Constraints: 264430
2223.45/2230.34 c #Conflicts: 553000 | #Constraints: 265430
2223.45/2230.34 c #Conflicts: 554000 | #Constraints: 266430
2223.45/2230.34 c #Conflicts: 555000 | #Constraints: 267430
2223.45/2230.34 c #Conflicts: 556000 | #Constraints: 268430
2223.45/2230.34 c #Conflicts: 557000 | #Constraints: 269430
2223.45/2230.34 c #Conflicts: 558000 | #Constraints: 270430
2223.45/2230.34 c #Conflicts: 559000 | #Constraints: 271430
2223.45/2230.34 c #Conflicts: 560000 | #Constraints: 272430
2223.45/2230.34 c #Conflicts: 561000 | #Constraints: 273430
2223.45/2230.34 c INPROCESSING
2223.45/2230.34 c GARBAGE COLLECT
2223.45/2230.34 c #Conflicts: 562000 | #Constraints: 259629
2223.45/2230.34 c #Conflicts: 563000 | #Constraints: 260629
2223.45/2230.34 c #Conflicts: 564000 | #Constraints: 261629
2223.45/2230.34 c #Conflicts: 565000 | #Constraints: 262629
2223.45/2230.34 c #Conflicts: 566000 | #Constraints: 263629
2223.45/2230.34 c #Conflicts: 567000 | #Constraints: 264629
2223.45/2230.34 c #Conflicts: 568000 | #Constraints: 265629
2223.45/2230.34 c #Conflicts: 569000 | #Constraints: 266629
2223.45/2230.34 c #Conflicts: 570000 | #Constraints: 267629
2223.45/2230.34 c #Conflicts: 571000 | #Constraints: 268629
2223.45/2230.34 c #Conflicts: 572000 | #Constraints: 269629
2223.45/2230.34 c #Conflicts: 573000 | #Constraints: 270629
2223.45/2230.34 c #Conflicts: 574000 | #Constraints: 271629
2223.45/2230.34 c #Conflicts: 575000 | #Constraints: 272629
2223.45/2230.34 c #Conflicts: 576000 | #Constraints: 273629
2223.45/2230.34 c INPROCESSING
2223.45/2230.34 c GARBAGE COLLECT
2223.45/2230.34 c #Conflicts: 577000 | #Constraints: 259631
2223.45/2230.34 c #Conflicts: 578000 | #Constraints: 260631
2223.45/2230.34 c #Conflicts: 579000 | #Constraints: 261631
2223.45/2230.34 c #Conflicts: 580000 | #Constraints: 262631
2223.45/2230.34 c #Conflicts: 581000 | #Constraints: 263631
2223.45/2230.34 c #Conflicts: 582000 | #Constraints: 264631
2223.45/2230.34 c #Conflicts: 583000 | #Constraints: 265631
2223.45/2230.34 c #Conflicts: 584000 | #Constraints: 266631
2223.45/2230.34 c #Conflicts: 585000 | #Constraints: 267631
2223.45/2230.34 c #Conflicts: 586000 | #Constraints: 268631
2223.45/2230.34 c #Conflicts: 587000 | #Constraints: 269631
2223.45/2230.34 c #Conflicts: 588000 | #Constraints: 270631
2223.45/2230.34 c #Conflicts: 589000 | #Constraints: 271631
2223.45/2230.34 c #Conflicts: 590000 | #Constraints: 272631
2223.45/2230.34 c #Conflicts: 591000 | #Constraints: 273631
2223.45/2230.34 c INPROCESSING
2223.45/2230.34 c GARBAGE COLLECT
2223.45/2230.34 c #Conflicts: 592000 | #Constraints: 259430
2223.45/2230.34 c #Conflicts: 593000 | #Constraints: 260430
2223.45/2230.34 c #Conflicts: 594000 | #Constraints: 261430
2223.45/2230.34 c #Conflicts: 595000 | #Constraints: 262430
2223.45/2230.34 c #Conflicts: 596000 | #Constraints: 263430
2223.45/2230.34 c #Conflicts: 597000 | #Constraints: 264430
2223.45/2230.34 c #Conflicts: 598000 | #Constraints: 265430
2223.45/2230.34 c #Conflicts: 599000 | #Constraints: 266430
2223.45/2230.34 c #Conflicts: 600000 | #Constraints: 267430
2223.45/2230.34 c #Conflicts: 601000 | #Constraints: 268430
2223.45/2230.34 c #Conflicts: 602000 | #Constraints: 269430
2223.45/2230.34 c #Conflicts: 603000 | #Constraints: 270430
2223.45/2230.34 c #Conflicts: 604000 | #Constraints: 271430
2223.45/2230.34 c #Conflicts: 605000 | #Constraints: 272430
2223.45/2230.34 c #Conflicts: 606000 | #Constraints: 273430
2223.45/2230.34 c #Conflicts: 607000 | #Constraints: 274430
2223.45/2230.34 c INPROCESSING
2223.45/2230.34 c GARBAGE COLLECT
2223.45/2230.34 c #Conflicts: 608000 | #Constraints: 260030
2223.45/2230.34 c #Conflicts: 609000 | #Constraints: 261030
2223.45/2230.34 c #Conflicts: 610000 | #Constraints: 262030
2434.06/2441.47 c #Conflicts: 611000 | #Constraints: 263030
2434.06/2441.47 c #Conflicts: 612000 | #Constraints: 264030
2434.06/2441.47 c #Conflicts: 613000 | #Constraints: 265030
2434.06/2441.47 c #Conflicts: 614000 | #Constraints: 266030
2434.06/2441.47 c #Conflicts: 615000 | #Constraints: 267030
2434.06/2441.47 c #Conflicts: 616000 | #Constraints: 268030
2434.06/2441.47 c #Conflicts: 617000 | #Constraints: 269030
2434.06/2441.47 c #Conflicts: 618000 | #Constraints: 270030
2434.06/2441.47 c #Conflicts: 619000 | #Constraints: 271030
2434.06/2441.47 c #Conflicts: 620000 | #Constraints: 272030
2434.06/2441.47 c #Conflicts: 621000 | #Constraints: 273030
2434.06/2441.47 c #Conflicts: 622000 | #Constraints: 274030
2434.06/2441.47 c #Conflicts: 623000 | #Constraints: 275030
2434.06/2441.47 c INPROCESSING
2434.06/2441.47 c GARBAGE COLLECT
2434.06/2441.47 c #Conflicts: 624000 | #Constraints: 260428
2434.06/2441.47 c #Conflicts: 625000 | #Constraints: 261428
2434.06/2441.47 c #Conflicts: 626000 | #Constraints: 262428
2434.06/2441.47 c #Conflicts: 627000 | #Constraints: 263428
2434.06/2441.47 c #Conflicts: 628000 | #Constraints: 264428
2434.06/2441.47 c #Conflicts: 629000 | #Constraints: 265428
2434.06/2441.47 c #Conflicts: 630000 | #Constraints: 266428
2434.06/2441.47 c #Conflicts: 631000 | #Constraints: 267428
2434.06/2441.47 c #Conflicts: 632000 | #Constraints: 268428
2434.06/2441.47 c #Conflicts: 633000 | #Constraints: 269428
2434.06/2441.47 c #Conflicts: 634000 | #Constraints: 270428
2434.06/2441.47 c #Conflicts: 635000 | #Constraints: 271428
2434.06/2441.47 c #Conflicts: 636000 | #Constraints: 272428
2434.06/2441.47 c #Conflicts: 637000 | #Constraints: 273428
2434.06/2441.47 c #Conflicts: 638000 | #Constraints: 274428
2434.06/2441.47 c #Conflicts: 639000 | #Constraints: 275428
2434.06/2441.47 c INPROCESSING
2434.06/2441.47 c GARBAGE COLLECT
2434.06/2441.47 c #Conflicts: 640000 | #Constraints: 260631
2434.06/2441.47 c #Conflicts: 641000 | #Constraints: 261631
2434.06/2441.47 c #Conflicts: 642000 | #Constraints: 262631
2434.06/2441.47 c #Conflicts: 643000 | #Constraints: 263631
2434.06/2441.47 c #Conflicts: 644000 | #Constraints: 264631
2434.06/2441.47 c #Conflicts: 645000 | #Constraints: 265631
2434.06/2441.47 c #Conflicts: 646000 | #Constraints: 266631
2434.06/2441.47 c #Conflicts: 647000 | #Constraints: 267631
2434.06/2441.47 c #Conflicts: 648000 | #Constraints: 268631
2434.06/2441.47 c #Conflicts: 649000 | #Constraints: 269631
2434.06/2441.47 c #Conflicts: 650000 | #Constraints: 270631
2434.06/2441.47 c #Conflicts: 651000 | #Constraints: 271631
2434.06/2441.47 c #Conflicts: 652000 | #Constraints: 272631
2434.06/2441.47 c #Conflicts: 653000 | #Constraints: 273631
2434.06/2441.47 c #Conflicts: 654000 | #Constraints: 274631
2434.06/2441.47 c #Conflicts: 655000 | #Constraints: 275631
2434.06/2441.47 c INPROCESSING
2434.06/2441.47 c GARBAGE COLLECT
2434.06/2441.47 c #Conflicts: 656000 | #Constraints: 260632
2434.06/2441.47 c #Conflicts: 657000 | #Constraints: 261632
2434.06/2441.47 c #Conflicts: 658000 | #Constraints: 262632
2434.06/2441.47 c #Conflicts: 659000 | #Constraints: 263632
2434.06/2441.47 c #Conflicts: 660000 | #Constraints: 264632
2434.06/2441.47 c #Conflicts: 661000 | #Constraints: 265632
2434.06/2441.47 c #Conflicts: 662000 | #Constraints: 266632
2434.06/2441.47 c #Conflicts: 663000 | #Constraints: 267632
2434.06/2441.47 c #Conflicts: 664000 | #Constraints: 268632
2434.06/2441.47 c #Conflicts: 665000 | #Constraints: 269632
2434.06/2441.47 c #Conflicts: 666000 | #Constraints: 270632
2434.06/2441.47 c #Conflicts: 667000 | #Constraints: 271632
2434.06/2441.47 c #Conflicts: 668000 | #Constraints: 272632
2434.06/2441.47 c #Conflicts: 669000 | #Constraints: 273632
2434.06/2441.47 c #Conflicts: 670000 | #Constraints: 274632
2434.06/2441.47 c #Conflicts: 671000 | #Constraints: 275632
2434.06/2441.47 c INPROCESSING
2434.06/2441.47 c GARBAGE COLLECT
2434.06/2441.47 c #Conflicts: 672000 | #Constraints: 260433
2434.06/2441.47 c #Conflicts: 673000 | #Constraints: 261433
2434.06/2441.47 c #Conflicts: 674000 | #Constraints: 262433
2434.06/2441.47 c #Conflicts: 675000 | #Constraints: 263433
2434.06/2441.47 c #Conflicts: 676000 | #Constraints: 264433
2434.06/2441.47 c #Conflicts: 677000 | #Constraints: 265433
2434.06/2441.47 c #Conflicts: 678000 | #Constraints: 266433
2434.06/2441.47 c #Conflicts: 679000 | #Constraints: 267433
2434.06/2441.47 c #Conflicts: 680000 | #Constraints: 268433
2434.06/2441.47 c #Conflicts: 681000 | #Constraints: 269433
2434.06/2441.47 c #Conflicts: 682000 | #Constraints: 270433
2434.06/2441.47 c #Conflicts: 683000 | #Constraints: 271433
2434.06/2441.47 c #Conflicts: 684000 | #Constraints: 272433
2434.06/2441.47 c #Conflicts: 685000 | #Constraints: 273433
2434.06/2441.47 c #Conflicts: 686000 | #Constraints: 274433
2434.06/2441.47 c #Conflicts: 687000 | #Constraints: 275433
2641.87/2649.71 c #Conflicts: 688000 | #Constraints: 276433
2641.87/2649.71 c INPROCESSING
2641.87/2649.71 c GARBAGE COLLECT
2641.87/2649.71 c #Conflicts: 689000 | #Constraints: 261031
2641.87/2649.71 c #Conflicts: 690000 | #Constraints: 262031
2641.87/2649.71 c #Conflicts: 691000 | #Constraints: 263031
2641.87/2649.71 c #Conflicts: 692000 | #Constraints: 264031
2641.87/2649.71 c #Conflicts: 693000 | #Constraints: 265031
2641.87/2649.71 c #Conflicts: 694000 | #Constraints: 266031
2641.87/2649.71 c #Conflicts: 695000 | #Constraints: 267031
2641.87/2649.71 c #Conflicts: 696000 | #Constraints: 268031
2641.87/2649.71 c #Conflicts: 697000 | #Constraints: 269031
2641.87/2649.71 c #Conflicts: 698000 | #Constraints: 270031
2641.87/2649.71 c #Conflicts: 699000 | #Constraints: 271031
2641.87/2649.71 c #Conflicts: 700000 | #Constraints: 272031
2641.87/2649.71 c #Conflicts: 701000 | #Constraints: 273031
2641.87/2649.71 c #Conflicts: 702000 | #Constraints: 274031
2641.87/2649.71 c #Conflicts: 703000 | #Constraints: 275031
2641.87/2649.71 c #Conflicts: 704000 | #Constraints: 276031
2641.87/2649.71 c #Conflicts: 705000 | #Constraints: 277031
2641.87/2649.71 c INPROCESSING
2641.87/2649.71 c GARBAGE COLLECT
2641.87/2649.71 c #Conflicts: 706000 | #Constraints: 261429
2641.87/2649.71 c #Conflicts: 707000 | #Constraints: 262429
2641.87/2649.71 c #Conflicts: 708000 | #Constraints: 263429
2641.87/2649.71 c #Conflicts: 709000 | #Constraints: 264429
2641.87/2649.71 c #Conflicts: 710000 | #Constraints: 265429
2641.87/2649.71 c #Conflicts: 711000 | #Constraints: 266429
2641.87/2649.71 c #Conflicts: 712000 | #Constraints: 267429
2641.87/2649.71 c #Conflicts: 713000 | #Constraints: 268429
2641.87/2649.71 c #Conflicts: 714000 | #Constraints: 269429
2641.87/2649.71 c #Conflicts: 715000 | #Constraints: 270429
2641.87/2649.71 c #Conflicts: 716000 | #Constraints: 271429
2641.87/2649.71 c #Conflicts: 717000 | #Constraints: 272429
2641.87/2649.71 c #Conflicts: 718000 | #Constraints: 273429
2641.87/2649.71 c #Conflicts: 719000 | #Constraints: 274429
2641.87/2649.71 c #Conflicts: 720000 | #Constraints: 275429
2641.87/2649.71 c #Conflicts: 721000 | #Constraints: 276429
2641.87/2649.71 c #Conflicts: 722000 | #Constraints: 277429
2641.87/2649.71 c INPROCESSING
2641.87/2649.71 c GARBAGE COLLECT
2641.87/2649.71 c #Conflicts: 723000 | #Constraints: 261632
2641.87/2649.71 c #Conflicts: 724000 | #Constraints: 262632
2641.87/2649.71 c #Conflicts: 725000 | #Constraints: 263632
2641.87/2649.71 c #Conflicts: 726000 | #Constraints: 264632
2641.87/2649.71 c #Conflicts: 727000 | #Constraints: 265632
2641.87/2649.71 c #Conflicts: 728000 | #Constraints: 266632
2641.87/2649.71 c #Conflicts: 729000 | #Constraints: 267632
2641.87/2649.71 c #Conflicts: 730000 | #Constraints: 268632
2641.87/2649.71 c #Conflicts: 731000 | #Constraints: 269632
2641.87/2649.71 c #Conflicts: 732000 | #Constraints: 270632
2641.87/2649.71 c #Conflicts: 733000 | #Constraints: 271632
2641.87/2649.71 c #Conflicts: 734000 | #Constraints: 272632
2641.87/2649.71 c #Conflicts: 735000 | #Constraints: 273632
2641.87/2649.71 c #Conflicts: 736000 | #Constraints: 274632
2641.87/2649.71 c #Conflicts: 737000 | #Constraints: 275632
2641.87/2649.71 c #Conflicts: 738000 | #Constraints: 276632
2641.87/2649.71 c #Conflicts: 739000 | #Constraints: 277632
2641.87/2649.71 c INPROCESSING
2641.87/2649.71 c GARBAGE COLLECT
2641.87/2649.71 c #Conflicts: 740000 | #Constraints: 261630
2641.87/2649.71 c #Conflicts: 741000 | #Constraints: 262630
2641.87/2649.71 c #Conflicts: 742000 | #Constraints: 263630
2641.87/2649.71 c #Conflicts: 743000 | #Constraints: 264630
2641.87/2649.71 c #Conflicts: 744000 | #Constraints: 265630
2641.87/2649.71 c #Conflicts: 745000 | #Constraints: 266630
2641.87/2649.71 c #Conflicts: 746000 | #Constraints: 267630
2641.87/2649.71 c #Conflicts: 747000 | #Constraints: 268630
2641.87/2649.71 c #Conflicts: 748000 | #Constraints: 269630
2641.87/2649.71 c #Conflicts: 749000 | #Constraints: 270630
2641.87/2649.71 c #Conflicts: 750000 | #Constraints: 271630
2641.87/2649.71 c #Conflicts: 751000 | #Constraints: 272630
2641.87/2649.71 c #Conflicts: 752000 | #Constraints: 273630
2641.87/2649.71 c #Conflicts: 753000 | #Constraints: 274630
2641.87/2649.71 c #Conflicts: 754000 | #Constraints: 275630
2641.87/2649.71 c #Conflicts: 755000 | #Constraints: 276630
2641.87/2649.71 c #Conflicts: 756000 | #Constraints: 277630
2641.87/2649.71 c INPROCESSING
2641.87/2649.71 c GARBAGE COLLECT
2641.87/2649.71 c #Conflicts: 757000 | #Constraints: 261429
2641.87/2649.71 c #Conflicts: 758000 | #Constraints: 262429
2641.87/2649.71 c #Conflicts: 759000 | #Constraints: 263429
2641.87/2649.71 c #Conflicts: 760000 | #Constraints: 264429
2641.87/2649.71 c #Conflicts: 761000 | #Constraints: 265429
2641.87/2649.71 c #Conflicts: 762000 | #Constraints: 266429
2845.08/2853.42 c #Conflicts: 763000 | #Constraints: 267429
2845.08/2853.42 c #Conflicts: 764000 | #Constraints: 268429
2845.08/2853.42 c #Conflicts: 765000 | #Constraints: 269429
2845.08/2853.42 c #Conflicts: 766000 | #Constraints: 270429
2845.08/2853.42 c #Conflicts: 767000 | #Constraints: 271429
2845.08/2853.42 c #Conflicts: 768000 | #Constraints: 272429
2845.08/2853.42 c #Conflicts: 769000 | #Constraints: 273429
2845.08/2853.42 c #Conflicts: 770000 | #Constraints: 274429
2845.08/2853.42 c #Conflicts: 771000 | #Constraints: 275429
2845.08/2853.42 c #Conflicts: 772000 | #Constraints: 276429
2845.08/2853.42 c #Conflicts: 773000 | #Constraints: 277429
2845.08/2853.42 c #Conflicts: 774000 | #Constraints: 278429
2845.08/2853.42 c INPROCESSING
2845.08/2853.42 c GARBAGE COLLECT
2845.08/2853.42 c #Conflicts: 775000 | #Constraints: 262028
2845.08/2853.42 c #Conflicts: 776000 | #Constraints: 263028
2845.08/2853.42 c #Conflicts: 777000 | #Constraints: 264028
2845.08/2853.42 c #Conflicts: 778000 | #Constraints: 265028
2845.08/2853.42 c #Conflicts: 779000 | #Constraints: 266028
2845.08/2853.42 c #Conflicts: 780000 | #Constraints: 267028
2845.08/2853.42 c #Conflicts: 781000 | #Constraints: 268028
2845.08/2853.42 c #Conflicts: 782000 | #Constraints: 269028
2845.08/2853.42 c #Conflicts: 783000 | #Constraints: 270028
2845.08/2853.42 c #Conflicts: 784000 | #Constraints: 271028
2845.08/2853.42 c #Conflicts: 785000 | #Constraints: 272028
2845.08/2853.42 c #Conflicts: 786000 | #Constraints: 273028
2845.08/2853.42 c #Conflicts: 787000 | #Constraints: 274028
2845.08/2853.42 c #Conflicts: 788000 | #Constraints: 275028
2845.08/2853.42 c #Conflicts: 789000 | #Constraints: 276028
2845.08/2853.42 c #Conflicts: 790000 | #Constraints: 277028
2845.08/2853.42 c #Conflicts: 791000 | #Constraints: 278028
2845.08/2853.42 c #Conflicts: 792000 | #Constraints: 279028
2845.08/2853.42 c INPROCESSING
2845.08/2853.42 c GARBAGE COLLECT
2845.08/2853.42 c #Conflicts: 793000 | #Constraints: 262428
2845.08/2853.42 c #Conflicts: 794000 | #Constraints: 263428
2845.08/2853.42 c #Conflicts: 795000 | #Constraints: 264428
2845.08/2853.42 c #Conflicts: 796000 | #Constraints: 265428
2845.08/2853.42 c #Conflicts: 797000 | #Constraints: 266428
2845.08/2853.42 c #Conflicts: 798000 | #Constraints: 267428
2845.08/2853.42 c #Conflicts: 799000 | #Constraints: 268428
2845.08/2853.42 c #Conflicts: 800000 | #Constraints: 269428
2845.08/2853.42 c #Conflicts: 801000 | #Constraints: 270428
2845.08/2853.42 c #Conflicts: 802000 | #Constraints: 271428
2845.08/2853.42 c #Conflicts: 803000 | #Constraints: 272428
2845.08/2853.42 c #Conflicts: 804000 | #Constraints: 273428
2845.08/2853.42 c #Conflicts: 805000 | #Constraints: 274428
2845.08/2853.42 c #Conflicts: 806000 | #Constraints: 275428
2845.08/2853.42 c #Conflicts: 807000 | #Constraints: 276428
2845.08/2853.42 c #Conflicts: 808000 | #Constraints: 277428
2845.08/2853.42 c #Conflicts: 809000 | #Constraints: 278428
2845.08/2853.42 c #Conflicts: 810000 | #Constraints: 279428
2845.08/2853.42 c INPROCESSING
2845.08/2853.42 c GARBAGE COLLECT
2845.08/2853.42 c #Conflicts: 811000 | #Constraints: 262628
2845.08/2853.42 c #Conflicts: 812000 | #Constraints: 263628
2845.08/2853.42 c #Conflicts: 813000 | #Constraints: 264628
2845.08/2853.42 c #Conflicts: 814000 | #Constraints: 265628
2845.08/2853.42 c #Conflicts: 815000 | #Constraints: 266628
2845.08/2853.42 c #Conflicts: 816000 | #Constraints: 267628
2845.08/2853.42 c #Conflicts: 817000 | #Constraints: 268628
2845.08/2853.42 c #Conflicts: 818000 | #Constraints: 269628
2845.08/2853.42 c #Conflicts: 819000 | #Constraints: 270628
2845.08/2853.42 c #Conflicts: 820000 | #Constraints: 271628
2845.08/2853.42 c #Conflicts: 821000 | #Constraints: 272628
2845.08/2853.42 c #Conflicts: 822000 | #Constraints: 273628
2845.08/2853.42 c #Conflicts: 823000 | #Constraints: 274628
2845.08/2853.42 c #Conflicts: 824000 | #Constraints: 275628
2845.08/2853.42 c #Conflicts: 825000 | #Constraints: 276628
2845.08/2853.42 c #Conflicts: 826000 | #Constraints: 277628
2845.08/2853.42 c #Conflicts: 827000 | #Constraints: 278628
2845.08/2853.42 c #Conflicts: 828000 | #Constraints: 279628
2845.08/2853.42 c INPROCESSING
2845.08/2853.42 c GARBAGE COLLECT
2845.08/2853.42 c #Conflicts: 829000 | #Constraints: 262629
2845.08/2853.42 c #Conflicts: 830000 | #Constraints: 263629
2845.08/2853.42 c #Conflicts: 831000 | #Constraints: 264629
2845.08/2853.42 c #Conflicts: 832000 | #Constraints: 265629
2845.08/2853.42 c #Conflicts: 833000 | #Constraints: 266629
2845.08/2853.42 c #Conflicts: 834000 | #Constraints: 267629
2845.08/2853.42 c #Conflicts: 835000 | #Constraints: 268629
2845.08/2853.42 c #Conflicts: 836000 | #Constraints: 269629
2845.08/2853.42 c #Conflicts: 837000 | #Constraints: 270629
2845.08/2853.42 c #Conflicts: 838000 | #Constraints: 271629
3051.20/3060.08 c #Conflicts: 839000 | #Constraints: 272629
3051.20/3060.08 c #Conflicts: 840000 | #Constraints: 273629
3051.20/3060.08 c #Conflicts: 841000 | #Constraints: 274629
3051.20/3060.08 c #Conflicts: 842000 | #Constraints: 275629
3051.20/3060.08 c #Conflicts: 843000 | #Constraints: 276629
3051.20/3060.08 c #Conflicts: 844000 | #Constraints: 277629
3051.20/3060.08 c #Conflicts: 845000 | #Constraints: 278629
3051.20/3060.08 c #Conflicts: 846000 | #Constraints: 279629
3051.20/3060.08 c INPROCESSING
3051.20/3060.08 c GARBAGE COLLECT
3051.20/3060.08 c #Conflicts: 847000 | #Constraints: 262434
3051.20/3060.08 c #Conflicts: 848000 | #Constraints: 263434
3051.20/3060.08 c #Conflicts: 849000 | #Constraints: 264434
3051.20/3060.08 c #Conflicts: 850000 | #Constraints: 265434
3051.20/3060.08 c #Conflicts: 851000 | #Constraints: 266434
3051.20/3060.08 c #Conflicts: 852000 | #Constraints: 267434
3051.20/3060.08 c #Conflicts: 853000 | #Constraints: 268434
3051.20/3060.08 c #Conflicts: 854000 | #Constraints: 269434
3051.20/3060.08 c #Conflicts: 855000 | #Constraints: 270434
3051.20/3060.08 c #Conflicts: 856000 | #Constraints: 271434
3051.20/3060.08 c #Conflicts: 857000 | #Constraints: 272434
3051.20/3060.08 c #Conflicts: 858000 | #Constraints: 273434
3051.20/3060.08 c #Conflicts: 859000 | #Constraints: 274434
3051.20/3060.08 c #Conflicts: 860000 | #Constraints: 275434
3051.20/3060.08 c #Conflicts: 861000 | #Constraints: 276434
3051.20/3060.08 c #Conflicts: 862000 | #Constraints: 277434
3051.20/3060.08 c #Conflicts: 863000 | #Constraints: 278434
3051.20/3060.08 c #Conflicts: 864000 | #Constraints: 279434
3051.20/3060.08 c #Conflicts: 865000 | #Constraints: 280434
3051.20/3060.08 c INPROCESSING
3051.20/3060.08 c GARBAGE COLLECT
3051.20/3060.08 c #Conflicts: 866000 | #Constraints: 263033
3051.20/3060.08 c #Conflicts: 867000 | #Constraints: 264033
3051.20/3060.08 c #Conflicts: 868000 | #Constraints: 265033
3051.20/3060.08 c #Conflicts: 869000 | #Constraints: 266033
3051.20/3060.08 c #Conflicts: 870000 | #Constraints: 267033
3051.20/3060.08 c #Conflicts: 871000 | #Constraints: 268033
3051.20/3060.08 c #Conflicts: 872000 | #Constraints: 269033
3051.20/3060.08 c #Conflicts: 873000 | #Constraints: 270033
3051.20/3060.08 c #Conflicts: 874000 | #Constraints: 271033
3051.20/3060.08 c #Conflicts: 875000 | #Constraints: 272033
3051.20/3060.08 c #Conflicts: 876000 | #Constraints: 273033
3051.20/3060.08 c #Conflicts: 877000 | #Constraints: 274033
3051.20/3060.08 c #Conflicts: 878000 | #Constraints: 275033
3051.20/3060.08 c #Conflicts: 879000 | #Constraints: 276033
3051.20/3060.08 c #Conflicts: 880000 | #Constraints: 277033
3051.20/3060.08 c #Conflicts: 881000 | #Constraints: 278033
3051.20/3060.08 c #Conflicts: 882000 | #Constraints: 279033
3051.20/3060.08 c #Conflicts: 883000 | #Constraints: 280033
3051.20/3060.08 c #Conflicts: 884000 | #Constraints: 281033
3051.20/3060.08 c INPROCESSING
3051.20/3060.08 c GARBAGE COLLECT
3051.20/3060.08 c #Conflicts: 885000 | #Constraints: 263432
3051.20/3060.08 c #Conflicts: 886000 | #Constraints: 264432
3051.20/3060.08 c #Conflicts: 887000 | #Constraints: 265432
3051.20/3060.08 c #Conflicts: 888000 | #Constraints: 266432
3051.20/3060.08 c #Conflicts: 889000 | #Constraints: 267432
3051.20/3060.08 c #Conflicts: 890000 | #Constraints: 268432
3051.20/3060.08 c #Conflicts: 891000 | #Constraints: 269432
3051.20/3060.08 c #Conflicts: 892000 | #Constraints: 270432
3051.20/3060.08 c #Conflicts: 893000 | #Constraints: 271432
3051.20/3060.08 c #Conflicts: 894000 | #Constraints: 272432
3051.20/3060.08 c #Conflicts: 895000 | #Constraints: 273432
3051.20/3060.08 c #Conflicts: 896000 | #Constraints: 274432
3051.20/3060.08 c #Conflicts: 897000 | #Constraints: 275432
3051.20/3060.08 c #Conflicts: 898000 | #Constraints: 276432
3051.20/3060.08 c #Conflicts: 899000 | #Constraints: 277432
3051.20/3060.08 c #Conflicts: 900000 | #Constraints: 278432
3051.20/3060.08 c #Conflicts: 901000 | #Constraints: 279432
3051.20/3060.08 c #Conflicts: 902000 | #Constraints: 280432
3051.20/3060.08 c #Conflicts: 903000 | #Constraints: 281432
3051.20/3060.08 c INPROCESSING
3051.20/3060.08 c GARBAGE COLLECT
3051.20/3060.08 c #Conflicts: 904000 | #Constraints: 263631
3051.20/3060.08 c #Conflicts: 905000 | #Constraints: 264631
3051.20/3060.08 c #Conflicts: 906000 | #Constraints: 265631
3051.20/3060.08 c #Conflicts: 907000 | #Constraints: 266631
3051.20/3060.08 c #Conflicts: 908000 | #Constraints: 267631
3051.20/3060.08 c #Conflicts: 909000 | #Constraints: 268631
3051.20/3060.08 c #Conflicts: 910000 | #Constraints: 269631
3051.20/3060.08 c #Conflicts: 911000 | #Constraints: 270631
3051.20/3060.08 c #Conflicts: 912000 | #Constraints: 271631
3051.20/3060.08 c #Conflicts: 913000 | #Constraints: 272631
3051.20/3060.08 c #Conflicts: 914000 | #Constraints: 273631
3051.20/3060.08 c #Conflicts: 915000 | #Constraints: 274631
3252.92/3262.29 c #Conflicts: 916000 | #Constraints: 275631
3252.92/3262.29 c #Conflicts: 917000 | #Constraints: 276631
3252.92/3262.29 c #Conflicts: 918000 | #Constraints: 277631
3252.92/3262.29 c #Conflicts: 919000 | #Constraints: 278631
3252.92/3262.29 c #Conflicts: 920000 | #Constraints: 279631
3252.92/3262.29 c #Conflicts: 921000 | #Constraints: 280631
3252.92/3262.29 c #Conflicts: 922000 | #Constraints: 281631
3252.92/3262.29 c INPROCESSING
3252.92/3262.29 c GARBAGE COLLECT
3252.92/3262.29 c #Conflicts: 923000 | #Constraints: 263631
3252.92/3262.29 c #Conflicts: 924000 | #Constraints: 264631
3252.92/3262.29 c #Conflicts: 925000 | #Constraints: 265631
3252.92/3262.29 c #Conflicts: 926000 | #Constraints: 266631
3252.92/3262.29 c #Conflicts: 927000 | #Constraints: 267631
3252.92/3262.29 c #Conflicts: 928000 | #Constraints: 268631
3252.92/3262.29 c #Conflicts: 929000 | #Constraints: 269631
3252.92/3262.29 c #Conflicts: 930000 | #Constraints: 270631
3252.92/3262.29 c #Conflicts: 931000 | #Constraints: 271631
3252.92/3262.29 c #Conflicts: 932000 | #Constraints: 272631
3252.92/3262.29 c #Conflicts: 933000 | #Constraints: 273631
3252.92/3262.29 c #Conflicts: 934000 | #Constraints: 274631
3252.92/3262.29 c #Conflicts: 935000 | #Constraints: 275631
3252.92/3262.29 c #Conflicts: 936000 | #Constraints: 276631
3252.92/3262.29 c #Conflicts: 937000 | #Constraints: 277631
3252.92/3262.29 c #Conflicts: 938000 | #Constraints: 278631
3252.92/3262.29 c #Conflicts: 939000 | #Constraints: 279631
3252.92/3262.29 c #Conflicts: 940000 | #Constraints: 280631
3252.92/3262.29 c #Conflicts: 941000 | #Constraints: 281631
3252.92/3262.29 c INPROCESSING
3252.92/3262.29 c GARBAGE COLLECT
3252.92/3262.29 c #Conflicts: 942000 | #Constraints: 263430
3252.92/3262.29 c #Conflicts: 943000 | #Constraints: 264430
3252.92/3262.29 c #Conflicts: 944000 | #Constraints: 265430
3252.92/3262.29 c #Conflicts: 945000 | #Constraints: 266430
3252.92/3262.29 c #Conflicts: 946000 | #Constraints: 267430
3252.92/3262.29 c #Conflicts: 947000 | #Constraints: 268430
3252.92/3262.29 c #Conflicts: 948000 | #Constraints: 269430
3252.92/3262.29 c #Conflicts: 949000 | #Constraints: 270430
3252.92/3262.29 c #Conflicts: 950000 | #Constraints: 271430
3252.92/3262.29 c #Conflicts: 951000 | #Constraints: 272430
3252.92/3262.29 c #Conflicts: 952000 | #Constraints: 273430
3252.92/3262.29 c #Conflicts: 953000 | #Constraints: 274430
3252.92/3262.29 c #Conflicts: 954000 | #Constraints: 275430
3252.92/3262.29 c #Conflicts: 955000 | #Constraints: 276430
3252.92/3262.29 c #Conflicts: 956000 | #Constraints: 277430
3252.92/3262.29 c #Conflicts: 957000 | #Constraints: 278430
3252.92/3262.29 c #Conflicts: 958000 | #Constraints: 279430
3252.92/3262.29 c #Conflicts: 959000 | #Constraints: 280430
3252.92/3262.29 c #Conflicts: 960000 | #Constraints: 281430
3252.92/3262.29 c #Conflicts: 961000 | #Constraints: 282430
3252.92/3262.29 c INPROCESSING
3252.92/3262.29 c GARBAGE COLLECT
3252.92/3262.29 c #Conflicts: 962000 | #Constraints: 264031
3252.92/3262.29 c #Conflicts: 963000 | #Constraints: 265031
3252.92/3262.29 c #Conflicts: 964000 | #Constraints: 266031
3252.92/3262.29 c #Conflicts: 965000 | #Constraints: 267031
3252.92/3262.29 c #Conflicts: 966000 | #Constraints: 268031
3252.92/3262.29 c #Conflicts: 967000 | #Constraints: 269031
3252.92/3262.29 c #Conflicts: 968000 | #Constraints: 270031
3252.92/3262.29 c #Conflicts: 969000 | #Constraints: 271031
3252.92/3262.29 c #Conflicts: 970000 | #Constraints: 272031
3252.92/3262.29 c #Conflicts: 971000 | #Constraints: 273031
3252.92/3262.29 c #Conflicts: 972000 | #Constraints: 274031
3252.92/3262.29 c #Conflicts: 973000 | #Constraints: 275031
3252.92/3262.29 c #Conflicts: 974000 | #Constraints: 276031
3252.92/3262.29 c #Conflicts: 975000 | #Constraints: 277031
3252.92/3262.29 c #Conflicts: 976000 | #Constraints: 278031
3252.92/3262.29 c #Conflicts: 977000 | #Constraints: 279031
3252.92/3262.29 c #Conflicts: 978000 | #Constraints: 280031
3252.92/3262.29 c #Conflicts: 979000 | #Constraints: 281031
3252.92/3262.29 c #Conflicts: 980000 | #Constraints: 282031
3252.92/3262.29 c #Conflicts: 981000 | #Constraints: 283031
3252.92/3262.29 c INPROCESSING
3252.92/3262.29 c GARBAGE COLLECT
3252.92/3262.29 c #Conflicts: 982000 | #Constraints: 264434
3252.92/3262.29 c #Conflicts: 983000 | #Constraints: 265434
3252.92/3262.29 c #Conflicts: 984000 | #Constraints: 266434
3252.92/3262.29 c #Conflicts: 985000 | #Constraints: 267434
3252.92/3262.29 c #Conflicts: 986000 | #Constraints: 268434
3252.92/3262.29 c #Conflicts: 987000 | #Constraints: 269434
3252.92/3262.29 c #Conflicts: 988000 | #Constraints: 270434
3252.92/3262.29 c #Conflicts: 989000 | #Constraints: 271434
3252.92/3262.29 c #Conflicts: 990000 | #Constraints: 272434
3252.92/3262.29 c #Conflicts: 991000 | #Constraints: 273434
3452.13/3461.94 c #Conflicts: 992000 | #Constraints: 274434
3452.13/3461.94 c #Conflicts: 993000 | #Constraints: 275434
3452.13/3461.94 c #Conflicts: 994000 | #Constraints: 276434
3452.13/3461.94 c #Conflicts: 995000 | #Constraints: 277434
3452.13/3461.94 c #Conflicts: 996000 | #Constraints: 278434
3452.13/3461.94 c #Conflicts: 997000 | #Constraints: 279434
3452.13/3461.94 c #Conflicts: 998000 | #Constraints: 280434
3452.13/3461.94 c #Conflicts: 999000 | #Constraints: 281434
3452.13/3461.94 c #Conflicts: 1000000 | #Constraints: 282434
3452.13/3461.94 c #Conflicts: 1001000 | #Constraints: 283434
3452.13/3461.94 c INPROCESSING
3452.13/3461.94 c GARBAGE COLLECT
3452.13/3461.94 c #Conflicts: 1002000 | #Constraints: 264635
3452.13/3461.94 c #Conflicts: 1003000 | #Constraints: 265635
3452.13/3461.94 c #Conflicts: 1004000 | #Constraints: 266635
3452.13/3461.94 c #Conflicts: 1005000 | #Constraints: 267635
3452.13/3461.94 c #Conflicts: 1006000 | #Constraints: 268635
3452.13/3461.94 c #Conflicts: 1007000 | #Constraints: 269635
3452.13/3461.94 c #Conflicts: 1008000 | #Constraints: 270635
3452.13/3461.94 c #Conflicts: 1009000 | #Constraints: 271635
3452.13/3461.94 c #Conflicts: 1010000 | #Constraints: 272635
3452.13/3461.94 c #Conflicts: 1011000 | #Constraints: 273635
3452.13/3461.94 c #Conflicts: 1012000 | #Constraints: 274635
3452.13/3461.94 c #Conflicts: 1013000 | #Constraints: 275635
3452.13/3461.94 c #Conflicts: 1014000 | #Constraints: 276635
3452.13/3461.94 c #Conflicts: 1015000 | #Constraints: 277635
3452.13/3461.94 c #Conflicts: 1016000 | #Constraints: 278635
3452.13/3461.94 c #Conflicts: 1017000 | #Constraints: 279635
3452.13/3461.94 c #Conflicts: 1018000 | #Constraints: 280635
3452.13/3461.94 c #Conflicts: 1019000 | #Constraints: 281635
3452.13/3461.94 c #Conflicts: 1020000 | #Constraints: 282635
3452.13/3461.94 c #Conflicts: 1021000 | #Constraints: 283635
3452.13/3461.94 c INPROCESSING
3452.13/3461.94 c GARBAGE COLLECT
3452.13/3461.94 c #Conflicts: 1022000 | #Constraints: 264635
3452.13/3461.94 c #Conflicts: 1023000 | #Constraints: 265635
3452.13/3461.94 c #Conflicts: 1024000 | #Constraints: 266635
3452.13/3461.94 c #Conflicts: 1025000 | #Constraints: 267635
3452.13/3461.94 c #Conflicts: 1026000 | #Constraints: 268635
3452.13/3461.94 c #Conflicts: 1027000 | #Constraints: 269635
3452.13/3461.94 c #Conflicts: 1028000 | #Constraints: 270635
3452.13/3461.94 c #Conflicts: 1029000 | #Constraints: 271635
3452.13/3461.94 c #Conflicts: 1030000 | #Constraints: 272635
3452.13/3461.94 c #Conflicts: 1031000 | #Constraints: 273635
3452.13/3461.94 c #Conflicts: 1032000 | #Constraints: 274635
3452.13/3461.94 c #Conflicts: 1033000 | #Constraints: 275635
3452.13/3461.94 c #Conflicts: 1034000 | #Constraints: 276635
3452.13/3461.94 c #Conflicts: 1035000 | #Constraints: 277635
3452.13/3461.94 c #Conflicts: 1036000 | #Constraints: 278635
3452.13/3461.94 c #Conflicts: 1037000 | #Constraints: 279635
3452.13/3461.94 c #Conflicts: 1038000 | #Constraints: 280635
3452.13/3461.94 c #Conflicts: 1039000 | #Constraints: 281635
3452.13/3461.94 c #Conflicts: 1040000 | #Constraints: 282635
3452.13/3461.94 c #Conflicts: 1041000 | #Constraints: 283635
3452.13/3461.94 c INPROCESSING
3452.13/3461.94 c GARBAGE COLLECT
3452.13/3461.94 c #Conflicts: 1042000 | #Constraints: 264432
3452.13/3461.94 c #Conflicts: 1043000 | #Constraints: 265432
3452.13/3461.94 c #Conflicts: 1044000 | #Constraints: 266432
3452.13/3461.94 c #Conflicts: 1045000 | #Constraints: 267432
3452.13/3461.94 c #Conflicts: 1046000 | #Constraints: 268432
3452.13/3461.94 c #Conflicts: 1047000 | #Constraints: 269432
3452.13/3461.94 c #Conflicts: 1048000 | #Constraints: 270432
3452.13/3461.94 c #Conflicts: 1049000 | #Constraints: 271432
3452.13/3461.94 c #Conflicts: 1050000 | #Constraints: 272432
3452.13/3461.94 c #Conflicts: 1051000 | #Constraints: 273432
3452.13/3461.94 c #Conflicts: 1052000 | #Constraints: 274432
3452.13/3461.94 c #Conflicts: 1053000 | #Constraints: 275432
3452.13/3461.94 c #Conflicts: 1054000 | #Constraints: 276432
3452.13/3461.94 c #Conflicts: 1055000 | #Constraints: 277432
3452.13/3461.94 c #Conflicts: 1056000 | #Constraints: 278432
3452.13/3461.94 c #Conflicts: 1057000 | #Constraints: 279432
3452.13/3461.94 c #Conflicts: 1058000 | #Constraints: 280432
3452.13/3461.94 c #Conflicts: 1059000 | #Constraints: 281432
3452.13/3461.94 c #Conflicts: 1060000 | #Constraints: 282432
3452.13/3461.94 c #Conflicts: 1061000 | #Constraints: 283432
3452.13/3461.94 c #Conflicts: 1062000 | #Constraints: 284432
3452.13/3461.94 c INPROCESSING
3452.13/3461.94 c GARBAGE COLLECT
3452.13/3461.94 c #Conflicts: 1063000 | #Constraints: 265032
3452.13/3461.94 c #Conflicts: 1064000 | #Constraints: 266032
3452.13/3461.94 c #Conflicts: 1065000 | #Constraints: 267032
3452.13/3461.94 c #Conflicts: 1066000 | #Constraints: 268032
3452.13/3461.94 c #Conflicts: 1067000 | #Constraints: 269032
3600.01/3610.20 c #Conflicts: 1068000 | #Constraints: 270032
3600.01/3610.20 c #Conflicts: 1069000 | #Constraints: 271032
3600.01/3610.20 c #Conflicts: 1070000 | #Constraints: 272032
3600.01/3610.20 c #Conflicts: 1071000 | #Constraints: 273032
3600.01/3610.20 c #Conflicts: 1072000 | #Constraints: 274032
3600.01/3610.20 c #Conflicts: 1073000 | #Constraints: 275032
3600.01/3610.20 c #Conflicts: 1074000 | #Constraints: 276032
3600.01/3610.20 c #Conflicts: 1075000 | #Constraints: 277032
3600.01/3610.20 c #Conflicts: 1076000 | #Constraints: 278032
3600.01/3610.20 c #Conflicts: 1077000 | #Constraints: 279032
3600.01/3610.20 c #Conflicts: 1078000 | #Constraints: 280032
3600.01/3610.20 c #Conflicts: 1079000 | #Constraints: 281032
3600.01/3610.20 c #Conflicts: 1080000 | #Constraints: 282032
3600.01/3610.20 c #Conflicts: 1081000 | #Constraints: 283032
3600.01/3610.20 c #Conflicts: 1082000 | #Constraints: 284032
3600.01/3610.20 c #Conflicts: 1083000 | #Constraints: 285032
3600.01/3610.20 c INPROCESSING
3600.01/3610.20 c GARBAGE COLLECT
3600.01/3610.20 c #Conflicts: 1084000 | #Constraints: 265431
3600.01/3610.20 c #Conflicts: 1085000 | #Constraints: 266431
3600.01/3610.20 c #Conflicts: 1086000 | #Constraints: 267431
3600.01/3610.20 c #Conflicts: 1087000 | #Constraints: 268431
3600.01/3610.20 c #Conflicts: 1088000 | #Constraints: 269431
3600.01/3610.20 c #Conflicts: 1089000 | #Constraints: 270431
3600.01/3610.20 c #Conflicts: 1090000 | #Constraints: 271431
3600.01/3610.20 c #Conflicts: 1091000 | #Constraints: 272431
3600.01/3610.20 c #Conflicts: 1092000 | #Constraints: 273431
3600.01/3610.20 c #Conflicts: 1093000 | #Constraints: 274431
3600.01/3610.20 c #Conflicts: 1094000 | #Constraints: 275431
3600.01/3610.20 c #Conflicts: 1095000 | #Constraints: 276431
3600.01/3610.20 c #Conflicts: 1096000 | #Constraints: 277431
3600.01/3610.20 c #Conflicts: 1097000 | #Constraints: 278431
3600.01/3610.20 c #Conflicts: 1098000 | #Constraints: 279431
3600.01/3610.20 c #Conflicts: 1099000 | #Constraints: 280431
3600.01/3610.20 c #Conflicts: 1100000 | #Constraints: 281431
3600.01/3610.20 c #Conflicts: 1101000 | #Constraints: 282431
3600.01/3610.20 c #Conflicts: 1102000 | #Constraints: 283431
3600.01/3610.20 c #Conflicts: 1103000 | #Constraints: 284431
3600.01/3610.20 c #Conflicts: 1104000 | #Constraints: 285431
3600.01/3610.20 c INPROCESSING
3600.01/3610.20 c GARBAGE COLLECT
3600.01/3610.20 c #Conflicts: 1105000 | #Constraints: 265634
3600.01/3610.20 c #Conflicts: 1106000 | #Constraints: 266634
3600.01/3610.20 c #Conflicts: 1107000 | #Constraints: 267634
3600.01/3610.20 c #Conflicts: 1108000 | #Constraints: 268634
3600.01/3610.20 c #Conflicts: 1109000 | #Constraints: 269634
3600.01/3610.20 c #Conflicts: 1110000 | #Constraints: 270634
3600.01/3610.20 c #Conflicts: 1111000 | #Constraints: 271634
3600.01/3610.20 c #Conflicts: 1112000 | #Constraints: 272634
3600.01/3610.20 c #Conflicts: 1113000 | #Constraints: 273634
3600.01/3610.20 c #Conflicts: 1114000 | #Constraints: 274634
3600.01/3610.20 c #Conflicts: 1115000 | #Constraints: 275634
3600.01/3610.20 c cpu time 3586.51 s
3600.01/3610.20 c deterministic time 1 1.00e+00
3600.01/3610.20 c optimization time 3584.83 s
3600.01/3610.20 c total solve time 0 s
3600.01/3610.20 c core-guided solve time 0 s
3600.01/3610.20 c propagation time 0.143987 s
3600.01/3610.20 c conflict analysis time 0 s
3600.01/3610.20 c propagations 0
3600.01/3610.20 c resolve steps 0
3600.01/3610.20 c decisions 0
3600.01/3610.20 c conflicts 0
3600.01/3610.20 c restarts 0
3600.01/3610.20 c inprocessing phases 0
3600.01/3610.20 c garbage collections 0 ,( -nan )
3600.01/3610.20 c input clauses 423980 ,( 100.00 )
3600.01/3610.20 c input cardinalities 0 ,( 0.00 )
3600.01/3610.20 c input general constraints 0 ,( 0.00 )
3600.01/3610.20 c input average constraint length 3.00
3600.01/3610.20 c input average constraint degree 1.00
3600.01/3610.20 c learned clauses 0 ,( 0.00 )
3600.01/3610.20 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.20 c learned general constraints 0 ,( 0.00 )
3600.01/3610.20 c learned average constraint length 0.00
3600.01/3610.20 c learned average constraint degree 0.00
3600.01/3610.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.20 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.20 c watched constraints 0 ,( -nan )
3600.01/3610.20 c counting constraints 0 ,( -nan )
3600.01/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.20 c gcd simplifications 0
3600.01/3610.20 c detected cardinalities 0
3600.01/3610.20 c weakened non-implied lits 0
3600.01/3610.20 c weakened non-implying lits 0
3600.01/3610.20 c original variables 3741
3600.01/3610.20 c clausal propagations 0
3600.01/3610.20 c cardinality propagations 0
3600.01/3610.20 c watched propagations 0
3600.01/3610.20 c counting propagations 0
3600.01/3610.20 c watch lookups 0
3600.01/3610.20 c watch backjump lookups 0
3600.01/3610.20 c watch checks 0
3600.01/3610.20 c propagation checks 0
3600.01/3610.20 c constraint additions 0
3600.01/3610.20 c trail pops 0
3600.01/3610.20 c formula constraints 423980
3600.01/3610.20 c learned constraints 0
3600.01/3610.20 c bound constraints 0
3600.01/3610.20 c core-guided constraints 0
3600.01/3610.20 c encountered formula constraints 0
3600.01/3610.20 c encountered learned constraints 0
3600.01/3610.20 c encountered bound constraints 0
3600.01/3610.20 c encountered core-guided constraints 0
3600.01/3610.20 c LP total time 0 s
3600.01/3610.20 c LP solve time 0 s
3600.01/3610.20 c LP constraints added 0
3600.01/3610.20 c LP constraints removed 0
3600.01/3610.20 c LP pivots internal 0
3600.01/3610.20 c LP pivots root 0
3600.01/3610.20 c LP calls 0
3600.01/3610.20 c LP optimalities 0
3600.01/3610.20 c LP no pivot count 0
3600.01/3610.20 c LP infeasibilities 0
3600.01/3610.20 c LP valid Farkas constraints 0
3600.01/3610.20 c LP learned Farkas constraints 0
3600.01/3610.20 c LP basis resets 0
3600.01/3610.20 c LP cycling count 0
3600.01/3610.20 c LP singular count 0
3600.01/3610.20 c LP no primal count 0
3600.01/3610.20 c LP no farkas count 0
3600.01/3610.20 c LP other issue count 0
3600.01/3610.20 c LP Gomory cuts 0
3600.01/3610.20 c LP learned cuts 0
3600.01/3610.20 c LP deleted cuts 0
3600.01/3610.20 c LP encountered Gomory constraints 0
3600.01/3610.20 c LP encountered Farkas constraints 0
3600.01/3610.20 c LP encountered learned Farkas constraints 0
3600.01/3610.20 c CG auxiliary variables introduced 0
3600.01/3610.20 c CG solutions found 0
3600.01/3610.20 c CG cores constructed 0
3600.01/3610.20 c CG core cardinality constraints returned 0
3600.01/3610.20 c CG unit cores 0
3600.01/3610.20 c CG single cores 0
3600.01/3610.20 c CG blocks removed during cardinality reduction 0
3600.01/3610.20 c CG first core best 0
3600.01/3610.20 c CG decision core best 0
3600.01/3610.20 c CG core reduction tie 0
3600.01/3610.20 c CG core degree average 0.00
3600.01/3610.20 c CG core slack average 0.00
3600.01/3610.20 c CG core upper bound improvements 0
3600.01/3610.20 c STR number of successful calls 0
3600.01/3610.20 c STR number of unsuccessful calls 0
3600.01/3610.20 c STR number of inconclusive calls 0
3600.01/3610.20 c STR number of successful attempts 0
3600.01/3610.20 c STR number of unsuccessful attempts 0
3600.01/3610.20 c STR number of inconclusive attempts 0
3600.01/3610.20 c STR average degree increase per successful call inf
3600.01/3610.20 c STR average degree increase per successful attempt inf
3600.01/3610.20 c STR total number of conflicts for successful attempts 0
3600.01/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20 c STR average number of conflicts per successful attempt inf
3600.01/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20 c AVG.sumWPerc -nan
3600.01/3610.20 c bigint constraints 0
3600.01/3610.20 s UNKNOWN
3600.01/3610.20 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 (25341 MiB free)
memory of node 1: 64465 MiB (63821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521079-1751582672/watcher-4521079-1751582672 -o /tmp/evaluation-result-4521079-1751582672/solver-4521079-1751582672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83033 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521079-1751582672.opb PROOFDIR/proof-4521079-1751582672
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83445, runsolver pid=83442
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.16 4.13 4.06 1/259 83447
/proc/meminfo: memFree=91299332/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/83447/stat : 83447 (roundingsat) D 83445 83445 83021 0 -1 4194304 300 0 0 0 0 0 0 0 20 0 1 0 73944826 52015104 1856 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.205319 s]*
/proc/loadavg: 4.16 4.13 4.06 1/259 83447
/proc/meminfo: memFree=91299384/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/83447/stat : 83447 (roundingsat) D 83445 83445 83021 0 -1 4194304 300 0 0 0 0 0 0 0 20 0 1 0 73944826 52015104 1856 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.304583 s]*
/proc/loadavg: 4.16 4.13 4.06 1/259 83447
/proc/meminfo: memFree=91300632/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/83447/stat : 83447 (roundingsat) D 83445 83445 83021 0 -1 4194304 300 0 0 0 0 0 0 0 20 0 1 0 73944826 52015104 1856 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.700257 s]
/proc/loadavg: 4.16 4.13 4.06 1/259 83447
/proc/meminfo: memFree=91301132/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/83447/stat : 83447 (roundingsat) D 83445 83445 83021 0 -1 4194304 300 0 0 0 0 0 0 0 20 0 1 0 73944826 52015104 1856 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.13 4.06 3/259 83452
/proc/meminfo: memFree=93766108/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=84476 memory=39392 CPUtime=0.62 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 7880 0 0 0 49 13 0 0 20 0 1 0 73944826 86503424 9848 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 21119 9848 1984 1147 0 8546 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 88668 KiB
Current children cumulated memory: 42336 KiB
[startup+3.10567 s]
/proc/loadavg: 4.16 4.13 4.06 6/270 83487
/proc/meminfo: memFree=104048128/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=524148 memory=426268 CPUtime=2.21 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 51140 0 0 0 181 40 0 0 20 0 1 0 73944826 536727552 106567 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 131037 106567 2336 1147 0 118464 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 528340 KiB
Current children cumulated memory: 429212 KiB
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 4.15 4.12 4.06 4/264 83524
/proc/meminfo: memFree=103917652/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503252 CPUtime=5.36 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67131 0 0 0 476 60 0 0 20 0 1 0 73944826 610369536 125813 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125813 2400 1147 0 136443 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506196 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.12 4.06 4/267 83571
/proc/meminfo: memFree=128342192/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503252 CPUtime=11.74 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67135 0 0 0 1111 63 0 0 20 0 1 0 73944826 610369536 125813 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125813 2400 1147 0 136443 0
Current children cumulated CPU time: 11.74 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506196 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.12 4.06 5/272 83581
/proc/meminfo: memFree=127946220/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503636 CPUtime=24.51 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67135 0 0 0 2383 68 0 0 20 0 1 0 73944826 610369536 125909 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125909 2400 1147 0 136443 0
Current children cumulated CPU time: 24.51 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506580 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.12 4.06 5/272 83581
/proc/meminfo: memFree=127589996/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503764 CPUtime=50.06 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67176 0 0 0 4929 77 0 0 20 0 1 0 73944826 610369536 125941 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125941 2400 1147 0 136443 0
Current children cumulated CPU time: 50.06 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506708 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/273 83584
/proc/meminfo: memFree=126711732/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503764 CPUtime=101.13 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67193 0 0 0 10021 92 0 0 20 0 1 0 73944826 610369536 125941 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125941 2400 1147 0 136443 0
Current children cumulated CPU time: 101.13 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506708 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/274 83593
/proc/meminfo: memFree=125714428/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503764 CPUtime=160.99 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67245 0 0 0 15986 113 0 0 20 0 1 0 73944826 610369536 125941 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 149016 125941 2400 1147 0 136443 0
Current children cumulated CPU time: 160.99 s
Current children cumulated vsize: 600256 KiB
Current children cumulated memory: 506708 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/274 83595
/proc/meminfo: memFree=124848204/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=596064 memory=503764 CPUtime=220.86 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 67310 0 0 0 21955 131 0 0 20 0 1 0 73944826 610369536 125941 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
################
# More data... #
################
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3033.53 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.29 4.21 4.13 5/271 83752
/proc/meminfo: memFree=88589604/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=665260 CPUtime=3093.39 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68685 0 0 0 308190 1149 0 0 20 0 1 0 73944826 827064320 166315 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/272 83761
/proc/meminfo: memFree=87959124/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=665260 CPUtime=3153.25 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68685 0 0 0 314152 1173 0 0 20 0 1 0 73944826 827064320 166315 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/273 83764
/proc/meminfo: memFree=87283304/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=665260 CPUtime=3213.11 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68813 0 0 0 320109 1202 0 0 20 0 1 0 73944826 827064320 166315 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/273 83766
/proc/meminfo: memFree=86597332/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=665260 CPUtime=3272.97 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68822 0 0 0 326071 1226 0 0 20 0 1 0 73944826 827064320 166315 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/273 83768
/proc/meminfo: memFree=85873452/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=665260 CPUtime=3332.83 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68824 0 0 0 332030 1253 0 0 20 0 1 0 73944826 827064320 166315 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 166315 2400 1147 0 189347 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 668204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/273 83770
/proc/meminfo: memFree=85200996/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=669356 CPUtime=3392.69 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68826 0 0 0 337992 1277 0 0 20 0 1 0 73944826 827064320 167339 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 167339 2400 1147 0 189347 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 672300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/273 83773
/proc/meminfo: memFree=84531448/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=669356 CPUtime=3452.53 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68827 0 0 0 343956 1297 0 0 20 0 1 0 73944826 827064320 167339 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 167339 2400 1147 0 189347 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 672300 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=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=673452 CPUtime=3512.36 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68830 0 0 0 349916 1320 0 0 20 0 1 0 73944826 827064320 168363 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 168363 2400 1147 0 189347 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 676396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/273 83777
/proc/meminfo: memFree=83211492/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=673452 CPUtime=3572.19 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68833 0 0 0 355879 1340 0 0 20 0 1 0 73944826 827064320 168363 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 168363 2400 1147 0 189347 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 676396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.12 4.13 4.11 5/273 83777
/proc/meminfo: memFree=82903404/131249988 swapFree=33010160/33010684
[pid=83445] ppid=83442 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83445/stat : 83445 (run-opt-log.sh) S 83442 83445 83021 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 73944825 4292608 736 18446744073709551615 94826694942720 94826695837253 140736617567872 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94826696076304 94826696124048 94826712588288 140736617576737 140736617576932 140736617576932 140736617582534 0
/proc/83445/statm: 1048 736 672 219 0 110 0
[pid=83447] ppid=83445 vsize=807680 memory=673452 CPUtime=3600.01 cores=1,3
/proc/83447/stat : 83447 (roundingsat) R 83445 83445 83021 0 -1 4194304 68833 0 0 0 358650 1351 0 0 20 0 1 0 73944826 827064320 168363 18446744073709551615 4227072 8923433 140721427244656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31834112 140721427253586 140721427253800 140721427253800 140721427259370 0
/proc/83447/statm: 201920 168363 2400 1147 0 189347 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 811872 KiB
Current children cumulated memory: 676396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 83445 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002525 s
[startup+3610.3 s]
# the end of solver process 83447 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.58 s, system=13.5228 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.3
CPU time (s): 3600.1
CPU user time (s): 3586.58
CPU system time (s): 13.5228
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 811872
Max. memory (cumulated for all children) (KiB): 676396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.58
system time used= 13.5228
maximum resident set size= 673708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23701992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 855
involuntary context switches= 8236
# summary of solver processes directly reported to runsolver:
# pid: 83445,83447
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.58
# total CPU system time (s): 13.5228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10726 second user time and 17.4289 second system time
The end
Begin job on nodeC020 at 2025-07-04 00:44:33
IDJOB=4521079
IDBENCH=178219
IDSOLVER=3351
FILE ID=nodeC020/4521079-1751582672
RUNJOBID= nodeC020-1751579055-83033
SLURM_JOB_ID= 9598813
Free space on /tmp= 431744 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_87.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521079-1751582672/watcher-4521079-1751582672 -o /tmp/evaluation-result-4521079-1751582672/solver-4521079-1751582672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751579055-83033 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521079-1751582672.opb PROOFDIR/proof-4521079-1751582672
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=1495141949
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 : 1202.212
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
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 : 1472.219
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 : 3785.602
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 : 3428.306
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 : 3700.000
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 : 3700.000
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 : 3700.000
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: 91303312 kB
MemAvailable: 123814740 kB
Buffers: 2128 kB
Cached: 33270740 kB
SwapCached: 8 kB
Active: 6329304 kB
Inactive: 32705324 kB
Active(anon): 5755236 kB
Inactive(anon): 24568 kB
Active(file): 574068 kB
Inactive(file): 32680756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 21076 kB
Writeback: 6952860 kB
AnonPages: 5764620 kB
Mapped: 109936 kB
Shmem: 18044 kB
KReclaimable: 191684 kB
Slab: 545848 kB
SReclaimable: 191684 kB
SUnreclaim: 354164 kB
KernelStack: 4176 kB
PageTables: 15572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 6915680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1103872 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