0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.06/1.18 c #variables 21063 #constraints 21419
120.85/122.23 c #Conflicts: 1000 | #Constraints: 22418
120.85/122.23 c #Conflicts: 2000 | #Constraints: 23418
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 3000 | #Constraints: 22760
120.85/122.23 c #Conflicts: 4000 | #Constraints: 23760
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 5000 | #Constraints: 23275
120.85/122.23 c #Conflicts: 6000 | #Constraints: 24275
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 7000 | #Constraints: 23368
120.85/122.23 c #Conflicts: 8000 | #Constraints: 24368
120.85/122.23 c #Conflicts: 9000 | #Constraints: 25368
120.85/122.23 c #Conflicts: 10000 | #Constraints: 26368
120.85/122.23 c #Conflicts: 11000 | #Constraints: 27368
120.85/122.23 c #Conflicts: 12000 | #Constraints: 28368
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 13000 | #Constraints: 25376
120.85/122.23 c #Conflicts: 14000 | #Constraints: 26376
120.85/122.23 c #Conflicts: 15000 | #Constraints: 27376
120.85/122.23 c #Conflicts: 16000 | #Constraints: 28376
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 17000 | #Constraints: 25577
120.85/122.23 c #Conflicts: 18000 | #Constraints: 26577
120.85/122.23 c #Conflicts: 19000 | #Constraints: 27577
120.85/122.23 c #Conflicts: 20000 | #Constraints: 28577
120.85/122.23 c #Conflicts: 21000 | #Constraints: 29577
120.85/122.23 c #Conflicts: 22000 | #Constraints: 30577
120.85/122.23 c #Conflicts: 23000 | #Constraints: 31577
120.85/122.23 c #Conflicts: 24000 | #Constraints: 32577
120.85/122.23 c #Conflicts: 25000 | #Constraints: 33577
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 26000 | #Constraints: 28145
120.85/122.23 c #Conflicts: 27000 | #Constraints: 29145
120.85/122.23 c #Conflicts: 28000 | #Constraints: 30145
120.85/122.23 c #Conflicts: 29000 | #Constraints: 31145
120.85/122.23 c #Conflicts: 30000 | #Constraints: 32145
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 31000 | #Constraints: 27981
120.85/122.23 c #Conflicts: 32000 | #Constraints: 28981
120.85/122.23 c #Conflicts: 33000 | #Constraints: 29981
120.85/122.23 c #Conflicts: 34000 | #Constraints: 30981
120.85/122.23 c #Conflicts: 35000 | #Constraints: 31981
120.85/122.23 c #Conflicts: 36000 | #Constraints: 32981
120.85/122.23 c #Conflicts: 37000 | #Constraints: 33981
120.85/122.23 c #Conflicts: 38000 | #Constraints: 34981
120.85/122.23 c #Conflicts: 39000 | #Constraints: 35981
120.85/122.23 c #Conflicts: 40000 | #Constraints: 36981
120.85/122.23 c #Conflicts: 41000 | #Constraints: 37981
120.85/122.23 c #Conflicts: 42000 | #Constraints: 38981
120.85/122.23 c #Conflicts: 43000 | #Constraints: 39981
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 44000 | #Constraints: 31768
120.85/122.23 c #Conflicts: 45000 | #Constraints: 32768
120.85/122.23 c #Conflicts: 46000 | #Constraints: 33768
120.85/122.23 c #Conflicts: 47000 | #Constraints: 34768
120.85/122.23 c #Conflicts: 48000 | #Constraints: 35768
120.85/122.23 c #Conflicts: 49000 | #Constraints: 36768
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 50000 | #Constraints: 30848
120.85/122.23 c #Conflicts: 51000 | #Constraints: 31848
120.85/122.23 c #Conflicts: 52000 | #Constraints: 32848
120.85/122.23 c #Conflicts: 53000 | #Constraints: 33848
120.85/122.23 c #Conflicts: 54000 | #Constraints: 34848
120.85/122.23 c #Conflicts: 55000 | #Constraints: 35848
120.85/122.23 c #Conflicts: 56000 | #Constraints: 36848
120.85/122.23 c #Conflicts: 57000 | #Constraints: 37848
120.85/122.23 c #Conflicts: 58000 | #Constraints: 38848
120.85/122.23 c #Conflicts: 59000 | #Constraints: 39848
120.85/122.23 c #Conflicts: 60000 | #Constraints: 40848
120.85/122.23 c #Conflicts: 61000 | #Constraints: 41848
120.85/122.23 c #Conflicts: 62000 | #Constraints: 42848
120.85/122.23 c #Conflicts: 63000 | #Constraints: 43848
120.85/122.23 c #Conflicts: 64000 | #Constraints: 44848
120.85/122.23 c #Conflicts: 65000 | #Constraints: 45848
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
120.85/122.23 c #Conflicts: 66000 | #Constraints: 34918
120.85/122.23 c #Conflicts: 67000 | #Constraints: 35918
120.85/122.23 c #Conflicts: 68000 | #Constraints: 36918
120.85/122.23 c #Conflicts: 69000 | #Constraints: 37918
120.85/122.23 c #Conflicts: 70000 | #Constraints: 38918
120.85/122.23 c #Conflicts: 71000 | #Constraints: 39918
120.85/122.23 c #Conflicts: 72000 | #Constraints: 40918
120.85/122.23 c INPROCESSING
120.85/122.23 c GARBAGE COLLECT
252.52/254.24 c #Conflicts: 73000 | #Constraints: 33574
252.52/254.24 c #Conflicts: 74000 | #Constraints: 34574
252.52/254.24 c #Conflicts: 75000 | #Constraints: 35574
252.52/254.24 c #Conflicts: 76000 | #Constraints: 36574
252.52/254.24 c #Conflicts: 77000 | #Constraints: 37574
252.52/254.24 c #Conflicts: 78000 | #Constraints: 38574
252.52/254.24 c #Conflicts: 79000 | #Constraints: 39574
252.52/254.24 c #Conflicts: 80000 | #Constraints: 40574
252.52/254.24 c #Conflicts: 81000 | #Constraints: 41574
252.52/254.24 c #Conflicts: 82000 | #Constraints: 42574
252.52/254.24 c #Conflicts: 83000 | #Constraints: 43574
252.52/254.24 c #Conflicts: 84000 | #Constraints: 44574
252.52/254.24 c #Conflicts: 85000 | #Constraints: 45574
252.52/254.24 c #Conflicts: 86000 | #Constraints: 46574
252.52/254.24 c #Conflicts: 87000 | #Constraints: 47574
252.52/254.24 c #Conflicts: 88000 | #Constraints: 48574
252.52/254.24 c #Conflicts: 89000 | #Constraints: 49574
252.52/254.24 c #Conflicts: 90000 | #Constraints: 50574
252.52/254.24 c #Conflicts: 91000 | #Constraints: 51574
252.52/254.24 c INPROCESSING
252.52/254.24 c GARBAGE COLLECT
252.52/254.24 c #Conflicts: 92000 | #Constraints: 37786
252.52/254.24 c #Conflicts: 93000 | #Constraints: 38786
252.52/254.24 c #Conflicts: 94000 | #Constraints: 39786
252.52/254.24 c #Conflicts: 95000 | #Constraints: 40786
252.52/254.24 c #Conflicts: 96000 | #Constraints: 41786
252.52/254.24 c #Conflicts: 97000 | #Constraints: 42786
252.52/254.24 c #Conflicts: 98000 | #Constraints: 43786
252.52/254.24 c #Conflicts: 99000 | #Constraints: 44786
252.52/254.24 c #Conflicts: 100000 | #Constraints: 45786
252.52/254.24 c INPROCESSING
252.52/254.24 c GARBAGE COLLECT
252.52/254.24 c #Conflicts: 101000 | #Constraints: 37082
252.52/254.24 c #Conflicts: 102000 | #Constraints: 38082
252.52/254.24 c #Conflicts: 103000 | #Constraints: 39082
252.52/254.24 c #Conflicts: 104000 | #Constraints: 40082
252.52/254.24 c #Conflicts: 105000 | #Constraints: 41082
252.52/254.24 c #Conflicts: 106000 | #Constraints: 42082
252.52/254.24 c #Conflicts: 107000 | #Constraints: 43082
252.52/254.24 c #Conflicts: 108000 | #Constraints: 44082
252.52/254.24 c #Conflicts: 109000 | #Constraints: 45082
252.52/254.24 c #Conflicts: 110000 | #Constraints: 46082
252.52/254.24 c #Conflicts: 111000 | #Constraints: 47082
252.52/254.24 c #Conflicts: 112000 | #Constraints: 48082
252.52/254.24 c #Conflicts: 113000 | #Constraints: 49082
252.52/254.24 c #Conflicts: 114000 | #Constraints: 50082
252.52/254.24 c #Conflicts: 115000 | #Constraints: 51082
252.52/254.24 c #Conflicts: 116000 | #Constraints: 52082
252.52/254.24 c #Conflicts: 117000 | #Constraints: 53082
252.52/254.24 c #Conflicts: 118000 | #Constraints: 54082
252.52/254.24 c #Conflicts: 119000 | #Constraints: 55082
252.52/254.24 c #Conflicts: 120000 | #Constraints: 56082
252.52/254.24 c #Conflicts: 121000 | #Constraints: 57082
252.52/254.24 c INPROCESSING
252.52/254.24 c GARBAGE COLLECT
252.52/254.24 c #Conflicts: 122000 | #Constraints: 40475
252.52/254.24 c #Conflicts: 123000 | #Constraints: 41475
252.52/254.24 c #Conflicts: 124000 | #Constraints: 42475
252.52/254.24 c #Conflicts: 125000 | #Constraints: 43475
252.52/254.24 c #Conflicts: 126000 | #Constraints: 44475
252.52/254.24 c #Conflicts: 127000 | #Constraints: 45475
252.52/254.24 c #Conflicts: 128000 | #Constraints: 46475
252.52/254.24 c #Conflicts: 129000 | #Constraints: 47475
252.52/254.24 c #Conflicts: 130000 | #Constraints: 48475
252.52/254.24 c #Conflicts: 131000 | #Constraints: 49475
252.52/254.24 c #Conflicts: 132000 | #Constraints: 50475
252.52/254.24 c INPROCESSING
252.52/254.24 c GARBAGE COLLECT
252.52/254.24 c #Conflicts: 133000 | #Constraints: 40471
252.52/254.24 c #Conflicts: 134000 | #Constraints: 41471
252.52/254.24 c #Conflicts: 135000 | #Constraints: 42471
252.52/254.24 c #Conflicts: 136000 | #Constraints: 43471
252.52/254.24 c #Conflicts: 137000 | #Constraints: 44471
252.52/254.24 c #Conflicts: 138000 | #Constraints: 45471
252.52/254.24 c #Conflicts: 139000 | #Constraints: 46471
252.52/254.24 c #Conflicts: 140000 | #Constraints: 47471
252.52/254.24 c #Conflicts: 141000 | #Constraints: 48471
252.52/254.24 c #Conflicts: 142000 | #Constraints: 49471
252.52/254.24 c #Conflicts: 143000 | #Constraints: 50471
252.52/254.24 c #Conflicts: 144000 | #Constraints: 51471
252.52/254.24 c #Conflicts: 145000 | #Constraints: 52471
252.52/254.24 c #Conflicts: 146000 | #Constraints: 53471
252.52/254.24 c #Conflicts: 147000 | #Constraints: 54471
252.52/254.24 c #Conflicts: 148000 | #Constraints: 55471
252.52/254.24 c #Conflicts: 149000 | #Constraints: 56471
373.81/375.86 c #Conflicts: 150000 | #Constraints: 57471
373.81/375.86 c #Conflicts: 151000 | #Constraints: 58471
373.81/375.86 c #Conflicts: 152000 | #Constraints: 59471
373.81/375.86 c #Conflicts: 153000 | #Constraints: 60471
373.81/375.86 c #Conflicts: 154000 | #Constraints: 61471
373.81/375.86 c #Conflicts: 155000 | #Constraints: 62471
373.81/375.86 c #Conflicts: 156000 | #Constraints: 63471
373.81/375.86 c INPROCESSING
373.81/375.86 c GARBAGE COLLECT
373.81/375.86 c #Conflicts: 157000 | #Constraints: 43186
373.81/375.86 c #Conflicts: 158000 | #Constraints: 44186
373.81/375.86 c #Conflicts: 159000 | #Constraints: 45186
373.81/375.86 c #Conflicts: 160000 | #Constraints: 46186
373.81/375.86 c #Conflicts: 161000 | #Constraints: 47186
373.81/375.86 c #Conflicts: 162000 | #Constraints: 48186
373.81/375.86 c #Conflicts: 163000 | #Constraints: 49186
373.81/375.86 c #Conflicts: 164000 | #Constraints: 50186
373.81/375.86 c #Conflicts: 165000 | #Constraints: 51186
373.81/375.86 c #Conflicts: 166000 | #Constraints: 52186
373.81/375.86 c #Conflicts: 167000 | #Constraints: 53186
373.81/375.86 c #Conflicts: 168000 | #Constraints: 54186
373.81/375.86 c INPROCESSING
373.81/375.86 c GARBAGE COLLECT
373.81/375.86 c #Conflicts: 169000 | #Constraints: 43300
373.81/375.86 c #Conflicts: 170000 | #Constraints: 44300
373.81/375.86 c #Conflicts: 171000 | #Constraints: 45300
373.81/375.86 c #Conflicts: 172000 | #Constraints: 46300
373.81/375.86 c #Conflicts: 173000 | #Constraints: 47300
373.81/375.86 c #Conflicts: 174000 | #Constraints: 48300
373.81/375.86 c #Conflicts: 175000 | #Constraints: 49300
373.81/375.86 c #Conflicts: 176000 | #Constraints: 50300
373.81/375.86 c #Conflicts: 177000 | #Constraints: 51300
373.81/375.86 c #Conflicts: 178000 | #Constraints: 52300
373.81/375.86 c #Conflicts: 179000 | #Constraints: 53300
373.81/375.86 c #Conflicts: 180000 | #Constraints: 54300
373.81/375.86 c #Conflicts: 181000 | #Constraints: 55300
373.81/375.86 c #Conflicts: 182000 | #Constraints: 56300
373.81/375.86 c #Conflicts: 183000 | #Constraints: 57300
373.81/375.86 c #Conflicts: 184000 | #Constraints: 58300
373.81/375.86 c #Conflicts: 185000 | #Constraints: 59300
373.81/375.86 c #Conflicts: 186000 | #Constraints: 60300
373.81/375.86 c #Conflicts: 187000 | #Constraints: 61300
373.81/375.86 c #Conflicts: 188000 | #Constraints: 62300
373.81/375.86 c #Conflicts: 189000 | #Constraints: 63300
373.81/375.86 c #Conflicts: 190000 | #Constraints: 64300
373.81/375.86 c #Conflicts: 191000 | #Constraints: 65300
373.81/375.86 c #Conflicts: 192000 | #Constraints: 66300
373.81/375.86 c #Conflicts: 193000 | #Constraints: 67300
373.81/375.86 c #Conflicts: 194000 | #Constraints: 68300
373.81/375.86 c #Conflicts: 195000 | #Constraints: 69300
373.81/375.86 c #Conflicts: 196000 | #Constraints: 70300
373.81/375.86 c INPROCESSING
373.81/375.86 c GARBAGE COLLECT
373.81/375.86 c #Conflicts: 197000 | #Constraints: 47589
373.81/375.86 c #Conflicts: 198000 | #Constraints: 48589
373.81/375.86 c #Conflicts: 199000 | #Constraints: 49589
373.81/375.86 c #Conflicts: 200000 | #Constraints: 50589
373.81/375.86 c #Conflicts: 201000 | #Constraints: 51589
373.81/375.86 c #Conflicts: 202000 | #Constraints: 52589
373.81/375.86 c #Conflicts: 203000 | #Constraints: 53589
373.81/375.86 c #Conflicts: 204000 | #Constraints: 54589
373.81/375.86 c #Conflicts: 205000 | #Constraints: 55589
373.81/375.86 c #Conflicts: 206000 | #Constraints: 56589
373.81/375.86 c #Conflicts: 207000 | #Constraints: 57589
373.81/375.86 c #Conflicts: 208000 | #Constraints: 58589
373.81/375.86 c #Conflicts: 209000 | #Constraints: 59589
373.81/375.86 c INPROCESSING
373.81/375.86 c GARBAGE COLLECT
373.81/375.86 c #Conflicts: 210000 | #Constraints: 46490
373.81/375.86 c #Conflicts: 211000 | #Constraints: 47490
373.81/375.86 c #Conflicts: 212000 | #Constraints: 48490
373.81/375.86 c #Conflicts: 213000 | #Constraints: 49490
373.81/375.86 c #Conflicts: 214000 | #Constraints: 50490
373.81/375.86 c #Conflicts: 215000 | #Constraints: 51490
373.81/375.86 c #Conflicts: 216000 | #Constraints: 52490
373.81/375.86 c #Conflicts: 217000 | #Constraints: 53490
373.81/375.86 c #Conflicts: 218000 | #Constraints: 54490
373.81/375.86 c #Conflicts: 219000 | #Constraints: 55490
373.81/375.86 c #Conflicts: 220000 | #Constraints: 56490
373.81/375.86 c #Conflicts: 221000 | #Constraints: 57490
373.81/375.86 c #Conflicts: 222000 | #Constraints: 58490
373.81/375.86 c #Conflicts: 223000 | #Constraints: 59490
373.81/375.86 c #Conflicts: 224000 | #Constraints: 60490
373.81/375.86 c #Conflicts: 225000 | #Constraints: 61490
440.73/442.96 c #Conflicts: 226000 | #Constraints: 62490
440.73/442.96 c #Conflicts: 227000 | #Constraints: 63490
440.73/442.96 c #Conflicts: 228000 | #Constraints: 64490
440.73/442.96 c #Conflicts: 229000 | #Constraints: 65490
440.73/442.96 c #Conflicts: 230000 | #Constraints: 66490
440.73/442.96 c #Conflicts: 231000 | #Constraints: 67490
440.73/442.96 c #Conflicts: 232000 | #Constraints: 68490
440.73/442.96 c #Conflicts: 233000 | #Constraints: 69490
440.73/442.96 c #Conflicts: 234000 | #Constraints: 70490
440.73/442.96 c #Conflicts: 235000 | #Constraints: 71490
440.73/442.96 c #Conflicts: 236000 | #Constraints: 72490
440.73/442.96 c #Conflicts: 237000 | #Constraints: 73490
440.73/442.96 c #Conflicts: 238000 | #Constraints: 74490
440.73/442.96 c #Conflicts: 239000 | #Constraints: 75490
440.73/442.96 c #Conflicts: 240000 | #Constraints: 76490
440.73/442.96 c INPROCESSING
440.73/442.96 c GARBAGE COLLECT
440.73/442.96 c rational objective 177
589.76/592.39 c #Conflicts: 241000 | #Constraints: 50773
589.76/592.39 c #Conflicts: 242000 | #Constraints: 51773
589.76/592.39 c #Conflicts: 243000 | #Constraints: 52773
589.76/592.39 c #Conflicts: 244000 | #Constraints: 53773
589.76/592.39 c #Conflicts: 245000 | #Constraints: 54773
589.76/592.39 c #Conflicts: 246000 | #Constraints: 55773
589.76/592.39 c #Conflicts: 247000 | #Constraints: 56773
589.76/592.39 c #Conflicts: 248000 | #Constraints: 57773
589.76/592.39 c #Conflicts: 249000 | #Constraints: 58773
589.76/592.39 c #Conflicts: 250000 | #Constraints: 59773
589.76/592.39 c #Conflicts: 251000 | #Constraints: 60773
589.76/592.39 c #Conflicts: 252000 | #Constraints: 61773
589.76/592.39 c #Conflicts: 253000 | #Constraints: 62773
589.76/592.39 c #Conflicts: 254000 | #Constraints: 63773
589.76/592.39 c INPROCESSING
589.76/592.39 c GARBAGE COLLECT
589.76/592.39 c #Conflicts: 255000 | #Constraints: 49206
589.76/592.39 c #Conflicts: 256000 | #Constraints: 50206
589.76/592.39 c #Conflicts: 257000 | #Constraints: 51206
589.76/592.39 c #Conflicts: 258000 | #Constraints: 52206
589.76/592.39 c #Conflicts: 259000 | #Constraints: 53206
589.76/592.39 c #Conflicts: 260000 | #Constraints: 54207
589.76/592.39 c #Conflicts: 261000 | #Constraints: 55207
589.76/592.39 c #Conflicts: 262000 | #Constraints: 56207
589.76/592.39 c #Conflicts: 263000 | #Constraints: 57207
589.76/592.39 c #Conflicts: 264000 | #Constraints: 58207
589.76/592.39 c #Conflicts: 265000 | #Constraints: 59207
589.76/592.39 c #Conflicts: 266000 | #Constraints: 60207
589.76/592.39 c #Conflicts: 267000 | #Constraints: 61207
589.76/592.39 c #Conflicts: 268000 | #Constraints: 62207
589.76/592.39 c #Conflicts: 269000 | #Constraints: 63207
589.76/592.39 c #Conflicts: 270000 | #Constraints: 64207
589.76/592.39 c #Conflicts: 271000 | #Constraints: 65207
589.76/592.39 c #Conflicts: 272000 | #Constraints: 66207
589.76/592.39 c #Conflicts: 273000 | #Constraints: 67207
589.76/592.39 c #Conflicts: 274000 | #Constraints: 68207
589.76/592.39 c #Conflicts: 275000 | #Constraints: 69207
589.76/592.39 c #Conflicts: 276000 | #Constraints: 70207
589.76/592.39 c #Conflicts: 277000 | #Constraints: 71207
589.76/592.39 c #Conflicts: 278000 | #Constraints: 72207
589.76/592.39 c #Conflicts: 279000 | #Constraints: 73207
589.76/592.39 c #Conflicts: 280000 | #Constraints: 74207
589.76/592.39 c #Conflicts: 281000 | #Constraints: 75207
589.76/592.39 c #Conflicts: 282000 | #Constraints: 76207
589.76/592.39 c #Conflicts: 283000 | #Constraints: 77207
589.76/592.39 c #Conflicts: 284000 | #Constraints: 78207
589.76/592.39 c #Conflicts: 285000 | #Constraints: 79207
589.76/592.39 c #Conflicts: 286000 | #Constraints: 80207
589.76/592.39 c #Conflicts: 287000 | #Constraints: 81207
589.76/592.39 c #Conflicts: 288000 | #Constraints: 82207
589.76/592.39 c INPROCESSING
589.76/592.39 c GARBAGE COLLECT
589.76/592.39 c #Conflicts: 289000 | #Constraints: 53545
589.76/592.39 c #Conflicts: 290000 | #Constraints: 54545
589.76/592.39 c #Conflicts: 291000 | #Constraints: 55545
589.76/592.39 c #Conflicts: 292000 | #Constraints: 56545
589.76/592.39 c #Conflicts: 293000 | #Constraints: 57545
589.76/592.39 c #Conflicts: 294000 | #Constraints: 58545
589.76/592.39 c #Conflicts: 295000 | #Constraints: 59545
589.76/592.39 c #Conflicts: 296000 | #Constraints: 60545
589.76/592.39 c #Conflicts: 297000 | #Constraints: 61545
589.76/592.39 c #Conflicts: 298000 | #Constraints: 62545
589.76/592.39 c #Conflicts: 299000 | #Constraints: 63545
589.76/592.39 c #Conflicts: 300000 | #Constraints: 64545
589.76/592.39 c #Conflicts: 301000 | #Constraints: 65545
589.76/592.39 c #Conflicts: 302000 | #Constraints: 66545
589.76/592.39 c #Conflicts: 303000 | #Constraints: 67545
589.76/592.39 c INPROCESSING
589.76/592.39 c GARBAGE COLLECT
589.76/592.39 c #Conflicts: 304000 | #Constraints: 51788
589.76/592.39 c #Conflicts: 305000 | #Constraints: 52788
589.76/592.39 c #Conflicts: 306000 | #Constraints: 53788
589.76/592.39 c #Conflicts: 307000 | #Constraints: 54788
589.76/592.39 c #Conflicts: 308000 | #Constraints: 55788
589.76/592.39 c #Conflicts: 309000 | #Constraints: 56788
589.76/592.39 c #Conflicts: 310000 | #Constraints: 57788
589.76/592.39 c #Conflicts: 311000 | #Constraints: 58788
589.76/592.39 c #Conflicts: 312000 | #Constraints: 59788
589.76/592.39 c #Conflicts: 313000 | #Constraints: 60788
589.76/592.39 c #Conflicts: 314000 | #Constraints: 61788
589.76/592.39 c #Conflicts: 315000 | #Constraints: 62788
589.76/592.39 c #Conflicts: 316000 | #Constraints: 63788
589.76/592.39 c #Conflicts: 317000 | #Constraints: 64788
751.27/754.22 c #Conflicts: 318000 | #Constraints: 65788
751.27/754.22 c #Conflicts: 319000 | #Constraints: 66788
751.27/754.22 c #Conflicts: 320000 | #Constraints: 67788
751.27/754.22 c #Conflicts: 321000 | #Constraints: 68788
751.27/754.22 c #Conflicts: 322000 | #Constraints: 69788
751.27/754.22 c #Conflicts: 323000 | #Constraints: 70788
751.27/754.22 c #Conflicts: 324000 | #Constraints: 71788
751.27/754.22 c #Conflicts: 325000 | #Constraints: 72788
751.27/754.22 c #Conflicts: 326000 | #Constraints: 73788
751.27/754.22 c #Conflicts: 327000 | #Constraints: 74788
751.27/754.22 c #Conflicts: 328000 | #Constraints: 75788
751.27/754.22 c #Conflicts: 329000 | #Constraints: 76788
751.27/754.22 c #Conflicts: 330000 | #Constraints: 77788
751.27/754.22 c #Conflicts: 331000 | #Constraints: 78788
751.27/754.22 c #Conflicts: 332000 | #Constraints: 79788
751.27/754.22 c #Conflicts: 333000 | #Constraints: 80788
751.27/754.22 c #Conflicts: 334000 | #Constraints: 81788
751.27/754.22 c #Conflicts: 335000 | #Constraints: 82788
751.27/754.22 c #Conflicts: 336000 | #Constraints: 83788
751.27/754.22 c #Conflicts: 337000 | #Constraints: 84788
751.27/754.22 c #Conflicts: 338000 | #Constraints: 85788
751.27/754.22 c #Conflicts: 339000 | #Constraints: 86788
751.27/754.22 c #Conflicts: 340000 | #Constraints: 87788
751.27/754.22 c INPROCESSING
751.27/754.22 c GARBAGE COLLECT
751.27/754.22 c #Conflicts: 341000 | #Constraints: 56128
751.27/754.22 c #Conflicts: 342000 | #Constraints: 57128
751.27/754.22 c #Conflicts: 343000 | #Constraints: 58128
751.27/754.22 c #Conflicts: 344000 | #Constraints: 59128
751.27/754.22 c #Conflicts: 345000 | #Constraints: 60128
751.27/754.22 c #Conflicts: 346000 | #Constraints: 61128
751.27/754.22 c #Conflicts: 347000 | #Constraints: 62128
751.27/754.22 c #Conflicts: 348000 | #Constraints: 63128
751.27/754.22 c #Conflicts: 349000 | #Constraints: 64128
751.27/754.22 c #Conflicts: 350000 | #Constraints: 65128
751.27/754.22 c #Conflicts: 351000 | #Constraints: 66128
751.27/754.22 c #Conflicts: 352000 | #Constraints: 67128
751.27/754.22 c #Conflicts: 353000 | #Constraints: 68128
751.27/754.22 c #Conflicts: 354000 | #Constraints: 69128
751.27/754.22 c #Conflicts: 355000 | #Constraints: 70128
751.27/754.22 c #Conflicts: 356000 | #Constraints: 71128
751.27/754.22 c #Conflicts: 357000 | #Constraints: 72128
751.27/754.22 c INPROCESSING
751.27/754.22 c GARBAGE COLLECT
751.27/754.22 c #Conflicts: 358000 | #Constraints: 54624
751.27/754.22 c #Conflicts: 359000 | #Constraints: 55624
751.27/754.22 c #Conflicts: 360000 | #Constraints: 56624
751.27/754.22 c #Conflicts: 361000 | #Constraints: 57624
751.27/754.22 c #Conflicts: 362000 | #Constraints: 58624
751.27/754.22 c #Conflicts: 363000 | #Constraints: 59624
751.27/754.22 c #Conflicts: 364000 | #Constraints: 60624
751.27/754.22 c #Conflicts: 365000 | #Constraints: 61624
751.27/754.22 c #Conflicts: 366000 | #Constraints: 62624
751.27/754.22 c #Conflicts: 367000 | #Constraints: 63624
751.27/754.22 c #Conflicts: 368000 | #Constraints: 64624
751.27/754.22 c #Conflicts: 369000 | #Constraints: 65624
751.27/754.22 c #Conflicts: 370000 | #Constraints: 66624
751.27/754.22 c #Conflicts: 371000 | #Constraints: 67624
751.27/754.22 c #Conflicts: 372000 | #Constraints: 68624
751.27/754.22 c #Conflicts: 373000 | #Constraints: 69624
751.27/754.22 c #Conflicts: 374000 | #Constraints: 70624
751.27/754.22 c #Conflicts: 375000 | #Constraints: 71624
751.27/754.22 c #Conflicts: 376000 | #Constraints: 72624
751.27/754.22 c #Conflicts: 377000 | #Constraints: 73624
751.27/754.22 c #Conflicts: 378000 | #Constraints: 74624
751.27/754.22 c #Conflicts: 379000 | #Constraints: 75624
751.27/754.22 c #Conflicts: 380000 | #Constraints: 76624
751.27/754.22 c #Conflicts: 381000 | #Constraints: 77624
751.27/754.22 c #Conflicts: 382000 | #Constraints: 78624
751.27/754.22 c #Conflicts: 383000 | #Constraints: 79624
751.27/754.22 c #Conflicts: 384000 | #Constraints: 80624
751.27/754.22 c #Conflicts: 385000 | #Constraints: 81624
751.27/754.22 c #Conflicts: 386000 | #Constraints: 82624
751.27/754.22 c #Conflicts: 387000 | #Constraints: 83624
751.27/754.22 c #Conflicts: 388000 | #Constraints: 84624
751.27/754.22 c #Conflicts: 389000 | #Constraints: 85624
751.27/754.22 c #Conflicts: 390000 | #Constraints: 86624
751.27/754.22 c #Conflicts: 391000 | #Constraints: 87624
751.27/754.22 c #Conflicts: 392000 | #Constraints: 88624
751.27/754.22 c #Conflicts: 393000 | #Constraints: 89624
751.27/754.22 c #Conflicts: 394000 | #Constraints: 90624
751.27/754.22 c #Conflicts: 395000 | #Constraints: 91624
1043.96/1047.68 c #Conflicts: 396000 | #Constraints: 92624
1043.96/1047.68 c #Conflicts: 397000 | #Constraints: 93624
1043.96/1047.68 c INPROCESSING
1043.96/1047.68 c GARBAGE COLLECT
1043.96/1047.68 c #Conflicts: 398000 | #Constraints: 59332
1043.96/1047.68 c #Conflicts: 399000 | #Constraints: 60332
1043.96/1047.68 c #Conflicts: 400000 | #Constraints: 61332
1043.96/1047.68 c #Conflicts: 401000 | #Constraints: 62332
1043.96/1047.68 c #Conflicts: 402000 | #Constraints: 63332
1043.96/1047.68 c #Conflicts: 403000 | #Constraints: 64332
1043.96/1047.68 c #Conflicts: 404000 | #Constraints: 65332
1043.96/1047.68 c #Conflicts: 405000 | #Constraints: 66332
1043.96/1047.68 c #Conflicts: 406000 | #Constraints: 67332
1043.96/1047.68 c #Conflicts: 407000 | #Constraints: 68332
1043.96/1047.68 c #Conflicts: 408000 | #Constraints: 69332
1043.96/1047.68 c #Conflicts: 409000 | #Constraints: 70332
1043.96/1047.68 c #Conflicts: 410000 | #Constraints: 71332
1043.96/1047.68 c #Conflicts: 411000 | #Constraints: 72332
1043.96/1047.68 c #Conflicts: 412000 | #Constraints: 73332
1043.96/1047.68 c #Conflicts: 413000 | #Constraints: 74332
1043.96/1047.68 c #Conflicts: 414000 | #Constraints: 75332
1043.96/1047.68 c #Conflicts: 415000 | #Constraints: 76332
1043.96/1047.68 c INPROCESSING
1043.96/1047.68 c GARBAGE COLLECT
1043.96/1047.68 c #Conflicts: 416000 | #Constraints: 57482
1043.96/1047.68 c #Conflicts: 417000 | #Constraints: 58482
1043.96/1047.68 c #Conflicts: 418000 | #Constraints: 59482
1043.96/1047.68 c #Conflicts: 419000 | #Constraints: 60482
1043.96/1047.68 c #Conflicts: 420000 | #Constraints: 61483
1043.96/1047.68 c #Conflicts: 421000 | #Constraints: 62483
1043.96/1047.68 c #Conflicts: 422000 | #Constraints: 63483
1043.96/1047.68 c #Conflicts: 423000 | #Constraints: 64483
1043.96/1047.68 c #Conflicts: 424000 | #Constraints: 65483
1043.96/1047.68 c #Conflicts: 425000 | #Constraints: 66483
1043.96/1047.68 c #Conflicts: 426000 | #Constraints: 67483
1043.96/1047.68 c #Conflicts: 427000 | #Constraints: 68483
1043.96/1047.68 c #Conflicts: 428000 | #Constraints: 69483
1043.96/1047.68 c #Conflicts: 429000 | #Constraints: 70483
1043.96/1047.68 c #Conflicts: 430000 | #Constraints: 71483
1043.96/1047.68 c #Conflicts: 431000 | #Constraints: 72483
1043.96/1047.68 c #Conflicts: 432000 | #Constraints: 73483
1043.96/1047.68 c #Conflicts: 433000 | #Constraints: 74483
1043.96/1047.68 c #Conflicts: 434000 | #Constraints: 75483
1043.96/1047.68 c #Conflicts: 435000 | #Constraints: 76483
1043.96/1047.68 c #Conflicts: 436000 | #Constraints: 77483
1043.96/1047.68 c #Conflicts: 437000 | #Constraints: 78483
1043.96/1047.68 c #Conflicts: 438000 | #Constraints: 79483
1043.96/1047.68 c #Conflicts: 439000 | #Constraints: 80483
1043.96/1047.68 c #Conflicts: 440000 | #Constraints: 81483
1043.96/1047.68 c #Conflicts: 441000 | #Constraints: 82483
1043.96/1047.68 c #Conflicts: 442000 | #Constraints: 83483
1043.96/1047.68 c #Conflicts: 443000 | #Constraints: 84483
1043.96/1047.68 c #Conflicts: 444000 | #Constraints: 85483
1043.96/1047.68 c #Conflicts: 445000 | #Constraints: 86483
1043.96/1047.68 c #Conflicts: 446000 | #Constraints: 87483
1043.96/1047.68 c #Conflicts: 447000 | #Constraints: 88483
1043.96/1047.68 c #Conflicts: 448000 | #Constraints: 89483
1043.96/1047.68 c #Conflicts: 449000 | #Constraints: 90483
1043.96/1047.68 c #Conflicts: 450000 | #Constraints: 91483
1043.96/1047.68 c #Conflicts: 451000 | #Constraints: 92483
1043.96/1047.68 c #Conflicts: 452000 | #Constraints: 93483
1043.96/1047.68 c #Conflicts: 453000 | #Constraints: 94483
1043.96/1047.68 c #Conflicts: 454000 | #Constraints: 95483
1043.96/1047.68 c #Conflicts: 455000 | #Constraints: 96483
1043.96/1047.68 c #Conflicts: 456000 | #Constraints: 97483
1043.96/1047.68 c #Conflicts: 457000 | #Constraints: 98483
1043.96/1047.68 c #Conflicts: 458000 | #Constraints: 99483
1043.96/1047.68 c #Conflicts: 459000 | #Constraints: 100483
1043.96/1047.68 c INPROCESSING
1043.96/1047.68 c GARBAGE COLLECT
1043.96/1047.68 c #Conflicts: 460000 | #Constraints: 62885
1043.96/1047.68 c #Conflicts: 461000 | #Constraints: 63885
1043.96/1047.68 c #Conflicts: 462000 | #Constraints: 64885
1043.96/1047.68 c #Conflicts: 463000 | #Constraints: 65885
1043.96/1047.68 c #Conflicts: 464000 | #Constraints: 66885
1043.96/1047.68 c #Conflicts: 465000 | #Constraints: 67885
1043.96/1047.68 c #Conflicts: 466000 | #Constraints: 68885
1043.96/1047.68 c #Conflicts: 467000 | #Constraints: 69885
1043.96/1047.68 c #Conflicts: 468000 | #Constraints: 70885
1043.96/1047.68 c #Conflicts: 469000 | #Constraints: 71885
1043.96/1047.68 c #Conflicts: 470000 | #Constraints: 72885
1043.96/1047.68 c #Conflicts: 471000 | #Constraints: 73885
1043.96/1047.68 c #Conflicts: 472000 | #Constraints: 74885
1234.10/1238.27 c #Conflicts: 473000 | #Constraints: 75885
1234.10/1238.27 c #Conflicts: 474000 | #Constraints: 76885
1234.10/1238.27 c #Conflicts: 475000 | #Constraints: 77885
1234.10/1238.27 c #Conflicts: 476000 | #Constraints: 78885
1234.10/1238.27 c #Conflicts: 477000 | #Constraints: 79885
1234.10/1238.27 c #Conflicts: 478000 | #Constraints: 80885
1234.10/1238.27 c INPROCESSING
1234.10/1238.27 c GARBAGE COLLECT
1234.10/1238.27 c #Conflicts: 479000 | #Constraints: 59780
1234.10/1238.27 c #Conflicts: 480000 | #Constraints: 60780
1234.10/1238.27 c #Conflicts: 481000 | #Constraints: 61780
1234.10/1238.27 c #Conflicts: 482000 | #Constraints: 62780
1234.10/1238.27 c #Conflicts: 483000 | #Constraints: 63780
1234.10/1238.27 c #Conflicts: 484000 | #Constraints: 64780
1234.10/1238.27 c #Conflicts: 485000 | #Constraints: 65780
1234.10/1238.27 c #Conflicts: 486000 | #Constraints: 66780
1234.10/1238.27 c #Conflicts: 487000 | #Constraints: 67780
1234.10/1238.27 c #Conflicts: 488000 | #Constraints: 68780
1234.10/1238.27 c #Conflicts: 489000 | #Constraints: 69780
1234.10/1238.27 c #Conflicts: 490000 | #Constraints: 70780
1234.10/1238.27 c #Conflicts: 491000 | #Constraints: 71780
1234.10/1238.27 c #Conflicts: 492000 | #Constraints: 72780
1234.10/1238.27 c #Conflicts: 493000 | #Constraints: 73780
1234.10/1238.27 c #Conflicts: 494000 | #Constraints: 74780
1234.10/1238.27 c #Conflicts: 495000 | #Constraints: 75780
1234.10/1238.27 c #Conflicts: 496000 | #Constraints: 76780
1234.10/1238.27 c #Conflicts: 497000 | #Constraints: 77780
1234.10/1238.27 c #Conflicts: 498000 | #Constraints: 78780
1234.10/1238.27 c #Conflicts: 499000 | #Constraints: 79780
1234.10/1238.27 c #Conflicts: 500000 | #Constraints: 80780
1234.10/1238.27 c #Conflicts: 501000 | #Constraints: 81780
1234.10/1238.27 c #Conflicts: 502000 | #Constraints: 82780
1234.10/1238.27 c #Conflicts: 503000 | #Constraints: 83780
1234.10/1238.27 c #Conflicts: 504000 | #Constraints: 84780
1234.10/1238.27 c #Conflicts: 505000 | #Constraints: 85780
1234.10/1238.27 c #Conflicts: 506000 | #Constraints: 86780
1234.10/1238.27 c #Conflicts: 507000 | #Constraints: 87780
1234.10/1238.27 c #Conflicts: 508000 | #Constraints: 88780
1234.10/1238.27 c #Conflicts: 509000 | #Constraints: 89780
1234.10/1238.27 c #Conflicts: 510000 | #Constraints: 90780
1234.10/1238.27 c #Conflicts: 511000 | #Constraints: 91780
1234.10/1238.27 c #Conflicts: 512000 | #Constraints: 92780
1234.10/1238.27 c #Conflicts: 513000 | #Constraints: 93780
1234.10/1238.27 c #Conflicts: 514000 | #Constraints: 94780
1234.10/1238.27 c #Conflicts: 515000 | #Constraints: 95780
1234.10/1238.27 c #Conflicts: 516000 | #Constraints: 96780
1234.10/1238.27 c #Conflicts: 517000 | #Constraints: 97780
1234.10/1238.27 c #Conflicts: 518000 | #Constraints: 98780
1234.10/1238.27 c #Conflicts: 519000 | #Constraints: 99780
1234.10/1238.27 c #Conflicts: 520000 | #Constraints: 100780
1234.10/1238.27 c #Conflicts: 521000 | #Constraints: 101780
1234.10/1238.27 c #Conflicts: 522000 | #Constraints: 102780
1234.10/1238.27 c #Conflicts: 523000 | #Constraints: 103780
1234.10/1238.27 c #Conflicts: 524000 | #Constraints: 104780
1234.10/1238.27 c #Conflicts: 525000 | #Constraints: 105780
1234.10/1238.27 c INPROCESSING
1234.10/1238.27 c GARBAGE COLLECT
1234.10/1238.27 c #Conflicts: 526000 | #Constraints: 65770
1234.10/1238.27 c #Conflicts: 527000 | #Constraints: 66770
1234.10/1238.27 c #Conflicts: 528000 | #Constraints: 67770
1234.10/1238.27 c #Conflicts: 529000 | #Constraints: 68770
1234.10/1238.27 c #Conflicts: 530000 | #Constraints: 69770
1234.10/1238.27 c #Conflicts: 531000 | #Constraints: 70770
1234.10/1238.27 c #Conflicts: 532000 | #Constraints: 71770
1234.10/1238.27 c #Conflicts: 533000 | #Constraints: 72770
1234.10/1238.27 c #Conflicts: 534000 | #Constraints: 73770
1234.10/1238.27 c #Conflicts: 535000 | #Constraints: 74770
1234.10/1238.27 c #Conflicts: 536000 | #Constraints: 75770
1234.10/1238.27 c #Conflicts: 537000 | #Constraints: 76770
1234.10/1238.27 c #Conflicts: 538000 | #Constraints: 77770
1234.10/1238.27 c #Conflicts: 539000 | #Constraints: 78770
1234.10/1238.27 c #Conflicts: 540000 | #Constraints: 79770
1234.10/1238.27 c #Conflicts: 541000 | #Constraints: 80770
1234.10/1238.27 c #Conflicts: 542000 | #Constraints: 81770
1234.10/1238.27 c #Conflicts: 543000 | #Constraints: 82770
1234.10/1238.27 c #Conflicts: 544000 | #Constraints: 83770
1234.10/1238.27 c #Conflicts: 545000 | #Constraints: 84770
1234.10/1238.27 c INPROCESSING
1234.10/1238.27 c GARBAGE COLLECT
1234.10/1238.27 c #Conflicts: 546000 | #Constraints: 62073
1234.10/1238.27 c #Conflicts: 547000 | #Constraints: 63073
1234.10/1238.27 c #Conflicts: 548000 | #Constraints: 64073
1234.10/1238.27 c #Conflicts: 549000 | #Constraints: 65073
1414.36/1418.99 c #Conflicts: 550000 | #Constraints: 66073
1414.36/1418.99 c #Conflicts: 551000 | #Constraints: 67073
1414.36/1418.99 c #Conflicts: 552000 | #Constraints: 68073
1414.36/1418.99 c #Conflicts: 553000 | #Constraints: 69073
1414.36/1418.99 c #Conflicts: 554000 | #Constraints: 70073
1414.36/1418.99 c #Conflicts: 555000 | #Constraints: 71073
1414.36/1418.99 c #Conflicts: 556000 | #Constraints: 72073
1414.36/1418.99 c #Conflicts: 557000 | #Constraints: 73073
1414.36/1418.99 c #Conflicts: 558000 | #Constraints: 74073
1414.36/1418.99 c #Conflicts: 559000 | #Constraints: 75073
1414.36/1418.99 c #Conflicts: 560000 | #Constraints: 76073
1414.36/1418.99 c #Conflicts: 561000 | #Constraints: 77073
1414.36/1418.99 c #Conflicts: 562000 | #Constraints: 78073
1414.36/1418.99 c #Conflicts: 563000 | #Constraints: 79073
1414.36/1418.99 c #Conflicts: 564000 | #Constraints: 80073
1414.36/1418.99 c #Conflicts: 565000 | #Constraints: 81073
1414.36/1418.99 c #Conflicts: 566000 | #Constraints: 82073
1414.36/1418.99 c #Conflicts: 567000 | #Constraints: 83073
1414.36/1418.99 c #Conflicts: 568000 | #Constraints: 84073
1414.36/1418.99 c #Conflicts: 569000 | #Constraints: 85073
1414.36/1418.99 c #Conflicts: 570000 | #Constraints: 86073
1414.36/1418.99 c #Conflicts: 571000 | #Constraints: 87073
1414.36/1418.99 c #Conflicts: 572000 | #Constraints: 88073
1414.36/1418.99 c #Conflicts: 573000 | #Constraints: 89073
1414.36/1418.99 c #Conflicts: 574000 | #Constraints: 90073
1414.36/1418.99 c #Conflicts: 575000 | #Constraints: 91073
1414.36/1418.99 c #Conflicts: 576000 | #Constraints: 92073
1414.36/1418.99 c #Conflicts: 577000 | #Constraints: 93073
1414.36/1418.99 c #Conflicts: 578000 | #Constraints: 94073
1414.36/1418.99 c #Conflicts: 579000 | #Constraints: 95073
1414.36/1418.99 c #Conflicts: 580000 | #Constraints: 96073
1414.36/1418.99 c #Conflicts: 581000 | #Constraints: 97073
1414.36/1418.99 c #Conflicts: 582000 | #Constraints: 98073
1414.36/1418.99 c #Conflicts: 583000 | #Constraints: 99073
1414.36/1418.99 c #Conflicts: 584000 | #Constraints: 100073
1414.36/1418.99 c #Conflicts: 585000 | #Constraints: 101073
1414.36/1418.99 c #Conflicts: 586000 | #Constraints: 102073
1414.36/1418.99 c #Conflicts: 587000 | #Constraints: 103073
1414.36/1418.99 c #Conflicts: 588000 | #Constraints: 104073
1414.36/1418.99 c #Conflicts: 589000 | #Constraints: 105073
1414.36/1418.99 c #Conflicts: 590000 | #Constraints: 106073
1414.36/1418.99 c #Conflicts: 591000 | #Constraints: 107073
1414.36/1418.99 c #Conflicts: 592000 | #Constraints: 108073
1414.36/1418.99 c #Conflicts: 593000 | #Constraints: 109073
1414.36/1418.99 c #Conflicts: 594000 | #Constraints: 110073
1414.36/1418.99 c #Conflicts: 595000 | #Constraints: 111073
1414.36/1418.99 c INPROCESSING
1414.36/1418.99 c GARBAGE COLLECT
1414.36/1418.99 c #Conflicts: 596000 | #Constraints: 68281
1414.36/1418.99 c #Conflicts: 597000 | #Constraints: 69281
1414.36/1418.99 c #Conflicts: 598000 | #Constraints: 70281
1414.36/1418.99 c #Conflicts: 599000 | #Constraints: 71281
1414.36/1418.99 c #Conflicts: 600000 | #Constraints: 72281
1414.36/1418.99 c #Conflicts: 601000 | #Constraints: 73281
1414.36/1418.99 c #Conflicts: 602000 | #Constraints: 74281
1414.36/1418.99 c #Conflicts: 603000 | #Constraints: 75281
1414.36/1418.99 c #Conflicts: 604000 | #Constraints: 76281
1414.36/1418.99 c #Conflicts: 605000 | #Constraints: 77281
1414.36/1418.99 c #Conflicts: 606000 | #Constraints: 78281
1414.36/1418.99 c #Conflicts: 607000 | #Constraints: 79281
1414.36/1418.99 c #Conflicts: 608000 | #Constraints: 80281
1414.36/1418.99 c #Conflicts: 609000 | #Constraints: 81281
1414.36/1418.99 c #Conflicts: 610000 | #Constraints: 82281
1414.36/1418.99 c #Conflicts: 611000 | #Constraints: 83281
1414.36/1418.99 c #Conflicts: 612000 | #Constraints: 84281
1414.36/1418.99 c #Conflicts: 613000 | #Constraints: 85281
1414.36/1418.99 c #Conflicts: 614000 | #Constraints: 86281
1414.36/1418.99 c #Conflicts: 615000 | #Constraints: 87281
1414.36/1418.99 c #Conflicts: 616000 | #Constraints: 88281
1414.36/1418.99 c #Conflicts: 617000 | #Constraints: 89281
1414.36/1418.99 c INPROCESSING
1414.36/1418.99 c GARBAGE COLLECT
1414.36/1418.99 c #Conflicts: 618000 | #Constraints: 65466
1414.36/1418.99 c #Conflicts: 619000 | #Constraints: 66466
1414.36/1418.99 c #Conflicts: 620000 | #Constraints: 67466
1414.36/1418.99 c #Conflicts: 621000 | #Constraints: 68466
1414.36/1418.99 c #Conflicts: 622000 | #Constraints: 69466
1414.36/1418.99 c #Conflicts: 623000 | #Constraints: 70466
1414.36/1418.99 c #Conflicts: 624000 | #Constraints: 71466
1414.36/1418.99 c #Conflicts: 625000 | #Constraints: 72466
1414.36/1418.99 c #Conflicts: 626000 | #Constraints: 73466
1579.18/1584.12 c #Conflicts: 627000 | #Constraints: 74466
1579.18/1584.12 c #Conflicts: 628000 | #Constraints: 75466
1579.18/1584.12 c #Conflicts: 629000 | #Constraints: 76466
1579.18/1584.12 c #Conflicts: 630000 | #Constraints: 77466
1579.18/1584.12 c #Conflicts: 631000 | #Constraints: 78466
1579.18/1584.12 c #Conflicts: 632000 | #Constraints: 79466
1579.18/1584.12 c #Conflicts: 633000 | #Constraints: 80466
1579.18/1584.12 c #Conflicts: 634000 | #Constraints: 81466
1579.18/1584.12 c #Conflicts: 635000 | #Constraints: 82466
1579.18/1584.12 c #Conflicts: 636000 | #Constraints: 83466
1579.18/1584.12 c #Conflicts: 637000 | #Constraints: 84466
1579.18/1584.12 c #Conflicts: 638000 | #Constraints: 85466
1579.18/1584.12 c #Conflicts: 639000 | #Constraints: 86466
1579.18/1584.12 c #Conflicts: 640000 | #Constraints: 87466
1579.18/1584.12 c #Conflicts: 641000 | #Constraints: 88466
1579.18/1584.12 c #Conflicts: 642000 | #Constraints: 89466
1579.18/1584.12 c #Conflicts: 643000 | #Constraints: 90466
1579.18/1584.12 c #Conflicts: 644000 | #Constraints: 91466
1579.18/1584.12 c #Conflicts: 645000 | #Constraints: 92466
1579.18/1584.12 c #Conflicts: 646000 | #Constraints: 93466
1579.18/1584.12 c #Conflicts: 647000 | #Constraints: 94466
1579.18/1584.12 c #Conflicts: 648000 | #Constraints: 95466
1579.18/1584.12 c #Conflicts: 649000 | #Constraints: 96466
1579.18/1584.12 c #Conflicts: 650000 | #Constraints: 97466
1579.18/1584.12 c #Conflicts: 651000 | #Constraints: 98466
1579.18/1584.12 c #Conflicts: 652000 | #Constraints: 99466
1579.18/1584.12 c #Conflicts: 653000 | #Constraints: 100466
1579.18/1584.12 c #Conflicts: 654000 | #Constraints: 101466
1579.18/1584.12 c #Conflicts: 655000 | #Constraints: 102466
1579.18/1584.12 c #Conflicts: 656000 | #Constraints: 103466
1579.18/1584.12 c #Conflicts: 657000 | #Constraints: 104466
1579.18/1584.12 c #Conflicts: 658000 | #Constraints: 105466
1579.18/1584.12 c #Conflicts: 659000 | #Constraints: 106466
1579.18/1584.12 c #Conflicts: 660000 | #Constraints: 107466
1579.18/1584.12 c #Conflicts: 661000 | #Constraints: 108466
1579.18/1584.12 c #Conflicts: 662000 | #Constraints: 109466
1579.18/1584.12 c #Conflicts: 663000 | #Constraints: 110466
1579.18/1584.12 c #Conflicts: 664000 | #Constraints: 111466
1579.18/1584.12 c #Conflicts: 665000 | #Constraints: 112466
1579.18/1584.12 c #Conflicts: 666000 | #Constraints: 113466
1579.18/1584.12 c #Conflicts: 667000 | #Constraints: 114466
1579.18/1584.12 c #Conflicts: 668000 | #Constraints: 115466
1579.18/1584.12 c #Conflicts: 669000 | #Constraints: 116466
1579.18/1584.12 c INPROCESSING
1579.18/1584.12 c GARBAGE COLLECT
1579.18/1584.12 c #Conflicts: 670000 | #Constraints: 70946
1579.18/1584.12 c #Conflicts: 671000 | #Constraints: 71946
1579.18/1584.12 c #Conflicts: 672000 | #Constraints: 72946
1579.18/1584.12 c #Conflicts: 673000 | #Constraints: 73946
1579.18/1584.12 c #Conflicts: 674000 | #Constraints: 74946
1579.18/1584.12 c #Conflicts: 675000 | #Constraints: 75946
1579.18/1584.12 c #Conflicts: 676000 | #Constraints: 76946
1579.18/1584.12 c #Conflicts: 677000 | #Constraints: 77946
1579.18/1584.12 c #Conflicts: 678000 | #Constraints: 78946
1579.18/1584.12 c #Conflicts: 679000 | #Constraints: 79946
1579.18/1584.12 c #Conflicts: 680000 | #Constraints: 80946
1579.18/1584.12 c #Conflicts: 681000 | #Constraints: 81946
1579.18/1584.12 c #Conflicts: 682000 | #Constraints: 82946
1579.18/1584.12 c #Conflicts: 683000 | #Constraints: 83946
1579.18/1584.12 c #Conflicts: 684000 | #Constraints: 84946
1579.18/1584.12 c #Conflicts: 685000 | #Constraints: 85946
1579.18/1584.12 c #Conflicts: 686000 | #Constraints: 86946
1579.18/1584.12 c #Conflicts: 687000 | #Constraints: 87946
1579.18/1584.12 c #Conflicts: 688000 | #Constraints: 88946
1579.18/1584.12 c #Conflicts: 689000 | #Constraints: 89946
1579.18/1584.12 c #Conflicts: 690000 | #Constraints: 90946
1579.18/1584.12 c #Conflicts: 691000 | #Constraints: 91946
1579.18/1584.12 c #Conflicts: 692000 | #Constraints: 92946
1579.18/1584.12 c #Conflicts: 693000 | #Constraints: 93946
1579.18/1584.12 c INPROCESSING
1579.18/1584.12 c GARBAGE COLLECT
1579.18/1584.12 c #Conflicts: 694000 | #Constraints: 68696
1579.18/1584.12 c #Conflicts: 695000 | #Constraints: 69696
1579.18/1584.12 c #Conflicts: 696000 | #Constraints: 70696
1579.18/1584.12 c #Conflicts: 697000 | #Constraints: 71696
1579.18/1584.12 c #Conflicts: 698000 | #Constraints: 72696
1579.18/1584.12 c #Conflicts: 699000 | #Constraints: 73696
1579.18/1584.12 c #Conflicts: 700000 | #Constraints: 74696
1579.18/1584.12 c #Conflicts: 701000 | #Constraints: 75696
1579.18/1584.12 c #Conflicts: 702000 | #Constraints: 76696
1579.18/1584.12 c #Conflicts: 703000 | #Constraints: 77696
1579.18/1584.12 c #Conflicts: 704000 | #Constraints: 78696
1734.10/1739.43 c #Conflicts: 705000 | #Constraints: 79696
1734.10/1739.43 c #Conflicts: 706000 | #Constraints: 80696
1734.10/1739.43 c #Conflicts: 707000 | #Constraints: 81696
1734.10/1739.43 c #Conflicts: 708000 | #Constraints: 82696
1734.10/1739.43 c #Conflicts: 709000 | #Constraints: 83696
1734.10/1739.43 c #Conflicts: 710000 | #Constraints: 84696
1734.10/1739.43 c #Conflicts: 711000 | #Constraints: 85696
1734.10/1739.43 c #Conflicts: 712000 | #Constraints: 86696
1734.10/1739.43 c #Conflicts: 713000 | #Constraints: 87696
1734.10/1739.43 c #Conflicts: 714000 | #Constraints: 88696
1734.10/1739.43 c #Conflicts: 715000 | #Constraints: 89696
1734.10/1739.43 c #Conflicts: 716000 | #Constraints: 90696
1734.10/1739.43 c #Conflicts: 717000 | #Constraints: 91696
1734.10/1739.43 c #Conflicts: 718000 | #Constraints: 92696
1734.10/1739.43 c #Conflicts: 719000 | #Constraints: 93696
1734.10/1739.43 c #Conflicts: 720000 | #Constraints: 94696
1734.10/1739.43 c #Conflicts: 721000 | #Constraints: 95696
1734.10/1739.43 c #Conflicts: 722000 | #Constraints: 96696
1734.10/1739.43 c #Conflicts: 723000 | #Constraints: 97696
1734.10/1739.43 c #Conflicts: 724000 | #Constraints: 98696
1734.10/1739.43 c #Conflicts: 725000 | #Constraints: 99696
1734.10/1739.43 c #Conflicts: 726000 | #Constraints: 100696
1734.10/1739.43 c #Conflicts: 727000 | #Constraints: 101696
1734.10/1739.43 c #Conflicts: 728000 | #Constraints: 102696
1734.10/1739.43 c #Conflicts: 729000 | #Constraints: 103696
1734.10/1739.43 c #Conflicts: 730000 | #Constraints: 104696
1734.10/1739.43 c #Conflicts: 731000 | #Constraints: 105696
1734.10/1739.43 c #Conflicts: 732000 | #Constraints: 106696
1734.10/1739.43 c #Conflicts: 733000 | #Constraints: 107696
1734.10/1739.43 c #Conflicts: 734000 | #Constraints: 108696
1734.10/1739.43 c #Conflicts: 735000 | #Constraints: 109696
1734.10/1739.43 c #Conflicts: 736000 | #Constraints: 110696
1734.10/1739.43 c #Conflicts: 737000 | #Constraints: 111696
1734.10/1739.43 c #Conflicts: 738000 | #Constraints: 112696
1734.10/1739.43 c #Conflicts: 739000 | #Constraints: 113696
1734.10/1739.43 c #Conflicts: 740000 | #Constraints: 114696
1734.10/1739.43 c #Conflicts: 741000 | #Constraints: 115696
1734.10/1739.43 c #Conflicts: 742000 | #Constraints: 116696
1734.10/1739.43 c #Conflicts: 743000 | #Constraints: 117696
1734.10/1739.43 c #Conflicts: 744000 | #Constraints: 118696
1734.10/1739.43 c #Conflicts: 745000 | #Constraints: 119696
1734.10/1739.43 c #Conflicts: 746000 | #Constraints: 120696
1734.10/1739.43 c #Conflicts: 747000 | #Constraints: 121696
1734.10/1739.43 c #Conflicts: 748000 | #Constraints: 122696
1734.10/1739.43 c INPROCESSING
1734.10/1739.43 c GARBAGE COLLECT
1734.10/1739.43 c rational objective 177
1803.04/1808.54 c #Conflicts: 749000 | #Constraints: 73962
1803.04/1808.54 c #Conflicts: 750000 | #Constraints: 74962
1803.04/1808.54 c #Conflicts: 751000 | #Constraints: 75962
1803.04/1808.54 c #Conflicts: 752000 | #Constraints: 76962
1803.04/1808.54 c #Conflicts: 753000 | #Constraints: 77962
1803.04/1808.54 c #Conflicts: 754000 | #Constraints: 78962
1803.04/1808.54 c #Conflicts: 755000 | #Constraints: 79962
1803.04/1808.54 c #Conflicts: 756000 | #Constraints: 80962
1803.04/1808.54 c #Conflicts: 757000 | #Constraints: 81962
1803.04/1808.54 c #Conflicts: 758000 | #Constraints: 82962
1803.04/1808.54 c #Conflicts: 759000 | #Constraints: 83962
1803.04/1808.54 c #Conflicts: 760000 | #Constraints: 84962
1803.04/1808.54 c #Conflicts: 761000 | #Constraints: 85962
1803.04/1808.54 c #Conflicts: 762000 | #Constraints: 86962
1803.04/1808.54 c #Conflicts: 763000 | #Constraints: 87962
1803.04/1808.54 c #Conflicts: 764000 | #Constraints: 88962
1803.04/1808.54 c #Conflicts: 765000 | #Constraints: 89962
1803.04/1808.54 c #Conflicts: 766000 | #Constraints: 90962
1803.04/1808.54 c #Conflicts: 767000 | #Constraints: 91962
1803.04/1808.54 c #Conflicts: 768000 | #Constraints: 92962
1803.04/1808.54 c #Conflicts: 769000 | #Constraints: 93962
1803.04/1808.54 c #Conflicts: 770000 | #Constraints: 94962
1803.04/1808.54 c #Conflicts: 771000 | #Constraints: 95962
1803.04/1808.54 c #Conflicts: 772000 | #Constraints: 96962
1803.04/1808.54 c #Conflicts: 773000 | #Constraints: 97962
1803.04/1808.54 c INPROCESSING
1803.04/1808.54 c GARBAGE COLLECT
1803.04/1808.54 c rational objective 177
1960.82/1966.70 c #Conflicts: 774000 | #Constraints: 71136
1960.82/1966.70 c #Conflicts: 775000 | #Constraints: 72136
1960.82/1966.70 c #Conflicts: 776000 | #Constraints: 73136
1960.82/1966.70 c #Conflicts: 777000 | #Constraints: 74136
1960.82/1966.70 c #Conflicts: 778000 | #Constraints: 75136
1960.82/1966.70 c #Conflicts: 779000 | #Constraints: 76136
1960.82/1966.70 c #Conflicts: 780000 | #Constraints: 77136
1960.82/1966.70 c #Conflicts: 781000 | #Constraints: 78136
1960.82/1966.70 c #Conflicts: 782000 | #Constraints: 79136
1960.82/1966.70 c #Conflicts: 783000 | #Constraints: 80136
1960.82/1966.70 c #Conflicts: 784000 | #Constraints: 81136
1960.82/1966.70 c #Conflicts: 785000 | #Constraints: 82136
1960.82/1966.70 c #Conflicts: 786000 | #Constraints: 83136
1960.82/1966.70 c #Conflicts: 787000 | #Constraints: 84136
1960.82/1966.70 c #Conflicts: 788000 | #Constraints: 85136
1960.82/1966.70 c #Conflicts: 789000 | #Constraints: 86136
1960.82/1966.70 c #Conflicts: 790000 | #Constraints: 87136
1960.82/1966.70 c #Conflicts: 791000 | #Constraints: 88136
1960.82/1966.70 c #Conflicts: 792000 | #Constraints: 89136
1960.82/1966.70 c #Conflicts: 793000 | #Constraints: 90136
1960.82/1966.70 c #Conflicts: 794000 | #Constraints: 91136
1960.82/1966.70 c #Conflicts: 795000 | #Constraints: 92136
1960.82/1966.70 c #Conflicts: 796000 | #Constraints: 93136
1960.82/1966.70 c #Conflicts: 797000 | #Constraints: 94136
1960.82/1966.70 c #Conflicts: 798000 | #Constraints: 95136
1960.82/1966.70 c #Conflicts: 799000 | #Constraints: 96136
1960.82/1966.70 c #Conflicts: 800000 | #Constraints: 97136
1960.82/1966.70 c #Conflicts: 801000 | #Constraints: 98136
1960.82/1966.70 c #Conflicts: 802000 | #Constraints: 99136
1960.82/1966.70 c #Conflicts: 803000 | #Constraints: 100136
1960.82/1966.70 c #Conflicts: 804000 | #Constraints: 101136
1960.82/1966.70 c #Conflicts: 805000 | #Constraints: 102136
1960.82/1966.70 c #Conflicts: 806000 | #Constraints: 103136
1960.82/1966.70 c #Conflicts: 807000 | #Constraints: 104136
1960.82/1966.70 c #Conflicts: 808000 | #Constraints: 105136
1960.82/1966.70 c #Conflicts: 809000 | #Constraints: 106136
1960.82/1966.70 c #Conflicts: 810000 | #Constraints: 107136
1960.82/1966.70 c #Conflicts: 811000 | #Constraints: 108136
1960.82/1966.70 c #Conflicts: 812000 | #Constraints: 109136
1960.82/1966.70 c #Conflicts: 813000 | #Constraints: 110136
1960.82/1966.70 c #Conflicts: 814000 | #Constraints: 111136
1960.82/1966.70 c #Conflicts: 815000 | #Constraints: 112136
1960.82/1966.70 c #Conflicts: 816000 | #Constraints: 113136
1960.82/1966.70 c #Conflicts: 817000 | #Constraints: 114136
1960.82/1966.70 c #Conflicts: 818000 | #Constraints: 115136
1960.82/1966.70 c #Conflicts: 819000 | #Constraints: 116136
1960.82/1966.70 c #Conflicts: 820000 | #Constraints: 117136
1960.82/1966.70 c #Conflicts: 821000 | #Constraints: 118136
1960.82/1966.70 c #Conflicts: 822000 | #Constraints: 119136
1960.82/1966.70 c #Conflicts: 823000 | #Constraints: 120136
1960.82/1966.70 c #Conflicts: 824000 | #Constraints: 121136
1960.82/1966.70 c #Conflicts: 825000 | #Constraints: 122136
1960.82/1966.70 c #Conflicts: 826000 | #Constraints: 123136
1960.82/1966.70 c #Conflicts: 827000 | #Constraints: 124136
1960.82/1966.70 c #Conflicts: 828000 | #Constraints: 125136
1960.82/1966.70 c #Conflicts: 829000 | #Constraints: 126136
1960.82/1966.70 c #Conflicts: 830000 | #Constraints: 127136
1960.82/1966.70 c #Conflicts: 831000 | #Constraints: 128136
1960.82/1966.70 c #Conflicts: 832000 | #Constraints: 129136
1960.82/1966.70 c INPROCESSING
1960.82/1966.70 c GARBAGE COLLECT
1960.82/1966.70 c rational objective 177
2137.98/2144.33 c #Conflicts: 833000 | #Constraints: 77671
2137.98/2144.33 c #Conflicts: 834000 | #Constraints: 78671
2137.98/2144.33 c #Conflicts: 835000 | #Constraints: 79671
2137.98/2144.33 c #Conflicts: 836000 | #Constraints: 80671
2137.98/2144.33 c #Conflicts: 837000 | #Constraints: 81671
2137.98/2144.33 c #Conflicts: 838000 | #Constraints: 82671
2137.98/2144.33 c #Conflicts: 839000 | #Constraints: 83671
2137.98/2144.33 c #Conflicts: 840000 | #Constraints: 84671
2137.98/2144.33 c #Conflicts: 841000 | #Constraints: 85671
2137.98/2144.33 c #Conflicts: 842000 | #Constraints: 86671
2137.98/2144.33 c #Conflicts: 843000 | #Constraints: 87671
2137.98/2144.33 c #Conflicts: 844000 | #Constraints: 88671
2137.98/2144.33 c #Conflicts: 845000 | #Constraints: 89671
2137.98/2144.33 c #Conflicts: 846000 | #Constraints: 90671
2137.98/2144.33 c #Conflicts: 847000 | #Constraints: 91671
2137.98/2144.33 c #Conflicts: 848000 | #Constraints: 92671
2137.98/2144.33 c #Conflicts: 849000 | #Constraints: 93671
2137.98/2144.33 c #Conflicts: 850000 | #Constraints: 94671
2137.98/2144.33 c #Conflicts: 851000 | #Constraints: 95671
2137.98/2144.33 c #Conflicts: 852000 | #Constraints: 96671
2137.98/2144.33 c #Conflicts: 853000 | #Constraints: 97671
2137.98/2144.33 c #Conflicts: 854000 | #Constraints: 98671
2137.98/2144.33 c #Conflicts: 855000 | #Constraints: 99671
2137.98/2144.33 c #Conflicts: 856000 | #Constraints: 100671
2137.98/2144.33 c #Conflicts: 857000 | #Constraints: 101671
2137.98/2144.33 c #Conflicts: 858000 | #Constraints: 102671
2137.98/2144.33 c INPROCESSING
2137.98/2144.33 c GARBAGE COLLECT
2137.98/2144.33 c #Conflicts: 859000 | #Constraints: 74592
2137.98/2144.33 c #Conflicts: 860000 | #Constraints: 75592
2137.98/2144.33 c #Conflicts: 861000 | #Constraints: 76592
2137.98/2144.33 c #Conflicts: 862000 | #Constraints: 77592
2137.98/2144.33 c #Conflicts: 863000 | #Constraints: 78592
2137.98/2144.33 c #Conflicts: 864000 | #Constraints: 79592
2137.98/2144.33 c #Conflicts: 865000 | #Constraints: 80592
2137.98/2144.33 c #Conflicts: 866000 | #Constraints: 81592
2137.98/2144.33 c #Conflicts: 867000 | #Constraints: 82592
2137.98/2144.33 c #Conflicts: 868000 | #Constraints: 83592
2137.98/2144.33 c #Conflicts: 869000 | #Constraints: 84592
2137.98/2144.33 c #Conflicts: 870000 | #Constraints: 85592
2137.98/2144.33 c #Conflicts: 871000 | #Constraints: 86592
2137.98/2144.33 c #Conflicts: 872000 | #Constraints: 87592
2137.98/2144.33 c #Conflicts: 873000 | #Constraints: 88592
2137.98/2144.33 c #Conflicts: 874000 | #Constraints: 89592
2137.98/2144.33 c #Conflicts: 875000 | #Constraints: 90592
2137.98/2144.33 c #Conflicts: 876000 | #Constraints: 91592
2137.98/2144.33 c #Conflicts: 877000 | #Constraints: 92592
2137.98/2144.33 c #Conflicts: 878000 | #Constraints: 93592
2137.98/2144.33 c #Conflicts: 879000 | #Constraints: 94592
2137.98/2144.33 c #Conflicts: 880000 | #Constraints: 95592
2137.98/2144.33 c #Conflicts: 881000 | #Constraints: 96592
2137.98/2144.33 c #Conflicts: 882000 | #Constraints: 97592
2137.98/2144.33 c #Conflicts: 883000 | #Constraints: 98592
2137.98/2144.33 c #Conflicts: 884000 | #Constraints: 99592
2137.98/2144.33 c #Conflicts: 885000 | #Constraints: 100592
2137.98/2144.33 c #Conflicts: 886000 | #Constraints: 101592
2137.98/2144.33 c #Conflicts: 887000 | #Constraints: 102592
2137.98/2144.33 c #Conflicts: 888000 | #Constraints: 103592
2137.98/2144.33 c #Conflicts: 889000 | #Constraints: 104592
2137.98/2144.33 c #Conflicts: 890000 | #Constraints: 105592
2137.98/2144.33 c #Conflicts: 891000 | #Constraints: 106592
2137.98/2144.33 c #Conflicts: 892000 | #Constraints: 107592
2137.98/2144.33 c #Conflicts: 893000 | #Constraints: 108592
2137.98/2144.33 c #Conflicts: 894000 | #Constraints: 109592
2137.98/2144.33 c #Conflicts: 895000 | #Constraints: 110592
2137.98/2144.33 c #Conflicts: 896000 | #Constraints: 111592
2137.98/2144.33 c #Conflicts: 897000 | #Constraints: 112592
2137.98/2144.33 c #Conflicts: 898000 | #Constraints: 113592
2137.98/2144.33 c #Conflicts: 899000 | #Constraints: 114592
2137.98/2144.33 c #Conflicts: 900000 | #Constraints: 115592
2137.98/2144.33 c #Conflicts: 901000 | #Constraints: 116592
2137.98/2144.33 c #Conflicts: 902000 | #Constraints: 117592
2137.98/2144.33 c #Conflicts: 903000 | #Constraints: 118592
2137.98/2144.33 c #Conflicts: 904000 | #Constraints: 119592
2137.98/2144.33 c #Conflicts: 905000 | #Constraints: 120592
2137.98/2144.33 c #Conflicts: 906000 | #Constraints: 121592
2137.98/2144.33 c #Conflicts: 907000 | #Constraints: 122592
2137.98/2144.33 c #Conflicts: 908000 | #Constraints: 123592
2137.98/2144.33 c #Conflicts: 909000 | #Constraints: 124592
2137.98/2144.33 c #Conflicts: 910000 | #Constraints: 125592
2137.98/2144.33 c #Conflicts: 911000 | #Constraints: 126592
2199.73/2206.29 c #Conflicts: 912000 | #Constraints: 127592
2199.73/2206.29 c #Conflicts: 913000 | #Constraints: 128592
2199.73/2206.29 c #Conflicts: 914000 | #Constraints: 129592
2199.73/2206.29 c #Conflicts: 915000 | #Constraints: 130592
2199.73/2206.29 c #Conflicts: 916000 | #Constraints: 131592
2199.73/2206.29 c #Conflicts: 917000 | #Constraints: 132592
2199.73/2206.29 c #Conflicts: 918000 | #Constraints: 133592
2199.73/2206.29 c #Conflicts: 919000 | #Constraints: 134592
2199.73/2206.29 c #Conflicts: 920000 | #Constraints: 135592
2199.73/2206.29 c INPROCESSING
2199.73/2206.29 c GARBAGE COLLECT
2199.73/2206.29 c rational objective 177
2438.56/2445.65 c #Conflicts: 921000 | #Constraints: 80945
2438.56/2445.65 c #Conflicts: 922000 | #Constraints: 81945
2438.56/2445.65 c #Conflicts: 923000 | #Constraints: 82945
2438.56/2445.65 c #Conflicts: 924000 | #Constraints: 83945
2438.56/2445.65 c #Conflicts: 925000 | #Constraints: 84945
2438.56/2445.65 c #Conflicts: 926000 | #Constraints: 85945
2438.56/2445.65 c #Conflicts: 927000 | #Constraints: 86945
2438.56/2445.65 c #Conflicts: 928000 | #Constraints: 87945
2438.56/2445.65 c #Conflicts: 929000 | #Constraints: 88945
2438.56/2445.65 c #Conflicts: 930000 | #Constraints: 89945
2438.56/2445.65 c #Conflicts: 931000 | #Constraints: 90945
2438.56/2445.65 c #Conflicts: 932000 | #Constraints: 91945
2438.56/2445.65 c #Conflicts: 933000 | #Constraints: 92945
2438.56/2445.65 c #Conflicts: 934000 | #Constraints: 93946
2438.56/2445.65 c #Conflicts: 935000 | #Constraints: 94946
2438.56/2445.65 c #Conflicts: 936000 | #Constraints: 95946
2438.56/2445.65 c #Conflicts: 937000 | #Constraints: 96946
2438.56/2445.65 c #Conflicts: 938000 | #Constraints: 97946
2438.56/2445.65 c #Conflicts: 939000 | #Constraints: 98946
2438.56/2445.65 c #Conflicts: 940000 | #Constraints: 99946
2438.56/2445.65 c #Conflicts: 941000 | #Constraints: 100946
2438.56/2445.65 c #Conflicts: 942000 | #Constraints: 101946
2438.56/2445.65 c #Conflicts: 943000 | #Constraints: 102946
2438.56/2445.65 c #Conflicts: 944000 | #Constraints: 103946
2438.56/2445.65 c #Conflicts: 945000 | #Constraints: 104946
2438.56/2445.65 c #Conflicts: 946000 | #Constraints: 105946
2438.56/2445.65 c #Conflicts: 947000 | #Constraints: 106946
2438.56/2445.65 c INPROCESSING
2438.56/2445.65 c GARBAGE COLLECT
2438.56/2445.65 c #Conflicts: 948000 | #Constraints: 77438
2438.56/2445.65 c #Conflicts: 949000 | #Constraints: 78438
2438.56/2445.65 c #Conflicts: 950000 | #Constraints: 79438
2438.56/2445.65 c #Conflicts: 951000 | #Constraints: 80438
2438.56/2445.65 c #Conflicts: 952000 | #Constraints: 81438
2438.56/2445.65 c #Conflicts: 953000 | #Constraints: 82438
2438.56/2445.65 c #Conflicts: 954000 | #Constraints: 83438
2438.56/2445.65 c #Conflicts: 955000 | #Constraints: 84438
2438.56/2445.65 c #Conflicts: 956000 | #Constraints: 85438
2438.56/2445.65 c #Conflicts: 957000 | #Constraints: 86438
2438.56/2445.65 c #Conflicts: 958000 | #Constraints: 87438
2438.56/2445.65 c #Conflicts: 959000 | #Constraints: 88438
2438.56/2445.65 c #Conflicts: 960000 | #Constraints: 89438
2438.56/2445.65 c #Conflicts: 961000 | #Constraints: 90438
2438.56/2445.65 c #Conflicts: 962000 | #Constraints: 91438
2438.56/2445.65 c #Conflicts: 963000 | #Constraints: 92438
2438.56/2445.65 c #Conflicts: 964000 | #Constraints: 93438
2438.56/2445.65 c #Conflicts: 965000 | #Constraints: 94438
2438.56/2445.65 c #Conflicts: 966000 | #Constraints: 95438
2438.56/2445.65 c #Conflicts: 967000 | #Constraints: 96438
2438.56/2445.65 c #Conflicts: 968000 | #Constraints: 97438
2438.56/2445.65 c #Conflicts: 969000 | #Constraints: 98438
2438.56/2445.65 c #Conflicts: 970000 | #Constraints: 99438
2438.56/2445.65 c #Conflicts: 971000 | #Constraints: 100438
2438.56/2445.65 c #Conflicts: 972000 | #Constraints: 101438
2438.56/2445.65 c #Conflicts: 973000 | #Constraints: 102438
2438.56/2445.65 c #Conflicts: 974000 | #Constraints: 103438
2438.56/2445.65 c #Conflicts: 975000 | #Constraints: 104438
2438.56/2445.65 c #Conflicts: 976000 | #Constraints: 105438
2438.56/2445.65 c #Conflicts: 977000 | #Constraints: 106438
2438.56/2445.65 c #Conflicts: 978000 | #Constraints: 107438
2438.56/2445.65 c #Conflicts: 979000 | #Constraints: 108438
2438.56/2445.65 c #Conflicts: 980000 | #Constraints: 109438
2438.56/2445.65 c #Conflicts: 981000 | #Constraints: 110438
2438.56/2445.65 c #Conflicts: 982000 | #Constraints: 111438
2438.56/2445.65 c #Conflicts: 983000 | #Constraints: 112438
2438.56/2445.65 c #Conflicts: 984000 | #Constraints: 113438
2438.56/2445.65 c #Conflicts: 985000 | #Constraints: 114438
2438.56/2445.65 c #Conflicts: 986000 | #Constraints: 115438
2438.56/2445.65 c #Conflicts: 987000 | #Constraints: 116438
2438.56/2445.65 c #Conflicts: 988000 | #Constraints: 117438
2438.56/2445.65 c #Conflicts: 989000 | #Constraints: 118438
2438.56/2445.65 c #Conflicts: 990000 | #Constraints: 119438
2438.56/2445.65 c #Conflicts: 991000 | #Constraints: 120438
2438.56/2445.65 c #Conflicts: 992000 | #Constraints: 121438
2438.56/2445.65 c #Conflicts: 993000 | #Constraints: 122438
2438.56/2445.65 c #Conflicts: 994000 | #Constraints: 123438
2438.56/2445.65 c #Conflicts: 995000 | #Constraints: 124438
2438.56/2445.65 c #Conflicts: 996000 | #Constraints: 125438
2438.56/2445.65 c #Conflicts: 997000 | #Constraints: 126438
2438.56/2445.65 c #Conflicts: 998000 | #Constraints: 127438
2438.56/2445.65 c #Conflicts: 999000 | #Constraints: 128438
2709.82/2717.52 c #Conflicts: 1000000 | #Constraints: 129438
2709.82/2717.52 c #Conflicts: 1001000 | #Constraints: 130438
2709.82/2717.52 c #Conflicts: 1002000 | #Constraints: 131438
2709.82/2717.52 c #Conflicts: 1003000 | #Constraints: 132438
2709.82/2717.52 c #Conflicts: 1004000 | #Constraints: 133438
2709.82/2717.52 c #Conflicts: 1005000 | #Constraints: 134438
2709.82/2717.52 c #Conflicts: 1006000 | #Constraints: 135438
2709.82/2717.52 c #Conflicts: 1007000 | #Constraints: 136438
2709.82/2717.52 c #Conflicts: 1008000 | #Constraints: 137438
2709.82/2717.52 c #Conflicts: 1009000 | #Constraints: 138438
2709.82/2717.52 c #Conflicts: 1010000 | #Constraints: 139438
2709.82/2717.52 c #Conflicts: 1011000 | #Constraints: 140438
2709.82/2717.52 c #Conflicts: 1012000 | #Constraints: 141438
2709.82/2717.52 c INPROCESSING
2709.82/2717.52 c GARBAGE COLLECT
2709.82/2717.52 c #Conflicts: 1013000 | #Constraints: 83723
2709.82/2717.52 c #Conflicts: 1014000 | #Constraints: 84723
2709.82/2717.52 c #Conflicts: 1015000 | #Constraints: 85723
2709.82/2717.52 c #Conflicts: 1016000 | #Constraints: 86723
2709.82/2717.52 c #Conflicts: 1017000 | #Constraints: 87723
2709.82/2717.52 c #Conflicts: 1018000 | #Constraints: 88723
2709.82/2717.52 c #Conflicts: 1019000 | #Constraints: 89723
2709.82/2717.52 c #Conflicts: 1020000 | #Constraints: 90723
2709.82/2717.52 c #Conflicts: 1021000 | #Constraints: 91723
2709.82/2717.52 c #Conflicts: 1022000 | #Constraints: 92723
2709.82/2717.52 c #Conflicts: 1023000 | #Constraints: 93723
2709.82/2717.52 c #Conflicts: 1024000 | #Constraints: 94723
2709.82/2717.52 c #Conflicts: 1025000 | #Constraints: 95723
2709.82/2717.52 c #Conflicts: 1026000 | #Constraints: 96723
2709.82/2717.52 c #Conflicts: 1027000 | #Constraints: 97723
2709.82/2717.52 c #Conflicts: 1028000 | #Constraints: 98723
2709.82/2717.52 c #Conflicts: 1029000 | #Constraints: 99723
2709.82/2717.52 c #Conflicts: 1030000 | #Constraints: 100723
2709.82/2717.52 c #Conflicts: 1031000 | #Constraints: 101723
2709.82/2717.52 c #Conflicts: 1032000 | #Constraints: 102723
2709.82/2717.52 c #Conflicts: 1033000 | #Constraints: 103723
2709.82/2717.52 c #Conflicts: 1034000 | #Constraints: 104723
2709.82/2717.52 c #Conflicts: 1035000 | #Constraints: 105723
2709.82/2717.52 c #Conflicts: 1036000 | #Constraints: 106723
2709.82/2717.52 c #Conflicts: 1037000 | #Constraints: 107723
2709.82/2717.52 c #Conflicts: 1038000 | #Constraints: 108723
2709.82/2717.52 c #Conflicts: 1039000 | #Constraints: 109723
2709.82/2717.52 c #Conflicts: 1040000 | #Constraints: 110723
2709.82/2717.52 c INPROCESSING
2709.82/2717.52 c GARBAGE COLLECT
2709.82/2717.52 c #Conflicts: 1041000 | #Constraints: 79163
2709.82/2717.52 c #Conflicts: 1042000 | #Constraints: 80163
2709.82/2717.52 c #Conflicts: 1043000 | #Constraints: 81163
2709.82/2717.52 c #Conflicts: 1044000 | #Constraints: 82163
2709.82/2717.52 c #Conflicts: 1045000 | #Constraints: 83163
2709.82/2717.52 c #Conflicts: 1046000 | #Constraints: 84163
2709.82/2717.52 c #Conflicts: 1047000 | #Constraints: 85163
2709.82/2717.52 c #Conflicts: 1048000 | #Constraints: 86163
2709.82/2717.52 c #Conflicts: 1049000 | #Constraints: 87163
2709.82/2717.52 c #Conflicts: 1050000 | #Constraints: 88163
2709.82/2717.52 c #Conflicts: 1051000 | #Constraints: 89163
2709.82/2717.52 c #Conflicts: 1052000 | #Constraints: 90163
2709.82/2717.52 c #Conflicts: 1053000 | #Constraints: 91163
2709.82/2717.52 c #Conflicts: 1054000 | #Constraints: 92163
2709.82/2717.52 c #Conflicts: 1055000 | #Constraints: 93163
2709.82/2717.52 c #Conflicts: 1056000 | #Constraints: 94163
2709.82/2717.52 c #Conflicts: 1057000 | #Constraints: 95163
2709.82/2717.52 c #Conflicts: 1058000 | #Constraints: 96163
2709.82/2717.52 c #Conflicts: 1059000 | #Constraints: 97163
2709.82/2717.52 c #Conflicts: 1060000 | #Constraints: 98163
2709.82/2717.52 c #Conflicts: 1061000 | #Constraints: 99163
2709.82/2717.52 c #Conflicts: 1062000 | #Constraints: 100163
2709.82/2717.52 c #Conflicts: 1063000 | #Constraints: 101163
2709.82/2717.52 c #Conflicts: 1064000 | #Constraints: 102163
2709.82/2717.52 c #Conflicts: 1065000 | #Constraints: 103163
2709.82/2717.52 c #Conflicts: 1066000 | #Constraints: 104163
2709.82/2717.52 c #Conflicts: 1067000 | #Constraints: 105163
2709.82/2717.52 c #Conflicts: 1068000 | #Constraints: 106163
2709.82/2717.52 c #Conflicts: 1069000 | #Constraints: 107163
2709.82/2717.52 c #Conflicts: 1070000 | #Constraints: 108163
2709.82/2717.52 c #Conflicts: 1071000 | #Constraints: 109163
2709.82/2717.52 c #Conflicts: 1072000 | #Constraints: 110163
2709.82/2717.52 c #Conflicts: 1073000 | #Constraints: 111163
2709.82/2717.52 c #Conflicts: 1074000 | #Constraints: 112163
2709.82/2717.52 c #Conflicts: 1075000 | #Constraints: 113163
2709.82/2717.52 c #Conflicts: 1076000 | #Constraints: 114163
3218.60/3227.57 c #Conflicts: 1077000 | #Constraints: 115163
3218.60/3227.57 c #Conflicts: 1078000 | #Constraints: 116163
3218.60/3227.57 c #Conflicts: 1079000 | #Constraints: 117163
3218.60/3227.57 c #Conflicts: 1080000 | #Constraints: 118163
3218.60/3227.57 c #Conflicts: 1081000 | #Constraints: 119163
3218.60/3227.57 c #Conflicts: 1082000 | #Constraints: 120163
3218.60/3227.57 c #Conflicts: 1083000 | #Constraints: 121163
3218.60/3227.57 c #Conflicts: 1084000 | #Constraints: 122163
3218.60/3227.57 c #Conflicts: 1085000 | #Constraints: 123163
3218.60/3227.57 c #Conflicts: 1086000 | #Constraints: 124163
3218.60/3227.57 c #Conflicts: 1087000 | #Constraints: 125163
3218.60/3227.57 c #Conflicts: 1088000 | #Constraints: 126163
3218.60/3227.57 c #Conflicts: 1089000 | #Constraints: 127163
3218.60/3227.57 c #Conflicts: 1090000 | #Constraints: 128163
3218.60/3227.57 c #Conflicts: 1091000 | #Constraints: 129163
3218.60/3227.57 c #Conflicts: 1092000 | #Constraints: 130163
3218.60/3227.57 c #Conflicts: 1093000 | #Constraints: 131163
3218.60/3227.57 c #Conflicts: 1094000 | #Constraints: 132163
3218.60/3227.57 c #Conflicts: 1095000 | #Constraints: 133163
3218.60/3227.57 c #Conflicts: 1096000 | #Constraints: 134163
3218.60/3227.57 c #Conflicts: 1097000 | #Constraints: 135163
3218.60/3227.57 c #Conflicts: 1098000 | #Constraints: 136163
3218.60/3227.57 c #Conflicts: 1099000 | #Constraints: 137163
3218.60/3227.57 c #Conflicts: 1100000 | #Constraints: 138163
3218.60/3227.57 c #Conflicts: 1101000 | #Constraints: 139163
3218.60/3227.57 c #Conflicts: 1102000 | #Constraints: 140163
3218.60/3227.57 c #Conflicts: 1103000 | #Constraints: 141163
3218.60/3227.57 c #Conflicts: 1104000 | #Constraints: 142163
3218.60/3227.57 c #Conflicts: 1105000 | #Constraints: 143163
3218.60/3227.57 c #Conflicts: 1106000 | #Constraints: 144163
3218.60/3227.57 c #Conflicts: 1107000 | #Constraints: 145163
3218.60/3227.57 c #Conflicts: 1108000 | #Constraints: 146163
3218.60/3227.57 c INPROCESSING
3218.60/3227.57 c GARBAGE COLLECT
3218.60/3227.57 c #Conflicts: 1109000 | #Constraints: 86018
3218.60/3227.57 c #Conflicts: 1110000 | #Constraints: 87018
3218.60/3227.57 c #Conflicts: 1111000 | #Constraints: 88018
3218.60/3227.57 c #Conflicts: 1112000 | #Constraints: 89018
3218.60/3227.57 c #Conflicts: 1113000 | #Constraints: 90018
3218.60/3227.57 c #Conflicts: 1114000 | #Constraints: 91018
3218.60/3227.57 c #Conflicts: 1115000 | #Constraints: 92018
3218.60/3227.57 c #Conflicts: 1116000 | #Constraints: 93018
3218.60/3227.57 c #Conflicts: 1117000 | #Constraints: 94018
3218.60/3227.57 c #Conflicts: 1118000 | #Constraints: 95018
3218.60/3227.57 c #Conflicts: 1119000 | #Constraints: 96018
3218.60/3227.57 c #Conflicts: 1120000 | #Constraints: 97018
3218.60/3227.57 c #Conflicts: 1121000 | #Constraints: 98018
3218.60/3227.57 c #Conflicts: 1122000 | #Constraints: 99018
3218.60/3227.57 c #Conflicts: 1123000 | #Constraints: 100018
3218.60/3227.57 c #Conflicts: 1124000 | #Constraints: 101018
3218.60/3227.57 c #Conflicts: 1125000 | #Constraints: 102019
3218.60/3227.57 c #Conflicts: 1126000 | #Constraints: 103019
3218.60/3227.57 c #Conflicts: 1127000 | #Constraints: 104019
3218.60/3227.57 c #Conflicts: 1128000 | #Constraints: 105019
3218.60/3227.57 c #Conflicts: 1129000 | #Constraints: 106019
3218.60/3227.57 c #Conflicts: 1130000 | #Constraints: 107019
3218.60/3227.57 c #Conflicts: 1131000 | #Constraints: 108019
3218.60/3227.57 c #Conflicts: 1132000 | #Constraints: 109019
3218.60/3227.57 c #Conflicts: 1133000 | #Constraints: 110019
3218.60/3227.57 c #Conflicts: 1134000 | #Constraints: 111019
3218.60/3227.57 c #Conflicts: 1135000 | #Constraints: 112019
3218.60/3227.57 c #Conflicts: 1136000 | #Constraints: 113019
3218.60/3227.57 c #Conflicts: 1137000 | #Constraints: 114019
3218.60/3227.57 c #Conflicts: 1138000 | #Constraints: 115019
3218.60/3227.57 c INPROCESSING
3218.60/3227.57 c GARBAGE COLLECT
3218.60/3227.57 c #Conflicts: 1139000 | #Constraints: 80559
3218.60/3227.57 c #Conflicts: 1140000 | #Constraints: 81559
3218.60/3227.57 c #Conflicts: 1141000 | #Constraints: 82559
3218.60/3227.57 c #Conflicts: 1142000 | #Constraints: 83559
3218.60/3227.57 c #Conflicts: 1143000 | #Constraints: 84559
3218.60/3227.57 c #Conflicts: 1144000 | #Constraints: 85559
3218.60/3227.57 c #Conflicts: 1145000 | #Constraints: 86559
3218.60/3227.57 c #Conflicts: 1146000 | #Constraints: 87559
3218.60/3227.57 c #Conflicts: 1147000 | #Constraints: 88559
3218.60/3227.57 c #Conflicts: 1148000 | #Constraints: 89559
3218.60/3227.57 c #Conflicts: 1149000 | #Constraints: 90559
3218.60/3227.57 c #Conflicts: 1150000 | #Constraints: 91559
3218.60/3227.57 c #Conflicts: 1151000 | #Constraints: 92559
3218.60/3227.57 c #Conflicts: 1152000 | #Constraints: 93559
3218.60/3227.57 c #Conflicts: 1153000 | #Constraints: 94559
3218.60/3227.57 c #Conflicts: 1154000 | #Constraints: 95559
3430.29/3439.76 c #Conflicts: 1155000 | #Constraints: 96559
3430.29/3439.76 c #Conflicts: 1156000 | #Constraints: 97559
3430.29/3439.76 c #Conflicts: 1157000 | #Constraints: 98559
3430.29/3439.76 c #Conflicts: 1158000 | #Constraints: 99559
3430.29/3439.76 c #Conflicts: 1159000 | #Constraints: 100559
3430.29/3439.76 c #Conflicts: 1160000 | #Constraints: 101559
3430.29/3439.76 c #Conflicts: 1161000 | #Constraints: 102559
3430.29/3439.76 c #Conflicts: 1162000 | #Constraints: 103559
3430.29/3439.76 c #Conflicts: 1163000 | #Constraints: 104559
3430.29/3439.76 c #Conflicts: 1164000 | #Constraints: 105559
3430.29/3439.76 c #Conflicts: 1165000 | #Constraints: 106559
3430.29/3439.76 c #Conflicts: 1166000 | #Constraints: 107559
3430.29/3439.76 c #Conflicts: 1167000 | #Constraints: 108559
3430.29/3439.76 c #Conflicts: 1168000 | #Constraints: 109559
3430.29/3439.76 c #Conflicts: 1169000 | #Constraints: 110559
3430.29/3439.76 c #Conflicts: 1170000 | #Constraints: 111559
3430.29/3439.76 c #Conflicts: 1171000 | #Constraints: 112559
3430.29/3439.76 c #Conflicts: 1172000 | #Constraints: 113559
3430.29/3439.76 c #Conflicts: 1173000 | #Constraints: 114559
3430.29/3439.76 c #Conflicts: 1174000 | #Constraints: 115559
3430.29/3439.76 c #Conflicts: 1175000 | #Constraints: 116559
3430.29/3439.76 c #Conflicts: 1176000 | #Constraints: 117559
3430.29/3439.76 c #Conflicts: 1177000 | #Constraints: 118559
3430.29/3439.76 c #Conflicts: 1178000 | #Constraints: 119559
3430.29/3439.76 c #Conflicts: 1179000 | #Constraints: 120559
3430.29/3439.76 c #Conflicts: 1180000 | #Constraints: 121559
3430.29/3439.76 c #Conflicts: 1181000 | #Constraints: 122559
3430.29/3439.76 c #Conflicts: 1182000 | #Constraints: 123559
3430.29/3439.76 c #Conflicts: 1183000 | #Constraints: 124559
3430.29/3439.76 c #Conflicts: 1184000 | #Constraints: 125559
3430.29/3439.76 c #Conflicts: 1185000 | #Constraints: 126559
3430.29/3439.76 c #Conflicts: 1186000 | #Constraints: 127559
3430.29/3439.76 c #Conflicts: 1187000 | #Constraints: 128559
3430.29/3439.76 c #Conflicts: 1188000 | #Constraints: 129559
3430.29/3439.76 c #Conflicts: 1189000 | #Constraints: 130559
3430.29/3439.76 c #Conflicts: 1190000 | #Constraints: 131559
3430.29/3439.76 c #Conflicts: 1191000 | #Constraints: 132559
3430.29/3439.76 c #Conflicts: 1192000 | #Constraints: 133559
3430.29/3439.76 c #Conflicts: 1193000 | #Constraints: 134559
3430.29/3439.76 c #Conflicts: 1194000 | #Constraints: 135559
3430.29/3439.76 c #Conflicts: 1195000 | #Constraints: 136559
3430.29/3439.76 c #Conflicts: 1196000 | #Constraints: 137559
3430.29/3439.76 c #Conflicts: 1197000 | #Constraints: 138559
3430.29/3439.76 c #Conflicts: 1198000 | #Constraints: 139559
3430.29/3439.76 c #Conflicts: 1199000 | #Constraints: 140559
3430.29/3439.76 c #Conflicts: 1200000 | #Constraints: 141559
3430.29/3439.76 c #Conflicts: 1201000 | #Constraints: 142559
3430.29/3439.76 c #Conflicts: 1202000 | #Constraints: 143559
3430.29/3439.76 c #Conflicts: 1203000 | #Constraints: 144559
3430.29/3439.76 c #Conflicts: 1204000 | #Constraints: 145559
3430.29/3439.76 c #Conflicts: 1205000 | #Constraints: 146559
3430.29/3439.76 c #Conflicts: 1206000 | #Constraints: 147559
3430.29/3439.76 c #Conflicts: 1207000 | #Constraints: 148559
3430.29/3439.76 c #Conflicts: 1208000 | #Constraints: 149559
3430.29/3439.76 c #Conflicts: 1209000 | #Constraints: 150559
3430.29/3439.76 c INPROCESSING
3430.29/3439.76 c GARBAGE COLLECT
3430.29/3439.76 c #Conflicts: 1210000 | #Constraints: 88221
3430.29/3439.76 c #Conflicts: 1211000 | #Constraints: 89221
3430.29/3439.76 c #Conflicts: 1212000 | #Constraints: 90221
3430.29/3439.76 c #Conflicts: 1213000 | #Constraints: 91221
3430.29/3439.76 c #Conflicts: 1214000 | #Constraints: 92221
3430.29/3439.76 c #Conflicts: 1215000 | #Constraints: 93221
3430.29/3439.76 c #Conflicts: 1216000 | #Constraints: 94221
3430.29/3439.76 c #Conflicts: 1217000 | #Constraints: 95221
3430.29/3439.76 c #Conflicts: 1218000 | #Constraints: 96221
3430.29/3439.76 c #Conflicts: 1219000 | #Constraints: 97221
3430.29/3439.76 c #Conflicts: 1220000 | #Constraints: 98221
3430.29/3439.76 c #Conflicts: 1221000 | #Constraints: 99221
3430.29/3439.76 c #Conflicts: 1222000 | #Constraints: 100221
3430.29/3439.76 c #Conflicts: 1223000 | #Constraints: 101221
3430.29/3439.76 c #Conflicts: 1224000 | #Constraints: 102221
3430.29/3439.76 c #Conflicts: 1225000 | #Constraints: 103221
3430.29/3439.76 c #Conflicts: 1226000 | #Constraints: 104221
3430.29/3439.76 c #Conflicts: 1227000 | #Constraints: 105221
3430.29/3439.76 c #Conflicts: 1228000 | #Constraints: 106221
3430.29/3439.76 c #Conflicts: 1229000 | #Constraints: 107221
3430.29/3439.76 c #Conflicts: 1230000 | #Constraints: 108221
3430.29/3439.76 c #Conflicts: 1231000 | #Constraints: 109221
3430.29/3439.76 c #Conflicts: 1232000 | #Constraints: 110221
3600.08/3609.90 c #Conflicts: 1233000 | #Constraints: 111221
3600.08/3609.90 c #Conflicts: 1234000 | #Constraints: 112221
3600.08/3609.90 c #Conflicts: 1235000 | #Constraints: 113221
3600.08/3609.90 c #Conflicts: 1236000 | #Constraints: 114221
3600.08/3609.90 c #Conflicts: 1237000 | #Constraints: 115221
3600.08/3609.90 c #Conflicts: 1238000 | #Constraints: 116221
3600.08/3609.90 c #Conflicts: 1239000 | #Constraints: 117221
3600.08/3609.90 c #Conflicts: 1240000 | #Constraints: 118221
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 1241000 | #Constraints: 83183
3600.08/3609.90 c #Conflicts: 1242000 | #Constraints: 84183
3600.08/3609.90 c #Conflicts: 1243000 | #Constraints: 85183
3600.08/3609.90 c #Conflicts: 1244000 | #Constraints: 86183
3600.08/3609.90 c #Conflicts: 1245000 | #Constraints: 87183
3600.08/3609.90 c #Conflicts: 1246000 | #Constraints: 88183
3600.08/3609.90 c #Conflicts: 1247000 | #Constraints: 89183
3600.08/3609.90 c #Conflicts: 1248000 | #Constraints: 90183
3600.08/3609.90 c #Conflicts: 1249000 | #Constraints: 91183
3600.08/3609.90 c #Conflicts: 1250000 | #Constraints: 92183
3600.08/3609.90 c #Conflicts: 1251000 | #Constraints: 93183
3600.08/3609.90 c #Conflicts: 1252000 | #Constraints: 94183
3600.08/3609.90 c #Conflicts: 1253000 | #Constraints: 95183
3600.08/3609.90 c #Conflicts: 1254000 | #Constraints: 96183
3600.08/3609.90 c #Conflicts: 1255000 | #Constraints: 97183
3600.08/3609.90 c #Conflicts: 1256000 | #Constraints: 98183
3600.08/3609.90 c #Conflicts: 1257000 | #Constraints: 99183
3600.08/3609.90 c #Conflicts: 1258000 | #Constraints: 100183
3600.08/3609.90 c #Conflicts: 1259000 | #Constraints: 101183
3600.08/3609.90 c #Conflicts: 1260000 | #Constraints: 102183
3600.08/3609.90 c #Conflicts: 1261000 | #Constraints: 103183
3600.08/3609.90 c #Conflicts: 1262000 | #Constraints: 104183
3600.08/3609.90 c #Conflicts: 1263000 | #Constraints: 105183
3600.08/3609.90 c #Conflicts: 1264000 | #Constraints: 106183
3600.08/3609.90 c #Conflicts: 1265000 | #Constraints: 107183
3600.08/3609.90 c #Conflicts: 1266000 | #Constraints: 108183
3600.08/3609.90 c #Conflicts: 1267000 | #Constraints: 109183
3600.08/3609.90 c #Conflicts: 1268000 | #Constraints: 110183
3600.08/3609.90 c #Conflicts: 1269000 | #Constraints: 111183
3600.08/3609.90 c #Conflicts: 1270000 | #Constraints: 112183
3600.08/3609.90 c #Conflicts: 1271000 | #Constraints: 113183
3600.08/3609.90 c #Conflicts: 1272000 | #Constraints: 114183
3600.08/3609.90 c #Conflicts: 1273000 | #Constraints: 115183
3600.08/3609.90 c #Conflicts: 1274000 | #Constraints: 116183
3600.08/3609.90 c #Conflicts: 1275000 | #Constraints: 117183
3600.08/3609.90 c #Conflicts: 1276000 | #Constraints: 118183
3600.08/3609.90 c #Conflicts: 1277000 | #Constraints: 119183
3600.08/3609.90 c #Conflicts: 1278000 | #Constraints: 120183
3600.08/3609.90 c #Conflicts: 1279000 | #Constraints: 121183
3600.08/3609.90 c #Conflicts: 1280000 | #Constraints: 122183
3600.08/3609.90 c #Conflicts: 1281000 | #Constraints: 123183
3600.08/3609.90 c #Conflicts: 1282000 | #Constraints: 124183
3600.08/3609.90 c #Conflicts: 1283000 | #Constraints: 125183
3600.08/3609.90 c #Conflicts: 1284000 | #Constraints: 126183
3600.08/3609.90 c #Conflicts: 1285000 | #Constraints: 127183
3600.08/3609.90 c #Conflicts: 1286000 | #Constraints: 128183
3600.08/3609.90 c #Conflicts: 1287000 | #Constraints: 129183
3600.08/3609.90 c #Conflicts: 1288000 | #Constraints: 130183
3600.08/3609.90 c #Conflicts: 1289000 | #Constraints: 131183
3600.08/3609.90 c #Conflicts: 1290000 | #Constraints: 132183
3600.08/3609.90 c #Conflicts: 1291000 | #Constraints: 133183
3600.08/3609.90 c #Conflicts: 1292000 | #Constraints: 134183
3600.08/3609.90 c #Conflicts: 1293000 | #Constraints: 135183
3600.08/3609.90 c #Conflicts: 1294000 | #Constraints: 136183
3600.08/3609.90 c #Conflicts: 1295000 | #Constraints: 137183
3600.08/3609.90 c #Conflicts: 1296000 | #Constraints: 138183
3600.08/3609.90 c #Conflicts: 1297000 | #Constraints: 139183
3600.08/3609.90 c #Conflicts: 1298000 | #Constraints: 140183
3600.08/3609.90 c #Conflicts: 1299000 | #Constraints: 141183
3600.08/3609.90 c cpu time 3565.48 s
3600.08/3609.90 c deterministic time 232259500077 2.32e+11
3600.08/3609.90 c optimization time 148.351 s
3600.08/3609.90 c total solve time 3417.02 s
3600.08/3609.90 c core-guided solve time 0 s
3600.08/3609.90 c propagation time 1777.01 s
3600.08/3609.90 c conflict analysis time 1288.96 s
3600.08/3609.90 c propagations 1321675532
3600.08/3609.90 c resolve steps 79015046
3600.08/3609.90 c decisions 32907092
3600.08/3609.90 c conflicts 1299390
3600.08/3609.90 c restarts 2514
3600.08/3609.90 c inprocessing phases 47
3600.08/3609.90 c garbage collections 47 ,( 100.00 )
3600.08/3609.90 c input clauses 21242 ,( 99.17 )
3600.08/3609.90 c input cardinalities 177 ,( 0.83 )
3600.08/3609.90 c input general constraints 0 ,( 0.00 )
3600.08/3609.90 c input average constraint length 6.43
3600.08/3609.90 c input average constraint degree 1.97
3600.08/3609.90 c learned clauses 942662 ,( 72.55 )
3600.08/3609.90 c learned cardinalities 45915 ,( 3.53 )
3600.08/3609.90 c learned general constraints 310824 ,( 23.92 )
3600.08/3609.90 c learned average constraint length 782.78
3600.08/3609.90 c learned average constraint degree 23215281.69
3600.08/3609.90 c watched CF 32, 64, 128, Arb: 79079 , 0 , 0 , 0
3600.08/3609.90 c counting CF 32, 64, 128, Arb: 231745 , 0 , 0 , 0
3600.08/3609.90 c watched constraints 79079 ,( 25.44 )
3600.08/3609.90 c counting constraints 231745 ,( 74.56 )
3600.08/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1229842451 , 696676381 , 2506163496 ,( 86375256 , 2419788240 )
3600.08/3609.90 c gcd simplifications 764
3600.08/3609.90 c detected cardinalities 6994
3600.08/3609.90 c weakened non-implied lits 354474883
3600.08/3609.90 c weakened non-implying lits 211633
3600.08/3609.90 c original variables 21063
3600.08/3609.90 c clausal propagations 617679812
3600.08/3609.90 c cardinality propagations 482746966
3600.08/3609.90 c watched propagations 4379933
3600.08/3609.90 c counting propagations 204193707
3600.08/3609.90 c watch lookups 74091286554
3600.08/3609.90 c watch backjump lookups 0
3600.08/3609.90 c watch checks 34697831835
3600.08/3609.90 c propagation checks 116177860642
3600.08/3609.90 c constraint additions 4581764592
3600.08/3609.90 c trail pops 1355865403
3600.08/3609.90 c formula constraints 21419
3600.08/3609.90 c learned constraints 1299385
3600.08/3609.90 c bound constraints 0
3600.08/3609.90 c core-guided constraints 0
3600.08/3609.90 c encountered formula constraints 50346646
3600.08/3609.90 c encountered learned constraints 29967485
3600.08/3609.90 c encountered bound constraints 0
3600.08/3609.90 c encountered core-guided constraints 0
3600.08/3609.90 c LP total time 482.154 s
3600.08/3609.90 c LP solve time 449.05 s
3600.08/3609.90 c LP constraints added 22455
3600.08/3609.90 c LP constraints removed 594
3600.08/3609.90 c LP pivots internal 134283
3600.08/3609.90 c LP pivots root 174143
3600.08/3609.90 c LP calls 19
3600.08/3609.90 c LP optimalities 7
3600.08/3609.90 c LP no pivot count 0
3600.08/3609.90 c LP infeasibilities 5
3600.08/3609.90 c LP valid Farkas constraints 5
3600.08/3609.90 c LP learned Farkas constraints 5
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 6
3600.08/3609.90 c LP learned cuts 1030
3600.08/3609.90 c LP deleted cuts 594
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 296
3600.08/3609.90 c LP encountered learned Farkas constraints 4
3600.08/3609.90 c CG auxiliary variables introduced 0
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 0
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 0
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 0.00
3600.08/3609.90 c CG core slack average 0.00
3600.08/3609.90 c CG core upper bound improvements 0
3600.08/3609.90 c STR number of successful calls 0
3600.08/3609.90 c STR number of unsuccessful calls 0
3600.08/3609.90 c STR number of inconclusive calls 0
3600.08/3609.90 c STR number of successful attempts 0
3600.08/3609.90 c STR number of unsuccessful attempts 0
3600.08/3609.90 c STR number of inconclusive attempts 0
3600.08/3609.90 c STR average degree increase per successful call inf
3600.08/3609.90 c STR average degree increase per successful attempt inf
3600.08/3609.90 c STR total number of conflicts for successful attempts 0
3600.08/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.90 c STR average number of conflicts per successful attempt inf
3600.08/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.90 c AVG.sumWPerc 66.23
3600.08/3609.90 c bigint constraints 0
3600.08/3609.90 s UNKNOWN
3600.08/3609.90 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 (50016 MiB free)
memory of node 1: 64507 MiB (57403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507231-1751176152/watcher-4507231-1751176152 -o /tmp/evaluation-result-4507231-1751176152/solver-4507231-1751176152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22984 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507231-1751176152.opb PROOFDIR/proof-4507231-1751176152
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23806, runsolver pid=23803
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.10 4.09 3/266 23808
/proc/meminfo: memFree=109993664/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/23808/stat : 23808 (roundingsat) D 23806 23806 22971 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 33293144 52015104 1888 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 12699 1888 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.205743 s]*
/proc/loadavg: 4.11 4.10 4.09 3/265 23808
/proc/meminfo: memFree=110196020/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/23808/stat : 23808 (roundingsat) D 23806 23806 22971 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 33293144 52015104 1888 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 12699 1888 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.305489 s]*
/proc/loadavg: 4.10 4.09 4.09 3/261 23816
/proc/meminfo: memFree=111328084/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/23808/stat : 23808 (roundingsat) D 23806 23806 22971 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 33293144 52015104 1888 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 12699 1888 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+0.700167 s]
/proc/loadavg: 4.10 4.09 4.09 2/261 23826
/proc/meminfo: memFree=111327112/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/23808/stat : 23808 (roundingsat) D 23806 23806 22971 0 -1 4194304 302 0 0 0 0 0 0 0 20 0 1 0 33293144 52015104 1888 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 12699 1888 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.09 4.09 2/260 23834
/proc/meminfo: memFree=111326872/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=118284 memory=65896 CPUtime=0.46 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 13125 0 0 0 42 4 0 0 20 0 1 0 33293144 121122816 16474 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 29571 16474 2336 1147 0 16998 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 122476 KiB
Current children cumulated memory: 68968 KiB
[startup+3.10562 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123392376/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=118284 memory=65896 CPUtime=2.05 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 13125 0 0 0 201 4 0 0 20 0 1 0 33293144 121122816 16474 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 29571 16474 2336 1147 0 16998 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 122476 KiB
Current children cumulated memory: 68968 KiB
heavy processes:
[startup+6.30018 s]
/proc/loadavg: 4.17 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123357004/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=129380 memory=78040 CPUtime=5.23 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 15642 0 0 0 511 12 0 0 20 0 1 0 33293144 132485120 19510 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 32345 19510 2368 1147 0 19772 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 133572 KiB
Current children cumulated memory: 81112 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123259164/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=135360 memory=85720 CPUtime=11.62 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 17568 0 0 0 1131 31 0 0 20 0 1 0 33293144 138608640 21430 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 33840 21430 2368 1147 0 21267 0
Current children cumulated CPU time: 11.62 s
Current children cumulated vsize: 139552 KiB
Current children cumulated memory: 88792 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 23874
/proc/meminfo: memFree=123129616/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=159956 memory=104356 CPUtime=24.39 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 21696 0 0 0 2380 59 0 0 20 0 1 0 33293144 163794944 26089 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 39989 26089 2368 1147 0 27416 0
Current children cumulated CPU time: 24.39 s
Current children cumulated vsize: 164148 KiB
Current children cumulated memory: 107428 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23876
/proc/meminfo: memFree=122779520/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=186408 memory=132208 CPUtime=49.94 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 26182 0 0 0 4878 116 0 0 20 0 1 0 33293144 190881792 33052 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 46602 33052 2368 1147 0 34029 0
Current children cumulated CPU time: 49.94 s
Current children cumulated vsize: 190600 KiB
Current children cumulated memory: 135280 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 23878
/proc/meminfo: memFree=122196932/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=243384 memory=184284 CPUtime=101 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 36217 0 0 0 9875 225 0 0 20 0 1 0 33293144 249225216 46071 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 60846 46071 2368 1147 0 48273 0
Current children cumulated CPU time: 101 s
Current children cumulated vsize: 247576 KiB
Current children cumulated memory: 187356 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23881
/proc/meminfo: memFree=121596188/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=260828 memory=209240 CPUtime=160.85 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 40417 0 0 0 15754 331 0 0 20 0 1 0 33293144 267087872 52310 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 65207 52310 2368 1147 0 52634 0
Current children cumulated CPU time: 160.85 s
Current children cumulated vsize: 265020 KiB
Current children cumulated memory: 212312 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 23883
/proc/meminfo: memFree=120992384/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=300276 memory=224828 CPUtime=220.7 cores=5,7
################
# More data... #
################
/proc/23808/statm: 451423 392012 2400 1147 0 438850 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 1809884 KiB
Current children cumulated memory: 1571120 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 24091
/proc/meminfo: memFree=105868680/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1805692 memory=1568048 CPUtime=3153.56 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 203186 0 0 0 312341 3015 0 0 20 0 1 0 33293144 1849028608 392012 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 451423 392012 2400 1147 0 438850 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 1809884 KiB
Current children cumulated memory: 1571120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 24095
/proc/meminfo: memFree=105517060/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1805692 memory=1568048 CPUtime=3213.42 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 203319 0 0 0 318259 3083 0 0 20 0 1 0 33293144 1849028608 392012 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 451423 392012 2400 1147 0 438850 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 1809884 KiB
Current children cumulated memory: 1571120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 24099
/proc/meminfo: memFree=105096968/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1805692 memory=1568048 CPUtime=3273.27 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 203319 0 0 0 324177 3150 0 0 20 0 1 0 33293144 1849028608 392012 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 451423 392012 2400 1147 0 438850 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 1809884 KiB
Current children cumulated memory: 1571120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 24101
/proc/meminfo: memFree=104735728/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1806524 memory=1568816 CPUtime=3333.13 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 203494 0 0 0 330107 3206 0 0 20 0 1 0 33293144 1849880576 392204 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 451631 392204 2400 1147 0 439058 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 1810716 KiB
Current children cumulated memory: 1571888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 24105
/proc/meminfo: memFree=104462284/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1816504 memory=1577776 CPUtime=3392.98 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 205770 0 0 0 336046 3252 0 0 20 0 1 0 33293144 1860100096 394444 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454126 394444 2400 1147 0 441553 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 1820696 KiB
Current children cumulated memory: 1580848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 24112
/proc/meminfo: memFree=104148712/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1816504 memory=1577776 CPUtime=3452.84 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 205900 0 0 0 341974 3310 0 0 20 0 1 0 33293144 1860100096 394444 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454126 394444 2400 1147 0 441553 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 1820696 KiB
Current children cumulated memory: 1580848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 24114
/proc/meminfo: memFree=103835064/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1816504 memory=1577776 CPUtime=3512.69 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 206159 0 0 0 347880 3389 0 0 20 0 1 0 33293144 1860100096 394444 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454126 394444 2400 1147 0 441553 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1820696 KiB
Current children cumulated memory: 1580848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 24116
/proc/meminfo: memFree=103554556/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1816504 memory=1577776 CPUtime=3572.54 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 206192 0 0 0 353815 3439 0 0 20 0 1 0 33293144 1860100096 394444 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454126 394444 2400 1147 0 441553 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 1820696 KiB
Current children cumulated memory: 1580848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 24119
/proc/meminfo: memFree=103440268/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1817924 memory=1579056 CPUtime=3600.08 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 206499 0 0 0 356548 3460 0 0 20 0 1 0 33293144 1861554176 394764 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454481 394764 2400 1147 0 441908 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1822116 KiB
Current children cumulated memory: 1582128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 23806 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000727 s, system=0.001452 s
[startup+3609.94 s]
# the end of solver process 23808 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.49 s, system=34.6236 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+3609.9 s]
/proc/loadavg: 4.06 4.08 4.09 5/271 24119
/proc/meminfo: memFree=103440268/131249996 swapFree=33010684/33010684
[pid=23806] ppid=23803 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/23806/stat : 23806 (run-dec-ls-log.) S 23803 23806 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33293143 4292608 768 18446744073709551615 94874336374784 94874337269317 140732324714480 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94874337508368 94874337556112 94874350538752 140732324718875 140732324719073 140732324719073 140732324724675 0
/proc/23806/statm: 1048 768 704 219 0 110 0
[pid=23808] ppid=23806 vsize=1817924 memory=1579056 CPUtime=3600.08 cores=5,7
/proc/23808/stat : 23808 (roundingsat) R 23806 23806 22971 0 -1 4194304 206499 0 0 0 356548 3460 0 0 20 0 1 0 33293144 1861554176 394764 18446744073709551615 4227072 8923433 140725411980336 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31690752 140725411985744 140725411985960 140725411985960 140725411991530 0
/proc/23808/statm: 454481 394764 2400 1147 0 441908 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1822116 KiB
Current children cumulated memory: 1582128 KiB
Child status: 2
Real time (s): 3609.94
CPU time (s): 3600.12
CPU user time (s): 3565.49
CPU system time (s): 34.6236
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 1822116
Max. memory (cumulated for all children) (KiB): 1582128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.49
system time used= 34.6236
maximum resident set size= 1579312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11464312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 612
involuntary context switches= 4598
# summary of solver processes directly reported to runsolver:
# pid: 23806,23808
# total CPU time (s): 3600.12
# total CPU user time (s): 3565.49
# total CPU system time (s): 34.6236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48188 second user time and 16.5812 second system time
The end
Begin job on nodeC024 at 2025-06-29 07:49:12
IDJOB=4507231
IDBENCH=158331
IDSOLVER=3354
FILE ID=nodeC024/4507231-1751176152
RUNJOBID= nodeC024-1751168926-22984
SLURM_JOB_ID= 9587515
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507231-1751176152/watcher-4507231-1751176152 -o /tmp/evaluation-result-4507231-1751176152/solver-4507231-1751176152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22984 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507231-1751176152.opb PROOFDIR/proof-4507231-1751176152
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=2053755889
nodeC024 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.701
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.36
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.688
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.36
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 : 3597.776
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.36
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 : 3684.098
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.36
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 : 3604.354
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.36
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.736
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.36
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 : 3600.616
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.36
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 : 3598.797
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 109997424 kB
MemAvailable: 127406352 kB
Buffers: 3280 kB
Cached: 18199164 kB
SwapCached: 0 kB
Active: 2651104 kB
Inactive: 17979104 kB
Active(anon): 2445884 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 17979104 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35824 kB
Writeback: 0 kB
AnonPages: 2427068 kB
Mapped: 112224 kB
Shmem: 18064 kB
KReclaimable: 127284 kB
Slab: 214716 kB
SReclaimable: 127284 kB
SUnreclaim: 87432 kB
KernelStack: 4272 kB
PageTables: 7852 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3131784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1368064 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC024 at 2025-06-29 08:49:23