0.00/0.16 c RoundingSat 2
0.00/0.16 c branch pb25
0.00/0.16 c commit 63f22ad
3.34/3.60 c #variables 4005 #constraints 469920
3.34/3.60 c objective is ce32
4.03/4.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.03/4.33 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.03/4.33 c GLOBAL bounds - >= -3240 @ 3.14984
4.03/4.34 c GLOBAL bounds - >= -3240 @ 3.16685
4.03/4.35 c GLOBAL bounds - >= -3240 @ 3.17461
4.03/4.35 c GLOBAL bounds - >= -3240 @ 3.17765
4.03/4.36 c GLOBAL bounds - >= -3240 @ 3.18319
4.03/4.37 c GLOBAL bounds - >= -3240 @ 3.1868
4.03/4.37 c GLOBAL bounds - >= -3240 @ 3.19146
4.03/4.38 c GLOBAL bounds - >= -3240 @ 3.19685
4.03/4.38 c GLOBAL bounds - >= -3240 @ 3.20191
4.03/4.39 c GLOBAL bounds - >= -3240 @ 3.20675
4.03/4.39 c GLOBAL bounds - >= -3240 @ 3.2123
4.13/4.40 c GLOBAL bounds - >= -3240 @ 3.21925
4.13/4.41 c GLOBAL bounds - >= -3240 @ 3.22582
4.13/4.41 c GLOBAL bounds - >= -3240 @ 3.23116
4.13/4.42 c GLOBAL bounds - >= -3240 @ 3.23746
4.13/4.42 c GLOBAL bounds - >= -3240 @ 3.24353
4.13/4.43 c GLOBAL bounds - >= -3240 @ 3.24836
4.13/4.44 c GLOBAL bounds - >= -3240 @ 3.25262
4.13/4.44 c GLOBAL bounds - >= -3240 @ 3.2581
4.13/4.45 c GLOBAL bounds - >= -3240 @ 3.26336
4.13/4.46 c GLOBAL bounds - >= -3240 @ 3.27104
4.13/4.48 c GLOBAL bounds - >= -3240 @ 3.29221
4.24/4.50 c GLOBAL bounds - >= -3240 @ 3.31538
4.24/4.55 c GLOBAL bounds - >= -3240 @ 3.36258
4.34/4.60 c GLOBAL bounds - >= -3240 @ 3.41015
4.34/4.62 c GLOBAL bounds - >= -3240 @ 3.43403
4.53/4.80 c GLOBAL bounds - >= -3240 @ 3.60748
4.63/4.93 c GLOBAL bounds - >= -3240 @ 3.73547
4.63/4.98 c GLOBAL bounds - >= -3240 @ 3.79111
4.74/5.05 c GLOBAL bounds - >= -3240 @ 3.85669
4.74/5.10 c GLOBAL bounds - >= -3240 @ 3.90383
4.85/5.12 c GLOBAL bounds - >= -3240 @ 3.92583
4.85/5.13 c GLOBAL bounds - >= -3240 @ 3.93408
4.85/5.14 c GLOBAL bounds - >= -3240 @ 3.93899
4.85/5.15 c GLOBAL bounds - >= -3240 @ 3.94577
4.85/5.15 c GLOBAL bounds - >= -3240 @ 3.95272
4.85/5.16 c GLOBAL bounds - >= -3240 @ 3.95959
4.85/5.17 c GLOBAL bounds - >= -3240 @ 3.96639
4.85/5.18 c GLOBAL bounds - >= -3240 @ 3.97323
4.85/5.18 c GLOBAL bounds - >= -3240 @ 3.98103
4.85/5.19 c GLOBAL bounds - >= -3240 @ 3.98702
4.93/5.20 c GLOBAL bounds - >= -3240 @ 3.9946
220.92/221.84 c #Conflicts: 1000 | #Constraints: 234360
220.92/221.84 c #Conflicts: 2000 | #Constraints: 235360
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 3000 | #Constraints: 235363
220.92/221.84 c #Conflicts: 4000 | #Constraints: 236363
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 5000 | #Constraints: 235764
220.92/221.84 c #Conflicts: 6000 | #Constraints: 236764
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 7000 | #Constraints: 235765
220.92/221.84 c #Conflicts: 8000 | #Constraints: 236765
220.92/221.84 c #Conflicts: 9000 | #Constraints: 237765
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 10000 | #Constraints: 236466
220.92/221.84 c #Conflicts: 11000 | #Constraints: 237466
220.92/221.84 c #Conflicts: 12000 | #Constraints: 238466
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 13000 | #Constraints: 236917
220.92/221.84 c #Conflicts: 14000 | #Constraints: 237917
220.92/221.84 c #Conflicts: 15000 | #Constraints: 238917
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 16000 | #Constraints: 237142
220.92/221.84 c #Conflicts: 17000 | #Constraints: 238142
220.92/221.84 c #Conflicts: 18000 | #Constraints: 239142
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 19000 | #Constraints: 237155
220.92/221.84 c #Conflicts: 20000 | #Constraints: 238155
220.92/221.84 c #Conflicts: 21000 | #Constraints: 239155
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 22000 | #Constraints: 236960
220.92/221.84 c #Conflicts: 23000 | #Constraints: 237960
220.92/221.84 c #Conflicts: 24000 | #Constraints: 238960
220.92/221.84 c #Conflicts: 25000 | #Constraints: 239960
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 26000 | #Constraints: 237563
220.92/221.84 c #Conflicts: 27000 | #Constraints: 238563
220.92/221.84 c #Conflicts: 28000 | #Constraints: 239563
220.92/221.84 c #Conflicts: 29000 | #Constraints: 240563
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 30000 | #Constraints: 237965
220.92/221.84 c #Conflicts: 31000 | #Constraints: 238965
220.92/221.84 c #Conflicts: 32000 | #Constraints: 239965
220.92/221.84 c #Conflicts: 33000 | #Constraints: 240965
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 34000 | #Constraints: 238166
220.92/221.84 c #Conflicts: 35000 | #Constraints: 239166
220.92/221.84 c #Conflicts: 36000 | #Constraints: 240166
220.92/221.84 c #Conflicts: 37000 | #Constraints: 241166
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 38000 | #Constraints: 238167
220.92/221.84 c #Conflicts: 39000 | #Constraints: 239167
220.92/221.84 c #Conflicts: 40000 | #Constraints: 240167
220.92/221.84 c #Conflicts: 41000 | #Constraints: 241167
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 42000 | #Constraints: 237968
220.92/221.84 c #Conflicts: 43000 | #Constraints: 238968
220.92/221.84 c #Conflicts: 44000 | #Constraints: 239968
220.92/221.84 c #Conflicts: 45000 | #Constraints: 240968
220.92/221.84 c #Conflicts: 46000 | #Constraints: 241968
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 47000 | #Constraints: 238568
220.92/221.84 c #Conflicts: 48000 | #Constraints: 239568
220.92/221.84 c #Conflicts: 49000 | #Constraints: 240568
220.92/221.84 c #Conflicts: 50000 | #Constraints: 241568
220.92/221.84 c #Conflicts: 51000 | #Constraints: 242568
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 52000 | #Constraints: 238968
220.92/221.84 c #Conflicts: 53000 | #Constraints: 239968
220.92/221.84 c #Conflicts: 54000 | #Constraints: 240968
220.92/221.84 c #Conflicts: 55000 | #Constraints: 241968
220.92/221.84 c #Conflicts: 56000 | #Constraints: 242968
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 57000 | #Constraints: 239168
220.92/221.84 c #Conflicts: 58000 | #Constraints: 240168
220.92/221.84 c #Conflicts: 59000 | #Constraints: 241168
220.92/221.84 c #Conflicts: 60000 | #Constraints: 242168
220.92/221.84 c #Conflicts: 61000 | #Constraints: 243168
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 62000 | #Constraints: 239168
220.92/221.84 c #Conflicts: 63000 | #Constraints: 240168
220.92/221.84 c #Conflicts: 64000 | #Constraints: 241168
220.92/221.84 c #Conflicts: 65000 | #Constraints: 242168
220.92/221.84 c #Conflicts: 66000 | #Constraints: 243168
220.92/221.84 c INPROCESSING
220.92/221.84 c GARBAGE COLLECT
220.92/221.84 c #Conflicts: 67000 | #Constraints: 238969
220.92/221.84 c #Conflicts: 68000 | #Constraints: 239969
472.75/474.44 c #Conflicts: 69000 | #Constraints: 240969
472.75/474.44 c #Conflicts: 70000 | #Constraints: 241969
472.75/474.44 c #Conflicts: 71000 | #Constraints: 242969
472.75/474.44 c #Conflicts: 72000 | #Constraints: 243969
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 73000 | #Constraints: 239571
472.75/474.44 c #Conflicts: 74000 | #Constraints: 240571
472.75/474.44 c #Conflicts: 75000 | #Constraints: 241571
472.75/474.44 c #Conflicts: 76000 | #Constraints: 242571
472.75/474.44 c #Conflicts: 77000 | #Constraints: 243571
472.75/474.44 c #Conflicts: 78000 | #Constraints: 244571
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 79000 | #Constraints: 239971
472.75/474.44 c #Conflicts: 80000 | #Constraints: 240971
472.75/474.44 c #Conflicts: 81000 | #Constraints: 241971
472.75/474.44 c #Conflicts: 82000 | #Constraints: 242971
472.75/474.44 c #Conflicts: 83000 | #Constraints: 243971
472.75/474.44 c #Conflicts: 84000 | #Constraints: 244971
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 85000 | #Constraints: 240169
472.75/474.44 c #Conflicts: 86000 | #Constraints: 241169
472.75/474.44 c #Conflicts: 87000 | #Constraints: 242169
472.75/474.44 c #Conflicts: 88000 | #Constraints: 243169
472.75/474.44 c #Conflicts: 89000 | #Constraints: 244169
472.75/474.44 c #Conflicts: 90000 | #Constraints: 245169
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 91000 | #Constraints: 240168
472.75/474.44 c #Conflicts: 92000 | #Constraints: 241168
472.75/474.44 c #Conflicts: 93000 | #Constraints: 242168
472.75/474.44 c #Conflicts: 94000 | #Constraints: 243168
472.75/474.44 c #Conflicts: 95000 | #Constraints: 244168
472.75/474.44 c #Conflicts: 96000 | #Constraints: 245168
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 97000 | #Constraints: 239970
472.75/474.44 c #Conflicts: 98000 | #Constraints: 240970
472.75/474.44 c #Conflicts: 99000 | #Constraints: 241970
472.75/474.44 c #Conflicts: 100000 | #Constraints: 242970
472.75/474.44 c #Conflicts: 101000 | #Constraints: 243970
472.75/474.44 c #Conflicts: 102000 | #Constraints: 244970
472.75/474.44 c #Conflicts: 103000 | #Constraints: 245970
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 104000 | #Constraints: 240568
472.75/474.44 c #Conflicts: 105000 | #Constraints: 241568
472.75/474.44 c #Conflicts: 106000 | #Constraints: 242568
472.75/474.44 c #Conflicts: 107000 | #Constraints: 243568
472.75/474.44 c #Conflicts: 108000 | #Constraints: 244568
472.75/474.44 c #Conflicts: 109000 | #Constraints: 245568
472.75/474.44 c #Conflicts: 110000 | #Constraints: 246568
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 111000 | #Constraints: 240969
472.75/474.44 c #Conflicts: 112000 | #Constraints: 241969
472.75/474.44 c #Conflicts: 113000 | #Constraints: 242969
472.75/474.44 c #Conflicts: 114000 | #Constraints: 243969
472.75/474.44 c #Conflicts: 115000 | #Constraints: 244969
472.75/474.44 c #Conflicts: 116000 | #Constraints: 245969
472.75/474.44 c #Conflicts: 117000 | #Constraints: 246969
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 118000 | #Constraints: 241169
472.75/474.44 c #Conflicts: 119000 | #Constraints: 242169
472.75/474.44 c #Conflicts: 120000 | #Constraints: 243169
472.75/474.44 c #Conflicts: 121000 | #Constraints: 244169
472.75/474.44 c #Conflicts: 122000 | #Constraints: 245169
472.75/474.44 c #Conflicts: 123000 | #Constraints: 246169
472.75/474.44 c #Conflicts: 124000 | #Constraints: 247169
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 125000 | #Constraints: 241170
472.75/474.44 c #Conflicts: 126000 | #Constraints: 242170
472.75/474.44 c #Conflicts: 127000 | #Constraints: 243170
472.75/474.44 c #Conflicts: 128000 | #Constraints: 244170
472.75/474.44 c #Conflicts: 129000 | #Constraints: 245170
472.75/474.44 c #Conflicts: 130000 | #Constraints: 246170
472.75/474.44 c #Conflicts: 131000 | #Constraints: 247170
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 132000 | #Constraints: 240970
472.75/474.44 c #Conflicts: 133000 | #Constraints: 241970
472.75/474.44 c #Conflicts: 134000 | #Constraints: 242970
472.75/474.44 c #Conflicts: 135000 | #Constraints: 243970
472.75/474.44 c #Conflicts: 136000 | #Constraints: 244970
472.75/474.44 c #Conflicts: 137000 | #Constraints: 245970
472.75/474.44 c #Conflicts: 138000 | #Constraints: 246970
472.75/474.44 c #Conflicts: 139000 | #Constraints: 247970
472.75/474.44 c INPROCESSING
472.75/474.44 c GARBAGE COLLECT
472.75/474.44 c #Conflicts: 140000 | #Constraints: 241573
761.51/764.09 c #Conflicts: 141000 | #Constraints: 242573
761.51/764.09 c #Conflicts: 142000 | #Constraints: 243573
761.51/764.09 c #Conflicts: 143000 | #Constraints: 244573
761.51/764.09 c #Conflicts: 144000 | #Constraints: 245573
761.51/764.09 c #Conflicts: 145000 | #Constraints: 246573
761.51/764.09 c #Conflicts: 146000 | #Constraints: 247573
761.51/764.09 c #Conflicts: 147000 | #Constraints: 248573
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 148000 | #Constraints: 241973
761.51/764.09 c #Conflicts: 149000 | #Constraints: 242973
761.51/764.09 c #Conflicts: 150000 | #Constraints: 243973
761.51/764.09 c #Conflicts: 151000 | #Constraints: 244973
761.51/764.09 c #Conflicts: 152000 | #Constraints: 245973
761.51/764.09 c #Conflicts: 153000 | #Constraints: 246973
761.51/764.09 c #Conflicts: 154000 | #Constraints: 247973
761.51/764.09 c #Conflicts: 155000 | #Constraints: 248973
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 156000 | #Constraints: 242171
761.51/764.09 c #Conflicts: 157000 | #Constraints: 243171
761.51/764.09 c #Conflicts: 158000 | #Constraints: 244171
761.51/764.09 c #Conflicts: 159000 | #Constraints: 245171
761.51/764.09 c #Conflicts: 160000 | #Constraints: 246171
761.51/764.09 c #Conflicts: 161000 | #Constraints: 247171
761.51/764.09 c #Conflicts: 162000 | #Constraints: 248171
761.51/764.09 c #Conflicts: 163000 | #Constraints: 249171
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 164000 | #Constraints: 242171
761.51/764.09 c #Conflicts: 165000 | #Constraints: 243171
761.51/764.09 c #Conflicts: 166000 | #Constraints: 244171
761.51/764.09 c #Conflicts: 167000 | #Constraints: 245171
761.51/764.09 c #Conflicts: 168000 | #Constraints: 246171
761.51/764.09 c #Conflicts: 169000 | #Constraints: 247171
761.51/764.09 c #Conflicts: 170000 | #Constraints: 248171
761.51/764.09 c #Conflicts: 171000 | #Constraints: 249171
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 172000 | #Constraints: 241971
761.51/764.09 c #Conflicts: 173000 | #Constraints: 242971
761.51/764.09 c #Conflicts: 174000 | #Constraints: 243971
761.51/764.09 c #Conflicts: 175000 | #Constraints: 244971
761.51/764.09 c #Conflicts: 176000 | #Constraints: 245971
761.51/764.09 c #Conflicts: 177000 | #Constraints: 246971
761.51/764.09 c #Conflicts: 178000 | #Constraints: 247971
761.51/764.09 c #Conflicts: 179000 | #Constraints: 248971
761.51/764.09 c #Conflicts: 180000 | #Constraints: 249971
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 181000 | #Constraints: 242571
761.51/764.09 c #Conflicts: 182000 | #Constraints: 243571
761.51/764.09 c #Conflicts: 183000 | #Constraints: 244571
761.51/764.09 c #Conflicts: 184000 | #Constraints: 245571
761.51/764.09 c #Conflicts: 185000 | #Constraints: 246571
761.51/764.09 c #Conflicts: 186000 | #Constraints: 247571
761.51/764.09 c #Conflicts: 187000 | #Constraints: 248571
761.51/764.09 c #Conflicts: 188000 | #Constraints: 249571
761.51/764.09 c #Conflicts: 189000 | #Constraints: 250571
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 190000 | #Constraints: 242974
761.51/764.09 c #Conflicts: 191000 | #Constraints: 243974
761.51/764.09 c #Conflicts: 192000 | #Constraints: 244974
761.51/764.09 c #Conflicts: 193000 | #Constraints: 245974
761.51/764.09 c #Conflicts: 194000 | #Constraints: 246974
761.51/764.09 c #Conflicts: 195000 | #Constraints: 247974
761.51/764.09 c #Conflicts: 196000 | #Constraints: 248974
761.51/764.09 c #Conflicts: 197000 | #Constraints: 249974
761.51/764.09 c #Conflicts: 198000 | #Constraints: 250974
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 199000 | #Constraints: 243173
761.51/764.09 c #Conflicts: 200000 | #Constraints: 244173
761.51/764.09 c #Conflicts: 201000 | #Constraints: 245173
761.51/764.09 c #Conflicts: 202000 | #Constraints: 246173
761.51/764.09 c #Conflicts: 203000 | #Constraints: 247173
761.51/764.09 c #Conflicts: 204000 | #Constraints: 248173
761.51/764.09 c #Conflicts: 205000 | #Constraints: 249173
761.51/764.09 c #Conflicts: 206000 | #Constraints: 250173
761.51/764.09 c #Conflicts: 207000 | #Constraints: 251173
761.51/764.09 c INPROCESSING
761.51/764.09 c GARBAGE COLLECT
761.51/764.09 c #Conflicts: 208000 | #Constraints: 243172
761.51/764.09 c #Conflicts: 209000 | #Constraints: 244172
761.51/764.09 c #Conflicts: 210000 | #Constraints: 245172
761.51/764.09 c #Conflicts: 211000 | #Constraints: 246172
761.51/764.09 c #Conflicts: 212000 | #Constraints: 247172
761.51/764.09 c #Conflicts: 213000 | #Constraints: 248172
1048.44/1051.74 c #Conflicts: 214000 | #Constraints: 249172
1048.44/1051.74 c #Conflicts: 215000 | #Constraints: 250172
1048.44/1051.74 c #Conflicts: 216000 | #Constraints: 251172
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 217000 | #Constraints: 242975
1048.44/1051.74 c #Conflicts: 218000 | #Constraints: 243975
1048.44/1051.74 c #Conflicts: 219000 | #Constraints: 244975
1048.44/1051.74 c #Conflicts: 220000 | #Constraints: 245975
1048.44/1051.74 c #Conflicts: 221000 | #Constraints: 246975
1048.44/1051.74 c #Conflicts: 222000 | #Constraints: 247975
1048.44/1051.74 c #Conflicts: 223000 | #Constraints: 248975
1048.44/1051.74 c #Conflicts: 224000 | #Constraints: 249975
1048.44/1051.74 c #Conflicts: 225000 | #Constraints: 250975
1048.44/1051.74 c #Conflicts: 226000 | #Constraints: 251975
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 227000 | #Constraints: 243574
1048.44/1051.74 c #Conflicts: 228000 | #Constraints: 244574
1048.44/1051.74 c #Conflicts: 229000 | #Constraints: 245574
1048.44/1051.74 c #Conflicts: 230000 | #Constraints: 246574
1048.44/1051.74 c #Conflicts: 231000 | #Constraints: 247574
1048.44/1051.74 c #Conflicts: 232000 | #Constraints: 248574
1048.44/1051.74 c #Conflicts: 233000 | #Constraints: 249574
1048.44/1051.74 c #Conflicts: 234000 | #Constraints: 250574
1048.44/1051.74 c #Conflicts: 235000 | #Constraints: 251574
1048.44/1051.74 c #Conflicts: 236000 | #Constraints: 252574
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 237000 | #Constraints: 243975
1048.44/1051.74 c #Conflicts: 238000 | #Constraints: 244975
1048.44/1051.74 c #Conflicts: 239000 | #Constraints: 245975
1048.44/1051.74 c #Conflicts: 240000 | #Constraints: 246975
1048.44/1051.74 c #Conflicts: 241000 | #Constraints: 247975
1048.44/1051.74 c #Conflicts: 242000 | #Constraints: 248975
1048.44/1051.74 c #Conflicts: 243000 | #Constraints: 249975
1048.44/1051.74 c #Conflicts: 244000 | #Constraints: 250975
1048.44/1051.74 c #Conflicts: 245000 | #Constraints: 251975
1048.44/1051.74 c #Conflicts: 246000 | #Constraints: 252975
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 247000 | #Constraints: 244174
1048.44/1051.74 c #Conflicts: 248000 | #Constraints: 245174
1048.44/1051.74 c #Conflicts: 249000 | #Constraints: 246174
1048.44/1051.74 c #Conflicts: 250000 | #Constraints: 247174
1048.44/1051.74 c #Conflicts: 251000 | #Constraints: 248174
1048.44/1051.74 c #Conflicts: 252000 | #Constraints: 249174
1048.44/1051.74 c #Conflicts: 253000 | #Constraints: 250174
1048.44/1051.74 c #Conflicts: 254000 | #Constraints: 251174
1048.44/1051.74 c #Conflicts: 255000 | #Constraints: 252174
1048.44/1051.74 c #Conflicts: 256000 | #Constraints: 253174
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 257000 | #Constraints: 244174
1048.44/1051.74 c #Conflicts: 258000 | #Constraints: 245174
1048.44/1051.74 c #Conflicts: 259000 | #Constraints: 246174
1048.44/1051.74 c #Conflicts: 260000 | #Constraints: 247174
1048.44/1051.74 c #Conflicts: 261000 | #Constraints: 248174
1048.44/1051.74 c #Conflicts: 262000 | #Constraints: 249174
1048.44/1051.74 c #Conflicts: 263000 | #Constraints: 250174
1048.44/1051.74 c #Conflicts: 264000 | #Constraints: 251174
1048.44/1051.74 c #Conflicts: 265000 | #Constraints: 252174
1048.44/1051.74 c #Conflicts: 266000 | #Constraints: 253174
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 267000 | #Constraints: 243972
1048.44/1051.74 c #Conflicts: 268000 | #Constraints: 244972
1048.44/1051.74 c #Conflicts: 269000 | #Constraints: 245972
1048.44/1051.74 c #Conflicts: 270000 | #Constraints: 246972
1048.44/1051.74 c #Conflicts: 271000 | #Constraints: 247972
1048.44/1051.74 c #Conflicts: 272000 | #Constraints: 248972
1048.44/1051.74 c #Conflicts: 273000 | #Constraints: 249972
1048.44/1051.74 c #Conflicts: 274000 | #Constraints: 250972
1048.44/1051.74 c #Conflicts: 275000 | #Constraints: 251972
1048.44/1051.74 c #Conflicts: 276000 | #Constraints: 252972
1048.44/1051.74 c #Conflicts: 277000 | #Constraints: 253972
1048.44/1051.74 c INPROCESSING
1048.44/1051.74 c GARBAGE COLLECT
1048.44/1051.74 c #Conflicts: 278000 | #Constraints: 244572
1048.44/1051.74 c #Conflicts: 279000 | #Constraints: 245572
1048.44/1051.74 c #Conflicts: 280000 | #Constraints: 246572
1048.44/1051.74 c #Conflicts: 281000 | #Constraints: 247572
1048.44/1051.74 c #Conflicts: 282000 | #Constraints: 248572
1048.44/1051.74 c #Conflicts: 283000 | #Constraints: 249572
1048.44/1051.74 c #Conflicts: 284000 | #Constraints: 250572
1048.44/1051.74 c #Conflicts: 285000 | #Constraints: 251572
1048.44/1051.74 c #Conflicts: 286000 | #Constraints: 252572
1048.44/1051.74 c #Conflicts: 287000 | #Constraints: 253572
1048.44/1051.74 c #Conflicts: 288000 | #Constraints: 254572
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 289000 | #Constraints: 244971
1332.55/1336.77 c #Conflicts: 290000 | #Constraints: 245971
1332.55/1336.77 c #Conflicts: 291000 | #Constraints: 246971
1332.55/1336.77 c #Conflicts: 292000 | #Constraints: 247971
1332.55/1336.77 c #Conflicts: 293000 | #Constraints: 248971
1332.55/1336.77 c #Conflicts: 294000 | #Constraints: 249971
1332.55/1336.77 c #Conflicts: 295000 | #Constraints: 250971
1332.55/1336.77 c #Conflicts: 296000 | #Constraints: 251971
1332.55/1336.77 c #Conflicts: 297000 | #Constraints: 252971
1332.55/1336.77 c #Conflicts: 298000 | #Constraints: 253971
1332.55/1336.77 c #Conflicts: 299000 | #Constraints: 254971
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 300000 | #Constraints: 245172
1332.55/1336.77 c #Conflicts: 301000 | #Constraints: 246172
1332.55/1336.77 c #Conflicts: 302000 | #Constraints: 247172
1332.55/1336.77 c #Conflicts: 303000 | #Constraints: 248172
1332.55/1336.77 c #Conflicts: 304000 | #Constraints: 249172
1332.55/1336.77 c #Conflicts: 305000 | #Constraints: 250172
1332.55/1336.77 c #Conflicts: 306000 | #Constraints: 251172
1332.55/1336.77 c #Conflicts: 307000 | #Constraints: 252172
1332.55/1336.77 c #Conflicts: 308000 | #Constraints: 253172
1332.55/1336.77 c #Conflicts: 309000 | #Constraints: 254172
1332.55/1336.77 c #Conflicts: 310000 | #Constraints: 255172
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 311000 | #Constraints: 245172
1332.55/1336.77 c #Conflicts: 312000 | #Constraints: 246172
1332.55/1336.77 c #Conflicts: 313000 | #Constraints: 247172
1332.55/1336.77 c #Conflicts: 314000 | #Constraints: 248172
1332.55/1336.77 c #Conflicts: 315000 | #Constraints: 249172
1332.55/1336.77 c #Conflicts: 316000 | #Constraints: 250172
1332.55/1336.77 c #Conflicts: 317000 | #Constraints: 251172
1332.55/1336.77 c #Conflicts: 318000 | #Constraints: 252172
1332.55/1336.77 c #Conflicts: 319000 | #Constraints: 253172
1332.55/1336.77 c #Conflicts: 320000 | #Constraints: 254172
1332.55/1336.77 c #Conflicts: 321000 | #Constraints: 255172
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 322000 | #Constraints: 244972
1332.55/1336.77 c #Conflicts: 323000 | #Constraints: 245972
1332.55/1336.77 c #Conflicts: 324000 | #Constraints: 246972
1332.55/1336.77 c #Conflicts: 325000 | #Constraints: 247972
1332.55/1336.77 c #Conflicts: 326000 | #Constraints: 248972
1332.55/1336.77 c #Conflicts: 327000 | #Constraints: 249972
1332.55/1336.77 c #Conflicts: 328000 | #Constraints: 250972
1332.55/1336.77 c #Conflicts: 329000 | #Constraints: 251972
1332.55/1336.77 c #Conflicts: 330000 | #Constraints: 252972
1332.55/1336.77 c #Conflicts: 331000 | #Constraints: 253972
1332.55/1336.77 c #Conflicts: 332000 | #Constraints: 254972
1332.55/1336.77 c #Conflicts: 333000 | #Constraints: 255972
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 334000 | #Constraints: 245572
1332.55/1336.77 c #Conflicts: 335000 | #Constraints: 246572
1332.55/1336.77 c #Conflicts: 336000 | #Constraints: 247572
1332.55/1336.77 c #Conflicts: 337000 | #Constraints: 248572
1332.55/1336.77 c #Conflicts: 338000 | #Constraints: 249572
1332.55/1336.77 c #Conflicts: 339000 | #Constraints: 250572
1332.55/1336.77 c #Conflicts: 340000 | #Constraints: 251572
1332.55/1336.77 c #Conflicts: 341000 | #Constraints: 252572
1332.55/1336.77 c #Conflicts: 342000 | #Constraints: 253572
1332.55/1336.77 c #Conflicts: 343000 | #Constraints: 254572
1332.55/1336.77 c #Conflicts: 344000 | #Constraints: 255572
1332.55/1336.77 c #Conflicts: 345000 | #Constraints: 256572
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 346000 | #Constraints: 245970
1332.55/1336.77 c #Conflicts: 347000 | #Constraints: 246970
1332.55/1336.77 c #Conflicts: 348000 | #Constraints: 247970
1332.55/1336.77 c #Conflicts: 349000 | #Constraints: 248970
1332.55/1336.77 c #Conflicts: 350000 | #Constraints: 249970
1332.55/1336.77 c #Conflicts: 351000 | #Constraints: 250970
1332.55/1336.77 c #Conflicts: 352000 | #Constraints: 251970
1332.55/1336.77 c #Conflicts: 353000 | #Constraints: 252970
1332.55/1336.77 c #Conflicts: 354000 | #Constraints: 253970
1332.55/1336.77 c #Conflicts: 355000 | #Constraints: 254970
1332.55/1336.77 c #Conflicts: 356000 | #Constraints: 255970
1332.55/1336.77 c #Conflicts: 357000 | #Constraints: 256970
1332.55/1336.77 c INPROCESSING
1332.55/1336.77 c GARBAGE COLLECT
1332.55/1336.77 c #Conflicts: 358000 | #Constraints: 246170
1332.55/1336.77 c #Conflicts: 359000 | #Constraints: 247170
1332.55/1336.77 c #Conflicts: 360000 | #Constraints: 248170
1332.55/1336.77 c #Conflicts: 361000 | #Constraints: 249170
1332.55/1336.77 c #Conflicts: 362000 | #Constraints: 250170
1625.17/1630.28 c #Conflicts: 363000 | #Constraints: 251170
1625.17/1630.28 c #Conflicts: 364000 | #Constraints: 252170
1625.17/1630.28 c #Conflicts: 365000 | #Constraints: 253170
1625.17/1630.28 c #Conflicts: 366000 | #Constraints: 254170
1625.17/1630.28 c #Conflicts: 367000 | #Constraints: 255170
1625.17/1630.28 c #Conflicts: 368000 | #Constraints: 256170
1625.17/1630.28 c #Conflicts: 369000 | #Constraints: 257170
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 370000 | #Constraints: 246172
1625.17/1630.28 c #Conflicts: 371000 | #Constraints: 247172
1625.17/1630.28 c #Conflicts: 372000 | #Constraints: 248172
1625.17/1630.28 c #Conflicts: 373000 | #Constraints: 249172
1625.17/1630.28 c #Conflicts: 374000 | #Constraints: 250172
1625.17/1630.28 c #Conflicts: 375000 | #Constraints: 251172
1625.17/1630.28 c #Conflicts: 376000 | #Constraints: 252172
1625.17/1630.28 c #Conflicts: 377000 | #Constraints: 253172
1625.17/1630.28 c #Conflicts: 378000 | #Constraints: 254172
1625.17/1630.28 c #Conflicts: 379000 | #Constraints: 255172
1625.17/1630.28 c #Conflicts: 380000 | #Constraints: 256172
1625.17/1630.28 c #Conflicts: 381000 | #Constraints: 257172
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 382000 | #Constraints: 245974
1625.17/1630.28 c #Conflicts: 383000 | #Constraints: 246974
1625.17/1630.28 c #Conflicts: 384000 | #Constraints: 247974
1625.17/1630.28 c #Conflicts: 385000 | #Constraints: 248974
1625.17/1630.28 c #Conflicts: 386000 | #Constraints: 249974
1625.17/1630.28 c #Conflicts: 387000 | #Constraints: 250974
1625.17/1630.28 c #Conflicts: 388000 | #Constraints: 251974
1625.17/1630.28 c #Conflicts: 389000 | #Constraints: 252974
1625.17/1630.28 c #Conflicts: 390000 | #Constraints: 253974
1625.17/1630.28 c #Conflicts: 391000 | #Constraints: 254974
1625.17/1630.28 c #Conflicts: 392000 | #Constraints: 255974
1625.17/1630.28 c #Conflicts: 393000 | #Constraints: 256974
1625.17/1630.28 c #Conflicts: 394000 | #Constraints: 257974
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 395000 | #Constraints: 246575
1625.17/1630.28 c #Conflicts: 396000 | #Constraints: 247575
1625.17/1630.28 c #Conflicts: 397000 | #Constraints: 248575
1625.17/1630.28 c #Conflicts: 398000 | #Constraints: 249575
1625.17/1630.28 c #Conflicts: 399000 | #Constraints: 250575
1625.17/1630.28 c #Conflicts: 400000 | #Constraints: 251575
1625.17/1630.28 c #Conflicts: 401000 | #Constraints: 252575
1625.17/1630.28 c #Conflicts: 402000 | #Constraints: 253575
1625.17/1630.28 c #Conflicts: 403000 | #Constraints: 254575
1625.17/1630.28 c #Conflicts: 404000 | #Constraints: 255575
1625.17/1630.28 c #Conflicts: 405000 | #Constraints: 256575
1625.17/1630.28 c #Conflicts: 406000 | #Constraints: 257575
1625.17/1630.28 c #Conflicts: 407000 | #Constraints: 258575
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 408000 | #Constraints: 246979
1625.17/1630.28 c #Conflicts: 409000 | #Constraints: 247979
1625.17/1630.28 c #Conflicts: 410000 | #Constraints: 248979
1625.17/1630.28 c #Conflicts: 411000 | #Constraints: 249979
1625.17/1630.28 c #Conflicts: 412000 | #Constraints: 250979
1625.17/1630.28 c #Conflicts: 413000 | #Constraints: 251979
1625.17/1630.28 c #Conflicts: 414000 | #Constraints: 252979
1625.17/1630.28 c #Conflicts: 415000 | #Constraints: 253979
1625.17/1630.28 c #Conflicts: 416000 | #Constraints: 254979
1625.17/1630.28 c #Conflicts: 417000 | #Constraints: 255979
1625.17/1630.28 c #Conflicts: 418000 | #Constraints: 256979
1625.17/1630.28 c #Conflicts: 419000 | #Constraints: 257979
1625.17/1630.28 c #Conflicts: 420000 | #Constraints: 258979
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 421000 | #Constraints: 247178
1625.17/1630.28 c #Conflicts: 422000 | #Constraints: 248178
1625.17/1630.28 c #Conflicts: 423000 | #Constraints: 249178
1625.17/1630.28 c #Conflicts: 424000 | #Constraints: 250178
1625.17/1630.28 c #Conflicts: 425000 | #Constraints: 251178
1625.17/1630.28 c #Conflicts: 426000 | #Constraints: 252178
1625.17/1630.28 c #Conflicts: 427000 | #Constraints: 253178
1625.17/1630.28 c #Conflicts: 428000 | #Constraints: 254178
1625.17/1630.28 c #Conflicts: 429000 | #Constraints: 255178
1625.17/1630.28 c #Conflicts: 430000 | #Constraints: 256178
1625.17/1630.28 c #Conflicts: 431000 | #Constraints: 257178
1625.17/1630.28 c #Conflicts: 432000 | #Constraints: 258178
1625.17/1630.28 c #Conflicts: 433000 | #Constraints: 259178
1625.17/1630.28 c INPROCESSING
1625.17/1630.28 c GARBAGE COLLECT
1625.17/1630.28 c #Conflicts: 434000 | #Constraints: 247178
1625.17/1630.28 c #Conflicts: 435000 | #Constraints: 248178
1625.17/1630.28 c #Conflicts: 436000 | #Constraints: 249178
1625.17/1630.28 c #Conflicts: 437000 | #Constraints: 250178
1882.61/1888.38 c #Conflicts: 438000 | #Constraints: 251178
1882.61/1888.38 c #Conflicts: 439000 | #Constraints: 252178
1882.61/1888.38 c #Conflicts: 440000 | #Constraints: 253178
1882.61/1888.38 c #Conflicts: 441000 | #Constraints: 254178
1882.61/1888.38 c #Conflicts: 442000 | #Constraints: 255178
1882.61/1888.38 c #Conflicts: 443000 | #Constraints: 256178
1882.61/1888.38 c #Conflicts: 444000 | #Constraints: 257178
1882.61/1888.38 c #Conflicts: 445000 | #Constraints: 258178
1882.61/1888.38 c #Conflicts: 446000 | #Constraints: 259178
1882.61/1888.38 c INPROCESSING
1882.61/1888.38 c GARBAGE COLLECT
1882.61/1888.38 c #Conflicts: 447000 | #Constraints: 246978
1882.61/1888.38 c #Conflicts: 448000 | #Constraints: 247978
1882.61/1888.38 c #Conflicts: 449000 | #Constraints: 248978
1882.61/1888.38 c #Conflicts: 450000 | #Constraints: 249978
1882.61/1888.38 c #Conflicts: 451000 | #Constraints: 250978
1882.61/1888.38 c #Conflicts: 452000 | #Constraints: 251978
1882.61/1888.38 c #Conflicts: 453000 | #Constraints: 252978
1882.61/1888.38 c #Conflicts: 454000 | #Constraints: 253978
1882.61/1888.38 c #Conflicts: 455000 | #Constraints: 254978
1882.61/1888.38 c #Conflicts: 456000 | #Constraints: 255978
1882.61/1888.38 c #Conflicts: 457000 | #Constraints: 256978
1882.61/1888.38 c #Conflicts: 458000 | #Constraints: 257978
1882.61/1888.38 c #Conflicts: 459000 | #Constraints: 258978
1882.61/1888.38 c #Conflicts: 460000 | #Constraints: 259978
1882.61/1888.38 c INPROCESSING
1882.61/1888.38 c GARBAGE COLLECT
1882.61/1888.38 c #Conflicts: 461000 | #Constraints: 247575
1882.61/1888.38 c #Conflicts: 462000 | #Constraints: 248575
1882.61/1888.38 c #Conflicts: 463000 | #Constraints: 249575
1882.61/1888.38 c #Conflicts: 464000 | #Constraints: 250575
1882.61/1888.38 c #Conflicts: 465000 | #Constraints: 251575
1882.61/1888.38 c #Conflicts: 466000 | #Constraints: 252575
1882.61/1888.38 c #Conflicts: 467000 | #Constraints: 253575
1882.61/1888.38 c #Conflicts: 468000 | #Constraints: 254575
1882.61/1888.38 c #Conflicts: 469000 | #Constraints: 255575
1882.61/1888.38 c #Conflicts: 470000 | #Constraints: 256575
1882.61/1888.38 c #Conflicts: 471000 | #Constraints: 257575
1882.61/1888.38 c #Conflicts: 472000 | #Constraints: 258575
1882.61/1888.38 c #Conflicts: 473000 | #Constraints: 259575
1882.61/1888.38 c #Conflicts: 474000 | #Constraints: 260575
1882.61/1888.38 c INPROCESSING
1882.61/1888.38 c GARBAGE COLLECT
1882.61/1888.38 c #Conflicts: 475000 | #Constraints: 247973
1882.61/1888.38 c #Conflicts: 476000 | #Constraints: 248973
1882.61/1888.38 c #Conflicts: 477000 | #Constraints: 249973
1882.61/1888.38 c #Conflicts: 478000 | #Constraints: 250973
1882.61/1888.38 c #Conflicts: 479000 | #Constraints: 251973
1882.61/1888.38 c #Conflicts: 480000 | #Constraints: 252973
1882.61/1888.38 c #Conflicts: 481000 | #Constraints: 253973
1882.61/1888.38 c #Conflicts: 482000 | #Constraints: 254973
1882.61/1888.38 c #Conflicts: 483000 | #Constraints: 255973
1882.61/1888.38 c #Conflicts: 484000 | #Constraints: 256973
1882.61/1888.38 c #Conflicts: 485000 | #Constraints: 257973
1882.61/1888.38 c #Conflicts: 486000 | #Constraints: 258973
1882.61/1888.38 c #Conflicts: 487000 | #Constraints: 259973
1882.61/1888.38 c #Conflicts: 488000 | #Constraints: 260973
1882.61/1888.38 c INPROCESSING
1882.61/1888.38 c GARBAGE COLLECT
1882.61/1888.38 c #Conflicts: 489000 | #Constraints: 248174
1882.61/1888.38 c #Conflicts: 490000 | #Constraints: 249174
1882.61/1888.38 c #Conflicts: 491000 | #Constraints: 250174
1882.61/1888.38 c #Conflicts: 492000 | #Constraints: 251174
1882.61/1888.38 c #Conflicts: 493000 | #Constraints: 252174
1882.61/1888.38 c #Conflicts: 494000 | #Constraints: 253174
1882.61/1888.38 c #Conflicts: 495000 | #Constraints: 254174
1882.61/1888.38 c #Conflicts: 496000 | #Constraints: 255174
1882.61/1888.38 c #Conflicts: 497000 | #Constraints: 256174
1882.61/1888.38 c #Conflicts: 498000 | #Constraints: 257174
1882.61/1888.38 c #Conflicts: 499000 | #Constraints: 258174
1882.61/1888.38 c #Conflicts: 500000 | #Constraints: 259174
1882.61/1888.38 c #Conflicts: 501000 | #Constraints: 260174
1882.61/1888.38 c #Conflicts: 502000 | #Constraints: 261174
1882.61/1888.38 c INPROCESSING
1882.61/1888.38 c GARBAGE COLLECT
1882.61/1888.38 c #Conflicts: 503000 | #Constraints: 248179
1882.61/1888.38 c #Conflicts: 504000 | #Constraints: 249179
1882.61/1888.38 c #Conflicts: 505000 | #Constraints: 250179
1882.61/1888.38 c #Conflicts: 506000 | #Constraints: 251179
1882.61/1888.38 c #Conflicts: 507000 | #Constraints: 252179
1882.61/1888.38 c #Conflicts: 508000 | #Constraints: 253179
1882.61/1888.38 c #Conflicts: 509000 | #Constraints: 254179
1882.61/1888.38 c #Conflicts: 510000 | #Constraints: 255179
1882.61/1888.38 c #Conflicts: 511000 | #Constraints: 256179
1882.61/1888.38 c #Conflicts: 512000 | #Constraints: 257179
1882.61/1888.38 c #Conflicts: 513000 | #Constraints: 258179
2130.35/2136.71 c #Conflicts: 514000 | #Constraints: 259179
2130.35/2136.71 c #Conflicts: 515000 | #Constraints: 260179
2130.35/2136.71 c #Conflicts: 516000 | #Constraints: 261179
2130.35/2136.71 c INPROCESSING
2130.35/2136.71 c GARBAGE COLLECT
2130.35/2136.71 c #Conflicts: 517000 | #Constraints: 247976
2130.35/2136.71 c #Conflicts: 518000 | #Constraints: 248976
2130.35/2136.71 c #Conflicts: 519000 | #Constraints: 249976
2130.35/2136.71 c #Conflicts: 520000 | #Constraints: 250976
2130.35/2136.71 c #Conflicts: 521000 | #Constraints: 251976
2130.35/2136.71 c #Conflicts: 522000 | #Constraints: 252976
2130.35/2136.71 c #Conflicts: 523000 | #Constraints: 253976
2130.35/2136.71 c #Conflicts: 524000 | #Constraints: 254976
2130.35/2136.71 c #Conflicts: 525000 | #Constraints: 255976
2130.35/2136.71 c #Conflicts: 526000 | #Constraints: 256976
2130.35/2136.71 c #Conflicts: 527000 | #Constraints: 257976
2130.35/2136.71 c #Conflicts: 528000 | #Constraints: 258976
2130.35/2136.71 c #Conflicts: 529000 | #Constraints: 259976
2130.35/2136.71 c #Conflicts: 530000 | #Constraints: 260976
2130.35/2136.71 c #Conflicts: 531000 | #Constraints: 261976
2130.35/2136.71 c INPROCESSING
2130.35/2136.71 c GARBAGE COLLECT
2130.35/2136.71 c #Conflicts: 532000 | #Constraints: 248576
2130.35/2136.71 c #Conflicts: 533000 | #Constraints: 249576
2130.35/2136.71 c #Conflicts: 534000 | #Constraints: 250576
2130.35/2136.71 c #Conflicts: 535000 | #Constraints: 251576
2130.35/2136.71 c #Conflicts: 536000 | #Constraints: 252576
2130.35/2136.71 c #Conflicts: 537000 | #Constraints: 253576
2130.35/2136.71 c #Conflicts: 538000 | #Constraints: 254576
2130.35/2136.71 c #Conflicts: 539000 | #Constraints: 255576
2130.35/2136.71 c #Conflicts: 540000 | #Constraints: 256576
2130.35/2136.71 c #Conflicts: 541000 | #Constraints: 257576
2130.35/2136.71 c #Conflicts: 542000 | #Constraints: 258576
2130.35/2136.71 c #Conflicts: 543000 | #Constraints: 259576
2130.35/2136.71 c #Conflicts: 544000 | #Constraints: 260576
2130.35/2136.71 c #Conflicts: 545000 | #Constraints: 261576
2130.35/2136.71 c #Conflicts: 546000 | #Constraints: 262576
2130.35/2136.71 c INPROCESSING
2130.35/2136.71 c GARBAGE COLLECT
2130.35/2136.71 c #Conflicts: 547000 | #Constraints: 248975
2130.35/2136.71 c #Conflicts: 548000 | #Constraints: 249975
2130.35/2136.71 c #Conflicts: 549000 | #Constraints: 250975
2130.35/2136.71 c #Conflicts: 550000 | #Constraints: 251975
2130.35/2136.71 c #Conflicts: 551000 | #Constraints: 252975
2130.35/2136.71 c #Conflicts: 552000 | #Constraints: 253975
2130.35/2136.71 c #Conflicts: 553000 | #Constraints: 254975
2130.35/2136.71 c #Conflicts: 554000 | #Constraints: 255975
2130.35/2136.71 c #Conflicts: 555000 | #Constraints: 256975
2130.35/2136.71 c #Conflicts: 556000 | #Constraints: 257975
2130.35/2136.71 c #Conflicts: 557000 | #Constraints: 258975
2130.35/2136.71 c #Conflicts: 558000 | #Constraints: 259975
2130.35/2136.71 c #Conflicts: 559000 | #Constraints: 260975
2130.35/2136.71 c #Conflicts: 560000 | #Constraints: 261975
2130.35/2136.71 c #Conflicts: 561000 | #Constraints: 262975
2130.35/2136.71 c INPROCESSING
2130.35/2136.71 c GARBAGE COLLECT
2130.35/2136.71 c #Conflicts: 562000 | #Constraints: 249177
2130.35/2136.71 c #Conflicts: 563000 | #Constraints: 250177
2130.35/2136.71 c #Conflicts: 564000 | #Constraints: 251177
2130.35/2136.71 c #Conflicts: 565000 | #Constraints: 252177
2130.35/2136.71 c #Conflicts: 566000 | #Constraints: 253177
2130.35/2136.71 c #Conflicts: 567000 | #Constraints: 254177
2130.35/2136.71 c #Conflicts: 568000 | #Constraints: 255177
2130.35/2136.71 c #Conflicts: 569000 | #Constraints: 256177
2130.35/2136.71 c #Conflicts: 570000 | #Constraints: 257177
2130.35/2136.71 c #Conflicts: 571000 | #Constraints: 258177
2130.35/2136.71 c #Conflicts: 572000 | #Constraints: 259177
2130.35/2136.71 c #Conflicts: 573000 | #Constraints: 260177
2130.35/2136.71 c #Conflicts: 574000 | #Constraints: 261177
2130.35/2136.71 c #Conflicts: 575000 | #Constraints: 262177
2130.35/2136.71 c #Conflicts: 576000 | #Constraints: 263177
2130.35/2136.71 c INPROCESSING
2130.35/2136.71 c GARBAGE COLLECT
2130.35/2136.71 c #Conflicts: 577000 | #Constraints: 249177
2130.35/2136.71 c #Conflicts: 578000 | #Constraints: 250177
2130.35/2136.71 c #Conflicts: 579000 | #Constraints: 251177
2130.35/2136.71 c #Conflicts: 580000 | #Constraints: 252177
2130.35/2136.71 c #Conflicts: 581000 | #Constraints: 253177
2130.35/2136.71 c #Conflicts: 582000 | #Constraints: 254177
2130.35/2136.71 c #Conflicts: 583000 | #Constraints: 255177
2130.35/2136.71 c #Conflicts: 584000 | #Constraints: 256177
2130.35/2136.71 c #Conflicts: 585000 | #Constraints: 257177
2130.35/2136.71 c #Conflicts: 586000 | #Constraints: 258177
2130.35/2136.71 c #Conflicts: 587000 | #Constraints: 259177
2130.35/2136.71 c #Conflicts: 588000 | #Constraints: 260177
2369.05/2376.02 c #Conflicts: 589000 | #Constraints: 261177
2369.05/2376.02 c #Conflicts: 590000 | #Constraints: 262177
2369.05/2376.02 c #Conflicts: 591000 | #Constraints: 263177
2369.05/2376.02 c INPROCESSING
2369.05/2376.02 c GARBAGE COLLECT
2369.05/2376.02 c #Conflicts: 592000 | #Constraints: 248974
2369.05/2376.02 c #Conflicts: 593000 | #Constraints: 249974
2369.05/2376.02 c #Conflicts: 594000 | #Constraints: 250974
2369.05/2376.02 c #Conflicts: 595000 | #Constraints: 251974
2369.05/2376.02 c #Conflicts: 596000 | #Constraints: 252974
2369.05/2376.02 c #Conflicts: 597000 | #Constraints: 253974
2369.05/2376.02 c #Conflicts: 598000 | #Constraints: 254974
2369.05/2376.02 c #Conflicts: 599000 | #Constraints: 255974
2369.05/2376.02 c #Conflicts: 600000 | #Constraints: 256974
2369.05/2376.02 c #Conflicts: 601000 | #Constraints: 257974
2369.05/2376.02 c #Conflicts: 602000 | #Constraints: 258974
2369.05/2376.02 c #Conflicts: 603000 | #Constraints: 259974
2369.05/2376.02 c #Conflicts: 604000 | #Constraints: 260974
2369.05/2376.02 c #Conflicts: 605000 | #Constraints: 261974
2369.05/2376.02 c #Conflicts: 606000 | #Constraints: 262974
2369.05/2376.02 c #Conflicts: 607000 | #Constraints: 263974
2369.05/2376.02 c INPROCESSING
2369.05/2376.02 c GARBAGE COLLECT
2369.05/2376.02 c #Conflicts: 608000 | #Constraints: 249572
2369.05/2376.02 c #Conflicts: 609000 | #Constraints: 250572
2369.05/2376.02 c #Conflicts: 610000 | #Constraints: 251572
2369.05/2376.02 c #Conflicts: 611000 | #Constraints: 252572
2369.05/2376.02 c #Conflicts: 612000 | #Constraints: 253572
2369.05/2376.02 c #Conflicts: 613000 | #Constraints: 254572
2369.05/2376.02 c #Conflicts: 614000 | #Constraints: 255572
2369.05/2376.02 c #Conflicts: 615000 | #Constraints: 256572
2369.05/2376.02 c #Conflicts: 616000 | #Constraints: 257572
2369.05/2376.02 c #Conflicts: 617000 | #Constraints: 258572
2369.05/2376.02 c #Conflicts: 618000 | #Constraints: 259572
2369.05/2376.02 c #Conflicts: 619000 | #Constraints: 260572
2369.05/2376.02 c #Conflicts: 620000 | #Constraints: 261572
2369.05/2376.02 c #Conflicts: 621000 | #Constraints: 262572
2369.05/2376.02 c #Conflicts: 622000 | #Constraints: 263572
2369.05/2376.02 c #Conflicts: 623000 | #Constraints: 264572
2369.05/2376.02 c INPROCESSING
2369.05/2376.02 c GARBAGE COLLECT
2369.05/2376.02 c #Conflicts: 624000 | #Constraints: 249976
2369.05/2376.02 c #Conflicts: 625000 | #Constraints: 250976
2369.05/2376.02 c #Conflicts: 626000 | #Constraints: 251976
2369.05/2376.02 c #Conflicts: 627000 | #Constraints: 252976
2369.05/2376.02 c #Conflicts: 628000 | #Constraints: 253976
2369.05/2376.02 c #Conflicts: 629000 | #Constraints: 254976
2369.05/2376.02 c #Conflicts: 630000 | #Constraints: 255976
2369.05/2376.02 c #Conflicts: 631000 | #Constraints: 256976
2369.05/2376.02 c #Conflicts: 632000 | #Constraints: 257976
2369.05/2376.02 c #Conflicts: 633000 | #Constraints: 258976
2369.05/2376.02 c #Conflicts: 634000 | #Constraints: 259976
2369.05/2376.02 c #Conflicts: 635000 | #Constraints: 260976
2369.05/2376.02 c #Conflicts: 636000 | #Constraints: 261976
2369.05/2376.02 c #Conflicts: 637000 | #Constraints: 262976
2369.05/2376.02 c #Conflicts: 638000 | #Constraints: 263976
2369.05/2376.02 c #Conflicts: 639000 | #Constraints: 264976
2369.05/2376.02 c INPROCESSING
2369.05/2376.02 c GARBAGE COLLECT
2369.05/2376.02 c #Conflicts: 640000 | #Constraints: 250175
2369.05/2376.02 c #Conflicts: 641000 | #Constraints: 251175
2369.05/2376.02 c #Conflicts: 642000 | #Constraints: 252175
2369.05/2376.02 c #Conflicts: 643000 | #Constraints: 253175
2369.05/2376.02 c #Conflicts: 644000 | #Constraints: 254175
2369.05/2376.02 c #Conflicts: 645000 | #Constraints: 255175
2369.05/2376.02 c #Conflicts: 646000 | #Constraints: 256175
2369.05/2376.02 c #Conflicts: 647000 | #Constraints: 257175
2369.05/2376.02 c #Conflicts: 648000 | #Constraints: 258175
2369.05/2376.02 c #Conflicts: 649000 | #Constraints: 259175
2369.05/2376.02 c #Conflicts: 650000 | #Constraints: 260175
2369.05/2376.02 c #Conflicts: 651000 | #Constraints: 261175
2369.05/2376.02 c #Conflicts: 652000 | #Constraints: 262175
2369.05/2376.02 c #Conflicts: 653000 | #Constraints: 263175
2369.05/2376.02 c #Conflicts: 654000 | #Constraints: 264175
2369.05/2376.02 c #Conflicts: 655000 | #Constraints: 265175
2369.05/2376.02 c INPROCESSING
2369.05/2376.02 c GARBAGE COLLECT
2369.05/2376.02 c #Conflicts: 656000 | #Constraints: 250175
2369.05/2376.02 c #Conflicts: 657000 | #Constraints: 251175
2369.05/2376.02 c #Conflicts: 658000 | #Constraints: 252175
2369.05/2376.02 c #Conflicts: 659000 | #Constraints: 253175
2369.05/2376.02 c #Conflicts: 660000 | #Constraints: 254175
2369.05/2376.02 c #Conflicts: 661000 | #Constraints: 255175
2369.05/2376.02 c #Conflicts: 662000 | #Constraints: 256175
2369.05/2376.02 c #Conflicts: 663000 | #Constraints: 257175
2369.05/2376.02 c #Conflicts: 664000 | #Constraints: 258175
2633.28/2641.05 c #Conflicts: 665000 | #Constraints: 259175
2633.28/2641.05 c #Conflicts: 666000 | #Constraints: 260175
2633.28/2641.05 c #Conflicts: 667000 | #Constraints: 261175
2633.28/2641.05 c #Conflicts: 668000 | #Constraints: 262175
2633.28/2641.05 c #Conflicts: 669000 | #Constraints: 263175
2633.28/2641.05 c #Conflicts: 670000 | #Constraints: 264175
2633.28/2641.05 c #Conflicts: 671000 | #Constraints: 265175
2633.28/2641.05 c INPROCESSING
2633.28/2641.05 c GARBAGE COLLECT
2633.28/2641.05 c #Conflicts: 672000 | #Constraints: 249975
2633.28/2641.05 c #Conflicts: 673000 | #Constraints: 250975
2633.28/2641.05 c #Conflicts: 674000 | #Constraints: 251975
2633.28/2641.05 c #Conflicts: 675000 | #Constraints: 252975
2633.28/2641.05 c #Conflicts: 676000 | #Constraints: 253975
2633.28/2641.05 c #Conflicts: 677000 | #Constraints: 254975
2633.28/2641.05 c #Conflicts: 678000 | #Constraints: 255975
2633.28/2641.05 c #Conflicts: 679000 | #Constraints: 256975
2633.28/2641.05 c #Conflicts: 680000 | #Constraints: 257975
2633.28/2641.05 c #Conflicts: 681000 | #Constraints: 258975
2633.28/2641.05 c #Conflicts: 682000 | #Constraints: 259975
2633.28/2641.05 c #Conflicts: 683000 | #Constraints: 260975
2633.28/2641.05 c #Conflicts: 684000 | #Constraints: 261975
2633.28/2641.05 c #Conflicts: 685000 | #Constraints: 262975
2633.28/2641.05 c #Conflicts: 686000 | #Constraints: 263975
2633.28/2641.05 c #Conflicts: 687000 | #Constraints: 264975
2633.28/2641.05 c #Conflicts: 688000 | #Constraints: 265975
2633.28/2641.05 c INPROCESSING
2633.28/2641.05 c GARBAGE COLLECT
2633.28/2641.05 c #Conflicts: 689000 | #Constraints: 250576
2633.28/2641.05 c #Conflicts: 690000 | #Constraints: 251576
2633.28/2641.05 c #Conflicts: 691000 | #Constraints: 252576
2633.28/2641.05 c #Conflicts: 692000 | #Constraints: 253576
2633.28/2641.05 c #Conflicts: 693000 | #Constraints: 254576
2633.28/2641.05 c #Conflicts: 694000 | #Constraints: 255576
2633.28/2641.05 c #Conflicts: 695000 | #Constraints: 256576
2633.28/2641.05 c #Conflicts: 696000 | #Constraints: 257576
2633.28/2641.05 c #Conflicts: 697000 | #Constraints: 258576
2633.28/2641.05 c #Conflicts: 698000 | #Constraints: 259576
2633.28/2641.05 c #Conflicts: 699000 | #Constraints: 260576
2633.28/2641.05 c #Conflicts: 700000 | #Constraints: 261576
2633.28/2641.05 c #Conflicts: 701000 | #Constraints: 262576
2633.28/2641.05 c #Conflicts: 702000 | #Constraints: 263576
2633.28/2641.05 c #Conflicts: 703000 | #Constraints: 264576
2633.28/2641.05 c #Conflicts: 704000 | #Constraints: 265576
2633.28/2641.05 c #Conflicts: 705000 | #Constraints: 266576
2633.28/2641.05 c INPROCESSING
2633.28/2641.05 c GARBAGE COLLECT
2633.28/2641.05 c #Conflicts: 706000 | #Constraints: 250974
2633.28/2641.05 c #Conflicts: 707000 | #Constraints: 251974
2633.28/2641.05 c #Conflicts: 708000 | #Constraints: 252974
2633.28/2641.05 c #Conflicts: 709000 | #Constraints: 253974
2633.28/2641.05 c #Conflicts: 710000 | #Constraints: 254974
2633.28/2641.05 c #Conflicts: 711000 | #Constraints: 255974
2633.28/2641.05 c #Conflicts: 712000 | #Constraints: 256974
2633.28/2641.05 c #Conflicts: 713000 | #Constraints: 257974
2633.28/2641.05 c #Conflicts: 714000 | #Constraints: 258974
2633.28/2641.05 c #Conflicts: 715000 | #Constraints: 259974
2633.28/2641.05 c #Conflicts: 716000 | #Constraints: 260974
2633.28/2641.05 c #Conflicts: 717000 | #Constraints: 261974
2633.28/2641.05 c #Conflicts: 718000 | #Constraints: 262974
2633.28/2641.05 c #Conflicts: 719000 | #Constraints: 263974
2633.28/2641.05 c #Conflicts: 720000 | #Constraints: 264974
2633.28/2641.05 c #Conflicts: 721000 | #Constraints: 265974
2633.28/2641.05 c #Conflicts: 722000 | #Constraints: 266974
2633.28/2641.05 c INPROCESSING
2633.28/2641.05 c GARBAGE COLLECT
2633.28/2641.05 c #Conflicts: 723000 | #Constraints: 251175
2633.28/2641.05 c #Conflicts: 724000 | #Constraints: 252175
2633.28/2641.05 c #Conflicts: 725000 | #Constraints: 253175
2633.28/2641.05 c #Conflicts: 726000 | #Constraints: 254175
2633.28/2641.05 c #Conflicts: 727000 | #Constraints: 255175
2633.28/2641.05 c #Conflicts: 728000 | #Constraints: 256175
2633.28/2641.05 c #Conflicts: 729000 | #Constraints: 257175
2633.28/2641.05 c #Conflicts: 730000 | #Constraints: 258175
2633.28/2641.05 c #Conflicts: 731000 | #Constraints: 259175
2633.28/2641.05 c #Conflicts: 732000 | #Constraints: 260175
2633.28/2641.05 c #Conflicts: 733000 | #Constraints: 261175
2633.28/2641.05 c #Conflicts: 734000 | #Constraints: 262175
2633.28/2641.05 c #Conflicts: 735000 | #Constraints: 263175
2633.28/2641.05 c #Conflicts: 736000 | #Constraints: 264175
2633.28/2641.05 c #Conflicts: 737000 | #Constraints: 265175
2633.28/2641.05 c #Conflicts: 738000 | #Constraints: 266175
2633.28/2641.05 c #Conflicts: 739000 | #Constraints: 267175
2633.28/2641.05 c INPROCESSING
2633.28/2641.05 c GARBAGE COLLECT
2905.36/2913.84 c #Conflicts: 740000 | #Constraints: 251174
2905.36/2913.84 c #Conflicts: 741000 | #Constraints: 252174
2905.36/2913.84 c #Conflicts: 742000 | #Constraints: 253174
2905.36/2913.84 c #Conflicts: 743000 | #Constraints: 254174
2905.36/2913.84 c #Conflicts: 744000 | #Constraints: 255174
2905.36/2913.84 c #Conflicts: 745000 | #Constraints: 256174
2905.36/2913.84 c #Conflicts: 746000 | #Constraints: 257174
2905.36/2913.84 c #Conflicts: 747000 | #Constraints: 258174
2905.36/2913.84 c #Conflicts: 748000 | #Constraints: 259174
2905.36/2913.84 c #Conflicts: 749000 | #Constraints: 260174
2905.36/2913.84 c #Conflicts: 750000 | #Constraints: 261174
2905.36/2913.84 c #Conflicts: 751000 | #Constraints: 262174
2905.36/2913.84 c #Conflicts: 752000 | #Constraints: 263174
2905.36/2913.84 c #Conflicts: 753000 | #Constraints: 264174
2905.36/2913.84 c #Conflicts: 754000 | #Constraints: 265174
2905.36/2913.84 c #Conflicts: 755000 | #Constraints: 266174
2905.36/2913.84 c #Conflicts: 756000 | #Constraints: 267174
2905.36/2913.84 c INPROCESSING
2905.36/2913.84 c GARBAGE COLLECT
2905.36/2913.84 c #Conflicts: 757000 | #Constraints: 250975
2905.36/2913.84 c #Conflicts: 758000 | #Constraints: 251975
2905.36/2913.84 c #Conflicts: 759000 | #Constraints: 252975
2905.36/2913.84 c #Conflicts: 760000 | #Constraints: 253975
2905.36/2913.84 c #Conflicts: 761000 | #Constraints: 254975
2905.36/2913.84 c #Conflicts: 762000 | #Constraints: 255975
2905.36/2913.84 c #Conflicts: 763000 | #Constraints: 256975
2905.36/2913.84 c #Conflicts: 764000 | #Constraints: 257975
2905.36/2913.84 c #Conflicts: 765000 | #Constraints: 258975
2905.36/2913.84 c #Conflicts: 766000 | #Constraints: 259975
2905.36/2913.84 c #Conflicts: 767000 | #Constraints: 260975
2905.36/2913.84 c #Conflicts: 768000 | #Constraints: 261975
2905.36/2913.84 c #Conflicts: 769000 | #Constraints: 262975
2905.36/2913.84 c #Conflicts: 770000 | #Constraints: 263975
2905.36/2913.84 c #Conflicts: 771000 | #Constraints: 264975
2905.36/2913.84 c #Conflicts: 772000 | #Constraints: 265975
2905.36/2913.84 c #Conflicts: 773000 | #Constraints: 266975
2905.36/2913.84 c #Conflicts: 774000 | #Constraints: 267975
2905.36/2913.84 c INPROCESSING
2905.36/2913.84 c GARBAGE COLLECT
2905.36/2913.84 c #Conflicts: 775000 | #Constraints: 251577
2905.36/2913.84 c #Conflicts: 776000 | #Constraints: 252577
2905.36/2913.84 c #Conflicts: 777000 | #Constraints: 253577
2905.36/2913.84 c #Conflicts: 778000 | #Constraints: 254577
2905.36/2913.84 c #Conflicts: 779000 | #Constraints: 255577
2905.36/2913.84 c #Conflicts: 780000 | #Constraints: 256577
2905.36/2913.84 c #Conflicts: 781000 | #Constraints: 257577
2905.36/2913.84 c #Conflicts: 782000 | #Constraints: 258577
2905.36/2913.84 c #Conflicts: 783000 | #Constraints: 259577
2905.36/2913.84 c #Conflicts: 784000 | #Constraints: 260577
2905.36/2913.84 c #Conflicts: 785000 | #Constraints: 261577
2905.36/2913.84 c #Conflicts: 786000 | #Constraints: 262577
2905.36/2913.84 c #Conflicts: 787000 | #Constraints: 263577
2905.36/2913.84 c #Conflicts: 788000 | #Constraints: 264577
2905.36/2913.84 c #Conflicts: 789000 | #Constraints: 265577
2905.36/2913.84 c #Conflicts: 790000 | #Constraints: 266577
2905.36/2913.84 c #Conflicts: 791000 | #Constraints: 267577
2905.36/2913.84 c #Conflicts: 792000 | #Constraints: 268577
2905.36/2913.84 c INPROCESSING
2905.36/2913.84 c GARBAGE COLLECT
2905.36/2913.84 c #Conflicts: 793000 | #Constraints: 251977
2905.36/2913.84 c #Conflicts: 794000 | #Constraints: 252977
2905.36/2913.84 c #Conflicts: 795000 | #Constraints: 253977
2905.36/2913.84 c #Conflicts: 796000 | #Constraints: 254977
2905.36/2913.84 c #Conflicts: 797000 | #Constraints: 255977
2905.36/2913.84 c #Conflicts: 798000 | #Constraints: 256977
2905.36/2913.84 c #Conflicts: 799000 | #Constraints: 257977
2905.36/2913.84 c #Conflicts: 800000 | #Constraints: 258977
2905.36/2913.84 c #Conflicts: 801000 | #Constraints: 259977
2905.36/2913.84 c #Conflicts: 802000 | #Constraints: 260977
2905.36/2913.84 c #Conflicts: 803000 | #Constraints: 261977
2905.36/2913.84 c #Conflicts: 804000 | #Constraints: 262977
2905.36/2913.84 c #Conflicts: 805000 | #Constraints: 263977
2905.36/2913.84 c #Conflicts: 806000 | #Constraints: 264977
2905.36/2913.84 c #Conflicts: 807000 | #Constraints: 265977
2905.36/2913.84 c #Conflicts: 808000 | #Constraints: 266977
2905.36/2913.84 c #Conflicts: 809000 | #Constraints: 267977
2905.36/2913.84 c #Conflicts: 810000 | #Constraints: 268977
2905.36/2913.84 c INPROCESSING
2905.36/2913.84 c GARBAGE COLLECT
2905.36/2913.84 c #Conflicts: 811000 | #Constraints: 252176
2905.36/2913.84 c #Conflicts: 812000 | #Constraints: 253176
2905.36/2913.84 c #Conflicts: 813000 | #Constraints: 254176
2905.36/2913.84 c #Conflicts: 814000 | #Constraints: 255176
2905.36/2913.84 c #Conflicts: 815000 | #Constraints: 256176
2905.36/2913.84 c #Conflicts: 816000 | #Constraints: 257176
3151.33/3160.41 c #Conflicts: 817000 | #Constraints: 258176
3151.33/3160.41 c #Conflicts: 818000 | #Constraints: 259176
3151.33/3160.41 c #Conflicts: 819000 | #Constraints: 260176
3151.33/3160.41 c #Conflicts: 820000 | #Constraints: 261176
3151.33/3160.41 c #Conflicts: 821000 | #Constraints: 262176
3151.33/3160.41 c #Conflicts: 822000 | #Constraints: 263176
3151.33/3160.41 c #Conflicts: 823000 | #Constraints: 264176
3151.33/3160.41 c #Conflicts: 824000 | #Constraints: 265176
3151.33/3160.41 c #Conflicts: 825000 | #Constraints: 266176
3151.33/3160.41 c #Conflicts: 826000 | #Constraints: 267176
3151.33/3160.41 c #Conflicts: 827000 | #Constraints: 268176
3151.33/3160.41 c #Conflicts: 828000 | #Constraints: 269176
3151.33/3160.41 c INPROCESSING
3151.33/3160.41 c GARBAGE COLLECT
3151.33/3160.41 c #Conflicts: 829000 | #Constraints: 252177
3151.33/3160.41 c #Conflicts: 830000 | #Constraints: 253177
3151.33/3160.41 c #Conflicts: 831000 | #Constraints: 254177
3151.33/3160.41 c #Conflicts: 832000 | #Constraints: 255177
3151.33/3160.41 c #Conflicts: 833000 | #Constraints: 256177
3151.33/3160.41 c #Conflicts: 834000 | #Constraints: 257177
3151.33/3160.41 c #Conflicts: 835000 | #Constraints: 258177
3151.33/3160.42 c #Conflicts: 836000 | #Constraints: 259177
3151.33/3160.42 c #Conflicts: 837000 | #Constraints: 260177
3151.33/3160.42 c #Conflicts: 838000 | #Constraints: 261177
3151.33/3160.42 c #Conflicts: 839000 | #Constraints: 262177
3151.33/3160.42 c #Conflicts: 840000 | #Constraints: 263177
3151.33/3160.42 c #Conflicts: 841000 | #Constraints: 264177
3151.33/3160.42 c #Conflicts: 842000 | #Constraints: 265177
3151.33/3160.42 c #Conflicts: 843000 | #Constraints: 266177
3151.33/3160.42 c #Conflicts: 844000 | #Constraints: 267177
3151.33/3160.42 c #Conflicts: 845000 | #Constraints: 268177
3151.33/3160.42 c #Conflicts: 846000 | #Constraints: 269177
3151.33/3160.42 c INPROCESSING
3151.33/3160.42 c GARBAGE COLLECT
3151.33/3160.42 c #Conflicts: 847000 | #Constraints: 251974
3151.33/3160.42 c #Conflicts: 848000 | #Constraints: 252974
3151.33/3160.42 c #Conflicts: 849000 | #Constraints: 253974
3151.33/3160.42 c #Conflicts: 850000 | #Constraints: 254974
3151.33/3160.42 c #Conflicts: 851000 | #Constraints: 255974
3151.33/3160.42 c #Conflicts: 852000 | #Constraints: 256974
3151.33/3160.42 c #Conflicts: 853000 | #Constraints: 257974
3151.33/3160.42 c #Conflicts: 854000 | #Constraints: 258974
3151.33/3160.42 c #Conflicts: 855000 | #Constraints: 259974
3151.33/3160.42 c #Conflicts: 856000 | #Constraints: 260974
3151.33/3160.42 c #Conflicts: 857000 | #Constraints: 261974
3151.33/3160.42 c #Conflicts: 858000 | #Constraints: 262974
3151.33/3160.42 c #Conflicts: 859000 | #Constraints: 263974
3151.33/3160.42 c #Conflicts: 860000 | #Constraints: 264974
3151.33/3160.42 c #Conflicts: 861000 | #Constraints: 265974
3151.33/3160.42 c #Conflicts: 862000 | #Constraints: 266974
3151.33/3160.42 c #Conflicts: 863000 | #Constraints: 267974
3151.33/3160.42 c #Conflicts: 864000 | #Constraints: 268974
3151.33/3160.42 c #Conflicts: 865000 | #Constraints: 269974
3151.33/3160.42 c INPROCESSING
3151.33/3160.42 c GARBAGE COLLECT
3151.33/3160.42 c #Conflicts: 866000 | #Constraints: 252577
3151.33/3160.42 c #Conflicts: 867000 | #Constraints: 253577
3151.33/3160.42 c #Conflicts: 868000 | #Constraints: 254577
3151.33/3160.42 c #Conflicts: 869000 | #Constraints: 255577
3151.33/3160.42 c #Conflicts: 870000 | #Constraints: 256577
3151.33/3160.42 c #Conflicts: 871000 | #Constraints: 257577
3151.33/3160.42 c #Conflicts: 872000 | #Constraints: 258577
3151.33/3160.42 c #Conflicts: 873000 | #Constraints: 259577
3151.33/3160.42 c #Conflicts: 874000 | #Constraints: 260577
3151.33/3160.42 c #Conflicts: 875000 | #Constraints: 261577
3151.33/3160.42 c #Conflicts: 876000 | #Constraints: 262577
3151.33/3160.42 c #Conflicts: 877000 | #Constraints: 263577
3151.33/3160.42 c #Conflicts: 878000 | #Constraints: 264577
3151.33/3160.42 c #Conflicts: 879000 | #Constraints: 265577
3151.33/3160.42 c #Conflicts: 880000 | #Constraints: 266577
3151.33/3160.42 c #Conflicts: 881000 | #Constraints: 267577
3151.33/3160.42 c #Conflicts: 882000 | #Constraints: 268577
3151.33/3160.42 c #Conflicts: 883000 | #Constraints: 269577
3151.33/3160.42 c #Conflicts: 884000 | #Constraints: 270577
3151.33/3160.42 c INPROCESSING
3151.33/3160.42 c GARBAGE COLLECT
3151.33/3160.42 c #Conflicts: 885000 | #Constraints: 252977
3151.33/3160.42 c #Conflicts: 886000 | #Constraints: 253977
3151.33/3160.42 c #Conflicts: 887000 | #Constraints: 254977
3151.33/3160.42 c #Conflicts: 888000 | #Constraints: 255977
3151.33/3160.42 c #Conflicts: 889000 | #Constraints: 256977
3151.33/3160.42 c #Conflicts: 890000 | #Constraints: 257977
3151.33/3160.42 c #Conflicts: 891000 | #Constraints: 258977
3151.33/3160.42 c #Conflicts: 892000 | #Constraints: 259977
3408.62/3418.45 c #Conflicts: 893000 | #Constraints: 260977
3408.62/3418.45 c #Conflicts: 894000 | #Constraints: 261977
3408.62/3418.45 c #Conflicts: 895000 | #Constraints: 262977
3408.62/3418.45 c #Conflicts: 896000 | #Constraints: 263977
3408.62/3418.45 c #Conflicts: 897000 | #Constraints: 264977
3408.62/3418.45 c #Conflicts: 898000 | #Constraints: 265977
3408.62/3418.45 c #Conflicts: 899000 | #Constraints: 266977
3408.62/3418.45 c #Conflicts: 900000 | #Constraints: 267977
3408.62/3418.45 c #Conflicts: 901000 | #Constraints: 268977
3408.62/3418.45 c #Conflicts: 902000 | #Constraints: 269977
3408.62/3418.45 c #Conflicts: 903000 | #Constraints: 270977
3408.62/3418.45 c INPROCESSING
3408.62/3418.45 c GARBAGE COLLECT
3408.62/3418.45 c #Conflicts: 904000 | #Constraints: 253176
3408.62/3418.45 c #Conflicts: 905000 | #Constraints: 254176
3408.62/3418.45 c #Conflicts: 906000 | #Constraints: 255176
3408.62/3418.45 c #Conflicts: 907000 | #Constraints: 256176
3408.62/3418.45 c #Conflicts: 908000 | #Constraints: 257176
3408.62/3418.45 c #Conflicts: 909000 | #Constraints: 258176
3408.62/3418.45 c #Conflicts: 910000 | #Constraints: 259176
3408.62/3418.45 c #Conflicts: 911000 | #Constraints: 260176
3408.62/3418.45 c #Conflicts: 912000 | #Constraints: 261176
3408.62/3418.45 c #Conflicts: 913000 | #Constraints: 262176
3408.62/3418.45 c #Conflicts: 914000 | #Constraints: 263176
3408.62/3418.45 c #Conflicts: 915000 | #Constraints: 264176
3408.62/3418.45 c #Conflicts: 916000 | #Constraints: 265176
3408.62/3418.45 c #Conflicts: 917000 | #Constraints: 266176
3408.62/3418.45 c #Conflicts: 918000 | #Constraints: 267176
3408.62/3418.45 c #Conflicts: 919000 | #Constraints: 268176
3408.62/3418.45 c #Conflicts: 920000 | #Constraints: 269176
3408.62/3418.45 c #Conflicts: 921000 | #Constraints: 270176
3408.62/3418.45 c #Conflicts: 922000 | #Constraints: 271176
3408.62/3418.45 c INPROCESSING
3408.62/3418.45 c GARBAGE COLLECT
3408.62/3418.45 c #Conflicts: 923000 | #Constraints: 253176
3408.62/3418.45 c #Conflicts: 924000 | #Constraints: 254176
3408.62/3418.45 c #Conflicts: 925000 | #Constraints: 255176
3408.62/3418.45 c #Conflicts: 926000 | #Constraints: 256176
3408.62/3418.45 c #Conflicts: 927000 | #Constraints: 257176
3408.62/3418.45 c #Conflicts: 928000 | #Constraints: 258176
3408.62/3418.45 c #Conflicts: 929000 | #Constraints: 259176
3408.62/3418.45 c #Conflicts: 930000 | #Constraints: 260176
3408.62/3418.45 c #Conflicts: 931000 | #Constraints: 261176
3408.62/3418.45 c #Conflicts: 932000 | #Constraints: 262176
3408.62/3418.45 c #Conflicts: 933000 | #Constraints: 263176
3408.62/3418.45 c #Conflicts: 934000 | #Constraints: 264176
3408.62/3418.45 c #Conflicts: 935000 | #Constraints: 265176
3408.62/3418.45 c #Conflicts: 936000 | #Constraints: 266176
3408.62/3418.45 c #Conflicts: 937000 | #Constraints: 267176
3408.62/3418.45 c #Conflicts: 938000 | #Constraints: 268176
3408.62/3418.45 c #Conflicts: 939000 | #Constraints: 269176
3408.62/3418.45 c #Conflicts: 940000 | #Constraints: 270176
3408.62/3418.45 c #Conflicts: 941000 | #Constraints: 271176
3408.62/3418.45 c INPROCESSING
3408.62/3418.45 c GARBAGE COLLECT
3408.62/3418.45 c #Conflicts: 942000 | #Constraints: 252977
3408.62/3418.45 c #Conflicts: 943000 | #Constraints: 253977
3408.62/3418.45 c #Conflicts: 944000 | #Constraints: 254977
3408.62/3418.45 c #Conflicts: 945000 | #Constraints: 255977
3408.62/3418.45 c #Conflicts: 946000 | #Constraints: 256977
3408.62/3418.45 c #Conflicts: 947000 | #Constraints: 257977
3408.62/3418.45 c #Conflicts: 948000 | #Constraints: 258977
3408.62/3418.45 c #Conflicts: 949000 | #Constraints: 259977
3408.62/3418.45 c #Conflicts: 950000 | #Constraints: 260977
3408.62/3418.45 c #Conflicts: 951000 | #Constraints: 261977
3408.62/3418.45 c #Conflicts: 952000 | #Constraints: 262977
3408.62/3418.45 c #Conflicts: 953000 | #Constraints: 263977
3408.62/3418.45 c #Conflicts: 954000 | #Constraints: 264977
3408.62/3418.45 c #Conflicts: 955000 | #Constraints: 265977
3408.62/3418.45 c #Conflicts: 956000 | #Constraints: 266977
3408.62/3418.45 c #Conflicts: 957000 | #Constraints: 267977
3408.62/3418.45 c #Conflicts: 958000 | #Constraints: 268977
3408.62/3418.45 c #Conflicts: 959000 | #Constraints: 269977
3408.62/3418.45 c #Conflicts: 960000 | #Constraints: 270977
3408.62/3418.45 c #Conflicts: 961000 | #Constraints: 271977
3408.62/3418.45 c INPROCESSING
3408.62/3418.45 c GARBAGE COLLECT
3408.62/3418.45 c #Conflicts: 962000 | #Constraints: 253574
3408.62/3418.45 c #Conflicts: 963000 | #Constraints: 254574
3408.62/3418.45 c #Conflicts: 964000 | #Constraints: 255574
3408.62/3418.45 c #Conflicts: 965000 | #Constraints: 256574
3408.62/3418.45 c #Conflicts: 966000 | #Constraints: 257574
3408.62/3418.45 c #Conflicts: 967000 | #Constraints: 258574
3408.62/3418.45 c #Conflicts: 968000 | #Constraints: 259574
3600.09/3610.40 c #Conflicts: 969000 | #Constraints: 260574
3600.09/3610.40 c #Conflicts: 970000 | #Constraints: 261574
3600.09/3610.40 c #Conflicts: 971000 | #Constraints: 262574
3600.09/3610.40 c #Conflicts: 972000 | #Constraints: 263574
3600.09/3610.40 c #Conflicts: 973000 | #Constraints: 264574
3600.09/3610.40 c #Conflicts: 974000 | #Constraints: 265574
3600.09/3610.40 c #Conflicts: 975000 | #Constraints: 266574
3600.09/3610.40 c #Conflicts: 976000 | #Constraints: 267574
3600.09/3610.40 c #Conflicts: 977000 | #Constraints: 268574
3600.09/3610.40 c #Conflicts: 978000 | #Constraints: 269574
3600.09/3610.40 c #Conflicts: 979000 | #Constraints: 270574
3600.09/3610.40 c #Conflicts: 980000 | #Constraints: 271574
3600.09/3610.40 c #Conflicts: 981000 | #Constraints: 272574
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 982000 | #Constraints: 253977
3600.09/3610.40 c #Conflicts: 983000 | #Constraints: 254977
3600.09/3610.40 c #Conflicts: 984000 | #Constraints: 255977
3600.09/3610.40 c #Conflicts: 985000 | #Constraints: 256977
3600.09/3610.40 c #Conflicts: 986000 | #Constraints: 257977
3600.09/3610.40 c #Conflicts: 987000 | #Constraints: 258977
3600.09/3610.40 c #Conflicts: 988000 | #Constraints: 259977
3600.09/3610.40 c #Conflicts: 989000 | #Constraints: 260977
3600.09/3610.40 c #Conflicts: 990000 | #Constraints: 261977
3600.09/3610.40 c #Conflicts: 991000 | #Constraints: 262977
3600.09/3610.40 c #Conflicts: 992000 | #Constraints: 263977
3600.09/3610.40 c #Conflicts: 993000 | #Constraints: 264977
3600.09/3610.40 c #Conflicts: 994000 | #Constraints: 265977
3600.09/3610.40 c #Conflicts: 995000 | #Constraints: 266977
3600.09/3610.40 c #Conflicts: 996000 | #Constraints: 267977
3600.09/3610.40 c #Conflicts: 997000 | #Constraints: 268977
3600.09/3610.40 c #Conflicts: 998000 | #Constraints: 269977
3600.09/3610.40 c #Conflicts: 999000 | #Constraints: 270977
3600.09/3610.40 c #Conflicts: 1000000 | #Constraints: 271977
3600.09/3610.40 c #Conflicts: 1001000 | #Constraints: 272977
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 1002000 | #Constraints: 254182
3600.09/3610.40 c #Conflicts: 1003000 | #Constraints: 255182
3600.09/3610.40 c #Conflicts: 1004000 | #Constraints: 256182
3600.09/3610.40 c #Conflicts: 1005000 | #Constraints: 257182
3600.09/3610.40 c #Conflicts: 1006000 | #Constraints: 258182
3600.09/3610.40 c #Conflicts: 1007000 | #Constraints: 259182
3600.09/3610.40 c #Conflicts: 1008000 | #Constraints: 260182
3600.09/3610.40 c #Conflicts: 1009000 | #Constraints: 261182
3600.09/3610.40 c #Conflicts: 1010000 | #Constraints: 262182
3600.09/3610.40 c #Conflicts: 1011000 | #Constraints: 263182
3600.09/3610.40 c #Conflicts: 1012000 | #Constraints: 264182
3600.09/3610.40 c #Conflicts: 1013000 | #Constraints: 265182
3600.09/3610.40 c #Conflicts: 1014000 | #Constraints: 266182
3600.09/3610.40 c #Conflicts: 1015000 | #Constraints: 267182
3600.09/3610.40 c #Conflicts: 1016000 | #Constraints: 268182
3600.09/3610.40 c #Conflicts: 1017000 | #Constraints: 269182
3600.09/3610.40 c #Conflicts: 1018000 | #Constraints: 270182
3600.09/3610.40 c #Conflicts: 1019000 | #Constraints: 271182
3600.09/3610.40 c #Conflicts: 1020000 | #Constraints: 272182
3600.09/3610.40 c #Conflicts: 1021000 | #Constraints: 273182
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 1022000 | #Constraints: 254181
3600.09/3610.40 c #Conflicts: 1023000 | #Constraints: 255181
3600.09/3610.40 c #Conflicts: 1024000 | #Constraints: 256181
3600.09/3610.40 c #Conflicts: 1025000 | #Constraints: 257181
3600.09/3610.40 c #Conflicts: 1026000 | #Constraints: 258181
3600.09/3610.40 c #Conflicts: 1027000 | #Constraints: 259181
3600.09/3610.40 c #Conflicts: 1028000 | #Constraints: 260181
3600.09/3610.40 c #Conflicts: 1029000 | #Constraints: 261181
3600.09/3610.40 c cpu time 3584.89 s
3600.09/3610.40 c deterministic time 1 1.00e+00
3600.09/3610.40 c optimization time 3582.24 s
3600.09/3610.40 c total solve time 0 s
3600.09/3610.40 c core-guided solve time 0 s
3600.09/3610.40 c propagation time 0.285543 s
3600.09/3610.40 c conflict analysis time 0 s
3600.09/3610.40 c propagations 0
3600.09/3610.40 c resolve steps 0
3600.09/3610.40 c decisions 0
3600.09/3610.40 c conflicts 0
3600.09/3610.40 c restarts 0
3600.09/3610.40 c inprocessing phases 0
3600.09/3610.40 c garbage collections 0 ,( -nan )
3600.09/3610.40 c input clauses 469920 ,( 100.00 )
3600.09/3610.40 c input cardinalities 0 ,( 0.00 )
3600.09/3610.40 c input general constraints 0 ,( 0.00 )
3600.09/3610.40 c input average constraint length 3.00
3600.09/3610.40 c input average constraint degree 1.00
3600.09/3610.40 c learned clauses 0 ,( 0.00 )
3600.09/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.40 c learned general constraints 0 ,( 0.00 )
3600.09/3610.40 c learned average constraint length 0.00
3600.09/3610.40 c learned average constraint degree 0.00
3600.09/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3610.40 c watched constraints 0 ,( -nan )
3600.09/3610.40 c counting constraints 0 ,( -nan )
3600.09/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.40 c gcd simplifications 0
3600.09/3610.40 c detected cardinalities 0
3600.09/3610.40 c weakened non-implied lits 0
3600.09/3610.40 c weakened non-implying lits 0
3600.09/3610.40 c original variables 4005
3600.09/3610.40 c clausal propagations 0
3600.09/3610.40 c cardinality propagations 0
3600.09/3610.40 c watched propagations 0
3600.09/3610.40 c counting propagations 0
3600.09/3610.40 c watch lookups 0
3600.09/3610.40 c watch backjump lookups 0
3600.09/3610.40 c watch checks 0
3600.09/3610.40 c propagation checks 0
3600.09/3610.40 c constraint additions 0
3600.09/3610.40 c trail pops 0
3600.09/3610.40 c formula constraints 469920
3600.09/3610.40 c learned constraints 0
3600.09/3610.40 c bound constraints 0
3600.09/3610.40 c core-guided constraints 0
3600.09/3610.40 c encountered formula constraints 0
3600.09/3610.40 c encountered learned constraints 0
3600.09/3610.40 c encountered bound constraints 0
3600.09/3610.40 c encountered core-guided constraints 0
3600.09/3610.40 c LP total time 0 s
3600.09/3610.40 c LP solve time 0 s
3600.09/3610.40 c LP constraints added 0
3600.09/3610.40 c LP constraints removed 0
3600.09/3610.40 c LP pivots internal 0
3600.09/3610.40 c LP pivots root 0
3600.09/3610.40 c LP calls 0
3600.09/3610.40 c LP optimalities 0
3600.09/3610.40 c LP no pivot count 0
3600.09/3610.40 c LP infeasibilities 0
3600.09/3610.40 c LP valid Farkas constraints 0
3600.09/3610.40 c LP learned Farkas constraints 0
3600.09/3610.40 c LP basis resets 0
3600.09/3610.40 c LP cycling count 0
3600.09/3610.40 c LP singular count 0
3600.09/3610.40 c LP no primal count 0
3600.09/3610.40 c LP no farkas count 0
3600.09/3610.40 c LP other issue count 0
3600.09/3610.40 c LP Gomory cuts 0
3600.09/3610.40 c LP learned cuts 0
3600.09/3610.40 c LP deleted cuts 0
3600.09/3610.40 c LP encountered Gomory constraints 0
3600.09/3610.40 c LP encountered Farkas constraints 0
3600.09/3610.40 c LP encountered learned Farkas constraints 0
3600.09/3610.40 c CG auxiliary variables introduced 0
3600.09/3610.40 c CG solutions found 0
3600.09/3610.40 c CG cores constructed 0
3600.09/3610.40 c CG core cardinality constraints returned 0
3600.09/3610.40 c CG unit cores 0
3600.09/3610.40 c CG single cores 0
3600.09/3610.40 c CG blocks removed during cardinality reduction 0
3600.09/3610.40 c CG first core best 0
3600.09/3610.40 c CG decision core best 0
3600.09/3610.40 c CG core reduction tie 0
3600.09/3610.40 c CG core degree average 0.00
3600.09/3610.40 c CG core slack average 0.00
3600.09/3610.40 c CG core upper bound improvements 0
3600.09/3610.40 c STR number of successful calls 0
3600.09/3610.40 c STR number of unsuccessful calls 0
3600.09/3610.40 c STR number of inconclusive calls 0
3600.09/3610.40 c STR number of successful attempts 0
3600.09/3610.40 c STR number of unsuccessful attempts 0
3600.09/3610.40 c STR number of inconclusive attempts 0
3600.09/3610.40 c STR average degree increase per successful call inf
3600.09/3610.40 c STR average degree increase per successful attempt inf
3600.09/3610.40 c STR total number of conflicts for successful attempts 0
3600.09/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.40 c STR average number of conflicts per successful attempt inf
3600.09/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.40 c AVG.sumWPerc -nan
3600.09/3610.40 c bigint constraints 0
3600.09/3610.40 s UNKNOWN
3600.09/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63066 MiB free)
memory of node 1: 64507 MiB (63571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520987-1751579896/watcher-4520987-1751579896 -o /tmp/evaluation-result-4520987-1751579896/solver-4520987-1751579896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520987-1751579896.opb PROOFDIR/proof-4520987-1751579896
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82813, runsolver pid=82802
[startup+0.100098 s]*
/proc/loadavg: 1.10 1.11 1.70 5/255 82817
/proc/meminfo: memFree=129673768/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=5932 memory=128 CPUtime=0 cores=5,7
/proc/82817/stat : 82817 (roundingsat) D 82813 82813 82743 0 -1 4456448 43 0 0 0 0 0 0 0 20 0 1 0 73669820 6074368 32 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 1483 32 32 1147 0 51 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10124 KiB
Current children cumulated memory: 3200 KiB
[startup+0.21336 s]*
/proc/loadavg: 1.10 1.11 1.70 7/255 82817
/proc/meminfo: memFree=129671560/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=56000 memory=9008 CPUtime=0.01 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 601 0 0 0 0 1 0 0 20 0 1 0 73669820 57344000 2252 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 14000 2252 1920 1147 0 1427 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 60192 KiB
Current children cumulated memory: 12080 KiB
[startup+0.313296 s]*
/proc/loadavg: 1.10 1.11 1.70 7/255 82817
/proc/meminfo: memFree=129667780/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=56928 memory=10160 CPUtime=0.09 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 935 0 0 0 7 2 0 0 20 0 1 0 73669820 58294272 2540 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 14232 2540 1920 1147 0 1659 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 13232 KiB
[startup+0.70039 s]
/proc/loadavg: 1.10 1.11 1.70 7/255 82817
/proc/meminfo: memFree=129662488/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=61084 memory=15852 CPUtime=0.45 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 2446 0 0 0 35 10 0 0 20 0 1 0 73669820 62550016 3963 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 15271 3963 1920 1147 0 2698 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 65276 KiB
Current children cumulated memory: 18924 KiB
[startup+1.50038 s]
/proc/loadavg: 1.10 1.11 1.70 7/255 82817
/proc/meminfo: memFree=129548452/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=75820 memory=31544 CPUtime=1.24 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 6639 0 0 0 96 28 0 0 20 0 1 0 73669820 77639680 7886 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 18955 7886 1920 1147 0 6382 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 80012 KiB
Current children cumulated memory: 34616 KiB
[startup+3.11334 s]
/proc/loadavg: 1.10 1.11 1.70 7/256 82819
/proc/meminfo: memFree=129228876/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=287984 memory=195236 CPUtime=2.85 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 23682 0 0 0 223 62 0 0 20 0 1 0 73669820 294895616 48809 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 71996 48809 2240 1147 0 59423 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 198308 KiB
[startup+6.30038 s]
/proc/loadavg: 1.33 1.16 1.71 7/256 82819
/proc/meminfo: memFree=128663576/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532120 CPUtime=6.03 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66891 0 0 0 508 95 0 0 20 0 1 0 73669820 625221632 133030 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133030 2336 1147 0 140069 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535192 KiB
[startup+12.7004 s]
/proc/loadavg: 1.55 1.21 1.72 7/256 82819
/proc/meminfo: memFree=128325304/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532120 CPUtime=12.41 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66898 0 0 0 1143 98 0 0 20 0 1 0 73669820 625221632 133030 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133030 2336 1147 0 140069 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535192 KiB
[startup+25.5004 s]
/proc/loadavg: 2.17 1.36 1.76 7/256 82819
/proc/meminfo: memFree=127929996/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532248 CPUtime=25.18 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66902 0 0 0 2416 102 0 0 20 0 1 0 73669820 625221632 133062 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133062 2336 1147 0 140069 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535320 KiB
[startup+51.1133 s]
/proc/loadavg: 2.80 1.57 1.82 7/260 82823
/proc/meminfo: memFree=127030600/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532248 CPUtime=50.73 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66906 0 0 0 4957 116 0 0 20 0 1 0 73669820 625221632 133062 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133062 2336 1147 0 140069 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535320 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.95 1.94 7/261 82826
/proc/meminfo: memFree=125969372/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532248 CPUtime=101.76 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66914 0 0 0 10033 143 0 0 20 0 1 0 73669820 625221632 133062 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133062 2336 1147 0 140069 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535320 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.37 2.09 8/262 82855
/proc/meminfo: memFree=124703036/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532248 CPUtime=161.59 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66921 0 0 0 15993 166 0 0 20 0 1 0 73669820 625221632 133062 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133062 2336 1147 0 140069 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 614760 KiB
Current children cumulated memory: 535320 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.68 2.22 7/263 82858
/proc/meminfo: memFree=123692636/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=610568 memory=532248 CPUtime=221.42 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 66925 0 0 0 21952 190 0 0 20 0 1 0 73669820 625221632 133062 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
################
# More data... #
################
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3093.38 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68260 0 0 0 308013 1325 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3093.38 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.21 4.09 7/259 83009
/proc/meminfo: memFree=84064096/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3153.23 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68260 0 0 0 313977 1346 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.09 7/259 83011
/proc/meminfo: memFree=83464604/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3213.07 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68260 0 0 0 319940 1367 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.16 4.09 7/258 83013
/proc/meminfo: memFree=82907372/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3272.92 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68260 0 0 0 325904 1388 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.09 7/259 83016
/proc/meminfo: memFree=82204452/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3332.72 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68260 0 0 0 331860 1412 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 7/259 83018
/proc/meminfo: memFree=81509964/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3392.56 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68263 0 0 0 337820 1436 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.10 7/259 83020
/proc/meminfo: memFree=80968768/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3452.41 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68324 0 0 0 343781 1460 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.11 7/260 83029
/proc/meminfo: memFree=80250896/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3512.25 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68419 0 0 0 349742 1483 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.10 7/260 83031
/proc/meminfo: memFree=79592064/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=727212 CPUtime=3572.06 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68421 0 0 0 355697 1509 0 0 20 0 1 0 73669820 841916416 181803 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 181803 2336 1147 0 192973 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 730284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.15 4.10 6/259 83032
/proc/meminfo: memFree=79282332/131382112 swapFree=33010416/33010684
[pid=82813] ppid=82802 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/82813/stat : 82813 (run-opt-log.sh) S 82802 82813 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 73669818 4292608 768 18446744073709551615 94719651549184 94719652443717 140723047665552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94719652682768 94719652730512 94719666163712 140723047672097 140723047672292 140723047672292 140723047677894 0
/proc/82813/statm: 1048 768 704 219 0 110 0
[pid=82817] ppid=82813 vsize=822184 memory=729260 CPUtime=3600.09 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82813 82813 82743 0 -1 4194304 68425 0 0 0 358489 1520 0 0 20 0 1 0 73669820 841916416 182315 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 205546 182315 2336 1147 0 192973 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 826376 KiB
Current children cumulated memory: 732332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 82813 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.005518 s
[startup+3610.55 s]
# the end of solver process 82817 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.99 s, system=15.2169 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]*
/proc/loadavg: 4.11 4.15 4.10 4/254 83040
/proc/meminfo: memFree=84027480/131382112 swapFree=33010416/33010684
[pid=82817] ppid=82802 vsize=610568 memory=534156 CPUtime=3600.16 cores=5,7
/proc/82817/stat : 82817 (roundingsat) R 82802 82813 82743 0 -1 4194304 68534 0 0 0 358495 1521 0 0 20 0 1 0 73669820 625221632 133539 18446744073709551615 4227072 8923433 140734725669312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29990912 140734725671250 140734725671464 140734725671464 140734725677034 0
/proc/82817/statm: 152642 133539 2400 1147 0 140069 0
Current cumulated CPU time of completed processes: 0.005518 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 610568 KiB
Current children cumulated memory: 534156 KiB
Child status: 2
Real time (s): 3610.55
CPU time (s): 3600.2
CPU user time (s): 3584.99
CPU system time (s): 15.2169
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 826376
Max. memory (cumulated for all children) (KiB): 732332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.99
system time used= 15.2169
maximum resident set size= 729516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25010736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1874
involuntary context switches= 5942
# summary of solver processes directly reported to runsolver:
# pid: 82813,82817
# total CPU time (s): 3600.2
# total CPU user time (s): 3584.99
# total CPU system time (s): 15.2169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0758 second user time and 38.0257 second system time
The end
Begin job on nodeC012 at 2025-07-03 23:58:19
IDJOB=4520987
IDBENCH=178176
IDSOLVER=3351
FILE ID=nodeC012/4520987-1751579896
RUNJOBID= nodeC012-1751579896-82756
SLURM_JOB_ID= 9598818
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520987-1751579896/watcher-4520987-1751579896 -o /tmp/evaluation-result-4520987-1751579896/solver-4520987-1751579896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520987-1751579896.opb PROOFDIR/proof-4520987-1751579896
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 938881248995c1811678b4b6ed7e25b4
RANDOM SEED=1899173644
nodeC012 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 : 0xb00001f
cpu MHz : 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.279
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.150
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.567
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.085
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129657280 kB
MemAvailable: 129886608 kB
Buffers: 2136 kB
Cached: 1029696 kB
SwapCached: 16 kB
Active: 684736 kB
Inactive: 411524 kB
Active(anon): 75384 kB
Inactive(anon): 6996 kB
Active(file): 609352 kB
Inactive(file): 404528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44596 kB
Writeback: 2364 kB
AnonPages: 67536 kB
Mapped: 103472 kB
Shmem: 17944 kB
KReclaimable: 109764 kB
Slab: 195292 kB
SReclaimable: 109764 kB
SUnreclaim: 85528 kB
KernelStack: 3824 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431816 MiB
End job on nodeC012 at 2025-07-04 00:58:32