0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.05/3.15 c #variables 15946 #constraints 16216
124.83/128.32 c #Conflicts: 1000 | #Constraints: 17215
124.83/128.32 c #Conflicts: 2000 | #Constraints: 18215
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 3000 | #Constraints: 17436
124.83/128.32 c #Conflicts: 4000 | #Constraints: 18436
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 5000 | #Constraints: 17915
124.83/128.32 c #Conflicts: 6000 | #Constraints: 18915
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 7000 | #Constraints: 17985
124.83/128.32 c #Conflicts: 8000 | #Constraints: 18985
124.83/128.32 c #Conflicts: 9000 | #Constraints: 19985
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 10000 | #Constraints: 18732
124.83/128.32 c #Conflicts: 11000 | #Constraints: 19732
124.83/128.32 c #Conflicts: 12000 | #Constraints: 20732
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 13000 | #Constraints: 19251
124.83/128.32 c #Conflicts: 14000 | #Constraints: 20251
124.83/128.32 c #Conflicts: 15000 | #Constraints: 21251
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 16000 | #Constraints: 19542
124.83/128.32 c #Conflicts: 17000 | #Constraints: 20542
124.83/128.32 c #Conflicts: 18000 | #Constraints: 21542
124.83/128.32 c #Conflicts: 19000 | #Constraints: 22542
124.83/128.32 c #Conflicts: 20000 | #Constraints: 23542
124.83/128.32 c #Conflicts: 21000 | #Constraints: 24542
124.83/128.32 c #Conflicts: 22000 | #Constraints: 25542
124.83/128.32 c #Conflicts: 23000 | #Constraints: 26542
124.83/128.32 c #Conflicts: 24000 | #Constraints: 27542
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 25000 | #Constraints: 22505
124.83/128.32 c #Conflicts: 26000 | #Constraints: 23505
124.83/128.32 c #Conflicts: 27000 | #Constraints: 24505
124.83/128.32 c #Conflicts: 28000 | #Constraints: 25505
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 29000 | #Constraints: 21420
124.83/128.32 c #Conflicts: 30000 | #Constraints: 22420
124.83/128.32 c #Conflicts: 31000 | #Constraints: 23420
124.83/128.32 c #Conflicts: 32000 | #Constraints: 24420
124.83/128.32 c #Conflicts: 33000 | #Constraints: 25420
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 34000 | #Constraints: 21635
124.83/128.32 c #Conflicts: 35000 | #Constraints: 22635
124.83/128.32 c #Conflicts: 36000 | #Constraints: 23635
124.83/128.32 c #Conflicts: 37000 | #Constraints: 24635
124.83/128.32 c #Conflicts: 38000 | #Constraints: 25635
124.83/128.32 c #Conflicts: 39000 | #Constraints: 26635
124.83/128.32 c #Conflicts: 40000 | #Constraints: 27635
124.83/128.32 c #Conflicts: 41000 | #Constraints: 28635
124.83/128.32 c #Conflicts: 42000 | #Constraints: 29635
124.83/128.32 c #Conflicts: 43000 | #Constraints: 30635
124.83/128.32 c #Conflicts: 44000 | #Constraints: 31635
124.83/128.32 c #Conflicts: 45000 | #Constraints: 32635
124.83/128.32 c #Conflicts: 46000 | #Constraints: 33635
124.83/128.32 c #Conflicts: 47000 | #Constraints: 34635
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 48000 | #Constraints: 26461
124.83/128.32 c #Conflicts: 49000 | #Constraints: 27461
124.83/128.32 c #Conflicts: 50000 | #Constraints: 28461
124.83/128.32 c #Conflicts: 51000 | #Constraints: 29461
124.83/128.32 c #Conflicts: 52000 | #Constraints: 30461
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 53000 | #Constraints: 23971
124.83/128.32 c #Conflicts: 54000 | #Constraints: 24971
124.83/128.32 c #Conflicts: 55000 | #Constraints: 25971
124.83/128.32 c #Conflicts: 56000 | #Constraints: 26971
124.83/128.32 c #Conflicts: 57000 | #Constraints: 27971
124.83/128.32 c #Conflicts: 58000 | #Constraints: 28971
124.83/128.32 c INPROCESSING
124.83/128.32 c GARBAGE COLLECT
124.83/128.32 c #Conflicts: 59000 | #Constraints: 23169
124.83/128.32 c #Conflicts: 60000 | #Constraints: 24169
124.83/128.32 c #Conflicts: 61000 | #Constraints: 25169
124.83/128.32 c #Conflicts: 62000 | #Constraints: 26169
124.83/128.32 c #Conflicts: 63000 | #Constraints: 27169
124.83/128.32 c #Conflicts: 64000 | #Constraints: 28169
124.83/128.32 c #Conflicts: 65000 | #Constraints: 29169
124.83/128.32 c #Conflicts: 66000 | #Constraints: 30169
124.83/128.32 c #Conflicts: 67000 | #Constraints: 31169
124.83/128.32 c #Conflicts: 68000 | #Constraints: 32169
124.83/128.32 c #Conflicts: 69000 | #Constraints: 33169
124.83/128.32 c #Conflicts: 70000 | #Constraints: 34169
124.83/128.32 c #Conflicts: 71000 | #Constraints: 35169
124.83/128.32 c #Conflicts: 72000 | #Constraints: 36169
267.66/271.62 c #Conflicts: 73000 | #Constraints: 37169
267.66/271.62 c #Conflicts: 74000 | #Constraints: 38169
267.66/271.62 c #Conflicts: 75000 | #Constraints: 39169
267.66/271.62 c #Conflicts: 76000 | #Constraints: 40169
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 77000 | #Constraints: 28916
267.66/271.62 c #Conflicts: 78000 | #Constraints: 29916
267.66/271.62 c #Conflicts: 79000 | #Constraints: 30916
267.66/271.62 c #Conflicts: 80000 | #Constraints: 31916
267.66/271.62 c #Conflicts: 81000 | #Constraints: 32916
267.66/271.62 c #Conflicts: 82000 | #Constraints: 33916
267.66/271.62 c #Conflicts: 83000 | #Constraints: 34916
267.66/271.62 c #Conflicts: 84000 | #Constraints: 35916
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 85000 | #Constraints: 27261
267.66/271.62 c #Conflicts: 86000 | #Constraints: 28261
267.66/271.62 c #Conflicts: 87000 | #Constraints: 29261
267.66/271.62 c #Conflicts: 88000 | #Constraints: 30261
267.66/271.62 c #Conflicts: 89000 | #Constraints: 31261
267.66/271.62 c #Conflicts: 90000 | #Constraints: 32261
267.66/271.62 c #Conflicts: 91000 | #Constraints: 33261
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 92000 | #Constraints: 25626
267.66/271.62 c #Conflicts: 93000 | #Constraints: 26626
267.66/271.62 c #Conflicts: 94000 | #Constraints: 27626
267.66/271.62 c #Conflicts: 95000 | #Constraints: 28626
267.66/271.62 c #Conflicts: 96000 | #Constraints: 29626
267.66/271.62 c #Conflicts: 97000 | #Constraints: 30626
267.66/271.62 c #Conflicts: 98000 | #Constraints: 31626
267.66/271.62 c #Conflicts: 99000 | #Constraints: 32626
267.66/271.62 c #Conflicts: 100000 | #Constraints: 33626
267.66/271.62 c #Conflicts: 101000 | #Constraints: 34627
267.66/271.62 c #Conflicts: 102000 | #Constraints: 35627
267.66/271.62 c #Conflicts: 103000 | #Constraints: 36627
267.66/271.62 c #Conflicts: 104000 | #Constraints: 37627
267.66/271.62 c #Conflicts: 105000 | #Constraints: 38627
267.66/271.62 c #Conflicts: 106000 | #Constraints: 39627
267.66/271.62 c #Conflicts: 107000 | #Constraints: 40627
267.66/271.62 c #Conflicts: 108000 | #Constraints: 41627
267.66/271.62 c #Conflicts: 109000 | #Constraints: 42627
267.66/271.62 c #Conflicts: 110000 | #Constraints: 43627
267.66/271.62 c #Conflicts: 111000 | #Constraints: 44627
267.66/271.62 c #Conflicts: 112000 | #Constraints: 45627
267.66/271.62 c #Conflicts: 113000 | #Constraints: 46627
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 114000 | #Constraints: 32314
267.66/271.62 c #Conflicts: 115000 | #Constraints: 33314
267.66/271.62 c #Conflicts: 116000 | #Constraints: 34314
267.66/271.62 c #Conflicts: 117000 | #Constraints: 35314
267.66/271.62 c #Conflicts: 118000 | #Constraints: 36314
267.66/271.62 c #Conflicts: 119000 | #Constraints: 37314
267.66/271.62 c #Conflicts: 120000 | #Constraints: 38314
267.66/271.62 c #Conflicts: 121000 | #Constraints: 39314
267.66/271.62 c #Conflicts: 122000 | #Constraints: 40314
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 123000 | #Constraints: 29290
267.66/271.62 c #Conflicts: 124000 | #Constraints: 30290
267.66/271.62 c #Conflicts: 125000 | #Constraints: 31290
267.66/271.62 c #Conflicts: 126000 | #Constraints: 32290
267.66/271.62 c #Conflicts: 127000 | #Constraints: 33290
267.66/271.62 c #Conflicts: 128000 | #Constraints: 34290
267.66/271.62 c #Conflicts: 129000 | #Constraints: 35290
267.66/271.62 c #Conflicts: 130000 | #Constraints: 36290
267.66/271.62 c #Conflicts: 131000 | #Constraints: 37290
267.66/271.62 c INPROCESSING
267.66/271.62 c GARBAGE COLLECT
267.66/271.62 c #Conflicts: 132000 | #Constraints: 28042
267.66/271.62 c #Conflicts: 133000 | #Constraints: 29042
267.66/271.62 c #Conflicts: 134000 | #Constraints: 30042
267.66/271.62 c #Conflicts: 135000 | #Constraints: 31042
267.66/271.62 c #Conflicts: 136000 | #Constraints: 32042
267.66/271.62 c #Conflicts: 137000 | #Constraints: 33042
267.66/271.62 c #Conflicts: 138000 | #Constraints: 34042
267.66/271.62 c #Conflicts: 139000 | #Constraints: 35042
267.66/271.62 c #Conflicts: 140000 | #Constraints: 36042
267.66/271.62 c #Conflicts: 141000 | #Constraints: 37042
267.66/271.62 c #Conflicts: 142000 | #Constraints: 38042
267.66/271.62 c #Conflicts: 143000 | #Constraints: 39042
267.66/271.62 c #Conflicts: 144000 | #Constraints: 40042
267.66/271.62 c #Conflicts: 145000 | #Constraints: 41042
267.66/271.62 c #Conflicts: 146000 | #Constraints: 42042
267.66/271.62 c #Conflicts: 147000 | #Constraints: 43042
458.44/463.07 c #Conflicts: 148000 | #Constraints: 44042
458.44/463.07 c #Conflicts: 149000 | #Constraints: 45042
458.44/463.07 c #Conflicts: 150000 | #Constraints: 46042
458.44/463.07 c #Conflicts: 151000 | #Constraints: 47042
458.44/463.07 c #Conflicts: 152000 | #Constraints: 48042
458.44/463.07 c #Conflicts: 153000 | #Constraints: 49042
458.44/463.07 c #Conflicts: 154000 | #Constraints: 50042
458.44/463.07 c #Conflicts: 155000 | #Constraints: 51042
458.44/463.07 c #Conflicts: 156000 | #Constraints: 52042
458.44/463.07 c #Conflicts: 157000 | #Constraints: 53042
458.44/463.07 c INPROCESSING
458.44/463.07 c GARBAGE COLLECT
458.44/463.07 c #Conflicts: 158000 | #Constraints: 35601
458.44/463.07 c #Conflicts: 159000 | #Constraints: 36601
458.44/463.07 c #Conflicts: 160000 | #Constraints: 37601
458.44/463.07 c #Conflicts: 161000 | #Constraints: 38601
458.44/463.07 c #Conflicts: 162000 | #Constraints: 39601
458.44/463.07 c #Conflicts: 163000 | #Constraints: 40601
458.44/463.07 c #Conflicts: 164000 | #Constraints: 41601
458.44/463.07 c #Conflicts: 165000 | #Constraints: 42601
458.44/463.07 c #Conflicts: 166000 | #Constraints: 43601
458.44/463.07 c #Conflicts: 167000 | #Constraints: 44601
458.44/463.07 c #Conflicts: 168000 | #Constraints: 45601
458.44/463.07 c INPROCESSING
458.44/463.07 c GARBAGE COLLECT
458.44/463.07 c #Conflicts: 169000 | #Constraints: 32267
458.44/463.07 c #Conflicts: 170000 | #Constraints: 33267
458.44/463.07 c #Conflicts: 171000 | #Constraints: 34267
458.44/463.07 c #Conflicts: 172000 | #Constraints: 35267
458.44/463.07 c #Conflicts: 173000 | #Constraints: 36267
458.44/463.07 c #Conflicts: 174000 | #Constraints: 37267
458.44/463.07 c #Conflicts: 175000 | #Constraints: 38267
458.44/463.07 c #Conflicts: 176000 | #Constraints: 39267
458.44/463.07 c #Conflicts: 177000 | #Constraints: 40267
458.44/463.07 c #Conflicts: 178000 | #Constraints: 41267
458.44/463.07 c INPROCESSING
458.44/463.07 c GARBAGE COLLECT
458.44/463.07 c #Conflicts: 179000 | #Constraints: 30747
458.44/463.07 c #Conflicts: 180000 | #Constraints: 31747
458.44/463.07 c #Conflicts: 181000 | #Constraints: 32747
458.44/463.07 c #Conflicts: 182000 | #Constraints: 33747
458.44/463.07 c #Conflicts: 183000 | #Constraints: 34747
458.44/463.07 c #Conflicts: 184000 | #Constraints: 35747
458.44/463.07 c #Conflicts: 185000 | #Constraints: 36747
458.44/463.07 c #Conflicts: 186000 | #Constraints: 37747
458.44/463.07 c #Conflicts: 187000 | #Constraints: 38747
458.44/463.07 c #Conflicts: 188000 | #Constraints: 39747
458.44/463.07 c #Conflicts: 189000 | #Constraints: 40747
458.44/463.07 c #Conflicts: 190000 | #Constraints: 41747
458.44/463.07 c #Conflicts: 191000 | #Constraints: 42747
458.44/463.07 c #Conflicts: 192000 | #Constraints: 43747
458.44/463.07 c #Conflicts: 193000 | #Constraints: 44747
458.44/463.07 c #Conflicts: 194000 | #Constraints: 45747
458.44/463.07 c #Conflicts: 195000 | #Constraints: 46747
458.44/463.07 c #Conflicts: 196000 | #Constraints: 47747
458.44/463.07 c #Conflicts: 197000 | #Constraints: 48747
458.44/463.07 c #Conflicts: 198000 | #Constraints: 49747
458.44/463.07 c #Conflicts: 199000 | #Constraints: 50747
458.44/463.07 c #Conflicts: 200000 | #Constraints: 51747
458.44/463.07 c #Conflicts: 201000 | #Constraints: 52747
458.44/463.07 c #Conflicts: 202000 | #Constraints: 53747
458.44/463.07 c #Conflicts: 203000 | #Constraints: 54747
458.44/463.07 c #Conflicts: 204000 | #Constraints: 55747
458.44/463.07 c #Conflicts: 205000 | #Constraints: 56747
458.44/463.07 c #Conflicts: 206000 | #Constraints: 57747
458.44/463.07 c #Conflicts: 207000 | #Constraints: 58747
458.44/463.07 c #Conflicts: 208000 | #Constraints: 59747
458.44/463.07 c #Conflicts: 209000 | #Constraints: 60747
458.44/463.07 c INPROCESSING
458.44/463.07 c GARBAGE COLLECT
458.44/463.07 c #Conflicts: 210000 | #Constraints: 39813
458.44/463.07 c #Conflicts: 211000 | #Constraints: 40813
458.44/463.07 c #Conflicts: 212000 | #Constraints: 41813
458.44/463.07 c #Conflicts: 213000 | #Constraints: 42813
458.44/463.07 c #Conflicts: 214000 | #Constraints: 43813
458.44/463.07 c #Conflicts: 215000 | #Constraints: 44813
458.44/463.07 c #Conflicts: 216000 | #Constraints: 45813
458.44/463.07 c #Conflicts: 217000 | #Constraints: 46813
458.44/463.07 c #Conflicts: 218000 | #Constraints: 47813
458.44/463.07 c #Conflicts: 219000 | #Constraints: 48813
458.44/463.07 c #Conflicts: 220000 | #Constraints: 49813
458.44/463.07 c INPROCESSING
458.44/463.07 c GARBAGE COLLECT
458.44/463.07 c rational objective 134
633.86/639.03 c #Conflicts: 221000 | #Constraints: 33890
633.86/639.03 c #Conflicts: 222000 | #Constraints: 34890
633.86/639.03 c #Conflicts: 223000 | #Constraints: 35890
633.86/639.03 c #Conflicts: 224000 | #Constraints: 36890
633.86/639.03 c #Conflicts: 225000 | #Constraints: 37890
633.86/639.03 c #Conflicts: 226000 | #Constraints: 38890
633.86/639.03 c #Conflicts: 227000 | #Constraints: 39890
633.86/639.03 c #Conflicts: 228000 | #Constraints: 40890
633.86/639.03 c #Conflicts: 229000 | #Constraints: 41890
633.86/639.03 c #Conflicts: 230000 | #Constraints: 42890
633.86/639.03 c #Conflicts: 231000 | #Constraints: 43890
633.86/639.03 c #Conflicts: 232000 | #Constraints: 44890
633.86/639.03 c INPROCESSING
633.86/639.03 c GARBAGE COLLECT
633.86/639.03 c #Conflicts: 233000 | #Constraints: 32367
633.86/639.03 c #Conflicts: 234000 | #Constraints: 33367
633.86/639.03 c #Conflicts: 235000 | #Constraints: 34367
633.86/639.03 c #Conflicts: 236000 | #Constraints: 35367
633.86/639.03 c #Conflicts: 237000 | #Constraints: 36367
633.86/639.03 c #Conflicts: 238000 | #Constraints: 37367
633.86/639.03 c #Conflicts: 239000 | #Constraints: 38367
633.86/639.03 c #Conflicts: 240000 | #Constraints: 39367
633.86/639.03 c #Conflicts: 241000 | #Constraints: 40367
633.86/639.03 c #Conflicts: 242000 | #Constraints: 41367
633.86/639.03 c #Conflicts: 243000 | #Constraints: 42367
633.86/639.03 c #Conflicts: 244000 | #Constraints: 43367
633.86/639.03 c #Conflicts: 245000 | #Constraints: 44367
633.86/639.03 c #Conflicts: 246000 | #Constraints: 45367
633.86/639.03 c #Conflicts: 247000 | #Constraints: 46367
633.86/639.03 c #Conflicts: 248000 | #Constraints: 47367
633.86/639.03 c #Conflicts: 249000 | #Constraints: 48367
633.86/639.03 c #Conflicts: 250000 | #Constraints: 49367
633.86/639.03 c #Conflicts: 251000 | #Constraints: 50368
633.86/639.03 c #Conflicts: 252000 | #Constraints: 51368
633.86/639.03 c #Conflicts: 253000 | #Constraints: 52368
633.86/639.03 c #Conflicts: 254000 | #Constraints: 53368
633.86/639.03 c #Conflicts: 255000 | #Constraints: 54368
633.86/639.03 c #Conflicts: 256000 | #Constraints: 55368
633.86/639.03 c #Conflicts: 257000 | #Constraints: 56368
633.86/639.03 c #Conflicts: 258000 | #Constraints: 57368
633.86/639.03 c #Conflicts: 259000 | #Constraints: 58368
633.86/639.03 c #Conflicts: 260000 | #Constraints: 59368
633.86/639.03 c #Conflicts: 261000 | #Constraints: 60368
633.86/639.03 c #Conflicts: 262000 | #Constraints: 61368
633.86/639.03 c #Conflicts: 263000 | #Constraints: 62368
633.86/639.03 c #Conflicts: 264000 | #Constraints: 63368
633.86/639.03 c #Conflicts: 265000 | #Constraints: 64368
633.86/639.03 c #Conflicts: 266000 | #Constraints: 65368
633.86/639.03 c #Conflicts: 267000 | #Constraints: 66368
633.86/639.03 c INPROCESSING
633.86/639.03 c GARBAGE COLLECT
633.86/639.03 c #Conflicts: 268000 | #Constraints: 42323
633.86/639.03 c #Conflicts: 269000 | #Constraints: 43323
633.86/639.03 c #Conflicts: 270000 | #Constraints: 44323
633.86/639.03 c #Conflicts: 271000 | #Constraints: 45323
633.86/639.03 c #Conflicts: 272000 | #Constraints: 46323
633.86/639.03 c #Conflicts: 273000 | #Constraints: 47323
633.86/639.03 c #Conflicts: 274000 | #Constraints: 48323
633.86/639.03 c #Conflicts: 275000 | #Constraints: 49323
633.86/639.03 c #Conflicts: 276000 | #Constraints: 50323
633.86/639.03 c #Conflicts: 277000 | #Constraints: 51323
633.86/639.03 c #Conflicts: 278000 | #Constraints: 52323
633.86/639.03 c #Conflicts: 279000 | #Constraints: 53323
633.86/639.03 c #Conflicts: 280000 | #Constraints: 54323
633.86/639.03 c INPROCESSING
633.86/639.03 c GARBAGE COLLECT
633.86/639.03 c #Conflicts: 281000 | #Constraints: 36326
633.86/639.03 c #Conflicts: 282000 | #Constraints: 37326
633.86/639.03 c #Conflicts: 283000 | #Constraints: 38326
633.86/639.03 c #Conflicts: 284000 | #Constraints: 39326
633.86/639.03 c #Conflicts: 285000 | #Constraints: 40326
633.86/639.03 c #Conflicts: 286000 | #Constraints: 41326
633.86/639.03 c #Conflicts: 287000 | #Constraints: 42326
633.86/639.03 c #Conflicts: 288000 | #Constraints: 43326
633.86/639.03 c #Conflicts: 289000 | #Constraints: 44326
633.86/639.03 c #Conflicts: 290000 | #Constraints: 45326
633.86/639.03 c #Conflicts: 291000 | #Constraints: 46326
633.86/639.03 c #Conflicts: 292000 | #Constraints: 47326
633.86/639.03 c #Conflicts: 293000 | #Constraints: 48326
633.86/639.03 c #Conflicts: 294000 | #Constraints: 49326
633.86/639.03 c INPROCESSING
633.86/639.03 c GARBAGE COLLECT
633.86/639.03 c #Conflicts: 295000 | #Constraints: 35741
633.86/639.03 c #Conflicts: 296000 | #Constraints: 36741
633.86/639.03 c #Conflicts: 297000 | #Constraints: 37741
799.33/805.06 c #Conflicts: 298000 | #Constraints: 38741
799.33/805.06 c #Conflicts: 299000 | #Constraints: 39741
799.33/805.06 c #Conflicts: 300000 | #Constraints: 40741
799.33/805.06 c #Conflicts: 301000 | #Constraints: 41741
799.33/805.06 c #Conflicts: 302000 | #Constraints: 42741
799.33/805.06 c #Conflicts: 303000 | #Constraints: 43741
799.33/805.06 c #Conflicts: 304000 | #Constraints: 44741
799.33/805.06 c #Conflicts: 305000 | #Constraints: 45741
799.33/805.06 c #Conflicts: 306000 | #Constraints: 46741
799.33/805.06 c #Conflicts: 307000 | #Constraints: 47741
799.33/805.06 c #Conflicts: 308000 | #Constraints: 48741
799.33/805.06 c #Conflicts: 309000 | #Constraints: 49741
799.33/805.06 c #Conflicts: 310000 | #Constraints: 50741
799.33/805.06 c #Conflicts: 311000 | #Constraints: 51741
799.33/805.06 c #Conflicts: 312000 | #Constraints: 52741
799.33/805.06 c #Conflicts: 313000 | #Constraints: 53741
799.33/805.06 c #Conflicts: 314000 | #Constraints: 54741
799.33/805.06 c #Conflicts: 315000 | #Constraints: 55741
799.33/805.06 c #Conflicts: 316000 | #Constraints: 56741
799.33/805.06 c #Conflicts: 317000 | #Constraints: 57741
799.33/805.06 c #Conflicts: 318000 | #Constraints: 58741
799.33/805.06 c #Conflicts: 319000 | #Constraints: 59741
799.33/805.06 c #Conflicts: 320000 | #Constraints: 60741
799.33/805.06 c #Conflicts: 321000 | #Constraints: 61741
799.33/805.06 c #Conflicts: 322000 | #Constraints: 62741
799.33/805.06 c #Conflicts: 323000 | #Constraints: 63741
799.33/805.06 c #Conflicts: 324000 | #Constraints: 64741
799.33/805.06 c #Conflicts: 325000 | #Constraints: 65741
799.33/805.06 c #Conflicts: 326000 | #Constraints: 66741
799.33/805.06 c #Conflicts: 327000 | #Constraints: 67741
799.33/805.06 c #Conflicts: 328000 | #Constraints: 68741
799.33/805.06 c #Conflicts: 329000 | #Constraints: 69741
799.33/805.06 c #Conflicts: 330000 | #Constraints: 70741
799.33/805.06 c #Conflicts: 331000 | #Constraints: 71741
799.33/805.06 c #Conflicts: 332000 | #Constraints: 72741
799.33/805.06 c #Conflicts: 333000 | #Constraints: 73741
799.33/805.06 c INPROCESSING
799.33/805.06 c GARBAGE COLLECT
799.33/805.06 c #Conflicts: 334000 | #Constraints: 46401
799.33/805.06 c #Conflicts: 335000 | #Constraints: 47401
799.33/805.06 c #Conflicts: 336000 | #Constraints: 48401
799.33/805.06 c #Conflicts: 337000 | #Constraints: 49401
799.33/805.06 c #Conflicts: 338000 | #Constraints: 50401
799.33/805.06 c #Conflicts: 339000 | #Constraints: 51401
799.33/805.06 c #Conflicts: 340000 | #Constraints: 52401
799.33/805.06 c #Conflicts: 341000 | #Constraints: 53401
799.33/805.06 c #Conflicts: 342000 | #Constraints: 54401
799.33/805.06 c #Conflicts: 343000 | #Constraints: 55401
799.33/805.06 c #Conflicts: 344000 | #Constraints: 56401
799.33/805.06 c #Conflicts: 345000 | #Constraints: 57401
799.33/805.06 c #Conflicts: 346000 | #Constraints: 58401
799.33/805.06 c #Conflicts: 347000 | #Constraints: 59401
799.33/805.06 c #Conflicts: 348000 | #Constraints: 60401
799.33/805.06 c INPROCESSING
799.33/805.06 c GARBAGE COLLECT
799.33/805.06 c #Conflicts: 349000 | #Constraints: 39869
799.33/805.06 c #Conflicts: 350000 | #Constraints: 40869
799.33/805.06 c #Conflicts: 351000 | #Constraints: 41869
799.33/805.06 c #Conflicts: 352000 | #Constraints: 42869
799.33/805.06 c #Conflicts: 353000 | #Constraints: 43869
799.33/805.06 c #Conflicts: 354000 | #Constraints: 44869
799.33/805.06 c #Conflicts: 355000 | #Constraints: 45869
799.33/805.06 c #Conflicts: 356000 | #Constraints: 46869
799.33/805.06 c #Conflicts: 357000 | #Constraints: 47869
799.33/805.06 c #Conflicts: 358000 | #Constraints: 48869
799.33/805.06 c #Conflicts: 359000 | #Constraints: 49869
799.33/805.06 c #Conflicts: 360000 | #Constraints: 50869
799.33/805.06 c #Conflicts: 361000 | #Constraints: 51869
799.33/805.06 c #Conflicts: 362000 | #Constraints: 52869
799.33/805.06 c #Conflicts: 363000 | #Constraints: 53869
799.33/805.06 c INPROCESSING
799.33/805.06 c GARBAGE COLLECT
799.33/805.06 c #Conflicts: 364000 | #Constraints: 38763
799.33/805.06 c #Conflicts: 365000 | #Constraints: 39763
799.33/805.06 c #Conflicts: 366000 | #Constraints: 40763
799.33/805.06 c #Conflicts: 367000 | #Constraints: 41763
799.33/805.06 c #Conflicts: 368000 | #Constraints: 42763
799.33/805.06 c #Conflicts: 369000 | #Constraints: 43763
799.33/805.06 c #Conflicts: 370000 | #Constraints: 44763
799.33/805.06 c #Conflicts: 371000 | #Constraints: 45763
799.33/805.06 c #Conflicts: 372000 | #Constraints: 46763
799.33/805.06 c #Conflicts: 373000 | #Constraints: 47763
799.33/805.06 c #Conflicts: 374000 | #Constraints: 48763
1037.94/1044.48 c #Conflicts: 375000 | #Constraints: 49763
1037.94/1044.48 c #Conflicts: 376000 | #Constraints: 50763
1037.94/1044.48 c #Conflicts: 377000 | #Constraints: 51763
1037.94/1044.48 c #Conflicts: 378000 | #Constraints: 52763
1037.94/1044.48 c #Conflicts: 379000 | #Constraints: 53763
1037.94/1044.48 c #Conflicts: 380000 | #Constraints: 54763
1037.94/1044.48 c #Conflicts: 381000 | #Constraints: 55763
1037.94/1044.48 c #Conflicts: 382000 | #Constraints: 56763
1037.94/1044.48 c #Conflicts: 383000 | #Constraints: 57763
1037.94/1044.48 c #Conflicts: 384000 | #Constraints: 58763
1037.94/1044.48 c #Conflicts: 385000 | #Constraints: 59763
1037.94/1044.48 c #Conflicts: 386000 | #Constraints: 60763
1037.94/1044.48 c #Conflicts: 387000 | #Constraints: 61763
1037.94/1044.48 c #Conflicts: 388000 | #Constraints: 62763
1037.94/1044.48 c #Conflicts: 389000 | #Constraints: 63763
1037.94/1044.48 c #Conflicts: 390000 | #Constraints: 64763
1037.94/1044.48 c #Conflicts: 391000 | #Constraints: 65763
1037.94/1044.48 c #Conflicts: 392000 | #Constraints: 66763
1037.94/1044.48 c #Conflicts: 393000 | #Constraints: 67763
1037.94/1044.48 c #Conflicts: 394000 | #Constraints: 68763
1037.94/1044.48 c #Conflicts: 395000 | #Constraints: 69763
1037.94/1044.48 c #Conflicts: 396000 | #Constraints: 70763
1037.94/1044.48 c #Conflicts: 397000 | #Constraints: 71763
1037.94/1044.48 c #Conflicts: 398000 | #Constraints: 72763
1037.94/1044.48 c #Conflicts: 399000 | #Constraints: 73763
1037.94/1044.48 c #Conflicts: 400000 | #Constraints: 74763
1037.94/1044.48 c #Conflicts: 401000 | #Constraints: 75763
1037.94/1044.48 c #Conflicts: 402000 | #Constraints: 76763
1037.94/1044.48 c #Conflicts: 403000 | #Constraints: 77763
1037.94/1044.48 c #Conflicts: 404000 | #Constraints: 78763
1037.94/1044.48 c #Conflicts: 405000 | #Constraints: 79763
1037.94/1044.48 c #Conflicts: 406000 | #Constraints: 80763
1037.94/1044.48 c INPROCESSING
1037.94/1044.48 c GARBAGE COLLECT
1037.94/1044.48 c #Conflicts: 407000 | #Constraints: 49890
1037.94/1044.48 c #Conflicts: 408000 | #Constraints: 50890
1037.94/1044.48 c #Conflicts: 409000 | #Constraints: 51890
1037.94/1044.48 c #Conflicts: 410000 | #Constraints: 52890
1037.94/1044.48 c #Conflicts: 411000 | #Constraints: 53890
1037.94/1044.48 c #Conflicts: 412000 | #Constraints: 54890
1037.94/1044.48 c #Conflicts: 413000 | #Constraints: 55890
1037.94/1044.48 c #Conflicts: 414000 | #Constraints: 56890
1037.94/1044.48 c #Conflicts: 415000 | #Constraints: 57890
1037.94/1044.48 c #Conflicts: 416000 | #Constraints: 58890
1037.94/1044.48 c #Conflicts: 417000 | #Constraints: 59890
1037.94/1044.48 c #Conflicts: 418000 | #Constraints: 60890
1037.94/1044.48 c #Conflicts: 419000 | #Constraints: 61890
1037.94/1044.48 c #Conflicts: 420000 | #Constraints: 62890
1037.94/1044.48 c #Conflicts: 421000 | #Constraints: 63890
1037.94/1044.48 c #Conflicts: 422000 | #Constraints: 64890
1037.94/1044.48 c INPROCESSING
1037.94/1044.48 c GARBAGE COLLECT
1037.94/1044.48 c #Conflicts: 423000 | #Constraints: 41937
1037.94/1044.48 c #Conflicts: 424000 | #Constraints: 42937
1037.94/1044.48 c #Conflicts: 425000 | #Constraints: 43937
1037.94/1044.48 c #Conflicts: 426000 | #Constraints: 44937
1037.94/1044.48 c #Conflicts: 427000 | #Constraints: 45937
1037.94/1044.48 c #Conflicts: 428000 | #Constraints: 46937
1037.94/1044.48 c #Conflicts: 429000 | #Constraints: 47937
1037.94/1044.48 c #Conflicts: 430000 | #Constraints: 48937
1037.94/1044.48 c #Conflicts: 431000 | #Constraints: 49937
1037.94/1044.48 c #Conflicts: 432000 | #Constraints: 50937
1037.94/1044.48 c #Conflicts: 433000 | #Constraints: 51937
1037.94/1044.48 c #Conflicts: 434000 | #Constraints: 52937
1037.94/1044.48 c #Conflicts: 435000 | #Constraints: 53937
1037.94/1044.48 c #Conflicts: 436000 | #Constraints: 54937
1037.94/1044.48 c #Conflicts: 437000 | #Constraints: 55937
1037.94/1044.48 c #Conflicts: 438000 | #Constraints: 56937
1037.94/1044.48 c INPROCESSING
1037.94/1044.48 c GARBAGE COLLECT
1037.94/1044.48 c #Conflicts: 439000 | #Constraints: 40565
1037.94/1044.48 c #Conflicts: 440000 | #Constraints: 41565
1037.94/1044.48 c #Conflicts: 441000 | #Constraints: 42566
1037.94/1044.48 c #Conflicts: 442000 | #Constraints: 43566
1037.94/1044.48 c #Conflicts: 443000 | #Constraints: 44566
1037.94/1044.48 c #Conflicts: 444000 | #Constraints: 45566
1037.94/1044.48 c #Conflicts: 445000 | #Constraints: 46566
1037.94/1044.48 c #Conflicts: 446000 | #Constraints: 47566
1037.94/1044.48 c #Conflicts: 447000 | #Constraints: 48566
1037.94/1044.48 c #Conflicts: 448000 | #Constraints: 49566
1037.94/1044.48 c #Conflicts: 449000 | #Constraints: 50566
1037.94/1044.48 c #Conflicts: 450000 | #Constraints: 51566
1497.15/1505.13 c #Conflicts: 451000 | #Constraints: 52566
1497.15/1505.13 c #Conflicts: 452000 | #Constraints: 53566
1497.15/1505.13 c #Conflicts: 453000 | #Constraints: 54566
1497.15/1505.13 c #Conflicts: 454000 | #Constraints: 55566
1497.15/1505.13 c #Conflicts: 455000 | #Constraints: 56566
1497.15/1505.13 c #Conflicts: 456000 | #Constraints: 57566
1497.15/1505.13 c #Conflicts: 457000 | #Constraints: 58566
1497.15/1505.13 c #Conflicts: 458000 | #Constraints: 59566
1497.15/1505.13 c #Conflicts: 459000 | #Constraints: 60566
1497.15/1505.13 c #Conflicts: 460000 | #Constraints: 61566
1497.15/1505.13 c #Conflicts: 461000 | #Constraints: 62566
1497.15/1505.13 c #Conflicts: 462000 | #Constraints: 63566
1497.15/1505.13 c #Conflicts: 463000 | #Constraints: 64566
1497.15/1505.13 c #Conflicts: 464000 | #Constraints: 65566
1497.15/1505.13 c #Conflicts: 465000 | #Constraints: 66566
1497.15/1505.13 c #Conflicts: 466000 | #Constraints: 67566
1497.15/1505.13 c #Conflicts: 467000 | #Constraints: 68566
1497.15/1505.13 c #Conflicts: 468000 | #Constraints: 69566
1497.15/1505.13 c #Conflicts: 469000 | #Constraints: 70566
1497.15/1505.13 c #Conflicts: 470000 | #Constraints: 71566
1497.15/1505.13 c #Conflicts: 471000 | #Constraints: 72566
1497.15/1505.13 c #Conflicts: 472000 | #Constraints: 73566
1497.15/1505.13 c #Conflicts: 473000 | #Constraints: 74566
1497.15/1505.13 c #Conflicts: 474000 | #Constraints: 75566
1497.15/1505.13 c #Conflicts: 475000 | #Constraints: 76566
1497.15/1505.13 c #Conflicts: 476000 | #Constraints: 77566
1497.15/1505.13 c #Conflicts: 477000 | #Constraints: 78566
1497.15/1505.13 c #Conflicts: 478000 | #Constraints: 79566
1497.15/1505.13 c #Conflicts: 479000 | #Constraints: 80566
1497.15/1505.13 c #Conflicts: 480000 | #Constraints: 81566
1497.15/1505.13 c #Conflicts: 481000 | #Constraints: 82566
1497.15/1505.13 c #Conflicts: 482000 | #Constraints: 83566
1497.15/1505.13 c #Conflicts: 483000 | #Constraints: 84566
1497.15/1505.13 c #Conflicts: 484000 | #Constraints: 85566
1497.15/1505.13 c #Conflicts: 485000 | #Constraints: 86566
1497.15/1505.13 c #Conflicts: 486000 | #Constraints: 87566
1497.15/1505.13 c INPROCESSING
1497.15/1505.13 c GARBAGE COLLECT
1497.15/1505.13 c #Conflicts: 487000 | #Constraints: 53413
1497.15/1505.13 c #Conflicts: 488000 | #Constraints: 54413
1497.15/1505.13 c #Conflicts: 489000 | #Constraints: 55413
1497.15/1505.13 c #Conflicts: 490000 | #Constraints: 56413
1497.15/1505.13 c #Conflicts: 491000 | #Constraints: 57413
1497.15/1505.13 c #Conflicts: 492000 | #Constraints: 58413
1497.15/1505.13 c #Conflicts: 493000 | #Constraints: 59413
1497.15/1505.13 c #Conflicts: 494000 | #Constraints: 60413
1497.15/1505.13 c #Conflicts: 495000 | #Constraints: 61413
1497.15/1505.13 c #Conflicts: 496000 | #Constraints: 62413
1497.15/1505.13 c #Conflicts: 497000 | #Constraints: 63413
1497.15/1505.13 c #Conflicts: 498000 | #Constraints: 64413
1497.15/1505.13 c #Conflicts: 499000 | #Constraints: 65413
1497.15/1505.13 c #Conflicts: 500000 | #Constraints: 66413
1497.15/1505.13 c #Conflicts: 501000 | #Constraints: 67413
1497.15/1505.13 c #Conflicts: 502000 | #Constraints: 68413
1497.15/1505.13 c #Conflicts: 503000 | #Constraints: 69413
1497.15/1505.13 c #Conflicts: 504000 | #Constraints: 70413
1497.15/1505.13 c INPROCESSING
1497.15/1505.13 c GARBAGE COLLECT
1497.15/1505.13 c #Conflicts: 505000 | #Constraints: 44976
1497.15/1505.13 c #Conflicts: 506000 | #Constraints: 45976
1497.15/1505.13 c #Conflicts: 507000 | #Constraints: 46976
1497.15/1505.13 c #Conflicts: 508000 | #Constraints: 47976
1497.15/1505.13 c #Conflicts: 509000 | #Constraints: 48976
1497.15/1505.13 c #Conflicts: 510000 | #Constraints: 49976
1497.15/1505.13 c #Conflicts: 511000 | #Constraints: 50976
1497.15/1505.13 c #Conflicts: 512000 | #Constraints: 51976
1497.15/1505.13 c #Conflicts: 513000 | #Constraints: 52976
1497.15/1505.13 c #Conflicts: 514000 | #Constraints: 53976
1497.15/1505.13 c #Conflicts: 515000 | #Constraints: 54976
1497.15/1505.13 c #Conflicts: 516000 | #Constraints: 55976
1497.15/1505.13 c #Conflicts: 517000 | #Constraints: 56976
1497.15/1505.13 c #Conflicts: 518000 | #Constraints: 57976
1497.15/1505.13 c #Conflicts: 519000 | #Constraints: 58976
1497.15/1505.13 c #Conflicts: 520000 | #Constraints: 59976
1497.15/1505.13 c #Conflicts: 521000 | #Constraints: 60976
1497.15/1505.13 c #Conflicts: 522000 | #Constraints: 61976
1497.15/1505.13 c INPROCESSING
1497.15/1505.13 c GARBAGE COLLECT
1497.15/1505.13 c #Conflicts: 523000 | #Constraints: 43079
1497.15/1505.13 c #Conflicts: 524000 | #Constraints: 44079
1497.15/1505.13 c #Conflicts: 525000 | #Constraints: 45079
1497.15/1505.13 c #Conflicts: 526000 | #Constraints: 46079
1497.15/1505.13 c #Conflicts: 527000 | #Constraints: 47079
1761.97/1770.81 c #Conflicts: 528000 | #Constraints: 48079
1761.97/1770.81 c #Conflicts: 529000 | #Constraints: 49079
1761.97/1770.81 c #Conflicts: 530000 | #Constraints: 50079
1761.97/1770.81 c #Conflicts: 531000 | #Constraints: 51079
1761.97/1770.81 c #Conflicts: 532000 | #Constraints: 52079
1761.97/1770.81 c #Conflicts: 533000 | #Constraints: 53079
1761.97/1770.81 c #Conflicts: 534000 | #Constraints: 54079
1761.97/1770.81 c #Conflicts: 535000 | #Constraints: 55079
1761.97/1770.81 c #Conflicts: 536000 | #Constraints: 56079
1761.97/1770.81 c #Conflicts: 537000 | #Constraints: 57079
1761.97/1770.81 c #Conflicts: 538000 | #Constraints: 58079
1761.97/1770.81 c #Conflicts: 539000 | #Constraints: 59079
1761.97/1770.81 c #Conflicts: 540000 | #Constraints: 60079
1761.97/1770.81 c #Conflicts: 541000 | #Constraints: 61079
1761.97/1770.81 c #Conflicts: 542000 | #Constraints: 62079
1761.97/1770.81 c #Conflicts: 543000 | #Constraints: 63079
1761.97/1770.81 c #Conflicts: 544000 | #Constraints: 64079
1761.97/1770.81 c #Conflicts: 545000 | #Constraints: 65079
1761.97/1770.81 c #Conflicts: 546000 | #Constraints: 66079
1761.97/1770.81 c #Conflicts: 547000 | #Constraints: 67079
1761.97/1770.81 c #Conflicts: 548000 | #Constraints: 68079
1761.97/1770.81 c #Conflicts: 549000 | #Constraints: 69079
1761.97/1770.81 c #Conflicts: 550000 | #Constraints: 70079
1761.97/1770.81 c #Conflicts: 551000 | #Constraints: 71079
1761.97/1770.81 c #Conflicts: 552000 | #Constraints: 72079
1761.97/1770.81 c #Conflicts: 553000 | #Constraints: 73079
1761.97/1770.81 c #Conflicts: 554000 | #Constraints: 74079
1761.97/1770.81 c #Conflicts: 555000 | #Constraints: 75079
1761.97/1770.81 c #Conflicts: 556000 | #Constraints: 76079
1761.97/1770.81 c #Conflicts: 557000 | #Constraints: 77079
1761.97/1770.81 c #Conflicts: 558000 | #Constraints: 78079
1761.97/1770.81 c #Conflicts: 559000 | #Constraints: 79079
1761.97/1770.81 c #Conflicts: 560000 | #Constraints: 80079
1761.97/1770.81 c #Conflicts: 561000 | #Constraints: 81079
1761.97/1770.81 c #Conflicts: 562000 | #Constraints: 82079
1761.97/1770.81 c #Conflicts: 563000 | #Constraints: 83079
1761.97/1770.81 c #Conflicts: 564000 | #Constraints: 84079
1761.97/1770.81 c #Conflicts: 565000 | #Constraints: 85079
1761.97/1770.81 c #Conflicts: 566000 | #Constraints: 86079
1761.97/1770.81 c #Conflicts: 567000 | #Constraints: 87079
1761.97/1770.81 c #Conflicts: 568000 | #Constraints: 88079
1761.97/1770.81 c #Conflicts: 569000 | #Constraints: 89079
1761.97/1770.81 c #Conflicts: 570000 | #Constraints: 90079
1761.97/1770.81 c #Conflicts: 571000 | #Constraints: 91079
1761.97/1770.81 c #Conflicts: 572000 | #Constraints: 92079
1761.97/1770.81 c #Conflicts: 573000 | #Constraints: 93079
1761.97/1770.81 c INPROCESSING
1761.97/1770.81 c GARBAGE COLLECT
1761.97/1770.81 c #Conflicts: 574000 | #Constraints: 55950
1761.97/1770.81 c #Conflicts: 575000 | #Constraints: 56950
1761.97/1770.81 c #Conflicts: 576000 | #Constraints: 57950
1761.97/1770.81 c #Conflicts: 577000 | #Constraints: 58950
1761.97/1770.81 c #Conflicts: 578000 | #Constraints: 59950
1761.97/1770.81 c #Conflicts: 579000 | #Constraints: 60950
1761.97/1770.81 c #Conflicts: 580000 | #Constraints: 61951
1761.97/1770.81 c #Conflicts: 581000 | #Constraints: 62951
1761.97/1770.81 c #Conflicts: 582000 | #Constraints: 63951
1761.97/1770.81 c #Conflicts: 583000 | #Constraints: 64951
1761.97/1770.81 c #Conflicts: 584000 | #Constraints: 65951
1761.97/1770.81 c #Conflicts: 585000 | #Constraints: 66951
1761.97/1770.81 c #Conflicts: 586000 | #Constraints: 67951
1761.97/1770.81 c #Conflicts: 587000 | #Constraints: 68951
1761.97/1770.81 c #Conflicts: 588000 | #Constraints: 69951
1761.97/1770.81 c #Conflicts: 589000 | #Constraints: 70951
1761.97/1770.81 c #Conflicts: 590000 | #Constraints: 71951
1761.97/1770.81 c #Conflicts: 591000 | #Constraints: 72951
1761.97/1770.81 c #Conflicts: 592000 | #Constraints: 73951
1761.97/1770.81 c INPROCESSING
1761.97/1770.81 c GARBAGE COLLECT
1761.97/1770.81 c #Conflicts: 593000 | #Constraints: 46264
1761.97/1770.81 c #Conflicts: 594000 | #Constraints: 47264
1761.97/1770.81 c #Conflicts: 595000 | #Constraints: 48264
1761.97/1770.81 c #Conflicts: 596000 | #Constraints: 49264
1761.97/1770.81 c #Conflicts: 597000 | #Constraints: 50264
1761.97/1770.81 c #Conflicts: 598000 | #Constraints: 51264
1761.97/1770.81 c #Conflicts: 599000 | #Constraints: 52264
1761.97/1770.81 c #Conflicts: 600000 | #Constraints: 53264
1761.97/1770.81 c #Conflicts: 601000 | #Constraints: 54264
1761.97/1770.81 c #Conflicts: 602000 | #Constraints: 55264
1761.97/1770.81 c #Conflicts: 603000 | #Constraints: 56264
1761.97/1770.81 c #Conflicts: 604000 | #Constraints: 57264
1761.97/1770.81 c #Conflicts: 605000 | #Constraints: 58264
1985.80/1995.44 c #Conflicts: 606000 | #Constraints: 59264
1985.80/1995.44 c #Conflicts: 607000 | #Constraints: 60264
1985.80/1995.44 c #Conflicts: 608000 | #Constraints: 61264
1985.80/1995.44 c #Conflicts: 609000 | #Constraints: 62264
1985.80/1995.44 c #Conflicts: 610000 | #Constraints: 63264
1985.80/1995.44 c #Conflicts: 611000 | #Constraints: 64264
1985.80/1995.44 c #Conflicts: 612000 | #Constraints: 65264
1985.80/1995.44 c INPROCESSING
1985.80/1995.44 c GARBAGE COLLECT
1985.80/1995.44 c #Conflicts: 613000 | #Constraints: 45309
1985.80/1995.44 c #Conflicts: 614000 | #Constraints: 46309
1985.80/1995.44 c #Conflicts: 615000 | #Constraints: 47309
1985.80/1995.44 c #Conflicts: 616000 | #Constraints: 48309
1985.80/1995.44 c #Conflicts: 617000 | #Constraints: 49309
1985.80/1995.44 c #Conflicts: 618000 | #Constraints: 50309
1985.80/1995.44 c #Conflicts: 619000 | #Constraints: 51309
1985.80/1995.44 c #Conflicts: 620000 | #Constraints: 52309
1985.80/1995.44 c #Conflicts: 621000 | #Constraints: 53309
1985.80/1995.44 c #Conflicts: 622000 | #Constraints: 54309
1985.80/1995.44 c #Conflicts: 623000 | #Constraints: 55309
1985.80/1995.44 c #Conflicts: 624000 | #Constraints: 56309
1985.80/1995.44 c #Conflicts: 625000 | #Constraints: 57309
1985.80/1995.44 c #Conflicts: 626000 | #Constraints: 58309
1985.80/1995.44 c #Conflicts: 627000 | #Constraints: 59309
1985.80/1995.44 c #Conflicts: 628000 | #Constraints: 60309
1985.80/1995.44 c #Conflicts: 629000 | #Constraints: 61309
1985.80/1995.44 c #Conflicts: 630000 | #Constraints: 62309
1985.80/1995.44 c #Conflicts: 631000 | #Constraints: 63309
1985.80/1995.44 c #Conflicts: 632000 | #Constraints: 64309
1985.80/1995.44 c #Conflicts: 633000 | #Constraints: 65309
1985.80/1995.44 c #Conflicts: 634000 | #Constraints: 66309
1985.80/1995.44 c #Conflicts: 635000 | #Constraints: 67309
1985.80/1995.44 c #Conflicts: 636000 | #Constraints: 68309
1985.80/1995.44 c #Conflicts: 637000 | #Constraints: 69309
1985.80/1995.44 c #Conflicts: 638000 | #Constraints: 70309
1985.80/1995.44 c #Conflicts: 639000 | #Constraints: 71309
1985.80/1995.44 c #Conflicts: 640000 | #Constraints: 72309
1985.80/1995.44 c #Conflicts: 641000 | #Constraints: 73309
1985.80/1995.44 c #Conflicts: 642000 | #Constraints: 74309
1985.80/1995.44 c #Conflicts: 643000 | #Constraints: 75309
1985.80/1995.44 c #Conflicts: 644000 | #Constraints: 76309
1985.80/1995.44 c #Conflicts: 645000 | #Constraints: 77309
1985.80/1995.44 c #Conflicts: 646000 | #Constraints: 78309
1985.80/1995.44 c #Conflicts: 647000 | #Constraints: 79309
1985.80/1995.44 c #Conflicts: 648000 | #Constraints: 80309
1985.80/1995.44 c #Conflicts: 649000 | #Constraints: 81309
1985.80/1995.44 c #Conflicts: 650000 | #Constraints: 82309
1985.80/1995.44 c #Conflicts: 651000 | #Constraints: 83309
1985.80/1995.44 c #Conflicts: 652000 | #Constraints: 84309
1985.80/1995.44 c #Conflicts: 653000 | #Constraints: 85309
1985.80/1995.44 c #Conflicts: 654000 | #Constraints: 86309
1985.80/1995.44 c #Conflicts: 655000 | #Constraints: 87309
1985.80/1995.44 c #Conflicts: 656000 | #Constraints: 88309
1985.80/1995.44 c #Conflicts: 657000 | #Constraints: 89309
1985.80/1995.44 c #Conflicts: 658000 | #Constraints: 90309
1985.80/1995.44 c #Conflicts: 659000 | #Constraints: 91309
1985.80/1995.44 c #Conflicts: 660000 | #Constraints: 92309
1985.80/1995.44 c #Conflicts: 661000 | #Constraints: 93309
1985.80/1995.44 c #Conflicts: 662000 | #Constraints: 94309
1985.80/1995.44 c #Conflicts: 663000 | #Constraints: 95309
1985.80/1995.44 c #Conflicts: 664000 | #Constraints: 96309
1985.80/1995.44 c #Conflicts: 665000 | #Constraints: 97309
1985.80/1995.44 c #Conflicts: 666000 | #Constraints: 98309
1985.80/1995.44 c #Conflicts: 667000 | #Constraints: 99309
1985.80/1995.44 c #Conflicts: 668000 | #Constraints: 100309
1985.80/1995.44 c INPROCESSING
1985.80/1995.44 c GARBAGE COLLECT
1985.80/1995.44 c #Conflicts: 669000 | #Constraints: 59825
1985.80/1995.44 c #Conflicts: 670000 | #Constraints: 60825
1985.80/1995.44 c #Conflicts: 671000 | #Constraints: 61825
1985.80/1995.44 c #Conflicts: 672000 | #Constraints: 62825
1985.80/1995.44 c #Conflicts: 673000 | #Constraints: 63825
1985.80/1995.44 c #Conflicts: 674000 | #Constraints: 64825
1985.80/1995.44 c #Conflicts: 675000 | #Constraints: 65825
1985.80/1995.44 c #Conflicts: 676000 | #Constraints: 66825
1985.80/1995.44 c #Conflicts: 677000 | #Constraints: 67825
1985.80/1995.44 c #Conflicts: 678000 | #Constraints: 68825
1985.80/1995.44 c #Conflicts: 679000 | #Constraints: 69825
1985.80/1995.44 c #Conflicts: 680000 | #Constraints: 70825
1985.80/1995.44 c #Conflicts: 681000 | #Constraints: 71825
1985.80/1995.44 c #Conflicts: 682000 | #Constraints: 72825
2180.75/2191.10 c #Conflicts: 683000 | #Constraints: 73825
2180.75/2191.10 c #Conflicts: 684000 | #Constraints: 74825
2180.75/2191.10 c #Conflicts: 685000 | #Constraints: 75825
2180.75/2191.10 c #Conflicts: 686000 | #Constraints: 76825
2180.75/2191.10 c #Conflicts: 687000 | #Constraints: 77825
2180.75/2191.10 c #Conflicts: 688000 | #Constraints: 78825
2180.75/2191.10 c INPROCESSING
2180.75/2191.10 c GARBAGE COLLECT
2180.75/2191.10 c #Conflicts: 689000 | #Constraints: 48847
2180.75/2191.10 c #Conflicts: 690000 | #Constraints: 49847
2180.75/2191.10 c #Conflicts: 691000 | #Constraints: 50847
2180.75/2191.10 c #Conflicts: 692000 | #Constraints: 51847
2180.75/2191.10 c #Conflicts: 693000 | #Constraints: 52847
2180.75/2191.10 c #Conflicts: 694000 | #Constraints: 53847
2180.75/2191.10 c #Conflicts: 695000 | #Constraints: 54847
2180.75/2191.10 c #Conflicts: 696000 | #Constraints: 55847
2180.75/2191.10 c #Conflicts: 697000 | #Constraints: 56847
2180.75/2191.10 c #Conflicts: 698000 | #Constraints: 57847
2180.75/2191.10 c #Conflicts: 699000 | #Constraints: 58847
2180.75/2191.10 c #Conflicts: 700000 | #Constraints: 59847
2180.75/2191.10 c #Conflicts: 701000 | #Constraints: 60847
2180.75/2191.10 c #Conflicts: 702000 | #Constraints: 61847
2180.75/2191.10 c #Conflicts: 703000 | #Constraints: 62847
2180.75/2191.10 c #Conflicts: 704000 | #Constraints: 63847
2180.75/2191.10 c #Conflicts: 705000 | #Constraints: 64847
2180.75/2191.10 c #Conflicts: 706000 | #Constraints: 65847
2180.75/2191.10 c #Conflicts: 707000 | #Constraints: 66847
2180.75/2191.10 c #Conflicts: 708000 | #Constraints: 67847
2180.75/2191.10 c #Conflicts: 709000 | #Constraints: 68847
2180.75/2191.10 c INPROCESSING
2180.75/2191.10 c GARBAGE COLLECT
2180.75/2191.10 c #Conflicts: 710000 | #Constraints: 47487
2180.75/2191.10 c #Conflicts: 711000 | #Constraints: 48487
2180.75/2191.10 c #Conflicts: 712000 | #Constraints: 49487
2180.75/2191.10 c #Conflicts: 713000 | #Constraints: 50487
2180.75/2191.10 c #Conflicts: 714000 | #Constraints: 51487
2180.75/2191.10 c #Conflicts: 715000 | #Constraints: 52487
2180.75/2191.10 c #Conflicts: 716000 | #Constraints: 53487
2180.75/2191.10 c #Conflicts: 717000 | #Constraints: 54487
2180.75/2191.10 c #Conflicts: 718000 | #Constraints: 55487
2180.75/2191.10 c #Conflicts: 719000 | #Constraints: 56487
2180.75/2191.10 c #Conflicts: 720000 | #Constraints: 57487
2180.75/2191.10 c #Conflicts: 721000 | #Constraints: 58487
2180.75/2191.10 c #Conflicts: 722000 | #Constraints: 59487
2180.75/2191.10 c #Conflicts: 723000 | #Constraints: 60487
2180.75/2191.10 c #Conflicts: 724000 | #Constraints: 61487
2180.75/2191.10 c #Conflicts: 725000 | #Constraints: 62487
2180.75/2191.10 c #Conflicts: 726000 | #Constraints: 63487
2180.75/2191.10 c #Conflicts: 727000 | #Constraints: 64487
2180.75/2191.10 c #Conflicts: 728000 | #Constraints: 65487
2180.75/2191.10 c #Conflicts: 729000 | #Constraints: 66487
2180.75/2191.10 c #Conflicts: 730000 | #Constraints: 67487
2180.75/2191.10 c #Conflicts: 731000 | #Constraints: 68487
2180.75/2191.10 c #Conflicts: 732000 | #Constraints: 69487
2180.75/2191.10 c #Conflicts: 733000 | #Constraints: 70487
2180.75/2191.10 c #Conflicts: 734000 | #Constraints: 71487
2180.75/2191.10 c #Conflicts: 735000 | #Constraints: 72487
2180.75/2191.10 c #Conflicts: 736000 | #Constraints: 73487
2180.75/2191.10 c #Conflicts: 737000 | #Constraints: 74487
2180.75/2191.10 c #Conflicts: 738000 | #Constraints: 75487
2180.75/2191.10 c #Conflicts: 739000 | #Constraints: 76487
2180.75/2191.10 c #Conflicts: 740000 | #Constraints: 77487
2180.75/2191.10 c #Conflicts: 741000 | #Constraints: 78487
2180.75/2191.10 c #Conflicts: 742000 | #Constraints: 79487
2180.75/2191.10 c #Conflicts: 743000 | #Constraints: 80487
2180.75/2191.10 c #Conflicts: 744000 | #Constraints: 81487
2180.75/2191.10 c #Conflicts: 745000 | #Constraints: 82487
2180.75/2191.10 c #Conflicts: 746000 | #Constraints: 83487
2180.75/2191.10 c #Conflicts: 747000 | #Constraints: 84487
2180.75/2191.10 c #Conflicts: 748000 | #Constraints: 85487
2180.75/2191.10 c #Conflicts: 749000 | #Constraints: 86487
2180.75/2191.10 c #Conflicts: 750000 | #Constraints: 87487
2180.75/2191.10 c #Conflicts: 751000 | #Constraints: 88487
2180.75/2191.10 c #Conflicts: 752000 | #Constraints: 89487
2180.75/2191.10 c #Conflicts: 753000 | #Constraints: 90487
2180.75/2191.10 c #Conflicts: 754000 | #Constraints: 91487
2180.75/2191.10 c #Conflicts: 755000 | #Constraints: 92487
2180.75/2191.10 c #Conflicts: 756000 | #Constraints: 93487
2180.75/2191.10 c #Conflicts: 757000 | #Constraints: 94487
2180.75/2191.10 c #Conflicts: 758000 | #Constraints: 95487
2180.75/2191.10 c #Conflicts: 759000 | #Constraints: 96487
2180.75/2191.10 c #Conflicts: 760000 | #Constraints: 97487
2369.52/2380.46 c #Conflicts: 761000 | #Constraints: 98487
2369.52/2380.46 c #Conflicts: 762000 | #Constraints: 99487
2369.52/2380.46 c #Conflicts: 763000 | #Constraints: 100487
2369.52/2380.46 c #Conflicts: 764000 | #Constraints: 101487
2369.52/2380.46 c #Conflicts: 765000 | #Constraints: 102487
2369.52/2380.46 c #Conflicts: 766000 | #Constraints: 103487
2369.52/2380.46 c #Conflicts: 767000 | #Constraints: 104487
2369.52/2380.46 c #Conflicts: 768000 | #Constraints: 105487
2369.52/2380.46 c #Conflicts: 769000 | #Constraints: 106487
2369.52/2380.46 c INPROCESSING
2369.52/2380.46 c GARBAGE COLLECT
2369.52/2380.46 c #Conflicts: 770000 | #Constraints: 62592
2369.52/2380.46 c #Conflicts: 771000 | #Constraints: 63592
2369.52/2380.46 c #Conflicts: 772000 | #Constraints: 64592
2369.52/2380.46 c #Conflicts: 773000 | #Constraints: 65592
2369.52/2380.46 c #Conflicts: 774000 | #Constraints: 66592
2369.52/2380.46 c #Conflicts: 775000 | #Constraints: 67592
2369.52/2380.46 c #Conflicts: 776000 | #Constraints: 68592
2369.52/2380.46 c #Conflicts: 777000 | #Constraints: 69592
2369.52/2380.46 c #Conflicts: 778000 | #Constraints: 70592
2369.52/2380.46 c #Conflicts: 779000 | #Constraints: 71592
2369.52/2380.46 c #Conflicts: 780000 | #Constraints: 72593
2369.52/2380.46 c #Conflicts: 781000 | #Constraints: 73593
2369.52/2380.46 c #Conflicts: 782000 | #Constraints: 74593
2369.52/2380.46 c #Conflicts: 783000 | #Constraints: 75593
2369.52/2380.46 c #Conflicts: 784000 | #Constraints: 76593
2369.52/2380.46 c #Conflicts: 785000 | #Constraints: 77593
2369.52/2380.46 c #Conflicts: 786000 | #Constraints: 78593
2369.52/2380.46 c #Conflicts: 787000 | #Constraints: 79593
2369.52/2380.46 c #Conflicts: 788000 | #Constraints: 80593
2369.52/2380.46 c #Conflicts: 789000 | #Constraints: 81593
2369.52/2380.46 c #Conflicts: 790000 | #Constraints: 82593
2369.52/2380.46 c #Conflicts: 791000 | #Constraints: 83593
2369.52/2380.46 c #Conflicts: 792000 | #Constraints: 84593
2369.52/2380.46 c INPROCESSING
2369.52/2380.46 c GARBAGE COLLECT
2369.52/2380.46 c #Conflicts: 793000 | #Constraints: 52187
2369.52/2380.46 c #Conflicts: 794000 | #Constraints: 53187
2369.52/2380.46 c #Conflicts: 795000 | #Constraints: 54187
2369.52/2380.46 c #Conflicts: 796000 | #Constraints: 55187
2369.52/2380.46 c #Conflicts: 797000 | #Constraints: 56187
2369.52/2380.46 c #Conflicts: 798000 | #Constraints: 57187
2369.52/2380.46 c #Conflicts: 799000 | #Constraints: 58187
2369.52/2380.46 c #Conflicts: 800000 | #Constraints: 59187
2369.52/2380.46 c #Conflicts: 801000 | #Constraints: 60187
2369.52/2380.46 c #Conflicts: 802000 | #Constraints: 61187
2369.52/2380.46 c #Conflicts: 803000 | #Constraints: 62187
2369.52/2380.46 c #Conflicts: 804000 | #Constraints: 63187
2369.52/2380.46 c #Conflicts: 805000 | #Constraints: 64187
2369.52/2380.46 c #Conflicts: 806000 | #Constraints: 65187
2369.52/2380.46 c #Conflicts: 807000 | #Constraints: 66187
2369.52/2380.46 c #Conflicts: 808000 | #Constraints: 67187
2369.52/2380.46 c #Conflicts: 809000 | #Constraints: 68187
2369.52/2380.46 c #Conflicts: 810000 | #Constraints: 69187
2369.52/2380.46 c #Conflicts: 811000 | #Constraints: 70187
2369.52/2380.46 c #Conflicts: 812000 | #Constraints: 71187
2369.52/2380.46 c #Conflicts: 813000 | #Constraints: 72187
2369.52/2380.46 c #Conflicts: 814000 | #Constraints: 73187
2369.52/2380.46 c INPROCESSING
2369.52/2380.46 c GARBAGE COLLECT
2369.52/2380.46 c #Conflicts: 815000 | #Constraints: 50267
2369.52/2380.46 c #Conflicts: 816000 | #Constraints: 51267
2369.52/2380.46 c #Conflicts: 817000 | #Constraints: 52268
2369.52/2380.46 c #Conflicts: 818000 | #Constraints: 53268
2369.52/2380.46 c #Conflicts: 819000 | #Constraints: 54268
2369.52/2380.46 c #Conflicts: 820000 | #Constraints: 55268
2369.52/2380.46 c #Conflicts: 821000 | #Constraints: 56268
2369.52/2380.46 c #Conflicts: 822000 | #Constraints: 57268
2369.52/2380.46 c #Conflicts: 823000 | #Constraints: 58268
2369.52/2380.46 c #Conflicts: 824000 | #Constraints: 59268
2369.52/2380.46 c #Conflicts: 825000 | #Constraints: 60268
2369.52/2380.46 c #Conflicts: 826000 | #Constraints: 61268
2369.52/2380.46 c #Conflicts: 827000 | #Constraints: 62268
2369.52/2380.46 c #Conflicts: 828000 | #Constraints: 63268
2369.52/2380.46 c #Conflicts: 829000 | #Constraints: 64268
2369.52/2380.46 c #Conflicts: 830000 | #Constraints: 65268
2369.52/2380.46 c #Conflicts: 831000 | #Constraints: 66268
2369.52/2380.46 c #Conflicts: 832000 | #Constraints: 67268
2369.52/2380.46 c #Conflicts: 833000 | #Constraints: 68268
2369.52/2380.46 c #Conflicts: 834000 | #Constraints: 69268
2369.52/2380.46 c #Conflicts: 835000 | #Constraints: 70268
2369.52/2380.46 c #Conflicts: 836000 | #Constraints: 71268
2369.52/2380.46 c #Conflicts: 837000 | #Constraints: 72268
2585.01/2596.69 c #Conflicts: 838000 | #Constraints: 73268
2585.01/2596.69 c #Conflicts: 839000 | #Constraints: 74268
2585.01/2596.69 c #Conflicts: 840000 | #Constraints: 75268
2585.01/2596.69 c #Conflicts: 841000 | #Constraints: 76268
2585.01/2596.69 c #Conflicts: 842000 | #Constraints: 77268
2585.01/2596.69 c #Conflicts: 843000 | #Constraints: 78268
2585.01/2596.69 c #Conflicts: 844000 | #Constraints: 79268
2585.01/2596.69 c #Conflicts: 845000 | #Constraints: 80268
2585.01/2596.69 c #Conflicts: 846000 | #Constraints: 81268
2585.01/2596.69 c #Conflicts: 847000 | #Constraints: 82268
2585.01/2596.69 c #Conflicts: 848000 | #Constraints: 83268
2585.01/2596.69 c #Conflicts: 849000 | #Constraints: 84268
2585.01/2596.69 c #Conflicts: 850000 | #Constraints: 85268
2585.01/2596.69 c #Conflicts: 851000 | #Constraints: 86268
2585.01/2596.69 c #Conflicts: 852000 | #Constraints: 87268
2585.01/2596.69 c #Conflicts: 853000 | #Constraints: 88268
2585.01/2596.69 c #Conflicts: 854000 | #Constraints: 89268
2585.01/2596.69 c #Conflicts: 855000 | #Constraints: 90268
2585.01/2596.69 c #Conflicts: 856000 | #Constraints: 91268
2585.01/2596.69 c #Conflicts: 857000 | #Constraints: 92268
2585.01/2596.69 c #Conflicts: 858000 | #Constraints: 93268
2585.01/2596.69 c #Conflicts: 859000 | #Constraints: 94268
2585.01/2596.69 c #Conflicts: 860000 | #Constraints: 95268
2585.01/2596.69 c #Conflicts: 861000 | #Constraints: 96268
2585.01/2596.69 c #Conflicts: 862000 | #Constraints: 97268
2585.01/2596.69 c #Conflicts: 863000 | #Constraints: 98268
2585.01/2596.69 c #Conflicts: 864000 | #Constraints: 99268
2585.01/2596.69 c #Conflicts: 865000 | #Constraints: 100268
2585.01/2596.69 c #Conflicts: 866000 | #Constraints: 101268
2585.01/2596.69 c #Conflicts: 867000 | #Constraints: 102268
2585.01/2596.69 c #Conflicts: 868000 | #Constraints: 103268
2585.01/2596.69 c #Conflicts: 869000 | #Constraints: 104268
2585.01/2596.69 c #Conflicts: 870000 | #Constraints: 105268
2585.01/2596.69 c #Conflicts: 871000 | #Constraints: 106268
2585.01/2596.69 c #Conflicts: 872000 | #Constraints: 107268
2585.01/2596.69 c #Conflicts: 873000 | #Constraints: 108268
2585.01/2596.69 c #Conflicts: 874000 | #Constraints: 109268
2585.01/2596.69 c #Conflicts: 875000 | #Constraints: 110268
2585.01/2596.69 c #Conflicts: 876000 | #Constraints: 111268
2585.01/2596.69 c #Conflicts: 877000 | #Constraints: 112268
2585.01/2596.69 c #Conflicts: 878000 | #Constraints: 113268
2585.01/2596.69 c INPROCESSING
2585.01/2596.69 c GARBAGE COLLECT
2585.01/2596.69 c rational objective 134
2796.61/2808.94 c #Conflicts: 879000 | #Constraints: 66333
2796.61/2808.94 c #Conflicts: 880000 | #Constraints: 67333
2796.61/2808.94 c #Conflicts: 881000 | #Constraints: 68333
2796.61/2808.94 c #Conflicts: 882000 | #Constraints: 69333
2796.61/2808.94 c #Conflicts: 883000 | #Constraints: 70333
2796.61/2808.94 c #Conflicts: 884000 | #Constraints: 71333
2796.61/2808.94 c #Conflicts: 885000 | #Constraints: 72333
2796.61/2808.94 c #Conflicts: 886000 | #Constraints: 73333
2796.61/2808.94 c #Conflicts: 887000 | #Constraints: 74333
2796.61/2808.94 c #Conflicts: 888000 | #Constraints: 75333
2796.61/2808.94 c #Conflicts: 889000 | #Constraints: 76333
2796.61/2808.94 c #Conflicts: 890000 | #Constraints: 77333
2796.61/2808.94 c #Conflicts: 891000 | #Constraints: 78333
2796.61/2808.94 c #Conflicts: 892000 | #Constraints: 79333
2796.61/2808.94 c #Conflicts: 893000 | #Constraints: 80333
2796.61/2808.94 c #Conflicts: 894000 | #Constraints: 81333
2796.61/2808.94 c #Conflicts: 895000 | #Constraints: 82333
2796.61/2808.94 c #Conflicts: 896000 | #Constraints: 83333
2796.61/2808.94 c #Conflicts: 897000 | #Constraints: 84333
2796.61/2808.94 c #Conflicts: 898000 | #Constraints: 85333
2796.61/2808.94 c #Conflicts: 899000 | #Constraints: 86333
2796.61/2808.94 c #Conflicts: 900000 | #Constraints: 87333
2796.61/2808.94 c #Conflicts: 901000 | #Constraints: 88333
2796.61/2808.94 c #Conflicts: 902000 | #Constraints: 89333
2796.61/2808.94 c INPROCESSING
2796.61/2808.94 c GARBAGE COLLECT
2796.61/2808.94 c #Conflicts: 903000 | #Constraints: 54431
2796.61/2808.94 c #Conflicts: 904000 | #Constraints: 55431
2796.61/2808.94 c #Conflicts: 905000 | #Constraints: 56431
2796.61/2808.94 c #Conflicts: 906000 | #Constraints: 57431
2796.61/2808.94 c #Conflicts: 907000 | #Constraints: 58431
2796.61/2808.94 c #Conflicts: 908000 | #Constraints: 59431
2796.61/2808.94 c #Conflicts: 909000 | #Constraints: 60431
2796.61/2808.94 c #Conflicts: 910000 | #Constraints: 61431
2796.61/2808.94 c #Conflicts: 911000 | #Constraints: 62431
2796.61/2808.94 c #Conflicts: 912000 | #Constraints: 63431
2796.61/2808.94 c #Conflicts: 913000 | #Constraints: 64431
2796.61/2808.94 c #Conflicts: 914000 | #Constraints: 65432
2796.61/2808.94 c #Conflicts: 915000 | #Constraints: 66432
2796.61/2808.94 c #Conflicts: 916000 | #Constraints: 67432
2796.61/2808.94 c #Conflicts: 917000 | #Constraints: 68432
2796.61/2808.94 c #Conflicts: 918000 | #Constraints: 69432
2796.61/2808.94 c #Conflicts: 919000 | #Constraints: 70432
2796.61/2808.94 c #Conflicts: 920000 | #Constraints: 71432
2796.61/2808.94 c #Conflicts: 921000 | #Constraints: 72432
2796.61/2808.94 c #Conflicts: 922000 | #Constraints: 73432
2796.61/2808.94 c #Conflicts: 923000 | #Constraints: 74432
2796.61/2808.94 c #Conflicts: 924000 | #Constraints: 75432
2796.61/2808.94 c #Conflicts: 925000 | #Constraints: 76432
2796.61/2808.94 c #Conflicts: 926000 | #Constraints: 77432
2796.61/2808.94 c INPROCESSING
2796.61/2808.94 c GARBAGE COLLECT
2796.61/2808.94 c #Conflicts: 927000 | #Constraints: 53279
2796.61/2808.94 c #Conflicts: 928000 | #Constraints: 54279
2796.61/2808.94 c #Conflicts: 929000 | #Constraints: 55279
2796.61/2808.94 c #Conflicts: 930000 | #Constraints: 56279
2796.61/2808.94 c #Conflicts: 931000 | #Constraints: 57279
2796.61/2808.94 c #Conflicts: 932000 | #Constraints: 58279
2796.61/2808.94 c #Conflicts: 933000 | #Constraints: 59279
2796.61/2808.94 c #Conflicts: 934000 | #Constraints: 60279
2796.61/2808.94 c #Conflicts: 935000 | #Constraints: 61279
2796.61/2808.94 c #Conflicts: 936000 | #Constraints: 62279
2796.61/2808.94 c #Conflicts: 937000 | #Constraints: 63279
2796.61/2808.94 c #Conflicts: 938000 | #Constraints: 64279
2796.61/2808.94 c #Conflicts: 939000 | #Constraints: 65279
2796.61/2808.94 c #Conflicts: 940000 | #Constraints: 66279
2796.61/2808.94 c #Conflicts: 941000 | #Constraints: 67279
2796.61/2808.94 c #Conflicts: 942000 | #Constraints: 68279
2796.61/2808.94 c #Conflicts: 943000 | #Constraints: 69279
2796.61/2808.94 c #Conflicts: 944000 | #Constraints: 70279
2796.61/2808.94 c #Conflicts: 945000 | #Constraints: 71279
2796.61/2808.94 c #Conflicts: 946000 | #Constraints: 72279
2796.61/2808.94 c #Conflicts: 947000 | #Constraints: 73279
2796.61/2808.94 c #Conflicts: 948000 | #Constraints: 74279
2796.61/2808.94 c #Conflicts: 949000 | #Constraints: 75279
2796.61/2808.94 c #Conflicts: 950000 | #Constraints: 76279
2796.61/2808.94 c #Conflicts: 951000 | #Constraints: 77279
2796.61/2808.94 c #Conflicts: 952000 | #Constraints: 78279
2796.61/2808.94 c #Conflicts: 953000 | #Constraints: 79279
2796.61/2808.94 c #Conflicts: 954000 | #Constraints: 80279
2796.61/2808.94 c #Conflicts: 955000 | #Constraints: 81279
2796.61/2808.94 c #Conflicts: 956000 | #Constraints: 82279
3152.44/3165.91 c #Conflicts: 957000 | #Constraints: 83279
3152.44/3165.91 c #Conflicts: 958000 | #Constraints: 84279
3152.44/3165.91 c #Conflicts: 959000 | #Constraints: 85279
3152.44/3165.91 c #Conflicts: 960000 | #Constraints: 86279
3152.44/3165.91 c #Conflicts: 961000 | #Constraints: 87279
3152.44/3165.91 c #Conflicts: 962000 | #Constraints: 88279
3152.44/3165.91 c #Conflicts: 963000 | #Constraints: 89279
3152.44/3165.91 c #Conflicts: 964000 | #Constraints: 90279
3152.44/3165.91 c #Conflicts: 965000 | #Constraints: 91279
3152.44/3165.91 c #Conflicts: 966000 | #Constraints: 92279
3152.44/3165.91 c #Conflicts: 967000 | #Constraints: 93279
3152.44/3165.91 c #Conflicts: 968000 | #Constraints: 94279
3152.44/3165.91 c #Conflicts: 969000 | #Constraints: 95279
3152.44/3165.91 c #Conflicts: 970000 | #Constraints: 96279
3152.44/3165.91 c #Conflicts: 971000 | #Constraints: 97279
3152.44/3165.91 c #Conflicts: 972000 | #Constraints: 98279
3152.44/3165.91 c #Conflicts: 973000 | #Constraints: 99279
3152.44/3165.91 c #Conflicts: 974000 | #Constraints: 100279
3152.44/3165.91 c #Conflicts: 975000 | #Constraints: 101279
3152.44/3165.91 c #Conflicts: 976000 | #Constraints: 102279
3152.44/3165.91 c #Conflicts: 977000 | #Constraints: 103279
3152.44/3165.91 c #Conflicts: 978000 | #Constraints: 104279
3152.44/3165.91 c #Conflicts: 979000 | #Constraints: 105279
3152.44/3165.91 c #Conflicts: 980000 | #Constraints: 106279
3152.44/3165.91 c #Conflicts: 981000 | #Constraints: 107279
3152.44/3165.91 c #Conflicts: 982000 | #Constraints: 108279
3152.44/3165.91 c #Conflicts: 983000 | #Constraints: 109279
3152.44/3165.91 c #Conflicts: 984000 | #Constraints: 110279
3152.44/3165.91 c #Conflicts: 985000 | #Constraints: 111279
3152.44/3165.91 c #Conflicts: 986000 | #Constraints: 112279
3152.44/3165.91 c #Conflicts: 987000 | #Constraints: 113279
3152.44/3165.91 c #Conflicts: 988000 | #Constraints: 114279
3152.44/3165.91 c #Conflicts: 989000 | #Constraints: 115279
3152.44/3165.91 c #Conflicts: 990000 | #Constraints: 116279
3152.44/3165.91 c #Conflicts: 991000 | #Constraints: 117279
3152.44/3165.91 c #Conflicts: 992000 | #Constraints: 118279
3152.44/3165.91 c #Conflicts: 993000 | #Constraints: 119279
3152.44/3165.91 c #Conflicts: 994000 | #Constraints: 120279
3152.44/3165.91 c INPROCESSING
3152.44/3165.91 c GARBAGE COLLECT
3152.44/3165.91 c #Conflicts: 995000 | #Constraints: 69677
3152.44/3165.91 c #Conflicts: 996000 | #Constraints: 70677
3152.44/3165.91 c #Conflicts: 997000 | #Constraints: 71677
3152.44/3165.91 c #Conflicts: 998000 | #Constraints: 72677
3152.44/3165.91 c #Conflicts: 999000 | #Constraints: 73677
3152.44/3165.91 c #Conflicts: 1000000 | #Constraints: 74677
3152.44/3165.91 c #Conflicts: 1001000 | #Constraints: 75677
3152.44/3165.91 c #Conflicts: 1002000 | #Constraints: 76677
3152.44/3165.91 c #Conflicts: 1003000 | #Constraints: 77677
3152.44/3165.91 c #Conflicts: 1004000 | #Constraints: 78677
3152.44/3165.91 c #Conflicts: 1005000 | #Constraints: 79677
3152.44/3165.91 c #Conflicts: 1006000 | #Constraints: 80677
3152.44/3165.91 c #Conflicts: 1007000 | #Constraints: 81677
3152.44/3165.91 c #Conflicts: 1008000 | #Constraints: 82677
3152.44/3165.91 c #Conflicts: 1009000 | #Constraints: 83677
3152.44/3165.91 c #Conflicts: 1010000 | #Constraints: 84677
3152.44/3165.91 c #Conflicts: 1011000 | #Constraints: 85677
3152.44/3165.91 c #Conflicts: 1012000 | #Constraints: 86677
3152.44/3165.91 c #Conflicts: 1013000 | #Constraints: 87677
3152.44/3165.91 c #Conflicts: 1014000 | #Constraints: 88677
3152.44/3165.91 c #Conflicts: 1015000 | #Constraints: 89677
3152.44/3165.91 c #Conflicts: 1016000 | #Constraints: 90677
3152.44/3165.91 c #Conflicts: 1017000 | #Constraints: 91677
3152.44/3165.91 c #Conflicts: 1018000 | #Constraints: 92677
3152.44/3165.91 c #Conflicts: 1019000 | #Constraints: 93677
3152.44/3165.91 c #Conflicts: 1020000 | #Constraints: 94677
3152.44/3165.91 c INPROCESSING
3152.44/3165.91 c GARBAGE COLLECT
3152.44/3165.91 c #Conflicts: 1021000 | #Constraints: 57401
3152.44/3165.91 c #Conflicts: 1022000 | #Constraints: 58401
3152.44/3165.91 c #Conflicts: 1023000 | #Constraints: 59401
3152.44/3165.91 c #Conflicts: 1024000 | #Constraints: 60401
3152.44/3165.91 c #Conflicts: 1025000 | #Constraints: 61401
3152.44/3165.91 c #Conflicts: 1026000 | #Constraints: 62401
3152.44/3165.91 c #Conflicts: 1027000 | #Constraints: 63401
3152.44/3165.91 c #Conflicts: 1028000 | #Constraints: 64401
3152.44/3165.91 c #Conflicts: 1029000 | #Constraints: 65401
3152.44/3165.91 c #Conflicts: 1030000 | #Constraints: 66401
3152.44/3165.91 c #Conflicts: 1031000 | #Constraints: 67401
3152.44/3165.91 c #Conflicts: 1032000 | #Constraints: 68401
3152.44/3165.91 c #Conflicts: 1033000 | #Constraints: 69401
3521.60/3536.37 c #Conflicts: 1034000 | #Constraints: 70401
3521.60/3536.37 c #Conflicts: 1035000 | #Constraints: 71401
3521.60/3536.37 c #Conflicts: 1036000 | #Constraints: 72401
3521.60/3536.37 c #Conflicts: 1037000 | #Constraints: 73401
3521.60/3536.37 c #Conflicts: 1038000 | #Constraints: 74401
3521.60/3536.37 c #Conflicts: 1039000 | #Constraints: 75401
3521.60/3536.37 c #Conflicts: 1040000 | #Constraints: 76401
3521.60/3536.37 c #Conflicts: 1041000 | #Constraints: 77401
3521.60/3536.37 c #Conflicts: 1042000 | #Constraints: 78401
3521.60/3536.37 c #Conflicts: 1043000 | #Constraints: 79401
3521.60/3536.37 c #Conflicts: 1044000 | #Constraints: 80401
3521.60/3536.37 c #Conflicts: 1045000 | #Constraints: 81401
3521.60/3536.37 c INPROCESSING
3521.60/3536.37 c GARBAGE COLLECT
3521.60/3536.37 c #Conflicts: 1046000 | #Constraints: 55061
3521.60/3536.37 c #Conflicts: 1047000 | #Constraints: 56061
3521.60/3536.37 c #Conflicts: 1048000 | #Constraints: 57061
3521.60/3536.37 c #Conflicts: 1049000 | #Constraints: 58061
3521.60/3536.37 c #Conflicts: 1050000 | #Constraints: 59061
3521.60/3536.37 c #Conflicts: 1051000 | #Constraints: 60061
3521.60/3536.37 c #Conflicts: 1052000 | #Constraints: 61061
3521.60/3536.37 c #Conflicts: 1053000 | #Constraints: 62061
3521.60/3536.37 c #Conflicts: 1054000 | #Constraints: 63061
3521.60/3536.37 c #Conflicts: 1055000 | #Constraints: 64061
3521.60/3536.37 c #Conflicts: 1056000 | #Constraints: 65061
3521.60/3536.37 c #Conflicts: 1057000 | #Constraints: 66061
3521.60/3536.37 c #Conflicts: 1058000 | #Constraints: 67061
3521.60/3536.37 c #Conflicts: 1059000 | #Constraints: 68061
3521.60/3536.37 c #Conflicts: 1060000 | #Constraints: 69061
3521.60/3536.37 c #Conflicts: 1061000 | #Constraints: 70061
3521.60/3536.37 c #Conflicts: 1062000 | #Constraints: 71061
3521.60/3536.37 c #Conflicts: 1063000 | #Constraints: 72061
3521.60/3536.37 c #Conflicts: 1064000 | #Constraints: 73061
3521.60/3536.37 c #Conflicts: 1065000 | #Constraints: 74061
3521.60/3536.37 c #Conflicts: 1066000 | #Constraints: 75061
3521.60/3536.37 c #Conflicts: 1067000 | #Constraints: 76061
3521.60/3536.37 c #Conflicts: 1068000 | #Constraints: 77061
3521.60/3536.37 c #Conflicts: 1069000 | #Constraints: 78061
3521.60/3536.37 c #Conflicts: 1070000 | #Constraints: 79061
3521.60/3536.37 c #Conflicts: 1071000 | #Constraints: 80061
3521.60/3536.37 c #Conflicts: 1072000 | #Constraints: 81061
3521.60/3536.37 c #Conflicts: 1073000 | #Constraints: 82061
3521.60/3536.37 c #Conflicts: 1074000 | #Constraints: 83061
3521.60/3536.37 c #Conflicts: 1075000 | #Constraints: 84061
3521.60/3536.37 c #Conflicts: 1076000 | #Constraints: 85061
3521.60/3536.37 c #Conflicts: 1077000 | #Constraints: 86061
3521.60/3536.37 c #Conflicts: 1078000 | #Constraints: 87061
3521.60/3536.37 c #Conflicts: 1079000 | #Constraints: 88061
3521.60/3536.37 c #Conflicts: 1080000 | #Constraints: 89061
3521.60/3536.37 c #Conflicts: 1081000 | #Constraints: 90061
3521.60/3536.37 c #Conflicts: 1082000 | #Constraints: 91061
3521.60/3536.37 c #Conflicts: 1083000 | #Constraints: 92061
3521.60/3536.37 c #Conflicts: 1084000 | #Constraints: 93061
3521.60/3536.37 c #Conflicts: 1085000 | #Constraints: 94061
3521.60/3536.37 c #Conflicts: 1086000 | #Constraints: 95061
3521.60/3536.37 c #Conflicts: 1087000 | #Constraints: 96061
3521.60/3536.37 c #Conflicts: 1088000 | #Constraints: 97061
3521.60/3536.37 c #Conflicts: 1089000 | #Constraints: 98061
3521.60/3536.37 c #Conflicts: 1090000 | #Constraints: 99061
3521.60/3536.37 c #Conflicts: 1091000 | #Constraints: 100061
3521.60/3536.37 c #Conflicts: 1092000 | #Constraints: 101061
3521.60/3536.37 c #Conflicts: 1093000 | #Constraints: 102061
3521.60/3536.37 c #Conflicts: 1094000 | #Constraints: 103061
3521.60/3536.37 c #Conflicts: 1095000 | #Constraints: 104061
3521.60/3536.37 c #Conflicts: 1096000 | #Constraints: 105061
3521.60/3536.37 c #Conflicts: 1097000 | #Constraints: 106061
3521.60/3536.37 c #Conflicts: 1098000 | #Constraints: 107061
3521.60/3536.37 c #Conflicts: 1099000 | #Constraints: 108061
3521.60/3536.37 c #Conflicts: 1100000 | #Constraints: 109061
3521.60/3536.37 c #Conflicts: 1101000 | #Constraints: 110061
3521.60/3536.37 c #Conflicts: 1102000 | #Constraints: 111061
3521.60/3536.37 c #Conflicts: 1103000 | #Constraints: 112061
3521.60/3536.37 c #Conflicts: 1104000 | #Constraints: 113061
3521.60/3536.37 c #Conflicts: 1105000 | #Constraints: 114061
3521.60/3536.37 c #Conflicts: 1106000 | #Constraints: 115061
3521.60/3536.37 c #Conflicts: 1107000 | #Constraints: 116061
3521.60/3536.37 c #Conflicts: 1108000 | #Constraints: 117061
3521.60/3536.37 c #Conflicts: 1109000 | #Constraints: 118061
3521.60/3536.37 c #Conflicts: 1110000 | #Constraints: 119061
3521.60/3536.37 c #Conflicts: 1111000 | #Constraints: 120061
3521.60/3536.37 c #Conflicts: 1112000 | #Constraints: 121061
3579.93/3594.83 c #Conflicts: 1113000 | #Constraints: 122061
3579.93/3594.83 c #Conflicts: 1114000 | #Constraints: 123061
3579.93/3594.83 c #Conflicts: 1115000 | #Constraints: 124061
3579.93/3594.83 c #Conflicts: 1116000 | #Constraints: 125061
3579.93/3594.83 c #Conflicts: 1117000 | #Constraints: 126061
3579.93/3594.83 c #Conflicts: 1118000 | #Constraints: 127061
3579.93/3594.83 c INPROCESSING
3579.93/3594.83 c GARBAGE COLLECT
3579.93/3594.83 c rational objective 134
3600.06/3615.00 c #Conflicts: 1119000 | #Constraints: 73629
3600.06/3615.00 c #Conflicts: 1120000 | #Constraints: 74629
3600.06/3615.00 c #Conflicts: 1121000 | #Constraints: 75629
3600.06/3615.00 c #Conflicts: 1122000 | #Constraints: 76629
3600.06/3615.00 c #Conflicts: 1123000 | #Constraints: 77629
3600.06/3615.00 c cpu time 3573.6 s
3600.06/3615.00 c deterministic time 181297203263 1.81e+11
3600.06/3615.00 c optimization time 16.6651 s
3600.06/3615.00 c total solve time 3556.85 s
3600.06/3615.00 c core-guided solve time 0 s
3600.06/3615.00 c propagation time 1630.82 s
3600.06/3615.00 c conflict analysis time 1616.18 s
3600.06/3615.00 c propagations 1136855043
3600.06/3615.00 c resolve steps 86196302
3600.06/3615.00 c decisions 16009250
3600.06/3615.00 c conflicts 1123785
3600.06/3615.00 c restarts 2046
3600.06/3615.00 c inprocessing phases 52
3600.06/3615.00 c garbage collections 52 ,( 100.00 )
3600.06/3615.00 c input clauses 16082 ,( 99.17 )
3600.06/3615.00 c input cardinalities 134 ,( 0.83 )
3600.06/3615.00 c input general constraints 0 ,( 0.00 )
3600.06/3615.00 c input average constraint length 6.43
3600.06/3615.00 c input average constraint degree 1.97
3600.06/3615.00 c learned clauses 853659 ,( 75.96 )
3600.06/3615.00 c learned cardinalities 32485 ,( 2.89 )
3600.06/3615.00 c learned general constraints 237650 ,( 21.15 )
3600.06/3615.00 c learned average constraint length 803.56
3600.06/3615.00 c learned average constraint degree 110561872.71
3600.06/3615.00 c watched CF 32, 64, 128, Arb: 69747 , 0 , 0 , 0
3600.06/3615.00 c counting CF 32, 64, 128, Arb: 167903 , 0 , 0 , 0
3600.06/3615.00 c watched constraints 69747 ,( 29.35 )
3600.06/3615.00 c counting constraints 167903 ,( 70.65 )
3600.06/3615.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1129874556 , 420470786 , 1217819564 ,( 57530519 , 1160289045 )
3600.06/3615.00 c gcd simplifications 3585
3600.06/3615.00 c detected cardinalities 3807
3600.06/3615.00 c weakened non-implied lits 356655368
3600.06/3615.00 c weakened non-implying lits 451333
3600.06/3615.00 c original variables 15946
3600.06/3615.00 c clausal propagations 525916773
3600.06/3615.00 c cardinality propagations 405068312
3600.06/3615.00 c watched propagations 3951965
3600.06/3615.00 c counting propagations 192569372
3600.06/3615.00 c watch lookups 81149573103
3600.06/3615.00 c watch backjump lookups 0
3600.06/3615.00 c watch checks 26960891035
3600.06/3615.00 c propagation checks 66607446853
3600.06/3615.00 c constraint additions 4272228965
3600.06/3615.00 c trail pops 1153976161
3600.06/3615.00 c formula constraints 16216
3600.06/3615.00 c learned constraints 1123777
3600.06/3615.00 c bound constraints 0
3600.06/3615.00 c core-guided constraints 0
3600.06/3615.00 c encountered formula constraints 59799352
3600.06/3615.00 c encountered learned constraints 27518501
3600.06/3615.00 c encountered bound constraints 0
3600.06/3615.00 c encountered core-guided constraints 0
3600.06/3615.00 c LP total time 267.11 s
3600.06/3615.00 c LP solve time 251.49 s
3600.06/3615.00 c LP constraints added 16590
3600.06/3615.00 c LP constraints removed 117
3600.06/3615.00 c LP pivots internal 113425
3600.06/3615.00 c LP pivots root 109427
3600.06/3615.00 c LP calls 17
3600.06/3615.00 c LP optimalities 4
3600.06/3615.00 c LP no pivot count 0
3600.06/3615.00 c LP infeasibilities 7
3600.06/3615.00 c LP valid Farkas constraints 7
3600.06/3615.00 c LP learned Farkas constraints 7
3600.06/3615.00 c LP basis resets 0
3600.06/3615.00 c LP cycling count 0
3600.06/3615.00 c LP singular count 0
3600.06/3615.00 c LP no primal count 0
3600.06/3615.00 c LP no farkas count 0
3600.06/3615.00 c LP other issue count 0
3600.06/3615.00 c LP Gomory cuts 3
3600.06/3615.00 c LP learned cuts 458
3600.06/3615.00 c LP deleted cuts 353
3600.06/3615.00 c LP encountered Gomory constraints 0
3600.06/3615.00 c LP encountered Farkas constraints 2223
3600.06/3615.00 c LP encountered learned Farkas constraints 4
3600.06/3615.00 c CG auxiliary variables introduced 0
3600.06/3615.00 c CG solutions found 0
3600.06/3615.00 c CG cores constructed 0
3600.06/3615.00 c CG core cardinality constraints returned 0
3600.06/3615.00 c CG unit cores 0
3600.06/3615.00 c CG single cores 0
3600.06/3615.00 c CG blocks removed during cardinality reduction 0
3600.06/3615.00 c CG first core best 0
3600.06/3615.00 c CG decision core best 0
3600.06/3615.00 c CG core reduction tie 0
3600.06/3615.00 c CG core degree average 0.00
3600.06/3615.00 c CG core slack average 0.00
3600.06/3615.00 c CG core upper bound improvements 0
3600.06/3615.00 c STR number of successful calls 0
3600.06/3615.00 c STR number of unsuccessful calls 0
3600.06/3615.00 c STR number of inconclusive calls 0
3600.06/3615.00 c STR number of successful attempts 0
3600.06/3615.00 c STR number of unsuccessful attempts 0
3600.06/3615.00 c STR number of inconclusive attempts 0
3600.06/3615.00 c STR average degree increase per successful call inf
3600.06/3615.00 c STR average degree increase per successful attempt inf
3600.06/3615.00 c STR total number of conflicts for successful attempts 0
3600.06/3615.00 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3615.00 c STR total number of conflicts for inconclusive attempts 0
3600.06/3615.00 c STR average number of conflicts per successful attempt inf
3600.06/3615.00 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3615.00 c STR average number of conflicts per inconclusive attempt inf
3600.06/3615.00 c AVG.sumWPerc 63.04
3600.06/3615.00 c bigint constraints 0
3600.06/3615.00 s UNKNOWN
3600.06/3615.00 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 (60511 MiB free)
memory of node 1: 64507 MiB (62064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506727-1751171470/watcher-4506727-1751171470 -o /tmp/evaluation-result-4506727-1751171470/solver-4506727-1751171470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18819 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506727-1751171470.opb PROOFDIR/proof-4506727-1751171470
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.el
Current StackSize limit: 8192 KiB
solver pid=19548, runsolver pid=19545
[startup+0.100021 s]*
/proc/loadavg: 4.22 4.17 4.09 4/275 19550
/proc/meminfo: memFree=127433912/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=50796 memory=7424 CPUtime=0 cores=0,2
/proc/19550/stat : 19550 (roundingsat) D 19548 19548 18809 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32825848 52015104 1856 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.205803 s]*
/proc/loadavg: 4.22 4.17 4.09 3/275 19550
/proc/meminfo: memFree=128033120/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=50796 memory=7424 CPUtime=0 cores=0,2
/proc/19550/stat : 19550 (roundingsat) D 19548 19548 18809 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32825848 52015104 1856 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.305512 s]*
/proc/loadavg: 4.22 4.17 4.09 3/275 19550
/proc/meminfo: memFree=127993052/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=50796 memory=7424 CPUtime=0 cores=0,2
/proc/19550/stat : 19550 (roundingsat) D 19548 19548 18809 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32825848 52015104 1856 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.700219 s]
/proc/loadavg: 4.22 4.17 4.09 3/275 19550
/proc/meminfo: memFree=127960288/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=50796 memory=7424 CPUtime=0 cores=0,2
/proc/19550/stat : 19550 (roundingsat) D 19548 19548 18809 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32825848 52015104 1856 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+1.50021 s]
/proc/loadavg: 4.22 4.17 4.09 4/275 19550
/proc/meminfo: memFree=127912408/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=50796 memory=7424 CPUtime=0 cores=0,2
/proc/19550/stat : 19550 (roundingsat) D 19548 19548 18809 0 -1 4194304 304 0 0 0 0 0 0 0 20 0 1 0 32825848 52015104 1856 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+3.10442 s]
/proc/loadavg: 4.21 4.16 4.09 4/275 19550
/proc/meminfo: memFree=127698904/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=64480 memory=18176 CPUtime=0.05 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 2784 0 0 0 4 1 0 0 20 0 1 0 32825848 66027520 4544 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 16120 4544 2016 1147 0 3547 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 68672 KiB
Current children cumulated memory: 21120 KiB
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 4.21 4.16 4.09 6/275 19550
/proc/meminfo: memFree=126945784/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=101340 memory=55312 CPUtime=3.23 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 12177 0 0 0 317 6 0 0 20 0 1 0 32825848 103772160 13828 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 25335 13828 2336 1147 0 12762 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 105532 KiB
Current children cumulated memory: 58256 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.19 4.16 4.09 6/275 19550
/proc/meminfo: memFree=125536308/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=112340 memory=66512 CPUtime=9.62 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 14435 0 0 0 942 20 0 0 20 0 1 0 32825848 115036160 16628 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 28085 16628 2368 1147 0 15512 0
Current children cumulated CPU time: 9.62 s
Current children cumulated vsize: 116532 KiB
Current children cumulated memory: 69456 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 4.08 6/275 19550
/proc/meminfo: memFree=124795684/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=120880 memory=77008 CPUtime=22.37 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 17125 0 0 0 2197 40 0 0 20 0 1 0 32825848 123781120 19252 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 30220 19252 2368 1147 0 17647 0
Current children cumulated CPU time: 22.37 s
Current children cumulated vsize: 125072 KiB
Current children cumulated memory: 79952 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.16 4.09 6/275 19551
/proc/meminfo: memFree=124771908/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=160720 memory=108236 CPUtime=47.89 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 22882 0 0 0 4707 82 0 0 20 0 1 0 32825848 164577280 27059 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 40180 27059 2368 1147 0 27607 0
Current children cumulated CPU time: 47.89 s
Current children cumulated vsize: 164912 KiB
Current children cumulated memory: 111180 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.09 6/275 19553
/proc/meminfo: memFree=124582840/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=202332 memory=153976 CPUtime=98.92 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 28704 0 0 0 9756 136 0 0 20 0 1 0 32825848 207187968 38494 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 50583 38494 2368 1147 0 38010 0
Current children cumulated CPU time: 98.92 s
Current children cumulated vsize: 206524 KiB
Current children cumulated memory: 156920 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/273 19557
/proc/meminfo: memFree=124441260/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=219052 memory=172716 CPUtime=158.72 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 32885 0 0 0 15645 227 0 0 20 0 1 0 32825848 224309248 43179 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 54763 43179 2368 1147 0 42190 0
Current children cumulated CPU time: 158.72 s
Current children cumulated vsize: 223244 KiB
Current children cumulated memory: 175660 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/274 19560
/proc/meminfo: memFree=124285472/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
################
# More data... #
################
[pid=19550] ppid=19548 vsize=1648584 memory=1367852 CPUtime=3089.06 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 161636 0 0 0 306480 2426 0 0 20 0 1 0 32825848 1688150016 341963 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 412146 341963 2368 1147 0 399573 0
Current children cumulated CPU time: 3089.06 s
Current children cumulated vsize: 1652776 KiB
Current children cumulated memory: 1370796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.11 6/270 19718
/proc/meminfo: memFree=117299084/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1648584 memory=1367852 CPUtime=3148.86 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 161647 0 0 0 312424 2462 0 0 20 0 1 0 32825848 1688150016 341963 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 412146 341963 2368 1147 0 399573 0
Current children cumulated CPU time: 3148.86 s
Current children cumulated vsize: 1652776 KiB
Current children cumulated memory: 1370796 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.16 4.11 6/269 19720
/proc/meminfo: memFree=117132192/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1649248 memory=1368492 CPUtime=3208.66 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 161813 0 0 0 318365 2501 0 0 20 0 1 0 32825848 1688829952 342123 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 412312 342123 2368 1147 0 399739 0
Current children cumulated CPU time: 3208.66 s
Current children cumulated vsize: 1653440 KiB
Current children cumulated memory: 1371436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.11 6/269 19726
/proc/meminfo: memFree=116990700/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1649248 memory=1368492 CPUtime=3268.46 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 161813 0 0 0 324314 2532 0 0 20 0 1 0 32825848 1688829952 342123 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 412312 342123 2368 1147 0 399739 0
Current children cumulated CPU time: 3268.46 s
Current children cumulated vsize: 1653440 KiB
Current children cumulated memory: 1371436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 6/270 19729
/proc/meminfo: memFree=116946148/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1650504 memory=1369900 CPUtime=3328.26 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 162139 0 0 0 330267 2559 0 0 20 0 1 0 32825848 1690116096 342475 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 412626 342475 2368 1147 0 400053 0
Current children cumulated CPU time: 3328.26 s
Current children cumulated vsize: 1654696 KiB
Current children cumulated memory: 1372844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 6/270 19731
/proc/meminfo: memFree=116875988/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1652056 memory=1371308 CPUtime=3388.06 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 162513 0 0 0 336227 2579 0 0 20 0 1 0 32825848 1691705344 342827 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 413014 342827 2368 1147 0 400441 0
Current children cumulated CPU time: 3388.06 s
Current children cumulated vsize: 1656248 KiB
Current children cumulated memory: 1374252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.10 6/270 19733
/proc/meminfo: memFree=116807752/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1655012 memory=1374252 CPUtime=3447.87 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 163227 0 0 0 342191 2596 0 0 20 0 1 0 32825848 1694732288 343563 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 413753 343563 2368 1147 0 401180 0
Current children cumulated CPU time: 3447.87 s
Current children cumulated vsize: 1659204 KiB
Current children cumulated memory: 1377196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 6/270 19735
/proc/meminfo: memFree=116764952/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1658800 memory=1377452 CPUtime=3507.65 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 164033 0 0 0 348153 2612 0 0 20 0 1 0 32825848 1698611200 344363 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 414700 344363 2368 1147 0 402127 0
Current children cumulated CPU time: 3507.65 s
Current children cumulated vsize: 1662992 KiB
Current children cumulated memory: 1380396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 6/270 19739
/proc/meminfo: memFree=116698164/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1662256 memory=1382060 CPUtime=3567.46 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 164751 0 0 0 354118 2628 0 0 20 0 1 0 32825848 1702150144 345515 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 415564 345515 2368 1147 0 402991 0
Current children cumulated CPU time: 3567.46 s
Current children cumulated vsize: 1666448 KiB
Current children cumulated memory: 1385004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615 s]*
/proc/loadavg: 4.22 4.14 4.10 5/270 19879
/proc/meminfo: memFree=122312316/131249988 swapFree=33010684/33010684
[pid=19548] ppid=19545 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/19548/stat : 19548 (run-dec-ls-log.) S 19545 19548 18809 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32825847 4292608 736 18446744073709551615 94327045324800 94327046219333 140729273886928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94327046458384 94327046506128 94327051464704 140729273891099 140729273891297 140729273891297 140729273896899 0
/proc/19548/statm: 1048 736 672 219 0 110 0
[pid=19550] ppid=19548 vsize=1666388 memory=1401516 CPUtime=3600.06 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19548 19548 18809 0 -1 4194304 169572 0 0 0 357359 2647 0 0 20 0 1 0 32825848 1706381312 350379 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 416597 350379 2368 1147 0 404024 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1670580 KiB
Current children cumulated memory: 1404460 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3615.01 s]
# the end of solver process 19548 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.002059 s
Sleeping 2 seconds
[startup+3615.15 s]
# the end of solver process 19550 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.61 s, system=26.5242 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3615.11 s]*
/proc/loadavg: 4.22 4.14 4.10 5/269 19879
/proc/meminfo: memFree=122316848/131249988 swapFree=33010684/33010684
[pid=19550] ppid=19545 vsize=1656160 memory=1391692 CPUtime=3600.09 cores=0,2
/proc/19550/stat : 19550 (roundingsat) R 19545 19548 18809 0 -1 4194304 169577 0 0 0 357360 2649 0 0 20 0 1 0 32825848 1695907840 347923 18446744073709551615 4227072 8923433 140722386471408 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 41418752 140722386479440 140722386479656 140722386479656 140722386485226 0
/proc/19550/statm: 414040 347923 2432 1147 0 401467 0
Current cumulated CPU time of completed processes: 0.002059 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1656160 KiB
Current children cumulated memory: 1391692 KiB
Child status: 2
Real time (s): 3615.15
CPU time (s): 3600.13
CPU user time (s): 3573.61
CPU system time (s): 26.5242
CPU usage (%): 99.5845
Max. virtual memory (cumulated for all children) (KiB): 1670580
Max. memory (cumulated for all children) (KiB): 1404460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.61
system time used= 26.5242
maximum resident set size= 1401772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12395840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2405
involuntary context switches= 8260
# summary of solver processes directly reported to runsolver:
# pid: 19548,19550
# total CPU time (s): 3600.13
# total CPU user time (s): 3573.61
# total CPU system time (s): 26.5242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82831 second user time and 15.9471 second system time
The end
Begin job on nodeC034 at 2025-06-29 06:31:10
IDJOB=4506727
IDBENCH=158262
IDSOLVER=3354
FILE ID=nodeC034/4506727-1751171470
RUNJOBID= nodeC034-1751167846-18819
SLURM_JOB_ID= 9587509
Free space on /tmp= 432708 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506727-1751171470/watcher-4506727-1751171470 -o /tmp/evaluation-result-4506727-1751171470/solver-4506727-1751171470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18819 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506727-1751171470.opb PROOFDIR/proof-4506727-1751171470
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=520287019
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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.752
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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.532
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3600.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.766
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3599.524
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 124624888 kB
MemAvailable: 128025840 kB
Buffers: 3280 kB
Cached: 4206624 kB
SwapCached: 0 kB
Active: 1845548 kB
Inactive: 3985504 kB
Active(anon): 1639260 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 3985504 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 283692 kB
Writeback: 0 kB
AnonPages: 1624552 kB
Mapped: 112592 kB
Shmem: 18104 kB
KReclaimable: 95748 kB
Slab: 182848 kB
SReclaimable: 95748 kB
SUnreclaim: 87100 kB
KernelStack: 4432 kB
PageTables: 6284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2033752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 872448 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC034 at 2025-06-29 07:31:25