0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.11 c #variables 15946 #constraints 16216
99.20/99.51 c #Conflicts: 1000 | #Constraints: 17215
99.20/99.51 c #Conflicts: 2000 | #Constraints: 18215
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 3000 | #Constraints: 17436
99.20/99.51 c #Conflicts: 4000 | #Constraints: 18436
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 5000 | #Constraints: 17915
99.20/99.51 c #Conflicts: 6000 | #Constraints: 18915
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 7000 | #Constraints: 17985
99.20/99.51 c #Conflicts: 8000 | #Constraints: 18985
99.20/99.51 c #Conflicts: 9000 | #Constraints: 19985
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 10000 | #Constraints: 18732
99.20/99.51 c #Conflicts: 11000 | #Constraints: 19732
99.20/99.51 c #Conflicts: 12000 | #Constraints: 20732
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 13000 | #Constraints: 19251
99.20/99.51 c #Conflicts: 14000 | #Constraints: 20251
99.20/99.51 c #Conflicts: 15000 | #Constraints: 21251
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 16000 | #Constraints: 19542
99.20/99.51 c #Conflicts: 17000 | #Constraints: 20542
99.20/99.51 c #Conflicts: 18000 | #Constraints: 21542
99.20/99.51 c #Conflicts: 19000 | #Constraints: 22542
99.20/99.51 c #Conflicts: 20000 | #Constraints: 23542
99.20/99.51 c #Conflicts: 21000 | #Constraints: 24542
99.20/99.51 c #Conflicts: 22000 | #Constraints: 25542
99.20/99.51 c #Conflicts: 23000 | #Constraints: 26542
99.20/99.51 c #Conflicts: 24000 | #Constraints: 27542
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 25000 | #Constraints: 22505
99.20/99.51 c #Conflicts: 26000 | #Constraints: 23505
99.20/99.51 c #Conflicts: 27000 | #Constraints: 24505
99.20/99.51 c #Conflicts: 28000 | #Constraints: 25505
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 29000 | #Constraints: 21420
99.20/99.51 c #Conflicts: 30000 | #Constraints: 22420
99.20/99.51 c #Conflicts: 31000 | #Constraints: 23420
99.20/99.51 c #Conflicts: 32000 | #Constraints: 24420
99.20/99.51 c #Conflicts: 33000 | #Constraints: 25420
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 34000 | #Constraints: 21635
99.20/99.51 c #Conflicts: 35000 | #Constraints: 22635
99.20/99.51 c #Conflicts: 36000 | #Constraints: 23635
99.20/99.51 c #Conflicts: 37000 | #Constraints: 24635
99.20/99.51 c #Conflicts: 38000 | #Constraints: 25635
99.20/99.51 c #Conflicts: 39000 | #Constraints: 26635
99.20/99.51 c #Conflicts: 40000 | #Constraints: 27635
99.20/99.51 c #Conflicts: 41000 | #Constraints: 28635
99.20/99.51 c #Conflicts: 42000 | #Constraints: 29635
99.20/99.51 c #Conflicts: 43000 | #Constraints: 30635
99.20/99.51 c #Conflicts: 44000 | #Constraints: 31635
99.20/99.51 c #Conflicts: 45000 | #Constraints: 32635
99.20/99.51 c #Conflicts: 46000 | #Constraints: 33635
99.20/99.51 c #Conflicts: 47000 | #Constraints: 34635
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 48000 | #Constraints: 26461
99.20/99.51 c #Conflicts: 49000 | #Constraints: 27461
99.20/99.51 c #Conflicts: 50000 | #Constraints: 28461
99.20/99.51 c #Conflicts: 51000 | #Constraints: 29461
99.20/99.51 c #Conflicts: 52000 | #Constraints: 30461
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 53000 | #Constraints: 23971
99.20/99.51 c #Conflicts: 54000 | #Constraints: 24971
99.20/99.51 c #Conflicts: 55000 | #Constraints: 25971
99.20/99.51 c #Conflicts: 56000 | #Constraints: 26971
99.20/99.51 c #Conflicts: 57000 | #Constraints: 27971
99.20/99.51 c #Conflicts: 58000 | #Constraints: 28971
99.20/99.51 c INPROCESSING
99.20/99.51 c GARBAGE COLLECT
99.20/99.51 c #Conflicts: 59000 | #Constraints: 23169
99.20/99.51 c #Conflicts: 60000 | #Constraints: 24169
99.20/99.51 c #Conflicts: 61000 | #Constraints: 25169
99.20/99.51 c #Conflicts: 62000 | #Constraints: 26169
99.20/99.51 c #Conflicts: 63000 | #Constraints: 27169
99.20/99.51 c #Conflicts: 64000 | #Constraints: 28169
99.20/99.51 c #Conflicts: 65000 | #Constraints: 29169
99.20/99.51 c #Conflicts: 66000 | #Constraints: 30169
99.20/99.51 c #Conflicts: 67000 | #Constraints: 31169
99.20/99.51 c #Conflicts: 68000 | #Constraints: 32169
99.20/99.51 c #Conflicts: 69000 | #Constraints: 33169
99.20/99.51 c #Conflicts: 70000 | #Constraints: 34169
99.20/99.51 c #Conflicts: 71000 | #Constraints: 35169
99.20/99.51 c #Conflicts: 72000 | #Constraints: 36169
224.37/225.03 c #Conflicts: 73000 | #Constraints: 37169
224.37/225.03 c #Conflicts: 74000 | #Constraints: 38169
224.37/225.03 c #Conflicts: 75000 | #Constraints: 39169
224.37/225.03 c #Conflicts: 76000 | #Constraints: 40169
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 77000 | #Constraints: 28916
224.37/225.03 c #Conflicts: 78000 | #Constraints: 29916
224.37/225.03 c #Conflicts: 79000 | #Constraints: 30916
224.37/225.03 c #Conflicts: 80000 | #Constraints: 31916
224.37/225.03 c #Conflicts: 81000 | #Constraints: 32916
224.37/225.03 c #Conflicts: 82000 | #Constraints: 33916
224.37/225.03 c #Conflicts: 83000 | #Constraints: 34916
224.37/225.03 c #Conflicts: 84000 | #Constraints: 35916
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 85000 | #Constraints: 27261
224.37/225.03 c #Conflicts: 86000 | #Constraints: 28261
224.37/225.03 c #Conflicts: 87000 | #Constraints: 29261
224.37/225.03 c #Conflicts: 88000 | #Constraints: 30261
224.37/225.03 c #Conflicts: 89000 | #Constraints: 31261
224.37/225.03 c #Conflicts: 90000 | #Constraints: 32261
224.37/225.03 c #Conflicts: 91000 | #Constraints: 33261
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 92000 | #Constraints: 25626
224.37/225.03 c #Conflicts: 93000 | #Constraints: 26626
224.37/225.03 c #Conflicts: 94000 | #Constraints: 27626
224.37/225.03 c #Conflicts: 95000 | #Constraints: 28626
224.37/225.03 c #Conflicts: 96000 | #Constraints: 29626
224.37/225.03 c #Conflicts: 97000 | #Constraints: 30626
224.37/225.03 c #Conflicts: 98000 | #Constraints: 31626
224.37/225.03 c #Conflicts: 99000 | #Constraints: 32626
224.37/225.03 c #Conflicts: 100000 | #Constraints: 33626
224.37/225.03 c #Conflicts: 101000 | #Constraints: 34627
224.37/225.03 c #Conflicts: 102000 | #Constraints: 35627
224.37/225.03 c #Conflicts: 103000 | #Constraints: 36627
224.37/225.03 c #Conflicts: 104000 | #Constraints: 37627
224.37/225.03 c #Conflicts: 105000 | #Constraints: 38627
224.37/225.03 c #Conflicts: 106000 | #Constraints: 39627
224.37/225.03 c #Conflicts: 107000 | #Constraints: 40627
224.37/225.03 c #Conflicts: 108000 | #Constraints: 41627
224.37/225.03 c #Conflicts: 109000 | #Constraints: 42627
224.37/225.03 c #Conflicts: 110000 | #Constraints: 43627
224.37/225.03 c #Conflicts: 111000 | #Constraints: 44627
224.37/225.03 c #Conflicts: 112000 | #Constraints: 45627
224.37/225.03 c #Conflicts: 113000 | #Constraints: 46627
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 114000 | #Constraints: 32314
224.37/225.03 c #Conflicts: 115000 | #Constraints: 33314
224.37/225.03 c #Conflicts: 116000 | #Constraints: 34314
224.37/225.03 c #Conflicts: 117000 | #Constraints: 35314
224.37/225.03 c #Conflicts: 118000 | #Constraints: 36314
224.37/225.03 c #Conflicts: 119000 | #Constraints: 37314
224.37/225.03 c #Conflicts: 120000 | #Constraints: 38314
224.37/225.03 c #Conflicts: 121000 | #Constraints: 39314
224.37/225.03 c #Conflicts: 122000 | #Constraints: 40314
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 123000 | #Constraints: 29290
224.37/225.03 c #Conflicts: 124000 | #Constraints: 30290
224.37/225.03 c #Conflicts: 125000 | #Constraints: 31290
224.37/225.03 c #Conflicts: 126000 | #Constraints: 32290
224.37/225.03 c #Conflicts: 127000 | #Constraints: 33290
224.37/225.03 c #Conflicts: 128000 | #Constraints: 34290
224.37/225.03 c #Conflicts: 129000 | #Constraints: 35290
224.37/225.03 c #Conflicts: 130000 | #Constraints: 36290
224.37/225.03 c #Conflicts: 131000 | #Constraints: 37290
224.37/225.03 c INPROCESSING
224.37/225.03 c GARBAGE COLLECT
224.37/225.03 c #Conflicts: 132000 | #Constraints: 28042
224.37/225.03 c #Conflicts: 133000 | #Constraints: 29042
224.37/225.03 c #Conflicts: 134000 | #Constraints: 30042
224.37/225.03 c #Conflicts: 135000 | #Constraints: 31042
224.37/225.03 c #Conflicts: 136000 | #Constraints: 32042
224.37/225.03 c #Conflicts: 137000 | #Constraints: 33042
224.37/225.03 c #Conflicts: 138000 | #Constraints: 34042
224.37/225.03 c #Conflicts: 139000 | #Constraints: 35042
224.37/225.03 c #Conflicts: 140000 | #Constraints: 36042
224.37/225.03 c #Conflicts: 141000 | #Constraints: 37042
224.37/225.03 c #Conflicts: 142000 | #Constraints: 38042
224.37/225.03 c #Conflicts: 143000 | #Constraints: 39042
224.37/225.03 c #Conflicts: 144000 | #Constraints: 40042
224.37/225.03 c #Conflicts: 145000 | #Constraints: 41042
224.37/225.03 c #Conflicts: 146000 | #Constraints: 42042
224.37/225.03 c #Conflicts: 147000 | #Constraints: 43042
397.69/398.80 c #Conflicts: 148000 | #Constraints: 44042
397.69/398.80 c #Conflicts: 149000 | #Constraints: 45042
397.69/398.80 c #Conflicts: 150000 | #Constraints: 46042
397.69/398.80 c #Conflicts: 151000 | #Constraints: 47042
397.69/398.80 c #Conflicts: 152000 | #Constraints: 48042
397.69/398.80 c #Conflicts: 153000 | #Constraints: 49042
397.69/398.80 c #Conflicts: 154000 | #Constraints: 50042
397.69/398.80 c #Conflicts: 155000 | #Constraints: 51042
397.69/398.80 c #Conflicts: 156000 | #Constraints: 52042
397.69/398.80 c #Conflicts: 157000 | #Constraints: 53042
397.69/398.80 c INPROCESSING
397.69/398.80 c GARBAGE COLLECT
397.69/398.80 c #Conflicts: 158000 | #Constraints: 35601
397.69/398.80 c #Conflicts: 159000 | #Constraints: 36601
397.69/398.80 c #Conflicts: 160000 | #Constraints: 37601
397.69/398.80 c #Conflicts: 161000 | #Constraints: 38601
397.69/398.80 c #Conflicts: 162000 | #Constraints: 39601
397.69/398.80 c #Conflicts: 163000 | #Constraints: 40601
397.69/398.80 c #Conflicts: 164000 | #Constraints: 41601
397.69/398.80 c #Conflicts: 165000 | #Constraints: 42601
397.69/398.80 c #Conflicts: 166000 | #Constraints: 43601
397.69/398.80 c #Conflicts: 167000 | #Constraints: 44601
397.69/398.80 c #Conflicts: 168000 | #Constraints: 45601
397.69/398.80 c INPROCESSING
397.69/398.80 c GARBAGE COLLECT
397.69/398.80 c #Conflicts: 169000 | #Constraints: 32267
397.69/398.80 c #Conflicts: 170000 | #Constraints: 33267
397.69/398.80 c #Conflicts: 171000 | #Constraints: 34267
397.69/398.80 c #Conflicts: 172000 | #Constraints: 35267
397.69/398.80 c #Conflicts: 173000 | #Constraints: 36267
397.69/398.80 c #Conflicts: 174000 | #Constraints: 37267
397.69/398.80 c #Conflicts: 175000 | #Constraints: 38267
397.69/398.80 c #Conflicts: 176000 | #Constraints: 39267
397.69/398.80 c #Conflicts: 177000 | #Constraints: 40267
397.69/398.80 c #Conflicts: 178000 | #Constraints: 41267
397.69/398.80 c INPROCESSING
397.69/398.80 c GARBAGE COLLECT
397.69/398.80 c #Conflicts: 179000 | #Constraints: 30747
397.69/398.80 c #Conflicts: 180000 | #Constraints: 31747
397.69/398.80 c #Conflicts: 181000 | #Constraints: 32747
397.69/398.80 c #Conflicts: 182000 | #Constraints: 33747
397.69/398.80 c #Conflicts: 183000 | #Constraints: 34747
397.69/398.80 c #Conflicts: 184000 | #Constraints: 35747
397.69/398.80 c #Conflicts: 185000 | #Constraints: 36747
397.69/398.80 c #Conflicts: 186000 | #Constraints: 37747
397.69/398.80 c #Conflicts: 187000 | #Constraints: 38747
397.69/398.80 c #Conflicts: 188000 | #Constraints: 39747
397.69/398.80 c #Conflicts: 189000 | #Constraints: 40747
397.69/398.80 c #Conflicts: 190000 | #Constraints: 41747
397.69/398.80 c #Conflicts: 191000 | #Constraints: 42747
397.69/398.80 c #Conflicts: 192000 | #Constraints: 43747
397.69/398.80 c #Conflicts: 193000 | #Constraints: 44747
397.69/398.80 c #Conflicts: 194000 | #Constraints: 45747
397.69/398.80 c #Conflicts: 195000 | #Constraints: 46747
397.69/398.80 c #Conflicts: 196000 | #Constraints: 47747
397.69/398.80 c #Conflicts: 197000 | #Constraints: 48747
397.69/398.80 c #Conflicts: 198000 | #Constraints: 49747
397.69/398.80 c #Conflicts: 199000 | #Constraints: 50747
397.69/398.80 c #Conflicts: 200000 | #Constraints: 51747
397.69/398.80 c #Conflicts: 201000 | #Constraints: 52747
397.69/398.80 c #Conflicts: 202000 | #Constraints: 53747
397.69/398.80 c #Conflicts: 203000 | #Constraints: 54747
397.69/398.80 c #Conflicts: 204000 | #Constraints: 55747
397.69/398.80 c #Conflicts: 205000 | #Constraints: 56747
397.69/398.80 c #Conflicts: 206000 | #Constraints: 57747
397.69/398.80 c #Conflicts: 207000 | #Constraints: 58747
397.69/398.80 c #Conflicts: 208000 | #Constraints: 59747
397.69/398.80 c #Conflicts: 209000 | #Constraints: 60747
397.69/398.80 c INPROCESSING
397.69/398.80 c GARBAGE COLLECT
397.69/398.80 c #Conflicts: 210000 | #Constraints: 39813
397.69/398.80 c #Conflicts: 211000 | #Constraints: 40813
397.69/398.80 c #Conflicts: 212000 | #Constraints: 41813
397.69/398.80 c #Conflicts: 213000 | #Constraints: 42813
397.69/398.80 c #Conflicts: 214000 | #Constraints: 43813
397.69/398.80 c #Conflicts: 215000 | #Constraints: 44813
397.69/398.80 c #Conflicts: 216000 | #Constraints: 45813
397.69/398.80 c #Conflicts: 217000 | #Constraints: 46813
397.69/398.80 c #Conflicts: 218000 | #Constraints: 47813
397.69/398.80 c #Conflicts: 219000 | #Constraints: 48813
397.69/398.80 c #Conflicts: 220000 | #Constraints: 49813
397.69/398.80 c INPROCESSING
397.69/398.80 c GARBAGE COLLECT
397.69/398.80 c rational objective 134
555.16/556.71 c #Conflicts: 221000 | #Constraints: 33890
555.16/556.71 c #Conflicts: 222000 | #Constraints: 34890
555.16/556.71 c #Conflicts: 223000 | #Constraints: 35890
555.16/556.71 c #Conflicts: 224000 | #Constraints: 36890
555.16/556.71 c #Conflicts: 225000 | #Constraints: 37890
555.16/556.71 c #Conflicts: 226000 | #Constraints: 38890
555.16/556.71 c #Conflicts: 227000 | #Constraints: 39890
555.16/556.71 c #Conflicts: 228000 | #Constraints: 40890
555.16/556.71 c #Conflicts: 229000 | #Constraints: 41890
555.16/556.71 c #Conflicts: 230000 | #Constraints: 42890
555.16/556.71 c #Conflicts: 231000 | #Constraints: 43890
555.16/556.71 c #Conflicts: 232000 | #Constraints: 44890
555.16/556.71 c INPROCESSING
555.16/556.71 c GARBAGE COLLECT
555.16/556.71 c #Conflicts: 233000 | #Constraints: 32367
555.16/556.71 c #Conflicts: 234000 | #Constraints: 33367
555.16/556.71 c #Conflicts: 235000 | #Constraints: 34367
555.16/556.71 c #Conflicts: 236000 | #Constraints: 35367
555.16/556.71 c #Conflicts: 237000 | #Constraints: 36367
555.16/556.71 c #Conflicts: 238000 | #Constraints: 37367
555.16/556.71 c #Conflicts: 239000 | #Constraints: 38367
555.16/556.71 c #Conflicts: 240000 | #Constraints: 39367
555.16/556.71 c #Conflicts: 241000 | #Constraints: 40367
555.16/556.71 c #Conflicts: 242000 | #Constraints: 41367
555.16/556.71 c #Conflicts: 243000 | #Constraints: 42367
555.16/556.71 c #Conflicts: 244000 | #Constraints: 43367
555.16/556.71 c #Conflicts: 245000 | #Constraints: 44367
555.16/556.71 c #Conflicts: 246000 | #Constraints: 45367
555.16/556.71 c #Conflicts: 247000 | #Constraints: 46367
555.16/556.71 c #Conflicts: 248000 | #Constraints: 47367
555.16/556.71 c #Conflicts: 249000 | #Constraints: 48367
555.16/556.71 c #Conflicts: 250000 | #Constraints: 49367
555.16/556.71 c #Conflicts: 251000 | #Constraints: 50368
555.16/556.71 c #Conflicts: 252000 | #Constraints: 51368
555.16/556.71 c #Conflicts: 253000 | #Constraints: 52368
555.16/556.71 c #Conflicts: 254000 | #Constraints: 53368
555.16/556.71 c #Conflicts: 255000 | #Constraints: 54368
555.16/556.71 c #Conflicts: 256000 | #Constraints: 55368
555.16/556.71 c #Conflicts: 257000 | #Constraints: 56368
555.16/556.71 c #Conflicts: 258000 | #Constraints: 57368
555.16/556.71 c #Conflicts: 259000 | #Constraints: 58368
555.16/556.71 c #Conflicts: 260000 | #Constraints: 59368
555.16/556.71 c #Conflicts: 261000 | #Constraints: 60368
555.16/556.71 c #Conflicts: 262000 | #Constraints: 61368
555.16/556.71 c #Conflicts: 263000 | #Constraints: 62368
555.16/556.71 c #Conflicts: 264000 | #Constraints: 63368
555.16/556.71 c #Conflicts: 265000 | #Constraints: 64368
555.16/556.71 c #Conflicts: 266000 | #Constraints: 65368
555.16/556.71 c #Conflicts: 267000 | #Constraints: 66368
555.16/556.71 c INPROCESSING
555.16/556.71 c GARBAGE COLLECT
555.16/556.71 c #Conflicts: 268000 | #Constraints: 42323
555.16/556.71 c #Conflicts: 269000 | #Constraints: 43323
555.16/556.71 c #Conflicts: 270000 | #Constraints: 44323
555.16/556.71 c #Conflicts: 271000 | #Constraints: 45323
555.16/556.71 c #Conflicts: 272000 | #Constraints: 46323
555.16/556.71 c #Conflicts: 273000 | #Constraints: 47323
555.16/556.71 c #Conflicts: 274000 | #Constraints: 48323
555.16/556.71 c #Conflicts: 275000 | #Constraints: 49323
555.16/556.71 c #Conflicts: 276000 | #Constraints: 50323
555.16/556.71 c #Conflicts: 277000 | #Constraints: 51323
555.16/556.71 c #Conflicts: 278000 | #Constraints: 52323
555.16/556.71 c #Conflicts: 279000 | #Constraints: 53323
555.16/556.71 c #Conflicts: 280000 | #Constraints: 54323
555.16/556.71 c INPROCESSING
555.16/556.71 c GARBAGE COLLECT
555.16/556.71 c #Conflicts: 281000 | #Constraints: 36326
555.16/556.71 c #Conflicts: 282000 | #Constraints: 37326
555.16/556.71 c #Conflicts: 283000 | #Constraints: 38326
555.16/556.71 c #Conflicts: 284000 | #Constraints: 39326
555.16/556.71 c #Conflicts: 285000 | #Constraints: 40326
555.16/556.71 c #Conflicts: 286000 | #Constraints: 41326
555.16/556.71 c #Conflicts: 287000 | #Constraints: 42326
555.16/556.71 c #Conflicts: 288000 | #Constraints: 43326
555.16/556.71 c #Conflicts: 289000 | #Constraints: 44326
555.16/556.71 c #Conflicts: 290000 | #Constraints: 45326
555.16/556.71 c #Conflicts: 291000 | #Constraints: 46326
555.16/556.71 c #Conflicts: 292000 | #Constraints: 47326
555.16/556.71 c #Conflicts: 293000 | #Constraints: 48326
555.16/556.71 c #Conflicts: 294000 | #Constraints: 49326
555.16/556.71 c INPROCESSING
555.16/556.71 c GARBAGE COLLECT
555.16/556.71 c #Conflicts: 295000 | #Constraints: 35741
555.16/556.71 c #Conflicts: 296000 | #Constraints: 36741
555.16/556.71 c #Conflicts: 297000 | #Constraints: 37741
704.15/706.13 c #Conflicts: 298000 | #Constraints: 38741
704.15/706.13 c #Conflicts: 299000 | #Constraints: 39741
704.15/706.13 c #Conflicts: 300000 | #Constraints: 40741
704.15/706.13 c #Conflicts: 301000 | #Constraints: 41741
704.15/706.13 c #Conflicts: 302000 | #Constraints: 42741
704.15/706.13 c #Conflicts: 303000 | #Constraints: 43741
704.15/706.13 c #Conflicts: 304000 | #Constraints: 44741
704.15/706.13 c #Conflicts: 305000 | #Constraints: 45741
704.15/706.13 c #Conflicts: 306000 | #Constraints: 46741
704.15/706.13 c #Conflicts: 307000 | #Constraints: 47741
704.15/706.13 c #Conflicts: 308000 | #Constraints: 48741
704.15/706.13 c #Conflicts: 309000 | #Constraints: 49741
704.15/706.13 c #Conflicts: 310000 | #Constraints: 50741
704.15/706.13 c #Conflicts: 311000 | #Constraints: 51741
704.15/706.13 c #Conflicts: 312000 | #Constraints: 52741
704.15/706.13 c #Conflicts: 313000 | #Constraints: 53741
704.15/706.13 c #Conflicts: 314000 | #Constraints: 54741
704.15/706.13 c #Conflicts: 315000 | #Constraints: 55741
704.15/706.13 c #Conflicts: 316000 | #Constraints: 56741
704.15/706.13 c #Conflicts: 317000 | #Constraints: 57741
704.15/706.13 c #Conflicts: 318000 | #Constraints: 58741
704.15/706.13 c #Conflicts: 319000 | #Constraints: 59741
704.15/706.13 c #Conflicts: 320000 | #Constraints: 60741
704.15/706.13 c #Conflicts: 321000 | #Constraints: 61741
704.15/706.13 c #Conflicts: 322000 | #Constraints: 62741
704.15/706.13 c #Conflicts: 323000 | #Constraints: 63741
704.15/706.13 c #Conflicts: 324000 | #Constraints: 64741
704.15/706.13 c #Conflicts: 325000 | #Constraints: 65741
704.15/706.13 c #Conflicts: 326000 | #Constraints: 66741
704.15/706.13 c #Conflicts: 327000 | #Constraints: 67741
704.15/706.13 c #Conflicts: 328000 | #Constraints: 68741
704.15/706.13 c #Conflicts: 329000 | #Constraints: 69741
704.15/706.13 c #Conflicts: 330000 | #Constraints: 70741
704.15/706.13 c #Conflicts: 331000 | #Constraints: 71741
704.15/706.13 c #Conflicts: 332000 | #Constraints: 72741
704.15/706.13 c #Conflicts: 333000 | #Constraints: 73741
704.15/706.13 c INPROCESSING
704.15/706.13 c GARBAGE COLLECT
704.15/706.13 c #Conflicts: 334000 | #Constraints: 46401
704.15/706.13 c #Conflicts: 335000 | #Constraints: 47401
704.15/706.13 c #Conflicts: 336000 | #Constraints: 48401
704.15/706.13 c #Conflicts: 337000 | #Constraints: 49401
704.15/706.13 c #Conflicts: 338000 | #Constraints: 50401
704.15/706.13 c #Conflicts: 339000 | #Constraints: 51401
704.15/706.13 c #Conflicts: 340000 | #Constraints: 52401
704.15/706.13 c #Conflicts: 341000 | #Constraints: 53401
704.15/706.13 c #Conflicts: 342000 | #Constraints: 54401
704.15/706.13 c #Conflicts: 343000 | #Constraints: 55401
704.15/706.13 c #Conflicts: 344000 | #Constraints: 56401
704.15/706.13 c #Conflicts: 345000 | #Constraints: 57401
704.15/706.13 c #Conflicts: 346000 | #Constraints: 58401
704.15/706.13 c #Conflicts: 347000 | #Constraints: 59401
704.15/706.13 c #Conflicts: 348000 | #Constraints: 60401
704.15/706.13 c INPROCESSING
704.15/706.13 c GARBAGE COLLECT
704.15/706.13 c #Conflicts: 349000 | #Constraints: 39869
704.15/706.13 c #Conflicts: 350000 | #Constraints: 40869
704.15/706.13 c #Conflicts: 351000 | #Constraints: 41869
704.15/706.13 c #Conflicts: 352000 | #Constraints: 42869
704.15/706.13 c #Conflicts: 353000 | #Constraints: 43869
704.15/706.13 c #Conflicts: 354000 | #Constraints: 44869
704.15/706.13 c #Conflicts: 355000 | #Constraints: 45869
704.15/706.13 c #Conflicts: 356000 | #Constraints: 46869
704.15/706.13 c #Conflicts: 357000 | #Constraints: 47869
704.15/706.13 c #Conflicts: 358000 | #Constraints: 48869
704.15/706.13 c #Conflicts: 359000 | #Constraints: 49869
704.15/706.13 c #Conflicts: 360000 | #Constraints: 50869
704.15/706.13 c #Conflicts: 361000 | #Constraints: 51869
704.15/706.13 c #Conflicts: 362000 | #Constraints: 52869
704.15/706.13 c #Conflicts: 363000 | #Constraints: 53869
704.15/706.13 c INPROCESSING
704.15/706.13 c GARBAGE COLLECT
704.15/706.13 c #Conflicts: 364000 | #Constraints: 38763
704.15/706.13 c #Conflicts: 365000 | #Constraints: 39763
704.15/706.13 c #Conflicts: 366000 | #Constraints: 40763
704.15/706.13 c #Conflicts: 367000 | #Constraints: 41763
704.15/706.13 c #Conflicts: 368000 | #Constraints: 42763
704.15/706.13 c #Conflicts: 369000 | #Constraints: 43763
704.15/706.13 c #Conflicts: 370000 | #Constraints: 44763
704.15/706.13 c #Conflicts: 371000 | #Constraints: 45763
704.15/706.13 c #Conflicts: 372000 | #Constraints: 46763
704.15/706.13 c #Conflicts: 373000 | #Constraints: 47763
704.15/706.13 c #Conflicts: 374000 | #Constraints: 48763
922.64/925.21 c #Conflicts: 375000 | #Constraints: 49763
922.64/925.21 c #Conflicts: 376000 | #Constraints: 50763
922.64/925.21 c #Conflicts: 377000 | #Constraints: 51763
922.64/925.21 c #Conflicts: 378000 | #Constraints: 52763
922.64/925.21 c #Conflicts: 379000 | #Constraints: 53763
922.64/925.21 c #Conflicts: 380000 | #Constraints: 54763
922.64/925.21 c #Conflicts: 381000 | #Constraints: 55763
922.64/925.21 c #Conflicts: 382000 | #Constraints: 56763
922.64/925.21 c #Conflicts: 383000 | #Constraints: 57763
922.64/925.21 c #Conflicts: 384000 | #Constraints: 58763
922.64/925.21 c #Conflicts: 385000 | #Constraints: 59763
922.64/925.21 c #Conflicts: 386000 | #Constraints: 60763
922.64/925.21 c #Conflicts: 387000 | #Constraints: 61763
922.64/925.21 c #Conflicts: 388000 | #Constraints: 62763
922.64/925.21 c #Conflicts: 389000 | #Constraints: 63763
922.64/925.21 c #Conflicts: 390000 | #Constraints: 64763
922.64/925.21 c #Conflicts: 391000 | #Constraints: 65763
922.64/925.21 c #Conflicts: 392000 | #Constraints: 66763
922.64/925.21 c #Conflicts: 393000 | #Constraints: 67763
922.64/925.21 c #Conflicts: 394000 | #Constraints: 68763
922.64/925.21 c #Conflicts: 395000 | #Constraints: 69763
922.64/925.21 c #Conflicts: 396000 | #Constraints: 70763
922.64/925.21 c #Conflicts: 397000 | #Constraints: 71763
922.64/925.21 c #Conflicts: 398000 | #Constraints: 72763
922.64/925.21 c #Conflicts: 399000 | #Constraints: 73763
922.64/925.21 c #Conflicts: 400000 | #Constraints: 74763
922.64/925.21 c #Conflicts: 401000 | #Constraints: 75763
922.64/925.21 c #Conflicts: 402000 | #Constraints: 76763
922.64/925.21 c #Conflicts: 403000 | #Constraints: 77763
922.64/925.21 c #Conflicts: 404000 | #Constraints: 78763
922.64/925.21 c #Conflicts: 405000 | #Constraints: 79763
922.64/925.21 c #Conflicts: 406000 | #Constraints: 80763
922.64/925.21 c INPROCESSING
922.64/925.21 c GARBAGE COLLECT
922.64/925.21 c #Conflicts: 407000 | #Constraints: 49890
922.64/925.21 c #Conflicts: 408000 | #Constraints: 50890
922.64/925.21 c #Conflicts: 409000 | #Constraints: 51890
922.64/925.21 c #Conflicts: 410000 | #Constraints: 52890
922.64/925.21 c #Conflicts: 411000 | #Constraints: 53890
922.64/925.21 c #Conflicts: 412000 | #Constraints: 54890
922.64/925.21 c #Conflicts: 413000 | #Constraints: 55890
922.64/925.21 c #Conflicts: 414000 | #Constraints: 56890
922.64/925.21 c #Conflicts: 415000 | #Constraints: 57890
922.64/925.21 c #Conflicts: 416000 | #Constraints: 58890
922.64/925.21 c #Conflicts: 417000 | #Constraints: 59890
922.64/925.21 c #Conflicts: 418000 | #Constraints: 60890
922.64/925.21 c #Conflicts: 419000 | #Constraints: 61890
922.64/925.21 c #Conflicts: 420000 | #Constraints: 62890
922.64/925.21 c #Conflicts: 421000 | #Constraints: 63890
922.64/925.21 c #Conflicts: 422000 | #Constraints: 64890
922.64/925.21 c INPROCESSING
922.64/925.21 c GARBAGE COLLECT
922.64/925.21 c #Conflicts: 423000 | #Constraints: 41937
922.64/925.21 c #Conflicts: 424000 | #Constraints: 42937
922.64/925.21 c #Conflicts: 425000 | #Constraints: 43937
922.64/925.21 c #Conflicts: 426000 | #Constraints: 44937
922.64/925.21 c #Conflicts: 427000 | #Constraints: 45937
922.64/925.21 c #Conflicts: 428000 | #Constraints: 46937
922.64/925.21 c #Conflicts: 429000 | #Constraints: 47937
922.64/925.21 c #Conflicts: 430000 | #Constraints: 48937
922.64/925.21 c #Conflicts: 431000 | #Constraints: 49937
922.64/925.21 c #Conflicts: 432000 | #Constraints: 50937
922.64/925.21 c #Conflicts: 433000 | #Constraints: 51937
922.64/925.21 c #Conflicts: 434000 | #Constraints: 52937
922.64/925.21 c #Conflicts: 435000 | #Constraints: 53937
922.64/925.21 c #Conflicts: 436000 | #Constraints: 54937
922.64/925.21 c #Conflicts: 437000 | #Constraints: 55937
922.64/925.21 c #Conflicts: 438000 | #Constraints: 56937
922.64/925.21 c INPROCESSING
922.64/925.21 c GARBAGE COLLECT
922.64/925.21 c #Conflicts: 439000 | #Constraints: 40565
922.64/925.21 c #Conflicts: 440000 | #Constraints: 41565
922.64/925.21 c #Conflicts: 441000 | #Constraints: 42566
922.64/925.21 c #Conflicts: 442000 | #Constraints: 43566
922.64/925.21 c #Conflicts: 443000 | #Constraints: 44566
922.64/925.21 c #Conflicts: 444000 | #Constraints: 45566
922.64/925.21 c #Conflicts: 445000 | #Constraints: 46566
922.64/925.21 c #Conflicts: 446000 | #Constraints: 47566
922.64/925.21 c #Conflicts: 447000 | #Constraints: 48566
922.64/925.21 c #Conflicts: 448000 | #Constraints: 49566
922.64/925.21 c #Conflicts: 449000 | #Constraints: 50566
922.64/925.21 c #Conflicts: 450000 | #Constraints: 51566
1359.40/1363.28 c #Conflicts: 451000 | #Constraints: 52566
1359.40/1363.28 c #Conflicts: 452000 | #Constraints: 53566
1359.40/1363.28 c #Conflicts: 453000 | #Constraints: 54566
1359.40/1363.28 c #Conflicts: 454000 | #Constraints: 55566
1359.40/1363.28 c #Conflicts: 455000 | #Constraints: 56566
1359.40/1363.28 c #Conflicts: 456000 | #Constraints: 57566
1359.40/1363.28 c #Conflicts: 457000 | #Constraints: 58566
1359.40/1363.28 c #Conflicts: 458000 | #Constraints: 59566
1359.40/1363.28 c #Conflicts: 459000 | #Constraints: 60566
1359.40/1363.28 c #Conflicts: 460000 | #Constraints: 61566
1359.40/1363.28 c #Conflicts: 461000 | #Constraints: 62566
1359.40/1363.28 c #Conflicts: 462000 | #Constraints: 63566
1359.40/1363.28 c #Conflicts: 463000 | #Constraints: 64566
1359.40/1363.28 c #Conflicts: 464000 | #Constraints: 65566
1359.40/1363.28 c #Conflicts: 465000 | #Constraints: 66566
1359.40/1363.28 c #Conflicts: 466000 | #Constraints: 67566
1359.40/1363.28 c #Conflicts: 467000 | #Constraints: 68566
1359.40/1363.28 c #Conflicts: 468000 | #Constraints: 69566
1359.40/1363.28 c #Conflicts: 469000 | #Constraints: 70566
1359.40/1363.28 c #Conflicts: 470000 | #Constraints: 71566
1359.40/1363.28 c #Conflicts: 471000 | #Constraints: 72566
1359.40/1363.28 c #Conflicts: 472000 | #Constraints: 73566
1359.40/1363.28 c #Conflicts: 473000 | #Constraints: 74566
1359.40/1363.28 c #Conflicts: 474000 | #Constraints: 75566
1359.40/1363.28 c #Conflicts: 475000 | #Constraints: 76566
1359.40/1363.28 c #Conflicts: 476000 | #Constraints: 77566
1359.40/1363.28 c #Conflicts: 477000 | #Constraints: 78566
1359.40/1363.28 c #Conflicts: 478000 | #Constraints: 79566
1359.40/1363.28 c #Conflicts: 479000 | #Constraints: 80566
1359.40/1363.28 c #Conflicts: 480000 | #Constraints: 81566
1359.40/1363.28 c #Conflicts: 481000 | #Constraints: 82566
1359.40/1363.28 c #Conflicts: 482000 | #Constraints: 83566
1359.40/1363.28 c #Conflicts: 483000 | #Constraints: 84566
1359.40/1363.28 c #Conflicts: 484000 | #Constraints: 85566
1359.40/1363.28 c #Conflicts: 485000 | #Constraints: 86566
1359.40/1363.28 c #Conflicts: 486000 | #Constraints: 87566
1359.40/1363.28 c INPROCESSING
1359.40/1363.28 c GARBAGE COLLECT
1359.40/1363.28 c #Conflicts: 487000 | #Constraints: 53413
1359.40/1363.28 c #Conflicts: 488000 | #Constraints: 54413
1359.40/1363.28 c #Conflicts: 489000 | #Constraints: 55413
1359.40/1363.28 c #Conflicts: 490000 | #Constraints: 56413
1359.40/1363.28 c #Conflicts: 491000 | #Constraints: 57413
1359.40/1363.28 c #Conflicts: 492000 | #Constraints: 58413
1359.40/1363.28 c #Conflicts: 493000 | #Constraints: 59413
1359.40/1363.28 c #Conflicts: 494000 | #Constraints: 60413
1359.40/1363.28 c #Conflicts: 495000 | #Constraints: 61413
1359.40/1363.28 c #Conflicts: 496000 | #Constraints: 62413
1359.40/1363.28 c #Conflicts: 497000 | #Constraints: 63413
1359.40/1363.28 c #Conflicts: 498000 | #Constraints: 64413
1359.40/1363.28 c #Conflicts: 499000 | #Constraints: 65413
1359.40/1363.28 c #Conflicts: 500000 | #Constraints: 66413
1359.40/1363.28 c #Conflicts: 501000 | #Constraints: 67413
1359.40/1363.28 c #Conflicts: 502000 | #Constraints: 68413
1359.40/1363.28 c #Conflicts: 503000 | #Constraints: 69413
1359.40/1363.28 c #Conflicts: 504000 | #Constraints: 70413
1359.40/1363.28 c INPROCESSING
1359.40/1363.28 c GARBAGE COLLECT
1359.40/1363.28 c #Conflicts: 505000 | #Constraints: 44976
1359.40/1363.28 c #Conflicts: 506000 | #Constraints: 45976
1359.40/1363.28 c #Conflicts: 507000 | #Constraints: 46976
1359.40/1363.28 c #Conflicts: 508000 | #Constraints: 47976
1359.40/1363.28 c #Conflicts: 509000 | #Constraints: 48976
1359.40/1363.28 c #Conflicts: 510000 | #Constraints: 49976
1359.40/1363.28 c #Conflicts: 511000 | #Constraints: 50976
1359.40/1363.28 c #Conflicts: 512000 | #Constraints: 51976
1359.40/1363.28 c #Conflicts: 513000 | #Constraints: 52976
1359.40/1363.28 c #Conflicts: 514000 | #Constraints: 53976
1359.40/1363.28 c #Conflicts: 515000 | #Constraints: 54976
1359.40/1363.28 c #Conflicts: 516000 | #Constraints: 55976
1359.40/1363.28 c #Conflicts: 517000 | #Constraints: 56976
1359.40/1363.28 c #Conflicts: 518000 | #Constraints: 57976
1359.40/1363.28 c #Conflicts: 519000 | #Constraints: 58976
1359.40/1363.28 c #Conflicts: 520000 | #Constraints: 59976
1359.40/1363.28 c #Conflicts: 521000 | #Constraints: 60976
1359.40/1363.28 c #Conflicts: 522000 | #Constraints: 61976
1359.40/1363.28 c INPROCESSING
1359.40/1363.28 c GARBAGE COLLECT
1359.40/1363.28 c #Conflicts: 523000 | #Constraints: 43079
1359.40/1363.28 c #Conflicts: 524000 | #Constraints: 44079
1359.40/1363.28 c #Conflicts: 525000 | #Constraints: 45079
1359.40/1363.28 c #Conflicts: 526000 | #Constraints: 46079
1359.40/1363.28 c #Conflicts: 527000 | #Constraints: 47079
1606.31/1610.88 c #Conflicts: 528000 | #Constraints: 48079
1606.31/1610.88 c #Conflicts: 529000 | #Constraints: 49079
1606.31/1610.88 c #Conflicts: 530000 | #Constraints: 50079
1606.31/1610.88 c #Conflicts: 531000 | #Constraints: 51079
1606.31/1610.88 c #Conflicts: 532000 | #Constraints: 52079
1606.31/1610.88 c #Conflicts: 533000 | #Constraints: 53079
1606.31/1610.88 c #Conflicts: 534000 | #Constraints: 54079
1606.31/1610.88 c #Conflicts: 535000 | #Constraints: 55079
1606.31/1610.88 c #Conflicts: 536000 | #Constraints: 56079
1606.31/1610.88 c #Conflicts: 537000 | #Constraints: 57079
1606.31/1610.88 c #Conflicts: 538000 | #Constraints: 58079
1606.31/1610.88 c #Conflicts: 539000 | #Constraints: 59079
1606.31/1610.88 c #Conflicts: 540000 | #Constraints: 60079
1606.31/1610.88 c #Conflicts: 541000 | #Constraints: 61079
1606.31/1610.88 c #Conflicts: 542000 | #Constraints: 62079
1606.31/1610.88 c #Conflicts: 543000 | #Constraints: 63079
1606.31/1610.88 c #Conflicts: 544000 | #Constraints: 64079
1606.31/1610.88 c #Conflicts: 545000 | #Constraints: 65079
1606.31/1610.88 c #Conflicts: 546000 | #Constraints: 66079
1606.31/1610.88 c #Conflicts: 547000 | #Constraints: 67079
1606.31/1610.88 c #Conflicts: 548000 | #Constraints: 68079
1606.31/1610.88 c #Conflicts: 549000 | #Constraints: 69079
1606.31/1610.88 c #Conflicts: 550000 | #Constraints: 70079
1606.31/1610.88 c #Conflicts: 551000 | #Constraints: 71079
1606.31/1610.88 c #Conflicts: 552000 | #Constraints: 72079
1606.31/1610.88 c #Conflicts: 553000 | #Constraints: 73079
1606.31/1610.88 c #Conflicts: 554000 | #Constraints: 74079
1606.31/1610.88 c #Conflicts: 555000 | #Constraints: 75079
1606.31/1610.88 c #Conflicts: 556000 | #Constraints: 76079
1606.31/1610.88 c #Conflicts: 557000 | #Constraints: 77079
1606.31/1610.88 c #Conflicts: 558000 | #Constraints: 78079
1606.31/1610.88 c #Conflicts: 559000 | #Constraints: 79079
1606.31/1610.88 c #Conflicts: 560000 | #Constraints: 80079
1606.31/1610.88 c #Conflicts: 561000 | #Constraints: 81079
1606.31/1610.88 c #Conflicts: 562000 | #Constraints: 82079
1606.31/1610.88 c #Conflicts: 563000 | #Constraints: 83079
1606.31/1610.88 c #Conflicts: 564000 | #Constraints: 84079
1606.31/1610.88 c #Conflicts: 565000 | #Constraints: 85079
1606.31/1610.88 c #Conflicts: 566000 | #Constraints: 86079
1606.31/1610.88 c #Conflicts: 567000 | #Constraints: 87079
1606.31/1610.88 c #Conflicts: 568000 | #Constraints: 88079
1606.31/1610.88 c #Conflicts: 569000 | #Constraints: 89079
1606.31/1610.88 c #Conflicts: 570000 | #Constraints: 90079
1606.31/1610.88 c #Conflicts: 571000 | #Constraints: 91079
1606.31/1610.88 c #Conflicts: 572000 | #Constraints: 92079
1606.31/1610.88 c #Conflicts: 573000 | #Constraints: 93079
1606.31/1610.88 c INPROCESSING
1606.31/1610.88 c GARBAGE COLLECT
1606.31/1610.88 c #Conflicts: 574000 | #Constraints: 55950
1606.31/1610.88 c #Conflicts: 575000 | #Constraints: 56950
1606.31/1610.88 c #Conflicts: 576000 | #Constraints: 57950
1606.31/1610.88 c #Conflicts: 577000 | #Constraints: 58950
1606.31/1610.88 c #Conflicts: 578000 | #Constraints: 59950
1606.31/1610.88 c #Conflicts: 579000 | #Constraints: 60950
1606.31/1610.88 c #Conflicts: 580000 | #Constraints: 61951
1606.31/1610.88 c #Conflicts: 581000 | #Constraints: 62951
1606.31/1610.88 c #Conflicts: 582000 | #Constraints: 63951
1606.31/1610.88 c #Conflicts: 583000 | #Constraints: 64951
1606.31/1610.88 c #Conflicts: 584000 | #Constraints: 65951
1606.31/1610.88 c #Conflicts: 585000 | #Constraints: 66951
1606.31/1610.88 c #Conflicts: 586000 | #Constraints: 67951
1606.31/1610.88 c #Conflicts: 587000 | #Constraints: 68951
1606.31/1610.88 c #Conflicts: 588000 | #Constraints: 69951
1606.31/1610.88 c #Conflicts: 589000 | #Constraints: 70951
1606.31/1610.88 c #Conflicts: 590000 | #Constraints: 71951
1606.31/1610.88 c #Conflicts: 591000 | #Constraints: 72951
1606.31/1610.88 c #Conflicts: 592000 | #Constraints: 73951
1606.31/1610.88 c INPROCESSING
1606.31/1610.88 c GARBAGE COLLECT
1606.31/1610.88 c #Conflicts: 593000 | #Constraints: 46264
1606.31/1610.88 c #Conflicts: 594000 | #Constraints: 47264
1606.31/1610.88 c #Conflicts: 595000 | #Constraints: 48264
1606.31/1610.88 c #Conflicts: 596000 | #Constraints: 49264
1606.31/1610.88 c #Conflicts: 597000 | #Constraints: 50264
1606.31/1610.88 c #Conflicts: 598000 | #Constraints: 51264
1606.31/1610.88 c #Conflicts: 599000 | #Constraints: 52264
1606.31/1610.88 c #Conflicts: 600000 | #Constraints: 53264
1606.31/1610.88 c #Conflicts: 601000 | #Constraints: 54264
1606.31/1610.88 c #Conflicts: 602000 | #Constraints: 55264
1606.31/1610.88 c #Conflicts: 603000 | #Constraints: 56264
1606.31/1610.88 c #Conflicts: 604000 | #Constraints: 57264
1606.31/1610.88 c #Conflicts: 605000 | #Constraints: 58264
1805.12/1810.21 c #Conflicts: 606000 | #Constraints: 59264
1805.12/1810.21 c #Conflicts: 607000 | #Constraints: 60264
1805.12/1810.21 c #Conflicts: 608000 | #Constraints: 61264
1805.12/1810.21 c #Conflicts: 609000 | #Constraints: 62264
1805.12/1810.21 c #Conflicts: 610000 | #Constraints: 63264
1805.12/1810.21 c #Conflicts: 611000 | #Constraints: 64264
1805.12/1810.21 c #Conflicts: 612000 | #Constraints: 65264
1805.12/1810.21 c INPROCESSING
1805.12/1810.21 c GARBAGE COLLECT
1805.12/1810.21 c #Conflicts: 613000 | #Constraints: 45309
1805.12/1810.21 c #Conflicts: 614000 | #Constraints: 46309
1805.12/1810.21 c #Conflicts: 615000 | #Constraints: 47309
1805.12/1810.21 c #Conflicts: 616000 | #Constraints: 48309
1805.12/1810.21 c #Conflicts: 617000 | #Constraints: 49309
1805.12/1810.21 c #Conflicts: 618000 | #Constraints: 50309
1805.12/1810.21 c #Conflicts: 619000 | #Constraints: 51309
1805.12/1810.21 c #Conflicts: 620000 | #Constraints: 52309
1805.12/1810.21 c #Conflicts: 621000 | #Constraints: 53309
1805.12/1810.21 c #Conflicts: 622000 | #Constraints: 54309
1805.12/1810.21 c #Conflicts: 623000 | #Constraints: 55309
1805.12/1810.21 c #Conflicts: 624000 | #Constraints: 56309
1805.12/1810.21 c #Conflicts: 625000 | #Constraints: 57309
1805.12/1810.21 c #Conflicts: 626000 | #Constraints: 58309
1805.12/1810.21 c #Conflicts: 627000 | #Constraints: 59309
1805.12/1810.21 c #Conflicts: 628000 | #Constraints: 60309
1805.12/1810.21 c #Conflicts: 629000 | #Constraints: 61309
1805.12/1810.21 c #Conflicts: 630000 | #Constraints: 62309
1805.12/1810.21 c #Conflicts: 631000 | #Constraints: 63309
1805.12/1810.21 c #Conflicts: 632000 | #Constraints: 64309
1805.12/1810.21 c #Conflicts: 633000 | #Constraints: 65309
1805.12/1810.21 c #Conflicts: 634000 | #Constraints: 66309
1805.12/1810.21 c #Conflicts: 635000 | #Constraints: 67309
1805.12/1810.21 c #Conflicts: 636000 | #Constraints: 68309
1805.12/1810.21 c #Conflicts: 637000 | #Constraints: 69309
1805.12/1810.21 c #Conflicts: 638000 | #Constraints: 70309
1805.12/1810.21 c #Conflicts: 639000 | #Constraints: 71309
1805.12/1810.21 c #Conflicts: 640000 | #Constraints: 72309
1805.12/1810.21 c #Conflicts: 641000 | #Constraints: 73309
1805.12/1810.21 c #Conflicts: 642000 | #Constraints: 74309
1805.12/1810.21 c #Conflicts: 643000 | #Constraints: 75309
1805.12/1810.21 c #Conflicts: 644000 | #Constraints: 76309
1805.12/1810.21 c #Conflicts: 645000 | #Constraints: 77309
1805.12/1810.21 c #Conflicts: 646000 | #Constraints: 78309
1805.12/1810.21 c #Conflicts: 647000 | #Constraints: 79309
1805.12/1810.21 c #Conflicts: 648000 | #Constraints: 80309
1805.12/1810.21 c #Conflicts: 649000 | #Constraints: 81309
1805.12/1810.21 c #Conflicts: 650000 | #Constraints: 82309
1805.12/1810.21 c #Conflicts: 651000 | #Constraints: 83309
1805.12/1810.21 c #Conflicts: 652000 | #Constraints: 84309
1805.12/1810.21 c #Conflicts: 653000 | #Constraints: 85309
1805.12/1810.21 c #Conflicts: 654000 | #Constraints: 86309
1805.12/1810.21 c #Conflicts: 655000 | #Constraints: 87309
1805.12/1810.21 c #Conflicts: 656000 | #Constraints: 88309
1805.12/1810.21 c #Conflicts: 657000 | #Constraints: 89309
1805.12/1810.21 c #Conflicts: 658000 | #Constraints: 90309
1805.12/1810.21 c #Conflicts: 659000 | #Constraints: 91309
1805.12/1810.21 c #Conflicts: 660000 | #Constraints: 92309
1805.12/1810.21 c #Conflicts: 661000 | #Constraints: 93309
1805.12/1810.21 c #Conflicts: 662000 | #Constraints: 94309
1805.12/1810.21 c #Conflicts: 663000 | #Constraints: 95309
1805.12/1810.21 c #Conflicts: 664000 | #Constraints: 96309
1805.12/1810.21 c #Conflicts: 665000 | #Constraints: 97309
1805.12/1810.21 c #Conflicts: 666000 | #Constraints: 98309
1805.12/1810.21 c #Conflicts: 667000 | #Constraints: 99309
1805.12/1810.21 c #Conflicts: 668000 | #Constraints: 100309
1805.12/1810.21 c INPROCESSING
1805.12/1810.21 c GARBAGE COLLECT
1805.12/1810.21 c #Conflicts: 669000 | #Constraints: 59825
1805.12/1810.21 c #Conflicts: 670000 | #Constraints: 60825
1805.12/1810.21 c #Conflicts: 671000 | #Constraints: 61825
1805.12/1810.21 c #Conflicts: 672000 | #Constraints: 62825
1805.12/1810.21 c #Conflicts: 673000 | #Constraints: 63825
1805.12/1810.21 c #Conflicts: 674000 | #Constraints: 64825
1805.12/1810.21 c #Conflicts: 675000 | #Constraints: 65825
1805.12/1810.21 c #Conflicts: 676000 | #Constraints: 66825
1805.12/1810.21 c #Conflicts: 677000 | #Constraints: 67825
1805.12/1810.21 c #Conflicts: 678000 | #Constraints: 68825
1805.12/1810.21 c #Conflicts: 679000 | #Constraints: 69825
1805.12/1810.21 c #Conflicts: 680000 | #Constraints: 70825
1805.12/1810.21 c #Conflicts: 681000 | #Constraints: 71825
1805.12/1810.21 c #Conflicts: 682000 | #Constraints: 72825
1969.55/1975.16 c #Conflicts: 683000 | #Constraints: 73825
1969.55/1975.16 c #Conflicts: 684000 | #Constraints: 74825
1969.55/1975.16 c #Conflicts: 685000 | #Constraints: 75825
1969.55/1975.16 c #Conflicts: 686000 | #Constraints: 76825
1969.55/1975.16 c #Conflicts: 687000 | #Constraints: 77825
1969.55/1975.16 c #Conflicts: 688000 | #Constraints: 78825
1969.55/1975.16 c INPROCESSING
1969.55/1975.16 c GARBAGE COLLECT
1969.55/1975.16 c #Conflicts: 689000 | #Constraints: 48847
1969.55/1975.16 c #Conflicts: 690000 | #Constraints: 49847
1969.55/1975.16 c #Conflicts: 691000 | #Constraints: 50847
1969.55/1975.16 c #Conflicts: 692000 | #Constraints: 51847
1969.55/1975.16 c #Conflicts: 693000 | #Constraints: 52847
1969.55/1975.16 c #Conflicts: 694000 | #Constraints: 53847
1969.55/1975.16 c #Conflicts: 695000 | #Constraints: 54847
1969.55/1975.16 c #Conflicts: 696000 | #Constraints: 55847
1969.55/1975.16 c #Conflicts: 697000 | #Constraints: 56847
1969.55/1975.16 c #Conflicts: 698000 | #Constraints: 57847
1969.55/1975.16 c #Conflicts: 699000 | #Constraints: 58847
1969.55/1975.16 c #Conflicts: 700000 | #Constraints: 59847
1969.55/1975.16 c #Conflicts: 701000 | #Constraints: 60847
1969.55/1975.16 c #Conflicts: 702000 | #Constraints: 61847
1969.55/1975.16 c #Conflicts: 703000 | #Constraints: 62847
1969.55/1975.16 c #Conflicts: 704000 | #Constraints: 63847
1969.55/1975.16 c #Conflicts: 705000 | #Constraints: 64847
1969.55/1975.16 c #Conflicts: 706000 | #Constraints: 65847
1969.55/1975.16 c #Conflicts: 707000 | #Constraints: 66847
1969.55/1975.16 c #Conflicts: 708000 | #Constraints: 67847
1969.55/1975.16 c #Conflicts: 709000 | #Constraints: 68847
1969.55/1975.16 c INPROCESSING
1969.55/1975.16 c GARBAGE COLLECT
1969.55/1975.16 c #Conflicts: 710000 | #Constraints: 47487
1969.55/1975.16 c #Conflicts: 711000 | #Constraints: 48487
1969.55/1975.16 c #Conflicts: 712000 | #Constraints: 49487
1969.55/1975.16 c #Conflicts: 713000 | #Constraints: 50487
1969.55/1975.16 c #Conflicts: 714000 | #Constraints: 51487
1969.55/1975.16 c #Conflicts: 715000 | #Constraints: 52487
1969.55/1975.16 c #Conflicts: 716000 | #Constraints: 53487
1969.55/1975.16 c #Conflicts: 717000 | #Constraints: 54487
1969.55/1975.16 c #Conflicts: 718000 | #Constraints: 55487
1969.55/1975.16 c #Conflicts: 719000 | #Constraints: 56487
1969.55/1975.16 c #Conflicts: 720000 | #Constraints: 57487
1969.55/1975.16 c #Conflicts: 721000 | #Constraints: 58487
1969.55/1975.16 c #Conflicts: 722000 | #Constraints: 59487
1969.55/1975.16 c #Conflicts: 723000 | #Constraints: 60487
1969.55/1975.16 c #Conflicts: 724000 | #Constraints: 61487
1969.55/1975.16 c #Conflicts: 725000 | #Constraints: 62487
1969.55/1975.16 c #Conflicts: 726000 | #Constraints: 63487
1969.55/1975.16 c #Conflicts: 727000 | #Constraints: 64487
1969.55/1975.16 c #Conflicts: 728000 | #Constraints: 65487
1969.55/1975.16 c #Conflicts: 729000 | #Constraints: 66487
1969.55/1975.16 c #Conflicts: 730000 | #Constraints: 67487
1969.55/1975.16 c #Conflicts: 731000 | #Constraints: 68487
1969.55/1975.16 c #Conflicts: 732000 | #Constraints: 69487
1969.55/1975.16 c #Conflicts: 733000 | #Constraints: 70487
1969.55/1975.16 c #Conflicts: 734000 | #Constraints: 71487
1969.55/1975.16 c #Conflicts: 735000 | #Constraints: 72487
1969.55/1975.16 c #Conflicts: 736000 | #Constraints: 73487
1969.55/1975.16 c #Conflicts: 737000 | #Constraints: 74487
1969.55/1975.16 c #Conflicts: 738000 | #Constraints: 75487
1969.55/1975.16 c #Conflicts: 739000 | #Constraints: 76487
1969.55/1975.16 c #Conflicts: 740000 | #Constraints: 77487
1969.55/1975.16 c #Conflicts: 741000 | #Constraints: 78487
1969.55/1975.16 c #Conflicts: 742000 | #Constraints: 79487
1969.55/1975.16 c #Conflicts: 743000 | #Constraints: 80487
1969.55/1975.16 c #Conflicts: 744000 | #Constraints: 81487
1969.55/1975.16 c #Conflicts: 745000 | #Constraints: 82487
1969.55/1975.16 c #Conflicts: 746000 | #Constraints: 83487
1969.55/1975.16 c #Conflicts: 747000 | #Constraints: 84487
1969.55/1975.16 c #Conflicts: 748000 | #Constraints: 85487
1969.55/1975.16 c #Conflicts: 749000 | #Constraints: 86487
1969.55/1975.16 c #Conflicts: 750000 | #Constraints: 87487
1969.55/1975.16 c #Conflicts: 751000 | #Constraints: 88487
1969.55/1975.16 c #Conflicts: 752000 | #Constraints: 89487
1969.55/1975.16 c #Conflicts: 753000 | #Constraints: 90487
1969.55/1975.16 c #Conflicts: 754000 | #Constraints: 91487
1969.55/1975.16 c #Conflicts: 755000 | #Constraints: 92487
1969.55/1975.16 c #Conflicts: 756000 | #Constraints: 93487
1969.55/1975.16 c #Conflicts: 757000 | #Constraints: 94487
1969.55/1975.16 c #Conflicts: 758000 | #Constraints: 95487
1969.55/1975.16 c #Conflicts: 759000 | #Constraints: 96487
1969.55/1975.16 c #Conflicts: 760000 | #Constraints: 97487
2132.99/2139.06 c #Conflicts: 761000 | #Constraints: 98487
2132.99/2139.06 c #Conflicts: 762000 | #Constraints: 99487
2132.99/2139.06 c #Conflicts: 763000 | #Constraints: 100487
2132.99/2139.06 c #Conflicts: 764000 | #Constraints: 101487
2132.99/2139.06 c #Conflicts: 765000 | #Constraints: 102487
2132.99/2139.06 c #Conflicts: 766000 | #Constraints: 103487
2132.99/2139.06 c #Conflicts: 767000 | #Constraints: 104487
2132.99/2139.06 c #Conflicts: 768000 | #Constraints: 105487
2132.99/2139.06 c #Conflicts: 769000 | #Constraints: 106487
2132.99/2139.06 c INPROCESSING
2132.99/2139.06 c GARBAGE COLLECT
2132.99/2139.06 c #Conflicts: 770000 | #Constraints: 62592
2132.99/2139.06 c #Conflicts: 771000 | #Constraints: 63592
2132.99/2139.06 c #Conflicts: 772000 | #Constraints: 64592
2132.99/2139.06 c #Conflicts: 773000 | #Constraints: 65592
2132.99/2139.06 c #Conflicts: 774000 | #Constraints: 66592
2132.99/2139.06 c #Conflicts: 775000 | #Constraints: 67592
2132.99/2139.06 c #Conflicts: 776000 | #Constraints: 68592
2132.99/2139.06 c #Conflicts: 777000 | #Constraints: 69592
2132.99/2139.06 c #Conflicts: 778000 | #Constraints: 70592
2132.99/2139.06 c #Conflicts: 779000 | #Constraints: 71592
2132.99/2139.06 c #Conflicts: 780000 | #Constraints: 72593
2132.99/2139.06 c #Conflicts: 781000 | #Constraints: 73593
2132.99/2139.06 c #Conflicts: 782000 | #Constraints: 74593
2132.99/2139.06 c #Conflicts: 783000 | #Constraints: 75593
2132.99/2139.06 c #Conflicts: 784000 | #Constraints: 76593
2132.99/2139.06 c #Conflicts: 785000 | #Constraints: 77593
2132.99/2139.06 c #Conflicts: 786000 | #Constraints: 78593
2132.99/2139.06 c #Conflicts: 787000 | #Constraints: 79593
2132.99/2139.06 c #Conflicts: 788000 | #Constraints: 80593
2132.99/2139.06 c #Conflicts: 789000 | #Constraints: 81593
2132.99/2139.06 c #Conflicts: 790000 | #Constraints: 82593
2132.99/2139.06 c #Conflicts: 791000 | #Constraints: 83593
2132.99/2139.06 c #Conflicts: 792000 | #Constraints: 84593
2132.99/2139.06 c INPROCESSING
2132.99/2139.06 c GARBAGE COLLECT
2132.99/2139.06 c #Conflicts: 793000 | #Constraints: 52187
2132.99/2139.06 c #Conflicts: 794000 | #Constraints: 53187
2132.99/2139.06 c #Conflicts: 795000 | #Constraints: 54187
2132.99/2139.06 c #Conflicts: 796000 | #Constraints: 55187
2132.99/2139.06 c #Conflicts: 797000 | #Constraints: 56187
2132.99/2139.06 c #Conflicts: 798000 | #Constraints: 57187
2132.99/2139.06 c #Conflicts: 799000 | #Constraints: 58187
2132.99/2139.06 c #Conflicts: 800000 | #Constraints: 59187
2132.99/2139.06 c #Conflicts: 801000 | #Constraints: 60187
2132.99/2139.06 c #Conflicts: 802000 | #Constraints: 61187
2132.99/2139.06 c #Conflicts: 803000 | #Constraints: 62187
2132.99/2139.06 c #Conflicts: 804000 | #Constraints: 63187
2132.99/2139.06 c #Conflicts: 805000 | #Constraints: 64187
2132.99/2139.06 c #Conflicts: 806000 | #Constraints: 65187
2132.99/2139.06 c #Conflicts: 807000 | #Constraints: 66187
2132.99/2139.06 c #Conflicts: 808000 | #Constraints: 67187
2132.99/2139.06 c #Conflicts: 809000 | #Constraints: 68187
2132.99/2139.06 c #Conflicts: 810000 | #Constraints: 69187
2132.99/2139.06 c #Conflicts: 811000 | #Constraints: 70187
2132.99/2139.06 c #Conflicts: 812000 | #Constraints: 71187
2132.99/2139.06 c #Conflicts: 813000 | #Constraints: 72187
2132.99/2139.06 c #Conflicts: 814000 | #Constraints: 73187
2132.99/2139.06 c INPROCESSING
2132.99/2139.06 c GARBAGE COLLECT
2132.99/2139.06 c #Conflicts: 815000 | #Constraints: 50267
2132.99/2139.06 c #Conflicts: 816000 | #Constraints: 51267
2132.99/2139.06 c #Conflicts: 817000 | #Constraints: 52268
2132.99/2139.06 c #Conflicts: 818000 | #Constraints: 53268
2132.99/2139.06 c #Conflicts: 819000 | #Constraints: 54268
2132.99/2139.06 c #Conflicts: 820000 | #Constraints: 55268
2132.99/2139.06 c #Conflicts: 821000 | #Constraints: 56268
2132.99/2139.06 c #Conflicts: 822000 | #Constraints: 57268
2132.99/2139.06 c #Conflicts: 823000 | #Constraints: 58268
2132.99/2139.06 c #Conflicts: 824000 | #Constraints: 59268
2132.99/2139.06 c #Conflicts: 825000 | #Constraints: 60268
2132.99/2139.06 c #Conflicts: 826000 | #Constraints: 61268
2132.99/2139.06 c #Conflicts: 827000 | #Constraints: 62268
2132.99/2139.06 c #Conflicts: 828000 | #Constraints: 63268
2132.99/2139.06 c #Conflicts: 829000 | #Constraints: 64268
2132.99/2139.06 c #Conflicts: 830000 | #Constraints: 65268
2132.99/2139.06 c #Conflicts: 831000 | #Constraints: 66268
2132.99/2139.06 c #Conflicts: 832000 | #Constraints: 67268
2132.99/2139.06 c #Conflicts: 833000 | #Constraints: 68268
2132.99/2139.06 c #Conflicts: 834000 | #Constraints: 69268
2132.99/2139.06 c #Conflicts: 835000 | #Constraints: 70268
2132.99/2139.06 c #Conflicts: 836000 | #Constraints: 71268
2132.99/2139.06 c #Conflicts: 837000 | #Constraints: 72268
2326.17/2332.73 c #Conflicts: 838000 | #Constraints: 73268
2326.17/2332.73 c #Conflicts: 839000 | #Constraints: 74268
2326.17/2332.73 c #Conflicts: 840000 | #Constraints: 75268
2326.17/2332.73 c #Conflicts: 841000 | #Constraints: 76268
2326.17/2332.73 c #Conflicts: 842000 | #Constraints: 77268
2326.17/2332.73 c #Conflicts: 843000 | #Constraints: 78268
2326.17/2332.73 c #Conflicts: 844000 | #Constraints: 79268
2326.17/2332.73 c #Conflicts: 845000 | #Constraints: 80268
2326.17/2332.73 c #Conflicts: 846000 | #Constraints: 81268
2326.17/2332.73 c #Conflicts: 847000 | #Constraints: 82268
2326.17/2332.73 c #Conflicts: 848000 | #Constraints: 83268
2326.17/2332.73 c #Conflicts: 849000 | #Constraints: 84268
2326.17/2332.73 c #Conflicts: 850000 | #Constraints: 85268
2326.17/2332.73 c #Conflicts: 851000 | #Constraints: 86268
2326.17/2332.73 c #Conflicts: 852000 | #Constraints: 87268
2326.17/2332.73 c #Conflicts: 853000 | #Constraints: 88268
2326.17/2332.73 c #Conflicts: 854000 | #Constraints: 89268
2326.17/2332.73 c #Conflicts: 855000 | #Constraints: 90268
2326.17/2332.73 c #Conflicts: 856000 | #Constraints: 91268
2326.17/2332.73 c #Conflicts: 857000 | #Constraints: 92268
2326.17/2332.73 c #Conflicts: 858000 | #Constraints: 93268
2326.17/2332.73 c #Conflicts: 859000 | #Constraints: 94268
2326.17/2332.73 c #Conflicts: 860000 | #Constraints: 95268
2326.17/2332.73 c #Conflicts: 861000 | #Constraints: 96268
2326.17/2332.73 c #Conflicts: 862000 | #Constraints: 97268
2326.17/2332.73 c #Conflicts: 863000 | #Constraints: 98268
2326.17/2332.73 c #Conflicts: 864000 | #Constraints: 99268
2326.17/2332.73 c #Conflicts: 865000 | #Constraints: 100268
2326.17/2332.73 c #Conflicts: 866000 | #Constraints: 101268
2326.17/2332.73 c #Conflicts: 867000 | #Constraints: 102268
2326.17/2332.73 c #Conflicts: 868000 | #Constraints: 103268
2326.17/2332.73 c #Conflicts: 869000 | #Constraints: 104268
2326.17/2332.73 c #Conflicts: 870000 | #Constraints: 105268
2326.17/2332.73 c #Conflicts: 871000 | #Constraints: 106268
2326.17/2332.73 c #Conflicts: 872000 | #Constraints: 107268
2326.17/2332.73 c #Conflicts: 873000 | #Constraints: 108268
2326.17/2332.73 c #Conflicts: 874000 | #Constraints: 109268
2326.17/2332.73 c #Conflicts: 875000 | #Constraints: 110268
2326.17/2332.73 c #Conflicts: 876000 | #Constraints: 111268
2326.17/2332.73 c #Conflicts: 877000 | #Constraints: 112268
2326.17/2332.73 c #Conflicts: 878000 | #Constraints: 113268
2326.17/2332.73 c INPROCESSING
2326.17/2332.73 c GARBAGE COLLECT
2326.17/2332.73 c rational objective 134
2509.87/2516.97 c #Conflicts: 879000 | #Constraints: 66333
2509.87/2516.97 c #Conflicts: 880000 | #Constraints: 67333
2509.87/2516.97 c #Conflicts: 881000 | #Constraints: 68333
2509.87/2516.97 c #Conflicts: 882000 | #Constraints: 69333
2509.87/2516.97 c #Conflicts: 883000 | #Constraints: 70333
2509.87/2516.97 c #Conflicts: 884000 | #Constraints: 71333
2509.87/2516.97 c #Conflicts: 885000 | #Constraints: 72333
2509.87/2516.97 c #Conflicts: 886000 | #Constraints: 73333
2509.87/2516.97 c #Conflicts: 887000 | #Constraints: 74333
2509.87/2516.97 c #Conflicts: 888000 | #Constraints: 75333
2509.87/2516.97 c #Conflicts: 889000 | #Constraints: 76333
2509.87/2516.97 c #Conflicts: 890000 | #Constraints: 77333
2509.87/2516.97 c #Conflicts: 891000 | #Constraints: 78333
2509.87/2516.97 c #Conflicts: 892000 | #Constraints: 79333
2509.87/2516.97 c #Conflicts: 893000 | #Constraints: 80333
2509.87/2516.97 c #Conflicts: 894000 | #Constraints: 81333
2509.87/2516.97 c #Conflicts: 895000 | #Constraints: 82333
2509.87/2516.97 c #Conflicts: 896000 | #Constraints: 83333
2509.87/2516.97 c #Conflicts: 897000 | #Constraints: 84333
2509.87/2516.97 c #Conflicts: 898000 | #Constraints: 85333
2509.87/2516.97 c #Conflicts: 899000 | #Constraints: 86333
2509.87/2516.97 c #Conflicts: 900000 | #Constraints: 87333
2509.87/2516.97 c #Conflicts: 901000 | #Constraints: 88333
2509.87/2516.97 c #Conflicts: 902000 | #Constraints: 89333
2509.87/2516.97 c INPROCESSING
2509.87/2516.97 c GARBAGE COLLECT
2509.87/2516.97 c #Conflicts: 903000 | #Constraints: 54431
2509.87/2516.97 c #Conflicts: 904000 | #Constraints: 55431
2509.87/2516.97 c #Conflicts: 905000 | #Constraints: 56431
2509.87/2516.97 c #Conflicts: 906000 | #Constraints: 57431
2509.87/2516.97 c #Conflicts: 907000 | #Constraints: 58431
2509.87/2516.97 c #Conflicts: 908000 | #Constraints: 59431
2509.87/2516.97 c #Conflicts: 909000 | #Constraints: 60431
2509.87/2516.97 c #Conflicts: 910000 | #Constraints: 61431
2509.87/2516.97 c #Conflicts: 911000 | #Constraints: 62431
2509.87/2516.97 c #Conflicts: 912000 | #Constraints: 63431
2509.87/2516.97 c #Conflicts: 913000 | #Constraints: 64431
2509.87/2516.97 c #Conflicts: 914000 | #Constraints: 65432
2509.87/2516.97 c #Conflicts: 915000 | #Constraints: 66432
2509.87/2516.97 c #Conflicts: 916000 | #Constraints: 67432
2509.87/2516.97 c #Conflicts: 917000 | #Constraints: 68432
2509.87/2516.97 c #Conflicts: 918000 | #Constraints: 69432
2509.87/2516.97 c #Conflicts: 919000 | #Constraints: 70432
2509.87/2516.97 c #Conflicts: 920000 | #Constraints: 71432
2509.87/2516.97 c #Conflicts: 921000 | #Constraints: 72432
2509.87/2516.97 c #Conflicts: 922000 | #Constraints: 73432
2509.87/2516.97 c #Conflicts: 923000 | #Constraints: 74432
2509.87/2516.97 c #Conflicts: 924000 | #Constraints: 75432
2509.87/2516.97 c #Conflicts: 925000 | #Constraints: 76432
2509.87/2516.97 c #Conflicts: 926000 | #Constraints: 77432
2509.87/2516.97 c INPROCESSING
2509.87/2516.97 c GARBAGE COLLECT
2509.87/2516.97 c #Conflicts: 927000 | #Constraints: 53279
2509.87/2516.97 c #Conflicts: 928000 | #Constraints: 54279
2509.87/2516.97 c #Conflicts: 929000 | #Constraints: 55279
2509.87/2516.97 c #Conflicts: 930000 | #Constraints: 56279
2509.87/2516.97 c #Conflicts: 931000 | #Constraints: 57279
2509.87/2516.97 c #Conflicts: 932000 | #Constraints: 58279
2509.87/2516.97 c #Conflicts: 933000 | #Constraints: 59279
2509.87/2516.97 c #Conflicts: 934000 | #Constraints: 60279
2509.87/2516.97 c #Conflicts: 935000 | #Constraints: 61279
2509.87/2516.97 c #Conflicts: 936000 | #Constraints: 62279
2509.87/2516.97 c #Conflicts: 937000 | #Constraints: 63279
2509.87/2516.97 c #Conflicts: 938000 | #Constraints: 64279
2509.87/2516.97 c #Conflicts: 939000 | #Constraints: 65279
2509.87/2516.97 c #Conflicts: 940000 | #Constraints: 66279
2509.87/2516.97 c #Conflicts: 941000 | #Constraints: 67279
2509.87/2516.97 c #Conflicts: 942000 | #Constraints: 68279
2509.87/2516.97 c #Conflicts: 943000 | #Constraints: 69279
2509.87/2516.97 c #Conflicts: 944000 | #Constraints: 70279
2509.87/2516.97 c #Conflicts: 945000 | #Constraints: 71279
2509.87/2516.97 c #Conflicts: 946000 | #Constraints: 72279
2509.87/2516.97 c #Conflicts: 947000 | #Constraints: 73279
2509.87/2516.97 c #Conflicts: 948000 | #Constraints: 74279
2509.87/2516.97 c #Conflicts: 949000 | #Constraints: 75279
2509.87/2516.97 c #Conflicts: 950000 | #Constraints: 76279
2509.87/2516.97 c #Conflicts: 951000 | #Constraints: 77279
2509.87/2516.97 c #Conflicts: 952000 | #Constraints: 78279
2509.87/2516.97 c #Conflicts: 953000 | #Constraints: 79279
2509.87/2516.97 c #Conflicts: 954000 | #Constraints: 80279
2509.87/2516.97 c #Conflicts: 955000 | #Constraints: 81279
2509.87/2516.97 c #Conflicts: 956000 | #Constraints: 82279
2822.27/2830.10 c #Conflicts: 957000 | #Constraints: 83279
2822.27/2830.10 c #Conflicts: 958000 | #Constraints: 84279
2822.27/2830.10 c #Conflicts: 959000 | #Constraints: 85279
2822.27/2830.10 c #Conflicts: 960000 | #Constraints: 86279
2822.27/2830.10 c #Conflicts: 961000 | #Constraints: 87279
2822.27/2830.10 c #Conflicts: 962000 | #Constraints: 88279
2822.27/2830.10 c #Conflicts: 963000 | #Constraints: 89279
2822.27/2830.10 c #Conflicts: 964000 | #Constraints: 90279
2822.27/2830.10 c #Conflicts: 965000 | #Constraints: 91279
2822.27/2830.10 c #Conflicts: 966000 | #Constraints: 92279
2822.27/2830.10 c #Conflicts: 967000 | #Constraints: 93279
2822.27/2830.10 c #Conflicts: 968000 | #Constraints: 94279
2822.27/2830.10 c #Conflicts: 969000 | #Constraints: 95279
2822.27/2830.10 c #Conflicts: 970000 | #Constraints: 96279
2822.27/2830.10 c #Conflicts: 971000 | #Constraints: 97279
2822.27/2830.10 c #Conflicts: 972000 | #Constraints: 98279
2822.27/2830.10 c #Conflicts: 973000 | #Constraints: 99279
2822.27/2830.10 c #Conflicts: 974000 | #Constraints: 100279
2822.27/2830.10 c #Conflicts: 975000 | #Constraints: 101279
2822.27/2830.10 c #Conflicts: 976000 | #Constraints: 102279
2822.27/2830.10 c #Conflicts: 977000 | #Constraints: 103279
2822.27/2830.10 c #Conflicts: 978000 | #Constraints: 104279
2822.27/2830.10 c #Conflicts: 979000 | #Constraints: 105279
2822.27/2830.10 c #Conflicts: 980000 | #Constraints: 106279
2822.27/2830.10 c #Conflicts: 981000 | #Constraints: 107279
2822.27/2830.10 c #Conflicts: 982000 | #Constraints: 108279
2822.27/2830.10 c #Conflicts: 983000 | #Constraints: 109279
2822.27/2830.10 c #Conflicts: 984000 | #Constraints: 110279
2822.27/2830.10 c #Conflicts: 985000 | #Constraints: 111279
2822.27/2830.10 c #Conflicts: 986000 | #Constraints: 112279
2822.27/2830.10 c #Conflicts: 987000 | #Constraints: 113279
2822.27/2830.10 c #Conflicts: 988000 | #Constraints: 114279
2822.27/2830.10 c #Conflicts: 989000 | #Constraints: 115279
2822.27/2830.10 c #Conflicts: 990000 | #Constraints: 116279
2822.27/2830.10 c #Conflicts: 991000 | #Constraints: 117279
2822.27/2830.10 c #Conflicts: 992000 | #Constraints: 118279
2822.27/2830.10 c #Conflicts: 993000 | #Constraints: 119279
2822.27/2830.10 c #Conflicts: 994000 | #Constraints: 120279
2822.27/2830.10 c INPROCESSING
2822.27/2830.10 c GARBAGE COLLECT
2822.27/2830.10 c #Conflicts: 995000 | #Constraints: 69677
2822.27/2830.10 c #Conflicts: 996000 | #Constraints: 70677
2822.27/2830.10 c #Conflicts: 997000 | #Constraints: 71677
2822.27/2830.10 c #Conflicts: 998000 | #Constraints: 72677
2822.27/2830.10 c #Conflicts: 999000 | #Constraints: 73677
2822.27/2830.10 c #Conflicts: 1000000 | #Constraints: 74677
2822.27/2830.10 c #Conflicts: 1001000 | #Constraints: 75677
2822.27/2830.10 c #Conflicts: 1002000 | #Constraints: 76677
2822.27/2830.10 c #Conflicts: 1003000 | #Constraints: 77677
2822.27/2830.10 c #Conflicts: 1004000 | #Constraints: 78677
2822.27/2830.10 c #Conflicts: 1005000 | #Constraints: 79677
2822.27/2830.10 c #Conflicts: 1006000 | #Constraints: 80677
2822.27/2830.10 c #Conflicts: 1007000 | #Constraints: 81677
2822.27/2830.10 c #Conflicts: 1008000 | #Constraints: 82677
2822.27/2830.10 c #Conflicts: 1009000 | #Constraints: 83677
2822.27/2830.10 c #Conflicts: 1010000 | #Constraints: 84677
2822.27/2830.10 c #Conflicts: 1011000 | #Constraints: 85677
2822.27/2830.10 c #Conflicts: 1012000 | #Constraints: 86677
2822.27/2830.10 c #Conflicts: 1013000 | #Constraints: 87677
2822.27/2830.10 c #Conflicts: 1014000 | #Constraints: 88677
2822.27/2830.10 c #Conflicts: 1015000 | #Constraints: 89677
2822.27/2830.10 c #Conflicts: 1016000 | #Constraints: 90677
2822.27/2830.10 c #Conflicts: 1017000 | #Constraints: 91677
2822.27/2830.10 c #Conflicts: 1018000 | #Constraints: 92677
2822.27/2830.10 c #Conflicts: 1019000 | #Constraints: 93677
2822.27/2830.10 c #Conflicts: 1020000 | #Constraints: 94677
2822.27/2830.10 c INPROCESSING
2822.27/2830.10 c GARBAGE COLLECT
2822.27/2830.10 c #Conflicts: 1021000 | #Constraints: 57401
2822.27/2830.10 c #Conflicts: 1022000 | #Constraints: 58401
2822.27/2830.10 c #Conflicts: 1023000 | #Constraints: 59401
2822.27/2830.10 c #Conflicts: 1024000 | #Constraints: 60401
2822.27/2830.10 c #Conflicts: 1025000 | #Constraints: 61401
2822.27/2830.10 c #Conflicts: 1026000 | #Constraints: 62401
2822.27/2830.10 c #Conflicts: 1027000 | #Constraints: 63401
2822.27/2830.10 c #Conflicts: 1028000 | #Constraints: 64401
2822.27/2830.10 c #Conflicts: 1029000 | #Constraints: 65401
2822.27/2830.10 c #Conflicts: 1030000 | #Constraints: 66401
2822.27/2830.10 c #Conflicts: 1031000 | #Constraints: 67401
2822.27/2830.10 c #Conflicts: 1032000 | #Constraints: 68401
2822.27/2830.10 c #Conflicts: 1033000 | #Constraints: 69401
3136.44/3145.26 c #Conflicts: 1034000 | #Constraints: 70401
3136.44/3145.26 c #Conflicts: 1035000 | #Constraints: 71401
3136.44/3145.26 c #Conflicts: 1036000 | #Constraints: 72401
3136.44/3145.26 c #Conflicts: 1037000 | #Constraints: 73401
3136.44/3145.26 c #Conflicts: 1038000 | #Constraints: 74401
3136.44/3145.26 c #Conflicts: 1039000 | #Constraints: 75401
3136.44/3145.26 c #Conflicts: 1040000 | #Constraints: 76401
3136.44/3145.26 c #Conflicts: 1041000 | #Constraints: 77401
3136.44/3145.26 c #Conflicts: 1042000 | #Constraints: 78401
3136.44/3145.26 c #Conflicts: 1043000 | #Constraints: 79401
3136.44/3145.26 c #Conflicts: 1044000 | #Constraints: 80401
3136.44/3145.26 c #Conflicts: 1045000 | #Constraints: 81401
3136.44/3145.26 c INPROCESSING
3136.44/3145.26 c GARBAGE COLLECT
3136.44/3145.26 c #Conflicts: 1046000 | #Constraints: 55061
3136.44/3145.26 c #Conflicts: 1047000 | #Constraints: 56061
3136.44/3145.26 c #Conflicts: 1048000 | #Constraints: 57061
3136.44/3145.26 c #Conflicts: 1049000 | #Constraints: 58061
3136.44/3145.26 c #Conflicts: 1050000 | #Constraints: 59061
3136.44/3145.26 c #Conflicts: 1051000 | #Constraints: 60061
3136.44/3145.26 c #Conflicts: 1052000 | #Constraints: 61061
3136.44/3145.26 c #Conflicts: 1053000 | #Constraints: 62061
3136.44/3145.26 c #Conflicts: 1054000 | #Constraints: 63061
3136.44/3145.26 c #Conflicts: 1055000 | #Constraints: 64061
3136.44/3145.26 c #Conflicts: 1056000 | #Constraints: 65061
3136.44/3145.26 c #Conflicts: 1057000 | #Constraints: 66061
3136.44/3145.26 c #Conflicts: 1058000 | #Constraints: 67061
3136.44/3145.26 c #Conflicts: 1059000 | #Constraints: 68061
3136.44/3145.26 c #Conflicts: 1060000 | #Constraints: 69061
3136.44/3145.26 c #Conflicts: 1061000 | #Constraints: 70061
3136.44/3145.26 c #Conflicts: 1062000 | #Constraints: 71061
3136.44/3145.26 c #Conflicts: 1063000 | #Constraints: 72061
3136.44/3145.26 c #Conflicts: 1064000 | #Constraints: 73061
3136.44/3145.26 c #Conflicts: 1065000 | #Constraints: 74061
3136.44/3145.26 c #Conflicts: 1066000 | #Constraints: 75061
3136.44/3145.26 c #Conflicts: 1067000 | #Constraints: 76061
3136.44/3145.26 c #Conflicts: 1068000 | #Constraints: 77061
3136.44/3145.26 c #Conflicts: 1069000 | #Constraints: 78061
3136.44/3145.26 c #Conflicts: 1070000 | #Constraints: 79061
3136.44/3145.26 c #Conflicts: 1071000 | #Constraints: 80061
3136.44/3145.26 c #Conflicts: 1072000 | #Constraints: 81061
3136.44/3145.26 c #Conflicts: 1073000 | #Constraints: 82061
3136.44/3145.26 c #Conflicts: 1074000 | #Constraints: 83061
3136.44/3145.26 c #Conflicts: 1075000 | #Constraints: 84061
3136.44/3145.26 c #Conflicts: 1076000 | #Constraints: 85061
3136.44/3145.26 c #Conflicts: 1077000 | #Constraints: 86061
3136.44/3145.26 c #Conflicts: 1078000 | #Constraints: 87061
3136.44/3145.26 c #Conflicts: 1079000 | #Constraints: 88061
3136.44/3145.26 c #Conflicts: 1080000 | #Constraints: 89061
3136.44/3145.26 c #Conflicts: 1081000 | #Constraints: 90061
3136.44/3145.26 c #Conflicts: 1082000 | #Constraints: 91061
3136.44/3145.26 c #Conflicts: 1083000 | #Constraints: 92061
3136.44/3145.26 c #Conflicts: 1084000 | #Constraints: 93061
3136.44/3145.26 c #Conflicts: 1085000 | #Constraints: 94061
3136.44/3145.26 c #Conflicts: 1086000 | #Constraints: 95061
3136.44/3145.26 c #Conflicts: 1087000 | #Constraints: 96061
3136.44/3145.26 c #Conflicts: 1088000 | #Constraints: 97061
3136.44/3145.26 c #Conflicts: 1089000 | #Constraints: 98061
3136.44/3145.26 c #Conflicts: 1090000 | #Constraints: 99061
3136.44/3145.26 c #Conflicts: 1091000 | #Constraints: 100061
3136.44/3145.26 c #Conflicts: 1092000 | #Constraints: 101061
3136.44/3145.26 c #Conflicts: 1093000 | #Constraints: 102061
3136.44/3145.26 c #Conflicts: 1094000 | #Constraints: 103061
3136.44/3145.26 c #Conflicts: 1095000 | #Constraints: 104061
3136.44/3145.26 c #Conflicts: 1096000 | #Constraints: 105061
3136.44/3145.26 c #Conflicts: 1097000 | #Constraints: 106061
3136.44/3145.26 c #Conflicts: 1098000 | #Constraints: 107061
3136.44/3145.26 c #Conflicts: 1099000 | #Constraints: 108061
3136.44/3145.26 c #Conflicts: 1100000 | #Constraints: 109061
3136.44/3145.26 c #Conflicts: 1101000 | #Constraints: 110061
3136.44/3145.26 c #Conflicts: 1102000 | #Constraints: 111061
3136.44/3145.26 c #Conflicts: 1103000 | #Constraints: 112061
3136.44/3145.26 c #Conflicts: 1104000 | #Constraints: 113061
3136.44/3145.26 c #Conflicts: 1105000 | #Constraints: 114061
3136.44/3145.26 c #Conflicts: 1106000 | #Constraints: 115061
3136.44/3145.26 c #Conflicts: 1107000 | #Constraints: 116061
3136.44/3145.26 c #Conflicts: 1108000 | #Constraints: 117061
3136.44/3145.26 c #Conflicts: 1109000 | #Constraints: 118061
3136.44/3145.26 c #Conflicts: 1110000 | #Constraints: 119061
3136.44/3145.26 c #Conflicts: 1111000 | #Constraints: 120061
3136.44/3145.26 c #Conflicts: 1112000 | #Constraints: 121061
3186.69/3195.65 c #Conflicts: 1113000 | #Constraints: 122061
3186.69/3195.65 c #Conflicts: 1114000 | #Constraints: 123061
3186.69/3195.65 c #Conflicts: 1115000 | #Constraints: 124061
3186.69/3195.65 c #Conflicts: 1116000 | #Constraints: 125061
3186.69/3195.65 c #Conflicts: 1117000 | #Constraints: 126061
3186.69/3195.65 c #Conflicts: 1118000 | #Constraints: 127061
3186.69/3195.65 c INPROCESSING
3186.69/3195.65 c GARBAGE COLLECT
3186.69/3195.65 c rational objective 134
3320.27/3329.61 c #Conflicts: 1119000 | #Constraints: 73629
3320.27/3329.61 c #Conflicts: 1120000 | #Constraints: 74629
3320.27/3329.61 c #Conflicts: 1121000 | #Constraints: 75629
3320.27/3329.61 c #Conflicts: 1122000 | #Constraints: 76629
3320.27/3329.61 c #Conflicts: 1123000 | #Constraints: 77629
3320.27/3329.61 c #Conflicts: 1124000 | #Constraints: 78629
3320.27/3329.61 c #Conflicts: 1125000 | #Constraints: 79629
3320.27/3329.61 c #Conflicts: 1126000 | #Constraints: 80629
3320.27/3329.61 c #Conflicts: 1127000 | #Constraints: 81629
3320.27/3329.61 c #Conflicts: 1128000 | #Constraints: 82629
3320.27/3329.61 c #Conflicts: 1129000 | #Constraints: 83629
3320.27/3329.61 c #Conflicts: 1130000 | #Constraints: 84629
3320.27/3329.61 c #Conflicts: 1131000 | #Constraints: 85629
3320.27/3329.61 c #Conflicts: 1132000 | #Constraints: 86629
3320.27/3329.61 c #Conflicts: 1133000 | #Constraints: 87629
3320.27/3329.61 c #Conflicts: 1134000 | #Constraints: 88629
3320.27/3329.61 c #Conflicts: 1135000 | #Constraints: 89630
3320.27/3329.61 c #Conflicts: 1136000 | #Constraints: 90630
3320.27/3329.61 c #Conflicts: 1137000 | #Constraints: 91630
3320.27/3329.61 c #Conflicts: 1138000 | #Constraints: 92630
3320.27/3329.61 c #Conflicts: 1139000 | #Constraints: 93630
3320.27/3329.61 c #Conflicts: 1140000 | #Constraints: 94630
3320.27/3329.61 c #Conflicts: 1141000 | #Constraints: 95630
3320.27/3329.61 c #Conflicts: 1142000 | #Constraints: 96630
3320.27/3329.61 c #Conflicts: 1143000 | #Constraints: 97630
3320.27/3329.61 c #Conflicts: 1144000 | #Constraints: 98630
3320.27/3329.61 c INPROCESSING
3320.27/3329.61 c GARBAGE COLLECT
3320.27/3329.61 c rational objective 134
3533.83/3543.88 c #Conflicts: 1145000 | #Constraints: 59018
3533.83/3543.88 c #Conflicts: 1146000 | #Constraints: 60018
3533.83/3543.88 c #Conflicts: 1147000 | #Constraints: 61018
3533.83/3543.88 c #Conflicts: 1148000 | #Constraints: 62018
3533.83/3543.88 c #Conflicts: 1149000 | #Constraints: 63018
3533.83/3543.88 c #Conflicts: 1150000 | #Constraints: 64018
3533.83/3543.88 c #Conflicts: 1151000 | #Constraints: 65018
3533.83/3543.88 c #Conflicts: 1152000 | #Constraints: 66018
3533.83/3543.88 c #Conflicts: 1153000 | #Constraints: 67018
3533.83/3543.88 c #Conflicts: 1154000 | #Constraints: 68018
3533.83/3543.88 c #Conflicts: 1155000 | #Constraints: 69018
3533.83/3543.88 c #Conflicts: 1156000 | #Constraints: 70018
3533.83/3543.88 c #Conflicts: 1157000 | #Constraints: 71018
3533.83/3543.88 c #Conflicts: 1158000 | #Constraints: 72018
3533.83/3543.88 c #Conflicts: 1159000 | #Constraints: 73018
3533.83/3543.88 c #Conflicts: 1160000 | #Constraints: 74018
3533.83/3543.88 c #Conflicts: 1161000 | #Constraints: 75018
3533.83/3543.88 c #Conflicts: 1162000 | #Constraints: 76018
3533.83/3543.88 c #Conflicts: 1163000 | #Constraints: 77018
3533.83/3543.88 c #Conflicts: 1164000 | #Constraints: 78018
3533.83/3543.88 c #Conflicts: 1165000 | #Constraints: 79018
3533.83/3543.88 c #Conflicts: 1166000 | #Constraints: 80018
3533.83/3543.88 c #Conflicts: 1167000 | #Constraints: 81018
3533.83/3543.88 c #Conflicts: 1168000 | #Constraints: 82018
3533.83/3543.88 c #Conflicts: 1169000 | #Constraints: 83018
3533.83/3543.88 c #Conflicts: 1170000 | #Constraints: 84018
3533.83/3543.88 c #Conflicts: 1171000 | #Constraints: 85018
3533.83/3543.88 c INPROCESSING
3533.83/3543.88 c GARBAGE COLLECT
3533.83/3543.88 c #Conflicts: 1172000 | #Constraints: 56879
3533.83/3543.88 c #Conflicts: 1173000 | #Constraints: 57879
3533.83/3543.88 c #Conflicts: 1174000 | #Constraints: 58879
3533.83/3543.88 c #Conflicts: 1175000 | #Constraints: 59879
3533.83/3543.88 c #Conflicts: 1176000 | #Constraints: 60879
3533.83/3543.88 c #Conflicts: 1177000 | #Constraints: 61879
3533.83/3543.88 c #Conflicts: 1178000 | #Constraints: 62879
3533.83/3543.88 c #Conflicts: 1179000 | #Constraints: 63879
3533.83/3543.88 c #Conflicts: 1180000 | #Constraints: 64879
3533.83/3543.88 c #Conflicts: 1181000 | #Constraints: 65879
3533.83/3543.88 c #Conflicts: 1182000 | #Constraints: 66879
3533.83/3543.88 c #Conflicts: 1183000 | #Constraints: 67879
3533.83/3543.88 c #Conflicts: 1184000 | #Constraints: 68879
3533.83/3543.88 c #Conflicts: 1185000 | #Constraints: 69879
3533.83/3543.88 c #Conflicts: 1186000 | #Constraints: 70879
3533.83/3543.88 c #Conflicts: 1187000 | #Constraints: 71880
3533.83/3543.88 c #Conflicts: 1188000 | #Constraints: 72880
3533.83/3543.88 c #Conflicts: 1189000 | #Constraints: 73880
3533.83/3543.88 c #Conflicts: 1190000 | #Constraints: 74880
3533.83/3543.88 c #Conflicts: 1191000 | #Constraints: 75880
3533.83/3543.88 c #Conflicts: 1192000 | #Constraints: 76880
3533.83/3543.88 c #Conflicts: 1193000 | #Constraints: 77880
3533.83/3543.88 c #Conflicts: 1194000 | #Constraints: 78880
3533.83/3543.88 c #Conflicts: 1195000 | #Constraints: 79880
3533.83/3543.88 c #Conflicts: 1196000 | #Constraints: 80880
3533.83/3543.88 c #Conflicts: 1197000 | #Constraints: 81880
3533.83/3543.88 c #Conflicts: 1198000 | #Constraints: 82880
3533.83/3543.88 c #Conflicts: 1199000 | #Constraints: 83880
3533.83/3543.88 c #Conflicts: 1200000 | #Constraints: 84880
3533.83/3543.88 c #Conflicts: 1201000 | #Constraints: 85880
3533.83/3543.88 c #Conflicts: 1202000 | #Constraints: 86880
3533.83/3543.88 c #Conflicts: 1203000 | #Constraints: 87880
3533.83/3543.88 c #Conflicts: 1204000 | #Constraints: 88880
3533.83/3543.88 c #Conflicts: 1205000 | #Constraints: 89880
3533.83/3543.88 c #Conflicts: 1206000 | #Constraints: 90880
3533.83/3543.88 c #Conflicts: 1207000 | #Constraints: 91880
3533.83/3543.88 c #Conflicts: 1208000 | #Constraints: 92880
3533.83/3543.88 c #Conflicts: 1209000 | #Constraints: 93880
3533.83/3543.88 c #Conflicts: 1210000 | #Constraints: 94880
3533.83/3543.88 c #Conflicts: 1211000 | #Constraints: 95880
3533.83/3543.88 c #Conflicts: 1212000 | #Constraints: 96880
3533.83/3543.88 c #Conflicts: 1213000 | #Constraints: 97880
3533.83/3543.88 c #Conflicts: 1214000 | #Constraints: 98880
3533.83/3543.88 c #Conflicts: 1215000 | #Constraints: 99880
3533.83/3543.88 c #Conflicts: 1216000 | #Constraints: 100880
3533.83/3543.88 c #Conflicts: 1217000 | #Constraints: 101880
3533.83/3543.88 c #Conflicts: 1218000 | #Constraints: 102880
3533.83/3543.88 c #Conflicts: 1219000 | #Constraints: 103880
3533.83/3543.88 c #Conflicts: 1220000 | #Constraints: 104880
3533.83/3543.88 c #Conflicts: 1221000 | #Constraints: 105880
3533.83/3543.88 c #Conflicts: 1222000 | #Constraints: 106880
3533.83/3543.88 c #Conflicts: 1223000 | #Constraints: 107880
3600.03/3610.20 c #Conflicts: 1224000 | #Constraints: 108880
3600.03/3610.20 c #Conflicts: 1225000 | #Constraints: 109880
3600.03/3610.20 c #Conflicts: 1226000 | #Constraints: 110880
3600.03/3610.20 c #Conflicts: 1227000 | #Constraints: 111880
3600.03/3610.20 c #Conflicts: 1228000 | #Constraints: 112880
3600.03/3610.20 c #Conflicts: 1229000 | #Constraints: 113880
3600.03/3610.20 c #Conflicts: 1230000 | #Constraints: 114880
3600.03/3610.20 c #Conflicts: 1231000 | #Constraints: 115880
3600.03/3610.20 c #Conflicts: 1232000 | #Constraints: 116880
3600.03/3610.20 c #Conflicts: 1233000 | #Constraints: 117880
3600.03/3610.20 c #Conflicts: 1234000 | #Constraints: 118880
3600.03/3610.20 c #Conflicts: 1235000 | #Constraints: 119880
3600.03/3610.20 c #Conflicts: 1236000 | #Constraints: 120880
3600.03/3610.20 c cpu time 3573.28 s
3600.03/3610.20 c deterministic time 203746871237 2.04e+11
3600.03/3610.20 c optimization time 221.191 s
3600.03/3610.20 c total solve time 3352.02 s
3600.03/3610.20 c core-guided solve time 0 s
3600.03/3610.20 c propagation time 1659.99 s
3600.03/3610.20 c conflict analysis time 1610.99 s
3600.03/3610.20 c propagations 1254966716
3600.03/3610.20 c resolve steps 94376263
3600.03/3610.20 c decisions 17705113
3600.03/3610.20 c conflicts 1236712
3600.03/3610.20 c restarts 2330
3600.03/3610.20 c inprocessing phases 54
3600.03/3610.20 c garbage collections 54 ,( 100.00 )
3600.03/3610.20 c input clauses 16082 ,( 99.17 )
3600.03/3610.20 c input cardinalities 134 ,( 0.83 )
3600.03/3610.20 c input general constraints 0 ,( 0.00 )
3600.03/3610.20 c input average constraint length 6.43
3600.03/3610.20 c input average constraint degree 1.97
3600.03/3610.20 c learned clauses 942021 ,( 76.17 )
3600.03/3610.20 c learned cardinalities 34341 ,( 2.78 )
3600.03/3610.20 c learned general constraints 260362 ,( 21.05 )
3600.03/3610.20 c learned average constraint length 795.65
3600.03/3610.20 c learned average constraint degree 103065110.63
3600.03/3610.20 c watched CF 32, 64, 128, Arb: 75578 , 0 , 0 , 0
3600.03/3610.20 c counting CF 32, 64, 128, Arb: 184784 , 0 , 0 , 0
3600.03/3610.20 c watched constraints 75578 ,( 29.03 )
3600.03/3610.20 c counting constraints 184784 ,( 70.97 )
3600.03/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1252813728 , 477259575 , 1422274337 ,( 64508205 , 1357766132 )
3600.03/3610.20 c gcd simplifications 3637
3600.03/3610.20 c detected cardinalities 4012
3600.03/3610.20 c weakened non-implied lits 393161367
3600.03/3610.20 c weakened non-implying lits 475102
3600.03/3610.20 c original variables 15946
3600.03/3610.20 c clausal propagations 576148788
3600.03/3610.20 c cardinality propagations 449644466
3600.03/3610.20 c watched propagations 4270491
3600.03/3610.20 c counting propagations 214851626
3600.03/3610.20 c watch lookups 90439599397
3600.03/3610.20 c watch backjump lookups 0
3600.03/3610.20 c watch checks 29718975374
3600.03/3610.20 c propagation checks 76337506177
3600.03/3610.20 c constraint additions 4703928486
3600.03/3610.20 c trail pops 1273897700
3600.03/3610.20 c formula constraints 16216
3600.03/3610.20 c learned constraints 1236702
3600.03/3610.20 c bound constraints 0
3600.03/3610.20 c core-guided constraints 0
3600.03/3610.20 c encountered formula constraints 64835387
3600.03/3610.20 c encountered learned constraints 30775280
3600.03/3610.20 c encountered bound constraints 0
3600.03/3610.20 c encountered core-guided constraints 0
3600.03/3610.20 c LP total time 342.235 s
3600.03/3610.20 c LP solve time 321.16 s
3600.03/3610.20 c LP constraints added 16919
3600.03/3610.20 c LP constraints removed 443
3600.03/3610.20 c LP pivots internal 134231
3600.03/3610.20 c LP pivots root 158042
3600.03/3610.20 c LP calls 20
3600.03/3610.20 c LP optimalities 5
3600.03/3610.20 c LP no pivot count 0
3600.03/3610.20 c LP infeasibilities 9
3600.03/3610.20 c LP valid Farkas constraints 9
3600.03/3610.20 c LP learned Farkas constraints 9
3600.03/3610.20 c LP basis resets 0
3600.03/3610.20 c LP cycling count 0
3600.03/3610.20 c LP singular count 0
3600.03/3610.20 c LP no primal count 0
3600.03/3610.20 c LP no farkas count 0
3600.03/3610.20 c LP other issue count 0
3600.03/3610.20 c LP Gomory cuts 4
3600.03/3610.20 c LP learned cuts 699
3600.03/3610.20 c LP deleted cuts 443
3600.03/3610.20 c LP encountered Gomory constraints 0
3600.03/3610.20 c LP encountered Farkas constraints 2294
3600.03/3610.20 c LP encountered learned Farkas constraints 5
3600.03/3610.20 c CG auxiliary variables introduced 0
3600.03/3610.20 c CG solutions found 0
3600.03/3610.20 c CG cores constructed 0
3600.03/3610.20 c CG core cardinality constraints returned 0
3600.03/3610.20 c CG unit cores 0
3600.03/3610.20 c CG single cores 0
3600.03/3610.20 c CG blocks removed during cardinality reduction 0
3600.03/3610.20 c CG first core best 0
3600.03/3610.20 c CG decision core best 0
3600.03/3610.20 c CG core reduction tie 0
3600.03/3610.20 c CG core degree average 0.00
3600.03/3610.20 c CG core slack average 0.00
3600.03/3610.20 c CG core upper bound improvements 0
3600.03/3610.20 c STR number of successful calls 0
3600.03/3610.20 c STR number of unsuccessful calls 0
3600.03/3610.20 c STR number of inconclusive calls 0
3600.03/3610.20 c STR number of successful attempts 0
3600.03/3610.20 c STR number of unsuccessful attempts 0
3600.03/3610.20 c STR number of inconclusive attempts 0
3600.03/3610.20 c STR average degree increase per successful call inf
3600.03/3610.20 c STR average degree increase per successful attempt inf
3600.03/3610.20 c STR total number of conflicts for successful attempts 0
3600.03/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.20 c STR average number of conflicts per successful attempt inf
3600.03/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.20 c AVG.sumWPerc 63.28
3600.03/3610.20 c bigint constraints 0
3600.03/3610.20 s UNKNOWN
3600.03/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61929 MiB free)
memory of node 1: 64507 MiB (61100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506725-1751172979/watcher-4506725-1751172979 -o /tmp/evaluation-result-4506725-1751172979/solver-4506725-1751172979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22495 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506725-1751172979.opb PROOFDIR/proof-4506725-1751172979
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22984, runsolver pid=22981
[startup+0.100062 s]*
/proc/loadavg: 4.45 4.20 4.12 5/269 22986
/proc/meminfo: memFree=125962192/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=73736 memory=27468 CPUtime=0.09 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 5115 0 0 0 7 2 0 0 20 0 1 0 32975663 75505664 6867 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 18434 6867 2240 1147 0 5861 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77928 KiB
Current children cumulated memory: 30284 KiB
[startup+0.205663 s]*
/proc/loadavg: 4.45 4.20 4.12 5/269 22986
/proc/meminfo: memFree=125946568/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=91272 memory=42844 CPUtime=0.19 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 9110 0 0 0 17 2 0 0 20 0 1 0 32975663 93462528 10711 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 22818 10711 2272 1147 0 10245 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95464 KiB
Current children cumulated memory: 45660 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.45 4.20 4.12 5/269 22986
/proc/meminfo: memFree=125918280/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=91272 memory=43356 CPUtime=0.29 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 9249 0 0 0 26 3 0 0 20 0 1 0 32975663 93462528 10839 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 22818 10839 2272 1147 0 10245 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95464 KiB
Current children cumulated memory: 46172 KiB
[startup+0.700206 s]
/proc/loadavg: 4.45 4.20 4.12 5/269 22986
/proc/meminfo: memFree=125877960/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=93592 memory=45660 CPUtime=0.68 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 9810 0 0 0 65 3 0 0 20 0 1 0 32975663 95838208 11415 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 23398 11415 2272 1147 0 10825 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97784 KiB
Current children cumulated memory: 48476 KiB
[startup+1.50019 s]
/proc/loadavg: 4.45 4.20 4.12 5/269 22986
/proc/meminfo: memFree=125845704/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=94480 memory=47324 CPUtime=1.48 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 10205 0 0 0 144 4 0 0 20 0 1 0 32975663 96747520 11831 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 23620 11831 2304 1147 0 11047 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98672 KiB
Current children cumulated memory: 50140 KiB
[startup+3.10548 s]
/proc/loadavg: 4.45 4.20 4.12 5/269 22987
/proc/meminfo: memFree=125772480/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=98352 memory=55120 CPUtime=3.08 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 11642 0 0 0 297 11 0 0 20 0 1 0 32975663 100712448 13780 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 24588 13780 2336 1147 0 12015 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 102544 KiB
Current children cumulated memory: 57936 KiB
[startup+6.30018 s]
/proc/loadavg: 4.42 4.20 4.12 5/269 22987
/proc/meminfo: memFree=125756108/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=107112 memory=62672 CPUtime=6.27 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 13527 0 0 0 604 23 0 0 20 0 1 0 32975663 109682688 15668 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 26778 15668 2336 1147 0 14205 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111304 KiB
Current children cumulated memory: 65488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.19 4.12 5/269 22987
/proc/meminfo: memFree=125716100/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=113336 memory=69712 CPUtime=12.64 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 15343 0 0 0 1226 38 0 0 20 0 1 0 32975663 116056064 17428 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 28334 17428 2336 1147 0 15761 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 72528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.37 4.20 4.12 5/269 22987
/proc/meminfo: memFree=125667732/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=136144 memory=92072 CPUtime=25.41 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 18376 0 0 0 2483 58 0 0 20 0 1 0 32975663 139411456 23018 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 34036 23018 2336 1147 0 21463 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 94888 KiB
[startup+51.1056 s]
/proc/loadavg: 4.24 4.18 4.12 5/270 22988
/proc/meminfo: memFree=125256944/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=178524 memory=126524 CPUtime=50.94 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 22376 0 0 0 5002 92 0 0 20 0 1 0 32975663 182808576 31631 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 44631 31631 2336 1147 0 32058 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 182716 KiB
Current children cumulated memory: 129340 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/272 22992
/proc/meminfo: memFree=125229208/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=202012 memory=154584 CPUtime=102 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 27881 0 0 0 10037 163 0 0 20 0 1 0 32975663 206860288 38646 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 50503 38646 2336 1147 0 37930 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 206204 KiB
Current children cumulated memory: 157400 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/273 23040
/proc/meminfo: memFree=126784676/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=248036 memory=177728 CPUtime=161.82 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 32148 0 0 0 15950 232 0 0 20 0 1 0 32975663 253988864 44432 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 62009 44432 2336 1147 0 49436 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 252228 KiB
Current children cumulated memory: 180544 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/273 23042
/proc/meminfo: memFree=126180896/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=263564 memory=207496 CPUtime=221.66 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 36004 0 0 0 21848 318 0 0 20 0 1 0 32975663 269889536 51874 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
################
# More data... #
################
/proc/22986/statm: 411265 355059 2336 1147 0 398692 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 1649252 KiB
Current children cumulated memory: 1423052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 23200
/proc/meminfo: memFree=112281812/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1648844 memory=1423308 CPUtime=3093.66 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 161631 0 0 0 306994 2372 0 0 20 0 1 0 32975663 1688416256 355827 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 412211 355827 2336 1147 0 399638 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 1653036 KiB
Current children cumulated memory: 1426124 KiB
[startup+3162.3 s]
/proc/loadavg: 4.78 4.27 4.15 5/270 23202
/proc/meminfo: memFree=112153264/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1654848 memory=1427916 CPUtime=3153.48 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 162945 0 0 0 312959 2389 0 0 20 0 1 0 32975663 1694564352 356979 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 413712 356979 2336 1147 0 401139 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 1659040 KiB
Current children cumulated memory: 1430732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.34 4.24 4.15 5/270 23204
/proc/meminfo: memFree=111915512/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1659332 memory=1446732 CPUtime=3213.3 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 167681 0 0 0 318913 2417 0 0 20 0 1 0 32975663 1699155968 361683 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 414833 361683 2336 1147 0 402260 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1663524 KiB
Current children cumulated memory: 1449548 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/269 23207
/proc/meminfo: memFree=111669416/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1661872 memory=1448780 CPUtime=3273.12 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 168190 0 0 0 324851 2461 0 0 20 0 1 0 32975663 1701756928 362195 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 415468 362195 2336 1147 0 402895 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 1666064 KiB
Current children cumulated memory: 1451596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/270 23210
/proc/meminfo: memFree=111379764/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3332.93 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174375 0 0 0 330803 2490 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/269 23212
/proc/meminfo: memFree=111118952/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3392.75 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174623 0 0 0 336722 2553 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/269 23215
/proc/meminfo: memFree=110923712/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3452.57 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174713 0 0 0 342656 2601 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/271 23223
/proc/meminfo: memFree=110735400/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3512.39 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174750 0 0 0 348607 2632 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.12 4.11 5/271 23227
/proc/meminfo: memFree=110580036/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3572.22 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174787 0 0 0 354561 2661 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.08 4.12 4.11 5/272 23320
/proc/meminfo: memFree=115381368/131249996 swapFree=33010684/33010684
[pid=22984] ppid=22981 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/22984/stat : 22984 (run-dec-log.sh) S 22981 22984 22485 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 32975663 4292608 704 18446744073709551615 94487351627776 94487352522309 140733387718160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94487352761360 94487352809104 94487384764416 140733387725089 140733387725284 140733387725284 140733387730886 0
/proc/22984/statm: 1048 704 672 219 0 110 0
[pid=22986] ppid=22984 vsize=1688116 memory=1473484 CPUtime=3600.03 cores=0,2
/proc/22986/stat : 22986 (roundingsat) R 22984 22984 22485 0 -1 4194304 174799 0 0 0 357328 2675 0 0 20 0 1 0 32975663 1728630784 368371 18446744073709551615 4227072 8923433 140733048654432 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32440320 140733048662375 140733048662568 140733048662568 140733048668138 0
/proc/22986/statm: 422029 368371 2336 1147 0 409456 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1692308 KiB
Current children cumulated memory: 1476300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 22984 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.001813 s
[startup+3610.23 s]
# the end of solver process 22986 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.29 s, system=26.7667 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.23
CPU time (s): 3600.06
CPU user time (s): 3573.29
CPU system time (s): 26.7667
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 1692308
Max. memory (cumulated for all children) (KiB): 1476300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.29
system time used= 26.7667
maximum resident set size= 1473868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13660784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 4993
# summary of solver processes directly reported to runsolver:
# pid: 22984,22986
# total CPU time (s): 3600.06
# total CPU user time (s): 3573.29
# total CPU system time (s): 26.7667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23705 second user time and 16.6767 second system time
The end
Begin job on nodeC017 at 2025-06-29 06:56:19
IDJOB=4506725
IDBENCH=158262
IDSOLVER=3352
FILE ID=nodeC017/4506725-1751172979
RUNJOBID= nodeC017-1751169346-22495
SLURM_JOB_ID= 9587517
Free space on /tmp= 432688 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506725-1751172979/watcher-4506725-1751172979 -o /tmp/evaluation-result-4506725-1751172979/solver-4506725-1751172979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22495 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506725-1751172979.opb PROOFDIR/proof-4506725-1751172979
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=136152291
nodeC017 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 : 3339.049
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
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 : 7000.12
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 : 3600.025
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 : 7000.12
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 : 3588.999
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 : 7000.12
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 : 3600.057
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 : 7000.12
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 : 3600.057
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 : 7000.12
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 : 3689.169
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 : 7000.12
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 : 3624.590
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 : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125982480 kB
MemAvailable: 127113008 kB
Buffers: 3280 kB
Cached: 1939436 kB
SwapCached: 0 kB
Active: 2982624 kB
Inactive: 1685836 kB
Active(anon): 2743876 kB
Inactive(anon): 0 kB
Active(file): 238748 kB
Inactive(file): 1685836 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12804 kB
Writeback: 0 kB
AnonPages: 2727016 kB
Mapped: 114544 kB
Shmem: 18080 kB
KReclaimable: 89968 kB
Slab: 175440 kB
SReclaimable: 89968 kB
SUnreclaim: 85472 kB
KernelStack: 4352 kB
PageTables: 8496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3469604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1652736 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC017 at 2025-06-29 07:56:30