0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.10 c #variables 15946 #constraints 16216
115.67/116.08 c #Conflicts: 1000 | #Constraints: 17215
115.67/116.08 c #Conflicts: 2000 | #Constraints: 18215
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 3000 | #Constraints: 17436
115.67/116.08 c #Conflicts: 4000 | #Constraints: 18436
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 5000 | #Constraints: 17915
115.67/116.08 c #Conflicts: 6000 | #Constraints: 18915
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 7000 | #Constraints: 17985
115.67/116.08 c #Conflicts: 8000 | #Constraints: 18985
115.67/116.08 c #Conflicts: 9000 | #Constraints: 19985
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 10000 | #Constraints: 18732
115.67/116.08 c #Conflicts: 11000 | #Constraints: 19732
115.67/116.08 c #Conflicts: 12000 | #Constraints: 20732
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 13000 | #Constraints: 19251
115.67/116.08 c #Conflicts: 14000 | #Constraints: 20251
115.67/116.08 c #Conflicts: 15000 | #Constraints: 21251
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 16000 | #Constraints: 19542
115.67/116.08 c #Conflicts: 17000 | #Constraints: 20542
115.67/116.08 c #Conflicts: 18000 | #Constraints: 21542
115.67/116.08 c #Conflicts: 19000 | #Constraints: 22542
115.67/116.08 c #Conflicts: 20000 | #Constraints: 23542
115.67/116.08 c #Conflicts: 21000 | #Constraints: 24542
115.67/116.08 c #Conflicts: 22000 | #Constraints: 25542
115.67/116.08 c #Conflicts: 23000 | #Constraints: 26542
115.67/116.08 c #Conflicts: 24000 | #Constraints: 27542
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 25000 | #Constraints: 22505
115.67/116.08 c #Conflicts: 26000 | #Constraints: 23505
115.67/116.08 c #Conflicts: 27000 | #Constraints: 24505
115.67/116.08 c #Conflicts: 28000 | #Constraints: 25505
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 29000 | #Constraints: 21420
115.67/116.08 c #Conflicts: 30000 | #Constraints: 22420
115.67/116.08 c #Conflicts: 31000 | #Constraints: 23420
115.67/116.08 c #Conflicts: 32000 | #Constraints: 24420
115.67/116.08 c #Conflicts: 33000 | #Constraints: 25420
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 34000 | #Constraints: 21635
115.67/116.08 c #Conflicts: 35000 | #Constraints: 22635
115.67/116.08 c #Conflicts: 36000 | #Constraints: 23635
115.67/116.08 c #Conflicts: 37000 | #Constraints: 24635
115.67/116.08 c #Conflicts: 38000 | #Constraints: 25635
115.67/116.08 c #Conflicts: 39000 | #Constraints: 26635
115.67/116.08 c #Conflicts: 40000 | #Constraints: 27635
115.67/116.08 c #Conflicts: 41000 | #Constraints: 28635
115.67/116.08 c #Conflicts: 42000 | #Constraints: 29635
115.67/116.08 c #Conflicts: 43000 | #Constraints: 30635
115.67/116.08 c #Conflicts: 44000 | #Constraints: 31635
115.67/116.08 c #Conflicts: 45000 | #Constraints: 32635
115.67/116.08 c #Conflicts: 46000 | #Constraints: 33635
115.67/116.08 c #Conflicts: 47000 | #Constraints: 34635
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 48000 | #Constraints: 26461
115.67/116.08 c #Conflicts: 49000 | #Constraints: 27461
115.67/116.08 c #Conflicts: 50000 | #Constraints: 28461
115.67/116.08 c #Conflicts: 51000 | #Constraints: 29461
115.67/116.08 c #Conflicts: 52000 | #Constraints: 30461
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 53000 | #Constraints: 23971
115.67/116.08 c #Conflicts: 54000 | #Constraints: 24971
115.67/116.08 c #Conflicts: 55000 | #Constraints: 25971
115.67/116.08 c #Conflicts: 56000 | #Constraints: 26971
115.67/116.08 c #Conflicts: 57000 | #Constraints: 27971
115.67/116.08 c #Conflicts: 58000 | #Constraints: 28971
115.67/116.08 c INPROCESSING
115.67/116.08 c GARBAGE COLLECT
115.67/116.08 c #Conflicts: 59000 | #Constraints: 23169
115.67/116.08 c #Conflicts: 60000 | #Constraints: 24169
115.67/116.08 c #Conflicts: 61000 | #Constraints: 25169
115.67/116.08 c #Conflicts: 62000 | #Constraints: 26169
115.67/116.08 c #Conflicts: 63000 | #Constraints: 27169
115.67/116.08 c #Conflicts: 64000 | #Constraints: 28169
115.67/116.08 c #Conflicts: 65000 | #Constraints: 29169
115.67/116.08 c #Conflicts: 66000 | #Constraints: 30169
115.67/116.08 c #Conflicts: 67000 | #Constraints: 31169
115.67/116.08 c #Conflicts: 68000 | #Constraints: 32169
115.67/116.08 c #Conflicts: 69000 | #Constraints: 33169
115.67/116.08 c #Conflicts: 70000 | #Constraints: 34169
115.67/116.08 c #Conflicts: 71000 | #Constraints: 35169
115.67/116.08 c #Conflicts: 72000 | #Constraints: 36169
245.90/246.63 c #Conflicts: 73000 | #Constraints: 37169
245.90/246.63 c #Conflicts: 74000 | #Constraints: 38169
245.90/246.63 c #Conflicts: 75000 | #Constraints: 39169
245.90/246.63 c #Conflicts: 76000 | #Constraints: 40169
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 77000 | #Constraints: 28916
245.90/246.63 c #Conflicts: 78000 | #Constraints: 29916
245.90/246.63 c #Conflicts: 79000 | #Constraints: 30916
245.90/246.63 c #Conflicts: 80000 | #Constraints: 31916
245.90/246.63 c #Conflicts: 81000 | #Constraints: 32916
245.90/246.63 c #Conflicts: 82000 | #Constraints: 33916
245.90/246.63 c #Conflicts: 83000 | #Constraints: 34916
245.90/246.63 c #Conflicts: 84000 | #Constraints: 35916
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 85000 | #Constraints: 27261
245.90/246.63 c #Conflicts: 86000 | #Constraints: 28261
245.90/246.63 c #Conflicts: 87000 | #Constraints: 29261
245.90/246.63 c #Conflicts: 88000 | #Constraints: 30261
245.90/246.63 c #Conflicts: 89000 | #Constraints: 31261
245.90/246.63 c #Conflicts: 90000 | #Constraints: 32261
245.90/246.63 c #Conflicts: 91000 | #Constraints: 33261
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 92000 | #Constraints: 25626
245.90/246.63 c #Conflicts: 93000 | #Constraints: 26626
245.90/246.63 c #Conflicts: 94000 | #Constraints: 27626
245.90/246.63 c #Conflicts: 95000 | #Constraints: 28626
245.90/246.63 c #Conflicts: 96000 | #Constraints: 29626
245.90/246.63 c #Conflicts: 97000 | #Constraints: 30626
245.90/246.63 c #Conflicts: 98000 | #Constraints: 31626
245.90/246.63 c #Conflicts: 99000 | #Constraints: 32626
245.90/246.63 c #Conflicts: 100000 | #Constraints: 33626
245.90/246.63 c #Conflicts: 101000 | #Constraints: 34627
245.90/246.63 c #Conflicts: 102000 | #Constraints: 35627
245.90/246.63 c #Conflicts: 103000 | #Constraints: 36627
245.90/246.63 c #Conflicts: 104000 | #Constraints: 37627
245.90/246.63 c #Conflicts: 105000 | #Constraints: 38627
245.90/246.63 c #Conflicts: 106000 | #Constraints: 39627
245.90/246.63 c #Conflicts: 107000 | #Constraints: 40627
245.90/246.63 c #Conflicts: 108000 | #Constraints: 41627
245.90/246.63 c #Conflicts: 109000 | #Constraints: 42627
245.90/246.63 c #Conflicts: 110000 | #Constraints: 43627
245.90/246.63 c #Conflicts: 111000 | #Constraints: 44627
245.90/246.63 c #Conflicts: 112000 | #Constraints: 45627
245.90/246.63 c #Conflicts: 113000 | #Constraints: 46627
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 114000 | #Constraints: 32314
245.90/246.63 c #Conflicts: 115000 | #Constraints: 33314
245.90/246.63 c #Conflicts: 116000 | #Constraints: 34314
245.90/246.63 c #Conflicts: 117000 | #Constraints: 35314
245.90/246.63 c #Conflicts: 118000 | #Constraints: 36314
245.90/246.63 c #Conflicts: 119000 | #Constraints: 37314
245.90/246.63 c #Conflicts: 120000 | #Constraints: 38314
245.90/246.63 c #Conflicts: 121000 | #Constraints: 39314
245.90/246.63 c #Conflicts: 122000 | #Constraints: 40314
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 123000 | #Constraints: 29290
245.90/246.63 c #Conflicts: 124000 | #Constraints: 30290
245.90/246.63 c #Conflicts: 125000 | #Constraints: 31290
245.90/246.63 c #Conflicts: 126000 | #Constraints: 32290
245.90/246.63 c #Conflicts: 127000 | #Constraints: 33290
245.90/246.63 c #Conflicts: 128000 | #Constraints: 34290
245.90/246.63 c #Conflicts: 129000 | #Constraints: 35290
245.90/246.63 c #Conflicts: 130000 | #Constraints: 36290
245.90/246.63 c #Conflicts: 131000 | #Constraints: 37290
245.90/246.63 c INPROCESSING
245.90/246.63 c GARBAGE COLLECT
245.90/246.63 c #Conflicts: 132000 | #Constraints: 28042
245.90/246.63 c #Conflicts: 133000 | #Constraints: 29042
245.90/246.63 c #Conflicts: 134000 | #Constraints: 30042
245.90/246.63 c #Conflicts: 135000 | #Constraints: 31042
245.90/246.63 c #Conflicts: 136000 | #Constraints: 32042
245.90/246.63 c #Conflicts: 137000 | #Constraints: 33042
245.90/246.63 c #Conflicts: 138000 | #Constraints: 34042
245.90/246.63 c #Conflicts: 139000 | #Constraints: 35042
245.90/246.63 c #Conflicts: 140000 | #Constraints: 36042
245.90/246.63 c #Conflicts: 141000 | #Constraints: 37042
245.90/246.63 c #Conflicts: 142000 | #Constraints: 38042
245.90/246.63 c #Conflicts: 143000 | #Constraints: 39042
245.90/246.63 c #Conflicts: 144000 | #Constraints: 40042
245.90/246.63 c #Conflicts: 145000 | #Constraints: 41042
245.90/246.63 c #Conflicts: 146000 | #Constraints: 42042
245.90/246.63 c #Conflicts: 147000 | #Constraints: 43042
422.02/423.23 c #Conflicts: 148000 | #Constraints: 44042
422.02/423.23 c #Conflicts: 149000 | #Constraints: 45042
422.02/423.23 c #Conflicts: 150000 | #Constraints: 46042
422.02/423.23 c #Conflicts: 151000 | #Constraints: 47042
422.02/423.23 c #Conflicts: 152000 | #Constraints: 48042
422.02/423.23 c #Conflicts: 153000 | #Constraints: 49042
422.02/423.23 c #Conflicts: 154000 | #Constraints: 50042
422.02/423.23 c #Conflicts: 155000 | #Constraints: 51042
422.02/423.23 c #Conflicts: 156000 | #Constraints: 52042
422.02/423.23 c #Conflicts: 157000 | #Constraints: 53042
422.02/423.23 c INPROCESSING
422.02/423.23 c GARBAGE COLLECT
422.02/423.23 c #Conflicts: 158000 | #Constraints: 35601
422.02/423.23 c #Conflicts: 159000 | #Constraints: 36601
422.02/423.23 c #Conflicts: 160000 | #Constraints: 37601
422.02/423.23 c #Conflicts: 161000 | #Constraints: 38601
422.02/423.23 c #Conflicts: 162000 | #Constraints: 39601
422.02/423.23 c #Conflicts: 163000 | #Constraints: 40601
422.02/423.23 c #Conflicts: 164000 | #Constraints: 41601
422.02/423.23 c #Conflicts: 165000 | #Constraints: 42601
422.02/423.23 c #Conflicts: 166000 | #Constraints: 43601
422.02/423.23 c #Conflicts: 167000 | #Constraints: 44601
422.02/423.23 c #Conflicts: 168000 | #Constraints: 45601
422.02/423.23 c INPROCESSING
422.02/423.23 c GARBAGE COLLECT
422.02/423.23 c #Conflicts: 169000 | #Constraints: 32267
422.02/423.23 c #Conflicts: 170000 | #Constraints: 33267
422.02/423.23 c #Conflicts: 171000 | #Constraints: 34267
422.02/423.23 c #Conflicts: 172000 | #Constraints: 35267
422.02/423.23 c #Conflicts: 173000 | #Constraints: 36267
422.02/423.23 c #Conflicts: 174000 | #Constraints: 37267
422.02/423.23 c #Conflicts: 175000 | #Constraints: 38267
422.02/423.23 c #Conflicts: 176000 | #Constraints: 39267
422.02/423.23 c #Conflicts: 177000 | #Constraints: 40267
422.02/423.23 c #Conflicts: 178000 | #Constraints: 41267
422.02/423.23 c INPROCESSING
422.02/423.23 c GARBAGE COLLECT
422.02/423.23 c #Conflicts: 179000 | #Constraints: 30747
422.02/423.23 c #Conflicts: 180000 | #Constraints: 31747
422.02/423.23 c #Conflicts: 181000 | #Constraints: 32747
422.02/423.23 c #Conflicts: 182000 | #Constraints: 33747
422.02/423.23 c #Conflicts: 183000 | #Constraints: 34747
422.02/423.23 c #Conflicts: 184000 | #Constraints: 35747
422.02/423.23 c #Conflicts: 185000 | #Constraints: 36747
422.02/423.23 c #Conflicts: 186000 | #Constraints: 37747
422.02/423.23 c #Conflicts: 187000 | #Constraints: 38747
422.02/423.23 c #Conflicts: 188000 | #Constraints: 39747
422.02/423.23 c #Conflicts: 189000 | #Constraints: 40747
422.02/423.23 c #Conflicts: 190000 | #Constraints: 41747
422.02/423.23 c #Conflicts: 191000 | #Constraints: 42747
422.02/423.23 c #Conflicts: 192000 | #Constraints: 43747
422.02/423.23 c #Conflicts: 193000 | #Constraints: 44747
422.02/423.23 c #Conflicts: 194000 | #Constraints: 45747
422.02/423.23 c #Conflicts: 195000 | #Constraints: 46747
422.02/423.23 c #Conflicts: 196000 | #Constraints: 47747
422.02/423.23 c #Conflicts: 197000 | #Constraints: 48747
422.02/423.23 c #Conflicts: 198000 | #Constraints: 49747
422.02/423.23 c #Conflicts: 199000 | #Constraints: 50747
422.02/423.23 c #Conflicts: 200000 | #Constraints: 51747
422.02/423.23 c #Conflicts: 201000 | #Constraints: 52747
422.02/423.23 c #Conflicts: 202000 | #Constraints: 53747
422.02/423.23 c #Conflicts: 203000 | #Constraints: 54747
422.02/423.23 c #Conflicts: 204000 | #Constraints: 55747
422.02/423.23 c #Conflicts: 205000 | #Constraints: 56747
422.02/423.23 c #Conflicts: 206000 | #Constraints: 57747
422.02/423.23 c #Conflicts: 207000 | #Constraints: 58747
422.02/423.23 c #Conflicts: 208000 | #Constraints: 59747
422.02/423.23 c #Conflicts: 209000 | #Constraints: 60747
422.02/423.23 c INPROCESSING
422.02/423.23 c GARBAGE COLLECT
422.02/423.23 c #Conflicts: 210000 | #Constraints: 39813
422.02/423.23 c #Conflicts: 211000 | #Constraints: 40813
422.02/423.23 c #Conflicts: 212000 | #Constraints: 41813
422.02/423.23 c #Conflicts: 213000 | #Constraints: 42813
422.02/423.23 c #Conflicts: 214000 | #Constraints: 43813
422.02/423.23 c #Conflicts: 215000 | #Constraints: 44813
422.02/423.23 c #Conflicts: 216000 | #Constraints: 45813
422.02/423.23 c #Conflicts: 217000 | #Constraints: 46813
422.02/423.23 c #Conflicts: 218000 | #Constraints: 47813
422.02/423.23 c #Conflicts: 219000 | #Constraints: 48813
422.02/423.23 c #Conflicts: 220000 | #Constraints: 49813
422.02/423.23 c INPROCESSING
422.02/423.23 c GARBAGE COLLECT
422.02/423.23 c rational objective 134
581.68/583.35 c #Conflicts: 221000 | #Constraints: 33890
581.68/583.35 c #Conflicts: 222000 | #Constraints: 34890
581.68/583.35 c #Conflicts: 223000 | #Constraints: 35890
581.68/583.35 c #Conflicts: 224000 | #Constraints: 36890
581.68/583.35 c #Conflicts: 225000 | #Constraints: 37890
581.68/583.35 c #Conflicts: 226000 | #Constraints: 38890
581.68/583.35 c #Conflicts: 227000 | #Constraints: 39890
581.68/583.35 c #Conflicts: 228000 | #Constraints: 40890
581.68/583.35 c #Conflicts: 229000 | #Constraints: 41890
581.68/583.35 c #Conflicts: 230000 | #Constraints: 42890
581.68/583.35 c #Conflicts: 231000 | #Constraints: 43890
581.68/583.35 c #Conflicts: 232000 | #Constraints: 44890
581.68/583.35 c INPROCESSING
581.68/583.35 c GARBAGE COLLECT
581.68/583.35 c #Conflicts: 233000 | #Constraints: 32367
581.68/583.35 c #Conflicts: 234000 | #Constraints: 33367
581.68/583.35 c #Conflicts: 235000 | #Constraints: 34367
581.68/583.35 c #Conflicts: 236000 | #Constraints: 35367
581.68/583.35 c #Conflicts: 237000 | #Constraints: 36367
581.68/583.35 c #Conflicts: 238000 | #Constraints: 37367
581.68/583.35 c #Conflicts: 239000 | #Constraints: 38367
581.68/583.35 c #Conflicts: 240000 | #Constraints: 39367
581.68/583.35 c #Conflicts: 241000 | #Constraints: 40367
581.68/583.35 c #Conflicts: 242000 | #Constraints: 41367
581.68/583.35 c #Conflicts: 243000 | #Constraints: 42367
581.68/583.35 c #Conflicts: 244000 | #Constraints: 43367
581.68/583.35 c #Conflicts: 245000 | #Constraints: 44367
581.68/583.35 c #Conflicts: 246000 | #Constraints: 45367
581.68/583.35 c #Conflicts: 247000 | #Constraints: 46367
581.68/583.35 c #Conflicts: 248000 | #Constraints: 47367
581.68/583.35 c #Conflicts: 249000 | #Constraints: 48367
581.68/583.35 c #Conflicts: 250000 | #Constraints: 49367
581.68/583.35 c #Conflicts: 251000 | #Constraints: 50368
581.68/583.35 c #Conflicts: 252000 | #Constraints: 51368
581.68/583.35 c #Conflicts: 253000 | #Constraints: 52368
581.68/583.35 c #Conflicts: 254000 | #Constraints: 53368
581.68/583.35 c #Conflicts: 255000 | #Constraints: 54368
581.68/583.35 c #Conflicts: 256000 | #Constraints: 55368
581.68/583.35 c #Conflicts: 257000 | #Constraints: 56368
581.68/583.35 c #Conflicts: 258000 | #Constraints: 57368
581.68/583.35 c #Conflicts: 259000 | #Constraints: 58368
581.68/583.35 c #Conflicts: 260000 | #Constraints: 59368
581.68/583.35 c #Conflicts: 261000 | #Constraints: 60368
581.68/583.35 c #Conflicts: 262000 | #Constraints: 61368
581.68/583.35 c #Conflicts: 263000 | #Constraints: 62368
581.68/583.35 c #Conflicts: 264000 | #Constraints: 63368
581.68/583.35 c #Conflicts: 265000 | #Constraints: 64368
581.68/583.35 c #Conflicts: 266000 | #Constraints: 65368
581.68/583.35 c #Conflicts: 267000 | #Constraints: 66368
581.68/583.35 c INPROCESSING
581.68/583.35 c GARBAGE COLLECT
581.68/583.35 c #Conflicts: 268000 | #Constraints: 42323
581.68/583.35 c #Conflicts: 269000 | #Constraints: 43323
581.68/583.35 c #Conflicts: 270000 | #Constraints: 44323
581.68/583.35 c #Conflicts: 271000 | #Constraints: 45323
581.68/583.35 c #Conflicts: 272000 | #Constraints: 46323
581.68/583.35 c #Conflicts: 273000 | #Constraints: 47323
581.68/583.35 c #Conflicts: 274000 | #Constraints: 48323
581.68/583.35 c #Conflicts: 275000 | #Constraints: 49323
581.68/583.35 c #Conflicts: 276000 | #Constraints: 50323
581.68/583.35 c #Conflicts: 277000 | #Constraints: 51323
581.68/583.35 c #Conflicts: 278000 | #Constraints: 52323
581.68/583.35 c #Conflicts: 279000 | #Constraints: 53323
581.68/583.35 c #Conflicts: 280000 | #Constraints: 54323
581.68/583.35 c INPROCESSING
581.68/583.35 c GARBAGE COLLECT
581.68/583.35 c #Conflicts: 281000 | #Constraints: 36326
581.68/583.35 c #Conflicts: 282000 | #Constraints: 37326
581.68/583.35 c #Conflicts: 283000 | #Constraints: 38326
581.68/583.35 c #Conflicts: 284000 | #Constraints: 39326
581.68/583.35 c #Conflicts: 285000 | #Constraints: 40326
581.68/583.35 c #Conflicts: 286000 | #Constraints: 41326
581.68/583.35 c #Conflicts: 287000 | #Constraints: 42326
581.68/583.35 c #Conflicts: 288000 | #Constraints: 43326
581.68/583.35 c #Conflicts: 289000 | #Constraints: 44326
581.68/583.35 c #Conflicts: 290000 | #Constraints: 45326
581.68/583.35 c #Conflicts: 291000 | #Constraints: 46326
581.68/583.35 c #Conflicts: 292000 | #Constraints: 47326
581.68/583.35 c #Conflicts: 293000 | #Constraints: 48326
581.68/583.35 c #Conflicts: 294000 | #Constraints: 49326
581.68/583.35 c INPROCESSING
581.68/583.35 c GARBAGE COLLECT
581.68/583.35 c #Conflicts: 295000 | #Constraints: 35741
581.68/583.35 c #Conflicts: 296000 | #Constraints: 36741
581.68/583.35 c #Conflicts: 297000 | #Constraints: 37741
731.99/734.01 c #Conflicts: 298000 | #Constraints: 38741
731.99/734.01 c #Conflicts: 299000 | #Constraints: 39741
731.99/734.01 c #Conflicts: 300000 | #Constraints: 40741
731.99/734.01 c #Conflicts: 301000 | #Constraints: 41741
731.99/734.01 c #Conflicts: 302000 | #Constraints: 42741
731.99/734.01 c #Conflicts: 303000 | #Constraints: 43741
731.99/734.01 c #Conflicts: 304000 | #Constraints: 44741
731.99/734.01 c #Conflicts: 305000 | #Constraints: 45741
731.99/734.01 c #Conflicts: 306000 | #Constraints: 46741
731.99/734.01 c #Conflicts: 307000 | #Constraints: 47741
731.99/734.01 c #Conflicts: 308000 | #Constraints: 48741
731.99/734.01 c #Conflicts: 309000 | #Constraints: 49741
731.99/734.01 c #Conflicts: 310000 | #Constraints: 50741
731.99/734.01 c #Conflicts: 311000 | #Constraints: 51741
731.99/734.01 c #Conflicts: 312000 | #Constraints: 52741
731.99/734.01 c #Conflicts: 313000 | #Constraints: 53741
731.99/734.01 c #Conflicts: 314000 | #Constraints: 54741
731.99/734.01 c #Conflicts: 315000 | #Constraints: 55741
731.99/734.01 c #Conflicts: 316000 | #Constraints: 56741
731.99/734.01 c #Conflicts: 317000 | #Constraints: 57741
731.99/734.01 c #Conflicts: 318000 | #Constraints: 58741
731.99/734.01 c #Conflicts: 319000 | #Constraints: 59741
731.99/734.01 c #Conflicts: 320000 | #Constraints: 60741
731.99/734.01 c #Conflicts: 321000 | #Constraints: 61741
731.99/734.01 c #Conflicts: 322000 | #Constraints: 62741
731.99/734.01 c #Conflicts: 323000 | #Constraints: 63741
731.99/734.01 c #Conflicts: 324000 | #Constraints: 64741
731.99/734.01 c #Conflicts: 325000 | #Constraints: 65741
731.99/734.01 c #Conflicts: 326000 | #Constraints: 66741
731.99/734.01 c #Conflicts: 327000 | #Constraints: 67741
731.99/734.01 c #Conflicts: 328000 | #Constraints: 68741
731.99/734.01 c #Conflicts: 329000 | #Constraints: 69741
731.99/734.01 c #Conflicts: 330000 | #Constraints: 70741
731.99/734.01 c #Conflicts: 331000 | #Constraints: 71741
731.99/734.01 c #Conflicts: 332000 | #Constraints: 72741
731.99/734.01 c #Conflicts: 333000 | #Constraints: 73741
731.99/734.01 c INPROCESSING
731.99/734.01 c GARBAGE COLLECT
731.99/734.01 c #Conflicts: 334000 | #Constraints: 46401
731.99/734.01 c #Conflicts: 335000 | #Constraints: 47401
731.99/734.01 c #Conflicts: 336000 | #Constraints: 48401
731.99/734.01 c #Conflicts: 337000 | #Constraints: 49401
731.99/734.01 c #Conflicts: 338000 | #Constraints: 50401
731.99/734.01 c #Conflicts: 339000 | #Constraints: 51401
731.99/734.01 c #Conflicts: 340000 | #Constraints: 52401
731.99/734.01 c #Conflicts: 341000 | #Constraints: 53401
731.99/734.01 c #Conflicts: 342000 | #Constraints: 54401
731.99/734.01 c #Conflicts: 343000 | #Constraints: 55401
731.99/734.01 c #Conflicts: 344000 | #Constraints: 56401
731.99/734.01 c #Conflicts: 345000 | #Constraints: 57401
731.99/734.01 c #Conflicts: 346000 | #Constraints: 58401
731.99/734.01 c #Conflicts: 347000 | #Constraints: 59401
731.99/734.01 c #Conflicts: 348000 | #Constraints: 60401
731.99/734.01 c INPROCESSING
731.99/734.01 c GARBAGE COLLECT
731.99/734.01 c #Conflicts: 349000 | #Constraints: 39869
731.99/734.01 c #Conflicts: 350000 | #Constraints: 40869
731.99/734.01 c #Conflicts: 351000 | #Constraints: 41869
731.99/734.01 c #Conflicts: 352000 | #Constraints: 42869
731.99/734.01 c #Conflicts: 353000 | #Constraints: 43869
731.99/734.01 c #Conflicts: 354000 | #Constraints: 44869
731.99/734.01 c #Conflicts: 355000 | #Constraints: 45869
731.99/734.01 c #Conflicts: 356000 | #Constraints: 46869
731.99/734.01 c #Conflicts: 357000 | #Constraints: 47869
731.99/734.01 c #Conflicts: 358000 | #Constraints: 48869
731.99/734.01 c #Conflicts: 359000 | #Constraints: 49869
731.99/734.01 c #Conflicts: 360000 | #Constraints: 50869
731.99/734.01 c #Conflicts: 361000 | #Constraints: 51869
731.99/734.01 c #Conflicts: 362000 | #Constraints: 52869
731.99/734.01 c #Conflicts: 363000 | #Constraints: 53869
731.99/734.01 c INPROCESSING
731.99/734.01 c GARBAGE COLLECT
731.99/734.01 c #Conflicts: 364000 | #Constraints: 38763
731.99/734.01 c #Conflicts: 365000 | #Constraints: 39763
731.99/734.01 c #Conflicts: 366000 | #Constraints: 40763
731.99/734.01 c #Conflicts: 367000 | #Constraints: 41763
731.99/734.01 c #Conflicts: 368000 | #Constraints: 42763
731.99/734.01 c #Conflicts: 369000 | #Constraints: 43763
731.99/734.01 c #Conflicts: 370000 | #Constraints: 44763
731.99/734.01 c #Conflicts: 371000 | #Constraints: 45763
731.99/734.01 c #Conflicts: 372000 | #Constraints: 46763
731.99/734.01 c #Conflicts: 373000 | #Constraints: 47763
731.99/734.01 c #Conflicts: 374000 | #Constraints: 48763
948.18/950.86 c #Conflicts: 375000 | #Constraints: 49763
948.18/950.86 c #Conflicts: 376000 | #Constraints: 50763
948.18/950.86 c #Conflicts: 377000 | #Constraints: 51763
948.18/950.86 c #Conflicts: 378000 | #Constraints: 52763
948.18/950.86 c #Conflicts: 379000 | #Constraints: 53763
948.18/950.86 c #Conflicts: 380000 | #Constraints: 54763
948.18/950.86 c #Conflicts: 381000 | #Constraints: 55763
948.18/950.86 c #Conflicts: 382000 | #Constraints: 56763
948.18/950.86 c #Conflicts: 383000 | #Constraints: 57763
948.18/950.86 c #Conflicts: 384000 | #Constraints: 58763
948.18/950.86 c #Conflicts: 385000 | #Constraints: 59763
948.18/950.86 c #Conflicts: 386000 | #Constraints: 60763
948.18/950.86 c #Conflicts: 387000 | #Constraints: 61763
948.18/950.86 c #Conflicts: 388000 | #Constraints: 62763
948.18/950.86 c #Conflicts: 389000 | #Constraints: 63763
948.18/950.86 c #Conflicts: 390000 | #Constraints: 64763
948.18/950.86 c #Conflicts: 391000 | #Constraints: 65763
948.18/950.86 c #Conflicts: 392000 | #Constraints: 66763
948.18/950.86 c #Conflicts: 393000 | #Constraints: 67763
948.18/950.86 c #Conflicts: 394000 | #Constraints: 68763
948.18/950.86 c #Conflicts: 395000 | #Constraints: 69763
948.18/950.86 c #Conflicts: 396000 | #Constraints: 70763
948.18/950.86 c #Conflicts: 397000 | #Constraints: 71763
948.18/950.86 c #Conflicts: 398000 | #Constraints: 72763
948.18/950.86 c #Conflicts: 399000 | #Constraints: 73763
948.18/950.86 c #Conflicts: 400000 | #Constraints: 74763
948.18/950.86 c #Conflicts: 401000 | #Constraints: 75763
948.18/950.86 c #Conflicts: 402000 | #Constraints: 76763
948.18/950.86 c #Conflicts: 403000 | #Constraints: 77763
948.18/950.86 c #Conflicts: 404000 | #Constraints: 78763
948.18/950.86 c #Conflicts: 405000 | #Constraints: 79763
948.18/950.86 c #Conflicts: 406000 | #Constraints: 80763
948.18/950.86 c INPROCESSING
948.18/950.86 c GARBAGE COLLECT
948.18/950.86 c #Conflicts: 407000 | #Constraints: 49890
948.18/950.86 c #Conflicts: 408000 | #Constraints: 50890
948.18/950.86 c #Conflicts: 409000 | #Constraints: 51890
948.18/950.86 c #Conflicts: 410000 | #Constraints: 52890
948.18/950.86 c #Conflicts: 411000 | #Constraints: 53890
948.18/950.86 c #Conflicts: 412000 | #Constraints: 54890
948.18/950.86 c #Conflicts: 413000 | #Constraints: 55890
948.18/950.86 c #Conflicts: 414000 | #Constraints: 56890
948.18/950.86 c #Conflicts: 415000 | #Constraints: 57890
948.18/950.86 c #Conflicts: 416000 | #Constraints: 58890
948.18/950.86 c #Conflicts: 417000 | #Constraints: 59890
948.18/950.86 c #Conflicts: 418000 | #Constraints: 60890
948.18/950.86 c #Conflicts: 419000 | #Constraints: 61890
948.18/950.86 c #Conflicts: 420000 | #Constraints: 62890
948.18/950.86 c #Conflicts: 421000 | #Constraints: 63890
948.18/950.86 c #Conflicts: 422000 | #Constraints: 64890
948.18/950.86 c INPROCESSING
948.18/950.86 c GARBAGE COLLECT
948.18/950.86 c #Conflicts: 423000 | #Constraints: 41937
948.18/950.86 c #Conflicts: 424000 | #Constraints: 42937
948.18/950.86 c #Conflicts: 425000 | #Constraints: 43937
948.18/950.86 c #Conflicts: 426000 | #Constraints: 44937
948.18/950.86 c #Conflicts: 427000 | #Constraints: 45937
948.18/950.86 c #Conflicts: 428000 | #Constraints: 46937
948.18/950.86 c #Conflicts: 429000 | #Constraints: 47937
948.18/950.86 c #Conflicts: 430000 | #Constraints: 48937
948.18/950.86 c #Conflicts: 431000 | #Constraints: 49937
948.18/950.86 c #Conflicts: 432000 | #Constraints: 50937
948.18/950.86 c #Conflicts: 433000 | #Constraints: 51937
948.18/950.86 c #Conflicts: 434000 | #Constraints: 52937
948.18/950.86 c #Conflicts: 435000 | #Constraints: 53937
948.18/950.86 c #Conflicts: 436000 | #Constraints: 54937
948.18/950.86 c #Conflicts: 437000 | #Constraints: 55937
948.18/950.86 c #Conflicts: 438000 | #Constraints: 56937
948.18/950.86 c INPROCESSING
948.18/950.86 c GARBAGE COLLECT
948.18/950.86 c #Conflicts: 439000 | #Constraints: 40565
948.18/950.86 c #Conflicts: 440000 | #Constraints: 41565
948.18/950.86 c #Conflicts: 441000 | #Constraints: 42566
948.18/950.86 c #Conflicts: 442000 | #Constraints: 43566
948.18/950.86 c #Conflicts: 443000 | #Constraints: 44566
948.18/950.86 c #Conflicts: 444000 | #Constraints: 45566
948.18/950.86 c #Conflicts: 445000 | #Constraints: 46566
948.18/950.86 c #Conflicts: 446000 | #Constraints: 47566
948.18/950.86 c #Conflicts: 447000 | #Constraints: 48566
948.18/950.86 c #Conflicts: 448000 | #Constraints: 49566
948.18/950.86 c #Conflicts: 449000 | #Constraints: 50566
948.18/950.86 c #Conflicts: 450000 | #Constraints: 51566
1378.56/1382.44 c #Conflicts: 451000 | #Constraints: 52566
1378.56/1382.44 c #Conflicts: 452000 | #Constraints: 53566
1378.56/1382.44 c #Conflicts: 453000 | #Constraints: 54566
1378.56/1382.44 c #Conflicts: 454000 | #Constraints: 55566
1378.56/1382.44 c #Conflicts: 455000 | #Constraints: 56566
1378.56/1382.44 c #Conflicts: 456000 | #Constraints: 57566
1378.56/1382.44 c #Conflicts: 457000 | #Constraints: 58566
1378.56/1382.44 c #Conflicts: 458000 | #Constraints: 59566
1378.56/1382.44 c #Conflicts: 459000 | #Constraints: 60566
1378.56/1382.44 c #Conflicts: 460000 | #Constraints: 61566
1378.56/1382.44 c #Conflicts: 461000 | #Constraints: 62566
1378.56/1382.44 c #Conflicts: 462000 | #Constraints: 63566
1378.56/1382.44 c #Conflicts: 463000 | #Constraints: 64566
1378.56/1382.44 c #Conflicts: 464000 | #Constraints: 65566
1378.56/1382.44 c #Conflicts: 465000 | #Constraints: 66566
1378.56/1382.44 c #Conflicts: 466000 | #Constraints: 67566
1378.56/1382.44 c #Conflicts: 467000 | #Constraints: 68566
1378.56/1382.44 c #Conflicts: 468000 | #Constraints: 69566
1378.56/1382.44 c #Conflicts: 469000 | #Constraints: 70566
1378.56/1382.44 c #Conflicts: 470000 | #Constraints: 71566
1378.56/1382.44 c #Conflicts: 471000 | #Constraints: 72566
1378.56/1382.44 c #Conflicts: 472000 | #Constraints: 73566
1378.56/1382.44 c #Conflicts: 473000 | #Constraints: 74566
1378.56/1382.44 c #Conflicts: 474000 | #Constraints: 75566
1378.56/1382.44 c #Conflicts: 475000 | #Constraints: 76566
1378.56/1382.44 c #Conflicts: 476000 | #Constraints: 77566
1378.56/1382.44 c #Conflicts: 477000 | #Constraints: 78566
1378.56/1382.44 c #Conflicts: 478000 | #Constraints: 79566
1378.56/1382.44 c #Conflicts: 479000 | #Constraints: 80566
1378.56/1382.44 c #Conflicts: 480000 | #Constraints: 81566
1378.56/1382.44 c #Conflicts: 481000 | #Constraints: 82566
1378.56/1382.44 c #Conflicts: 482000 | #Constraints: 83566
1378.56/1382.44 c #Conflicts: 483000 | #Constraints: 84566
1378.56/1382.44 c #Conflicts: 484000 | #Constraints: 85566
1378.56/1382.44 c #Conflicts: 485000 | #Constraints: 86566
1378.56/1382.44 c #Conflicts: 486000 | #Constraints: 87566
1378.56/1382.44 c INPROCESSING
1378.56/1382.44 c GARBAGE COLLECT
1378.56/1382.44 c #Conflicts: 487000 | #Constraints: 53413
1378.56/1382.44 c #Conflicts: 488000 | #Constraints: 54413
1378.56/1382.44 c #Conflicts: 489000 | #Constraints: 55413
1378.56/1382.44 c #Conflicts: 490000 | #Constraints: 56413
1378.56/1382.44 c #Conflicts: 491000 | #Constraints: 57413
1378.56/1382.44 c #Conflicts: 492000 | #Constraints: 58413
1378.56/1382.44 c #Conflicts: 493000 | #Constraints: 59413
1378.56/1382.44 c #Conflicts: 494000 | #Constraints: 60413
1378.56/1382.44 c #Conflicts: 495000 | #Constraints: 61413
1378.56/1382.44 c #Conflicts: 496000 | #Constraints: 62413
1378.56/1382.44 c #Conflicts: 497000 | #Constraints: 63413
1378.56/1382.44 c #Conflicts: 498000 | #Constraints: 64413
1378.56/1382.44 c #Conflicts: 499000 | #Constraints: 65413
1378.56/1382.44 c #Conflicts: 500000 | #Constraints: 66413
1378.56/1382.44 c #Conflicts: 501000 | #Constraints: 67413
1378.56/1382.44 c #Conflicts: 502000 | #Constraints: 68413
1378.56/1382.44 c #Conflicts: 503000 | #Constraints: 69413
1378.56/1382.44 c #Conflicts: 504000 | #Constraints: 70413
1378.56/1382.44 c INPROCESSING
1378.56/1382.44 c GARBAGE COLLECT
1378.56/1382.44 c #Conflicts: 505000 | #Constraints: 44976
1378.56/1382.44 c #Conflicts: 506000 | #Constraints: 45976
1378.56/1382.44 c #Conflicts: 507000 | #Constraints: 46976
1378.56/1382.44 c #Conflicts: 508000 | #Constraints: 47976
1378.56/1382.44 c #Conflicts: 509000 | #Constraints: 48976
1378.56/1382.44 c #Conflicts: 510000 | #Constraints: 49976
1378.56/1382.44 c #Conflicts: 511000 | #Constraints: 50976
1378.56/1382.44 c #Conflicts: 512000 | #Constraints: 51976
1378.56/1382.44 c #Conflicts: 513000 | #Constraints: 52976
1378.56/1382.44 c #Conflicts: 514000 | #Constraints: 53976
1378.56/1382.44 c #Conflicts: 515000 | #Constraints: 54976
1378.56/1382.44 c #Conflicts: 516000 | #Constraints: 55976
1378.56/1382.44 c #Conflicts: 517000 | #Constraints: 56976
1378.56/1382.44 c #Conflicts: 518000 | #Constraints: 57976
1378.56/1382.44 c #Conflicts: 519000 | #Constraints: 58976
1378.56/1382.44 c #Conflicts: 520000 | #Constraints: 59976
1378.56/1382.44 c #Conflicts: 521000 | #Constraints: 60976
1378.56/1382.44 c #Conflicts: 522000 | #Constraints: 61976
1378.56/1382.44 c INPROCESSING
1378.56/1382.44 c GARBAGE COLLECT
1378.56/1382.44 c #Conflicts: 523000 | #Constraints: 43079
1378.56/1382.44 c #Conflicts: 524000 | #Constraints: 44079
1378.56/1382.44 c #Conflicts: 525000 | #Constraints: 45079
1378.56/1382.44 c #Conflicts: 526000 | #Constraints: 46079
1378.56/1382.44 c #Conflicts: 527000 | #Constraints: 47079
1624.88/1629.40 c #Conflicts: 528000 | #Constraints: 48079
1624.88/1629.40 c #Conflicts: 529000 | #Constraints: 49079
1624.88/1629.40 c #Conflicts: 530000 | #Constraints: 50079
1624.88/1629.40 c #Conflicts: 531000 | #Constraints: 51079
1624.88/1629.40 c #Conflicts: 532000 | #Constraints: 52079
1624.88/1629.40 c #Conflicts: 533000 | #Constraints: 53079
1624.88/1629.40 c #Conflicts: 534000 | #Constraints: 54079
1624.88/1629.40 c #Conflicts: 535000 | #Constraints: 55079
1624.88/1629.40 c #Conflicts: 536000 | #Constraints: 56079
1624.88/1629.40 c #Conflicts: 537000 | #Constraints: 57079
1624.88/1629.40 c #Conflicts: 538000 | #Constraints: 58079
1624.88/1629.40 c #Conflicts: 539000 | #Constraints: 59079
1624.88/1629.40 c #Conflicts: 540000 | #Constraints: 60079
1624.88/1629.40 c #Conflicts: 541000 | #Constraints: 61079
1624.88/1629.40 c #Conflicts: 542000 | #Constraints: 62079
1624.88/1629.40 c #Conflicts: 543000 | #Constraints: 63079
1624.88/1629.40 c #Conflicts: 544000 | #Constraints: 64079
1624.88/1629.40 c #Conflicts: 545000 | #Constraints: 65079
1624.88/1629.40 c #Conflicts: 546000 | #Constraints: 66079
1624.88/1629.40 c #Conflicts: 547000 | #Constraints: 67079
1624.88/1629.40 c #Conflicts: 548000 | #Constraints: 68079
1624.88/1629.40 c #Conflicts: 549000 | #Constraints: 69079
1624.88/1629.40 c #Conflicts: 550000 | #Constraints: 70079
1624.88/1629.40 c #Conflicts: 551000 | #Constraints: 71079
1624.88/1629.40 c #Conflicts: 552000 | #Constraints: 72079
1624.88/1629.40 c #Conflicts: 553000 | #Constraints: 73079
1624.88/1629.40 c #Conflicts: 554000 | #Constraints: 74079
1624.88/1629.40 c #Conflicts: 555000 | #Constraints: 75079
1624.88/1629.40 c #Conflicts: 556000 | #Constraints: 76079
1624.88/1629.40 c #Conflicts: 557000 | #Constraints: 77079
1624.88/1629.40 c #Conflicts: 558000 | #Constraints: 78079
1624.88/1629.40 c #Conflicts: 559000 | #Constraints: 79079
1624.88/1629.40 c #Conflicts: 560000 | #Constraints: 80079
1624.88/1629.40 c #Conflicts: 561000 | #Constraints: 81079
1624.88/1629.40 c #Conflicts: 562000 | #Constraints: 82079
1624.88/1629.40 c #Conflicts: 563000 | #Constraints: 83079
1624.88/1629.40 c #Conflicts: 564000 | #Constraints: 84079
1624.88/1629.40 c #Conflicts: 565000 | #Constraints: 85079
1624.88/1629.40 c #Conflicts: 566000 | #Constraints: 86079
1624.88/1629.40 c #Conflicts: 567000 | #Constraints: 87079
1624.88/1629.40 c #Conflicts: 568000 | #Constraints: 88079
1624.88/1629.40 c #Conflicts: 569000 | #Constraints: 89079
1624.88/1629.40 c #Conflicts: 570000 | #Constraints: 90079
1624.88/1629.40 c #Conflicts: 571000 | #Constraints: 91079
1624.88/1629.40 c #Conflicts: 572000 | #Constraints: 92079
1624.88/1629.40 c #Conflicts: 573000 | #Constraints: 93079
1624.88/1629.40 c INPROCESSING
1624.88/1629.40 c GARBAGE COLLECT
1624.88/1629.40 c #Conflicts: 574000 | #Constraints: 55950
1624.88/1629.40 c #Conflicts: 575000 | #Constraints: 56950
1624.88/1629.40 c #Conflicts: 576000 | #Constraints: 57950
1624.88/1629.40 c #Conflicts: 577000 | #Constraints: 58950
1624.88/1629.40 c #Conflicts: 578000 | #Constraints: 59950
1624.88/1629.40 c #Conflicts: 579000 | #Constraints: 60950
1624.88/1629.40 c #Conflicts: 580000 | #Constraints: 61951
1624.88/1629.40 c #Conflicts: 581000 | #Constraints: 62951
1624.88/1629.40 c #Conflicts: 582000 | #Constraints: 63951
1624.88/1629.40 c #Conflicts: 583000 | #Constraints: 64951
1624.88/1629.40 c #Conflicts: 584000 | #Constraints: 65951
1624.88/1629.40 c #Conflicts: 585000 | #Constraints: 66951
1624.88/1629.40 c #Conflicts: 586000 | #Constraints: 67951
1624.88/1629.40 c #Conflicts: 587000 | #Constraints: 68951
1624.88/1629.40 c #Conflicts: 588000 | #Constraints: 69951
1624.88/1629.40 c #Conflicts: 589000 | #Constraints: 70951
1624.88/1629.40 c #Conflicts: 590000 | #Constraints: 71951
1624.88/1629.40 c #Conflicts: 591000 | #Constraints: 72951
1624.88/1629.40 c #Conflicts: 592000 | #Constraints: 73951
1624.88/1629.40 c INPROCESSING
1624.88/1629.40 c GARBAGE COLLECT
1624.88/1629.40 c #Conflicts: 593000 | #Constraints: 46264
1624.88/1629.40 c #Conflicts: 594000 | #Constraints: 47264
1624.88/1629.40 c #Conflicts: 595000 | #Constraints: 48264
1624.88/1629.40 c #Conflicts: 596000 | #Constraints: 49264
1624.88/1629.40 c #Conflicts: 597000 | #Constraints: 50264
1624.88/1629.40 c #Conflicts: 598000 | #Constraints: 51264
1624.88/1629.40 c #Conflicts: 599000 | #Constraints: 52264
1624.88/1629.40 c #Conflicts: 600000 | #Constraints: 53264
1624.88/1629.40 c #Conflicts: 601000 | #Constraints: 54264
1624.88/1629.40 c #Conflicts: 602000 | #Constraints: 55264
1624.88/1629.40 c #Conflicts: 603000 | #Constraints: 56264
1624.88/1629.40 c #Conflicts: 604000 | #Constraints: 57264
1624.88/1629.40 c #Conflicts: 605000 | #Constraints: 58264
1826.33/1831.45 c #Conflicts: 606000 | #Constraints: 59264
1826.33/1831.45 c #Conflicts: 607000 | #Constraints: 60264
1826.33/1831.45 c #Conflicts: 608000 | #Constraints: 61264
1826.33/1831.45 c #Conflicts: 609000 | #Constraints: 62264
1826.33/1831.45 c #Conflicts: 610000 | #Constraints: 63264
1826.33/1831.45 c #Conflicts: 611000 | #Constraints: 64264
1826.33/1831.45 c #Conflicts: 612000 | #Constraints: 65264
1826.33/1831.45 c INPROCESSING
1826.33/1831.45 c GARBAGE COLLECT
1826.33/1831.45 c #Conflicts: 613000 | #Constraints: 45309
1826.33/1831.45 c #Conflicts: 614000 | #Constraints: 46309
1826.33/1831.45 c #Conflicts: 615000 | #Constraints: 47309
1826.33/1831.45 c #Conflicts: 616000 | #Constraints: 48309
1826.33/1831.45 c #Conflicts: 617000 | #Constraints: 49309
1826.33/1831.45 c #Conflicts: 618000 | #Constraints: 50309
1826.33/1831.45 c #Conflicts: 619000 | #Constraints: 51309
1826.33/1831.45 c #Conflicts: 620000 | #Constraints: 52309
1826.33/1831.45 c #Conflicts: 621000 | #Constraints: 53309
1826.33/1831.45 c #Conflicts: 622000 | #Constraints: 54309
1826.33/1831.45 c #Conflicts: 623000 | #Constraints: 55309
1826.33/1831.45 c #Conflicts: 624000 | #Constraints: 56309
1826.33/1831.45 c #Conflicts: 625000 | #Constraints: 57309
1826.33/1831.45 c #Conflicts: 626000 | #Constraints: 58309
1826.33/1831.45 c #Conflicts: 627000 | #Constraints: 59309
1826.33/1831.45 c #Conflicts: 628000 | #Constraints: 60309
1826.33/1831.45 c #Conflicts: 629000 | #Constraints: 61309
1826.33/1831.45 c #Conflicts: 630000 | #Constraints: 62309
1826.33/1831.45 c #Conflicts: 631000 | #Constraints: 63309
1826.33/1831.45 c #Conflicts: 632000 | #Constraints: 64309
1826.33/1831.45 c #Conflicts: 633000 | #Constraints: 65309
1826.33/1831.45 c #Conflicts: 634000 | #Constraints: 66309
1826.33/1831.45 c #Conflicts: 635000 | #Constraints: 67309
1826.33/1831.45 c #Conflicts: 636000 | #Constraints: 68309
1826.33/1831.45 c #Conflicts: 637000 | #Constraints: 69309
1826.33/1831.45 c #Conflicts: 638000 | #Constraints: 70309
1826.33/1831.45 c #Conflicts: 639000 | #Constraints: 71309
1826.33/1831.45 c #Conflicts: 640000 | #Constraints: 72309
1826.33/1831.45 c #Conflicts: 641000 | #Constraints: 73309
1826.33/1831.45 c #Conflicts: 642000 | #Constraints: 74309
1826.33/1831.45 c #Conflicts: 643000 | #Constraints: 75309
1826.33/1831.45 c #Conflicts: 644000 | #Constraints: 76309
1826.33/1831.45 c #Conflicts: 645000 | #Constraints: 77309
1826.33/1831.45 c #Conflicts: 646000 | #Constraints: 78309
1826.33/1831.45 c #Conflicts: 647000 | #Constraints: 79309
1826.33/1831.45 c #Conflicts: 648000 | #Constraints: 80309
1826.33/1831.45 c #Conflicts: 649000 | #Constraints: 81309
1826.33/1831.45 c #Conflicts: 650000 | #Constraints: 82309
1826.33/1831.45 c #Conflicts: 651000 | #Constraints: 83309
1826.33/1831.45 c #Conflicts: 652000 | #Constraints: 84309
1826.33/1831.45 c #Conflicts: 653000 | #Constraints: 85309
1826.33/1831.45 c #Conflicts: 654000 | #Constraints: 86309
1826.33/1831.45 c #Conflicts: 655000 | #Constraints: 87309
1826.33/1831.45 c #Conflicts: 656000 | #Constraints: 88309
1826.33/1831.45 c #Conflicts: 657000 | #Constraints: 89309
1826.33/1831.45 c #Conflicts: 658000 | #Constraints: 90309
1826.33/1831.45 c #Conflicts: 659000 | #Constraints: 91309
1826.33/1831.45 c #Conflicts: 660000 | #Constraints: 92309
1826.33/1831.45 c #Conflicts: 661000 | #Constraints: 93309
1826.33/1831.45 c #Conflicts: 662000 | #Constraints: 94309
1826.33/1831.45 c #Conflicts: 663000 | #Constraints: 95309
1826.33/1831.45 c #Conflicts: 664000 | #Constraints: 96309
1826.33/1831.45 c #Conflicts: 665000 | #Constraints: 97309
1826.33/1831.45 c #Conflicts: 666000 | #Constraints: 98309
1826.33/1831.45 c #Conflicts: 667000 | #Constraints: 99309
1826.33/1831.45 c #Conflicts: 668000 | #Constraints: 100309
1826.33/1831.45 c INPROCESSING
1826.33/1831.45 c GARBAGE COLLECT
1826.33/1831.45 c #Conflicts: 669000 | #Constraints: 59825
1826.33/1831.45 c #Conflicts: 670000 | #Constraints: 60825
1826.33/1831.45 c #Conflicts: 671000 | #Constraints: 61825
1826.33/1831.45 c #Conflicts: 672000 | #Constraints: 62825
1826.33/1831.45 c #Conflicts: 673000 | #Constraints: 63825
1826.33/1831.45 c #Conflicts: 674000 | #Constraints: 64825
1826.33/1831.45 c #Conflicts: 675000 | #Constraints: 65825
1826.33/1831.45 c #Conflicts: 676000 | #Constraints: 66825
1826.33/1831.45 c #Conflicts: 677000 | #Constraints: 67825
1826.33/1831.45 c #Conflicts: 678000 | #Constraints: 68825
1826.33/1831.45 c #Conflicts: 679000 | #Constraints: 69825
1826.33/1831.45 c #Conflicts: 680000 | #Constraints: 70825
1826.33/1831.45 c #Conflicts: 681000 | #Constraints: 71825
1826.33/1831.45 c #Conflicts: 682000 | #Constraints: 72825
2007.51/2013.18 c #Conflicts: 683000 | #Constraints: 73825
2007.51/2013.18 c #Conflicts: 684000 | #Constraints: 74825
2007.51/2013.18 c #Conflicts: 685000 | #Constraints: 75825
2007.51/2013.18 c #Conflicts: 686000 | #Constraints: 76825
2007.51/2013.18 c #Conflicts: 687000 | #Constraints: 77825
2007.51/2013.18 c #Conflicts: 688000 | #Constraints: 78825
2007.51/2013.18 c INPROCESSING
2007.51/2013.18 c GARBAGE COLLECT
2007.51/2013.18 c #Conflicts: 689000 | #Constraints: 48847
2007.51/2013.18 c #Conflicts: 690000 | #Constraints: 49847
2007.51/2013.18 c #Conflicts: 691000 | #Constraints: 50847
2007.51/2013.18 c #Conflicts: 692000 | #Constraints: 51847
2007.51/2013.18 c #Conflicts: 693000 | #Constraints: 52847
2007.51/2013.18 c #Conflicts: 694000 | #Constraints: 53847
2007.51/2013.18 c #Conflicts: 695000 | #Constraints: 54847
2007.51/2013.18 c #Conflicts: 696000 | #Constraints: 55847
2007.51/2013.18 c #Conflicts: 697000 | #Constraints: 56847
2007.51/2013.18 c #Conflicts: 698000 | #Constraints: 57847
2007.51/2013.18 c #Conflicts: 699000 | #Constraints: 58847
2007.51/2013.18 c #Conflicts: 700000 | #Constraints: 59847
2007.51/2013.18 c #Conflicts: 701000 | #Constraints: 60847
2007.51/2013.18 c #Conflicts: 702000 | #Constraints: 61847
2007.51/2013.18 c #Conflicts: 703000 | #Constraints: 62847
2007.51/2013.18 c #Conflicts: 704000 | #Constraints: 63847
2007.51/2013.18 c #Conflicts: 705000 | #Constraints: 64847
2007.51/2013.18 c #Conflicts: 706000 | #Constraints: 65847
2007.51/2013.18 c #Conflicts: 707000 | #Constraints: 66847
2007.51/2013.18 c #Conflicts: 708000 | #Constraints: 67847
2007.51/2013.18 c #Conflicts: 709000 | #Constraints: 68847
2007.51/2013.18 c INPROCESSING
2007.51/2013.18 c GARBAGE COLLECT
2007.51/2013.18 c #Conflicts: 710000 | #Constraints: 47487
2007.51/2013.18 c #Conflicts: 711000 | #Constraints: 48487
2007.51/2013.18 c #Conflicts: 712000 | #Constraints: 49487
2007.51/2013.18 c #Conflicts: 713000 | #Constraints: 50487
2007.51/2013.18 c #Conflicts: 714000 | #Constraints: 51487
2007.51/2013.18 c #Conflicts: 715000 | #Constraints: 52487
2007.51/2013.18 c #Conflicts: 716000 | #Constraints: 53487
2007.51/2013.18 c #Conflicts: 717000 | #Constraints: 54487
2007.51/2013.18 c #Conflicts: 718000 | #Constraints: 55487
2007.51/2013.18 c #Conflicts: 719000 | #Constraints: 56487
2007.51/2013.18 c #Conflicts: 720000 | #Constraints: 57487
2007.51/2013.18 c #Conflicts: 721000 | #Constraints: 58487
2007.51/2013.18 c #Conflicts: 722000 | #Constraints: 59487
2007.51/2013.18 c #Conflicts: 723000 | #Constraints: 60487
2007.51/2013.18 c #Conflicts: 724000 | #Constraints: 61487
2007.51/2013.18 c #Conflicts: 725000 | #Constraints: 62487
2007.51/2013.18 c #Conflicts: 726000 | #Constraints: 63487
2007.51/2013.18 c #Conflicts: 727000 | #Constraints: 64487
2007.51/2013.18 c #Conflicts: 728000 | #Constraints: 65487
2007.51/2013.18 c #Conflicts: 729000 | #Constraints: 66487
2007.51/2013.18 c #Conflicts: 730000 | #Constraints: 67487
2007.51/2013.18 c #Conflicts: 731000 | #Constraints: 68487
2007.51/2013.18 c #Conflicts: 732000 | #Constraints: 69487
2007.51/2013.18 c #Conflicts: 733000 | #Constraints: 70487
2007.51/2013.18 c #Conflicts: 734000 | #Constraints: 71487
2007.51/2013.18 c #Conflicts: 735000 | #Constraints: 72487
2007.51/2013.18 c #Conflicts: 736000 | #Constraints: 73487
2007.51/2013.18 c #Conflicts: 737000 | #Constraints: 74487
2007.51/2013.18 c #Conflicts: 738000 | #Constraints: 75487
2007.51/2013.18 c #Conflicts: 739000 | #Constraints: 76487
2007.51/2013.18 c #Conflicts: 740000 | #Constraints: 77487
2007.51/2013.18 c #Conflicts: 741000 | #Constraints: 78487
2007.51/2013.18 c #Conflicts: 742000 | #Constraints: 79487
2007.51/2013.18 c #Conflicts: 743000 | #Constraints: 80487
2007.51/2013.18 c #Conflicts: 744000 | #Constraints: 81487
2007.51/2013.18 c #Conflicts: 745000 | #Constraints: 82487
2007.51/2013.18 c #Conflicts: 746000 | #Constraints: 83487
2007.51/2013.18 c #Conflicts: 747000 | #Constraints: 84487
2007.51/2013.18 c #Conflicts: 748000 | #Constraints: 85487
2007.51/2013.18 c #Conflicts: 749000 | #Constraints: 86487
2007.51/2013.18 c #Conflicts: 750000 | #Constraints: 87487
2007.51/2013.18 c #Conflicts: 751000 | #Constraints: 88487
2007.51/2013.18 c #Conflicts: 752000 | #Constraints: 89487
2007.51/2013.18 c #Conflicts: 753000 | #Constraints: 90487
2007.51/2013.18 c #Conflicts: 754000 | #Constraints: 91487
2007.51/2013.18 c #Conflicts: 755000 | #Constraints: 92487
2007.51/2013.18 c #Conflicts: 756000 | #Constraints: 93487
2007.51/2013.18 c #Conflicts: 757000 | #Constraints: 94487
2007.51/2013.18 c #Conflicts: 758000 | #Constraints: 95487
2007.51/2013.18 c #Conflicts: 759000 | #Constraints: 96487
2007.51/2013.18 c #Conflicts: 760000 | #Constraints: 97487
2188.69/2194.86 c #Conflicts: 761000 | #Constraints: 98487
2188.69/2194.86 c #Conflicts: 762000 | #Constraints: 99487
2188.69/2194.86 c #Conflicts: 763000 | #Constraints: 100487
2188.69/2194.86 c #Conflicts: 764000 | #Constraints: 101487
2188.69/2194.86 c #Conflicts: 765000 | #Constraints: 102487
2188.69/2194.86 c #Conflicts: 766000 | #Constraints: 103487
2188.69/2194.86 c #Conflicts: 767000 | #Constraints: 104487
2188.69/2194.86 c #Conflicts: 768000 | #Constraints: 105487
2188.69/2194.86 c #Conflicts: 769000 | #Constraints: 106487
2188.69/2194.86 c INPROCESSING
2188.69/2194.86 c GARBAGE COLLECT
2188.69/2194.86 c #Conflicts: 770000 | #Constraints: 62592
2188.69/2194.86 c #Conflicts: 771000 | #Constraints: 63592
2188.69/2194.86 c #Conflicts: 772000 | #Constraints: 64592
2188.69/2194.86 c #Conflicts: 773000 | #Constraints: 65592
2188.69/2194.86 c #Conflicts: 774000 | #Constraints: 66592
2188.69/2194.86 c #Conflicts: 775000 | #Constraints: 67592
2188.69/2194.86 c #Conflicts: 776000 | #Constraints: 68592
2188.69/2194.86 c #Conflicts: 777000 | #Constraints: 69592
2188.69/2194.86 c #Conflicts: 778000 | #Constraints: 70592
2188.69/2194.86 c #Conflicts: 779000 | #Constraints: 71592
2188.69/2194.86 c #Conflicts: 780000 | #Constraints: 72593
2188.69/2194.86 c #Conflicts: 781000 | #Constraints: 73593
2188.69/2194.86 c #Conflicts: 782000 | #Constraints: 74593
2188.69/2194.86 c #Conflicts: 783000 | #Constraints: 75593
2188.69/2194.86 c #Conflicts: 784000 | #Constraints: 76593
2188.69/2194.86 c #Conflicts: 785000 | #Constraints: 77593
2188.69/2194.86 c #Conflicts: 786000 | #Constraints: 78593
2188.69/2194.86 c #Conflicts: 787000 | #Constraints: 79593
2188.69/2194.86 c #Conflicts: 788000 | #Constraints: 80593
2188.69/2194.86 c #Conflicts: 789000 | #Constraints: 81593
2188.69/2194.86 c #Conflicts: 790000 | #Constraints: 82593
2188.69/2194.86 c #Conflicts: 791000 | #Constraints: 83593
2188.69/2194.86 c #Conflicts: 792000 | #Constraints: 84593
2188.69/2194.86 c INPROCESSING
2188.69/2194.86 c GARBAGE COLLECT
2188.69/2194.86 c #Conflicts: 793000 | #Constraints: 52187
2188.69/2194.86 c #Conflicts: 794000 | #Constraints: 53187
2188.69/2194.86 c #Conflicts: 795000 | #Constraints: 54187
2188.69/2194.86 c #Conflicts: 796000 | #Constraints: 55187
2188.69/2194.86 c #Conflicts: 797000 | #Constraints: 56187
2188.69/2194.86 c #Conflicts: 798000 | #Constraints: 57187
2188.69/2194.86 c #Conflicts: 799000 | #Constraints: 58187
2188.69/2194.86 c #Conflicts: 800000 | #Constraints: 59187
2188.69/2194.86 c #Conflicts: 801000 | #Constraints: 60187
2188.69/2194.86 c #Conflicts: 802000 | #Constraints: 61187
2188.69/2194.86 c #Conflicts: 803000 | #Constraints: 62187
2188.69/2194.86 c #Conflicts: 804000 | #Constraints: 63187
2188.69/2194.86 c #Conflicts: 805000 | #Constraints: 64187
2188.69/2194.86 c #Conflicts: 806000 | #Constraints: 65187
2188.69/2194.86 c #Conflicts: 807000 | #Constraints: 66187
2188.69/2194.86 c #Conflicts: 808000 | #Constraints: 67187
2188.69/2194.86 c #Conflicts: 809000 | #Constraints: 68187
2188.69/2194.86 c #Conflicts: 810000 | #Constraints: 69187
2188.69/2194.86 c #Conflicts: 811000 | #Constraints: 70187
2188.69/2194.86 c #Conflicts: 812000 | #Constraints: 71187
2188.69/2194.86 c #Conflicts: 813000 | #Constraints: 72187
2188.69/2194.86 c #Conflicts: 814000 | #Constraints: 73187
2188.69/2194.86 c INPROCESSING
2188.69/2194.86 c GARBAGE COLLECT
2188.69/2194.86 c #Conflicts: 815000 | #Constraints: 50267
2188.69/2194.86 c #Conflicts: 816000 | #Constraints: 51267
2188.69/2194.86 c #Conflicts: 817000 | #Constraints: 52268
2188.69/2194.86 c #Conflicts: 818000 | #Constraints: 53268
2188.69/2194.86 c #Conflicts: 819000 | #Constraints: 54268
2188.69/2194.86 c #Conflicts: 820000 | #Constraints: 55268
2188.69/2194.86 c #Conflicts: 821000 | #Constraints: 56268
2188.69/2194.86 c #Conflicts: 822000 | #Constraints: 57268
2188.69/2194.86 c #Conflicts: 823000 | #Constraints: 58268
2188.69/2194.86 c #Conflicts: 824000 | #Constraints: 59268
2188.69/2194.86 c #Conflicts: 825000 | #Constraints: 60268
2188.69/2194.86 c #Conflicts: 826000 | #Constraints: 61268
2188.69/2194.86 c #Conflicts: 827000 | #Constraints: 62268
2188.69/2194.86 c #Conflicts: 828000 | #Constraints: 63268
2188.69/2194.86 c #Conflicts: 829000 | #Constraints: 64268
2188.69/2194.86 c #Conflicts: 830000 | #Constraints: 65268
2188.69/2194.86 c #Conflicts: 831000 | #Constraints: 66268
2188.69/2194.86 c #Conflicts: 832000 | #Constraints: 67268
2188.69/2194.86 c #Conflicts: 833000 | #Constraints: 68268
2188.69/2194.86 c #Conflicts: 834000 | #Constraints: 69268
2188.69/2194.86 c #Conflicts: 835000 | #Constraints: 70268
2188.69/2194.86 c #Conflicts: 836000 | #Constraints: 71268
2188.69/2194.86 c #Conflicts: 837000 | #Constraints: 72268
2393.52/2400.22 c #Conflicts: 838000 | #Constraints: 73268
2393.52/2400.22 c #Conflicts: 839000 | #Constraints: 74268
2393.52/2400.22 c #Conflicts: 840000 | #Constraints: 75268
2393.52/2400.22 c #Conflicts: 841000 | #Constraints: 76268
2393.52/2400.22 c #Conflicts: 842000 | #Constraints: 77268
2393.52/2400.22 c #Conflicts: 843000 | #Constraints: 78268
2393.52/2400.22 c #Conflicts: 844000 | #Constraints: 79268
2393.52/2400.22 c #Conflicts: 845000 | #Constraints: 80268
2393.52/2400.22 c #Conflicts: 846000 | #Constraints: 81268
2393.52/2400.22 c #Conflicts: 847000 | #Constraints: 82268
2393.52/2400.22 c #Conflicts: 848000 | #Constraints: 83268
2393.52/2400.22 c #Conflicts: 849000 | #Constraints: 84268
2393.52/2400.22 c #Conflicts: 850000 | #Constraints: 85268
2393.52/2400.22 c #Conflicts: 851000 | #Constraints: 86268
2393.52/2400.22 c #Conflicts: 852000 | #Constraints: 87268
2393.52/2400.22 c #Conflicts: 853000 | #Constraints: 88268
2393.52/2400.22 c #Conflicts: 854000 | #Constraints: 89268
2393.52/2400.22 c #Conflicts: 855000 | #Constraints: 90268
2393.52/2400.22 c #Conflicts: 856000 | #Constraints: 91268
2393.52/2400.22 c #Conflicts: 857000 | #Constraints: 92268
2393.52/2400.22 c #Conflicts: 858000 | #Constraints: 93268
2393.52/2400.22 c #Conflicts: 859000 | #Constraints: 94268
2393.52/2400.22 c #Conflicts: 860000 | #Constraints: 95268
2393.52/2400.22 c #Conflicts: 861000 | #Constraints: 96268
2393.52/2400.22 c #Conflicts: 862000 | #Constraints: 97268
2393.52/2400.22 c #Conflicts: 863000 | #Constraints: 98268
2393.52/2400.22 c #Conflicts: 864000 | #Constraints: 99268
2393.52/2400.22 c #Conflicts: 865000 | #Constraints: 100268
2393.52/2400.22 c #Conflicts: 866000 | #Constraints: 101268
2393.52/2400.22 c #Conflicts: 867000 | #Constraints: 102268
2393.52/2400.22 c #Conflicts: 868000 | #Constraints: 103268
2393.52/2400.22 c #Conflicts: 869000 | #Constraints: 104268
2393.52/2400.22 c #Conflicts: 870000 | #Constraints: 105268
2393.52/2400.22 c #Conflicts: 871000 | #Constraints: 106268
2393.52/2400.22 c #Conflicts: 872000 | #Constraints: 107268
2393.52/2400.22 c #Conflicts: 873000 | #Constraints: 108268
2393.52/2400.22 c #Conflicts: 874000 | #Constraints: 109268
2393.52/2400.22 c #Conflicts: 875000 | #Constraints: 110268
2393.52/2400.22 c #Conflicts: 876000 | #Constraints: 111268
2393.52/2400.22 c #Conflicts: 877000 | #Constraints: 112268
2393.52/2400.22 c #Conflicts: 878000 | #Constraints: 113268
2393.52/2400.22 c INPROCESSING
2393.52/2400.22 c GARBAGE COLLECT
2393.52/2400.22 c rational objective 134
2583.98/2591.22 c #Conflicts: 879000 | #Constraints: 66333
2583.98/2591.22 c #Conflicts: 880000 | #Constraints: 67333
2583.98/2591.22 c #Conflicts: 881000 | #Constraints: 68333
2583.98/2591.22 c #Conflicts: 882000 | #Constraints: 69333
2583.98/2591.22 c #Conflicts: 883000 | #Constraints: 70333
2583.98/2591.22 c #Conflicts: 884000 | #Constraints: 71333
2583.98/2591.22 c #Conflicts: 885000 | #Constraints: 72333
2583.98/2591.22 c #Conflicts: 886000 | #Constraints: 73333
2583.98/2591.22 c #Conflicts: 887000 | #Constraints: 74333
2583.98/2591.22 c #Conflicts: 888000 | #Constraints: 75333
2583.98/2591.22 c #Conflicts: 889000 | #Constraints: 76333
2583.98/2591.22 c #Conflicts: 890000 | #Constraints: 77333
2583.98/2591.22 c #Conflicts: 891000 | #Constraints: 78333
2583.98/2591.22 c #Conflicts: 892000 | #Constraints: 79333
2583.98/2591.22 c #Conflicts: 893000 | #Constraints: 80333
2583.98/2591.22 c #Conflicts: 894000 | #Constraints: 81333
2583.98/2591.22 c #Conflicts: 895000 | #Constraints: 82333
2583.98/2591.22 c #Conflicts: 896000 | #Constraints: 83333
2583.98/2591.22 c #Conflicts: 897000 | #Constraints: 84333
2583.98/2591.22 c #Conflicts: 898000 | #Constraints: 85333
2583.98/2591.22 c #Conflicts: 899000 | #Constraints: 86333
2583.98/2591.22 c #Conflicts: 900000 | #Constraints: 87333
2583.98/2591.22 c #Conflicts: 901000 | #Constraints: 88333
2583.98/2591.22 c #Conflicts: 902000 | #Constraints: 89333
2583.98/2591.22 c INPROCESSING
2583.98/2591.22 c GARBAGE COLLECT
2583.98/2591.22 c #Conflicts: 903000 | #Constraints: 54431
2583.98/2591.22 c #Conflicts: 904000 | #Constraints: 55431
2583.98/2591.22 c #Conflicts: 905000 | #Constraints: 56431
2583.98/2591.22 c #Conflicts: 906000 | #Constraints: 57431
2583.98/2591.22 c #Conflicts: 907000 | #Constraints: 58431
2583.98/2591.22 c #Conflicts: 908000 | #Constraints: 59431
2583.98/2591.22 c #Conflicts: 909000 | #Constraints: 60431
2583.98/2591.22 c #Conflicts: 910000 | #Constraints: 61431
2583.98/2591.22 c #Conflicts: 911000 | #Constraints: 62431
2583.98/2591.22 c #Conflicts: 912000 | #Constraints: 63431
2583.98/2591.22 c #Conflicts: 913000 | #Constraints: 64431
2583.98/2591.22 c #Conflicts: 914000 | #Constraints: 65432
2583.98/2591.22 c #Conflicts: 915000 | #Constraints: 66432
2583.98/2591.22 c #Conflicts: 916000 | #Constraints: 67432
2583.98/2591.22 c #Conflicts: 917000 | #Constraints: 68432
2583.98/2591.22 c #Conflicts: 918000 | #Constraints: 69432
2583.98/2591.22 c #Conflicts: 919000 | #Constraints: 70432
2583.98/2591.22 c #Conflicts: 920000 | #Constraints: 71432
2583.98/2591.22 c #Conflicts: 921000 | #Constraints: 72432
2583.98/2591.22 c #Conflicts: 922000 | #Constraints: 73432
2583.98/2591.22 c #Conflicts: 923000 | #Constraints: 74432
2583.98/2591.22 c #Conflicts: 924000 | #Constraints: 75432
2583.98/2591.22 c #Conflicts: 925000 | #Constraints: 76432
2583.98/2591.22 c #Conflicts: 926000 | #Constraints: 77432
2583.98/2591.22 c INPROCESSING
2583.98/2591.22 c GARBAGE COLLECT
2583.98/2591.22 c #Conflicts: 927000 | #Constraints: 53279
2583.98/2591.22 c #Conflicts: 928000 | #Constraints: 54279
2583.98/2591.22 c #Conflicts: 929000 | #Constraints: 55279
2583.98/2591.22 c #Conflicts: 930000 | #Constraints: 56279
2583.98/2591.22 c #Conflicts: 931000 | #Constraints: 57279
2583.98/2591.22 c #Conflicts: 932000 | #Constraints: 58279
2583.98/2591.22 c #Conflicts: 933000 | #Constraints: 59279
2583.98/2591.22 c #Conflicts: 934000 | #Constraints: 60279
2583.98/2591.22 c #Conflicts: 935000 | #Constraints: 61279
2583.98/2591.22 c #Conflicts: 936000 | #Constraints: 62279
2583.98/2591.22 c #Conflicts: 937000 | #Constraints: 63279
2583.98/2591.22 c #Conflicts: 938000 | #Constraints: 64279
2583.98/2591.22 c #Conflicts: 939000 | #Constraints: 65279
2583.98/2591.22 c #Conflicts: 940000 | #Constraints: 66279
2583.98/2591.22 c #Conflicts: 941000 | #Constraints: 67279
2583.98/2591.22 c #Conflicts: 942000 | #Constraints: 68279
2583.98/2591.22 c #Conflicts: 943000 | #Constraints: 69279
2583.98/2591.22 c #Conflicts: 944000 | #Constraints: 70279
2583.98/2591.22 c #Conflicts: 945000 | #Constraints: 71279
2583.98/2591.22 c #Conflicts: 946000 | #Constraints: 72279
2583.98/2591.22 c #Conflicts: 947000 | #Constraints: 73279
2583.98/2591.22 c #Conflicts: 948000 | #Constraints: 74279
2583.98/2591.22 c #Conflicts: 949000 | #Constraints: 75279
2583.98/2591.22 c #Conflicts: 950000 | #Constraints: 76279
2583.98/2591.22 c #Conflicts: 951000 | #Constraints: 77279
2583.98/2591.22 c #Conflicts: 952000 | #Constraints: 78279
2583.98/2591.22 c #Conflicts: 953000 | #Constraints: 79279
2583.98/2591.22 c #Conflicts: 954000 | #Constraints: 80279
2583.98/2591.22 c #Conflicts: 955000 | #Constraints: 81279
2583.98/2591.22 c #Conflicts: 956000 | #Constraints: 82279
2913.19/2921.44 c #Conflicts: 957000 | #Constraints: 83279
2913.19/2921.44 c #Conflicts: 958000 | #Constraints: 84279
2913.19/2921.44 c #Conflicts: 959000 | #Constraints: 85279
2913.19/2921.44 c #Conflicts: 960000 | #Constraints: 86279
2913.19/2921.44 c #Conflicts: 961000 | #Constraints: 87279
2913.19/2921.44 c #Conflicts: 962000 | #Constraints: 88279
2913.19/2921.44 c #Conflicts: 963000 | #Constraints: 89279
2913.19/2921.44 c #Conflicts: 964000 | #Constraints: 90279
2913.19/2921.44 c #Conflicts: 965000 | #Constraints: 91279
2913.19/2921.44 c #Conflicts: 966000 | #Constraints: 92279
2913.19/2921.44 c #Conflicts: 967000 | #Constraints: 93279
2913.19/2921.44 c #Conflicts: 968000 | #Constraints: 94279
2913.19/2921.44 c #Conflicts: 969000 | #Constraints: 95279
2913.19/2921.44 c #Conflicts: 970000 | #Constraints: 96279
2913.19/2921.44 c #Conflicts: 971000 | #Constraints: 97279
2913.19/2921.44 c #Conflicts: 972000 | #Constraints: 98279
2913.19/2921.44 c #Conflicts: 973000 | #Constraints: 99279
2913.19/2921.44 c #Conflicts: 974000 | #Constraints: 100279
2913.19/2921.44 c #Conflicts: 975000 | #Constraints: 101279
2913.19/2921.44 c #Conflicts: 976000 | #Constraints: 102279
2913.19/2921.44 c #Conflicts: 977000 | #Constraints: 103279
2913.19/2921.44 c #Conflicts: 978000 | #Constraints: 104279
2913.19/2921.44 c #Conflicts: 979000 | #Constraints: 105279
2913.19/2921.44 c #Conflicts: 980000 | #Constraints: 106279
2913.19/2921.44 c #Conflicts: 981000 | #Constraints: 107279
2913.19/2921.44 c #Conflicts: 982000 | #Constraints: 108279
2913.19/2921.44 c #Conflicts: 983000 | #Constraints: 109279
2913.19/2921.44 c #Conflicts: 984000 | #Constraints: 110279
2913.19/2921.44 c #Conflicts: 985000 | #Constraints: 111279
2913.19/2921.44 c #Conflicts: 986000 | #Constraints: 112279
2913.19/2921.44 c #Conflicts: 987000 | #Constraints: 113279
2913.19/2921.44 c #Conflicts: 988000 | #Constraints: 114279
2913.19/2921.44 c #Conflicts: 989000 | #Constraints: 115279
2913.19/2921.44 c #Conflicts: 990000 | #Constraints: 116279
2913.19/2921.44 c #Conflicts: 991000 | #Constraints: 117279
2913.19/2921.44 c #Conflicts: 992000 | #Constraints: 118279
2913.19/2921.44 c #Conflicts: 993000 | #Constraints: 119279
2913.19/2921.44 c #Conflicts: 994000 | #Constraints: 120279
2913.19/2921.44 c INPROCESSING
2913.19/2921.44 c GARBAGE COLLECT
2913.19/2921.44 c #Conflicts: 995000 | #Constraints: 69677
2913.19/2921.44 c #Conflicts: 996000 | #Constraints: 70677
2913.19/2921.44 c #Conflicts: 997000 | #Constraints: 71677
2913.19/2921.44 c #Conflicts: 998000 | #Constraints: 72677
2913.19/2921.44 c #Conflicts: 999000 | #Constraints: 73677
2913.19/2921.44 c #Conflicts: 1000000 | #Constraints: 74677
2913.19/2921.44 c #Conflicts: 1001000 | #Constraints: 75677
2913.19/2921.44 c #Conflicts: 1002000 | #Constraints: 76677
2913.19/2921.44 c #Conflicts: 1003000 | #Constraints: 77677
2913.19/2921.44 c #Conflicts: 1004000 | #Constraints: 78677
2913.19/2921.44 c #Conflicts: 1005000 | #Constraints: 79677
2913.19/2921.44 c #Conflicts: 1006000 | #Constraints: 80677
2913.19/2921.44 c #Conflicts: 1007000 | #Constraints: 81677
2913.19/2921.44 c #Conflicts: 1008000 | #Constraints: 82677
2913.19/2921.44 c #Conflicts: 1009000 | #Constraints: 83677
2913.19/2921.44 c #Conflicts: 1010000 | #Constraints: 84677
2913.19/2921.44 c #Conflicts: 1011000 | #Constraints: 85677
2913.19/2921.44 c #Conflicts: 1012000 | #Constraints: 86677
2913.19/2921.44 c #Conflicts: 1013000 | #Constraints: 87677
2913.19/2921.44 c #Conflicts: 1014000 | #Constraints: 88677
2913.19/2921.44 c #Conflicts: 1015000 | #Constraints: 89677
2913.19/2921.44 c #Conflicts: 1016000 | #Constraints: 90677
2913.19/2921.44 c #Conflicts: 1017000 | #Constraints: 91677
2913.19/2921.44 c #Conflicts: 1018000 | #Constraints: 92677
2913.19/2921.44 c #Conflicts: 1019000 | #Constraints: 93677
2913.19/2921.44 c #Conflicts: 1020000 | #Constraints: 94677
2913.19/2921.44 c INPROCESSING
2913.19/2921.44 c GARBAGE COLLECT
2913.19/2921.44 c #Conflicts: 1021000 | #Constraints: 57401
2913.19/2921.44 c #Conflicts: 1022000 | #Constraints: 58401
2913.19/2921.44 c #Conflicts: 1023000 | #Constraints: 59401
2913.19/2921.44 c #Conflicts: 1024000 | #Constraints: 60401
2913.19/2921.44 c #Conflicts: 1025000 | #Constraints: 61401
2913.19/2921.44 c #Conflicts: 1026000 | #Constraints: 62401
2913.19/2921.44 c #Conflicts: 1027000 | #Constraints: 63401
2913.19/2921.44 c #Conflicts: 1028000 | #Constraints: 64401
2913.19/2921.44 c #Conflicts: 1029000 | #Constraints: 65401
2913.19/2921.44 c #Conflicts: 1030000 | #Constraints: 66401
2913.19/2921.44 c #Conflicts: 1031000 | #Constraints: 67401
2913.19/2921.44 c #Conflicts: 1032000 | #Constraints: 68401
2913.19/2921.44 c #Conflicts: 1033000 | #Constraints: 69401
3249.34/3258.67 c #Conflicts: 1034000 | #Constraints: 70401
3249.34/3258.67 c #Conflicts: 1035000 | #Constraints: 71401
3249.34/3258.67 c #Conflicts: 1036000 | #Constraints: 72401
3249.34/3258.67 c #Conflicts: 1037000 | #Constraints: 73401
3249.34/3258.67 c #Conflicts: 1038000 | #Constraints: 74401
3249.34/3258.67 c #Conflicts: 1039000 | #Constraints: 75401
3249.34/3258.67 c #Conflicts: 1040000 | #Constraints: 76401
3249.34/3258.67 c #Conflicts: 1041000 | #Constraints: 77401
3249.34/3258.67 c #Conflicts: 1042000 | #Constraints: 78401
3249.34/3258.67 c #Conflicts: 1043000 | #Constraints: 79401
3249.34/3258.67 c #Conflicts: 1044000 | #Constraints: 80401
3249.34/3258.67 c #Conflicts: 1045000 | #Constraints: 81401
3249.34/3258.67 c INPROCESSING
3249.34/3258.67 c GARBAGE COLLECT
3249.34/3258.67 c #Conflicts: 1046000 | #Constraints: 55061
3249.34/3258.67 c #Conflicts: 1047000 | #Constraints: 56061
3249.34/3258.67 c #Conflicts: 1048000 | #Constraints: 57061
3249.34/3258.67 c #Conflicts: 1049000 | #Constraints: 58061
3249.34/3258.67 c #Conflicts: 1050000 | #Constraints: 59061
3249.34/3258.67 c #Conflicts: 1051000 | #Constraints: 60061
3249.34/3258.67 c #Conflicts: 1052000 | #Constraints: 61061
3249.34/3258.67 c #Conflicts: 1053000 | #Constraints: 62061
3249.34/3258.67 c #Conflicts: 1054000 | #Constraints: 63061
3249.34/3258.67 c #Conflicts: 1055000 | #Constraints: 64061
3249.34/3258.67 c #Conflicts: 1056000 | #Constraints: 65061
3249.34/3258.67 c #Conflicts: 1057000 | #Constraints: 66061
3249.34/3258.67 c #Conflicts: 1058000 | #Constraints: 67061
3249.34/3258.67 c #Conflicts: 1059000 | #Constraints: 68061
3249.34/3258.67 c #Conflicts: 1060000 | #Constraints: 69061
3249.34/3258.67 c #Conflicts: 1061000 | #Constraints: 70061
3249.34/3258.67 c #Conflicts: 1062000 | #Constraints: 71061
3249.34/3258.67 c #Conflicts: 1063000 | #Constraints: 72061
3249.34/3258.67 c #Conflicts: 1064000 | #Constraints: 73061
3249.34/3258.67 c #Conflicts: 1065000 | #Constraints: 74061
3249.34/3258.67 c #Conflicts: 1066000 | #Constraints: 75061
3249.34/3258.67 c #Conflicts: 1067000 | #Constraints: 76061
3249.34/3258.67 c #Conflicts: 1068000 | #Constraints: 77061
3249.34/3258.67 c #Conflicts: 1069000 | #Constraints: 78061
3249.34/3258.67 c #Conflicts: 1070000 | #Constraints: 79061
3249.34/3258.67 c #Conflicts: 1071000 | #Constraints: 80061
3249.34/3258.67 c #Conflicts: 1072000 | #Constraints: 81061
3249.34/3258.67 c #Conflicts: 1073000 | #Constraints: 82061
3249.34/3258.67 c #Conflicts: 1074000 | #Constraints: 83061
3249.34/3258.67 c #Conflicts: 1075000 | #Constraints: 84061
3249.34/3258.67 c #Conflicts: 1076000 | #Constraints: 85061
3249.34/3258.67 c #Conflicts: 1077000 | #Constraints: 86061
3249.34/3258.67 c #Conflicts: 1078000 | #Constraints: 87061
3249.34/3258.67 c #Conflicts: 1079000 | #Constraints: 88061
3249.34/3258.67 c #Conflicts: 1080000 | #Constraints: 89061
3249.34/3258.67 c #Conflicts: 1081000 | #Constraints: 90061
3249.34/3258.67 c #Conflicts: 1082000 | #Constraints: 91061
3249.34/3258.67 c #Conflicts: 1083000 | #Constraints: 92061
3249.34/3258.67 c #Conflicts: 1084000 | #Constraints: 93061
3249.34/3258.67 c #Conflicts: 1085000 | #Constraints: 94061
3249.34/3258.67 c #Conflicts: 1086000 | #Constraints: 95061
3249.34/3258.67 c #Conflicts: 1087000 | #Constraints: 96061
3249.34/3258.67 c #Conflicts: 1088000 | #Constraints: 97061
3249.34/3258.67 c #Conflicts: 1089000 | #Constraints: 98061
3249.34/3258.67 c #Conflicts: 1090000 | #Constraints: 99061
3249.34/3258.67 c #Conflicts: 1091000 | #Constraints: 100061
3249.34/3258.67 c #Conflicts: 1092000 | #Constraints: 101061
3249.34/3258.67 c #Conflicts: 1093000 | #Constraints: 102061
3249.34/3258.67 c #Conflicts: 1094000 | #Constraints: 103061
3249.34/3258.67 c #Conflicts: 1095000 | #Constraints: 104061
3249.34/3258.67 c #Conflicts: 1096000 | #Constraints: 105061
3249.34/3258.67 c #Conflicts: 1097000 | #Constraints: 106061
3249.34/3258.67 c #Conflicts: 1098000 | #Constraints: 107061
3249.34/3258.67 c #Conflicts: 1099000 | #Constraints: 108061
3249.34/3258.67 c #Conflicts: 1100000 | #Constraints: 109061
3249.34/3258.67 c #Conflicts: 1101000 | #Constraints: 110061
3249.34/3258.67 c #Conflicts: 1102000 | #Constraints: 111061
3249.34/3258.67 c #Conflicts: 1103000 | #Constraints: 112061
3249.34/3258.67 c #Conflicts: 1104000 | #Constraints: 113061
3249.34/3258.67 c #Conflicts: 1105000 | #Constraints: 114061
3249.34/3258.67 c #Conflicts: 1106000 | #Constraints: 115061
3249.34/3258.67 c #Conflicts: 1107000 | #Constraints: 116061
3249.34/3258.67 c #Conflicts: 1108000 | #Constraints: 117061
3249.34/3258.67 c #Conflicts: 1109000 | #Constraints: 118061
3249.34/3258.67 c #Conflicts: 1110000 | #Constraints: 119061
3249.34/3258.67 c #Conflicts: 1111000 | #Constraints: 120061
3249.34/3258.67 c #Conflicts: 1112000 | #Constraints: 121061
3303.47/3312.95 c #Conflicts: 1113000 | #Constraints: 122061
3303.47/3312.95 c #Conflicts: 1114000 | #Constraints: 123061
3303.47/3312.95 c #Conflicts: 1115000 | #Constraints: 124061
3303.47/3312.95 c #Conflicts: 1116000 | #Constraints: 125061
3303.47/3312.95 c #Conflicts: 1117000 | #Constraints: 126061
3303.47/3312.95 c #Conflicts: 1118000 | #Constraints: 127061
3303.47/3312.95 c INPROCESSING
3303.47/3312.95 c GARBAGE COLLECT
3303.47/3312.95 c rational objective 134
3449.52/3459.50 c #Conflicts: 1119000 | #Constraints: 73629
3449.52/3459.50 c #Conflicts: 1120000 | #Constraints: 74629
3449.52/3459.50 c #Conflicts: 1121000 | #Constraints: 75629
3449.52/3459.50 c #Conflicts: 1122000 | #Constraints: 76629
3449.52/3459.50 c #Conflicts: 1123000 | #Constraints: 77629
3449.52/3459.50 c #Conflicts: 1124000 | #Constraints: 78629
3449.52/3459.50 c #Conflicts: 1125000 | #Constraints: 79629
3449.52/3459.50 c #Conflicts: 1126000 | #Constraints: 80629
3449.52/3459.50 c #Conflicts: 1127000 | #Constraints: 81629
3449.52/3459.50 c #Conflicts: 1128000 | #Constraints: 82629
3449.52/3459.50 c #Conflicts: 1129000 | #Constraints: 83629
3449.52/3459.50 c #Conflicts: 1130000 | #Constraints: 84629
3449.52/3459.50 c #Conflicts: 1131000 | #Constraints: 85629
3449.52/3459.50 c #Conflicts: 1132000 | #Constraints: 86629
3449.52/3459.50 c #Conflicts: 1133000 | #Constraints: 87629
3449.52/3459.50 c #Conflicts: 1134000 | #Constraints: 88629
3449.52/3459.50 c #Conflicts: 1135000 | #Constraints: 89630
3449.52/3459.50 c #Conflicts: 1136000 | #Constraints: 90630
3449.52/3459.50 c #Conflicts: 1137000 | #Constraints: 91630
3449.52/3459.50 c #Conflicts: 1138000 | #Constraints: 92630
3449.52/3459.50 c #Conflicts: 1139000 | #Constraints: 93630
3449.52/3459.50 c #Conflicts: 1140000 | #Constraints: 94630
3449.52/3459.50 c #Conflicts: 1141000 | #Constraints: 95630
3449.52/3459.50 c #Conflicts: 1142000 | #Constraints: 96630
3449.52/3459.50 c #Conflicts: 1143000 | #Constraints: 97630
3449.52/3459.50 c #Conflicts: 1144000 | #Constraints: 98630
3449.52/3459.50 c INPROCESSING
3449.52/3459.50 c GARBAGE COLLECT
3449.52/3459.50 c rational objective 134
3600.05/3610.40 c #Conflicts: 1145000 | #Constraints: 59018
3600.05/3610.40 c #Conflicts: 1146000 | #Constraints: 60018
3600.05/3610.40 c #Conflicts: 1147000 | #Constraints: 61018
3600.05/3610.40 c #Conflicts: 1148000 | #Constraints: 62018
3600.05/3610.40 c #Conflicts: 1149000 | #Constraints: 63018
3600.05/3610.40 c #Conflicts: 1150000 | #Constraints: 64018
3600.05/3610.40 c #Conflicts: 1151000 | #Constraints: 65018
3600.05/3610.40 c #Conflicts: 1152000 | #Constraints: 66018
3600.05/3610.40 c #Conflicts: 1153000 | #Constraints: 67018
3600.05/3610.40 c #Conflicts: 1154000 | #Constraints: 68018
3600.05/3610.40 c #Conflicts: 1155000 | #Constraints: 69018
3600.05/3610.40 c #Conflicts: 1156000 | #Constraints: 70018
3600.05/3610.40 c #Conflicts: 1157000 | #Constraints: 71018
3600.05/3610.40 c #Conflicts: 1158000 | #Constraints: 72018
3600.05/3610.40 c #Conflicts: 1159000 | #Constraints: 73018
3600.05/3610.40 c #Conflicts: 1160000 | #Constraints: 74018
3600.05/3610.40 c #Conflicts: 1161000 | #Constraints: 75018
3600.05/3610.40 c #Conflicts: 1162000 | #Constraints: 76018
3600.05/3610.40 c #Conflicts: 1163000 | #Constraints: 77018
3600.05/3610.40 c #Conflicts: 1164000 | #Constraints: 78018
3600.05/3610.40 c #Conflicts: 1165000 | #Constraints: 79018
3600.05/3610.40 c #Conflicts: 1166000 | #Constraints: 80018
3600.05/3610.40 c #Conflicts: 1167000 | #Constraints: 81018
3600.05/3610.40 c #Conflicts: 1168000 | #Constraints: 82018
3600.05/3610.40 c #Conflicts: 1169000 | #Constraints: 83018
3600.05/3610.40 c #Conflicts: 1170000 | #Constraints: 84018
3600.05/3610.40 c #Conflicts: 1171000 | #Constraints: 85018
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 1172000 | #Constraints: 56879
3600.05/3610.40 c #Conflicts: 1173000 | #Constraints: 57879
3600.05/3610.40 c #Conflicts: 1174000 | #Constraints: 58879
3600.05/3610.40 c #Conflicts: 1175000 | #Constraints: 59879
3600.05/3610.40 c #Conflicts: 1176000 | #Constraints: 60879
3600.05/3610.40 c #Conflicts: 1177000 | #Constraints: 61879
3600.05/3610.40 c #Conflicts: 1178000 | #Constraints: 62879
3600.05/3610.40 c #Conflicts: 1179000 | #Constraints: 63879
3600.05/3610.40 c #Conflicts: 1180000 | #Constraints: 64879
3600.05/3610.40 c #Conflicts: 1181000 | #Constraints: 65879
3600.05/3610.40 c #Conflicts: 1182000 | #Constraints: 66879
3600.05/3610.40 c #Conflicts: 1183000 | #Constraints: 67879
3600.05/3610.40 c #Conflicts: 1184000 | #Constraints: 68879
3600.05/3610.40 c #Conflicts: 1185000 | #Constraints: 69879
3600.05/3610.40 c #Conflicts: 1186000 | #Constraints: 70879
3600.05/3610.40 c #Conflicts: 1187000 | #Constraints: 71880
3600.05/3610.40 c #Conflicts: 1188000 | #Constraints: 72880
3600.05/3610.40 c #Conflicts: 1189000 | #Constraints: 73880
3600.05/3610.40 c #Conflicts: 1190000 | #Constraints: 74880
3600.05/3610.40 c #Conflicts: 1191000 | #Constraints: 75880
3600.05/3610.40 c #Conflicts: 1192000 | #Constraints: 76880
3600.05/3610.40 c #Conflicts: 1193000 | #Constraints: 77880
3600.05/3610.40 c #Conflicts: 1194000 | #Constraints: 78880
3600.05/3610.40 c #Conflicts: 1195000 | #Constraints: 79880
3600.05/3610.40 c #Conflicts: 1196000 | #Constraints: 80880
3600.05/3610.40 c #Conflicts: 1197000 | #Constraints: 81880
3600.05/3610.40 c #Conflicts: 1198000 | #Constraints: 82880
3600.05/3610.40 c #Conflicts: 1199000 | #Constraints: 83880
3600.05/3610.40 c #Conflicts: 1200000 | #Constraints: 84880
3600.05/3610.40 c #Conflicts: 1201000 | #Constraints: 85880
3600.05/3610.40 c #Conflicts: 1202000 | #Constraints: 86880
3600.05/3610.40 c cpu time 3580.51 s
3600.05/3610.40 c deterministic time 193989255092 1.94e+11
3600.05/3610.40 c optimization time 88.4711 s
3600.05/3610.40 c total solve time 3491.97 s
3600.05/3610.40 c core-guided solve time 0 s
3600.05/3610.40 c propagation time 1664.88 s
3600.05/3610.40 c conflict analysis time 1532.8 s
3600.05/3610.40 c propagations 1219874644
3600.05/3610.40 c resolve steps 91675518
3600.05/3610.40 c decisions 17321762
3600.05/3610.40 c conflicts 1202852
3600.05/3610.40 c restarts 2280
3600.05/3610.40 c inprocessing phases 54
3600.05/3610.40 c garbage collections 54 ,( 100.00 )
3600.05/3610.40 c input clauses 16082 ,( 99.17 )
3600.05/3610.40 c input cardinalities 134 ,( 0.83 )
3600.05/3610.40 c input general constraints 0 ,( 0.00 )
3600.05/3610.40 c input average constraint length 6.43
3600.05/3610.40 c input average constraint degree 1.97
3600.05/3610.40 c learned clauses 915320 ,( 76.10 )
3600.05/3610.40 c learned cardinalities 33883 ,( 2.82 )
3600.05/3610.40 c learned general constraints 253661 ,( 21.09 )
3600.05/3610.40 c learned average constraint length 789.89
3600.05/3610.40 c learned average constraint degree 105156281.65
3600.05/3610.40 c watched CF 32, 64, 128, Arb: 73701 , 0 , 0 , 0
3600.05/3610.40 c counting CF 32, 64, 128, Arb: 179960 , 0 , 0 , 0
3600.05/3610.40 c watched constraints 73701 ,( 29.05 )
3600.05/3610.40 c counting constraints 179960 ,( 70.95 )
3600.05/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1206694227 , 460752714 , 1313852254 ,( 61298390 , 1252553864 )
3600.05/3610.40 c gcd simplifications 3629
3600.05/3610.40 c detected cardinalities 3970
3600.05/3610.40 c weakened non-implied lits 382097685
3600.05/3610.40 c weakened non-implying lits 464729
3600.05/3610.40 c original variables 15946
3600.05/3610.40 c clausal propagations 561363283
3600.05/3610.40 c cardinality propagations 436408253
3600.05/3610.40 c watched propagations 4156951
3600.05/3610.40 c counting propagations 208081633
3600.05/3610.40 c watch lookups 85302003364
3600.05/3610.40 c watch backjump lookups 0
3600.05/3610.40 c watch checks 28414094027
3600.05/3610.40 c propagation checks 73253128129
3600.05/3610.40 c constraint additions 4544155087
3600.05/3610.40 c trail pops 1238385805
3600.05/3610.40 c formula constraints 16216
3600.05/3610.40 c learned constraints 1202842
3600.05/3610.40 c bound constraints 0
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 63178915
3600.05/3610.40 c encountered learned constraints 29697147
3600.05/3610.40 c encountered bound constraints 0
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 342.996 s
3600.05/3610.40 c LP solve time 332.44 s
3600.05/3610.40 c LP constraints added 16919
3600.05/3610.40 c LP constraints removed 443
3600.05/3610.40 c LP pivots internal 134231
3600.05/3610.40 c LP pivots root 158042
3600.05/3610.40 c LP calls 20
3600.05/3610.40 c LP optimalities 5
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 9
3600.05/3610.40 c LP valid Farkas constraints 9
3600.05/3610.40 c LP learned Farkas constraints 9
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 4
3600.05/3610.40 c LP learned cuts 699
3600.05/3610.40 c LP deleted cuts 443
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 2294
3600.05/3610.40 c LP encountered learned Farkas constraints 5
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG core upper bound improvements 0
3600.05/3610.40 c STR number of successful calls 0
3600.05/3610.40 c STR number of unsuccessful calls 0
3600.05/3610.40 c STR number of inconclusive calls 0
3600.05/3610.40 c STR number of successful attempts 0
3600.05/3610.40 c STR number of unsuccessful attempts 0
3600.05/3610.40 c STR number of inconclusive attempts 0
3600.05/3610.40 c STR average degree increase per successful call inf
3600.05/3610.40 c STR average degree increase per successful attempt inf
3600.05/3610.40 c STR total number of conflicts for successful attempts 0
3600.05/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40 c STR average number of conflicts per successful attempt inf
3600.05/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40 c AVG.sumWPerc 63.24
3600.05/3610.40 c bigint constraints 0
3600.05/3610.40 s UNKNOWN
3600.05/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60278 MiB free)
memory of node 1: 64507 MiB (62889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506726-1751171884/watcher-4506726-1751171884 -o /tmp/evaluation-result-4506726-1751171884/solver-4506726-1751171884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18973 --watchdog 3760 run-dec-ls.sh HOME/instance-4506726-1751171884.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
Current StackSize limit: 8192 KiB
solver pid=19667, runsolver pid=19664
[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=126091636/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=78824 memory=32748 CPUtime=0.09 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 6388 0 0 0 6 3 0 0 20 0 1 0 32868302 80715776 8187 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 19706 8187 2240 1147 0 7133 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83016 KiB
Current children cumulated memory: 35692 KiB
[startup+0.205794 s]*
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=126067696/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=96292 memory=47696 CPUtime=0.19 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 10256 0 0 0 16 3 0 0 20 0 1 0 32868302 98603008 11924 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 24073 11924 2272 1147 0 11500 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100484 KiB
Current children cumulated memory: 50640 KiB
[startup+0.305705 s]*
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=126055536/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=96292 memory=48592 CPUtime=0.29 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 10494 0 0 0 26 3 0 0 20 0 1 0 32868302 98603008 12148 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 24073 12148 2272 1147 0 11500 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100484 KiB
Current children cumulated memory: 51536 KiB
[startup+0.700225 s]
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=126035312/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=96292 memory=48592 CPUtime=0.67 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 10494 0 0 0 64 3 0 0 20 0 1 0 32868302 98603008 12148 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 24073 12148 2272 1147 0 11500 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 100484 KiB
Current children cumulated memory: 51536 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=125974768/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=96292 memory=48592 CPUtime=1.47 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 10494 0 0 0 144 3 0 0 20 0 1 0 32868302 98603008 12148 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 24073 12148 2272 1147 0 11500 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 100484 KiB
Current children cumulated memory: 51536 KiB
[startup+3.10555 s]
/proc/loadavg: 4.18 4.10 4.08 5/267 19669
/proc/meminfo: memFree=125751452/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=99492 memory=52304 CPUtime=3.07 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 11376 0 0 0 303 4 0 0 20 0 1 0 32868302 101879808 13076 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 24873 13076 2336 1147 0 12300 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 103684 KiB
Current children cumulated memory: 55248 KiB
[startup+6.30021 s]
/proc/loadavg: 4.18 4.10 4.08 5/267 19669
/proc/meminfo: memFree=125429608/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=105052 memory=61512 CPUtime=6.26 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 13158 0 0 0 614 12 0 0 20 0 1 0 32868302 107573248 15378 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 26263 15378 2368 1147 0 13690 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 109244 KiB
Current children cumulated memory: 64456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.10 4.08 5/267 19669
/proc/meminfo: memFree=124712212/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=114232 memory=70600 CPUtime=12.64 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 15429 0 0 0 1242 22 0 0 20 0 1 0 32868302 116973568 17650 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 28558 17650 2368 1147 0 15985 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 118424 KiB
Current children cumulated memory: 73544 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.07 5/267 19669
/proc/meminfo: memFree=124827608/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=119996 memory=76744 CPUtime=25.41 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 16964 0 0 0 2499 42 0 0 20 0 1 0 32868302 122875904 19186 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 29999 19186 2368 1147 0 17426 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 124188 KiB
Current children cumulated memory: 79688 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.10 4.08 5/267 19670
/proc/meminfo: memFree=124792784/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=160052 memory=106452 CPUtime=50.94 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 22353 0 0 0 5016 78 0 0 20 0 1 0 32868302 163893248 26613 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 40013 26613 2368 1147 0 27440 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 164244 KiB
Current children cumulated memory: 109396 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/267 19671
/proc/meminfo: memFree=124709052/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=200104 memory=152756 CPUtime=102 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 27796 0 0 0 10078 122 0 0 20 0 1 0 32868302 204906496 38189 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 50026 38189 2368 1147 0 37453 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 204296 KiB
Current children cumulated memory: 155700 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/267 19677
/proc/meminfo: memFree=124709812/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=219208 memory=172948 CPUtime=161.84 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 32350 0 0 0 15998 186 0 0 20 0 1 0 32868302 224468992 43237 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 54802 43237 2368 1147 0 42229 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 223400 KiB
Current children cumulated memory: 175892 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/267 19679
/proc/meminfo: memFree=124658668/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=260936 memory=204528 CPUtime=221.66 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 35666 0 0 0 21913 253 0 0 20 0 1 0 32868302 267198464 51132 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 65234 51132 2368 1147 0 52661 0
################
# More data... #
################
/proc/19669/statm: 394453 328574 2368 1147 0 381880 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 1582004 KiB
Current children cumulated memory: 1317240 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/266 19820
/proc/meminfo: memFree=123113124/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1579196 memory=1315576 CPUtime=3093.55 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 147514 0 0 0 307618 1737 0 0 20 0 1 0 32868302 1617096704 328894 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 394799 328894 2368 1147 0 382226 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 1583388 KiB
Current children cumulated memory: 1318520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/267 19828
/proc/meminfo: memFree=123084324/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1581468 memory=1317880 CPUtime=3153.36 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 148084 0 0 0 313588 1748 0 0 20 0 1 0 32868302 1619423232 329470 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 395367 329470 2368 1147 0 382794 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 1585660 KiB
Current children cumulated memory: 1320824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/267 19830
/proc/meminfo: memFree=122994848/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1584752 memory=1320312 CPUtime=3213.16 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 148697 0 0 0 319561 1755 0 0 20 0 1 0 32868302 1622786048 330078 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 396188 330078 2368 1147 0 383615 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 1588944 KiB
Current children cumulated memory: 1323256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/267 19834
/proc/meminfo: memFree=123000100/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1590300 memory=1325176 CPUtime=3272.96 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 149911 0 0 0 325531 1765 0 0 20 0 1 0 32868302 1628467200 331294 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 397575 331294 2368 1147 0 385002 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 1594492 KiB
Current children cumulated memory: 1328120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/267 19836
/proc/meminfo: memFree=123020016/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1594560 memory=1328888 CPUtime=3332.78 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 150830 0 0 0 331495 1783 0 0 20 0 1 0 32868302 1632829440 332222 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 398640 332222 2368 1147 0 386067 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1598752 KiB
Current children cumulated memory: 1331832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/267 19838
/proc/meminfo: memFree=122991360/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1594560 memory=1330680 CPUtime=3392.6 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 150840 0 0 0 337437 1823 0 0 20 0 1 0 32868302 1632829440 332670 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 398640 332670 2368 1147 0 386067 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 1598752 KiB
Current children cumulated memory: 1333624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/267 19840
/proc/meminfo: memFree=122950176/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1634684 memory=1370872 CPUtime=3452.4 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 160794 0 0 0 343393 1847 0 0 20 0 1 0 32868302 1673916416 342718 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 408671 342718 2368 1147 0 396098 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1638876 KiB
Current children cumulated memory: 1373816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/267 19842
/proc/meminfo: memFree=122933552/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1634684 memory=1371000 CPUtime=3512.21 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 160818 0 0 0 349330 1891 0 0 20 0 1 0 32868302 1673916416 342750 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 408671 342750 2368 1147 0 396098 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 1638876 KiB
Current children cumulated memory: 1373944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/267 19844
/proc/meminfo: memFree=122935620/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1634684 memory=1371000 CPUtime=3572.04 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 160835 0 0 0 355266 1938 0 0 20 0 1 0 32868302 1673916416 342750 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 408671 342750 2368 1147 0 396098 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 1638876 KiB
Current children cumulated memory: 1373944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 19983
/proc/meminfo: memFree=128193964/131250000 swapFree=33010684/33010684
[pid=19667] ppid=19664 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/19667/stat : 19667 (run-dec-ls.sh) S 19664 19667 18961 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32868302 4292608 736 18446744073709551615 94670674935808 94670675830341 140733965256736 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670676069392 94670676117136 94670694572032 140733965265255 140733965265381 140733965265381 140733965270983 0
/proc/19667/statm: 1048 736 672 219 0 110 0
[pid=19669] ppid=19667 vsize=1634684 memory=1371000 CPUtime=3600.05 cores=1,3
/proc/19669/stat : 19669 (roundingsat) R 19667 19667 18961 0 -1 4194304 160853 0 0 0 358050 1955 0 0 20 0 1 0 32868302 1673916416 342750 18446744073709551615 4227072 8923433 140730641282480 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16072704 140730641291680 140730641291816 140730641291816 140730641297386 0
/proc/19669/statm: 408671 342750 2368 1147 0 396098 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1638876 KiB
Current children cumulated memory: 1373944 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 19667 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002569 s
Sleeping 2 seconds
[startup+3610.43 s]
# the end of solver process 19669 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.52 s, system=19.5761 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.43
CPU time (s): 3600.09
CPU user time (s): 3580.52
CPU system time (s): 19.5761
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 1638876
Max. memory (cumulated for all children) (KiB): 1373944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.52
system time used= 19.5761
maximum resident set size= 1371512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161080
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= 217
involuntary context switches= 2763
# summary of solver processes directly reported to runsolver:
# pid: 19667,19669
# total CPU time (s): 3600.09
# total CPU user time (s): 3580.52
# total CPU system time (s): 19.5761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20579 second user time and 17.4858 second system time
The end
Begin job on nodeC027 at 2025-06-29 06:38:04
IDJOB=4506726
IDBENCH=158262
IDSOLVER=3353
FILE ID=nodeC027/4506726-1751171884
RUNJOBID= nodeC027-1751168266-18973
SLURM_JOB_ID= 9587510
Free space on /tmp= 432708 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506726-1751171884/watcher-4506726-1751171884 -o /tmp/evaluation-result-4506726-1751171884/solver-4506726-1751171884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18973 --watchdog 3760 run-dec-ls.sh HOME/instance-4506726-1751171884.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=107966892
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.206
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.626
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.653
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.710
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.343
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3543.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126124428 kB
MemAvailable: 126459096 kB
Buffers: 3280 kB
Cached: 1140468 kB
SwapCached: 0 kB
Active: 3293620 kB
Inactive: 886584 kB
Active(anon): 3054532 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 886584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 363744 kB
Writeback: 0 kB
AnonPages: 3039648 kB
Mapped: 114380 kB
Shmem: 18068 kB
KReclaimable: 96068 kB
Slab: 181348 kB
SReclaimable: 96068 kB
SUnreclaim: 85280 kB
KernelStack: 4320 kB
PageTables: 9128 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3672620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1523712 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC027 at 2025-06-29 07:38:15