0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.29/0.37 c #variables 20706 #constraints 21056
110.97/111.36 c #Conflicts: 1000 | #Constraints: 22055
110.97/111.36 c #Conflicts: 2000 | #Constraints: 23055
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 3000 | #Constraints: 22387
110.97/111.36 c #Conflicts: 4000 | #Constraints: 23387
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 5000 | #Constraints: 22915
110.97/111.36 c #Conflicts: 6000 | #Constraints: 23915
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 7000 | #Constraints: 23011
110.97/111.36 c #Conflicts: 8000 | #Constraints: 24011
110.97/111.36 c #Conflicts: 9000 | #Constraints: 25011
110.97/111.36 c #Conflicts: 10000 | #Constraints: 26011
110.97/111.36 c #Conflicts: 11000 | #Constraints: 27011
110.97/111.36 c #Conflicts: 12000 | #Constraints: 28011
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 13000 | #Constraints: 25060
110.97/111.36 c #Conflicts: 14000 | #Constraints: 26060
110.97/111.36 c #Conflicts: 15000 | #Constraints: 27060
110.97/111.36 c #Conflicts: 16000 | #Constraints: 28060
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 17000 | #Constraints: 25138
110.97/111.36 c #Conflicts: 18000 | #Constraints: 26138
110.97/111.36 c #Conflicts: 19000 | #Constraints: 27138
110.97/111.36 c #Conflicts: 20000 | #Constraints: 28138
110.97/111.36 c #Conflicts: 21000 | #Constraints: 29138
110.97/111.36 c #Conflicts: 22000 | #Constraints: 30138
110.97/111.36 c #Conflicts: 23000 | #Constraints: 31138
110.97/111.36 c #Conflicts: 24000 | #Constraints: 32138
110.97/111.36 c #Conflicts: 25000 | #Constraints: 33138
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 26000 | #Constraints: 27732
110.97/111.36 c #Conflicts: 27000 | #Constraints: 28732
110.97/111.36 c #Conflicts: 28000 | #Constraints: 29732
110.97/111.36 c #Conflicts: 29000 | #Constraints: 30732
110.97/111.36 c #Conflicts: 30000 | #Constraints: 31732
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 31000 | #Constraints: 27234
110.97/111.36 c #Conflicts: 32000 | #Constraints: 28234
110.97/111.36 c #Conflicts: 33000 | #Constraints: 29234
110.97/111.36 c #Conflicts: 34000 | #Constraints: 30234
110.97/111.36 c #Conflicts: 35000 | #Constraints: 31234
110.97/111.36 c #Conflicts: 36000 | #Constraints: 32234
110.97/111.36 c #Conflicts: 37000 | #Constraints: 33234
110.97/111.36 c #Conflicts: 38000 | #Constraints: 34234
110.97/111.36 c #Conflicts: 39000 | #Constraints: 35234
110.97/111.36 c #Conflicts: 40000 | #Constraints: 36234
110.97/111.36 c #Conflicts: 41000 | #Constraints: 37234
110.97/111.36 c #Conflicts: 42000 | #Constraints: 38234
110.97/111.36 c #Conflicts: 43000 | #Constraints: 39234
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 44000 | #Constraints: 31158
110.97/111.36 c #Conflicts: 45000 | #Constraints: 32158
110.97/111.36 c #Conflicts: 46000 | #Constraints: 33158
110.97/111.36 c #Conflicts: 47000 | #Constraints: 34158
110.97/111.36 c #Conflicts: 48000 | #Constraints: 35158
110.97/111.36 c #Conflicts: 49000 | #Constraints: 36158
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 50000 | #Constraints: 30193
110.97/111.36 c #Conflicts: 51000 | #Constraints: 31193
110.97/111.36 c #Conflicts: 52000 | #Constraints: 32193
110.97/111.36 c #Conflicts: 53000 | #Constraints: 33193
110.97/111.36 c #Conflicts: 54000 | #Constraints: 34193
110.97/111.36 c #Conflicts: 55000 | #Constraints: 35193
110.97/111.36 c #Conflicts: 56000 | #Constraints: 36193
110.97/111.36 c #Conflicts: 57000 | #Constraints: 37193
110.97/111.36 c #Conflicts: 58000 | #Constraints: 38193
110.97/111.36 c #Conflicts: 59000 | #Constraints: 39193
110.97/111.36 c #Conflicts: 60000 | #Constraints: 40193
110.97/111.36 c #Conflicts: 61000 | #Constraints: 41193
110.97/111.36 c #Conflicts: 62000 | #Constraints: 42193
110.97/111.36 c #Conflicts: 63000 | #Constraints: 43193
110.97/111.36 c #Conflicts: 64000 | #Constraints: 44193
110.97/111.36 c #Conflicts: 65000 | #Constraints: 45193
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
110.97/111.36 c #Conflicts: 66000 | #Constraints: 34413
110.97/111.36 c #Conflicts: 67000 | #Constraints: 35413
110.97/111.36 c #Conflicts: 68000 | #Constraints: 36413
110.97/111.36 c #Conflicts: 69000 | #Constraints: 37413
110.97/111.36 c #Conflicts: 70000 | #Constraints: 38413
110.97/111.36 c #Conflicts: 71000 | #Constraints: 39413
110.97/111.36 c #Conflicts: 72000 | #Constraints: 40413
110.97/111.36 c INPROCESSING
110.97/111.36 c GARBAGE COLLECT
235.52/236.27 c #Conflicts: 73000 | #Constraints: 32910
235.52/236.27 c #Conflicts: 74000 | #Constraints: 33910
235.52/236.27 c #Conflicts: 75000 | #Constraints: 34910
235.52/236.27 c #Conflicts: 76000 | #Constraints: 35910
235.52/236.27 c #Conflicts: 77000 | #Constraints: 36910
235.52/236.27 c #Conflicts: 78000 | #Constraints: 37910
235.52/236.27 c #Conflicts: 79000 | #Constraints: 38910
235.52/236.27 c #Conflicts: 80000 | #Constraints: 39910
235.52/236.27 c #Conflicts: 81000 | #Constraints: 40910
235.52/236.27 c #Conflicts: 82000 | #Constraints: 41910
235.52/236.27 c #Conflicts: 83000 | #Constraints: 42910
235.52/236.27 c #Conflicts: 84000 | #Constraints: 43910
235.52/236.27 c #Conflicts: 85000 | #Constraints: 44910
235.52/236.27 c #Conflicts: 86000 | #Constraints: 45910
235.52/236.27 c #Conflicts: 87000 | #Constraints: 46910
235.52/236.27 c #Conflicts: 88000 | #Constraints: 47910
235.52/236.27 c #Conflicts: 89000 | #Constraints: 48910
235.52/236.27 c #Conflicts: 90000 | #Constraints: 49910
235.52/236.27 c #Conflicts: 91000 | #Constraints: 50910
235.52/236.27 c INPROCESSING
235.52/236.27 c GARBAGE COLLECT
235.52/236.27 c #Conflicts: 92000 | #Constraints: 37196
235.52/236.27 c #Conflicts: 93000 | #Constraints: 38196
235.52/236.27 c #Conflicts: 94000 | #Constraints: 39196
235.52/236.27 c #Conflicts: 95000 | #Constraints: 40196
235.52/236.27 c #Conflicts: 96000 | #Constraints: 41196
235.52/236.27 c #Conflicts: 97000 | #Constraints: 42196
235.52/236.27 c #Conflicts: 98000 | #Constraints: 43196
235.52/236.27 c #Conflicts: 99000 | #Constraints: 44196
235.52/236.27 c #Conflicts: 100000 | #Constraints: 45196
235.52/236.27 c INPROCESSING
235.52/236.27 c GARBAGE COLLECT
235.52/236.27 c #Conflicts: 101000 | #Constraints: 36323
235.52/236.27 c #Conflicts: 102000 | #Constraints: 37323
235.52/236.27 c #Conflicts: 103000 | #Constraints: 38323
235.52/236.27 c #Conflicts: 104000 | #Constraints: 39323
235.52/236.27 c #Conflicts: 105000 | #Constraints: 40323
235.52/236.27 c #Conflicts: 106000 | #Constraints: 41323
235.52/236.27 c #Conflicts: 107000 | #Constraints: 42323
235.52/236.27 c #Conflicts: 108000 | #Constraints: 43323
235.52/236.27 c #Conflicts: 109000 | #Constraints: 44323
235.52/236.27 c #Conflicts: 110000 | #Constraints: 45323
235.52/236.27 c #Conflicts: 111000 | #Constraints: 46323
235.52/236.27 c #Conflicts: 112000 | #Constraints: 47323
235.52/236.27 c #Conflicts: 113000 | #Constraints: 48323
235.52/236.27 c #Conflicts: 114000 | #Constraints: 49323
235.52/236.27 c #Conflicts: 115000 | #Constraints: 50323
235.52/236.27 c #Conflicts: 116000 | #Constraints: 51323
235.52/236.27 c #Conflicts: 117000 | #Constraints: 52323
235.52/236.27 c #Conflicts: 118000 | #Constraints: 53323
235.52/236.27 c #Conflicts: 119000 | #Constraints: 54323
235.52/236.27 c #Conflicts: 120000 | #Constraints: 55323
235.52/236.27 c #Conflicts: 121000 | #Constraints: 56323
235.52/236.27 c INPROCESSING
235.52/236.27 c GARBAGE COLLECT
235.52/236.27 c #Conflicts: 122000 | #Constraints: 39734
235.52/236.27 c #Conflicts: 123000 | #Constraints: 40734
235.52/236.27 c #Conflicts: 124000 | #Constraints: 41734
235.52/236.27 c #Conflicts: 125000 | #Constraints: 42734
235.52/236.27 c #Conflicts: 126000 | #Constraints: 43734
235.52/236.27 c #Conflicts: 127000 | #Constraints: 44734
235.52/236.27 c #Conflicts: 128000 | #Constraints: 45734
235.52/236.27 c #Conflicts: 129000 | #Constraints: 46734
235.52/236.27 c #Conflicts: 130000 | #Constraints: 47734
235.52/236.27 c #Conflicts: 131000 | #Constraints: 48734
235.52/236.27 c #Conflicts: 132000 | #Constraints: 49734
235.52/236.27 c INPROCESSING
235.52/236.27 c GARBAGE COLLECT
235.52/236.27 c #Conflicts: 133000 | #Constraints: 39294
235.52/236.27 c #Conflicts: 134000 | #Constraints: 40294
235.52/236.27 c #Conflicts: 135000 | #Constraints: 41294
235.52/236.27 c #Conflicts: 136000 | #Constraints: 42294
235.52/236.27 c #Conflicts: 137000 | #Constraints: 43294
235.52/236.27 c #Conflicts: 138000 | #Constraints: 44294
235.52/236.27 c #Conflicts: 139000 | #Constraints: 45294
235.52/236.27 c #Conflicts: 140000 | #Constraints: 46294
235.52/236.27 c #Conflicts: 141000 | #Constraints: 47294
235.52/236.27 c #Conflicts: 142000 | #Constraints: 48294
235.52/236.27 c #Conflicts: 143000 | #Constraints: 49294
235.52/236.27 c #Conflicts: 144000 | #Constraints: 50294
235.52/236.27 c #Conflicts: 145000 | #Constraints: 51294
235.52/236.27 c #Conflicts: 146000 | #Constraints: 52294
235.52/236.27 c #Conflicts: 147000 | #Constraints: 53294
235.52/236.27 c #Conflicts: 148000 | #Constraints: 54294
235.52/236.27 c #Conflicts: 149000 | #Constraints: 55294
355.45/356.51 c #Conflicts: 150000 | #Constraints: 56294
355.45/356.51 c #Conflicts: 151000 | #Constraints: 57294
355.45/356.51 c #Conflicts: 152000 | #Constraints: 58294
355.45/356.51 c #Conflicts: 153000 | #Constraints: 59294
355.45/356.51 c #Conflicts: 154000 | #Constraints: 60294
355.45/356.51 c #Conflicts: 155000 | #Constraints: 61294
355.45/356.51 c #Conflicts: 156000 | #Constraints: 62294
355.45/356.51 c INPROCESSING
355.45/356.51 c GARBAGE COLLECT
355.45/356.51 c #Conflicts: 157000 | #Constraints: 42778
355.45/356.51 c #Conflicts: 158000 | #Constraints: 43778
355.45/356.51 c #Conflicts: 159000 | #Constraints: 44778
355.45/356.51 c #Conflicts: 160000 | #Constraints: 45778
355.45/356.51 c #Conflicts: 161000 | #Constraints: 46778
355.45/356.51 c #Conflicts: 162000 | #Constraints: 47778
355.45/356.51 c #Conflicts: 163000 | #Constraints: 48778
355.45/356.51 c #Conflicts: 164000 | #Constraints: 49778
355.45/356.51 c #Conflicts: 165000 | #Constraints: 50778
355.45/356.51 c #Conflicts: 166000 | #Constraints: 51778
355.45/356.51 c #Conflicts: 167000 | #Constraints: 52778
355.45/356.51 c #Conflicts: 168000 | #Constraints: 53778
355.45/356.51 c INPROCESSING
355.45/356.51 c GARBAGE COLLECT
355.45/356.51 c #Conflicts: 169000 | #Constraints: 41953
355.45/356.51 c #Conflicts: 170000 | #Constraints: 42953
355.45/356.51 c #Conflicts: 171000 | #Constraints: 43953
355.45/356.51 c #Conflicts: 172000 | #Constraints: 44953
355.45/356.51 c #Conflicts: 173000 | #Constraints: 45953
355.45/356.51 c #Conflicts: 174000 | #Constraints: 46953
355.45/356.51 c #Conflicts: 175000 | #Constraints: 47953
355.45/356.51 c #Conflicts: 176000 | #Constraints: 48953
355.45/356.51 c #Conflicts: 177000 | #Constraints: 49953
355.45/356.51 c #Conflicts: 178000 | #Constraints: 50953
355.45/356.51 c #Conflicts: 179000 | #Constraints: 51953
355.45/356.51 c #Conflicts: 180000 | #Constraints: 52953
355.45/356.51 c #Conflicts: 181000 | #Constraints: 53953
355.45/356.51 c #Conflicts: 182000 | #Constraints: 54953
355.45/356.51 c #Conflicts: 183000 | #Constraints: 55953
355.45/356.51 c #Conflicts: 184000 | #Constraints: 56953
355.45/356.51 c #Conflicts: 185000 | #Constraints: 57953
355.45/356.51 c #Conflicts: 186000 | #Constraints: 58953
355.45/356.51 c #Conflicts: 187000 | #Constraints: 59953
355.45/356.51 c #Conflicts: 188000 | #Constraints: 60953
355.45/356.51 c #Conflicts: 189000 | #Constraints: 61953
355.45/356.51 c #Conflicts: 190000 | #Constraints: 62953
355.45/356.51 c #Conflicts: 191000 | #Constraints: 63953
355.45/356.51 c #Conflicts: 192000 | #Constraints: 64953
355.45/356.51 c #Conflicts: 193000 | #Constraints: 65953
355.45/356.51 c #Conflicts: 194000 | #Constraints: 66953
355.45/356.51 c #Conflicts: 195000 | #Constraints: 67953
355.45/356.51 c #Conflicts: 196000 | #Constraints: 68953
355.45/356.51 c INPROCESSING
355.45/356.51 c GARBAGE COLLECT
355.45/356.51 c #Conflicts: 197000 | #Constraints: 46541
355.45/356.51 c #Conflicts: 198000 | #Constraints: 47541
355.45/356.51 c #Conflicts: 199000 | #Constraints: 48541
355.45/356.51 c #Conflicts: 200000 | #Constraints: 49541
355.45/356.51 c #Conflicts: 201000 | #Constraints: 50541
355.45/356.51 c #Conflicts: 202000 | #Constraints: 51541
355.45/356.51 c #Conflicts: 203000 | #Constraints: 52541
355.45/356.51 c #Conflicts: 204000 | #Constraints: 53541
355.45/356.51 c #Conflicts: 205000 | #Constraints: 54541
355.45/356.51 c #Conflicts: 206000 | #Constraints: 55541
355.45/356.51 c #Conflicts: 207000 | #Constraints: 56541
355.45/356.51 c #Conflicts: 208000 | #Constraints: 57541
355.45/356.51 c #Conflicts: 209000 | #Constraints: 58541
355.45/356.51 c INPROCESSING
355.45/356.51 c GARBAGE COLLECT
355.45/356.51 c #Conflicts: 210000 | #Constraints: 45065
355.45/356.51 c #Conflicts: 211000 | #Constraints: 46065
355.45/356.51 c #Conflicts: 212000 | #Constraints: 47065
355.45/356.51 c #Conflicts: 213000 | #Constraints: 48065
355.45/356.51 c #Conflicts: 214000 | #Constraints: 49065
355.45/356.51 c #Conflicts: 215000 | #Constraints: 50065
355.45/356.51 c #Conflicts: 216000 | #Constraints: 51065
355.45/356.51 c #Conflicts: 217000 | #Constraints: 52065
355.45/356.51 c #Conflicts: 218000 | #Constraints: 53065
355.45/356.51 c #Conflicts: 219000 | #Constraints: 54065
355.45/356.51 c #Conflicts: 220000 | #Constraints: 55065
355.45/356.51 c #Conflicts: 221000 | #Constraints: 56065
355.45/356.51 c #Conflicts: 222000 | #Constraints: 57065
355.45/356.51 c #Conflicts: 223000 | #Constraints: 58065
355.45/356.51 c #Conflicts: 224000 | #Constraints: 59065
355.45/356.51 c #Conflicts: 225000 | #Constraints: 60065
436.20/437.55 c #Conflicts: 226000 | #Constraints: 61065
436.20/437.55 c #Conflicts: 227000 | #Constraints: 62065
436.20/437.55 c #Conflicts: 228000 | #Constraints: 63065
436.20/437.55 c #Conflicts: 229000 | #Constraints: 64065
436.20/437.55 c #Conflicts: 230000 | #Constraints: 65065
436.20/437.55 c #Conflicts: 231000 | #Constraints: 66065
436.20/437.55 c #Conflicts: 232000 | #Constraints: 67065
436.20/437.55 c #Conflicts: 233000 | #Constraints: 68065
436.20/437.55 c #Conflicts: 234000 | #Constraints: 69065
436.20/437.55 c #Conflicts: 235000 | #Constraints: 70065
436.20/437.55 c #Conflicts: 236000 | #Constraints: 71065
436.20/437.55 c #Conflicts: 237000 | #Constraints: 72065
436.20/437.55 c #Conflicts: 238000 | #Constraints: 73065
436.20/437.55 c #Conflicts: 239000 | #Constraints: 74065
436.20/437.55 c #Conflicts: 240000 | #Constraints: 75065
436.20/437.55 c INPROCESSING
436.20/437.55 c GARBAGE COLLECT
436.20/437.55 c rational objective 174
576.59/578.38 c #Conflicts: 241000 | #Constraints: 49864
576.59/578.38 c #Conflicts: 242000 | #Constraints: 50864
576.59/578.38 c #Conflicts: 243000 | #Constraints: 51864
576.59/578.38 c #Conflicts: 244000 | #Constraints: 52864
576.59/578.38 c #Conflicts: 245000 | #Constraints: 53864
576.59/578.38 c #Conflicts: 246000 | #Constraints: 54864
576.59/578.38 c #Conflicts: 247000 | #Constraints: 55864
576.59/578.38 c #Conflicts: 248000 | #Constraints: 56865
576.59/578.38 c #Conflicts: 249000 | #Constraints: 57865
576.59/578.38 c #Conflicts: 250000 | #Constraints: 58865
576.59/578.38 c #Conflicts: 251000 | #Constraints: 59865
576.59/578.38 c #Conflicts: 252000 | #Constraints: 60865
576.59/578.38 c #Conflicts: 253000 | #Constraints: 61865
576.59/578.38 c #Conflicts: 254000 | #Constraints: 62865
576.59/578.38 c INPROCESSING
576.59/578.38 c GARBAGE COLLECT
576.59/578.38 c #Conflicts: 255000 | #Constraints: 47306
576.59/578.38 c #Conflicts: 256000 | #Constraints: 48306
576.59/578.38 c #Conflicts: 257000 | #Constraints: 49306
576.59/578.38 c #Conflicts: 258000 | #Constraints: 50306
576.59/578.38 c #Conflicts: 259000 | #Constraints: 51306
576.59/578.38 c #Conflicts: 260000 | #Constraints: 52306
576.59/578.38 c #Conflicts: 261000 | #Constraints: 53306
576.59/578.38 c #Conflicts: 262000 | #Constraints: 54306
576.59/578.38 c #Conflicts: 263000 | #Constraints: 55306
576.59/578.38 c #Conflicts: 264000 | #Constraints: 56306
576.59/578.38 c #Conflicts: 265000 | #Constraints: 57306
576.59/578.38 c #Conflicts: 266000 | #Constraints: 58306
576.59/578.38 c #Conflicts: 267000 | #Constraints: 59306
576.59/578.38 c #Conflicts: 268000 | #Constraints: 60306
576.59/578.38 c #Conflicts: 269000 | #Constraints: 61306
576.59/578.38 c #Conflicts: 270000 | #Constraints: 62306
576.59/578.38 c #Conflicts: 271000 | #Constraints: 63306
576.59/578.38 c #Conflicts: 272000 | #Constraints: 64306
576.59/578.38 c #Conflicts: 273000 | #Constraints: 65306
576.59/578.38 c #Conflicts: 274000 | #Constraints: 66306
576.59/578.38 c #Conflicts: 275000 | #Constraints: 67306
576.59/578.38 c #Conflicts: 276000 | #Constraints: 68306
576.59/578.38 c #Conflicts: 277000 | #Constraints: 69306
576.59/578.38 c #Conflicts: 278000 | #Constraints: 70306
576.59/578.38 c #Conflicts: 279000 | #Constraints: 71306
576.59/578.38 c #Conflicts: 280000 | #Constraints: 72306
576.59/578.38 c #Conflicts: 281000 | #Constraints: 73306
576.59/578.38 c #Conflicts: 282000 | #Constraints: 74306
576.59/578.38 c #Conflicts: 283000 | #Constraints: 75306
576.59/578.38 c #Conflicts: 284000 | #Constraints: 76306
576.59/578.38 c #Conflicts: 285000 | #Constraints: 77306
576.59/578.38 c #Conflicts: 286000 | #Constraints: 78306
576.59/578.38 c #Conflicts: 287000 | #Constraints: 79306
576.59/578.38 c #Conflicts: 288000 | #Constraints: 80306
576.59/578.38 c INPROCESSING
576.59/578.38 c GARBAGE COLLECT
576.59/578.38 c #Conflicts: 289000 | #Constraints: 52451
576.59/578.38 c #Conflicts: 290000 | #Constraints: 53451
576.59/578.38 c #Conflicts: 291000 | #Constraints: 54451
576.59/578.38 c #Conflicts: 292000 | #Constraints: 55451
576.59/578.38 c #Conflicts: 293000 | #Constraints: 56451
576.59/578.38 c #Conflicts: 294000 | #Constraints: 57451
576.59/578.38 c #Conflicts: 295000 | #Constraints: 58451
576.59/578.38 c #Conflicts: 296000 | #Constraints: 59451
576.59/578.38 c #Conflicts: 297000 | #Constraints: 60451
576.59/578.38 c #Conflicts: 298000 | #Constraints: 61451
576.59/578.38 c #Conflicts: 299000 | #Constraints: 62451
576.59/578.38 c #Conflicts: 300000 | #Constraints: 63451
576.59/578.38 c #Conflicts: 301000 | #Constraints: 64451
576.59/578.38 c #Conflicts: 302000 | #Constraints: 65451
576.59/578.38 c #Conflicts: 303000 | #Constraints: 66451
576.59/578.38 c INPROCESSING
576.59/578.38 c GARBAGE COLLECT
576.59/578.38 c #Conflicts: 304000 | #Constraints: 49690
576.59/578.38 c #Conflicts: 305000 | #Constraints: 50690
576.59/578.38 c #Conflicts: 306000 | #Constraints: 51690
576.59/578.38 c #Conflicts: 307000 | #Constraints: 52690
576.59/578.38 c #Conflicts: 308000 | #Constraints: 53690
576.59/578.38 c #Conflicts: 309000 | #Constraints: 54690
576.59/578.38 c #Conflicts: 310000 | #Constraints: 55690
576.59/578.38 c #Conflicts: 311000 | #Constraints: 56690
576.59/578.38 c #Conflicts: 312000 | #Constraints: 57690
576.59/578.38 c #Conflicts: 313000 | #Constraints: 58690
576.59/578.38 c #Conflicts: 314000 | #Constraints: 59690
576.59/578.38 c #Conflicts: 315000 | #Constraints: 60690
576.59/578.38 c #Conflicts: 316000 | #Constraints: 61690
576.59/578.38 c #Conflicts: 317000 | #Constraints: 62690
750.25/752.53 c #Conflicts: 318000 | #Constraints: 63690
750.25/752.53 c #Conflicts: 319000 | #Constraints: 64690
750.25/752.53 c #Conflicts: 320000 | #Constraints: 65690
750.25/752.53 c #Conflicts: 321000 | #Constraints: 66690
750.25/752.53 c #Conflicts: 322000 | #Constraints: 67690
750.25/752.53 c #Conflicts: 323000 | #Constraints: 68690
750.25/752.53 c #Conflicts: 324000 | #Constraints: 69690
750.25/752.53 c #Conflicts: 325000 | #Constraints: 70690
750.25/752.53 c #Conflicts: 326000 | #Constraints: 71690
750.25/752.53 c #Conflicts: 327000 | #Constraints: 72690
750.25/752.53 c #Conflicts: 328000 | #Constraints: 73690
750.25/752.53 c #Conflicts: 329000 | #Constraints: 74690
750.25/752.53 c #Conflicts: 330000 | #Constraints: 75690
750.25/752.53 c #Conflicts: 331000 | #Constraints: 76690
750.25/752.53 c #Conflicts: 332000 | #Constraints: 77690
750.25/752.53 c #Conflicts: 333000 | #Constraints: 78690
750.25/752.53 c #Conflicts: 334000 | #Constraints: 79690
750.25/752.53 c #Conflicts: 335000 | #Constraints: 80690
750.25/752.53 c #Conflicts: 336000 | #Constraints: 81690
750.25/752.53 c #Conflicts: 337000 | #Constraints: 82690
750.25/752.53 c #Conflicts: 338000 | #Constraints: 83690
750.25/752.53 c #Conflicts: 339000 | #Constraints: 84690
750.25/752.53 c #Conflicts: 340000 | #Constraints: 85690
750.25/752.53 c INPROCESSING
750.25/752.53 c GARBAGE COLLECT
750.25/752.53 c #Conflicts: 341000 | #Constraints: 54753
750.25/752.53 c #Conflicts: 342000 | #Constraints: 55753
750.25/752.53 c #Conflicts: 343000 | #Constraints: 56753
750.25/752.53 c #Conflicts: 344000 | #Constraints: 57753
750.25/752.53 c #Conflicts: 345000 | #Constraints: 58753
750.25/752.53 c #Conflicts: 346000 | #Constraints: 59753
750.25/752.53 c #Conflicts: 347000 | #Constraints: 60753
750.25/752.53 c #Conflicts: 348000 | #Constraints: 61753
750.25/752.53 c #Conflicts: 349000 | #Constraints: 62753
750.25/752.53 c #Conflicts: 350000 | #Constraints: 63753
750.25/752.53 c #Conflicts: 351000 | #Constraints: 64753
750.25/752.53 c #Conflicts: 352000 | #Constraints: 65753
750.25/752.53 c #Conflicts: 353000 | #Constraints: 66753
750.25/752.53 c #Conflicts: 354000 | #Constraints: 67753
750.25/752.53 c #Conflicts: 355000 | #Constraints: 68753
750.25/752.53 c #Conflicts: 356000 | #Constraints: 69753
750.25/752.53 c #Conflicts: 357000 | #Constraints: 70753
750.25/752.53 c INPROCESSING
750.25/752.53 c GARBAGE COLLECT
750.25/752.53 c #Conflicts: 358000 | #Constraints: 52778
750.25/752.53 c #Conflicts: 359000 | #Constraints: 53778
750.25/752.53 c #Conflicts: 360000 | #Constraints: 54778
750.25/752.53 c #Conflicts: 361000 | #Constraints: 55778
750.25/752.53 c #Conflicts: 362000 | #Constraints: 56778
750.25/752.53 c #Conflicts: 363000 | #Constraints: 57778
750.25/752.53 c #Conflicts: 364000 | #Constraints: 58778
750.25/752.53 c #Conflicts: 365000 | #Constraints: 59778
750.25/752.53 c #Conflicts: 366000 | #Constraints: 60778
750.25/752.53 c #Conflicts: 367000 | #Constraints: 61778
750.25/752.53 c #Conflicts: 368000 | #Constraints: 62778
750.25/752.53 c #Conflicts: 369000 | #Constraints: 63778
750.25/752.53 c #Conflicts: 370000 | #Constraints: 64778
750.25/752.53 c #Conflicts: 371000 | #Constraints: 65778
750.25/752.53 c #Conflicts: 372000 | #Constraints: 66778
750.25/752.53 c #Conflicts: 373000 | #Constraints: 67778
750.25/752.53 c #Conflicts: 374000 | #Constraints: 68778
750.25/752.53 c #Conflicts: 375000 | #Constraints: 69778
750.25/752.53 c #Conflicts: 376000 | #Constraints: 70778
750.25/752.53 c #Conflicts: 377000 | #Constraints: 71778
750.25/752.53 c #Conflicts: 378000 | #Constraints: 72778
750.25/752.53 c #Conflicts: 379000 | #Constraints: 73778
750.25/752.53 c #Conflicts: 380000 | #Constraints: 74778
750.25/752.53 c #Conflicts: 381000 | #Constraints: 75778
750.25/752.53 c #Conflicts: 382000 | #Constraints: 76778
750.25/752.53 c #Conflicts: 383000 | #Constraints: 77778
750.25/752.53 c #Conflicts: 384000 | #Constraints: 78778
750.25/752.53 c #Conflicts: 385000 | #Constraints: 79778
750.25/752.53 c #Conflicts: 386000 | #Constraints: 80778
750.25/752.53 c #Conflicts: 387000 | #Constraints: 81778
750.25/752.53 c #Conflicts: 388000 | #Constraints: 82778
750.25/752.53 c #Conflicts: 389000 | #Constraints: 83778
750.25/752.53 c #Conflicts: 390000 | #Constraints: 84778
750.25/752.53 c #Conflicts: 391000 | #Constraints: 85778
750.25/752.53 c #Conflicts: 392000 | #Constraints: 86778
750.25/752.53 c #Conflicts: 393000 | #Constraints: 87778
750.25/752.53 c #Conflicts: 394000 | #Constraints: 88778
750.25/752.53 c #Conflicts: 395000 | #Constraints: 89778
899.50/902.27 c #Conflicts: 396000 | #Constraints: 90778
899.50/902.27 c #Conflicts: 397000 | #Constraints: 91778
899.50/902.27 c INPROCESSING
899.50/902.27 c GARBAGE COLLECT
899.50/902.27 c #Conflicts: 398000 | #Constraints: 57746
899.50/902.27 c #Conflicts: 399000 | #Constraints: 58746
899.50/902.27 c #Conflicts: 400000 | #Constraints: 59746
899.50/902.27 c #Conflicts: 401000 | #Constraints: 60746
899.50/902.27 c #Conflicts: 402000 | #Constraints: 61746
899.50/902.27 c #Conflicts: 403000 | #Constraints: 62746
899.50/902.27 c #Conflicts: 404000 | #Constraints: 63746
899.50/902.27 c #Conflicts: 405000 | #Constraints: 64746
899.50/902.27 c #Conflicts: 406000 | #Constraints: 65746
899.50/902.27 c #Conflicts: 407000 | #Constraints: 66746
899.50/902.27 c #Conflicts: 408000 | #Constraints: 67746
899.50/902.27 c #Conflicts: 409000 | #Constraints: 68746
899.50/902.27 c #Conflicts: 410000 | #Constraints: 69746
899.50/902.27 c #Conflicts: 411000 | #Constraints: 70746
899.50/902.27 c #Conflicts: 412000 | #Constraints: 71746
899.50/902.27 c #Conflicts: 413000 | #Constraints: 72746
899.50/902.27 c #Conflicts: 414000 | #Constraints: 73746
899.50/902.27 c #Conflicts: 415000 | #Constraints: 74746
899.50/902.27 c INPROCESSING
899.50/902.27 c GARBAGE COLLECT
899.50/902.27 c #Conflicts: 416000 | #Constraints: 55445
899.50/902.27 c #Conflicts: 417000 | #Constraints: 56445
899.50/902.27 c #Conflicts: 418000 | #Constraints: 57445
899.50/902.27 c #Conflicts: 419000 | #Constraints: 58445
899.50/902.27 c #Conflicts: 420000 | #Constraints: 59445
899.50/902.27 c #Conflicts: 421000 | #Constraints: 60445
899.50/902.27 c #Conflicts: 422000 | #Constraints: 61445
899.50/902.27 c #Conflicts: 423000 | #Constraints: 62445
899.50/902.27 c #Conflicts: 424000 | #Constraints: 63445
899.50/902.27 c #Conflicts: 425000 | #Constraints: 64445
899.50/902.27 c #Conflicts: 426000 | #Constraints: 65445
899.50/902.27 c #Conflicts: 427000 | #Constraints: 66445
899.50/902.27 c #Conflicts: 428000 | #Constraints: 67445
899.50/902.27 c #Conflicts: 429000 | #Constraints: 68445
899.50/902.27 c #Conflicts: 430000 | #Constraints: 69445
899.50/902.27 c #Conflicts: 431000 | #Constraints: 70445
899.50/902.27 c #Conflicts: 432000 | #Constraints: 71445
899.50/902.27 c #Conflicts: 433000 | #Constraints: 72445
899.50/902.27 c #Conflicts: 434000 | #Constraints: 73445
899.50/902.27 c #Conflicts: 435000 | #Constraints: 74445
899.50/902.27 c #Conflicts: 436000 | #Constraints: 75445
899.50/902.27 c #Conflicts: 437000 | #Constraints: 76445
899.50/902.27 c #Conflicts: 438000 | #Constraints: 77445
899.50/902.27 c #Conflicts: 439000 | #Constraints: 78445
899.50/902.27 c #Conflicts: 440000 | #Constraints: 79445
899.50/902.27 c #Conflicts: 441000 | #Constraints: 80445
899.50/902.27 c #Conflicts: 442000 | #Constraints: 81445
899.50/902.27 c #Conflicts: 443000 | #Constraints: 82445
899.50/902.27 c #Conflicts: 444000 | #Constraints: 83445
899.50/902.27 c #Conflicts: 445000 | #Constraints: 84445
899.50/902.27 c #Conflicts: 446000 | #Constraints: 85445
899.50/902.27 c #Conflicts: 447000 | #Constraints: 86445
899.50/902.27 c #Conflicts: 448000 | #Constraints: 87445
899.50/902.27 c #Conflicts: 449000 | #Constraints: 88445
899.50/902.27 c #Conflicts: 450000 | #Constraints: 89445
899.50/902.27 c #Conflicts: 451000 | #Constraints: 90445
899.50/902.27 c #Conflicts: 452000 | #Constraints: 91445
899.50/902.27 c #Conflicts: 453000 | #Constraints: 92445
899.50/902.27 c #Conflicts: 454000 | #Constraints: 93445
899.50/902.27 c #Conflicts: 455000 | #Constraints: 94445
899.50/902.27 c #Conflicts: 456000 | #Constraints: 95445
899.50/902.27 c #Conflicts: 457000 | #Constraints: 96445
899.50/902.27 c #Conflicts: 458000 | #Constraints: 97445
899.50/902.27 c #Conflicts: 459000 | #Constraints: 98445
899.50/902.27 c INPROCESSING
899.50/902.27 c GARBAGE COLLECT
899.50/902.27 c #Conflicts: 460000 | #Constraints: 61818
899.50/902.27 c #Conflicts: 461000 | #Constraints: 62818
899.50/902.27 c #Conflicts: 462000 | #Constraints: 63818
899.50/902.27 c #Conflicts: 463000 | #Constraints: 64818
899.50/902.27 c #Conflicts: 464000 | #Constraints: 65818
899.50/902.27 c #Conflicts: 465000 | #Constraints: 66818
899.50/902.27 c #Conflicts: 466000 | #Constraints: 67818
899.50/902.27 c #Conflicts: 467000 | #Constraints: 68818
899.50/902.27 c #Conflicts: 468000 | #Constraints: 69818
899.50/902.27 c #Conflicts: 469000 | #Constraints: 70818
899.50/902.27 c #Conflicts: 470000 | #Constraints: 71818
899.50/902.27 c #Conflicts: 471000 | #Constraints: 72818
899.50/902.27 c #Conflicts: 472000 | #Constraints: 73818
1108.06/1111.50 c #Conflicts: 473000 | #Constraints: 74818
1108.06/1111.50 c #Conflicts: 474000 | #Constraints: 75818
1108.06/1111.50 c #Conflicts: 475000 | #Constraints: 76818
1108.06/1111.50 c #Conflicts: 476000 | #Constraints: 77818
1108.06/1111.50 c #Conflicts: 477000 | #Constraints: 78818
1108.06/1111.50 c #Conflicts: 478000 | #Constraints: 79818
1108.06/1111.50 c INPROCESSING
1108.06/1111.50 c GARBAGE COLLECT
1108.06/1111.50 c #Conflicts: 479000 | #Constraints: 58130
1108.06/1111.50 c #Conflicts: 480000 | #Constraints: 59130
1108.06/1111.50 c #Conflicts: 481000 | #Constraints: 60130
1108.06/1111.50 c #Conflicts: 482000 | #Constraints: 61130
1108.06/1111.50 c #Conflicts: 483000 | #Constraints: 62130
1108.06/1111.50 c #Conflicts: 484000 | #Constraints: 63130
1108.06/1111.50 c #Conflicts: 485000 | #Constraints: 64130
1108.06/1111.50 c #Conflicts: 486000 | #Constraints: 65130
1108.06/1111.50 c #Conflicts: 487000 | #Constraints: 66130
1108.06/1111.50 c #Conflicts: 488000 | #Constraints: 67130
1108.06/1111.50 c #Conflicts: 489000 | #Constraints: 68130
1108.06/1111.50 c #Conflicts: 490000 | #Constraints: 69130
1108.06/1111.50 c #Conflicts: 491000 | #Constraints: 70130
1108.06/1111.50 c #Conflicts: 492000 | #Constraints: 71130
1108.06/1111.50 c #Conflicts: 493000 | #Constraints: 72130
1108.06/1111.50 c #Conflicts: 494000 | #Constraints: 73130
1108.06/1111.50 c #Conflicts: 495000 | #Constraints: 74130
1108.06/1111.50 c #Conflicts: 496000 | #Constraints: 75130
1108.06/1111.50 c #Conflicts: 497000 | #Constraints: 76130
1108.06/1111.50 c #Conflicts: 498000 | #Constraints: 77130
1108.06/1111.50 c #Conflicts: 499000 | #Constraints: 78130
1108.06/1111.50 c #Conflicts: 500000 | #Constraints: 79130
1108.06/1111.50 c #Conflicts: 501000 | #Constraints: 80130
1108.06/1111.50 c #Conflicts: 502000 | #Constraints: 81130
1108.06/1111.50 c #Conflicts: 503000 | #Constraints: 82130
1108.06/1111.50 c #Conflicts: 504000 | #Constraints: 83130
1108.06/1111.50 c #Conflicts: 505000 | #Constraints: 84130
1108.06/1111.50 c #Conflicts: 506000 | #Constraints: 85130
1108.06/1111.50 c #Conflicts: 507000 | #Constraints: 86130
1108.06/1111.50 c #Conflicts: 508000 | #Constraints: 87130
1108.06/1111.50 c #Conflicts: 509000 | #Constraints: 88130
1108.06/1111.50 c #Conflicts: 510000 | #Constraints: 89130
1108.06/1111.50 c #Conflicts: 511000 | #Constraints: 90130
1108.06/1111.50 c #Conflicts: 512000 | #Constraints: 91130
1108.06/1111.50 c #Conflicts: 513000 | #Constraints: 92130
1108.06/1111.50 c #Conflicts: 514000 | #Constraints: 93130
1108.06/1111.50 c #Conflicts: 515000 | #Constraints: 94130
1108.06/1111.50 c #Conflicts: 516000 | #Constraints: 95130
1108.06/1111.50 c #Conflicts: 517000 | #Constraints: 96130
1108.06/1111.50 c #Conflicts: 518000 | #Constraints: 97130
1108.06/1111.50 c #Conflicts: 519000 | #Constraints: 98130
1108.06/1111.50 c #Conflicts: 520000 | #Constraints: 99130
1108.06/1111.50 c #Conflicts: 521000 | #Constraints: 100130
1108.06/1111.50 c #Conflicts: 522000 | #Constraints: 101130
1108.06/1111.50 c #Conflicts: 523000 | #Constraints: 102130
1108.06/1111.50 c #Conflicts: 524000 | #Constraints: 103130
1108.06/1111.50 c #Conflicts: 525000 | #Constraints: 104130
1108.06/1111.50 c INPROCESSING
1108.06/1111.50 c GARBAGE COLLECT
1108.06/1111.50 c #Conflicts: 526000 | #Constraints: 64560
1108.06/1111.50 c #Conflicts: 527000 | #Constraints: 65560
1108.06/1111.50 c #Conflicts: 528000 | #Constraints: 66560
1108.06/1111.50 c #Conflicts: 529000 | #Constraints: 67560
1108.06/1111.50 c #Conflicts: 530000 | #Constraints: 68560
1108.06/1111.50 c #Conflicts: 531000 | #Constraints: 69560
1108.06/1111.50 c #Conflicts: 532000 | #Constraints: 70560
1108.06/1111.50 c #Conflicts: 533000 | #Constraints: 71560
1108.06/1111.50 c #Conflicts: 534000 | #Constraints: 72560
1108.06/1111.50 c #Conflicts: 535000 | #Constraints: 73560
1108.06/1111.50 c #Conflicts: 536000 | #Constraints: 74561
1108.06/1111.50 c #Conflicts: 537000 | #Constraints: 75561
1108.06/1111.50 c #Conflicts: 538000 | #Constraints: 76561
1108.06/1111.50 c #Conflicts: 539000 | #Constraints: 77561
1108.06/1111.50 c #Conflicts: 540000 | #Constraints: 78561
1108.06/1111.50 c #Conflicts: 541000 | #Constraints: 79561
1108.06/1111.50 c #Conflicts: 542000 | #Constraints: 80561
1108.06/1111.50 c #Conflicts: 543000 | #Constraints: 81561
1108.06/1111.50 c #Conflicts: 544000 | #Constraints: 82561
1108.06/1111.50 c #Conflicts: 545000 | #Constraints: 83561
1108.06/1111.50 c INPROCESSING
1108.06/1111.50 c GARBAGE COLLECT
1108.06/1111.50 c #Conflicts: 546000 | #Constraints: 60762
1108.06/1111.50 c #Conflicts: 547000 | #Constraints: 61762
1108.06/1111.50 c #Conflicts: 548000 | #Constraints: 62762
1108.06/1111.50 c #Conflicts: 549000 | #Constraints: 63762
1259.10/1262.94 c #Conflicts: 550000 | #Constraints: 64762
1259.10/1262.94 c #Conflicts: 551000 | #Constraints: 65762
1259.10/1262.94 c #Conflicts: 552000 | #Constraints: 66762
1259.10/1262.94 c #Conflicts: 553000 | #Constraints: 67762
1259.10/1262.94 c #Conflicts: 554000 | #Constraints: 68762
1259.10/1262.94 c #Conflicts: 555000 | #Constraints: 69762
1259.10/1262.94 c #Conflicts: 556000 | #Constraints: 70762
1259.10/1262.94 c #Conflicts: 557000 | #Constraints: 71762
1259.10/1262.94 c #Conflicts: 558000 | #Constraints: 72762
1259.10/1262.94 c #Conflicts: 559000 | #Constraints: 73762
1259.10/1262.94 c #Conflicts: 560000 | #Constraints: 74762
1259.10/1262.94 c #Conflicts: 561000 | #Constraints: 75762
1259.10/1262.94 c #Conflicts: 562000 | #Constraints: 76762
1259.10/1262.94 c #Conflicts: 563000 | #Constraints: 77762
1259.10/1262.94 c #Conflicts: 564000 | #Constraints: 78762
1259.10/1262.94 c #Conflicts: 565000 | #Constraints: 79762
1259.10/1262.94 c #Conflicts: 566000 | #Constraints: 80762
1259.10/1262.94 c #Conflicts: 567000 | #Constraints: 81762
1259.10/1262.94 c #Conflicts: 568000 | #Constraints: 82762
1259.10/1262.94 c #Conflicts: 569000 | #Constraints: 83762
1259.10/1262.94 c #Conflicts: 570000 | #Constraints: 84762
1259.10/1262.94 c #Conflicts: 571000 | #Constraints: 85762
1259.10/1262.94 c #Conflicts: 572000 | #Constraints: 86762
1259.10/1262.94 c #Conflicts: 573000 | #Constraints: 87762
1259.10/1262.94 c #Conflicts: 574000 | #Constraints: 88762
1259.10/1262.94 c #Conflicts: 575000 | #Constraints: 89762
1259.10/1262.94 c #Conflicts: 576000 | #Constraints: 90762
1259.10/1262.94 c #Conflicts: 577000 | #Constraints: 91762
1259.10/1262.94 c #Conflicts: 578000 | #Constraints: 92762
1259.10/1262.94 c #Conflicts: 579000 | #Constraints: 93762
1259.10/1262.94 c #Conflicts: 580000 | #Constraints: 94762
1259.10/1262.94 c #Conflicts: 581000 | #Constraints: 95762
1259.10/1262.94 c #Conflicts: 582000 | #Constraints: 96762
1259.10/1262.94 c #Conflicts: 583000 | #Constraints: 97762
1259.10/1262.94 c #Conflicts: 584000 | #Constraints: 98762
1259.10/1262.94 c #Conflicts: 585000 | #Constraints: 99762
1259.10/1262.94 c #Conflicts: 586000 | #Constraints: 100762
1259.10/1262.94 c #Conflicts: 587000 | #Constraints: 101762
1259.10/1262.94 c #Conflicts: 588000 | #Constraints: 102762
1259.10/1262.94 c #Conflicts: 589000 | #Constraints: 103762
1259.10/1262.94 c #Conflicts: 590000 | #Constraints: 104762
1259.10/1262.94 c #Conflicts: 591000 | #Constraints: 105762
1259.10/1262.94 c #Conflicts: 592000 | #Constraints: 106762
1259.10/1262.94 c #Conflicts: 593000 | #Constraints: 107762
1259.10/1262.94 c #Conflicts: 594000 | #Constraints: 108762
1259.10/1262.94 c #Conflicts: 595000 | #Constraints: 109762
1259.10/1262.94 c INPROCESSING
1259.10/1262.94 c GARBAGE COLLECT
1259.10/1262.94 c #Conflicts: 596000 | #Constraints: 67414
1259.10/1262.94 c #Conflicts: 597000 | #Constraints: 68414
1259.10/1262.94 c #Conflicts: 598000 | #Constraints: 69414
1259.10/1262.94 c #Conflicts: 599000 | #Constraints: 70414
1259.10/1262.94 c #Conflicts: 600000 | #Constraints: 71414
1259.10/1262.94 c #Conflicts: 601000 | #Constraints: 72414
1259.10/1262.94 c #Conflicts: 602000 | #Constraints: 73414
1259.10/1262.94 c #Conflicts: 603000 | #Constraints: 74414
1259.10/1262.94 c #Conflicts: 604000 | #Constraints: 75414
1259.10/1262.94 c #Conflicts: 605000 | #Constraints: 76414
1259.10/1262.94 c #Conflicts: 606000 | #Constraints: 77414
1259.10/1262.94 c #Conflicts: 607000 | #Constraints: 78414
1259.10/1262.94 c #Conflicts: 608000 | #Constraints: 79414
1259.10/1262.94 c #Conflicts: 609000 | #Constraints: 80414
1259.10/1262.94 c #Conflicts: 610000 | #Constraints: 81414
1259.10/1262.94 c #Conflicts: 611000 | #Constraints: 82414
1259.10/1262.94 c #Conflicts: 612000 | #Constraints: 83414
1259.10/1262.94 c #Conflicts: 613000 | #Constraints: 84414
1259.10/1262.94 c #Conflicts: 614000 | #Constraints: 85414
1259.10/1262.94 c #Conflicts: 615000 | #Constraints: 86414
1259.10/1262.94 c #Conflicts: 616000 | #Constraints: 87414
1259.10/1262.94 c #Conflicts: 617000 | #Constraints: 88414
1259.10/1262.94 c INPROCESSING
1259.10/1262.94 c GARBAGE COLLECT
1259.10/1262.94 c #Conflicts: 618000 | #Constraints: 63883
1259.10/1262.94 c #Conflicts: 619000 | #Constraints: 64883
1259.10/1262.94 c #Conflicts: 620000 | #Constraints: 65883
1259.10/1262.94 c #Conflicts: 621000 | #Constraints: 66883
1259.10/1262.94 c #Conflicts: 622000 | #Constraints: 67883
1259.10/1262.94 c #Conflicts: 623000 | #Constraints: 68883
1259.10/1262.94 c #Conflicts: 624000 | #Constraints: 69883
1259.10/1262.94 c #Conflicts: 625000 | #Constraints: 70883
1259.10/1262.94 c #Conflicts: 626000 | #Constraints: 71883
1477.82/1482.30 c #Conflicts: 627000 | #Constraints: 72883
1477.82/1482.30 c #Conflicts: 628000 | #Constraints: 73883
1477.82/1482.30 c #Conflicts: 629000 | #Constraints: 74883
1477.82/1482.30 c #Conflicts: 630000 | #Constraints: 75883
1477.82/1482.30 c #Conflicts: 631000 | #Constraints: 76883
1477.82/1482.30 c #Conflicts: 632000 | #Constraints: 77883
1477.82/1482.30 c #Conflicts: 633000 | #Constraints: 78883
1477.82/1482.30 c #Conflicts: 634000 | #Constraints: 79883
1477.82/1482.30 c #Conflicts: 635000 | #Constraints: 80883
1477.82/1482.30 c #Conflicts: 636000 | #Constraints: 81883
1477.82/1482.30 c #Conflicts: 637000 | #Constraints: 82883
1477.82/1482.30 c #Conflicts: 638000 | #Constraints: 83883
1477.82/1482.30 c #Conflicts: 639000 | #Constraints: 84883
1477.82/1482.30 c #Conflicts: 640000 | #Constraints: 85883
1477.82/1482.30 c #Conflicts: 641000 | #Constraints: 86883
1477.82/1482.30 c #Conflicts: 642000 | #Constraints: 87883
1477.82/1482.30 c #Conflicts: 643000 | #Constraints: 88883
1477.82/1482.30 c #Conflicts: 644000 | #Constraints: 89883
1477.82/1482.30 c #Conflicts: 645000 | #Constraints: 90883
1477.82/1482.30 c #Conflicts: 646000 | #Constraints: 91883
1477.82/1482.30 c #Conflicts: 647000 | #Constraints: 92883
1477.82/1482.30 c #Conflicts: 648000 | #Constraints: 93883
1477.82/1482.30 c #Conflicts: 649000 | #Constraints: 94883
1477.82/1482.30 c #Conflicts: 650000 | #Constraints: 95883
1477.82/1482.30 c #Conflicts: 651000 | #Constraints: 96883
1477.82/1482.30 c #Conflicts: 652000 | #Constraints: 97883
1477.82/1482.30 c #Conflicts: 653000 | #Constraints: 98883
1477.82/1482.30 c #Conflicts: 654000 | #Constraints: 99883
1477.82/1482.30 c #Conflicts: 655000 | #Constraints: 100883
1477.82/1482.30 c #Conflicts: 656000 | #Constraints: 101883
1477.82/1482.30 c #Conflicts: 657000 | #Constraints: 102883
1477.82/1482.30 c #Conflicts: 658000 | #Constraints: 103883
1477.82/1482.30 c #Conflicts: 659000 | #Constraints: 104883
1477.82/1482.30 c #Conflicts: 660000 | #Constraints: 105883
1477.82/1482.30 c #Conflicts: 661000 | #Constraints: 106883
1477.82/1482.30 c #Conflicts: 662000 | #Constraints: 107883
1477.82/1482.30 c #Conflicts: 663000 | #Constraints: 108883
1477.82/1482.30 c #Conflicts: 664000 | #Constraints: 109883
1477.82/1482.30 c #Conflicts: 665000 | #Constraints: 110883
1477.82/1482.30 c #Conflicts: 666000 | #Constraints: 111883
1477.82/1482.30 c #Conflicts: 667000 | #Constraints: 112883
1477.82/1482.30 c #Conflicts: 668000 | #Constraints: 113883
1477.82/1482.30 c #Conflicts: 669000 | #Constraints: 114883
1477.82/1482.30 c INPROCESSING
1477.82/1482.30 c GARBAGE COLLECT
1477.82/1482.30 c #Conflicts: 670000 | #Constraints: 69650
1477.82/1482.30 c #Conflicts: 671000 | #Constraints: 70650
1477.82/1482.30 c #Conflicts: 672000 | #Constraints: 71650
1477.82/1482.30 c #Conflicts: 673000 | #Constraints: 72650
1477.82/1482.30 c #Conflicts: 674000 | #Constraints: 73650
1477.82/1482.30 c #Conflicts: 675000 | #Constraints: 74650
1477.82/1482.30 c #Conflicts: 676000 | #Constraints: 75650
1477.82/1482.30 c #Conflicts: 677000 | #Constraints: 76650
1477.82/1482.30 c #Conflicts: 678000 | #Constraints: 77650
1477.82/1482.30 c #Conflicts: 679000 | #Constraints: 78650
1477.82/1482.30 c #Conflicts: 680000 | #Constraints: 79650
1477.82/1482.30 c #Conflicts: 681000 | #Constraints: 80650
1477.82/1482.30 c #Conflicts: 682000 | #Constraints: 81650
1477.82/1482.30 c #Conflicts: 683000 | #Constraints: 82650
1477.82/1482.30 c #Conflicts: 684000 | #Constraints: 83650
1477.82/1482.30 c #Conflicts: 685000 | #Constraints: 84650
1477.82/1482.30 c #Conflicts: 686000 | #Constraints: 85650
1477.82/1482.30 c #Conflicts: 687000 | #Constraints: 86650
1477.82/1482.30 c #Conflicts: 688000 | #Constraints: 87650
1477.82/1482.30 c #Conflicts: 689000 | #Constraints: 88650
1477.82/1482.30 c #Conflicts: 690000 | #Constraints: 89650
1477.82/1482.30 c #Conflicts: 691000 | #Constraints: 90650
1477.82/1482.30 c #Conflicts: 692000 | #Constraints: 91650
1477.82/1482.30 c #Conflicts: 693000 | #Constraints: 92650
1477.82/1482.30 c INPROCESSING
1477.82/1482.30 c GARBAGE COLLECT
1477.82/1482.30 c #Conflicts: 694000 | #Constraints: 67112
1477.82/1482.30 c #Conflicts: 695000 | #Constraints: 68112
1477.82/1482.30 c #Conflicts: 696000 | #Constraints: 69112
1477.82/1482.30 c #Conflicts: 697000 | #Constraints: 70112
1477.82/1482.30 c #Conflicts: 698000 | #Constraints: 71112
1477.82/1482.30 c #Conflicts: 699000 | #Constraints: 72112
1477.82/1482.30 c #Conflicts: 700000 | #Constraints: 73112
1477.82/1482.30 c #Conflicts: 701000 | #Constraints: 74112
1477.82/1482.30 c #Conflicts: 702000 | #Constraints: 75112
1477.82/1482.30 c #Conflicts: 703000 | #Constraints: 76112
1477.82/1482.30 c #Conflicts: 704000 | #Constraints: 77112
1664.96/1670.06 c #Conflicts: 705000 | #Constraints: 78112
1664.96/1670.06 c #Conflicts: 706000 | #Constraints: 79112
1664.96/1670.06 c #Conflicts: 707000 | #Constraints: 80112
1664.96/1670.06 c #Conflicts: 708000 | #Constraints: 81112
1664.96/1670.06 c #Conflicts: 709000 | #Constraints: 82112
1664.96/1670.06 c #Conflicts: 710000 | #Constraints: 83112
1664.96/1670.06 c #Conflicts: 711000 | #Constraints: 84112
1664.96/1670.06 c #Conflicts: 712000 | #Constraints: 85112
1664.96/1670.06 c #Conflicts: 713000 | #Constraints: 86112
1664.96/1670.06 c #Conflicts: 714000 | #Constraints: 87112
1664.96/1670.06 c #Conflicts: 715000 | #Constraints: 88112
1664.96/1670.06 c #Conflicts: 716000 | #Constraints: 89112
1664.96/1670.06 c #Conflicts: 717000 | #Constraints: 90112
1664.96/1670.06 c #Conflicts: 718000 | #Constraints: 91112
1664.96/1670.06 c #Conflicts: 719000 | #Constraints: 92112
1664.96/1670.06 c #Conflicts: 720000 | #Constraints: 93112
1664.96/1670.06 c #Conflicts: 721000 | #Constraints: 94112
1664.96/1670.06 c #Conflicts: 722000 | #Constraints: 95112
1664.96/1670.06 c #Conflicts: 723000 | #Constraints: 96112
1664.96/1670.06 c #Conflicts: 724000 | #Constraints: 97112
1664.96/1670.06 c #Conflicts: 725000 | #Constraints: 98112
1664.96/1670.06 c #Conflicts: 726000 | #Constraints: 99112
1664.96/1670.06 c #Conflicts: 727000 | #Constraints: 100112
1664.96/1670.06 c #Conflicts: 728000 | #Constraints: 101112
1664.96/1670.06 c #Conflicts: 729000 | #Constraints: 102112
1664.96/1670.06 c #Conflicts: 730000 | #Constraints: 103112
1664.96/1670.06 c #Conflicts: 731000 | #Constraints: 104112
1664.96/1670.06 c #Conflicts: 732000 | #Constraints: 105112
1664.96/1670.06 c #Conflicts: 733000 | #Constraints: 106112
1664.96/1670.06 c #Conflicts: 734000 | #Constraints: 107112
1664.96/1670.06 c #Conflicts: 735000 | #Constraints: 108112
1664.96/1670.06 c #Conflicts: 736000 | #Constraints: 109112
1664.96/1670.06 c #Conflicts: 737000 | #Constraints: 110112
1664.96/1670.06 c #Conflicts: 738000 | #Constraints: 111112
1664.96/1670.06 c #Conflicts: 739000 | #Constraints: 112112
1664.96/1670.06 c #Conflicts: 740000 | #Constraints: 113112
1664.96/1670.06 c #Conflicts: 741000 | #Constraints: 114112
1664.96/1670.06 c #Conflicts: 742000 | #Constraints: 115112
1664.96/1670.06 c #Conflicts: 743000 | #Constraints: 116112
1664.96/1670.06 c #Conflicts: 744000 | #Constraints: 117112
1664.96/1670.06 c #Conflicts: 745000 | #Constraints: 118112
1664.96/1670.06 c #Conflicts: 746000 | #Constraints: 119112
1664.96/1670.06 c #Conflicts: 747000 | #Constraints: 120112
1664.96/1670.06 c #Conflicts: 748000 | #Constraints: 121112
1664.96/1670.06 c INPROCESSING
1664.96/1670.06 c GARBAGE COLLECT
1664.96/1670.06 c #Conflicts: 749000 | #Constraints: 72969
1664.96/1670.06 c #Conflicts: 750000 | #Constraints: 73969
1664.96/1670.06 c #Conflicts: 751000 | #Constraints: 74969
1664.96/1670.06 c #Conflicts: 752000 | #Constraints: 75969
1664.96/1670.06 c #Conflicts: 753000 | #Constraints: 76969
1664.96/1670.06 c #Conflicts: 754000 | #Constraints: 77969
1664.96/1670.06 c #Conflicts: 755000 | #Constraints: 78969
1664.96/1670.06 c #Conflicts: 756000 | #Constraints: 79969
1664.96/1670.06 c #Conflicts: 757000 | #Constraints: 80969
1664.96/1670.06 c #Conflicts: 758000 | #Constraints: 81969
1664.96/1670.06 c #Conflicts: 759000 | #Constraints: 82969
1664.96/1670.06 c #Conflicts: 760000 | #Constraints: 83969
1664.96/1670.06 c #Conflicts: 761000 | #Constraints: 84969
1664.96/1670.06 c #Conflicts: 762000 | #Constraints: 85969
1664.96/1670.06 c #Conflicts: 763000 | #Constraints: 86969
1664.96/1670.06 c #Conflicts: 764000 | #Constraints: 87969
1664.96/1670.06 c #Conflicts: 765000 | #Constraints: 88969
1664.96/1670.06 c #Conflicts: 766000 | #Constraints: 89969
1664.96/1670.06 c #Conflicts: 767000 | #Constraints: 90969
1664.96/1670.06 c #Conflicts: 768000 | #Constraints: 91969
1664.96/1670.06 c #Conflicts: 769000 | #Constraints: 92969
1664.96/1670.06 c #Conflicts: 770000 | #Constraints: 93969
1664.96/1670.06 c #Conflicts: 771000 | #Constraints: 94969
1664.96/1670.06 c #Conflicts: 772000 | #Constraints: 95969
1664.96/1670.06 c #Conflicts: 773000 | #Constraints: 96969
1664.96/1670.06 c INPROCESSING
1664.96/1670.06 c GARBAGE COLLECT
1664.96/1670.06 c #Conflicts: 774000 | #Constraints: 69452
1664.96/1670.06 c #Conflicts: 775000 | #Constraints: 70452
1664.96/1670.06 c #Conflicts: 776000 | #Constraints: 71452
1664.96/1670.06 c #Conflicts: 777000 | #Constraints: 72452
1664.96/1670.06 c #Conflicts: 778000 | #Constraints: 73452
1664.96/1670.06 c #Conflicts: 779000 | #Constraints: 74452
1664.96/1670.06 c #Conflicts: 780000 | #Constraints: 75452
1664.96/1670.06 c #Conflicts: 781000 | #Constraints: 76452
1948.18/1954.10 c #Conflicts: 782000 | #Constraints: 77452
1948.18/1954.10 c #Conflicts: 783000 | #Constraints: 78452
1948.18/1954.10 c #Conflicts: 784000 | #Constraints: 79452
1948.18/1954.10 c #Conflicts: 785000 | #Constraints: 80452
1948.18/1954.10 c #Conflicts: 786000 | #Constraints: 81452
1948.18/1954.10 c #Conflicts: 787000 | #Constraints: 82452
1948.18/1954.10 c #Conflicts: 788000 | #Constraints: 83452
1948.18/1954.10 c #Conflicts: 789000 | #Constraints: 84452
1948.18/1954.10 c #Conflicts: 790000 | #Constraints: 85452
1948.18/1954.10 c #Conflicts: 791000 | #Constraints: 86452
1948.18/1954.10 c #Conflicts: 792000 | #Constraints: 87452
1948.18/1954.10 c #Conflicts: 793000 | #Constraints: 88452
1948.18/1954.10 c #Conflicts: 794000 | #Constraints: 89452
1948.18/1954.10 c #Conflicts: 795000 | #Constraints: 90452
1948.18/1954.10 c #Conflicts: 796000 | #Constraints: 91452
1948.18/1954.10 c #Conflicts: 797000 | #Constraints: 92452
1948.18/1954.10 c #Conflicts: 798000 | #Constraints: 93452
1948.18/1954.10 c #Conflicts: 799000 | #Constraints: 94452
1948.18/1954.10 c #Conflicts: 800000 | #Constraints: 95452
1948.18/1954.10 c #Conflicts: 801000 | #Constraints: 96452
1948.18/1954.11 c #Conflicts: 802000 | #Constraints: 97452
1948.18/1954.11 c #Conflicts: 803000 | #Constraints: 98452
1948.18/1954.11 c #Conflicts: 804000 | #Constraints: 99452
1948.18/1954.11 c #Conflicts: 805000 | #Constraints: 100452
1948.18/1954.11 c #Conflicts: 806000 | #Constraints: 101452
1948.18/1954.11 c #Conflicts: 807000 | #Constraints: 102452
1948.18/1954.11 c #Conflicts: 808000 | #Constraints: 103452
1948.18/1954.11 c #Conflicts: 809000 | #Constraints: 104452
1948.18/1954.11 c #Conflicts: 810000 | #Constraints: 105452
1948.18/1954.11 c #Conflicts: 811000 | #Constraints: 106452
1948.18/1954.11 c #Conflicts: 812000 | #Constraints: 107452
1948.18/1954.11 c #Conflicts: 813000 | #Constraints: 108452
1948.18/1954.11 c #Conflicts: 814000 | #Constraints: 109452
1948.18/1954.11 c #Conflicts: 815000 | #Constraints: 110452
1948.18/1954.11 c #Conflicts: 816000 | #Constraints: 111452
1948.18/1954.11 c #Conflicts: 817000 | #Constraints: 112452
1948.18/1954.11 c #Conflicts: 818000 | #Constraints: 113452
1948.18/1954.11 c #Conflicts: 819000 | #Constraints: 114452
1948.18/1954.11 c #Conflicts: 820000 | #Constraints: 115452
1948.18/1954.11 c #Conflicts: 821000 | #Constraints: 116452
1948.18/1954.11 c #Conflicts: 822000 | #Constraints: 117452
1948.18/1954.11 c #Conflicts: 823000 | #Constraints: 118452
1948.18/1954.11 c #Conflicts: 824000 | #Constraints: 119452
1948.18/1954.11 c #Conflicts: 825000 | #Constraints: 120452
1948.18/1954.11 c #Conflicts: 826000 | #Constraints: 121452
1948.18/1954.11 c #Conflicts: 827000 | #Constraints: 122452
1948.18/1954.11 c #Conflicts: 828000 | #Constraints: 123452
1948.18/1954.11 c #Conflicts: 829000 | #Constraints: 124452
1948.18/1954.11 c #Conflicts: 830000 | #Constraints: 125452
1948.18/1954.11 c #Conflicts: 831000 | #Constraints: 126452
1948.18/1954.11 c #Conflicts: 832000 | #Constraints: 127452
1948.18/1954.11 c INPROCESSING
1948.18/1954.11 c GARBAGE COLLECT
1948.18/1954.11 c #Conflicts: 833000 | #Constraints: 76470
1948.18/1954.11 c #Conflicts: 834000 | #Constraints: 77470
1948.18/1954.11 c #Conflicts: 835000 | #Constraints: 78470
1948.18/1954.11 c #Conflicts: 836000 | #Constraints: 79470
1948.18/1954.11 c #Conflicts: 837000 | #Constraints: 80470
1948.18/1954.11 c #Conflicts: 838000 | #Constraints: 81470
1948.18/1954.11 c #Conflicts: 839000 | #Constraints: 82470
1948.18/1954.11 c #Conflicts: 840000 | #Constraints: 83470
1948.18/1954.11 c #Conflicts: 841000 | #Constraints: 84470
1948.18/1954.11 c #Conflicts: 842000 | #Constraints: 85470
1948.18/1954.11 c #Conflicts: 843000 | #Constraints: 86470
1948.18/1954.11 c #Conflicts: 844000 | #Constraints: 87470
1948.18/1954.11 c #Conflicts: 845000 | #Constraints: 88470
1948.18/1954.11 c #Conflicts: 846000 | #Constraints: 89470
1948.18/1954.11 c #Conflicts: 847000 | #Constraints: 90470
1948.18/1954.11 c #Conflicts: 848000 | #Constraints: 91470
1948.18/1954.11 c #Conflicts: 849000 | #Constraints: 92470
1948.18/1954.11 c #Conflicts: 850000 | #Constraints: 93470
1948.18/1954.11 c #Conflicts: 851000 | #Constraints: 94470
1948.18/1954.11 c #Conflicts: 852000 | #Constraints: 95470
1948.18/1954.11 c #Conflicts: 853000 | #Constraints: 96470
1948.18/1954.11 c #Conflicts: 854000 | #Constraints: 97471
1948.18/1954.11 c #Conflicts: 855000 | #Constraints: 98471
1948.18/1954.11 c #Conflicts: 856000 | #Constraints: 99471
1948.18/1954.11 c #Conflicts: 857000 | #Constraints: 100471
1948.18/1954.11 c #Conflicts: 858000 | #Constraints: 101471
1948.18/1954.11 c INPROCESSING
1948.18/1954.11 c GARBAGE COLLECT
1948.18/1954.11 c rational objective 174
2129.93/2136.21 c #Conflicts: 859000 | #Constraints: 72564
2129.93/2136.21 c #Conflicts: 860000 | #Constraints: 73564
2129.93/2136.21 c #Conflicts: 861000 | #Constraints: 74564
2129.93/2136.21 c #Conflicts: 862000 | #Constraints: 75564
2129.93/2136.21 c #Conflicts: 863000 | #Constraints: 76564
2129.93/2136.21 c #Conflicts: 864000 | #Constraints: 77564
2129.93/2136.21 c #Conflicts: 865000 | #Constraints: 78564
2129.93/2136.21 c #Conflicts: 866000 | #Constraints: 79564
2129.93/2136.21 c #Conflicts: 867000 | #Constraints: 80564
2129.93/2136.21 c #Conflicts: 868000 | #Constraints: 81564
2129.93/2136.21 c #Conflicts: 869000 | #Constraints: 82564
2129.93/2136.21 c #Conflicts: 870000 | #Constraints: 83564
2129.93/2136.21 c #Conflicts: 871000 | #Constraints: 84564
2129.93/2136.21 c #Conflicts: 872000 | #Constraints: 85564
2129.93/2136.21 c #Conflicts: 873000 | #Constraints: 86564
2129.93/2136.21 c #Conflicts: 874000 | #Constraints: 87564
2129.93/2136.21 c #Conflicts: 875000 | #Constraints: 88564
2129.93/2136.21 c #Conflicts: 876000 | #Constraints: 89564
2129.93/2136.21 c #Conflicts: 877000 | #Constraints: 90564
2129.93/2136.21 c #Conflicts: 878000 | #Constraints: 91564
2129.93/2136.21 c #Conflicts: 879000 | #Constraints: 92564
2129.93/2136.21 c #Conflicts: 880000 | #Constraints: 93564
2129.93/2136.21 c #Conflicts: 881000 | #Constraints: 94564
2129.93/2136.21 c #Conflicts: 882000 | #Constraints: 95564
2129.93/2136.21 c #Conflicts: 883000 | #Constraints: 96564
2129.93/2136.21 c #Conflicts: 884000 | #Constraints: 97564
2129.93/2136.21 c #Conflicts: 885000 | #Constraints: 98564
2129.93/2136.21 c #Conflicts: 886000 | #Constraints: 99564
2129.93/2136.21 c #Conflicts: 887000 | #Constraints: 100564
2129.93/2136.21 c #Conflicts: 888000 | #Constraints: 101564
2129.93/2136.21 c #Conflicts: 889000 | #Constraints: 102564
2129.93/2136.21 c #Conflicts: 890000 | #Constraints: 103564
2129.93/2136.21 c #Conflicts: 891000 | #Constraints: 104564
2129.93/2136.21 c #Conflicts: 892000 | #Constraints: 105564
2129.93/2136.21 c #Conflicts: 893000 | #Constraints: 106564
2129.93/2136.21 c #Conflicts: 894000 | #Constraints: 107564
2129.93/2136.21 c #Conflicts: 895000 | #Constraints: 108564
2129.93/2136.21 c #Conflicts: 896000 | #Constraints: 109564
2129.93/2136.21 c #Conflicts: 897000 | #Constraints: 110564
2129.93/2136.21 c #Conflicts: 898000 | #Constraints: 111564
2129.93/2136.21 c #Conflicts: 899000 | #Constraints: 112564
2129.93/2136.21 c #Conflicts: 900000 | #Constraints: 113564
2129.93/2136.21 c #Conflicts: 901000 | #Constraints: 114564
2129.93/2136.21 c #Conflicts: 902000 | #Constraints: 115564
2129.93/2136.21 c #Conflicts: 903000 | #Constraints: 116564
2129.93/2136.21 c #Conflicts: 904000 | #Constraints: 117564
2129.93/2136.21 c #Conflicts: 905000 | #Constraints: 118564
2129.93/2136.21 c #Conflicts: 906000 | #Constraints: 119564
2129.93/2136.21 c #Conflicts: 907000 | #Constraints: 120564
2129.93/2136.21 c #Conflicts: 908000 | #Constraints: 121564
2129.93/2136.21 c #Conflicts: 909000 | #Constraints: 122564
2129.93/2136.21 c #Conflicts: 910000 | #Constraints: 123564
2129.93/2136.21 c #Conflicts: 911000 | #Constraints: 124564
2129.93/2136.21 c #Conflicts: 912000 | #Constraints: 125564
2129.93/2136.21 c #Conflicts: 913000 | #Constraints: 126564
2129.93/2136.21 c #Conflicts: 914000 | #Constraints: 127564
2129.93/2136.21 c #Conflicts: 915000 | #Constraints: 128564
2129.93/2136.21 c #Conflicts: 916000 | #Constraints: 129564
2129.93/2136.21 c #Conflicts: 917000 | #Constraints: 130564
2129.93/2136.21 c #Conflicts: 918000 | #Constraints: 131564
2129.93/2136.21 c #Conflicts: 919000 | #Constraints: 132564
2129.93/2136.21 c #Conflicts: 920000 | #Constraints: 133564
2129.93/2136.21 c INPROCESSING
2129.93/2136.21 c GARBAGE COLLECT
2129.93/2136.21 c #Conflicts: 921000 | #Constraints: 79892
2129.93/2136.21 c #Conflicts: 922000 | #Constraints: 80892
2129.93/2136.21 c #Conflicts: 923000 | #Constraints: 81892
2129.93/2136.21 c #Conflicts: 924000 | #Constraints: 82892
2129.93/2136.21 c #Conflicts: 925000 | #Constraints: 83892
2129.93/2136.21 c #Conflicts: 926000 | #Constraints: 84892
2129.93/2136.21 c #Conflicts: 927000 | #Constraints: 85892
2129.93/2136.21 c #Conflicts: 928000 | #Constraints: 86892
2129.93/2136.21 c #Conflicts: 929000 | #Constraints: 87892
2129.93/2136.21 c #Conflicts: 930000 | #Constraints: 88892
2129.93/2136.21 c #Conflicts: 931000 | #Constraints: 89892
2129.93/2136.21 c #Conflicts: 932000 | #Constraints: 90892
2129.93/2136.21 c #Conflicts: 933000 | #Constraints: 91892
2129.93/2136.21 c #Conflicts: 934000 | #Constraints: 92892
2129.93/2136.21 c #Conflicts: 935000 | #Constraints: 93892
2129.93/2136.21 c #Conflicts: 936000 | #Constraints: 94892
2129.93/2136.21 c #Conflicts: 937000 | #Constraints: 95892
2341.32/2348.15 c #Conflicts: 938000 | #Constraints: 96892
2341.32/2348.15 c #Conflicts: 939000 | #Constraints: 97892
2341.32/2348.15 c #Conflicts: 940000 | #Constraints: 98892
2341.32/2348.15 c #Conflicts: 941000 | #Constraints: 99892
2341.32/2348.15 c #Conflicts: 942000 | #Constraints: 100892
2341.32/2348.15 c #Conflicts: 943000 | #Constraints: 101892
2341.32/2348.15 c #Conflicts: 944000 | #Constraints: 102892
2341.32/2348.15 c #Conflicts: 945000 | #Constraints: 103892
2341.32/2348.15 c #Conflicts: 946000 | #Constraints: 104892
2341.32/2348.15 c #Conflicts: 947000 | #Constraints: 105892
2341.32/2348.15 c INPROCESSING
2341.32/2348.15 c GARBAGE COLLECT
2341.32/2348.15 c #Conflicts: 948000 | #Constraints: 75152
2341.32/2348.15 c #Conflicts: 949000 | #Constraints: 76152
2341.32/2348.15 c #Conflicts: 950000 | #Constraints: 77152
2341.32/2348.15 c #Conflicts: 951000 | #Constraints: 78152
2341.32/2348.15 c #Conflicts: 952000 | #Constraints: 79152
2341.32/2348.15 c #Conflicts: 953000 | #Constraints: 80152
2341.32/2348.15 c #Conflicts: 954000 | #Constraints: 81152
2341.32/2348.15 c #Conflicts: 955000 | #Constraints: 82152
2341.32/2348.15 c #Conflicts: 956000 | #Constraints: 83152
2341.32/2348.15 c #Conflicts: 957000 | #Constraints: 84152
2341.32/2348.15 c #Conflicts: 958000 | #Constraints: 85152
2341.32/2348.15 c #Conflicts: 959000 | #Constraints: 86152
2341.32/2348.15 c #Conflicts: 960000 | #Constraints: 87152
2341.32/2348.15 c #Conflicts: 961000 | #Constraints: 88152
2341.32/2348.15 c #Conflicts: 962000 | #Constraints: 89152
2341.32/2348.15 c #Conflicts: 963000 | #Constraints: 90152
2341.32/2348.15 c #Conflicts: 964000 | #Constraints: 91152
2341.32/2348.15 c #Conflicts: 965000 | #Constraints: 92152
2341.32/2348.15 c #Conflicts: 966000 | #Constraints: 93152
2341.32/2348.15 c #Conflicts: 967000 | #Constraints: 94152
2341.32/2348.15 c #Conflicts: 968000 | #Constraints: 95152
2341.32/2348.15 c #Conflicts: 969000 | #Constraints: 96152
2341.32/2348.15 c #Conflicts: 970000 | #Constraints: 97152
2341.32/2348.15 c #Conflicts: 971000 | #Constraints: 98152
2341.32/2348.15 c #Conflicts: 972000 | #Constraints: 99152
2341.32/2348.15 c #Conflicts: 973000 | #Constraints: 100152
2341.32/2348.15 c #Conflicts: 974000 | #Constraints: 101152
2341.32/2348.15 c #Conflicts: 975000 | #Constraints: 102152
2341.32/2348.15 c #Conflicts: 976000 | #Constraints: 103152
2341.32/2348.15 c #Conflicts: 977000 | #Constraints: 104152
2341.32/2348.15 c #Conflicts: 978000 | #Constraints: 105152
2341.32/2348.15 c #Conflicts: 979000 | #Constraints: 106152
2341.32/2348.15 c #Conflicts: 980000 | #Constraints: 107152
2341.32/2348.15 c #Conflicts: 981000 | #Constraints: 108152
2341.32/2348.15 c #Conflicts: 982000 | #Constraints: 109152
2341.32/2348.15 c #Conflicts: 983000 | #Constraints: 110152
2341.32/2348.15 c #Conflicts: 984000 | #Constraints: 111152
2341.32/2348.15 c #Conflicts: 985000 | #Constraints: 112152
2341.32/2348.15 c #Conflicts: 986000 | #Constraints: 113152
2341.32/2348.15 c #Conflicts: 987000 | #Constraints: 114152
2341.32/2348.15 c #Conflicts: 988000 | #Constraints: 115152
2341.32/2348.15 c #Conflicts: 989000 | #Constraints: 116152
2341.32/2348.15 c #Conflicts: 990000 | #Constraints: 117152
2341.32/2348.15 c #Conflicts: 991000 | #Constraints: 118152
2341.32/2348.15 c #Conflicts: 992000 | #Constraints: 119152
2341.32/2348.15 c #Conflicts: 993000 | #Constraints: 120152
2341.32/2348.15 c #Conflicts: 994000 | #Constraints: 121152
2341.32/2348.15 c #Conflicts: 995000 | #Constraints: 122152
2341.32/2348.15 c #Conflicts: 996000 | #Constraints: 123152
2341.32/2348.15 c #Conflicts: 997000 | #Constraints: 124152
2341.32/2348.15 c #Conflicts: 998000 | #Constraints: 125152
2341.32/2348.15 c #Conflicts: 999000 | #Constraints: 126152
2341.32/2348.15 c #Conflicts: 1000000 | #Constraints: 127152
2341.32/2348.15 c #Conflicts: 1001000 | #Constraints: 128152
2341.32/2348.15 c #Conflicts: 1002000 | #Constraints: 129152
2341.32/2348.15 c #Conflicts: 1003000 | #Constraints: 130152
2341.32/2348.15 c #Conflicts: 1004000 | #Constraints: 131152
2341.32/2348.15 c #Conflicts: 1005000 | #Constraints: 132152
2341.32/2348.15 c #Conflicts: 1006000 | #Constraints: 133152
2341.32/2348.15 c #Conflicts: 1007000 | #Constraints: 134152
2341.32/2348.15 c #Conflicts: 1008000 | #Constraints: 135152
2341.32/2348.15 c #Conflicts: 1009000 | #Constraints: 136152
2341.32/2348.15 c #Conflicts: 1010000 | #Constraints: 137152
2341.32/2348.15 c #Conflicts: 1011000 | #Constraints: 138152
2341.32/2348.15 c #Conflicts: 1012000 | #Constraints: 139152
2341.32/2348.15 c INPROCESSING
2341.32/2348.15 c GARBAGE COLLECT
2341.32/2348.15 c #Conflicts: 1013000 | #Constraints: 82359
2341.32/2348.15 c #Conflicts: 1014000 | #Constraints: 83359
2531.04/2538.32 c #Conflicts: 1015000 | #Constraints: 84359
2531.04/2538.32 c #Conflicts: 1016000 | #Constraints: 85359
2531.04/2538.32 c #Conflicts: 1017000 | #Constraints: 86359
2531.04/2538.32 c #Conflicts: 1018000 | #Constraints: 87359
2531.04/2538.32 c #Conflicts: 1019000 | #Constraints: 88359
2531.04/2538.32 c #Conflicts: 1020000 | #Constraints: 89359
2531.04/2538.32 c #Conflicts: 1021000 | #Constraints: 90359
2531.04/2538.32 c #Conflicts: 1022000 | #Constraints: 91359
2531.04/2538.32 c #Conflicts: 1023000 | #Constraints: 92359
2531.04/2538.32 c #Conflicts: 1024000 | #Constraints: 93359
2531.04/2538.32 c #Conflicts: 1025000 | #Constraints: 94359
2531.04/2538.32 c #Conflicts: 1026000 | #Constraints: 95359
2531.04/2538.32 c #Conflicts: 1027000 | #Constraints: 96359
2531.04/2538.32 c #Conflicts: 1028000 | #Constraints: 97359
2531.04/2538.32 c #Conflicts: 1029000 | #Constraints: 98359
2531.04/2538.32 c #Conflicts: 1030000 | #Constraints: 99359
2531.04/2538.32 c #Conflicts: 1031000 | #Constraints: 100359
2531.04/2538.32 c #Conflicts: 1032000 | #Constraints: 101359
2531.04/2538.32 c #Conflicts: 1033000 | #Constraints: 102359
2531.04/2538.32 c #Conflicts: 1034000 | #Constraints: 103359
2531.04/2538.32 c #Conflicts: 1035000 | #Constraints: 104359
2531.04/2538.32 c #Conflicts: 1036000 | #Constraints: 105359
2531.04/2538.32 c #Conflicts: 1037000 | #Constraints: 106359
2531.04/2538.32 c #Conflicts: 1038000 | #Constraints: 107359
2531.04/2538.32 c #Conflicts: 1039000 | #Constraints: 108359
2531.04/2538.32 c #Conflicts: 1040000 | #Constraints: 109359
2531.04/2538.32 c INPROCESSING
2531.04/2538.32 c GARBAGE COLLECT
2531.04/2538.32 c #Conflicts: 1041000 | #Constraints: 77186
2531.04/2538.32 c #Conflicts: 1042000 | #Constraints: 78186
2531.04/2538.32 c #Conflicts: 1043000 | #Constraints: 79186
2531.04/2538.32 c #Conflicts: 1044000 | #Constraints: 80186
2531.04/2538.32 c #Conflicts: 1045000 | #Constraints: 81186
2531.04/2538.32 c #Conflicts: 1046000 | #Constraints: 82186
2531.04/2538.32 c #Conflicts: 1047000 | #Constraints: 83186
2531.04/2538.32 c #Conflicts: 1048000 | #Constraints: 84186
2531.04/2538.32 c #Conflicts: 1049000 | #Constraints: 85186
2531.04/2538.32 c #Conflicts: 1050000 | #Constraints: 86186
2531.04/2538.32 c #Conflicts: 1051000 | #Constraints: 87186
2531.04/2538.32 c #Conflicts: 1052000 | #Constraints: 88186
2531.04/2538.32 c #Conflicts: 1053000 | #Constraints: 89186
2531.04/2538.32 c #Conflicts: 1054000 | #Constraints: 90186
2531.04/2538.32 c #Conflicts: 1055000 | #Constraints: 91186
2531.04/2538.32 c #Conflicts: 1056000 | #Constraints: 92186
2531.04/2538.32 c #Conflicts: 1057000 | #Constraints: 93186
2531.04/2538.32 c #Conflicts: 1058000 | #Constraints: 94186
2531.04/2538.32 c #Conflicts: 1059000 | #Constraints: 95186
2531.04/2538.32 c #Conflicts: 1060000 | #Constraints: 96186
2531.04/2538.32 c #Conflicts: 1061000 | #Constraints: 97186
2531.04/2538.32 c #Conflicts: 1062000 | #Constraints: 98186
2531.04/2538.32 c #Conflicts: 1063000 | #Constraints: 99186
2531.04/2538.32 c #Conflicts: 1064000 | #Constraints: 100186
2531.04/2538.32 c #Conflicts: 1065000 | #Constraints: 101186
2531.04/2538.32 c #Conflicts: 1066000 | #Constraints: 102186
2531.04/2538.32 c #Conflicts: 1067000 | #Constraints: 103186
2531.04/2538.32 c #Conflicts: 1068000 | #Constraints: 104186
2531.04/2538.32 c #Conflicts: 1069000 | #Constraints: 105186
2531.04/2538.32 c #Conflicts: 1070000 | #Constraints: 106186
2531.04/2538.32 c #Conflicts: 1071000 | #Constraints: 107186
2531.04/2538.32 c #Conflicts: 1072000 | #Constraints: 108186
2531.04/2538.32 c #Conflicts: 1073000 | #Constraints: 109186
2531.04/2538.32 c #Conflicts: 1074000 | #Constraints: 110186
2531.04/2538.32 c #Conflicts: 1075000 | #Constraints: 111186
2531.04/2538.32 c #Conflicts: 1076000 | #Constraints: 112186
2531.04/2538.32 c #Conflicts: 1077000 | #Constraints: 113186
2531.04/2538.32 c #Conflicts: 1078000 | #Constraints: 114186
2531.04/2538.32 c #Conflicts: 1079000 | #Constraints: 115186
2531.04/2538.32 c #Conflicts: 1080000 | #Constraints: 116186
2531.04/2538.32 c #Conflicts: 1081000 | #Constraints: 117186
2531.04/2538.32 c #Conflicts: 1082000 | #Constraints: 118186
2531.04/2538.32 c #Conflicts: 1083000 | #Constraints: 119186
2531.04/2538.32 c #Conflicts: 1084000 | #Constraints: 120186
2531.04/2538.32 c #Conflicts: 1085000 | #Constraints: 121186
2531.04/2538.32 c #Conflicts: 1086000 | #Constraints: 122186
2531.04/2538.32 c #Conflicts: 1087000 | #Constraints: 123186
2531.04/2538.32 c #Conflicts: 1088000 | #Constraints: 124186
2531.04/2538.32 c #Conflicts: 1089000 | #Constraints: 125186
2531.04/2538.32 c #Conflicts: 1090000 | #Constraints: 126186
2531.04/2538.32 c #Conflicts: 1091000 | #Constraints: 127186
2531.04/2538.32 c #Conflicts: 1092000 | #Constraints: 128186
2747.30/2755.17 c #Conflicts: 1093000 | #Constraints: 129186
2747.30/2755.17 c #Conflicts: 1094000 | #Constraints: 130186
2747.30/2755.17 c #Conflicts: 1095000 | #Constraints: 131186
2747.30/2755.17 c #Conflicts: 1096000 | #Constraints: 132186
2747.30/2755.17 c #Conflicts: 1097000 | #Constraints: 133186
2747.30/2755.17 c #Conflicts: 1098000 | #Constraints: 134186
2747.30/2755.17 c #Conflicts: 1099000 | #Constraints: 135186
2747.30/2755.17 c #Conflicts: 1100000 | #Constraints: 136186
2747.30/2755.17 c #Conflicts: 1101000 | #Constraints: 137186
2747.30/2755.17 c #Conflicts: 1102000 | #Constraints: 138186
2747.30/2755.17 c #Conflicts: 1103000 | #Constraints: 139186
2747.30/2755.17 c #Conflicts: 1104000 | #Constraints: 140186
2747.30/2755.17 c #Conflicts: 1105000 | #Constraints: 141186
2747.30/2755.17 c #Conflicts: 1106000 | #Constraints: 142186
2747.30/2755.17 c #Conflicts: 1107000 | #Constraints: 143186
2747.30/2755.17 c #Conflicts: 1108000 | #Constraints: 144186
2747.30/2755.17 c INPROCESSING
2747.30/2755.17 c GARBAGE COLLECT
2747.30/2755.17 c #Conflicts: 1109000 | #Constraints: 84586
2747.30/2755.17 c #Conflicts: 1110000 | #Constraints: 85586
2747.30/2755.17 c #Conflicts: 1111000 | #Constraints: 86586
2747.30/2755.17 c #Conflicts: 1112000 | #Constraints: 87586
2747.30/2755.17 c #Conflicts: 1113000 | #Constraints: 88586
2747.30/2755.17 c #Conflicts: 1114000 | #Constraints: 89586
2747.30/2755.17 c #Conflicts: 1115000 | #Constraints: 90586
2747.30/2755.17 c #Conflicts: 1116000 | #Constraints: 91586
2747.30/2755.17 c #Conflicts: 1117000 | #Constraints: 92586
2747.30/2755.17 c #Conflicts: 1118000 | #Constraints: 93586
2747.30/2755.17 c #Conflicts: 1119000 | #Constraints: 94586
2747.30/2755.17 c #Conflicts: 1120000 | #Constraints: 95586
2747.30/2755.17 c #Conflicts: 1121000 | #Constraints: 96586
2747.30/2755.17 c #Conflicts: 1122000 | #Constraints: 97586
2747.30/2755.17 c #Conflicts: 1123000 | #Constraints: 98586
2747.30/2755.17 c #Conflicts: 1124000 | #Constraints: 99586
2747.30/2755.17 c #Conflicts: 1125000 | #Constraints: 100586
2747.30/2755.17 c #Conflicts: 1126000 | #Constraints: 101586
2747.30/2755.17 c #Conflicts: 1127000 | #Constraints: 102586
2747.30/2755.17 c #Conflicts: 1128000 | #Constraints: 103586
2747.30/2755.17 c #Conflicts: 1129000 | #Constraints: 104586
2747.30/2755.17 c #Conflicts: 1130000 | #Constraints: 105586
2747.30/2755.17 c #Conflicts: 1131000 | #Constraints: 106586
2747.30/2755.17 c #Conflicts: 1132000 | #Constraints: 107586
2747.30/2755.17 c #Conflicts: 1133000 | #Constraints: 108586
2747.30/2755.17 c #Conflicts: 1134000 | #Constraints: 109586
2747.30/2755.17 c #Conflicts: 1135000 | #Constraints: 110586
2747.30/2755.17 c #Conflicts: 1136000 | #Constraints: 111586
2747.30/2755.17 c #Conflicts: 1137000 | #Constraints: 112586
2747.30/2755.17 c #Conflicts: 1138000 | #Constraints: 113586
2747.30/2755.17 c INPROCESSING
2747.30/2755.17 c GARBAGE COLLECT
2747.30/2755.17 c #Conflicts: 1139000 | #Constraints: 79189
2747.30/2755.17 c #Conflicts: 1140000 | #Constraints: 80189
2747.30/2755.17 c #Conflicts: 1141000 | #Constraints: 81189
2747.30/2755.17 c #Conflicts: 1142000 | #Constraints: 82189
2747.30/2755.17 c #Conflicts: 1143000 | #Constraints: 83189
2747.30/2755.17 c #Conflicts: 1144000 | #Constraints: 84189
2747.30/2755.17 c #Conflicts: 1145000 | #Constraints: 85189
2747.30/2755.17 c #Conflicts: 1146000 | #Constraints: 86189
2747.30/2755.17 c #Conflicts: 1147000 | #Constraints: 87189
2747.30/2755.17 c #Conflicts: 1148000 | #Constraints: 88189
2747.30/2755.17 c #Conflicts: 1149000 | #Constraints: 89189
2747.30/2755.17 c #Conflicts: 1150000 | #Constraints: 90189
2747.30/2755.17 c #Conflicts: 1151000 | #Constraints: 91189
2747.30/2755.17 c #Conflicts: 1152000 | #Constraints: 92189
2747.30/2755.17 c #Conflicts: 1153000 | #Constraints: 93189
2747.30/2755.17 c #Conflicts: 1154000 | #Constraints: 94189
2747.30/2755.17 c #Conflicts: 1155000 | #Constraints: 95189
2747.30/2755.17 c #Conflicts: 1156000 | #Constraints: 96189
2747.30/2755.17 c #Conflicts: 1157000 | #Constraints: 97189
2747.30/2755.17 c #Conflicts: 1158000 | #Constraints: 98189
2747.30/2755.17 c #Conflicts: 1159000 | #Constraints: 99189
2747.30/2755.17 c #Conflicts: 1160000 | #Constraints: 100189
2747.30/2755.17 c #Conflicts: 1161000 | #Constraints: 101189
2747.30/2755.17 c #Conflicts: 1162000 | #Constraints: 102189
2747.30/2755.17 c #Conflicts: 1163000 | #Constraints: 103189
2747.30/2755.17 c #Conflicts: 1164000 | #Constraints: 104189
2747.30/2755.17 c #Conflicts: 1165000 | #Constraints: 105189
2747.30/2755.17 c #Conflicts: 1166000 | #Constraints: 106189
2747.30/2755.17 c #Conflicts: 1167000 | #Constraints: 107189
2747.30/2755.17 c #Conflicts: 1168000 | #Constraints: 108189
2747.30/2755.17 c #Conflicts: 1169000 | #Constraints: 109189
2747.30/2755.17 c #Conflicts: 1170000 | #Constraints: 110189
2967.43/2975.81 c #Conflicts: 1171000 | #Constraints: 111189
2967.43/2975.81 c #Conflicts: 1172000 | #Constraints: 112189
2967.43/2975.81 c #Conflicts: 1173000 | #Constraints: 113189
2967.43/2975.81 c #Conflicts: 1174000 | #Constraints: 114189
2967.43/2975.81 c #Conflicts: 1175000 | #Constraints: 115189
2967.43/2975.81 c #Conflicts: 1176000 | #Constraints: 116189
2967.43/2975.81 c #Conflicts: 1177000 | #Constraints: 117189
2967.43/2975.81 c #Conflicts: 1178000 | #Constraints: 118189
2967.43/2975.81 c #Conflicts: 1179000 | #Constraints: 119189
2967.43/2975.81 c #Conflicts: 1180000 | #Constraints: 120189
2967.43/2975.81 c #Conflicts: 1181000 | #Constraints: 121189
2967.43/2975.81 c #Conflicts: 1182000 | #Constraints: 122189
2967.43/2975.81 c #Conflicts: 1183000 | #Constraints: 123189
2967.43/2975.81 c #Conflicts: 1184000 | #Constraints: 124189
2967.43/2975.81 c #Conflicts: 1185000 | #Constraints: 125189
2967.43/2975.81 c #Conflicts: 1186000 | #Constraints: 126189
2967.43/2975.81 c #Conflicts: 1187000 | #Constraints: 127189
2967.43/2975.81 c #Conflicts: 1188000 | #Constraints: 128189
2967.43/2975.81 c #Conflicts: 1189000 | #Constraints: 129189
2967.43/2975.81 c #Conflicts: 1190000 | #Constraints: 130189
2967.43/2975.81 c #Conflicts: 1191000 | #Constraints: 131189
2967.43/2975.81 c #Conflicts: 1192000 | #Constraints: 132189
2967.43/2975.81 c #Conflicts: 1193000 | #Constraints: 133189
2967.43/2975.81 c #Conflicts: 1194000 | #Constraints: 134189
2967.43/2975.81 c #Conflicts: 1195000 | #Constraints: 135189
2967.43/2975.81 c #Conflicts: 1196000 | #Constraints: 136189
2967.43/2975.81 c #Conflicts: 1197000 | #Constraints: 137189
2967.43/2975.81 c #Conflicts: 1198000 | #Constraints: 138189
2967.43/2975.81 c #Conflicts: 1199000 | #Constraints: 139189
2967.43/2975.81 c #Conflicts: 1200000 | #Constraints: 140189
2967.43/2975.81 c #Conflicts: 1201000 | #Constraints: 141189
2967.43/2975.81 c #Conflicts: 1202000 | #Constraints: 142189
2967.43/2975.81 c #Conflicts: 1203000 | #Constraints: 143189
2967.43/2975.81 c #Conflicts: 1204000 | #Constraints: 144189
2967.43/2975.81 c #Conflicts: 1205000 | #Constraints: 145189
2967.43/2975.81 c #Conflicts: 1206000 | #Constraints: 146189
2967.43/2975.81 c #Conflicts: 1207000 | #Constraints: 147189
2967.43/2975.81 c #Conflicts: 1208000 | #Constraints: 148189
2967.43/2975.81 c #Conflicts: 1209000 | #Constraints: 149189
2967.43/2975.81 c INPROCESSING
2967.43/2975.81 c GARBAGE COLLECT
2967.43/2975.81 c #Conflicts: 1210000 | #Constraints: 87255
2967.43/2975.81 c #Conflicts: 1211000 | #Constraints: 88255
2967.43/2975.81 c #Conflicts: 1212000 | #Constraints: 89255
2967.43/2975.81 c #Conflicts: 1213000 | #Constraints: 90255
2967.43/2975.81 c #Conflicts: 1214000 | #Constraints: 91255
2967.43/2975.81 c #Conflicts: 1215000 | #Constraints: 92255
2967.43/2975.81 c #Conflicts: 1216000 | #Constraints: 93255
2967.43/2975.81 c #Conflicts: 1217000 | #Constraints: 94255
2967.43/2975.81 c #Conflicts: 1218000 | #Constraints: 95255
2967.43/2975.81 c #Conflicts: 1219000 | #Constraints: 96255
2967.43/2975.81 c #Conflicts: 1220000 | #Constraints: 97255
2967.43/2975.81 c #Conflicts: 1221000 | #Constraints: 98255
2967.43/2975.81 c #Conflicts: 1222000 | #Constraints: 99255
2967.43/2975.81 c #Conflicts: 1223000 | #Constraints: 100255
2967.43/2975.81 c #Conflicts: 1224000 | #Constraints: 101255
2967.43/2975.81 c #Conflicts: 1225000 | #Constraints: 102255
2967.43/2975.81 c #Conflicts: 1226000 | #Constraints: 103255
2967.43/2975.81 c #Conflicts: 1227000 | #Constraints: 104255
2967.43/2975.81 c #Conflicts: 1228000 | #Constraints: 105255
2967.43/2975.82 c #Conflicts: 1229000 | #Constraints: 106255
2967.43/2975.82 c #Conflicts: 1230000 | #Constraints: 107255
2967.43/2975.82 c #Conflicts: 1231000 | #Constraints: 108255
2967.43/2975.82 c #Conflicts: 1232000 | #Constraints: 109255
2967.43/2975.82 c #Conflicts: 1233000 | #Constraints: 110255
2967.43/2975.82 c #Conflicts: 1234000 | #Constraints: 111255
2967.43/2975.82 c #Conflicts: 1235000 | #Constraints: 112255
2967.43/2975.82 c #Conflicts: 1236000 | #Constraints: 113255
2967.43/2975.82 c #Conflicts: 1237000 | #Constraints: 114255
2967.43/2975.82 c #Conflicts: 1238000 | #Constraints: 115255
2967.43/2975.82 c #Conflicts: 1239000 | #Constraints: 116255
2967.43/2975.82 c #Conflicts: 1240000 | #Constraints: 117255
2967.43/2975.82 c INPROCESSING
2967.43/2975.82 c GARBAGE COLLECT
2967.43/2975.82 c #Conflicts: 1241000 | #Constraints: 82131
2967.43/2975.82 c #Conflicts: 1242000 | #Constraints: 83131
2967.43/2975.82 c #Conflicts: 1243000 | #Constraints: 84131
2967.43/2975.82 c #Conflicts: 1244000 | #Constraints: 85131
2967.43/2975.82 c #Conflicts: 1245000 | #Constraints: 86131
2967.43/2975.82 c #Conflicts: 1246000 | #Constraints: 87131
2967.43/2975.82 c #Conflicts: 1247000 | #Constraints: 88131
3217.75/3226.87 c #Conflicts: 1248000 | #Constraints: 89131
3217.75/3226.87 c #Conflicts: 1249000 | #Constraints: 90131
3217.75/3226.87 c #Conflicts: 1250000 | #Constraints: 91131
3217.75/3226.87 c #Conflicts: 1251000 | #Constraints: 92131
3217.75/3226.87 c #Conflicts: 1252000 | #Constraints: 93131
3217.75/3226.87 c #Conflicts: 1253000 | #Constraints: 94132
3217.75/3226.87 c #Conflicts: 1254000 | #Constraints: 95132
3217.75/3226.87 c #Conflicts: 1255000 | #Constraints: 96132
3217.75/3226.87 c #Conflicts: 1256000 | #Constraints: 97132
3217.75/3226.87 c #Conflicts: 1257000 | #Constraints: 98132
3217.75/3226.87 c #Conflicts: 1258000 | #Constraints: 99132
3217.75/3226.87 c #Conflicts: 1259000 | #Constraints: 100132
3217.75/3226.87 c #Conflicts: 1260000 | #Constraints: 101132
3217.75/3226.87 c #Conflicts: 1261000 | #Constraints: 102132
3217.75/3226.87 c #Conflicts: 1262000 | #Constraints: 103132
3217.75/3226.87 c #Conflicts: 1263000 | #Constraints: 104132
3217.75/3226.87 c #Conflicts: 1264000 | #Constraints: 105132
3217.75/3226.87 c #Conflicts: 1265000 | #Constraints: 106132
3217.75/3226.87 c #Conflicts: 1266000 | #Constraints: 107132
3217.75/3226.87 c #Conflicts: 1267000 | #Constraints: 108132
3217.75/3226.87 c #Conflicts: 1268000 | #Constraints: 109132
3217.75/3226.87 c #Conflicts: 1269000 | #Constraints: 110132
3217.75/3226.87 c #Conflicts: 1270000 | #Constraints: 111132
3217.75/3226.87 c #Conflicts: 1271000 | #Constraints: 112132
3217.75/3226.87 c #Conflicts: 1272000 | #Constraints: 113132
3217.75/3226.87 c #Conflicts: 1273000 | #Constraints: 114132
3217.75/3226.87 c #Conflicts: 1274000 | #Constraints: 115132
3217.75/3226.87 c #Conflicts: 1275000 | #Constraints: 116132
3217.75/3226.87 c #Conflicts: 1276000 | #Constraints: 117132
3217.75/3226.87 c #Conflicts: 1277000 | #Constraints: 118132
3217.75/3226.87 c #Conflicts: 1278000 | #Constraints: 119132
3217.75/3226.87 c #Conflicts: 1279000 | #Constraints: 120132
3217.75/3226.87 c #Conflicts: 1280000 | #Constraints: 121132
3217.75/3226.87 c #Conflicts: 1281000 | #Constraints: 122132
3217.75/3226.87 c #Conflicts: 1282000 | #Constraints: 123132
3217.75/3226.87 c #Conflicts: 1283000 | #Constraints: 124132
3217.75/3226.87 c #Conflicts: 1284000 | #Constraints: 125132
3217.75/3226.87 c #Conflicts: 1285000 | #Constraints: 126132
3217.75/3226.87 c #Conflicts: 1286000 | #Constraints: 127132
3217.75/3226.87 c #Conflicts: 1287000 | #Constraints: 128132
3217.75/3226.87 c #Conflicts: 1288000 | #Constraints: 129132
3217.75/3226.87 c #Conflicts: 1289000 | #Constraints: 130132
3217.75/3226.87 c #Conflicts: 1290000 | #Constraints: 131132
3217.75/3226.87 c #Conflicts: 1291000 | #Constraints: 132132
3217.75/3226.87 c #Conflicts: 1292000 | #Constraints: 133132
3217.75/3226.87 c #Conflicts: 1293000 | #Constraints: 134132
3217.75/3226.87 c #Conflicts: 1294000 | #Constraints: 135132
3217.75/3226.87 c #Conflicts: 1295000 | #Constraints: 136132
3217.75/3226.87 c #Conflicts: 1296000 | #Constraints: 137132
3217.75/3226.87 c #Conflicts: 1297000 | #Constraints: 138132
3217.75/3226.87 c #Conflicts: 1298000 | #Constraints: 139132
3217.75/3226.87 c #Conflicts: 1299000 | #Constraints: 140132
3217.75/3226.87 c #Conflicts: 1300000 | #Constraints: 141132
3217.75/3226.87 c #Conflicts: 1301000 | #Constraints: 142132
3217.75/3226.87 c #Conflicts: 1302000 | #Constraints: 143132
3217.75/3226.87 c #Conflicts: 1303000 | #Constraints: 144132
3217.75/3226.87 c #Conflicts: 1304000 | #Constraints: 145132
3217.75/3226.87 c #Conflicts: 1305000 | #Constraints: 146132
3217.75/3226.87 c #Conflicts: 1306000 | #Constraints: 147132
3217.75/3226.87 c #Conflicts: 1307000 | #Constraints: 148132
3217.75/3226.87 c #Conflicts: 1308000 | #Constraints: 149132
3217.75/3226.87 c #Conflicts: 1309000 | #Constraints: 150132
3217.75/3226.87 c #Conflicts: 1310000 | #Constraints: 151132
3217.75/3226.87 c #Conflicts: 1311000 | #Constraints: 152132
3217.75/3226.87 c #Conflicts: 1312000 | #Constraints: 153132
3217.75/3226.87 c #Conflicts: 1313000 | #Constraints: 154132
3217.75/3226.87 c #Conflicts: 1314000 | #Constraints: 155132
3217.75/3226.87 c #Conflicts: 1315000 | #Constraints: 156132
3217.75/3226.87 c INPROCESSING
3217.75/3226.87 c GARBAGE COLLECT
3217.75/3226.87 c #Conflicts: 1316000 | #Constraints: 91161
3217.75/3226.87 c #Conflicts: 1317000 | #Constraints: 92161
3217.75/3226.87 c #Conflicts: 1318000 | #Constraints: 93161
3217.75/3226.87 c #Conflicts: 1319000 | #Constraints: 94161
3217.75/3226.87 c #Conflicts: 1320000 | #Constraints: 95161
3217.75/3226.87 c #Conflicts: 1321000 | #Constraints: 96161
3217.75/3226.87 c #Conflicts: 1322000 | #Constraints: 97161
3217.75/3226.87 c #Conflicts: 1323000 | #Constraints: 98161
3217.75/3226.87 c #Conflicts: 1324000 | #Constraints: 99161
3217.75/3226.87 c #Conflicts: 1325000 | #Constraints: 100161
3431.80/3441.42 c #Conflicts: 1326000 | #Constraints: 101161
3431.80/3441.42 c #Conflicts: 1327000 | #Constraints: 102161
3431.80/3441.42 c #Conflicts: 1328000 | #Constraints: 103161
3431.80/3441.42 c #Conflicts: 1329000 | #Constraints: 104161
3431.80/3441.42 c #Conflicts: 1330000 | #Constraints: 105161
3431.80/3441.42 c #Conflicts: 1331000 | #Constraints: 106161
3431.80/3441.42 c #Conflicts: 1332000 | #Constraints: 107161
3431.80/3441.42 c #Conflicts: 1333000 | #Constraints: 108161
3431.80/3441.42 c #Conflicts: 1334000 | #Constraints: 109161
3431.80/3441.42 c #Conflicts: 1335000 | #Constraints: 110161
3431.80/3441.42 c #Conflicts: 1336000 | #Constraints: 111161
3431.80/3441.42 c #Conflicts: 1337000 | #Constraints: 112161
3431.80/3441.42 c #Conflicts: 1338000 | #Constraints: 113161
3431.80/3441.42 c #Conflicts: 1339000 | #Constraints: 114161
3431.80/3441.42 c #Conflicts: 1340000 | #Constraints: 115161
3431.80/3441.42 c #Conflicts: 1341000 | #Constraints: 116161
3431.80/3441.42 c #Conflicts: 1342000 | #Constraints: 117161
3431.80/3441.42 c #Conflicts: 1343000 | #Constraints: 118161
3431.80/3441.42 c #Conflicts: 1344000 | #Constraints: 119161
3431.80/3441.42 c #Conflicts: 1345000 | #Constraints: 120161
3431.80/3441.42 c #Conflicts: 1346000 | #Constraints: 121161
3431.80/3441.42 c #Conflicts: 1347000 | #Constraints: 122161
3431.80/3441.42 c INPROCESSING
3431.80/3441.42 c GARBAGE COLLECT
3431.80/3441.42 c #Conflicts: 1348000 | #Constraints: 85123
3431.80/3441.42 c #Conflicts: 1349000 | #Constraints: 86123
3431.80/3441.42 c #Conflicts: 1350000 | #Constraints: 87123
3431.80/3441.42 c #Conflicts: 1351000 | #Constraints: 88123
3431.80/3441.42 c #Conflicts: 1352000 | #Constraints: 89123
3431.80/3441.42 c #Conflicts: 1353000 | #Constraints: 90123
3431.80/3441.42 c #Conflicts: 1354000 | #Constraints: 91123
3431.80/3441.42 c #Conflicts: 1355000 | #Constraints: 92123
3431.80/3441.42 c #Conflicts: 1356000 | #Constraints: 93123
3431.80/3441.42 c #Conflicts: 1357000 | #Constraints: 94123
3431.80/3441.42 c #Conflicts: 1358000 | #Constraints: 95123
3431.80/3441.42 c #Conflicts: 1359000 | #Constraints: 96123
3431.80/3441.42 c #Conflicts: 1360000 | #Constraints: 97123
3431.80/3441.42 c #Conflicts: 1361000 | #Constraints: 98123
3431.80/3441.42 c #Conflicts: 1362000 | #Constraints: 99123
3431.80/3441.42 c #Conflicts: 1363000 | #Constraints: 100123
3431.80/3441.42 c #Conflicts: 1364000 | #Constraints: 101123
3431.80/3441.42 c #Conflicts: 1365000 | #Constraints: 102123
3431.80/3441.42 c #Conflicts: 1366000 | #Constraints: 103123
3431.80/3441.42 c #Conflicts: 1367000 | #Constraints: 104123
3431.80/3441.42 c #Conflicts: 1368000 | #Constraints: 105123
3431.80/3441.42 c #Conflicts: 1369000 | #Constraints: 106123
3431.80/3441.42 c #Conflicts: 1370000 | #Constraints: 107123
3431.80/3441.42 c #Conflicts: 1371000 | #Constraints: 108123
3431.80/3441.42 c #Conflicts: 1372000 | #Constraints: 109123
3431.80/3441.42 c #Conflicts: 1373000 | #Constraints: 110123
3431.80/3441.42 c #Conflicts: 1374000 | #Constraints: 111123
3431.80/3441.42 c #Conflicts: 1375000 | #Constraints: 112123
3431.80/3441.42 c #Conflicts: 1376000 | #Constraints: 113123
3431.80/3441.42 c #Conflicts: 1377000 | #Constraints: 114123
3431.80/3441.42 c #Conflicts: 1378000 | #Constraints: 115123
3431.80/3441.42 c #Conflicts: 1379000 | #Constraints: 116123
3431.80/3441.42 c #Conflicts: 1380000 | #Constraints: 117123
3431.80/3441.42 c #Conflicts: 1381000 | #Constraints: 118123
3431.80/3441.42 c #Conflicts: 1382000 | #Constraints: 119123
3431.80/3441.42 c #Conflicts: 1383000 | #Constraints: 120123
3431.80/3441.42 c #Conflicts: 1384000 | #Constraints: 121123
3431.80/3441.42 c #Conflicts: 1385000 | #Constraints: 122123
3431.80/3441.42 c #Conflicts: 1386000 | #Constraints: 123123
3431.80/3441.42 c #Conflicts: 1387000 | #Constraints: 124123
3431.80/3441.42 c #Conflicts: 1388000 | #Constraints: 125124
3431.80/3441.42 c #Conflicts: 1389000 | #Constraints: 126124
3431.80/3441.42 c #Conflicts: 1390000 | #Constraints: 127124
3431.80/3441.42 c #Conflicts: 1391000 | #Constraints: 128124
3431.80/3441.42 c #Conflicts: 1392000 | #Constraints: 129124
3431.80/3441.42 c #Conflicts: 1393000 | #Constraints: 130124
3431.80/3441.42 c #Conflicts: 1394000 | #Constraints: 131124
3431.80/3441.42 c #Conflicts: 1395000 | #Constraints: 132124
3431.80/3441.42 c #Conflicts: 1396000 | #Constraints: 133124
3431.80/3441.42 c #Conflicts: 1397000 | #Constraints: 134124
3431.80/3441.42 c #Conflicts: 1398000 | #Constraints: 135124
3431.80/3441.42 c #Conflicts: 1399000 | #Constraints: 136124
3431.80/3441.42 c #Conflicts: 1400000 | #Constraints: 137124
3431.80/3441.42 c #Conflicts: 1401000 | #Constraints: 138124
3431.80/3441.42 c #Conflicts: 1402000 | #Constraints: 139124
3431.80/3441.42 c #Conflicts: 1403000 | #Constraints: 140124
3431.80/3441.42 c #Conflicts: 1404000 | #Constraints: 141124
3600.05/3610.11 c #Conflicts: 1405000 | #Constraints: 142124
3600.05/3610.11 c #Conflicts: 1406000 | #Constraints: 143124
3600.05/3610.11 c #Conflicts: 1407000 | #Constraints: 144124
3600.05/3610.11 c #Conflicts: 1408000 | #Constraints: 145124
3600.05/3610.11 c #Conflicts: 1409000 | #Constraints: 146124
3600.05/3610.11 c #Conflicts: 1410000 | #Constraints: 147124
3600.05/3610.11 c #Conflicts: 1411000 | #Constraints: 148124
3600.05/3610.11 c #Conflicts: 1412000 | #Constraints: 149124
3600.05/3610.11 c #Conflicts: 1413000 | #Constraints: 150124
3600.05/3610.11 c #Conflicts: 1414000 | #Constraints: 151124
3600.05/3610.11 c #Conflicts: 1415000 | #Constraints: 152124
3600.05/3610.11 c #Conflicts: 1416000 | #Constraints: 153124
3600.05/3610.11 c #Conflicts: 1417000 | #Constraints: 154124
3600.05/3610.11 c #Conflicts: 1418000 | #Constraints: 155124
3600.05/3610.11 c #Conflicts: 1419000 | #Constraints: 156124
3600.05/3610.11 c #Conflicts: 1420000 | #Constraints: 157124
3600.05/3610.11 c #Conflicts: 1421000 | #Constraints: 158124
3600.05/3610.11 c #Conflicts: 1422000 | #Constraints: 159124
3600.05/3610.11 c #Conflicts: 1423000 | #Constraints: 160124
3600.05/3610.11 c #Conflicts: 1424000 | #Constraints: 161124
3600.05/3610.11 c #Conflicts: 1425000 | #Constraints: 162124
3600.05/3610.11 c INPROCESSING
3600.05/3610.11 c GARBAGE COLLECT
3600.05/3610.11 c #Conflicts: 1426000 | #Constraints: 94187
3600.05/3610.11 c #Conflicts: 1427000 | #Constraints: 95187
3600.05/3610.11 c #Conflicts: 1428000 | #Constraints: 96187
3600.05/3610.11 c #Conflicts: 1429000 | #Constraints: 97187
3600.05/3610.11 c #Conflicts: 1430000 | #Constraints: 98187
3600.05/3610.11 c #Conflicts: 1431000 | #Constraints: 99187
3600.05/3610.11 c #Conflicts: 1432000 | #Constraints: 100187
3600.05/3610.11 c #Conflicts: 1433000 | #Constraints: 101187
3600.05/3610.11 c #Conflicts: 1434000 | #Constraints: 102187
3600.05/3610.11 c #Conflicts: 1435000 | #Constraints: 103187
3600.05/3610.11 c #Conflicts: 1436000 | #Constraints: 104187
3600.05/3610.11 c #Conflicts: 1437000 | #Constraints: 105187
3600.05/3610.11 c #Conflicts: 1438000 | #Constraints: 106187
3600.05/3610.11 c #Conflicts: 1439000 | #Constraints: 107187
3600.05/3610.11 c #Conflicts: 1440000 | #Constraints: 108187
3600.05/3610.11 c #Conflicts: 1441000 | #Constraints: 109187
3600.05/3610.11 c #Conflicts: 1442000 | #Constraints: 110187
3600.05/3610.11 c #Conflicts: 1443000 | #Constraints: 111187
3600.05/3610.11 c #Conflicts: 1444000 | #Constraints: 112187
3600.05/3610.11 c #Conflicts: 1445000 | #Constraints: 113187
3600.05/3610.11 c #Conflicts: 1446000 | #Constraints: 114187
3600.05/3610.11 c #Conflicts: 1447000 | #Constraints: 115187
3600.05/3610.11 c #Conflicts: 1448000 | #Constraints: 116187
3600.05/3610.11 c #Conflicts: 1449000 | #Constraints: 117187
3600.05/3610.11 c #Conflicts: 1450000 | #Constraints: 118187
3600.05/3610.11 c #Conflicts: 1451000 | #Constraints: 119187
3600.05/3610.11 c #Conflicts: 1452000 | #Constraints: 120187
3600.05/3610.11 c #Conflicts: 1453000 | #Constraints: 121187
3600.05/3610.11 c #Conflicts: 1454000 | #Constraints: 122187
3600.05/3610.11 c #Conflicts: 1455000 | #Constraints: 123187
3600.05/3610.11 c #Conflicts: 1456000 | #Constraints: 124187
3600.05/3610.11 c cpu time 3567.34 s
3600.05/3610.11 c deterministic time 260190621543 2.60e+11
3600.05/3610.11 c optimization time 75.8551 s
3600.05/3610.11 c total solve time 3491.21 s
3600.05/3610.11 c core-guided solve time 0 s
3600.05/3610.11 c propagation time 1992.86 s
3600.05/3610.11 c conflict analysis time 1145.26 s
3600.05/3610.11 c propagations 1462747876
3600.05/3610.11 c resolve steps 85141390
3600.05/3610.11 c decisions 36192874
3600.05/3610.11 c conflicts 1456135
3600.05/3610.11 c restarts 2812
3600.05/3610.11 c inprocessing phases 50
3600.05/3610.11 c garbage collections 50 ,( 100.00 )
3600.05/3610.11 c input clauses 20882 ,( 99.17 )
3600.05/3610.11 c input cardinalities 174 ,( 0.83 )
3600.05/3610.11 c input general constraints 0 ,( 0.00 )
3600.05/3610.11 c input average constraint length 6.43
3600.05/3610.11 c input average constraint degree 1.97
3600.05/3610.11 c learned clauses 1059530 ,( 72.76 )
3600.05/3610.11 c learned cardinalities 48010 ,( 3.30 )
3600.05/3610.11 c learned general constraints 348603 ,( 23.94 )
3600.05/3610.11 c learned average constraint length 678.02
3600.05/3610.11 c learned average constraint degree 19909778.11
3600.05/3610.11 c watched CF 32, 64, 128, Arb: 86770 , 0 , 0 , 0
3600.05/3610.11 c counting CF 32, 64, 128, Arb: 261833 , 0 , 0 , 0
3600.05/3610.11 c watched constraints 86770 ,( 24.89 )
3600.05/3610.11 c counting constraints 261833 ,( 75.11 )
3600.05/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1405137566 , 782583307 , 2069848710 ,( 91639899 , 1978208811 )
3600.05/3610.11 c gcd simplifications 721
3600.05/3610.11 c detected cardinalities 7072
3600.05/3610.11 c weakened non-implied lits 397686116
3600.05/3610.11 c weakened non-implying lits 198476
3600.05/3610.11 c original variables 20706
3600.05/3610.11 c clausal propagations 669830887
3600.05/3610.11 c cardinality propagations 540680309
3600.05/3610.11 c watched propagations 4472395
3600.05/3610.11 c counting propagations 234040617
3600.05/3610.11 c watch lookups 84285710848
3600.05/3610.11 c watch backjump lookups 0
3600.05/3610.11 c watch checks 36000947554
3600.05/3610.11 c propagation checks 132125172179
3600.05/3610.11 c constraint additions 4779167711
3600.05/3610.11 c trail pops 1500379977
3600.05/3610.11 c formula constraints 21056
3600.05/3610.11 c learned constraints 1456128
3600.05/3610.11 c bound constraints 0
3600.05/3610.11 c core-guided constraints 0
3600.05/3610.11 c encountered formula constraints 53446162
3600.05/3610.11 c encountered learned constraints 33151006
3600.05/3610.11 c encountered bound constraints 0
3600.05/3610.11 c encountered core-guided constraints 0
3600.05/3610.11 c LP total time 416.211 s
3600.05/3610.11 c LP solve time 409.71 s
3600.05/3610.11 c LP constraints added 21352
3600.05/3610.11 c LP constraints removed 61
3600.05/3610.11 c LP pivots internal 153681
3600.05/3610.11 c LP pivots root 148842
3600.05/3610.11 c LP calls 18
3600.05/3610.11 c LP optimalities 6
3600.05/3610.11 c LP no pivot count 0
3600.05/3610.11 c LP infeasibilities 6
3600.05/3610.11 c LP valid Farkas constraints 6
3600.05/3610.11 c LP learned Farkas constraints 6
3600.05/3610.11 c LP basis resets 0
3600.05/3610.11 c LP cycling count 0
3600.05/3610.11 c LP singular count 0
3600.05/3610.11 c LP no primal count 0
3600.05/3610.11 c LP no farkas count 0
3600.05/3610.11 c LP other issue count 0
3600.05/3610.11 c LP Gomory cuts 3
3600.05/3610.11 c LP learned cuts 293
3600.05/3610.11 c LP deleted cuts 61
3600.05/3610.11 c LP encountered Gomory constraints 294
3600.05/3610.11 c LP encountered Farkas constraints 45
3600.05/3610.11 c LP encountered learned Farkas constraints 12
3600.05/3610.11 c CG auxiliary variables introduced 0
3600.05/3610.11 c CG solutions found 0
3600.05/3610.11 c CG cores constructed 0
3600.05/3610.11 c CG core cardinality constraints returned 0
3600.05/3610.11 c CG unit cores 0
3600.05/3610.11 c CG single cores 0
3600.05/3610.11 c CG blocks removed during cardinality reduction 0
3600.05/3610.11 c CG first core best 0
3600.05/3610.11 c CG decision core best 0
3600.05/3610.11 c CG core reduction tie 0
3600.05/3610.11 c CG core degree average 0.00
3600.05/3610.11 c CG core slack average 0.00
3600.05/3610.11 c CG core upper bound improvements 0
3600.05/3610.11 c STR number of successful calls 0
3600.05/3610.11 c STR number of unsuccessful calls 0
3600.05/3610.11 c STR number of inconclusive calls 0
3600.05/3610.11 c STR number of successful attempts 0
3600.05/3610.11 c STR number of unsuccessful attempts 0
3600.05/3610.11 c STR number of inconclusive attempts 0
3600.05/3610.11 c STR average degree increase per successful call inf
3600.05/3610.11 c STR average degree increase per successful attempt inf
3600.05/3610.11 c STR total number of conflicts for successful attempts 0
3600.05/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.11 c STR average number of conflicts per successful attempt inf
3600.05/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.11 c AVG.sumWPerc 66.55
3600.05/3610.11 c bigint constraints 0
3600.05/3610.11 s UNKNOWN
3600.05/3610.11 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 (62655 MiB free)
memory of node 1: 64507 MiB (63163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507014-1751174942/watcher-4507014-1751174942 -o /tmp/evaluation-result-4507014-1751174942/solver-4507014-1751174942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4507014-1751174942.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20707, runsolver pid=20704
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.10 4.24 4.18 5/255 20709
/proc/meminfo: memFree=128834260/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=63320 memory=18524 CPUtime=0.08 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 2325 0 0 0 6 2 0 0 20 0 1 0 33173591 64839680 4631 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 15830 4631 2016 1147 0 3257 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67512 KiB
Current children cumulated memory: 21468 KiB
[startup+0.218138 s]*
/proc/loadavg: 4.10 4.24 4.18 5/255 20709
/proc/meminfo: memFree=128834260/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=67952 memory=22692 CPUtime=0.2 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 3517 0 0 0 15 5 0 0 20 0 1 0 33173591 69582848 5673 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 16988 5673 2016 1147 0 4415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72144 KiB
Current children cumulated memory: 25636 KiB
[startup+0.313708 s]*
/proc/loadavg: 4.10 4.24 4.18 5/255 20709
/proc/meminfo: memFree=128822352/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=85716 memory=40224 CPUtime=0.29 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 6985 0 0 0 23 6 0 0 20 0 1 0 33173591 87773184 10056 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 21429 10056 2272 1147 0 8856 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89908 KiB
Current children cumulated memory: 43168 KiB
[startup+0.700412 s]
/proc/loadavg: 4.10 4.24 4.18 5/255 20709
/proc/meminfo: memFree=128794188/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=116548 memory=63156 CPUtime=0.66 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 12416 0 0 0 58 8 0 0 20 0 1 0 33173591 119345152 15789 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 29137 15789 2304 1147 0 16564 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 120740 KiB
Current children cumulated memory: 66100 KiB
[startup+1.50042 s]
/proc/loadavg: 4.09 4.24 4.17 5/255 20709
/proc/meminfo: memFree=128794188/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=116548 memory=63668 CPUtime=1.45 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 12545 0 0 0 137 8 0 0 20 0 1 0 33173591 119345152 15917 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 29137 15917 2304 1147 0 16564 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 120740 KiB
Current children cumulated memory: 66612 KiB
[startup+3.1134 s]
/proc/loadavg: 4.09 4.24 4.17 5/255 20709
/proc/meminfo: memFree=128794284/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=116548 memory=63668 CPUtime=3.06 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 12545 0 0 0 298 8 0 0 20 0 1 0 33173591 119345152 15917 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 29137 15917 2304 1147 0 16564 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 120740 KiB
Current children cumulated memory: 66612 KiB
[startup+6.3004 s]
/proc/loadavg: 4.08 4.23 4.17 5/255 20709
/proc/meminfo: memFree=128786472/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=121696 memory=72404 CPUtime=6.24 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 14175 0 0 0 607 17 0 0 20 0 1 0 33173591 124616704 18101 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 30424 18101 2368 1147 0 17851 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 125888 KiB
Current children cumulated memory: 75348 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.25 4.18 5/255 20709
/proc/meminfo: memFree=128770344/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=133016 memory=83816 CPUtime=12.63 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 16501 0 0 0 1228 35 0 0 20 0 1 0 33173591 136208384 20954 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 33254 20954 2368 1147 0 20681 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 137208 KiB
Current children cumulated memory: 86760 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.24 4.18 5/254 20710
/proc/meminfo: memFree=128742372/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=158692 memory=102412 CPUtime=25.39 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 20637 0 0 0 2477 62 0 0 20 0 1 0 33173591 162500608 25603 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 39673 25603 2368 1147 0 27100 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162884 KiB
Current children cumulated memory: 105356 KiB
[startup+51.1135 s]
/proc/loadavg: 4.08 4.21 4.17 5/254 20710
/proc/meminfo: memFree=128683964/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=186852 memory=128264 CPUtime=50.95 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 25646 0 0 0 4975 120 0 0 20 0 1 0 33173591 191336448 32066 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 46713 32066 2368 1147 0 34140 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 191044 KiB
Current children cumulated memory: 131208 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/255 20716
/proc/meminfo: memFree=128534632/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=243636 memory=181136 CPUtime=102 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 35302 0 0 0 9992 208 0 0 20 0 1 0 33173591 249483264 45284 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 60909 45284 2368 1147 0 48336 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 247828 KiB
Current children cumulated memory: 184080 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/257 20722
/proc/meminfo: memFree=128475940/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=256736 memory=205348 CPUtime=161.85 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 38809 0 0 0 15877 308 0 0 20 0 1 0 33173591 262897664 51337 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 64184 51337 2368 1147 0 51611 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 260928 KiB
Current children cumulated memory: 208292 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/257 20724
/proc/meminfo: memFree=128357668/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=310348 memory=235884 CPUtime=221.67 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 44885 0 0 0 21757 410 0 0 20 0 1 0 33173591 317796352 58971 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 77587 58971 2400 1147 0 65014 0
################
# More data... #
################
/proc/20709/statm: 288450 260009 2400 1147 0 275877 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 1157992 KiB
Current children cumulated memory: 1042980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.47 4.29 4.20 5/255 20969
/proc/meminfo: memFree=127410080/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1160136 memory=1045156 CPUtime=3153.42 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 133889 0 0 0 312389 2953 0 0 20 0 1 0 33173591 1187979264 261289 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 290034 261289 2400 1147 0 277461 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 1164328 KiB
Current children cumulated memory: 1048100 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.27 4.19 5/256 20974
/proc/meminfo: memFree=127321604/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1171964 memory=1054756 CPUtime=3213.26 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 136288 0 0 0 318341 2985 0 0 20 0 1 0 33173591 1200091136 263689 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 292991 263689 2400 1147 0 280418 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 1176156 KiB
Current children cumulated memory: 1057700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.25 4.19 5/256 20976
/proc/meminfo: memFree=127260852/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1173080 memory=1055908 CPUtime=3273.1 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 136585 0 0 0 324281 3029 0 0 20 0 1 0 33173591 1201233920 263977 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 293270 263977 2400 1147 0 280697 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 1177272 KiB
Current children cumulated memory: 1058852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/255 21025
/proc/meminfo: memFree=128193368/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1173080 memory=1055908 CPUtime=3332.95 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 136585 0 0 0 330201 3094 0 0 20 0 1 0 33173591 1201233920 263977 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 293270 263977 2400 1147 0 280697 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 1177272 KiB
Current children cumulated memory: 1058852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/255 21073
/proc/meminfo: memFree=128084052/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1174544 memory=1056548 CPUtime=3392.8 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 136767 0 0 0 336139 3141 0 0 20 0 1 0 33173591 1202733056 264137 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 293636 264137 2400 1147 0 281063 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1178736 KiB
Current children cumulated memory: 1059492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/255 21075
/proc/meminfo: memFree=127894152/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1176876 memory=1059236 CPUtime=3452.63 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 137430 0 0 0 342091 3172 0 0 20 0 1 0 33173591 1205121024 264809 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 294219 264809 2400 1147 0 281646 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 1181068 KiB
Current children cumulated memory: 1062180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/255 21078
/proc/meminfo: memFree=127765684/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1188544 memory=1068196 CPUtime=3512.48 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 139867 0 0 0 348043 3205 0 0 20 0 1 0 33173591 1217069056 267049 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 297136 267049 2400 1147 0 284563 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1192736 KiB
Current children cumulated memory: 1071140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/255 21080
/proc/meminfo: memFree=127733300/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1195208 memory=1074212 CPUtime=3572.31 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 141365 0 0 0 353975 3256 0 0 20 0 1 0 33173591 1223892992 268553 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 298802 268553 2400 1147 0 286229 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 1199400 KiB
Current children cumulated memory: 1077156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 21080
/proc/meminfo: memFree=127664000/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1195208 memory=1076132 CPUtime=3600.05 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 141373 0 0 0 356734 3271 0 0 20 0 1 0 33173591 1223892992 269033 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 298802 269033 2400 1147 0 286229 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1199400 KiB
Current children cumulated memory: 1079076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 20707 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000765 s, system=0.001528 s
[startup+3610.13 s]
# the end of solver process 20709 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3567.35 s, system=32.7354 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.11 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 21080
/proc/meminfo: memFree=127664000/131382120 swapFree=33010684/33010684
[pid=20707] ppid=20704 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20707/stat : 20707 (run-dec-ls.sh) S 20704 20707 20058 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33173590 4292608 736 18446744073709551615 94863654494208 94863655388741 140728798954480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94863655627792 94863655675536 94863686598656 140728798959975 140728798960101 140728798960101 140728798965703 0
/proc/20707/statm: 1048 736 672 219 0 110 0
[pid=20709] ppid=20707 vsize=1195208 memory=1076132 CPUtime=3600.05 cores=1,3
/proc/20709/stat : 20709 (roundingsat) R 20707 20707 20058 0 -1 4194304 141373 0 0 0 356734 3271 0 0 20 0 1 0 33173591 1223892992 269033 18446744073709551615 4227072 8923433 140725506502784 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 25935872 140725506509216 140725506509352 140725506509352 140725506514922 0
/proc/20709/statm: 298802 269033 2400 1147 0 286229 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1199400 KiB
Current children cumulated memory: 1079076 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.09
CPU user time (s): 3567.35
CPU system time (s): 32.7354
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 1199400
Max. memory (cumulated for all children) (KiB): 1079076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.35
system time used= 32.7354
maximum resident set size= 1076388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 3046
# summary of solver processes directly reported to runsolver:
# pid: 20707,20709
# total CPU time (s): 3600.09
# total CPU user time (s): 3567.35
# total CPU system time (s): 32.7354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6384 second user time and 37.95 second system time
The end
Begin job on nodeC006 at 2025-06-29 07:29:02
IDJOB=4507014
IDBENCH=158316
IDSOLVER=3353
FILE ID=nodeC006/4507014-1751174942
RUNJOBID= nodeC006-1751170846-20070
SLURM_JOB_ID= 9587530
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K174.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507014-1751174942/watcher-4507014-1751174942 -o /tmp/evaluation-result-4507014-1751174942/solver-4507014-1751174942 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4507014-1751174942.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4faa5671d3144bef53831284f041277
RANDOM SEED=1150127522
nodeC006 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 : 3660.986
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.32
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 : 3492.188
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.32
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.580
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.32
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.260
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.32
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 : 3662.378
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.32
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 : 3664.673
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.32
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.349
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.32
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128838356 kB
MemAvailable: 128484396 kB
Buffers: 3280 kB
Cached: 456940 kB
SwapCached: 0 kB
Active: 1779484 kB
Inactive: 209176 kB
Active(anon): 1546400 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 209176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8784 kB
Writeback: 0 kB
AnonPages: 1531620 kB
Mapped: 115720 kB
Shmem: 17960 kB
KReclaimable: 85304 kB
Slab: 164148 kB
SReclaimable: 85304 kB
SUnreclaim: 78844 kB
KernelStack: 4096 kB
PageTables: 6256 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2039944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149480 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 495616 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 08:29:13